QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_3825

Formats gms lp mod qplib
Problem type probtype LMQ
Solution point objective value solobjvalue 112.07148300 (gdx, sol)
Solution point infeasibility solinfeasibility 5.2582e-11
Donor donor Stefan Vigerske
#Variables nvars 1080
#Binary Variables nbinvars 60
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 1020
#Nonlinear Variables nnlvars 1020
#Nonlinear Binary Variables nnlbinvars 0
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype linear
Objective curvature objcurvature linear
#Negative eigenvalues in objective matrix nobjquadnegev  
#Positive eigenvalues in objective matrix nobjquadposev  
#Nonzeros in Objective nobjnz 60
#Nonlinear Nonzeros in Objective nobjnlnz 0
#Quadratic Terms in Objective nobjquadnz 0
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 377
#Linear Constraints nlincons 317
#Quadratic Constraints nquadcons 60
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature indefinite
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 60
#Nonzeros in Jacobian njacobiannz 4020
#Nonlinear Nonzeros in Jacobian njacobiannlnz 1020
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 1920
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 60
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 17
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 17
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 17.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3825.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        378      257       60       61        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*       1081     1021       60        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       4081     3061     1020        0
*
*  Solve m using MIQCP minimizing objvar;


Variables  objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,x62,x63,x64,x65,x66,x67,x68,x69
          ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86
          ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102
          ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115
          ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128
          ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141
          ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154
          ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167
          ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180
          ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193
          ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206
          ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219
          ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232
          ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245
          ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258
          ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271
          ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284
          ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297
          ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310
          ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323
          ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336
          ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349
          ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362
          ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375
          ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388
          ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401
          ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414
          ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427
          ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440
          ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453
          ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466
          ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479
          ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492
          ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505
          ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518
          ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531
          ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544
          ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557
          ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570
          ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583
          ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596
          ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609
          ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622
          ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635
          ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648
          ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661
          ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674
          ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687
          ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700
          ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713
          ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726
          ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739
          ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752
          ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765
          ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778
          ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791
          ,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804
          ,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817
          ,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830
          ,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843
          ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856
          ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869
          ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882
          ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895
          ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908
          ,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921
          ,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934
          ,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947
          ,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960
          ,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973
          ,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986
          ,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999
          ,x1000,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010
          ,x1011,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021
          ,x1022,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032
          ,x1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043
          ,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054
          ,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065
          ,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076
          ,x1077,x1078,x1079,x1080,x1081;

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

Binary Variables  b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61;

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;


e1..  - objvar + 1.152432865*b2 + 3.011993167*b3 + 2.960375281*b4
      + 1.736309608*b5 + 1.152432865*b6 + 2.363195782*b7 + 2.05937716*b8
      + 3.985025335*b9 + 3.789003172*b10 + 2.363195782*b11 + 3.921012982*b12
      + 3.156380512*b13 + 2.415793864*b14 + 3.011993167*b15 + 2.05937716*b16
      + 1.163363584*b17 + 2.330956801*b18 + 1.29144937*b19 + 3.761674897*b20
      + 2.960375281*b21 + 2.330956801*b22 + 1.396790695*b23 + 3.628673512*b24
      + 1.993672117*b25 + 3.921012982*b26 + 2.05780087*b27 + 2.23064791*b28
      + 3.156380512*b29 + 1.396790695*b30 + 3.35525266*b31 + 1.976382727*b32
      + 1.29144937*b33 + 1.840522939*b34 + 3.337820236*b35 + 3.628673512*b36
      + 1.155800743*b37 + 1.736309608*b38 + 1.840522939*b39 + 1.155800743*b40
      + 3.496770256*b41 + 2.415793864*b42 + 2.05780087*b43 + 2.059284631*b44
      + 3.35525266*b45 + 2.059284631*b46 + 2.534210494*b47 + 3.985025335*b48
      + 1.163363584*b49 + 2.23064791*b50 + 3.496770256*b51 + 1.025018077*b52
      + 3.789003172*b53 + 1.993672117*b54 + 3.337820236*b55 + 2.534210494*b56
      + 1.025018077*b57 + 1.757500525*b58 + 3.761674897*b59 + 1.976382727*b60
      + 1.757500525*b61 =E= 0;

e2..  - x62 - x63 - x64 - x65 + x66 + x67 + x68 + x69 =E= -222;

e3..  - x70 - x71 - x72 - x73 + x74 + x75 + x76 + x77 =E= 25;

e4..  - x78 - x79 - x80 - x81 + x82 + x83 + x84 + x85 =E= 12;

e5..  - x86 - x87 - x88 - x89 + x90 + x91 + x92 + x93 =E= 21;

e6..  - x94 - x95 - x96 - x97 + x98 + x99 + x100 + x101 =E= 25;

e7..  - x102 - x103 - x104 - x105 + x106 + x107 + x108 + x109 =E= 13;

e8..  - x110 - x111 - x112 - x113 + x114 + x115 + x116 + x117 =E= 17;

e9..  - x118 - x119 - x120 - x121 + x122 + x123 + x124 + x125 =E= 11;

e10..  - x126 - x127 - x128 - x129 + x130 + x131 + x132 + x133 =E= 22;

e11..  - x134 - x135 - x136 - x137 + x138 + x139 + x140 + x141 =E= 15;

e12..  - x142 - x143 - x144 - x145 + x146 + x147 + x148 + x149 =E= 16;

e13..  - x150 - x151 - x152 - x153 + x154 + x155 + x156 + x157 =E= 8;

e14..  - x158 - x159 - x160 - x161 + x162 + x163 + x164 + x165 =E= 13;

e15..  - x166 - x167 - x168 - x169 + x170 + x171 + x172 + x173 =E= 21;

e16..  - x174 - x175 - x176 - x177 + x178 + x179 + x180 + x181 =E= 22;

e17..  - x182 - x183 - x184 - x185 + x186 + x187 + x188 + x189 =E= 16;

e18..    x62 - x66 - x190 - x191 - x192 - x193 + x194 + x195 + x196 + x197
       =E= 19;

e19..    x70 - x74 - x198 - x199 - x200 - x201 + x202 + x203 + x204 + x205
       =E= -215;

e20..    x78 - x82 - x206 - x207 - x208 - x209 + x210 + x211 + x212 + x213
       =E= 15;

e21..    x86 - x90 - x214 - x215 - x216 - x217 + x218 + x219 + x220 + x221
       =E= 16;

e22..    x94 - x98 - x222 - x223 - x224 - x225 + x226 + x227 + x228 + x229
       =E= 14;

e23..    x102 - x106 - x230 - x231 - x232 - x233 + x234 + x235 + x236 + x237
       =E= 17;

e24..    x110 - x114 - x238 - x239 - x240 - x241 + x242 + x243 + x244 + x245
       =E= 14;

e25..    x118 - x122 - x246 - x247 - x248 - x249 + x250 + x251 + x252 + x253
       =E= 5;

e26..    x126 - x130 - x254 - x255 - x256 - x257 + x258 + x259 + x260 + x261
       =E= 10;

e27..    x134 - x138 - x262 - x263 - x264 - x265 + x266 + x267 + x268 + x269
       =E= 5;

e28..    x142 - x146 - x270 - x271 - x272 - x273 + x274 + x275 + x276 + x277
       =E= 11;

e29..    x150 - x154 - x278 - x279 - x280 - x281 + x282 + x283 + x284 + x285
       =E= 13;

e30..    x158 - x162 - x286 - x287 - x288 - x289 + x290 + x291 + x292 + x293
       =E= 19;

e31..    x166 - x170 - x294 - x295 - x296 - x297 + x298 + x299 + x300 + x301
       =E= 9;

e32..    x174 - x178 - x302 - x303 - x304 - x305 + x306 + x307 + x308 + x309
       =E= 8;

e33..    x182 - x186 - x310 - x311 - x312 - x313 + x314 + x315 + x316 + x317
       =E= 10;

e34..    x190 - x194 - x318 - x319 - x320 + x321 + x322 + x323 =E= 9;

e35..    x198 - x202 - x324 - x325 - x326 + x327 + x328 + x329 =E= 8;

e36..    x206 - x210 - x330 - x331 - x332 + x333 + x334 + x335 =E= -227;

e37..    x214 - x218 - x336 - x337 - x338 + x339 + x340 + x341 =E= 16;

e38..    x222 - x226 - x342 - x343 - x344 + x345 + x346 + x347 =E= 23;

e39..    x230 - x234 - x348 - x349 - x350 + x351 + x352 + x353 =E= 6;

e40..    x238 - x242 - x354 - x355 - x356 + x357 + x358 + x359 =E= 11;

e41..    x246 - x250 - x360 - x361 - x362 + x363 + x364 + x365 =E= 11;

e42..    x254 - x258 - x366 - x367 - x368 + x369 + x370 + x371 =E= 11;

e43..    x262 - x266 - x372 - x373 - x374 + x375 + x376 + x377 =E= 21;

e44..    x270 - x274 - x378 - x379 - x380 + x381 + x382 + x383 =E= 11;

e45..    x278 - x282 - x384 - x385 - x386 + x387 + x388 + x389 =E= 9;

e46..    x286 - x290 - x390 - x391 - x392 + x393 + x394 + x395 =E= 15;

e47..    x294 - x298 - x396 - x397 - x398 + x399 + x400 + x401 =E= 13;

e48..    x302 - x306 - x402 - x403 - x404 + x405 + x406 + x407 =E= 9;

e49..    x310 - x314 - x408 - x409 - x410 + x411 + x412 + x413 =E= 13;

e50..    x63 - x67 + x191 - x195 - x414 + x415 =E= 19;

e51..    x71 - x75 + x199 - x203 - x416 + x417 =E= 13;

e52..    x79 - x83 + x207 - x211 - x418 + x419 =E= 14;

e53..    x87 - x91 + x215 - x219 - x420 + x421 =E= -256;

e54..    x95 - x99 + x223 - x227 - x422 + x423 =E= 12;

e55..    x103 - x107 + x231 - x235 - x424 + x425 =E= 18;

e56..    x111 - x115 + x239 - x243 - x426 + x427 =E= 12;

e57..    x119 - x123 + x247 - x251 - x428 + x429 =E= 12;

e58..    x127 - x131 + x255 - x259 - x430 + x431 =E= 20;

e59..    x135 - x139 + x263 - x267 - x432 + x433 =E= 9;

e60..    x143 - x147 + x271 - x275 - x434 + x435 =E= 22;

e61..    x151 - x155 + x279 - x283 - x436 + x437 =E= 6;

