Is this what math-inclined people spend their free time doing? Goodness...
Pardon me while I return to writing a Game of Life simulator
supposed to be doing: what the post indicates. Grading papers. (dis)proving p != np. (dis)proving one of the other millennium problems.
EDIT: formatting.