files / problems / covering / compute / q10
| .. | |
| aut_group.c | 7.1 KB |
| aut_group.py | 3.8 KB |
| classes_r10-21.json | 383 B |
| classes_r10-30.json | 281 B |
| classes_r10-7-c4a.json | 252 B |
| classes_r10-7-c4b.json | 296 B |
| classes_r10-7-c7.json | 251 B |
| classes_r11-11.json | 285 B |
| classes_r11-17-c3.json | 254 B |
| classes_r11-23.json | 236 B |
| classes_r11-31-c6.json | 251 B |
| fixed_classes.py | 2.3 KB |
| instance_21.json | 2.2 KB |
| instance_30.json | 2.1 KB |
| layer_lemma.py | 3.7 KB |
| orbit_search_f.c | 14 KB |
| orbit_search_g.c | 15 KB |
| orbit_search.c | 11 KB |
| prescribe_group.py | 6.1 KB |
| prime_orders.py | 3.3 KB |
| README.md | 3.3 KB |
| run_q10_checks.sh | 5.0 KB |
| setup.py | 6.7 KB |
| sigma_r10-21.txt | 34 B |
| sigma_r10-30.txt | 34 B |
| sigma_r10-7-c4a.txt | 33 B |
| sigma_r10-7-c4b.txt | 33 B |
| sigma_r10-7-c7.txt | 32 B |
| sigma_r11-11.txt | 46 B |
| sigma_r11-17-c3.txt | 44 B |
| sigma_r11-23.txt | 49 B |
| sigma_r11-31-c6.txt | 37 B |
| sigma_setup.py | 9.3 KB |
| subgroup_sweep.py | 3.5 KB |
| verify_aut.py | 3.5 KB |