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