MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics

Instance tls12

Formatsⓘ ams gms mod nl osil py
Primal Bounds (infeas ≤ 1e-08)ⓘ
112.80000000 p1 ( gdx sol )
(infeas: 0)
108.80000000 p2 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)ⓘ  
Dual Boundsⓘ
7.78823259 (ALPHAECP)
6.93853375 (ANTIGONE)
16.58719151 (BARON)
20.58389260 (BONMIN)
2.07522459 (COUENNE)
3.46899508 (LINDO)
22.63365906 (SCIP)
20.38700439 (SHOT)
Referencesⓘ Harjunkoski, Iiro, Westerlund, Tapio, Pörn, Ray, and Skrifvars, Hans, Different Transformations for Solving Non-Convex Trim Loss Problems by MINLP, European Journal of Operational Research, 105:3, 1998, 594-603.
Sourceⓘ MacMINLP model trimlon.mod with trimloss12.dat
Applicationⓘ Trim loss minimization problem
Added to libraryⓘ 01 May 2001
Problem typeⓘ MINLP
#Variablesⓘ 812
#Binary Variablesⓘ 656
#Integer Variablesⓘ 12
#Nonlinear Variablesⓘ 156
#Nonlinear Binary Variablesⓘ 0
#Nonlinear Integer Variablesⓘ 12
Objective Senseⓘ min
Objective typeⓘ linear
Objective curvatureⓘ linear
#Nonzeros in Objectiveⓘ 272
#Nonlinear Nonzeros in Objectiveⓘ 0
#Constraintsⓘ 384
#Linear Constraintsⓘ 372
#Quadratic Constraintsⓘ 0
#Polynomial Constraintsⓘ 0
#Signomial Constraintsⓘ 12
#General Nonlinear Constraintsⓘ 0
Operands in Gen. Nonlin. Functionsⓘ  
Constraints curvatureⓘ convex
#Nonzeros in Jacobianⓘ 6932
#Nonlinear Nonzeros in Jacobianⓘ 288
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ 444
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ 156
#Blocks in Hessian of Lagrangianⓘ 12
Minimal blocksize in Hessian of Lagrangianⓘ 13
Maximal blocksize in Hessian of Lagrangianⓘ 13
Average blocksize in Hessian of Lagrangianⓘ 13.0
#Semicontinuitiesⓘ 0
#Nonlinear Semicontinuitiesⓘ 0
#SOS type 1ⓘ 0
#SOS type 2ⓘ 0
Minimal coefficientⓘ 1.0000e-01
Maximal coefficientⓘ 2.4000e+03
Infeasibility of initial pointⓘ 2000
Sparsity Jacobianⓘ Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangianⓘ Sparsity of Hessian of Lagrangian 
$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        385      157        0      228        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        813      145      656       12        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       7205     6917      288        0
*
*  Solve m using MINLP minimizing objvar;


Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,i13,i14,i15,i16,i17,i18,i19
          ,i20,i21,i22,i23,i24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36
          ,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53
          ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70
          ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87
          ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103
          ,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116
          ,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129
          ,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142
          ,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155
          ,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168
          ,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,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310,b311
          ,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323,b324
          ,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336,b337
          ,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349,b350
          ,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362,b363
          ,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375,b376
          ,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388,b389
          ,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401,b402
          ,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414,b415
          ,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427,b428
          ,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440,b441
          ,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453,b454
          ,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466,b467
          ,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479,b480
          ,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492,b493
          ,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505,b506
          ,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518,b519
          ,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531,b532
          ,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544,b545
          ,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557,b558
          ,b559,b560,b561,b562,b563,b564,b565,b566,b567,b568,b569,b570,b571
          ,b572,b573,b574,b575,b576,b577,b578,b579,b580,b581,b582,b583,b584
          ,b585,b586,b587,b588,b589,b590,b591,b592,b593,b594,b595,b596,b597
          ,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,b609,b610
          ,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621,b622,b623
          ,b624,b625,b626,b627,b628,b629,b630,b631,b632,b633,b634,b635,b636
          ,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647,b648,b649
          ,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660,b661,b662
          ,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673,b674,b675
          ,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686,b687,b688
          ,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699,b700,b701
          ,b702,b703,b704,b705,b706,b707,b708,b709,b710,b711,b712,b713,b714
          ,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725,b726,b727
          ,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738,b739,b740
          ,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751,b752,b753
          ,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764,b765,b766
          ,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777,b778,b779
          ,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790,b791,b792
          ,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804,b805
          ,b806,b807,b808,b809,b810,b811,b812,objvar;

Binary Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,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,b301,b302
          ,b303,b304,b305,b306,b307,b308,b309,b310,b311,b312,b313,b314,b315
          ,b316,b317,b318,b319,b320,b321,b322,b323,b324,b325,b326,b327,b328
          ,b329,b330,b331,b332,b333,b334,b335,b336,b337,b338,b339,b340,b341
          ,b342,b343,b344,b345,b346,b347,b348,b349,b350,b351,b352,b353,b354
          ,b355,b356,b357,b358,b359,b360,b361,b362,b363,b364,b365,b366,b367
          ,b368,b369,b370,b371,b372,b373,b374,b375,b376,b377,b378,b379,b380
          ,b381,b382,b383,b384,b385,b386,b387,b388,b389,b390,b391,b392,b393
          ,b394,b395,b396,b397,b398,b399,b400,b401,b402,b403,b404,b405,b406
          ,b407,b408,b409,b410,b411,b412,b413,b414,b415,b416,b417,b418,b419
          ,b420,b421,b422,b423,b424,b425,b426,b427,b428,b429,b430,b431,b432
          ,b433,b434,b435,b436,b437,b438,b439,b440,b441,b442,b443,b444,b445
          ,b446,b447,b448,b449,b450,b451,b452,b453,b454,b455,b456,b457,b458
          ,b459,b460,b461,b462,b463,b464,b465,b466,b467,b468,b469,b470,b471
          ,b472,b473,b474,b475,b476,b477,b478,b479,b480,b481,b482,b483,b484
          ,b485,b486,b487,b488,b489,b490,b491,b492,b493,b494,b495,b496,b497
          ,b498,b499,b500,b501,b502,b503,b504,b505,b506,b507,b508,b509,b510
          ,b511,b512,b513,b514,b515,b516,b517,b518,b519,b520,b521,b522,b523
          ,b524,b525,b526,b527,b528,b529,b530,b531,b532,b533,b534,b535,b536
          ,b537,b538,b539,b540,b541,b542,b543,b544,b545,b546,b547,b548,b549
          ,b550,b551,b552,b553,b554,b555,b556,b557,b558,b559,b560,b561,b562
          ,b563,b564,b565,b566,b567,b568,b569,b570,b571,b572,b573,b574,b575
          ,b576,b577,b578,b579,b580,b581,b582,b583,b584,b585,b586,b587,b588
          ,b589,b590,b591,b592,b593,b594,b595,b596,b597,b598,b599,b600,b601
          ,b602,b603,b604,b605,b606,b607,b608,b609,b610,b611,b612,b613,b614
          ,b615,b616,b617,b618,b619,b620,b621,b622,b623,b624,b625,b626,b627
          ,b628,b629,b630,b631,b632,b633,b634,b635,b636,b637,b638,b639,b640
          ,b641,b642,b643,b644,b645,b646,b647,b648,b649,b650,b651,b652,b653
          ,b654,b655,b656,b657,b658,b659,b660,b661,b662,b663,b664,b665,b666
          ,b667,b668,b669,b670,b671,b672,b673,b674,b675,b676,b677,b678,b679
          ,b680,b681,b682,b683,b684,b685,b686,b687,b688,b689,b690,b691,b692
          ,b693,b694,b695,b696,b697,b698,b699,b700,b701,b702,b703,b704,b705
          ,b706,b707,b708,b709,b710,b711,b712,b713,b714,b715,b716,b717,b718
          ,b719,b720,b721,b722,b723,b724,b725,b726,b727,b728,b729,b730,b731
          ,b732,b733,b734,b735,b736,b737,b738,b739,b740,b741,b742,b743,b744
          ,b745,b746,b747,b748,b749,b750,b751,b752,b753,b754,b755,b756,b757
          ,b758,b759,b760,b761,b762,b763,b764,b765,b766,b767,b768,b769,b770
          ,b771,b772,b773,b774,b775,b776,b777,b778,b779,b780,b781,b782,b783
          ,b784,b785,b786,b787,b788,b789,b790,b791,b792,b793,b794,b795,b796
          ,b797,b798,b799,b800,b801,b802,b803,b804,b805,b806,b807,b808,b809
          ,b810,b811,b812;

Integer Variables  i13,i14,i15,i16,i17,i18,i19,i20,i21,i22,i23,i24;

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,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
          ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
          ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
          ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
          ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
          ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
          ,e377,e378,e379,e380,e381,e382,e383,e384,e385;


e1..  - 0.1*b1 - 0.2*b2 - 0.3*b3 - 0.4*b4 - 0.5*b5 - 0.6*b6 - 0.7*b7 - 0.8*b8
      - 0.9*b9 - b10 - 1.1*b11 - 1.2*b12 - b169 - 2*b170 - 3*b171 - 4*b172
      - 5*b173 - 6*b174 - 7*b175 - 8*b176 - 9*b177 - 10*b178 - 11*b179
      - 12*b180 - 13*b181 - 14*b182 - 15*b183 - 16*b184 - 17*b185 - 18*b186
      - 19*b187 - 20*b188 - 21*b189 - 22*b190 - 23*b191 - 24*b192 - 25*b193
      - 26*b194 - 27*b195 - 28*b196 - 29*b197 - 30*b198 - 31*b199 - 32*b200
      - 33*b201 - 34*b202 - 35*b203 - 36*b204 - 37*b205 - 38*b206 - 39*b207
      - 40*b208 - 41*b209 - 42*b210 - 43*b211 - 44*b212 - 45*b213 - 46*b214
      - 47*b215 - 48*b216 - b217 - 2*b218 - 3*b219 - 4*b220 - 5*b221 - 6*b222
      - 7*b223 - 8*b224 - 9*b225 - 10*b226 - 11*b227 - 12*b228 - 13*b229
      - 14*b230 - 15*b231 - 16*b232 - 17*b233 - 18*b234 - 19*b235 - 20*b236
      - 21*b237 - 22*b238 - 23*b239 - 24*b240 - 25*b241 - 26*b242 - 27*b243
      - 28*b244 - 29*b245 - 30*b246 - 31*b247 - 32*b248 - 33*b249 - 34*b250
      - 35*b251 - 36*b252 - 37*b253 - 38*b254 - 39*b255 - 40*b256 - b257
      - 2*b258 - 3*b259 - 4*b260 - 5*b261 - 6*b262 - 7*b263 - 8*b264 - 9*b265
      - 10*b266 - 11*b267 - 12*b268 - 13*b269 - 14*b270 - 15*b271 - 16*b272
      - 17*b273 - 18*b274 - 19*b275 - 20*b276 - 21*b277 - 22*b278 - 23*b279
      - 24*b280 - 25*b281 - 26*b282 - 27*b283 - 28*b284 - 29*b285 - 30*b286
      - b287 - 2*b288 - 3*b289 - 4*b290 - 5*b291 - 6*b292 - 7*b293 - 8*b294
      - 9*b295 - 10*b296 - 11*b297 - 12*b298 - 13*b299 - 14*b300 - 15*b301
      - 16*b302 - 17*b303 - 18*b304 - 19*b305 - 20*b306 - 21*b307 - 22*b308
      - 23*b309 - 24*b310 - 25*b311 - 26*b312 - 27*b313 - 28*b314 - b315
      - 2*b316 - 3*b317 - 4*b318 - 5*b319 - 6*b320 - 7*b321 - 8*b322 - 9*b323
      - 10*b324 - 11*b325 - 12*b326 - 13*b327 - 14*b328 - 15*b329 - 16*b330
      - 17*b331 - 18*b332 - 19*b333 - 20*b334 - 21*b335 - 22*b336 - 23*b337
      - 24*b338 - 25*b339 - 26*b340 - 27*b341 - 28*b342 - b343 - 2*b344
      - 3*b345 - 4*b346 - 5*b347 - 6*b348 - 7*b349 - 8*b350 - 9*b351 - 10*b352
      - 11*b353 - 12*b354 - 13*b355 - 14*b356 - 15*b357 - 16*b358 - 17*b359
      - 18*b360 - 19*b361 - 20*b362 - 21*b363 - 22*b364 - b365 - 2*b366
      - 3*b367 - 4*b368 - 5*b369 - 6*b370 - 7*b371 - 8*b372 - 9*b373 - 10*b374
      - 11*b375 - 12*b376 - 13*b377 - 14*b378 - 15*b379 - 16*b380 - 17*b381
      - 18*b382 - 19*b383 - 20*b384 - 21*b385 - b386 - 2*b387 - 3*b388 - 4*b389
      - 5*b390 - 6*b391 - 7*b392 - 8*b393 - 9*b394 - 10*b395 - b396 - 2*b397
      - 3*b398 - 4*b399 - 5*b400 - 6*b401 - 7*b402 - 8*b403 - 9*b404 - b405
      - 2*b406 - 3*b407 - 4*b408 - 5*b409 - 6*b410 - 7*b411 - 8*b412 - b413
      - 2*b414 - 3*b415 - 4*b416 - 5*b417 - 6*b418 - 7*b419 - 8*b420 - b421
      - 2*b422 - 3*b423 - 4*b424 - 5*b425 - 6*b426 - 7*b427 - 8*b428 + objvar
      =E= 0;

