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