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