BTW, squashed the bug, and now it's producing complete and correct results!

https://github.com/jeffshrager/IPL-V/blob/master/major_resul...

(Well, there's a minor printout issue, but the proofs are working correctly!)