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