# Oscar code for creating transitive group 9T1 G = transitive_group(9,1)