QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_3587

Formats gms lp mod qplib
Problem type probtype QBL
Solution point objective value solobjvalue 15595.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Stefan Vigerske
#Variables nvars 240
#Binary Variables nbinvars 240
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 240
#Nonlinear Binary Variables nnlbinvars 240
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 120
#Positive eigenvalues in objective matrix nobjquadposev 120
#Nonzeros in Objective nobjnz 240
#Nonlinear Nonzeros in Objective nobjnlnz 240
#Quadratic Terms in Objective nobjquadnz 3648
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 46
#Linear Constraints nlincons 46
#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 480
#Nonlinear Nonzeros in Jacobian njacobiannlnz 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 7296
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 240
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 240
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 240.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3587.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*         47       31        0       16        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        241        1      240        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        721      481      240        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,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241;

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,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241;

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,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47;


e1.. 368*b2*b3 + 414*b2*b4 + 460*b2*b5 + 506*b2*b6 + 552*b2*b7 + 598*b2*b8 + 
     644*b2*b9 + 690*b2*b10 + 280*b2*b11 + 315*b2*b12 + 350*b2*b13 + 385*b2*b14
      + 420*b2*b15 + 455*b2*b16 + 490*b2*b17 + 525*b2*b18 + 414*b3*b19 + 460*b3
     *b20 + 506*b3*b21 + 552*b3*b22 + 598*b3*b23 + 644*b3*b24 + 690*b3*b25 + 
     160*b3*b26 + 180*b3*b27 + 200*b3*b28 + 220*b3*b29 + 240*b3*b30 + 260*b3*
     b31 + 280*b3*b32 + 300*b3*b33 + 304*b3*b34 + 342*b3*b35 + 380*b3*b36 + 418
     *b3*b37 + 456*b3*b38 + 494*b3*b39 + 532*b3*b40 + 570*b3*b41 + 304*b3*b42
      + 342*b3*b43 + 380*b3*b44 + 418*b3*b45 + 456*b3*b46 + 494*b3*b47 + 532*b3
     *b48 + 570*b3*b49 + 312*b3*b50 + 351*b3*b51 + 390*b3*b52 + 429*b3*b53 + 
     468*b3*b54 + 507*b3*b55 + 546*b3*b56 + 585*b3*b57 + 368*b4*b19 + 414*b4*
     b20 + 460*b4*b21 + 506*b4*b22 + 552*b4*b23 + 598*b4*b24 + 644*b4*b25 + 180
     *b4*b26 + 160*b4*b27 + 180*b4*b28 + 200*b4*b29 + 220*b4*b30 + 240*b4*b31
      + 260*b4*b32 + 280*b4*b33 + 342*b4*b34 + 304*b4*b35 + 342*b4*b36 + 380*b4
     *b37 + 418*b4*b38 + 456*b4*b39 + 494*b4*b40 + 532*b4*b41 + 342*b4*b42 + 
     304*b4*b43 + 342*b4*b44 + 380*b4*b45 + 418*b4*b46 + 456*b4*b47 + 494*b4*
     b48 + 532*b4*b49 + 351*b4*b50 + 312*b4*b51 + 351*b4*b52 + 390*b4*b53 + 429
     *b4*b54 + 468*b4*b55 + 507*b4*b56 + 546*b4*b57 + 414*b5*b19 + 368*b5*b20
      + 414*b5*b21 + 460*b5*b22 + 506*b5*b23 + 552*b5*b24 + 598*b5*b25 + 200*b5
     *b26 + 180*b5*b27 + 160*b5*b28 + 180*b5*b29 + 200*b5*b30 + 220*b5*b31 + 
     240*b5*b32 + 260*b5*b33 + 380*b5*b34 + 342*b5*b35 + 304*b5*b36 + 342*b5*
     b37 + 380*b5*b38 + 418*b5*b39 + 456*b5*b40 + 494*b5*b41 + 380*b5*b42 + 342
     *b5*b43 + 304*b5*b44 + 342*b5*b45 + 380*b5*b46 + 418*b5*b47 + 456*b5*b48
      + 494*b5*b49 + 390*b5*b50 + 351*b5*b51 + 312*b5*b52 + 351*b5*b53 + 390*b5
     *b54 + 429*b5*b55 + 468*b5*b56 + 507*b5*b57 + 460*b6*b19 + 414*b6*b20 + 
     368*b6*b21 + 414*b6*b22 + 460*b6*b23 + 506*b6*b24 + 552*b6*b25 + 220*b6*
     b26 + 200*b6*b27 + 180*b6*b28 + 160*b6*b29 + 180*b6*b30 + 200*b6*b31 + 220
     *b6*b32 + 240*b6*b33 + 418*b6*b34 + 380*b6*b35 + 342*b6*b36 + 304*b6*b37
      + 342*b6*b38 + 380*b6*b39 + 418*b6*b40 + 456*b6*b41 + 418*b6*b42 + 380*b6
     *b43 + 342*b6*b44 + 304*b6*b45 + 342*b6*b46 + 380*b6*b47 + 418*b6*b48 + 
     456*b6*b49 + 429*b6*b50 + 390*b6*b51 + 351*b6*b52 + 312*b6*b53 + 351*b6*
     b54 + 390*b6*b55 + 429*b6*b56 + 468*b6*b57 + 506*b7*b19 + 460*b7*b20 + 414
     *b7*b21 + 368*b7*b22 + 414*b7*b23 + 460*b7*b24 + 506*b7*b25 + 240*b7*b26
      + 220*b7*b27 + 200*b7*b28 + 180*b7*b29 + 160*b7*b30 + 180*b7*b31 + 200*b7
     *b32 + 220*b7*b33 + 456*b7*b34 + 418*b7*b35 + 380*b7*b36 + 342*b7*b37 + 
     304*b7*b38 + 342*b7*b39 + 380*b7*b40 + 418*b7*b41 + 456*b7*b42 + 418*b7*
     b43 + 380*b7*b44 + 342*b7*b45 + 304*b7*b46 + 342*b7*b47 + 380*b7*b48 + 418
     *b7*b49 + 468*b7*b50 + 429*b7*b51 + 390*b7*b52 + 351*b7*b53 + 312*b7*b54
      + 351*b7*b55 + 390*b7*b56 + 429*b7*b57 + 552*b8*b19 + 506*b8*b20 + 460*b8
     *b21 + 414*b8*b22 + 368*b8*b23 + 414*b8*b24 + 460*b8*b25 + 260*b8*b26 + 
     240*b8*b27 + 220*b8*b28 + 200*b8*b29 + 180*b8*b30 + 160*b8*b31 + 180*b8*
     b32 + 200*b8*b33 + 494*b8*b34 + 456*b8*b35 + 418*b8*b36 + 380*b8*b37 + 342
     *b8*b38 + 304*b8*b39 + 342*b8*b40 + 380*b8*b41 + 494*b8*b42 + 456*b8*b43
      + 418*b8*b44 + 380*b8*b45 + 342*b8*b46 + 304*b8*b47 + 342*b8*b48 + 380*b8
     *b49 + 507*b8*b50 + 468*b8*b51 + 429*b8*b52 + 390*b8*b53 + 351*b8*b54 + 
     312*b8*b55 + 351*b8*b56 + 390*b8*b57 + 598*b9*b19 + 552*b9*b20 + 506*b9*
     b21 + 460*b9*b22 + 414*b9*b23 + 368*b9*b24 + 414*b9*b25 + 280*b9*b26 + 260
     *b9*b27 + 240*b9*b28 + 220*b9*b29 + 200*b9*b30 + 180*b9*b31 + 160*b9*b32
      + 180*b9*b33 + 532*b9*b34 + 494*b9*b35 + 456*b9*b36 + 418*b9*b37 + 380*b9
     *b38 + 342*b9*b39 + 304*b9*b40 + 342*b9*b41 + 532*b9*b42 + 494*b9*b43 + 
     456*b9*b44 + 418*b9*b45 + 380*b9*b46 + 342*b9*b47 + 304*b9*b48 + 342*b9*
     b49 + 546*b9*b50 + 507*b9*b51 + 468*b9*b52 + 429*b9*b53 + 390*b9*b54 + 351
     *b9*b55 + 312*b9*b56 + 351*b9*b57 + 644*b10*b19 + 598*b10*b20 + 552*b10*
     b21 + 506*b10*b22 + 460*b10*b23 + 414*b10*b24 + 368*b10*b25 + 300*b10*b26
      + 280*b10*b27 + 260*b10*b28 + 240*b10*b29 + 220*b10*b30 + 200*b10*b31 + 
     180*b10*b32 + 160*b10*b33 + 570*b10*b34 + 532*b10*b35 + 494*b10*b36 + 456*
     b10*b37 + 418*b10*b38 + 380*b10*b39 + 342*b10*b40 + 304*b10*b41 + 570*b10*
     b42 + 532*b10*b43 + 494*b10*b44 + 456*b10*b45 + 418*b10*b46 + 380*b10*b47
      + 342*b10*b48 + 304*b10*b49 + 585*b10*b50 + 546*b10*b51 + 507*b10*b52 + 
     468*b10*b53 + 429*b10*b54 + 390*b10*b55 + 351*b10*b56 + 312*b10*b57 + 315*
     b11*b19 + 350*b11*b20 + 385*b11*b21 + 420*b11*b22 + 455*b11*b23 + 490*b11*
     b24 + 525*b11*b25 + 136*b11*b58 + 153*b11*b59 + 170*b11*b60 + 187*b11*b61
      + 204*b11*b62 + 221*b11*b63 + 238*b11*b64 + 255*b11*b65 + 336*b11*b66 + 
     378*b11*b67 + 420*b11*b68 + 462*b11*b69 + 504*b11*b70 + 546*b11*b71 + 588*
     b11*b72 + 630*b11*b73 + 184*b11*b74 + 207*b11*b75 + 230*b11*b76 + 253*b11*
     b77 + 276*b11*b78 + 299*b11*b79 + 322*b11*b80 + 345*b11*b81 + 280*b12*b19
      + 315*b12*b20 + 350*b12*b21 + 385*b12*b22 + 420*b12*b23 + 455*b12*b24 + 
     490*b12*b25 + 153*b12*b58 + 136*b12*b59 + 153*b12*b60 + 170*b12*b61 + 187*
     b12*b62 + 204*b12*b63 + 221*b12*b64 + 238*b12*b65 + 378*b12*b66 + 336*b12*
     b67 + 378*b12*b68 + 420*b12*b69 + 462*b12*b70 + 504*b12*b71 + 546*b12*b72
      + 588*b12*b73 + 207*b12*b74 + 184*b12*b75 + 207*b12*b76 + 230*b12*b77 + 
     253*b12*b78 + 276*b12*b79 + 299*b12*b80 + 322*b12*b81 + 315*b13*b19 + 280*
     b13*b20 + 315*b13*b21 + 350*b13*b22 + 385*b13*b23 + 420*b13*b24 + 455*b13*
     b25 + 170*b13*b58 + 153*b13*b59 + 136*b13*b60 + 153*b13*b61 + 170*b13*b62
      + 187*b13*b63 + 204*b13*b64 + 221*b13*b65 + 420*b13*b66 + 378*b13*b67 + 
     336*b13*b68 + 378*b13*b69 + 420*b13*b70 + 462*b13*b71 + 504*b13*b72 + 546*
     b13*b73 + 230*b13*b74 + 207*b13*b75 + 184*b13*b76 + 207*b13*b77 + 230*b13*
     b78 + 253*b13*b79 + 276*b13*b80 + 299*b13*b81 + 350*b14*b19 + 315*b14*b20
      + 280*b14*b21 + 315*b14*b22 + 350*b14*b23 + 385*b14*b24 + 420*b14*b25 + 
     187*b14*b58 + 170*b14*b59 + 153*b14*b60 + 136*b14*b61 + 153*b14*b62 + 170*
     b14*b63 + 187*b14*b64 + 204*b14*b65 + 462*b14*b66 + 420*b14*b67 + 378*b14*
     b68 + 336*b14*b69 + 378*b14*b70 + 420*b14*b71 + 462*b14*b72 + 504*b14*b73
      + 253*b14*b74 + 230*b14*b75 + 207*b14*b76 + 184*b14*b77 + 207*b14*b78 + 
     230*b14*b79 + 253*b14*b80 + 276*b14*b81 + 385*b15*b19 + 350*b15*b20 + 315*
     b15*b21 + 280*b15*b22 + 315*b15*b23 + 350*b15*b24 + 385*b15*b25 + 204*b15*
     b58 + 187*b15*b59 + 170*b15*b60 + 153*b15*b61 + 136*b15*b62 + 153*b15*b63
      + 170*b15*b64 + 187*b15*b65 + 504*b15*b66 + 462*b15*b67 + 420*b15*b68 + 
     378*b15*b69 + 336*b15*b70 + 378*b15*b71 + 420*b15*b72 + 462*b15*b73 + 276*
     b15*b74 + 253*b15*b75 + 230*b15*b76 + 207*b15*b77 + 184*b15*b78 + 207*b15*
     b79 + 230*b15*b80 + 253*b15*b81 + 420*b16*b19 + 385*b16*b20 + 350*b16*b21
      + 315*b16*b22 + 280*b16*b23 + 315*b16*b24 + 350*b16*b25 + 221*b16*b58 + 
     204*b16*b59 + 187*b16*b60 + 170*b16*b61 + 153*b16*b62 + 136*b16*b63 + 153*
     b16*b64 + 170*b16*b65 + 546*b16*b66 + 504*b16*b67 + 462*b16*b68 + 420*b16*
     b69 + 378*b16*b70 + 336*b16*b71 + 378*b16*b72 + 420*b16*b73 + 299*b16*b74
      + 276*b16*b75 + 253*b16*b76 + 230*b16*b77 + 207*b16*b78 + 184*b16*b79 + 
     207*b16*b80 + 230*b16*b81 + 455*b17*b19 + 420*b17*b20 + 385*b17*b21 + 350*
     b17*b22 + 315*b17*b23 + 280*b17*b24 + 315*b17*b25 + 238*b17*b58 + 221*b17*
     b59 + 204*b17*b60 + 187*b17*b61 + 170*b17*b62 + 153*b17*b63 + 136*b17*b64
      + 153*b17*b65 + 588*b17*b66 + 546*b17*b67 + 504*b17*b68 + 462*b17*b69 + 
     420*b17*b70 + 378*b17*b71 + 336*b17*b72 + 378*b17*b73 + 322*b17*b74 + 299*
     b17*b75 + 276*b17*b76 + 253*b17*b77 + 230*b17*b78 + 207*b17*b79 + 184*b17*
     b80 + 207*b17*b81 + 490*b18*b19 + 455*b18*b20 + 420*b18*b21 + 385*b18*b22
      + 350*b18*b23 + 315*b18*b24 + 280*b18*b25 + 255*b18*b58 + 238*b18*b59 + 
     221*b18*b60 + 204*b18*b61 + 187*b18*b62 + 170*b18*b63 + 153*b18*b64 + 136*
     b18*b65 + 630*b18*b66 + 588*b18*b67 + 546*b18*b68 + 504*b18*b69 + 462*b18*
     b70 + 420*b18*b71 + 378*b18*b72 + 336*b18*b73 + 345*b18*b74 + 322*b18*b75
      + 299*b18*b76 + 276*b18*b77 + 253*b18*b78 + 230*b18*b79 + 207*b18*b80 + 
     184*b18*b81 + 240*b26*b82 + 270*b26*b83 + 300*b26*b84 + 330*b26*b85 + 360*
     b26*b86 + 390*b26*b87 + 420*b26*b88 + 450*b26*b89 + 270*b27*b82 + 240*b27*
     b83 + 270*b27*b84 + 300*b27*b85 + 330*b27*b86 + 360*b27*b87 + 390*b27*b88
      + 420*b27*b89 + 300*b28*b82 + 270*b28*b83 + 240*b28*b84 + 270*b28*b85 + 
     300*b28*b86 + 330*b28*b87 + 360*b28*b88 + 390*b28*b89 + 330*b29*b82 + 300*
     b29*b83 + 270*b29*b84 + 240*b29*b85 + 270*b29*b86 + 300*b29*b87 + 330*b29*
     b88 + 360*b29*b89 + 360*b30*b82 + 330*b30*b83 + 300*b30*b84 + 270*b30*b85
      + 240*b30*b86 + 270*b30*b87 + 300*b30*b88 + 330*b30*b89 + 390*b31*b82 + 
     360*b31*b83 + 330*b31*b84 + 300*b31*b85 + 270*b31*b86 + 240*b31*b87 + 270*
     b31*b88 + 300*b31*b89 + 420*b32*b82 + 390*b32*b83 + 360*b32*b84 + 330*b32*
     b85 + 300*b32*b86 + 270*b32*b87 + 240*b32*b88 + 270*b32*b89 + 450*b33*b82
      + 420*b33*b83 + 390*b33*b84 + 360*b33*b85 + 330*b33*b86 + 300*b33*b87 + 
     270*b33*b88 + 240*b33*b89 + 104*b34*b90 + 117*b34*b91 + 130*b34*b92 + 143*
     b34*b93 + 156*b34*b94 + 169*b34*b95 + 182*b34*b96 + 195*b34*b97 + 117*b35*
     b90 + 104*b35*b91 + 117*b35*b92 + 130*b35*b93 + 143*b35*b94 + 156*b35*b95
      + 169*b35*b96 + 182*b35*b97 + 130*b36*b90 + 117*b36*b91 + 104*b36*b92 + 
     117*b36*b93 + 130*b36*b94 + 143*b36*b95 + 156*b36*b96 + 169*b36*b97 + 143*
     b37*b90 + 130*b37*b91 + 117*b37*b92 + 104*b37*b93 + 117*b37*b94 + 130*b37*
     b95 + 143*b37*b96 + 156*b37*b97 + 156*b38*b90 + 143*b38*b91 + 130*b38*b92
      + 117*b38*b93 + 104*b38*b94 + 117*b38*b95 + 130*b38*b96 + 143*b38*b97 + 
     169*b39*b90 + 156*b39*b91 + 143*b39*b92 + 130*b39*b93 + 117*b39*b94 + 104*
     b39*b95 + 117*b39*b96 + 130*b39*b97 + 182*b40*b90 + 169*b40*b91 + 156*b40*
     b92 + 143*b40*b93 + 130*b40*b94 + 117*b40*b95 + 104*b40*b96 + 117*b40*b97
      + 195*b41*b90 + 182*b41*b91 + 169*b41*b92 + 156*b41*b93 + 143*b41*b94 + 
     130*b41*b95 + 117*b41*b96 + 104*b41*b97 + 264*b42*b82 + 297*b42*b83 + 330*
     b42*b84 + 363*b42*b85 + 396*b42*b86 + 429*b42*b87 + 462*b42*b88 + 495*b42*
     b89 + 272*b42*b98 + 306*b42*b99 + 340*b42*b100 + 374*b42*b101 + 408*b42*
     b102 + 442*b42*b103 + 476*b42*b104 + 510*b42*b105 + 160*b42*b106 + 180*b42
     *b107 + 200*b42*b108 + 220*b42*b109 + 240*b42*b110 + 260*b42*b111 + 280*
     b42*b112 + 300*b42*b113 + 392*b42*b114 + 441*b42*b115 + 490*b42*b116 + 539
     *b42*b117 + 588*b42*b118 + 637*b42*b119 + 686*b42*b120 + 735*b42*b121 + 
     176*b42*b122 + 198*b42*b123 + 220*b42*b124 + 242*b42*b125 + 264*b42*b126
      + 286*b42*b127 + 308*b42*b128 + 330*b42*b129 + 297*b43*b82 + 264*b43*b83
      + 297*b43*b84 + 330*b43*b85 + 363*b43*b86 + 396*b43*b87 + 429*b43*b88 + 
     462*b43*b89 + 306*b43*b98 + 272*b43*b99 + 306*b43*b100 + 340*b43*b101 + 
     374*b43*b102 + 408*b43*b103 + 442*b43*b104 + 476*b43*b105 + 180*b43*b106
      + 160*b43*b107 + 180*b43*b108 + 200*b43*b109 + 220*b43*b110 + 240*b43*
     b111 + 260*b43*b112 + 280*b43*b113 + 441*b43*b114 + 392*b43*b115 + 441*b43
     *b116 + 490*b43*b117 + 539*b43*b118 + 588*b43*b119 + 637*b43*b120 + 686*
     b43*b121 + 198*b43*b122 + 176*b43*b123 + 198*b43*b124 + 220*b43*b125 + 242
     *b43*b126 + 264*b43*b127 + 286*b43*b128 + 308*b43*b129 + 330*b44*b82 + 297
     *b44*b83 + 264*b44*b84 + 297*b44*b85 + 330*b44*b86 + 363*b44*b87 + 396*b44
     *b88 + 429*b44*b89 + 340*b44*b98 + 306*b44*b99 + 272*b44*b100 + 306*b44*
     b101 + 340*b44*b102 + 374*b44*b103 + 408*b44*b104 + 442*b44*b105 + 200*b44
     *b106 + 180*b44*b107 + 160*b44*b108 + 180*b44*b109 + 200*b44*b110 + 220*
     b44*b111 + 240*b44*b112 + 260*b44*b113 + 490*b44*b114 + 441*b44*b115 + 392
     *b44*b116 + 441*b44*b117 + 490*b44*b118 + 539*b44*b119 + 588*b44*b120 + 
     637*b44*b121 + 220*b44*b122 + 198*b44*b123 + 176*b44*b124 + 198*b44*b125
      + 220*b44*b126 + 242*b44*b127 + 264*b44*b128 + 286*b44*b129 + 363*b45*b82
      + 330*b45*b83 + 297*b45*b84 + 264*b45*b85 + 297*b45*b86 + 330*b45*b87 + 
     363*b45*b88 + 396*b45*b89 + 374*b45*b98 + 340*b45*b99 + 306*b45*b100 + 272
     *b45*b101 + 306*b45*b102 + 340*b45*b103 + 374*b45*b104 + 408*b45*b105 + 
     220*b45*b106 + 200*b45*b107 + 180*b45*b108 + 160*b45*b109 + 180*b45*b110
      + 200*b45*b111 + 220*b45*b112 + 240*b45*b113 + 539*b45*b114 + 490*b45*
     b115 + 441*b45*b116 + 392*b45*b117 + 441*b45*b118 + 490*b45*b119 + 539*b45
     *b120 + 588*b45*b121 + 242*b45*b122 + 220*b45*b123 + 198*b45*b124 + 176*
     b45*b125 + 198*b45*b126 + 220*b45*b127 + 242*b45*b128 + 264*b45*b129 + 396
     *b46*b82 + 363*b46*b83 + 330*b46*b84 + 297*b46*b85 + 264*b46*b86 + 297*b46
     *b87 + 330*b46*b88 + 363*b46*b89 + 408*b46*b98 + 374*b46*b99 + 340*b46*
     b100 + 306*b46*b101 + 272*b46*b102 + 306*b46*b103 + 340*b46*b104 + 374*b46
     *b105 + 240*b46*b106 + 220*b46*b107 + 200*b46*b108 + 180*b46*b109 + 160*
     b46*b110 + 180*b46*b111 + 200*b46*b112 + 220*b46*b113 + 588*b46*b114 + 539
     *b46*b115 + 490*b46*b116 + 441*b46*b117 + 392*b46*b118 + 441*b46*b119 + 
     490*b46*b120 + 539*b46*b121 + 264*b46*b122 + 242*b46*b123 + 220*b46*b124
      + 198*b46*b125 + 176*b46*b126 + 198*b46*b127 + 220*b46*b128 + 242*b46*
     b129 + 429*b47*b82 + 396*b47*b83 + 363*b47*b84 + 330*b47*b85 + 297*b47*b86
      + 264*b47*b87 + 297*b47*b88 + 330*b47*b89 + 442*b47*b98 + 408*b47*b99 + 
     374*b47*b100 + 340*b47*b101 + 306*b47*b102 + 272*b47*b103 + 306*b47*b104
      + 340*b47*b105 + 260*b47*b106 + 240*b47*b107 + 220*b47*b108 + 200*b47*
     b109 + 180*b47*b110 + 160*b47*b111 + 180*b47*b112 + 200*b47*b113 + 637*b47
     *b114 + 588*b47*b115 + 539*b47*b116 + 490*b47*b117 + 441*b47*b118 + 392*
     b47*b119 + 441*b47*b120 + 490*b47*b121 + 286*b47*b122 + 264*b47*b123 + 242
     *b47*b124 + 220*b47*b125 + 198*b47*b126 + 176*b47*b127 + 198*b47*b128 + 
     220*b47*b129 + 462*b48*b82 + 429*b48*b83 + 396*b48*b84 + 363*b48*b85 + 330
     *b48*b86 + 297*b48*b87 + 264*b48*b88 + 297*b48*b89 + 476*b48*b98 + 442*b48
     *b99 + 408*b48*b100 + 374*b48*b101 + 340*b48*b102 + 306*b48*b103 + 272*b48
     *b104 + 306*b48*b105 + 280*b48*b106 + 260*b48*b107 + 240*b48*b108 + 220*
     b48*b109 + 200*b48*b110 + 180*b48*b111 + 160*b48*b112 + 180*b48*b113 + 686
     *b48*b114 + 637*b48*b115 + 588*b48*b116 + 539*b48*b117 + 490*b48*b118 + 
     441*b48*b119 + 392*b48*b120 + 441*b48*b121 + 308*b48*b122 + 286*b48*b123
      + 264*b48*b124 + 242*b48*b125 + 220*b48*b126 + 198*b48*b127 + 176*b48*
     b128 + 198*b48*b129 + 495*b49*b82 + 462*b49*b83 + 429*b49*b84 + 396*b49*
     b85 + 363*b49*b86 + 330*b49*b87 + 297*b49*b88 + 264*b49*b89 + 510*b49*b98
      + 476*b49*b99 + 442*b49*b100 + 408*b49*b101 + 374*b49*b102 + 340*b49*b103
      + 306*b49*b104 + 272*b49*b105 + 300*b49*b106 + 280*b49*b107 + 260*b49*
     b108 + 240*b49*b109 + 220*b49*b110 + 200*b49*b111 + 180*b49*b112 + 160*b49
     *b113 + 735*b49*b114 + 686*b49*b115 + 637*b49*b116 + 588*b49*b117 + 539*
     b49*b118 + 490*b49*b119 + 441*b49*b120 + 392*b49*b121 + 330*b49*b122 + 308
     *b49*b123 + 286*b49*b124 + 264*b49*b125 + 242*b49*b126 + 220*b49*b127 + 
     198*b49*b128 + 176*b49*b129 + 120*b50*b90 + 135*b50*b91 + 150*b50*b92 + 
     165*b50*b93 + 180*b50*b94 + 195*b50*b95 + 210*b50*b96 + 225*b50*b97 + 336*
     b50*b98 + 378*b50*b99 + 420*b50*b100 + 462*b50*b101 + 504*b50*b102 + 546*
     b50*b103 + 588*b50*b104 + 630*b50*b105 + 368*b50*b130 + 414*b50*b131 + 460
     *b50*b132 + 506*b50*b133 + 552*b50*b134 + 598*b50*b135 + 644*b50*b136 + 
     690*b50*b137 + 248*b50*b138 + 279*b50*b139 + 310*b50*b140 + 341*b50*b141
      + 372*b50*b142 + 403*b50*b143 + 434*b50*b144 + 465*b50*b145 + 128*b50*
     b146 + 144*b50*b147 + 160*b50*b148 + 176*b50*b149 + 192*b50*b150 + 208*b50
     *b151 + 224*b50*b152 + 240*b50*b153 + 135*b51*b90 + 120*b51*b91 + 135*b51*
     b92 + 150*b51*b93 + 165*b51*b94 + 180*b51*b95 + 195*b51*b96 + 210*b51*b97
      + 378*b51*b98 + 336*b51*b99 + 378*b51*b100 + 420*b51*b101 + 462*b51*b102
      + 504*b51*b103 + 546*b51*b104 + 588*b51*b105 + 414*b51*b130 + 368*b51*
     b131 + 414*b51*b132 + 460*b51*b133 + 506*b51*b134 + 552*b51*b135 + 598*b51
     *b136 + 644*b51*b137 + 279*b51*b138 + 248*b51*b139 + 279*b51*b140 + 310*
     b51*b141 + 341*b51*b142 + 372*b51*b143 + 403*b51*b144 + 434*b51*b145 + 144
     *b51*b146 + 128*b51*b147 + 144*b51*b148 + 160*b51*b149 + 176*b51*b150 + 
     192*b51*b151 + 208*b51*b152 + 224*b51*b153 + 150*b52*b90 + 135*b52*b91 + 
     120*b52*b92 + 135*b52*b93 + 150*b52*b94 + 165*b52*b95 + 180*b52*b96 + 195*
     b52*b97 + 420*b52*b98 + 378*b52*b99 + 336*b52*b100 + 378*b52*b101 + 420*
     b52*b102 + 462*b52*b103 + 504*b52*b104 + 546*b52*b105 + 460*b52*b130 + 414
     *b52*b131 + 368*b52*b132 + 414*b52*b133 + 460*b52*b134 + 506*b52*b135 + 
     552*b52*b136 + 598*b52*b137 + 310*b52*b138 + 279*b52*b139 + 248*b52*b140
      + 279*b52*b141 + 310*b52*b142 + 341*b52*b143 + 372*b52*b144 + 403*b52*
     b145 + 160*b52*b146 + 144*b52*b147 + 128*b52*b148 + 144*b52*b149 + 160*b52
     *b150 + 176*b52*b151 + 192*b52*b152 + 208*b52*b153 + 165*b53*b90 + 150*b53
     *b91 + 135*b53*b92 + 120*b53*b93 + 135*b53*b94 + 150*b53*b95 + 165*b53*b96
      + 180*b53*b97 + 462*b53*b98 + 420*b53*b99 + 378*b53*b100 + 336*b53*b101
      + 378*b53*b102 + 420*b53*b103 + 462*b53*b104 + 504*b53*b105 + 506*b53*
     b130 + 460*b53*b131 + 414*b53*b132 + 368*b53*b133 + 414*b53*b134 + 460*b53
     *b135 + 506*b53*b136 + 552*b53*b137 + 341*b53*b138 + 310*b53*b139 + 279*
     b53*b140 + 248*b53*b141 + 279*b53*b142 + 310*b53*b143 + 341*b53*b144 + 372
     *b53*b145 + 176*b53*b146 + 160*b53*b147 + 144*b53*b148 + 128*b53*b149 + 
     144*b53*b150 + 160*b53*b151 + 176*b53*b152 + 192*b53*b153 + 180*b54*b90 + 
     165*b54*b91 + 150*b54*b92 + 135*b54*b93 + 120*b54*b94 + 135*b54*b95 + 150*
     b54*b96 + 165*b54*b97 + 504*b54*b98 + 462*b54*b99 + 420*b54*b100 + 378*b54
     *b101 + 336*b54*b102 + 378*b54*b103 + 420*b54*b104 + 462*b54*b105 + 552*
     b54*b130 + 506*b54*b131 + 460*b54*b132 + 414*b54*b133 + 368*b54*b134 + 414
     *b54*b135 + 460*b54*b136 + 506*b54*b137 + 372*b54*b138 + 341*b54*b139 + 
     310*b54*b140 + 279*b54*b141 + 248*b54*b142 + 279*b54*b143 + 310*b54*b144
      + 341*b54*b145 + 192*b54*b146 + 176*b54*b147 + 160*b54*b148 + 144*b54*
     b149 + 128*b54*b150 + 144*b54*b151 + 160*b54*b152 + 176*b54*b153 + 195*b55
     *b90 + 180*b55*b91 + 165*b55*b92 + 150*b55*b93 + 135*b55*b94 + 120*b55*b95
      + 135*b55*b96 + 150*b55*b97 + 546*b55*b98 + 504*b55*b99 + 462*b55*b100 + 
     420*b55*b101 + 378*b55*b102 + 336*b55*b103 + 378*b55*b104 + 420*b55*b105
      + 598*b55*b130 + 552*b55*b131 + 506*b55*b132 + 460*b55*b133 + 414*b55*
     b134 + 368*b55*b135 + 414*b55*b136 + 460*b55*b137 + 403*b55*b138 + 372*b55
     *b139 + 341*b55*b140 + 310*b55*b141 + 279*b55*b142 + 248*b55*b143 + 279*
     b55*b144 + 310*b55*b145 + 208*b55*b146 + 192*b55*b147 + 176*b55*b148 + 160
     *b55*b149 + 144*b55*b150 + 128*b55*b151 + 144*b55*b152 + 160*b55*b153 + 
     210*b56*b90 + 195*b56*b91 + 180*b56*b92 + 165*b56*b93 + 150*b56*b94 + 135*
     b56*b95 + 120*b56*b96 + 135*b56*b97 + 588*b56*b98 + 546*b56*b99 + 504*b56*
     b100 + 462*b56*b101 + 420*b56*b102 + 378*b56*b103 + 336*b56*b104 + 378*b56
     *b105 + 644*b56*b130 + 598*b56*b131 + 552*b56*b132 + 506*b56*b133 + 460*
     b56*b134 + 414*b56*b135 + 368*b56*b136 + 414*b56*b137 + 434*b56*b138 + 403
     *b56*b139 + 372*b56*b140 + 341*b56*b141 + 310*b56*b142 + 279*b56*b143 + 
     248*b56*b144 + 279*b56*b145 + 224*b56*b146 + 208*b56*b147 + 192*b56*b148
      + 176*b56*b149 + 160*b56*b150 + 144*b56*b151 + 128*b56*b152 + 144*b56*
     b153 + 225*b57*b90 + 210*b57*b91 + 195*b57*b92 + 180*b57*b93 + 165*b57*b94
      + 150*b57*b95 + 135*b57*b96 + 120*b57*b97 + 630*b57*b98 + 588*b57*b99 + 
     546*b57*b100 + 504*b57*b101 + 462*b57*b102 + 420*b57*b103 + 378*b57*b104
      + 336*b57*b105 + 690*b57*b130 + 644*b57*b131 + 598*b57*b132 + 552*b57*
     b133 + 506*b57*b134 + 460*b57*b135 + 414*b57*b136 + 368*b57*b137 + 465*b57
     *b138 + 434*b57*b139 + 403*b57*b140 + 372*b57*b141 + 341*b57*b142 + 310*
     b57*b143 + 279*b57*b144 + 248*b57*b145 + 240*b57*b146 + 224*b57*b147 + 208
     *b57*b148 + 192*b57*b149 + 176*b57*b150 + 160*b57*b151 + 144*b57*b152 + 
     128*b57*b153 + 200*b58*b106 + 225*b58*b107 + 250*b58*b108 + 275*b58*b109
      + 300*b58*b110 + 325*b58*b111 + 350*b58*b112 + 375*b58*b113 + 224*b58*
     b154 + 252*b58*b155 + 280*b58*b156 + 308*b58*b157 + 336*b58*b158 + 364*b58
     *b159 + 392*b58*b160 + 420*b58*b161 + 240*b58*b162 + 270*b58*b163 + 300*
     b58*b164 + 330*b58*b165 + 360*b58*b166 + 390*b58*b167 + 420*b58*b168 + 450
     *b58*b169 + 225*b59*b106 + 200*b59*b107 + 225*b59*b108 + 250*b59*b109 + 
     275*b59*b110 + 300*b59*b111 + 325*b59*b112 + 350*b59*b113 + 252*b59*b154
      + 224*b59*b155 + 252*b59*b156 + 280*b59*b157 + 308*b59*b158 + 336*b59*
     b159 + 364*b59*b160 + 392*b59*b161 + 270*b59*b162 + 240*b59*b163 + 270*b59
     *b164 + 300*b59*b165 + 330*b59*b166 + 360*b59*b167 + 390*b59*b168 + 420*
     b59*b169 + 250*b60*b106 + 225*b60*b107 + 200*b60*b108 + 225*b60*b109 + 250
     *b60*b110 + 275*b60*b111 + 300*b60*b112 + 325*b60*b113 + 280*b60*b154 + 
     252*b60*b155 + 224*b60*b156 + 252*b60*b157 + 280*b60*b158 + 308*b60*b159
      + 336*b60*b160 + 364*b60*b161 + 300*b60*b162 + 270*b60*b163 + 240*b60*
     b164 + 270*b60*b165 + 300*b60*b166 + 330*b60*b167 + 360*b60*b168 + 390*b60
     *b169 + 275*b61*b106 + 250*b61*b107 + 225*b61*b108 + 200*b61*b109 + 225*
     b61*b110 + 250*b61*b111 + 275*b61*b112 + 300*b61*b113 + 308*b61*b154 + 280
     *b61*b155 + 252*b61*b156 + 224*b61*b157 + 252*b61*b158 + 280*b61*b159 + 
     308*b61*b160 + 336*b61*b161 + 330*b61*b162 + 300*b61*b163 + 270*b61*b164
      + 240*b61*b165 + 270*b61*b166 + 300*b61*b167 + 330*b61*b168 + 360*b61*
     b169 + 300*b62*b106 + 275*b62*b107 + 250*b62*b108 + 225*b62*b109 + 200*b62
     *b110 + 225*b62*b111 + 250*b62*b112 + 275*b62*b113 + 336*b62*b154 + 308*
     b62*b155 + 280*b62*b156 + 252*b62*b157 + 224*b62*b158 + 252*b62*b159 + 280
     *b62*b160 + 308*b62*b161 + 360*b62*b162 + 330*b62*b163 + 300*b62*b164 + 
     270*b62*b165 + 240*b62*b166 + 270*b62*b167 + 300*b62*b168 + 330*b62*b169
      + 325*b63*b106 + 300*b63*b107 + 275*b63*b108 + 250*b63*b109 + 225*b63*
     b110 + 200*b63*b111 + 225*b63*b112 + 250*b63*b113 + 364*b63*b154 + 336*b63
     *b155 + 308*b63*b156 + 280*b63*b157 + 252*b63*b158 + 224*b63*b159 + 252*
     b63*b160 + 280*b63*b161 + 390*b63*b162 + 360*b63*b163 + 330*b63*b164 + 300
     *b63*b165 + 270*b63*b166 + 240*b63*b167 + 270*b63*b168 + 300*b63*b169 + 
     350*b64*b106 + 325*b64*b107 + 300*b64*b108 + 275*b64*b109 + 250*b64*b110
      + 225*b64*b111 + 200*b64*b112 + 225*b64*b113 + 392*b64*b154 + 364*b64*
     b155 + 336*b64*b156 + 308*b64*b157 + 280*b64*b158 + 252*b64*b159 + 224*b64
     *b160 + 252*b64*b161 + 420*b64*b162 + 390*b64*b163 + 360*b64*b164 + 330*
     b64*b165 + 300*b64*b166 + 270*b64*b167 + 240*b64*b168 + 270*b64*b169 + 375
     *b65*b106 + 350*b65*b107 + 325*b65*b108 + 300*b65*b109 + 275*b65*b110 + 
     250*b65*b111 + 225*b65*b112 + 200*b65*b113 + 420*b65*b154 + 392*b65*b155
      + 364*b65*b156 + 336*b65*b157 + 308*b65*b158 + 280*b65*b159 + 252*b65*
     b160 + 224*b65*b161 + 450*b65*b162 + 420*b65*b163 + 390*b65*b164 + 360*b65
     *b165 + 330*b65*b166 + 300*b65*b167 + 270*b65*b168 + 240*b65*b169 + 320*
     b66*b90 + 360*b66*b91 + 400*b66*b92 + 440*b66*b93 + 480*b66*b94 + 520*b66*
     b95 + 560*b66*b96 + 600*b66*b97 + 256*b66*b122 + 288*b66*b123 + 320*b66*
     b124 + 352*b66*b125 + 384*b66*b126 + 416*b66*b127 + 448*b66*b128 + 480*b66
     *b129 + 344*b66*b138 + 387*b66*b139 + 430*b66*b140 + 473*b66*b141 + 516*
     b66*b142 + 559*b66*b143 + 602*b66*b144 + 645*b66*b145 + 136*b66*b154 + 153
     *b66*b155 + 170*b66*b156 + 187*b66*b157 + 204*b66*b158 + 221*b66*b159 + 
     238*b66*b160 + 255*b66*b161 + 280*b66*b162 + 315*b66*b163 + 350*b66*b164
      + 385*b66*b165 + 420*b66*b166 + 455*b66*b167 + 490*b66*b168 + 525*b66*
     b169 + 360*b67*b90 + 320*b67*b91 + 360*b67*b92 + 400*b67*b93 + 440*b67*b94
      + 480*b67*b95 + 520*b67*b96 + 560*b67*b97 + 288*b67*b122 + 256*b67*b123
      + 288*b67*b124 + 320*b67*b125 + 352*b67*b126 + 384*b67*b127 + 416*b67*
     b128 + 448*b67*b129 + 387*b67*b138 + 344*b67*b139 + 387*b67*b140 + 430*b67
     *b141 + 473*b67*b142 + 516*b67*b143 + 559*b67*b144 + 602*b67*b145 + 153*
     b67*b154 + 136*b67*b155 + 153*b67*b156 + 170*b67*b157 + 187*b67*b158 + 204
     *b67*b159 + 221*b67*b160 + 238*b67*b161 + 315*b67*b162 + 280*b67*b163 + 
     315*b67*b164 + 350*b67*b165 + 385*b67*b166 + 420*b67*b167 + 455*b67*b168
      + 490*b67*b169 + 400*b68*b90 + 360*b68*b91 + 320*b68*b92 + 360*b68*b93 + 
     400*b68*b94 + 440*b68*b95 + 480*b68*b96 + 520*b68*b97 + 320*b68*b122 + 288
     *b68*b123 + 256*b68*b124 + 288*b68*b125 + 320*b68*b126 + 352*b68*b127 + 
     384*b68*b128 + 416*b68*b129 + 430*b68*b138 + 387*b68*b139 + 344*b68*b140
      + 387*b68*b141 + 430*b68*b142 + 473*b68*b143 + 516*b68*b144 + 559*b68*
     b145 + 170*b68*b154 + 153*b68*b155 + 136*b68*b156 + 153*b68*b157 + 170*b68
     *b158 + 187*b68*b159 + 204*b68*b160 + 221*b68*b161 + 350*b68*b162 + 315*
     b68*b163 + 280*b68*b164 + 315*b68*b165 + 350*b68*b166 + 385*b68*b167 + 420
     *b68*b168 + 455*b68*b169 + 440*b69*b90 + 400*b69*b91 + 360*b69*b92 + 320*
     b69*b93 + 360*b69*b94 + 400*b69*b95 + 440*b69*b96 + 480*b69*b97 + 352*b69*
     b122 + 320*b69*b123 + 288*b69*b124 + 256*b69*b125 + 288*b69*b126 + 320*b69
     *b127 + 352*b69*b128 + 384*b69*b129 + 473*b69*b138 + 430*b69*b139 + 387*
     b69*b140 + 344*b69*b141 + 387*b69*b142 + 430*b69*b143 + 473*b69*b144 + 516
     *b69*b145 + 187*b69*b154 + 170*b69*b155 + 153*b69*b156 + 136*b69*b157 + 
     153*b69*b158 + 170*b69*b159 + 187*b69*b160 + 204*b69*b161 + 385*b69*b162
      + 350*b69*b163 + 315*b69*b164 + 280*b69*b165 + 315*b69*b166 + 350*b69*
     b167 + 385*b69*b168 + 420*b69*b169 + 480*b70*b90 + 440*b70*b91 + 400*b70*
     b92 + 360*b70*b93 + 320*b70*b94 + 360*b70*b95 + 400*b70*b96 + 440*b70*b97
      + 384*b70*b122 + 352*b70*b123 + 320*b70*b124 + 288*b70*b125 + 256*b70*
     b126 + 288*b70*b127 + 320*b70*b128 + 352*b70*b129 + 516*b70*b138 + 473*b70
     *b139 + 430*b70*b140 + 387*b70*b141 + 344*b70*b142 + 387*b70*b143 + 430*
     b70*b144 + 473*b70*b145 + 204*b70*b154 + 187*b70*b155 + 170*b70*b156 + 153
     *b70*b157 + 136*b70*b158 + 153*b70*b159 + 170*b70*b160 + 187*b70*b161 + 
     420*b70*b162 + 385*b70*b163 + 350*b70*b164 + 315*b70*b165 + 280*b70*b166
      + 315*b70*b167 + 350*b70*b168 + 385*b70*b169 + 520*b71*b90 + 480*b71*b91
      + 440*b71*b92 + 400*b71*b93 + 360*b71*b94 + 320*b71*b95 + 360*b71*b96 + 
     400*b71*b97 + 416*b71*b122 + 384*b71*b123 + 352*b71*b124 + 320*b71*b125 + 
     288*b71*b126 + 256*b71*b127 + 288*b71*b128 + 320*b71*b129 + 559*b71*b138
      + 516*b71*b139 + 473*b71*b140 + 430*b71*b141 + 387*b71*b142 + 344*b71*
     b143 + 387*b71*b144 + 430*b71*b145 + 221*b71*b154 + 204*b71*b155 + 187*b71
     *b156 + 170*b71*b157 + 153*b71*b158 + 136*b71*b159 + 153*b71*b160 + 170*
     b71*b161 + 455*b71*b162 + 420*b71*b163 + 385*b71*b164 + 350*b71*b165 + 315
     *b71*b166 + 280*b71*b167 + 315*b71*b168 + 350*b71*b169 + 560*b72*b90 + 520
     *b72*b91 + 480*b72*b92 + 440*b72*b93 + 400*b72*b94 + 360*b72*b95 + 320*b72
     *b96 + 360*b72*b97 + 448*b72*b122 + 416*b72*b123 + 384*b72*b124 + 352*b72*
     b125 + 320*b72*b126 + 288*b72*b127 + 256*b72*b128 + 288*b72*b129 + 602*b72
     *b138 + 559*b72*b139 + 516*b72*b140 + 473*b72*b141 + 430*b72*b142 + 387*
     b72*b143 + 344*b72*b144 + 387*b72*b145 + 238*b72*b154 + 221*b72*b155 + 204
     *b72*b156 + 187*b72*b157 + 170*b72*b158 + 153*b72*b159 + 136*b72*b160 + 
     153*b72*b161 + 490*b72*b162 + 455*b72*b163 + 420*b72*b164 + 385*b72*b165
      + 350*b72*b166 + 315*b72*b167 + 280*b72*b168 + 315*b72*b169 + 600*b73*b90
      + 560*b73*b91 + 520*b73*b92 + 480*b73*b93 + 440*b73*b94 + 400*b73*b95 + 
     360*b73*b96 + 320*b73*b97 + 480*b73*b122 + 448*b73*b123 + 416*b73*b124 + 
     384*b73*b125 + 352*b73*b126 + 320*b73*b127 + 288*b73*b128 + 256*b73*b129
      + 645*b73*b138 + 602*b73*b139 + 559*b73*b140 + 516*b73*b141 + 473*b73*
     b142 + 430*b73*b143 + 387*b73*b144 + 344*b73*b145 + 255*b73*b154 + 238*b73
     *b155 + 221*b73*b156 + 204*b73*b157 + 187*b73*b158 + 170*b73*b159 + 153*
     b73*b160 + 136*b73*b161 + 525*b73*b162 + 490*b73*b163 + 455*b73*b164 + 420
     *b73*b165 + 385*b73*b166 + 350*b73*b167 + 315*b73*b168 + 280*b73*b169 + 
     184*b74*b130 + 207*b74*b131 + 230*b74*b132 + 253*b74*b133 + 276*b74*b134
      + 299*b74*b135 + 322*b74*b136 + 345*b74*b137 + 207*b75*b130 + 184*b75*
     b131 + 207*b75*b132 + 230*b75*b133 + 253*b75*b134 + 276*b75*b135 + 299*b75
     *b136 + 322*b75*b137 + 230*b76*b130 + 207*b76*b131 + 184*b76*b132 + 207*
     b76*b133 + 230*b76*b134 + 253*b76*b135 + 276*b76*b136 + 299*b76*b137 + 253
     *b77*b130 + 230*b77*b131 + 207*b77*b132 + 184*b77*b133 + 207*b77*b134 + 
     230*b77*b135 + 253*b77*b136 + 276*b77*b137 + 276*b78*b130 + 253*b78*b131
      + 230*b78*b132 + 207*b78*b133 + 184*b78*b134 + 207*b78*b135 + 230*b78*
     b136 + 253*b78*b137 + 299*b79*b130 + 276*b79*b131 + 253*b79*b132 + 230*b79
     *b133 + 207*b79*b134 + 184*b79*b135 + 207*b79*b136 + 230*b79*b137 + 322*
     b80*b130 + 299*b80*b131 + 276*b80*b132 + 253*b80*b133 + 230*b80*b134 + 207
     *b80*b135 + 184*b80*b136 + 207*b80*b137 + 345*b81*b130 + 322*b81*b131 + 
     299*b81*b132 + 276*b81*b133 + 253*b81*b134 + 230*b81*b135 + 207*b81*b136
      + 184*b81*b137 + 272*b82*b170 + 306*b82*b171 + 340*b82*b172 + 374*b82*
     b173 + 408*b82*b174 + 442*b82*b175 + 476*b82*b176 + 510*b82*b177 + 384*b82
     *b178 + 432*b82*b179 + 480*b82*b180 + 528*b82*b181 + 576*b82*b182 + 624*
     b82*b183 + 672*b82*b184 + 720*b82*b185 + 306*b83*b170 + 272*b83*b171 + 306
     *b83*b172 + 340*b83*b173 + 374*b83*b174 + 408*b83*b175 + 442*b83*b176 + 
     476*b83*b177 + 432*b83*b178 + 384*b83*b179 + 432*b83*b180 + 480*b83*b181
      + 528*b83*b182 + 576*b83*b183 + 624*b83*b184 + 672*b83*b185 + 340*b84*
     b170 + 306*b84*b171 + 272*b84*b172 + 306*b84*b173 + 340*b84*b174 + 374*b84
     *b175 + 408*b84*b176 + 442*b84*b177 + 480*b84*b178 + 432*b84*b179 + 384*
     b84*b180 + 432*b84*b181 + 480*b84*b182 + 528*b84*b183 + 576*b84*b184 + 624
     *b84*b185 + 374*b85*b170 + 340*b85*b171 + 306*b85*b172 + 272*b85*b173 + 
     306*b85*b174 + 340*b85*b175 + 374*b85*b176 + 408*b85*b177 + 528*b85*b178
      + 480*b85*b179 + 432*b85*b180 + 384*b85*b181 + 432*b85*b182 + 480*b85*
     b183 + 528*b85*b184 + 576*b85*b185 + 408*b86*b170 + 374*b86*b171 + 340*b86
     *b172 + 306*b86*b173 + 272*b86*b174 + 306*b86*b175 + 340*b86*b176 + 374*
     b86*b177 + 576*b86*b178 + 528*b86*b179 + 480*b86*b180 + 432*b86*b181 + 384
     *b86*b182 + 432*b86*b183 + 480*b86*b184 + 528*b86*b185 + 442*b87*b170 + 
     408*b87*b171 + 374*b87*b172 + 340*b87*b173 + 306*b87*b174 + 272*b87*b175
      + 306*b87*b176 + 340*b87*b177 + 624*b87*b178 + 576*b87*b179 + 528*b87*
     b180 + 480*b87*b181 + 432*b87*b182 + 384*b87*b183 + 432*b87*b184 + 480*b87
     *b185 + 476*b88*b170 + 442*b88*b171 + 408*b88*b172 + 374*b88*b173 + 340*
     b88*b174 + 306*b88*b175 + 272*b88*b176 + 306*b88*b177 + 672*b88*b178 + 624
     *b88*b179 + 576*b88*b180 + 528*b88*b181 + 480*b88*b182 + 432*b88*b183 + 
     384*b88*b184 + 432*b88*b185 + 510*b89*b170 + 476*b89*b171 + 442*b89*b172
      + 408*b89*b173 + 374*b89*b174 + 340*b89*b175 + 306*b89*b176 + 272*b89*
     b177 + 720*b89*b178 + 672*b89*b179 + 624*b89*b180 + 576*b89*b181 + 528*b89
     *b182 + 480*b89*b183 + 432*b89*b184 + 384*b89*b185 + 200*b98*b170 + 225*
     b98*b171 + 250*b98*b172 + 275*b98*b173 + 300*b98*b174 + 325*b98*b175 + 350
     *b98*b176 + 375*b98*b177 + 160*b98*b186 + 180*b98*b187 + 200*b98*b188 + 
     220*b98*b189 + 240*b98*b190 + 260*b98*b191 + 280*b98*b192 + 300*b98*b193
      + 225*b99*b170 + 200*b99*b171 + 225*b99*b172 + 250*b99*b173 + 275*b99*
     b174 + 300*b99*b175 + 325*b99*b176 + 350*b99*b177 + 180*b99*b186 + 160*b99
     *b187 + 180*b99*b188 + 200*b99*b189 + 220*b99*b190 + 240*b99*b191 + 260*
     b99*b192 + 280*b99*b193 + 250*b100*b170 + 225*b100*b171 + 200*b100*b172 + 
     225*b100*b173 + 250*b100*b174 + 275*b100*b175 + 300*b100*b176 + 325*b100*
     b177 + 200*b100*b186 + 180*b100*b187 + 160*b100*b188 + 180*b100*b189 + 200
     *b100*b190 + 220*b100*b191 + 240*b100*b192 + 260*b100*b193 + 275*b101*b170
      + 250*b101*b171 + 225*b101*b172 + 200*b101*b173 + 225*b101*b174 + 250*
     b101*b175 + 275*b101*b176 + 300*b101*b177 + 220*b101*b186 + 200*b101*b187
      + 180*b101*b188 + 160*b101*b189 + 180*b101*b190 + 200*b101*b191 + 220*
     b101*b192 + 240*b101*b193 + 300*b102*b170 + 275*b102*b171 + 250*b102*b172
      + 225*b102*b173 + 200*b102*b174 + 225*b102*b175 + 250*b102*b176 + 275*
     b102*b177 + 240*b102*b186 + 220*b102*b187 + 200*b102*b188 + 180*b102*b189
      + 160*b102*b190 + 180*b102*b191 + 200*b102*b192 + 220*b102*b193 + 325*
     b103*b170 + 300*b103*b171 + 275*b103*b172 + 250*b103*b173 + 225*b103*b174
      + 200*b103*b175 + 225*b103*b176 + 250*b103*b177 + 260*b103*b186 + 240*
     b103*b187 + 220*b103*b188 + 200*b103*b189 + 180*b103*b190 + 160*b103*b191
      + 180*b103*b192 + 200*b103*b193 + 350*b104*b170 + 325*b104*b171 + 300*
     b104*b172 + 275*b104*b173 + 250*b104*b174 + 225*b104*b175 + 200*b104*b176
      + 225*b104*b177 + 280*b104*b186 + 260*b104*b187 + 240*b104*b188 + 220*
     b104*b189 + 200*b104*b190 + 180*b104*b191 + 160*b104*b192 + 180*b104*b193
      + 375*b105*b170 + 350*b105*b171 + 325*b105*b172 + 300*b105*b173 + 275*
     b105*b174 + 250*b105*b175 + 225*b105*b176 + 200*b105*b177 + 300*b105*b186
      + 280*b105*b187 + 260*b105*b188 + 240*b105*b189 + 220*b105*b190 + 200*
     b105*b191 + 180*b105*b192 + 160*b105*b193 + 184*b106*b178 + 207*b106*b179
      + 230*b106*b180 + 253*b106*b181 + 276*b106*b182 + 299*b106*b183 + 322*
     b106*b184 + 345*b106*b185 + 136*b106*b186 + 153*b106*b187 + 170*b106*b188
      + 187*b106*b189 + 204*b106*b190 + 221*b106*b191 + 238*b106*b192 + 255*
     b106*b193 + 368*b106*b194 + 414*b106*b195 + 460*b106*b196 + 506*b106*b197
      + 552*b106*b198 + 598*b106*b199 + 644*b106*b200 + 690*b106*b201 + 207*
     b107*b178 + 184*b107*b179 + 207*b107*b180 + 230*b107*b181 + 253*b107*b182
      + 276*b107*b183 + 299*b107*b184 + 322*b107*b185 + 153*b107*b186 + 136*
     b107*b187 + 153*b107*b188 + 170*b107*b189 + 187*b107*b190 + 204*b107*b191
      + 221*b107*b192 + 238*b107*b193 + 414*b107*b194 + 368*b107*b195 + 414*
     b107*b196 + 460*b107*b197 + 506*b107*b198 + 552*b107*b199 + 598*b107*b200
      + 644*b107*b201 + 230*b108*b178 + 207*b108*b179 + 184*b108*b180 + 207*
     b108*b181 + 230*b108*b182 + 253*b108*b183 + 276*b108*b184 + 299*b108*b185
      + 170*b108*b186 + 153*b108*b187 + 136*b108*b188 + 153*b108*b189 + 170*
     b108*b190 + 187*b108*b191 + 204*b108*b192 + 221*b108*b193 + 460*b108*b194
      + 414*b108*b195 + 368*b108*b196 + 414*b108*b197 + 460*b108*b198 + 506*
     b108*b199 + 552*b108*b200 + 598*b108*b201 + 253*b109*b178 + 230*b109*b179
      + 207*b109*b180 + 184*b109*b181 + 207*b109*b182 + 230*b109*b183 + 253*
     b109*b184 + 276*b109*b185 + 187*b109*b186 + 170*b109*b187 + 153*b109*b188
      + 136*b109*b189 + 153*b109*b190 + 170*b109*b191 + 187*b109*b192 + 204*
     b109*b193 + 506*b109*b194 + 460*b109*b195 + 414*b109*b196 + 368*b109*b197
      + 414*b109*b198 + 460*b109*b199 + 506*b109*b200 + 552*b109*b201 + 276*
     b110*b178 + 253*b110*b179 + 230*b110*b180 + 207*b110*b181 + 184*b110*b182
      + 207*b110*b183 + 230*b110*b184 + 253*b110*b185 + 204*b110*b186 + 187*
     b110*b187 + 170*b110*b188 + 153*b110*b189 + 136*b110*b190 + 153*b110*b191
      + 170*b110*b192 + 187*b110*b193 + 552*b110*b194 + 506*b110*b195 + 460*
     b110*b196 + 414*b110*b197 + 368*b110*b198 + 414*b110*b199 + 460*b110*b200
      + 506*b110*b201 + 299*b111*b178 + 276*b111*b179 + 253*b111*b180 + 230*
     b111*b181 + 207*b111*b182 + 184*b111*b183 + 207*b111*b184 + 230*b111*b185
      + 221*b111*b186 + 204*b111*b187 + 187*b111*b188 + 170*b111*b189 + 153*
     b111*b190 + 136*b111*b191 + 153*b111*b192 + 170*b111*b193 + 598*b111*b194
      + 552*b111*b195 + 506*b111*b196 + 460*b111*b197 + 414*b111*b198 + 368*
     b111*b199 + 414*b111*b200 + 460*b111*b201 + 322*b112*b178 + 299*b112*b179
      + 276*b112*b180 + 253*b112*b181 + 230*b112*b182 + 207*b112*b183 + 184*
     b112*b184 + 207*b112*b185 + 238*b112*b186 + 221*b112*b187 + 204*b112*b188
      + 187*b112*b189 + 170*b112*b190 + 153*b112*b191 + 136*b112*b192 + 153*
     b112*b193 + 644*b112*b194 + 598*b112*b195 + 552*b112*b196 + 506*b112*b197
      + 460*b112*b198 + 414*b112*b199 + 368*b112*b200 + 414*b112*b201 + 345*
     b113*b178 + 322*b113*b179 + 299*b113*b180 + 276*b113*b181 + 253*b113*b182
      + 230*b113*b183 + 207*b113*b184 + 184*b113*b185 + 255*b113*b186 + 238*
     b113*b187 + 221*b113*b188 + 204*b113*b189 + 187*b113*b190 + 170*b113*b191
      + 153*b113*b192 + 136*b113*b193 + 690*b113*b194 + 644*b113*b195 + 598*
     b113*b196 + 552*b113*b197 + 506*b113*b198 + 460*b113*b199 + 414*b113*b200
      + 368*b113*b201 + 232*b122*b178 + 261*b122*b179 + 290*b122*b180 + 319*
     b122*b181 + 348*b122*b182 + 377*b122*b183 + 406*b122*b184 + 435*b122*b185
      + 96*b122*b186 + 108*b122*b187 + 120*b122*b188 + 132*b122*b189 + 144*b122
     *b190 + 156*b122*b191 + 168*b122*b192 + 180*b122*b193 + 336*b122*b194 + 
     378*b122*b195 + 420*b122*b196 + 462*b122*b197 + 504*b122*b198 + 546*b122*
     b199 + 588*b122*b200 + 630*b122*b201 + 261*b123*b178 + 232*b123*b179 + 261
     *b123*b180 + 290*b123*b181 + 319*b123*b182 + 348*b123*b183 + 377*b123*b184
      + 406*b123*b185 + 108*b123*b186 + 96*b123*b187 + 108*b123*b188 + 120*b123
     *b189 + 132*b123*b190 + 144*b123*b191 + 156*b123*b192 + 168*b123*b193 + 
     378*b123*b194 + 336*b123*b195 + 378*b123*b196 + 420*b123*b197 + 462*b123*
     b198 + 504*b123*b199 + 546*b123*b200 + 588*b123*b201 + 290*b124*b178 + 261
     *b124*b179 + 232*b124*b180 + 261*b124*b181 + 290*b124*b182 + 319*b124*b183
      + 348*b124*b184 + 377*b124*b185 + 120*b124*b186 + 108*b124*b187 + 96*b124
     *b188 + 108*b124*b189 + 120*b124*b190 + 132*b124*b191 + 144*b124*b192 + 
     156*b124*b193 + 420*b124*b194 + 378*b124*b195 + 336*b124*b196 + 378*b124*
     b197 + 420*b124*b198 + 462*b124*b199 + 504*b124*b200 + 546*b124*b201 + 319
     *b125*b178 + 290*b125*b179 + 261*b125*b180 + 232*b125*b181 + 261*b125*b182
      + 290*b125*b183 + 319*b125*b184 + 348*b125*b185 + 132*b125*b186 + 120*
     b125*b187 + 108*b125*b188 + 96*b125*b189 + 108*b125*b190 + 120*b125*b191
      + 132*b125*b192 + 144*b125*b193 + 462*b125*b194 + 420*b125*b195 + 378*
     b125*b196 + 336*b125*b197 + 378*b125*b198 + 420*b125*b199 + 462*b125*b200
      + 504*b125*b201 + 348*b126*b178 + 319*b126*b179 + 290*b126*b180 + 261*
     b126*b181 + 232*b126*b182 + 261*b126*b183 + 290*b126*b184 + 319*b126*b185
      + 144*b126*b186 + 132*b126*b187 + 120*b126*b188 + 108*b126*b189 + 96*b126
     *b190 + 108*b126*b191 + 120*b126*b192 + 132*b126*b193 + 504*b126*b194 + 
     462*b126*b195 + 420*b126*b196 + 378*b126*b197 + 336*b126*b198 + 378*b126*
     b199 + 420*b126*b200 + 462*b126*b201 + 377*b127*b178 + 348*b127*b179 + 319
     *b127*b180 + 290*b127*b181 + 261*b127*b182 + 232*b127*b183 + 261*b127*b184
      + 290*b127*b185 + 156*b127*b186 + 144*b127*b187 + 132*b127*b188 + 120*
     b127*b189 + 108*b127*b190 + 96*b127*b191 + 108*b127*b192 + 120*b127*b193
      + 546*b127*b194 + 504*b127*b195 + 462*b127*b196 + 420*b127*b197 + 378*
     b127*b198 + 336*b127*b199 + 378*b127*b200 + 420*b127*b201 + 406*b128*b178
      + 377*b128*b179 + 348*b128*b180 + 319*b128*b181 + 290*b128*b182 + 261*
     b128*b183 + 232*b128*b184 + 261*b128*b185 + 168*b128*b186 + 156*b128*b187
      + 144*b128*b188 + 132*b128*b189 + 120*b128*b190 + 108*b128*b191 + 96*b128
     *b192 + 108*b128*b193 + 588*b128*b194 + 546*b128*b195 + 504*b128*b196 + 
     462*b128*b197 + 420*b128*b198 + 378*b128*b199 + 336*b128*b200 + 378*b128*
     b201 + 435*b129*b178 + 406*b129*b179 + 377*b129*b180 + 348*b129*b181 + 319
     *b129*b182 + 290*b129*b183 + 261*b129*b184 + 232*b129*b185 + 180*b129*b186
      + 168*b129*b187 + 156*b129*b188 + 144*b129*b189 + 132*b129*b190 + 120*
     b129*b191 + 108*b129*b192 + 96*b129*b193 + 630*b129*b194 + 588*b129*b195
      + 546*b129*b196 + 504*b129*b197 + 462*b129*b198 + 420*b129*b199 + 378*
     b129*b200 + 336*b129*b201 + 128*b130*b170 + 144*b130*b171 + 160*b130*b172
      + 176*b130*b173 + 192*b130*b174 + 208*b130*b175 + 224*b130*b176 + 240*
     b130*b177 + 88*b130*b202 + 99*b130*b203 + 110*b130*b204 + 121*b130*b205 + 
     132*b130*b206 + 143*b130*b207 + 154*b130*b208 + 165*b130*b209 + 88*b130*
     b210 + 99*b130*b211 + 110*b130*b212 + 121*b130*b213 + 132*b130*b214 + 143*
     b130*b215 + 154*b130*b216 + 165*b130*b217 + 144*b131*b170 + 128*b131*b171
      + 144*b131*b172 + 160*b131*b173 + 176*b131*b174 + 192*b131*b175 + 208*
     b131*b176 + 224*b131*b177 + 99*b131*b202 + 88*b131*b203 + 99*b131*b204 + 
     110*b131*b205 + 121*b131*b206 + 132*b131*b207 + 143*b131*b208 + 154*b131*
     b209 + 99*b131*b210 + 88*b131*b211 + 99*b131*b212 + 110*b131*b213 + 121*
     b131*b214 + 132*b131*b215 + 143*b131*b216 + 154*b131*b217 + 160*b132*b170
      + 144*b132*b171 + 128*b132*b172 + 144*b132*b173 + 160*b132*b174 + 176*
     b132*b175 + 192*b132*b176 + 208*b132*b177 + 110*b132*b202 + 99*b132*b203
      + 88*b132*b204 + 99*b132*b205 + 110*b132*b206 + 121*b132*b207 + 132*b132*
     b208 + 143*b132*b209 + 110*b132*b210 + 99*b132*b211 + 88*b132*b212 + 99*
     b132*b213 + 110*b132*b214 + 121*b132*b215 + 132*b132*b216 + 143*b132*b217
      + 176*b133*b170 + 160*b133*b171 + 144*b133*b172 + 128*b133*b173 + 144*
     b133*b174 + 160*b133*b175 + 176*b133*b176 + 192*b133*b177 + 121*b133*b202
      + 110*b133*b203 + 99*b133*b204 + 88*b133*b205 + 99*b133*b206 + 110*b133*
     b207 + 121*b133*b208 + 132*b133*b209 + 121*b133*b210 + 110*b133*b211 + 99*
     b133*b212 + 88*b133*b213 + 99*b133*b214 + 110*b133*b215 + 121*b133*b216 + 
     132*b133*b217 + 192*b134*b170 + 176*b134*b171 + 160*b134*b172 + 144*b134*
     b173 + 128*b134*b174 + 144*b134*b175 + 160*b134*b176 + 176*b134*b177 + 132
     *b134*b202 + 121*b134*b203 + 110*b134*b204 + 99*b134*b205 + 88*b134*b206
      + 99*b134*b207 + 110*b134*b208 + 121*b134*b209 + 132*b134*b210 + 121*b134
     *b211 + 110*b134*b212 + 99*b134*b213 + 88*b134*b214 + 99*b134*b215 + 110*
     b134*b216 + 121*b134*b217 + 208*b135*b170 + 192*b135*b171 + 176*b135*b172
      + 160*b135*b173 + 144*b135*b174 + 128*b135*b175 + 144*b135*b176 + 160*
     b135*b177 + 143*b135*b202 + 132*b135*b203 + 121*b135*b204 + 110*b135*b205
      + 99*b135*b206 + 88*b135*b207 + 99*b135*b208 + 110*b135*b209 + 143*b135*
     b210 + 132*b135*b211 + 121*b135*b212 + 110*b135*b213 + 99*b135*b214 + 88*
     b135*b215 + 99*b135*b216 + 110*b135*b217 + 224*b136*b170 + 208*b136*b171
      + 192*b136*b172 + 176*b136*b173 + 160*b136*b174 + 144*b136*b175 + 128*
     b136*b176 + 144*b136*b177 + 154*b136*b202 + 143*b136*b203 + 132*b136*b204
      + 121*b136*b205 + 110*b136*b206 + 99*b136*b207 + 88*b136*b208 + 99*b136*
     b209 + 154*b136*b210 + 143*b136*b211 + 132*b136*b212 + 121*b136*b213 + 110
     *b136*b214 + 99*b136*b215 + 88*b136*b216 + 99*b136*b217 + 240*b137*b170 + 
     224*b137*b171 + 208*b137*b172 + 192*b137*b173 + 176*b137*b174 + 160*b137*
     b175 + 144*b137*b176 + 128*b137*b177 + 165*b137*b202 + 154*b137*b203 + 143
     *b137*b204 + 132*b137*b205 + 121*b137*b206 + 110*b137*b207 + 99*b137*b208
      + 88*b137*b209 + 165*b137*b210 + 154*b137*b211 + 143*b137*b212 + 132*b137
     *b213 + 121*b137*b214 + 110*b137*b215 + 99*b137*b216 + 88*b137*b217 + 320*
     b138*b178 + 360*b138*b179 + 400*b138*b180 + 440*b138*b181 + 480*b138*b182
      + 520*b138*b183 + 560*b138*b184 + 600*b138*b185 + 368*b138*b210 + 414*
     b138*b211 + 460*b138*b212 + 506*b138*b213 + 552*b138*b214 + 598*b138*b215
      + 644*b138*b216 + 690*b138*b217 + 320*b138*b218 + 360*b138*b219 + 400*
     b138*b220 + 440*b138*b221 + 480*b138*b222 + 520*b138*b223 + 560*b138*b224
      + 600*b138*b225 + 360*b139*b178 + 320*b139*b179 + 360*b139*b180 + 400*
     b139*b181 + 440*b139*b182 + 480*b139*b183 + 520*b139*b184 + 560*b139*b185
      + 414*b139*b210 + 368*b139*b211 + 414*b139*b212 + 460*b139*b213 + 506*
     b139*b214 + 552*b139*b215 + 598*b139*b216 + 644*b139*b217 + 360*b139*b218
      + 320*b139*b219 + 360*b139*b220 + 400*b139*b221 + 440*b139*b222 + 480*
     b139*b223 + 520*b139*b224 + 560*b139*b225 + 400*b140*b178 + 360*b140*b179
      + 320*b140*b180 + 360*b140*b181 + 400*b140*b182 + 440*b140*b183 + 480*
     b140*b184 + 520*b140*b185 + 460*b140*b210 + 414*b140*b211 + 368*b140*b212
      + 414*b140*b213 + 460*b140*b214 + 506*b140*b215 + 552*b140*b216 + 598*
     b140*b217 + 400*b140*b218 + 360*b140*b219 + 320*b140*b220 + 360*b140*b221
      + 400*b140*b222 + 440*b140*b223 + 480*b140*b224 + 520*b140*b225 + 440*
     b141*b178 + 400*b141*b179 + 360*b141*b180 + 320*b141*b181 + 360*b141*b182
      + 400*b141*b183 + 440*b141*b184 + 480*b141*b185 + 506*b141*b210 + 460*
     b141*b211 + 414*b141*b212 + 368*b141*b213 + 414*b141*b214 + 460*b141*b215
      + 506*b141*b216 + 552*b141*b217 + 440*b141*b218 + 400*b141*b219 + 360*
     b141*b220 + 320*b141*b221 + 360*b141*b222 + 400*b141*b223 + 440*b141*b224
      + 480*b141*b225 + 480*b142*b178 + 440*b142*b179 + 400*b142*b180 + 360*
     b142*b181 + 320*b142*b182 + 360*b142*b183 + 400*b142*b184 + 440*b142*b185
      + 552*b142*b210 + 506*b142*b211 + 460*b142*b212 + 414*b142*b213 + 368*
     b142*b214 + 414*b142*b215 + 460*b142*b216 + 506*b142*b217 + 480*b142*b218
      + 440*b142*b219 + 400*b142*b220 + 360*b142*b221 + 320*b142*b222 + 360*
     b142*b223 + 400*b142*b224 + 440*b142*b225 + 520*b143*b178 + 480*b143*b179
      + 440*b143*b180 + 400*b143*b181 + 360*b143*b182 + 320*b143*b183 + 360*
     b143*b184 + 400*b143*b185 + 598*b143*b210 + 552*b143*b211 + 506*b143*b212
      + 460*b143*b213 + 414*b143*b214 + 368*b143*b215 + 414*b143*b216 + 460*
     b143*b217 + 520*b143*b218 + 480*b143*b219 + 440*b143*b220 + 400*b143*b221
      + 360*b143*b222 + 320*b143*b223 + 360*b143*b224 + 400*b143*b225 + 560*
     b144*b178 + 520*b144*b179 + 480*b144*b180 + 440*b144*b181 + 400*b144*b182
      + 360*b144*b183 + 320*b144*b184 + 360*b144*b185 + 644*b144*b210 + 598*
     b144*b211 + 552*b144*b212 + 506*b144*b213 + 460*b144*b214 + 414*b144*b215
      + 368*b144*b216 + 414*b144*b217 + 560*b144*b218 + 520*b144*b219 + 480*
     b144*b220 + 440*b144*b221 + 400*b144*b222 + 360*b144*b223 + 320*b144*b224
      + 360*b144*b225 + 600*b145*b178 + 560*b145*b179 + 520*b145*b180 + 480*
     b145*b181 + 440*b145*b182 + 400*b145*b183 + 360*b145*b184 + 320*b145*b185
      + 690*b145*b210 + 644*b145*b211 + 598*b145*b212 + 552*b145*b213 + 506*
     b145*b214 + 460*b145*b215 + 414*b145*b216 + 368*b145*b217 + 600*b145*b218
      + 560*b145*b219 + 520*b145*b220 + 480*b145*b221 + 440*b145*b222 + 400*
     b145*b223 + 360*b145*b224 + 320*b145*b225 + 224*b146*b210 + 252*b146*b211
      + 280*b146*b212 + 308*b146*b213 + 336*b146*b214 + 364*b146*b215 + 392*
     b146*b216 + 420*b146*b217 + 128*b146*b218 + 144*b146*b219 + 160*b146*b220
      + 176*b146*b221 + 192*b146*b222 + 208*b146*b223 + 224*b146*b224 + 240*
     b146*b225 + 252*b147*b210 + 224*b147*b211 + 252*b147*b212 + 280*b147*b213
      + 308*b147*b214 + 336*b147*b215 + 364*b147*b216 + 392*b147*b217 + 144*
     b147*b218 + 128*b147*b219 + 144*b147*b220 + 160*b147*b221 + 176*b147*b222
      + 192*b147*b223 + 208*b147*b224 + 224*b147*b225 + 280*b148*b210 + 252*
     b148*b211 + 224*b148*b212 + 252*b148*b213 + 280*b148*b214 + 308*b148*b215
      + 336*b148*b216 + 364*b148*b217 + 160*b148*b218 + 144*b148*b219 + 128*
     b148*b220 + 144*b148*b221 + 160*b148*b222 + 176*b148*b223 + 192*b148*b224
      + 208*b148*b225 + 308*b149*b210 + 280*b149*b211 + 252*b149*b212 + 224*
     b149*b213 + 252*b149*b214 + 280*b149*b215 + 308*b149*b216 + 336*b149*b217
      + 176*b149*b218 + 160*b149*b219 + 144*b149*b220 + 128*b149*b221 + 144*
     b149*b222 + 160*b149*b223 + 176*b149*b224 + 192*b149*b225 + 336*b150*b210
      + 308*b150*b211 + 280*b150*b212 + 252*b150*b213 + 224*b150*b214 + 252*
     b150*b215 + 280*b150*b216 + 308*b150*b217 + 192*b150*b218 + 176*b150*b219
      + 160*b150*b220 + 144*b150*b221 + 128*b150*b222 + 144*b150*b223 + 160*
     b150*b224 + 176*b150*b225 + 364*b151*b210 + 336*b151*b211 + 308*b151*b212
      + 280*b151*b213 + 252*b151*b214 + 224*b151*b215 + 252*b151*b216 + 280*
     b151*b217 + 208*b151*b218 + 192*b151*b219 + 176*b151*b220 + 160*b151*b221
      + 144*b151*b222 + 128*b151*b223 + 144*b151*b224 + 160*b151*b225 + 392*
     b152*b210 + 364*b152*b211 + 336*b152*b212 + 308*b152*b213 + 280*b152*b214
      + 252*b152*b215 + 224*b152*b216 + 252*b152*b217 + 224*b152*b218 + 208*
     b152*b219 + 192*b152*b220 + 176*b152*b221 + 160*b152*b222 + 144*b152*b223
      + 128*b152*b224 + 144*b152*b225 + 420*b153*b210 + 392*b153*b211 + 364*
     b153*b212 + 336*b153*b213 + 308*b153*b214 + 280*b153*b215 + 252*b153*b216
      + 224*b153*b217 + 240*b153*b218 + 224*b153*b219 + 208*b153*b220 + 192*
     b153*b221 + 176*b153*b222 + 160*b153*b223 + 144*b153*b224 + 128*b153*b225
      + 152*b154*b170 + 171*b154*b171 + 190*b154*b172 + 209*b154*b173 + 228*
     b154*b174 + 247*b154*b175 + 266*b154*b176 + 285*b154*b177 + 224*b154*b210
      + 252*b154*b211 + 280*b154*b212 + 308*b154*b213 + 336*b154*b214 + 364*
     b154*b215 + 392*b154*b216 + 420*b154*b217 + 200*b154*b218 + 225*b154*b219
      + 250*b154*b220 + 275*b154*b221 + 300*b154*b222 + 325*b154*b223 + 350*
     b154*b224 + 375*b154*b225 + 171*b155*b170 + 152*b155*b171 + 171*b155*b172
      + 190*b155*b173 + 209*b155*b174 + 228*b155*b175 + 247*b155*b176 + 266*
     b155*b177 + 252*b155*b210 + 224*b155*b211 + 252*b155*b212 + 280*b155*b213
      + 308*b155*b214 + 336*b155*b215 + 364*b155*b216 + 392*b155*b217 + 225*
     b155*b218 + 200*b155*b219 + 225*b155*b220 + 250*b155*b221 + 275*b155*b222
      + 300*b155*b223 + 325*b155*b224 + 350*b155*b225 + 190*b156*b170 + 171*
     b156*b171 + 152*b156*b172 + 171*b156*b173 + 190*b156*b174 + 209*b156*b175
      + 228*b156*b176 + 247*b156*b177 + 280*b156*b210 + 252*b156*b211 + 224*
     b156*b212 + 252*b156*b213 + 280*b156*b214 + 308*b156*b215 + 336*b156*b216
      + 364*b156*b217 + 250*b156*b218 + 225*b156*b219 + 200*b156*b220 + 225*
     b156*b221 + 250*b156*b222 + 275*b156*b223 + 300*b156*b224 + 325*b156*b225
      + 209*b157*b170 + 190*b157*b171 + 171*b157*b172 + 152*b157*b173 + 171*
     b157*b174 + 190*b157*b175 + 209*b157*b176 + 228*b157*b177 + 308*b157*b210
      + 280*b157*b211 + 252*b157*b212 + 224*b157*b213 + 252*b157*b214 + 280*
     b157*b215 + 308*b157*b216 + 336*b157*b217 + 275*b157*b218 + 250*b157*b219
      + 225*b157*b220 + 200*b157*b221 + 225*b157*b222 + 250*b157*b223 + 275*
     b157*b224 + 300*b157*b225 + 228*b158*b170 + 209*b158*b171 + 190*b158*b172
      + 171*b158*b173 + 152*b158*b174 + 171*b158*b175 + 190*b158*b176 + 209*
     b158*b177 + 336*b158*b210 + 308*b158*b211 + 280*b158*b212 + 252*b158*b213
      + 224*b158*b214 + 252*b158*b215 + 280*b158*b216 + 308*b158*b217 + 300*
     b158*b218 + 275*b158*b219 + 250*b158*b220 + 225*b158*b221 + 200*b158*b222
      + 225*b158*b223 + 250*b158*b224 + 275*b158*b225 + 247*b159*b170 + 228*
     b159*b171 + 209*b159*b172 + 190*b159*b173 + 171*b159*b174 + 152*b159*b175
      + 171*b159*b176 + 190*b159*b177 + 364*b159*b210 + 336*b159*b211 + 308*
     b159*b212 + 280*b159*b213 + 252*b159*b214 + 224*b159*b215 + 252*b159*b216
      + 280*b159*b217 + 325*b159*b218 + 300*b159*b219 + 275*b159*b220 + 250*
     b159*b221 + 225*b159*b222 + 200*b159*b223 + 225*b159*b224 + 250*b159*b225
      + 266*b160*b170 + 247*b160*b171 + 228*b160*b172 + 209*b160*b173 + 190*
     b160*b174 + 171*b160*b175 + 152*b160*b176 + 171*b160*b177 + 392*b160*b210
      + 364*b160*b211 + 336*b160*b212 + 308*b160*b213 + 280*b160*b214 + 252*
     b160*b215 + 224*b160*b216 + 252*b160*b217 + 350*b160*b218 + 325*b160*b219
      + 300*b160*b220 + 275*b160*b221 + 250*b160*b222 + 225*b160*b223 + 200*
     b160*b224 + 225*b160*b225 + 285*b161*b170 + 266*b161*b171 + 247*b161*b172
      + 228*b161*b173 + 209*b161*b174 + 190*b161*b175 + 171*b161*b176 + 152*
     b161*b177 + 420*b161*b210 + 392*b161*b211 + 364*b161*b212 + 336*b161*b213
      + 308*b161*b214 + 280*b161*b215 + 252*b161*b216 + 224*b161*b217 + 375*
     b161*b218 + 350*b161*b219 + 325*b161*b220 + 300*b161*b221 + 275*b161*b222
      + 250*b161*b223 + 225*b161*b224 + 200*b161*b225 + 320*b162*b194 + 360*
     b162*b195 + 400*b162*b196 + 440*b162*b197 + 480*b162*b198 + 520*b162*b199
      + 560*b162*b200 + 600*b162*b201 + 360*b163*b194 + 320*b163*b195 + 360*
     b163*b196 + 400*b163*b197 + 440*b163*b198 + 480*b163*b199 + 520*b163*b200
      + 560*b163*b201 + 400*b164*b194 + 360*b164*b195 + 320*b164*b196 + 360*
     b164*b197 + 400*b164*b198 + 440*b164*b199 + 480*b164*b200 + 520*b164*b201
      + 440*b165*b194 + 400*b165*b195 + 360*b165*b196 + 320*b165*b197 + 360*
     b165*b198 + 400*b165*b199 + 440*b165*b200 + 480*b165*b201 + 480*b166*b194
      + 440*b166*b195 + 400*b166*b196 + 360*b166*b197 + 320*b166*b198 + 360*
     b166*b199 + 400*b166*b200 + 440*b166*b201 + 520*b167*b194 + 480*b167*b195
      + 440*b167*b196 + 400*b167*b197 + 360*b167*b198 + 320*b167*b199 + 360*
     b167*b200 + 400*b167*b201 + 560*b168*b194 + 520*b168*b195 + 480*b168*b196
      + 440*b168*b197 + 400*b168*b198 + 360*b168*b199 + 320*b168*b200 + 360*
     b168*b201 + 600*b169*b194 + 560*b169*b195 + 520*b169*b196 + 480*b169*b197
      + 440*b169*b198 + 400*b169*b199 + 360*b169*b200 + 320*b169*b201 + 160*
     b170*b226 + 180*b170*b227 + 200*b170*b228 + 220*b170*b229 + 240*b170*b230
      + 260*b170*b231 + 280*b170*b232 + 300*b170*b233 + 180*b171*b226 + 160*
     b171*b227 + 180*b171*b228 + 200*b171*b229 + 220*b171*b230 + 240*b171*b231
      + 260*b171*b232 + 280*b171*b233 + 200*b172*b226 + 180*b172*b227 + 160*
     b172*b228 + 180*b172*b229 + 200*b172*b230 + 220*b172*b231 + 240*b172*b232
      + 260*b172*b233 + 220*b173*b226 + 200*b173*b227 + 180*b173*b228 + 160*
     b173*b229 + 180*b173*b230 + 200*b173*b231 + 220*b173*b232 + 240*b173*b233
      + 240*b174*b226 + 220*b174*b227 + 200*b174*b228 + 180*b174*b229 + 160*
     b174*b230 + 180*b174*b231 + 200*b174*b232 + 220*b174*b233 + 260*b175*b226
      + 240*b175*b227 + 220*b175*b228 + 200*b175*b229 + 180*b175*b230 + 160*
     b175*b231 + 180*b175*b232 + 200*b175*b233 + 280*b176*b226 + 260*b176*b227
      + 240*b176*b228 + 220*b176*b229 + 200*b176*b230 + 180*b176*b231 + 160*
     b176*b232 + 180*b176*b233 + 300*b177*b226 + 280*b177*b227 + 260*b177*b228
      + 240*b177*b229 + 220*b177*b230 + 200*b177*b231 + 180*b177*b232 + 160*
     b177*b233 + 376*b186*b234 + 423*b186*b235 + 470*b186*b236 + 517*b186*b237
      + 564*b186*b238 + 611*b186*b239 + 658*b186*b240 + 705*b186*b241 + 423*
     b187*b234 + 376*b187*b235 + 423*b187*b236 + 470*b187*b237 + 517*b187*b238
      + 564*b187*b239 + 611*b187*b240 + 658*b187*b241 + 470*b188*b234 + 423*
     b188*b235 + 376*b188*b236 + 423*b188*b237 + 470*b188*b238 + 517*b188*b239
      + 564*b188*b240 + 611*b188*b241 + 517*b189*b234 + 470*b189*b235 + 423*
     b189*b236 + 376*b189*b237 + 423*b189*b238 + 470*b189*b239 + 517*b189*b240
      + 564*b189*b241 + 564*b190*b234 + 517*b190*b235 + 470*b190*b236 + 423*
     b190*b237 + 376*b190*b238 + 423*b190*b239 + 470*b190*b240 + 517*b190*b241
      + 611*b191*b234 + 564*b191*b235 + 517*b191*b236 + 470*b191*b237 + 423*
     b191*b238 + 376*b191*b239 + 423*b191*b240 + 470*b191*b241 + 658*b192*b234
      + 611*b192*b235 + 564*b192*b236 + 517*b192*b237 + 470*b192*b238 + 423*
     b192*b239 + 376*b192*b240 + 423*b192*b241 + 705*b193*b234 + 658*b193*b235
      + 611*b193*b236 + 564*b193*b237 + 517*b193*b238 + 470*b193*b239 + 423*
     b193*b240 + 376*b193*b241 + 384*b202*b226 + 432*b202*b227 + 480*b202*b228
      + 528*b202*b229 + 576*b202*b230 + 624*b202*b231 + 672*b202*b232 + 720*
     b202*b233 + 192*b202*b234 + 216*b202*b235 + 240*b202*b236 + 264*b202*b237
      + 288*b202*b238 + 312*b202*b239 + 336*b202*b240 + 360*b202*b241 + 432*
     b203*b226 + 384*b203*b227 + 432*b203*b228 + 480*b203*b229 + 528*b203*b230
      + 576*b203*b231 + 624*b203*b232 + 672*b203*b233 + 216*b203*b234 + 192*
     b203*b235 + 216*b203*b236 + 240*b203*b237 + 264*b203*b238 + 288*b203*b239
      + 312*b203*b240 + 336*b203*b241 + 480*b204*b226 + 432*b204*b227 + 384*
     b204*b228 + 432*b204*b229 + 480*b204*b230 + 528*b204*b231 + 576*b204*b232
      + 624*b204*b233 + 240*b204*b234 + 216*b204*b235 + 192*b204*b236 + 216*
     b204*b237 + 240*b204*b238 + 264*b204*b239 + 288*b204*b240 + 312*b204*b241
      + 528*b205*b226 + 480*b205*b227 + 432*b205*b228 + 384*b205*b229 + 432*
     b205*b230 + 480*b205*b231 + 528*b205*b232 + 576*b205*b233 + 264*b205*b234
      + 240*b205*b235 + 216*b205*b236 + 192*b205*b237 + 216*b205*b238 + 240*
     b205*b239 + 264*b205*b240 + 288*b205*b241 + 576*b206*b226 + 528*b206*b227
      + 480*b206*b228 + 432*b206*b229 + 384*b206*b230 + 432*b206*b231 + 480*
     b206*b232 + 528*b206*b233 + 288*b206*b234 + 264*b206*b235 + 240*b206*b236
      + 216*b206*b237 + 192*b206*b238 + 216*b206*b239 + 240*b206*b240 + 264*
     b206*b241 + 624*b207*b226 + 576*b207*b227 + 528*b207*b228 + 480*b207*b229
      + 432*b207*b230 + 384*b207*b231 + 432*b207*b232 + 480*b207*b233 + 312*
     b207*b234 + 288*b207*b235 + 264*b207*b236 + 240*b207*b237 + 216*b207*b238
      + 192*b207*b239 + 216*b207*b240 + 240*b207*b241 + 672*b208*b226 + 624*
     b208*b227 + 576*b208*b228 + 528*b208*b229 + 480*b208*b230 + 432*b208*b231
      + 384*b208*b232 + 432*b208*b233 + 336*b208*b234 + 312*b208*b235 + 288*
     b208*b236 + 264*b208*b237 + 240*b208*b238 + 216*b208*b239 + 192*b208*b240
      + 216*b208*b241 + 720*b209*b226 + 672*b209*b227 + 624*b209*b228 + 576*
     b209*b229 + 528*b209*b230 + 480*b209*b231 + 432*b209*b232 + 384*b209*b233
      + 360*b209*b234 + 336*b209*b235 + 312*b209*b236 + 288*b209*b237 + 264*
     b209*b238 + 240*b209*b239 + 216*b209*b240 + 192*b209*b241 + 88*b218*b226
      + 99*b218*b227 + 110*b218*b228 + 121*b218*b229 + 132*b218*b230 + 143*b218
     *b231 + 154*b218*b232 + 165*b218*b233 + 99*b219*b226 + 88*b219*b227 + 99*
     b219*b228 + 110*b219*b229 + 121*b219*b230 + 132*b219*b231 + 143*b219*b232
      + 154*b219*b233 + 110*b220*b226 + 99*b220*b227 + 88*b220*b228 + 99*b220*
     b229 + 110*b220*b230 + 121*b220*b231 + 132*b220*b232 + 143*b220*b233 + 121
     *b221*b226 + 110*b221*b227 + 99*b221*b228 + 88*b221*b229 + 99*b221*b230 + 
     110*b221*b231 + 121*b221*b232 + 132*b221*b233 + 132*b222*b226 + 121*b222*
     b227 + 110*b222*b228 + 99*b222*b229 + 88*b222*b230 + 99*b222*b231 + 110*
     b222*b232 + 121*b222*b233 + 143*b223*b226 + 132*b223*b227 + 121*b223*b228
      + 110*b223*b229 + 99*b223*b230 + 88*b223*b231 + 99*b223*b232 + 110*b223*
     b233 + 154*b224*b226 + 143*b224*b227 + 132*b224*b228 + 121*b224*b229 + 110
     *b224*b230 + 99*b224*b231 + 88*b224*b232 + 99*b224*b233 + 165*b225*b226 + 
     154*b225*b227 + 143*b225*b228 + 132*b225*b229 + 121*b225*b230 + 110*b225*
     b231 + 99*b225*b232 + 88*b225*b233 - objvar =E= 0;

e2..    b2 + b19 + b20 + b21 + b22 + b23 + b24 + b25 =E= 1;

e3..    b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 =E= 1;

e4..    b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 =E= 1;

e5..    b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 =E= 1;

e6..    b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 =E= 1;

e7..    b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 =E= 1;

e8..    b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 =E= 1;

e9..    b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 =E= 1;

e10..    b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 =E= 1;

e11..    b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 =E= 1;

e12..    b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 =E= 1;

e13..    b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 =E= 1;

e14..    b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 =E= 1;

e15..    b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 =E= 1;

e16..    b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 =E= 1;

e17..    b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 =E= 1;

e18..    b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 =E= 1;

e19..    b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 =E= 1;

e20..    b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 =E= 1;

e21..    b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 =E= 1;

e22..    b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 =E= 1;

e23..    b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 =E= 1;

e24..    b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 =E= 1;

e25..    b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 =E= 1;

e26..    b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 =E= 1;

e27..    b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 =E= 1;

e28..    b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 =E= 1;

e29..    b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 =E= 1;

e30..    b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 =E= 1;

e31..    b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 =E= 1;

e32..    81*b2 + 50*b26 + 51*b34 + 196*b42 + 189*b50 + 100*b58 + 209*b66
       + 46*b74 + 114*b170 + 140*b178 + 96*b186 + 128*b194 + 83*b202 + 113*b210
       + 92*b218 =L= 233;

