QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_3402

Formats gms lp mod qplib
Problem type probtype QBL
Solution point objective value solobjvalue 224416.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Ruth Misener
#Variables nvars 144
#Binary Variables nbinvars 144
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 144
#Nonlinear Binary Variables nnlbinvars 144
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 68
#Positive eigenvalues in objective matrix nobjquadposev 76
#Nonzeros in Objective nobjnz 144
#Nonlinear Nonzeros in Objective nobjnlnz 144
#Quadratic Terms in Objective nobjquadnz 8448
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 24
#Linear Constraints nlincons 24
#Quadratic Constraints nquadcons 0
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature linear
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 0
#Nonzeros in Jacobian njacobiannz 288
#Nonlinear Nonzeros in Jacobian njacobiannlnz 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 16896
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 144
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 144
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 144.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3402.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*         25       25        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        145        1      144        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        433      289      144        0
*
*  Solve m using MIQCP minimizing objvar;


Variables  objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145;

Binary Variables  b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25;


e1.. 1134*b2*b3 + 5130*b2*b4 + 4428*b2*b5 + 3024*b2*b6 + 2214*b2*b7 + 324*b2*b8
      + 1350*b2*b9 + 540*b2*b10 + 216*b2*b11 + 3402*b2*b12 + 324*b2*b13 + 3570*
     b2*b14 + 16150*b2*b15 + 13940*b2*b16 + 9520*b2*b17 + 6970*b2*b18 + 1020*b2
     *b19 + 4250*b2*b20 + 1700*b2*b21 + 680*b2*b22 + 10710*b2*b23 + 1020*b2*b24
      + 84*b2*b25 + 380*b2*b26 + 328*b2*b27 + 224*b2*b28 + 164*b2*b29 + 24*b2*
     b30 + 100*b2*b31 + 40*b2*b32 + 16*b2*b33 + 252*b2*b34 + 24*b2*b35 + 42*b2*
     b36 + 190*b2*b37 + 164*b2*b38 + 112*b2*b39 + 82*b2*b40 + 12*b2*b41 + 50*b2
     *b42 + 20*b2*b43 + 8*b2*b44 + 126*b2*b45 + 12*b2*b46 + 630*b2*b47 + 2850*
     b2*b48 + 2460*b2*b49 + 1680*b2*b50 + 1230*b2*b51 + 180*b2*b52 + 750*b2*b53
      + 300*b2*b54 + 120*b2*b55 + 1890*b2*b56 + 180*b2*b57 + 462*b2*b58 + 2090*
     b2*b59 + 1804*b2*b60 + 1232*b2*b61 + 902*b2*b62 + 132*b2*b63 + 550*b2*b64
      + 220*b2*b65 + 88*b2*b66 + 1386*b2*b67 + 132*b2*b68 + 1470*b2*b69 + 6650*
     b2*b70 + 5740*b2*b71 + 3920*b2*b72 + 2870*b2*b73 + 420*b2*b74 + 1750*b2*
     b75 + 700*b2*b76 + 280*b2*b77 + 4410*b2*b78 + 420*b2*b79 + 462*b2*b80 + 
     2090*b2*b81 + 1804*b2*b82 + 1232*b2*b83 + 902*b2*b84 + 132*b2*b85 + 550*b2
     *b86 + 220*b2*b87 + 88*b2*b88 + 1386*b2*b89 + 132*b2*b90 + 840*b2*b91 + 
     3800*b2*b92 + 3280*b2*b93 + 2240*b2*b94 + 1640*b2*b95 + 240*b2*b96 + 1000*
     b2*b97 + 400*b2*b98 + 160*b2*b99 + 2520*b2*b100 + 240*b2*b101 + 882*b2*
     b102 + 3990*b2*b103 + 3444*b2*b104 + 2352*b2*b105 + 1722*b2*b106 + 252*b2*
     b107 + 1050*b2*b108 + 420*b2*b109 + 168*b2*b110 + 2646*b2*b111 + 252*b2*
     b112 + 2562*b2*b113 + 11590*b2*b114 + 10004*b2*b115 + 6832*b2*b116 + 5002*
     b2*b117 + 732*b2*b118 + 3050*b2*b119 + 1220*b2*b120 + 488*b2*b121 + 7686*
     b2*b122 + 732*b2*b123 + 7040*b3*b15 + 6400*b3*b16 + 12000*b3*b17 + 12640*
     b3*b18 + 14240*b3*b20 + 5600*b3*b21 + 1440*b3*b22 + 160*b3*b23 + 13600*b3*
     b24 + 5104*b3*b26 + 4640*b3*b27 + 8700*b3*b28 + 9164*b3*b29 + 10324*b3*b31
      + 4060*b3*b32 + 1044*b3*b33 + 116*b3*b34 + 9860*b3*b35 + 1848*b3*b37 + 
     1680*b3*b38 + 3150*b3*b39 + 3318*b3*b40 + 3738*b3*b42 + 1470*b3*b43 + 378*
     b3*b44 + 42*b3*b45 + 3570*b3*b46 + 6688*b3*b48 + 6080*b3*b49 + 11400*b3*
     b50 + 12008*b3*b51 + 13528*b3*b53 + 5320*b3*b54 + 1368*b3*b55 + 152*b3*b56
      + 12920*b3*b57 + 6336*b3*b59 + 5760*b3*b60 + 10800*b3*b61 + 11376*b3*b62
      + 12816*b3*b64 + 5040*b3*b65 + 1296*b3*b66 + 144*b3*b67 + 12240*b3*b68 + 
     3872*b3*b70 + 3520*b3*b71 + 6600*b3*b72 + 6952*b3*b73 + 7832*b3*b75 + 3080
     *b3*b76 + 792*b3*b77 + 88*b3*b78 + 7480*b3*b79 + 7480*b3*b81 + 6800*b3*b82
      + 12750*b3*b83 + 13430*b3*b84 + 15130*b3*b86 + 5950*b3*b87 + 1530*b3*b88
      + 170*b3*b89 + 14450*b3*b90 + 8272*b3*b92 + 7520*b3*b93 + 14100*b3*b94 + 
     14852*b3*b95 + 16732*b3*b97 + 6580*b3*b98 + 1692*b3*b99 + 188*b3*b100 + 
     15980*b3*b101 + 7920*b3*b103 + 7200*b3*b104 + 13500*b3*b105 + 14220*b3*
     b106 + 16020*b3*b108 + 6300*b3*b109 + 1620*b3*b110 + 180*b3*b111 + 15300*
     b3*b112 + 4488*b3*b114 + 4080*b3*b115 + 7650*b3*b116 + 8058*b3*b117 + 9078
     *b3*b119 + 3570*b3*b120 + 918*b3*b121 + 102*b3*b122 + 8670*b3*b123 + 3360*
     b3*b124 + 2436*b3*b125 + 882*b3*b126 + 3192*b3*b127 + 3024*b3*b128 + 1848*
     b3*b129 + 3570*b3*b130 + 3948*b3*b131 + 3780*b3*b132 + 2142*b3*b133 + 2376
     *b3*b134 + 2160*b3*b135 + 4050*b3*b136 + 4266*b3*b137 + 4806*b3*b138 + 
     1890*b3*b139 + 486*b3*b140 + 54*b3*b141 + 4590*b3*b142 + 7040*b4*b14 + 
     13440*b4*b16 + 1920*b4*b17 + 4160*b4*b19 + 14560*b4*b20 + 1760*b4*b21 + 
     5600*b4*b22 + 13120*b4*b23 + 4160*b4*b24 + 5104*b4*b25 + 9744*b4*b27 + 
     1392*b4*b28 + 3016*b4*b30 + 10556*b4*b31 + 1276*b4*b32 + 4060*b4*b33 + 
     9512*b4*b34 + 3016*b4*b35 + 1848*b4*b36 + 3528*b4*b38 + 504*b4*b39 + 1092*
     b4*b41 + 3822*b4*b42 + 462*b4*b43 + 1470*b4*b44 + 3444*b4*b45 + 1092*b4*
     b46 + 6688*b4*b47 + 12768*b4*b49 + 1824*b4*b50 + 3952*b4*b52 + 13832*b4*
     b53 + 1672*b4*b54 + 5320*b4*b55 + 12464*b4*b56 + 3952*b4*b57 + 6336*b4*b58
      + 12096*b4*b60 + 1728*b4*b61 + 3744*b4*b63 + 13104*b4*b64 + 1584*b4*b65
      + 5040*b4*b66 + 11808*b4*b67 + 3744*b4*b68 + 3872*b4*b69 + 7392*b4*b71 + 
     1056*b4*b72 + 2288*b4*b74 + 8008*b4*b75 + 968*b4*b76 + 3080*b4*b77 + 7216*
     b4*b78 + 2288*b4*b79 + 7480*b4*b80 + 14280*b4*b82 + 2040*b4*b83 + 4420*b4*
     b85 + 15470*b4*b86 + 1870*b4*b87 + 5950*b4*b88 + 13940*b4*b89 + 4420*b4*
     b90 + 8272*b4*b91 + 15792*b4*b93 + 2256*b4*b94 + 4888*b4*b96 + 17108*b4*
     b97 + 2068*b4*b98 + 6580*b4*b99 + 15416*b4*b100 + 4888*b4*b101 + 7920*b4*
     b102 + 15120*b4*b104 + 2160*b4*b105 + 4680*b4*b107 + 16380*b4*b108 + 1980*
     b4*b109 + 6300*b4*b110 + 14760*b4*b111 + 4680*b4*b112 + 4488*b4*b113 + 
     8568*b4*b115 + 1224*b4*b116 + 2652*b4*b118 + 9282*b4*b119 + 1122*b4*b120
      + 3570*b4*b121 + 8364*b4*b122 + 2652*b4*b123 + 15200*b4*b124 + 11020*b4*
     b125 + 3990*b4*b126 + 14440*b4*b127 + 13680*b4*b128 + 8360*b4*b129 + 16150
     *b4*b130 + 17860*b4*b131 + 17100*b4*b132 + 9690*b4*b133 + 4536*b4*b135 + 
     648*b4*b136 + 4914*b4*b138 + 594*b4*b139 + 1890*b4*b140 + 4428*b4*b141 + 
     1404*b4*b142 + 2376*b4*b143 + 1404*b4*b144 + 6400*b5*b14 + 13440*b5*b15 + 
     11040*b5*b17 + 8960*b5*b18 + 13760*b5*b19 + 7200*b5*b20 + 14560*b5*b21 + 
     9440*b5*b22 + 2880*b5*b23 + 12160*b5*b24 + 4640*b5*b25 + 9744*b5*b26 + 
     8004*b5*b28 + 6496*b5*b29 + 9976*b5*b30 + 5220*b5*b31 + 10556*b5*b32 + 
     6844*b5*b33 + 2088*b5*b34 + 8816*b5*b35 + 1680*b5*b36 + 3528*b5*b37 + 2898
     *b5*b39 + 2352*b5*b40 + 3612*b5*b41 + 1890*b5*b42 + 3822*b5*b43 + 2478*b5*
     b44 + 756*b5*b45 + 3192*b5*b46 + 6080*b5*b47 + 12768*b5*b48 + 10488*b5*b50
      + 8512*b5*b51 + 13072*b5*b52 + 6840*b5*b53 + 13832*b5*b54 + 8968*b5*b55
      + 2736*b5*b56 + 11552*b5*b57 + 5760*b5*b58 + 12096*b5*b59 + 9936*b5*b61
      + 8064*b5*b62 + 12384*b5*b63 + 6480*b5*b64 + 13104*b5*b65 + 8496*b5*b66
      + 2592*b5*b67 + 10944*b5*b68 + 3520*b5*b69 + 7392*b5*b70 + 6072*b5*b72 + 
     4928*b5*b73 + 7568*b5*b74 + 3960*b5*b75 + 8008*b5*b76 + 5192*b5*b77 + 1584
     *b5*b78 + 6688*b5*b79 + 6800*b5*b80 + 14280*b5*b81 + 11730*b5*b83 + 9520*
     b5*b84 + 14620*b5*b85 + 7650*b5*b86 + 15470*b5*b87 + 10030*b5*b88 + 3060*
     b5*b89 + 12920*b5*b90 + 7520*b5*b91 + 15792*b5*b92 + 12972*b5*b94 + 10528*
     b5*b95 + 16168*b5*b96 + 8460*b5*b97 + 17108*b5*b98 + 11092*b5*b99 + 3384*
     b5*b100 + 14288*b5*b101 + 7200*b5*b102 + 15120*b5*b103 + 12420*b5*b105 + 
     10080*b5*b106 + 15480*b5*b107 + 8100*b5*b108 + 16380*b5*b109 + 10620*b5*
     b110 + 3240*b5*b111 + 13680*b5*b112 + 4080*b5*b113 + 8568*b5*b114 + 7038*
     b5*b116 + 5712*b5*b117 + 8772*b5*b118 + 4590*b5*b119 + 9282*b5*b120 + 6018
     *b5*b121 + 1836*b5*b122 + 7752*b5*b123 + 13120*b5*b124 + 9512*b5*b125 + 
     3444*b5*b126 + 12464*b5*b127 + 11808*b5*b128 + 7216*b5*b129 + 13940*b5*
     b130 + 15416*b5*b131 + 14760*b5*b132 + 8364*b5*b133 + 4536*b5*b134 + 3726*
     b5*b136 + 3024*b5*b137 + 2430*b5*b138 + 4914*b5*b139 + 3186*b5*b140 + 972*
     b5*b141 + 4104*b5*b142 + 2160*b5*b143 + 4644*b5*b144 + 12000*b6*b14 + 1920
     *b6*b15 + 11040*b6*b16 + 6240*b6*b18 + 2880*b6*b19 + 9120*b6*b20 + 5760*b6
     *b21 + 9760*b6*b22 + 5760*b6*b23 + 3360*b6*b24 + 8700*b6*b25 + 1392*b6*b26
      + 8004*b6*b27 + 4524*b6*b29 + 2088*b6*b30 + 6612*b6*b31 + 4176*b6*b32 + 
     7076*b6*b33 + 4176*b6*b34 + 2436*b6*b35 + 3150*b6*b36 + 504*b6*b37 + 2898*
     b6*b38 + 1638*b6*b40 + 756*b6*b41 + 2394*b6*b42 + 1512*b6*b43 + 2562*b6*
     b44 + 1512*b6*b45 + 882*b6*b46 + 11400*b6*b47 + 1824*b6*b48 + 10488*b6*b49
      + 5928*b6*b51 + 2736*b6*b52 + 8664*b6*b53 + 5472*b6*b54 + 9272*b6*b55 + 
     5472*b6*b56 + 3192*b6*b57 + 10800*b6*b58 + 1728*b6*b59 + 9936*b6*b60 + 
     5616*b6*b62 + 2592*b6*b63 + 8208*b6*b64 + 5184*b6*b65 + 8784*b6*b66 + 5184
     *b6*b67 + 3024*b6*b68 + 6600*b6*b69 + 1056*b6*b70 + 6072*b6*b71 + 3432*b6*
     b73 + 1584*b6*b74 + 5016*b6*b75 + 3168*b6*b76 + 5368*b6*b77 + 3168*b6*b78
      + 1848*b6*b79 + 12750*b6*b80 + 2040*b6*b81 + 11730*b6*b82 + 6630*b6*b84
      + 3060*b6*b85 + 9690*b6*b86 + 6120*b6*b87 + 10370*b6*b88 + 6120*b6*b89 + 
     3570*b6*b90 + 14100*b6*b91 + 2256*b6*b92 + 12972*b6*b93 + 7332*b6*b95 + 
     3384*b6*b96 + 10716*b6*b97 + 6768*b6*b98 + 11468*b6*b99 + 6768*b6*b100 + 
     3948*b6*b101 + 13500*b6*b102 + 2160*b6*b103 + 12420*b6*b104 + 7020*b6*b106
      + 3240*b6*b107 + 10260*b6*b108 + 6480*b6*b109 + 10980*b6*b110 + 6480*b6*
     b111 + 3780*b6*b112 + 7650*b6*b113 + 1224*b6*b114 + 7038*b6*b115 + 3978*b6
     *b117 + 1836*b6*b118 + 5814*b6*b119 + 3672*b6*b120 + 6222*b6*b121 + 3672*
     b6*b122 + 2142*b6*b123 + 8960*b6*b124 + 6496*b6*b125 + 2352*b6*b126 + 8512
     *b6*b127 + 8064*b6*b128 + 4928*b6*b129 + 9520*b6*b130 + 10528*b6*b131 + 
     10080*b6*b132 + 5712*b6*b133 + 648*b6*b134 + 3726*b6*b135 + 2106*b6*b137
      + 3078*b6*b138 + 1944*b6*b139 + 3294*b6*b140 + 1944*b6*b141 + 1134*b6*
     b142 + 4050*b6*b143 + 972*b6*b144 + 12640*b7*b14 + 8960*b7*b16 + 6240*b7*
     b17 + 11360*b7*b19 + 1760*b7*b20 + 4640*b7*b21 + 13120*b7*b22 + 13120*b7*
     b23 + 960*b7*b24 + 9164*b7*b25 + 6496*b7*b27 + 4524*b7*b28 + 8236*b7*b30
      + 1276*b7*b31 + 3364*b7*b32 + 9512*b7*b33 + 9512*b7*b34 + 696*b7*b35 + 
     3318*b7*b36 + 2352*b7*b38 + 1638*b7*b39 + 2982*b7*b41 + 462*b7*b42 + 1218*
     b7*b43 + 3444*b7*b44 + 3444*b7*b45 + 252*b7*b46 + 12008*b7*b47 + 8512*b7*
     b49 + 5928*b7*b50 + 10792*b7*b52 + 1672*b7*b53 + 4408*b7*b54 + 12464*b7*
     b55 + 12464*b7*b56 + 912*b7*b57 + 11376*b7*b58 + 8064*b7*b60 + 5616*b7*b61
      + 10224*b7*b63 + 1584*b7*b64 + 4176*b7*b65 + 11808*b7*b66 + 11808*b7*b67
      + 864*b7*b68 + 6952*b7*b69 + 4928*b7*b71 + 3432*b7*b72 + 6248*b7*b74 + 
     968*b7*b75 + 2552*b7*b76 + 7216*b7*b77 + 7216*b7*b78 + 528*b7*b79 + 13430*
     b7*b80 + 9520*b7*b82 + 6630*b7*b83 + 12070*b7*b85 + 1870*b7*b86 + 4930*b7*
     b87 + 13940*b7*b88 + 13940*b7*b89 + 1020*b7*b90 + 14852*b7*b91 + 10528*b7*
     b93 + 7332*b7*b94 + 13348*b7*b96 + 2068*b7*b97 + 5452*b7*b98 + 15416*b7*
     b99 + 15416*b7*b100 + 1128*b7*b101 + 14220*b7*b102 + 10080*b7*b104 + 7020*
     b7*b105 + 12780*b7*b107 + 1980*b7*b108 + 5220*b7*b109 + 14760*b7*b110 + 
     14760*b7*b111 + 1080*b7*b112 + 8058*b7*b113 + 5712*b7*b115 + 3978*b7*b116
      + 7242*b7*b118 + 1122*b7*b119 + 2958*b7*b120 + 8364*b7*b121 + 8364*b7*
     b122 + 612*b7*b123 + 6560*b7*b124 + 4756*b7*b125 + 1722*b7*b126 + 6232*b7*
     b127 + 5904*b7*b128 + 3608*b7*b129 + 6970*b7*b130 + 7708*b7*b131 + 7380*b7
     *b132 + 4182*b7*b133 + 3024*b7*b135 + 2106*b7*b136 + 594*b7*b138 + 1566*b7
     *b139 + 4428*b7*b140 + 4428*b7*b141 + 324*b7*b142 + 4266*b7*b143 + 3834*b7
     *b144 + 4160*b8*b15 + 13760*b8*b16 + 2880*b8*b17 + 11360*b8*b18 + 11360*b8
     *b20 + 1280*b8*b21 + 12320*b8*b22 + 11840*b8*b23 + 4800*b8*b24 + 3016*b8*
     b26 + 9976*b8*b27 + 2088*b8*b28 + 8236*b8*b29 + 8236*b8*b31 + 928*b8*b32
      + 8932*b8*b33 + 8584*b8*b34 + 3480*b8*b35 + 1092*b8*b37 + 3612*b8*b38 + 
     756*b8*b39 + 2982*b8*b40 + 2982*b8*b42 + 336*b8*b43 + 3234*b8*b44 + 3108*
     b8*b45 + 1260*b8*b46 + 3952*b8*b48 + 13072*b8*b49 + 2736*b8*b50 + 10792*b8
     *b51 + 10792*b8*b53 + 1216*b8*b54 + 11704*b8*b55 + 11248*b8*b56 + 4560*b8*
     b57 + 3744*b8*b59 + 12384*b8*b60 + 2592*b8*b61 + 10224*b8*b62 + 10224*b8*
     b64 + 1152*b8*b65 + 11088*b8*b66 + 10656*b8*b67 + 4320*b8*b68 + 2288*b8*
     b70 + 7568*b8*b71 + 1584*b8*b72 + 6248*b8*b73 + 6248*b8*b75 + 704*b8*b76
      + 6776*b8*b77 + 6512*b8*b78 + 2640*b8*b79 + 4420*b8*b81 + 14620*b8*b82 + 
     3060*b8*b83 + 12070*b8*b84 + 12070*b8*b86 + 1360*b8*b87 + 13090*b8*b88 + 
     12580*b8*b89 + 5100*b8*b90 + 4888*b8*b92 + 16168*b8*b93 + 3384*b8*b94 + 
     13348*b8*b95 + 13348*b8*b97 + 1504*b8*b98 + 14476*b8*b99 + 13912*b8*b100
      + 5640*b8*b101 + 4680*b8*b103 + 15480*b8*b104 + 3240*b8*b105 + 12780*b8*
     b106 + 12780*b8*b108 + 1440*b8*b109 + 13860*b8*b110 + 13320*b8*b111 + 5400
     *b8*b112 + 2652*b8*b114 + 8772*b8*b115 + 1836*b8*b116 + 7242*b8*b117 + 
     7242*b8*b119 + 816*b8*b120 + 7854*b8*b121 + 7548*b8*b122 + 3060*b8*b123 + 
     960*b8*b124 + 696*b8*b125 + 252*b8*b126 + 912*b8*b127 + 864*b8*b128 + 528*
     b8*b129 + 1020*b8*b130 + 1128*b8*b131 + 1080*b8*b132 + 612*b8*b133 + 1404*
     b8*b134 + 4644*b8*b135 + 972*b8*b136 + 3834*b8*b137 + 3834*b8*b138 + 432*
     b8*b139 + 4158*b8*b140 + 3996*b8*b141 + 1620*b8*b142 + 14240*b9*b14 + 
     14560*b9*b15 + 7200*b9*b16 + 9120*b9*b17 + 1760*b9*b18 + 11360*b9*b19 + 
     14240*b9*b21 + 12160*b9*b22 + 12160*b9*b23 + 6400*b9*b24 + 10324*b9*b25 + 
     10556*b9*b26 + 5220*b9*b27 + 6612*b9*b28 + 1276*b9*b29 + 8236*b9*b30 + 
     10324*b9*b32 + 8816*b9*b33 + 8816*b9*b34 + 4640*b9*b35 + 3738*b9*b36 + 
     3822*b9*b37 + 1890*b9*b38 + 2394*b9*b39 + 462*b9*b40 + 2982*b9*b41 + 3738*
     b9*b43 + 3192*b9*b44 + 3192*b9*b45 + 1680*b9*b46 + 13528*b9*b47 + 13832*b9
     *b48 + 6840*b9*b49 + 8664*b9*b50 + 1672*b9*b51 + 10792*b9*b52 + 13528*b9*
     b54 + 11552*b9*b55 + 11552*b9*b56 + 6080*b9*b57 + 12816*b9*b58 + 13104*b9*
     b59 + 6480*b9*b60 + 8208*b9*b61 + 1584*b9*b62 + 10224*b9*b63 + 12816*b9*
     b65 + 10944*b9*b66 + 10944*b9*b67 + 5760*b9*b68 + 7832*b9*b69 + 8008*b9*
     b70 + 3960*b9*b71 + 5016*b9*b72 + 968*b9*b73 + 6248*b9*b74 + 7832*b9*b76
      + 6688*b9*b77 + 6688*b9*b78 + 3520*b9*b79 + 15130*b9*b80 + 15470*b9*b81
      + 7650*b9*b82 + 9690*b9*b83 + 1870*b9*b84 + 12070*b9*b85 + 15130*b9*b87
      + 12920*b9*b88 + 12920*b9*b89 + 6800*b9*b90 + 16732*b9*b91 + 17108*b9*b92
      + 8460*b9*b93 + 10716*b9*b94 + 2068*b9*b95 + 13348*b9*b96 + 16732*b9*b98
      + 14288*b9*b99 + 14288*b9*b100 + 7520*b9*b101 + 16020*b9*b102 + 16380*b9*
     b103 + 8100*b9*b104 + 10260*b9*b105 + 1980*b9*b106 + 12780*b9*b107 + 16020
     *b9*b109 + 13680*b9*b110 + 13680*b9*b111 + 7200*b9*b112 + 9078*b9*b113 + 
     9282*b9*b114 + 4590*b9*b115 + 5814*b9*b116 + 1122*b9*b117 + 7242*b9*b118
      + 9078*b9*b120 + 7752*b9*b121 + 7752*b9*b122 + 4080*b9*b123 + 4000*b9*
     b124 + 2900*b9*b125 + 1050*b9*b126 + 3800*b9*b127 + 3600*b9*b128 + 2200*b9
     *b129 + 4250*b9*b130 + 4700*b9*b131 + 4500*b9*b132 + 2550*b9*b133 + 4914*
     b9*b134 + 2430*b9*b135 + 3078*b9*b136 + 594*b9*b137 + 4806*b9*b139 + 4104*
     b9*b140 + 4104*b9*b141 + 2160*b9*b142 + 4806*b9*b143 + 3834*b9*b144 + 5600
     *b10*b14 + 1760*b10*b15 + 14560*b10*b16 + 5760*b10*b17 + 4640*b10*b18 + 
     1280*b10*b19 + 14240*b10*b20 + 14880*b10*b22 + 8960*b10*b23 + 160*b10*b24
      + 4060*b10*b25 + 1276*b10*b26 + 10556*b10*b27 + 4176*b10*b28 + 3364*b10*
     b29 + 928*b10*b30 + 10324*b10*b31 + 10788*b10*b33 + 6496*b10*b34 + 116*b10
     *b35 + 1470*b10*b36 + 462*b10*b37 + 3822*b10*b38 + 1512*b10*b39 + 1218*b10
     *b40 + 336*b10*b41 + 3738*b10*b42 + 3906*b10*b44 + 2352*b10*b45 + 42*b10*
     b46 + 5320*b10*b47 + 1672*b10*b48 + 13832*b10*b49 + 5472*b10*b50 + 4408*
     b10*b51 + 1216*b10*b52 + 13528*b10*b53 + 14136*b10*b55 + 8512*b10*b56 + 
     152*b10*b57 + 5040*b10*b58 + 1584*b10*b59 + 13104*b10*b60 + 5184*b10*b61
      + 4176*b10*b62 + 1152*b10*b63 + 12816*b10*b64 + 13392*b10*b66 + 8064*b10*
     b67 + 144*b10*b68 + 3080*b10*b69 + 968*b10*b70 + 8008*b10*b71 + 3168*b10*
     b72 + 2552*b10*b73 + 704*b10*b74 + 7832*b10*b75 + 8184*b10*b77 + 4928*b10*
     b78 + 88*b10*b79 + 5950*b10*b80 + 1870*b10*b81 + 15470*b10*b82 + 6120*b10*
     b83 + 4930*b10*b84 + 1360*b10*b85 + 15130*b10*b86 + 15810*b10*b88 + 9520*
     b10*b89 + 170*b10*b90 + 6580*b10*b91 + 2068*b10*b92 + 17108*b10*b93 + 6768
     *b10*b94 + 5452*b10*b95 + 1504*b10*b96 + 16732*b10*b97 + 17484*b10*b99 + 
     10528*b10*b100 + 188*b10*b101 + 6300*b10*b102 + 1980*b10*b103 + 16380*b10*
     b104 + 6480*b10*b105 + 5220*b10*b106 + 1440*b10*b107 + 16020*b10*b108 + 
     16740*b10*b110 + 10080*b10*b111 + 180*b10*b112 + 3570*b10*b113 + 1122*b10*
     b114 + 9282*b10*b115 + 3672*b10*b116 + 2958*b10*b117 + 816*b10*b118 + 9078
     *b10*b119 + 9486*b10*b121 + 5712*b10*b122 + 102*b10*b123 + 1600*b10*b124
      + 1160*b10*b125 + 420*b10*b126 + 1520*b10*b127 + 1440*b10*b128 + 880*b10*
     b129 + 1700*b10*b130 + 1880*b10*b131 + 1800*b10*b132 + 1020*b10*b133 + 594
     *b10*b134 + 4914*b10*b135 + 1944*b10*b136 + 1566*b10*b137 + 4806*b10*b138
      + 5022*b10*b140 + 3024*b10*b141 + 54*b10*b142 + 1890*b10*b143 + 432*b10*
     b144 + 1440*b11*b14 + 5600*b11*b15 + 9440*b11*b16 + 9760*b11*b17 + 13120*
     b11*b18 + 12320*b11*b19 + 12160*b11*b20 + 14880*b11*b21 + 8000*b11*b23 + 
     640*b11*b24 + 1044*b11*b25 + 4060*b11*b26 + 6844*b11*b27 + 7076*b11*b28 + 
     9512*b11*b29 + 8932*b11*b30 + 8816*b11*b31 + 10788*b11*b32 + 5800*b11*b34
      + 464*b11*b35 + 378*b11*b36 + 1470*b11*b37 + 2478*b11*b38 + 2562*b11*b39
      + 3444*b11*b40 + 3234*b11*b41 + 3192*b11*b42 + 3906*b11*b43 + 2100*b11*
     b45 + 168*b11*b46 + 1368*b11*b47 + 5320*b11*b48 + 8968*b11*b49 + 9272*b11*
     b50 + 12464*b11*b51 + 11704*b11*b52 + 11552*b11*b53 + 14136*b11*b54 + 7600
     *b11*b56 + 608*b11*b57 + 1296*b11*b58 + 5040*b11*b59 + 8496*b11*b60 + 8784
     *b11*b61 + 11808*b11*b62 + 11088*b11*b63 + 10944*b11*b64 + 13392*b11*b65
      + 7200*b11*b67 + 576*b11*b68 + 792*b11*b69 + 3080*b11*b70 + 5192*b11*b71
      + 5368*b11*b72 + 7216*b11*b73 + 6776*b11*b74 + 6688*b11*b75 + 8184*b11*
     b76 + 4400*b11*b78 + 352*b11*b79 + 1530*b11*b80 + 5950*b11*b81 + 10030*b11
     *b82 + 10370*b11*b83 + 13940*b11*b84 + 13090*b11*b85 + 12920*b11*b86 + 
     15810*b11*b87 + 8500*b11*b89 + 680*b11*b90 + 1692*b11*b91 + 6580*b11*b92
      + 11092*b11*b93 + 11468*b11*b94 + 15416*b11*b95 + 14476*b11*b96 + 14288*
     b11*b97 + 17484*b11*b98 + 9400*b11*b100 + 752*b11*b101 + 1620*b11*b102 + 
     6300*b11*b103 + 10620*b11*b104 + 10980*b11*b105 + 14760*b11*b106 + 13860*
     b11*b107 + 13680*b11*b108 + 16740*b11*b109 + 9000*b11*b111 + 720*b11*b112
      + 918*b11*b113 + 3570*b11*b114 + 6018*b11*b115 + 6222*b11*b116 + 8364*b11
     *b117 + 7854*b11*b118 + 7752*b11*b119 + 9486*b11*b120 + 5100*b11*b122 + 
     408*b11*b123 + 640*b11*b124 + 464*b11*b125 + 168*b11*b126 + 608*b11*b127
      + 576*b11*b128 + 352*b11*b129 + 680*b11*b130 + 752*b11*b131 + 720*b11*
     b132 + 408*b11*b133 + 1890*b11*b134 + 3186*b11*b135 + 3294*b11*b136 + 4428
     *b11*b137 + 4104*b11*b138 + 5022*b11*b139 + 2700*b11*b141 + 216*b11*b142
      + 486*b11*b143 + 4158*b11*b144 + 160*b12*b14 + 13120*b12*b15 + 2880*b12*
     b16 + 5760*b12*b17 + 13120*b12*b18 + 11840*b12*b19 + 12160*b12*b20 + 8960*
     b12*b21 + 8000*b12*b22 + 5760*b12*b24 + 116*b12*b25 + 9512*b12*b26 + 2088*
     b12*b27 + 4176*b12*b28 + 9512*b12*b29 + 8584*b12*b30 + 8816*b12*b31 + 6496
     *b12*b32 + 5800*b12*b33 + 4176*b12*b35 + 42*b12*b36 + 3444*b12*b37 + 756*
     b12*b38 + 1512*b12*b39 + 3444*b12*b40 + 3108*b12*b41 + 3192*b12*b42 + 2352
     *b12*b43 + 2100*b12*b44 + 1512*b12*b46 + 152*b12*b47 + 12464*b12*b48 + 
     2736*b12*b49 + 5472*b12*b50 + 12464*b12*b51 + 11248*b12*b52 + 11552*b12*
     b53 + 8512*b12*b54 + 7600*b12*b55 + 5472*b12*b57 + 144*b12*b58 + 11808*b12
     *b59 + 2592*b12*b60 + 5184*b12*b61 + 11808*b12*b62 + 10656*b12*b63 + 10944
     *b12*b64 + 8064*b12*b65 + 7200*b12*b66 + 5184*b12*b68 + 88*b12*b69 + 7216*
     b12*b70 + 1584*b12*b71 + 3168*b12*b72 + 7216*b12*b73 + 6512*b12*b74 + 6688
     *b12*b75 + 4928*b12*b76 + 4400*b12*b77 + 3168*b12*b79 + 170*b12*b80 + 
     13940*b12*b81 + 3060*b12*b82 + 6120*b12*b83 + 13940*b12*b84 + 12580*b12*
     b85 + 12920*b12*b86 + 9520*b12*b87 + 8500*b12*b88 + 6120*b12*b90 + 188*b12
     *b91 + 15416*b12*b92 + 3384*b12*b93 + 6768*b12*b94 + 15416*b12*b95 + 13912
     *b12*b96 + 14288*b12*b97 + 10528*b12*b98 + 9400*b12*b99 + 6768*b12*b101 + 
     180*b12*b102 + 14760*b12*b103 + 3240*b12*b104 + 6480*b12*b105 + 14760*b12*
     b106 + 13320*b12*b107 + 13680*b12*b108 + 10080*b12*b109 + 9000*b12*b110 + 
     6480*b12*b112 + 102*b12*b113 + 8364*b12*b114 + 1836*b12*b115 + 3672*b12*
     b116 + 8364*b12*b117 + 7548*b12*b118 + 7752*b12*b119 + 5712*b12*b120 + 
     5100*b12*b121 + 3672*b12*b123 + 10080*b12*b124 + 7308*b12*b125 + 2646*b12*
     b126 + 9576*b12*b127 + 9072*b12*b128 + 5544*b12*b129 + 10710*b12*b130 + 
     11844*b12*b131 + 11340*b12*b132 + 6426*b12*b133 + 4428*b12*b134 + 972*b12*
     b135 + 1944*b12*b136 + 4428*b12*b137 + 4104*b12*b138 + 3024*b12*b139 + 
     2700*b12*b140 + 1944*b12*b142 + 54*b12*b143 + 3996*b12*b144 + 13600*b13*
     b14 + 4160*b13*b15 + 12160*b13*b16 + 3360*b13*b17 + 960*b13*b18 + 4800*b13
     *b19 + 6400*b13*b20 + 160*b13*b21 + 640*b13*b22 + 5760*b13*b23 + 9860*b13*
     b25 + 3016*b13*b26 + 8816*b13*b27 + 2436*b13*b28 + 696*b13*b29 + 3480*b13*
     b30 + 4640*b13*b31 + 116*b13*b32 + 464*b13*b33 + 4176*b13*b34 + 3570*b13*
     b36 + 1092*b13*b37 + 3192*b13*b38 + 882*b13*b39 + 252*b13*b40 + 1260*b13*
     b41 + 1680*b13*b42 + 42*b13*b43 + 168*b13*b44 + 1512*b13*b45 + 12920*b13*
     b47 + 3952*b13*b48 + 11552*b13*b49 + 3192*b13*b50 + 912*b13*b51 + 4560*b13
     *b52 + 6080*b13*b53 + 152*b13*b54 + 608*b13*b55 + 5472*b13*b56 + 12240*b13
     *b58 + 3744*b13*b59 + 10944*b13*b60 + 3024*b13*b61 + 864*b13*b62 + 4320*
     b13*b63 + 5760*b13*b64 + 144*b13*b65 + 576*b13*b66 + 5184*b13*b67 + 7480*
     b13*b69 + 2288*b13*b70 + 6688*b13*b71 + 1848*b13*b72 + 528*b13*b73 + 2640*
     b13*b74 + 3520*b13*b75 + 88*b13*b76 + 352*b13*b77 + 3168*b13*b78 + 14450*
     b13*b80 + 4420*b13*b81 + 12920*b13*b82 + 3570*b13*b83 + 1020*b13*b84 + 
     5100*b13*b85 + 6800*b13*b86 + 170*b13*b87 + 680*b13*b88 + 6120*b13*b89 + 
     15980*b13*b91 + 4888*b13*b92 + 14288*b13*b93 + 3948*b13*b94 + 1128*b13*b95
      + 5640*b13*b96 + 7520*b13*b97 + 188*b13*b98 + 752*b13*b99 + 6768*b13*b100
      + 15300*b13*b102 + 4680*b13*b103 + 13680*b13*b104 + 3780*b13*b105 + 1080*
     b13*b106 + 5400*b13*b107 + 7200*b13*b108 + 180*b13*b109 + 720*b13*b110 + 
     6480*b13*b111 + 8670*b13*b113 + 2652*b13*b114 + 7752*b13*b115 + 2142*b13*
     b116 + 612*b13*b117 + 3060*b13*b118 + 4080*b13*b119 + 102*b13*b120 + 408*
     b13*b121 + 3672*b13*b122 + 960*b13*b124 + 696*b13*b125 + 252*b13*b126 + 
     912*b13*b127 + 864*b13*b128 + 528*b13*b129 + 1020*b13*b130 + 1128*b13*b131
      + 1080*b13*b132 + 612*b13*b133 + 1404*b13*b134 + 4104*b13*b135 + 1134*b13
     *b136 + 324*b13*b137 + 2160*b13*b138 + 54*b13*b139 + 216*b13*b140 + 1944*
     b13*b141 + 4590*b13*b143 + 1620*b13*b144 + 264*b14*b26 + 240*b14*b27 + 450
     *b14*b28 + 474*b14*b29 + 534*b14*b31 + 210*b14*b32 + 54*b14*b33 + 6*b14*
     b34 + 510*b14*b35 + 4224*b14*b37 + 3840*b14*b38 + 7200*b14*b39 + 7584*b14*
     b40 + 8544*b14*b42 + 3360*b14*b43 + 864*b14*b44 + 96*b14*b45 + 8160*b14*
     b46 + 2552*b14*b48 + 2320*b14*b49 + 4350*b14*b50 + 4582*b14*b51 + 5162*b14
     *b53 + 2030*b14*b54 + 522*b14*b55 + 58*b14*b56 + 4930*b14*b57 + 7920*b14*
     b59 + 7200*b14*b60 + 13500*b14*b61 + 14220*b14*b62 + 16020*b14*b64 + 6300*
     b14*b65 + 1620*b14*b66 + 180*b14*b67 + 15300*b14*b68 + 5808*b14*b70 + 5280
     *b14*b71 + 9900*b14*b72 + 10428*b14*b73 + 11748*b14*b75 + 4620*b14*b76 + 
     1188*b14*b77 + 132*b14*b78 + 11220*b14*b79 + 3608*b14*b81 + 3280*b14*b82
      + 6150*b14*b83 + 6478*b14*b84 + 7298*b14*b86 + 2870*b14*b87 + 738*b14*b88
      + 82*b14*b89 + 6970*b14*b90 + 1320*b14*b92 + 1200*b14*b93 + 2250*b14*b94
      + 2370*b14*b95 + 2670*b14*b97 + 1050*b14*b98 + 270*b14*b99 + 30*b14*b100
      + 2550*b14*b101 + 7304*b14*b103 + 6640*b14*b104 + 12450*b14*b105 + 13114*
     b14*b106 + 14774*b14*b108 + 5810*b14*b109 + 1494*b14*b110 + 166*b14*b111
      + 14110*b14*b112 + 8448*b14*b114 + 7680*b14*b115 + 14400*b14*b116 + 15168
     *b14*b117 + 17088*b14*b119 + 6720*b14*b120 + 1728*b14*b121 + 192*b14*b122
      + 16320*b14*b123 + 126*b14*b125 + 2016*b14*b126 + 1218*b14*b127 + 3780*
     b14*b128 + 2772*b14*b129 + 1722*b14*b130 + 630*b14*b131 + 3486*b14*b132 + 
     4032*b14*b133 + 7480*b14*b134 + 6800*b14*b135 + 12750*b14*b136 + 13430*b14
     *b137 + 15130*b14*b138 + 5950*b14*b139 + 1530*b14*b140 + 170*b14*b141 + 
     14450*b14*b142 + 3360*b14*b145 + 264*b15*b25 + 504*b15*b27 + 72*b15*b28 + 
     156*b15*b30 + 546*b15*b31 + 66*b15*b32 + 210*b15*b33 + 492*b15*b34 + 156*
     b15*b35 + 4224*b15*b36 + 8064*b15*b38 + 1152*b15*b39 + 2496*b15*b41 + 8736
     *b15*b42 + 1056*b15*b43 + 3360*b15*b44 + 7872*b15*b45 + 2496*b15*b46 + 
     2552*b15*b47 + 4872*b15*b49 + 696*b15*b50 + 1508*b15*b52 + 5278*b15*b53 + 
     638*b15*b54 + 2030*b15*b55 + 4756*b15*b56 + 1508*b15*b57 + 7920*b15*b58 + 
     15120*b15*b60 + 2160*b15*b61 + 4680*b15*b63 + 16380*b15*b64 + 1980*b15*b65
      + 6300*b15*b66 + 14760*b15*b67 + 4680*b15*b68 + 5808*b15*b69 + 11088*b15*
     b71 + 1584*b15*b72 + 3432*b15*b74 + 12012*b15*b75 + 1452*b15*b76 + 4620*
     b15*b77 + 10824*b15*b78 + 3432*b15*b79 + 3608*b15*b80 + 6888*b15*b82 + 984
     *b15*b83 + 2132*b15*b85 + 7462*b15*b86 + 902*b15*b87 + 2870*b15*b88 + 6724
     *b15*b89 + 2132*b15*b90 + 1320*b15*b91 + 2520*b15*b93 + 360*b15*b94 + 780*
     b15*b96 + 2730*b15*b97 + 330*b15*b98 + 1050*b15*b99 + 2460*b15*b100 + 780*
     b15*b101 + 7304*b15*b102 + 13944*b15*b104 + 1992*b15*b105 + 4316*b15*b107
      + 15106*b15*b108 + 1826*b15*b109 + 5810*b15*b110 + 13612*b15*b111 + 4316*
     b15*b112 + 8448*b15*b113 + 16128*b15*b115 + 2304*b15*b116 + 4992*b15*b118
      + 17472*b15*b119 + 2112*b15*b120 + 6720*b15*b121 + 15744*b15*b122 + 4992*
     b15*b123 + 570*b15*b125 + 9120*b15*b126 + 5510*b15*b127 + 17100*b15*b128
      + 12540*b15*b129 + 7790*b15*b130 + 2850*b15*b131 + 15770*b15*b132 + 18240
     *b15*b133 + 14280*b15*b135 + 2040*b15*b136 + 15470*b15*b138 + 1870*b15*
     b139 + 5950*b15*b140 + 13940*b15*b141 + 4420*b15*b142 + 7480*b15*b143 + 
     4420*b15*b144 + 15200*b15*b145 + 240*b16*b25 + 504*b16*b26 + 414*b16*b28
      + 336*b16*b29 + 516*b16*b30 + 270*b16*b31 + 546*b16*b32 + 354*b16*b33 + 
     108*b16*b34 + 456*b16*b35 + 3840*b16*b36 + 8064*b16*b37 + 6624*b16*b39 + 
     5376*b16*b40 + 8256*b16*b41 + 4320*b16*b42 + 8736*b16*b43 + 5664*b16*b44
      + 1728*b16*b45 + 7296*b16*b46 + 2320*b16*b47 + 4872*b16*b48 + 4002*b16*
     b50 + 3248*b16*b51 + 4988*b16*b52 + 2610*b16*b53 + 5278*b16*b54 + 3422*b16
     *b55 + 1044*b16*b56 + 4408*b16*b57 + 7200*b16*b58 + 15120*b16*b59 + 12420*
     b16*b61 + 10080*b16*b62 + 15480*b16*b63 + 8100*b16*b64 + 16380*b16*b65 + 
     10620*b16*b66 + 3240*b16*b67 + 13680*b16*b68 + 5280*b16*b69 + 11088*b16*
     b70 + 9108*b16*b72 + 7392*b16*b73 + 11352*b16*b74 + 5940*b16*b75 + 12012*
     b16*b76 + 7788*b16*b77 + 2376*b16*b78 + 10032*b16*b79 + 3280*b16*b80 + 
     6888*b16*b81 + 5658*b16*b83 + 4592*b16*b84 + 7052*b16*b85 + 3690*b16*b86
      + 7462*b16*b87 + 4838*b16*b88 + 1476*b16*b89 + 6232*b16*b90 + 1200*b16*
     b91 + 2520*b16*b92 + 2070*b16*b94 + 1680*b16*b95 + 2580*b16*b96 + 1350*b16
     *b97 + 2730*b16*b98 + 1770*b16*b99 + 540*b16*b100 + 2280*b16*b101 + 6640*
     b16*b102 + 13944*b16*b103 + 11454*b16*b105 + 9296*b16*b106 + 14276*b16*
     b107 + 7470*b16*b108 + 15106*b16*b109 + 9794*b16*b110 + 2988*b16*b111 + 
     12616*b16*b112 + 7680*b16*b113 + 16128*b16*b114 + 13248*b16*b116 + 10752*
     b16*b117 + 16512*b16*b118 + 8640*b16*b119 + 17472*b16*b120 + 11328*b16*
     b121 + 3456*b16*b122 + 14592*b16*b123 + 492*b16*b125 + 7872*b16*b126 + 
     4756*b16*b127 + 14760*b16*b128 + 10824*b16*b129 + 6724*b16*b130 + 2460*b16
     *b131 + 13612*b16*b132 + 15744*b16*b133 + 14280*b16*b134 + 11730*b16*b136
      + 9520*b16*b137 + 7650*b16*b138 + 15470*b16*b139 + 10030*b16*b140 + 3060*
     b16*b141 + 12920*b16*b142 + 6800*b16*b143 + 14620*b16*b144 + 13120*b16*
     b145 + 450*b17*b25 + 72*b17*b26 + 414*b17*b27 + 234*b17*b29 + 108*b17*b30
      + 342*b17*b31 + 216*b17*b32 + 366*b17*b33 + 216*b17*b34 + 126*b17*b35 + 
     7200*b17*b36 + 1152*b17*b37 + 6624*b17*b38 + 3744*b17*b40 + 1728*b17*b41
      + 5472*b17*b42 + 3456*b17*b43 + 5856*b17*b44 + 3456*b17*b45 + 2016*b17*
     b46 + 4350*b17*b47 + 696*b17*b48 + 4002*b17*b49 + 2262*b17*b51 + 1044*b17*
     b52 + 3306*b17*b53 + 2088*b17*b54 + 3538*b17*b55 + 2088*b17*b56 + 1218*b17
     *b57 + 13500*b17*b58 + 2160*b17*b59 + 12420*b17*b60 + 7020*b17*b62 + 3240*
     b17*b63 + 10260*b17*b64 + 6480*b17*b65 + 10980*b17*b66 + 6480*b17*b67 + 
     3780*b17*b68 + 9900*b17*b69 + 1584*b17*b70 + 9108*b17*b71 + 5148*b17*b73
      + 2376*b17*b74 + 7524*b17*b75 + 4752*b17*b76 + 8052*b17*b77 + 4752*b17*
     b78 + 2772*b17*b79 + 6150*b17*b80 + 984*b17*b81 + 5658*b17*b82 + 3198*b17*
     b84 + 1476*b17*b85 + 4674*b17*b86 + 2952*b17*b87 + 5002*b17*b88 + 2952*b17
     *b89 + 1722*b17*b90 + 2250*b17*b91 + 360*b17*b92 + 2070*b17*b93 + 1170*b17
     *b95 + 540*b17*b96 + 1710*b17*b97 + 1080*b17*b98 + 1830*b17*b99 + 1080*b17
     *b100 + 630*b17*b101 + 12450*b17*b102 + 1992*b17*b103 + 11454*b17*b104 + 
     6474*b17*b106 + 2988*b17*b107 + 9462*b17*b108 + 5976*b17*b109 + 10126*b17*
     b110 + 5976*b17*b111 + 3486*b17*b112 + 14400*b17*b113 + 2304*b17*b114 + 
     13248*b17*b115 + 7488*b17*b117 + 3456*b17*b118 + 10944*b17*b119 + 6912*b17
     *b120 + 11712*b17*b121 + 6912*b17*b122 + 4032*b17*b123 + 336*b17*b125 + 
     5376*b17*b126 + 3248*b17*b127 + 10080*b17*b128 + 7392*b17*b129 + 4592*b17*
     b130 + 1680*b17*b131 + 9296*b17*b132 + 10752*b17*b133 + 2040*b17*b134 + 
     11730*b17*b135 + 6630*b17*b137 + 9690*b17*b138 + 6120*b17*b139 + 10370*b17
     *b140 + 6120*b17*b141 + 3570*b17*b142 + 12750*b17*b143 + 3060*b17*b144 + 
     8960*b17*b145 + 474*b18*b25 + 336*b18*b27 + 234*b18*b28 + 426*b18*b30 + 66
     *b18*b31 + 174*b18*b32 + 492*b18*b33 + 492*b18*b34 + 36*b18*b35 + 7584*b18
     *b36 + 5376*b18*b38 + 3744*b18*b39 + 6816*b18*b41 + 1056*b18*b42 + 2784*
     b18*b43 + 7872*b18*b44 + 7872*b18*b45 + 576*b18*b46 + 4582*b18*b47 + 3248*
     b18*b49 + 2262*b18*b50 + 4118*b18*b52 + 638*b18*b53 + 1682*b18*b54 + 4756*
     b18*b55 + 4756*b18*b56 + 348*b18*b57 + 14220*b18*b58 + 10080*b18*b60 + 
     7020*b18*b61 + 12780*b18*b63 + 1980*b18*b64 + 5220*b18*b65 + 14760*b18*b66
      + 14760*b18*b67 + 1080*b18*b68 + 10428*b18*b69 + 7392*b18*b71 + 5148*b18*
     b72 + 9372*b18*b74 + 1452*b18*b75 + 3828*b18*b76 + 10824*b18*b77 + 10824*
     b18*b78 + 792*b18*b79 + 6478*b18*b80 + 4592*b18*b82 + 3198*b18*b83 + 5822*
     b18*b85 + 902*b18*b86 + 2378*b18*b87 + 6724*b18*b88 + 6724*b18*b89 + 492*
     b18*b90 + 2370*b18*b91 + 1680*b18*b93 + 1170*b18*b94 + 2130*b18*b96 + 330*
     b18*b97 + 870*b18*b98 + 2460*b18*b99 + 2460*b18*b100 + 180*b18*b101 + 
     13114*b18*b102 + 9296*b18*b104 + 6474*b18*b105 + 11786*b18*b107 + 1826*b18
     *b108 + 4814*b18*b109 + 13612*b18*b110 + 13612*b18*b111 + 996*b18*b112 + 
     15168*b18*b113 + 10752*b18*b115 + 7488*b18*b116 + 13632*b18*b118 + 2112*
     b18*b119 + 5568*b18*b120 + 15744*b18*b121 + 15744*b18*b122 + 1152*b18*b123
      + 246*b18*b125 + 3936*b18*b126 + 2378*b18*b127 + 7380*b18*b128 + 5412*b18
     *b129 + 3362*b18*b130 + 1230*b18*b131 + 6806*b18*b132 + 7872*b18*b133 + 
     9520*b18*b135 + 6630*b18*b136 + 1870*b18*b138 + 4930*b18*b139 + 13940*b18*
     b140 + 13940*b18*b141 + 1020*b18*b142 + 13430*b18*b143 + 12070*b18*b144 + 
     6560*b18*b145 + 156*b19*b26 + 516*b19*b27 + 108*b19*b28 + 426*b19*b29 + 
     426*b19*b31 + 48*b19*b32 + 462*b19*b33 + 444*b19*b34 + 180*b19*b35 + 2496*
     b19*b37 + 8256*b19*b38 + 1728*b19*b39 + 6816*b19*b40 + 6816*b19*b42 + 768*
     b19*b43 + 7392*b19*b44 + 7104*b19*b45 + 2880*b19*b46 + 1508*b19*b48 + 4988
     *b19*b49 + 1044*b19*b50 + 4118*b19*b51 + 4118*b19*b53 + 464*b19*b54 + 4466
     *b19*b55 + 4292*b19*b56 + 1740*b19*b57 + 4680*b19*b59 + 15480*b19*b60 + 
     3240*b19*b61 + 12780*b19*b62 + 12780*b19*b64 + 1440*b19*b65 + 13860*b19*
     b66 + 13320*b19*b67 + 5400*b19*b68 + 3432*b19*b70 + 11352*b19*b71 + 2376*
     b19*b72 + 9372*b19*b73 + 9372*b19*b75 + 1056*b19*b76 + 10164*b19*b77 + 
     9768*b19*b78 + 3960*b19*b79 + 2132*b19*b81 + 7052*b19*b82 + 1476*b19*b83
      + 5822*b19*b84 + 5822*b19*b86 + 656*b19*b87 + 6314*b19*b88 + 6068*b19*b89
      + 2460*b19*b90 + 780*b19*b92 + 2580*b19*b93 + 540*b19*b94 + 2130*b19*b95
      + 2130*b19*b97 + 240*b19*b98 + 2310*b19*b99 + 2220*b19*b100 + 900*b19*
     b101 + 4316*b19*b103 + 14276*b19*b104 + 2988*b19*b105 + 11786*b19*b106 + 
     11786*b19*b108 + 1328*b19*b109 + 12782*b19*b110 + 12284*b19*b111 + 4980*
     b19*b112 + 4992*b19*b114 + 16512*b19*b115 + 3456*b19*b116 + 13632*b19*b117
      + 13632*b19*b119 + 1536*b19*b120 + 14784*b19*b121 + 14208*b19*b122 + 5760
     *b19*b123 + 36*b19*b125 + 576*b19*b126 + 348*b19*b127 + 1080*b19*b128 + 
     792*b19*b129 + 492*b19*b130 + 180*b19*b131 + 996*b19*b132 + 1152*b19*b133
      + 4420*b19*b134 + 14620*b19*b135 + 3060*b19*b136 + 12070*b19*b137 + 12070
     *b19*b138 + 1360*b19*b139 + 13090*b19*b140 + 12580*b19*b141 + 5100*b19*
     b142 + 960*b19*b145 + 534*b20*b25 + 546*b20*b26 + 270*b20*b27 + 342*b20*
     b28 + 66*b20*b29 + 426*b20*b30 + 534*b20*b32 + 456*b20*b33 + 456*b20*b34
      + 240*b20*b35 + 8544*b20*b36 + 8736*b20*b37 + 4320*b20*b38 + 5472*b20*b39
      + 1056*b20*b40 + 6816*b20*b41 + 8544*b20*b43 + 7296*b20*b44 + 7296*b20*
     b45 + 3840*b20*b46 + 5162*b20*b47 + 5278*b20*b48 + 2610*b20*b49 + 3306*b20
     *b50 + 638*b20*b51 + 4118*b20*b52 + 5162*b20*b54 + 4408*b20*b55 + 4408*b20
     *b56 + 2320*b20*b57 + 16020*b20*b58 + 16380*b20*b59 + 8100*b20*b60 + 10260
     *b20*b61 + 1980*b20*b62 + 12780*b20*b63 + 16020*b20*b65 + 13680*b20*b66 + 
     13680*b20*b67 + 7200*b20*b68 + 11748*b20*b69 + 12012*b20*b70 + 5940*b20*
     b71 + 7524*b20*b72 + 1452*b20*b73 + 9372*b20*b74 + 11748*b20*b76 + 10032*
     b20*b77 + 10032*b20*b78 + 5280*b20*b79 + 7298*b20*b80 + 7462*b20*b81 + 
     3690*b20*b82 + 4674*b20*b83 + 902*b20*b84 + 5822*b20*b85 + 7298*b20*b87 + 
     6232*b20*b88 + 6232*b20*b89 + 3280*b20*b90 + 2670*b20*b91 + 2730*b20*b92
      + 1350*b20*b93 + 1710*b20*b94 + 330*b20*b95 + 2130*b20*b96 + 2670*b20*b98
      + 2280*b20*b99 + 2280*b20*b100 + 1200*b20*b101 + 14774*b20*b102 + 15106*
     b20*b103 + 7470*b20*b104 + 9462*b20*b105 + 1826*b20*b106 + 11786*b20*b107
      + 14774*b20*b109 + 12616*b20*b110 + 12616*b20*b111 + 6640*b20*b112 + 
     17088*b20*b113 + 17472*b20*b114 + 8640*b20*b115 + 10944*b20*b116 + 2112*
     b20*b117 + 13632*b20*b118 + 17088*b20*b120 + 14592*b20*b121 + 14592*b20*
     b122 + 7680*b20*b123 + 150*b20*b125 + 2400*b20*b126 + 1450*b20*b127 + 4500
     *b20*b128 + 3300*b20*b129 + 2050*b20*b130 + 750*b20*b131 + 4150*b20*b132
      + 4800*b20*b133 + 15470*b20*b134 + 7650*b20*b135 + 9690*b20*b136 + 1870*
     b20*b137 + 15130*b20*b139 + 12920*b20*b140 + 12920*b20*b141 + 6800*b20*
     b142 + 15130*b20*b143 + 12070*b20*b144 + 4000*b20*b145 + 210*b21*b25 + 66*
     b21*b26 + 546*b21*b27 + 216*b21*b28 + 174*b21*b29 + 48*b21*b30 + 534*b21*
     b31 + 558*b21*b33 + 336*b21*b34 + 6*b21*b35 + 3360*b21*b36 + 1056*b21*b37
      + 8736*b21*b38 + 3456*b21*b39 + 2784*b21*b40 + 768*b21*b41 + 8544*b21*b42
      + 8928*b21*b44 + 5376*b21*b45 + 96*b21*b46 + 2030*b21*b47 + 638*b21*b48
      + 5278*b21*b49 + 2088*b21*b50 + 1682*b21*b51 + 464*b21*b52 + 5162*b21*b53
      + 5394*b21*b55 + 3248*b21*b56 + 58*b21*b57 + 6300*b21*b58 + 1980*b21*b59
      + 16380*b21*b60 + 6480*b21*b61 + 5220*b21*b62 + 1440*b21*b63 + 16020*b21*
     b64 + 16740*b21*b66 + 10080*b21*b67 + 180*b21*b68 + 4620*b21*b69 + 1452*
     b21*b70 + 12012*b21*b71 + 4752*b21*b72 + 3828*b21*b73 + 1056*b21*b74 + 
     11748*b21*b75 + 12276*b21*b77 + 7392*b21*b78 + 132*b21*b79 + 2870*b21*b80
      + 902*b21*b81 + 7462*b21*b82 + 2952*b21*b83 + 2378*b21*b84 + 656*b21*b85
      + 7298*b21*b86 + 7626*b21*b88 + 4592*b21*b89 + 82*b21*b90 + 1050*b21*b91
      + 330*b21*b92 + 2730*b21*b93 + 1080*b21*b94 + 870*b21*b95 + 240*b21*b96
      + 2670*b21*b97 + 2790*b21*b99 + 1680*b21*b100 + 30*b21*b101 + 5810*b21*
     b102 + 1826*b21*b103 + 15106*b21*b104 + 5976*b21*b105 + 4814*b21*b106 + 
     1328*b21*b107 + 14774*b21*b108 + 15438*b21*b110 + 9296*b21*b111 + 166*b21*
     b112 + 6720*b21*b113 + 2112*b21*b114 + 17472*b21*b115 + 6912*b21*b116 + 
     5568*b21*b117 + 1536*b21*b118 + 17088*b21*b119 + 17856*b21*b121 + 10752*
     b21*b122 + 192*b21*b123 + 60*b21*b125 + 960*b21*b126 + 580*b21*b127 + 1800
     *b21*b128 + 1320*b21*b129 + 820*b21*b130 + 300*b21*b131 + 1660*b21*b132 + 
     1920*b21*b133 + 1870*b21*b134 + 15470*b21*b135 + 6120*b21*b136 + 4930*b21*
     b137 + 15130*b21*b138 + 15810*b21*b140 + 9520*b21*b141 + 170*b21*b142 + 
     5950*b21*b143 + 1360*b21*b144 + 1600*b21*b145 + 54*b22*b25 + 210*b22*b26
      + 354*b22*b27 + 366*b22*b28 + 492*b22*b29 + 462*b22*b30 + 456*b22*b31 + 
     558*b22*b32 + 300*b22*b34 + 24*b22*b35 + 864*b22*b36 + 3360*b22*b37 + 5664
     *b22*b38 + 5856*b22*b39 + 7872*b22*b40 + 7392*b22*b41 + 7296*b22*b42 + 
     8928*b22*b43 + 4800*b22*b45 + 384*b22*b46 + 522*b22*b47 + 2030*b22*b48 + 
     3422*b22*b49 + 3538*b22*b50 + 4756*b22*b51 + 4466*b22*b52 + 4408*b22*b53
      + 5394*b22*b54 + 2900*b22*b56 + 232*b22*b57 + 1620*b22*b58 + 6300*b22*b59
      + 10620*b22*b60 + 10980*b22*b61 + 14760*b22*b62 + 13860*b22*b63 + 13680*
     b22*b64 + 16740*b22*b65 + 9000*b22*b67 + 720*b22*b68 + 1188*b22*b69 + 4620
     *b22*b70 + 7788*b22*b71 + 8052*b22*b72 + 10824*b22*b73 + 10164*b22*b74 + 
     10032*b22*b75 + 12276*b22*b76 + 6600*b22*b78 + 528*b22*b79 + 738*b22*b80
      + 2870*b22*b81 + 4838*b22*b82 + 5002*b22*b83 + 6724*b22*b84 + 6314*b22*
     b85 + 6232*b22*b86 + 7626*b22*b87 + 4100*b22*b89 + 328*b22*b90 + 270*b22*
     b91 + 1050*b22*b92 + 1770*b22*b93 + 1830*b22*b94 + 2460*b22*b95 + 2310*b22
     *b96 + 2280*b22*b97 + 2790*b22*b98 + 1500*b22*b100 + 120*b22*b101 + 1494*
     b22*b102 + 5810*b22*b103 + 9794*b22*b104 + 10126*b22*b105 + 13612*b22*b106
      + 12782*b22*b107 + 12616*b22*b108 + 15438*b22*b109 + 8300*b22*b111 + 664*
     b22*b112 + 1728*b22*b113 + 6720*b22*b114 + 11328*b22*b115 + 11712*b22*b116
      + 15744*b22*b117 + 14784*b22*b118 + 14592*b22*b119 + 17856*b22*b120 + 
     9600*b22*b122 + 768*b22*b123 + 24*b22*b125 + 384*b22*b126 + 232*b22*b127
      + 720*b22*b128 + 528*b22*b129 + 328*b22*b130 + 120*b22*b131 + 664*b22*
     b132 + 768*b22*b133 + 5950*b22*b134 + 10030*b22*b135 + 10370*b22*b136 + 
     13940*b22*b137 + 12920*b22*b138 + 15810*b22*b139 + 8500*b22*b141 + 680*b22
     *b142 + 1530*b22*b143 + 13090*b22*b144 + 640*b22*b145 + 6*b23*b25 + 492*
     b23*b26 + 108*b23*b27 + 216*b23*b28 + 492*b23*b29 + 444*b23*b30 + 456*b23*
     b31 + 336*b23*b32 + 300*b23*b33 + 216*b23*b35 + 96*b23*b36 + 7872*b23*b37
      + 1728*b23*b38 + 3456*b23*b39 + 7872*b23*b40 + 7104*b23*b41 + 7296*b23*
     b42 + 5376*b23*b43 + 4800*b23*b44 + 3456*b23*b46 + 58*b23*b47 + 4756*b23*
     b48 + 1044*b23*b49 + 2088*b23*b50 + 4756*b23*b51 + 4292*b23*b52 + 4408*b23
     *b53 + 3248*b23*b54 + 2900*b23*b55 + 2088*b23*b57 + 180*b23*b58 + 14760*
     b23*b59 + 3240*b23*b60 + 6480*b23*b61 + 14760*b23*b62 + 13320*b23*b63 + 
     13680*b23*b64 + 10080*b23*b65 + 9000*b23*b66 + 6480*b23*b68 + 132*b23*b69
      + 10824*b23*b70 + 2376*b23*b71 + 4752*b23*b72 + 10824*b23*b73 + 9768*b23*
     b74 + 10032*b23*b75 + 7392*b23*b76 + 6600*b23*b77 + 4752*b23*b79 + 82*b23*
     b80 + 6724*b23*b81 + 1476*b23*b82 + 2952*b23*b83 + 6724*b23*b84 + 6068*b23
     *b85 + 6232*b23*b86 + 4592*b23*b87 + 4100*b23*b88 + 2952*b23*b90 + 30*b23*
     b91 + 2460*b23*b92 + 540*b23*b93 + 1080*b23*b94 + 2460*b23*b95 + 2220*b23*
     b96 + 2280*b23*b97 + 1680*b23*b98 + 1500*b23*b99 + 1080*b23*b101 + 166*b23
     *b102 + 13612*b23*b103 + 2988*b23*b104 + 5976*b23*b105 + 13612*b23*b106 + 
     12284*b23*b107 + 12616*b23*b108 + 9296*b23*b109 + 8300*b23*b110 + 5976*b23
     *b112 + 192*b23*b113 + 15744*b23*b114 + 3456*b23*b115 + 6912*b23*b116 + 
     15744*b23*b117 + 14208*b23*b118 + 14592*b23*b119 + 10752*b23*b120 + 9600*
     b23*b121 + 6912*b23*b123 + 378*b23*b125 + 6048*b23*b126 + 3654*b23*b127 + 
     11340*b23*b128 + 8316*b23*b129 + 5166*b23*b130 + 1890*b23*b131 + 10458*b23
     *b132 + 12096*b23*b133 + 13940*b23*b134 + 3060*b23*b135 + 6120*b23*b136 + 
     13940*b23*b137 + 12920*b23*b138 + 9520*b23*b139 + 8500*b23*b140 + 6120*b23
     *b142 + 170*b23*b143 + 12580*b23*b144 + 10080*b23*b145 + 510*b24*b25 + 156
     *b24*b26 + 456*b24*b27 + 126*b24*b28 + 36*b24*b29 + 180*b24*b30 + 240*b24*
     b31 + 6*b24*b32 + 24*b24*b33 + 216*b24*b34 + 8160*b24*b36 + 2496*b24*b37
      + 7296*b24*b38 + 2016*b24*b39 + 576*b24*b40 + 2880*b24*b41 + 3840*b24*b42
      + 96*b24*b43 + 384*b24*b44 + 3456*b24*b45 + 4930*b24*b47 + 1508*b24*b48
      + 4408*b24*b49 + 1218*b24*b50 + 348*b24*b51 + 1740*b24*b52 + 2320*b24*b53
      + 58*b24*b54 + 232*b24*b55 + 2088*b24*b56 + 15300*b24*b58 + 4680*b24*b59
      + 13680*b24*b60 + 3780*b24*b61 + 1080*b24*b62 + 5400*b24*b63 + 7200*b24*
     b64 + 180*b24*b65 + 720*b24*b66 + 6480*b24*b67 + 11220*b24*b69 + 3432*b24*
     b70 + 10032*b24*b71 + 2772*b24*b72 + 792*b24*b73 + 3960*b24*b74 + 5280*b24
     *b75 + 132*b24*b76 + 528*b24*b77 + 4752*b24*b78 + 6970*b24*b80 + 2132*b24*
     b81 + 6232*b24*b82 + 1722*b24*b83 + 492*b24*b84 + 2460*b24*b85 + 3280*b24*
     b86 + 82*b24*b87 + 328*b24*b88 + 2952*b24*b89 + 2550*b24*b91 + 780*b24*b92
      + 2280*b24*b93 + 630*b24*b94 + 180*b24*b95 + 900*b24*b96 + 1200*b24*b97
      + 30*b24*b98 + 120*b24*b99 + 1080*b24*b100 + 14110*b24*b102 + 4316*b24*
     b103 + 12616*b24*b104 + 3486*b24*b105 + 996*b24*b106 + 4980*b24*b107 + 
     6640*b24*b108 + 166*b24*b109 + 664*b24*b110 + 5976*b24*b111 + 16320*b24*
     b113 + 4992*b24*b114 + 14592*b24*b115 + 4032*b24*b116 + 1152*b24*b117 + 
     5760*b24*b118 + 7680*b24*b119 + 192*b24*b120 + 768*b24*b121 + 6912*b24*
     b122 + 36*b24*b125 + 576*b24*b126 + 348*b24*b127 + 1080*b24*b128 + 792*b24
     *b129 + 492*b24*b130 + 180*b24*b131 + 996*b24*b132 + 1152*b24*b133 + 4420*
     b24*b134 + 12920*b24*b135 + 3570*b24*b136 + 1020*b24*b137 + 6800*b24*b138
      + 170*b24*b139 + 680*b24*b140 + 6120*b24*b141 + 14450*b24*b143 + 5100*b24
     *b144 + 960*b24*b145 + 6512*b25*b37 + 5920*b25*b38 + 11100*b25*b39 + 11692
     *b25*b40 + 13172*b25*b42 + 5180*b25*b43 + 1332*b25*b44 + 148*b25*b45 + 
     12580*b25*b46 + 3960*b25*b48 + 3600*b25*b49 + 6750*b25*b50 + 7110*b25*b51
      + 8010*b25*b53 + 3150*b25*b54 + 810*b25*b55 + 90*b25*b56 + 7650*b25*b57
      + 5720*b25*b59 + 5200*b25*b60 + 9750*b25*b61 + 10270*b25*b62 + 11570*b25*
     b64 + 4550*b25*b65 + 1170*b25*b66 + 130*b25*b67 + 11050*b25*b68 + 3520*b25
     *b70 + 3200*b25*b71 + 6000*b25*b72 + 6320*b25*b73 + 7120*b25*b75 + 2800*
     b25*b76 + 720*b25*b77 + 80*b25*b78 + 6800*b25*b79 + 4752*b25*b81 + 4320*
     b25*b82 + 8100*b25*b83 + 8532*b25*b84 + 9612*b25*b86 + 3780*b25*b87 + 972*
     b25*b88 + 108*b25*b89 + 9180*b25*b90 + 7304*b25*b92 + 6640*b25*b93 + 12450
     *b25*b94 + 13114*b25*b95 + 14774*b25*b97 + 5810*b25*b98 + 1494*b25*b99 + 
     166*b25*b100 + 14110*b25*b101 + 1232*b25*b103 + 1120*b25*b104 + 2100*b25*
     b105 + 2212*b25*b106 + 2492*b25*b108 + 980*b25*b109 + 252*b25*b110 + 28*
     b25*b111 + 2380*b25*b112 + 6248*b25*b114 + 5680*b25*b115 + 10650*b25*b116
      + 11218*b25*b117 + 12638*b25*b119 + 4970*b25*b120 + 1278*b25*b121 + 142*
     b25*b122 + 12070*b25*b123 + 126*b25*b124 + 3108*b25*b126 + 1890*b25*b127
      + 2730*b25*b128 + 1680*b25*b129 + 2268*b25*b130 + 3486*b25*b131 + 588*b25
     *b132 + 2982*b25*b133 + 176*b25*b134 + 160*b25*b135 + 300*b25*b136 + 316*
     b25*b137 + 356*b25*b138 + 140*b25*b139 + 36*b25*b140 + 4*b25*b141 + 340*
     b25*b142 + 2436*b25*b145 + 6512*b26*b36 + 12432*b26*b38 + 1776*b26*b39 + 
     3848*b26*b41 + 13468*b26*b42 + 1628*b26*b43 + 5180*b26*b44 + 12136*b26*b45
      + 3848*b26*b46 + 3960*b26*b47 + 7560*b26*b49 + 1080*b26*b50 + 2340*b26*
     b52 + 8190*b26*b53 + 990*b26*b54 + 3150*b26*b55 + 7380*b26*b56 + 2340*b26*
     b57 + 5720*b26*b58 + 10920*b26*b60 + 1560*b26*b61 + 3380*b26*b63 + 11830*
     b26*b64 + 1430*b26*b65 + 4550*b26*b66 + 10660*b26*b67 + 3380*b26*b68 + 
     3520*b26*b69 + 6720*b26*b71 + 960*b26*b72 + 2080*b26*b74 + 7280*b26*b75 + 
     880*b26*b76 + 2800*b26*b77 + 6560*b26*b78 + 2080*b26*b79 + 4752*b26*b80 + 
     9072*b26*b82 + 1296*b26*b83 + 2808*b26*b85 + 9828*b26*b86 + 1188*b26*b87
      + 3780*b26*b88 + 8856*b26*b89 + 2808*b26*b90 + 7304*b26*b91 + 13944*b26*
     b93 + 1992*b26*b94 + 4316*b26*b96 + 15106*b26*b97 + 1826*b26*b98 + 5810*
     b26*b99 + 13612*b26*b100 + 4316*b26*b101 + 1232*b26*b102 + 2352*b26*b104
      + 336*b26*b105 + 728*b26*b107 + 2548*b26*b108 + 308*b26*b109 + 980*b26*
     b110 + 2296*b26*b111 + 728*b26*b112 + 6248*b26*b113 + 11928*b26*b115 + 
     1704*b26*b116 + 3692*b26*b118 + 12922*b26*b119 + 1562*b26*b120 + 4970*b26*
     b121 + 11644*b26*b122 + 3692*b26*b123 + 570*b26*b124 + 14060*b26*b126 + 
     8550*b26*b127 + 12350*b26*b128 + 7600*b26*b129 + 10260*b26*b130 + 15770*
     b26*b131 + 2660*b26*b132 + 13490*b26*b133 + 336*b26*b135 + 48*b26*b136 + 
     364*b26*b138 + 44*b26*b139 + 140*b26*b140 + 328*b26*b141 + 104*b26*b142 + 
     176*b26*b143 + 104*b26*b144 + 11020*b26*b145 + 5920*b27*b36 + 12432*b27*
     b37 + 10212*b27*b39 + 8288*b27*b40 + 12728*b27*b41 + 6660*b27*b42 + 13468*
     b27*b43 + 8732*b27*b44 + 2664*b27*b45 + 11248*b27*b46 + 3600*b27*b47 + 
     7560*b27*b48 + 6210*b27*b50 + 5040*b27*b51 + 7740*b27*b52 + 4050*b27*b53
      + 8190*b27*b54 + 5310*b27*b55 + 1620*b27*b56 + 6840*b27*b57 + 5200*b27*
     b58 + 10920*b27*b59 + 8970*b27*b61 + 7280*b27*b62 + 11180*b27*b63 + 5850*
     b27*b64 + 11830*b27*b65 + 7670*b27*b66 + 2340*b27*b67 + 9880*b27*b68 + 
     3200*b27*b69 + 6720*b27*b70 + 5520*b27*b72 + 4480*b27*b73 + 6880*b27*b74
      + 3600*b27*b75 + 7280*b27*b76 + 4720*b27*b77 + 1440*b27*b78 + 6080*b27*
     b79 + 4320*b27*b80 + 9072*b27*b81 + 7452*b27*b83 + 6048*b27*b84 + 9288*b27
     *b85 + 4860*b27*b86 + 9828*b27*b87 + 6372*b27*b88 + 1944*b27*b89 + 8208*
     b27*b90 + 6640*b27*b91 + 13944*b27*b92 + 11454*b27*b94 + 9296*b27*b95 + 
     14276*b27*b96 + 7470*b27*b97 + 15106*b27*b98 + 9794*b27*b99 + 2988*b27*
     b100 + 12616*b27*b101 + 1120*b27*b102 + 2352*b27*b103 + 1932*b27*b105 + 
     1568*b27*b106 + 2408*b27*b107 + 1260*b27*b108 + 2548*b27*b109 + 1652*b27*
     b110 + 504*b27*b111 + 2128*b27*b112 + 5680*b27*b113 + 11928*b27*b114 + 
     9798*b27*b116 + 7952*b27*b117 + 12212*b27*b118 + 6390*b27*b119 + 12922*b27
     *b120 + 8378*b27*b121 + 2556*b27*b122 + 10792*b27*b123 + 492*b27*b124 + 
     12136*b27*b126 + 7380*b27*b127 + 10660*b27*b128 + 6560*b27*b129 + 8856*b27
     *b130 + 13612*b27*b131 + 2296*b27*b132 + 11644*b27*b133 + 336*b27*b134 + 
     276*b27*b136 + 224*b27*b137 + 180*b27*b138 + 364*b27*b139 + 236*b27*b140
      + 72*b27*b141 + 304*b27*b142 + 160*b27*b143 + 344*b27*b144 + 9512*b27*
     b145 + 11100*b28*b36 + 1776*b28*b37 + 10212*b28*b38 + 5772*b28*b40 + 2664*
     b28*b41 + 8436*b28*b42 + 5328*b28*b43 + 9028*b28*b44 + 5328*b28*b45 + 3108
     *b28*b46 + 6750*b28*b47 + 1080*b28*b48 + 6210*b28*b49 + 3510*b28*b51 + 
     1620*b28*b52 + 5130*b28*b53 + 3240*b28*b54 + 5490*b28*b55 + 3240*b28*b56
      + 1890*b28*b57 + 9750*b28*b58 + 1560*b28*b59 + 8970*b28*b60 + 5070*b28*
     b62 + 2340*b28*b63 + 7410*b28*b64 + 4680*b28*b65 + 7930*b28*b66 + 4680*b28
     *b67 + 2730*b28*b68 + 6000*b28*b69 + 960*b28*b70 + 5520*b28*b71 + 3120*b28
     *b73 + 1440*b28*b74 + 4560*b28*b75 + 2880*b28*b76 + 4880*b28*b77 + 2880*
     b28*b78 + 1680*b28*b79 + 8100*b28*b80 + 1296*b28*b81 + 7452*b28*b82 + 4212
     *b28*b84 + 1944*b28*b85 + 6156*b28*b86 + 3888*b28*b87 + 6588*b28*b88 + 
     3888*b28*b89 + 2268*b28*b90 + 12450*b28*b91 + 1992*b28*b92 + 11454*b28*b93
      + 6474*b28*b95 + 2988*b28*b96 + 9462*b28*b97 + 5976*b28*b98 + 10126*b28*
     b99 + 5976*b28*b100 + 3486*b28*b101 + 2100*b28*b102 + 336*b28*b103 + 1932*
     b28*b104 + 1092*b28*b106 + 504*b28*b107 + 1596*b28*b108 + 1008*b28*b109 + 
     1708*b28*b110 + 1008*b28*b111 + 588*b28*b112 + 10650*b28*b113 + 1704*b28*
     b114 + 9798*b28*b115 + 5538*b28*b117 + 2556*b28*b118 + 8094*b28*b119 + 
     5112*b28*b120 + 8662*b28*b121 + 5112*b28*b122 + 2982*b28*b123 + 336*b28*
     b124 + 8288*b28*b126 + 5040*b28*b127 + 7280*b28*b128 + 4480*b28*b129 + 
     6048*b28*b130 + 9296*b28*b131 + 1568*b28*b132 + 7952*b28*b133 + 48*b28*
     b134 + 276*b28*b135 + 156*b28*b137 + 228*b28*b138 + 144*b28*b139 + 244*b28
     *b140 + 144*b28*b141 + 84*b28*b142 + 300*b28*b143 + 72*b28*b144 + 6496*b28
     *b145 + 11692*b29*b36 + 8288*b29*b38 + 5772*b29*b39 + 10508*b29*b41 + 1628
     *b29*b42 + 4292*b29*b43 + 12136*b29*b44 + 12136*b29*b45 + 888*b29*b46 + 
     7110*b29*b47 + 5040*b29*b49 + 3510*b29*b50 + 6390*b29*b52 + 990*b29*b53 + 
     2610*b29*b54 + 7380*b29*b55 + 7380*b29*b56 + 540*b29*b57 + 10270*b29*b58
      + 7280*b29*b60 + 5070*b29*b61 + 9230*b29*b63 + 1430*b29*b64 + 3770*b29*
     b65 + 10660*b29*b66 + 10660*b29*b67 + 780*b29*b68 + 6320*b29*b69 + 4480*
     b29*b71 + 3120*b29*b72 + 5680*b29*b74 + 880*b29*b75 + 2320*b29*b76 + 6560*
     b29*b77 + 6560*b29*b78 + 480*b29*b79 + 8532*b29*b80 + 6048*b29*b82 + 4212*
     b29*b83 + 7668*b29*b85 + 1188*b29*b86 + 3132*b29*b87 + 8856*b29*b88 + 8856
     *b29*b89 + 648*b29*b90 + 13114*b29*b91 + 9296*b29*b93 + 6474*b29*b94 + 
     11786*b29*b96 + 1826*b29*b97 + 4814*b29*b98 + 13612*b29*b99 + 13612*b29*
     b100 + 996*b29*b101 + 2212*b29*b102 + 1568*b29*b104 + 1092*b29*b105 + 1988
     *b29*b107 + 308*b29*b108 + 812*b29*b109 + 2296*b29*b110 + 2296*b29*b111 + 
     168*b29*b112 + 11218*b29*b113 + 7952*b29*b115 + 5538*b29*b116 + 10082*b29*
     b118 + 1562*b29*b119 + 4118*b29*b120 + 11644*b29*b121 + 11644*b29*b122 + 
     852*b29*b123 + 246*b29*b124 + 6068*b29*b126 + 3690*b29*b127 + 5330*b29*
     b128 + 3280*b29*b129 + 4428*b29*b130 + 6806*b29*b131 + 1148*b29*b132 + 
     5822*b29*b133 + 224*b29*b135 + 156*b29*b136 + 44*b29*b138 + 116*b29*b139
      + 328*b29*b140 + 328*b29*b141 + 24*b29*b142 + 316*b29*b143 + 284*b29*b144
      + 4756*b29*b145 + 3848*b30*b37 + 12728*b30*b38 + 2664*b30*b39 + 10508*b30
     *b40 + 10508*b30*b42 + 1184*b30*b43 + 11396*b30*b44 + 10952*b30*b45 + 4440
     *b30*b46 + 2340*b30*b48 + 7740*b30*b49 + 1620*b30*b50 + 6390*b30*b51 + 
     6390*b30*b53 + 720*b30*b54 + 6930*b30*b55 + 6660*b30*b56 + 2700*b30*b57 + 
     3380*b30*b59 + 11180*b30*b60 + 2340*b30*b61 + 9230*b30*b62 + 9230*b30*b64
      + 1040*b30*b65 + 10010*b30*b66 + 9620*b30*b67 + 3900*b30*b68 + 2080*b30*
     b70 + 6880*b30*b71 + 1440*b30*b72 + 5680*b30*b73 + 5680*b30*b75 + 640*b30*
     b76 + 6160*b30*b77 + 5920*b30*b78 + 2400*b30*b79 + 2808*b30*b81 + 9288*b30
     *b82 + 1944*b30*b83 + 7668*b30*b84 + 7668*b30*b86 + 864*b30*b87 + 8316*b30
     *b88 + 7992*b30*b89 + 3240*b30*b90 + 4316*b30*b92 + 14276*b30*b93 + 2988*
     b30*b94 + 11786*b30*b95 + 11786*b30*b97 + 1328*b30*b98 + 12782*b30*b99 + 
     12284*b30*b100 + 4980*b30*b101 + 728*b30*b103 + 2408*b30*b104 + 504*b30*
     b105 + 1988*b30*b106 + 1988*b30*b108 + 224*b30*b109 + 2156*b30*b110 + 2072
     *b30*b111 + 840*b30*b112 + 3692*b30*b114 + 12212*b30*b115 + 2556*b30*b116
      + 10082*b30*b117 + 10082*b30*b119 + 1136*b30*b120 + 10934*b30*b121 + 
     10508*b30*b122 + 4260*b30*b123 + 36*b30*b124 + 888*b30*b126 + 540*b30*b127
      + 780*b30*b128 + 480*b30*b129 + 648*b30*b130 + 996*b30*b131 + 168*b30*
     b132 + 852*b30*b133 + 104*b30*b134 + 344*b30*b135 + 72*b30*b136 + 284*b30*
     b137 + 284*b30*b138 + 32*b30*b139 + 308*b30*b140 + 296*b30*b141 + 120*b30*
     b142 + 696*b30*b145 + 13172*b31*b36 + 13468*b31*b37 + 6660*b31*b38 + 8436*
     b31*b39 + 1628*b31*b40 + 10508*b31*b41 + 13172*b31*b43 + 11248*b31*b44 + 
     11248*b31*b45 + 5920*b31*b46 + 8010*b31*b47 + 8190*b31*b48 + 4050*b31*b49
      + 5130*b31*b50 + 990*b31*b51 + 6390*b31*b52 + 8010*b31*b54 + 6840*b31*b55
      + 6840*b31*b56 + 3600*b31*b57 + 11570*b31*b58 + 11830*b31*b59 + 5850*b31*
     b60 + 7410*b31*b61 + 1430*b31*b62 + 9230*b31*b63 + 11570*b31*b65 + 9880*
     b31*b66 + 9880*b31*b67 + 5200*b31*b68 + 7120*b31*b69 + 7280*b31*b70 + 3600
     *b31*b71 + 4560*b31*b72 + 880*b31*b73 + 5680*b31*b74 + 7120*b31*b76 + 6080
     *b31*b77 + 6080*b31*b78 + 3200*b31*b79 + 9612*b31*b80 + 9828*b31*b81 + 
     4860*b31*b82 + 6156*b31*b83 + 1188*b31*b84 + 7668*b31*b85 + 9612*b31*b87
      + 8208*b31*b88 + 8208*b31*b89 + 4320*b31*b90 + 14774*b31*b91 + 15106*b31*
     b92 + 7470*b31*b93 + 9462*b31*b94 + 1826*b31*b95 + 11786*b31*b96 + 14774*
     b31*b98 + 12616*b31*b99 + 12616*b31*b100 + 6640*b31*b101 + 2492*b31*b102
      + 2548*b31*b103 + 1260*b31*b104 + 1596*b31*b105 + 308*b31*b106 + 1988*b31
     *b107 + 2492*b31*b109 + 2128*b31*b110 + 2128*b31*b111 + 1120*b31*b112 + 
     12638*b31*b113 + 12922*b31*b114 + 6390*b31*b115 + 8094*b31*b116 + 1562*b31
     *b117 + 10082*b31*b118 + 12638*b31*b120 + 10792*b31*b121 + 10792*b31*b122
      + 5680*b31*b123 + 150*b31*b124 + 3700*b31*b126 + 2250*b31*b127 + 3250*b31
     *b128 + 2000*b31*b129 + 2700*b31*b130 + 4150*b31*b131 + 700*b31*b132 + 
     3550*b31*b133 + 364*b31*b134 + 180*b31*b135 + 228*b31*b136 + 44*b31*b137
      + 356*b31*b139 + 304*b31*b140 + 304*b31*b141 + 160*b31*b142 + 356*b31*
     b143 + 284*b31*b144 + 2900*b31*b145 + 5180*b32*b36 + 1628*b32*b37 + 13468*
     b32*b38 + 5328*b32*b39 + 4292*b32*b40 + 1184*b32*b41 + 13172*b32*b42 + 
     13764*b32*b44 + 8288*b32*b45 + 148*b32*b46 + 3150*b32*b47 + 990*b32*b48 + 
     8190*b32*b49 + 3240*b32*b50 + 2610*b32*b51 + 720*b32*b52 + 8010*b32*b53 + 
     8370*b32*b55 + 5040*b32*b56 + 90*b32*b57 + 4550*b32*b58 + 1430*b32*b59 + 
     11830*b32*b60 + 4680*b32*b61 + 3770*b32*b62 + 1040*b32*b63 + 11570*b32*b64
      + 12090*b32*b66 + 7280*b32*b67 + 130*b32*b68 + 2800*b32*b69 + 880*b32*b70
      + 7280*b32*b71 + 2880*b32*b72 + 2320*b32*b73 + 640*b32*b74 + 7120*b32*b75
      + 7440*b32*b77 + 4480*b32*b78 + 80*b32*b79 + 3780*b32*b80 + 1188*b32*b81
      + 9828*b32*b82 + 3888*b32*b83 + 3132*b32*b84 + 864*b32*b85 + 9612*b32*b86
      + 10044*b32*b88 + 6048*b32*b89 + 108*b32*b90 + 5810*b32*b91 + 1826*b32*
     b92 + 15106*b32*b93 + 5976*b32*b94 + 4814*b32*b95 + 1328*b32*b96 + 14774*
     b32*b97 + 15438*b32*b99 + 9296*b32*b100 + 166*b32*b101 + 980*b32*b102 + 
     308*b32*b103 + 2548*b32*b104 + 1008*b32*b105 + 812*b32*b106 + 224*b32*b107
      + 2492*b32*b108 + 2604*b32*b110 + 1568*b32*b111 + 28*b32*b112 + 4970*b32*
     b113 + 1562*b32*b114 + 12922*b32*b115 + 5112*b32*b116 + 4118*b32*b117 + 
     1136*b32*b118 + 12638*b32*b119 + 13206*b32*b121 + 7952*b32*b122 + 142*b32*
     b123 + 60*b32*b124 + 1480*b32*b126 + 900*b32*b127 + 1300*b32*b128 + 800*
     b32*b129 + 1080*b32*b130 + 1660*b32*b131 + 280*b32*b132 + 1420*b32*b133 + 
     44*b32*b134 + 364*b32*b135 + 144*b32*b136 + 116*b32*b137 + 356*b32*b138 + 
     372*b32*b140 + 224*b32*b141 + 4*b32*b142 + 140*b32*b143 + 32*b32*b144 + 
     1160*b32*b145 + 1332*b33*b36 + 5180*b33*b37 + 8732*b33*b38 + 9028*b33*b39
      + 12136*b33*b40 + 11396*b33*b41 + 11248*b33*b42 + 13764*b33*b43 + 7400*
     b33*b45 + 592*b33*b46 + 810*b33*b47 + 3150*b33*b48 + 5310*b33*b49 + 5490*
     b33*b50 + 7380*b33*b51 + 6930*b33*b52 + 6840*b33*b53 + 8370*b33*b54 + 4500
     *b33*b56 + 360*b33*b57 + 1170*b33*b58 + 4550*b33*b59 + 7670*b33*b60 + 7930
     *b33*b61 + 10660*b33*b62 + 10010*b33*b63 + 9880*b33*b64 + 12090*b33*b65 + 
     6500*b33*b67 + 520*b33*b68 + 720*b33*b69 + 2800*b33*b70 + 4720*b33*b71 + 
     4880*b33*b72 + 6560*b33*b73 + 6160*b33*b74 + 6080*b33*b75 + 7440*b33*b76
      + 4000*b33*b78 + 320*b33*b79 + 972*b33*b80 + 3780*b33*b81 + 6372*b33*b82
      + 6588*b33*b83 + 8856*b33*b84 + 8316*b33*b85 + 8208*b33*b86 + 10044*b33*
     b87 + 5400*b33*b89 + 432*b33*b90 + 1494*b33*b91 + 5810*b33*b92 + 9794*b33*
     b93 + 10126*b33*b94 + 13612*b33*b95 + 12782*b33*b96 + 12616*b33*b97 + 
     15438*b33*b98 + 8300*b33*b100 + 664*b33*b101 + 252*b33*b102 + 980*b33*b103
      + 1652*b33*b104 + 1708*b33*b105 + 2296*b33*b106 + 2156*b33*b107 + 2128*
     b33*b108 + 2604*b33*b109 + 1400*b33*b111 + 112*b33*b112 + 1278*b33*b113 + 
     4970*b33*b114 + 8378*b33*b115 + 8662*b33*b116 + 11644*b33*b117 + 10934*b33
     *b118 + 10792*b33*b119 + 13206*b33*b120 + 7100*b33*b122 + 568*b33*b123 + 
     24*b33*b124 + 592*b33*b126 + 360*b33*b127 + 520*b33*b128 + 320*b33*b129 + 
     432*b33*b130 + 664*b33*b131 + 112*b33*b132 + 568*b33*b133 + 140*b33*b134
      + 236*b33*b135 + 244*b33*b136 + 328*b33*b137 + 304*b33*b138 + 372*b33*
     b139 + 200*b33*b141 + 16*b33*b142 + 36*b33*b143 + 308*b33*b144 + 464*b33*
     b145 + 148*b34*b36 + 12136*b34*b37 + 2664*b34*b38 + 5328*b34*b39 + 12136*
     b34*b40 + 10952*b34*b41 + 11248*b34*b42 + 8288*b34*b43 + 7400*b34*b44 + 
     5328*b34*b46 + 90*b34*b47 + 7380*b34*b48 + 1620*b34*b49 + 3240*b34*b50 + 
     7380*b34*b51 + 6660*b34*b52 + 6840*b34*b53 + 5040*b34*b54 + 4500*b34*b55
      + 3240*b34*b57 + 130*b34*b58 + 10660*b34*b59 + 2340*b34*b60 + 4680*b34*
     b61 + 10660*b34*b62 + 9620*b34*b63 + 9880*b34*b64 + 7280*b34*b65 + 6500*
     b34*b66 + 4680*b34*b68 + 80*b34*b69 + 6560*b34*b70 + 1440*b34*b71 + 2880*
     b34*b72 + 6560*b34*b73 + 5920*b34*b74 + 6080*b34*b75 + 4480*b34*b76 + 4000
     *b34*b77 + 2880*b34*b79 + 108*b34*b80 + 8856*b34*b81 + 1944*b34*b82 + 3888
     *b34*b83 + 8856*b34*b84 + 7992*b34*b85 + 8208*b34*b86 + 6048*b34*b87 + 
     5400*b34*b88 + 3888*b34*b90 + 166*b34*b91 + 13612*b34*b92 + 2988*b34*b93
      + 5976*b34*b94 + 13612*b34*b95 + 12284*b34*b96 + 12616*b34*b97 + 9296*b34
     *b98 + 8300*b34*b99 + 5976*b34*b101 + 28*b34*b102 + 2296*b34*b103 + 504*
     b34*b104 + 1008*b34*b105 + 2296*b34*b106 + 2072*b34*b107 + 2128*b34*b108
      + 1568*b34*b109 + 1400*b34*b110 + 1008*b34*b112 + 142*b34*b113 + 11644*
     b34*b114 + 2556*b34*b115 + 5112*b34*b116 + 11644*b34*b117 + 10508*b34*b118
      + 10792*b34*b119 + 7952*b34*b120 + 7100*b34*b121 + 5112*b34*b123 + 378*
     b34*b124 + 9324*b34*b126 + 5670*b34*b127 + 8190*b34*b128 + 5040*b34*b129
      + 6804*b34*b130 + 10458*b34*b131 + 1764*b34*b132 + 8946*b34*b133 + 328*
     b34*b134 + 72*b34*b135 + 144*b34*b136 + 328*b34*b137 + 304*b34*b138 + 224*
     b34*b139 + 200*b34*b140 + 144*b34*b142 + 4*b34*b143 + 296*b34*b144 + 7308*
     b34*b145 + 12580*b35*b36 + 3848*b35*b37 + 11248*b35*b38 + 3108*b35*b39 + 
     888*b35*b40 + 4440*b35*b41 + 5920*b35*b42 + 148*b35*b43 + 592*b35*b44 + 
     5328*b35*b45 + 7650*b35*b47 + 2340*b35*b48 + 6840*b35*b49 + 1890*b35*b50
      + 540*b35*b51 + 2700*b35*b52 + 3600*b35*b53 + 90*b35*b54 + 360*b35*b55 + 
     3240*b35*b56 + 11050*b35*b58 + 3380*b35*b59 + 9880*b35*b60 + 2730*b35*b61
      + 780*b35*b62 + 3900*b35*b63 + 5200*b35*b64 + 130*b35*b65 + 520*b35*b66
      + 4680*b35*b67 + 6800*b35*b69 + 2080*b35*b70 + 6080*b35*b71 + 1680*b35*
     b72 + 480*b35*b73 + 2400*b35*b74 + 3200*b35*b75 + 80*b35*b76 + 320*b35*b77
      + 2880*b35*b78 + 9180*b35*b80 + 2808*b35*b81 + 8208*b35*b82 + 2268*b35*
     b83 + 648*b35*b84 + 3240*b35*b85 + 4320*b35*b86 + 108*b35*b87 + 432*b35*
     b88 + 3888*b35*b89 + 14110*b35*b91 + 4316*b35*b92 + 12616*b35*b93 + 3486*
     b35*b94 + 996*b35*b95 + 4980*b35*b96 + 6640*b35*b97 + 166*b35*b98 + 664*
     b35*b99 + 5976*b35*b100 + 2380*b35*b102 + 728*b35*b103 + 2128*b35*b104 + 
     588*b35*b105 + 168*b35*b106 + 840*b35*b107 + 1120*b35*b108 + 28*b35*b109
      + 112*b35*b110 + 1008*b35*b111 + 12070*b35*b113 + 3692*b35*b114 + 10792*
     b35*b115 + 2982*b35*b116 + 852*b35*b117 + 4260*b35*b118 + 5680*b35*b119 + 
     142*b35*b120 + 568*b35*b121 + 5112*b35*b122 + 36*b35*b124 + 888*b35*b126
      + 540*b35*b127 + 780*b35*b128 + 480*b35*b129 + 648*b35*b130 + 996*b35*
     b131 + 168*b35*b132 + 852*b35*b133 + 104*b35*b134 + 304*b35*b135 + 84*b35*
     b136 + 24*b35*b137 + 160*b35*b138 + 4*b35*b139 + 16*b35*b140 + 144*b35*
     b141 + 340*b35*b143 + 120*b35*b144 + 696*b35*b145 + 6776*b36*b48 + 6160*
     b36*b49 + 11550*b36*b50 + 12166*b36*b51 + 13706*b36*b53 + 5390*b36*b54 + 
     1386*b36*b55 + 154*b36*b56 + 13090*b36*b57 + 3168*b36*b59 + 2880*b36*b60
      + 5400*b36*b61 + 5688*b36*b62 + 6408*b36*b64 + 2520*b36*b65 + 648*b36*b66
      + 72*b36*b67 + 6120*b36*b68 + 4664*b36*b70 + 4240*b36*b71 + 7950*b36*b72
      + 8374*b36*b73 + 9434*b36*b75 + 3710*b36*b76 + 954*b36*b77 + 106*b36*b78
      + 9010*b36*b79 + 3256*b36*b81 + 2960*b36*b82 + 5550*b36*b83 + 5846*b36*
     b84 + 6586*b36*b86 + 2590*b36*b87 + 666*b36*b88 + 74*b36*b89 + 6290*b36*
     b90 + 2288*b36*b92 + 2080*b36*b93 + 3900*b36*b94 + 4108*b36*b95 + 4628*b36
     *b97 + 1820*b36*b98 + 468*b36*b99 + 52*b36*b100 + 4420*b36*b101 + 7656*b36
     *b103 + 6960*b36*b104 + 13050*b36*b105 + 13746*b36*b106 + 15486*b36*b108
      + 6090*b36*b109 + 1566*b36*b110 + 174*b36*b111 + 14790*b36*b112 + 6688*
     b36*b114 + 6080*b36*b115 + 11400*b36*b116 + 12008*b36*b117 + 13528*b36*
     b119 + 5320*b36*b120 + 1368*b36*b121 + 152*b36*b122 + 12920*b36*b123 + 
     2016*b36*b124 + 3108*b36*b125 + 3234*b36*b127 + 1512*b36*b128 + 2226*b36*
     b129 + 1554*b36*b130 + 1092*b36*b131 + 3654*b36*b132 + 3192*b36*b133 + 88*
     b36*b134 + 80*b36*b135 + 150*b36*b136 + 158*b36*b137 + 178*b36*b138 + 70*
     b36*b139 + 18*b36*b140 + 2*b36*b141 + 170*b36*b142 + 882*b36*b145 + 6776*
     b37*b47 + 12936*b37*b49 + 1848*b37*b50 + 4004*b37*b52 + 14014*b37*b53 + 
     1694*b37*b54 + 5390*b37*b55 + 12628*b37*b56 + 4004*b37*b57 + 3168*b37*b58
      + 6048*b37*b60 + 864*b37*b61 + 1872*b37*b63 + 6552*b37*b64 + 792*b37*b65
      + 2520*b37*b66 + 5904*b37*b67 + 1872*b37*b68 + 4664*b37*b69 + 8904*b37*
     b71 + 1272*b37*b72 + 2756*b37*b74 + 9646*b37*b75 + 1166*b37*b76 + 3710*b37
     *b77 + 8692*b37*b78 + 2756*b37*b79 + 3256*b37*b80 + 6216*b37*b82 + 888*b37
     *b83 + 1924*b37*b85 + 6734*b37*b86 + 814*b37*b87 + 2590*b37*b88 + 6068*b37
     *b89 + 1924*b37*b90 + 2288*b37*b91 + 4368*b37*b93 + 624*b37*b94 + 1352*b37
     *b96 + 4732*b37*b97 + 572*b37*b98 + 1820*b37*b99 + 4264*b37*b100 + 1352*
     b37*b101 + 7656*b37*b102 + 14616*b37*b104 + 2088*b37*b105 + 4524*b37*b107
      + 15834*b37*b108 + 1914*b37*b109 + 6090*b37*b110 + 14268*b37*b111 + 4524*
     b37*b112 + 6688*b37*b113 + 12768*b37*b115 + 1824*b37*b116 + 3952*b37*b118
      + 13832*b37*b119 + 1672*b37*b120 + 5320*b37*b121 + 12464*b37*b122 + 3952*
     b37*b123 + 9120*b37*b124 + 14060*b37*b125 + 14630*b37*b127 + 6840*b37*b128
      + 10070*b37*b129 + 7030*b37*b130 + 4940*b37*b131 + 16530*b37*b132 + 14440
     *b37*b133 + 168*b37*b135 + 24*b37*b136 + 182*b37*b138 + 22*b37*b139 + 70*
     b37*b140 + 164*b37*b141 + 52*b37*b142 + 88*b37*b143 + 52*b37*b144 + 3990*
     b37*b145 + 6160*b38*b47 + 12936*b38*b48 + 10626*b38*b50 + 8624*b38*b51 + 
     13244*b38*b52 + 6930*b38*b53 + 14014*b38*b54 + 9086*b38*b55 + 2772*b38*b56
      + 11704*b38*b57 + 2880*b38*b58 + 6048*b38*b59 + 4968*b38*b61 + 4032*b38*
     b62 + 6192*b38*b63 + 3240*b38*b64 + 6552*b38*b65 + 4248*b38*b66 + 1296*b38
     *b67 + 5472*b38*b68 + 4240*b38*b69 + 8904*b38*b70 + 7314*b38*b72 + 5936*
     b38*b73 + 9116*b38*b74 + 4770*b38*b75 + 9646*b38*b76 + 6254*b38*b77 + 1908
     *b38*b78 + 8056*b38*b79 + 2960*b38*b80 + 6216*b38*b81 + 5106*b38*b83 + 
     4144*b38*b84 + 6364*b38*b85 + 3330*b38*b86 + 6734*b38*b87 + 4366*b38*b88
      + 1332*b38*b89 + 5624*b38*b90 + 2080*b38*b91 + 4368*b38*b92 + 3588*b38*
     b94 + 2912*b38*b95 + 4472*b38*b96 + 2340*b38*b97 + 4732*b38*b98 + 3068*b38
     *b99 + 936*b38*b100 + 3952*b38*b101 + 6960*b38*b102 + 14616*b38*b103 + 
     12006*b38*b105 + 9744*b38*b106 + 14964*b38*b107 + 7830*b38*b108 + 15834*
     b38*b109 + 10266*b38*b110 + 3132*b38*b111 + 13224*b38*b112 + 6080*b38*b113
      + 12768*b38*b114 + 10488*b38*b116 + 8512*b38*b117 + 13072*b38*b118 + 6840
     *b38*b119 + 13832*b38*b120 + 8968*b38*b121 + 2736*b38*b122 + 11552*b38*
     b123 + 7872*b38*b124 + 12136*b38*b125 + 12628*b38*b127 + 5904*b38*b128 + 
     8692*b38*b129 + 6068*b38*b130 + 4264*b38*b131 + 14268*b38*b132 + 12464*b38
     *b133 + 168*b38*b134 + 138*b38*b136 + 112*b38*b137 + 90*b38*b138 + 182*b38
     *b139 + 118*b38*b140 + 36*b38*b141 + 152*b38*b142 + 80*b38*b143 + 172*b38*
     b144 + 3444*b38*b145 + 11550*b39*b47 + 1848*b39*b48 + 10626*b39*b49 + 6006
     *b39*b51 + 2772*b39*b52 + 8778*b39*b53 + 5544*b39*b54 + 9394*b39*b55 + 
     5544*b39*b56 + 3234*b39*b57 + 5400*b39*b58 + 864*b39*b59 + 4968*b39*b60 + 
     2808*b39*b62 + 1296*b39*b63 + 4104*b39*b64 + 2592*b39*b65 + 4392*b39*b66
      + 2592*b39*b67 + 1512*b39*b68 + 7950*b39*b69 + 1272*b39*b70 + 7314*b39*
     b71 + 4134*b39*b73 + 1908*b39*b74 + 6042*b39*b75 + 3816*b39*b76 + 6466*b39
     *b77 + 3816*b39*b78 + 2226*b39*b79 + 5550*b39*b80 + 888*b39*b81 + 5106*b39
     *b82 + 2886*b39*b84 + 1332*b39*b85 + 4218*b39*b86 + 2664*b39*b87 + 4514*
     b39*b88 + 2664*b39*b89 + 1554*b39*b90 + 3900*b39*b91 + 624*b39*b92 + 3588*
     b39*b93 + 2028*b39*b95 + 936*b39*b96 + 2964*b39*b97 + 1872*b39*b98 + 3172*
     b39*b99 + 1872*b39*b100 + 1092*b39*b101 + 13050*b39*b102 + 2088*b39*b103
      + 12006*b39*b104 + 6786*b39*b106 + 3132*b39*b107 + 9918*b39*b108 + 6264*
     b39*b109 + 10614*b39*b110 + 6264*b39*b111 + 3654*b39*b112 + 11400*b39*b113
      + 1824*b39*b114 + 10488*b39*b115 + 5928*b39*b117 + 2736*b39*b118 + 8664*
     b39*b119 + 5472*b39*b120 + 9272*b39*b121 + 5472*b39*b122 + 3192*b39*b123
      + 5376*b39*b124 + 8288*b39*b125 + 8624*b39*b127 + 4032*b39*b128 + 5936*
     b39*b129 + 4144*b39*b130 + 2912*b39*b131 + 9744*b39*b132 + 8512*b39*b133
      + 24*b39*b134 + 138*b39*b135 + 78*b39*b137 + 114*b39*b138 + 72*b39*b139
      + 122*b39*b140 + 72*b39*b141 + 42*b39*b142 + 150*b39*b143 + 36*b39*b144
      + 2352*b39*b145 + 12166*b40*b47 + 8624*b40*b49 + 6006*b40*b50 + 10934*b40
     *b52 + 1694*b40*b53 + 4466*b40*b54 + 12628*b40*b55 + 12628*b40*b56 + 924*
     b40*b57 + 5688*b40*b58 + 4032*b40*b60 + 2808*b40*b61 + 5112*b40*b63 + 792*
     b40*b64 + 2088*b40*b65 + 5904*b40*b66 + 5904*b40*b67 + 432*b40*b68 + 8374*
     b40*b69 + 5936*b40*b71 + 4134*b40*b72 + 7526*b40*b74 + 1166*b40*b75 + 3074
     *b40*b76 + 8692*b40*b77 + 8692*b40*b78 + 636*b40*b79 + 5846*b40*b80 + 4144
     *b40*b82 + 2886*b40*b83 + 5254*b40*b85 + 814*b40*b86 + 2146*b40*b87 + 6068
     *b40*b88 + 6068*b40*b89 + 444*b40*b90 + 4108*b40*b91 + 2912*b40*b93 + 2028
     *b40*b94 + 3692*b40*b96 + 572*b40*b97 + 1508*b40*b98 + 4264*b40*b99 + 4264
     *b40*b100 + 312*b40*b101 + 13746*b40*b102 + 9744*b40*b104 + 6786*b40*b105
      + 12354*b40*b107 + 1914*b40*b108 + 5046*b40*b109 + 14268*b40*b110 + 14268
     *b40*b111 + 1044*b40*b112 + 12008*b40*b113 + 8512*b40*b115 + 5928*b40*b116
      + 10792*b40*b118 + 1672*b40*b119 + 4408*b40*b120 + 12464*b40*b121 + 12464
     *b40*b122 + 912*b40*b123 + 3936*b40*b124 + 6068*b40*b125 + 6314*b40*b127
      + 2952*b40*b128 + 4346*b40*b129 + 3034*b40*b130 + 2132*b40*b131 + 7134*
     b40*b132 + 6232*b40*b133 + 112*b40*b135 + 78*b40*b136 + 22*b40*b138 + 58*
     b40*b139 + 164*b40*b140 + 164*b40*b141 + 12*b40*b142 + 158*b40*b143 + 142*
     b40*b144 + 1722*b40*b145 + 4004*b41*b48 + 13244*b41*b49 + 2772*b41*b50 + 
     10934*b41*b51 + 10934*b41*b53 + 1232*b41*b54 + 11858*b41*b55 + 11396*b41*
     b56 + 4620*b41*b57 + 1872*b41*b59 + 6192*b41*b60 + 1296*b41*b61 + 5112*b41
     *b62 + 5112*b41*b64 + 576*b41*b65 + 5544*b41*b66 + 5328*b41*b67 + 2160*b41
     *b68 + 2756*b41*b70 + 9116*b41*b71 + 1908*b41*b72 + 7526*b41*b73 + 7526*
     b41*b75 + 848*b41*b76 + 8162*b41*b77 + 7844*b41*b78 + 3180*b41*b79 + 1924*
     b41*b81 + 6364*b41*b82 + 1332*b41*b83 + 5254*b41*b84 + 5254*b41*b86 + 592*
     b41*b87 + 5698*b41*b88 + 5476*b41*b89 + 2220*b41*b90 + 1352*b41*b92 + 4472
     *b41*b93 + 936*b41*b94 + 3692*b41*b95 + 3692*b41*b97 + 416*b41*b98 + 4004*
     b41*b99 + 3848*b41*b100 + 1560*b41*b101 + 4524*b41*b103 + 14964*b41*b104
      + 3132*b41*b105 + 12354*b41*b106 + 12354*b41*b108 + 1392*b41*b109 + 13398
     *b41*b110 + 12876*b41*b111 + 5220*b41*b112 + 3952*b41*b114 + 13072*b41*
     b115 + 2736*b41*b116 + 10792*b41*b117 + 10792*b41*b119 + 1216*b41*b120 + 
     11704*b41*b121 + 11248*b41*b122 + 4560*b41*b123 + 576*b41*b124 + 888*b41*
     b125 + 924*b41*b127 + 432*b41*b128 + 636*b41*b129 + 444*b41*b130 + 312*b41
     *b131 + 1044*b41*b132 + 912*b41*b133 + 52*b41*b134 + 172*b41*b135 + 36*b41
     *b136 + 142*b41*b137 + 142*b41*b138 + 16*b41*b139 + 154*b41*b140 + 148*b41
     *b141 + 60*b41*b142 + 252*b41*b145 + 13706*b42*b47 + 14014*b42*b48 + 6930*
     b42*b49 + 8778*b42*b50 + 1694*b42*b51 + 10934*b42*b52 + 13706*b42*b54 + 
     11704*b42*b55 + 11704*b42*b56 + 6160*b42*b57 + 6408*b42*b58 + 6552*b42*b59
      + 3240*b42*b60 + 4104*b42*b61 + 792*b42*b62 + 5112*b42*b63 + 6408*b42*b65
      + 5472*b42*b66 + 5472*b42*b67 + 2880*b42*b68 + 9434*b42*b69 + 9646*b42*
     b70 + 4770*b42*b71 + 6042*b42*b72 + 1166*b42*b73 + 7526*b42*b74 + 9434*b42
     *b76 + 8056*b42*b77 + 8056*b42*b78 + 4240*b42*b79 + 6586*b42*b80 + 6734*
     b42*b81 + 3330*b42*b82 + 4218*b42*b83 + 814*b42*b84 + 5254*b42*b85 + 6586*
     b42*b87 + 5624*b42*b88 + 5624*b42*b89 + 2960*b42*b90 + 4628*b42*b91 + 4732
     *b42*b92 + 2340*b42*b93 + 2964*b42*b94 + 572*b42*b95 + 3692*b42*b96 + 4628
     *b42*b98 + 3952*b42*b99 + 3952*b42*b100 + 2080*b42*b101 + 15486*b42*b102
      + 15834*b42*b103 + 7830*b42*b104 + 9918*b42*b105 + 1914*b42*b106 + 12354*
     b42*b107 + 15486*b42*b109 + 13224*b42*b110 + 13224*b42*b111 + 6960*b42*
     b112 + 13528*b42*b113 + 13832*b42*b114 + 6840*b42*b115 + 8664*b42*b116 + 
     1672*b42*b117 + 10792*b42*b118 + 13528*b42*b120 + 11552*b42*b121 + 11552*
     b42*b122 + 6080*b42*b123 + 2400*b42*b124 + 3700*b42*b125 + 3850*b42*b127
      + 1800*b42*b128 + 2650*b42*b129 + 1850*b42*b130 + 1300*b42*b131 + 4350*
     b42*b132 + 3800*b42*b133 + 182*b42*b134 + 90*b42*b135 + 114*b42*b136 + 22*
     b42*b137 + 178*b42*b139 + 152*b42*b140 + 152*b42*b141 + 80*b42*b142 + 178*
     b42*b143 + 142*b42*b144 + 1050*b42*b145 + 5390*b43*b47 + 1694*b43*b48 + 
     14014*b43*b49 + 5544*b43*b50 + 4466*b43*b51 + 1232*b43*b52 + 13706*b43*b53
      + 14322*b43*b55 + 8624*b43*b56 + 154*b43*b57 + 2520*b43*b58 + 792*b43*b59
      + 6552*b43*b60 + 2592*b43*b61 + 2088*b43*b62 + 576*b43*b63 + 6408*b43*b64
      + 6696*b43*b66 + 4032*b43*b67 + 72*b43*b68 + 3710*b43*b69 + 1166*b43*b70
      + 9646*b43*b71 + 3816*b43*b72 + 3074*b43*b73 + 848*b43*b74 + 9434*b43*b75
      + 9858*b43*b77 + 5936*b43*b78 + 106*b43*b79 + 2590*b43*b80 + 814*b43*b81
      + 6734*b43*b82 + 2664*b43*b83 + 2146*b43*b84 + 592*b43*b85 + 6586*b43*b86
      + 6882*b43*b88 + 4144*b43*b89 + 74*b43*b90 + 1820*b43*b91 + 572*b43*b92
      + 4732*b43*b93 + 1872*b43*b94 + 1508*b43*b95 + 416*b43*b96 + 4628*b43*b97
      + 4836*b43*b99 + 2912*b43*b100 + 52*b43*b101 + 6090*b43*b102 + 1914*b43*
     b103 + 15834*b43*b104 + 6264*b43*b105 + 5046*b43*b106 + 1392*b43*b107 + 
     15486*b43*b108 + 16182*b43*b110 + 9744*b43*b111 + 174*b43*b112 + 5320*b43*
     b113 + 1672*b43*b114 + 13832*b43*b115 + 5472*b43*b116 + 4408*b43*b117 + 
     1216*b43*b118 + 13528*b43*b119 + 14136*b43*b121 + 8512*b43*b122 + 152*b43*
     b123 + 960*b43*b124 + 1480*b43*b125 + 1540*b43*b127 + 720*b43*b128 + 1060*
     b43*b129 + 740*b43*b130 + 520*b43*b131 + 1740*b43*b132 + 1520*b43*b133 + 
     22*b43*b134 + 182*b43*b135 + 72*b43*b136 + 58*b43*b137 + 178*b43*b138 + 
     186*b43*b140 + 112*b43*b141 + 2*b43*b142 + 70*b43*b143 + 16*b43*b144 + 420
     *b43*b145 + 1386*b44*b47 + 5390*b44*b48 + 9086*b44*b49 + 9394*b44*b50 + 
     12628*b44*b51 + 11858*b44*b52 + 11704*b44*b53 + 14322*b44*b54 + 7700*b44*
     b56 + 616*b44*b57 + 648*b44*b58 + 2520*b44*b59 + 4248*b44*b60 + 4392*b44*
     b61 + 5904*b44*b62 + 5544*b44*b63 + 5472*b44*b64 + 6696*b44*b65 + 3600*b44
     *b67 + 288*b44*b68 + 954*b44*b69 + 3710*b44*b70 + 6254*b44*b71 + 6466*b44*
     b72 + 8692*b44*b73 + 8162*b44*b74 + 8056*b44*b75 + 9858*b44*b76 + 5300*b44
     *b78 + 424*b44*b79 + 666*b44*b80 + 2590*b44*b81 + 4366*b44*b82 + 4514*b44*
     b83 + 6068*b44*b84 + 5698*b44*b85 + 5624*b44*b86 + 6882*b44*b87 + 3700*b44
     *b89 + 296*b44*b90 + 468*b44*b91 + 1820*b44*b92 + 3068*b44*b93 + 3172*b44*
     b94 + 4264*b44*b95 + 4004*b44*b96 + 3952*b44*b97 + 4836*b44*b98 + 2600*b44
     *b100 + 208*b44*b101 + 1566*b44*b102 + 6090*b44*b103 + 10266*b44*b104 + 
     10614*b44*b105 + 14268*b44*b106 + 13398*b44*b107 + 13224*b44*b108 + 16182*
     b44*b109 + 8700*b44*b111 + 696*b44*b112 + 1368*b44*b113 + 5320*b44*b114 + 
     8968*b44*b115 + 9272*b44*b116 + 12464*b44*b117 + 11704*b44*b118 + 11552*
     b44*b119 + 14136*b44*b120 + 7600*b44*b122 + 608*b44*b123 + 384*b44*b124 + 
     592*b44*b125 + 616*b44*b127 + 288*b44*b128 + 424*b44*b129 + 296*b44*b130
      + 208*b44*b131 + 696*b44*b132 + 608*b44*b133 + 70*b44*b134 + 118*b44*b135
      + 122*b44*b136 + 164*b44*b137 + 152*b44*b138 + 186*b44*b139 + 100*b44*
     b141 + 8*b44*b142 + 18*b44*b143 + 154*b44*b144 + 168*b44*b145 + 154*b45*
     b47 + 12628*b45*b48 + 2772*b45*b49 + 5544*b45*b50 + 12628*b45*b51 + 11396*
     b45*b52 + 11704*b45*b53 + 8624*b45*b54 + 7700*b45*b55 + 5544*b45*b57 + 72*
     b45*b58 + 5904*b45*b59 + 1296*b45*b60 + 2592*b45*b61 + 5904*b45*b62 + 5328
     *b45*b63 + 5472*b45*b64 + 4032*b45*b65 + 3600*b45*b66 + 2592*b45*b68 + 106
     *b45*b69 + 8692*b45*b70 + 1908*b45*b71 + 3816*b45*b72 + 8692*b45*b73 + 
     7844*b45*b74 + 8056*b45*b75 + 5936*b45*b76 + 5300*b45*b77 + 3816*b45*b79
      + 74*b45*b80 + 6068*b45*b81 + 1332*b45*b82 + 2664*b45*b83 + 6068*b45*b84
      + 5476*b45*b85 + 5624*b45*b86 + 4144*b45*b87 + 3700*b45*b88 + 2664*b45*
     b90 + 52*b45*b91 + 4264*b45*b92 + 936*b45*b93 + 1872*b45*b94 + 4264*b45*
     b95 + 3848*b45*b96 + 3952*b45*b97 + 2912*b45*b98 + 2600*b45*b99 + 1872*b45
     *b101 + 174*b45*b102 + 14268*b45*b103 + 3132*b45*b104 + 6264*b45*b105 + 
     14268*b45*b106 + 12876*b45*b107 + 13224*b45*b108 + 9744*b45*b109 + 8700*
     b45*b110 + 6264*b45*b112 + 152*b45*b113 + 12464*b45*b114 + 2736*b45*b115
      + 5472*b45*b116 + 12464*b45*b117 + 11248*b45*b118 + 11552*b45*b119 + 8512
     *b45*b120 + 7600*b45*b121 + 5472*b45*b123 + 6048*b45*b124 + 9324*b45*b125
      + 9702*b45*b127 + 4536*b45*b128 + 6678*b45*b129 + 4662*b45*b130 + 3276*
     b45*b131 + 10962*b45*b132 + 9576*b45*b133 + 164*b45*b134 + 36*b45*b135 + 
     72*b45*b136 + 164*b45*b137 + 152*b45*b138 + 112*b45*b139 + 100*b45*b140 + 
     72*b45*b142 + 2*b45*b143 + 148*b45*b144 + 2646*b45*b145 + 13090*b46*b47 + 
     4004*b46*b48 + 11704*b46*b49 + 3234*b46*b50 + 924*b46*b51 + 4620*b46*b52
      + 6160*b46*b53 + 154*b46*b54 + 616*b46*b55 + 5544*b46*b56 + 6120*b46*b58
      + 1872*b46*b59 + 5472*b46*b60 + 1512*b46*b61 + 432*b46*b62 + 2160*b46*b63
      + 2880*b46*b64 + 72*b46*b65 + 288*b46*b66 + 2592*b46*b67 + 9010*b46*b69
      + 2756*b46*b70 + 8056*b46*b71 + 2226*b46*b72 + 636*b46*b73 + 3180*b46*b74
      + 4240*b46*b75 + 106*b46*b76 + 424*b46*b77 + 3816*b46*b78 + 6290*b46*b80
      + 1924*b46*b81 + 5624*b46*b82 + 1554*b46*b83 + 444*b46*b84 + 2220*b46*b85
      + 2960*b46*b86 + 74*b46*b87 + 296*b46*b88 + 2664*b46*b89 + 4420*b46*b91
      + 1352*b46*b92 + 3952*b46*b93 + 1092*b46*b94 + 312*b46*b95 + 1560*b46*b96
      + 2080*b46*b97 + 52*b46*b98 + 208*b46*b99 + 1872*b46*b100 + 14790*b46*
     b102 + 4524*b46*b103 + 13224*b46*b104 + 3654*b46*b105 + 1044*b46*b106 + 
     5220*b46*b107 + 6960*b46*b108 + 174*b46*b109 + 696*b46*b110 + 6264*b46*
     b111 + 12920*b46*b113 + 3952*b46*b114 + 11552*b46*b115 + 3192*b46*b116 + 
     912*b46*b117 + 4560*b46*b118 + 6080*b46*b119 + 152*b46*b120 + 608*b46*b121
      + 5472*b46*b122 + 576*b46*b124 + 888*b46*b125 + 924*b46*b127 + 432*b46*
     b128 + 636*b46*b129 + 444*b46*b130 + 312*b46*b131 + 1044*b46*b132 + 912*
     b46*b133 + 52*b46*b134 + 152*b46*b135 + 42*b46*b136 + 12*b46*b137 + 80*b46
     *b138 + 2*b46*b139 + 8*b46*b140 + 72*b46*b141 + 170*b46*b143 + 60*b46*b144
      + 252*b46*b145 + 8008*b47*b59 + 7280*b47*b60 + 13650*b47*b61 + 14378*b47*
     b62 + 16198*b47*b64 + 6370*b47*b65 + 1638*b47*b66 + 182*b47*b67 + 15470*
     b47*b68 + 1144*b47*b70 + 1040*b47*b71 + 1950*b47*b72 + 2054*b47*b73 + 2314
     *b47*b75 + 910*b47*b76 + 234*b47*b77 + 26*b47*b78 + 2210*b47*b79 + 2552*
     b47*b81 + 2320*b47*b82 + 4350*b47*b83 + 4582*b47*b84 + 5162*b47*b86 + 2030
     *b47*b87 + 522*b47*b88 + 58*b47*b89 + 4930*b47*b90 + 968*b47*b92 + 880*b47
     *b93 + 1650*b47*b94 + 1738*b47*b95 + 1958*b47*b97 + 770*b47*b98 + 198*b47*
     b99 + 22*b47*b100 + 1870*b47*b101 + 6776*b47*b103 + 6160*b47*b104 + 11550*
     b47*b105 + 12166*b47*b106 + 13706*b47*b108 + 5390*b47*b109 + 1386*b47*b110
      + 154*b47*b111 + 13090*b47*b112 + 2816*b47*b114 + 2560*b47*b115 + 4800*
     b47*b116 + 5056*b47*b117 + 5696*b47*b119 + 2240*b47*b120 + 576*b47*b121 + 
     64*b47*b122 + 5440*b47*b123 + 1218*b47*b124 + 1890*b47*b125 + 3234*b47*
     b126 + 3822*b47*b128 + 546*b47*b129 + 1218*b47*b130 + 462*b47*b131 + 3234*
     b47*b132 + 1344*b47*b133 + 1320*b47*b134 + 1200*b47*b135 + 2250*b47*b136
      + 2370*b47*b137 + 2670*b47*b138 + 1050*b47*b139 + 270*b47*b140 + 30*b47*
     b141 + 2550*b47*b142 + 3192*b47*b145 + 8008*b48*b58 + 15288*b48*b60 + 2184
     *b48*b61 + 4732*b48*b63 + 16562*b48*b64 + 2002*b48*b65 + 6370*b48*b66 + 
     14924*b48*b67 + 4732*b48*b68 + 1144*b48*b69 + 2184*b48*b71 + 312*b48*b72
      + 676*b48*b74 + 2366*b48*b75 + 286*b48*b76 + 910*b48*b77 + 2132*b48*b78
      + 676*b48*b79 + 2552*b48*b80 + 4872*b48*b82 + 696*b48*b83 + 1508*b48*b85
      + 5278*b48*b86 + 638*b48*b87 + 2030*b48*b88 + 4756*b48*b89 + 1508*b48*b90
      + 968*b48*b91 + 1848*b48*b93 + 264*b48*b94 + 572*b48*b96 + 2002*b48*b97
      + 242*b48*b98 + 770*b48*b99 + 1804*b48*b100 + 572*b48*b101 + 6776*b48*
     b102 + 12936*b48*b104 + 1848*b48*b105 + 4004*b48*b107 + 14014*b48*b108 + 
     1694*b48*b109 + 5390*b48*b110 + 12628*b48*b111 + 4004*b48*b112 + 2816*b48*
     b113 + 5376*b48*b115 + 768*b48*b116 + 1664*b48*b118 + 5824*b48*b119 + 704*
     b48*b120 + 2240*b48*b121 + 5248*b48*b122 + 1664*b48*b123 + 5510*b48*b124
      + 8550*b48*b125 + 14630*b48*b126 + 17290*b48*b128 + 2470*b48*b129 + 5510*
     b48*b130 + 2090*b48*b131 + 14630*b48*b132 + 6080*b48*b133 + 2520*b48*b135
      + 360*b48*b136 + 2730*b48*b138 + 330*b48*b139 + 1050*b48*b140 + 2460*b48*
     b141 + 780*b48*b142 + 1320*b48*b143 + 780*b48*b144 + 14440*b48*b145 + 7280
     *b49*b58 + 15288*b49*b59 + 12558*b49*b61 + 10192*b49*b62 + 15652*b49*b63
      + 8190*b49*b64 + 16562*b49*b65 + 10738*b49*b66 + 3276*b49*b67 + 13832*b49
     *b68 + 1040*b49*b69 + 2184*b49*b70 + 1794*b49*b72 + 1456*b49*b73 + 2236*
     b49*b74 + 1170*b49*b75 + 2366*b49*b76 + 1534*b49*b77 + 468*b49*b78 + 1976*
     b49*b79 + 2320*b49*b80 + 4872*b49*b81 + 4002*b49*b83 + 3248*b49*b84 + 4988
     *b49*b85 + 2610*b49*b86 + 5278*b49*b87 + 3422*b49*b88 + 1044*b49*b89 + 
     4408*b49*b90 + 880*b49*b91 + 1848*b49*b92 + 1518*b49*b94 + 1232*b49*b95 + 
     1892*b49*b96 + 990*b49*b97 + 2002*b49*b98 + 1298*b49*b99 + 396*b49*b100 + 
     1672*b49*b101 + 6160*b49*b102 + 12936*b49*b103 + 10626*b49*b105 + 8624*b49
     *b106 + 13244*b49*b107 + 6930*b49*b108 + 14014*b49*b109 + 9086*b49*b110 + 
     2772*b49*b111 + 11704*b49*b112 + 2560*b49*b113 + 5376*b49*b114 + 4416*b49*
     b116 + 3584*b49*b117 + 5504*b49*b118 + 2880*b49*b119 + 5824*b49*b120 + 
     3776*b49*b121 + 1152*b49*b122 + 4864*b49*b123 + 4756*b49*b124 + 7380*b49*
     b125 + 12628*b49*b126 + 14924*b49*b128 + 2132*b49*b129 + 4756*b49*b130 + 
     1804*b49*b131 + 12628*b49*b132 + 5248*b49*b133 + 2520*b49*b134 + 2070*b49*
     b136 + 1680*b49*b137 + 1350*b49*b138 + 2730*b49*b139 + 1770*b49*b140 + 540
     *b49*b141 + 2280*b49*b142 + 1200*b49*b143 + 2580*b49*b144 + 12464*b49*b145
      + 13650*b50*b58 + 2184*b50*b59 + 12558*b50*b60 + 7098*b50*b62 + 3276*b50*
     b63 + 10374*b50*b64 + 6552*b50*b65 + 11102*b50*b66 + 6552*b50*b67 + 3822*
     b50*b68 + 1950*b50*b69 + 312*b50*b70 + 1794*b50*b71 + 1014*b50*b73 + 468*
     b50*b74 + 1482*b50*b75 + 936*b50*b76 + 1586*b50*b77 + 936*b50*b78 + 546*
     b50*b79 + 4350*b50*b80 + 696*b50*b81 + 4002*b50*b82 + 2262*b50*b84 + 1044*
     b50*b85 + 3306*b50*b86 + 2088*b50*b87 + 3538*b50*b88 + 2088*b50*b89 + 1218
     *b50*b90 + 1650*b50*b91 + 264*b50*b92 + 1518*b50*b93 + 858*b50*b95 + 396*
     b50*b96 + 1254*b50*b97 + 792*b50*b98 + 1342*b50*b99 + 792*b50*b100 + 462*
     b50*b101 + 11550*b50*b102 + 1848*b50*b103 + 10626*b50*b104 + 6006*b50*b106
      + 2772*b50*b107 + 8778*b50*b108 + 5544*b50*b109 + 9394*b50*b110 + 5544*
     b50*b111 + 3234*b50*b112 + 4800*b50*b113 + 768*b50*b114 + 4416*b50*b115 + 
     2496*b50*b117 + 1152*b50*b118 + 3648*b50*b119 + 2304*b50*b120 + 3904*b50*
     b121 + 2304*b50*b122 + 1344*b50*b123 + 3248*b50*b124 + 5040*b50*b125 + 
     8624*b50*b126 + 10192*b50*b128 + 1456*b50*b129 + 3248*b50*b130 + 1232*b50*
     b131 + 8624*b50*b132 + 3584*b50*b133 + 360*b50*b134 + 2070*b50*b135 + 1170
     *b50*b137 + 1710*b50*b138 + 1080*b50*b139 + 1830*b50*b140 + 1080*b50*b141
      + 630*b50*b142 + 2250*b50*b143 + 540*b50*b144 + 8512*b50*b145 + 14378*b51
     *b58 + 10192*b51*b60 + 7098*b51*b61 + 12922*b51*b63 + 2002*b51*b64 + 5278*
     b51*b65 + 14924*b51*b66 + 14924*b51*b67 + 1092*b51*b68 + 2054*b51*b69 + 
     1456*b51*b71 + 1014*b51*b72 + 1846*b51*b74 + 286*b51*b75 + 754*b51*b76 + 
     2132*b51*b77 + 2132*b51*b78 + 156*b51*b79 + 4582*b51*b80 + 3248*b51*b82 + 
     2262*b51*b83 + 4118*b51*b85 + 638*b51*b86 + 1682*b51*b87 + 4756*b51*b88 + 
     4756*b51*b89 + 348*b51*b90 + 1738*b51*b91 + 1232*b51*b93 + 858*b51*b94 + 
     1562*b51*b96 + 242*b51*b97 + 638*b51*b98 + 1804*b51*b99 + 1804*b51*b100 + 
     132*b51*b101 + 12166*b51*b102 + 8624*b51*b104 + 6006*b51*b105 + 10934*b51*
     b107 + 1694*b51*b108 + 4466*b51*b109 + 12628*b51*b110 + 12628*b51*b111 + 
     924*b51*b112 + 5056*b51*b113 + 3584*b51*b115 + 2496*b51*b116 + 4544*b51*
     b118 + 704*b51*b119 + 1856*b51*b120 + 5248*b51*b121 + 5248*b51*b122 + 384*
     b51*b123 + 2378*b51*b124 + 3690*b51*b125 + 6314*b51*b126 + 7462*b51*b128
      + 1066*b51*b129 + 2378*b51*b130 + 902*b51*b131 + 6314*b51*b132 + 2624*b51
     *b133 + 1680*b51*b135 + 1170*b51*b136 + 330*b51*b138 + 870*b51*b139 + 2460
     *b51*b140 + 2460*b51*b141 + 180*b51*b142 + 2370*b51*b143 + 2130*b51*b144
      + 6232*b51*b145 + 4732*b52*b59 + 15652*b52*b60 + 3276*b52*b61 + 12922*b52
     *b62 + 12922*b52*b64 + 1456*b52*b65 + 14014*b52*b66 + 13468*b52*b67 + 5460
     *b52*b68 + 676*b52*b70 + 2236*b52*b71 + 468*b52*b72 + 1846*b52*b73 + 1846*
     b52*b75 + 208*b52*b76 + 2002*b52*b77 + 1924*b52*b78 + 780*b52*b79 + 1508*
     b52*b81 + 4988*b52*b82 + 1044*b52*b83 + 4118*b52*b84 + 4118*b52*b86 + 464*
     b52*b87 + 4466*b52*b88 + 4292*b52*b89 + 1740*b52*b90 + 572*b52*b92 + 1892*
     b52*b93 + 396*b52*b94 + 1562*b52*b95 + 1562*b52*b97 + 176*b52*b98 + 1694*
     b52*b99 + 1628*b52*b100 + 660*b52*b101 + 4004*b52*b103 + 13244*b52*b104 + 
     2772*b52*b105 + 10934*b52*b106 + 10934*b52*b108 + 1232*b52*b109 + 11858*
     b52*b110 + 11396*b52*b111 + 4620*b52*b112 + 1664*b52*b114 + 5504*b52*b115
      + 1152*b52*b116 + 4544*b52*b117 + 4544*b52*b119 + 512*b52*b120 + 4928*b52
     *b121 + 4736*b52*b122 + 1920*b52*b123 + 348*b52*b124 + 540*b52*b125 + 924*
     b52*b126 + 1092*b52*b128 + 156*b52*b129 + 348*b52*b130 + 132*b52*b131 + 
     924*b52*b132 + 384*b52*b133 + 780*b52*b134 + 2580*b52*b135 + 540*b52*b136
      + 2130*b52*b137 + 2130*b52*b138 + 240*b52*b139 + 2310*b52*b140 + 2220*b52
     *b141 + 900*b52*b142 + 912*b52*b145 + 16198*b53*b58 + 16562*b53*b59 + 8190
     *b53*b60 + 10374*b53*b61 + 2002*b53*b62 + 12922*b53*b63 + 16198*b53*b65 + 
     13832*b53*b66 + 13832*b53*b67 + 7280*b53*b68 + 2314*b53*b69 + 2366*b53*b70
      + 1170*b53*b71 + 1482*b53*b72 + 286*b53*b73 + 1846*b53*b74 + 2314*b53*b76
      + 1976*b53*b77 + 1976*b53*b78 + 1040*b53*b79 + 5162*b53*b80 + 5278*b53*
     b81 + 2610*b53*b82 + 3306*b53*b83 + 638*b53*b84 + 4118*b53*b85 + 5162*b53*
     b87 + 4408*b53*b88 + 4408*b53*b89 + 2320*b53*b90 + 1958*b53*b91 + 2002*b53
     *b92 + 990*b53*b93 + 1254*b53*b94 + 242*b53*b95 + 1562*b53*b96 + 1958*b53*
     b98 + 1672*b53*b99 + 1672*b53*b100 + 880*b53*b101 + 13706*b53*b102 + 14014
     *b53*b103 + 6930*b53*b104 + 8778*b53*b105 + 1694*b53*b106 + 10934*b53*b107
      + 13706*b53*b109 + 11704*b53*b110 + 11704*b53*b111 + 6160*b53*b112 + 5696
     *b53*b113 + 5824*b53*b114 + 2880*b53*b115 + 3648*b53*b116 + 704*b53*b117
      + 4544*b53*b118 + 5696*b53*b120 + 4864*b53*b121 + 4864*b53*b122 + 2560*
     b53*b123 + 1450*b53*b124 + 2250*b53*b125 + 3850*b53*b126 + 4550*b53*b128
      + 650*b53*b129 + 1450*b53*b130 + 550*b53*b131 + 3850*b53*b132 + 1600*b53*
     b133 + 2730*b53*b134 + 1350*b53*b135 + 1710*b53*b136 + 330*b53*b137 + 2670
     *b53*b139 + 2280*b53*b140 + 2280*b53*b141 + 1200*b53*b142 + 2670*b53*b143
      + 2130*b53*b144 + 3800*b53*b145 + 6370*b54*b58 + 2002*b54*b59 + 16562*b54
     *b60 + 6552*b54*b61 + 5278*b54*b62 + 1456*b54*b63 + 16198*b54*b64 + 16926*
     b54*b66 + 10192*b54*b67 + 182*b54*b68 + 910*b54*b69 + 286*b54*b70 + 2366*
     b54*b71 + 936*b54*b72 + 754*b54*b73 + 208*b54*b74 + 2314*b54*b75 + 2418*
     b54*b77 + 1456*b54*b78 + 26*b54*b79 + 2030*b54*b80 + 638*b54*b81 + 5278*
     b54*b82 + 2088*b54*b83 + 1682*b54*b84 + 464*b54*b85 + 5162*b54*b86 + 5394*
     b54*b88 + 3248*b54*b89 + 58*b54*b90 + 770*b54*b91 + 242*b54*b92 + 2002*b54
     *b93 + 792*b54*b94 + 638*b54*b95 + 176*b54*b96 + 1958*b54*b97 + 2046*b54*
     b99 + 1232*b54*b100 + 22*b54*b101 + 5390*b54*b102 + 1694*b54*b103 + 14014*
     b54*b104 + 5544*b54*b105 + 4466*b54*b106 + 1232*b54*b107 + 13706*b54*b108
      + 14322*b54*b110 + 8624*b54*b111 + 154*b54*b112 + 2240*b54*b113 + 704*b54
     *b114 + 5824*b54*b115 + 2304*b54*b116 + 1856*b54*b117 + 512*b54*b118 + 
     5696*b54*b119 + 5952*b54*b121 + 3584*b54*b122 + 64*b54*b123 + 580*b54*b124
      + 900*b54*b125 + 1540*b54*b126 + 1820*b54*b128 + 260*b54*b129 + 580*b54*
     b130 + 220*b54*b131 + 1540*b54*b132 + 640*b54*b133 + 330*b54*b134 + 2730*
     b54*b135 + 1080*b54*b136 + 870*b54*b137 + 2670*b54*b138 + 2790*b54*b140 + 
     1680*b54*b141 + 30*b54*b142 + 1050*b54*b143 + 240*b54*b144 + 1520*b54*b145
      + 1638*b55*b58 + 6370*b55*b59 + 10738*b55*b60 + 11102*b55*b61 + 14924*b55
     *b62 + 14014*b55*b63 + 13832*b55*b64 + 16926*b55*b65 + 9100*b55*b67 + 728*
     b55*b68 + 234*b55*b69 + 910*b55*b70 + 1534*b55*b71 + 1586*b55*b72 + 2132*
     b55*b73 + 2002*b55*b74 + 1976*b55*b75 + 2418*b55*b76 + 1300*b55*b78 + 104*
     b55*b79 + 522*b55*b80 + 2030*b55*b81 + 3422*b55*b82 + 3538*b55*b83 + 4756*
     b55*b84 + 4466*b55*b85 + 4408*b55*b86 + 5394*b55*b87 + 2900*b55*b89 + 232*
     b55*b90 + 198*b55*b91 + 770*b55*b92 + 1298*b55*b93 + 1342*b55*b94 + 1804*
     b55*b95 + 1694*b55*b96 + 1672*b55*b97 + 2046*b55*b98 + 1100*b55*b100 + 88*
     b55*b101 + 1386*b55*b102 + 5390*b55*b103 + 9086*b55*b104 + 9394*b55*b105
      + 12628*b55*b106 + 11858*b55*b107 + 11704*b55*b108 + 14322*b55*b109 + 
     7700*b55*b111 + 616*b55*b112 + 576*b55*b113 + 2240*b55*b114 + 3776*b55*
     b115 + 3904*b55*b116 + 5248*b55*b117 + 4928*b55*b118 + 4864*b55*b119 + 
     5952*b55*b120 + 3200*b55*b122 + 256*b55*b123 + 232*b55*b124 + 360*b55*b125
      + 616*b55*b126 + 728*b55*b128 + 104*b55*b129 + 232*b55*b130 + 88*b55*b131
      + 616*b55*b132 + 256*b55*b133 + 1050*b55*b134 + 1770*b55*b135 + 1830*b55*
     b136 + 2460*b55*b137 + 2280*b55*b138 + 2790*b55*b139 + 1500*b55*b141 + 120
     *b55*b142 + 270*b55*b143 + 2310*b55*b144 + 608*b55*b145 + 182*b56*b58 + 
     14924*b56*b59 + 3276*b56*b60 + 6552*b56*b61 + 14924*b56*b62 + 13468*b56*
     b63 + 13832*b56*b64 + 10192*b56*b65 + 9100*b56*b66 + 6552*b56*b68 + 26*b56
     *b69 + 2132*b56*b70 + 468*b56*b71 + 936*b56*b72 + 2132*b56*b73 + 1924*b56*
     b74 + 1976*b56*b75 + 1456*b56*b76 + 1300*b56*b77 + 936*b56*b79 + 58*b56*
     b80 + 4756*b56*b81 + 1044*b56*b82 + 2088*b56*b83 + 4756*b56*b84 + 4292*b56
     *b85 + 4408*b56*b86 + 3248*b56*b87 + 2900*b56*b88 + 2088*b56*b90 + 22*b56*
     b91 + 1804*b56*b92 + 396*b56*b93 + 792*b56*b94 + 1804*b56*b95 + 1628*b56*
     b96 + 1672*b56*b97 + 1232*b56*b98 + 1100*b56*b99 + 792*b56*b101 + 154*b56*
     b102 + 12628*b56*b103 + 2772*b56*b104 + 5544*b56*b105 + 12628*b56*b106 + 
     11396*b56*b107 + 11704*b56*b108 + 8624*b56*b109 + 7700*b56*b110 + 5544*b56
     *b112 + 64*b56*b113 + 5248*b56*b114 + 1152*b56*b115 + 2304*b56*b116 + 5248
     *b56*b117 + 4736*b56*b118 + 4864*b56*b119 + 3584*b56*b120 + 3200*b56*b121
      + 2304*b56*b123 + 3654*b56*b124 + 5670*b56*b125 + 9702*b56*b126 + 11466*
     b56*b128 + 1638*b56*b129 + 3654*b56*b130 + 1386*b56*b131 + 9702*b56*b132
      + 4032*b56*b133 + 2460*b56*b134 + 540*b56*b135 + 1080*b56*b136 + 2460*b56
     *b137 + 2280*b56*b138 + 1680*b56*b139 + 1500*b56*b140 + 1080*b56*b142 + 30
     *b56*b143 + 2220*b56*b144 + 9576*b56*b145 + 15470*b57*b58 + 4732*b57*b59
      + 13832*b57*b60 + 3822*b57*b61 + 1092*b57*b62 + 5460*b57*b63 + 7280*b57*
     b64 + 182*b57*b65 + 728*b57*b66 + 6552*b57*b67 + 2210*b57*b69 + 676*b57*
     b70 + 1976*b57*b71 + 546*b57*b72 + 156*b57*b73 + 780*b57*b74 + 1040*b57*
     b75 + 26*b57*b76 + 104*b57*b77 + 936*b57*b78 + 4930*b57*b80 + 1508*b57*b81
      + 4408*b57*b82 + 1218*b57*b83 + 348*b57*b84 + 1740*b57*b85 + 2320*b57*b86
      + 58*b57*b87 + 232*b57*b88 + 2088*b57*b89 + 1870*b57*b91 + 572*b57*b92 + 
     1672*b57*b93 + 462*b57*b94 + 132*b57*b95 + 660*b57*b96 + 880*b57*b97 + 22*
     b57*b98 + 88*b57*b99 + 792*b57*b100 + 13090*b57*b102 + 4004*b57*b103 + 
     11704*b57*b104 + 3234*b57*b105 + 924*b57*b106 + 4620*b57*b107 + 6160*b57*
     b108 + 154*b57*b109 + 616*b57*b110 + 5544*b57*b111 + 5440*b57*b113 + 1664*
     b57*b114 + 4864*b57*b115 + 1344*b57*b116 + 384*b57*b117 + 1920*b57*b118 + 
     2560*b57*b119 + 64*b57*b120 + 256*b57*b121 + 2304*b57*b122 + 348*b57*b124
      + 540*b57*b125 + 924*b57*b126 + 1092*b57*b128 + 156*b57*b129 + 348*b57*
     b130 + 132*b57*b131 + 924*b57*b132 + 384*b57*b133 + 780*b57*b134 + 2280*
     b57*b135 + 630*b57*b136 + 180*b57*b137 + 1200*b57*b138 + 30*b57*b139 + 120
     *b57*b140 + 1080*b57*b141 + 2550*b57*b143 + 900*b57*b144 + 912*b57*b145 + 
     7656*b58*b70 + 6960*b58*b71 + 13050*b58*b72 + 13746*b58*b73 + 15486*b58*
     b75 + 6090*b58*b76 + 1566*b58*b77 + 174*b58*b78 + 14790*b58*b79 + 5896*b58
     *b81 + 5360*b58*b82 + 10050*b58*b83 + 10586*b58*b84 + 11926*b58*b86 + 4690
     *b58*b87 + 1206*b58*b88 + 134*b58*b89 + 11390*b58*b90 + 8272*b58*b92 + 
     7520*b58*b93 + 14100*b58*b94 + 14852*b58*b95 + 16732*b58*b97 + 6580*b58*
     b98 + 1692*b58*b99 + 188*b58*b100 + 15980*b58*b101 + 6952*b58*b103 + 6320*
     b58*b104 + 11850*b58*b105 + 12482*b58*b106 + 14062*b58*b108 + 5530*b58*
     b109 + 1422*b58*b110 + 158*b58*b111 + 13430*b58*b112 + 176*b58*b114 + 160*
     b58*b115 + 300*b58*b116 + 316*b58*b117 + 356*b58*b119 + 140*b58*b120 + 36*
     b58*b121 + 4*b58*b122 + 340*b58*b123 + 3780*b58*b124 + 2730*b58*b125 + 
     1512*b58*b126 + 3822*b58*b127 + 3654*b58*b129 + 2814*b58*b130 + 3948*b58*
     b131 + 3318*b58*b132 + 84*b58*b133 + 968*b58*b134 + 880*b58*b135 + 1650*
     b58*b136 + 1738*b58*b137 + 1958*b58*b138 + 770*b58*b139 + 198*b58*b140 + 
     22*b58*b141 + 1870*b58*b142 + 3024*b58*b145 + 7656*b59*b69 + 14616*b59*b71
      + 2088*b59*b72 + 4524*b59*b74 + 15834*b59*b75 + 1914*b59*b76 + 6090*b59*
     b77 + 14268*b59*b78 + 4524*b59*b79 + 5896*b59*b80 + 11256*b59*b82 + 1608*
     b59*b83 + 3484*b59*b85 + 12194*b59*b86 + 1474*b59*b87 + 4690*b59*b88 + 
     10988*b59*b89 + 3484*b59*b90 + 8272*b59*b91 + 15792*b59*b93 + 2256*b59*b94
      + 4888*b59*b96 + 17108*b59*b97 + 2068*b59*b98 + 6580*b59*b99 + 15416*b59*
     b100 + 4888*b59*b101 + 6952*b59*b102 + 13272*b59*b104 + 1896*b59*b105 + 
     4108*b59*b107 + 14378*b59*b108 + 1738*b59*b109 + 5530*b59*b110 + 12956*b59
     *b111 + 4108*b59*b112 + 176*b59*b113 + 336*b59*b115 + 48*b59*b116 + 104*
     b59*b118 + 364*b59*b119 + 44*b59*b120 + 140*b59*b121 + 328*b59*b122 + 104*
     b59*b123 + 17100*b59*b124 + 12350*b59*b125 + 6840*b59*b126 + 17290*b59*
     b127 + 16530*b59*b129 + 12730*b59*b130 + 17860*b59*b131 + 15010*b59*b132
      + 380*b59*b133 + 1848*b59*b135 + 264*b59*b136 + 2002*b59*b138 + 242*b59*
     b139 + 770*b59*b140 + 1804*b59*b141 + 572*b59*b142 + 968*b59*b143 + 572*
     b59*b144 + 13680*b59*b145 + 6960*b60*b69 + 14616*b60*b70 + 12006*b60*b72
      + 9744*b60*b73 + 14964*b60*b74 + 7830*b60*b75 + 15834*b60*b76 + 10266*b60
     *b77 + 3132*b60*b78 + 13224*b60*b79 + 5360*b60*b80 + 11256*b60*b81 + 9246*
     b60*b83 + 7504*b60*b84 + 11524*b60*b85 + 6030*b60*b86 + 12194*b60*b87 + 
     7906*b60*b88 + 2412*b60*b89 + 10184*b60*b90 + 7520*b60*b91 + 15792*b60*b92
      + 12972*b60*b94 + 10528*b60*b95 + 16168*b60*b96 + 8460*b60*b97 + 17108*
     b60*b98 + 11092*b60*b99 + 3384*b60*b100 + 14288*b60*b101 + 6320*b60*b102
      + 13272*b60*b103 + 10902*b60*b105 + 8848*b60*b106 + 13588*b60*b107 + 7110
     *b60*b108 + 14378*b60*b109 + 9322*b60*b110 + 2844*b60*b111 + 12008*b60*
     b112 + 160*b60*b113 + 336*b60*b114 + 276*b60*b116 + 224*b60*b117 + 344*b60
     *b118 + 180*b60*b119 + 364*b60*b120 + 236*b60*b121 + 72*b60*b122 + 304*b60
     *b123 + 14760*b60*b124 + 10660*b60*b125 + 5904*b60*b126 + 14924*b60*b127
      + 14268*b60*b129 + 10988*b60*b130 + 15416*b60*b131 + 12956*b60*b132 + 328
     *b60*b133 + 1848*b60*b134 + 1518*b60*b136 + 1232*b60*b137 + 990*b60*b138
      + 2002*b60*b139 + 1298*b60*b140 + 396*b60*b141 + 1672*b60*b142 + 880*b60*
     b143 + 1892*b60*b144 + 11808*b60*b145 + 13050*b61*b69 + 2088*b61*b70 + 
     12006*b61*b71 + 6786*b61*b73 + 3132*b61*b74 + 9918*b61*b75 + 6264*b61*b76
      + 10614*b61*b77 + 6264*b61*b78 + 3654*b61*b79 + 10050*b61*b80 + 1608*b61*
     b81 + 9246*b61*b82 + 5226*b61*b84 + 2412*b61*b85 + 7638*b61*b86 + 4824*b61
     *b87 + 8174*b61*b88 + 4824*b61*b89 + 2814*b61*b90 + 14100*b61*b91 + 2256*
     b61*b92 + 12972*b61*b93 + 7332*b61*b95 + 3384*b61*b96 + 10716*b61*b97 + 
     6768*b61*b98 + 11468*b61*b99 + 6768*b61*b100 + 3948*b61*b101 + 11850*b61*
     b102 + 1896*b61*b103 + 10902*b61*b104 + 6162*b61*b106 + 2844*b61*b107 + 
     9006*b61*b108 + 5688*b61*b109 + 9638*b61*b110 + 5688*b61*b111 + 3318*b61*
     b112 + 300*b61*b113 + 48*b61*b114 + 276*b61*b115 + 156*b61*b117 + 72*b61*
     b118 + 228*b61*b119 + 144*b61*b120 + 244*b61*b121 + 144*b61*b122 + 84*b61*
     b123 + 10080*b61*b124 + 7280*b61*b125 + 4032*b61*b126 + 10192*b61*b127 + 
     9744*b61*b129 + 7504*b61*b130 + 10528*b61*b131 + 8848*b61*b132 + 224*b61*
     b133 + 264*b61*b134 + 1518*b61*b135 + 858*b61*b137 + 1254*b61*b138 + 792*
     b61*b139 + 1342*b61*b140 + 792*b61*b141 + 462*b61*b142 + 1650*b61*b143 + 
     396*b61*b144 + 8064*b61*b145 + 13746*b62*b69 + 9744*b62*b71 + 6786*b62*b72
      + 12354*b62*b74 + 1914*b62*b75 + 5046*b62*b76 + 14268*b62*b77 + 14268*b62
     *b78 + 1044*b62*b79 + 10586*b62*b80 + 7504*b62*b82 + 5226*b62*b83 + 9514*
     b62*b85 + 1474*b62*b86 + 3886*b62*b87 + 10988*b62*b88 + 10988*b62*b89 + 
     804*b62*b90 + 14852*b62*b91 + 10528*b62*b93 + 7332*b62*b94 + 13348*b62*b96
      + 2068*b62*b97 + 5452*b62*b98 + 15416*b62*b99 + 15416*b62*b100 + 1128*b62
     *b101 + 12482*b62*b102 + 8848*b62*b104 + 6162*b62*b105 + 11218*b62*b107 + 
     1738*b62*b108 + 4582*b62*b109 + 12956*b62*b110 + 12956*b62*b111 + 948*b62*
     b112 + 316*b62*b113 + 224*b62*b115 + 156*b62*b116 + 284*b62*b118 + 44*b62*
     b119 + 116*b62*b120 + 328*b62*b121 + 328*b62*b122 + 24*b62*b123 + 7380*b62
     *b124 + 5330*b62*b125 + 2952*b62*b126 + 7462*b62*b127 + 7134*b62*b129 + 
     5494*b62*b130 + 7708*b62*b131 + 6478*b62*b132 + 164*b62*b133 + 1232*b62*
     b135 + 858*b62*b136 + 242*b62*b138 + 638*b62*b139 + 1804*b62*b140 + 1804*
     b62*b141 + 132*b62*b142 + 1738*b62*b143 + 1562*b62*b144 + 5904*b62*b145 + 
     4524*b63*b70 + 14964*b63*b71 + 3132*b63*b72 + 12354*b63*b73 + 12354*b63*
     b75 + 1392*b63*b76 + 13398*b63*b77 + 12876*b63*b78 + 5220*b63*b79 + 3484*
     b63*b81 + 11524*b63*b82 + 2412*b63*b83 + 9514*b63*b84 + 9514*b63*b86 + 
     1072*b63*b87 + 10318*b63*b88 + 9916*b63*b89 + 4020*b63*b90 + 4888*b63*b92
      + 16168*b63*b93 + 3384*b63*b94 + 13348*b63*b95 + 13348*b63*b97 + 1504*b63
     *b98 + 14476*b63*b99 + 13912*b63*b100 + 5640*b63*b101 + 4108*b63*b103 + 
     13588*b63*b104 + 2844*b63*b105 + 11218*b63*b106 + 11218*b63*b108 + 1264*
     b63*b109 + 12166*b63*b110 + 11692*b63*b111 + 4740*b63*b112 + 104*b63*b114
      + 344*b63*b115 + 72*b63*b116 + 284*b63*b117 + 284*b63*b119 + 32*b63*b120
      + 308*b63*b121 + 296*b63*b122 + 120*b63*b123 + 1080*b63*b124 + 780*b63*
     b125 + 432*b63*b126 + 1092*b63*b127 + 1044*b63*b129 + 804*b63*b130 + 1128*
     b63*b131 + 948*b63*b132 + 24*b63*b133 + 572*b63*b134 + 1892*b63*b135 + 396
     *b63*b136 + 1562*b63*b137 + 1562*b63*b138 + 176*b63*b139 + 1694*b63*b140
      + 1628*b63*b141 + 660*b63*b142 + 864*b63*b145 + 15486*b64*b69 + 15834*b64
     *b70 + 7830*b64*b71 + 9918*b64*b72 + 1914*b64*b73 + 12354*b64*b74 + 15486*
     b64*b76 + 13224*b64*b77 + 13224*b64*b78 + 6960*b64*b79 + 11926*b64*b80 + 
     12194*b64*b81 + 6030*b64*b82 + 7638*b64*b83 + 1474*b64*b84 + 9514*b64*b85
      + 11926*b64*b87 + 10184*b64*b88 + 10184*b64*b89 + 5360*b64*b90 + 16732*
     b64*b91 + 17108*b64*b92 + 8460*b64*b93 + 10716*b64*b94 + 2068*b64*b95 + 
     13348*b64*b96 + 16732*b64*b98 + 14288*b64*b99 + 14288*b64*b100 + 7520*b64*
     b101 + 14062*b64*b102 + 14378*b64*b103 + 7110*b64*b104 + 9006*b64*b105 + 
     1738*b64*b106 + 11218*b64*b107 + 14062*b64*b109 + 12008*b64*b110 + 12008*
     b64*b111 + 6320*b64*b112 + 356*b64*b113 + 364*b64*b114 + 180*b64*b115 + 
     228*b64*b116 + 44*b64*b117 + 284*b64*b118 + 356*b64*b120 + 304*b64*b121 + 
     304*b64*b122 + 160*b64*b123 + 4500*b64*b124 + 3250*b64*b125 + 1800*b64*
     b126 + 4550*b64*b127 + 4350*b64*b129 + 3350*b64*b130 + 4700*b64*b131 + 
     3950*b64*b132 + 100*b64*b133 + 2002*b64*b134 + 990*b64*b135 + 1254*b64*
     b136 + 242*b64*b137 + 1958*b64*b139 + 1672*b64*b140 + 1672*b64*b141 + 880*
     b64*b142 + 1958*b64*b143 + 1562*b64*b144 + 3600*b64*b145 + 6090*b65*b69 + 
     1914*b65*b70 + 15834*b65*b71 + 6264*b65*b72 + 5046*b65*b73 + 1392*b65*b74
      + 15486*b65*b75 + 16182*b65*b77 + 9744*b65*b78 + 174*b65*b79 + 4690*b65*
     b80 + 1474*b65*b81 + 12194*b65*b82 + 4824*b65*b83 + 3886*b65*b84 + 1072*
     b65*b85 + 11926*b65*b86 + 12462*b65*b88 + 7504*b65*b89 + 134*b65*b90 + 
     6580*b65*b91 + 2068*b65*b92 + 17108*b65*b93 + 6768*b65*b94 + 5452*b65*b95
      + 1504*b65*b96 + 16732*b65*b97 + 17484*b65*b99 + 10528*b65*b100 + 188*b65
     *b101 + 5530*b65*b102 + 1738*b65*b103 + 14378*b65*b104 + 5688*b65*b105 + 
     4582*b65*b106 + 1264*b65*b107 + 14062*b65*b108 + 14694*b65*b110 + 8848*b65
     *b111 + 158*b65*b112 + 140*b65*b113 + 44*b65*b114 + 364*b65*b115 + 144*b65
     *b116 + 116*b65*b117 + 32*b65*b118 + 356*b65*b119 + 372*b65*b121 + 224*b65
     *b122 + 4*b65*b123 + 1800*b65*b124 + 1300*b65*b125 + 720*b65*b126 + 1820*
     b65*b127 + 1740*b65*b129 + 1340*b65*b130 + 1880*b65*b131 + 1580*b65*b132
      + 40*b65*b133 + 242*b65*b134 + 2002*b65*b135 + 792*b65*b136 + 638*b65*
     b137 + 1958*b65*b138 + 2046*b65*b140 + 1232*b65*b141 + 22*b65*b142 + 770*
     b65*b143 + 176*b65*b144 + 1440*b65*b145 + 1566*b66*b69 + 6090*b66*b70 + 
     10266*b66*b71 + 10614*b66*b72 + 14268*b66*b73 + 13398*b66*b74 + 13224*b66*
     b75 + 16182*b66*b76 + 8700*b66*b78 + 696*b66*b79 + 1206*b66*b80 + 4690*b66
     *b81 + 7906*b66*b82 + 8174*b66*b83 + 10988*b66*b84 + 10318*b66*b85 + 10184
     *b66*b86 + 12462*b66*b87 + 6700*b66*b89 + 536*b66*b90 + 1692*b66*b91 + 
     6580*b66*b92 + 11092*b66*b93 + 11468*b66*b94 + 15416*b66*b95 + 14476*b66*
     b96 + 14288*b66*b97 + 17484*b66*b98 + 9400*b66*b100 + 752*b66*b101 + 1422*
     b66*b102 + 5530*b66*b103 + 9322*b66*b104 + 9638*b66*b105 + 12956*b66*b106
      + 12166*b66*b107 + 12008*b66*b108 + 14694*b66*b109 + 7900*b66*b111 + 632*
     b66*b112 + 36*b66*b113 + 140*b66*b114 + 236*b66*b115 + 244*b66*b116 + 328*
     b66*b117 + 308*b66*b118 + 304*b66*b119 + 372*b66*b120 + 200*b66*b122 + 16*
     b66*b123 + 720*b66*b124 + 520*b66*b125 + 288*b66*b126 + 728*b66*b127 + 696
     *b66*b129 + 536*b66*b130 + 752*b66*b131 + 632*b66*b132 + 16*b66*b133 + 770
     *b66*b134 + 1298*b66*b135 + 1342*b66*b136 + 1804*b66*b137 + 1672*b66*b138
      + 2046*b66*b139 + 1100*b66*b141 + 88*b66*b142 + 198*b66*b143 + 1694*b66*
     b144 + 576*b66*b145 + 174*b67*b69 + 14268*b67*b70 + 3132*b67*b71 + 6264*
     b67*b72 + 14268*b67*b73 + 12876*b67*b74 + 13224*b67*b75 + 9744*b67*b76 + 
     8700*b67*b77 + 6264*b67*b79 + 134*b67*b80 + 10988*b67*b81 + 2412*b67*b82
      + 4824*b67*b83 + 10988*b67*b84 + 9916*b67*b85 + 10184*b67*b86 + 7504*b67*
     b87 + 6700*b67*b88 + 4824*b67*b90 + 188*b67*b91 + 15416*b67*b92 + 3384*b67
     *b93 + 6768*b67*b94 + 15416*b67*b95 + 13912*b67*b96 + 14288*b67*b97 + 
     10528*b67*b98 + 9400*b67*b99 + 6768*b67*b101 + 158*b67*b102 + 12956*b67*
     b103 + 2844*b67*b104 + 5688*b67*b105 + 12956*b67*b106 + 11692*b67*b107 + 
     12008*b67*b108 + 8848*b67*b109 + 7900*b67*b110 + 5688*b67*b112 + 4*b67*
     b113 + 328*b67*b114 + 72*b67*b115 + 144*b67*b116 + 328*b67*b117 + 296*b67*
     b118 + 304*b67*b119 + 224*b67*b120 + 200*b67*b121 + 144*b67*b123 + 11340*
     b67*b124 + 8190*b67*b125 + 4536*b67*b126 + 11466*b67*b127 + 10962*b67*b129
      + 8442*b67*b130 + 11844*b67*b131 + 9954*b67*b132 + 252*b67*b133 + 1804*
     b67*b134 + 396*b67*b135 + 792*b67*b136 + 1804*b67*b137 + 1672*b67*b138 + 
     1232*b67*b139 + 1100*b67*b140 + 792*b67*b142 + 22*b67*b143 + 1628*b67*b144
      + 9072*b67*b145 + 14790*b68*b69 + 4524*b68*b70 + 13224*b68*b71 + 3654*b68
     *b72 + 1044*b68*b73 + 5220*b68*b74 + 6960*b68*b75 + 174*b68*b76 + 696*b68*
     b77 + 6264*b68*b78 + 11390*b68*b80 + 3484*b68*b81 + 10184*b68*b82 + 2814*
     b68*b83 + 804*b68*b84 + 4020*b68*b85 + 5360*b68*b86 + 134*b68*b87 + 536*
     b68*b88 + 4824*b68*b89 + 15980*b68*b91 + 4888*b68*b92 + 14288*b68*b93 + 
     3948*b68*b94 + 1128*b68*b95 + 5640*b68*b96 + 7520*b68*b97 + 188*b68*b98 + 
     752*b68*b99 + 6768*b68*b100 + 13430*b68*b102 + 4108*b68*b103 + 12008*b68*
     b104 + 3318*b68*b105 + 948*b68*b106 + 4740*b68*b107 + 6320*b68*b108 + 158*
     b68*b109 + 632*b68*b110 + 5688*b68*b111 + 340*b68*b113 + 104*b68*b114 + 
     304*b68*b115 + 84*b68*b116 + 24*b68*b117 + 120*b68*b118 + 160*b68*b119 + 4
     *b68*b120 + 16*b68*b121 + 144*b68*b122 + 1080*b68*b124 + 780*b68*b125 + 
     432*b68*b126 + 1092*b68*b127 + 1044*b68*b129 + 804*b68*b130 + 1128*b68*
     b131 + 948*b68*b132 + 24*b68*b133 + 572*b68*b134 + 1672*b68*b135 + 462*b68
     *b136 + 132*b68*b137 + 880*b68*b138 + 22*b68*b139 + 88*b68*b140 + 792*b68*
     b141 + 1870*b68*b143 + 660*b68*b144 + 864*b68*b145 + 880*b69*b81 + 800*b69
     *b82 + 1500*b69*b83 + 1580*b69*b84 + 1780*b69*b86 + 700*b69*b87 + 180*b69*
     b88 + 20*b69*b89 + 1700*b69*b90 + 8712*b69*b92 + 7920*b69*b93 + 14850*b69*
     b94 + 15642*b69*b95 + 17622*b69*b97 + 6930*b69*b98 + 1782*b69*b99 + 198*
     b69*b100 + 16830*b69*b101 + 4928*b69*b103 + 4480*b69*b104 + 8400*b69*b105
      + 8848*b69*b106 + 9968*b69*b108 + 3920*b69*b109 + 1008*b69*b110 + 112*b69
     *b111 + 9520*b69*b112 + 6160*b69*b114 + 5600*b69*b115 + 10500*b69*b116 + 
     11060*b69*b117 + 12460*b69*b119 + 4900*b69*b120 + 1260*b69*b121 + 140*b69*
     b122 + 11900*b69*b123 + 2772*b69*b124 + 1680*b69*b125 + 2226*b69*b126 + 
     546*b69*b127 + 3654*b69*b128 + 420*b69*b130 + 4158*b69*b131 + 2352*b69*
     b132 + 2940*b69*b133 + 3080*b69*b134 + 2800*b69*b135 + 5250*b69*b136 + 
     5530*b69*b137 + 6230*b69*b138 + 2450*b69*b139 + 630*b69*b140 + 70*b69*b141
      + 5950*b69*b142 + 1848*b69*b145 + 880*b70*b80 + 1680*b70*b82 + 240*b70*
     b83 + 520*b70*b85 + 1820*b70*b86 + 220*b70*b87 + 700*b70*b88 + 1640*b70*
     b89 + 520*b70*b90 + 8712*b70*b91 + 16632*b70*b93 + 2376*b70*b94 + 5148*b70
     *b96 + 18018*b70*b97 + 2178*b70*b98 + 6930*b70*b99 + 16236*b70*b100 + 5148
     *b70*b101 + 4928*b70*b102 + 9408*b70*b104 + 1344*b70*b105 + 2912*b70*b107
      + 10192*b70*b108 + 1232*b70*b109 + 3920*b70*b110 + 9184*b70*b111 + 2912*
     b70*b112 + 6160*b70*b113 + 11760*b70*b115 + 1680*b70*b116 + 3640*b70*b118
      + 12740*b70*b119 + 1540*b70*b120 + 4900*b70*b121 + 11480*b70*b122 + 3640*
     b70*b123 + 12540*b70*b124 + 7600*b70*b125 + 10070*b70*b126 + 2470*b70*b127
      + 16530*b70*b128 + 1900*b70*b130 + 18810*b70*b131 + 10640*b70*b132 + 
     13300*b70*b133 + 5880*b70*b135 + 840*b70*b136 + 6370*b70*b138 + 770*b70*
     b139 + 2450*b70*b140 + 5740*b70*b141 + 1820*b70*b142 + 3080*b70*b143 + 
     1820*b70*b144 + 8360*b70*b145 + 800*b71*b80 + 1680*b71*b81 + 1380*b71*b83
      + 1120*b71*b84 + 1720*b71*b85 + 900*b71*b86 + 1820*b71*b87 + 1180*b71*b88
      + 360*b71*b89 + 1520*b71*b90 + 7920*b71*b91 + 16632*b71*b92 + 13662*b71*
     b94 + 11088*b71*b95 + 17028*b71*b96 + 8910*b71*b97 + 18018*b71*b98 + 11682
     *b71*b99 + 3564*b71*b100 + 15048*b71*b101 + 4480*b71*b102 + 9408*b71*b103
      + 7728*b71*b105 + 6272*b71*b106 + 9632*b71*b107 + 5040*b71*b108 + 10192*
     b71*b109 + 6608*b71*b110 + 2016*b71*b111 + 8512*b71*b112 + 5600*b71*b113
      + 11760*b71*b114 + 9660*b71*b116 + 7840*b71*b117 + 12040*b71*b118 + 6300*
     b71*b119 + 12740*b71*b120 + 8260*b71*b121 + 2520*b71*b122 + 10640*b71*b123
      + 10824*b71*b124 + 6560*b71*b125 + 8692*b71*b126 + 2132*b71*b127 + 14268*
     b71*b128 + 1640*b71*b130 + 16236*b71*b131 + 9184*b71*b132 + 11480*b71*b133
      + 5880*b71*b134 + 4830*b71*b136 + 3920*b71*b137 + 3150*b71*b138 + 6370*
     b71*b139 + 4130*b71*b140 + 1260*b71*b141 + 5320*b71*b142 + 2800*b71*b143
      + 6020*b71*b144 + 7216*b71*b145 + 1500*b72*b80 + 240*b72*b81 + 1380*b72*
     b82 + 780*b72*b84 + 360*b72*b85 + 1140*b72*b86 + 720*b72*b87 + 1220*b72*
     b88 + 720*b72*b89 + 420*b72*b90 + 14850*b72*b91 + 2376*b72*b92 + 13662*b72
     *b93 + 7722*b72*b95 + 3564*b72*b96 + 11286*b72*b97 + 7128*b72*b98 + 12078*
     b72*b99 + 7128*b72*b100 + 4158*b72*b101 + 8400*b72*b102 + 1344*b72*b103 + 
     7728*b72*b104 + 4368*b72*b106 + 2016*b72*b107 + 6384*b72*b108 + 4032*b72*
     b109 + 6832*b72*b110 + 4032*b72*b111 + 2352*b72*b112 + 10500*b72*b113 + 
     1680*b72*b114 + 9660*b72*b115 + 5460*b72*b117 + 2520*b72*b118 + 7980*b72*
     b119 + 5040*b72*b120 + 8540*b72*b121 + 5040*b72*b122 + 2940*b72*b123 + 
     7392*b72*b124 + 4480*b72*b125 + 5936*b72*b126 + 1456*b72*b127 + 9744*b72*
     b128 + 1120*b72*b130 + 11088*b72*b131 + 6272*b72*b132 + 7840*b72*b133 + 
     840*b72*b134 + 4830*b72*b135 + 2730*b72*b137 + 3990*b72*b138 + 2520*b72*
     b139 + 4270*b72*b140 + 2520*b72*b141 + 1470*b72*b142 + 5250*b72*b143 + 
     1260*b72*b144 + 4928*b72*b145 + 1580*b73*b80 + 1120*b73*b82 + 780*b73*b83
      + 1420*b73*b85 + 220*b73*b86 + 580*b73*b87 + 1640*b73*b88 + 1640*b73*b89
      + 120*b73*b90 + 15642*b73*b91 + 11088*b73*b93 + 7722*b73*b94 + 14058*b73*
     b96 + 2178*b73*b97 + 5742*b73*b98 + 16236*b73*b99 + 16236*b73*b100 + 1188*
     b73*b101 + 8848*b73*b102 + 6272*b73*b104 + 4368*b73*b105 + 7952*b73*b107
      + 1232*b73*b108 + 3248*b73*b109 + 9184*b73*b110 + 9184*b73*b111 + 672*b73
     *b112 + 11060*b73*b113 + 7840*b73*b115 + 5460*b73*b116 + 9940*b73*b118 + 
     1540*b73*b119 + 4060*b73*b120 + 11480*b73*b121 + 11480*b73*b122 + 840*b73*
     b123 + 5412*b73*b124 + 3280*b73*b125 + 4346*b73*b126 + 1066*b73*b127 + 
     7134*b73*b128 + 820*b73*b130 + 8118*b73*b131 + 4592*b73*b132 + 5740*b73*
     b133 + 3920*b73*b135 + 2730*b73*b136 + 770*b73*b138 + 2030*b73*b139 + 5740
     *b73*b140 + 5740*b73*b141 + 420*b73*b142 + 5530*b73*b143 + 4970*b73*b144
      + 3608*b73*b145 + 520*b74*b81 + 1720*b74*b82 + 360*b74*b83 + 1420*b74*b84
      + 1420*b74*b86 + 160*b74*b87 + 1540*b74*b88 + 1480*b74*b89 + 600*b74*b90
      + 5148*b74*b92 + 17028*b74*b93 + 3564*b74*b94 + 14058*b74*b95 + 14058*b74
     *b97 + 1584*b74*b98 + 15246*b74*b99 + 14652*b74*b100 + 5940*b74*b101 + 
     2912*b74*b103 + 9632*b74*b104 + 2016*b74*b105 + 7952*b74*b106 + 7952*b74*
     b108 + 896*b74*b109 + 8624*b74*b110 + 8288*b74*b111 + 3360*b74*b112 + 3640
     *b74*b114 + 12040*b74*b115 + 2520*b74*b116 + 9940*b74*b117 + 9940*b74*b119
      + 1120*b74*b120 + 10780*b74*b121 + 10360*b74*b122 + 4200*b74*b123 + 792*
     b74*b124 + 480*b74*b125 + 636*b74*b126 + 156*b74*b127 + 1044*b74*b128 + 
     120*b74*b130 + 1188*b74*b131 + 672*b74*b132 + 840*b74*b133 + 1820*b74*b134
      + 6020*b74*b135 + 1260*b74*b136 + 4970*b74*b137 + 4970*b74*b138 + 560*b74
     *b139 + 5390*b74*b140 + 5180*b74*b141 + 2100*b74*b142 + 528*b74*b145 + 
     1780*b75*b80 + 1820*b75*b81 + 900*b75*b82 + 1140*b75*b83 + 220*b75*b84 + 
     1420*b75*b85 + 1780*b75*b87 + 1520*b75*b88 + 1520*b75*b89 + 800*b75*b90 + 
     17622*b75*b91 + 18018*b75*b92 + 8910*b75*b93 + 11286*b75*b94 + 2178*b75*
     b95 + 14058*b75*b96 + 17622*b75*b98 + 15048*b75*b99 + 15048*b75*b100 + 
     7920*b75*b101 + 9968*b75*b102 + 10192*b75*b103 + 5040*b75*b104 + 6384*b75*
     b105 + 1232*b75*b106 + 7952*b75*b107 + 9968*b75*b109 + 8512*b75*b110 + 
     8512*b75*b111 + 4480*b75*b112 + 12460*b75*b113 + 12740*b75*b114 + 6300*b75
     *b115 + 7980*b75*b116 + 1540*b75*b117 + 9940*b75*b118 + 12460*b75*b120 + 
     10640*b75*b121 + 10640*b75*b122 + 5600*b75*b123 + 3300*b75*b124 + 2000*b75
     *b125 + 2650*b75*b126 + 650*b75*b127 + 4350*b75*b128 + 500*b75*b130 + 4950
     *b75*b131 + 2800*b75*b132 + 3500*b75*b133 + 6370*b75*b134 + 3150*b75*b135
      + 3990*b75*b136 + 770*b75*b137 + 6230*b75*b139 + 5320*b75*b140 + 5320*b75
     *b141 + 2800*b75*b142 + 6230*b75*b143 + 4970*b75*b144 + 2200*b75*b145 + 
     700*b76*b80 + 220*b76*b81 + 1820*b76*b82 + 720*b76*b83 + 580*b76*b84 + 160
     *b76*b85 + 1780*b76*b86 + 1860*b76*b88 + 1120*b76*b89 + 20*b76*b90 + 6930*
     b76*b91 + 2178*b76*b92 + 18018*b76*b93 + 7128*b76*b94 + 5742*b76*b95 + 
     1584*b76*b96 + 17622*b76*b97 + 18414*b76*b99 + 11088*b76*b100 + 198*b76*
     b101 + 3920*b76*b102 + 1232*b76*b103 + 10192*b76*b104 + 4032*b76*b105 + 
     3248*b76*b106 + 896*b76*b107 + 9968*b76*b108 + 10416*b76*b110 + 6272*b76*
     b111 + 112*b76*b112 + 4900*b76*b113 + 1540*b76*b114 + 12740*b76*b115 + 
     5040*b76*b116 + 4060*b76*b117 + 1120*b76*b118 + 12460*b76*b119 + 13020*b76
     *b121 + 7840*b76*b122 + 140*b76*b123 + 1320*b76*b124 + 800*b76*b125 + 1060
     *b76*b126 + 260*b76*b127 + 1740*b76*b128 + 200*b76*b130 + 1980*b76*b131 + 
     1120*b76*b132 + 1400*b76*b133 + 770*b76*b134 + 6370*b76*b135 + 2520*b76*
     b136 + 2030*b76*b137 + 6230*b76*b138 + 6510*b76*b140 + 3920*b76*b141 + 70*
     b76*b142 + 2450*b76*b143 + 560*b76*b144 + 880*b76*b145 + 180*b77*b80 + 700
     *b77*b81 + 1180*b77*b82 + 1220*b77*b83 + 1640*b77*b84 + 1540*b77*b85 + 
     1520*b77*b86 + 1860*b77*b87 + 1000*b77*b89 + 80*b77*b90 + 1782*b77*b91 + 
     6930*b77*b92 + 11682*b77*b93 + 12078*b77*b94 + 16236*b77*b95 + 15246*b77*
     b96 + 15048*b77*b97 + 18414*b77*b98 + 9900*b77*b100 + 792*b77*b101 + 1008*
     b77*b102 + 3920*b77*b103 + 6608*b77*b104 + 6832*b77*b105 + 9184*b77*b106
      + 8624*b77*b107 + 8512*b77*b108 + 10416*b77*b109 + 5600*b77*b111 + 448*
     b77*b112 + 1260*b77*b113 + 4900*b77*b114 + 8260*b77*b115 + 8540*b77*b116
      + 11480*b77*b117 + 10780*b77*b118 + 10640*b77*b119 + 13020*b77*b120 + 
     7000*b77*b122 + 560*b77*b123 + 528*b77*b124 + 320*b77*b125 + 424*b77*b126
      + 104*b77*b127 + 696*b77*b128 + 80*b77*b130 + 792*b77*b131 + 448*b77*b132
      + 560*b77*b133 + 2450*b77*b134 + 4130*b77*b135 + 4270*b77*b136 + 5740*b77
     *b137 + 5320*b77*b138 + 6510*b77*b139 + 3500*b77*b141 + 280*b77*b142 + 630
     *b77*b143 + 5390*b77*b144 + 352*b77*b145 + 20*b78*b80 + 1640*b78*b81 + 360
     *b78*b82 + 720*b78*b83 + 1640*b78*b84 + 1480*b78*b85 + 1520*b78*b86 + 1120
     *b78*b87 + 1000*b78*b88 + 720*b78*b90 + 198*b78*b91 + 16236*b78*b92 + 3564
     *b78*b93 + 7128*b78*b94 + 16236*b78*b95 + 14652*b78*b96 + 15048*b78*b97 + 
     11088*b78*b98 + 9900*b78*b99 + 7128*b78*b101 + 112*b78*b102 + 9184*b78*
     b103 + 2016*b78*b104 + 4032*b78*b105 + 9184*b78*b106 + 8288*b78*b107 + 
     8512*b78*b108 + 6272*b78*b109 + 5600*b78*b110 + 4032*b78*b112 + 140*b78*
     b113 + 11480*b78*b114 + 2520*b78*b115 + 5040*b78*b116 + 11480*b78*b117 + 
     10360*b78*b118 + 10640*b78*b119 + 7840*b78*b120 + 7000*b78*b121 + 5040*b78
     *b123 + 8316*b78*b124 + 5040*b78*b125 + 6678*b78*b126 + 1638*b78*b127 + 
     10962*b78*b128 + 1260*b78*b130 + 12474*b78*b131 + 7056*b78*b132 + 8820*b78
     *b133 + 5740*b78*b134 + 1260*b78*b135 + 2520*b78*b136 + 5740*b78*b137 + 
     5320*b78*b138 + 3920*b78*b139 + 3500*b78*b140 + 2520*b78*b142 + 70*b78*
     b143 + 5180*b78*b144 + 5544*b78*b145 + 1700*b79*b80 + 520*b79*b81 + 1520*
     b79*b82 + 420*b79*b83 + 120*b79*b84 + 600*b79*b85 + 800*b79*b86 + 20*b79*
     b87 + 80*b79*b88 + 720*b79*b89 + 16830*b79*b91 + 5148*b79*b92 + 15048*b79*
     b93 + 4158*b79*b94 + 1188*b79*b95 + 5940*b79*b96 + 7920*b79*b97 + 198*b79*
     b98 + 792*b79*b99 + 7128*b79*b100 + 9520*b79*b102 + 2912*b79*b103 + 8512*
     b79*b104 + 2352*b79*b105 + 672*b79*b106 + 3360*b79*b107 + 4480*b79*b108 + 
     112*b79*b109 + 448*b79*b110 + 4032*b79*b111 + 11900*b79*b113 + 3640*b79*
     b114 + 10640*b79*b115 + 2940*b79*b116 + 840*b79*b117 + 4200*b79*b118 + 
     5600*b79*b119 + 140*b79*b120 + 560*b79*b121 + 5040*b79*b122 + 792*b79*b124
      + 480*b79*b125 + 636*b79*b126 + 156*b79*b127 + 1044*b79*b128 + 120*b79*
     b130 + 1188*b79*b131 + 672*b79*b132 + 840*b79*b133 + 1820*b79*b134 + 5320*
     b79*b135 + 1470*b79*b136 + 420*b79*b137 + 2800*b79*b138 + 70*b79*b139 + 
     280*b79*b140 + 2520*b79*b141 + 5950*b79*b143 + 2100*b79*b144 + 528*b79*
     b145 + 8712*b80*b92 + 7920*b80*b93 + 14850*b80*b94 + 15642*b80*b95 + 17622
     *b80*b97 + 6930*b80*b98 + 1782*b80*b99 + 198*b80*b100 + 16830*b80*b101 + 
     5280*b80*b103 + 4800*b80*b104 + 9000*b80*b105 + 9480*b80*b106 + 10680*b80*
     b108 + 4200*b80*b109 + 1080*b80*b110 + 120*b80*b111 + 10200*b80*b112 + 352
     *b80*b114 + 320*b80*b115 + 600*b80*b116 + 632*b80*b117 + 712*b80*b119 + 
     280*b80*b120 + 72*b80*b121 + 8*b80*b122 + 680*b80*b123 + 1722*b80*b124 + 
     2268*b80*b125 + 1554*b80*b126 + 1218*b80*b127 + 2814*b80*b128 + 420*b80*
     b129 + 4158*b80*b131 + 2520*b80*b132 + 168*b80*b133 + 968*b80*b134 + 880*
     b80*b135 + 1650*b80*b136 + 1738*b80*b137 + 1958*b80*b138 + 770*b80*b139 + 
     198*b80*b140 + 22*b80*b141 + 1870*b80*b142 + 3570*b80*b145 + 8712*b81*b91
      + 16632*b81*b93 + 2376*b81*b94 + 5148*b81*b96 + 18018*b81*b97 + 2178*b81*
     b98 + 6930*b81*b99 + 16236*b81*b100 + 5148*b81*b101 + 5280*b81*b102 + 
     10080*b81*b104 + 1440*b81*b105 + 3120*b81*b107 + 10920*b81*b108 + 1320*b81
     *b109 + 4200*b81*b110 + 9840*b81*b111 + 3120*b81*b112 + 352*b81*b113 + 672
     *b81*b115 + 96*b81*b116 + 208*b81*b118 + 728*b81*b119 + 88*b81*b120 + 280*
     b81*b121 + 656*b81*b122 + 208*b81*b123 + 7790*b81*b124 + 10260*b81*b125 + 
     7030*b81*b126 + 5510*b81*b127 + 12730*b81*b128 + 1900*b81*b129 + 18810*b81
     *b131 + 11400*b81*b132 + 760*b81*b133 + 1848*b81*b135 + 264*b81*b136 + 
     2002*b81*b138 + 242*b81*b139 + 770*b81*b140 + 1804*b81*b141 + 572*b81*b142
      + 968*b81*b143 + 572*b81*b144 + 16150*b81*b145 + 7920*b82*b91 + 16632*b82
     *b92 + 13662*b82*b94 + 11088*b82*b95 + 17028*b82*b96 + 8910*b82*b97 + 
     18018*b82*b98 + 11682*b82*b99 + 3564*b82*b100 + 15048*b82*b101 + 4800*b82*
     b102 + 10080*b82*b103 + 8280*b82*b105 + 6720*b82*b106 + 10320*b82*b107 + 
     5400*b82*b108 + 10920*b82*b109 + 7080*b82*b110 + 2160*b82*b111 + 9120*b82*
     b112 + 320*b82*b113 + 672*b82*b114 + 552*b82*b116 + 448*b82*b117 + 688*b82
     *b118 + 360*b82*b119 + 728*b82*b120 + 472*b82*b121 + 144*b82*b122 + 608*
     b82*b123 + 6724*b82*b124 + 8856*b82*b125 + 6068*b82*b126 + 4756*b82*b127
      + 10988*b82*b128 + 1640*b82*b129 + 16236*b82*b131 + 9840*b82*b132 + 656*
     b82*b133 + 1848*b82*b134 + 1518*b82*b136 + 1232*b82*b137 + 990*b82*b138 + 
     2002*b82*b139 + 1298*b82*b140 + 396*b82*b141 + 1672*b82*b142 + 880*b82*
     b143 + 1892*b82*b144 + 13940*b82*b145 + 14850*b83*b91 + 2376*b83*b92 + 
     13662*b83*b93 + 7722*b83*b95 + 3564*b83*b96 + 11286*b83*b97 + 7128*b83*b98
      + 12078*b83*b99 + 7128*b83*b100 + 4158*b83*b101 + 9000*b83*b102 + 1440*
     b83*b103 + 8280*b83*b104 + 4680*b83*b106 + 2160*b83*b107 + 6840*b83*b108
      + 4320*b83*b109 + 7320*b83*b110 + 4320*b83*b111 + 2520*b83*b112 + 600*b83
     *b113 + 96*b83*b114 + 552*b83*b115 + 312*b83*b117 + 144*b83*b118 + 456*b83
     *b119 + 288*b83*b120 + 488*b83*b121 + 288*b83*b122 + 168*b83*b123 + 4592*
     b83*b124 + 6048*b83*b125 + 4144*b83*b126 + 3248*b83*b127 + 7504*b83*b128
      + 1120*b83*b129 + 11088*b83*b131 + 6720*b83*b132 + 448*b83*b133 + 264*b83
     *b134 + 1518*b83*b135 + 858*b83*b137 + 1254*b83*b138 + 792*b83*b139 + 1342
     *b83*b140 + 792*b83*b141 + 462*b83*b142 + 1650*b83*b143 + 396*b83*b144 + 
     9520*b83*b145 + 15642*b84*b91 + 11088*b84*b93 + 7722*b84*b94 + 14058*b84*
     b96 + 2178*b84*b97 + 5742*b84*b98 + 16236*b84*b99 + 16236*b84*b100 + 1188*
     b84*b101 + 9480*b84*b102 + 6720*b84*b104 + 4680*b84*b105 + 8520*b84*b107
      + 1320*b84*b108 + 3480*b84*b109 + 9840*b84*b110 + 9840*b84*b111 + 720*b84
     *b112 + 632*b84*b113 + 448*b84*b115 + 312*b84*b116 + 568*b84*b118 + 88*b84
     *b119 + 232*b84*b120 + 656*b84*b121 + 656*b84*b122 + 48*b84*b123 + 3362*
     b84*b124 + 4428*b84*b125 + 3034*b84*b126 + 2378*b84*b127 + 5494*b84*b128
      + 820*b84*b129 + 8118*b84*b131 + 4920*b84*b132 + 328*b84*b133 + 1232*b84*
     b135 + 858*b84*b136 + 242*b84*b138 + 638*b84*b139 + 1804*b84*b140 + 1804*
     b84*b141 + 132*b84*b142 + 1738*b84*b143 + 1562*b84*b144 + 6970*b84*b145 + 
     5148*b85*b92 + 17028*b85*b93 + 3564*b85*b94 + 14058*b85*b95 + 14058*b85*
     b97 + 1584*b85*b98 + 15246*b85*b99 + 14652*b85*b100 + 5940*b85*b101 + 3120
     *b85*b103 + 10320*b85*b104 + 2160*b85*b105 + 8520*b85*b106 + 8520*b85*b108
      + 960*b85*b109 + 9240*b85*b110 + 8880*b85*b111 + 3600*b85*b112 + 208*b85*
     b114 + 688*b85*b115 + 144*b85*b116 + 568*b85*b117 + 568*b85*b119 + 64*b85*
     b120 + 616*b85*b121 + 592*b85*b122 + 240*b85*b123 + 492*b85*b124 + 648*b85
     *b125 + 444*b85*b126 + 348*b85*b127 + 804*b85*b128 + 120*b85*b129 + 1188*
     b85*b131 + 720*b85*b132 + 48*b85*b133 + 572*b85*b134 + 1892*b85*b135 + 396
     *b85*b136 + 1562*b85*b137 + 1562*b85*b138 + 176*b85*b139 + 1694*b85*b140
      + 1628*b85*b141 + 660*b85*b142 + 1020*b85*b145 + 17622*b86*b91 + 18018*
     b86*b92 + 8910*b86*b93 + 11286*b86*b94 + 2178*b86*b95 + 14058*b86*b96 + 
     17622*b86*b98 + 15048*b86*b99 + 15048*b86*b100 + 7920*b86*b101 + 10680*b86
     *b102 + 10920*b86*b103 + 5400*b86*b104 + 6840*b86*b105 + 1320*b86*b106 + 
     8520*b86*b107 + 10680*b86*b109 + 9120*b86*b110 + 9120*b86*b111 + 4800*b86*
     b112 + 712*b86*b113 + 728*b86*b114 + 360*b86*b115 + 456*b86*b116 + 88*b86*
     b117 + 568*b86*b118 + 712*b86*b120 + 608*b86*b121 + 608*b86*b122 + 320*b86
     *b123 + 2050*b86*b124 + 2700*b86*b125 + 1850*b86*b126 + 1450*b86*b127 + 
     3350*b86*b128 + 500*b86*b129 + 4950*b86*b131 + 3000*b86*b132 + 200*b86*
     b133 + 2002*b86*b134 + 990*b86*b135 + 1254*b86*b136 + 242*b86*b137 + 1958*
     b86*b139 + 1672*b86*b140 + 1672*b86*b141 + 880*b86*b142 + 1958*b86*b143 + 
     1562*b86*b144 + 4250*b86*b145 + 6930*b87*b91 + 2178*b87*b92 + 18018*b87*
     b93 + 7128*b87*b94 + 5742*b87*b95 + 1584*b87*b96 + 17622*b87*b97 + 18414*
     b87*b99 + 11088*b87*b100 + 198*b87*b101 + 4200*b87*b102 + 1320*b87*b103 + 
     10920*b87*b104 + 4320*b87*b105 + 3480*b87*b106 + 960*b87*b107 + 10680*b87*
     b108 + 11160*b87*b110 + 6720*b87*b111 + 120*b87*b112 + 280*b87*b113 + 88*
     b87*b114 + 728*b87*b115 + 288*b87*b116 + 232*b87*b117 + 64*b87*b118 + 712*
     b87*b119 + 744*b87*b121 + 448*b87*b122 + 8*b87*b123 + 820*b87*b124 + 1080*
     b87*b125 + 740*b87*b126 + 580*b87*b127 + 1340*b87*b128 + 200*b87*b129 + 
     1980*b87*b131 + 1200*b87*b132 + 80*b87*b133 + 242*b87*b134 + 2002*b87*b135
      + 792*b87*b136 + 638*b87*b137 + 1958*b87*b138 + 2046*b87*b140 + 1232*b87*
     b141 + 22*b87*b142 + 770*b87*b143 + 176*b87*b144 + 1700*b87*b145 + 1782*
     b88*b91 + 6930*b88*b92 + 11682*b88*b93 + 12078*b88*b94 + 16236*b88*b95 + 
     15246*b88*b96 + 15048*b88*b97 + 18414*b88*b98 + 9900*b88*b100 + 792*b88*
     b101 + 1080*b88*b102 + 4200*b88*b103 + 7080*b88*b104 + 7320*b88*b105 + 
     9840*b88*b106 + 9240*b88*b107 + 9120*b88*b108 + 11160*b88*b109 + 6000*b88*
     b111 + 480*b88*b112 + 72*b88*b113 + 280*b88*b114 + 472*b88*b115 + 488*b88*
     b116 + 656*b88*b117 + 616*b88*b118 + 608*b88*b119 + 744*b88*b120 + 400*b88
     *b122 + 32*b88*b123 + 328*b88*b124 + 432*b88*b125 + 296*b88*b126 + 232*b88
     *b127 + 536*b88*b128 + 80*b88*b129 + 792*b88*b131 + 480*b88*b132 + 32*b88*
     b133 + 770*b88*b134 + 1298*b88*b135 + 1342*b88*b136 + 1804*b88*b137 + 1672
     *b88*b138 + 2046*b88*b139 + 1100*b88*b141 + 88*b88*b142 + 198*b88*b143 + 
     1694*b88*b144 + 680*b88*b145 + 198*b89*b91 + 16236*b89*b92 + 3564*b89*b93
      + 7128*b89*b94 + 16236*b89*b95 + 14652*b89*b96 + 15048*b89*b97 + 11088*
     b89*b98 + 9900*b89*b99 + 7128*b89*b101 + 120*b89*b102 + 9840*b89*b103 + 
     2160*b89*b104 + 4320*b89*b105 + 9840*b89*b106 + 8880*b89*b107 + 9120*b89*
     b108 + 6720*b89*b109 + 6000*b89*b110 + 4320*b89*b112 + 8*b89*b113 + 656*
     b89*b114 + 144*b89*b115 + 288*b89*b116 + 656*b89*b117 + 592*b89*b118 + 608
     *b89*b119 + 448*b89*b120 + 400*b89*b121 + 288*b89*b123 + 5166*b89*b124 + 
     6804*b89*b125 + 4662*b89*b126 + 3654*b89*b127 + 8442*b89*b128 + 1260*b89*
     b129 + 12474*b89*b131 + 7560*b89*b132 + 504*b89*b133 + 1804*b89*b134 + 396
     *b89*b135 + 792*b89*b136 + 1804*b89*b137 + 1672*b89*b138 + 1232*b89*b139
      + 1100*b89*b140 + 792*b89*b142 + 22*b89*b143 + 1628*b89*b144 + 10710*b89*
     b145 + 16830*b90*b91 + 5148*b90*b92 + 15048*b90*b93 + 4158*b90*b94 + 1188*
     b90*b95 + 5940*b90*b96 + 7920*b90*b97 + 198*b90*b98 + 792*b90*b99 + 7128*
     b90*b100 + 10200*b90*b102 + 3120*b90*b103 + 9120*b90*b104 + 2520*b90*b105
      + 720*b90*b106 + 3600*b90*b107 + 4800*b90*b108 + 120*b90*b109 + 480*b90*
     b110 + 4320*b90*b111 + 680*b90*b113 + 208*b90*b114 + 608*b90*b115 + 168*
     b90*b116 + 48*b90*b117 + 240*b90*b118 + 320*b90*b119 + 8*b90*b120 + 32*b90
     *b121 + 288*b90*b122 + 492*b90*b124 + 648*b90*b125 + 444*b90*b126 + 348*
     b90*b127 + 804*b90*b128 + 120*b90*b129 + 1188*b90*b131 + 720*b90*b132 + 48
     *b90*b133 + 572*b90*b134 + 1672*b90*b135 + 462*b90*b136 + 132*b90*b137 + 
     880*b90*b138 + 22*b90*b139 + 88*b90*b140 + 792*b90*b141 + 1870*b90*b143 + 
     660*b90*b144 + 1020*b90*b145 + 4928*b91*b103 + 4480*b91*b104 + 8400*b91*
     b105 + 8848*b91*b106 + 9968*b91*b108 + 3920*b91*b109 + 1008*b91*b110 + 112
     *b91*b111 + 9520*b91*b112 + 176*b91*b114 + 160*b91*b115 + 300*b91*b116 + 
     316*b91*b117 + 356*b91*b119 + 140*b91*b120 + 36*b91*b121 + 4*b91*b122 + 
     340*b91*b123 + 630*b91*b124 + 3486*b91*b125 + 1092*b91*b126 + 462*b91*b127
      + 3948*b91*b128 + 4158*b91*b129 + 4158*b91*b130 + 2352*b91*b132 + 84*b91*
     b133 + 1760*b91*b134 + 1600*b91*b135 + 3000*b91*b136 + 3160*b91*b137 + 
     3560*b91*b138 + 1400*b91*b139 + 360*b91*b140 + 40*b91*b141 + 3400*b91*b142
      + 3948*b91*b145 + 4928*b92*b102 + 9408*b92*b104 + 1344*b92*b105 + 2912*
     b92*b107 + 10192*b92*b108 + 1232*b92*b109 + 3920*b92*b110 + 9184*b92*b111
      + 2912*b92*b112 + 176*b92*b113 + 336*b92*b115 + 48*b92*b116 + 104*b92*
     b118 + 364*b92*b119 + 44*b92*b120 + 140*b92*b121 + 328*b92*b122 + 104*b92*
     b123 + 2850*b92*b124 + 15770*b92*b125 + 4940*b92*b126 + 2090*b92*b127 + 
     17860*b92*b128 + 18810*b92*b129 + 18810*b92*b130 + 10640*b92*b132 + 380*
     b92*b133 + 3360*b92*b135 + 480*b92*b136 + 3640*b92*b138 + 440*b92*b139 + 
     1400*b92*b140 + 3280*b92*b141 + 1040*b92*b142 + 1760*b92*b143 + 1040*b92*
     b144 + 17860*b92*b145 + 4480*b93*b102 + 9408*b93*b103 + 7728*b93*b105 + 
     6272*b93*b106 + 9632*b93*b107 + 5040*b93*b108 + 10192*b93*b109 + 6608*b93*
     b110 + 2016*b93*b111 + 8512*b93*b112 + 160*b93*b113 + 336*b93*b114 + 276*
     b93*b116 + 224*b93*b117 + 344*b93*b118 + 180*b93*b119 + 364*b93*b120 + 236
     *b93*b121 + 72*b93*b122 + 304*b93*b123 + 2460*b93*b124 + 13612*b93*b125 + 
     4264*b93*b126 + 1804*b93*b127 + 15416*b93*b128 + 16236*b93*b129 + 16236*
     b93*b130 + 9184*b93*b132 + 328*b93*b133 + 3360*b93*b134 + 2760*b93*b136 + 
     2240*b93*b137 + 1800*b93*b138 + 3640*b93*b139 + 2360*b93*b140 + 720*b93*
     b141 + 3040*b93*b142 + 1600*b93*b143 + 3440*b93*b144 + 15416*b93*b145 + 
     8400*b94*b102 + 1344*b94*b103 + 7728*b94*b104 + 4368*b94*b106 + 2016*b94*
     b107 + 6384*b94*b108 + 4032*b94*b109 + 6832*b94*b110 + 4032*b94*b111 + 
     2352*b94*b112 + 300*b94*b113 + 48*b94*b114 + 276*b94*b115 + 156*b94*b117
      + 72*b94*b118 + 228*b94*b119 + 144*b94*b120 + 244*b94*b121 + 144*b94*b122
      + 84*b94*b123 + 1680*b94*b124 + 9296*b94*b125 + 2912*b94*b126 + 1232*b94*
     b127 + 10528*b94*b128 + 11088*b94*b129 + 11088*b94*b130 + 6272*b94*b132 + 
     224*b94*b133 + 480*b94*b134 + 2760*b94*b135 + 1560*b94*b137 + 2280*b94*
     b138 + 1440*b94*b139 + 2440*b94*b140 + 1440*b94*b141 + 840*b94*b142 + 3000
     *b94*b143 + 720*b94*b144 + 10528*b94*b145 + 8848*b95*b102 + 6272*b95*b104
      + 4368*b95*b105 + 7952*b95*b107 + 1232*b95*b108 + 3248*b95*b109 + 9184*
     b95*b110 + 9184*b95*b111 + 672*b95*b112 + 316*b95*b113 + 224*b95*b115 + 
     156*b95*b116 + 284*b95*b118 + 44*b95*b119 + 116*b95*b120 + 328*b95*b121 + 
     328*b95*b122 + 24*b95*b123 + 1230*b95*b124 + 6806*b95*b125 + 2132*b95*b126
      + 902*b95*b127 + 7708*b95*b128 + 8118*b95*b129 + 8118*b95*b130 + 4592*b95
     *b132 + 164*b95*b133 + 2240*b95*b135 + 1560*b95*b136 + 440*b95*b138 + 1160
     *b95*b139 + 3280*b95*b140 + 3280*b95*b141 + 240*b95*b142 + 3160*b95*b143
      + 2840*b95*b144 + 7708*b95*b145 + 2912*b96*b103 + 9632*b96*b104 + 2016*
     b96*b105 + 7952*b96*b106 + 7952*b96*b108 + 896*b96*b109 + 8624*b96*b110 + 
     8288*b96*b111 + 3360*b96*b112 + 104*b96*b114 + 344*b96*b115 + 72*b96*b116
      + 284*b96*b117 + 284*b96*b119 + 32*b96*b120 + 308*b96*b121 + 296*b96*b122
      + 120*b96*b123 + 180*b96*b124 + 996*b96*b125 + 312*b96*b126 + 132*b96*
     b127 + 1128*b96*b128 + 1188*b96*b129 + 1188*b96*b130 + 672*b96*b132 + 24*
     b96*b133 + 1040*b96*b134 + 3440*b96*b135 + 720*b96*b136 + 2840*b96*b137 + 
     2840*b96*b138 + 320*b96*b139 + 3080*b96*b140 + 2960*b96*b141 + 1200*b96*
     b142 + 1128*b96*b145 + 9968*b97*b102 + 10192*b97*b103 + 5040*b97*b104 + 
     6384*b97*b105 + 1232*b97*b106 + 7952*b97*b107 + 9968*b97*b109 + 8512*b97*
     b110 + 8512*b97*b111 + 4480*b97*b112 + 356*b97*b113 + 364*b97*b114 + 180*
     b97*b115 + 228*b97*b116 + 44*b97*b117 + 284*b97*b118 + 356*b97*b120 + 304*
     b97*b121 + 304*b97*b122 + 160*b97*b123 + 750*b97*b124 + 4150*b97*b125 + 
     1300*b97*b126 + 550*b97*b127 + 4700*b97*b128 + 4950*b97*b129 + 4950*b97*
     b130 + 2800*b97*b132 + 100*b97*b133 + 3640*b97*b134 + 1800*b97*b135 + 2280
     *b97*b136 + 440*b97*b137 + 3560*b97*b139 + 3040*b97*b140 + 3040*b97*b141
      + 1600*b97*b142 + 3560*b97*b143 + 2840*b97*b144 + 4700*b97*b145 + 3920*
     b98*b102 + 1232*b98*b103 + 10192*b98*b104 + 4032*b98*b105 + 3248*b98*b106
      + 896*b98*b107 + 9968*b98*b108 + 10416*b98*b110 + 6272*b98*b111 + 112*b98
     *b112 + 140*b98*b113 + 44*b98*b114 + 364*b98*b115 + 144*b98*b116 + 116*b98
     *b117 + 32*b98*b118 + 356*b98*b119 + 372*b98*b121 + 224*b98*b122 + 4*b98*
     b123 + 300*b98*b124 + 1660*b98*b125 + 520*b98*b126 + 220*b98*b127 + 1880*
     b98*b128 + 1980*b98*b129 + 1980*b98*b130 + 1120*b98*b132 + 40*b98*b133 + 
     440*b98*b134 + 3640*b98*b135 + 1440*b98*b136 + 1160*b98*b137 + 3560*b98*
     b138 + 3720*b98*b140 + 2240*b98*b141 + 40*b98*b142 + 1400*b98*b143 + 320*
     b98*b144 + 1880*b98*b145 + 1008*b99*b102 + 3920*b99*b103 + 6608*b99*b104
      + 6832*b99*b105 + 9184*b99*b106 + 8624*b99*b107 + 8512*b99*b108 + 10416*
     b99*b109 + 5600*b99*b111 + 448*b99*b112 + 36*b99*b113 + 140*b99*b114 + 236
     *b99*b115 + 244*b99*b116 + 328*b99*b117 + 308*b99*b118 + 304*b99*b119 + 
     372*b99*b120 + 200*b99*b122 + 16*b99*b123 + 120*b99*b124 + 664*b99*b125 + 
     208*b99*b126 + 88*b99*b127 + 752*b99*b128 + 792*b99*b129 + 792*b99*b130 + 
     448*b99*b132 + 16*b99*b133 + 1400*b99*b134 + 2360*b99*b135 + 2440*b99*b136
      + 3280*b99*b137 + 3040*b99*b138 + 3720*b99*b139 + 2000*b99*b141 + 160*b99
     *b142 + 360*b99*b143 + 3080*b99*b144 + 752*b99*b145 + 112*b100*b102 + 9184
     *b100*b103 + 2016*b100*b104 + 4032*b100*b105 + 9184*b100*b106 + 8288*b100*
     b107 + 8512*b100*b108 + 6272*b100*b109 + 5600*b100*b110 + 4032*b100*b112
      + 4*b100*b113 + 328*b100*b114 + 72*b100*b115 + 144*b100*b116 + 328*b100*
     b117 + 296*b100*b118 + 304*b100*b119 + 224*b100*b120 + 200*b100*b121 + 144
     *b100*b123 + 1890*b100*b124 + 10458*b100*b125 + 3276*b100*b126 + 1386*b100
     *b127 + 11844*b100*b128 + 12474*b100*b129 + 12474*b100*b130 + 7056*b100*
     b132 + 252*b100*b133 + 3280*b100*b134 + 720*b100*b135 + 1440*b100*b136 + 
     3280*b100*b137 + 3040*b100*b138 + 2240*b100*b139 + 2000*b100*b140 + 1440*
     b100*b142 + 40*b100*b143 + 2960*b100*b144 + 11844*b100*b145 + 9520*b101*
     b102 + 2912*b101*b103 + 8512*b101*b104 + 2352*b101*b105 + 672*b101*b106 + 
     3360*b101*b107 + 4480*b101*b108 + 112*b101*b109 + 448*b101*b110 + 4032*
     b101*b111 + 340*b101*b113 + 104*b101*b114 + 304*b101*b115 + 84*b101*b116
      + 24*b101*b117 + 120*b101*b118 + 160*b101*b119 + 4*b101*b120 + 16*b101*
     b121 + 144*b101*b122 + 180*b101*b124 + 996*b101*b125 + 312*b101*b126 + 132
     *b101*b127 + 1128*b101*b128 + 1188*b101*b129 + 1188*b101*b130 + 672*b101*
     b132 + 24*b101*b133 + 1040*b101*b134 + 3040*b101*b135 + 840*b101*b136 + 
     240*b101*b137 + 1600*b101*b138 + 40*b101*b139 + 160*b101*b140 + 1440*b101*
     b141 + 3400*b101*b143 + 1200*b101*b144 + 1128*b101*b145 + 5280*b102*b114
      + 4800*b102*b115 + 9000*b102*b116 + 9480*b102*b117 + 10680*b102*b119 + 
     4200*b102*b120 + 1080*b102*b121 + 120*b102*b122 + 10200*b102*b123 + 3486*
     b102*b124 + 588*b102*b125 + 3654*b102*b126 + 3234*b102*b127 + 3318*b102*
     b128 + 2352*b102*b129 + 2520*b102*b130 + 2352*b102*b131 + 2520*b102*b133
      + 1848*b102*b134 + 1680*b102*b135 + 3150*b102*b136 + 3318*b102*b137 + 
     3738*b102*b138 + 1470*b102*b139 + 378*b102*b140 + 42*b102*b141 + 3570*b102
     *b142 + 3780*b102*b145 + 5280*b103*b113 + 10080*b103*b115 + 1440*b103*b116
      + 3120*b103*b118 + 10920*b103*b119 + 1320*b103*b120 + 4200*b103*b121 + 
     9840*b103*b122 + 3120*b103*b123 + 15770*b103*b124 + 2660*b103*b125 + 16530
     *b103*b126 + 14630*b103*b127 + 15010*b103*b128 + 10640*b103*b129 + 11400*
     b103*b130 + 10640*b103*b131 + 11400*b103*b133 + 3528*b103*b135 + 504*b103*
     b136 + 3822*b103*b138 + 462*b103*b139 + 1470*b103*b140 + 3444*b103*b141 + 
     1092*b103*b142 + 1848*b103*b143 + 1092*b103*b144 + 17100*b103*b145 + 4800*
     b104*b113 + 10080*b104*b114 + 8280*b104*b116 + 6720*b104*b117 + 10320*b104
     *b118 + 5400*b104*b119 + 10920*b104*b120 + 7080*b104*b121 + 2160*b104*b122
      + 9120*b104*b123 + 13612*b104*b124 + 2296*b104*b125 + 14268*b104*b126 + 
     12628*b104*b127 + 12956*b104*b128 + 9184*b104*b129 + 9840*b104*b130 + 9184
     *b104*b131 + 9840*b104*b133 + 3528*b104*b134 + 2898*b104*b136 + 2352*b104*
     b137 + 1890*b104*b138 + 3822*b104*b139 + 2478*b104*b140 + 756*b104*b141 + 
     3192*b104*b142 + 1680*b104*b143 + 3612*b104*b144 + 14760*b104*b145 + 9000*
     b105*b113 + 1440*b105*b114 + 8280*b105*b115 + 4680*b105*b117 + 2160*b105*
     b118 + 6840*b105*b119 + 4320*b105*b120 + 7320*b105*b121 + 4320*b105*b122
      + 2520*b105*b123 + 9296*b105*b124 + 1568*b105*b125 + 9744*b105*b126 + 
     8624*b105*b127 + 8848*b105*b128 + 6272*b105*b129 + 6720*b105*b130 + 6272*
     b105*b131 + 6720*b105*b133 + 504*b105*b134 + 2898*b105*b135 + 1638*b105*
     b137 + 2394*b105*b138 + 1512*b105*b139 + 2562*b105*b140 + 1512*b105*b141
      + 882*b105*b142 + 3150*b105*b143 + 756*b105*b144 + 10080*b105*b145 + 9480
     *b106*b113 + 6720*b106*b115 + 4680*b106*b116 + 8520*b106*b118 + 1320*b106*
     b119 + 3480*b106*b120 + 9840*b106*b121 + 9840*b106*b122 + 720*b106*b123 + 
     6806*b106*b124 + 1148*b106*b125 + 7134*b106*b126 + 6314*b106*b127 + 6478*
     b106*b128 + 4592*b106*b129 + 4920*b106*b130 + 4592*b106*b131 + 4920*b106*
     b133 + 2352*b106*b135 + 1638*b106*b136 + 462*b106*b138 + 1218*b106*b139 + 
     3444*b106*b140 + 3444*b106*b141 + 252*b106*b142 + 3318*b106*b143 + 2982*
     b106*b144 + 7380*b106*b145 + 3120*b107*b114 + 10320*b107*b115 + 2160*b107*
     b116 + 8520*b107*b117 + 8520*b107*b119 + 960*b107*b120 + 9240*b107*b121 + 
     8880*b107*b122 + 3600*b107*b123 + 996*b107*b124 + 168*b107*b125 + 1044*
     b107*b126 + 924*b107*b127 + 948*b107*b128 + 672*b107*b129 + 720*b107*b130
      + 672*b107*b131 + 720*b107*b133 + 1092*b107*b134 + 3612*b107*b135 + 756*
     b107*b136 + 2982*b107*b137 + 2982*b107*b138 + 336*b107*b139 + 3234*b107*
     b140 + 3108*b107*b141 + 1260*b107*b142 + 1080*b107*b145 + 10680*b108*b113
      + 10920*b108*b114 + 5400*b108*b115 + 6840*b108*b116 + 1320*b108*b117 + 
     8520*b108*b118 + 10680*b108*b120 + 9120*b108*b121 + 9120*b108*b122 + 4800*
     b108*b123 + 4150*b108*b124 + 700*b108*b125 + 4350*b108*b126 + 3850*b108*
     b127 + 3950*b108*b128 + 2800*b108*b129 + 3000*b108*b130 + 2800*b108*b131
      + 3000*b108*b133 + 3822*b108*b134 + 1890*b108*b135 + 2394*b108*b136 + 462
     *b108*b137 + 3738*b108*b139 + 3192*b108*b140 + 3192*b108*b141 + 1680*b108*
     b142 + 3738*b108*b143 + 2982*b108*b144 + 4500*b108*b145 + 4200*b109*b113
      + 1320*b109*b114 + 10920*b109*b115 + 4320*b109*b116 + 3480*b109*b117 + 
     960*b109*b118 + 10680*b109*b119 + 11160*b109*b121 + 6720*b109*b122 + 120*
     b109*b123 + 1660*b109*b124 + 280*b109*b125 + 1740*b109*b126 + 1540*b109*
     b127 + 1580*b109*b128 + 1120*b109*b129 + 1200*b109*b130 + 1120*b109*b131
      + 1200*b109*b133 + 462*b109*b134 + 3822*b109*b135 + 1512*b109*b136 + 1218
     *b109*b137 + 3738*b109*b138 + 3906*b109*b140 + 2352*b109*b141 + 42*b109*
     b142 + 1470*b109*b143 + 336*b109*b144 + 1800*b109*b145 + 1080*b110*b113 + 
     4200*b110*b114 + 7080*b110*b115 + 7320*b110*b116 + 9840*b110*b117 + 9240*
     b110*b118 + 9120*b110*b119 + 11160*b110*b120 + 6000*b110*b122 + 480*b110*
     b123 + 664*b110*b124 + 112*b110*b125 + 696*b110*b126 + 616*b110*b127 + 632
     *b110*b128 + 448*b110*b129 + 480*b110*b130 + 448*b110*b131 + 480*b110*b133
      + 1470*b110*b134 + 2478*b110*b135 + 2562*b110*b136 + 3444*b110*b137 + 
     3192*b110*b138 + 3906*b110*b139 + 2100*b110*b141 + 168*b110*b142 + 378*
     b110*b143 + 3234*b110*b144 + 720*b110*b145 + 120*b111*b113 + 9840*b111*
     b114 + 2160*b111*b115 + 4320*b111*b116 + 9840*b111*b117 + 8880*b111*b118
      + 9120*b111*b119 + 6720*b111*b120 + 6000*b111*b121 + 4320*b111*b123 + 
     10458*b111*b124 + 1764*b111*b125 + 10962*b111*b126 + 9702*b111*b127 + 9954
     *b111*b128 + 7056*b111*b129 + 7560*b111*b130 + 7056*b111*b131 + 7560*b111*
     b133 + 3444*b111*b134 + 756*b111*b135 + 1512*b111*b136 + 3444*b111*b137 + 
     3192*b111*b138 + 2352*b111*b139 + 2100*b111*b140 + 1512*b111*b142 + 42*
     b111*b143 + 3108*b111*b144 + 11340*b111*b145 + 10200*b112*b113 + 3120*b112
     *b114 + 9120*b112*b115 + 2520*b112*b116 + 720*b112*b117 + 3600*b112*b118
      + 4800*b112*b119 + 120*b112*b120 + 480*b112*b121 + 4320*b112*b122 + 996*
     b112*b124 + 168*b112*b125 + 1044*b112*b126 + 924*b112*b127 + 948*b112*b128
      + 672*b112*b129 + 720*b112*b130 + 672*b112*b131 + 720*b112*b133 + 1092*
     b112*b134 + 3192*b112*b135 + 882*b112*b136 + 252*b112*b137 + 1680*b112*
     b138 + 42*b112*b139 + 168*b112*b140 + 1512*b112*b141 + 3570*b112*b143 + 
     1260*b112*b144 + 1080*b112*b145 + 4032*b113*b124 + 2982*b113*b125 + 3192*
     b113*b126 + 1344*b113*b127 + 84*b113*b128 + 2940*b113*b129 + 168*b113*b130
      + 84*b113*b131 + 2520*b113*b132 + 5368*b113*b134 + 4880*b113*b135 + 9150*
     b113*b136 + 9638*b113*b137 + 10858*b113*b138 + 4270*b113*b139 + 1098*b113*
     b140 + 122*b113*b141 + 10370*b113*b142 + 2142*b113*b145 + 18240*b114*b124
      + 13490*b114*b125 + 14440*b114*b126 + 6080*b114*b127 + 380*b114*b128 + 
     13300*b114*b129 + 760*b114*b130 + 380*b114*b131 + 11400*b114*b132 + 10248*
     b114*b135 + 1464*b114*b136 + 11102*b114*b138 + 1342*b114*b139 + 4270*b114*
     b140 + 10004*b114*b141 + 3172*b114*b142 + 5368*b114*b143 + 3172*b114*b144
      + 9690*b114*b145 + 15744*b115*b124 + 11644*b115*b125 + 12464*b115*b126 + 
     5248*b115*b127 + 328*b115*b128 + 11480*b115*b129 + 656*b115*b130 + 328*
     b115*b131 + 9840*b115*b132 + 10248*b115*b134 + 8418*b115*b136 + 6832*b115*
     b137 + 5490*b115*b138 + 11102*b115*b139 + 7198*b115*b140 + 2196*b115*b141
      + 9272*b115*b142 + 4880*b115*b143 + 10492*b115*b144 + 8364*b115*b145 + 
     10752*b116*b124 + 7952*b116*b125 + 8512*b116*b126 + 3584*b116*b127 + 224*
     b116*b128 + 7840*b116*b129 + 448*b116*b130 + 224*b116*b131 + 6720*b116*
     b132 + 1464*b116*b134 + 8418*b116*b135 + 4758*b116*b137 + 6954*b116*b138
      + 4392*b116*b139 + 7442*b116*b140 + 4392*b116*b141 + 2562*b116*b142 + 
     9150*b116*b143 + 2196*b116*b144 + 5712*b116*b145 + 7872*b117*b124 + 5822*
     b117*b125 + 6232*b117*b126 + 2624*b117*b127 + 164*b117*b128 + 5740*b117*
     b129 + 328*b117*b130 + 164*b117*b131 + 4920*b117*b132 + 6832*b117*b135 + 
     4758*b117*b136 + 1342*b117*b138 + 3538*b117*b139 + 10004*b117*b140 + 10004
     *b117*b141 + 732*b117*b142 + 9638*b117*b143 + 8662*b117*b144 + 4182*b117*
     b145 + 1152*b118*b124 + 852*b118*b125 + 912*b118*b126 + 384*b118*b127 + 24
     *b118*b128 + 840*b118*b129 + 48*b118*b130 + 24*b118*b131 + 720*b118*b132
      + 3172*b118*b134 + 10492*b118*b135 + 2196*b118*b136 + 8662*b118*b137 + 
     8662*b118*b138 + 976*b118*b139 + 9394*b118*b140 + 9028*b118*b141 + 3660*
     b118*b142 + 612*b118*b145 + 4800*b119*b124 + 3550*b119*b125 + 3800*b119*
     b126 + 1600*b119*b127 + 100*b119*b128 + 3500*b119*b129 + 200*b119*b130 + 
     100*b119*b131 + 3000*b119*b132 + 11102*b119*b134 + 5490*b119*b135 + 6954*
     b119*b136 + 1342*b119*b137 + 10858*b119*b139 + 9272*b119*b140 + 9272*b119*
     b141 + 4880*b119*b142 + 10858*b119*b143 + 8662*b119*b144 + 2550*b119*b145
      + 1920*b120*b124 + 1420*b120*b125 + 1520*b120*b126 + 640*b120*b127 + 40*
     b120*b128 + 1400*b120*b129 + 80*b120*b130 + 40*b120*b131 + 1200*b120*b132
      + 1342*b120*b134 + 11102*b120*b135 + 4392*b120*b136 + 3538*b120*b137 + 
     10858*b120*b138 + 11346*b120*b140 + 6832*b120*b141 + 122*b120*b142 + 4270*
     b120*b143 + 976*b120*b144 + 1020*b120*b145 + 768*b121*b124 + 568*b121*b125
      + 608*b121*b126 + 256*b121*b127 + 16*b121*b128 + 560*b121*b129 + 32*b121*
     b130 + 16*b121*b131 + 480*b121*b132 + 4270*b121*b134 + 7198*b121*b135 + 
     7442*b121*b136 + 10004*b121*b137 + 9272*b121*b138 + 11346*b121*b139 + 6100
     *b121*b141 + 488*b121*b142 + 1098*b121*b143 + 9394*b121*b144 + 408*b121*
     b145 + 12096*b122*b124 + 8946*b122*b125 + 9576*b122*b126 + 4032*b122*b127
      + 252*b122*b128 + 8820*b122*b129 + 504*b122*b130 + 252*b122*b131 + 7560*
     b122*b132 + 10004*b122*b134 + 2196*b122*b135 + 4392*b122*b136 + 10004*b122
     *b137 + 9272*b122*b138 + 6832*b122*b139 + 6100*b122*b140 + 4392*b122*b142
      + 122*b122*b143 + 9028*b122*b144 + 6426*b122*b145 + 1152*b123*b124 + 852*
     b123*b125 + 912*b123*b126 + 384*b123*b127 + 24*b123*b128 + 840*b123*b129
      + 48*b123*b130 + 24*b123*b131 + 720*b123*b132 + 3172*b123*b134 + 9272*
     b123*b135 + 2562*b123*b136 + 732*b123*b137 + 4880*b123*b138 + 122*b123*
     b139 + 488*b123*b140 + 4392*b123*b141 + 10370*b123*b143 + 3660*b123*b144
      + 612*b123*b145 + 16150*b124*b134 + 13940*b124*b135 + 9520*b124*b136 + 
     6970*b124*b137 + 4250*b124*b138 + 1700*b124*b139 + 680*b124*b140 + 10710*
     b124*b141 + 1020*b124*b142 + 3570*b124*b143 + 1020*b124*b144 + 380*b125*
     b134 + 328*b125*b135 + 224*b125*b136 + 164*b125*b137 + 100*b125*b138 + 40*
     b125*b139 + 16*b125*b140 + 252*b125*b141 + 24*b125*b142 + 84*b125*b143 + 
     24*b125*b144 + 190*b126*b134 + 164*b126*b135 + 112*b126*b136 + 82*b126*
     b137 + 50*b126*b138 + 20*b126*b139 + 8*b126*b140 + 126*b126*b141 + 12*b126
     *b142 + 42*b126*b143 + 12*b126*b144 + 2850*b127*b134 + 2460*b127*b135 + 
     1680*b127*b136 + 1230*b127*b137 + 750*b127*b138 + 300*b127*b139 + 120*b127
     *b140 + 1890*b127*b141 + 180*b127*b142 + 630*b127*b143 + 180*b127*b144 + 
     2090*b128*b134 + 1804*b128*b135 + 1232*b128*b136 + 902*b128*b137 + 550*
     b128*b138 + 220*b128*b139 + 88*b128*b140 + 1386*b128*b141 + 132*b128*b142
      + 462*b128*b143 + 132*b128*b144 + 6650*b129*b134 + 5740*b129*b135 + 3920*
     b129*b136 + 2870*b129*b137 + 1750*b129*b138 + 700*b129*b139 + 280*b129*
     b140 + 4410*b129*b141 + 420*b129*b142 + 1470*b129*b143 + 420*b129*b144 + 
     2090*b130*b134 + 1804*b130*b135 + 1232*b130*b136 + 902*b130*b137 + 550*
     b130*b138 + 220*b130*b139 + 88*b130*b140 + 1386*b130*b141 + 132*b130*b142
      + 462*b130*b143 + 132*b130*b144 + 3800*b131*b134 + 3280*b131*b135 + 2240*
     b131*b136 + 1640*b131*b137 + 1000*b131*b138 + 400*b131*b139 + 160*b131*
     b140 + 2520*b131*b141 + 240*b131*b142 + 840*b131*b143 + 240*b131*b144 + 
     3990*b132*b134 + 3444*b132*b135 + 2352*b132*b136 + 1722*b132*b137 + 1050*
     b132*b138 + 420*b132*b139 + 168*b132*b140 + 2646*b132*b141 + 252*b132*b142
      + 882*b132*b143 + 252*b132*b144 + 11590*b133*b134 + 10004*b133*b135 + 
     6832*b133*b136 + 5002*b133*b137 + 3050*b133*b138 + 1220*b133*b139 + 488*
     b133*b140 + 7686*b133*b141 + 732*b133*b142 + 2562*b133*b143 + 732*b133*
     b144 + 5130*b134*b145 + 4428*b135*b145 + 3024*b136*b145 + 2214*b137*b145
      + 1350*b138*b145 + 540*b139*b145 + 216*b140*b145 + 3402*b141*b145 + 324*
     b142*b145 + 1134*b143*b145 + 324*b144*b145 - objvar =E= 0;

