# Maximal transitive subgroups of the transitive groups of degree 8 (tables/transitive-8.txt),
# up to conjugacy in the group (for Alt(n) each class may be listed twice).  Per line:
# k ; j:y ...  meaning (nTj)^y = y^-1 (nTj) y <= nTk, y as images of 1..n
# (computed by examples/write_lattice.rs, src/embed.rs)
1 ; 
2 ; 
3 ; 
4 ; 
5 ; 
6 ; 1:1,2,6,4,8,3,7,5 4:1,2,3,5,7,6,8,4
7 ; 1:1,2,7,8,6,4,5,3 1:1,2,4,8,3,7,5,6
8 ; 1:1,2,8,6,4,5,3,7 5:1,2,5,3,4,8,6,7
9 ; 2:1,2,3,8,7,6,5,4 3:1,8,5,4,3,2,6,7 4:1,2,8,4,3,5,7,6 4:1,2,3,4,8,6,7,5
10 ; 2:1,7,5,8,2,3,6,4 2:1,4,3,6,2,8,5,7
11 ; 2:1,2,4,5,3,7,8,6 2:1,2,4,6,5,7,3,8 4:1,2,4,8,3,7,5,6 5:1,2,3,4,8,6,7,5
12 ; 5:1,2,5,3,4,8,6,7
13 ; 3:1,8,5,6,7,2,4,3
14 ; 4:1,6,5,4,2,7,8,3
15 ; 6:3,6,8,1,7,5,2,4 6:3,6,5,1,4,8,2,7 7:3,6,1,5,4,2,8,7 8:3,6,2,7,5,1,4,8 8:3,6,2,4,8,1,7,5 11:3,6,2,5,7,1,8,4
16 ; 7:1,2,4,3,8,7,6,5 7:4,7,2,5,6,1,8,3
17 ; 7:1,2,6,4,8,3,7,5 11:3,6,7,8,1,4,5,2
18 ; 9:1,7,5,2,8,3,4,6 9:1,4,5,2,8,6,7,3 9:3,6,2,5,4,1,8,7 10:1,2,3,7,8,6,4,5 10:3,8,7,5,4,2,6,1 10:3,5,7,8,4,1,6,2
19 ; 9:3,6,7,8,1,4,5,2 10:1,2,3,7,8,6,4,5
20 ; 10:1,2,7,6,8,4,3,5 10:1,2,7,3,8,4,6,5
21 ; 
22 ; 9:3,6,2,8,4,1,5,7 9:3,6,2,4,5,1,7,8 9:4,7,6,8,2,3,5,1 9:4,7,1,5,3,2,8,6 9:3,6,7,5,1,4,8,2 9:3,6,2,7,5,1,4,8 11:3,6,2,4,5,1,7,8 11:3,6,2,8,4,1,5,7 11:3,6,4,5,1,7,8,2 11:4,7,6,5,1,3,8,2 11:3,6,8,7,2,5,4,1 11:4,7,3,8,2,6,5,1
23 ; 12:4,7,6,1,5,3,2,8 8:3,6,2,7,8,1,4,5
24 ; 13:3,6,8,2,4,5,1,7 14:4,6,2,8,3,5,1,7 9:4,5,6,7,3,2,8,1
25 ; 3:1,8,5,6,7,2,4,3
26 ; 15:1,2,5,4,3,8,7,6 15:4,7,8,1,6,5,2,3 16:1,2,4,3,5,7,6,8 17:3,6,1,8,4,2,5,7 17:3,6,7,8,2,4,5,1 22:4,7,3,1,8,6,2,5
27 ; 16:4,7,8,1,6,5,2,3 20:4,7,8,2,3,5,1,6
28 ; 16:3,6,2,5,7,1,8,4 21:5,8,7,2,3,4,1,6
29 ; 18:4,7,2,5,6,1,8,3 18:4,7,6,5,1,3,8,2 19:3,6,7,1,5,4,2,8 19:4,7,1,5,3,2,8,6 20:5,8,4,2,3,7,1,6 22:4,7,3,1,8,6,2,5
30 ; 20:3,6,2,8,7,1,5,4 21:5,8,7,2,3,4,1,6
31 ; 21:5,8,2,6,4,1,3,7 21:4,7,1,3,8,2,6,5 21:3,6,2,4,5,1,7,8 22:4,7,3,1,8,6,2,5
32 ; 22:4,7,3,1,8,6,2,5 12:3,6,7,8,1,4,5,2 12:3,6,8,2,7,5,1,4 13:3,6,5,1,4,8,2,7 13:4,7,6,2,8,3,1,5
33 ; 18:3,5,1,6,7,4,8,2 13:4,5,2,3,8,6,1,7
34 ; 18:3,5,4,6,1,2,8,7 14:4,2,1,8,6,7,3,5 14:1,2,7,3,6,4,5,8 14:4,1,7,8,3,2,5,6
35 ; 26:3,6,4,1,8,7,2,5 27:1,2,6,5,7,3,8,4 28:4,7,5,3,1,8,6,2 29:4,7,8,1,3,5,2,6 30:4,7,8,6,1,5,3,2 31:4,7,6,1,5,3,2,8
36 ; 25:7,5,4,6,3,8,1,2 13:2,7,8,1,5,6,4,3
37 ; 14:3,2,7,6,1,5,4,8 14:3,1,5,6,2,7,8,4
38 ; 32:1,2,6,5,4,3,8,7 31:4,7,6,1,5,3,2,8
39 ; 32:1,2,6,5,4,3,8,7 29:4,7,8,1,3,5,2,6 24:5,8,6,2,7,3,1,4 24:5,8,6,1,7,3,2,4
40 ; 32:1,2,6,5,4,3,8,7 26:3,6,4,2,5,7,1,8 23:1,2,3,4,5,6,7,8 23:1,2,5,3,7,8,6,4
41 ; 33:7,1,6,2,3,8,4,5 34:8,6,1,5,7,2,3,4 29:3,5,8,1,2,6,7,4 24:4,5,1,6,3,8,7,2
42 ; 33:4,1,6,2,3,8,7,5 34:8,6,1,5,7,2,3,4
43 ; 37:1,4,2,3,5,8,6,7 6:2,8,7,1,4,3,5,6
44 ; 38:4,7,8,2,6,5,1,3 39:3,6,2,5,7,1,8,4 40:5,8,6,2,7,3,1,4 35:5,8,4,2,3,7,1,6
45 ; 42:1,7,6,4,3,8,2,5 42:1,7,6,4,3,5,2,8 41:2,4,8,1,5,6,7,3 41:1,7,5,2,6,3,4,8
46 ; 28:1,2,4,8,3,7,5,6
47 ; 45:5,8,1,6,2,4,3,7 46:3,6,1,8,4,2,5,7 35:6,8,3,4,2,5,7,1
48 ; 39:1,8,5,6,7,3,4,2 41:8,2,5,7,3,6,1,4 36:8,7,2,3,6,1,4,5 37:1,3,7,2,5,8,4,6
49 ; 48:1,2,3,4,5,6,7,8 48:2,1,3,4,5,6,7,8 45:1,2,3,4,5,6,7,8 45:2,1,3,4,5,6,7,8
50 ; 49:1,2,3,4,5,6,7,8 47:1,2,3,4,5,6,7,8 44:1,2,3,4,5,6,7,8 43:1,2,3,4,5,6,7,8