e2..    350*b429 + 700*b430 + 1050*b431 + 1400*b432 + 1750*b433 + 2100*b434
      + 450*b501 + 900*b502 + 1350*b503 + 1800*b504 + 550*b549 + 1100*b550
      + 1650*b551 + 650*b585 + 1300*b586 + 1950*b587 + 700*b621 + 1400*b622
      + 2100*b623 + 740*b657 + 1480*b658 + 800*b681 + 1600*b682 + 840*b705
      + 1680*b706 + 910*b729 + 1820*b730 + 960*b753 + 1920*b754 + 1010*b777
      + 2020*b778 + 1060*b801 =L= 2100;

e3..    350*b435 + 700*b436 + 1050*b437 + 1400*b438 + 1750*b439 + 2100*b440
      + 450*b505 + 900*b506 + 1350*b507 + 1800*b508 + 550*b552 + 1100*b553
      + 1650*b554 + 650*b588 + 1300*b589 + 1950*b590 + 700*b624 + 1400*b625
      + 2100*b626 + 740*b659 + 1480*b660 + 800*b683 + 1600*b684 + 840*b707
      + 1680*b708 + 910*b731 + 1820*b732 + 960*b755 + 1920*b756 + 1010*b779
      + 2020*b780 + 1060*b802 =L= 2100;

e4..    350*b441 + 700*b442 + 1050*b443 + 1400*b444 + 1750*b445 + 2100*b446
      + 450*b509 + 900*b510 + 1350*b511 + 1800*b512 + 550*b555 + 1100*b556
      + 1650*b557 + 650*b591 + 1300*b592 + 1950*b593 + 700*b627 + 1400*b628
      + 2100*b629 + 740*b661 + 1480*b662 + 800*b685 + 1600*b686 + 840*b709
      + 1680*b710 + 910*b733 + 1820*b734 + 960*b757 + 1920*b758 + 1010*b781
      + 2020*b782 + 1060*b803 =L= 2100;

e5..    350*b447 + 700*b448 + 1050*b449 + 1400*b450 + 1750*b451 + 2100*b452
      + 450*b513 + 900*b514 + 1350*b515 + 1800*b516 + 550*b558 + 1100*b559
      + 1650*b560 + 650*b594 + 1300*b595 + 1950*b596 + 700*b630 + 1400*b631
      + 2100*b632 + 740*b663 + 1480*b664 + 800*b687 + 1600*b688 + 840*b711
      + 1680*b712 + 910*b735 + 1820*b736 + 960*b759 + 1920*b760 + 1010*b783
      + 2020*b784 + 1060*b804 =L= 2100;

e6..    350*b453 + 700*b454 + 1050*b455 + 1400*b456 + 1750*b457 + 2100*b458
      + 450*b517 + 900*b518 + 1350*b519 + 1800*b520 + 550*b561 + 1100*b562
      + 1650*b563 + 650*b597 + 1300*b598 + 1950*b599 + 700*b633 + 1400*b634
      + 2100*b635 + 740*b665 + 1480*b666 + 800*b689 + 1600*b690 + 840*b713
      + 1680*b714 + 910*b737 + 1820*b738 + 960*b761 + 1920*b762 + 1010*b785
      + 2020*b786 + 1060*b805 =L= 2100;

e7..    350*b459 + 700*b460 + 1050*b461 + 1400*b462 + 1750*b463 + 2100*b464
      + 450*b521 + 900*b522 + 1350*b523 + 1800*b524 + 550*b564 + 1100*b565
      + 1650*b566 + 650*b600 + 1300*b601 + 1950*b602 + 700*b636 + 1400*b637
      + 2100*b638 + 740*b667 + 1480*b668 + 800*b691 + 1600*b692 + 840*b715
      + 1680*b716 + 910*b739 + 1820*b740 + 960*b763 + 1920*b764 + 1010*b787
      + 2020*b788 + 1060*b806 =L= 2100;

e8..    350*b465 + 700*b466 + 1050*b467 + 1400*b468 + 1750*b469 + 2100*b470
      + 450*b525 + 900*b526 + 1350*b527 + 1800*b528 + 550*b567 + 1100*b568
      + 1650*b569 + 650*b603 + 1300*b604 + 1950*b605 + 700*b639 + 1400*b640
      + 2100*b641 + 740*b669 + 1480*b670 + 800*b693 + 1600*b694 + 840*b717
      + 1680*b718 + 910*b741 + 1820*b742 + 960*b765 + 1920*b766 + 1010*b789
      + 2020*b790 + 1060*b807 =L= 2100;

e9..    350*b471 + 700*b472 + 1050*b473 + 1400*b474 + 1750*b475 + 2100*b476
      + 450*b529 + 900*b530 + 1350*b531 + 1800*b532 + 550*b570 + 1100*b571
      + 1650*b572 + 650*b606 + 1300*b607 + 1950*b608 + 700*b642 + 1400*b643
      + 2100*b644 + 740*b671 + 1480*b672 + 800*b695 + 1600*b696 + 840*b719
      + 1680*b720 + 910*b743 + 1820*b744 + 960*b767 + 1920*b768 + 1010*b791
      + 2020*b792 + 1060*b808 =L= 2100;

e10..    350*b477 + 700*b478 + 1050*b479 + 1400*b480 + 1750*b481 + 2100*b482
       + 450*b533 + 900*b534 + 1350*b535 + 1800*b536 + 550*b573 + 1100*b574
       + 1650*b575 + 650*b609 + 1300*b610 + 1950*b611 + 700*b645 + 1400*b646
       + 2100*b647 + 740*b673 + 1480*b674 + 800*b697 + 1600*b698 + 840*b721
       + 1680*b722 + 910*b745 + 1820*b746 + 960*b769 + 1920*b770 + 1010*b793
       + 2020*b794 + 1060*b809 =L= 2100;

e11..    350*b483 + 700*b484 + 1050*b485 + 1400*b486 + 1750*b487 + 2100*b488
       + 450*b537 + 900*b538 + 1350*b539 + 1800*b540 + 550*b576 + 1100*b577
       + 1650*b578 + 650*b612 + 1300*b613 + 1950*b614 + 700*b648 + 1400*b649
       + 2100*b650 + 740*b675 + 1480*b676 + 800*b699 + 1600*b700 + 840*b723
       + 1680*b724 + 910*b747 + 1820*b748 + 960*b771 + 1920*b772 + 1010*b795
       + 2020*b796 + 1060*b810 =L= 2100;

e12..    350*b489 + 700*b490 + 1050*b491 + 1400*b492 + 1750*b493 + 2100*b494
       + 450*b541 + 900*b542 + 1350*b543 + 1800*b544 + 550*b579 + 1100*b580
       + 1650*b581 + 650*b615 + 1300*b616 + 1950*b617 + 700*b651 + 1400*b652
       + 2100*b653 + 740*b677 + 1480*b678 + 800*b701 + 1600*b702 + 840*b725
       + 1680*b726 + 910*b749 + 1820*b750 + 960*b773 + 1920*b774 + 1010*b797
       + 2020*b798 + 1060*b811 =L= 2100;

e13..    350*b495 + 700*b496 + 1050*b497 + 1400*b498 + 1750*b499 + 2100*b500
       + 450*b545 + 900*b546 + 1350*b547 + 1800*b548 + 550*b582 + 1100*b583
       + 1650*b584 + 650*b618 + 1300*b619 + 1950*b620 + 700*b654 + 1400*b655
       + 2100*b656 + 740*b679 + 1480*b680 + 800*b703 + 1600*b704 + 840*b727
       + 1680*b728 + 910*b751 + 1820*b752 + 960*b775 + 1920*b776 + 1010*b799
       + 2020*b800 + 1060*b812 =L= 2100;

e14..  - 350*b429 - 700*b430 - 1050*b431 - 1400*b432 - 1750*b433 - 2100*b434
       - 450*b501 - 900*b502 - 1350*b503 - 1800*b504 - 550*b549 - 1100*b550
       - 1650*b551 - 650*b585 - 1300*b586 - 1950*b587 - 700*b621 - 1400*b622
       - 2100*b623 - 740*b657 - 1480*b658 - 800*b681 - 1600*b682 - 840*b705
       - 1680*b706 - 910*b729 - 1820*b730 - 960*b753 - 1920*b754 - 1010*b777
       - 2020*b778 - 1060*b801 =L= -2000;

e15..  - 350*b435 - 700*b436 - 1050*b437 - 1400*b438 - 1750*b439 - 2100*b440
       - 450*b505 - 900*b506 - 1350*b507 - 1800*b508 - 550*b552 - 1100*b553
       - 1650*b554 - 650*b588 - 1300*b589 - 1950*b590 - 700*b624 - 1400*b625
       - 2100*b626 - 740*b659 - 1480*b660 - 800*b683 - 1600*b684 - 840*b707
       - 1680*b708 - 910*b731 - 1820*b732 - 960*b755 - 1920*b756 - 1010*b779
       - 2020*b780 - 1060*b802 =L= -2000;

