# Cycle types of the transitive groups of degree 13 (tables/transitive-13.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 13:12 1.1.1.1.1.1.1.1.1.1.1.1.1:1
2 ; 13:12 2.2.2.2.2.2.1:13 1.1.1.1.1.1.1.1.1.1.1.1.1:1
3 ; 13:12 3.3.3.3.1:26 1.1.1.1.1.1.1.1.1.1.1.1.1:1
4 ; 13:12 4.4.4.1:26 2.2.2.2.2.2.1:13 1.1.1.1.1.1.1.1.1.1.1.1.1:1
5 ; 13:12 6.6.1:26 3.3.3.3.1:26 2.2.2.2.2.2.1:13 1.1.1.1.1.1.1.1.1.1.1.1.1:1
6 ; 13:12 12.1:52 6.6.1:26 4.4.4.1:26 3.3.3.3.1:26 2.2.2.2.2.2.1:13 1.1.1.1.1.1.1.1.1.1.1.1.1:1
7 ; 13:1728 8.4.1:1404 6.3.2.1.1:936 4.4.2.2.1:702 3.3.3.3.1:624 3.3.3.1.1.1.1:104 2.2.2.2.1.1.1.1.1:117 1.1.1.1.1.1.1.1.1.1.1.1.1:1
8 ; 13:479001600 11.1.1:283046400 10.2.1:311351040 9.3.1:230630400 9.2.2:86486400 9.1.1.1.1:28828800 8.4.1:194594400 8.3.2:129729600 8.2.1.1.1:64864800 7.5.1:177914880 7.4.2:111196800 7.3.3:49420800 7.3.1.1.1:49420800 7.2.2.1.1:55598400 7.1.1.1.1.1.1:1235520 6.6.1:86486400 6.5.2:103783680 6.4.3:86486400 6.4.1.1.1:43243200 6.3.2.1.1:86486400 6.2.2.2.1:21621600 6.2.1.1.1.1.1:4324320 5.5.3:41513472 5.5.1.1.1:20756736 5.4.4:38918880 5.4.2.1.1:77837760 5.3.3.1.1:34594560 5.3.2.2.1:51891840 5.3.1.1.1.1.1:3459456 5.2.2.2.2:3243240 5.2.2.1.1.1.1:6486480 5.1.1.1.1.1.1.1.1:30888 4.4.3.1.1:32432400 4.4.2.2.1:24324300 4.4.1.1.1.1.1:1621620 4.3.3.2.1:43243200 4.3.2.2.2:10810800 4.3.2.1.1.1.1:10810800 4.2.2.2.1.1.1:5405400 4.2.1.1.1.1.1.1.1:154440 3.3.3.3.1:3203200 3.3.3.2.2:4804800 3.3.3.1.1.1.1:1601600 3.3.2.2.1.1.1:7207200 3.3.1.1.1.1.1.1.1:68640 3.2.2.2.2.1.1:2702700 3.2.2.1.1.1.1.1.1:360360 3.1.1.1.1.1.1.1.1.1.1:572 2.2.2.2.2.2.1:135135 2.2.2.2.1.1.1.1.1:135135 2.2.1.1.1.1.1.1.1.1.1:2145 1.1.1.1.1.1.1.1.1.1.1.1.1:1
9 ; 13:479001600 12.1:518918400 11.2:283046400 11.1.1:283046400 10.3:207567360 10.2.1:311351040 10.1.1.1:103783680 9.4:172972800 9.3.1:230630400 9.2.2:86486400 9.2.1.1:172972800 9.1.1.1.1:28828800 8.5:155675520 8.4.1:194594400 8.3.2:129729600 8.3.1.1:129729600 8.2.2.1:97297200 8.2.1.1.1:64864800 8.1.1.1.1.1:6486480 7.6:148262400 7.5.1:177914880 7.4.2:111196800 7.4.1.1:111196800 7.3.3:49420800 7.3.2.1:148262400 7.3.1.1.1:49420800 7.2.2.2:18532800 7.2.2.1.1:55598400 7.2.1.1.1.1:18532800 7.1.1.1.1.1.1:1235520 6.6.1:86486400 6.5.2:103783680 6.5.1.1:103783680 6.4.3:86486400 6.4.2.1:129729600 6.4.1.1.1:43243200 6.3.3.1:57657600 6.3.2.2:43243200 6.3.2.1.1:86486400 6.3.1.1.1.1:14414400 6.2.2.2.1:21621600 6.2.2.1.1.1:21621600 6.2.1.1.1.1.1:4324320 6.1.1.1.1.1.1.1:205920 5.5.3:41513472 5.5.2.1:62270208 5.5.1.1.1:20756736 5.4.4:38918880 5.4.3.1:103783680 5.4.2.2:38918880 5.4.2.1.1:77837760 5.4.1.1.1.1:12972960 5.3.3.2:34594560 5.3.3.1.1:34594560 5.3.2.2.1:51891840 5.3.2.1.1.1:34594560 5.3.1.1.1.1.1:3459456 5.2.2.2.2:3243240 5.2.2.2.1.1:12972960 5.2.2.1.1.1.1:6486480 5.2.1.1.1.1.1.1:864864 5.1.1.1.1.1.1.1.1:30888 4.4.4.1:16216200 4.4.3.2:32432400 4.4.3.1.1:32432400 4.4.2.2.1:24324300 4.4.2.1.1.1:16216200 4.4.1.1.1.1.1:1621620 4.3.3.3:9609600 4.3.3.2.1:43243200 4.3.3.1.1.1:14414400 4.3.2.2.2:10810800 4.3.2.2.1.1:32432400 4.3.2.1.1.1.1:10810800 4.3.1.1.1.1.1.1:720720 4.2.2.2.2.1:4054050 4.2.2.2.1.1.1:5405400 4.2.2.1.1.1.1.1:1621620 4.2.1.1.1.1.1.1.1:154440 4.1.1.1.1.1.1.1.1.1:4290 3.3.3.3.1:3203200 3.3.3.2.2:4804800 3.3.3.2.1.1:9609600 3.3.3.1.1.1.1:1601600 3.3.2.2.2.1:7207200 3.3.2.2.1.1.1:7207200 3.3.2.1.1.1.1.1:1441440 3.3.1.1.1.1.1.1.1:68640 3.2.2.2.2.2:540540 3.2.2.2.2.1.1:2702700 3.2.2.2.1.1.1.1:1801800 3.2.2.1.1.1.1.1.1:360360 3.2.1.1.1.1.1.1.1.1:25740 3.1.1.1.1.1.1.1.1.1.1:572 2.2.2.2.2.2.1:135135 2.2.2.2.2.1.1.1:270270 2.2.2.2.1.1.1.1.1:135135 2.2.2.1.1.1.1.1.1.1:25740 2.2.1.1.1.1.1.1.1.1.1:2145 2.1.1.1.1.1.1.1.1.1.1.1:78 1.1.1.1.1.1.1.1.1.1.1.1.1:1
