# Cycle types of the transitive groups of degree 10 (tables/transitive-10.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 10:4 5.5:4 2.2.2.2.2:1 1.1.1.1.1.1.1.1.1.1:1
2 ; 5.5:4 2.2.2.2.2:5 1.1.1.1.1.1.1.1.1.1:1
3 ; 10:4 5.5:4 2.2.2.2.2:6 2.2.2.2.1.1:5 1.1.1.1.1.1.1.1.1.1:1
4 ; 5.5:4 4.4.2:10 2.2.2.2.1.1:5 1.1.1.1.1.1.1.1.1.1:1
5 ; 10:4 5.5:4 4.4.2:10 4.4.1.1:10 2.2.2.2.2:6 2.2.2.2.1.1:5 1.1.1.1.1.1.1.1.1.1:1
6 ; 10:20 5.5:16 5.1.1.1.1.1:8 2.2.2.2.2:5 1.1.1.1.1.1.1.1.1.1:1
7 ; 5.5:24 3.3.3.1:20 2.2.2.2.1.1:15 1.1.1.1.1.1.1.1.1.1:1
8 ; 5.5:64 2.2.2.2.1.1:5 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
9 ; 10:40 5.5:16 5.1.1.1.1.1:8 2.2.2.2.2:10 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
10 ; 5.5:16 5.1.1.1.1.1:8 4.4.2:50 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
11 ; 10:24 6.2.2:20 5.5:24 3.3.1.1.1.1:20 2.2.2.2.2:16 2.2.2.2.1.1:15 1.1.1.1.1.1.1.1.1.1:1
12 ; 6.2.2:20 5.5:24 4.4.2:30 3.3.1.1.1.1:20 2.2.2.2.2:10 2.2.2.2.1.1:15 1.1.1.1.1.1.1.1.1.1:1
13 ; 6.3.1:20 5.5:24 4.4.2:30 3.3.3.1:20 2.2.2.2.1.1:15 2.2.2.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
14 ; 10:64 5.5:64 2.2.2.2.2:1 2.2.2.2.1.1:5 2.2.2.1.1.1.1:10 2.2.1.1.1.1.1.1:10 2.1.1.1.1.1.1.1.1:5 1.1.1.1.1.1.1.1.1.1:1
15 ; 5.5:64 4.4.1.1:20 4.2.2.2:40 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
16 ; 5.5:64 4.4.2:20 4.2.2.1.1:40 2.2.2.2.2:20 2.2.2.2.1.1:5 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
17 ; 10:40 5.5:16 5.1.1.1.1.1:8 4.4.2:50 4.4.1.1:50 2.2.2.2.2:10 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
18 ; 8.2:100 5.5:16 5.1.1.1.1.1:8 4.4.1.1:50 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
19 ; 10:80 5.5:16 5.1.1.1.1.1:8 4.4.1.1:50 2.2.2.2.2:20 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
20 ; 5.5:16 5.1.1.1.1.1:8 4.4.2:100 4.4.1.1:50 2.2.2.2.1.1:25 1.1.1.1.1.1.1.1.1.1:1
21 ; 10:40 5.5:16 5.2.2.1:40 5.1.1.1.1.1:8 4.4.2:50 2.2.2.2.2:10 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
22 ; 10:24 6.2.2:40 5.5:24 4.4.2:30 4.4.1.1:30 3.3.2.2:20 3.3.1.1.1.1:20 2.2.2.2.2:26 2.2.2.2.1.1:15 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
23 ; 10:64 5.5:64 4.4.2:20 4.4.1.1:20 4.2.2.2:40 4.2.2.1.1:40 2.2.2.2.2:21 2.2.2.2.1.1:25 2.2.2.1.1.1.1:10 2.2.1.1.1.1.1.1:10 2.1.1.1.1.1.1.1.1:5 1.1.1.1.1.1.1.1.1.1:1
24 ; 8.2:80 5.5:64 4.4.1.1:100 4.2.2.2:40 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
25 ; 8.1.1:80 5.5:64 4.4.2:80 4.4.1.1:20 4.2.2.2:40 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
26 ; 5.5:144 4.4.1.1:90 3.3.3.1:80 2.2.2.2.1.1:45 1.1.1.1.1.1.1.1.1.1:1
27 ; 10:80 5.5:16 5.2.2.1:40 5.1.1.1.1.1:8 4.4.2:100 4.4.1.1:100 2.2.2.2.2:20 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
28 ; 8.2:200 5.5:16 5.2.2.1:40 5.1.1.1.1.1:8 4.4.1.1:100 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
29 ; 10:64 8.2:80 8.1.1:80 5.5:64 4.4.2:100 4.4.1.1:100 4.2.2.2:40 4.2.2.1.1:40 2.2.2.2.2:21 2.2.2.2.1.1:25 2.2.2.1.1.1.1:10 2.2.1.1.1.1.1.1:10 2.1.1.1.1.1.1.1.1:5 1.1.1.1.1.1.1.1.1.1:1
30 ; 10:144 8.1.1:180 5.5:144 4.4.1.1:90 3.3.3.1:80 2.2.2.2.2:36 2.2.2.2.1.1:45 1.1.1.1.1.1.1.1.1.1:1
31 ; 8.2:180 5.5:144 4.4.1.1:270 3.3.3.1:80 2.2.2.2.1.1:45 1.1.1.1.1.1.1.1.1.1:1
32 ; 6.3.1:240 5.5:144 4.4.2:90 4.4.1.1:90 3.3.3.1:80 2.2.2.2.1.1:45 2.2.2.1.1.1.1:30 1.1.1.1.1.1.1.1.1.1:1
33 ; 10:80 8.2:200 5.5:16 5.4.1:80 5.2.2.1:40 5.1.1.1.1.1:8 4.4.2:100 4.4.1.1:100 4.2.2.1.1:100 4.1.1.1.1.1.1:20 2.2.2.2.2:20 2.2.2.2.1.1:25 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
34 ; 6.2.1.1:160 5.5:384 4.4.1.1:60 4.2.2.2:120 3.3.2.2:80 3.3.1.1.1.1:80 2.2.2.2.1.1:65 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
35 ; 10:144 8.2:180 8.1.1:180 6.3.1:240 5.5:144 4.4.2:90 4.4.1.1:270 3.3.3.1:80 2.2.2.2.2:36 2.2.2.2.1.1:45 2.2.2.1.1.1.1:30 1.1.1.1.1.1.1.1.1.1:1
36 ; 10:384 6.2.2:80 6.2.1.1:160 6.1.1.1.1:80 5.5:384 4.4.2:60 4.4.1.1:60 4.2.2.2:120 4.2.2.1.1:120 3.3.2.2:80 3.3.2.1.1:160 3.3.1.1.1.1:80 2.2.2.2.2:61 2.2.2.2.1.1:65 2.2.2.1.1.1.1:10 2.2.1.1.1.1.1.1:10 2.1.1.1.1.1.1.1.1:5 1.1.1.1.1.1.1.1.1.1:1
37 ; 8.2:240 6.4:160 6.2.1.1:160 5.5:384 4.4.1.1:300 4.2.2.2:140 4.2.1.1.1.1:60 3.3.2.2:240 3.3.1.1.1.1:80 2.2.2.2.1.1:125 2.2.1.1.1.1.1.1:30 1.1.1.1.1.1.1.1.1.1:1
38 ; 8.1.1:240 6.2.2:160 6.2.1.1:160 5.5:384 4.4.2:240 4.4.1.1:60 4.3.3:160 4.2.2.2:120 4.2.2.1.1:60 4.1.1.1.1.1.1:20 3.3.2.2:80 3.3.1.1.1.1:80 2.2.2.2.2:20 2.2.2.2.1.1:65 2.2.2.1.1.1.1:60 2.2.1.1.1.1.1.1:10 1.1.1.1.1.1.1.1.1.1:1
39 ; 10:384 8.2:240 8.1.1:240 6.4:160 6.2.2:240 6.2.1.1:160 6.1.1.1.1:80 5.5:384 4.4.2:300 4.4.1.1:300 4.3.3:160 4.2.2.2:140 4.2.2.1.1:180 4.2.1.1.1.1:60 4.1.1.1.1.1.1:20 3.3.2.2:240 3.3.2.1.1:160 3.3.1.1.1.1:80 2.2.2.2.2:81 2.2.2.2.1.1:125 2.2.2.1.1.1.1:70 2.2.1.1.1.1.1.1:30 2.1.1.1.1.1.1.1.1:5 1.1.1.1.1.1.1.1.1.1:1
40 ; 10:1440 6.2.2:1200 5.5:576 5.3.1.1:960 5.2.2.1:720 5.1.1.1.1.1:48 4.4.2:900 3.3.1.1.1.1:400 3.2.2.1.1.1:600 3.1.1.1.1.1.1.1:40 2.2.2.2.2:60 2.2.2.2.1.1:225 2.2.1.1.1.1.1.1:30 1.1.1.1.1.1.1.1.1.1:1
41 ; 10:2880 6.2.2:2400 5.5:576 5.3.1.1:960 5.2.2.1:720 5.1.1.1.1.1:48 4.4.2:1800 4.4.1.1:900 4.3.2.1:1200 4.2.1.1.1.1:600 3.3.2.2:400 3.3.1.1.1.1:400 3.2.2.1.1.1:1000 3.1.1.1.1.1.1.1:40 2.2.2.2.2:120 2.2.2.2.1.1:225 2.2.1.1.1.1.1.1:130 1.1.1.1.1.1.1.1.1.1:1
42 ; 8.2:3600 6.4:2400 5.5:576 5.3.1.1:960 5.2.2.1:720 5.1.1.1.1.1:48 4.4.1.1:900 4.3.2.1:1200 4.2.2.2:1200 4.2.1.1.1.1:600 3.3.2.2:400 3.3.1.1.1.1:400 3.2.2.1.1.1:1000 3.1.1.1.1.1.1.1:40 2.2.2.2.1.1:225 2.2.1.1.1.1.1.1:130 1.1.1.1.1.1.1.1.1.1:1
43 ; 10:2880 8.2:3600 6.4:2400 6.2.2:2400 5.5:576 5.4.1:1440 5.3.2:960 5.3.1.1:960 5.2.2.1:720 5.2.1.1.1:480 5.1.1.1.1.1:48 4.4.2:1800 4.4.1.1:900 4.3.2.1:1200 4.3.1.1.1:1200 4.2.2.2:1200 4.2.2.1.1:900 4.2.1.1.1.1:600 4.1.1.1.1.1.1:60 3.3.2.2:400 3.3.2.1.1:800 3.3.1.1.1.1:400 3.2.2.2.1:600 3.2.2.1.1.1:1000 3.2.1.1.1.1.1:440 3.1.1.1.1.1.1.1:40 2.2.2.2.2:120 2.2.2.2.1.1:225 2.2.2.1.1.1.1:300 2.2.1.1.1.1.1.1:130 2.1.1.1.1.1.1.1.1:20 1.1.1.1.1.1.1.1.1.1:1
44 ; 9.1:403200 8.2:226800 7.3:172800 7.1.1.1:86400 6.4:151200 6.2.1.1:151200 5.5:72576 5.3.1.1:120960 5.2.2.1:90720 5.1.1.1.1.1:6048 4.4.1.1:56700 4.3.2.1:151200 4.2.2.2:18900 4.2.1.1.1.1:18900 3.3.3.1:22400 3.3.2.2:25200 3.3.1.1.1.1:8400 3.2.2.1.1.1:25200 3.1.1.1.1.1.1.1:240 2.2.2.2.1.1:4725 2.2.1.1.1.1.1.1:630 1.1.1.1.1.1.1.1.1.1:1
45 ; 10:362880 9.1:403200 8.2:226800 8.1.1:226800 7.3:172800 7.2.1:259200 7.1.1.1:86400 6.4:151200 6.3.1:201600 6.2.2:75600 6.2.1.1:151200 6.1.1.1.1:25200 5.5:72576 5.4.1:181440 5.3.2:120960 5.3.1.1:120960 5.2.2.1:90720 5.2.1.1.1:60480 5.1.1.1.1.1:6048 4.4.2:56700 4.4.1.1:56700 4.3.3:50400 4.3.2.1:151200 4.3.1.1.1:50400 4.2.2.2:18900 4.2.2.1.1:56700 4.2.1.1.1.1:18900 4.1.1.1.1.1.1:1260 3.3.3.1:22400 3.3.2.2:25200 3.3.2.1.1:50400 3.3.1.1.1.1:8400 3.2.2.2.1:25200 3.2.2.1.1.1:25200 3.2.1.1.1.1.1:5040 3.1.1.1.1.1.1.1:240 2.2.2.2.2:945 2.2.2.2.1.1:4725 2.2.2.1.1.1.1:3150 2.2.1.1.1.1.1.1:630 2.1.1.1.1.1.1.1.1:45 1.1.1.1.1.1.1.1.1.1:1
