d2u1 = 1 d2u1u2 = 2 d2u1u3 = 3 d2u2 = 5 d2u2u3 = 7 d2u3 = 11 du1 = 13 du2 = 17 du3 = 19 u1 = 23 u2 = 29 u3 = 31 DPT = 1/2*(u1^12*u2^5*d2u1 + 6*u1^11*u2^6*d2u1 + 16*u1^10*u2^7*d2u1 + 25*u1^9*u2^8*d2u1 + 25*u1^8*u2^9*d2u1 + 16*u1^7*u2^10*d2u1 + 6*u1^6*u2^11*d2u1 + u1^5*u2^12*d2u1 + 5*u1^12*u2^4*u3*d2u1 + 36*u1^11*u2^5*u3*d2u1 + 116*u1^10*u2^6*u3*d2u1 + 220*u1^9*u2^7*u3*d2u1 + 270*u1^8*u2^8*u3*d2u1 + 220*u1^7*u2^9*u3*d2u1 + 116*u1^6*u2^10*u3*d2u1 + 36*u1^5*u2^11*u3*d2u1 + 5*u1^4*u2^12*u3*d2u1 + 10*u1^12*u2^3*u3^2*d2u1 + 90*u1^11*u2^4*u3^2*d2u1 + 356*u1^10*u2^5*u3^2*d2u1 + 820*u1^9*u2^6*u3^2*d2u1 + 1220*u1^8*u2^7*u3^2*d2u1 + 1220*u1^7*u2^8*u3^2*d2u1 + 820*u1^6*u2^9*u3^2*d2u1 + 356*u1^5*u2^10*u3^2*d2u1 + 90*u1^4*u2^11*u3^2*d2u1 + 10*u1^3*u2^12*u3^2*d2u1 + 10*u1^12*u2^2*u3^3*d2u1 + 120*u1^11*u2^3*u3^3*d2u1 + 600*u1^10*u2^4*u3^3*d2u1 + 1700*u1^9*u2^5*u3^3*d2u1 + 3070*u1^8*u2^6*u3^3*d2u1 + 3720*u1^7*u2^7*u3^3*d2u1 + 3070*u1^6*u2^8*u3^3*d2u1 + 1700*u1^5*u2^9*u3^3*d2u1 + 600*u1^4*u2^10*u3^3*d2u1 + 120*u1^3*u2^11*u3^3*d2u1 + 10*u1^2*u2^12*u3^3*d2u1 + 5*u1^12*u2*u3^4*d2u1 + 90*u1^11*u2^2*u3^4*d2u1 + 600*u1^10*u2^3*u3^4*d2u1 + 2150*u1^9*u2^4*u3^4*d2u1 + 4775*u1^8*u2^5*u3^4*d2u1 + 7020*u1^7*u2^6*u3^4*d2u1 + 7020*u1^6*u2^7*u3^4*d2u1 + 4775*u1^5*u2^8*u3^4*d2u1 + 2150*u1^4*u2^9*u3^4*d2u1 + 600*u1^3*u2^10*u3^4*d2u1 + 90*u1^2*u2^11*u3^4*d2u1 + 5*u1*u2^12*u3^4*d2u1 + u1^12*u3^5*d2u1 + 36*u1^11*u2*u3^5*d2u1 + 356*u1^10*u2^2*u3^5*d2u1 + 1700*u1^9*u2^3*u3^5*d2u1 + 4775*u1^8*u2^4*u3^5*d2u1 + 8632*u1^7*u2^5*u3^5*d2u1 + 10472*u1^6*u2^6*u3^5*d2u1 + 8632*u1^5*u2^7*u3^5*d2u1 + 4775*u1^4*u2^8*u3^5*d2u1 + 1700*u1^3*u2^9*u3^5*d2u1 + 356*u1^2*u2^10*u3^5*d2u1 + 36*u1*u2^11*u3^5*d2u1 + u2^12*u3^5*d2u1 + 6*u1^11*u3^6*d2u1 + 116*u1^10*u2*u3^6*d2u1 + 820*u1^9*u2^2*u3^6*d2u1 + 3070*u1^8*u2^3*u3^6*d2u1 + 7020*u1^7*u2^4*u3^6*d2u1 + 10472*u1^6*u2^5*u3^6*d2u1 + 10472*u1^5*u2^6*u3^6*d2u1 + 7020*u1^4*u2^7*u3^6*d2u1 + 3070*u1^3*u2^8*u3^6*d2u1 + 820*u1^2*u2^9*u3^6*d2u1 + 116*u1*u2^10*u3^6*d2u1 + 6*u2^11*u3^6*d2u1 + 16*u1^10*u3^7*d2u1 + 220*u1^9*u2*u3^7*d2u1 + 1220*u1^8*u2^2*u3^7*d2u1 + 3720*u1^7*u2^3*u3^7*d2u1 + 7020*u1^6*u2^4*u3^7*d2u1 + 8632*u1^5*u2^5*u3^7*d2u1 + 7020*u1^4*u2^6*u3^7*d2u1 + 3720*u1^3*u2^7*u3^7*d2u1 + 1220*u1^2*u2^8*u3^7*d2u1 + 220*u1*u2^9*u3^7*d2u1 + 16*u2^10*u3^7*d2u1 + 25*u1^9*u3^8*d2u1 + 270*u1^8*u2*u3^8*d2u1 + 1220*u1^7*u2^2*u3^8*d2u1 + 3070*u1^6*u2^3*u3^8*d2u1 + 4775*u1^5*u2^4*u3^8*d2u1 + 4775*u1^4*u2^5*u3^8*d2u1 + 3070*u1^3*u2^6*u3^8*d2u1 + 1220*u1^2*u2^7*u3^8*d2u1 + 270*u1*u2^8*u3^8*d2u1 + 25*u2^9*u3^8*d2u1 + 25*u1^8*u3^9*d2u1 + 220*u1^7*u2*u3^9*d2u1 + 820*u1^6*u2^2*u3^9*d2u1 + 1700*u1^5*u2^3*u3^9*d2u1 + 2150*u1^4*u2^4*u3^9*d2u1 + 1700*u1^3*u2^5*u3^9*d2u1 + 820*u1^2*u2^6*u3^9*d2u1 + 220*u1*u2^7*u3^9*d2u1 + 25*u2^8*u3^9*d2u1 + 16*u1^7*u3^10*d2u1 + 116*u1^6*u2*u3^10*d2u1 + 356*u1^5*u2^2*u3^10*d2u1 + 600*u1^4*u2^3*u3^10*d2u1 + 600*u1^3*u2^4*u3^10*d2u1 + 356*u1^2*u2^5*u3^10*d2u1 + 116*u1*u2^6*u3^10*d2u1 + 16*u2^7*u3^10*d2u1 + 6*u1^6*u3^11*d2u1 + 36*u1^5*u2*u3^11*d2u1 + 90*u1^4*u2^2*u3^11*d2u1 + 120*u1^3*u2^3*u3^11*d2u1 + 90*u1^2*u2^4*u3^11*d2u1 + 36*u1*u2^5*u3^11*d2u1 + 6*u2^6*u3^11*d2u1 + u1^5*u3^12*d2u1 + 5*u1^4*u2*u3^12*d2u1 + 10*u1^3*u2^2*u3^12*d2u1 + 10*u1^2*u2^3*u3^12*d2u1 + 5*u1*u2^4*u3^12*d2u1 + u2^5*u3^12*d2u1 + 2*u1^11*u2^6*d2u1u2 + 10*u1^10*u2^7*d2u1u2 + 20*u1^9*u2^8*d2u1u2 + 20*u1^8*u2^9*d2u1u2 + 10*u1^7*u2^10*d2u1u2 + 2*u1^6*u2^11*d2u1u2 + 8*u1^11*u2^5*u3*d2u1u2 + 48*u1^10*u2^6*u3*d2u1u2 + 120*u1^9*u2^7*u3*d2u1u2 + 160*u1^8*u2^8*u3*d2u1u2 + 120*u1^7*u2^9*u3*d2u1u2 + 48*u1^6*u2^10*u3*d2u1u2 + 8*u1^5*u2^11*u3*d2u1u2 + 10*u1^11*u2^4*u3^2*d2u1u2 + 78*u1^10*u2^5*u3^2*d2u1u2 + 250*u1^9*u2^6*u3^2*d2u1u2 + 430*u1^8*u2^7*u3^2*d2u1u2 + 430*u1^7*u2^8*u3^2*d2u1u2 + 250*u1^6*u2^9*u3^2*d2u1u2 + 78*u1^5*u2^10*u3^2*d2u1u2 + 10*u1^4*u2^11*u3^2*d2u1u2 + 20*u1^10*u2^4*u3^3*d2u1u2 + 120*u1^9*u2^5*u3^3*d2u1u2 + 300*u1^8*u2^6*u3^3*d2u1u2 + 400*u1^7*u2^7*u3^3*d2u1u2 + 300*u1^6*u2^8*u3^3*d2u1u2 + 120*u1^5*u2^9*u3^3*d2u1u2 + 20*u1^4*u2^10*u3^3*d2u1u2 - 10*u1^11*u2^2*u3^4*d2u1u2 - 90*u1^10*u2^3*u3^4*d2u1u2 - 350*u1^9*u2^4*u3^4*d2u1u2 - 790*u1^8*u2^5*u3^4*d2u1u2 - 1160*u1^7*u2^6*u3^4*d2u1u2 - 1160*u1^6*u2^7*u3^4*d2u1u2 - 790*u1^5*u2^8*u3^4*d2u1u2 - 350*u1^4*u2^9*u3^4*d2u1u2 - 90*u1^3*u2^10*u3^4*d2u1u2 - 10*u1^2*u2^11*u3^4*d2u1u2 - 8*u1^11*u2*u3^5*d2u1u2 - 120*u1^10*u2^2*u3^5*d2u1u2 - 680*u1^9*u2^3*u3^5*d2u1u2 - 2080*u1^8*u2^4*u3^5*d2u1u2 - 3920*u1^7*u2^5*u3^5*d2u1u2 - 4816*u1^6*u2^6*u3^5*d2u1u2 - 3920*u1^5*u2^7*u3^5*d2u1u2 - 2080*u1^4*u2^8*u3^5*d2u1u2 - 680*u1^3*u2^9*u3^5*d2u1u2 - 120*u1^2*u2^10*u3^5*d2u1u2 - 8*u1*u2^11*u3^5*d2u1u2 - 2*u1^11*u3^6*d2u1u2 - 62*u1^10*u2*u3^6*d2u1u2 - 530*u1^9*u2^2*u3^6*d2u1u2 - 2190*u1^8*u2^3*u3^6*d2u1u2 - 5280*u1^7*u2^4*u3^6*d2u1u2 - 8064*u1^6*u2^5*u3^6*d2u1u2 - 8064*u1^5*u2^6*u3^6*d2u1u2 - 5280*u1^4*u2^7*u3^6*d2u1u2 - 2190*u1^3*u2^8*u3^6*d2u1u2 - 530*u1^2*u2^9*u3^6*d2u1u2 - 62*u1*u2^10*u3^6*d2u1u2 - 2*u2^11*u3^6*d2u1u2 - 12*u1^10*u3^7*d2u1u2 - 200*u1^9*u2*u3^7*d2u1u2 - 1220*u1^8*u2^2*u3^7*d2u1u2 - 3920*u1^7*u2^3*u3^7*d2u1u2 - 7600*u1^6*u2^4*u3^7*d2u1u2 - 9424*u1^5*u2^5*u3^7*d2u1u2 - 7600*u1^4*u2^6*u3^7*d2u1u2 - 3920*u1^3*u2^7*u3^7*d2u1u2 - 1220*u1^2*u2^8*u3^7*d2u1u2 - 200*u1*u2^9*u3^7*d2u1u2 - 12*u2^10*u3^7*d2u1u2 - 30*u1^9*u3^8*d2u1u2 - 350*u1^8*u2*u3^8*d2u1u2 - 1650*u1^7*u2^2*u3^8*d2u1u2 - 4250*u1^6*u2^3*u3^8*d2u1u2 - 6680*u1^5*u2^4*u3^8*d2u1u2 - 6680*u1^4*u2^5*u3^8*d2u1u2 - 4250*u1^3*u2^6*u3^8*d2u1u2 - 1650*u1^2*u2^7*u3^8*d2u1u2 - 350*u1*u2^8*u3^8*d2u1u2 - 30*u2^9*u3^8*d2u1u2 - 40*u1^8*u3^9*d2u1u2 - 360*u1^7*u2*u3^9*d2u1u2 - 1360*u1^6*u2^2*u3^9*d2u1u2 - 2840*u1^5*u2^3*u3^9*d2u1u2 - 3600*u1^4*u2^4*u3^9*d2u1u2 - 2840*u1^3*u2^5*u3^9*d2u1u2 - 1360*u1^2*u2^6*u3^9*d2u1u2 - 360*u1*u2^7*u3^9*d2u1u2 - 40*u2^8*u3^9*d2u1u2 - 30*u1^7*u3^10*d2u1u2 - 218*u1^6*u2*u3^10*d2u1u2 - 670*u1^5*u2^2*u3^10*d2u1u2 - 1130*u1^4*u2^3*u3^10*d2u1u2 - 1130*u1^3*u2^4*u3^10*d2u1u2 - 670*u1^2*u2^5*u3^10*d2u1u2 - 218*u1*u2^6*u3^10*d2u1u2 - 30*u2^7*u3^10*d2u1u2 - 12*u1^6*u3^11*d2u1u2 - 72*u1^5*u2*u3^11*d2u1u2 - 180*u1^4*u2^2*u3^11*d2u1u2 - 240*u1^3*u2^3*u3^11*d2u1u2 - 180*u1^2*u2^4*u3^11*d2u1u2 - 72*u1*u2^5*u3^11*d2u1u2 - 12*u2^6*u3^11*d2u1u2 - 2*u1^5*u3^12*d2u1u2 - 10*u1^4*u2*u3^12*d2u1u2 - 20*u1^3*u2^2*u3^12*d2u1u2 - 20*u1^2*u2^3*u3^12*d2u1u2 - 10*u1*u2^4*u3^12*d2u1u2 - 2*u2^5*u3^12*d2u1u2 - 2*u1^11*u2^6*d2u1u3 - 12*u1^10*u2^7*d2u1u3 - 30*u1^9*u2^8*d2u1u3 - 40*u1^8*u2^9*d2u1u3 - 30*u1^7*u2^10*d2u1u3 - 12*u1^6*u2^11*d2u1u3 - 2*u1^5*u2^12*d2u1u3 - 8*u1^11*u2^5*u3*d2u1u3 - 62*u1^10*u2^6*u3*d2u1u3 - 200*u1^9*u2^7*u3*d2u1u3 - 350*u1^8*u2^8*u3*d2u1u3 - 360*u1^7*u2^9*u3*d2u1u3 - 218*u1^6*u2^10*u3*d2u1u3 - 72*u1^5*u2^11*u3*d2u1u3 - 10*u1^4*u2^12*u3*d2u1u3 - 10*u1^11*u2^4*u3^2*d2u1u3 - 120*u1^10*u2^5*u3^2*d2u1u3 - 530*u1^9*u2^6*u3^2*d2u1u3 - 1220*u1^8*u2^7*u3^2*d2u1u3 - 1650*u1^7*u2^8*u3^2*d2u1u3 - 1360*u1^6*u2^9*u3^2*d2u1u3 - 670*u1^5*u2^10*u3^2*d2u1u3 - 180*u1^4*u2^11*u3^2*d2u1u3 - 20*u1^3*u2^12*u3^2*d2u1u3 - 90*u1^10*u2^4*u3^3*d2u1u3 - 680*u1^9*u2^5*u3^3*d2u1u3 - 2190*u1^8*u2^6*u3^3*d2u1u3 - 3920*u1^7*u2^7*u3^3*d2u1u3 - 4250*u1^6*u2^8*u3^3*d2u1u3 - 2840*u1^5*u2^9*u3^3*d2u1u3 - 1130*u1^4*u2^10*u3^3*d2u1u3 - 240*u1^3*u2^11*u3^3*d2u1u3 - 20*u1^2*u2^12*u3^3*d2u1u3 + 10*u1^11*u2^2*u3^4*d2u1u3 + 20*u1^10*u2^3*u3^4*d2u1u3 - 350*u1^9*u2^4*u3^4*d2u1u3 - 2080*u1^8*u2^5*u3^4*d2u1u3 - 5280*u1^7*u2^6*u3^4*d2u1u3 - 7600*u1^6*u2^7*u3^4*d2u1u3 - 6680*u1^5*u2^8*u3^4*d2u1u3 - 3600*u1^4*u2^9*u3^4*d2u1u3 - 1130*u1^3*u2^10*u3^4*d2u1u3 - 180*u1^2*u2^11*u3^4*d2u1u3 - 10*u1*u2^12*u3^4*d2u1u3 + 8*u1^11*u2*u3^5*d2u1u3 + 78*u1^10*u2^2*u3^5*d2u1u3 + 120*u1^9*u2^3*u3^5*d2u1u3 - 790*u1^8*u2^4*u3^5*d2u1u3 - 3920*u1^7*u2^5*u3^5*d2u1u3 - 8064*u1^6*u2^6*u3^5*d2u1u3 - 9424*u1^5*u2^7*u3^5*d2u1u3 - 6680*u1^4*u2^8*u3^5*d2u1u3 - 2840*u1^3*u2^9*u3^5*d2u1u3 - 670*u1^2*u2^10*u3^5*d2u1u3 - 72*u1*u2^11*u3^5*d2u1u3 - 2*u2^12*u3^5*d2u1u3 + 2*u1^11*u3^6*d2u1u3 + 48*u1^10*u2*u3^6*d2u1u3 + 250*u1^9*u2^2*u3^6*d2u1u3 + 300*u1^8*u2^3*u3^6*d2u1u3 - 1160*u1^7*u2^4*u3^6*d2u1u3 - 4816*u1^6*u2^5*u3^6*d2u1u3 - 8064*u1^5*u2^6*u3^6*d2u1u3 - 7600*u1^4*u2^7*u3^6*d2u1u3 - 4250*u1^3*u2^8*u3^6*d2u1u3 - 1360*u1^2*u2^9*u3^6*d2u1u3 - 218*u1*u2^10*u3^6*d2u1u3 - 12*u2^11*u3^6*d2u1u3 + 10*u1^10*u3^7*d2u1u3 + 120*u1^9*u2*u3^7*d2u1u3 + 430*u1^8*u2^2*u3^7*d2u1u3 + 400*u1^7*u2^3*u3^7*d2u1u3 - 1160*u1^6*u2^4*u3^7*d2u1u3 - 3920*u1^5*u2^5*u3^7*d2u1u3 - 5280*u1^4*u2^6*u3^7*d2u1u3 - 3920*u1^3*u2^7*u3^7*d2u1u3 - 1650*u1^2*u2^8*u3^7*d2u1u3 - 360*u1*u2^9*u3^7*d2u1u3 - 30*u2^10*u3^7*d2u1u3 + 20*u1^9*u3^8*d2u1u3 + 160*u1^8*u2*u3^8*d2u1u3 + 430*u1^7*u2^2*u3^8*d2u1u3 + 300*u1^6*u2^3*u3^8*d2u1u3 - 790*u1^5*u2^4*u3^8*d2u1u3 - 2080*u1^4*u2^5*u3^8*d2u1u3 - 2190*u1^3*u2^6*u3^8*d2u1u3 - 1220*u1^2*u2^7*u3^8*d2u1u3 - 350*u1*u2^8*u3^8*d2u1u3 - 40*u2^9*u3^8*d2u1u3 + 20*u1^8*u3^9*d2u1u3 + 120*u1^7*u2*u3^9*d2u1u3 + 250*u1^6*u2^2*u3^9*d2u1u3 + 120*u1^5*u2^3*u3^9*d2u1u3 - 350*u1^4*u2^4*u3^9*d2u1u3 - 680*u1^3*u2^5*u3^9*d2u1u3 - 530*u1^2*u2^6*u3^9*d2u1u3 - 200*u1*u2^7*u3^9*d2u1u3 - 30*u2^8*u3^9*d2u1u3 + 10*u1^7*u3^10*d2u1u3 + 48*u1^6*u2*u3^10*d2u1u3 + 78*u1^5*u2^2*u3^10*d2u1u3 + 20*u1^4*u2^3*u3^10*d2u1u3 - 90*u1^3*u2^4*u3^10*d2u1u3 - 120*u1^2*u2^5*u3^10*d2u1u3 - 62*u1*u2^6*u3^10*d2u1u3 - 12*u2^7*u3^10*d2u1u3 + 2*u1^6*u3^11*d2u1u3 + 8*u1^5*u2*u3^11*d2u1u3 + 10*u1^4*u2^2*u3^11*d2u1u3 - 10*u1^2*u2^4*u3^11*d2u1u3 - 8*u1*u2^5*u3^11*d2u1u3 - 2*u2^6*u3^11*d2u1u3 + u1^12*u2^5*d2u2 + 6*u1^11*u2^6*d2u2 + 16*u1^10*u2^7*d2u2 + 25*u1^9*u2^8*d2u2 + 25*u1^8*u2^9*d2u2 + 16*u1^7*u2^10*d2u2 + 6*u1^6*u2^11*d2u2 + u1^5*u2^12*d2u2 + 5*u1^12*u2^4*u3*d2u2 + 36*u1^11*u2^5*u3*d2u2 + 116*u1^10*u2^6*u3*d2u2 + 220*u1^9*u2^7*u3*d2u2 + 270*u1^8*u2^8*u3*d2u2 + 220*u1^7*u2^9*u3*d2u2 + 116*u1^6*u2^10*u3*d2u2 + 36*u1^5*u2^11*u3*d2u2 + 5*u1^4*u2^12*u3*d2u2 + 10*u1^12*u2^3*u3^2*d2u2 + 90*u1^11*u2^4*u3^2*d2u2 + 356*u1^10*u2^5*u3^2*d2u2 + 820*u1^9*u2^6*u3^2*d2u2 + 1220*u1^8*u2^7*u3^2*d2u2 + 1220*u1^7*u2^8*u3^2*d2u2 + 820*u1^6*u2^9*u3^2*d2u2 + 356*u1^5*u2^10*u3^2*d2u2 + 90*u1^4*u2^11*u3^2*d2u2 + 10*u1^3*u2^12*u3^2*d2u2 + 10*u1^12*u2^2*u3^3*d2u2 + 120*u1^11*u2^3*u3^3*d2u2 + 600*u1^10*u2^4*u3^3*d2u2 + 1700*u1^9*u2^5*u3^3*d2u2 + 3070*u1^8*u2^6*u3^3*d2u2 + 3720*u1^7*u2^7*u3^3*d2u2 + 3070*u1^6*u2^8*u3^3*d2u2 + 1700*u1^5*u2^9*u3^3*d2u2 + 600*u1^4*u2^10*u3^3*d2u2 + 120*u1^3*u2^11*u3^3*d2u2 + 10*u1^2*u2^12*u3^3*d2u2 + 5*u1^12*u2*u3^4*d2u2 + 90*u1^11*u2^2*u3^4*d2u2 + 600*u1^10*u2^3*u3^4*d2u2 + 2150*u1^9*u2^4*u3^4*d2u2 + 4775*u1^8*u2^5*u3^4*d2u2 + 7020*u1^7*u2^6*u3^4*d2u2 + 7020*u1^6*u2^7*u3^4*d2u2 + 4775*u1^5*u2^8*u3^4*d2u2 + 2150*u1^4*u2^9*u3^4*d2u2 + 600*u1^3*u2^10*u3^4*d2u2 + 90*u1^2*u2^11*u3^4*d2u2 + 5*u1*u2^12*u3^4*d2u2 + u1^12*u3^5*d2u2 + 36*u1^11*u2*u3^5*d2u2 + 356*u1^10*u2^2*u3^5*d2u2 + 1700*u1^9*u2^3*u3^5*d2u2 + 4775*u1^8*u2^4*u3^5*d2u2 + 8632*u1^7*u2^5*u3^5*d2u2 + 10472*u1^6*u2^6*u3^5*d2u2 + 8632*u1^5*u2^7*u3^5*d2u2 + 4775*u1^4*u2^8*u3^5*d2u2 + 1700*u1^3*u2^9*u3^5*d2u2 + 356*u1^2*u2^10*u3^5*d2u2 + 36*u1*u2^11*u3^5*d2u2 + u2^12*u3^5*d2u2 + 6*u1^11*u3^6*d2u2 + 116*u1^10*u2*u3^6*d2u2 + 820*u1^9*u2^2*u3^6*d2u2 + 3070*u1^8*u2^3*u3^6*d2u2 + 7020*u1^7*u2^4*u3^6*d2u2 + 10472*u1^6*u2^5*u3^6*d2u2 + 10472*u1^5*u2^6*u3^6*d2u2 + 7020*u1^4*u2^7*u3^6*d2u2 + 3070*u1^3*u2^8*u3^6*d2u2 + 820*u1^2*u2^9*u3^6*d2u2 + 116*u1*u2^10*u3^6*d2u2 + 6*u2^11*u3^6*d2u2 + 16*u1^10*u3^7*d2u2 + 220*u1^9*u2*u3^7*d2u2 + 1220*u1^8*u2^2*u3^7*d2u2 + 3720*u1^7*u2^3*u3^7*d2u2 + 7020*u1^6*u2^4*u3^7*d2u2 + 8632*u1^5*u2^5*u3^7*d2u2 + 7020*u1^4*u2^6*u3^7*d2u2 + 3720*u1^3*u2^7*u3^7*d2u2 + 1220*u1^2*u2^8*u3^7*d2u2 + 220*u1*u2^9*u3^7*d2u2 + 16*u2^10*u3^7*d2u2 + 25*u1^9*u3^8*d2u2 + 270*u1^8*u2*u3^8*d2u2 + 1220*u1^7*u2^2*u3^8*d2u2 + 3070*u1^6*u2^3*u3^8*d2u2 + 4775*u1^5*u2^4*u3^8*d2u2 + 4775*u1^4*u2^5*u3^8*d2u2 + 3070*u1^3*u2^6*u3^8*d2u2 + 1220*u1^2*u2^7*u3^8*d2u2 + 270*u1*u2^8*u3^8*d2u2 + 25*u2^9*u3^8*d2u2 + 25*u1^8*u3^9*d2u2 + 220*u1^7*u2*u3^9*d2u2 + 820*u1^6*u2^2*u3^9*d2u2 + 1700*u1^5*u2^3*u3^9*d2u2 + 2150*u1^4*u2^4*u3^9*d2u2 + 1700*u1^3*u2^5*u3^9*d2u2 + 820*u1^2*u2^6*u3^9*d2u2 + 220*u1*u2^7*u3^9*d2u2 + 25*u2^8*u3^9*d2u2 + 16*u1^7*u3^10*d2u2 + 116*u1^6*u2*u3^10*d2u2 + 356*u1^5*u2^2*u3^10*d2u2 + 600*u1^4*u2^3*u3^10*d2u2 + 600*u1^3*u2^4*u3^10*d2u2 + 356*u1^2*u2^5*u3^10*d2u2 + 116*u1*u2^6*u3^10*d2u2 + 16*u2^7*u3^10*d2u2 + 6*u1^6*u3^11*d2u2 + 36*u1^5*u2*u3^11*d2u2 + 90*u1^4*u2^2*u3^11*d2u2 + 120*u1^3*u2^3*u3^11*d2u2 + 90*u1^2*u2^4*u3^11*d2u2 + 36*u1*u2^5*u3^11*d2u2 + 6*u2^6*u3^11*d2u2 + u1^5*u3^12*d2u2 + 5*u1^4*u2*u3^12*d2u2 + 10*u1^3*u2^2*u3^12*d2u2 + 10*u1^2*u2^3*u3^12*d2u2 + 5*u1*u2^4*u3^12*d2u2 + u2^5*u3^12*d2u2 - 2*u1^12*u2^5*d2u2u3 - 12*u1^11*u2^6*d2u2u3 - 30*u1^10*u2^7*d2u2u3 - 40*u1^9*u2^8*d2u2u3 - 30*u1^8*u2^9*d2u2u3 - 12*u1^7*u2^10*d2u2u3 - 2*u1^6*u2^11*d2u2u3 - 10*u1^12*u2^4*u3*d2u2u3 - 72*u1^11*u2^5*u3*d2u2u3 - 218*u1^10*u2^6*u3*d2u2u3 - 360*u1^9*u2^7*u3*d2u2u3 - 350*u1^8*u2^8*u3*d2u2u3 - 200*u1^7*u2^9*u3*d2u2u3 - 62*u1^6*u2^10*u3*d2u2u3 - 8*u1^5*u2^11*u3*d2u2u3 - 20*u1^12*u2^3*u3^2*d2u2u3 - 180*u1^11*u2^4*u3^2*d2u2u3 - 670*u1^10*u2^5*u3^2*d2u2u3 - 1360*u1^9*u2^6*u3^2*d2u2u3 - 1650*u1^8*u2^7*u3^2*d2u2u3 - 1220*u1^7*u2^8*u3^2*d2u2u3 - 530*u1^6*u2^9*u3^2*d2u2u3 - 120*u1^5*u2^10*u3^2*d2u2u3 - 10*u1^4*u2^11*u3^2*d2u2u3 - 20*u1^12*u2^2*u3^3*d2u2u3 - 240*u1^11*u2^3*u3^3*d2u2u3 - 1130*u1^10*u2^4*u3^3*d2u2u3 - 2840*u1^9*u2^5*u3^3*d2u2u3 - 4250*u1^8*u2^6*u3^3*d2u2u3 - 3920*u1^7*u2^7*u3^3*d2u2u3 - 2190*u1^6*u2^8*u3^3*d2u2u3 - 680*u1^5*u2^9*u3^3*d2u2u3 - 90*u1^4*u2^10*u3^3*d2u2u3 - 10*u1^12*u2*u3^4*d2u2u3 - 180*u1^11*u2^2*u3^4*d2u2u3 - 1130*u1^10*u2^3*u3^4*d2u2u3 - 3600*u1^9*u2^4*u3^4*d2u2u3 - 6680*u1^8*u2^5*u3^4*d2u2u3 - 7600*u1^7*u2^6*u3^4*d2u2u3 - 5280*u1^6*u2^7*u3^4*d2u2u3 - 2080*u1^5*u2^8*u3^4*d2u2u3 - 350*u1^4*u2^9*u3^4*d2u2u3 + 20*u1^3*u2^10*u3^4*d2u2u3 + 10*u1^2*u2^11*u3^4*d2u2u3 - 2*u1^12*u3^5*d2u2u3 - 72*u1^11*u2*u3^5*d2u2u3 - 670*u1^10*u2^2*u3^5*d2u2u3 - 2840*u1^9*u2^3*u3^5*d2u2u3 - 6680*u1^8*u2^4*u3^5*d2u2u3 - 9424*u1^7*u2^5*u3^5*d2u2u3 - 8064*u1^6*u2^6*u3^5*d2u2u3 - 3920*u1^5*u2^7*u3^5*d2u2u3 - 790*u1^4*u2^8*u3^5*d2u2u3 + 120*u1^3*u2^9*u3^5*d2u2u3 + 78*u1^2*u2^10*u3^5*d2u2u3 + 8*u1*u2^11*u3^5*d2u2u3 - 12*u1^11*u3^6*d2u2u3 - 218*u1^10*u2*u3^6*d2u2u3 - 1360*u1^9*u2^2*u3^6*d2u2u3 - 4250*u1^8*u2^3*u3^6*d2u2u3 - 7600*u1^7*u2^4*u3^6*d2u2u3 - 8064*u1^6*u2^5*u3^6*d2u2u3 - 4816*u1^5*u2^6*u3^6*d2u2u3 - 1160*u1^4*u2^7*u3^6*d2u2u3 + 300*u1^3*u2^8*u3^6*d2u2u3 + 250*u1^2*u2^9*u3^6*d2u2u3 + 48*u1*u2^10*u3^6*d2u2u3 + 2*u2^11*u3^6*d2u2u3 - 30*u1^10*u3^7*d2u2u3 - 360*u1^9*u2*u3^7*d2u2u3 - 1650*u1^8*u2^2*u3^7*d2u2u3 - 3920*u1^7*u2^3*u3^7*d2u2u3 - 5280*u1^6*u2^4*u3^7*d2u2u3 - 3920*u1^5*u2^5*u3^7*d2u2u3 - 1160*u1^4*u2^6*u3^7*d2u2u3 + 400*u1^3*u2^7*u3^7*d2u2u3 + 430*u1^2*u2^8*u3^7*d2u2u3 + 120*u1*u2^9*u3^7*d2u2u3 + 10*u2^10*u3^7*d2u2u3 - 40*u1^9*u3^8*d2u2u3 - 350*u1^8*u2*u3^8*d2u2u3 - 1220*u1^7*u2^2*u3^8*d2u2u3 - 2190*u1^6*u2^3*u3^8*d2u2u3 - 2080*u1^5*u2^4*u3^8*d2u2u3 - 790*u1^4*u2^5*u3^8*d2u2u3 + 300*u1^3*u2^6*u3^8*d2u2u3 + 430*u1^2*u2^7*u3^8*d2u2u3 + 160*u1*u2^8*u3^8*d2u2u3 + 20*u2^9*u3^8*d2u2u3 - 30*u1^8*u3^9*d2u2u3 - 200*u1^7*u2*u3^9*d2u2u3 - 530*u1^6*u2^2*u3^9*d2u2u3 - 680*u1^5*u2^3*u3^9*d2u2u3 - 350*u1^4*u2^4*u3^9*d2u2u3 + 120*u1^3*u2^5*u3^9*d2u2u3 + 250*u1^2*u2^6*u3^9*d2u2u3 + 120*u1*u2^7*u3^9*d2u2u3 + 20*u2^8*u3^9*d2u2u3 - 12*u1^7*u3^10*d2u2u3 - 62*u1^6*u2*u3^10*d2u2u3 - 120*u1^5*u2^2*u3^10*d2u2u3 - 90*u1^4*u2^3*u3^10*d2u2u3 + 20*u1^3*u2^4*u3^10*d2u2u3 + 78*u1^2*u2^5*u3^10*d2u2u3 + 48*u1*u2^6*u3^10*d2u2u3 + 10*u2^7*u3^10*d2u2u3 - 2*u1^6*u3^11*d2u2u3 - 8*u1^5*u2*u3^11*d2u2u3 - 10*u1^4*u2^2*u3^11*d2u2u3 + 10*u1^2*u2^4*u3^11*d2u2u3 + 8*u1*u2^5*u3^11*d2u2u3 + 2*u2^6*u3^11*d2u2u3 + u1^12*u2^5*d2u3 + 6*u1^11*u2^6*d2u3 + 16*u1^10*u2^7*d2u3 + 25*u1^9*u2^8*d2u3 + 25*u1^8*u2^9*d2u3 + 16*u1^7*u2^10*d2u3 + 6*u1^6*u2^11*d2u3 + u1^5*u2^12*d2u3 + 5*u1^12*u2^4*u3*d2u3 + 36*u1^11*u2^5*u3*d2u3 + 116*u1^10*u2^6*u3*d2u3 + 220*u1^9*u2^7*u3*d2u3 + 270*u1^8*u2^8*u3*d2u3 + 220*u1^7*u2^9*u3*d2u3 + 116*u1^6*u2^10*u3*d2u3 + 36*u1^5*u2^11*u3*d2u3 + 5*u1^4*u2^12*u3*d2u3 + 10*u1^12*u2^3*u3^2*d2u3 + 90*u1^11*u2^4*u3^2*d2u3 + 356*u1^10*u2^5*u3^2*d2u3 + 820*u1^9*u2^6*u3^2*d2u3 + 1220*u1^8*u2^7*u3^2*d2u3 + 1220*u1^7*u2^8*u3^2*d2u3 + 820*u1^6*u2^9*u3^2*d2u3 + 356*u1^5*u2^10*u3^2*d2u3 + 90*u1^4*u2^11*u3^2*d2u3 + 10*u1^3*u2^12*u3^2*d2u3 + 10*u1^12*u2^2*u3^3*d2u3 + 120*u1^11*u2^3*u3^3*d2u3 + 600*u1^10*u2^4*u3^3*d2u3 + 1700*u1^9*u2^5*u3^3*d2u3 + 3070*u1^8*u2^6*u3^3*d2u3 + 3720*u1^7*u2^7*u3^3*d2u3 + 3070*u1^6*u2^8*u3^3*d2u3 + 1700*u1^5*u2^9*u3^3*d2u3 + 600*u1^4*u2^10*u3^3*d2u3 + 120*u1^3*u2^11*u3^3*d2u3 + 10*u1^2*u2^12*u3^3*d2u3 + 5*u1^12*u2*u3^4*d2u3 + 90*u1^11*u2^2*u3^4*d2u3 + 600*u1^10*u2^3*u3^4*d2u3 + 2150*u1^9*u2^4*u3^4*d2u3 + 4775*u1^8*u2^5*u3^4*d2u3 + 7020*u1^7*u2^6*u3^4*d2u3 + 7020*u1^6*u2^7*u3^4*d2u3 + 4775*u1^5*u2^8*u3^4*d2u3 + 2150*u1^4*u2^9*u3^4*d2u3 + 600*u1^3*u2^10*u3^4*d2u3 + 90*u1^2*u2^11*u3^4*d2u3 + 5*u1*u2^12*u3^4*d2u3 + u1^12*u3^5*d2u3 + 36*u1^11*u2*u3^5*d2u3 + 356*u1^10*u2^2*u3^5*d2u3 + 1700*u1^9*u2^3*u3^5*d2u3 + 4775*u1^8*u2^4*u3^5*d2u3 + 8632*u1^7*u2^5*u3^5*d2u3 + 10472*u1^6*u2^6*u3^5*d2u3 + 8632*u1^5*u2^7*u3^5*d2u3 + 4775*u1^4*u2^8*u3^5*d2u3 + 1700*u1^3*u2^9*u3^5*d2u3 + 356*u1^2*u2^10*u3^5*d2u3 + 36*u1*u2^11*u3^5*d2u3 + u2^12*u3^5*d2u3 + 6*u1^11*u3^6*d2u3 + 116*u1^10*u2*u3^6*d2u3 + 820*u1^9*u2^2*u3^6*d2u3 + 3070*u1^8*u2^3*u3^6*d2u3 + 7020*u1^7*u2^4*u3^6*d2u3 + 10472*u1^6*u2^5*u3^6*d2u3 + 10472*u1^5*u2^6*u3^6*d2u3 + 7020*u1^4*u2^7*u3^6*d2u3 + 3070*u1^3*u2^8*u3^6*d2u3 + 820*u1^2*u2^9*u3^6*d2u3 + 116*u1*u2^10*u3^6*d2u3 + 6*u2^11*u3^6*d2u3 + 16*u1^10*u3^7*d2u3 + 220*u1^9*u2*u3^7*d2u3 + 1220*u1^8*u2^2*u3^7*d2u3 + 3720*u1^7*u2^3*u3^7*d2u3 + 7020*u1^6*u2^4*u3^7*d2u3 + 8632*u1^5*u2^5*u3^7*d2u3 + 7020*u1^4*u2^6*u3^7*d2u3 + 3720*u1^3*u2^7*u3^7*d2u3 + 1220*u1^2*u2^8*u3^7*d2u3 + 220*u1*u2^9*u3^7*d2u3 + 16*u2^10*u3^7*d2u3 + 25*u1^9*u3^8*d2u3 + 270*u1^8*u2*u3^8*d2u3 + 1220*u1^7*u2^2*u3^8*d2u3 + 3070*u1^6*u2^3*u3^8*d2u3 + 4775*u1^5*u2^4*u3^8*d2u3 + 4775*u1^4*u2^5*u3^8*d2u3 + 3070*u1^3*u2^6*u3^8*d2u3 + 1220*u1^2*u2^7*u3^8*d2u3 + 270*u1*u2^8*u3^8*d2u3 + 25*u2^9*u3^8*d2u3 + 25*u1^8*u3^9*d2u3 + 220*u1^7*u2*u3^9*d2u3 + 820*u1^6*u2^2*u3^9*d2u3 + 1700*u1^5*u2^3*u3^9*d2u3 + 2150*u1^4*u2^4*u3^9*d2u3 + 1700*u1^3*u2^5*u3^9*d2u3 + 820*u1^2*u2^6*u3^9*d2u3 + 220*u1*u2^7*u3^9*d2u3 + 25*u2^8*u3^9*d2u3 + 16*u1^7*u3^10*d2u3 + 116*u1^6*u2*u3^10*d2u3 + 356*u1^5*u2^2*u3^10*d2u3 + 600*u1^4*u2^3*u3^10*d2u3 + 600*u1^3*u2^4*u3^10*d2u3 + 356*u1^2*u2^5*u3^10*d2u3 + 116*u1*u2^6*u3^10*d2u3 + 16*u2^7*u3^10*d2u3 + 6*u1^6*u3^11*d2u3 + 36*u1^5*u2*u3^11*d2u3 + 90*u1^4*u2^2*u3^11*d2u3 + 120*u1^3*u2^3*u3^11*d2u3 + 90*u1^2*u2^4*u3^11*d2u3 + 36*u1*u2^5*u3^11*d2u3 + 6*u2^6*u3^11*d2u3 + u1^5*u3^12*d2u3 + 5*u1^4*u2*u3^12*d2u3 + 10*u1^3*u2^2*u3^12*d2u3 + 10*u1^2*u2^3*u3^12*d2u3 + 5*u1*u2^4*u3^12*d2u3 + u2^5*u3^12*d2u3 + 2*u1^11*u2^5*du1 + 10*u1^10*u2^6*du1 + 20*u1^9*u2^7*du1 + 20*u1^8*u2^8*du1 + 10*u1^7*u2^9*du1 + 2*u1^6*u2^10*du1 + 10*u1^11*u2^4*u3*du1 + 60*u1^10*u2^5*u3*du1 + 150*u1^9*u2^6*u3*du1 + 200*u1^8*u2^7*u3*du1 + 150*u1^7*u2^8*u3*du1 + 60*u1^6*u2^9*u3*du1 + 10*u1^5*u2^10*u3*du1 + 20*u1^11*u2^3*u3^2*du1 + 150*u1^10*u2^4*u3^2*du1 + 470*u1^9*u2^5*u3^2*du1 + 800*u1^8*u2^6*u3^2*du1 + 800*u1^7*u2^7*u3^2*du1 + 470*u1^6*u2^8*u3^2*du1 + 150*u1^5*u2^9*u3^2*du1 + 20*u1^4*u2^10*u3^2*du1 + 20*u1^11*u2^2*u3^3*du1 + 200*u1^10*u2^3*u3^3*du1 + 800*u1^9*u2^4*u3^3*du1 + 1720*u1^8*u2^5*u3^3*du1 + 2200*u1^7*u2^6*u3^3*du1 + 1720*u1^6*u2^7*u3^3*du1 + 800*u1^5*u2^8*u3^3*du1 + 200*u1^4*u2^9*u3^3*du1 + 20*u1^3*u2^10*u3^3*du1 + 10*u1^11*u2*u3^4*du1 + 150*u1^10*u2^2*u3^4*du1 + 800*u1^9*u2^3*u3^4*du1 + 2200*u1^8*u2^4*u3^4*du1 + 3560*u1^7*u2^5*u3^4*du1 + 3560*u1^6*u2^6*u3^4*du1 + 2200*u1^5*u2^7*u3^4*du1 + 800*u1^4*u2^8*u3^4*du1 + 150*u1^3*u2^9*u3^4*du1 + 10*u1^2*u2^10*u3^4*du1 + 2*u1^11*u3^5*du1 + 60*u1^10*u2*u3^5*du1 + 470*u1^9*u2^2*u3^5*du1 + 1720*u1^8*u2^3*u3^5*du1 + 3560*u1^7*u2^4*u3^5*du1 + 4504*u1^6*u2^5*u3^5*du1 + 3560*u1^5*u2^6*u3^5*du1 + 1720*u1^4*u2^7*u3^5*du1 + 470*u1^3*u2^8*u3^5*du1 + 60*u1^2*u2^9*u3^5*du1 + 2*u1*u2^10*u3^5*du1 + 10*u1^10*u3^6*du1 + 150*u1^9*u2*u3^6*du1 + 800*u1^8*u2^2*u3^6*du1 + 2200*u1^7*u2^3*u3^6*du1 + 3560*u1^6*u2^4*u3^6*du1 + 3560*u1^5*u2^5*u3^6*du1 + 2200*u1^4*u2^6*u3^6*du1 + 800*u1^3*u2^7*u3^6*du1 + 150*u1^2*u2^8*u3^6*du1 + 10*u1*u2^9*u3^6*du1 + 20*u1^9*u3^7*du1 + 200*u1^8*u2*u3^7*du1 + 800*u1^7*u2^2*u3^7*du1 + 1720*u1^6*u2^3*u3^7*du1 + 2200*u1^5*u2^4*u3^7*du1 + 1720*u1^4*u2^5*u3^7*du1 + 800*u1^3*u2^6*u3^7*du1 + 200*u1^2*u2^7*u3^7*du1 + 20*u1*u2^8*u3^7*du1 + 20*u1^8*u3^8*du1 + 150*u1^7*u2*u3^8*du1 + 470*u1^6*u2^2*u3^8*du1 + 800*u1^5*u2^3*u3^8*du1 + 800*u1^4*u2^4*u3^8*du1 + 470*u1^3*u2^5*u3^8*du1 + 150*u1^2*u2^6*u3^8*du1 + 20*u1*u2^7*u3^8*du1 + 10*u1^7*u3^9*du1 + 60*u1^6*u2*u3^9*du1 + 150*u1^5*u2^2*u3^9*du1 + 200*u1^4*u2^3*u3^9*du1 + 150*u1^3*u2^4*u3^9*du1 + 60*u1^2*u2^5*u3^9*du1 + 10*u1*u2^6*u3^9*du1 + 2*u1^6*u3^10*du1 + 10*u1^5*u2*u3^10*du1 + 20*u1^4*u2^2*u3^10*du1 + 20*u1^3*u2^3*u3^10*du1 + 10*u1^2*u2^4*u3^10*du1 + 2*u1*u2^5*u3^10*du1 + 2*u1^10*u2^6*du2 + 10*u1^9*u2^7*du2 + 20*u1^8*u2^8*du2 + 20*u1^7*u2^9*du2 + 10*u1^6*u2^10*du2 + 2*u1^5*u2^11*du2 + 10*u1^10*u2^5*u3*du2 + 60*u1^9*u2^6*u3*du2 + 150*u1^8*u2^7*u3*du2 + 200*u1^7*u2^8*u3*du2 + 150*u1^6*u2^9*u3*du2 + 60*u1^5*u2^10*u3*du2 + 10*u1^4*u2^11*u3*du2 + 20*u1^10*u2^4*u3^2*du2 + 150*u1^9*u2^5*u3^2*du2 + 470*u1^8*u2^6*u3^2*du2 + 800*u1^7*u2^7*u3^2*du2 + 800*u1^6*u2^8*u3^2*du2 + 470*u1^5*u2^9*u3^2*du2 + 150*u1^4*u2^10*u3^2*du2 + 20*u1^3*u2^11*u3^2*du2 + 20*u1^10*u2^3*u3^3*du2 + 200*u1^9*u2^4*u3^3*du2 + 800*u1^8*u2^5*u3^3*du2 + 1720*u1^7*u2^6*u3^3*du2 + 2200*u1^6*u2^7*u3^3*du2 + 1720*u1^5*u2^8*u3^3*du2 + 800*u1^4*u2^9*u3^3*du2 + 200*u1^3*u2^10*u3^3*du2 + 20*u1^2*u2^11*u3^3*du2 + 10*u1^10*u2^2*u3^4*du2 + 150*u1^9*u2^3*u3^4*du2 + 800*u1^8*u2^4*u3^4*du2 + 2200*u1^7*u2^5*u3^4*du2 + 3560*u1^6*u2^6*u3^4*du2 + 3560*u1^5*u2^7*u3^4*du2 + 2200*u1^4*u2^8*u3^4*du2 + 800*u1^3*u2^9*u3^4*du2 + 150*u1^2*u2^10*u3^4*du2 + 10*u1*u2^11*u3^4*du2 + 2*u1^10*u2*u3^5*du2 + 60*u1^9*u2^2*u3^5*du2 + 470*u1^8*u2^3*u3^5*du2 + 1720*u1^7*u2^4*u3^5*du2 + 3560*u1^6*u2^5*u3^5*du2 + 4504*u1^5*u2^6*u3^5*du2 + 3560*u1^4*u2^7*u3^5*du2 + 1720*u1^3*u2^8*u3^5*du2 + 470*u1^2*u2^9*u3^5*du2 + 60*u1*u2^10*u3^5*du2 + 2*u2^11*u3^5*du2 + 10*u1^9*u2*u3^6*du2 + 150*u1^8*u2^2*u3^6*du2 + 800*u1^7*u2^3*u3^6*du2 + 2200*u1^6*u2^4*u3^6*du2 + 3560*u1^5*u2^5*u3^6*du2 + 3560*u1^4*u2^6*u3^6*du2 + 2200*u1^3*u2^7*u3^6*du2 + 800*u1^2*u2^8*u3^6*du2 + 150*u1*u2^9*u3^6*du2 + 10*u2^10*u3^6*du2 + 20*u1^8*u2*u3^7*du2 + 200*u1^7*u2^2*u3^7*du2 + 800*u1^6*u2^3*u3^7*du2 + 1720*u1^5*u2^4*u3^7*du2 + 2200*u1^4*u2^5*u3^7*du2 + 1720*u1^3*u2^6*u3^7*du2 + 800*u1^2*u2^7*u3^7*du2 + 200*u1*u2^8*u3^7*du2 + 20*u2^9*u3^7*du2 + 20*u1^7*u2*u3^8*du2 + 150*u1^6*u2^2*u3^8*du2 + 470*u1^5*u2^3*u3^8*du2 + 800*u1^4*u2^4*u3^8*du2 + 800*u1^3*u2^5*u3^8*du2 + 470*u1^2*u2^6*u3^8*du2 + 150*u1*u2^7*u3^8*du2 + 20*u2^8*u3^8*du2 + 10*u1^6*u2*u3^9*du2 + 60*u1^5*u2^2*u3^9*du2 + 150*u1^4*u2^3*u3^9*du2 + 200*u1^3*u2^4*u3^9*du2 + 150*u1^2*u2^5*u3^9*du2 + 60*u1*u2^6*u3^9*du2 + 10*u2^7*u3^9*du2 + 2*u1^5*u2*u3^10*du2 + 10*u1^4*u2^2*u3^10*du2 + 20*u1^3*u2^3*u3^10*du2 + 20*u1^2*u2^4*u3^10*du2 + 10*u1*u2^5*u3^10*du2 + 2*u2^6*u3^10*du2 + 2*u1^10*u2^5*u3*du3 + 10*u1^9*u2^6*u3*du3 + 20*u1^8*u2^7*u3*du3 + 20*u1^7*u2^8*u3*du3 + 10*u1^6*u2^9*u3*du3 + 2*u1^5*u2^10*u3*du3 + 10*u1^10*u2^4*u3^2*du3 + 60*u1^9*u2^5*u3^2*du3 + 150*u1^8*u2^6*u3^2*du3 + 200*u1^7*u2^7*u3^2*du3 + 150*u1^6*u2^8*u3^2*du3 + 60*u1^5*u2^9*u3^2*du3 + 10*u1^4*u2^10*u3^2*du3 + 20*u1^10*u2^3*u3^3*du3 + 150*u1^9*u2^4*u3^3*du3 + 470*u1^8*u2^5*u3^3*du3 + 800*u1^7*u2^6*u3^3*du3 + 800*u1^6*u2^7*u3^3*du3 + 470*u1^5*u2^8*u3^3*du3 + 150*u1^4*u2^9*u3^3*du3 + 20*u1^3*u2^10*u3^3*du3 + 20*u1^10*u2^2*u3^4*du3 + 200*u1^9*u2^3*u3^4*du3 + 800*u1^8*u2^4*u3^4*du3 + 1720*u1^7*u2^5*u3^4*du3 + 2200*u1^6*u2^6*u3^4*du3 + 1720*u1^5*u2^7*u3^4*du3 + 800*u1^4*u2^8*u3^4*du3 + 200*u1^3*u2^9*u3^4*du3 + 20*u1^2*u2^10*u3^4*du3 + 10*u1^10*u2*u3^5*du3 + 150*u1^9*u2^2*u3^5*du3 + 800*u1^8*u2^3*u3^5*du3 + 2200*u1^7*u2^4*u3^5*du3 + 3560*u1^6*u2^5*u3^5*du3 + 3560*u1^5*u2^6*u3^5*du3 + 2200*u1^4*u2^7*u3^5*du3 + 800*u1^3*u2^8*u3^5*du3 + 150*u1^2*u2^9*u3^5*du3 + 10*u1*u2^10*u3^5*du3 + 2*u1^10*u3^6*du3 + 60*u1^9*u2*u3^6*du3 + 470*u1^8*u2^2*u3^6*du3 + 1720*u1^7*u2^3*u3^6*du3 + 3560*u1^6*u2^4*u3^6*du3 + 4504*u1^5*u2^5*u3^6*du3 + 3560*u1^4*u2^6*u3^6*du3 + 1720*u1^3*u2^7*u3^6*du3 + 470*u1^2*u2^8*u3^6*du3 + 60*u1*u2^9*u3^6*du3 + 2*u2^10*u3^6*du3 + 10*u1^9*u3^7*du3 + 150*u1^8*u2*u3^7*du3 + 800*u1^7*u2^2*u3^7*du3 + 2200*u1^6*u2^3*u3^7*du3 + 3560*u1^5*u2^4*u3^7*du3 + 3560*u1^4*u2^5*u3^7*du3 + 2200*u1^3*u2^6*u3^7*du3 + 800*u1^2*u2^7*u3^7*du3 + 150*u1*u2^8*u3^7*du3 + 10*u2^9*u3^7*du3 + 20*u1^8*u3^8*du3 + 200*u1^7*u2*u3^8*du3 + 800*u1^6*u2^2*u3^8*du3 + 1720*u1^5*u2^3*u3^8*du3 + 2200*u1^4*u2^4*u3^8*du3 + 1720*u1^3*u2^5*u3^8*du3 + 800*u1^2*u2^6*u3^8*du3 + 200*u1*u2^7*u3^8*du3 + 20*u2^8*u3^8*du3 + 20*u1^7*u3^9*du3 + 150*u1^6*u2*u3^9*du3 + 470*u1^5*u2^2*u3^9*du3 + 800*u1^4*u2^3*u3^9*du3 + 800*u1^3*u2^4*u3^9*du3 + 470*u1^2*u2^5*u3^9*du3 + 150*u1*u2^6*u3^9*du3 + 20*u2^7*u3^9*du3 + 10*u1^6*u3^10*du3 + 60*u1^5*u2*u3^10*du3 + 150*u1^4*u2^2*u3^10*du3 + 200*u1^3*u2^3*u3^10*du3 + 150*u1^2*u2^4*u3^10*du3 + 60*u1*u2^5*u3^10*du3 + 10*u2^6*u3^10*du3 + 2*u1^5*u3^11*du3 + 10*u1^4*u2*u3^11*du3 + 20*u1^3*u2^2*u3^11*du3 + 20*u1^2*u2^3*u3^11*du3 + 10*u1*u2^4*u3^11*du3 + 2*u2^5*u3^11*du3 + u1^10*u2^5*d2u1 + 5*u1^9*u2^6*d2u1 + 10*u1^8*u2^7*d2u1 + 10*u1^7*u2^8*d2u1 + 5*u1^6*u2^9*d2u1 + u1^5*u2^10*d2u1 + 5*u1^10*u2^4*u3*d2u1 + 26*u1^9*u2^5*u3*d2u1 + 55*u1^8*u2^6*u3*d2u1 + 60*u1^7*u2^7*u3*d2u1 + 35*u1^6*u2^8*u3*d2u1 + 10*u1^5*u2^9*u3*d2u1 + u1^4*u2^10*u3*d2u1 + 10*u1^10*u2^3*u3^2*d2u1 + 59*u1^9*u2^4*u3^2*d2u1 + 135*u1^8*u2^5*u3^2*d2u1 + 144*u1^7*u2^6*u3^2*d2u1 + 56*u1^6*u2^7*u3^2*d2u1 - 21*u1^5*u2^8*u3^2*d2u1 - 25*u1^4*u2^9*u3^2*d2u1 - 6*u1^3*u2^10*u3^2*d2u1 + 10*u1^10*u2^2*u3^3*d2u1 + 76*u1^9*u2^3*u3^3*d2u1 + 200*u1^8*u2^4*u3^3*d2u1 + 196*u1^7*u2^5*u3^3*d2u1 - 60*u1^6*u2^6*u3^3*d2u1 - 300*u1^5*u2^7*u3^3*d2u1 - 264*u1^4*u2^8*u3^3*d2u1 - 100*u1^3*u2^9*u3^3*d2u1 - 14*u1^2*u2^10*u3^3*d2u1 + 5*u1^10*u2*u3^4*d2u1 + 59*u1^9*u2^2*u3^4*d2u1 + 200*u1^8*u2^3*u3^4*d2u1 + 204*u1^7*u2^4*u3^4*d2u1 - 260*u1^6*u2^5*u3^4*d2u1 - 876*u1^5*u2^6*u3^4*d2u1 - 940*u1^4*u2^7*u3^4*d2u1 - 496*u1^3*u2^8*u3^4*d2u1 - 125*u1^2*u2^9*u3^4*d2u1 - 11*u1*u2^10*u3^4*d2u1 + u1^10*u3^5*d2u1 + 26*u1^9*u2*u3^5*d2u1 + 135*u1^8*u2^2*u3^5*d2u1 + 196*u1^7*u2^3*u3^5*d2u1 - 260*u1^6*u2^4*u3^5*d2u1 - 1212*u1^5*u2^5*u3^5*d2u1 - 1684*u1^4*u2^6*u3^5*d2u1 - 1180*u1^3*u2^7*u3^5*d2u1 - 429*u1^2*u2^8*u3^5*d2u1 - 70*u1*u2^9*u3^5*d2u1 - 3*u2^10*u3^5*d2u1 + 5*u1^9*u3^6*d2u1 + 55*u1^8*u2*u3^6*d2u1 + 144*u1^7*u2^2*u3^6*d2u1 - 60*u1^6*u2^3*u3^6*d2u1 - 876*u1^5*u2^4*u3^6*d2u1 - 1684*u1^4*u2^5*u3^6*d2u1 - 1556*u1^3*u2^6*u3^6*d2u1 - 760*u1^2*u2^7*u3^6*d2u1 - 181*u1*u2^8*u3^6*d2u1 - 15*u2^9*u3^6*d2u1 + 10*u1^8*u3^7*d2u1 + 60*u1^7*u2*u3^7*d2u1 + 56*u1^6*u2^2*u3^7*d2u1 - 300*u1^5*u2^3*u3^7*d2u1 - 940*u1^4*u2^4*u3^7*d2u1 - 1180*u1^3*u2^5*u3^7*d2u1 - 760*u1^2*u2^6*u3^7*d2u1 - 244*u1*u2^7*u3^7*d2u1 - 30*u2^8*u3^7*d2u1 + 10*u1^7*u3^8*d2u1 + 35*u1^6*u2*u3^8*d2u1 - 21*u1^5*u2^2*u3^8*d2u1 - 264*u1^4*u2^3*u3^8*d2u1 - 496*u1^3*u2^4*u3^8*d2u1 - 429*u1^2*u2^5*u3^8*d2u1 - 181*u1*u2^6*u3^8*d2u1 - 30*u2^7*u3^8*d2u1 + 5*u1^6*u3^9*d2u1 + 10*u1^5*u2*u3^9*d2u1 - 25*u1^4*u2^2*u3^9*d2u1 - 100*u1^3*u2^3*u3^9*d2u1 - 125*u1^2*u2^4*u3^9*d2u1 - 70*u1*u2^5*u3^9*d2u1 - 15*u2^6*u3^9*d2u1 + u1^5*u3^10*d2u1 + u1^4*u2*u3^10*d2u1 - 6*u1^3*u2^2*u3^10*d2u1 - 14*u1^2*u2^3*u3^10*d2u1 - 11*u1*u2^4*u3^10*d2u1 - 3*u2^5*u3^10*d2u1 - 2*u1^10*u2^5*d2u1u2 - 10*u1^9*u2^6*d2u1u2 - 20*u1^8*u2^7*d2u1u2 - 20*u1^7*u2^8*d2u1u2 - 10*u1^6*u2^9*d2u1u2 - 2*u1^5*u2^10*d2u1u2 - 6*u1^10*u2^4*u3*d2u1u2 - 36*u1^9*u2^5*u3*d2u1u2 - 90*u1^8*u2^6*u3*d2u1u2 - 120*u1^7*u2^7*u3*d2u1u2 - 90*u1^6*u2^8*u3*d2u1u2 - 36*u1^5*u2^9*u3*d2u1u2 - 6*u1^4*u2^10*u3*d2u1u2 - 4*u1^10*u2^3*u3^2*d2u1u2 - 34*u1^9*u2^4*u3^2*d2u1u2 - 114*u1^8*u2^5*u3^2*d2u1u2 - 200*u1^7*u2^6*u3^2*d2u1u2 - 200*u1^6*u2^7*u3^2*d2u1u2 - 114*u1^5*u2^8*u3^2*d2u1u2 - 34*u1^4*u2^9*u3^2*d2u1u2 - 4*u1^3*u2^10*u3^2*d2u1u2 + 4*u1^10*u2^2*u3^3*d2u1u2 + 24*u1^9*u2^3*u3^3*d2u1u2 + 64*u1^8*u2^4*u3^3*d2u1u2 + 104*u1^7*u2^5*u3^3*d2u1u2 + 120*u1^6*u2^6*u3^3*d2u1u2 + 104*u1^5*u2^7*u3^3*d2u1u2 + 64*u1^4*u2^8*u3^3*d2u1u2 + 24*u1^3*u2^9*u3^3*d2u1u2 + 4*u1^2*u2^10*u3^3*d2u1u2 + 6*u1^10*u2*u3^4*d2u1u2 + 66*u1^9*u2^2*u3^4*d2u1u2 + 296*u1^8*u2^3*u3^4*d2u1u2 + 736*u1^7*u2^4*u3^4*d2u1u2 + 1136*u1^6*u2^5*u3^4*d2u1u2 + 1136*u1^5*u2^6*u3^4*d2u1u2 + 736*u1^4*u2^7*u3^4*d2u1u2 + 296*u1^3*u2^8*u3^4*d2u1u2 + 66*u1^2*u2^9*u3^4*d2u1u2 + 6*u1*u2^10*u3^4*d2u1u2 + 2*u1^10*u3^5*d2u1u2 + 44*u1^9*u2*u3^5*d2u1u2 + 294*u1^8*u2^2*u3^5*d2u1u2 + 984*u1^7*u2^3*u3^5*d2u1u2 + 1944*u1^6*u2^4*u3^5*d2u1u2 + 2424*u1^5*u2^5*u3^5*d2u1u2 + 1944*u1^4*u2^6*u3^5*d2u1u2 + 984*u1^3*u2^7*u3^5*d2u1u2 + 294*u1^2*u2^8*u3^5*d2u1u2 + 44*u1*u2^9*u3^5*d2u1u2 + 2*u2^10*u3^5*d2u1u2 + 10*u1^9*u3^6*d2u1u2 + 126*u1^8*u2*u3^6*d2u1u2 + 616*u1^7*u2^2*u3^6*d2u1u2 + 1616*u1^6*u2^3*u3^6*d2u1u2 + 2560*u1^5*u2^4*u3^6*d2u1u2 + 2560*u1^4*u2^5*u3^6*d2u1u2 + 1616*u1^3*u2^6*u3^6*d2u1u2 + 616*u1^2*u2^7*u3^6*d2u1u2 + 126*u1*u2^8*u3^6*d2u1u2 + 10*u2^9*u3^6*d2u1u2 + 20*u1^8*u3^7*d2u1u2 + 184*u1^7*u2*u3^7*d2u1u2 + 704*u1^6*u2^2*u3^7*d2u1u2 + 1480*u1^5*u2^3*u3^7*d2u1u2 + 1880*u1^4*u2^4*u3^7*d2u1u2 + 1480*u1^3*u2^5*u3^7*d2u1u2 + 704*u1^2*u2^6*u3^7*d2u1u2 + 184*u1*u2^7*u3^7*d2u1u2 + 20*u2^8*u3^7*d2u1u2 + 20*u1^7*u3^8*d2u1u2 + 146*u1^6*u2*u3^8*d2u1u2 + 450*u1^5*u2^2*u3^8*d2u1u2 + 760*u1^4*u2^3*u3^8*d2u1u2 + 760*u1^3*u2^4*u3^8*d2u1u2 + 450*u1^2*u2^5*u3^8*d2u1u2 + 146*u1*u2^6*u3^8*d2u1u2 + 20*u2^7*u3^8*d2u1u2 + 10*u1^6*u3^9*d2u1u2 + 60*u1^5*u2*u3^9*d2u1u2 + 150*u1^4*u2^2*u3^9*d2u1u2 + 200*u1^3*u2^3*u3^9*d2u1u2 )