e62..    x159 - x163 + x287 - x291 - x438 + x439 =E= 24;

e63..    x167 - x171 + x295 - x299 - x440 + x441 =E= 16;

e64..    x175 - x179 + x303 - x307 - x442 + x443 =E= 20;

e65..    x183 - x187 + x311 - x315 - x444 + x445 =E= 18;

e66..  - x446 - x447 - x448 + x449 + x450 + x451 =E= 18;

e67..  - x452 - x453 - x454 + x455 + x456 + x457 =E= 5;

e68..  - x458 - x459 - x460 + x461 + x462 + x463 =E= 17;

e69..  - x464 - x465 - x466 + x467 + x468 + x469 =E= 24;

e70..  - x470 - x471 - x472 + x473 + x474 + x475 =E= -259;

e71..  - x476 - x477 - x478 + x479 + x480 + x481 =E= 21;

e72..  - x482 - x483 - x484 + x485 + x486 + x487 =E= 7;

e73..  - x488 - x489 - x490 + x491 + x492 + x493 =E= 23;

e74..  - x494 - x495 - x496 + x497 + x498 + x499 =E= 10;

e75..  - x500 - x501 - x502 + x503 + x504 + x505 =E= 12;

e76..  - x506 - x507 - x508 + x509 + x510 + x511 =E= 20;

e77..  - x512 - x513 - x514 + x515 + x516 + x517 =E= 19;

e78..  - x518 - x519 - x520 + x521 + x522 + x523 =E= 13;

e79..  - x524 - x525 - x526 + x527 + x528 + x529 =E= 7;

e80..  - x530 - x531 - x532 + x533 + x534 + x535 =E= 19;

e81..  - x536 - x537 - x538 + x539 + x540 + x541 =E= 12;

e82..    x64 - x68 + x446 - x449 - x542 - x543 - x544 + x545 + x546 + x547
       =E= 10;

e83..    x72 - x76 + x452 - x455 - x548 - x549 - x550 + x551 + x552 + x553
       =E= 8;

e84..    x80 - x84 + x458 - x461 - x554 - x555 - x556 + x557 + x558 + x559
       =E= 23;

e85..    x88 - x92 + x464 - x467 - x560 - x561 - x562 + x563 + x564 + x565
       =E= 24;

e86..    x96 - x100 + x470 - x473 - x566 - x567 - x568 + x569 + x570 + x571
       =E= 14;

e87..    x104 - x108 + x476 - x479 - x572 - x573 - x574 + x575 + x576 + x577
       =E= -242;

e88..    x112 - x116 + x482 - x485 - x578 - x579 - x580 + x581 + x582 + x583
       =E= 16;

e89..    x120 - x124 + x488 - x491 - x584 - x585 - x586 + x587 + x588 + x589
       =E= 9;

e90..    x128 - x132 + x494 - x497 - x590 - x591 - x592 + x593 + x594 + x595
       =E= 22;

e91..    x136 - x140 + x500 - x503 - x596 - x597 - x598 + x599 + x600 + x601
       =E= 16;

e92..    x144 - x148 + x506 - x509 - x602 - x603 - x604 + x605 + x606 + x607
       =E= 16;

e93..    x152 - x156 + x512 - x515 - x608 - x609 - x610 + x611 + x612 + x613
       =E= 14;

e94..    x160 - x164 + x518 - x521 - x614 - x615 - x616 + x617 + x618 + x619
       =E= 14;

e95..    x168 - x172 + x524 - x527 - x620 - x621 - x622 + x623 + x624 + x625
       =E= 6;

e96..    x176 - x180 + x530 - x533 - x626 - x627 - x628 + x629 + x630 + x631
       =E= 14;

e97..    x184 - x188 + x536 - x539 - x632 - x633 - x634 + x635 + x636 + x637
       =E= 21;

e98..    x318 - x321 - x638 - x639 + x640 + x641 =E= 10;

e99..    x324 - x327 - x642 - x643 + x644 + x645 =E= 8;

e100..    x330 - x333 - x646 - x647 + x648 + x649 =E= 21;

e101..    x336 - x339 - x650 - x651 + x652 + x653 =E= 19;

e102..    x342 - x345 - x654 - x655 + x656 + x657 =E= 23;

e103..    x348 - x351 - x658 - x659 + x660 + x661 =E= 23;

e104..    x354 - x357 - x662 - x663 + x664 + x665 =E= -182;

e105..    x360 - x363 - x666 - x667 + x668 + x669 =E= 19;

e106..    x366 - x369 - x670 - x671 + x672 + x673 =E= 16;

e107..    x372 - x375 - x674 - x675 + x676 + x677 =E= 16;

e108..    x378 - x381 - x678 - x679 + x680 + x681 =E= 12;

e109..    x384 - x387 - x682 - x683 + x684 + x685 =E= 11;

e110..    x390 - x393 - x686 - x687 + x688 + x689 =E= 20;

e111..    x396 - x399 - x690 - x691 + x692 + x693 =E= 6;

e112..    x402 - x405 - x694 - x695 + x696 + x697 =E= 19;

e113..    x408 - x411 - x698 - x699 + x700 + x701 =E= 22;

e114..    x319 - x322 + x542 - x545 - x702 - x703 + x704 + x705 =E= 15;

e115..    x325 - x328 + x548 - x551 - x706 - x707 + x708 + x709 =E= 19;

e116..    x331 - x334 + x554 - x557 - x710 - x711 + x712 + x713 =E= 15;

e117..    x337 - x340 + x560 - x563 - x714 - x715 + x716 + x717 =E= 9;

e118..    x343 - x346 + x566 - x569 - x718 - x719 + x720 + x721 =E= 22;

e119..    x349 - x352 + x572 - x575 - x722 - x723 + x724 + x725 =E= 16;

e120..    x355 - x358 + x578 - x581 - x726 - x727 + x728 + x729 =E= 9;

e121..    x361 - x364 + x584 - x587 - x730 - x731 + x732 + x733 =E= -215;

e122..    x367 - x370 + x590 - x593 - x734 - x735 + x736 + x737 =E= 12;

e123..    x373 - x376 + x596 - x599 - x738 - x739 + x740 + x741 =E= 7;

e124..    x379 - x382 + x602 - x605 - x742 - x743 + x744 + x745 =E= 14;

e125..    x385 - x388 + x608 - x611 - x746 - x747 + x748 + x749 =E= 14;

e126..    x391 - x394 + x614 - x617 - x750 - x751 + x752 + x753 =E= 14;

e127..    x397 - x400 + x620 - x623 - x754 - x755 + x756 + x757 =E= 11;

e128..    x403 - x406 + x626 - x629 - x758 - x759 + x760 + x761 =E= 20;

e129..    x409 - x412 + x632 - x635 - x762 - x763 + x764 + x765 =E= 25;

e130..    x447 - x450 - x766 - x767 + x768 + x769 =E= 22;

e131..    x453 - x456 - x770 - x771 + x772 + x773 =E= 22;

e132..    x459 - x462 - x774 - x775 + x776 + x777 =E= 13;

e133..    x465 - x468 - x778 - x779 + x780 + x781 =E= 6;

e134..    x471 - x474 - x782 - x783 + x784 + x785 =E= 23;

e135..    x477 - x480 - x786 - x787 + x788 + x789 =E= 11;

e136..    x483 - x486 - x790 - x791 + x792 + x793 =E= 18;

e137..    x489 - x492 - x794 - x795 + x796 + x797 =E= 23;

e138..    x495 - x498 - x798 - x799 + x800 + x801 =E= -216;

e139..    x501 - x504 - x802 - x803 + x804 + x805 =E= 9;

e140..    x507 - x510 - x806 - x807 + x808 + x809 =E= 17;

e141..    x513 - x516 - x810 - x811 + x812 + x813 =E= 20;

e142..    x519 - x522 - x814 - x815 + x816 + x817 =E= 19;

e143..    x525 - x528 - x818 - x819 + x820 + x821 =E= 9;

e144..    x531 - x534 - x822 - x823 + x824 + x825 =E= 14;

e145..    x537 - x540 - x826 - x827 + x828 + x829 =E= 18;

e146..    x543 - x546 - x830 + x831 =E= 18;

e147..    x549 - x552 - x832 + x833 =E= 15;

e148..    x555 - x558 - x834 + x835 =E= 15;

e149..    x561 - x564 - x836 + x837 =E= 23;

e150..    x567 - x570 - x838 + x839 =E= 11;

e151..    x573 - x576 - x840 + x841 =E= 21;

e152..    x579 - x582 - x842 + x843 =E= 8;

e153..    x585 - x588 - x844 + x845 =E= 10;

e154..    x591 - x594 - x846 + x847 =E= 16;

e155..    x597 - x600 - x848 + x849 =E= -180;

e156..    x603 - x606 - x850 + x851 =E= 12;

e157..    x609 - x612 - x852 + x853 =E= 9;

e158..    x615 - x618 - x854 + x855 =E= 8;

e159..    x621 - x624 - x856 + x857 =E= 5;

e160..    x627 - x630 - x858 + x859 =E= 16;

e161..    x633 - x636 - x860 + x861 =E= 8;

e162..    x65 - x69 + x766 - x768 + x830 - x831 - x862 + x863 =E= 8;

e163..    x73 - x77 + x770 - x772 + x832 - x833 - x864 + x865 =E= 22;

e164..    x81 - x85 + x774 - x776 + x834 - x835 - x866 + x867 =E= 8;

e165..    x89 - x93 + x778 - x780 + x836 - x837 - x868 + x869 =E= 20;

e166..    x97 - x101 + x782 - x784 + x838 - x839 - x870 + x871 =E= 14;

e167..    x105 - x109 + x786 - x788 + x840 - x841 - x872 + x873 =E= 20;

e168..    x113 - x117 + x790 - x792 + x842 - x843 - x874 + x875 =E= 15;

e169..    x121 - x125 + x794 - x796 + x844 - x845 - x876 + x877 =E= 13;

e170..    x129 - x133 + x798 - x800 + x846 - x847 - x878 + x879 =E= 22;

e171..    x137 - x141 + x802 - x804 + x848 - x849 - x880 + x881 =E= 9;

e172..    x145 - x149 + x806 - x808 + x850 - x851 - x882 + x883 =E= -203;

e173..    x153 - x157 + x810 - x812 + x852 - x853 - x884 + x885 =E= 9;

