Symmetry reduction in Sumsofsquares

Done.