QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_2029

Formats gms lp mod qplib
Problem type probtype QBQ
Solution point objective value solobjvalue -34704.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Pierre Bonami
#Variables nvars 299
#Binary Variables nbinvars 299
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 298
#Nonlinear Binary Variables nnlbinvars 298
#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 178
#Nonzeros in Objective nobjnz 298
#Nonlinear Nonzeros in Objective nobjnlnz 298
#Quadratic Terms in Objective nobjquadnz 2251
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 299
#Linear Constraints nlincons 276
#Quadratic Constraints nquadcons 23
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature indefinite
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 23
#Nonzeros in Jacobian njacobiannz 1103
#Nonlinear Nonzeros in Jacobian njacobiannlnz 298
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 4502
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 23
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 2
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 23
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 12.956522
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_2029.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        300       24        0      276        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        300        1      299        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1402      806      596        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,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300;

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,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,b299,b300;

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,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
          ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
          ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
          ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
          ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
          ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
          ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
          ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
          ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
          ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
          ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
          ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
          ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
          ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
          ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
          ,e299,e300;


e1.. (-136*b2*b3) - 360*b2 - 744*b3 - 344*b2*b4 - 744*b4 - 496*b2*b5 - 504*b5
      - 192*b2*b6 - 64*b6 - 360*b2*b7 - 416*b7 - 168*b2*b8 - 432*b8 - 480*b2*b9
      - 512*b9 - 96*b2*b10 - 192*b10 - 528*b2*b11 - 112*b11 - 424*b2*b12 - 32*
     b12 - 40*b2*b13 - 152*b13 - 648*b2*b14 - 568*b14 - 488*b2*b15 - 224*b15 - 
     80*b2*b16 - 104*b16 - 704*b2*b17 - 360*b17 - 616*b2*b18 - 416*b18 - 272*b2
     *b19 - 632*b19 - 16*b2*b20 - 88*b20 - 656*b2*b21 - 320*b21 - 424*b2*b22 - 
     96*b22 - 208*b2*b23 - 456*b23 - 496*b2*b24 - 384*b24 - 144*b3*b4 - 568*b3*
     b5 - 112*b3*b6 - 776*b3*b7 - 656*b3*b8 - 432*b3*b9 - 72*b3*b10 - 736*b3*
     b11 - 440*b3*b12 - 624*b3*b13 - 696*b3*b14 - 552*b3*b15 - 16*b3*b16 - 256*
     b3*b17 - 336*b3*b18 - 112*b3*b19 - 360*b3*b20 - 480*b3*b21 - 536*b3*b22 - 
     16*b3*b23 - 336*b3*b24 - 648*b4*b5 - 512*b4*b6 - 656*b4*b7 - 464*b4*b8 - 
     784*b4*b9 - 288*b4*b10 - 736*b4*b11 - 24*b4*b12 - 496*b4*b13 - 432*b4*b14
      - 168*b4*b15 - 680*b4*b16 - 552*b4*b17 - 560*b4*b18 - 160*b4*b19 - 600*b4
     *b20 - 640*b4*b21 - 96*b4*b22 - 656*b4*b23 - 80*b4*b24 - 792*b5*b6 - 32*b5
     *b7 - 104*b5*b8 - 672*b5*b9 - 784*b5*b10 - 216*b5*b11 - 648*b5*b12 - 472*
     b5*b13 - 376*b5*b14 - 664*b5*b15 - 424*b5*b16 - 640*b5*b17 - 280*b5*b19 - 
     720*b5*b20 - 784*b5*b21 - 568*b5*b22 - 664*b5*b23 - 432*b5*b24 - 688*b6*b7
      - 712*b6*b8 - 216*b6*b9 - 568*b6*b10 - 80*b6*b11 - 784*b6*b12 - 728*b6*
     b13 - 688*b6*b14 - 240*b6*b15 - 440*b6*b16 - 160*b6*b17 - 320*b6*b18 - 56*
     b6*b19 - 608*b6*b20 - 424*b6*b21 - 728*b6*b22 - 600*b6*b23 - 264*b6*b24 - 
     576*b7*b8 - 272*b7*b9 - 256*b7*b10 - 56*b7*b11 - 696*b7*b12 - 512*b7*b13
      - 56*b7*b14 - 592*b7*b15 - 432*b7*b16 - 464*b7*b17 - 776*b7*b18 - 712*b7*
     b19 - 96*b7*b20 - 664*b7*b21 - 632*b7*b22 - 312*b7*b23 - 56*b7*b24 - 712*
     b8*b9 - 712*b8*b10 - 784*b8*b11 - 216*b8*b12 - 152*b8*b13 - 48*b8*b14 - 
     480*b8*b16 - 104*b8*b17 - 608*b8*b18 - 520*b8*b19 - 448*b8*b20 - 408*b8*
     b21 - 400*b8*b22 - 224*b8*b23 - 296*b8*b24 - 272*b9*b10 - 696*b9*b11 - 192
     *b9*b12 - 784*b9*b13 - 376*b9*b14 - 400*b9*b15 - 40*b9*b16 - 456*b9*b17 - 
     384*b9*b18 - 752*b9*b19 - 168*b9*b20 - 248*b9*b21 - 200*b9*b22 - 96*b9*b23
      - 304*b9*b24 - 120*b10*b11 - 16*b10*b12 - 712*b10*b13 - 752*b10*b14 - 168
     *b10*b15 - 760*b10*b16 - 752*b10*b17 - 264*b10*b18 - 64*b10*b19 - 568*b10*
     b20 - 792*b10*b21 - 512*b10*b22 - 592*b10*b23 - 8*b10*b24 - 352*b11*b12 - 
     96*b11*b13 - 288*b11*b14 - 664*b11*b15 - 704*b11*b16 - 272*b11*b17 - 240*
     b11*b18 - 312*b11*b19 - 312*b11*b20 - 312*b11*b21 - 696*b11*b22 - 688*b11*
     b23 - 480*b11*b24 - 560*b12*b13 - 88*b12*b14 - 584*b12*b15 - 72*b12*b16 - 
     624*b12*b17 - 600*b12*b18 - 400*b12*b19 - 584*b12*b20 - 384*b12*b21 - 360*
     b12*b22 - 152*b12*b23 - 656*b12*b24 - 40*b13*b14 - 720*b13*b15 - 264*b13*
     b16 - 168*b13*b17 - 136*b13*b18 - 272*b13*b19 - 520*b13*b20 - 648*b13*b21
      - 560*b13*b22 - 552*b13*b24 - 456*b14*b15 - 664*b14*b16 - 480*b14*b17 - 
     768*b14*b18 - 176*b14*b19 - 792*b14*b20 - 272*b14*b21 - 664*b14*b22 - 176*
     b14*b23 - 368*b14*b24 - 448*b15*b16 - 664*b15*b17 - 192*b15*b18 - 664*b15*
     b19 - 264*b15*b20 - 392*b15*b21 - 248*b15*b22 - 240*b15*b23 - 552*b15*b24
      - 520*b16*b17 - 280*b16*b18 - 88*b16*b19 - 784*b16*b20 - 448*b16*b21 - 
     640*b16*b22 - 680*b16*b23 - 584*b16*b24 - 488*b17*b18 - 440*b17*b19 - 200*
     b17*b20 - 664*b17*b21 - 96*b17*b22 - 64*b17*b23 - 760*b17*b24 - 488*b18*
     b19 - 248*b18*b20 - 376*b18*b21 - 760*b18*b22 - 528*b18*b23 - 552*b18*b24
      - 744*b19*b20 - 592*b19*b21 - 416*b19*b22 - 560*b19*b23 - 456*b19*b24 - 
     680*b20*b21 - 568*b20*b22 - 320*b20*b23 - 120*b20*b24 - 320*b21*b22 - 464*
     b21*b23 - 16*b21*b24 - 32*b22*b23 - 448*b22*b24 - 80*b23*b24 - 136*b25*b26
      - 344*b25*b27 - 496*b25*b28 - 192*b25*b29 - 360*b25*b30 - 168*b25*b31 - 
     480*b25*b32 - 96*b25*b33 - 528*b25*b34 - 424*b25*b35 - 40*b25*b36 - 648*
     b25*b37 - 488*b25*b38 - 80*b25*b39 - 704*b25*b40 - 616*b25*b41 - 272*b25*
     b42 - 16*b25*b43 - 656*b25*b44 - 424*b25*b45 - 208*b25*b46 - 496*b25*b47
      - 144*b26*b27 - 568*b26*b28 - 112*b26*b29 - 776*b26*b30 - 656*b26*b31 - 
     432*b26*b32 - 72*b26*b33 - 736*b26*b34 - 440*b26*b35 - 624*b26*b36 - 696*
     b26*b37 - 552*b26*b38 - 16*b26*b39 - 256*b26*b40 - 336*b26*b41 - 112*b26*
     b42 - 360*b26*b43 - 480*b26*b44 - 536*b26*b45 - 16*b26*b46 - 336*b26*b47
      - 648*b27*b28 - 512*b27*b29 - 656*b27*b30 - 464*b27*b31 - 784*b27*b32 - 
     288*b27*b33 - 736*b27*b34 - 24*b27*b35 - 496*b27*b36 - 432*b27*b37 - 168*
     b27*b38 - 680*b27*b39 - 552*b27*b40 - 560*b27*b41 - 160*b27*b42 - 600*b27*
     b43 - 640*b27*b44 - 96*b27*b45 - 656*b27*b46 - 80*b27*b47 - 792*b28*b29 - 
     32*b28*b30 - 104*b28*b31 - 672*b28*b32 - 784*b28*b33 - 216*b28*b34 - 648*
     b28*b35 - 472*b28*b36 - 376*b28*b37 - 664*b28*b38 - 424*b28*b39 - 640*b28*
     b40 - 280*b28*b42 - 720*b28*b43 - 784*b28*b44 - 568*b28*b45 - 664*b28*b46
      - 432*b28*b47 - 688*b29*b30 - 712*b29*b31 - 216*b29*b32 - 568*b29*b33 - 
     80*b29*b34 - 784*b29*b35 - 728*b29*b36 - 688*b29*b37 - 240*b29*b38 - 440*
     b29*b39 - 160*b29*b40 - 320*b29*b41 - 56*b29*b42 - 608*b29*b43 - 424*b29*
     b44 - 728*b29*b45 - 600*b29*b46 - 264*b29*b47 - 576*b30*b31 - 272*b30*b32
      - 256*b30*b33 - 56*b30*b34 - 696*b30*b35 - 512*b30*b36 - 56*b30*b37 - 592
     *b30*b38 - 432*b30*b39 - 464*b30*b40 - 776*b30*b41 - 712*b30*b42 - 96*b30*
     b43 - 664*b30*b44 - 632*b30*b45 - 312*b30*b46 - 56*b30*b47 - 712*b31*b32
      - 712*b31*b33 - 784*b31*b34 - 216*b31*b35 - 152*b31*b36 - 48*b31*b37 - 
     480*b31*b39 - 104*b31*b40 - 608*b31*b41 - 520*b31*b42 - 448*b31*b43 - 408*
     b31*b44 - 400*b31*b45 - 224*b31*b46 - 296*b31*b47 - 272*b32*b33 - 696*b32*
     b34 - 192*b32*b35 - 784*b32*b36 - 376*b32*b37 - 400*b32*b38 - 40*b32*b39
      - 456*b32*b40 - 384*b32*b41 - 752*b32*b42 - 168*b32*b43 - 248*b32*b44 - 
     200*b32*b45 - 96*b32*b46 - 304*b32*b47 - 120*b33*b34 - 16*b33*b35 - 712*
     b33*b36 - 752*b33*b37 - 168*b33*b38 - 760*b33*b39 - 752*b33*b40 - 264*b33*
     b41 - 64*b33*b42 - 568*b33*b43 - 792*b33*b44 - 512*b33*b45 - 592*b33*b46
      - 8*b33*b47 - 352*b34*b35 - 96*b34*b36 - 288*b34*b37 - 664*b34*b38 - 704*
     b34*b39 - 272*b34*b40 - 240*b34*b41 - 312*b34*b42 - 312*b34*b43 - 312*b34*
     b44 - 696*b34*b45 - 688*b34*b46 - 480*b34*b47 - 560*b35*b36 - 88*b35*b37
      - 584*b35*b38 - 72*b35*b39 - 624*b35*b40 - 600*b35*b41 - 400*b35*b42 - 
     584*b35*b43 - 384*b35*b44 - 360*b35*b45 - 152*b35*b46 - 656*b35*b47 - 40*
     b36*b37 - 720*b36*b38 - 264*b36*b39 - 168*b36*b40 - 136*b36*b41 - 272*b36*
     b42 - 520*b36*b43 - 648*b36*b44 - 560*b36*b45 - 552*b36*b47 - 456*b37*b38
      - 664*b37*b39 - 480*b37*b40 - 768*b37*b41 - 176*b37*b42 - 792*b37*b43 - 
     272*b37*b44 - 664*b37*b45 - 176*b37*b46 - 368*b37*b47 - 448*b38*b39 - 664*
     b38*b40 - 192*b38*b41 - 664*b38*b42 - 264*b38*b43 - 392*b38*b44 - 248*b38*
     b45 - 240*b38*b46 - 552*b38*b47 - 520*b39*b40 - 280*b39*b41 - 88*b39*b42
      - 784*b39*b43 - 448*b39*b44 - 640*b39*b45 - 680*b39*b46 - 584*b39*b47 - 
     488*b40*b41 - 440*b40*b42 - 200*b40*b43 - 664*b40*b44 - 96*b40*b45 - 64*
     b40*b46 - 760*b40*b47 - 488*b41*b42 - 248*b41*b43 - 376*b41*b44 - 760*b41*
     b45 - 528*b41*b46 - 552*b41*b47 - 744*b42*b43 - 592*b42*b44 - 416*b42*b45
      - 560*b42*b46 - 456*b42*b47 - 680*b43*b44 - 568*b43*b45 - 320*b43*b46 - 
     120*b43*b47 - 320*b44*b45 - 464*b44*b46 - 16*b44*b47 - 32*b45*b46 - 448*
     b45*b47 - 80*b46*b47 - 144*b48*b49 - 568*b48*b50 - 112*b48*b51 - 776*b48*
     b52 - 656*b48*b53 - 432*b48*b54 - 72*b48*b55 - 736*b48*b56 - 440*b48*b57
      - 624*b48*b58 - 696*b48*b59 - 552*b48*b60 - 16*b48*b61 - 256*b48*b62 - 
     336*b48*b63 - 112*b48*b64 - 360*b48*b65 - 480*b48*b66 - 536*b48*b67 - 16*
     b48*b68 - 336*b48*b69 - 648*b49*b50 - 512*b49*b51 - 656*b49*b52 - 464*b49*
     b53 - 784*b49*b54 - 288*b49*b55 - 736*b49*b56 - 24*b49*b57 - 496*b49*b58
      - 432*b49*b59 - 168*b49*b60 - 680*b49*b61 - 552*b49*b62 - 560*b49*b63 - 
     160*b49*b64 - 600*b49*b65 - 640*b49*b66 - 96*b49*b67 - 656*b49*b68 - 80*
     b49*b69 - 792*b50*b51 - 32*b50*b52 - 104*b50*b53 - 672*b50*b54 - 784*b50*
     b55 - 216*b50*b56 - 648*b50*b57 - 472*b50*b58 - 376*b50*b59 - 664*b50*b60
      - 424*b50*b61 - 640*b50*b62 - 280*b50*b64 - 720*b50*b65 - 784*b50*b66 - 
     568*b50*b67 - 664*b50*b68 - 432*b50*b69 - 688*b51*b52 - 712*b51*b53 - 216*
     b51*b54 - 568*b51*b55 - 80*b51*b56 - 784*b51*b57 - 728*b51*b58 - 688*b51*
     b59 - 240*b51*b60 - 440*b51*b61 - 160*b51*b62 - 320*b51*b63 - 56*b51*b64
      - 608*b51*b65 - 424*b51*b66 - 728*b51*b67 - 600*b51*b68 - 264*b51*b69 - 
     576*b52*b53 - 272*b52*b54 - 256*b52*b55 - 56*b52*b56 - 696*b52*b57 - 512*
     b52*b58 - 56*b52*b59 - 592*b52*b60 - 432*b52*b61 - 464*b52*b62 - 776*b52*
     b63 - 712*b52*b64 - 96*b52*b65 - 664*b52*b66 - 632*b52*b67 - 312*b52*b68
      - 56*b52*b69 - 712*b53*b54 - 712*b53*b55 - 784*b53*b56 - 216*b53*b57 - 
     152*b53*b58 - 48*b53*b59 - 480*b53*b61 - 104*b53*b62 - 608*b53*b63 - 520*
     b53*b64 - 448*b53*b65 - 408*b53*b66 - 400*b53*b67 - 224*b53*b68 - 296*b53*
     b69 - 272*b54*b55 - 696*b54*b56 - 192*b54*b57 - 784*b54*b58 - 376*b54*b59
      - 400*b54*b60 - 40*b54*b61 - 456*b54*b62 - 384*b54*b63 - 752*b54*b64 - 
     168*b54*b65 - 248*b54*b66 - 200*b54*b67 - 96*b54*b68 - 304*b54*b69 - 120*
     b55*b56 - 16*b55*b57 - 712*b55*b58 - 752*b55*b59 - 168*b55*b60 - 760*b55*
     b61 - 752*b55*b62 - 264*b55*b63 - 64*b55*b64 - 568*b55*b65 - 792*b55*b66
      - 512*b55*b67 - 592*b55*b68 - 8*b55*b69 - 352*b56*b57 - 96*b56*b58 - 288*
     b56*b59 - 664*b56*b60 - 704*b56*b61 - 272*b56*b62 - 240*b56*b63 - 312*b56*
     b64 - 312*b56*b65 - 312*b56*b66 - 696*b56*b67 - 688*b56*b68 - 480*b56*b69
      - 560*b57*b58 - 88*b57*b59 - 584*b57*b60 - 72*b57*b61 - 624*b57*b62 - 600
     *b57*b63 - 400*b57*b64 - 584*b57*b65 - 384*b57*b66 - 360*b57*b67 - 152*b57
     *b68 - 656*b57*b69 - 40*b58*b59 - 720*b58*b60 - 264*b58*b61 - 168*b58*b62
      - 136*b58*b63 - 272*b58*b64 - 520*b58*b65 - 648*b58*b66 - 560*b58*b67 - 
     552*b58*b69 - 456*b59*b60 - 664*b59*b61 - 480*b59*b62 - 768*b59*b63 - 176*
     b59*b64 - 792*b59*b65 - 272*b59*b66 - 664*b59*b67 - 176*b59*b68 - 368*b59*
     b69 - 448*b60*b61 - 664*b60*b62 - 192*b60*b63 - 664*b60*b64 - 264*b60*b65
      - 392*b60*b66 - 248*b60*b67 - 240*b60*b68 - 552*b60*b69 - 520*b61*b62 - 
     280*b61*b63 - 88*b61*b64 - 784*b61*b65 - 448*b61*b66 - 640*b61*b67 - 680*
     b61*b68 - 584*b61*b69 - 488*b62*b63 - 440*b62*b64 - 200*b62*b65 - 664*b62*
     b66 - 96*b62*b67 - 64*b62*b68 - 760*b62*b69 - 488*b63*b64 - 248*b63*b65 - 
     376*b63*b66 - 760*b63*b67 - 528*b63*b68 - 552*b63*b69 - 744*b64*b65 - 592*
     b64*b66 - 416*b64*b67 - 560*b64*b68 - 456*b64*b69 - 680*b65*b66 - 568*b65*
     b67 - 320*b65*b68 - 120*b65*b69 - 320*b66*b67 - 464*b66*b68 - 16*b66*b69
      - 32*b67*b68 - 448*b67*b69 - 80*b68*b69 - 648*b70*b71 - 512*b70*b72 - 656
     *b70*b73 - 464*b70*b74 - 784*b70*b75 - 288*b70*b76 - 736*b70*b77 - 24*b70*
     b78 - 496*b70*b79 - 432*b70*b80 - 168*b70*b81 - 680*b70*b82 - 552*b70*b83
      - 560*b70*b84 - 160*b70*b85 - 600*b70*b86 - 640*b70*b87 - 96*b70*b88 - 
     656*b70*b89 - 80*b70*b90 - 792*b71*b72 - 32*b71*b73 - 104*b71*b74 - 672*
     b71*b75 - 784*b71*b76 - 216*b71*b77 - 648*b71*b78 - 472*b71*b79 - 376*b71*
     b80 - 664*b71*b81 - 424*b71*b82 - 640*b71*b83 - 280*b71*b85 - 720*b71*b86
      - 784*b71*b87 - 568*b71*b88 - 664*b71*b89 - 432*b71*b90 - 688*b72*b73 - 
     712*b72*b74 - 216*b72*b75 - 568*b72*b76 - 80*b72*b77 - 784*b72*b78 - 728*
     b72*b79 - 688*b72*b80 - 240*b72*b81 - 440*b72*b82 - 160*b72*b83 - 320*b72*
     b84 - 56*b72*b85 - 608*b72*b86 - 424*b72*b87 - 728*b72*b88 - 600*b72*b89
      - 264*b72*b90 - 576*b73*b74 - 272*b73*b75 - 256*b73*b76 - 56*b73*b77 - 
     696*b73*b78 - 512*b73*b79 - 56*b73*b80 - 592*b73*b81 - 432*b73*b82 - 464*
     b73*b83 - 776*b73*b84 - 712*b73*b85 - 96*b73*b86 - 664*b73*b87 - 632*b73*
     b88 - 312*b73*b89 - 56*b73*b90 - 712*b74*b75 - 712*b74*b76 - 784*b74*b77
      - 216*b74*b78 - 152*b74*b79 - 48*b74*b80 - 480*b74*b82 - 104*b74*b83 - 
     608*b74*b84 - 520*b74*b85 - 448*b74*b86 - 408*b74*b87 - 400*b74*b88 - 224*
     b74*b89 - 296*b74*b90 - 272*b75*b76 - 696*b75*b77 - 192*b75*b78 - 784*b75*
     b79 - 376*b75*b80 - 400*b75*b81 - 40*b75*b82 - 456*b75*b83 - 384*b75*b84
      - 752*b75*b85 - 168*b75*b86 - 248*b75*b87 - 200*b75*b88 - 96*b75*b89 - 
     304*b75*b90 - 120*b76*b77 - 16*b76*b78 - 712*b76*b79 - 752*b76*b80 - 168*
     b76*b81 - 760*b76*b82 - 752*b76*b83 - 264*b76*b84 - 64*b76*b85 - 568*b76*
     b86 - 792*b76*b87 - 512*b76*b88 - 592*b76*b89 - 8*b76*b90 - 352*b77*b78 - 
     96*b77*b79 - 288*b77*b80 - 664*b77*b81 - 704*b77*b82 - 272*b77*b83 - 240*
     b77*b84 - 312*b77*b85 - 312*b77*b86 - 312*b77*b87 - 696*b77*b88 - 688*b77*
     b89 - 480*b77*b90 - 560*b78*b79 - 88*b78*b80 - 584*b78*b81 - 72*b78*b82 - 
     624*b78*b83 - 600*b78*b84 - 400*b78*b85 - 584*b78*b86 - 384*b78*b87 - 360*
     b78*b88 - 152*b78*b89 - 656*b78*b90 - 40*b79*b80 - 720*b79*b81 - 264*b79*
     b82 - 168*b79*b83 - 136*b79*b84 - 272*b79*b85 - 520*b79*b86 - 648*b79*b87
      - 560*b79*b88 - 552*b79*b90 - 456*b80*b81 - 664*b80*b82 - 480*b80*b83 - 
     768*b80*b84 - 176*b80*b85 - 792*b80*b86 - 272*b80*b87 - 664*b80*b88 - 176*
     b80*b89 - 368*b80*b90 - 448*b81*b82 - 664*b81*b83 - 192*b81*b84 - 664*b81*
     b85 - 264*b81*b86 - 392*b81*b87 - 248*b81*b88 - 240*b81*b89 - 552*b81*b90
      - 520*b82*b83 - 280*b82*b84 - 88*b82*b85 - 784*b82*b86 - 448*b82*b87 - 
     640*b82*b88 - 680*b82*b89 - 584*b82*b90 - 488*b83*b84 - 440*b83*b85 - 200*
     b83*b86 - 664*b83*b87 - 96*b83*b88 - 64*b83*b89 - 760*b83*b90 - 488*b84*
     b85 - 248*b84*b86 - 376*b84*b87 - 760*b84*b88 - 528*b84*b89 - 552*b84*b90
      - 744*b85*b86 - 592*b85*b87 - 416*b85*b88 - 560*b85*b89 - 456*b85*b90 - 
     680*b86*b87 - 568*b86*b88 - 320*b86*b89 - 120*b86*b90 - 320*b87*b88 - 464*
     b87*b89 - 16*b87*b90 - 32*b88*b89 - 448*b88*b90 - 80*b89*b90 - 792*b91*b92
      - 32*b91*b93 - 104*b91*b94 - 672*b91*b95 - 784*b91*b96 - 216*b91*b97 - 
     648*b91*b98 - 472*b91*b99 - 376*b91*b100 - 664*b91*b101 - 424*b91*b102 - 
     640*b91*b103 - 280*b91*b104 - 720*b91*b105 - 784*b91*b106 - 568*b91*b107
      - 664*b91*b108 - 432*b91*b109 - 688*b92*b93 - 712*b92*b94 - 216*b92*b95
      - 568*b92*b96 - 80*b92*b97 - 784*b92*b98 - 728*b92*b99 - 688*b92*b100 - 
     240*b92*b101 - 440*b92*b102 - 160*b92*b103 - 56*b92*b104 - 608*b92*b105 - 
     424*b92*b106 - 728*b92*b107 - 600*b92*b108 - 264*b92*b109 - 320*b92*b110
      - 576*b93*b94 - 272*b93*b95 - 256*b93*b96 - 56*b93*b97 - 696*b93*b98 - 
     512*b93*b99 - 56*b93*b100 - 592*b93*b101 - 432*b93*b102 - 464*b93*b103 - 
     712*b93*b104 - 96*b93*b105 - 664*b93*b106 - 632*b93*b107 - 312*b93*b108 - 
     56*b93*b109 - 776*b93*b110 - 712*b94*b95 - 712*b94*b96 - 784*b94*b97 - 216
     *b94*b98 - 152*b94*b99 - 48*b94*b100 - 480*b94*b102 - 104*b94*b103 - 520*
     b94*b104 - 448*b94*b105 - 408*b94*b106 - 400*b94*b107 - 224*b94*b108 - 296
     *b94*b109 - 608*b94*b110 - 272*b95*b96 - 696*b95*b97 - 192*b95*b98 - 784*
     b95*b99 - 376*b95*b100 - 400*b95*b101 - 40*b95*b102 - 456*b95*b103 - 752*
     b95*b104 - 168*b95*b105 - 248*b95*b106 - 200*b95*b107 - 96*b95*b108 - 304*
     b95*b109 - 384*b95*b110 - 120*b96*b97 - 16*b96*b98 - 712*b96*b99 - 752*b96
     *b100 - 168*b96*b101 - 760*b96*b102 - 752*b96*b103 - 64*b96*b104 - 568*b96
     *b105 - 792*b96*b106 - 512*b96*b107 - 592*b96*b108 - 8*b96*b109 - 264*b96*
     b110 - 352*b97*b98 - 96*b97*b99 - 288*b97*b100 - 664*b97*b101 - 704*b97*
     b102 - 272*b97*b103 - 312*b97*b104 - 312*b97*b105 - 312*b97*b106 - 696*b97
     *b107 - 688*b97*b108 - 480*b97*b109 - 240*b97*b110 - 560*b98*b99 - 88*b98*
     b100 - 584*b98*b101 - 72*b98*b102 - 624*b98*b103 - 400*b98*b104 - 584*b98*
     b105 - 384*b98*b106 - 360*b98*b107 - 152*b98*b108 - 656*b98*b109 - 600*b98
     *b110 - 40*b99*b100 - 720*b99*b101 - 264*b99*b102 - 168*b99*b103 - 272*b99
     *b104 - 520*b99*b105 - 648*b99*b106 - 560*b99*b107 - 552*b99*b109 - 136*
     b99*b110 - 456*b100*b101 - 664*b100*b102 - 480*b100*b103 - 176*b100*b104
      - 792*b100*b105 - 272*b100*b106 - 664*b100*b107 - 176*b100*b108 - 368*
     b100*b109 - 768*b100*b110 - 448*b101*b102 - 664*b101*b103 - 664*b101*b104
      - 264*b101*b105 - 392*b101*b106 - 248*b101*b107 - 240*b101*b108 - 552*
     b101*b109 - 192*b101*b110 - 520*b102*b103 - 88*b102*b104 - 784*b102*b105
      - 448*b102*b106 - 640*b102*b107 - 680*b102*b108 - 584*b102*b109 - 280*
     b102*b110 - 440*b103*b104 - 200*b103*b105 - 664*b103*b106 - 96*b103*b107
      - 64*b103*b108 - 760*b103*b109 - 488*b103*b110 - 744*b104*b105 - 592*b104
     *b106 - 416*b104*b107 - 560*b104*b108 - 456*b104*b109 - 488*b104*b110 - 
     680*b105*b106 - 568*b105*b107 - 320*b105*b108 - 120*b105*b109 - 248*b105*
     b110 - 320*b106*b107 - 464*b106*b108 - 16*b106*b109 - 376*b106*b110 - 32*
     b107*b108 - 448*b107*b109 - 760*b107*b110 - 80*b108*b109 - 528*b108*b110
      - 552*b109*b110 - 688*b111*b112 - 712*b111*b113 - 216*b111*b114 - 568*
     b111*b115 - 80*b111*b116 - 784*b111*b117 - 728*b111*b118 - 688*b111*b119
      - 240*b111*b120 - 440*b111*b121 - 160*b111*b122 - 320*b111*b123 - 56*b111
     *b124 - 608*b111*b125 - 424*b111*b126 - 728*b111*b127 - 600*b111*b128 - 
     264*b111*b129 - 576*b112*b113 - 272*b112*b114 - 256*b112*b115 - 56*b112*
     b116 - 696*b112*b117 - 512*b112*b118 - 56*b112*b119 - 592*b112*b120 - 432*
     b112*b121 - 464*b112*b122 - 776*b112*b123 - 712*b112*b124 - 96*b112*b125
      - 664*b112*b126 - 632*b112*b127 - 312*b112*b128 - 56*b112*b129 - 712*b113
     *b114 - 712*b113*b115 - 784*b113*b116 - 216*b113*b117 - 152*b113*b118 - 48
     *b113*b119 - 480*b113*b121 - 104*b113*b122 - 608*b113*b123 - 520*b113*b124
      - 448*b113*b125 - 408*b113*b126 - 400*b113*b127 - 224*b113*b128 - 296*
     b113*b129 - 272*b114*b115 - 696*b114*b116 - 192*b114*b117 - 784*b114*b118
      - 376*b114*b119 - 400*b114*b120 - 40*b114*b121 - 456*b114*b122 - 384*b114
     *b123 - 752*b114*b124 - 168*b114*b125 - 248*b114*b126 - 200*b114*b127 - 96
     *b114*b128 - 304*b114*b129 - 120*b115*b116 - 16*b115*b117 - 712*b115*b118
      - 752*b115*b119 - 168*b115*b120 - 760*b115*b121 - 752*b115*b122 - 264*
     b115*b123 - 64*b115*b124 - 568*b115*b125 - 792*b115*b126 - 512*b115*b127
      - 592*b115*b128 - 8*b115*b129 - 352*b116*b117 - 96*b116*b118 - 288*b116*
     b119 - 664*b116*b120 - 704*b116*b121 - 272*b116*b122 - 240*b116*b123 - 312
     *b116*b124 - 312*b116*b125 - 312*b116*b126 - 696*b116*b127 - 688*b116*b128
      - 480*b116*b129 - 560*b117*b118 - 88*b117*b119 - 584*b117*b120 - 72*b117*
     b121 - 624*b117*b122 - 600*b117*b123 - 400*b117*b124 - 584*b117*b125 - 384
     *b117*b126 - 360*b117*b127 - 152*b117*b128 - 656*b117*b129 - 40*b118*b119
      - 720*b118*b120 - 264*b118*b121 - 168*b118*b122 - 136*b118*b123 - 272*
     b118*b124 - 520*b118*b125 - 648*b118*b126 - 560*b118*b127 - 552*b118*b129
      - 456*b119*b120 - 664*b119*b121 - 480*b119*b122 - 768*b119*b123 - 176*
     b119*b124 - 792*b119*b125 - 272*b119*b126 - 664*b119*b127 - 176*b119*b128
      - 368*b119*b129 - 448*b120*b121 - 664*b120*b122 - 192*b120*b123 - 664*
     b120*b124 - 264*b120*b125 - 392*b120*b126 - 248*b120*b127 - 240*b120*b128
      - 552*b120*b129 - 520*b121*b122 - 280*b121*b123 - 88*b121*b124 - 784*b121
     *b125 - 448*b121*b126 - 640*b121*b127 - 680*b121*b128 - 584*b121*b129 - 
     488*b122*b123 - 440*b122*b124 - 200*b122*b125 - 664*b122*b126 - 96*b122*
     b127 - 64*b122*b128 - 760*b122*b129 - 488*b123*b124 - 248*b123*b125 - 376*
     b123*b126 - 760*b123*b127 - 528*b123*b128 - 552*b123*b129 - 744*b124*b125
      - 592*b124*b126 - 416*b124*b127 - 560*b124*b128 - 456*b124*b129 - 680*
     b125*b126 - 568*b125*b127 - 320*b125*b128 - 120*b125*b129 - 320*b126*b127
      - 464*b126*b128 - 16*b126*b129 - 32*b127*b128 - 448*b127*b129 - 80*b128*
     b129 - 576*b130*b131 - 272*b130*b132 - 256*b130*b133 - 56*b130*b134 - 696*
     b130*b135 - 512*b130*b136 - 56*b130*b137 - 592*b130*b138 - 432*b130*b139
      - 464*b130*b140 - 776*b130*b141 - 712*b130*b142 - 96*b130*b143 - 664*b130
     *b144 - 632*b130*b145 - 312*b130*b146 - 56*b130*b147 - 712*b131*b132 - 712
     *b131*b133 - 784*b131*b134 - 216*b131*b135 - 152*b131*b136 - 48*b131*b137
      - 480*b131*b139 - 104*b131*b140 - 608*b131*b141 - 520*b131*b142 - 448*
     b131*b143 - 408*b131*b144 - 400*b131*b145 - 224*b131*b146 - 296*b131*b147
      - 272*b132*b133 - 696*b132*b134 - 192*b132*b135 - 784*b132*b136 - 376*
     b132*b137 - 400*b132*b138 - 40*b132*b139 - 456*b132*b140 - 384*b132*b141
      - 752*b132*b142 - 168*b132*b143 - 248*b132*b144 - 200*b132*b145 - 96*b132
     *b146 - 304*b132*b147 - 120*b133*b134 - 16*b133*b135 - 712*b133*b136 - 752
     *b133*b137 - 168*b133*b138 - 760*b133*b139 - 752*b133*b140 - 264*b133*b141
      - 64*b133*b142 - 568*b133*b143 - 792*b133*b144 - 512*b133*b145 - 592*b133
     *b146 - 8*b133*b147 - 352*b134*b135 - 96*b134*b136 - 288*b134*b137 - 664*
     b134*b138 - 704*b134*b139 - 272*b134*b140 - 240*b134*b141 - 312*b134*b142
      - 312*b134*b143 - 312*b134*b144 - 696*b134*b145 - 688*b134*b146 - 480*
     b134*b147 - 560*b135*b136 - 88*b135*b137 - 584*b135*b138 - 72*b135*b139 - 
     624*b135*b140 - 600*b135*b141 - 400*b135*b142 - 584*b135*b143 - 384*b135*
     b144 - 360*b135*b145 - 152*b135*b146 - 656*b135*b147 - 40*b136*b137 - 720*
     b136*b138 - 264*b136*b139 - 168*b136*b140 - 136*b136*b141 - 272*b136*b142
      - 520*b136*b143 - 648*b136*b144 - 560*b136*b145 - 552*b136*b147 - 456*
     b137*b138 - 664*b137*b139 - 480*b137*b140 - 768*b137*b141 - 176*b137*b142
      - 792*b137*b143 - 272*b137*b144 - 664*b137*b145 - 176*b137*b146 - 368*
     b137*b147 - 448*b138*b139 - 664*b138*b140 - 192*b138*b141 - 664*b138*b142
      - 264*b138*b143 - 392*b138*b144 - 248*b138*b145 - 240*b138*b146 - 552*
     b138*b147 - 520*b139*b140 - 280*b139*b141 - 88*b139*b142 - 784*b139*b143
      - 448*b139*b144 - 640*b139*b145 - 680*b139*b146 - 584*b139*b147 - 488*
     b140*b141 - 440*b140*b142 - 200*b140*b143 - 664*b140*b144 - 96*b140*b145
      - 64*b140*b146 - 760*b140*b147 - 488*b141*b142 - 248*b141*b143 - 376*b141
     *b144 - 760*b141*b145 - 528*b141*b146 - 552*b141*b147 - 744*b142*b143 - 
     592*b142*b144 - 416*b142*b145 - 560*b142*b146 - 456*b142*b147 - 680*b143*
     b144 - 568*b143*b145 - 320*b143*b146 - 120*b143*b147 - 320*b144*b145 - 464
     *b144*b146 - 16*b144*b147 - 32*b145*b146 - 448*b145*b147 - 80*b146*b147 - 
     712*b148*b149 - 712*b148*b150 - 784*b148*b151 - 216*b148*b152 - 152*b148*
     b153 - 48*b148*b154 - 480*b148*b155 - 104*b148*b156 - 608*b148*b157 - 520*
     b148*b158 - 448*b148*b159 - 408*b148*b160 - 400*b148*b161 - 224*b148*b162
      - 296*b148*b163 - 272*b149*b150 - 696*b149*b151 - 192*b149*b152 - 784*
     b149*b153 - 376*b149*b154 - 40*b149*b155 - 456*b149*b156 - 384*b149*b157
      - 752*b149*b158 - 168*b149*b159 - 248*b149*b160 - 200*b149*b161 - 96*b149
     *b162 - 304*b149*b163 - 400*b149*b164 - 120*b150*b151 - 16*b150*b152 - 712
     *b150*b153 - 752*b150*b154 - 760*b150*b155 - 752*b150*b156 - 264*b150*b157
      - 64*b150*b158 - 568*b150*b159 - 792*b150*b160 - 512*b150*b161 - 592*b150
     *b162 - 8*b150*b163 - 168*b150*b164 - 352*b151*b152 - 96*b151*b153 - 288*
     b151*b154 - 704*b151*b155 - 272*b151*b156 - 240*b151*b157 - 312*b151*b158
      - 312*b151*b159 - 312*b151*b160 - 696*b151*b161 - 688*b151*b162 - 480*
     b151*b163 - 664*b151*b164 - 560*b152*b153 - 88*b152*b154 - 72*b152*b155 - 
     624*b152*b156 - 600*b152*b157 - 400*b152*b158 - 584*b152*b159 - 384*b152*
     b160 - 360*b152*b161 - 152*b152*b162 - 656*b152*b163 - 584*b152*b164 - 40*
     b153*b154 - 264*b153*b155 - 168*b153*b156 - 136*b153*b157 - 272*b153*b158
      - 520*b153*b159 - 648*b153*b160 - 560*b153*b161 - 552*b153*b163 - 720*
     b153*b164 - 664*b154*b155 - 480*b154*b156 - 768*b154*b157 - 176*b154*b158
      - 792*b154*b159 - 272*b154*b160 - 664*b154*b161 - 176*b154*b162 - 368*
     b154*b163 - 456*b154*b164 - 520*b155*b156 - 280*b155*b157 - 88*b155*b158
      - 784*b155*b159 - 448*b155*b160 - 640*b155*b161 - 680*b155*b162 - 584*
     b155*b163 - 448*b155*b164 - 488*b156*b157 - 440*b156*b158 - 200*b156*b159
      - 664*b156*b160 - 96*b156*b161 - 64*b156*b162 - 760*b156*b163 - 664*b156*
     b164 - 488*b157*b158 - 248*b157*b159 - 376*b157*b160 - 760*b157*b161 - 528
     *b157*b162 - 552*b157*b163 - 192*b157*b164 - 744*b158*b159 - 592*b158*b160
      - 416*b158*b161 - 560*b158*b162 - 456*b158*b163 - 664*b158*b164 - 680*
     b159*b160 - 568*b159*b161 - 320*b159*b162 - 120*b159*b163 - 264*b159*b164
      - 320*b160*b161 - 464*b160*b162 - 16*b160*b163 - 392*b160*b164 - 32*b161*
     b162 - 448*b161*b163 - 248*b161*b164 - 80*b162*b163 - 240*b162*b164 - 552*
     b163*b164 - 272*b165*b166 - 696*b165*b167 - 192*b165*b168 - 784*b165*b169
      - 376*b165*b170 - 400*b165*b171 - 40*b165*b172 - 456*b165*b173 - 384*b165
     *b174 - 752*b165*b175 - 168*b165*b176 - 248*b165*b177 - 200*b165*b178 - 96
     *b165*b179 - 304*b165*b180 - 120*b166*b167 - 16*b166*b168 - 712*b166*b169
      - 752*b166*b170 - 168*b166*b171 - 760*b166*b172 - 752*b166*b173 - 264*
     b166*b174 - 64*b166*b175 - 568*b166*b176 - 792*b166*b177 - 512*b166*b178
      - 592*b166*b179 - 8*b166*b180 - 352*b167*b168 - 96*b167*b169 - 288*b167*
     b170 - 664*b167*b171 - 704*b167*b172 - 272*b167*b173 - 240*b167*b174 - 312
     *b167*b175 - 312*b167*b176 - 312*b167*b177 - 696*b167*b178 - 688*b167*b179
      - 480*b167*b180 - 560*b168*b169 - 88*b168*b170 - 584*b168*b171 - 72*b168*
     b172 - 624*b168*b173 - 600*b168*b174 - 400*b168*b175 - 584*b168*b176 - 384
     *b168*b177 - 360*b168*b178 - 152*b168*b179 - 656*b168*b180 - 40*b169*b170
      - 720*b169*b171 - 264*b169*b172 - 168*b169*b173 - 136*b169*b174 - 272*
     b169*b175 - 520*b169*b176 - 648*b169*b177 - 560*b169*b178 - 552*b169*b180
      - 456*b170*b171 - 664*b170*b172 - 480*b170*b173 - 768*b170*b174 - 176*
     b170*b175 - 792*b170*b176 - 272*b170*b177 - 664*b170*b178 - 176*b170*b179
      - 368*b170*b180 - 448*b171*b172 - 664*b171*b173 - 192*b171*b174 - 664*
     b171*b175 - 264*b171*b176 - 392*b171*b177 - 248*b171*b178 - 240*b171*b179
      - 552*b171*b180 - 520*b172*b173 - 280*b172*b174 - 88*b172*b175 - 784*b172
     *b176 - 448*b172*b177 - 640*b172*b178 - 680*b172*b179 - 584*b172*b180 - 
     488*b173*b174 - 440*b173*b175 - 200*b173*b176 - 664*b173*b177 - 96*b173*
     b178 - 64*b173*b179 - 760*b173*b180 - 488*b174*b175 - 248*b174*b176 - 376*
     b174*b177 - 760*b174*b178 - 528*b174*b179 - 552*b174*b180 - 744*b175*b176
      - 592*b175*b177 - 416*b175*b178 - 560*b175*b179 - 456*b175*b180 - 680*
     b176*b177 - 568*b176*b178 - 320*b176*b179 - 120*b176*b180 - 320*b177*b178
      - 464*b177*b179 - 16*b177*b180 - 32*b178*b179 - 448*b178*b180 - 80*b179*
     b180 - 120*b181*b182 - 16*b181*b183 - 712*b181*b184 - 752*b181*b185 - 168*
     b181*b186 - 760*b181*b187 - 752*b181*b188 - 264*b181*b189 - 64*b181*b190
      - 568*b181*b191 - 792*b181*b192 - 512*b181*b193 - 592*b181*b194 - 8*b181*
     b195 - 352*b182*b183 - 96*b182*b184 - 288*b182*b185 - 664*b182*b186 - 704*
     b182*b187 - 272*b182*b188 - 240*b182*b189 - 312*b182*b190 - 312*b182*b191
      - 312*b182*b192 - 696*b182*b193 - 688*b182*b194 - 480*b182*b195 - 560*
     b183*b184 - 88*b183*b185 - 584*b183*b186 - 72*b183*b187 - 624*b183*b188 - 
     600*b183*b189 - 400*b183*b190 - 584*b183*b191 - 384*b183*b192 - 360*b183*
     b193 - 152*b183*b194 - 656*b183*b195 - 40*b184*b185 - 720*b184*b186 - 264*
     b184*b187 - 168*b184*b188 - 136*b184*b189 - 272*b184*b190 - 520*b184*b191
      - 648*b184*b192 - 560*b184*b193 - 552*b184*b195 - 456*b185*b186 - 664*
     b185*b187 - 480*b185*b188 - 768*b185*b189 - 176*b185*b190 - 792*b185*b191
      - 272*b185*b192 - 664*b185*b193 - 176*b185*b194 - 368*b185*b195 - 448*
     b186*b187 - 664*b186*b188 - 192*b186*b189 - 664*b186*b190 - 264*b186*b191
      - 392*b186*b192 - 248*b186*b193 - 240*b186*b194 - 552*b186*b195 - 520*
     b187*b188 - 280*b187*b189 - 88*b187*b190 - 784*b187*b191 - 448*b187*b192
      - 640*b187*b193 - 680*b187*b194 - 584*b187*b195 - 488*b188*b189 - 440*
     b188*b190 - 200*b188*b191 - 664*b188*b192 - 96*b188*b193 - 64*b188*b194 - 
     760*b188*b195 - 488*b189*b190 - 248*b189*b191 - 376*b189*b192 - 760*b189*
     b193 - 528*b189*b194 - 552*b189*b195 - 744*b190*b191 - 592*b190*b192 - 416
     *b190*b193 - 560*b190*b194 - 456*b190*b195 - 680*b191*b192 - 568*b191*b193
      - 320*b191*b194 - 120*b191*b195 - 320*b192*b193 - 464*b192*b194 - 16*b192
     *b195 - 32*b193*b194 - 448*b193*b195 - 80*b194*b195 - 352*b196*b197 - 96*
     b196*b198 - 288*b196*b199 - 664*b196*b200 - 704*b196*b201 - 272*b196*b202
      - 240*b196*b203 - 312*b196*b204 - 312*b196*b205 - 312*b196*b206 - 696*
     b196*b207 - 688*b196*b208 - 480*b196*b209 - 560*b197*b198 - 88*b197*b199
      - 584*b197*b200 - 72*b197*b201 - 624*b197*b202 - 600*b197*b203 - 400*b197
     *b204 - 584*b197*b205 - 384*b197*b206 - 360*b197*b207 - 152*b197*b208 - 
     656*b197*b209 - 40*b198*b199 - 720*b198*b200 - 264*b198*b201 - 168*b198*
     b202 - 136*b198*b203 - 272*b198*b204 - 520*b198*b205 - 648*b198*b206 - 560
     *b198*b207 - 552*b198*b209 - 456*b199*b200 - 664*b199*b201 - 480*b199*b202
      - 768*b199*b203 - 176*b199*b204 - 792*b199*b205 - 272*b199*b206 - 664*
     b199*b207 - 176*b199*b208 - 368*b199*b209 - 448*b200*b201 - 664*b200*b202
      - 192*b200*b203 - 664*b200*b204 - 264*b200*b205 - 392*b200*b206 - 248*
     b200*b207 - 240*b200*b208 - 552*b200*b209 - 520*b201*b202 - 280*b201*b203
      - 88*b201*b204 - 784*b201*b205 - 448*b201*b206 - 640*b201*b207 - 680*b201
     *b208 - 584*b201*b209 - 488*b202*b203 - 440*b202*b204 - 200*b202*b205 - 
     664*b202*b206 - 96*b202*b207 - 64*b202*b208 - 760*b202*b209 - 488*b203*
     b204 - 248*b203*b205 - 376*b203*b206 - 760*b203*b207 - 528*b203*b208 - 552
     *b203*b209 - 744*b204*b205 - 592*b204*b206 - 416*b204*b207 - 560*b204*b208
      - 456*b204*b209 - 680*b205*b206 - 568*b205*b207 - 320*b205*b208 - 120*
     b205*b209 - 320*b206*b207 - 464*b206*b208 - 16*b206*b209 - 32*b207*b208 - 
     448*b207*b209 - 80*b208*b209 - 560*b210*b211 - 88*b210*b212 - 584*b210*
     b213 - 72*b210*b214 - 624*b210*b215 - 600*b210*b216 - 400*b210*b217 - 584*
     b210*b218 - 384*b210*b219 - 360*b210*b220 - 152*b210*b221 - 656*b210*b222
      - 40*b211*b212 - 720*b211*b213 - 264*b211*b214 - 168*b211*b215 - 136*b211
     *b216 - 272*b211*b217 - 520*b211*b218 - 648*b211*b219 - 560*b211*b220 - 
     552*b211*b222 - 456*b212*b213 - 664*b212*b214 - 480*b212*b215 - 768*b212*
     b216 - 176*b212*b217 - 792*b212*b218 - 272*b212*b219 - 664*b212*b220 - 176
     *b212*b221 - 368*b212*b222 - 448*b213*b214 - 664*b213*b215 - 192*b213*b216
      - 664*b213*b217 - 264*b213*b218 - 392*b213*b219 - 248*b213*b220 - 240*
     b213*b221 - 552*b213*b222 - 520*b214*b215 - 280*b214*b216 - 88*b214*b217
      - 784*b214*b218 - 448*b214*b219 - 640*b214*b220 - 680*b214*b221 - 584*
     b214*b222 - 488*b215*b216 - 440*b215*b217 - 200*b215*b218 - 664*b215*b219
      - 96*b215*b220 - 64*b215*b221 - 760*b215*b222 - 488*b216*b217 - 248*b216*
     b218 - 376*b216*b219 - 760*b216*b220 - 528*b216*b221 - 552*b216*b222 - 744
     *b217*b218 - 592*b217*b219 - 416*b217*b220 - 560*b217*b221 - 456*b217*b222
      - 680*b218*b219 - 568*b218*b220 - 320*b218*b221 - 120*b218*b222 - 320*
     b219*b220 - 464*b219*b221 - 16*b219*b222 - 32*b220*b221 - 448*b220*b222 - 
     80*b221*b222 - 40*b223*b224 - 720*b223*b225 - 264*b223*b226 - 168*b223*
     b227 - 136*b223*b228 - 272*b223*b229 - 520*b223*b230 - 648*b223*b231 - 560
     *b223*b232 - 552*b223*b233 - 456*b224*b225 - 664*b224*b226 - 480*b224*b227
      - 768*b224*b228 - 176*b224*b229 - 792*b224*b230 - 272*b224*b231 - 664*
     b224*b232 - 368*b224*b233 - 176*b224*b234 - 448*b225*b226 - 664*b225*b227
      - 192*b225*b228 - 664*b225*b229 - 264*b225*b230 - 392*b225*b231 - 248*
     b225*b232 - 552*b225*b233 - 240*b225*b234 - 520*b226*b227 - 280*b226*b228
      - 88*b226*b229 - 784*b226*b230 - 448*b226*b231 - 640*b226*b232 - 584*b226
     *b233 - 680*b226*b234 - 488*b227*b228 - 440*b227*b229 - 200*b227*b230 - 
     664*b227*b231 - 96*b227*b232 - 760*b227*b233 - 64*b227*b234 - 488*b228*
     b229 - 248*b228*b230 - 376*b228*b231 - 760*b228*b232 - 552*b228*b233 - 528
     *b228*b234 - 744*b229*b230 - 592*b229*b231 - 416*b229*b232 - 456*b229*b233
      - 560*b229*b234 - 680*b230*b231 - 568*b230*b232 - 120*b230*b233 - 320*
     b230*b234 - 320*b231*b232 - 16*b231*b233 - 464*b231*b234 - 448*b232*b233
      - 32*b232*b234 - 80*b233*b234 - 456*b235*b236 - 664*b235*b237 - 480*b235*
     b238 - 768*b235*b239 - 176*b235*b240 - 792*b235*b241 - 272*b235*b242 - 664
     *b235*b243 - 176*b235*b244 - 368*b235*b245 - 448*b236*b237 - 664*b236*b238
      - 192*b236*b239 - 664*b236*b240 - 264*b236*b241 - 392*b236*b242 - 248*
     b236*b243 - 240*b236*b244 - 552*b236*b245 - 520*b237*b238 - 280*b237*b239
      - 88*b237*b240 - 784*b237*b241 - 448*b237*b242 - 640*b237*b243 - 680*b237
     *b244 - 584*b237*b245 - 488*b238*b239 - 440*b238*b240 - 200*b238*b241 - 
     664*b238*b242 - 96*b238*b243 - 64*b238*b244 - 760*b238*b245 - 488*b239*
     b240 - 248*b239*b241 - 376*b239*b242 - 760*b239*b243 - 528*b239*b244 - 552
     *b239*b245 - 744*b240*b241 - 592*b240*b242 - 416*b240*b243 - 560*b240*b244
      - 456*b240*b245 - 680*b241*b242 - 568*b241*b243 - 320*b241*b244 - 120*
     b241*b245 - 320*b242*b243 - 464*b242*b244 - 16*b242*b245 - 32*b243*b244 - 
     448*b243*b245 - 80*b244*b245 - 448*b246*b247 - 664*b246*b248 - 192*b246*
     b249 - 664*b246*b250 - 264*b246*b251 - 392*b246*b252 - 248*b246*b253 - 240
     *b246*b254 - 552*b246*b255 - 520*b247*b248 - 280*b247*b249 - 88*b247*b250
      - 784*b247*b251 - 448*b247*b252 - 640*b247*b253 - 680*b247*b254 - 584*
     b247*b255 - 488*b248*b249 - 440*b248*b250 - 200*b248*b251 - 664*b248*b252
      - 96*b248*b253 - 64*b248*b254 - 760*b248*b255 - 488*b249*b250 - 248*b249*
     b251 - 376*b249*b252 - 760*b249*b253 - 528*b249*b254 - 552*b249*b255 - 744
     *b250*b251 - 592*b250*b252 - 416*b250*b253 - 560*b250*b254 - 456*b250*b255
      - 680*b251*b252 - 568*b251*b253 - 320*b251*b254 - 120*b251*b255 - 320*
     b252*b253 - 464*b252*b254 - 16*b252*b255 - 32*b253*b254 - 448*b253*b255 - 
     80*b254*b255 - 520*b256*b257 - 280*b256*b258 - 88*b256*b259 - 784*b256*
     b260 - 448*b256*b261 - 640*b256*b262 - 680*b256*b263 - 584*b256*b264 - 488
     *b257*b258 - 440*b257*b259 - 200*b257*b260 - 664*b257*b261 - 96*b257*b262
      - 64*b257*b263 - 760*b257*b264 - 488*b258*b259 - 248*b258*b260 - 376*b258
     *b261 - 760*b258*b262 - 528*b258*b263 - 552*b258*b264 - 744*b259*b260 - 
     592*b259*b261 - 416*b259*b262 - 560*b259*b263 - 456*b259*b264 - 680*b260*
     b261 - 568*b260*b262 - 320*b260*b263 - 120*b260*b264 - 320*b261*b262 - 464
     *b261*b263 - 16*b261*b264 - 32*b262*b263 - 448*b262*b264 - 80*b263*b264 - 
     488*b265*b266 - 440*b265*b267 - 200*b265*b268 - 664*b265*b269 - 96*b265*
     b270 - 64*b265*b271 - 760*b265*b272 - 488*b266*b267 - 248*b266*b268 - 376*
     b266*b269 - 760*b266*b270 - 528*b266*b271 - 552*b266*b272 - 744*b267*b268
      - 592*b267*b269 - 416*b267*b270 - 560*b267*b271 - 456*b267*b272 - 680*
     b268*b269 - 568*b268*b270 - 320*b268*b271 - 120*b268*b272 - 320*b269*b270
      - 464*b269*b271 - 16*b269*b272 - 32*b270*b271 - 448*b270*b272 - 80*b271*
     b272 - 488*b273*b274 - 248*b273*b275 - 376*b273*b276 - 760*b273*b277 - 528
     *b273*b278 - 552*b273*b279 - 744*b274*b275 - 592*b274*b276 - 416*b274*b277
      - 560*b274*b278 - 456*b274*b279 - 680*b275*b276 - 568*b275*b277 - 320*
     b275*b278 - 120*b275*b279 - 320*b276*b277 - 464*b276*b278 - 16*b276*b279
      - 32*b277*b278 - 448*b277*b279 - 80*b278*b279 - 744*b280*b281 - 592*b280*
     b282 - 416*b280*b283 - 560*b280*b284 - 456*b280*b285 - 680*b281*b282 - 568
     *b281*b283 - 320*b281*b284 - 120*b281*b285 - 320*b282*b283 - 464*b282*b284
      - 16*b282*b285 - 32*b283*b284 - 448*b283*b285 - 80*b284*b285 - 680*b286*
     b287 - 568*b286*b288 - 320*b286*b289 - 120*b286*b290 - 320*b287*b288 - 464
     *b287*b289 - 16*b287*b290 - 32*b288*b289 - 448*b288*b290 - 80*b289*b290 - 
     320*b291*b292 - 464*b291*b293 - 16*b291*b294 - 32*b292*b293 - 448*b292*
     b294 - 80*b293*b294 - 32*b295*b296 - 448*b295*b297 - 80*b296*b297 - 80*
     b298*b299 - objvar =E= 0;