e174..    x161 - x165 + x814 - x816 + x854 - x855 - x886 + x887 =E= 7;

e175..    x169 - x173 + x818 - x820 + x856 - x857 - x888 + x889 =E= 17;

e176..    x177 - x181 + x822 - x824 + x858 - x859 - x890 + x891 =E= 23;

e177..    x185 - x189 + x826 - x828 + x860 - x861 - x892 + x893 =E= 13;

e178..    x320 - x323 + x638 - x640 - x894 + x895 =E= 7;

e179..    x326 - x329 + x642 - x644 - x896 + x897 =E= 8;

e180..    x332 - x335 + x646 - x648 - x898 + x899 =E= 12;

e181..    x338 - x341 + x650 - x652 - x900 + x901 =E= 19;

e182..    x344 - x347 + x654 - x656 - x902 + x903 =E= 20;

e183..    x350 - x353 + x658 - x660 - x904 + x905 =E= 18;

e184..    x356 - x359 + x662 - x664 - x906 + x907 =E= 7;

e185..    x362 - x365 + x666 - x668 - x908 + x909 =E= 13;

e186..    x368 - x371 + x670 - x672 - x910 + x911 =E= 13;

e187..    x374 - x377 + x674 - x676 - x912 + x913 =E= 15;

e188..    x380 - x383 + x678 - x680 - x914 + x915 =E= 8;

e189..    x386 - x389 + x682 - x684 - x916 + x917 =E= -214;

e190..    x392 - x395 + x686 - x688 - x918 + x919 =E= 18;

e191..    x398 - x401 + x690 - x692 - x920 + x921 =E= 25;

e192..    x404 - x407 + x694 - x696 - x922 + x923 =E= 12;

e193..    x410 - x413 + x698 - x700 - x924 + x925 =E= 8;

e194..    x702 - x704 + x894 - x895 - x926 + x927 =E= 22;

e195..    x706 - x708 + x896 - x897 - x928 + x929 =E= 11;

e196..    x710 - x712 + x898 - x899 - x930 + x931 =E= 25;

e197..    x714 - x716 + x900 - x901 - x932 + x933 =E= 17;

e198..    x718 - x720 + x902 - x903 - x934 + x935 =E= 14;

e199..    x722 - x724 + x904 - x905 - x936 + x937 =E= 17;

e200..    x726 - x728 + x906 - x907 - x938 + x939 =E= 7;

e201..    x730 - x732 + x908 - x909 - x940 + x941 =E= 25;

e202..    x734 - x736 + x910 - x911 - x942 + x943 =E= 5;

e203..    x738 - x740 + x912 - x913 - x944 + x945 =E= 11;

e204..    x742 - x744 + x914 - x915 - x946 + x947 =E= 7;

e205..    x746 - x748 + x916 - x917 - x948 + x949 =E= 20;

e206..    x750 - x752 + x918 - x919 - x950 + x951 =E= -217;

e207..    x754 - x756 + x920 - x921 - x952 + x953 =E= 7;

e208..    x758 - x760 + x922 - x923 - x954 + x955 =E= 23;

e209..    x762 - x764 + x924 - x925 - x956 + x957 =E= 13;

e210..    x192 - x196 + x414 - x415 + x639 - x641 + x862 - x863 - x958 + x959
        =E= 14;

e211..    x200 - x204 + x416 - x417 + x643 - x645 + x864 - x865 - x960 + x961
        =E= 23;

e212..    x208 - x212 + x418 - x419 + x647 - x649 + x866 - x867 - x962 + x963
        =E= 9;

e213..    x216 - x220 + x420 - x421 + x651 - x653 + x868 - x869 - x964 + x965
        =E= 13;

e214..    x224 - x228 + x422 - x423 + x655 - x657 + x870 - x871 - x966 + x967
        =E= 16;

e215..    x232 - x236 + x424 - x425 + x659 - x661 + x872 - x873 - x968 + x969
        =E= 24;

e216..    x240 - x244 + x426 - x427 + x663 - x665 + x874 - x875 - x970 + x971
        =E= 7;

e217..    x248 - x252 + x428 - x429 + x667 - x669 + x876 - x877 - x972 + x973
        =E= 6;

e218..    x256 - x260 + x430 - x431 + x671 - x673 + x878 - x879 - x974 + x975
        =E= 22;

e219..    x264 - x268 + x432 - x433 + x675 - x677 + x880 - x881 - x976 + x977
        =E= 10;

e220..    x272 - x276 + x434 - x435 + x679 - x681 + x882 - x883 - x978 + x979
        =E= 23;

e221..    x280 - x284 + x436 - x437 + x683 - x685 + x884 - x885 - x980 + x981
        =E= 22;

e222..    x288 - x292 + x438 - x439 + x687 - x689 + x886 - x887 - x982 + x983
        =E= 12;

e223..    x296 - x300 + x440 - x441 + x691 - x693 + x888 - x889 - x984 + x985
        =E= -189;

e224..    x304 - x308 + x442 - x443 + x695 - x697 + x890 - x891 - x986 + x987
        =E= 13;

e225..    x312 - x316 + x444 - x445 + x699 - x701 + x892 - x893 - x988 + x989
        =E= 22;

e226..    x193 - x197 + x544 - x547 + x767 - x769 + x926 - x927 + x958 - x959
        - x990 + x991 =E= 6;

e227..    x201 - x205 + x550 - x553 + x771 - x773 + x928 - x929 + x960 - x961
        - x992 + x993 =E= 5;

e228..    x209 - x213 + x556 - x559 + x775 - x777 + x930 - x931 + x962 - x963
        - x994 + x995 =E= 6;

e229..    x217 - x221 + x562 - x565 + x779 - x781 + x932 - x933 + x964 - x965
        - x996 + x997 =E= 12;

e230..    x225 - x229 + x568 - x571 + x783 - x785 + x934 - x935 + x966 - x967
        - x998 + x999 =E= 15;

e231..    x233 - x237 + x574 - x577 + x787 - x789 + x936 - x937 + x968 - x969
        - x1000 + x1001 =E= 8;

e232..    x241 - x245 + x580 - x583 + x791 - x793 + x938 - x939 + x970 - x971
        - x1002 + x1003 =E= 10;

e233..    x249 - x253 + x586 - x589 + x795 - x797 + x940 - x941 + x972 - x973
        - x1004 + x1005 =E= 10;

e234..    x257 - x261 + x592 - x595 + x799 - x801 + x942 - x943 + x974 - x975
        - x1006 + x1007 =E= 7;

e235..    x265 - x269 + x598 - x601 + x803 - x805 + x944 - x945 + x976 - x977
        - x1008 + x1009 =E= 15;

e236..    x273 - x277 + x604 - x607 + x807 - x809 + x946 - x947 + x978 - x979
        - x1010 + x1011 =E= 5;

e237..    x281 - x285 + x610 - x613 + x811 - x813 + x948 - x949 + x980 - x981
        - x1012 + x1013 =E= 20;

e238..    x289 - x293 + x616 - x619 + x815 - x817 + x950 - x951 + x982 - x983
        - x1014 + x1015 =E= 14;

e239..    x297 - x301 + x622 - x625 + x819 - x821 + x952 - x953 + x984 - x985
        - x1016 + x1017 =E= 17;

e240..    x305 - x309 + x628 - x631 + x823 - x825 + x954 - x955 + x986 - x987
        - x1018 + x1019 =E= -240;

e241..    x313 - x317 + x634 - x637 + x827 - x829 + x956 - x957 + x988 - x989
        - x1020 + x1021 =E= 7;

e242..    x448 - x451 + x703 - x705 + x990 - x991 =E= 25;

e243..    x454 - x457 + x707 - x709 + x992 - x993 =E= 23;

e244..    x460 - x463 + x711 - x713 + x994 - x995 =E= 22;

e245..    x466 - x469 + x715 - x717 + x996 - x997 =E= 17;

e246..    x472 - x475 + x719 - x721 + x998 - x999 =E= 13;

e247..    x478 - x481 + x723 - x725 + x1000 - x1001 =E= 9;

e248..    x484 - x487 + x727 - x729 + x1002 - x1003 =E= 24;

e249..    x490 - x493 + x731 - x733 + x1004 - x1005 =E= 25;

e250..    x496 - x499 + x735 - x737 + x1006 - x1007 =E= 8;

e251..    x502 - x505 + x739 - x741 + x1008 - x1009 =E= 10;

e252..    x508 - x511 + x743 - x745 + x1010 - x1011 =E= 9;

e253..    x514 - x517 + x747 - x749 + x1012 - x1013 =E= 20;

e254..    x520 - x523 + x751 - x753 + x1014 - x1015 =E= 7;

e255..    x526 - x529 + x755 - x757 + x1016 - x1017 =E= 20;

e256..    x532 - x535 + x759 - x761 + x1018 - x1019 =E= 8;

e257..    x538 - x541 + x763 - x765 + x1020 - x1021 =E= -226;

e258..    x1022 + x1023 + x1024 + x1025 + x1026 + x1027 + x1028 + x1029 + x1030
        + x1031 + x1032 + x1033 + x1034 + x1035 + x1036 + x1037 + x1038 + x1039
        + x1040 + x1041 + x1042 + x1043 + x1044 + x1045 + x1046 + x1047 + x1048
        + x1049 + x1050 + x1051 + x1052 + x1053 + x1054 + x1055 + x1056 + x1057
        + x1058 + x1059 + x1060 + x1061 + x1062 + x1063 + x1064 + x1065 + x1066
        + x1067 + x1068 + x1069 + x1070 + x1071 + x1072 + x1073 + x1074 + x1075
        + x1076 + x1077 + x1078 + x1079 + x1080 + x1081 =L= 14012;

e259..  - 137*b2 + x62 + x70 + x78 + x86 + x94 + x102 + x110 + x118 + x126
        + x134 + x142 + x150 + x158 + x166 + x174 + x182 =L= 0;

e260..  - 505*b3 + x63 + x71 + x79 + x87 + x95 + x103 + x111 + x119 + x127
        + x135 + x143 + x151 + x159 + x167 + x175 + x183 =L= 0;

e261..  - 427*b4 + x64 + x72 + x80 + x88 + x96 + x104 + x112 + x120 + x128
        + x136 + x144 + x152 + x160 + x168 + x176 + x184 =L= 0;

e262..  - 559*b5 + x65 + x73 + x81 + x89 + x97 + x105 + x113 + x121 + x129
        + x137 + x145 + x153 + x161 + x169 + x177 + x185 =L= 0;

