files / problems / smale-tau / compute / q1
| .. | |
| b173419.txt | 11 KB |
| brute_check.py | 4.1 KB |
| certificate.json | 3.8 KB |
| check_count9_10266.json | 30 KB |
| check_count9.json | 146 B |
| check.rs | 11 KB |
| compare_d10_s101.txt | 99 B |
| compare_d10_s404.txt | 99 B |
| compare_d7_s303.txt | 98 B |
| compare_d9_s202.txt | 98 B |
| compare_endgame.py | 2.7 KB |
| count9_10266.json | 20 KB |
| count9.json | 10 KB |
| decide_from_checkpoint.py | 2.1 KB |
| decide11_core.json | 1.9 KB |
| decide12.json | 3.0 KB |
| launch13.sh | 612 B |
| make_certificate.py | 2.1 KB |
| make_tau_table.py | 1.1 KB |
| OEIS.md | 1.2 KB |
| README.md | 5.5 KB |
| run_all.sh | 3.3 KB |
| slp_search.c | 51 KB |
| targets_core.txt | 240 B |
| targets.txt | 831 B |
| targets13.txt | 94 B |
| tau_table_10266.txt | 69 KB |
| verify_slp.py | 2.4 KB |
| verify_summary.json | 1.2 KB |