// Magma code for creating transitive group 12T23

G := TransitiveGroup(12,23);