e2..    b2 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142
      + b143 + b144 =E= 1;

e3..    b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b145 =E= 1;

e4..    b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b124
      =E= 1;

e5..    b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b125
      =E= 1;

e6..    b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b126
      =E= 1;

e7..    b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b127
      =E= 1;

e8..    b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b128
      =E= 1;

e9..    b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b129
      =E= 1;

e10..    b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b130
       =E= 1;

e11..    b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101
       + b131 =E= 1;

e12..    b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111
       + b112 + b132 =E= 1;

e13..    b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122
       + b123 + b133 =E= 1;

e14..    b2 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132
       + b133 + b145 =E= 1;

e15..    b3 + b14 + b25 + b36 + b47 + b58 + b69 + b80 + b91 + b102 + b113
       + b143 =E= 1;

e16..    b4 + b15 + b26 + b37 + b48 + b59 + b70 + b81 + b92 + b103 + b114
       + b134 =E= 1;

e17..    b5 + b16 + b27 + b38 + b49 + b60 + b71 + b82 + b93 + b104 + b115
       + b135 =E= 1;

e18..    b6 + b17 + b28 + b39 + b50 + b61 + b72 + b83 + b94 + b105 + b116
       + b136 =E= 1;

e19..    b7 + b18 + b29 + b40 + b51 + b62 + b73 + b84 + b95 + b106 + b117
       + b137 =E= 1;

e20..    b8 + b19 + b30 + b41 + b52 + b63 + b74 + b85 + b96 + b107 + b118
       + b144 =E= 1;

e21..    b9 + b20 + b31 + b42 + b53 + b64 + b75 + b86 + b97 + b108 + b119
       + b138 =E= 1;

e22..    b10 + b21 + b32 + b43 + b54 + b65 + b76 + b87 + b98 + b109 + b120
       + b139 =E= 1;

e23..    b11 + b22 + b33 + b44 + b55 + b66 + b77 + b88 + b99 + b110 + b121
       + b140 =E= 1;

e24..    b12 + b23 + b34 + b45 + b56 + b67 + b78 + b89 + b100 + b111 + b122
       + b141 =E= 1;

e25..    b13 + b24 + b35 + b46 + b57 + b68 + b79 + b90 + b101 + b112 + b123
       + b142 =E= 1;

Model m / all /;

m.limrow=0; m.limcol=0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

m.tolproj = 0.0;
$if not set MIQCP $set MIQCP MIQCP
Solve m using %MIQCP% minimizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.