e2..    b2 + b25 =E= 1;

e3..    b3 + b26 + b48 =E= 1;

e4..    b4 + b27 + b49 + b70 =E= 1;

e5..    b5 + b28 + b50 + b71 + b91 =E= 1;

e6..    b6 + b29 + b51 + b72 + b92 + b111 =E= 1;

e7..    b7 + b30 + b52 + b73 + b93 + b112 + b130 =E= 1;

e8..    b8 + b31 + b53 + b74 + b94 + b113 + b131 + b148 =E= 1;

e9..    b9 + b32 + b54 + b75 + b95 + b114 + b132 + b149 + b165 =E= 1;

e10..    b10 + b33 + b55 + b76 + b96 + b115 + b133 + b150 + b166 + b181 =E= 1;

e11..    b11 + b34 + b56 + b77 + b97 + b116 + b134 + b151 + b167 + b182 + b196
       =E= 1;

e12..    b12 + b35 + b57 + b78 + b98 + b117 + b135 + b152 + b168 + b183 + b197
       + b210 =E= 1;

e13..    b13 + b36 + b58 + b79 + b99 + b118 + b136 + b153 + b169 + b184 + b198
       + b211 + b223 =E= 1;

e14..    b14 + b37 + b59 + b80 + b100 + b119 + b137 + b154 + b170 + b185 + b199
       + b212 + b224 + b235 =E= 1;

