# Maximal transitive subgroups of the transitive groups of degree 10 (tables/transitive-10.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 ; 1:1,2,9,10,7,8,3,4,5,6 2:1,10,3,8,5,4,7,2,9,6
4 ; 
5 ; 3:9,10,3,4,7,8,5,6,1,2 4:9,10,1,2,5,6,3,4,7,8
6 ; 1:1,8,5,7,4,10,3,9,2,6 2:1,9,2,7,3,8,5,6,4,10
7 ; 
8 ; 
9 ; 6:6,10,8,7,9,1,4,3,5,2 6:1,5,4,2,3,7,10,6,9,8 3:4,9,2,8,5,7,3,10,1,6 3:1,10,2,7,3,6,5,8,4,9
10 ; 4:5,10,2,9,1,8,4,7,3,6 4:4,10,3,9,1,8,5,7,2,6
11 ; 3:9,10,1,2,5,6,3,4,7,8
12 ; 4:5,6,9,10,3,4,7,8,1,2
13 ; 7:1,5,6,7,2,3,4,8,9,10 4:7,8,6,4,9,1,2,10,3,5
14 ; 8:7,8,4,3,2,1,9,10,5,6 1:1,2,9,10,7,8,3,4,5,6
15 ; 8:3,4,6,5,8,7,1,2,9,10
16 ; 8:3,4,6,5,8,7,1,2,9,10 2:1,6,3,2,5,8,7,10,9,4
17 ; 9:8,9,6,7,10,5,2,3,1,4 10:7,10,9,6,8,5,2,3,1,4 5:1,6,2,8,3,10,5,7,4,9 5:2,8,1,9,4,6,5,10,3,7
18 ; 
19 ; 9:8,9,6,7,10,5,2,3,1,4 9:2,4,1,5,3,7,10,6,9,8
20 ; 10:10,7,6,9,8,2,5,1,3,4 10:10,7,6,9,8,4,2,1,5,3
21 ; 9:8,9,6,7,10,5,2,3,1,4 10:5,3,4,1,2,8,9,7,6,10
22 ; 11:3,4,9,10,1,2,5,6,7,8 12:5,6,3,4,1,2,9,10,7,8 5:5,6,3,4,7,8,1,2,9,10
23 ; 14:7,8,3,4,2,1,9,10,6,5 15:5,6,9,10,3,4,8,7,2,1 16:1,2,10,9,7,8,4,3,6,5 3:1,2,5,6,3,4,10,9,8,7
24 ; 15:5,6,9,10,3,4,8,7,2,1
25 ; 15:5,6,9,10,3,4,8,7,2,1 4:7,8,3,4,1,2,9,10,5,6
26 ; 7:4,10,3,8,1,2,6,9,5,7 7:1,3,9,4,10,6,8,5,7,2
27 ; 17:7,6,8,9,10,1,3,5,2,4 17:2,5,3,1,4,8,10,9,7,6 19:9,10,6,8,7,2,1,3,4,5 20:2,1,4,3,5,7,10,6,9,8 21:10,6,7,8,9,3,2,5,4,1 21:8,7,10,6,9,4,3,2,1,5
28 ; 18:10,6,7,8,9,2,4,5,1,3 18:1,5,4,2,3,10,8,7,9,6
29 ; 23:3,4,8,7,5,6,9,10,1,2 24:7,8,3,4,1,2,10,9,6,5 25:5,6,10,9,4,3,8,7,1,2 5:7,8,10,9,5,6,1,2,3,4
30 ; 26:7,3,6,9,10,2,5,8,1,4 3:6,10,8,2,1,7,9,4,3,5
31 ; 26:6,3,1,2,10,8,9,7,4,5
32 ; 26:1,3,4,8,10,7,2,6,5,9 13:4,3,7,6,1,8,5,10,2,9 13:8,2,10,5,9,4,6,7,3,1
33 ; 27:8,7,10,6,9,4,3,2,1,5 28:4,3,1,2,5,8,9,7,6,10
34 ; 15:3,4,5,6,9,10,7,8,2,1
35 ; 30:7,9,6,4,8,5,10,2,3,1 31:1,8,5,7,6,3,10,9,2,4 32:3,8,2,10,5,4,9,7,1,6 5:3,5,6,10,1,7,8,2,9,4
36 ; 34:5,6,7,8,10,9,4,3,2,1 23:7,8,2,1,10,9,6,5,4,3 11:3,4,7,8,10,9,1,2,5,6
37 ; 34:3,4,8,7,10,9,1,2,5,6 24:1,2,4,3,8,7,10,9,5,6
38 ; 34:1,2,7,8,9,10,5,6,4,3 25:7,8,4,3,2,1,10,9,5,6 12:7,8,1,2,3,4,5,6,9,10
39 ; 36:5,6,1,2,10,9,4,3,8,7 37:1,2,9,10,3,4,5,6,7,8 38:7,8,9,10,5,6,4,3,2,1 29:9,10,8,7,5,6,4,3,2,1 22:5,6,7,8,2,1,9,10,4,3
40 ; 21:4,3,2,1,5,8,7,6,10,9 11:1,6,4,8,5,10,3,7,2,9 12:5,10,2,7,3,9,1,6,4,8
41 ; 40:5,2,3,1,4,9,10,8,7,6 40:7,6,9,10,8,2,4,1,3,5 27:7,8,9,6,10,2,3,5,1,4 22:4,10,5,9,3,8,2,7,1,6 22:5,8,4,7,2,9,3,10,1,6
42 ; 28:4,5,1,2,3,7,8,10,9,6
43 ; 41:3,2,5,4,1,8,10,6,9,7 42:6,8,9,10,7,5,4,1,2,3 33:3,4,1,5,2,8,10,9,7,6
44 ; 42:1,2,3,4,5,6,7,8,9,10 42:2,1,3,4,5,6,7,8,9,10 37:1,2,3,4,5,6,7,8,9,10 37:2,1,3,4,5,6,7,8,9,10 31:1,2,3,4,5,6,7,8,9,10 31:2,1,3,4,5,6,7,8,9,10
45 ; 44:1,2,3,4,5,6,7,8,9,10 43:1,2,3,4,5,6,7,8,9,10 39:1,2,3,4,5,6,7,8,9,10 35:1,2,3,4,5,6,7,8,9,10
