files / problems / unique-sum / compute / q5
| .. | |
| ap4_free_classes.json | 19 KB |
| ap4_not_ap5_classes.json | 20 KB |
| audit_cover.py | 3.3 KB |
| audit_exact.py | 2.5 KB |
| audit_partition.py | 2.9 KB |
| CLAIM.md | 2.1 KB |
| cover_controls.json | 9.9 KB |
| cover_search.c | 7.9 KB |
| dual_ap4_free.json | 9.1 KB |
| dual_ap4_not_ap5.json | 9.8 KB |
| dual_classes.py | 2.8 KB |
| exact_controls.json | 1.4 KB |
| METHOD.md | 1.8 KB |
| midpoint_cases.py | 4.2 KB |
| p59_ap5_cover.json | 439 B |
| p59_ap5_exact.json | 334 B |
| partition_controls.json | 398 B |
| published_oeis.json | 573 B |
| run_all.sh | 2.1 KB |
| run_cover.py | 3.2 KB |
| run_exact.py | 3.1 KB |
| seed_search.c | 3.6 KB |
| seed_swaps2.json | 223 B |
| seed_swaps3.json | 363 B |
| verify_artifacts.py | 2.2 KB |
| verify_claim.py | 2.7 KB |
| verify_class_artifacts.py | 163 B |
| verify_exact.rs | 12 KB |
| verify_witness.rs | 1.3 KB |
| witness_controls.json | 257 B |
| wrap_checks.json | 21 KB |