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