Ticket #456: test.sing

ring R = (2),(a_4_8,a_4_9,a_4_10,a_4_11,a_6_8,a_6_9,a_6_10,a_6_11,a_6_12,a_6_13,a_6_14,a_6_15,c_8_16,c_8_17,a_1_0,a_1_1,a_1_2,a_1_3,a_9_15,a_9_16,a_9_17,a_9_18,a_9_19,a_9_20,a_11_28,a_11_29),(M(4,4,4,4,6,6,6,6,6,6,6,6,8,8,1,1,1,1,9,9,9,9,9,9,11,11,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0),C);
ideal Rels = a_1_2^2+a_1_1*a_1_2+a_1_1^2+a_1_0*a_1_3+a_1_0*a_1_2,a_1_3^2+a_1_2^2+a_1_1*a_1_3+a_1_1^2+a_1_0*a_1_2+a_1_0*a_1_1+a_1_0^2,a_1_1^2*a_1_2+a_1_1^3+a_1_0*a_1_1*a_1_3+a_1_0^2*a_1_1+a_1_0^3,a_1_1^3+a_1_0*a_1_1*a_1_2+a_1_0*a_1_1^2+a_1_0^2*a_1_3+a_1_0^2*a_1_1+a_1_0^3,a_1_0^3*a_1_1^2+a_1_0^4*a_1_1,a_1_0^3*a_1_1*a_1_2+a_1_0^3*a_1_1^2+a_1_0^4*a_1_3,a_4_9*a_1_0+a_4_8*a_1_1+a_1_0^3*a_1_1^2+a_1_0^4*a_1_2,a_4_10*a_1_1+a_4_8*a_1_3+a_4_8*a_1_0+a_1_0^3*a_1_2*a_1_3+a_1_0^3*a_1_1^2+a_1_0^4*a_1_2+a_1_0^5,a_4_10*a_1_0+a_4_9*a_1_1+a_4_8*a_1_2+a_4_8*a_1_1+a_4_8*a_1_0+a_1_0^3*a_1_1*a_1_3+a_1_0^3*a_1_1^2+a_1_0^5,a_4_10*a_1_3+a_4_9*a_1_2+a_4_9*a_1_1+a_4_8*a_1_2+a_1_0^3*a_1_1*a_1_3+a_1_0^3*a_1_1^2+a_1_0^4*a_1_2+a_1_0^5,a_4_10*a_1_2+a_4_9*a_1_3+a_4_9*a_1_2+a_1_0^3*a_1_2*a_1_3+a_1_0^3*a_1_1*a_1_3+a_1_0^3*a_1_1*a_1_2,a_4_11*a_1_1+a_4_9*a_1_3+a_4_8*a_1_0+a_1_0^3*a_1_2*a_1_3+a_1_0^3*a_1_1*a_1_3+a_1_0^3*a_1_1^2+a_1_0^5,a_4_11*a_1_0+a_4_9*a_1_2+a_4_9*a_1_1+a_4_8*a_1_0+a_1_0^3*a_1_1^2+a_1_0^4*a_1_2+a_1_0^5,a_4_11*a_1_3+a_4_9*a_1_3+a_4_8*a_1_2+a_4_8*a_1_0+a_1_0^3*a_1_1*a_1_3+a_1_0^3*a_1_1*a_1_2+a_1_0^3*a_1_1^2+a_1_0^4*a_1_2+a_1_0^5,a_4_11*a_1_2+a_4_9*a_1_3+a_4_9*a_1_1+a_4_8*a_1_3+a_4_8*a_1_2+a_4_8*a_1_1+a_4_8*a_1_0+a_1_0^3*a_1_2*a_1_3+a_1_0^4*a_1_2+a_1_0^5,a_6_9*a_1_0+a_6_8*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_3+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^2*a_1_1+a_4_8*a_1_0^3,a_6_10*a_1_1+a_6_9*a_1_1+a_6_8*a_1_3+a_6_8*a_1_0+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_3+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^2*a_1_1+a_4_8*a_1_0^3,a_6_10*a_1_0+a_6_9*a_1_1+a_6_8*a_1_2+a_6_8*a_1_1+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_3+a_4_8*a_1_0^3,a_6_11*a_1_1+a_6_10*a_1_2+a_6_9*a_1_2+a_6_8*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^3,a_6_11*a_1_0+a_6_9*a_1_2+a_6_9*a_1_1+a_6_8*a_1_1+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0^2*a_1_3,a_6_11*a_1_2+a_6_9*a_1_3+a_6_9*a_1_2+a_6_8*a_1_3+a_6_8*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_3,a_6_12*a_1_1+a_6_9*a_1_3+a_6_9*a_1_1+a_6_8*a_1_1+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^2*a_1_1,a_6_12*a_1_0+a_6_9*a_1_2+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^2*a_1_1,a_6_13*a_1_1+a_6_9*a_1_3+a_6_9*a_1_1+a_6_8*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0^3,a_6_13*a_1_0+a_6_10*a_1_2+a_6_9*a_1_3+a_6_8*a_1_2+a_6_8*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0^2*a_1_1+a_4_8*a_1_0^3,a_6_13*a_1_3+a_6_12*a_1_2+a_6_9*a_1_2+a_6_9*a_1_1+a_6_8*a_1_3+a_6_8*a_1_1+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0^3,a_6_13*a_1_2+a_6_12*a_1_3+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_10*a_1_2+a_6_9*a_1_3+a_6_9*a_1_2+a_6_9*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2,a_6_14*a_1_1+a_6_12*a_1_3+a_6_11*a_1_3+a_6_9*a_1_3+a_6_8*a_1_3+a_6_8*a_1_0+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_3,a_6_14*a_1_0+a_6_12*a_1_2+a_6_10*a_1_2+a_6_9*a_1_2+a_6_8*a_1_3+a_6_8*a_1_2+a_6_8*a_1_1+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_3+a_4_8*a_1_0^3,a_6_14*a_1_3+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_10*a_1_2+a_6_9*a_1_3+a_6_9*a_1_2+a_6_9*a_1_1+a_6_8*a_1_2+a_6_8*a_1_1+a_6_8*a_1_0+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^3,a_6_14*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_10*a_1_2+a_6_9*a_1_1+a_6_8*a_1_3+a_6_8*a_1_0+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_3+a_4_8*a_1_0^2*a_1_2,a_6_15*a_1_1+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_9*a_1_2+a_6_8*a_1_3+a_6_8*a_1_0+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0*a_1_1^2+a_4_8*a_1_0^2*a_1_1+a_4_8*a_1_0^3,a_6_15*a_1_0+a_6_12*a_1_3+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_9*a_1_1+a_6_8*a_1_3+a_6_8*a_1_1+a_4_8*a_1_0*a_1_2*a_1_3+a_4_8*a_1_0*a_1_1*a_1_3,a_6_15*a_1_3+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_3+a_6_9*a_1_3+a_6_9*a_1_1+a_6_8*a_1_3+a_6_8*a_1_1+a_4_8*a_1_0*a_1_1*a_1_3+a_4_8*a_1_0*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_2+a_4_8*a_1_0^2*a_1_1+a_4_8*a_1_0^3,a_6_15*a_1_2+a_6_12*a_1_2+a_6_11*a_1_3+a_6_10*a_1_2+a_6_9*a_1_2+a_6_8*a_1_3+a_6_8*a_1_2+a_4_8*a_1_0^2*a_1_1,a_4_8^2,a_4_8*a_4_9+a_4_8*a_1_0^2*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_1^2+a_4_8*a_1_0^3*a_1_3+a_4_8*a_1_0^3*a_1_2+a_4_8*a_1_0^3*a_1_1+a_4_8*a_1_0^4,a_4_9^2,a_4_8*a_4_10+a_4_8*a_1_0^2*a_1_1*a_1_3+a_4_8*a_1_0^2*a_1_1*a_1_2,a_4_9*a_4_10+a_4_8*a_1_0^3*a_1_3,a_4_10^2,a_4_8*a_4_11+a_4_8*a_1_0^2*a_1_2*a_1_3+a_4_8*a_1_0^2*a_1_1*a_1_3+a_4_8*a_1_0^2*a_1_1^2+a_4_8*a_1_0^3*a_1_3+a_4_8*a_1_0^3*a_1_2+a_4_8*a_1_0^4,a_4_9*a_4_11+a_4_8*a_1_0^2*a_1_1*a_1_2+a_4_8*a_1_0^2*a_1_1^2+a_4_8*a_1_0^3*a_1_2+a_4_8*a_1_0^4,a_4_10*a_4_11+a_4_8*a_1_0^2*a_1_1*a_1_3+a_4_8*a_1_0^2*a_1_1*a_1_2+a_4_8*a_1_0^3*a_1_3+a_4_8*a_1_0^3*a_1_2+a_4_8*a_1_0^3*a_1_1,a_4_11^2,a_6_8*a_1_0*a_1_1^2+a_6_8*a_1_0^2*a_1_1,a_4_9*a_6_8+a_4_8*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1,a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_10+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_10+a_4_9*a_6_9+a_6_8*a_1_0^3*a_1_3,a_4_11*a_6_8+a_4_10*a_6_10+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4,a_4_11*a_6_8+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_11+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_4_11*a_6_9+a_4_9*a_6_11+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3,a_4_11*a_6_10+a_4_10*a_6_11+a_4_10*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_2,a_4_11*a_6_11+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_1,a_4_11*a_6_8+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_12+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_12+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_2,a_4_11*a_6_10+a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_12+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_1,a_4_11*a_6_12+a_4_11*a_6_10+a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1,a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_13+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_4_11*a_6_9+a_4_11*a_6_8+a_4_9*a_6_13+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2,a_4_11*a_6_8+a_4_10*a_6_13+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^4,a_4_11*a_6_13+a_4_11*a_6_8+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_8,a_4_11*a_6_9+a_4_8*a_6_14+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1,a_4_11*a_6_10+a_4_10*a_6_9+a_4_9*a_6_14+a_4_9*a_6_8,a_4_11*a_6_10+a_4_10*a_6_14+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4,a_4_11*a_6_14+a_4_11*a_6_10+a_4_10*a_6_8+a_4_9*a_6_9+a_6_8*a_1_0^3*a_1_2,a_4_11*a_6_10+a_4_11*a_6_8+a_4_10*a_6_8+a_4_8*a_6_15+a_6_8*a_1_0^3*a_1_1,a_4_11*a_6_10+a_4_11*a_6_8+a_4_9*a_6_15+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^4,a_4_10*a_6_15+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_4_11*a_6_15+a_4_11*a_6_10+a_4_10*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_1_1*a_9_15+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_2+c_8_16*a_1_1*a_1_3,a_1_0*a_9_15+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+c_8_17*a_1_0*a_1_2+c_8_16*a_1_0*a_1_3,a_1_3*a_9_15+a_4_10*a_6_9+a_4_10*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+c_8_17*a_1_2*a_1_3+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_1+c_8_16*a_1_0^2,a_1_2*a_9_15+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_2+c_8_17*a_1_1^2+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_2+c_8_16*a_1_2*a_1_3,a_1_1*a_9_16+a_4_11*a_6_8+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_1_0*a_9_16+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^4,a_1_3*a_9_16+a_4_11*a_6_10+a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4,a_1_2*a_9_16+a_4_11*a_6_9+a_4_10*a_6_9+a_4_10*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4,a_1_1*a_9_17+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+c_8_17*a_1_1*a_1_3+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1^2,a_1_0*a_9_17+a_4_11*a_6_8+a_4_10*a_6_9+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+c_8_17*a_1_0*a_1_3+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_1,a_1_3*a_9_17+a_4_9*a_6_9+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+c_8_17*a_1_1*a_1_3+c_8_17*a_1_1*a_1_2+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_1+c_8_17*a_1_0^2+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_1+c_8_16*a_1_0^2,a_1_2*a_9_17+a_4_11*a_6_10+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^4+c_8_17*a_1_2*a_1_3+c_8_16*a_1_2*a_1_3+c_8_16*a_1_1*a_1_2,a_1_1*a_9_18+a_4_11*a_6_10+a_4_11*a_6_9+a_4_10*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_3+c_8_17*a_1_1^2+c_8_17*a_1_0*a_1_1+c_8_16*a_1_1*a_1_3+c_8_16*a_1_0*a_1_1,a_1_0*a_9_18+a_4_11*a_6_9+a_4_11*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_1+c_8_17*a_1_0^2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0^2,a_1_3*a_9_18+a_4_11*a_6_8+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_2+c_8_17*a_1_0*a_1_1+c_8_17*a_1_0^2+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_1+c_8_16*a_1_0^2,a_1_2*a_9_18+a_4_11*a_6_10+a_4_11*a_6_9+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4+c_8_17*a_1_2*a_1_3+c_8_17*a_1_1*a_1_2+c_8_17*a_1_0*a_1_2+c_8_16*a_1_2*a_1_3+c_8_16*a_1_0*a_1_2,a_1_1*a_9_19+a_4_11*a_6_8+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_3+c_8_17*a_1_1*a_1_2+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1^2,a_1_0*a_9_19+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^4+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_1,a_1_3*a_9_19+a_4_11*a_6_10+a_4_10*a_6_8+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+c_8_17*a_1_2*a_1_3+c_8_17*a_1_1*a_1_3+c_8_17*a_1_1*a_1_2+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_1+c_8_17*a_1_0^2+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_1+c_8_16*a_1_0^2,a_1_2*a_9_19+a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_9+a_4_9*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4+c_8_17*a_1_2*a_1_3+c_8_17*a_1_1*a_1_2+c_8_17*a_1_1^2+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0*a_1_2+c_8_16*a_1_2*a_1_3+c_8_16*a_1_1*a_1_2,a_1_1*a_9_20+a_4_11*a_6_10+a_4_11*a_6_9+a_4_11*a_6_8+a_4_10*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+c_8_17*a_1_1*a_1_3+c_8_17*a_1_0*a_1_1+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_1,a_1_0*a_9_20+a_4_11*a_6_9+a_4_10*a_6_9+a_4_10*a_6_8+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^3*a_1_1+a_6_8*a_1_0^4+c_8_17*a_1_0*a_1_3+c_8_17*a_1_0^2+c_8_16*a_1_0*a_1_3+c_8_16*a_1_0*a_1_2+c_8_16*a_1_0^2,a_1_3*a_9_20+a_4_11*a_6_10+a_4_11*a_6_9+a_4_11*a_6_8+a_4_9*a_6_9+a_4_9*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+a_6_8*a_1_0^4+c_8_17*a_1_1*a_1_3+c_8_17*a_1_1*a_1_2+c_8_17*a_1_0*a_1_1+c_8_17*a_1_0^2+c_8_16*a_1_2*a_1_3+c_8_16*a_1_1*a_1_3+c_8_16*a_1_1*a_1_2+c_8_16*a_1_0*a_1_1+c_8_16*a_1_0^2,a_1_2*a_9_20+a_4_11*a_6_9+a_4_10*a_6_9+a_4_10*a_6_8+a_4_9*a_6_9+a_4_8*a_6_8+a_6_8*a_1_0^3*a_1_3+a_6_8*a_1_0^3*a_1_2+c_8_17*a_1_2*a_1_3+c_8_17*a_1_0*a_1_2+c_8_16*a_1_2*a_1_3+c_8_16*a_1_1*a_1_2+c_8_16*a_1_1^2+c_8_16*a_1_0*a_1_3,a_6_10^2+a_6_9*a_6_10+a_6_8*a_6_11+a_6_8*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1,a_6_11^2+a_6_9*a_6_11+a_6_9^2+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_10^2+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_12+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1,a_6_10^2+a_6_9*a_6_12+a_6_9*a_6_11+a_6_9^2+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_10*a_6_12+a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_11+a_6_9^2+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1,a_6_11*a_6_12+a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0^2,a_6_12^2+a_6_9*a_6_11+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_13+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3,a_6_9*a_6_13+a_6_9*a_6_11+a_6_9*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1,a_6_10*a_6_13+a_6_10^2+a_6_9*a_6_11+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0^2,a_6_11*a_6_13+a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_11+a_6_9^2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0^2,a_6_12*a_6_13+a_6_9*a_6_11+a_6_9*a_6_10+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0^2,a_6_13^2+a_6_10^2+a_6_9*a_6_11+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_10^2+a_6_9*a_6_11+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_14+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_1,a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_14+a_6_9^2+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_10*a_6_14+a_6_10^2+a_6_9*a_6_11+a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_11*a_6_14+a_6_10^2+a_6_8*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0^2,a_6_12*a_6_14+a_6_10*a_6_11+a_6_9*a_6_11+a_6_9*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_2,a_6_13*a_6_14+a_6_9*a_6_11+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1,a_6_14^2+a_6_10^2+a_6_9^2,a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_11+a_6_9*a_6_10+a_6_8*a_6_15+a_6_8*a_6_9+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_9*a_6_15+a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_10*a_6_15+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_9+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0^2,a_6_11*a_6_15+a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_11+a_6_8*a_6_10+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2,a_6_12*a_6_15+a_6_10^2+a_6_9^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0^2,a_6_13*a_6_15+a_6_10*a_6_11+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2,a_6_14*a_6_15+a_6_10*a_6_11+a_6_10^2+a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_15^2+a_6_10^2+a_6_9*a_6_11+a_6_9^2+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2,a_6_9^2+a_6_8^2+c_8_17*a_1_0^2*a_1_1^2+c_8_16*a_1_0^4,a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_17*a_1_0^3*a_1_1+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^4,a_6_8^2+c_8_17*a_1_0^4+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^4,a_6_9*a_6_11+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^3*a_1_1,a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_1+c_8_17*a_1_0^3*a_1_3+c_8_16*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2,a_6_10*a_6_11+a_6_10^2+a_6_9*a_6_11+a_6_9*a_6_10+a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2,a_6_10^2+a_6_9*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0^2+c_8_17*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^3*a_1_1+c_8_16*a_1_0^4,a_6_9^2+a_6_8*a_6_10+a_6_8^2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_17*a_1_0^3*a_1_2+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^3*a_1_2,a_1_1*a_11_28+a_6_9^2+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^3*a_1_1+c_8_16*a_1_0^4,a_1_0*a_11_28+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_3+c_8_16*a_1_0^3*a_1_2,a_1_3*a_11_28+a_6_9*a_6_11+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_1*a_1_3+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_2+c_8_16*a_1_0^2*a_1_1^2,a_1_2*a_11_28+a_6_10^2+a_6_9*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^3*a_1_1,a_1_1*a_11_29+a_6_9^2+a_6_8^2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2,a_1_0*a_11_29+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^4,a_1_3*a_11_29+a_6_9*a_6_11+a_6_8*a_6_10+a_6_8*a_6_9+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_2*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2,a_1_2*a_11_29+a_6_10^2+a_6_9*a_6_10+a_6_8*a_6_9+a_6_8^2+a_4_8*a_6_8*a_1_2*a_1_3+a_4_8*a_6_8*a_1_1*a_1_2+a_4_8*a_6_8*a_1_1^2+a_4_8*a_6_8*a_1_0*a_1_3+a_4_8*a_6_8*a_1_0*a_1_2+a_4_8*a_6_8*a_1_0*a_1_1+a_4_8*a_6_8*a_1_0^2+c_8_16*a_1_0^2*a_1_1*a_1_3+c_8_16*a_1_0^2*a_1_1^2+c_8_16*a_1_0^3*a_1_2+c_8_16*a_1_0^3*a_1_1+c_8_16*a_1_0^4,a_4_8*a_9_15+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_2+a_4_8*c_8_16*a_1_3,a_4_9*a_9_15+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_16*a_1_3,a_4_10*a_9_15+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_16*a_1_2+a_4_9*c_8_16*a_1_1+a_4_8*c_8_16*a_1_2+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^3*a_1_1*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_17*a_1_0^4*a_1_1+c_8_16*a_1_0^3*a_1_1*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1+c_8_16*a_1_0^5,a_4_11*a_9_15+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_3+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_2+a_4_8*c_8_17*a_1_1+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_2+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^5+c_8_16*a_1_0^3*a_1_1*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^5,a_4_8*a_9_16+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^3,a_4_9*a_9_16+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3,a_4_10*a_9_16+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3,a_4_11*a_9_16+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^2*a_1_1,a_4_8*a_9_17+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_3+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_1,a_4_9*a_9_17+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_9*c_8_17*a_1_3+a_4_9*c_8_16*a_1_3+a_4_9*c_8_16*a_1_1,a_4_10*a_9_17+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_2+a_4_9*c_8_16*a_1_1+a_4_8*c_8_17*a_1_2+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_2+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^3*a_1_1*a_1_3+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^4*a_1_1+c_8_17*a_1_0^5+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^3*a_1_1*a_1_3,a_4_11*a_9_17+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_3+a_4_8*c_8_17*a_1_2+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_2+c_8_17*a_1_0^3*a_1_1*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^5+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1,a_4_8*a_9_18+a_4_8*a_6_8*a_1_0^3+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_1+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_0,a_4_9*a_9_18+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_3+a_4_8*c_8_17*a_1_1+a_4_8*c_8_16*a_1_1+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^4*a_1_1+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1,a_4_10*a_9_18+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_16*a_1_2+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_1+a_4_8*c_8_16*a_1_1+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^4*a_1_1+c_8_17*a_1_0^5+c_8_16*a_1_0^4*a_1_2,a_4_11*a_9_18+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_3+a_4_9*c_8_16*a_1_2+a_4_9*c_8_16*a_1_1+a_4_8*c_8_17*a_1_2+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_2+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_17*a_1_0^5+c_8_16*a_1_0^3*a_1_1*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_1,a_4_8*a_9_19+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^2*a_1_1+a_4_8*a_6_8*a_1_0^3+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_2+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_1,a_4_9*a_9_19+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_16*a_1_3+a_4_9*c_8_16*a_1_1,a_4_10*a_9_19+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_2+a_4_9*c_8_16*a_1_1+a_4_8*c_8_17*a_1_2+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_2+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^5+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^3*a_1_1*a_1_3,a_4_11*a_9_19+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_1+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_1+a_4_8*c_8_16*a_1_2+c_8_17*a_1_0^3*a_1_2*a_1_3+c_8_17*a_1_0^3*a_1_1*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1,a_4_8*a_9_20+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^3+a_4_8*c_8_17*a_1_3+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_2+a_4_8*c_8_16*a_1_0,a_4_9*a_9_20+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_9*c_8_17*a_1_3+a_4_9*c_8_16*a_1_3+a_4_9*c_8_16*a_1_2+a_4_8*c_8_17*a_1_1+a_4_8*c_8_16*a_1_1+c_8_17*a_1_0^4*a_1_2+c_8_17*a_1_0^4*a_1_1+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1,a_4_10*a_9_20+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_9*c_8_17*a_1_2+a_4_9*c_8_16*a_1_3+a_4_8*c_8_17*a_1_1+a_4_8*c_8_17*a_1_0+a_4_8*c_8_16*a_1_1+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^4*a_1_2+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^3*a_1_1*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1,a_4_11*a_9_20+a_4_8*a_6_8*a_1_0^2*a_1_3+a_4_8*a_6_8*a_1_0^2*a_1_2+a_4_8*a_6_8*a_1_0^3+a_4_9*c_8_17*a_1_3+a_4_9*c_8_17*a_1_2+a_4_9*c_8_17*a_1_1+a_4_9*c_8_16*a_1_2+a_4_8*c_8_17*a_1_2+a_4_8*c_8_16*a_1_3+a_4_8*c_8_16*a_1_1+a_4_8*c_8_16*a_1_0+c_8_17*a_1_0^3*a_1_1*a_1_3+c_8_17*a_1_0^4*a_1_3+c_8_17*a_1_0^4*a_1_1+c_8_16*a_1_0^3*a_1_2*a_1_3+c_8_16*a_1_0^3*a_1_1*a_1_3+c_8_16*a_1_0^4*a_1_3+c_8_16*a_1_0^4*a_1_2+c_8_16*a_1_0^4*a_1_1+c_8_16*a_1_0^5,a_6_8*a_9_15+a_6_8*c_8_17*a_1_2+a_6_8*c_8_16*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^3,a_6_9*a_9_15+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3,a_6_10*a_9_15+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_11*a_9_15+a_6_11*c_8_16*a_1_3+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_12*a_9_15+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_13*a_9_15+a_6_12*c_8_17*a_1_3+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_2+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_14*a_9_15+a_6_12*c_8_16*a_1_2+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2,a_6_15*a_9_15+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_2+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_2+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_8*a_9_16+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^3,a_6_9*a_9_16+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_10*a_9_16+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2,a_6_11*a_9_16+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2,a_6_12*a_9_16+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_2,a_6_13*a_9_16+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_14*a_9_16+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^3,a_6_15*a_9_16+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_8*a_9_17+a_6_8*c_8_17*a_1_3+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_9*a_9_17+a_6_9*c_8_17*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_10*a_9_17+a_6_10*c_8_17*a_1_3+a_6_10*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_11*a_9_17+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_12*a_9_17+a_6_12*c_8_17*a_1_3+a_6_12*c_8_16*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_13*a_9_17+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_2+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_14*a_9_17+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_6_12*c_8_16*a_1_2+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^3,a_6_15*a_9_17+a_6_12*c_8_17*a_1_2+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_8*a_9_18+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_9*a_9_18+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_10*a_9_18+a_6_10*c_8_17*a_1_3+a_6_10*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_11*a_9_18+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_12*a_9_18+a_6_12*c_8_17*a_1_3+a_6_12*c_8_16*a_1_3+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_2+a_6_8*c_8_17*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_13*a_9_18+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_2+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_14*a_9_18+a_6_12*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_16*a_1_3+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3,a_6_15*a_9_18+a_6_12*c_8_17*a_1_3+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_3+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_8*a_9_19+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_2+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^3,a_6_9*a_9_19+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_10*a_9_19+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_11*a_9_19+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_2+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_12*a_9_19+a_6_12*c_8_17*a_1_3+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_13*a_9_19+a_6_12*c_8_17*a_1_3+a_6_12*c_8_16*a_1_2+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_14*a_9_19+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_6_12*c_8_16*a_1_2+a_6_10*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_15*a_9_19+a_6_10*c_8_17*a_1_3+a_6_10*c_8_17*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_8*a_9_20+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2,a_6_9*a_9_20+a_6_9*c_8_17*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_1+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_10*a_9_20+a_6_10*c_8_17*a_1_3+a_6_10*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_2+a_6_8*c_8_16*a_1_1+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_6_11*a_9_20+a_6_11*c_8_17*a_1_3+a_6_11*c_8_16*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_1+a_6_8*c_8_17*a_1_1+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_6_12*a_9_20+a_6_12*c_8_17*a_1_3+a_6_12*c_8_16*a_1_3+a_6_12*c_8_16*a_1_2+a_6_9*c_8_17*a_1_2+a_6_9*c_8_16*a_1_2+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^3,a_6_13*a_9_20+a_6_12*c_8_17*a_1_2+a_6_12*c_8_16*a_1_3+a_6_11*c_8_16*a_1_3+a_6_10*c_8_17*a_1_2+a_6_10*c_8_16*a_1_3+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_2+a_6_9*c_8_17*a_1_1+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_2+a_6_8*c_8_17*a_1_0+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_4_8*c_8_17*a_1_0*a_1_2*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_14*a_9_20+a_6_11*c_8_17*a_1_3+a_6_10*c_8_17*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_17*a_1_1+a_6_9*c_8_16*a_1_3+a_6_8*c_8_17*a_1_3+a_6_8*c_8_17*a_1_0+a_4_8*c_8_17*a_1_0*a_1_1*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_6_15*a_9_20+a_6_12*c_8_17*a_1_3+a_6_12*c_8_16*a_1_3+a_6_12*c_8_16*a_1_2+a_6_11*c_8_16*a_1_3+a_6_10*c_8_16*a_1_2+a_6_9*c_8_17*a_1_3+a_6_9*c_8_16*a_1_3+a_6_9*c_8_16*a_1_2+a_6_8*c_8_16*a_1_3+a_6_8*c_8_16*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_2+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0^3,a_4_8*a_11_28+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_4_9*a_11_28+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_1,a_4_10*a_11_28+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2,a_4_11*a_11_28+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2,a_4_8*a_11_29+a_4_8*c_8_17*a_1_0^2*a_1_1+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0^2*a_1_3+a_4_8*c_8_16*a_1_0^2*a_1_2,a_4_9*a_11_29+a_4_8*c_8_17*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2+a_4_8*c_8_16*a_1_0^3,a_4_10*a_11_29+a_4_8*c_8_17*a_1_0^2*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_2,a_4_11*a_11_29+a_4_8*c_8_17*a_1_0*a_1_1*a_1_3+a_4_8*c_8_17*a_1_0^3+a_4_8*c_8_16*a_1_0*a_1_2*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_3+a_4_8*c_8_16*a_1_0*a_1_1*a_1_2+a_4_8*c_8_16*a_1_0*a_1_1^2+a_4_8*c_8_16*a_1_0^2*a_1_3,a_6_8*a_11_28+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^3,a_6_9*a_11_28+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^3,a_6_10*a_11_28+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_11*a_11_28+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_17*a_1_0*a_1_1*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_1,a_6_12*a_11_28+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3,a_6_13*a_11_28+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^3,a_6_14*a_11_28+a_6_8*c_8_17*a_1_0*a_1_2*a_1_3+a_6_8*c_8_17*a_1_0*a_1_1*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_15*a_11_28+a_6_8*c_8_17*a_1_0*a_1_2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_8*a_11_29+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2,a_6_9*a_11_29+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_10*a_11_29+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^3,a_6_11*a_11_29+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_17*a_1_0*a_1_1*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_1,a_6_12*a_11_29+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_13*a_11_29+a_6_8*c_8_17*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_1+a_6_8*c_8_16*a_1_0^3,a_6_14*a_11_29+a_6_8*c_8_17*a_1_0*a_1_2*a_1_3+a_6_8*c_8_17*a_1_0*a_1_1*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_2+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_3,a_6_15*a_11_29+a_6_8*c_8_17*a_1_0*a_1_2*a_1_3+a_6_8*c_8_17*a_1_0^2*a_1_1+a_6_8*c_8_17*a_1_0^3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_3+a_6_8*c_8_16*a_1_0*a_1_1*a_1_2+a_6_8*c_8_16*a_1_0^2*a_1_3+a_6_8*c_8_16*a_1_0^2*a_1_2,a_9_15^2+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_1^2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_2+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_15*a_9_16+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_9*c_8_17+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_1,a_9_16^2,a_9_15*a_9_17+a_4_8*a_6_15*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_17+a_4_8*a_6_11*c_8_16+a_4_8*a_6_9*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^3*a_1_1+c_8_17^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0*a_1_3+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16*c_8_17*a_1_0^2+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_17^2+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_1^2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_16*a_9_17+a_4_8*a_6_15*c_8_17+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_12*c_8_16+a_4_8*a_6_10*c_8_16+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_16*a_1_0^3*a_1_3,a_9_18^2+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_1^2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_1+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1,a_9_15*a_9_18+a_4_8*a_6_15*c_8_17+a_4_8*a_6_14*c_8_17+a_4_8*a_6_11*c_8_17+a_4_8*a_6_11*c_8_16+a_4_8*a_6_10*c_8_16+a_4_8*a_6_9*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_17*a_1_0^3*a_1_1+a_6_8*c_8_17*a_1_0^4+a_6_8*c_8_16*a_1_0^4+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_2+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0*a_1_2+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16*c_8_17*a_1_0^2+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_17*a_9_18+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_12*c_8_16+a_4_8*a_6_10*c_8_17+a_4_8*a_6_9*c_8_17+a_4_8*a_6_9*c_8_16+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_17*a_1_0^4+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^4+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16*c_8_17*a_1_1^2+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0^2,a_9_16*a_9_18+a_4_8*a_6_15*c_8_17+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_17+a_4_8*a_6_11*c_8_16+a_4_8*a_6_10*c_8_17+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^4+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^4,a_9_19^2+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1^2+c_8_17^2*a_1_0*a_1_2+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_1^2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_18*a_9_19+a_4_8*a_6_14*c_8_17+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_16+a_4_8*a_6_10*c_8_17+a_4_8*a_6_10*c_8_16+a_4_8*a_6_9*c_8_17+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_1+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_0*a_1_2+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1^2+c_8_16*c_8_17*a_1_0*a_1_2+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0^2,a_9_15*a_9_19+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_17+a_4_8*a_6_10*c_8_17+a_4_8*a_6_10*c_8_16+a_4_8*a_6_9*c_8_16+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^3*a_1_1+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_1^2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_2+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0*a_1_3+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16*c_8_17*a_1_0^2+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_17*a_9_19+a_4_8*a_6_15*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_10*c_8_17+a_4_8*a_6_9*c_8_17+a_4_8*a_6_9*c_8_16+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_17*a_1_0^4+a_6_8*c_8_16*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^4+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_2+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_1^2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_16*a_9_19+a_4_8*a_6_15*c_8_17+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_16+a_4_8*a_6_12*c_8_16+a_4_8*a_6_10*c_8_16+a_4_8*a_6_9*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^3*a_1_3,a_9_20^2+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_3+c_8_17^2*a_1_0*a_1_1+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1^2+c_8_16^2*a_1_0*a_1_2+c_8_16^2*a_1_0*a_1_1,a_9_19*a_9_20+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_17+a_4_8*a_6_11*c_8_17+a_4_8*a_6_9*c_8_17+a_4_8*a_6_9*c_8_16+a_4_8*a_6_8*c_8_17+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^4+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_2+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_1*a_1_2+c_8_16*c_8_17*a_1_1^2+c_8_16*c_8_17*a_1_0*a_1_3+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2,a_9_18*a_9_20+a_4_8*a_6_13*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_17+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_17+a_4_8*a_6_10*c_8_17+a_4_8*a_6_10*c_8_16+a_4_8*a_6_9*c_8_17+a_4_8*a_6_8*c_8_17+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_1+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_3+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0*a_1_2+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16^2*a_1_2*a_1_3+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_3+c_8_16^2*a_1_0*a_1_2+c_8_16^2*a_1_0*a_1_1,a_9_15*a_9_20+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_14*c_8_16+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_17+a_4_8*a_6_11*c_8_17+a_4_8*a_6_9*c_8_17+a_4_8*a_6_8*c_8_17+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_17*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^4+c_8_17^2*a_1_2*a_1_3+c_8_17^2*a_1_0*a_1_2+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_1^2+c_8_16*c_8_17*a_1_0*a_1_3+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16*c_8_17*a_1_0^2+c_8_16^2*a_1_2*a_1_3+c_8_16^2*a_1_1*a_1_3+c_8_16^2*a_1_1*a_1_2+c_8_16^2*a_1_0*a_1_1+c_8_16^2*a_1_0^2,a_9_17*a_9_20+a_4_8*a_6_15*c_8_17+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_13*c_8_17+a_4_8*a_6_13*c_8_16+a_4_8*a_6_12*c_8_17+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_16+a_4_8*a_6_10*c_8_17+a_4_8*a_6_10*c_8_16+a_4_8*a_6_8*c_8_16+a_6_8*c_8_17*a_1_0^3*a_1_2+a_6_8*c_8_16*a_1_0^3*a_1_1+c_8_17^2*a_1_1*a_1_3+c_8_17^2*a_1_1*a_1_2+c_8_17^2*a_1_0*a_1_1+c_8_17^2*a_1_0^2+c_8_16*c_8_17*a_1_2*a_1_3+c_8_16*c_8_17*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0*a_1_1+c_8_16^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2,a_9_16*a_9_20+a_4_8*a_6_15*c_8_17+a_4_8*a_6_15*c_8_16+a_4_8*a_6_14*c_8_17+a_4_8*a_6_13*c_8_17+a_4_8*a_6_12*c_8_17+a_4_8*a_6_12*c_8_16+a_4_8*a_6_11*c_8_17+a_4_8*a_6_11*c_8_16+a_4_8*a_6_9*c_8_16+a_4_8*a_6_8*c_8_17+a_6_8*c_8_17*a_1_0^3*a_1_3+a_6_8*c_8_17*a_1_0^4+a_6_8*c_8_16*a_1_0^3*a_1_3+a_6_8*c_8_16*a_1_0^3*a_1_1+a_6_8*c_8_16*a_1_0^4,a_9_20*a_11_28+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_1+a_4_8*a_6_8*c_8_16*a_1_0^2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_1^2+c_8_16*c_8_17*a_1_0^3*a_1_3+c_8_16*c_8_17*a_1_0^4+c_8_16^2*a_1_0^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_1,a_9_19*a_11_28+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_1+a_4_8*a_6_8*c_8_16*a_1_0^2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_2+c_8_16*c_8_17*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^4+c_8_16^2*a_1_0^2*a_1_2*a_1_3,a_9_18*a_11_28+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^2*a_1_1^2+c_8_17^2*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_2+c_8_16*c_8_17*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^4+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_1+c_8_16^2*a_1_0^4,a_9_15*a_11_28+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_1^2+c_8_17^2*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_3+c_8_16*c_8_17*a_1_0^4+c_8_16^2*a_1_0^2*a_1_1*a_1_3+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_2+c_8_16^2*a_1_0^3*a_1_1,a_9_17*a_11_28+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0^2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_2+c_8_16*c_8_17*a_1_0^3*a_1_1+c_8_16^2*a_1_0^2*a_1_2*a_1_3,a_9_16*a_11_28+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_1,a_9_20*a_11_29+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_1^2+c_8_16*c_8_17*a_1_0^3*a_1_2+c_8_16^2*a_1_0^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_3+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_2+c_8_16^2*a_1_0^3*a_1_1,a_9_19*a_11_29+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_1+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^3*a_1_1+c_8_16^2*a_1_0^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_2+c_8_16^2*a_1_0^3*a_1_1+c_8_16^2*a_1_0^4,a_9_18*a_11_29+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_1*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0^2+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_17^2*a_1_0^2*a_1_1^2+c_8_17^2*a_1_0^3*a_1_1+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^4+c_8_16^2*a_1_0^2*a_1_1*a_1_3+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_2+c_8_16^2*a_1_0^3*a_1_1,a_9_15*a_11_29+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+c_8_17^2*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_3+c_8_16^2*a_1_0^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_2+c_8_16^2*a_1_0^2*a_1_1^2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_1,a_9_17*a_11_29+a_4_8*a_6_8*c_8_17*a_1_2*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_3+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1^2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_3+c_8_17^2*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_2*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_3+c_8_16*c_8_17*a_1_0^2*a_1_1*a_1_2+c_8_16*c_8_17*a_1_0^3*a_1_3+c_8_16*c_8_17*a_1_0^3*a_1_1+c_8_16^2*a_1_0^2*a_1_2*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_3+c_8_16^2*a_1_0^2*a_1_1*a_1_2+c_8_16^2*a_1_0^3*a_1_3+c_8_16^2*a_1_0^3*a_1_2+c_8_16^2*a_1_0^3*a_1_1+c_8_16^2*a_1_0^4,a_9_16*a_11_29+a_4_8*a_6_8*c_8_17*a_1_1*a_1_2+a_4_8*a_6_8*c_8_17*a_1_1^2+a_4_8*a_6_8*c_8_17*a_1_0*a_1_3+a_4_8*a_6_8*c_8_17*a_1_0*a_1_1+a_4_8*a_6_8*c_8_17*a_1_0^2+a_4_8*a_6_8*c_8_16*a_1_2*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_3+a_4_8*a_6_8*c_8_16*a_1_1*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0*a_1_2+a_4_8*a_6_8*c_8_16*a_1_0^2,a_11_28^2,a_11_28*a_11_29+a_4_8*a_6_8*c_8_16*a_1_0^3*a_1_3,a_11_29^2;
qring Q = std(Rels);
ideal I = a_1_0^4,a_1_0^3*a_1_1,a_1_0^3*a_1_2,a_1_0^3*a_1_3,a_1_0^2*a_1_1^2,a_1_0^2*a_1_1*a_1_2,a_1_0^2*a_1_1*a_1_3,a_1_0^2*a_1_2*a_1_3,a_4_8*a_1_1^2+a_4_8*a_1_0*a_1_1,a_4_8*a_1_1*a_1_2+a_4_8*a_1_0*a_1_3+a_4_8*a_1_0*a_1_1,a_4_8*a_1_1*a_1_3+a_4_8*a_1_0*a_1_3+a_4_8*a_1_0^2,a_4_8*a_1_0^3,a_4_8*a_1_0^2*a_1_1,a_4_8*a_1_0^2*a_1_2,a_4_8*a_1_0^2*a_1_3,a_4_8*a_1_0*a_1_2*a_1_3,a_6_8*a_1_0^2,a_6_8*a_1_0*a_1_1,a_6_8*a_1_0*a_1_2,a_6_8*a_1_0*a_1_3,a_6_8*a_1_1^2,a_6_8*a_1_1*a_1_2,a_6_8*a_1_1*a_1_3,a_6_8*a_1_2*a_1_3,a_4_8*a_6_12+a_4_8*a_6_11+a_4_8*a_6_9+a_4_8*a_6_8,a_4_8*a_6_13+a_4_8*a_6_11+a_4_8*a_6_10+a_4_8*a_6_8,a_4_8*a_6_8*a_1_0,a_4_8*a_6_8*a_1_1,a_4_8*a_6_8*a_1_2,a_4_8*a_6_8*a_1_3,a_4_8*a_6_9*a_1_1,a_4_8*a_6_9*a_1_2,a_4_8*a_6_9*a_1_3,a_4_8*a_6_11*a_1_3;