# Oscar code for creating transitive group 31T8 G = transitive_group(31,8)