e16..  - 350*b441 - 700*b442 - 1050*b443 - 1400*b444 - 1750*b445 - 2100*b446
       - 450*b509 - 900*b510 - 1350*b511 - 1800*b512 - 550*b555 - 1100*b556
       - 1650*b557 - 650*b591 - 1300*b592 - 1950*b593 - 700*b627 - 1400*b628
       - 2100*b629 - 740*b661 - 1480*b662 - 800*b685 - 1600*b686 - 840*b709
       - 1680*b710 - 910*b733 - 1820*b734 - 960*b757 - 1920*b758 - 1010*b781
       - 2020*b782 - 1060*b803 =L= -2000;

e17..  - 350*b447 - 700*b448 - 1050*b449 - 1400*b450 - 1750*b451 - 2100*b452
       - 450*b513 - 900*b514 - 1350*b515 - 1800*b516 - 550*b558 - 1100*b559
       - 1650*b560 - 650*b594 - 1300*b595 - 1950*b596 - 700*b630 - 1400*b631
       - 2100*b632 - 740*b663 - 1480*b664 - 800*b687 - 1600*b688 - 840*b711
       - 1680*b712 - 910*b735 - 1820*b736 - 960*b759 - 1920*b760 - 1010*b783
       - 2020*b784 - 1060*b804 =L= -2000;

e18..  - 350*b453 - 700*b454 - 1050*b455 - 1400*b456 - 1750*b457 - 2100*b458
       - 450*b517 - 900*b518 - 1350*b519 - 1800*b520 - 550*b561 - 1100*b562
       - 1650*b563 - 650*b597 - 1300*b598 - 1950*b599 - 700*b633 - 1400*b634
       - 2100*b635 - 740*b665 - 1480*b666 - 800*b689 - 1600*b690 - 840*b713
       - 1680*b714 - 910*b737 - 1820*b738 - 960*b761 - 1920*b762 - 1010*b785
       - 2020*b786 - 1060*b805 =L= -2000;

e19..  - 350*b459 - 700*b460 - 1050*b461 - 1400*b462 - 1750*b463 - 2100*b464
       - 450*b521 - 900*b522 - 1350*b523 - 1800*b524 - 550*b564 - 1100*b565
       - 1650*b566 - 650*b600 - 1300*b601 - 1950*b602 - 700*b636 - 1400*b637
       - 2100*b638 - 740*b667 - 1480*b668 - 800*b691 - 1600*b692 - 840*b715
       - 1680*b716 - 910*b739 - 1820*b740 - 960*b763 - 1920*b764 - 1010*b787
       - 2020*b788 - 1060*b806 =L= -2000;

e20..  - 350*b465 - 700*b466 - 1050*b467 - 1400*b468 - 1750*b469 - 2100*b470
       - 450*b525 - 900*b526 - 1350*b527 - 1800*b528 - 550*b567 - 1100*b568
       - 1650*b569 - 650*b603 - 1300*b604 - 1950*b605 - 700*b639 - 1400*b640
       - 2100*b641 - 740*b669 - 1480*b670 - 800*b693 - 1600*b694 - 840*b717
       - 1680*b718 - 910*b741 - 1820*b742 - 960*b765 - 1920*b766 - 1010*b789
       - 2020*b790 - 1060*b807 =L= -2000;

e21..  - 350*b471 - 700*b472 - 1050*b473 - 1400*b474 - 1750*b475 - 2100*b476
       - 450*b529 - 900*b530 - 1350*b531 - 1800*b532 - 550*b570 - 1100*b571
       - 1650*b572 - 650*b606 - 1300*b607 - 1950*b608 - 700*b642 - 1400*b643
       - 2100*b644 - 740*b671 - 1480*b672 - 800*b695 - 1600*b696 - 840*b719
       - 1680*b720 - 910*b743 - 1820*b744 - 960*b767 - 1920*b768 - 1010*b791
       - 2020*b792 - 1060*b808 =L= -2000;

e22..  - 350*b477 - 700*b478 - 1050*b479 - 1400*b480 - 1750*b481 - 2100*b482
       - 450*b533 - 900*b534 - 1350*b535 - 1800*b536 - 550*b573 - 1100*b574
       - 1650*b575 - 650*b609 - 1300*b610 - 1950*b611 - 700*b645 - 1400*b646
       - 2100*b647 - 740*b673 - 1480*b674 - 800*b697 - 1600*b698 - 840*b721
       - 1680*b722 - 910*b745 - 1820*b746 - 960*b769 - 1920*b770 - 1010*b793
       - 2020*b794 - 1060*b809 =L= -2000;

e23..  - 350*b483 - 700*b484 - 1050*b485 - 1400*b486 - 1750*b487 - 2100*b488
       - 450*b537 - 900*b538 - 1350*b539 - 1800*b540 - 550*b576 - 1100*b577
       - 1650*b578 - 650*b612 - 1300*b613 - 1950*b614 - 700*b648 - 1400*b649
       - 2100*b650 - 740*b675 - 1480*b676 - 800*b699 - 1600*b700 - 840*b723
       - 1680*b724 - 910*b747 - 1820*b748 - 960*b771 - 1920*b772 - 1010*b795
       - 2020*b796 - 1060*b810 =L= -2000;

e24..  - 350*b489 - 700*b490 - 1050*b491 - 1400*b492 - 1750*b493 - 2100*b494
       - 450*b541 - 900*b542 - 1350*b543 - 1800*b544 - 550*b579 - 1100*b580
       - 1650*b581 - 650*b615 - 1300*b616 - 1950*b617 - 700*b651 - 1400*b652
       - 2100*b653 - 740*b677 - 1480*b678 - 800*b701 - 1600*b702 - 840*b725
       - 1680*b726 - 910*b749 - 1820*b750 - 960*b773 - 1920*b774 - 1010*b797
       - 2020*b798 - 1060*b811 =L= -2000;

e25..  - 350*b495 - 700*b496 - 1050*b497 - 1400*b498 - 1750*b499 - 2100*b500
       - 450*b545 - 900*b546 - 1350*b547 - 1800*b548 - 550*b582 - 1100*b583
       - 1650*b584 - 650*b618 - 1300*b619 - 1950*b620 - 700*b654 - 1400*b655
       - 2100*b656 - 740*b679 - 1480*b680 - 800*b703 - 1600*b704 - 840*b727
       - 1680*b728 - 910*b751 - 1820*b752 - 960*b775 - 1920*b776 - 1010*b799
       - 2020*b800 - 1060*b812 =L= -2000;

e26..    b429 + 2*b430 + 3*b431 + 4*b432 + 5*b433 + 6*b434 + b501 + 2*b502
       + 3*b503 + 4*b504 + b549 + 2*b550 + 3*b551 + b585 + 2*b586 + 3*b587
       + b621 + 2*b622 + 3*b623 + b657 + 2*b658 + b681 + 2*b682 + b705 + 2*b706
       + b729 + 2*b730 + b753 + 2*b754 + b777 + 2*b778 + b801 =L= 5;

e27..    b435 + 2*b436 + 3*b437 + 4*b438 + 5*b439 + 6*b440 + b505 + 2*b506
       + 3*b507 + 4*b508 + b552 + 2*b553 + 3*b554 + b588 + 2*b589 + 3*b590
       + b624 + 2*b625 + 3*b626 + b659 + 2*b660 + b683 + 2*b684 + b707 + 2*b708
       + b731 + 2*b732 + b755 + 2*b756 + b779 + 2*b780 + b802 =L= 5;

e28..    b441 + 2*b442 + 3*b443 + 4*b444 + 5*b445 + 6*b446 + b509 + 2*b510
       + 3*b511 + 4*b512 + b555 + 2*b556 + 3*b557 + b591 + 2*b592 + 3*b593
       + b627 + 2*b628 + 3*b629 + b661 + 2*b662 + b685 + 2*b686 + b709 + 2*b710
       + b733 + 2*b734 + b757 + 2*b758 + b781 + 2*b782 + b803 =L= 5;

e29..    b447 + 2*b448 + 3*b449 + 4*b450 + 5*b451 + 6*b452 + b513 + 2*b514
       + 3*b515 + 4*b516 + b558 + 2*b559 + 3*b560 + b594 + 2*b595 + 3*b596
       + b630 + 2*b631 + 3*b632 + b663 + 2*b664 + b687 + 2*b688 + b711 + 2*b712
       + b735 + 2*b736 + b759 + 2*b760 + b783 + 2*b784 + b804 =L= 5;

e30..    b453 + 2*b454 + 3*b455 + 4*b456 + 5*b457 + 6*b458 + b517 + 2*b518
       + 3*b519 + 4*b520 + b561 + 2*b562 + 3*b563 + b597 + 2*b598 + 3*b599
       + b633 + 2*b634 + 3*b635 + b665 + 2*b666 + b689 + 2*b690 + b713 + 2*b714
       + b737 + 2*b738 + b761 + 2*b762 + b785 + 2*b786 + b805 =L= 5;

e31..    b459 + 2*b460 + 3*b461 + 4*b462 + 5*b463 + 6*b464 + b521 + 2*b522
       + 3*b523 + 4*b524 + b564 + 2*b565 + 3*b566 + b600 + 2*b601 + 3*b602
       + b636 + 2*b637 + 3*b638 + b667 + 2*b668 + b691 + 2*b692 + b715 + 2*b716
       + b739 + 2*b740 + b763 + 2*b764 + b787 + 2*b788 + b806 =L= 5;

e32..    b465 + 2*b466 + 3*b467 + 4*b468 + 5*b469 + 6*b470 + b525 + 2*b526
       + 3*b527 + 4*b528 + b567 + 2*b568 + 3*b569 + b603 + 2*b604 + 3*b605
       + b639 + 2*b640 + 3*b641 + b669 + 2*b670 + b693 + 2*b694 + b717 + 2*b718
       + b741 + 2*b742 + b765 + 2*b766 + b789 + 2*b790 + b807 =L= 5;

e33..    b471 + 2*b472 + 3*b473 + 4*b474 + 5*b475 + 6*b476 + b529 + 2*b530
       + 3*b531 + 4*b532 + b570 + 2*b571 + 3*b572 + b606 + 2*b607 + 3*b608
       + b642 + 2*b643 + 3*b644 + b671 + 2*b672 + b695 + 2*b696 + b719 + 2*b720
       + b743 + 2*b744 + b767 + 2*b768 + b791 + 2*b792 + b808 =L= 5;

e34..    b477 + 2*b478 + 3*b479 + 4*b480 + 5*b481 + 6*b482 + b533 + 2*b534
       + 3*b535 + 4*b536 + b573 + 2*b574 + 3*b575 + b609 + 2*b610 + 3*b611
       + b645 + 2*b646 + 3*b647 + b673 + 2*b674 + b697 + 2*b698 + b721 + 2*b722
       + b745 + 2*b746 + b769 + 2*b770 + b793 + 2*b794 + b809 =L= 5;

e35..    b483 + 2*b484 + 3*b485 + 4*b486 + 5*b487 + 6*b488 + b537 + 2*b538
       + 3*b539 + 4*b540 + b576 + 2*b577 + 3*b578 + b612 + 2*b613 + 3*b614
       + b648 + 2*b649 + 3*b650 + b675 + 2*b676 + b699 + 2*b700 + b723 + 2*b724
       + b747 + 2*b748 + b771 + 2*b772 + b795 + 2*b796 + b810 =L= 5;

