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