(-27*2^(43 - 29*w) - 297*2^(41 - 28*w)*(-3 + 2^(2 - w)*(1 - l + u)) - 27*2^(37 - 27*w)*(2037 - 165*2^(5 - w)*(1 - l + u) + 55*2^(6 - 2*w)*(1 - l + u)^2) - 9*2^(35 - 26*w)*(-57599 + 54969*2^(2 - w)*(1 - l + u) - 4455*2^(6 - 2*w)*(1 - l + u)^2 + 495*2^(8 - 3*w)*(1 - l + u)^3) - 15*2^(7 - 4*w)*(1 - l + u)^4*(-17 + 2^(4 - 4*w)*(1 - l + u)^4) - 9*2^(32 - 25*w)*(725891 - 229573*2^(4 - w)*(1 - l + u) + 109827*2^(6 - 2*w)*(1 - l + u)^2 - 1485*2^(12 - 3*w)*(1 - l + u)^3 + 495*2^(12 - 4*w)*(1 - l + u)^4) - 9*2^(31 - 24*w)*(-1573891 + 627377*2^(4 - w)*(1 - l + u) - 798591*2^(5 - 2*w)*(1 - l + u)^2 + 255783*2^(7 - 3*w)*(1 - l + u)^3 - 10395*2^(11 - 4*w)*(1 - l + u)^4 + 693*2^(13 - 5*w)*(1 - l + u)^5) - 9*2^(27 - 23*w)*(18612843 - 4567495*2^(5 - w)*(1 - l + u) + 14738021*2^(5 - 2*w)*(1 - l + u)^2 - 789791*2^(10 - 3*w)*(1 - l + u)^3 + 764601*2^(10 - 4*w)*(1 - l + u)^4 - 6237*2^(16 - 5*w)*(1 - l + u)^5 + 693*2^(17 - 6*w)*(1 - l + u)^6) - 9*2^(25 - 22*w)*(-35313539 + 85630477*2^(2 - w)*(1 - l + u) - 21473725*2^(6 - 2*w)*(1 - l + u)^2 + 2948275*2^(10 - 3*w)*(1 - l + u)^3 - 3864545*2^(10 - 4*w)*(1 - l + u)^4 + 759051*2^(12 - 5*w)*(1 - l + u)^5 - 10395*2^(17 - 6*w)*(1 - l + u)^6 + 495*2^(19 - 7*w)*(1 - l + u)^7) + 2^(5 - 4*w)*(1 - l + u)^3*(-4080 + 255*2^(3 - w)*(1 - l + u) - 1275*2^(3 - 3*w)*(1 - l + u)^3 + 311*2^(7 - 4*w)*(1 - l + u)^4 - 195*2^(7 - 5*w)*(1 - l + u)^5 - 105*2^(7 - 7*w)*(1 - l + u)^7 + 11*2^(10 - 8*w)*(1 - l + u)^8) - 9*2^(22 - 21*w)*(67524561 - 55964291*2^(4 - w)*(1 - l + u) + 143284243*2^(5 - 2*w)*(1 - l + u)^2 - 6270011*2^(11 - 3*w)*(1 - l + u)^3 + 21599395*2^(10 - 4*w)*(1 - l + u)^4 - 1474263*2^(14 - 5*w)*(1 - l + u)^5 + 124461*2^(17 - 6*w)*(1 - l + u)^6 - 1485*2^(22 - 7*w)*(1 - l + u)^7 + 495*2^(21 - 8*w)*(1 - l + u)^8) - 3*2^(22 - 20*w)*(23714424 + 60505277*2^(1 - w)*(1 - l + u) - 227756127*2^(3 - 2*w)*(1 - l + u)^2 + 248279511*2^(5 - 3*w)*(1 - l + u)^3 - 38382507*2^(9 - 4*w)*(1 - l + u)^4 + 3804195*2^(13 - 5*w)*(1 - l + u)^5 - 973467*2^(15 - 6*w)*(1 - l + u)^6 + 153279*2^(17 - 7*w)*(1 - l + u)^7 - 13365*2^(19 - 8*w)*(1 - l + u)^8 + 495*2^(21 - 9*w)*(1 - l + u)^9) - 2^(3 - 4*w)*(1 - l + u)^2*(-24480 + 255*2^(7 - w)*(1 - l + u) + 1275*2^(6 - 2*w)*(1 - l + u)^2 - 765*2^(6 - 3*w)*(1 - l + u)^3 + 3557*2^(7 - 4*w)*(1 - l + u)^4 - 641*2^(11 - 5*w)*(1 - l + u)^5 + 5715*2^(6 - 6*w)*(1 - l + u)^6 + 877*2^(10 - 7*w)*(1 - l + u)^7 - 253*2^(11 - 8*w)*(1 - l + u)^8 + 45*2^(10 - 10*w)*(1 - l + u)^10) - 3*2^(19 - 19*w)*(-316905747 + 78460117*2^(5 - w)*(1 - l + u) - 286065161*2^(5 - 2*w)*(1 - l + u)^2 + 82398555*2^(8 - 3*w)*(1 - l + u)^3 - 122694495*2^(8 - 4*w)*(1 - l + u)^4 + 2662515*2^(13 - 5*w)*(1 - l + u)^5 + 1641231*2^(13 - 6*w)*(1 - l + u)^6 - 79263*2^(19 - 7*w)*(1 - l + u)^7 + 131139*2^(18 - 8*w)*(1 - l + u)^8 - 1485*2^(23 - 9*w)*(1 - l + u)^9 + 99*2^(24 - 10*w)*(1 - l + u)^10) + 2^(14 - 17*w)*(2482198377 - 4731717047*2^(3 - w)*(1 - l + u) + 1624402293*2^(7 - 2*w)*(1 - l + u)^2 - 600416277*2^(10 - 3*w)*(1 - l + u)^3 + 597139227*2^(11 - 4*w)*(1 - l + u)^4 - 487819467*2^(12 - 5*w)*(1 - l + u)^5 + 351558333*2^(13 - 6*w)*(1 - l + u)^6 - 3075705*2^(20 - 7*w)*(1 - l + u)^7 + 8994807*2^(18 - 8*w)*(1 - l + u)^8 - 225765*2^(22 - 9*w)*(1 - l + u)^9 + 9045*2^(24 - 10*w)*(1 - l + u)^10) + 2^(14 - 16*w)*(181218464 + 1230548025*2^(1 - w)*(1 - l + u) - 4721719269*2^(3 - 2*w)*(1 - l + u)^2 + 2766248535*2^(6 - 3*w)*(1 - l + u)^3 - 814306545*2^(9 - 4*w)*(1 - l + u)^4 + 1100093313*2^(9 - 5*w)*(1 - l + u)^5 - 248293179*2^(11 - 6*w)*(1 - l + u)^6 + 58692339*2^(13 - 7*w)*(1 - l + u)^7 - 4348107*2^(17 - 8*w)*(1 - l + u)^8 + 234513*2^(21 - 9*w)*(1 - l + u)^9 - 51561*2^(22 - 10*w)*(1 - l + u)^10 + 2025*2^(24 - 11*w)*(1 - l + u)^11) - 2^(17 - 18*w)*(1585670995 - 4081497897*2^(2 - w)*(1 - l + u) + 2291332917*2^(5 - 2*w)*(1 - l + u)^2 - 3276947895*2^(6 - 3*w)*(1 - l + u)^3 + 1763294229*2^(8 - 4*w)*(1 - l + u)^4 - 719859051*2^(10 - 5*w)*(1 - l + u)^5 + 50897997*2^(14 - 6*w)*(1 - l + u)^6 - 1094607*2^(19 - 7*w)*(1 - l + u)^7 + 712071*2^(18 - 8*w)*(1 - l + u)^8 + 3159*2^(20 - 9*w)*(1 - l + u)^9 - 891*2^(24 - 10*w)*(1 - l + u)^10 + 27*2^(26 - 11*w)*(1 - l + u)^11) + 2^(12 - 15*w)*(-501888852 + 135576119*2^(6 - w)*(1 - l + u) - 8751437625*2^(2 - 2*w)*(1 - l + u)^2 - 56652681*2^(5 - 3*w)*(1 - l + u)^3 + 2774715807*2^(7 - 4*w)*(1 - l + u)^4 - 64382745*2^(14 - 5*w)*(1 - l + u)^5 + 349125735*2^(12 - 6*w)*(1 - l + u)^6 - 13973031*2^(16 - 7*w)*(1 - l + u)^7 + 4573359*2^(15 - 8*w)*(1 - l + u)^8 + 23157*2^(20 - 9*w)*(1 - l + u)^9 + 121329*2^(20 - 10*w)*(1 - l + u)^10 - 3105*2^(25 - 11*w)*(1 - l + u)^11 + 513*2^(25 - 12*w)*(1 - l + u)^12) + 2^(13 - 14*w)*(-24399477 - 148556655*2^(2 - w)*(1 - l + u) + 67326139*2^(7 - 2*w)*(1 - l + u)^2 - 4699548663*2^(3 - 3*w)*(1 - l + u)^3 + 4080450517*2^(4 - 4*w)*(1 - l + u)^4 + 139394499*2^(6 - 5*w)*(1 - l + u)^5 - 456572331*2^(9 - 6*w)*(1 - l + u)^6 + 412253799*2^(10 - 7*w)*(1 - l + u)^7 - 85793463*2^(12 - 8*w)*(1 - l + u)^8 + 7429545*2^(14 - 9*w)*(1 - l + u)^9 + 37251*2^(18 - 10*w)*(1 - l + u)^10 - 2763*2^(22 - 11*w)*(1 - l + u)^11 - 441*2^(22 - 12*w)*(1 - l + u)^12 + 27*2^(24 - 13*w)*(1 - l + u)^13) + 2^(10 - 12*w)*(140091664 - 528567879*2^(1 - w)*(1 - l + u) + 60645823*2^(5 - 2*w)*(1 - l + u)^2 + 55374507*2^(6 - 3*w)*(1 - l + u)^3 - 49079979*2^(8 - 4*w)*(1 - l + u)^4 - 560375505*2^(5 - 5*w)*(1 - l + u)^5 + 949057819*2^(7 - 6*w)*(1 - l + u)^6 - 99951507*2^(11 - 7*w)*(1 - l + u)^7 + 7813863*2^(14 - 8*w)*(1 - l + u)^8 + 6247827*2^(13 - 9*w)*(1 - l + u)^9 - 4206609*2^(15 - 10*w)*(1 - l + u)^10 + 692361*2^(17 - 11*w)*(1 - l + u)^11 - 11025*2^(21 - 12*w)*(1 - l + u)^12 + 9*2^(25 - 13*w)*(1 - l + u)^13) + 2^(10 - 13*w)*(-189372741 - 1430293*2^(5 - w)*(1 - l + u) - 8097531*2^(5 - 2*w)*(1 - l + u)^2 + 70293807*2^(9 - 3*w)*(1 - l + u)^3 - 12419936823*2^(4 - 4*w)*(1 - l + u)^4 + 3573953265*2^(7 - 5*w)*(1 - l + u)^5 - 418088529*2^(10 - 6*w)*(1 - l + u)^6 - 6153273*2^(15 - 7*w)*(1 - l + u)^7 + 115838703*2^(13 - 8*w)*(1 - l + u)^8 - 15749163*2^(16 - 9*w)*(1 - l + u)^9 + 3974247*2^(17 - 10*w)*(1 - l + u)^10 - 10953*2^(23 - 11*w)*(1 - l + u)^11 - 2529*2^(22 - 12*w)*(1 - l + u)^12 + 9*2^(26 - 13*w)*(1 - l + u)^13) - 2^(2 - 4*w)*(122400 - 1785*2^(8 - w)*(1 - l + u) + 1785*2^(8 - 2*w)*(1 - l + u)^2 - 3315*2^(8 - 3*w)*(1 - l + u)^3 + 26679*2^(8 - 4*w)*(1 - l + u)^4 - 126561*2^(9 - 5*w)*(1 - l + u)^5 + 339963*2^(9 - 6*w)*(1 - l + u)^6 - 73317*2^(11 - 7*w)*(1 - l + u)^7 + 317*2^(12 - 8*w)*(1 - l + u)^8 - 64521*2^(9 - 9*w)*(1 - l + u)^9 + 22341*2^(13 - 10*w)*(1 - l + u)^10 - 10269*2^(14 - 11*w)*(1 - l + u)^11 + 759*2^(16 - 12*w)*(1 - l + u)^12 - 945*2^(13 - 13*w)*(1 - l + u)^13 + 255*2^(15 - 14*w)*(1 - l + u)^14) - 2^(1 - 4*w)*(1 - l + u)*(65280 - 2805*2^(8 - w)*(1 - l + u) + 1785*2^(10 - 2*w)*(1 - l + u)^2 - 27795*2^(7 - 3*w)*(1 - l + u)^3 - 2011*2^(10 - 4*w)*(1 - l + u)^4 + 36755*2^(9 - 5*w)*(1 - l + u)^5 - 6933*2^(11 - 6*w)*(1 - l + u)^6 - 39579*2^(9 - 7*w)*(1 - l + u)^7 + 1827*2^(14 - 8*w)*(1 - l + u)^8 - 38439*2^(9 - 9*w)*(1 - l + u)^9 + 2355*2^(13 - 10*w)*(1 - l + u)^10 - 1785*2^(13 - 11*w)*(1 - l + u)^11 + 33*2^(17 - 12*w)*(1 - l + u)^12 - 45*2^(13 - 13*w)*(1 - l + u)^13 + 11*2^(16 - 14*w)*(1 - l + u)^14) + 2^(4 - 7*w)*(5626320 - 260393*2^(7 - w)*(1 - l + u) + 1698107*2^(6 - 2*w)*(1 - l + u)^2 - 534265*2^(8 - 3*w)*(1 - l + u)^3 - 1229939*2^(7 - 4*w)*(1 - l + u)^4 + 444189*2^(11 - 5*w)*(1 - l + u)^5 - 7720857*2^(7 - 6*w)*(1 - l + u)^6 - 484977*2^(11 - 7*w)*(1 - l + u)^7 + 1998249*2^(10 - 8*w)*(1 - l + u)^8 + 179057*2^(14 - 9*w)*(1 - l + u)^9 - 10158723*2^(10 - 10*w)*(1 - l + u)^10 + 1189821*2^(13 - 11*w)*(1 - l + u)^11 - 50799*2^(15 - 12*w)*(1 - l + u)^12 - 999*2^(21 - 13*w)*(1 - l + u)^13 + 717*2^(20 - 14*w)*(1 - l + u)^14) + 2^(6 - 9*w)*(-18029872 - 178597*2^(6 - w)*(1 - l + u) + 6129863*2^(7 - 2*w)*(1 - l + u)^2 - 1786367*2^(11 - 3*w)*(1 - l + u)^3 + 222031947*2^(5 - 4*w)*(1 - l + u)^4 - 709337*2^(11 - 5*w)*(1 - l + u)^5 - 25292187*2^(10 - 6*w)*(1 - l + u)^6 + 3735147*2^(14 - 7*w)*(1 - l + u)^7 - 205726461*2^(8 - 8*w)*(1 - l + u)^8 - 5482765*2^(11 - 9*w)*(1 - l + u)^9 + 826971*2^(16 - 10*w)*(1 - l + u)^10 - 135129*2^(18 - 11*w)*(1 - l + u)^11 + 3705*2^(21 - 12*w)*(1 - l + u)^12 - 837*2^(20 - 13*w)*(1 - l + u)^13 + 135*2^(21 - 14*w)*(1 - l + u)^14) - 2^(9 - 10*w)*(8050283 - 2685723*2^(5 - w)*(1 - l + u) + 6885933*2^(5 - 2*w)*(1 - l + u)^2 + 42577881*2^(4 - 3*w)*(1 - l + u)^3 - 323128517*2^(4 - 4*w)*(1 - l + u)^4 + 100057497*2^(7 - 5*w)*(1 - l + u)^5 - 7146171*2^(11 - 6*w)*(1 - l + u)^6 + 4599801*2^(8 - 7*w)*(1 - l + u)^7 + 68381313*2^(8 - 8*w)*(1 - l + u)^8 - 18834975*2^(10 - 9*w)*(1 - l + u)^9 + 834267*2^(13 - 10*w)*(1 - l + u)^10 - 5277*2^(14 - 11*w)*(1 - l + u)^11 + 3663*2^(16 - 12*w)*(1 - l + u)^12 - 1377*2^(18 - 13*w)*(1 - l + u)^13 + 27*2^(22 - 14*w)*(1 - l + u)^14) + 2^(8 - 11*w)*(4855052 + 3012381*2^(8 - w)*(1 - l + u) - 1459000725*2^(2 - 2*w)*(1 - l + u)^2 + 261020045*2^(6 - 3*w)*(1 - l + u)^3 - 230242077*2^(6 - 4*w)*(1 - l + u)^4 - 28468071*2^(10 - 5*w)*(1 - l + u)^5 + 1337021199*2^(6 - 6*w)*(1 - l + u)^6 - 123182889*2^(9 - 7*w)*(1 - l + u)^7 - 20327625*2^(11 - 8*w)*(1 - l + u)^8 + 1434897*2^(16 - 9*w)*(1 - l + u)^9 - 596271*2^(16 - 10*w)*(1 - l + u)^10 - 38097*2^(19 - 11*w)*(1 - l + u)^11 + 46071*2^(19 - 12*w)*(1 - l + u)^12 - 459*2^(24 - 13*w)*(1 - l + u)^13 + 9*2^(24 - 14*w)*(1 - l + u)^14) + 2^(5 - 6*w)*(-20400 + 155805*2^(4 - w)*(1 - l + u) - 486587*2^(5 - 2*w)*(1 - l + u)^2 + 294799*2^(7 - 3*w)*(1 - l + u)^3 - 2731981*2^(5 - 4*w)*(1 - l + u)^4 + 945451*2^(8 - 5*w)*(1 - l + u)^5 - 121705*2^(12 - 6*w)*(1 - l + u)^6 + 2549343*2^(8 - 7*w)*(1 - l + u)^7 - 1802355*2^(8 - 8*w)*(1 - l + u)^8 + 25593*2^(10 - 9*w)*(1 - l + u)^9 + 2039*2^(17 - 10*w)*(1 - l + u)^10 - 180711*2^(11 - 11*w)*(1 - l + u)^11 + 95487*2^(12 - 12*w)*(1 - l + u)^12 - 10923*2^(14 - 13*w)*(1 - l + u)^13 - 165*2^(17 - 14*w)*(1 - l + u)^14 + 69*2^(18 - 15*w)*(1 - l + u)^15) + 2^(6 - 8*w)*(-1314480 - 289015*2^(5 - w)*(1 - l + u) + 2322929*2^(5 - 2*w)*(1 - l + u)^2 - 583945*2^(7 - 3*w)*(1 - l + u)^3 - 551575*2^(10 - 4*w)*(1 - l + u)^4 + 40325523*2^(6 - 5*w)*(1 - l + u)^5 - 4650675*2^(10 - 6*w)*(1 - l + u)^6 + 305379*2^(12 - 7*w)*(1 - l + u)^7 + 165585*2^(16 - 8*w)*(1 - l + u)^8 - 36355449*2^(9 - 9*w)*(1 - l + u)^9 + 4277449*2^(11 - 10*w)*(1 - l + u)^10 + 347295*2^(14 - 11*w)*(1 - l + u)^11 - 52473*2^(17 - 12*w)*(1 - l + u)^12 + 13347*2^(17 - 13*w)*(1 - l + u)^13 - 81*2^(19 - 14*w)*(1 - l + u)^14 + 9*2^(21 - 15*w)*(1 - l + u)^15) + 2^(2 - 5*w)*(16320 + 255*2^(9 - w)*(1 - l + u) - 51765*2^(6 - 2*w)*(1 - l + u)^2 - 2609*2^(13 - 3*w)*(1 - l + u)^3 + 330839*2^(8 - 4*w)*(1 - l + u)^4 + 7417*2^(10 - 5*w)*(1 - l + u)^5 - 347203*2^(10 - 6*w)*(1 - l + u)^6 + 23229*2^(13 - 7*w)*(1 - l + u)^7 + 3779919*2^(8 - 8*w)*(1 - l + u)^8 - 202435*2^(13 - 9*w)*(1 - l + u)^9 + 105561*2^(13 - 10*w)*(1 - l + u)^10 + 683*2^(17 - 11*w)*(1 - l + u)^11 - 39861*2^(12 - 12*w)*(1 - l + u)^12 + 1747*2^(15 - 13*w)*(1 - l + u)^13 - 213*2^(18 - 14*w)*(1 - l + u)^14 + 3*2^(20 - 16*w)*(1 - l + u)^16))/(27*2^(42 - 30*w) + 8*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^3 + 81*2^(39 - 29*w)*(-33 + 2^(5 - w)*(1 - l + u) + 16*w) + 3*2^(2 - w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)^2*(60 + 45*2^(2 - 2*w)*(1 - l + u)^2 - 15*2^(5 - 3*w)*(1 - l + u)^3 + 3*2^(6 - 4*w)*(1 - l + u)^4 + 2^(6 - 6*w)*(1 - l + u)^6 - 60*w - 45*2^(2 - 2*w)*(1 - l + u)^2*w + 11*2^(5 - 3*w)*(1 - l + u)^3*w) + 81*2^(36 - 28*w)*(1445 - 355*2^(3 - w)*(1 - l + u) + 11*2^(7 - 2*w)*(1 - l + u)^2 - 1344*w + 11*2^(7 - w)*(1 - l + u)*w + 256*w^2) + 3*2^(1 - 2*w)*(-15 + 2^(4 - 4*w)*(1 - l + u)^4 + 15*w)*(3600 - 2025*2^(4 - w)*(1 - l + u) + 2025*2^(5 - 2*w)*(1 - l + u)^2 - 135*2^(8 - 3*w)*(1 - l + u)^3 + 3465*2^(4 - 4*w)*(1 - l + u)^4 - 675*2^(8 - 5*w)*(1 - l + u)^5 + 255*2^(10 - 6*w)*(1 - l + u)^6 - 51*2^(12 - 7*w)*(1 - l + u)^7 + 117*2^(9 - 8*w)*(1 - l + u)^8 - 3*2^(13 - 9*w)*(1 - l + u)^9 + 3*2^(13 - 10*w)*(1 - l + u)^10 + 2^(12 - 12*w)*(1 - l + u)^12 - 7200*w + 2025*2^(5 - w)*(1 - l + u)*w - 2115*2^(6 - 2*w)*(1 - l + u)^2*w + 75*2^(10 - 3*w)*(1 - l + u)^3*w - 2745*2^(5 - 4*w)*(1 - l + u)^4*w + 585*2^(9 - 5*w)*(1 - l + u)^5*w - 177*2^(11 - 6*w)*(1 - l + u)^6*w + 33*2^(12 - 7*w)*(1 - l + u)^7*w - 45*2^(9 - 8*w)*(1 - l + u)^8*w + 11*2^(12 - 9*w)*(1 - l + u)^9*w + 3600*w^2 - 2025*2^(4 - w)*(1 - l + u)*w^2 + 2205*2^(5 - 2*w)*(1 - l + u)^2*w^2 - 165*2^(8 - 3*w)*(1 - l + u)^3*w^2 + 2025*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 495*2^(8 - 5*w)*(1 - l + u)^5*w^2 + 121*2^(10 - 6*w)*(1 - l + u)^6*w^2) + 27*2^(33 - 27*w)*(-112303 + 20709*2^(4 - w)*(1 - l + u) - 2589*2^(7 - 2*w)*(1 - l + u)^2 + 55*2^(11 - 3*w)*(1 - l + u)^3 + 149712*w - 309*2^(10 - w)*(1 - l + u)*w + 165*2^(10 - 2*w)*(1 - l + u)^2*w - 52992*w^2 + 15*2^(12 - w)*(1 - l + u)*w^2 + 4096*w^3) + 27*2^(32 - 26*w)*(488562 - 945053*2^(1 - w)*(1 - l + u) + 175785*2^(4 - 2*w)*(1 - l + u)^2 - 7491*2^(8 - 3*w)*(1 - l + u)^3 + 495*2^(10 - 4*w)*(1 - l + u)^4 - 827096*w + 81171*2^(5 - w)*(1 - l + u)*w - 5427*2^(9 - 2*w)*(1 - l + u)^2*w + 495*2^(11 - 3*w)*(1 - l + u)^3*w + 408576*w^2 - 1839*2^(9 - w)*(1 - l + u)*w^2 + 135*2^(12 - 2*w)*(1 - l + u)^2*w^2 - 55296*w^3 + 9*2^(13 - w)*(1 - l + u)*w^3) + 27*2^(28 - 25*w)*(-12349867 + 900407*2^(6 - w)*(1 - l + u) - 3462331*2^(5 - 2*w)*(1 - l + u)^2 + 108405*2^(10 - 3*w)*(1 - l + u)^3 - 28545*2^(11 - 4*w)*(1 - l + u)^4 + 99*2^(17 - 5*w)*(1 - l + u)^5 + 24808272*w - 49249*2^(11 - w)*(1 - l + u)*w + 154743*2^(10 - 2*w)*(1 - l + u)^2*w - 7005*2^(14 - 3*w)*(1 - l + u)^3*w + 495*2^(16 - 4*w)*(1 - l + u)^4*w - 15264512*w^2 + 3129*2^(14 - w)*(1 - l + u)*w^2 - 7233*2^(13 - 2*w)*(1 - l + u)^2*w^2 + 45*2^(19 - 3*w)*(1 - l + u)^3*w^2 + 2789376*w^3 - 27*2^(18 - w)*(1 - l + u)*w^3 + 9*2^(19 - 2*w)*(1 - l + u)^2*w^3) + 9*2^(26 - 24*w)*(179390509 - 14939001*2^(6 - w)*(1 - l + u) + 16980867*2^(7 - 2*w)*(1 - l + u)^2 - 21496803*2^(7 - 3*w)*(1 - l + u)^3 + 2041389*2^(10 - 4*w)*(1 - l + u)^4 - 111969*2^(13 - 5*w)*(1 - l + u)^5 + 693*2^(18 - 6*w)*(1 - l + u)^6 - 408976704*w + 970215*2^(11 - w)*(1 - l + u)*w - 3881835*2^(10 - 2*w)*(1 - l + u)^2*w + 1014993*2^(12 - 3*w)*(1 - l + u)^3*w - 70335*2^(15 - 4*w)*(1 - l + u)^4*w + 2079*2^(18 - 5*w)*(1 - l + u)^5*w + 294591744*w^2 - 616383*2^(11 - w)*(1 - l + u)*w^2 + 128043*2^(14 - 2*w)*(1 - l + u)^2*w^2 - 49491*2^(15 - 3*w)*(1 - l + u)^3*w^2 + 945*2^(19 - 4*w)*(1 - l + u)^4*w^2 - 65765376*w^3 + 7227*2^(15 - w)*(1 - l + u)*w^3 - 567*2^(19 - 2*w)*(1 - l + u)^2*w^3 + 63*2^(21 - 3*w)*(1 - l + u)^3*w^3) + 9*2^(23 - 23*w)*(-1375169889 + 63428377*2^(7 - w)*(1 - l + u) - 161440017*2^(7 - 2*w)*(1 - l + u)^2 + 14647377*2^(11 - 3*w)*(1 - l + u)^3 - 27086649*2^(10 - 4*w)*(1 - l + u)^4 + 1039545*2^(14 - 5*w)*(1 - l + u)^5 - 25245*2^(18 - 6*w)*(1 - l + u)^6 + 297*2^(22 - 7*w)*(1 - l + u)^7 + 3450275824*w - 74688411*2^(8 - w)*(1 - l + u)*w + 87644733*2^(9 - 2*w)*(1 - l + u)^2*w - 3557199*2^(14 - 3*w)*(1 - l + u)^3*w + 2773773*2^(14 - 4*w)*(1 - l + u)^4*w - 4941*2^(22 - 5*w)*(1 - l + u)^5*w + 2079*2^(21 - 6*w)*(1 - l + u)^6*w - 2794917120*w^2 + 13581*2^(20 - w)*(1 - l + u)*w^2 - 1814913*2^(14 - 2*w)*(1 - l + u)^2*w^2 + 123597*2^(18 - 3*w)*(1 - l + u)^3*w^2 - 35937*2^(19 - 4*w)*(1 - l + u)^4*w^2 + 567*2^(23 - 5*w)*(1 - l + u)^5*w^2 + 721907712*w^3 - 50049*2^(16 - w)*(1 - l + u)*w^3 + 44055*2^(17 - 2*w)*(1 - l + u)^2*w^3 - 567*2^(23 - 3*w)*(1 - l + u)^3*w^3 + 189*2^(23 - 4*w)*(1 - l + u)^4*w^3) + 9*2^(22 - 22*w)*(2112637201 - 6821941783*2^(1 - w)*(1 - l + u) + 296504739*2^(7 - 2*w)*(1 - l + u)^2 - 117173649*2^(9 - 3*w)*(1 - l + u)^3 + 29494479*2^(11 - 4*w)*(1 - l + u)^4 - 20475579*2^(11 - 5*w)*(1 - l + u)^5 + 1311363*2^(14 - 6*w)*(1 - l + u)^6 - 15147*2^(19 - 7*w)*(1 - l + u)^7 + 1485*2^(20 - 8*w)*(1 - l + u)^8 - 5712938760*w + 1103081817*2^(5 - w)*(1 - l + u)*w - 181878171*2^(9 - 2*w)*(1 - l + u)^2*w + 16858683*2^(13 - 3*w)*(1 - l + u)^3*w - 15658635*2^(13 - 4*w)*(1 - l + u)^4*w + 2398599*2^(15 - 5*w)*(1 - l + u)^5*w - 29673*2^(20 - 6*w)*(1 - l + u)^6*w + 1485*2^(22 - 7*w)*(1 - l + u)^7*w + 5060755968*w^2 - 57730545*2^(9 - w)*(1 - l + u)*w^2 + 8841699*2^(13 - 2*w)*(1 - l + u)^2*w^2 - 184917*2^(19 - 3*w)*(1 - l + u)^3*w^2 + 73431*2^(20 - 4*w)*(1 - l + u)^4*w^2 - 34209*2^(20 - 5*w)*(1 - l + u)^5*w^2 + 945*2^(23 - 6*w)*(1 - l + u)^6*w^2 - 1459070976*w^3 + 964575*2^(13 - w)*(1 - l + u)*w^3 - 132633*2^(17 - 2*w)*(1 - l + u)^2*w^3 + 37647*2^(19 - 3*w)*(1 - l + u)^3*w^3 - 2835*2^(22 - 4*w)*(1 - l + u)^4*w^3 + 189*2^(24 - 5*w)*(1 - l + u)^5*w^3) + 2^(18 - 21*w)*(-186352585091 + 82175559849*2^(4 - w)*(1 - l + u) - 1942960059*2^(11 - 2*w)*(1 - l + u)^2 + 1655504721*2^(12 - 3*w)*(1 - l + u)^3 - 437507649*2^(14 - 4*w)*(1 - l + u)^4 + 74946789*2^(16 - 5*w)*(1 - l + u)^5 - 71134821*2^(15 - 6*w)*(1 - l + u)^6 + 455625*2^(21 - 7*w)*(1 - l + u)^7 - 189783*2^(21 - 8*w)*(1 - l + u)^8 + 1485*2^(26 - 9*w)*(1 - l + u)^9 + 535297640400*w - 14317105887*2^(8 - w)*(1 - l + u)*w + 20917182771*2^(9 - 2*w)*(1 - l + u)^2*w - 1070599545*2^(14 - 3*w)*(1 - l + u)^3*w + 1090099647*2^(14 - 4*w)*(1 - l + u)^4*w - 22986261*2^(19 - 5*w)*(1 - l + u)^5*w + 2773359*2^(21 - 6*w)*(1 - l + u)^6*w - 62937*2^(25 - 7*w)*(1 - l + u)^7*w + 13365*2^(25 - 8*w)*(1 - l + u)^8*w - 508328739072*w^2 + 818952795*2^(12 - w)*(1 - l + u)*w^2 - 142819173*2^(16 - 2*w)*(1 - l + u)^2*w^2 + 27568593*2^(19 - 3*w)*(1 - l + u)^3*w^2 - 51959313*2^(18 - 4*w)*(1 - l + u)^4*w^2 + 244377*2^(25 - 5*w)*(1 - l + u)^5*w^2 - 188811*2^(24 - 6*w)*(1 - l + u)^6*w^2 + 1215*2^(29 - 7*w)*(1 - l + u)^7*w^2 + 159319388160*w^3 - 15296013*2^(16 - w)*(1 - l + u)*w^3 + 19976139*2^(17 - 2*w)*(1 - l + u)^2*w^3 - 874881*2^(22 - 3*w)*(1 - l + u)^3*w^3 + 22113*2^(27 - 4*w)*(1 - l + u)^4*w^3 - 5103*2^(28 - 5*w)*(1 - l + u)^5*w^3 + 567*2^(29 - 6*w)*(1 - l + u)^6*w^3) + 9*2^(18 - 20*w)*(9839787296 - 38402736237*2^(1 - w)*(1 - l + u) + 993615841*2^(8 - 2*w)*(1 - l + u)^2 - 229471863*2^(11 - 3*w)*(1 - l + u)^3 + 519425891*2^(10 - 4*w)*(1 - l + u)^4 - 5679681*2^(16 - 5*w)*(1 - l + u)^5 + 4297479*2^(15 - 6*w)*(1 - l + u)^6 - 200295*2^(15 - 7*w)*(1 - l + u)^7 - 44145*2^(18 - 8*w)*(1 - l + u)^8 - 1485*2^(21 - 9*w)*(1 - l + u)^9 + 99*2^(25 - 10*w)*(1 - l + u)^10 - 29698380928*w + 7112682627*2^(5 - w)*(1 - l + u)*w - 5772880503*2^(7 - 2*w)*(1 - l + u)^2*w + 2607674405*2^(9 - 3*w)*(1 - l + u)^3*w - 90114597*2^(14 - 4*w)*(1 - l + u)^4*w + 3927633*2^(18 - 5*w)*(1 - l + u)^5*w - 869049*2^(19 - 6*w)*(1 - l + u)^6*w + 69687*2^(21 - 7*w)*(1 - l + u)^7*w - 405*2^(27 - 8*w)*(1 - l + u)^8*w + 495*2^(25 - 9*w)*(1 - l + u)^9*w + 29803076096*w^2 - 436240023*2^(9 - w)*(1 - l + u)*w^2 + 43090029*2^(14 - 2*w)*(1 - l + u)^2*w^2 - 75371997*2^(14 - 3*w)*(1 - l + u)^3*w^2 + 20078307*2^(16 - 4*w)*(1 - l + u)^4*w^2 - 848673*2^(20 - 5*w)*(1 - l + u)^5*w^2 + 47313*2^(23 - 6*w)*(1 - l + u)^6*w^2 - 7587*2^(24 - 7*w)*(1 - l + u)^7*w^2 + 405*2^(26 - 8*w)*(1 - l + u)^8*w^2 - 9948512256*w^3 + 8859933*2^(13 - w)*(1 - l + u)*w^3 - 6751953*2^(15 - 2*w)*(1 - l + u)^2*w^3 + 2802753*2^(17 - 3*w)*(1 - l + u)^3*w^3 - 172431*2^(21 - 4*w)*(1 - l + u)^4*w^3 + 25641*2^(23 - 5*w)*(1 - l + u)^5*w^3 - 567*2^(27 - 6*w)*(1 - l + u)^6*w^3 + 27*2^(29 - 7*w)*(1 - l + u)^7*w^3) + 3*2^(2 - 4*w)*(-2869200 + 185175*2^(5 - w)*(1 - l + u) - 804825*2^(4 - 2*w)*(1 - l + u)^2 + 819225*2^(6 - 3*w)*(1 - l + u)^3 - 174795*2^(9 - 4*w)*(1 - l + u)^4 + 3093135*2^(5 - 5*w)*(1 - l + u)^5 - 1126275*2^(7 - 6*w)*(1 - l + u)^6 + 70575*2^(11 - 7*w)*(1 - l + u)^7 - 11237*2^(12 - 8*w)*(1 - l + u)^8 - 80777*2^(9 - 9*w)*(1 - l + u)^9 + 687*2^(16 - 10*w)*(1 - l + u)^10 + 2741*2^(14 - 11*w)*(1 - l + u)^11 - 577*2^(17 - 12*w)*(1 - l + u)^12 + 2241*2^(13 - 13*w)*(1 - l + u)^13 - 255*2^(15 - 14*w)*(1 - l + u)^14 + 9*2^(20 - 15*w)*(1 - l + u)^15 + 9*2^(17 - 17*w)*(1 - l + u)^17 + 8499600*w - 542925*2^(5 - w)*(1 - l + u)*w + 2389275*2^(4 - 2*w)*(1 - l + u)^2*w - 2445975*2^(6 - 3*w)*(1 - l + u)^3*w + 1027005*2^(8 - 4*w)*(1 - l + u)^4*w - 7720125*2^(5 - 5*w)*(1 - l + u)^5*w + 2407605*2^(7 - 6*w)*(1 - l + u)^6*w - 81975*2^(12 - 7*w)*(1 - l + u)^7*w + 35807*2^(12 - 8*w)*(1 - l + u)^8*w + 12049*2^(10 - 9*w)*(1 - l + u)^9*w + 13599*2^(12 - 10*w)*(1 - l + u)^10*w - 8981*2^(14 - 11*w)*(1 - l + u)^11*w + 939*2^(16 - 12*w)*(1 - l + u)^12*w - 945*2^(13 - 13*w)*(1 - l + u)^13*w + 543*2^(15 - 14*w)*(1 - l + u)^14*w - 8391600*w^2 + 530325*2^(5 - w)*(1 - l + u)*w^2 - 2364075*2^(4 - 2*w)*(1 - l + u)^2*w^2 + 2434275*2^(6 - 3*w)*(1 - l + u)^3*w^2 - 251595*2^(10 - 4*w)*(1 - l + u)^4*w^2 + 6325965*2^(5 - 5*w)*(1 - l + u)^5*w^2 - 1587105*2^(7 - 6*w)*(1 - l + u)^6*w^2 + 127035*2^(11 - 7*w)*(1 - l + u)^7*w^2 - 18307*2^(13 - 8*w)*(1 - l + u)^8*w^2 + 32487*2^(9 - 9*w)*(1 - l + u)^9*w^2 - 15615*2^(12 - 10*w)*(1 - l + u)^10*w^2 + 1089*2^(16 - 11*w)*(1 - l + u)^11*w^2 + 2761200*w^3 - 172575*2^(5 - w)*(1 - l + u)*w^3 + 779625*2^(4 - 2*w)*(1 - l + u)^2*w^3 - 807525*2^(6 - 3*w)*(1 - l + u)^3*w^3 + 328965*2^(8 - 4*w)*(1 - l + u)^4*w^3 - 1698975*2^(5 - 5*w)*(1 - l + u)^5*w^3 + 305775*2^(7 - 6*w)*(1 - l + u)^6*w^3 - 8415*2^(13 - 7*w)*(1 - l + u)^7*w^3 + 6171*2^(13 - 8*w)*(1 - l + u)^8*w^3) + 3*2^(14 - 17*w)*(8552671417 - 250376151*2^(3 - w)*(1 - l + u) - 240393407*2^(10 - 2*w)*(1 - l + u)^2 + 1979097753*2^(9 - 3*w)*(1 - l + u)^3 - 29172639621*2^(6 - 4*w)*(1 - l + u)^4 + 1722588261*2^(10 - 5*w)*(1 - l + u)^5 - 72963945*2^(13 - 6*w)*(1 - l + u)^6 - 5600265*2^(16 - 7*w)*(1 - l + u)^7 + 7813017*2^(15 - 8*w)*(1 - l + u)^8 + 247077*2^(20 - 9*w)*(1 - l + u)^9 - 557001*2^(19 - 10*w)*(1 - l + u)^10 + 3213*2^(24 - 11*w)*(1 - l + u)^11 + 513*2^(25 - 12*w)*(1 - l + u)^12 - 23611982793*w - 3456641209*2^(3 - w)*(1 - l + u)*w + 3622198935*2^(8 - 2*w)*(1 - l + u)^2*w - 3490306437*2^(10 - 3*w)*(1 - l + u)^3*w + 794636205*2^(13 - 4*w)*(1 - l + u)^4*w - 1579794255*2^(12 - 5*w)*(1 - l + u)^5*w + 413642793*2^(13 - 6*w)*(1 - l + u)^6*w - 1540269*2^(19 - 7*w)*(1 - l + u)^7*w + 1157679*2^(18 - 8*w)*(1 - l + u)^8*w - 17865*2^(24 - 9*w)*(1 - l + u)^9*w + 567*2^(24 - 10*w)*(1 - l + u)^10*w + 243*2^(28 - 11*w)*(1 - l + u)^11*w + 21703312224*w^2 + 237313413*2^(8 - w)*(1 - l + u)*w^2 - 1097614971*2^(10 - 2*w)*(1 - l + u)^2*w^2 + 127610889*2^(15 - 3*w)*(1 - l + u)^3*w^2 - 1871702991*2^(12 - 4*w)*(1 - l + u)^4*w^2 + 122005953*2^(16 - 5*w)*(1 - l + u)^5*w^2 - 4651893*2^(20 - 6*w)*(1 - l + u)^6*w^2 + 104409*2^(24 - 7*w)*(1 - l + u)^7*w^2 - 94257*2^(22 - 8*w)*(1 - l + u)^8*w^2 - 27*2^(28 - 9*w)*(1 - l + u)^9*w^2 + 459*2^(27 - 10*w)*(1 - l + u)^10*w^2 - 6637460736*w^3 - 15194097*2^(11 - w)*(1 - l + u)*w^3 + 6748659*2^(16 - 2*w)*(1 - l + u)^2*w^3 - 12323997*2^(17 - 3*w)*(1 - l + u)^3*w^3 + 45846567*2^(16 - 4*w)*(1 - l + u)^4*w^3 - 1560249*2^(21 - 5*w)*(1 - l + u)^5*w^3 + 517941*2^(22 - 6*w)*(1 - l + u)^6*w^3 - 12987*2^(26 - 7*w)*(1 - l + u)^7*w^3 + 2727*2^(26 - 8*w)*(1 - l + u)^8*w^3) + 3*2^(16 - 19*w)*(-39918032108 + 2837365611*2^(7 - w)*(1 - l + u) - 339376083117*2^(2 - 2*w)*(1 - l + u)^2 + 5388278031*2^(9 - 3*w)*(1 - l + u)^3 - 6575505315*2^(9 - 4*w)*(1 - l + u)^4 + 155737791*2^(14 - 5*w)*(1 - l + u)^5 - 69515631*2^(14 - 6*w)*(1 - l + u)^6 + 371331*2^(18 - 7*w)*(1 - l + u)^7 + 2452059*2^(17 - 8*w)*(1 - l + u)^8 - 119853*2^(21 - 9*w)*(1 - l + u)^9 + 3267*2^(24 - 10*w)*(1 - l + u)^10 + 27*2^(28 - 11*w)*(1 - l + u)^11 + 126095420760*w - 2213516097*2^(9 - w)*(1 - l + u)*w + 16403008659*2^(8 - 2*w)*(1 - l + u)^2*w - 1037976921*2^(13 - 3*w)*(1 - l + u)^3*w + 5079450285*2^(11 - 4*w)*(1 - l + u)^4*w - 241198047*2^(15 - 5*w)*(1 - l + u)^5*w + 53222319*2^(16 - 6*w)*(1 - l + u)^6*w - 120177*2^(22 - 7*w)*(1 - l + u)^7*w - 126765*2^(21 - 8*w)*(1 - l + u)^8*w + 405*2^(27 - 9*w)*(1 - l + u)^9*w + 297*2^(27 - 10*w)*(1 - l + u)^10*w - 132706158336*w^2 + 287487219*2^(12 - w)*(1 - l + u)*w^2 - 4207841001*2^(10 - 2*w)*(1 - l + u)^2*w^2 + 65731005*2^(17 - 3*w)*(1 - l + u)^3*w^2 - 317569383*2^(15 - 4*w)*(1 - l + u)^4*w^2 + 467721*2^(24 - 5*w)*(1 - l + u)^5*w^2 - 867699*2^(22 - 6*w)*(1 - l + u)^6*w^2 + 14931*2^(26 - 7*w)*(1 - l + u)^7*w^2 - 6723*2^(25 - 8*w)*(1 - l + u)^8*w^2 + 135*2^(29 - 9*w)*(1 - l + u)^9*w^2 + 46527399936*w^3 - 12438423*2^(15 - w)*(1 - l + u)*w^3 + 44836389*2^(15 - 2*w)*(1 - l + u)^2*w^3 - 343215*2^(23 - 3*w)*(1 - l + u)^3*w^3 + 3216105*2^(20 - 4*w)*(1 - l + u)^4*w^3 - 144207*2^(24 - 5*w)*(1 - l + u)^5*w^3 + 7749*2^(27 - 6*w)*(1 - l + u)^6*w^3 - 243*2^(30 - 7*w)*(1 - l + u)^7*w^3 + 81*2^(29 - 8*w)*(1 - l + u)^8*w^3) + (5238000 - 111375*2^(8 - w)*(1 - l + u) + 591975*2^(6 - 2*w)*(1 - l + u)^2 - 378675*2^(7 - 3*w)*(1 - l + u)^3 + 2151225*2^(6 - 4*w)*(1 - l + u)^4 - 120825*2^(10 - 5*w)*(1 - l + u)^5 - 253755*2^(6 - 6*w)*(1 - l + u)^6 - 76545*2^(9 - 7*w)*(1 - l + u)^7 + 122355*2^(10 - 8*w)*(1 - l + u)^8 - 495*2^(18 - 9*w)*(1 - l + u)^9 + 199371*2^(10 - 10*w)*(1 - l + u)^10 - 5715*2^(14 - 11*w)*(1 - l + u)^11 - 3537*2^(14 - 12*w)*(1 - l + u)^12 + 27*2^(18 - 13*w)*(1 - l + u)^13 + 567*2^(14 - 14*w)*(1 - l + u)^14 + 63*2^(17 - 15*w)*(1 - l + u)^15 + 9*2^(18 - 16*w)*(1 - l + u)^16 + 2^(18 - 18*w)*(1 - l + u)^18 - 15714000*w + 332775*2^(8 - w)*(1 - l + u)*w - 1716525*2^(6 - 2*w)*(1 - l + u)^2*w + 1060425*2^(7 - 3*w)*(1 - l + u)^3*w - 6159375*2^(6 - 4*w)*(1 - l + u)^4*w + 369945*2^(10 - 5*w)*(1 - l + u)^5*w - 427455*2^(6 - 6*w)*(1 - l + u)^6*w + 306315*2^(9 - 7*w)*(1 - l + u)^7*w - 151695*2^(11 - 8*w)*(1 - l + u)^8*w + 6963*2^(15 - 9*w)*(1 - l + u)^9*w - 117027*2^(11 - 10*w)*(1 - l + u)^10*w + 27*2^(21 - 11*w)*(1 - l + u)^11*w + 1737*2^(14 - 12*w)*(1 - l + u)^12*w + 99*2^(18 - 13*w)*(1 - l + u)^13*w - 135*2^(14 - 14*w)*(1 - l + u)^14*w + 33*2^(17 - 15*w)*(1 - l + u)^15*w + 15714000*w^2 - 331425*2^(8 - w)*(1 - l + u)*w^2 + 1657125*2^(6 - 2*w)*(1 - l + u)^2*w^2 - 984825*2^(7 - 3*w)*(1 - l + u)^3*w^2 + 5865075*2^(6 - 4*w)*(1 - l + u)^4*w^2 - 372375*2^(10 - 5*w)*(1 - l + u)^5*w^2 + 1120815*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 296595*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 246375*2^(10 - 8*w)*(1 - l + u)^8*w^2 - 2277*2^(16 - 9*w)*(1 - l + u)^9*w^2 + 75771*2^(10 - 10*w)*(1 - l + u)^10*w^2 - 1485*2^(14 - 11*w)*(1 - l + u)^11*w^2 + 363*2^(16 - 12*w)*(1 - l + u)^12*w^2 - 5238000*w^3 + 110025*2^(8 - w)*(1 - l + u)*w^3 - 532575*2^(6 - 2*w)*(1 - l + u)^2*w^3 + 303075*2^(7 - 3*w)*(1 - l + u)^3*w^3 - 1856925*2^(6 - 4*w)*(1 - l + u)^4*w^3 + 123255*2^(10 - 5*w)*(1 - l + u)^5*w^3 - 439605*2^(6 - 6*w)*(1 - l + u)^6*w^3 + 66825*2^(9 - 7*w)*(1 - l + u)^7*w^3 - 16335*2^(12 - 8*w)*(1 - l + u)^8*w^3 + 1331*2^(15 - 9*w)*(1 - l + u)^9*w^3)/2^(3*w) + 3*2^(5 - 6*w)*(1335825 + 2949525*2^(3 - w)*(1 - l + u) - 2727225*2^(5 - 2*w)*(1 - l + u)^2 + 8052165*2^(3 - 3*w)*(1 - l + u)^3 - 3412695*2^(4 - 4*w)*(1 - l + u)^4 + 5535315*2^(6 - 5*w)*(1 - l + u)^5 - 1149045*2^(9 - 6*w)*(1 - l + u)^6 + 1402797*2^(8 - 7*w)*(1 - l + u)^7 + 421525*2^(8 - 8*w)*(1 - l + u)^8 - 549549*2^(10 - 9*w)*(1 - l + u)^9 + 47623*2^(13 - 10*w)*(1 - l + u)^10 + 112617*2^(11 - 11*w)*(1 - l + u)^11 - 39709*2^(12 - 12*w)*(1 - l + u)^12 - 9131*2^(14 - 13*w)*(1 - l + u)^13 + 321*2^(17 - 14*w)*(1 - l + u)^14 + 113*2^(17 - 15*w)*(1 - l + u)^15 + 123*2^(17 - 16*w)*(1 - l + u)^16 + 3*2^(18 - 17*w)*(1 - l + u)^17 - 4025475*w - 8573625*2^(3 - w)*(1 - l + u)*w + 3874455*2^(6 - 2*w)*(1 - l + u)^2*w - 19907775*2^(3 - 3*w)*(1 - l + u)^3*w + 5920575*2^(4 - 4*w)*(1 - l + u)^4*w - 14302365*2^(6 - 5*w)*(1 - l + u)^5*w + 2894601*2^(9 - 6*w)*(1 - l + u)^6*w - 1278331*2^(9 - 7*w)*(1 - l + u)^7*w - 1593837*2^(8 - 8*w)*(1 - l + u)^8*w + 11995*2^(16 - 9*w)*(1 - l + u)^9*w - 17809*2^(14 - 10*w)*(1 - l + u)^10*w - 78729*2^(11 - 11*w)*(1 - l + u)^11*w - 33231*2^(12 - 12*w)*(1 - l + u)^12*w + 10155*2^(14 - 13*w)*(1 - l + u)^13*w + 33*2^(17 - 14*w)*(1 - l + u)^14*w + 69*2^(18 - 15*w)*(1 - l + u)^15*w + 4043475*w^2 + 8298675*2^(3 - w)*(1 - l + u)*w^2 - 7311225*2^(5 - 2*w)*(1 - l + u)^2*w^2 + 15541935*2^(3 - 3*w)*(1 - l + u)^3*w^2 - 1791705*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 12432345*2^(6 - 5*w)*(1 - l + u)^5*w^2 - 2465781*2^(9 - 6*w)*(1 - l + u)^6*w^2 + 1043125*2^(8 - 7*w)*(1 - l + u)^7*w^2 + 346941*2^(11 - 8*w)*(1 - l + u)^8*w^2 - 582375*2^(10 - 9*w)*(1 - l + u)^9*w^2 + 6675*2^(14 - 10*w)*(1 - l + u)^10*w^2 - 3021*2^(15 - 11*w)*(1 - l + u)^11*w^2 + 1149*2^(17 - 12*w)*(1 - l + u)^12*w^2 - 1353825*w^3 - 2674575*2^(3 - w)*(1 - l + u)*w^3 + 572385*2^(7 - 2*w)*(1 - l + u)^2*w^3 - 3686325*2^(3 - 3*w)*(1 - l + u)^3*w^3 - 716175*2^(4 - 4*w)*(1 - l + u)^4*w^3 - 3665295*2^(6 - 5*w)*(1 - l + u)^5*w^3 + 719945*2^(9 - 6*w)*(1 - l + u)^6*w^3 + 24981*2^(10 - 7*w)*(1 - l + u)^7*w^3 - 45537*2^(13 - 8*w)*(1 - l + u)^8*w^3 + 1749*2^(17 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(13 - 14*w)*(-1092377341 + 3282387691*2^(2 - w)*(1 - l + u) - 1887779839*2^(5 - 2*w)*(1 - l + u)^2 + 16705685721*2^(3 - 3*w)*(1 - l + u)^3 - 8798369783*2^(4 - 4*w)*(1 - l + u)^4 + 786916067*2^(6 - 5*w)*(1 - l + u)^5 - 34781001*2^(9 - 6*w)*(1 - l + u)^6 + 215189967*2^(9 - 7*w)*(1 - l + u)^7 - 121227195*2^(10 - 8*w)*(1 - l + u)^8 - 15368067*2^(11 - 9*w)*(1 - l + u)^9 + 2108319*2^(16 - 10*w)*(1 - l + u)^10 - 294309*2^(18 - 11*w)*(1 - l + u)^11 - 1089*2^(20 - 12*w)*(1 - l + u)^12 + 7893*2^(20 - 13*w)*(1 - l + u)^13 + 27*2^(23 - 14*w)*(1 - l + u)^14 + 3241857133*w - 154967687*2^(8 - w)*(1 - l + u)*w + 2933112979*2^(6 - 2*w)*(1 - l + u)^2*w - 54331245753*2^(3 - 3*w)*(1 - l + u)^3*w + 31241386619*2^(4 - 4*w)*(1 - l + u)^4*w - 3284218947*2^(6 - 5*w)*(1 - l + u)^5*w - 127335249*2^(9 - 6*w)*(1 - l + u)^6*w + 31530471*2^(10 - 7*w)*(1 - l + u)^7*w + 2732607*2^(12 - 8*w)*(1 - l + u)^8*w + 5922345*2^(14 - 9*w)*(1 - l + u)^9*w - 401931*2^(18 - 10*w)*(1 - l + u)^10*w + 1953*2^(22 - 11*w)*(1 - l + u)^11*w + 3609*2^(22 - 12*w)*(1 - l + u)^12*w + 27*2^(24 - 13*w)*(1 - l + u)^13*w - 3213508944*w^2 + 9988534265*2^(2 - w)*(1 - l + u)*w^2 - 3026087571*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 3629313063*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 1105002387*2^(9 - 4*w)*(1 - l + u)^4*w^2 + 31453461*2^(13 - 5*w)*(1 - l + u)^5*w^2 + 4517325*2^(15 - 6*w)*(1 - l + u)^6*w^2 - 3795165*2^(16 - 7*w)*(1 - l + u)^7*w^2 + 563409*2^(18 - 8*w)*(1 - l + u)^8*w^2 - 225693*2^(18 - 9*w)*(1 - l + u)^9*w^2 + 81*2^(22 - 10*w)*(1 - l + u)^10*w^2 + 189*2^(26 - 11*w)*(1 - l + u)^11*w^2 + 1063654512*w^3 - 209500281*2^(6 - w)*(1 - l + u)*w^3 + 64801863*2^(10 - 2*w)*(1 - l + u)^2*w^3 - 19985109*2^(13 - 3*w)*(1 - l + u)^3*w^3 + 25362837*2^(13 - 4*w)*(1 - l + u)^4*w^3 - 3061431*2^(15 - 5*w)*(1 - l + u)^5*w^3 - 127917*2^(19 - 6*w)*(1 - l + u)^6*w^3 + 247077*2^(19 - 7*w)*(1 - l + u)^7*w^3 - 79623*2^(20 - 8*w)*(1 - l + u)^8*w^3 + 5805*2^(22 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(17 - 18*w)*(3229254278 - 11225092391*2^(2 - w)*(1 - l + u) + 6718282845*2^(5 - 2*w)*(1 - l + u)^2 - 16185143491*2^(5 - 3*w)*(1 - l + u)^3 + 5504187819*2^(7 - 4*w)*(1 - l + u)^4 - 2140447557*2^(8 - 5*w)*(1 - l + u)^5 + 57885999*2^(12 - 6*w)*(1 - l + u)^6 - 5116185*2^(14 - 7*w)*(1 - l + u)^7 + 863379*2^(16 - 8*w)*(1 - l + u)^8 - 109791*2^(16 - 9*w)*(1 - l + u)^9 - 52245*2^(19 - 10*w)*(1 - l + u)^10 + 1485*2^(23 - 11*w)*(1 - l + u)^11 + 9*2^(25 - 12*w)*(1 - l + u)^12 - 11146458557*w + 37299679479*2^(2 - w)*(1 - l + u)*w - 22003865679*2^(5 - 2*w)*(1 - l + u)^2*w + 26504927607*2^(6 - 3*w)*(1 - l + u)^3*w - 9244110339*2^(8 - 4*w)*(1 - l + u)^4*w + 1951502427*2^(10 - 5*w)*(1 - l + u)^5*w - 62483157*2^(14 - 6*w)*(1 - l + u)^6*w + 542403*2^(19 - 7*w)*(1 - l + u)^7*w + 146907*2^(18 - 8*w)*(1 - l + u)^8*w - 95931*2^(20 - 9*w)*(1 - l + u)^9*w + 2241*2^(24 - 10*w)*(1 - l + u)^10*w + 27*2^(26 - 11*w)*(1 - l + u)^11*w + 12639034560*w^2 - 1285601067*2^(7 - w)*(1 - l + u)*w^2 + 375331995*2^(11 - 2*w)*(1 - l + u)^2*w^2 - 903233331*2^(11 - 3*w)*(1 - l + u)^3*w^2 + 159030531*2^(14 - 4*w)*(1 - l + u)^4*w^2 - 137638557*2^(14 - 5*w)*(1 - l + u)^5*w^2 + 2285955*2^(19 - 6*w)*(1 - l + u)^6*w^2 - 83295*2^(22 - 7*w)*(1 - l + u)^7*w^2 + 189*2^(26 - 8*w)*(1 - l + u)^8*w^2 + 1053*2^(24 - 9*w)*(1 - l + u)^9*w^2 + 27*2^(27 - 10*w)*(1 - l + u)^10*w^2 - 4718506752*w^3 + 58797747*2^(10 - w)*(1 - l + u)*w^3 - 34098633*2^(13 - 2*w)*(1 - l + u)^2*w^3 + 41008455*2^(14 - 3*w)*(1 - l + u)^3*w^3 - 7249077*2^(17 - 4*w)*(1 - l + u)^4*w^3 + 1576611*2^(19 - 5*w)*(1 - l + u)^5*w^3 - 104517*2^(22 - 6*w)*(1 - l + u)^6*w^3 + 7695*2^(24 - 7*w)*(1 - l + u)^7*w^3 - 243*2^(26 - 8*w)*(1 - l + u)^8*w^3 + 9*2^(28 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(14 - 16*w)*(-8037994768 + 24885877193*2^(1 - w)*(1 - l + u) - 12323703957*2^(3 - 2*w)*(1 - l + u)^2 - 48111701*2^(6 - 3*w)*(1 - l + u)^3 + 307839159*2^(10 - 4*w)*(1 - l + u)^4 - 4380319557*2^(7 - 5*w)*(1 - l + u)^5 + 56269299*2^(13 - 6*w)*(1 - l + u)^6 - 9469911*2^(13 - 7*w)*(1 - l + u)^7 - 36564507*2^(13 - 8*w)*(1 - l + u)^8 + 1353609*2^(18 - 9*w)*(1 - l + u)^9 - 219285*2^(19 - 10*w)*(1 - l + u)^10 - 91755*2^(19 - 11*w)*(1 - l + u)^11 + 6885*2^(22 - 12*w)*(1 - l + u)^12 + 27*2^(25 - 13*w)*(1 - l + u)^13 + 24407522320*w - 74374464153*2^(1 - w)*(1 - l + u)*w + 33592467621*2^(3 - 2*w)*(1 - l + u)^2*w + 2450070297*2^(6 - 3*w)*(1 - l + u)^3*w - 2547516771*2^(9 - 4*w)*(1 - l + u)^4*w + 4087886529*2^(9 - 5*w)*(1 - l + u)^5*w - 742494141*2^(11 - 6*w)*(1 - l + u)^6*w + 30733623*2^(13 - 7*w)*(1 - l + u)^7*w + 1538487*2^(18 - 8*w)*(1 - l + u)^8*w - 24543*2^(23 - 9*w)*(1 - l + u)^9*w - 20025*2^(22 - 10*w)*(1 - l + u)^10*w + 3699*2^(24 - 11*w)*(1 - l + u)^11*w + 27*2^(27 - 12*w)*(1 - l + u)^12*w - 24681325392*w^2 + 2319590763*2^(6 - w)*(1 - l + u)*w^2 - 957099921*2^(8 - 2*w)*(1 - l + u)^2*w^2 - 287968509*2^(10 - 3*w)*(1 - l + u)^3*w^2 + 204938397*2^(13 - 4*w)*(1 - l + u)^4*w^2 - 325986651*2^(13 - 5*w)*(1 - l + u)^5*w^2 + 3995361*2^(19 - 6*w)*(1 - l + u)^6*w^2 - 1413297*2^(19 - 7*w)*(1 - l + u)^7*w^2 + 27513*2^(20 - 8*w)*(1 - l + u)^8*w^2 - 1413*2^(23 - 9*w)*(1 - l + u)^9*w^2 + 513*2^(26 - 10*w)*(1 - l + u)^10*w^2 + 27*2^(27 - 11*w)*(1 - l + u)^11*w^2 + 8311394304*w^3 - 96581733*2^(9 - w)*(1 - l + u)*w^3 + 36406935*2^(11 - 2*w)*(1 - l + u)^2*w^3 + 2173347*2^(16 - 3*w)*(1 - l + u)^3*w^3 - 5264991*2^(17 - 4*w)*(1 - l + u)^4*w^3 + 4280499*2^(18 - 5*w)*(1 - l + u)^5*w^3 - 929925*2^(20 - 6*w)*(1 - l + u)^6*w^3 + 115209*2^(22 - 7*w)*(1 - l + u)^7*w^3 - 4239*2^(25 - 8*w)*(1 - l + u)^8*w^3 + 27*2^(30 - 9*w)*(1 - l + u)^9*w^3) + 3*2^(2 - 5*w)*(1285200 - 386325*2^(5 - w)*(1 - l + u) + 4333275*2^(5 - 2*w)*(1 - l + u)^2 - 677025*2^(9 - 3*w)*(1 - l + u)^3 + 18728445*2^(4 - 4*w)*(1 - l + u)^4 - 1691085*2^(7 - 5*w)*(1 - l + u)^5 + 1785*2^(18 - 6*w)*(1 - l + u)^6 - 80565*2^(13 - 7*w)*(1 - l + u)^7 + 3913345*2^(8 - 8*w)*(1 - l + u)^8 - 206487*2^(13 - 9*w)*(1 - l + u)^9 + 166835*2^(13 - 10*w)*(1 - l + u)^10 - 1163*2^(17 - 11*w)*(1 - l + u)^11 - 15813*2^(12 - 12*w)*(1 - l + u)^12 - 7469*2^(15 - 13*w)*(1 - l + u)^13 + 265*2^(18 - 14*w)*(1 - l + u)^14 + 9*2^(21 - 15*w)*(1 - l + u)^15 + 327*2^(16 - 16*w)*(1 - l + u)^16 + 3*2^(20 - 17*w)*(1 - l + u)^17 - 3841200*w + 1162575*2^(5 - w)*(1 - l + u)*w - 13091175*2^(5 - 2*w)*(1 - l + u)^2*w + 1994955*2^(9 - 3*w)*(1 - l + u)^3*w - 51132135*2^(4 - 4*w)*(1 - l + u)^4*w + 4561695*2^(7 - 5*w)*(1 - l + u)^5*w - 1463715*2^(10 - 6*w)*(1 - l + u)^6*w + 14843*2^(17 - 7*w)*(1 - l + u)^7*w - 3824753*2^(9 - 8*w)*(1 - l + u)^8*w + 308013*2^(13 - 9*w)*(1 - l + u)^9*w - 183745*2^(13 - 10*w)*(1 - l + u)^10*w - 851*2^(17 - 11*w)*(1 - l + u)^11*w - 13419*2^(12 - 12*w)*(1 - l + u)^12*w + 6365*2^(15 - 13*w)*(1 - l + u)^13*w + 183*2^(18 - 14*w)*(1 - l + u)^14*w + 3*2^(20 - 16*w)*(1 - l + u)^16*w + 3826800*w^2 - 1166175*2^(5 - w)*(1 - l + u)*w^2 + 13182525*2^(5 - 2*w)*(1 - l + u)^2*w^2 - 1959915*2^(9 - 3*w)*(1 - l + u)^3*w^2 + 45927255*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 3771735*2^(7 - 5*w)*(1 - l + u)^5*w^2 + 366645*2^(12 - 6*w)*(1 - l + u)^6*w^2 - 225611*2^(13 - 7*w)*(1 - l + u)^7*w^2 + 4388593*2^(8 - 8*w)*(1 - l + u)^8*w^2 - 53295*2^(14 - 9*w)*(1 - l + u)^9*w^2 + 151*2^(21 - 10*w)*(1 - l + u)^10*w^2 + 33*2^(22 - 11*w)*(1 - l + u)^11*w^2 - 135*2^(17 - 12*w)*(1 - l + u)^12*w^2 + 33*2^(20 - 13*w)*(1 - l + u)^13*w^2 - 1270800*w^3 + 389925*2^(5 - w)*(1 - l + u)*w^3 - 4424625*2^(5 - 2*w)*(1 - l + u)^2*w^3 + 641985*2^(9 - 3*w)*(1 - l + u)^3*w^3 - 13523565*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 901125*2^(7 - 5*w)*(1 - l + u)^5*w^3 - 459825*2^(10 - 6*w)*(1 - l + u)^6*w^3 + 8569*2^(16 - 7*w)*(1 - l + u)^7*w^3 - 34581*2^(12 - 8*w)*(1 - l + u)^8*w^3 - 1485*2^(16 - 9*w)*(1 - l + u)^9*w^3 + 363*2^(18 - 10*w)*(1 - l + u)^10*w^3) + 3*2^(6 - 8*w)*(27921120 - 192235785*2^(1 - w)*(1 - l + u) + 146348115*2^(3 - 2*w)*(1 - l + u)^2 - 13491015*2^(6 - 3*w)*(1 - l + u)^3 + 77041*2^(9 - 4*w)*(1 - l + u)^4 - 56431243*2^(6 - 5*w)*(1 - l + u)^5 + 4760571*2^(11 - 6*w)*(1 - l + u)^6 - 764611*2^(14 - 7*w)*(1 - l + u)^7 + 3891723*2^(12 - 8*w)*(1 - l + u)^8 - 35249929*2^(9 - 9*w)*(1 - l + u)^9 + 3975129*2^(11 - 10*w)*(1 - l + u)^10 + 210091*2^(14 - 11*w)*(1 - l + u)^11 - 4203*2^(19 - 12*w)*(1 - l + u)^12 - 43053*2^(15 - 13*w)*(1 - l + u)^13 - 3*2^(24 - 14*w)*(1 - l + u)^14 + 261*2^(21 - 15*w)*(1 - l + u)^15 + 39*2^(20 - 16*w)*(1 - l + u)^16 - 84854160*w + 573015435*2^(1 - w)*(1 - l + u)*w - 433423485*2^(3 - 2*w)*(1 - l + u)^2*w + 41032815*2^(6 - 3*w)*(1 - l + u)^3*w - 1411277*2^(9 - 4*w)*(1 - l + u)^4*w + 98959775*2^(7 - 5*w)*(1 - l + u)^5*w - 62375635*2^(9 - 6*w)*(1 - l + u)^6*w + 17381609*2^(11 - 7*w)*(1 - l + u)^7*w - 7400037*2^(12 - 8*w)*(1 - l + u)^8*w + 45348249*2^(9 - 9*w)*(1 - l + u)^9*w - 2962249*2^(11 - 10*w)*(1 - l + u)^10*w - 264975*2^(14 - 11*w)*(1 - l + u)^11*w + 2757*2^(17 - 12*w)*(1 - l + u)^12*w + 5091*2^(17 - 13*w)*(1 - l + u)^13*w + 1161*2^(19 - 14*w)*(1 - l + u)^14*w + 21*2^(21 - 15*w)*(1 - l + u)^15*w + 85836960*w^2 - 569089275*2^(1 - w)*(1 - l + u)*w^2 + 428389185*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 42143025*2^(6 - 3*w)*(1 - l + u)^3*w^2 + 2762333*2^(9 - 4*w)*(1 - l + u)^4*w^2 - 226000939*2^(6 - 5*w)*(1 - l + u)^5*w^2 + 66366339*2^(9 - 6*w)*(1 - l + u)^6*w^2 - 16245209*2^(11 - 7*w)*(1 - l + u)^7*w^2 + 4367763*2^(12 - 8*w)*(1 - l + u)^8*w^2 - 374601*2^(14 - 9*w)*(1 - l + u)^9*w^2 - 11445*2^(16 - 10*w)*(1 - l + u)^10*w^2 + 4941*2^(18 - 11*w)*(1 - l + u)^11*w^2 + 33*2^(21 - 12*w)*(1 - l + u)^12*w^2 + 171*2^(21 - 13*w)*(1 - l + u)^13*w^2 - 28903920*w^3 + 188309625*2^(1 - w)*(1 - l + u)*w^3 - 141313815*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 14601225*2^(6 - 3*w)*(1 - l + u)^3*w^3 - 357199*2^(11 - 4*w)*(1 - l + u)^4*w^3 + 10578399*2^(9 - 5*w)*(1 - l + u)^5*w^3 - 5773131*2^(11 - 6*w)*(1 - l + u)^6*w^3 + 1233969*2^(13 - 7*w)*(1 - l + u)^7*w^3 - 9747*2^(18 - 8*w)*(1 - l + u)^8*w^3 - 12525*2^(17 - 9*w)*(1 - l + u)^9*w^3 + 2439*2^(19 - 10*w)*(1 - l + u)^10*w^3) + 3*2^(8 - 11*w)*(-235860420 + 30210075*2^(7 - w)*(1 - l + u) - 6708323243*2^(2 - 2*w)*(1 - l + u)^2 + 1130357311*2^(6 - 3*w)*(1 - l + u)^3 - 892435665*2^(6 - 4*w)*(1 - l + u)^4 - 90728577*2^(10 - 5*w)*(1 - l + u)^5 + 3791970879*2^(6 - 6*w)*(1 - l + u)^6 - 486162569*2^(9 - 7*w)*(1 - l + u)^7 + 12875739*2^(14 - 8*w)*(1 - l + u)^8 - 5332683*2^(15 - 9*w)*(1 - l + u)^9 + 16355565*2^(11 - 10*w)*(1 - l + u)^10 + 807081*2^(17 - 11*w)*(1 - l + u)^11 - 570879*2^(17 - 12*w)*(1 - l + u)^12 - 1371*2^(22 - 13*w)*(1 - l + u)^13 + 2763*2^(22 - 14*w)*(1 - l + u)^14 + 9*2^(26 - 15*w)*(1 - l + u)^15 + 719540880*w - 86336449*2^(7 - w)*(1 - l + u)*w + 9521907715*2^(3 - 2*w)*(1 - l + u)^2*w - 398131131*2^(9 - 3*w)*(1 - l + u)^3*w + 2379820629*2^(6 - 4*w)*(1 - l + u)^4*w + 283371183*2^(10 - 5*w)*(1 - l + u)^5*w - 11209172367*2^(6 - 6*w)*(1 - l + u)^6*w + 1289453097*2^(9 - 7*w)*(1 - l + u)^7*w - 178137387*2^(11 - 8*w)*(1 - l + u)^8*w + 64065*2^(21 - 9*w)*(1 - l + u)^9*w + 951345*2^(16 - 10*w)*(1 - l + u)^10*w - 107307*2^(20 - 11*w)*(1 - l + u)^11*w + 29031*2^(19 - 12*w)*(1 - l + u)^12*w + 2079*2^(23 - 13*w)*(1 - l + u)^13*w + 45*2^(24 - 14*w)*(1 - l + u)^14*w - 729006180*w^2 + 82064033*2^(7 - w)*(1 - l + u)*w^2 - 18006680795*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 2993077209*2^(6 - 3*w)*(1 - l + u)^3*w^2 - 66152527*2^(11 - 4*w)*(1 - l + u)^4*w^2 - 36371571*2^(13 - 5*w)*(1 - l + u)^5*w^2 + 85976499*2^(13 - 6*w)*(1 - l + u)^6*w^2 - 572619*2^(20 - 7*w)*(1 - l + u)^7*w^2 + 3502611*2^(16 - 8*w)*(1 - l + u)^8*w^2 - 2235*2^(20 - 9*w)*(1 - l + u)^9*w^2 - 186651*2^(18 - 10*w)*(1 - l + u)^10*w^2 + 81*2^(27 - 11*w)*(1 - l + u)^11*w^2 + 1395*2^(23 - 12*w)*(1 - l + u)^12*w^2 + 245325720*w^3 - 25938559*2^(7 - w)*(1 - l + u)*w^3 + 11078391*2^(11 - 2*w)*(1 - l + u)^2*w^3 - 29337357*2^(11 - 3*w)*(1 - l + u)^3*w^3 + 19650987*2^(11 - 4*w)*(1 - l + u)^4*w^3 + 3107079*2^(15 - 5*w)*(1 - l + u)^5*w^3 - 7148001*2^(15 - 6*w)*(1 - l + u)^6*w^3 + 741735*2^(18 - 7*w)*(1 - l + u)^7*w^3 - 116001*2^(19 - 8*w)*(1 - l + u)^8*w^3 - 801*2^(24 - 9*w)*(1 - l + u)^9*w^3 + 1701*2^(23 - 10*w)*(1 - l + u)^10*w^3) + 3*2^(10 - 13*w)*(16858069 - 236016757*2^(5 - w)*(1 - l + u) + 2545895035*2^(5 - 2*w)*(1 - l + u)^2 - 614157391*2^(9 - 3*w)*(1 - l + u)^3 + 34812371481*2^(4 - 4*w)*(1 - l + u)^4 - 3033523023*2^(7 - 5*w)*(1 - l + u)^5 - 141465711*2^(10 - 6*w)*(1 - l + u)^6 + 39968463*2^(13 - 7*w)*(1 - l + u)^7 + 283507929*2^(9 - 8*w)*(1 - l + u)^8 - 79517991*2^(13 - 9*w)*(1 - l + u)^9 + 2133165*2^(18 - 10*w)*(1 - l + u)^10 - 98415*2^(20 - 11*w)*(1 - l + u)^11 - 50337*2^(21 - 12*w)*(1 - l + u)^12 + 2421*2^(24 - 13*w)*(1 - l + u)^13 + 531*2^(23 - 14*w)*(1 - l + u)^14 - 265312778*w + 716062125*2^(5 - w)*(1 - l + u)*w - 7613423241*2^(5 - 2*w)*(1 - l + u)^2*w + 1875371013*2^(9 - 3*w)*(1 - l + u)^3*w - 112270486569*2^(4 - 4*w)*(1 - l + u)^4*w + 12065209887*2^(7 - 5*w)*(1 - l + u)^5*w - 202572249*2^(10 - 6*w)*(1 - l + u)^6*w - 12904605*2^(15 - 7*w)*(1 - l + u)^7*w - 34880733*2^(13 - 8*w)*(1 - l + u)^8*w + 12857517*2^(16 - 9*w)*(1 - l + u)^9*w - 3187269*2^(17 - 10*w)*(1 - l + u)^10*w - 19827*2^(22 - 11*w)*(1 - l + u)^11*w + 19359*2^(22 - 12*w)*(1 - l + u)^12*w + 45*2^(27 - 13*w)*(1 - l + u)^13*w + 486276229*w^2 - 91199709*2^(8 - w)*(1 - l + u)*w^2 + 1908208757*2^(7 - 2*w)*(1 - l + u)^2*w^2 - 479181237*2^(11 - 3*w)*(1 - l + u)^3*w^2 + 3752604891*2^(9 - 4*w)*(1 - l + u)^4*w^2 - 457170465*2^(12 - 5*w)*(1 - l + u)^5*w^2 + 2482299*2^(18 - 6*w)*(1 - l + u)^6*w^2 + 13275*2^(24 - 7*w)*(1 - l + u)^7*w^2 - 853857*2^(16 - 8*w)*(1 - l + u)^8*w^2 - 176229*2^(20 - 9*w)*(1 - l + u)^9*w^2 + 639*2^(26 - 10*w)*(1 - l + u)^10*w^2 + 243*2^(27 - 11*w)*(1 - l + u)^11*w^2 + 63*2^(26 - 12*w)*(1 - l + u)^12*w^2 - 238239120*w^3 + 3900447*2^(11 - w)*(1 - l + u)*w^3 - 160261953*2^(9 - 2*w)*(1 - l + u)^2*w^3 + 20458539*2^(14 - 3*w)*(1 - l + u)^3*w^3 - 83058489*2^(13 - 4*w)*(1 - l + u)^4*w^3 + 10933587*2^(16 - 5*w)*(1 - l + u)^5*w^3 - 1210419*2^(18 - 6*w)*(1 - l + u)^6*w^3 - 31527*2^(21 - 7*w)*(1 - l + u)^7*w^3 + 124443*2^(20 - 8*w)*(1 - l + u)^8*w^3 - 3663*2^(24 - 9*w)*(1 - l + u)^9*w^3 + 621*2^(25 - 10*w)*(1 - l + u)^10*w^3) + 2^(12 - 15*w)*(35789421892 - 4730709309*2^(6 - w)*(1 - l + u) + 247484648421*2^(2 - 2*w)*(1 - l + u)^2 - 47017270299*2^(5 - 3*w)*(1 - l + u)^3 + 6753909459*2^(7 - 4*w)*(1 - l + u)^4 + 160438635*2^(11 - 5*w)*(1 - l + u)^5 - 3207534807*2^(8 - 6*w)*(1 - l + u)^6 + 148737123*2^(13 - 7*w)*(1 - l + u)^7 - 427553919*2^(12 - 8*w)*(1 - l + u)^8 + 3520755*2^(18 - 9*w)*(1 - l + u)^9 + 2479653*2^(18 - 10*w)*(1 - l + u)^10 - 205821*2^(22 - 11*w)*(1 - l + u)^11 + 91557*2^(21 - 12*w)*(1 - l + u)^12 + 1215*2^(25 - 13*w)*(1 - l + u)^13 - 108505192524*w + 14580597819*2^(6 - w)*(1 - l + u)*w - 774045935253*2^(2 - 2*w)*(1 - l + u)^2*w + 146007921627*2^(5 - 3*w)*(1 - l + u)^3*w - 15685014321*2^(7 - 4*w)*(1 - l + u)^4*w - 833497137*2^(12 - 5*w)*(1 - l + u)^5*w + 1394758665*2^(12 - 6*w)*(1 - l + u)^6*w - 118578141*2^(15 - 7*w)*(1 - l + u)^7*w + 31516749*2^(15 - 8*w)*(1 - l + u)^8*w + 2208627*2^(19 - 9*w)*(1 - l + u)^9*w - 1406457*2^(20 - 10*w)*(1 - l + u)^10*w + 11421*2^(25 - 11*w)*(1 - l + u)^11*w + 2835*2^(25 - 12*w)*(1 - l + u)^12*w + 109394387256*w^2 - 466334739*2^(11 - w)*(1 - l + u)*w^2 + 12545738451*2^(8 - 2*w)*(1 - l + u)^2*w^2 - 590923341*2^(13 - 3*w)*(1 - l + u)^3*w^2 + 197366571*2^(13 - 4*w)*(1 - l + u)^4*w^2 + 20015289*2^(18 - 5*w)*(1 - l + u)^5*w^2 - 514711503*2^(14 - 6*w)*(1 - l + u)^6*w^2 + 2565621*2^(21 - 7*w)*(1 - l + u)^7*w^2 - 1682991*2^(19 - 8*w)*(1 - l + u)^8*w^2 - 3483*2^(28 - 9*w)*(1 - l + u)^9*w^2 + 13203*2^(25 - 10*w)*(1 - l + u)^10*w^2 + 81*2^(29 - 11*w)*(1 - l + u)^11*w^2 - 36686240640*w^3 + 158585499*2^(11 - w)*(1 - l + u)*w^3 - 1080188955*2^(10 - 2*w)*(1 - l + u)^2*w^3 + 204180669*2^(13 - 3*w)*(1 - l + u)^3*w^3 - 864945*2^(19 - 4*w)*(1 - l + u)^4*w^3 - 4294593*2^(19 - 5*w)*(1 - l + u)^5*w^3 + 3522501*2^(20 - 6*w)*(1 - l + u)^6*w^3 - 39339*2^(26 - 7*w)*(1 - l + u)^7*w^3 + 105867*2^(23 - 8*w)*(1 - l + u)^8*w^3 - 729*2^(27 - 9*w)*(1 - l + u)^9*w^3 + 81*2^(28 - 10*w)*(1 - l + u)^10*w^3) + 3*2^(4 - 7*w)*(13538700 - 753975*2^(6 - w)*(1 - l + u) - 98139615*2^(2 - 2*w)*(1 - l + u)^2 + 35019795*2^(5 - 3*w)*(1 - l + u)^3 + 214065*2^(8 - 4*w)*(1 - l + u)^4 - 749445*2^(11 - 5*w)*(1 - l + u)^5 - 7476967*2^(7 - 6*w)*(1 - l + u)^6 + 1349677*2^(11 - 7*w)*(1 - l + u)^7 + 1883233*2^(10 - 8*w)*(1 - l + u)^8 - 345001*2^(14 - 9*w)*(1 - l + u)^9 - 37235*2^(10 - 10*w)*(1 - l + u)^10 + 776061*2^(13 - 11*w)*(1 - l + u)^11 - 101581*2^(15 - 12*w)*(1 - l + u)^12 - 1113*2^(19 - 13*w)*(1 - l + u)^13 - 3033*2^(16 - 14*w)*(1 - l + u)^14 + 183*2^(21 - 15*w)*(1 - l + u)^15 + 213*2^(19 - 16*w)*(1 - l + u)^16 - 35651700*w + 1804935*2^(6 - w)*(1 - l + u)*w + 316935405*2^(2 - 2*w)*(1 - l + u)^2*w - 108130545*2^(5 - 3*w)*(1 - l + u)^3*w - 1475775*2^(7 - 4*w)*(1 - l + u)^4*w + 1108429*2^(12 - 5*w)*(1 - l + u)^5*w + 15731647*2^(8 - 6*w)*(1 - l + u)^6*w - 1525387*2^(13 - 7*w)*(1 - l + u)^7*w + 4635353*2^(10 - 8*w)*(1 - l + u)^8*w + 53863*2^(14 - 9*w)*(1 - l + u)^9*w + 7402947*2^(10 - 10*w)*(1 - l + u)^10*w - 1166973*2^(13 - 11*w)*(1 - l + u)^11*w + 44187*2^(15 - 12*w)*(1 - l + u)^12*w + 477*2^(20 - 13*w)*(1 - l + u)^13*w + 537*2^(20 - 14*w)*(1 - l + u)^14*w + 9*2^(23 - 15*w)*(1 - l + u)^15*w + 30687300*w^2 - 1351545*2^(6 - w)*(1 - l + u)*w^2 - 338142525*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 110358825*2^(5 - 3*w)*(1 - l + u)^3*w^2 + 480165*2^(9 - 4*w)*(1 - l + u)^4*w^2 - 2138105*2^(11 - 5*w)*(1 - l + u)^5*w^2 - 43222359*2^(7 - 6*w)*(1 - l + u)^6*w^2 + 7981791*2^(11 - 7*w)*(1 - l + u)^7*w^2 - 5149687*2^(11 - 8*w)*(1 - l + u)^8*w^2 + 27183*2^(17 - 9*w)*(1 - l + u)^9*w^2 - 78639*2^(16 - 10*w)*(1 - l + u)^10*w^2 + 1413*2^(21 - 11*w)*(1 - l + u)^11*w^2 + 189*2^(21 - 12*w)*(1 - l + u)^12*w^2 + 9*2^(22 - 14*w)*(1 - l + u)^14*w^2 - 8574300*w^3 + 300585*2^(6 - w)*(1 - l + u)*w^3 + 119346735*2^(2 - 2*w)*(1 - l + u)^2*w^3 - 37248075*2^(5 - 3*w)*(1 - l + u)^3*w^3 - 873015*2^(7 - 4*w)*(1 - l + u)^4*w^3 + 167831*2^(13 - 5*w)*(1 - l + u)^5*w^3 + 299565*2^(13 - 6*w)*(1 - l + u)^6*w^3 - 50919*2^(17 - 7*w)*(1 - l + u)^7*w^3 + 68637*2^(16 - 8*w)*(1 - l + u)^8*w^3 - 693*2^(20 - 9*w)*(1 - l + u)^9*w^3 - 405*2^(18 - 10*w)*(1 - l + u)^10*w^3 + 99*2^(21 - 11*w)*(1 - l + u)^11*w^3) + 3*2^(9 - 10*w)*(103759380 - 98759805*2^(2 - w)*(1 - l + u) + 27964155*2^(6 - 2*w)*(1 - l + u)^2 - 561877251*2^(4 - 3*w)*(1 - l + u)^3 + 1390434717*2^(4 - 4*w)*(1 - l + u)^4 - 189771583*2^(7 - 5*w)*(1 - l + u)^5 + 11754861*2^(9 - 6*w)*(1 - l + u)^6 + 26518071*2^(8 - 7*w)*(1 - l + u)^7 + 16501773*2^(8 - 8*w)*(1 - l + u)^8 - 13921969*2^(10 - 9*w)*(1 - l + u)^9 + 141387*2^(13 - 10*w)*(1 - l + u)^10 + 1508979*2^(13 - 11*w)*(1 - l + u)^11 - 147033*2^(15 - 12*w)*(1 - l + u)^12 - 64905*2^(16 - 13*w)*(1 - l + u)^13 + 1881*2^(20 - 14*w)*(1 - l + u)^14 + 81*2^(22 - 15*w)*(1 - l + u)^15 - 317279265*w + 313440075*2^(2 - w)*(1 - l + u)*w - 10893093*2^(9 - 2*w)*(1 - l + u)^2*w + 834857257*2^(5 - 3*w)*(1 - l + u)^3*w - 3997238965*2^(4 - 4*w)*(1 - l + u)^4*w + 257252369*2^(8 - 5*w)*(1 - l + u)^5*w - 3852165*2^(11 - 6*w)*(1 - l + u)^6*w - 136484727*2^(8 - 7*w)*(1 - l + u)^7*w + 62096913*2^(8 - 8*w)*(1 - l + u)^8*w + 3361857*2^(10 - 9*w)*(1 - l + u)^9*w + 1276767*2^(13 - 10*w)*(1 - l + u)^10*w - 780963*2^(14 - 11*w)*(1 - l + u)^11*w - 33561*2^(16 - 12*w)*(1 - l + u)^12*w + 14193*2^(18 - 13*w)*(1 - l + u)^13*w + 81*2^(22 - 14*w)*(1 - l + u)^14*w + 322941750*w^2 - 329361435*2^(2 - w)*(1 - l + u)*w^2 + 179803369*2^(5 - 2*w)*(1 - l + u)^2*w^2 - 1649355547*2^(4 - 3*w)*(1 - l + u)^3*w^2 + 478227531*2^(7 - 4*w)*(1 - l + u)^4*w^2 - 462234517*2^(7 - 5*w)*(1 - l + u)^5*w^2 - 488829*2^(12 - 6*w)*(1 - l + u)^6*w^2 + 11550075*2^(12 - 7*w)*(1 - l + u)^7*w^2 - 235797*2^(17 - 8*w)*(1 - l + u)^8*w^2 + 213759*2^(15 - 9*w)*(1 - l + u)^9*w^2 - 1281*2^(22 - 10*w)*(1 - l + u)^10*w^2 + 4221*2^(19 - 11*w)*(1 - l + u)^11*w^2 + 297*2^(22 - 12*w)*(1 - l + u)^12*w^2 + 45*2^(22 - 13*w)*(1 - l + u)^13*w^2 - 109421865*w^3 + 114681165*2^(2 - w)*(1 - l + u)*w^3 - 61439971*2^(5 - 2*w)*(1 - l + u)^2*w^3 + 135371595*2^(6 - 3*w)*(1 - l + u)^3*w^3 - 76220205*2^(8 - 4*w)*(1 - l + u)^4*w^3 + 17283465*2^(10 - 5*w)*(1 - l + u)^5*w^3 + 215181*2^(14 - 6*w)*(1 - l + u)^6*w^3 - 145365*2^(17 - 7*w)*(1 - l + u)^7*w^3 + 202689*2^(16 - 8*w)*(1 - l + u)^8*w^3 - 11637*2^(18 - 9*w)*(1 - l + u)^9*w^3 - 99*2^(21 - 10*w)*(1 - l + u)^10*w^3 + 135*2^(22 - 11*w)*(1 - l + u)^11*w^3) + 2^(10 - 12*w)*(719417488 - 5407929051*2^(1 - w)*(1 - l + u) + 116582985*2^(8 - 2*w)*(1 - l + u)^2 + 822017525*2^(6 - 3*w)*(1 - l + u)^3 - 92280285*2^(12 - 4*w)*(1 - l + u)^4 + 21750756957*2^(5 - 5*w)*(1 - l + u)^5 - 4032102735*2^(7 - 6*w)*(1 - l + u)^6 - 45255231*2^(11 - 7*w)*(1 - l + u)^7 + 74089881*2^(13 - 8*w)*(1 - l + u)^8 - 680734903*2^(10 - 9*w)*(1 - l + u)^9 + 4976685*2^(16 - 10*w)*(1 - l + u)^10 + 460773*2^(18 - 11*w)*(1 - l + u)^11 - 699957*2^(18 - 12*w)*(1 - l + u)^12 + 3645*2^(23 - 13*w)*(1 - l + u)^13 + 1701*2^(23 - 14*w)*(1 - l + u)^14 + 27*2^(23 - 15*w)*(1 - l + u)^15 - 1807360464*w + 7396481163*2^(2 - w)*(1 - l + u)*w - 5143598763*2^(4 - 2*w)*(1 - l + u)^2*w - 2473249119*2^(6 - 3*w)*(1 - l + u)^3*w + 4323383451*2^(8 - 4*w)*(1 - l + u)^4*w - 64037757645*2^(5 - 5*w)*(1 - l + u)^5*w + 12308895375*2^(7 - 6*w)*(1 - l + u)^6*w + 5962617*2^(11 - 7*w)*(1 - l + u)^7*w - 61819929*2^(14 - 8*w)*(1 - l + u)^8*w + 94180473*2^(13 - 9*w)*(1 - l + u)^9*w - 887733*2^(15 - 10*w)*(1 - l + u)^10*w - 2036529*2^(17 - 11*w)*(1 - l + u)^11*w + 19413*2^(22 - 12*w)*(1 - l + u)^12*w + 351*2^(26 - 13*w)*(1 - l + u)^13*w + 1469514144*w^2 - 13405988331*2^(1 - w)*(1 - l + u)*w^2 + 4691700099*2^(4 - 2*w)*(1 - l + u)^2*w^2 + 1259561367*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 2137994289*2^(9 - 4*w)*(1 - l + u)^4*w^2 + 1006207893*2^(11 - 5*w)*(1 - l + u)^5*w^2 - 207967959*2^(13 - 6*w)*(1 - l + u)^6*w^2 + 2379267*2^(17 - 7*w)*(1 - l + u)^7*w^2 + 3726513*2^(17 - 8*w)*(1 - l + u)^8*w^2 - 2018817*2^(17 - 9*w)*(1 - l + u)^9*w^2 - 23355*2^(22 - 10*w)*(1 - l + u)^10*w^2 + 19899*2^(22 - 11*w)*(1 - l + u)^11*w^2 + 405*2^(24 - 12*w)*(1 - l + u)^12*w^2 - 381679168*w^3 + 251315811*2^(5 - w)*(1 - l + u)*w^3 - 176505543*2^(7 - 2*w)*(1 - l + u)^2*w^3 - 108857115*2^(9 - 3*w)*(1 - l + u)^3*w^3 + 22346253*2^(14 - 4*w)*(1 - l + u)^4*w^3 - 42987573*2^(14 - 5*w)*(1 - l + u)^5*w^3 + 9547119*2^(16 - 6*w)*(1 - l + u)^6*w^3 - 184707*2^(20 - 7*w)*(1 - l + u)^7*w^3 - 40905*2^(21 - 8*w)*(1 - l + u)^8*w^3 + 33345*2^(21 - 9*w)*(1 - l + u)^9*w^3 - 729*2^(23 - 10*w)*(1 - l + u)^10*w^3 + 81*2^(25 - 11*w)*(1 - l + u)^11*w^3) + 2^(6 - 9*w)*(-972286335 + 629019855*2^(3 - w)*(1 - l + u) - 14540715*2^(9 - 2*w)*(1 - l + u)^2 + 12252735*2^(10 - 3*w)*(1 - l + u)^3 - 2045555409*2^(5 - 4*w)*(1 - l + u)^4 + 39508269*2^(12 - 5*w)*(1 - l + u)^5 - 44816405*2^(12 - 6*w)*(1 - l + u)^6 + 4757103*2^(14 - 7*w)*(1 - l + u)^7 + 276797529*2^(8 - 8*w)*(1 - l + u)^8 - 70596615*2^(11 - 9*w)*(1 - l + u)^9 + 2111673*2^(15 - 10*w)*(1 - l + u)^10 + 247149*2^(17 - 11*w)*(1 - l + u)^11 - 680907*2^(14 - 12*w)*(1 - l + u)^12 - 108801*2^(18 - 13*w)*(1 - l + u)^13 + 3393*2^(21 - 14*w)*(1 - l + u)^14 + 279*2^(24 - 15*w)*(1 - l + u)^15 + 27*2^(22 - 16*w)*(1 - l + u)^16 + 2873913165*w - 1893397365*2^(3 - w)*(1 - l + u)*w + 378441585*2^(6 - 2*w)*(1 - l + u)^2*w - 89442147*2^(9 - 3*w)*(1 - l + u)^3*w + 3308077953*2^(6 - 4*w)*(1 - l + u)^4*w - 479903811*2^(10 - 5*w)*(1 - l + u)^5*w + 502472031*2^(10 - 6*w)*(1 - l + u)^6*w - 10800099*2^(14 - 7*w)*(1 - l + u)^7*w - 566123625*2^(8 - 8*w)*(1 - l + u)^8*w + 89371191*2^(11 - 9*w)*(1 - l + u)^9*w - 1162719*2^(15 - 10*w)*(1 - l + u)^10*w - 79875*2^(18 - 11*w)*(1 - l + u)^11*w - 49239*2^(19 - 12*w)*(1 - l + u)^12*w + 15525*2^(20 - 13*w)*(1 - l + u)^13*w + 3105*2^(21 - 14*w)*(1 - l + u)^14*w - 2832824925*w^2 + 1901065725*2^(3 - w)*(1 - l + u)*w^2 - 407564145*2^(6 - 2*w)*(1 - l + u)^2*w^2 + 104392743*2^(9 - 3*w)*(1 - l + u)^3*w^2 - 7018248417*2^(5 - 4*w)*(1 - l + u)^4*w^2 + 480864555*2^(10 - 5*w)*(1 - l + u)^5*w^2 - 232117041*2^(11 - 6*w)*(1 - l + u)^6*w^2 + 3314655*2^(15 - 7*w)*(1 - l + u)^7*w^2 + 19462851*2^(13 - 8*w)*(1 - l + u)^8*w^2 - 1799775*2^(16 - 9*w)*(1 - l + u)^9*w^2 + 25785*2^(18 - 10*w)*(1 - l + u)^10*w^2 - 513*2^(23 - 11*w)*(1 - l + u)^11*w^2 + 13905*2^(20 - 12*w)*(1 - l + u)^12*w^2 + 81*2^(24 - 13*w)*(1 - l + u)^13*w^2 + 931198095*w^3 - 636688215*2^(3 - w)*(1 - l + u)*w^3 + 18181035*2^(9 - 2*w)*(1 - l + u)^2*w^3 - 19728335*2^(10 - 3*w)*(1 - l + u)^3*w^3 + 152941977*2^(9 - 4*w)*(1 - l + u)^4*w^3 - 39685851*2^(12 - 5*w)*(1 - l + u)^5*w^3 + 17518473*2^(13 - 6*w)*(1 - l + u)^6*w^3 - 2565*2^(22 - 7*w)*(1 - l + u)^7*w^3 - 1070739*2^(16 - 8*w)*(1 - l + u)^8*w^3 + 77841*2^(19 - 9*w)*(1 - l + u)^9*w^3 - 567*2^(22 - 10*w)*(1 - l + u)^10*w^3 + 27*2^(24 - 12*w)*(1 - l + u)^12*w^3))