# Oscar code for creating transitive group 16T808 G = transitive_group(16,808)