# Oscar code for creating transitive group 12T237 G = transitive_group(12,237)