# Oscar code for creating transitive group 12T25

G = transitive_group(12,25)