# Oscar code for creating transitive group 16T1250 G = transitive_group(16,1250)