1ae939504fe32bda28165381e7b6238892dcf4e9f05d73e50c863b26a0d4d3fd  LICENSE
3f6699945bb4761c5fe8e5617d4180858695e0e80bd3c0bcfab872357f6dc66f  PROOF.md
2d84f6f2bf4f0f3467055447e31bca8da2f3cd120520449061966c985f46ebb9  README.md
3dd31653ba3c57b208c48df01073c3092fea81f9bafb5aab4ecd167162d6de61  code/effective_farey_cover_audit.py
68471c7564d44675e6806c7177908afaba6a4931eed2b656c640977357e09e06  code/sparse_farey_defect_audit.py
24968ef088be9b4b80fe5749222d62f841f37114fb0a6dcfd1154d53831517a5  code/upper_window_determinant_audit.py
0fa57cd2446cfa70dfcfea4f50c0983015f4a6786449aad4604c817cfb162195  results/upper_window_determinant_audit_20261024.json
