6 1+3*d+4*y+2*z+4*a+a*d+4*a*y+2*a*z+5*b*d-5*c+b*y+4*b*z+3*c*y+c*z ; 2+2*d+3*y+5*z+2*a+4*a*d+2*a*y+5*a*z+4*b*d-4*c+2*b*y+5*b*z+2*c*y+4*c*z ; 4+d+2*y+4*z+4*a+a*d+5*a*y+a*z+2*b*d-2*c+b*y+5*b*z+5*c*y+c*z ; 4+3*d+5*y+z+2*a+4*a*d+4*a*y+4*a*z+b*d-c+4*b*y+5*b*z+3*c*y+3*c*z ; 4+d+y+3*z+2*a+3*a*d+3*a*y+4*a*z+3*b*d-3*c+3*b*y+4*b*z+3*c*y+3*c*z ; 3+3*d+5*y+3*z+5*a+a*d+a*y+4*a*z+4*b*d-4*c+2*b*y+b*z+5*c*y+4*c*z ;