1674f5114a2e754fde7eee09db0dd8addf81a947bff81e56db2343b87c0f1f29  INPUT_SOURCE.md
1ae939504fe32bda28165381e7b6238892dcf4e9f05d73e50c863b26a0d4d3fd  LICENSE
382d4f0de15f1f1b0eaf3da86bfd718ce9e7c38c1afa422cf2aa78ab364431dc  PROOF.md
364cf9cf2a69121a30770d4fa23fcdcacafe70841aa7d1fd7eacd12e90bcd288  README.md
3dd31653ba3c57b208c48df01073c3092fea81f9bafb5aab4ecd167162d6de61  code/effective_farey_cover_audit.py
09795ffd2cc84e54380f173d9b7354e8bfb18f222052b948dba4d24a7415433a  results/effective_farey_cover_audit_20261024.json
