// Magma code for creating transitive group 20T12

G := TransitiveGroup(20,12);