e36..    b489 + 2*b490 + 3*b491 + 4*b492 + 5*b493 + 6*b494 + b541 + 2*b542
       + 3*b543 + 4*b544 + b579 + 2*b580 + 3*b581 + b615 + 2*b616 + 3*b617
       + b651 + 2*b652 + 3*b653 + b677 + 2*b678 + b701 + 2*b702 + b725 + 2*b726
       + b749 + 2*b750 + b773 + 2*b774 + b797 + 2*b798 + b811 =L= 5;

e37..    b495 + 2*b496 + 3*b497 + 4*b498 + 5*b499 + 6*b500 + b545 + 2*b546
       + 3*b547 + 4*b548 + b582 + 2*b583 + 3*b584 + b618 + 2*b619 + 3*b620
       + b654 + 2*b655 + 3*b656 + b679 + 2*b680 + b703 + 2*b704 + b727 + 2*b728
       + b751 + 2*b752 + b775 + 2*b776 + b799 + 2*b800 + b812 =L= 5;

e38..    b1 - b169 - 2*b170 - 3*b171 - 4*b172 - 5*b173 - 6*b174 - 7*b175
       - 8*b176 - 9*b177 - 10*b178 - 11*b179 - 12*b180 - 13*b181 - 14*b182
       - 15*b183 - 16*b184 - 17*b185 - 18*b186 - 19*b187 - 20*b188 - 21*b189
       - 22*b190 - 23*b191 - 24*b192 - 25*b193 - 26*b194 - 27*b195 - 28*b196
       - 29*b197 - 30*b198 - 31*b199 - 32*b200 - 33*b201 - 34*b202 - 35*b203
       - 36*b204 - 37*b205 - 38*b206 - 39*b207 - 40*b208 - 41*b209 - 42*b210
       - 43*b211 - 44*b212 - 45*b213 - 46*b214 - 47*b215 - 48*b216 =L= 0;

e39..    b2 - b217 - 2*b218 - 3*b219 - 4*b220 - 5*b221 - 6*b222 - 7*b223
       - 8*b224 - 9*b225 - 10*b226 - 11*b227 - 12*b228 - 13*b229 - 14*b230
       - 15*b231 - 16*b232 - 17*b233 - 18*b234 - 19*b235 - 20*b236 - 21*b237
       - 22*b238 - 23*b239 - 24*b240 - 25*b241 - 26*b242 - 27*b243 - 28*b244
       - 29*b245 - 30*b246 - 31*b247 - 32*b248 - 33*b249 - 34*b250 - 35*b251
       - 36*b252 - 37*b253 - 38*b254 - 39*b255 - 40*b256 =L= 0;

e40..    b3 - b257 - 2*b258 - 3*b259 - 4*b260 - 5*b261 - 6*b262 - 7*b263
       - 8*b264 - 9*b265 - 10*b266 - 11*b267 - 12*b268 - 13*b269 - 14*b270
       - 15*b271 - 16*b272 - 17*b273 - 18*b274 - 19*b275 - 20*b276 - 21*b277
       - 22*b278 - 23*b279 - 24*b280 - 25*b281 - 26*b282 - 27*b283 - 28*b284
       - 29*b285 - 30*b286 =L= 0;

e41..    b4 - b287 - 2*b288 - 3*b289 - 4*b290 - 5*b291 - 6*b292 - 7*b293
       - 8*b294 - 9*b295 - 10*b296 - 11*b297 - 12*b298 - 13*b299 - 14*b300
       - 15*b301 - 16*b302 - 17*b303 - 18*b304 - 19*b305 - 20*b306 - 21*b307
       - 22*b308 - 23*b309 - 24*b310 - 25*b311 - 26*b312 - 27*b313 - 28*b314
       =L= 0;

e42..    b5 - b315 - 2*b316 - 3*b317 - 4*b318 - 5*b319 - 6*b320 - 7*b321
       - 8*b322 - 9*b323 - 10*b324 - 11*b325 - 12*b326 - 13*b327 - 14*b328
       - 15*b329 - 16*b330 - 17*b331 - 18*b332 - 19*b333 - 20*b334 - 21*b335
       - 22*b336 - 23*b337 - 24*b338 - 25*b339 - 26*b340 - 27*b341 - 28*b342
       =L= 0;

e43..    b6 - b343 - 2*b344 - 3*b345 - 4*b346 - 5*b347 - 6*b348 - 7*b349
       - 8*b350 - 9*b351 - 10*b352 - 11*b353 - 12*b354 - 13*b355 - 14*b356
       - 15*b357 - 16*b358 - 17*b359 - 18*b360 - 19*b361 - 20*b362 - 21*b363
       - 22*b364 =L= 0;

e44..    b7 - b365 - 2*b366 - 3*b367 - 4*b368 - 5*b369 - 6*b370 - 7*b371
       - 8*b372 - 9*b373 - 10*b374 - 11*b375 - 12*b376 - 13*b377 - 14*b378
       - 15*b379 - 16*b380 - 17*b381 - 18*b382 - 19*b383 - 20*b384 - 21*b385
       =L= 0;

e45..    b8 - b386 - 2*b387 - 3*b388 - 4*b389 - 5*b390 - 6*b391 - 7*b392
       - 8*b393 - 9*b394 - 10*b395 =L= 0;

e46..    b9 - b396 - 2*b397 - 3*b398 - 4*b399 - 5*b400 - 6*b401 - 7*b402
       - 8*b403 - 9*b404 =L= 0;

e47..    b10 - b405 - 2*b406 - 3*b407 - 4*b408 - 5*b409 - 6*b410 - 7*b411
       - 8*b412 =L= 0;

e48..    b11 - b413 - 2*b414 - 3*b415 - 4*b416 - 5*b417 - 6*b418 - 7*b419
       - 8*b420 =L= 0;

e49..    b12 - b421 - 2*b422 - 3*b423 - 4*b424 - 5*b425 - 6*b426 - 7*b427
       - 8*b428 =L= 0;

e50..  - 48*b1 + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175
       + 8*b176 + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182
       + 15*b183 + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189
       + 22*b190 + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196
       + 29*b197 + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203
       + 36*b204 + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210
       + 43*b211 + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 =L= 0;

e51..  - 40*b2 + b217 + 2*b218 + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223
       + 8*b224 + 9*b225 + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230
       + 15*b231 + 16*b232 + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237
       + 22*b238 + 23*b239 + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244
       + 29*b245 + 30*b246 + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251
       + 36*b252 + 37*b253 + 38*b254 + 39*b255 + 40*b256 =L= 0;

e52..  - 30*b3 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262 + 7*b263
       + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269 + 14*b270
       + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276 + 21*b277
       + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283 + 28*b284
       + 29*b285 + 30*b286 =L= 0;

e53..  - 28*b4 + b287 + 2*b288 + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293
       + 8*b294 + 9*b295 + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300
       + 15*b301 + 16*b302 + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307
       + 22*b308 + 23*b309 + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314
       =L= 0;

e54..  - 28*b5 + b315 + 2*b316 + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321
       + 8*b322 + 9*b323 + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328
       + 15*b329 + 16*b330 + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335
       + 22*b336 + 23*b337 + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342
       =L= 0;

e55..  - 22*b6 + b343 + 2*b344 + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349
       + 8*b350 + 9*b351 + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356
       + 15*b357 + 16*b358 + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363
       + 22*b364 =L= 0;

e56..  - 21*b7 + b365 + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371
       + 8*b372 + 9*b373 + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378
       + 15*b379 + 16*b380 + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385
       =L= 0;

e57..  - 10*b8 + b386 + 2*b387 + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392
       + 8*b393 + 9*b394 + 10*b395 =L= 0;

e58..  - 9*b9 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
       + 8*b403 + 9*b404 =L= 0;

e59..  - 8*b10 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411
       + 8*b412 =L= 0;

e60..  - 8*b11 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419
       + 8*b420 =L= 0;

e61..  - 8*b12 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427
       + 8*b428 =L= 0;

e62..    i13 - 3*b169 - 8*b170 - 15*b171 - 24*b172 - 35*b173 - 48*b174
       - 63*b175 - 80*b176 - 99*b177 - 120*b178 - 143*b179 - 168*b180
       - 195*b181 - 224*b182 - 255*b183 - 288*b184 - 323*b185 - 360*b186
       - 399*b187 - 440*b188 - 483*b189 - 528*b190 - 575*b191 - 624*b192
       - 675*b193 - 728*b194 - 783*b195 - 840*b196 - 899*b197 - 960*b198
       - 1023*b199 - 1088*b200 - 1155*b201 - 1224*b202 - 1295*b203 - 1368*b204
       - 1443*b205 - 1520*b206 - 1599*b207 - 1680*b208 - 1763*b209 - 1848*b210
       - 1935*b211 - 2024*b212 - 2115*b213 - 2208*b214 - 2303*b215 - 2400*b216
       =E= 1;

e63..    i14 - 3*b217 - 8*b218 - 15*b219 - 24*b220 - 35*b221 - 48*b222
       - 63*b223 - 80*b224 - 99*b225 - 120*b226 - 143*b227 - 168*b228
       - 195*b229 - 224*b230 - 255*b231 - 288*b232 - 323*b233 - 360*b234
       - 399*b235 - 440*b236 - 483*b237 - 528*b238 - 575*b239 - 624*b240
       - 675*b241 - 728*b242 - 783*b243 - 840*b244 - 899*b245 - 960*b246
       - 1023*b247 - 1088*b248 - 1155*b249 - 1224*b250 - 1295*b251 - 1368*b252
       - 1443*b253 - 1520*b254 - 1599*b255 - 1680*b256 =E= 1;

e64..    i15 - 3*b257 - 8*b258 - 15*b259 - 24*b260 - 35*b261 - 48*b262
       - 63*b263 - 80*b264 - 99*b265 - 120*b266 - 143*b267 - 168*b268
       - 195*b269 - 224*b270 - 255*b271 - 288*b272 - 323*b273 - 360*b274
       - 399*b275 - 440*b276 - 483*b277 - 528*b278 - 575*b279 - 624*b280
       - 675*b281 - 728*b282 - 783*b283 - 840*b284 - 899*b285 - 960*b286 =E= 1;

e65..    i16 - 3*b287 - 8*b288 - 15*b289 - 24*b290 - 35*b291 - 48*b292
       - 63*b293 - 80*b294 - 99*b295 - 120*b296 - 143*b297 - 168*b298
       - 195*b299 - 224*b300 - 255*b301 - 288*b302 - 323*b303 - 360*b304
       - 399*b305 - 440*b306 - 483*b307 - 528*b308 - 575*b309 - 624*b310
       - 675*b311 - 728*b312 - 783*b313 - 840*b314 =E= 1;

e66..    i17 - 3*b315 - 8*b316 - 15*b317 - 24*b318 - 35*b319 - 48*b320
       - 63*b321 - 80*b322 - 99*b323 - 120*b324 - 143*b325 - 168*b326
       - 195*b327 - 224*b328 - 255*b329 - 288*b330 - 323*b331 - 360*b332
       - 399*b333 - 440*b334 - 483*b335 - 528*b336 - 575*b337 - 624*b338
       - 675*b339 - 728*b340 - 783*b341 - 840*b342 =E= 1;

e67..    i18 - 3*b343 - 8*b344 - 15*b345 - 24*b346 - 35*b347 - 48*b348
       - 63*b349 - 80*b350 - 99*b351 - 120*b352 - 143*b353 - 168*b354
       - 195*b355 - 224*b356 - 255*b357 - 288*b358 - 323*b359 - 360*b360
       - 399*b361 - 440*b362 - 483*b363 - 528*b364 =E= 1;