e33..    81*b19 + 50*b27 + 51*b35 + 196*b43 + 189*b51 + 100*b59 + 209*b67
       + 46*b75 + 114*b171 + 140*b179 + 96*b187 + 128*b195 + 83*b203 + 113*b211
       + 92*b219 =L= 233;

e34..    81*b20 + 50*b28 + 51*b36 + 196*b44 + 189*b52 + 100*b60 + 209*b68
       + 46*b76 + 114*b172 + 140*b180 + 96*b188 + 128*b196 + 83*b204 + 113*b212
       + 92*b220 =L= 233;

e35..    81*b21 + 50*b29 + 51*b37 + 196*b45 + 189*b53 + 100*b61 + 209*b69
       + 46*b77 + 114*b173 + 140*b181 + 96*b189 + 128*b197 + 83*b205 + 113*b213
       + 92*b221 =L= 233;

e36..    81*b22 + 50*b30 + 51*b38 + 196*b46 + 189*b54 + 100*b62 + 209*b70
       + 46*b78 + 114*b174 + 140*b182 + 96*b190 + 128*b198 + 83*b206 + 113*b214
       + 92*b222 =L= 233;

e37..    81*b23 + 50*b31 + 51*b39 + 196*b47 + 189*b55 + 100*b63 + 209*b71
       + 46*b79 + 114*b175 + 140*b183 + 96*b191 + 128*b199 + 83*b207 + 113*b215
       + 92*b223 =L= 233;

