# Maximal transitive subgroups of the transitive groups of degree 6 (tables/transitive-6.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,3,4,5,6 2:1,2,5,6,3,4
4 ; 
5 ; 1:1,6,3,4,5,2 2:1,4,5,2,3,6
6 ; 4:1,2,3,4,5,6 1:1,2,4,6,3,5
7 ; 4:1,4,5,3,2,6
8 ; 4:1,4,5,3,2,6 2:1,6,5,4,3,2
9 ; 5:2,1,4,3,6,5 5:1,4,3,2,5,6 3:2,5,4,3,6,1 3:3,2,5,4,1,6
10 ; 
11 ; 6:1,5,4,2,3,6 7:1,2,3,5,4,6 8:2,4,5,1,6,3 3:2,1,5,3,6,4
12 ; 4:1,5,4,3,2,6
13 ; 9:3,2,1,6,5,4 10:6,5,2,3,4,1
14 ; 12:2,5,3,4,6,1 8:2,3,4,1,5,6 3:2,6,1,5,4,3
15 ; 12:1,2,3,4,5,6 12:2,1,3,4,5,6 10:1,2,3,4,5,6 10:2,1,3,4,5,6 7:1,2,3,4,5,6 7:2,1,3,4,5,6
16 ; 15:1,2,3,4,5,6 14:1,2,3,4,5,6 13:1,2,3,4,5,6 11:1,2,3,4,5,6
