(138915*2^(7 - 19*w)*(1 - l + u)*(-3 + 2^(1 - w)*(1 - l + u))*(-5 + 3*2^(1 - w)*(1 - l + u))*(-4 + 3*2^(1 - w)*(1 - l + u))*(-3 + 2^(2 - w)*(1 - l + u))*(17 - 9*2^(2 - w)*(1 - l + u) + 5*2^(2 - 2*w)*(1 - l + u)^2)*(8 - 3*2^(3 - w)*(1 - l + u) + 5*2^(2 - 2*w)*(1 - l + u)^2)*(5 - 3*2^(2 - w)*(1 - l + u) + 2^(3 - 2*w)*(1 - l + u)^2) + 15*2^(10 - 4*w)*(1 - l + u)^4*(-17 + 2^(4 - 4*w)*(1 - l + u)^4) - 15*2^(7 - 4*w)*(1 - l + u)^3*(-544 + 17*2^(4 - w)*(1 - l + u) - 85*2^(3 - 3*w)*(1 - l + u)^3 + 33*2^(7 - 4*w)*(1 - l + u)^4 - 13*2^(8 - 5*w)*(1 - l + u)^5 - 7*2^(7 - 7*w)*(1 - l + u)^7 + 2^(10 - 8*w)*(1 - l + u)^8) - 19845*2^(9 - 18*w)*(1 - l + u)*(26520 - 4759*2^(3 - w)*(1 - l + u) - 78063*2^(4 - 2*w)*(1 - l + u)^2 + 1044203*2^(3 - 3*w)*(1 - l + u)^3 - 50175*2^(9 - 4*w)*(1 - l + u)^4 + 363019*2^(7 - 5*w)*(1 - l + u)^5 - 51279*2^(10 - 6*w)*(1 - l + u)^6 + 286555*2^(7 - 7*w)*(1 - l + u)^7 - 3555*2^(12 - 8*w)*(1 - l + u)^8 + 2463*2^(10 - 9*w)*(1 - l + u)^9) + 15*2^(4 - 4*w)*(1 - l + u)^2*(-6528 + 17*2^(9 - w)*(1 - l + u) + 187*2^(6 - 2*w)*(1 - l + u)^2 - 51*2^(8 - 3*w)*(1 - l + u)^3 + 475*2^(8 - 4*w)*(1 - l + u)^4 - 77*2^(12 - 5*w)*(1 - l + u)^5 + 2685*2^(6 - 6*w)*(1 - l + u)^6 + 35*2^(11 - 7*w)*(1 - l + u)^7 - 7*2^(13 - 8*w)*(1 - l + u)^8 + 3*2^(10 - 10*w)*(1 - l + u)^10) - 2835*2^(7 - 17*w)*(1 - l + u)*(2365856 - 787055*2^(5 - w)*(1 - l + u) + 912683*2^(7 - 2*w)*(1 - l + u)^2 - 38965113*2^(3 - 3*w)*(1 - l + u)^3 + 16849679*2^(5 - 4*w)*(1 - l + u)^4 - 650393*2^(10 - 5*w)*(1 - l + u)^5 + 642853*2^(10 - 6*w)*(1 - l + u)^6 - 4368723*2^(7 - 7*w)*(1 - l + u)^7 + 733915*2^(9 - 8*w)*(1 - l + u)^8 - 39495*2^(12 - 9*w)*(1 - l + u)^9 + 15*2^(21 - 10*w)*(1 - l + u)^10) - 405*2^(5 - 16*w)*(1 - l + u)*(-89216 - 200887*2^(8 - w)*(1 - l + u) + 1733349*2^(8 - 2*w)*(1 - l + u)^2 - 3041*2^(19 - 3*w)*(1 - l + u)^3 + 23771231*2^(7 - 4*w)*(1 - l + u)^4 - 96401979*2^(5 - 5*w)*(1 - l + u)^5 + 436785*2^(11 - 6*w)*(1 - l + u)^6 + 3684683*2^(9 - 7*w)*(1 - l + u)^7 - 1515777*2^(11 - 8*w)*(1 - l + u)^8 + 4711485*2^(9 - 9*w)*(1 - l + u)^9 - 127575*2^(13 - 10*w)*(1 - l + u)^10 + 48965*2^(12 - 11*w)*(1 - l + u)^11) + 135*2^(8 - 15*w)*(1 - l + u)*(4470864 - 1835373*2^(4 - w)*(1 - l + u) + 2903149*2^(4 - 2*w)*(1 - l + u)^2 + 14788647*2^(3 - 3*w)*(1 - l + u)^3 - 32384307*2^(4 - 4*w)*(1 - l + u)^4 + 15549243*2^(5 - 5*w)*(1 - l + u)^5 + 2913411*2^(8 - 6*w)*(1 - l + u)^6 - 19468431*2^(7 - 7*w)*(1 - l + u)^7 + 11529475*2^(8 - 8*w)*(1 - l + u)^8 - 3628863*2^(9 - 9*w)*(1 - l + u)^9 + 306315*2^(11 - 10*w)*(1 - l + u)^10 - 24255*2^(12 - 11*w)*(1 - l + u)^11 + 315*2^(14 - 12*w)*(1 - l + u)^12) + 15*2^(3 - 5*w)*(1 - l + u)*(8704 + 119*2^(9 - w)*(1 - l + u) - 85*2^(11 - 2*w)*(1 - l + u)^2 + 2703*2^(8 - 3*w)*(1 - l + u)^3 - 13469*2^(9 - 4*w)*(1 - l + u)^4 + 75433*2^(8 - 5*w)*(1 - l + u)^5 - 8771*2^(11 - 6*w)*(1 - l + u)^6 - 2143*2^(7 - 7*w)*(1 - l + u)^7 + 13971*2^(9 - 8*w)*(1 - l + u)^8 + 927*2^(11 - 9*w)*(1 - l + u)^9 - 417*2^(14 - 10*w)*(1 - l + u)^10 + 1377*2^(11 - 11*w)*(1 - l + u)^11 - 21*2^(13 - 12*w)*(1 - l + u)^12 + 15*2^(14 - 13*w)*(1 - l + u)^13) - 15*2^(5 - 12*w)*(1 - l + u)*(34513536 - 344765*2^(9 - w)*(1 - l + u) - 726699*2^(8 - 2*w)*(1 - l + u)^2 + 26615587*2^(7 - 3*w)*(1 - l + u)^3 - 43634115*2^(8 - 4*w)*(1 - l + u)^4 + 623391575*2^(5 - 5*w)*(1 - l + u)^5 - 45173427*2^(9 - 6*w)*(1 - l + u)^6 + 133097273*2^(7 - 7*w)*(1 - l + u)^7 - 2036691*2^(11 - 8*w)*(1 - l + u)^8 - 11115897*2^(9 - 9*w)*(1 - l + u)^9 + 1368981*2^(12 - 10*w)*(1 - l + u)^10 - 684333*2^(11 - 11*w)*(1 - l + u)^11 - 135*2^(20 - 12*w)*(1 - l + u)^12 + 2457*2^(14 - 13*w)*(1 - l + u)^13) + 135*2^(5 - 14*w)*(1 - l + u)*(15464832 - 1010849*2^(7 - w)*(1 - l + u) + 2695761*2^(7 - 2*w)*(1 - l + u)^2 - 2218507*2^(6 - 3*w)*(1 - l + u)^3 - 1724805*2^(8 - 4*w)*(1 - l + u)^4 - 58093825*2^(5 - 5*w)*(1 - l + u)^5 + 39207765*2^(8 - 6*w)*(1 - l + u)^6 - 17628059*2^(10 - 7*w)*(1 - l + u)^7 + 1985925*2^(13 - 8*w)*(1 - l + u)^8 - 13885779*2^(9 - 9*w)*(1 - l + u)^9 + 46053*2^(14 - 10*w)*(1 - l + u)^10 + 24375*2^(14 - 11*w)*(1 - l + u)^11 - 2961*2^(15 - 12*w)*(1 - l + u)^12 + 63*2^(17 - 13*w)*(1 - l + u)^13) - 15*2^(4 - 9*w)*(1 - l + u)*(-2563328 + 37579*2^(8 - w)*(1 - l + u) + 22577*2^(11 - 2*w)*(1 - l + u)^2 - 1165867*2^(8 - 3*w)*(1 - l + u)^3 + 1227765*2^(9 - 4*w)*(1 - l + u)^4 - 40635*2^(14 - 5*w)*(1 - l + u)^5 + 857679*2^(8 - 6*w)*(1 - l + u)^6 + 166483*2^(12 - 7*w)*(1 - l + u)^7 - 4998685*2^(8 - 8*w)*(1 - l + u)^8 + 139661*2^(12 - 9*w)*(1 - l + u)^9 + 120065*2^(12 - 10*w)*(1 - l + u)^10 - 127665*2^(12 - 11*w)*(1 - l + u)^11 + 29385*2^(12 - 12*w)*(1 - l + u)^12 + 63*2^(15 - 14*w)*(1 - l + u)^14) + 15*2^(1 - 4*w)*(1 - l + u)*(34816 - 17*2^(13 - w)*(1 - l + u) - 17*2^(12 - 2*w)*(1 - l + u)^2 - 85*2^(11 - 3*w)*(1 - l + u)^3 - 759*2^(11 - 4*w)*(1 - l + u)^4 + 19847*2^(9 - 5*w)*(1 - l + u)^5 - 6393*2^(11 - 6*w)*(1 - l + u)^6 + 919*2^(10 - 7*w)*(1 - l + u)^7 + 107*2^(16 - 8*w)*(1 - l + u)^8 - 8745*2^(9 - 9*w)*(1 - l + u)^9 + 291*2^(13 - 10*w)*(1 - l + u)^10 - 121*2^(14 - 11*w)*(1 - l + u)^11 + 3*2^(18 - 12*w)*(1 - l + u)^12 - 3*2^(13 - 13*w)*(1 - l + u)^13 + 2^(16 - 14*w)*(1 - l + u)^14) - 15*2^(4 - 7*w)*(1 - l + u)*(282880 - 6193*2^(8 - w)*(1 - l + u) + 22453*2^(8 - 2*w)*(1 - l + u)^2 - 230593*2^(7 - 3*w)*(1 - l + u)^3 + 87755*2^(10 - 4*w)*(1 - l + u)^4 - 512921*2^(8 - 5*w)*(1 - l + u)^5 + 168213*2^(9 - 6*w)*(1 - l + u)^6 - 2925*2^(9 - 7*w)*(1 - l + u)^7 - 168231*2^(8 - 8*w)*(1 - l + u)^8 + 203*2^(17 - 9*w)*(1 - l + u)^9 - 75*2^(14 - 10*w)*(1 - l + u)^10 + 3265*2^(12 - 11*w)*(1 - l + u)^11 - 3875*2^(12 - 12*w)*(1 - l + u)^12 + 27*2^(16 - 13*w)*(1 - l + u)^13 + 13*2^(16 - 14*w)*(1 - l + u)^14) + 15*2^(1 - 8*w)*(1 - l + u)*(-2193408 + 451*2^(12 - w)*(1 - l + u) - 35251*2^(12 - 2*w)*(1 - l + u)^2 + 14807*2^(16 - 3*w)*(1 - l + u)^3 - 597823*2^(12 - 4*w)*(1 - l + u)^4 + 5734159*2^(9 - 5*w)*(1 - l + u)^5 - 679193*2^(11 - 6*w)*(1 - l + u)^6 - 693503*2^(10 - 7*w)*(1 - l + u)^7 + 250833*2^(12 - 8*w)*(1 - l + u)^8 + 1893681*2^(9 - 9*w)*(1 - l + u)^9 - 270915*2^(13 - 10*w)*(1 - l + u)^10 + 55203*2^(14 - 11*w)*(1 - l + u)^11 + 1881*2^(17 - 12*w)*(1 - l + u)^12 - 18645*2^(13 - 13*w)*(1 - l + u)^13 + 27*2^(16 - 14*w)*(1 - l + u)^14) - 15*2^(3 - 13*w)*(1 - l + u)*(150170112 - 52785*2^(9 - w)*(1 - l + u) - 1316959*2^(12 - 2*w)*(1 - l + u)^2 + 108793143*2^(8 - 3*w)*(1 - l + u)^3 - 78817593*2^(10 - 4*w)*(1 - l + u)^4 + 673335513*2^(8 - 5*w)*(1 - l + u)^5 - 531980961*2^(9 - 6*w)*(1 - l + u)^6 + 2174652297*2^(7 - 7*w)*(1 - l + u)^7 - 66129827*2^(11 - 8*w)*(1 - l + u)^8 - 12829725*2^(11 - 9*w)*(1 - l + u)^9 + 7931835*2^(13 - 10*w)*(1 - l + u)^10 - 12866499*2^(11 - 11*w)*(1 - l + u)^11 + 184167*2^(14 - 12*w)*(1 - l + u)^12 - 8505*2^(14 - 13*w)*(1 - l + u)^13 + 189*2^(16 - 14*w)*(1 - l + u)^14) + 15*2^(3 - 11*w)*(1 - l + u)*(-2306560 + 973*2^(15 - w)*(1 - l + u) + 1111867*2^(9 - 2*w)*(1 - l + u)^2 - 4434225*2^(10 - 3*w)*(1 - l + u)^3 + 12505483*2^(10 - 4*w)*(1 - l + u)^4 - 17206535*2^(10 - 5*w)*(1 - l + u)^5 + 5900021*2^(11 - 6*w)*(1 - l + u)^6 - 22413741*2^(7 - 7*w)*(1 - l + u)^7 - 5223195*2^(9 - 8*w)*(1 - l + u)^8 + 294183*2^(14 - 9*w)*(1 - l + u)^9 - 178815*2^(14 - 10*w)*(1 - l + u)^10 - 249399*2^(11 - 11*w)*(1 - l + u)^11 + 130977*2^(13 - 12*w)*(1 - l + u)^12 - 2025*2^(17 - 13*w)*(1 - l + u)^13 + 81*2^(17 - 14*w)*(1 - l + u)^14) - 15*2^(1 - 6*w)*(1 - l + u)*(243712 - 1309*2^(11 - w)*(1 - l + u) + 3177*2^(11 - 2*w)*(1 - l + u)^2 - 34215*2^(10 - 3*w)*(1 - l + u)^3 + 76869*2^(11 - 4*w)*(1 - l + u)^4 - 581117*2^(9 - 5*w)*(1 - l + u)^5 + 1595*2^(17 - 6*w)*(1 - l + u)^6 + 17411*2^(12 - 7*w)*(1 - l + u)^7 - 104013*2^(11 - 8*w)*(1 - l + u)^8 + 188763*2^(9 - 9*w)*(1 - l + u)^9 + 3315*2^(14 - 10*w)*(1 - l + u)^10 - 6415*2^(13 - 11*w)*(1 - l + u)^11 + 419*2^(15 - 12*w)*(1 - l + u)^12 - 1005*2^(13 - 13*w)*(1 - l + u)^13 + 9*2^(17 - 14*w)*(1 - l + u)^14 + 3*2^(16 - 15*w)*(1 - l + u)^15) + 15*2^(1 - 10*w)*(1 - l + u)*(53929984 - 87297*2^(11 - w)*(1 - l + u) + 14805*2^(11 - 2*w)*(1 - l + u)^2 - 94481*2^(10 - 3*w)*(1 - l + u)^3 + 660947*2^(11 - 4*w)*(1 - l + u)^4 + 1555871*2^(9 - 5*w)*(1 - l + u)^5 - 32025*2^(18 - 6*w)*(1 - l + u)^6 + 3252967*2^(11 - 7*w)*(1 - l + u)^7 + 3633585*2^(11 - 8*w)*(1 - l + u)^8 - 22511725*2^(9 - 9*w)*(1 - l + u)^9 + 228051*2^(14 - 10*w)*(1 - l + u)^10 - 37367*2^(13 - 11*w)*(1 - l + u)^11 + 19143*2^(15 - 12*w)*(1 - l + u)^12 - 25029*2^(13 - 13*w)*(1 - l + u)^13 - 297*2^(17 - 14*w)*(1 - l + u)^14 + 27*2^(16 - 15*w)*(1 - l + u)^15))/(-64*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^3 - 3*2^(4 - w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^2*(120 + 45*2^(2 - 2*w)*(1 - l + u)^2 - 23*2^(5 - 3*w)*(1 - l + u)^3 + 3*2^(7 - 4*w)*(1 - l + u)^4 + 2^(6 - 6*w)*(1 - l + u)^6 - 120*w - 45*2^(2 - 2*w)*(1 - l + u)^2*w + 15*2^(5 - 3*w)*(1 - l + u)^3*w) - 3969*2^(8 - 17*w)*(-165 + 25*2^(4 - w)*(1 - l + u) + 13*2^(3 - 2*w)*(1 - l + u)^2 - 27*2^(5 - 3*w)*(1 - l + u)^3 + 33*2^(4 - 4*w)*(1 - l + u)^4 + 165*w - 15*2^(5 - w)*(1 - l + u)*w + 45*2^(3 - 2*w)*(1 - l + u)^2*w)*(225 - 113*2^(3 - w)*(1 - l + u) + 171*2^(3 - 2*w)*(1 - l + u)^2 - 29*2^(5 - 3*w)*(1 - l + u)^3 + 15*2^(4 - 4*w)*(1 - l + u)^4 - 225*w + 105*2^(3 - w)*(1 - l + u)*w - 135*2^(3 - 2*w)*(1 - l + u)^2*w + 15*2^(5 - 3*w)*(1 - l + u)^3*w)^2 - 9261*2^(6 - 18*w)*(225 - 113*2^(3 - w)*(1 - l + u) + 171*2^(3 - 2*w)*(1 - l + u)^2 - 29*2^(5 - 3*w)*(1 - l + u)^3 + 15*2^(4 - 4*w)*(1 - l + u)^4 - 225*w + 105*2^(3 - w)*(1 - l + u)*w - 135*2^(3 - 2*w)*(1 - l + u)^2*w + 15*2^(5 - 3*w)*(1 - l + u)^3*w)^3 - 3*2^(2 - 2*w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)*(3600 - 675*2^(6 - w)*(1 - l + u) + 1665*2^(6 - 2*w)*(1 - l + u)^2 - 165*2^(9 - 3*w)*(1 - l + u)^3 + 4905*2^(4 - 4*w)*(1 - l + u)^4 - 1035*2^(8 - 5*w)*(1 - l + u)^5 + 613*2^(10 - 6*w)*(1 - l + u)^6 - 81*2^(13 - 7*w)*(1 - l + u)^7 + 453*2^(9 - 8*w)*(1 - l + u)^8 - 11*2^(12 - 9*w)*(1 - l + u)^9 + 3*2^(14 - 10*w)*(1 - l + u)^10 + 2^(12 - 12*w)*(1 - l + u)^12 - 7200*w + 675*2^(7 - w)*(1 - l + u)*w - 1845*2^(7 - 2*w)*(1 - l + u)^2*w + 195*2^(10 - 3*w)*(1 - l + u)^3*w - 3465*2^(5 - 4*w)*(1 - l + u)^4*w + 855*2^(9 - 5*w)*(1 - l + u)^5*w - 375*2^(11 - 6*w)*(1 - l + u)^6*w + 45*2^(13 - 7*w)*(1 - l + u)^7*w - 45*2^(9 - 8*w)*(1 - l + u)^8*w + 15*2^(12 - 9*w)*(1 - l + u)^9*w + 3600*w^2 - 675*2^(6 - w)*(1 - l + u)*w^2 + 2025*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 225*2^(9 - 3*w)*(1 - l + u)^3*w^2 + 2025*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 675*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 225*2^(10 - 6*w)*(1 - l + u)^6*w^2) - 189*2^(6 - 16*w)*(225 - 113*2^(3 - w)*(1 - l + u) + 171*2^(3 - 2*w)*(1 - l + u)^2 - 29*2^(5 - 3*w)*(1 - l + u)^3 + 15*2^(4 - 4*w)*(1 - l + u)^4 - 225*w + 105*2^(3 - w)*(1 - l + u)*w - 135*2^(3 - 2*w)*(1 - l + u)^2*w + 15*2^(5 - 3*w)*(1 - l + u)^3*w)*(527175 - 1092285*2^(2 - w)*(1 - l + u) + 2051005*2^(3 - 2*w)*(1 - l + u)^2 - 325119*2^(7 - 3*w)*(1 - l + u)^3 + 1325185*2^(6 - 4*w)*(1 - l + u)^4 - 254973*2^(9 - 5*w)*(1 - l + u)^5 + 1012321*2^(7 - 6*w)*(1 - l + u)^6 - 68199*2^(10 - 7*w)*(1 - l + u)^7 + 54981*2^(8 - 8*w)*(1 - l + u)^8 + 945*2^(10 - 9*w)*(1 - l + u)^9 - 1054350*w + 1215405*2^(3 - w)*(1 - l + u)*w - 2390655*2^(4 - 2*w)*(1 - l + u)^2*w + 1342575*2^(6 - 3*w)*(1 - l + u)^3*w - 1920975*2^(6 - 4*w)*(1 - l + u)^4*w + 220815*2^(9 - 5*w)*(1 - l + u)^5*w - 463605*2^(7 - 6*w)*(1 - l + u)^6*w + 5355*2^(11 - 7*w)*(1 - l + u)^7*w + 945*2^(11 - 8*w)*(1 - l + u)^8*w + 527175*w^2 - 1338525*2^(2 - w)*(1 - l + u)*w^2 + 2786625*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 774225*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 491175*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 42525*2^(10 - 5*w)*(1 - l + u)^5*w^2 + 1575*2^(13 - 6*w)*(1 - l + u)^6*w^2) - 3*2^(2 - 4*w)*(-4644000 + 182025*2^(6 - w)*(1 - l + u) - 258075*2^(6 - 2*w)*(1 - l + u)^2 + 538875*2^(7 - 3*w)*(1 - l + u)^3 - 10309845*2^(4 - 4*w)*(1 - l + u)^4 + 3922365*2^(6 - 5*w)*(1 - l + u)^5 - 2449275*2^(7 - 6*w)*(1 - l + u)^6 + 59925*2^(12 - 7*w)*(1 - l + u)^7 - 26641*2^(8 - 8*w)*(1 - l + u)^8 - 391267*2^(10 - 9*w)*(1 - l + u)^9 + 157581*2^(12 - 10*w)*(1 - l + u)^10 - 8897*2^(15 - 11*w)*(1 - l + u)^11 - 17875*2^(12 - 12*w)*(1 - l + u)^12 + 1971*2^(14 - 13*w)*(1 - l + u)^13 + 93*2^(15 - 14*w)*(1 - l + u)^14 + 3*2^(22 - 15*w)*(1 - l + u)^15 + 9*2^(16 - 16*w)*(1 - l + u)^16 + 3*2^(18 - 17*w)*(1 - l + u)^17 + 13932000*w - 549675*2^(6 - w)*(1 - l + u)*w + 749025*2^(6 - 2*w)*(1 - l + u)^2*w - 1580625*2^(7 - 3*w)*(1 - l + u)^3*w + 29953695*2^(4 - 4*w)*(1 - l + u)^4*w - 9562215*2^(6 - 5*w)*(1 - l + u)^5*w + 4685325*2^(7 - 6*w)*(1 - l + u)^6*w - 30225*2^(14 - 7*w)*(1 - l + u)^7*w + 299025*2^(9 - 8*w)*(1 - l + u)^8*w + 201435*2^(11 - 9*w)*(1 - l + u)^9*w - 53805*2^(13 - 10*w)*(1 - l + u)^10*w - 1515*2^(15 - 11*w)*(1 - l + u)^11*w + 24435*2^(12 - 12*w)*(1 - l + u)^12*w + 765*2^(14 - 13*w)*(1 - l + u)^13*w + 495*2^(15 - 14*w)*(1 - l + u)^14*w - 13932000*w^2 + 553275*2^(6 - w)*(1 - l + u)*w^2 - 723825*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 1544625*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 29238975*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 7917975*2^(6 - 5*w)*(1 - l + u)^5*w^2 - 2752425*2^(7 - 6*w)*(1 - l + u)^6*w^2 + 81225*2^(12 - 7*w)*(1 - l + u)^7*w^2 - 853425*2^(8 - 8*w)*(1 - l + u)^8*w^2 - 97875*2^(10 - 9*w)*(1 - l + u)^9*w^2 + 10125*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 675*2^(17 - 11*w)*(1 - l + u)^11*w^2 + 4644000*w^3 - 185625*2^(6 - w)*(1 - l + u)*w^3 + 232875*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 502875*2^(7 - 3*w)*(1 - l + u)^3*w^3 + 9595125*2^(4 - 4*w)*(1 - l + u)^4*w^3 - 2278125*2^(6 - 5*w)*(1 - l + u)^5*w^3 + 516375*2^(7 - 6*w)*(1 - l + u)^6*w^3 - 10125*2^(13 - 7*w)*(1 - l + u)^7*w^3 + 10125*2^(13 - 8*w)*(1 - l + u)^8*w^3) - 3*2^(3 - 6*w)*(24030000 + 237375*2^(5 - w)*(1 - l + u) - 4385955*2^(6 - 2*w)*(1 - l + u)^2 + 3522585*2^(7 - 3*w)*(1 - l + u)^3 - 7770165*2^(6 - 4*w)*(1 - l + u)^4 + 41743245*2^(5 - 5*w)*(1 - l + u)^5 - 15715745*2^(7 - 6*w)*(1 - l + u)^6 + 736205*2^(9 - 7*w)*(1 - l + u)^7 + 9231169*2^(9 - 8*w)*(1 - l + u)^8 - 21017543*2^(9 - 9*w)*(1 - l + u)^9 + 1151287*2^(13 - 10*w)*(1 - l + u)^10 - 25299*2^(16 - 11*w)*(1 - l + u)^11 - 5083*2^(18 - 12*w)*(1 - l + u)^12 - 18317*2^(13 - 13*w)*(1 - l + u)^13 + 7749*2^(15 - 14*w)*(1 - l + u)^14 + 415*2^(17 - 15*w)*(1 - l + u)^15 + 237*2^(17 - 16*w)*(1 - l + u)^16 - 9*2^(17 - 17*w)*(1 - l + u)^17 - 72090000*w - 478125*2^(5 - w)*(1 - l + u)*w + 12507105*2^(6 - 2*w)*(1 - l + u)^2*w - 9562935*2^(7 - 3*w)*(1 - l + u)^3*w + 15396315*2^(6 - 4*w)*(1 - l + u)^4*w - 88952295*2^(5 - 5*w)*(1 - l + u)^5*w + 39467775*2^(7 - 6*w)*(1 - l + u)^6*w - 4404285*2^(9 - 7*w)*(1 - l + u)^7*w - 11287125*2^(9 - 8*w)*(1 - l + u)^8*w + 10935735*2^(10 - 9*w)*(1 - l + u)^9*w - 92325*2^(16 - 10*w)*(1 - l + u)^10*w - 11115*2^(16 - 11*w)*(1 - l + u)^11*w + 44805*2^(13 - 12*w)*(1 - l + u)^12*w + 61485*2^(13 - 13*w)*(1 - l + u)^13*w + 1215*2^(15 - 14*w)*(1 - l + u)^14*w + 195*2^(17 - 15*w)*(1 - l + u)^15*w + 72090000*w^2 + 244125*2^(5 - w)*(1 - l + u)*w^2 - 11864025*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 8669475*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 9242775*2^(6 - 4*w)*(1 - l + u)^4*w^2 + 63419175*2^(5 - 5*w)*(1 - l + u)^5*w^2 - 34760475*2^(7 - 6*w)*(1 - l + u)^6*w^2 + 5245875*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 4992975*2^(9 - 8*w)*(1 - l + u)^8*w^2 - 7831575*2^(9 - 9*w)*(1 - l + u)^9*w^2 + 86625*2^(13 - 10*w)*(1 - l + u)^10*w^2 + 675*2^(19 - 11*w)*(1 - l + u)^11*w^2 + 36675*2^(13 - 12*w)*(1 - l + u)^12*w^2 - 24030000*w^3 - 3375*2^(5 - w)*(1 - l + u)*w^3 + 3742875*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 2629125*2^(7 - 3*w)*(1 - l + u)^3*w^3 + 1616625*2^(6 - 4*w)*(1 - l + u)^4*w^3 - 16210125*2^(5 - 5*w)*(1 - l + u)^5*w^3 + 11080125*2^(7 - 6*w)*(1 - l + u)^6*w^3 - 1879875*2^(9 - 7*w)*(1 - l + u)^7*w^3 - 1042875*2^(9 - 8*w)*(1 - l + u)^8*w^3 + 84375*2^(13 - 9*w)*(1 - l + u)^9*w^3) - 9*2^(7 - 14*w)*(-617918625 + 3904910775*2^(1 - w)*(1 - l + u) - 10238909085*2^(2 - 2*w)*(1 - l + u)^2 + 7094029645*2^(4 - 3*w)*(1 - l + u)^3 - 9455285133*2^(4 - 4*w)*(1 - l + u)^4 - 1937076495*2^(5 - 5*w)*(1 - l + u)^5 + 10970095455*2^(6 - 6*w)*(1 - l + u)^6 - 2989362285*2^(9 - 7*w)*(1 - l + u)^7 + 7406476821*2^(8 - 8*w)*(1 - l + u)^8 - 2807358139*2^(9 - 9*w)*(1 - l + u)^9 + 587302821*2^(10 - 10*w)*(1 - l + u)^10 - 16198623*2^(12 - 11*w)*(1 - l + u)^11 - 11375991*2^(12 - 12*w)*(1 - l + u)^12 + 1841643*2^(13 - 13*w)*(1 - l + u)^13 - 14175*2^(14 - 14*w)*(1 - l + u)^14 + 1853755875*w - 11892251925*2^(1 - w)*(1 - l + u)*w + 31291201935*2^(2 - 2*w)*(1 - l + u)^2*w - 21747274965*2^(4 - 3*w)*(1 - l + u)^3*w + 15579880065*2^(5 - 4*w)*(1 - l + u)^4*w - 1542017925*2^(6 - 5*w)*(1 - l + u)^5*w - 8071929315*2^(7 - 6*w)*(1 - l + u)^6*w + 1051091775*2^(11 - 7*w)*(1 - l + u)^7*w - 8629584615*2^(8 - 8*w)*(1 - l + u)^8*w + 2404244655*2^(9 - 9*w)*(1 - l + u)^9*w - 266105385*2^(10 - 10*w)*(1 - l + u)^10*w - 13172895*2^(12 - 11*w)*(1 - l + u)^11*w + 3728025*2^(13 - 12*w)*(1 - l + u)^12*w - 14175*2^(15 - 13*w)*(1 - l + u)^13*w - 1853755875*w^2 + 12069771525*2^(1 - w)*(1 - l + u)*w^2 - 31896987975*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 22244350275*2^(4 - 3*w)*(1 - l + u)^3*w^2 - 33336078525*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 8638992225*2^(5 - 5*w)*(1 - l + u)^5*w^2 + 6985292175*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 1942604775*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 1631220525*2^(9 - 8*w)*(1 - l + u)^8*w^2 - 150761925*2^(11 - 9*w)*(1 - l + u)^9*w^2 + 2395575*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 269325*2^(16 - 11*w)*(1 - l + u)^11*w^2 + 617918625*w^3 - 4082430375*2^(1 - w)*(1 - l + u)*w^3 + 10844695125*2^(2 - 2*w)*(1 - l + u)^2*w^3 - 7597330875*2^(4 - 3*w)*(1 - l + u)^3*w^3 + 1469147625*2^(7 - 4*w)*(1 - l + u)^4*w^3 - 515291625*2^(8 - 5*w)*(1 - l + u)^5*w^3 - 79309125*2^(9 - 6*w)*(1 - l + u)^6*w^3 + 37573875*2^(12 - 7*w)*(1 - l + u)^7*w^3 - 55495125*2^(11 - 8*w)*(1 - l + u)^8*w^3 + 3661875*2^(13 - 9*w)*(1 - l + u)^9*w^3) + (-3024000 + 304425*2^(8 - w)*(1 - l + u) - 2147175*2^(6 - 2*w)*(1 - l + u)^2 + 120825*2^(9 - 3*w)*(1 - l + u)^3 - 1778625*2^(7 - 4*w)*(1 - l + u)^4 + 122265*2^(11 - 5*w)*(1 - l + u)^5 + 4943835*2^(6 - 6*w)*(1 - l + u)^6 - 510435*2^(9 - 7*w)*(1 - l + u)^7 - 123705*2^(11 - 8*w)*(1 - l + u)^8 + 17735*2^(15 - 9*w)*(1 - l + u)^9 - 1140555*2^(10 - 10*w)*(1 - l + u)^10 + 56889*2^(14 - 11*w)*(1 - l + u)^11 - 3273*2^(15 - 12*w)*(1 - l + u)^12 + 9*2^(19 - 13*w)*(1 - l + u)^13 - 3159*2^(14 - 14*w)*(1 - l + u)^14 - 75*2^(17 - 15*w)*(1 - l + u)^15 - 9*2^(19 - 16*w)*(1 - l + u)^16 - 2^(18 - 18*w)*(1 - l + u)^18 + 9072000*w - 902475*2^(8 - w)*(1 - l + u)*w + 6268725*2^(6 - 2*w)*(1 - l + u)^2*w - 373275*2^(9 - 3*w)*(1 - l + u)^3*w + 5227875*2^(7 - 4*w)*(1 - l + u)^4*w - 416565*2^(11 - 5*w)*(1 - l + u)^5*w - 5182785*2^(6 - 6*w)*(1 - l + u)^6*w + 376785*2^(9 - 7*w)*(1 - l + u)^7*w + 19755*2^(15 - 8*w)*(1 - l + u)^8*w - 26775*2^(15 - 9*w)*(1 - l + u)^9*w + 549315*2^(11 - 10*w)*(1 - l + u)^10*w - 13905*2^(15 - 11*w)*(1 - l + u)^11*w - 945*2^(15 - 12*w)*(1 - l + u)^12*w - 135*2^(19 - 13*w)*(1 - l + u)^13*w + 135*2^(14 - 14*w)*(1 - l + u)^14*w - 45*2^(17 - 15*w)*(1 - l + u)^15*w - 9072000*w^2 + 891675*2^(8 - w)*(1 - l + u)*w^2 - 6095925*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 384075*2^(9 - 3*w)*(1 - l + u)^3*w^2 - 5119875*2^(7 - 4*w)*(1 - l + u)^4*w^2 + 446175*2^(11 - 5*w)*(1 - l + u)^5*w^2 - 1148175*2^(6 - 6*w)*(1 - l + u)^6*w^2 + 224775*2^(9 - 7*w)*(1 - l + u)^7*w^2 - 253125*2^(11 - 8*w)*(1 - l + u)^8*w^2 + 14175*2^(15 - 9*w)*(1 - l + u)^9*w^2 - 265275*2^(10 - 10*w)*(1 - l + u)^10*w^2 + 2025*2^(14 - 11*w)*(1 - l + u)^11*w^2 - 675*2^(16 - 12*w)*(1 - l + u)^12*w^2 + 3024000*w^3 - 293625*2^(8 - w)*(1 - l + u)*w^3 + 1974375*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 131625*2^(9 - 3*w)*(1 - l + u)^3*w^3 + 1670625*2^(7 - 4*w)*(1 - l + u)^4*w^3 - 151875*2^(11 - 5*w)*(1 - l + u)^5*w^3 + 1387125*2^(6 - 6*w)*(1 - l + u)^6*w^3 - 91125*2^(9 - 7*w)*(1 - l + u)^7*w^3 + 30375*2^(12 - 8*w)*(1 - l + u)^8*w^3 - 3375*2^(15 - 9*w)*(1 - l + u)^9*w^3)/2^(3*w) - 3*2^(3 - 8*w)*(-31428000 - 32552775*2^(5 - w)*(1 - l + u) + 10047255*2^(9 - 2*w)*(1 - l + u)^2 - 51519855*2^(7 - 3*w)*(1 - l + u)^3 - 1656909*2^(7 - 4*w)*(1 - l + u)^4 - 94066291*2^(5 - 5*w)*(1 - l + u)^5 + 267479315*2^(7 - 6*w)*(1 - l + u)^6 - 381604073*2^(8 - 7*w)*(1 - l + u)^7 + 378368275*2^(9 - 8*w)*(1 - l + u)^8 - 458705689*2^(9 - 9*w)*(1 - l + u)^9 + 31272571*2^(12 - 10*w)*(1 - l + u)^10 + 671669*2^(13 - 11*w)*(1 - l + u)^11 - 769881*2^(15 - 12*w)*(1 - l + u)^12 - 159825*2^(13 - 13*w)*(1 - l + u)^13 + 61191*2^(15 - 14*w)*(1 - l + u)^14 + 19683*2^(16 - 15*w)*(1 - l + u)^15 - 135*2^(17 - 16*w)*(1 - l + u)^16 - 27*2^(17 - 17*w)*(1 - l + u)^17 + 94284000*w + 95537925*2^(5 - w)*(1 - l + u)*w - 14767365*2^(10 - 2*w)*(1 - l + u)^2*w + 156682605*2^(7 - 3*w)*(1 - l + u)^3*w - 12564165*2^(7 - 4*w)*(1 - l + u)^4*w + 273152505*2^(5 - 5*w)*(1 - l + u)^5*w - 630201465*2^(7 - 6*w)*(1 - l + u)^6*w + 711513465*2^(8 - 7*w)*(1 - l + u)^7*w - 519675945*2^(9 - 8*w)*(1 - l + u)^8*w + 226837335*2^(10 - 9*w)*(1 - l + u)^9*w - 16846125*2^(12 - 10*w)*(1 - l + u)^10*w - 208545*2^(17 - 11*w)*(1 - l + u)^11*w + 988875*2^(13 - 12*w)*(1 - l + u)^12*w + 490725*2^(13 - 13*w)*(1 - l + u)^13*w + 40905*2^(15 - 14*w)*(1 - l + u)^14*w - 405*2^(16 - 15*w)*(1 - l + u)^15*w - 94284000*w^2 - 93417525*2^(5 - w)*(1 - l + u)*w^2 + 28896975*2^(9 - 2*w)*(1 - l + u)^2*w^2 - 157546125*2^(7 - 3*w)*(1 - l + u)^3*w^2 + 27263025*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 296336025*2^(5 - 5*w)*(1 - l + u)^5*w^2 + 545520825*2^(7 - 6*w)*(1 - l + u)^6*w^2 - 505617975*2^(8 - 7*w)*(1 - l + u)^7*w^2 + 257812425*2^(9 - 8*w)*(1 - l + u)^8*w^2 - 134028225*2^(9 - 9*w)*(1 - l + u)^9*w^2 + 402525*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 848475*2^(13 - 11*w)*(1 - l + u)^11*w^2 + 196425*2^(13 - 12*w)*(1 - l + u)^12*w^2 + 16875*2^(15 - 13*w)*(1 - l + u)^13*w^2 + 31428000*w^3 + 30432375*2^(5 - w)*(1 - l + u)*w^3 - 2352375*2^(11 - 2*w)*(1 - l + u)^2*w^3 + 52383375*2^(7 - 3*w)*(1 - l + u)^3*w^3 - 13017375*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 113497875*2^(5 - 5*w)*(1 - l + u)^5*w^3 - 170305875*2^(7 - 6*w)*(1 - l + u)^6*w^3 + 135678375*2^(8 - 7*w)*(1 - l + u)^7*w^3 - 47293875*2^(9 - 8*w)*(1 - l + u)^8*w^3 + 1852875*2^(11 - 9*w)*(1 - l + u)^9*w^3 + 739125*2^(12 - 10*w)*(1 - l + u)^10*w^3) - 3*2^(4 - 11*w)*(1598373000 - 303644025*2^(4 - w)*(1 - l + u) - 4039861065*2^(2 - 2*w)*(1 - l + u)^2 + 2893406575*2^(5 - 3*w)*(1 - l + u)^3 - 7182501005*2^(4 - 4*w)*(1 - l + u)^4 - 448566733*2^(9 - 5*w)*(1 - l + u)^5 + 19957969997*2^(6 - 6*w)*(1 - l + u)^6 - 2901729541*2^(10 - 7*w)*(1 - l + u)^7 + 16437025765*2^(8 - 8*w)*(1 - l + u)^8 - 845828337*2^(12 - 9*w)*(1 - l + u)^9 + 1175177253*2^(10 - 10*w)*(1 - l + u)^10 + 37113147*2^(13 - 11*w)*(1 - l + u)^11 - 78727239*2^(12 - 12*w)*(1 - l + u)^12 + 25893*2^(18 - 13*w)*(1 - l + u)^13 + 1934847*2^(14 - 14*w)*(1 - l + u)^14 - 2511*2^(19 - 15*w)*(1 - l + u)^15 - 81*2^(16 - 16*w)*(1 - l + u)^16 - 4795119000*w + 968031675*2^(4 - w)*(1 - l + u)*w + 10891140315*2^(2 - 2*w)*(1 - l + u)^2*w - 8655195645*2^(5 - 3*w)*(1 - l + u)^3*w + 25613325015*2^(4 - 4*w)*(1 - l + u)^4*w + 151852725*2^(11 - 5*w)*(1 - l + u)^5*w - 1113122595*2^(11 - 6*w)*(1 - l + u)^6*w + 1117280565*2^(12 - 7*w)*(1 - l + u)^7*w - 9983019855*2^(9 - 8*w)*(1 - l + u)^8*w + 720783585*2^(12 - 9*w)*(1 - l + u)^9*w - 305685585*2^(10 - 10*w)*(1 - l + u)^10*w - 56817315*2^(13 - 11*w)*(1 - l + u)^11*w + 25739235*2^(12 - 12*w)*(1 - l + u)^12*w + 73305*2^(19 - 13*w)*(1 - l + u)^13*w - 36855*2^(15 - 14*w)*(1 - l + u)^14*w + 4795119000*w^2 - 1025131275*2^(4 - w)*(1 - l + u)*w^2 - 9593638875*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 8515831725*2^(5 - 3*w)*(1 - l + u)^3*w^2 - 28127802375*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 155819025*2^(9 - 5*w)*(1 - l + u)^5*w^2 + 22424801625*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 2455662825*2^(10 - 7*w)*(1 - l + u)^7*w^2 + 8262299925*2^(8 - 8*w)*(1 - l + u)^8*w^2 - 43851375*2^(14 - 9*w)*(1 - l + u)^9*w^2 - 26665875*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 1261575*2^(16 - 11*w)*(1 - l + u)^11*w^2 + 1022625*2^(14 - 12*w)*(1 - l + u)^12*w^2 - 1598373000*w^3 + 360743625*2^(4 - w)*(1 - l + u)*w^3 + 2742359625*2^(2 - 2*w)*(1 - l + u)^2*w^3 - 2755353375*2^(5 - 3*w)*(1 - l + u)^3*w^3 + 9781192125*2^(4 - 4*w)*(1 - l + u)^4*w^3 - 17674875*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 2556403875*2^(7 - 6*w)*(1 - l + u)^6*w^3 + 252298125*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 318036375*2^(10 - 8*w)*(1 - l + u)^8*w^3 + 2946375*2^(14 - 9*w)*(1 - l + u)^9*w^3 + 2865375*2^(13 - 10*w)*(1 - l + u)^10*w^3) - (3*(-2160000 + 198225*2^(9 - w)*(1 - l + u) + 2424825*2^(6 - 2*w)*(1 - l + u)^2 - 347445*2^(12 - 3*w)*(1 - l + u)^3 + 9772155*2^(7 - 4*w)*(1 - l + u)^4 + 4759065*2^(8 - 5*w)*(1 - l + u)^5 - 9455025*2^(6 - 6*w)*(1 - l + u)^6 - 1359653*2^(11 - 7*w)*(1 - l + u)^7 + 14414419*2^(9 - 8*w)*(1 - l + u)^8 - 4039839*2^(12 - 9*w)*(1 - l + u)^9 + 17750091*2^(10 - 10*w)*(1 - l + u)^10 - 173457*2^(15 - 11*w)*(1 - l + u)^11 - 109767*2^(14 - 12*w)*(1 - l + u)^12 + 601*2^(16 - 13*w)*(1 - l + u)^13 + 17737*2^(14 - 14*w)*(1 - l + u)^14 + 45*2^(22 - 15*w)*(1 - l + u)^15 + 267*2^(17 - 16*w)*(1 - l + u)^16 + 9*2^(20 - 17*w)*(1 - l + u)^17 - 3*2^(18 - 18*w)*(1 - l + u)^18 + 6480000*w - 582075*2^(9 - w)*(1 - l + u)*w - 8383275*2^(6 - 2*w)*(1 - l + u)^2*w + 135315*2^(15 - 3*w)*(1 - l + u)^3*w - 34721505*2^(7 - 4*w)*(1 - l + u)^4*w - 4363515*2^(8 - 5*w)*(1 - l + u)^5*w - 27476925*2^(6 - 6*w)*(1 - l + u)^6*w + 4410735*2^(11 - 7*w)*(1 - l + u)^7*w - 25502985*2^(9 - 8*w)*(1 - l + u)^8*w + 75555*2^(18 - 9*w)*(1 - l + u)^9*w - 7173315*2^(11 - 10*w)*(1 - l + u)^10*w + 7965*2^(16 - 11*w)*(1 - l + u)^11*w + 18555*2^(16 - 12*w)*(1 - l + u)^12*w + 10545*2^(16 - 13*w)*(1 - l + u)^13*w + 11655*2^(14 - 14*w)*(1 - l + u)^14*w + 45*2^(17 - 16*w)*(1 - l + u)^16*w - 6480000*w^2 + 569475*2^(9 - w)*(1 - l + u)*w^2 + 9492075*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 1119825*2^(12 - 3*w)*(1 - l + u)^3*w^2 + 38790225*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 2531925*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 62045325*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 4524975*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 16356825*2^(9 - 8*w)*(1 - l + u)^8*w^2 - 1728675*2^(12 - 9*w)*(1 - l + u)^9*w^2 + 2533275*2^(10 - 10*w)*(1 - l + u)^10*w^2 + 19575*2^(15 - 11*w)*(1 - l + u)^11*w^2 + 6075*2^(14 - 12*w)*(1 - l + u)^12*w^2 + 675*2^(17 - 13*w)*(1 - l + u)^13*w^2 + 2160000*w^3 - 185625*2^(9 - w)*(1 - l + u)*w^3 - 3533625*2^(6 - 2*w)*(1 - l + u)^2*w^3 + 192375*2^(13 - 3*w)*(1 - l + u)^3*w^3 - 13840875*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 2136375*2^(8 - 5*w)*(1 - l + u)^5*w^3 - 25113375*2^(6 - 6*w)*(1 - l + u)^6*w^3 + 1441125*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 3715875*2^(9 - 8*w)*(1 - l + u)^8*w^3 + 50625*2^(13 - 9*w)*(1 - l + u)^9*w^3 + 10125*2^(15 - 10*w)*(1 - l + u)^10*w^3))/2^(5*w) - 27*2^(4 - 15*w)*(5050161000 - 2468786175*2^(4 - w)*(1 - l + u) + 29270454615*2^(2 - 2*w)*(1 - l + u)^2 - 78442063*2^(11 - 3*w)*(1 - l + u)^3 + 7011363693*2^(5 - 4*w)*(1 - l + u)^4 - 1013614671*2^(10 - 5*w)*(1 - l + u)^5 + 54312772355*2^(6 - 6*w)*(1 - l + u)^6 - 1617891615*2^(12 - 7*w)*(1 - l + u)^7 + 7603976223*2^(10 - 8*w)*(1 - l + u)^8 - 1405838211*2^(12 - 9*w)*(1 - l + u)^9 + 2468573481*2^(10 - 10*w)*(1 - l + u)^10 - 7670601*2^(16 - 11*w)*(1 - l + u)^11 - 4555203*2^(13 - 12*w)*(1 - l + u)^12 + 206325*2^(17 - 13*w)*(1 - l + u)^13 - 33075*2^(14 - 14*w)*(1 - l + u)^14 - 15150483000*w + 7405915725*2^(4 - w)*(1 - l + u)*w - 88080338565*2^(2 - 2*w)*(1 - l + u)^2*w + 895137075*2^(9 - 3*w)*(1 - l + u)^3*w - 10105156935*2^(5 - 4*w)*(1 - l + u)^4*w + 4676215905*2^(8 - 5*w)*(1 - l + u)^5*w - 35331400485*2^(7 - 6*w)*(1 - l + u)^6*w + 1020326355*2^(13 - 7*w)*(1 - l + u)^7*w - 4181269455*2^(11 - 8*w)*(1 - l + u)^8*w + 1191444525*2^(12 - 9*w)*(1 - l + u)^9*w - 1224518805*2^(10 - 10*w)*(1 - l + u)^10*w - 855225*2^(16 - 11*w)*(1 - l + u)^11*w + 9281475*2^(13 - 12*w)*(1 - l + u)^12*w - 33075*2^(16 - 13*w)*(1 - l + u)^13*w + 15150483000*w^2 - 7405472925*2^(4 - w)*(1 - l + u)*w^2 + 88270424325*2^(2 - 2*w)*(1 - l + u)^2*w^2 - 428362425*2^(10 - 3*w)*(1 - l + u)^3*w^2 + 2005352775*2^(5 - 4*w)*(1 - l + u)^4*w^2 + 174184425*2^(9 - 5*w)*(1 - l + u)^5*w^2 + 15546249675*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 590415075*2^(12 - 7*w)*(1 - l + u)^7*w^2 + 2245295025*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 115512075*2^(13 - 9*w)*(1 - l + u)^9*w^2 + 13716675*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 99225*2^(19 - 11*w)*(1 - l + u)^11*w^2 - 33075*2^(16 - 12*w)*(1 - l + u)^12*w^2 - 5050161000*w^3 + 2468343375*2^(4 - w)*(1 - l + u)*w^3 - 29460540375*2^(2 - 2*w)*(1 - l + u)^2*w^3 + 274282875*2^(9 - 3*w)*(1 - l + u)^3*w^3 + 1390921875*2^(5 - 4*w)*(1 - l + u)^4*w^3 - 1258608375*2^(8 - 5*w)*(1 - l + u)^5*w^3 + 1458273375*2^(8 - 6*w)*(1 - l + u)^6*w^3 - 12119625*2^(14 - 7*w)*(1 - l + u)^7*w^3 + 34374375*2^(11 - 8*w)*(1 - l + u)^8*w^3 - 2480625*2^(14 - 9*w)*(1 - l + u)^9*w^3 + 496125*2^(15 - 10*w)*(1 - l + u)^10*w^3) - 27*2^(4 - 13*w)*(-362853000 - 59620725*2^(5 - w)*(1 - l + u) + 8059782435*2^(2 - 2*w)*(1 - l + u)^2 - 2150580915*2^(6 - 3*w)*(1 - l + u)^3 + 4972396537*2^(6 - 4*w)*(1 - l + u)^4 - 557639183*2^(10 - 5*w)*(1 - l + u)^5 + 17101137853*2^(6 - 6*w)*(1 - l + u)^6 - 3885806397*2^(9 - 7*w)*(1 - l + u)^7 + 1265024125*2^(11 - 8*w)*(1 - l + u)^8 - 126409887*2^(14 - 9*w)*(1 - l + u)^9 + 807762033*2^(10 - 10*w)*(1 - l + u)^10 + 34851*2^(16 - 11*w)*(1 - l + u)^11 - 7613289*2^(14 - 12*w)*(1 - l + u)^12 + 225981*2^(17 - 13*w)*(1 - l + u)^13 + 101079*2^(14 - 14*w)*(1 - l + u)^14 - 945*2^(17 - 15*w)*(1 - l + u)^15 + 1088559000*w + 166069575*2^(5 - w)*(1 - l + u)*w - 23480038185*2^(2 - 2*w)*(1 - l + u)^2*w + 6378682005*2^(6 - 3*w)*(1 - l + u)^3*w - 14675985525*2^(6 - 4*w)*(1 - l + u)^4*w + 2908852335*2^(9 - 5*w)*(1 - l + u)^5*w - 16424374035*2^(7 - 6*w)*(1 - l + u)^6*w + 2731620825*2^(10 - 7*w)*(1 - l + u)^7*w - 1372391175*2^(11 - 8*w)*(1 - l + u)^8*w + 200844585*2^(13 - 9*w)*(1 - l + u)^9*w - 313301085*2^(10 - 10*w)*(1 - l + u)^10*w - 4232655*2^(15 - 11*w)*(1 - l + u)^11*w + 3432375*2^(14 - 12*w)*(1 - l + u)^12*w + 12285*2^(18 - 13*w)*(1 - l + u)^13*w - 945*2^(18 - 14*w)*(1 - l + u)^14*w - 1088559000*w^2 - 153276975*2^(5 - w)*(1 - l + u)*w^2 + 22769915625*2^(2 - 2*w)*(1 - l + u)^2*w^2 - 6302315025*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 14591426175*2^(6 - 4*w)*(1 - l + u)^4*w^2 - 676694925*2^(11 - 5*w)*(1 - l + u)^5*w^2 + 23923120725*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 2675245725*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 54124425*2^(14 - 8*w)*(1 - l + u)^8*w^2 - 33596775*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 9742725*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 1110375*2^(15 - 11*w)*(1 - l + u)^11*w^2 + 14175*2^(16 - 12*w)*(1 - l + u)^12*w^2 + 362853000*w^3 + 46828125*2^(5 - w)*(1 - l + u)*w^3 - 7349659875*2^(2 - 2*w)*(1 - l + u)^2*w^3 + 2072739375*2^(6 - 3*w)*(1 - l + u)^3*w^3 - 4855183875*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 875707875*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 1664026875*2^(8 - 6*w)*(1 - l + u)^6*w^3 + 63757125*2^(12 - 7*w)*(1 - l + u)^7*w^3 - 19173375*2^(12 - 8*w)*(1 - l + u)^8*w^3 - 354375*2^(15 - 9*w)*(1 - l + u)^9*w^3 + 23625*2^(19 - 10*w)*(1 - l + u)^10*w^3) - (3*(10800000 - 1403325*2^(8 - w)*(1 - l + u) - 43033395*2^(6 - 2*w)*(1 - l + u)^2 + 8270235*2^(11 - 3*w)*(1 - l + u)^3 - 196408605*2^(7 - 4*w)*(1 - l + u)^4 + 3725959*2^(9 - 5*w)*(1 - l + u)^5 + 341593293*2^(6 - 6*w)*(1 - l + u)^6 - 123783547*2^(9 - 7*w)*(1 - l + u)^7 + 229975223*2^(10 - 8*w)*(1 - l + u)^8 - 24548889*2^(14 - 9*w)*(1 - l + u)^9 + 257494963*2^(10 - 10*w)*(1 - l + u)^10 + 521277*2^(14 - 11*w)*(1 - l + u)^11 - 1892151*2^(15 - 12*w)*(1 - l + u)^12 - 2421*2^(18 - 13*w)*(1 - l + u)^13 + 309183*2^(14 - 14*w)*(1 - l + u)^14 + 19125*2^(17 - 15*w)*(1 - l + u)^15 + 2025*2^(18 - 16*w)*(1 - l + u)^16 - 27*2^(21 - 17*w)*(1 - l + u)^17 + 9*2^(18 - 18*w)*(1 - l + u)^18 - 32400000*w + 4436775*2^(8 - w)*(1 - l + u)*w + 129413145*2^(6 - 2*w)*(1 - l + u)^2*w - 23730885*2^(11 - 3*w)*(1 - l + u)^3*w + 484378455*2^(7 - 4*w)*(1 - l + u)^4*w + 33039195*2^(9 - 5*w)*(1 - l + u)^5*w - 955319895*2^(6 - 6*w)*(1 - l + u)^6*w + 114334905*2^(9 - 7*w)*(1 - l + u)^7*w - 223961895*2^(10 - 8*w)*(1 - l + u)^8*w + 42377805*2^(13 - 9*w)*(1 - l + u)^9*w - 53366085*2^(11 - 10*w)*(1 - l + u)^10*w - 1341045*2^(16 - 11*w)*(1 - l + u)^11*w + 896715*2^(15 - 12*w)*(1 - l + u)^12*w + 72225*2^(17 - 13*w)*(1 - l + u)^13*w + 188685*2^(14 - 14*w)*(1 - l + u)^14*w + 2835*2^(17 - 15*w)*(1 - l + u)^15*w - 135*2^(18 - 16*w)*(1 - l + u)^16*w + 32400000*w^2 - 4663575*2^(8 - w)*(1 - l + u)*w^2 - 130217625*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 22916025*2^(11 - 3*w)*(1 - l + u)^3*w^2 - 401541975*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 67027275*2^(9 - 5*w)*(1 - l + u)^5*w^2 + 950639175*2^(6 - 6*w)*(1 - l + u)^6*w^2 + 10360575*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 28348425*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 1869075*2^(15 - 9*w)*(1 - l + u)^9*w^2 - 18343125*2^(10 - 10*w)*(1 - l + u)^10*w^2 + 1838025*2^(14 - 11*w)*(1 - l + u)^11*w^2 + 22275*2^(17 - 12*w)*(1 - l + u)^12*w^2 + 2025*2^(17 - 13*w)*(1 - l + u)^13*w^2 + 2025*2^(16 - 14*w)*(1 - l + u)^14*w^2 - 10800000*w^3 + 1630125*2^(8 - w)*(1 - l + u)*w^3 + 43837875*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 7455375*2^(11 - 3*w)*(1 - l + u)^3*w^3 + 113572125*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 30155625*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 316072125*2^(6 - 6*w)*(1 - l + u)^6*w^3 - 24472125*2^(9 - 7*w)*(1 - l + u)^7*w^3 + 17526375*2^(10 - 8*w)*(1 - l + u)^8*w^3 - 759375*2^(13 - 9*w)*(1 - l + u)^9*w^3 + 880875*2^(12 - 10*w)*(1 - l + u)^10*w^3 + 30375*2^(15 - 11*w)*(1 - l + u)^11*w^3))/2^(7*w) - 2^(2 - 12*w)*(-16834068000 + 127010025*2^(6 - w)*(1 - l + u) + 2953725885*2^(6 - 2*w)*(1 - l + u)^2 + 3774586121*2^(7 - 3*w)*(1 - l + u)^3 - 282825540081*2^(4 - 4*w)*(1 - l + u)^4 + 44110942917*2^(7 - 5*w)*(1 - l + u)^5 + 149935668939*2^(7 - 6*w)*(1 - l + u)^6 - 152639166243*2^(9 - 7*w)*(1 - l + u)^7 + 487606568463*2^(8 - 8*w)*(1 - l + u)^8 - 25448755961*2^(12 - 9*w)*(1 - l + u)^9 + 9279847251*2^(12 - 10*w)*(1 - l + u)^10 + 334956789*2^(14 - 11*w)*(1 - l + u)^11 - 2073352599*2^(12 - 12*w)*(1 - l + u)^12 + 36203193*2^(15 - 13*w)*(1 - l + u)^13 + 12894795*2^(15 - 14*w)*(1 - l + u)^14 - 223479*2^(17 - 15*w)*(1 - l + u)^15 + 8505*2^(16 - 16*w)*(1 - l + u)^16 + 50502204000*w - 194697675*2^(6 - w)*(1 - l + u)*w - 9324914535*2^(6 - 2*w)*(1 - l + u)^2*w - 12094820955*2^(7 - 3*w)*(1 - l + u)^3*w + 932789596275*2^(4 - 4*w)*(1 - l + u)^4*w - 220566820095*2^(7 - 5*w)*(1 - l + u)^5*w - 27401712885*2^(7 - 6*w)*(1 - l + u)^6*w + 168314929155*2^(9 - 7*w)*(1 - l + u)^7*w - 260265785985*2^(9 - 8*w)*(1 - l + u)^8*w + 10486423035*2^(13 - 9*w)*(1 - l + u)^9*w - 194381505*2^(16 - 10*w)*(1 - l + u)^10*w - 83035125*2^(17 - 11*w)*(1 - l + u)^11*w + 773212635*2^(12 - 12*w)*(1 - l + u)^12*w + 17958915*2^(15 - 13*w)*(1 - l + u)^13*w - 1148175*2^(15 - 14*w)*(1 - l + u)^14*w + 8505*2^(17 - 15*w)*(1 - l + u)^15*w - 50502204000*w^2 + 8365275*2^(6 - w)*(1 - l + u)*w^2 + 9880442775*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 12353240475*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 977862899475*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 268676787375*2^(7 - 5*w)*(1 - l + u)^5*w^2 - 191602387575*2^(7 - 6*w)*(1 - l + u)^6*w^2 - 33081220125*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 147937814775*2^(8 - 8*w)*(1 - l + u)^8*w^2 - 4381256925*2^(12 - 9*w)*(1 - l + u)^9*w^2 - 449827425*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 137556225*2^(14 - 11*w)*(1 - l + u)^11*w^2 + 14415975*2^(14 - 12*w)*(1 - l + u)^12*w^2 - 127575*2^(17 - 13*w)*(1 - l + u)^13*w^2 + 16834068000*w^3 + 59322375*2^(6 - w)*(1 - l + u)*w^3 - 3509254125*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 4053911625*2^(7 - 3*w)*(1 - l + u)^3*w^3 + 332237588625*2^(4 - 4*w)*(1 - l + u)^4*w^3 - 97875307125*2^(7 - 5*w)*(1 - l + u)^5*w^3 + 100772798625*2^(7 - 6*w)*(1 - l + u)^6*w^3 - 9190087875*2^(9 - 7*w)*(1 - l + u)^7*w^3 - 1116554625*2^(10 - 8*w)*(1 - l + u)^8*w^3 + 5545125*2^(17 - 9*w)*(1 - l + u)^9*w^3 + 13395375*2^(13 - 10*w)*(1 - l + u)^10*w^3 + 1913625*2^(15 - 11*w)*(1 - l + u)^11*w^3) - 3*2^(2 - 10*w)*(1456704000 - 12738375*2^(6 - w)*(1 - l + u) - 37368915*2^(6 - 2*w)*(1 - l + u)^2 - 420717875*2^(8 - 3*w)*(1 - l + u)^3 + 31998931279*2^(4 - 4*w)*(1 - l + u)^4 - 16101208873*2^(6 - 5*w)*(1 - l + u)^5 + 6043368991*2^(8 - 6*w)*(1 - l + u)^6 - 696135071*2^(12 - 7*w)*(1 - l + u)^7 + 18434721801*2^(8 - 8*w)*(1 - l + u)^8 - 4453708017*2^(10 - 9*w)*(1 - l + u)^9 + 107356059*2^(14 - 10*w)*(1 - l + u)^10 + 3422481*2^(17 - 11*w)*(1 - l + u)^11 - 110412027*2^(12 - 12*w)*(1 - l + u)^12 - 2860839*2^(14 - 13*w)*(1 - l + u)^13 + 955449*2^(16 - 14*w)*(1 - l + u)^14 + 2889*2^(20 - 15*w)*(1 - l + u)^15 - 8181*2^(16 - 16*w)*(1 - l + u)^16 + 81*2^(18 - 17*w)*(1 - l + u)^17 - 4370112000*w + 39169125*2^(6 - w)*(1 - l + u)*w + 111062265*2^(6 - 2*w)*(1 - l + u)^2*w + 1182682605*2^(8 - 3*w)*(1 - l + u)^3*w - 87568269165*2^(4 - 4*w)*(1 - l + u)^4*w + 40802899995*2^(6 - 5*w)*(1 - l + u)^5*w - 11801536485*2^(8 - 6*w)*(1 - l + u)^6*w + 57227415*2^(16 - 7*w)*(1 - l + u)^7*w - 9377702415*2^(9 - 8*w)*(1 - l + u)^8*w + 1658728935*2^(11 - 9*w)*(1 - l + u)^9*w - 19064025*2^(14 - 10*w)*(1 - l + u)^10*w - 175545*2^(22 - 11*w)*(1 - l + u)^11*w + 27701055*2^(12 - 12*w)*(1 - l + u)^12*w + 5477355*2^(14 - 13*w)*(1 - l + u)^13*w + 40095*2^(16 - 14*w)*(1 - l + u)^14*w - 405*2^(20 - 15*w)*(1 - l + u)^15*w + 4370112000*w^2 - 40123125*2^(6 - w)*(1 - l + u)*w^2 - 106623225*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 1119881025*2^(8 - 3*w)*(1 - l + u)^3*w^2 + 81068287725*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 35791090875*2^(6 - 5*w)*(1 - l + u)^5*w^2 + 8383308525*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 379140075*2^(12 - 7*w)*(1 - l + u)^7*w^2 + 4670078625*2^(8 - 8*w)*(1 - l + u)^8*w^2 - 397604025*2^(10 - 9*w)*(1 - l + u)^9*w^2 - 2108025*2^(17 - 10*w)*(1 - l + u)^10*w^2 + 1129275*2^(17 - 11*w)*(1 - l + u)^11*w^2 + 1925775*2^(14 - 12*w)*(1 - l + u)^12*w^2 + 14175*2^(16 - 13*w)*(1 - l + u)^13*w^2 - 1456704000*w^3 + 13692375*2^(6 - w)*(1 - l + u)*w^3 + 32929875*2^(6 - 2*w)*(1 - l + u)^2*w^3 + 357834375*2^(8 - 3*w)*(1 - l + u)^3*w^3 - 25441671375*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 10869575625*2^(6 - 5*w)*(1 - l + u)^5*w^3 - 2209710375*2^(8 - 6*w)*(1 - l + u)^6*w^3 + 24634125*2^(13 - 7*w)*(1 - l + u)^7*w^3 + 20908125*2^(10 - 8*w)*(1 - l + u)^8*w^3 - 19895625*2^(12 - 9*w)*(1 - l + u)^9*w^3 + 1123875*2^(15 - 10*w)*(1 - l + u)^10*w^3 + 30375*2^(18 - 11*w)*(1 - l + u)^11*w^3) + (14263344000 - 41091975*2^(11 - w)*(1 - l + u) + 2534399235*2^(6 - 2*w)*(1 - l + u)^2 - 255757807*2^(9 - 3*w)*(1 - l + u)^3 + 2811911025*2^(7 - 4*w)*(1 - l + u)^4 - 4996238979*2^(8 - 5*w)*(1 - l + u)^5 + 12449449529*2^(6 - 6*w)*(1 - l + u)^6 + 5325384219*2^(10 - 7*w)*(1 - l + u)^7 - 30785836497*2^(9 - 8*w)*(1 - l + u)^8 + 4510291683*2^(12 - 9*w)*(1 - l + u)^9 - 8531707083*2^(10 - 10*w)*(1 - l + u)^10 - 27817785*2^(15 - 11*w)*(1 - l + u)^11 + 101641353*2^(14 - 12*w)*(1 - l + u)^12 + 3939147*2^(16 - 13*w)*(1 - l + u)^13 - 13717161*2^(14 - 14*w)*(1 - l + u)^14 - 229797*2^(18 - 15*w)*(1 - l + u)^15 + 43983*2^(17 - 16*w)*(1 - l + u)^16 - 243*2^(20 - 17*w)*(1 - l + u)^17 + 27*2^(18 - 18*w)*(1 - l + u)^18 - 42790032000*w + 125367075*2^(11 - w)*(1 - l + u)*w - 7909258185*2^(6 - 2*w)*(1 - l + u)^2*w + 901491525*2^(9 - 3*w)*(1 - l + u)^3*w - 10922220675*2^(7 - 4*w)*(1 - l + u)^4*w + 19197516825*2^(8 - 5*w)*(1 - l + u)^5*w - 94356554715*2^(6 - 6*w)*(1 - l + u)^6*w - 3403033425*2^(10 - 7*w)*(1 - l + u)^7*w + 33052154715*2^(9 - 8*w)*(1 - l + u)^8*w - 1980016515*2^(13 - 9*w)*(1 - l + u)^9*w + 1809769005*2^(11 - 10*w)*(1 - l + u)^10*w + 7944615*2^(18 - 11*w)*(1 - l + u)^11*w - 5350365*2^(15 - 12*w)*(1 - l + u)^12*w - 6564915*2^(16 - 13*w)*(1 - l + u)^13*w - 3161835*2^(14 - 14*w)*(1 - l + u)^14*w + 13365*2^(18 - 15*w)*(1 - l + u)^15*w - 1215*2^(17 - 16*w)*(1 - l + u)^16*w + 42790032000*w^2 - 127458225*2^(11 - w)*(1 - l + u)*w^2 + 8222322825*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 1030427325*2^(9 - 3*w)*(1 - l + u)^3*w^2 + 12951133875*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 21974330025*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 122669073675*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 1985648175*2^(10 - 7*w)*(1 - l + u)^7*w^2 - 10535292675*2^(9 - 8*w)*(1 - l + u)^8*w^2 + 1053540675*2^(12 - 9*w)*(1 - l + u)^9*w^2 + 67542525*2^(10 - 10*w)*(1 - l + u)^10*w^2 - 11779425*2^(15 - 11*w)*(1 - l + u)^11*w^2 - 14033925*2^(14 - 12*w)*(1 - l + u)^12*w^2 - 18225*2^(19 - 13*w)*(1 - l + u)^13*w^2 + 18225*2^(16 - 14*w)*(1 - l + u)^14*w^2 - 14263344000*w^3 + 43183125*2^(11 - w)*(1 - l + u)*w^3 - 2847463875*2^(6 - 2*w)*(1 - l + u)^2*w^3 + 384726375*2^(9 - 3*w)*(1 - l + u)^3*w^3 - 4850654625*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 7877401875*2^(8 - 5*w)*(1 - l + u)^5*w^3 - 44733515625*2^(6 - 6*w)*(1 - l + u)^6*w^3 + 1319905125*2^(10 - 7*w)*(1 - l + u)^7*w^3 + 1017653625*2^(9 - 8*w)*(1 - l + u)^8*w^3 - 3776625*2^(17 - 9*w)*(1 - l + u)^9*w^3 + 820125*2^(12 - 10*w)*(1 - l + u)^10*w^3 - 273375*2^(16 - 11*w)*(1 - l + u)^11*w^3 - 91125*2^(15 - 12*w)*(1 - l + u)^12*w^3)/2^(9*w))