e15..    b15 + b38 + b60 + b81 + b101 + b120 + b138 + b164 + b171 + b186 + b200
       + b213 + b225 + b236 + b246 =E= 1;

e16..    b16 + b39 + b61 + b82 + b102 + b121 + b139 + b155 + b172 + b187 + b201
       + b214 + b226 + b237 + b247 + b256 =E= 1;

e17..    b17 + b40 + b62 + b83 + b103 + b122 + b140 + b156 + b173 + b188 + b202
       + b215 + b227 + b238 + b248 + b257 + b265 =E= 1;

e18..    b18 + b41 + b63 + b84 + b110 + b123 + b141 + b157 + b174 + b189 + b203
       + b216 + b228 + b239 + b249 + b258 + b266 + b273 =E= 1;

e19..    b19 + b42 + b64 + b85 + b104 + b124 + b142 + b158 + b175 + b190 + b204
       + b217 + b229 + b240 + b250 + b259 + b267 + b274 + b280 =E= 1;

e20..    b20 + b43 + b65 + b86 + b105 + b125 + b143 + b159 + b176 + b191 + b205
       + b218 + b230 + b241 + b251 + b260 + b268 + b275 + b281 + b286 =E= 1;

e21..    b21 + b44 + b66 + b87 + b106 + b126 + b144 + b160 + b177 + b192 + b206
       + b219 + b231 + b242 + b252 + b261 + b269 + b276 + b282 + b287 + b291
       =E= 1;

