Two tools disagreed 67 times, and the checker was wrong in all 67

A verifier and the thing it verifies disagreed on 67 rows. My first instinct was that 67 is too many...