# sha256 of the checkable artifacts of problems/mod3-circuit-size (generated 2026-08-23)
3dcc75c768fdc2659c6b8dcfe3947858f3573593ea741c65ca15eb452cd64f3e  code/assemble_leaves.py
3b1d67acdd959b486a321d73c9f47b8d1bdedcbcc56576166442c07b81f35bd0  code/batch.py
6cba4866c1a4204b6a11a8d673ae93fdf126ce273110c13b27dad116210d373b  code/cnc.py
8ee67904f4c01534fd895251f433b792e2e8fedef38db8df603518f6534d02d3  code/encode_a.py
8ad40825761d78ca222428b9f0c570908b8b1b31ab3880d6761556713265b113  code/encode_b.py
d5a74166392a2aeb5cd3adeb6a0db0e3fbca95a08c86efcf95b8f13d602d0a4e  code/enum_chains.c
fa355d4b3e1f00aff12868f7a573c6e731e2079f419809b27db49bbd9885112d  code/gen_lean_chain.py
b46ff904b9762ca8a530bfff3a98fcf32decd3761d1e2ab683393034961bc8d9  code/make_hashes.sh
4333323b2114f5f3691378e1ca22630f63304527de0b5c037ff7b40c3a970f3a  code/solve.py
504b3b70b74f1f6af5c61524fee0a51f381c5f3c191b3671597a6cee488c31a1  code/verify_all.sh
83f662a34c19cf247201ed33348dd75afdddefec17bd1b487ad37f64fe05e655  code/verify_chain.py
690b7859db433e7f0ffe51e0b70c93f12690116181470467d9470e8f747c8419  lean/BiereMod3_0_6.lean
464482987e627c3629ed056da9a77ece800c17029647e9ccec8ee65b8e22469e  lean/H7r0_13.lean
d23586e947b77fc8a739b38d53b4986bac196725d0d015d393e98a34da2ec6a4  lean/H7r1_14.lean
607ddcebfbcb36c4ba44eff7b2d7e23009508e4abdc8bad7a37a378a35ee4cd0  lean/KPSMod3_0_7.lean
89b170781a9005bbea67afe8a6ef07c8141279493d2719284e7e90ec537620aa  lean/KPSMod3_1_6.lean
b9d8288126043de27cd207a85fcf6dbc8d4f8ca5351858e49fcaaf3f201a06f4  lean/KPSMod3_1_7.lean
e596592205351b7c89b07966e1584877bae9aab1f7677c21c946f7c67390c3c7  lean/KPSMod3_2_7.lean
56b275272b1b01ce6e5ac6e569da8dbc6fd37d43ad3617ce9acbff68f7834b68  lean/SatMod3_1_6_s13.lean
827fc212ab62972bdde2780946f0b65356142284d93c8b031c535737e305d1f0  results/anchors-A.cells
6322d8432d108743803a12a272cfb7decef42d1e5f8bb048729c6ec4ac328ba8  results/anchors-A.tsv
00edcd35b9cfcb2f90ff55e9cdb8005852085c2efb7549511fa5d642c74403bb  results/anchors-B-sat.cells
642bedd2cfc8c853067d01ff1f3589ad9b2ab5a3a2d3bc49514ce83beb273b68  results/anchors-B.cells
c44513f0bf407007e76955fcae843bc45c9890ecaaf60bd5f972f97334c1566e  results/anchors-B.tsv
acab197bdd7febc082a4b842ce05df4cdb7e38040bf42c094420850849b36a86  results/fanout-anchors.cells
fb760caaadcbdba0554967cc0496fc962c9aeb6afbeb4a74dd262046325ffe95  results/fanout-anchors.tsv
dc76debd3aa05c2df1a6d3cfc1c2bbe6702559bf668746d7c0eb8199949bb497  results/h7-r0-13.chain
05b4f1e27497c401ba48f4c2041b8d7f37f53f9d3439c140b3833b5d14303428  results/h7-r1-14.chain
7e32fd7536a01f520f6d9db298717ee1e3acbb342b7f9f2a0317ea1909920aad  results/knuth-mod3-0-6.chain
fcae24d0fce5f2db8a4cb1a618afc23e5301152bd875a017124bec83a65ac005  results/kps-mod3-0-7.chain
1f90f69797f511115fafa345b9139f8b9f8e3a5e6c95595d3192c1844c22434b  results/kps-mod3-1-6.chain
e55358590fda03d04600775049999aa9cd61549e924e066f3b3a444dd6cd44dd  results/kps-mod3-1-7.chain
f3f5666fa211072b08047d17d048eddbd6ccfb2cb56707a062f9ae984d465a0c  results/kps-mod3-2-7.chain
48c6e63c96ff0936cf303be23bf053760edf896cd04a852d702bfb4c9f29dc6e  results/sat-mod3-1-6-s13.chain
d85194985eda5f9c2d5d449d294363e9ac99ba02bd19bb6095cfdb45a01ae1c9  results/target-small.cells
84ce3f34b0630b8685e8e645100a3838e00a658edd9ce4c2c410dd6d756f8c68  results/target-small.tsv
