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.02s user 0.00s system 95% cpu 0.029 total
