z8
z0
10*z3*z7 - 5*z4*z6 + 2*z5^2
25*z2*z7 - 5*z3*z6 + z4*z5
135*z1*z7 - 10*z2*z6 + z3*z5
320*z1*z7 - 20*z2*z6 + z4^2
25*z1*z6 - 5*z2*z5 + z3*z4
10*z1*z5 - 5*z2*z4 + 2*z3^2