Conjecture: S
_{n}
= < (1 x y) , (1 2 ... n) > if and only if gcd(x-1,y-1,n)=1 and n is even.