MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance waterund32

Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
638.73485140 p1 ( gdx sol )
(infeas: 3e-11)
638.71675310 p2 ( gdx sol )
(infeas: 9e-10)
Other points (infeas > 1e-08)  
Dual Bounds
309.39553770 (ANTIGONE)
313.51027710 (BARON)
330.26929260 (COUENNE)
554.25750200 (GUROBI)
314.50573040 (LINDO)
478.70422570 (SCIP)
References Castro, Pedro M and Teles, João P, Comparison of global optimization algorithms for the design of water-using networks, Computers and Chemical Engineering, 52, 2013, 249-261.
Teles, João P, Castro, Pedro M, and Novais, Augusto Q, LP-based solution strategies for the optimal design of industrial water networks with multiple contaminants, Chemical Engineering Science, 63:2, 2008, 376-394.
Teles, João P, Castro, Pedro M, and Matos, Henrique A, Global optimization of water networks design using multiparametric disaggregation, Computers and Chemical Engineering 40, 2012, 132-147.
Source ANTIGONE test library model Other_MIQCQP/teles_etal_2009_WUN_Ex32.gms
Application Water Network Design
Added to library 15 Aug 2014
Problem type QCP
#Variables 660
#Binary Variables 0
#Integer Variables 0
#Nonlinear Variables 580
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense min
Objective type linear
Objective curvature linear
#Nonzeros in Objective 60
#Nonlinear Nonzeros in Objective 0
#Constraints 380
#Linear Constraints 220
#Quadratic Constraints 160
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 4940
#Nonlinear Nonzeros in Jacobian 3600
#Nonzeros in (Upper-Left) Hessian of Lagrangian 3520
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 20
Minimal blocksize in Hessian of Lagrangian 29
Maximal blocksize in Hessian of Lagrangian 29
Average blocksize in Hessian of Lagrangian 29.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 9.0000e+00
Infeasibility of initial point 2.231e+05
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
*        381      201        0      180        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        661      661        0        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       5001     1401     3600        0
*
*  Solve m using NLP minimizing objvar;


Variables  objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18
          ,x19,x20,x21,x22,x23,x24,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,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180
          ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193
          ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206
          ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219
          ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232
          ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245
          ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258
          ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271
          ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284
          ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297
          ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310
          ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323
          ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336
          ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349
          ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362
          ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375
          ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388
          ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401
          ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414
          ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427
          ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440
          ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453
          ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466
          ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479
          ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492
          ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505
          ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518
          ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531
          ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544
          ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557
          ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570
          ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583
          ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596
          ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609
          ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622
          ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635
          ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648
          ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661;

Positive Variables  x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17
          ,x18,x19,x20,x21,x22,x23,x24,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,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179
          ,x180,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192
          ,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205
          ,x206,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218
          ,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231
          ,x232,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244
          ,x245,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257
          ,x258,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270
          ,x271,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283
          ,x284,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296
          ,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309
          ,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322
          ,x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335
          ,x336,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348
          ,x349,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361
          ,x362,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374
          ,x375,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387
          ,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400
          ,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413
          ,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426
          ,x427,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439
          ,x440,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452
          ,x453,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465
          ,x466,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478
          ,x479,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491
          ,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504
          ,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517
          ,x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530
          ,x531,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543
          ,x544,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556
          ,x557,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569
          ,x570,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582
          ,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595
          ,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608
          ,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621
          ,x622,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634
          ,x635,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647
          ,x648,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660
          ,x661;

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;


e1..    objvar - x2 - x3 - x4 - x5 - x6 - x7 - x8 - x9 - x10 - x11 - x12 - x13
      - x14 - x15 - x16 - x17 - x18 - x19 - x20 - x21 - x22 - x23 - x24 - 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
      =E= 0;

e2..  - x2 - x22 - x42 + x62 - x102 - x122 - x142 - x162 - x182 - x202 - x222
      - x242 - x262 - x282 - x302 - x322 - x342 - x362 - x382 - x402 - x422
      - x442 - x462 - x482 =E= 0;

e3..  - x3 - x23 - x43 + x63 - x103 - x123 - x143 - x163 - x183 - x203 - x223
      - x243 - x263 - x283 - x303 - x323 - x343 - x363 - x383 - x403 - x423
      - x443 - x463 - x483 =E= 0;

e4..  - x4 - x24 - x44 + x64 - x104 - x124 - x144 - x164 - x184 - x204 - x224
      - x244 - x264 - x284 - x304 - x324 - x344 - x364 - x384 - x404 - x424
      - x444 - x464 - x484 =E= 0;

e5..  - x5 - x25 - x45 + x65 - x105 - x125 - x145 - x165 - x185 - x205 - x225
      - x245 - x265 - x285 - x305 - x325 - x345 - x365 - x385 - x405 - x425
      - x445 - x465 - x485 =E= 0;

e6..  - x6 - x26 - x46 + x66 - x106 - x126 - x146 - x166 - x186 - x206 - x226
      - x246 - x266 - x286 - x306 - x326 - x346 - x366 - x386 - x406 - x426
      - x446 - x466 - x486 =E= 0;

e7..  - x7 - x27 - x47 + x67 - x107 - x127 - x147 - x167 - x187 - x207 - x227
      - x247 - x267 - x287 - x307 - x327 - x347 - x367 - x387 - x407 - x427
      - x447 - x467 - x487 =E= 0;

e8..  - x8 - x28 - x48 + x68 - x108 - x128 - x148 - x168 - x188 - x208 - x228
      - x248 - x268 - x288 - x308 - x328 - x348 - x368 - x388 - x408 - x428
      - x448 - x468 - x488 =E= 0;

e9..  - x9 - x29 - x49 + x69 - x109 - x129 - x149 - x169 - x189 - x209 - x229
      - x249 - x269 - x289 - x309 - x329 - x349 - x369 - x389 - x409 - x429
      - x449 - x469 - x489 =E= 0;

e10..  - x10 - x30 - x50 + x70 - x110 - x130 - x150 - x170 - x190 - x210 - x230
       - x250 - x270 - x290 - x310 - x330 - x350 - x370 - x390 - x410 - x430
       - x450 - x470 - x490 =E= 0;

e11..  - x11 - x31 - x51 + x71 - x111 - x131 - x151 - x171 - x191 - x211 - x231
       - x251 - x271 - x291 - x311 - x331 - x351 - x371 - x391 - x411 - x431
       - x451 - x471 - x491 =E= 0;

e12..  - x12 - x32 - x52 + x72 - x112 - x132 - x152 - x172 - x192 - x212 - x232
       - x252 - x272 - x292 - x312 - x332 - x352 - x372 - x392 - x412 - x432
       - x452 - x472 - x492 =E= 0;

e13..  - x13 - x33 - x53 + x73 - x113 - x133 - x153 - x173 - x193 - x213 - x233
       - x253 - x273 - x293 - x313 - x333 - x353 - x373 - x393 - x413 - x433
       - x453 - x473 - x493 =E= 0;

e14..  - x14 - x34 - x54 + x74 - x114 - x134 - x154 - x174 - x194 - x214 - x234
       - x254 - x274 - x294 - x314 - x334 - x354 - x374 - x394 - x414 - x434
       - x454 - x474 - x494 =E= 0;

e15..  - x15 - x35 - x55 + x75 - x115 - x135 - x155 - x175 - x195 - x215 - x235
       - x255 - x275 - x295 - x315 - x335 - x355 - x375 - x395 - x415 - x435
       - x455 - x475 - x495 =E= 0;

e16..  - x16 - x36 - x56 + x76 - x116 - x136 - x156 - x176 - x196 - x216 - x236
       - x256 - x276 - x296 - x316 - x336 - x356 - x376 - x396 - x416 - x436
       - x456 - x476 - x496 =E= 0;

e17..  - x17 - x37 - x57 + x77 - x117 - x137 - x157 - x177 - x197 - x217 - x237
       - x257 - x277 - x297 - x317 - x337 - x357 - x377 - x397 - x417 - x437
       - x457 - x477 - x497 =E= 0;

e18..  - x18 - x38 - x58 + x78 - x118 - x138 - x158 - x178 - x198 - x218 - x238
       - x258 - x278 - x298 - x318 - x338 - x358 - x378 - x398 - x418 - x438
       - x458 - x478 - x498 =E= 0;

e19..  - x19 - x39 - x59 + x79 - x119 - x139 - x159 - x179 - x199 - x219 - x239
       - x259 - x279 - x299 - x319 - x339 - x359 - x379 - x399 - x419 - x439
       - x459 - x479 - x499 =E= 0;

e20..  - x20 - x40 - x60 + x80 - x120 - x140 - x160 - x180 - x200 - x220 - x240
       - x260 - x280 - x300 - x320 - x340 - x360 - x380 - x400 - x420 - x440
       - x460 - x480 - x500 =E= 0;

e21..  - x21 - x41 - x61 + x81 - x121 - x141 - x161 - x181 - x201 - x221 - x241
       - x261 - x281 - x301 - x321 - x341 - x361 - x381 - x401 - x421 - x441
       - x461 - x481 - x501 =E= 0;

e22..    x62 - x82 - x102 - x103 - x104 - x105 - x106 - x107 - x108 - x109
       - x110 - x111 - x112 - x113 - x114 - x115 - x116 - x117 - x118 - x119
       - x120 - x121 =E= 0;

e23..    x63 - x83 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129
       - x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139
       - x140 - x141 =E= 0;

e24..    x64 - x84 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149
       - x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159
       - x160 - x161 =E= 0;

e25..    x65 - x85 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169
       - x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179
       - x180 - x181 =E= 0;