e263..  - 137*b6 + x66 + x74 + x82 + x90 + x98 + x106 + x114 + x122 + x130
        + x138 + x146 + x154 + x162 + x170 + x178 + x186 =L= 0;

e264..  - 196*b7 + x190 + x198 + x206 + x214 + x222 + x230 + x238 + x246 + x254
        + x262 + x270 + x278 + x286 + x294 + x302 + x310 =L= 0;

e265..  - 341*b8 + x191 + x199 + x207 + x215 + x223 + x231 + x239 + x247 + x255
        + x263 + x271 + x279 + x287 + x295 + x303 + x311 =L= 0;

e266..  - 263*b9 + x192 + x200 + x208 + x216 + x224 + x232 + x240 + x248 + x256
        + x264 + x272 + x280 + x288 + x296 + x304 + x312 =L= 0;

e267..  - 245*b10 + x193 + x201 + x209 + x217 + x225 + x233 + x241 + x249
        + x257 + x265 + x273 + x281 + x289 + x297 + x305 + x313 =L= 0;

e268..  - 196*b11 + x194 + x202 + x210 + x218 + x226 + x234 + x242 + x250
        + x258 + x266 + x274 + x282 + x290 + x298 + x306 + x314 =L= 0;

e269..  - 346*b12 + x318 + x324 + x330 + x336 + x342 + x348 + x354 + x360
        + x366 + x372 + x378 + x384 + x390 + x396 + x402 + x408 =L= 0;

e270..  - 361*b13 + x319 + x325 + x331 + x337 + x343 + x349 + x355 + x361
        + x367 + x373 + x379 + x385 + x391 + x397 + x403 + x409 =L= 0;

e271..  - 179*b14 + x320 + x326 + x332 + x338 + x344 + x350 + x356 + x362
        + x368 + x374 + x380 + x386 + x392 + x398 + x404 + x410 =L= 0;

e272..  - 505*b15 + x67 + x75 + x83 + x91 + x99 + x107 + x115 + x123 + x131
        + x139 + x147 + x155 + x163 + x171 + x179 + x187 =L= 0;

e273..  - 341*b16 + x195 + x203 + x211 + x219 + x227 + x235 + x243 + x251
        + x259 + x267 + x275 + x283 + x291 + x299 + x307 + x315 =L= 0;

e274..  - 160*b17 + x414 + x416 + x418 + x420 + x422 + x424 + x426 + x428
        + x430 + x432 + x434 + x436 + x438 + x440 + x442 + x444 =L= 0;

e275..  - 389*b18 + x446 + x452 + x458 + x464 + x470 + x476 + x482 + x488
        + x494 + x500 + x506 + x512 + x518 + x524 + x530 + x536 =L= 0;

e276..  - 153*b19 + x447 + x453 + x459 + x465 + x471 + x477 + x483 + x489
        + x495 + x501 + x507 + x513 + x519 + x525 + x531 + x537 =L= 0;

e277..  - 164*b20 + x448 + x454 + x460 + x466 + x472 + x478 + x484 + x490
        + x496 + x502 + x508 + x514 + x520 + x526 + x532 + x538 =L= 0;

e278..  - 427*b21 + x68 + x76 + x84 + x92 + x100 + x108 + x116 + x124 + x132
        + x140 + x148 + x156 + x164 + x172 + x180 + x188 =L= 0;

e279..  - 389*b22 + x449 + x455 + x461 + x467 + x473 + x479 + x485 + x491
        + x497 + x503 + x509 + x515 + x521 + x527 + x533 + x539 =L= 0;

e280..  - 513*b23 + x542 + x548 + x554 + x560 + x566 + x572 + x578 + x584
        + x590 + x596 + x602 + x608 + x614 + x620 + x626 + x632 =L= 0;

e281..  - 353*b24 + x543 + x549 + x555 + x561 + x567 + x573 + x579 + x585
        + x591 + x597 + x603 + x609 + x615 + x621 + x627 + x633 =L= 0;

e282..  - 305*b25 + x544 + x550 + x556 + x562 + x568 + x574 + x580 + x586
        + x592 + x598 + x604 + x610 + x616 + x622 + x628 + x634 =L= 0;

e283..  - 346*b26 + x321 + x327 + x333 + x339 + x345 + x351 + x357 + x363
        + x369 + x375 + x381 + x387 + x393 + x399 + x405 + x411 =L= 0;

e284..  - 463*b27 + x638 + x642 + x646 + x650 + x654 + x658 + x662 + x666
        + x670 + x674 + x678 + x682 + x686 + x690 + x694 + x698 =L= 0;

e285..  - 511*b28 + x639 + x643 + x647 + x651 + x655 + x659 + x663 + x667
        + x671 + x675 + x679 + x683 + x687 + x691 + x695 + x699 =L= 0;

e286..  - 361*b29 + x322 + x328 + x334 + x340 + x346 + x352 + x358 + x364
        + x370 + x376 + x382 + x388 + x394 + x400 + x406 + x412 =L= 0;

e287..  - 513*b30 + x545 + x551 + x557 + x563 + x569 + x575 + x581 + x587
        + x593 + x599 + x605 + x611 + x617 + x623 + x629 + x635 =L= 0;

e288..  - 218*b31 + x702 + x706 + x710 + x714 + x718 + x722 + x726 + x730
        + x734 + x738 + x742 + x746 + x750 + x754 + x758 + x762 =L= 0;

e289..  - 338*b32 + x703 + x707 + x711 + x715 + x719 + x723 + x727 + x731
        + x735 + x739 + x743 + x747 + x751 + x755 + x759 + x763 =L= 0;

e290..  - 153*b33 + x450 + x456 + x462 + x468 + x474 + x480 + x486 + x492
        + x498 + x504 + x510 + x516 + x522 + x528 + x534 + x540 =L= 0;

e291..  - 439*b34 + x766 + x770 + x774 + x778 + x782 + x786 + x790 + x794
        + x798 + x802 + x806 + x810 + x814 + x818 + x822 + x826 =L= 0;

e292..  - 194*b35 + x767 + x771 + x775 + x779 + x783 + x787 + x791 + x795
        + x799 + x803 + x807 + x811 + x815 + x819 + x823 + x827 =L= 0;

e293..  - 353*b36 + x546 + x552 + x558 + x564 + x570 + x576 + x582 + x588
        + x594 + x600 + x606 + x612 + x618 + x624 + x630 + x636 =L= 0;

e294..  - 415*b37 + x830 + x832 + x834 + x836 + x838 + x840 + x842 + x844
        + x846 + x848 + x850 + x852 + x854 + x856 + x858 + x860 =L= 0;

e295..  - 559*b38 + x69 + x77 + x85 + x93 + x101 + x109 + x117 + x125 + x133
        + x141 + x149 + x157 + x165 + x173 + x181 + x189 =L= 0;

e296..  - 439*b39 + x768 + x772 + x776 + x780 + x784 + x788 + x792 + x796
        + x800 + x804 + x808 + x812 + x816 + x820 + x824 + x828 =L= 0;

e297..  - 415*b40 + x831 + x833 + x835 + x837 + x839 + x841 + x843 + x845
        + x847 + x849 + x851 + x853 + x855 + x857 + x859 + x861 =L= 0;

e298..  - 421*b41 + x862 + x864 + x866 + x868 + x870 + x872 + x874 + x876
        + x878 + x880 + x882 + x884 + x886 + x888 + x890 + x892 =L= 0;

e299..  - 179*b42 + x323 + x329 + x335 + x341 + x347 + x353 + x359 + x365
        + x371 + x377 + x383 + x389 + x395 + x401 + x407 + x413 =L= 0;

e300..  - 463*b43 + x640 + x644 + x648 + x652 + x656 + x660 + x664 + x668
        + x672 + x676 + x680 + x684 + x688 + x692 + x696 + x700 =L= 0;

e301..  - 534*b44 + x894 + x896 + x898 + x900 + x902 + x904 + x906 + x908
        + x910 + x912 + x914 + x916 + x918 + x920 + x922 + x924 =L= 0;

e302..  - 218*b45 + x704 + x708 + x712 + x716 + x720 + x724 + x728 + x732
        + x736 + x740 + x744 + x748 + x752 + x756 + x760 + x764 =L= 0;

e303..  - 534*b46 + x895 + x897 + x899 + x901 + x903 + x905 + x907 + x909
        + x911 + x913 + x915 + x917 + x919 + x921 + x923 + x925 =L= 0;

e304..  - 425*b47 + x926 + x928 + x930 + x932 + x934 + x936 + x938 + x940
        + x942 + x944 + x946 + x948 + x950 + x952 + x954 + x956 =L= 0;

e305..  - 263*b48 + x196 + x204 + x212 + x220 + x228 + x236 + x244 + x252
        + x260 + x268 + x276 + x284 + x292 + x300 + x308 + x316 =L= 0;

e306..  - 160*b49 + x415 + x417 + x419 + x421 + x423 + x425 + x427 + x429
        + x431 + x433 + x435 + x437 + x439 + x441 + x443 + x445 =L= 0;

e307..  - 511*b50 + x641 + x645 + x649 + x653 + x657 + x661 + x665 + x669
        + x673 + x677 + x681 + x685 + x689 + x693 + x697 + x701 =L= 0;

e308..  - 421*b51 + x863 + x865 + x867 + x869 + x871 + x873 + x875 + x877
        + x879 + x881 + x883 + x885 + x887 + x889 + x891 + x893 =L= 0;

e309..  - 497*b52 + x958 + x960 + x962 + x964 + x966 + x968 + x970 + x972
        + x974 + x976 + x978 + x980 + x982 + x984 + x986 + x988 =L= 0;

e310..  - 245*b53 + x197 + x205 + x213 + x221 + x229 + x237 + x245 + x253
        + x261 + x269 + x277 + x285 + x293 + x301 + x309 + x317 =L= 0;

e311..  - 305*b54 + x547 + x553 + x559 + x565 + x571 + x577 + x583 + x589
        + x595 + x601 + x607 + x613 + x619 + x625 + x631 + x637 =L= 0;

e312..  - 194*b55 + x769 + x773 + x777 + x781 + x785 + x789 + x793 + x797
        + x801 + x805 + x809 + x813 + x817 + x821 + x825 + x829 =L= 0;