e22..    b22 + b45 + b67 + b88 + b107 + b127 + b145 + b161 + b178 + b193 + b207
       + b220 + b232 + b243 + b253 + b262 + b270 + b277 + b283 + b288 + b292
       + b295 =E= 1;

e23..    b23 + b46 + b68 + b89 + b108 + b128 + b146 + b162 + b179 + b194 + b208
       + b221 + b234 + b244 + b254 + b263 + b271 + b278 + b284 + b289 + b293
       + b296 + b298 =E= 1;

e24..    b24 + b47 + b69 + b90 + b109 + b129 + b147 + b163 + b180 + b195 + b209
       + b222 + b233 + b245 + b255 + b264 + b272 + b279 + b285 + b290 + b294
       + b297 + b299 + b300 =E= 1;

e25..  - b25 + b26 =L= 0;

e26..  - b25 + b27 =L= 0;

e27..  - b25 + b28 =L= 0;

e28..  - b25 + b29 =L= 0;

e29..  - b25 + b30 =L= 0;

e30..  - b25 + b31 =L= 0;

e31..  - b25 + b32 =L= 0;

e32..  - b25 + b33 =L= 0;

e33..  - b25 + b34 =L= 0;

e34..  - b25 + b35 =L= 0;

e35..  - b25 + b36 =L= 0;

e36..  - b25 + b37 =L= 0;

e37..  - b25 + b38 =L= 0;

e38..  - b25 + b39 =L= 0;

e39..  - b25 + b40 =L= 0;

e40..  - b25 + b41 =L= 0;

e41..  - b25 + b42 =L= 0;

e42..  - b25 + b43 =L= 0;

e43..  - b25 + b44 =L= 0;

e44..  - b25 + b45 =L= 0;

e45..  - b25 + b46 =L= 0;

e46..  - b25 + b47 =L= 0;

e47..  - b48 + b49 =L= 0;

e48..  - b48 + b50 =L= 0;

e49..  - b48 + b51 =L= 0;

e50..  - b48 + b52 =L= 0;

e51..  - b48 + b53 =L= 0;

e52..  - b48 + b54 =L= 0;

e53..  - b48 + b55 =L= 0;

e54..  - b48 + b56 =L= 0;

e55..  - b48 + b57 =L= 0;

e56..  - b48 + b58 =L= 0;

e57..  - b48 + b59 =L= 0;

e58..  - b48 + b60 =L= 0;

e59..  - b48 + b61 =L= 0;

e60..  - b48 + b62 =L= 0;

e61..  - b48 + b63 =L= 0;

e62..  - b48 + b64 =L= 0;

e63..  - b48 + b65 =L= 0;

e64..  - b48 + b66 =L= 0;

e65..  - b48 + b67 =L= 0;

e66..  - b48 + b68 =L= 0;

e67..  - b48 + b69 =L= 0;

e68..  - b70 + b71 =L= 0;

e69..  - b70 + b72 =L= 0;

e70..  - b70 + b73 =L= 0;

e71..  - b70 + b74 =L= 0;

e72..  - b70 + b75 =L= 0;

e73..  - b70 + b76 =L= 0;

e74..  - b70 + b77 =L= 0;

e75..  - b70 + b78 =L= 0;

e76..  - b70 + b79 =L= 0;

e77..  - b70 + b80 =L= 0;

e78..  - b70 + b81 =L= 0;

e79..  - b70 + b82 =L= 0;

e80..  - b70 + b83 =L= 0;

e81..  - b70 + b84 =L= 0;

e82..  - b70 + b85 =L= 0;

e83..  - b70 + b86 =L= 0;

e84..  - b70 + b87 =L= 0;

e85..  - b70 + b88 =L= 0;

e86..  - b70 + b89 =L= 0;

e87..  - b70 + b90 =L= 0;

e88..  - b91 + b92 =L= 0;

e89..  - b91 + b93 =L= 0;

e90..  - b91 + b94 =L= 0;

e91..  - b91 + b95 =L= 0;

e92..  - b91 + b96 =L= 0;

e93..  - b91 + b97 =L= 0;

e94..  - b91 + b98 =L= 0;

e95..  - b91 + b99 =L= 0;

e96..  - b91 + b100 =L= 0;

e97..  - b91 + b101 =L= 0;

e98..  - b91 + b102 =L= 0;

e99..  - b91 + b103 =L= 0;

e100..  - b91 + b110 =L= 0;

e101..  - b91 + b104 =L= 0;

e102..  - b91 + b105 =L= 0;

e103..  - b91 + b106 =L= 0;

e104..  - b91 + b107 =L= 0;

e105..  - b91 + b108 =L= 0;

e106..  - b91 + b109 =L= 0;

e107..  - b111 + b112 =L= 0;

e108..  - b111 + b113 =L= 0;

e109..  - b111 + b114 =L= 0;

e110..  - b111 + b115 =L= 0;

e111..  - b111 + b116 =L= 0;

e112..  - b111 + b117 =L= 0;

e113..  - b111 + b118 =L= 0;

e114..  - b111 + b119 =L= 0;

e115..  - b111 + b120 =L= 0;

e116..  - b111 + b121 =L= 0;

e117..  - b111 + b122 =L= 0;

e118..  - b111 + b123 =L= 0;

e119..  - b111 + b124 =L= 0;

e120..  - b111 + b125 =L= 0;

e121..  - b111 + b126 =L= 0;

e122..  - b111 + b127 =L= 0;

e123..  - b111 + b128 =L= 0;

e124..  - b111 + b129 =L= 0;

e125..  - b130 + b131 =L= 0;

e126..  - b130 + b132 =L= 0;

e127..  - b130 + b133 =L= 0;

e128..  - b130 + b134 =L= 0;

e129..  - b130 + b135 =L= 0;

e130..  - b130 + b136 =L= 0;

e131..  - b130 + b137 =L= 0;

e132..  - b130 + b138 =L= 0;

e133..  - b130 + b139 =L= 0;

e134..  - b130 + b140 =L= 0;

e135..  - b130 + b141 =L= 0;

e136..  - b130 + b142 =L= 0;

e137..  - b130 + b143 =L= 0;

e138..  - b130 + b144 =L= 0;

e139..  - b130 + b145 =L= 0;

e140..  - b130 + b146 =L= 0;

e141..  - b130 + b147 =L= 0;

e142..  - b148 + b149 =L= 0;

e143..  - b148 + b150 =L= 0;

e144..  - b148 + b151 =L= 0;

e145..  - b148 + b152 =L= 0;

e146..  - b148 + b153 =L= 0;

e147..  - b148 + b154 =L= 0;

e148..  - b148 + b164 =L= 0;

e149..  - b148 + b155 =L= 0;

e150..  - b148 + b156 =L= 0;

e151..  - b148 + b157 =L= 0;

e152..  - b148 + b158 =L= 0;

e153..  - b148 + b159 =L= 0;

e154..  - b148 + b160 =L= 0;

e155..  - b148 + b161 =L= 0;

e156..  - b148 + b162 =L= 0;

e157..  - b148 + b163 =L= 0;

e158..  - b165 + b166 =L= 0;

e159..  - b165 + b167 =L= 0;

e160..  - b165 + b168 =L= 0;

e161..  - b165 + b169 =L= 0;

e162..  - b165 + b170 =L= 0;

e163..  - b165 + b171 =L= 0;

e164..  - b165 + b172 =L= 0;

e165..  - b165 + b173 =L= 0;

e166..  - b165 + b174 =L= 0;

e167..  - b165 + b175 =L= 0;

e168..  - b165 + b176 =L= 0;

e169..  - b165 + b177 =L= 0;

e170..  - b165 + b178 =L= 0;

e171..  - b165 + b179 =L= 0;