e26..    x66 - x86 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189
       - x190 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199
       - x200 - x201 =E= 0;

e27..    x67 - x87 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209
       - x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219
       - x220 - x221 =E= 0;

e28..    x68 - x88 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229
       - x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239
       - x240 - x241 =E= 0;

e29..    x69 - x89 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249
       - x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259
       - x260 - x261 =E= 0;

e30..    x70 - x90 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269
       - x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279
       - x280 - x281 =E= 0;

e31..    x71 - x91 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289
       - x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299
       - x300 - x301 =E= 0;

e32..    x72 - x92 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309
       - x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319
       - x320 - x321 =E= 0;

e33..    x73 - x93 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329
       - x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339
       - x340 - x341 =E= 0;

e34..    x74 - x94 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349
       - x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359
       - x360 - x361 =E= 0;

e35..    x75 - x95 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369
       - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379
       - x380 - x381 =E= 0;

e36..    x76 - x96 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389
       - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399
       - x400 - x401 =E= 0;

e37..    x77 - x97 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409
       - x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419
       - x420 - x421 =E= 0;

e38..    x78 - x98 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429
       - x430 - x431 - x432 - x433 - x434 - x435 - x436 - x437 - x438 - x439
       - x440 - x441 =E= 0;

e39..    x79 - x99 - x442 - x443 - x444 - x445 - x446 - x447 - x448 - x449
       - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459
       - x460 - x461 =E= 0;

e40..    x80 - x100 - x462 - x463 - x464 - x465 - x466 - x467 - x468 - x469
       - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479
       - x480 - x481 =E= 0;

e41..    x81 - x101 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489
       - x490 - x491 - x492 - x493 - x494 - x495 - x496 - x497 - x498 - x499
       - x500 - x501 =E= 0;

e42.. x62*x502 - (x102*x582 + x122*x586 + x142*x590 + x162*x594 + x182*x598 + 
      x202*x602 + x222*x606 + x242*x610 + x262*x614 + x282*x618 + x302*x622 + 
      x322*x626 + x342*x630 + x362*x634 + x382*x638 + x402*x642 + x422*x646 + 
      x442*x650 + x462*x654 + x482*x658) - 2*x2 - 7*x22 - 7*x42 =E= 0;

e43.. x62*x503 - (x102*x583 + x122*x587 + x142*x591 + x162*x595 + x182*x599 + 
      x202*x603 + x222*x607 + x242*x611 + x262*x615 + x282*x619 + x302*x623 + 
      x322*x627 + x342*x631 + x362*x635 + x382*x639 + x402*x643 + x422*x647 + 
      x442*x651 + x462*x655 + x482*x659) - 9*x2 - 6*x22 - 9*x42 =E= 0;

e44.. x62*x504 - (x102*x584 + x122*x588 + x142*x592 + x162*x596 + x182*x600 + 
      x202*x604 + x222*x608 + x242*x612 + x262*x616 + x282*x620 + x302*x624 + 
      x322*x628 + x342*x632 + x362*x636 + x382*x640 + x402*x644 + x422*x648 + 
      x442*x652 + x462*x656 + x482*x660) - 8*x2 - 4*x22 - 7*x42 =E= 0;

e45.. x62*x505 - (x102*x585 + x122*x589 + x142*x593 + x162*x597 + x182*x601 + 
      x202*x605 + x222*x609 + x242*x613 + x262*x617 + x282*x621 + x302*x625 + 
      x322*x629 + x342*x633 + x362*x637 + x382*x641 + x402*x645 + x422*x649 + 
      x442*x653 + x462*x657 + x482*x661) - x2 - 6*x22 - x42 =E= 0;

e46.. x63*x506 - (x103*x582 + x123*x586 + x143*x590 + x163*x594 + x183*x598 + 
      x203*x602 + x223*x606 + x243*x610 + x263*x614 + x283*x618 + x303*x622 + 
      x323*x626 + x343*x630 + x363*x634 + x383*x638 + x403*x642 + x423*x646 + 
      x443*x650 + x463*x654 + x483*x658) - 2*x3 - 7*x23 - 7*x43 =E= 0;

e47.. x63*x507 - (x103*x583 + x123*x587 + x143*x591 + x163*x595 + x183*x599 + 
      x203*x603 + x223*x607 + x243*x611 + x263*x615 + x283*x619 + x303*x623 + 
      x323*x627 + x343*x631 + x363*x635 + x383*x639 + x403*x643 + x423*x647 + 
      x443*x651 + x463*x655 + x483*x659) - 9*x3 - 6*x23 - 9*x43 =E= 0;

e48.. x63*x508 - (x103*x584 + x123*x588 + x143*x592 + x163*x596 + x183*x600 + 
      x203*x604 + x223*x608 + x243*x612 + x263*x616 + x283*x620 + x303*x624 + 
      x323*x628 + x343*x632 + x363*x636 + x383*x640 + x403*x644 + x423*x648 + 
      x443*x652 + x463*x656 + x483*x660) - 8*x3 - 4*x23 - 7*x43 =E= 0;

e49.. x63*x509 - (x103*x585 + x123*x589 + x143*x593 + x163*x597 + x183*x601 + 
      x203*x605 + x223*x609 + x243*x613 + x263*x617 + x283*x621 + x303*x625 + 
      x323*x629 + x343*x633 + x363*x637 + x383*x641 + x403*x645 + x423*x649 + 
      x443*x653 + x463*x657 + x483*x661) - x3 - 6*x23 - x43 =E= 0;

e50.. x64*x510 - (x104*x582 + x124*x586 + x144*x590 + x164*x594 + x184*x598 + 
      x204*x602 + x224*x606 + x244*x610 + x264*x614 + x284*x618 + x304*x622 + 
      x324*x626 + x344*x630 + x364*x634 + x384*x638 + x404*x642 + x424*x646 + 
      x444*x650 + x464*x654 + x484*x658) - 2*x4 - 7*x24 - 7*x44 =E= 0;

e51.. x64*x511 - (x104*x583 + x124*x587 + x144*x591 + x164*x595 + x184*x599 + 
      x204*x603 + x224*x607 + x244*x611 + x264*x615 + x284*x619 + x304*x623 + 
      x324*x627 + x344*x631 + x364*x635 + x384*x639 + x404*x643 + x424*x647 + 
      x444*x651 + x464*x655 + x484*x659) - 9*x4 - 6*x24 - 9*x44 =E= 0;

e52.. x64*x512 - (x104*x584 + x124*x588 + x144*x592 + x164*x596 + x184*x600 + 
      x204*x604 + x224*x608 + x244*x612 + x264*x616 + x284*x620 + x304*x624 + 
      x324*x628 + x344*x632 + x364*x636 + x384*x640 + x404*x644 + x424*x648 + 
      x444*x652 + x464*x656 + x484*x660) - 8*x4 - 4*x24 - 7*x44 =E= 0;

e53.. x64*x513 - (x104*x585 + x124*x589 + x144*x593 + x164*x597 + x184*x601 + 
      x204*x605 + x224*x609 + x244*x613 + x264*x617 + x284*x621 + x304*x625 + 
      x324*x629 + x344*x633 + x364*x637 + x384*x641 + x404*x645 + x424*x649 + 
      x444*x653 + x464*x657 + x484*x661) - x4 - 6*x24 - x44 =E= 0;

e54.. x65*x514 - (x105*x582 + x125*x586 + x145*x590 + x165*x594 + x185*x598 + 
      x205*x602 + x225*x606 + x245*x610 + x265*x614 + x285*x618 + x305*x622 + 
      x325*x626 + x345*x630 + x365*x634 + x385*x638 + x405*x642 + x425*x646 + 
      x445*x650 + x465*x654 + x485*x658) - 2*x5 - 7*x25 - 7*x45 =E= 0;

e55.. x65*x515 - (x105*x583 + x125*x587 + x145*x591 + x165*x595 + x185*x599 + 
      x205*x603 + x225*x607 + x245*x611 + x265*x615 + x285*x619 + x305*x623 + 
      x325*x627 + x345*x631 + x365*x635 + x385*x639 + x405*x643 + x425*x647 + 
      x445*x651 + x465*x655 + x485*x659) - 9*x5 - 6*x25 - 9*x45 =E= 0;

e56.. x65*x516 - (x105*x584 + x125*x588 + x145*x592 + x165*x596 + x185*x600 + 
      x205*x604 + x225*x608 + x245*x612 + x265*x616 + x285*x620 + x305*x624 + 
      x325*x628 + x345*x632 + x365*x636 + x385*x640 + x405*x644 + x425*x648 + 
      x445*x652 + x465*x656 + x485*x660) - 8*x5 - 4*x25 - 7*x45 =E= 0;

e57.. x65*x517 - (x105*x585 + x125*x589 + x145*x593 + x165*x597 + x185*x601 + 
      x205*x605 + x225*x609 + x245*x613 + x265*x617 + x285*x621 + x305*x625 + 
      x325*x629 + x345*x633 + x365*x637 + x385*x641 + x405*x645 + x425*x649 + 
      x445*x653 + x465*x657 + x485*x661) - x5 - 6*x25 - x45 =E= 0;

e58.. x66*x518 - (x106*x582 + x126*x586 + x146*x590 + x166*x594 + x186*x598 + 
      x206*x602 + x226*x606 + x246*x610 + x266*x614 + x286*x618 + x306*x622 + 
      x326*x626 + x346*x630 + x366*x634 + x386*x638 + x406*x642 + x426*x646 + 
      x446*x650 + x466*x654 + x486*x658) - 2*x6 - 7*x26 - 7*x46 =E= 0;

e59.. x66*x519 - (x106*x583 + x126*x587 + x146*x591 + x166*x595 + x186*x599 + 
      x206*x603 + x226*x607 + x246*x611 + x266*x615 + x286*x619 + x306*x623 + 
      x326*x627 + x346*x631 + x366*x635 + x386*x639 + x406*x643 + x426*x647 + 
      x446*x651 + x466*x655 + x486*x659) - 9*x6 - 6*x26 - 9*x46 =E= 0;

e60.. x66*x520 - (x106*x584 + x126*x588 + x146*x592 + x166*x596 + x186*x600 + 
      x206*x604 + x226*x608 + x246*x612 + x266*x616 + x286*x620 + x306*x624 + 
      x326*x628 + x346*x632 + x366*x636 + x386*x640 + x406*x644 + x426*x648 + 
      x446*x652 + x466*x656 + x486*x660) - 8*x6 - 4*x26 - 7*x46 =E= 0;

e61.. x66*x521 - (x106*x585 + x126*x589 + x146*x593 + x166*x597 + x186*x601 + 
      x206*x605 + x226*x609 + x246*x613 + x266*x617 + x286*x621 + x306*x625 + 
      x326*x629 + x346*x633 + x366*x637 + x386*x641 + x406*x645 + x426*x649 + 
      x446*x653 + x466*x657 + x486*x661) - x6 - 6*x26 - x46 =E= 0;

e62.. x67*x522 - (x107*x582 + x127*x586 + x147*x590 + x167*x594 + x187*x598 + 
      x207*x602 + x227*x606 + x247*x610 + x267*x614 + x287*x618 + x307*x622 + 
      x327*x626 + x347*x630 + x367*x634 + x387*x638 + x407*x642 + x427*x646 + 
      x447*x650 + x467*x654 + x487*x658) - 2*x7 - 7*x27 - 7*x47 =E= 0;

e63.. x67*x523 - (x107*x583 + x127*x587 + x147*x591 + x167*x595 + x187*x599 + 
      x207*x603 + x227*x607 + x247*x611 + x267*x615 + x287*x619 + x307*x623 + 
      x327*x627 + x347*x631 + x367*x635 + x387*x639 + x407*x643 + x427*x647 + 
      x447*x651 + x467*x655 + x487*x659) - 9*x7 - 6*x27 - 9*x47 =E= 0;

e64.. x67*x524 - (x107*x584 + x127*x588 + x147*x592 + x167*x596 + x187*x600 + 
      x207*x604 + x227*x608 + x247*x612 + x267*x616 + x287*x620 + x307*x624 + 
      x327*x628 + x347*x632 + x367*x636 + x387*x640 + x407*x644 + x427*x648 + 
      x447*x652 + x467*x656 + x487*x660) - 8*x7 - 4*x27 - 7*x47 =E= 0;

e65.. x67*x525 - (x107*x585 + x127*x589 + x147*x593 + x167*x597 + x187*x601 + 
      x207*x605 + x227*x609 + x247*x613 + x267*x617 + x287*x621 + x307*x625 + 
      x327*x629 + x347*x633 + x367*x637 + x387*x641 + x407*x645 + x427*x649 + 
      x447*x653 + x467*x657 + x487*x661) - x7 - 6*x27 - x47 =E= 0;

e66.. x68*x526 - (x108*x582 + x128*x586 + x148*x590 + x168*x594 + x188*x598 + 
      x208*x602 + x228*x606 + x248*x610 + x268*x614 + x288*x618 + x308*x622 + 
      x328*x626 + x348*x630 + x368*x634 + x388*x638 + x408*x642 + x428*x646 + 
      x448*x650 + x468*x654 + x488*x658) - 2*x8 - 7*x28 - 7*x48 =E= 0;

e67.. x68*x527 - (x108*x583 + x128*x587 + x148*x591 + x168*x595 + x188*x599 + 
      x208*x603 + x228*x607 + x248*x611 + x268*x615 + x288*x619 + x308*x623 + 
      x328*x627 + x348*x631 + x368*x635 + x388*x639 + x408*x643 + x428*x647 + 
      x448*x651 + x468*x655 + x488*x659) - 9*x8 - 6*x28 - 9*x48 =E= 0;

e68.. x68*x528 - (x108*x584 + x128*x588 + x148*x592 + x168*x596 + x188*x600 + 
      x208*x604 + x228*x608 + x248*x612 + x268*x616 + x288*x620 + x308*x624 + 
      x328*x628 + x348*x632 + x368*x636 + x388*x640 + x408*x644 + x428*x648 + 
      x448*x652 + x468*x656 + x488*x660) - 8*x8 - 4*x28 - 7*x48 =E= 0;

e69.. x68*x529 - (x108*x585 + x128*x589 + x148*x593 + x168*x597 + x188*x601 + 
      x208*x605 + x228*x609 + x248*x613 + x268*x617 + x288*x621 + x308*x625 + 
      x328*x629 + x348*x633 + x368*x637 + x388*x641 + x408*x645 + x428*x649 + 
      x448*x653 + x468*x657 + x488*x661) - x8 - 6*x28 - x48 =E= 0;

e70.. x69*x530 - (x109*x582 + x129*x586 + x149*x590 + x169*x594 + x189*x598 + 
      x209*x602 + x229*x606 + x249*x610 + x269*x614 + x289*x618 + x309*x622 + 
      x329*x626 + x349*x630 + x369*x634 + x389*x638 + x409*x642 + x429*x646 + 
      x449*x650 + x469*x654 + x489*x658) - 2*x9 - 7*x29 - 7*x49 =E= 0;

e71.. x69*x531 - (x109*x583 + x129*x587 + x149*x591 + x169*x595 + x189*x599 + 
      x209*x603 + x229*x607 + x249*x611 + x269*x615 + x289*x619 + x309*x623 + 
      x329*x627 + x349*x631 + x369*x635 + x389*x639 + x409*x643 + x429*x647 + 
      x449*x651 + x469*x655 + x489*x659) - 9*x9 - 6*x29 - 9*x49 =E= 0;

e72.. x69*x532 - (x109*x584 + x129*x588 + x149*x592 + x169*x596 + x189*x600 + 
      x209*x604 + x229*x608 + x249*x612 + x269*x616 + x289*x620 + x309*x624 + 
      x329*x628 + x349*x632 + x369*x636 + x389*x640 + x409*x644 + x429*x648 + 
      x449*x652 + x469*x656 + x489*x660) - 8*x9 - 4*x29 - 7*x49 =E= 0;

e73.. x69*x533 - (x109*x585 + x129*x589 + x149*x593 + x169*x597 + x189*x601 + 
      x209*x605 + x229*x609 + x249*x613 + x269*x617 + x289*x621 + x309*x625 + 
      x329*x629 + x349*x633 + x369*x637 + x389*x641 + x409*x645 + x429*x649 + 
      x449*x653 + x469*x657 + x489*x661) - x9 - 6*x29 - x49 =E= 0;

e74.. x70*x534 - (x110*x582 + x130*x586 + x150*x590 + x170*x594 + x190*x598 + 
      x210*x602 + x230*x606 + x250*x610 + x270*x614 + x290*x618 + x310*x622 + 
      x330*x626 + x350*x630 + x370*x634 + x390*x638 + x410*x642 + x430*x646 + 
      x450*x650 + x470*x654 + x490*x658) - 2*x10 - 7*x30 - 7*x50 =E= 0;

e75.. x70*x535 - (x110*x583 + x130*x587 + x150*x591 + x170*x595 + x190*x599 + 
      x210*x603 + x230*x607 + x250*x611 + x270*x615 + x290*x619 + x310*x623 + 
      x330*x627 + x350*x631 + x370*x635 + x390*x639 + x410*x643 + x430*x647 + 
      x450*x651 + x470*x655 + x490*x659) - 9*x10 - 6*x30 - 9*x50 =E= 0;

e76.. x70*x536 - (x110*x584 + x130*x588 + x150*x592 + x170*x596 + x190*x600 + 
      x210*x604 + x230*x608 + x250*x612 + x270*x616 + x290*x620 + x310*x624 + 
      x330*x628 + x350*x632 + x370*x636 + x390*x640 + x410*x644 + x430*x648 + 
      x450*x652 + x470*x656 + x490*x660) - 8*x10 - 4*x30 - 7*x50 =E= 0;

e77.. x70*x537 - (x110*x585 + x130*x589 + x150*x593 + x170*x597 + x190*x601 + 
      x210*x605 + x230*x609 + x250*x613 + x270*x617 + x290*x621 + x310*x625 + 
      x330*x629 + x350*x633 + x370*x637 + x390*x641 + x410*x645 + x430*x649 + 
      x450*x653 + x470*x657 + x490*x661) - x10 - 6*x30 - x50 =E= 0;

e78.. x71*x538 - (x111*x582 + x131*x586 + x151*x590 + x171*x594 + x191*x598 + 
      x211*x602 + x231*x606 + x251*x610 + x271*x614 + x291*x618 + x311*x622 + 
      x331*x626 + x351*x630 + x371*x634 + x391*x638 + x411*x642 + x431*x646 + 
      x451*x650 + x471*x654 + x491*x658) - 2*x11 - 7*x31 - 7*x51 =E= 0;