e38..    81*b24 + 50*b32 + 51*b40 + 196*b48 + 189*b56 + 100*b64 + 209*b72
       + 46*b80 + 114*b176 + 140*b184 + 96*b192 + 128*b200 + 83*b208 + 113*b216
       + 92*b224 =L= 233;

e39..    81*b25 + 50*b33 + 51*b41 + 196*b49 + 189*b57 + 100*b65 + 209*b73
       + 46*b81 + 114*b177 + 140*b185 + 96*b193 + 128*b201 + 83*b209 + 113*b217
       + 92*b225 =L= 233;

e40..    181*b3 + 117*b11 + 145*b82 + 68*b90 + 121*b98 + 131*b106 + 49*b114
       + 137*b122 + 107*b130 + 200*b138 + 60*b146 + 117*b154 + 105*b162
       + 79*b226 + 71*b234 =L= 233;

e41..    181*b4 + 117*b12 + 145*b83 + 68*b91 + 121*b99 + 131*b107 + 49*b115
       + 137*b123 + 107*b131 + 200*b139 + 60*b147 + 117*b155 + 105*b163
       + 79*b227 + 71*b235 =L= 233;

e42..    181*b5 + 117*b13 + 145*b84 + 68*b92 + 121*b100 + 131*b108 + 49*b116
       + 137*b124 + 107*b132 + 200*b140 + 60*b148 + 117*b156 + 105*b164
       + 79*b228 + 71*b236 =L= 233;

