// Magma code for creating transitive group 8T12

G := TransitiveGroup(8,12);