e79.. x71*x539 - (x111*x583 + x131*x587 + x151*x591 + x171*x595 + x191*x599 + 
      x211*x603 + x231*x607 + x251*x611 + x271*x615 + x291*x619 + x311*x623 + 
      x331*x627 + x351*x631 + x371*x635 + x391*x639 + x411*x643 + x431*x647 + 
      x451*x651 + x471*x655 + x491*x659) - 9*x11 - 6*x31 - 9*x51 =E= 0;

e80.. x71*x540 - (x111*x584 + x131*x588 + x151*x592 + x171*x596 + x191*x600 + 
      x211*x604 + x231*x608 + x251*x612 + x271*x616 + x291*x620 + x311*x624 + 
      x331*x628 + x351*x632 + x371*x636 + x391*x640 + x411*x644 + x431*x648 + 
      x451*x652 + x471*x656 + x491*x660) - 8*x11 - 4*x31 - 7*x51 =E= 0;

e81.. x71*x541 - (x111*x585 + x131*x589 + x151*x593 + x171*x597 + x191*x601 + 
      x211*x605 + x231*x609 + x251*x613 + x271*x617 + x291*x621 + x311*x625 + 
      x331*x629 + x351*x633 + x371*x637 + x391*x641 + x411*x645 + x431*x649 + 
      x451*x653 + x471*x657 + x491*x661) - x11 - 6*x31 - x51 =E= 0;

e82.. x72*x542 - (x112*x582 + x132*x586 + x152*x590 + x172*x594 + x192*x598 + 
      x212*x602 + x232*x606 + x252*x610 + x272*x614 + x292*x618 + x312*x622 + 
      x332*x626 + x352*x630 + x372*x634 + x392*x638 + x412*x642 + x432*x646 + 
      x452*x650 + x472*x654 + x492*x658) - 2*x12 - 7*x32 - 7*x52 =E= 0;

e83.. x72*x543 - (x112*x583 + x132*x587 + x152*x591 + x172*x595 + x192*x599 + 
      x212*x603 + x232*x607 + x252*x611 + x272*x615 + x292*x619 + x312*x623 + 
      x332*x627 + x352*x631 + x372*x635 + x392*x639 + x412*x643 + x432*x647 + 
      x452*x651 + x472*x655 + x492*x659) - 9*x12 - 6*x32 - 9*x52 =E= 0;

e84.. x72*x544 - (x112*x584 + x132*x588 + x152*x592 + x172*x596 + x192*x600 + 
      x212*x604 + x232*x608 + x252*x612 + x272*x616 + x292*x620 + x312*x624 + 
      x332*x628 + x352*x632 + x372*x636 + x392*x640 + x412*x644 + x432*x648 + 
      x452*x652 + x472*x656 + x492*x660) - 8*x12 - 4*x32 - 7*x52 =E= 0;

e85.. x72*x545 - (x112*x585 + x132*x589 + x152*x593 + x172*x597 + x192*x601 + 
      x212*x605 + x232*x609 + x252*x613 + x272*x617 + x292*x621 + x312*x625 + 
      x332*x629 + x352*x633 + x372*x637 + x392*x641 + x412*x645 + x432*x649 + 
      x452*x653 + x472*x657 + x492*x661) - x12 - 6*x32 - x52 =E= 0;

e86.. x73*x546 - (x113*x582 + x133*x586 + x153*x590 + x173*x594 + x193*x598 + 
      x213*x602 + x233*x606 + x253*x610 + x273*x614 + x293*x618 + x313*x622 + 
      x333*x626 + x353*x630 + x373*x634 + x393*x638 + x413*x642 + x433*x646 + 
      x453*x650 + x473*x654 + x493*x658) - 2*x13 - 7*x33 - 7*x53 =E= 0;

e87.. x73*x547 - (x113*x583 + x133*x587 + x153*x591 + x173*x595 + x193*x599 + 
      x213*x603 + x233*x607 + x253*x611 + x273*x615 + x293*x619 + x313*x623 + 
      x333*x627 + x353*x631 + x373*x635 + x393*x639 + x413*x643 + x433*x647 + 
      x453*x651 + x473*x655 + x493*x659) - 9*x13 - 6*x33 - 9*x53 =E= 0;

e88.. x73*x548 - (x113*x584 + x133*x588 + x153*x592 + x173*x596 + x193*x600 + 
      x213*x604 + x233*x608 + x253*x612 + x273*x616 + x293*x620 + x313*x624 + 
      x333*x628 + x353*x632 + x373*x636 + x393*x640 + x413*x644 + x433*x648 + 
      x453*x652 + x473*x656 + x493*x660) - 8*x13 - 4*x33 - 7*x53 =E= 0;

e89.. x73*x549 - (x113*x585 + x133*x589 + x153*x593 + x173*x597 + x193*x601 + 
      x213*x605 + x233*x609 + x253*x613 + x273*x617 + x293*x621 + x313*x625 + 
      x333*x629 + x353*x633 + x373*x637 + x393*x641 + x413*x645 + x433*x649 + 
      x453*x653 + x473*x657 + x493*x661) - x13 - 6*x33 - x53 =E= 0;

e90.. x74*x550 - (x114*x582 + x134*x586 + x154*x590 + x174*x594 + x194*x598 + 
      x214*x602 + x234*x606 + x254*x610 + x274*x614 + x294*x618 + x314*x622 + 
      x334*x626 + x354*x630 + x374*x634 + x394*x638 + x414*x642 + x434*x646 + 
      x454*x650 + x474*x654 + x494*x658) - 2*x14 - 7*x34 - 7*x54 =E= 0;

e91.. x74*x551 - (x114*x583 + x134*x587 + x154*x591 + x174*x595 + x194*x599 + 
      x214*x603 + x234*x607 + x254*x611 + x274*x615 + x294*x619 + x314*x623 + 
      x334*x627 + x354*x631 + x374*x635 + x394*x639 + x414*x643 + x434*x647 + 
      x454*x651 + x474*x655 + x494*x659) - 9*x14 - 6*x34 - 9*x54 =E= 0;

e92.. x74*x552 - (x114*x584 + x134*x588 + x154*x592 + x174*x596 + x194*x600 + 
      x214*x604 + x234*x608 + x254*x612 + x274*x616 + x294*x620 + x314*x624 + 
      x334*x628 + x354*x632 + x374*x636 + x394*x640 + x414*x644 + x434*x648 + 
      x454*x652 + x474*x656 + x494*x660) - 8*x14 - 4*x34 - 7*x54 =E= 0;

e93.. x74*x553 - (x114*x585 + x134*x589 + x154*x593 + x174*x597 + x194*x601 + 
      x214*x605 + x234*x609 + x254*x613 + x274*x617 + x294*x621 + x314*x625 + 
      x334*x629 + x354*x633 + x374*x637 + x394*x641 + x414*x645 + x434*x649 + 
      x454*x653 + x474*x657 + x494*x661) - x14 - 6*x34 - x54 =E= 0;

e94.. x75*x554 - (x115*x582 + x135*x586 + x155*x590 + x175*x594 + x195*x598 + 
      x215*x602 + x235*x606 + x255*x610 + x275*x614 + x295*x618 + x315*x622 + 
      x335*x626 + x355*x630 + x375*x634 + x395*x638 + x415*x642 + x435*x646 + 
      x455*x650 + x475*x654 + x495*x658) - 2*x15 - 7*x35 - 7*x55 =E= 0;

e95.. x75*x555 - (x115*x583 + x135*x587 + x155*x591 + x175*x595 + x195*x599 + 
      x215*x603 + x235*x607 + x255*x611 + x275*x615 + x295*x619 + x315*x623 + 
      x335*x627 + x355*x631 + x375*x635 + x395*x639 + x415*x643 + x435*x647 + 
      x455*x651 + x475*x655 + x495*x659) - 9*x15 - 6*x35 - 9*x55 =E= 0;

e96.. x75*x556 - (x115*x584 + x135*x588 + x155*x592 + x175*x596 + x195*x600 + 
      x215*x604 + x235*x608 + x255*x612 + x275*x616 + x295*x620 + x315*x624 + 
      x335*x628 + x355*x632 + x375*x636 + x395*x640 + x415*x644 + x435*x648 + 
      x455*x652 + x475*x656 + x495*x660) - 8*x15 - 4*x35 - 7*x55 =E= 0;

e97.. x75*x557 - (x115*x585 + x135*x589 + x155*x593 + x175*x597 + x195*x601 + 
      x215*x605 + x235*x609 + x255*x613 + x275*x617 + x295*x621 + x315*x625 + 
      x335*x629 + x355*x633 + x375*x637 + x395*x641 + x415*x645 + x435*x649 + 
      x455*x653 + x475*x657 + x495*x661) - x15 - 6*x35 - x55 =E= 0;

e98.. x76*x558 - (x116*x582 + x136*x586 + x156*x590 + x176*x594 + x196*x598 + 
      x216*x602 + x236*x606 + x256*x610 + x276*x614 + x296*x618 + x316*x622 + 
      x336*x626 + x356*x630 + x376*x634 + x396*x638 + x416*x642 + x436*x646 + 
      x456*x650 + x476*x654 + x496*x658) - 2*x16 - 7*x36 - 7*x56 =E= 0;

e99.. x76*x559 - (x116*x583 + x136*x587 + x156*x591 + x176*x595 + x196*x599 + 
      x216*x603 + x236*x607 + x256*x611 + x276*x615 + x296*x619 + x316*x623 + 
      x336*x627 + x356*x631 + x376*x635 + x396*x639 + x416*x643 + x436*x647 + 
      x456*x651 + x476*x655 + x496*x659) - 9*x16 - 6*x36 - 9*x56 =E= 0;

e100.. x76*x560 - (x116*x584 + x136*x588 + x156*x592 + x176*x596 + x196*x600 + 
       x216*x604 + x236*x608 + x256*x612 + x276*x616 + x296*x620 + x316*x624 + 
       x336*x628 + x356*x632 + x376*x636 + x396*x640 + x416*x644 + x436*x648 + 
       x456*x652 + x476*x656 + x496*x660) - 8*x16 - 4*x36 - 7*x56 =E= 0;

e101.. x76*x561 - (x116*x585 + x136*x589 + x156*x593 + x176*x597 + x196*x601 + 
       x216*x605 + x236*x609 + x256*x613 + x276*x617 + x296*x621 + x316*x625 + 
       x336*x629 + x356*x633 + x376*x637 + x396*x641 + x416*x645 + x436*x649 + 
       x456*x653 + x476*x657 + x496*x661) - x16 - 6*x36 - x56 =E= 0;

e102.. x77*x562 - (x117*x582 + x137*x586 + x157*x590 + x177*x594 + x197*x598 + 
       x217*x602 + x237*x606 + x257*x610 + x277*x614 + x297*x618 + x317*x622 + 
       x337*x626 + x357*x630 + x377*x634 + x397*x638 + x417*x642 + x437*x646 + 
       x457*x650 + x477*x654 + x497*x658) - 2*x17 - 7*x37 - 7*x57 =E= 0;

e103.. x77*x563 - (x117*x583 + x137*x587 + x157*x591 + x177*x595 + x197*x599 + 
       x217*x603 + x237*x607 + x257*x611 + x277*x615 + x297*x619 + x317*x623 + 
       x337*x627 + x357*x631 + x377*x635 + x397*x639 + x417*x643 + x437*x647 + 
       x457*x651 + x477*x655 + x497*x659) - 9*x17 - 6*x37 - 9*x57 =E= 0;

e104.. x77*x564 - (x117*x584 + x137*x588 + x157*x592 + x177*x596 + x197*x600 + 
       x217*x604 + x237*x608 + x257*x612 + x277*x616 + x297*x620 + x317*x624 + 
       x337*x628 + x357*x632 + x377*x636 + x397*x640 + x417*x644 + x437*x648 + 
       x457*x652 + x477*x656 + x497*x660) - 8*x17 - 4*x37 - 7*x57 =E= 0;

e105.. x77*x565 - (x117*x585 + x137*x589 + x157*x593 + x177*x597 + x197*x601 + 
       x217*x605 + x237*x609 + x257*x613 + x277*x617 + x297*x621 + x317*x625 + 
       x337*x629 + x357*x633 + x377*x637 + x397*x641 + x417*x645 + x437*x649 + 
       x457*x653 + x477*x657 + x497*x661) - x17 - 6*x37 - x57 =E= 0;

e106.. x78*x566 - (x118*x582 + x138*x586 + x158*x590 + x178*x594 + x198*x598 + 
       x218*x602 + x238*x606 + x258*x610 + x278*x614 + x298*x618 + x318*x622 + 
       x338*x626 + x358*x630 + x378*x634 + x398*x638 + x418*x642 + x438*x646 + 
       x458*x650 + x478*x654 + x498*x658) - 2*x18 - 7*x38 - 7*x58 =E= 0;

e107.. x78*x567 - (x118*x583 + x138*x587 + x158*x591 + x178*x595 + x198*x599 + 
       x218*x603 + x238*x607 + x258*x611 + x278*x615 + x298*x619 + x318*x623 + 
       x338*x627 + x358*x631 + x378*x635 + x398*x639 + x418*x643 + x438*x647 + 
       x458*x651 + x478*x655 + x498*x659) - 9*x18 - 6*x38 - 9*x58 =E= 0;

e108.. x78*x568 - (x118*x584 + x138*x588 + x158*x592 + x178*x596 + x198*x600 + 
       x218*x604 + x238*x608 + x258*x612 + x278*x616 + x298*x620 + x318*x624 + 
       x338*x628 + x358*x632 + x378*x636 + x398*x640 + x418*x644 + x438*x648 + 
       x458*x652 + x478*x656 + x498*x660) - 8*x18 - 4*x38 - 7*x58 =E= 0;

e109.. x78*x569 - (x118*x585 + x138*x589 + x158*x593 + x178*x597 + x198*x601 + 
       x218*x605 + x238*x609 + x258*x613 + x278*x617 + x298*x621 + x318*x625 + 
       x338*x629 + x358*x633 + x378*x637 + x398*x641 + x418*x645 + x438*x649 + 
       x458*x653 + x478*x657 + x498*x661) - x18 - 6*x38 - x58 =E= 0;

e110.. x79*x570 - (x119*x582 + x139*x586 + x159*x590 + x179*x594 + x199*x598 + 
       x219*x602 + x239*x606 + x259*x610 + x279*x614 + x299*x618 + x319*x622 + 
       x339*x626 + x359*x630 + x379*x634 + x399*x638 + x419*x642 + x439*x646 + 
       x459*x650 + x479*x654 + x499*x658) - 2*x19 - 7*x39 - 7*x59 =E= 0;

e111.. x79*x571 - (x119*x583 + x139*x587 + x159*x591 + x179*x595 + x199*x599 + 
       x219*x603 + x239*x607 + x259*x611 + x279*x615 + x299*x619 + x319*x623 + 
       x339*x627 + x359*x631 + x379*x635 + x399*x639 + x419*x643 + x439*x647 + 
       x459*x651 + x479*x655 + x499*x659) - 9*x19 - 6*x39 - 9*x59 =E= 0;

e112.. x79*x572 - (x119*x584 + x139*x588 + x159*x592 + x179*x596 + x199*x600 + 
       x219*x604 + x239*x608 + x259*x612 + x279*x616 + x299*x620 + x319*x624 + 
       x339*x628 + x359*x632 + x379*x636 + x399*x640 + x419*x644 + x439*x648 + 
       x459*x652 + x479*x656 + x499*x660) - 8*x19 - 4*x39 - 7*x59 =E= 0;

e113.. x79*x573 - (x119*x585 + x139*x589 + x159*x593 + x179*x597 + x199*x601 + 
       x219*x605 + x239*x609 + x259*x613 + x279*x617 + x299*x621 + x319*x625 + 
       x339*x629 + x359*x633 + x379*x637 + x399*x641 + x419*x645 + x439*x649 + 
       x459*x653 + x479*x657 + x499*x661) - x19 - 6*x39 - x59 =E= 0;

e114.. x80*x574 - (x120*x582 + x140*x586 + x160*x590 + x180*x594 + x200*x598 + 
       x220*x602 + x240*x606 + x260*x610 + x280*x614 + x300*x618 + x320*x622 + 
       x340*x626 + x360*x630 + x380*x634 + x400*x638 + x420*x642 + x440*x646 + 
       x460*x650 + x480*x654 + x500*x658) - 2*x20 - 7*x40 - 7*x60 =E= 0;

e115.. x80*x575 - (x120*x583 + x140*x587 + x160*x591 + x180*x595 + x200*x599 + 
       x220*x603 + x240*x607 + x260*x611 + x280*x615 + x300*x619 + x320*x623 + 
       x340*x627 + x360*x631 + x380*x635 + x400*x639 + x420*x643 + x440*x647 + 
       x460*x651 + x480*x655 + x500*x659) - 9*x20 - 6*x40 - 9*x60 =E= 0;

e116.. x80*x576 - (x120*x584 + x140*x588 + x160*x592 + x180*x596 + x200*x600 + 
       x220*x604 + x240*x608 + x260*x612 + x280*x616 + x300*x620 + x320*x624 + 
       x340*x628 + x360*x632 + x380*x636 + x400*x640 + x420*x644 + x440*x648 + 
       x460*x652 + x480*x656 + x500*x660) - 8*x20 - 4*x40 - 7*x60 =E= 0;

e117.. x80*x577 - (x120*x585 + x140*x589 + x160*x593 + x180*x597 + x200*x601 + 
       x220*x605 + x240*x609 + x260*x613 + x280*x617 + x300*x621 + x320*x625 + 
       x340*x629 + x360*x633 + x380*x637 + x400*x641 + x420*x645 + x440*x649 + 
       x460*x653 + x480*x657 + x500*x661) - x20 - 6*x40 - x60 =E= 0;

e118.. x81*x578 - (x121*x582 + x141*x586 + x161*x590 + x181*x594 + x201*x598 + 
       x221*x602 + x241*x606 + x261*x610 + x281*x614 + x301*x618 + x321*x622 + 
       x341*x626 + x361*x630 + x381*x634 + x401*x638 + x421*x642 + x441*x646 + 
       x461*x650 + x481*x654 + x501*x658) - 2*x21 - 7*x41 - 7*x61 =E= 0;

e119.. x81*x579 - (x121*x583 + x141*x587 + x161*x591 + x181*x595 + x201*x599 + 
       x221*x603 + x241*x607 + x261*x611 + x281*x615 + x301*x619 + x321*x623 + 
       x341*x627 + x361*x631 + x381*x635 + x401*x639 + x421*x643 + x441*x647 + 
       x461*x651 + x481*x655 + x501*x659) - 9*x21 - 6*x41 - 9*x61 =E= 0;

e120.. x81*x580 - (x121*x584 + x141*x588 + x161*x592 + x181*x596 + x201*x600 + 
       x221*x604 + x241*x608 + x261*x612 + x281*x616 + x301*x620 + x321*x624 + 
       x341*x628 + x361*x632 + x381*x636 + x401*x640 + x421*x644 + x441*x648 + 
       x461*x652 + x481*x656 + x501*x660) - 8*x21 - 4*x41 - 7*x61 =E= 0;

e121.. x81*x581 - (x121*x585 + x141*x589 + x161*x593 + x181*x597 + x201*x601 + 
       x221*x605 + x241*x609 + x261*x613 + x281*x617 + x301*x621 + x321*x625 + 
       x341*x629 + x361*x633 + x381*x637 + x401*x641 + x421*x645 + x441*x649 + 
       x461*x653 + x481*x657 + x501*x661) - x21 - 6*x41 - x61 =E= 0;

e122.. -x62*(x582 - x502) =E= -3752;

e123.. -x62*(x583 - x503) =E= -146060;

e124.. -x62*(x584 - x504) =E= -151420;

e125.. -x62*(x585 - x505) =E= -93800;

e126.. -x63*(x586 - x506) =E= -10434;

e127.. -x63*(x587 - x507) =E= -29748;

e128.. -x63*(x588 - x508) =E= -42254;

e129.. -x63*(x589 - x509) =E= -20202;

e130.. -x64*(x590 - x510) =E= -48022;

e131.. -x64*(x591 - x511) =E= -13806;

e132.. -x64*(x592 - x512) =E= -14612;

e133.. -x64*(x593 - x513) =E= -39182;

e134.. -x65*(x594 - x514) =E= -123816;

e135.. -x65*(x595 - x515) =E= -23056;

e136.. -x65*(x596 - x516) =E= -209352;

e137.. -x65*(x597 - x517) =E= -195536;

e138.. -x66*(x598 - x518) =E= -107500;

e139.. -x66*(x599 - x519) =E= -24600;

e140.. -x66*(x600 - x520) =E= -79900;

e141.. -x66*(x601 - x521) =E= -186000;

e142.. -x67*(x602 - x522) =E= -5280;

e143.. -x67*(x603 - x523) =E= -31240;

e144.. -x67*(x604 - x524) =E= -67155;

e145.. -x67*(x605 - x525) =E= -76175;

e146.. -x68*(x606 - x526) =E= -57900;

e147.. -x68*(x607 - x527) =E= -9850;

e148.. -x68*(x608 - x528) =E= -35700;

e149.. -x68*(x609 - x529) =E= -134550;

e150.. -x69*(x610 - x530) =E= -2626;

e151.. -x69*(x611 - x531) =E= -33748;

e152.. -x69*(x612 - x532) =E= -23088;

e153.. -x69*(x613 - x533) =E= -67496;

e154.. -x70*(x614 - x534) =E= -223146;

e155.. -x70*(x615 - x535) =E= -19110;

e156.. -x70*(x616 - x536) =E= -97412;

e157.. -x70*(x617 - x537) =E= -22932;

e158.. -x71*(x618 - x538) =E= -48070;

e159.. -x71*(x619 - x539) =E= -114425;

e160.. -x71*(x620 - x540) =E= -72220;

e161.. -x71*(x621 - x541) =E= -200790;

e162.. -x72*(x622 - x542) =E= -81090;

e163.. -x72*(x623 - x543) =E= -133365;

e164.. -x72*(x624 - x544) =E= -25075;

e165.. -x72*(x625 - x545) =E= -4335;

e166.. -x73*(x626 - x546) =E= -75905;

e167.. -x73*(x627 - x547) =E= -111435;

e168.. -x73*(x628 - x548) =E= -109725;

e169.. -x73*(x629 - x549) =E= -21660;

e170.. -x74*(x630 - x550) =E= -33800;

e171.. -x74*(x631 - x551) =E= -176500;

e172.. -x74*(x632 - x552) =E= -153000;

e173.. -x74*(x633 - x553) =E= -74400;

e174.. -x75*(x634 - x554) =E= -49050;

e175.. -x75*(x635 - x555) =E= -34740;

e176.. -x75*(x636 - x556) =E= -88110;

e177.. -x75*(x637 - x557) =E= -81225;

e178.. -x76*(x638 - x558) =E= -9200;

e179.. -x76*(x639 - x559) =E= -35000;

e180.. -x76*(x640 - x560) =E= -47700;

e181.. -x76*(x641 - x561) =E= -30700;

e182.. -x77*(x642 - x562) =E= -10200;

e183.. -x77*(x643 - x563) =E= -128475;

e184.. -x77*(x644 - x564) =E= -34050;

e185.. -x77*(x645 - x565) =E= -28275;

e186.. -x78*(x646 - x566) =E= -58995;

e187.. -x78*(x647 - x567) =E= -46265;

e188.. -x78*(x648 - x568) =E= -8645;

e189.. -x78*(x649 - x569) =E= -51110;

e190.. -x79*(x650 - x570) =E= -82600;

e191.. -x79*(x651 - x571) =E= -9000;

e192.. -x79*(x652 - x572) =E= -19800;

e193.. -x79*(x653 - x573) =E= -28400;

e194.. -x80*(x654 - x574) =E= -8760;

e195.. -x80*(x655 - x575) =E= -24000;

e196.. -x80*(x656 - x576) =E= -45480;

e197.. -x80*(x657 - x577) =E= -45600;

e198.. -x81*(x658 - x578) =E= -25480;

e199.. -x81*(x659 - x579) =E= -16450;

e200.. -x81*(x660 - x580) =E= -7560;

e201.. -x81*(x661 - x581) =E= -15470;

e202..    x502 =L= 2250;

e203..    x503 =L= 575;

e204..    x504 =L= 203;

e205..    x505 =L= 1393;

e206..    x506 =L= 298;

e207..    x507 =L= 2353;

e208..    x508 =L= 364;

e209..    x509 =L= 2396;

e210..    x510 =L= 883;

e211..    x511 =L= 1292;

e212..    x512 =L= 2398;

e213..    x513 =L= 862;

e214..    x514 =L= 1257;

e215..    x515 =L= 2354;

e216..    x516 =L= 327;

e217..    x517 =L= 341;

e218..    x518 =L= 1680;

e219..    x519 =L= 2476;

e220..    x520 =L= 2105;

e221..    x521 =L= 1092;

e222..    x522 =L= 1759;

e223..    x523 =L= 301;

e224..    x524 =L= 139;

e225..    x525 =L= 1354;

e226..    x526 =L= 58;

e227..    x527 =L= 2025;

e228..    x528 =L= 511;

e229..    x529 =L= 124;

e230..    x530 =L= 2084;

e231..    x531 =L= 538;

e232..    x532 =L= 537;

e233..    x533 =L= 225;

e234..    x534 =L= 427;

e235..    x535 =L= 2087;

e236..    x536 =L= 1759;

e237..    x537 =L= 482;

e238..    x538 =L= 2086;

e239..    x539 =L= 1863;

e240..    x540 =L= 2195;

e241..    x541 =L= 396;

e242..    x542 =L= 2012;

e243..    x543 =L= 994;

e244..    x544 =L= 1923;

e245..    x545 =L= 2076;

e246..    x546 =L= 647;

e247..    x547 =L= 557;

e248..    x548 =L= 1675;

e249..    x549 =L= 2330;

e250..    x550 =L= 1898;

e251..    x551 =L= 527;

e252..    x552 =L= 381;

e253..    x553 =L= 1257;

e254..    x554 =L= 1718;

e255..    x555 =L= 858;

e256..    x556 =L= 323;

e257..    x557 =L= 191;

e258..    x558 =L= 1661;

e259..    x559 =L= 1366;

e260..    x560 =L= 413;

e261..    x561 =L= 1546;

e262..    x562 =L= 1243;

e263..    x563 =L= 639;

e264..    x564 =L= 2078;

e265..    x565 =L= 249;

e266..    x566 =L= 363;

e267..    x567 =L= 223;

e268..    x568 =L= 307;

e269..    x569 =L= 93;

e270..    x570 =L= 31;

e271..    x571 =L= 468;

e272..    x572 =L= 530;

e273..    x573 =L= 251;

e274..    x574 =L= 850;

e275..    x575 =L= 451;

e276..    x576 =L= 628;

e277..    x577 =L= 531;

e278..    x578 =L= 473;

e279..    x579 =L= 739;

e280..    x580 =L= 528;

e281..    x581 =L= 287;

e282..    x582 =L= 2278;

e283..    x583 =L= 1665;

e284..    x584 =L= 1333;

e285..    x585 =L= 2093;

e286..    x586 =L= 439;

e287..    x587 =L= 2755;

e288..    x588 =L= 935;

e289..    x589 =L= 2669;

e290..    x590 =L= 2730;

e291..    x591 =L= 1823;

e292..    x592 =L= 2960;

e293..    x593 =L= 2369;

e294..    x594 =L= 2664;

e295..    x595 =L= 2616;

e296..    x596 =L= 2706;

e297..    x597 =L= 2563;

e298..    x598 =L= 2755;

e299..    x599 =L= 2722;

e300..    x600 =L= 2904;

e301..    x601 =L= 2952;

e302..    x602 =L= 1855;

e303..    x603 =L= 869;

e304..    x604 =L= 1360;

e305..    x605 =L= 2739;

e306..    x606 =L= 1216;

e307..    x607 =L= 2222;

e308..    x608 =L= 1225;

e309..    x609 =L= 2815;

e310..    x610 =L= 2185;

e311..    x611 =L= 1836;

e312..    x612 =L= 1425;

