# Oscar code for creating transitive group 12T45

G = transitive_group(12,45)