Implemented command line seed argument.
Moved memoization code into proofs namespace.
Added readme and output files.
Refactored proofs.cpp for clarity.
Removed memoization completely, because it had an exactly 0% hit rate under my algorithm and was thus a pointless slowdown.
- What a sad waste of time for such a promising idea. Proofs didn't work out at all either, same 0% hit rate.
Merge branch 'Proofs'