// Magma code for creating transitive group 45T416 G := TransitiveGroup(45,416);