# Cycle types of the transitive groups of degree 8 (tables/transitive-8.txt):
# k ; type:count ...  (computed by examples/write_lattice.rs)
1 ; 8:4 4.4:2 2.2.2.2:1 1.1.1.1.1.1.1.1:1
2 ; 4.4:4 2.2.2.2:3 1.1.1.1.1.1.1.1:1
3 ; 2.2.2.2:7 1.1.1.1.1.1.1.1:1
4 ; 4.4:2 2.2.2.2:5 1.1.1.1.1.1.1.1:1
5 ; 4.4:6 2.2.2.2:1 1.1.1.1.1.1.1.1:1
6 ; 8:4 4.4:2 2.2.2.2:5 2.2.2.1.1:4 1.1.1.1.1.1.1.1:1
7 ; 8:8 4.4:4 2.2.2.2:1 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
8 ; 8:4 4.4:6 2.2.2.2:1 2.2.2.1.1:4 1.1.1.1.1.1.1.1:1
9 ; 4.4:4 2.2.2.2:9 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
10 ; 4.4:8 2.2.2.2:5 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
11 ; 4.4:8 2.2.2.2:5 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
12 ; 6.2:8 4.4:6 3.3.1.1:8 2.2.2.2:1 1.1.1.1.1.1.1.1:1
13 ; 6.2:8 3.3.1.1:8 2.2.2.2:7 1.1.1.1.1.1.1.1:1
14 ; 4.4:6 3.3.1.1:8 2.2.2.2:9 1.1.1.1.1.1.1.1:1
15 ; 8:8 4.4:8 2.2.2.2:5 2.2.2.1.1:8 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
16 ; 8:16 4.4:4 2.2.2.2:5 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
17 ; 8:8 4.4:8 4.2.2:4 4.1.1.1.1:4 2.2.2.2:5 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
18 ; 4.4:12 2.2.2.2:13 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
19 ; 4.4:12 4.2.1.1:8 2.2.2.2:9 2.2.1.1.1.1:2 1.1.1.1.1.1.1.1:1
20 ; 4.4:20 2.2.2.2:5 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
21 ; 4.4:4 4.2.2:16 2.2.2.2:5 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
22 ; 4.4:12 2.2.2.2:13 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
23 ; 8:12 6.2:8 4.4:6 3.3.1.1:8 2.2.2.2:1 2.2.2.1.1:12 1.1.1.1.1.1.1.1:1
24 ; 6.2:8 4.4:12 3.3.1.1:8 2.2.2.2:13 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
25 ; 7.1:48 2.2.2.2:7 1.1.1.1.1.1.1.1:1
26 ; 8:16 4.4:12 4.2.2:4 4.1.1.1.1:4 2.2.2.2:13 2.2.2.1.1:8 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
27 ; 8:16 4.4:20 4.2.2:8 2.2.2.2:5 2.2.2.1.1:4 2.2.1.1.1.1:6 2.1.1.1.1.1.1:4 1.1.1.1.1.1.1.1:1
28 ; 8:16 4.4:4 4.2.2:16 4.2.1.1:8 2.2.2.2:9 2.2.1.1.1.1:10 1.1.1.1.1.1.1.1:1
29 ; 4.4:28 4.2.1.1:8 2.2.2.2:17 2.2.1.1.1.1:10 1.1.1.1.1.1.1.1:1
30 ; 4.4:20 4.2.2:20 4.1.1.1.1:4 2.2.2.2:5 2.2.2.1.1:8 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
31 ; 4.4:12 4.2.2:24 2.2.2.2:13 2.2.2.1.1:4 2.2.1.1.1.1:6 2.1.1.1.1.1.1:4 1.1.1.1.1.1.1.1:1
32 ; 6.2:32 4.4:12 3.3.1.1:32 2.2.2.2:13 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
33 ; 6.2:32 4.4:12 3.3.1.1:32 2.2.2.2:13 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
34 ; 4.4:36 3.3.1.1:32 2.2.2.2:21 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
35 ; 8:16 4.4:28 4.2.2:28 4.2.1.1:8 4.1.1.1.1:4 2.2.2.2:17 2.2.2.1.1:12 2.2.1.1.1.1:10 2.1.1.1.1.1.1:4 1.1.1.1.1.1.1.1:1
36 ; 7.1:48 6.2:56 3.3.1.1:56 2.2.2.2:7 1.1.1.1.1.1.1.1:1
37 ; 7.1:48 4.4:42 3.3.1.1:56 2.2.2.2:21 1.1.1.1.1.1.1.1:1
38 ; 6.2:32 6.1.1:32 4.4:12 4.2.2:24 3.3.2:32 3.3.1.1:32 2.2.2.2:13 2.2.2.1.1:4 2.2.1.1.1.1:6 2.1.1.1.1.1.1:4 1.1.1.1.1.1.1.1:1
39 ; 6.2:32 4.4:60 4.2.1.1:24 3.3.1.1:32 2.2.2.2:25 2.2.1.1.1.1:18 1.1.1.1.1.1.1.1:1
40 ; 8:48 6.2:32 4.4:12 4.2.2:12 4.1.1.1.1:12 3.3.1.1:32 2.2.2.2:13 2.2.2.1.1:24 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
41 ; 6.2:32 4.4:60 4.2.1.1:24 3.3.1.1:32 2.2.2.2:25 2.2.1.1.1.1:18 1.1.1.1.1.1.1.1:1
42 ; 6.2:96 4.4:36 3.3.1.1:64 3.2.2.1:48 3.1.1.1.1.1:16 2.2.2.2:21 2.2.1.1.1.1:6 1.1.1.1.1.1.1.1:1
43 ; 8:84 7.1:48 6.1.1:56 4.4:42 3.3.1.1:56 2.2.2.2:21 2.2.2.1.1:28 1.1.1.1.1.1.1.1:1
44 ; 8:48 6.2:32 6.1.1:32 4.4:60 4.2.2:36 4.2.1.1:24 4.1.1.1.1:12 3.3.2:32 3.3.1.1:32 2.2.2.2:25 2.2.2.1.1:28 2.2.1.1.1.1:18 2.1.1.1.1.1.1:4 1.1.1.1.1.1.1.1:1
45 ; 6.2:192 4.4:108 4.2.1.1:72 3.3.1.1:64 3.2.2.1:48 3.1.1.1.1.1:16 2.2.2.2:33 2.2.1.1.1.1:42 1.1.1.1.1.1.1.1:1
46 ; 8:144 4.4:36 4.2.2:144 4.2.1.1:72 3.3.1.1:64 3.2.2.1:48 3.1.1.1.1.1:16 2.2.2.2:9 2.2.1.1.1.1:42 1.1.1.1.1.1.1.1:1
47 ; 8:144 6.2:192 4.4:108 4.3.1:96 4.2.2:180 4.2.1.1:72 4.1.1.1.1:12 3.3.1.1:64 3.2.2.1:48 3.2.1.1.1:96 3.1.1.1.1.1:16 2.2.2.2:33 2.2.2.1.1:36 2.2.1.1.1.1:42 2.1.1.1.1.1.1:12 1.1.1.1.1.1.1.1:1
48 ; 7.1:384 6.2:224 4.4:252 4.2.1.1:168 3.3.1.1:224 2.2.2.2:49 2.2.1.1.1.1:42 1.1.1.1.1.1.1.1:1
49 ; 7.1:5760 6.2:3360 5.3:2688 5.1.1.1:1344 4.4:1260 4.2.1.1:2520 3.3.1.1:1120 3.2.2.1:1680 3.1.1.1.1.1:112 2.2.2.2:105 2.2.1.1.1.1:210 1.1.1.1.1.1.1.1:1
50 ; 8:5040 7.1:5760 6.2:3360 6.1.1:3360 5.3:2688 5.2.1:4032 5.1.1.1:1344 4.4:1260 4.3.1:3360 4.2.2:1260 4.2.1.1:2520 4.1.1.1.1:420 3.3.2:1120 3.3.1.1:1120 3.2.2.1:1680 3.2.1.1.1:1120 3.1.1.1.1.1:112 2.2.2.2:105 2.2.2.1.1:420 2.2.1.1.1.1:210 2.1.1.1.1.1.1:28 1.1.1.1.1.1.1.1:1
