d:=2*C134*C234^2*C12*C13*C14*C23*C24-2*C134^3*C12*C23^2*C24^2+2*C124*C234^2*C12*C13*C14*C23*C34+2*C123*C234^2*C12*C13*C14*C24*C34-4*C124*C134*C234*C12*C13*C23*C24*C34-4*C123*C134*C234*C12*C14*C23*C24*C34-4*C123*C124*C234*C13*C14*C23*C24*C34+2*C124*C134^2*C12*C23^2*C24*C34+2*C124^2*C134*C13*C23^2*C24*C34+2*C123*C134^2*C12*C23*C24^2*C34+2*C123^2*C134*C14*C23*C24^2*C34-2*C124^3*C13*C23^2*C34^2+2*C123*C124^2*C13*C23*C24*C34^2+2*C123^2*C124*C14*C23*C24*C34^2-2*C123^3*C14*C24^2*C34^2+C124*C134*C234^3*C12*C13+C123*C134*C234^3*C12*C14+C123*C124*C234^3*C13*C14-C1234*C234^3*C12*C13*C14-C124*C134^2*C234^2*C12*C23-C124^2*C134*C234^2*C13*C23-C123*C134^2*C234^2*C12*C24-C123^2*C134*C234^2*C14*C24+C123*C124*C134^2*C234*C23*C24+C1234*C134^2*C234*C12*C23*C24-C123*C124^2*C234^2*C13*C34-C123^2*C124*C234^2*C14*C34+C123*C124^2*C134*C234*C23*C34+C1234*C124^2*C234*C13*C23*C34+C123^2*C124*C134*C234*C24*C34+C1234*C123^2*C234*C14*C24*C34-2*C1234*C123*C124*C134*C23*C24*C34: