| .. | |
| q10/ | |
| q11/ | |
| q12/ | |
| q13/ | |
| q14/ | |
| q15/ | |
| q16/ | |
| q4/ | |
| q7a/ | |
| q9/ | |
| build_certificate.py | 3.5 KB |
| build_gabidulin.py | 5.7 KB |
| build_lift_partitions.py | 12 KB |
| build_p28_partition.py | 3.7 KB |
| build_qm21.py | 8.1 KB |
| build_qm3.py | 12 KB |
| build_qm35.py | 9.5 KB |
| build_qm43_p9.py | 6.8 KB |
| build_qm43.py | 7.0 KB |
| build_qm44.py | 9.8 KB |
| build_qm5.py | 13 KB |
| build_twolevel_r11.py | 3.4 KB |
| covering_certificate_r10_n50.json | 31 KB |
| covering_seed_io.py | 5.1 KB |
| H_OK_r9_n18.txt | 550 B |
| H_OK37_r12_n37.txt | 1.1 KB |
| H_r10_n50.txt | 1.1 KB |
| H_r18_n815_qm5_seed.txt | 29 KB |
| H_r22_n3325.txt | 143 KB |
| H_r24_n6653.txt | 312 KB |
| H_r26_n13070.txt | 664 KB |
| H_r26_n13309.txt | 676 KB |
| H_r28_n26111.txt | 1.4 MB |
| H_R3_r18_n151.txt | 5.7 KB |
| H_R3_r21_n303.txt | 13 KB |
| H_R3_r26_n817.txt | 42 KB |
| H_R3_r38_n13102.txt | 973 KB |
| H_R3_r41_n26206.txt | 2.0 MB |
| H_R4_r31_n689.txt | 42 KB |
| LEAVES.md | 2.5 KB |
| lift_partition_manifest.json | 4.3 KB |
| M_OK37_hex.txt | 170 B |
| notes_from_authors_2026-08-19.md | 6.7 KB |
| NOTES_OK37_p17.md | 1.3 KB |
| odd_r_residue_2026-08-20.json | 1.8 KB |
| odd_r11_n78_16hole_a.cols | 324 B |
| odd_r11_n78_16hole_b.cols | 321 B |
| odd_r11_n78_16hole_c.cols | 322 B |
| odd_r11_n78_16hole_d.cols | 321 B |
| odd_r11_n78_checkpoint.json | 634 B |
| odd_r11_n78_from85.json | 1.0 KB |
| odd_r11_n78_repair_a.json | 605 B |
| odd_r11_n79_gabidulin.cols | 326 B |
| odd_r13_n159_gabidulin.cols | 710 B |
| ok37_p_le17_results.json | 4.4 KB |
| ok37_seed.py | 2.4 KB |
| partition_H_OK_p9_ell0.txt | 446 B |
| partition_H_OK37_p18_ell0.txt | 206 B |
| partition_r18_n815_p17.txt | 2.1 KB |
| partition_r18_n815_qm5.txt | 2.4 KB |
| partition_r18_n815.txt | 2.5 KB |
| partition_r20_n1631_p14.txt | 3.9 KB |
| partition_r20_n1631.txt | 4.8 KB |
| partition_r26_n13070_p19.txt | 31 KB |
| partition_r28_n26111_p28.txt | 69 KB |
| partition_r28_n26111_p64.txt | 75 KB |
| partition_r28_n26111.txt | 76 KB |
| plot_density.py | 1.9 KB |
| propagate_qm_m4.py | 1.2 KB |
| propagate_qm_m5.py | 1.1 KB |
| q2_direct_20260819_a.json | 1.2 KB |
| q2_guided_20260819_a.json | 816 B |
| q2_lifted_20260819_a.json | 1.3 KB |
| qm21_build_manifest.json | 927 B |
| qm3_build_manifest.json | 1.8 KB |
| qm35_build_manifest.json | 1.2 KB |
| qm43_build_manifest.json | 1.4 KB |
| qm43_p9_build_manifest.json | 1.1 KB |
| qm44_build_manifest.json | 1.4 KB |
| qm44_top_certificate.txt | 30 KB |
| qm5_build_manifest.json | 1.9 KB |
| reconstruct_KR_r10_n51.py | 1.5 KB |
| recover_mok.py | 5.1 KB |
| repair_odd_r.c | 15 KB |
| run_lift_partition_checks.sh | 1.2 KB |
| run_p28_checks.sh | 779 B |
| run_p64_checks.sh | 733 B |
| run_q7c_checks.sh | 1.4 KB |
| run_qm21_checks.sh | 1.0 KB |
| run_qm3_checks.sh | 598 B |
| run_qm35_checks.sh | 613 B |
| run_qm43_checks.sh | 533 B |
| run_qm43_p9_checks.sh | 589 B |
| run_qm44_checks.sh | 538 B |
| run_qm5_checks.sh | 633 B |
| search_n49_guided.c | 25 KB |
| search_n49_lifted.c | 24 KB |
| search_n49.c | 27 KB |
| search_odd_r.c | 25 KB |
| search_ok37_p_le17_sat.py | 293 B |
| search_ok37_p17_sat.py | 290 B |
| search_partition_merges.c | 16 KB |
| search_partition_p10.py | 5.3 KB |
| search_radius2.py | 8.1 KB |
| search_results.json | 987 B |
| verify_certificate.py | 5.4 KB |
| verify_H_OK_p9.py | 1014 B |
| verify_H_r10_n50_independent.py | 1.5 KB |
| verify_odd_r_matrix.py | 2.5 KB |
| verify_partition_p10.py | 1.6 KB |
| verify_qm21_identity.py | 6.8 KB |
| verify_qm35_identity.py | 12 KB |
| verify_qm43_identity.py | 8.0 KB |
| verify_qm44.c | 27 KB |
| verify_radius2_matrix.c | 12 KB |
| verify_radius3_matrix.c | 8.2 KB |
| verify_three_sum.c | 7.6 KB |
| witness_r10_n50.json | 1.8 KB |
| write_radius2_matrix.py | 1.5 KB |