f:=-8*C134*C13*C14*C23^3*C24^3*C34-16*C234*C12*C13*C14*C23^2*C24^2*C34^2+8*C134*C12*C14*C23^3*C24^2*C34^2+8*C124*C13*C14*C23^3*C24^2*C34^2+8*C134*C12*C13*C23^2*C24^3*C34^2+8*C123*C13*C14*C23^2*C24^3*C34^2-8*C124*C12*C14*C23^3*C24*C34^3+8*C124*C12*C13*C23^2*C24^2*C34^3+8*C123*C12*C14*C23^2*C24^2*C34^3-8*C123*C12*C13*C23*C24^3*C34^3+2*C134*C234^2*C13*C14*C23^2*C24^2+2*C134^3*C23^3*C24^3+8*C234^3*C12*C13*C14*C23*C24*C34-6*C134*C234^2*C12*C14*C23^2*C24*C34-6*C124*C234^2*C13*C14*C23^2*C24*C34-6*C134*C234^2*C12*C13*C23*C24^2*C34-6*C123*C234^2*C13*C14*C23*C24^2*C34+4*C134^2*C234*C12*C23^2*C24^2*C34+4*C124*C134*C234*C13*C23^2*C24^2*C34+4*C123*C134*C234*C14*C23^2*C24^2*C34+4*C1234*C234*C13*C14*C23^2*C24^2*C34-2*C124*C134^2*C23^3*C24^2*C34-2*C123*C134^2*C23^2*C24^3*C34+2*C124*C234^2*C12*C14*C23^2*C34^2-6*C124*C234^2*C12*C13*C23*C24*C34^2-6*C123*C234^2*C12*C14*C23*C24*C34^2+4*C124*C134*C234*C12*C23^2*C24*C34^2+4*C124^2*C234*C13*C23^2*C24*C34^2+4*C123*C124*C234*C14*C23^2*C24*C34^2+4*C1234*C234*C12*C14*C23^2*C24*C34^2-2*C124^2*C134*C23^3*C24*C34^2+2*C123*C234^2*C12*C13*C24^2*C34^2+4*C123*C134*C234*C12*C23*C24^2*C34^2+4*C123*C124*C234*C13*C23*C24^2*C34^2+4*C1234*C234*C12*C13*C23*C24^2*C34^2+4*C123^2*C234*C14*C23*C24^2*C34^2+4*C123*C124*C134*C23^2*C24^2*C34^2-8*C1234*C134*C12*C23^2*C24^2*C34^2-8*C1234*C124*C13*C23^2*C24^2*C34^2-8*C1234*C123*C14*C23^2*C24^2*C34^2-2*C123^2*C134*C23*C24^3*C34^2+2*C124^3*C23^3*C34^3-2*C123*C124^2*C23^2*C24*C34^3-2*C123^2*C124*C23*C24^2*C34^3+2*C123^3*C24^3*C34^3-C234^5*C12*C13*C14+C134*C234^4*C12*C14*C23+C124*C234^4*C13*C14*C23+C134*C234^4*C12*C13*C24+C123*C234^4*C13*C14*C24-C134^2*C234^3*C12*C23*C24-C124*C134*C234^3*C13*C23*C24-C123*C134*C234^3*C14*C23*C24-C1234*C234^3*C13*C14*C23*C24+2*C124*C134^2*C234^2*C23^2*C24+2*C123*C134^2*C234^2*C23*C24^2-3*C1234*C134^2*C234*C23^2*C24^2+C124*C234^4*C12*C13*C34+C123*C234^4*C12*C14*C34-C124*C134*C234^3*C12*C23*C34-C124^2*C234^3*C13*C23*C34-C123*C124*C234^3*C14*C23*C34-C1234*C234^3*C12*C14*C23*C34+2*C124^2*C134*C234^2*C23^2*C34-C123*C134*C234^3*C12*C24*C34-C123*C124*C234^3*C13*C24*C34-C1234*C234^3*C12*C13*C24*C34-C123^2*C234^3*C14*C24*C34-2*C123*C124*C134*C234^2*C23*C24*C34+2*C1234*C134*C234^2*C12*C23*C24*C34+2*C1234*C124*C234^2*C13*C23*C24*C34+2*C1234*C123*C234^2*C14*C23*C24*C34-2*C1234*C124*C134*C234*C23^2*C24*C34+2*C123^2*C134*C234^2*C24^2*C34-2*C1234*C123*C134*C234*C23*C24^2*C34+2*C1234^2*C134*C23^2*C24^2*C34+2*C123*C124^2*C234^2*C23*C34^2-3*C1234*C124^2*C234*C23^2*C34^2+2*C123^2*C124*C234^2*C24*C34^2-2*C1234*C123*C124*C234*C23*C24*C34^2+2*C1234^2*C124*C23^2*C24*C34^2-3*C1234*C123^2*C234*C24^2*C34^2+2*C1234^2*C123*C23*C24^2*C34^2+C123*C124*C134*C234^4-C1234*C124*C134*C234^3*C23-C1234*C123*C134*C234^3*C24+C1234^2*C134*C234^2*C23*C24-C1234*C123*C124*C234^3*C34+C1234^2*C124*C234^2*C23*C34+C1234^2*C123*C234^2*C24*C34-C1234^3*C234*C23*C24*C34: