c0^3*e0^4+c0^3*e1^4+c0^3*e2^4+c0^3*e3^4+2*c0^2*c1*e0^3*e1+2*c0^2*c1*e0^2*e1^2+2*c0^2*c1*e0*e1^3+2*c0^2*c1*e2^3*e3+2*c0^2*c1*e2^2*e3^2+2*c0^2*c1*e2*e3^3+2*c0^2*c2*e0^3*e2+2*c0^2*c2*e0^2*e2^2+2*c0^2*c2*e0*e2^3+2*c0^2*c2*e1^3*e3+2*c0^2*c2*e1^2*e3^2+2*c0^2*c2*e1*e3^3+2*c0^2*c3*e0^3*e3+2*c0^2*c3*e0^2*e3^2+2*c0^2*c3*e0*e3^3+2*c0^2*c3*e1^3*e2+2*c0^2*c3*e1^2*e2^2+2*c0^2*c3*e1*e2^3+2*c0*c1^2*e0^3*e1+2*c0*c1^2*e0^2*e1^2+2*c0*c1^2*e0*e1^3+2*c0*c1^2*e2^3*e3+2*c0*c1^2*e2^2*e3^2+2*c0*c1^2*e2*e3^3+2*c0*c1*c2*e0^2*e1*e2+2*c0*c1*c2*e0^2*e1*e3+2*c0*c1*c2*e0^2*e2*e3+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e1^2*e2*e3+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c3*e0^2*e1*e2+2*c0*c1*c3*e0^2*e1*e3+2*c0*c1*c3*e0^2*e2*e3+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e1^2*e2*e3+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c2^2*e0^3*e2+2*c0*c2^2*e0^2*e2^2+2*c0*c2^2*e0*e2^3+2*c0*c2^2*e1^3*e3+2*c0*c2^2*e1^2*e3^2+2*c0*c2^2*e1*e3^3+2*c0*c2*c3*e0^2*e1*e2+2*c0*c2*c3*e0^2*e1*e3+2*c0*c2*c3*e0^2*e2*e3+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e1^2*e2*e3+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c3^2*e0^3*e3+2*c0*c3^2*e0^2*e3^2+2*c0*c3^2*e0*e3^3+2*c0*c3^2*e1^3*e2+2*c0*c3^2*e1^2*e2^2+2*c0*c3^2*e1*e2^3+c1^3*e0^4+c1^3*e1^4+c1^3*e2^4+c1^3*e3^4+2*c1^2*c2*e0^3*e3+2*c1^2*c2*e0^2*e3^2+2*c1^2*c2*e0*e3^3+2*c1^2*c2*e1^3*e2+2*c1^2*c2*e1^2*e2^2+2*c1^2*c2*e1*e2^3+2*c1^2*c3*e0^3*e2+2*c1^2*c3*e0^2*e2^2+2*c1^2*c3*e0*e2^3+2*c1^2*c3*e1^3*e3+2*c1^2*c3*e1^2*e3^2+2*c1^2*c3*e1*e3^3+2*c1*c2^2*e0^3*e3+2*c1*c2^2*e0^2*e3^2+2*c1*c2^2*e0*e3^3+2*c1*c2^2*e1^3*e2+2*c1*c2^2*e1^2*e2^2+2*c1*c2^2*e1*e2^3+2*c1*c2*c3*e0^2*e1*e2+2*c1*c2*c3*e0^2*e1*e3+2*c1*c2*c3*e0^2*e2*e3+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e1^2*e2*e3+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c3^2*e0^3*e2+2*c1*c3^2*e0^2*e2^2+2*c1*c3^2*e0*e2^3+2*c1*c3^2*e1^3*e3+2*c1*c3^2*e1^2*e3^2+2*c1*c3^2*e1*e3^3+c2^3*e0^4+c2^3*e1^4+c2^3*e2^4+c2^3*e3^4+2*c2^2*c3*e0^3*e1+2*c2^2*c3*e0^2*e1^2+2*c2^2*c3*e0*e1^3+2*c2^2*c3*e2^3*e3+2*c2^2*c3*e2^2*e3^2+2*c2^2*c3*e2*e3^3+2*c2*c3^2*e0^3*e1+2*c2*c3^2*e0^2*e1^2+2*c2*c3^2*e0*e1^3+2*c2*c3^2*e2^3*e3+2*c2*c3^2*e2^2*e3^2+2*c2*c3^2*e2*e3^3+c3^3*e0^4+c3^3*e1^4+c3^3*e2^4+c3^3*e3^4, 2*c0^3*e0^3*e1+2*c0^3*e0*e1^3+2*c0^3*e2^3*e3+2*c0^3*e2*e3^3+2*c0^2*c1*e0^3*e1+8*c0^2*c1*e0^2*e1^2+2*c0^2*c1*e0*e1^3+2*c0^2*c1*e2^3*e3+8*c0^2*c1*e2^2*e3^2+2*c0^2*c1*e2*e3^3+4*c0^2*c2*e0^2*e1*e2+2*c0^2*c2*e0^2*e2*e3+4*c0^2*c2*e0*e1^2*e3+2*c0^2*c2*e0*e1*e2^2+2*c0^2*c2*e0*e1*e3^2+4*c0^2*c2*e0*e2^2*e3+2*c0^2*c2*e1^2*e2*e3+4*c0^2*c2*e1*e2*e3^2+4*c0^2*c3*e0^2*e1*e3+2*c0^2*c3*e0^2*e2*e3+4*c0^2*c3*e0*e1^2*e2+2*c0^2*c3*e0*e1*e2^2+2*c0^2*c3*e0*e1*e3^2+4*c0^2*c3*e0*e2*e3^2+2*c0^2*c3*e1^2*e2*e3+4*c0^2*c3*e1*e2^2*e3+2*c0*c1^2*e0^3*e1+8*c0*c1^2*e0^2*e1^2+2*c0*c1^2*e0*e1^3+2*c0*c1^2*e2^3*e3+8*c0*c1^2*e2^2*e3^2+2*c0*c1^2*e2*e3^3+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^2*e1*e2+2*c0*c2^2*e0^2*e2*e3+4*c0*c2^2*e0*e1^2*e3+2*c0*c2^2*e0*e1*e2^2+2*c0*c2^2*e0*e1*e3^2+4*c0*c2^2*e0*e2^2*e3+2*c0*c2^2*e1^2*e2*e3+4*c0*c2^2*e1*e2*e3^2+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c3^2*e0^2*e1*e3+2*c0*c3^2*e0^2*e2*e3+4*c0*c3^2*e0*e1^2*e2+2*c0*c3^2*e0*e1*e2^2+2*c0*c3^2*e0*e1*e3^2+4*c0*c3^2*e0*e2*e3^2+2*c0*c3^2*e1^2*e2*e3+4*c0*c3^2*e1*e2^2*e3+2*c1^3*e0^3*e1+2*c1^3*e0*e1^3+2*c1^3*e2^3*e3+2*c1^3*e2*e3^3+4*c1^2*c2*e0^2*e1*e3+2*c1^2*c2*e0^2*e2*e3+4*c1^2*c2*e0*e1^2*e2+2*c1^2*c2*e0*e1*e2^2+2*c1^2*c2*e0*e1*e3^2+4*c1^2*c2*e0*e2*e3^2+2*c1^2*c2*e1^2*e2*e3+4*c1^2*c2*e1*e2^2*e3+4*c1^2*c3*e0^2*e1*e2+2*c1^2*c3*e0^2*e2*e3+4*c1^2*c3*e0*e1^2*e3+2*c1^2*c3*e0*e1*e2^2+2*c1^2*c3*e0*e1*e3^2+4*c1^2*c3*e0*e2^2*e3+2*c1^2*c3*e1^2*e2*e3+4*c1^2*c3*e1*e2*e3^2+4*c1*c2^2*e0^2*e1*e3+2*c1*c2^2*e0^2*e2*e3+4*c1*c2^2*e0*e1^2*e2+2*c1*c2^2*e0*e1*e2^2+2*c1*c2^2*e0*e1*e3^2+4*c1*c2^2*e0*e2*e3^2+2*c1*c2^2*e1^2*e2*e3+4*c1*c2^2*e1*e2^2*e3+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^2*e1*e2+2*c1*c3^2*e0^2*e2*e3+4*c1*c3^2*e0*e1^2*e3+2*c1*c3^2*e0*e1*e2^2+2*c1*c3^2*e0*e1*e3^2+4*c1*c3^2*e0*e2^2*e3+2*c1*c3^2*e1^2*e2*e3+4*c1*c3^2*e1*e2*e3^2+2*c2^3*e0^3*e1+2*c2^3*e0*e1^3+2*c2^3*e2^3*e3+2*c2^3*e2*e3^3+2*c2^2*c3*e0^3*e1+8*c2^2*c3*e0^2*e1^2+2*c2^2*c3*e0*e1^3+2*c2^2*c3*e2^3*e3+8*c2^2*c3*e2^2*e3^2+2*c2^2*c3*e2*e3^3+2*c2*c3^2*e0^3*e1+8*c2*c3^2*e0^2*e1^2+2*c2*c3^2*e0*e1^3+2*c2*c3^2*e2^3*e3+8*c2*c3^2*e2^2*e3^2+2*c2*c3^2*e2*e3^3+2*c3^3*e0^3*e1+2*c3^3*e0*e1^3+2*c3^3*e2^3*e3+2*c3^3*e2*e3^3, 2*c0^3*e0^3*e2+2*c0^3*e0*e2^3+2*c0^3*e1^3*e3+2*c0^3*e1*e3^3+4*c0^2*c1*e0^2*e1*e2+2*c0^2*c1*e0^2*e1*e3+2*c0^2*c1*e0*e1^2*e2+4*c0^2*c1*e0*e1^2*e3+4*c0^2*c1*e0*e2^2*e3+2*c0^2*c1*e0*e2*e3^2+2*c0^2*c1*e1*e2^2*e3+4*c0^2*c1*e1*e2*e3^2+2*c0^2*c2*e0^3*e2+8*c0^2*c2*e0^2*e2^2+2*c0^2*c2*e0*e2^3+2*c0^2*c2*e1^3*e3+8*c0^2*c2*e1^2*e3^2+2*c0^2*c2*e1*e3^3+2*c0^2*c3*e0^2*e1*e3+4*c0^2*c3*e0^2*e2*e3+2*c0^2*c3*e0*e1^2*e2+4*c0^2*c3*e0*e1*e2^2+4*c0^2*c3*e0*e1*e3^2+2*c0^2*c3*e0*e2*e3^2+4*c0^2*c3*e1^2*e2*e3+2*c0^2*c3*e1*e2^2*e3+4*c0*c1^2*e0^2*e1*e2+2*c0*c1^2*e0^2*e1*e3+2*c0*c1^2*e0*e1^2*e2+4*c0*c1^2*e0*e1^2*e3+4*c0*c1^2*e0*e2^2*e3+2*c0*c1^2*e0*e2*e3^2+2*c0*c1^2*e1*e2^2*e3+4*c0*c1^2*e1*e2*e3^2+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2*e3^2+2*c0*c2^2*e0^3*e2+8*c0*c2^2*e0^2*e2^2+2*c0*c2^2*e0*e2^3+2*c0*c2^2*e1^3*e3+8*c0*c2^2*e1^2*e3^2+2*c0*c2^2*e1*e3^3+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2*e3^2+2*c0*c3^2*e0^2*e1*e3+4*c0*c3^2*e0^2*e2*e3+2*c0*c3^2*e0*e1^2*e2+4*c0*c3^2*e0*e1*e2^2+4*c0*c3^2*e0*e1*e3^2+2*c0*c3^2*e0*e2*e3^2+4*c0*c3^2*e1^2*e2*e3+2*c0*c3^2*e1*e2^2*e3+2*c1^3*e0^3*e2+2*c1^3*e0*e2^3+2*c1^3*e1^3*e3+2*c1^3*e1*e3^3+2*c1^2*c2*e0^2*e1*e3+4*c1^2*c2*e0^2*e2*e3+2*c1^2*c2*e0*e1^2*e2+4*c1^2*c2*e0*e1*e2^2+4*c1^2*c2*e0*e1*e3^2+2*c1^2*c2*e0*e2*e3^2+4*c1^2*c2*e1^2*e2*e3+2*c1^2*c2*e1*e2^2*e3+2*c1^2*c3*e0^3*e2+8*c1^2*c3*e0^2*e2^2+2*c1^2*c3*e0*e2^3+2*c1^2*c3*e1^3*e3+8*c1^2*c3*e1^2*e3^2+2*c1^2*c3*e1*e3^3+2*c1*c2^2*e0^2*e1*e3+4*c1*c2^2*e0^2*e2*e3+2*c1*c2^2*e0*e1^2*e2+4*c1*c2^2*e0*e1*e2^2+4*c1*c2^2*e0*e1*e3^2+2*c1*c2^2*e0*e2*e3^2+4*c1*c2^2*e1^2*e2*e3+2*c1*c2^2*e1*e2^2*e3+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2*e3^2+2*c1*c3^2*e0^3*e2+8*c1*c3^2*e0^2*e2^2+2*c1*c3^2*e0*e2^3+2*c1*c3^2*e1^3*e3+8*c1*c3^2*e1^2*e3^2+2*c1*c3^2*e1*e3^3+2*c2^3*e0^3*e2+2*c2^3*e0*e2^3+2*c2^3*e1^3*e3+2*c2^3*e1*e3^3+4*c2^2*c3*e0^2*e1*e2+2*c2^2*c3*e0^2*e1*e3+2*c2^2*c3*e0*e1^2*e2+4*c2^2*c3*e0*e1^2*e3+4*c2^2*c3*e0*e2^2*e3+2*c2^2*c3*e0*e2*e3^2+2*c2^2*c3*e1*e2^2*e3+4*c2^2*c3*e1*e2*e3^2+4*c2*c3^2*e0^2*e1*e2+2*c2*c3^2*e0^2*e1*e3+2*c2*c3^2*e0*e1^2*e2+4*c2*c3^2*e0*e1^2*e3+4*c2*c3^2*e0*e2^2*e3+2*c2*c3^2*e0*e2*e3^2+2*c2*c3^2*e1*e2^2*e3+4*c2*c3^2*e1*e2*e3^2+2*c3^3*e0^3*e2+2*c3^3*e0*e2^3+2*c3^3*e1^3*e3+2*c3^3*e1*e3^3, 2*c0^3*e0^3*e3+2*c0^3*e0*e3^3+2*c0^3*e1^3*e2+2*c0^3*e1*e2^3+2*c0^2*c1*e0^2*e1*e2+4*c0^2*c1*e0^2*e1*e3+4*c0^2*c1*e0*e1^2*e2+2*c0^2*c1*e0*e1^2*e3+2*c0^2*c1*e0*e2^2*e3+4*c0^2*c1*e0*e2*e3^2+4*c0^2*c1*e1*e2^2*e3+2*c0^2*c1*e1*e2*e3^2+2*c0^2*c2*e0^2*e1*e2+4*c0^2*c2*e0^2*e2*e3+2*c0^2*c2*e0*e1^2*e3+4*c0^2*c2*e0*e1*e2^2+4*c0^2*c2*e0*e1*e3^2+2*c0^2*c2*e0*e2^2*e3+4*c0^2*c2*e1^2*e2*e3+2*c0^2*c2*e1*e2*e3^2+2*c0^2*c3*e0^3*e3+8*c0^2*c3*e0^2*e3^2+2*c0^2*c3*e0*e3^3+2*c0^2*c3*e1^3*e2+8*c0^2*c3*e1^2*e2^2+2*c0^2*c3*e1*e2^3+2*c0*c1^2*e0^2*e1*e2+4*c0*c1^2*e0^2*e1*e3+4*c0*c1^2*e0*e1^2*e2+2*c0*c1^2*e0*e1^2*e3+2*c0*c1^2*e0*e2^2*e3+4*c0*c1^2*e0*e2*e3^2+4*c0*c1^2*e1*e2^2*e3+2*c0*c1^2*e1*e2*e3^2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^2*e3+2*c0*c2^2*e0^2*e1*e2+4*c0*c2^2*e0^2*e2*e3+2*c0*c2^2*e0*e1^2*e3+4*c0*c2^2*e0*e1*e2^2+4*c0*c2^2*e0*e1*e3^2+2*c0*c2^2*e0*e2^2*e3+4*c0*c2^2*e1^2*e2*e3+2*c0*c2^2*e1*e2*e3^2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^2*e3+2*c0*c3^2*e0^3*e3+8*c0*c3^2*e0^2*e3^2+2*c0*c3^2*e0*e3^3+2*c0*c3^2*e1^3*e2+8*c0*c3^2*e1^2*e2^2+2*c0*c3^2*e1*e2^3+2*c1^3*e0^3*e3+2*c1^3*e0*e3^3+2*c1^3*e1^3*e2+2*c1^3*e1*e2^3+2*c1^2*c2*e0^3*e3+8*c1^2*c2*e0^2*e3^2+2*c1^2*c2*e0*e3^3+2*c1^2*c2*e1^3*e2+8*c1^2*c2*e1^2*e2^2+2*c1^2*c2*e1*e2^3+2*c1^2*c3*e0^2*e1*e2+4*c1^2*c3*e0^2*e2*e3+2*c1^2*c3*e0*e1^2*e3+4*c1^2*c3*e0*e1*e2^2+4*c1^2*c3*e0*e1*e3^2+2*c1^2*c3*e0*e2^2*e3+4*c1^2*c3*e1^2*e2*e3+2*c1^2*c3*e1*e2*e3^2+2*c1*c2^2*e0^3*e3+8*c1*c2^2*e0^2*e3^2+2*c1*c2^2*e0*e3^3+2*c1*c2^2*e1^3*e2+8*c1*c2^2*e1^2*e2^2+2*c1*c2^2*e1*e2^3+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^2*e3+2*c1*c3^2*e0^2*e1*e2+4*c1*c3^2*e0^2*e2*e3+2*c1*c3^2*e0*e1^2*e3+4*c1*c3^2*e0*e1*e2^2+4*c1*c3^2*e0*e1*e3^2+2*c1*c3^2*e0*e2^2*e3+4*c1*c3^2*e1^2*e2*e3+2*c1*c3^2*e1*e2*e3^2+2*c2^3*e0^3*e3+2*c2^3*e0*e3^3+2*c2^3*e1^3*e2+2*c2^3*e1*e2^3+2*c2^2*c3*e0^2*e1*e2+4*c2^2*c3*e0^2*e1*e3+4*c2^2*c3*e0*e1^2*e2+2*c2^2*c3*e0*e1^2*e3+2*c2^2*c3*e0*e2^2*e3+4*c2^2*c3*e0*e2*e3^2+4*c2^2*c3*e1*e2^2*e3+2*c2^2*c3*e1*e2*e3^2+2*c2*c3^2*e0^2*e1*e2+4*c2*c3^2*e0^2*e1*e3+4*c2*c3^2*e0*e1^2*e2+2*c2*c3^2*e0*e1^2*e3+2*c2*c3^2*e0*e2^2*e3+4*c2*c3^2*e0*e2*e3^2+4*c2*c3^2*e1*e2^2*e3+2*c2*c3^2*e1*e2*e3^2+2*c3^3*e0^3*e3+2*c3^3*e0*e3^3+2*c3^3*e1^3*e2+2*c3^3*e1*e2^3, 2*c0^3*e0^2*e1^2+2*c0^3*e2^2*e3^2+c0^2*c1*e0^4+2*c0^2*c1*e0^3*e1+2*c0^2*c1*e0*e1^3+c0^2*c1*e1^4+c0^2*c1*e2^4+2*c0^2*c1*e2^3*e3+2*c0^2*c1*e2*e3^3+c0^2*c1*e3^4+2*c0^2*c2*e0^2*e1*e3+2*c0^2*c2*e0^2*e3^2+2*c0^2*c2*e0*e1^2*e2+2*c0^2*c2*e0*e2*e3^2+2*c0^2*c2*e1^2*e2^2+2*c0^2*c2*e1*e2^2*e3+2*c0^2*c3*e0^2*e1*e2+2*c0^2*c3*e0^2*e2^2+2*c0^2*c3*e0*e1^2*e3+2*c0^2*c3*e0*e2^2*e3+2*c0^2*c3*e1^2*e3^2+2*c0^2*c3*e1*e2*e3^2+c0*c1^2*e0^4+2*c0*c1^2*e0^3*e1+2*c0*c1^2*e0*e1^3+c0*c1^2*e1^4+c0*c1^2*e2^4+2*c0*c1^2*e2^3*e3+2*c0*c1^2*e2*e3^3+c0*c1^2*e3^4+2*c0*c1*c2*e0^3*e2+2*c0*c1*c2*e0^3*e3+2*c0*c1*c2*e0^2*e2*e3+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^3*e2+2*c0*c1*c2*e1^3*e3+2*c0*c1*c2*e1^2*e2*e3+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e3^3+2*c0*c1*c3*e0^3*e2+2*c0*c1*c3*e0^3*e3+2*c0*c1*c3*e0^2*e2*e3+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^3*e2+2*c0*c1*c3*e1^3*e3+2*c0*c1*c3*e1^2*e2*e3+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e3^3+2*c0*c2^2*e0^2*e1*e3+2*c0*c2^2*e0^2*e3^2+2*c0*c2^2*e0*e1^2*e2+2*c0*c2^2*e0*e2*e3^2+2*c0*c2^2*e1^2*e2^2+2*c0*c2^2*e1*e2^2*e3+2*c0*c2*c3*e0^3*e2+2*c0*c2*c3*e0^3*e3+2*c0*c2*c3*e0^2*e2*e3+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^3*e2+2*c0*c2*c3*e1^3*e3+2*c0*c2*c3*e1^2*e2*e3+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e3^3+2*c0*c3^2*e0^2*e1*e2+2*c0*c3^2*e0^2*e2^2+2*c0*c3^2*e0*e1^2*e3+2*c0*c3^2*e0*e2^2*e3+2*c0*c3^2*e1^2*e3^2+2*c0*c3^2*e1*e2*e3^2+2*c1^3*e0^2*e1^2+2*c1^3*e2^2*e3^2+2*c1^2*c2*e0^2*e1*e2+2*c1^2*c2*e0^2*e2^2+2*c1^2*c2*e0*e1^2*e3+2*c1^2*c2*e0*e2^2*e3+2*c1^2*c2*e1^2*e3^2+2*c1^2*c2*e1*e2*e3^2+2*c1^2*c3*e0^2*e1*e3+2*c1^2*c3*e0^2*e3^2+2*c1^2*c3*e0*e1^2*e2+2*c1^2*c3*e0*e2*e3^2+2*c1^2*c3*e1^2*e2^2+2*c1^2*c3*e1*e2^2*e3+2*c1*c2^2*e0^2*e1*e2+2*c1*c2^2*e0^2*e2^2+2*c1*c2^2*e0*e1^2*e3+2*c1*c2^2*e0*e2^2*e3+2*c1*c2^2*e1^2*e3^2+2*c1*c2^2*e1*e2*e3^2+2*c1*c2*c3*e0^3*e2+2*c1*c2*c3*e0^3*e3+2*c1*c2*c3*e0^2*e2*e3+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^3*e2+2*c1*c2*c3*e1^3*e3+2*c1*c2*c3*e1^2*e2*e3+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e3^3+2*c1*c3^2*e0^2*e1*e3+2*c1*c3^2*e0^2*e3^2+2*c1*c3^2*e0*e1^2*e2+2*c1*c3^2*e0*e2*e3^2+2*c1*c3^2*e1^2*e2^2+2*c1*c3^2*e1*e2^2*e3+2*c2^3*e0^2*e1^2+2*c2^3*e2^2*e3^2+c2^2*c3*e0^4+2*c2^2*c3*e0^3*e1+2*c2^2*c3*e0*e1^3+c2^2*c3*e1^4+c2^2*c3*e2^4+2*c2^2*c3*e2^3*e3+2*c2^2*c3*e2*e3^3+c2^2*c3*e3^4+c2*c3^2*e0^4+2*c2*c3^2*e0^3*e1+2*c2*c3^2*e0*e1^3+c2*c3^2*e1^4+c2*c3^2*e2^4+2*c2*c3^2*e2^3*e3+2*c2*c3^2*e2*e3^3+c2*c3^2*e3^4+2*c3^3*e0^2*e1^2+2*c3^3*e2^2*e3^2, 2*c0^3*e0^2*e1*e2+2*c0^3*e0*e1^2*e3+2*c0^3*e0*e2^2*e3+2*c0^3*e1*e2*e3^2+2*c0^2*c1*e0^3*e3+4*c0^2*c1*e0^2*e1*e3+4*c0^2*c1*e0*e1^2*e2+4*c0^2*c1*e0*e2*e3^2+2*c0^2*c1*e0*e3^3+2*c0^2*c1*e1^3*e2+2*c0^2*c1*e1*e2^3+4*c0^2*c1*e1*e2^2*e3+2*c0^2*c2*e0^3*e3+4*c0^2*c2*e0^2*e2*e3+4*c0^2*c2*e0*e1*e2^2+4*c0^2*c2*e0*e1*e3^2+2*c0^2*c2*e0*e3^3+2*c0^2*c2*e1^3*e2+4*c0^2*c2*e1^2*e2*e3+2*c0^2*c2*e1*e2^3+2*c0^2*c3*e0^2*e1*e2+2*c0^2*c3*e0*e1^2*e3+16*c0^2*c3*e0*e1*e2*e3+2*c0^2*c3*e0*e2^2*e3+2*c0^2*c3*e1*e2*e3^2+2*c0*c1^2*e0^3*e3+4*c0*c1^2*e0^2*e1*e3+4*c0*c1^2*e0*e1^2*e2+4*c0*c1^2*e0*e2*e3^2+2*c0*c1^2*e0*e3^3+2*c0*c1^2*e1^3*e2+2*c0*c1^2*e1*e2^3+4*c0*c1^2*e1*e2^2*e3+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+8*c0*c1*c2*e0^2*e3^2+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2*e3^2+8*c0*c1*c2*e1^2*e2^2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+8*c0*c1*c3*e0^2*e3^2+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2*e3^2+8*c0*c1*c3*e1^2*e2^2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^2*e3+2*c0*c2^2*e0^3*e3+4*c0*c2^2*e0^2*e2*e3+4*c0*c2^2*e0*e1*e2^2+4*c0*c2^2*e0*e1*e3^2+2*c0*c2^2*e0*e3^3+2*c0*c2^2*e1^3*e2+4*c0*c2^2*e1^2*e2*e3+2*c0*c2^2*e1*e2^3+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+8*c0*c2*c3*e0^2*e3^2+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2*e3^2+8*c0*c2*c3*e1^2*e2^2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^2*e3+2*c0*c3^2*e0^2*e1*e2+2*c0*c3^2*e0*e1^2*e3+16*c0*c3^2*e0*e1*e2*e3+2*c0*c3^2*e0*e2^2*e3+2*c0*c3^2*e1*e2*e3^2+2*c1^3*e0^2*e1*e2+2*c1^3*e0*e1^2*e3+2*c1^3*e0*e2^2*e3+2*c1^3*e1*e2*e3^2+2*c1^2*c2*e0^2*e1*e2+2*c1^2*c2*e0*e1^2*e3+16*c1^2*c2*e0*e1*e2*e3+2*c1^2*c2*e0*e2^2*e3+2*c1^2*c2*e1*e2*e3^2+2*c1^2*c3*e0^3*e3+4*c1^2*c3*e0^2*e2*e3+4*c1^2*c3*e0*e1*e2^2+4*c1^2*c3*e0*e1*e3^2+2*c1^2*c3*e0*e3^3+2*c1^2*c3*e1^3*e2+4*c1^2*c3*e1^2*e2*e3+2*c1^2*c3*e1*e2^3+2*c1*c2^2*e0^2*e1*e2+2*c1*c2^2*e0*e1^2*e3+16*c1*c2^2*e0*e1*e2*e3+2*c1*c2^2*e0*e2^2*e3+2*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+8*c1*c2*c3*e0^2*e3^2+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2*e3^2+8*c1*c2*c3*e1^2*e2^2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^2*e3+2*c1*c3^2*e0^3*e3+4*c1*c3^2*e0^2*e2*e3+4*c1*c3^2*e0*e1*e2^2+4*c1*c3^2*e0*e1*e3^2+2*c1*c3^2*e0*e3^3+2*c1*c3^2*e1^3*e2+4*c1*c3^2*e1^2*e2*e3+2*c1*c3^2*e1*e2^3+2*c2^3*e0^2*e1*e2+2*c2^3*e0*e1^2*e3+2*c2^3*e0*e2^2*e3+2*c2^3*e1*e2*e3^2+2*c2^2*c3*e0^3*e3+4*c2^2*c3*e0^2*e1*e3+4*c2^2*c3*e0*e1^2*e2+4*c2^2*c3*e0*e2*e3^2+2*c2^2*c3*e0*e3^3+2*c2^2*c3*e1^3*e2+2*c2^2*c3*e1*e2^3+4*c2^2*c3*e1*e2^2*e3+2*c2*c3^2*e0^3*e3+4*c2*c3^2*e0^2*e1*e3+4*c2*c3^2*e0*e1^2*e2+4*c2*c3^2*e0*e2*e3^2+2*c2*c3^2*e0*e3^3+2*c2*c3^2*e1^3*e2+2*c2*c3^2*e1*e2^3+4*c2*c3^2*e1*e2^2*e3+2*c3^3*e0^2*e1*e2+2*c3^3*e0*e1^2*e3+2*c3^3*e0*e2^2*e3+2*c3^3*e1*e2*e3^2, 2*c0^3*e0^2*e1*e3+2*c0^3*e0*e1^2*e2+2*c0^3*e0*e2*e3^2+2*c0^3*e1*e2^2*e3+2*c0^2*c1*e0^3*e2+4*c0^2*c1*e0^2*e1*e2+4*c0^2*c1*e0*e1^2*e3+2*c0^2*c1*e0*e2^3+4*c0^2*c1*e0*e2^2*e3+2*c0^2*c1*e1^3*e3+4*c0^2*c1*e1*e2*e3^2+2*c0^2*c1*e1*e3^3+2*c0^2*c2*e0^2*e1*e3+2*c0^2*c2*e0*e1^2*e2+16*c0^2*c2*e0*e1*e2*e3+2*c0^2*c2*e0*e2*e3^2+2*c0^2*c2*e1*e2^2*e3+2*c0^2*c3*e0^3*e2+4*c0^2*c3*e0^2*e2*e3+4*c0^2*c3*e0*e1*e2^2+4*c0^2*c3*e0*e1*e3^2+2*c0^2*c3*e0*e2^3+2*c0^2*c3*e1^3*e3+4*c0^2*c3*e1^2*e2*e3+2*c0^2*c3*e1*e3^3+2*c0*c1^2*e0^3*e2+4*c0*c1^2*e0^2*e1*e2+4*c0*c1^2*e0*e1^2*e3+2*c0*c1^2*e0*e2^3+4*c0*c1^2*e0*e2^2*e3+2*c0*c1^2*e1^3*e3+4*c0*c1^2*e1*e2*e3^2+2*c0*c1^2*e1*e3^3+4*c0*c1*c2*e0^2*e1*e2+8*c0*c1*c2*e0^2*e2^2+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e1^2*e2*e3+8*c0*c1*c2*e1^2*e3^2+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+8*c0*c1*c3*e0^2*e2^2+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e1^2*e2*e3+8*c0*c1*c3*e1^2*e3^2+4*c0*c1*c3*e1*e2*e3^2+2*c0*c2^2*e0^2*e1*e3+2*c0*c2^2*e0*e1^2*e2+16*c0*c2^2*e0*e1*e2*e3+2*c0*c2^2*e0*e2*e3^2+2*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^2*e1*e2+8*c0*c2*c3*e0^2*e2^2+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e1^2*e2*e3+8*c0*c2*c3*e1^2*e3^2+4*c0*c2*c3*e1*e2*e3^2+2*c0*c3^2*e0^3*e2+4*c0*c3^2*e0^2*e2*e3+4*c0*c3^2*e0*e1*e2^2+4*c0*c3^2*e0*e1*e3^2+2*c0*c3^2*e0*e2^3+2*c0*c3^2*e1^3*e3+4*c0*c3^2*e1^2*e2*e3+2*c0*c3^2*e1*e3^3+2*c1^3*e0^2*e1*e3+2*c1^3*e0*e1^2*e2+2*c1^3*e0*e2*e3^2+2*c1^3*e1*e2^2*e3+2*c1^2*c2*e0^3*e2+4*c1^2*c2*e0^2*e2*e3+4*c1^2*c2*e0*e1*e2^2+4*c1^2*c2*e0*e1*e3^2+2*c1^2*c2*e0*e2^3+2*c1^2*c2*e1^3*e3+4*c1^2*c2*e1^2*e2*e3+2*c1^2*c2*e1*e3^3+2*c1^2*c3*e0^2*e1*e3+2*c1^2*c3*e0*e1^2*e2+16*c1^2*c3*e0*e1*e2*e3+2*c1^2*c3*e0*e2*e3^2+2*c1^2*c3*e1*e2^2*e3+2*c1*c2^2*e0^3*e2+4*c1*c2^2*e0^2*e2*e3+4*c1*c2^2*e0*e1*e2^2+4*c1*c2^2*e0*e1*e3^2+2*c1*c2^2*e0*e2^3+2*c1*c2^2*e1^3*e3+4*c1*c2^2*e1^2*e2*e3+2*c1*c2^2*e1*e3^3+4*c1*c2*c3*e0^2*e1*e2+8*c1*c2*c3*e0^2*e2^2+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e1^2*e2*e3+8*c1*c2*c3*e1^2*e3^2+4*c1*c2*c3*e1*e2*e3^2+2*c1*c3^2*e0^2*e1*e3+2*c1*c3^2*e0*e1^2*e2+16*c1*c3^2*e0*e1*e2*e3+2*c1*c3^2*e0*e2*e3^2+2*c1*c3^2*e1*e2^2*e3+2*c2^3*e0^2*e1*e3+2*c2^3*e0*e1^2*e2+2*c2^3*e0*e2*e3^2+2*c2^3*e1*e2^2*e3+2*c2^2*c3*e0^3*e2+4*c2^2*c3*e0^2*e1*e2+4*c2^2*c3*e0*e1^2*e3+2*c2^2*c3*e0*e2^3+4*c2^2*c3*e0*e2^2*e3+2*c2^2*c3*e1^3*e3+4*c2^2*c3*e1*e2*e3^2+2*c2^2*c3*e1*e3^3+2*c2*c3^2*e0^3*e2+4*c2*c3^2*e0^2*e1*e2+4*c2*c3^2*e0*e1^2*e3+2*c2*c3^2*e0*e2^3+4*c2*c3^2*e0*e2^2*e3+2*c2*c3^2*e1^3*e3+4*c2*c3^2*e1*e2*e3^2+2*c2*c3^2*e1*e3^3+2*c3^3*e0^2*e1*e3+2*c3^3*e0*e1^2*e2+2*c3^3*e0*e2*e3^2+2*c3^3*e1*e2^2*e3, 2*c0^3*e0^2*e2^2+2*c0^3*e1^2*e3^2+2*c0^2*c1*e0^2*e2*e3+2*c0^2*c1*e0^2*e3^2+2*c0^2*c1*e0*e1*e2^2+2*c0^2*c1*e0*e1*e3^2+2*c0^2*c1*e1^2*e2^2+2*c0^2*c1*e1^2*e2*e3+c0^2*c2*e0^4+2*c0^2*c2*e0^3*e2+2*c0^2*c2*e0*e2^3+c0^2*c2*e1^4+2*c0^2*c2*e1^3*e3+2*c0^2*c2*e1*e3^3+c0^2*c2*e2^4+c0^2*c2*e3^4+2*c0^2*c3*e0^2*e1^2+2*c0^2*c3*e0^2*e1*e2+2*c0^2*c3*e0*e1^2*e3+2*c0^2*c3*e0*e2^2*e3+2*c0^2*c3*e1*e2*e3^2+2*c0^2*c3*e2^2*e3^2+2*c0*c1^2*e0^2*e2*e3+2*c0*c1^2*e0^2*e3^2+2*c0*c1^2*e0*e1*e2^2+2*c0*c1^2*e0*e1*e3^2+2*c0*c1^2*e1^2*e2^2+2*c0*c1^2*e1^2*e2*e3+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e3+2*c0*c1*c2*e0^2*e1*e3+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^3*e2+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e2^3*e3+2*c0*c1*c2*e2*e3^3+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e3+2*c0*c1*c3*e0^2*e1*e3+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^3*e2+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e2^3*e3+2*c0*c1*c3*e2*e3^3+c0*c2^2*e0^4+2*c0*c2^2*e0^3*e2+2*c0*c2^2*e0*e2^3+c0*c2^2*e1^4+2*c0*c2^2*e1^3*e3+2*c0*c2^2*e1*e3^3+c0*c2^2*e2^4+c0*c2^2*e3^4+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e3+2*c0*c2*c3*e0^2*e1*e3+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^3*e2+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e2^3*e3+2*c0*c2*c3*e2*e3^3+2*c0*c3^2*e0^2*e1^2+2*c0*c3^2*e0^2*e1*e2+2*c0*c3^2*e0*e1^2*e3+2*c0*c3^2*e0*e2^2*e3+2*c0*c3^2*e1*e2*e3^2+2*c0*c3^2*e2^2*e3^2+2*c1^3*e0^2*e2^2+2*c1^3*e1^2*e3^2+2*c1^2*c2*e0^2*e1^2+2*c1^2*c2*e0^2*e1*e2+2*c1^2*c2*e0*e1^2*e3+2*c1^2*c2*e0*e2^2*e3+2*c1^2*c2*e1*e2*e3^2+2*c1^2*c2*e2^2*e3^2+c1^2*c3*e0^4+2*c1^2*c3*e0^3*e2+2*c1^2*c3*e0*e2^3+c1^2*c3*e1^4+2*c1^2*c3*e1^3*e3+2*c1^2*c3*e1*e3^3+c1^2*c3*e2^4+c1^2*c3*e3^4+2*c1*c2^2*e0^2*e1^2+2*c1*c2^2*e0^2*e1*e2+2*c1*c2^2*e0*e1^2*e3+2*c1*c2^2*e0*e2^2*e3+2*c1*c2^2*e1*e2*e3^2+2*c1*c2^2*e2^2*e3^2+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e3+2*c1*c2*c3*e0^2*e1*e3+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^3*e2+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e2^3*e3+2*c1*c2*c3*e2*e3^3+c1*c3^2*e0^4+2*c1*c3^2*e0^3*e2+2*c1*c3^2*e0*e2^3+c1*c3^2*e1^4+2*c1*c3^2*e1^3*e3+2*c1*c3^2*e1*e3^3+c1*c3^2*e2^4+c1*c3^2*e3^4+2*c2^3*e0^2*e2^2+2*c2^3*e1^2*e3^2+2*c2^2*c3*e0^2*e2*e3+2*c2^2*c3*e0^2*e3^2+2*c2^2*c3*e0*e1*e2^2+2*c2^2*c3*e0*e1*e3^2+2*c2^2*c3*e1^2*e2^2+2*c2^2*c3*e1^2*e2*e3+2*c2*c3^2*e0^2*e2*e3+2*c2*c3^2*e0^2*e3^2+2*c2*c3^2*e0*e1*e2^2+2*c2*c3^2*e0*e1*e3^2+2*c2*c3^2*e1^2*e2^2+2*c2*c3^2*e1^2*e2*e3+2*c3^3*e0^2*e2^2+2*c3^3*e1^2*e3^2, 2*c0^3*e0^2*e2*e3+2*c0^3*e0*e1*e2^2+2*c0^3*e0*e1*e3^2+2*c0^3*e1^2*e2*e3+2*c0^2*c1*e0^2*e2*e3+2*c0^2*c1*e0*e1*e2^2+16*c0^2*c1*e0*e1*e2*e3+2*c0^2*c1*e0*e1*e3^2+2*c0^2*c1*e1^2*e2*e3+2*c0^2*c2*e0^3*e1+4*c0^2*c2*e0^2*e1*e2+2*c0^2*c2*e0*e1^3+4*c0^2*c2*e0*e1^2*e3+4*c0^2*c2*e0*e2^2*e3+4*c0^2*c2*e1*e2*e3^2+2*c0^2*c2*e2^3*e3+2*c0^2*c2*e2*e3^3+2*c0^2*c3*e0^3*e1+4*c0^2*c3*e0^2*e1*e3+2*c0^2*c3*e0*e1^3+4*c0^2*c3*e0*e1^2*e2+4*c0^2*c3*e0*e2*e3^2+4*c0^2*c3*e1*e2^2*e3+2*c0^2*c3*e2^3*e3+2*c0^2*c3*e2*e3^3+2*c0*c1^2*e0^2*e2*e3+2*c0*c1^2*e0*e1*e2^2+16*c0*c1^2*e0*e1*e2*e3+2*c0*c1^2*e0*e1*e3^2+2*c0*c1^2*e1^2*e2*e3+8*c0*c1*c2*e0^2*e1^2+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+8*c0*c1*c2*e2^2*e3^2+8*c0*c1*c3*e0^2*e1^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+8*c0*c1*c3*e2^2*e3^2+2*c0*c2^2*e0^3*e1+4*c0*c2^2*e0^2*e1*e2+2*c0*c2^2*e0*e1^3+4*c0*c2^2*e0*e1^2*e3+4*c0*c2^2*e0*e2^2*e3+4*c0*c2^2*e1*e2*e3^2+2*c0*c2^2*e2^3*e3+2*c0*c2^2*e2*e3^3+8*c0*c2*c3*e0^2*e1^2+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+8*c0*c2*c3*e2^2*e3^2+2*c0*c3^2*e0^3*e1+4*c0*c3^2*e0^2*e1*e3+2*c0*c3^2*e0*e1^3+4*c0*c3^2*e0*e1^2*e2+4*c0*c3^2*e0*e2*e3^2+4*c0*c3^2*e1*e2^2*e3+2*c0*c3^2*e2^3*e3+2*c0*c3^2*e2*e3^3+2*c1^3*e0^2*e2*e3+2*c1^3*e0*e1*e2^2+2*c1^3*e0*e1*e3^2+2*c1^3*e1^2*e2*e3+2*c1^2*c2*e0^3*e1+4*c1^2*c2*e0^2*e1*e3+2*c1^2*c2*e0*e1^3+4*c1^2*c2*e0*e1^2*e2+4*c1^2*c2*e0*e2*e3^2+4*c1^2*c2*e1*e2^2*e3+2*c1^2*c2*e2^3*e3+2*c1^2*c2*e2*e3^3+2*c1^2*c3*e0^3*e1+4*c1^2*c3*e0^2*e1*e2+2*c1^2*c3*e0*e1^3+4*c1^2*c3*e0*e1^2*e3+4*c1^2*c3*e0*e2^2*e3+4*c1^2*c3*e1*e2*e3^2+2*c1^2*c3*e2^3*e3+2*c1^2*c3*e2*e3^3+2*c1*c2^2*e0^3*e1+4*c1*c2^2*e0^2*e1*e3+2*c1*c2^2*e0*e1^3+4*c1*c2^2*e0*e1^2*e2+4*c1*c2^2*e0*e2*e3^2+4*c1*c2^2*e1*e2^2*e3+2*c1*c2^2*e2^3*e3+2*c1*c2^2*e2*e3^3+8*c1*c2*c3*e0^2*e1^2+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+8*c1*c2*c3*e2^2*e3^2+2*c1*c3^2*e0^3*e1+4*c1*c3^2*e0^2*e1*e2+2*c1*c3^2*e0*e1^3+4*c1*c3^2*e0*e1^2*e3+4*c1*c3^2*e0*e2^2*e3+4*c1*c3^2*e1*e2*e3^2+2*c1*c3^2*e2^3*e3+2*c1*c3^2*e2*e3^3+2*c2^3*e0^2*e2*e3+2*c2^3*e0*e1*e2^2+2*c2^3*e0*e1*e3^2+2*c2^3*e1^2*e2*e3+2*c2^2*c3*e0^2*e2*e3+2*c2^2*c3*e0*e1*e2^2+16*c2^2*c3*e0*e1*e2*e3+2*c2^2*c3*e0*e1*e3^2+2*c2^2*c3*e1^2*e2*e3+2*c2*c3^2*e0^2*e2*e3+2*c2*c3^2*e0*e1*e2^2+16*c2*c3^2*e0*e1*e2*e3+2*c2*c3^2*e0*e1*e3^2+2*c2*c3^2*e1^2*e2*e3+2*c3^3*e0^2*e2*e3+2*c3^3*e0*e1*e2^2+2*c3^3*e0*e1*e3^2+2*c3^3*e1^2*e2*e3, 2*c0^3*e0^2*e3^2+2*c0^3*e1^2*e2^2+2*c0^2*c1*e0^2*e2^2+2*c0^2*c1*e0^2*e2*e3+2*c0^2*c1*e0*e1*e2^2+2*c0^2*c1*e0*e1*e3^2+2*c0^2*c1*e1^2*e2*e3+2*c0^2*c1*e1^2*e3^2+2*c0^2*c2*e0^2*e1^2+2*c0^2*c2*e0^2*e1*e3+2*c0^2*c2*e0*e1^2*e2+2*c0^2*c2*e0*e2*e3^2+2*c0^2*c2*e1*e2^2*e3+2*c0^2*c2*e2^2*e3^2+c0^2*c3*e0^4+2*c0^2*c3*e0^3*e3+2*c0^2*c3*e0*e3^3+c0^2*c3*e1^4+2*c0^2*c3*e1^3*e2+2*c0^2*c3*e1*e2^3+c0^2*c3*e2^4+c0^2*c3*e3^4+2*c0*c1^2*e0^2*e2^2+2*c0*c1^2*e0^2*e2*e3+2*c0*c1^2*e0*e1*e2^2+2*c0*c1^2*e0*e1*e3^2+2*c0*c1^2*e1^2*e2*e3+2*c0*c1^2*e1^2*e3^2+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e2+2*c0*c1*c2*e0^2*e1*e2+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e1^3*e3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c2*e1*e3^3+2*c0*c1*c2*e2^3*e3+2*c0*c1*c2*e2*e3^3+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e2+2*c0*c1*c3*e0^2*e1*e2+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e1^3*e3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c1*c3*e1*e3^3+2*c0*c1*c3*e2^3*e3+2*c0*c1*c3*e2*e3^3+2*c0*c2^2*e0^2*e1^2+2*c0*c2^2*e0^2*e1*e3+2*c0*c2^2*e0*e1^2*e2+2*c0*c2^2*e0*e2*e3^2+2*c0*c2^2*e1*e2^2*e3+2*c0*c2^2*e2^2*e3^2+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e2+2*c0*c2*c3*e0^2*e1*e2+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e1^3*e3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c2*c3*e1*e3^3+2*c0*c2*c3*e2^3*e3+2*c0*c2*c3*e2*e3^3+c0*c3^2*e0^4+2*c0*c3^2*e0^3*e3+2*c0*c3^2*e0*e3^3+c0*c3^2*e1^4+2*c0*c3^2*e1^3*e2+2*c0*c3^2*e1*e2^3+c0*c3^2*e2^4+c0*c3^2*e3^4+2*c1^3*e0^2*e3^2+2*c1^3*e1^2*e2^2+c1^2*c2*e0^4+2*c1^2*c2*e0^3*e3+2*c1^2*c2*e0*e3^3+c1^2*c2*e1^4+2*c1^2*c2*e1^3*e2+2*c1^2*c2*e1*e2^3+c1^2*c2*e2^4+c1^2*c2*e3^4+2*c1^2*c3*e0^2*e1^2+2*c1^2*c3*e0^2*e1*e3+2*c1^2*c3*e0*e1^2*e2+2*c1^2*c3*e0*e2*e3^2+2*c1^2*c3*e1*e2^2*e3+2*c1^2*c3*e2^2*e3^2+c1*c2^2*e0^4+2*c1*c2^2*e0^3*e3+2*c1*c2^2*e0*e3^3+c1*c2^2*e1^4+2*c1*c2^2*e1^3*e2+2*c1*c2^2*e1*e2^3+c1*c2^2*e2^4+c1*c2^2*e3^4+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e2+2*c1*c2*c3*e0^2*e1*e2+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e1^3*e3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c2*c3*e1*e3^3+2*c1*c2*c3*e2^3*e3+2*c1*c2*c3*e2*e3^3+2*c1*c3^2*e0^2*e1^2+2*c1*c3^2*e0^2*e1*e3+2*c1*c3^2*e0*e1^2*e2+2*c1*c3^2*e0*e2*e3^2+2*c1*c3^2*e1*e2^2*e3+2*c1*c3^2*e2^2*e3^2+2*c2^3*e0^2*e3^2+2*c2^3*e1^2*e2^2+2*c2^2*c3*e0^2*e2^2+2*c2^2*c3*e0^2*e2*e3+2*c2^2*c3*e0*e1*e2^2+2*c2^2*c3*e0*e1*e3^2+2*c2^2*c3*e1^2*e2*e3+2*c2^2*c3*e1^2*e3^2+2*c2*c3^2*e0^2*e2^2+2*c2*c3^2*e0^2*e2*e3+2*c2*c3^2*e0*e1*e2^2+2*c2*c3^2*e0*e1*e3^2+2*c2*c3^2*e1^2*e2*e3+2*c2*c3^2*e1^2*e3^2+2*c3^3*e0^2*e3^2+2*c3^3*e1^2*e2^2, 2*c0^3*e0^3*e1+2*c0^3*e0*e1^3+2*c0^3*e2^3*e3+2*c0^3*e2*e3^3+2*c0^2*c1*e0^4+2*c0^2*c1*e0^3*e1+4*c0^2*c1*e0^2*e1^2+2*c0^2*c1*e0*e1^3+2*c0^2*c1*e1^4+2*c0^2*c1*e2^4+2*c0^2*c1*e2^3*e3+4*c0^2*c1*e2^2*e3^2+2*c0^2*c1*e2*e3^3+2*c0^2*c1*e3^4+2*c0^2*c2*e0^3*e3+2*c0^2*c2*e0^2*e1*e2+2*c0^2*c2*e0^2*e2*e3+2*c0^2*c2*e0*e1^2*e3+2*c0^2*c2*e0*e1*e2^2+2*c0^2*c2*e0*e1*e3^2+2*c0^2*c2*e0*e2^2*e3+2*c0^2*c2*e0*e3^3+2*c0^2*c2*e1^3*e2+2*c0^2*c2*e1^2*e2*e3+2*c0^2*c2*e1*e2^3+2*c0^2*c2*e1*e2*e3^2+2*c0^2*c3*e0^3*e2+2*c0^2*c3*e0^2*e1*e3+2*c0^2*c3*e0^2*e2*e3+2*c0^2*c3*e0*e1^2*e2+2*c0^2*c3*e0*e1*e2^2+2*c0^2*c3*e0*e1*e3^2+2*c0^2*c3*e0*e2^3+2*c0^2*c3*e0*e2*e3^2+2*c0^2*c3*e1^3*e3+2*c0^2*c3*e1^2*e2*e3+2*c0^2*c3*e1*e2^2*e3+2*c0^2*c3*e1*e3^3+2*c0*c1^2*e0^4+2*c0*c1^2*e0^3*e1+4*c0*c1^2*e0^2*e1^2+2*c0*c1^2*e0*e1^3+2*c0*c1^2*e1^4+2*c0*c1^2*e2^4+2*c0*c1^2*e2^3*e3+4*c0*c1^2*e2^2*e3^2+2*c0*c1^2*e2*e3^3+2*c0*c1^2*e3^4+2*c0*c1*c2*e0^3*e2+2*c0*c1*c2*e0^3*e3+2*c0*c1*c2*e0^2*e1*e2+2*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2^2+4*c0*c1*c2*e0^2*e3^2+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^3*e2+2*c0*c1*c2*e1^3*e3+4*c0*c1*c2*e1^2*e2^2+4*c0*c1*c2*e1^2*e3^2+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c2*e1*e3^3+2*c0*c1*c3*e0^3*e2+2*c0*c1*c3*e0^3*e3+2*c0*c1*c3*e0^2*e1*e2+2*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2^2+4*c0*c1*c3*e0^2*e3^2+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^3*e2+2*c0*c1*c3*e1^3*e3+4*c0*c1*c3*e1^2*e2^2+4*c0*c1*c3*e1^2*e3^2+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c1*c3*e1*e3^3+2*c0*c2^2*e0^3*e3+2*c0*c2^2*e0^2*e1*e2+2*c0*c2^2*e0^2*e2*e3+2*c0*c2^2*e0*e1^2*e3+2*c0*c2^2*e0*e1*e2^2+2*c0*c2^2*e0*e1*e3^2+2*c0*c2^2*e0*e2^2*e3+2*c0*c2^2*e0*e3^3+2*c0*c2^2*e1^3*e2+2*c0*c2^2*e1^2*e2*e3+2*c0*c2^2*e1*e2^3+2*c0*c2^2*e1*e2*e3^2+2*c0*c2*c3*e0^3*e2+2*c0*c2*c3*e0^3*e3+2*c0*c2*c3*e0^2*e1*e2+2*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2^2+4*c0*c2*c3*e0^2*e3^2+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^3*e2+2*c0*c2*c3*e1^3*e3+4*c0*c2*c3*e1^2*e2^2+4*c0*c2*c3*e1^2*e3^2+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c2*c3*e1*e3^3+2*c0*c3^2*e0^3*e2+2*c0*c3^2*e0^2*e1*e3+2*c0*c3^2*e0^2*e2*e3+2*c0*c3^2*e0*e1^2*e2+2*c0*c3^2*e0*e1*e2^2+2*c0*c3^2*e0*e1*e3^2+2*c0*c3^2*e0*e2^3+2*c0*c3^2*e0*e2*e3^2+2*c0*c3^2*e1^3*e3+2*c0*c3^2*e1^2*e2*e3+2*c0*c3^2*e1*e2^2*e3+2*c0*c3^2*e1*e3^3+2*c1^3*e0^3*e1+2*c1^3*e0*e1^3+2*c1^3*e2^3*e3+2*c1^3*e2*e3^3+2*c1^2*c2*e0^3*e2+2*c1^2*c2*e0^2*e1*e3+2*c1^2*c2*e0^2*e2*e3+2*c1^2*c2*e0*e1^2*e2+2*c1^2*c2*e0*e1*e2^2+2*c1^2*c2*e0*e1*e3^2+2*c1^2*c2*e0*e2^3+2*c1^2*c2*e0*e2*e3^2+2*c1^2*c2*e1^3*e3+2*c1^2*c2*e1^2*e2*e3+2*c1^2*c2*e1*e2^2*e3+2*c1^2*c2*e1*e3^3+2*c1^2*c3*e0^3*e3+2*c1^2*c3*e0^2*e1*e2+2*c1^2*c3*e0^2*e2*e3+2*c1^2*c3*e0*e1^2*e3+2*c1^2*c3*e0*e1*e2^2+2*c1^2*c3*e0*e1*e3^2+2*c1^2*c3*e0*e2^2*e3+2*c1^2*c3*e0*e3^3+2*c1^2*c3*e1^3*e2+2*c1^2*c3*e1^2*e2*e3+2*c1^2*c3*e1*e2^3+2*c1^2*c3*e1*e2*e3^2+2*c1*c2^2*e0^3*e2+2*c1*c2^2*e0^2*e1*e3+2*c1*c2^2*e0^2*e2*e3+2*c1*c2^2*e0*e1^2*e2+2*c1*c2^2*e0*e1*e2^2+2*c1*c2^2*e0*e1*e3^2+2*c1*c2^2*e0*e2^3+2*c1*c2^2*e0*e2*e3^2+2*c1*c2^2*e1^3*e3+2*c1*c2^2*e1^2*e2*e3+2*c1*c2^2*e1*e2^2*e3+2*c1*c2^2*e1*e3^3+2*c1*c2*c3*e0^3*e2+2*c1*c2*c3*e0^3*e3+2*c1*c2*c3*e0^2*e1*e2+2*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2^2+4*c1*c2*c3*e0^2*e3^2+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^3*e2+2*c1*c2*c3*e1^3*e3+4*c1*c2*c3*e1^2*e2^2+4*c1*c2*c3*e1^2*e3^2+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c2*c3*e1*e3^3+2*c1*c3^2*e0^3*e3+2*c1*c3^2*e0^2*e1*e2+2*c1*c3^2*e0^2*e2*e3+2*c1*c3^2*e0*e1^2*e3+2*c1*c3^2*e0*e1*e2^2+2*c1*c3^2*e0*e1*e3^2+2*c1*c3^2*e0*e2^2*e3+2*c1*c3^2*e0*e3^3+2*c1*c3^2*e1^3*e2+2*c1*c3^2*e1^2*e2*e3+2*c1*c3^2*e1*e2^3+2*c1*c3^2*e1*e2*e3^2+2*c2^3*e0^3*e1+2*c2^3*e0*e1^3+2*c2^3*e2^3*e3+2*c2^3*e2*e3^3+2*c2^2*c3*e0^4+2*c2^2*c3*e0^3*e1+4*c2^2*c3*e0^2*e1^2+2*c2^2*c3*e0*e1^3+2*c2^2*c3*e1^4+2*c2^2*c3*e2^4+2*c2^2*c3*e2^3*e3+4*c2^2*c3*e2^2*e3^2+2*c2^2*c3*e2*e3^3+2*c2^2*c3*e3^4+2*c2*c3^2*e0^4+2*c2*c3^2*e0^3*e1+4*c2*c3^2*e0^2*e1^2+2*c2*c3^2*e0*e1^3+2*c2*c3^2*e1^4+2*c2*c3^2*e2^4+2*c2*c3^2*e2^3*e3+4*c2*c3^2*e2^2*e3^2+2*c2*c3^2*e2*e3^3+2*c2*c3^2*e3^4+2*c3^3*e0^3*e1+2*c3^3*e0*e1^3+2*c3^3*e2^3*e3+2*c3^3*e2*e3^3, 4*c0^3*e0^2*e1^2+4*c0^3*e2^2*e3^2+4*c0^2*c1*e0^3*e1+4*c0^2*c1*e0^2*e1^2+4*c0^2*c1*e0*e1^3+4*c0^2*c1*e2^3*e3+4*c0^2*c1*e2^2*e3^2+4*c0^2*c1*e2*e3^3+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0*e1^2*e2+8*c0^2*c2*e0*e1*e2*e3+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0*e1^2*e3+8*c0^2*c3*e0*e1*e2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1*e2*e3^2+4*c0*c1^2*e0^3*e1+4*c0*c1^2*e0^2*e1^2+4*c0*c1^2*e0*e1^3+4*c0*c1^2*e2^3*e3+4*c0*c1^2*e2^2*e3^2+4*c0*c1^2*e2*e3^3+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0*e1^2*e2+8*c0*c2^2*e0*e1*e2*e3+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0*e1^2*e3+8*c0*c3^2*e0*e1*e2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1*e2*e3^2+4*c1^3*e0^2*e1^2+4*c1^3*e2^2*e3^2+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0*e1^2*e3+8*c1^2*c2*e0*e1*e2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0*e1^2*e2+8*c1^2*c3*e0*e1*e2*e3+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1*e2^2*e3+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0*e1^2*e3+8*c1*c2^2*e0*e1*e2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0*e1^2*e2+8*c1*c3^2*e0*e1*e2*e3+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1*e2^2*e3+4*c2^3*e0^2*e1^2+4*c2^3*e2^2*e3^2+4*c2^2*c3*e0^3*e1+4*c2^2*c3*e0^2*e1^2+4*c2^2*c3*e0*e1^3+4*c2^2*c3*e2^3*e3+4*c2^2*c3*e2^2*e3^2+4*c2^2*c3*e2*e3^3+4*c2*c3^2*e0^3*e1+4*c2*c3^2*e0^2*e1^2+4*c2*c3^2*e0*e1^3+4*c2*c3^2*e2^3*e3+4*c2*c3^2*e2^2*e3^2+4*c2*c3^2*e2*e3^3+4*c3^3*e0^2*e1^2+4*c3^3*e2^2*e3^2, 4*c0^3*e0^2*e1*e2+4*c0^3*e0*e1^2*e3+4*c0^3*e0*e2^2*e3+4*c0^3*e1*e2*e3^2+4*c0^2*c1*e0^3*e2+4*c0^2*c1*e0^2*e1*e2+4*c0^2*c1*e0^2*e1*e3+4*c0^2*c1*e0*e1^2*e2+4*c0^2*c1*e0*e1^2*e3+4*c0^2*c1*e0*e2^3+4*c0^2*c1*e0*e2^2*e3+4*c0^2*c1*e0*e2*e3^2+4*c0^2*c1*e1^3*e3+4*c0^2*c1*e1*e2^2*e3+4*c0^2*c1*e1*e2*e3^2+4*c0^2*c1*e1*e3^3+4*c0^2*c2*e0^2*e1*e2+8*c0^2*c2*e0^2*e2*e3+4*c0^2*c2*e0*e1^2*e3+8*c0^2*c2*e0*e1*e2^2+8*c0^2*c2*e0*e1*e3^2+4*c0^2*c2*e0*e2^2*e3+8*c0^2*c2*e1^2*e2*e3+4*c0^2*c2*e1*e2*e3^2+4*c0^2*c3*e0^2*e1*e2+8*c0^2*c3*e0^2*e2^2+4*c0^2*c3*e0*e1^2*e3+16*c0^2*c3*e0*e1*e2*e3+4*c0^2*c3*e0*e2^2*e3+8*c0^2*c3*e1^2*e3^2+4*c0^2*c3*e1*e2*e3^2+4*c0*c1^2*e0^3*e2+4*c0*c1^2*e0^2*e1*e2+4*c0*c1^2*e0^2*e1*e3+4*c0*c1^2*e0*e1^2*e2+4*c0*c1^2*e0*e1^2*e3+4*c0*c1^2*e0*e2^3+4*c0*c1^2*e0*e2^2*e3+4*c0*c1^2*e0*e2*e3^2+4*c0*c1^2*e1^3*e3+4*c0*c1^2*e1*e2^2*e3+4*c0*c1^2*e1*e2*e3^2+4*c0*c1^2*e1*e3^3+4*c0*c1*c2*e0^3*e2+4*c0*c1*c2*e0^2*e1*e3+8*c0*c1*c2*e0^2*e2^2+8*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+8*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+8*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^3*e3+8*c0*c1*c2*e1^2*e2*e3+8*c0*c1*c2*e1^2*e3^2+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e3^3+4*c0*c1*c3*e0^3*e2+4*c0*c1*c3*e0^2*e1*e3+8*c0*c1*c3*e0^2*e2^2+8*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+8*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+8*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^3*e3+8*c0*c1*c3*e1^2*e2*e3+8*c0*c1*c3*e1^2*e3^2+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e3^3+4*c0*c2^2*e0^2*e1*e2+8*c0*c2^2*e0^2*e2*e3+4*c0*c2^2*e0*e1^2*e3+8*c0*c2^2*e0*e1*e2^2+8*c0*c2^2*e0*e1*e3^2+4*c0*c2^2*e0*e2^2*e3+8*c0*c2^2*e1^2*e2*e3+4*c0*c2^2*e1*e2*e3^2+4*c0*c2*c3*e0^3*e2+4*c0*c2*c3*e0^2*e1*e3+8*c0*c2*c3*e0^2*e2^2+8*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+8*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+8*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^3*e3+8*c0*c2*c3*e1^2*e2*e3+8*c0*c2*c3*e1^2*e3^2+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e3^3+4*c0*c3^2*e0^2*e1*e2+8*c0*c3^2*e0^2*e2^2+4*c0*c3^2*e0*e1^2*e3+16*c0*c3^2*e0*e1*e2*e3+4*c0*c3^2*e0*e2^2*e3+8*c0*c3^2*e1^2*e3^2+4*c0*c3^2*e1*e2*e3^2+4*c1^3*e0^2*e1*e2+4*c1^3*e0*e1^2*e3+4*c1^3*e0*e2^2*e3+4*c1^3*e1*e2*e3^2+4*c1^2*c2*e0^2*e1*e2+8*c1^2*c2*e0^2*e2^2+4*c1^2*c2*e0*e1^2*e3+16*c1^2*c2*e0*e1*e2*e3+4*c1^2*c2*e0*e2^2*e3+8*c1^2*c2*e1^2*e3^2+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c3*e0^2*e1*e2+8*c1^2*c3*e0^2*e2*e3+4*c1^2*c3*e0*e1^2*e3+8*c1^2*c3*e0*e1*e2^2+8*c1^2*c3*e0*e1*e3^2+4*c1^2*c3*e0*e2^2*e3+8*c1^2*c3*e1^2*e2*e3+4*c1^2*c3*e1*e2*e3^2+4*c1*c2^2*e0^2*e1*e2+8*c1*c2^2*e0^2*e2^2+4*c1*c2^2*e0*e1^2*e3+16*c1*c2^2*e0*e1*e2*e3+4*c1*c2^2*e0*e2^2*e3+8*c1*c2^2*e1^2*e3^2+4*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^3*e2+4*c1*c2*c3*e0^2*e1*e3+8*c1*c2*c3*e0^2*e2^2+8*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+8*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+8*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^3*e3+8*c1*c2*c3*e1^2*e2*e3+8*c1*c2*c3*e1^2*e3^2+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e3^3+4*c1*c3^2*e0^2*e1*e2+8*c1*c3^2*e0^2*e2*e3+4*c1*c3^2*e0*e1^2*e3+8*c1*c3^2*e0*e1*e2^2+8*c1*c3^2*e0*e1*e3^2+4*c1*c3^2*e0*e2^2*e3+8*c1*c3^2*e1^2*e2*e3+4*c1*c3^2*e1*e2*e3^2+4*c2^3*e0^2*e1*e2+4*c2^3*e0*e1^2*e3+4*c2^3*e0*e2^2*e3+4*c2^3*e1*e2*e3^2+4*c2^2*c3*e0^3*e2+4*c2^2*c3*e0^2*e1*e2+4*c2^2*c3*e0^2*e1*e3+4*c2^2*c3*e0*e1^2*e2+4*c2^2*c3*e0*e1^2*e3+4*c2^2*c3*e0*e2^3+4*c2^2*c3*e0*e2^2*e3+4*c2^2*c3*e0*e2*e3^2+4*c2^2*c3*e1^3*e3+4*c2^2*c3*e1*e2^2*e3+4*c2^2*c3*e1*e2*e3^2+4*c2^2*c3*e1*e3^3+4*c2*c3^2*e0^3*e2+4*c2*c3^2*e0^2*e1*e2+4*c2*c3^2*e0^2*e1*e3+4*c2*c3^2*e0*e1^2*e2+4*c2*c3^2*e0*e1^2*e3+4*c2*c3^2*e0*e2^3+4*c2*c3^2*e0*e2^2*e3+4*c2*c3^2*e0*e2*e3^2+4*c2*c3^2*e1^3*e3+4*c2*c3^2*e1*e2^2*e3+4*c2*c3^2*e1*e2*e3^2+4*c2*c3^2*e1*e3^3+4*c3^3*e0^2*e1*e2+4*c3^3*e0*e1^2*e3+4*c3^3*e0*e2^2*e3+4*c3^3*e1*e2*e3^2, 4*c0^3*e0^2*e1*e3+4*c0^3*e0*e1^2*e2+4*c0^3*e0*e2*e3^2+4*c0^3*e1*e2^2*e3+4*c0^2*c1*e0^3*e3+4*c0^2*c1*e0^2*e1*e2+4*c0^2*c1*e0^2*e1*e3+4*c0^2*c1*e0*e1^2*e2+4*c0^2*c1*e0*e1^2*e3+4*c0^2*c1*e0*e2^2*e3+4*c0^2*c1*e0*e2*e3^2+4*c0^2*c1*e0*e3^3+4*c0^2*c1*e1^3*e2+4*c0^2*c1*e1*e2^3+4*c0^2*c1*e1*e2^2*e3+4*c0^2*c1*e1*e2*e3^2+4*c0^2*c2*e0^2*e1*e3+8*c0^2*c2*e0^2*e3^2+4*c0^2*c2*e0*e1^2*e2+16*c0^2*c2*e0*e1*e2*e3+4*c0^2*c2*e0*e2*e3^2+8*c0^2*c2*e1^2*e2^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c3*e0^2*e1*e3+8*c0^2*c3*e0^2*e2*e3+4*c0^2*c3*e0*e1^2*e2+8*c0^2*c3*e0*e1*e2^2+8*c0^2*c3*e0*e1*e3^2+4*c0^2*c3*e0*e2*e3^2+8*c0^2*c3*e1^2*e2*e3+4*c0^2*c3*e1*e2^2*e3+4*c0*c1^2*e0^3*e3+4*c0*c1^2*e0^2*e1*e2+4*c0*c1^2*e0^2*e1*e3+4*c0*c1^2*e0*e1^2*e2+4*c0*c1^2*e0*e1^2*e3+4*c0*c1^2*e0*e2^2*e3+4*c0*c1^2*e0*e2*e3^2+4*c0*c1^2*e0*e3^3+4*c0*c1^2*e1^3*e2+4*c0*c1^2*e1*e2^3+4*c0*c1^2*e1*e2^2*e3+4*c0*c1^2*e1*e2*e3^2+4*c0*c1*c2*e0^3*e3+4*c0*c1*c2*e0^2*e1*e2+8*c0*c1*c2*e0^2*e2*e3+8*c0*c1*c2*e0^2*e3^2+4*c0*c1*c2*e0*e1^2*e3+8*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+8*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e3^3+4*c0*c1*c2*e1^3*e2+8*c0*c1*c2*e1^2*e2^2+8*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^3*e3+4*c0*c1*c3*e0^2*e1*e2+8*c0*c1*c3*e0^2*e2*e3+8*c0*c1*c3*e0^2*e3^2+4*c0*c1*c3*e0*e1^2*e3+8*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+8*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e3^3+4*c0*c1*c3*e1^3*e2+8*c0*c1*c3*e1^2*e2^2+8*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^2*e1*e3+8*c0*c2^2*e0^2*e3^2+4*c0*c2^2*e0*e1^2*e2+16*c0*c2^2*e0*e1*e2*e3+4*c0*c2^2*e0*e2*e3^2+8*c0*c2^2*e1^2*e2^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^3*e3+4*c0*c2*c3*e0^2*e1*e2+8*c0*c2*c3*e0^2*e2*e3+8*c0*c2*c3*e0^2*e3^2+4*c0*c2*c3*e0*e1^2*e3+8*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+8*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e3^3+4*c0*c2*c3*e1^3*e2+8*c0*c2*c3*e1^2*e2^2+8*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c3^2*e0^2*e1*e3+8*c0*c3^2*e0^2*e2*e3+4*c0*c3^2*e0*e1^2*e2+8*c0*c3^2*e0*e1*e2^2+8*c0*c3^2*e0*e1*e3^2+4*c0*c3^2*e0*e2*e3^2+8*c0*c3^2*e1^2*e2*e3+4*c0*c3^2*e1*e2^2*e3+4*c1^3*e0^2*e1*e3+4*c1^3*e0*e1^2*e2+4*c1^3*e0*e2*e3^2+4*c1^3*e1*e2^2*e3+4*c1^2*c2*e0^2*e1*e3+8*c1^2*c2*e0^2*e2*e3+4*c1^2*c2*e0*e1^2*e2+8*c1^2*c2*e0*e1*e2^2+8*c1^2*c2*e0*e1*e3^2+4*c1^2*c2*e0*e2*e3^2+8*c1^2*c2*e1^2*e2*e3+4*c1^2*c2*e1*e2^2*e3+4*c1^2*c3*e0^2*e1*e3+8*c1^2*c3*e0^2*e3^2+4*c1^2*c3*e0*e1^2*e2+16*c1^2*c3*e0*e1*e2*e3+4*c1^2*c3*e0*e2*e3^2+8*c1^2*c3*e1^2*e2^2+4*c1^2*c3*e1*e2^2*e3+4*c1*c2^2*e0^2*e1*e3+8*c1*c2^2*e0^2*e2*e3+4*c1*c2^2*e0*e1^2*e2+8*c1*c2^2*e0*e1*e2^2+8*c1*c2^2*e0*e1*e3^2+4*c1*c2^2*e0*e2*e3^2+8*c1*c2^2*e1^2*e2*e3+4*c1*c2^2*e1*e2^2*e3+4*c1*c2*c3*e0^3*e3+4*c1*c2*c3*e0^2*e1*e2+8*c1*c2*c3*e0^2*e2*e3+8*c1*c2*c3*e0^2*e3^2+4*c1*c2*c3*e0*e1^2*e3+8*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+8*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e3^3+4*c1*c2*c3*e1^3*e2+8*c1*c2*c3*e1^2*e2^2+8*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^2*e1*e3+8*c1*c3^2*e0^2*e3^2+4*c1*c3^2*e0*e1^2*e2+16*c1*c3^2*e0*e1*e2*e3+4*c1*c3^2*e0*e2*e3^2+8*c1*c3^2*e1^2*e2^2+4*c1*c3^2*e1*e2^2*e3+4*c2^3*e0^2*e1*e3+4*c2^3*e0*e1^2*e2+4*c2^3*e0*e2*e3^2+4*c2^3*e1*e2^2*e3+4*c2^2*c3*e0^3*e3+4*c2^2*c3*e0^2*e1*e2+4*c2^2*c3*e0^2*e1*e3+4*c2^2*c3*e0*e1^2*e2+4*c2^2*c3*e0*e1^2*e3+4*c2^2*c3*e0*e2^2*e3+4*c2^2*c3*e0*e2*e3^2+4*c2^2*c3*e0*e3^3+4*c2^2*c3*e1^3*e2+4*c2^2*c3*e1*e2^3+4*c2^2*c3*e1*e2^2*e3+4*c2^2*c3*e1*e2*e3^2+4*c2*c3^2*e0^3*e3+4*c2*c3^2*e0^2*e1*e2+4*c2*c3^2*e0^2*e1*e3+4*c2*c3^2*e0*e1^2*e2+4*c2*c3^2*e0*e1^2*e3+4*c2*c3^2*e0*e2^2*e3+4*c2*c3^2*e0*e2*e3^2+4*c2*c3^2*e0*e3^3+4*c2*c3^2*e1^3*e2+4*c2*c3^2*e1*e2^3+4*c2*c3^2*e1*e2^2*e3+4*c2*c3^2*e1*e2*e3^2+4*c3^3*e0^2*e1*e3+4*c3^3*e0*e1^2*e2+4*c3^3*e0*e2*e3^2+4*c3^3*e1*e2^2*e3, 2*c0^3*e0^2*e2*e3+2*c0^3*e0*e1*e2^2+2*c0^3*e0*e1*e3^2+2*c0^3*e1^2*e2*e3+4*c0^2*c1*e0^2*e2^2+2*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0^2*e3^2+2*c0^2*c1*e0*e1*e2^2+2*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2^2+2*c0^2*c1*e1^2*e2*e3+4*c0^2*c1*e1^2*e3^2+2*c0^2*c2*e0^3*e1+2*c0^2*c2*e0^3*e3+2*c0^2*c2*e0^2*e1*e2+2*c0^2*c2*e0*e1^3+2*c0^2*c2*e0*e1^2*e3+2*c0^2*c2*e0*e2^2*e3+2*c0^2*c2*e0*e3^3+2*c0^2*c2*e1^3*e2+2*c0^2*c2*e1*e2^3+2*c0^2*c2*e1*e2*e3^2+2*c0^2*c2*e2^3*e3+2*c0^2*c2*e2*e3^3+2*c0^2*c3*e0^3*e1+2*c0^2*c3*e0^3*e2+2*c0^2*c3*e0^2*e1*e3+2*c0^2*c3*e0*e1^3+2*c0^2*c3*e0*e1^2*e2+2*c0^2*c3*e0*e2^3+2*c0^2*c3*e0*e2*e3^2+2*c0^2*c3*e1^3*e3+2*c0^2*c3*e1*e2^2*e3+2*c0^2*c3*e1*e3^3+2*c0^2*c3*e2^3*e3+2*c0^2*c3*e2*e3^3+4*c0*c1^2*e0^2*e2^2+2*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0^2*e3^2+2*c0*c1^2*e0*e1*e2^2+2*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2^2+2*c0*c1^2*e1^2*e2*e3+4*c0*c1^2*e1^2*e3^2+2*c0*c1*c2*e0^4+2*c0*c1*c2*e0^3*e2+2*c0*c1*c2*e0^3*e3+4*c0*c1*c2*e0^2*e1^2+2*c0*c1*c2*e0^2*e1*e2+2*c0*c1*c2*e0^2*e1*e3+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^4+2*c0*c1*c2*e1^3*e2+2*c0*c1*c2*e1^3*e3+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c2*e1*e3^3+2*c0*c1*c2*e2^4+4*c0*c1*c2*e2^2*e3^2+2*c0*c1*c2*e3^4+2*c0*c1*c3*e0^4+2*c0*c1*c3*e0^3*e2+2*c0*c1*c3*e0^3*e3+4*c0*c1*c3*e0^2*e1^2+2*c0*c1*c3*e0^2*e1*e2+2*c0*c1*c3*e0^2*e1*e3+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^4+2*c0*c1*c3*e1^3*e2+2*c0*c1*c3*e1^3*e3+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c1*c3*e1*e3^3+2*c0*c1*c3*e2^4+4*c0*c1*c3*e2^2*e3^2+2*c0*c1*c3*e3^4+2*c0*c2^2*e0^3*e1+2*c0*c2^2*e0^3*e3+2*c0*c2^2*e0^2*e1*e2+2*c0*c2^2*e0*e1^3+2*c0*c2^2*e0*e1^2*e3+2*c0*c2^2*e0*e2^2*e3+2*c0*c2^2*e0*e3^3+2*c0*c2^2*e1^3*e2+2*c0*c2^2*e1*e2^3+2*c0*c2^2*e1*e2*e3^2+2*c0*c2^2*e2^3*e3+2*c0*c2^2*e2*e3^3+2*c0*c2*c3*e0^4+2*c0*c2*c3*e0^3*e2+2*c0*c2*c3*e0^3*e3+4*c0*c2*c3*e0^2*e1^2+2*c0*c2*c3*e0^2*e1*e2+2*c0*c2*c3*e0^2*e1*e3+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^4+2*c0*c2*c3*e1^3*e2+2*c0*c2*c3*e1^3*e3+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c2*c3*e1*e3^3+2*c0*c2*c3*e2^4+4*c0*c2*c3*e2^2*e3^2+2*c0*c2*c3*e3^4+2*c0*c3^2*e0^3*e1+2*c0*c3^2*e0^3*e2+2*c0*c3^2*e0^2*e1*e3+2*c0*c3^2*e0*e1^3+2*c0*c3^2*e0*e1^2*e2+2*c0*c3^2*e0*e2^3+2*c0*c3^2*e0*e2*e3^2+2*c0*c3^2*e1^3*e3+2*c0*c3^2*e1*e2^2*e3+2*c0*c3^2*e1*e3^3+2*c0*c3^2*e2^3*e3+2*c0*c3^2*e2*e3^3+2*c1^3*e0^2*e2*e3+2*c1^3*e0*e1*e2^2+2*c1^3*e0*e1*e3^2+2*c1^3*e1^2*e2*e3+2*c1^2*c2*e0^3*e1+2*c1^2*c2*e0^3*e2+2*c1^2*c2*e0^2*e1*e3+2*c1^2*c2*e0*e1^3+2*c1^2*c2*e0*e1^2*e2+2*c1^2*c2*e0*e2^3+2*c1^2*c2*e0*e2*e3^2+2*c1^2*c2*e1^3*e3+2*c1^2*c2*e1*e2^2*e3+2*c1^2*c2*e1*e3^3+2*c1^2*c2*e2^3*e3+2*c1^2*c2*e2*e3^3+2*c1^2*c3*e0^3*e1+2*c1^2*c3*e0^3*e3+2*c1^2*c3*e0^2*e1*e2+2*c1^2*c3*e0*e1^3+2*c1^2*c3*e0*e1^2*e3+2*c1^2*c3*e0*e2^2*e3+2*c1^2*c3*e0*e3^3+2*c1^2*c3*e1^3*e2+2*c1^2*c3*e1*e2^3+2*c1^2*c3*e1*e2*e3^2+2*c1^2*c3*e2^3*e3+2*c1^2*c3*e2*e3^3+2*c1*c2^2*e0^3*e1+2*c1*c2^2*e0^3*e2+2*c1*c2^2*e0^2*e1*e3+2*c1*c2^2*e0*e1^3+2*c1*c2^2*e0*e1^2*e2+2*c1*c2^2*e0*e2^3+2*c1*c2^2*e0*e2*e3^2+2*c1*c2^2*e1^3*e3+2*c1*c2^2*e1*e2^2*e3+2*c1*c2^2*e1*e3^3+2*c1*c2^2*e2^3*e3+2*c1*c2^2*e2*e3^3+2*c1*c2*c3*e0^4+2*c1*c2*c3*e0^3*e2+2*c1*c2*c3*e0^3*e3+4*c1*c2*c3*e0^2*e1^2+2*c1*c2*c3*e0^2*e1*e2+2*c1*c2*c3*e0^2*e1*e3+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^4+2*c1*c2*c3*e1^3*e2+2*c1*c2*c3*e1^3*e3+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c2*c3*e1*e3^3+2*c1*c2*c3*e2^4+4*c1*c2*c3*e2^2*e3^2+2*c1*c2*c3*e3^4+2*c1*c3^2*e0^3*e1+2*c1*c3^2*e0^3*e3+2*c1*c3^2*e0^2*e1*e2+2*c1*c3^2*e0*e1^3+2*c1*c3^2*e0*e1^2*e3+2*c1*c3^2*e0*e2^2*e3+2*c1*c3^2*e0*e3^3+2*c1*c3^2*e1^3*e2+2*c1*c3^2*e1*e2^3+2*c1*c3^2*e1*e2*e3^2+2*c1*c3^2*e2^3*e3+2*c1*c3^2*e2*e3^3+2*c2^3*e0^2*e2*e3+2*c2^3*e0*e1*e2^2+2*c2^3*e0*e1*e3^2+2*c2^3*e1^2*e2*e3+4*c2^2*c3*e0^2*e2^2+2*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0^2*e3^2+2*c2^2*c3*e0*e1*e2^2+2*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2^2+2*c2^2*c3*e1^2*e2*e3+4*c2^2*c3*e1^2*e3^2+4*c2*c3^2*e0^2*e2^2+2*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0^2*e3^2+2*c2*c3^2*e0*e1*e2^2+2*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2^2+2*c2*c3^2*e1^2*e2*e3+4*c2*c3^2*e1^2*e3^2+2*c3^3*e0^2*e2*e3+2*c3^3*e0*e1*e2^2+2*c3^3*e0*e1*e3^2+2*c3^3*e1^2*e2*e3, 8*c0^3*e0*e1*e2*e3+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0*e1*e2^2+8*c0^2*c1*e0*e1*e2*e3+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c2*e0^2*e1^2+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0*e1^2*e2+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c2*e2^2*e3^2+4*c0^2*c3*e0^2*e1^2+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0*e1^2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1*e2*e3^2+4*c0^2*c3*e2^2*e3^2+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0*e1*e2^2+8*c0*c1^2*e0*e1*e2*e3+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1*c2*e0^3*e1+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0*e1^3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c2*e2^3*e3+4*c0*c1*c2*e2*e3^3+4*c0*c1*c3*e0^3*e1+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0*e1^3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c1*c3*e2^3*e3+4*c0*c1*c3*e2*e3^3+4*c0*c2^2*e0^2*e1^2+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0*e1^2*e2+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2^2*e2^2*e3^2+4*c0*c2*c3*e0^3*e1+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0*e1^3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c2*c3*e2^3*e3+4*c0*c2*c3*e2*e3^3+4*c0*c3^2*e0^2*e1^2+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0*e1^2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1*e2*e3^2+4*c0*c3^2*e2^2*e3^2+8*c1^3*e0*e1*e2*e3+4*c1^2*c2*e0^2*e1^2+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0*e1^2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c2*e2^2*e3^2+4*c1^2*c3*e0^2*e1^2+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0*e1^2*e2+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1*e2^2*e3+4*c1^2*c3*e2^2*e3^2+4*c1*c2^2*e0^2*e1^2+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0*e1^2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1*e2*e3^2+4*c1*c2^2*e2^2*e3^2+4*c1*c2*c3*e0^3*e1+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0*e1^3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c2*c3*e2^3*e3+4*c1*c2*c3*e2*e3^3+4*c1*c3^2*e0^2*e1^2+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0*e1^2*e2+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1*e2^2*e3+4*c1*c3^2*e2^2*e3^2+8*c2^3*e0*e1*e2*e3+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0*e1*e2^2+8*c2^2*c3*e0*e1*e2*e3+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2*e3+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0*e1*e2^2+8*c2*c3^2*e0*e1*e2*e3+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2*e3+8*c3^3*e0*e1*e2*e3, 2*c0^3*e0^3*e2+2*c0^3*e0*e2^3+2*c0^3*e1^3*e3+2*c0^3*e1*e3^3+2*c0^2*c1*e0^3*e3+2*c0^2*c1*e0^2*e1*e2+2*c0^2*c1*e0^2*e1*e3+2*c0^2*c1*e0*e1^2*e2+2*c0^2*c1*e0*e1^2*e3+2*c0^2*c1*e0*e2^2*e3+2*c0^2*c1*e0*e2*e3^2+2*c0^2*c1*e0*e3^3+2*c0^2*c1*e1^3*e2+2*c0^2*c1*e1*e2^3+2*c0^2*c1*e1*e2^2*e3+2*c0^2*c1*e1*e2*e3^2+2*c0^2*c2*e0^4+2*c0^2*c2*e0^3*e2+4*c0^2*c2*e0^2*e2^2+2*c0^2*c2*e0*e2^3+2*c0^2*c2*e1^4+2*c0^2*c2*e1^3*e3+4*c0^2*c2*e1^2*e3^2+2*c0^2*c2*e1*e3^3+2*c0^2*c2*e2^4+2*c0^2*c2*e3^4+2*c0^2*c3*e0^3*e1+2*c0^2*c3*e0^2*e1*e3+2*c0^2*c3*e0^2*e2*e3+2*c0^2*c3*e0*e1^3+2*c0^2*c3*e0*e1^2*e2+2*c0^2*c3*e0*e1*e2^2+2*c0^2*c3*e0*e1*e3^2+2*c0^2*c3*e0*e2*e3^2+2*c0^2*c3*e1^2*e2*e3+2*c0^2*c3*e1*e2^2*e3+2*c0^2*c3*e2^3*e3+2*c0^2*c3*e2*e3^3+2*c0*c1^2*e0^3*e3+2*c0*c1^2*e0^2*e1*e2+2*c0*c1^2*e0^2*e1*e3+2*c0*c1^2*e0*e1^2*e2+2*c0*c1^2*e0*e1^2*e3+2*c0*c1^2*e0*e2^2*e3+2*c0*c1^2*e0*e2*e3^2+2*c0*c1^2*e0*e3^3+2*c0*c1^2*e1^3*e2+2*c0*c1^2*e1*e2^3+2*c0*c1^2*e1*e2^2*e3+2*c0*c1^2*e1*e2*e3^2+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e3+4*c0*c1*c2*e0^2*e1^2+2*c0*c1*c2*e0^2*e1*e2+2*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0^2*e3^2+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^3*e2+4*c0*c1*c2*e1^2*e2^2+2*c0*c1*c2*e1^2*e2*e3+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c2*e2^3*e3+4*c0*c1*c2*e2^2*e3^2+2*c0*c1*c2*e2*e3^3+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e3+4*c0*c1*c3*e0^2*e1^2+2*c0*c1*c3*e0^2*e1*e2+2*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0^2*e3^2+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^3*e2+4*c0*c1*c3*e1^2*e2^2+2*c0*c1*c3*e1^2*e2*e3+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c1*c3*e2^3*e3+4*c0*c1*c3*e2^2*e3^2+2*c0*c1*c3*e2*e3^3+2*c0*c2^2*e0^4+2*c0*c2^2*e0^3*e2+4*c0*c2^2*e0^2*e2^2+2*c0*c2^2*e0*e2^3+2*c0*c2^2*e1^4+2*c0*c2^2*e1^3*e3+4*c0*c2^2*e1^2*e3^2+2*c0*c2^2*e1*e3^3+2*c0*c2^2*e2^4+2*c0*c2^2*e3^4+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e3+4*c0*c2*c3*e0^2*e1^2+2*c0*c2*c3*e0^2*e1*e2+2*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0^2*e3^2+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^3*e2+4*c0*c2*c3*e1^2*e2^2+2*c0*c2*c3*e1^2*e2*e3+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c2*c3*e2^3*e3+4*c0*c2*c3*e2^2*e3^2+2*c0*c2*c3*e2*e3^3+2*c0*c3^2*e0^3*e1+2*c0*c3^2*e0^2*e1*e3+2*c0*c3^2*e0^2*e2*e3+2*c0*c3^2*e0*e1^3+2*c0*c3^2*e0*e1^2*e2+2*c0*c3^2*e0*e1*e2^2+2*c0*c3^2*e0*e1*e3^2+2*c0*c3^2*e0*e2*e3^2+2*c0*c3^2*e1^2*e2*e3+2*c0*c3^2*e1*e2^2*e3+2*c0*c3^2*e2^3*e3+2*c0*c3^2*e2*e3^3+2*c1^3*e0^3*e2+2*c1^3*e0*e2^3+2*c1^3*e1^3*e3+2*c1^3*e1*e3^3+2*c1^2*c2*e0^3*e1+2*c1^2*c2*e0^2*e1*e3+2*c1^2*c2*e0^2*e2*e3+2*c1^2*c2*e0*e1^3+2*c1^2*c2*e0*e1^2*e2+2*c1^2*c2*e0*e1*e2^2+2*c1^2*c2*e0*e1*e3^2+2*c1^2*c2*e0*e2*e3^2+2*c1^2*c2*e1^2*e2*e3+2*c1^2*c2*e1*e2^2*e3+2*c1^2*c2*e2^3*e3+2*c1^2*c2*e2*e3^3+2*c1^2*c3*e0^4+2*c1^2*c3*e0^3*e2+4*c1^2*c3*e0^2*e2^2+2*c1^2*c3*e0*e2^3+2*c1^2*c3*e1^4+2*c1^2*c3*e1^3*e3+4*c1^2*c3*e1^2*e3^2+2*c1^2*c3*e1*e3^3+2*c1^2*c3*e2^4+2*c1^2*c3*e3^4+2*c1*c2^2*e0^3*e1+2*c1*c2^2*e0^2*e1*e3+2*c1*c2^2*e0^2*e2*e3+2*c1*c2^2*e0*e1^3+2*c1*c2^2*e0*e1^2*e2+2*c1*c2^2*e0*e1*e2^2+2*c1*c2^2*e0*e1*e3^2+2*c1*c2^2*e0*e2*e3^2+2*c1*c2^2*e1^2*e2*e3+2*c1*c2^2*e1*e2^2*e3+2*c1*c2^2*e2^3*e3+2*c1*c2^2*e2*e3^3+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e3+4*c1*c2*c3*e0^2*e1^2+2*c1*c2*c3*e0^2*e1*e2+2*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0^2*e3^2+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^3*e2+4*c1*c2*c3*e1^2*e2^2+2*c1*c2*c3*e1^2*e2*e3+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c2*c3*e2^3*e3+4*c1*c2*c3*e2^2*e3^2+2*c1*c2*c3*e2*e3^3+2*c1*c3^2*e0^4+2*c1*c3^2*e0^3*e2+4*c1*c3^2*e0^2*e2^2+2*c1*c3^2*e0*e2^3+2*c1*c3^2*e1^4+2*c1*c3^2*e1^3*e3+4*c1*c3^2*e1^2*e3^2+2*c1*c3^2*e1*e3^3+2*c1*c3^2*e2^4+2*c1*c3^2*e3^4+2*c2^3*e0^3*e2+2*c2^3*e0*e2^3+2*c2^3*e1^3*e3+2*c2^3*e1*e3^3+2*c2^2*c3*e0^3*e3+2*c2^2*c3*e0^2*e1*e2+2*c2^2*c3*e0^2*e1*e3+2*c2^2*c3*e0*e1^2*e2+2*c2^2*c3*e0*e1^2*e3+2*c2^2*c3*e0*e2^2*e3+2*c2^2*c3*e0*e2*e3^2+2*c2^2*c3*e0*e3^3+2*c2^2*c3*e1^3*e2+2*c2^2*c3*e1*e2^3+2*c2^2*c3*e1*e2^2*e3+2*c2^2*c3*e1*e2*e3^2+2*c2*c3^2*e0^3*e3+2*c2*c3^2*e0^2*e1*e2+2*c2*c3^2*e0^2*e1*e3+2*c2*c3^2*e0*e1^2*e2+2*c2*c3^2*e0*e1^2*e3+2*c2*c3^2*e0*e2^2*e3+2*c2*c3^2*e0*e2*e3^2+2*c2*c3^2*e0*e3^3+2*c2*c3^2*e1^3*e2+2*c2*c3^2*e1*e2^3+2*c2*c3^2*e1*e2^2*e3+2*c2*c3^2*e1*e2*e3^2+2*c3^3*e0^3*e2+2*c3^3*e0*e2^3+2*c3^3*e1^3*e3+2*c3^3*e1*e3^3, 4*c0^3*e0^2*e1*e2+4*c0^3*e0*e1^2*e3+4*c0^3*e0*e2^2*e3+4*c0^3*e1*e2*e3^2+4*c0^2*c1*e0^2*e1*e2+8*c0^2*c1*e0^2*e1*e3+8*c0^2*c1*e0*e1^2*e2+4*c0^2*c1*e0*e1^2*e3+4*c0^2*c1*e0*e2^2*e3+8*c0^2*c1*e0*e2*e3^2+8*c0^2*c1*e1*e2^2*e3+4*c0^2*c1*e1*e2*e3^2+4*c0^2*c2*e0^3*e1+4*c0^2*c2*e0^2*e1*e2+4*c0^2*c2*e0^2*e2*e3+4*c0^2*c2*e0*e1^3+4*c0^2*c2*e0*e1^2*e3+4*c0^2*c2*e0*e1*e2^2+4*c0^2*c2*e0*e1*e3^2+4*c0^2*c2*e0*e2^2*e3+4*c0^2*c2*e1^2*e2*e3+4*c0^2*c2*e1*e2*e3^2+4*c0^2*c2*e2^3*e3+4*c0^2*c2*e2*e3^3+8*c0^2*c3*e0^2*e1^2+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0*e1^2*e3+16*c0^2*c3*e0*e1*e2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1*e2*e3^2+8*c0^2*c3*e2^2*e3^2+4*c0*c1^2*e0^2*e1*e2+8*c0*c1^2*e0^2*e1*e3+8*c0*c1^2*e0*e1^2*e2+4*c0*c1^2*e0*e1^2*e3+4*c0*c1^2*e0*e2^2*e3+8*c0*c1^2*e0*e2*e3^2+8*c0*c1^2*e1*e2^2*e3+4*c0*c1^2*e1*e2*e3^2+4*c0*c1*c2*e0^3*e1+8*c0*c1*c2*e0^2*e1^2+8*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^3+8*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e1*e3^2+8*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^2*e2*e3+8*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e2^3*e3+8*c0*c1*c2*e2^2*e3^2+4*c0*c1*c2*e2*e3^3+4*c0*c1*c3*e0^3*e1+8*c0*c1*c3*e0^2*e1^2+8*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^3+8*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e1*e3^2+8*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^2*e2*e3+8*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e2^3*e3+8*c0*c1*c3*e2^2*e3^2+4*c0*c1*c3*e2*e3^3+4*c0*c2^2*e0^3*e1+4*c0*c2^2*e0^2*e1*e2+4*c0*c2^2*e0^2*e2*e3+4*c0*c2^2*e0*e1^3+4*c0*c2^2*e0*e1^2*e3+4*c0*c2^2*e0*e1*e2^2+4*c0*c2^2*e0*e1*e3^2+4*c0*c2^2*e0*e2^2*e3+4*c0*c2^2*e1^2*e2*e3+4*c0*c2^2*e1*e2*e3^2+4*c0*c2^2*e2^3*e3+4*c0*c2^2*e2*e3^3+4*c0*c2*c3*e0^3*e1+8*c0*c2*c3*e0^2*e1^2+8*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^3+8*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e1*e3^2+8*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^2*e2*e3+8*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e2^3*e3+8*c0*c2*c3*e2^2*e3^2+4*c0*c2*c3*e2*e3^3+8*c0*c3^2*e0^2*e1^2+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0*e1^2*e3+16*c0*c3^2*e0*e1*e2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1*e2*e3^2+8*c0*c3^2*e2^2*e3^2+4*c1^3*e0^2*e1*e2+4*c1^3*e0*e1^2*e3+4*c1^3*e0*e2^2*e3+4*c1^3*e1*e2*e3^2+8*c1^2*c2*e0^2*e1^2+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0*e1^2*e3+16*c1^2*c2*e0*e1*e2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1*e2*e3^2+8*c1^2*c2*e2^2*e3^2+4*c1^2*c3*e0^3*e1+4*c1^2*c3*e0^2*e1*e2+4*c1^2*c3*e0^2*e2*e3+4*c1^2*c3*e0*e1^3+4*c1^2*c3*e0*e1^2*e3+4*c1^2*c3*e0*e1*e2^2+4*c1^2*c3*e0*e1*e3^2+4*c1^2*c3*e0*e2^2*e3+4*c1^2*c3*e1^2*e2*e3+4*c1^2*c3*e1*e2*e3^2+4*c1^2*c3*e2^3*e3+4*c1^2*c3*e2*e3^3+8*c1*c2^2*e0^2*e1^2+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0*e1^2*e3+16*c1*c2^2*e0*e1*e2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1*e2*e3^2+8*c1*c2^2*e2^2*e3^2+4*c1*c2*c3*e0^3*e1+8*c1*c2*c3*e0^2*e1^2+8*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^3+8*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e1*e3^2+8*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^2*e2*e3+8*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e2^3*e3+8*c1*c2*c3*e2^2*e3^2+4*c1*c2*c3*e2*e3^3+4*c1*c3^2*e0^3*e1+4*c1*c3^2*e0^2*e1*e2+4*c1*c3^2*e0^2*e2*e3+4*c1*c3^2*e0*e1^3+4*c1*c3^2*e0*e1^2*e3+4*c1*c3^2*e0*e1*e2^2+4*c1*c3^2*e0*e1*e3^2+4*c1*c3^2*e0*e2^2*e3+4*c1*c3^2*e1^2*e2*e3+4*c1*c3^2*e1*e2*e3^2+4*c1*c3^2*e2^3*e3+4*c1*c3^2*e2*e3^3+4*c2^3*e0^2*e1*e2+4*c2^3*e0*e1^2*e3+4*c2^3*e0*e2^2*e3+4*c2^3*e1*e2*e3^2+4*c2^2*c3*e0^2*e1*e2+8*c2^2*c3*e0^2*e1*e3+8*c2^2*c3*e0*e1^2*e2+4*c2^2*c3*e0*e1^2*e3+4*c2^2*c3*e0*e2^2*e3+8*c2^2*c3*e0*e2*e3^2+8*c2^2*c3*e1*e2^2*e3+4*c2^2*c3*e1*e2*e3^2+4*c2*c3^2*e0^2*e1*e2+8*c2*c3^2*e0^2*e1*e3+8*c2*c3^2*e0*e1^2*e2+4*c2*c3^2*e0*e1^2*e3+4*c2*c3^2*e0*e2^2*e3+8*c2*c3^2*e0*e2*e3^2+8*c2*c3^2*e1*e2^2*e3+4*c2*c3^2*e1*e2*e3^2+4*c3^3*e0^2*e1*e2+4*c3^3*e0*e1^2*e3+4*c3^3*e0*e2^2*e3+4*c3^3*e1*e2*e3^2, 4*c0^3*e0^2*e2^2+4*c0^3*e1^2*e3^2+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0*e1*e2^2+8*c0^2*c1*e0*e1*e2*e3+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c2*e0^3*e2+4*c0^2*c2*e0^2*e2^2+4*c0^2*c2*e0*e2^3+4*c0^2*c2*e1^3*e3+4*c0^2*c2*e1^2*e3^2+4*c0^2*c2*e1*e3^3+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0*e1^2*e3+8*c0^2*c3*e0*e1*e2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1*e2*e3^2+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0*e1*e2^2+8*c0*c1^2*e0*e1*e2*e3+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^3*e2+4*c0*c2^2*e0^2*e2^2+4*c0*c2^2*e0*e2^3+4*c0*c2^2*e1^3*e3+4*c0*c2^2*e1^2*e3^2+4*c0*c2^2*e1*e3^3+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0*e1^2*e3+8*c0*c3^2*e0*e1*e2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1*e2*e3^2+4*c1^3*e0^2*e2^2+4*c1^3*e1^2*e3^2+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0*e1^2*e3+8*c1^2*c2*e0*e1*e2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c3*e0^3*e2+4*c1^2*c3*e0^2*e2^2+4*c1^2*c3*e0*e2^3+4*c1^2*c3*e1^3*e3+4*c1^2*c3*e1^2*e3^2+4*c1^2*c3*e1*e3^3+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0*e1^2*e3+8*c1*c2^2*e0*e1*e2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^3*e2+4*c1*c3^2*e0^2*e2^2+4*c1*c3^2*e0*e2^3+4*c1*c3^2*e1^3*e3+4*c1*c3^2*e1^2*e3^2+4*c1*c3^2*e1*e3^3+4*c2^3*e0^2*e2^2+4*c2^3*e1^2*e3^2+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0*e1*e2^2+8*c2^2*c3*e0*e1*e2*e3+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2*e3+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0*e1*e2^2+8*c2*c3^2*e0*e1*e2*e3+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2*e3+4*c3^3*e0^2*e2^2+4*c3^3*e1^2*e3^2, 4*c0^3*e0^2*e2*e3+4*c0^3*e0*e1*e2^2+4*c0^3*e0*e1*e3^2+4*c0^3*e1^2*e2*e3+4*c0^2*c1*e0^2*e2*e3+8*c0^2*c1*e0^2*e3^2+4*c0^2*c1*e0*e1*e2^2+16*c0^2*c1*e0*e1*e2*e3+4*c0^2*c1*e0*e1*e3^2+8*c0^2*c1*e1^2*e2^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c2*e0^3*e3+4*c0^2*c2*e0^2*e1*e2+4*c0^2*c2*e0^2*e2*e3+4*c0^2*c2*e0*e1^2*e3+4*c0^2*c2*e0*e1*e2^2+4*c0^2*c2*e0*e1*e3^2+4*c0^2*c2*e0*e2^2*e3+4*c0^2*c2*e0*e3^3+4*c0^2*c2*e1^3*e2+4*c0^2*c2*e1^2*e2*e3+4*c0^2*c2*e1*e2^3+4*c0^2*c2*e1*e2*e3^2+8*c0^2*c3*e0^2*e1*e3+4*c0^2*c3*e0^2*e2*e3+8*c0^2*c3*e0*e1^2*e2+4*c0^2*c3*e0*e1*e2^2+4*c0^2*c3*e0*e1*e3^2+8*c0^2*c3*e0*e2*e3^2+4*c0^2*c3*e1^2*e2*e3+8*c0^2*c3*e1*e2^2*e3+4*c0*c1^2*e0^2*e2*e3+8*c0*c1^2*e0^2*e3^2+4*c0*c1^2*e0*e1*e2^2+16*c0*c1^2*e0*e1*e2*e3+4*c0*c1^2*e0*e1*e3^2+8*c0*c1^2*e1^2*e2^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1*c2*e0^3*e3+4*c0*c1*c2*e0^2*e1*e2+8*c0*c1*c2*e0^2*e1*e3+8*c0*c1*c2*e0^2*e3^2+8*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e2^2*e3+8*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e0*e3^3+4*c0*c1*c2*e1^3*e2+8*c0*c1*c2*e1^2*e2^2+4*c0*c1*c2*e1*e2^3+8*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^3*e3+4*c0*c1*c3*e0^2*e1*e2+8*c0*c1*c3*e0^2*e1*e3+8*c0*c1*c3*e0^2*e3^2+8*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e2^2*e3+8*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e0*e3^3+4*c0*c1*c3*e1^3*e2+8*c0*c1*c3*e1^2*e2^2+4*c0*c1*c3*e1*e2^3+8*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^3*e3+4*c0*c2^2*e0^2*e1*e2+4*c0*c2^2*e0^2*e2*e3+4*c0*c2^2*e0*e1^2*e3+4*c0*c2^2*e0*e1*e2^2+4*c0*c2^2*e0*e1*e3^2+4*c0*c2^2*e0*e2^2*e3+4*c0*c2^2*e0*e3^3+4*c0*c2^2*e1^3*e2+4*c0*c2^2*e1^2*e2*e3+4*c0*c2^2*e1*e2^3+4*c0*c2^2*e1*e2*e3^2+4*c0*c2*c3*e0^3*e3+4*c0*c2*c3*e0^2*e1*e2+8*c0*c2*c3*e0^2*e1*e3+8*c0*c2*c3*e0^2*e3^2+8*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e2^2*e3+8*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e0*e3^3+4*c0*c2*c3*e1^3*e2+8*c0*c2*c3*e1^2*e2^2+4*c0*c2*c3*e1*e2^3+8*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+8*c0*c3^2*e0^2*e1*e3+4*c0*c3^2*e0^2*e2*e3+8*c0*c3^2*e0*e1^2*e2+4*c0*c3^2*e0*e1*e2^2+4*c0*c3^2*e0*e1*e3^2+8*c0*c3^2*e0*e2*e3^2+4*c0*c3^2*e1^2*e2*e3+8*c0*c3^2*e1*e2^2*e3+4*c1^3*e0^2*e2*e3+4*c1^3*e0*e1*e2^2+4*c1^3*e0*e1*e3^2+4*c1^3*e1^2*e2*e3+8*c1^2*c2*e0^2*e1*e3+4*c1^2*c2*e0^2*e2*e3+8*c1^2*c2*e0*e1^2*e2+4*c1^2*c2*e0*e1*e2^2+4*c1^2*c2*e0*e1*e3^2+8*c1^2*c2*e0*e2*e3^2+4*c1^2*c2*e1^2*e2*e3+8*c1^2*c2*e1*e2^2*e3+4*c1^2*c3*e0^3*e3+4*c1^2*c3*e0^2*e1*e2+4*c1^2*c3*e0^2*e2*e3+4*c1^2*c3*e0*e1^2*e3+4*c1^2*c3*e0*e1*e2^2+4*c1^2*c3*e0*e1*e3^2+4*c1^2*c3*e0*e2^2*e3+4*c1^2*c3*e0*e3^3+4*c1^2*c3*e1^3*e2+4*c1^2*c3*e1^2*e2*e3+4*c1^2*c3*e1*e2^3+4*c1^2*c3*e1*e2*e3^2+8*c1*c2^2*e0^2*e1*e3+4*c1*c2^2*e0^2*e2*e3+8*c1*c2^2*e0*e1^2*e2+4*c1*c2^2*e0*e1*e2^2+4*c1*c2^2*e0*e1*e3^2+8*c1*c2^2*e0*e2*e3^2+4*c1*c2^2*e1^2*e2*e3+8*c1*c2^2*e1*e2^2*e3+4*c1*c2*c3*e0^3*e3+4*c1*c2*c3*e0^2*e1*e2+8*c1*c2*c3*e0^2*e1*e3+8*c1*c2*c3*e0^2*e3^2+8*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e2^2*e3+8*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e0*e3^3+4*c1*c2*c3*e1^3*e2+8*c1*c2*c3*e1^2*e2^2+4*c1*c2*c3*e1*e2^3+8*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^3*e3+4*c1*c3^2*e0^2*e1*e2+4*c1*c3^2*e0^2*e2*e3+4*c1*c3^2*e0*e1^2*e3+4*c1*c3^2*e0*e1*e2^2+4*c1*c3^2*e0*e1*e3^2+4*c1*c3^2*e0*e2^2*e3+4*c1*c3^2*e0*e3^3+4*c1*c3^2*e1^3*e2+4*c1*c3^2*e1^2*e2*e3+4*c1*c3^2*e1*e2^3+4*c1*c3^2*e1*e2*e3^2+4*c2^3*e0^2*e2*e3+4*c2^3*e0*e1*e2^2+4*c2^3*e0*e1*e3^2+4*c2^3*e1^2*e2*e3+4*c2^2*c3*e0^2*e2*e3+8*c2^2*c3*e0^2*e3^2+4*c2^2*c3*e0*e1*e2^2+16*c2^2*c3*e0*e1*e2*e3+4*c2^2*c3*e0*e1*e3^2+8*c2^2*c3*e1^2*e2^2+4*c2^2*c3*e1^2*e2*e3+4*c2*c3^2*e0^2*e2*e3+8*c2*c3^2*e0^2*e3^2+4*c2*c3^2*e0*e1*e2^2+16*c2*c3^2*e0*e1*e2*e3+4*c2*c3^2*e0*e1*e3^2+8*c2*c3^2*e1^2*e2^2+4*c2*c3^2*e1^2*e2*e3+4*c3^3*e0^2*e2*e3+4*c3^3*e0*e1*e2^2+4*c3^3*e0*e1*e3^2+4*c3^3*e1^2*e2*e3, 2*c0^3*e0^2*e1*e3+2*c0^3*e0*e1^2*e2+2*c0^3*e0*e2*e3^2+2*c0^3*e1*e2^2*e3+2*c0^2*c1*e0^3*e2+2*c0^2*c1*e0^3*e3+2*c0^2*c1*e0^2*e1*e2+2*c0^2*c1*e0*e1^2*e3+2*c0^2*c1*e0*e2^3+2*c0^2*c1*e0*e2^2*e3+2*c0^2*c1*e0*e3^3+2*c0^2*c1*e1^3*e2+2*c0^2*c1*e1^3*e3+2*c0^2*c1*e1*e2^3+2*c0^2*c1*e1*e2*e3^2+2*c0^2*c1*e1*e3^3+4*c0^2*c2*e0^2*e1^2+2*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0^2*e3^2+2*c0^2*c2*e0*e1^2*e2+2*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1^2*e2^2+2*c0^2*c2*e1*e2^2*e3+4*c0^2*c2*e2^2*e3^2+2*c0^2*c3*e0^3*e1+2*c0^2*c3*e0^3*e2+2*c0^2*c3*e0^2*e2*e3+2*c0^2*c3*e0*e1^3+2*c0^2*c3*e0*e1*e2^2+2*c0^2*c3*e0*e1*e3^2+2*c0^2*c3*e0*e2^3+2*c0^2*c3*e1^3*e3+2*c0^2*c3*e1^2*e2*e3+2*c0^2*c3*e1*e3^3+2*c0^2*c3*e2^3*e3+2*c0^2*c3*e2*e3^3+2*c0*c1^2*e0^3*e2+2*c0*c1^2*e0^3*e3+2*c0*c1^2*e0^2*e1*e2+2*c0*c1^2*e0*e1^2*e3+2*c0*c1^2*e0*e2^3+2*c0*c1^2*e0*e2^2*e3+2*c0*c1^2*e0*e3^3+2*c0*c1^2*e1^3*e2+2*c0*c1^2*e1^3*e3+2*c0*c1^2*e1*e2^3+2*c0*c1^2*e1*e2*e3^2+2*c0*c1^2*e1*e3^3+2*c0*c1*c2*e0^4+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e3+2*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e2^2+2*c0*c1*c2*e0^2*e2*e3+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e3+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^2*e3+2*c0*c1*c2*e0*e3^3+2*c0*c1*c2*e1^4+2*c0*c1*c2*e1^3*e2+2*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1^2*e3^2+2*c0*c1*c2*e1*e2^3+2*c0*c1*c2*e1*e2*e3^2+2*c0*c1*c2*e2^4+2*c0*c1*c2*e2^3*e3+2*c0*c1*c2*e2*e3^3+2*c0*c1*c2*e3^4+2*c0*c1*c3*e0^4+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e3+2*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e2^2+2*c0*c1*c3*e0^2*e2*e3+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e3+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^2*e3+2*c0*c1*c3*e0*e3^3+2*c0*c1*c3*e1^4+2*c0*c1*c3*e1^3*e2+2*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1^2*e3^2+2*c0*c1*c3*e1*e2^3+2*c0*c1*c3*e1*e2*e3^2+2*c0*c1*c3*e2^4+2*c0*c1*c3*e2^3*e3+2*c0*c1*c3*e2*e3^3+2*c0*c1*c3*e3^4+4*c0*c2^2*e0^2*e1^2+2*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0^2*e3^2+2*c0*c2^2*e0*e1^2*e2+2*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1^2*e2^2+2*c0*c2^2*e1*e2^2*e3+4*c0*c2^2*e2^2*e3^2+2*c0*c2*c3*e0^4+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e3+2*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e2^2+2*c0*c2*c3*e0^2*e2*e3+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e3+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^2*e3+2*c0*c2*c3*e0*e3^3+2*c0*c2*c3*e1^4+2*c0*c2*c3*e1^3*e2+2*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1^2*e3^2+2*c0*c2*c3*e1*e2^3+2*c0*c2*c3*e1*e2*e3^2+2*c0*c2*c3*e2^4+2*c0*c2*c3*e2^3*e3+2*c0*c2*c3*e2*e3^3+2*c0*c2*c3*e3^4+2*c0*c3^2*e0^3*e1+2*c0*c3^2*e0^3*e2+2*c0*c3^2*e0^2*e2*e3+2*c0*c3^2*e0*e1^3+2*c0*c3^2*e0*e1*e2^2+2*c0*c3^2*e0*e1*e3^2+2*c0*c3^2*e0*e2^3+2*c0*c3^2*e1^3*e3+2*c0*c3^2*e1^2*e2*e3+2*c0*c3^2*e1*e3^3+2*c0*c3^2*e2^3*e3+2*c0*c3^2*e2*e3^3+2*c1^3*e0^2*e1*e3+2*c1^3*e0*e1^2*e2+2*c1^3*e0*e2*e3^2+2*c1^3*e1*e2^2*e3+2*c1^2*c2*e0^3*e1+2*c1^2*c2*e0^3*e2+2*c1^2*c2*e0^2*e2*e3+2*c1^2*c2*e0*e1^3+2*c1^2*c2*e0*e1*e2^2+2*c1^2*c2*e0*e1*e3^2+2*c1^2*c2*e0*e2^3+2*c1^2*c2*e1^3*e3+2*c1^2*c2*e1^2*e2*e3+2*c1^2*c2*e1*e3^3+2*c1^2*c2*e2^3*e3+2*c1^2*c2*e2*e3^3+4*c1^2*c3*e0^2*e1^2+2*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0^2*e3^2+2*c1^2*c3*e0*e1^2*e2+2*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1^2*e2^2+2*c1^2*c3*e1*e2^2*e3+4*c1^2*c3*e2^2*e3^2+2*c1*c2^2*e0^3*e1+2*c1*c2^2*e0^3*e2+2*c1*c2^2*e0^2*e2*e3+2*c1*c2^2*e0*e1^3+2*c1*c2^2*e0*e1*e2^2+2*c1*c2^2*e0*e1*e3^2+2*c1*c2^2*e0*e2^3+2*c1*c2^2*e1^3*e3+2*c1*c2^2*e1^2*e2*e3+2*c1*c2^2*e1*e3^3+2*c1*c2^2*e2^3*e3+2*c1*c2^2*e2*e3^3+2*c1*c2*c3*e0^4+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e3+2*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e2^2+2*c1*c2*c3*e0^2*e2*e3+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e3+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^2*e3+2*c1*c2*c3*e0*e3^3+2*c1*c2*c3*e1^4+2*c1*c2*c3*e1^3*e2+2*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1^2*e3^2+2*c1*c2*c3*e1*e2^3+2*c1*c2*c3*e1*e2*e3^2+2*c1*c2*c3*e2^4+2*c1*c2*c3*e2^3*e3+2*c1*c2*c3*e2*e3^3+2*c1*c2*c3*e3^4+4*c1*c3^2*e0^2*e1^2+2*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0^2*e3^2+2*c1*c3^2*e0*e1^2*e2+2*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1^2*e2^2+2*c1*c3^2*e1*e2^2*e3+4*c1*c3^2*e2^2*e3^2+2*c2^3*e0^2*e1*e3+2*c2^3*e0*e1^2*e2+2*c2^3*e0*e2*e3^2+2*c2^3*e1*e2^2*e3+2*c2^2*c3*e0^3*e2+2*c2^2*c3*e0^3*e3+2*c2^2*c3*e0^2*e1*e2+2*c2^2*c3*e0*e1^2*e3+2*c2^2*c3*e0*e2^3+2*c2^2*c3*e0*e2^2*e3+2*c2^2*c3*e0*e3^3+2*c2^2*c3*e1^3*e2+2*c2^2*c3*e1^3*e3+2*c2^2*c3*e1*e2^3+2*c2^2*c3*e1*e2*e3^2+2*c2^2*c3*e1*e3^3+2*c2*c3^2*e0^3*e2+2*c2*c3^2*e0^3*e3+2*c2*c3^2*e0^2*e1*e2+2*c2*c3^2*e0*e1^2*e3+2*c2*c3^2*e0*e2^3+2*c2*c3^2*e0*e2^2*e3+2*c2*c3^2*e0*e3^3+2*c2*c3^2*e1^3*e2+2*c2*c3^2*e1^3*e3+2*c2*c3^2*e1*e2^3+2*c2*c3^2*e1*e2*e3^2+2*c2*c3^2*e1*e3^3+2*c3^3*e0^2*e1*e3+2*c3^3*e0*e1^2*e2+2*c3^3*e0*e2*e3^2+2*c3^3*e1*e2^2*e3, 8*c0^3*e0*e1*e2*e3+4*c0^2*c1*e0^2*e2^2+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0*e1*e2^2+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c1*e1^2*e3^2+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0*e1^2*e2+8*c0^2*c2*e0*e1*e2*e3+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0^2*e2^2+4*c0^2*c3*e0*e1^2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1^2*e3^2+4*c0^2*c3*e1*e2*e3^2+4*c0*c1^2*e0^2*e2^2+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0*e1*e2^2+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1^2*e1^2*e3^2+4*c0*c1*c2*e0^3*e2+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^3+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e1^3*e3+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c2*e1*e3^3+4*c0*c1*c3*e0^3*e2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^3+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e1^3*e3+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c1*c3*e1*e3^3+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0*e1^2*e2+8*c0*c2^2*e0*e1*e2*e3+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^3*e2+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^3+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e1^3*e3+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c2*c3*e1*e3^3+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0^2*e2^2+4*c0*c3^2*e0*e1^2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1^2*e3^2+4*c0*c3^2*e1*e2*e3^2+8*c1^3*e0*e1*e2*e3+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0^2*e2^2+4*c1^2*c2*e0*e1^2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1^2*e3^2+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0*e1^2*e2+8*c1^2*c3*e0*e1*e2*e3+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1*e2^2*e3+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0^2*e2^2+4*c1*c2^2*e0*e1^2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1^2*e3^2+4*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^3*e2+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^3+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e1^3*e3+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c2*c3*e1*e3^3+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0*e1^2*e2+8*c1*c3^2*e0*e1*e2*e3+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1*e2^2*e3+8*c2^3*e0*e1*e2*e3+4*c2^2*c3*e0^2*e2^2+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0*e1*e2^2+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2*e3+4*c2^2*c3*e1^2*e3^2+4*c2*c3^2*e0^2*e2^2+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0*e1*e2^2+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2*e3+4*c2*c3^2*e1^2*e3^2+8*c3^3*e0*e1*e2*e3, 2*c0^3*e0^3*e3+2*c0^3*e0*e3^3+2*c0^3*e1^3*e2+2*c0^3*e1*e2^3+2*c0^2*c1*e0^3*e2+2*c0^2*c1*e0^2*e1*e2+2*c0^2*c1*e0^2*e1*e3+2*c0^2*c1*e0*e1^2*e2+2*c0^2*c1*e0*e1^2*e3+2*c0^2*c1*e0*e2^3+2*c0^2*c1*e0*e2^2*e3+2*c0^2*c1*e0*e2*e3^2+2*c0^2*c1*e1^3*e3+2*c0^2*c1*e1*e2^2*e3+2*c0^2*c1*e1*e2*e3^2+2*c0^2*c1*e1*e3^3+2*c0^2*c2*e0^3*e1+2*c0^2*c2*e0^2*e1*e2+2*c0^2*c2*e0^2*e2*e3+2*c0^2*c2*e0*e1^3+2*c0^2*c2*e0*e1^2*e3+2*c0^2*c2*e0*e1*e2^2+2*c0^2*c2*e0*e1*e3^2+2*c0^2*c2*e0*e2^2*e3+2*c0^2*c2*e1^2*e2*e3+2*c0^2*c2*e1*e2*e3^2+2*c0^2*c2*e2^3*e3+2*c0^2*c2*e2*e3^3+2*c0^2*c3*e0^4+2*c0^2*c3*e0^3*e3+4*c0^2*c3*e0^2*e3^2+2*c0^2*c3*e0*e3^3+2*c0^2*c3*e1^4+2*c0^2*c3*e1^3*e2+4*c0^2*c3*e1^2*e2^2+2*c0^2*c3*e1*e2^3+2*c0^2*c3*e2^4+2*c0^2*c3*e3^4+2*c0*c1^2*e0^3*e2+2*c0*c1^2*e0^2*e1*e2+2*c0*c1^2*e0^2*e1*e3+2*c0*c1^2*e0*e1^2*e2+2*c0*c1^2*e0*e1^2*e3+2*c0*c1^2*e0*e2^3+2*c0*c1^2*e0*e2^2*e3+2*c0*c1^2*e0*e2*e3^2+2*c0*c1^2*e1^3*e3+2*c0*c1^2*e1*e2^2*e3+2*c0*c1^2*e1*e2*e3^2+2*c0*c1^2*e1*e3^3+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e2+4*c0*c1*c2*e0^2*e1^2+2*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2^2+2*c0*c1*c2*e0^2*e2*e3+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e1^3*e3+2*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1^2*e3^2+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e1*e3^3+2*c0*c1*c2*e2^3*e3+4*c0*c1*c2*e2^2*e3^2+2*c0*c1*c2*e2*e3^3+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e2+4*c0*c1*c3*e0^2*e1^2+2*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2^2+2*c0*c1*c3*e0^2*e2*e3+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e1^3*e3+2*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1^2*e3^2+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e1*e3^3+2*c0*c1*c3*e2^3*e3+4*c0*c1*c3*e2^2*e3^2+2*c0*c1*c3*e2*e3^3+2*c0*c2^2*e0^3*e1+2*c0*c2^2*e0^2*e1*e2+2*c0*c2^2*e0^2*e2*e3+2*c0*c2^2*e0*e1^3+2*c0*c2^2*e0*e1^2*e3+2*c0*c2^2*e0*e1*e2^2+2*c0*c2^2*e0*e1*e3^2+2*c0*c2^2*e0*e2^2*e3+2*c0*c2^2*e1^2*e2*e3+2*c0*c2^2*e1*e2*e3^2+2*c0*c2^2*e2^3*e3+2*c0*c2^2*e2*e3^3+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e2+4*c0*c2*c3*e0^2*e1^2+2*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2^2+2*c0*c2*c3*e0^2*e2*e3+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e1^3*e3+2*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1^2*e3^2+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e1*e3^3+2*c0*c2*c3*e2^3*e3+4*c0*c2*c3*e2^2*e3^2+2*c0*c2*c3*e2*e3^3+2*c0*c3^2*e0^4+2*c0*c3^2*e0^3*e3+4*c0*c3^2*e0^2*e3^2+2*c0*c3^2*e0*e3^3+2*c0*c3^2*e1^4+2*c0*c3^2*e1^3*e2+4*c0*c3^2*e1^2*e2^2+2*c0*c3^2*e1*e2^3+2*c0*c3^2*e2^4+2*c0*c3^2*e3^4+2*c1^3*e0^3*e3+2*c1^3*e0*e3^3+2*c1^3*e1^3*e2+2*c1^3*e1*e2^3+2*c1^2*c2*e0^4+2*c1^2*c2*e0^3*e3+4*c1^2*c2*e0^2*e3^2+2*c1^2*c2*e0*e3^3+2*c1^2*c2*e1^4+2*c1^2*c2*e1^3*e2+4*c1^2*c2*e1^2*e2^2+2*c1^2*c2*e1*e2^3+2*c1^2*c2*e2^4+2*c1^2*c2*e3^4+2*c1^2*c3*e0^3*e1+2*c1^2*c3*e0^2*e1*e2+2*c1^2*c3*e0^2*e2*e3+2*c1^2*c3*e0*e1^3+2*c1^2*c3*e0*e1^2*e3+2*c1^2*c3*e0*e1*e2^2+2*c1^2*c3*e0*e1*e3^2+2*c1^2*c3*e0*e2^2*e3+2*c1^2*c3*e1^2*e2*e3+2*c1^2*c3*e1*e2*e3^2+2*c1^2*c3*e2^3*e3+2*c1^2*c3*e2*e3^3+2*c1*c2^2*e0^4+2*c1*c2^2*e0^3*e3+4*c1*c2^2*e0^2*e3^2+2*c1*c2^2*e0*e3^3+2*c1*c2^2*e1^4+2*c1*c2^2*e1^3*e2+4*c1*c2^2*e1^2*e2^2+2*c1*c2^2*e1*e2^3+2*c1*c2^2*e2^4+2*c1*c2^2*e3^4+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e2+4*c1*c2*c3*e0^2*e1^2+2*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2^2+2*c1*c2*c3*e0^2*e2*e3+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e1^3*e3+2*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1^2*e3^2+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e1*e3^3+2*c1*c2*c3*e2^3*e3+4*c1*c2*c3*e2^2*e3^2+2*c1*c2*c3*e2*e3^3+2*c1*c3^2*e0^3*e1+2*c1*c3^2*e0^2*e1*e2+2*c1*c3^2*e0^2*e2*e3+2*c1*c3^2*e0*e1^3+2*c1*c3^2*e0*e1^2*e3+2*c1*c3^2*e0*e1*e2^2+2*c1*c3^2*e0*e1*e3^2+2*c1*c3^2*e0*e2^2*e3+2*c1*c3^2*e1^2*e2*e3+2*c1*c3^2*e1*e2*e3^2+2*c1*c3^2*e2^3*e3+2*c1*c3^2*e2*e3^3+2*c2^3*e0^3*e3+2*c2^3*e0*e3^3+2*c2^3*e1^3*e2+2*c2^3*e1*e2^3+2*c2^2*c3*e0^3*e2+2*c2^2*c3*e0^2*e1*e2+2*c2^2*c3*e0^2*e1*e3+2*c2^2*c3*e0*e1^2*e2+2*c2^2*c3*e0*e1^2*e3+2*c2^2*c3*e0*e2^3+2*c2^2*c3*e0*e2^2*e3+2*c2^2*c3*e0*e2*e3^2+2*c2^2*c3*e1^3*e3+2*c2^2*c3*e1*e2^2*e3+2*c2^2*c3*e1*e2*e3^2+2*c2^2*c3*e1*e3^3+2*c2*c3^2*e0^3*e2+2*c2*c3^2*e0^2*e1*e2+2*c2*c3^2*e0^2*e1*e3+2*c2*c3^2*e0*e1^2*e2+2*c2*c3^2*e0*e1^2*e3+2*c2*c3^2*e0*e2^3+2*c2*c3^2*e0*e2^2*e3+2*c2*c3^2*e0*e2*e3^2+2*c2*c3^2*e1^3*e3+2*c2*c3^2*e1*e2^2*e3+2*c2*c3^2*e1*e2*e3^2+2*c2*c3^2*e1*e3^3+2*c3^3*e0^3*e3+2*c3^3*e0*e3^3+2*c3^3*e1^3*e2+2*c3^3*e1*e2^3, 4*c0^3*e0^2*e1*e3+4*c0^3*e0*e1^2*e2+4*c0^3*e0*e2*e3^2+4*c0^3*e1*e2^2*e3+8*c0^2*c1*e0^2*e1*e2+4*c0^2*c1*e0^2*e1*e3+4*c0^2*c1*e0*e1^2*e2+8*c0^2*c1*e0*e1^2*e3+8*c0^2*c1*e0*e2^2*e3+4*c0^2*c1*e0*e2*e3^2+4*c0^2*c1*e1*e2^2*e3+8*c0^2*c1*e1*e2*e3^2+8*c0^2*c2*e0^2*e1^2+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0*e1^2*e2+16*c0^2*c2*e0*e1*e2*e3+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1*e2^2*e3+8*c0^2*c2*e2^2*e3^2+4*c0^2*c3*e0^3*e1+4*c0^2*c3*e0^2*e1*e3+4*c0^2*c3*e0^2*e2*e3+4*c0^2*c3*e0*e1^3+4*c0^2*c3*e0*e1^2*e2+4*c0^2*c3*e0*e1*e2^2+4*c0^2*c3*e0*e1*e3^2+4*c0^2*c3*e0*e2*e3^2+4*c0^2*c3*e1^2*e2*e3+4*c0^2*c3*e1*e2^2*e3+4*c0^2*c3*e2^3*e3+4*c0^2*c3*e2*e3^3+8*c0*c1^2*e0^2*e1*e2+4*c0*c1^2*e0^2*e1*e3+4*c0*c1^2*e0*e1^2*e2+8*c0*c1^2*e0*e1^2*e3+8*c0*c1^2*e0*e2^2*e3+4*c0*c1^2*e0*e2*e3^2+4*c0*c1^2*e1*e2^2*e3+8*c0*c1^2*e1*e2*e3^2+4*c0*c1*c2*e0^3*e1+8*c0*c1*c2*e0^2*e1^2+8*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^3+8*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e1*e3^2+8*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e1^2*e2*e3+8*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c2*e2^3*e3+8*c0*c1*c2*e2^2*e3^2+4*c0*c1*c2*e2*e3^3+4*c0*c1*c3*e0^3*e1+8*c0*c1*c3*e0^2*e1^2+8*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^3+8*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e1*e3^2+8*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e1^2*e2*e3+8*c0*c1*c3*e1*e2*e3^2+4*c0*c1*c3*e2^3*e3+8*c0*c1*c3*e2^2*e3^2+4*c0*c1*c3*e2*e3^3+8*c0*c2^2*e0^2*e1^2+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0*e1^2*e2+16*c0*c2^2*e0*e1*e2*e3+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1*e2^2*e3+8*c0*c2^2*e2^2*e3^2+4*c0*c2*c3*e0^3*e1+8*c0*c2*c3*e0^2*e1^2+8*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^3+8*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e1*e3^2+8*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e1^2*e2*e3+8*c0*c2*c3*e1*e2*e3^2+4*c0*c2*c3*e2^3*e3+8*c0*c2*c3*e2^2*e3^2+4*c0*c2*c3*e2*e3^3+4*c0*c3^2*e0^3*e1+4*c0*c3^2*e0^2*e1*e3+4*c0*c3^2*e0^2*e2*e3+4*c0*c3^2*e0*e1^3+4*c0*c3^2*e0*e1^2*e2+4*c0*c3^2*e0*e1*e2^2+4*c0*c3^2*e0*e1*e3^2+4*c0*c3^2*e0*e2*e3^2+4*c0*c3^2*e1^2*e2*e3+4*c0*c3^2*e1*e2^2*e3+4*c0*c3^2*e2^3*e3+4*c0*c3^2*e2*e3^3+4*c1^3*e0^2*e1*e3+4*c1^3*e0*e1^2*e2+4*c1^3*e0*e2*e3^2+4*c1^3*e1*e2^2*e3+4*c1^2*c2*e0^3*e1+4*c1^2*c2*e0^2*e1*e3+4*c1^2*c2*e0^2*e2*e3+4*c1^2*c2*e0*e1^3+4*c1^2*c2*e0*e1^2*e2+4*c1^2*c2*e0*e1*e2^2+4*c1^2*c2*e0*e1*e3^2+4*c1^2*c2*e0*e2*e3^2+4*c1^2*c2*e1^2*e2*e3+4*c1^2*c2*e1*e2^2*e3+4*c1^2*c2*e2^3*e3+4*c1^2*c2*e2*e3^3+8*c1^2*c3*e0^2*e1^2+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0*e1^2*e2+16*c1^2*c3*e0*e1*e2*e3+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1*e2^2*e3+8*c1^2*c3*e2^2*e3^2+4*c1*c2^2*e0^3*e1+4*c1*c2^2*e0^2*e1*e3+4*c1*c2^2*e0^2*e2*e3+4*c1*c2^2*e0*e1^3+4*c1*c2^2*e0*e1^2*e2+4*c1*c2^2*e0*e1*e2^2+4*c1*c2^2*e0*e1*e3^2+4*c1*c2^2*e0*e2*e3^2+4*c1*c2^2*e1^2*e2*e3+4*c1*c2^2*e1*e2^2*e3+4*c1*c2^2*e2^3*e3+4*c1*c2^2*e2*e3^3+4*c1*c2*c3*e0^3*e1+8*c1*c2*c3*e0^2*e1^2+8*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^3+8*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e1*e3^2+8*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e1^2*e2*e3+8*c1*c2*c3*e1*e2*e3^2+4*c1*c2*c3*e2^3*e3+8*c1*c2*c3*e2^2*e3^2+4*c1*c2*c3*e2*e3^3+8*c1*c3^2*e0^2*e1^2+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0*e1^2*e2+16*c1*c3^2*e0*e1*e2*e3+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1*e2^2*e3+8*c1*c3^2*e2^2*e3^2+4*c2^3*e0^2*e1*e3+4*c2^3*e0*e1^2*e2+4*c2^3*e0*e2*e3^2+4*c2^3*e1*e2^2*e3+8*c2^2*c3*e0^2*e1*e2+4*c2^2*c3*e0^2*e1*e3+4*c2^2*c3*e0*e1^2*e2+8*c2^2*c3*e0*e1^2*e3+8*c2^2*c3*e0*e2^2*e3+4*c2^2*c3*e0*e2*e3^2+4*c2^2*c3*e1*e2^2*e3+8*c2^2*c3*e1*e2*e3^2+8*c2*c3^2*e0^2*e1*e2+4*c2*c3^2*e0^2*e1*e3+4*c2*c3^2*e0*e1^2*e2+8*c2*c3^2*e0*e1^2*e3+8*c2*c3^2*e0*e2^2*e3+4*c2*c3^2*e0*e2*e3^2+4*c2*c3^2*e1*e2^2*e3+8*c2*c3^2*e1*e2*e3^2+4*c3^3*e0^2*e1*e3+4*c3^3*e0*e1^2*e2+4*c3^3*e0*e2*e3^2+4*c3^3*e1*e2^2*e3, 4*c0^3*e0^2*e2*e3+4*c0^3*e0*e1*e2^2+4*c0^3*e0*e1*e3^2+4*c0^3*e1^2*e2*e3+8*c0^2*c1*e0^2*e2^2+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0*e1*e2^2+16*c0^2*c1*e0*e1*e2*e3+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2*e3+8*c0^2*c1*e1^2*e3^2+8*c0^2*c2*e0^2*e1*e2+4*c0^2*c2*e0^2*e2*e3+8*c0^2*c2*e0*e1^2*e3+4*c0^2*c2*e0*e1*e2^2+4*c0^2*c2*e0*e1*e3^2+8*c0^2*c2*e0*e2^2*e3+4*c0^2*c2*e1^2*e2*e3+8*c0^2*c2*e1*e2*e3^2+4*c0^2*c3*e0^3*e2+4*c0^2*c3*e0^2*e1*e3+4*c0^2*c3*e0^2*e2*e3+4*c0^2*c3*e0*e1^2*e2+4*c0^2*c3*e0*e1*e2^2+4*c0^2*c3*e0*e1*e3^2+4*c0^2*c3*e0*e2^3+4*c0^2*c3*e0*e2*e3^2+4*c0^2*c3*e1^3*e3+4*c0^2*c3*e1^2*e2*e3+4*c0^2*c3*e1*e2^2*e3+4*c0^2*c3*e1*e3^3+8*c0*c1^2*e0^2*e2^2+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0*e1*e2^2+16*c0*c1^2*e0*e1*e2*e3+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2*e3+8*c0*c1^2*e1^2*e3^2+4*c0*c1*c2*e0^3*e2+8*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+8*c0*c1*c2*e0^2*e2^2+4*c0*c1*c2*e0*e1^2*e2+8*c0*c1*c2*e0*e1^2*e3+16*c0*c1*c2*e0*e1*e2*e3+4*c0*c1*c2*e0*e2^3+8*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^3*e3+8*c0*c1*c2*e1^2*e3^2+4*c0*c1*c2*e1*e2^2*e3+8*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c2*e1*e3^3+4*c0*c1*c3*e0^3*e2+8*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+8*c0*c1*c3*e0^2*e2^2+4*c0*c1*c3*e0*e1^2*e2+8*c0*c1*c3*e0*e1^2*e3+16*c0*c1*c3*e0*e1*e2*e3+4*c0*c1*c3*e0*e2^3+8*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^3*e3+8*c0*c1*c3*e1^2*e3^2+4*c0*c1*c3*e1*e2^2*e3+8*c0*c1*c3*e1*e2*e3^2+4*c0*c1*c3*e1*e3^3+8*c0*c2^2*e0^2*e1*e2+4*c0*c2^2*e0^2*e2*e3+8*c0*c2^2*e0*e1^2*e3+4*c0*c2^2*e0*e1*e2^2+4*c0*c2^2*e0*e1*e3^2+8*c0*c2^2*e0*e2^2*e3+4*c0*c2^2*e1^2*e2*e3+8*c0*c2^2*e1*e2*e3^2+4*c0*c2*c3*e0^3*e2+8*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+8*c0*c2*c3*e0^2*e2^2+4*c0*c2*c3*e0*e1^2*e2+8*c0*c2*c3*e0*e1^2*e3+16*c0*c2*c3*e0*e1*e2*e3+4*c0*c2*c3*e0*e2^3+8*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^3*e3+8*c0*c2*c3*e1^2*e3^2+4*c0*c2*c3*e1*e2^2*e3+8*c0*c2*c3*e1*e2*e3^2+4*c0*c2*c3*e1*e3^3+4*c0*c3^2*e0^3*e2+4*c0*c3^2*e0^2*e1*e3+4*c0*c3^2*e0^2*e2*e3+4*c0*c3^2*e0*e1^2*e2+4*c0*c3^2*e0*e1*e2^2+4*c0*c3^2*e0*e1*e3^2+4*c0*c3^2*e0*e2^3+4*c0*c3^2*e0*e2*e3^2+4*c0*c3^2*e1^3*e3+4*c0*c3^2*e1^2*e2*e3+4*c0*c3^2*e1*e2^2*e3+4*c0*c3^2*e1*e3^3+4*c1^3*e0^2*e2*e3+4*c1^3*e0*e1*e2^2+4*c1^3*e0*e1*e3^2+4*c1^3*e1^2*e2*e3+4*c1^2*c2*e0^3*e2+4*c1^2*c2*e0^2*e1*e3+4*c1^2*c2*e0^2*e2*e3+4*c1^2*c2*e0*e1^2*e2+4*c1^2*c2*e0*e1*e2^2+4*c1^2*c2*e0*e1*e3^2+4*c1^2*c2*e0*e2^3+4*c1^2*c2*e0*e2*e3^2+4*c1^2*c2*e1^3*e3+4*c1^2*c2*e1^2*e2*e3+4*c1^2*c2*e1*e2^2*e3+4*c1^2*c2*e1*e3^3+8*c1^2*c3*e0^2*e1*e2+4*c1^2*c3*e0^2*e2*e3+8*c1^2*c3*e0*e1^2*e3+4*c1^2*c3*e0*e1*e2^2+4*c1^2*c3*e0*e1*e3^2+8*c1^2*c3*e0*e2^2*e3+4*c1^2*c3*e1^2*e2*e3+8*c1^2*c3*e1*e2*e3^2+4*c1*c2^2*e0^3*e2+4*c1*c2^2*e0^2*e1*e3+4*c1*c2^2*e0^2*e2*e3+4*c1*c2^2*e0*e1^2*e2+4*c1*c2^2*e0*e1*e2^2+4*c1*c2^2*e0*e1*e3^2+4*c1*c2^2*e0*e2^3+4*c1*c2^2*e0*e2*e3^2+4*c1*c2^2*e1^3*e3+4*c1*c2^2*e1^2*e2*e3+4*c1*c2^2*e1*e2^2*e3+4*c1*c2^2*e1*e3^3+4*c1*c2*c3*e0^3*e2+8*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+8*c1*c2*c3*e0^2*e2^2+4*c1*c2*c3*e0*e1^2*e2+8*c1*c2*c3*e0*e1^2*e3+16*c1*c2*c3*e0*e1*e2*e3+4*c1*c2*c3*e0*e2^3+8*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^3*e3+8*c1*c2*c3*e1^2*e3^2+4*c1*c2*c3*e1*e2^2*e3+8*c1*c2*c3*e1*e2*e3^2+4*c1*c2*c3*e1*e3^3+8*c1*c3^2*e0^2*e1*e2+4*c1*c3^2*e0^2*e2*e3+8*c1*c3^2*e0*e1^2*e3+4*c1*c3^2*e0*e1*e2^2+4*c1*c3^2*e0*e1*e3^2+8*c1*c3^2*e0*e2^2*e3+4*c1*c3^2*e1^2*e2*e3+8*c1*c3^2*e1*e2*e3^2+4*c2^3*e0^2*e2*e3+4*c2^3*e0*e1*e2^2+4*c2^3*e0*e1*e3^2+4*c2^3*e1^2*e2*e3+8*c2^2*c3*e0^2*e2^2+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0*e1*e2^2+16*c2^2*c3*e0*e1*e2*e3+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2*e3+8*c2^2*c3*e1^2*e3^2+8*c2*c3^2*e0^2*e2^2+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0*e1*e2^2+16*c2*c3^2*e0*e1*e2*e3+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2*e3+8*c2*c3^2*e1^2*e3^2+4*c3^3*e0^2*e2*e3+4*c3^3*e0*e1*e2^2+4*c3^3*e0*e1*e3^2+4*c3^3*e1^2*e2*e3, 4*c0^3*e0^2*e3^2+4*c0^3*e1^2*e2^2+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0*e1*e2^2+8*c0^2*c1*e0*e1*e2*e3+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0*e1^2*e2+8*c0^2*c2*e0*e1*e2*e3+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c3*e0^3*e3+4*c0^2*c3*e0^2*e3^2+4*c0^2*c3*e0*e3^3+4*c0^2*c3*e1^3*e2+4*c0^2*c3*e1^2*e2^2+4*c0^2*c3*e1*e2^3+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0*e1*e2^2+8*c0*c1^2*e0*e1*e2*e3+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1*c2*e0^2*e1*e2+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1^2*e3+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2^2*e3+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c2*e1*e2*e3^2+4*c0*c1*c3*e0^2*e1*e2+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1^2*e3+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2^2*e3+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^2*e3+4*c0*c1*c3*e1*e2*e3^2+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0*e1^2*e2+8*c0*c2^2*e0*e1*e2*e3+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^2*e1*e2+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1^2*e3+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2^2*e3+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^2*e3+4*c0*c2*c3*e1*e2*e3^2+4*c0*c3^2*e0^3*e3+4*c0*c3^2*e0^2*e3^2+4*c0*c3^2*e0*e3^3+4*c0*c3^2*e1^3*e2+4*c0*c3^2*e1^2*e2^2+4*c0*c3^2*e1*e2^3+4*c1^3*e0^2*e3^2+4*c1^3*e1^2*e2^2+4*c1^2*c2*e0^3*e3+4*c1^2*c2*e0^2*e3^2+4*c1^2*c2*e0*e3^3+4*c1^2*c2*e1^3*e2+4*c1^2*c2*e1^2*e2^2+4*c1^2*c2*e1*e2^3+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0*e1^2*e2+8*c1^2*c3*e0*e1*e2*e3+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1*e2^2*e3+4*c1*c2^2*e0^3*e3+4*c1*c2^2*e0^2*e3^2+4*c1*c2^2*e0*e3^3+4*c1*c2^2*e1^3*e2+4*c1*c2^2*e1^2*e2^2+4*c1*c2^2*e1*e2^3+4*c1*c2*c3*e0^2*e1*e2+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1^2*e3+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2^2*e3+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^2*e3+4*c1*c2*c3*e1*e2*e3^2+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0*e1^2*e2+8*c1*c3^2*e0*e1*e2*e3+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1*e2^2*e3+4*c2^3*e0^2*e3^2+4*c2^3*e1^2*e2^2+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0*e1*e2^2+8*c2^2*c3*e0*e1*e2*e3+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2*e3+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0*e1*e2^2+8*c2*c3^2*e0*e1*e2*e3+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2*e3+4*c3^3*e0^2*e3^2+4*c3^3*e1^2*e2^2, 2*c0^3*e0^2*e1*e2+2*c0^3*e0*e1^2*e3+2*c0^3*e0*e2^2*e3+2*c0^3*e1*e2*e3^2+2*c0^2*c1*e0^3*e2+2*c0^2*c1*e0^3*e3+2*c0^2*c1*e0^2*e1*e3+2*c0^2*c1*e0*e1^2*e2+2*c0^2*c1*e0*e2^3+2*c0^2*c1*e0*e2*e3^2+2*c0^2*c1*e0*e3^3+2*c0^2*c1*e1^3*e2+2*c0^2*c1*e1^3*e3+2*c0^2*c1*e1*e2^3+2*c0^2*c1*e1*e2^2*e3+2*c0^2*c1*e1*e3^3+2*c0^2*c2*e0^3*e1+2*c0^2*c2*e0^3*e3+2*c0^2*c2*e0^2*e2*e3+2*c0^2*c2*e0*e1^3+2*c0^2*c2*e0*e1*e2^2+2*c0^2*c2*e0*e1*e3^2+2*c0^2*c2*e0*e3^3+2*c0^2*c2*e1^3*e2+2*c0^2*c2*e1^2*e2*e3+2*c0^2*c2*e1*e2^3+2*c0^2*c2*e2^3*e3+2*c0^2*c2*e2*e3^3+4*c0^2*c3*e0^2*e1^2+2*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0^2*e2^2+2*c0^2*c3*e0*e1^2*e3+2*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1^2*e3^2+2*c0^2*c3*e1*e2*e3^2+4*c0^2*c3*e2^2*e3^2+2*c0*c1^2*e0^3*e2+2*c0*c1^2*e0^3*e3+2*c0*c1^2*e0^2*e1*e3+2*c0*c1^2*e0*e1^2*e2+2*c0*c1^2*e0*e2^3+2*c0*c1^2*e0*e2*e3^2+2*c0*c1^2*e0*e3^3+2*c0*c1^2*e1^3*e2+2*c0*c1^2*e1^3*e3+2*c0*c1^2*e1*e2^3+2*c0*c1^2*e1*e2^2*e3+2*c0*c1^2*e1*e3^3+2*c0*c1*c2*e0^4+2*c0*c1*c2*e0^3*e1+2*c0*c1*c2*e0^3*e2+2*c0*c1*c2*e0^2*e1*e3+2*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0^2*e3^2+2*c0*c1*c2*e0*e1^3+2*c0*c1*c2*e0*e1^2*e2+2*c0*c1*c2*e0*e1*e2^2+2*c0*c1*c2*e0*e1*e3^2+2*c0*c1*c2*e0*e2^3+2*c0*c1*c2*e0*e2*e3^2+2*c0*c1*c2*e1^4+2*c0*c1*c2*e1^3*e3+4*c0*c1*c2*e1^2*e2^2+2*c0*c1*c2*e1^2*e2*e3+2*c0*c1*c2*e1*e2^2*e3+2*c0*c1*c2*e1*e3^3+2*c0*c1*c2*e2^4+2*c0*c1*c2*e2^3*e3+2*c0*c1*c2*e2*e3^3+2*c0*c1*c2*e3^4+2*c0*c1*c3*e0^4+2*c0*c1*c3*e0^3*e1+2*c0*c1*c3*e0^3*e2+2*c0*c1*c3*e0^2*e1*e3+2*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0^2*e3^2+2*c0*c1*c3*e0*e1^3+2*c0*c1*c3*e0*e1^2*e2+2*c0*c1*c3*e0*e1*e2^2+2*c0*c1*c3*e0*e1*e3^2+2*c0*c1*c3*e0*e2^3+2*c0*c1*c3*e0*e2*e3^2+2*c0*c1*c3*e1^4+2*c0*c1*c3*e1^3*e3+4*c0*c1*c3*e1^2*e2^2+2*c0*c1*c3*e1^2*e2*e3+2*c0*c1*c3*e1*e2^2*e3+2*c0*c1*c3*e1*e3^3+2*c0*c1*c3*e2^4+2*c0*c1*c3*e2^3*e3+2*c0*c1*c3*e2*e3^3+2*c0*c1*c3*e3^4+2*c0*c2^2*e0^3*e1+2*c0*c2^2*e0^3*e3+2*c0*c2^2*e0^2*e2*e3+2*c0*c2^2*e0*e1^3+2*c0*c2^2*e0*e1*e2^2+2*c0*c2^2*e0*e1*e3^2+2*c0*c2^2*e0*e3^3+2*c0*c2^2*e1^3*e2+2*c0*c2^2*e1^2*e2*e3+2*c0*c2^2*e1*e2^3+2*c0*c2^2*e2^3*e3+2*c0*c2^2*e2*e3^3+2*c0*c2*c3*e0^4+2*c0*c2*c3*e0^3*e1+2*c0*c2*c3*e0^3*e2+2*c0*c2*c3*e0^2*e1*e3+2*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0^2*e3^2+2*c0*c2*c3*e0*e1^3+2*c0*c2*c3*e0*e1^2*e2+2*c0*c2*c3*e0*e1*e2^2+2*c0*c2*c3*e0*e1*e3^2+2*c0*c2*c3*e0*e2^3+2*c0*c2*c3*e0*e2*e3^2+2*c0*c2*c3*e1^4+2*c0*c2*c3*e1^3*e3+4*c0*c2*c3*e1^2*e2^2+2*c0*c2*c3*e1^2*e2*e3+2*c0*c2*c3*e1*e2^2*e3+2*c0*c2*c3*e1*e3^3+2*c0*c2*c3*e2^4+2*c0*c2*c3*e2^3*e3+2*c0*c2*c3*e2*e3^3+2*c0*c2*c3*e3^4+4*c0*c3^2*e0^2*e1^2+2*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0^2*e2^2+2*c0*c3^2*e0*e1^2*e3+2*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1^2*e3^2+2*c0*c3^2*e1*e2*e3^2+4*c0*c3^2*e2^2*e3^2+2*c1^3*e0^2*e1*e2+2*c1^3*e0*e1^2*e3+2*c1^3*e0*e2^2*e3+2*c1^3*e1*e2*e3^2+4*c1^2*c2*e0^2*e1^2+2*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0^2*e2^2+2*c1^2*c2*e0*e1^2*e3+2*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1^2*e3^2+2*c1^2*c2*e1*e2*e3^2+4*c1^2*c2*e2^2*e3^2+2*c1^2*c3*e0^3*e1+2*c1^2*c3*e0^3*e3+2*c1^2*c3*e0^2*e2*e3+2*c1^2*c3*e0*e1^3+2*c1^2*c3*e0*e1*e2^2+2*c1^2*c3*e0*e1*e3^2+2*c1^2*c3*e0*e3^3+2*c1^2*c3*e1^3*e2+2*c1^2*c3*e1^2*e2*e3+2*c1^2*c3*e1*e2^3+2*c1^2*c3*e2^3*e3+2*c1^2*c3*e2*e3^3+4*c1*c2^2*e0^2*e1^2+2*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0^2*e2^2+2*c1*c2^2*e0*e1^2*e3+2*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1^2*e3^2+2*c1*c2^2*e1*e2*e3^2+4*c1*c2^2*e2^2*e3^2+2*c1*c2*c3*e0^4+2*c1*c2*c3*e0^3*e1+2*c1*c2*c3*e0^3*e2+2*c1*c2*c3*e0^2*e1*e3+2*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0^2*e3^2+2*c1*c2*c3*e0*e1^3+2*c1*c2*c3*e0*e1^2*e2+2*c1*c2*c3*e0*e1*e2^2+2*c1*c2*c3*e0*e1*e3^2+2*c1*c2*c3*e0*e2^3+2*c1*c2*c3*e0*e2*e3^2+2*c1*c2*c3*e1^4+2*c1*c2*c3*e1^3*e3+4*c1*c2*c3*e1^2*e2^2+2*c1*c2*c3*e1^2*e2*e3+2*c1*c2*c3*e1*e2^2*e3+2*c1*c2*c3*e1*e3^3+2*c1*c2*c3*e2^4+2*c1*c2*c3*e2^3*e3+2*c1*c2*c3*e2*e3^3+2*c1*c2*c3*e3^4+2*c1*c3^2*e0^3*e1+2*c1*c3^2*e0^3*e3+2*c1*c3^2*e0^2*e2*e3+2*c1*c3^2*e0*e1^3+2*c1*c3^2*e0*e1*e2^2+2*c1*c3^2*e0*e1*e3^2+2*c1*c3^2*e0*e3^3+2*c1*c3^2*e1^3*e2+2*c1*c3^2*e1^2*e2*e3+2*c1*c3^2*e1*e2^3+2*c1*c3^2*e2^3*e3+2*c1*c3^2*e2*e3^3+2*c2^3*e0^2*e1*e2+2*c2^3*e0*e1^2*e3+2*c2^3*e0*e2^2*e3+2*c2^3*e1*e2*e3^2+2*c2^2*c3*e0^3*e2+2*c2^2*c3*e0^3*e3+2*c2^2*c3*e0^2*e1*e3+2*c2^2*c3*e0*e1^2*e2+2*c2^2*c3*e0*e2^3+2*c2^2*c3*e0*e2*e3^2+2*c2^2*c3*e0*e3^3+2*c2^2*c3*e1^3*e2+2*c2^2*c3*e1^3*e3+2*c2^2*c3*e1*e2^3+2*c2^2*c3*e1*e2^2*e3+2*c2^2*c3*e1*e3^3+2*c2*c3^2*e0^3*e2+2*c2*c3^2*e0^3*e3+2*c2*c3^2*e0^2*e1*e3+2*c2*c3^2*e0*e1^2*e2+2*c2*c3^2*e0*e2^3+2*c2*c3^2*e0*e2*e3^2+2*c2*c3^2*e0*e3^3+2*c2*c3^2*e1^3*e2+2*c2*c3^2*e1^3*e3+2*c2*c3^2*e1*e2^3+2*c2*c3^2*e1*e2^2*e3+2*c2*c3^2*e1*e3^3+2*c3^3*e0^2*e1*e2+2*c3^3*e0*e1^2*e3+2*c3^3*e0*e2^2*e3+2*c3^3*e1*e2*e3^2, 8*c0^3*e0*e1*e2*e3+4*c0^2*c1*e0^2*e2*e3+4*c0^2*c1*e0^2*e3^2+4*c0^2*c1*e0*e1*e2^2+4*c0^2*c1*e0*e1*e3^2+4*c0^2*c1*e1^2*e2^2+4*c0^2*c1*e1^2*e2*e3+4*c0^2*c2*e0^2*e1*e3+4*c0^2*c2*e0^2*e3^2+4*c0^2*c2*e0*e1^2*e2+4*c0^2*c2*e0*e2*e3^2+4*c0^2*c2*e1^2*e2^2+4*c0^2*c2*e1*e2^2*e3+4*c0^2*c3*e0^2*e1*e2+4*c0^2*c3*e0*e1^2*e3+8*c0^2*c3*e0*e1*e2*e3+4*c0^2*c3*e0*e2^2*e3+4*c0^2*c3*e1*e2*e3^2+4*c0*c1^2*e0^2*e2*e3+4*c0*c1^2*e0^2*e3^2+4*c0*c1^2*e0*e1*e2^2+4*c0*c1^2*e0*e1*e3^2+4*c0*c1^2*e1^2*e2^2+4*c0*c1^2*e1^2*e2*e3+4*c0*c1*c2*e0^3*e3+4*c0*c1*c2*e0^2*e1*e3+4*c0*c1*c2*e0^2*e2*e3+4*c0*c1*c2*e0*e1^2*e2+4*c0*c1*c2*e0*e1*e2^2+4*c0*c1*c2*e0*e1*e3^2+4*c0*c1*c2*e0*e2*e3^2+4*c0*c1*c2*e0*e3^3+4*c0*c1*c2*e1^3*e2+4*c0*c1*c2*e1^2*e2*e3+4*c0*c1*c2*e1*e2^3+4*c0*c1*c2*e1*e2^2*e3+4*c0*c1*c3*e0^3*e3+4*c0*c1*c3*e0^2*e1*e3+4*c0*c1*c3*e0^2*e2*e3+4*c0*c1*c3*e0*e1^2*e2+4*c0*c1*c3*e0*e1*e2^2+4*c0*c1*c3*e0*e1*e3^2+4*c0*c1*c3*e0*e2*e3^2+4*c0*c1*c3*e0*e3^3+4*c0*c1*c3*e1^3*e2+4*c0*c1*c3*e1^2*e2*e3+4*c0*c1*c3*e1*e2^3+4*c0*c1*c3*e1*e2^2*e3+4*c0*c2^2*e0^2*e1*e3+4*c0*c2^2*e0^2*e3^2+4*c0*c2^2*e0*e1^2*e2+4*c0*c2^2*e0*e2*e3^2+4*c0*c2^2*e1^2*e2^2+4*c0*c2^2*e1*e2^2*e3+4*c0*c2*c3*e0^3*e3+4*c0*c2*c3*e0^2*e1*e3+4*c0*c2*c3*e0^2*e2*e3+4*c0*c2*c3*e0*e1^2*e2+4*c0*c2*c3*e0*e1*e2^2+4*c0*c2*c3*e0*e1*e3^2+4*c0*c2*c3*e0*e2*e3^2+4*c0*c2*c3*e0*e3^3+4*c0*c2*c3*e1^3*e2+4*c0*c2*c3*e1^2*e2*e3+4*c0*c2*c3*e1*e2^3+4*c0*c2*c3*e1*e2^2*e3+4*c0*c3^2*e0^2*e1*e2+4*c0*c3^2*e0*e1^2*e3+8*c0*c3^2*e0*e1*e2*e3+4*c0*c3^2*e0*e2^2*e3+4*c0*c3^2*e1*e2*e3^2+8*c1^3*e0*e1*e2*e3+4*c1^2*c2*e0^2*e1*e2+4*c1^2*c2*e0*e1^2*e3+8*c1^2*c2*e0*e1*e2*e3+4*c1^2*c2*e0*e2^2*e3+4*c1^2*c2*e1*e2*e3^2+4*c1^2*c3*e0^2*e1*e3+4*c1^2*c3*e0^2*e3^2+4*c1^2*c3*e0*e1^2*e2+4*c1^2*c3*e0*e2*e3^2+4*c1^2*c3*e1^2*e2^2+4*c1^2*c3*e1*e2^2*e3+4*c1*c2^2*e0^2*e1*e2+4*c1*c2^2*e0*e1^2*e3+8*c1*c2^2*e0*e1*e2*e3+4*c1*c2^2*e0*e2^2*e3+4*c1*c2^2*e1*e2*e3^2+4*c1*c2*c3*e0^3*e3+4*c1*c2*c3*e0^2*e1*e3+4*c1*c2*c3*e0^2*e2*e3+4*c1*c2*c3*e0*e1^2*e2+4*c1*c2*c3*e0*e1*e2^2+4*c1*c2*c3*e0*e1*e3^2+4*c1*c2*c3*e0*e2*e3^2+4*c1*c2*c3*e0*e3^3+4*c1*c2*c3*e1^3*e2+4*c1*c2*c3*e1^2*e2*e3+4*c1*c2*c3*e1*e2^3+4*c1*c2*c3*e1*e2^2*e3+4*c1*c3^2*e0^2*e1*e3+4*c1*c3^2*e0^2*e3^2+4*c1*c3^2*e0*e1^2*e2+4*c1*c3^2*e0*e2*e3^2+4*c1*c3^2*e1^2*e2^2+4*c1*c3^2*e1*e2^2*e3+8*c2^3*e0*e1*e2*e3+4*c2^2*c3*e0^2*e2*e3+4*c2^2*c3*e0^2*e3^2+4*c2^2*c3*e0*e1*e2^2+4*c2^2*c3*e0*e1*e3^2+4*c2^2*c3*e1^2*e2^2+4*c2^2*c3*e1^2*e2*e3+4*c2*c3^2*e0^2*e2*e3+4*c2*c3^2*e0^2*e3^2+4*c2*c3^2*e0*e1*e2^2+4*c2*c3^2*e0*e1*e3^2+4*c2*c3^2*e1^2*e2^2+4*c2*c3^2*e1^2*e2*e3+8*c3^3*e0*e1*e2*e3