c_1, c_2, x_1, x_10, x_11, x_12, x_13, x_14, x_15, x_16, x_17, x_18, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
-2*c_1^2*x_7+c_1*x_3^2+x_3*x_7
-3*c_1^2*x_12*x_7+3*c_1*x_12*x_3^2-c_1*x_3*x_7^2+x_12*x_3*x_7
-3*c_1*x_12*x_18*x_3-x_12*x_3*x_7^2+3*x_18*x_3^2*x_7+x_12*x_18*x_7
-4*c_1^2*x_12*x_18*x_7+c_1*x_12^2*x_3*x_7+6*c_1*x_12*x_18*x_3^2-4*c_1*x_18*x_3*x_7^2+x_12*x_18*x_3*x_7
-16*c_1^2*x_7+3*c_1*x_2*x_7+9*c_1*x_3^2-c_1*x_3*x_6-3*c_2*x_3*x_7+7*x_3*x_7
-36*c_1^2*x_12*x_7+c_1*x_11*x_3*x_7+6*c_1*x_12*x_2*x_7+39*c_1*x_12*x_3^2-4*c_1*x_12*x_3*x_6-14*c_1*x_3*x_7^2-4*c_2*x_12*x_3*x_7+11*x_12*x_3*x_7
-68*c_1^2*x_12*x_18*x_7+5*c_1*x_11*x_18*x_3*x_7+20*c_1*x_12^2*x_3*x_7-c_1*x_12*x_17*x_3*x_7+10*c_1*x_12*x_18*x_2*x_7+108*c_1*x_12*x_18*x_3^2-10*c_1*x_12*x_18*x_3*x_6-76*c_1*x_18*x_3*x_7^2-5*c_2*x_12*x_18*x_3*x_7+16*x_12*x_18*x_3*x_7
-48*c_1^2*x_12*x_18*x_3+3*c_1^2*x_12*x_18*x_6-3*c_1*c_2*x_12*x_18*x_7-3*c_1*x_11*x_18*x_3^2+3*c_1*x_12*x_18*x_2*x_3-20*c_1*x_12*x_3*x_7^2+c_1*x_17*x_3*x_7^2+54*c_1*x_18*x_3^2*x_7-c_1*x_18*x_3*x_6*x_7+14*c_1*x_12*x_18*x_7-x_12*x_18*x_2*x_7
2*c_1^2*x_1*x_7-2*c_1*c_2*x_2*x_7+2*c_2^2*x_3*x_7-42*c_1^2*x_7+15*c_1*x_2*x_7+26*c_1*x_3^2-5*c_1*x_3*x_6-15*c_2*x_3*x_7+x_1*x_3*x_7-x_2^2*x_7+x_2*x_3*x_6-x_3^2*x_5+16*x_3*x_7
3*c_1^2*x_1*x_12*x_7-3*c_1*c_2*x_12*x_2*x_7+3*c_2^2*x_12*x_3*x_7-159*c_1^2*x_12*x_7+c_1*x_10*x_7^2+9*c_1*x_11*x_3*x_7-c_1*x_11*x_6*x_7+54*c_1*x_12*x_2*x_7+186*c_1*x_12*x_3^2-36*c_1*x_12*x_3*x_6-c_1*x_12*x_5*x_7+c_1*x_12*x_6^2-71*c_1*x_3*x_7^2-36*c_2*x_12*x_3*x_7+3*x_1*x_12*x_3*x_7-3*x_12*x_2^2*x_7+3*x_12*x_2*x_3*x_6-3*x_12*x_3^2*x_5+44*x_12*x_3*x_7
-303*c_1^2*x_12*x_18*x_3+36*c_1^2*x_12*x_18*x_6-36*c_1*c_2*x_12*x_18*x_7+2*c_1*x_1*x_12*x_18*x_7-3*c_1*x_10*x_18*x_3*x_7-c_1*x_11*x_17*x_3*x_7-39*c_1*x_11*x_18*x_3^2+4*c_1*x_11*x_18*x_3*x_6+c_1*x_12*x_16*x_3*x_7+39*c_1*x_12*x_18*x_2*x_3-6*c_1*x_12*x_18*x_2*x_6+2*c_1*x_12*x_18*x_3*x_5-155*c_1*x_12*x_3*x_7^2+14*c_1*x_17*x_3*x_7^2+381*c_1*x_18*x_3^2*x_7-14*c_1*x_18*x_3*x_6*x_7+4*c_2*x_12*x_18*x_2*x_7+77*c_1*x_12*x_18*x_7-11*x_12*x_18*x_2*x_7
6*c_1^2*x_1*x_7-6*c_1*c_2*x_2*x_7-c_1*x_1*x_2*x_7+c_1*x_1*x_3*x_6-c_1*x_3^2*x_4+6*c_2^2*x_3*x_7-c_2*x_1*x_3*x_7+c_2*x_2^2*x_7-c_2*x_2*x_3*x_6+c_2*x_3^2*x_5-36*c_1^2*x_7+18*c_1*x_2*x_7+24*c_1*x_3^2-6*c_1*x_3*x_6-18*c_2*x_3*x_7+2*x_1*x_3*x_7-2*x_2^2*x_7+2*x_2*x_3*x_6-2*x_3^2*x_5+12*x_3*x_7
4*c_1^2*x_1*x_12*x_18*x_7-4*c_1*c_2*x_12*x_18*x_2*x_7+4*c_2^2*x_12*x_18*x_3*x_7-452*c_1^2*x_12*x_18*x_7+c_1*x_10*x_12*x_18*x_3+4*c_1*x_10*x_18*x_7^2-c_1*x_11^2*x_18*x_3+c_1*x_11*x_12*x_17*x_3+70*c_1*x_11*x_18*x_3*x_7-4*c_1*x_11*x_18*x_6*x_7-c_1*x_12^2*x_16*x_3+155*c_1*x_12^2*x_3*x_7-14*c_1*x_12*x_17*x_3*x_7+140*c_1*x_12*x_18*x_2*x_7+762*c_1*x_12*x_18*x_3^2-140*c_1*x_12*x_18*x_3*x_6-4*c_1*x_12*x_18*x_5*x_7+4*c_1*x_12*x_18*x_6^2-564*c_1*x_18*x_3*x_7^2-70*c_2*x_12*x_18*x_3*x_7+6*x_1*x_12*x_18*x_3*x_7-6*x_12*x_18*x_2^2*x_7+6*x_12*x_18*x_2*x_3*x_6-6*x_12*x_18*x_3^2*x_5+99*x_12*x_18*x_3*x_7
21*c_1^2*x_1*x_12*x_7-21*c_1*c_2*x_12*x_2*x_7-3*c_1*x_1*x_12*x_2*x_7+3*c_1*x_1*x_12*x_3*x_6-3*c_1*x_12*x_3^2*x_4+21*c_2^2*x_12*x_3*x_7-3*c_2*x_1*x_12*x_3*x_7+3*c_2*x_12*x_2^2*x_7-3*c_2*x_12*x_2*x_3*x_6+3*c_2*x_12*x_3^2*x_5-306*c_1^2*x_12*x_7+5*c_1*x_10*x_7^2+26*c_1*x_11*x_3*x_7-5*c_1*x_11*x_6*x_7+156*c_1*x_12*x_2*x_7+384*c_1*x_12*x_3^2-104*c_1*x_12*x_3*x_6-5*c_1*x_12*x_5*x_7+5*c_1*x_12*x_6^2-154*c_1*x_3*x_7^2-104*c_2*x_12*x_3*x_7+18*x_1*x_12*x_3*x_7-x_10*x_2*x_7^2+x_11*x_2*x_6*x_7-x_11*x_3*x_5*x_7-18*x_12*x_2^2*x_7+18*x_12*x_2*x_3*x_6+x_12*x_2*x_5*x_7-x_12*x_2*x_6^2-18*x_12*x_3^2*x_5-x_12*x_3*x_4*x_7+x_12*x_3*x_5*x_6+x_3*x_7^2*x_9+76*x_12*x_3*x_7
-3*c_1^2*x_1*x_12*x_18*x_6+3*c_1^2*x_12*x_18*x_3*x_4+3*c_1*c_2*x_1*x_12*x_18*x_7+3*c_1*c_2*x_12*x_18*x_2*x_6-3*c_1*c_2*x_12*x_18*x_3*x_5-3*c_2^2*x_12*x_18*x_2*x_7-942*c_1^2*x_12*x_18*x_3+159*c_1^2*x_12*x_18*x_6-159*c_1*c_2*x_12*x_18*x_7+18*c_1*x_1*x_12*x_18*x_7-c_1*x_10*x_17*x_7^2-27*c_1*x_10*x_18*x_3*x_7+c_1*x_10*x_18*x_6*x_7-9*c_1*x_11*x_17*x_3*x_7+c_1*x_11*x_17*x_6*x_7-186*c_1*x_11*x_18*x_3^2+36*c_1*x_11*x_18*x_3*x_6-c_1*x_11*x_18*x_6^2+c_1*x_12*x_15*x_7^2+9*c_1*x_12*x_16*x_3*x_7-c_1*x_12*x_16*x_6*x_7+186*c_1*x_12*x_18*x_2*x_3-54*c_1*x_12*x_18*x_2*x_6+18*c_1*x_12*x_18*x_3*x_5-c_1*x_12*x_18*x_4*x_7+c_1*x_12*x_18*x_5*x_6-580*c_1*x_12*x_3*x_7^2+71*c_1*x_17*x_3*x_7^2+1314*c_1*x_18*x_3^2*x_7-71*c_1*x_18*x_3*x_6*x_7+36*c_2*x_12*x_18*x_2*x_7-3*x_1*x_12*x_18*x_2*x_7+3*x_10*x_18*x_2*x_3*x_7-3*x_11*x_18*x_2*x_3*x_6+3*x_11*x_18*x_3^2*x_5+3*x_12*x_18*x_2^2*x_6-3*x_12*x_18*x_2*x_3*x_5-3*x_18*x_3^2*x_7*x_9+208*c_1*x_12*x_18*x_7-44*x_12*x_18*x_2*x_7
48*c_1^2*x_1*x_12*x_18*x_7-48*c_1*c_2*x_12*x_18*x_2*x_7-6*c_1*x_1*x_12*x_18*x_2*x_7+6*c_1*x_1*x_12*x_18*x_3*x_6-6*c_1*x_12*x_18*x_3^2*x_4+48*c_2^2*x_12*x_18*x_3*x_7-6*c_2*x_1*x_12*x_18*x_3*x_7+6*c_2*x_12*x_18*x_2^2*x_7-6*c_2*x_12*x_18*x_2*x_3*x_6+6*c_2*x_12*x_18*x_3^2*x_5-1468*c_1^2*x_12*x_18*x_7-c_1*x_10*x_11*x_18*x_7+c_1*x_10*x_12*x_17*x_7+9*c_1*x_10*x_12*x_18*x_3-c_1*x_10*x_12*x_18*x_6+40*c_1*x_10*x_18*x_7^2-9*c_1*x_11^2*x_18*x_3+c_1*x_11^2*x_18*x_6+9*c_1*x_11*x_12*x_17*x_3-c_1*x_11*x_12*x_17*x_6+355*c_1*x_11*x_18*x_3*x_7-40*c_1*x_11*x_18*x_6*x_7-c_1*x_12^2*x_15*x_7-9*c_1*x_12^2*x_16*x_3+c_1*x_12^2*x_16*x_6+580*c_1*x_12^2*x_3*x_7-71*c_1*x_12*x_17*x_3*x_7+710*c_1*x_12*x_18*x_2*x_7+2628*c_1*x_12*x_18*x_3^2-710*c_1*x_12*x_18*x_3*x_6-40*c_1*x_12*x_18*x_5*x_7+40*c_1*x_12*x_18*x_6^2+c_1*x_12*x_18*x_7*x_9-2036*c_1*x_18*x_3*x_7^2-355*c_2*x_12*x_18*x_3*x_7+66*x_1*x_12*x_18*x_3*x_7-4*x_10*x_18*x_2*x_7^2+4*x_11*x_18*x_2*x_6*x_7-4*x_11*x_18*x_3*x_5*x_7-66*x_12*x_18*x_2^2*x_7+66*x_12*x_18*x_2*x_3*x_6+4*x_12*x_18*x_2*x_5*x_7-4*x_12*x_18*x_2*x_6^2-66*x_12*x_18*x_3^2*x_5-4*x_12*x_18*x_3*x_4*x_7+4*x_12*x_18*x_3*x_5*x_6+4*x_18*x_3*x_7^2*x_9+296*x_12*x_18*x_3*x_7
36*c_1^2*x_1*x_12*x_7-36*c_1*c_2*x_12*x_2*x_7-c_1*x_1*x_10*x_7^2+c_1*x_1*x_11*x_6*x_7-12*c_1*x_1*x_12*x_2*x_7+12*c_1*x_1*x_12*x_3*x_6+c_1*x_1*x_12*x_5*x_7-c_1*x_1*x_12*x_6^2-c_1*x_11*x_3*x_4*x_7-12*c_1*x_12*x_3^2*x_4+c_1*x_12*x_3*x_4*x_6+c_1*x_3*x_7^2*x_8+36*c_2^2*x_12*x_3*x_7-12*c_2*x_1*x_12*x_3*x_7+c_2*x_10*x_2*x_7^2-c_2*x_11*x_2*x_6*x_7+c_2*x_11*x_3*x_5*x_7+12*c_2*x_12*x_2^2*x_7-12*c_2*x_12*x_2*x_3*x_6-c_2*x_12*x_2*x_5*x_7+c_2*x_12*x_2*x_6^2+12*c_2*x_12*x_3^2*x_5+c_2*x_12*x_3*x_4*x_7-c_2*x_12*x_3*x_5*x_6-c_2*x_3*x_7^2*x_9-216*c_1^2*x_12*x_7+6*c_1*x_10*x_7^2+24*c_1*x_11*x_3*x_7-6*c_1*x_11*x_6*x_7+144*c_1*x_12*x_2*x_7+288*c_1*x_12*x_3^2-96*c_1*x_12*x_3*x_6-6*c_1*x_12*x_5*x_7+6*c_1*x_12*x_6^2-120*c_1*x_3*x_7^2-96*c_2*x_12*x_3*x_7+24*x_1*x_12*x_3*x_7-2*x_10*x_2*x_7^2+2*x_11*x_2*x_6*x_7-2*x_11*x_3*x_5*x_7-24*x_12*x_2^2*x_7+24*x_12*x_2*x_3*x_6+2*x_12*x_2*x_5*x_7-2*x_12*x_2*x_6^2-24*x_12*x_3^2*x_5-2*x_12*x_3*x_4*x_7+2*x_12*x_3*x_5*x_6+2*x_3*x_7^2*x_9+48*x_12*x_3*x_7
-21*c_1^2*x_1*x_12*x_18*x_6+21*c_1^2*x_12*x_18*x_3*x_4+21*c_1*c_2*x_1*x_12*x_18*x_7+21*c_1*c_2*x_12*x_18*x_2*x_6-21*c_1*c_2*x_12*x_18*x_3*x_5-3*c_1*x_1^2*x_12*x_18*x_7+3*c_1*x_1*x_10*x_18*x_3*x_7-3*c_1*x_1*x_11*x_18*x_3*x_6+3*c_1*x_1*x_12*x_18*x_2*x_6+3*c_1*x_11*x_18*x_3^2*x_4-3*c_1*x_12*x_18*x_2*x_3*x_4-3*c_1*x_18*x_3^2*x_7*x_8-21*c_2^2*x_12*x_18*x_2*x_7+3*c_2*x_1*x_12*x_18*x_2*x_7-3*c_2*x_10*x_18*x_2*x_3*x_7+3*c_2*x_11*x_18*x_2*x_3*x_6-3*c_2*x_11*x_18*x_3^2*x_5-3*c_2*x_12*x_18*x_2^2*x_6+3*c_2*x_12*x_18*x_2*x_3*x_5+3*c_2*x_18*x_3^2*x_7*x_9-1440*c_1^2*x_12*x_18*x_3+306*c_1^2*x_12*x_18*x_6-306*c_1*c_2*x_12*x_18*x_7+52*c_1*x_1*x_12*x_18*x_7-5*c_1*x_10*x_17*x_7^2-78*c_1*x_10*x_18*x_3*x_7+5*c_1*x_10*x_18*x_6*x_7-26*c_1*x_11*x_17*x_3*x_7+5*c_1*x_11*x_17*x_6*x_7-384*c_1*x_11*x_18*x_3^2+104*c_1*x_11*x_18*x_3*x_6-5*c_1*x_11*x_18*x_6^2+5*c_1*x_12*x_15*x_7^2+26*c_1*x_12*x_16*x_3*x_7-5*c_1*x_12*x_16*x_6*x_7+384*c_1*x_12*x_18*x_2*x_3-156*c_1*x_12*x_18*x_2*x_6+52*c_1*x_12*x_18*x_3*x_5-5*c_1*x_12*x_18*x_4*x_7+5*c_1*x_12*x_18*x_5*x_6-1044*c_1*x_12*x_3*x_7^2+154*c_1*x_17*x_3*x_7^2+2208*c_1*x_18*x_3^2*x_7-154*c_1*x_18*x_3*x_6*x_7+104*c_2*x_12*x_18*x_2*x_7-18*x_1*x_12*x_18*x_2*x_7+x_10*x_17*x_2*x_7^2+18*x_10*x_18*x_2*x_3*x_7-x_10*x_18*x_2*x_6*x_7-x_11*x_17*x_2*x_6*x_7+x_11*x_17*x_3*x_5*x_7-18*x_11*x_18*x_2*x_3*x_6+x_11*x_18*x_2*x_6^2+18*x_11*x_18*x_3^2*x_5-x_11*x_18*x_3*x_5*x_6+x_12*x_14*x_3*x_7^2-x_12*x_15*x_2*x_7^2+x_12*x_16*x_2*x_6*x_7-x_12*x_16*x_3*x_5*x_7+18*x_12*x_18*x_2^2*x_6-18*x_12*x_18*x_2*x_3*x_5+x_12*x_18*x_2*x_4*x_7-x_12*x_18*x_2*x_5*x_6+x_12*x_18*x_3*x_5^2-x_17*x_3*x_7^2*x_9-18*x_18*x_3^2*x_7*x_9+x_18*x_3*x_6*x_7*x_9+276*c_1*x_12*x_18*x_7-76*x_12*x_18*x_2*x_7
188*c_1^2*x_1*x_12*x_18*x_7-188*c_1*c_2*x_12*x_18*x_2*x_7-4*c_1*x_1*x_10*x_18*x_7^2+4*c_1*x_1*x_11*x_18*x_6*x_7-54*c_1*x_1*x_12*x_18*x_2*x_7+54*c_1*x_1*x_12*x_18*x_3*x_6+4*c_1*x_1*x_12*x_18*x_5*x_7-4*c_1*x_1*x_12*x_18*x_6^2-4*c_1*x_11*x_18*x_3*x_4*x_7-54*c_1*x_12*x_18*x_3^2*x_4+4*c_1*x_12*x_18*x_3*x_4*x_6+4*c_1*x_18*x_3*x_7^2*x_8+188*c_2^2*x_12*x_18*x_3*x_7-54*c_2*x_1*x_12*x_18*x_3*x_7+4*c_2*x_10*x_18*x_2*x_7^2-4*c_2*x_11*x_18*x_2*x_6*x_7+4*c_2*x_11*x_18*x_3*x_5*x_7+54*c_2*x_12*x_18*x_2^2*x_7-54*c_2*x_12*x_18*x_2*x_3*x_6-4*c_2*x_12*x_18*x_2*x_5*x_7+4*c_2*x_12*x_18*x_2*x_6^2+54*c_2*x_12*x_18*x_3^2*x_5+4*c_2*x_12*x_18*x_3*x_4*x_7-4*c_2*x_12*x_18*x_3*x_5*x_6-4*c_2*x_18*x_3*x_7^2*x_9-2328*c_1^2*x_12*x_18*x_7-5*c_1*x_10*x_11*x_18*x_7+5*c_1*x_10*x_12*x_17*x_7+26*c_1*x_10*x_12*x_18*x_3-5*c_1*x_10*x_12*x_18*x_6+124*c_1*x_10*x_18*x_7^2-26*c_1*x_11^2*x_18*x_3+5*c_1*x_11^2*x_18*x_6+26*c_1*x_11*x_12*x_17*x_3-5*c_1*x_11*x_12*x_17*x_6+770*c_1*x_11*x_18*x_3*x_7-124*c_1*x_11*x_18*x_6*x_7-5*c_1*x_12^2*x_15*x_7-26*c_1*x_12^2*x_16*x_3+5*c_1*x_12^2*x_16*x_6+1044*c_1*x_12^2*x_3*x_7-154*c_1*x_12*x_17*x_3*x_7+1540*c_1*x_12*x_18*x_2*x_7+4416*c_1*x_12*x_18*x_3^2-1540*c_1*x_12*x_18*x_3*x_6-124*c_1*x_12*x_18*x_5*x_7+124*c_1*x_12*x_18*x_6^2+5*c_1*x_12*x_18*x_7*x_9-3560*c_1*x_18*x_3*x_7^2-770*c_2*x_12*x_18*x_3*x_7+228*x_1*x_12*x_18*x_3*x_7+x_10*x_11*x_18*x_2*x_7-x_10*x_12*x_17*x_2*x_7+x_10*x_12*x_18*x_2*x_6-x_10*x_12*x_18*x_3*x_5-28*x_10*x_18*x_2*x_7^2-x_11^2*x_18*x_2*x_6+x_11^2*x_18*x_3*x_5+x_11*x_12*x_17*x_2*x_6-x_11*x_12*x_17*x_3*x_5+28*x_11*x_18*x_2*x_6*x_7-28*x_11*x_18*x_3*x_5*x_7-x_11*x_18*x_3*x_7*x_9-x_12^2*x_14*x_3*x_7+x_12^2*x_15*x_2*x_7-x_12^2*x_16*x_2*x_6+x_12^2*x_16*x_3*x_5+x_12*x_17*x_3*x_7*x_9-228*x_12*x_18*x_2^2*x_7+228*x_12*x_18*x_2*x_3*x_6+28*x_12*x_18*x_2*x_5*x_7-28*x_12*x_18*x_2*x_6^2-x_12*x_18*x_2*x_7*x_9-228*x_12*x_18*x_3^2*x_5-28*x_12*x_18*x_3*x_4*x_7+28*x_12*x_18*x_3*x_5*x_6+x_12*x_18*x_3*x_7*x_8+28*x_18*x_3*x_7^2*x_9+428*x_12*x_18*x_3*x_7
-36*c_1^2*x_1*x_12*x_18*x_6+36*c_1^2*x_12*x_18*x_3*x_4+36*c_1*c_2*x_1*x_12*x_18*x_7+36*c_1*c_2*x_12*x_18*x_2*x_6-36*c_1*c_2*x_12*x_18*x_3*x_5-12*c_1*x_1^2*x_12*x_18*x_7+c_1*x_1*x_10*x_17*x_7^2+12*c_1*x_1*x_10*x_18*x_3*x_7-c_1*x_1*x_10*x_18*x_6*x_7-c_1*x_1*x_11*x_17*x_6*x_7-12*c_1*x_1*x_11*x_18*x_3*x_6+c_1*x_1*x_11*x_18*x_6^2-c_1*x_1*x_12*x_15*x_7^2+c_1*x_1*x_12*x_16*x_6*x_7+12*c_1*x_1*x_12*x_18*x_2*x_6+c_1*x_1*x_12*x_18*x_4*x_7-c_1*x_1*x_12*x_18*x_5*x_6+c_1*x_11*x_17*x_3*x_4*x_7+12*c_1*x_11*x_18*x_3^2*x_4-c_1*x_11*x_18*x_3*x_4*x_6+c_1*x_12*x_13*x_3*x_7^2-c_1*x_12*x_16*x_3*x_4*x_7-12*c_1*x_12*x_18*x_2*x_3*x_4+c_1*x_12*x_18*x_3*x_4*x_5-c_1*x_17*x_3*x_7^2*x_8-12*c_1*x_18*x_3^2*x_7*x_8+c_1*x_18*x_3*x_6*x_7*x_8-36*c_2^2*x_12*x_18*x_2*x_7+12*c_2*x_1*x_12*x_18*x_2*x_7-c_2*x_10*x_17*x_2*x_7^2-12*c_2*x_10*x_18*x_2*x_3*x_7+c_2*x_10*x_18*x_2*x_6*x_7+c_2*x_11*x_17*x_2*x_6*x_7-c_2*x_11*x_17*x_3*x_5*x_7+12*c_2*x_11*x_18*x_2*x_3*x_6-c_2*x_11*x_18*x_2*x_6^2-12*c_2*x_11*x_18*x_3^2*x_5+c_2*x_11*x_18*x_3*x_5*x_6-c_2*x_12*x_14*x_3*x_7^2+c_2*x_12*x_15*x_2*x_7^2-c_2*x_12*x_16*x_2*x_6*x_7+c_2*x_12*x_16*x_3*x_5*x_7-12*c_2*x_12*x_18*x_2^2*x_6+12*c_2*x_12*x_18*x_2*x_3*x_5-c_2*x_12*x_18*x_2*x_4*x_7+c_2*x_12*x_18*x_2*x_5*x_6-c_2*x_12*x_18*x_3*x_5^2+c_2*x_17*x_3*x_7^2*x_9+12*c_2*x_18*x_3^2*x_7*x_9-c_2*x_18*x_3*x_6*x_7*x_9-864*c_1^2*x_12*x_18*x_3+216*c_1^2*x_12*x_18*x_6-216*c_1*c_2*x_12*x_18*x_7+48*c_1*x_1*x_12*x_18*x_7-6*c_1*x_10*x_17*x_7^2-72*c_1*x_10*x_18*x_3*x_7+6*c_1*x_10*x_18*x_6*x_7-24*c_1*x_11*x_17*x_3*x_7+6*c_1*x_11*x_17*x_6*x_7-288*c_1*x_11*x_18*x_3^2+96*c_1*x_11*x_18*x_3*x_6-6*c_1*x_11*x_18*x_6^2+6*c_1*x_12*x_15*x_7^2+24*c_1*x_12*x_16*x_3*x_7-6*c_1*x_12*x_16*x_6*x_7+288*c_1*x_12*x_18*x_2*x_3-144*c_1*x_12*x_18*x_2*x_6+48*c_1*x_12*x_18*x_3*x_5-6*c_1*x_12*x_18*x_4*x_7+6*c_1*x_12*x_18*x_5*x_6-720*c_1*x_12*x_3*x_7^2+120*c_1*x_17*x_3*x_7^2+1440*c_1*x_18*x_3^2*x_7-120*c_1*x_18*x_3*x_6*x_7+96*c_2*x_12*x_18*x_2*x_7-24*x_1*x_12*x_18*x_2*x_7+2*x_10*x_17*x_2*x_7^2+24*x_10*x_18*x_2*x_3*x_7-2*x_10*x_18*x_2*x_6*x_7-2*x_11*x_17*x_2*x_6*x_7+2*x_11*x_17*x_3*x_5*x_7-24*x_11*x_18*x_2*x_3*x_6+2*x_11*x_18*x_2*x_6^2+24*x_11*x_18*x_3^2*x_5-2*x_11*x_18*x_3*x_5*x_6+2*x_12*x_14*x_3*x_7^2-2*x_12*x_15*x_2*x_7^2+2*x_12*x_16*x_2*x_6*x_7-2*x_12*x_16*x_3*x_5*x_7+24*x_12*x_18*x_2^2*x_6-24*x_12*x_18*x_2*x_3*x_5+2*x_12*x_18*x_2*x_4*x_7-2*x_12*x_18*x_2*x_5*x_6+2*x_12*x_18*x_3*x_5^2-2*x_17*x_3*x_7^2*x_9-24*x_18*x_3^2*x_7*x_9+2*x_18*x_3*x_6*x_7*x_9+144*c_1*x_12*x_18*x_7-48*x_12*x_18*x_2*x_7
240*c_1^2*x_1*x_12*x_18*x_7-240*c_1*c_2*x_12*x_18*x_2*x_7+c_1*x_1*x_10*x_11*x_18*x_7-c_1*x_1*x_10*x_12*x_17*x_7+c_1*x_1*x_10*x_12*x_18*x_6-20*c_1*x_1*x_10*x_18*x_7^2-c_1*x_1*x_11^2*x_18*x_6+c_1*x_1*x_11*x_12*x_17*x_6+20*c_1*x_1*x_11*x_18*x_6*x_7+c_1*x_1*x_12^2*x_15*x_7-c_1*x_1*x_12^2*x_16*x_6-120*c_1*x_1*x_12*x_18*x_2*x_7+120*c_1*x_1*x_12*x_18*x_3*x_6+20*c_1*x_1*x_12*x_18*x_5*x_7-20*c_1*x_1*x_12*x_18*x_6^2-c_1*x_1*x_12*x_18*x_7*x_9-c_1*x_10*x_12*x_18*x_3*x_4+c_1*x_11^2*x_18*x_3*x_4-c_1*x_11*x_12*x_17*x_3*x_4-20*c_1*x_11*x_18*x_3*x_4*x_7-c_1*x_11*x_18*x_3*x_7*x_8-c_1*x_12^2*x_13*x_3*x_7+c_1*x_12^2*x_16*x_3*x_4+c_1*x_12*x_17*x_3*x_7*x_8-120*c_1*x_12*x_18*x_3^2*x_4+20*c_1*x_12*x_18*x_3*x_4*x_6+20*c_1*x_18*x_3*x_7^2*x_8+240*c_2^2*x_12*x_18*x_3*x_7-120*c_2*x_1*x_12*x_18*x_3*x_7-c_2*x_10*x_11*x_18*x_2*x_7+c_2*x_10*x_12*x_17*x_2*x_7-c_2*x_10*x_12*x_18*x_2*x_6+c_2*x_10*x_12*x_18*x_3*x_5+20*c_2*x_10*x_18*x_2*x_7^2+c_2*x_11^2*x_18*x_2*x_6-c_2*x_11^2*x_18*x_3*x_5-c_2*x_11*x_12*x_17*x_2*x_6+c_2*x_11*x_12*x_17*x_3*x_5-20*c_2*x_11*x_18*x_2*x_6*x_7+20*c_2*x_11*x_18*x_3*x_5*x_7+c_2*x_11*x_18*x_3*x_7*x_9+c_2*x_12^2*x_14*x_3*x_7-c_2*x_12^2*x_15*x_2*x_7+c_2*x_12^2*x_16*x_2*x_6-c_2*x_12^2*x_16*x_3*x_5-c_2*x_12*x_17*x_3*x_7*x_9+120*c_2*x_12*x_18*x_2^2*x_7-120*c_2*x_12*x_18*x_2*x_3*x_6-20*c_2*x_12*x_18*x_2*x_5*x_7+20*c_2*x_12*x_18*x_2*x_6^2+c_2*x_12*x_18*x_2*x_7*x_9+120*c_2*x_12*x_18*x_3^2*x_5+20*c_2*x_12*x_18*x_3*x_4*x_7-20*c_2*x_12*x_18*x_3*x_5*x_6-c_2*x_12*x_18*x_3*x_7*x_8-20*c_2*x_18*x_3*x_7^2*x_9-1440*c_1^2*x_12*x_18*x_7-6*c_1*x_10*x_11*x_18*x_7+6*c_1*x_10*x_12*x_17*x_7+24*c_1*x_10*x_12*x_18*x_3-6*c_1*x_10*x_12*x_18*x_6+120*c_1*x_10*x_18*x_7^2-24*c_1*x_11^2*x_18*x_3+6*c_1*x_11^2*x_18*x_6+24*c_1*x_11*x_12*x_17*x_3-6*c_1*x_11*x_12*x_17*x_6+600*c_1*x_11*x_18*x_3*x_7-120*c_1*x_11*x_18*x_6*x_7-6*c_1*x_12^2*x_15*x_7-24*c_1*x_12^2*x_16*x_3+6*c_1*x_12^2*x_16*x_6+720*c_1*x_12^2*x_3*x_7-120*c_1*x_12*x_17*x_3*x_7+1200*c_1*x_12*x_18*x_2*x_7+2880*c_1*x_12*x_18*x_3^2-1200*c_1*x_12*x_18*x_3*x_6-120*c_1*x_12*x_18*x_5*x_7+120*c_1*x_12*x_18*x_6^2+6*c_1*x_12*x_18*x_7*x_9-2400*c_1*x_18*x_3*x_7^2-600*c_2*x_12*x_18*x_3*x_7+240*x_1*x_12*x_18*x_3*x_7+2*x_10*x_11*x_18*x_2*x_7-2*x_10*x_12*x_17*x_2*x_7+2*x_10*x_12*x_18*x_2*x_6-2*x_10*x_12*x_18*x_3*x_5-40*x_10*x_18*x_2*x_7^2-2*x_11^2*x_18*x_2*x_6+2*x_11^2*x_18*x_3*x_5+2*x_11*x_12*x_17*x_2*x_6-2*x_11*x_12*x_17*x_3*x_5+40*x_11*x_18*x_2*x_6*x_7-40*x_11*x_18*x_3*x_5*x_7-2*x_11*x_18*x_3*x_7*x_9-2*x_12^2*x_14*x_3*x_7+2*x_12^2*x_15*x_2*x_7-2*x_12^2*x_16*x_2*x_6+2*x_12^2*x_16*x_3*x_5+2*x_12*x_17*x_3*x_7*x_9-240*x_12*x_18*x_2^2*x_7+240*x_12*x_18*x_2*x_3*x_6+40*x_12*x_18*x_2*x_5*x_7-40*x_12*x_18*x_2*x_6^2-2*x_12*x_18*x_2*x_7*x_9-240*x_12*x_18*x_3^2*x_5-40*x_12*x_18*x_3*x_4*x_7+40*x_12*x_18*x_3*x_5*x_6+2*x_12*x_18*x_3*x_7*x_8+40*x_18*x_3*x_7^2*x_9+240*x_12*x_18*x_3*x_7
