(2^(28 - 26*w) - 2^(26 - 25*w)*(-27 + 11*2^(2 - w)*(1 - l + u)) + 2^(26 - 24*w)*(67 - 33*2^(3 - w)*(1 - l + u) + 55*2^(2 - 2*w)*(1 - l + u)^2) - 2^(23 - 23*w)*(-683 + 291*2^(4 - w)*(1 - l + u) - 1155*2^(3 - 2*w)*(1 - l + u)^2 + 165*2^(5 - 3*w)*(1 - l + u)^3) - 15*2^(4 - 4*w)*(1 - l + u)^4*(-17 + 2^(4 - 4*w)*(1 - l + u)^4) + 2^(24 - 22*w)*(217 - 1309*2^(1 - w)*(1 - l + u) + 1113*2^(3 - 2*w)*(1 - l + u)^2 - 1485*2^(3 - 3*w)*(1 - l + u)^3 + 165*2^(5 - 4*w)*(1 - l + u)^4) - 2^(21 - 21*w)*(-219 + 357*2^(5 - w)*(1 - l + u) - 4349*2^(4 - 2*w)*(1 - l + u)^2 + 4899*2^(5 - 3*w)*(1 - l + u)^3 - 2475*2^(6 - 4*w)*(1 - l + u)^4 + 231*2^(8 - 5*w)*(1 - l + u)^5) + 2^(20 - 20*w)*(-1349 - 25*2^(5 - w)*(1 - l + u) + 7969*2^(3 - 2*w)*(1 - l + u)^2 - 8151*2^(5 - 3*w)*(1 - l + u)^3 + 3393*2^(7 - 4*w)*(1 - l + u)^4 - 693*2^(9 - 5*w)*(1 - l + u)^5 + 231*2^(9 - 6*w)*(1 - l + u)^6) - 2^(20 - 19*w)*(1276 - 2537*2^(2 - w)*(1 - l + u) + 1215*2^(2 - 2*w)*(1 - l + u)^2 + 3041*2^(5 - 3*w)*(1 - l + u)^3 - 18753*2^(4 - 4*w)*(1 - l + u)^4 + 189*2^(11 - 5*w)*(1 - l + u)^5 - 2079*2^(7 - 6*w)*(1 - l + u)^6 + 165*2^(9 - 7*w)*(1 - l + u)^7) + 2^(5 - 4*w)*(1 - l + u)^3*(-510 - 255*2^(1 - w)*(1 - l + u) + 23*2^(7 - 4*w)*(1 - l + u)^4 - 75*2^(5 - 5*w)*(1 - l + u)^5 + 2^(9 - 8*w)*(1 - l + u)^8) + 2^(18 - 18*w)*(-2433 + 2161*2^(4 - w)*(1 - l + u) - 4187*2^(5 - 2*w)*(1 - l + u)^2 + 2851*2^(5 - 3*w)*(1 - l + u)^3 + 2699*2^(7 - 4*w)*(1 - l + u)^4 - 105*2^(13 - 5*w)*(1 - l + u)^5 + 105*2^(13 - 6*w)*(1 - l + u)^6 - 495*2^(10 - 7*w)*(1 - l + u)^7 + 165*2^(10 - 8*w)*(1 - l + u)^8) - 2^(4 - 4*w)*(1 - l + u)^2*(-1530 - 255*2^(4 - w)*(1 - l + u) - 255*2^(2 - 2*w)*(1 - l + u)^2 + 175*2^(7 - 4*w)*(1 - l + u)^4 - 119*2^(8 - 5*w)*(1 - l + u)^5 + 225*2^(6 - 6*w)*(1 - l + u)^6 - 11*2^(9 - 8*w)*(1 - l + u)^8 + 3*2^(11 - 9*w)*(1 - l + u)^9) - 2^(17 - 17*w)*(97 - 3913*2^(3 - w)*(1 - l + u) + 6509*2^(5 - 2*w)*(1 - l + u)^2 - 8033*2^(6 - 3*w)*(1 - l + u)^3 + 11213*2^(5 - 4*w)*(1 - l + u)^4 + 1281*2^(8 - 5*w)*(1 - l + u)^5 - 2877*2^(8 - 6*w)*(1 - l + u)^6 + 513*2^(10 - 7*w)*(1 - l + u)^7 - 495*2^(9 - 8*w)*(1 - l + u)^8 + 55*2^(11 - 9*w)*(1 - l + u)^9) + 2^(17 - 16*w)*(1066 + 3*2^(7 - w)*(1 - l + u) - 22193*2^(2 - 2*w)*(1 - l + u)^2 + 22897*2^(4 - 3*w)*(1 - l + u)^3 - 39763*2^(4 - 4*w)*(1 - l + u)^4 + 3297*2^(7 - 5*w)*(1 - l + u)^5 + 161*2^(7 - 6*w)*(1 - l + u)^6 - 39*2^(12 - 7*w)*(1 - l + u)^7 + 99*2^(9 - 8*w)*(1 - l + u)^8 + 11*2^(11 - 10*w)*(1 - l + u)^10) - 2^(8 - 8*w)*(-752 + 151*2^(3 - w)*(1 - l + u) + 793*2^(5 - 2*w)*(1 - l + u)^2 - 7445*2^(5 - 3*w)*(1 - l + u)^3 + 16079*2^(4 - 4*w)*(1 - l + u)^4 + 2205*2^(8 - 5*w)*(1 - l + u)^5 - 5985*2^(8 - 6*w)*(1 - l + u)^6 + 597*2^(11 - 7*w)*(1 - l + u)^7 - 1209*2^(8 - 8*w)*(1 - l + u)^8 - 47*2^(11 - 9*w)*(1 - l + u)^9 + 51*2^(11 - 10*w)*(1 - l + u)^10) + 2^(4 - 4*w)*(1 - l + u)*(-1020 - 765*2^(3 - w)*(1 - l + u) - 255*2^(4 - 2*w)*(1 - l + u)^2 - 765*2^(3 - 3*w)*(1 - l + u)^3 + 79*2^(9 - 4*w)*(1 - l + u)^4 - 497*2^(8 - 5*w)*(1 - l + u)^5 + 159*2^(10 - 6*w)*(1 - l + u)^6 - 495*2^(7 - 7*w)*(1 - l + u)^7 - 19*2^(10 - 8*w)*(1 - l + u)^8 + 3*2^(12 - 9*w)*(1 - l + u)^9 + 3*2^(12 - 10*w)*(1 - l + u)^10) - 2^(15 - 15*w)*(-3386 + 3293*2^(3 - w)*(1 - l + u) + 389*2^(3 - 2*w)*(1 - l + u)^2 - 9055*2^(6 - 3*w)*(1 - l + u)^3 + 103187*2^(4 - 4*w)*(1 - l + u)^4 - 4105*2^(9 - 5*w)*(1 - l + u)^5 + 5033*2^(8 - 6*w)*(1 - l + u)^6 - 329*2^(10 - 7*w)*(1 - l + u)^7 + 21*2^(8 - 8*w)*(1 - l + u)^8 - 7*2^(12 - 9*w)*(1 - l + u)^9 + 33*2^(11 - 10*w)*(1 - l + u)^10 + 2^(13 - 11*w)*(1 - l + u)^11) - 2^(6 - 6*w)*(-255 - 765*2^(3 - w)*(1 - l + u) - 1601*2^(3 - 2*w)*(1 - l + u)^2 - 2665*2^(5 - 3*w)*(1 - l + u)^3 + 185*2^(11 - 4*w)*(1 - l + u)^4 - 2959*2^(8 - 5*w)*(1 - l + u)^5 + 1939*2^(8 - 6*w)*(1 - l + u)^6 + 35*2^(10 - 7*w)*(1 - l + u)^7 + 3*2^(12 - 8*w)*(1 - l + u)^8 - 53*2^(12 - 9*w)*(1 - l + u)^9 + 65*2^(11 - 10*w)*(1 - l + u)^10 + 3*2^(13 - 11*w)*(1 - l + u)^11) + 2^(10 - 10*w)*(37 + 1315*2^(3 - w)*(1 - l + u) - 1033*2^(6 - 2*w)*(1 - l + u)^2 - 4709*2^(5 - 3*w)*(1 - l + u)^3 + 74493*2^(4 - 4*w)*(1 - l + u)^4 - 4557*2^(9 - 5*w)*(1 - l + u)^5 + 3885*2^(9 - 6*w)*(1 - l + u)^6 - 49*2^(14 - 7*w)*(1 - l + u)^7 + 1545*2^(8 - 8*w)*(1 - l + u)^8 - 167*2^(11 - 9*w)*(1 - l + u)^9 + 21*2^(12 - 10*w)*(1 - l + u)^10 + 3*2^(13 - 11*w)*(1 - l + u)^11) + 2^(14 - 14*w)*(1269 - 5093*2^(3 - w)*(1 - l + u) + 9097*2^(4 - 2*w)*(1 - l + u)^2 + 21*2^(8 - 3*w)*(1 - l + u)^3 - 18495*2^(6 - 4*w)*(1 - l + u)^4 + 9515*2^(8 - 5*w)*(1 - l + u)^5 - 8841*2^(8 - 6*w)*(1 - l + u)^6 + 1195*2^(10 - 7*w)*(1 - l + u)^7 - 483*2^(10 - 8*w)*(1 - l + u)^8 + 61*2^(11 - 9*w)*(1 - l + u)^9 + 3*2^(13 - 10*w)*(1 - l + u)^10 + 3*2^(13 - 11*w)*(1 - l + u)^11) - 2^(13 - 13*w)*(29 + 2463*2^(3 - w)*(1 - l + u) - 3487*2^(6 - 2*w)*(1 - l + u)^2 + 15261*2^(5 - 3*w)*(1 - l + u)^3 - 2147*2^(4 - 4*w)*(1 - l + u)^4 - 1475*2^(10 - 5*w)*(1 - l + u)^5 + 4431*2^(9 - 6*w)*(1 - l + u)^6 - 87*2^(14 - 7*w)*(1 - l + u)^7 + 2169*2^(8 - 8*w)*(1 - l + u)^8 - 71*2^(12 - 9*w)*(1 - l + u)^9 + 2^(17 - 10*w)*(1 - l + u)^10 + 3*2^(13 - 11*w)*(1 - l + u)^11) + 2^(12 - 12*w)*(-2058 - 223*2^(3 - w)*(1 - l + u) + 16521*2^(3 - 2*w)*(1 - l + u)^2 - 5739*2^(7 - 3*w)*(1 - l + u)^3 + 70401*2^(4 - 4*w)*(1 - l + u)^4 - 985*2^(8 - 5*w)*(1 - l + u)^5 - 4109*2^(8 - 6*w)*(1 - l + u)^6 + 69*2^(14 - 7*w)*(1 - l + u)^7 - 1389*2^(8 - 8*w)*(1 - l + u)^8 - 13*2^(12 - 9*w)*(1 - l + u)^9 + 5*2^(11 - 10*w)*(1 - l + u)^10 + 7*2^(13 - 11*w)*(1 - l + u)^11) - 2^(4 - 4*w)*(-255 - 255*2^(4 - w)*(1 - l + u) - 765*2^(3 - 2*w)*(1 - l + u)^2 - 765*2^(5 - 3*w)*(1 - l + u)^3 + 2195*2^(4 - 4*w)*(1 - l + u)^4 - 1279*2^(8 - 5*w)*(1 - l + u)^5 + 2499*2^(8 - 6*w)*(1 - l + u)^6 - 201*2^(11 - 7*w)*(1 - l + u)^7 + 201*2^(8 - 8*w)*(1 - l + u)^8 + 21*2^(11 - 9*w)*(1 - l + u)^9 - 3*2^(14 - 10*w)*(1 - l + u)^10 + 7*2^(13 - 11*w)*(1 - l + u)^11) - 2^(9 - 9*w)*(-363 - 61*2^(5 - w)*(1 - l + u) + 8263*2^(3 - 2*w)*(1 - l + u)^2 - 1121*2^(7 - 3*w)*(1 - l + u)^3 - 6371*2^(6 - 4*w)*(1 - l + u)^4 + 6909*2^(8 - 5*w)*(1 - l + u)^5 - 8715*2^(8 - 6*w)*(1 - l + u)^6 + 1221*2^(10 - 7*w)*(1 - l + u)^7 - 327*2^(10 - 8*w)*(1 - l + u)^8 + 75*2^(11 - 9*w)*(1 - l + u)^9 - 81*2^(11 - 10*w)*(1 - l + u)^10 + 3*2^(14 - 11*w)*(1 - l + u)^11) + 2^(7 - 7*w)*(-765 - 675*2^(3 - w)*(1 - l + u) - 1441*2^(3 - 2*w)*(1 - l + u)^2 + 2065*2^(6 - 3*w)*(1 - l + u)^3 - 33235*2^(4 - 4*w)*(1 - l + u)^4 + 831*2^(9 - 5*w)*(1 - l + u)^5 + 1351*2^(8 - 6*w)*(1 - l + u)^6 - 579*2^(10 - 7*w)*(1 - l + u)^7 + 579*2^(8 - 8*w)*(1 - l + u)^8 + 23*2^(12 - 9*w)*(1 - l + u)^9 - 3*2^(14 - 10*w)*(1 - l + u)^10 + 3*2^(14 - 11*w)*(1 - l + u)^11) - 2^(11 - 11*w)*(752 - 567*2^(5 - w)*(1 - l + u) - 855*2^(5 - 2*w)*(1 - l + u)^2 + 7869*2^(6 - 3*w)*(1 - l + u)^3 - 99681*2^(4 - 4*w)*(1 - l + u)^4 + 1791*2^(10 - 5*w)*(1 - l + u)^5 - 2597*2^(8 - 6*w)*(1 - l + u)^6 - 97*2^(10 - 7*w)*(1 - l + u)^7 + 63*2^(8 - 8*w)*(1 - l + u)^8 + 41*2^(11 - 9*w)*(1 - l + u)^9 - 45*2^(11 - 10*w)*(1 - l + u)^10 + 2^(16 - 11*w)*(1 - l + u)^11) + 2^(5 - 5*w)*(-510 - 255*2^(3 - w)*(1 - l + u) - 2295*2^(3 - 2*w)*(1 - l + u)^2 - 135*2^(5 - 3*w)*(1 - l + u)^3 - 14595*2^(4 - 4*w)*(1 - l + u)^4 + 2521*2^(8 - 5*w)*(1 - l + u)^5 - 1365*2^(9 - 6*w)*(1 - l + u)^6 + 37*2^(13 - 7*w)*(1 - l + u)^7 + 21*2^(8 - 8*w)*(1 - l + u)^8 - 3*2^(13 - 9*w)*(1 - l + u)^9 - 17*2^(11 - 10*w)*(1 - l + u)^10 + 2^(16 - 11*w)*(1 - l + u)^11))/(2^(27 - 27*w) - 3*2^(27 - 26*w)*(-3 + 2^(2 - w)*(1 - l + u) + 2*w) + (-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^3 + 3*2^(2 - w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^2*(15 - 2^(5 - 3*w)*(1 - l + u)^3 + 2^(4 - 4*w)*(1 - l + u)^4 - 15*w + 2^(4 - 3*w)*(1 - l + u)^3*w) + 3*2^(25 - 25*w)*(53 - 17*2^(3 - w)*(1 - l + u) + 11*2^(3 - 2*w)*(1 - l + u)^2 - 62*w + 11*2^(3 - w)*(1 - l + u)*w + 16*w^2) + 3*2^(2 - 2*w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)*(1125 - 105*2^(5 - 3*w)*(1 - l + u)^3 + 15*2^(6 - 4*w)*(1 - l + u)^4 + 2^(12 - 6*w)*(1 - l + u)^6 - 9*2^(9 - 7*w)*(1 - l + u)^7 + 7*2^(8 - 8*w)*(1 - l + u)^8 - 2250*w - 45*2^(3 - 2*w)*(1 - l + u)^2*w + 45*2^(7 - 3*w)*(1 - l + u)^3*w - 15*2^(6 - 4*w)*(1 - l + u)^4*w - 29*2^(7 - 6*w)*(1 - l + u)^6*w + 3*2^(9 - 7*w)*(1 - l + u)^7*w + 1125*w^2 + 45*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 75*2^(5 - 3*w)*(1 - l + u)^3*w^2 + 2^(10 - 6*w)*(1 - l + u)^6*w^2) - 2^(24 - 24*w)*(-849 + 417*2^(3 - w)*(1 - l + u) - 33*2^(7 - 2*w)*(1 - l + u)^2 + 55*2^(5 - 3*w)*(1 - l + u)^3 + 1356*w - 237*2^(4 - w)*(1 - l + u)*w + 165*2^(4 - 2*w)*(1 - l + u)^2*w - 624*w^2 + 15*2^(6 - w)*(1 - l + u)*w^2 + 64*w^3) + 3*2^(23 - 23*w)*(978 - 677*2^(3 - w)*(1 - l + u) + 663*2^(4 - 2*w)*(1 - l + u)^2 - 275*2^(5 - 3*w)*(1 - l + u)^3 + 165*2^(4 - 4*w)*(1 - l + u)^4 - 1891*w + 261*2^(5 - w)*(1 - l + u)*w - 1455*2^(3 - 2*w)*(1 - l + u)^2*w + 165*2^(5 - 3*w)*(1 - l + u)^3*w + 1172*w^2 - 117*2^(5 - w)*(1 - l + u)*w^2 + 45*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 224*w^3 + 3*2^(7 - w)*(1 - l + u)*w^3) - 3*2^(22 - 22*w)*(-2125 + 1047*2^(4 - w)*(1 - l + u) - 5863*2^(3 - 2*w)*(1 - l + u)^2 + 475*2^(7 - 3*w)*(1 - l + u)^3 - 1155*2^(5 - 4*w)*(1 - l + u)^4 + 33*2^(8 - 5*w)*(1 - l + u)^5 + 4644*w - 3865*2^(3 - w)*(1 - l + u)*w + 135*2^(9 - 2*w)*(1 - l + u)^2*w - 1995*2^(5 - 3*w)*(1 - l + u)^3*w + 165*2^(7 - 4*w)*(1 - l + u)^4*w - 3424*w^2 + 577*2^(5 - w)*(1 - l + u)*w^2 - 117*2^(8 - 2*w)*(1 - l + u)^2*w^2 + 15*2^(10 - 3*w)*(1 - l + u)^3*w^2 + 848*w^3 - 27*2^(7 - w)*(1 - l + u)*w^3 + 3*2^(10 - 2*w)*(1 - l + u)^2*w^3) + 2^(21 - 21*w)*(7379 - 11967*2^(3 - w)*(1 - l + u) + 48609*2^(3 - 2*w)*(1 - l + u)^2 - 11395*2^(6 - 3*w)*(1 - l + u)^3 + 43695*2^(4 - 4*w)*(1 - l + u)^4 - 1287*2^(8 - 5*w)*(1 - l + u)^5 + 231*2^(8 - 6*w)*(1 - l + u)^6 - 16761*w + 1521*2^(7 - w)*(1 - l + u)*w - 5259*2^(7 - 2*w)*(1 - l + u)^2*w + 31635*2^(5 - 3*w)*(1 - l + u)^3*w - 10845*2^(6 - 4*w)*(1 - l + u)^4*w + 693*2^(8 - 5*w)*(1 - l + u)^5*w + 13272*w^2 - 8427*2^(4 - w)*(1 - l + u)*w^2 + 5955*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 819*2^(9 - 3*w)*(1 - l + u)^3*w^2 + 315*2^(9 - 4*w)*(1 - l + u)^4*w^2 - 3656*w^3 + 993*2^(5 - w)*(1 - l + u)*w^3 - 135*2^(9 - 2*w)*(1 - l + u)^2*w^3 + 21*2^(11 - 3*w)*(1 - l + u)^3*w^3) - 3*2^(20 - 20*w)*(94 + 991*2^(5 - w)*(1 - l + u) - 13727*2^(4 - 2*w)*(1 - l + u)^2 + 9411*2^(6 - 3*w)*(1 - l + u)^3 - 52545*2^(4 - 4*w)*(1 - l + u)^4 + 2457*2^(8 - 5*w)*(1 - l + u)^5 - 231*2^(10 - 6*w)*(1 - l + u)^6 + 33*2^(10 - 7*w)*(1 - l + u)^7 - 1101*w - 3869*2^(4 - w)*(1 - l + u)*w + 50241*2^(3 - 2*w)*(1 - l + u)^2*w - 29801*2^(5 - 3*w)*(1 - l + u)^3*w + 8415*2^(7 - 4*w)*(1 - l + u)^4*w - 567*2^(10 - 5*w)*(1 - l + u)^5*w + 231*2^(9 - 6*w)*(1 - l + u)^6*w + 1332*w^2 + 661*2^(6 - w)*(1 - l + u)*w^2 - 7865*2^(5 - 2*w)*(1 - l + u)^2*w^2 + 1949*2^(8 - 3*w)*(1 - l + u)^3*w^2 - 819*2^(9 - 4*w)*(1 - l + u)^4*w^2 + 63*2^(11 - 5*w)*(1 - l + u)^5*w^2 - 416*w^3 - 5*2^(11 - w)*(1 - l + u)*w^3 + 849*2^(6 - 2*w)*(1 - l + u)^2*w^3 - 21*2^(12 - 3*w)*(1 - l + u)^3*w^3 + 21*2^(11 - 4*w)*(1 - l + u)^4*w^3) + 3*2^(19 - 19*w)*(-4099 - 29*2^(5 - w)*(1 - l + u) + 25953*2^(3 - 2*w)*(1 - l + u)^2 - 29335*2^(5 - 3*w)*(1 - l + u)^3 + 118103*2^(4 - 4*w)*(1 - l + u)^4 - 8007*2^(8 - 5*w)*(1 - l + u)^5 + 1197*2^(10 - 6*w)*(1 - l + u)^6 - 363*2^(10 - 7*w)*(1 - l + u)^7 + 165*2^(8 - 8*w)*(1 - l + u)^8 + 11901*w - 2345*2^(3 - w)*(1 - l + u)*w - 41217*2^(3 - 2*w)*(1 - l + u)^2*w + 23207*2^(6 - 3*w)*(1 - l + u)^3*w - 82673*2^(5 - 4*w)*(1 - l + u)^4*w + 4599*2^(9 - 5*w)*(1 - l + u)^5*w - 4011*2^(8 - 6*w)*(1 - l + u)^6*w + 165*2^(10 - 7*w)*(1 - l + u)^7*w - 11091*w^2 + 421*2^(6 - w)*(1 - l + u)*w^2 + 10785*2^(4 - 2*w)*(1 - l + u)^2*w^2 - 12361*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 9583*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 819*2^(10 - 5*w)*(1 - l + u)^5*w^2 + 105*2^(11 - 6*w)*(1 - l + u)^6*w^2 + 3380*w^3 - 295*2^(5 - w)*(1 - l + u)*w^3 - 933*2^(5 - 2*w)*(1 - l + u)^2*w^3 + 1127*2^(7 - 3*w)*(1 - l + u)^3*w^3 - 189*2^(10 - 4*w)*(1 - l + u)^4*w^3 + 21*2^(12 - 5*w)*(1 - l + u)^5*w^3) - 2^(18 - 18*w)*(12233 - 10425*2^(3 - w)*(1 - l + u) - 31227*2^(3 - 2*w)*(1 - l + u)^2 + 90267*2^(5 - 3*w)*(1 - l + u)^3 - 535293*2^(4 - 4*w)*(1 - l + u)^4 + 50127*2^(8 - 5*w)*(1 - l + u)^5 - 42567*2^(8 - 6*w)*(1 - l + u)^6 + 2547*2^(11 - 7*w)*(1 - l + u)^7 - 2475*2^(9 - 8*w)*(1 - l + u)^8 + 55*2^(11 - 9*w)*(1 - l + u)^9 - 33441*w + 33279*2^(3 - w)*(1 - l + u)*w + 2085*2^(4 - 2*w)*(1 - l + u)^2*w - 119811*2^(5 - 3*w)*(1 - l + u)^3*w + 44367*2^(8 - 4*w)*(1 - l + u)^4*w - 14889*2^(10 - 5*w)*(1 - l + u)^5*w + 10521*2^(10 - 6*w)*(1 - l + u)^6*w - 3735*2^(10 - 7*w)*(1 - l + u)^7*w + 495*2^(10 - 8*w)*(1 - l + u)^8*w + 29586*w^2 - 31407*2^(3 - w)*(1 - l + u)*w^2 + 519*2^(9 - 2*w)*(1 - l + u)^2*w^2 + 23097*2^(6 - 3*w)*(1 - l + u)^3*w^2 - 37149*2^(7 - 4*w)*(1 - l + u)^4*w^2 + 357*2^(14 - 5*w)*(1 - l + u)^5*w^2 - 819*2^(12 - 6*w)*(1 - l + u)^6*w^2 + 45*2^(14 - 7*w)*(1 - l + u)^7*w^2 - 8612*w^3 + 2343*2^(5 - w)*(1 - l + u)*w^3 - 237*2^(9 - 2*w)*(1 - l + u)^2*w^3 - 945*2^(7 - 3*w)*(1 - l + u)^3*w^3 + 2373*2^(8 - 4*w)*(1 - l + u)^4*w^3 - 189*2^(12 - 5*w)*(1 - l + u)^5*w^3 + 21*2^(14 - 6*w)*(1 - l + u)^6*w^3) + 3*2^(17 - 17*w)*(2440 + 993*2^(4 - w)*(1 - l + u) + 1661*2^(3 - 2*w)*(1 - l + u)^2 - 25409*2^(5 - 3*w)*(1 - l + u)^3 + 26579*2^(7 - 4*w)*(1 - l + u)^4 - 6463*2^(10 - 5*w)*(1 - l + u)^5 + 889*2^(13 - 6*w)*(1 - l + u)^6 - 1161*2^(12 - 7*w)*(1 - l + u)^7 + 6975*2^(8 - 8*w)*(1 - l + u)^8 - 165*2^(11 - 9*w)*(1 - l + u)^9 + 11*2^(11 - 10*w)*(1 - l + u)^10 - 7436*w - 1289*2^(5 - w)*(1 - l + u)*w + 12347*2^(3 - 2*w)*(1 - l + u)^2*w + 14451*2^(6 - 3*w)*(1 - l + u)^3*w - 129141*2^(5 - 4*w)*(1 - l + u)^4*w + 14371*2^(9 - 5*w)*(1 - l + u)^5*w - 27559*2^(8 - 6*w)*(1 - l + u)^6*w + 3735*2^(10 - 7*w)*(1 - l + u)^7*w - 2115*2^(9 - 8*w)*(1 - l + u)^8*w + 55*2^(11 - 9*w)*(1 - l + u)^9*w + 7623*w^2 + 3581*2^(3 - w)*(1 - l + u)*w^2 - 15209*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 4467*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 22731*2^(6 - 4*w)*(1 - l + u)^4*w^2 - 9079*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 1967*2^(10 - 6*w)*(1 - l + u)^6*w^2 - 117*2^(13 - 7*w)*(1 - l + u)^7*w^2 + 45*2^(12 - 8*w)*(1 - l + u)^8*w^2 - 2570*w^3 - 645*2^(3 - w)*(1 - l + u)*w^3 + 1051*2^(5 - 2*w)*(1 - l + u)^2*w^3 + 109*2^(7 - 3*w)*(1 - l + u)^3*w^3 - 833*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 273*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 21*2^(13 - 6*w)*(1 - l + u)^6*w^3 + 3*2^(15 - 7*w)*(1 - l + u)^7*w^3) - 3*2^(16 - 16*w)*(-6493 + 2679*2^(3 - w)*(1 - l + u) - 1393*2^(3 - 2*w)*(1 - l + u)^2 + 4943*2^(7 - 3*w)*(1 - l + u)^3 - 228583*2^(4 - 4*w)*(1 - l + u)^4 + 34713*2^(8 - 5*w)*(1 - l + u)^5 - 5803*2^(11 - 6*w)*(1 - l + u)^6 + 9287*2^(10 - 7*w)*(1 - l + u)^7 - 18045*2^(8 - 8*w)*(1 - l + u)^8 + 635*2^(11 - 9*w)*(1 - l + u)^9 - 11*2^(14 - 10*w)*(1 - l + u)^10 + 2^(13 - 11*w)*(1 - l + u)^11 + 18367*w - 7805*2^(3 - w)*(1 - l + u)*w - 1421*2^(3 - 2*w)*(1 - l + u)^2*w - 11853*2^(6 - 3*w)*(1 - l + u)^3*w + 147617*2^(5 - 4*w)*(1 - l + u)^4*w - 39933*2^(8 - 5*w)*(1 - l + u)^5*w + 44471*2^(8 - 6*w)*(1 - l + u)^6*w - 3581*2^(11 - 7*w)*(1 - l + u)^7*w + 2745*2^(10 - 8*w)*(1 - l + u)^8*w - 145*2^(12 - 9*w)*(1 - l + u)^9*w + 11*2^(12 - 10*w)*(1 - l + u)^10*w - 17333*w^2 + 7975*2^(3 - w)*(1 - l + u)*w^2 - 1421*2^(4 - 2*w)*(1 - l + u)^2*w^2 + 12219*2^(5 - 3*w)*(1 - l + u)^3*w^2 - 8561*2^(8 - 4*w)*(1 - l + u)^4*w^2 + 7353*2^(9 - 5*w)*(1 - l + u)^5*w^2 - 5789*2^(9 - 6*w)*(1 - l + u)^6*w^2 + 335*2^(12 - 7*w)*(1 - l + u)^7*w^2 - 117*2^(12 - 8*w)*(1 - l + u)^8*w^2 + 5*2^(14 - 9*w)*(1 - l + u)^9*w^2 + 5424*w^3 - 1339*2^(4 - w)*(1 - l + u)*w^3 + 1541*2^(4 - 2*w)*(1 - l + u)^2*w^3 - 205*2^(9 - 3*w)*(1 - l + u)^3*w^3 + 395*2^(10 - 4*w)*(1 - l + u)^4*w^3 - 441*2^(10 - 5*w)*(1 - l + u)^5*w^3 + 91*2^(10 - 6*w)*(1 - l + u)^6*w^3 + 3*2^(14 - 8*w)*(1 - l + u)^8*w^3) + 2^(3 - 3*w)*(77625 - 675*2^(4 - w)*(1 - l + u) + 6075*2^(4 - 2*w)*(1 - l + u)^2 - 4725*2^(6 - 3*w)*(1 - l + u)^3 - 2025*2^(4 - 4*w)*(1 - l + u)^4 + 45*2^(9 - 5*w)*(1 - l + u)^5 - 45*2^(9 - 6*w)*(1 - l + u)^6 + 135*2^(11 - 7*w)*(1 - l + u)^7 - 45*2^(8 - 8*w)*(1 - l + u)^8 - 67*2^(12 - 9*w)*(1 - l + u)^9 + 171*2^(12 - 10*w)*(1 - l + u)^10 - 45*2^(14 - 11*w)*(1 - l + u)^11 + 53*2^(12 - 12*w)*(1 - l + u)^12 - 232875*w + 3375*2^(3 - w)*(1 - l + u)*w - 10125*2^(5 - 2*w)*(1 - l + u)^2*w + 27675*2^(5 - 3*w)*(1 - l + u)^3*w + 2025*2^(5 - 4*w)*(1 - l + u)^4*w + 405*2^(8 - 5*w)*(1 - l + u)^5*w - 585*2^(9 - 6*w)*(1 - l + u)^6*w - 405*2^(10 - 7*w)*(1 - l + u)^7*w + 45*2^(8 - 8*w)*(1 - l + u)^8*w + 123*2^(11 - 9*w)*(1 - l + u)^9*w - 9*2^(15 - 10*w)*(1 - l + u)^10*w + 27*2^(13 - 11*w)*(1 - l + u)^11*w + 232875*w^2 - 675*2^(5 - w)*(1 - l + u)*w^2 + 22275*2^(4 - 2*w)*(1 - l + u)^2*w^2 - 3375*2^(8 - 3*w)*(1 - l + u)^3*w^2 - 2025*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 765*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 495*2^(10 - 6*w)*(1 - l + u)^6*w^2 + 135*2^(10 - 7*w)*(1 - l + u)^7*w^2 - 15*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 77625*w^3 + 675*2^(3 - w)*(1 - l + u)*w^3 - 2025*2^(6 - 2*w)*(1 - l + u)^2*w^3 + 8775*2^(5 - 3*w)*(1 - l + u)^3*w^3 + 135*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 45*2^(12 - 6*w)*(1 - l + u)^6*w^3 + 2^(15 - 9*w)*(1 - l + u)^9*w^3) - 3*2^(4 - 4*w)*(33750 - 1125*2^(3 - w)*(1 - l + u) + 14175*2^(3 - 2*w)*(1 - l + u)^2 - 1575*2^(7 - 3*w)*(1 - l + u)^3 + 1245*2^(4 - 4*w)*(1 - l + u)^4 - 1125*2^(8 - 5*w)*(1 - l + u)^5 + 1395*2^(8 - 6*w)*(1 - l + u)^6 + 15*2^(11 - 7*w)*(1 - l + u)^7 - 47*2^(10 - 8*w)*(1 - l + u)^8 + 219*2^(11 - 9*w)*(1 - l + u)^9 - 441*2^(11 - 10*w)*(1 - l + u)^10 + 9*2^(16 - 11*w)*(1 - l + u)^11 - 35*2^(12 - 12*w)*(1 - l + u)^12 - 101475*w + 2925*2^(3 - w)*(1 - l + u)*w - 675*2^(9 - 2*w)*(1 - l + u)^2*w + 18225*2^(5 - 3*w)*(1 - l + u)^3*w - 615*2^(6 - 4*w)*(1 - l + u)^4*w + 1335*2^(9 - 5*w)*(1 - l + u)^5*w - 3195*2^(8 - 6*w)*(1 - l + u)^6*w - 75*2^(10 - 7*w)*(1 - l + u)^7*w - 197*2^(8 - 8*w)*(1 - l + u)^8*w - 113*2^(11 - 9*w)*(1 - l + u)^9*w + 129*2^(12 - 10*w)*(1 - l + u)^10*w - 19*2^(13 - 11*w)*(1 - l + u)^11*w + 101700*w^2 - 2475*2^(3 - w)*(1 - l + u)*w^2 + 43875*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 8775*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 2235*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 2175*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 315*2^(11 - 6*w)*(1 - l + u)^6*w^2 + 45*2^(10 - 7*w)*(1 - l + u)^7*w^2 + 79*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 3*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 3*2^(15 - 10*w)*(1 - l + u)^10*w^2 - 33975*w^3 + 675*2^(3 - w)*(1 - l + u)*w^3 - 7425*2^(4 - 2*w)*(1 - l + u)^2*w^3 + 5625*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 255*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 315*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 45*2^(12 - 6*w)*(1 - l + u)^6*w^3 - 3*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 2^(15 - 9*w)*(1 - l + u)^9*w^3) + 2^(15 - 15*w)*(16532 - 303*2^(8 - w)*(1 - l + u) + 4041*2^(3 - 2*w)*(1 - l + u)^2 - 19933*2^(5 - 3*w)*(1 - l + u)^3 + 66039*2^(7 - 4*w)*(1 - l + u)^4 - 114897*2^(8 - 5*w)*(1 - l + u)^5 + 195117*2^(8 - 6*w)*(1 - l + u)^6 - 23715*2^(11 - 7*w)*(1 - l + u)^7 + 27681*2^(10 - 8*w)*(1 - l + u)^8 - 4815*2^(11 - 9*w)*(1 - l + u)^9 + 471*2^(12 - 10*w)*(1 - l + u)^10 - 21*2^(13 - 11*w)*(1 - l + u)^11 + 2^(12 - 12*w)*(1 - l + u)^12 - 43476*w + 12171*2^(4 - w)*(1 - l + u)*w + 6897*2^(3 - 2*w)*(1 - l + u)^2*w - 4089*2^(5 - 3*w)*(1 - l + u)^3*w - 146505*2^(6 - 4*w)*(1 - l + u)^4*w + 67353*2^(9 - 5*w)*(1 - l + u)^5*w - 101541*2^(9 - 6*w)*(1 - l + u)^6*w + 309*2^(17 - 7*w)*(1 - l + u)^7*w - 67737*2^(8 - 8*w)*(1 - l + u)^8*w + 255*2^(14 - 9*w)*(1 - l + u)^9*w - 273*2^(11 - 10*w)*(1 - l + u)^10*w + 3*2^(13 - 11*w)*(1 - l + u)^11*w + 37776*w^2 - 20529*2^(3 - w)*(1 - l + u)*w^2 - 4053*2^(4 - 2*w)*(1 - l + u)^2*w^2 + 14301*2^(5 - 3*w)*(1 - l + u)^3*w^2 + 229263*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 27975*2^(9 - 5*w)*(1 - l + u)^5*w^2 + 72309*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 9705*2^(10 - 7*w)*(1 - l + u)^7*w^2 + 2031*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 39*2^(13 - 9*w)*(1 - l + u)^9*w^2 + 3*2^(14 - 10*w)*(1 - l + u)^10*w^2 - 10779*w^3 + 87*2^(9 - w)*(1 - l + u)*w^3 + 2811*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 3149*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 9105*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 4557*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 5145*2^(9 - 6*w)*(1 - l + u)^6*w^3 + 327*2^(11 - 7*w)*(1 - l + u)^7*w^3 + 27*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 2^(15 - 9*w)*(1 - l + u)^9*w^3) - 3*2^(14 - 14*w)*(3510 + 4211*2^(3 - w)*(1 - l + u) - 6167*2^(3 - 2*w)*(1 - l + u)^2 + 79*2^(8 - 3*w)*(1 - l + u)^3 - 46661*2^(5 - 4*w)*(1 - l + u)^4 + 15521*2^(9 - 5*w)*(1 - l + u)^5 - 35289*2^(9 - 6*w)*(1 - l + u)^6 + 21823*2^(10 - 7*w)*(1 - l + u)^7 - 63115*2^(8 - 8*w)*(1 - l + u)^8 + 419*2^(14 - 9*w)*(1 - l + u)^9 - 799*2^(11 - 10*w)*(1 - l + u)^10 + 3*2^(16 - 11*w)*(1 - l + u)^11 - 2^(13 - 12*w)*(1 - l + u)^12 - 11134*w - 9859*2^(3 - w)*(1 - l + u)*w + 9223*2^(3 - 2*w)*(1 - l + u)^2*w + 6363*2^(6 - 3*w)*(1 - l + u)^3*w + 20981*2^(5 - 4*w)*(1 - l + u)^4*w - 7231*2^(10 - 5*w)*(1 - l + u)^5*w + 67209*2^(8 - 6*w)*(1 - l + u)^6*w - 9369*2^(11 - 7*w)*(1 - l + u)^7*w + 10919*2^(10 - 8*w)*(1 - l + u)^8*w - 1599*2^(11 - 9*w)*(1 - l + u)^9*w + 27*2^(14 - 10*w)*(1 - l + u)^10*w - 3*2^(13 - 11*w)*(1 - l + u)^11*w + 11549*w^2 + 1861*2^(5 - w)*(1 - l + u)*w^2 - 3991*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 1965*2^(8 - 3*w)*(1 - l + u)^3*w^2 + 14015*2^(5 - 4*w)*(1 - l + u)^4*w^2 + 6407*2^(8 - 5*w)*(1 - l + u)^5*w^2 - 4653*2^(10 - 6*w)*(1 - l + u)^6*w^2 + 5235*2^(10 - 7*w)*(1 - l + u)^7*w^2 - 1241*2^(11 - 8*w)*(1 - l + u)^8*w^2 + 39*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 3932*w^3 - 1743*2^(3 - w)*(1 - l + u)*w^3 - 55*2^(5 - 2*w)*(1 - l + u)^2*w^3 + 5497*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 955*2^(8 - 4*w)*(1 - l + u)^4*w^3 + 121*2^(10 - 5*w)*(1 - l + u)^5*w^3 + 15*2^(14 - 6*w)*(1 - l + u)^6*w^3 - 299*2^(11 - 7*w)*(1 - l + u)^7*w^3 + 9*2^(15 - 8*w)*(1 - l + u)^8*w^3 + 2^(15 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(7 - 7*w)*(18450 + 6525*2^(3 - w)*(1 - l + u) + 21795*2^(3 - 2*w)*(1 - l + u)^2 - 4425*2^(6 - 3*w)*(1 - l + u)^3 + 13875*2^(4 - 4*w)*(1 - l + u)^4 - 4819*2^(8 - 5*w)*(1 - l + u)^5 + 6145*2^(8 - 6*w)*(1 - l + u)^6 - 1173*2^(11 - 7*w)*(1 - l + u)^7 + 6167*2^(10 - 8*w)*(1 - l + u)^8 - 4219*2^(11 - 9*w)*(1 - l + u)^9 + 3063*2^(11 - 10*w)*(1 - l + u)^10 - 149*2^(14 - 11*w)*(1 - l + u)^11 + 91*2^(12 - 12*w)*(1 - l + u)^12 - 56025*w - 10095*2^(4 - w)*(1 - l + u)*w - 16335*2^(5 - 2*w)*(1 - l + u)^2*w + 13605*2^(6 - 3*w)*(1 - l + u)^3*w - 11925*2^(6 - 4*w)*(1 - l + u)^4*w + 6617*2^(9 - 5*w)*(1 - l + u)^5*w - 13399*2^(8 - 6*w)*(1 - l + u)^6*w + 2913*2^(10 - 7*w)*(1 - l + u)^7*w - 26359*2^(8 - 8*w)*(1 - l + u)^8*w + 1595*2^(12 - 9*w)*(1 - l + u)^9*w - 639*2^(12 - 10*w)*(1 - l + u)^10*w + 2^(19 - 11*w)*(1 - l + u)^11*w + 56700*w^2 + 20835*2^(3 - w)*(1 - l + u)*w^2 + 64875*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 3405*2^(8 - 3*w)*(1 - l + u)^3*w^2 + 52725*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 6265*2^(9 - 5*w)*(1 - l + u)^5*w^2 + 2789*2^(10 - 6*w)*(1 - l + u)^6*w^2 - 885*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 3497*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 71*2^(15 - 9*w)*(1 - l + u)^9*w^2 + 3*2^(16 - 10*w)*(1 - l + u)^10*w^2 - 19125*w^3 - 3585*2^(4 - w)*(1 - l + u)*w^3 - 10665*2^(4 - 2*w)*(1 - l + u)^2*w^3 + 555*2^(9 - 3*w)*(1 - l + u)^3*w^3 - 4725*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 2041*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 215*2^(12 - 6*w)*(1 - l + u)^6*w^3 + 255*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 111*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 15*2^(15 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(11 - 11*w)*(12165 + 1695*2^(4 - w)*(1 - l + u) + 6841*2^(3 - 2*w)*(1 - l + u)^2 - 3687*2^(5 - 3*w)*(1 - l + u)^3 + 1987*2^(6 - 4*w)*(1 - l + u)^4 - 7441*2^(8 - 5*w)*(1 - l + u)^5 + 4419*2^(11 - 6*w)*(1 - l + u)^6 - 20693*2^(10 - 7*w)*(1 - l + u)^7 + 53065*2^(9 - 8*w)*(1 - l + u)^8 - 4781*2^(12 - 9*w)*(1 - l + u)^9 + 3853*2^(11 - 10*w)*(1 - l + u)^10 - 205*2^(13 - 11*w)*(1 - l + u)^11 + 35*2^(12 - 12*w)*(1 - l + u)^12 - 36780*w - 2205*2^(5 - w)*(1 - l + u)*w - 16987*2^(3 - 2*w)*(1 - l + u)^2*w + 1813*2^(5 - 3*w)*(1 - l + u)^3*w + 12539*2^(6 - 4*w)*(1 - l + u)^4*w + 1867*2^(8 - 5*w)*(1 - l + u)^5*w - 6531*2^(10 - 6*w)*(1 - l + u)^6*w + 16351*2^(10 - 7*w)*(1 - l + u)^7*w - 78805*2^(8 - 8*w)*(1 - l + u)^8*w + 5661*2^(11 - 9*w)*(1 - l + u)^9*w - 1391*2^(11 - 10*w)*(1 - l + u)^10*w + 17*2^(14 - 11*w)*(1 - l + u)^11*w + 37050*w^2 + 1837*2^(5 - w)*(1 - l + u)*w^2 + 15647*2^(3 - 2*w)*(1 - l + u)^2*w^2 + 3511*2^(5 - 3*w)*(1 - l + u)^3*w^2 - 81535*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 3931*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 2283*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 1609*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 2539*2^(11 - 8*w)*(1 - l + u)^8*w^2 - 21*2^(17 - 9*w)*(1 - l + u)^9*w^2 + 7*2^(15 - 10*w)*(1 - l + u)^10*w^2 - 12435*w^3 - 1919*2^(3 - w)*(1 - l + u)*w^3 - 5435*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 1011*2^(6 - 3*w)*(1 - l + u)^3*w^3 + 2011*2^(8 - 4*w)*(1 - l + u)^4*w^3 - 911*2^(9 - 5*w)*(1 - l + u)^5*w^3 + 207*2^(11 - 6*w)*(1 - l + u)^6*w^3 - 81*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 81*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 15*2^(15 - 9*w)*(1 - l + u)^9*w^3) + 2^(9 - 9*w)*(35775 + 24165*2^(3 - w)*(1 - l + u) - 4185*2^(5 - 2*w)*(1 - l + u)^2 + 16117*2^(5 - 3*w)*(1 - l + u)^3 + 13047*2^(5 - 4*w)*(1 - l + u)^4 - 597*2^(13 - 5*w)*(1 - l + u)^5 + 22497*2^(9 - 6*w)*(1 - l + u)^6 - 15087*2^(11 - 7*w)*(1 - l + u)^7 + 218157*2^(8 - 8*w)*(1 - l + u)^8 - 26433*2^(11 - 9*w)*(1 - l + u)^9 + 1761*2^(14 - 10*w)*(1 - l + u)^10 - 1011*2^(13 - 11*w)*(1 - l + u)^11 + 117*2^(13 - 12*w)*(1 - l + u)^12 - 106020*w - 73125*2^(3 - w)*(1 - l + u)*w + 42975*2^(3 - 2*w)*(1 - l + u)^2*w - 51333*2^(5 - 3*w)*(1 - l + u)^3*w + 11823*2^(5 - 4*w)*(1 - l + u)^4*w + 8937*2^(10 - 5*w)*(1 - l + u)^5*w - 3669*2^(12 - 6*w)*(1 - l + u)^6*w + 30261*2^(10 - 7*w)*(1 - l + u)^7*w - 49323*2^(10 - 8*w)*(1 - l + u)^8*w + 17931*2^(11 - 9*w)*(1 - l + u)^9*w - 5511*2^(11 - 10*w)*(1 - l + u)^10*w + 3*2^(19 - 11*w)*(1 - l + u)^11*w + 104625*w^2 + 74025*2^(3 - w)*(1 - l + u)*w^2 - 4545*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 51621*2^(5 - 3*w)*(1 - l + u)^3*w^2 - 42123*2^(5 - 4*w)*(1 - l + u)^4*w^2 - 26343*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 35787*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 3363*2^(12 - 7*w)*(1 - l + u)^7*w^2 + 20481*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 171*2^(16 - 9*w)*(1 - l + u)^9*w^2 + 27*2^(15 - 10*w)*(1 - l + u)^10*w^2 - 34380*w^3 - 25065*2^(3 - w)*(1 - l + u)*w^3 + 10125*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 4115*2^(7 - 3*w)*(1 - l + u)^3*w^3 + 9369*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 1905*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 4917*2^(9 - 6*w)*(1 - l + u)^6*w^3 + 1485*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 567*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 69*2^(15 - 9*w)*(1 - l + u)^9*w^3) - 3*2^(8 - 8*w)*(18675 + 4485*2^(4 - w)*(1 - l + u) + 8205*2^(3 - 2*w)*(1 - l + u)^2 - 4665*2^(5 - 3*w)*(1 - l + u)^3 - 315*2^(7 - 4*w)*(1 - l + u)^4 - 1185*2^(8 - 5*w)*(1 - l + u)^5 - 995*2^(9 - 6*w)*(1 - l + u)^6 + 3977*2^(10 - 7*w)*(1 - l + u)^7 - 18433*2^(9 - 8*w)*(1 - l + u)^8 + 745*2^(14 - 9*w)*(1 - l + u)^9 - 4117*2^(11 - 10*w)*(1 - l + u)^10 + 343*2^(13 - 11*w)*(1 - l + u)^11 - 91*2^(12 - 12*w)*(1 - l + u)^12 - 56700*w - 26565*2^(3 - w)*(1 - l + u)*w - 24825*2^(3 - 2*w)*(1 - l + u)^2*w + 6075*2^(6 - 3*w)*(1 - l + u)^3*w - 1013*2^(6 - 4*w)*(1 - l + u)^4*w + 3773*2^(9 - 5*w)*(1 - l + u)^5*w - 1525*2^(10 - 6*w)*(1 - l + u)^6*w - 209*2^(13 - 7*w)*(1 - l + u)^7*w + 16669*2^(8 - 8*w)*(1 - l + u)^8*w - 2765*2^(11 - 9*w)*(1 - l + u)^9*w + 1687*2^(11 - 10*w)*(1 - l + u)^10*w - 35*2^(14 - 11*w)*(1 - l + u)^11*w + 57390*w^2 + 1635*2^(7 - w)*(1 - l + u)*w^2 + 25665*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 10515*2^(5 - 3*w)*(1 - l + u)^3*w^2 + 10951*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 9767*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 10337*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 629*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 899*2^(11 - 8*w)*(1 - l + u)^8*w^2 - 87*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 9*2^(15 - 10*w)*(1 - l + u)^10*w^2 - 19365*w^3 - 8565*2^(3 - w)*(1 - l + u)*w^3 - 9045*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 1515*2^(6 - 3*w)*(1 - l + u)^3*w^3 - 71*2^(10 - 4*w)*(1 - l + u)^4*w^3 + 901*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 483*2^(11 - 6*w)*(1 - l + u)^6*w^3 + 351*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 135*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 9*2^(16 - 9*w)*(1 - l + u)^9*w^3) - 3*2^(10 - 10*w)*(2760 + 3555*2^(4 - w)*(1 - l + u) + 3885*2^(3 - 2*w)*(1 - l + u)^2 + 4911*2^(6 - 3*w)*(1 - l + u)^3 - 4067*2^(8 - 4*w)*(1 - l + u)^4 + 5743*2^(8 - 5*w)*(1 - l + u)^5 - 22491*2^(8 - 6*w)*(1 - l + u)^6 + 15167*2^(10 - 7*w)*(1 - l + u)^7 - 87443*2^(8 - 8*w)*(1 - l + u)^8 + 2317*2^(13 - 9*w)*(1 - l + u)^9 - 4543*2^(11 - 10*w)*(1 - l + u)^10 + 285*2^(13 - 11*w)*(1 - l + u)^11 - 57*2^(12 - 12*w)*(1 - l + u)^12 - 8520*w - 21765*2^(3 - w)*(1 - l + u)*w - 9107*2^(3 - 2*w)*(1 - l + u)^2*w - 12049*2^(6 - 3*w)*(1 - l + u)^3*w + 70797*2^(5 - 4*w)*(1 - l + u)^4*w - 5263*2^(8 - 5*w)*(1 - l + u)^5*w + 2391*2^(11 - 6*w)*(1 - l + u)^6*w - 12469*2^(10 - 7*w)*(1 - l + u)^7*w + 54685*2^(8 - 8*w)*(1 - l + u)^8*w - 4371*2^(11 - 9*w)*(1 - l + u)^9*w + 409*2^(13 - 10*w)*(1 - l + u)^10*w - 51*2^(13 - 11*w)*(1 - l + u)^11*w + 8805*w^2 + 11085*2^(4 - w)*(1 - l + u)*w^2 + 5687*2^(3 - 2*w)*(1 - l + u)^2*w^2 + 21121*2^(5 - 3*w)*(1 - l + u)^3*w^2 - 114111*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 1295*2^(8 - 5*w)*(1 - l + u)^5*w^2 - 2559*2^(9 - 6*w)*(1 - l + u)^6*w^2 + 3077*2^(10 - 7*w)*(1 - l + u)^7*w^2 - 671*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 45*2^(13 - 9*w)*(1 - l + u)^9*w^2 - 3*2^(16 - 10*w)*(1 - l + u)^10*w^2 - 3045*w^3 - 7515*2^(3 - w)*(1 - l + u)*w^3 - 119*2^(5 - 2*w)*(1 - l + u)^2*w^3 - 6735*2^(5 - 3*w)*(1 - l + u)^3*w^3 + 8531*2^(6 - 4*w)*(1 - l + u)^4*w^3 - 13*2^(9 - 5*w)*(1 - l + u)^5*w^3 + 99*2^(10 - 6*w)*(1 - l + u)^6*w^3 - 33*2^(12 - 7*w)*(1 - l + u)^7*w^3 - 99*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 9*2^(16 - 9*w)*(1 - l + u)^9*w^3) - 2^(6 - 6*w)*(91125 + 7425*2^(3 - w)*(1 - l + u) + 31095*2^(4 - 2*w)*(1 - l + u)^2 - 8055*2^(7 - 3*w)*(1 - l + u)^3 + 2025*2^(9 - 4*w)*(1 - l + u)^4 - 9675*2^(8 - 5*w)*(1 - l + u)^5 + 1383*2^(10 - 6*w)*(1 - l + u)^6 + 1329*2^(10 - 7*w)*(1 - l + u)^7 - 19143*2^(8 - 8*w)*(1 - l + u)^8 + 5641*2^(11 - 9*w)*(1 - l + u)^9 - 2955*2^(12 - 10*w)*(1 - l + u)^10 + 333*2^(14 - 11*w)*(1 - l + u)^11 - 117*2^(13 - 12*w)*(1 - l + u)^12 - 274050*w - 6075*2^(5 - w)*(1 - l + u)*w - 191205*2^(3 - 2*w)*(1 - l + u)^2*w + 93015*2^(5 - 3*w)*(1 - l + u)^3*w - 87525*2^(5 - 4*w)*(1 - l + u)^4*w + 28215*2^(8 - 5*w)*(1 - l + u)^5*w - 1251*2^(12 - 6*w)*(1 - l + u)^6*w - 3*2^(13 - 7*w)*(1 - l + u)^7*w + 153*2^(12 - 8*w)*(1 - l + u)^8*w - 1299*2^(12 - 9*w)*(1 - l + u)^9*w + 2781*2^(11 - 10*w)*(1 - l + u)^10*w - 153*2^(13 - 11*w)*(1 - l + u)^11*w + 274725*w^2 + 26325*2^(3 - w)*(1 - l + u)*w^2 + 98235*2^(4 - 2*w)*(1 - l + u)^2*w^2 - 45315*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 82575*2^(5 - 4*w)*(1 - l + u)^4*w^2 - 3465*2^(11 - 5*w)*(1 - l + u)^5*w^2 + 21483*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 1221*2^(10 - 7*w)*(1 - l + u)^7*w^2 + 2655*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 15*2^(16 - 9*w)*(1 - l + u)^9*w^2 - 21*2^(15 - 10*w)*(1 - l + u)^10*w^2 - 91800*w^3 - 4725*2^(4 - w)*(1 - l + u)*w^3 - 67455*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 29835*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 13725*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 2295*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 3615*2^(9 - 6*w)*(1 - l + u)^6*w^3 + 255*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 135*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 11*2^(16 - 9*w)*(1 - l + u)^9*w^3) - 2^(12 - 12*w)*(26820 - 4905*2^(3 - w)*(1 - l + u) + 5529*2^(3 - 2*w)*(1 - l + u)^2 + 14193*2^(6 - 3*w)*(1 - l + u)^3 - 48117*2^(6 - 4*w)*(1 - l + u)^4 + 26439*2^(9 - 5*w)*(1 - l + u)^5 - 176313*2^(8 - 6*w)*(1 - l + u)^6 + 77811*2^(10 - 7*w)*(1 - l + u)^7 - 77667*2^(10 - 8*w)*(1 - l + u)^8 + 11557*2^(12 - 9*w)*(1 - l + u)^9 - 4047*2^(12 - 10*w)*(1 - l + u)^10 + 93*2^(15 - 11*w)*(1 - l + u)^11 - 53*2^(12 - 12*w)*(1 - l + u)^12 - 75960*w + 15351*2^(3 - w)*(1 - l + u)*w - 42723*2^(3 - 2*w)*(1 - l + u)^2*w - 11877*2^(7 - 3*w)*(1 - l + u)^3*w + 70635*2^(6 - 4*w)*(1 - l + u)^4*w - 57603*2^(8 - 5*w)*(1 - l + u)^5*w + 5835*2^(13 - 6*w)*(1 - l + u)^6*w - 71985*2^(10 - 7*w)*(1 - l + u)^7*w + 217929*2^(8 - 8*w)*(1 - l + u)^8*w - 2751*2^(13 - 9*w)*(1 - l + u)^9*w + 2523*2^(11 - 10*w)*(1 - l + u)^10*w - 57*2^(13 - 11*w)*(1 - l + u)^11*w + 71280*w^2 - 1887*2^(6 - w)*(1 - l + u)*w^2 + 29547*2^(4 - 2*w)*(1 - l + u)^2*w^2 + 12663*2^(6 - 3*w)*(1 - l + u)^3*w^2 - 201507*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 14043*2^(9 - 5*w)*(1 - l + u)^5*w^2 - 79743*2^(8 - 6*w)*(1 - l + u)^6*w^2 + 25431*2^(10 - 7*w)*(1 - l + u)^7*w^2 - 11247*2^(10 - 8*w)*(1 - l + u)^8*w^2 + 51*2^(14 - 9*w)*(1 - l + u)^9*w^2 - 9*2^(14 - 10*w)*(1 - l + u)^10*w^2 - 22141*w^3 + 1167*2^(5 - w)*(1 - l + u)*w^3 - 22593*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 3289*2^(5 - 3*w)*(1 - l + u)^3*w^3 + 14865*2^(6 - 4*w)*(1 - l + u)^4*w^3 - 201*2^(13 - 5*w)*(1 - l + u)^5*w^3 + 7641*2^(9 - 6*w)*(1 - l + u)^6*w^3 - 2115*2^(11 - 7*w)*(1 - l + u)^7*w^3 + 81*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 11*2^(16 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(13 - 13*w)*(-5550 + 1031*2^(4 - w)*(1 - l + u) + 20645*2^(3 - 2*w)*(1 - l + u)^2 - 10859*2^(5 - 3*w)*(1 - l + u)^3 + 9359*2^(7 - 4*w)*(1 - l + u)^4 - 12641*2^(9 - 5*w)*(1 - l + u)^5 + 67131*2^(8 - 6*w)*(1 - l + u)^6 - 24533*2^(10 - 7*w)*(1 - l + u)^7 + 85521*2^(8 - 8*w)*(1 - l + u)^8 - 5579*2^(11 - 9*w)*(1 - l + u)^9 + 1657*2^(11 - 10*w)*(1 - l + u)^10 - 31*2^(14 - 11*w)*(1 - l + u)^11 + 7*2^(12 - 12*w)*(1 - l + u)^12 + 16620*w - 3705*2^(4 - w)*(1 - l + u)*w - 47683*2^(3 - 2*w)*(1 - l + u)^2*w + 21261*2^(5 - 3*w)*(1 - l + u)^3*w - 34643*2^(5 - 4*w)*(1 - l + u)^4*w + 12881*2^(9 - 5*w)*(1 - l + u)^5*w - 31293*2^(9 - 6*w)*(1 - l + u)^6*w + 19165*2^(10 - 7*w)*(1 - l + u)^7*w - 55083*2^(8 - 8*w)*(1 - l + u)^8*w + 709*2^(13 - 9*w)*(1 - l + u)^9*w - 275*2^(12 - 10*w)*(1 - l + u)^10*w + 9*2^(13 - 11*w)*(1 - l + u)^11*w - 16447*w^2 + 8223*2^(3 - w)*(1 - l + u)*w^2 + 36883*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 4353*2^(7 - 3*w)*(1 - l + u)^3*w^2 + 28289*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 605*2^(12 - 5*w)*(1 - l + u)^5*w^2 + 4365*2^(10 - 6*w)*(1 - l + u)^6*w^2 - 3287*2^(10 - 7*w)*(1 - l + u)^7*w^2 + 1923*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 57*2^(14 - 9*w)*(1 - l + u)^9*w^2 + 3*2^(15 - 10*w)*(1 - l + u)^10*w^2 + 5379*w^3 - 181*2^(7 - w)*(1 - l + u)*w^3 - 4631*2^(4 - 2*w)*(1 - l + u)^2*w^3 + 5085*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 1415*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 739*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 123*2^(11 - 6*w)*(1 - l + u)^6*w^3 - 177*2^(11 - 7*w)*(1 - l + u)^7*w^3 + 15*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 2^(17 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(5 - 5*w)*(38925 - 225*2^(3 - w)*(1 - l + u) + 4725*2^(5 - 2*w)*(1 - l + u)^2 - 8775*2^(5 - 3*w)*(1 - l + u)^3 + 435*2^(4 - 4*w)*(1 - l + u)^4 - 1065*2^(8 - 5*w)*(1 - l + u)^5 + 405*2^(10 - 6*w)*(1 - l + u)^6 - 109*2^(10 - 7*w)*(1 - l + u)^7 + 2959*2^(8 - 8*w)*(1 - l + u)^8 - 881*2^(11 - 9*w)*(1 - l + u)^9 + 245*2^(13 - 10*w)*(1 - l + u)^10 - 139*2^(13 - 11*w)*(1 - l + u)^11 + 57*2^(12 - 12*w)*(1 - l + u)^12 - 117225*w + 225*2^(4 - w)*(1 - l + u)*w - 58725*2^(3 - 2*w)*(1 - l + u)^2*w + 13035*2^(6 - 3*w)*(1 - l + u)^3*w - 4665*2^(5 - 4*w)*(1 - l + u)^4*w + 4065*2^(8 - 5*w)*(1 - l + u)^5*w - 4845*2^(8 - 6*w)*(1 - l + u)^6*w + 7*2^(14 - 7*w)*(1 - l + u)^7*w - 3545*2^(8 - 8*w)*(1 - l + u)^8*w + 45*2^(15 - 9*w)*(1 - l + u)^9*w - 421*2^(11 - 10*w)*(1 - l + u)^10*w + 17*2^(14 - 11*w)*(1 - l + u)^11*w + 117675*w^2 - 225*2^(3 - w)*(1 - l + u)*w^2 + 30375*2^(4 - 2*w)*(1 - l + u)^2*w^2 - 25605*2^(5 - 3*w)*(1 - l + u)^3*w^2 + 15255*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 1155*2^(10 - 5*w)*(1 - l + u)^5*w^2 + 4725*2^(8 - 6*w)*(1 - l + u)^6*w^2 - 31*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 269*2^(11 - 8*w)*(1 - l + u)^8*w^2 - 9*2^(16 - 9*w)*(1 - l + u)^9*w^2 + 3*2^(14 - 10*w)*(1 - l + u)^10*w^2 - 39375*w^3 - 20925*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 4155*2^(6 - 3*w)*(1 - l + u)^3*w^3 - 795*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 405*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 375*2^(10 - 6*w)*(1 - l + u)^6*w^3 + 13*2^(11 - 7*w)*(1 - l + u)^7*w^3 - 9*2^(14 - 8*w)*(1 - l + u)^8*w^3 + 2^(17 - 9*w)*(1 - l + u)^9*w^3))