# Oscar code for creating transitive group 8T23 G = transitive_group(8,23)