$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;