files / problems / hilbert16-degree-8 / compute / q9
| .. | |
| certs/ | |
| ball.c | 3.3 KB |
| CLAIM.md | 3.6 KB |
| collect.py | 4.2 KB |
| common.py | 2.9 KB |
| controls.py | 5.9 KB |
| coverage.py | 2.2 KB |
| lift_candidate.py | 4.5 KB |
| README.md | 2.0 KB |
| replay_coverage.sh | 126 B |
| ROUTES.md | 2.8 KB |
| run_all.sh | 154 B |
| run_shards.sh | 1.6 KB |
| search.py | 6.6 KB |
| VERIFICATION.md | 1.3 KB |
| verify_regions.rs | 5.7 KB |
| verify.py | 3.2 KB |