e313..  - 425*b56 + x927 + x929 + x931 + x933 + x935 + x937 + x939 + x941
        + x943 + x945 + x947 + x949 + x951 + x953 + x955 + x957 =L= 0;

e314..  - 497*b57 + x959 + x961 + x963 + x965 + x967 + x969 + x971 + x973
        + x975 + x977 + x979 + x981 + x983 + x985 + x987 + x989 =L= 0;

e315..  - 552*b58 + x990 + x992 + x994 + x996 + x998 + x1000 + x1002 + x1004
        + x1006 + x1008 + x1010 + x1012 + x1014 + x1016 + x1018 + x1020 =L= 0;

e316..  - 164*b59 + x451 + x457 + x463 + x469 + x475 + x481 + x487 + x493
        + x499 + x505 + x511 + x517 + x523 + x529 + x535 + x541 =L= 0;

e317..  - 338*b60 + x705 + x709 + x713 + x717 + x721 + x725 + x729 + x733
        + x737 + x741 + x745 + x749 + x753 + x757 + x761 + x765 =L= 0;

e318..  - 552*b61 + x991 + x993 + x995 + x997 + x999 + x1001 + x1003 + x1005
        + x1007 + x1009 + x1011 + x1013 + x1015 + x1017 + x1019 + x1021 =L= 0;

e319.. (-x1022*x62) - 137*x62 + 137*x1022 - x1022*x70 - 137*x70 - x1022*x78 - 
       137*x78 - x1022*x86 - 137*x86 - x1022*x94 - 137*x94 - x1022*x102 - 137*
       x102 - x1022*x110 - 137*x110 - x1022*x118 - 137*x118 - x1022*x126 - 137*
       x126 - x1022*x134 - 137*x134 - x1022*x142 - 137*x142 - x1022*x150 - 137*
       x150 - x1022*x158 - 137*x158 - x1022*x166 - 137*x166 - x1022*x174 - 137*
       x174 - x1022*x182 - 137*x182 =G= 0;

e320.. (-x1023*x63) - 505*x63 + 505*x1023 - x1023*x71 - 505*x71 - x1023*x79 - 
       505*x79 - x1023*x87 - 505*x87 - x1023*x95 - 505*x95 - x1023*x103 - 505*
       x103 - x1023*x111 - 505*x111 - x1023*x119 - 505*x119 - x1023*x127 - 505*
       x127 - x1023*x135 - 505*x135 - x1023*x143 - 505*x143 - x1023*x151 - 505*
       x151 - x1023*x159 - 505*x159 - x1023*x167 - 505*x167 - x1023*x175 - 505*
       x175 - x1023*x183 - 505*x183 =G= 0;

e321.. (-x1024*x64) - 427*x64 + 427*x1024 - x1024*x72 - 427*x72 - x1024*x80 - 
       427*x80 - x1024*x88 - 427*x88 - x1024*x96 - 427*x96 - x1024*x104 - 427*
       x104 - x1024*x112 - 427*x112 - x1024*x120 - 427*x120 - x1024*x128 - 427*
       x128 - x1024*x136 - 427*x136 - x1024*x144 - 427*x144 - x1024*x152 - 427*
       x152 - x1024*x160 - 427*x160 - x1024*x168 - 427*x168 - x1024*x176 - 427*
       x176 - x1024*x184 - 427*x184 =G= 0;

e322.. (-x1025*x65) - 559*x65 + 559*x1025 - x1025*x73 - 559*x73 - x1025*x81 - 
       559*x81 - x1025*x89 - 559*x89 - x1025*x97 - 559*x97 - x1025*x105 - 559*
       x105 - x1025*x113 - 559*x113 - x1025*x121 - 559*x121 - x1025*x129 - 559*
       x129 - x1025*x137 - 559*x137 - x1025*x145 - 559*x145 - x1025*x153 - 559*
       x153 - x1025*x161 - 559*x161 - x1025*x169 - 559*x169 - x1025*x177 - 559*
       x177 - x1025*x185 - 559*x185 =G= 0;

e323.. (-x1026*x66) - 137*x66 + 137*x1026 - x1026*x74 - 137*x74 - x1026*x82 - 
       137*x82 - x1026*x90 - 137*x90 - x1026*x98 - 137*x98 - x1026*x106 - 137*
       x106 - x1026*x114 - 137*x114 - x1026*x122 - 137*x122 - x1026*x130 - 137*
       x130 - x1026*x138 - 137*x138 - x1026*x146 - 137*x146 - x1026*x154 - 137*
       x154 - x1026*x162 - 137*x162 - x1026*x170 - 137*x170 - x1026*x178 - 137*
       x178 - x1026*x186 - 137*x186 =G= 0;

e324.. (-x1027*x190) - 196*x190 + 196*x1027 - x1027*x198 - 196*x198 - x1027*
       x206 - 196*x206 - x1027*x214 - 196*x214 - x1027*x222 - 196*x222 - x1027*
       x230 - 196*x230 - x1027*x238 - 196*x238 - x1027*x246 - 196*x246 - x1027*
       x254 - 196*x254 - x1027*x262 - 196*x262 - x1027*x270 - 196*x270 - x1027*
       x278 - 196*x278 - x1027*x286 - 196*x286 - x1027*x294 - 196*x294 - x1027*
       x302 - 196*x302 - x1027*x310 - 196*x310 =G= 0;

e325.. (-x1028*x191) - 341*x191 + 341*x1028 - x1028*x199 - 341*x199 - x1028*
       x207 - 341*x207 - x1028*x215 - 341*x215 - x1028*x223 - 341*x223 - x1028*
       x231 - 341*x231 - x1028*x239 - 341*x239 - x1028*x247 - 341*x247 - x1028*
       x255 - 341*x255 - x1028*x263 - 341*x263 - x1028*x271 - 341*x271 - x1028*
       x279 - 341*x279 - x1028*x287 - 341*x287 - x1028*x295 - 341*x295 - x1028*
       x303 - 341*x303 - x1028*x311 - 341*x311 =G= 0;

e326.. (-x1029*x192) - 263*x192 + 263*x1029 - x1029*x200 - 263*x200 - x1029*
       x208 - 263*x208 - x1029*x216 - 263*x216 - x1029*x224 - 263*x224 - x1029*
       x232 - 263*x232 - x1029*x240 - 263*x240 - x1029*x248 - 263*x248 - x1029*
       x256 - 263*x256 - x1029*x264 - 263*x264 - x1029*x272 - 263*x272 - x1029*
       x280 - 263*x280 - x1029*x288 - 263*x288 - x1029*x296 - 263*x296 - x1029*
       x304 - 263*x304 - x1029*x312 - 263*x312 =G= 0;

e327.. (-x1030*x193) - 245*x193 + 245*x1030 - x1030*x201 - 245*x201 - x1030*
       x209 - 245*x209 - x1030*x217 - 245*x217 - x1030*x225 - 245*x225 - x1030*
       x233 - 245*x233 - x1030*x241 - 245*x241 - x1030*x249 - 245*x249 - x1030*
       x257 - 245*x257 - x1030*x265 - 245*x265 - x1030*x273 - 245*x273 - x1030*
       x281 - 245*x281 - x1030*x289 - 245*x289 - x1030*x297 - 245*x297 - x1030*
       x305 - 245*x305 - x1030*x313 - 245*x313 =G= 0;

e328.. (-x1031*x194) - 196*x194 + 196*x1031 - x1031*x202 - 196*x202 - x1031*
       x210 - 196*x210 - x1031*x218 - 196*x218 - x1031*x226 - 196*x226 - x1031*
       x234 - 196*x234 - x1031*x242 - 196*x242 - x1031*x250 - 196*x250 - x1031*
       x258 - 196*x258 - x1031*x266 - 196*x266 - x1031*x274 - 196*x274 - x1031*
       x282 - 196*x282 - x1031*x290 - 196*x290 - x1031*x298 - 196*x298 - x1031*
       x306 - 196*x306 - x1031*x314 - 196*x314 =G= 0;

e329.. (-x1032*x318) - 346*x318 + 346*x1032 - x1032*x324 - 346*x324 - x1032*
       x330 - 346*x330 - x1032*x336 - 346*x336 - x1032*x342 - 346*x342 - x1032*
       x348 - 346*x348 - x1032*x354 - 346*x354 - x1032*x360 - 346*x360 - x1032*
       x366 - 346*x366 - x1032*x372 - 346*x372 - x1032*x378 - 346*x378 - x1032*
       x384 - 346*x384 - x1032*x390 - 346*x390 - x1032*x396 - 346*x396 - x1032*
       x402 - 346*x402 - x1032*x408 - 346*x408 =G= 0;

e330.. (-x1033*x319) - 361*x319 + 361*x1033 - x1033*x325 - 361*x325 - x1033*
       x331 - 361*x331 - x1033*x337 - 361*x337 - x1033*x343 - 361*x343 - x1033*
       x349 - 361*x349 - x1033*x355 - 361*x355 - x1033*x361 - 361*x361 - x1033*
       x367 - 361*x367 - x1033*x373 - 361*x373 - x1033*x379 - 361*x379 - x1033*
       x385 - 361*x385 - x1033*x391 - 361*x391 - x1033*x397 - 361*x397 - x1033*
       x403 - 361*x403 - x1033*x409 - 361*x409 =G= 0;

e331.. (-x1034*x320) - 179*x320 + 179*x1034 - x1034*x326 - 179*x326 - x1034*
       x332 - 179*x332 - x1034*x338 - 179*x338 - x1034*x344 - 179*x344 - x1034*
       x350 - 179*x350 - x1034*x356 - 179*x356 - x1034*x362 - 179*x362 - x1034*
       x368 - 179*x368 - x1034*x374 - 179*x374 - x1034*x380 - 179*x380 - x1034*
       x386 - 179*x386 - x1034*x392 - 179*x392 - x1034*x398 - 179*x398 - x1034*
       x404 - 179*x404 - x1034*x410 - 179*x410 =G= 0;

e332.. (-x1035*x67) - 505*x67 + 505*x1035 - x1035*x75 - 505*x75 - x1035*x83 - 
       505*x83 - x1035*x91 - 505*x91 - x1035*x99 - 505*x99 - x1035*x107 - 505*
       x107 - x1035*x115 - 505*x115 - x1035*x123 - 505*x123 - x1035*x131 - 505*
       x131 - x1035*x139 - 505*x139 - x1035*x147 - 505*x147 - x1035*x155 - 505*
       x155 - x1035*x163 - 505*x163 - x1035*x171 - 505*x171 - x1035*x179 - 505*
       x179 - x1035*x187 - 505*x187 =G= 0;