e172..  - b165 + b180 =L= 0;

e173..  - b181 + b182 =L= 0;

e174..  - b181 + b183 =L= 0;

e175..  - b181 + b184 =L= 0;

e176..  - b181 + b185 =L= 0;

e177..  - b181 + b186 =L= 0;

e178..  - b181 + b187 =L= 0;

e179..  - b181 + b188 =L= 0;

e180..  - b181 + b189 =L= 0;

e181..  - b181 + b190 =L= 0;

e182..  - b181 + b191 =L= 0;

e183..  - b181 + b192 =L= 0;

e184..  - b181 + b193 =L= 0;

e185..  - b181 + b194 =L= 0;

e186..  - b181 + b195 =L= 0;

e187..  - b196 + b197 =L= 0;

e188..  - b196 + b198 =L= 0;

e189..  - b196 + b199 =L= 0;

e190..  - b196 + b200 =L= 0;

e191..  - b196 + b201 =L= 0;

e192..  - b196 + b202 =L= 0;

e193..  - b196 + b203 =L= 0;

e194..  - b196 + b204 =L= 0;

e195..  - b196 + b205 =L= 0;

e196..  - b196 + b206 =L= 0;

e197..  - b196 + b207 =L= 0;

e198..  - b196 + b208 =L= 0;

e199..  - b196 + b209 =L= 0;

e200..  - b210 + b211 =L= 0;

e201..  - b210 + b212 =L= 0;

e202..  - b210 + b213 =L= 0;

e203..  - b210 + b214 =L= 0;

e204..  - b210 + b215 =L= 0;

e205..  - b210 + b216 =L= 0;

e206..  - b210 + b217 =L= 0;

e207..  - b210 + b218 =L= 0;

e208..  - b210 + b219 =L= 0;

e209..  - b210 + b220 =L= 0;

e210..  - b210 + b221 =L= 0;

e211..  - b210 + b222 =L= 0;

e212..  - b223 + b224 =L= 0;

e213..  - b223 + b225 =L= 0;

e214..  - b223 + b226 =L= 0;

e215..  - b223 + b227 =L= 0;

e216..  - b223 + b228 =L= 0;

e217..  - b223 + b229 =L= 0;

e218..  - b223 + b230 =L= 0;

e219..  - b223 + b231 =L= 0;

e220..  - b223 + b232 =L= 0;

e221..  - b223 + b234 =L= 0;

e222..  - b223 + b233 =L= 0;

e223..  - b235 + b236 =L= 0;

e224..  - b235 + b237 =L= 0;

e225..  - b235 + b238 =L= 0;

e226..  - b235 + b239 =L= 0;

e227..  - b235 + b240 =L= 0;

e228..  - b235 + b241 =L= 0;

e229..  - b235 + b242 =L= 0;

e230..  - b235 + b243 =L= 0;

e231..  - b235 + b244 =L= 0;

e232..  - b235 + b245 =L= 0;

e233..  - b246 + b247 =L= 0;

e234..  - b246 + b248 =L= 0;

e235..  - b246 + b249 =L= 0;

e236..  - b246 + b250 =L= 0;

e237..  - b246 + b251 =L= 0;

e238..  - b246 + b252 =L= 0;

e239..  - b246 + b253 =L= 0;

e240..  - b246 + b254 =L= 0;

e241..  - b246 + b255 =L= 0;

e242..  - b256 + b257 =L= 0;

e243..  - b256 + b258 =L= 0;

e244..  - b256 + b259 =L= 0;

e245..  - b256 + b260 =L= 0;

e246..  - b256 + b261 =L= 0;

e247..  - b256 + b262 =L= 0;

e248..  - b256 + b263 =L= 0;

e249..  - b256 + b264 =L= 0;

e250..  - b265 + b266 =L= 0;

e251..  - b265 + b267 =L= 0;

e252..  - b265 + b268 =L= 0;

e253..  - b265 + b269 =L= 0;

e254..  - b265 + b270 =L= 0;

e255..  - b265 + b271 =L= 0;

e256..  - b265 + b272 =L= 0;

e257..  - b273 + b274 =L= 0;

e258..  - b273 + b275 =L= 0;

e259..  - b273 + b276 =L= 0;

e260..  - b273 + b277 =L= 0;

e261..  - b273 + b278 =L= 0;

e262..  - b273 + b279 =L= 0;

e263..  - b280 + b281 =L= 0;

e264..  - b280 + b282 =L= 0;

e265..  - b280 + b283 =L= 0;

e266..  - b280 + b284 =L= 0;

e267..  - b280 + b285 =L= 0;

e268..  - b286 + b287 =L= 0;

e269..  - b286 + b288 =L= 0;

e270..  - b286 + b289 =L= 0;

e271..  - b286 + b290 =L= 0;

e272..  - b291 + b292 =L= 0;

e273..  - b291 + b293 =L= 0;

e274..  - b291 + b294 =L= 0;

e275..  - b295 + b296 =L= 0;

e276..  - b295 + b297 =L= 0;

e277..  - b298 + b299 =L= 0;

e278.. 7872*b2 - 136*b3*b2 + 8392*b3 - 344*b4*b2 + 9720*b4 - 496*b5*b2 + 10984*
       b5 - 192*b6*b2 + 9912*b6 - 360*b7*b2 + 9672*b7 - 168*b8*b2 + 8792*b8 - 
       480*b9*b2 + 8936*b9 - 96*b10*b2 + 9128*b10 - 528*b11*b2 + 9368*b11 - 424
       *b12*b2 + 8856*b12 - 40*b13*b2 + 9056*b13 - 648*b14*b2 + 9304*b14 - 488*
       b15*b2 + 9360*b15 - 80*b16*b2 + 9528*b16 - 704*b17*b2 + 9528*b17 - 616*
       b18*b2 + 9520*b18 - 272*b19*b2 + 8536*b19 - 16*b20*b2 + 9720*b20 - 656*
       b21*b2 + 10664*b21 - 424*b22*b2 + 9904*b22 - 208*b23*b2 + 7352*b23 - 496
       *b24*b2 + 7896*b24 - 144*b4*b3 - 568*b5*b3 - 112*b6*b3 - 776*b7*b3 - 656
       *b8*b3 - 432*b9*b3 - 72*b10*b3 - 736*b11*b3 - 440*b12*b3 - 624*b13*b3 - 
       696*b14*b3 - 552*b15*b3 - 16*b16*b3 - 256*b17*b3 - 336*b18*b3 - 112*b19*
       b3 - 360*b20*b3 - 480*b21*b3 - 536*b22*b3 - 16*b23*b3 - 336*b24*b3 - 648
       *b5*b4 - 512*b6*b4 - 656*b7*b4 - 464*b8*b4 - 784*b9*b4 - 288*b10*b4 - 
       736*b11*b4 - 24*b12*b4 - 496*b13*b4 - 432*b14*b4 - 168*b15*b4 - 680*b16*
       b4 - 552*b17*b4 - 560*b18*b4 - 160*b19*b4 - 600*b20*b4 - 640*b21*b4 - 96
       *b22*b4 - 656*b23*b4 - 80*b24*b4 - 792*b6*b5 - 32*b7*b5 - 104*b8*b5 - 
       672*b9*b5 - 784*b10*b5 - 216*b11*b5 - 648*b12*b5 - 472*b13*b5 - 376*b14*
       b5 - 664*b15*b5 - 424*b16*b5 - 640*b17*b5 - 280*b19*b5 - 720*b20*b5 - 
       784*b21*b5 - 568*b22*b5 - 664*b23*b5 - 432*b24*b5 - 688*b7*b6 - 712*b8*
       b6 - 216*b9*b6 - 568*b10*b6 - 80*b11*b6 - 784*b12*b6 - 728*b13*b6 - 688*
       b14*b6 - 240*b15*b6 - 440*b16*b6 - 160*b17*b6 - 320*b18*b6 - 56*b19*b6
        - 608*b20*b6 - 424*b21*b6 - 728*b22*b6 - 600*b23*b6 - 264*b24*b6 - 576*
       b8*b7 - 272*b9*b7 - 256*b10*b7 - 56*b11*b7 - 696*b12*b7 - 512*b13*b7 - 
       56*b14*b7 - 592*b15*b7 - 432*b16*b7 - 464*b17*b7 - 776*b18*b7 - 712*b19*
       b7 - 96*b20*b7 - 664*b21*b7 - 632*b22*b7 - 312*b23*b7 - 56*b24*b7 - 712*
       b9*b8 - 712*b10*b8 - 784*b11*b8 - 216*b12*b8 - 152*b13*b8 - 48*b14*b8 - 
       480*b16*b8 - 104*b17*b8 - 608*b18*b8 - 520*b19*b8 - 448*b20*b8 - 408*b21
       *b8 - 400*b22*b8 - 224*b23*b8 - 296*b24*b8 - 272*b10*b9 - 696*b11*b9 - 
       192*b12*b9 - 784*b13*b9 - 376*b14*b9 - 400*b15*b9 - 40*b16*b9 - 456*b17*
       b9 - 384*b18*b9 - 752*b19*b9 - 168*b20*b9 - 248*b21*b9 - 200*b22*b9 - 96
       *b23*b9 - 304*b24*b9 - 120*b11*b10 - 16*b12*b10 - 712*b13*b10 - 752*b14*
       b10 - 168*b15*b10 - 760*b16*b10 - 752*b17*b10 - 264*b18*b10 - 64*b19*b10
        - 568*b20*b10 - 792*b21*b10 - 512*b22*b10 - 592*b23*b10 - 8*b24*b10 - 
       352*b12*b11 - 96*b13*b11 - 288*b14*b11 - 664*b15*b11 - 704*b16*b11 - 272
       *b17*b11 - 240*b18*b11 - 312*b19*b11 - 312*b20*b11 - 312*b21*b11 - 696*
       b22*b11 - 688*b23*b11 - 480*b24*b11 - 560*b13*b12 - 88*b14*b12 - 584*b15
       *b12 - 72*b16*b12 - 624*b17*b12 - 600*b18*b12 - 400*b19*b12 - 584*b20*
       b12 - 384*b21*b12 - 360*b22*b12 - 152*b23*b12 - 656*b24*b12 - 40*b14*b13
        - 720*b15*b13 - 264*b16*b13 - 168*b17*b13 - 136*b18*b13 - 272*b19*b13
        - 520*b20*b13 - 648*b21*b13 - 560*b22*b13 - 552*b24*b13 - 456*b15*b14
        - 664*b16*b14 - 480*b17*b14 - 768*b18*b14 - 176*b19*b14 - 792*b20*b14
        - 272*b21*b14 - 664*b22*b14 - 176*b23*b14 - 368*b24*b14 - 448*b16*b15
        - 664*b17*b15 - 192*b18*b15 - 664*b19*b15 - 264*b20*b15 - 392*b21*b15
        - 248*b22*b15 - 240*b23*b15 - 552*b24*b15 - 520*b17*b16 - 280*b18*b16
        - 88*b19*b16 - 784*b20*b16 - 448*b21*b16 - 640*b22*b16 - 680*b23*b16 - 
       584*b24*b16 - 488*b18*b17 - 440*b19*b17 - 200*b20*b17 - 664*b21*b17 - 96
       *b22*b17 - 64*b23*b17 - 760*b24*b17 - 488*b19*b18 - 248*b20*b18 - 376*
       b21*b18 - 760*b22*b18 - 528*b23*b18 - 552*b24*b18 - 744*b20*b19 - 592*
       b21*b19 - 416*b22*b19 - 560*b23*b19 - 456*b24*b19 - 680*b21*b20 - 568*
       b22*b20 - 320*b23*b20 - 120*b24*b20 - 320*b22*b21 - 464*b23*b21 - 16*b24
       *b21 - 32*b23*b22 - 448*b24*b22 - 80*b24*b23 =L= 41592;

e279.. (-136*b26*b25) - 41272*b25 + 9136*b26 - 344*b27*b25 + 10464*b27 - 496*
       b28*b25 + 11488*b28 - 192*b29*b25 + 9976*b29 - 360*b30*b25 + 10088*b30
        - 168*b31*b25 + 9224*b31 - 480*b32*b25 + 9448*b32 - 96*b33*b25 + 9320*
       b33 - 528*b34*b25 + 9480*b34 - 424*b35*b25 + 8888*b35 - 40*b36*b25 + 
       9208*b36 - 648*b37*b25 + 9872*b37 - 488*b38*b25 + 9584*b38 - 80*b39*b25
        + 9632*b39 - 704*b40*b25 + 9888*b40 - 616*b41*b25 + 9936*b41 - 272*b42*
       b25 + 9168*b42 - 16*b43*b25 + 9808*b43 - 656*b44*b25 + 10984*b44 - 424*
       b45*b25 + 10000*b45 - 208*b46*b25 + 7808*b46 - 496*b47*b25 + 8280*b47 - 
       144*b27*b26 - 568*b28*b26 - 112*b29*b26 - 776*b30*b26 - 656*b31*b26 - 
       432*b32*b26 - 72*b33*b26 - 736*b34*b26 - 440*b35*b26 - 624*b36*b26 - 696
       *b37*b26 - 552*b38*b26 - 16*b39*b26 - 256*b40*b26 - 336*b41*b26 - 112*
       b42*b26 - 360*b43*b26 - 480*b44*b26 - 536*b45*b26 - 16*b46*b26 - 336*b47
       *b26 - 648*b28*b27 - 512*b29*b27 - 656*b30*b27 - 464*b31*b27 - 784*b32*
       b27 - 288*b33*b27 - 736*b34*b27 - 24*b35*b27 - 496*b36*b27 - 432*b37*b27
        - 168*b38*b27 - 680*b39*b27 - 552*b40*b27 - 560*b41*b27 - 160*b42*b27
        - 600*b43*b27 - 640*b44*b27 - 96*b45*b27 - 656*b46*b27 - 80*b47*b27 - 
       792*b29*b28 - 32*b30*b28 - 104*b31*b28 - 672*b32*b28 - 784*b33*b28 - 216
       *b34*b28 - 648*b35*b28 - 472*b36*b28 - 376*b37*b28 - 664*b38*b28 - 424*
       b39*b28 - 640*b40*b28 - 280*b42*b28 - 720*b43*b28 - 784*b44*b28 - 568*
       b45*b28 - 664*b46*b28 - 432*b47*b28 - 688*b30*b29 - 712*b31*b29 - 216*
       b32*b29 - 568*b33*b29 - 80*b34*b29 - 784*b35*b29 - 728*b36*b29 - 688*b37
       *b29 - 240*b38*b29 - 440*b39*b29 - 160*b40*b29 - 320*b41*b29 - 56*b42*
       b29 - 608*b43*b29 - 424*b44*b29 - 728*b45*b29 - 600*b46*b29 - 264*b47*
       b29 - 576*b31*b30 - 272*b32*b30 - 256*b33*b30 - 56*b34*b30 - 696*b35*b30
        - 512*b36*b30 - 56*b37*b30 - 592*b38*b30 - 432*b39*b30 - 464*b40*b30 - 
       776*b41*b30 - 712*b42*b30 - 96*b43*b30 - 664*b44*b30 - 632*b45*b30 - 312
       *b46*b30 - 56*b47*b30 - 712*b32*b31 - 712*b33*b31 - 784*b34*b31 - 216*
       b35*b31 - 152*b36*b31 - 48*b37*b31 - 480*b39*b31 - 104*b40*b31 - 608*b41
       *b31 - 520*b42*b31 - 448*b43*b31 - 408*b44*b31 - 400*b45*b31 - 224*b46*
       b31 - 296*b47*b31 - 272*b33*b32 - 696*b34*b32 - 192*b35*b32 - 784*b36*
       b32 - 376*b37*b32 - 400*b38*b32 - 40*b39*b32 - 456*b40*b32 - 384*b41*b32
        - 752*b42*b32 - 168*b43*b32 - 248*b44*b32 - 200*b45*b32 - 96*b46*b32 - 
       304*b47*b32 - 120*b34*b33 - 16*b35*b33 - 712*b36*b33 - 752*b37*b33 - 168
       *b38*b33 - 760*b39*b33 - 752*b40*b33 - 264*b41*b33 - 64*b42*b33 - 568*
       b43*b33 - 792*b44*b33 - 512*b45*b33 - 592*b46*b33 - 8*b47*b33 - 352*b35*
       b34 - 96*b36*b34 - 288*b37*b34 - 664*b38*b34 - 704*b39*b34 - 272*b40*b34
        - 240*b41*b34 - 312*b42*b34 - 312*b43*b34 - 312*b44*b34 - 696*b45*b34
        - 688*b46*b34 - 480*b47*b34 - 560*b36*b35 - 88*b37*b35 - 584*b38*b35 - 
       72*b39*b35 - 624*b40*b35 - 600*b41*b35 - 400*b42*b35 - 584*b43*b35 - 384
       *b44*b35 - 360*b45*b35 - 152*b46*b35 - 656*b47*b35 - 40*b37*b36 - 720*
       b38*b36 - 264*b39*b36 - 168*b40*b36 - 136*b41*b36 - 272*b42*b36 - 520*
       b43*b36 - 648*b44*b36 - 560*b45*b36 - 552*b47*b36 - 456*b38*b37 - 664*
       b39*b37 - 480*b40*b37 - 768*b41*b37 - 176*b42*b37 - 792*b43*b37 - 272*
       b44*b37 - 664*b45*b37 - 176*b46*b37 - 368*b47*b37 - 448*b39*b38 - 664*
       b40*b38 - 192*b41*b38 - 664*b42*b38 - 264*b43*b38 - 392*b44*b38 - 248*
       b45*b38 - 240*b46*b38 - 552*b47*b38 - 520*b40*b39 - 280*b41*b39 - 88*b42
       *b39 - 784*b43*b39 - 448*b44*b39 - 640*b45*b39 - 680*b46*b39 - 584*b47*
       b39 - 488*b41*b40 - 440*b42*b40 - 200*b43*b40 - 664*b44*b40 - 96*b45*b40
        - 64*b46*b40 - 760*b47*b40 - 488*b42*b41 - 248*b43*b41 - 376*b44*b41 - 
       760*b45*b41 - 528*b46*b41 - 552*b47*b41 - 744*b43*b42 - 592*b44*b42 - 
       416*b45*b42 - 560*b46*b42 - 456*b47*b42 - 680*b44*b43 - 568*b45*b43 - 
       320*b46*b43 - 120*b47*b43 - 320*b45*b44 - 464*b46*b44 - 16*b47*b44 - 32*
       b46*b45 - 448*b47*b45 - 80*b47*b46 =L= 0;

