// Magma code for creating transitive group 7T1 G := TransitiveGroup(7,1);