pentdi.gms
* NLP written by GAMS Convert at 10/06/06 11:47:12
*
* Equation counts
* Total E G L N X C
* 1 1 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 0 0 0 0 0 0 0
*
* Nonzero counts
* Total const NL DLL
* 1001 1 1000 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;
Positive 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;
Equations e1;
e1.. - (6*sqr(x1) + 6*sqr(x2) + 6*sqr(x3) + 6*sqr(x4) + 6*sqr(x5) + 6*sqr(x6)
+ 6*sqr(x7) + 6*sqr(x8) + 6*sqr(x9) + 6*sqr(x10) + 6*sqr(x11) + 6*sqr(x12
) + 6*sqr(x13) + 6*sqr(x14) + 6*sqr(x15) + 6*sqr(x16) + 6*sqr(x17) + 6*
sqr(x18) + 6*sqr(x19) + 6*sqr(x20) + 6*sqr(x21) + 6*sqr(x22) + 6*sqr(x23)
+ 6*sqr(x24) + 6*sqr(x25) + 6*sqr(x26) + 6*sqr(x27) + 6*sqr(x28) + 6*sqr(
x29) + 6*sqr(x30) + 6*sqr(x31) + 6*sqr(x32) + 6*sqr(x33) + 6*sqr(x34) + 6*
sqr(x35) + 6*sqr(x36) + 6*sqr(x37) + 6*sqr(x38) + 6*sqr(x39) + 6*sqr(x40)
+ 6*sqr(x41) + 6*sqr(x42) + 6*sqr(x43) + 6*sqr(x44) + 6*sqr(x45) + 6*sqr(
x46) + 6*sqr(x47) + 6*sqr(x48) + 6*sqr(x49) + 6*sqr(x50) + 6*sqr(x51) + 6*
sqr(x52) + 6*sqr(x53) + 6*sqr(x54) + 6*sqr(x55) + 6*sqr(x56) + 6*sqr(x57)
+ 6*sqr(x58) + 6*sqr(x59) + 6*sqr(x60) + 6*sqr(x61) + 6*sqr(x62) + 6*sqr(
x63) + 6*sqr(x64) + 6*sqr(x65) + 6*sqr(x66) + 6*sqr(x67) + 6*sqr(x68) + 6*
sqr(x69) + 6*sqr(x70) + 6*sqr(x71) + 6*sqr(x72) + 6*sqr(x73) + 6*sqr(x74)
+ 6*sqr(x75) + 6*sqr(x76) + 6*sqr(x77) + 6*sqr(x78) + 6*sqr(x79) + 6*sqr(
x80) + 6*sqr(x81) + 6*sqr(x82) + 6*sqr(x83) + 6*sqr(x84) + 6*sqr(x85) + 6*
sqr(x86) + 6*sqr(x87) + 6*sqr(x88) + 6*sqr(x89) + 6*sqr(x90) + 6*sqr(x91)
+ 6*sqr(x92) + 6*sqr(x93) + 6*sqr(x94) + 6*sqr(x95) + 6*sqr(x96) + 6*sqr(
x97) + 6*sqr(x98) + 6*sqr(x99) + 6*sqr(x100) + 6*sqr(x101) + 6*sqr(x102)
+ 6*sqr(x103) + 6*sqr(x104) + 6*sqr(x105) + 6*sqr(x106) + 6*sqr(x107) + 6
*sqr(x108) + 6*sqr(x109) + 6*sqr(x110) + 6*sqr(x111) + 6*sqr(x112) + 6*
sqr(x113) + 6*sqr(x114) + 6*sqr(x115) + 6*sqr(x116) + 6*sqr(x117) + 6*sqr(
x118) + 6*sqr(x119) + 6*sqr(x120) + 6*sqr(x121) + 6*sqr(x122) + 6*sqr(x123
) + 6*sqr(x124) + 6*sqr(x125) + 6*sqr(x126) + 6*sqr(x127) + 6*sqr(x128) +
6*sqr(x129) + 6*sqr(x130) + 6*sqr(x131) + 6*sqr(x132) + 6*sqr(x133) + 6*
sqr(x134) + 6*sqr(x135) + 6*sqr(x136) + 6*sqr(x137) + 6*sqr(x138) + 6*sqr(
x139) + 6*sqr(x140) + 6*sqr(x141) + 6*sqr(x142) + 6*sqr(x143) + 6*sqr(x144
) + 6*sqr(x145) + 6*sqr(x146) + 6*sqr(x147) + 6*sqr(x148) + 6*sqr(x149) +
6*sqr(x150) + 6*sqr(x151) + 6*sqr(x152) + 6*sqr(x153) + 6*sqr(x154) + 6*
sqr(x155) + 6*sqr(x156) + 6*sqr(x157) + 6*sqr(x158) + 6*sqr(x159) + 6*sqr(
x160) + 6*sqr(x161) + 6*sqr(x162) + 6*sqr(x163) + 6*sqr(x164) + 6*sqr(x165
) + 6*sqr(x166) + 6*sqr(x167) + 6*sqr(x168) + 6*sqr(x169) + 6*sqr(x170) +
6*sqr(x171) + 6*sqr(x172) + 6*sqr(x173) + 6*sqr(x174) + 6*sqr(x175) + 6*
sqr(x176) + 6*sqr(x177) + 6*sqr(x178) + 6*sqr(x179) + 6*sqr(x180) + 6*sqr(
x181) + 6*sqr(x182) + 6*sqr(x183) + 6*sqr(x184) + 6*sqr(x185) + 6*sqr(x186
) + 6*sqr(x187) + 6*sqr(x188) + 6*sqr(x189) + 6*sqr(x190) + 6*sqr(x191) +
6*sqr(x192) + 6*sqr(x193) + 6*sqr(x194) + 6*sqr(x195) + 6*sqr(x196) + 6*
sqr(x197) + 6*sqr(x198) + 6*sqr(x199) + 6*sqr(x200) + 6*sqr(x201) + 6*sqr(
x202) + 6*sqr(x203) + 6*sqr(x204) + 6*sqr(x205) + 6*sqr(x206) + 6*sqr(x207
) + 6*sqr(x208) + 6*sqr(x209) + 6*sqr(x210) + 6*sqr(x211) + 6*sqr(x212) +
6*sqr(x213) + 6*sqr(x214) + 6*sqr(x215) + 6*sqr(x216) + 6*sqr(x217) + 6*
sqr(x218) + 6*sqr(x219) + 6*sqr(x220) + 6*sqr(x221) + 6*sqr(x222) + 6*sqr(
x223) + 6*sqr(x224) + 6*sqr(x225) + 6*sqr(x226) + 6*sqr(x227) + 6*sqr(x228
) + 6*sqr(x229) + 6*sqr(x230) + 6*sqr(x231) + 6*sqr(x232) + 6*sqr(x233) +
6*sqr(x234) + 6*sqr(x235) + 6*sqr(x236) + 6*sqr(x237) + 6*sqr(x238) + 6*
sqr(x239) + 6*sqr(x240) + 6*sqr(x241) + 6*sqr(x242) + 6*sqr(x243) + 6*sqr(
x244) + 6*sqr(x245) + 6*sqr(x246) + 6*sqr(x247) + 6*sqr(x248) + 6*sqr(x249
) + 6*sqr(x250) + 6*sqr(x251) + 6*sqr(x252) + 6*sqr(x253) + 6*sqr(x254) +
6*sqr(x255) + 6*sqr(x256) + 6*sqr(x257) + 6*sqr(x258) + 6*sqr(x259) + 6*
sqr(x260) + 6*sqr(x261) + 6*sqr(x262) + 6*sqr(x263) + 6*sqr(x264) + 6*sqr(
x265) + 6*sqr(x266) + 6*sqr(x267) + 6*sqr(x268) + 6*sqr(x269) + 6*sqr(x270
) + 6*sqr(x271) + 6*sqr(x272) + 6*sqr(x273) + 6*sqr(x274) + 6*sqr(x275) +
6*sqr(x276) + 6*sqr(x277) + 6*sqr(x278) + 6*sqr(x279) + 6*sqr(x280) + 6*
sqr(x281) + 6*sqr(x282) + 6*sqr(x283) + 6*sqr(x284) + 6*sqr(x285) + 6*sqr(
x286) + 6*sqr(x287) + 6*sqr(x288) + 6*sqr(x289) + 6*sqr(x290) + 6*sqr(x291
) + 6*sqr(x292) + 6*sqr(x293) + 6*sqr(x294) + 6*sqr(x295) + 6*sqr(x296) +
6*sqr(x297) + 6*sqr(x298) + 6*sqr(x299) + 6*sqr(x300) + 6*sqr(x301) + 6*
sqr(x302) + 6*sqr(x303) + 6*sqr(x304) + 6*sqr(x305) + 6*sqr(x306) + 6*sqr(
x307) + 6*sqr(x308) + 6*sqr(x309) + 6*sqr(x310) + 6*sqr(x311) + 6*sqr(x312
) + 6*sqr(x313) + 6*sqr(x314) + 6*sqr(x315) + 6*sqr(x316) + 6*sqr(x317) +
6*sqr(x318) + 6*sqr(x319) + 6*sqr(x320) + 6*sqr(x321) + 6*sqr(x322) + 6*
sqr(x323) + 6*sqr(x324) + 6*sqr(x325) + 6*sqr(x326) + 6*sqr(x327) + 6*sqr(
x328) + 6*sqr(x329) + 6*sqr(x330) + 6*sqr(x331) + 6*sqr(x332) + 6*sqr(x333
) + 6*sqr(x334) + 6*sqr(x335) + 6*sqr(x336) + 6*sqr(x337) + 6*sqr(x338) +
6*sqr(x339) + 6*sqr(x340) + 6*sqr(x341) + 6*sqr(x342) + 6*sqr(x343) + 6*
sqr(x344) + 6*sqr(x345) + 6*sqr(x346) + 6*sqr(x347) + 6*sqr(x348) + 6*sqr(
x349) + 6*sqr(x350) + 6*sqr(x351) + 6*sqr(x352) + 6*sqr(x353) + 6*sqr(x354
) + 6*sqr(x355) + 6*sqr(x356) + 6*sqr(x357) + 6*sqr(x358) + 6*sqr(x359) +
6*sqr(x360) + 6*sqr(x361) + 6*sqr(x362) + 6*sqr(x363) + 6*sqr(x364) + 6*
sqr(x365) + 6*sqr(x366) + 6*sqr(x367) + 6*sqr(x368) + 6*sqr(x369) + 6*sqr(
x370) + 6*sqr(x371) + 6*sqr(x372) + 6*sqr(x373) + 6*sqr(x374) + 6*sqr(x375
) + 6*sqr(x376) + 6*sqr(x377) + 6*sqr(x378) + 6*sqr(x379) + 6*sqr(x380) +
6*sqr(x381) + 6*sqr(x382) + 6*sqr(x383) + 6*sqr(x384) + 6*sqr(x385) + 6*
sqr(x386) + 6*sqr(x387) + 6*sqr(x388) + 6*sqr(x389) + 6*sqr(x390) + 6*sqr(
x391) + 6*sqr(x392) + 6*sqr(x393) + 6*sqr(x394) + 6*sqr(x395) + 6*sqr(x396
) + 6*sqr(x397) + 6*sqr(x398) + 6*sqr(x399) + 6*sqr(x400) + 6*sqr(x401) +
6*sqr(x402) + 6*sqr(x403) + 6*sqr(x404) + 6*sqr(x405) + 6*sqr(x406) + 6*
sqr(x407) + 6*sqr(x408) + 6*sqr(x409) + 6*sqr(x410) + 6*sqr(x411) + 6*sqr(
x412) + 6*sqr(x413) + 6*sqr(x414) + 6*sqr(x415) + 6*sqr(x416) + 6*sqr(x417
) + 6*sqr(x418) + 6*sqr(x419) + 6*sqr(x420) + 6*sqr(x421) + 6*sqr(x422) +
6*sqr(x423) + 6*sqr(x424) + 6*sqr(x425) + 6*sqr(x426) + 6*sqr(x427) + 6*
sqr(x428) + 6*sqr(x429) + 6*sqr(x430) + 6*sqr(x431) + 6*sqr(x432) + 6*sqr(
x433) + 6*sqr(x434) + 6*sqr(x435) + 6*sqr(x436) + 6*sqr(x437) + 6*sqr(x438
) + 6*sqr(x439) + 6*sqr(x440) + 6*sqr(x441) + 6*sqr(x442) + 6*sqr(x443) +
6*sqr(x444) + 6*sqr(x445) + 6*sqr(x446) + 6*sqr(x447) + 6*sqr(x448) + 6*
sqr(x449) + 6*sqr(x450) + 6*sqr(x451) + 6*sqr(x452) + 6*sqr(x453) + 6*sqr(
x454) + 6*sqr(x455) + 6*sqr(x456) + 6*sqr(x457) + 6*sqr(x458) + 6*sqr(x459
) + 6*sqr(x460) + 6*sqr(x461) + 6*sqr(x462) + 6*sqr(x463) + 6*sqr(x464) +
6*sqr(x465) + 6*sqr(x466) + 6*sqr(x467) + 6*sqr(x468) + 6*sqr(x469) + 6*
sqr(x470) + 6*sqr(x471) + 6*sqr(x472) + 6*sqr(x473) + 6*sqr(x474) + 6*sqr(
x475) + 6*sqr(x476) + 6*sqr(x477) + 6*sqr(x478) + 6*sqr(x479) + 6*sqr(x480
) + 6*sqr(x481) + 6*sqr(x482) + 6*sqr(x483) + 6*sqr(x484) + 6*sqr(x485) +
6*sqr(x486) + 6*sqr(x487) + 6*sqr(x488) + 6*sqr(x489) + 6*sqr(x490) + 6*
sqr(x491) + 6*sqr(x492) + 6*sqr(x493) + 6*sqr(x494) + 6*sqr(x495) + 6*sqr(
x496) + 6*sqr(x497) + 6*sqr(x498) + 6*sqr(x499) + 6*sqr(x500) + 6*sqr(x501
) + 6*sqr(x502) + 6*sqr(x503) + 6*sqr(x504) + 6*sqr(x505) + 6*sqr(x506) +
6*sqr(x507) + 6*sqr(x508) + 6*sqr(x509) + 6*sqr(x510) + 6*sqr(x511) + 6*
sqr(x512) + 6*sqr(x513) + 6*sqr(x514) + 6*sqr(x515) + 6*sqr(x516) + 6*sqr(
x517) + 6*sqr(x518) + 6*sqr(x519) + 6*sqr(x520) + 6*sqr(x521) + 6*sqr(x522
) + 6*sqr(x523) + 6*sqr(x524) + 6*sqr(x525) + 6*sqr(x526) + 6*sqr(x527) +
6*sqr(x528) + 6*sqr(x529) + 6*sqr(x530) + 6*sqr(x531) + 6*sqr(x532) + 6*
sqr(x533) + 6*sqr(x534) + 6*sqr(x535) + 6*sqr(x536) + 6*sqr(x537) + 6*sqr(
x538) + 6*sqr(x539) + 6*sqr(x540) + 6*sqr(x541) + 6*sqr(x542) + 6*sqr(x543
) + 6*sqr(x544) + 6*sqr(x545) + 6*sqr(x546) + 6*sqr(x547) + 6*sqr(x548) +
6*sqr(x549) + 6*sqr(x550) + 6*sqr(x551) + 6*sqr(x552) + 6*sqr(x553) + 6*
sqr(x554) + 6*sqr(x555) + 6*sqr(x556) + 6*sqr(x557) + 6*sqr(x558) + 6*sqr(
x559) + 6*sqr(x560) + 6*sqr(x561) + 6*sqr(x562) + 6*sqr(x563) + 6*sqr(x564
) + 6*sqr(x565) + 6*sqr(x566) + 6*sqr(x567) + 6*sqr(x568) + 6*sqr(x569) +
6*sqr(x570) + 6*sqr(x571) + 6*sqr(x572) + 6*sqr(x573) + 6*sqr(x574) + 6*
sqr(x575) + 6*sqr(x576) + 6*sqr(x577) + 6*sqr(x578) + 6*sqr(x579) + 6*sqr(
x580) + 6*sqr(x581) + 6*sqr(x582) + 6*sqr(x583) + 6*sqr(x584) + 6*sqr(x585
) + 6*sqr(x586) + 6*sqr(x587) + 6*sqr(x588) + 6*sqr(x589) + 6*sqr(x590) +
6*sqr(x591) + 6*sqr(x592) + 6*sqr(x593) + 6*sqr(x594) + 6*sqr(x595) + 6*
sqr(x596) + 6*sqr(x597) + 6*sqr(x598) + 6*sqr(x599) + 6*sqr(x600) + 6*sqr(
x601) + 6*sqr(x602) + 6*sqr(x603) + 6*sqr(x604) + 6*sqr(x605) + 6*sqr(x606
) + 6*sqr(x607) + 6*sqr(x608) + 6*sqr(x609) + 6*sqr(x610) + 6*sqr(x611) +
6*sqr(x612) + 6*sqr(x613) + 6*sqr(x614) + 6*sqr(x615) + 6*sqr(x616) + 6*
sqr(x617) + 6*sqr(x618) + 6*sqr(x619) + 6*sqr(x620) + 6*sqr(x621) + 6*sqr(
x622) + 6*sqr(x623) + 6*sqr(x624) + 6*sqr(x625) + 6*sqr(x626) + 6*sqr(x627
) + 6*sqr(x628) + 6*sqr(x629) + 6*sqr(x630) + 6*sqr(x631) + 6*sqr(x632) +
6*sqr(x633) + 6*sqr(x634) + 6*sqr(x635) + 6*sqr(x636) + 6*sqr(x637) + 6*
sqr(x638) + 6*sqr(x639) + 6*sqr(x640) + 6*sqr(x641) + 6*sqr(x642) + 6*sqr(
x643) + 6*sqr(x644) + 6*sqr(x645) + 6*sqr(x646) + 6*sqr(x647) + 6*sqr(x648
) + 6*sqr(x649) + 6*sqr(x650) + 6*sqr(x651) + 6*sqr(x652) + 6*sqr(x653) +
6*sqr(x654) + 6*sqr(x655) + 6*sqr(x656) + 6*sqr(x657) + 6*sqr(x658) + 6*
sqr(x659) + 6*sqr(x660) + 6*sqr(x661) + 6*sqr(x662) + 6*sqr(x663) + 6*sqr(
x664) + 6*sqr(x665) + 6*sqr(x666) + 6*sqr(x667) + 6*sqr(x668) + 6*sqr(x669
) + 6*sqr(x670) + 6*sqr(x671) + 6*sqr(x672) + 6*sqr(x673) + 6*sqr(x674) +
6*sqr(x675) + 6*sqr(x676) + 6*sqr(x677) + 6*sqr(x678) + 6*sqr(x679) + 6*
sqr(x680) + 6*sqr(x681) + 6*sqr(x682) + 6*sqr(x683) + 6*sqr(x684) + 6*sqr(
x685) + 6*sqr(x686) + 6*sqr(x687) + 6*sqr(x688) + 6*sqr(x689) + 6*sqr(x690
) + 6*sqr(x691) + 6*sqr(x692) + 6*sqr(x693) + 6*sqr(x694) + 6*sqr(x695) +
6*sqr(x696) + 6*sqr(x697) + 6*sqr(x698) + 6*sqr(x699) + 6*sqr(x700) + 6*
sqr(x701) + 6*sqr(x702) + 6*sqr(x703) + 6*sqr(x704) + 6*sqr(x705) + 6*sqr(
x706) + 6*sqr(x707) + 6*sqr(x708) + 6*sqr(x709) + 6*sqr(x710) + 6*sqr(x711
) + 6*sqr(x712) + 6*sqr(x713) + 6*sqr(x714) + 6*sqr(x715) + 6*sqr(x716) +
6*sqr(x717) + 6*sqr(x718) + 6*sqr(x719) + 6*sqr(x720) + 6*sqr(x721) + 6*
sqr(x722) + 6*sqr(x723) + 6*sqr(x724) + 6*sqr(x725) + 6*sqr(x726) + 6*sqr(
x727) + 6*sqr(x728) + 6*sqr(x729) + 6*sqr(x730) + 6*sqr(x731) + 6*sqr(x732
) + 6*sqr(x733) + 6*sqr(x734) + 6*sqr(x735) + 6*sqr(x736) + 6*sqr(x737) +
6*sqr(x738) + 6*sqr(x739) + 6*sqr(x740) + 6*sqr(x741) + 6*sqr(x742) + 6*
sqr(x743) + 6*sqr(x744) + 6*sqr(x745) + 6*sqr(x746) + 6*sqr(x747) + 6*sqr(
x748) + 6*sqr(x749) + 6*sqr(x750) + 6*sqr(x751) + 6*sqr(x752) + 6*sqr(x753
) + 6*sqr(x754) + 6*sqr(x755) + 6*sqr(x756) + 6*sqr(x757) + 6*sqr(x758) +
6*sqr(x759) + 6*sqr(x760) + 6*sqr(x761) + 6*sqr(x762) + 6*sqr(x763) + 6*
sqr(x764) + 6*sqr(x765) + 6*sqr(x766) + 6*sqr(x767) + 6*sqr(x768) + 6*sqr(
x769) + 6*sqr(x770) + 6*sqr(x771) + 6*sqr(x772) + 6*sqr(x773) + 6*sqr(x774
) + 6*sqr(x775) + 6*sqr(x776) + 6*sqr(x777) + 6*sqr(x778) + 6*sqr(x779) +
6*sqr(x780) + 6*sqr(x781) + 6*sqr(x782) + 6*sqr(x783) + 6*sqr(x784) + 6*
sqr(x785) + 6*sqr(x786) + 6*sqr(x787) + 6*sqr(x788) + 6*sqr(x789) + 6*sqr(
x790) + 6*sqr(x791) + 6*sqr(x792) + 6*sqr(x793) + 6*sqr(x794) + 6*sqr(x795
) + 6*sqr(x796) + 6*sqr(x797) + 6*sqr(x798) + 6*sqr(x799) + 6*sqr(x800) +
6*sqr(x801) + 6*sqr(x802) + 6*sqr(x803) + 6*sqr(x804) + 6*sqr(x805) + 6*
sqr(x806) + 6*sqr(x807) + 6*sqr(x808) + 6*sqr(x809) + 6*sqr(x810) + 6*sqr(
x811) + 6*sqr(x812) + 6*sqr(x813) + 6*sqr(x814) + 6*sqr(x815) + 6*sqr(x816
) + 6*sqr(x817) + 6*sqr(x818) + 6*sqr(x819) + 6*sqr(x820) + 6*sqr(x821) +
6*sqr(x822) + 6*sqr(x823) + 6*sqr(x824) + 6*sqr(x825) + 6*sqr(x826) + 6*
sqr(x827) + 6*sqr(x828) + 6*sqr(x829) + 6*sqr(x830) + 6*sqr(x831) + 6*sqr(
x832) + 6*sqr(x833) + 6*sqr(x834) + 6*sqr(x835) + 6*sqr(x836) + 6*sqr(x837
) + 6*sqr(x838) + 6*sqr(x839) + 6*sqr(x840) + 6*sqr(x841) + 6*sqr(x842) +
6*sqr(x843) + 6*sqr(x844) + 6*sqr(x845) + 6*sqr(x846) + 6*sqr(x847) + 6*
sqr(x848) + 6*sqr(x849) + 6*sqr(x850) + 6*sqr(x851) + 6*sqr(x852) + 6*sqr(
x853) + 6*sqr(x854) + 6*sqr(x855) + 6*sqr(x856) + 6*sqr(x857) + 6*sqr(x858
) + 6*sqr(x859) + 6*sqr(x860) + 6*sqr(x861) + 6*sqr(x862) + 6*sqr(x863) +
6*sqr(x864) + 6*sqr(x865) + 6*sqr(x866) + 6*sqr(x867) + 6*sqr(x868) + 6*
sqr(x869) + 6*sqr(x870) + 6*sqr(x871) + 6*sqr(x872) + 6*sqr(x873) + 6*sqr(
x874) + 6*sqr(x875) + 6*sqr(x876) + 6*sqr(x877) + 6*sqr(x878) + 6*sqr(x879
) + 6*sqr(x880) + 6*sqr(x881) + 6*sqr(x882) + 6*sqr(x883) + 6*sqr(x884) +
6*sqr(x885) + 6*sqr(x886) + 6*sqr(x887) + 6*sqr(x888) + 6*sqr(x889) + 6*
sqr(x890) + 6*sqr(x891) + 6*sqr(x892) + 6*sqr(x893) + 6*sqr(x894) + 6*sqr(
x895) + 6*sqr(x896) + 6*sqr(x897) + 6*sqr(x898) + 6*sqr(x899) + 6*sqr(x900
) + 6*sqr(x901) + 6*sqr(x902) + 6*sqr(x903) + 6*sqr(x904) + 6*sqr(x905) +
6*sqr(x906) + 6*sqr(x907) + 6*sqr(x908) + 6*sqr(x909) + 6*sqr(x910) + 6*
sqr(x911) + 6*sqr(x912) + 6*sqr(x913) + 6*sqr(x914) + 6*sqr(x915) + 6*sqr(
x916) + 6*sqr(x917) + 6*sqr(x918) + 6*sqr(x919) + 6*sqr(x920) + 6*sqr(x921
) + 6*sqr(x922) + 6*sqr(x923) + 6*sqr(x924) + 6*sqr(x925) + 6*sqr(x926) +
6*sqr(x927) + 6*sqr(x928) + 6*sqr(x929) + 6*sqr(x930) + 6*sqr(x931) + 6*
sqr(x932) + 6*sqr(x933) + 6*sqr(x934) + 6*sqr(x935) + 6*sqr(x936) + 6*sqr(
x937) + 6*sqr(x938) + 6*sqr(x939) + 6*sqr(x940) + 6*sqr(x941) + 6*sqr(x942
) + 6*sqr(x943) + 6*sqr(x944) + 6*sqr(x945) + 6*sqr(x946) + 6*sqr(x947) +
6*sqr(x948) + 6*sqr(x949) + 6*sqr(x950) + 6*sqr(x951) + 6*sqr(x952) + 6*
sqr(x953) + 6*sqr(x954) + 6*sqr(x955) + 6*sqr(x956) + 6*sqr(x957) + 6*sqr(
x958) + 6*sqr(x959) + 6*sqr(x960) + 6*sqr(x961) + 6*sqr(x962) + 6*sqr(x963
) + 6*sqr(x964) + 6*sqr(x965) + 6*sqr(x966) + 6*sqr(x967) + 6*sqr(x968) +
6*sqr(x969) + 6*sqr(x970) + 6*sqr(x971) + 6*sqr(x972) + 6*sqr(x973) + 6*
sqr(x974) + 6*sqr(x975) + 6*sqr(x976) + 6*sqr(x977) + 6*sqr(x978) + 6*sqr(
x979) + 6*sqr(x980) + 6*sqr(x981) + 6*sqr(x982) + 6*sqr(x983) + 6*sqr(x984
) + 6*sqr(x985) + 6*sqr(x986) + 6*sqr(x987) + 6*sqr(x988) + 6*sqr(x989) +
6*sqr(x990) + 6*sqr(x991) + 6*sqr(x992) + 6*sqr(x993) + 6*sqr(x994) + 6*
sqr(x995) + 6*sqr(x996) + 6*sqr(x997) + 6*sqr(x998) + 6*sqr(x999) + 6*sqr(
x1000) - 3*x1 + x2 + x499 - 3*x500 + 4*x501 + 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 + x503*x505 - 4*x503*x504 + x504*x506 - 4*x504*x505 + x505*x507 - 4*
x505*x506 + x506*x508 - 4*x506*x507 + x507*x509 - 4*x507*x508 + x508*x510
- 4*x508*x509 + x509*x511 - 4*x509*x510 + x510*x512 - 4*x510*x511 + x511*
x513 - 4*x511*x512 + x512*x514 - 4*x512*x513 + x513*x515 - 4*x513*x514 +
x514*x516 - 4*x514*x515 + x515*x517 - 4*x515*x516 + x516*x518 - 4*x516*
x517 + x517*x519 - 4*x517*x518 + x518*x520 - 4*x518*x519 + x519*x521 - 4*
x519*x520 + x520*x522 - 4*x520*x521 + x521*x523 - 4*x521*x522 + x522*x524
- 4*x522*x523 + x523*x525 - 4*x523*x524 + x524*x526 - 4*x524*x525 + x525*
x527 - 4*x525*x526 + x526*x528 - 4*x526*x527 + x527*x529 - 4*x527*x528 +
x528*x530 - 4*x528*x529 + x529*x531 - 4*x529*x530 + x530*x532 - 4*x530*
x531 + x531*x533 - 4*x531*x532 + x532*x534 - 4*x532*x533 + x533*x535 - 4*
x533*x534 + x534*x536 - 4*x534*x535 + x535*x537 - 4*x535*x536 + x536*x538
- 4*x536*x537 + x537*x539 - 4*x537*x538 + x538*x540 - 4*x538*x539 + x539*
x541 - 4*x539*x540 + x540*x542 - 4*x540*x541 + x541*x543 - 4*x541*x542 +
x542*x544 - 4*x542*x543 + x543*x545 - 4*x543*x544 + x544*x546 - 4*x544*
x545 + x545*x547 - 4*x545*x546 + x546*x548 - 4*x546*x547 + x547*x549 - 4*
x547*x548 + x548*x550 - 4*x548*x549 + x549*x551 - 4*x549*x550 + x550*x552
- 4*x550*x551 + x551*x553 - 4*x551*x552 + x552*x554 - 4*x552*x553 + x553*
x555 - 4*x553*x554 + x554*x556 - 4*x554*x555 + x555*x557 - 4*x555*x556 +
x556*x558 - 4*x556*x557 + x557*x559 - 4*x557*x558 + x558*x560 - 4*x558*
x559 + x559*x561 - 4*x559*x560 + x560*x562 - 4*x560*x561 + x561*x563 - 4*
x561*x562 + x562*x564 - 4*x562*x563 + x563*x565 - 4*x563*x564 + x564*x566
- 4*x564*x565 + x565*x567 - 4*x565*x566 + x566*x568 - 4*x566*x567 + x567*
x569 - 4*x567*x568 + x568*x570 - 4*x568*x569 + x569*x571 - 4*x569*x570 +
x570*x572 - 4*x570*x571 + x571*x573 - 4*x571*x572 + x572*x574 - 4*x572*
x573 + x573*x575 - 4*x573*x574 + x574*x576 - 4*x574*x575 + x575*x577 - 4*
x575*x576 + x576*x578 - 4*x576*x577 + x577*x579 - 4*x577*x578 + x578*x580
- 4*x578*x579 + x579*x581 - 4*x579*x580 + x580*x582 - 4*x580*x581 + x581*
x583 - 4*x581*x582 + x582*x584 - 4*x582*x583 + x583*x585 - 4*x583*x584 +
x584*x586 - 4*x584*x585 + x585*x587 - 4*x585*x586 + x586*x588 - 4*x586*
x587 + x587*x589 - 4*x587*x588 + x588*x590 - 4*x588*x589 + x589*x591 - 4*
x589*x590 + x590*x592 - 4*x590*x591 + x591*x593 - 4*x591*x592 + x592*x594
- 4*x592*x593 + x593*x595 - 4*x593*x594 + x594*x596 - 4*x594*x595 + x595*
x597 - 4*x595*x596 + x596*x598 - 4*x596*x597 + x597*x599 - 4*x597*x598 +
x598*x600 - 4*x598*x599 + x599*x601 - 4*x599*x600 + x600*x602 - 4*x600*
x601 + x601*x603 - 4*x601*x602 + x602*x604 - 4*x602*x603 + x603*x605 - 4*
x603*x604 + x604*x606 - 4*x604*x605 + x605*x607 - 4*x605*x606 + x606*x608
- 4*x606*x607 + x607*x609 - 4*x607*x608 + x608*x610 - 4*x608*x609 + x609*
x611 - 4*x609*x610 + x610*x612 - 4*x610*x611 + x611*x613 - 4*x611*x612 +
x612*x614 - 4*x612*x613 + x613*x615 - 4*x613*x614 + x614*x616 - 4*x614*
x615 + x615*x617 - 4*x615*x616 + x616*x618 - 4*x616*x617 + x617*x619 - 4*
x617*x618 + x618*x620 - 4*x618*x619 + x619*x621 - 4*x619*x620 + x620*x622
- 4*x620*x621 + x621*x623 - 4*x621*x622 + x622*x624 - 4*x622*x623 + x623*
x625 - 4*x623*x624 + x624*x626 - 4*x624*x625 + x625*x627 - 4*x625*x626 +
x626*x628 - 4*x626*x627 + x627*x629 - 4*x627*x628 + x628*x630 - 4*x628*
x629 + x629*x631 - 4*x629*x630 + x630*x632 - 4*x630*x631 + x631*x633 - 4*
x631*x632 + x632*x634 - 4*x632*x633 + x633*x635 - 4*x633*x634 + x634*x636
- 4*x634*x635 + x635*x637 - 4*x635*x636 + x636*x638 - 4*x636*x637 + x637*
x639 - 4*x637*x638 + x638*x640 - 4*x638*x639 + x639*x641 - 4*x639*x640 +
x640*x642 - 4*x640*x641 + x641*x643 - 4*x641*x642 + x642*x644 - 4*x642*
x643 + x643*x645 - 4*x643*x644 + x644*x646 - 4*x644*x645 + x645*x647 - 4*
x645*x646 + x646*x648 - 4*x646*x647 + x647*x649 - 4*x647*x648 + x648*x650
- 4*x648*x649 + x649*x651 - 4*x649*x650 + x650*x652 - 4*x650*x651 + x651*
x653 - 4*x651*x652 + x652*x654 - 4*x652*x653 + x653*x655 - 4*x653*x654 +
x654*x656 - 4*x654*x655 + x655*x657 - 4*x655*x656 + x656*x658 - 4*x656*
x657 + x657*x659 - 4*x657*x658 + x658*x660 - 4*x658*x659 + x659*x661 - 4*
x659*x660 + x660*x662 - 4*x660*x661 + x661*x663 - 4*x661*x662 + x662*x664
- 4*x662*x663 + x663*x665 - 4*x663*x664 + x664*x666 - 4*x664*x665 + x665*
x667 - 4*x665*x666 + x666*x668 - 4*x666*x667 + x667*x669 - 4*x667*x668 +
x668*x670 - 4*x668*x669 + x669*x671 - 4*x669*x670 + x670*x672 - 4*x670*
x671 + x671*x673 - 4*x671*x672 + x672*x674 - 4*x672*x673 + x673*x675 - 4*
x673*x674 + x674*x676 - 4*x674*x675 + x675*x677 - 4*x675*x676 + x676*x678
- 4*x676*x677 + x677*x679 - 4*x677*x678 + x678*x680 - 4*x678*x679 + x679*
x681 - 4*x679*x680 + x680*x682 - 4*x680*x681 + x681*x683 - 4*x681*x682 +
x682*x684 - 4*x682*x683 + x683*x685 - 4*x683*x684 + x684*x686 - 4*x684*
x685 + x685*x687 - 4*x685*x686 + x686*x688 - 4*x686*x687 + x687*x689 - 4*
x687*x688 + x688*x690 - 4*x688*x689 + x689*x691 - 4*x689*x690 + x690*x692
- 4*x690*x691 + x691*x693 - 4*x691*x692 + x692*x694 - 4*x692*x693 + x693*
x695 - 4*x693*x694 + x694*x696 - 4*x694*x695 + x695*x697 - 4*x695*x696 +
x696*x698 - 4*x696*x697 + x697*x699 - 4*x697*x698 + x698*x700 - 4*x698*
x699 + x699*x701 - 4*x699*x700 + x700*x702 - 4*x700*x701 + x701*x703 - 4*
x701*x702 + x702*x704 - 4*x702*x703 + x703*x705 - 4*x703*x704 + x704*x706
- 4*x704*x705 + x705*x707 - 4*x705*x706 + x706*x708 - 4*x706*x707 + x707*
x709 - 4*x707*x708 + x708*x710 - 4*x708*x709 + x709*x711 - 4*x709*x710 +
x710*x712 - 4*x710*x711 + x711*x713 - 4*x711*x712 + x712*x714 - 4*x712*
x713 + x713*x715 - 4*x713*x714 + x714*x716 - 4*x714*x715 + x715*x717 - 4*
x715*x716 + x716*x718 - 4*x716*x717 + x717*x719 - 4*x717*x718 + x718*x720
- 4*x718*x719 + x719*x721 - 4*x719*x720 + x720*x722 - 4*x720*x721 + x721*
x723 - 4*x721*x722 + x722*x724 - 4*x722*x723 + x723*x725 - 4*x723*x724 +
x724*x726 - 4*x724*x725 + x725*x727 - 4*x725*x726 + x726*x728 - 4*x726*
x727 + x727*x729 - 4*x727*x728 + x728*x730 - 4*x728*x729 + x729*x731 - 4*
x729*x730 + x730*x732 - 4*x730*x731 + x731*x733 - 4*x731*x732 + x732*x734
- 4*x732*x733 + x733*x735 - 4*x733*x734 + x734*x736 - 4*x734*x735 + x735*
x737 - 4*x735*x736 + x736*x738 - 4*x736*x737 + x737*x739 - 4*x737*x738 +
x738*x740 - 4*x738*x739 + x739*x741 - 4*x739*x740 + x740*x742 - 4*x740*
x741 + x741*x743 - 4*x741*x742 + x742*x744 - 4*x742*x743 + x743*x745 - 4*
x743*x744 + x744*x746 - 4*x744*x745 + x745*x747 - 4*x745*x746 + x746*x748
- 4*x746*x747 + x747*x749 - 4*x747*x748 + x748*x750 - 4*x748*x749 + x749*
x751 - 4*x749*x750 + x750*x752 - 4*x750*x751 + x751*x753 - 4*x751*x752 +
x752*x754 - 4*x752*x753 + x753*x755 - 4*x753*x754 + x754*x756 - 4*x754*
x755 + x755*x757 - 4*x755*x756 + x756*x758 - 4*x756*x757 + x757*x759 - 4*
x757*x758 + x758*x760 - 4*x758*x759 + x759*x761 - 4*x759*x760 + x760*x762
- 4*x760*x761 + x761*x763 - 4*x761*x762 + x762*x764 - 4*x762*x763 + x763*
x765 - 4*x763*x764 + x764*x766 - 4*x764*x765 + x765*x767 - 4*x765*x766 +
x766*x768 - 4*x766*x767 + x767*x769 - 4*x767*x768 + x768*x770 - 4*x768*
x769 + x769*x771 - 4*x769*x770 + x770*x772 - 4*x770*x771 + x771*x773 - 4*
x771*x772 + x772*x774 - 4*x772*x773 + x773*x775 - 4*x773*x774 + x774*x776
- 4*x774*x775 + x775*x777 - 4*x775*x776 + x776*x778 - 4*x776*x777 + x777*
x779 - 4*x777*x778 + x778*x780 - 4*x778*x779 + x779*x781 - 4*x779*x780 +
x780*x782 - 4*x780*x781 + x781*x783 - 4*x781*x782 + x782*x784 - 4*x782*
x783 + x783*x785 - 4*x783*x784 + x784*x786 - 4*x784*x785 + x785*x787 - 4*
x785*x786 + x786*x788 - 4*x786*x787 + x787*x789 - 4*x787*x788 + x788*x790
- 4*x788*x789 + x789*x791 - 4*x789*x790 + x790*x792 - 4*x790*x791 + x791*
x793 - 4*x791*x792 + x792*x794 - 4*x792*x793 + x793*x795 - 4*x793*x794 +
x794*x796 - 4*x794*x795 + x795*x797 - 4*x795*x796 + x796*x798 - 4*x796*
x797 + x797*x799 - 4*x797*x798 + x798*x800 - 4*x798*x799 + x799*x801 - 4*
x799*x800 + x800*x802 - 4*x800*x801 + x801*x803 - 4*x801*x802 + x802*x804
- 4*x802*x803 + x803*x805 - 4*x803*x804 + x804*x806 - 4*x804*x805 + x805*
x807 - 4*x805*x806 + x806*x808 - 4*x806*x807 + x807*x809 - 4*x807*x808 +
x808*x810 - 4*x808*x809 + x809*x811 - 4*x809*x810 + x810*x812 - 4*x810*
x811 + x811*x813 - 4*x811*x812 + x812*x814 - 4*x812*x813 + x813*x815 - 4*
x813*x814 + x814*x816 - 4*x814*x815 + x815*x817 - 4*x815*x816 + x816*x818
- 4*x816*x817 + x817*x819 - 4*x817*x818 + x818*x820 - 4*x818*x819 + x819*
x821 - 4*x819*x820 + x820*x822 - 4*x820*x821 + x821*x823 - 4*x821*x822 +
x822*x824 - 4*x822*x823 + x823*x825 - 4*x823*x824 + x824*x826 - 4*x824*
x825 + x825*x827 - 4*x825*x826 + x826*x828 - 4*x826*x827 + x827*x829 - 4*
x827*x828 + x828*x830 - 4*x828*x829 + x829*x831 - 4*x829*x830 + x830*x832
- 4*x830*x831 + x831*x833 - 4*x831*x832 + x832*x834 - 4*x832*x833 + x833*
x835 - 4*x833*x834 + x834*x836 - 4*x834*x835 + x835*x837 - 4*x835*x836 +
x836*x838 - 4*x836*x837 + x837*x839 - 4*x837*x838 + x838*x840 - 4*x838*
x839 + x839*x841 - 4*x839*x840 + x840*x842 - 4*x840*x841 + x841*x843 - 4*
x841*x842 + x842*x844 - 4*x842*x843 + x843*x845 - 4*x843*x844 + x844*x846
- 4*x844*x845 + x845*x847 - 4*x845*x846 + x846*x848 - 4*x846*x847 + x847*
x849 - 4*x847*x848 + x848*x850 - 4*x848*x849 + x849*x851 - 4*x849*x850 +
x850*x852 - 4*x850*x851 + x851*x853 - 4*x851*x852 + x852*x854 - 4*x852*
x853 + x853*x855 - 4*x853*x854 + x854*x856 - 4*x854*x855 + x855*x857 - 4*
x855*x856 + x856*x858 - 4*x856*x857 + x857*x859 - 4*x857*x858 + x858*x860
- 4*x858*x859 + x859*x861 - 4*x859*x860 + x860*x862 - 4*x860*x861 + x861*
x863 - 4*x861*x862 + x862*x864 - 4*x862*x863 + x863*x865 - 4*x863*x864 +
x864*x866 - 4*x864*x865 + x865*x867 - 4*x865*x866 + x866*x868 - 4*x866*
x867 + x867*x869 - 4*x867*x868 + x868*x870 - 4*x868*x869 + x869*x871 - 4*
x869*x870 + x870*x872 - 4*x870*x871 + x871*x873 - 4*x871*x872 + x872*x874
- 4*x872*x873 + x873*x875 - 4*x873*x874 + x874*x876 - 4*x874*x875 + x875*
x877 - 4*x875*x876 + x876*x878 - 4*x876*x877 + x877*x879 - 4*x877*x878 +
x878*x880 - 4*x878*x879 + x879*x881 - 4*x879*x880 + x880*x882 - 4*x880*
x881 + x881*x883 - 4*x881*x882 + x882*x884 - 4*x882*x883 + x883*x885 - 4*
x883*x884 + x884*x886 - 4*x884*x885 + x885*x887 - 4*x885*x886 + x886*x888
- 4*x886*x887 + x887*x889 - 4*x887*x888 + x888*x890 - 4*x888*x889 + x889*
x891 - 4*x889*x890 + x890*x892 - 4*x890*x891 + x891*x893 - 4*x891*x892 +
x892*x894 - 4*x892*x893 + x893*x895 - 4*x893*x894 + x894*x896 - 4*x894*
x895 + x895*x897 - 4*x895*x896 + x896*x898 - 4*x896*x897 + x897*x899 - 4*
x897*x898 + x898*x900 - 4*x898*x899 + x899*x901 - 4*x899*x900 + x900*x902
- 4*x900*x901 + x901*x903 - 4*x901*x902 + x902*x904 - 4*x902*x903 + x903*
x905 - 4*x903*x904 + x904*x906 - 4*x904*x905 + x905*x907 - 4*x905*x906 +
x906*x908 - 4*x906*x907 + x907*x909 - 4*x907*x908 + x908*x910 - 4*x908*
x909 + x909*x911 - 4*x909*x910 + x910*x912 - 4*x910*x911 + x911*x913 - 4*
x911*x912 + x912*x914 - 4*x912*x913 + x913*x915 - 4*x913*x914 + x914*x916
- 4*x914*x915 + x915*x917 - 4*x915*x916 + x916*x918 - 4*x916*x917 + x917*
x919 - 4*x917*x918 + x918*x920 - 4*x918*x919 + x919*x921 - 4*x919*x920 +
x920*x922 - 4*x920*x921 + x921*x923 - 4*x921*x922 + x922*x924 - 4*x922*
x923 + x923*x925 - 4*x923*x924 + x924*x926 - 4*x924*x925 + x925*x927 - 4*
x925*x926 + x926*x928 - 4*x926*x927 + x927*x929 - 4*x927*x928 + x928*x930
- 4*x928*x929 + x929*x931 - 4*x929*x930 + x930*x932 - 4*x930*x931 + x931*
x933 - 4*x931*x932 + x932*x934 - 4*x932*x933 + x933*x935 - 4*x933*x934 +
x934*x936 - 4*x934*x935 + x935*x937 - 4*x935*x936 + x936*x938 - 4*x936*
x937 + x937*x939 - 4*x937*x938 + x938*x940 - 4*x938*x939 + x939*x941 - 4*
x939*x940 + x940*x942 - 4*x940*x941 + x941*x943 - 4*x941*x942 + x942*x944
- 4*x942*x943 + x943*x945 - 4*x943*x944 + x944*x946 - 4*x944*x945 + x945*
x947 - 4*x945*x946 + x946*x948 - 4*x946*x947 + x947*x949 - 4*x947*x948 +
x948*x950 - 4*x948*x949 + x949*x951 - 4*x949*x950 + x950*x952 - 4*x950*
x951 + x951*x953 - 4*x951*x952 + x952*x954 - 4*x952*x953 + x953*x955 - 4*
x953*x954 + x954*x956 - 4*x954*x955 + x955*x957 - 4*x955*x956 + x956*x958
- 4*x956*x957 + x957*x959 - 4*x957*x958 + x958*x960 - 4*x958*x959 + x959*
x961 - 4*x959*x960 + x960*x962 - 4*x960*x961 + x961*x963 - 4*x961*x962 +
x962*x964 - 4*x962*x963 + x963*x965 - 4*x963*x964 + x964*x966 - 4*x964*
x965 + x965*x967 - 4*x965*x966 + x966*x968 - 4*x966*x967 + x967*x969 - 4*
x967*x968 + x968*x970 - 4*x968*x969 + x969*x971 - 4*x969*x970 + x970*x972
- 4*x970*x971 + x971*x973 - 4*x971*x972 + x972*x974 - 4*x972*x973 + x973*
x975 - 4*x973*x974 + x974*x976 - 4*x974*x975 + x975*x977 - 4*x975*x976 +
x976*x978 - 4*x976*x977 + x977*x979 - 4*x977*x978 + x978*x980 - 4*x978*
x979 + x979*x981 - 4*x979*x980 + x980*x982 - 4*x980*x981 + x981*x983 - 4*
x981*x982 + x982*x984 - 4*x982*x983 + x983*x985 - 4*x983*x984 + x984*x986
- 4*x984*x985 + x985*x987 - 4*x985*x986 + x986*x988 - 4*x986*x987 + x987*
x989 - 4*x987*x988 + x988*x990 - 4*x988*x989 + x989*x991 - 4*x989*x990 +
x990*x992 - 4*x990*x991 + x991*x993 - 4*x991*x992 + x992*x994 - 4*x992*
x993 + x993*x995 - 4*x993*x994 + x994*x996 - 4*x994*x995 + x995*x997 - 4*
x995*x996 + x996*x998 - 4*x996*x997 + x997*x999 - 4*x997*x998 + x998*x1000
- 4*x998*x999 - 4*x999*x1000) + objvar =E= 0;
* set non default bounds
* set non default levels
* set non default marginals
Model m / all /;
m.limrow=0; m.limcol=0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
Solve m using NLP minimizing objvar;