e68..    i19 - 3*b365 - 8*b366 - 15*b367 - 24*b368 - 35*b369 - 48*b370
       - 63*b371 - 80*b372 - 99*b373 - 120*b374 - 143*b375 - 168*b376
       - 195*b377 - 224*b378 - 255*b379 - 288*b380 - 323*b381 - 360*b382
       - 399*b383 - 440*b384 - 483*b385 =E= 1;

e69..    i20 - 3*b386 - 8*b387 - 15*b388 - 24*b389 - 35*b390 - 48*b391
       - 63*b392 - 80*b393 - 99*b394 - 120*b395 =E= 1;

e70..    i21 - 3*b396 - 8*b397 - 15*b398 - 24*b399 - 35*b400 - 48*b401
       - 63*b402 - 80*b403 - 99*b404 =E= 1;

e71..    i22 - 3*b405 - 8*b406 - 15*b407 - 24*b408 - 35*b409 - 48*b410
       - 63*b411 - 80*b412 =E= 1;

e72..    i23 - 3*b413 - 8*b414 - 15*b415 - 24*b416 - 35*b417 - 48*b418
       - 63*b419 - 80*b420 =E= 1;

e73..    i24 - 3*b421 - 8*b422 - 15*b423 - 24*b424 - 35*b425 - 48*b426
       - 63*b427 - 80*b428 =E= 1;

e74..    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 =L= 1;

e75..    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
       =L= 1;

e76..    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
       =L= 1;

e77..    b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296
       + b297 + b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306
       + b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 =L= 1;

e78..    b315 + b316 + b317 + b318 + b319 + b320 + b321 + b322 + b323 + b324
       + b325 + b326 + b327 + b328 + b329 + b330 + b331 + b332 + b333 + b334
       + b335 + b336 + b337 + b338 + b339 + b340 + b341 + b342 =L= 1;

e79..    b343 + b344 + b345 + b346 + b347 + b348 + b349 + b350 + b351 + b352
       + b353 + b354 + b355 + b356 + b357 + b358 + b359 + b360 + b361 + b362
       + b363 + b364 =L= 1;

e80..    b365 + b366 + b367 + b368 + b369 + b370 + b371 + b372 + b373 + b374
       + b375 + b376 + b377 + b378 + b379 + b380 + b381 + b382 + b383 + b384
       + b385 =L= 1;

e81..    b386 + b387 + b388 + b389 + b390 + b391 + b392 + b393 + b394 + b395
       =L= 1;

e82..    b396 + b397 + b398 + b399 + b400 + b401 + b402 + b403 + b404 =L= 1;

e83..    b405 + b406 + b407 + b408 + b409 + b410 + b411 + b412 =L= 1;

e84..    b413 + b414 + b415 + b416 + b417 + b418 + b419 + b420 =L= 1;

e85..    b421 + b422 + b423 + b424 + b425 + b426 + b427 + b428 =L= 1;

e86..    x25 - 3*b429 - 8*b430 - 15*b431 - 24*b432 - 35*b433 - 48*b434 =E= 1;

e87..    x26 - 3*b435 - 8*b436 - 15*b437 - 24*b438 - 35*b439 - 48*b440 =E= 1;

e88..    x27 - 3*b441 - 8*b442 - 15*b443 - 24*b444 - 35*b445 - 48*b446 =E= 1;

e89..    x28 - 3*b447 - 8*b448 - 15*b449 - 24*b450 - 35*b451 - 48*b452 =E= 1;

e90..    x29 - 3*b453 - 8*b454 - 15*b455 - 24*b456 - 35*b457 - 48*b458 =E= 1;

e91..    x30 - 3*b459 - 8*b460 - 15*b461 - 24*b462 - 35*b463 - 48*b464 =E= 1;

e92..    x31 - 3*b465 - 8*b466 - 15*b467 - 24*b468 - 35*b469 - 48*b470 =E= 1;

e93..    x32 - 3*b471 - 8*b472 - 15*b473 - 24*b474 - 35*b475 - 48*b476 =E= 1;

e94..    x33 - 3*b477 - 8*b478 - 15*b479 - 24*b480 - 35*b481 - 48*b482 =E= 1;

e95..    x34 - 3*b483 - 8*b484 - 15*b485 - 24*b486 - 35*b487 - 48*b488 =E= 1;

e96..    x35 - 3*b489 - 8*b490 - 15*b491 - 24*b492 - 35*b493 - 48*b494 =E= 1;

e97..    x36 - 3*b495 - 8*b496 - 15*b497 - 24*b498 - 35*b499 - 48*b500 =E= 1;

e98..    x37 - 3*b501 - 8*b502 - 15*b503 - 24*b504 =E= 1;

e99..    x38 - 3*b505 - 8*b506 - 15*b507 - 24*b508 =E= 1;

e100..    x39 - 3*b509 - 8*b510 - 15*b511 - 24*b512 =E= 1;

e101..    x40 - 3*b513 - 8*b514 - 15*b515 - 24*b516 =E= 1;

e102..    x41 - 3*b517 - 8*b518 - 15*b519 - 24*b520 =E= 1;

e103..    x42 - 3*b521 - 8*b522 - 15*b523 - 24*b524 =E= 1;

e104..    x43 - 3*b525 - 8*b526 - 15*b527 - 24*b528 =E= 1;

e105..    x44 - 3*b529 - 8*b530 - 15*b531 - 24*b532 =E= 1;

e106..    x45 - 3*b533 - 8*b534 - 15*b535 - 24*b536 =E= 1;

e107..    x46 - 3*b537 - 8*b538 - 15*b539 - 24*b540 =E= 1;

e108..    x47 - 3*b541 - 8*b542 - 15*b543 - 24*b544 =E= 1;

e109..    x48 - 3*b545 - 8*b546 - 15*b547 - 24*b548 =E= 1;

e110..    x49 - 3*b549 - 8*b550 - 15*b551 =E= 1;

e111..    x50 - 3*b552 - 8*b553 - 15*b554 =E= 1;

e112..    x51 - 3*b555 - 8*b556 - 15*b557 =E= 1;

e113..    x52 - 3*b558 - 8*b559 - 15*b560 =E= 1;

e114..    x53 - 3*b561 - 8*b562 - 15*b563 =E= 1;

e115..    x54 - 3*b564 - 8*b565 - 15*b566 =E= 1;

e116..    x55 - 3*b567 - 8*b568 - 15*b569 =E= 1;

e117..    x56 - 3*b570 - 8*b571 - 15*b572 =E= 1;

e118..    x57 - 3*b573 - 8*b574 - 15*b575 =E= 1;

e119..    x58 - 3*b576 - 8*b577 - 15*b578 =E= 1;

e120..    x59 - 3*b579 - 8*b580 - 15*b581 =E= 1;

e121..    x60 - 3*b582 - 8*b583 - 15*b584 =E= 1;

e122..    x61 - 3*b585 - 8*b586 - 15*b587 =E= 1;

e123..    x62 - 3*b588 - 8*b589 - 15*b590 =E= 1;

e124..    x63 - 3*b591 - 8*b592 - 15*b593 =E= 1;

e125..    x64 - 3*b594 - 8*b595 - 15*b596 =E= 1;

e126..    x65 - 3*b597 - 8*b598 - 15*b599 =E= 1;

e127..    x66 - 3*b600 - 8*b601 - 15*b602 =E= 1;

e128..    x67 - 3*b603 - 8*b604 - 15*b605 =E= 1;

e129..    x68 - 3*b606 - 8*b607 - 15*b608 =E= 1;

e130..    x69 - 3*b609 - 8*b610 - 15*b611 =E= 1;

e131..    x70 - 3*b612 - 8*b613 - 15*b614 =E= 1;

e132..    x71 - 3*b615 - 8*b616 - 15*b617 =E= 1;

e133..    x72 - 3*b618 - 8*b619 - 15*b620 =E= 1;

e134..    x73 - 3*b621 - 8*b622 - 15*b623 =E= 1;

e135..    x74 - 3*b624 - 8*b625 - 15*b626 =E= 1;

e136..    x75 - 3*b627 - 8*b628 - 15*b629 =E= 1;

e137..    x76 - 3*b630 - 8*b631 - 15*b632 =E= 1;

e138..    x77 - 3*b633 - 8*b634 - 15*b635 =E= 1;

e139..    x78 - 3*b636 - 8*b637 - 15*b638 =E= 1;

e140..    x79 - 3*b639 - 8*b640 - 15*b641 =E= 1;

e141..    x80 - 3*b642 - 8*b643 - 15*b644 =E= 1;

e142..    x81 - 3*b645 - 8*b646 - 15*b647 =E= 1;

e143..    x82 - 3*b648 - 8*b649 - 15*b650 =E= 1;

e144..    x83 - 3*b651 - 8*b652 - 15*b653 =E= 1;

e145..    x84 - 3*b654 - 8*b655 - 15*b656 =E= 1;

e146..    x85 - 3*b657 - 8*b658 =E= 1;

e147..    x86 - 3*b659 - 8*b660 =E= 1;

e148..    x87 - 3*b661 - 8*b662 =E= 1;

e149..    x88 - 3*b663 - 8*b664 =E= 1;

e150..    x89 - 3*b665 - 8*b666 =E= 1;

e151..    x90 - 3*b667 - 8*b668 =E= 1;

e152..    x91 - 3*b669 - 8*b670 =E= 1;

e153..    x92 - 3*b671 - 8*b672 =E= 1;

e154..    x93 - 3*b673 - 8*b674 =E= 1;

e155..    x94 - 3*b675 - 8*b676 =E= 1;

e156..    x95 - 3*b677 - 8*b678 =E= 1;

e157..    x96 - 3*b679 - 8*b680 =E= 1;

e158..    x97 - 3*b681 - 8*b682 =E= 1;

e159..    x98 - 3*b683 - 8*b684 =E= 1;

e160..    x99 - 3*b685 - 8*b686 =E= 1;

e161..    x100 - 3*b687 - 8*b688 =E= 1;

e162..    x101 - 3*b689 - 8*b690 =E= 1;

e163..    x102 - 3*b691 - 8*b692 =E= 1;

e164..    x103 - 3*b693 - 8*b694 =E= 1;

e165..    x104 - 3*b695 - 8*b696 =E= 1;

e166..    x105 - 3*b697 - 8*b698 =E= 1;

e167..    x106 - 3*b699 - 8*b700 =E= 1;

e168..    x107 - 3*b701 - 8*b702 =E= 1;

e169..    x108 - 3*b703 - 8*b704 =E= 1;

e170..    x109 - 3*b705 - 8*b706 =E= 1;

e171..    x110 - 3*b707 - 8*b708 =E= 1;

e172..    x111 - 3*b709 - 8*b710 =E= 1;

e173..    x112 - 3*b711 - 8*b712 =E= 1;

e174..    x113 - 3*b713 - 8*b714 =E= 1;

e175..    x114 - 3*b715 - 8*b716 =E= 1;

e176..    x115 - 3*b717 - 8*b718 =E= 1;

e177..    x116 - 3*b719 - 8*b720 =E= 1;

e178..    x117 - 3*b721 - 8*b722 =E= 1;

e179..    x118 - 3*b723 - 8*b724 =E= 1;

e180..    x119 - 3*b725 - 8*b726 =E= 1;

