4 step(ii) f perp Lie: True  step(iv) PT kills shuffles: True  full sum zero: True
5 step(ii) f perp Lie: True  step(iv) PT kills shuffles: True  full sum zero: True
6 step(ii) f perp Lie: True  step(iv) PT kills shuffles: True  full sum zero: True
7 step(ii) f perp Lie: True  step(iv) PT kills shuffles: True  full sum zero: True
python3 proof_checks.py  0.04s user 0.01s system 82% cpu 0.056 total
