files / problems / hilbert16-degree-8 / compute / q8
| .. | |
| certs/ | |
| ball.c | 3.3 KB |
| CLAIM.md | 2.8 KB |
| common.py | 4.9 KB |
| controls.py | 6.2 KB |
| coverage.py | 4.1 KB |
| lift_candidate.py | 2.1 KB |
| README.md | 2.5 KB |
| replay_coverage.sh | 131 B |
| ROUTES.md | 3.1 KB |
| run_all.sh | 154 B |
| search.py | 3.8 KB |
| VERIFICATION.md | 3.2 KB |
| verify_regions.rs | 5.7 KB |
| verify.py | 3.2 KB |