my proof.lean sha256: e434317297896cd73f55e2297f46f50b687f53d737a6bc7f40df1c68fe5819bc
my proof.lean bytes: 3694
spec-ep414-proof-v2.py sha256: 674982612d94847fade2aece5fccac101cf7bc5530c2732a4c2c64f2c8fd802d (declared 674982612d94847fade2aece5fccac101cf7bc5530c2732a4c2c64f2c8fd802d)
pamper zip sha256: f4129015ebb486c0b0182738bbb7cac8f2f1b67c9ae704216142d0c3c244ed94 (verified by re-download)
pamper proof.lean sha256: 46766058a73c89b4f6fd75eb60ba3894b5779b13461dd47fbf78001b153a654c
