x1 = -x2^2*x7^2*x8^2*x27^2+x2^2*x7^2*x8^2+x2^2*x7^2*x27^2+x2^2*x8^2*x27^2+x7^2*x8^2*x27^2-x2^2*x8^2-x7^2*x8^2-x2^2*x27^2-x7^2*x27^2-x8^2*x27^2+x8^2+x27^2
x2 = x1^2*x7^2*x28^2-x1^2*x28^2-x7^2*x28^2+x28^2
x3 = x1^2*x2^2*x7^2-x1^2*x2^2-x1^2*x7^2-x2^2*x7^2+x1^2+x2^2+x7^2
x4 = x23^2
x5 = -x3^2*x4^2*x7^2+x3^2*x7^2
x6 = x5^2
x7 = -x1^2*x2^2*x7^2*x8^2+x1^2*x2^2*x7^2+x1^2*x2^2*x8^2+x2^2*x7^2*x8^2-x1^2*x2^2-x2^2*x7^2-x2^2*x8^2+x1^2+x2^2
x8 = x3^2
x9 = x3^2*x10^2*x17^2*x18^2*x20^2*x21^2-x3^2*x10^2*x17^2*x18^2*x20^2*x21-x3^2*x10^2*x17^2*x18^2*x20*x21^2-x3^2*x10*x17^2*x18^2*x20^2*x21^2+x3^2*x10^2*x17^2*x18^2*x20*x21+x3^2*x10*x17^2*x18^2*x20^2*x21+x3^2*x10*x17^2*x18^2*x20*x21^2-x3^2*x10^2*x17^2*x20^2*x21^2-x3^2*x10^2*x18^2*x20^2*x21^2+x3^2*x17^2*x18^2*x20^2*x21^2-x10^2*x17^2*x18^2*x20^2*x21^2-x3^2*x10*x17^2*x18^2*x20*x21+x3^2*x10^2*x17^2*x20^2*x21+x3^2*x10^2*x18^2*x20^2*x21-x3^2*x17^2*x18^2*x20^2*x21+x10^2*x17^2*x18^2*x20^2*x21+x3^2*x10^2*x17^2*x20*x21^2+x3^2*x10^2*x18^2*x20*x21^2-x3^2*x17^2*x18^2*x20*x21^2+x10^2*x17^2*x18^2*x20*x21^2+x3^2*x10*x17^2*x20^2*x21^2+x3^2*x10*x18^2*x20^2*x21^2+x10*x17^2*x18^2*x20^2*x21^2-x3^2*x10^2*x17^2*x18^2-x3^2*x10^2*x17^2*x20*x21-x3^2*x10^2*x18^2*x20*x21+x3^2*x17^2*x18^2*x20*x21-x10^2*x17^2*x18^2*x20*x21-x3^2*x10*x17^2*x20^2*x21-x3^2*x10*x18^2*x20^2*x21-x10*x17^2*x18^2*x20^2*x21-x3^2*x10*x17^2*x20*x21^2-x3^2*x10*x18^2*x20*x21^2-x10*x17^2*x18^2*x20*x21^2+x3^2*x10^2*x20^2*x21^2-x3^2*x17^2*x20^2*x21^2+x10^2*x17^2*x20^2*x21^2-x3^2*x18^2*x20^2*x21^2+x10^2*x18^2*x20^2*x21^2+x3^2*x10*x17^2*x20*x21+x3^2*x10*x18^2*x20*x21+x10*x17^2*x18^2*x20*x21-x3^2*x10^2*x20^2*x21+x3^2*x17^2*x20^2*x21-x10^2*x17^2*x20^2*x21+x3^2*x18^2*x20^2*x21-x10^2*x18^2*x20^2*x21-x3^2*x10^2*x20*x21^2+x3^2*x17^2*x20*x21^2-x10^2*x17^2*x20*x21^2+x3^2*x18^2*x20*x21^2-x10^2*x18^2*x20*x21^2-x3^2*x10*x20^2*x21^2-x10*x17^2*x20^2*x21^2-x10*x18^2*x20^2*x21^2+x3^2*x10^2*x17^2+x3^2*x10^2*x18^2+x3^2*x17^2*x18^2+x10^2*x17^2*x18^2+x3^2*x10^2*x20*x21-x3^2*x17^2*x20*x21+x10^2*x17^2*x20*x21-x3^2*x18^2*x20*x21+x10^2*x18^2*x20*x21+x3^2*x10*x20^2*x21+x10*x17^2*x20^2*x21+x10*x18^2*x20^2*x21+x3^2*x10*x20*x21^2+x10*x17^2*x20*x21^2+x10*x18^2*x20*x21^2+x3^2*x20^2*x21^2-x10^2*x20^2*x21^2-x3^2*x10*x20*x21-x10*x17^2*x20*x21-x10*x18^2*x20*x21-x3^2*x20^2*x21+x10^2*x20^2*x21-x3^2*x20*x21^2+x10^2*x20*x21^2+x10*x20^2*x21^2-x3^2*x10^2-x3^2*x17^2-x10^2*x17^2-x3^2*x18^2-x10^2*x18^2+x3^2*x20*x21-x10^2*x20*x21-x10*x20^2*x21-x10*x20*x21^2+x10*x20*x21+x3^2+x10^2
x10 = x3^2*x17^2*x21^2-x3^2*x17^2*x21-x3^2*x17^2-x3^2*x21^2+x3^2*x21+x3^2
x11 = -x3^2*x6^2*x15^2*x19^2+x3^2*x6^2*x15^2+x3^2*x6^2*x19^2+x3^2*x15^2*x19^2+x6^2*x15^2*x19^2-x3^2*x6^2-x3^2*x15^2-x6^2*x15^2-x3^2*x19^2-x6^2*x19^2+x3^2+x6^2
x12 = -x9^2*x10^2*x14^2*x18^2*x19^2+x9^2*x10^2*x14^2*x18^2+x9^2*x10^2*x14^2*x19^2+x9^2*x14^2*x18^2*x19^2+x10^2*x14^2*x18^2*x19^2-x9^2*x10^2*x14^2-x9^2*x14^2*x18^2-x10^2*x14^2*x18^2-x9^2*x14^2*x19^2-x10^2*x14^2*x19^2+x9^2*x14^2+x10^2*x14^2
x13 = -x9^2*x10^2*x14^2*x18^2*x19^2+x9^2*x10^2*x14^2*x18^2+x9^2*x10^2*x14^2*x19^2+x9^2*x14^2*x18^2*x19^2+x10^2*x14^2*x18^2*x19^2-x9^2*x10^2*x14^2-x9^2*x14^2*x18^2-x10^2*x14^2*x18^2-x9^2*x14^2*x19^2-x10^2*x14^2*x19^2+x9^2*x14^2+x10^2*x14^2
x14 = -x9^2*x10^2*x18^2*x21^2+x9^2*x10^2*x18^2+x9^2*x10^2*x21^2+x9^2*x18^2*x21^2+x10^2*x18^2*x21^2-x9^2*x10^2-x9^2*x18^2-x10^2*x18^2-x9^2*x21^2-x10^2*x21^2+x9^2+x10^2
x15 = -x17^2*x30^2+x30^2
x16 = x9^2
x17 = x11^2*x12^2*x13^2*x15^2-x11^2*x12^2*x13^2-x11^2*x12^2*x15^2-x11^2*x13^2*x15^2-x12^2*x13^2*x15^2+x11^2*x12^2+x11^2*x13^2+x12^2*x13^2+x11^2*x15^2+x12^2*x15^2+x13^2*x15^2-x11^2-x12^2-x13^2-x15^2+1
x18 = x11^2*x12^2-x11^2-x12^2+1
x19 = -x6^2*x12^2*x23^2*x30^2+x6^2*x12^2*x23^2+x6^2*x12^2*x30^2+x6^2*x23^2*x30^2+x12^2*x23^2*x30^2-x6^2*x23^2-x12^2*x23^2-x6^2*x30^2-x12^2*x30^2-x23^2*x30^2+x23^2+x30^2
x20 = x9^2*x29^2+x29^2
x21 = x9^2*x20^2+x20^2
x22 = x6^2*x16^2*x17^2*x20^2*x23^2-x6^2*x16^2*x17^2*x20^2-x6^2*x16^2*x17^2*x23^2-x6^2*x16^2*x20^2*x23^2-x6^2*x17^2*x20^2*x23^2-x16^2*x17^2*x20^2*x23^2+x6^2*x16^2*x17^2+x6^2*x16^2*x20^2+x6^2*x17^2*x20^2+x6^2*x16^2*x23^2+x6^2*x17^2*x23^2+x16^2*x17^2*x23^2+x6^2*x20^2*x23^2+x16^2*x20^2*x23^2+x17^2*x20^2*x23^2-x6^2*x16^2-x6^2*x17^2-x6^2*x20^2-x6^2*x23^2-x16^2*x23^2-x17^2*x23^2-x20^2*x23^2+x6^2+x23^2
x23 = -x9^2*x20^2*x21^2*x22^2+x9*x20^2*x21^2*x22^2+x9^2*x20^2*x21^2-x20^2*x21^2*x22^2-x9*x20^2*x21^2+x20^2*x21^2+x9^2*x22^2-x9*x22^2-x9^2+x9
x24 = -x12^2*x13^2+x12^2+x13^2
x25 = x9^2*x23^2-x9*x23^2+x9^2+x23^2-x9
x26 = x17^2*x18^2*x19^2-x17^2*x18^2-x17^2*x19^2-x18^2*x19^2+x17^2+x18^2+x19^2
x27 = x27^2
x28 = x28^2
x29 = x29^2
x30 = x30^2
