files / problems / hilbert16-degree-8 / compute / q11
| .. | |
| certs/ | |
| ball.c | 3.3 KB |
| CLAIM.md | 3.9 KB |
| collect.py | 5.4 KB |
| common.py | 3.7 KB |
| controls.py | 6.7 KB |
| coverage.py | 2.2 KB |
| lift_candidate.py | 4.3 KB |
| README.md | 1.8 KB |
| replay_coverage.sh | 126 B |
| ROUTES.md | 2.3 KB |
| run_all.sh | 155 B |
| run_shards.sh | 575 B |
| search.py | 6.4 KB |
| VERIFICATION.md | 1.4 KB |
| verify_regions.rs | 5.7 KB |
| verify.py | 3.2 KB |