MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance waterno2_06
| Formatsⓘ | ams gms mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 89.07175449 (ANTIGONE) 75.96620028 (BARON) 94.21252965 (COUENNE) 34.03436054 (LINDO) 154.97503170 (SCIP) 0.00000000 (SHOT) |
| Referencesⓘ | Huang, Wei, Operative Planning of Water Supply Networks by Mixed Integer Nonlinear Programming, Masters thesis, Freie Universität Berlin, 2011. Gleixner, Ambros M, Held, Harald, Huang, Wei, and Vigerske, Stefan, Towards globally optimal operation of water supply networks, Numerical Algebra, Control and Optimization, 2:4, 2012, 695-711. |
| Applicationⓘ | Water Network Operation |
| Added to libraryⓘ | 12 Aug 2014 |
| Problem typeⓘ | MBNLP |
| #Variablesⓘ | 996 |
| #Binary Variablesⓘ | 54 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 252 |
| #Nonlinear Binary Variablesⓘ | 54 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 54 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1234 |
| #Linear Constraintsⓘ | 844 |
| #Quadratic Constraintsⓘ | 312 |
| #Polynomial Constraintsⓘ | 78 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 3222 |
| #Nonlinear Nonzeros in Jacobianⓘ | 606 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 528 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 96 |
| #Blocks in Hessian of Lagrangianⓘ | 66 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 8 |
| Average blocksize in Hessian of Lagrangianⓘ | 3.818182 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.5000e-01 |
| Maximal coefficientⓘ | 3.6000e+03 |
| Infeasibility of initial pointⓘ | 3200 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1235 736 205 294 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 997 943 54 0 0 0 0 0
* FX 9
*
* Nonzero counts
* Total const NL DLL
* 3277 2671 606 0
*
* Solve m using MINLP minimizing objvar;
Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55,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,x762,x763,x764,x765
,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778
,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791
,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804
,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817
,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830
,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843
,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856
,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869
,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882
,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895
,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908
,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921
,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934
,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947
,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960
,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973
,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986
,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997;
Positive Variables 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,x278,x280,x282,x284,x286,x288,x290,x292,x294
,x296,x298,x300,x302,x304,x306,x308,x310,x312,x314,x316,x318,x320
,x322,x324,x326,x328,x330,x332,x334,x336,x338,x340,x342,x344,x346
,x348,x350,x352,x354,x356,x358,x360,x362,x364,x366,x368,x370,x372
,x374,x376,x378,x380,x382,x384,x404,x406,x408,x410,x412,x414,x416
,x417,x419,x420,x422,x423,x425,x426,x428,x429,x431,x432,x434,x436
,x438,x440,x442,x444,x554,x561,x568,x569,x577,x583,x584,x589,x594
,x599,x604,x609,x614,x619,x624,x632,x638,x639,x644,x649,x657,x663
,x664,x669,x674,x679,x685,x690,x694,x699,x704,x709,x714,x719,x724
,x729,x734,x739,x744,x749,x754,x759,x764,x769,x774,x779,x784,x789
,x794,x799,x804,x809,x814,x819,x824,x825,x826,x827,x828,x829,x830
,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843
,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856
,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869
,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882
,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895
,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908
,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921
,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934
,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947
,x948,x949;
Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
,b53,b54,b55;
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,e542,e543,e544,e545
,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623
,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636
,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649
,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662
,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675
,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688
,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701
,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714
,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727
,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740
,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753
,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766
,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779
,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792
,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805
,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818
,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831
,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844
,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857
,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870
,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883
,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896
,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909
,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922
,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935
,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948
,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961
,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974
,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987
,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000
,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011
,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022
,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033
,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044
,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055
,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066
,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077
,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088
,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099
,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110
,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121
,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132
,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143
,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154
,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165
,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176
,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187
,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198
,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209
,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220
,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231
,e1232,e1233,e1234,e1235;
e1.. objvar - x554 - x561 - x568 - x569 - x577 - x583 - x584 - x589 - x594
- x599 - x604 - x609 - x614 - x619 - x624 - x632 - x638 - x639 - x644
- x649 - x657 - x663 - x664 - x669 - x674 - x679 - x685 - x690 - x694
- x699 - x704 - x709 - x714 - x719 - x724 - x729 - x734 - x739 - x744
- x749 - x754 - x759 - x764 - x769 - x774 - x779 - x784 - x789 - x794
- x799 - x804 - x809 - x814 - x819 =E= 0;
e2.. x279 + 27.42831624*x281 + 37.5407324*x283 - 57.2814121*x285 =E= 0;
e3.. x287 - 57.2814121*x289 + 37.5407324*x291 + 27.42831624*x293 =E= 0;
e4.. x295 - 57.2814121*x297 + 37.5407324*x299 + 27.42831624*x301 =E= 0;
e5.. x303 - 57.2814121*x305 + 37.5407324*x307 + 27.42831624*x309 =E= 0;
e6.. x311 - 57.2814121*x313 + 37.5407324*x315 + 27.42831624*x317 =E= 0;
e7.. x319 - 57.2814121*x321 + 37.5407324*x323 + 27.42831624*x325 =E= 0;
e8.. - 57.2814121*x285 + x327 + 27.42831624*x329 + 37.5407324*x331 =E= 0;
e9.. - 57.2814121*x289 + x333 + 27.42831624*x335 + 37.5407324*x337 =E= 0;
e10.. - 57.2814121*x297 + x339 + 37.5407324*x341 + 27.42831624*x343 =E= 0;
e11.. - 57.2814121*x305 + x345 + 37.5407324*x347 + 27.42831624*x349 =E= 0;
e12.. - 57.2814121*x313 + x351 + 37.5407324*x353 + 27.42831624*x355 =E= 0;
e13.. - 57.2814121*x321 + x357 + 27.42831624*x359 + 37.5407324*x361 =E= 0;
e14.. - 57.2814121*x285 + x363 + 37.5407324*x365 + 27.42831624*x367 =E= 0;
e15.. - 57.2814121*x289 + x369 + 37.5407324*x371 + 27.42831624*x373 =E= 0;
e16.. - 57.2814121*x297 + x375 + 37.5407324*x377 + 27.42831624*x379 =E= 0;
e17.. - 57.2814121*x305 + x381 + 37.5407324*x383 + 27.42831624*x385 =E= 0;
e18.. x56 + 37.5407324*x57 + 27.42831624*x58 - 57.2814121*x313 =E= 0;
e19.. x59 + 37.5407324*x60 + 27.42831624*x61 - 57.2814121*x321 =E= 0;
e20.. x62 - 76.45219958*x63 + 43.14087708*x64 + 50.37356589*x65 =E= 0;
e21.. x66 + 43.14087708*x67 - 76.45219958*x68 + 50.37356589*x69 =E= 0;
e22.. x70 + 50.37356589*x71 + 43.14087708*x72 - 76.45219958*x73 =E= 0;
e23.. x74 + 50.37356589*x75 + 43.14087708*x76 - 76.45219958*x77 =E= 0;
e24.. x78 + 50.37356589*x79 + 43.14087708*x80 - 76.45219958*x81 =E= 0;
e25.. x82 + 43.14087708*x83 - 76.45219958*x84 + 50.37356589*x85 =E= 0;
e26.. - 76.45219958*x63 + x86 + 43.14087708*x87 + 50.37356589*x88 =E= 0;
e27.. - 76.45219958*x68 + x89 + 50.37356589*x90 + 43.14087708*x91 =E= 0;
e28.. - 76.45219958*x73 + x92 + 43.14087708*x93 + 50.37356589*x94 =E= 0;
e29.. - 76.45219958*x77 + x95 + 50.37356589*x96 + 43.14087708*x97 =E= 0;
e30.. - 76.45219958*x81 + x98 + 43.14087708*x99 + 50.37356589*x100 =E= 0;
e31.. - 76.45219958*x84 + x101 + 43.14087708*x102 + 50.37356589*x103 =E= 0;
e32.. x104 - 25.39911174*x105 - 69.39622571*x106 + 58.31011875*x107 =E= 0;
e33.. x108 - 25.39911174*x109 - 69.39622571*x110 + 58.31011875*x111 =E= 0;
e34.. x112 + 58.31011875*x113 - 69.39622571*x114 - 25.39911174*x115 =E= 0;
e35.. x116 - 69.39622571*x117 - 25.39911174*x118 + 58.31011875*x119 =E= 0;
e36.. x120 - 69.39622571*x121 - 25.39911174*x122 + 58.31011875*x123 =E= 0;
e37.. x124 + 58.31011875*x125 - 69.39622571*x126 - 25.39911174*x127 =E= 0;
e38.. - 69.39622571*x106 + x128 - 25.39911174*x129 + 58.31011875*x130 =E= 0;
e39.. - 69.39622571*x110 + x131 + 58.31011875*x132 - 25.39911174*x133 =E= 0;
e40.. - 69.39622571*x114 + x134 + 58.31011875*x135 - 25.39911174*x136 =E= 0;
e41.. - 69.39622571*x117 + x137 + 58.31011875*x138 - 25.39911174*x139 =E= 0;
e42.. - 69.39622571*x121 + x140 - 25.39911174*x141 + 58.31011875*x142 =E= 0;
e43.. - 69.39622571*x126 + x143 - 25.39911174*x144 + 58.31011875*x145 =E= 0;
e44.. x146 - 2.03724124*x147 - 34.92732674*x148 + 63.61644904*x149 =E= 0;
e45.. x150 - 34.92732674*x151 + 63.61644904*x152 - 2.03724124*x153 =E= 0;
e46.. x154 - 2.03724124*x155 + 63.61644904*x156 - 34.92732674*x157 =E= 0;
e47.. x158 + 63.61644904*x159 - 2.03724124*x160 - 34.92732674*x161 =E= 0;
e48.. x162 + 63.61644904*x163 - 2.03724124*x164 - 34.92732674*x165 =E= 0;
e49.. x166 + 63.61644904*x167 - 34.92732674*x168 - 2.03724124*x169 =E= 0;
e50.. - 34.92732674*x148 + x170 - 2.03724124*x171 + 63.61644904*x172 =E= 0;
e51.. - 34.92732674*x151 + x173 + 63.61644904*x174 - 2.03724124*x175 =E= 0;
e52.. - 34.92732674*x157 + x176 + 63.61644904*x177 - 2.03724124*x178 =E= 0;
e53.. - 34.92732674*x161 + x179 - 2.03724124*x180 + 63.61644904*x181 =E= 0;
e54.. - 34.92732674*x165 + x182 + 63.61644904*x183 - 2.03724124*x184 =E= 0;
e55.. - 34.92732674*x168 + x185 + 63.61644904*x186 - 2.03724124*x187 =E= 0;
e56.. x188 + x189 + x190 + x191 + x192 + x193 =G= 1.752499999;
e57.. - x194 + x195 =E= 0;
e58.. - x196 + x197 =E= 0;
e59.. - x198 + x199 =E= 0;
e60.. - x200 + x201 =E= 0;
e61.. - x202 + x203 =E= 0;
e62.. - x204 + x205 =E= 0;
e63.. - x206 + x207 =E= 0;
e64.. - x208 + x209 =E= 0;
e65.. - x210 + x211 =E= 0;
e66.. - x212 + x213 =E= 0;
e67.. - x214 + x215 =E= 0;
e68.. - x216 + x217 =E= 0;
e69.. x206 - x218 =E= 0;
e70.. x208 - x219 =E= 0;
e71.. x210 - x220 =E= 0;
e72.. x212 - x221 =E= 0;
e73.. x214 - x222 =E= 0;
e74.. x216 - x223 =E= 0;
e75.. - x224 + x225 =E= 0;
e76.. - x226 + x227 =E= 0;
e77.. - x228 + x229 =E= 0;
e78.. - x230 + x231 =E= 0;
e79.. - x232 + x233 =E= 0;
e80.. - x234 + x235 =E= 0;
e81.. x236 =E= 0.296666667;
e82.. x237 =E= 0.294444444;
e83.. x238 =E= 0.283888889;
e84.. x239 =E= 0.277222222;
e85.. x240 =E= 0.293333333;
e86.. x241 =E= 0.306944444;
e87.. x188 - x195 =E= 0;
e88.. x189 - x197 =E= 0;
e89.. x190 - x199 =E= 0;
e90.. x191 - x201 =E= 0;
e91.. x192 - x203 =E= 0;
e92.. x193 - x205 =E= 0;
e93.. 3600*x194 - 3600*x207 + 1800*x242 - 1800*x243 =E= 0;
e94.. 3600*x196 - 3600*x209 + 1800*x244 - 1800*x245 =E= 0;
e95.. 3600*x198 - 3600*x211 + 1800*x246 - 1800*x247 =E= 0;
e96.. 3600*x200 - 3600*x213 + 1800*x248 - 1800*x249 =E= 0;
e97.. 3600*x202 - 3600*x215 + 1800*x250 - 1800*x251 =E= 0;
e98.. 3600*x204 - 3600*x217 + 1800*x252 - 1800*x253 =E= 0;
e99.. 3600*x218 - 3600*x225 + 720*x254 - 720*x255 =E= 0;
e100.. 3600*x219 - 3600*x227 + 720*x256 - 720*x257 =E= 0;
e101.. 3600*x220 - 3600*x229 + 720*x258 - 720*x259 =E= 0;
e102.. 3600*x221 - 3600*x231 + 720*x260 - 720*x261 =E= 0;
e103.. 3600*x222 - 3600*x233 + 720*x262 - 720*x263 =E= 0;
e104.. 3600*x223 - 3600*x235 + 720*x264 - 720*x265 =E= 0;
e105.. 3600*x224 - 3600*x236 + 1600*x266 - 1600*x267 =E= 0;
e106.. 3600*x226 - 3600*x237 + 1600*x268 - 1600*x269 =E= 0;
e107.. 3600*x228 - 3600*x238 + 1600*x270 - 1600*x271 =E= 0;
e108.. 3600*x230 - 3600*x239 + 1600*x272 - 1600*x273 =E= 0;
e109.. 3600*x232 - 3600*x240 + 1600*x274 - 1600*x275 =E= 0;
e110.. 3600*x234 - 3600*x241 + 1600*x276 - 1600*x277 =E= 0;
e111.. - x243 + x244 =E= 0;
e112.. - x245 + x246 =E= 0;
e113.. - x247 + x248 =E= 0;
e114.. - x249 + x250 =E= 0;
e115.. - x251 + x252 =E= 0;
e116.. - x255 + x256 =E= 0;
e117.. - x257 + x258 =E= 0;
e118.. - x259 + x260 =E= 0;
e119.. - x261 + x262 =E= 0;
e120.. - x263 + x264 =E= 0;
e121.. - x267 + x268 =E= 0;
e122.. - x269 + x270 =E= 0;
e123.. - x271 + x272 =E= 0;
e124.. - x273 + x274 =E= 0;
e125.. - x275 + x276 =E= 0;
e126.. - 0.2*b2 + x278 =G= 0;
e127.. - 0.2*b3 + x280 =G= 0;
e128.. - 0.2*b4 + x282 =G= 0;
e129.. - 0.2*b5 + x284 =G= 0;
e130.. - 0.2*b6 + x286 =G= 0;
e131.. - 0.2*b7 + x288 =G= 0;
e132.. - 0.2*b8 + x290 =G= 0;
e133.. - 0.2*b9 + x292 =G= 0;
e134.. - 0.2*b10 + x294 =G= 0;
e135.. - 0.2*b11 + x296 =G= 0;
e136.. - 0.2*b12 + x298 =G= 0;
e137.. - 0.2*b13 + x300 =G= 0;
e138.. - 0.2*b14 + x302 =G= 0;
e139.. - 0.2*b15 + x304 =G= 0;
e140.. - 0.2*b16 + x306 =G= 0;
e141.. - 0.2*b17 + x308 =G= 0;
e142.. - 0.2*b18 + x310 =G= 0;
e143.. - 0.2*b19 + x312 =G= 0;
e144.. - 0.25*b20 + x314 =G= 0;
e145.. - 0.25*b21 + x316 =G= 0;
e146.. - 0.25*b22 + x318 =G= 0;
e147.. - 0.25*b23 + x320 =G= 0;
e148.. - 0.25*b24 + x322 =G= 0;
e149.. - 0.25*b25 + x324 =G= 0;
e150.. - 0.25*b26 + x326 =G= 0;
e151.. - 0.25*b27 + x328 =G= 0;
e152.. - 0.25*b28 + x330 =G= 0;
e153.. - 0.25*b29 + x332 =G= 0;
e154.. - 0.25*b30 + x334 =G= 0;
e155.. - 0.25*b31 + x336 =G= 0;
e156.. - 0.4*b32 + x338 =G= 0;
e157.. - 0.4*b33 + x340 =G= 0;
e158.. - 0.4*b34 + x342 =G= 0;
e159.. - 0.4*b35 + x344 =G= 0;
e160.. - 0.4*b36 + x346 =G= 0;
e161.. - 0.4*b37 + x348 =G= 0;
e162.. - 0.4*b38 + x350 =G= 0;
e163.. - 0.4*b39 + x352 =G= 0;
e164.. - 0.4*b40 + x354 =G= 0;
e165.. - 0.4*b41 + x356 =G= 0;
e166.. - 0.4*b42 + x358 =G= 0;
e167.. - 0.4*b43 + x360 =G= 0;
e168.. - 0.24*b44 + x362 =G= 0;
e169.. - 0.24*b45 + x364 =G= 0;
e170.. - 0.24*b46 + x366 =G= 0;
e171.. - 0.24*b47 + x368 =G= 0;
e172.. - 0.24*b48 + x370 =G= 0;
e173.. - 0.24*b49 + x372 =G= 0;
e174.. - 0.24*b50 + x374 =G= 0;
e175.. - 0.24*b51 + x376 =G= 0;
e176.. - 0.24*b52 + x378 =G= 0;
e177.. - 0.24*b53 + x380 =G= 0;
e178.. - 0.24*b54 + x382 =G= 0;
e179.. - 0.24*b55 + x384 =G= 0;
e180.. - 0.8*b2 + x278 =L= 0;
e181.. - 0.8*b3 + x280 =L= 0;
e182.. - 0.8*b4 + x282 =L= 0;
e183.. - 0.8*b5 + x284 =L= 0;
e184.. - 0.8*b6 + x286 =L= 0;
e185.. - 0.8*b7 + x288 =L= 0;
e186.. - 0.8*b8 + x290 =L= 0;
e187.. - 0.8*b9 + x292 =L= 0;
e188.. - 0.8*b10 + x294 =L= 0;
e189.. - 0.8*b11 + x296 =L= 0;
e190.. - 0.8*b12 + x298 =L= 0;
e191.. - 0.8*b13 + x300 =L= 0;
e192.. - 0.8*b14 + x302 =L= 0;
e193.. - 0.8*b15 + x304 =L= 0;
e194.. - 0.8*b16 + x306 =L= 0;
e195.. - 0.8*b17 + x308 =L= 0;
e196.. - 0.8*b18 + x310 =L= 0;
e197.. - 0.8*b19 + x312 =L= 0;
e198.. - 0.5*b20 + x314 =L= 0;
e199.. - 0.5*b21 + x316 =L= 0;
e200.. - 0.5*b22 + x318 =L= 0;
e201.. - 0.5*b23 + x320 =L= 0;
e202.. - 0.5*b24 + x322 =L= 0;
e203.. - 0.5*b25 + x324 =L= 0;
e204.. - 0.5*b26 + x326 =L= 0;
e205.. - 0.5*b27 + x328 =L= 0;
e206.. - 0.5*b28 + x330 =L= 0;
e207.. - 0.5*b29 + x332 =L= 0;
e208.. - 0.5*b30 + x334 =L= 0;
e209.. - 0.5*b31 + x336 =L= 0;
e210.. - 0.7*b32 + x338 =L= 0;
e211.. - 0.7*b33 + x340 =L= 0;
e212.. - 0.7*b34 + x342 =L= 0;
e213.. - 0.7*b35 + x344 =L= 0;
e214.. - 0.7*b36 + x346 =L= 0;
e215.. - 0.7*b37 + x348 =L= 0;
e216.. - 0.7*b38 + x350 =L= 0;
e217.. - 0.7*b39 + x352 =L= 0;
e218.. - 0.7*b40 + x354 =L= 0;
e219.. - 0.7*b41 + x356 =L= 0;
e220.. - 0.7*b42 + x358 =L= 0;
e221.. - 0.7*b43 + x360 =L= 0;
e222.. - 0.58*b44 + x362 =L= 0;
e223.. - 0.58*b45 + x364 =L= 0;
e224.. - 0.58*b46 + x366 =L= 0;
e225.. - 0.58*b47 + x368 =L= 0;
e226.. - 0.58*b48 + x370 =L= 0;
e227.. - 0.58*b49 + x372 =L= 0;
e228.. - 0.58*b50 + x374 =L= 0;
e229.. - 0.58*b51 + x376 =L= 0;
e230.. - 0.58*b52 + x378 =L= 0;
e231.. - 0.58*b53 + x380 =L= 0;
e232.. - 0.58*b54 + x382 =L= 0;
e233.. - 0.58*b55 + x384 =L= 0;
e234.. - x242 + x386 =E= 60;
e235.. - x244 + x387 =E= 60;
e236.. - x246 + x388 =E= 60;
e237.. - x248 + x389 =E= 60;
e238.. - x250 + x390 =E= 60;
e239.. - x252 + x391 =E= 60;
e240.. - x254 + x392 =E= 90;
e241.. - x256 + x393 =E= 90;
e242.. - x258 + x394 =E= 90;
e243.. - x260 + x395 =E= 90;
e244.. - x262 + x396 =E= 90;
e245.. - x264 + x397 =E= 90;
e246.. - x266 + x398 =E= 103;
e247.. - x268 + x399 =E= 103;
e248.. - x270 + x400 =E= 103;
e249.. - x272 + x401 =E= 103;
e250.. - x274 + x402 =E= 103;
e251.. - x276 + x403 =E= 103;
e252.. - x386 + x404 - x405 =E= 0;
e253.. - x387 + x406 - x407 =E= 0;
e254.. - x388 + x408 - x409 =E= 0;
e255.. - x389 + x410 - x411 =E= 0;
e256.. - x390 + x412 - x413 =E= 0;
e257.. - x391 + x414 - x415 =E= 0;
e258.. x416 - x417 - x418 =E= 0;
e259.. x419 - x420 - x421 =E= 0;
e260.. x422 - x423 - x424 =E= 0;
e261.. x425 - x426 - x427 =E= 0;
e262.. x428 - x429 - x430 =E= 0;
e263.. x431 - x432 - x433 =E= 0;
e264.. - x398 + x434 - x435 =E= 0;
e265.. - x399 + x436 - x437 =E= 0;
e266.. - x400 + x438 - x439 =E= 0;
e267.. - x401 + x440 - x441 =E= 0;
e268.. - x402 + x442 - x443 =E= 0;
e269.. - x403 + x444 - x445 =E= 0;
e270.. x404 - x446 - x447 =E= 0;
e271.. x406 - x448 - x449 =E= 0;
e272.. x408 - x450 - x451 =E= 0;
e273.. x410 - x452 - x453 =E= 0;
e274.. x412 - x454 - x455 =E= 0;
e275.. x414 - x456 - x457 =E= 0;
e276.. - x386 + x416 - x458 =E= 0;
e277.. - x387 + x419 - x459 =E= 0;
e278.. - x388 + x422 - x460 =E= 0;
e279.. - x389 + x425 - x461 =E= 0;
e280.. - x390 + x428 - x462 =E= 0;
e281.. - x391 + x431 - x463 =E= 0;
e282.. - x392 + x434 - x464 =E= 0;
e283.. - x393 + x436 - x465 =E= 0;
e284.. - x394 + x438 - x466 =E= 0;
e285.. - x395 + x440 - x467 =E= 0;
e286.. - x396 + x442 - x468 =E= 0;
e287.. - x397 + x444 - x469 =E= 0;
e288.. 0.2*b2 - x278 + x470 =L= 0.2;
e289.. 0.2*b3 - x280 + x471 =L= 0.2;
e290.. 0.2*b4 - x282 + x472 =L= 0.2;
e291.. 0.2*b5 - x284 + x473 =L= 0.2;
e292.. 0.2*b6 - x286 + x474 =L= 0.2;
e293.. 0.2*b7 - x288 + x475 =L= 0.2;
e294.. 0.2*b8 - x290 + x476 =L= 0.2;
e295.. 0.2*b9 - x292 + x477 =L= 0.2;
e296.. 0.2*b10 - x294 + x478 =L= 0.2;
e297.. 0.2*b11 - x296 + x479 =L= 0.2;
e298.. 0.2*b12 - x298 + x480 =L= 0.2;
e299.. 0.2*b13 - x300 + x481 =L= 0.2;
e300.. 0.2*b14 - x302 + x482 =L= 0.2;
e301.. 0.2*b15 - x304 + x483 =L= 0.2;
e302.. 0.2*b16 - x306 + x484 =L= 0.2;
e303.. 0.2*b17 - x308 + x485 =L= 0.2;
e304.. 0.2*b18 - x310 + x486 =L= 0.2;
e305.. 0.2*b19 - x312 + x487 =L= 0.2;
e306.. 0.25*b20 - x314 + x488 =L= 0.25;
e307.. 0.25*b21 - x316 + x489 =L= 0.25;
e308.. 0.25*b22 - x318 + x490 =L= 0.25;
e309.. 0.25*b23 - x320 + x491 =L= 0.25;
e310.. 0.25*b24 - x322 + x492 =L= 0.25;
e311.. 0.25*b25 - x324 + x493 =L= 0.25;
e312.. 0.25*b26 - x326 + x494 =L= 0.25;
e313.. 0.25*b27 - x328 + x495 =L= 0.25;
e314.. 0.25*b28 - x330 + x496 =L= 0.25;
e315.. 0.25*b29 - x332 + x497 =L= 0.25;
e316.. 0.25*b30 - x334 + x498 =L= 0.25;
e317.. 0.25*b31 - x336 + x499 =L= 0.25;
e318.. 0.4*b32 - x338 + x500 =L= 0.4;
e319.. 0.4*b33 - x340 + x501 =L= 0.4;
e320.. 0.4*b34 - x342 + x502 =L= 0.4;
e321.. 0.4*b35 - x344 + x503 =L= 0.4;
e322.. 0.4*b36 - x346 + x504 =L= 0.4;
e323.. 0.4*b37 - x348 + x505 =L= 0.4;
e324.. 0.4*b38 - x350 + x506 =L= 0.4;
e325.. 0.4*b39 - x352 + x507 =L= 0.4;
e326.. 0.4*b40 - x354 + x508 =L= 0.4;
e327.. 0.4*b41 - x356 + x509 =L= 0.4;
e328.. 0.4*b42 - x358 + x510 =L= 0.4;
e329.. 0.4*b43 - x360 + x511 =L= 0.4;
e330.. 0.24*b44 - x362 + x512 =L= 0.24;
e331.. 0.24*b45 - x364 + x513 =L= 0.24;
e332.. 0.24*b46 - x366 + x514 =L= 0.24;
e333.. 0.24*b47 - x368 + x515 =L= 0.24;
e334.. 0.24*b48 - x370 + x516 =L= 0.24;
e335.. 0.24*b49 - x372 + x517 =L= 0.24;
e336.. 0.24*b50 - x374 + x518 =L= 0.24;
e337.. 0.24*b51 - x376 + x519 =L= 0.24;
e338.. 0.24*b52 - x378 + x520 =L= 0.24;
e339.. 0.24*b53 - x380 + x521 =L= 0.24;
e340.. 0.24*b54 - x382 + x522 =L= 0.24;
e341.. 0.24*b55 - x384 + x523 =L= 0.24;
e342.. - x278 + x470 =G= 0;
e343.. - x280 + x471 =G= 0;
e344.. - x282 + x472 =G= 0;
e345.. - x284 + x473 =G= 0;
e346.. - x286 + x474 =G= 0;
e347.. - x288 + x475 =G= 0;
e348.. - x290 + x476 =G= 0;
e349.. - x292 + x477 =G= 0;
e350.. - x294 + x478 =G= 0;
e351.. - x296 + x479 =G= 0;
e352.. - x298 + x480 =G= 0;
e353.. - x300 + x481 =G= 0;
e354.. - x302 + x482 =G= 0;
e355.. - x304 + x483 =G= 0;
e356.. - x306 + x484 =G= 0;
e357.. - x308 + x485 =G= 0;
e358.. - x310 + x486 =G= 0;
e359.. - x312 + x487 =G= 0;
e360.. - x314 + x488 =G= 0;
e361.. - x316 + x489 =G= 0;
e362.. - x318 + x490 =G= 0;
e363.. - x320 + x491 =G= 0;
e364.. - x322 + x492 =G= 0;
e365.. - x324 + x493 =G= 0;
e366.. - x326 + x494 =G= 0;
e367.. - x328 + x495 =G= 0;
e368.. - x330 + x496 =G= 0;
e369.. - x332 + x497 =G= 0;
e370.. - x334 + x498 =G= 0;
e371.. - x336 + x499 =G= 0;
e372.. - x338 + x500 =G= 0;
e373.. - x340 + x501 =G= 0;
e374.. - x342 + x502 =G= 0;
e375.. - x344 + x503 =G= 0;
e376.. - x346 + x504 =G= 0;
e377.. - x348 + x505 =G= 0;
e378.. - x350 + x506 =G= 0;
e379.. - x352 + x507 =G= 0;
e380.. - x354 + x508 =G= 0;
e381.. - x356 + x509 =G= 0;
e382.. - x358 + x510 =G= 0;
e383.. - x360 + x511 =G= 0;
e384.. - x362 + x512 =G= 0;
e385.. - x364 + x513 =G= 0;
e386.. - x366 + x514 =G= 0;
e387.. - x368 + x515 =G= 0;
e388.. - x370 + x516 =G= 0;
e389.. - x372 + x517 =G= 0;
e390.. - x374 + x518 =G= 0;
e391.. - x376 + x519 =G= 0;
e392.. - x378 + x520 =G= 0;
e393.. - x380 + x521 =G= 0;
e394.. - x382 + x522 =G= 0;
e395.. - x384 + x523 =G= 0;
e396.. - 0.6*b2 + x470 =L= 0.2;
e397.. - 0.6*b3 + x471 =L= 0.2;
e398.. - 0.6*b4 + x472 =L= 0.2;
e399.. - 0.6*b5 + x473 =L= 0.2;
e400.. - 0.6*b6 + x474 =L= 0.2;
e401.. - 0.6*b7 + x475 =L= 0.2;
e402.. - 0.6*b8 + x476 =L= 0.2;
e403.. - 0.6*b9 + x477 =L= 0.2;
e404.. - 0.6*b10 + x478 =L= 0.2;
e405.. - 0.6*b11 + x479 =L= 0.2;
e406.. - 0.6*b12 + x480 =L= 0.2;
e407.. - 0.6*b13 + x481 =L= 0.2;
e408.. - 0.6*b14 + x482 =L= 0.2;
e409.. - 0.6*b15 + x483 =L= 0.2;
e410.. - 0.6*b16 + x484 =L= 0.2;
e411.. - 0.6*b17 + x485 =L= 0.2;
e412.. - 0.6*b18 + x486 =L= 0.2;
e413.. - 0.6*b19 + x487 =L= 0.2;
e414.. - 0.25*b20 + x488 =L= 0.25;
e415.. - 0.25*b21 + x489 =L= 0.25;
e416.. - 0.25*b22 + x490 =L= 0.25;
e417.. - 0.25*b23 + x491 =L= 0.25;
e418.. - 0.25*b24 + x492 =L= 0.25;
e419.. - 0.25*b25 + x493 =L= 0.25;
e420.. - 0.25*b26 + x494 =L= 0.25;
e421.. - 0.25*b27 + x495 =L= 0.25;
e422.. - 0.25*b28 + x496 =L= 0.25;
e423.. - 0.25*b29 + x497 =L= 0.25;
e424.. - 0.25*b30 + x498 =L= 0.25;
e425.. - 0.25*b31 + x499 =L= 0.25;
e426.. - 0.3*b32 + x500 =L= 0.4;
e427.. - 0.3*b33 + x501 =L= 0.4;
e428.. - 0.3*b34 + x502 =L= 0.4;
e429.. - 0.3*b35 + x503 =L= 0.4;
e430.. - 0.3*b36 + x504 =L= 0.4;
e431.. - 0.3*b37 + x505 =L= 0.4;
e432.. - 0.3*b38 + x506 =L= 0.4;
e433.. - 0.3*b39 + x507 =L= 0.4;
e434.. - 0.3*b40 + x508 =L= 0.4;
e435.. - 0.3*b41 + x509 =L= 0.4;
e436.. - 0.3*b42 + x510 =L= 0.4;
e437.. - 0.3*b43 + x511 =L= 0.4;
e438.. - 0.34*b44 + x512 =L= 0.24;
e439.. - 0.34*b45 + x513 =L= 0.24;
e440.. - 0.34*b46 + x514 =L= 0.24;
e441.. - 0.34*b47 + x515 =L= 0.24;
e442.. - 0.34*b48 + x516 =L= 0.24;
e443.. - 0.34*b49 + x517 =L= 0.24;
e444.. - 0.34*b50 + x518 =L= 0.24;
e445.. - 0.34*b51 + x519 =L= 0.24;
e446.. - 0.34*b52 + x520 =L= 0.24;
e447.. - 0.34*b53 + x521 =L= 0.24;
e448.. - 0.34*b54 + x522 =L= 0.24;
e449.. - 0.34*b55 + x523 =L= 0.24;
e450.. - 0.4*b2 + x524 =L= 0.6;
e451.. - 0.4*b3 + x525 =L= 0.6;
e452.. - 0.4*b4 + x526 =L= 0.6;
e453.. - 0.4*b5 + x527 =L= 0.6;
e454.. - 0.4*b6 + x528 =L= 0.6;
e455.. - 0.4*b7 + x529 =L= 0.6;
e456.. - 0.2*b20 + x530 =L= 0.8;
e457.. - 0.2*b21 + x531 =L= 0.8;
e458.. - 0.2*b22 + x532 =L= 0.8;
e459.. - 0.2*b23 + x533 =L= 0.8;
e460.. - 0.2*b24 + x534 =L= 0.8;
e461.. - 0.2*b25 + x535 =L= 0.8;
e462.. - 0.15*b32 + x536 =L= 0.85;
e463.. - 0.15*b33 + x537 =L= 0.85;
e464.. - 0.15*b34 + x538 =L= 0.85;
e465.. - 0.15*b35 + x539 =L= 0.85;
e466.. - 0.15*b36 + x540 =L= 0.85;
e467.. - 0.15*b37 + x541 =L= 0.85;
e468.. - 0.3*b44 + x542 =L= 0.7;
e469.. - 0.3*b45 + x543 =L= 0.7;
e470.. - 0.3*b46 + x544 =L= 0.7;
e471.. - 0.3*b47 + x545 =L= 0.7;
e472.. - 0.3*b48 + x546 =L= 0.7;
e473.. - 0.3*b49 + x547 =L= 0.7;
e474.. b2 - b8 =G= 0;
e475.. b3 - b9 =G= 0;
e476.. b4 - b10 =G= 0;
e477.. b5 - b11 =G= 0;
e478.. b6 - b12 =G= 0;
e479.. b7 - b13 =G= 0;
e480.. b8 - b14 =G= 0;
e481.. b9 - b15 =G= 0;
e482.. b10 - b16 =G= 0;
e483.. b11 - b17 =G= 0;
e484.. b12 - b18 =G= 0;
e485.. b13 - b19 =G= 0;
e486.. b20 - b26 =G= 0;
e487.. b21 - b27 =G= 0;
e488.. b22 - b28 =G= 0;
e489.. b23 - b29 =G= 0;
e490.. b24 - b30 =G= 0;
e491.. b25 - b31 =G= 0;
e492.. b32 - b38 =G= 0;
e493.. b33 - b39 =G= 0;
e494.. b34 - b40 =G= 0;
e495.. b35 - b41 =G= 0;
e496.. b36 - b42 =G= 0;
e497.. b37 - b43 =G= 0;
e498.. b44 - b50 =G= 0;
e499.. b45 - b51 =G= 0;
e500.. b46 - b52 =G= 0;
e501.. b47 - b53 =G= 0;
e502.. b48 - b54 =G= 0;
e503.. b49 - b55 =G= 0;
e504.. x195 - x278 - x290 - x302 =E= 0;
e505.. x197 - x280 - x292 - x304 =E= 0;
e506.. x199 - x282 - x294 - x306 =E= 0;
e507.. x201 - x284 - x296 - x308 =E= 0;
e508.. x203 - x286 - x298 - x310 =E= 0;
e509.. x205 - x288 - x300 - x312 =E= 0;
e510.. x207 - x314 - x326 - x338 - x350 =E= 0;
e511.. x209 - x316 - x328 - x340 - x352 =E= 0;
e512.. x211 - x318 - x330 - x342 - x354 =E= 0;
e513.. x213 - x320 - x332 - x344 - x356 =E= 0;
e514.. x215 - x322 - x334 - x346 - x358 =E= 0;
e515.. x217 - x324 - x336 - x348 - x360 =E= 0;
e516.. x225 - x362 - x374 =E= 0;
e517.. x227 - x364 - x376 =E= 0;
e518.. x229 - x366 - x378 =E= 0;
e519.. x231 - x368 - x380 =E= 0;
e520.. x233 - x370 - x382 =E= 0;
e521.. x235 - x372 - x384 =E= 0;
e522.. - 2000*b2 + x279 - x447 =G= -2000;
e523.. - 2000*b3 + x287 - x449 =G= -2000;
e524.. - 2000*b4 + x295 - x451 =G= -2000;
e525.. - 2000*b5 + x303 - x453 =G= -2000;
e526.. - 2000*b6 + x311 - x455 =G= -2000;
e527.. - 2000*b7 + x319 - x457 =G= -2000;
e528.. - 2000*b8 + x327 - x447 =G= -2000;
e529.. - 2000*b9 + x333 - x449 =G= -2000;
e530.. - 2000*b10 + x339 - x451 =G= -2000;
e531.. - 2000*b11 + x345 - x453 =G= -2000;
e532.. - 2000*b12 + x351 - x455 =G= -2000;
e533.. - 2000*b13 + x357 - x457 =G= -2000;
e534.. - 2000*b14 + x363 - x447 =G= -2000;
e535.. - 2000*b15 + x369 - x449 =G= -2000;
e536.. - 2000*b16 + x375 - x451 =G= -2000;
e537.. - 2000*b17 + x381 - x453 =G= -2000;
e538.. - 2000*b18 + x56 - x455 =G= -2000;
e539.. - 2000*b19 + x59 - x457 =G= -2000;
e540.. - 2000*b20 + x62 - x458 =G= -2000;
e541.. - 2000*b21 + x66 - x459 =G= -2000;
e542.. - 2000*b22 + x70 - x460 =G= -2000;
e543.. - 2000*b23 + x74 - x461 =G= -2000;
e544.. - 2000*b24 + x78 - x462 =G= -2000;
e545.. - 2000*b25 + x82 - x463 =G= -2000;
e546.. - 2000*b26 + x86 - x458 =G= -2000;
e547.. - 2000*b27 + x89 - x459 =G= -2000;
e548.. - 2000*b28 + x92 - x460 =G= -2000;
e549.. - 2000*b29 + x95 - x461 =G= -2000;
e550.. - 2000*b30 + x98 - x462 =G= -2000;
e551.. - 2000*b31 + x101 - x463 =G= -2000;
e552.. - 2000*b32 + x104 - x458 =G= -2000;
e553.. - 2000*b33 + x108 - x459 =G= -2000;
e554.. - 2000*b34 + x112 - x460 =G= -2000;
e555.. - 2000*b35 + x116 - x461 =G= -2000;
e556.. - 2000*b36 + x120 - x462 =G= -2000;
e557.. - 2000*b37 + x124 - x463 =G= -2000;
e558.. - 2000*b38 + x128 - x458 =G= -2000;
e559.. - 2000*b39 + x131 - x459 =G= -2000;
e560.. - 2000*b40 + x134 - x460 =G= -2000;
e561.. - 2000*b41 + x137 - x461 =G= -2000;
e562.. - 2000*b42 + x140 - x462 =G= -2000;
e563.. - 2000*b43 + x143 - x463 =G= -2000;
e564.. - 2000*b44 + x146 - x464 =G= -2000;
e565.. - 2000*b45 + x150 - x465 =G= -2000;
e566.. - 2000*b46 + x154 - x466 =G= -2000;
e567.. - 2000*b47 + x158 - x467 =G= -2000;
e568.. - 2000*b48 + x162 - x468 =G= -2000;
e569.. - 2000*b49 + x166 - x469 =G= -2000;
e570.. - 2000*b50 + x170 - x464 =G= -2000;
e571.. - 2000*b51 + x173 - x465 =G= -2000;
e572.. - 2000*b52 + x176 - x466 =G= -2000;
e573.. - 2000*b53 + x179 - x467 =G= -2000;
e574.. - 2000*b54 + x182 - x468 =G= -2000;
e575.. - 2000*b55 + x185 - x469 =G= -2000;
e576.. 1049*b2 + x279 - x447 =L= 1049;
e577.. 1049*b3 + x287 - x449 =L= 1049;
e578.. 1049*b4 + x295 - x451 =L= 1049;
e579.. 1049*b5 + x303 - x453 =L= 1049;
e580.. 1049*b6 + x311 - x455 =L= 1049;
e581.. 1049*b7 + x319 - x457 =L= 1049;
e582.. 1049*b8 + x327 - x447 =L= 1049;
e583.. 1049*b9 + x333 - x449 =L= 1049;
e584.. 1049*b10 + x339 - x451 =L= 1049;
e585.. 1049*b11 + x345 - x453 =L= 1049;
e586.. 1049*b12 + x351 - x455 =L= 1049;
e587.. 1049*b13 + x357 - x457 =L= 1049;
e588.. 1049*b14 + x363 - x447 =L= 1049;
e589.. 1049*b15 + x369 - x449 =L= 1049;
e590.. 1049*b16 + x375 - x451 =L= 1049;
e591.. 1049*b17 + x381 - x453 =L= 1049;
e592.. 1049*b18 + x56 - x455 =L= 1049;
e593.. 1049*b19 + x59 - x457 =L= 1049;
e594.. 1065*b20 + x62 - x458 =L= 1065;
e595.. 1065*b21 + x66 - x459 =L= 1065;
e596.. 1065*b22 + x70 - x460 =L= 1065;
e597.. 1065*b23 + x74 - x461 =L= 1065;
e598.. 1065*b24 + x78 - x462 =L= 1065;
e599.. 1065*b25 + x82 - x463 =L= 1065;
e600.. 1065*b26 + x86 - x458 =L= 1065;
e601.. 1065*b27 + x89 - x459 =L= 1065;
e602.. 1065*b28 + x92 - x460 =L= 1065;
e603.. 1065*b29 + x95 - x461 =L= 1065;
e604.. 1065*b30 + x98 - x462 =L= 1065;
e605.. 1065*b31 + x101 - x463 =L= 1065;
e606.. 1065*b32 + x104 - x458 =L= 1065;
e607.. 1065*b33 + x108 - x459 =L= 1065;
e608.. 1065*b34 + x112 - x460 =L= 1065;
e609.. 1065*b35 + x116 - x461 =L= 1065;
e610.. 1065*b36 + x120 - x462 =L= 1065;
e611.. 1065*b37 + x124 - x463 =L= 1065;
e612.. 1065*b38 + x128 - x458 =L= 1065;
e613.. 1065*b39 + x131 - x459 =L= 1065;
e614.. 1065*b40 + x134 - x460 =L= 1065;
e615.. 1065*b41 + x137 - x461 =L= 1065;
e616.. 1065*b42 + x140 - x462 =L= 1065;
e617.. 1065*b43 + x143 - x463 =L= 1065;
e618.. 1095*b44 + x146 - x464 =L= 1095;
e619.. 1095*b45 + x150 - x465 =L= 1095;
e620.. 1095*b46 + x154 - x466 =L= 1095;
e621.. 1095*b47 + x158 - x467 =L= 1095;
e622.. 1095*b48 + x162 - x468 =L= 1095;
e623.. 1095*b49 + x166 - x469 =L= 1095;
e624.. 1095*b50 + x170 - x464 =L= 1095;
e625.. 1095*b51 + x173 - x465 =L= 1095;
e626.. 1095*b52 + x176 - x466 =L= 1095;
e627.. 1095*b53 + x179 - x467 =L= 1095;
e628.. 1095*b54 + x182 - x468 =L= 1095;
e629.. 1095*b55 + x185 - x469 =L= 1095;
e630.. - x392 + x417 =G= 0;
e631.. - x393 + x420 =G= 0;
e632.. - x394 + x423 =G= 0;
e633.. - x395 + x426 =G= 0;
e634.. - x396 + x429 =G= 0;
e635.. - x397 + x432 =G= 0;
e636.. x398 - x548 =G= 0;
e637.. x399 - x549 =G= 0;
e638.. x400 - x550 =G= 0;
e639.. x401 - x551 =G= 0;
e640.. x402 - x552 =G= 0;
e641.. x403 - x553 =G= 0;
e642.. - 0.309838295393634*x554 + 13.94696158*x555 + 24.46510819*x556
- 7.28623839*x557 - 23.57687014*x558 =L= 0;
e643.. - 7.28623839*x559 - 23.57687014*x560 - 0.309838295393634*x561
+ 13.94696158*x562 + 24.46510819*x563 =L= 0;
e644.. 13.94696158*x564 + 24.46510819*x565 - 7.28623839*x566
- 23.57687014*x567 - 0.309838295393634*x568 =L= 0;
e645.. - 0.309838295393634*x569 + 13.94696158*x570 + 24.46510819*x571
- 7.28623839*x572 - 23.57687014*x573 =L= 0;
e646.. 24.46510819*x574 - 7.28623839*x575 - 23.57687014*x576
- 0.309838295393634*x577 + 13.94696158*x578 =L= 0;
e647.. 13.94696158*x579 + 24.46510819*x580 - 7.28623839*x581
- 23.57687014*x582 - 0.309838295393634*x583 =L= 0;
e648.. - 0.309838295393634*x584 + 13.94696158*x585 + 24.46510819*x586
- 7.28623839*x587 - 23.57687014*x588 =L= 0;
e649.. - 0.309838295393634*x589 + 13.94696158*x590 + 24.46510819*x591
- 7.28623839*x592 - 23.57687014*x593 =L= 0;
e650.. - 0.309838295393634*x594 + 13.94696158*x595 + 24.46510819*x596
- 7.28623839*x597 - 23.57687014*x598 =L= 0;
e651.. - 0.309838295393634*x599 + 13.94696158*x600 + 24.46510819*x601
- 7.28623839*x602 - 23.57687014*x603 =L= 0;
e652.. - 0.309838295393634*x604 + 13.94696158*x605 + 24.46510819*x606
- 7.28623839*x607 - 23.57687014*x608 =L= 0;
e653.. - 0.309838295393634*x609 + 13.94696158*x610 + 24.46510819*x611
- 7.28623839*x612 - 23.57687014*x613 =L= 0;
e654.. - 0.309838295393634*x614 + 13.94696158*x615 + 24.46510819*x616
- 7.28623839*x617 - 23.57687014*x618 =L= 0;
e655.. - 0.309838295393634*x619 + 13.94696158*x620 + 24.46510819*x621
- 7.28623839*x622 - 23.57687014*x623 =L= 0;
e656.. - 0.309838295393634*x624 + 13.94696158*x625 + 24.46510819*x626
- 7.28623839*x627 - 23.57687014*x628 =L= 0;
e657.. 24.46510819*x629 - 7.28623839*x630 - 23.57687014*x631
- 0.309838295393634*x632 + 13.94696158*x633 =L= 0;
e658.. 13.94696158*x634 + 24.46510819*x635 - 7.28623839*x636
- 23.57687014*x637 - 0.309838295393634*x638 =L= 0;
e659.. - 0.309838295393634*x639 + 13.94696158*x640 + 24.46510819*x641
- 7.28623839*x642 - 23.57687014*x643 =L= 0;
e660.. - 0.309838295393634*x644 + 29.29404529*x645 - 108.39408287*x646
+ 442.21990639*x647 - 454.58448169*x648 =L= 0;
e661.. - 0.309838295393634*x649 + 29.29404529*x650 - 108.39408287*x651
+ 442.21990639*x652 - 454.58448169*x653 =L= 0;
e662.. - 108.39408287*x654 + 442.21990639*x655 - 454.58448169*x656
- 0.309838295393634*x657 + 29.29404529*x658 =L= 0;
e663.. 29.29404529*x659 - 108.39408287*x660 + 442.21990639*x661
- 454.58448169*x662 - 0.309838295393634*x663 =L= 0;
e664.. - 0.309838295393634*x664 + 29.29404529*x665 - 108.39408287*x666
+ 442.21990639*x667 - 454.58448169*x668 =L= 0;
e665.. - 0.309838295393634*x669 + 29.29404529*x670 - 108.39408287*x671
+ 442.21990639*x672 - 454.58448169*x673 =L= 0;
e666.. - 0.309838295393634*x674 + 29.29404529*x675 - 108.39408287*x676
+ 442.21990639*x677 - 454.58448169*x678 =L= 0;
e667.. - 0.309838295393634*x679 + 29.29404529*x680 - 108.39408287*x681
+ 442.21990639*x682 - 454.58448169*x683 =L= 0;
e668.. - 454.58448169*x684 - 0.309838295393634*x685 + 29.29404529*x686
- 108.39408287*x687 + 442.21990639*x688 =L= 0;
e669.. 29.29404529*x689 - 0.309838295393634*x690 - 108.39408287*x691
+ 442.21990639*x692 - 454.58448169*x693 =L= 0;
e670.. - 0.309838295393634*x694 + 29.29404529*x695 - 108.39408287*x696
+ 442.21990639*x697 - 454.58448169*x698 =L= 0;
e671.. - 0.309838295393634*x699 + 29.29404529*x700 - 108.39408287*x701
+ 442.21990639*x702 - 454.58448169*x703 =L= 0;
e672.. - 0.309838295393634*x704 + 25.92674585*x705 + 18.13482123*x706
+ 22.12766012*x707 - 42.68950769*x708 =L= 0;
e673.. - 0.309838295393634*x709 + 25.92674585*x710 + 18.13482123*x711
+ 22.12766012*x712 - 42.68950769*x713 =L= 0;
e674.. - 0.309838295393634*x714 + 25.92674585*x715 + 18.13482123*x716
+ 22.12766012*x717 - 42.68950769*x718 =L= 0;
e675.. - 0.309838295393634*x719 + 25.92674585*x720 + 18.13482123*x721
+ 22.12766012*x722 - 42.68950769*x723 =L= 0;
e676.. - 0.309838295393634*x724 + 25.92674585*x725 + 18.13482123*x726
+ 22.12766012*x727 - 42.68950769*x728 =L= 0;
e677.. - 0.309838295393634*x729 + 25.92674585*x730 + 18.13482123*x731
+ 22.12766012*x732 - 42.68950769*x733 =L= 0;
e678.. - 0.309838295393634*x734 + 25.92674585*x735 + 18.13482123*x736
+ 22.12766012*x737 - 42.68950769*x738 =L= 0;
e679.. - 0.309838295393634*x739 + 25.92674585*x740 + 18.13482123*x741
+ 22.12766012*x742 - 42.68950769*x743 =L= 0;
e680.. - 0.309838295393634*x744 + 25.92674585*x745 + 18.13482123*x746
+ 22.12766012*x747 - 42.68950769*x748 =L= 0;
e681.. - 0.309838295393634*x749 + 25.92674585*x750 + 18.13482123*x751
+ 22.12766012*x752 - 42.68950769*x753 =L= 0;
e682.. - 0.309838295393634*x754 + 25.92674585*x755 + 18.13482123*x756
+ 22.12766012*x757 - 42.68950769*x758 =L= 0;
e683.. - 0.309838295393634*x759 + 25.92674585*x760 + 18.13482123*x761
+ 22.12766012*x762 - 42.68950769*x763 =L= 0;
e684.. - 0.309838295393634*x764 + 17.4714791*x765 - 39.98407808*x766
+ 134.55943082*x767 - 135.88441782*x768 =L= 0;
e685.. - 0.309838295393634*x769 + 17.4714791*x770 - 39.98407808*x771
+ 134.55943082*x772 - 135.88441782*x773 =L= 0;
e686.. - 0.309838295393634*x774 + 17.4714791*x775 - 39.98407808*x776
+ 134.55943082*x777 - 135.88441782*x778 =L= 0;
e687.. - 0.309838295393634*x779 + 17.4714791*x780 - 39.98407808*x781
+ 134.55943082*x782 - 135.88441782*x783 =L= 0;
e688.. - 0.309838295393634*x784 + 17.4714791*x785 - 39.98407808*x786
+ 134.55943082*x787 - 135.88441782*x788 =L= 0;
e689.. - 0.309838295393634*x789 + 17.4714791*x790 - 39.98407808*x791
+ 134.55943082*x792 - 135.88441782*x793 =L= 0;
e690.. - 0.309838295393634*x794 + 17.4714791*x795 - 39.98407808*x796
+ 134.55943082*x797 - 135.88441782*x798 =L= 0;
e691.. - 0.309838295393634*x799 + 17.4714791*x800 - 39.98407808*x801
+ 134.55943082*x802 - 135.88441782*x803 =L= 0;
e692.. - 0.309838295393634*x804 + 17.4714791*x805 - 39.98407808*x806
+ 134.55943082*x807 - 135.88441782*x808 =L= 0;
e693.. - 0.309838295393634*x809 + 17.4714791*x810 - 39.98407808*x811
+ 134.55943082*x812 - 135.88441782*x813 =L= 0;
e694.. - 0.309838295393634*x814 + 17.4714791*x815 - 39.98407808*x816
+ 134.55943082*x817 - 135.88441782*x818 =L= 0;
e695.. - 0.309838295393634*x819 + 17.4714791*x820 - 39.98407808*x821
+ 134.55943082*x822 - 135.88441782*x823 =L= 0;
e696.. sqr(x194) - x824 =E= 0;
e697.. x405 - 5*x824 =E= 0;
e698.. sqr(x196) - x825 =E= 0;
e699.. x407 - 5*x825 =E= 0;
e700.. sqr(x198) - x826 =E= 0;
e701.. x409 - 5*x826 =E= 0;
e702.. sqr(x200) - x827 =E= 0;
e703.. x411 - 5*x827 =E= 0;
e704.. sqr(x202) - x828 =E= 0;
e705.. x413 - 5*x828 =E= 0;
e706.. sqr(x204) - x829 =E= 0;
e707.. x415 - 5*x829 =E= 0;
e708.. sqr(x206) - x830 =E= 0;
e709.. x418 - 4*x830 =E= 0;
e710.. sqr(x208) - x831 =E= 0;
e711.. x421 - 4*x831 =E= 0;
e712.. sqr(x210) - x832 =E= 0;
e713.. x424 - 4*x832 =E= 0;
e714.. sqr(x212) - x833 =E= 0;
e715.. x427 - 4*x833 =E= 0;
e716.. sqr(x214) - x834 =E= 0;
e717.. x430 - 4*x834 =E= 0;
e718.. sqr(x216) - x835 =E= 0;
e719.. x433 - 4*x835 =E= 0;
e720.. sqr(x224) - x836 =E= 0;
e721.. x435 - 5*x836 =E= 0;
e722.. sqr(x226) - x837 =E= 0;
e723.. x437 - 5*x837 =E= 0;
e724.. sqr(x228) - x838 =E= 0;
e725.. x439 - 5*x838 =E= 0;
e726.. sqr(x230) - x839 =E= 0;
e727.. x441 - 5*x839 =E= 0;
e728.. sqr(x232) - x840 =E= 0;
e729.. x443 - 5*x840 =E= 0;
e730.. sqr(x234) - x841 =E= 0;
e731.. x445 - 5*x841 =E= 0;
e732.. sqr(x278) - x842 =E= 0;
e733.. x281 - x842 =E= 0;
e734.. POWER(x278,3) - x843 =E= 0;
e735.. x558 - x843 =E= 0;
e736.. sqr(x280) - x844 =E= 0;
e737.. x293 - x844 =E= 0;
e738.. POWER(x280,3) - x845 =E= 0;
e739.. x560 - x845 =E= 0;
e740.. sqr(x282) - x846 =E= 0;
e741.. x301 - x846 =E= 0;
e742.. POWER(x282,3) - x847 =E= 0;
e743.. x567 - x847 =E= 0;
e744.. sqr(x284) - x848 =E= 0;
e745.. x309 - x848 =E= 0;
e746.. POWER(x284,3) - x849 =E= 0;
e747.. x573 - x849 =E= 0;
e748.. sqr(x286) - x850 =E= 0;
e749.. x317 - x850 =E= 0;
e750.. POWER(x286,3) - x851 =E= 0;
e751.. x576 - x851 =E= 0;
e752.. sqr(x288) - x852 =E= 0;
e753.. x325 - x852 =E= 0;
e754.. POWER(x288,3) - x853 =E= 0;
e755.. x582 - x853 =E= 0;
e756.. sqr(x290) - x854 =E= 0;
e757.. x329 - x854 =E= 0;
e758.. POWER(x290,3) - x855 =E= 0;
e759.. x588 - x855 =E= 0;
e760.. sqr(x292) - x856 =E= 0;
e761.. x335 - x856 =E= 0;
e762.. POWER(x292,3) - x857 =E= 0;
e763.. x593 - x857 =E= 0;
e764.. sqr(x294) - x858 =E= 0;
e765.. x343 - x858 =E= 0;
e766.. POWER(x294,3) - x859 =E= 0;
e767.. x598 - x859 =E= 0;
e768.. sqr(x296) - x860 =E= 0;
e769.. x349 - x860 =E= 0;
e770.. POWER(x296,3) - x861 =E= 0;
e771.. x603 - x861 =E= 0;
e772.. sqr(x298) - x862 =E= 0;
e773.. x355 - x862 =E= 0;
e774.. POWER(x298,3) - x863 =E= 0;
e775.. x608 - x863 =E= 0;
e776.. sqr(x300) - x864 =E= 0;
e777.. x359 - x864 =E= 0;
e778.. POWER(x300,3) - x865 =E= 0;
e779.. x613 - x865 =E= 0;
e780.. sqr(x302) - x866 =E= 0;
e781.. x367 - x866 =E= 0;
e782.. POWER(x302,3) - x867 =E= 0;
e783.. x618 - x867 =E= 0;
e784.. sqr(x304) - x868 =E= 0;
e785.. x373 - x868 =E= 0;
e786.. POWER(x304,3) - x869 =E= 0;
e787.. x623 - x869 =E= 0;
e788.. sqr(x306) - x870 =E= 0;
e789.. x379 - x870 =E= 0;
e790.. POWER(x306,3) - x871 =E= 0;
e791.. x628 - x871 =E= 0;
e792.. sqr(x308) - x872 =E= 0;
e793.. x385 - x872 =E= 0;
e794.. POWER(x308,3) - x873 =E= 0;
e795.. x631 - x873 =E= 0;
e796.. sqr(x310) - x874 =E= 0;
e797.. x58 - x874 =E= 0;
e798.. POWER(x310,3) - x875 =E= 0;
e799.. x637 - x875 =E= 0;
e800.. sqr(x312) - x876 =E= 0;
e801.. x61 - x876 =E= 0;
e802.. POWER(x312,3) - x877 =E= 0;
e803.. x643 - x877 =E= 0;
e804.. sqr(x314) - x878 =E= 0;
e805.. x65 - x878 =E= 0;
e806.. POWER(x314,3) - x879 =E= 0;
e807.. x648 - x879 =E= 0;
e808.. sqr(x316) - x880 =E= 0;
e809.. x69 - x880 =E= 0;
e810.. POWER(x316,3) - x881 =E= 0;
e811.. x653 - x881 =E= 0;
e812.. sqr(x318) - x882 =E= 0;
e813.. x71 - x882 =E= 0;
e814.. POWER(x318,3) - x883 =E= 0;
e815.. x656 - x883 =E= 0;
e816.. sqr(x320) - x884 =E= 0;
e817.. x75 - x884 =E= 0;
e818.. POWER(x320,3) - x885 =E= 0;
e819.. x662 - x885 =E= 0;
e820.. sqr(x322) - x886 =E= 0;
e821.. x79 - x886 =E= 0;
e822.. POWER(x322,3) - x887 =E= 0;
e823.. x668 - x887 =E= 0;
e824.. sqr(x324) - x888 =E= 0;
e825.. x85 - x888 =E= 0;
e826.. POWER(x324,3) - x889 =E= 0;
e827.. x673 - x889 =E= 0;
e828.. sqr(x326) - x890 =E= 0;
e829.. x88 - x890 =E= 0;
e830.. POWER(x326,3) - x891 =E= 0;
e831.. x678 - x891 =E= 0;
e832.. sqr(x328) - x892 =E= 0;
e833.. x90 - x892 =E= 0;
e834.. POWER(x328,3) - x893 =E= 0;
e835.. x683 - x893 =E= 0;
e836.. sqr(x330) - x894 =E= 0;
e837.. x94 - x894 =E= 0;
e838.. POWER(x330,3) - x895 =E= 0;
e839.. x684 - x895 =E= 0;
e840.. sqr(x332) - x896 =E= 0;
e841.. x96 - x896 =E= 0;
e842.. POWER(x332,3) - x897 =E= 0;
e843.. x693 - x897 =E= 0;
e844.. sqr(x334) - x898 =E= 0;
e845.. x100 - x898 =E= 0;
e846.. POWER(x334,3) - x899 =E= 0;
e847.. x698 - x899 =E= 0;
e848.. sqr(x336) - x900 =E= 0;
e849.. x103 - x900 =E= 0;
e850.. POWER(x336,3) - x901 =E= 0;
e851.. x703 - x901 =E= 0;
e852.. sqr(x338) - x902 =E= 0;
e853.. x105 - x902 =E= 0;
e854.. POWER(x338,3) - x903 =E= 0;
e855.. x708 - x903 =E= 0;
e856.. sqr(x340) - x904 =E= 0;
e857.. x109 - x904 =E= 0;
e858.. POWER(x340,3) - x905 =E= 0;
e859.. x713 - x905 =E= 0;
e860.. sqr(x342) - x906 =E= 0;
e861.. x115 - x906 =E= 0;
e862.. POWER(x342,3) - x907 =E= 0;
e863.. x718 - x907 =E= 0;
e864.. sqr(x344) - x908 =E= 0;
e865.. x118 - x908 =E= 0;
e866.. POWER(x344,3) - x909 =E= 0;
e867.. x723 - x909 =E= 0;
e868.. sqr(x346) - x910 =E= 0;
e869.. x122 - x910 =E= 0;
e870.. POWER(x346,3) - x911 =E= 0;
e871.. x728 - x911 =E= 0;
e872.. sqr(x348) - x912 =E= 0;
e873.. x127 - x912 =E= 0;
e874.. POWER(x348,3) - x913 =E= 0;
e875.. x733 - x913 =E= 0;
e876.. sqr(x350) - x914 =E= 0;
e877.. x129 - x914 =E= 0;
e878.. POWER(x350,3) - x915 =E= 0;
e879.. x738 - x915 =E= 0;
e880.. sqr(x352) - x916 =E= 0;
e881.. x133 - x916 =E= 0;
e882.. POWER(x352,3) - x917 =E= 0;
e883.. x743 - x917 =E= 0;
e884.. sqr(x354) - x918 =E= 0;
e885.. x136 - x918 =E= 0;
e886.. POWER(x354,3) - x919 =E= 0;
e887.. x748 - x919 =E= 0;
e888.. sqr(x356) - x920 =E= 0;
e889.. x139 - x920 =E= 0;
e890.. POWER(x356,3) - x921 =E= 0;
e891.. x753 - x921 =E= 0;
e892.. sqr(x358) - x922 =E= 0;
e893.. x141 - x922 =E= 0;
e894.. POWER(x358,3) - x923 =E= 0;
e895.. x758 - x923 =E= 0;
e896.. sqr(x360) - x924 =E= 0;
e897.. x144 - x924 =E= 0;
e898.. POWER(x360,3) - x925 =E= 0;
e899.. x763 - x925 =E= 0;
e900.. sqr(x362) - x926 =E= 0;
e901.. x149 - x926 =E= 0;
e902.. POWER(x362,3) - x927 =E= 0;
e903.. x768 - x927 =E= 0;
e904.. sqr(x364) - x928 =E= 0;
e905.. x152 - x928 =E= 0;
e906.. POWER(x364,3) - x929 =E= 0;
e907.. x773 - x929 =E= 0;
e908.. sqr(x366) - x930 =E= 0;
e909.. x156 - x930 =E= 0;
e910.. POWER(x366,3) - x931 =E= 0;
e911.. x778 - x931 =E= 0;
e912.. sqr(x368) - x932 =E= 0;
e913.. x159 - x932 =E= 0;
e914.. POWER(x368,3) - x933 =E= 0;
e915.. x783 - x933 =E= 0;
e916.. sqr(x370) - x934 =E= 0;
e917.. x163 - x934 =E= 0;
e918.. POWER(x370,3) - x935 =E= 0;
e919.. x788 - x935 =E= 0;
e920.. sqr(x372) - x936 =E= 0;
e921.. x167 - x936 =E= 0;
e922.. POWER(x372,3) - x937 =E= 0;
e923.. x793 - x937 =E= 0;
e924.. sqr(x374) - x938 =E= 0;
e925.. x172 - x938 =E= 0;
e926.. POWER(x374,3) - x939 =E= 0;
e927.. x798 - x939 =E= 0;
e928.. sqr(x376) - x940 =E= 0;
e929.. x174 - x940 =E= 0;
e930.. POWER(x376,3) - x941 =E= 0;
e931.. x803 - x941 =E= 0;
e932.. sqr(x378) - x942 =E= 0;
e933.. x177 - x942 =E= 0;
e934.. POWER(x378,3) - x943 =E= 0;
e935.. x808 - x943 =E= 0;
e936.. sqr(x380) - x944 =E= 0;
e937.. x181 - x944 =E= 0;
e938.. POWER(x380,3) - x945 =E= 0;
e939.. x813 - x945 =E= 0;
e940.. sqr(x382) - x946 =E= 0;
e941.. x183 - x946 =E= 0;
e942.. POWER(x382,3) - x947 =E= 0;
e943.. x818 - x947 =E= 0;
e944.. sqr(x384) - x948 =E= 0;
e945.. x186 - x948 =E= 0;
e946.. POWER(x384,3) - x949 =E= 0;
e947.. x823 - x949 =E= 0;
e948.. x278*x524 - x283 =E= 0;
e949.. x524*x842 - x557 =E= 0;
e950.. x290*x524 - x331 =E= 0;
e951.. x524*x854 - x587 =E= 0;
e952.. x302*x524 - x365 =E= 0;
e953.. x524*x866 - x617 =E= 0;
e954.. sqr(x524) - x950 =E= 0;
e955.. x285 - x950 =E= 0;
e956.. x278*x950 - x556 =E= 0;
e957.. x290*x950 - x586 =E= 0;
e958.. x302*x950 - x616 =E= 0;
e959.. POWER(x524,3) - x951 =E= 0;
e960.. b2*x951 - x555 =E= 0;
e961.. b8*x951 - x585 =E= 0;
e962.. b14*x951 - x615 =E= 0;
e963.. x280*x525 - x291 =E= 0;
e964.. x525*x844 - x559 =E= 0;
e965.. x292*x525 - x337 =E= 0;
e966.. x525*x856 - x592 =E= 0;
e967.. x304*x525 - x371 =E= 0;
e968.. x525*x868 - x622 =E= 0;
e969.. sqr(x525) - x952 =E= 0;
e970.. x289 - x952 =E= 0;
e971.. x280*x952 - x563 =E= 0;
e972.. x292*x952 - x591 =E= 0;
e973.. x304*x952 - x621 =E= 0;
e974.. POWER(x525,3) - x953 =E= 0;
e975.. b3*x953 - x562 =E= 0;
e976.. b9*x953 - x590 =E= 0;
e977.. b15*x953 - x620 =E= 0;
e978.. x282*x526 - x299 =E= 0;
e979.. x526*x846 - x566 =E= 0;
e980.. x294*x526 - x341 =E= 0;
e981.. x526*x858 - x597 =E= 0;
e982.. x306*x526 - x377 =E= 0;
e983.. x526*x870 - x627 =E= 0;
e984.. sqr(x526) - x954 =E= 0;
e985.. x297 - x954 =E= 0;
e986.. x282*x954 - x565 =E= 0;
e987.. x294*x954 - x596 =E= 0;
e988.. x306*x954 - x626 =E= 0;
e989.. POWER(x526,3) - x955 =E= 0;
e990.. b4*x955 - x564 =E= 0;
e991.. b10*x955 - x595 =E= 0;
e992.. b16*x955 - x625 =E= 0;
e993.. x284*x527 - x307 =E= 0;
e994.. x527*x848 - x572 =E= 0;
e995.. x296*x527 - x347 =E= 0;
e996.. x527*x860 - x602 =E= 0;
e997.. x308*x527 - x383 =E= 0;
e998.. x527*x872 - x630 =E= 0;
e999.. sqr(x527) - x956 =E= 0;
e1000.. x305 - x956 =E= 0;
e1001.. x284*x956 - x571 =E= 0;
e1002.. x296*x956 - x601 =E= 0;
e1003.. x308*x956 - x629 =E= 0;
e1004.. POWER(x527,3) - x957 =E= 0;
e1005.. b5*x957 - x570 =E= 0;
e1006.. b11*x957 - x600 =E= 0;
e1007.. b17*x957 - x633 =E= 0;
e1008.. x286*x528 - x315 =E= 0;
e1009.. x528*x850 - x575 =E= 0;
e1010.. x298*x528 - x353 =E= 0;
e1011.. x528*x862 - x607 =E= 0;
e1012.. x310*x528 - x57 =E= 0;
e1013.. x528*x874 - x636 =E= 0;
e1014.. sqr(x528) - x958 =E= 0;
e1015.. x313 - x958 =E= 0;
e1016.. x286*x958 - x574 =E= 0;
e1017.. x298*x958 - x606 =E= 0;
e1018.. x310*x958 - x635 =E= 0;
e1019.. POWER(x528,3) - x959 =E= 0;
e1020.. b6*x959 - x578 =E= 0;
e1021.. b12*x959 - x605 =E= 0;
e1022.. b18*x959 - x634 =E= 0;
e1023.. x288*x529 - x323 =E= 0;
e1024.. x529*x852 - x581 =E= 0;
e1025.. x300*x529 - x361 =E= 0;
e1026.. x529*x864 - x612 =E= 0;
e1027.. x312*x529 - x60 =E= 0;
e1028.. x529*x876 - x642 =E= 0;
e1029.. sqr(x529) - x960 =E= 0;
e1030.. x321 - x960 =E= 0;
e1031.. x288*x960 - x580 =E= 0;
e1032.. x300*x960 - x611 =E= 0;
e1033.. x312*x960 - x641 =E= 0;
e1034.. POWER(x529,3) - x961 =E= 0;
e1035.. b7*x961 - x579 =E= 0;
e1036.. b13*x961 - x610 =E= 0;
e1037.. b19*x961 - x640 =E= 0;
e1038.. x314*x530 - x64 =E= 0;
e1039.. x530*x878 - x647 =E= 0;
e1040.. x326*x530 - x87 =E= 0;
e1041.. x530*x890 - x677 =E= 0;
e1042.. sqr(x530) - x962 =E= 0;
e1043.. x63 - x962 =E= 0;
e1044.. x314*x962 - x646 =E= 0;
e1045.. x326*x962 - x676 =E= 0;
e1046.. POWER(x530,3) - x963 =E= 0;
e1047.. b20*x963 - x645 =E= 0;
e1048.. b26*x963 - x675 =E= 0;
e1049.. x316*x531 - x67 =E= 0;
e1050.. x531*x880 - x652 =E= 0;
e1051.. x328*x531 - x91 =E= 0;
e1052.. x531*x892 - x682 =E= 0;
e1053.. sqr(x531) - x964 =E= 0;
e1054.. x68 - x964 =E= 0;
e1055.. x316*x964 - x651 =E= 0;
e1056.. x328*x964 - x681 =E= 0;
e1057.. POWER(x531,3) - x965 =E= 0;
e1058.. b21*x965 - x650 =E= 0;
e1059.. b27*x965 - x680 =E= 0;
e1060.. x318*x532 - x72 =E= 0;
e1061.. x532*x882 - x655 =E= 0;
e1062.. x330*x532 - x93 =E= 0;
e1063.. x532*x894 - x688 =E= 0;
e1064.. sqr(x532) - x966 =E= 0;
e1065.. x73 - x966 =E= 0;
e1066.. x318*x966 - x654 =E= 0;
e1067.. x330*x966 - x687 =E= 0;
e1068.. POWER(x532,3) - x967 =E= 0;
e1069.. b22*x967 - x658 =E= 0;
e1070.. b28*x967 - x686 =E= 0;
e1071.. x320*x533 - x76 =E= 0;
e1072.. x533*x884 - x661 =E= 0;
e1073.. x332*x533 - x97 =E= 0;
e1074.. x533*x896 - x692 =E= 0;
e1075.. sqr(x533) - x968 =E= 0;
e1076.. x77 - x968 =E= 0;
e1077.. x320*x968 - x660 =E= 0;
e1078.. x332*x968 - x691 =E= 0;
e1079.. POWER(x533,3) - x969 =E= 0;
e1080.. b23*x969 - x659 =E= 0;
e1081.. b29*x969 - x689 =E= 0;
e1082.. x322*x534 - x80 =E= 0;
e1083.. x534*x886 - x667 =E= 0;
e1084.. x334*x534 - x99 =E= 0;
e1085.. x534*x898 - x697 =E= 0;
e1086.. sqr(x534) - x970 =E= 0;
e1087.. x81 - x970 =E= 0;
e1088.. x322*x970 - x666 =E= 0;
e1089.. x334*x970 - x696 =E= 0;
e1090.. POWER(x534,3) - x971 =E= 0;
e1091.. b24*x971 - x665 =E= 0;
e1092.. b30*x971 - x695 =E= 0;
e1093.. x324*x535 - x83 =E= 0;
e1094.. x535*x888 - x672 =E= 0;
e1095.. x336*x535 - x102 =E= 0;
e1096.. x535*x900 - x702 =E= 0;
e1097.. sqr(x535) - x972 =E= 0;
e1098.. x84 - x972 =E= 0;
e1099.. x324*x972 - x671 =E= 0;
e1100.. x336*x972 - x701 =E= 0;
e1101.. POWER(x535,3) - x973 =E= 0;
e1102.. b25*x973 - x670 =E= 0;
e1103.. b31*x973 - x700 =E= 0;
e1104.. x338*x536 - x107 =E= 0;
e1105.. x536*x902 - x707 =E= 0;
e1106.. x350*x536 - x130 =E= 0;
e1107.. x536*x914 - x737 =E= 0;
e1108.. sqr(x536) - x974 =E= 0;
e1109.. x106 - x974 =E= 0;
e1110.. x338*x974 - x706 =E= 0;
e1111.. x350*x974 - x736 =E= 0;
e1112.. POWER(x536,3) - x975 =E= 0;
e1113.. b32*x975 - x705 =E= 0;
e1114.. b38*x975 - x735 =E= 0;
e1115.. x340*x537 - x111 =E= 0;
e1116.. x537*x904 - x712 =E= 0;
e1117.. x352*x537 - x132 =E= 0;
e1118.. x537*x916 - x742 =E= 0;
e1119.. sqr(x537) - x976 =E= 0;
e1120.. x110 - x976 =E= 0;
e1121.. x340*x976 - x711 =E= 0;
e1122.. x352*x976 - x741 =E= 0;
e1123.. POWER(x537,3) - x977 =E= 0;
e1124.. b33*x977 - x710 =E= 0;
e1125.. b39*x977 - x740 =E= 0;
e1126.. x342*x538 - x113 =E= 0;
e1127.. x538*x906 - x717 =E= 0;
e1128.. x354*x538 - x135 =E= 0;
e1129.. x538*x918 - x747 =E= 0;
e1130.. sqr(x538) - x978 =E= 0;
e1131.. x114 - x978 =E= 0;
e1132.. x342*x978 - x716 =E= 0;
e1133.. x354*x978 - x746 =E= 0;
e1134.. POWER(x538,3) - x979 =E= 0;
e1135.. b34*x979 - x715 =E= 0;
e1136.. b40*x979 - x745 =E= 0;
e1137.. x344*x539 - x119 =E= 0;
e1138.. x539*x908 - x722 =E= 0;
e1139.. x356*x539 - x138 =E= 0;
e1140.. x539*x920 - x752 =E= 0;
e1141.. sqr(x539) - x980 =E= 0;
e1142.. x117 - x980 =E= 0;
e1143.. x344*x980 - x721 =E= 0;
e1144.. x356*x980 - x751 =E= 0;
e1145.. POWER(x539,3) - x981 =E= 0;
e1146.. b35*x981 - x720 =E= 0;
e1147.. b41*x981 - x750 =E= 0;
e1148.. x346*x540 - x123 =E= 0;
e1149.. x540*x910 - x727 =E= 0;
e1150.. x358*x540 - x142 =E= 0;
e1151.. x540*x922 - x757 =E= 0;
e1152.. sqr(x540) - x982 =E= 0;
e1153.. x121 - x982 =E= 0;
e1154.. x346*x982 - x726 =E= 0;
e1155.. x358*x982 - x756 =E= 0;
e1156.. POWER(x540,3) - x983 =E= 0;
e1157.. b36*x983 - x725 =E= 0;
e1158.. b42*x983 - x755 =E= 0;
e1159.. x348*x541 - x125 =E= 0;
e1160.. x541*x912 - x732 =E= 0;
e1161.. x360*x541 - x145 =E= 0;
e1162.. x541*x924 - x762 =E= 0;
e1163.. sqr(x541) - x984 =E= 0;
e1164.. x126 - x984 =E= 0;
e1165.. x348*x984 - x731 =E= 0;
e1166.. x360*x984 - x761 =E= 0;
e1167.. POWER(x541,3) - x985 =E= 0;
e1168.. b37*x985 - x730 =E= 0;
e1169.. b43*x985 - x760 =E= 0;
e1170.. x362*x542 - x147 =E= 0;
e1171.. x542*x926 - x767 =E= 0;
e1172.. x374*x542 - x171 =E= 0;
e1173.. x542*x938 - x797 =E= 0;
e1174.. sqr(x542) - x986 =E= 0;
e1175.. x148 - x986 =E= 0;
e1176.. x362*x986 - x766 =E= 0;
e1177.. x374*x986 - x796 =E= 0;
e1178.. POWER(x542,3) - x987 =E= 0;
e1179.. b44*x987 - x765 =E= 0;
e1180.. b50*x987 - x795 =E= 0;
e1181.. x364*x543 - x153 =E= 0;
e1182.. x543*x928 - x772 =E= 0;
e1183.. x376*x543 - x175 =E= 0;
e1184.. x543*x940 - x802 =E= 0;
e1185.. sqr(x543) - x988 =E= 0;
e1186.. x151 - x988 =E= 0;
e1187.. x364*x988 - x771 =E= 0;
e1188.. x376*x988 - x801 =E= 0;
e1189.. POWER(x543,3) - x989 =E= 0;
e1190.. b45*x989 - x770 =E= 0;
e1191.. b51*x989 - x800 =E= 0;
e1192.. x366*x544 - x155 =E= 0;
e1193.. x544*x930 - x777 =E= 0;
e1194.. x378*x544 - x178 =E= 0;
e1195.. x544*x942 - x807 =E= 0;
e1196.. sqr(x544) - x990 =E= 0;
e1197.. x157 - x990 =E= 0;
e1198.. x366*x990 - x776 =E= 0;
e1199.. x378*x990 - x806 =E= 0;
e1200.. POWER(x544,3) - x991 =E= 0;
e1201.. b46*x991 - x775 =E= 0;
e1202.. b52*x991 - x805 =E= 0;
e1203.. x368*x545 - x160 =E= 0;
e1204.. x545*x932 - x782 =E= 0;
e1205.. x380*x545 - x180 =E= 0;
e1206.. x545*x944 - x812 =E= 0;
e1207.. sqr(x545) - x992 =E= 0;
e1208.. x161 - x992 =E= 0;
e1209.. x368*x992 - x781 =E= 0;
e1210.. x380*x992 - x811 =E= 0;
e1211.. POWER(x545,3) - x993 =E= 0;
e1212.. b47*x993 - x780 =E= 0;
e1213.. b53*x993 - x810 =E= 0;
e1214.. x370*x546 - x164 =E= 0;
e1215.. x546*x934 - x787 =E= 0;
e1216.. x382*x546 - x184 =E= 0;
e1217.. x546*x946 - x817 =E= 0;
e1218.. sqr(x546) - x994 =E= 0;
e1219.. x165 - x994 =E= 0;
e1220.. x370*x994 - x786 =E= 0;
e1221.. x382*x994 - x816 =E= 0;
e1222.. POWER(x546,3) - x995 =E= 0;
e1223.. b48*x995 - x785 =E= 0;
e1224.. b54*x995 - x815 =E= 0;
e1225.. x372*x547 - x169 =E= 0;
e1226.. x547*x936 - x792 =E= 0;
e1227.. x384*x547 - x187 =E= 0;
e1228.. x547*x948 - x822 =E= 0;
e1229.. sqr(x547) - x996 =E= 0;
e1230.. x168 - x996 =E= 0;
e1231.. x372*x996 - x791 =E= 0;
e1232.. x384*x996 - x821 =E= 0;
e1233.. POWER(x547,3) - x997 =E= 0;
e1234.. b49*x997 - x790 =E= 0;
e1235.. b55*x997 - x820 =E= 0;
* set non-default bounds
x56.lo = -1000; x56.up = 1000;
x59.lo = -1000; x59.up = 1000;
x62.lo = -1000; x62.up = 1000;
x66.lo = -1000; x66.up = 1000;
x70.lo = -1000; x70.up = 1000;
x74.lo = -1000; x74.up = 1000;
x78.lo = -1000; x78.up = 1000;
x82.lo = -1000; x82.up = 1000;
x86.lo = -1000; x86.up = 1000;
x89.lo = -1000; x89.up = 1000;
x92.lo = -1000; x92.up = 1000;
x95.lo = -1000; x95.up = 1000;
x98.lo = -1000; x98.up = 1000;
x101.lo = -1000; x101.up = 1000;
x104.lo = -1000; x104.up = 1000;
x108.lo = -1000; x108.up = 1000;
x112.lo = -1000; x112.up = 1000;
x116.lo = -1000; x116.up = 1000;
x120.lo = -1000; x120.up = 1000;
x124.lo = -1000; x124.up = 1000;
x128.lo = -1000; x128.up = 1000;
x131.lo = -1000; x131.up = 1000;
x134.lo = -1000; x134.up = 1000;
x137.lo = -1000; x137.up = 1000;
x140.lo = -1000; x140.up = 1000;
x143.lo = -1000; x143.up = 1000;
x146.lo = -1000; x146.up = 1000;
x150.lo = -1000; x150.up = 1000;
x154.lo = -1000; x154.up = 1000;
x158.lo = -1000; x158.up = 1000;
x162.lo = -1000; x162.up = 1000;
x166.lo = -1000; x166.up = 1000;
x170.lo = -1000; x170.up = 1000;
x173.lo = -1000; x173.up = 1000;
x176.lo = -1000; x176.up = 1000;
x179.lo = -1000; x179.up = 1000;
x182.lo = -1000; x182.up = 1000;
x185.lo = -1000; x185.up = 1000;
x188.up = 5;
x189.up = 5;
x190.up = 5;
x191.up = 5;
x192.up = 5;
x193.up = 5;
x194.up = 5;
x195.up = 2.4;
x196.up = 5;
x197.up = 2.4;
x198.up = 5;
x199.up = 2.4;
x200.up = 5;
x201.up = 2.4;
x202.up = 5;
x203.up = 2.4;
x204.up = 5;
x205.up = 2.4;
x206.up = 5;
x207.up = 2.4;
x208.up = 5;
x209.up = 2.4;
x210.up = 5;
x211.up = 2.4;
x212.up = 5;
x213.up = 2.4;
x214.up = 5;
x215.up = 2.4;
x216.up = 5;
x217.up = 2.4;
x218.up = 5;
x219.up = 5;
x220.up = 5;
x221.up = 5;
x222.up = 5;
x223.up = 5;
x224.up = 5;
x225.up = 1.16;
x226.up = 5;
x227.up = 1.16;
x228.up = 5;
x229.up = 1.16;
x230.up = 5;
x231.up = 1.16;
x232.up = 5;
x233.up = 1.16;
x234.up = 5;
x235.up = 1.16;
x236.up = 5;
x237.up = 5;
x238.up = 5;
x239.up = 5;
x240.up = 5;
x241.up = 5;
x242.fx = 3.5;
x243.lo = 2; x243.up = 5;
x244.lo = 2; x244.up = 5;
x245.lo = 2; x245.up = 5;
x246.lo = 2; x246.up = 5;
x247.lo = 2; x247.up = 5;
x248.lo = 2; x248.up = 5;
x249.lo = 2; x249.up = 5;
x250.lo = 2; x250.up = 5;
x251.lo = 2; x251.up = 5;
x252.lo = 2; x252.up = 5;
x253.lo = 2; x253.up = 5;
x254.fx = 4.1;
x255.lo = 2.5; x255.up = 5;
x256.lo = 2.5; x256.up = 5;
x257.lo = 2.5; x257.up = 5;
x258.lo = 2.5; x258.up = 5;
x259.lo = 2.5; x259.up = 5;
x260.lo = 2.5; x260.up = 5;
x261.lo = 2.5; x261.up = 5;
x262.lo = 2.5; x262.up = 5;
x263.lo = 2.5; x263.up = 5;
x264.lo = 2.5; x264.up = 5;
x265.lo = 2.5; x265.up = 5;
x266.fx = 4;
x267.lo = 2; x267.up = 6;
x268.lo = 2; x268.up = 6;
x269.lo = 2; x269.up = 6;
x270.lo = 2; x270.up = 6;
x271.lo = 2; x271.up = 6;
x272.lo = 2; x272.up = 6;
x273.lo = 2; x273.up = 6;
x274.lo = 2; x274.up = 6;
x275.lo = 2; x275.up = 6;
x276.lo = 2; x276.up = 6;
x277.lo = 2; x277.up = 6;
x278.up = 0.8;
x279.lo = -1000; x279.up = 1000;
x280.up = 0.8;
x282.up = 0.8;
x284.up = 0.8;
x286.up = 0.8;
x287.lo = -1000; x287.up = 1000;
x288.up = 0.8;
x290.up = 0.8;
x292.up = 0.8;
x294.up = 0.8;
x295.lo = -1000; x295.up = 1000;
x296.up = 0.8;
x298.up = 0.8;
x300.up = 0.8;
x302.up = 0.8;
x303.lo = -1000; x303.up = 1000;
x304.up = 0.8;
x306.up = 0.8;
x308.up = 0.8;
x310.up = 0.8;
x311.lo = -1000; x311.up = 1000;
x312.up = 0.8;
x314.up = 0.5;
x316.up = 0.5;
x318.up = 0.5;
x319.lo = -1000; x319.up = 1000;
x320.up = 0.5;
x322.up = 0.5;
x324.up = 0.5;
x326.up = 0.5;
x327.lo = -1000; x327.up = 1000;
x328.up = 0.5;
x330.up = 0.5;
x332.up = 0.5;
x333.lo = -1000; x333.up = 1000;
x334.up = 0.5;
x336.up = 0.5;
x338.up = 0.7;
x339.lo = -1000; x339.up = 1000;
x340.up = 0.7;
x342.up = 0.7;
x344.up = 0.7;
x345.lo = -1000; x345.up = 1000;
x346.up = 0.7;
x348.up = 0.7;
x350.up = 0.7;
x351.lo = -1000; x351.up = 1000;
x352.up = 0.7;
x354.up = 0.7;
x356.up = 0.7;
x357.lo = -1000; x357.up = 1000;
x358.up = 0.7;
x360.up = 0.7;
x362.up = 0.58;
x363.lo = -1000; x363.up = 1000;
x364.up = 0.58;
x366.up = 0.58;
x368.up = 0.58;
x369.lo = -1000; x369.up = 1000;
x370.up = 0.58;
x372.up = 0.58;
x374.up = 0.58;
x375.lo = -1000; x375.up = 1000;
x376.up = 0.58;
x378.up = 0.58;
x380.up = 0.58;
x381.lo = -1000; x381.up = 1000;
x382.up = 0.58;
x384.up = 0.58;
x386.lo = 62; x386.up = 65;
x387.lo = 62; x387.up = 65;
x388.lo = 62; x388.up = 65;
x389.lo = 62; x389.up = 65;
x390.lo = 62; x390.up = 65;
x391.lo = 62; x391.up = 65;
x392.lo = 92.5; x392.up = 95;
x393.lo = 92.5; x393.up = 95;
x394.lo = 92.5; x394.up = 95;
x395.lo = 92.5; x395.up = 95;
x396.lo = 92.5; x396.up = 95;
x397.lo = 92.5; x397.up = 95;
x398.lo = 105; x398.up = 109;
x399.lo = 105; x399.up = 109;
x400.lo = 105; x400.up = 109;
x401.lo = 105; x401.up = 109;
x402.lo = 105; x402.up = 109;
x403.lo = 105; x403.up = 109;
x404.up = 1000;
x405.lo = -125; x405.up = 125;
x406.up = 1000;
x407.lo = -125; x407.up = 125;
x408.up = 1000;
x409.lo = -125; x409.up = 125;
x410.up = 1000;
x411.lo = -125; x411.up = 125;
x412.up = 1000;
x413.lo = -125; x413.up = 125;
x414.up = 1000;
x415.lo = -125; x415.up = 125;
x416.up = 1000;
x417.up = 1000;
x418.lo = -100; x418.up = 100;
x419.up = 1000;
x420.up = 1000;
x421.lo = -100; x421.up = 100;
x422.up = 1000;
x423.up = 1000;
x424.lo = -100; x424.up = 100;
x425.up = 1000;
x426.up = 1000;
x427.lo = -100; x427.up = 100;
x428.up = 1000;
x429.up = 1000;
x430.lo = -100; x430.up = 100;
x431.up = 1000;
x432.up = 1000;
x433.lo = -100; x433.up = 100;
x434.up = 1000;
x435.lo = -125; x435.up = 125;
x436.up = 1000;
x437.lo = -125; x437.up = 125;
x438.up = 1000;
x439.lo = -125; x439.up = 125;
x440.up = 1000;
x441.lo = -125; x441.up = 125;
x442.up = 1000;
x443.lo = -125; x443.up = 125;
x444.up = 1000;
x445.lo = -125; x445.up = 125;
x446.fx = 49;
x447.lo = -49; x447.up = 1000;
x448.fx = 49;
x449.lo = -49; x449.up = 1000;
x450.fx = 49;
x451.lo = -49; x451.up = 1000;
x452.fx = 49;
x453.lo = -49; x453.up = 1000;
x454.fx = 49;
x455.lo = -49; x455.up = 1000;
x456.fx = 49;
x457.lo = -49; x457.up = 1000;
x458.lo = -65; x458.up = 1000;
x459.lo = -65; x459.up = 1000;
x460.lo = -65; x460.up = 1000;
x461.lo = -65; x461.up = 1000;
x462.lo = -65; x462.up = 1000;
x463.lo = -65; x463.up = 1000;
x464.lo = -95; x464.up = 1000;
x465.lo = -95; x465.up = 1000;
x466.lo = -95; x466.up = 1000;
x467.lo = -95; x467.up = 1000;
x468.lo = -95; x468.up = 1000;
x469.lo = -95; x469.up = 1000;
x470.lo = 0.2; x470.up = 0.8;
x471.lo = 0.2; x471.up = 0.8;
x472.lo = 0.2; x472.up = 0.8;
x473.lo = 0.2; x473.up = 0.8;
x474.lo = 0.2; x474.up = 0.8;
x475.lo = 0.2; x475.up = 0.8;
x476.lo = 0.2; x476.up = 0.8;
x477.lo = 0.2; x477.up = 0.8;
x478.lo = 0.2; x478.up = 0.8;
x479.lo = 0.2; x479.up = 0.8;
x480.lo = 0.2; x480.up = 0.8;
x481.lo = 0.2; x481.up = 0.8;
x482.lo = 0.2; x482.up = 0.8;
x483.lo = 0.2; x483.up = 0.8;
x484.lo = 0.2; x484.up = 0.8;
x485.lo = 0.2; x485.up = 0.8;
x486.lo = 0.2; x486.up = 0.8;
x487.lo = 0.2; x487.up = 0.8;
x488.lo = 0.25; x488.up = 0.5;
x489.lo = 0.25; x489.up = 0.5;
x490.lo = 0.25; x490.up = 0.5;
x491.lo = 0.25; x491.up = 0.5;
x492.lo = 0.25; x492.up = 0.5;
x493.lo = 0.25; x493.up = 0.5;
x494.lo = 0.25; x494.up = 0.5;
x495.lo = 0.25; x495.up = 0.5;
x496.lo = 0.25; x496.up = 0.5;
x497.lo = 0.25; x497.up = 0.5;
x498.lo = 0.25; x498.up = 0.5;
x499.lo = 0.25; x499.up = 0.5;
x500.lo = 0.4; x500.up = 0.7;
x501.lo = 0.4; x501.up = 0.7;
x502.lo = 0.4; x502.up = 0.7;
x503.lo = 0.4; x503.up = 0.7;
x504.lo = 0.4; x504.up = 0.7;
x505.lo = 0.4; x505.up = 0.7;
x506.lo = 0.4; x506.up = 0.7;
x507.lo = 0.4; x507.up = 0.7;
x508.lo = 0.4; x508.up = 0.7;
x509.lo = 0.4; x509.up = 0.7;
x510.lo = 0.4; x510.up = 0.7;
x511.lo = 0.4; x511.up = 0.7;
x512.lo = 0.24; x512.up = 0.58;
x513.lo = 0.24; x513.up = 0.58;
x514.lo = 0.24; x514.up = 0.58;
x515.lo = 0.24; x515.up = 0.58;
x516.lo = 0.24; x516.up = 0.58;
x517.lo = 0.24; x517.up = 0.58;
x518.lo = 0.24; x518.up = 0.58;
x519.lo = 0.24; x519.up = 0.58;
x520.lo = 0.24; x520.up = 0.58;
x521.lo = 0.24; x521.up = 0.58;
x522.lo = 0.24; x522.up = 0.58;
x523.lo = 0.24; x523.up = 0.58;
x524.lo = 0.6; x524.up = 1;
x525.lo = 0.6; x525.up = 1;
x526.lo = 0.6; x526.up = 1;
x527.lo = 0.6; x527.up = 1;
x528.lo = 0.6; x528.up = 1;
x529.lo = 0.6; x529.up = 1;
x530.lo = 0.8; x530.up = 1;
x531.lo = 0.8; x531.up = 1;
x532.lo = 0.8; x532.up = 1;
x533.lo = 0.8; x533.up = 1;
x534.lo = 0.8; x534.up = 1;
x535.lo = 0.8; x535.up = 1;
x536.lo = 0.85; x536.up = 1;
x537.lo = 0.85; x537.up = 1;
x538.lo = 0.85; x538.up = 1;
x539.lo = 0.85; x539.up = 1;
x540.lo = 0.85; x540.up = 1;
x541.lo = 0.85; x541.up = 1;
x542.lo = 0.7; x542.up = 1;
x543.lo = 0.7; x543.up = 1;
x544.lo = 0.7; x544.up = 1;
x545.lo = 0.7; x545.up = 1;
x546.lo = 0.7; x546.up = 1;
x547.lo = 0.7; x547.up = 1;
x548.lo = 100; x548.up = 1000;
x549.lo = 100; x549.up = 1000;
x550.lo = 100; x550.up = 1000;
x551.lo = 100; x551.up = 1000;
x552.lo = 100; x552.up = 1000;
x553.lo = 100; x553.up = 1000;
x554.up = 54.1717996137183;
x561.up = 54.1717996137183;
x568.up = 54.1717996137183;
x569.up = 54.1717996137183;
x577.up = 54.1717996137183;
x583.up = 54.1717996137183;
x584.up = 54.1717996137183;
x589.up = 54.1717996137183;
x594.up = 54.1717996137183;
x599.up = 54.1717996137183;
x604.up = 54.1717996137183;
x609.up = 54.1717996137183;
x614.up = 54.1717996137183;
x619.up = 54.1717996137183;
x624.up = 54.1717996137183;
x632.up = 54.1717996137183;
x638.up = 54.1717996137183;
x639.up = 54.1717996137183;
x644.up = 93.045051789432;
x649.up = 93.045051789432;
x657.up = 93.045051789432;
x663.up = 93.045051789432;
x664.up = 93.045051789432;
x669.up = 93.045051789432;
x674.up = 93.045051789432;
x679.up = 93.045051789432;
x685.up = 93.045051789432;
x690.up = 93.045051789432;
x694.up = 93.045051789432;
x699.up = 93.045051789432;
x704.up = 112.384987749469;
x709.up = 112.384987749469;
x714.up = 112.384987749469;
x719.up = 112.384987749469;
x724.up = 112.384987749469;
x729.up = 112.384987749469;
x734.up = 112.384987749469;
x739.up = 112.384987749469;
x744.up = 112.384987749469;
x749.up = 112.384987749469;
x754.up = 112.384987749469;
x759.up = 112.384987749469;
x764.up = 42.066542469172;
x769.up = 42.066542469172;
x774.up = 42.066542469172;
x779.up = 42.066542469172;
x784.up = 42.066542469172;
x789.up = 42.066542469172;
x794.up = 42.066542469172;
x799.up = 42.066542469172;
x804.up = 42.066542469172;
x809.up = 42.066542469172;
x814.up = 42.066542469172;
x819.up = 42.066542469172;
x824.up = 25;
x825.up = 25;
x826.up = 25;
x827.up = 25;
x828.up = 25;
x829.up = 25;
x830.up = 25;
x831.up = 25;
x832.up = 25;
x833.up = 25;
x834.up = 25;
x835.up = 25;
x836.up = 25;
x837.up = 25;
x838.up = 25;
x839.up = 25;
x840.up = 25;
x841.up = 25;
x842.up = 0.64;
x843.up = 0.512;
x844.up = 0.64;
x845.up = 0.512;
x846.up = 0.64;
x847.up = 0.512;
x848.up = 0.64;
x849.up = 0.512;
x850.up = 0.64;
x851.up = 0.512;
x852.up = 0.64;
x853.up = 0.512;
x854.up = 0.64;
x855.up = 0.512;
x856.up = 0.64;
x857.up = 0.512;
x858.up = 0.64;
x859.up = 0.512;
x860.up = 0.64;
x861.up = 0.512;
x862.up = 0.64;
x863.up = 0.512;
x864.up = 0.64;
x865.up = 0.512;
x866.up = 0.64;
x867.up = 0.512;
x868.up = 0.64;
x869.up = 0.512;
x870.up = 0.64;
x871.up = 0.512;
x872.up = 0.64;
x873.up = 0.512;
x874.up = 0.64;
x875.up = 0.512;
x876.up = 0.64;
x877.up = 0.512;
x878.up = 0.25;
x879.up = 0.125;
x880.up = 0.25;
x881.up = 0.125;
x882.up = 0.25;
x883.up = 0.125;
x884.up = 0.25;
x885.up = 0.125;
x886.up = 0.25;
x887.up = 0.125;
x888.up = 0.25;
x889.up = 0.125;
x890.up = 0.25;
x891.up = 0.125;
x892.up = 0.25;
x893.up = 0.125;
x894.up = 0.25;
x895.up = 0.125;
x896.up = 0.25;
x897.up = 0.125;
x898.up = 0.25;
x899.up = 0.125;
x900.up = 0.25;
x901.up = 0.125;
x902.up = 0.49;
x903.up = 0.343;
x904.up = 0.49;
x905.up = 0.343;
x906.up = 0.49;
x907.up = 0.343;
x908.up = 0.49;
x909.up = 0.343;
x910.up = 0.49;
x911.up = 0.343;
x912.up = 0.49;
x913.up = 0.343;
x914.up = 0.49;
x915.up = 0.343;
x916.up = 0.49;
x917.up = 0.343;
x918.up = 0.49;
x919.up = 0.343;
x920.up = 0.49;
x921.up = 0.343;
x922.up = 0.49;
x923.up = 0.343;
x924.up = 0.49;
x925.up = 0.343;
x926.up = 0.3364;
x927.up = 0.195112;
x928.up = 0.3364;
x929.up = 0.195112;
x930.up = 0.3364;
x931.up = 0.195112;
x932.up = 0.3364;
x933.up = 0.195112;
x934.up = 0.3364;
x935.up = 0.195112;
x936.up = 0.3364;
x937.up = 0.195112;
x938.up = 0.3364;
x939.up = 0.195112;
x940.up = 0.3364;
x941.up = 0.195112;
x942.up = 0.3364;
x943.up = 0.195112;
x944.up = 0.3364;
x945.up = 0.195112;
x946.up = 0.3364;
x947.up = 0.195112;
x948.up = 0.3364;
x949.up = 0.195112;
x950.lo = 0.36; x950.up = 1;
x951.lo = 0.216; x951.up = 1;
x952.lo = 0.36; x952.up = 1;
x953.lo = 0.216; x953.up = 1;
x954.lo = 0.36; x954.up = 1;
x955.lo = 0.216; x955.up = 1;
x956.lo = 0.36; x956.up = 1;
x957.lo = 0.216; x957.up = 1;
x958.lo = 0.36; x958.up = 1;
x959.lo = 0.216; x959.up = 1;
x960.lo = 0.36; x960.up = 1;
x961.lo = 0.216; x961.up = 1;
x962.lo = 0.64; x962.up = 1;
x963.lo = 0.512; x963.up = 1;
x964.lo = 0.64; x964.up = 1;
x965.lo = 0.512; x965.up = 1;
x966.lo = 0.64; x966.up = 1;
x967.lo = 0.512; x967.up = 1;
x968.lo = 0.64; x968.up = 1;
x969.lo = 0.512; x969.up = 1;
x970.lo = 0.64; x970.up = 1;
x971.lo = 0.512; x971.up = 1;
x972.lo = 0.64; x972.up = 1;
x973.lo = 0.512; x973.up = 1;
x974.lo = 0.7225; x974.up = 1;
x975.lo = 0.614125; x975.up = 1;
x976.lo = 0.7225; x976.up = 1;
x977.lo = 0.614125; x977.up = 1;
x978.lo = 0.7225; x978.up = 1;
x979.lo = 0.614125; x979.up = 1;
x980.lo = 0.7225; x980.up = 1;
x981.lo = 0.614125; x981.up = 1;
x982.lo = 0.7225; x982.up = 1;
x983.lo = 0.614125; x983.up = 1;
x984.lo = 0.7225; x984.up = 1;
x985.lo = 0.614125; x985.up = 1;
x986.lo = 0.49; x986.up = 1;
x987.lo = 0.343; x987.up = 1;
x988.lo = 0.49; x988.up = 1;
x989.lo = 0.343; x989.up = 1;
x990.lo = 0.49; x990.up = 1;
x991.lo = 0.343; x991.up = 1;
x992.lo = 0.49; x992.up = 1;
x993.lo = 0.343; x993.up = 1;
x994.lo = 0.49; x994.up = 1;
x995.lo = 0.343; x995.up = 1;
x996.lo = 0.49; x996.up = 1;
x997.lo = 0.343; x997.up = 1;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f