e181..    x120 - 3*b727 - 8*b728 =E= 1;

e182..    x121 - 3*b729 - 8*b730 =E= 1;

e183..    x122 - 3*b731 - 8*b732 =E= 1;

e184..    x123 - 3*b733 - 8*b734 =E= 1;

e185..    x124 - 3*b735 - 8*b736 =E= 1;

e186..    x125 - 3*b737 - 8*b738 =E= 1;

e187..    x126 - 3*b739 - 8*b740 =E= 1;

e188..    x127 - 3*b741 - 8*b742 =E= 1;

e189..    x128 - 3*b743 - 8*b744 =E= 1;

e190..    x129 - 3*b745 - 8*b746 =E= 1;

e191..    x130 - 3*b747 - 8*b748 =E= 1;

e192..    x131 - 3*b749 - 8*b750 =E= 1;

e193..    x132 - 3*b751 - 8*b752 =E= 1;

e194..    x133 - 3*b753 - 8*b754 =E= 1;

e195..    x134 - 3*b755 - 8*b756 =E= 1;

e196..    x135 - 3*b757 - 8*b758 =E= 1;

e197..    x136 - 3*b759 - 8*b760 =E= 1;

e198..    x137 - 3*b761 - 8*b762 =E= 1;

e199..    x138 - 3*b763 - 8*b764 =E= 1;

e200..    x139 - 3*b765 - 8*b766 =E= 1;

e201..    x140 - 3*b767 - 8*b768 =E= 1;

e202..    x141 - 3*b769 - 8*b770 =E= 1;

e203..    x142 - 3*b771 - 8*b772 =E= 1;

e204..    x143 - 3*b773 - 8*b774 =E= 1;

e205..    x144 - 3*b775 - 8*b776 =E= 1;

e206..    x145 - 3*b777 - 8*b778 =E= 1;

e207..    x146 - 3*b779 - 8*b780 =E= 1;

e208..    x147 - 3*b781 - 8*b782 =E= 1;

e209..    x148 - 3*b783 - 8*b784 =E= 1;

e210..    x149 - 3*b785 - 8*b786 =E= 1;

e211..    x150 - 3*b787 - 8*b788 =E= 1;

e212..    x151 - 3*b789 - 8*b790 =E= 1;

e213..    x152 - 3*b791 - 8*b792 =E= 1;

e214..    x153 - 3*b793 - 8*b794 =E= 1;

e215..    x154 - 3*b795 - 8*b796 =E= 1;

e216..    x155 - 3*b797 - 8*b798 =E= 1;

e217..    x156 - 3*b799 - 8*b800 =E= 1;

e218..    x157 - 3*b801 =E= 1;

e219..    x158 - 3*b802 =E= 1;

e220..    x159 - 3*b803 =E= 1;

e221..    x160 - 3*b804 =E= 1;

e222..    x161 - 3*b805 =E= 1;

e223..    x162 - 3*b806 =E= 1;

e224..    x163 - 3*b807 =E= 1;

e225..    x164 - 3*b808 =E= 1;

e226..    x165 - 3*b809 =E= 1;

e227..    x166 - 3*b810 =E= 1;

e228..    x167 - 3*b811 =E= 1;

e229..    x168 - 3*b812 =E= 1;

e230..    b429 + b430 + b431 + b432 + b433 + b434 =L= 1;

e231..    b435 + b436 + b437 + b438 + b439 + b440 =L= 1;

e232..    b441 + b442 + b443 + b444 + b445 + b446 =L= 1;

e233..    b447 + b448 + b449 + b450 + b451 + b452 =L= 1;

e234..    b453 + b454 + b455 + b456 + b457 + b458 =L= 1;

e235..    b459 + b460 + b461 + b462 + b463 + b464 =L= 1;

e236..    b465 + b466 + b467 + b468 + b469 + b470 =L= 1;

e237..    b471 + b472 + b473 + b474 + b475 + b476 =L= 1;

e238..    b477 + b478 + b479 + b480 + b481 + b482 =L= 1;

e239..    b483 + b484 + b485 + b486 + b487 + b488 =L= 1;

e240..    b489 + b490 + b491 + b492 + b493 + b494 =L= 1;

e241..    b495 + b496 + b497 + b498 + b499 + b500 =L= 1;

e242..    b501 + b502 + b503 + b504 =L= 1;

e243..    b505 + b506 + b507 + b508 =L= 1;

e244..    b509 + b510 + b511 + b512 =L= 1;

e245..    b513 + b514 + b515 + b516 =L= 1;

e246..    b517 + b518 + b519 + b520 =L= 1;

e247..    b521 + b522 + b523 + b524 =L= 1;

e248..    b525 + b526 + b527 + b528 =L= 1;

e249..    b529 + b530 + b531 + b532 =L= 1;

e250..    b533 + b534 + b535 + b536 =L= 1;

e251..    b537 + b538 + b539 + b540 =L= 1;

e252..    b541 + b542 + b543 + b544 =L= 1;

e253..    b545 + b546 + b547 + b548 =L= 1;

e254..    b549 + b550 + b551 =L= 1;

e255..    b552 + b553 + b554 =L= 1;

e256..    b555 + b556 + b557 =L= 1;

e257..    b558 + b559 + b560 =L= 1;

e258..    b561 + b562 + b563 =L= 1;

e259..    b564 + b565 + b566 =L= 1;

e260..    b567 + b568 + b569 =L= 1;

e261..    b570 + b571 + b572 =L= 1;

e262..    b573 + b574 + b575 =L= 1;

e263..    b576 + b577 + b578 =L= 1;

e264..    b579 + b580 + b581 =L= 1;

e265..    b582 + b583 + b584 =L= 1;

e266..    b585 + b586 + b587 =L= 1;

e267..    b588 + b589 + b590 =L= 1;

e268..    b591 + b592 + b593 =L= 1;

e269..    b594 + b595 + b596 =L= 1;

e270..    b597 + b598 + b599 =L= 1;

e271..    b600 + b601 + b602 =L= 1;

e272..    b603 + b604 + b605 =L= 1;

e273..    b606 + b607 + b608 =L= 1;

e274..    b609 + b610 + b611 =L= 1;

e275..    b612 + b613 + b614 =L= 1;

e276..    b615 + b616 + b617 =L= 1;

e277..    b618 + b619 + b620 =L= 1;

e278..    b621 + b622 + b623 =L= 1;

e279..    b624 + b625 + b626 =L= 1;

e280..    b627 + b628 + b629 =L= 1;

e281..    b630 + b631 + b632 =L= 1;

e282..    b633 + b634 + b635 =L= 1;

e283..    b636 + b637 + b638 =L= 1;

e284..    b639 + b640 + b641 =L= 1;

e285..    b642 + b643 + b644 =L= 1;

e286..    b645 + b646 + b647 =L= 1;

e287..    b648 + b649 + b650 =L= 1;

e288..    b651 + b652 + b653 =L= 1;

e289..    b654 + b655 + b656 =L= 1;

e290..    b657 + b658 =L= 1;

e291..    b659 + b660 =L= 1;

e292..    b661 + b662 =L= 1;

e293..    b663 + b664 =L= 1;

e294..    b665 + b666 =L= 1;

e295..    b667 + b668 =L= 1;

e296..    b669 + b670 =L= 1;

e297..    b671 + b672 =L= 1;

e298..    b673 + b674 =L= 1;

e299..    b675 + b676 =L= 1;

e300..    b677 + b678 =L= 1;

e301..    b679 + b680 =L= 1;

e302..    b681 + b682 =L= 1;

e303..    b683 + b684 =L= 1;

e304..    b685 + b686 =L= 1;

e305..    b687 + b688 =L= 1;

e306..    b689 + b690 =L= 1;

e307..    b691 + b692 =L= 1;

e308..    b693 + b694 =L= 1;

e309..    b695 + b696 =L= 1;

e310..    b697 + b698 =L= 1;

e311..    b699 + b700 =L= 1;

e312..    b701 + b702 =L= 1;

e313..    b703 + b704 =L= 1;

e314..    b705 + b706 =L= 1;

e315..    b707 + b708 =L= 1;

e316..    b709 + b710 =L= 1;

e317..    b711 + b712 =L= 1;

e318..    b713 + b714 =L= 1;

e319..    b715 + b716 =L= 1;

e320..    b717 + b718 =L= 1;

e321..    b719 + b720 =L= 1;

e322..    b721 + b722 =L= 1;

e323..    b723 + b724 =L= 1;

e324..    b725 + b726 =L= 1;

e325..    b727 + b728 =L= 1;

e326..    b729 + b730 =L= 1;

e327..    b731 + b732 =L= 1;

e328..    b733 + b734 =L= 1;

e329..    b735 + b736 =L= 1;

e330..    b737 + b738 =L= 1;

e331..    b739 + b740 =L= 1;

e332..    b741 + b742 =L= 1;

e333..    b743 + b744 =L= 1;

e334..    b745 + b746 =L= 1;

e335..    b747 + b748 =L= 1;

e336..    b749 + b750 =L= 1;

e337..    b751 + b752 =L= 1;

e338..    b753 + b754 =L= 1;

e339..    b755 + b756 =L= 1;

e340..    b757 + b758 =L= 1;

e341..    b759 + b760 =L= 1;

e342..    b761 + b762 =L= 1;

e343..    b763 + b764 =L= 1;

e344..    b765 + b766 =L= 1;

e345..    b767 + b768 =L= 1;

e346..    b769 + b770 =L= 1;

e347..    b771 + b772 =L= 1;

e348..    b773 + b774 =L= 1;

e349..    b775 + b776 =L= 1;

e350..    b777 + b778 =L= 1;

e351..    b779 + b780 =L= 1;

e352..    b781 + b782 =L= 1;

e353..    b783 + b784 =L= 1;

e354..    b785 + b786 =L= 1;

e355..    b787 + b788 =L= 1;

e356..    b789 + b790 =L= 1;

e357..    b791 + b792 =L= 1;

e358..    b793 + b794 =L= 1;

e359..    b795 + b796 =L= 1;

e360..    b797 + b798 =L= 1;

e361..    b799 + b800 =L= 1;

e362..    b801 =L= 1;

e363..    b802 =L= 1;

e364..    b803 =L= 1;

e365..    b804 =L= 1;

e366..    b805 =L= 1;

e367..    b806 =L= 1;

e368..    b807 =L= 1;

e369..    b808 =L= 1;

e370..    b809 =L= 1;

e371..    b810 =L= 1;

e372..    b811 =L= 1;

e373..    b812 =L= 1;