e333.. (-x1036*x195) - 341*x195 + 341*x1036 - x1036*x203 - 341*x203 - x1036*
       x211 - 341*x211 - x1036*x219 - 341*x219 - x1036*x227 - 341*x227 - x1036*
       x235 - 341*x235 - x1036*x243 - 341*x243 - x1036*x251 - 341*x251 - x1036*
       x259 - 341*x259 - x1036*x267 - 341*x267 - x1036*x275 - 341*x275 - x1036*
       x283 - 341*x283 - x1036*x291 - 341*x291 - x1036*x299 - 341*x299 - x1036*
       x307 - 341*x307 - x1036*x315 - 341*x315 =G= 0;

e334.. (-x1037*x414) - 160*x414 + 160*x1037 - x1037*x416 - 160*x416 - x1037*
       x418 - 160*x418 - x1037*x420 - 160*x420 - x1037*x422 - 160*x422 - x1037*
       x424 - 160*x424 - x1037*x426 - 160*x426 - x1037*x428 - 160*x428 - x1037*
       x430 - 160*x430 - x1037*x432 - 160*x432 - x1037*x434 - 160*x434 - x1037*
       x436 - 160*x436 - x1037*x438 - 160*x438 - x1037*x440 - 160*x440 - x1037*
       x442 - 160*x442 - x1037*x444 - 160*x444 =G= 0;

e335.. (-x1038*x446) - 389*x446 + 389*x1038 - x1038*x452 - 389*x452 - x1038*
       x458 - 389*x458 - x1038*x464 - 389*x464 - x1038*x470 - 389*x470 - x1038*
       x476 - 389*x476 - x1038*x482 - 389*x482 - x1038*x488 - 389*x488 - x1038*
       x494 - 389*x494 - x1038*x500 - 389*x500 - x1038*x506 - 389*x506 - x1038*
       x512 - 389*x512 - x1038*x518 - 389*x518 - x1038*x524 - 389*x524 - x1038*
       x530 - 389*x530 - x1038*x536 - 389*x536 =G= 0;

e336.. (-x1039*x447) - 153*x447 + 153*x1039 - x1039*x453 - 153*x453 - x1039*
       x459 - 153*x459 - x1039*x465 - 153*x465 - x1039*x471 - 153*x471 - x1039*
       x477 - 153*x477 - x1039*x483 - 153*x483 - x1039*x489 - 153*x489 - x1039*
       x495 - 153*x495 - x1039*x501 - 153*x501 - x1039*x507 - 153*x507 - x1039*
       x513 - 153*x513 - x1039*x519 - 153*x519 - x1039*x525 - 153*x525 - x1039*
       x531 - 153*x531 - x1039*x537 - 153*x537 =G= 0;

e337.. (-x1040*x448) - 164*x448 + 164*x1040 - x1040*x454 - 164*x454 - x1040*
       x460 - 164*x460 - x1040*x466 - 164*x466 - x1040*x472 - 164*x472 - x1040*
       x478 - 164*x478 - x1040*x484 - 164*x484 - x1040*x490 - 164*x490 - x1040*
       x496 - 164*x496 - x1040*x502 - 164*x502 - x1040*x508 - 164*x508 - x1040*
       x514 - 164*x514 - x1040*x520 - 164*x520 - x1040*x526 - 164*x526 - x1040*
       x532 - 164*x532 - x1040*x538 - 164*x538 =G= 0;

e338.. (-x1041*x68) - 427*x68 + 427*x1041 - x1041*x76 - 427*x76 - x1041*x84 - 
       427*x84 - x1041*x92 - 427*x92 - x1041*x100 - 427*x100 - x1041*x108 - 427
       *x108 - x1041*x116 - 427*x116 - x1041*x124 - 427*x124 - x1041*x132 - 427
       *x132 - x1041*x140 - 427*x140 - x1041*x148 - 427*x148 - x1041*x156 - 427
       *x156 - x1041*x164 - 427*x164 - x1041*x172 - 427*x172 - x1041*x180 - 427
       *x180 - x1041*x188 - 427*x188 =G= 0;

e339.. (-x1042*x449) - 389*x449 + 389*x1042 - x1042*x455 - 389*x455 - x1042*
       x461 - 389*x461 - x1042*x467 - 389*x467 - x1042*x473 - 389*x473 - x1042*
       x479 - 389*x479 - x1042*x485 - 389*x485 - x1042*x491 - 389*x491 - x1042*
       x497 - 389*x497 - x1042*x503 - 389*x503 - x1042*x509 - 389*x509 - x1042*
       x515 - 389*x515 - x1042*x521 - 389*x521 - x1042*x527 - 389*x527 - x1042*
       x533 - 389*x533 - x1042*x539 - 389*x539 =G= 0;

e340.. (-x1043*x542) - 513*x542 + 513*x1043 - x1043*x548 - 513*x548 - x1043*
       x554 - 513*x554 - x1043*x560 - 513*x560 - x1043*x566 - 513*x566 - x1043*
       x572 - 513*x572 - x1043*x578 - 513*x578 - x1043*x584 - 513*x584 - x1043*
       x590 - 513*x590 - x1043*x596 - 513*x596 - x1043*x602 - 513*x602 - x1043*
       x608 - 513*x608 - x1043*x614 - 513*x614 - x1043*x620 - 513*x620 - x1043*
       x626 - 513*x626 - x1043*x632 - 513*x632 =G= 0;

e341.. (-x1044*x543) - 353*x543 + 353*x1044 - x1044*x549 - 353*x549 - x1044*
       x555 - 353*x555 - x1044*x561 - 353*x561 - x1044*x567 - 353*x567 - x1044*
       x573 - 353*x573 - x1044*x579 - 353*x579 - x1044*x585 - 353*x585 - x1044*
       x591 - 353*x591 - x1044*x597 - 353*x597 - x1044*x603 - 353*x603 - x1044*
       x609 - 353*x609 - x1044*x615 - 353*x615 - x1044*x621 - 353*x621 - x1044*
       x627 - 353*x627 - x1044*x633 - 353*x633 =G= 0;

e342.. (-x1045*x544) - 305*x544 + 305*x1045 - x1045*x550 - 305*x550 - x1045*
       x556 - 305*x556 - x1045*x562 - 305*x562 - x1045*x568 - 305*x568 - x1045*
       x574 - 305*x574 - x1045*x580 - 305*x580 - x1045*x586 - 305*x586 - x1045*
       x592 - 305*x592 - x1045*x598 - 305*x598 - x1045*x604 - 305*x604 - x1045*
       x610 - 305*x610 - x1045*x616 - 305*x616 - x1045*x622 - 305*x622 - x1045*
       x628 - 305*x628 - x1045*x634 - 305*x634 =G= 0;

e343.. (-x1046*x321) - 346*x321 + 346*x1046 - x1046*x327 - 346*x327 - x1046*
       x333 - 346*x333 - x1046*x339 - 346*x339 - x1046*x345 - 346*x345 - x1046*
       x351 - 346*x351 - x1046*x357 - 346*x357 - x1046*x363 - 346*x363 - x1046*
       x369 - 346*x369 - x1046*x375 - 346*x375 - x1046*x381 - 346*x381 - x1046*
       x387 - 346*x387 - x1046*x393 - 346*x393 - x1046*x399 - 346*x399 - x1046*
       x405 - 346*x405 - x1046*x411 - 346*x411 =G= 0;

e344.. (-x1047*x638) - 463*x638 + 463*x1047 - x1047*x642 - 463*x642 - x1047*
       x646 - 463*x646 - x1047*x650 - 463*x650 - x1047*x654 - 463*x654 - x1047*
       x658 - 463*x658 - x1047*x662 - 463*x662 - x1047*x666 - 463*x666 - x1047*
       x670 - 463*x670 - x1047*x674 - 463*x674 - x1047*x678 - 463*x678 - x1047*
       x682 - 463*x682 - x1047*x686 - 463*x686 - x1047*x690 - 463*x690 - x1047*
       x694 - 463*x694 - x1047*x698 - 463*x698 =G= 0;

e345.. (-x1048*x639) - 511*x639 + 511*x1048 - x1048*x643 - 511*x643 - x1048*
       x647 - 511*x647 - x1048*x651 - 511*x651 - x1048*x655 - 511*x655 - x1048*
       x659 - 511*x659 - x1048*x663 - 511*x663 - x1048*x667 - 511*x667 - x1048*
       x671 - 511*x671 - x1048*x675 - 511*x675 - x1048*x679 - 511*x679 - x1048*
       x683 - 511*x683 - x1048*x687 - 511*x687 - x1048*x691 - 511*x691 - x1048*
       x695 - 511*x695 - x1048*x699 - 511*x699 =G= 0;

e346.. (-x1049*x322) - 361*x322 + 361*x1049 - x1049*x328 - 361*x328 - x1049*
       x334 - 361*x334 - x1049*x340 - 361*x340 - x1049*x346 - 361*x346 - x1049*
       x352 - 361*x352 - x1049*x358 - 361*x358 - x1049*x364 - 361*x364 - x1049*
       x370 - 361*x370 - x1049*x376 - 361*x376 - x1049*x382 - 361*x382 - x1049*
       x388 - 361*x388 - x1049*x394 - 361*x394 - x1049*x400 - 361*x400 - x1049*
       x406 - 361*x406 - x1049*x412 - 361*x412 =G= 0;

e347.. (-x1050*x545) - 513*x545 + 513*x1050 - x1050*x551 - 513*x551 - x1050*
       x557 - 513*x557 - x1050*x563 - 513*x563 - x1050*x569 - 513*x569 - x1050*
       x575 - 513*x575 - x1050*x581 - 513*x581 - x1050*x587 - 513*x587 - x1050*
       x593 - 513*x593 - x1050*x599 - 513*x599 - x1050*x605 - 513*x605 - x1050*
       x611 - 513*x611 - x1050*x617 - 513*x617 - x1050*x623 - 513*x623 - x1050*
       x629 - 513*x629 - x1050*x635 - 513*x635 =G= 0;

