# Cycle types of the transitive groups of degree 9 (tables/transitive-9.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 9:6 3.3.3:2 1.1.1.1.1.1.1.1.1:1
2 ; 3.3.3:8 1.1.1.1.1.1.1.1.1:1
3 ; 9:6 3.3.3:2 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
4 ; 6.3:6 3.3.3:8 2.2.2.1.1.1:3 1.1.1.1.1.1.1.1.1:1
5 ; 3.3.3:8 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
6 ; 9:18 3.3.3:2 3.3.1.1.1:6 1.1.1.1.1.1.1.1.1:1
7 ; 3.3.3:20 3.3.1.1.1:6 1.1.1.1.1.1.1.1.1:1
8 ; 6.3:12 3.3.3:8 2.2.2.2.1:9 2.2.2.1.1.1:6 1.1.1.1.1.1.1.1.1:1
9 ; 4.4.1:18 3.3.3:8 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
10 ; 9:18 6.2.1:18 3.3.3:2 3.3.1.1.1:6 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
11 ; 6.2.1:18 3.3.3:20 3.3.1.1.1:6 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
12 ; 6.3:18 3.3.3:20 3.3.1.1.1:6 2.2.2.1.1.1:9 1.1.1.1.1.1.1.1.1:1
13 ; 6.3:18 3.3.3:20 3.3.1.1.1:6 2.2.2.1.1.1:9 1.1.1.1.1.1.1.1.1:1
14 ; 4.4.1:54 3.3.3:8 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
15 ; 8.1:36 4.4.1:18 3.3.3:8 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
16 ; 6.3:24 4.4.1:18 3.3.3:8 2.2.2.2.1:9 2.2.2.1.1.1:12 1.1.1.1.1.1.1.1.1:1
17 ; 9:36 3.3.3:26 3.3.1.1.1:12 3.1.1.1.1.1.1:6 1.1.1.1.1.1.1.1.1:1
18 ; 6.3:36 6.2.1:18 3.3.3:20 3.3.1.1.1:6 2.2.2.2.1:9 2.2.2.1.1.1:18 1.1.1.1.1.1.1.1.1:1
19 ; 8.1:36 6.3:24 4.4.1:54 3.3.3:8 2.2.2.2.1:9 2.2.2.1.1.1:12 1.1.1.1.1.1.1.1.1:1
20 ; 9:36 6.3:36 6.1.1.1:18 3.3.3:26 3.3.1.1.1:12 3.2.2.2:18 3.1.1.1.1.1.1:6 2.2.2.1.1.1:9 1.1.1.1.1.1.1.1.1:1
21 ; 9:36 6.2.1:54 3.3.3:26 3.3.1.1.1:12 3.1.1.1.1.1.1:6 2.2.2.2.1:27 1.1.1.1.1.1.1.1.1:1
22 ; 9:36 6.3:54 3.3.3:26 3.3.1.1.1:12 3.1.1.1.1.1.1:6 2.2.2.1.1.1:27 1.1.1.1.1.1.1.1.1:1
23 ; 6.2.1:72 4.4.1:54 3.3.3:56 3.3.1.1.1:24 2.2.2.2.1:9 1.1.1.1.1.1.1.1.1:1
24 ; 9:36 6.3:90 6.2.1:54 6.1.1.1:18 3.3.3:26 3.3.1.1.1:12 3.2.2.2:18 3.1.1.1.1.1.1:6 2.2.2.2.1:27 2.2.2.1.1.1:36 1.1.1.1.1.1.1.1.1:1
25 ; 9:144 3.3.3:80 3.3.1.1.1:12 3.2.2.1.1:54 3.1.1.1.1.1.1:6 2.2.1.1.1.1.1:27 1.1.1.1.1.1.1.1.1:1
26 ; 8.1:108 6.3:72 6.2.1:72 4.4.1:54 3.3.3:56 3.3.1.1.1:24 2.2.2.2.1:9 2.2.2.1.1.1:36 1.1.1.1.1.1.1.1.1:1
27 ; 9:168 7.1.1:216 3.3.3:56 2.2.2.2.1:63 1.1.1.1.1.1.1.1.1:1
28 ; 9:144 6.3:216 3.3.3:80 3.3.2.1:36 3.3.1.1.1:12 3.2.2.1.1:54 3.2.1.1.1.1:36 3.1.1.1.1.1.1:6 2.2.2.1.1.1:27 2.2.1.1.1.1.1:27 2.1.1.1.1.1.1.1:9 1.1.1.1.1.1.1.1.1:1
29 ; 9:144 6.3:72 6.1.1.1:36 4.2.2.1:162 3.3.3:80 3.3.1.1.1:12 3.2.2.2:36 3.2.2.1.1:54 3.1.1.1.1.1.1:6 2.2.2.1.1.1:18 2.2.1.1.1.1.1:27 1.1.1.1.1.1.1.1.1:1
30 ; 9:144 6.2.1:108 4.3.2:108 4.2.1.1.1:54 3.3.3:80 3.3.1.1.1:12 3.2.2.1.1:54 3.1.1.1.1.1.1:6 2.2.2.2.1:54 2.2.1.1.1.1.1:27 1.1.1.1.1.1.1.1.1:1
31 ; 9:144 6.3:288 6.2.1:108 6.1.1.1:36 4.3.2:108 4.2.2.1:162 4.2.1.1.1:54 3.3.3:80 3.3.2.1:36 3.3.1.1.1:12 3.2.2.2:36 3.2.2.1.1:54 3.2.1.1.1.1:36 3.1.1.1.1.1.1:6 2.2.2.2.1:54 2.2.2.1.1.1:45 2.2.1.1.1.1.1:27 2.1.1.1.1.1.1.1:9 1.1.1.1.1.1.1.1.1:1
32 ; 9:504 7.1.1:216 6.2.1:504 3.3.3:56 3.3.1.1.1:168 2.2.2.2.1:63 1.1.1.1.1.1.1.1.1:1
33 ; 9:40320 7.1.1:25920 6.2.1:30240 5.3.1:24192 5.2.2:9072 5.1.1.1.1:3024 4.4.1:11340 4.3.2:15120 4.2.1.1.1:7560 3.3.3:2240 3.3.1.1.1:3360 3.2.2.1.1:7560 3.1.1.1.1.1.1:168 2.2.2.2.1:945 2.2.1.1.1.1.1:378 1.1.1.1.1.1.1.1.1:1
34 ; 9:40320 8.1:45360 7.2:25920 7.1.1:25920 6.3:20160 6.2.1:30240 6.1.1.1:10080 5.4:18144 5.3.1:24192 5.2.2:9072 5.2.1.1:18144 5.1.1.1.1:3024 4.4.1:11340 4.3.2:15120 4.3.1.1:15120 4.2.2.1:11340 4.2.1.1.1:7560 4.1.1.1.1.1:756 3.3.3:2240 3.3.2.1:10080 3.3.1.1.1:3360 3.2.2.2:2520 3.2.2.1.1:7560 3.2.1.1.1.1:2520 3.1.1.1.1.1.1:168 2.2.2.2.1:945 2.2.2.1.1.1:1260 2.2.1.1.1.1.1:378 2.1.1.1.1.1.1.1:36 1.1.1.1.1.1.1.1.1:1
