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