# Oscar code for creating transitive group 20T12 G = transitive_group(20,12)