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)
1812.17032700 p1 ( gdx sol )
(infeas: 6e-11)
Other points (infeas > 1e-08)  
Dual Bounds
1692.30196100 (ANTIGONE)
1709.78166300 (BARON)
1719.48867000 (COUENNE)
1750.19862500 (GUROBI)
1707.26533100 (LINDO)
1761.78417300 (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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        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: 2022-05-24 Git hash: 1198c186
Imprint / Privacy Policy / License: CC-BY 4.0