e313..    x613 =L= 2821;

e314..    x614 =L= 2704;

e315..    x615 =L= 2282;

e316..    x616 =L= 2753;

e317..    x617 =L= 716;

e318..    x618 =L= 2504;

e319..    x619 =L= 2858;

e320..    x620 =L= 2823;

e321..    x621 =L= 2142;

e322..    x622 =L= 2966;

e323..    x623 =L= 2563;

e324..    x624 =L= 2218;

e325..    x625 =L= 2127;

e326..    x626 =L= 1446;

e327..    x627 =L= 1730;

e328..    x628 =L= 2830;

e329..    x629 =L= 2558;

e330..    x630 =L= 2236;

e331..    x631 =L= 2292;

e332..    x632 =L= 1911;

e333..    x633 =L= 2001;

e334..    x634 =L= 2808;

e335..    x635 =L= 1630;

e336..    x636 =L= 2281;

e337..    x637 =L= 1996;

e338..    x638 =L= 1753;

e339..    x639 =L= 1716;

e340..    x640 =L= 890;

e341..    x641 =L= 1853;

e342..    x642 =L= 1379;

e343..    x643 =L= 2352;

e344..    x644 =L= 2532;

e345..    x645 =L= 626;

e346..    x646 =L= 984;

e347..    x647 =L= 710;

e348..    x648 =L= 398;

e349..    x649 =L= 631;

e350..    x650 =L= 857;

e351..    x651 =L= 558;

e352..    x652 =L= 728;

e353..    x653 =L= 535;

e354..    x654 =L= 923;

e355..    x655 =L= 651;

e356..    x656 =L= 1007;

e357..    x657 =L= 911;

e358..    x658 =L= 837;

e359..    x659 =L= 974;

e360..    x660 =L= 636;

e361..    x661 =L= 508;

e362..    x62 =L= 134;

e363..    x63 =L= 74;

e364..    x64 =L= 26;

e365..    x65 =L= 88;

e366..    x66 =L= 100;

e367..    x67 =L= 55;

e368..    x68 =L= 50;

e369..    x69 =L= 26;

e370..    x70 =L= 98;

e371..    x71 =L= 115;

e372..    x72 =L= 85;

e373..    x73 =L= 95;

e374..    x74 =L= 100;

e375..    x75 =L= 45;

e376..    x76 =L= 100;

e377..    x77 =L= 75;

e378..    x78 =L= 95;

e379..    x79 =L= 100;

e380..    x80 =L= 120;

e381..    x81 =L= 70;

