found 17 shorter proofs · xamidi/mmsolitaire@2be2349 · GitHub

Commit

found 17 shorter proofs

Browse files

*2.62:      89 ->   77
*3.31:     103 ->   83
*3.43:     137 ->  117
*3.44:     203 ->  183
*4.14:     321 ->  283
*4.32:     355 ->  317
*4.39:     609 ->  479
*4.41:     271 ->  249
*4.76:     271 ->  249
*4.77:     375 ->  287
*4.86:     617 ->  557
*4.87:     523 ->  447
*5.31:     119 ->  109
*5.6:      203 ->  167
*5.75:     387 ->  351
meredith:  145 ->  141
biass:    2127 -> 1883

Loading branch information

xamidi committed Oct 3, 2022

1 parent 936ba2b commit 2be2349