files / problems / hilbert16-degree-8 / compute / q12
| .. | |
| certs/ | |
| ball.c | 3.3 KB |
| CLAIM.md | 2.9 KB |
| collect.py | 5.4 KB |
| common.py | 3.7 KB |
| controls.py | 7.0 KB |
| coverage.py | 2.2 KB |
| lift_candidate.py | 4.3 KB |
| README.md | 1.4 KB |
| replay_coverage.sh | 126 B |
| ROUTES.md | 1.2 KB |
| run_all.sh | 155 B |
| run_shards.sh | 440 B |
| search.py | 6.4 KB |
| VERIFICATION.md | 1.5 KB |
| verify_regions.rs | 5.7 KB |
| verify.py | 3.2 KB |