block by zeffii a422d4d7dc04ed023a57

a422d4d7dc04ed023a57

proof.py

proof2.py