e280.. (-144*b49*b48) - 40368*b48 + 10464*b49 - 568*b50*b48 + 11488*b50 - 112*
       b51*b48 + 9976*b51 - 776*b52*b48 + 10088*b52 - 656*b53*b48 + 9224*b53 - 
       432*b54*b48 + 9448*b54 - 72*b55*b48 + 9320*b55 - 736*b56*b48 + 9480*b56
        - 440*b57*b48 + 8888*b57 - 624*b58*b48 + 9208*b58 - 696*b59*b48 + 9872*
       b59 - 552*b60*b48 + 9584*b60 - 16*b61*b48 + 9632*b61 - 256*b62*b48 + 
       9888*b62 - 336*b63*b48 + 9936*b63 - 112*b64*b48 + 9168*b64 - 360*b65*b48
        + 9808*b65 - 480*b66*b48 + 10984*b66 - 536*b67*b48 + 10000*b67 - 16*b68
       *b48 + 7808*b68 - 336*b69*b48 + 8280*b69 - 648*b50*b49 - 512*b51*b49 - 
       656*b52*b49 - 464*b53*b49 - 784*b54*b49 - 288*b55*b49 - 736*b56*b49 - 24
       *b57*b49 - 496*b58*b49 - 432*b59*b49 - 168*b60*b49 - 680*b61*b49 - 552*
       b62*b49 - 560*b63*b49 - 160*b64*b49 - 600*b65*b49 - 640*b66*b49 - 96*b67
       *b49 - 656*b68*b49 - 80*b69*b49 - 792*b51*b50 - 32*b52*b50 - 104*b53*b50
        - 672*b54*b50 - 784*b55*b50 - 216*b56*b50 - 648*b57*b50 - 472*b58*b50
        - 376*b59*b50 - 664*b60*b50 - 424*b61*b50 - 640*b62*b50 - 280*b64*b50
        - 720*b65*b50 - 784*b66*b50 - 568*b67*b50 - 664*b68*b50 - 432*b69*b50
        - 688*b52*b51 - 712*b53*b51 - 216*b54*b51 - 568*b55*b51 - 80*b56*b51 - 
       784*b57*b51 - 728*b58*b51 - 688*b59*b51 - 240*b60*b51 - 440*b61*b51 - 
       160*b62*b51 - 320*b63*b51 - 56*b64*b51 - 608*b65*b51 - 424*b66*b51 - 728
       *b67*b51 - 600*b68*b51 - 264*b69*b51 - 576*b53*b52 - 272*b54*b52 - 256*
       b55*b52 - 56*b56*b52 - 696*b57*b52 - 512*b58*b52 - 56*b59*b52 - 592*b60*
       b52 - 432*b61*b52 - 464*b62*b52 - 776*b63*b52 - 712*b64*b52 - 96*b65*b52
        - 664*b66*b52 - 632*b67*b52 - 312*b68*b52 - 56*b69*b52 - 712*b54*b53 - 
       712*b55*b53 - 784*b56*b53 - 216*b57*b53 - 152*b58*b53 - 48*b59*b53 - 480
       *b61*b53 - 104*b62*b53 - 608*b63*b53 - 520*b64*b53 - 448*b65*b53 - 408*
       b66*b53 - 400*b67*b53 - 224*b68*b53 - 296*b69*b53 - 272*b55*b54 - 696*
       b56*b54 - 192*b57*b54 - 784*b58*b54 - 376*b59*b54 - 400*b60*b54 - 40*b61
       *b54 - 456*b62*b54 - 384*b63*b54 - 752*b64*b54 - 168*b65*b54 - 248*b66*
       b54 - 200*b67*b54 - 96*b68*b54 - 304*b69*b54 - 120*b56*b55 - 16*b57*b55
        - 712*b58*b55 - 752*b59*b55 - 168*b60*b55 - 760*b61*b55 - 752*b62*b55
        - 264*b63*b55 - 64*b64*b55 - 568*b65*b55 - 792*b66*b55 - 512*b67*b55 - 
       592*b68*b55 - 8*b69*b55 - 352*b57*b56 - 96*b58*b56 - 288*b59*b56 - 664*
       b60*b56 - 704*b61*b56 - 272*b62*b56 - 240*b63*b56 - 312*b64*b56 - 312*
       b65*b56 - 312*b66*b56 - 696*b67*b56 - 688*b68*b56 - 480*b69*b56 - 560*
       b58*b57 - 88*b59*b57 - 584*b60*b57 - 72*b61*b57 - 624*b62*b57 - 600*b63*
       b57 - 400*b64*b57 - 584*b65*b57 - 384*b66*b57 - 360*b67*b57 - 152*b68*
       b57 - 656*b69*b57 - 40*b59*b58 - 720*b60*b58 - 264*b61*b58 - 168*b62*b58
        - 136*b63*b58 - 272*b64*b58 - 520*b65*b58 - 648*b66*b58 - 560*b67*b58
        - 552*b69*b58 - 456*b60*b59 - 664*b61*b59 - 480*b62*b59 - 768*b63*b59
        - 176*b64*b59 - 792*b65*b59 - 272*b66*b59 - 664*b67*b59 - 176*b68*b59
        - 368*b69*b59 - 448*b61*b60 - 664*b62*b60 - 192*b63*b60 - 664*b64*b60
        - 264*b65*b60 - 392*b66*b60 - 248*b67*b60 - 240*b68*b60 - 552*b69*b60
        - 520*b62*b61 - 280*b63*b61 - 88*b64*b61 - 784*b65*b61 - 448*b66*b61 - 
       640*b67*b61 - 680*b68*b61 - 584*b69*b61 - 488*b63*b62 - 440*b64*b62 - 
       200*b65*b62 - 664*b66*b62 - 96*b67*b62 - 64*b68*b62 - 760*b69*b62 - 488*
       b64*b63 - 248*b65*b63 - 376*b66*b63 - 760*b67*b63 - 528*b68*b63 - 552*
       b69*b63 - 744*b65*b64 - 592*b66*b64 - 416*b67*b64 - 560*b68*b64 - 456*
       b69*b64 - 680*b66*b65 - 568*b67*b65 - 320*b68*b65 - 120*b69*b65 - 320*
       b67*b66 - 464*b68*b66 - 16*b69*b66 - 32*b68*b67 - 448*b69*b67 - 80*b69*
       b68 =L= 0;

e281.. (-648*b71*b70) - 39040*b70 + 11488*b71 - 512*b72*b70 + 9976*b72 - 656*
       b73*b70 + 10088*b73 - 464*b74*b70 + 9224*b74 - 784*b75*b70 + 9448*b75 - 
       288*b76*b70 + 9320*b76 - 736*b77*b70 + 9480*b77 - 24*b78*b70 + 8888*b78
        - 496*b79*b70 + 9208*b79 - 432*b80*b70 + 9872*b80 - 168*b81*b70 + 9584*
       b81 - 680*b82*b70 + 9632*b82 - 552*b83*b70 + 9888*b83 - 560*b84*b70 + 
       9936*b84 - 160*b85*b70 + 9168*b85 - 600*b86*b70 + 9808*b86 - 640*b87*b70
        + 10984*b87 - 96*b88*b70 + 10000*b88 - 656*b89*b70 + 7808*b89 - 80*b90*
       b70 + 8280*b90 - 792*b72*b71 - 32*b73*b71 - 104*b74*b71 - 672*b75*b71 - 
       784*b76*b71 - 216*b77*b71 - 648*b78*b71 - 472*b79*b71 - 376*b80*b71 - 
       664*b81*b71 - 424*b82*b71 - 640*b83*b71 - 280*b85*b71 - 720*b86*b71 - 
       784*b87*b71 - 568*b88*b71 - 664*b89*b71 - 432*b90*b71 - 688*b73*b72 - 
       712*b74*b72 - 216*b75*b72 - 568*b76*b72 - 80*b77*b72 - 784*b78*b72 - 728
       *b79*b72 - 688*b80*b72 - 240*b81*b72 - 440*b82*b72 - 160*b83*b72 - 320*
       b84*b72 - 56*b85*b72 - 608*b86*b72 - 424*b87*b72 - 728*b88*b72 - 600*b89
       *b72 - 264*b90*b72 - 576*b74*b73 - 272*b75*b73 - 256*b76*b73 - 56*b77*
       b73 - 696*b78*b73 - 512*b79*b73 - 56*b80*b73 - 592*b81*b73 - 432*b82*b73
        - 464*b83*b73 - 776*b84*b73 - 712*b85*b73 - 96*b86*b73 - 664*b87*b73 - 
       632*b88*b73 - 312*b89*b73 - 56*b90*b73 - 712*b75*b74 - 712*b76*b74 - 784
       *b77*b74 - 216*b78*b74 - 152*b79*b74 - 48*b80*b74 - 480*b82*b74 - 104*
       b83*b74 - 608*b84*b74 - 520*b85*b74 - 448*b86*b74 - 408*b87*b74 - 400*
       b88*b74 - 224*b89*b74 - 296*b90*b74 - 272*b76*b75 - 696*b77*b75 - 192*
       b78*b75 - 784*b79*b75 - 376*b80*b75 - 400*b81*b75 - 40*b82*b75 - 456*b83
       *b75 - 384*b84*b75 - 752*b85*b75 - 168*b86*b75 - 248*b87*b75 - 200*b88*
       b75 - 96*b89*b75 - 304*b90*b75 - 120*b77*b76 - 16*b78*b76 - 712*b79*b76
        - 752*b80*b76 - 168*b81*b76 - 760*b82*b76 - 752*b83*b76 - 264*b84*b76
        - 64*b85*b76 - 568*b86*b76 - 792*b87*b76 - 512*b88*b76 - 592*b89*b76 - 
       8*b90*b76 - 352*b78*b77 - 96*b79*b77 - 288*b80*b77 - 664*b81*b77 - 704*
       b82*b77 - 272*b83*b77 - 240*b84*b77 - 312*b85*b77 - 312*b86*b77 - 312*
       b87*b77 - 696*b88*b77 - 688*b89*b77 - 480*b90*b77 - 560*b79*b78 - 88*b80
       *b78 - 584*b81*b78 - 72*b82*b78 - 624*b83*b78 - 600*b84*b78 - 400*b85*
       b78 - 584*b86*b78 - 384*b87*b78 - 360*b88*b78 - 152*b89*b78 - 656*b90*
       b78 - 40*b80*b79 - 720*b81*b79 - 264*b82*b79 - 168*b83*b79 - 136*b84*b79
        - 272*b85*b79 - 520*b86*b79 - 648*b87*b79 - 560*b88*b79 - 552*b90*b79
        - 456*b81*b80 - 664*b82*b80 - 480*b83*b80 - 768*b84*b80 - 176*b85*b80
        - 792*b86*b80 - 272*b87*b80 - 664*b88*b80 - 176*b89*b80 - 368*b90*b80
        - 448*b82*b81 - 664*b83*b81 - 192*b84*b81 - 664*b85*b81 - 264*b86*b81
        - 392*b87*b81 - 248*b88*b81 - 240*b89*b81 - 552*b90*b81 - 520*b83*b82
        - 280*b84*b82 - 88*b85*b82 - 784*b86*b82 - 448*b87*b82 - 640*b88*b82 - 
       680*b89*b82 - 584*b90*b82 - 488*b84*b83 - 440*b85*b83 - 200*b86*b83 - 
       664*b87*b83 - 96*b88*b83 - 64*b89*b83 - 760*b90*b83 - 488*b85*b84 - 248*
       b86*b84 - 376*b87*b84 - 760*b88*b84 - 528*b89*b84 - 552*b90*b84 - 744*
       b86*b85 - 592*b87*b85 - 416*b88*b85 - 560*b89*b85 - 456*b90*b85 - 680*
       b87*b86 - 568*b88*b86 - 320*b89*b86 - 120*b90*b86 - 320*b88*b87 - 464*
       b89*b87 - 16*b90*b87 - 32*b89*b88 - 448*b90*b88 - 80*b90*b89 =L= 0;

e282.. (-792*b92*b91) - 38016*b91 + 9976*b92 - 32*b93*b91 + 10088*b93 - 104*b94
       *b91 + 9224*b94 - 672*b95*b91 + 9448*b95 - 784*b96*b91 + 9320*b96 - 216*
       b97*b91 + 9480*b97 - 648*b98*b91 + 8888*b98 - 472*b99*b91 + 9208*b99 - 
       376*b100*b91 + 9872*b100 - 664*b101*b91 + 9584*b101 - 424*b102*b91 + 
       9632*b102 - 640*b103*b91 + 9888*b103 - 280*b104*b91 + 9168*b104 - 720*
       b105*b91 + 9808*b105 - 784*b106*b91 + 10984*b106 - 568*b107*b91 + 10000*
       b107 - 664*b108*b91 + 7808*b108 - 432*b109*b91 + 8280*b109 - 688*b93*b92
        - 712*b94*b92 - 216*b95*b92 - 568*b96*b92 - 80*b97*b92 - 784*b98*b92 - 
       728*b99*b92 - 688*b100*b92 - 240*b101*b92 - 440*b102*b92 - 160*b103*b92
        - 56*b104*b92 - 608*b105*b92 - 424*b106*b92 - 728*b107*b92 - 600*b108*
       b92 - 264*b109*b92 - 320*b110*b92 + 9936*b110 - 576*b94*b93 - 272*b95*
       b93 - 256*b96*b93 - 56*b97*b93 - 696*b98*b93 - 512*b99*b93 - 56*b100*b93
        - 592*b101*b93 - 432*b102*b93 - 464*b103*b93 - 712*b104*b93 - 96*b105*
       b93 - 664*b106*b93 - 632*b107*b93 - 312*b108*b93 - 56*b109*b93 - 776*
       b110*b93 - 712*b95*b94 - 712*b96*b94 - 784*b97*b94 - 216*b98*b94 - 152*
       b99*b94 - 48*b100*b94 - 480*b102*b94 - 104*b103*b94 - 520*b104*b94 - 448
       *b105*b94 - 408*b106*b94 - 400*b107*b94 - 224*b108*b94 - 296*b109*b94 - 
       608*b110*b94 - 272*b96*b95 - 696*b97*b95 - 192*b98*b95 - 784*b99*b95 - 
       376*b100*b95 - 400*b101*b95 - 40*b102*b95 - 456*b103*b95 - 752*b104*b95
        - 168*b105*b95 - 248*b106*b95 - 200*b107*b95 - 96*b108*b95 - 304*b109*
       b95 - 384*b110*b95 - 120*b97*b96 - 16*b98*b96 - 712*b99*b96 - 752*b100*
       b96 - 168*b101*b96 - 760*b102*b96 - 752*b103*b96 - 64*b104*b96 - 568*
       b105*b96 - 792*b106*b96 - 512*b107*b96 - 592*b108*b96 - 8*b109*b96 - 264
       *b110*b96 - 352*b98*b97 - 96*b99*b97 - 288*b100*b97 - 664*b101*b97 - 704
       *b102*b97 - 272*b103*b97 - 312*b104*b97 - 312*b105*b97 - 312*b106*b97 - 
       696*b107*b97 - 688*b108*b97 - 480*b109*b97 - 240*b110*b97 - 560*b99*b98
        - 88*b100*b98 - 584*b101*b98 - 72*b102*b98 - 624*b103*b98 - 400*b104*
       b98 - 584*b105*b98 - 384*b106*b98 - 360*b107*b98 - 152*b108*b98 - 656*
       b109*b98 - 600*b110*b98 - 40*b100*b99 - 720*b101*b99 - 264*b102*b99 - 
       168*b103*b99 - 272*b104*b99 - 520*b105*b99 - 648*b106*b99 - 560*b107*b99
        - 552*b109*b99 - 136*b110*b99 - 456*b101*b100 - 664*b102*b100 - 480*
       b103*b100 - 176*b104*b100 - 792*b105*b100 - 272*b106*b100 - 664*b107*
       b100 - 176*b108*b100 - 368*b109*b100 - 768*b110*b100 - 448*b102*b101 - 
       664*b103*b101 - 664*b104*b101 - 264*b105*b101 - 392*b106*b101 - 248*b107
       *b101 - 240*b108*b101 - 552*b109*b101 - 192*b110*b101 - 520*b103*b102 - 
       88*b104*b102 - 784*b105*b102 - 448*b106*b102 - 640*b107*b102 - 680*b108*
       b102 - 584*b109*b102 - 280*b110*b102 - 440*b104*b103 - 200*b105*b103 - 
       664*b106*b103 - 96*b107*b103 - 64*b108*b103 - 760*b109*b103 - 488*b110*
       b103 - 744*b105*b104 - 592*b106*b104 - 416*b107*b104 - 560*b108*b104 - 
       456*b109*b104 - 488*b110*b104 - 680*b106*b105 - 568*b107*b105 - 320*b108
       *b105 - 120*b109*b105 - 248*b110*b105 - 320*b107*b106 - 464*b108*b106 - 
       16*b109*b106 - 376*b110*b106 - 32*b108*b107 - 448*b109*b107 - 760*b110*
       b107 - 80*b109*b108 - 528*b110*b108 - 552*b110*b109 =L= 0;

