4
5
a4*t^4+a3*t^3+a2*t^2+a1*t+1
b5*t^5+b4*t^4+b3*t^3+b2*t^2+b1*t+1
r4*r3*r2*r1*t^4+(((-r3-r4)*r2-r4*r3)*r1-r4*r3*r2)*t^3+((r2+r3+r4)*r1+(r3+r4)*r2+r4*r3)*t^2+(-r1-r2-r3-r4)*t+1
r4^5*r3^5*r2^5*r1^5*b5^4*t^20+(((r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*r1^5+r4^5*r3^5*r2^5*r1^4)*b5^3*b4*t^19+((((r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*r1^5+r4^5*r3^5*r2^5*r1^3)*b5^3*b3+((r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*r1^5+((r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*r1^4)*b5^2*b4^2)*t^18+((((r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*r1^5+r4^5*r3^5*r2^5*r1^2)*b5^3*b2+(((r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*r1^5+((r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*r1^4+((r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*r1^3)*b5^2*b4*b3+(r4^4*r3^4*r2^4*r1^5+(r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*r1^4)*b5*b4^3)*t^17+((((r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*r1^5+r4^5*r3^5*r2^5*r1)*b5^3*b1+(((r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*r1^5+((r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*r1^4+((r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*r1^2)*b5^2*b4*b2+((r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*r1^5+((r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*r1^3)*b5^2*b3^2+(((r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*r1^5+((r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*r1^4+(r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*r1^3)*b5*b4^2*b3+r4^4*r3^4*r2^4*r1^4*b4^4)*t^16+((((r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*r1^5+((r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*r1^4+((r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*r1)*b5^2*b4*b1+((((r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*r1^5+((r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*r1^3+((r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*r1^2)*b5^2*b3+(((r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*r1^5+((r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*r1^4+(r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*r1^2)*b5*b4^2)*b2+((r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*r1^5+(r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*r1^4+((r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*r1^3)*b5*b4*b3^2+(((r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*r1^4+r4^4*r3^4*r2^4*r1^3)*b4^3*b3+(((r3^5+r4^5)*r2^5+r4^5*r3^5)*r1^5+r4^5*r3^5*r2^5)*b5^3)*t^15+(((((r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*r1^5+((r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*r1^3+((r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*r1)*b5^2*b3+(((r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*r1^5+((r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*r1^4+(r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*r1)*b5*b4^2)*b1+((r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*r1^5+((r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*r1^2)*b5^2*b2^2+((((r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*r1^5+((r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*r1^4+((r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*r1^3+((r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*r1^2)*b5*b4*b3+(((r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*r1^4+r4^4*r3^4*r2^4*r1^2)*b4^3)*b2+(r4^3*r3^3*r2^3*r1^5+(r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*r1^3)*b5*b3^3+((r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*r1^4+((r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*r1^3)*b4^2*b3^2+(((r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*r1^5+((r3^5+r4^5)*r2^5+r4^5*r3^5)*r1^4+(r4^4*r3^5+r4^5*r3^4)*r2^5+r4^5*r3^5*r2^4)*b5^2*b4)*t^14+(((((r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*r1^5+((r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*r1^2+((r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*r1)*b5^2*b2+(((r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*r1^5+((r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*r1^3+((r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*r1)*b5*b4*b3+(((r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*r1^4+r4^4*r3^4*r2^4*r1)*b4^3)*b1+((r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*r1^5+(r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*r1^4+((r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*r1^2)*b5*b4*b2^2+((((r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*r1^5+((r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*r1^3+(r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*r1^2)*b5*b3^2+(((r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*r1^4+((r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*r1^3+((r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*r1^2)*b4^2*b3)*b2+(r4^3*r3^3*r2^3*r1^4+(r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*r1^3)*b4*b3^3+(((r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*r1^5+((r3^5+r4^5)*r2^5+r4^5*r3^5)*r1^3+(r4^3*r3^5+r4^5*r3^3)*r2^5+r4^5*r3^5*r2^3)*b5^2*b3+(((r3^4+r4^4)*r2^4+r4^4*r3^4)*r1^5+((r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*r1^4+r4^4*r3^4*r2^5+(r4^4*r3^5+r4^5*r3^4)*r2^4)*b5*b4^2)*t^13+(((r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*r1^5+((r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*r1)*b5^2*b1^2+((((r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*r1^5+((r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*r1^2+((r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*r1)*b5*b4*b2+(((r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*r1^5+((r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*r1^3+(r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*r1)*b5*b3^2+(((r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*r1^3+((r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*r1)*b4^2*b3)*b1+(((r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*r1^5+(r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*r1^3+((r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*r1^2)*b5*b3+((r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*r1^4+((r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*r1^2)*b4^2)*b2^2+((((r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*r1^4+((r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*r1^3+(r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*r1^2)*b4*b3^2+(((r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*r1^5+((r3^5+r4^5)*r2^5+r4^5*r3^5)*r1^2+(r4^2*r3^5+r4^5*r3^2)*r2^5+r4^5*r3^5*r2^2)*b5^2)*b2+r4^3*r3^3*r2^3*r1^3*b3^4+(((r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*r1^5+((r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*r1^4+((r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*r1^3+(r4^3*r3^4+r4^4*r3^3)*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^3)*b5*b4*b3+(((r3^4+r4^4)*r2^4+r4^4*r3^4)*r1^4+r4^4*r3^4*r2^4)*b4^3)*t^12+(((r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*r1^5+(r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*r1)*b5*b4*b1^2+(((((r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*r1^5+((r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*r1^2+((r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*r1)*b5*b3+(((r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*r1^2+((r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*r1)*b4^2)*b2+(((r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*r1^4+((r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*r1^3+(r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*r1)*b4*b3^2+(((r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*r1^5+((r3^5+r4^5)*r2^5+r4^5*r3^5)*r1+(r4*r3^5+r4^5*r3)*r2^5+r4^5*r3^5*r2)*b5^2)*b1+(r4^2*r3^2*r2^2*r1^5+(r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*r1^2)*b5*b2^3+((r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*r1^4+(r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*r1^3+((r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*r1^2)*b4*b3*b2^2+((((r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*r1^3+r4^3*r3^3*r2^3*r1^2)*b3^3+(((r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*r1^5+((r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*r1^4+((r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*r1^2+(r4^2*r3^4+r4^4*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2^2)*b5*b4)*b2+(((r3^3+r4^3)*r2^3+r4^3*r3^3)*r1^5+((r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*r1^3+r4^3*r3^3*r2^5+(r4^3*r3^5+r4^5*r3^3)*r2^3)*b5*b3^2+(((r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*r1^4+((r3^4+r4^4)*r2^4+r4^4*r3^4)*r1^3+(r4^3*r3^4+r4^4*r3^3)*r2^4+r4^4*r3^4*r2^3)*b4^2*b3)*t^11+((((r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*r1^5+(r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*r1)*b5*b3+((r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*r1^4+((r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*r1)*b4^2)*b1^2+((((r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*r1^5+((r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*r1^2+(r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*r1)*b5*b2^2+(((r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*r1^4+((r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*r1^2+((r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*r1)*b4*b3*b2+(((r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*r1^3+r4^3*r3^3*r2^3*r1)*b3^3+(((r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*r1^5+((r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*r1^4+((r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*r1+(r4*r3^4+r4^4*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^4+(r4^4*r3^5+r4^5*r3^4)*r2)*b5*b4)*b1+(r4^2*r3^2*r2^2*r1^4+(r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*r1^2)*b4*b2^3+((r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*r1^3+((r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*r1^2)*b3^2*b2^2+((((r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*r1^5+((r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*r1^3+((r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*r1^2+(r4^2*r3^3+r4^3*r3^2)*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2^2)*b5*b3+(((r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*r1^4+((r3^4+r4^4)*r2^4+r4^4*r3^4)*r1^2+(r4^2*r3^4+r4^4*r3^2)*r2^4+r4^4*r3^4*r2^2)*b4^2)*b2+(((r3^3+r4^3)*r2^3+r4^3*r3^3)*r1^4+((r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*r1^3+r4^3*r3^3*r2^4+(r4^3*r3^4+r4^4*r3^3)*r2^3)*b4*b3^2+((r2^5+r3^5+r4^5)*r1^5+(r3^5+r4^5)*r2^5+r4^5*r3^5)*b5^2)*t^10+((((r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*r1^5+(r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*r1^2+((r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*r1)*b5*b2+((r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*r1^4+(r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*r1)*b4*b3)*b1^2+((((r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*r1^4+((r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*r1^2+(r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*r1)*b4*b2^2+(((r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*r1^2+((r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*r1)*b3^2*b2+(((r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*r1^5+((r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*r1^3+((r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*r1+(r4*r3^3+r4^3*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^3+(r4^3*r3^5+r4^5*r3^3)*r2)*b5*b3+(((r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*r1^4+((r3^4+r4^4)*r2^4+r4^4*r3^4)*r1+(r4*r3^4+r4^4*r3)*r2^4+r4^4*r3^4*r2)*b4^2)*b1+(r4^2*r3^2*r2^2*r1^3+(r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*r1^2)*b3*b2^3+(((r3^2+r4^2)*r2^2+r4^2*r3^2)*r1^5+((r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*r1^2+r4^2*r3^2*r2^5+(r4^2*r3^5+r4^5*r3^2)*r2^2)*b5*b2^2+(((r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*r1^4+((r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*r1^3+((r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*r1^2+(r4^2*r3^3+r4^3*r3^2)*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2^2)*b4*b3*b2+(((r3^3+r4^3)*r2^3+r4^3*r3^3)*r1^3+r4^3*r3^3*r2^3)*b3^3+((r2^4+r3^4+r4^4)*r1^5+(r2^5+r3^5+r4^5)*r1^4+(r3^4+r4^4)*r2^5+(r3^5+r4^5)*r2^4+r4^4*r3^5+r4^5*r3^4)*b5*b4)*t^9+((r4*r3*r2*r1^5+(r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*r1)*b5*b1^3+(((r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*r1^4+(r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*r1^2+((r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*r1)*b4*b2+((r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*r1^3+((r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*r1)*b3^2)*b1^2+((((r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*r1^3+((r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*r1^2+(r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*r1)*b3*b2^2+(((r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*r1^5+((r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*r1^2+((r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*r1+(r4*r3^2+r4^2*r3)*r2^5+(r4*r3^5+r4^5*r3)*r2^2+(r4^2*r3^5+r4^5*r3^2)*r2)*b5*b2+(((r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*r1^4+((r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*r1^3+((r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*r1+(r4*r3^3+r4^3*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^3+(r4^3*r3^4+r4^4*r3^3)*r2)*b4*b3)*b1+r4^2*r3^2*r2^2*r1^2*b2^4+(((r3^2+r4^2)*r2^2+r4^2*r3^2)*r1^4+((r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*r1^2+r4^2*r3^2*r2^4+(r4^2*r3^4+r4^4*r3^2)*r2^2)*b4*b2^2+(((r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*r1^3+((r3^3+r4^3)*r2^3+r4^3*r3^3)*r1^2+(r4^2*r3^3+r4^3*r3^2)*r2^3+r4^3*r3^3*r2^2)*b3^2*b2+((r2^3+r3^3+r4^3)*r1^5+(r2^5+r3^5+r4^5)*r1^3+(r3^3+r4^3)*r2^5+(r3^5+r4^5)*r2^3+r4^3*r3^5+r4^5*r3^3)*b5*b3+((r2^4+r3^4+r4^4)*r1^4+(r3^4+r4^4)*r2^4+r4^4*r3^4)*b4^2)*t^8+((r4*r3*r2*r1^4+(r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*r1)*b4*b1^3+(((r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*r1^3+(r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*r1^2+((r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*r1)*b3*b2+(((r3+r4)*r2+r4*r3)*r1^5+((r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*r1+r4*r3*r2^5+(r4*r3^5+r4^5*r3)*r2)*b5)*b1^2+((((r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*r1^2+r4^2*r3^2*r2^2*r1)*b2^3+(((r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*r1^4+((r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*r1^2+((r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*r1+(r4*r3^2+r4^2*r3)*r2^4+(r4*r3^4+r4^4*r3)*r2^2+(r4^2*r3^4+r4^4*r3^2)*r2)*b4*b2+(((r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*r1^3+((r3^3+r4^3)*r2^3+r4^3*r3^3)*r1+(r4*r3^3+r4^3*r3)*r2^3+r4^3*r3^3*r2)*b3^2)*b1+(((r3^2+r4^2)*r2^2+r4^2*r3^2)*r1^3+((r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*r1^2+r4^2*r3^2*r2^3+(r4^2*r3^3+r4^3*r3^2)*r2^2)*b3*b2^2+((r2^2+r3^2+r4^2)*r1^5+(r2^5+r3^5+r4^5)*r1^2+(r3^2+r4^2)*r2^5+(r3^5+r4^5)*r2^2+r4^2*r3^5+r4^5*r3^2)*b5*b2+((r2^3+r3^3+r4^3)*r1^4+(r2^4+r3^4+r4^4)*r1^3+(r3^3+r4^3)*r2^4+(r3^4+r4^4)*r2^3+r4^3*r3^4+r4^4*r3^3)*b4*b3)*t^7+((r4*r3*r2*r1^3+(r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*r1)*b3*b1^3+(((r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*r1^2+((r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*r1)*b2^2+(((r3+r4)*r2+r4*r3)*r1^4+((r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*r1+r4*r3*r2^4+(r4*r3^4+r4^4*r3)*r2)*b4)*b1^2+((((r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*r1^3+((r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*r1^2+((r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*r1+(r4*r3^2+r4^2*r3)*r2^3+(r4*r3^3+r4^3*r3)*r2^2+(r4^2*r3^3+r4^3*r3^2)*r2)*b3*b2+((r2+r3+r4)*r1^5+(r2^5+r3^5+r4^5)*r1+(r3+r4)*r2^5+(r3^5+r4^5)*r2+r4*r3^5+r4^5*r3)*b5)*b1+(((r3^2+r4^2)*r2^2+r4^2*r3^2)*r1^2+r4^2*r3^2*r2^2)*b2^3+((r2^2+r3^2+r4^2)*r1^4+(r2^4+r3^4+r4^4)*r1^2+(r3^2+r4^2)*r2^4+(r3^4+r4^4)*r2^2+r4^2*r3^4+r4^4*r3^2)*b4*b2+((r2^3+r3^3+r4^3)*r1^3+(r3^3+r4^3)*r2^3+r4^3*r3^3)*b3^2)*t^6+((r4*r3*r2*r1^2+(r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*r1)*b2*b1^3+(((r3+r4)*r2+r4*r3)*r1^3+((r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*r1+r4*r3*r2^3+(r4*r3^3+r4^3*r3)*r2)*b3*b1^2+((((r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*r1^2+((r3^2+r4^2)*r2^2+r4^2*r3^2)*r1+(r4*r3^2+r4^2*r3)*r2^2+r4^2*r3^2*r2)*b2^2+((r2+r3+r4)*r1^4+(r2^4+r3^4+r4^4)*r1+(r3+r4)*r2^4+(r3^4+r4^4)*r2+r4*r3^4+r4^4*r3)*b4)*b1+((r2^2+r3^2+r4^2)*r1^3+(r2^3+r3^3+r4^3)*r1^2+(r3^2+r4^2)*r2^3+(r3^3+r4^3)*r2^2+r4^2*r3^3+r4^3*r3^2)*b3*b2+(r1^5+r2^5+r3^5+r4^5)*b5)*t^5+(r4*r3*r2*r1*b1^4+(((r3+r4)*r2+r4*r3)*r1^2+((r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*r1+r4*r3*r2^2+(r4*r3^2+r4^2*r3)*r2)*b2*b1^2+((r2+r3+r4)*r1^3+(r2^3+r3^3+r4^3)*r1+(r3+r4)*r2^3+(r3^3+r4^3)*r2+r4*r3^3+r4^3*r3)*b3*b1+((r2^2+r3^2+r4^2)*r1^2+(r3^2+r4^2)*r2^2+r4^2*r3^2)*b2^2+(r1^4+r2^4+r3^4+r4^4)*b4)*t^4+((((r3+r4)*r2+r4*r3)*r1+r4*r3*r2)*b1^3+((r2+r3+r4)*r1^2+(r2^2+r3^2+r4^2)*r1+(r3+r4)*r2^2+(r3^2+r4^2)*r2+r4*r3^2+r4^2*r3)*b2*b1+(r1^3+r2^3+r3^3+r4^3)*b3)*t^3+(((r2+r3+r4)*r1+(r3+r4)*r2+r4*r3)*b1^2+(r1^2+r2^2+r3^2+r4^2)*b2)*t^2+(r1+r2+r3+r4)*b1*t+1
[]
[r1,r2,r3,r4]
[a1,a2,a3,a4]
[r1,r2,r3,r4,a1,a2,a3,a4]
[-r4^3*a1-r4^2*a2-r4*a3-a4-r4^4,(r3^2+r4*r3+r4^2)*a1+(r3+r4)*a2+a3+r3^3+r4*r3^2+r4^2*r3+r4^3,(r2+r3+r4)*a1+a2+r2^2+(r3+r4)*r2+r3^2+r4*r3+r4^2,a1+r1+r2+r3+r4]
(r1+r2+r3+r4)*b1
[-b5^4*a4^5*t^20+b5^3*b4*a4^4*a3*t^19+((2*b5^3*a4^4*a2-b5^3*a4^3*a3^2)*b3-b5^2*b4^2*a4^4*a2)*t^18+((3*b5^3*a4^4*a1-3*b5^3*a4^3*a3*a2+b5^3*a4^2*a3^3)*b2+(-3*b5^2*b4*a4^4*a1+b5^2*b4*a4^3*a3*a2)*b3+b5*b4^3*a4^4*a1)*t^17+((-4*b5^3*a4^3*a3*a1-2*b5^3*a4^3*a2^2+4*b5^3*a4^2*a3^2*a2-b5^3*a4*a3^4+4*b5^3*a4^4)*b1+(b5^2*b4*a4^3*a3*a1+2*b5^2*b4*a4^3*a2^2-b5^2*b4*a4^2*a3^2*a2-4*b5^2*b4*a4^4)*b2+(2*b5^2*a4^3*a3*a1-b5^2*a4^3*a2^2-2*b5^2*a4^4)*b3^2+(-b5*b4^2*a4^3*a3*a1+4*b5*b4^2*a4^4)*b3-b4^4*a4^4)*t^16+(((5*b5^2*b4*a4^3*a2-b5^2*b4*a4^2*a3^2)*a1-3*b5^2*b4*a4^2*a3*a2^2+b5^2*b4*a4*a3^3*a2+b5^2*b4*a4^3*a3)*b1+(((-b5^2*a4^3*a2-2*b5^2*a4^2*a3^2)*a1+b5^2*a4^2*a3*a2^2+5*b5^2*a4^3*a3)*b3+(-2*b5*b4^2*a4^3*a2+b5*b4^2*a4^2*a3^2)*a1-b5*b4^2*a4^3*a3)*b2+(b5*b4*a4^3*a2*a1-3*b5*b4*a4^3*a3)*b3^2+b4^3*a4^3*a3*b3+(-5*b5^3*a4^3*a2+5*b5^3*a4^2*a3^2)*a1+5*b5^3*a4^2*a3*a2^2-5*b5^3*a4*a3^3*a2+b5^3*a3^5-5*b5^3*a4^3*a3)*t^15+(((3*b5^2*a4^3*a1^2+(-4*b5^2*a4^2*a3*a2+2*b5^2*a4*a3^3)*a1+2*b5^2*a4^2*a2^3-b5^2*a4*a3^2*a2^2-2*b5^2*a4^3*a2-2*b5^2*a4^2*a3^2)*b3-3*b5*b4^2*a4^3*a1^2+(3*b5*b4^2*a4^2*a3*a2-b5*b4^2*a4*a3^3)*a1-2*b5*b4^2*a4^3*a2+b5*b4^2*a4^2*a3^2)*b1+(-3*b5^2*a4^3*a1^2+3*b5^2*a4^2*a3*a2*a1-b5^2*a4^2*a2^3+3*b5^2*a4^3*a2-3*b5^2*a4^2*a3^2)*b2^2+((3*b5*b4*a4^3*a1^2-b5*b4*a4^2*a3*a2*a1-4*b5*b4*a4^3*a2+3*b5*b4*a4^2*a3^2)*b3+2*b4^3*a4^3*a2-b4^3*a4^2*a3^2)*b2+(-b5*a4^3*a1^2+2*b5*a4^3*a2)*b3^3-b4^2*a4^3*a2*b3^2+3*b5^2*b4*a4^3*a1^2+(-7*b5^2*b4*a4^2*a3*a2+b5^2*b4*a4*a3^3)*a1-2*b5^2*b4*a4^2*a2^3+4*b5^2*b4*a4*a3^2*a2^2+(-b5^2*b4*a3^4+6*b5^2*b4*a4^3)*a2-b5^2*b4*a4^2*a3^2)*t^14+(((5*b5^2*a4^2*a3*a1^2+(-b5^2*a4^2*a2^2-3*b5^2*a4*a3^2*a2-5*b5^2*a4^3)*a1+b5^2*a4*a3*a2^3-2*b5^2*a4^2*a3*a2+3*b5^2*a4*a3^3)*b2+(-b5*b4*a4^2*a3*a1^2+(-2*b5*b4*a4^2*a2^2+b5*b4*a4*a3^2*a2-2*b5*b4*a4^3)*a1+8*b5*b4*a4^2*a3*a2-3*b5*b4*a4*a3^3)*b3+3*b4^3*a4^3*a1-3*b4^3*a4^2*a3*a2+b4^3*a4*a3^3)*b1+(-2*b5*b4*a4^2*a3*a1^2+(b5*b4*a4^2*a2^2+5*b5*b4*a4^3)*a1-b5*b4*a4^2*a3*a2)*b2^2+((b5*a4^2*a3*a1^2-b5*a4^3*a1-2*b5*a4^2*a3*a2)*b3^2+(-3*b4^2*a4^3*a1+b4^2*a4^2*a3*a2)*b3)*b2+b4*a4^3*a1*b3^3+(-7*b5^2*a4^2*a3*a1^2+(3*b5^2*a4^2*a2^2+6*b5^2*a4*a3^2*a2-2*b5^2*a3^4+7*b5^2*a4^3)*a1-3*b5^2*a4*a3*a2^3+b5^2*a3^3*a2^2-4*b5^2*a4^2*a3*a2+2*b5^2*a4*a3^3)*b3+4*b5*b4^2*a4^2*a3*a1^2+(2*b5*b4^2*a4^2*a2^2-4*b5*b4^2*a4*a3^2*a2+b5*b4^2*a3^4-7*b5*b4^2*a4^3)*a1+3*b5*b4^2*a4^2*a3*a2-b5*b4^2*a4*a3^3)*t^13+(((-4*b5^2*a4^2*a2-2*b5^2*a4*a3^2)*a1^2+(4*b5^2*a4*a3*a2^2+8*b5^2*a4^2*a3)*a1-b5^2*a4*a2^4+4*b5^2*a4^2*a2^2-4*b5^2*a4*a3^2*a2-6*b5^2*a4^3)*b1^2+(((b5*b4*a4^2*a2+2*b5*b4*a4*a3^2)*a1^2+(-b5*b4*a4*a3*a2^2-10*b5*b4*a4^2*a3)*a1+b5*b4*a4*a3^2*a2+8*b5*b4*a4^3)*b2+((2*b5*a4^2*a2-b5*a4*a3^2)*a1^2-4*b5*a4^2*a2^2+2*b5*a4*a3^2*a2+4*b5*a4^3)*b3^2+(b4^2*a4^2*a3*a1+2*b4^2*a4^2*a2^2-b4^2*a4*a3^2*a2-4*b4^2*a4^3)*b3)*b1+((-b5*a4^2*a2*a1^2+b5*a4^2*a3*a1+2*b5*a4^2*a2^2-4*b5*a4^3)*b3+2*b4^2*a4^2*a3*a1-b4^2*a4^2*a2^2-2*b4^2*a4^3)*b2^2+((-b4*a4^2*a3*a1+4*b4*a4^3)*b3^2+(7*b5^2*a4^2*a2-3*b5^2*a4*a3^2)*a1^2+(-6*b5^2*a4*a3*a2^2+3*b5^2*a3^3*a2-b5^2*a4^2*a3)*a1+2*b5^2*a4*a2^4-b5^2*a3^2*a2^3-8*b5^2*a4^2*a2^2+9*b5^2*a4*a3^2*a2-3*b5^2*a3^4+4*b5^2*a4^3)*b2-a4^3*b3^4+((-5*b5*b4*a4^2*a2+b5*b4*a4*a3^2)*a1^2+(3*b5*b4*a4*a3*a2^2-b5*b4*a3^3*a2+10*b5*b4*a4^2*a3)*a1+4*b5*b4*a4^2*a2^2-11*b5*b4*a4*a3^2*a2+3*b5*b4*a3^4-8*b5*b4*a4^3)*b3-4*b4^3*a4^2*a3*a1-2*b4^3*a4^2*a2^2+4*b4^3*a4*a3^2*a2-b4^3*a3^4+4*b4^3*a4^3)*t^12+((3*b5*b4*a4^2*a1^3-3*b5*b4*a4*a3*a2*a1^2+(b5*b4*a4*a2^3-2*b5*b4*a4^2*a2+5*b5*b4*a4*a3^2)*a1-b5*b4*a4*a3*a2^2-5*b5*b4*a4^2*a3)*b1^2+(((-3*b5*a4^2*a1^3+b5*a4*a3*a2*a1^2+(8*b5*a4^2*a2-b5*a4*a3^2)*a1-2*b5*a4*a3*a2^2-2*b5*a4^2*a3)*b3+(-b4^2*a4^2*a2-2*b4^2*a4*a3^2)*a1+b4^2*a4*a3*a2^2+5*b4^2*a4^2*a3)*b2+((-2*b4*a4^2*a2+b4*a4*a3^2)*a1-b4*a4^2*a3)*b3^2-3*b5^2*a4^2*a1^3+(7*b5^2*a4*a3*a2+2*b5^2*a3^3)*a1^2+(-b5^2*a4*a2^3-4*b5^2*a3^2*a2^2+2*b5^2*a4^2*a2-13*b5^2*a4*a3^2)*a1+b5^2*a3*a2^4-3*b5^2*a4*a3*a2^2+4*b5^2*a3^3*a2+11*b5^2*a4^2*a3)*b1+(b5*a4^2*a1^3-3*b5*a4^2*a2*a1+3*b5*a4^2*a3)*b2^3+(b4*a4^2*a2*a1-3*b4*a4^2*a3)*b3*b2^2+(a4^2*a3*b3^3-3*b5*b4*a4^2*a1^3+(4*b5*b4*a4*a3*a2-2*b5*b4*a3^3)*a1^2+(-2*b5*b4*a4*a2^3+b5*b4*a3^2*a2^2-2*b5*b4*a4^2*a2+5*b5*b4*a4*a3^2)*a1+2*b5*b4*a4*a3*a2^2-b5*b4*a3^3*a2-6*b5*b4*a4^2*a3)*b2+(3*b5*a4^2*a1^3+(-3*b5*a4*a3*a2+b5*a3^3)*a1^2-6*b5*a4^2*a2*a1+6*b5*a4*a3*a2^2-2*b5*a3^3*a2-b5*a4^2*a3)*b3^2+((5*b4^2*a4^2*a2-b4^2*a4*a3^2)*a1-3*b4^2*a4*a3*a2^2+b4^2*a3^3*a2+b4^2*a4^2*a3)*b3)*t^11+(((2*b5*a4*a3*a1^3+(-b5*a4*a2^2-2*b5*a4^2)*a1^2-4*b5*a4*a3*a2*a1+2*b5*a4*a2^3-2*b5*a4^2*a2+3*b5*a4*a3^2)*b3-3*b4^2*a4^2*a1^2+3*b4^2*a4*a3*a2*a1-b4^2*a4*a2^3+3*b4^2*a4^2*a2-3*b4^2*a4*a3^2)*b1^2+((-b5*a4*a3*a1^3+b5*a4^2*a1^2+3*b5*a4*a3*a2*a1-2*b5*a4^2*a2-3*b5*a4*a3^2)*b2^2+(3*b4*a4^2*a1^2-b4*a4*a3*a2*a1-4*b4*a4^2*a2+3*b4*a4*a3^2)*b3*b2+(2*a4^2*a2-a4*a3^2)*b3^3-5*b5*b4*a4*a3*a1^3+(b5*b4*a4*a2^2+3*b5*b4*a3^2*a2+8*b5*b4*a4^2)*a1^2+(-b5*b4*a3*a2^3-5*b5*b4*a3^3)*a1+b5*b4*a3^2*a2^2-4*b5*b4*a4^2*a2+8*b5*b4*a4*a3^2)*b1+(-b4*a4^2*a1^2+2*b4*a4^2*a2)*b2^3-a4^2*a2*b3^2*b2^2+((b5*a4*a3*a1^3+(2*b5*a4*a2^2-b5*a3^2*a2-b5*a4^2)*a1^2+(-5*b5*a4*a3*a2+b5*a3^3)*a1-4*b5*a4*a2^3+2*b5*a3^2*a2^2+12*b5*a4^2*a2-b5*a4*a3^2)*b3+3*b4^2*a4^2*a1^2+(-4*b4^2*a4*a3*a2+2*b4^2*a3^3)*a1+2*b4^2*a4*a2^3-b4^2*a3^2*a2^2-2*b4^2*a4^2*a2-2*b4^2*a4*a3^2)*b2+(-3*b4*a4^2*a1^2+(3*b4*a4*a3*a2-b4*a3^3)*a1-2*b4*a4^2*a2+b4*a4*a3^2)*b3^2+5*b5^2*a4*a3*a1^3+(-5*b5^2*a4*a2^2-5*b5^2*a3^2*a2-5*b5^2*a4^2)*a1^2+(5*b5^2*a3*a2^3+5*b5^2*a4*a3*a2+5*b5^2*a3^3)*a1-b5^2*a2^5+5*b5^2*a4*a2^3-5*b5^2*a3^2*a2^2-5*b5^2*a4^2*a2-5*b5^2*a4*a3^2)*t^10+(((b5*a4*a2*a1^3-b5*a4*a3*a1^2+(-3*b5*a4*a2^2+b5*a4^2)*a1+5*b5*a4*a3*a2)*b2+(-2*b4*a4*a3*a1^2+(b4*a4*a2^2+5*b4*a4^2)*a1-b4*a4*a3*a2)*b3)*b1^2+((b4*a4*a3*a1^2-b4*a4^2*a1-2*b4*a4*a3*a2)*b2^2+(-3*a4^2*a1+a4*a3*a2)*b3^2*b2+((-b5*a4*a2-2*b5*a3^2)*a1^3+(b5*a3*a2^2+5*b5*a4*a3)*a1^2+(2*b5*a4*a2^2+4*b5*a3^2*a2-6*b5*a4^2)*a1-2*b5*a3*a2^3-2*b5*a4*a3*a2-3*b5*a3^3)*b3+5*b4^2*a4*a3*a1^2+(-b4^2*a4*a2^2-3*b4^2*a3^2*a2-5*b4^2*a4^2)*a1+b4^2*a3*a2^3-2*b4^2*a4*a3*a2+3*b4^2*a3^3)*b1+a4^2*a1*b3*b2^3+((-2*b5*a4*a2+b5*a3^2)*a1^3+(6*b5*a4*a2^2-3*b5*a3^2*a2-b5*a4^2)*a1-6*b5*a4*a3*a2+3*b5*a3^3)*b2^2+(-b4*a4*a3*a1^2+(-2*b4*a4*a2^2+b4*a3^2*a2-2*b4*a4^2)*a1+8*b4*a4*a3*a2-3*b4*a3^3)*b3*b2+(3*a4^2*a1-3*a4*a3*a2+a3^3)*b3^3+(4*b5*b4*a4*a2+2*b5*b4*a3^2)*a1^3+(-4*b5*b4*a3*a2^2-13*b5*b4*a4*a3)*a1^2+(b5*b4*a2^4-3*b5*b4*a4*a2^2+7*b5*b4*a3^2*a2+11*b5*b4*a4^2)*a1-b5*b4*a3*a2^3+2*b5*b4*a4*a3*a2-3*b5*b4*a3^3)*t^9+((-b5*a4*a1^4+4*b5*a4*a2*a1^2-4*b5*a4*a3*a1-2*b5*a4*a2^2+4*b5*a4^2)*b1^3+((-b4*a4*a2*a1^2+b4*a4*a3*a1+2*b4*a4*a2^2-4*b4*a4^2)*b2+(2*a4*a3*a1-a4*a2^2-2*a4^2)*b3^2)*b1^2+((-a4*a3*a1+4*a4^2)*b3*b2^2+(3*b5*a4*a1^4-b5*a3*a2*a1^3+(-11*b5*a4*a2+b5*a3^2)*a1^2+(3*b5*a3*a2^2+10*b5*a4*a3)*a1+4*b5*a4*a2^2-5*b5*a3^2*a2-8*b5*a4^2)*b2+((b4*a4*a2+2*b4*a3^2)*a1^2+(-b4*a3*a2^2-10*b4*a4*a3)*a1+b4*a3^2*a2+8*b4*a4^2)*b3)*b1-a4^2*b2^4+((2*b4*a4*a2-b4*a3^2)*a1^2-4*b4*a4*a2^2+2*b4*a3^2*a2+4*b4*a4^2)*b2^2+(a4*a3*a1+2*a4*a2^2-a3^2*a2-4*a4^2)*b3^2*b2+(-3*b5*a4*a1^4+3*b5*a3*a2*a1^3+(-b5*a2^3+9*b5*a4*a2-3*b5*a3^2)*a1^2+(-6*b5*a3*a2^2-b5*a4*a3)*a1+2*b5*a2^4-8*b5*a4*a2^2+7*b5*a3^2*a2+4*b5*a4^2)*b3+(-4*b4^2*a4*a2-2*b4^2*a3^2)*a1^2+(4*b4^2*a3*a2^2+8*b4^2*a4*a3)*a1-b4^2*a2^4+4*b4^2*a4*a2^2-4*b4^2*a3^2*a2-6*b4^2*a4^2)*t^8+((b4*a4*a1^3-3*b4*a4*a2*a1+3*b4*a4*a3)*b1^3+((a4*a2*a1-3*a4*a3)*b3*b2+b5*a3*a1^4-b5*a4*a1^3-4*b5*a3*a2*a1^2+(3*b5*a4*a2+4*b5*a3^2)*a1+2*b5*a3*a2^2-7*b5*a4*a3)*b1^2+(a4*a3*b2^3+(-3*b4*a4*a1^3+b4*a3*a2*a1^2+(8*b4*a4*a2-b4*a3^2)*a1-2*b4*a3*a2^2-2*b4*a4*a3)*b2+((-a4*a2-2*a3^2)*a1+a3*a2^2+5*a4*a3)*b3^2)*b1+((-2*a4*a2+a3^2)*a1-a4*a3)*b3*b2^2+(-2*b5*a3*a1^4+(b5*a2^2+2*b5*a4)*a1^3+6*b5*a3*a2*a1^2+(-3*b5*a2^3-4*b5*a4*a2-7*b5*a3^2)*a1+3*b5*a3*a2^2+7*b5*a4*a3)*b2+(3*b4*a4*a1^3-3*b4*a3*a2*a1^2+(b4*a2^3-2*b4*a4*a2+5*b4*a3^2)*a1-b4*a3*a2^2-5*b4*a4*a3)*b3)*t^7+((-a4*a1^2+2*a4*a2)*b3*b1^3+(-a4*a2*b2^2-b4*a3*a1^3+b4*a4*a1^2+3*b4*a3*a2*a1-2*b4*a4*a2-3*b4*a3^2)*b1^2+((3*a4*a1^2-a3*a2*a1-4*a4*a2+3*a3^2)*b3*b2-b5*a2*a1^4+b5*a3*a1^3+(4*b5*a2^2-b5*a4)*a1^2-7*b5*a3*a2*a1-2*b5*a2^3+6*b5*a4*a2+3*b5*a3^2)*b1+(2*a4*a2-a3^2)*b2^3+(2*b4*a3*a1^3+(-b4*a2^2-2*b4*a4)*a1^2-4*b4*a3*a2*a1+2*b4*a2^3-2*b4*a4*a2+3*b4*a3^2)*b2+(-3*a4*a1^2+3*a3*a2*a1-a2^3+3*a4*a2-3*a3^2)*b3^2)*t^6+(a4*a1*b2*b1^3+(a3*a1^2-a4*a1-2*a3*a2)*b3*b1^2+((-3*a4*a1+a3*a2)*b2^2+b4*a2*a1^3-b4*a3*a1^2+(-3*b4*a2^2+b4*a4)*a1+5*b4*a3*a2)*b1+(-2*a3*a1^2+(a2^2+5*a4)*a1-a3*a2)*b3*b2+b5*a1^5-5*b5*a2*a1^3+5*b5*a3*a1^2+(5*b5*a2^2-5*b5*a4)*a1-5*b5*a3*a2)*t^5+(-a4*b1^4+(-a3*a1+4*a4)*b2*b1^2+(-a2*a1^2+a3*a1+2*a2^2-4*a4)*b3*b1+(2*a3*a1-a2^2-2*a4)*b2^2-b4*a1^4+4*b4*a2*a1^2-4*b4*a3*a1-2*b4*a2^2+4*b4*a4)*t^4+(a3*b1^3+(a2*a1-3*a3)*b2*b1+(a1^3-3*a2*a1+3*a3)*b3)*t^3+(-a2*b1^2+(-a1^2+2*a2)*b2)*t^2+a1*b1*t-1,-1]