BTW, squashed the bug, and now it's producing complete and correct results! https://github.com/jeffshrager/IPL-V/blob/master/major_results/20260309_CompleteAnd

BTW, squashed the bug, and now it's producing complete and correct results! https://github.com/jeffshrager/IPL-V/blob/master/major_results/20260309_CompleteAndCorrect.drb https://github.com/jeffshrager/IPL-V/blob/master/major_resul... (Well, there's a minor printout issue, but the proofs are working correctly!)