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