e283.. (-688*b112*b111) - 39528*b111 + 10088*b112 - 712*b113*b111 + 9224*b113
        - 216*b114*b111 + 9448*b114 - 568*b115*b111 + 9320*b115 - 80*b116*b111
        + 9480*b116 - 784*b117*b111 + 8888*b117 - 728*b118*b111 + 9208*b118 - 
       688*b119*b111 + 9872*b119 - 240*b120*b111 + 9584*b120 - 440*b121*b111 + 
       9632*b121 - 160*b122*b111 + 9888*b122 - 320*b123*b111 + 9936*b123 - 56*
       b124*b111 + 9168*b124 - 608*b125*b111 + 9808*b125 - 424*b126*b111 + 
       10984*b126 - 728*b127*b111 + 10000*b127 - 600*b128*b111 + 7808*b128 - 
       264*b129*b111 + 8280*b129 - 576*b113*b112 - 272*b114*b112 - 256*b115*
       b112 - 56*b116*b112 - 696*b117*b112 - 512*b118*b112 - 56*b119*b112 - 592
       *b120*b112 - 432*b121*b112 - 464*b122*b112 - 776*b123*b112 - 712*b124*
       b112 - 96*b125*b112 - 664*b126*b112 - 632*b127*b112 - 312*b128*b112 - 56
       *b129*b112 - 712*b114*b113 - 712*b115*b113 - 784*b116*b113 - 216*b117*
       b113 - 152*b118*b113 - 48*b119*b113 - 480*b121*b113 - 104*b122*b113 - 
       608*b123*b113 - 520*b124*b113 - 448*b125*b113 - 408*b126*b113 - 400*b127
       *b113 - 224*b128*b113 - 296*b129*b113 - 272*b115*b114 - 696*b116*b114 - 
       192*b117*b114 - 784*b118*b114 - 376*b119*b114 - 400*b120*b114 - 40*b121*
       b114 - 456*b122*b114 - 384*b123*b114 - 752*b124*b114 - 168*b125*b114 - 
       248*b126*b114 - 200*b127*b114 - 96*b128*b114 - 304*b129*b114 - 120*b116*
       b115 - 16*b117*b115 - 712*b118*b115 - 752*b119*b115 - 168*b120*b115 - 
       760*b121*b115 - 752*b122*b115 - 264*b123*b115 - 64*b124*b115 - 568*b125*
       b115 - 792*b126*b115 - 512*b127*b115 - 592*b128*b115 - 8*b129*b115 - 352
       *b117*b116 - 96*b118*b116 - 288*b119*b116 - 664*b120*b116 - 704*b121*
       b116 - 272*b122*b116 - 240*b123*b116 - 312*b124*b116 - 312*b125*b116 - 
       312*b126*b116 - 696*b127*b116 - 688*b128*b116 - 480*b129*b116 - 560*b118
       *b117 - 88*b119*b117 - 584*b120*b117 - 72*b121*b117 - 624*b122*b117 - 
       600*b123*b117 - 400*b124*b117 - 584*b125*b117 - 384*b126*b117 - 360*b127
       *b117 - 152*b128*b117 - 656*b129*b117 - 40*b119*b118 - 720*b120*b118 - 
       264*b121*b118 - 168*b122*b118 - 136*b123*b118 - 272*b124*b118 - 520*b125
       *b118 - 648*b126*b118 - 560*b127*b118 - 552*b129*b118 - 456*b120*b119 - 
       664*b121*b119 - 480*b122*b119 - 768*b123*b119 - 176*b124*b119 - 792*b125
       *b119 - 272*b126*b119 - 664*b127*b119 - 176*b128*b119 - 368*b129*b119 - 
       448*b121*b120 - 664*b122*b120 - 192*b123*b120 - 664*b124*b120 - 264*b125
       *b120 - 392*b126*b120 - 248*b127*b120 - 240*b128*b120 - 552*b129*b120 - 
       520*b122*b121 - 280*b123*b121 - 88*b124*b121 - 784*b125*b121 - 448*b126*
       b121 - 640*b127*b121 - 680*b128*b121 - 584*b129*b121 - 488*b123*b122 - 
       440*b124*b122 - 200*b125*b122 - 664*b126*b122 - 96*b127*b122 - 64*b128*
       b122 - 760*b129*b122 - 488*b124*b123 - 248*b125*b123 - 376*b126*b123 - 
       760*b127*b123 - 528*b128*b123 - 552*b129*b123 - 744*b125*b124 - 592*b126
       *b124 - 416*b127*b124 - 560*b128*b124 - 456*b129*b124 - 680*b126*b125 - 
       568*b127*b125 - 320*b128*b125 - 120*b129*b125 - 320*b127*b126 - 464*b128
       *b126 - 16*b129*b126 - 32*b128*b127 - 448*b129*b127 - 80*b129*b128 =L= 0
       ;

e284.. (-576*b131*b130) - 39416*b130 + 9224*b131 - 272*b132*b130 + 9448*b132 - 
       256*b133*b130 + 9320*b133 - 56*b134*b130 + 9480*b134 - 696*b135*b130 + 
       8888*b135 - 512*b136*b130 + 9208*b136 - 56*b137*b130 + 9872*b137 - 592*
       b138*b130 + 9584*b138 - 432*b139*b130 + 9632*b139 - 464*b140*b130 + 9888
       *b140 - 776*b141*b130 + 9936*b141 - 712*b142*b130 + 9168*b142 - 96*b143*
       b130 + 9808*b143 - 664*b144*b130 + 10984*b144 - 632*b145*b130 + 10000*
       b145 - 312*b146*b130 + 7808*b146 - 56*b147*b130 + 8280*b147 - 712*b132*
       b131 - 712*b133*b131 - 784*b134*b131 - 216*b135*b131 - 152*b136*b131 - 
       48*b137*b131 - 480*b139*b131 - 104*b140*b131 - 608*b141*b131 - 520*b142*
       b131 - 448*b143*b131 - 408*b144*b131 - 400*b145*b131 - 224*b146*b131 - 
       296*b147*b131 - 272*b133*b132 - 696*b134*b132 - 192*b135*b132 - 784*b136
       *b132 - 376*b137*b132 - 400*b138*b132 - 40*b139*b132 - 456*b140*b132 - 
       384*b141*b132 - 752*b142*b132 - 168*b143*b132 - 248*b144*b132 - 200*b145
       *b132 - 96*b146*b132 - 304*b147*b132 - 120*b134*b133 - 16*b135*b133 - 
       712*b136*b133 - 752*b137*b133 - 168*b138*b133 - 760*b139*b133 - 752*b140
       *b133 - 264*b141*b133 - 64*b142*b133 - 568*b143*b133 - 792*b144*b133 - 
       512*b145*b133 - 592*b146*b133 - 8*b147*b133 - 352*b135*b134 - 96*b136*
       b134 - 288*b137*b134 - 664*b138*b134 - 704*b139*b134 - 272*b140*b134 - 
       240*b141*b134 - 312*b142*b134 - 312*b143*b134 - 312*b144*b134 - 696*b145
       *b134 - 688*b146*b134 - 480*b147*b134 - 560*b136*b135 - 88*b137*b135 - 
       584*b138*b135 - 72*b139*b135 - 624*b140*b135 - 600*b141*b135 - 400*b142*
       b135 - 584*b143*b135 - 384*b144*b135 - 360*b145*b135 - 152*b146*b135 - 
       656*b147*b135 - 40*b137*b136 - 720*b138*b136 - 264*b139*b136 - 168*b140*
       b136 - 136*b141*b136 - 272*b142*b136 - 520*b143*b136 - 648*b144*b136 - 
       560*b145*b136 - 552*b147*b136 - 456*b138*b137 - 664*b139*b137 - 480*b140
       *b137 - 768*b141*b137 - 176*b142*b137 - 792*b143*b137 - 272*b144*b137 - 
       664*b145*b137 - 176*b146*b137 - 368*b147*b137 - 448*b139*b138 - 664*b140
       *b138 - 192*b141*b138 - 664*b142*b138 - 264*b143*b138 - 392*b144*b138 - 
       248*b145*b138 - 240*b146*b138 - 552*b147*b138 - 520*b140*b139 - 280*b141
       *b139 - 88*b142*b139 - 784*b143*b139 - 448*b144*b139 - 640*b145*b139 - 
       680*b146*b139 - 584*b147*b139 - 488*b141*b140 - 440*b142*b140 - 200*b143
       *b140 - 664*b144*b140 - 96*b145*b140 - 64*b146*b140 - 760*b147*b140 - 
       488*b142*b141 - 248*b143*b141 - 376*b144*b141 - 760*b145*b141 - 528*b146
       *b141 - 552*b147*b141 - 744*b143*b142 - 592*b144*b142 - 416*b145*b142 - 
       560*b146*b142 - 456*b147*b142 - 680*b144*b143 - 568*b145*b143 - 320*b146
       *b143 - 120*b147*b143 - 320*b145*b144 - 464*b146*b144 - 16*b147*b144 - 
       32*b146*b145 - 448*b147*b145 - 80*b147*b146 =L= 0;

e285.. (-712*b149*b148) - 40280*b148 + 9448*b149 - 712*b150*b148 + 9320*b150 - 
       784*b151*b148 + 9480*b151 - 216*b152*b148 + 8888*b152 - 152*b153*b148 + 
       9208*b153 - 48*b154*b148 + 9872*b154 - 480*b155*b148 + 9632*b155 - 104*
       b156*b148 + 9888*b156 - 608*b157*b148 + 9936*b157 - 520*b158*b148 + 9168
       *b158 - 448*b159*b148 + 9808*b159 - 408*b160*b148 + 10984*b160 - 400*
       b161*b148 + 10000*b161 - 224*b162*b148 + 7808*b162 - 296*b163*b148 + 
       8280*b163 - 272*b150*b149 - 696*b151*b149 - 192*b152*b149 - 784*b153*
       b149 - 376*b154*b149 - 40*b155*b149 - 456*b156*b149 - 384*b157*b149 - 
       752*b158*b149 - 168*b159*b149 - 248*b160*b149 - 200*b161*b149 - 96*b162*
       b149 - 304*b163*b149 - 400*b164*b149 + 9584*b164 - 120*b151*b150 - 16*
       b152*b150 - 712*b153*b150 - 752*b154*b150 - 760*b155*b150 - 752*b156*
       b150 - 264*b157*b150 - 64*b158*b150 - 568*b159*b150 - 792*b160*b150 - 
       512*b161*b150 - 592*b162*b150 - 8*b163*b150 - 168*b164*b150 - 352*b152*
       b151 - 96*b153*b151 - 288*b154*b151 - 704*b155*b151 - 272*b156*b151 - 
       240*b157*b151 - 312*b158*b151 - 312*b159*b151 - 312*b160*b151 - 696*b161
       *b151 - 688*b162*b151 - 480*b163*b151 - 664*b164*b151 - 560*b153*b152 - 
       88*b154*b152 - 72*b155*b152 - 624*b156*b152 - 600*b157*b152 - 400*b158*
       b152 - 584*b159*b152 - 384*b160*b152 - 360*b161*b152 - 152*b162*b152 - 
       656*b163*b152 - 584*b164*b152 - 40*b154*b153 - 264*b155*b153 - 168*b156*
       b153 - 136*b157*b153 - 272*b158*b153 - 520*b159*b153 - 648*b160*b153 - 
       560*b161*b153 - 552*b163*b153 - 720*b164*b153 - 664*b155*b154 - 480*b156
       *b154 - 768*b157*b154 - 176*b158*b154 - 792*b159*b154 - 272*b160*b154 - 
       664*b161*b154 - 176*b162*b154 - 368*b163*b154 - 456*b164*b154 - 520*b156
       *b155 - 280*b157*b155 - 88*b158*b155 - 784*b159*b155 - 448*b160*b155 - 
       640*b161*b155 - 680*b162*b155 - 584*b163*b155 - 448*b164*b155 - 488*b157
       *b156 - 440*b158*b156 - 200*b159*b156 - 664*b160*b156 - 96*b161*b156 - 
       64*b162*b156 - 760*b163*b156 - 664*b164*b156 - 488*b158*b157 - 248*b159*
       b157 - 376*b160*b157 - 760*b161*b157 - 528*b162*b157 - 552*b163*b157 - 
       192*b164*b157 - 744*b159*b158 - 592*b160*b158 - 416*b161*b158 - 560*b162
       *b158 - 456*b163*b158 - 664*b164*b158 - 680*b160*b159 - 568*b161*b159 - 
       320*b162*b159 - 120*b163*b159 - 264*b164*b159 - 320*b161*b160 - 464*b162
       *b160 - 16*b163*b160 - 392*b164*b160 - 32*b162*b161 - 448*b163*b161 - 
       248*b164*b161 - 80*b163*b162 - 240*b164*b162 - 552*b164*b163 =L= 0;

e286.. (-272*b166*b165) - 40056*b165 + 9320*b166 - 696*b167*b165 + 9480*b167 - 
       192*b168*b165 + 8888*b168 - 784*b169*b165 + 9208*b169 - 376*b170*b165 + 
       9872*b170 - 400*b171*b165 + 9584*b171 - 40*b172*b165 + 9632*b172 - 456*
       b173*b165 + 9888*b173 - 384*b174*b165 + 9936*b174 - 752*b175*b165 + 9168
       *b175 - 168*b176*b165 + 9808*b176 - 248*b177*b165 + 10984*b177 - 200*
       b178*b165 + 10000*b178 - 96*b179*b165 + 7808*b179 - 304*b180*b165 + 8280
       *b180 - 120*b167*b166 - 16*b168*b166 - 712*b169*b166 - 752*b170*b166 - 
       168*b171*b166 - 760*b172*b166 - 752*b173*b166 - 264*b174*b166 - 64*b175*
       b166 - 568*b176*b166 - 792*b177*b166 - 512*b178*b166 - 592*b179*b166 - 8
       *b180*b166 - 352*b168*b167 - 96*b169*b167 - 288*b170*b167 - 664*b171*
       b167 - 704*b172*b167 - 272*b173*b167 - 240*b174*b167 - 312*b175*b167 - 
       312*b176*b167 - 312*b177*b167 - 696*b178*b167 - 688*b179*b167 - 480*b180
       *b167 - 560*b169*b168 - 88*b170*b168 - 584*b171*b168 - 72*b172*b168 - 
       624*b173*b168 - 600*b174*b168 - 400*b175*b168 - 584*b176*b168 - 384*b177
       *b168 - 360*b178*b168 - 152*b179*b168 - 656*b180*b168 - 40*b170*b169 - 
       720*b171*b169 - 264*b172*b169 - 168*b173*b169 - 136*b174*b169 - 272*b175
       *b169 - 520*b176*b169 - 648*b177*b169 - 560*b178*b169 - 552*b180*b169 - 
       456*b171*b170 - 664*b172*b170 - 480*b173*b170 - 768*b174*b170 - 176*b175
       *b170 - 792*b176*b170 - 272*b177*b170 - 664*b178*b170 - 176*b179*b170 - 
       368*b180*b170 - 448*b172*b171 - 664*b173*b171 - 192*b174*b171 - 664*b175
       *b171 - 264*b176*b171 - 392*b177*b171 - 248*b178*b171 - 240*b179*b171 - 
       552*b180*b171 - 520*b173*b172 - 280*b174*b172 - 88*b175*b172 - 784*b176*
       b172 - 448*b177*b172 - 640*b178*b172 - 680*b179*b172 - 584*b180*b172 - 
       488*b174*b173 - 440*b175*b173 - 200*b176*b173 - 664*b177*b173 - 96*b178*
       b173 - 64*b179*b173 - 760*b180*b173 - 488*b175*b174 - 248*b176*b174 - 
       376*b177*b174 - 760*b178*b174 - 528*b179*b174 - 552*b180*b174 - 744*b176
       *b175 - 592*b177*b175 - 416*b178*b175 - 560*b179*b175 - 456*b180*b175 - 
       680*b177*b176 - 568*b178*b176 - 320*b179*b176 - 120*b180*b176 - 320*b178
       *b177 - 464*b179*b177 - 16*b180*b177 - 32*b179*b178 - 448*b180*b178 - 80
       *b180*b179 =L= 0;