* set non-default bounds
x2.up = 100000;
x3.up = 100000;
x4.up = 100000;
x5.up = 100000;
x6.up = 100000;
x7.up = 100000;
x8.up = 100000;
x9.up = 100000;
x10.up = 100000;
x11.up = 100000;
x12.up = 100000;
x13.up = 100000;
x14.up = 100000;
x15.up = 100000;
x16.up = 100000;
x17.up = 100000;
x18.up = 100000;
x19.up = 100000;
x20.up = 100000;
x21.up = 100000;
x22.up = 100000;
x23.up = 100000;
x24.up = 100000;
x25.up = 100000;
x26.up = 100000;
x27.up = 100000;
x28.up = 100000;
x29.up = 100000;
x30.up = 100000;
x31.up = 100000;
x32.up = 100000;
x33.up = 100000;
x34.up = 100000;
x35.up = 100000;
x36.up = 100000;
x37.up = 100000;
x38.up = 100000;
x39.up = 100000;
x40.up = 100000;
x41.up = 100000;
x42.up = 100000;
x43.up = 100000;
x44.up = 100000;
x45.up = 100000;
x46.up = 100000;
x47.up = 100000;
x48.up = 100000;
x49.up = 100000;
x50.up = 100000;
x51.up = 100000;
x52.up = 100000;
x53.up = 100000;
x54.up = 100000;
x55.up = 100000;
x56.up = 100000;
x57.up = 100000;
x58.up = 100000;
x59.up = 100000;
x60.up = 100000;
x61.up = 100000;
x62.up = 100000;
x63.up = 100000;
x64.up = 100000;
x65.up = 100000;
x66.up = 100000;
x67.up = 100000;
x68.up = 100000;
x69.up = 100000;
x70.up = 100000;
x71.up = 100000;
x72.up = 100000;
x73.up = 100000;
x74.up = 100000;
x75.up = 100000;
x76.up = 100000;
x77.up = 100000;
x78.up = 100000;
x79.up = 100000;
x80.up = 100000;
x81.up = 100000;
x82.up = 100000;
x83.up = 100000;
x84.up = 100000;
x85.up = 100000;
x86.up = 100000;
x87.up = 100000;
x88.up = 100000;
x89.up = 100000;
x90.up = 100000;
x91.up = 100000;
x92.up = 100000;
x93.up = 100000;
x94.up = 100000;
x95.up = 100000;
x96.up = 100000;
x97.up = 100000;
x98.up = 100000;
x99.up = 100000;
x100.up = 100000;
x101.up = 100000;
x102.up = 100000;
x103.up = 100000;
x104.up = 100000;
x105.up = 100000;
x106.up = 100000;
x107.up = 100000;
x108.up = 100000;
x109.up = 100000;
x110.up = 100000;
x111.up = 100000;
x112.up = 100000;
x113.up = 100000;
x114.up = 100000;
x115.up = 100000;
x116.up = 100000;
x117.up = 100000;
x118.up = 100000;
x119.up = 100000;
x120.up = 100000;
x121.up = 100000;
x122.up = 100000;
x123.up = 100000;
x124.up = 100000;
x125.up = 100000;
x126.up = 100000;
x127.up = 100000;
x128.up = 100000;
x129.up = 100000;
x130.up = 100000;
x131.up = 100000;
x132.up = 100000;
x133.up = 100000;
x134.up = 100000;
x135.up = 100000;
x136.up = 100000;
x137.up = 100000;
x138.up = 100000;
x139.up = 100000;
x140.up = 100000;
x141.up = 100000;
x142.up = 100000;
x143.up = 100000;
x144.up = 100000;
x145.up = 100000;
x146.up = 100000;
x147.up = 100000;
x148.up = 100000;
x149.up = 100000;
x150.up = 100000;
x151.up = 100000;
x152.up = 100000;
x153.up = 100000;
x154.up = 100000;
x155.up = 100000;
x156.up = 100000;
x157.up = 100000;
x158.up = 100000;
x159.up = 100000;
x160.up = 100000;
x161.up = 100000;
x162.up = 100000;
x163.up = 100000;
x164.up = 100000;
x165.up = 100000;
x166.up = 100000;
x167.up = 100000;
x168.up = 100000;
x169.up = 100000;
x170.up = 100000;
x171.up = 100000;
x172.up = 100000;
x173.up = 100000;
x174.up = 100000;
x175.up = 100000;
x176.up = 100000;
x177.up = 100000;
x178.up = 100000;
x179.up = 100000;
x180.up = 100000;
x181.up = 100000;
x182.up = 100000;
x183.up = 100000;
x184.up = 100000;
x185.up = 100000;
x186.up = 100000;
x187.up = 100000;
x188.up = 100000;
x189.up = 100000;
x190.up = 100000;
x191.up = 100000;
x192.up = 100000;
x193.up = 100000;
x194.up = 100000;
x195.up = 100000;
x196.up = 100000;
x197.up = 100000;
x198.up = 100000;
x199.up = 100000;
x200.up = 100000;
x201.up = 100000;
x202.up = 100000;
x203.up = 100000;
x204.up = 100000;
x205.up = 100000;
x206.up = 100000;
x207.up = 100000;
x208.up = 100000;
x209.up = 100000;
x210.up = 100000;
x211.up = 100000;
x212.up = 100000;
x213.up = 100000;
x214.up = 100000;
x215.up = 100000;
x216.up = 100000;
x217.up = 100000;
x218.up = 100000;
x219.up = 100000;
x220.up = 100000;
x221.up = 100000;
x222.up = 100000;
x223.up = 100000;
x224.up = 100000;
x225.up = 100000;
x226.up = 100000;
x227.up = 100000;
x228.up = 100000;
x229.up = 100000;
x230.up = 100000;
x231.up = 100000;
x232.up = 100000;
x233.up = 100000;
x234.up = 100000;
x235.up = 100000;
x236.up = 100000;
x237.up = 100000;
x238.up = 100000;
x239.up = 100000;
x240.up = 100000;
x241.up = 100000;
x242.up = 100000;
x243.up = 100000;
x244.up = 100000;
x245.up = 100000;
x246.up = 100000;
x247.up = 100000;
x248.up = 100000;
x249.up = 100000;
x250.up = 100000;
x251.up = 100000;
x252.up = 100000;
x253.up = 100000;
x254.up = 100000;
x255.up = 100000;
x256.up = 100000;
x257.up = 100000;
x258.up = 100000;
x259.up = 100000;
x260.up = 100000;
x261.up = 100000;
x262.up = 100000;
x263.up = 100000;
x264.up = 100000;
x265.up = 100000;
x266.up = 100000;
x267.up = 100000;
x268.up = 100000;
x269.up = 100000;
x270.up = 100000;
x271.up = 100000;
x272.up = 100000;
x273.up = 100000;
x274.up = 100000;
x275.up = 100000;
x276.up = 100000;
x277.up = 100000;
x278.up = 100000;
x279.up = 100000;
x280.up = 100000;
x281.up = 100000;
x282.up = 100000;
x283.up = 100000;
x284.up = 100000;
x285.up = 100000;
x286.up = 100000;
x287.up = 100000;
x288.up = 100000;
x289.up = 100000;
x290.up = 100000;
x291.up = 100000;
x292.up = 100000;
x293.up = 100000;
x294.up = 100000;
x295.up = 100000;
x296.up = 100000;
x297.up = 100000;
x298.up = 100000;
x299.up = 100000;
x300.up = 100000;
x301.up = 100000;
x302.up = 100000;
x303.up = 100000;
x304.up = 100000;
x305.up = 100000;
x306.up = 100000;
x307.up = 100000;
x308.up = 100000;
x309.up = 100000;
x310.up = 100000;
x311.up = 100000;
x312.up = 100000;
x313.up = 100000;
x314.up = 100000;
x315.up = 100000;
x316.up = 100000;
x317.up = 100000;
x318.up = 100000;
x319.up = 100000;
x320.up = 100000;
x321.up = 100000;
x322.up = 100000;
x323.up = 100000;
x324.up = 100000;
x325.up = 100000;
x326.up = 100000;
x327.up = 100000;
x328.up = 100000;
x329.up = 100000;
x330.up = 100000;
x331.up = 100000;
x332.up = 100000;
x333.up = 100000;
x334.up = 100000;
x335.up = 100000;
x336.up = 100000;
x337.up = 100000;
x338.up = 100000;
x339.up = 100000;
x340.up = 100000;
x341.up = 100000;
x342.up = 100000;
x343.up = 100000;
x344.up = 100000;
x345.up = 100000;
x346.up = 100000;
x347.up = 100000;
x348.up = 100000;
x349.up = 100000;
x350.up = 100000;
x351.up = 100000;
x352.up = 100000;
x353.up = 100000;
x354.up = 100000;
x355.up = 100000;
x356.up = 100000;
x357.up = 100000;
x358.up = 100000;
x359.up = 100000;
x360.up = 100000;
x361.up = 100000;
x362.up = 100000;
x363.up = 100000;
x364.up = 100000;
x365.up = 100000;
x366.up = 100000;
x367.up = 100000;
x368.up = 100000;
x369.up = 100000;
x370.up = 100000;
x371.up = 100000;
x372.up = 100000;
x373.up = 100000;
x374.up = 100000;
x375.up = 100000;
x376.up = 100000;
x377.up = 100000;
x378.up = 100000;
x379.up = 100000;
x380.up = 100000;
x381.up = 100000;
x382.up = 100000;
x383.up = 100000;
x384.up = 100000;
x385.up = 100000;
x386.up = 100000;
x387.up = 100000;
x388.up = 100000;
x389.up = 100000;
x390.up = 100000;
x391.up = 100000;
x392.up = 100000;
x393.up = 100000;
x394.up = 100000;
x395.up = 100000;
x396.up = 100000;
x397.up = 100000;
x398.up = 100000;
x399.up = 100000;
x400.up = 100000;
x401.up = 100000;
x402.up = 100000;
x403.up = 100000;
x404.up = 100000;
x405.up = 100000;
x406.up = 100000;
x407.up = 100000;
x408.up = 100000;
x409.up = 100000;
x410.up = 100000;
x411.up = 100000;
x412.up = 100000;
x413.up = 100000;
x414.up = 100000;
x415.up = 100000;
x416.up = 100000;
x417.up = 100000;
x418.up = 100000;
x419.up = 100000;
x420.up = 100000;
x421.up = 100000;
x422.up = 100000;
x423.up = 100000;
x424.up = 100000;
x425.up = 100000;
x426.up = 100000;
x427.up = 100000;
x428.up = 100000;
x429.up = 100000;
x430.up = 100000;
x431.up = 100000;
x432.up = 100000;
x433.up = 100000;
x434.up = 100000;
x435.up = 100000;
x436.up = 100000;
x437.up = 100000;
x438.up = 100000;
x439.up = 100000;
x440.up = 100000;
x441.up = 100000;
x442.up = 100000;
x443.up = 100000;
x444.up = 100000;
x445.up = 100000;
x446.up = 100000;
x447.up = 100000;
x448.up = 100000;
x449.up = 100000;
x450.up = 100000;
x451.up = 100000;
x452.up = 100000;
x453.up = 100000;
x454.up = 100000;
x455.up = 100000;
x456.up = 100000;
x457.up = 100000;
x458.up = 100000;
x459.up = 100000;
x460.up = 100000;
x461.up = 100000;
x462.up = 100000;
x463.up = 100000;
x464.up = 100000;
x465.up = 100000;
x466.up = 100000;
x467.up = 100000;
x468.up = 100000;
x469.up = 100000;
x470.up = 100000;
x471.up = 100000;
x472.up = 100000;
x473.up = 100000;
x474.up = 100000;
x475.up = 100000;
x476.up = 100000;
x477.up = 100000;
x478.up = 100000;
x479.up = 100000;
x480.up = 100000;
x481.up = 100000;
x482.up = 100000;
x483.up = 100000;
x484.up = 100000;
x485.up = 100000;
x486.up = 100000;
x487.up = 100000;
x488.up = 100000;
x489.up = 100000;
x490.up = 100000;
x491.up = 100000;
x492.up = 100000;
x493.up = 100000;
x494.up = 100000;
x495.up = 100000;
x496.up = 100000;
x497.up = 100000;
x498.up = 100000;
x499.up = 100000;
x500.up = 100000;
x501.up = 100000;
x502.up = 100000;
x503.up = 100000;
x504.up = 100000;
x505.up = 100000;
x506.up = 100000;
x507.up = 100000;
x508.up = 100000;
x509.up = 100000;
x510.up = 100000;
x511.up = 100000;
x512.up = 100000;
x513.up = 100000;
x514.up = 100000;
x515.up = 100000;
x516.up = 100000;
x517.up = 100000;
x518.up = 100000;
x519.up = 100000;
x520.up = 100000;
x521.up = 100000;
x522.up = 100000;
x523.up = 100000;
x524.up = 100000;
x525.up = 100000;
x526.up = 100000;
x527.up = 100000;
x528.up = 100000;
x529.up = 100000;
x530.up = 100000;
x531.up = 100000;
x532.up = 100000;
x533.up = 100000;
x534.up = 100000;
x535.up = 100000;
x536.up = 100000;
x537.up = 100000;
x538.up = 100000;
x539.up = 100000;
x540.up = 100000;
x541.up = 100000;
x542.up = 100000;
x543.up = 100000;
x544.up = 100000;
x545.up = 100000;
x546.up = 100000;
x547.up = 100000;
x548.up = 100000;
x549.up = 100000;
x550.up = 100000;
x551.up = 100000;
x552.up = 100000;
x553.up = 100000;
x554.up = 100000;
x555.up = 100000;
x556.up = 100000;
x557.up = 100000;
x558.up = 100000;
x559.up = 100000;
x560.up = 100000;
x561.up = 100000;
x562.up = 100000;
x563.up = 100000;
x564.up = 100000;
x565.up = 100000;
x566.up = 100000;
x567.up = 100000;
x568.up = 100000;
x569.up = 100000;
x570.up = 100000;
x571.up = 100000;
x572.up = 100000;
x573.up = 100000;
x574.up = 100000;
x575.up = 100000;
x576.up = 100000;
x577.up = 100000;
x578.up = 100000;
x579.up = 100000;
x580.up = 100000;
x581.up = 100000;
x582.up = 100000;
x583.up = 100000;
x584.up = 100000;
x585.up = 100000;
x586.up = 100000;
x587.up = 100000;
x588.up = 100000;
x589.up = 100000;
x590.up = 100000;
x591.up = 100000;
x592.up = 100000;
x593.up = 100000;
x594.up = 100000;
x595.up = 100000;
x596.up = 100000;
x597.up = 100000;
x598.up = 100000;
x599.up = 100000;
x600.up = 100000;
x601.up = 100000;
x602.up = 100000;
x603.up = 100000;
x604.up = 100000;
x605.up = 100000;
x606.up = 100000;
x607.up = 100000;
x608.up = 100000;
x609.up = 100000;
x610.up = 100000;
x611.up = 100000;
x612.up = 100000;
x613.up = 100000;
x614.up = 100000;
x615.up = 100000;
x616.up = 100000;
x617.up = 100000;
x618.up = 100000;
x619.up = 100000;
x620.up = 100000;
x621.up = 100000;
x622.up = 100000;
x623.up = 100000;
x624.up = 100000;
x625.up = 100000;
x626.up = 100000;
x627.up = 100000;
x628.up = 100000;
x629.up = 100000;
x630.up = 100000;
x631.up = 100000;
x632.up = 100000;
x633.up = 100000;
x634.up = 100000;
x635.up = 100000;
x636.up = 100000;
x637.up = 100000;
x638.up = 100000;
x639.up = 100000;
x640.up = 100000;
x641.up = 100000;
x642.up = 100000;
x643.up = 100000;
x644.up = 100000;
x645.up = 100000;
x646.up = 100000;
x647.up = 100000;
x648.up = 100000;
x649.up = 100000;
x650.up = 100000;
x651.up = 100000;
x652.up = 100000;
x653.up = 100000;
x654.up = 100000;
x655.up = 100000;
x656.up = 100000;
x657.up = 100000;
x658.up = 100000;
x659.up = 100000;
x660.up = 100000;
x661.up = 100000;

Model m / all /;

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

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

$if not set NLP $set NLP NLP
Solve m using %NLP% minimizing objvar;


Last updated: 2024-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0