// Magma code for creating transitive group 31T12

G := TransitiveGroup(31,12);