# Oscar code for creating transitive group 13T5 G = transitive_group(13,5)