# Oscar code for creating transitive group 8T15 G = transitive_group(8,15)