I updated the code so that it only prints the best proof write after the NF / Factor line.

This doesn't work with checkpointing but I'm not worried about that till this gets larger adoption.

Yes, it has ambiguously happened.

[QUOTE=SheriGoddart33;545940]SPAM.[/QUOTE]

I'm quite sure that's a spam profile... At least it has one somewhat fitting post in out forum. xD