e43..    181*b6 + 117*b14 + 145*b85 + 68*b93 + 121*b101 + 131*b109 + 49*b117
       + 137*b125 + 107*b133 + 200*b141 + 60*b149 + 117*b157 + 105*b165
       + 79*b229 + 71*b237 =L= 233;

e44..    181*b7 + 117*b15 + 145*b86 + 68*b94 + 121*b102 + 131*b110 + 49*b118
       + 137*b126 + 107*b134 + 200*b142 + 60*b150 + 117*b158 + 105*b166
       + 79*b230 + 71*b238 =L= 233;

e45..    181*b8 + 117*b16 + 145*b87 + 68*b95 + 121*b103 + 131*b111 + 49*b119
       + 137*b127 + 107*b135 + 200*b143 + 60*b151 + 117*b159 + 105*b167
       + 79*b231 + 71*b239 =L= 233;

e46..    181*b9 + 117*b17 + 145*b88 + 68*b96 + 121*b104 + 131*b112 + 49*b120
       + 137*b128 + 107*b136 + 200*b144 + 60*b152 + 117*b160 + 105*b168
       + 79*b232 + 71*b240 =L= 233;

e47..    181*b10 + 117*b18 + 145*b89 + 68*b97 + 121*b105 + 131*b113 + 49*b121
       + 137*b129 + 107*b137 + 200*b145 + 60*b153 + 117*b161 + 105*b169
       + 79*b233 + 71*b241 =L= 233;

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.