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