e348.. (-x1051*x702) - 218*x702 + 218*x1051 - x1051*x706 - 218*x706 - x1051*
       x710 - 218*x710 - x1051*x714 - 218*x714 - x1051*x718 - 218*x718 - x1051*
       x722 - 218*x722 - x1051*x726 - 218*x726 - x1051*x730 - 218*x730 - x1051*
       x734 - 218*x734 - x1051*x738 - 218*x738 - x1051*x742 - 218*x742 - x1051*
       x746 - 218*x746 - x1051*x750 - 218*x750 - x1051*x754 - 218*x754 - x1051*
       x758 - 218*x758 - x1051*x762 - 218*x762 =G= 0;

e349.. (-x1052*x703) - 338*x703 + 338*x1052 - x1052*x707 - 338*x707 - x1052*
       x711 - 338*x711 - x1052*x715 - 338*x715 - x1052*x719 - 338*x719 - x1052*
       x723 - 338*x723 - x1052*x727 - 338*x727 - x1052*x731 - 338*x731 - x1052*
       x735 - 338*x735 - x1052*x739 - 338*x739 - x1052*x743 - 338*x743 - x1052*
       x747 - 338*x747 - x1052*x751 - 338*x751 - x1052*x755 - 338*x755 - x1052*
       x759 - 338*x759 - x1052*x763 - 338*x763 =G= 0;

e350.. (-x1053*x450) - 153*x450 + 153*x1053 - x1053*x456 - 153*x456 - x1053*
       x462 - 153*x462 - x1053*x468 - 153*x468 - x1053*x474 - 153*x474 - x1053*
       x480 - 153*x480 - x1053*x486 - 153*x486 - x1053*x492 - 153*x492 - x1053*
       x498 - 153*x498 - x1053*x504 - 153*x504 - x1053*x510 - 153*x510 - x1053*
       x516 - 153*x516 - x1053*x522 - 153*x522 - x1053*x528 - 153*x528 - x1053*
       x534 - 153*x534 - x1053*x540 - 153*x540 =G= 0;

e351.. (-x1054*x766) - 439*x766 + 439*x1054 - x1054*x770 - 439*x770 - x1054*
       x774 - 439*x774 - x1054*x778 - 439*x778 - x1054*x782 - 439*x782 - x1054*
       x786 - 439*x786 - x1054*x790 - 439*x790 - x1054*x794 - 439*x794 - x1054*
       x798 - 439*x798 - x1054*x802 - 439*x802 - x1054*x806 - 439*x806 - x1054*
       x810 - 439*x810 - x1054*x814 - 439*x814 - x1054*x818 - 439*x818 - x1054*
       x822 - 439*x822 - x1054*x826 - 439*x826 =G= 0;

e352.. (-x1055*x767) - 194*x767 + 194*x1055 - x1055*x771 - 194*x771 - x1055*
       x775 - 194*x775 - x1055*x779 - 194*x779 - x1055*x783 - 194*x783 - x1055*
       x787 - 194*x787 - x1055*x791 - 194*x791 - x1055*x795 - 194*x795 - x1055*
       x799 - 194*x799 - x1055*x803 - 194*x803 - x1055*x807 - 194*x807 - x1055*
       x811 - 194*x811 - x1055*x815 - 194*x815 - x1055*x819 - 194*x819 - x1055*
       x823 - 194*x823 - x1055*x827 - 194*x827 =G= 0;

e353.. (-x1056*x546) - 353*x546 + 353*x1056 - x1056*x552 - 353*x552 - x1056*
       x558 - 353*x558 - x1056*x564 - 353*x564 - x1056*x570 - 353*x570 - x1056*
       x576 - 353*x576 - x1056*x582 - 353*x582 - x1056*x588 - 353*x588 - x1056*
       x594 - 353*x594 - x1056*x600 - 353*x600 - x1056*x606 - 353*x606 - x1056*
       x612 - 353*x612 - x1056*x618 - 353*x618 - x1056*x624 - 353*x624 - x1056*
       x630 - 353*x630 - x1056*x636 - 353*x636 =G= 0;

e354.. (-x1057*x830) - 415*x830 + 415*x1057 - x1057*x832 - 415*x832 - x1057*
       x834 - 415*x834 - x1057*x836 - 415*x836 - x1057*x838 - 415*x838 - x1057*
       x840 - 415*x840 - x1057*x842 - 415*x842 - x1057*x844 - 415*x844 - x1057*
       x846 - 415*x846 - x1057*x848 - 415*x848 - x1057*x850 - 415*x850 - x1057*
       x852 - 415*x852 - x1057*x854 - 415*x854 - x1057*x856 - 415*x856 - x1057*
       x858 - 415*x858 - x1057*x860 - 415*x860 =G= 0;

e355.. (-x1058*x69) - 559*x69 + 559*x1058 - x1058*x77 - 559*x77 - x1058*x85 - 
       559*x85 - x1058*x93 - 559*x93 - x1058*x101 - 559*x101 - x1058*x109 - 559
       *x109 - x1058*x117 - 559*x117 - x1058*x125 - 559*x125 - x1058*x133 - 559
       *x133 - x1058*x141 - 559*x141 - x1058*x149 - 559*x149 - x1058*x157 - 559
       *x157 - x1058*x165 - 559*x165 - x1058*x173 - 559*x173 - x1058*x181 - 559
       *x181 - x1058*x189 - 559*x189 =G= 0;

e356.. (-x1059*x768) - 439*x768 + 439*x1059 - x1059*x772 - 439*x772 - x1059*
       x776 - 439*x776 - x1059*x780 - 439*x780 - x1059*x784 - 439*x784 - x1059*
       x788 - 439*x788 - x1059*x792 - 439*x792 - x1059*x796 - 439*x796 - x1059*
       x800 - 439*x800 - x1059*x804 - 439*x804 - x1059*x808 - 439*x808 - x1059*
       x812 - 439*x812 - x1059*x816 - 439*x816 - x1059*x820 - 439*x820 - x1059*
       x824 - 439*x824 - x1059*x828 - 439*x828 =G= 0;

e357.. (-x1060*x831) - 415*x831 + 415*x1060 - x1060*x833 - 415*x833 - x1060*
       x835 - 415*x835 - x1060*x837 - 415*x837 - x1060*x839 - 415*x839 - x1060*
       x841 - 415*x841 - x1060*x843 - 415*x843 - x1060*x845 - 415*x845 - x1060*
       x847 - 415*x847 - x1060*x849 - 415*x849 - x1060*x851 - 415*x851 - x1060*
       x853 - 415*x853 - x1060*x855 - 415*x855 - x1060*x857 - 415*x857 - x1060*
       x859 - 415*x859 - x1060*x861 - 415*x861 =G= 0;

e358.. (-x1061*x862) - 421*x862 + 421*x1061 - x1061*x864 - 421*x864 - x1061*
       x866 - 421*x866 - x1061*x868 - 421*x868 - x1061*x870 - 421*x870 - x1061*
       x872 - 421*x872 - x1061*x874 - 421*x874 - x1061*x876 - 421*x876 - x1061*
       x878 - 421*x878 - x1061*x880 - 421*x880 - x1061*x882 - 421*x882 - x1061*
       x884 - 421*x884 - x1061*x886 - 421*x886 - x1061*x888 - 421*x888 - x1061*
       x890 - 421*x890 - x1061*x892 - 421*x892 =G= 0;

e359.. (-x1062*x323) - 179*x323 + 179*x1062 - x1062*x329 - 179*x329 - x1062*
       x335 - 179*x335 - x1062*x341 - 179*x341 - x1062*x347 - 179*x347 - x1062*
       x353 - 179*x353 - x1062*x359 - 179*x359 - x1062*x365 - 179*x365 - x1062*
       x371 - 179*x371 - x1062*x377 - 179*x377 - x1062*x383 - 179*x383 - x1062*
       x389 - 179*x389 - x1062*x395 - 179*x395 - x1062*x401 - 179*x401 - x1062*
       x407 - 179*x407 - x1062*x413 - 179*x413 =G= 0;

e360.. (-x1063*x640) - 463*x640 + 463*x1063 - x1063*x644 - 463*x644 - x1063*
       x648 - 463*x648 - x1063*x652 - 463*x652 - x1063*x656 - 463*x656 - x1063*
       x660 - 463*x660 - x1063*x664 - 463*x664 - x1063*x668 - 463*x668 - x1063*
       x672 - 463*x672 - x1063*x676 - 463*x676 - x1063*x680 - 463*x680 - x1063*
       x684 - 463*x684 - x1063*x688 - 463*x688 - x1063*x692 - 463*x692 - x1063*
       x696 - 463*x696 - x1063*x700 - 463*x700 =G= 0;

e361.. (-x1064*x894) - 534*x894 + 534*x1064 - x1064*x896 - 534*x896 - x1064*
       x898 - 534*x898 - x1064*x900 - 534*x900 - x1064*x902 - 534*x902 - x1064*
       x904 - 534*x904 - x1064*x906 - 534*x906 - x1064*x908 - 534*x908 - x1064*
       x910 - 534*x910 - x1064*x912 - 534*x912 - x1064*x914 - 534*x914 - x1064*
       x916 - 534*x916 - x1064*x918 - 534*x918 - x1064*x920 - 534*x920 - x1064*
       x922 - 534*x922 - x1064*x924 - 534*x924 =G= 0;

e362.. (-x1065*x704) - 218*x704 + 218*x1065 - x1065*x708 - 218*x708 - x1065*
       x712 - 218*x712 - x1065*x716 - 218*x716 - x1065*x720 - 218*x720 - x1065*
       x724 - 218*x724 - x1065*x728 - 218*x728 - x1065*x732 - 218*x732 - x1065*
       x736 - 218*x736 - x1065*x740 - 218*x740 - x1065*x744 - 218*x744 - x1065*
       x748 - 218*x748 - x1065*x752 - 218*x752 - x1065*x756 - 218*x756 - x1065*
       x760 - 218*x760 - x1065*x764 - 218*x764 =G= 0;

e363.. (-x1066*x895) - 534*x895 + 534*x1066 - x1066*x897 - 534*x897 - x1066*
       x899 - 534*x899 - x1066*x901 - 534*x901 - x1066*x903 - 534*x903 - x1066*
       x905 - 534*x905 - x1066*x907 - 534*x907 - x1066*x909 - 534*x909 - x1066*
       x911 - 534*x911 - x1066*x913 - 534*x913 - x1066*x915 - 534*x915 - x1066*
       x917 - 534*x917 - x1066*x919 - 534*x919 - x1066*x921 - 534*x921 - x1066*
       x923 - 534*x923 - x1066*x925 - 534*x925 =G= 0;

