Symmetry reduction in Sumsofsquares

I am not sure how I can do that. What should I do?