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)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 309.39553770 (ANTIGONE) 313.51027710 (BARON) 330.26929260 (COUENNE) 574.69150260 (GUROBI) 314.50573040 (LINDO) 489.46940680 (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 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: 2025-08-07 Git hash: e62cedfc