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