// Magma code for creating transitive group 16T580 G := TransitiveGroup(16,580);