MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance kriging_peaks-full500
Gaussian process regression for the peaks functions using 500 datapoints. This is the full-space formulation where intermediate variables are defined by additional constraints.
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | -813.97748160 (ANTIGONE) -38.48582412 (BARON) -17.18619825 (LINDO) -9.72539766 (SCIP) |
| Referencesⓘ | Schweidtmann, Artur M., Bongartz, Dominik, Grothe, Daniel, Kerkenhoff, Tim, Lin, Xiaopeng, Najman, Jaromil, and Mitsos, Alexander, Deterministic global optimization with Gaussian processes embedded, Mathematical Programming Computation, 13:3, 2021, 553-581. |
| Applicationⓘ | Kriging |
| Added to libraryⓘ | 11 Dec 2020 |
| Problem typeⓘ | NLP |
| #Variablesⓘ | 1006 |
| #Binary Variablesⓘ | 0 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 502 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1004 |
| #Linear Constraintsⓘ | 4 |
| #Quadratic Constraintsⓘ | 500 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 500 |
| Operands in Gen. Nonlin. Functionsⓘ | exp mul sqrt |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 3007 |
| #Nonlinear Nonzeros in Jacobianⓘ | 1500 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 502 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 502 |
| #Blocks in Hessian of Lagrangianⓘ | 502 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 1 |
| Average blocksize in Hessian of Lagrangianⓘ | 1.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 2.6926e-04 |
| Maximal coefficientⓘ | 4.3247e+01 |
| Infeasibility of initial pointⓘ | 64.96 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1005 1005 0 0 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1007 1007 0 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 3009 1509 1500 0
*
* Solve m using NLP minimizing objvar;
Variables x1,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,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,x998,x999,x1000
,x1001,x1002,x1003,x1004,x1005,x1006,objvar;
Positive Variables 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,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,x998,x999,x1000
,x1001,x1002,x1003,x1004;
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;
e1.. - x1006 + objvar =E= 0;
e2.. 0.166666666666667*x1 - x3 =E= -0.5;
e3.. 0.166666666666667*x2 - x4 =E= -0.5;
e4.. 27.1662452477335*sqr(0.183652485200705 - x3) + 43.2470012918796*sqr(
0.68456692946444 - x4) - x5 =E= 0;
e5.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x5) + 1.66666666666667*x5)*
exp(-2.23606797749979*sqrt(x5)) - x6 =E= 0;
e6.. 27.1662452477335*sqr(0.786475795921235 - x3) + 43.2470012918796*sqr(
0.404706675634759 - x4) - x7 =E= 0;
e7.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x7) + 1.66666666666667*x7)*
exp(-2.23606797749979*sqrt(x7)) - x8 =E= 0;
e8.. 27.1662452477335*sqr(0.608583666321493 - x3) + 43.2470012918796*sqr(
0.916515814577984 - x4) - x9 =E= 0;
e9.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x9) + 1.66666666666667*x9)*
exp(-2.23606797749979*sqrt(x9)) - x10 =E= 0;
e10.. 27.1662452477335*sqr(0.761844385743497 - x3) + 43.2470012918796*sqr(
0.257633179538896 - x4) - x11 =E= 0;
e11.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x11) + 1.66666666666667*x11)
*exp(-2.23606797749979*sqrt(x11)) - x12 =E= 0;
e12.. 27.1662452477335*sqr(0.150356200530002 - x3) + 43.2470012918796*sqr(
0.00787824349653624 - x4) - x13 =E= 0;
e13.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x13) + 1.66666666666667*x13)
*exp(-2.23606797749979*sqrt(x13)) - x14 =E= 0;
e14.. 27.1662452477335*sqr(0.656506582232347 - x3) + 43.2470012918796*sqr(
0.28609675125273 - x4) - x15 =E= 0;
e15.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x15) + 1.66666666666667*x15)
*exp(-2.23606797749979*sqrt(x15)) - x16 =E= 0;
e16.. 27.1662452477335*sqr(0.251407275103391 - x3) + 43.2470012918796*sqr(
0.417746558342423 - x4) - x17 =E= 0;
e17.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x17) + 1.66666666666667*x17)
*exp(-2.23606797749979*sqrt(x17)) - x18 =E= 0;
e18.. 27.1662452477335*sqr(0.497605320226018 - x3) + 43.2470012918796*sqr(
0.978968091716683 - x4) - x19 =E= 0;
e19.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x19) + 1.66666666666667*x19)
*exp(-2.23606797749979*sqrt(x19)) - x20 =E= 0;
e20.. 27.1662452477335*sqr(0.873916538426928 - x3) + 43.2470012918796*sqr(
0.850543762135974 - x4) - x21 =E= 0;
e21.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x21) + 1.66666666666667*x21)
*exp(-2.23606797749979*sqrt(x21)) - x22 =E= 0;
e22.. 27.1662452477335*sqr(0.944409857672799 - x3) + 43.2470012918796*sqr(
0.664693537875234 - x4) - x23 =E= 0;
e23.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x23) + 1.66666666666667*x23)
*exp(-2.23606797749979*sqrt(x23)) - x24 =E= 0;
e24.. 27.1662452477335*sqr(0.187457472409798 - x3) + 43.2470012918796*sqr(
0.406145089088692 - x4) - x25 =E= 0;
e25.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x25) + 1.66666666666667*x25)
*exp(-2.23606797749979*sqrt(x25)) - x26 =E= 0;
e26.. 27.1662452477335*sqr(0.603743193739054 - x3) + 43.2470012918796*sqr(
0.414442612850693 - x4) - x27 =E= 0;
e27.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x27) + 1.66666666666667*x27)
*exp(-2.23606797749979*sqrt(x27)) - x28 =E= 0;
e28.. 27.1662452477335*sqr(0.915926598051896 - x3) + 43.2470012918796*sqr(
0.822214682563776 - x4) - x29 =E= 0;
e29.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x29) + 1.66666666666667*x29)
*exp(-2.23606797749979*sqrt(x29)) - x30 =E= 0;
e30.. 27.1662452477335*sqr(0.219469694152685 - x3) + 43.2470012918796*sqr(
0.305236676308097 - x4) - x31 =E= 0;
e31.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x31) + 1.66666666666667*x31)
*exp(-2.23606797749979*sqrt(x31)) - x32 =E= 0;
e32.. 27.1662452477335*sqr(0.154320747279679 - x3) + 43.2470012918796*sqr(
0.836172121369708 - x4) - x33 =E= 0;
e33.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x33) + 1.66666666666667*x33)
*exp(-2.23606797749979*sqrt(x33)) - x34 =E= 0;
e34.. 27.1662452477335*sqr(0.912771978562679 - x3) + 43.2470012918796*sqr(
0.171968180654227 - x4) - x35 =E= 0;
e35.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x35) + 1.66666666666667*x35)
*exp(-2.23606797749979*sqrt(x35)) - x36 =E= 0;
e36.. 27.1662452477335*sqr(0.818746796180638 - x3) + 43.2470012918796*sqr(
0.0815437717190986 - x4) - x37 =E= 0;
e37.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x37) + 1.66666666666667*x37)
*exp(-2.23606797749979*sqrt(x37)) - x38 =E= 0;
e38.. 27.1662452477335*sqr(0.971108246433276 - x3) + 43.2470012918796*sqr(
0.449283830940968 - x4) - x39 =E= 0;
e39.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x39) + 1.66666666666667*x39)
*exp(-2.23606797749979*sqrt(x39)) - x40 =E= 0;
e40.. 27.1662452477335*sqr(0.753944308039972 - x3) + 43.2470012918796*sqr(
0.606601018158923 - x4) - x41 =E= 0;
e41.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x41) + 1.66666666666667*x41)
*exp(-2.23606797749979*sqrt(x41)) - x42 =E= 0;
e42.. 27.1662452477335*sqr(0.33804173045177 - x3) + 43.2470012918796*sqr(
0.0823656231003914 - x4) - x43 =E= 0;
e43.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x43) + 1.66666666666667*x43)
*exp(-2.23606797749979*sqrt(x43)) - x44 =E= 0;
e44.. 27.1662452477335*sqr(0.076416453419671 - x3) + 43.2470012918796*sqr(
0.419743447359445 - x4) - x45 =E= 0;
e45.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x45) + 1.66666666666667*x45)
*exp(-2.23606797749979*sqrt(x45)) - x46 =E= 0;
e46.. 27.1662452477335*sqr(0.131957854986788 - x3) + 43.2470012918796*sqr(
0.446343444503438 - x4) - x47 =E= 0;
e47.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x47) + 1.66666666666667*x47)
*exp(-2.23606797749979*sqrt(x47)) - x48 =E= 0;
e48.. 27.1662452477335*sqr(0.0208247259576248 - x3) + 43.2470012918796*sqr(
0.0746791212450735 - x4) - x49 =E= 0;
e49.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x49) + 1.66666666666667*x49)
*exp(-2.23606797749979*sqrt(x49)) - x50 =E= 0;
e50.. 27.1662452477335*sqr(0.99516705964048 - x3) + 43.2470012918796*sqr(
0.141442095625899 - x4) - x51 =E= 0;
e51.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x51) + 1.66666666666667*x51)
*exp(-2.23606797749979*sqrt(x51)) - x52 =E= 0;
e52.. 27.1662452477335*sqr(0.141975144840234 - x3) + 43.2470012918796*sqr(
0.0982388044171409 - x4) - x53 =E= 0;
e53.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x53) + 1.66666666666667*x53)
*exp(-2.23606797749979*sqrt(x53)) - x54 =E= 0;
e54.. 27.1662452477335*sqr(0.310013849208795 - x3) + 43.2470012918796*sqr(
0.467836345881901 - x4) - x55 =E= 0;
e55.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x55) + 1.66666666666667*x55)
*exp(-2.23606797749979*sqrt(x55)) - x56 =E= 0;
e56.. 27.1662452477335*sqr(0.449417771877092 - x3) + 43.2470012918796*sqr(
0.372241289734635 - x4) - x57 =E= 0;
e57.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x57) + 1.66666666666667*x57)
*exp(-2.23606797749979*sqrt(x57)) - x58 =E= 0;
e58.. 27.1662452477335*sqr(0.0930698016649184 - x3) + 43.2470012918796*sqr(
0.387311574085592 - x4) - x59 =E= 0;
e59.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x59) + 1.66666666666667*x59)
*exp(-2.23606797749979*sqrt(x59)) - x60 =E= 0;
e60.. 27.1662452477335*sqr(0.0618522964568456 - x3) + 43.2470012918796*sqr(
0.3747495723664 - x4) - x61 =E= 0;
e61.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x61) + 1.66666666666667*x61)
*exp(-2.23606797749979*sqrt(x61)) - x62 =E= 0;
e62.. 27.1662452477335*sqr(0.386678670117226 - x3) + 43.2470012918796*sqr(
0.970950242293043 - x4) - x63 =E= 0;
e63.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x63) + 1.66666666666667*x63)
*exp(-2.23606797749979*sqrt(x63)) - x64 =E= 0;
e64.. 27.1662452477335*sqr(0.295722028133931 - x3) + 43.2470012918796*sqr(
0.637491990403049 - x4) - x65 =E= 0;
e65.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x65) + 1.66666666666667*x65)
*exp(-2.23606797749979*sqrt(x65)) - x66 =E= 0;
e66.. 27.1662452477335*sqr(0.135759954989846 - x3) + 43.2470012918796*sqr(
0.204682882710107 - x4) - x67 =E= 0;
e67.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x67) + 1.66666666666667*x67)
*exp(-2.23606797749979*sqrt(x67)) - x68 =E= 0;
e68.. 27.1662452477335*sqr(0.254285935113972 - x3) + 43.2470012918796*sqr(
0.723125223905211 - x4) - x69 =E= 0;
e69.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x69) + 1.66666666666667*x69)
*exp(-2.23606797749979*sqrt(x69)) - x70 =E= 0;
e70.. 27.1662452477335*sqr(0.601607437010699 - x3) + 43.2470012918796*sqr(
0.298457011086364 - x4) - x71 =E= 0;
e71.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x71) + 1.66666666666667*x71)
*exp(-2.23606797749979*sqrt(x71)) - x72 =E= 0;
e72.. 27.1662452477335*sqr(0.256113240357361 - x3) + 43.2470012918796*sqr(
0.124802168822939 - x4) - x73 =E= 0;
e73.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x73) + 1.66666666666667*x73)
*exp(-2.23606797749979*sqrt(x73)) - x74 =E= 0;
e74.. 27.1662452477335*sqr(0.664851804358187 - x3) + 43.2470012918796*sqr(
0.544854446089391 - x4) - x75 =E= 0;
e75.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x75) + 1.66666666666667*x75)
*exp(-2.23606797749979*sqrt(x75)) - x76 =E= 0;
e76.. 27.1662452477335*sqr(0.252158775370314 - x3) + 43.2470012918796*sqr(
0.984275560124974 - x4) - x77 =E= 0;
e77.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x77) + 1.66666666666667*x77)
*exp(-2.23606797749979*sqrt(x77)) - x78 =E= 0;
e78.. 27.1662452477335*sqr(0.332024345201993 - x3) + 43.2470012918796*sqr(
0.746301138279864 - x4) - x79 =E= 0;
e79.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x79) + 1.66666666666667*x79)
*exp(-2.23606797749979*sqrt(x79)) - x80 =E= 0;
e80.. 27.1662452477335*sqr(0.796351387972379 - x3) + 43.2470012918796*sqr(
0.670484986240268 - x4) - x81 =E= 0;
e81.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x81) + 1.66666666666667*x81)
*exp(-2.23606797749979*sqrt(x81)) - x82 =E= 0;
e82.. 27.1662452477335*sqr(0.965396019579682 - x3) + 43.2470012918796*sqr(
0.212710344410811 - x4) - x83 =E= 0;
e83.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x83) + 1.66666666666667*x83)
*exp(-2.23606797749979*sqrt(x83)) - x84 =E= 0;
e84.. 27.1662452477335*sqr(0.408765689154764 - x3) + 43.2470012918796*sqr(
0.778448194296021 - x4) - x85 =E= 0;
e85.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x85) + 1.66666666666667*x85)
*exp(-2.23606797749979*sqrt(x85)) - x86 =E= 0;
e86.. 27.1662452477335*sqr(0.20424838461479 - x3) + 43.2470012918796*sqr(
0.832616721788055 - x4) - x87 =E= 0;
e87.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x87) + 1.66666666666667*x87)
*exp(-2.23606797749979*sqrt(x87)) - x88 =E= 0;
e88.. 27.1662452477335*sqr(0.899546545717211 - x3) + 43.2470012918796*sqr(
0.783338454659713 - x4) - x89 =E= 0;
e89.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x89) + 1.66666666666667*x89)
*exp(-2.23606797749979*sqrt(x89)) - x90 =E= 0;
e90.. 27.1662452477335*sqr(0.325647845088552 - x3) + 43.2470012918796*sqr(
0.727313925782936 - x4) - x91 =E= 0;
e91.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x91) + 1.66666666666667*x91)
*exp(-2.23606797749979*sqrt(x91)) - x92 =E= 0;
e92.. 27.1662452477335*sqr(0.515822681303706 - x3) + 43.2470012918796*sqr(
0.350660630874685 - x4) - x93 =E= 0;
e93.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x93) + 1.66666666666667*x93)
*exp(-2.23606797749979*sqrt(x93)) - x94 =E= 0;
e94.. 27.1662452477335*sqr(0.922035311044266 - x3) + 43.2470012918796*sqr(
0.255986421077571 - x4) - x95 =E= 0;
e95.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x95) + 1.66666666666667*x95)
*exp(-2.23606797749979*sqrt(x95)) - x96 =E= 0;
e96.. 27.1662452477335*sqr(0.908040975650573 - x3) + 43.2470012918796*sqr(
0.884441670571666 - x4) - x97 =E= 0;
e97.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x97) + 1.66666666666667*x97)
*exp(-2.23606797749979*sqrt(x97)) - x98 =E= 0;
e98.. 27.1662452477335*sqr(0.672087411398601 - x3) + 43.2470012918796*sqr(
0.052435947735033 - x4) - x99 =E= 0;
e99.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x99) + 1.66666666666667*x99)
*exp(-2.23606797749979*sqrt(x99)) - x100 =E= 0;
e100.. 27.1662452477335*sqr(0.727907392335172 - x3) + 43.2470012918796*sqr(
0.961217850582856 - x4) - x101 =E= 0;
e101.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x101) + 1.66666666666667*
x101)*exp(-2.23606797749979*sqrt(x101)) - x102 =E= 0;
e102.. 27.1662452477335*sqr(0.538310847667494 - x3) + 43.2470012918796*sqr(
0.290215190442321 - x4) - x103 =E= 0;
e103.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x103) + 1.66666666666667*
x103)*exp(-2.23606797749979*sqrt(x103)) - x104 =E= 0;
e104.. 27.1662452477335*sqr(0.713859688332083 - x3) + 43.2470012918796*sqr(
0.507212374030649 - x4) - x105 =E= 0;
e105.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x105) + 1.66666666666667*
x105)*exp(-2.23606797749979*sqrt(x105)) - x106 =E= 0;
e106.. 27.1662452477335*sqr(0.459842851450877 - x3) + 43.2470012918796*sqr(
0.58533048941968 - x4) - x107 =E= 0;
e107.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x107) + 1.66666666666667*
x107)*exp(-2.23606797749979*sqrt(x107)) - x108 =E= 0;
e108.. 27.1662452477335*sqr(0.473419870640364 - x3) + 43.2470012918796*sqr(
0.209188207712845 - x4) - x109 =E= 0;
e109.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x109) + 1.66666666666667*
x109)*exp(-2.23606797749979*sqrt(x109)) - x110 =E= 0;
e110.. 27.1662452477335*sqr(0.0591186241379778 - x3) + 43.2470012918796*sqr(
0.234340963485242 - x4) - x111 =E= 0;
e111.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x111) + 1.66666666666667*
x111)*exp(-2.23606797749979*sqrt(x111)) - x112 =E= 0;
e112.. 27.1662452477335*sqr(0.755471267687757 - x3) + 43.2470012918796*sqr(
0.309151859086847 - x4) - x113 =E= 0;
e113.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x113) + 1.66666666666667*
x113)*exp(-2.23606797749979*sqrt(x113)) - x114 =E= 0;
e114.. 27.1662452477335*sqr(0.0121357831768811 - x3) + 43.2470012918796*sqr(
0.827222507923077 - x4) - x115 =E= 0;
e115.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x115) + 1.66666666666667*
x115)*exp(-2.23606797749979*sqrt(x115)) - x116 =E= 0;
e116.. 27.1662452477335*sqr(0.34763270545082 - x3) + 43.2470012918796*sqr(
0.787167152843043 - x4) - x117 =E= 0;
e117.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x117) + 1.66666666666667*
x117)*exp(-2.23606797749979*sqrt(x117)) - x118 =E= 0;
e118.. 27.1662452477335*sqr(0.100377499123647 - x3) + 43.2470012918796*sqr(
0.014710984175838 - x4) - x119 =E= 0;
e119.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x119) + 1.66666666666667*
x119)*exp(-2.23606797749979*sqrt(x119)) - x120 =E= 0;
e120.. 27.1662452477335*sqr(0.14649641568758 - x3) + 43.2470012918796*sqr(
0.866744020452082 - x4) - x121 =E= 0;
e121.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x121) + 1.66666666666667*
x121)*exp(-2.23606797749979*sqrt(x121)) - x122 =E= 0;
e122.. 27.1662452477335*sqr(0.815472185773686 - x3) + 43.2470012918796*sqr(
0.980608576160053 - x4) - x123 =E= 0;
e123.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x123) + 1.66666666666667*
x123)*exp(-2.23606797749979*sqrt(x123)) - x124 =E= 0;
e124.. 27.1662452477335*sqr(0.438861930206338 - x3) + 43.2470012918796*sqr(
0.191079636485073 - x4) - x125 =E= 0;
e125.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x125) + 1.66666666666667*
x125)*exp(-2.23606797749979*sqrt(x125)) - x126 =E= 0;
e126.. 27.1662452477335*sqr(0.402493433896516 - x3) + 43.2470012918796*sqr(
0.999041194361055 - x4) - x127 =E= 0;
e127.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x127) + 1.66666666666667*
x127)*exp(-2.23606797749979*sqrt(x127)) - x128 =E= 0;
e128.. 27.1662452477335*sqr(0.214015655704387 - x3) + 43.2470012918796*sqr(
0.686847973328184 - x4) - x129 =E= 0;
e129.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x129) + 1.66666666666667*
x129)*exp(-2.23606797749979*sqrt(x129)) - x130 =E= 0;
e130.. 27.1662452477335*sqr(0.5446658965589 - x3) + 43.2470012918796*sqr(
0.796066550063488 - x4) - x131 =E= 0;
e131.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x131) + 1.66666666666667*
x131)*exp(-2.23606797749979*sqrt(x131)) - x132 =E= 0;
e132.. 27.1662452477335*sqr(0.716625556275576 - x3) + 43.2470012918796*sqr(
0.99091418860006 - x4) - x133 =E= 0;
e133.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x133) + 1.66666666666667*
x133)*exp(-2.23606797749979*sqrt(x133)) - x134 =E= 0;
e134.. 27.1662452477335*sqr(0.513776882141722 - x3) + 43.2470012918796*sqr(
0.732076518034866 - x4) - x135 =E= 0;
e135.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x135) + 1.66666666666667*
x135)*exp(-2.23606797749979*sqrt(x135)) - x136 =E= 0;
e136.. 27.1662452477335*sqr(0.624145640876195 - x3) + 43.2470012918796*sqr(
0.336856933595761 - x4) - x137 =E= 0;
e137.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x137) + 1.66666666666667*
x137)*exp(-2.23606797749979*sqrt(x137)) - x138 =E= 0;
e138.. 27.1662452477335*sqr(0.733532601353868 - x3) + 43.2470012918796*sqr(
0.432110570749206 - x4) - x139 =E= 0;
e139.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x139) + 1.66666666666667*
x139)*exp(-2.23606797749979*sqrt(x139)) - x140 =E= 0;
e140.. 27.1662452477335*sqr(0.810486328743619 - x3) + 43.2470012918796*sqr(
0.385606043602066 - x4) - x141 =E= 0;
e141.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x141) + 1.66666666666667*
x141)*exp(-2.23606797749979*sqrt(x141)) - x142 =E= 0;
e142.. 27.1662452477335*sqr(0.941310508773789 - x3) + 43.2470012918796*sqr(
0.462883631296753 - x4) - x143 =E= 0;
e143.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x143) + 1.66666666666667*
x143)*exp(-2.23606797749979*sqrt(x143)) - x144 =E= 0;
e144.. 27.1662452477335*sqr(0.83276343719127 - x3) + 43.2470012918796*sqr(
0.576909074499193 - x4) - x145 =E= 0;
e145.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x145) + 1.66666666666667*
x145)*exp(-2.23606797749979*sqrt(x145)) - x146 =E= 0;
e146.. 27.1662452477335*sqr(0.531875329405975 - x3) + 43.2470012918796*sqr(
0.195016142553247 - x4) - x147 =E= 0;
e147.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x147) + 1.66666666666667*
x147)*exp(-2.23606797749979*sqrt(x147)) - x148 =E= 0;
e148.. 27.1662452477335*sqr(0.0222499907796477 - x3) + 43.2470012918796*sqr(
0.830788491453231 - x4) - x149 =E= 0;
e149.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x149) + 1.66666666666667*
x149)*exp(-2.23606797749979*sqrt(x149)) - x150 =E= 0;
e150.. 27.1662452477335*sqr(0.566724272916219 - x3) + 43.2470012918796*sqr(
0.282573032370599 - x4) - x151 =E= 0;
e151.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x151) + 1.66666666666667*
x151)*exp(-2.23606797749979*sqrt(x151)) - x152 =E= 0;
e152.. 27.1662452477335*sqr(0.372935909532222 - x3) + 43.2470012918796*sqr(
0.0218943837396598 - x4) - x153 =E= 0;
e153.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x153) + 1.66666666666667*
x153)*exp(-2.23606797749979*sqrt(x153)) - x154 =E= 0;
e154.. 27.1662452477335*sqr(0.557899836513562 - x3) + 43.2470012918796*sqr(
0.760819410886353 - x4) - x155 =E= 0;
e155.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x155) + 1.66666666666667*
x155)*exp(-2.23606797749979*sqrt(x155)) - x156 =E= 0;
e156.. 27.1662452477335*sqr(0.993872684936563 - x3) + 43.2470012918796*sqr(
0.232823942088463 - x4) - x157 =E= 0;
e157.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x157) + 1.66666666666667*
x157)*exp(-2.23606797749979*sqrt(x157)) - x158 =E= 0;
e158.. 27.1662452477335*sqr(0.117919414214226 - x3) + 43.2470012918796*sqr(
0.0359860675152706 - x4) - x159 =E= 0;
e159.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x159) + 1.66666666666667*
x159)*exp(-2.23606797749979*sqrt(x159)) - x160 =E= 0;
e160.. 27.1662452477335*sqr(0.427596128203038 - x3) + 43.2470012918796*sqr(
0.148189313760995 - x4) - x161 =E= 0;
e161.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x161) + 1.66666666666667*
x161)*exp(-2.23606797749979*sqrt(x161)) - x162 =E= 0;
e162.. 27.1662452477335*sqr(0.820811091301246 - x3) + 43.2470012918796*sqr(
0.98631284197114 - x4) - x163 =E= 0;
e163.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x163) + 1.66666666666667*
x163)*exp(-2.23606797749979*sqrt(x163)) - x164 =E= 0;
e164.. 27.1662452477335*sqr(0.903617650217905 - x3) + 43.2470012918796*sqr(
0.989535443413087 - x4) - x165 =E= 0;
e165.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x165) + 1.66666666666667*
x165)*exp(-2.23606797749979*sqrt(x165)) - x166 =E= 0;
e166.. 27.1662452477335*sqr(0.248711430214781 - x3) + 43.2470012918796*sqr(
0.4015285674916 - x4) - x167 =E= 0;
e167.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x167) + 1.66666666666667*
x167)*exp(-2.23606797749979*sqrt(x167)) - x168 =E= 0;
e168.. 27.1662452477335*sqr(0.299817793775172 - x3) + 43.2470012918796*sqr(
0.881004904360396 - x4) - x169 =E= 0;
e169.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x169) + 1.66666666666667*
x169)*exp(-2.23606797749979*sqrt(x169)) - x170 =E= 0;
e170.. 27.1662452477335*sqr(0.469941608379495 - x3) + 43.2470012918796*sqr(
0.502635146367665 - x4) - x171 =E= 0;
e171.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x171) + 1.66666666666667*
x171)*exp(-2.23606797749979*sqrt(x171)) - x172 =E= 0;
e172.. 27.1662452477335*sqr(0.345365503463943 - x3) + 43.2470012918796*sqr(
0.0134615264415074 - x4) - x173 =E= 0;
e173.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x173) + 1.66666666666667*
x173)*exp(-2.23606797749979*sqrt(x173)) - x174 =E= 0;
e174.. 27.1662452477335*sqr(0.769473001716098 - x3) + 43.2470012918796*sqr(
0.183940162437939 - x4) - x175 =E= 0;
e175.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x175) + 1.66666666666667*
x175)*exp(-2.23606797749979*sqrt(x175)) - x176 =E= 0;
e176.. 27.1662452477335*sqr(0.565609814314036 - x3) + 43.2470012918796*sqr(
0.617503686749111 - x4) - x177 =E= 0;
e177.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x177) + 1.66666666666667*
x177)*exp(-2.23606797749979*sqrt(x177)) - x178 =E= 0;
e178.. 27.1662452477335*sqr(0.30260290220437 - x3) + 43.2470012918796*sqr(
0.187285865918667 - x4) - x179 =E= 0;
e179.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x179) + 1.66666666666667*
x179)*exp(-2.23606797749979*sqrt(x179)) - x180 =E= 0;
e180.. 27.1662452477335*sqr(0.555813954161967 - x3) + 43.2470012918796*sqr(
0.0596695183442622 - x4) - x181 =E= 0;
e181.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x181) + 1.66666666666667*
x181)*exp(-2.23606797749979*sqrt(x181)) - x182 =E= 0;
e182.. 27.1662452477335*sqr(0.972258788314578 - x3) + 43.2470012918796*sqr(
0.498182758680638 - x4) - x183 =E= 0;
e183.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x183) + 1.66666666666667*
x183)*exp(-2.23606797749979*sqrt(x183)) - x184 =E= 0;
e184.. 27.1662452477335*sqr(0.0192254438689531 - x3) + 43.2470012918796*sqr(
0.0383418366738292 - x4) - x185 =E= 0;
e185.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x185) + 1.66666666666667*
x185)*exp(-2.23606797749979*sqrt(x185)) - x186 =E= 0;
e186.. 27.1662452477335*sqr(0.268962634456313 - x3) + 43.2470012918796*sqr(
0.185791322039098 - x4) - x187 =E= 0;
e187.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x187) + 1.66666666666667*
x187)*exp(-2.23606797749979*sqrt(x187)) - x188 =E= 0;
e188.. 27.1662452477335*sqr(0.879330389516435 - x3) + 43.2470012918796*sqr(
0.893880939760532 - x4) - x189 =E= 0;
e189.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x189) + 1.66666666666667*
x189)*exp(-2.23606797749979*sqrt(x189)) - x190 =E= 0;
e190.. 27.1662452477335*sqr(0.863345356074266 - x3) + 43.2470012918796*sqr(
0.161068788490819 - x4) - x191 =E= 0;
e191.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x191) + 1.66666666666667*
x191)*exp(-2.23606797749979*sqrt(x191)) - x192 =E= 0;
e192.. 27.1662452477335*sqr(0.364272685111814 - x3) + 43.2470012918796*sqr(
0.24026334865942 - x4) - x193 =E= 0;
e193.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x193) + 1.66666666666667*
x193)*exp(-2.23606797749979*sqrt(x193)) - x194 =E= 0;
e194.. 27.1662452477335*sqr(0.114477406128738 - x3) + 43.2470012918796*sqr(
0.886293193502461 - x4) - x195 =E= 0;
e195.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x195) + 1.66666666666667*
x195)*exp(-2.23606797749979*sqrt(x195)) - x196 =E= 0;
e196.. 27.1662452477335*sqr(0.569438067322975 - x3) + 43.2470012918796*sqr(
0.646123295822445 - x4) - x197 =E= 0;
e197.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x197) + 1.66666666666667*
x197)*exp(-2.23606797749979*sqrt(x197)) - x198 =E= 0;
e198.. 27.1662452477335*sqr(0.481816799014288 - x3) + 43.2470012918796*sqr(
0.520600261629351 - x4) - x199 =E= 0;
e199.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x199) + 1.66666666666667*
x199)*exp(-2.23606797749979*sqrt(x199)) - x200 =E= 0;
e200.. 27.1662452477335*sqr(0.0564538693868335 - x3) + 43.2470012918796*sqr(
0.539028661659317 - x4) - x201 =E= 0;
e201.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x201) + 1.66666666666667*
x201)*exp(-2.23606797749979*sqrt(x201)) - x202 =E= 0;
e202.. 27.1662452477335*sqr(0.578392812109685 - x3) + 43.2470012918796*sqr(
0.461511161011273 - x4) - x203 =E= 0;
e203.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x203) + 1.66666666666667*
x203)*exp(-2.23606797749979*sqrt(x203)) - x204 =E= 0;
e204.. 27.1662452477335*sqr(0.595151341719405 - x3) + 43.2470012918796*sqr(
0.443715378701748 - x4) - x205 =E= 0;
e205.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x205) + 1.66666666666667*
x205)*exp(-2.23606797749979*sqrt(x205)) - x206 =E= 0;
e206.. 27.1662452477335*sqr(0.856557219403752 - x3) + 43.2470012918796*sqr(
0.62908260759364 - x4) - x207 =E= 0;
e207.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x207) + 1.66666666666667*
x207)*exp(-2.23606797749979*sqrt(x207)) - x208 =E= 0;
e208.. 27.1662452477335*sqr(0.521328784942293 - x3) + 43.2470012918796*sqr(
0.752294950329945 - x4) - x209 =E= 0;
e209.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x209) + 1.66666666666667*
x209)*exp(-2.23606797749979*sqrt(x209)) - x210 =E= 0;
e210.. 27.1662452477335*sqr(0.506827688357949 - x3) + 43.2470012918796*sqr(
0.70635817538814 - x4) - x211 =E= 0;
e211.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x211) + 1.66666666666667*
x211)*exp(-2.23606797749979*sqrt(x211)) - x212 =E= 0;
e212.. 27.1662452477335*sqr(0.724143816628247 - x3) + 43.2470012918796*sqr(
0.508761986256204 - x4) - x213 =E= 0;
e213.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x213) + 1.66666666666667*
x213)*exp(-2.23606797749979*sqrt(x213)) - x214 =E= 0;
e214.. 27.1662452477335*sqr(0.562759297393284 - x3) + 43.2470012918796*sqr(
0.524241892456248 - x4) - x215 =E= 0;
e215.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x215) + 1.66666666666667*
x215)*exp(-2.23606797749979*sqrt(x215)) - x216 =E= 0;
e216.. 27.1662452477335*sqr(0.620718028559438 - x3) + 43.2470012918796*sqr(
0.436257181901862 - x4) - x217 =E= 0;
e217.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x217) + 1.66666666666667*
x217)*exp(-2.23606797749979*sqrt(x217)) - x218 =E= 0;
e218.. 27.1662452477335*sqr(0.148323674464038 - x3) + 43.2470012918796*sqr(
0.858428543832482 - x4) - x219 =E= 0;
e219.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x219) + 1.66666666666667*
x219)*exp(-2.23606797749979*sqrt(x219)) - x220 =E= 0;
e220.. 27.1662452477335*sqr(0.795217573314603 - x3) + 43.2470012918796*sqr(
0.895246869824652 - x4) - x221 =E= 0;
e221.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x221) + 1.66666666666667*
x221)*exp(-2.23606797749979*sqrt(x221)) - x222 =E= 0;
e222.. 27.1662452477335*sqr(0.165243866499069 - x3) + 43.2470012918796*sqr(
0.552085837767957 - x4) - x223 =E= 0;
e223.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x223) + 1.66666666666667*
x223)*exp(-2.23606797749979*sqrt(x223)) - x224 =E= 0;
e224.. 27.1662452477335*sqr(0.739789811694889 - x3) + 43.2470012918796*sqr(
0.196511146370115 - x4) - x225 =E= 0;
e225.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x225) + 1.66666666666667*
x225)*exp(-2.23606797749979*sqrt(x225)) - x226 =E= 0;
e226.. 27.1662452477335*sqr(0.611860563816977 - x3) + 43.2470012918796*sqr(
0.915954185006264 - x4) - x227 =E= 0;
e227.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x227) + 1.66666666666667*
x227)*exp(-2.23606797749979*sqrt(x227)) - x228 =E= 0;
e228.. 27.1662452477335*sqr(0.921212797208927 - x3) + 43.2470012918796*sqr(
0.790538254614314 - x4) - x229 =E= 0;
e229.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x229) + 1.66666666666667*
x229)*exp(-2.23606797749979*sqrt(x229)) - x230 =E= 0;
e230.. 27.1662452477335*sqr(0.234991289598797 - x3) + 43.2470012918796*sqr(
0.193133720407632 - x4) - x231 =E= 0;
e231.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x231) + 1.66666666666667*
x231)*exp(-2.23606797749979*sqrt(x231)) - x232 =E= 0;
e232.. 27.1662452477335*sqr(0.551992165743075 - x3) + 43.2470012918796*sqr(
0.785519073251973 - x4) - x233 =E= 0;
e233.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x233) + 1.66666666666667*
x233)*exp(-2.23606797749979*sqrt(x233)) - x234 =E= 0;
e234.. 27.1662452477335*sqr(0.453763576013631 - x3) + 43.2470012918796*sqr(
0.935304610902056 - x4) - x235 =E= 0;
e235.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x235) + 1.66666666666667*
x235)*exp(-2.23606797749979*sqrt(x235)) - x236 =E= 0;
e236.. 27.1662452477335*sqr(0.371246964402237 - x3) + 43.2470012918796*sqr(
0.954615842778899 - x4) - x237 =E= 0;
e237.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x237) + 1.66666666666667*
x237)*exp(-2.23606797749979*sqrt(x237)) - x238 =E= 0;
e238.. 27.1662452477335*sqr(0.304046834077581 - x3) + 43.2470012918796*sqr(
0.54265301498794 - x4) - x239 =E= 0;
e239.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x239) + 1.66666666666667*
x239)*exp(-2.23606797749979*sqrt(x239)) - x240 =E= 0;
e240.. 27.1662452477335*sqr(0.64038144297023 - x3) + 43.2470012918796*sqr(
0.349385969649891 - x4) - x241 =E= 0;
e241.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x241) + 1.66666666666667*
x241)*exp(-2.23606797749979*sqrt(x241)) - x242 =E= 0;
e242.. 27.1662452477335*sqr(0.784363670357792 - x3) + 43.2470012918796*sqr(
0.605291699626806 - x4) - x243 =E= 0;
e243.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x243) + 1.66666666666667*
x243)*exp(-2.23606797749979*sqrt(x243)) - x244 =E= 0;
e244.. 27.1662452477335*sqr(0.263894716516863 - x3) + 43.2470012918796*sqr(
0.429384948481836 - x4) - x245 =E= 0;
e245.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x245) + 1.66666666666667*
x245)*exp(-2.23606797749979*sqrt(x245)) - x246 =E= 0;
e246.. 27.1662452477335*sqr(0.369332792282748 - x3) + 43.2470012918796*sqr(
0.805699544571825 - x4) - x247 =E= 0;
e247.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x247) + 1.66666666666667*
x247)*exp(-2.23606797749979*sqrt(x247)) - x248 =E= 0;
e248.. 27.1662452477335*sqr(0.175175682821237 - x3) + 43.2470012918796*sqr(
0.439783545359612 - x4) - x249 =E= 0;
e249.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x249) + 1.66666666666667*
x249)*exp(-2.23606797749979*sqrt(x249)) - x250 =E= 0;
e250.. 27.1662452477335*sqr(0.667801307011903 - x3) + 43.2470012918796*sqr(
0.717105410467627 - x4) - x251 =E= 0;
e251.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x251) + 1.66666666666667*
x251)*exp(-2.23606797749979*sqrt(x251)) - x252 =E= 0;
e252.. 27.1662452477335*sqr(0.852607374678458 - x3) + 43.2470012918796*sqr(
0.483155424316485 - x4) - x253 =E= 0;
e253.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x253) + 1.66666666666667*
x253)*exp(-2.23606797749979*sqrt(x253)) - x254 =E= 0;
e254.. 27.1662452477335*sqr(0.585682202167958 - x3) + 43.2470012918796*sqr(
0.275186864752554 - x4) - x255 =E= 0;
e255.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x255) + 1.66666666666667*
x255)*exp(-2.23606797749979*sqrt(x255)) - x256 =E= 0;
e256.. 27.1662452477335*sqr(0.757888077603689 - x3) + 43.2470012918796*sqr(
0.693650851212432 - x4) - x257 =E= 0;
e257.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x257) + 1.66666666666667*
x257)*exp(-2.23606797749979*sqrt(x257)) - x258 =E= 0;
e258.. 27.1662452477335*sqr(0.942635707707255 - x3) + 43.2470012918796*sqr(
0.71480277420857 - x4) - x259 =E= 0;
e259.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x259) + 1.66666666666667*
x259)*exp(-2.23606797749979*sqrt(x259)) - x260 =E= 0;
e260.. 27.1662452477335*sqr(0.715161512384961 - x3) + 43.2470012918796*sqr(
0.66335830146134 - x4) - x261 =E= 0;
e261.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x261) + 1.66666666666667*
x261)*exp(-2.23606797749979*sqrt(x261)) - x262 =E= 0;
e262.. 27.1662452477335*sqr(0.649935353030602 - x3) + 43.2470012918796*sqr(
0.870883219944924 - x4) - x263 =E= 0;
e263.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x263) + 1.66666666666667*
x263)*exp(-2.23606797749979*sqrt(x263)) - x264 =E= 0;
e264.. 27.1662452477335*sqr(0.728370213677243 - x3) + 43.2470012918796*sqr(
0.00112214600593622 - x4) - x265 =E= 0;
e265.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x265) + 1.66666666666667*
x265)*exp(-2.23606797749979*sqrt(x265)) - x266 =E= 0;
e266.. 27.1662452477335*sqr(0.845198008291997 - x3) + 43.2470012918796*sqr(
0.493985861252937 - x4) - x267 =E= 0;
e267.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x267) + 1.66666666666667*
x267)*exp(-2.23606797749979*sqrt(x267)) - x268 =E= 0;
e268.. 27.1662452477335*sqr(0.540765043763646 - x3) + 43.2470012918796*sqr(
0.045374476643155 - x4) - x269 =E= 0;
e269.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x269) + 1.66666666666667*
x269)*exp(-2.23606797749979*sqrt(x269)) - x270 =E= 0;
e270.. 27.1662452477335*sqr(0.777312372402208 - x3) + 43.2470012918796*sqr(
0.280616756507216 - x4) - x271 =E= 0;
e271.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x271) + 1.66666666666667*
x271)*exp(-2.23606797749979*sqrt(x271)) - x272 =E= 0;
e272.. 27.1662452477335*sqr(0.348273202440823 - x3) + 43.2470012918796*sqr(
0.816193453300935 - x4) - x273 =E= 0;
e273.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x273) + 1.66666666666667*
x273)*exp(-2.23606797749979*sqrt(x273)) - x274 =E= 0;
e274.. 27.1662452477335*sqr(0.577967435066047 - x3) + 43.2470012918796*sqr(
0.430481025778646 - x4) - x275 =E= 0;
e275.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x275) + 1.66666666666667*
x275)*exp(-2.23606797749979*sqrt(x275)) - x276 =E= 0;
e276.. 27.1662452477335*sqr(0.959875154510474 - x3) + 43.2470012918796*sqr(
0.152911093123856 - x4) - x277 =E= 0;
e277.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x277) + 1.66666666666667*
x277)*exp(-2.23606797749979*sqrt(x277)) - x278 =E= 0;
e278.. 27.1662452477335*sqr(0.0163671006712623 - x3) + 43.2470012918796*sqr(
0.929150351776175 - x4) - x279 =E= 0;
e279.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x279) + 1.66666666666667*
x279)*exp(-2.23606797749979*sqrt(x279)) - x280 =E= 0;
e280.. 27.1662452477335*sqr(0.275647164448535 - x3) + 43.2470012918796*sqr(
0.20620824534874 - x4) - x281 =E= 0;
e281.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x281) + 1.66666666666667*
x281)*exp(-2.23606797749979*sqrt(x281)) - x282 =E= 0;
e282.. 27.1662452477335*sqr(0.335079666294746 - x3) + 43.2470012918796*sqr(
0.307055504789396 - x4) - x283 =E= 0;
e283.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x283) + 1.66666666666667*
x283)*exp(-2.23606797749979*sqrt(x283)) - x284 =E= 0;
e284.. 27.1662452477335*sqr(0.296312582754328 - x3) + 43.2470012918796*sqr(
0.902622225204753 - x4) - x285 =E= 0;
e285.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x285) + 1.66666666666667*
x285)*exp(-2.23606797749979*sqrt(x285)) - x286 =E= 0;
e286.. 27.1662452477335*sqr(0.936969005890565 - x3) + 43.2470012918796*sqr(
0.814700713356089 - x4) - x287 =E= 0;
e287.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x287) + 1.66666666666667*
x287)*exp(-2.23606797749979*sqrt(x287)) - x288 =E= 0;
e288.. 27.1662452477335*sqr(0.0544614895513053 - x3) + 43.2470012918796*sqr(
0.933185549356979 - x4) - x289 =E= 0;
e289.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x289) + 1.66666666666667*
x289)*exp(-2.23606797749979*sqrt(x289)) - x290 =E= 0;
e290.. 27.1662452477335*sqr(0.273507670402924 - x3) + 43.2470012918796*sqr(
0.175971738636836 - x4) - x291 =E= 0;
e291.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x291) + 1.66666666666667*
x291)*exp(-2.23606797749979*sqrt(x291)) - x292 =E= 0;
e292.. 27.1662452477335*sqr(0.700835844756267 - x3) + 43.2470012918796*sqr(
0.177122816530364 - x4) - x293 =E= 0;
e293.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x293) + 1.66666666666667*
x293)*exp(-2.23606797749979*sqrt(x293)) - x294 =E= 0;
e294.. 27.1662452477335*sqr(0.799426678922976 - x3) + 43.2470012918796*sqr(
0.139593880812231 - x4) - x295 =E= 0;
e295.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x295) + 1.66666666666667*
x295)*exp(-2.23606797749979*sqrt(x295)) - x296 =E= 0;
e296.. 27.1662452477335*sqr(0.855965026843837 - x3) + 43.2470012918796*sqr(
0.0166485262184145 - x4) - x297 =E= 0;
e297.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x297) + 1.66666666666667*
x297)*exp(-2.23606797749979*sqrt(x297)) - x298 =E= 0;
e298.. 27.1662452477335*sqr(0.59127982606034 - x3) + 43.2470012918796*sqr(
0.215247436631823 - x4) - x299 =E= 0;
e299.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x299) + 1.66666666666667*
x299)*exp(-2.23606797749979*sqrt(x299)) - x300 =E= 0;
e300.. 27.1662452477335*sqr(0.420535718865039 - x3) + 43.2470012918796*sqr(
0.762371211458551 - x4) - x301 =E= 0;
e301.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x301) + 1.66666666666667*
x301)*exp(-2.23606797749979*sqrt(x301)) - x302 =E= 0;
e302.. 27.1662452477335*sqr(0.471497899542075 - x3) + 43.2470012918796*sqr(
0.992025900320199 - x4) - x303 =E= 0;
e303.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x303) + 1.66666666666667*
x303)*exp(-2.23606797749979*sqrt(x303)) - x304 =E= 0;
e304.. 27.1662452477335*sqr(0.173291271753923 - x3) + 43.2470012918796*sqr(
0.724216993979036 - x4) - x305 =E= 0;
e305.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x305) + 1.66666666666667*
x305)*exp(-2.23606797749979*sqrt(x305)) - x306 =E= 0;
e306.. 27.1662452477335*sqr(0.653892894090989 - x3) + 43.2470012918796*sqr(
0.24827071046292 - x4) - x307 =E= 0;
e307.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x307) + 1.66666666666667*
x307)*exp(-2.23606797749979*sqrt(x307)) - x308 =E= 0;
e308.. 27.1662452477335*sqr(0.910706484648936 - x3) + 43.2470012918796*sqr(
0.105476230816108 - x4) - x309 =E= 0;
e309.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x309) + 1.66666666666667*
x309)*exp(-2.23606797749979*sqrt(x309)) - x310 =E= 0;
e310.. 27.1662452477335*sqr(0.26043106852776 - x3) + 43.2470012918796*sqr(
0.294846078324937 - x4) - x311 =E= 0;
e311.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x311) + 1.66666666666667*
x311)*exp(-2.23606797749979*sqrt(x311)) - x312 =E= 0;
e312.. 27.1662452477335*sqr(0.558039767505835 - x3) + 43.2470012918796*sqr(
0.402237160885745 - x4) - x313 =E= 0;
e313.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x313) + 1.66666666666667*
x313)*exp(-2.23606797749979*sqrt(x313)) - x314 =E= 0;
e314.. 27.1662452477335*sqr(0.474752698951951 - x3) + 43.2470012918796*sqr(
0.316203445591465 - x4) - x315 =E= 0;
e315.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x315) + 1.66666666666667*
x315)*exp(-2.23606797749979*sqrt(x315)) - x316 =E= 0;
e316.. 27.1662452477335*sqr(0.478622302065748 - x3) + 43.2470012918796*sqr(
0.361135341222096 - x4) - x317 =E= 0;
e317.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x317) + 1.66666666666667*
x317)*exp(-2.23606797749979*sqrt(x317)) - x318 =E= 0;
e318.. 27.1662452477335*sqr(0.216318233303074 - x3) + 43.2470012918796*sqr(
0.36237217738626 - x4) - x319 =E= 0;
e319.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x319) + 1.66666666666667*
x319)*exp(-2.23606797749979*sqrt(x319)) - x320 =E= 0;
e320.. 27.1662452477335*sqr(0.952745612250388 - x3) + 43.2470012918796*sqr(
0.848579866804926 - x4) - x321 =E= 0;
e321.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x321) + 1.66666666666667*
x321)*exp(-2.23606797749979*sqrt(x321)) - x322 =E= 0;
e322.. 27.1662452477335*sqr(0.259456917012833 - x3) + 43.2470012918796*sqr(
0.631646639688416 - x4) - x323 =E= 0;
e323.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x323) + 1.66666666666667*
x323)*exp(-2.23606797749979*sqrt(x323)) - x324 =E= 0;
e324.. 27.1662452477335*sqr(0.477012058392793 - x3) + 43.2470012918796*sqr(
0.00397113633590251 - x4) - x325 =E= 0;
e325.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x325) + 1.66666666666667*
x325)*exp(-2.23606797749979*sqrt(x325)) - x326 =E= 0;
e326.. 27.1662452477335*sqr(0.462675121510908 - x3) + 43.2470012918796*sqr(
0.469201534403585 - x4) - x327 =E= 0;
e327.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x327) + 1.66666666666667*
x327)*exp(-2.23606797749979*sqrt(x327)) - x328 =E= 0;
e328.. 27.1662452477335*sqr(0.986146208645253 - x3) + 43.2470012918796*sqr(
0.314274499452602 - x4) - x329 =E= 0;
e329.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x329) + 1.66666666666667*
x329)*exp(-2.23606797749979*sqrt(x329)) - x330 =E= 0;
e330.. 27.1662452477335*sqr(0.979855665815474 - x3) + 43.2470012918796*sqr(
0.479367203072158 - x4) - x331 =E= 0;
e331.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x331) + 1.66666666666667*
x331)*exp(-2.23606797749979*sqrt(x331)) - x332 =E= 0;
e332.. 27.1662452477335*sqr(0.704423998930597 - x3) + 43.2470012918796*sqr(
0.276493931559118 - x4) - x333 =E= 0;
e333.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x333) + 1.66666666666667*
x333)*exp(-2.23606797749979*sqrt(x333)) - x334 =E= 0;
e334.. 27.1662452477335*sqr(0.43703175866521 - x3) + 43.2470012918796*sqr(
0.803065624120103 - x4) - x335 =E= 0;
e335.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x335) + 1.66666666666667*
x335)*exp(-2.23606797749979*sqrt(x335)) - x336 =E= 0;
e336.. 27.1662452477335*sqr(0.858565526138378 - x3) + 43.2470012918796*sqr(
0.134026773542552 - x4) - x337 =E= 0;
e337.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x337) + 1.66666666666667*
x337)*exp(-2.23606797749979*sqrt(x337)) - x338 =E= 0;
e338.. 27.1662452477335*sqr(0.638144772896727 - x3) + 43.2470012918796*sqr(
0.423794727395651 - x4) - x339 =E= 0;
e339.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x339) + 1.66666666666667*
x339)*exp(-2.23606797749979*sqrt(x339)) - x340 =E= 0;
e340.. 27.1662452477335*sqr(0.104196134161399 - x3) + 43.2470012918796*sqr(
0.863801544198963 - x4) - x341 =E= 0;
e341.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x341) + 1.66666666666667*
x341)*exp(-2.23606797749979*sqrt(x341)) - x342 =E= 0;
e342.. 27.1662452477335*sqr(0.82444736041133 - x3) + 43.2470012918796*sqr(
0.0697898962375022 - x4) - x343 =E= 0;
e343.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x343) + 1.66666666666667*
x343)*exp(-2.23606797749979*sqrt(x343)) - x344 =E= 0;
e344.. 27.1662452477335*sqr(0.301136247523561 - x3) + 43.2470012918796*sqr(
0.427463491003253 - x4) - x345 =E= 0;
e345.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x345) + 1.66666666666667*
x345)*exp(-2.23606797749979*sqrt(x345)) - x346 =E= 0;
e346.. 27.1662452477335*sqr(0.284271347373233 - x3) + 43.2470012918796*sqr(
0.49022067696669 - x4) - x347 =E= 0;
e347.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x347) + 1.66666666666667*
x347)*exp(-2.23606797749979*sqrt(x347)) - x348 =E= 0;
e348.. 27.1662452477335*sqr(0.318511280495254 - x3) + 43.2470012918796*sqr(
0.321966209680753 - x4) - x349 =E= 0;
e349.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x349) + 1.66666666666667*
x349)*exp(-2.23606797749979*sqrt(x349)) - x350 =E= 0;
e350.. 27.1662452477335*sqr(0.206091408713884 - x3) + 43.2470012918796*sqr(
0.982737377219478 - x4) - x351 =E= 0;
e351.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x351) + 1.66666666666667*
x351)*exp(-2.23606797749979*sqrt(x351)) - x352 =E= 0;
e352.. 27.1662452477335*sqr(0.826650685532364 - x3) + 43.2470012918796*sqr(
0.0437219202670525 - x4) - x353 =E= 0;
e353.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x353) + 1.66666666666667*
x353)*exp(-2.23606797749979*sqrt(x353)) - x354 =E= 0;
e354.. 27.1662452477335*sqr(0.606183169402709 - x3) + 43.2470012918796*sqr(
0.962048913770907 - x4) - x355 =E= 0;
e355.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x355) + 1.66666666666667*
x355)*exp(-2.23606797749979*sqrt(x355)) - x356 =E= 0;
e356.. 27.1662452477335*sqr(0.0495441224363705 - x3) + 43.2470012918796*sqr(
0.968125548919938 - x4) - x357 =E= 0;
e357.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x357) + 1.66666666666667*
x357)*exp(-2.23606797749979*sqrt(x357)) - x358 =E= 0;
e358.. 27.1662452477335*sqr(0.221878079023579 - x3) + 43.2470012918796*sqr(
0.0918248606000134 - x4) - x359 =E= 0;
e359.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x359) + 1.66666666666667*
x359)*exp(-2.23606797749979*sqrt(x359)) - x360 =E= 0;
e360.. 27.1662452477335*sqr(0.846835466252815 - x3) + 43.2470012918796*sqr(
0.51082939088223 - x4) - x361 =E= 0;
e361.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x361) + 1.66666666666667*
x361)*exp(-2.23606797749979*sqrt(x361)) - x362 =E= 0;
e362.. 27.1662452477335*sqr(0.988014474994297 - x3) + 43.2470012918796*sqr(
0.00920920124073743 - x4) - x363 =E= 0;
e363.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x363) + 1.66666666666667*
x363)*exp(-2.23606797749979*sqrt(x363)) - x364 =E= 0;
e364.. 27.1662452477335*sqr(0.505889021616253 - x3) + 43.2470012918796*sqr(
0.639437836062522 - x4) - x365 =E= 0;
e365.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x365) + 1.66666666666667*
x365)*exp(-2.23606797749979*sqrt(x365)) - x366 =E= 0;
e366.. 27.1662452477335*sqr(0.27956390274311 - x3) + 43.2470012918796*sqr(
0.942181680131765 - x4) - x367 =E= 0;
e367.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x367) + 1.66666666666667*
x367)*exp(-2.23606797749979*sqrt(x367)) - x368 =E= 0;
e368.. 27.1662452477335*sqr(0.145566714184432 - x3) + 43.2470012918796*sqr(
0.694528457662206 - x4) - x369 =E= 0;
e369.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x369) + 1.66666666666667*
x369)*exp(-2.23606797749979*sqrt(x369)) - x370 =E= 0;
e370.. 27.1662452477335*sqr(0.549954152741559 - x3) + 43.2470012918796*sqr(
0.0401854982149228 - x4) - x371 =E= 0;
e371.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x371) + 1.66666666666667*
x371)*exp(-2.23606797749979*sqrt(x371)) - x372 =E= 0;
e372.. 27.1662452477335*sqr(0.518023456863307 - x3) + 43.2470012918796*sqr(
0.441049929891755 - x4) - x373 =E= 0;
e373.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x373) + 1.66666666666667*
x373)*exp(-2.23606797749979*sqrt(x373)) - x374 =E= 0;
e374.. 27.1662452477335*sqr(0.0823988327701669 - x3) + 43.2470012918796*sqr(
0.356520499260329 - x4) - x375 =E= 0;
e375.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x375) + 1.66666666666667*
x375)*exp(-2.23606797749979*sqrt(x375)) - x376 =E= 0;
e376.. 27.1662452477335*sqr(0.244203205192769 - x3) + 43.2470012918796*sqr(
0.526080673054304 - x4) - x377 =E= 0;
e377.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x377) + 1.66666666666667*
x377)*exp(-2.23606797749979*sqrt(x377)) - x378 =E= 0;
e378.. 27.1662452477335*sqr(0.166140522912918 - x3) + 43.2470012918796*sqr(
0.750398252217813 - x4) - x379 =E= 0;
e379.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x379) + 1.66666666666667*
x379)*exp(-2.23606797749979*sqrt(x379)) - x380 =E= 0;
e380.. 27.1662452477335*sqr(0.528718934952088 - x3) + 43.2470012918796*sqr(
0.055465885968281 - x4) - x381 =E= 0;
e381.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x381) + 1.66666666666667*
x381)*exp(-2.23606797749979*sqrt(x381)) - x382 =E= 0;
e382.. 27.1662452477335*sqr(0.527799029070436 - x3) + 43.2470012918796*sqr(
0.265103758744146 - x4) - x383 =E= 0;
e383.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x383) + 1.66666666666667*
x383)*exp(-2.23606797749979*sqrt(x383)) - x384 =E= 0;
e384.. 27.1662452477335*sqr(0.107587788377094 - x3) + 43.2470012918796*sqr(
0.3530409920687 - x4) - x385 =E= 0;
e385.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x385) + 1.66666666666667*
x385)*exp(-2.23606797749979*sqrt(x385)) - x386 =E= 0;
e386.. 27.1662452477335*sqr(0.735884130780476 - x3) + 43.2470012918796*sqr(
0.87652177907895 - x4) - x387 =E= 0;
e387.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x387) + 1.66666666666667*
x387)*exp(-2.23606797749979*sqrt(x387)) - x388 =E= 0;
e388.. 27.1662452477335*sqr(0.946682432705743 - x3) + 43.2470012918796*sqr(
0.549327523391149 - x4) - x389 =E= 0;
e389.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x389) + 1.66666666666667*
x389)*exp(-2.23606797749979*sqrt(x389)) - x390 =E= 0;
e390.. 27.1662452477335*sqr(0.0104969733140681 - x3) + 43.2470012918796*sqr(
0.0734617807016819 - x4) - x391 =E= 0;
e391.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x391) + 1.66666666666667*
x391)*exp(-2.23606797749979*sqrt(x391)) - x392 =E= 0;
e392.. 27.1662452477335*sqr(0.934616248685912 - x3) + 43.2470012918796*sqr(
0.976376020431336 - x4) - x393 =E= 0;
e393.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x393) + 1.66666666666667*
x393)*exp(-2.23606797749979*sqrt(x393)) - x394 =E= 0;
e394.. 27.1662452477335*sqr(0.949826676490133 - x3) + 43.2470012918796*sqr(
0.574028968366202 - x4) - x395 =E= 0;
e395.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x395) + 1.66666666666667*
x395)*exp(-2.23606797749979*sqrt(x395)) - x396 =E= 0;
e396.. 27.1662452477335*sqr(0.688468361051684 - x3) + 43.2470012918796*sqr(
0.0468741204959571 - x4) - x397 =E= 0;
e397.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x397) + 1.66666666666667*
x397)*exp(-2.23606797749979*sqrt(x397)) - x398 =E= 0;
e398.. 27.1662452477335*sqr(0.199277849268864 - x3) + 43.2470012918796*sqr(
0.0966960667608476 - x4) - x399 =E= 0;
e399.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x399) + 1.66666666666667*
x399)*exp(-2.23606797749979*sqrt(x399)) - x400 =E= 0;
e400.. 27.1662452477335*sqr(0.465980043839113 - x3) + 43.2470012918796*sqr(
0.223980752882776 - x4) - x401 =E= 0;
e401.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x401) + 1.66666666666667*
x401)*exp(-2.23606797749979*sqrt(x401)) - x402 =E= 0;
e402.. 27.1662452477335*sqr(0.883298151337227 - x3) + 43.2470012918796*sqr(
0.475864902536406 - x4) - x403 =E= 0;
e403.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x403) + 1.66666666666667*
x403)*exp(-2.23606797749979*sqrt(x403)) - x404 =E= 0;
e404.. 27.1662452477335*sqr(0.991491144924417 - x3) + 43.2470012918796*sqr(
0.904154458834397 - x4) - x405 =E= 0;
e405.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x405) + 1.66666666666667*
x405)*exp(-2.23606797749979*sqrt(x405)) - x406 =E= 0;
e406.. 27.1662452477335*sqr(0.644393739296412 - x3) + 43.2470012918796*sqr(
0.0312646374831108 - x4) - x407 =E= 0;
e407.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x407) + 1.66666666666667*
x407)*exp(-2.23606797749979*sqrt(x407)) - x408 =E= 0;
e408.. 27.1662452477335*sqr(0.869804096137211 - x3) + 43.2470012918796*sqr(
0.591958793761463 - x4) - x409 =E= 0;
e409.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x409) + 1.66666666666667*
x409)*exp(-2.23606797749979*sqrt(x409)) - x410 =E= 0;
e410.. 27.1662452477335*sqr(0.589784607743831 - x3) + 43.2470012918796*sqr(
0.445466655687206 - x4) - x411 =E= 0;
e411.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x411) + 1.66666666666667*
x411)*exp(-2.23606797749979*sqrt(x411)) - x412 =E= 0;
e412.. 27.1662452477335*sqr(0.77069295985799 - x3) + 43.2470012918796*sqr(
0.130973937442517 - x4) - x413 =E= 0;
e413.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x413) + 1.66666666666667*
x413)*exp(-2.23606797749979*sqrt(x413)) - x414 =E= 0;
e414.. 27.1662452477335*sqr(0.871078186469935 - x3) + 43.2470012918796*sqr(
0.676148781688532 - x4) - x415 =E= 0;
e415.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x415) + 1.66666666666667*
x415)*exp(-2.23606797749979*sqrt(x415)) - x416 =E= 0;
e416.. 27.1662452477335*sqr(0.817382469558665 - x3) + 43.2470012918796*sqr(
0.673403102821192 - x4) - x417 =E= 0;
e417.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x417) + 1.66666666666667*
x417)*exp(-2.23606797749979*sqrt(x417)) - x418 =E= 0;
e418.. 27.1662452477335*sqr(0.766567304615659 - x3) + 43.2470012918796*sqr(
0.856928255601136 - x4) - x419 =E= 0;
e419.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x419) + 1.66666666666667*
x419)*exp(-2.23606797749979*sqrt(x419)) - x420 =E= 0;
e420.. 27.1662452477335*sqr(0.394204184272869 - x3) + 43.2470012918796*sqr(
0.65462898853249 - x4) - x421 =E= 0;
e421.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x421) + 1.66666666666667*
x421)*exp(-2.23606797749979*sqrt(x421)) - x422 =E= 0;
e422.. 27.1662452477335*sqr(0.321384776712883 - x3) + 43.2470012918796*sqr(
0.650633251551657 - x4) - x423 =E= 0;
e423.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x423) + 1.66666666666667*
x423)*exp(-2.23606797749979*sqrt(x423)) - x424 =E= 0;
e424.. 27.1662452477335*sqr(0.34247565040626 - x3) + 43.2470012918796*sqr(
0.35887755446119 - x4) - x425 =E= 0;
e425.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x425) + 1.66666666666667*
x425)*exp(-2.23606797749979*sqrt(x425)) - x426 =E= 0;
e426.. 27.1662452477335*sqr(0.895811177818772 - x3) + 43.2470012918796*sqr(
0.296738213767182 - x4) - x427 =E= 0;
e427.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x427) + 1.66666666666667*
x427)*exp(-2.23606797749979*sqrt(x427)) - x428 =E= 0;
e428.. 27.1662452477335*sqr(0.905938669701046 - x3) + 43.2470012918796*sqr(
0.253682757482066 - x4) - x429 =E= 0;
e429.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x429) + 1.66666666666667*
x429)*exp(-2.23606797749979*sqrt(x429)) - x430 =E= 0;
e430.. 27.1662452477335*sqr(0.779304400945227 - x3) + 43.2470012918796*sqr(
0.756003031204417 - x4) - x431 =E= 0;
e431.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x431) + 1.66666666666667*
x431)*exp(-2.23606797749979*sqrt(x431)) - x432 =E= 0;
e432.. 27.1662452477335*sqr(0.209799331765466 - x3) + 43.2470012918796*sqr(
0.741504936428239 - x4) - x433 =E= 0;
e433.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x433) + 1.66666666666667*
x433)*exp(-2.23606797749979*sqrt(x433)) - x434 =E= 0;
e434.. 27.1662452477335*sqr(0.132800615378187 - x3) + 43.2470012918796*sqr(
0.623502821139164 - x4) - x435 =E= 0;
e435.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x435) + 1.66666666666667*
x435)*exp(-2.23606797749979*sqrt(x435)) - x436 =E= 0;
e436.. 27.1662452477335*sqr(0.380672712097024 - x3) + 43.2470012918796*sqr(
0.770226855748489 - x4) - x437 =E= 0;
e437.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x437) + 1.66666666666667*
x437)*exp(-2.23606797749979*sqrt(x437)) - x438 =E= 0;
e438.. 27.1662452477335*sqr(0.288182037356591 - x3) + 43.2470012918796*sqr(
0.566959199224789 - x4) - x439 =E= 0;
e439.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x439) + 1.66666666666667*
x439)*exp(-2.23606797749979*sqrt(x439)) - x440 =E= 0;
e440.. 27.1662452477335*sqr(0.326536832040042 - x3) + 43.2470012918796*sqr(
0.74518732520253 - x4) - x441 =E= 0;
e441.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x441) + 1.66666666666667*
x441)*exp(-2.23606797749979*sqrt(x441)) - x442 =E= 0;
e442.. 27.1662452477335*sqr(0.642916347735475 - x3) + 43.2470012918796*sqr(
0.517871196266238 - x4) - x443 =E= 0;
e443.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x443) + 1.66666666666667*
x443)*exp(-2.23606797749979*sqrt(x443)) - x444 =E= 0;
e444.. 27.1662452477335*sqr(0.353310712964055 - x3) + 43.2470012918796*sqr(
0.221166973580173 - x4) - x445 =E= 0;
e445.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x445) + 1.66666666666667*
x445)*exp(-2.23606797749979*sqrt(x445)) - x446 =E= 0;
e446.. 27.1662452477335*sqr(0.802137007941803 - x3) + 43.2470012918796*sqr(
0.0632412988355268 - x4) - x447 =E= 0;
e447.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x447) + 1.66666666666667*
x447)*exp(-2.23606797749979*sqrt(x447)) - x448 =E= 0;
e448.. 27.1662452477335*sqr(0.119810151351126 - x3) + 43.2470012918796*sqr(
0.632410360207739 - x4) - x449 =E= 0;
e449.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x449) + 1.66666666666667*
x449)*exp(-2.23606797749979*sqrt(x449)) - x450 =E= 0;
e450.. 27.1662452477335*sqr(0.163386559007176 - x3) + 43.2470012918796*sqr(
0.450344231435616 - x4) - x451 =E= 0;
e451.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x451) + 1.66666666666667*
x451)*exp(-2.23606797749979*sqrt(x451)) - x452 =E= 0;
e452.. 27.1662452477335*sqr(0.361455525689377 - x3) + 43.2470012918796*sqr(
0.66860500386701 - x4) - x453 =E= 0;
e453.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x453) + 1.66666666666667*
x453)*exp(-2.23606797749979*sqrt(x453)) - x454 =E= 0;
e454.. 27.1662452477335*sqr(0.0452152219132782 - x3) + 43.2470012918796*sqr(
0.459692094734438 - x4) - x455 =E= 0;
e455.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x455) + 1.66666666666667*
x455)*exp(-2.23606797749979*sqrt(x455)) - x456 =E= 0;
e456.. 27.1662452477335*sqr(0.792327806739474 - x3) + 43.2470012918796*sqr(
0.378257849550379 - x4) - x457 =E= 0;
e457.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x457) + 1.66666666666667*
x457)*exp(-2.23606797749979*sqrt(x457)) - x458 =E= 0;
e458.. 27.1662452477335*sqr(0.998464444038995 - x3) + 43.2470012918796*sqr(
0.84268949696127 - x4) - x459 =E= 0;
e459.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x459) + 1.66666666666667*
x459)*exp(-2.23606797749979*sqrt(x459)) - x460 =E= 0;
e460.. 27.1662452477335*sqr(0.241069753545723 - x3) + 43.2470012918796*sqr(
0.600454904031497 - x4) - x461 =E= 0;
e461.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x461) + 1.66666666666667*
x461)*exp(-2.23606797749979*sqrt(x461)) - x462 =E= 0;
e462.. 27.1662452477335*sqr(0.632318791559464 - x3) + 43.2470012918796*sqr(
0.103110494817467 - x4) - x463 =E= 0;
e463.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x463) + 1.66666666666667*
x463)*exp(-2.23606797749979*sqrt(x463)) - x464 =E= 0;
e464.. 27.1662452477335*sqr(0.835044067916866 - x3) + 43.2470012918796*sqr(
0.322550041670397 - x4) - x465 =E= 0;
e465.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x465) + 1.66666666666667*
x465)*exp(-2.23606797749979*sqrt(x465)) - x466 =E= 0;
e466.. 27.1662452477335*sqr(0.271304648747655 - x3) + 43.2470012918796*sqr(
0.559295790890994 - x4) - x467 =E= 0;
e467.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x467) + 1.66666666666667*
x467)*exp(-2.23606797749979*sqrt(x467)) - x468 =E= 0;
e468.. 27.1662452477335*sqr(0.0728991830157931 - x3) + 43.2470012918796*sqr(
0.381467758636346 - x4) - x469 =E= 0;
e469.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x469) + 1.66666666666667*
x469)*exp(-2.23606797749979*sqrt(x469)) - x470 =E= 0;
e470.. 27.1662452477335*sqr(0.8846481716306 - x3) + 43.2470012918796*sqr(
0.243303694361235 - x4) - x471 =E= 0;
e471.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x471) + 1.66666666666667*
x471)*exp(-2.23606797749979*sqrt(x471)) - x472 =E= 0;
e472.. 27.1662452477335*sqr(0.788187953139893 - x3) + 43.2470012918796*sqr(
0.944657177788252 - x4) - x473 =E= 0;
e473.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x473) + 1.66666666666667*
x473)*exp(-2.23606797749979*sqrt(x473)) - x474 =E= 0;
e474.. 27.1662452477335*sqr(0.456805394047414 - x3) + 43.2470012918796*sqr(
0.603853295582288 - x4) - x475 =E= 0;
e475.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x475) + 1.66666666666667*
x475)*exp(-2.23606797749979*sqrt(x475)) - x476 =E= 0;
e476.. 27.1662452477335*sqr(0.179986020953786 - x3) + 43.2470012918796*sqr(
0.261044598993533 - x4) - x477 =E= 0;
e477.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x477) + 1.66666666666667*
x477)*exp(-2.23606797749979*sqrt(x477)) - x478 =E= 0;
e478.. 27.1662452477335*sqr(0.389188861256119 - x3) + 43.2470012918796*sqr(
0.719668702776176 - x4) - x479 =E= 0;
e479.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x479) + 1.66666666666667*
x479)*exp(-2.23606797749979*sqrt(x479)) - x480 =E= 0;
e480.. 27.1662452477335*sqr(0.651218365314706 - x3) + 43.2470012918796*sqr(
0.705365554573355 - x4) - x481 =E= 0;
e481.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x481) + 1.66666666666667*
x481)*exp(-2.23606797749979*sqrt(x481)) - x482 =E= 0;
e482.. 27.1662452477335*sqr(0.865962732163022 - x3) + 43.2470012918796*sqr(
0.818889263166187 - x4) - x483 =E= 0;
e483.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x483) + 1.66666666666667*
x483)*exp(-2.23606797749979*sqrt(x483)) - x484 =E= 0;
e484.. 27.1662452477335*sqr(0.775419360384956 - x3) + 43.2470012918796*sqr(
0.861981350943042 - x4) - x485 =E= 0;
e485.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x485) + 1.66666666666667*
x485)*exp(-2.23606797749979*sqrt(x485)) - x486 =E= 0;
e486.. 27.1662452477335*sqr(0.967856490024288 - x3) + 43.2470012918796*sqr(
0.555606194646019 - x4) - x487 =E= 0;
e487.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x487) + 1.66666666666667*
x487)*exp(-2.23606797749979*sqrt(x487)) - x488 =E= 0;
e488.. 27.1662452477335*sqr(0.41432953644811 - x3) + 43.2470012918796*sqr(
0.0842326266046878 - x4) - x489 =E= 0;
e489.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x489) + 1.66666666666667*
x489)*exp(-2.23606797749979*sqrt(x489)) - x490 =E= 0;
e490.. 27.1662452477335*sqr(0.180897023667471 - x3) + 43.2470012918796*sqr(
0.310665002188634 - x4) - x491 =E= 0;
e491.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x491) + 1.66666666666667*
x491)*exp(-2.23606797749979*sqrt(x491)) - x492 =E= 0;
e492.. 27.1662452477335*sqr(0.404673994189191 - x3) + 43.2470012918796*sqr(
0.898138609944286 - x4) - x493 =E= 0;
e493.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x493) + 1.66666666666667*
x493)*exp(-2.23606797749979*sqrt(x493)) - x494 =E= 0;
e494.. 27.1662452477335*sqr(0.494401077654178 - x3) + 43.2470012918796*sqr(
0.217507921856392 - x4) - x495 =E= 0;
e495.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x495) + 1.66666666666667*
x495)*exp(-2.23606797749979*sqrt(x495)) - x496 =E= 0;
e496.. 27.1662452477335*sqr(0.681186975787313 - x3) + 43.2470012918796*sqr(
0.472656113292922 - x4) - x497 =E= 0;
e497.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x497) + 1.66666666666667*
x497)*exp(-2.23606797749979*sqrt(x497)) - x498 =E= 0;
e498.. 27.1662452477335*sqr(0.647339992963192 - x3) + 43.2470012918796*sqr(
0.888249016816318 - x4) - x499 =E= 0;
e499.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x499) + 1.66666666666667*
x499)*exp(-2.23606797749979*sqrt(x499)) - x500 =E= 0;
e500.. 27.1662452477335*sqr(0.747570094373055 - x3) + 43.2470012918796*sqr(
0.421615485025356 - x4) - x501 =E= 0;
e501.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x501) + 1.66666666666667*
x501)*exp(-2.23606797749979*sqrt(x501)) - x502 =E= 0;
e502.. 27.1662452477335*sqr(0.384620498815173 - x3) + 43.2470012918796*sqr(
0.412650701287288 - x4) - x503 =E= 0;
e503.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x503) + 1.66666666666667*
x503)*exp(-2.23606797749979*sqrt(x503)) - x504 =E= 0;
e504.. 27.1662452477335*sqr(0.808098930057014 - x3) + 43.2470012918796*sqr(
0.113388186755437 - x4) - x505 =E= 0;
e505.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x505) + 1.66666666666667*
x505)*exp(-2.23606797749979*sqrt(x505)) - x506 =E= 0;
e506.. 27.1662452477335*sqr(0.605099797502026 - x3) + 43.2470012918796*sqr(
0.198086296883141 - x4) - x507 =E= 0;
e507.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x507) + 1.66666666666667*
x507)*exp(-2.23606797749979*sqrt(x507)) - x508 =E= 0;
e508.. 27.1662452477335*sqr(0.0674272192756395 - x3) + 43.2470012918796*sqr(
0.710754641320589 - x4) - x509 =E= 0;
e509.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x509) + 1.66666666666667*
x509)*exp(-2.23606797749979*sqrt(x509)) - x510 =E= 0;
e510.. 27.1662452477335*sqr(0.906418642803716 - x3) + 43.2470012918796*sqr(
0.906283901675243 - x4) - x511 =E= 0;
e511.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x511) + 1.66666666666667*
x511)*exp(-2.23606797749979*sqrt(x511)) - x512 =E= 0;
e512.. 27.1662452477335*sqr(0.99720651244252 - x3) + 43.2470012918796*sqr(
0.621978882426538 - x4) - x513 =E= 0;
e513.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x513) + 1.66666666666667*
x513)*exp(-2.23606797749979*sqrt(x513)) - x514 =E= 0;
e514.. 27.1662452477335*sqr(0.780700878166007 - x3) + 43.2470012918796*sqr(
0.101501056428998 - x4) - x515 =E= 0;
e515.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x515) + 1.66666666666667*
x515)*exp(-2.23606797749979*sqrt(x515)) - x516 =E= 0;
e516.. 27.1662452477335*sqr(0.419049522760961 - x3) + 43.2470012918796*sqr(
0.147578153858605 - x4) - x517 =E= 0;
e517.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x517) + 1.66666666666667*
x517)*exp(-2.23606797749979*sqrt(x517)) - x518 =E= 0;
e518.. 27.1662452477335*sqr(0.367960990391642 - x3) + 43.2470012918796*sqr(
0.813882267467889 - x4) - x519 =E= 0;
e519.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x519) + 1.66666666666667*
x519)*exp(-2.23606797749979*sqrt(x519)) - x520 =E= 0;
e520.. 27.1662452477335*sqr(0.773765324808662 - x3) + 43.2470012918796*sqr(
0.272275777859151 - x4) - x521 =E= 0;
e521.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x521) + 1.66666666666667*
x521)*exp(-2.23606797749979*sqrt(x521)) - x522 =E= 0;
e522.. 27.1662452477335*sqr(0.308663302210741 - x3) + 43.2470012918796*sqr(
0.0250566907032713 - x4) - x523 =E= 0;
e523.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x523) + 1.66666666666667*
x523)*exp(-2.23606797749979*sqrt(x523)) - x524 =E= 0;
e524.. 27.1662452477335*sqr(0.72088293256854 - x3) + 43.2470012918796*sqr(
0.841241814345848 - x4) - x525 =E= 0;
e525.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x525) + 1.66666666666667*
x525)*exp(-2.23606797749979*sqrt(x525)) - x526 =E= 0;
e526.. 27.1662452477335*sqr(0.160662606874788 - x3) + 43.2470012918796*sqr(
0.731267437848725 - x4) - x527 =E= 0;
e527.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x527) + 1.66666666666667*
x527)*exp(-2.23606797749979*sqrt(x527)) - x528 =E= 0;
e528.. 27.1662452477335*sqr(0.197876864968156 - x3) + 43.2470012918796*sqr(
0.109166862544102 - x4) - x529 =E= 0;
e529.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x529) + 1.66666666666667*
x529)*exp(-2.23606797749979*sqrt(x529)) - x530 =E= 0;
e530.. 27.1662452477335*sqr(0.893087407853862 - x3) + 43.2470012918796*sqr(
0.143435909479349 - x4) - x531 =E= 0;
e531.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x531) + 1.66666666666667*
x531)*exp(-2.23606797749979*sqrt(x531)) - x532 =E= 0;
e532.. 27.1662452477335*sqr(0.0474912686030122 - x3) + 43.2470012918796*sqr(
0.365130887140274 - x4) - x533 =E= 0;
e533.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x533) + 1.66666666666667*
x533)*exp(-2.23606797749979*sqrt(x533)) - x534 =E= 0;
e534.. 27.1662452477335*sqr(0.547077544758917 - x3) + 43.2470012918796*sqr(
0.244301191846569 - x4) - x535 =E= 0;
e535.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x535) + 1.66666666666667*
x535)*exp(-2.23606797749979*sqrt(x535)) - x536 =E= 0;
e536.. 27.1662452477335*sqr(0.12754894837321 - x3) + 43.2470012918796*sqr(
0.528496984388716 - x4) - x537 =E= 0;
e537.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x537) + 1.66666666666667*
x537)*exp(-2.23606797749979*sqrt(x537)) - x538 =E= 0;
e538.. 27.1662452477335*sqr(0.751227893287935 - x3) + 43.2470012918796*sqr(
0.697117137641087 - x4) - x539 =E= 0;
e539.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x539) + 1.66666666666667*
x539)*exp(-2.23606797749979*sqrt(x539)) - x540 =E= 0;
e540.. 27.1662452477335*sqr(0.0986799679886342 - x3) + 43.2470012918796*sqr(
0.494982385124456 - x4) - x541 =E= 0;
e541.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x541) + 1.66666666666667*
x541)*exp(-2.23606797749979*sqrt(x541)) - x542 =E= 0;
e542.. 27.1662452477335*sqr(0.586163635653931 - x3) + 43.2470012918796*sqr(
0.121883139406912 - x4) - x543 =E= 0;
e543.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x543) + 1.66666666666667*
x543)*exp(-2.23606797749979*sqrt(x543)) - x544 =E= 0;
e544.. 27.1662452477335*sqr(0.493022313141629 - x3) + 43.2470012918796*sqr(
0.302075476083977 - x4) - x545 =E= 0;
e545.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x545) + 1.66666666666667*
x545)*exp(-2.23606797749979*sqrt(x545)) - x546 =E= 0;
e546.. 27.1662452477335*sqr(0.723184084589424 - x3) + 43.2470012918796*sqr(
0.879912903594915 - x4) - x547 =E= 0;
e547.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x547) + 1.66666666666667*
x547)*exp(-2.23606797749979*sqrt(x547)) - x548 =E= 0;
e548.. 27.1662452477335*sqr(0.926898359935235 - x3) + 43.2470012918796*sqr(
0.66641984164049 - x4) - x549 =E= 0;
e549.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x549) + 1.66666666666667*
x549)*exp(-2.23606797749979*sqrt(x549)) - x550 =E= 0;
e550.. 27.1662452477335*sqr(0.532623977385816 - x3) + 43.2470012918796*sqr(
0.754372355538723 - x4) - x551 =E= 0;
e551.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x551) + 1.66666666666667*
x551)*exp(-2.23606797749979*sqrt(x551)) - x552 =E= 0;
e552.. 27.1662452477335*sqr(0.91983166613587 - x3) + 43.2470012918796*sqr(
0.370395517784843 - x4) - x553 =E= 0;
e553.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x553) + 1.66666666666667*
x553)*exp(-2.23606797749979*sqrt(x553)) - x554 =E= 0;
e554.. 27.1662452477335*sqr(0.0265650886521411 - x3) + 43.2470012918796*sqr(
0.500341615365692 - x4) - x555 =E= 0;
e555.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x555) + 1.66666666666667*
x555)*exp(-2.23606797749979*sqrt(x555)) - x556 =E= 0;
e556.. 27.1662452477335*sqr(0.0918455228608126 - x3) + 43.2470012918796*sqr(
0.661100840250504 - x4) - x557 =E= 0;
e557.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x557) + 1.66666666666667*
x557)*exp(-2.23606797749979*sqrt(x557)) - x558 =E= 0;
e558.. 27.1662452477335*sqr(0.292167463808891 - x3) + 43.2470012918796*sqr(
0.496766832077482 - x4) - x559 =E= 0;
e559.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x559) + 1.66666666666667*
x559)*exp(-2.23606797749979*sqrt(x559)) - x560 =E= 0;
e560.. 27.1662452477335*sqr(0.613188551239931 - x3) + 43.2470012918796*sqr(
0.150067539621303 - x4) - x561 =E= 0;
e561.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x561) + 1.66666666666667*
x561)*exp(-2.23606797749979*sqrt(x561)) - x562 =E= 0;
e562.. 27.1662452477335*sqr(0.0866194728276114 - x3) + 43.2470012918796*sqr(
0.181549405597408 - x4) - x563 =E= 0;
e563.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x563) + 1.66666666666667*
x563)*exp(-2.23606797749979*sqrt(x563)) - x564 =E= 0;
e564.. 27.1662452477335*sqr(0.508914592290185 - x3) + 43.2470012918796*sqr(
0.615651178569718 - x4) - x565 =E= 0;
e565.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x565) + 1.66666666666667*
x565)*exp(-2.23606797749979*sqrt(x565)) - x566 =E= 0;
e566.. 27.1662452477335*sqr(0.86118177437253 - x3) + 43.2470012918796*sqr(
0.0761250099120754 - x4) - x567 =E= 0;
e567.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x567) + 1.66666666666667*
x567)*exp(-2.23606797749979*sqrt(x567)) - x568 =E= 0;
e568.. 27.1662452477335*sqr(0.956597055839737 - x3) + 43.2470012918796*sqr(
0.399727061282665 - x4) - x569 =E= 0;
e569.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x569) + 1.66666666666667*
x569)*exp(-2.23606797749979*sqrt(x569)) - x570 =E= 0;
e570.. 27.1662452477335*sqr(0.229456190223263 - x3) + 43.2470012918796*sqr(
0.36971582602391 - x4) - x571 =E= 0;
e571.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x571) + 1.66666666666667*
x571)*exp(-2.23606797749979*sqrt(x571)) - x572 =E= 0;
e572.. 27.1662452477335*sqr(0.227317264726678 - x3) + 43.2470012918796*sqr(
0.0191430314606692 - x4) - x573 =E= 0;
e573.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x573) + 1.66666666666667*
x573)*exp(-2.23606797749979*sqrt(x573)) - x574 =E= 0;
e574.. 27.1662452477335*sqr(0.084362448320507 - x3) + 43.2470012918796*sqr(
0.392878724190113 - x4) - x575 =E= 0;
e575.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x575) + 1.66666666666667*
x575)*exp(-2.23606797749979*sqrt(x575)) - x576 =E= 0;
e576.. 27.1662452477335*sqr(0.925979551437678 - x3) + 43.2470012918796*sqr(
0.326815443960911 - x4) - x577 =E= 0;
e577.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x577) + 1.66666666666667*
x577)*exp(-2.23606797749979*sqrt(x577)) - x578 =E= 0;
e578.. 27.1662452477335*sqr(0.137654356308217 - x3) + 43.2470012918796*sqr(
0.0780059352192806 - x4) - x579 =E= 0;
e579.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x579) + 1.66666666666667*
x579)*exp(-2.23606797749979*sqrt(x579)) - x580 =E= 0;
e580.. 27.1662452477335*sqr(0.581770074639664 - x3) + 43.2470012918796*sqr(
0.435033959309951 - x4) - x581 =E= 0;
e581.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x581) + 1.66666666666667*
x581)*exp(-2.23606797749979*sqrt(x581)) - x582 =E= 0;
e582.. 27.1662452477335*sqr(0.48351646951265 - x3) + 43.2470012918796*sqr(
0.84707030232741 - x4) - x583 =E= 0;
e583.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x583) + 1.66666666666667*
x583)*exp(-2.23606797749979*sqrt(x583)) - x584 =E= 0;
e584.. 27.1662452477335*sqr(0.210702739127951 - x3) + 43.2470012918796*sqr(
0.210486953565473 - x4) - x585 =E= 0;
e585.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x585) + 1.66666666666667*
x585)*exp(-2.23606797749979*sqrt(x585)) - x586 =E= 0;
e586.. 27.1662452477335*sqr(0.677932549300308 - x3) + 43.2470012918796*sqr(
0.641808509980345 - x4) - x587 =E= 0;
e587.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x587) + 1.66666666666667*
x587)*exp(-2.23606797749979*sqrt(x587)) - x588 =E= 0;
e588.. 27.1662452477335*sqr(0.12055146379792 - x3) + 43.2470012918796*sqr(
0.838382686652016 - x4) - x589 =E= 0;
e589.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x589) + 1.66666666666667*
x589)*exp(-2.23606797749979*sqrt(x589)) - x590 =E= 0;
e590.. 27.1662452477335*sqr(0.407462332290915 - x3) + 43.2470012918796*sqr(
0.127821623364298 - x4) - x591 =E= 0;
e591.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x591) + 1.66666666666667*
x591)*exp(-2.23606797749979*sqrt(x591)) - x592 =E= 0;
e592.. 27.1662452477335*sqr(0.238032380467335 - x3) + 43.2470012918796*sqr(
0.301132456841704 - x4) - x593 =E= 0;
e593.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x593) + 1.66666666666667*
x593)*exp(-2.23606797749979*sqrt(x593)) - x594 =E= 0;
e594.. 27.1662452477335*sqr(0.523685539011276 - x3) + 43.2470012918796*sqr(
0.390079395634551 - x4) - x595 =E= 0;
e595.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x595) + 1.66666666666667*
x595)*exp(-2.23606797749979*sqrt(x595)) - x596 =E= 0;
e596.. 27.1662452477335*sqr(0.0530453100914752 - x3) + 43.2470012918796*sqr(
0.0237942146976606 - x4) - x597 =E= 0;
e597.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x597) + 1.66666666666667*
x597)*exp(-2.23606797749979*sqrt(x597)) - x598 =E= 0;
e598.. 27.1662452477335*sqr(0.378570519760614 - x3) + 43.2470012918796*sqr(
0.219555685485763 - x4) - x599 =E= 0;
e599.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x599) + 1.66666666666667*
x599)*exp(-2.23606797749979*sqrt(x599)) - x600 =E= 0;
e600.. 27.1662452477335*sqr(0.247688627976867 - x3) + 43.2470012918796*sqr(
0.16848690419686 - x4) - x601 =E= 0;
e601.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x601) + 1.66666666666667*
x601)*exp(-2.23606797749979*sqrt(x601)) - x602 =E= 0;
e602.. 27.1662452477335*sqr(0.0357799151872885 - x3) + 43.2470012918796*sqr(
0.738678269228362 - x4) - x603 =E= 0;
e603.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x603) + 1.66666666666667*
x603)*exp(-2.23606797749979*sqrt(x603)) - x604 =E= 0;
e604.. 27.1662452477335*sqr(0.598871872533017 - x3) + 43.2470012918796*sqr(
0.773620955322336 - x4) - x605 =E= 0;
e605.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x605) + 1.66666666666667*
x605)*exp(-2.23606797749979*sqrt(x605)) - x606 =E= 0;
e606.. 27.1662452477335*sqr(0.593240724106391 - x3) + 43.2470012918796*sqr(
0.9189276509839 - x4) - x607 =E= 0;
e607.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x607) + 1.66666666666667*
x607)*exp(-2.23606797749979*sqrt(x607)) - x608 =E= 0;
e608.. 27.1662452477335*sqr(0.467924238342127 - x3) + 43.2470012918796*sqr(
0.690822052571038 - x4) - x609 =E= 0;
e609.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x609) + 1.66666666666667*
x609)*exp(-2.23606797749979*sqrt(x609)) - x610 =E= 0;
e610.. 27.1662452477335*sqr(0.192466212693381 - x3) + 43.2470012918796*sqr(
0.619207607976593 - x4) - x611 =E= 0;
e611.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x611) + 1.66666666666667*
x611)*exp(-2.23606797749979*sqrt(x611)) - x612 =E= 0;
e612.. 27.1662452477335*sqr(0.748809185227434 - x3) + 43.2470012918796*sqr(
0.289437522882005 - x4) - x613 =E= 0;
e613.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x613) + 1.66666666666667*
x613)*exp(-2.23606797749979*sqrt(x613)) - x614 =E= 0;
e614.. 27.1662452477335*sqr(0.4357030862087 - x3) + 43.2470012918796*sqr(
0.702044556216125 - x4) - x615 =E= 0;
e615.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x615) + 1.66666666666667*
x615)*exp(-2.23606797749979*sqrt(x615)) - x616 =E= 0;
e616.. 27.1662452477335*sqr(0.331488750228967 - x3) + 43.2470012918796*sqr(
0.563389337952165 - x4) - x617 =E= 0;
e617.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x617) + 1.66666666666667*
x617)*exp(-2.23606797749979*sqrt(x617)) - x618 =E= 0;
e618.. 27.1662452477335*sqr(0.74587452806202 - x3) + 43.2470012918796*sqr(
0.123100791168068 - x4) - x619 =E= 0;
e619.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x619) + 1.66666666666667*
x619)*exp(-2.23606797749979*sqrt(x619)) - x620 =E= 0;
e620.. 27.1662452477335*sqr(0.955080806566381 - x3) + 43.2470012918796*sqr(
0.258001004552777 - x4) - x621 =E= 0;
e621.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x621) + 1.66666666666667*
x621)*exp(-2.23606797749979*sqrt(x621)) - x622 =E= 0;
e622.. 27.1662452477335*sqr(0.962765605381144 - x3) + 43.2470012918796*sqr(
0.586017282342467 - x4) - x623 =E= 0;
e623.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x623) + 1.66666666666667*
x623)*exp(-2.23606797749979*sqrt(x623)) - x624 =E= 0;
e624.. 27.1662452477335*sqr(0.660792779384986 - x3) + 43.2470012918796*sqr(
0.424181508358404 - x4) - x625 =E= 0;
e625.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x625) + 1.66666666666667*
x625)*exp(-2.23606797749979*sqrt(x625)) - x626 =E= 0;
e626.. 27.1662452477335*sqr(0.765856751242536 - x3) + 43.2470012918796*sqr(
0.16752512847701 - x4) - x627 =E= 0;
e627.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x627) + 1.66666666666667*
x627)*exp(-2.23606797749979*sqrt(x627)) - x628 =E= 0;
e628.. 27.1662452477335*sqr(0.307173387631395 - x3) + 43.2470012918796*sqr(
0.634154397089502 - x4) - x629 =E= 0;
e629.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x629) + 1.66666666666667*
x629)*exp(-2.23606797749979*sqrt(x629)) - x630 =E= 0;
e630.. 27.1662452477335*sqr(0.433064798950478 - x3) + 43.2470012918796*sqr(
0.200021954262351 - x4) - x631 =E= 0;
e631.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x631) + 1.66666666666667*
x631)*exp(-2.23606797749979*sqrt(x631)) - x632 =E= 0;
e632.. 27.1662452477335*sqr(0.486632892368164 - x3) + 43.2470012918796*sqr(
0.0489648601959594 - x4) - x633 =E= 0;
e633.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x633) + 1.66666666666667*
x633)*exp(-2.23606797749979*sqrt(x633)) - x634 =E= 0;
e634.. 27.1662452477335*sqr(0.45118344690918 - x3) + 43.2470012918796*sqr(
0.1796778285058 - x4) - x635 =E= 0;
e635.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x635) + 1.66666666666667*
x635)*exp(-2.23606797749979*sqrt(x635)) - x636 =E= 0;
e636.. 27.1662452477335*sqr(0.280778319889801 - x3) + 43.2470012918796*sqr(
0.596432066493944 - x4) - x637 =E= 0;
e637.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x637) + 1.66666666666667*
x637)*exp(-2.23606797749979*sqrt(x637)) - x638 =E= 0;
e638.. 27.1662452477335*sqr(0.69924035915437 - x3) + 43.2470012918796*sqr(
0.533790474478447 - x4) - x639 =E= 0;
e639.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x639) + 1.66666666666667*
x639)*exp(-2.23606797749979*sqrt(x639)) - x640 =E= 0;
e640.. 27.1662452477335*sqr(0.191714750432642 - x3) + 43.2470012918796*sqr(
0.39766608735581 - x4) - x641 =E= 0;
e641.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x641) + 1.66666666666667*
x641)*exp(-2.23606797749979*sqrt(x641)) - x642 =E= 0;
e642.. 27.1662452477335*sqr(0.686595727354692 - x3) + 43.2470012918796*sqr(
0.699145959787704 - x4) - x643 =E= 0;
e643.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x643) + 1.66666666666667*
x643)*exp(-2.23606797749979*sqrt(x643)) - x644 =E= 0;
e644.. 27.1662452477335*sqr(0.866428948998784 - x3) + 43.2470012918796*sqr(
0.626608488642427 - x4) - x645 =E= 0;
e645.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x645) + 1.66666666666667*
x645)*exp(-2.23606797749979*sqrt(x645)) - x646 =E= 0;
e646.. 27.1662452477335*sqr(0.674435184815168 - x3) + 43.2470012918796*sqr(
0.560649093951372 - x4) - x647 =E= 0;
e647.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x647) + 1.66666666666667*
x647)*exp(-2.23606797749979*sqrt(x647)) - x648 =E= 0;
e648.. 27.1662452477335*sqr(0.629437959293395 - x3) + 43.2470012918796*sqr(
0.26727060674115 - x4) - x649 =E= 0;
e649.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x649) + 1.66666666666667*
x649)*exp(-2.23606797749979*sqrt(x649)) - x650 =E= 0;
e650.. 27.1662452477335*sqr(0.0150398750317876 - x3) + 43.2470012918796*sqr(
0.165523119859485 - x4) - x651 =E= 0;
e651.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x651) + 1.66666666666667*
x651)*exp(-2.23606797749979*sqrt(x651)) - x652 =E= 0;
e652.. 27.1662452477335*sqr(0.202802364560974 - x3) + 43.2470012918796*sqr(
0.720973301120255 - x4) - x653 =E= 0;
e653.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x653) + 1.66666666666667*
x653)*exp(-2.23606797749979*sqrt(x653)) - x654 =E= 0;
e654.. 27.1662452477335*sqr(0.282441952410358 - x3) + 43.2470012918796*sqr(
0.571360928449923 - x4) - x655 =E= 0;
e655.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x655) + 1.66666666666667*
x655)*exp(-2.23606797749979*sqrt(x655)) - x656 =E= 0;
e656.. 27.1662452477335*sqr(0.931928323296104 - x3) + 43.2470012918796*sqr(
0.395478264032489 - x4) - x657 =E= 0;
e657.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x657) + 1.66666666666667*
x657)*exp(-2.23606797749979*sqrt(x657)) - x658 =E= 0;
e658.. 27.1662452477335*sqr(0.553039521459514 - x3) + 43.2470012918796*sqr(
0.128682188143247 - x4) - x659 =E= 0;
e659.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x659) + 1.66666666666667*
x659)*exp(-2.23606797749979*sqrt(x659)) - x660 =E= 0;
e660.. 27.1662452477335*sqr(0.362050043527967 - x3) + 43.2470012918796*sqr(
0.875355683665411 - x4) - x661 =E= 0;
e661.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x661) + 1.66666666666667*
x661)*exp(-2.23606797749979*sqrt(x661)) - x662 =E= 0;
e662.. 27.1662452477335*sqr(0.874657932781442 - x3) + 43.2470012918796*sqr(
0.957443239043701 - x4) - x663 =E= 0;
e663.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x663) + 1.66666666666667*
x663)*exp(-2.23606797749979*sqrt(x663)) - x664 =E= 0;
e664.. 27.1662452477335*sqr(0.0657698827868984 - x3) + 43.2470012918796*sqr(
0.729812496701636 - x4) - x665 =E= 0;
e665.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x665) + 1.66666666666667*
x665)*exp(-2.23606797749979*sqrt(x665)) - x666 =E= 0;
e666.. 27.1662452477335*sqr(0.876821583390501 - x3) + 43.2470012918796*sqr(
0.765650092040472 - x4) - x667 =E= 0;
e667.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x667) + 1.66666666666667*
x667)*exp(-2.23606797749979*sqrt(x667)) - x668 =E= 0;
e668.. 27.1662452477335*sqr(0.156248985949018 - x3) + 43.2470012918796*sqr(
0.645460816793415 - x4) - x669 =E= 0;
e669.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x669) + 1.66666666666667*
x669)*exp(-2.23606797749979*sqrt(x669)) - x670 =E= 0;
e670.. 27.1662452477335*sqr(0.176769383422862 - x3) + 43.2470012918796*sqr(
0.325248774513631 - x4) - x671 =E= 0;
e671.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x671) + 1.66666666666667*
x671)*exp(-2.23606797749979*sqrt(x671)) - x672 =E= 0;
e672.. 27.1662452477335*sqr(0.0945289769341822 - x3) + 43.2470012918796*sqr(
0.569736373436966 - x4) - x673 =E= 0;
e673.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x673) + 1.66666666666667*
x673)*exp(-2.23606797749979*sqrt(x673)) - x674 =E= 0;
e674.. 27.1662452477335*sqr(0.212870996972697 - x3) + 43.2470012918796*sqr(
0.910626249135768 - x4) - x675 =E= 0;
e675.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x675) + 1.66666666666667*
x675)*exp(-2.23606797749979*sqrt(x675)) - x676 =E= 0;
e676.. 27.1662452477335*sqr(0.23779115105703 - x3) + 43.2470012918796*sqr(
0.0949605386827372 - x4) - x677 =E= 0;
e677.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x677) + 1.66666666666667*
x677)*exp(-2.23606797749979*sqrt(x677)) - x678 =E= 0;
e678.. 27.1662452477335*sqr(0.0297500114702532 - x3) + 43.2470012918796*sqr(
0.239557910043857 - x4) - x679 =E= 0;
e679.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x679) + 1.66666666666667*
x679)*exp(-2.23606797749979*sqrt(x679)) - x680 =E= 0;
e680.. 27.1662452477335*sqr(0.670176635184067 - x3) + 43.2470012918796*sqr(
0.583812358912097 - x4) - x681 =E= 0;
e681.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x681) + 1.66666666666667*
x681)*exp(-2.23606797749979*sqrt(x681)) - x682 =E= 0;
e682.. 27.1662452477335*sqr(0.6690283463541 - x3) + 43.2470012918796*sqr(
0.658287022163484 - x4) - x683 =E= 0;
e683.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x683) + 1.66666666666667*
x683)*exp(-2.23606797749979*sqrt(x683)) - x684 =E= 0;
e684.. 27.1662452477335*sqr(0.422402005369988 - x3) + 43.2470012918796*sqr(
0.809884930769688 - x4) - x685 =E= 0;
e685.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x685) + 1.66666666666667*
x685)*exp(-2.23606797749979*sqrt(x685)) - x686 =E= 0;
e686.. 27.1662452477335*sqr(0.401856553902863 - x3) + 43.2470012918796*sqr(
0.936077670233202 - x4) - x687 =E= 0;
e687.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x687) + 1.66666666666667*
x687)*exp(-2.23606797749979*sqrt(x687)) - x688 =E= 0;
e688.. 27.1662452477335*sqr(0.511553619894072 - x3) + 43.2470012918796*sqr(
0.366282929265281 - x4) - x689 =E= 0;
e689.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x689) + 1.66666666666667*
x689)*exp(-2.23606797749979*sqrt(x689)) - x690 =E= 0;
e690.. 27.1662452477335*sqr(0.65421888650607 - x3) + 43.2470012918796*sqr(
0.801522856155858 - x4) - x691 =E= 0;
e691.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x691) + 1.66666666666667*
x691)*exp(-2.23606797749979*sqrt(x691)) - x692 =E= 0;
e692.. 27.1662452477335*sqr(0.71994871899551 - x3) + 43.2470012918796*sqr(
0.0114171064391956 - x4) - x693 =E= 0;
e693.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x693) + 1.66666666666667*
x693)*exp(-2.23606797749979*sqrt(x693)) - x694 =E= 0;
e694.. 27.1662452477335*sqr(0.447916076950313 - x3) + 43.2470012918796*sqr(
0.891345344567722 - x4) - x695 =E= 0;
e695.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x695) + 1.66666666666667*
x695)*exp(-2.23606797749979*sqrt(x695)) - x696 =E= 0;
e696.. 27.1662452477335*sqr(0.807737002805485 - x3) + 43.2470012918796*sqr(
0.389750953668388 - x4) - x697 =E= 0;
e697.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x697) + 1.66666666666667*
x697)*exp(-2.23606797749979*sqrt(x697)) - x698 =E= 0;
e698.. 27.1662452477335*sqr(0.376972732853413 - x3) + 43.2470012918796*sqr(
0.974208949907806 - x4) - x699 =E= 0;
e699.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x699) + 1.66666666666667*
x699)*exp(-2.23606797749979*sqrt(x699)) - x700 =E= 0;
e700.. 27.1662452477335*sqr(0.679417559143381 - x3) + 43.2470012918796*sqr(
0.231935863232464 - x4) - x701 =E= 0;
e701.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x701) + 1.66666666666667*
x701)*exp(-2.23606797749979*sqrt(x701)) - x702 =E= 0;
e702.. 27.1662452477335*sqr(0.108852166452193 - x3) + 43.2470012918796*sqr(
0.950842303197531 - x4) - x703 =E= 0;
e703.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x703) + 1.66666666666667*
x703)*exp(-2.23606797749979*sqrt(x703)) - x704 =E= 0;
e704.. 27.1662452477335*sqr(0.889379755015059 - x3) + 43.2470012918796*sqr(
0.530601178677389 - x4) - x705 =E= 0;
e705.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x705) + 1.66666666666667*
x705)*exp(-2.23606797749979*sqrt(x705)) - x706 =E= 0;
e706.. 27.1662452477335*sqr(0.484223213478723 - x3) + 43.2470012918796*sqr(
0.456766335841326 - x4) - x707 =E= 0;
e707.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x707) + 1.66666666666667*
x707)*exp(-2.23606797749979*sqrt(x707)) - x708 =E= 0;
e708.. 27.1662452477335*sqr(0.0377207224480788 - x3) + 43.2470012918796*sqr(
0.572040075452427 - x4) - x709 =E= 0;
e709.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x709) + 1.66666666666667*
x709)*exp(-2.23606797749979*sqrt(x709)) - x710 =E= 0;
e710.. 27.1662452477335*sqr(0.22446448997507 - x3) + 43.2470012918796*sqr(
0.789977978916608 - x4) - x711 =E= 0;
e711.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x711) + 1.66666666666667*
x711)*exp(-2.23606797749979*sqrt(x711)) - x712 =E= 0;
e712.. 27.1662452477335*sqr(0.336305480442918 - x3) + 43.2470012918796*sqr(
0.159497799294721 - x4) - x713 =E= 0;
e713.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x713) + 1.66666666666667*
x713)*exp(-2.23606797749979*sqrt(x713)) - x714 =E= 0;
e714.. 27.1662452477335*sqr(0.534527987784387 - x3) + 43.2470012918796*sqr(
0.410567307740153 - x4) - x715 =E= 0;
e715.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x715) + 1.66666666666667*
x715)*exp(-2.23606797749979*sqrt(x715)) - x716 =E= 0;
e716.. 27.1662452477335*sqr(0.264477699998644 - x3) + 43.2470012918796*sqr(
0.202787092051774 - x4) - x717 =E= 0;
e717.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x717) + 1.66666666666667*
x717)*exp(-2.23606797749979*sqrt(x717)) - x718 =E= 0;
e718.. 27.1662452477335*sqr(0.622270991476632 - x3) + 43.2470012918796*sqr(
0.116969711518499 - x4) - x719 =E= 0;
e719.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x719) + 1.66666666666667*
x719)*exp(-2.23606797749979*sqrt(x719)) - x720 =E= 0;
e720.. 27.1662452477335*sqr(0.128133933499752 - x3) + 43.2470012918796*sqr(
0.897764771545798 - x4) - x721 =E= 0;
e721.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x721) + 1.66666666666667*
x721)*exp(-2.23606797749979*sqrt(x721)) - x722 =E= 0;
e722.. 27.1662452477335*sqr(0.0893958152206217 - x3) + 43.2470012918796*sqr(
0.470032813265469 - x4) - x723 =E= 0;
e723.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x723) + 1.66666666666667*
x723)*exp(-2.23606797749979*sqrt(x723)) - x724 =E= 0;
e724.. 27.1662452477335*sqr(0.843780660225482 - x3) + 43.2470012918796*sqr(
0.967059115511736 - x4) - x725 =E= 0;
e725.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x725) + 1.66666666666667*
x725)*exp(-2.23606797749979*sqrt(x725)) - x726 =E= 0;
e726.. 27.1662452477335*sqr(0.81321541325159 - x3) + 43.2470012918796*sqr(
0.188348416080751 - x4) - x727 =E= 0;
e727.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x727) + 1.66666666666667*
x727)*exp(-2.23606797749979*sqrt(x727)) - x728 =E= 0;
e728.. 27.1662452477335*sqr(0.390041078317072 - x3) + 43.2470012918796*sqr(
0.948457820060566 - x4) - x729 =E= 0;
e729.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x729) + 1.66666666666667*
x729)*exp(-2.23606797749979*sqrt(x729)) - x730 =E= 0;
e730.. 27.1662452477335*sqr(0.0402873707730573 - x3) + 43.2470012918796*sqr(
0.921759599757442 - x4) - x731 =E= 0;
e731.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x731) + 1.66666666666667*
x731)*exp(-2.23606797749979*sqrt(x731)) - x732 =E= 0;
e732.. 27.1662452477335*sqr(0.460353206296766 - x3) + 43.2470012918796*sqr(
0.489899331749685 - x4) - x733 =E= 0;
e733.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x733) + 1.66666666666667*
x733)*exp(-2.23606797749979*sqrt(x733)) - x734 =E= 0;
e734.. 27.1662452477335*sqr(0.805282031689435 - x3) + 43.2470012918796*sqr(
0.341927697102008 - x4) - x735 =E= 0;
e735.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x735) + 1.66666666666667*
x735)*exp(-2.23606797749979*sqrt(x735)) - x736 =E= 0;
e736.. 27.1662452477335*sqr(0.823236953639344 - x3) + 43.2470012918796*sqr(
0.513157082465859 - x4) - x737 =E= 0;
e737.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x737) + 1.66666666666667*
x737)*exp(-2.23606797749979*sqrt(x737)) - x738 =E= 0;
e738.. 27.1662452477335*sqr(0.560196962252848 - x3) + 43.2470012918796*sqr(
0.680167263077864 - x4) - x739 =E= 0;
e739.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x739) + 1.66666666666667*
x739)*exp(-2.23606797749979*sqrt(x739)) - x740 =E= 0;
e740.. 27.1662452477335*sqr(0.574152504888159 - x3) + 43.2470012918796*sqr(
0.0927999417077733 - x4) - x741 =E= 0;
e741.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x741) + 1.66666666666667*
x741)*exp(-2.23606797749979*sqrt(x741)) - x742 =E= 0;
e742.. 27.1662452477335*sqr(0.0680762002995134 - x3) + 43.2470012918796*sqr(
0.263538711821781 - x4) - x743 =E= 0;
e743.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x743) + 1.66666666666667*
x743)*exp(-2.23606797749979*sqrt(x743)) - x744 =E= 0;
e744.. 27.1662452477335*sqr(0.276918202959527 - x3) + 43.2470012918796*sqr(
0.156605882195656 - x4) - x745 =E= 0;
e745.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x745) + 1.66666666666667*
x745)*exp(-2.23606797749979*sqrt(x745)) - x746 =E= 0;
e746.. 27.1662452477335*sqr(0.358927730786599 - x3) + 43.2470012918796*sqr(
0.798523103960894 - x4) - x747 =E= 0;
e747.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x747) + 1.66666666666667*
x747)*exp(-2.23606797749979*sqrt(x747)) - x748 =E= 0;
e748.. 27.1662452477335*sqr(0.58261094722267 - x3) + 43.2470012918796*sqr(
0.868751365102043 - x4) - x749 =E= 0;
e749.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x749) + 1.66666666666667*
x749)*exp(-2.23606797749979*sqrt(x749)) - x750 =E= 0;
e750.. 27.1662452477335*sqr(0.445965124895089 - x3) + 43.2470012918796*sqr(
0.226543829208796 - x4) - x751 =E= 0;
e751.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x751) + 1.66666666666667*
x751)*exp(-2.23606797749979*sqrt(x751)) - x752 =E= 0;
e752.. 27.1662452477335*sqr(0.741848295499297 - x3) + 43.2470012918796*sqr(
0.565289486645008 - x4) - x753 =E= 0;
e753.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x753) + 1.66666666666667*
x753)*exp(-2.23606797749979*sqrt(x753)) - x754 =E= 0;
e754.. 27.1662452477335*sqr(0.570172268794471 - x3) + 43.2470012918796*sqr(
0.972121564846995 - x4) - x755 =E= 0;
e755.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x755) + 1.66666666666667*
x755)*exp(-2.23606797749979*sqrt(x755)) - x756 =E= 0;
e756.. 27.1662452477335*sqr(0.618507690137368 - x3) + 43.2470012918796*sqr(
0.923983639121483 - x4) - x757 =E= 0;
e757.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x757) + 1.66666666666667*
x757)*exp(-2.23606797749979*sqrt(x757)) - x758 =E= 0;
e758.. 27.1662452477335*sqr(0.290554147162042 - x3) + 43.2470012918796*sqr(
0.347295334733214 - x4) - x759 =E= 0;
e759.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x759) + 1.66666666666667*
x759)*exp(-2.23606797749979*sqrt(x759)) - x760 =E= 0;
e760.. 27.1662452477335*sqr(0.631113039302194 - x3) + 43.2470012918796*sqr(
0.864155128837204 - x4) - x761 =E= 0;
e761.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x761) + 1.66666666666667*
x761)*exp(-2.23606797749979*sqrt(x761)) - x762 =E= 0;
e762.. 27.1662452477335*sqr(0.32868666613641 - x3) + 43.2470012918796*sqr(
0.759485783638909 - x4) - x763 =E= 0;
e763.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x763) + 1.66666666666667*
x763)*exp(-2.23606797749979*sqrt(x763)) - x764 =E= 0;
e764.. 27.1662452477335*sqr(0.200172855543084 - x3) + 43.2470012918796*sqr(
0.625060202617253 - x4) - x765 =E= 0;
e765.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x765) + 1.66666666666667*
x765)*exp(-2.23606797749979*sqrt(x765)) - x766 =E= 0;
e766.. 27.1662452477335*sqr(0.000750731506390453 - x3) + 43.2470012918796*sqr(
0.534840429876076 - x4) - x767 =E= 0;
e767.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x767) + 1.66666666666667*
x767)*exp(-2.23606797749979*sqrt(x767)) - x768 =E= 0;
e768.. 27.1662452477335*sqr(0.663861768303298 - x3) + 43.2470012918796*sqr(
0.354173010293361 - x4) - x769 =E= 0;
e769.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x769) + 1.66666666666667*
x769)*exp(-2.23606797749979*sqrt(x769)) - x770 =E= 0;
e770.. 27.1662452477335*sqr(0.974456476725667 - x3) + 43.2470012918796*sqr(
0.611969125134094 - x4) - x771 =E= 0;
e771.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x771) + 1.66666666666667*
x771)*exp(-2.23606797749979*sqrt(x771)) - x772 =E= 0;
e772.. 27.1662452477335*sqr(0.503555637846895 - x3) + 43.2470012918796*sqr(
0.821661560061432 - x4) - x773 =E= 0;
e773.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x773) + 1.66666666666667*
x773)*exp(-2.23606797749979*sqrt(x773)) - x774 =E= 0;
e774.. 27.1662452477335*sqr(0.837644605387036 - x3) + 43.2470012918796*sqr(
0.382035453172081 - x4) - x775 =E= 0;
e775.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x775) + 1.66666666666667*
x775)*exp(-2.23606797749979*sqrt(x775)) - x776 =E= 0;
e776.. 27.1662452477335*sqr(0.983231868189629 - x3) + 43.2470012918796*sqr(
0.557583487521637 - x4) - x777 =E= 0;
e777.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x777) + 1.66666666666667*
x777)*exp(-2.23606797749979*sqrt(x777)) - x778 =E= 0;
e778.. 27.1662452477335*sqr(0.488032972639583 - x3) + 43.2470012918796*sqr(
0.853581204110781 - x4) - x779 =E= 0;
e779.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x779) + 1.66666666666667*
x779)*exp(-2.23606797749979*sqrt(x779)) - x780 =E= 0;
e780.. 27.1662452477335*sqr(0.939311887650374 - x3) + 43.2470012918796*sqr(
0.712588525039143 - x4) - x781 =E= 0;
e781.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x781) + 1.66666666666667*
x781)*exp(-2.23606797749979*sqrt(x781)) - x782 =E= 0;
e782.. 27.1662452477335*sqr(0.74295539342486 - x3) + 43.2470012918796*sqr(
0.225635543468932 - x4) - x783 =E= 0;
e783.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x783) + 1.66666666666667*
x783)*exp(-2.23606797749979*sqrt(x783)) - x784 =E= 0;
e784.. 27.1662452477335*sqr(0.984033347796223 - x3) + 43.2470012918796*sqr(
0.550402777561077 - x4) - x785 =E= 0;
e785.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x785) + 1.66666666666667*
x785)*exp(-2.23606797749979*sqrt(x785)) - x786 =E= 0;
e786.. 27.1662452477335*sqr(0.791766878966964 - x3) + 43.2470012918796*sqr(
0.270337107937848 - x4) - x787 =E= 0;
e787.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x787) + 1.66666666666667*
x787)*exp(-2.23606797749979*sqrt(x787)) - x788 =E= 0;
e788.. 27.1662452477335*sqr(0.960110514884186 - x3) + 43.2470012918796*sqr(
0.59929927492339 - x4) - x789 =E= 0;
e789.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x789) + 1.66666666666667*
x789)*exp(-2.23606797749979*sqrt(x789)) - x790 =E= 0;
e790.. 27.1662452477335*sqr(0.517459016952292 - x3) + 43.2470012918796*sqr(
0.608464034396521 - x4) - x791 =E= 0;
e791.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x791) + 1.66666666666667*
x791)*exp(-2.23606797749979*sqrt(x791)) - x792 =E= 0;
e792.. 27.1662452477335*sqr(0.758592814999566 - x3) + 43.2470012918796*sqr(
0.377361200883901 - x4) - x793 =E= 0;
e793.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x793) + 1.66666666666667*
x793)*exp(-2.23606797749979*sqrt(x793)) - x794 =E= 0;
e794.. 27.1662452477335*sqr(0.232147015829544 - x3) + 43.2470012918796*sqr(
0.247316799421619 - x4) - x795 =E= 0;
e795.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x795) + 1.66666666666667*
x795)*exp(-2.23606797749979*sqrt(x795)) - x796 =E= 0;
e796.. 27.1662452477335*sqr(0.737602624109441 - x3) + 43.2470012918796*sqr(
0.0570245580085467 - x4) - x797 =E= 0;
e797.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x797) + 1.66666666666667*
x797)*exp(-2.23606797749979*sqrt(x797)) - x798 =E= 0;
e798.. 27.1662452477335*sqr(0.396509264876133 - x3) + 43.2470012918796*sqr(
0.0295561463301387 - x4) - x799 =E= 0;
e799.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x799) + 1.66666666666667*
x799)*exp(-2.23606797749979*sqrt(x799)) - x800 =E= 0;
e800.. 27.1662452477335*sqr(0.00802532966489496 - x3) + 43.2470012918796*sqr(
0.110360424854263 - x4) - x801 =E= 0;
e801.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x801) + 1.66666666666667*
x801)*exp(-2.23606797749979*sqrt(x801)) - x802 =E= 0;
e802.. 27.1662452477335*sqr(0.839089411135782 - x3) + 43.2470012918796*sqr(
0.23671412867031 - x4) - x803 =E= 0;
e803.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x803) + 1.66666666666667*
x803)*exp(-2.23606797749979*sqrt(x803)) - x804 =E= 0;
e804.. 27.1662452477335*sqr(0.392224129864874 - x3) + 43.2470012918796*sqr(
0.313900550569689 - x4) - x805 =E= 0;
e805.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x805) + 1.66666666666667*
x805)*exp(-2.23606797749979*sqrt(x805)) - x806 =E= 0;
e806.. 27.1662452477335*sqr(0.0790398875292146 - x3) + 43.2470012918796*sqr(
0.938639730478836 - x4) - x807 =E= 0;
e807.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x807) + 1.66666666666667*
x807)*exp(-2.23606797749979*sqrt(x807)) - x808 =E= 0;
e808.. 27.1662452477335*sqr(0.969439947120936 - x3) + 43.2470012918796*sqr(
0.505594090640346 - x4) - x809 =E= 0;
e809.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x809) + 1.66666666666667*
x809)*exp(-2.23606797749979*sqrt(x809)) - x810 =E= 0;
e810.. 27.1662452477335*sqr(0.18989281584012 - x3) + 43.2470012918796*sqr(
0.0651242104642754 - x4) - x811 =E= 0;
e811.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x811) + 1.66666666666667*
x811)*exp(-2.23606797749979*sqrt(x811)) - x812 =E= 0;
e812.. 27.1662452477335*sqr(0.322889846390698 - x3) + 43.2470012918796*sqr(
0.775590086690597 - x4) - x813 =E= 0;
e813.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x813) + 1.66666666666667*
x813)*exp(-2.23606797749979*sqrt(x813)) - x814 =E= 0;
e814.. 27.1662452477335*sqr(0.231697735202888 - x3) + 43.2470012918796*sqr(
0.0277496225595551 - x4) - x815 =E= 0;
e815.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x815) + 1.66666666666667*
x815)*exp(-2.23606797749979*sqrt(x815)) - x816 =E= 0;
e816.. 27.1662452477335*sqr(0.42449965188809 - x3) + 43.2470012918796*sqr(
0.947855724484902 - x4) - x817 =E= 0;
e817.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x817) + 1.66666666666667*
x817)*exp(-2.23606797749979*sqrt(x817)) - x818 =E= 0;
e818.. 27.1662452477335*sqr(0.152031375356587 - x3) + 43.2470012918796*sqr(
0.700765445526699 - x4) - x819 =E= 0;
e819.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x819) + 1.66666666666667*
x819)*exp(-2.23606797749979*sqrt(x819)) - x820 =E= 0;
e820.. 27.1662452477335*sqr(0.412102327292144 - x3) + 43.2470012918796*sqr(
0.47674881865433 - x4) - x821 =E= 0;
e821.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x821) + 1.66666666666667*
x821)*exp(-2.23606797749979*sqrt(x821)) - x822 =E= 0;
e822.. 27.1662452477335*sqr(0.597427629602751 - x3) + 43.2470012918796*sqr(
0.792883875717531 - x4) - x823 =E= 0;
e823.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x823) + 1.66666666666667*
x823)*exp(-2.23606797749979*sqrt(x823)) - x824 =E= 0;
e824.. 27.1662452477335*sqr(0.170225040975524 - x3) + 43.2470012918796*sqr(
0.484286552285204 - x4) - x825 =E= 0;
e825.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x825) + 1.66666666666667*
x825)*exp(-2.23606797749979*sqrt(x825)) - x826 =E= 0;
e826.. 27.1662452477335*sqr(0.63680466409646 - x3) + 43.2470012918796*sqr(
0.594744794397989 - x4) - x827 =E= 0;
e827.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x827) + 1.66666666666667*
x827)*exp(-2.23606797749979*sqrt(x827)) - x828 =E= 0;
e828.. 27.1662452477335*sqr(0.0330819228043638 - x3) + 43.2470012918796*sqr(
0.0889801218133205 - x4) - x829 =E= 0;
e829.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x829) + 1.66666666666667*
x829)*exp(-2.23606797749979*sqrt(x829)) - x830 =E= 0;
e830.. 27.1662452477335*sqr(0.831462526137222 - x3) + 43.2470012918796*sqr(
0.653979635876809 - x4) - x831 =E= 0;
e831.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x831) + 1.66666666666667*
x831)*exp(-2.23606797749979*sqrt(x831)) - x832 =E= 0;
e832.. 27.1662452477335*sqr(0.849127987975245 - x3) + 43.2470012918796*sqr(
0.994860653058379 - x4) - x833 =E= 0;
e833.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x833) + 1.66666666666667*
x833)*exp(-2.23606797749979*sqrt(x833)) - x834 =E= 0;
e834.. 27.1662452477335*sqr(0.635300345935959 - x3) + 43.2470012918796*sqr(
0.68267594633259 - x4) - x835 =E= 0;
e835.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x835) + 1.66666666666667*
x835)*exp(-2.23606797749979*sqrt(x835)) - x836 =E= 0;
e836.. 27.1662452477335*sqr(0.0252724390207603 - x3) + 43.2470012918796*sqr(
0.293160101410203 - x4) - x837 =E= 0;
e837.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x837) + 1.66666666666667*
x837)*exp(-2.23606797749979*sqrt(x837)) - x838 =E= 0;
e838.. 27.1662452477335*sqr(0.42915847398597 - x3) + 43.2470012918796*sqr(
0.73513516390197 - x4) - x839 =E= 0;
e839.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x839) + 1.66666666666667*
x839)*exp(-2.23606797749979*sqrt(x839)) - x840 =E= 0;
e840.. 27.1662452477335*sqr(0.92932756055311 - x3) + 43.2470012918796*sqr(
0.0361889397277132 - x4) - x841 =E= 0;
e841.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x841) + 1.66666666666667*
x841)*exp(-2.23606797749979*sqrt(x841)) - x842 =E= 0;
e842.. 27.1662452477335*sqr(0.731193839135701 - x3) + 43.2470012918796*sqr(
0.900186970471255 - x4) - x843 =E= 0;
e843.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x843) + 1.66666666666667*
x843)*exp(-2.23606797749979*sqrt(x843)) - x844 =E= 0;
e844.. 27.1662452477335*sqr(0.00217763479964073 - x3) + 43.2470012918796*sqr(
0.0510366422445549 - x4) - x845 =E= 0;
e845.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x845) + 1.66666666666667*
x845)*exp(-2.23606797749979*sqrt(x845)) - x846 =E= 0;
e846.. 27.1662452477335*sqr(0.0511339761471033 - x3) + 43.2470012918796*sqr(
0.132477614624623 - x4) - x847 =E= 0;
e847.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x847) + 1.66666666666667*
x847)*exp(-2.23606797749979*sqrt(x847)) - x848 =E= 0;
e848.. 27.1662452477335*sqr(0.891442851883888 - x3) + 43.2470012918796*sqr(
0.408116458431941 - x4) - x849 =E= 0;
e849.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x849) + 1.66666666666667*
x849)*exp(-2.23606797749979*sqrt(x849)) - x850 =E= 0;
e850.. 27.1662452477335*sqr(0.442940944234575 - x3) + 43.2470012918796*sqr(
0.829901126837549 - x4) - x851 =E= 0;
e851.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x851) + 1.66666666666667*
x851)*exp(-2.23606797749979*sqrt(x851)) - x852 =E= 0;
e852.. 27.1662452477335*sqr(0.142826747360998 - x3) + 43.2470012918796*sqr(
0.547896107868778 - x4) - x853 =E= 0;
e853.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x853) + 1.66666666666667*
x853)*exp(-2.23606797749979*sqrt(x853)) - x854 =E= 0;
e854.. 27.1662452477335*sqr(0.951066487294141 - x3) + 43.2470012918796*sqr(
0.581619557914847 - x4) - x855 =E= 0;
e855.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x855) + 1.66666666666667*
x855)*exp(-2.23606797749979*sqrt(x855)) - x856 =E= 0;
e856.. 27.1662452477335*sqr(0.0384871131900646 - x3) + 43.2470012918796*sqr(
0.780249848977258 - x4) - x857 =E= 0;
e857.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x857) + 1.66666666666667*
x857)*exp(-2.23606797749979*sqrt(x857)) - x858 =E= 0;
e858.. 27.1662452477335*sqr(0.313682038517884 - x3) + 43.2470012918796*sqr(
0.3425634371503 - x4) - x859 =E= 0;
e859.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x859) + 1.66666666666667*
x859)*exp(-2.23606797749979*sqrt(x859)) - x860 =E= 0;
e860.. 27.1662452477335*sqr(0.980437388264172 - x3) + 43.2470012918796*sqr(
0.523040229322358 - x4) - x861 =E= 0;
e861.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x861) + 1.66666666666667*
x861)*exp(-2.23606797749979*sqrt(x861)) - x862 =E= 0;
e862.. 27.1662452477335*sqr(0.617144599666738 - x3) + 43.2470012918796*sqr(
0.319645741807529 - x4) - x863 =E= 0;
e863.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x863) + 1.66666666666667*
x863)*exp(-2.23606797749979*sqrt(x863)) - x864 =E= 0;
e864.. 27.1662452477335*sqr(0.682354348796193 - x3) + 43.2470012918796*sqr(
0.107655532954113 - x4) - x865 =E= 0;
e865.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x865) + 1.66666666666667*
x865)*exp(-2.23606797749979*sqrt(x865)) - x866 =E= 0;
e866.. 27.1662452477335*sqr(0.801421964317332 - x3) + 43.2470012918796*sqr(
0.675887948852262 - x4) - x867 =E= 0;
e867.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x867) + 1.66666666666667*
x867)*exp(-2.23606797749979*sqrt(x867)) - x868 =E= 0;
e868.. 27.1662452477335*sqr(0.354405867638494 - x3) + 43.2470012918796*sqr(
0.76766356926167 - x4) - x869 =E= 0;
e869.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x869) + 1.66666666666667*
x869)*exp(-2.23606797749979*sqrt(x869)) - x870 =E= 0;
e870.. 27.1662452477335*sqr(0.49893652515793 - x3) + 43.2470012918796*sqr(
0.940962379152507 - x4) - x871 =E= 0;
e871.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x871) + 1.66666666666667*
x871)*exp(-2.23606797749979*sqrt(x871)) - x872 =E= 0;
e872.. 27.1662452477335*sqr(0.416416005265173 - x3) + 43.2470012918796*sqr(
0.930770217333435 - x4) - x873 =E= 0;
e873.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x873) + 1.66666666666667*
x873)*exp(-2.23606797749979*sqrt(x873)) - x874 =E= 0;
e874.. 27.1662452477335*sqr(0.542494943442688 - x3) + 43.2470012918796*sqr(
0.137281052623229 - x4) - x875 =E= 0;
e875.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x875) + 1.66666666666667*
x875)*exp(-2.23606797749979*sqrt(x875)) - x876 =E= 0;
e876.. 27.1662452477335*sqr(0.0976601297107646 - x3) + 43.2470012918796*sqr(
0.737058478366583 - x4) - x877 =E= 0;
e877.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x877) + 1.66666666666667*
x877)*exp(-2.23606797749979*sqrt(x877)) - x878 =E= 0;
e878.. 27.1662452477335*sqr(0.615272071167734 - x3) + 43.2470012918796*sqr(
0.657547196043798 - x4) - x879 =E= 0;
e879.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x879) + 1.66666666666667*
x879)*exp(-2.23606797749979*sqrt(x879)) - x880 =E= 0;
e880.. 27.1662452477335*sqr(0.537506002627499 - x3) + 43.2470012918796*sqr(
0.162975026707029 - x4) - x881 =E= 0;
e881.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x881) + 1.66666666666667*
x881)*exp(-2.23606797749979*sqrt(x881)) - x882 =E= 0;
e882.. 27.1662452477335*sqr(0.287268123633552 - x3) + 43.2470012918796*sqr(
0.487590754566677 - x4) - x883 =E= 0;
e883.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x883) + 1.66666666666667*
x883)*exp(-2.23606797749979*sqrt(x883)) - x884 =E= 0;
e884.. 27.1662452477335*sqr(0.0630006471539934 - x3) + 43.2470012918796*sqr(
0.453006592213626 - x4) - x885 =E= 0;
e885.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x885) + 1.66666666666667*
x885)*exp(-2.23606797749979*sqrt(x885)) - x886 =E= 0;
e886.. 27.1662452477335*sqr(0.695005133645737 - x3) + 43.2470012918796*sqr(
0.515707376582447 - x4) - x887 =E= 0;
e887.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x887) + 1.66666666666667*
x887)*exp(-2.23606797749979*sqrt(x887)) - x888 =E= 0;
e888.. 27.1662452477335*sqr(0.500510022172335 - x3) + 43.2470012918796*sqr(
0.541291304748246 - x4) - x889 =E= 0;
e889.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x889) + 1.66666666666667*
x889)*exp(-2.23606797749979*sqrt(x889)) - x890 =E= 0;
e890.. 27.1662452477335*sqr(0.692240325884228 - x3) + 43.2470012918796*sqr(
0.333004470769534 - x4) - x891 =E= 0;
e891.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x891) + 1.66666666666667*
x891)*exp(-2.23606797749979*sqrt(x891)) - x892 =E= 0;
e892.. 27.1662452477335*sqr(0.881922011185306 - x3) + 43.2470012918796*sqr(
0.844497503200806 - x4) - x893 =E= 0;
e893.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x893) + 1.66666666666667*
x893)*exp(-2.23606797749979*sqrt(x893)) - x894 =E= 0;
e894.. 27.1662452477335*sqr(0.685973000587609 - x3) + 43.2470012918796*sqr(
0.965288930059933 - x4) - x895 =E= 0;
e895.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x895) + 1.66666666666667*
x895)*exp(-2.23606797749979*sqrt(x895)) - x896 =E= 0;
e896.. 27.1662452477335*sqr(0.490358819197014 - x3) + 43.2470012918796*sqr(
0.777452011914149 - x4) - x897 =E= 0;
e897.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x897) + 1.66666666666667*
x897)*exp(-2.23606797749979*sqrt(x897)) - x898 =E= 0;
e898.. 27.1662452477335*sqr(0.70635674474298 - x3) + 43.2470012918796*sqr(
0.268740680223864 - x4) - x899 =E= 0;
e899.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x899) + 1.66666666666667*
x899)*exp(-2.23606797749979*sqrt(x899)) - x900 =E= 0;
e900.. 27.1662452477335*sqr(0.184448813037908 - x3) + 43.2470012918796*sqr(
0.115495192795552 - x4) - x901 =E= 0;
e901.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x901) + 1.66666666666667*
x901)*exp(-2.23606797749979*sqrt(x901)) - x902 =E= 0;
e902.. 27.1662452477335*sqr(0.659881186035196 - x3) + 43.2470012918796*sqr(
0.825504933824537 - x4) - x903 =E= 0;
e903.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x903) + 1.66666666666667*
x903)*exp(-2.23606797749979*sqrt(x903)) - x904 =E= 0;
e904.. 27.1662452477335*sqr(0.223627208740802 - x3) + 43.2470012918796*sqr(
0.0613241281269182 - x4) - x905 =E= 0;
e905.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x905) + 1.66666666666667*
x905)*exp(-2.23606797749979*sqrt(x905)) - x906 =E= 0;
e906.. 27.1662452477335*sqr(0.709632934148682 - x3) + 43.2470012918796*sqr(
0.285037106568596 - x4) - x907 =E= 0;
e907.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x907) + 1.66666666666667*
x907)*exp(-2.23606797749979*sqrt(x907)) - x908 =E= 0;
e908.. 27.1662452477335*sqr(0.851540296369484 - x3) + 43.2470012918796*sqr(
0.086158166603444 - x4) - x909 =E= 0;
e909.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x909) + 1.66666666666667*
x909)*exp(-2.23606797749979*sqrt(x909)) - x910 =E= 0;
e910.. 27.1662452477335*sqr(0.711756586135393 - x3) + 43.2470012918796*sqr(
0.0715711004545846 - x4) - x911 =E= 0;
e911.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x911) + 1.66666666666667*
x911)*exp(-2.23606797749979*sqrt(x911)) - x912 =E= 0;
e912.. 27.1662452477335*sqr(0.976479318742048 - x3) + 43.2470012918796*sqr(
0.913684435322581 - x4) - x913 =E= 0;
e913.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x913) + 1.66666666666667*
x913)*exp(-2.23606797749979*sqrt(x913)) - x914 =E= 0;
e914.. 27.1662452477335*sqr(0.697939114359669 - x3) + 43.2470012918796*sqr(
0.589220900393989 - x4) - x915 =E= 0;
e915.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x915) + 1.66666666666667*
x915)*exp(-2.23606797749979*sqrt(x915)) - x916 =E= 0;
e916.. 27.1662452477335*sqr(0.455851991383572 - x3) + 43.2470012918796*sqr(
0.806951466974741 - x4) - x917 =E= 0;
e917.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x917) + 1.66666666666667*
x917)*exp(-2.23606797749979*sqrt(x917)) - x918 =E= 0;
e918.. 27.1662452477335*sqr(0.897565256840683 - x3) + 43.2470012918796*sqr(
0.59359415240382 - x4) - x919 =E= 0;
e919.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x919) + 1.66666666666667*
x919)*exp(-2.23606797749979*sqrt(x919)) - x920 =E= 0;
e920.. 27.1662452477335*sqr(0.782191080098173 - x3) + 43.2470012918796*sqr(
0.155596805964259 - x4) - x921 =E= 0;
e921.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x921) + 1.66666666666667*
x921)*exp(-2.23606797749979*sqrt(x921)) - x922 =E= 0;
e922.. 27.1662452477335*sqr(0.19567842660381 - x3) + 43.2470012918796*sqr(
0.455661428119395 - x4) - x923 =E= 0;
e923.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x923) + 1.66666666666667*
x923)*exp(-2.23606797749979*sqrt(x923)) - x924 =E= 0;
e924.. 27.1662452477335*sqr(0.0048621080614352 - x3) + 43.2470012918796*sqr(
0.742839049375194 - x4) - x925 =E= 0;
e925.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x925) + 1.66666666666667*
x925)*exp(-2.23606797749979*sqrt(x925)) - x926 =E= 0;
e926.. 27.1662452477335*sqr(0.383270438799809 - x3) + 43.2470012918796*sqr(
0.768622006971685 - x4) - x927 =E= 0;
e927.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x927) + 1.66666666666667*
x927)*exp(-2.23606797749979*sqrt(x927)) - x928 =E= 0;
e928.. 27.1662452477335*sqr(0.351755242714392 - x3) + 43.2470012918796*sqr(
0.795126487994504 - x4) - x929 =E= 0;
e929.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x929) + 1.66666666666667*
x929)*exp(-2.23606797749979*sqrt(x929)) - x930 =E= 0;
e930.. 27.1662452477335*sqr(0.411152622218791 - x3) + 43.2470012918796*sqr(
0.229992507879707 - x4) - x931 =E= 0;
e931.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x931) + 1.66666666666667*
x931)*exp(-2.23606797749979*sqrt(x931)) - x932 =E= 0;
e932.. 27.1662452477335*sqr(0.24356169751971 - x3) + 43.2470012918796*sqr(
0.873277964273447 - x4) - x933 =E= 0;
e933.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x933) + 1.66666666666667*
x933)*exp(-2.23606797749979*sqrt(x933)) - x934 =E= 0;
e934.. 27.1662452477335*sqr(0.39841486843012 - x3) + 43.2470012918796*sqr(
0.996846303362883 - x4) - x935 =E= 0;
e935.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x935) + 1.66666666666667*
x935)*exp(-2.23606797749979*sqrt(x935)) - x936 =E= 0;
e936.. 27.1662452477335*sqr(0.169382030435713 - x3) + 43.2470012918796*sqr(
0.85429922013446 - x4) - x937 =E= 0;
e937.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x937) + 1.66666666666667*
x937)*exp(-2.23606797749979*sqrt(x937)) - x938 =E= 0;
e938.. 27.1662452477335*sqr(0.357732261743152 - x3) + 43.2470012918796*sqr(
0.172854393303001 - x4) - x939 =E= 0;
e939.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x939) + 1.66666666666667*
x939)*exp(-2.23606797749979*sqrt(x939)) - x940 =E= 0;
e940.. 27.1662452477335*sqr(0.266134893522171 - x3) + 43.2470012918796*sqr(
0.11852741548195 - x4) - x941 =E= 0;
e941.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x941) + 1.66666666666667*
x941)*exp(-2.23606797749979*sqrt(x941)) - x942 =E= 0;
e942.. 27.1662452477335*sqr(0.524697048844232 - x3) + 43.2470012918796*sqr(
0.749617925614065 - x4) - x943 =E= 0;
e943.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x943) + 1.66666666666667*
x943)*exp(-2.23606797749979*sqrt(x943)) - x944 =E= 0;
e944.. 27.1662452477335*sqr(0.103499811674444 - x3) + 43.2470012918796*sqr(
0.926732858124682 - x4) - x945 =E= 0;
e945.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x945) + 1.66666666666667*
x945)*exp(-2.23606797749979*sqrt(x945)) - x946 =E= 0;
e946.. 27.1662452477335*sqr(0.139862764093905 - x3) + 43.2470012918796*sqr(
0.689537799366872 - x4) - x947 =E= 0;
e947.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x947) + 1.66666666666667*
x947)*exp(-2.23606797749979*sqrt(x947)) - x948 =E= 0;
e948.. 27.1662452477335*sqr(0.340607976051574 - x3) + 43.2470012918796*sqr(
0.00490456126459475 - x4) - x949 =E= 0;
e949.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x949) + 1.66666666666667*
x949)*exp(-2.23606797749979*sqrt(x949)) - x950 =E= 0;
e950.. 27.1662452477335*sqr(0.123124636828854 - x3) + 43.2470012918796*sqr(
0.278112566857454 - x4) - x951 =E= 0;
e951.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x951) + 1.66666666666667*
x951)*exp(-2.23606797749979*sqrt(x951)) - x952 =E= 0;
e952.. 27.1662452477335*sqr(0.124682750477531 - x3) + 43.2470012918796*sqr(
0.537837365856144 - x4) - x953 =E= 0;
e953.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x953) + 1.66666666666667*
x953)*exp(-2.23606797749979*sqrt(x953)) - x954 =E= 0;
e954.. 27.1662452477335*sqr(0.314852077970561 - x3) + 43.2470012918796*sqr(
0.480955665991986 - x4) - x955 =E= 0;
e955.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x955) + 1.66666666666667*
x955)*exp(-2.23606797749979*sqrt(x955)) - x956 =E= 0;
e956.. 27.1662452477335*sqr(0.11172082373676 - x3) + 43.2470012918796*sqr(
0.0324063198632523 - x4) - x957 =E= 0;
e957.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x957) + 1.66666666666667*
x957)*exp(-2.23606797749979*sqrt(x957)) - x958 =E= 0;
e958.. 27.1662452477335*sqr(0.112236055581894 - x3) + 43.2470012918796*sqr(
0.643705530141478 - x4) - x959 =E= 0;
e959.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x959) + 1.66666666666667*
x959)*exp(-2.23606797749979*sqrt(x959)) - x960 =E= 0;
e960.. 27.1662452477335*sqr(0.900229415569456 - x3) + 43.2470012918796*sqr(
0.0667011025290363 - x4) - x961 =E= 0;
e961.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x961) + 1.66666666666667*
x961)*exp(-2.23606797749979*sqrt(x961)) - x962 =E= 0;
e962.. 27.1662452477335*sqr(0.430760580224148 - x3) + 43.2470012918796*sqr(
0.25014020235992 - x4) - x963 =E= 0;
e963.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x963) + 1.66666666666667*
x963)*exp(-2.23606797749979*sqrt(x963)) - x964 =E= 0;
e964.. 27.1662452477335*sqr(0.841324438918197 - x3) + 43.2470012918796*sqr(
0.145258502868083 - x4) - x965 =E= 0;
e965.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x965) + 1.66666666666667*
x965)*exp(-2.23606797749979*sqrt(x965)) - x966 =E= 0;
e966.. 27.1662452477335*sqr(0.375434921114287 - x3) + 43.2470012918796*sqr(
0.335989046853343 - x4) - x967 =E= 0;
e967.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x967) + 1.66666666666667*
x967)*exp(-2.23606797749979*sqrt(x967)) - x968 =E= 0;
e968.. 27.1662452477335*sqr(0.886737308344132 - x3) + 43.2470012918796*sqr(
0.330073137305186 - x4) - x969 =E= 0;
e969.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x969) + 1.66666666666667*
x969)*exp(-2.23606797749979*sqrt(x969)) - x970 =E= 0;
e970.. 27.1662452477335*sqr(0.933424241273706 - x3) + 43.2470012918796*sqr(
0.810610558047821 - x4) - x971 =E= 0;
e971.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x971) + 1.66666666666667*
x971)*exp(-2.23606797749979*sqrt(x971)) - x972 =E= 0;
e972.. 27.1662452477335*sqr(0.828954753100793 - x3) + 43.2470012918796*sqr(
0.648806182926153 - x4) - x973 =E= 0;
e973.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x973) + 1.66666666666667*
x973)*exp(-2.23606797749979*sqrt(x973)) - x974 =E= 0;
e974.. 27.1662452477335*sqr(0.0759628153796148 - x3) + 43.2470012918796*sqr(
0.465100964428312 - x4) - x975 =E= 0;
e975.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x975) + 1.66666666666667*
x975)*exp(-2.23606797749979*sqrt(x975)) - x976 =E= 0;
e976.. 27.1662452477335*sqr(0.691938609444945 - x3) + 43.2470012918796*sqr(
0.883336691911897 - x4) - x977 =E= 0;
e977.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x977) + 1.66666666666667*
x977)*exp(-2.23606797749979*sqrt(x977)) - x978 =E= 0;
e978.. 27.1662452477335*sqr(0.00753751497759914 - x3) + 43.2470012918796*sqr(
0.95935598324838 - x4) - x979 =E= 0;
e979.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x979) + 1.66666666666667*
x979)*exp(-2.23606797749979*sqrt(x979)) - x980 =E= 0;
e980.. 27.1662452477335*sqr(0.317993288136887 - x3) + 43.2470012918796*sqr(
0.328682184278591 - x4) - x981 =E= 0;
e981.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x981) + 1.66666666666667*
x981)*exp(-2.23606797749979*sqrt(x981)) - x982 =E= 0;
e982.. 27.1662452477335*sqr(0.158405825475777 - x3) + 43.2470012918796*sqr(
0.518463465875406 - x4) - x983 =E= 0;
e983.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x983) + 1.66666666666667*
x983)*exp(-2.23606797749979*sqrt(x983)) - x984 =E= 0;
e984.. 27.1662452477335*sqr(0.762296858315698 - x3) + 43.2470012918796*sqr(
0.835178703721879 - x4) - x985 =E= 0;
e985.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x985) + 1.66666666666667*
x985)*exp(-2.23606797749979*sqrt(x985)) - x986 =E= 0;
e986.. 27.1662452477335*sqr(0.916945691272511 - x3) + 43.2470012918796*sqr(
0.344960990720973 - x4) - x987 =E= 0;
e987.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x987) + 1.66666666666667*
x987)*exp(-2.23606797749979*sqrt(x987)) - x988 =E= 0;
e988.. 27.1662452477335*sqr(0.0305773615205169 - x3) + 43.2470012918796*sqr(
0.708811405619354 - x4) - x989 =E= 0;
e989.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x989) + 1.66666666666667*
x989)*exp(-2.23606797749979*sqrt(x989)) - x990 =E= 0;
e990.. 27.1662452477335*sqr(0.0718469354904781 - x3) + 43.2470012918796*sqr(
0.953668167747815 - x4) - x991 =E= 0;
e991.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x991) + 1.66666666666667*
x991)*exp(-2.23606797749979*sqrt(x991)) - x992 =E= 0;
e992.. 27.1662452477335*sqr(0.0801333356666913 - x3) + 43.2470012918796*sqr(
0.925761185899698 - x4) - x993 =E= 0;
e993.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x993) + 1.66666666666667*
x993)*exp(-2.23606797749979*sqrt(x993)) - x994 =E= 0;
e994.. 27.1662452477335*sqr(0.0431650731592888 - x3) + 43.2470012918796*sqr(
0.613972813341279 - x4) - x995 =E= 0;
e995.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x995) + 1.66666666666667*
x995)*exp(-2.23606797749979*sqrt(x995)) - x996 =E= 0;
e996.. 27.1662452477335*sqr(0.572716664535828 - x3) + 43.2470012918796*sqr(
0.339017764151737 - x4) - x997 =E= 0;
e997.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x997) + 1.66666666666667*
x997)*exp(-2.23606797749979*sqrt(x997)) - x998 =E= 0;
e998.. 27.1662452477335*sqr(0.703010725423456 - x3) + 43.2470012918796*sqr(
0.678622351383967 - x4) - x999 =E= 0;
e999.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x999) + 1.66666666666667*
x999)*exp(-2.23606797749979*sqrt(x999)) - x1000 =E= 0;
e1000.. 27.1662452477335*sqr(0.626963476147255 - x3) + 43.2470012918796*sqr(
0.578301848395976 - x4) - x1001 =E= 0;
e1001.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x1001) + 1.66666666666667*
x1001)*exp(-2.23606797749979*sqrt(x1001)) - x1002 =E= 0;
e1002.. 27.1662452477335*sqr(0.440627034276644 - x3) + 43.2470012918796*sqr(
0.908233972682601 - x4) - x1003 =E= 0;
e1003.. 0.751749152741872*(1 + 2.23606797749979*sqrt(x1003) + 1.66666666666667*
x1003)*exp(-2.23606797749979*sqrt(x1003)) - x1004 =E= 0;
e1004.. 0.0341600148481219*x6 + 0.0979795336343189*x8
- 0.120995657425419*x10 + 0.0946546752708077*x12
- 0.0298635326982811*x14 - 0.022217397022874*x16
- 0.272968399321059*x18 - 0.0452624659736087*x20
+ 0.0094860172008649*x22 + 0.00344197274889579*x24
- 0.0727849813022409*x26 - 0.114503901539425*x28
+ 0.0100142918899764*x30 - 0.0819174091393652*x32
- 0.011786372615273*x34 - 0.0243207011633601*x36
- 0.0156084460139818*x38 - 0.0167328340899834*x40
+ 0.145638983689591*x42 + 0.109329602650861*x44
+ 0.0447373601358117*x46 + 0.081425143286302*x48
- 0.00841078981324351*x50 - 0.0160975766274983*x52
- 0.0163444910576916*x54 - 0.301945804648267*x56
+ 1.02980655120141*x58 + 0.0387956022202738*x60
+ 0.0105430376531281*x62 - 0.0256219054754386*x64
- 0.253183237687987*x66 - 0.038867072793883*x68
- 0.122406309314487*x70 - 0.368758016004067*x72
+ 0.029329782281755*x74 + 0.17862639376289*x76
+ 0.0317758504677762*x78 - 0.0581302961667483*x80
- 0.0472909049294917*x82 - 0.0114144800970242*x84
+ 0.31461071521942*x86 - 0.0735665254541742*x88
- 0.00143950690653576*x90 - 0.0865552030469345*x92
+ 0.160752716318185*x94 - 0.031700149196504*x96
+ 0.0150209884282278*x98 + 0.0549655003654948*x100
+ 0.0182494066950456*x102 - 0.61106195054439*x104
+ 0.471383423972144*x106 + 0.00478043276866663*x108
- 0.514489014662235*x110 - 0.0168559073671593*x112
+ 0.141783535795513*x114 - 0.0162559304726311*x116
- 0.0527426364829042*x118 - 0.0191066901071376*x120
+ 0.00287113622174455*x122 + 0.0220854704236261*x124
- 0.210747005186619*x126 + 0.0190612773813586*x128
- 0.0228738783639034*x130 + 0.420947045956055*x132
+ 0.0303817148769794*x134 + 0.603091988152564*x136
- 0.0182071867935457*x138 + 0.416631462185538*x140
- 0.0227424580847119*x142 - 0.0667002110868557*x144
- 0.0501944842451191*x146 - 0.588869934988557*x148
- 0.0106342743202195*x150 - 0.647970792146061*x152
+ 0.0226298346522097*x154 + 0.489523131184221*x156
- 0.00143356961665628*x158 - 0.013952114495118*x160
+ 0.0399158082656822*x162 + 0.018547161041428*x164
- 0.0160794414793279*x166 - 0.229816908882408*x168
- 0.158414755274577*x170 + 0.305279805444132*x172
- 0.00870080617925877*x174 + 0.0860317801430037*x176
- 0.637217644867122*x178 + 0.0977557912417929*x180
+ 0.108184603569083*x182 - 0.0141887556418677*x184
- 0.0163822014314652*x186 + 0.0430985313045128*x188
+ 0.0200754548222256*x190 - 0.0210957906899421*x192
+ 0.142673919013487*x194 + 0.01512466535433*x196
- 0.449384984900903*x198 + 0.10013009894849*x200
+ 0.032723966247503*x202 - 0.467988836401473*x204
- 0.301889801587314*x206 - 0.0608689938163466*x208
+ 0.646113416584863*x210 + 0.412379760099511*x212
+ 0.458120246171021*x214 - 0.651359556663095*x216
- 0.0629484633821912*x218 - 0.000848256324487822*x220
+ 0.00243020293988768*x222 + 0.114158006924787*x224
+ 0.13055146810126*x226 - 0.119898834400423*x228
+ 0.0072483213459889*x230 - 0.0094672553776085*x232
+ 0.449112551261169*x234 - 0.123744712413418*x236
- 0.0539997689012194*x238 - 0.365272952202338*x240
+ 0.129772747868051*x242 + 0.0635480469391159*x244
- 0.313001428599407*x246 - 0.01982162998953*x248
- 0.0181996016955945*x250 - 0.0345705328090143*x252
- 0.12195289547624*x254 - 0.589680420037769*x256
- 0.0652834637510734*x258 + 0.00928293596707335*x260
+ 0.00409032578325347*x262 - 0.136627730689786*x264
- 0.0633326957382821*x266 - 0.10321678040008*x268
+ 0.0873289458100339*x270 + 0.0648538648991277*x272
- 0.125676806878478*x274 - 0.302931261193804*x276
- 0.0162003530755618*x278 - 0.0190987676259237*x280
+ 0.0490666154355502*x282 + 0.347820260722282*x284
- 0.114916723992856*x286 + 0.00985423013374717*x288
- 0.00287049432874353*x290 + 0.0531213780945763*x292
+ 0.151485896916291*x294 + 0.0262043102238093*x296
- 0.0463646006285739*x298 - 0.491452904185071*x300
+ 0.445648523239882*x302 - 0.0139143187182222*x304
+ 0.00526086106994492*x306 - 0.0975776806413187*x308
- 0.021034388055014*x310 - 0.0167838902597492*x312
- 0.126209847407341*x314 + 0.201980278102871*x316
+ 0.680980544915147*x318 - 0.126402760084803*x320
+ 0.00564402876293776*x322 - 0.163434634483667*x324
+ 0.000269262185488011*x326 + 0.53773914955394*x328
+ 0.0096246499689809*x330 - 0.00478337028707373*x332
+ 0.142787364295048*x334 + 0.322695084739056*x336
- 0.0188119292810431*x338 + 0.132619109328014*x340
+ 0.013148146399258*x342 - 0.0227041113726451*x344
- 0.194918901748173*x346 - 0.419735556117077*x348
+ 0.264182103519576*x350 + 0.0294903903416083*x352
- 0.035611389534425*x354 - 0.0500868164162941*x356
- 0.0157700167727432*x358 - 0.00690849707352437*x360
- 0.0996198061601817*x362 - 0.0434364398894329*x364
- 0.295781140493275*x366 - 0.0241188645474883*x368
+ 0.0501703964944898*x370 + 0.0748040750749038*x372
- 0.0113673931111933*x374 + 0.0155264938884753*x376
- 0.268325162968116*x378 - 0.00887163276135681*x380
+ 0.107034057566333*x382 - 0.77599902774781*x384
+ 0.0164217058821432*x386 - 0.0737760878940959*x388
- 0.0385116878635394*x390 - 0.011015005528512*x392
- 0.0234500624985348*x394 - 0.0245032796292227*x396
+ 0.0317164724657912*x398 - 0.0155981603727823*x400
- 0.508964320248674*x402 - 0.141710025813803*x404
- 0.0225441951860794*x406 + 0.0239057089572668*x408
- 0.081237626943305*x410 - 0.34177201925193*x412
+ 0.060754956266555*x414 - 0.0414987660184217*x416
- 0.0566105080582234*x418 - 0.06715229014015*x420
- 0.0288322959619496*x422 - 0.241751364059094*x424
+ 0.499747572831661*x426 - 0.0624994109143559*x428
- 0.0396128785105349*x430 - 0.122617610586687*x432
- 0.0606208318205652*x434 + 0.117237241632173*x436
+ 0.165299678686058*x438 - 0.336909724229019*x440
- 0.077221538531894*x442 + 0.00872261919462123*x444
+ 0.123071112113336*x446 - 0.0197155306639107*x448
+ 0.0990079805229676*x450 + 0.0269763302336238*x452
- 0.105601514534466*x454 + 0.00946086086267746*x456
+ 0.052757701469042*x458 - 0.0109564110023737*x460
- 0.120869280561739*x462 + 0.145548596083933*x464
- 0.0680063784447426*x466 - 0.313270483964536*x468
+ 0.0226299766421642*x470 - 0.0428727021791266*x472
+ 0.0266436122910495*x474 - 0.0522619349649336*x476
- 0.060913023787516*x478 + 0.219255111652303*x480
- 0.0273195086173236*x482 - 0.00831566212615017*x484
- 0.0506289263812687*x486 - 0.00939764872829267*x488
+ 0.160045509844173*x490 - 0.0659527024835706*x492
- 0.161785856303072*x494 - 0.67013726958724*x496
+ 0.411176500695567*x498 - 0.128992684694741*x500
+ 0.337995651236906*x502 + 0.825601287950275*x504
+ 0.00561045807836193*x506 - 0.295572408716233*x508
+ 0.00045038768330427*x510 + 0.0135138874884149*x512
+ 0.0216694498624674*x514 + 0.0242553747423883*x516
+ 0.0656975506871005*x518 - 0.0553339614776624*x520
+ 0.0718563526344171*x522 - 0.00777438846306128*x524
- 0.135202984920109*x526 + 0.0100575239420226*x528
- 0.0169534107065352*x530 - 0.0234853196859616*x532
- 0.00499132660580298*x534 - 0.823907742672555*x536
+ 0.135395759183685*x538 - 0.0693092773649985*x540
+ 0.103641868997351*x542 + 0.0683243304804916*x544
- 0.188001490433303*x546 - 0.0823470893297559*x548
- 0.00674334286180419*x550 + 0.606988814769808*x552
- 0.0770254084627612*x554 - 0.0236218856547848*x556
+ 0.0436454254860404*x558 - 0.413604014284761*x560
+ 0.0179959195479634*x562 - 0.019302552608767*x564
- 0.427422660793469*x566 - 0.025079722760466*x568
- 0.0313700961666173*x570 - 0.150591273721099*x572
- 0.0357575879043075*x574 + 0.0373964688977717*x576
- 0.0489000052433109*x578 - 0.0133137179096027*x580
- 0.319666968951627*x582 + 0.0938063630807836*x584
- 0.0389857880762128*x586 - 0.0247469547837968*x588
+ 0.00728965876281191*x590 + 0.140542152741124*x592
- 0.0653964139627731*x594 + 0.191342752818539*x596
- 0.0156469476700391*x598 + 0.0644280914509274*x600
+ 0.0147868554785601*x602 - 0.0215009621052412*x604
+ 0.245060319506081*x606 - 0.125914294020681*x608
+ 0.322034315878973*x610 + 0.0682515693696955*x612
+ 0.136472984255116*x614 + 0.371715946861043*x616
- 0.261404814270722*x618 + 0.0909248137622085*x620
- 0.0125570265501729*x622 - 0.00616062608444383*x624
+ 0.314717448920623*x626 + 0.0885312000663125*x628
- 0.269647156848272*x630 - 0.209696849627545*x632
+ 0.106150395591526*x634 - 0.219233841533635*x636
- 0.277472981897953*x638 + 0.408273901572957*x640
- 0.0864323765510696*x642 - 0.0537509007772641*x644
- 0.0617012614289958*x646 + 0.20729553481947*x648
- 0.268915997553969*x650 - 0.013533563475219*x652
- 0.0312788441866704*x654 - 0.320180904755647*x656
- 0.069621103122827*x658 - 0.00985015074873264*x660
- 0.185391242607137*x662 + 0.0112294089448182*x664
- 0.00157013649853898*x666 - 0.0205492298513477*x668
+ 0.0995672988734495*x670 - 0.060734889534771*x672
+ 0.100804787993383*x674 - 0.0149338743470503*x676
+ 0.00402410613915523*x678 - 0.0188700928631333*x680
+ 0.0961509726740332*x682 - 0.0709617385115545*x684
+ 0.208072176581716*x686 - 0.108577229135298*x688
+ 0.304865141053008*x690 - 0.0661377772826403*x692
- 0.0473033371445472*x694 - 0.135963309271387*x696
- 0.0112326502778907*x698 - 0.0151150267419386*x700
+ 0.0478990479907173*x702 + 0.0120984729725938*x704
- 0.115942553233057*x706 + 0.352747152792907*x708
- 0.0114734659469818*x710 - 0.112747852112914*x712
+ 0.140546166405537*x714 - 0.00133500408827183*x716
+ 0.0305172658711688*x718 + 0.130622978115647*x720
+ 0.0158072311809629*x722 + 0.0830997221588019*x724
+ 0.0182771084614128*x726 + 0.0167937499088702*x728
- 0.0765539713871854*x730 - 0.00636703834362802*x732
+ 0.455809134799696*x734 - 0.00653688984847866*x736
- 0.0294935548575602*x738 - 0.0803710116527863*x740
+ 0.119954999562781*x742 - 0.0157634392150391*x744
+ 0.06184351808185*x746 - 0.038664800770084*x748
- 0.0898075191949758*x750 - 0.351674548148178*x752
+ 0.299898213530877*x754 - 0.0494433261069708*x756
- 0.105698920009883*x758 + 0.0479362611327416*x760
- 0.127266436225988*x762 - 0.0775179802673377*x764
+ 0.0463427818766422*x766 - 0.0717529826787723*x768
+ 0.268653845508391*x770 + 0.00979478207612765*x772
+ 0.307775578373829*x774 - 0.100626802992434*x776
+ 0.00715486231439428*x778 + 0.0514903739087866*x780
+ 0.00797722158957524*x782 + 0.122351690097175*x784
+ 0.00685886068874795*x786 + 0.0320916820346681*x788
- 0.00450416451054982*x790 - 0.502926960593585*x792
+ 0.222600537956751*x794 - 0.0369201889805226*x796
+ 0.0121189900886368*x798 + 0.0520761687376169*x800
- 0.0101555603723413*x802 - 0.0253267555214308*x804
+ 0.641641860299496*x806 + 0.00517220660803085*x808
- 0.0173444601073147*x810 - 0.018475725134188*x812
- 0.11436725054935*x814 - 0.0300358289540739*x816
- 0.0914570363783298*x818 + 0.0425230101601305*x820
+ 0.642729490422753*x822 + 0.192275073072914*x824
+ 0.0358198628627832*x826 - 0.223479485930894*x828
- 0.00537855061471699*x830 - 0.0525618133117824*x832
+ 0.00444063935698272*x834 - 0.0985762702750572*x836
- 0.0236697263126615*x838 + 0.503161083564218*x840
- 0.0295915917782504*x842 - 0.0445793681203005*x844
- 0.0175850919761975*x846 - 0.0071511586725259*x848
- 0.131871683747362*x850 + 0.144017861073575*x852
+ 0.139826943649235*x854 - 0.0200033276412515*x856
- 0.0107063011732264*x858 + 0.226820333440095*x860
- 0.000759524211424905*x862 - 0.147087789359793*x864
+ 0.144343130981287*x866 - 0.0548264663417938*x868
+ 0.0212381449709956*x870 - 0.121376243010287*x872
- 0.12326148889797*x874 - 0.0741143953518116*x876
+ 0.0146544959795501*x878 - 0.268954399711783*x880
- 0.286520241585909*x882 - 0.416525337425893*x884
+ 0.0384802450496299*x886 + 0.430774102923013*x888
- 0.203100444989231*x890 + 0.279141661659264*x892
+ 0.00939539512601532*x894 + 0.00272725834770286*x896
+ 0.639162161366899*x898 + 0.134711670599915*x900
- 0.021127926618693*x902 - 0.118119167195642*x904
- 0.0142026826389976*x906 + 0.163350877972616*x908
- 0.0223750923996541*x910 + 0.0594073767777764*x912
- 0.0179258931333133*x914 + 0.21931445666029*x916
+ 0.36559478737488*x918 - 0.0690979927165573*x920
+ 0.0571921966773992*x922 - 0.0931902067590894*x924
- 0.0423947983294225*x926 + 0.185925365997151*x928
- 0.0573996894885817*x930 - 0.0841243161351953*x932
- 0.0968707465107924*x934 + 0.0169680559759342*x936
- 0.0185192069034034*x938 + 0.129811515578637*x940
+ 0.0413454999814072*x942 + 0.631492423643644*x944
+ 0.0143179552277055*x946 + 0.0551928323679941*x948
- 0.0264318548699936*x950 - 0.0285999500421198*x952
+ 0.137463195849795*x954 - 0.30480398499372*x956
- 0.0140495073790696*x958 + 0.0811902911860822*x960
- 0.0246349670552147*x962 - 0.154669934152899*x964
- 0.010891774966959*x966 + 0.751344286831456*x968
- 0.0881836479541901*x970 + 0.00985413737297297*x972
- 0.0504944356638946*x974 + 0.0624905582585723*x976
- 0.107361296370846*x978 - 0.032132125513037*x980
+ 0.264756846829663*x982 + 0.101358347671877*x984
- 0.100466697866562*x986 - 0.0678395813146865*x988
- 0.0325017405806211*x990 - 0.00146039726358259*x992
+ 0.00802842605020427*x994 - 0.0122652159791173*x996
- 0.22186074462487*x998 - 0.0318363567839781*x1000
- 0.290142734676226*x1002 - 0.149384031275208*x1004 - x1005 =E= 0;
e1005.. 2.07514381050276*x1005 - x1006 =E= -0.36717822879054;
* set non-default bounds
x1.lo = -3; x1.up = 3;
x2.lo = -3; x2.up = 3;
x3.lo = -1; x3.up = 1;
x4.lo = -1; x4.up = 1;
x5.up = 10000000;
x6.up = 10000000;
x7.up = 10000000;
x8.up = 10000000;
x9.up = 10000000;
x10.up = 10000000;
x11.up = 10000000;
x12.up = 10000000;
x13.up = 10000000;
x14.up = 10000000;
x15.up = 10000000;
x16.up = 10000000;
x17.up = 10000000;
x18.up = 10000000;
x19.up = 10000000;
x20.up = 10000000;
x21.up = 10000000;
x22.up = 10000000;
x23.up = 10000000;
x24.up = 10000000;
x25.up = 10000000;
x26.up = 10000000;
x27.up = 10000000;
x28.up = 10000000;
x29.up = 10000000;
x30.up = 10000000;
x31.up = 10000000;
x32.up = 10000000;
x33.up = 10000000;
x34.up = 10000000;
x35.up = 10000000;
x36.up = 10000000;
x37.up = 10000000;
x38.up = 10000000;
x39.up = 10000000;
x40.up = 10000000;
x41.up = 10000000;
x42.up = 10000000;
x43.up = 10000000;
x44.up = 10000000;
x45.up = 10000000;
x46.up = 10000000;
x47.up = 10000000;
x48.up = 10000000;
x49.up = 10000000;
x50.up = 10000000;
x51.up = 10000000;
x52.up = 10000000;
x53.up = 10000000;
x54.up = 10000000;
x55.up = 10000000;
x56.up = 10000000;
x57.up = 10000000;
x58.up = 10000000;
x59.up = 10000000;
x60.up = 10000000;
x61.up = 10000000;
x62.up = 10000000;
x63.up = 10000000;
x64.up = 10000000;
x65.up = 10000000;
x66.up = 10000000;
x67.up = 10000000;
x68.up = 10000000;
x69.up = 10000000;
x70.up = 10000000;
x71.up = 10000000;
x72.up = 10000000;
x73.up = 10000000;
x74.up = 10000000;
x75.up = 10000000;
x76.up = 10000000;
x77.up = 10000000;
x78.up = 10000000;
x79.up = 10000000;
x80.up = 10000000;
x81.up = 10000000;
x82.up = 10000000;
x83.up = 10000000;
x84.up = 10000000;
x85.up = 10000000;
x86.up = 10000000;
x87.up = 10000000;
x88.up = 10000000;
x89.up = 10000000;
x90.up = 10000000;
x91.up = 10000000;
x92.up = 10000000;
x93.up = 10000000;
x94.up = 10000000;
x95.up = 10000000;
x96.up = 10000000;
x97.up = 10000000;
x98.up = 10000000;
x99.up = 10000000;
x100.up = 10000000;
x101.up = 10000000;
x102.up = 10000000;
x103.up = 10000000;
x104.up = 10000000;
x105.up = 10000000;
x106.up = 10000000;
x107.up = 10000000;
x108.up = 10000000;
x109.up = 10000000;
x110.up = 10000000;
x111.up = 10000000;
x112.up = 10000000;
x113.up = 10000000;
x114.up = 10000000;
x115.up = 10000000;
x116.up = 10000000;
x117.up = 10000000;
x118.up = 10000000;
x119.up = 10000000;
x120.up = 10000000;
x121.up = 10000000;
x122.up = 10000000;
x123.up = 10000000;
x124.up = 10000000;
x125.up = 10000000;
x126.up = 10000000;
x127.up = 10000000;
x128.up = 10000000;
x129.up = 10000000;
x130.up = 10000000;
x131.up = 10000000;
x132.up = 10000000;
x133.up = 10000000;
x134.up = 10000000;
x135.up = 10000000;
x136.up = 10000000;
x137.up = 10000000;
x138.up = 10000000;
x139.up = 10000000;
x140.up = 10000000;
x141.up = 10000000;
x142.up = 10000000;
x143.up = 10000000;
x144.up = 10000000;
x145.up = 10000000;
x146.up = 10000000;
x147.up = 10000000;
x148.up = 10000000;
x149.up = 10000000;
x150.up = 10000000;
x151.up = 10000000;
x152.up = 10000000;
x153.up = 10000000;
x154.up = 10000000;
x155.up = 10000000;
x156.up = 10000000;
x157.up = 10000000;
x158.up = 10000000;
x159.up = 10000000;
x160.up = 10000000;
x161.up = 10000000;
x162.up = 10000000;
x163.up = 10000000;
x164.up = 10000000;
x165.up = 10000000;
x166.up = 10000000;
x167.up = 10000000;
x168.up = 10000000;
x169.up = 10000000;
x170.up = 10000000;
x171.up = 10000000;
x172.up = 10000000;
x173.up = 10000000;
x174.up = 10000000;
x175.up = 10000000;
x176.up = 10000000;
x177.up = 10000000;
x178.up = 10000000;
x179.up = 10000000;
x180.up = 10000000;
x181.up = 10000000;
x182.up = 10000000;
x183.up = 10000000;
x184.up = 10000000;
x185.up = 10000000;
x186.up = 10000000;
x187.up = 10000000;
x188.up = 10000000;
x189.up = 10000000;
x190.up = 10000000;
x191.up = 10000000;
x192.up = 10000000;
x193.up = 10000000;
x194.up = 10000000;
x195.up = 10000000;
x196.up = 10000000;
x197.up = 10000000;
x198.up = 10000000;
x199.up = 10000000;
x200.up = 10000000;
x201.up = 10000000;
x202.up = 10000000;
x203.up = 10000000;
x204.up = 10000000;
x205.up = 10000000;
x206.up = 10000000;
x207.up = 10000000;
x208.up = 10000000;
x209.up = 10000000;
x210.up = 10000000;
x211.up = 10000000;
x212.up = 10000000;
x213.up = 10000000;
x214.up = 10000000;
x215.up = 10000000;
x216.up = 10000000;
x217.up = 10000000;
x218.up = 10000000;
x219.up = 10000000;
x220.up = 10000000;
x221.up = 10000000;
x222.up = 10000000;
x223.up = 10000000;
x224.up = 10000000;
x225.up = 10000000;
x226.up = 10000000;
x227.up = 10000000;
x228.up = 10000000;
x229.up = 10000000;
x230.up = 10000000;
x231.up = 10000000;
x232.up = 10000000;
x233.up = 10000000;
x234.up = 10000000;
x235.up = 10000000;
x236.up = 10000000;
x237.up = 10000000;
x238.up = 10000000;
x239.up = 10000000;
x240.up = 10000000;
x241.up = 10000000;
x242.up = 10000000;
x243.up = 10000000;
x244.up = 10000000;
x245.up = 10000000;
x246.up = 10000000;
x247.up = 10000000;
x248.up = 10000000;
x249.up = 10000000;
x250.up = 10000000;
x251.up = 10000000;
x252.up = 10000000;
x253.up = 10000000;
x254.up = 10000000;
x255.up = 10000000;
x256.up = 10000000;
x257.up = 10000000;
x258.up = 10000000;
x259.up = 10000000;
x260.up = 10000000;
x261.up = 10000000;
x262.up = 10000000;
x263.up = 10000000;
x264.up = 10000000;
x265.up = 10000000;
x266.up = 10000000;
x267.up = 10000000;
x268.up = 10000000;
x269.up = 10000000;
x270.up = 10000000;
x271.up = 10000000;
x272.up = 10000000;
x273.up = 10000000;
x274.up = 10000000;
x275.up = 10000000;
x276.up = 10000000;
x277.up = 10000000;
x278.up = 10000000;
x279.up = 10000000;
x280.up = 10000000;
x281.up = 10000000;
x282.up = 10000000;
x283.up = 10000000;
x284.up = 10000000;
x285.up = 10000000;
x286.up = 10000000;
x287.up = 10000000;
x288.up = 10000000;
x289.up = 10000000;
x290.up = 10000000;
x291.up = 10000000;
x292.up = 10000000;
x293.up = 10000000;
x294.up = 10000000;
x295.up = 10000000;
x296.up = 10000000;
x297.up = 10000000;
x298.up = 10000000;
x299.up = 10000000;
x300.up = 10000000;
x301.up = 10000000;
x302.up = 10000000;
x303.up = 10000000;
x304.up = 10000000;
x305.up = 10000000;
x306.up = 10000000;
x307.up = 10000000;
x308.up = 10000000;
x309.up = 10000000;
x310.up = 10000000;
x311.up = 10000000;
x312.up = 10000000;
x313.up = 10000000;
x314.up = 10000000;
x315.up = 10000000;
x316.up = 10000000;
x317.up = 10000000;
x318.up = 10000000;
x319.up = 10000000;
x320.up = 10000000;
x321.up = 10000000;
x322.up = 10000000;
x323.up = 10000000;
x324.up = 10000000;
x325.up = 10000000;
x326.up = 10000000;
x327.up = 10000000;
x328.up = 10000000;
x329.up = 10000000;
x330.up = 10000000;
x331.up = 10000000;
x332.up = 10000000;
x333.up = 10000000;
x334.up = 10000000;
x335.up = 10000000;
x336.up = 10000000;
x337.up = 10000000;
x338.up = 10000000;
x339.up = 10000000;
x340.up = 10000000;
x341.up = 10000000;
x342.up = 10000000;
x343.up = 10000000;
x344.up = 10000000;
x345.up = 10000000;
x346.up = 10000000;
x347.up = 10000000;
x348.up = 10000000;
x349.up = 10000000;
x350.up = 10000000;
x351.up = 10000000;
x352.up = 10000000;
x353.up = 10000000;
x354.up = 10000000;
x355.up = 10000000;
x356.up = 10000000;
x357.up = 10000000;
x358.up = 10000000;
x359.up = 10000000;
x360.up = 10000000;
x361.up = 10000000;
x362.up = 10000000;
x363.up = 10000000;
x364.up = 10000000;
x365.up = 10000000;
x366.up = 10000000;
x367.up = 10000000;
x368.up = 10000000;
x369.up = 10000000;
x370.up = 10000000;
x371.up = 10000000;
x372.up = 10000000;
x373.up = 10000000;
x374.up = 10000000;
x375.up = 10000000;
x376.up = 10000000;
x377.up = 10000000;
x378.up = 10000000;
x379.up = 10000000;
x380.up = 10000000;
x381.up = 10000000;
x382.up = 10000000;
x383.up = 10000000;
x384.up = 10000000;
x385.up = 10000000;
x386.up = 10000000;
x387.up = 10000000;
x388.up = 10000000;
x389.up = 10000000;
x390.up = 10000000;
x391.up = 10000000;
x392.up = 10000000;
x393.up = 10000000;
x394.up = 10000000;
x395.up = 10000000;
x396.up = 10000000;
x397.up = 10000000;
x398.up = 10000000;
x399.up = 10000000;
x400.up = 10000000;
x401.up = 10000000;
x402.up = 10000000;
x403.up = 10000000;
x404.up = 10000000;
x405.up = 10000000;
x406.up = 10000000;
x407.up = 10000000;
x408.up = 10000000;
x409.up = 10000000;
x410.up = 10000000;
x411.up = 10000000;
x412.up = 10000000;
x413.up = 10000000;
x414.up = 10000000;
x415.up = 10000000;
x416.up = 10000000;
x417.up = 10000000;
x418.up = 10000000;
x419.up = 10000000;
x420.up = 10000000;
x421.up = 10000000;
x422.up = 10000000;
x423.up = 10000000;
x424.up = 10000000;
x425.up = 10000000;
x426.up = 10000000;
x427.up = 10000000;
x428.up = 10000000;
x429.up = 10000000;
x430.up = 10000000;
x431.up = 10000000;
x432.up = 10000000;
x433.up = 10000000;
x434.up = 10000000;
x435.up = 10000000;
x436.up = 10000000;
x437.up = 10000000;
x438.up = 10000000;
x439.up = 10000000;
x440.up = 10000000;
x441.up = 10000000;
x442.up = 10000000;
x443.up = 10000000;
x444.up = 10000000;
x445.up = 10000000;
x446.up = 10000000;
x447.up = 10000000;
x448.up = 10000000;
x449.up = 10000000;
x450.up = 10000000;
x451.up = 10000000;
x452.up = 10000000;
x453.up = 10000000;
x454.up = 10000000;
x455.up = 10000000;
x456.up = 10000000;
x457.up = 10000000;
x458.up = 10000000;
x459.up = 10000000;
x460.up = 10000000;
x461.up = 10000000;
x462.up = 10000000;
x463.up = 10000000;
x464.up = 10000000;
x465.up = 10000000;
x466.up = 10000000;
x467.up = 10000000;
x468.up = 10000000;
x469.up = 10000000;
x470.up = 10000000;
x471.up = 10000000;
x472.up = 10000000;
x473.up = 10000000;
x474.up = 10000000;
x475.up = 10000000;
x476.up = 10000000;
x477.up = 10000000;
x478.up = 10000000;
x479.up = 10000000;
x480.up = 10000000;
x481.up = 10000000;
x482.up = 10000000;
x483.up = 10000000;
x484.up = 10000000;
x485.up = 10000000;
x486.up = 10000000;
x487.up = 10000000;
x488.up = 10000000;
x489.up = 10000000;
x490.up = 10000000;
x491.up = 10000000;
x492.up = 10000000;
x493.up = 10000000;
x494.up = 10000000;
x495.up = 10000000;
x496.up = 10000000;
x497.up = 10000000;
x498.up = 10000000;
x499.up = 10000000;
x500.up = 10000000;
x501.up = 10000000;
x502.up = 10000000;
x503.up = 10000000;
x504.up = 10000000;
x505.up = 10000000;
x506.up = 10000000;
x507.up = 10000000;
x508.up = 10000000;
x509.up = 10000000;
x510.up = 10000000;
x511.up = 10000000;
x512.up = 10000000;
x513.up = 10000000;
x514.up = 10000000;
x515.up = 10000000;
x516.up = 10000000;
x517.up = 10000000;
x518.up = 10000000;
x519.up = 10000000;
x520.up = 10000000;
x521.up = 10000000;
x522.up = 10000000;
x523.up = 10000000;
x524.up = 10000000;
x525.up = 10000000;
x526.up = 10000000;
x527.up = 10000000;
x528.up = 10000000;
x529.up = 10000000;
x530.up = 10000000;
x531.up = 10000000;
x532.up = 10000000;
x533.up = 10000000;
x534.up = 10000000;
x535.up = 10000000;
x536.up = 10000000;
x537.up = 10000000;
x538.up = 10000000;
x539.up = 10000000;
x540.up = 10000000;
x541.up = 10000000;
x542.up = 10000000;
x543.up = 10000000;
x544.up = 10000000;
x545.up = 10000000;
x546.up = 10000000;
x547.up = 10000000;
x548.up = 10000000;
x549.up = 10000000;
x550.up = 10000000;
x551.up = 10000000;
x552.up = 10000000;
x553.up = 10000000;
x554.up = 10000000;
x555.up = 10000000;
x556.up = 10000000;
x557.up = 10000000;
x558.up = 10000000;
x559.up = 10000000;
x560.up = 10000000;
x561.up = 10000000;
x562.up = 10000000;
x563.up = 10000000;
x564.up = 10000000;
x565.up = 10000000;
x566.up = 10000000;
x567.up = 10000000;
x568.up = 10000000;
x569.up = 10000000;
x570.up = 10000000;
x571.up = 10000000;
x572.up = 10000000;
x573.up = 10000000;
x574.up = 10000000;
x575.up = 10000000;
x576.up = 10000000;
x577.up = 10000000;
x578.up = 10000000;
x579.up = 10000000;
x580.up = 10000000;
x581.up = 10000000;
x582.up = 10000000;
x583.up = 10000000;
x584.up = 10000000;
x585.up = 10000000;
x586.up = 10000000;
x587.up = 10000000;
x588.up = 10000000;
x589.up = 10000000;
x590.up = 10000000;
x591.up = 10000000;
x592.up = 10000000;
x593.up = 10000000;
x594.up = 10000000;
x595.up = 10000000;
x596.up = 10000000;
x597.up = 10000000;
x598.up = 10000000;
x599.up = 10000000;
x600.up = 10000000;
x601.up = 10000000;
x602.up = 10000000;
x603.up = 10000000;
x604.up = 10000000;
x605.up = 10000000;
x606.up = 10000000;
x607.up = 10000000;
x608.up = 10000000;
x609.up = 10000000;
x610.up = 10000000;
x611.up = 10000000;
x612.up = 10000000;
x613.up = 10000000;
x614.up = 10000000;
x615.up = 10000000;
x616.up = 10000000;
x617.up = 10000000;
x618.up = 10000000;
x619.up = 10000000;
x620.up = 10000000;
x621.up = 10000000;
x622.up = 10000000;
x623.up = 10000000;
x624.up = 10000000;
x625.up = 10000000;
x626.up = 10000000;
x627.up = 10000000;
x628.up = 10000000;
x629.up = 10000000;
x630.up = 10000000;
x631.up = 10000000;
x632.up = 10000000;
x633.up = 10000000;
x634.up = 10000000;
x635.up = 10000000;
x636.up = 10000000;
x637.up = 10000000;
x638.up = 10000000;
x639.up = 10000000;
x640.up = 10000000;
x641.up = 10000000;
x642.up = 10000000;
x643.up = 10000000;
x644.up = 10000000;
x645.up = 10000000;
x646.up = 10000000;
x647.up = 10000000;
x648.up = 10000000;
x649.up = 10000000;
x650.up = 10000000;
x651.up = 10000000;
x652.up = 10000000;
x653.up = 10000000;
x654.up = 10000000;
x655.up = 10000000;
x656.up = 10000000;
x657.up = 10000000;
x658.up = 10000000;
x659.up = 10000000;
x660.up = 10000000;
x661.up = 10000000;
x662.up = 10000000;
x663.up = 10000000;
x664.up = 10000000;
x665.up = 10000000;
x666.up = 10000000;
x667.up = 10000000;
x668.up = 10000000;
x669.up = 10000000;
x670.up = 10000000;
x671.up = 10000000;
x672.up = 10000000;
x673.up = 10000000;
x674.up = 10000000;
x675.up = 10000000;
x676.up = 10000000;
x677.up = 10000000;
x678.up = 10000000;
x679.up = 10000000;
x680.up = 10000000;
x681.up = 10000000;
x682.up = 10000000;
x683.up = 10000000;
x684.up = 10000000;
x685.up = 10000000;
x686.up = 10000000;
x687.up = 10000000;
x688.up = 10000000;
x689.up = 10000000;
x690.up = 10000000;
x691.up = 10000000;
x692.up = 10000000;
x693.up = 10000000;
x694.up = 10000000;
x695.up = 10000000;
x696.up = 10000000;
x697.up = 10000000;
x698.up = 10000000;
x699.up = 10000000;
x700.up = 10000000;
x701.up = 10000000;
x702.up = 10000000;
x703.up = 10000000;
x704.up = 10000000;
x705.up = 10000000;
x706.up = 10000000;
x707.up = 10000000;
x708.up = 10000000;
x709.up = 10000000;
x710.up = 10000000;
x711.up = 10000000;
x712.up = 10000000;
x713.up = 10000000;
x714.up = 10000000;
x715.up = 10000000;
x716.up = 10000000;
x717.up = 10000000;
x718.up = 10000000;
x719.up = 10000000;
x720.up = 10000000;
x721.up = 10000000;
x722.up = 10000000;
x723.up = 10000000;
x724.up = 10000000;
x725.up = 10000000;
x726.up = 10000000;
x727.up = 10000000;
x728.up = 10000000;
x729.up = 10000000;
x730.up = 10000000;
x731.up = 10000000;
x732.up = 10000000;
x733.up = 10000000;
x734.up = 10000000;
x735.up = 10000000;
x736.up = 10000000;
x737.up = 10000000;
x738.up = 10000000;
x739.up = 10000000;
x740.up = 10000000;
x741.up = 10000000;
x742.up = 10000000;
x743.up = 10000000;
x744.up = 10000000;
x745.up = 10000000;
x746.up = 10000000;
x747.up = 10000000;
x748.up = 10000000;
x749.up = 10000000;
x750.up = 10000000;
x751.up = 10000000;
x752.up = 10000000;
x753.up = 10000000;
x754.up = 10000000;
x755.up = 10000000;
x756.up = 10000000;
x757.up = 10000000;
x758.up = 10000000;
x759.up = 10000000;
x760.up = 10000000;
x761.up = 10000000;
x762.up = 10000000;
x763.up = 10000000;
x764.up = 10000000;
x765.up = 10000000;
x766.up = 10000000;
x767.up = 10000000;
x768.up = 10000000;
x769.up = 10000000;
x770.up = 10000000;
x771.up = 10000000;
x772.up = 10000000;
x773.up = 10000000;
x774.up = 10000000;
x775.up = 10000000;
x776.up = 10000000;
x777.up = 10000000;
x778.up = 10000000;
x779.up = 10000000;
x780.up = 10000000;
x781.up = 10000000;
x782.up = 10000000;
x783.up = 10000000;
x784.up = 10000000;
x785.up = 10000000;
x786.up = 10000000;
x787.up = 10000000;
x788.up = 10000000;
x789.up = 10000000;
x790.up = 10000000;
x791.up = 10000000;
x792.up = 10000000;
x793.up = 10000000;
x794.up = 10000000;
x795.up = 10000000;
x796.up = 10000000;
x797.up = 10000000;
x798.up = 10000000;
x799.up = 10000000;
x800.up = 10000000;
x801.up = 10000000;
x802.up = 10000000;
x803.up = 10000000;
x804.up = 10000000;
x805.up = 10000000;
x806.up = 10000000;
x807.up = 10000000;
x808.up = 10000000;
x809.up = 10000000;
x810.up = 10000000;
x811.up = 10000000;
x812.up = 10000000;
x813.up = 10000000;
x814.up = 10000000;
x815.up = 10000000;
x816.up = 10000000;
x817.up = 10000000;
x818.up = 10000000;
x819.up = 10000000;
x820.up = 10000000;
x821.up = 10000000;
x822.up = 10000000;
x823.up = 10000000;
x824.up = 10000000;
x825.up = 10000000;
x826.up = 10000000;
x827.up = 10000000;
x828.up = 10000000;
x829.up = 10000000;
x830.up = 10000000;
x831.up = 10000000;
x832.up = 10000000;
x833.up = 10000000;
x834.up = 10000000;
x835.up = 10000000;
x836.up = 10000000;
x837.up = 10000000;
x838.up = 10000000;
x839.up = 10000000;
x840.up = 10000000;
x841.up = 10000000;
x842.up = 10000000;
x843.up = 10000000;
x844.up = 10000000;
x845.up = 10000000;
x846.up = 10000000;
x847.up = 10000000;
x848.up = 10000000;
x849.up = 10000000;
x850.up = 10000000;
x851.up = 10000000;
x852.up = 10000000;
x853.up = 10000000;
x854.up = 10000000;
x855.up = 10000000;
x856.up = 10000000;
x857.up = 10000000;
x858.up = 10000000;
x859.up = 10000000;
x860.up = 10000000;
x861.up = 10000000;
x862.up = 10000000;
x863.up = 10000000;
x864.up = 10000000;
x865.up = 10000000;
x866.up = 10000000;
x867.up = 10000000;
x868.up = 10000000;
x869.up = 10000000;
x870.up = 10000000;
x871.up = 10000000;
x872.up = 10000000;
x873.up = 10000000;
x874.up = 10000000;
x875.up = 10000000;
x876.up = 10000000;
x877.up = 10000000;
x878.up = 10000000;
x879.up = 10000000;
x880.up = 10000000;
x881.up = 10000000;
x882.up = 10000000;
x883.up = 10000000;
x884.up = 10000000;
x885.up = 10000000;
x886.up = 10000000;
x887.up = 10000000;
x888.up = 10000000;
x889.up = 10000000;
x890.up = 10000000;
x891.up = 10000000;
x892.up = 10000000;
x893.up = 10000000;
x894.up = 10000000;
x895.up = 10000000;
x896.up = 10000000;
x897.up = 10000000;
x898.up = 10000000;
x899.up = 10000000;
x900.up = 10000000;
x901.up = 10000000;
x902.up = 10000000;
x903.up = 10000000;
x904.up = 10000000;
x905.up = 10000000;
x906.up = 10000000;
x907.up = 10000000;
x908.up = 10000000;
x909.up = 10000000;
x910.up = 10000000;
x911.up = 10000000;
x912.up = 10000000;
x913.up = 10000000;
x914.up = 10000000;
x915.up = 10000000;
x916.up = 10000000;
x917.up = 10000000;
x918.up = 10000000;
x919.up = 10000000;
x920.up = 10000000;
x921.up = 10000000;
x922.up = 10000000;
x923.up = 10000000;
x924.up = 10000000;
x925.up = 10000000;
x926.up = 10000000;
x927.up = 10000000;
x928.up = 10000000;
x929.up = 10000000;
x930.up = 10000000;
x931.up = 10000000;
x932.up = 10000000;
x933.up = 10000000;
x934.up = 10000000;
x935.up = 10000000;
x936.up = 10000000;
x937.up = 10000000;
x938.up = 10000000;
x939.up = 10000000;
x940.up = 10000000;
x941.up = 10000000;
x942.up = 10000000;
x943.up = 10000000;
x944.up = 10000000;
x945.up = 10000000;
x946.up = 10000000;
x947.up = 10000000;
x948.up = 10000000;
x949.up = 10000000;
x950.up = 10000000;
x951.up = 10000000;
x952.up = 10000000;
x953.up = 10000000;
x954.up = 10000000;
x955.up = 10000000;
x956.up = 10000000;
x957.up = 10000000;
x958.up = 10000000;
x959.up = 10000000;
x960.up = 10000000;
x961.up = 10000000;
x962.up = 10000000;
x963.up = 10000000;
x964.up = 10000000;
x965.up = 10000000;
x966.up = 10000000;
x967.up = 10000000;
x968.up = 10000000;
x969.up = 10000000;
x970.up = 10000000;
x971.up = 10000000;
x972.up = 10000000;
x973.up = 10000000;
x974.up = 10000000;
x975.up = 10000000;
x976.up = 10000000;
x977.up = 10000000;
x978.up = 10000000;
x979.up = 10000000;
x980.up = 10000000;
x981.up = 10000000;
x982.up = 10000000;
x983.up = 10000000;
x984.up = 10000000;
x985.up = 10000000;
x986.up = 10000000;
x987.up = 10000000;
x988.up = 10000000;
x989.up = 10000000;
x990.up = 10000000;
x991.up = 10000000;
x992.up = 10000000;
x993.up = 10000000;
x994.up = 10000000;
x995.up = 10000000;
x996.up = 10000000;
x997.up = 10000000;
x998.up = 10000000;
x999.up = 10000000;
x1000.up = 10000000;
x1001.up = 10000000;
x1002.up = 10000000;
x1003.up = 10000000;
x1004.up = 10000000;
x1005.lo = -10000000; x1005.up = 10000000;
x1006.lo = -10000000; x1006.up = 10000000;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set NLP $set NLP NLP
Solve m using %NLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f