e287.. (-120*b182*b181) - 40184*b181 + 9480*b182 - 16*b183*b181 + 8888*b183 - 
       712*b184*b181 + 9208*b184 - 752*b185*b181 + 9872*b185 - 168*b186*b181 + 
       9584*b186 - 760*b187*b181 + 9632*b187 - 752*b188*b181 + 9888*b188 - 264*
       b189*b181 + 9936*b189 - 64*b190*b181 + 9168*b190 - 568*b191*b181 + 9808*
       b191 - 792*b192*b181 + 10984*b192 - 512*b193*b181 + 10000*b193 - 592*
       b194*b181 + 7808*b194 - 8*b195*b181 + 8280*b195 - 352*b183*b182 - 96*
       b184*b182 - 288*b185*b182 - 664*b186*b182 - 704*b187*b182 - 272*b188*
       b182 - 240*b189*b182 - 312*b190*b182 - 312*b191*b182 - 312*b192*b182 - 
       696*b193*b182 - 688*b194*b182 - 480*b195*b182 - 560*b184*b183 - 88*b185*
       b183 - 584*b186*b183 - 72*b187*b183 - 624*b188*b183 - 600*b189*b183 - 
       400*b190*b183 - 584*b191*b183 - 384*b192*b183 - 360*b193*b183 - 152*b194
       *b183 - 656*b195*b183 - 40*b185*b184 - 720*b186*b184 - 264*b187*b184 - 
       168*b188*b184 - 136*b189*b184 - 272*b190*b184 - 520*b191*b184 - 648*b192
       *b184 - 560*b193*b184 - 552*b195*b184 - 456*b186*b185 - 664*b187*b185 - 
       480*b188*b185 - 768*b189*b185 - 176*b190*b185 - 792*b191*b185 - 272*b192
       *b185 - 664*b193*b185 - 176*b194*b185 - 368*b195*b185 - 448*b187*b186 - 
       664*b188*b186 - 192*b189*b186 - 664*b190*b186 - 264*b191*b186 - 392*b192
       *b186 - 248*b193*b186 - 240*b194*b186 - 552*b195*b186 - 520*b188*b187 - 
       280*b189*b187 - 88*b190*b187 - 784*b191*b187 - 448*b192*b187 - 640*b193*
       b187 - 680*b194*b187 - 584*b195*b187 - 488*b189*b188 - 440*b190*b188 - 
       200*b191*b188 - 664*b192*b188 - 96*b193*b188 - 64*b194*b188 - 760*b195*
       b188 - 488*b190*b189 - 248*b191*b189 - 376*b192*b189 - 760*b193*b189 - 
       528*b194*b189 - 552*b195*b189 - 744*b191*b190 - 592*b192*b190 - 416*b193
       *b190 - 560*b194*b190 - 456*b195*b190 - 680*b192*b191 - 568*b193*b191 - 
       320*b194*b191 - 120*b195*b191 - 320*b193*b192 - 464*b194*b192 - 16*b195*
       b192 - 32*b194*b193 - 448*b195*b193 - 80*b195*b194 =L= 0;

e288.. (-352*b197*b196) - 40024*b196 + 8888*b197 - 96*b198*b196 + 9208*b198 - 
       288*b199*b196 + 9872*b199 - 664*b200*b196 + 9584*b200 - 704*b201*b196 + 
       9632*b201 - 272*b202*b196 + 9888*b202 - 240*b203*b196 + 9936*b203 - 312*
       b204*b196 + 9168*b204 - 312*b205*b196 + 9808*b205 - 312*b206*b196 + 
       10984*b206 - 696*b207*b196 + 10000*b207 - 688*b208*b196 + 7808*b208 - 
       480*b209*b196 + 8280*b209 - 560*b198*b197 - 88*b199*b197 - 584*b200*b197
        - 72*b201*b197 - 624*b202*b197 - 600*b203*b197 - 400*b204*b197 - 584*
       b205*b197 - 384*b206*b197 - 360*b207*b197 - 152*b208*b197 - 656*b209*
       b197 - 40*b199*b198 - 720*b200*b198 - 264*b201*b198 - 168*b202*b198 - 
       136*b203*b198 - 272*b204*b198 - 520*b205*b198 - 648*b206*b198 - 560*b207
       *b198 - 552*b209*b198 - 456*b200*b199 - 664*b201*b199 - 480*b202*b199 - 
       768*b203*b199 - 176*b204*b199 - 792*b205*b199 - 272*b206*b199 - 664*b207
       *b199 - 176*b208*b199 - 368*b209*b199 - 448*b201*b200 - 664*b202*b200 - 
       192*b203*b200 - 664*b204*b200 - 264*b205*b200 - 392*b206*b200 - 248*b207
       *b200 - 240*b208*b200 - 552*b209*b200 - 520*b202*b201 - 280*b203*b201 - 
       88*b204*b201 - 784*b205*b201 - 448*b206*b201 - 640*b207*b201 - 680*b208*
       b201 - 584*b209*b201 - 488*b203*b202 - 440*b204*b202 - 200*b205*b202 - 
       664*b206*b202 - 96*b207*b202 - 64*b208*b202 - 760*b209*b202 - 488*b204*
       b203 - 248*b205*b203 - 376*b206*b203 - 760*b207*b203 - 528*b208*b203 - 
       552*b209*b203 - 744*b205*b204 - 592*b206*b204 - 416*b207*b204 - 560*b208
       *b204 - 456*b209*b204 - 680*b206*b205 - 568*b207*b205 - 320*b208*b205 - 
       120*b209*b205 - 320*b207*b206 - 464*b208*b206 - 16*b209*b206 - 32*b208*
       b207 - 448*b209*b207 - 80*b209*b208 =L= 0;

e289.. (-560*b211*b210) - 40616*b210 + 9208*b211 - 88*b212*b210 + 9872*b212 - 
       584*b213*b210 + 9584*b213 - 72*b214*b210 + 9632*b214 - 624*b215*b210 + 
       9888*b215 - 600*b216*b210 + 9936*b216 - 400*b217*b210 + 9168*b217 - 584*
       b218*b210 + 9808*b218 - 384*b219*b210 + 10984*b219 - 360*b220*b210 + 
       10000*b220 - 152*b221*b210 + 7808*b221 - 656*b222*b210 + 8280*b222 - 40*
       b212*b211 - 720*b213*b211 - 264*b214*b211 - 168*b215*b211 - 136*b216*
       b211 - 272*b217*b211 - 520*b218*b211 - 648*b219*b211 - 560*b220*b211 - 
       552*b222*b211 - 456*b213*b212 - 664*b214*b212 - 480*b215*b212 - 768*b216
       *b212 - 176*b217*b212 - 792*b218*b212 - 272*b219*b212 - 664*b220*b212 - 
       176*b221*b212 - 368*b222*b212 - 448*b214*b213 - 664*b215*b213 - 192*b216
       *b213 - 664*b217*b213 - 264*b218*b213 - 392*b219*b213 - 248*b220*b213 - 
       240*b221*b213 - 552*b222*b213 - 520*b215*b214 - 280*b216*b214 - 88*b217*
       b214 - 784*b218*b214 - 448*b219*b214 - 640*b220*b214 - 680*b221*b214 - 
       584*b222*b214 - 488*b216*b215 - 440*b217*b215 - 200*b218*b215 - 664*b219
       *b215 - 96*b220*b215 - 64*b221*b215 - 760*b222*b215 - 488*b217*b216 - 
       248*b218*b216 - 376*b219*b216 - 760*b220*b216 - 528*b221*b216 - 552*b222
       *b216 - 744*b218*b217 - 592*b219*b217 - 416*b220*b217 - 560*b221*b217 - 
       456*b222*b217 - 680*b219*b218 - 568*b220*b218 - 320*b221*b218 - 120*b222
       *b218 - 320*b220*b219 - 464*b221*b219 - 16*b222*b219 - 32*b221*b220 - 
       448*b222*b220 - 80*b222*b221 =L= 0;

e290.. (-40*b224*b223) - 40296*b223 + 9872*b224 - 720*b225*b223 + 9584*b225 - 
       264*b226*b223 + 9632*b226 - 168*b227*b223 + 9888*b227 - 136*b228*b223 + 
       9936*b228 - 272*b229*b223 + 9168*b229 - 520*b230*b223 + 9808*b230 - 648*
       b231*b223 + 10984*b231 - 560*b232*b223 + 10000*b232 - 552*b233*b223 + 
       8280*b233 - 456*b225*b224 - 664*b226*b224 - 480*b227*b224 - 768*b228*
       b224 - 176*b229*b224 - 792*b230*b224 - 272*b231*b224 - 664*b232*b224 - 
       368*b233*b224 - 176*b234*b224 + 7808*b234 - 448*b226*b225 - 664*b227*
       b225 - 192*b228*b225 - 664*b229*b225 - 264*b230*b225 - 392*b231*b225 - 
       248*b232*b225 - 552*b233*b225 - 240*b234*b225 - 520*b227*b226 - 280*b228
       *b226 - 88*b229*b226 - 784*b230*b226 - 448*b231*b226 - 640*b232*b226 - 
       584*b233*b226 - 680*b234*b226 - 488*b228*b227 - 440*b229*b227 - 200*b230
       *b227 - 664*b231*b227 - 96*b232*b227 - 760*b233*b227 - 64*b234*b227 - 
       488*b229*b228 - 248*b230*b228 - 376*b231*b228 - 760*b232*b228 - 552*b233
       *b228 - 528*b234*b228 - 744*b230*b229 - 592*b231*b229 - 416*b232*b229 - 
       456*b233*b229 - 560*b234*b229 - 680*b231*b230 - 568*b232*b230 - 120*b233
       *b230 - 320*b234*b230 - 320*b232*b231 - 16*b233*b231 - 464*b234*b231 - 
       448*b233*b232 - 32*b234*b232 - 80*b234*b233 =L= 0;

e291.. (-456*b236*b235) - 39632*b235 + 9584*b236 - 664*b237*b235 + 9632*b237 - 
       480*b238*b235 + 9888*b238 - 768*b239*b235 + 9936*b239 - 176*b240*b235 + 
       9168*b240 - 792*b241*b235 + 9808*b241 - 272*b242*b235 + 10984*b242 - 664
       *b243*b235 + 10000*b243 - 176*b244*b235 + 7808*b244 - 368*b245*b235 + 
       8280*b245 - 448*b237*b236 - 664*b238*b236 - 192*b239*b236 - 664*b240*
       b236 - 264*b241*b236 - 392*b242*b236 - 248*b243*b236 - 240*b244*b236 - 
       552*b245*b236 - 520*b238*b237 - 280*b239*b237 - 88*b240*b237 - 784*b241*
       b237 - 448*b242*b237 - 640*b243*b237 - 680*b244*b237 - 584*b245*b237 - 
       488*b239*b238 - 440*b240*b238 - 200*b241*b238 - 664*b242*b238 - 96*b243*
       b238 - 64*b244*b238 - 760*b245*b238 - 488*b240*b239 - 248*b241*b239 - 
       376*b242*b239 - 760*b243*b239 - 528*b244*b239 - 552*b245*b239 - 744*b241
       *b240 - 592*b242*b240 - 416*b243*b240 - 560*b244*b240 - 456*b245*b240 - 
       680*b242*b241 - 568*b243*b241 - 320*b244*b241 - 120*b245*b241 - 320*b243
       *b242 - 464*b244*b242 - 16*b245*b242 - 32*b244*b243 - 448*b245*b243 - 80
       *b245*b244 =L= 0;

e292.. (-448*b247*b246) - 39920*b246 + 9632*b247 - 664*b248*b246 + 9888*b248 - 
       192*b249*b246 + 9936*b249 - 664*b250*b246 + 9168*b250 - 264*b251*b246 + 
       9808*b251 - 392*b252*b246 + 10984*b252 - 248*b253*b246 + 10000*b253 - 
       240*b254*b246 + 7808*b254 - 552*b255*b246 + 8280*b255 - 520*b248*b247 - 
       280*b249*b247 - 88*b250*b247 - 784*b251*b247 - 448*b252*b247 - 640*b253*
       b247 - 680*b254*b247 - 584*b255*b247 - 488*b249*b248 - 440*b250*b248 - 
       200*b251*b248 - 664*b252*b248 - 96*b253*b248 - 64*b254*b248 - 760*b255*
       b248 - 488*b250*b249 - 248*b251*b249 - 376*b252*b249 - 760*b253*b249 - 
       528*b254*b249 - 552*b255*b249 - 744*b251*b250 - 592*b252*b250 - 416*b253
       *b250 - 560*b254*b250 - 456*b255*b250 - 680*b252*b251 - 568*b253*b251 - 
       320*b254*b251 - 120*b255*b251 - 320*b253*b252 - 464*b254*b252 - 16*b255*
       b252 - 32*b254*b253 - 448*b255*b253 - 80*b255*b254 =L= 0;

e293.. (-520*b257*b256) - 39872*b256 + 9888*b257 - 280*b258*b256 + 9936*b258 - 
       88*b259*b256 + 9168*b259 - 784*b260*b256 + 9808*b260 - 448*b261*b256 + 
       10984*b261 - 640*b262*b256 + 10000*b262 - 680*b263*b256 + 7808*b263 - 
       584*b264*b256 + 8280*b264 - 488*b258*b257 - 440*b259*b257 - 200*b260*
       b257 - 664*b261*b257 - 96*b262*b257 - 64*b263*b257 - 760*b264*b257 - 488
       *b259*b258 - 248*b260*b258 - 376*b261*b258 - 760*b262*b258 - 528*b263*
       b258 - 552*b264*b258 - 744*b260*b259 - 592*b261*b259 - 416*b262*b259 - 
       560*b263*b259 - 456*b264*b259 - 680*b261*b260 - 568*b262*b260 - 320*b263
       *b260 - 120*b264*b260 - 320*b262*b261 - 464*b263*b261 - 16*b264*b261 - 
       32*b263*b262 - 448*b264*b262 - 80*b264*b263 =L= 0;

e294.. (-488*b266*b265) - 39616*b265 + 9936*b266 - 440*b267*b265 + 9168*b267 - 
       200*b268*b265 + 9808*b268 - 664*b269*b265 + 10984*b269 - 96*b270*b265 + 
       10000*b270 - 64*b271*b265 + 7808*b271 - 760*b272*b265 + 8280*b272 - 488*
       b267*b266 - 248*b268*b266 - 376*b269*b266 - 760*b270*b266 - 528*b271*
       b266 - 552*b272*b266 - 744*b268*b267 - 592*b269*b267 - 416*b270*b267 - 
       560*b271*b267 - 456*b272*b267 - 680*b269*b268 - 568*b270*b268 - 320*b271
       *b268 - 120*b272*b268 - 320*b270*b269 - 464*b271*b269 - 16*b272*b269 - 
       32*b271*b270 - 448*b272*b270 - 80*b272*b271 =L= 0;

e295.. (-488*b274*b273) - 39568*b273 + 9168*b274 - 248*b275*b273 + 9808*b275 - 
       376*b276*b273 + 10984*b276 - 760*b277*b273 + 10000*b277 - 528*b278*b273
        + 7808*b278 - 552*b279*b273 + 8280*b279 - 744*b275*b274 - 592*b276*b274
        - 416*b277*b274 - 560*b278*b274 - 456*b279*b274 - 680*b276*b275 - 568*
       b277*b275 - 320*b278*b275 - 120*b279*b275 - 320*b277*b276 - 464*b278*
       b276 - 16*b279*b276 - 32*b278*b277 - 448*b279*b277 - 80*b279*b278 =L= 0;

e296.. (-744*b281*b280) - 40336*b280 + 9808*b281 - 592*b282*b280 + 10984*b282
        - 416*b283*b280 + 10000*b283 - 560*b284*b280 + 7808*b284 - 456*b285*
       b280 + 8280*b285 - 680*b282*b281 - 568*b283*b281 - 320*b284*b281 - 120*
       b285*b281 - 320*b283*b282 - 464*b284*b282 - 16*b285*b282 - 32*b284*b283
        - 448*b285*b283 - 80*b285*b284 =L= 0;

e297.. (-680*b287*b286) - 39696*b286 + 10984*b287 - 568*b288*b286 + 10000*b288
        - 320*b289*b286 + 7808*b289 - 120*b290*b286 + 8280*b290 - 320*b288*b287
        - 464*b289*b287 - 16*b290*b287 - 32*b289*b288 - 448*b290*b288 - 80*b290
       *b289 =L= 0;

e298.. (-320*b292*b291) - 38520*b291 + 10000*b292 - 464*b293*b291 + 7808*b293
        - 16*b294*b291 + 8280*b294 - 32*b293*b292 - 448*b294*b292 - 80*b294*
       b293 =L= 0;

e299.. (-32*b296*b295) - 39504*b295 + 7808*b296 - 448*b297*b295 + 8280*b297 - 
       80*b297*b296 =L= 0;

e300.. (-80*b299*b298) - 41696*b298 + 8280*b299 =L= 0;

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.