chiark / gitweb /
Fix a bug causing some solutions to be missed, e.g. (16,5).