chiark / gitweb /
Filled in some gaps in the writeup.
[matchsticks-search.git] / data / main.11.5
2014-03-16 Simon TathamRun 'main' for (11,5), for which the bound wasn't tight.