# Oscar code for creating transitive group 6T13 G = transitive_group(6,13)