“transitive subgroup of s3”