MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance lukvle10
Problem 5.10, the generalized Brown function with Broyden tridiagonal constraints, from the cited paper of Luksan and Vlcek
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 0.00000000 (ANTIGONE) 0.05080583 (BARON) 0.00006665 (COUENNE) 2.11236694 (LINDO) 350.18619260 (SCIP) |
| Referencesⓘ | Lukšan, Ladislav and Vlček, Jan, Sparse and partially separable test problems for unconstrained and equality constrained optimization, Tech. Rep. V-767, 1999. |
| Sourceⓘ | CUTEr model LUKVLE10 |
| Added to libraryⓘ | 06 Feb 2017 |
| Problem typeⓘ | NLP |
| #Variablesⓘ | 1000 |
| #Binary Variablesⓘ | 0 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 1000 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | nonlinear |
| Objective curvatureⓘ | nonconcave |
| #Nonzeros in Objectiveⓘ | 1000 |
| #Nonlinear Nonzeros in Objectiveⓘ | 1000 |
| #Constraintsⓘ | 998 |
| #Linear Constraintsⓘ | 0 |
| #Quadratic Constraintsⓘ | 998 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | rpower sqr |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 2994 |
| #Nonlinear Nonzeros in Jacobianⓘ | 998 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 2000 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 1000 |
| #Blocks in Hessian of Lagrangianⓘ | 500 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 2 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 2 |
| Average blocksize in Hessian of Lagrangianⓘ | 2.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 3.0000e+00 |
| Infeasibility of initial pointⓘ | 1.341e-13 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 999 999 0 0 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1001 1001 0 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 3995 1997 1998 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
,objvar;
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;
e1.. (3 - 2*x2)*x2 - x1 - 2*x3 =E= -1;
e2.. (3 - 2*x3)*x3 - x2 - 2*x4 =E= -1;
e3.. (3 - 2*x4)*x4 - x3 - 2*x5 =E= -1;
e4.. (3 - 2*x5)*x5 - x4 - 2*x6 =E= -1;
e5.. (3 - 2*x6)*x6 - x5 - 2*x7 =E= -1;
e6.. (3 - 2*x7)*x7 - x6 - 2*x8 =E= -1;
e7.. (3 - 2*x8)*x8 - x7 - 2*x9 =E= -1;
e8.. (3 - 2*x9)*x9 - x8 - 2*x10 =E= -1;
e9.. (3 - 2*x10)*x10 - x9 - 2*x11 =E= -1;
e10.. (3 - 2*x11)*x11 - x10 - 2*x12 =E= -1;
e11.. (3 - 2*x12)*x12 - x11 - 2*x13 =E= -1;
e12.. (3 - 2*x13)*x13 - x12 - 2*x14 =E= -1;
e13.. (3 - 2*x14)*x14 - x13 - 2*x15 =E= -1;
e14.. (3 - 2*x15)*x15 - x14 - 2*x16 =E= -1;
e15.. (3 - 2*x16)*x16 - x15 - 2*x17 =E= -1;
e16.. (3 - 2*x17)*x17 - x16 - 2*x18 =E= -1;
e17.. (3 - 2*x18)*x18 - x17 - 2*x19 =E= -1;
e18.. (3 - 2*x19)*x19 - x18 - 2*x20 =E= -1;
e19.. (3 - 2*x20)*x20 - x19 - 2*x21 =E= -1;
e20.. (3 - 2*x21)*x21 - x20 - 2*x22 =E= -1;
e21.. (3 - 2*x22)*x22 - x21 - 2*x23 =E= -1;
e22.. (3 - 2*x23)*x23 - x22 - 2*x24 =E= -1;
e23.. (3 - 2*x24)*x24 - x23 - 2*x25 =E= -1;
e24.. (3 - 2*x25)*x25 - x24 - 2*x26 =E= -1;
e25.. (3 - 2*x26)*x26 - x25 - 2*x27 =E= -1;
e26.. (3 - 2*x27)*x27 - x26 - 2*x28 =E= -1;
e27.. (3 - 2*x28)*x28 - x27 - 2*x29 =E= -1;
e28.. (3 - 2*x29)*x29 - x28 - 2*x30 =E= -1;
e29.. (3 - 2*x30)*x30 - x29 - 2*x31 =E= -1;
e30.. (3 - 2*x31)*x31 - x30 - 2*x32 =E= -1;
e31.. (3 - 2*x32)*x32 - x31 - 2*x33 =E= -1;
e32.. (3 - 2*x33)*x33 - x32 - 2*x34 =E= -1;
e33.. (3 - 2*x34)*x34 - x33 - 2*x35 =E= -1;
e34.. (3 - 2*x35)*x35 - x34 - 2*x36 =E= -1;
e35.. (3 - 2*x36)*x36 - x35 - 2*x37 =E= -1;
e36.. (3 - 2*x37)*x37 - x36 - 2*x38 =E= -1;
e37.. (3 - 2*x38)*x38 - x37 - 2*x39 =E= -1;
e38.. (3 - 2*x39)*x39 - x38 - 2*x40 =E= -1;
e39.. (3 - 2*x40)*x40 - x39 - 2*x41 =E= -1;
e40.. (3 - 2*x41)*x41 - x40 - 2*x42 =E= -1;
e41.. (3 - 2*x42)*x42 - x41 - 2*x43 =E= -1;
e42.. (3 - 2*x43)*x43 - x42 - 2*x44 =E= -1;
e43.. (3 - 2*x44)*x44 - x43 - 2*x45 =E= -1;
e44.. (3 - 2*x45)*x45 - x44 - 2*x46 =E= -1;
e45.. (3 - 2*x46)*x46 - x45 - 2*x47 =E= -1;
e46.. (3 - 2*x47)*x47 - x46 - 2*x48 =E= -1;
e47.. (3 - 2*x48)*x48 - x47 - 2*x49 =E= -1;
e48.. (3 - 2*x49)*x49 - x48 - 2*x50 =E= -1;
e49.. (3 - 2*x50)*x50 - x49 - 2*x51 =E= -1;
e50.. (3 - 2*x51)*x51 - x50 - 2*x52 =E= -1;
e51.. (3 - 2*x52)*x52 - x51 - 2*x53 =E= -1;
e52.. (3 - 2*x53)*x53 - x52 - 2*x54 =E= -1;
e53.. (3 - 2*x54)*x54 - x53 - 2*x55 =E= -1;
e54.. (3 - 2*x55)*x55 - x54 - 2*x56 =E= -1;
e55.. (3 - 2*x56)*x56 - x55 - 2*x57 =E= -1;
e56.. (3 - 2*x57)*x57 - x56 - 2*x58 =E= -1;
e57.. (3 - 2*x58)*x58 - x57 - 2*x59 =E= -1;
e58.. (3 - 2*x59)*x59 - x58 - 2*x60 =E= -1;
e59.. (3 - 2*x60)*x60 - x59 - 2*x61 =E= -1;
e60.. (3 - 2*x61)*x61 - x60 - 2*x62 =E= -1;
e61.. (3 - 2*x62)*x62 - x61 - 2*x63 =E= -1;
e62.. (3 - 2*x63)*x63 - x62 - 2*x64 =E= -1;
e63.. (3 - 2*x64)*x64 - x63 - 2*x65 =E= -1;
e64.. (3 - 2*x65)*x65 - x64 - 2*x66 =E= -1;
e65.. (3 - 2*x66)*x66 - x65 - 2*x67 =E= -1;
e66.. (3 - 2*x67)*x67 - x66 - 2*x68 =E= -1;
e67.. (3 - 2*x68)*x68 - x67 - 2*x69 =E= -1;
e68.. (3 - 2*x69)*x69 - x68 - 2*x70 =E= -1;
e69.. (3 - 2*x70)*x70 - x69 - 2*x71 =E= -1;
e70.. (3 - 2*x71)*x71 - x70 - 2*x72 =E= -1;
e71.. (3 - 2*x72)*x72 - x71 - 2*x73 =E= -1;
e72.. (3 - 2*x73)*x73 - x72 - 2*x74 =E= -1;
e73.. (3 - 2*x74)*x74 - x73 - 2*x75 =E= -1;
e74.. (3 - 2*x75)*x75 - x74 - 2*x76 =E= -1;
e75.. (3 - 2*x76)*x76 - x75 - 2*x77 =E= -1;
e76.. (3 - 2*x77)*x77 - x76 - 2*x78 =E= -1;
e77.. (3 - 2*x78)*x78 - x77 - 2*x79 =E= -1;
e78.. (3 - 2*x79)*x79 - x78 - 2*x80 =E= -1;
e79.. (3 - 2*x80)*x80 - x79 - 2*x81 =E= -1;
e80.. (3 - 2*x81)*x81 - x80 - 2*x82 =E= -1;
e81.. (3 - 2*x82)*x82 - x81 - 2*x83 =E= -1;
e82.. (3 - 2*x83)*x83 - x82 - 2*x84 =E= -1;
e83.. (3 - 2*x84)*x84 - x83 - 2*x85 =E= -1;
e84.. (3 - 2*x85)*x85 - x84 - 2*x86 =E= -1;
e85.. (3 - 2*x86)*x86 - x85 - 2*x87 =E= -1;
e86.. (3 - 2*x87)*x87 - x86 - 2*x88 =E= -1;
e87.. (3 - 2*x88)*x88 - x87 - 2*x89 =E= -1;
e88.. (3 - 2*x89)*x89 - x88 - 2*x90 =E= -1;
e89.. (3 - 2*x90)*x90 - x89 - 2*x91 =E= -1;
e90.. (3 - 2*x91)*x91 - x90 - 2*x92 =E= -1;
e91.. (3 - 2*x92)*x92 - x91 - 2*x93 =E= -1;
e92.. (3 - 2*x93)*x93 - x92 - 2*x94 =E= -1;
e93.. (3 - 2*x94)*x94 - x93 - 2*x95 =E= -1;
e94.. (3 - 2*x95)*x95 - x94 - 2*x96 =E= -1;
e95.. (3 - 2*x96)*x96 - x95 - 2*x97 =E= -1;
e96.. (3 - 2*x97)*x97 - x96 - 2*x98 =E= -1;
e97.. (3 - 2*x98)*x98 - x97 - 2*x99 =E= -1;
e98.. (3 - 2*x99)*x99 - x98 - 2*x100 =E= -1;
e99.. (3 - 2*x100)*x100 - x99 - 2*x101 =E= -1;
e100.. (3 - 2*x101)*x101 - x100 - 2*x102 =E= -1;
e101.. (3 - 2*x102)*x102 - x101 - 2*x103 =E= -1;
e102.. (3 - 2*x103)*x103 - x102 - 2*x104 =E= -1;
e103.. (3 - 2*x104)*x104 - x103 - 2*x105 =E= -1;
e104.. (3 - 2*x105)*x105 - x104 - 2*x106 =E= -1;
e105.. (3 - 2*x106)*x106 - x105 - 2*x107 =E= -1;
e106.. (3 - 2*x107)*x107 - x106 - 2*x108 =E= -1;
e107.. (3 - 2*x108)*x108 - x107 - 2*x109 =E= -1;
e108.. (3 - 2*x109)*x109 - x108 - 2*x110 =E= -1;
e109.. (3 - 2*x110)*x110 - x109 - 2*x111 =E= -1;
e110.. (3 - 2*x111)*x111 - x110 - 2*x112 =E= -1;
e111.. (3 - 2*x112)*x112 - x111 - 2*x113 =E= -1;
e112.. (3 - 2*x113)*x113 - x112 - 2*x114 =E= -1;
e113.. (3 - 2*x114)*x114 - x113 - 2*x115 =E= -1;
e114.. (3 - 2*x115)*x115 - x114 - 2*x116 =E= -1;
e115.. (3 - 2*x116)*x116 - x115 - 2*x117 =E= -1;
e116.. (3 - 2*x117)*x117 - x116 - 2*x118 =E= -1;
e117.. (3 - 2*x118)*x118 - x117 - 2*x119 =E= -1;
e118.. (3 - 2*x119)*x119 - x118 - 2*x120 =E= -1;
e119.. (3 - 2*x120)*x120 - x119 - 2*x121 =E= -1;
e120.. (3 - 2*x121)*x121 - x120 - 2*x122 =E= -1;
e121.. (3 - 2*x122)*x122 - x121 - 2*x123 =E= -1;
e122.. (3 - 2*x123)*x123 - x122 - 2*x124 =E= -1;
e123.. (3 - 2*x124)*x124 - x123 - 2*x125 =E= -1;
e124.. (3 - 2*x125)*x125 - x124 - 2*x126 =E= -1;
e125.. (3 - 2*x126)*x126 - x125 - 2*x127 =E= -1;
e126.. (3 - 2*x127)*x127 - x126 - 2*x128 =E= -1;
e127.. (3 - 2*x128)*x128 - x127 - 2*x129 =E= -1;
e128.. (3 - 2*x129)*x129 - x128 - 2*x130 =E= -1;
e129.. (3 - 2*x130)*x130 - x129 - 2*x131 =E= -1;
e130.. (3 - 2*x131)*x131 - x130 - 2*x132 =E= -1;
e131.. (3 - 2*x132)*x132 - x131 - 2*x133 =E= -1;
e132.. (3 - 2*x133)*x133 - x132 - 2*x134 =E= -1;
e133.. (3 - 2*x134)*x134 - x133 - 2*x135 =E= -1;
e134.. (3 - 2*x135)*x135 - x134 - 2*x136 =E= -1;
e135.. (3 - 2*x136)*x136 - x135 - 2*x137 =E= -1;
e136.. (3 - 2*x137)*x137 - x136 - 2*x138 =E= -1;
e137.. (3 - 2*x138)*x138 - x137 - 2*x139 =E= -1;
e138.. (3 - 2*x139)*x139 - x138 - 2*x140 =E= -1;
e139.. (3 - 2*x140)*x140 - x139 - 2*x141 =E= -1;
e140.. (3 - 2*x141)*x141 - x140 - 2*x142 =E= -1;
e141.. (3 - 2*x142)*x142 - x141 - 2*x143 =E= -1;
e142.. (3 - 2*x143)*x143 - x142 - 2*x144 =E= -1;
e143.. (3 - 2*x144)*x144 - x143 - 2*x145 =E= -1;
e144.. (3 - 2*x145)*x145 - x144 - 2*x146 =E= -1;
e145.. (3 - 2*x146)*x146 - x145 - 2*x147 =E= -1;
e146.. (3 - 2*x147)*x147 - x146 - 2*x148 =E= -1;
e147.. (3 - 2*x148)*x148 - x147 - 2*x149 =E= -1;
e148.. (3 - 2*x149)*x149 - x148 - 2*x150 =E= -1;
e149.. (3 - 2*x150)*x150 - x149 - 2*x151 =E= -1;
e150.. (3 - 2*x151)*x151 - x150 - 2*x152 =E= -1;
e151.. (3 - 2*x152)*x152 - x151 - 2*x153 =E= -1;
e152.. (3 - 2*x153)*x153 - x152 - 2*x154 =E= -1;
e153.. (3 - 2*x154)*x154 - x153 - 2*x155 =E= -1;
e154.. (3 - 2*x155)*x155 - x154 - 2*x156 =E= -1;
e155.. (3 - 2*x156)*x156 - x155 - 2*x157 =E= -1;
e156.. (3 - 2*x157)*x157 - x156 - 2*x158 =E= -1;
e157.. (3 - 2*x158)*x158 - x157 - 2*x159 =E= -1;
e158.. (3 - 2*x159)*x159 - x158 - 2*x160 =E= -1;
e159.. (3 - 2*x160)*x160 - x159 - 2*x161 =E= -1;
e160.. (3 - 2*x161)*x161 - x160 - 2*x162 =E= -1;
e161.. (3 - 2*x162)*x162 - x161 - 2*x163 =E= -1;
e162.. (3 - 2*x163)*x163 - x162 - 2*x164 =E= -1;
e163.. (3 - 2*x164)*x164 - x163 - 2*x165 =E= -1;
e164.. (3 - 2*x165)*x165 - x164 - 2*x166 =E= -1;
e165.. (3 - 2*x166)*x166 - x165 - 2*x167 =E= -1;
e166.. (3 - 2*x167)*x167 - x166 - 2*x168 =E= -1;
e167.. (3 - 2*x168)*x168 - x167 - 2*x169 =E= -1;
e168.. (3 - 2*x169)*x169 - x168 - 2*x170 =E= -1;
e169.. (3 - 2*x170)*x170 - x169 - 2*x171 =E= -1;
e170.. (3 - 2*x171)*x171 - x170 - 2*x172 =E= -1;
e171.. (3 - 2*x172)*x172 - x171 - 2*x173 =E= -1;
e172.. (3 - 2*x173)*x173 - x172 - 2*x174 =E= -1;
e173.. (3 - 2*x174)*x174 - x173 - 2*x175 =E= -1;
e174.. (3 - 2*x175)*x175 - x174 - 2*x176 =E= -1;
e175.. (3 - 2*x176)*x176 - x175 - 2*x177 =E= -1;
e176.. (3 - 2*x177)*x177 - x176 - 2*x178 =E= -1;
e177.. (3 - 2*x178)*x178 - x177 - 2*x179 =E= -1;
e178.. (3 - 2*x179)*x179 - x178 - 2*x180 =E= -1;
e179.. (3 - 2*x180)*x180 - x179 - 2*x181 =E= -1;
e180.. (3 - 2*x181)*x181 - x180 - 2*x182 =E= -1;
e181.. (3 - 2*x182)*x182 - x181 - 2*x183 =E= -1;
e182.. (3 - 2*x183)*x183 - x182 - 2*x184 =E= -1;
e183.. (3 - 2*x184)*x184 - x183 - 2*x185 =E= -1;
e184.. (3 - 2*x185)*x185 - x184 - 2*x186 =E= -1;
e185.. (3 - 2*x186)*x186 - x185 - 2*x187 =E= -1;
e186.. (3 - 2*x187)*x187 - x186 - 2*x188 =E= -1;
e187.. (3 - 2*x188)*x188 - x187 - 2*x189 =E= -1;
e188.. (3 - 2*x189)*x189 - x188 - 2*x190 =E= -1;
e189.. (3 - 2*x190)*x190 - x189 - 2*x191 =E= -1;
e190.. (3 - 2*x191)*x191 - x190 - 2*x192 =E= -1;
e191.. (3 - 2*x192)*x192 - x191 - 2*x193 =E= -1;
e192.. (3 - 2*x193)*x193 - x192 - 2*x194 =E= -1;
e193.. (3 - 2*x194)*x194 - x193 - 2*x195 =E= -1;
e194.. (3 - 2*x195)*x195 - x194 - 2*x196 =E= -1;
e195.. (3 - 2*x196)*x196 - x195 - 2*x197 =E= -1;
e196.. (3 - 2*x197)*x197 - x196 - 2*x198 =E= -1;
e197.. (3 - 2*x198)*x198 - x197 - 2*x199 =E= -1;
e198.. (3 - 2*x199)*x199 - x198 - 2*x200 =E= -1;
e199.. (3 - 2*x200)*x200 - x199 - 2*x201 =E= -1;
e200.. (3 - 2*x201)*x201 - x200 - 2*x202 =E= -1;
e201.. (3 - 2*x202)*x202 - x201 - 2*x203 =E= -1;
e202.. (3 - 2*x203)*x203 - x202 - 2*x204 =E= -1;
e203.. (3 - 2*x204)*x204 - x203 - 2*x205 =E= -1;
e204.. (3 - 2*x205)*x205 - x204 - 2*x206 =E= -1;
e205.. (3 - 2*x206)*x206 - x205 - 2*x207 =E= -1;
e206.. (3 - 2*x207)*x207 - x206 - 2*x208 =E= -1;
e207.. (3 - 2*x208)*x208 - x207 - 2*x209 =E= -1;
e208.. (3 - 2*x209)*x209 - x208 - 2*x210 =E= -1;
e209.. (3 - 2*x210)*x210 - x209 - 2*x211 =E= -1;
e210.. (3 - 2*x211)*x211 - x210 - 2*x212 =E= -1;
e211.. (3 - 2*x212)*x212 - x211 - 2*x213 =E= -1;
e212.. (3 - 2*x213)*x213 - x212 - 2*x214 =E= -1;
e213.. (3 - 2*x214)*x214 - x213 - 2*x215 =E= -1;
e214.. (3 - 2*x215)*x215 - x214 - 2*x216 =E= -1;
e215.. (3 - 2*x216)*x216 - x215 - 2*x217 =E= -1;
e216.. (3 - 2*x217)*x217 - x216 - 2*x218 =E= -1;
e217.. (3 - 2*x218)*x218 - x217 - 2*x219 =E= -1;
e218.. (3 - 2*x219)*x219 - x218 - 2*x220 =E= -1;
e219.. (3 - 2*x220)*x220 - x219 - 2*x221 =E= -1;
e220.. (3 - 2*x221)*x221 - x220 - 2*x222 =E= -1;
e221.. (3 - 2*x222)*x222 - x221 - 2*x223 =E= -1;
e222.. (3 - 2*x223)*x223 - x222 - 2*x224 =E= -1;
e223.. (3 - 2*x224)*x224 - x223 - 2*x225 =E= -1;
e224.. (3 - 2*x225)*x225 - x224 - 2*x226 =E= -1;
e225.. (3 - 2*x226)*x226 - x225 - 2*x227 =E= -1;
e226.. (3 - 2*x227)*x227 - x226 - 2*x228 =E= -1;
e227.. (3 - 2*x228)*x228 - x227 - 2*x229 =E= -1;
e228.. (3 - 2*x229)*x229 - x228 - 2*x230 =E= -1;
e229.. (3 - 2*x230)*x230 - x229 - 2*x231 =E= -1;
e230.. (3 - 2*x231)*x231 - x230 - 2*x232 =E= -1;
e231.. (3 - 2*x232)*x232 - x231 - 2*x233 =E= -1;
e232.. (3 - 2*x233)*x233 - x232 - 2*x234 =E= -1;
e233.. (3 - 2*x234)*x234 - x233 - 2*x235 =E= -1;
e234.. (3 - 2*x235)*x235 - x234 - 2*x236 =E= -1;
e235.. (3 - 2*x236)*x236 - x235 - 2*x237 =E= -1;
e236.. (3 - 2*x237)*x237 - x236 - 2*x238 =E= -1;
e237.. (3 - 2*x238)*x238 - x237 - 2*x239 =E= -1;
e238.. (3 - 2*x239)*x239 - x238 - 2*x240 =E= -1;
e239.. (3 - 2*x240)*x240 - x239 - 2*x241 =E= -1;
e240.. (3 - 2*x241)*x241 - x240 - 2*x242 =E= -1;
e241.. (3 - 2*x242)*x242 - x241 - 2*x243 =E= -1;
e242.. (3 - 2*x243)*x243 - x242 - 2*x244 =E= -1;
e243.. (3 - 2*x244)*x244 - x243 - 2*x245 =E= -1;
e244.. (3 - 2*x245)*x245 - x244 - 2*x246 =E= -1;
e245.. (3 - 2*x246)*x246 - x245 - 2*x247 =E= -1;
e246.. (3 - 2*x247)*x247 - x246 - 2*x248 =E= -1;
e247.. (3 - 2*x248)*x248 - x247 - 2*x249 =E= -1;
e248.. (3 - 2*x249)*x249 - x248 - 2*x250 =E= -1;
e249.. (3 - 2*x250)*x250 - x249 - 2*x251 =E= -1;
e250.. (3 - 2*x251)*x251 - x250 - 2*x252 =E= -1;
e251.. (3 - 2*x252)*x252 - x251 - 2*x253 =E= -1;
e252.. (3 - 2*x253)*x253 - x252 - 2*x254 =E= -1;
e253.. (3 - 2*x254)*x254 - x253 - 2*x255 =E= -1;
e254.. (3 - 2*x255)*x255 - x254 - 2*x256 =E= -1;
e255.. (3 - 2*x256)*x256 - x255 - 2*x257 =E= -1;
e256.. (3 - 2*x257)*x257 - x256 - 2*x258 =E= -1;
e257.. (3 - 2*x258)*x258 - x257 - 2*x259 =E= -1;
e258.. (3 - 2*x259)*x259 - x258 - 2*x260 =E= -1;
e259.. (3 - 2*x260)*x260 - x259 - 2*x261 =E= -1;
e260.. (3 - 2*x261)*x261 - x260 - 2*x262 =E= -1;
e261.. (3 - 2*x262)*x262 - x261 - 2*x263 =E= -1;
e262.. (3 - 2*x263)*x263 - x262 - 2*x264 =E= -1;
e263.. (3 - 2*x264)*x264 - x263 - 2*x265 =E= -1;
e264.. (3 - 2*x265)*x265 - x264 - 2*x266 =E= -1;
e265.. (3 - 2*x266)*x266 - x265 - 2*x267 =E= -1;
e266.. (3 - 2*x267)*x267 - x266 - 2*x268 =E= -1;
e267.. (3 - 2*x268)*x268 - x267 - 2*x269 =E= -1;
e268.. (3 - 2*x269)*x269 - x268 - 2*x270 =E= -1;
e269.. (3 - 2*x270)*x270 - x269 - 2*x271 =E= -1;
e270.. (3 - 2*x271)*x271 - x270 - 2*x272 =E= -1;
e271.. (3 - 2*x272)*x272 - x271 - 2*x273 =E= -1;
e272.. (3 - 2*x273)*x273 - x272 - 2*x274 =E= -1;
e273.. (3 - 2*x274)*x274 - x273 - 2*x275 =E= -1;
e274.. (3 - 2*x275)*x275 - x274 - 2*x276 =E= -1;
e275.. (3 - 2*x276)*x276 - x275 - 2*x277 =E= -1;
e276.. (3 - 2*x277)*x277 - x276 - 2*x278 =E= -1;
e277.. (3 - 2*x278)*x278 - x277 - 2*x279 =E= -1;
e278.. (3 - 2*x279)*x279 - x278 - 2*x280 =E= -1;
e279.. (3 - 2*x280)*x280 - x279 - 2*x281 =E= -1;
e280.. (3 - 2*x281)*x281 - x280 - 2*x282 =E= -1;
e281.. (3 - 2*x282)*x282 - x281 - 2*x283 =E= -1;
e282.. (3 - 2*x283)*x283 - x282 - 2*x284 =E= -1;
e283.. (3 - 2*x284)*x284 - x283 - 2*x285 =E= -1;
e284.. (3 - 2*x285)*x285 - x284 - 2*x286 =E= -1;
e285.. (3 - 2*x286)*x286 - x285 - 2*x287 =E= -1;
e286.. (3 - 2*x287)*x287 - x286 - 2*x288 =E= -1;
e287.. (3 - 2*x288)*x288 - x287 - 2*x289 =E= -1;
e288.. (3 - 2*x289)*x289 - x288 - 2*x290 =E= -1;
e289.. (3 - 2*x290)*x290 - x289 - 2*x291 =E= -1;
e290.. (3 - 2*x291)*x291 - x290 - 2*x292 =E= -1;
e291.. (3 - 2*x292)*x292 - x291 - 2*x293 =E= -1;
e292.. (3 - 2*x293)*x293 - x292 - 2*x294 =E= -1;
e293.. (3 - 2*x294)*x294 - x293 - 2*x295 =E= -1;
e294.. (3 - 2*x295)*x295 - x294 - 2*x296 =E= -1;
e295.. (3 - 2*x296)*x296 - x295 - 2*x297 =E= -1;
e296.. (3 - 2*x297)*x297 - x296 - 2*x298 =E= -1;
e297.. (3 - 2*x298)*x298 - x297 - 2*x299 =E= -1;
e298.. (3 - 2*x299)*x299 - x298 - 2*x300 =E= -1;
e299.. (3 - 2*x300)*x300 - x299 - 2*x301 =E= -1;
e300.. (3 - 2*x301)*x301 - x300 - 2*x302 =E= -1;
e301.. (3 - 2*x302)*x302 - x301 - 2*x303 =E= -1;
e302.. (3 - 2*x303)*x303 - x302 - 2*x304 =E= -1;
e303.. (3 - 2*x304)*x304 - x303 - 2*x305 =E= -1;
e304.. (3 - 2*x305)*x305 - x304 - 2*x306 =E= -1;
e305.. (3 - 2*x306)*x306 - x305 - 2*x307 =E= -1;
e306.. (3 - 2*x307)*x307 - x306 - 2*x308 =E= -1;
e307.. (3 - 2*x308)*x308 - x307 - 2*x309 =E= -1;
e308.. (3 - 2*x309)*x309 - x308 - 2*x310 =E= -1;
e309.. (3 - 2*x310)*x310 - x309 - 2*x311 =E= -1;
e310.. (3 - 2*x311)*x311 - x310 - 2*x312 =E= -1;
e311.. (3 - 2*x312)*x312 - x311 - 2*x313 =E= -1;
e312.. (3 - 2*x313)*x313 - x312 - 2*x314 =E= -1;
e313.. (3 - 2*x314)*x314 - x313 - 2*x315 =E= -1;
e314.. (3 - 2*x315)*x315 - x314 - 2*x316 =E= -1;
e315.. (3 - 2*x316)*x316 - x315 - 2*x317 =E= -1;
e316.. (3 - 2*x317)*x317 - x316 - 2*x318 =E= -1;
e317.. (3 - 2*x318)*x318 - x317 - 2*x319 =E= -1;
e318.. (3 - 2*x319)*x319 - x318 - 2*x320 =E= -1;
e319.. (3 - 2*x320)*x320 - x319 - 2*x321 =E= -1;
e320.. (3 - 2*x321)*x321 - x320 - 2*x322 =E= -1;
e321.. (3 - 2*x322)*x322 - x321 - 2*x323 =E= -1;
e322.. (3 - 2*x323)*x323 - x322 - 2*x324 =E= -1;
e323.. (3 - 2*x324)*x324 - x323 - 2*x325 =E= -1;
e324.. (3 - 2*x325)*x325 - x324 - 2*x326 =E= -1;
e325.. (3 - 2*x326)*x326 - x325 - 2*x327 =E= -1;
e326.. (3 - 2*x327)*x327 - x326 - 2*x328 =E= -1;
e327.. (3 - 2*x328)*x328 - x327 - 2*x329 =E= -1;
e328.. (3 - 2*x329)*x329 - x328 - 2*x330 =E= -1;
e329.. (3 - 2*x330)*x330 - x329 - 2*x331 =E= -1;
e330.. (3 - 2*x331)*x331 - x330 - 2*x332 =E= -1;
e331.. (3 - 2*x332)*x332 - x331 - 2*x333 =E= -1;
e332.. (3 - 2*x333)*x333 - x332 - 2*x334 =E= -1;
e333.. (3 - 2*x334)*x334 - x333 - 2*x335 =E= -1;
e334.. (3 - 2*x335)*x335 - x334 - 2*x336 =E= -1;
e335.. (3 - 2*x336)*x336 - x335 - 2*x337 =E= -1;
e336.. (3 - 2*x337)*x337 - x336 - 2*x338 =E= -1;
e337.. (3 - 2*x338)*x338 - x337 - 2*x339 =E= -1;
e338.. (3 - 2*x339)*x339 - x338 - 2*x340 =E= -1;
e339.. (3 - 2*x340)*x340 - x339 - 2*x341 =E= -1;
e340.. (3 - 2*x341)*x341 - x340 - 2*x342 =E= -1;
e341.. (3 - 2*x342)*x342 - x341 - 2*x343 =E= -1;
e342.. (3 - 2*x343)*x343 - x342 - 2*x344 =E= -1;
e343.. (3 - 2*x344)*x344 - x343 - 2*x345 =E= -1;
e344.. (3 - 2*x345)*x345 - x344 - 2*x346 =E= -1;
e345.. (3 - 2*x346)*x346 - x345 - 2*x347 =E= -1;
e346.. (3 - 2*x347)*x347 - x346 - 2*x348 =E= -1;
e347.. (3 - 2*x348)*x348 - x347 - 2*x349 =E= -1;
e348.. (3 - 2*x349)*x349 - x348 - 2*x350 =E= -1;
e349.. (3 - 2*x350)*x350 - x349 - 2*x351 =E= -1;
e350.. (3 - 2*x351)*x351 - x350 - 2*x352 =E= -1;
e351.. (3 - 2*x352)*x352 - x351 - 2*x353 =E= -1;
e352.. (3 - 2*x353)*x353 - x352 - 2*x354 =E= -1;
e353.. (3 - 2*x354)*x354 - x353 - 2*x355 =E= -1;
e354.. (3 - 2*x355)*x355 - x354 - 2*x356 =E= -1;
e355.. (3 - 2*x356)*x356 - x355 - 2*x357 =E= -1;
e356.. (3 - 2*x357)*x357 - x356 - 2*x358 =E= -1;
e357.. (3 - 2*x358)*x358 - x357 - 2*x359 =E= -1;
e358.. (3 - 2*x359)*x359 - x358 - 2*x360 =E= -1;
e359.. (3 - 2*x360)*x360 - x359 - 2*x361 =E= -1;
e360.. (3 - 2*x361)*x361 - x360 - 2*x362 =E= -1;
e361.. (3 - 2*x362)*x362 - x361 - 2*x363 =E= -1;
e362.. (3 - 2*x363)*x363 - x362 - 2*x364 =E= -1;
e363.. (3 - 2*x364)*x364 - x363 - 2*x365 =E= -1;
e364.. (3 - 2*x365)*x365 - x364 - 2*x366 =E= -1;
e365.. (3 - 2*x366)*x366 - x365 - 2*x367 =E= -1;
e366.. (3 - 2*x367)*x367 - x366 - 2*x368 =E= -1;
e367.. (3 - 2*x368)*x368 - x367 - 2*x369 =E= -1;
e368.. (3 - 2*x369)*x369 - x368 - 2*x370 =E= -1;
e369.. (3 - 2*x370)*x370 - x369 - 2*x371 =E= -1;
e370.. (3 - 2*x371)*x371 - x370 - 2*x372 =E= -1;
e371.. (3 - 2*x372)*x372 - x371 - 2*x373 =E= -1;
e372.. (3 - 2*x373)*x373 - x372 - 2*x374 =E= -1;
e373.. (3 - 2*x374)*x374 - x373 - 2*x375 =E= -1;
e374.. (3 - 2*x375)*x375 - x374 - 2*x376 =E= -1;
e375.. (3 - 2*x376)*x376 - x375 - 2*x377 =E= -1;
e376.. (3 - 2*x377)*x377 - x376 - 2*x378 =E= -1;
e377.. (3 - 2*x378)*x378 - x377 - 2*x379 =E= -1;
e378.. (3 - 2*x379)*x379 - x378 - 2*x380 =E= -1;
e379.. (3 - 2*x380)*x380 - x379 - 2*x381 =E= -1;
e380.. (3 - 2*x381)*x381 - x380 - 2*x382 =E= -1;
e381.. (3 - 2*x382)*x382 - x381 - 2*x383 =E= -1;
e382.. (3 - 2*x383)*x383 - x382 - 2*x384 =E= -1;
e383.. (3 - 2*x384)*x384 - x383 - 2*x385 =E= -1;
e384.. (3 - 2*x385)*x385 - x384 - 2*x386 =E= -1;
e385.. (3 - 2*x386)*x386 - x385 - 2*x387 =E= -1;
e386.. (3 - 2*x387)*x387 - x386 - 2*x388 =E= -1;
e387.. (3 - 2*x388)*x388 - x387 - 2*x389 =E= -1;
e388.. (3 - 2*x389)*x389 - x388 - 2*x390 =E= -1;
e389.. (3 - 2*x390)*x390 - x389 - 2*x391 =E= -1;
e390.. (3 - 2*x391)*x391 - x390 - 2*x392 =E= -1;
e391.. (3 - 2*x392)*x392 - x391 - 2*x393 =E= -1;
e392.. (3 - 2*x393)*x393 - x392 - 2*x394 =E= -1;
e393.. (3 - 2*x394)*x394 - x393 - 2*x395 =E= -1;
e394.. (3 - 2*x395)*x395 - x394 - 2*x396 =E= -1;
e395.. (3 - 2*x396)*x396 - x395 - 2*x397 =E= -1;
e396.. (3 - 2*x397)*x397 - x396 - 2*x398 =E= -1;
e397.. (3 - 2*x398)*x398 - x397 - 2*x399 =E= -1;
e398.. (3 - 2*x399)*x399 - x398 - 2*x400 =E= -1;
e399.. (3 - 2*x400)*x400 - x399 - 2*x401 =E= -1;
e400.. (3 - 2*x401)*x401 - x400 - 2*x402 =E= -1;
e401.. (3 - 2*x402)*x402 - x401 - 2*x403 =E= -1;
e402.. (3 - 2*x403)*x403 - x402 - 2*x404 =E= -1;
e403.. (3 - 2*x404)*x404 - x403 - 2*x405 =E= -1;
e404.. (3 - 2*x405)*x405 - x404 - 2*x406 =E= -1;
e405.. (3 - 2*x406)*x406 - x405 - 2*x407 =E= -1;
e406.. (3 - 2*x407)*x407 - x406 - 2*x408 =E= -1;
e407.. (3 - 2*x408)*x408 - x407 - 2*x409 =E= -1;
e408.. (3 - 2*x409)*x409 - x408 - 2*x410 =E= -1;
e409.. (3 - 2*x410)*x410 - x409 - 2*x411 =E= -1;
e410.. (3 - 2*x411)*x411 - x410 - 2*x412 =E= -1;
e411.. (3 - 2*x412)*x412 - x411 - 2*x413 =E= -1;
e412.. (3 - 2*x413)*x413 - x412 - 2*x414 =E= -1;
e413.. (3 - 2*x414)*x414 - x413 - 2*x415 =E= -1;
e414.. (3 - 2*x415)*x415 - x414 - 2*x416 =E= -1;
e415.. (3 - 2*x416)*x416 - x415 - 2*x417 =E= -1;
e416.. (3 - 2*x417)*x417 - x416 - 2*x418 =E= -1;
e417.. (3 - 2*x418)*x418 - x417 - 2*x419 =E= -1;
e418.. (3 - 2*x419)*x419 - x418 - 2*x420 =E= -1;
e419.. (3 - 2*x420)*x420 - x419 - 2*x421 =E= -1;
e420.. (3 - 2*x421)*x421 - x420 - 2*x422 =E= -1;
e421.. (3 - 2*x422)*x422 - x421 - 2*x423 =E= -1;
e422.. (3 - 2*x423)*x423 - x422 - 2*x424 =E= -1;
e423.. (3 - 2*x424)*x424 - x423 - 2*x425 =E= -1;
e424.. (3 - 2*x425)*x425 - x424 - 2*x426 =E= -1;
e425.. (3 - 2*x426)*x426 - x425 - 2*x427 =E= -1;
e426.. (3 - 2*x427)*x427 - x426 - 2*x428 =E= -1;
e427.. (3 - 2*x428)*x428 - x427 - 2*x429 =E= -1;
e428.. (3 - 2*x429)*x429 - x428 - 2*x430 =E= -1;
e429.. (3 - 2*x430)*x430 - x429 - 2*x431 =E= -1;
e430.. (3 - 2*x431)*x431 - x430 - 2*x432 =E= -1;
e431.. (3 - 2*x432)*x432 - x431 - 2*x433 =E= -1;
e432.. (3 - 2*x433)*x433 - x432 - 2*x434 =E= -1;
e433.. (3 - 2*x434)*x434 - x433 - 2*x435 =E= -1;
e434.. (3 - 2*x435)*x435 - x434 - 2*x436 =E= -1;
e435.. (3 - 2*x436)*x436 - x435 - 2*x437 =E= -1;
e436.. (3 - 2*x437)*x437 - x436 - 2*x438 =E= -1;
e437.. (3 - 2*x438)*x438 - x437 - 2*x439 =E= -1;
e438.. (3 - 2*x439)*x439 - x438 - 2*x440 =E= -1;
e439.. (3 - 2*x440)*x440 - x439 - 2*x441 =E= -1;
e440.. (3 - 2*x441)*x441 - x440 - 2*x442 =E= -1;
e441.. (3 - 2*x442)*x442 - x441 - 2*x443 =E= -1;
e442.. (3 - 2*x443)*x443 - x442 - 2*x444 =E= -1;
e443.. (3 - 2*x444)*x444 - x443 - 2*x445 =E= -1;
e444.. (3 - 2*x445)*x445 - x444 - 2*x446 =E= -1;
e445.. (3 - 2*x446)*x446 - x445 - 2*x447 =E= -1;
e446.. (3 - 2*x447)*x447 - x446 - 2*x448 =E= -1;
e447.. (3 - 2*x448)*x448 - x447 - 2*x449 =E= -1;
e448.. (3 - 2*x449)*x449 - x448 - 2*x450 =E= -1;
e449.. (3 - 2*x450)*x450 - x449 - 2*x451 =E= -1;
e450.. (3 - 2*x451)*x451 - x450 - 2*x452 =E= -1;
e451.. (3 - 2*x452)*x452 - x451 - 2*x453 =E= -1;
e452.. (3 - 2*x453)*x453 - x452 - 2*x454 =E= -1;
e453.. (3 - 2*x454)*x454 - x453 - 2*x455 =E= -1;
e454.. (3 - 2*x455)*x455 - x454 - 2*x456 =E= -1;
e455.. (3 - 2*x456)*x456 - x455 - 2*x457 =E= -1;
e456.. (3 - 2*x457)*x457 - x456 - 2*x458 =E= -1;
e457.. (3 - 2*x458)*x458 - x457 - 2*x459 =E= -1;
e458.. (3 - 2*x459)*x459 - x458 - 2*x460 =E= -1;
e459.. (3 - 2*x460)*x460 - x459 - 2*x461 =E= -1;
e460.. (3 - 2*x461)*x461 - x460 - 2*x462 =E= -1;
e461.. (3 - 2*x462)*x462 - x461 - 2*x463 =E= -1;
e462.. (3 - 2*x463)*x463 - x462 - 2*x464 =E= -1;
e463.. (3 - 2*x464)*x464 - x463 - 2*x465 =E= -1;
e464.. (3 - 2*x465)*x465 - x464 - 2*x466 =E= -1;
e465.. (3 - 2*x466)*x466 - x465 - 2*x467 =E= -1;
e466.. (3 - 2*x467)*x467 - x466 - 2*x468 =E= -1;
e467.. (3 - 2*x468)*x468 - x467 - 2*x469 =E= -1;
e468.. (3 - 2*x469)*x469 - x468 - 2*x470 =E= -1;
e469.. (3 - 2*x470)*x470 - x469 - 2*x471 =E= -1;
e470.. (3 - 2*x471)*x471 - x470 - 2*x472 =E= -1;
e471.. (3 - 2*x472)*x472 - x471 - 2*x473 =E= -1;
e472.. (3 - 2*x473)*x473 - x472 - 2*x474 =E= -1;
e473.. (3 - 2*x474)*x474 - x473 - 2*x475 =E= -1;
e474.. (3 - 2*x475)*x475 - x474 - 2*x476 =E= -1;
e475.. (3 - 2*x476)*x476 - x475 - 2*x477 =E= -1;
e476.. (3 - 2*x477)*x477 - x476 - 2*x478 =E= -1;
e477.. (3 - 2*x478)*x478 - x477 - 2*x479 =E= -1;
e478.. (3 - 2*x479)*x479 - x478 - 2*x480 =E= -1;
e479.. (3 - 2*x480)*x480 - x479 - 2*x481 =E= -1;
e480.. (3 - 2*x481)*x481 - x480 - 2*x482 =E= -1;
e481.. (3 - 2*x482)*x482 - x481 - 2*x483 =E= -1;
e482.. (3 - 2*x483)*x483 - x482 - 2*x484 =E= -1;
e483.. (3 - 2*x484)*x484 - x483 - 2*x485 =E= -1;
e484.. (3 - 2*x485)*x485 - x484 - 2*x486 =E= -1;
e485.. (3 - 2*x486)*x486 - x485 - 2*x487 =E= -1;
e486.. (3 - 2*x487)*x487 - x486 - 2*x488 =E= -1;
e487.. (3 - 2*x488)*x488 - x487 - 2*x489 =E= -1;
e488.. (3 - 2*x489)*x489 - x488 - 2*x490 =E= -1;
e489.. (3 - 2*x490)*x490 - x489 - 2*x491 =E= -1;
e490.. (3 - 2*x491)*x491 - x490 - 2*x492 =E= -1;
e491.. (3 - 2*x492)*x492 - x491 - 2*x493 =E= -1;
e492.. (3 - 2*x493)*x493 - x492 - 2*x494 =E= -1;
e493.. (3 - 2*x494)*x494 - x493 - 2*x495 =E= -1;
e494.. (3 - 2*x495)*x495 - x494 - 2*x496 =E= -1;
e495.. (3 - 2*x496)*x496 - x495 - 2*x497 =E= -1;
e496.. (3 - 2*x497)*x497 - x496 - 2*x498 =E= -1;
e497.. (3 - 2*x498)*x498 - x497 - 2*x499 =E= -1;
e498.. (3 - 2*x499)*x499 - x498 - 2*x500 =E= -1;
e499.. (3 - 2*x500)*x500 - x499 - 2*x501 =E= -1;
e500.. (3 - 2*x501)*x501 - x500 - 2*x502 =E= -1;
e501.. (3 - 2*x502)*x502 - x501 - 2*x503 =E= -1;
e502.. (3 - 2*x503)*x503 - x502 - 2*x504 =E= -1;
e503.. (3 - 2*x504)*x504 - x503 - 2*x505 =E= -1;
e504.. (3 - 2*x505)*x505 - x504 - 2*x506 =E= -1;
e505.. (3 - 2*x506)*x506 - x505 - 2*x507 =E= -1;
e506.. (3 - 2*x507)*x507 - x506 - 2*x508 =E= -1;
e507.. (3 - 2*x508)*x508 - x507 - 2*x509 =E= -1;
e508.. (3 - 2*x509)*x509 - x508 - 2*x510 =E= -1;
e509.. (3 - 2*x510)*x510 - x509 - 2*x511 =E= -1;
e510.. (3 - 2*x511)*x511 - x510 - 2*x512 =E= -1;
e511.. (3 - 2*x512)*x512 - x511 - 2*x513 =E= -1;
e512.. (3 - 2*x513)*x513 - x512 - 2*x514 =E= -1;
e513.. (3 - 2*x514)*x514 - x513 - 2*x515 =E= -1;
e514.. (3 - 2*x515)*x515 - x514 - 2*x516 =E= -1;
e515.. (3 - 2*x516)*x516 - x515 - 2*x517 =E= -1;
e516.. (3 - 2*x517)*x517 - x516 - 2*x518 =E= -1;
e517.. (3 - 2*x518)*x518 - x517 - 2*x519 =E= -1;
e518.. (3 - 2*x519)*x519 - x518 - 2*x520 =E= -1;
e519.. (3 - 2*x520)*x520 - x519 - 2*x521 =E= -1;
e520.. (3 - 2*x521)*x521 - x520 - 2*x522 =E= -1;
e521.. (3 - 2*x522)*x522 - x521 - 2*x523 =E= -1;
e522.. (3 - 2*x523)*x523 - x522 - 2*x524 =E= -1;
e523.. (3 - 2*x524)*x524 - x523 - 2*x525 =E= -1;
e524.. (3 - 2*x525)*x525 - x524 - 2*x526 =E= -1;
e525.. (3 - 2*x526)*x526 - x525 - 2*x527 =E= -1;
e526.. (3 - 2*x527)*x527 - x526 - 2*x528 =E= -1;
e527.. (3 - 2*x528)*x528 - x527 - 2*x529 =E= -1;
e528.. (3 - 2*x529)*x529 - x528 - 2*x530 =E= -1;
e529.. (3 - 2*x530)*x530 - x529 - 2*x531 =E= -1;
e530.. (3 - 2*x531)*x531 - x530 - 2*x532 =E= -1;
e531.. (3 - 2*x532)*x532 - x531 - 2*x533 =E= -1;
e532.. (3 - 2*x533)*x533 - x532 - 2*x534 =E= -1;
e533.. (3 - 2*x534)*x534 - x533 - 2*x535 =E= -1;
e534.. (3 - 2*x535)*x535 - x534 - 2*x536 =E= -1;
e535.. (3 - 2*x536)*x536 - x535 - 2*x537 =E= -1;
e536.. (3 - 2*x537)*x537 - x536 - 2*x538 =E= -1;
e537.. (3 - 2*x538)*x538 - x537 - 2*x539 =E= -1;
e538.. (3 - 2*x539)*x539 - x538 - 2*x540 =E= -1;
e539.. (3 - 2*x540)*x540 - x539 - 2*x541 =E= -1;
e540.. (3 - 2*x541)*x541 - x540 - 2*x542 =E= -1;
e541.. (3 - 2*x542)*x542 - x541 - 2*x543 =E= -1;
e542.. (3 - 2*x543)*x543 - x542 - 2*x544 =E= -1;
e543.. (3 - 2*x544)*x544 - x543 - 2*x545 =E= -1;
e544.. (3 - 2*x545)*x545 - x544 - 2*x546 =E= -1;
e545.. (3 - 2*x546)*x546 - x545 - 2*x547 =E= -1;
e546.. (3 - 2*x547)*x547 - x546 - 2*x548 =E= -1;
e547.. (3 - 2*x548)*x548 - x547 - 2*x549 =E= -1;
e548.. (3 - 2*x549)*x549 - x548 - 2*x550 =E= -1;
e549.. (3 - 2*x550)*x550 - x549 - 2*x551 =E= -1;
e550.. (3 - 2*x551)*x551 - x550 - 2*x552 =E= -1;
e551.. (3 - 2*x552)*x552 - x551 - 2*x553 =E= -1;
e552.. (3 - 2*x553)*x553 - x552 - 2*x554 =E= -1;
e553.. (3 - 2*x554)*x554 - x553 - 2*x555 =E= -1;
e554.. (3 - 2*x555)*x555 - x554 - 2*x556 =E= -1;
e555.. (3 - 2*x556)*x556 - x555 - 2*x557 =E= -1;
e556.. (3 - 2*x557)*x557 - x556 - 2*x558 =E= -1;
e557.. (3 - 2*x558)*x558 - x557 - 2*x559 =E= -1;
e558.. (3 - 2*x559)*x559 - x558 - 2*x560 =E= -1;
e559.. (3 - 2*x560)*x560 - x559 - 2*x561 =E= -1;
e560.. (3 - 2*x561)*x561 - x560 - 2*x562 =E= -1;
e561.. (3 - 2*x562)*x562 - x561 - 2*x563 =E= -1;
e562.. (3 - 2*x563)*x563 - x562 - 2*x564 =E= -1;
e563.. (3 - 2*x564)*x564 - x563 - 2*x565 =E= -1;
e564.. (3 - 2*x565)*x565 - x564 - 2*x566 =E= -1;
e565.. (3 - 2*x566)*x566 - x565 - 2*x567 =E= -1;
e566.. (3 - 2*x567)*x567 - x566 - 2*x568 =E= -1;
e567.. (3 - 2*x568)*x568 - x567 - 2*x569 =E= -1;
e568.. (3 - 2*x569)*x569 - x568 - 2*x570 =E= -1;
e569.. (3 - 2*x570)*x570 - x569 - 2*x571 =E= -1;
e570.. (3 - 2*x571)*x571 - x570 - 2*x572 =E= -1;
e571.. (3 - 2*x572)*x572 - x571 - 2*x573 =E= -1;
e572.. (3 - 2*x573)*x573 - x572 - 2*x574 =E= -1;
e573.. (3 - 2*x574)*x574 - x573 - 2*x575 =E= -1;
e574.. (3 - 2*x575)*x575 - x574 - 2*x576 =E= -1;
e575.. (3 - 2*x576)*x576 - x575 - 2*x577 =E= -1;
e576.. (3 - 2*x577)*x577 - x576 - 2*x578 =E= -1;
e577.. (3 - 2*x578)*x578 - x577 - 2*x579 =E= -1;
e578.. (3 - 2*x579)*x579 - x578 - 2*x580 =E= -1;
e579.. (3 - 2*x580)*x580 - x579 - 2*x581 =E= -1;
e580.. (3 - 2*x581)*x581 - x580 - 2*x582 =E= -1;
e581.. (3 - 2*x582)*x582 - x581 - 2*x583 =E= -1;
e582.. (3 - 2*x583)*x583 - x582 - 2*x584 =E= -1;
e583.. (3 - 2*x584)*x584 - x583 - 2*x585 =E= -1;
e584.. (3 - 2*x585)*x585 - x584 - 2*x586 =E= -1;
e585.. (3 - 2*x586)*x586 - x585 - 2*x587 =E= -1;
e586.. (3 - 2*x587)*x587 - x586 - 2*x588 =E= -1;
e587.. (3 - 2*x588)*x588 - x587 - 2*x589 =E= -1;
e588.. (3 - 2*x589)*x589 - x588 - 2*x590 =E= -1;
e589.. (3 - 2*x590)*x590 - x589 - 2*x591 =E= -1;
e590.. (3 - 2*x591)*x591 - x590 - 2*x592 =E= -1;
e591.. (3 - 2*x592)*x592 - x591 - 2*x593 =E= -1;
e592.. (3 - 2*x593)*x593 - x592 - 2*x594 =E= -1;
e593.. (3 - 2*x594)*x594 - x593 - 2*x595 =E= -1;
e594.. (3 - 2*x595)*x595 - x594 - 2*x596 =E= -1;
e595.. (3 - 2*x596)*x596 - x595 - 2*x597 =E= -1;
e596.. (3 - 2*x597)*x597 - x596 - 2*x598 =E= -1;
e597.. (3 - 2*x598)*x598 - x597 - 2*x599 =E= -1;
e598.. (3 - 2*x599)*x599 - x598 - 2*x600 =E= -1;
e599.. (3 - 2*x600)*x600 - x599 - 2*x601 =E= -1;
e600.. (3 - 2*x601)*x601 - x600 - 2*x602 =E= -1;
e601.. (3 - 2*x602)*x602 - x601 - 2*x603 =E= -1;
e602.. (3 - 2*x603)*x603 - x602 - 2*x604 =E= -1;
e603.. (3 - 2*x604)*x604 - x603 - 2*x605 =E= -1;
e604.. (3 - 2*x605)*x605 - x604 - 2*x606 =E= -1;
e605.. (3 - 2*x606)*x606 - x605 - 2*x607 =E= -1;
e606.. (3 - 2*x607)*x607 - x606 - 2*x608 =E= -1;
e607.. (3 - 2*x608)*x608 - x607 - 2*x609 =E= -1;
e608.. (3 - 2*x609)*x609 - x608 - 2*x610 =E= -1;
e609.. (3 - 2*x610)*x610 - x609 - 2*x611 =E= -1;
e610.. (3 - 2*x611)*x611 - x610 - 2*x612 =E= -1;
e611.. (3 - 2*x612)*x612 - x611 - 2*x613 =E= -1;
e612.. (3 - 2*x613)*x613 - x612 - 2*x614 =E= -1;
e613.. (3 - 2*x614)*x614 - x613 - 2*x615 =E= -1;
e614.. (3 - 2*x615)*x615 - x614 - 2*x616 =E= -1;
e615.. (3 - 2*x616)*x616 - x615 - 2*x617 =E= -1;
e616.. (3 - 2*x617)*x617 - x616 - 2*x618 =E= -1;
e617.. (3 - 2*x618)*x618 - x617 - 2*x619 =E= -1;
e618.. (3 - 2*x619)*x619 - x618 - 2*x620 =E= -1;
e619.. (3 - 2*x620)*x620 - x619 - 2*x621 =E= -1;
e620.. (3 - 2*x621)*x621 - x620 - 2*x622 =E= -1;
e621.. (3 - 2*x622)*x622 - x621 - 2*x623 =E= -1;
e622.. (3 - 2*x623)*x623 - x622 - 2*x624 =E= -1;
e623.. (3 - 2*x624)*x624 - x623 - 2*x625 =E= -1;
e624.. (3 - 2*x625)*x625 - x624 - 2*x626 =E= -1;
e625.. (3 - 2*x626)*x626 - x625 - 2*x627 =E= -1;
e626.. (3 - 2*x627)*x627 - x626 - 2*x628 =E= -1;
e627.. (3 - 2*x628)*x628 - x627 - 2*x629 =E= -1;
e628.. (3 - 2*x629)*x629 - x628 - 2*x630 =E= -1;
e629.. (3 - 2*x630)*x630 - x629 - 2*x631 =E= -1;
e630.. (3 - 2*x631)*x631 - x630 - 2*x632 =E= -1;
e631.. (3 - 2*x632)*x632 - x631 - 2*x633 =E= -1;
e632.. (3 - 2*x633)*x633 - x632 - 2*x634 =E= -1;
e633.. (3 - 2*x634)*x634 - x633 - 2*x635 =E= -1;
e634.. (3 - 2*x635)*x635 - x634 - 2*x636 =E= -1;
e635.. (3 - 2*x636)*x636 - x635 - 2*x637 =E= -1;
e636.. (3 - 2*x637)*x637 - x636 - 2*x638 =E= -1;
e637.. (3 - 2*x638)*x638 - x637 - 2*x639 =E= -1;
e638.. (3 - 2*x639)*x639 - x638 - 2*x640 =E= -1;
e639.. (3 - 2*x640)*x640 - x639 - 2*x641 =E= -1;
e640.. (3 - 2*x641)*x641 - x640 - 2*x642 =E= -1;
e641.. (3 - 2*x642)*x642 - x641 - 2*x643 =E= -1;
e642.. (3 - 2*x643)*x643 - x642 - 2*x644 =E= -1;
e643.. (3 - 2*x644)*x644 - x643 - 2*x645 =E= -1;
e644.. (3 - 2*x645)*x645 - x644 - 2*x646 =E= -1;
e645.. (3 - 2*x646)*x646 - x645 - 2*x647 =E= -1;
e646.. (3 - 2*x647)*x647 - x646 - 2*x648 =E= -1;
e647.. (3 - 2*x648)*x648 - x647 - 2*x649 =E= -1;
e648.. (3 - 2*x649)*x649 - x648 - 2*x650 =E= -1;
e649.. (3 - 2*x650)*x650 - x649 - 2*x651 =E= -1;
e650.. (3 - 2*x651)*x651 - x650 - 2*x652 =E= -1;
e651.. (3 - 2*x652)*x652 - x651 - 2*x653 =E= -1;
e652.. (3 - 2*x653)*x653 - x652 - 2*x654 =E= -1;
e653.. (3 - 2*x654)*x654 - x653 - 2*x655 =E= -1;
e654.. (3 - 2*x655)*x655 - x654 - 2*x656 =E= -1;
e655.. (3 - 2*x656)*x656 - x655 - 2*x657 =E= -1;
e656.. (3 - 2*x657)*x657 - x656 - 2*x658 =E= -1;
e657.. (3 - 2*x658)*x658 - x657 - 2*x659 =E= -1;
e658.. (3 - 2*x659)*x659 - x658 - 2*x660 =E= -1;
e659.. (3 - 2*x660)*x660 - x659 - 2*x661 =E= -1;
e660.. (3 - 2*x661)*x661 - x660 - 2*x662 =E= -1;
e661.. (3 - 2*x662)*x662 - x661 - 2*x663 =E= -1;
e662.. (3 - 2*x663)*x663 - x662 - 2*x664 =E= -1;
e663.. (3 - 2*x664)*x664 - x663 - 2*x665 =E= -1;
e664.. (3 - 2*x665)*x665 - x664 - 2*x666 =E= -1;
e665.. (3 - 2*x666)*x666 - x665 - 2*x667 =E= -1;
e666.. (3 - 2*x667)*x667 - x666 - 2*x668 =E= -1;
e667.. (3 - 2*x668)*x668 - x667 - 2*x669 =E= -1;
e668.. (3 - 2*x669)*x669 - x668 - 2*x670 =E= -1;
e669.. (3 - 2*x670)*x670 - x669 - 2*x671 =E= -1;
e670.. (3 - 2*x671)*x671 - x670 - 2*x672 =E= -1;
e671.. (3 - 2*x672)*x672 - x671 - 2*x673 =E= -1;
e672.. (3 - 2*x673)*x673 - x672 - 2*x674 =E= -1;
e673.. (3 - 2*x674)*x674 - x673 - 2*x675 =E= -1;
e674.. (3 - 2*x675)*x675 - x674 - 2*x676 =E= -1;
e675.. (3 - 2*x676)*x676 - x675 - 2*x677 =E= -1;
e676.. (3 - 2*x677)*x677 - x676 - 2*x678 =E= -1;
e677.. (3 - 2*x678)*x678 - x677 - 2*x679 =E= -1;
e678.. (3 - 2*x679)*x679 - x678 - 2*x680 =E= -1;
e679.. (3 - 2*x680)*x680 - x679 - 2*x681 =E= -1;
e680.. (3 - 2*x681)*x681 - x680 - 2*x682 =E= -1;
e681.. (3 - 2*x682)*x682 - x681 - 2*x683 =E= -1;
e682.. (3 - 2*x683)*x683 - x682 - 2*x684 =E= -1;
e683.. (3 - 2*x684)*x684 - x683 - 2*x685 =E= -1;
e684.. (3 - 2*x685)*x685 - x684 - 2*x686 =E= -1;
e685.. (3 - 2*x686)*x686 - x685 - 2*x687 =E= -1;
e686.. (3 - 2*x687)*x687 - x686 - 2*x688 =E= -1;
e687.. (3 - 2*x688)*x688 - x687 - 2*x689 =E= -1;
e688.. (3 - 2*x689)*x689 - x688 - 2*x690 =E= -1;
e689.. (3 - 2*x690)*x690 - x689 - 2*x691 =E= -1;
e690.. (3 - 2*x691)*x691 - x690 - 2*x692 =E= -1;
e691.. (3 - 2*x692)*x692 - x691 - 2*x693 =E= -1;
e692.. (3 - 2*x693)*x693 - x692 - 2*x694 =E= -1;
e693.. (3 - 2*x694)*x694 - x693 - 2*x695 =E= -1;
e694.. (3 - 2*x695)*x695 - x694 - 2*x696 =E= -1;
e695.. (3 - 2*x696)*x696 - x695 - 2*x697 =E= -1;
e696.. (3 - 2*x697)*x697 - x696 - 2*x698 =E= -1;
e697.. (3 - 2*x698)*x698 - x697 - 2*x699 =E= -1;
e698.. (3 - 2*x699)*x699 - x698 - 2*x700 =E= -1;
e699.. (3 - 2*x700)*x700 - x699 - 2*x701 =E= -1;
e700.. (3 - 2*x701)*x701 - x700 - 2*x702 =E= -1;
e701.. (3 - 2*x702)*x702 - x701 - 2*x703 =E= -1;
e702.. (3 - 2*x703)*x703 - x702 - 2*x704 =E= -1;
e703.. (3 - 2*x704)*x704 - x703 - 2*x705 =E= -1;
e704.. (3 - 2*x705)*x705 - x704 - 2*x706 =E= -1;
e705.. (3 - 2*x706)*x706 - x705 - 2*x707 =E= -1;
e706.. (3 - 2*x707)*x707 - x706 - 2*x708 =E= -1;
e707.. (3 - 2*x708)*x708 - x707 - 2*x709 =E= -1;
e708.. (3 - 2*x709)*x709 - x708 - 2*x710 =E= -1;
e709.. (3 - 2*x710)*x710 - x709 - 2*x711 =E= -1;
e710.. (3 - 2*x711)*x711 - x710 - 2*x712 =E= -1;
e711.. (3 - 2*x712)*x712 - x711 - 2*x713 =E= -1;
e712.. (3 - 2*x713)*x713 - x712 - 2*x714 =E= -1;
e713.. (3 - 2*x714)*x714 - x713 - 2*x715 =E= -1;
e714.. (3 - 2*x715)*x715 - x714 - 2*x716 =E= -1;
e715.. (3 - 2*x716)*x716 - x715 - 2*x717 =E= -1;
e716.. (3 - 2*x717)*x717 - x716 - 2*x718 =E= -1;
e717.. (3 - 2*x718)*x718 - x717 - 2*x719 =E= -1;
e718.. (3 - 2*x719)*x719 - x718 - 2*x720 =E= -1;
e719.. (3 - 2*x720)*x720 - x719 - 2*x721 =E= -1;
e720.. (3 - 2*x721)*x721 - x720 - 2*x722 =E= -1;
e721.. (3 - 2*x722)*x722 - x721 - 2*x723 =E= -1;
e722.. (3 - 2*x723)*x723 - x722 - 2*x724 =E= -1;
e723.. (3 - 2*x724)*x724 - x723 - 2*x725 =E= -1;
e724.. (3 - 2*x725)*x725 - x724 - 2*x726 =E= -1;
e725.. (3 - 2*x726)*x726 - x725 - 2*x727 =E= -1;
e726.. (3 - 2*x727)*x727 - x726 - 2*x728 =E= -1;
e727.. (3 - 2*x728)*x728 - x727 - 2*x729 =E= -1;
e728.. (3 - 2*x729)*x729 - x728 - 2*x730 =E= -1;
e729.. (3 - 2*x730)*x730 - x729 - 2*x731 =E= -1;
e730.. (3 - 2*x731)*x731 - x730 - 2*x732 =E= -1;
e731.. (3 - 2*x732)*x732 - x731 - 2*x733 =E= -1;
e732.. (3 - 2*x733)*x733 - x732 - 2*x734 =E= -1;
e733.. (3 - 2*x734)*x734 - x733 - 2*x735 =E= -1;
e734.. (3 - 2*x735)*x735 - x734 - 2*x736 =E= -1;
e735.. (3 - 2*x736)*x736 - x735 - 2*x737 =E= -1;
e736.. (3 - 2*x737)*x737 - x736 - 2*x738 =E= -1;
e737.. (3 - 2*x738)*x738 - x737 - 2*x739 =E= -1;
e738.. (3 - 2*x739)*x739 - x738 - 2*x740 =E= -1;
e739.. (3 - 2*x740)*x740 - x739 - 2*x741 =E= -1;
e740.. (3 - 2*x741)*x741 - x740 - 2*x742 =E= -1;
e741.. (3 - 2*x742)*x742 - x741 - 2*x743 =E= -1;
e742.. (3 - 2*x743)*x743 - x742 - 2*x744 =E= -1;
e743.. (3 - 2*x744)*x744 - x743 - 2*x745 =E= -1;
e744.. (3 - 2*x745)*x745 - x744 - 2*x746 =E= -1;
e745.. (3 - 2*x746)*x746 - x745 - 2*x747 =E= -1;
e746.. (3 - 2*x747)*x747 - x746 - 2*x748 =E= -1;
e747.. (3 - 2*x748)*x748 - x747 - 2*x749 =E= -1;
e748.. (3 - 2*x749)*x749 - x748 - 2*x750 =E= -1;
e749.. (3 - 2*x750)*x750 - x749 - 2*x751 =E= -1;
e750.. (3 - 2*x751)*x751 - x750 - 2*x752 =E= -1;
e751.. (3 - 2*x752)*x752 - x751 - 2*x753 =E= -1;
e752.. (3 - 2*x753)*x753 - x752 - 2*x754 =E= -1;
e753.. (3 - 2*x754)*x754 - x753 - 2*x755 =E= -1;
e754.. (3 - 2*x755)*x755 - x754 - 2*x756 =E= -1;
e755.. (3 - 2*x756)*x756 - x755 - 2*x757 =E= -1;
e756.. (3 - 2*x757)*x757 - x756 - 2*x758 =E= -1;
e757.. (3 - 2*x758)*x758 - x757 - 2*x759 =E= -1;
e758.. (3 - 2*x759)*x759 - x758 - 2*x760 =E= -1;
e759.. (3 - 2*x760)*x760 - x759 - 2*x761 =E= -1;
e760.. (3 - 2*x761)*x761 - x760 - 2*x762 =E= -1;
e761.. (3 - 2*x762)*x762 - x761 - 2*x763 =E= -1;
e762.. (3 - 2*x763)*x763 - x762 - 2*x764 =E= -1;
e763.. (3 - 2*x764)*x764 - x763 - 2*x765 =E= -1;
e764.. (3 - 2*x765)*x765 - x764 - 2*x766 =E= -1;
e765.. (3 - 2*x766)*x766 - x765 - 2*x767 =E= -1;
e766.. (3 - 2*x767)*x767 - x766 - 2*x768 =E= -1;
e767.. (3 - 2*x768)*x768 - x767 - 2*x769 =E= -1;
e768.. (3 - 2*x769)*x769 - x768 - 2*x770 =E= -1;
e769.. (3 - 2*x770)*x770 - x769 - 2*x771 =E= -1;
e770.. (3 - 2*x771)*x771 - x770 - 2*x772 =E= -1;
e771.. (3 - 2*x772)*x772 - x771 - 2*x773 =E= -1;
e772.. (3 - 2*x773)*x773 - x772 - 2*x774 =E= -1;
e773.. (3 - 2*x774)*x774 - x773 - 2*x775 =E= -1;
e774.. (3 - 2*x775)*x775 - x774 - 2*x776 =E= -1;
e775.. (3 - 2*x776)*x776 - x775 - 2*x777 =E= -1;
e776.. (3 - 2*x777)*x777 - x776 - 2*x778 =E= -1;
e777.. (3 - 2*x778)*x778 - x777 - 2*x779 =E= -1;
e778.. (3 - 2*x779)*x779 - x778 - 2*x780 =E= -1;
e779.. (3 - 2*x780)*x780 - x779 - 2*x781 =E= -1;
e780.. (3 - 2*x781)*x781 - x780 - 2*x782 =E= -1;
e781.. (3 - 2*x782)*x782 - x781 - 2*x783 =E= -1;
e782.. (3 - 2*x783)*x783 - x782 - 2*x784 =E= -1;
e783.. (3 - 2*x784)*x784 - x783 - 2*x785 =E= -1;
e784.. (3 - 2*x785)*x785 - x784 - 2*x786 =E= -1;
e785.. (3 - 2*x786)*x786 - x785 - 2*x787 =E= -1;
e786.. (3 - 2*x787)*x787 - x786 - 2*x788 =E= -1;
e787.. (3 - 2*x788)*x788 - x787 - 2*x789 =E= -1;
e788.. (3 - 2*x789)*x789 - x788 - 2*x790 =E= -1;
e789.. (3 - 2*x790)*x790 - x789 - 2*x791 =E= -1;
e790.. (3 - 2*x791)*x791 - x790 - 2*x792 =E= -1;
e791.. (3 - 2*x792)*x792 - x791 - 2*x793 =E= -1;
e792.. (3 - 2*x793)*x793 - x792 - 2*x794 =E= -1;
e793.. (3 - 2*x794)*x794 - x793 - 2*x795 =E= -1;
e794.. (3 - 2*x795)*x795 - x794 - 2*x796 =E= -1;
e795.. (3 - 2*x796)*x796 - x795 - 2*x797 =E= -1;
e796.. (3 - 2*x797)*x797 - x796 - 2*x798 =E= -1;
e797.. (3 - 2*x798)*x798 - x797 - 2*x799 =E= -1;
e798.. (3 - 2*x799)*x799 - x798 - 2*x800 =E= -1;
e799.. (3 - 2*x800)*x800 - x799 - 2*x801 =E= -1;
e800.. (3 - 2*x801)*x801 - x800 - 2*x802 =E= -1;
e801.. (3 - 2*x802)*x802 - x801 - 2*x803 =E= -1;
e802.. (3 - 2*x803)*x803 - x802 - 2*x804 =E= -1;
e803.. (3 - 2*x804)*x804 - x803 - 2*x805 =E= -1;
e804.. (3 - 2*x805)*x805 - x804 - 2*x806 =E= -1;
e805.. (3 - 2*x806)*x806 - x805 - 2*x807 =E= -1;
e806.. (3 - 2*x807)*x807 - x806 - 2*x808 =E= -1;
e807.. (3 - 2*x808)*x808 - x807 - 2*x809 =E= -1;
e808.. (3 - 2*x809)*x809 - x808 - 2*x810 =E= -1;
e809.. (3 - 2*x810)*x810 - x809 - 2*x811 =E= -1;
e810.. (3 - 2*x811)*x811 - x810 - 2*x812 =E= -1;
e811.. (3 - 2*x812)*x812 - x811 - 2*x813 =E= -1;
e812.. (3 - 2*x813)*x813 - x812 - 2*x814 =E= -1;
e813.. (3 - 2*x814)*x814 - x813 - 2*x815 =E= -1;
e814.. (3 - 2*x815)*x815 - x814 - 2*x816 =E= -1;
e815.. (3 - 2*x816)*x816 - x815 - 2*x817 =E= -1;
e816.. (3 - 2*x817)*x817 - x816 - 2*x818 =E= -1;
e817.. (3 - 2*x818)*x818 - x817 - 2*x819 =E= -1;
e818.. (3 - 2*x819)*x819 - x818 - 2*x820 =E= -1;
e819.. (3 - 2*x820)*x820 - x819 - 2*x821 =E= -1;
e820.. (3 - 2*x821)*x821 - x820 - 2*x822 =E= -1;
e821.. (3 - 2*x822)*x822 - x821 - 2*x823 =E= -1;
e822.. (3 - 2*x823)*x823 - x822 - 2*x824 =E= -1;
e823.. (3 - 2*x824)*x824 - x823 - 2*x825 =E= -1;
e824.. (3 - 2*x825)*x825 - x824 - 2*x826 =E= -1;
e825.. (3 - 2*x826)*x826 - x825 - 2*x827 =E= -1;
e826.. (3 - 2*x827)*x827 - x826 - 2*x828 =E= -1;
e827.. (3 - 2*x828)*x828 - x827 - 2*x829 =E= -1;
e828.. (3 - 2*x829)*x829 - x828 - 2*x830 =E= -1;
e829.. (3 - 2*x830)*x830 - x829 - 2*x831 =E= -1;
e830.. (3 - 2*x831)*x831 - x830 - 2*x832 =E= -1;
e831.. (3 - 2*x832)*x832 - x831 - 2*x833 =E= -1;
e832.. (3 - 2*x833)*x833 - x832 - 2*x834 =E= -1;
e833.. (3 - 2*x834)*x834 - x833 - 2*x835 =E= -1;
e834.. (3 - 2*x835)*x835 - x834 - 2*x836 =E= -1;
e835.. (3 - 2*x836)*x836 - x835 - 2*x837 =E= -1;
e836.. (3 - 2*x837)*x837 - x836 - 2*x838 =E= -1;
e837.. (3 - 2*x838)*x838 - x837 - 2*x839 =E= -1;
e838.. (3 - 2*x839)*x839 - x838 - 2*x840 =E= -1;
e839.. (3 - 2*x840)*x840 - x839 - 2*x841 =E= -1;
e840.. (3 - 2*x841)*x841 - x840 - 2*x842 =E= -1;
e841.. (3 - 2*x842)*x842 - x841 - 2*x843 =E= -1;
e842.. (3 - 2*x843)*x843 - x842 - 2*x844 =E= -1;
e843.. (3 - 2*x844)*x844 - x843 - 2*x845 =E= -1;
e844.. (3 - 2*x845)*x845 - x844 - 2*x846 =E= -1;
e845.. (3 - 2*x846)*x846 - x845 - 2*x847 =E= -1;
e846.. (3 - 2*x847)*x847 - x846 - 2*x848 =E= -1;
e847.. (3 - 2*x848)*x848 - x847 - 2*x849 =E= -1;
e848.. (3 - 2*x849)*x849 - x848 - 2*x850 =E= -1;
e849.. (3 - 2*x850)*x850 - x849 - 2*x851 =E= -1;
e850.. (3 - 2*x851)*x851 - x850 - 2*x852 =E= -1;
e851.. (3 - 2*x852)*x852 - x851 - 2*x853 =E= -1;
e852.. (3 - 2*x853)*x853 - x852 - 2*x854 =E= -1;
e853.. (3 - 2*x854)*x854 - x853 - 2*x855 =E= -1;
e854.. (3 - 2*x855)*x855 - x854 - 2*x856 =E= -1;
e855.. (3 - 2*x856)*x856 - x855 - 2*x857 =E= -1;
e856.. (3 - 2*x857)*x857 - x856 - 2*x858 =E= -1;
e857.. (3 - 2*x858)*x858 - x857 - 2*x859 =E= -1;
e858.. (3 - 2*x859)*x859 - x858 - 2*x860 =E= -1;
e859.. (3 - 2*x860)*x860 - x859 - 2*x861 =E= -1;
e860.. (3 - 2*x861)*x861 - x860 - 2*x862 =E= -1;
e861.. (3 - 2*x862)*x862 - x861 - 2*x863 =E= -1;
e862.. (3 - 2*x863)*x863 - x862 - 2*x864 =E= -1;
e863.. (3 - 2*x864)*x864 - x863 - 2*x865 =E= -1;
e864.. (3 - 2*x865)*x865 - x864 - 2*x866 =E= -1;
e865.. (3 - 2*x866)*x866 - x865 - 2*x867 =E= -1;
e866.. (3 - 2*x867)*x867 - x866 - 2*x868 =E= -1;
e867.. (3 - 2*x868)*x868 - x867 - 2*x869 =E= -1;
e868.. (3 - 2*x869)*x869 - x868 - 2*x870 =E= -1;
e869.. (3 - 2*x870)*x870 - x869 - 2*x871 =E= -1;
e870.. (3 - 2*x871)*x871 - x870 - 2*x872 =E= -1;
e871.. (3 - 2*x872)*x872 - x871 - 2*x873 =E= -1;
e872.. (3 - 2*x873)*x873 - x872 - 2*x874 =E= -1;
e873.. (3 - 2*x874)*x874 - x873 - 2*x875 =E= -1;
e874.. (3 - 2*x875)*x875 - x874 - 2*x876 =E= -1;
e875.. (3 - 2*x876)*x876 - x875 - 2*x877 =E= -1;
e876.. (3 - 2*x877)*x877 - x876 - 2*x878 =E= -1;
e877.. (3 - 2*x878)*x878 - x877 - 2*x879 =E= -1;
e878.. (3 - 2*x879)*x879 - x878 - 2*x880 =E= -1;
e879.. (3 - 2*x880)*x880 - x879 - 2*x881 =E= -1;
e880.. (3 - 2*x881)*x881 - x880 - 2*x882 =E= -1;
e881.. (3 - 2*x882)*x882 - x881 - 2*x883 =E= -1;
e882.. (3 - 2*x883)*x883 - x882 - 2*x884 =E= -1;
e883.. (3 - 2*x884)*x884 - x883 - 2*x885 =E= -1;
e884.. (3 - 2*x885)*x885 - x884 - 2*x886 =E= -1;
e885.. (3 - 2*x886)*x886 - x885 - 2*x887 =E= -1;
e886.. (3 - 2*x887)*x887 - x886 - 2*x888 =E= -1;
e887.. (3 - 2*x888)*x888 - x887 - 2*x889 =E= -1;
e888.. (3 - 2*x889)*x889 - x888 - 2*x890 =E= -1;
e889.. (3 - 2*x890)*x890 - x889 - 2*x891 =E= -1;
e890.. (3 - 2*x891)*x891 - x890 - 2*x892 =E= -1;
e891.. (3 - 2*x892)*x892 - x891 - 2*x893 =E= -1;
e892.. (3 - 2*x893)*x893 - x892 - 2*x894 =E= -1;
e893.. (3 - 2*x894)*x894 - x893 - 2*x895 =E= -1;
e894.. (3 - 2*x895)*x895 - x894 - 2*x896 =E= -1;
e895.. (3 - 2*x896)*x896 - x895 - 2*x897 =E= -1;
e896.. (3 - 2*x897)*x897 - x896 - 2*x898 =E= -1;
e897.. (3 - 2*x898)*x898 - x897 - 2*x899 =E= -1;
e898.. (3 - 2*x899)*x899 - x898 - 2*x900 =E= -1;
e899.. (3 - 2*x900)*x900 - x899 - 2*x901 =E= -1;
e900.. (3 - 2*x901)*x901 - x900 - 2*x902 =E= -1;
e901.. (3 - 2*x902)*x902 - x901 - 2*x903 =E= -1;
e902.. (3 - 2*x903)*x903 - x902 - 2*x904 =E= -1;
e903.. (3 - 2*x904)*x904 - x903 - 2*x905 =E= -1;
e904.. (3 - 2*x905)*x905 - x904 - 2*x906 =E= -1;
e905.. (3 - 2*x906)*x906 - x905 - 2*x907 =E= -1;
e906.. (3 - 2*x907)*x907 - x906 - 2*x908 =E= -1;
e907.. (3 - 2*x908)*x908 - x907 - 2*x909 =E= -1;
e908.. (3 - 2*x909)*x909 - x908 - 2*x910 =E= -1;
e909.. (3 - 2*x910)*x910 - x909 - 2*x911 =E= -1;
e910.. (3 - 2*x911)*x911 - x910 - 2*x912 =E= -1;
e911.. (3 - 2*x912)*x912 - x911 - 2*x913 =E= -1;
e912.. (3 - 2*x913)*x913 - x912 - 2*x914 =E= -1;
e913.. (3 - 2*x914)*x914 - x913 - 2*x915 =E= -1;
e914.. (3 - 2*x915)*x915 - x914 - 2*x916 =E= -1;
e915.. (3 - 2*x916)*x916 - x915 - 2*x917 =E= -1;
e916.. (3 - 2*x917)*x917 - x916 - 2*x918 =E= -1;
e917.. (3 - 2*x918)*x918 - x917 - 2*x919 =E= -1;
e918.. (3 - 2*x919)*x919 - x918 - 2*x920 =E= -1;
e919.. (3 - 2*x920)*x920 - x919 - 2*x921 =E= -1;
e920.. (3 - 2*x921)*x921 - x920 - 2*x922 =E= -1;
e921.. (3 - 2*x922)*x922 - x921 - 2*x923 =E= -1;
e922.. (3 - 2*x923)*x923 - x922 - 2*x924 =E= -1;
e923.. (3 - 2*x924)*x924 - x923 - 2*x925 =E= -1;
e924.. (3 - 2*x925)*x925 - x924 - 2*x926 =E= -1;
e925.. (3 - 2*x926)*x926 - x925 - 2*x927 =E= -1;
e926.. (3 - 2*x927)*x927 - x926 - 2*x928 =E= -1;
e927.. (3 - 2*x928)*x928 - x927 - 2*x929 =E= -1;
e928.. (3 - 2*x929)*x929 - x928 - 2*x930 =E= -1;
e929.. (3 - 2*x930)*x930 - x929 - 2*x931 =E= -1;
e930.. (3 - 2*x931)*x931 - x930 - 2*x932 =E= -1;
e931.. (3 - 2*x932)*x932 - x931 - 2*x933 =E= -1;
e932.. (3 - 2*x933)*x933 - x932 - 2*x934 =E= -1;
e933.. (3 - 2*x934)*x934 - x933 - 2*x935 =E= -1;
e934.. (3 - 2*x935)*x935 - x934 - 2*x936 =E= -1;
e935.. (3 - 2*x936)*x936 - x935 - 2*x937 =E= -1;
e936.. (3 - 2*x937)*x937 - x936 - 2*x938 =E= -1;
e937.. (3 - 2*x938)*x938 - x937 - 2*x939 =E= -1;
e938.. (3 - 2*x939)*x939 - x938 - 2*x940 =E= -1;
e939.. (3 - 2*x940)*x940 - x939 - 2*x941 =E= -1;
e940.. (3 - 2*x941)*x941 - x940 - 2*x942 =E= -1;
e941.. (3 - 2*x942)*x942 - x941 - 2*x943 =E= -1;
e942.. (3 - 2*x943)*x943 - x942 - 2*x944 =E= -1;
e943.. (3 - 2*x944)*x944 - x943 - 2*x945 =E= -1;
e944.. (3 - 2*x945)*x945 - x944 - 2*x946 =E= -1;
e945.. (3 - 2*x946)*x946 - x945 - 2*x947 =E= -1;
e946.. (3 - 2*x947)*x947 - x946 - 2*x948 =E= -1;
e947.. (3 - 2*x948)*x948 - x947 - 2*x949 =E= -1;
e948.. (3 - 2*x949)*x949 - x948 - 2*x950 =E= -1;
e949.. (3 - 2*x950)*x950 - x949 - 2*x951 =E= -1;
e950.. (3 - 2*x951)*x951 - x950 - 2*x952 =E= -1;
e951.. (3 - 2*x952)*x952 - x951 - 2*x953 =E= -1;
e952.. (3 - 2*x953)*x953 - x952 - 2*x954 =E= -1;
e953.. (3 - 2*x954)*x954 - x953 - 2*x955 =E= -1;
e954.. (3 - 2*x955)*x955 - x954 - 2*x956 =E= -1;
e955.. (3 - 2*x956)*x956 - x955 - 2*x957 =E= -1;
e956.. (3 - 2*x957)*x957 - x956 - 2*x958 =E= -1;
e957.. (3 - 2*x958)*x958 - x957 - 2*x959 =E= -1;
e958.. (3 - 2*x959)*x959 - x958 - 2*x960 =E= -1;
e959.. (3 - 2*x960)*x960 - x959 - 2*x961 =E= -1;
e960.. (3 - 2*x961)*x961 - x960 - 2*x962 =E= -1;
e961.. (3 - 2*x962)*x962 - x961 - 2*x963 =E= -1;
e962.. (3 - 2*x963)*x963 - x962 - 2*x964 =E= -1;
e963.. (3 - 2*x964)*x964 - x963 - 2*x965 =E= -1;
e964.. (3 - 2*x965)*x965 - x964 - 2*x966 =E= -1;
e965.. (3 - 2*x966)*x966 - x965 - 2*x967 =E= -1;
e966.. (3 - 2*x967)*x967 - x966 - 2*x968 =E= -1;
e967.. (3 - 2*x968)*x968 - x967 - 2*x969 =E= -1;
e968.. (3 - 2*x969)*x969 - x968 - 2*x970 =E= -1;
e969.. (3 - 2*x970)*x970 - x969 - 2*x971 =E= -1;
e970.. (3 - 2*x971)*x971 - x970 - 2*x972 =E= -1;
e971.. (3 - 2*x972)*x972 - x971 - 2*x973 =E= -1;
e972.. (3 - 2*x973)*x973 - x972 - 2*x974 =E= -1;
e973.. (3 - 2*x974)*x974 - x973 - 2*x975 =E= -1;
e974.. (3 - 2*x975)*x975 - x974 - 2*x976 =E= -1;
e975.. (3 - 2*x976)*x976 - x975 - 2*x977 =E= -1;
e976.. (3 - 2*x977)*x977 - x976 - 2*x978 =E= -1;
e977.. (3 - 2*x978)*x978 - x977 - 2*x979 =E= -1;
e978.. (3 - 2*x979)*x979 - x978 - 2*x980 =E= -1;
e979.. (3 - 2*x980)*x980 - x979 - 2*x981 =E= -1;
e980.. (3 - 2*x981)*x981 - x980 - 2*x982 =E= -1;
e981.. (3 - 2*x982)*x982 - x981 - 2*x983 =E= -1;
e982.. (3 - 2*x983)*x983 - x982 - 2*x984 =E= -1;
e983.. (3 - 2*x984)*x984 - x983 - 2*x985 =E= -1;
e984.. (3 - 2*x985)*x985 - x984 - 2*x986 =E= -1;
e985.. (3 - 2*x986)*x986 - x985 - 2*x987 =E= -1;
e986.. (3 - 2*x987)*x987 - x986 - 2*x988 =E= -1;
e987.. (3 - 2*x988)*x988 - x987 - 2*x989 =E= -1;
e988.. (3 - 2*x989)*x989 - x988 - 2*x990 =E= -1;
e989.. (3 - 2*x990)*x990 - x989 - 2*x991 =E= -1;
e990.. (3 - 2*x991)*x991 - x990 - 2*x992 =E= -1;
e991.. (3 - 2*x992)*x992 - x991 - 2*x993 =E= -1;
e992.. (3 - 2*x993)*x993 - x992 - 2*x994 =E= -1;
e993.. (3 - 2*x994)*x994 - x993 - 2*x995 =E= -1;
e994.. (3 - 2*x995)*x995 - x994 - 2*x996 =E= -1;
e995.. (3 - 2*x996)*x996 - x995 - 2*x997 =E= -1;
e996.. (3 - 2*x997)*x997 - x996 - 2*x998 =E= -1;
e997.. (3 - 2*x998)*x998 - x997 - 2*x999 =E= -1;
e998.. (3 - 2*x999)*x999 - x998 - 2*x1000 =E= -1;
e999.. -(sqr(x1)**(1 + sqr(x2)) + sqr(x2)**(1 + sqr(x1)) + sqr(x3)**(1 + sqr(x4
)) + sqr(x4)**(1 + sqr(x3)) + sqr(x5)**(1 + sqr(x6)) + sqr(x6)**(1 +
sqr(x5)) + sqr(x7)**(1 + sqr(x8)) + sqr(x8)**(1 + sqr(x7)) + sqr(x9)**(1
+ sqr(x10)) + sqr(x10)**(1 + sqr(x9)) + sqr(x11)**(1 + sqr(x12)) + sqr(
x12)**(1 + sqr(x11)) + sqr(x13)**(1 + sqr(x14)) + sqr(x14)**(1 + sqr(x13
)) + sqr(x15)**(1 + sqr(x16)) + sqr(x16)**(1 + sqr(x15)) + sqr(x17)**(1
+ sqr(x18)) + sqr(x18)**(1 + sqr(x17)) + sqr(x19)**(1 + sqr(x20)) +
sqr(x20)**(1 + sqr(x19)) + sqr(x21)**(1 + sqr(x22)) + sqr(x22)**(1 +
sqr(x21)) + sqr(x23)**(1 + sqr(x24)) + sqr(x24)**(1 + sqr(x23)) + sqr(
x25)**(1 + sqr(x26)) + sqr(x26)**(1 + sqr(x25)) + sqr(x27)**(1 + sqr(x28
)) + sqr(x28)**(1 + sqr(x27)) + sqr(x29)**(1 + sqr(x30)) + sqr(x30)**(1
+ sqr(x29)) + sqr(x31)**(1 + sqr(x32)) + sqr(x32)**(1 + sqr(x31)) +
sqr(x33)**(1 + sqr(x34)) + sqr(x34)**(1 + sqr(x33)) + sqr(x35)**(1 +
sqr(x36)) + sqr(x36)**(1 + sqr(x35)) + sqr(x37)**(1 + sqr(x38)) + sqr(
x38)**(1 + sqr(x37)) + sqr(x39)**(1 + sqr(x40)) + sqr(x40)**(1 + sqr(x39
)) + sqr(x41)**(1 + sqr(x42)) + sqr(x42)**(1 + sqr(x41)) + sqr(x43)**(1
+ sqr(x44)) + sqr(x44)**(1 + sqr(x43)) + sqr(x45)**(1 + sqr(x46)) +
sqr(x46)**(1 + sqr(x45)) + sqr(x47)**(1 + sqr(x48)) + sqr(x48)**(1 +
sqr(x47)) + sqr(x49)**(1 + sqr(x50)) + sqr(x50)**(1 + sqr(x49)) + sqr(
x51)**(1 + sqr(x52)) + sqr(x52)**(1 + sqr(x51)) + sqr(x53)**(1 + sqr(x54
)) + sqr(x54)**(1 + sqr(x53)) + sqr(x55)**(1 + sqr(x56)) + sqr(x56)**(1
+ sqr(x55)) + sqr(x57)**(1 + sqr(x58)) + sqr(x58)**(1 + sqr(x57)) +
sqr(x59)**(1 + sqr(x60)) + sqr(x60)**(1 + sqr(x59)) + sqr(x61)**(1 +
sqr(x62)) + sqr(x62)**(1 + sqr(x61)) + sqr(x63)**(1 + sqr(x64)) + sqr(
x64)**(1 + sqr(x63)) + sqr(x65)**(1 + sqr(x66)) + sqr(x66)**(1 + sqr(x65
)) + sqr(x67)**(1 + sqr(x68)) + sqr(x68)**(1 + sqr(x67)) + sqr(x69)**(1
+ sqr(x70)) + sqr(x70)**(1 + sqr(x69)) + sqr(x71)**(1 + sqr(x72)) +
sqr(x72)**(1 + sqr(x71)) + sqr(x73)**(1 + sqr(x74)) + sqr(x74)**(1 +
sqr(x73)) + sqr(x75)**(1 + sqr(x76)) + sqr(x76)**(1 + sqr(x75)) + sqr(
x77)**(1 + sqr(x78)) + sqr(x78)**(1 + sqr(x77)) + sqr(x79)**(1 + sqr(x80
)) + sqr(x80)**(1 + sqr(x79)) + sqr(x81)**(1 + sqr(x82)) + sqr(x82)**(1
+ sqr(x81)) + sqr(x83)**(1 + sqr(x84)) + sqr(x84)**(1 + sqr(x83)) +
sqr(x85)**(1 + sqr(x86)) + sqr(x86)**(1 + sqr(x85)) + sqr(x87)**(1 +
sqr(x88)) + sqr(x88)**(1 + sqr(x87)) + sqr(x89)**(1 + sqr(x90)) + sqr(
x90)**(1 + sqr(x89)) + sqr(x91)**(1 + sqr(x92)) + sqr(x92)**(1 + sqr(x91
)) + sqr(x93)**(1 + sqr(x94)) + sqr(x94)**(1 + sqr(x93)) + sqr(x95)**(1
+ sqr(x96)) + sqr(x96)**(1 + sqr(x95)) + sqr(x97)**(1 + sqr(x98)) +
sqr(x98)**(1 + sqr(x97)) + sqr(x99)**(1 + sqr(x100)) + sqr(x100)**(1 +
sqr(x99)) + sqr(x101)**(1 + sqr(x102)) + sqr(x102)**(1 + sqr(x101)) +
sqr(x103)**(1 + sqr(x104)) + sqr(x104)**(1 + sqr(x103)) + sqr(x105)**(1
+ sqr(x106)) + sqr(x106)**(1 + sqr(x105)) + sqr(x107)**(1 + sqr(x108))
+ sqr(x108)**(1 + sqr(x107)) + sqr(x109)**(1 + sqr(x110)) + sqr(x110)**
(1 + sqr(x109)) + sqr(x111)**(1 + sqr(x112)) + sqr(x112)**(1 + sqr(x111)
) + sqr(x113)**(1 + sqr(x114)) + sqr(x114)**(1 + sqr(x113)) + sqr(x115)
**(1 + sqr(x116)) + sqr(x116)**(1 + sqr(x115)) + sqr(x117)**(1 + sqr(
x118)) + sqr(x118)**(1 + sqr(x117)) + sqr(x119)**(1 + sqr(x120)) + sqr(
x120)**(1 + sqr(x119)) + sqr(x121)**(1 + sqr(x122)) + sqr(x122)**(1 +
sqr(x121)) + sqr(x123)**(1 + sqr(x124)) + sqr(x124)**(1 + sqr(x123)) +
sqr(x125)**(1 + sqr(x126)) + sqr(x126)**(1 + sqr(x125)) + sqr(x127)**(1
+ sqr(x128)) + sqr(x128)**(1 + sqr(x127)) + sqr(x129)**(1 + sqr(x130))
+ sqr(x130)**(1 + sqr(x129)) + sqr(x131)**(1 + sqr(x132)) + sqr(x132)**
(1 + sqr(x131)) + sqr(x133)**(1 + sqr(x134)) + sqr(x134)**(1 + sqr(x133)
) + sqr(x135)**(1 + sqr(x136)) + sqr(x136)**(1 + sqr(x135)) + sqr(x137)
**(1 + sqr(x138)) + sqr(x138)**(1 + sqr(x137)) + sqr(x139)**(1 + sqr(
x140)) + sqr(x140)**(1 + sqr(x139)) + sqr(x141)**(1 + sqr(x142)) + sqr(
x142)**(1 + sqr(x141)) + sqr(x143)**(1 + sqr(x144)) + sqr(x144)**(1 +
sqr(x143)) + sqr(x145)**(1 + sqr(x146)) + sqr(x146)**(1 + sqr(x145)) +
sqr(x147)**(1 + sqr(x148)) + sqr(x148)**(1 + sqr(x147)) + sqr(x149)**(1
+ sqr(x150)) + sqr(x150)**(1 + sqr(x149)) + sqr(x151)**(1 + sqr(x152))
+ sqr(x152)**(1 + sqr(x151)) + sqr(x153)**(1 + sqr(x154)) + sqr(x154)**
(1 + sqr(x153)) + sqr(x155)**(1 + sqr(x156)) + sqr(x156)**(1 + sqr(x155)
) + sqr(x157)**(1 + sqr(x158)) + sqr(x158)**(1 + sqr(x157)) + sqr(x159)
**(1 + sqr(x160)) + sqr(x160)**(1 + sqr(x159)) + sqr(x161)**(1 + sqr(
x162)) + sqr(x162)**(1 + sqr(x161)) + sqr(x163)**(1 + sqr(x164)) + sqr(
x164)**(1 + sqr(x163)) + sqr(x165)**(1 + sqr(x166)) + sqr(x166)**(1 +
sqr(x165)) + sqr(x167)**(1 + sqr(x168)) + sqr(x168)**(1 + sqr(x167)) +
sqr(x169)**(1 + sqr(x170)) + sqr(x170)**(1 + sqr(x169)) + sqr(x171)**(1
+ sqr(x172)) + sqr(x172)**(1 + sqr(x171)) + sqr(x173)**(1 + sqr(x174))
+ sqr(x174)**(1 + sqr(x173)) + sqr(x175)**(1 + sqr(x176)) + sqr(x176)**
(1 + sqr(x175)) + sqr(x177)**(1 + sqr(x178)) + sqr(x178)**(1 + sqr(x177)
) + sqr(x179)**(1 + sqr(x180)) + sqr(x180)**(1 + sqr(x179)) + sqr(x181)
**(1 + sqr(x182)) + sqr(x182)**(1 + sqr(x181)) + sqr(x183)**(1 + sqr(
x184)) + sqr(x184)**(1 + sqr(x183)) + sqr(x185)**(1 + sqr(x186)) + sqr(
x186)**(1 + sqr(x185)) + sqr(x187)**(1 + sqr(x188)) + sqr(x188)**(1 +
sqr(x187)) + sqr(x189)**(1 + sqr(x190)) + sqr(x190)**(1 + sqr(x189)) +
sqr(x191)**(1 + sqr(x192)) + sqr(x192)**(1 + sqr(x191)) + sqr(x193)**(1
+ sqr(x194)) + sqr(x194)**(1 + sqr(x193)) + sqr(x195)**(1 + sqr(x196))
+ sqr(x196)**(1 + sqr(x195)) + sqr(x197)**(1 + sqr(x198)) + sqr(x198)**
(1 + sqr(x197)) + sqr(x199)**(1 + sqr(x200)) + sqr(x200)**(1 + sqr(x199)
) + sqr(x201)**(1 + sqr(x202)) + sqr(x202)**(1 + sqr(x201)) + sqr(x203)
**(1 + sqr(x204)) + sqr(x204)**(1 + sqr(x203)) + sqr(x205)**(1 + sqr(
x206)) + sqr(x206)**(1 + sqr(x205)) + sqr(x207)**(1 + sqr(x208)) + sqr(
x208)**(1 + sqr(x207)) + sqr(x209)**(1 + sqr(x210)) + sqr(x210)**(1 +
sqr(x209)) + sqr(x211)**(1 + sqr(x212)) + sqr(x212)**(1 + sqr(x211)) +
sqr(x213)**(1 + sqr(x214)) + sqr(x214)**(1 + sqr(x213)) + sqr(x215)**(1
+ sqr(x216)) + sqr(x216)**(1 + sqr(x215)) + sqr(x217)**(1 + sqr(x218))
+ sqr(x218)**(1 + sqr(x217)) + sqr(x219)**(1 + sqr(x220)) + sqr(x220)**
(1 + sqr(x219)) + sqr(x221)**(1 + sqr(x222)) + sqr(x222)**(1 + sqr(x221)
) + sqr(x223)**(1 + sqr(x224)) + sqr(x224)**(1 + sqr(x223)) + sqr(x225)
**(1 + sqr(x226)) + sqr(x226)**(1 + sqr(x225)) + sqr(x227)**(1 + sqr(
x228)) + sqr(x228)**(1 + sqr(x227)) + sqr(x229)**(1 + sqr(x230)) + sqr(
x230)**(1 + sqr(x229)) + sqr(x231)**(1 + sqr(x232)) + sqr(x232)**(1 +
sqr(x231)) + sqr(x233)**(1 + sqr(x234)) + sqr(x234)**(1 + sqr(x233)) +
sqr(x235)**(1 + sqr(x236)) + sqr(x236)**(1 + sqr(x235)) + sqr(x237)**(1
+ sqr(x238)) + sqr(x238)**(1 + sqr(x237)) + sqr(x239)**(1 + sqr(x240))
+ sqr(x240)**(1 + sqr(x239)) + sqr(x241)**(1 + sqr(x242)) + sqr(x242)**
(1 + sqr(x241)) + sqr(x243)**(1 + sqr(x244)) + sqr(x244)**(1 + sqr(x243)
) + sqr(x245)**(1 + sqr(x246)) + sqr(x246)**(1 + sqr(x245)) + sqr(x247)
**(1 + sqr(x248)) + sqr(x248)**(1 + sqr(x247)) + sqr(x249)**(1 + sqr(
x250)) + sqr(x250)**(1 + sqr(x249)) + sqr(x251)**(1 + sqr(x252)) + sqr(
x252)**(1 + sqr(x251)) + sqr(x253)**(1 + sqr(x254)) + sqr(x254)**(1 +
sqr(x253)) + sqr(x255)**(1 + sqr(x256)) + sqr(x256)**(1 + sqr(x255)) +
sqr(x257)**(1 + sqr(x258)) + sqr(x258)**(1 + sqr(x257)) + sqr(x259)**(1
+ sqr(x260)) + sqr(x260)**(1 + sqr(x259)) + sqr(x261)**(1 + sqr(x262))
+ sqr(x262)**(1 + sqr(x261)) + sqr(x263)**(1 + sqr(x264)) + sqr(x264)**
(1 + sqr(x263)) + sqr(x265)**(1 + sqr(x266)) + sqr(x266)**(1 + sqr(x265)
) + sqr(x267)**(1 + sqr(x268)) + sqr(x268)**(1 + sqr(x267)) + sqr(x269)
**(1 + sqr(x270)) + sqr(x270)**(1 + sqr(x269)) + sqr(x271)**(1 + sqr(
x272)) + sqr(x272)**(1 + sqr(x271)) + sqr(x273)**(1 + sqr(x274)) + sqr(
x274)**(1 + sqr(x273)) + sqr(x275)**(1 + sqr(x276)) + sqr(x276)**(1 +
sqr(x275)) + sqr(x277)**(1 + sqr(x278)) + sqr(x278)**(1 + sqr(x277)) +
sqr(x279)**(1 + sqr(x280)) + sqr(x280)**(1 + sqr(x279)) + sqr(x281)**(1
+ sqr(x282)) + sqr(x282)**(1 + sqr(x281)) + sqr(x283)**(1 + sqr(x284))
+ sqr(x284)**(1 + sqr(x283)) + sqr(x285)**(1 + sqr(x286)) + sqr(x286)**
(1 + sqr(x285)) + sqr(x287)**(1 + sqr(x288)) + sqr(x288)**(1 + sqr(x287)
) + sqr(x289)**(1 + sqr(x290)) + sqr(x290)**(1 + sqr(x289)) + sqr(x291)
**(1 + sqr(x292)) + sqr(x292)**(1 + sqr(x291)) + sqr(x293)**(1 + sqr(
x294)) + sqr(x294)**(1 + sqr(x293)) + sqr(x295)**(1 + sqr(x296)) + sqr(
x296)**(1 + sqr(x295)) + sqr(x297)**(1 + sqr(x298)) + sqr(x298)**(1 +
sqr(x297)) + sqr(x299)**(1 + sqr(x300)) + sqr(x300)**(1 + sqr(x299)) +
sqr(x301)**(1 + sqr(x302)) + sqr(x302)**(1 + sqr(x301)) + sqr(x303)**(1
+ sqr(x304)) + sqr(x304)**(1 + sqr(x303)) + sqr(x305)**(1 + sqr(x306))
+ sqr(x306)**(1 + sqr(x305)) + sqr(x307)**(1 + sqr(x308)) + sqr(x308)**
(1 + sqr(x307)) + sqr(x309)**(1 + sqr(x310)) + sqr(x310)**(1 + sqr(x309)
) + sqr(x311)**(1 + sqr(x312)) + sqr(x312)**(1 + sqr(x311)) + sqr(x313)
**(1 + sqr(x314)) + sqr(x314)**(1 + sqr(x313)) + sqr(x315)**(1 + sqr(
x316)) + sqr(x316)**(1 + sqr(x315)) + sqr(x317)**(1 + sqr(x318)) + sqr(
x318)**(1 + sqr(x317)) + sqr(x319)**(1 + sqr(x320)) + sqr(x320)**(1 +
sqr(x319)) + sqr(x321)**(1 + sqr(x322)) + sqr(x322)**(1 + sqr(x321)) +
sqr(x323)**(1 + sqr(x324)) + sqr(x324)**(1 + sqr(x323)) + sqr(x325)**(1
+ sqr(x326)) + sqr(x326)**(1 + sqr(x325)) + sqr(x327)**(1 + sqr(x328))
+ sqr(x328)**(1 + sqr(x327)) + sqr(x329)**(1 + sqr(x330)) + sqr(x330)**
(1 + sqr(x329)) + sqr(x331)**(1 + sqr(x332)) + sqr(x332)**(1 + sqr(x331)
) + sqr(x333)**(1 + sqr(x334)) + sqr(x334)**(1 + sqr(x333)) + sqr(x335)
**(1 + sqr(x336)) + sqr(x336)**(1 + sqr(x335)) + sqr(x337)**(1 + sqr(
x338)) + sqr(x338)**(1 + sqr(x337)) + sqr(x339)**(1 + sqr(x340)) + sqr(
x340)**(1 + sqr(x339)) + sqr(x341)**(1 + sqr(x342)) + sqr(x342)**(1 +
sqr(x341)) + sqr(x343)**(1 + sqr(x344)) + sqr(x344)**(1 + sqr(x343)) +
sqr(x345)**(1 + sqr(x346)) + sqr(x346)**(1 + sqr(x345)) + sqr(x347)**(1
+ sqr(x348)) + sqr(x348)**(1 + sqr(x347)) + sqr(x349)**(1 + sqr(x350))
+ sqr(x350)**(1 + sqr(x349)) + sqr(x351)**(1 + sqr(x352)) + sqr(x352)**
(1 + sqr(x351)) + sqr(x353)**(1 + sqr(x354)) + sqr(x354)**(1 + sqr(x353)
) + sqr(x355)**(1 + sqr(x356)) + sqr(x356)**(1 + sqr(x355)) + sqr(x357)
**(1 + sqr(x358)) + sqr(x358)**(1 + sqr(x357)) + sqr(x359)**(1 + sqr(
x360)) + sqr(x360)**(1 + sqr(x359)) + sqr(x361)**(1 + sqr(x362)) + sqr(
x362)**(1 + sqr(x361)) + sqr(x363)**(1 + sqr(x364)) + sqr(x364)**(1 +
sqr(x363)) + sqr(x365)**(1 + sqr(x366)) + sqr(x366)**(1 + sqr(x365)) +
sqr(x367)**(1 + sqr(x368)) + sqr(x368)**(1 + sqr(x367)) + sqr(x369)**(1
+ sqr(x370)) + sqr(x370)**(1 + sqr(x369)) + sqr(x371)**(1 + sqr(x372))
+ sqr(x372)**(1 + sqr(x371)) + sqr(x373)**(1 + sqr(x374)) + sqr(x374)**
(1 + sqr(x373)) + sqr(x375)**(1 + sqr(x376)) + sqr(x376)**(1 + sqr(x375)
) + sqr(x377)**(1 + sqr(x378)) + sqr(x378)**(1 + sqr(x377)) + sqr(x379)
**(1 + sqr(x380)) + sqr(x380)**(1 + sqr(x379)) + sqr(x381)**(1 + sqr(
x382)) + sqr(x382)**(1 + sqr(x381)) + sqr(x383)**(1 + sqr(x384)) + sqr(
x384)**(1 + sqr(x383)) + sqr(x385)**(1 + sqr(x386)) + sqr(x386)**(1 +
sqr(x385)) + sqr(x387)**(1 + sqr(x388)) + sqr(x388)**(1 + sqr(x387)) +
sqr(x389)**(1 + sqr(x390)) + sqr(x390)**(1 + sqr(x389)) + sqr(x391)**(1
+ sqr(x392)) + sqr(x392)**(1 + sqr(x391)) + sqr(x393)**(1 + sqr(x394))
+ sqr(x394)**(1 + sqr(x393)) + sqr(x395)**(1 + sqr(x396)) + sqr(x396)**
(1 + sqr(x395)) + sqr(x397)**(1 + sqr(x398)) + sqr(x398)**(1 + sqr(x397)
) + sqr(x399)**(1 + sqr(x400)) + sqr(x400)**(1 + sqr(x399)) + sqr(x401)
**(1 + sqr(x402)) + sqr(x402)**(1 + sqr(x401)) + sqr(x403)**(1 + sqr(
x404)) + sqr(x404)**(1 + sqr(x403)) + sqr(x405)**(1 + sqr(x406)) + sqr(
x406)**(1 + sqr(x405)) + sqr(x407)**(1 + sqr(x408)) + sqr(x408)**(1 +
sqr(x407)) + sqr(x409)**(1 + sqr(x410)) + sqr(x410)**(1 + sqr(x409)) +
sqr(x411)**(1 + sqr(x412)) + sqr(x412)**(1 + sqr(x411)) + sqr(x413)**(1
+ sqr(x414)) + sqr(x414)**(1 + sqr(x413)) + sqr(x415)**(1 + sqr(x416))
+ sqr(x416)**(1 + sqr(x415)) + sqr(x417)**(1 + sqr(x418)) + sqr(x418)**
(1 + sqr(x417)) + sqr(x419)**(1 + sqr(x420)) + sqr(x420)**(1 + sqr(x419)
) + sqr(x421)**(1 + sqr(x422)) + sqr(x422)**(1 + sqr(x421)) + sqr(x423)
**(1 + sqr(x424)) + sqr(x424)**(1 + sqr(x423)) + sqr(x425)**(1 + sqr(
x426)) + sqr(x426)**(1 + sqr(x425)) + sqr(x427)**(1 + sqr(x428)) + sqr(
x428)**(1 + sqr(x427)) + sqr(x429)**(1 + sqr(x430)) + sqr(x430)**(1 +
sqr(x429)) + sqr(x431)**(1 + sqr(x432)) + sqr(x432)**(1 + sqr(x431)) +
sqr(x433)**(1 + sqr(x434)) + sqr(x434)**(1 + sqr(x433)) + sqr(x435)**(1
+ sqr(x436)) + sqr(x436)**(1 + sqr(x435)) + sqr(x437)**(1 + sqr(x438))
+ sqr(x438)**(1 + sqr(x437)) + sqr(x439)**(1 + sqr(x440)) + sqr(x440)**
(1 + sqr(x439)) + sqr(x441)**(1 + sqr(x442)) + sqr(x442)**(1 + sqr(x441)
) + sqr(x443)**(1 + sqr(x444)) + sqr(x444)**(1 + sqr(x443)) + sqr(x445)
**(1 + sqr(x446)) + sqr(x446)**(1 + sqr(x445)) + sqr(x447)**(1 + sqr(
x448)) + sqr(x448)**(1 + sqr(x447)) + sqr(x449)**(1 + sqr(x450)) + sqr(
x450)**(1 + sqr(x449)) + sqr(x451)**(1 + sqr(x452)) + sqr(x452)**(1 +
sqr(x451)) + sqr(x453)**(1 + sqr(x454)) + sqr(x454)**(1 + sqr(x453)) +
sqr(x455)**(1 + sqr(x456)) + sqr(x456)**(1 + sqr(x455)) + sqr(x457)**(1
+ sqr(x458)) + sqr(x458)**(1 + sqr(x457)) + sqr(x459)**(1 + sqr(x460))
+ sqr(x460)**(1 + sqr(x459)) + sqr(x461)**(1 + sqr(x462)) + sqr(x462)**
(1 + sqr(x461)) + sqr(x463)**(1 + sqr(x464)) + sqr(x464)**(1 + sqr(x463)
) + sqr(x465)**(1 + sqr(x466)) + sqr(x466)**(1 + sqr(x465)) + sqr(x467)
**(1 + sqr(x468)) + sqr(x468)**(1 + sqr(x467)) + sqr(x469)**(1 + sqr(
x470)) + sqr(x470)**(1 + sqr(x469)) + sqr(x471)**(1 + sqr(x472)) + sqr(
x472)**(1 + sqr(x471)) + sqr(x473)**(1 + sqr(x474)) + sqr(x474)**(1 +
sqr(x473)) + sqr(x475)**(1 + sqr(x476)) + sqr(x476)**(1 + sqr(x475)) +
sqr(x477)**(1 + sqr(x478)) + sqr(x478)**(1 + sqr(x477)) + sqr(x479)**(1
+ sqr(x480)) + sqr(x480)**(1 + sqr(x479)) + sqr(x481)**(1 + sqr(x482))
+ sqr(x482)**(1 + sqr(x481)) + sqr(x483)**(1 + sqr(x484)) + sqr(x484)**
(1 + sqr(x483)) + sqr(x485)**(1 + sqr(x486)) + sqr(x486)**(1 + sqr(x485)
) + sqr(x487)**(1 + sqr(x488)) + sqr(x488)**(1 + sqr(x487)) + sqr(x489)
**(1 + sqr(x490)) + sqr(x490)**(1 + sqr(x489)) + sqr(x491)**(1 + sqr(
x492)) + sqr(x492)**(1 + sqr(x491)) + sqr(x493)**(1 + sqr(x494)) + sqr(
x494)**(1 + sqr(x493)) + sqr(x495)**(1 + sqr(x496)) + sqr(x496)**(1 +
sqr(x495)) + sqr(x497)**(1 + sqr(x498)) + sqr(x498)**(1 + sqr(x497)) +
sqr(x499)**(1 + sqr(x500)) + sqr(x500)**(1 + sqr(x499)) + sqr(x501)**(1
+ sqr(x502)) + sqr(x502)**(1 + sqr(x501)) + sqr(x503)**(1 + sqr(x504))
+ sqr(x504)**(1 + sqr(x503)) + sqr(x505)**(1 + sqr(x506)) + sqr(x506)**
(1 + sqr(x505)) + sqr(x507)**(1 + sqr(x508)) + sqr(x508)**(1 + sqr(x507)
) + sqr(x509)**(1 + sqr(x510)) + sqr(x510)**(1 + sqr(x509)) + sqr(x511)
**(1 + sqr(x512)) + sqr(x512)**(1 + sqr(x511)) + sqr(x513)**(1 + sqr(
x514)) + sqr(x514)**(1 + sqr(x513)) + sqr(x515)**(1 + sqr(x516)) + sqr(
x516)**(1 + sqr(x515)) + sqr(x517)**(1 + sqr(x518)) + sqr(x518)**(1 +
sqr(x517)) + sqr(x519)**(1 + sqr(x520)) + sqr(x520)**(1 + sqr(x519)) +
sqr(x521)**(1 + sqr(x522)) + sqr(x522)**(1 + sqr(x521)) + sqr(x523)**(1
+ sqr(x524)) + sqr(x524)**(1 + sqr(x523)) + sqr(x525)**(1 + sqr(x526))
+ sqr(x526)**(1 + sqr(x525)) + sqr(x527)**(1 + sqr(x528)) + sqr(x528)**
(1 + sqr(x527)) + sqr(x529)**(1 + sqr(x530)) + sqr(x530)**(1 + sqr(x529)
) + sqr(x531)**(1 + sqr(x532)) + sqr(x532)**(1 + sqr(x531)) + sqr(x533)
**(1 + sqr(x534)) + sqr(x534)**(1 + sqr(x533)) + sqr(x535)**(1 + sqr(
x536)) + sqr(x536)**(1 + sqr(x535)) + sqr(x537)**(1 + sqr(x538)) + sqr(
x538)**(1 + sqr(x537)) + sqr(x539)**(1 + sqr(x540)) + sqr(x540)**(1 +
sqr(x539)) + sqr(x541)**(1 + sqr(x542)) + sqr(x542)**(1 + sqr(x541)) +
sqr(x543)**(1 + sqr(x544)) + sqr(x544)**(1 + sqr(x543)) + sqr(x545)**(1
+ sqr(x546)) + sqr(x546)**(1 + sqr(x545)) + sqr(x547)**(1 + sqr(x548))
+ sqr(x548)**(1 + sqr(x547)) + sqr(x549)**(1 + sqr(x550)) + sqr(x550)**
(1 + sqr(x549)) + sqr(x551)**(1 + sqr(x552)) + sqr(x552)**(1 + sqr(x551)
) + sqr(x553)**(1 + sqr(x554)) + sqr(x554)**(1 + sqr(x553)) + sqr(x555)
**(1 + sqr(x556)) + sqr(x556)**(1 + sqr(x555)) + sqr(x557)**(1 + sqr(
x558)) + sqr(x558)**(1 + sqr(x557)) + sqr(x559)**(1 + sqr(x560)) + sqr(
x560)**(1 + sqr(x559)) + sqr(x561)**(1 + sqr(x562)) + sqr(x562)**(1 +
sqr(x561)) + sqr(x563)**(1 + sqr(x564)) + sqr(x564)**(1 + sqr(x563)) +
sqr(x565)**(1 + sqr(x566)) + sqr(x566)**(1 + sqr(x565)) + sqr(x567)**(1
+ sqr(x568)) + sqr(x568)**(1 + sqr(x567)) + sqr(x569)**(1 + sqr(x570))
+ sqr(x570)**(1 + sqr(x569)) + sqr(x571)**(1 + sqr(x572)) + sqr(x572)**
(1 + sqr(x571)) + sqr(x573)**(1 + sqr(x574)) + sqr(x574)**(1 + sqr(x573)
) + sqr(x575)**(1 + sqr(x576)) + sqr(x576)**(1 + sqr(x575)) + sqr(x577)
**(1 + sqr(x578)) + sqr(x578)**(1 + sqr(x577)) + sqr(x579)**(1 + sqr(
x580)) + sqr(x580)**(1 + sqr(x579)) + sqr(x581)**(1 + sqr(x582)) + sqr(
x582)**(1 + sqr(x581)) + sqr(x583)**(1 + sqr(x584)) + sqr(x584)**(1 +
sqr(x583)) + sqr(x585)**(1 + sqr(x586)) + sqr(x586)**(1 + sqr(x585)) +
sqr(x587)**(1 + sqr(x588)) + sqr(x588)**(1 + sqr(x587)) + sqr(x589)**(1
+ sqr(x590)) + sqr(x590)**(1 + sqr(x589)) + sqr(x591)**(1 + sqr(x592))
+ sqr(x592)**(1 + sqr(x591)) + sqr(x593)**(1 + sqr(x594)) + sqr(x594)**
(1 + sqr(x593)) + sqr(x595)**(1 + sqr(x596)) + sqr(x596)**(1 + sqr(x595)
) + sqr(x597)**(1 + sqr(x598)) + sqr(x598)**(1 + sqr(x597)) + sqr(x599)
**(1 + sqr(x600)) + sqr(x600)**(1 + sqr(x599)) + sqr(x601)**(1 + sqr(
x602)) + sqr(x602)**(1 + sqr(x601)) + sqr(x603)**(1 + sqr(x604)) + sqr(
x604)**(1 + sqr(x603)) + sqr(x605)**(1 + sqr(x606)) + sqr(x606)**(1 +
sqr(x605)) + sqr(x607)**(1 + sqr(x608)) + sqr(x608)**(1 + sqr(x607)) +
sqr(x609)**(1 + sqr(x610)) + sqr(x610)**(1 + sqr(x609)) + sqr(x611)**(1
+ sqr(x612)) + sqr(x612)**(1 + sqr(x611)) + sqr(x613)**(1 + sqr(x614))
+ sqr(x614)**(1 + sqr(x613)) + sqr(x615)**(1 + sqr(x616)) + sqr(x616)**
(1 + sqr(x615)) + sqr(x617)**(1 + sqr(x618)) + sqr(x618)**(1 + sqr(x617)
) + sqr(x619)**(1 + sqr(x620)) + sqr(x620)**(1 + sqr(x619)) + sqr(x621)
**(1 + sqr(x622)) + sqr(x622)**(1 + sqr(x621)) + sqr(x623)**(1 + sqr(
x624)) + sqr(x624)**(1 + sqr(x623)) + sqr(x625)**(1 + sqr(x626)) + sqr(
x626)**(1 + sqr(x625)) + sqr(x627)**(1 + sqr(x628)) + sqr(x628)**(1 +
sqr(x627)) + sqr(x629)**(1 + sqr(x630)) + sqr(x630)**(1 + sqr(x629)) +
sqr(x631)**(1 + sqr(x632)) + sqr(x632)**(1 + sqr(x631)) + sqr(x633)**(1
+ sqr(x634)) + sqr(x634)**(1 + sqr(x633)) + sqr(x635)**(1 + sqr(x636))
+ sqr(x636)**(1 + sqr(x635)) + sqr(x637)**(1 + sqr(x638)) + sqr(x638)**
(1 + sqr(x637)) + sqr(x639)**(1 + sqr(x640)) + sqr(x640)**(1 + sqr(x639)
) + sqr(x641)**(1 + sqr(x642)) + sqr(x642)**(1 + sqr(x641)) + sqr(x643)
**(1 + sqr(x644)) + sqr(x644)**(1 + sqr(x643)) + sqr(x645)**(1 + sqr(
x646)) + sqr(x646)**(1 + sqr(x645)) + sqr(x647)**(1 + sqr(x648)) + sqr(
x648)**(1 + sqr(x647)) + sqr(x649)**(1 + sqr(x650)) + sqr(x650)**(1 +
sqr(x649)) + sqr(x651)**(1 + sqr(x652)) + sqr(x652)**(1 + sqr(x651)) +
sqr(x653)**(1 + sqr(x654)) + sqr(x654)**(1 + sqr(x653)) + sqr(x655)**(1
+ sqr(x656)) + sqr(x656)**(1 + sqr(x655)) + sqr(x657)**(1 + sqr(x658))
+ sqr(x658)**(1 + sqr(x657)) + sqr(x659)**(1 + sqr(x660)) + sqr(x660)**
(1 + sqr(x659)) + sqr(x661)**(1 + sqr(x662)) + sqr(x662)**(1 + sqr(x661)
) + sqr(x663)**(1 + sqr(x664)) + sqr(x664)**(1 + sqr(x663)) + sqr(x665)
**(1 + sqr(x666)) + sqr(x666)**(1 + sqr(x665)) + sqr(x667)**(1 + sqr(
x668)) + sqr(x668)**(1 + sqr(x667)) + sqr(x669)**(1 + sqr(x670)) + sqr(
x670)**(1 + sqr(x669)) + sqr(x671)**(1 + sqr(x672)) + sqr(x672)**(1 +
sqr(x671)) + sqr(x673)**(1 + sqr(x674)) + sqr(x674)**(1 + sqr(x673)) +
sqr(x675)**(1 + sqr(x676)) + sqr(x676)**(1 + sqr(x675)) + sqr(x677)**(1
+ sqr(x678)) + sqr(x678)**(1 + sqr(x677)) + sqr(x679)**(1 + sqr(x680))
+ sqr(x680)**(1 + sqr(x679)) + sqr(x681)**(1 + sqr(x682)) + sqr(x682)**
(1 + sqr(x681)) + sqr(x683)**(1 + sqr(x684)) + sqr(x684)**(1 + sqr(x683)
) + sqr(x685)**(1 + sqr(x686)) + sqr(x686)**(1 + sqr(x685)) + sqr(x687)
**(1 + sqr(x688)) + sqr(x688)**(1 + sqr(x687)) + sqr(x689)**(1 + sqr(
x690)) + sqr(x690)**(1 + sqr(x689)) + sqr(x691)**(1 + sqr(x692)) + sqr(
x692)**(1 + sqr(x691)) + sqr(x693)**(1 + sqr(x694)) + sqr(x694)**(1 +
sqr(x693)) + sqr(x695)**(1 + sqr(x696)) + sqr(x696)**(1 + sqr(x695)) +
sqr(x697)**(1 + sqr(x698)) + sqr(x698)**(1 + sqr(x697)) + sqr(x699)**(1
+ sqr(x700)) + sqr(x700)**(1 + sqr(x699)) + sqr(x701)**(1 + sqr(x702))
+ sqr(x702)**(1 + sqr(x701)) + sqr(x703)**(1 + sqr(x704)) + sqr(x704)**
(1 + sqr(x703)) + sqr(x705)**(1 + sqr(x706)) + sqr(x706)**(1 + sqr(x705)
) + sqr(x707)**(1 + sqr(x708)) + sqr(x708)**(1 + sqr(x707)) + sqr(x709)
**(1 + sqr(x710)) + sqr(x710)**(1 + sqr(x709)) + sqr(x711)**(1 + sqr(
x712)) + sqr(x712)**(1 + sqr(x711)) + sqr(x713)**(1 + sqr(x714)) + sqr(
x714)**(1 + sqr(x713)) + sqr(x715)**(1 + sqr(x716)) + sqr(x716)**(1 +
sqr(x715)) + sqr(x717)**(1 + sqr(x718)) + sqr(x718)**(1 + sqr(x717)) +
sqr(x719)**(1 + sqr(x720)) + sqr(x720)**(1 + sqr(x719)) + sqr(x721)**(1
+ sqr(x722)) + sqr(x722)**(1 + sqr(x721)) + sqr(x723)**(1 + sqr(x724))
+ sqr(x724)**(1 + sqr(x723)) + sqr(x725)**(1 + sqr(x726)) + sqr(x726)**
(1 + sqr(x725)) + sqr(x727)**(1 + sqr(x728)) + sqr(x728)**(1 + sqr(x727)
) + sqr(x729)**(1 + sqr(x730)) + sqr(x730)**(1 + sqr(x729)) + sqr(x731)
**(1 + sqr(x732)) + sqr(x732)**(1 + sqr(x731)) + sqr(x733)**(1 + sqr(
x734)) + sqr(x734)**(1 + sqr(x733)) + sqr(x735)**(1 + sqr(x736)) + sqr(
x736)**(1 + sqr(x735)) + sqr(x737)**(1 + sqr(x738)) + sqr(x738)**(1 +
sqr(x737)) + sqr(x739)**(1 + sqr(x740)) + sqr(x740)**(1 + sqr(x739)) +
sqr(x741)**(1 + sqr(x742)) + sqr(x742)**(1 + sqr(x741)) + sqr(x743)**(1
+ sqr(x744)) + sqr(x744)**(1 + sqr(x743)) + sqr(x745)**(1 + sqr(x746))
+ sqr(x746)**(1 + sqr(x745)) + sqr(x747)**(1 + sqr(x748)) + sqr(x748)**
(1 + sqr(x747)) + sqr(x749)**(1 + sqr(x750)) + sqr(x750)**(1 + sqr(x749)
) + sqr(x751)**(1 + sqr(x752)) + sqr(x752)**(1 + sqr(x751)) + sqr(x753)
**(1 + sqr(x754)) + sqr(x754)**(1 + sqr(x753)) + sqr(x755)**(1 + sqr(
x756)) + sqr(x756)**(1 + sqr(x755)) + sqr(x757)**(1 + sqr(x758)) + sqr(
x758)**(1 + sqr(x757)) + sqr(x759)**(1 + sqr(x760)) + sqr(x760)**(1 +
sqr(x759)) + sqr(x761)**(1 + sqr(x762)) + sqr(x762)**(1 + sqr(x761)) +
sqr(x763)**(1 + sqr(x764)) + sqr(x764)**(1 + sqr(x763)) + sqr(x765)**(1
+ sqr(x766)) + sqr(x766)**(1 + sqr(x765)) + sqr(x767)**(1 + sqr(x768))
+ sqr(x768)**(1 + sqr(x767)) + sqr(x769)**(1 + sqr(x770)) + sqr(x770)**
(1 + sqr(x769)) + sqr(x771)**(1 + sqr(x772)) + sqr(x772)**(1 + sqr(x771)
) + sqr(x773)**(1 + sqr(x774)) + sqr(x774)**(1 + sqr(x773)) + sqr(x775)
**(1 + sqr(x776)) + sqr(x776)**(1 + sqr(x775)) + sqr(x777)**(1 + sqr(
x778)) + sqr(x778)**(1 + sqr(x777)) + sqr(x779)**(1 + sqr(x780)) + sqr(
x780)**(1 + sqr(x779)) + sqr(x781)**(1 + sqr(x782)) + sqr(x782)**(1 +
sqr(x781)) + sqr(x783)**(1 + sqr(x784)) + sqr(x784)**(1 + sqr(x783)) +
sqr(x785)**(1 + sqr(x786)) + sqr(x786)**(1 + sqr(x785)) + sqr(x787)**(1
+ sqr(x788)) + sqr(x788)**(1 + sqr(x787)) + sqr(x789)**(1 + sqr(x790))
+ sqr(x790)**(1 + sqr(x789)) + sqr(x791)**(1 + sqr(x792)) + sqr(x792)**
(1 + sqr(x791)) + sqr(x793)**(1 + sqr(x794)) + sqr(x794)**(1 + sqr(x793)
) + sqr(x795)**(1 + sqr(x796)) + sqr(x796)**(1 + sqr(x795)) + sqr(x797)
**(1 + sqr(x798)) + sqr(x798)**(1 + sqr(x797)) + sqr(x799)**(1 + sqr(
x800)) + sqr(x800)**(1 + sqr(x799)) + sqr(x801)**(1 + sqr(x802)) + sqr(
x802)**(1 + sqr(x801)) + sqr(x803)**(1 + sqr(x804)) + sqr(x804)**(1 +
sqr(x803)) + sqr(x805)**(1 + sqr(x806)) + sqr(x806)**(1 + sqr(x805)) +
sqr(x807)**(1 + sqr(x808)) + sqr(x808)**(1 + sqr(x807)) + sqr(x809)**(1
+ sqr(x810)) + sqr(x810)**(1 + sqr(x809)) + sqr(x811)**(1 + sqr(x812))
+ sqr(x812)**(1 + sqr(x811)) + sqr(x813)**(1 + sqr(x814)) + sqr(x814)**
(1 + sqr(x813)) + sqr(x815)**(1 + sqr(x816)) + sqr(x816)**(1 + sqr(x815)
) + sqr(x817)**(1 + sqr(x818)) + sqr(x818)**(1 + sqr(x817)) + sqr(x819)
**(1 + sqr(x820)) + sqr(x820)**(1 + sqr(x819)) + sqr(x821)**(1 + sqr(
x822)) + sqr(x822)**(1 + sqr(x821)) + sqr(x823)**(1 + sqr(x824)) + sqr(
x824)**(1 + sqr(x823)) + sqr(x825)**(1 + sqr(x826)) + sqr(x826)**(1 +
sqr(x825)) + sqr(x827)**(1 + sqr(x828)) + sqr(x828)**(1 + sqr(x827)) +
sqr(x829)**(1 + sqr(x830)) + sqr(x830)**(1 + sqr(x829)) + sqr(x831)**(1
+ sqr(x832)) + sqr(x832)**(1 + sqr(x831)) + sqr(x833)**(1 + sqr(x834))
+ sqr(x834)**(1 + sqr(x833)) + sqr(x835)**(1 + sqr(x836)) + sqr(x836)**
(1 + sqr(x835)) + sqr(x837)**(1 + sqr(x838)) + sqr(x838)**(1 + sqr(x837)
) + sqr(x839)**(1 + sqr(x840)) + sqr(x840)**(1 + sqr(x839)) + sqr(x841)
**(1 + sqr(x842)) + sqr(x842)**(1 + sqr(x841)) + sqr(x843)**(1 + sqr(
x844)) + sqr(x844)**(1 + sqr(x843)) + sqr(x845)**(1 + sqr(x846)) + sqr(
x846)**(1 + sqr(x845)) + sqr(x847)**(1 + sqr(x848)) + sqr(x848)**(1 +
sqr(x847)) + sqr(x849)**(1 + sqr(x850)) + sqr(x850)**(1 + sqr(x849)) +
sqr(x851)**(1 + sqr(x852)) + sqr(x852)**(1 + sqr(x851)) + sqr(x853)**(1
+ sqr(x854)) + sqr(x854)**(1 + sqr(x853)) + sqr(x855)**(1 + sqr(x856))
+ sqr(x856)**(1 + sqr(x855)) + sqr(x857)**(1 + sqr(x858)) + sqr(x858)**
(1 + sqr(x857)) + sqr(x859)**(1 + sqr(x860)) + sqr(x860)**(1 + sqr(x859)
) + sqr(x861)**(1 + sqr(x862)) + sqr(x862)**(1 + sqr(x861)) + sqr(x863)
**(1 + sqr(x864)) + sqr(x864)**(1 + sqr(x863)) + sqr(x865)**(1 + sqr(
x866)) + sqr(x866)**(1 + sqr(x865)) + sqr(x867)**(1 + sqr(x868)) + sqr(
x868)**(1 + sqr(x867)) + sqr(x869)**(1 + sqr(x870)) + sqr(x870)**(1 +
sqr(x869)) + sqr(x871)**(1 + sqr(x872)) + sqr(x872)**(1 + sqr(x871)) +
sqr(x873)**(1 + sqr(x874)) + sqr(x874)**(1 + sqr(x873)) + sqr(x875)**(1
+ sqr(x876)) + sqr(x876)**(1 + sqr(x875)) + sqr(x877)**(1 + sqr(x878))
+ sqr(x878)**(1 + sqr(x877)) + sqr(x879)**(1 + sqr(x880)) + sqr(x880)**
(1 + sqr(x879)) + sqr(x881)**(1 + sqr(x882)) + sqr(x882)**(1 + sqr(x881)
) + sqr(x883)**(1 + sqr(x884)) + sqr(x884)**(1 + sqr(x883)) + sqr(x885)
**(1 + sqr(x886)) + sqr(x886)**(1 + sqr(x885)) + sqr(x887)**(1 + sqr(
x888)) + sqr(x888)**(1 + sqr(x887)) + sqr(x889)**(1 + sqr(x890)) + sqr(
x890)**(1 + sqr(x889)) + sqr(x891)**(1 + sqr(x892)) + sqr(x892)**(1 +
sqr(x891)) + sqr(x893)**(1 + sqr(x894)) + sqr(x894)**(1 + sqr(x893)) +
sqr(x895)**(1 + sqr(x896)) + sqr(x896)**(1 + sqr(x895)) + sqr(x897)**(1
+ sqr(x898)) + sqr(x898)**(1 + sqr(x897)) + sqr(x899)**(1 + sqr(x900))
+ sqr(x900)**(1 + sqr(x899)) + sqr(x901)**(1 + sqr(x902)) + sqr(x902)**
(1 + sqr(x901)) + sqr(x903)**(1 + sqr(x904)) + sqr(x904)**(1 + sqr(x903)
) + sqr(x905)**(1 + sqr(x906)) + sqr(x906)**(1 + sqr(x905)) + sqr(x907)
**(1 + sqr(x908)) + sqr(x908)**(1 + sqr(x907)) + sqr(x909)**(1 + sqr(
x910)) + sqr(x910)**(1 + sqr(x909)) + sqr(x911)**(1 + sqr(x912)) + sqr(
x912)**(1 + sqr(x911)) + sqr(x913)**(1 + sqr(x914)) + sqr(x914)**(1 +
sqr(x913)) + sqr(x915)**(1 + sqr(x916)) + sqr(x916)**(1 + sqr(x915)) +
sqr(x917)**(1 + sqr(x918)) + sqr(x918)**(1 + sqr(x917)) + sqr(x919)**(1
+ sqr(x920)) + sqr(x920)**(1 + sqr(x919)) + sqr(x921)**(1 + sqr(x922))
+ sqr(x922)**(1 + sqr(x921)) + sqr(x923)**(1 + sqr(x924)) + sqr(x924)**
(1 + sqr(x923)) + sqr(x925)**(1 + sqr(x926)) + sqr(x926)**(1 + sqr(x925)
) + sqr(x927)**(1 + sqr(x928)) + sqr(x928)**(1 + sqr(x927)) + sqr(x929)
**(1 + sqr(x930)) + sqr(x930)**(1 + sqr(x929)) + sqr(x931)**(1 + sqr(
x932)) + sqr(x932)**(1 + sqr(x931)) + sqr(x933)**(1 + sqr(x934)) + sqr(
x934)**(1 + sqr(x933)) + sqr(x935)**(1 + sqr(x936)) + sqr(x936)**(1 +
sqr(x935)) + sqr(x937)**(1 + sqr(x938)) + sqr(x938)**(1 + sqr(x937)) +
sqr(x939)**(1 + sqr(x940)) + sqr(x940)**(1 + sqr(x939)) + sqr(x941)**(1
+ sqr(x942)) + sqr(x942)**(1 + sqr(x941)) + sqr(x943)**(1 + sqr(x944))
+ sqr(x944)**(1 + sqr(x943)) + sqr(x945)**(1 + sqr(x946)) + sqr(x946)**
(1 + sqr(x945)) + sqr(x947)**(1 + sqr(x948)) + sqr(x948)**(1 + sqr(x947)
) + sqr(x949)**(1 + sqr(x950)) + sqr(x950)**(1 + sqr(x949)) + sqr(x951)
**(1 + sqr(x952)) + sqr(x952)**(1 + sqr(x951)) + sqr(x953)**(1 + sqr(
x954)) + sqr(x954)**(1 + sqr(x953)) + sqr(x955)**(1 + sqr(x956)) + sqr(
x956)**(1 + sqr(x955)) + sqr(x957)**(1 + sqr(x958)) + sqr(x958)**(1 +
sqr(x957)) + sqr(x959)**(1 + sqr(x960)) + sqr(x960)**(1 + sqr(x959)) +
sqr(x961)**(1 + sqr(x962)) + sqr(x962)**(1 + sqr(x961)) + sqr(x963)**(1
+ sqr(x964)) + sqr(x964)**(1 + sqr(x963)) + sqr(x965)**(1 + sqr(x966))
+ sqr(x966)**(1 + sqr(x965)) + sqr(x967)**(1 + sqr(x968)) + sqr(x968)**
(1 + sqr(x967)) + sqr(x969)**(1 + sqr(x970)) + sqr(x970)**(1 + sqr(x969)
) + sqr(x971)**(1 + sqr(x972)) + sqr(x972)**(1 + sqr(x971)) + sqr(x973)
**(1 + sqr(x974)) + sqr(x974)**(1 + sqr(x973)) + sqr(x975)**(1 + sqr(
x976)) + sqr(x976)**(1 + sqr(x975)) + sqr(x977)**(1 + sqr(x978)) + sqr(
x978)**(1 + sqr(x977)) + sqr(x979)**(1 + sqr(x980)) + sqr(x980)**(1 +
sqr(x979)) + sqr(x981)**(1 + sqr(x982)) + sqr(x982)**(1 + sqr(x981)) +
sqr(x983)**(1 + sqr(x984)) + sqr(x984)**(1 + sqr(x983)) + sqr(x985)**(1
+ sqr(x986)) + sqr(x986)**(1 + sqr(x985)) + sqr(x987)**(1 + sqr(x988))
+ sqr(x988)**(1 + sqr(x987)) + sqr(x989)**(1 + sqr(x990)) + sqr(x990)**
(1 + sqr(x989)) + sqr(x991)**(1 + sqr(x992)) + sqr(x992)**(1 + sqr(x991)
) + sqr(x993)**(1 + sqr(x994)) + sqr(x994)**(1 + sqr(x993)) + sqr(x995)
**(1 + sqr(x996)) + sqr(x996)**(1 + sqr(x995)) + sqr(x997)**(1 + sqr(
x998)) + sqr(x998)**(1 + sqr(x997)) + sqr(x999)**(1 + sqr(x1000)) + sqr(
x1000)**(1 + sqr(x999))) + objvar =E= 0;
* set non-default levels
x1.l = 0.7071067811865;
x2.l = 0.7071067811865;
x3.l = 0.7071067811865;
x4.l = 0.7071067811865;
x5.l = 0.7071067811865;
x6.l = 0.7071067811865;
x7.l = 0.7071067811865;
x8.l = 0.7071067811865;
x9.l = 0.7071067811865;
x10.l = 0.7071067811865;
x11.l = 0.7071067811865;
x12.l = 0.7071067811865;
x13.l = 0.7071067811865;
x14.l = 0.7071067811865;
x15.l = 0.7071067811865;
x16.l = 0.7071067811865;
x17.l = 0.7071067811865;
x18.l = 0.7071067811865;
x19.l = 0.7071067811865;
x20.l = 0.7071067811865;
x21.l = 0.7071067811865;
x22.l = 0.7071067811865;
x23.l = 0.7071067811865;
x24.l = 0.7071067811865;
x25.l = 0.7071067811865;
x26.l = 0.7071067811865;
x27.l = 0.7071067811865;
x28.l = 0.7071067811865;
x29.l = 0.7071067811865;
x30.l = 0.7071067811865;
x31.l = 0.7071067811865;
x32.l = 0.7071067811865;
x33.l = 0.7071067811865;
x34.l = 0.7071067811865;
x35.l = 0.7071067811865;
x36.l = 0.7071067811865;
x37.l = 0.7071067811865;
x38.l = 0.7071067811865;
x39.l = 0.7071067811865;
x40.l = 0.7071067811865;
x41.l = 0.7071067811865;
x42.l = 0.7071067811865;
x43.l = 0.7071067811865;
x44.l = 0.7071067811865;
x45.l = 0.7071067811865;
x46.l = 0.7071067811865;
x47.l = 0.7071067811865;
x48.l = 0.7071067811865;
x49.l = 0.7071067811865;
x50.l = 0.7071067811865;
x51.l = 0.7071067811865;
x52.l = 0.7071067811865;
x53.l = 0.7071067811865;
x54.l = 0.7071067811865;
x55.l = 0.7071067811865;
x56.l = 0.7071067811865;
x57.l = 0.7071067811865;
x58.l = 0.7071067811865;
x59.l = 0.7071067811865;
x60.l = 0.7071067811865;
x61.l = 0.7071067811865;
x62.l = 0.7071067811865;
x63.l = 0.7071067811865;
x64.l = 0.7071067811865;
x65.l = 0.7071067811865;
x66.l = 0.7071067811865;
x67.l = 0.7071067811865;
x68.l = 0.7071067811865;
x69.l = 0.7071067811865;
x70.l = 0.7071067811865;
x71.l = 0.7071067811865;
x72.l = 0.7071067811865;
x73.l = 0.7071067811865;
x74.l = 0.7071067811865;
x75.l = 0.7071067811865;
x76.l = 0.7071067811865;
x77.l = 0.7071067811865;
x78.l = 0.7071067811865;
x79.l = 0.7071067811865;
x80.l = 0.7071067811865;
x81.l = 0.7071067811865;
x82.l = 0.7071067811865;
x83.l = 0.7071067811865;
x84.l = 0.7071067811865;
x85.l = 0.7071067811865;
x86.l = 0.7071067811865;
x87.l = 0.7071067811865;
x88.l = 0.7071067811865;
x89.l = 0.7071067811865;
x90.l = 0.7071067811865;
x91.l = 0.7071067811865;
x92.l = 0.7071067811865;
x93.l = 0.7071067811865;
x94.l = 0.7071067811865;
x95.l = 0.7071067811865;
x96.l = 0.7071067811865;
x97.l = 0.7071067811865;
x98.l = 0.7071067811865;
x99.l = 0.7071067811865;
x100.l = 0.7071067811865;
x101.l = 0.7071067811865;
x102.l = 0.7071067811865;
x103.l = 0.7071067811865;
x104.l = 0.7071067811865;
x105.l = 0.7071067811865;
x106.l = 0.7071067811865;
x107.l = 0.7071067811865;
x108.l = 0.7071067811865;
x109.l = 0.7071067811865;
x110.l = 0.7071067811865;
x111.l = 0.7071067811865;
x112.l = 0.7071067811865;
x113.l = 0.7071067811865;
x114.l = 0.7071067811865;
x115.l = 0.7071067811865;
x116.l = 0.7071067811865;
x117.l = 0.7071067811865;
x118.l = 0.7071067811865;
x119.l = 0.7071067811865;
x120.l = 0.7071067811865;
x121.l = 0.7071067811865;
x122.l = 0.7071067811865;
x123.l = 0.7071067811865;
x124.l = 0.7071067811865;
x125.l = 0.7071067811865;
x126.l = 0.7071067811865;
x127.l = 0.7071067811865;
x128.l = 0.7071067811865;
x129.l = 0.7071067811865;
x130.l = 0.7071067811865;
x131.l = 0.7071067811865;
x132.l = 0.7071067811865;
x133.l = 0.7071067811865;
x134.l = 0.7071067811865;
x135.l = 0.7071067811865;
x136.l = 0.7071067811865;
x137.l = 0.7071067811865;
x138.l = 0.7071067811865;
x139.l = 0.7071067811865;
x140.l = 0.7071067811865;
x141.l = 0.7071067811865;
x142.l = 0.7071067811865;
x143.l = 0.7071067811865;
x144.l = 0.7071067811865;
x145.l = 0.7071067811865;
x146.l = 0.7071067811865;
x147.l = 0.7071067811865;
x148.l = 0.7071067811865;
x149.l = 0.7071067811865;
x150.l = 0.7071067811865;
x151.l = 0.7071067811865;
x152.l = 0.7071067811865;
x153.l = 0.7071067811865;
x154.l = 0.7071067811865;
x155.l = 0.7071067811865;
x156.l = 0.7071067811865;
x157.l = 0.7071067811865;
x158.l = 0.7071067811865;
x159.l = 0.7071067811865;
x160.l = 0.7071067811865;
x161.l = 0.7071067811865;
x162.l = 0.7071067811865;
x163.l = 0.7071067811865;
x164.l = 0.7071067811865;
x165.l = 0.7071067811865;
x166.l = 0.7071067811865;
x167.l = 0.7071067811865;
x168.l = 0.7071067811865;
x169.l = 0.7071067811865;
x170.l = 0.7071067811865;
x171.l = 0.7071067811865;
x172.l = 0.7071067811865;
x173.l = 0.7071067811865;
x174.l = 0.7071067811865;
x175.l = 0.7071067811865;
x176.l = 0.7071067811865;
x177.l = 0.7071067811865;
x178.l = 0.7071067811865;
x179.l = 0.7071067811865;
x180.l = 0.7071067811865;
x181.l = 0.7071067811865;
x182.l = 0.7071067811865;
x183.l = 0.7071067811865;
x184.l = 0.7071067811865;
x185.l = 0.7071067811865;
x186.l = 0.7071067811865;
x187.l = 0.7071067811865;
x188.l = 0.7071067811865;
x189.l = 0.7071067811865;
x190.l = 0.7071067811865;
x191.l = 0.7071067811865;
x192.l = 0.7071067811865;
x193.l = 0.7071067811865;
x194.l = 0.7071067811865;
x195.l = 0.7071067811865;
x196.l = 0.7071067811865;
x197.l = 0.7071067811865;
x198.l = 0.7071067811865;
x199.l = 0.7071067811865;
x200.l = 0.7071067811865;
x201.l = 0.7071067811865;
x202.l = 0.7071067811865;
x203.l = 0.7071067811865;
x204.l = 0.7071067811865;
x205.l = 0.7071067811865;
x206.l = 0.7071067811865;
x207.l = 0.7071067811865;
x208.l = 0.7071067811865;
x209.l = 0.7071067811865;
x210.l = 0.7071067811865;
x211.l = 0.7071067811865;
x212.l = 0.7071067811865;
x213.l = 0.7071067811865;
x214.l = 0.7071067811865;
x215.l = 0.7071067811865;
x216.l = 0.7071067811865;
x217.l = 0.7071067811865;
x218.l = 0.7071067811865;
x219.l = 0.7071067811865;
x220.l = 0.7071067811865;
x221.l = 0.7071067811865;
x222.l = 0.7071067811865;
x223.l = 0.7071067811865;
x224.l = 0.7071067811865;
x225.l = 0.7071067811865;
x226.l = 0.7071067811865;
x227.l = 0.7071067811865;
x228.l = 0.7071067811865;
x229.l = 0.7071067811865;
x230.l = 0.7071067811865;
x231.l = 0.7071067811865;
x232.l = 0.7071067811865;
x233.l = 0.7071067811865;
x234.l = 0.7071067811865;
x235.l = 0.7071067811865;
x236.l = 0.7071067811865;
x237.l = 0.7071067811865;
x238.l = 0.7071067811865;
x239.l = 0.7071067811865;
x240.l = 0.7071067811865;
x241.l = 0.7071067811865;
x242.l = 0.7071067811865;
x243.l = 0.7071067811865;
x244.l = 0.7071067811865;
x245.l = 0.7071067811865;
x246.l = 0.7071067811865;
x247.l = 0.7071067811865;
x248.l = 0.7071067811865;
x249.l = 0.7071067811865;
x250.l = 0.7071067811865;
x251.l = 0.7071067811865;
x252.l = 0.7071067811865;
x253.l = 0.7071067811865;
x254.l = 0.7071067811865;
x255.l = 0.7071067811865;
x256.l = 0.7071067811865;
x257.l = 0.7071067811865;
x258.l = 0.7071067811865;
x259.l = 0.7071067811865;
x260.l = 0.7071067811865;
x261.l = 0.7071067811865;
x262.l = 0.7071067811865;
x263.l = 0.7071067811865;
x264.l = 0.7071067811865;
x265.l = 0.7071067811865;
x266.l = 0.7071067811865;
x267.l = 0.7071067811865;
x268.l = 0.7071067811865;
x269.l = 0.7071067811865;
x270.l = 0.7071067811865;
x271.l = 0.7071067811865;
x272.l = 0.7071067811865;
x273.l = 0.7071067811865;
x274.l = 0.7071067811865;
x275.l = 0.7071067811865;
x276.l = 0.7071067811865;
x277.l = 0.7071067811865;
x278.l = 0.7071067811865;
x279.l = 0.7071067811865;
x280.l = 0.7071067811865;
x281.l = 0.7071067811865;
x282.l = 0.7071067811865;
x283.l = 0.7071067811865;
x284.l = 0.7071067811865;
x285.l = 0.7071067811865;
x286.l = 0.7071067811865;
x287.l = 0.7071067811865;
x288.l = 0.7071067811865;
x289.l = 0.7071067811865;
x290.l = 0.7071067811865;
x291.l = 0.7071067811865;
x292.l = 0.7071067811865;
x293.l = 0.7071067811865;
x294.l = 0.7071067811865;
x295.l = 0.7071067811865;
x296.l = 0.7071067811865;
x297.l = 0.7071067811865;
x298.l = 0.7071067811865;
x299.l = 0.7071067811865;
x300.l = 0.7071067811865;
x301.l = 0.7071067811865;
x302.l = 0.7071067811865;
x303.l = 0.7071067811865;
x304.l = 0.7071067811865;
x305.l = 0.7071067811865;
x306.l = 0.7071067811865;
x307.l = 0.7071067811865;
x308.l = 0.7071067811865;
x309.l = 0.7071067811865;
x310.l = 0.7071067811865;
x311.l = 0.7071067811865;
x312.l = 0.7071067811865;
x313.l = 0.7071067811865;
x314.l = 0.7071067811865;
x315.l = 0.7071067811865;
x316.l = 0.7071067811865;
x317.l = 0.7071067811865;
x318.l = 0.7071067811865;
x319.l = 0.7071067811865;
x320.l = 0.7071067811865;
x321.l = 0.7071067811865;
x322.l = 0.7071067811865;
x323.l = 0.7071067811865;
x324.l = 0.7071067811865;
x325.l = 0.7071067811865;
x326.l = 0.7071067811865;
x327.l = 0.7071067811865;
x328.l = 0.7071067811865;
x329.l = 0.7071067811865;
x330.l = 0.7071067811865;
x331.l = 0.7071067811865;
x332.l = 0.7071067811865;
x333.l = 0.7071067811865;
x334.l = 0.7071067811865;
x335.l = 0.7071067811865;
x336.l = 0.7071067811865;
x337.l = 0.7071067811865;
x338.l = 0.7071067811865;
x339.l = 0.7071067811865;
x340.l = 0.7071067811865;
x341.l = 0.7071067811865;
x342.l = 0.7071067811865;
x343.l = 0.7071067811865;
x344.l = 0.7071067811865;
x345.l = 0.7071067811865;
x346.l = 0.7071067811865;
x347.l = 0.7071067811865;
x348.l = 0.7071067811865;
x349.l = 0.7071067811865;
x350.l = 0.7071067811865;
x351.l = 0.7071067811865;
x352.l = 0.7071067811865;
x353.l = 0.7071067811865;
x354.l = 0.7071067811865;
x355.l = 0.7071067811865;
x356.l = 0.7071067811865;
x357.l = 0.7071067811865;
x358.l = 0.7071067811865;
x359.l = 0.7071067811865;
x360.l = 0.7071067811865;
x361.l = 0.7071067811865;
x362.l = 0.7071067811865;
x363.l = 0.7071067811865;
x364.l = 0.7071067811865;
x365.l = 0.7071067811865;
x366.l = 0.7071067811865;
x367.l = 0.7071067811865;
x368.l = 0.7071067811865;
x369.l = 0.7071067811865;
x370.l = 0.7071067811865;
x371.l = 0.7071067811865;
x372.l = 0.7071067811865;
x373.l = 0.7071067811865;
x374.l = 0.7071067811865;
x375.l = 0.7071067811865;
x376.l = 0.7071067811865;
x377.l = 0.7071067811865;
x378.l = 0.7071067811865;
x379.l = 0.7071067811865;
x380.l = 0.7071067811865;
x381.l = 0.7071067811865;
x382.l = 0.7071067811865;
x383.l = 0.7071067811865;
x384.l = 0.7071067811865;
x385.l = 0.7071067811865;
x386.l = 0.7071067811865;
x387.l = 0.7071067811865;
x388.l = 0.7071067811865;
x389.l = 0.7071067811865;
x390.l = 0.7071067811865;
x391.l = 0.7071067811865;
x392.l = 0.7071067811865;
x393.l = 0.7071067811865;
x394.l = 0.7071067811865;
x395.l = 0.7071067811865;
x396.l = 0.7071067811865;
x397.l = 0.7071067811865;
x398.l = 0.7071067811865;
x399.l = 0.7071067811865;
x400.l = 0.7071067811865;
x401.l = 0.7071067811865;
x402.l = 0.7071067811865;
x403.l = 0.7071067811865;
x404.l = 0.7071067811865;
x405.l = 0.7071067811865;
x406.l = 0.7071067811865;
x407.l = 0.7071067811865;
x408.l = 0.7071067811865;
x409.l = 0.7071067811865;
x410.l = 0.7071067811865;
x411.l = 0.7071067811865;
x412.l = 0.7071067811865;
x413.l = 0.7071067811865;
x414.l = 0.7071067811865;
x415.l = 0.7071067811865;
x416.l = 0.7071067811865;
x417.l = 0.7071067811865;
x418.l = 0.7071067811865;
x419.l = 0.7071067811865;
x420.l = 0.7071067811865;
x421.l = 0.7071067811865;
x422.l = 0.7071067811865;
x423.l = 0.7071067811865;
x424.l = 0.7071067811865;
x425.l = 0.7071067811865;
x426.l = 0.7071067811865;
x427.l = 0.7071067811865;
x428.l = 0.7071067811865;
x429.l = 0.7071067811865;
x430.l = 0.7071067811865;
x431.l = 0.7071067811865;
x432.l = 0.7071067811865;
x433.l = 0.7071067811865;
x434.l = 0.7071067811865;
x435.l = 0.7071067811865;
x436.l = 0.7071067811865;
x437.l = 0.7071067811865;
x438.l = 0.7071067811865;
x439.l = 0.7071067811865;
x440.l = 0.7071067811865;
x441.l = 0.7071067811865;
x442.l = 0.7071067811865;
x443.l = 0.7071067811865;
x444.l = 0.7071067811865;
x445.l = 0.7071067811865;
x446.l = 0.7071067811865;
x447.l = 0.7071067811865;
x448.l = 0.7071067811865;
x449.l = 0.7071067811865;
x450.l = 0.7071067811865;
x451.l = 0.7071067811865;
x452.l = 0.7071067811865;
x453.l = 0.7071067811865;
x454.l = 0.7071067811865;
x455.l = 0.7071067811865;
x456.l = 0.7071067811865;
x457.l = 0.7071067811865;
x458.l = 0.7071067811865;
x459.l = 0.7071067811865;
x460.l = 0.7071067811865;
x461.l = 0.7071067811865;
x462.l = 0.7071067811865;
x463.l = 0.7071067811865;
x464.l = 0.7071067811865;
x465.l = 0.7071067811865;
x466.l = 0.7071067811865;
x467.l = 0.7071067811865;
x468.l = 0.7071067811865;
x469.l = 0.7071067811865;
x470.l = 0.7071067811865;
x471.l = 0.7071067811865;
x472.l = 0.7071067811865;
x473.l = 0.7071067811865;
x474.l = 0.7071067811865;
x475.l = 0.7071067811865;
x476.l = 0.7071067811865;
x477.l = 0.7071067811865;
x478.l = 0.7071067811865;
x479.l = 0.7071067811865;
x480.l = 0.7071067811865;
x481.l = 0.7071067811865;
x482.l = 0.7071067811865;
x483.l = 0.7071067811865;
x484.l = 0.7071067811865;
x485.l = 0.7071067811865;
x486.l = 0.7071067811865;
x487.l = 0.7071067811865;
x488.l = 0.7071067811865;
x489.l = 0.7071067811865;
x490.l = 0.7071067811865;
x491.l = 0.7071067811865;
x492.l = 0.7071067811865;
x493.l = 0.7071067811865;
x494.l = 0.7071067811865;
x495.l = 0.7071067811865;
x496.l = 0.7071067811865;
x497.l = 0.7071067811865;
x498.l = 0.7071067811865;
x499.l = 0.7071067811865;
x500.l = 0.7071067811865;
x501.l = 0.7071067811865;
x502.l = 0.7071067811865;
x503.l = 0.7071067811865;
x504.l = 0.7071067811865;
x505.l = 0.7071067811865;
x506.l = 0.7071067811865;
x507.l = 0.7071067811865;
x508.l = 0.7071067811865;
x509.l = 0.7071067811865;
x510.l = 0.7071067811865;
x511.l = 0.7071067811865;
x512.l = 0.7071067811865;
x513.l = 0.7071067811865;
x514.l = 0.7071067811865;
x515.l = 0.7071067811865;
x516.l = 0.7071067811865;
x517.l = 0.7071067811865;
x518.l = 0.7071067811865;
x519.l = 0.7071067811865;
x520.l = 0.7071067811865;
x521.l = 0.7071067811865;
x522.l = 0.7071067811865;
x523.l = 0.7071067811865;
x524.l = 0.7071067811865;
x525.l = 0.7071067811865;
x526.l = 0.7071067811865;
x527.l = 0.7071067811865;
x528.l = 0.7071067811865;
x529.l = 0.7071067811865;
x530.l = 0.7071067811865;
x531.l = 0.7071067811865;
x532.l = 0.7071067811865;
x533.l = 0.7071067811865;
x534.l = 0.7071067811865;
x535.l = 0.7071067811865;
x536.l = 0.7071067811865;
x537.l = 0.7071067811865;
x538.l = 0.7071067811865;
x539.l = 0.7071067811865;
x540.l = 0.7071067811865;
x541.l = 0.7071067811865;
x542.l = 0.7071067811865;
x543.l = 0.7071067811865;
x544.l = 0.7071067811865;
x545.l = 0.7071067811865;
x546.l = 0.7071067811865;
x547.l = 0.7071067811865;
x548.l = 0.7071067811865;
x549.l = 0.7071067811865;
x550.l = 0.7071067811865;
x551.l = 0.7071067811865;
x552.l = 0.7071067811865;
x553.l = 0.7071067811865;
x554.l = 0.7071067811865;
x555.l = 0.7071067811865;
x556.l = 0.7071067811865;
x557.l = 0.7071067811865;
x558.l = 0.7071067811865;
x559.l = 0.7071067811865;
x560.l = 0.7071067811865;
x561.l = 0.7071067811865;
x562.l = 0.7071067811865;
x563.l = 0.7071067811865;
x564.l = 0.7071067811865;
x565.l = 0.7071067811865;
x566.l = 0.7071067811865;
x567.l = 0.7071067811865;
x568.l = 0.7071067811865;
x569.l = 0.7071067811865;
x570.l = 0.7071067811865;
x571.l = 0.7071067811865;
x572.l = 0.7071067811865;
x573.l = 0.7071067811865;
x574.l = 0.7071067811865;
x575.l = 0.7071067811865;
x576.l = 0.7071067811865;
x577.l = 0.7071067811865;
x578.l = 0.7071067811865;
x579.l = 0.7071067811865;
x580.l = 0.7071067811865;
x581.l = 0.7071067811865;
x582.l = 0.7071067811865;
x583.l = 0.7071067811865;
x584.l = 0.7071067811865;
x585.l = 0.7071067811865;
x586.l = 0.7071067811865;
x587.l = 0.7071067811865;
x588.l = 0.7071067811865;
x589.l = 0.7071067811865;
x590.l = 0.7071067811865;
x591.l = 0.7071067811865;
x592.l = 0.7071067811865;
x593.l = 0.7071067811865;
x594.l = 0.7071067811865;
x595.l = 0.7071067811865;
x596.l = 0.7071067811865;
x597.l = 0.7071067811865;
x598.l = 0.7071067811865;
x599.l = 0.7071067811865;
x600.l = 0.7071067811865;
x601.l = 0.7071067811865;
x602.l = 0.7071067811865;
x603.l = 0.7071067811865;
x604.l = 0.7071067811865;
x605.l = 0.7071067811865;
x606.l = 0.7071067811865;
x607.l = 0.7071067811865;
x608.l = 0.7071067811865;
x609.l = 0.7071067811865;
x610.l = 0.7071067811865;
x611.l = 0.7071067811865;
x612.l = 0.7071067811865;
x613.l = 0.7071067811865;
x614.l = 0.7071067811865;
x615.l = 0.7071067811865;
x616.l = 0.7071067811865;
x617.l = 0.7071067811865;
x618.l = 0.7071067811865;
x619.l = 0.7071067811865;
x620.l = 0.7071067811865;
x621.l = 0.7071067811865;
x622.l = 0.7071067811865;
x623.l = 0.7071067811865;
x624.l = 0.7071067811865;
x625.l = 0.7071067811865;
x626.l = 0.7071067811865;
x627.l = 0.7071067811865;
x628.l = 0.7071067811865;
x629.l = 0.7071067811865;
x630.l = 0.7071067811865;
x631.l = 0.7071067811865;
x632.l = 0.7071067811865;
x633.l = 0.7071067811865;
x634.l = 0.7071067811865;
x635.l = 0.7071067811865;
x636.l = 0.7071067811865;
x637.l = 0.7071067811865;
x638.l = 0.7071067811865;
x639.l = 0.7071067811865;
x640.l = 0.7071067811865;
x641.l = 0.7071067811865;
x642.l = 0.7071067811865;
x643.l = 0.7071067811865;
x644.l = 0.7071067811865;
x645.l = 0.7071067811865;
x646.l = 0.7071067811865;
x647.l = 0.7071067811865;
x648.l = 0.7071067811865;
x649.l = 0.7071067811865;
x650.l = 0.7071067811865;
x651.l = 0.7071067811865;
x652.l = 0.7071067811865;
x653.l = 0.7071067811865;
x654.l = 0.7071067811865;
x655.l = 0.7071067811865;
x656.l = 0.7071067811865;
x657.l = 0.7071067811865;
x658.l = 0.7071067811865;
x659.l = 0.7071067811865;
x660.l = 0.7071067811865;
x661.l = 0.7071067811865;
x662.l = 0.7071067811865;
x663.l = 0.7071067811865;
x664.l = 0.7071067811865;
x665.l = 0.7071067811865;
x666.l = 0.7071067811865;
x667.l = 0.7071067811865;
x668.l = 0.7071067811865;
x669.l = 0.7071067811865;
x670.l = 0.7071067811865;
x671.l = 0.7071067811865;
x672.l = 0.7071067811865;
x673.l = 0.7071067811865;
x674.l = 0.7071067811865;
x675.l = 0.7071067811865;
x676.l = 0.7071067811865;
x677.l = 0.7071067811865;
x678.l = 0.7071067811865;
x679.l = 0.7071067811865;
x680.l = 0.7071067811865;
x681.l = 0.7071067811865;
x682.l = 0.7071067811865;
x683.l = 0.7071067811865;
x684.l = 0.7071067811865;
x685.l = 0.7071067811865;
x686.l = 0.7071067811865;
x687.l = 0.7071067811865;
x688.l = 0.7071067811865;
x689.l = 0.7071067811865;
x690.l = 0.7071067811865;
x691.l = 0.7071067811865;
x692.l = 0.7071067811865;
x693.l = 0.7071067811865;
x694.l = 0.7071067811865;
x695.l = 0.7071067811865;
x696.l = 0.7071067811865;
x697.l = 0.7071067811865;
x698.l = 0.7071067811865;
x699.l = 0.7071067811865;
x700.l = 0.7071067811865;
x701.l = 0.7071067811865;
x702.l = 0.7071067811865;
x703.l = 0.7071067811865;
x704.l = 0.7071067811865;
x705.l = 0.7071067811865;
x706.l = 0.7071067811865;
x707.l = 0.7071067811865;
x708.l = 0.7071067811865;
x709.l = 0.7071067811865;
x710.l = 0.7071067811865;
x711.l = 0.7071067811865;
x712.l = 0.7071067811865;
x713.l = 0.7071067811865;
x714.l = 0.7071067811865;
x715.l = 0.7071067811865;
x716.l = 0.7071067811865;
x717.l = 0.7071067811865;
x718.l = 0.7071067811865;
x719.l = 0.7071067811865;
x720.l = 0.7071067811865;
x721.l = 0.7071067811865;
x722.l = 0.7071067811865;
x723.l = 0.7071067811865;
x724.l = 0.7071067811865;
x725.l = 0.7071067811865;
x726.l = 0.7071067811865;
x727.l = 0.7071067811865;
x728.l = 0.7071067811865;
x729.l = 0.7071067811865;
x730.l = 0.7071067811865;
x731.l = 0.7071067811865;
x732.l = 0.7071067811865;
x733.l = 0.7071067811865;
x734.l = 0.7071067811865;
x735.l = 0.7071067811865;
x736.l = 0.7071067811865;
x737.l = 0.7071067811865;
x738.l = 0.7071067811865;
x739.l = 0.7071067811865;
x740.l = 0.7071067811865;
x741.l = 0.7071067811865;
x742.l = 0.7071067811865;
x743.l = 0.7071067811865;
x744.l = 0.7071067811865;
x745.l = 0.7071067811865;
x746.l = 0.7071067811865;
x747.l = 0.7071067811865;
x748.l = 0.7071067811865;
x749.l = 0.7071067811865;
x750.l = 0.7071067811865;
x751.l = 0.7071067811865;
x752.l = 0.7071067811865;
x753.l = 0.7071067811865;
x754.l = 0.7071067811865;
x755.l = 0.7071067811865;
x756.l = 0.7071067811865;
x757.l = 0.7071067811865;
x758.l = 0.7071067811865;
x759.l = 0.7071067811865;
x760.l = 0.7071067811865;
x761.l = 0.7071067811865;
x762.l = 0.7071067811865;
x763.l = 0.7071067811865;
x764.l = 0.7071067811865;
x765.l = 0.7071067811865;
x766.l = 0.7071067811865;
x767.l = 0.7071067811865;
x768.l = 0.7071067811865;
x769.l = 0.7071067811865;
x770.l = 0.7071067811865;
x771.l = 0.7071067811865;
x772.l = 0.7071067811865;
x773.l = 0.7071067811865;
x774.l = 0.7071067811865;
x775.l = 0.7071067811865;
x776.l = 0.7071067811865;
x777.l = 0.7071067811865;
x778.l = 0.7071067811865;
x779.l = 0.7071067811865;
x780.l = 0.7071067811865;
x781.l = 0.7071067811865;
x782.l = 0.7071067811865;
x783.l = 0.7071067811865;
x784.l = 0.7071067811865;
x785.l = 0.7071067811865;
x786.l = 0.7071067811865;
x787.l = 0.7071067811865;
x788.l = 0.7071067811865;
x789.l = 0.7071067811865;
x790.l = 0.7071067811865;
x791.l = 0.7071067811865;
x792.l = 0.7071067811865;
x793.l = 0.7071067811865;
x794.l = 0.7071067811865;
x795.l = 0.7071067811865;
x796.l = 0.7071067811865;
x797.l = 0.7071067811865;
x798.l = 0.7071067811865;
x799.l = 0.7071067811865;
x800.l = 0.7071067811865;
x801.l = 0.7071067811865;
x802.l = 0.7071067811865;
x803.l = 0.7071067811865;
x804.l = 0.7071067811865;
x805.l = 0.7071067811865;
x806.l = 0.7071067811865;
x807.l = 0.7071067811865;
x808.l = 0.7071067811865;
x809.l = 0.7071067811865;
x810.l = 0.7071067811865;
x811.l = 0.7071067811865;
x812.l = 0.7071067811865;
x813.l = 0.7071067811865;
x814.l = 0.7071067811865;
x815.l = 0.7071067811865;
x816.l = 0.7071067811865;
x817.l = 0.7071067811865;
x818.l = 0.7071067811865;
x819.l = 0.7071067811865;
x820.l = 0.7071067811865;
x821.l = 0.7071067811865;
x822.l = 0.7071067811865;
x823.l = 0.7071067811865;
x824.l = 0.7071067811865;
x825.l = 0.7071067811865;
x826.l = 0.7071067811865;
x827.l = 0.7071067811865;
x828.l = 0.7071067811865;
x829.l = 0.7071067811865;
x830.l = 0.7071067811865;
x831.l = 0.7071067811865;
x832.l = 0.7071067811865;
x833.l = 0.7071067811865;
x834.l = 0.7071067811865;
x835.l = 0.7071067811865;
x836.l = 0.7071067811865;
x837.l = 0.7071067811865;
x838.l = 0.7071067811865;
x839.l = 0.7071067811865;
x840.l = 0.7071067811865;
x841.l = 0.7071067811865;
x842.l = 0.7071067811865;
x843.l = 0.7071067811865;
x844.l = 0.7071067811865;
x845.l = 0.7071067811865;
x846.l = 0.7071067811865;
x847.l = 0.7071067811865;
x848.l = 0.7071067811865;
x849.l = 0.7071067811865;
x850.l = 0.7071067811865;
x851.l = 0.7071067811865;
x852.l = 0.7071067811865;
x853.l = 0.7071067811865;
x854.l = 0.7071067811865;
x855.l = 0.7071067811865;
x856.l = 0.7071067811865;
x857.l = 0.7071067811865;
x858.l = 0.7071067811865;
x859.l = 0.7071067811865;
x860.l = 0.7071067811865;
x861.l = 0.7071067811865;
x862.l = 0.7071067811865;
x863.l = 0.7071067811865;
x864.l = 0.7071067811865;
x865.l = 0.7071067811865;
x866.l = 0.7071067811865;
x867.l = 0.7071067811865;
x868.l = 0.7071067811865;
x869.l = 0.7071067811865;
x870.l = 0.7071067811865;
x871.l = 0.7071067811865;
x872.l = 0.7071067811865;
x873.l = 0.7071067811865;
x874.l = 0.7071067811865;
x875.l = 0.7071067811865;
x876.l = 0.7071067811865;
x877.l = 0.7071067811865;
x878.l = 0.7071067811865;
x879.l = 0.7071067811865;
x880.l = 0.7071067811865;
x881.l = 0.7071067811865;
x882.l = 0.7071067811865;
x883.l = 0.7071067811865;
x884.l = 0.7071067811865;
x885.l = 0.7071067811865;
x886.l = 0.7071067811865;
x887.l = 0.7071067811865;
x888.l = 0.7071067811865;
x889.l = 0.7071067811865;
x890.l = 0.7071067811865;
x891.l = 0.7071067811865;
x892.l = 0.7071067811865;
x893.l = 0.7071067811865;
x894.l = 0.7071067811865;
x895.l = 0.7071067811865;
x896.l = 0.7071067811865;
x897.l = 0.7071067811865;
x898.l = 0.7071067811865;
x899.l = 0.7071067811865;
x900.l = 0.7071067811865;
x901.l = 0.7071067811865;
x902.l = 0.7071067811865;
x903.l = 0.7071067811865;
x904.l = 0.7071067811865;
x905.l = 0.7071067811865;
x906.l = 0.7071067811865;
x907.l = 0.7071067811865;
x908.l = 0.7071067811865;
x909.l = 0.7071067811865;
x910.l = 0.7071067811865;
x911.l = 0.7071067811865;
x912.l = 0.7071067811865;
x913.l = 0.7071067811865;
x914.l = 0.7071067811865;
x915.l = 0.7071067811865;
x916.l = 0.7071067811865;
x917.l = 0.7071067811865;
x918.l = 0.7071067811865;
x919.l = 0.7071067811865;
x920.l = 0.7071067811865;
x921.l = 0.7071067811865;
x922.l = 0.7071067811865;
x923.l = 0.7071067811865;
x924.l = 0.7071067811865;
x925.l = 0.7071067811865;
x926.l = 0.7071067811865;
x927.l = 0.7071067811865;
x928.l = 0.7071067811865;
x929.l = 0.7071067811865;
x930.l = 0.7071067811865;
x931.l = 0.7071067811865;
x932.l = 0.7071067811865;
x933.l = 0.7071067811865;
x934.l = 0.7071067811865;
x935.l = 0.7071067811865;
x936.l = 0.7071067811865;
x937.l = 0.7071067811865;
x938.l = 0.7071067811865;
x939.l = 0.7071067811865;
x940.l = 0.7071067811865;
x941.l = 0.7071067811865;
x942.l = 0.7071067811865;
x943.l = 0.7071067811865;
x944.l = 0.7071067811865;
x945.l = 0.7071067811865;
x946.l = 0.7071067811865;
x947.l = 0.7071067811865;
x948.l = 0.7071067811865;
x949.l = 0.7071067811865;
x950.l = 0.7071067811865;
x951.l = 0.7071067811865;
x952.l = 0.7071067811865;
x953.l = 0.7071067811865;
x954.l = 0.7071067811865;
x955.l = 0.7071067811865;
x956.l = 0.7071067811865;
x957.l = 0.7071067811865;
x958.l = 0.7071067811865;
x959.l = 0.7071067811865;
x960.l = 0.7071067811865;
x961.l = 0.7071067811865;
x962.l = 0.7071067811865;
x963.l = 0.7071067811865;
x964.l = 0.7071067811865;
x965.l = 0.7071067811865;
x966.l = 0.7071067811865;
x967.l = 0.7071067811865;
x968.l = 0.7071067811865;
x969.l = 0.7071067811865;
x970.l = 0.7071067811865;
x971.l = 0.7071067811865;
x972.l = 0.7071067811865;
x973.l = 0.7071067811865;
x974.l = 0.7071067811865;
x975.l = 0.7071067811865;
x976.l = 0.7071067811865;
x977.l = 0.7071067811865;
x978.l = 0.7071067811865;
x979.l = 0.7071067811865;
x980.l = 0.7071067811865;
x981.l = 0.7071067811865;
x982.l = 0.7071067811865;
x983.l = 0.7071067811865;
x984.l = 0.7071067811865;
x985.l = 0.7071067811865;
x986.l = 0.7071067811865;
x987.l = 0.7071067811865;
x988.l = 0.7071067811865;
x989.l = 0.7071067811865;
x990.l = 0.7071067811865;
x991.l = 0.7071067811865;
x992.l = 0.7071067811865;
x993.l = 0.7071067811865;
x994.l = 0.7071067811865;
x995.l = 0.7071067811865;
x996.l = 0.7071067811865;
x997.l = 0.7071067811865;
x998.l = 0.7071067811865;
x999.l = 0.7071067811865;
x1000.l = 0.7071067811865;
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