2*x0^2 - 2*x1^2 + 2*x2^2 - 2*x3^2 + 2*x4^2 - 2*x5^2 + 2*x6^2 - 1
2*x0^3 - 2*x1^3 + 2*x2^3 - 2*x3^3 + 2*x4^3 - 2*x5^3 + 2*x6^3 - 1
2*x0^4 - 2*x1^4 + 2*x2^4 - 2*x3^4 + 2*x4^4 - 2*x5^4 + 2*x6^4 - 1
2*x0^5 - 2*x1^5 + 2*x2^5 - 2*x3^5 + 2*x4^5 - 2*x5^5 + 2*x6^5 - 1
2*x0^6 - 2*x1^6 + 2*x2^6 - 2*x3^6 + 2*x4^6 - 2*x5^6 + 2*x6^6 - 1
2*x0^7 - 2*x1^7 + 2*x2^7 - 2*x3^7 + 2*x4^7 - 2*x5^7 + 2*x6^7 - 1
2*x0^8 - 2*x1^8 + 2*x2^8 - 2*x3^8 + 2*x4^8 - 2*x5^8 + 2*x6^8 - 1
