# Oscar code for creating transitive group 8T12

G = transitive_group(8,12)