e364.. (-x1067*x926) - 425*x926 + 425*x1067 - x1067*x928 - 425*x928 - x1067*
       x930 - 425*x930 - x1067*x932 - 425*x932 - x1067*x934 - 425*x934 - x1067*
       x936 - 425*x936 - x1067*x938 - 425*x938 - x1067*x940 - 425*x940 - x1067*
       x942 - 425*x942 - x1067*x944 - 425*x944 - x1067*x946 - 425*x946 - x1067*
       x948 - 425*x948 - x1067*x950 - 425*x950 - x1067*x952 - 425*x952 - x1067*
       x954 - 425*x954 - x1067*x956 - 425*x956 =G= 0;

e365.. (-x1068*x196) - 263*x196 + 263*x1068 - x1068*x204 - 263*x204 - x1068*
       x212 - 263*x212 - x1068*x220 - 263*x220 - x1068*x228 - 263*x228 - x1068*
       x236 - 263*x236 - x1068*x244 - 263*x244 - x1068*x252 - 263*x252 - x1068*
       x260 - 263*x260 - x1068*x268 - 263*x268 - x1068*x276 - 263*x276 - x1068*
       x284 - 263*x284 - x1068*x292 - 263*x292 - x1068*x300 - 263*x300 - x1068*
       x308 - 263*x308 - x1068*x316 - 263*x316 =G= 0;

e366.. (-x1069*x415) - 160*x415 + 160*x1069 - x1069*x417 - 160*x417 - x1069*
       x419 - 160*x419 - x1069*x421 - 160*x421 - x1069*x423 - 160*x423 - x1069*
       x425 - 160*x425 - x1069*x427 - 160*x427 - x1069*x429 - 160*x429 - x1069*
       x431 - 160*x431 - x1069*x433 - 160*x433 - x1069*x435 - 160*x435 - x1069*
       x437 - 160*x437 - x1069*x439 - 160*x439 - x1069*x441 - 160*x441 - x1069*
       x443 - 160*x443 - x1069*x445 - 160*x445 =G= 0;

e367.. (-x1070*x641) - 511*x641 + 511*x1070 - x1070*x645 - 511*x645 - x1070*
       x649 - 511*x649 - x1070*x653 - 511*x653 - x1070*x657 - 511*x657 - x1070*
       x661 - 511*x661 - x1070*x665 - 511*x665 - x1070*x669 - 511*x669 - x1070*
       x673 - 511*x673 - x1070*x677 - 511*x677 - x1070*x681 - 511*x681 - x1070*
       x685 - 511*x685 - x1070*x689 - 511*x689 - x1070*x693 - 511*x693 - x1070*
       x697 - 511*x697 - x1070*x701 - 511*x701 =G= 0;

e368.. (-x1071*x863) - 421*x863 + 421*x1071 - x1071*x865 - 421*x865 - x1071*
       x867 - 421*x867 - x1071*x869 - 421*x869 - x1071*x871 - 421*x871 - x1071*
       x873 - 421*x873 - x1071*x875 - 421*x875 - x1071*x877 - 421*x877 - x1071*
       x879 - 421*x879 - x1071*x881 - 421*x881 - x1071*x883 - 421*x883 - x1071*
       x885 - 421*x885 - x1071*x887 - 421*x887 - x1071*x889 - 421*x889 - x1071*
       x891 - 421*x891 - x1071*x893 - 421*x893 =G= 0;

e369.. (-x1072*x958) - 497*x958 + 497*x1072 - x1072*x960 - 497*x960 - x1072*
       x962 - 497*x962 - x1072*x964 - 497*x964 - x1072*x966 - 497*x966 - x1072*
       x968 - 497*x968 - x1072*x970 - 497*x970 - x1072*x972 - 497*x972 - x1072*
       x974 - 497*x974 - x1072*x976 - 497*x976 - x1072*x978 - 497*x978 - x1072*
       x980 - 497*x980 - x1072*x982 - 497*x982 - x1072*x984 - 497*x984 - x1072*
       x986 - 497*x986 - x1072*x988 - 497*x988 =G= 0;

e370.. (-x1073*x197) - 245*x197 + 245*x1073 - x1073*x205 - 245*x205 - x1073*
       x213 - 245*x213 - x1073*x221 - 245*x221 - x1073*x229 - 245*x229 - x1073*
       x237 - 245*x237 - x1073*x245 - 245*x245 - x1073*x253 - 245*x253 - x1073*
       x261 - 245*x261 - x1073*x269 - 245*x269 - x1073*x277 - 245*x277 - x1073*
       x285 - 245*x285 - x1073*x293 - 245*x293 - x1073*x301 - 245*x301 - x1073*
       x309 - 245*x309 - x1073*x317 - 245*x317 =G= 0;

e371.. (-x1074*x547) - 305*x547 + 305*x1074 - x1074*x553 - 305*x553 - x1074*
       x559 - 305*x559 - x1074*x565 - 305*x565 - x1074*x571 - 305*x571 - x1074*
       x577 - 305*x577 - x1074*x583 - 305*x583 - x1074*x589 - 305*x589 - x1074*
       x595 - 305*x595 - x1074*x601 - 305*x601 - x1074*x607 - 305*x607 - x1074*
       x613 - 305*x613 - x1074*x619 - 305*x619 - x1074*x625 - 305*x625 - x1074*
       x631 - 305*x631 - x1074*x637 - 305*x637 =G= 0;

e372.. (-x1075*x769) - 194*x769 + 194*x1075 - x1075*x773 - 194*x773 - x1075*
       x777 - 194*x777 - x1075*x781 - 194*x781 - x1075*x785 - 194*x785 - x1075*
       x789 - 194*x789 - x1075*x793 - 194*x793 - x1075*x797 - 194*x797 - x1075*
       x801 - 194*x801 - x1075*x805 - 194*x805 - x1075*x809 - 194*x809 - x1075*
       x813 - 194*x813 - x1075*x817 - 194*x817 - x1075*x821 - 194*x821 - x1075*
       x825 - 194*x825 - x1075*x829 - 194*x829 =G= 0;

e373.. (-x1076*x927) - 425*x927 + 425*x1076 - x1076*x929 - 425*x929 - x1076*
       x931 - 425*x931 - x1076*x933 - 425*x933 - x1076*x935 - 425*x935 - x1076*
       x937 - 425*x937 - x1076*x939 - 425*x939 - x1076*x941 - 425*x941 - x1076*
       x943 - 425*x943 - x1076*x945 - 425*x945 - x1076*x947 - 425*x947 - x1076*
       x949 - 425*x949 - x1076*x951 - 425*x951 - x1076*x953 - 425*x953 - x1076*
       x955 - 425*x955 - x1076*x957 - 425*x957 =G= 0;

e374.. (-x1077*x959) - 497*x959 + 497*x1077 - x1077*x961 - 497*x961 - x1077*
       x963 - 497*x963 - x1077*x965 - 497*x965 - x1077*x967 - 497*x967 - x1077*
       x969 - 497*x969 - x1077*x971 - 497*x971 - x1077*x973 - 497*x973 - x1077*
       x975 - 497*x975 - x1077*x977 - 497*x977 - x1077*x979 - 497*x979 - x1077*
       x981 - 497*x981 - x1077*x983 - 497*x983 - x1077*x985 - 497*x985 - x1077*
       x987 - 497*x987 - x1077*x989 - 497*x989 =G= 0;

e375.. (-x1078*x990) - 552*x990 + 552*x1078 - x1078*x992 - 552*x992 - x1078*
       x994 - 552*x994 - x1078*x996 - 552*x996 - x1078*x998 - 552*x998 - x1078*
       x1000 - 552*x1000 - x1078*x1002 - 552*x1002 - x1078*x1004 - 552*x1004 - 
       x1078*x1006 - 552*x1006 - x1078*x1008 - 552*x1008 - x1078*x1010 - 552*
       x1010 - x1078*x1012 - 552*x1012 - x1078*x1014 - 552*x1014 - x1078*x1016
        - 552*x1016 - x1078*x1018 - 552*x1018 - x1078*x1020 - 552*x1020 =G= 0;

e376.. (-x1079*x451) - 164*x451 + 164*x1079 - x1079*x457 - 164*x457 - x1079*
       x463 - 164*x463 - x1079*x469 - 164*x469 - x1079*x475 - 164*x475 - x1079*
       x481 - 164*x481 - x1079*x487 - 164*x487 - x1079*x493 - 164*x493 - x1079*
       x499 - 164*x499 - x1079*x505 - 164*x505 - x1079*x511 - 164*x511 - x1079*
       x517 - 164*x517 - x1079*x523 - 164*x523 - x1079*x529 - 164*x529 - x1079*
       x535 - 164*x535 - x1079*x541 - 164*x541 =G= 0;

e377.. (-x1080*x705) - 338*x705 + 338*x1080 - x1080*x709 - 338*x709 - x1080*
       x713 - 338*x713 - x1080*x717 - 338*x717 - x1080*x721 - 338*x721 - x1080*
       x725 - 338*x725 - x1080*x729 - 338*x729 - x1080*x733 - 338*x733 - x1080*
       x737 - 338*x737 - x1080*x741 - 338*x741 - x1080*x745 - 338*x745 - x1080*
       x749 - 338*x749 - x1080*x753 - 338*x753 - x1080*x757 - 338*x757 - x1080*
       x761 - 338*x761 - x1080*x765 - 338*x765 =G= 0;

e378.. (-x1081*x991) - 552*x991 + 552*x1081 - x1081*x993 - 552*x993 - x1081*
       x995 - 552*x995 - x1081*x997 - 552*x997 - x1081*x999 - 552*x999 - x1081*
       x1001 - 552*x1001 - x1081*x1003 - 552*x1003 - x1081*x1005 - 552*x1005 - 
       x1081*x1007 - 552*x1007 - x1081*x1009 - 552*x1009 - x1081*x1011 - 552*
       x1011 - x1081*x1013 - 552*x1013 - x1081*x1015 - 552*x1015 - x1081*x1017
        - 552*x1017 - x1081*x1019 - 552*x1019 - x1081*x1021 - 552*x1021 =G= 0;

Model m / all /;

m.limrow=0; m.limcol=0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

m.tolproj = 0.0;
$if not set MIQCP $set MIQCP MIQCP
Solve m using %MIQCP% minimizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.