912795a13250c38959f19a8bf91c037dfbc739b5f406f67b5e27b458fbc738c2  degree3_counterexample.json
57838a75e780bbaa6c665286a19848b272e7b938fc64a405a889c519bf08808a  chain_det_proof.json
13cadbcb287d3cbb140513b6e253ea2d72aaa42a4bd2904d6030115971c640ba  dixmier_certificate.json
cd120e1fdea0be19e42ee51c0e666a267f57ff81fe9c7c5eb0f444b2b75070c5  dixmier_witness_operators.txt
7b5f79c2f3e47d98eadb3b40d30fbbbdc60218e53417e6a9b2ca0ca6f9e88626  normalized_map.json
5a49abe3c15fab881f56a7faea88a896dece43564b6ef03f1f1a950246496fcc  verification_report.json
71670d635b694d8d72031387919c7462f7bdcb6aebfa2ba3c3a2e3f80158164f  manifest.json
6739e8c6ac90bb2da1a1086c6a64195b7b1f6b8f512bbb1c456ad81b89df5749  phase1_dixmier_witness.py
e75efb359b4a8c5669cb3b0b97c7549edc8a45a451e6f09133141a020398de57  phase2_normalize.py
d1f8612f9e5b7655ef48dceaf1b93f142082acc6de28c3221a2d2b7a14ea830a  phase3_reduce_to_degree3.py
d4582f6420a76b482e669f1baf4c42bf846e7ab853d43982fa51821dcf3c256d  phase4_independent_verify.py
329285a7c4926f082775712b71893c5d6d34dfcc38f1c5d2995ee11a000dd9f2  phase5_symbolic_det.py
ff092726da6933c3c5a21daaec3518cb680b636fb4e914fe64e84bdad8aef693  phase5b_chain_det_proof.py
f6fe458930f41f6601e35a7e5a1c6f33d9e3339f0658ccd374f785ded993f9d0  make_manifest.py
dd158dbc758f442c83020d1b99b95197d5bd2b82252773fa92894fc1110d35c2  ../machine-verified-corollary-mining-jacobian-conjecture.html