72872cf380d59896a2f6239a592b62ed0a3d7426e9aba8bf248abdc83bced883  PROOF.md
9315bb075c3c193aa233a0d97a31d764078e300ccc6529425a2c63af77002062  README.md
3dd31653ba3c57b208c48df01073c3092fea81f9bafb5aab4ecd167162d6de61  code/effective_farey_cover_audit.py
0d492a2159a031e5e2391e004a3e28bf47a2f8848386a76d305a98e81db69eb9  code/odd_lattice_farey_audit.py
68471c7564d44675e6806c7177908afaba6a4931eed2b656c640977357e09e06  code/sparse_farey_defect_audit.py
a502d1f9d3dd2afca11bd134001f50ed8f4f4167ca495a0b123cebd5d3e823e5  results/odd_lattice_farey_audit_20261024.json
