files / problems / hilbert16-degree-8 / compute / q7
| .. | |
| certs/ | |
| collect.py | 3.7 KB |
| common.py | 1.3 KB |
| even_all_components.py | 3.2 KB |
| even_components.py | 3.7 KB |
| even_drive.py | 4.2 KB |
| even_small.py | 4.0 KB |
| even_walk.py | 18 KB |
| evenc.c | 15 KB |
| odd_skel.py | 14 KB |
| odd5_collect.py | 6.1 KB |
| odd5_export.py | 2.9 KB |
| odd5c.c | 14 KB |
| README.md | 2.0 KB |
| run_all.sh | 1.6 KB |
| run_leftover.sh | 1.1 KB |
| thick_outside.py | 5.3 KB |
| thick_walk.py | 6.3 KB |
| thicken_witnesses.py | 4.0 KB |
| write_certs.py | 1.7 KB |