// Magma code for creating transitive group 13T2 G := TransitiveGroup(13,2);