e374.. -(sqrt(i13*x25) + sqrt(i14*x26) + sqrt(i15*x27) + sqrt(i16*x28) + sqrt(
       i17*x29) + sqrt(i18*x30) + sqrt(i19*x31) + sqrt(i20*x32) + sqrt(i21*x33)
        + sqrt(i22*x34) + sqrt(i23*x35) + sqrt(i24*x36)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b429 + 2*b430 + 3*b431 + 4*b432 + 5*b433 + 6*b434 + b435 + 2*b436
        + 3*b437 + 4*b438 + 5*b439 + 6*b440 + b441 + 2*b442 + 3*b443 + 4*b444
        + 5*b445 + 6*b446 + b447 + 2*b448 + 3*b449 + 4*b450 + 5*b451 + 6*b452
        + b453 + 2*b454 + 3*b455 + 4*b456 + 5*b457 + 6*b458 + b459 + 2*b460
        + 3*b461 + 4*b462 + 5*b463 + 6*b464 + b465 + 2*b466 + 3*b467 + 4*b468
        + 5*b469 + 6*b470 + b471 + 2*b472 + 3*b473 + 4*b474 + 5*b475 + 6*b476
        + b477 + 2*b478 + 3*b479 + 4*b480 + 5*b481 + 6*b482 + b483 + 2*b484
        + 3*b485 + 4*b486 + 5*b487 + 6*b488 + b489 + 2*b490 + 3*b491 + 4*b492
        + 5*b493 + 6*b494 + b495 + 2*b496 + 3*b497 + 4*b498 + 5*b499 + 6*b500
        =L= -22;

e375.. -(sqrt(i13*x37) + sqrt(i14*x38) + sqrt(i15*x39) + sqrt(i16*x40) + sqrt(
       i17*x41) + sqrt(i18*x42) + sqrt(i19*x43) + sqrt(i20*x44) + sqrt(i21*x45)
        + sqrt(i22*x46) + sqrt(i23*x47) + sqrt(i24*x48)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b501 + 2*b502 + 3*b503 + 4*b504 + b505 + 2*b506 + 3*b507 + 4*b508
        + b509 + 2*b510 + 3*b511 + 4*b512 + b513 + 2*b514 + 3*b515 + 4*b516
        + b517 + 2*b518 + 3*b519 + 4*b520 + b521 + 2*b522 + 3*b523 + 4*b524
        + b525 + 2*b526 + 3*b527 + 4*b528 + b529 + 2*b530 + 3*b531 + 4*b532
        + b533 + 2*b534 + 3*b535 + 4*b536 + b537 + 2*b538 + 3*b539 + 4*b540
        + b541 + 2*b542 + 3*b543 + 4*b544 + b545 + 2*b546 + 3*b547 + 4*b548
        =L= -40;

e376.. -(sqrt(i13*x49) + sqrt(i14*x50) + sqrt(i15*x51) + sqrt(i16*x52) + sqrt(
       i17*x53) + sqrt(i18*x54) + sqrt(i19*x55) + sqrt(i20*x56) + sqrt(i21*x57)
        + sqrt(i22*x58) + sqrt(i23*x59) + sqrt(i24*x60)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b549 + 2*b550 + 3*b551 + b552 + 2*b553 + 3*b554 + b555 + 2*b556
        + 3*b557 + b558 + 2*b559 + 3*b560 + b561 + 2*b562 + 3*b563 + b564
        + 2*b565 + 3*b566 + b567 + 2*b568 + 3*b569 + b570 + 2*b571 + 3*b572
        + b573 + 2*b574 + 3*b575 + b576 + 2*b577 + 3*b578 + b579 + 2*b580
        + 3*b581 + b582 + 2*b583 + 3*b584 =L= -60;

e377.. -(sqrt(i13*x61) + sqrt(i14*x62) + sqrt(i15*x63) + sqrt(i16*x64) + sqrt(
       i17*x65) + sqrt(i18*x66) + sqrt(i19*x67) + sqrt(i20*x68) + sqrt(i21*x69)
        + sqrt(i22*x70) + sqrt(i23*x71) + sqrt(i24*x72)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b585 + 2*b586 + 3*b587 + b588 + 2*b589 + 3*b590 + b591 + 2*b592
        + 3*b593 + b594 + 2*b595 + 3*b596 + b597 + 2*b598 + 3*b599 + b600
        + 2*b601 + 3*b602 + b603 + 2*b604 + 3*b605 + b606 + 2*b607 + 3*b608
        + b609 + 2*b610 + 3*b611 + b612 + 2*b613 + 3*b614 + b615 + 2*b616
        + 3*b617 + b618 + 2*b619 + 3*b620 =L= -40;

e378.. -(sqrt(i13*x73) + sqrt(i14*x74) + sqrt(i15*x75) + sqrt(i16*x76) + sqrt(
       i17*x77) + sqrt(i18*x78) + sqrt(i19*x79) + sqrt(i20*x80) + sqrt(i21*x81)
        + sqrt(i22*x82) + sqrt(i23*x83) + sqrt(i24*x84)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b621 + 2*b622 + 3*b623 + b624 + 2*b625 + 3*b626 + b627 + 2*b628
        + 3*b629 + b630 + 2*b631 + 3*b632 + b633 + 2*b634 + 3*b635 + b636
        + 2*b637 + 3*b638 + b639 + 2*b640 + 3*b641 + b642 + 2*b643 + 3*b644
        + b645 + 2*b646 + 3*b647 + b648 + 2*b649 + 3*b650 + b651 + 2*b652
        + 3*b653 + b654 + 2*b655 + 3*b656 =L= -52;

e379.. -(sqrt(i13*x85) + sqrt(i14*x86) + sqrt(i15*x87) + sqrt(i16*x88) + sqrt(
       i17*x89) + sqrt(i18*x90) + sqrt(i19*x91) + sqrt(i20*x92) + sqrt(i21*x93)
        + sqrt(i22*x94) + sqrt(i23*x95) + sqrt(i24*x96)) + b169 + 2*b170
        + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b657 + 2*b658 + b659 + 2*b660 + b661 + 2*b662 + b663 + 2*b664 + b665
        + 2*b666 + b667 + 2*b668 + b669 + 2*b670 + b671 + 2*b672 + b673
        + 2*b674 + b675 + 2*b676 + b677 + 2*b678 + b679 + 2*b680 =L= -42;

e380.. -(sqrt(i13*x97) + sqrt(i14*x98) + sqrt(i15*x99) + sqrt(i16*x100) + sqrt(
       i17*x101) + sqrt(i18*x102) + sqrt(i19*x103) + sqrt(i20*x104) + sqrt(i21*
       x105) + sqrt(i22*x106) + sqrt(i23*x107) + sqrt(i24*x108)) + b169
        + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176 + 9*b177
        + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183 + 16*b184
        + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190 + 23*b191
        + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197 + 30*b198
        + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204 + 37*b205
        + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211 + 44*b212
        + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218 + 3*b219
        + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225 + 10*b226
        + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232 + 17*b233
        + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239 + 24*b240
        + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246 + 31*b247
        + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253 + 38*b254
        + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260 + 5*b261 + 6*b262
        + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267 + 12*b268 + 13*b269
        + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274 + 19*b275 + 20*b276
        + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281 + 26*b282 + 27*b283
        + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288 + 3*b289 + 4*b290
        + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295 + 10*b296 + 11*b297
        + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302 + 17*b303 + 18*b304
        + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309 + 24*b310 + 25*b311
        + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316 + 3*b317 + 4*b318
        + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323 + 10*b324 + 11*b325
        + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330 + 17*b331 + 18*b332
        + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337 + 24*b338 + 25*b339
        + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344 + 3*b345 + 4*b346
        + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351 + 10*b352 + 11*b353
        + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358 + 17*b359 + 18*b360
        + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365 + 2*b366 + 3*b367
        + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373 + 10*b374
        + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380 + 17*b381
        + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387 + 3*b388
        + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394 + 10*b395 + b396
        + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402 + 8*b403 + 9*b404
        + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410 + 7*b411 + 8*b412
        + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418 + 7*b419 + 8*b420
        + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426 + 7*b427 + 8*b428
        + b681 + 2*b682 + b683 + 2*b684 + b685 + 2*b686 + b687 + 2*b688 + b689
        + 2*b690 + b691 + 2*b692 + b693 + 2*b694 + b695 + 2*b696 + b697
        + 2*b698 + b699 + 2*b700 + b701 + 2*b702 + b703 + 2*b704 =L= -33;

e381.. -(sqrt(i13*x109) + sqrt(i14*x110) + sqrt(i15*x111) + sqrt(i16*x112) + 
       sqrt(i17*x113) + sqrt(i18*x114) + sqrt(i19*x115) + sqrt(i20*x116) + 
       sqrt(i21*x117) + sqrt(i22*x118) + sqrt(i23*x119) + sqrt(i24*x120))
        + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176
        + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183
        + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190
        + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197
        + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204
        + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211
        + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218
        + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225
        + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232
        + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239
        + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246
        + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253
        + 38*b254 + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260
        + 5*b261 + 6*b262 + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267
        + 12*b268 + 13*b269 + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274
        + 19*b275 + 20*b276 + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281
        + 26*b282 + 27*b283 + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288
        + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295
        + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302
        + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309
        + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316
        + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323
        + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330
        + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337
        + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344
        + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351
        + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358
        + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365
        + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373
        + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380
        + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387
        + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394
        + 10*b395 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
        + 8*b403 + 9*b404 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410
        + 7*b411 + 8*b412 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418
        + 7*b419 + 8*b420 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426
        + 7*b427 + 8*b428 + b705 + 2*b706 + b707 + 2*b708 + b709 + 2*b710
        + b711 + 2*b712 + b713 + 2*b714 + b715 + 2*b716 + b717 + 2*b718 + b719
        + 2*b720 + b721 + 2*b722 + b723 + 2*b724 + b725 + 2*b726 + b727
        + 2*b728 =L= -34;

e382.. -(sqrt(i13*x121) + sqrt(i14*x122) + sqrt(i15*x123) + sqrt(i16*x124) + 
       sqrt(i17*x125) + sqrt(i18*x126) + sqrt(i19*x127) + sqrt(i20*x128) + 
       sqrt(i21*x129) + sqrt(i22*x130) + sqrt(i23*x131) + sqrt(i24*x132))
        + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176
        + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183
        + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190
        + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197
        + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204
        + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211
        + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218
        + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225
        + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232
        + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239
        + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246
        + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253
        + 38*b254 + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260
        + 5*b261 + 6*b262 + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267
        + 12*b268 + 13*b269 + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274
        + 19*b275 + 20*b276 + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281
        + 26*b282 + 27*b283 + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288
        + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295
        + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302
        + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309
        + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316
        + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323
        + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330
        + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337
        + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344
        + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351
        + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358
        + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365
        + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373
        + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380
        + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387
        + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394
        + 10*b395 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
        + 8*b403 + 9*b404 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410
        + 7*b411 + 8*b412 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418
        + 7*b419 + 8*b420 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426
        + 7*b427 + 8*b428 + b729 + 2*b730 + b731 + 2*b732 + b733 + 2*b734
        + b735 + 2*b736 + b737 + 2*b738 + b739 + 2*b740 + b741 + 2*b742 + b743
        + 2*b744 + b745 + 2*b746 + b747 + 2*b748 + b749 + 2*b750 + b751
        + 2*b752 =L= -20;

e383.. -(sqrt(i13*x133) + sqrt(i14*x134) + sqrt(i15*x135) + sqrt(i16*x136) + 
       sqrt(i17*x137) + sqrt(i18*x138) + sqrt(i19*x139) + sqrt(i20*x140) + 
       sqrt(i21*x141) + sqrt(i22*x142) + sqrt(i23*x143) + sqrt(i24*x144))
        + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176
        + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183
        + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190
        + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197
        + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204
        + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211
        + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218
        + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225
        + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232
        + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239
        + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246
        + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253
        + 38*b254 + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260
        + 5*b261 + 6*b262 + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267
        + 12*b268 + 13*b269 + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274
        + 19*b275 + 20*b276 + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281
        + 26*b282 + 27*b283 + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288
        + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295
        + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302
        + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309
        + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316
        + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323
        + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330
        + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337
        + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344
        + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351
        + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358
        + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365
        + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373
        + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380
        + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387
        + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394
        + 10*b395 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
        + 8*b403 + 9*b404 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410
        + 7*b411 + 8*b412 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418
        + 7*b419 + 8*b420 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426
        + 7*b427 + 8*b428 + b753 + 2*b754 + b755 + 2*b756 + b757 + 2*b758
        + b759 + 2*b760 + b761 + 2*b762 + b763 + 2*b764 + b765 + 2*b766 + b767
        + 2*b768 + b769 + 2*b770 + b771 + 2*b772 + b773 + 2*b774 + b775
        + 2*b776 =L= -20;

e384.. -(sqrt(i13*x145) + sqrt(i14*x146) + sqrt(i15*x147) + sqrt(i16*x148) + 
       sqrt(i17*x149) + sqrt(i18*x150) + sqrt(i19*x151) + sqrt(i20*x152) + 
       sqrt(i21*x153) + sqrt(i22*x154) + sqrt(i23*x155) + sqrt(i24*x156))
        + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176
        + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183
        + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190
        + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197
        + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204
        + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211
        + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218
        + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225
        + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232
        + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239
        + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246
        + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253
        + 38*b254 + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260
        + 5*b261 + 6*b262 + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267
        + 12*b268 + 13*b269 + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274
        + 19*b275 + 20*b276 + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281
        + 26*b282 + 27*b283 + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288
        + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295
        + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302
        + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309
        + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316
        + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323
        + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330
        + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337
        + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344
        + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351
        + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358
        + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365
        + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373
        + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380
        + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387
        + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394
        + 10*b395 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
        + 8*b403 + 9*b404 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410
        + 7*b411 + 8*b412 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418
        + 7*b419 + 8*b420 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426
        + 7*b427 + 8*b428 + b777 + 2*b778 + b779 + 2*b780 + b781 + 2*b782
        + b783 + 2*b784 + b785 + 2*b786 + b787 + 2*b788 + b789 + 2*b790 + b791
        + 2*b792 + b793 + 2*b794 + b795 + 2*b796 + b797 + 2*b798 + b799
        + 2*b800 =L= -21;

e385.. -(sqrt(i13*x157) + sqrt(i14*x158) + sqrt(i15*x159) + sqrt(i16*x160) + 
       sqrt(i17*x161) + sqrt(i18*x162) + sqrt(i19*x163) + sqrt(i20*x164) + 
       sqrt(i21*x165) + sqrt(i22*x166) + sqrt(i23*x167) + sqrt(i24*x168))
        + b169 + 2*b170 + 3*b171 + 4*b172 + 5*b173 + 6*b174 + 7*b175 + 8*b176
        + 9*b177 + 10*b178 + 11*b179 + 12*b180 + 13*b181 + 14*b182 + 15*b183
        + 16*b184 + 17*b185 + 18*b186 + 19*b187 + 20*b188 + 21*b189 + 22*b190
        + 23*b191 + 24*b192 + 25*b193 + 26*b194 + 27*b195 + 28*b196 + 29*b197
        + 30*b198 + 31*b199 + 32*b200 + 33*b201 + 34*b202 + 35*b203 + 36*b204
        + 37*b205 + 38*b206 + 39*b207 + 40*b208 + 41*b209 + 42*b210 + 43*b211
        + 44*b212 + 45*b213 + 46*b214 + 47*b215 + 48*b216 + b217 + 2*b218
        + 3*b219 + 4*b220 + 5*b221 + 6*b222 + 7*b223 + 8*b224 + 9*b225
        + 10*b226 + 11*b227 + 12*b228 + 13*b229 + 14*b230 + 15*b231 + 16*b232
        + 17*b233 + 18*b234 + 19*b235 + 20*b236 + 21*b237 + 22*b238 + 23*b239
        + 24*b240 + 25*b241 + 26*b242 + 27*b243 + 28*b244 + 29*b245 + 30*b246
        + 31*b247 + 32*b248 + 33*b249 + 34*b250 + 35*b251 + 36*b252 + 37*b253
        + 38*b254 + 39*b255 + 40*b256 + b257 + 2*b258 + 3*b259 + 4*b260
        + 5*b261 + 6*b262 + 7*b263 + 8*b264 + 9*b265 + 10*b266 + 11*b267
        + 12*b268 + 13*b269 + 14*b270 + 15*b271 + 16*b272 + 17*b273 + 18*b274
        + 19*b275 + 20*b276 + 21*b277 + 22*b278 + 23*b279 + 24*b280 + 25*b281
        + 26*b282 + 27*b283 + 28*b284 + 29*b285 + 30*b286 + b287 + 2*b288
        + 3*b289 + 4*b290 + 5*b291 + 6*b292 + 7*b293 + 8*b294 + 9*b295
        + 10*b296 + 11*b297 + 12*b298 + 13*b299 + 14*b300 + 15*b301 + 16*b302
        + 17*b303 + 18*b304 + 19*b305 + 20*b306 + 21*b307 + 22*b308 + 23*b309
        + 24*b310 + 25*b311 + 26*b312 + 27*b313 + 28*b314 + b315 + 2*b316
        + 3*b317 + 4*b318 + 5*b319 + 6*b320 + 7*b321 + 8*b322 + 9*b323
        + 10*b324 + 11*b325 + 12*b326 + 13*b327 + 14*b328 + 15*b329 + 16*b330
        + 17*b331 + 18*b332 + 19*b333 + 20*b334 + 21*b335 + 22*b336 + 23*b337
        + 24*b338 + 25*b339 + 26*b340 + 27*b341 + 28*b342 + b343 + 2*b344
        + 3*b345 + 4*b346 + 5*b347 + 6*b348 + 7*b349 + 8*b350 + 9*b351
        + 10*b352 + 11*b353 + 12*b354 + 13*b355 + 14*b356 + 15*b357 + 16*b358
        + 17*b359 + 18*b360 + 19*b361 + 20*b362 + 21*b363 + 22*b364 + b365
        + 2*b366 + 3*b367 + 4*b368 + 5*b369 + 6*b370 + 7*b371 + 8*b372 + 9*b373
        + 10*b374 + 11*b375 + 12*b376 + 13*b377 + 14*b378 + 15*b379 + 16*b380
        + 17*b381 + 18*b382 + 19*b383 + 20*b384 + 21*b385 + b386 + 2*b387
        + 3*b388 + 4*b389 + 5*b390 + 6*b391 + 7*b392 + 8*b393 + 9*b394
        + 10*b395 + b396 + 2*b397 + 3*b398 + 4*b399 + 5*b400 + 6*b401 + 7*b402
        + 8*b403 + 9*b404 + b405 + 2*b406 + 3*b407 + 4*b408 + 5*b409 + 6*b410
        + 7*b411 + 8*b412 + b413 + 2*b414 + 3*b415 + 4*b416 + 5*b417 + 6*b418
        + 7*b419 + 8*b420 + b421 + 2*b422 + 3*b423 + 4*b424 + 5*b425 + 6*b426
        + 7*b427 + 8*b428 + b801 + b802 + b803 + b804 + b805 + b806 + b807
        + b808 + b809 + b810 + b811 + b812 =L= -20;

* set non-default bounds
i13.lo = 1; i13.up = 100;
i14.lo = 1; i14.up = 100;
i15.lo = 1; i15.up = 100;
i16.lo = 1; i16.up = 100;
i17.lo = 1; i17.up = 100;
i18.lo = 1; i18.up = 100;
i19.lo = 1; i19.up = 100;
i20.lo = 1; i20.up = 100;
i21.lo = 1; i21.up = 100;
i22.lo = 1; i22.up = 100;
i23.lo = 1; i23.up = 100;
i24.lo = 1; i24.up = 100;
x25.lo = 1;
x26.lo = 1;
x27.lo = 1;
x28.lo = 1;
x29.lo = 1;
x30.lo = 1;
x31.lo = 1;
x32.lo = 1;
x33.lo = 1;
x34.lo = 1;
x35.lo = 1;
x36.lo = 1;
x37.lo = 1;
x38.lo = 1;
x39.lo = 1;
x40.lo = 1;
x41.lo = 1;
x42.lo = 1;
x43.lo = 1;
x44.lo = 1;
x45.lo = 1;
x46.lo = 1;
x47.lo = 1;
x48.lo = 1;
x49.lo = 1;
x50.lo = 1;
x51.lo = 1;
x52.lo = 1;
x53.lo = 1;
x54.lo = 1;
x55.lo = 1;
x56.lo = 1;
x57.lo = 1;
x58.lo = 1;
x59.lo = 1;
x60.lo = 1;
x61.lo = 1;
x62.lo = 1;
x63.lo = 1;
x64.lo = 1;
x65.lo = 1;
x66.lo = 1;
x67.lo = 1;
x68.lo = 1;
x69.lo = 1;
x70.lo = 1;
x71.lo = 1;
x72.lo = 1;
x73.lo = 1;
x74.lo = 1;
x75.lo = 1;
x76.lo = 1;
x77.lo = 1;
x78.lo = 1;
x79.lo = 1;
x80.lo = 1;
x81.lo = 1;
x82.lo = 1;
x83.lo = 1;
x84.lo = 1;
x85.lo = 1;
x86.lo = 1;
x87.lo = 1;
x88.lo = 1;
x89.lo = 1;
x90.lo = 1;
x91.lo = 1;
x92.lo = 1;
x93.lo = 1;
x94.lo = 1;
x95.lo = 1;
x96.lo = 1;
x97.lo = 1;
x98.lo = 1;
x99.lo = 1;
x100.lo = 1;
x101.lo = 1;
x102.lo = 1;
x103.lo = 1;
x104.lo = 1;
x105.lo = 1;
x106.lo = 1;
x107.lo = 1;
x108.lo = 1;
x109.lo = 1;
x110.lo = 1;
x111.lo = 1;
x112.lo = 1;
x113.lo = 1;
x114.lo = 1;
x115.lo = 1;
x116.lo = 1;
x117.lo = 1;
x118.lo = 1;
x119.lo = 1;
x120.lo = 1;
x121.lo = 1;
x122.lo = 1;
x123.lo = 1;
x124.lo = 1;
x125.lo = 1;
x126.lo = 1;
x127.lo = 1;
x128.lo = 1;
x129.lo = 1;
x130.lo = 1;
x131.lo = 1;
x132.lo = 1;
x133.lo = 1;
x134.lo = 1;
x135.lo = 1;
x136.lo = 1;
x137.lo = 1;
x138.lo = 1;
x139.lo = 1;
x140.lo = 1;
x141.lo = 1;
x142.lo = 1;
x143.lo = 1;
x144.lo = 1;
x145.lo = 1;
x146.lo = 1;
x147.lo = 1;
x148.lo = 1;
x149.lo = 1;
x150.lo = 1;
x151.lo = 1;
x152.lo = 1;
x153.lo = 1;
x154.lo = 1;
x155.lo = 1;
x156.lo = 1;
x157.lo = 1;
x158.lo = 1;
x159.lo = 1;
x160.lo = 1;
x161.lo = 1;
x162.lo = 1;
x163.lo = 1;
x164.lo = 1;
x165.lo = 1;
x166.lo = 1;
x167.lo = 1;
x168.lo = 1;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

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

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f
Imprint / Privacy Policy / License: CC-BY 4.0