MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance waterund28
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 1692.30196100 (ANTIGONE) 1709.78166300 (BARON) 1719.48867000 (COUENNE) 1778.91701200 (GUROBI) 1707.26533100 (LINDO) 1764.96014000 (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_Ex28.gms |
| Applicationⓘ | Water Network Design |
| Added to libraryⓘ | 15 Aug 2014 |
| Problem typeⓘ | QCP |
| #Variablesⓘ | 760 |
| #Binary Variablesⓘ | 0 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 660 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 80 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 540 |
| #Linear Constraintsⓘ | 300 |
| #Quadratic Constraintsⓘ | 240 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 6960 |
| #Nonlinear Nonzeros in Jacobianⓘ | 5400 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 5280 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 20 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 33 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 33 |
| Average blocksize in Hessian of Lagrangianⓘ | 33.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 8.0000e+00 |
| Infeasibility of initial pointⓘ | 1.85e+06 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 541 281 0 260 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 761 761 0 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 7041 1641 5400 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
,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674
,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687
,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700
,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713
,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726
,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739
,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752
,x753,x754,x755,x756,x757,x758,x759,x760,x761;
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,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673
,x674,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686
,x687,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699
,x700,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712
,x713,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725
,x726,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738
,x739,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751
,x752,x753,x754,x755,x756,x757,x758,x759,x760,x761;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
,e533,e534,e535,e536,e537,e538,e539,e540,e541;
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
- x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 - x72 - x73
- x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 =E= 0;
e2.. - x2 - x22 - x42 - x62 + x82 - x122 - x142 - x162 - x182 - x202 - x222
- x242 - x262 - x282 - x302 - x322 - x342 - x362 - x382 - x402 - x422
- x442 - x462 - x482 - x502 =E= 0;
e3.. - x3 - x23 - x43 - x63 + x83 - x123 - x143 - x163 - x183 - x203 - x223
- x243 - x263 - x283 - x303 - x323 - x343 - x363 - x383 - x403 - x423
- x443 - x463 - x483 - x503 =E= 0;
e4.. - x4 - x24 - x44 - x64 + x84 - x124 - x144 - x164 - x184 - x204 - x224
- x244 - x264 - x284 - x304 - x324 - x344 - x364 - x384 - x404 - x424
- x444 - x464 - x484 - x504 =E= 0;
e5.. - x5 - x25 - x45 - x65 + x85 - x125 - x145 - x165 - x185 - x205 - x225
- x245 - x265 - x285 - x305 - x325 - x345 - x365 - x385 - x405 - x425
- x445 - x465 - x485 - x505 =E= 0;
e6.. - x6 - x26 - x46 - x66 + x86 - x126 - x146 - x166 - x186 - x206 - x226
- x246 - x266 - x286 - x306 - x326 - x346 - x366 - x386 - x406 - x426
- x446 - x466 - x486 - x506 =E= 0;
e7.. - x7 - x27 - x47 - x67 + x87 - x127 - x147 - x167 - x187 - x207 - x227
- x247 - x267 - x287 - x307 - x327 - x347 - x367 - x387 - x407 - x427
- x447 - x467 - x487 - x507 =E= 0;
e8.. - x8 - x28 - x48 - x68 + x88 - x128 - x148 - x168 - x188 - x208 - x228
- x248 - x268 - x288 - x308 - x328 - x348 - x368 - x388 - x408 - x428
- x448 - x468 - x488 - x508 =E= 0;
e9.. - x9 - x29 - x49 - x69 + x89 - x129 - x149 - x169 - x189 - x209 - x229
- x249 - x269 - x289 - x309 - x329 - x349 - x369 - x389 - x409 - x429
- x449 - x469 - x489 - x509 =E= 0;
e10.. - x10 - x30 - x50 - x70 + x90 - x130 - x150 - x170 - x190 - x210 - x230
- x250 - x270 - x290 - x310 - x330 - x350 - x370 - x390 - x410 - x430
- x450 - x470 - x490 - x510 =E= 0;
e11.. - x11 - x31 - x51 - x71 + x91 - x131 - x151 - x171 - x191 - x211 - x231
- x251 - x271 - x291 - x311 - x331 - x351 - x371 - x391 - x411 - x431
- x451 - x471 - x491 - x511 =E= 0;
e12.. - x12 - x32 - x52 - x72 + x92 - x132 - x152 - x172 - x192 - x212 - x232
- x252 - x272 - x292 - x312 - x332 - x352 - x372 - x392 - x412 - x432
- x452 - x472 - x492 - x512 =E= 0;
e13.. - x13 - x33 - x53 - x73 + x93 - x133 - x153 - x173 - x193 - x213 - x233
- x253 - x273 - x293 - x313 - x333 - x353 - x373 - x393 - x413 - x433
- x453 - x473 - x493 - x513 =E= 0;
e14.. - x14 - x34 - x54 - x74 + x94 - x134 - x154 - x174 - x194 - x214 - x234
- x254 - x274 - x294 - x314 - x334 - x354 - x374 - x394 - x414 - x434
- x454 - x474 - x494 - x514 =E= 0;
e15.. - x15 - x35 - x55 - x75 + x95 - x135 - x155 - x175 - x195 - x215 - x235
- x255 - x275 - x295 - x315 - x335 - x355 - x375 - x395 - x415 - x435
- x455 - x475 - x495 - x515 =E= 0;
e16.. - x16 - x36 - x56 - x76 + x96 - x136 - x156 - x176 - x196 - x216 - x236
- x256 - x276 - x296 - x316 - x336 - x356 - x376 - x396 - x416 - x436
- x456 - x476 - x496 - x516 =E= 0;
e17.. - x17 - x37 - x57 - x77 + x97 - x137 - x157 - x177 - x197 - x217 - x237
- x257 - x277 - x297 - x317 - x337 - x357 - x377 - x397 - x417 - x437
- x457 - x477 - x497 - x517 =E= 0;
e18.. - x18 - x38 - x58 - x78 + x98 - x138 - x158 - x178 - x198 - x218 - x238
- x258 - x278 - x298 - x318 - x338 - x358 - x378 - x398 - x418 - x438
- x458 - x478 - x498 - x518 =E= 0;
e19.. - x19 - x39 - x59 - x79 + x99 - x139 - x159 - x179 - x199 - x219 - x239
- x259 - x279 - x299 - x319 - x339 - x359 - x379 - x399 - x419 - x439
- x459 - x479 - x499 - x519 =E= 0;
e20.. - x20 - x40 - x60 - x80 + x100 - x140 - x160 - x180 - x200 - x220 - x240
- x260 - x280 - x300 - x320 - x340 - x360 - x380 - x400 - x420 - x440
- x460 - x480 - x500 - x520 =E= 0;
e21.. - x21 - x41 - x61 - x81 + x101 - x141 - x161 - x181 - x201 - x221 - x241
- x261 - x281 - x301 - x321 - x341 - x361 - x381 - x401 - x421 - x441
- x461 - x481 - x501 - x521 =E= 0;
e22.. x82 - x102 - x122 - x123 - x124 - x125 - x126 - x127 - x128 - x129
- x130 - x131 - x132 - x133 - x134 - x135 - x136 - x137 - x138 - x139
- x140 - x141 =E= 0;
e23.. x83 - x103 - x142 - x143 - x144 - x145 - x146 - x147 - x148 - x149
- x150 - x151 - x152 - x153 - x154 - x155 - x156 - x157 - x158 - x159
- x160 - x161 =E= 0;
e24.. x84 - x104 - x162 - x163 - x164 - x165 - x166 - x167 - x168 - x169
- x170 - x171 - x172 - x173 - x174 - x175 - x176 - x177 - x178 - x179
- x180 - x181 =E= 0;
e25.. x85 - x105 - x182 - x183 - x184 - x185 - x186 - x187 - x188 - x189
- x190 - x191 - x192 - x193 - x194 - x195 - x196 - x197 - x198 - x199
- x200 - x201 =E= 0;
e26.. x86 - x106 - x202 - x203 - x204 - x205 - x206 - x207 - x208 - x209
- x210 - x211 - x212 - x213 - x214 - x215 - x216 - x217 - x218 - x219
- x220 - x221 =E= 0;
e27.. x87 - x107 - x222 - x223 - x224 - x225 - x226 - x227 - x228 - x229
- x230 - x231 - x232 - x233 - x234 - x235 - x236 - x237 - x238 - x239
- x240 - x241 =E= 0;
e28.. x88 - x108 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249
- x250 - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259
- x260 - x261 =E= 0;
e29.. x89 - x109 - x262 - x263 - x264 - x265 - x266 - x267 - x268 - x269
- x270 - x271 - x272 - x273 - x274 - x275 - x276 - x277 - x278 - x279
- x280 - x281 =E= 0;
e30.. x90 - x110 - x282 - x283 - x284 - x285 - x286 - x287 - x288 - x289
- x290 - x291 - x292 - x293 - x294 - x295 - x296 - x297 - x298 - x299
- x300 - x301 =E= 0;
e31.. x91 - x111 - x302 - x303 - x304 - x305 - x306 - x307 - x308 - x309
- x310 - x311 - x312 - x313 - x314 - x315 - x316 - x317 - x318 - x319
- x320 - x321 =E= 0;
e32.. x92 - x112 - x322 - x323 - x324 - x325 - x326 - x327 - x328 - x329
- x330 - x331 - x332 - x333 - x334 - x335 - x336 - x337 - x338 - x339
- x340 - x341 =E= 0;
e33.. x93 - x113 - x342 - x343 - x344 - x345 - x346 - x347 - x348 - x349
- x350 - x351 - x352 - x353 - x354 - x355 - x356 - x357 - x358 - x359
- x360 - x361 =E= 0;
e34.. x94 - x114 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369
- x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379
- x380 - x381 =E= 0;
e35.. x95 - x115 - x382 - x383 - x384 - x385 - x386 - x387 - x388 - x389
- x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399
- x400 - x401 =E= 0;
e36.. x96 - x116 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409
- x410 - x411 - x412 - x413 - x414 - x415 - x416 - x417 - x418 - x419
- x420 - x421 =E= 0;
e37.. x97 - x117 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429
- x430 - x431 - x432 - x433 - x434 - x435 - x436 - x437 - x438 - x439
- x440 - x441 =E= 0;
e38.. x98 - x118 - x442 - x443 - x444 - x445 - x446 - x447 - x448 - x449
- x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459
- x460 - x461 =E= 0;
e39.. x99 - x119 - x462 - x463 - x464 - x465 - x466 - x467 - x468 - x469
- x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479
- x480 - x481 =E= 0;
e40.. x100 - x120 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489
- x490 - x491 - x492 - x493 - x494 - x495 - x496 - x497 - x498 - x499
- x500 - x501 =E= 0;
e41.. x101 - x121 - x502 - x503 - x504 - x505 - x506 - x507 - x508 - x509
- x510 - x511 - x512 - x513 - x514 - x515 - x516 - x517 - x518 - x519
- x520 - x521 =E= 0;
e42.. x82*x522 - (x122*x642 + x142*x648 + x162*x654 + x182*x660 + x202*x666 +
x222*x672 + x242*x678 + x262*x684 + x282*x690 + x302*x696 + x322*x702 +
x342*x708 + x362*x714 + x382*x720 + x402*x726 + x422*x732 + x442*x738 +
x462*x744 + x482*x750 + x502*x756) - 3*x2 - 4*x22 - 4*x62 =E= 0;
e43.. x82*x523 - (x122*x643 + x142*x649 + x162*x655 + x182*x661 + x202*x667 +
x222*x673 + x242*x679 + x262*x685 + x282*x691 + x302*x697 + x322*x703 +
x342*x709 + x362*x715 + x382*x721 + x402*x727 + x422*x733 + x442*x739 +
x462*x745 + x482*x751 + x502*x757) - 5*x2 - 6*x22 - 3*x42 - x62 =E= 0;
e44.. x82*x524 - (x122*x644 + x142*x650 + x162*x656 + x182*x662 + x202*x668 +
x222*x674 + x242*x680 + x262*x686 + x282*x692 + x302*x698 + x322*x704 +
x342*x710 + x362*x716 + x382*x722 + x402*x728 + x422*x734 + x442*x740 +
x462*x746 + x482*x752 + x502*x758) - 2*x22 - 2*x42 - 2*x62 =E= 0;
e45.. x82*x525 - (x122*x645 + x142*x651 + x162*x657 + x182*x663 + x202*x669 +
x222*x675 + x242*x681 + x262*x687 + x282*x693 + x302*x699 + x322*x705 +
x342*x711 + x362*x717 + x382*x723 + x402*x729 + x422*x735 + x442*x741 +
x462*x747 + x482*x753 + x502*x759) - 8*x2 - 7*x42 - 3*x62 =E= 0;
e46.. x82*x526 - (x122*x646 + x142*x652 + x162*x658 + x182*x664 + x202*x670 +
x222*x676 + x242*x682 + x262*x688 + x282*x694 + x302*x700 + x322*x706 +
x342*x712 + x362*x718 + x382*x724 + x402*x730 + x422*x736 + x442*x742 +
x462*x748 + x482*x754 + x502*x760) - 2*x22 - 2*x62 =E= 0;
e47.. x82*x527 - (x122*x647 + x142*x653 + x162*x659 + x182*x665 + x202*x671 +
x222*x677 + x242*x683 + x262*x689 + x282*x695 + x302*x701 + x322*x707 +
x342*x713 + x362*x719 + x382*x725 + x402*x731 + x422*x737 + x442*x743 +
x462*x749 + x482*x755 + x502*x761) - 4*x2 - 2*x42 - 8*x62 =E= 0;
e48.. x83*x528 - (x123*x642 + x143*x648 + x163*x654 + x183*x660 + x203*x666 +
x223*x672 + x243*x678 + x263*x684 + x283*x690 + x303*x696 + x323*x702 +
x343*x708 + x363*x714 + x383*x720 + x403*x726 + x423*x732 + x443*x738 +
x463*x744 + x483*x750 + x503*x756) - 3*x3 - 4*x23 - 4*x63 =E= 0;
e49.. x83*x529 - (x123*x643 + x143*x649 + x163*x655 + x183*x661 + x203*x667 +
x223*x673 + x243*x679 + x263*x685 + x283*x691 + x303*x697 + x323*x703 +
x343*x709 + x363*x715 + x383*x721 + x403*x727 + x423*x733 + x443*x739 +
x463*x745 + x483*x751 + x503*x757) - 5*x3 - 6*x23 - 3*x43 - x63 =E= 0;
e50.. x83*x530 - (x123*x644 + x143*x650 + x163*x656 + x183*x662 + x203*x668 +
x223*x674 + x243*x680 + x263*x686 + x283*x692 + x303*x698 + x323*x704 +
x343*x710 + x363*x716 + x383*x722 + x403*x728 + x423*x734 + x443*x740 +
x463*x746 + x483*x752 + x503*x758) - 2*x23 - 2*x43 - 2*x63 =E= 0;
e51.. x83*x531 - (x123*x645 + x143*x651 + x163*x657 + x183*x663 + x203*x669 +
x223*x675 + x243*x681 + x263*x687 + x283*x693 + x303*x699 + x323*x705 +
x343*x711 + x363*x717 + x383*x723 + x403*x729 + x423*x735 + x443*x741 +
x463*x747 + x483*x753 + x503*x759) - 8*x3 - 7*x43 - 3*x63 =E= 0;
e52.. x83*x532 - (x123*x646 + x143*x652 + x163*x658 + x183*x664 + x203*x670 +
x223*x676 + x243*x682 + x263*x688 + x283*x694 + x303*x700 + x323*x706 +
x343*x712 + x363*x718 + x383*x724 + x403*x730 + x423*x736 + x443*x742 +
x463*x748 + x483*x754 + x503*x760) - 2*x23 - 2*x63 =E= 0;
e53.. x83*x533 - (x123*x647 + x143*x653 + x163*x659 + x183*x665 + x203*x671 +
x223*x677 + x243*x683 + x263*x689 + x283*x695 + x303*x701 + x323*x707 +
x343*x713 + x363*x719 + x383*x725 + x403*x731 + x423*x737 + x443*x743 +
x463*x749 + x483*x755 + x503*x761) - 4*x3 - 2*x43 - 8*x63 =E= 0;
e54.. x84*x534 - (x124*x642 + x144*x648 + x164*x654 + x184*x660 + x204*x666 +
x224*x672 + x244*x678 + x264*x684 + x284*x690 + x304*x696 + x324*x702 +
x344*x708 + x364*x714 + x384*x720 + x404*x726 + x424*x732 + x444*x738 +
x464*x744 + x484*x750 + x504*x756) - 3*x4 - 4*x24 - 4*x64 =E= 0;
e55.. x84*x535 - (x124*x643 + x144*x649 + x164*x655 + x184*x661 + x204*x667 +
x224*x673 + x244*x679 + x264*x685 + x284*x691 + x304*x697 + x324*x703 +
x344*x709 + x364*x715 + x384*x721 + x404*x727 + x424*x733 + x444*x739 +
x464*x745 + x484*x751 + x504*x757) - 5*x4 - 6*x24 - 3*x44 - x64 =E= 0;
e56.. x84*x536 - (x124*x644 + x144*x650 + x164*x656 + x184*x662 + x204*x668 +
x224*x674 + x244*x680 + x264*x686 + x284*x692 + x304*x698 + x324*x704 +
x344*x710 + x364*x716 + x384*x722 + x404*x728 + x424*x734 + x444*x740 +
x464*x746 + x484*x752 + x504*x758) - 2*x24 - 2*x44 - 2*x64 =E= 0;
e57.. x84*x537 - (x124*x645 + x144*x651 + x164*x657 + x184*x663 + x204*x669 +
x224*x675 + x244*x681 + x264*x687 + x284*x693 + x304*x699 + x324*x705 +
x344*x711 + x364*x717 + x384*x723 + x404*x729 + x424*x735 + x444*x741 +
x464*x747 + x484*x753 + x504*x759) - 8*x4 - 7*x44 - 3*x64 =E= 0;
e58.. x84*x538 - (x124*x646 + x144*x652 + x164*x658 + x184*x664 + x204*x670 +
x224*x676 + x244*x682 + x264*x688 + x284*x694 + x304*x700 + x324*x706 +
x344*x712 + x364*x718 + x384*x724 + x404*x730 + x424*x736 + x444*x742 +
x464*x748 + x484*x754 + x504*x760) - 2*x24 - 2*x64 =E= 0;
e59.. x84*x539 - (x124*x647 + x144*x653 + x164*x659 + x184*x665 + x204*x671 +
x224*x677 + x244*x683 + x264*x689 + x284*x695 + x304*x701 + x324*x707 +
x344*x713 + x364*x719 + x384*x725 + x404*x731 + x424*x737 + x444*x743 +
x464*x749 + x484*x755 + x504*x761) - 4*x4 - 2*x44 - 8*x64 =E= 0;
e60.. x85*x540 - (x125*x642 + x145*x648 + x165*x654 + x185*x660 + x205*x666 +
x225*x672 + x245*x678 + x265*x684 + x285*x690 + x305*x696 + x325*x702 +
x345*x708 + x365*x714 + x385*x720 + x405*x726 + x425*x732 + x445*x738 +
x465*x744 + x485*x750 + x505*x756) - 3*x5 - 4*x25 - 4*x65 =E= 0;
e61.. x85*x541 - (x125*x643 + x145*x649 + x165*x655 + x185*x661 + x205*x667 +
x225*x673 + x245*x679 + x265*x685 + x285*x691 + x305*x697 + x325*x703 +
x345*x709 + x365*x715 + x385*x721 + x405*x727 + x425*x733 + x445*x739 +
x465*x745 + x485*x751 + x505*x757) - 5*x5 - 6*x25 - 3*x45 - x65 =E= 0;
e62.. x85*x542 - (x125*x644 + x145*x650 + x165*x656 + x185*x662 + x205*x668 +
x225*x674 + x245*x680 + x265*x686 + x285*x692 + x305*x698 + x325*x704 +
x345*x710 + x365*x716 + x385*x722 + x405*x728 + x425*x734 + x445*x740 +
x465*x746 + x485*x752 + x505*x758) - 2*x25 - 2*x45 - 2*x65 =E= 0;
e63.. x85*x543 - (x125*x645 + x145*x651 + x165*x657 + x185*x663 + x205*x669 +
x225*x675 + x245*x681 + x265*x687 + x285*x693 + x305*x699 + x325*x705 +
x345*x711 + x365*x717 + x385*x723 + x405*x729 + x425*x735 + x445*x741 +
x465*x747 + x485*x753 + x505*x759) - 8*x5 - 7*x45 - 3*x65 =E= 0;
e64.. x85*x544 - (x125*x646 + x145*x652 + x165*x658 + x185*x664 + x205*x670 +
x225*x676 + x245*x682 + x265*x688 + x285*x694 + x305*x700 + x325*x706 +
x345*x712 + x365*x718 + x385*x724 + x405*x730 + x425*x736 + x445*x742 +
x465*x748 + x485*x754 + x505*x760) - 2*x25 - 2*x65 =E= 0;
e65.. x85*x545 - (x125*x647 + x145*x653 + x165*x659 + x185*x665 + x205*x671 +
x225*x677 + x245*x683 + x265*x689 + x285*x695 + x305*x701 + x325*x707 +
x345*x713 + x365*x719 + x385*x725 + x405*x731 + x425*x737 + x445*x743 +
x465*x749 + x485*x755 + x505*x761) - 4*x5 - 2*x45 - 8*x65 =E= 0;
e66.. x86*x546 - (x126*x642 + x146*x648 + x166*x654 + x186*x660 + x206*x666 +
x226*x672 + x246*x678 + x266*x684 + x286*x690 + x306*x696 + x326*x702 +
x346*x708 + x366*x714 + x386*x720 + x406*x726 + x426*x732 + x446*x738 +
x466*x744 + x486*x750 + x506*x756) - 3*x6 - 4*x26 - 4*x66 =E= 0;
e67.. x86*x547 - (x126*x643 + x146*x649 + x166*x655 + x186*x661 + x206*x667 +
x226*x673 + x246*x679 + x266*x685 + x286*x691 + x306*x697 + x326*x703 +
x346*x709 + x366*x715 + x386*x721 + x406*x727 + x426*x733 + x446*x739 +
x466*x745 + x486*x751 + x506*x757) - 5*x6 - 6*x26 - 3*x46 - x66 =E= 0;
e68.. x86*x548 - (x126*x644 + x146*x650 + x166*x656 + x186*x662 + x206*x668 +
x226*x674 + x246*x680 + x266*x686 + x286*x692 + x306*x698 + x326*x704 +
x346*x710 + x366*x716 + x386*x722 + x406*x728 + x426*x734 + x446*x740 +
x466*x746 + x486*x752 + x506*x758) - 2*x26 - 2*x46 - 2*x66 =E= 0;
e69.. x86*x549 - (x126*x645 + x146*x651 + x166*x657 + x186*x663 + x206*x669 +
x226*x675 + x246*x681 + x266*x687 + x286*x693 + x306*x699 + x326*x705 +
x346*x711 + x366*x717 + x386*x723 + x406*x729 + x426*x735 + x446*x741 +
x466*x747 + x486*x753 + x506*x759) - 8*x6 - 7*x46 - 3*x66 =E= 0;
e70.. x86*x550 - (x126*x646 + x146*x652 + x166*x658 + x186*x664 + x206*x670 +
x226*x676 + x246*x682 + x266*x688 + x286*x694 + x306*x700 + x326*x706 +
x346*x712 + x366*x718 + x386*x724 + x406*x730 + x426*x736 + x446*x742 +
x466*x748 + x486*x754 + x506*x760) - 2*x26 - 2*x66 =E= 0;
e71.. x86*x551 - (x126*x647 + x146*x653 + x166*x659 + x186*x665 + x206*x671 +
x226*x677 + x246*x683 + x266*x689 + x286*x695 + x306*x701 + x326*x707 +
x346*x713 + x366*x719 + x386*x725 + x406*x731 + x426*x737 + x446*x743 +
x466*x749 + x486*x755 + x506*x761) - 4*x6 - 2*x46 - 8*x66 =E= 0;
e72.. x87*x552 - (x127*x642 + x147*x648 + x167*x654 + x187*x660 + x207*x666 +
x227*x672 + x247*x678 + x267*x684 + x287*x690 + x307*x696 + x327*x702 +
x347*x708 + x367*x714 + x387*x720 + x407*x726 + x427*x732 + x447*x738 +
x467*x744 + x487*x750 + x507*x756) - 3*x7 - 4*x27 - 4*x67 =E= 0;
e73.. x87*x553 - (x127*x643 + x147*x649 + x167*x655 + x187*x661 + x207*x667 +
x227*x673 + x247*x679 + x267*x685 + x287*x691 + x307*x697 + x327*x703 +
x347*x709 + x367*x715 + x387*x721 + x407*x727 + x427*x733 + x447*x739 +
x467*x745 + x487*x751 + x507*x757) - 5*x7 - 6*x27 - 3*x47 - x67 =E= 0;
e74.. x87*x554 - (x127*x644 + x147*x650 + x167*x656 + x187*x662 + x207*x668 +
x227*x674 + x247*x680 + x267*x686 + x287*x692 + x307*x698 + x327*x704 +
x347*x710 + x367*x716 + x387*x722 + x407*x728 + x427*x734 + x447*x740 +
x467*x746 + x487*x752 + x507*x758) - 2*x27 - 2*x47 - 2*x67 =E= 0;
e75.. x87*x555 - (x127*x645 + x147*x651 + x167*x657 + x187*x663 + x207*x669 +
x227*x675 + x247*x681 + x267*x687 + x287*x693 + x307*x699 + x327*x705 +
x347*x711 + x367*x717 + x387*x723 + x407*x729 + x427*x735 + x447*x741 +
x467*x747 + x487*x753 + x507*x759) - 8*x7 - 7*x47 - 3*x67 =E= 0;
e76.. x87*x556 - (x127*x646 + x147*x652 + x167*x658 + x187*x664 + x207*x670 +
x227*x676 + x247*x682 + x267*x688 + x287*x694 + x307*x700 + x327*x706 +
x347*x712 + x367*x718 + x387*x724 + x407*x730 + x427*x736 + x447*x742 +
x467*x748 + x487*x754 + x507*x760) - 2*x27 - 2*x67 =E= 0;
e77.. x87*x557 - (x127*x647 + x147*x653 + x167*x659 + x187*x665 + x207*x671 +
x227*x677 + x247*x683 + x267*x689 + x287*x695 + x307*x701 + x327*x707 +
x347*x713 + x367*x719 + x387*x725 + x407*x731 + x427*x737 + x447*x743 +
x467*x749 + x487*x755 + x507*x761) - 4*x7 - 2*x47 - 8*x67 =E= 0;
e78.. x88*x558 - (x128*x642 + x148*x648 + x168*x654 + x188*x660 + x208*x666 +
x228*x672 + x248*x678 + x268*x684 + x288*x690 + x308*x696 + x328*x702 +
x348*x708 + x368*x714 + x388*x720 + x408*x726 + x428*x732 + x448*x738 +
x468*x744 + x488*x750 + x508*x756) - 3*x8 - 4*x28 - 4*x68 =E= 0;
e79.. x88*x559 - (x128*x643 + x148*x649 + x168*x655 + x188*x661 + x208*x667 +
x228*x673 + x248*x679 + x268*x685 + x288*x691 + x308*x697 + x328*x703 +
x348*x709 + x368*x715 + x388*x721 + x408*x727 + x428*x733 + x448*x739 +
x468*x745 + x488*x751 + x508*x757) - 5*x8 - 6*x28 - 3*x48 - x68 =E= 0;
e80.. x88*x560 - (x128*x644 + x148*x650 + x168*x656 + x188*x662 + x208*x668 +
x228*x674 + x248*x680 + x268*x686 + x288*x692 + x308*x698 + x328*x704 +
x348*x710 + x368*x716 + x388*x722 + x408*x728 + x428*x734 + x448*x740 +
x468*x746 + x488*x752 + x508*x758) - 2*x28 - 2*x48 - 2*x68 =E= 0;
e81.. x88*x561 - (x128*x645 + x148*x651 + x168*x657 + x188*x663 + x208*x669 +
x228*x675 + x248*x681 + x268*x687 + x288*x693 + x308*x699 + x328*x705 +
x348*x711 + x368*x717 + x388*x723 + x408*x729 + x428*x735 + x448*x741 +
x468*x747 + x488*x753 + x508*x759) - 8*x8 - 7*x48 - 3*x68 =E= 0;
e82.. x88*x562 - (x128*x646 + x148*x652 + x168*x658 + x188*x664 + x208*x670 +
x228*x676 + x248*x682 + x268*x688 + x288*x694 + x308*x700 + x328*x706 +
x348*x712 + x368*x718 + x388*x724 + x408*x730 + x428*x736 + x448*x742 +
x468*x748 + x488*x754 + x508*x760) - 2*x28 - 2*x68 =E= 0;
e83.. x88*x563 - (x128*x647 + x148*x653 + x168*x659 + x188*x665 + x208*x671 +
x228*x677 + x248*x683 + x268*x689 + x288*x695 + x308*x701 + x328*x707 +
x348*x713 + x368*x719 + x388*x725 + x408*x731 + x428*x737 + x448*x743 +
x468*x749 + x488*x755 + x508*x761) - 4*x8 - 2*x48 - 8*x68 =E= 0;
e84.. x89*x564 - (x129*x642 + x149*x648 + x169*x654 + x189*x660 + x209*x666 +
x229*x672 + x249*x678 + x269*x684 + x289*x690 + x309*x696 + x329*x702 +
x349*x708 + x369*x714 + x389*x720 + x409*x726 + x429*x732 + x449*x738 +
x469*x744 + x489*x750 + x509*x756) - 3*x9 - 4*x29 - 4*x69 =E= 0;
e85.. x89*x565 - (x129*x643 + x149*x649 + x169*x655 + x189*x661 + x209*x667 +
x229*x673 + x249*x679 + x269*x685 + x289*x691 + x309*x697 + x329*x703 +
x349*x709 + x369*x715 + x389*x721 + x409*x727 + x429*x733 + x449*x739 +
x469*x745 + x489*x751 + x509*x757) - 5*x9 - 6*x29 - 3*x49 - x69 =E= 0;
e86.. x89*x566 - (x129*x644 + x149*x650 + x169*x656 + x189*x662 + x209*x668 +
x229*x674 + x249*x680 + x269*x686 + x289*x692 + x309*x698 + x329*x704 +
x349*x710 + x369*x716 + x389*x722 + x409*x728 + x429*x734 + x449*x740 +
x469*x746 + x489*x752 + x509*x758) - 2*x29 - 2*x49 - 2*x69 =E= 0;
e87.. x89*x567 - (x129*x645 + x149*x651 + x169*x657 + x189*x663 + x209*x669 +
x229*x675 + x249*x681 + x269*x687 + x289*x693 + x309*x699 + x329*x705 +
x349*x711 + x369*x717 + x389*x723 + x409*x729 + x429*x735 + x449*x741 +
x469*x747 + x489*x753 + x509*x759) - 8*x9 - 7*x49 - 3*x69 =E= 0;
e88.. x89*x568 - (x129*x646 + x149*x652 + x169*x658 + x189*x664 + x209*x670 +
x229*x676 + x249*x682 + x269*x688 + x289*x694 + x309*x700 + x329*x706 +
x349*x712 + x369*x718 + x389*x724 + x409*x730 + x429*x736 + x449*x742 +
x469*x748 + x489*x754 + x509*x760) - 2*x29 - 2*x69 =E= 0;
e89.. x89*x569 - (x129*x647 + x149*x653 + x169*x659 + x189*x665 + x209*x671 +
x229*x677 + x249*x683 + x269*x689 + x289*x695 + x309*x701 + x329*x707 +
x349*x713 + x369*x719 + x389*x725 + x409*x731 + x429*x737 + x449*x743 +
x469*x749 + x489*x755 + x509*x761) - 4*x9 - 2*x49 - 8*x69 =E= 0;
e90.. x90*x570 - (x130*x642 + x150*x648 + x170*x654 + x190*x660 + x210*x666 +
x230*x672 + x250*x678 + x270*x684 + x290*x690 + x310*x696 + x330*x702 +
x350*x708 + x370*x714 + x390*x720 + x410*x726 + x430*x732 + x450*x738 +
x470*x744 + x490*x750 + x510*x756) - 3*x10 - 4*x30 - 4*x70 =E= 0;
e91.. x90*x571 - (x130*x643 + x150*x649 + x170*x655 + x190*x661 + x210*x667 +
x230*x673 + x250*x679 + x270*x685 + x290*x691 + x310*x697 + x330*x703 +
x350*x709 + x370*x715 + x390*x721 + x410*x727 + x430*x733 + x450*x739 +
x470*x745 + x490*x751 + x510*x757) - 5*x10 - 6*x30 - 3*x50 - x70 =E= 0;
e92.. x90*x572 - (x130*x644 + x150*x650 + x170*x656 + x190*x662 + x210*x668 +
x230*x674 + x250*x680 + x270*x686 + x290*x692 + x310*x698 + x330*x704 +
x350*x710 + x370*x716 + x390*x722 + x410*x728 + x430*x734 + x450*x740 +
x470*x746 + x490*x752 + x510*x758) - 2*x30 - 2*x50 - 2*x70 =E= 0;
e93.. x90*x573 - (x130*x645 + x150*x651 + x170*x657 + x190*x663 + x210*x669 +
x230*x675 + x250*x681 + x270*x687 + x290*x693 + x310*x699 + x330*x705 +
x350*x711 + x370*x717 + x390*x723 + x410*x729 + x430*x735 + x450*x741 +
x470*x747 + x490*x753 + x510*x759) - 8*x10 - 7*x50 - 3*x70 =E= 0;
e94.. x90*x574 - (x130*x646 + x150*x652 + x170*x658 + x190*x664 + x210*x670 +
x230*x676 + x250*x682 + x270*x688 + x290*x694 + x310*x700 + x330*x706 +
x350*x712 + x370*x718 + x390*x724 + x410*x730 + x430*x736 + x450*x742 +
x470*x748 + x490*x754 + x510*x760) - 2*x30 - 2*x70 =E= 0;
e95.. x90*x575 - (x130*x647 + x150*x653 + x170*x659 + x190*x665 + x210*x671 +
x230*x677 + x250*x683 + x270*x689 + x290*x695 + x310*x701 + x330*x707 +
x350*x713 + x370*x719 + x390*x725 + x410*x731 + x430*x737 + x450*x743 +
x470*x749 + x490*x755 + x510*x761) - 4*x10 - 2*x50 - 8*x70 =E= 0;
e96.. x91*x576 - (x131*x642 + x151*x648 + x171*x654 + x191*x660 + x211*x666 +
x231*x672 + x251*x678 + x271*x684 + x291*x690 + x311*x696 + x331*x702 +
x351*x708 + x371*x714 + x391*x720 + x411*x726 + x431*x732 + x451*x738 +
x471*x744 + x491*x750 + x511*x756) - 3*x11 - 4*x31 - 4*x71 =E= 0;
e97.. x91*x577 - (x131*x643 + x151*x649 + x171*x655 + x191*x661 + x211*x667 +
x231*x673 + x251*x679 + x271*x685 + x291*x691 + x311*x697 + x331*x703 +
x351*x709 + x371*x715 + x391*x721 + x411*x727 + x431*x733 + x451*x739 +
x471*x745 + x491*x751 + x511*x757) - 5*x11 - 6*x31 - 3*x51 - x71 =E= 0;
e98.. x91*x578 - (x131*x644 + x151*x650 + x171*x656 + x191*x662 + x211*x668 +
x231*x674 + x251*x680 + x271*x686 + x291*x692 + x311*x698 + x331*x704 +
x351*x710 + x371*x716 + x391*x722 + x411*x728 + x431*x734 + x451*x740 +
x471*x746 + x491*x752 + x511*x758) - 2*x31 - 2*x51 - 2*x71 =E= 0;
e99.. x91*x579 - (x131*x645 + x151*x651 + x171*x657 + x191*x663 + x211*x669 +
x231*x675 + x251*x681 + x271*x687 + x291*x693 + x311*x699 + x331*x705 +
x351*x711 + x371*x717 + x391*x723 + x411*x729 + x431*x735 + x451*x741 +
x471*x747 + x491*x753 + x511*x759) - 8*x11 - 7*x51 - 3*x71 =E= 0;
e100.. x91*x580 - (x131*x646 + x151*x652 + x171*x658 + x191*x664 + x211*x670 +
x231*x676 + x251*x682 + x271*x688 + x291*x694 + x311*x700 + x331*x706 +
x351*x712 + x371*x718 + x391*x724 + x411*x730 + x431*x736 + x451*x742 +
x471*x748 + x491*x754 + x511*x760) - 2*x31 - 2*x71 =E= 0;
e101.. x91*x581 - (x131*x647 + x151*x653 + x171*x659 + x191*x665 + x211*x671 +
x231*x677 + x251*x683 + x271*x689 + x291*x695 + x311*x701 + x331*x707 +
x351*x713 + x371*x719 + x391*x725 + x411*x731 + x431*x737 + x451*x743 +
x471*x749 + x491*x755 + x511*x761) - 4*x11 - 2*x51 - 8*x71 =E= 0;
e102.. x92*x582 - (x132*x642 + x152*x648 + x172*x654 + x192*x660 + x212*x666 +
x232*x672 + x252*x678 + x272*x684 + x292*x690 + x312*x696 + x332*x702 +
x352*x708 + x372*x714 + x392*x720 + x412*x726 + x432*x732 + x452*x738 +
x472*x744 + x492*x750 + x512*x756) - 3*x12 - 4*x32 - 4*x72 =E= 0;
e103.. x92*x583 - (x132*x643 + x152*x649 + x172*x655 + x192*x661 + x212*x667 +
x232*x673 + x252*x679 + x272*x685 + x292*x691 + x312*x697 + x332*x703 +
x352*x709 + x372*x715 + x392*x721 + x412*x727 + x432*x733 + x452*x739 +
x472*x745 + x492*x751 + x512*x757) - 5*x12 - 6*x32 - 3*x52 - x72 =E= 0;
e104.. x92*x584 - (x132*x644 + x152*x650 + x172*x656 + x192*x662 + x212*x668 +
x232*x674 + x252*x680 + x272*x686 + x292*x692 + x312*x698 + x332*x704 +
x352*x710 + x372*x716 + x392*x722 + x412*x728 + x432*x734 + x452*x740 +
x472*x746 + x492*x752 + x512*x758) - 2*x32 - 2*x52 - 2*x72 =E= 0;
e105.. x92*x585 - (x132*x645 + x152*x651 + x172*x657 + x192*x663 + x212*x669 +
x232*x675 + x252*x681 + x272*x687 + x292*x693 + x312*x699 + x332*x705 +
x352*x711 + x372*x717 + x392*x723 + x412*x729 + x432*x735 + x452*x741 +
x472*x747 + x492*x753 + x512*x759) - 8*x12 - 7*x52 - 3*x72 =E= 0;
e106.. x92*x586 - (x132*x646 + x152*x652 + x172*x658 + x192*x664 + x212*x670 +
x232*x676 + x252*x682 + x272*x688 + x292*x694 + x312*x700 + x332*x706 +
x352*x712 + x372*x718 + x392*x724 + x412*x730 + x432*x736 + x452*x742 +
x472*x748 + x492*x754 + x512*x760) - 2*x32 - 2*x72 =E= 0;
e107.. x92*x587 - (x132*x647 + x152*x653 + x172*x659 + x192*x665 + x212*x671 +
x232*x677 + x252*x683 + x272*x689 + x292*x695 + x312*x701 + x332*x707 +
x352*x713 + x372*x719 + x392*x725 + x412*x731 + x432*x737 + x452*x743 +
x472*x749 + x492*x755 + x512*x761) - 4*x12 - 2*x52 - 8*x72 =E= 0;
e108.. x93*x588 - (x133*x642 + x153*x648 + x173*x654 + x193*x660 + x213*x666 +
x233*x672 + x253*x678 + x273*x684 + x293*x690 + x313*x696 + x333*x702 +
x353*x708 + x373*x714 + x393*x720 + x413*x726 + x433*x732 + x453*x738 +
x473*x744 + x493*x750 + x513*x756) - 3*x13 - 4*x33 - 4*x73 =E= 0;
e109.. x93*x589 - (x133*x643 + x153*x649 + x173*x655 + x193*x661 + x213*x667 +
x233*x673 + x253*x679 + x273*x685 + x293*x691 + x313*x697 + x333*x703 +
x353*x709 + x373*x715 + x393*x721 + x413*x727 + x433*x733 + x453*x739 +
x473*x745 + x493*x751 + x513*x757) - 5*x13 - 6*x33 - 3*x53 - x73 =E= 0;
e110.. x93*x590 - (x133*x644 + x153*x650 + x173*x656 + x193*x662 + x213*x668 +
x233*x674 + x253*x680 + x273*x686 + x293*x692 + x313*x698 + x333*x704 +
x353*x710 + x373*x716 + x393*x722 + x413*x728 + x433*x734 + x453*x740 +
x473*x746 + x493*x752 + x513*x758) - 2*x33 - 2*x53 - 2*x73 =E= 0;
e111.. x93*x591 - (x133*x645 + x153*x651 + x173*x657 + x193*x663 + x213*x669 +
x233*x675 + x253*x681 + x273*x687 + x293*x693 + x313*x699 + x333*x705 +
x353*x711 + x373*x717 + x393*x723 + x413*x729 + x433*x735 + x453*x741 +
x473*x747 + x493*x753 + x513*x759) - 8*x13 - 7*x53 - 3*x73 =E= 0;
e112.. x93*x592 - (x133*x646 + x153*x652 + x173*x658 + x193*x664 + x213*x670 +
x233*x676 + x253*x682 + x273*x688 + x293*x694 + x313*x700 + x333*x706 +
x353*x712 + x373*x718 + x393*x724 + x413*x730 + x433*x736 + x453*x742 +
x473*x748 + x493*x754 + x513*x760) - 2*x33 - 2*x73 =E= 0;
e113.. x93*x593 - (x133*x647 + x153*x653 + x173*x659 + x193*x665 + x213*x671 +
x233*x677 + x253*x683 + x273*x689 + x293*x695 + x313*x701 + x333*x707 +
x353*x713 + x373*x719 + x393*x725 + x413*x731 + x433*x737 + x453*x743 +
x473*x749 + x493*x755 + x513*x761) - 4*x13 - 2*x53 - 8*x73 =E= 0;
e114.. x94*x594 - (x134*x642 + x154*x648 + x174*x654 + x194*x660 + x214*x666 +
x234*x672 + x254*x678 + x274*x684 + x294*x690 + x314*x696 + x334*x702 +
x354*x708 + x374*x714 + x394*x720 + x414*x726 + x434*x732 + x454*x738 +
x474*x744 + x494*x750 + x514*x756) - 3*x14 - 4*x34 - 4*x74 =E= 0;
e115.. x94*x595 - (x134*x643 + x154*x649 + x174*x655 + x194*x661 + x214*x667 +
x234*x673 + x254*x679 + x274*x685 + x294*x691 + x314*x697 + x334*x703 +
x354*x709 + x374*x715 + x394*x721 + x414*x727 + x434*x733 + x454*x739 +
x474*x745 + x494*x751 + x514*x757) - 5*x14 - 6*x34 - 3*x54 - x74 =E= 0;
e116.. x94*x596 - (x134*x644 + x154*x650 + x174*x656 + x194*x662 + x214*x668 +
x234*x674 + x254*x680 + x274*x686 + x294*x692 + x314*x698 + x334*x704 +
x354*x710 + x374*x716 + x394*x722 + x414*x728 + x434*x734 + x454*x740 +
x474*x746 + x494*x752 + x514*x758) - 2*x34 - 2*x54 - 2*x74 =E= 0;
e117.. x94*x597 - (x134*x645 + x154*x651 + x174*x657 + x194*x663 + x214*x669 +
x234*x675 + x254*x681 + x274*x687 + x294*x693 + x314*x699 + x334*x705 +
x354*x711 + x374*x717 + x394*x723 + x414*x729 + x434*x735 + x454*x741 +
x474*x747 + x494*x753 + x514*x759) - 8*x14 - 7*x54 - 3*x74 =E= 0;
e118.. x94*x598 - (x134*x646 + x154*x652 + x174*x658 + x194*x664 + x214*x670 +
x234*x676 + x254*x682 + x274*x688 + x294*x694 + x314*x700 + x334*x706 +
x354*x712 + x374*x718 + x394*x724 + x414*x730 + x434*x736 + x454*x742 +
x474*x748 + x494*x754 + x514*x760) - 2*x34 - 2*x74 =E= 0;
e119.. x94*x599 - (x134*x647 + x154*x653 + x174*x659 + x194*x665 + x214*x671 +
x234*x677 + x254*x683 + x274*x689 + x294*x695 + x314*x701 + x334*x707 +
x354*x713 + x374*x719 + x394*x725 + x414*x731 + x434*x737 + x454*x743 +
x474*x749 + x494*x755 + x514*x761) - 4*x14 - 2*x54 - 8*x74 =E= 0;
e120.. x95*x600 - (x135*x642 + x155*x648 + x175*x654 + x195*x660 + x215*x666 +
x235*x672 + x255*x678 + x275*x684 + x295*x690 + x315*x696 + x335*x702 +
x355*x708 + x375*x714 + x395*x720 + x415*x726 + x435*x732 + x455*x738 +
x475*x744 + x495*x750 + x515*x756) - 3*x15 - 4*x35 - 4*x75 =E= 0;
e121.. x95*x601 - (x135*x643 + x155*x649 + x175*x655 + x195*x661 + x215*x667 +
x235*x673 + x255*x679 + x275*x685 + x295*x691 + x315*x697 + x335*x703 +
x355*x709 + x375*x715 + x395*x721 + x415*x727 + x435*x733 + x455*x739 +
x475*x745 + x495*x751 + x515*x757) - 5*x15 - 6*x35 - 3*x55 - x75 =E= 0;
e122.. x95*x602 - (x135*x644 + x155*x650 + x175*x656 + x195*x662 + x215*x668 +
x235*x674 + x255*x680 + x275*x686 + x295*x692 + x315*x698 + x335*x704 +
x355*x710 + x375*x716 + x395*x722 + x415*x728 + x435*x734 + x455*x740 +
x475*x746 + x495*x752 + x515*x758) - 2*x35 - 2*x55 - 2*x75 =E= 0;
e123.. x95*x603 - (x135*x645 + x155*x651 + x175*x657 + x195*x663 + x215*x669 +
x235*x675 + x255*x681 + x275*x687 + x295*x693 + x315*x699 + x335*x705 +
x355*x711 + x375*x717 + x395*x723 + x415*x729 + x435*x735 + x455*x741 +
x475*x747 + x495*x753 + x515*x759) - 8*x15 - 7*x55 - 3*x75 =E= 0;
e124.. x95*x604 - (x135*x646 + x155*x652 + x175*x658 + x195*x664 + x215*x670 +
x235*x676 + x255*x682 + x275*x688 + x295*x694 + x315*x700 + x335*x706 +
x355*x712 + x375*x718 + x395*x724 + x415*x730 + x435*x736 + x455*x742 +
x475*x748 + x495*x754 + x515*x760) - 2*x35 - 2*x75 =E= 0;
e125.. x95*x605 - (x135*x647 + x155*x653 + x175*x659 + x195*x665 + x215*x671 +
x235*x677 + x255*x683 + x275*x689 + x295*x695 + x315*x701 + x335*x707 +
x355*x713 + x375*x719 + x395*x725 + x415*x731 + x435*x737 + x455*x743 +
x475*x749 + x495*x755 + x515*x761) - 4*x15 - 2*x55 - 8*x75 =E= 0;
e126.. x96*x606 - (x136*x642 + x156*x648 + x176*x654 + x196*x660 + x216*x666 +
x236*x672 + x256*x678 + x276*x684 + x296*x690 + x316*x696 + x336*x702 +
x356*x708 + x376*x714 + x396*x720 + x416*x726 + x436*x732 + x456*x738 +
x476*x744 + x496*x750 + x516*x756) - 3*x16 - 4*x36 - 4*x76 =E= 0;
e127.. x96*x607 - (x136*x643 + x156*x649 + x176*x655 + x196*x661 + x216*x667 +
x236*x673 + x256*x679 + x276*x685 + x296*x691 + x316*x697 + x336*x703 +
x356*x709 + x376*x715 + x396*x721 + x416*x727 + x436*x733 + x456*x739 +
x476*x745 + x496*x751 + x516*x757) - 5*x16 - 6*x36 - 3*x56 - x76 =E= 0;
e128.. x96*x608 - (x136*x644 + x156*x650 + x176*x656 + x196*x662 + x216*x668 +
x236*x674 + x256*x680 + x276*x686 + x296*x692 + x316*x698 + x336*x704 +
x356*x710 + x376*x716 + x396*x722 + x416*x728 + x436*x734 + x456*x740 +
x476*x746 + x496*x752 + x516*x758) - 2*x36 - 2*x56 - 2*x76 =E= 0;
e129.. x96*x609 - (x136*x645 + x156*x651 + x176*x657 + x196*x663 + x216*x669 +
x236*x675 + x256*x681 + x276*x687 + x296*x693 + x316*x699 + x336*x705 +
x356*x711 + x376*x717 + x396*x723 + x416*x729 + x436*x735 + x456*x741 +
x476*x747 + x496*x753 + x516*x759) - 8*x16 - 7*x56 - 3*x76 =E= 0;
e130.. x96*x610 - (x136*x646 + x156*x652 + x176*x658 + x196*x664 + x216*x670 +
x236*x676 + x256*x682 + x276*x688 + x296*x694 + x316*x700 + x336*x706 +
x356*x712 + x376*x718 + x396*x724 + x416*x730 + x436*x736 + x456*x742 +
x476*x748 + x496*x754 + x516*x760) - 2*x36 - 2*x76 =E= 0;
e131.. x96*x611 - (x136*x647 + x156*x653 + x176*x659 + x196*x665 + x216*x671 +
x236*x677 + x256*x683 + x276*x689 + x296*x695 + x316*x701 + x336*x707 +
x356*x713 + x376*x719 + x396*x725 + x416*x731 + x436*x737 + x456*x743 +
x476*x749 + x496*x755 + x516*x761) - 4*x16 - 2*x56 - 8*x76 =E= 0;
e132.. x97*x612 - (x137*x642 + x157*x648 + x177*x654 + x197*x660 + x217*x666 +
x237*x672 + x257*x678 + x277*x684 + x297*x690 + x317*x696 + x337*x702 +
x357*x708 + x377*x714 + x397*x720 + x417*x726 + x437*x732 + x457*x738 +
x477*x744 + x497*x750 + x517*x756) - 3*x17 - 4*x37 - 4*x77 =E= 0;
e133.. x97*x613 - (x137*x643 + x157*x649 + x177*x655 + x197*x661 + x217*x667 +
x237*x673 + x257*x679 + x277*x685 + x297*x691 + x317*x697 + x337*x703 +
x357*x709 + x377*x715 + x397*x721 + x417*x727 + x437*x733 + x457*x739 +
x477*x745 + x497*x751 + x517*x757) - 5*x17 - 6*x37 - 3*x57 - x77 =E= 0;
e134.. x97*x614 - (x137*x644 + x157*x650 + x177*x656 + x197*x662 + x217*x668 +
x237*x674 + x257*x680 + x277*x686 + x297*x692 + x317*x698 + x337*x704 +
x357*x710 + x377*x716 + x397*x722 + x417*x728 + x437*x734 + x457*x740 +
x477*x746 + x497*x752 + x517*x758) - 2*x37 - 2*x57 - 2*x77 =E= 0;
e135.. x97*x615 - (x137*x645 + x157*x651 + x177*x657 + x197*x663 + x217*x669 +
x237*x675 + x257*x681 + x277*x687 + x297*x693 + x317*x699 + x337*x705 +
x357*x711 + x377*x717 + x397*x723 + x417*x729 + x437*x735 + x457*x741 +
x477*x747 + x497*x753 + x517*x759) - 8*x17 - 7*x57 - 3*x77 =E= 0;
e136.. x97*x616 - (x137*x646 + x157*x652 + x177*x658 + x197*x664 + x217*x670 +
x237*x676 + x257*x682 + x277*x688 + x297*x694 + x317*x700 + x337*x706 +
x357*x712 + x377*x718 + x397*x724 + x417*x730 + x437*x736 + x457*x742 +
x477*x748 + x497*x754 + x517*x760) - 2*x37 - 2*x77 =E= 0;
e137.. x97*x617 - (x137*x647 + x157*x653 + x177*x659 + x197*x665 + x217*x671 +
x237*x677 + x257*x683 + x277*x689 + x297*x695 + x317*x701 + x337*x707 +
x357*x713 + x377*x719 + x397*x725 + x417*x731 + x437*x737 + x457*x743 +
x477*x749 + x497*x755 + x517*x761) - 4*x17 - 2*x57 - 8*x77 =E= 0;
e138.. x98*x618 - (x138*x642 + x158*x648 + x178*x654 + x198*x660 + x218*x666 +
x238*x672 + x258*x678 + x278*x684 + x298*x690 + x318*x696 + x338*x702 +
x358*x708 + x378*x714 + x398*x720 + x418*x726 + x438*x732 + x458*x738 +
x478*x744 + x498*x750 + x518*x756) - 3*x18 - 4*x38 - 4*x78 =E= 0;
e139.. x98*x619 - (x138*x643 + x158*x649 + x178*x655 + x198*x661 + x218*x667 +
x238*x673 + x258*x679 + x278*x685 + x298*x691 + x318*x697 + x338*x703 +
x358*x709 + x378*x715 + x398*x721 + x418*x727 + x438*x733 + x458*x739 +
x478*x745 + x498*x751 + x518*x757) - 5*x18 - 6*x38 - 3*x58 - x78 =E= 0;
e140.. x98*x620 - (x138*x644 + x158*x650 + x178*x656 + x198*x662 + x218*x668 +
x238*x674 + x258*x680 + x278*x686 + x298*x692 + x318*x698 + x338*x704 +
x358*x710 + x378*x716 + x398*x722 + x418*x728 + x438*x734 + x458*x740 +
x478*x746 + x498*x752 + x518*x758) - 2*x38 - 2*x58 - 2*x78 =E= 0;
e141.. x98*x621 - (x138*x645 + x158*x651 + x178*x657 + x198*x663 + x218*x669 +
x238*x675 + x258*x681 + x278*x687 + x298*x693 + x318*x699 + x338*x705 +
x358*x711 + x378*x717 + x398*x723 + x418*x729 + x438*x735 + x458*x741 +
x478*x747 + x498*x753 + x518*x759) - 8*x18 - 7*x58 - 3*x78 =E= 0;
e142.. x98*x622 - (x138*x646 + x158*x652 + x178*x658 + x198*x664 + x218*x670 +
x238*x676 + x258*x682 + x278*x688 + x298*x694 + x318*x700 + x338*x706 +
x358*x712 + x378*x718 + x398*x724 + x418*x730 + x438*x736 + x458*x742 +
x478*x748 + x498*x754 + x518*x760) - 2*x38 - 2*x78 =E= 0;
e143.. x98*x623 - (x138*x647 + x158*x653 + x178*x659 + x198*x665 + x218*x671 +
x238*x677 + x258*x683 + x278*x689 + x298*x695 + x318*x701 + x338*x707 +
x358*x713 + x378*x719 + x398*x725 + x418*x731 + x438*x737 + x458*x743 +
x478*x749 + x498*x755 + x518*x761) - 4*x18 - 2*x58 - 8*x78 =E= 0;
e144.. x99*x624 - (x139*x642 + x159*x648 + x179*x654 + x199*x660 + x219*x666 +
x239*x672 + x259*x678 + x279*x684 + x299*x690 + x319*x696 + x339*x702 +
x359*x708 + x379*x714 + x399*x720 + x419*x726 + x439*x732 + x459*x738 +
x479*x744 + x499*x750 + x519*x756) - 3*x19 - 4*x39 - 4*x79 =E= 0;
e145.. x99*x625 - (x139*x643 + x159*x649 + x179*x655 + x199*x661 + x219*x667 +
x239*x673 + x259*x679 + x279*x685 + x299*x691 + x319*x697 + x339*x703 +
x359*x709 + x379*x715 + x399*x721 + x419*x727 + x439*x733 + x459*x739 +
x479*x745 + x499*x751 + x519*x757) - 5*x19 - 6*x39 - 3*x59 - x79 =E= 0;
e146.. x99*x626 - (x139*x644 + x159*x650 + x179*x656 + x199*x662 + x219*x668 +
x239*x674 + x259*x680 + x279*x686 + x299*x692 + x319*x698 + x339*x704 +
x359*x710 + x379*x716 + x399*x722 + x419*x728 + x439*x734 + x459*x740 +
x479*x746 + x499*x752 + x519*x758) - 2*x39 - 2*x59 - 2*x79 =E= 0;
e147.. x99*x627 - (x139*x645 + x159*x651 + x179*x657 + x199*x663 + x219*x669 +
x239*x675 + x259*x681 + x279*x687 + x299*x693 + x319*x699 + x339*x705 +
x359*x711 + x379*x717 + x399*x723 + x419*x729 + x439*x735 + x459*x741 +
x479*x747 + x499*x753 + x519*x759) - 8*x19 - 7*x59 - 3*x79 =E= 0;
e148.. x99*x628 - (x139*x646 + x159*x652 + x179*x658 + x199*x664 + x219*x670 +
x239*x676 + x259*x682 + x279*x688 + x299*x694 + x319*x700 + x339*x706 +
x359*x712 + x379*x718 + x399*x724 + x419*x730 + x439*x736 + x459*x742 +
x479*x748 + x499*x754 + x519*x760) - 2*x39 - 2*x79 =E= 0;
e149.. x99*x629 - (x139*x647 + x159*x653 + x179*x659 + x199*x665 + x219*x671 +
x239*x677 + x259*x683 + x279*x689 + x299*x695 + x319*x701 + x339*x707 +
x359*x713 + x379*x719 + x399*x725 + x419*x731 + x439*x737 + x459*x743 +
x479*x749 + x499*x755 + x519*x761) - 4*x19 - 2*x59 - 8*x79 =E= 0;
e150.. x100*x630 - (x140*x642 + x160*x648 + x180*x654 + x200*x660 + x220*x666
+ x240*x672 + x260*x678 + x280*x684 + x300*x690 + x320*x696 + x340*x702
+ x360*x708 + x380*x714 + x400*x720 + x420*x726 + x440*x732 + x460*x738
+ x480*x744 + x500*x750 + x520*x756) - 3*x20 - 4*x40 - 4*x80 =E= 0;
e151.. x100*x631 - (x140*x643 + x160*x649 + x180*x655 + x200*x661 + x220*x667
+ x240*x673 + x260*x679 + x280*x685 + x300*x691 + x320*x697 + x340*x703
+ x360*x709 + x380*x715 + x400*x721 + x420*x727 + x440*x733 + x460*x739
+ x480*x745 + x500*x751 + x520*x757) - 5*x20 - 6*x40 - 3*x60 - x80
=E= 0;
e152.. x100*x632 - (x140*x644 + x160*x650 + x180*x656 + x200*x662 + x220*x668
+ x240*x674 + x260*x680 + x280*x686 + x300*x692 + x320*x698 + x340*x704
+ x360*x710 + x380*x716 + x400*x722 + x420*x728 + x440*x734 + x460*x740
+ x480*x746 + x500*x752 + x520*x758) - 2*x40 - 2*x60 - 2*x80 =E= 0;
e153.. x100*x633 - (x140*x645 + x160*x651 + x180*x657 + x200*x663 + x220*x669
+ x240*x675 + x260*x681 + x280*x687 + x300*x693 + x320*x699 + x340*x705
+ x360*x711 + x380*x717 + x400*x723 + x420*x729 + x440*x735 + x460*x741
+ x480*x747 + x500*x753 + x520*x759) - 8*x20 - 7*x60 - 3*x80 =E= 0;
e154.. x100*x634 - (x140*x646 + x160*x652 + x180*x658 + x200*x664 + x220*x670
+ x240*x676 + x260*x682 + x280*x688 + x300*x694 + x320*x700 + x340*x706
+ x360*x712 + x380*x718 + x400*x724 + x420*x730 + x440*x736 + x460*x742
+ x480*x748 + x500*x754 + x520*x760) - 2*x40 - 2*x80 =E= 0;
e155.. x100*x635 - (x140*x647 + x160*x653 + x180*x659 + x200*x665 + x220*x671
+ x240*x677 + x260*x683 + x280*x689 + x300*x695 + x320*x701 + x340*x707
+ x360*x713 + x380*x719 + x400*x725 + x420*x731 + x440*x737 + x460*x743
+ x480*x749 + x500*x755 + x520*x761) - 4*x20 - 2*x60 - 8*x80 =E= 0;
e156.. x101*x636 - (x141*x642 + x161*x648 + x181*x654 + x201*x660 + x221*x666
+ x241*x672 + x261*x678 + x281*x684 + x301*x690 + x321*x696 + x341*x702
+ x361*x708 + x381*x714 + x401*x720 + x421*x726 + x441*x732 + x461*x738
+ x481*x744 + x501*x750 + x521*x756) - 3*x21 - 4*x41 - 4*x81 =E= 0;
e157.. x101*x637 - (x141*x643 + x161*x649 + x181*x655 + x201*x661 + x221*x667
+ x241*x673 + x261*x679 + x281*x685 + x301*x691 + x321*x697 + x341*x703
+ x361*x709 + x381*x715 + x401*x721 + x421*x727 + x441*x733 + x461*x739
+ x481*x745 + x501*x751 + x521*x757) - 5*x21 - 6*x41 - 3*x61 - x81
=E= 0;
e158.. x101*x638 - (x141*x644 + x161*x650 + x181*x656 + x201*x662 + x221*x668
+ x241*x674 + x261*x680 + x281*x686 + x301*x692 + x321*x698 + x341*x704
+ x361*x710 + x381*x716 + x401*x722 + x421*x728 + x441*x734 + x461*x740
+ x481*x746 + x501*x752 + x521*x758) - 2*x41 - 2*x61 - 2*x81 =E= 0;
e159.. x101*x639 - (x141*x645 + x161*x651 + x181*x657 + x201*x663 + x221*x669
+ x241*x675 + x261*x681 + x281*x687 + x301*x693 + x321*x699 + x341*x705
+ x361*x711 + x381*x717 + x401*x723 + x421*x729 + x441*x735 + x461*x741
+ x481*x747 + x501*x753 + x521*x759) - 8*x21 - 7*x61 - 3*x81 =E= 0;
e160.. x101*x640 - (x141*x646 + x161*x652 + x181*x658 + x201*x664 + x221*x670
+ x241*x676 + x261*x682 + x281*x688 + x301*x694 + x321*x700 + x341*x706
+ x361*x712 + x381*x718 + x401*x724 + x421*x730 + x441*x736 + x461*x742
+ x481*x748 + x501*x754 + x521*x760) - 2*x41 - 2*x81 =E= 0;
e161.. x101*x641 - (x141*x647 + x161*x653 + x181*x659 + x201*x665 + x221*x671
+ x241*x677 + x261*x683 + x281*x689 + x301*x695 + x321*x701 + x341*x707
+ x361*x713 + x381*x719 + x401*x725 + x421*x731 + x441*x737 + x461*x743
+ x481*x749 + x501*x755 + x521*x761) - 4*x21 - 2*x61 - 8*x81 =E= 0;
e162.. -x82*(x642 - x522) =E= -3196;
e163.. -x82*(x643 - x523) =E= -11832;
e164.. -x82*(x644 - x524) =E= -8364;
e165.. -x82*(x645 - x525) =E= -136;
e166.. -x82*(x646 - x526) =E= -5712;
e167.. -x82*(x647 - x527) =E= -3400;
e168.. -x83*(x648 - x528) =E= -9250;
e169.. -x83*(x649 - x529) =E= -7030;
e170.. -x83*(x650 - x530) =E= -4070;
e171.. -x83*(x651 - x531) =E= -184556;
e172.. -x83*(x652 - x532) =E= -1924;
e173.. -x83*(x653 - x533) =E= -7252;
e174.. -x84*(x654 - x534) =E= -10080;
e175.. -x84*(x655 - x535) =E= -4914;
e176.. -x84*(x656 - x536) =E= -46242;
e177.. -x84*(x657 - x537) =E= -5418;
e178.. -x84*(x658 - x538) =E= -16506;
e179.. -x84*(x659 - x539) =E= -4284;
e180.. -x85*(x660 - x540) =E= -2376;
e181.. -x85*(x661 - x541) =E= -30096;
e182.. -x85*(x662 - x542) =E= -26840;
e183.. -x85*(x663 - x543) =E= -35904;
e184.. -x85*(x664 - x544) =E= -11880;
e185.. -x85*(x665 - x545) =E= -18568;
e186.. -x86*(x666 - x546) =E= -50000;
e187.. -x86*(x667 - x547) =E= -351200;
e188.. -x86*(x668 - x548) =E= -14000;
e189.. -x86*(x669 - x549) =E= -3500;
e190.. -x86*(x670 - x550) =E= -15800;
e191.. -x86*(x671 - x551) =E= -7800;
e192.. -x87*(x672 - x552) =E= -4400;
e193.. -x87*(x673 - x553) =E= -5500;
e194.. -x87*(x674 - x554) =E= -8250;
e195.. -x87*(x675 - x555) =E= -3300;
e196.. -x87*(x676 - x556) =E= -4400;
e197.. -x87*(x677 - x557) =E= -3300;
e198.. -x88*(x678 - x558) =E= -2300;
e199.. -x88*(x679 - x559) =E= -3800;
e200.. -x88*(x680 - x560) =E= -4100;
e201.. -x88*(x681 - x561) =E= 0;
e202.. -x88*(x682 - x562) =E= -20000;
e203.. -x88*(x683 - x563) =E= -12600;
e204.. -x89*(x684 - x564) =E= -1300;
e205.. -x89*(x685 - x565) =E= -2600;
e206.. -x89*(x686 - x566) =E= -1820;
e207.. -x89*(x687 - x567) =E= -260000;
e208.. -x89*(x688 - x568) =E= -2600;
e209.. -x89*(x689 - x569) =E= -8944;
e210.. -x90*(x690 - x570) =E= -19600;
e211.. -x90*(x691 - x571) =E= -29400;
e212.. -x90*(x692 - x572) =E= -19600;
e213.. -x90*(x693 - x573) =E= -2646;
e214.. -x90*(x694 - x574) =E= -12740;
e215.. -x90*(x695 - x575) =E= -66248;
e216.. -x91*(x696 - x576) =E= -34500;
e217.. -x91*(x697 - x577) =E= -4025;
e218.. -x91*(x698 - x578) =E= -9775;
e219.. -x91*(x699 - x579) =E= -3450;
e220.. -x91*(x700 - x580) =E= -62790;
e221.. -x91*(x701 - x581) =E= -62560;
e222.. -x92*(x702 - x582) =E= -120250;
e223.. -x92*(x703 - x583) =E= -11470;
e224.. -x92*(x704 - x584) =E= -18500;
e225.. -x92*(x705 - x585) =E= -7215;
e226.. -x92*(x706 - x586) =E= -74000;
e227.. -x92*(x707 - x587) =E= -7030;
e228.. -x93*(x708 - x588) =E= -9500;
e229.. -x93*(x709 - x589) =E= -9500;
e230.. -x93*(x710 - x590) =E= -28500;
e231.. -x93*(x711 - x591) =E= -8075;
e232.. -x93*(x712 - x592) =E= -9500;
e233.. -x93*(x713 - x593) =E= -5225;
e234.. -x94*(x714 - x594) =E= -50000;
e235.. -x94*(x715 - x595) =E= -351200;
e236.. -x94*(x716 - x596) =E= -14000;
e237.. -x94*(x717 - x597) =E= -3500;
e238.. -x94*(x718 - x598) =E= -15800;
e239.. -x94*(x719 - x599) =E= -7800;
e240.. -x95*(x720 - x600) =E= -27600;
e241.. -x95*(x721 - x601) =E= -34500;
e242.. -x95*(x722 - x602) =E= -51750;
e243.. -x95*(x723 - x603) =E= -20700;
e244.. -x95*(x724 - x604) =E= -27600;
e245.. -x95*(x725 - x605) =E= -20700;
e246.. -x96*(x726 - x606) =E= -2300;
e247.. -x96*(x727 - x607) =E= -3800;
e248.. -x96*(x728 - x608) =E= -4100;
e249.. -x96*(x729 - x609) =E= 0;
e250.. -x96*(x730 - x610) =E= -20000;
e251.. -x96*(x731 - x611) =E= -12600;
e252.. -x97*(x732 - x612) =E= -9250;
e253.. -x97*(x733 - x613) =E= -18500;
e254.. -x97*(x734 - x614) =E= -12950;
e255.. -x97*(x735 - x615) =E= -1850000;
e256.. -x97*(x736 - x616) =E= -18500;
e257.. -x97*(x737 - x617) =E= -63640;
e258.. -x98*(x738 - x618) =E= -19000;
e259.. -x98*(x739 - x619) =E= -28500;
e260.. -x98*(x740 - x620) =E= -19000;
e261.. -x98*(x741 - x621) =E= -2565;
e262.. -x98*(x742 - x622) =E= -12350;
e263.. -x98*(x743 - x623) =E= -64220;
e264.. -x99*(x744 - x624) =E= -30000;
e265.. -x99*(x745 - x625) =E= -3500;
e266.. -x99*(x746 - x626) =E= -8500;
e267.. -x99*(x747 - x627) =E= -3000;
e268.. -x99*(x748 - x628) =E= -54600;
e269.. -x99*(x749 - x629) =E= -54400;
e270.. -x100*(x750 - x630) =E= -224250;
e271.. -x100*(x751 - x631) =E= -21390;
e272.. -x100*(x752 - x632) =E= -34500;
e273.. -x100*(x753 - x633) =E= -13455;
e274.. -x100*(x754 - x634) =E= -138000;
e275.. -x100*(x755 - x635) =E= -13110;
e276.. -x101*(x756 - x636) =E= -10000;
e277.. -x101*(x757 - x637) =E= -10000;
e278.. -x101*(x758 - x638) =E= -30000;
e279.. -x101*(x759 - x639) =E= -8500;
e280.. -x101*(x760 - x640) =E= -10000;
e281.. -x101*(x761 - x641) =E= -5500;
e282.. x522 =L= 45;
e283.. x523 =L= 52;
e284.. x524 =L= 189;
e285.. x525 =L= 33;
e286.. x526 =L= 210;
e287.. x527 =L= 24;
e288.. x528 =L= 120;
e289.. x529 =L= 30;
e290.. x530 =L= 30;
e291.. x531 =L= 12234;
e292.. x532 =L= 98;
e293.. x533 =L= 656;
e294.. x534 =L= 142;
e295.. x535 =L= 420;
e296.. x536 =L= 200;
e297.. x537 =L= 13;
e298.. x538 =L= 637;
e299.. x539 =L= 24;
e300.. x540 =L= 20;
e301.. x541 =L= 25;
e302.. x542 =L= 15;
e303.. x543 =L= 25;
e304.. x544 =L= 454;
e305.. x545 =L= 256;
e306.. x546 =L= 350;
e307.. x547 =L= 48;
e308.. x548 =L= 260;
e309.. x549 =L= 21;
e310.. x550 =L= 278;
e311.. x551 =L= 12;
e312.. x552 =L= 20;
e313.. x553 =L= 50;
e314.. x554 =L= 100;
e315.. x555 =L= 30;
e316.. x556 =L= 70;
e317.. x557 =L= 20;
e318.. x558 =L= 45;
e319.. x559 =L= 52;
e320.. x560 =L= 189;
e321.. x561 =L= 33;
e322.. x562 =L= 210;
e323.. x563 =L= 24;
e324.. x564 =L= 120;
e325.. x565 =L= 30;
e326.. x566 =L= 30;
e327.. x567 =L= 12234;
e328.. x568 =L= 98;
e329.. x569 =L= 656;
e330.. x570 =L= 142;
e331.. x571 =L= 420;
e332.. x572 =L= 200;
e333.. x573 =L= 13;
e334.. x574 =L= 637;
e335.. x575 =L= 24;
e336.. x576 =L= 20;
e337.. x577 =L= 25;
e338.. x578 =L= 15;
e339.. x579 =L= 25;
e340.. x580 =L= 454;
e341.. x581 =L= 256;
e342.. x582 =L= 350;
e343.. x583 =L= 48;
e344.. x584 =L= 260;
e345.. x585 =L= 21;
e346.. x586 =L= 278;
e347.. x587 =L= 12;
e348.. x588 =L= 20;
e349.. x589 =L= 50;
e350.. x590 =L= 100;
e351.. x591 =L= 30;
e352.. x592 =L= 70;
e353.. x593 =L= 20;
e354.. x594 =L= 350;
e355.. x595 =L= 48;
e356.. x596 =L= 260;
e357.. x597 =L= 21;
e358.. x598 =L= 278;
e359.. x599 =L= 12;
e360.. x600 =L= 20;
e361.. x601 =L= 50;
e362.. x602 =L= 100;
e363.. x603 =L= 30;
e364.. x604 =L= 70;
e365.. x605 =L= 20;
e366.. x606 =L= 45;
e367.. x607 =L= 52;
e368.. x608 =L= 189;
e369.. x609 =L= 33;
e370.. x610 =L= 210;
e371.. x611 =L= 24;
e372.. x612 =L= 120;
e373.. x613 =L= 30;
e374.. x614 =L= 30;
e375.. x615 =L= 12234;
e376.. x616 =L= 98;
e377.. x617 =L= 656;
e378.. x618 =L= 142;
e379.. x619 =L= 420;
e380.. x620 =L= 200;
e381.. x621 =L= 13;
e382.. x622 =L= 637;
e383.. x623 =L= 24;
e384.. x624 =L= 20;
e385.. x625 =L= 25;
e386.. x626 =L= 15;
e387.. x627 =L= 25;
e388.. x628 =L= 454;
e389.. x629 =L= 256;
e390.. x630 =L= 350;
e391.. x631 =L= 48;
e392.. x632 =L= 260;
e393.. x633 =L= 21;
e394.. x634 =L= 278;
e395.. x635 =L= 12;
e396.. x636 =L= 20;
e397.. x637 =L= 50;
e398.. x638 =L= 100;
e399.. x639 =L= 30;
e400.. x640 =L= 70;
e401.. x641 =L= 20;
e402.. x642 =L= 139;
e403.. x643 =L= 400;
e404.. x644 =L= 435;
e405.. x645 =L= 37;
e406.. x646 =L= 378;
e407.. x647 =L= 124;
e408.. x648 =L= 245;
e409.. x649 =L= 125;
e410.. x650 =L= 85;
e411.. x651 =L= 14728;
e412.. x652 =L= 124;
e413.. x653 =L= 754;
e414.. x654 =L= 222;
e415.. x655 =L= 459;
e416.. x656 =L= 567;
e417.. x657 =L= 56;
e418.. x658 =L= 768;
e419.. x659 =L= 58;
e420.. x660 =L= 47;
e421.. x661 =L= 367;
e422.. x662 =L= 320;
e423.. x663 =L= 433;
e424.. x664 =L= 589;
e425.. x665 =L= 467;
e426.. x666 =L= 850;
e427.. x667 =L= 3560;
e428.. x668 =L= 400;
e429.. x669 =L= 56;
e430.. x670 =L= 436;
e431.. x671 =L= 90;
e432.. x672 =L= 100;
e433.. x673 =L= 150;
e434.. x674 =L= 250;
e435.. x675 =L= 90;
e436.. x676 =L= 150;
e437.. x677 =L= 80;
e438.. x678 =L= 68;
e439.. x679 =L= 90;
e440.. x680 =L= 230;
e441.. x681 =L= 33;
e442.. x682 =L= 410;
e443.. x683 =L= 150;
e444.. x684 =L= 170;
e445.. x685 =L= 130;
e446.. x686 =L= 100;
e447.. x687 =L= 22234;
e448.. x688 =L= 198;
e449.. x689 =L= 1000;
e450.. x690 =L= 342;
e451.. x691 =L= 720;
e452.. x692 =L= 400;
e453.. x693 =L= 40;
e454.. x694 =L= 767;
e455.. x695 =L= 700;
e456.. x696 =L= 320;
e457.. x697 =L= 60;
e458.. x698 =L= 100;
e459.. x699 =L= 55;
e460.. x700 =L= 1000;
e461.. x701 =L= 800;
e462.. x702 =L= 1000;
e463.. x703 =L= 110;
e464.. x704 =L= 360;
e465.. x705 =L= 60;
e466.. x706 =L= 678;
e467.. x707 =L= 50;
e468.. x708 =L= 120;
e469.. x709 =L= 150;
e470.. x710 =L= 400;
e471.. x711 =L= 115;
e472.. x712 =L= 170;
e473.. x713 =L= 75;
e474.. x714 =L= 850;
e475.. x715 =L= 3560;
e476.. x716 =L= 400;
e477.. x717 =L= 56;
e478.. x718 =L= 436;
e479.. x719 =L= 90;
e480.. x720 =L= 100;
e481.. x721 =L= 150;
e482.. x722 =L= 250;
e483.. x723 =L= 90;
e484.. x724 =L= 150;
e485.. x725 =L= 80;
e486.. x726 =L= 68;
e487.. x727 =L= 90;
e488.. x728 =L= 230;
e489.. x729 =L= 33;
e490.. x730 =L= 410;
e491.. x731 =L= 150;
e492.. x732 =L= 170;
e493.. x733 =L= 130;
e494.. x734 =L= 100;
e495.. x735 =L= 22234;
e496.. x736 =L= 198;
e497.. x737 =L= 1000;
e498.. x738 =L= 342;
e499.. x739 =L= 720;
e500.. x740 =L= 400;
e501.. x741 =L= 40;
e502.. x742 =L= 767;
e503.. x743 =L= 700;
e504.. x744 =L= 320;
e505.. x745 =L= 60;
e506.. x746 =L= 100;
e507.. x747 =L= 55;
e508.. x748 =L= 1000;
e509.. x749 =L= 800;
e510.. x750 =L= 1000;
e511.. x751 =L= 110;
e512.. x752 =L= 360;
e513.. x753 =L= 60;
e514.. x754 =L= 678;
e515.. x755 =L= 50;
e516.. x756 =L= 120;
e517.. x757 =L= 150;
e518.. x758 =L= 400;
e519.. x759 =L= 115;
e520.. x760 =L= 170;
e521.. x761 =L= 75;
e522.. x82 =L= 34;
e523.. x83 =L= 74;
e524.. x84 =L= 126;
e525.. x85 =L= 88;
e526.. x86 =L= 100;
e527.. x87 =L= 55;
e528.. x88 =L= 100;
e529.. x89 =L= 26;
e530.. x90 =L= 98;
e531.. x91 =L= 115;
e532.. x92 =L= 185;
e533.. x93 =L= 95;
e534.. x94 =L= 100;
e535.. x95 =L= 345;
e536.. x96 =L= 100;
e537.. x97 =L= 185;
e538.. x98 =L= 95;
e539.. x99 =L= 100;
e540.. x100 =L= 345;
e541.. x101 =L= 100;
* 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;
x662.up = 100000;
x663.up = 100000;
x664.up = 100000;
x665.up = 100000;
x666.up = 100000;
x667.up = 100000;
x668.up = 100000;
x669.up = 100000;
x670.up = 100000;
x671.up = 100000;
x672.up = 100000;
x673.up = 100000;
x674.up = 100000;
x675.up = 100000;
x676.up = 100000;
x677.up = 100000;
x678.up = 100000;
x679.up = 100000;
x680.up = 100000;
x681.up = 100000;
x682.up = 100000;
x683.up = 100000;
x684.up = 100000;
x685.up = 100000;
x686.up = 100000;
x687.up = 100000;
x688.up = 100000;
x689.up = 100000;
x690.up = 100000;
x691.up = 100000;
x692.up = 100000;
x693.up = 100000;
x694.up = 100000;
x695.up = 100000;
x696.up = 100000;
x697.up = 100000;
x698.up = 100000;
x699.up = 100000;
x700.up = 100000;
x701.up = 100000;
x702.up = 100000;
x703.up = 100000;
x704.up = 100000;
x705.up = 100000;
x706.up = 100000;
x707.up = 100000;
x708.up = 100000;
x709.up = 100000;
x710.up = 100000;
x711.up = 100000;
x712.up = 100000;
x713.up = 100000;
x714.up = 100000;
x715.up = 100000;
x716.up = 100000;
x717.up = 100000;
x718.up = 100000;
x719.up = 100000;
x720.up = 100000;
x721.up = 100000;
x722.up = 100000;
x723.up = 100000;
x724.up = 100000;
x725.up = 100000;
x726.up = 100000;
x727.up = 100000;
x728.up = 100000;
x729.up = 100000;
x730.up = 100000;
x731.up = 100000;
x732.up = 100000;
x733.up = 100000;
x734.up = 100000;
x735.up = 100000;
x736.up = 100000;
x737.up = 100000;
x738.up = 100000;
x739.up = 100000;
x740.up = 100000;
x741.up = 100000;
x742.up = 100000;
x743.up = 100000;
x744.up = 100000;
x745.up = 100000;
x746.up = 100000;
x747.up = 100000;
x748.up = 100000;
x749.up = 100000;
x750.up = 100000;
x751.up = 100000;
x752.up = 100000;
x753.up = 100000;
x754.up = 100000;
x755.up = 100000;
x756.up = 100000;
x757.up = 100000;
x758.up = 100000;
x759.up = 100000;
x760.up = 100000;
x761.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