QPLIB

A Library of Quadratic Programming Instances

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

QPLIB_2169

Formats gms lp mod qplib
Problem type probtype LMQ
Solution point objective value solobjvalue 30.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 2.7285e-12
Donor donor Polip2011
#Variables nvars 905
#Binary Variables nbinvars 297
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 297
#Nonlinear Variables nnlvars 594
#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 297
#Nonlinear Nonzeros in Objective nobjnlnz 0
#Quadratic Terms in Objective nobjquadnz 0
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 891
#Linear Constraints nlincons 594
#Quadratic Constraints nquadcons 297
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature indefinite
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 297
#Nonzeros in Jacobian njacobiannz 4611
#Nonlinear Nonzeros in Jacobian njacobiannlnz 594
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 594
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 297
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 2
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 2
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 2.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_2169.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        892      595        0      297        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        906      609      297        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       4909     4315      594        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,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298,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;

Positive Variables  x311,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;

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,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193
          ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206
          ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219
          ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232
          ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284
          ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297
          ,b298;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
          ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
          ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
          ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
          ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
          ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
          ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
          ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
          ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
          ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
          ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
          ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
          ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
          ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
          ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
          ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
          ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
          ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
          ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
          ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
          ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
          ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
          ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
          ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
          ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
          ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
          ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
          ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
          ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
          ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
          ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
          ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
          ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
          ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545
          ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
          ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
          ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
          ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
          ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
          ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623
          ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636
          ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649
          ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662
          ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675
          ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688
          ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701
          ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714
          ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727
          ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740
          ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753
          ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766
          ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779
          ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792
          ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805
          ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818
          ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831
          ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844
          ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857
          ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870
          ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883
          ,e884,e885,e886,e887,e888,e889,e890,e891,e892;


e1..  - 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
      + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73
      + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85
      + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97
      + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107
      + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117
      + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127
      + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137
      + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147
      + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157
      + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167
      + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177
      + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187
      + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197
      + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207
      + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217
      + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227
      + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237
      + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247
      + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257
      + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267
      + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277
      + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287
      + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297
      + b298 =E= 0;

e2..    63*x299 + x300 + x301 + 145*x302 + 233*x303 + x304 + 2*x305 + 150*x306
      + 2*x307 + 3*x308 + 6*x309 - x310 - x311 =L= -1;

e3..  - 67*x299 - x300 - 4*x301 - 160*x302 - 286*x303 - 2*x305 - 108*x306
      - x307 - 2*x308 - 3*x309 + x310 - x312 - 3*x313 - x314 =L= -1;

e4..  - 67*x299 - x300 - 4*x301 - 120*x302 - 229*x303 - 2*x305 - 129*x306
      - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x315 =L= -1;

e5..    37*x299 + x300 + 3*x301 + 130*x302 + 250*x303 + 187*x306 + 3*x307
      + 3*x308 + 3*x309 - x310 - x316 =L= -1;

e6..    41*x299 + 2*x301 + 130*x302 + 204*x303 + 2*x305 + 172*x306 + x307
      + x308 + 3*x309 - x310 - x317 =L= -1;

e7..    56*x299 + x300 + 2*x301 + 120*x302 + 236*x303 + 178*x306 + x308
      + 3*x309 - x310 - x318 =L= -1;

e8..  - 62*x299 - 4*x301 - 140*x302 - 268*x303 - 2*x305 - 160*x306 - 3*x307
      - 3*x308 - 3*x309 + x310 - 2*x313 - x319 =L= -1;

e9..    57*x299 + 4*x301 + 120*x302 + 354*x303 + 163*x306 + x308 + 3*x309
      - x310 + x312 - x320 =L= -1;

e10..  - 63*x299 - x300 - 4*x301 - 130*x302 - 254*x303 - 2*x305 - 147*x306
       - x307 - 2*x308 - 7*x309 + x310 - x313 - x321 =L= -1;

e11..  - 53*x299 - x300 - 4*x301 - 140*x302 - 203*x303 - x304 - 2*x305
       - 155*x306 - 3*x307 - 3*x308 - 7*x309 + x310 - x312 - x322 =L= -1;

e12..    57*x299 + x300 + 4*x301 + 140*x302 + 192*x303 + 148*x306 + 2*x308
       + 6*x309 - x310 - x323 =L= -1;

e13..    56*x299 + 2*x301 + 140*x302 + 294*x303 + 2*x305 + 153*x306 + x307
       + 2*x308 + 3*x309 - x310 - x324 =L= -1;

e14..  - 56*x299 - x300 - 3*x301 - 130*x302 - 256*x303 - x304 - 2*x305
       - 142*x306 - 2*x308 - 6*x309 + x310 - x312 - x313 - x325 =L= -1;

e15..    44*x299 + x300 + 2*x301 + 120*x302 + 263*x303 + 173*x306 + x308
       + 7*x309 - x310 - x326 =L= -1;

e16..    52*x299 + x300 + 3*x301 + 172*x302 + 199*x303 + x304 + 162*x306 + x308
       + 7*x309 - x310 - x327 =L= -1;

e17..    57*x299 + x300 + 3*x301 + 150*x302 + 168*x303 + 174*x306 + x307 + x308
       + 3*x309 - x310 - x328 =L= -1;

e18..  - 48*x299 - x300 - 2*x301 - 110*x302 - 229*x303 - 168*x306 - x307
       - 3*x308 - 7*x309 + x310 - x329 =L= -1;

e19..    54*x299 + x300 + 4*x301 + 140*x302 + 239*x303 + 160*x306 + x307 + x308
       + 3*x309 - x310 - x330 =L= -1;

e20..    48*x299 + 3*x301 + 130*x302 + 275*x303 + 139*x306 + x308 + 3*x309
       - x310 - x331 =L= -1;

e21..    49*x299 + x300 + 2*x301 + 130*x302 + 266*x303 + 171*x306 + x308
       + 3*x309 - x310 - x332 =L= -1;

e22..    64*x299 + x300 + x301 + 110*x302 + 211*x303 + 2*x305 + 144*x306 + x307
       + 2*x308 + 3*x309 - x310 + x312 - x333 =L= -1;

e23..    58*x299 + x301 + 150*x302 + 283*x303 + x304 + 2*x305 + 162*x306 + x307
       + x308 + 3*x309 - x310 - x334 =L= -1;

e24..  - 58*x299 - x300 - 2*x301 - 120*x302 - 284*x303 - 2*x305 - 160*x306
       - x307 - 2*x308 - 3*x309 + x310 - x335 =L= -1;

e25..  - 58*x299 - x300 - 3*x301 - 132*x302 - 224*x303 - 2*x305 - 173*x306
       - 3*x307 - x308 - 7*x309 + x310 - 2*x313 - x336 =L= -1;

e26..  - 60*x299 - x300 - 4*x301 - 130*x302 - 206*x303 - 2*x305 - 132*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x337 =L= -1;

e27..    50*x299 + 3*x301 + 120*x302 + 219*x303 + 158*x306 + x307 + 2*x308
       + 3*x309 - x310 - x338 =L= -1;

e28..    58*x299 + 3*x301 + 120*x302 + 340*x303 + 172*x306 + x308 + 3*x309
       - x310 - x339 =L= -1;

e29..    66*x299 + x301 + 150*x302 + 226*x303 + 114*x306 + 2*x307 + 3*x308
       + 3*x309 - x310 - x340 =L= -1;

e30..    43*x299 + x300 + 4*x301 + 150*x302 + 247*x303 + 171*x306 + x307 + x308
       + 3*x309 - x310 - x341 =L= -1;

e31..  - 40*x299 - x300 - 4*x301 - 110*x302 - 167*x303 - 2*x305 - 114*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x342 =L= -1;

e32..    69*x299 + x301 + 140*x302 + 239*x303 + 151*x306 + x307 + x308 + 3*x309
       - x310 + 2*x313 - x343 =L= -1;

e33..  - 60*x299 - x300 - 4*x301 - 117*x302 - 230*x303 - x304 - 160*x306 - x307
       - x308 - 7*x309 + x310 - x312 - 2*x313 - x344 =L= -1;

e34..  - 64*x299 - x300 - 3*x301 - 140*x302 - 335*x303 - 158*x306 - x308
       - 3*x309 + x310 - x345 =L= -1;

e35..    59*x299 + x300 + 4*x301 + 135*x302 + 234*x303 + 161*x306 + 2*x308
       + 7*x309 - x310 - x346 =L= -1;

e36..    44*x299 + x300 + 3*x301 + 130*x302 + 233*x303 + 179*x306 + x308
       + 3*x309 - x310 + x312 - x347 =L= -1;

e37..    42*x299 + x300 + 4*x301 + 140*x302 + 226*x303 + 178*x306 + x308
       + 3*x309 - x310 - x348 =L= -1;

e38..  - 43*x299 - x300 - 4*x301 - 120*x302 - 177*x303 - 2*x305 - 120*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x349 =L= -1;

e39..  - 57*x299 - x300 - 4*x301 - 150*x302 - 276*x303 - 2*x305 - 112*x306
       - 2*x308 - 6*x309 + x310 - x312 - x313 - x350 =L= -1;

e40..  - 55*x299 - x300 - 4*x301 - 132*x302 - 353*x303 - 132*x306 - x307
       - 2*x308 - 7*x309 + x310 - x312 - x313 - x351 =L= -1;

e41..    61*x299 + x300 + 3*x301 + 150*x302 + 243*x303 + x304 + 137*x306 + x307
       + 2*x308 + 3*x309 - x310 + x312 - x352 =L= -1;

e42..  - 65*x299 - 4*x301 - 150*x302 - 225*x303 - 2*x305 - 114*x306 - x307
       - 2*x308 - 7*x309 + x310 - 3*x313 - x353 =L= -1;

e43..    40*x299 + x300 + x301 + 140*x302 + 199*x303 + 178*x306 + x307 + x308
       + 7*x309 - x310 + x312 - x354 =L= -1;

e44..    71*x299 + 2*x301 + 160*x302 + 302*x303 + 162*x306 + x308 + 3*x309
       - x310 + 2*x313 - x355 =L= -1;

e45..    59*x299 + x300 + 3*x301 + 150*x302 + 212*x303 + x304 + 157*x306 + x307
       + x308 + 3*x309 - x310 - x356 =L= -1;

e46..  - 61*x299 - 4*x301 - 130*x302 - 330*x303 - 2*x305 - 169*x306 - x308
       - 3*x309 + x310 - x357 =L= -1;

e47..  - 58*x299 - x300 - 3*x301 - 112*x302 - 230*x303 - 2*x305 - 165*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x313 - x358 =L= -1;

e48..    51*x299 + x300 + 3*x301 + 110*x302 + 175*x303 + 123*x306 + x308
       + 3*x309 - x310 - x359 =L= -1;

e49..  - 50*x299 - x300 - 4*x301 - 150*x302 - 243*x303 - 2*x305 - 128*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x360 =L= -1;

e50..    65*x299 + 3*x301 + 140*x302 + 417*x303 + x304 + 2*x305 + 157*x306
       + x308 + 3*x309 - x310 + x313 - x361 =L= -1;

e51..    53*x299 + x300 + 3*x301 + 130*x302 + 197*x303 + x304 + 2*x305
       + 152*x306 + x307 + 3*x308 + 3*x309 - x310 - x362 =L= -1;

e52..    41*x299 + 2*x301 + 105*x302 + 198*x303 + 168*x306 + x308 + 3*x309
       - x310 + x313 - x363 =L= -1;

e53..    65*x299 + x300 + 4*x301 + 120*x302 + 177*x303 + 140*x306 + x308
       + 7*x309 - x310 - x364 =L= -1;

e54..  - 44*x299 - x300 - 4*x301 - 112*x302 - 290*x303 - 2*x305 - 153*x306
       - x308 - 3*x309 + x310 - x313 - x365 =L= -1;

e55..    44*x299 + x300 + 2*x301 + 130*x302 + 219*x303 + 2*x305 + 188*x306
       + x308 + 3*x309 - x310 - x366 =L= -1;

e56..  - 60*x299 - x300 - 4*x301 - 130*x302 - 253*x303 - 144*x306 - x307 - x308
       - 7*x309 + x310 - x312 - x313 - x367 =L= -1;

e57..  - 54*x299 - x300 - 4*x301 - 124*x302 - 266*x303 - 2*x305 - 109*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x368 =L= -1;

e58..  - 50*x299 - x300 - 3*x301 - 140*x302 - 233*x303 - 163*x306 - 2*x308
       - 7*x309 + x310 - x313 - x369 =L= -1;

e59..  - 41*x299 - x300 - 4*x301 - 110*x302 - 172*x303 - 2*x305 - 158*x306
       - x308 - 7*x309 + x310 - x370 =L= -1;

e60..    54*x299 + x300 + 3*x301 + 125*x302 + 273*x303 + 2*x305 + 152*x306
       + 3*x308 + 3*x309 - x310 + x313 - x371 =L= -1;

e61..    51*x299 + x300 + x301 + 125*x302 + 213*x303 + 2*x305 + 125*x306 + x307
       + x308 + 3*x309 - x310 + x312 + x313 - x372 =L= -1;

e62..  - 51*x299 - 4*x301 - 130*x302 - 305*x303 - 142*x306 - x307 - 2*x308
       - 7*x309 + x310 - x312 - x373 =L= -1;

e63..    46*x299 + 3*x301 + 142*x302 + 177*x303 + 2*x305 + 160*x306 + x307
       + 3*x308 + 3*x309 - x310 + x312 - x374 =L= -1;

e64..  - 58*x299 - x300 - 4*x301 - 128*x302 - 216*x303 - 2*x305 - 131*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x375 =L= -1;

e65..    54*x299 + 3*x301 + 135*x302 + 304*x303 + x304 + 170*x306 + x308
       + 3*x309 - x310 - x376 =L= -1;

e66..  - 54*x299 - x300 - 4*x301 - 120*x302 - 188*x303 - 113*x306 - x307
       - 2*x308 - 7*x309 + x310 - x313 - x377 =L= -1;

e67..  - 60*x299 - x300 - 4*x301 - 145*x302 - 282*x303 - 2*x305 - 142*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x378 =L= -1;

e68..  - 60*x299 - x300 - 3*x301 - 140*x302 - 185*x303 - 2*x305 - 155*x306
       - 3*x307 - 2*x308 - 3*x309 + x310 - x379 =L= -1;

e69..    54*x299 + x300 + 3*x301 + 150*x302 + 232*x303 + 2*x305 + 165*x306
       + x307 + x308 + 7*x309 - x310 - x380 =L= -1;

e70..  - 59*x299 - x300 - 4*x301 - 170*x302 - 326*x303 - 2*x305 - 140*x306
       - 3*x307 - 3*x308 - 7*x309 + x310 - x312 - x381 =L= -1;

e71..  - 46*x299 - x300 - 3*x301 - 150*x302 - 231*x303 - 147*x306 - 3*x307
       - 2*x308 - 3*x309 + x310 - x382 =L= -1;

e72..    65*x299 + 3*x301 + 155*x302 + 269*x303 + 148*x306 + x308 + 3*x309
       - x310 - x383 =L= -1;

e73..  - 67*x299 - x300 - 4*x301 - 125*x302 - 254*x303 - x304 - 163*x306
       - 2*x308 - 7*x309 + x310 - 2*x313 - x384 =L= -1;

e74..  - 62*x299 - x300 - 4*x301 - 120*x302 - 267*x303 - 99*x306 - x307
       - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x385 =L= -1;

e75..  - 65*x299 - x300 - 4*x301 - 110*x302 - 248*x303 - 2*x305 - 158*x306
       - x308 - 6*x309 + x310 - 2*x313 - x386 =L= -1;

e76..  - 44*x299 - x300 - 4*x301 - 110*x302 - 197*x303 - 2*x305 - 177*x306
       - x308 - 3*x309 + x310 - x313 - x387 =L= -1;

e77..    65*x299 + 3*x301 + 160*x302 + 360*x303 + 2*x305 + 151*x306 + x308
       + 3*x309 - x310 - x388 =L= -1;

e78..  - 60*x299 - x300 - 4*x301 - 125*x302 - 258*x303 - 2*x305 - 141*x306
       - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x389 =L= -1;

e79..    51*x299 + 3*x301 + 140*x302 + 308*x303 + 2*x305 + 142*x306 + x307
       + x308 + 3*x309 - x310 + x313 - x390 =L= -1;

e80..    48*x299 + x300 + 2*x301 + 130*x302 + 245*x303 + 2*x305 + 180*x306
       + 2*x308 + 3*x309 - x310 - x391 =L= -1;

e81..  - 58*x299 - x300 - 4*x301 - 150*x302 - 270*x303 - 2*x305 - 111*x306
       - x308 - 7*x309 + x310 - x312 - x392 =L= -1;

e82..    45*x299 + x300 + 4*x301 + 104*x302 + 208*x303 + 2*x305 + 148*x306
       + 3*x307 + 2*x308 + 3*x309 - x310 + x312 - x393 =L= -1;

e83..    53*x299 + 4*x301 + 130*x302 + 264*x303 + 2*x305 + 143*x306 + 2*x308
       + 3*x309 - x310 - x394 =L= -1;

e84..    39*x299 + x300 + 3*x301 + 140*x302 + 321*x303 + 2*x305 + 182*x306
       + x308 + 3*x309 - x310 - x395 =L= -1;

e85..  - 68*x299 - x300 - 3*x301 - 180*x302 - 274*x303 - x304 - 2*x305
       - 150*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x396 =L= -1;

e86..    52*x299 + x300 + 2*x301 + 120*x302 + 325*x303 + 172*x306 + x308
       + 3*x309 - x310 - x397 =L= -1;

e87..    44*x299 + x300 + 3*x301 + 140*x302 + 235*x303 + 2*x305 + 180*x306
       + x308 + 3*x309 - x310 - x398 =L= -1;

e88..    47*x299 + x300 + 3*x301 + 138*x302 + 257*x303 + 2*x305 + 156*x306
       + x308 + 3*x309 - x310 - x399 =L= -1;

e89..    53*x299 + 4*x301 + 138*x302 + 234*x303 + 2*x305 + 160*x306 + x308
       + 3*x309 - x310 - x400 =L= -1;

e90..    51*x299 + 3*x301 + 130*x302 + 256*x303 + 2*x305 + 149*x306 + x308
       + 3*x309 - x310 - x401 =L= -1;

e91..    66*x299 + x300 + 4*x301 + 120*x302 + 302*x303 + 2*x305 + 151*x306
       + 2*x308 + 3*x309 - x310 - x402 =L= -1;

e92..  - 62*x299 - 4*x301 - 160*x302 - 164*x303 - 2*x305 - 145*x306 - 6*x307
       - 3*x308 - 7*x309 + x310 - 3*x313 - x403 =L= -1;

e93..    62*x299 + x300 + 3*x301 + 130*x302 + 231*x303 + 146*x306 + x307
       + 2*x308 + 7*x309 - x310 + 3*x313 - x404 =L= -1;

e94..    44*x299 + 3*x301 + 108*x302 + 141*x303 + 175*x306 + 2*x308 + 3*x309
       - x310 - x405 =L= -1;

e95..    63*x299 + 3*x301 + 135*x302 + 252*x303 + 2*x305 + 172*x306 + x308
       + 3*x309 - x310 - x406 =L= -1;

e96..  - 52*x299 - x300 - 4*x301 - 128*x302 - 255*x303 - 161*x306 - x308
       - 7*x309 + x310 - x312 - x313 - x407 =L= -1;

e97..  - 59*x299 - x300 - 4*x301 - 110*x302 - 239*x303 - 2*x305 - 142*x306
       - x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x408 =L= -1;

e98..  - 60*x299 - 4*x301 - 150*x302 - 258*x303 - 2*x305 - 157*x306 - 2*x307
       - 2*x308 - 7*x309 + x310 - 2*x313 - x409 =L= -1;

e99..    52*x299 + x300 + 2*x301 + 134*x302 + 201*x303 + 158*x306 + x308
       + 3*x309 - x310 + x313 - x410 =L= -1;

e100..    48*x299 + x300 + 4*x301 + 122*x302 + 222*x303 + 2*x305 + 186*x306
        + x308 + 3*x309 - x310 - x411 =L= -1;

e101..    45*x299 + x300 + 4*x301 + 115*x302 + 260*x303 + 2*x305 + 185*x306
        + x308 + 3*x309 - x310 - x412 =L= -1;

e102..    34*x299 + x300 + x301 + 118*x302 + 182*x303 + 2*x305 + 174*x306
        + x308 + 3*x309 - x310 - x413 =L= -1;

e103..    57*x299 + 4*x301 + 128*x302 + 303*x303 + 2*x305 + 159*x306 + x308
        + 3*x309 - x310 + x313 - x414 =L= -1;

e104..    71*x299 + 3*x301 + 110*x302 + 265*x303 + x304 + 2*x305 + 130*x306
        + x308 + 3*x309 - x310 + x313 - x415 =L= -1;

e105..  - 49*x299 - x300 - 3*x301 - 120*x302 - 188*x303 - 139*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - 3*x313 - x416 =L= -1;

e106..    54*x299 + x300 + 2*x301 + 108*x302 + 309*x303 + 156*x306 + x308
        + 7*x309 - x310 - x417 =L= -1;

e107..  - 59*x299 - x300 - 4*x301 - 140*x302 - 177*x303 - 162*x306 - x308
        - 7*x309 + x310 - x312 - x313 - x418 =L= -1;

e108..  - 57*x299 - x300 - 3*x301 - 128*x302 - 229*x303 - 2*x305 - 150*x306
        - 2*x308 - 7*x309 + x310 - x313 - x419 =L= -1;

e109..  - 61*x299 - x300 - 4*x301 - 120*x302 - 260*x303 - 140*x306 - 3*x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x420 =L= -1;

e110..  - 39*x299 - x300 - 4*x301 - 118*x302 - 219*x303 - 140*x306 - x307
        - 2*x308 - 7*x309 + x310 - x421 =L= -1;

e111..  - 61*x299 - 4*x301 - 145*x302 - 307*x303 - 2*x305 - 146*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - x422 =L= -1;

e112..  - 56*x299 - x300 - 4*x301 - 125*x302 - 249*x303 - x304 - 2*x305
        - 144*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x423 =L= -1;

e113..    52*x299 + x300 + x301 + 118*x302 + 186*x303 + 2*x305 + 190*x306
        + 2*x308 + 6*x309 - x310 - x424 =L= -1;

e114..  - 43*x299 - 4*x301 - 132*x302 - 341*x303 - x304 - 2*x305 - 136*x306
        - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - x425 =L= -1;

e115..  - 62*x299 - 3*x301 - 130*x302 - 263*x303 - 97*x306 - x307 - 2*x308
        - 7*x309 + x310 - x313 - x426 =L= -1;

e116..    41*x299 + x300 + 2*x301 + 135*x302 + 203*x303 + 132*x306 + 2*x308
        + 6*x309 - x310 - x427 =L= -1;

e117..    58*x299 + x300 + 3*x301 + 140*x302 + 211*x303 + x304 + 2*x305
        + 165*x306 + x308 + 3*x309 - x310 - x428 =L= -1;

e118..    35*x299 + 4*x301 + 138*x302 + 183*x303 + 182*x306 + x307 + x308
        + 3*x309 - x310 - x429 =L= -1;

e119..  - 63*x299 - x300 - 4*x301 - 130*x302 - 330*x303 - x304 - 2*x305
        - 132*x306 - x307 - x308 - 7*x309 + x310 - x312 - 3*x313 - x430 =L= -1;

e120..  - 65*x299 - x300 - 4*x301 - 135*x302 - 254*x303 - 2*x305 - 127*x306
        - 2*x307 - 2*x308 - 7*x309 + x310 - x313 - x431 =L= -1;

e121..  - 48*x299 - x300 - 4*x301 - 130*x302 - 256*x303 - x304 - 2*x305
        - 150*x306 - x308 - 7*x309 + x310 - x312 - 2*x313 - x432 =L= -1;

e122..  - 63*x299 - 4*x301 - 150*x302 - 407*x303 - 2*x305 - 154*x306 - 4*x307
        - 2*x308 - 7*x309 + x310 - 3*x313 - x433 =L= -1;

e123..    51*x299 + x300 + 3*x301 + 100*x302 + 222*x303 + 143*x306 + x307
        + 2*x308 + 3*x309 - x310 + x312 - x434 =L= -1;

e124..  - 55*x299 - x300 - 4*x301 - 140*x302 - 217*x303 - 111*x306 - 5*x307
        - 3*x308 - 7*x309 + x310 - x312 - x435 =L= -1;

e125..  - 65*x299 - x300 - x301 - 138*x302 - 282*x303 - x304 - 2*x305
        - 174*x306 - x307 - 2*x308 - 3*x309 + x310 - x313 - x436 =L= -1;

e126..    45*x299 + 2*x301 + 130*x302 + 234*x303 + 2*x305 + 175*x306 + 2*x308
        + 3*x309 - x310 - x437 =L= -1;

e127..  - 56*x299 - 4*x301 - 200*x302 - 288*x303 - x304 - 2*x305 - 133*x306
        - 4*x307 - 3*x308 - 7*x309 + x310 - x312 - 2*x313 - x438 =L= -1;

e128..  - 54*x299 - x300 - 4*x301 - 110*x302 - 239*x303 - 126*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x439 =L= -1;

e129..    44*x299 + x300 + 2*x301 + 120*x302 + 220*x303 + 170*x306 + x308
        + 3*x309 - x310 - x440 =L= -1;

e130..    62*x299 + 4*x301 + 124*x302 + 209*x303 + 163*x306 + x308 + 3*x309
        - x310 - x441 =L= -1;

e131..    54*x299 + x300 + 3*x301 + 120*x302 + 258*x303 + 2*x305 + 147*x306
        + 2*x308 + 7*x309 - x310 - x442 =L= -1;

e132..    51*x299 + x300 + 3*x301 + 94*x302 + 227*x303 + 154*x306 + x308
        + 7*x309 - x310 + x312 + x313 - x443 =L= -1;

e133..    29*x299 + x300 + 2*x301 + 130*x302 + 204*x303 + 2*x305 + 202*x306
        + x308 + 3*x309 - x310 - x444 =L= -1;

e134..    51*x299 + x300 + 4*x301 + 140*x302 + 261*x303 + 2*x305 + 186*x306
        + x308 + 3*x309 - x310 + x312 - x445 =L= -1;

e135..    43*x299 + 3*x301 + 122*x302 + 213*x303 + 165*x306 + 2*x308 + 3*x309
        - x310 - x446 =L= -1;

e136..    55*x299 + 2*x301 + 135*x302 + 250*x303 + 2*x305 + 161*x306 + x307
        + 2*x308 + 3*x309 - x310 - x447 =L= -1;

e137..  - 70*x299 - x300 - 4*x301 - 145*x302 - 174*x303 - 125*x306 - 2*x307
        - 3*x308 - 7*x309 + x310 - x312 - x448 =L= -1;

e138..  - 62*x299 - x300 - 2*x301 - 120*x302 - 281*x303 - 2*x305 - 103*x306
        - x307 - 2*x308 - 7*x309 + x310 - x313 - x449 =L= -1;

e139..  - 35*x299 - x300 - 4*x301 - 120*x302 - 198*x303 - 130*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - x450 =L= -1;

e140..    51*x299 + x300 + 3*x301 + 125*x302 + 245*x303 + x304 + 2*x305
        + 166*x306 + 2*x307 + 2*x308 + 3*x309 - x310 - x451 =L= -1;

e141..    59*x299 + x300 + 2*x301 + 140*x302 + 221*x303 + 164*x306 + x308
        + 3*x309 - x310 + x312 - x452 =L= -1;

e142..  - 59*x299 - x300 - x301 - 170*x302 - 288*x303 - 2*x305 - 159*x306
        - 2*x308 - 7*x309 + x310 - x453 =L= -1;

e143..    52*x299 + x300 + 2*x301 + 128*x302 + 205*x303 + x304 + 184*x306
        + x308 + 3*x309 - x310 - x454 =L= -1;

e144..  - 64*x299 - x300 - 3*x301 - 125*x302 - 309*x303 - 131*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - x455 =L= -1;

e145..    58*x299 + x300 + 3*x301 + 105*x302 + 240*x303 + 2*x305 + 154*x306
        + 2*x308 + 7*x309 - x310 + x312 - x456 =L= -1;

e146..  - 47*x299 - x300 - 3*x301 - 108*x302 - 243*x303 - 152*x306 - x308
        - 3*x309 + x310 - x457 =L= -1;

e147..  - 57*x299 - x300 - 4*x301 - 165*x302 - 289*x303 - x304 - 2*x305
        - 124*x306 - x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x458 =L= -1;

e148..    41*x299 + x300 + 3*x301 + 112*x302 + 250*x303 + 179*x306 + x308
        + 3*x309 - x310 - x459 =L= -1;

e149..    45*x299 + x300 + 2*x301 + 128*x302 + 308*x303 + 2*x305 + 170*x306
        + x308 + 3*x309 - x310 - x460 =L= -1;

e150..    60*x299 + 3*x301 + 102*x302 + 318*x303 + 160*x306 + x308 + 3*x309
        - x310 + x313 - x461 =L= -1;

e151..    52*x299 + x300 + x301 + 152*x302 + 298*x303 + x304 + 178*x306 + x307
        + 2*x308 + 7*x309 - x310 - x462 =L= -1;

e152..    42*x299 + 4*x301 + 102*x302 + 265*x303 + 2*x305 + 122*x306 + 2*x308
        + 3*x309 - x310 - x463 =L= -1;

e153..    67*x299 + 3*x301 + 115*x302 + 564*x303 + 2*x305 + 160*x306 + x307
        + 2*x308 + 7*x309 - x310 - x464 =L= -1;

e154..  - 55*x299 - x300 - 4*x301 - 160*x302 - 289*x303 - 2*x305 - 145*x306
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x465 =L= -1;

e155..  - 64*x299 - x300 - 4*x301 - 120*x302 - 246*x303 - 2*x305 - 96*x306
        - 2*x307 - 3*x308 - 3*x309 + x310 - x312 - x313 - x466 =L= -1;

e156..  - 70*x299 - x300 - 4*x301 - 130*x302 - 322*x303 - 2*x305 - 109*x306
        - 2*x307 - 2*x308 - 3*x309 + x310 - 3*x313 - x467 =L= -1;

e157..  - 51*x299 - x300 - 4*x301 - 140*x302 - 299*x303 - 173*x306 - x307
        - x308 - 7*x309 + x310 - x312 - x468 =L= -1;

e158..  - 58*x299 - x300 - 4*x301 - 125*x302 - 300*x303 - 2*x305 - 171*x306
        - x308 - 7*x309 + x310 - 2*x313 - x469 =L= -1;

e159..  - 60*x299 - x300 - 4*x301 - 140*x302 - 293*x303 - 2*x305 - 170*x306
        - x307 - 2*x308 - 7*x309 + x310 - 2*x313 - x470 =L= -1;

e160..    68*x299 + x300 + 3*x301 + 118*x302 + 277*x303 + 151*x306 + x307
        + x308 + 7*x309 - x310 + x313 - x471 =L= -1;

e161..    46*x299 + x300 + 2*x301 + 101*x302 + 197*x303 + x304 + 156*x306
        + x308 + 7*x309 - x310 - x472 =L= -1;

e162..  - 77*x299 - x300 - 4*x301 - 125*x302 - 304*x303 - 2*x305 - 162*x306
        - x308 - 3*x309 + x310 - x312 - 3*x313 - x473 =L= -1;

e163..    54*x299 + 3*x301 + 110*x302 + 214*x303 + 158*x306 + x307 + 2*x308
        + 3*x309 - x310 - x474 =L= -1;

e164..    58*x299 + 4*x301 + 100*x302 + 248*x303 + 2*x305 + 122*x306 + x307
        + 2*x308 + 3*x309 - x310 - x475 =L= -1;

e165..    48*x299 + x300 + 3*x301 + 124*x302 + 255*x303 + x304 + 175*x306
        + x308 + 3*x309 - x310 + 2*x313 - x476 =L= -1;

e166..    57*x299 + x300 + 4*x301 + 132*x302 + 207*x303 + 168*x306 + x308
        + 7*x309 - x310 + x312 - x477 =L= -1;

e167..    54*x299 + 2*x301 + 132*x302 + 288*x303 + x304 + 2*x305 + 159*x306
        + x308 + 3*x309 - x310 + x312 + x313 - x478 =L= -1;

e168..  - 35*x299 - x300 - 4*x301 - 126*x302 - 282*x303 - 2*x305 - 156*x306
        - x308 - 7*x309 + x310 - x312 - x479 =L= -1;

e169..    45*x299 + 2*x301 + 112*x302 + 160*x303 + 138*x306 + 2*x308 + 3*x309
        - x310 - x480 =L= -1;

e170..  - 70*x299 - x300 - 3*x301 - 160*x302 - 269*x303 - 112*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x481 =L= -1;

e171..    53*x299 + x300 + 4*x301 + 142*x302 + 226*x303 + 2*x305 + 111*x306
        + x308 + 7*x309 - x310 + x312 - x482 =L= -1;

e172..  - 59*x299 - 4*x301 - 174*x302 - 249*x303 - 143*x306 - 2*x308 - 3*x309
        + x310 - x312 - x483 =L= -1;

e173..    62*x299 + 4*x301 + 140*x302 + 394*x303 + 2*x305 + 157*x306 + x307
        + 2*x308 + 3*x309 - x310 - x484 =L= -1;

e174..  - 64*x299 - x300 - 4*x301 - 145*x302 - 212*x303 - 2*x305 - 132*x306
        - 2*x307 - 2*x308 - 6*x309 + x310 - 2*x313 - x485 =L= -1;

e175..  - 57*x299 - x300 - 4*x301 - 152*x302 - 274*x303 - 88*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x486 =L= -1;

e176..    52*x299 + x300 + 4*x301 + 108*x302 + 233*x303 + x304 + 147*x306
        + x308 + 7*x309 - x310 + 3*x313 - x487 =L= -1;

e177..  - 56*x299 - x300 - 4*x301 - 132*x302 - 184*x303 - 2*x305 - 105*x306
        - 2*x307 - 2*x308 - 6*x309 + x310 - x312 - x313 - x488 =L= -1;

e178..    43*x299 + x300 + 3*x301 + 130*x302 + 315*x303 + 162*x306 + x307
        + x308 + 3*x309 - x310 + x313 - x489 =L= -1;

e179..    53*x299 + x300 + 3*x301 + 130*x302 + 246*x303 + x304 + 2*x305
        + 173*x306 + x308 + 3*x309 - x310 + 3*x313 - x490 =L= -1;

e180..  - 48*x299 - x300 - 4*x301 - 124*x302 - 274*x303 - 2*x305 - 166*x306
        - 2*x308 - 7*x309 + x310 - x491 =L= -1;

e181..  - 56*x299 - 4*x301 - 134*x302 - 409*x303 - 2*x305 - 150*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x492 =L= -1;

e182..    42*x299 + x300 + x301 + 148*x302 + 244*x303 + 2*x305 + 178*x306
        + x308 + 3*x309 - x310 + 2*x313 - x493 =L= -1;

e183..    59*x299 + x300 + x301 + 178*x302 + 270*x303 + 2*x305 + 145*x306
        + 4*x307 + 3*x308 + 7*x309 - x310 - x494 =L= -1;

e184..  - 60*x299 - 4*x301 - 158*x302 - 305*x303 - 2*x305 - 161*x306 - x308
        - 3*x309 + x310 - x495 =L= -1;

e185..    63*x299 + 2*x301 + 140*x302 + 195*x303 + 179*x306 + x308 + 3*x309
        - x310 + 2*x313 - x496 =L= -1;

e186..    42*x299 + x300 + 3*x301 + 120*x302 + 240*x303 + x304 + 194*x306
        + 3*x308 + 7*x309 - x310 - x497 =L= -1;

e187..  - 66*x299 - x300 - 2*x301 - 160*x302 - 246*x303 - 120*x306 - 2*x308
        - 6*x309 + x310 - x312 - 3*x313 - x498 =L= -1;

e188..  - 54*x299 - x300 - 2*x301 - 192*x302 - 283*x303 - 2*x305 - 195*x306
        - x308 - 7*x309 + x310 - x313 - x499 =L= -1;

e189..  - 69*x299 - x300 - 3*x301 - 140*x302 - 254*x303 - 2*x305 - 146*x306
        - 2*x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x500 =L= -1;

e190..    50*x299 + x300 + 3*x301 + 129*x302 + 196*x303 + 163*x306 + x308
        + 3*x309 - x310 - x501 =L= -1;

e191..  - 51*x299 - x300 - 4*x301 - 140*x302 - 298*x303 - 122*x306 - 4*x307
        - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x502 =L= -1;

e192..  - 62*x299 - 4*x301 - 138*x302 - 294*x303 - x304 - 106*x306 - x307
        - 2*x308 - 3*x309 + x310 - 3*x313 - x503 =L= -1;

e193..    68*x299 + 3*x301 + 120*x302 + 211*x303 + 2*x305 + 115*x306 + x307
        + 2*x308 + 3*x309 - x310 - x504 =L= -1;

e194..  - 67*x299 - x300 - 4*x301 - 100*x302 - 299*x303 - 2*x305 - 125*x306
        - 2*x308 - 3*x309 + x310 - x312 - 2*x313 - x505 =L= -1;

e195..    69*x299 + x300 + x301 + 160*x302 + 234*x303 + x304 + 2*x305
        + 131*x306 + 2*x308 + 3*x309 - x310 + x313 - x506 =L= -1;

e196..    45*x299 + 4*x301 + 138*x302 + 236*x303 + 2*x305 + 152*x306 + 2*x308
        + 3*x309 - x310 + x312 - x507 =L= -1;

e197..    50*x299 + 2*x301 + 120*x302 + 244*x303 + 162*x306 + x307 + x308
        + 3*x309 - x310 - x508 =L= -1;

e198..  - 59*x299 - x300 - x301 - 160*x302 - 273*x303 - 2*x305 - 125*x306
        - x308 - 3*x309 + x310 - x509 =L= -1;

e199..    50*x299 + 4*x301 + 110*x302 + 254*x303 + 2*x305 + 159*x306 + x308
        + 3*x309 - x310 - x510 =L= -1;

e200..    64*x299 + 4*x301 + 180*x302 + 325*x303 + 154*x306 + x308 + 3*x309
        - x310 + x312 - x511 =L= -1;

e201..    57*x299 + x300 + 3*x301 + 150*x302 + 126*x303 + x304 + 173*x306
        + x308 + 7*x309 - x310 + x313 - x512 =L= -1;

e202..    64*x299 + 3*x301 + 140*x302 + 313*x303 + 133*x306 + x308 + 7*x309
        - x310 - x513 =L= -1;

e203..    43*x299 + x300 + 4*x301 + 110*x302 + 211*x303 + 161*x306 + x308
        + 7*x309 - x310 - x514 =L= -1;

e204..  - 45*x299 - x300 - 4*x301 - 142*x302 - 309*x303 - 2*x305 - 147*x306
        - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x515 =L= -1;

e205..  - 58*x299 - x300 - 4*x301 - 128*x302 - 259*x303 - 2*x305 - 130*x306
        - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x516 =L= -1;

e206..  - 50*x299 - x300 - 4*x301 - 144*x302 - 200*x303 - 2*x305 - 126*x306
        - 2*x308 - 7*x309 + x310 - x312 - x517 =L= -1;

e207..    55*x299 + x300 + 2*x301 + 130*x302 + 262*x303 + 155*x306 + x308
        + 3*x309 - x310 - x518 =L= -1;

e208..  - 62*x299 - 4*x301 - 150*x302 - 244*x303 - 154*x306 - x307 - 2*x308
        - 3*x309 + x310 - x312 - x519 =L= -1;

e209..    37*x299 + 3*x301 + 120*x302 + 215*x303 + 170*x306 + x308 + 3*x309
        - x310 - x520 =L= -1;

e210..  - 38*x299 - x300 - x301 - 120*x302 - 231*x303 - 182*x306 - 3*x307
        - 2*x308 - 7*x309 + x310 - x312 - x521 =L= -1;

e211..    41*x299 + x300 + 3*x301 + 130*x302 + 214*x303 + 2*x305 + 168*x306
        + 2*x307 + 2*x308 + 3*x309 - x310 - x522 =L= -1;

e212..  - 66*x299 - 4*x301 - 178*x302 - 228*x303 - x304 - 165*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x523 =L= -1;

e213..  - 52*x299 - x300 - 4*x301 - 112*x302 - 230*x303 - 160*x306 - x308
        - 3*x309 + x310 - x313 - x524 =L= -1;

e214..    56*x299 + x300 + x301 + 120*x302 + 193*x303 + 2*x305 + 162*x306
        + x307 + 2*x308 + 7*x309 - x310 - x525 =L= -1;

e215..    46*x299 + 2*x301 + 105*x302 + 204*x303 + 172*x306 + x308 + 3*x309
        - x310 - x526 =L= -1;

e216..    46*x299 + 4*x301 + 138*x302 + 243*x303 + 2*x305 + 152*x306 + 2*x308
        + 3*x309 - x310 + x312 - x527 =L= -1;

e217..    64*x299 + 4*x301 + 130*x302 + 303*x303 + 122*x306 + 2*x307 + 2*x308
        + 3*x309 - x310 + 2*x313 - x528 =L= -1;

e218..    59*x299 + x300 + 4*x301 + 138*x302 + 271*x303 + 2*x305 + 182*x306
        + x308 + 3*x309 - x310 - x529 =L= -1;

e219..    41*x299 + 3*x301 + 112*x302 + 268*x303 + 2*x305 + 172*x306 + x308
        + 3*x309 - x310 + x312 - x530 =L= -1;

e220..    54*x299 + 3*x301 + 108*x302 + 267*x303 + 2*x305 + 167*x306 + x308
        + 3*x309 - x310 - x531 =L= -1;

e221..    39*x299 + 3*x301 + 94*x302 + 199*x303 + 179*x306 + x308 + 3*x309
        - x310 - x532 =L= -1;

e222..  - 53*x299 - x300 - 4*x301 - 123*x302 - 282*x303 - 95*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x533 =L= -1;

e223..  - 63*x299 - 4*x301 - 108*x302 - 269*x303 - 169*x306 - x307 - 2*x308
        - 3*x309 + x310 - x312 - 2*x313 - x534 =L= -1;

e224..    34*x299 + 2*x301 + 118*x302 + 210*x303 + 192*x306 + x308 + 3*x309
        - x310 - x535 =L= -1;

e225..    47*x299 + x300 + 4*x301 + 112*x302 + 204*x303 + 143*x306 + x308
        + 3*x309 - x310 - x536 =L= -1;

e226..    67*x299 + 3*x301 + 152*x302 + 277*x303 + 172*x306 + x308 + 3*x309
        - x310 + x313 - x537 =L= -1;

e227..  - 54*x299 - x300 - 4*x301 - 110*x302 - 206*x303 - 2*x305 - 108*x306
        - 2*x308 - 3*x309 + x310 - x312 - x313 - x538 =L= -1;

e228..  - 66*x299 - x300 - 4*x301 - 112*x302 - 212*x303 - 2*x305 - 132*x306
        - x308 - 3*x309 + x310 - x312 - x313 - x539 =L= -1;

e229..    52*x299 + 3*x301 + 136*x302 + 196*x303 + 2*x305 + 169*x306 + 2*x308
        + 3*x309 - x310 - x540 =L= -1;

e230..  - 55*x299 - 4*x301 - 180*x302 - 327*x303 - x305 - 117*x306 - 3*x307
        - 2*x308 - 3*x309 + x310 - x312 - x541 =L= -1;

e231..  - 49*x299 - x300 - 3*x301 - 118*x302 - 149*x303 - 2*x305 - 126*x306
        - x308 - 3*x309 + x310 - 3*x313 - x542 =L= -1;

e232..    74*x299 + 2*x301 + 120*x302 + 269*x303 + 2*x305 + 121*x306 + x308
        + 3*x309 - x310 + x312 + x313 - x543 =L= -1;

e233..    54*x299 + 3*x301 + 160*x302 + 201*x303 + 163*x306 + x308 + 3*x309
        - x310 + x313 - x544 =L= -1;

e234..  - 54*x299 - x300 - 4*x301 - 122*x302 - 286*x303 - 2*x305 - 116*x306
        - 3*x307 - 2*x308 - 3*x309 + x310 - x312 - 2*x313 - x545 =L= -1;

e235..  - 56*x299 - x300 - 4*x301 - 130*x302 - 283*x303 - x304 - 2*x305
        - 103*x306 - x307 - 3*x308 - 7*x309 + x310 - x312 - x546 =L= -1;

e236..  - 46*x299 - x300 - 4*x301 - 120*x302 - 249*x303 - 2*x305 - 144*x306
        - x308 - 7*x309 + x310 - x547 =L= -1;

e237..    49*x299 + 2*x301 + 134*x302 + 271*x303 + 162*x306 + 2*x308 + 3*x309
        - x310 - x548 =L= -1;

e238..    42*x299 + x300 + 2*x301 + 120*x302 + 295*x303 + 162*x306 + x308
        + 3*x309 - x310 - x549 =L= -1;

e239..    41*x299 + x300 + 2*x301 + 110*x302 + 235*x303 + 153*x306 + x308
        + 3*x309 - x310 - x550 =L= -1;

e240..    41*x299 + 2*x301 + 126*x302 + 306*x303 + 163*x306 + x308 + 3*x309
        - x310 - x551 =L= -1;

e241..    49*x299 + 4*x301 + 130*x302 + 269*x303 + 163*x306 + x308 + 3*x309
        - x310 - x552 =L= -1;

e242..  - 61*x299 - x300 - x301 - 134*x302 - 234*x303 - 145*x306 - 2*x307
        - 2*x308 - 3*x309 + x310 - 2*x313 - x553 =L= -1;

e243..    60*x299 + 3*x301 + 120*x302 + 178*x303 + x304 + 96*x306 + x308
        + 3*x309 - x310 - x554 =L= -1;

e244..  - 67*x299 - x300 - 4*x301 - 120*x302 - 237*x303 - 71*x306 - x307
        - 2*x308 - 3*x309 + x310 - x555 =L= -1;

e245..  - 58*x299 - x300 - 4*x301 - 100*x302 - 234*x303 - 156*x306 - x308
        - 7*x309 + x310 - x313 - x556 =L= -1;

e246..  - 47*x299 - x300 - 4*x301 - 110*x302 - 275*x303 - 2*x305 - 118*x306
        - x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x557 =L= -1;

e247..  - 52*x299 - x300 - 4*x301 - 125*x302 - 212*x303 - 168*x306 - x307
        - x308 - 7*x309 + x310 - 2*x313 - x558 =L= -1;

e248..    62*x299 + x300 + 2*x301 + 128*x302 + 208*x303 + x304 + 2*x305
        + 140*x306 + x308 + 3*x309 - x310 - x559 =L= -1;

e249..    57*x299 + x300 + 4*x301 + 110*x302 + 201*x303 + 126*x306 + x307
        + 2*x308 + 6*x309 - x310 + x312 - x560 =L= -1;

e250..  - 58*x299 - x300 - 4*x301 - 146*x302 - 218*x303 - 105*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - x313 - x561 =L= -1;

e251..    64*x299 + x300 + 4*x301 + 128*x302 + 263*x303 + 105*x306 + 2*x308
        + 7*x309 - x310 + x312 + x313 - x562 =L= -1;

e252..    51*x299 + 3*x301 + 120*x302 + 295*x303 + 2*x305 + 157*x306 + x308
        + 3*x309 - x310 - x563 =L= -1;

e253..    43*x299 + x300 + 4*x301 + 115*x302 + 303*x303 + 181*x306 + x307
        + 2*x308 + 3*x309 - x310 - x564 =L= -1;

e254..    42*x299 + 3*x301 + 120*x302 + 209*x303 + 173*x306 + 2*x308 + 3*x309
        - x310 - x565 =L= -1;

e255..    67*x299 + 4*x301 + 106*x302 + 223*x303 + 142*x306 + x308 + 3*x309
        - x310 + 2*x313 - x566 =L= -1;

e256..    76*x299 + 3*x301 + 140*x302 + 197*x303 + x305 + 116*x306 + x307
        + 2*x308 + 3*x309 - x310 - x567 =L= -1;

e257..    70*x299 + x300 + 2*x301 + 156*x302 + 245*x303 + 2*x305 + 143*x306
        + x308 + 3*x309 - x310 - x568 =L= -1;

e258..  - 57*x299 - x300 - 2*x301 - 124*x302 - 261*x303 - 141*x306 - x308
        - 7*x309 + x310 - x569 =L= -1;

e259..    44*x299 + 3*x301 + 118*x302 + 242*x303 + 149*x306 + 2*x308 + 3*x309
        - x310 + x313 - x570 =L= -1;

e260..  - 58*x299 - 2*x301 - 136*x302 - 319*x303 - x304 - 2*x305 - 152*x306
        - x308 - 3*x309 + x310 - 2*x313 - x571 =L= -1;

e261..    60*x299 + x301 + 150*x302 + 240*x303 + 171*x306 + x308 + 3*x309
        - x310 - x572 =L= -1;

e262..    44*x299 + x300 + 3*x301 + 120*x302 + 226*x303 + 169*x306 + x308
        + 3*x309 - x310 - x573 =L= -1;

e263..  - 61*x299 - x300 - 4*x301 - 138*x302 - 166*x303 - 2*x305 - 125*x306
        - 3*x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x574 =L= -1;

e264..  - 42*x299 - x300 - 4*x301 - 136*x302 - 315*x303 - 125*x306 - x307
        - 2*x308 - 6*x309 + x310 - x312 - x575 =L= -1;

e265..  - 59*x299 - x300 - 3*x301 - 126*x302 - 218*x303 - x304 - 134*x306
        - 2*x307 - 2*x308 - 6*x309 + x310 - x313 - x576 =L= -1;

e266..  - 40*x299 - x300 - 4*x301 - 152*x302 - 223*x303 - 181*x306 - x308
        - 7*x309 + x310 - x577 =L= -1;

e267..    42*x299 + x300 + 3*x301 + 130*x302 + 180*x303 + 150*x306 + x308
        + 3*x309 - x310 - x578 =L= -1;

e268..  - 61*x299 - x300 - 4*x301 - 140*x302 - 207*x303 - 2*x305 - 138*x306
        - x307 - x308 - 7*x309 + x310 - x312 - x313 - x579 =L= -1;

e269..    66*x299 + x300 + 4*x301 + 160*x302 + 228*x303 + 2*x305 + 138*x306
        + 2*x307 + x308 + 6*x309 - x310 - x580 =L= -1;

e270..  - 46*x299 - x300 - 4*x301 - 140*x302 - 311*x303 - 120*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x581 =L= -1;

e271..    71*x299 + 4*x301 + 112*x302 + 149*x303 + 125*x306 + x307 + 2*x308
        + 3*x309 - x310 - x582 =L= -1;

e272..  - 59*x299 - x300 - x301 - 134*x302 - 204*x303 - 162*x306 - x308
        - 3*x309 + x310 - 2*x313 - x583 =L= -1;

e273..    64*x299 + x300 + x301 + 170*x302 + 227*x303 + 2*x305 + 155*x306
        + 2*x308 + 7*x309 - x310 - x584 =L= -1;

e274..    66*x299 + 3*x301 + 146*x302 + 278*x303 + 2*x305 + 152*x306 + 2*x308
        + 3*x309 - x310 + x313 - x585 =L= -1;

e275..    39*x299 + 3*x301 + 138*x302 + 220*x303 + 152*x306 + 2*x308 + 3*x309
        - x310 - x586 =L= -1;

e276..  - 57*x299 - x300 - 2*x301 - 154*x302 - 232*x303 - 2*x305 - 164*x306
        - x308 - 3*x309 + x310 - x313 - x587 =L= -1;

e277..    58*x299 + 4*x301 + 130*x302 + 197*x303 + 131*x306 + 2*x308 + 3*x309
        - x310 - x588 =L= -1;

e278..  - 57*x299 - x300 - 4*x301 - 110*x302 - 335*x303 - 143*x306 - 3*x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x589 =L= -1;

e279..    47*x299 + x300 + 3*x301 + 130*x302 + 253*x303 + 179*x306 + x308
        + 3*x309 - x310 - x590 =L= -1;

e280..  - 55*x299 - 4*x301 - 128*x302 - 205*x303 - x305 - 130*x306 - 2*x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x591 =L= -1;

e281..    35*x299 + x300 + 2*x301 + 122*x302 + 192*x303 + 174*x306 + x308
        + 3*x309 - x310 - x592 =L= -1;

e282..  - 61*x299 - x300 - 4*x301 - 148*x302 - 203*x303 - 161*x306 - x308
        - 7*x309 + x310 - x313 - x593 =L= -1;

e283..  - 58*x299 - x300 - 4*x301 - 114*x302 - 318*x303 - x305 - 140*x306
        - 4*x307 - 3*x308 - 6*x309 + x310 - 3*x313 - x594 =L= -1;

e284..  - 58*x299 - 4*x301 - 170*x302 - 225*x303 - x304 - 2*x305 - 146*x306
        - 2*x307 - 2*x308 - 6*x309 + x310 - x312 - 2*x313 - x595 =L= -1;

e285..    56*x299 + x300 + 2*x301 + 130*x302 + 221*x303 + 2*x305 + 163*x306
        + x308 + 7*x309 - x310 - x596 =L= -1;

e286..    56*x299 + x300 + 2*x301 + 120*x302 + 240*x303 + 169*x306 + 3*x308
        + 3*x309 - x310 - x597 =L= -1;

e287..  - 67*x299 - x300 - 3*x301 - 152*x302 - 212*x303 - 2*x305 - 150*x306
        - 2*x308 - 7*x309 + x310 - x598 =L= -1;

e288..    55*x299 + 2*x301 + 132*x302 + 342*x303 + 166*x306 + x307 + x308
        + 3*x309 - x310 - x599 =L= -1;

e289..  - 44*x299 - x300 - 4*x301 - 120*x302 - 169*x303 - 144*x306 - 2*x307
        - 3*x308 - 6*x309 + x310 - x312 - x600 =L= -1;

e290..  - 63*x299 - x300 - 4*x301 - 140*x302 - 187*x303 - 2*x305 - 144*x306
        - 4*x307 - x308 - 7*x309 + x310 - x312 - 2*x313 - x601 =L= -1;

e291..  - 63*x299 - 4*x301 - 124*x302 - 197*x303 - 136*x306 - 2*x308 - 3*x309
        + x310 - x312 - x602 =L= -1;

e292..    41*x299 + x300 + 2*x301 + 120*x302 + 157*x303 + 182*x306 + x308
        + 3*x309 - x310 - x603 =L= -1;

e293..  - 59*x299 - x300 - 4*x301 - 164*x302 - 176*x303 - x304 - 2*x305
        - 90*x306 - x307 - 2*x308 - 6*x309 + x310 - 2*x313 - x604 =L= -1;

e294..  - 57*x299 - 4*x301 - 140*x302 - 241*x303 - 123*x306 - 2*x308 - 7*x309
        + x310 - x312 - x605 =L= -1;

e295..  - 45*x299 - x300 - x301 - 110*x302 - 264*x303 - 132*x306 - x307
        - 2*x308 - 7*x309 + x310 - x606 =L= -1;

e296..  - 68*x299 - x300 - 4*x301 - 144*x302 - 193*x303 - x304 - 141*x306
        - 3*x307 - 2*x308 - 7*x309 + x310 - 2*x313 - x607 =L= -1;

e297..  - 57*x299 - x300 - 4*x301 - 130*x302 - 131*x303 - 115*x306 - x307
        - 2*x308 - 7*x309 + x310 - x312 - x313 - x608 =L= -1;

e298..  - 57*x299 - 2*x301 - 130*x302 - 236*x303 - 2*x305 - 174*x306 - 2*x308
        - 3*x309 + x310 - x313 - x609 =L= -1;

e299..  - b2 - x610 =E= -1;

e300..  - b3 - x611 =E= -1;

e301..  - b4 - x612 =E= -1;

e302..  - b5 - x613 =E= -1;

e303..  - b6 - x614 =E= -1;

e304..  - b7 - x615 =E= -1;

e305..  - b8 - x616 =E= -1;

e306..  - b9 - x617 =E= -1;

e307..  - b10 - x618 =E= -1;

e308..  - b11 - x619 =E= -1;

e309..  - b12 - x620 =E= -1;

e310..  - b13 - x621 =E= -1;

e311..  - b14 - x622 =E= -1;

e312..  - b15 - x623 =E= -1;

e313..  - b16 - x624 =E= -1;

e314..  - b17 - x625 =E= -1;

e315..  - b18 - x626 =E= -1;

e316..  - b19 - x627 =E= -1;

e317..  - b20 - x628 =E= -1;

e318..  - b21 - x629 =E= -1;

e319..  - b22 - x630 =E= -1;

e320..  - b23 - x631 =E= -1;

e321..  - b24 - x632 =E= -1;

e322..  - b25 - x633 =E= -1;

e323..  - b26 - x634 =E= -1;

e324..  - b27 - x635 =E= -1;

e325..  - b28 - x636 =E= -1;

e326..  - b29 - x637 =E= -1;

e327..  - b30 - x638 =E= -1;

e328..  - b31 - x639 =E= -1;

e329..  - b32 - x640 =E= -1;

e330..  - b33 - x641 =E= -1;

e331..  - b34 - x642 =E= -1;

e332..  - b35 - x643 =E= -1;

e333..  - b36 - x644 =E= -1;

e334..  - b37 - x645 =E= -1;

e335..  - b38 - x646 =E= -1;

e336..  - b39 - x647 =E= -1;

e337..  - b40 - x648 =E= -1;

e338..  - b41 - x649 =E= -1;

e339..  - b42 - x650 =E= -1;

e340..  - b43 - x651 =E= -1;

e341..  - b44 - x652 =E= -1;

e342..  - b45 - x653 =E= -1;

e343..  - b46 - x654 =E= -1;

e344..  - b47 - x655 =E= -1;

e345..  - b48 - x656 =E= -1;

e346..  - b49 - x657 =E= -1;

e347..  - b50 - x658 =E= -1;

e348..  - b51 - x659 =E= -1;

e349..  - b52 - x660 =E= -1;

e350..  - b53 - x661 =E= -1;

e351..  - b54 - x662 =E= -1;

e352..  - b55 - x663 =E= -1;

e353..  - b56 - x664 =E= -1;

e354..  - b57 - x665 =E= -1;

e355..  - b58 - x666 =E= -1;

e356..  - b59 - x667 =E= -1;

e357..  - b60 - x668 =E= -1;

e358..  - b61 - x669 =E= -1;

e359..  - b62 - x670 =E= -1;

e360..  - b63 - x671 =E= -1;

e361..  - b64 - x672 =E= -1;

e362..  - b65 - x673 =E= -1;

e363..  - b66 - x674 =E= -1;

e364..  - b67 - x675 =E= -1;

e365..  - b68 - x676 =E= -1;

e366..  - b69 - x677 =E= -1;

e367..  - b70 - x678 =E= -1;

e368..  - b71 - x679 =E= -1;

e369..  - b72 - x680 =E= -1;

e370..  - b73 - x681 =E= -1;

e371..  - b74 - x682 =E= -1;

e372..  - b75 - x683 =E= -1;

e373..  - b76 - x684 =E= -1;

e374..  - b77 - x685 =E= -1;

e375..  - b78 - x686 =E= -1;

e376..  - b79 - x687 =E= -1;

e377..  - b80 - x688 =E= -1;

e378..  - b81 - x689 =E= -1;

e379..  - b82 - x690 =E= -1;

e380..  - b83 - x691 =E= -1;

e381..  - b84 - x692 =E= -1;

e382..  - b85 - x693 =E= -1;

e383..  - b86 - x694 =E= -1;

e384..  - b87 - x695 =E= -1;

e385..  - b88 - x696 =E= -1;

e386..  - b89 - x697 =E= -1;

e387..  - b90 - x698 =E= -1;

e388..  - b91 - x699 =E= -1;

e389..  - b92 - x700 =E= -1;

e390..  - b93 - x701 =E= -1;

e391..  - b94 - x702 =E= -1;

e392..  - b95 - x703 =E= -1;

e393..  - b96 - x704 =E= -1;

e394..  - b97 - x705 =E= -1;

e395..  - b98 - x706 =E= -1;

e396..  - b99 - x707 =E= -1;

e397..  - b100 - x708 =E= -1;

e398..  - b101 - x709 =E= -1;

e399..  - b102 - x710 =E= -1;

e400..  - b103 - x711 =E= -1;

e401..  - b104 - x712 =E= -1;

e402..  - b105 - x713 =E= -1;

e403..  - b106 - x714 =E= -1;

e404..  - b107 - x715 =E= -1;

e405..  - b108 - x716 =E= -1;

e406..  - b109 - x717 =E= -1;

e407..  - b110 - x718 =E= -1;

e408..  - b111 - x719 =E= -1;

e409..  - b112 - x720 =E= -1;

e410..  - b113 - x721 =E= -1;

e411..  - b114 - x722 =E= -1;

e412..  - b115 - x723 =E= -1;

e413..  - b116 - x724 =E= -1;

e414..  - b117 - x725 =E= -1;

e415..  - b118 - x726 =E= -1;

e416..  - b119 - x727 =E= -1;

e417..  - b120 - x728 =E= -1;

e418..  - b121 - x729 =E= -1;

e419..  - b122 - x730 =E= -1;

e420..  - b123 - x731 =E= -1;

e421..  - b124 - x732 =E= -1;

e422..  - b125 - x733 =E= -1;

e423..  - b126 - x734 =E= -1;

e424..  - b127 - x735 =E= -1;

e425..  - b128 - x736 =E= -1;

e426..  - b129 - x737 =E= -1;

e427..  - b130 - x738 =E= -1;

e428..  - b131 - x739 =E= -1;

e429..  - b132 - x740 =E= -1;

e430..  - b133 - x741 =E= -1;

e431..  - b134 - x742 =E= -1;

e432..  - b135 - x743 =E= -1;

e433..  - b136 - x744 =E= -1;

e434..  - b137 - x745 =E= -1;

e435..  - b138 - x746 =E= -1;

e436..  - b139 - x747 =E= -1;

e437..  - b140 - x748 =E= -1;

e438..  - b141 - x749 =E= -1;

e439..  - b142 - x750 =E= -1;

e440..  - b143 - x751 =E= -1;

e441..  - b144 - x752 =E= -1;

e442..  - b145 - x753 =E= -1;

e443..  - b146 - x754 =E= -1;

e444..  - b147 - x755 =E= -1;

e445..  - b148 - x756 =E= -1;

e446..  - b149 - x757 =E= -1;

e447..  - b150 - x758 =E= -1;

e448..  - b151 - x759 =E= -1;

e449..  - b152 - x760 =E= -1;

e450..  - b153 - x761 =E= -1;

e451..  - b154 - x762 =E= -1;

e452..  - b155 - x763 =E= -1;

e453..  - b156 - x764 =E= -1;

e454..  - b157 - x765 =E= -1;

e455..  - b158 - x766 =E= -1;

e456..  - b159 - x767 =E= -1;

e457..  - b160 - x768 =E= -1;

e458..  - b161 - x769 =E= -1;

e459..  - b162 - x770 =E= -1;

e460..  - b163 - x771 =E= -1;

e461..  - b164 - x772 =E= -1;

e462..  - b165 - x773 =E= -1;

e463..  - b166 - x774 =E= -1;

e464..  - b167 - x775 =E= -1;

e465..  - b168 - x776 =E= -1;

e466..  - b169 - x777 =E= -1;

e467..  - b170 - x778 =E= -1;

e468..  - b171 - x779 =E= -1;

e469..  - b172 - x780 =E= -1;

e470..  - b173 - x781 =E= -1;

e471..  - b174 - x782 =E= -1;

e472..  - b175 - x783 =E= -1;

e473..  - b176 - x784 =E= -1;

e474..  - b177 - x785 =E= -1;

e475..  - b178 - x786 =E= -1;

e476..  - b179 - x787 =E= -1;

e477..  - b180 - x788 =E= -1;

e478..  - b181 - x789 =E= -1;

e479..  - b182 - x790 =E= -1;

e480..  - b183 - x791 =E= -1;

e481..  - b184 - x792 =E= -1;

e482..  - b185 - x793 =E= -1;

e483..  - b186 - x794 =E= -1;

e484..  - b187 - x795 =E= -1;

e485..  - b188 - x796 =E= -1;

e486..  - b189 - x797 =E= -1;

e487..  - b190 - x798 =E= -1;

e488..  - b191 - x799 =E= -1;

e489..  - b192 - x800 =E= -1;

e490..  - b193 - x801 =E= -1;

e491..  - b194 - x802 =E= -1;

e492..  - b195 - x803 =E= -1;

e493..  - b196 - x804 =E= -1;

e494..  - b197 - x805 =E= -1;

e495..  - b198 - x806 =E= -1;

e496..  - b199 - x807 =E= -1;

e497..  - b200 - x808 =E= -1;

e498..  - b201 - x809 =E= -1;

e499..  - b202 - x810 =E= -1;

e500..  - b203 - x811 =E= -1;

e501..  - b204 - x812 =E= -1;

e502..  - b205 - x813 =E= -1;

e503..  - b206 - x814 =E= -1;

e504..  - b207 - x815 =E= -1;

e505..  - b208 - x816 =E= -1;

e506..  - b209 - x817 =E= -1;

e507..  - b210 - x818 =E= -1;

e508..  - b211 - x819 =E= -1;

e509..  - b212 - x820 =E= -1;

e510..  - b213 - x821 =E= -1;

e511..  - b214 - x822 =E= -1;

e512..  - b215 - x823 =E= -1;

e513..  - b216 - x824 =E= -1;

e514..  - b217 - x825 =E= -1;

e515..  - b218 - x826 =E= -1;

e516..  - b219 - x827 =E= -1;

e517..  - b220 - x828 =E= -1;

e518..  - b221 - x829 =E= -1;

e519..  - b222 - x830 =E= -1;

e520..  - b223 - x831 =E= -1;

e521..  - b224 - x832 =E= -1;

e522..  - b225 - x833 =E= -1;

e523..  - b226 - x834 =E= -1;

e524..  - b227 - x835 =E= -1;

e525..  - b228 - x836 =E= -1;

e526..  - b229 - x837 =E= -1;

e527..  - b230 - x838 =E= -1;

e528..  - b231 - x839 =E= -1;

e529..  - b232 - x840 =E= -1;

e530..  - b233 - x841 =E= -1;

e531..  - b234 - x842 =E= -1;

e532..  - b235 - x843 =E= -1;

e533..  - b236 - x844 =E= -1;

e534..  - b237 - x845 =E= -1;

e535..  - b238 - x846 =E= -1;

e536..  - b239 - x847 =E= -1;

e537..  - b240 - x848 =E= -1;

e538..  - b241 - x849 =E= -1;

e539..  - b242 - x850 =E= -1;

e540..  - b243 - x851 =E= -1;

e541..  - b244 - x852 =E= -1;

e542..  - b245 - x853 =E= -1;

e543..  - b246 - x854 =E= -1;

e544..  - b247 - x855 =E= -1;

e545..  - b248 - x856 =E= -1;

e546..  - b249 - x857 =E= -1;

e547..  - b250 - x858 =E= -1;

e548..  - b251 - x859 =E= -1;

e549..  - b252 - x860 =E= -1;

e550..  - b253 - x861 =E= -1;

e551..  - b254 - x862 =E= -1;

e552..  - b255 - x863 =E= -1;

e553..  - b256 - x864 =E= -1;

e554..  - b257 - x865 =E= -1;

e555..  - b258 - x866 =E= -1;

e556..  - b259 - x867 =E= -1;

e557..  - b260 - x868 =E= -1;

e558..  - b261 - x869 =E= -1;

e559..  - b262 - x870 =E= -1;

e560..  - b263 - x871 =E= -1;

e561..  - b264 - x872 =E= -1;

e562..  - b265 - x873 =E= -1;

e563..  - b266 - x874 =E= -1;

e564..  - b267 - x875 =E= -1;

e565..  - b268 - x876 =E= -1;

e566..  - b269 - x877 =E= -1;

e567..  - b270 - x878 =E= -1;

e568..  - b271 - x879 =E= -1;

e569..  - b272 - x880 =E= -1;

e570..  - b273 - x881 =E= -1;

e571..  - b274 - x882 =E= -1;

e572..  - b275 - x883 =E= -1;

e573..  - b276 - x884 =E= -1;

e574..  - b277 - x885 =E= -1;

e575..  - b278 - x886 =E= -1;

e576..  - b279 - x887 =E= -1;

e577..  - b280 - x888 =E= -1;

e578..  - b281 - x889 =E= -1;

e579..  - b282 - x890 =E= -1;

e580..  - b283 - x891 =E= -1;

e581..  - b284 - x892 =E= -1;

e582..  - b285 - x893 =E= -1;

e583..  - b286 - x894 =E= -1;

e584..  - b287 - x895 =E= -1;

e585..  - b288 - x896 =E= -1;

e586..  - b289 - x897 =E= -1;

e587..  - b290 - x898 =E= -1;

e588..  - b291 - x899 =E= -1;

e589..  - b292 - x900 =E= -1;

e590..  - b293 - x901 =E= -1;

e591..  - b294 - x902 =E= -1;

e592..  - b295 - x903 =E= -1;

e593..  - b296 - x904 =E= -1;

e594..  - b297 - x905 =E= -1;

e595..  - b298 - x906 =E= -1;

e596.. x610*x311 =E= 0;

e597.. x611*x314 =E= 0;

e598.. x612*x315 =E= 0;

e599.. x613*x316 =E= 0;

e600.. x614*x317 =E= 0;

e601.. x615*x318 =E= 0;

e602.. x616*x319 =E= 0;

e603.. x617*x320 =E= 0;

e604.. x618*x321 =E= 0;

e605.. x619*x322 =E= 0;

e606.. x620*x323 =E= 0;

e607.. x621*x324 =E= 0;

e608.. x622*x325 =E= 0;

e609.. x623*x326 =E= 0;

e610.. x624*x327 =E= 0;

e611.. x625*x328 =E= 0;

e612.. x626*x329 =E= 0;

e613.. x627*x330 =E= 0;

e614.. x628*x331 =E= 0;

e615.. x629*x332 =E= 0;

e616.. x630*x333 =E= 0;

e617.. x631*x334 =E= 0;

e618.. x632*x335 =E= 0;

e619.. x633*x336 =E= 0;

e620.. x634*x337 =E= 0;

e621.. x635*x338 =E= 0;

e622.. x636*x339 =E= 0;

e623.. x637*x340 =E= 0;

e624.. x638*x341 =E= 0;

e625.. x639*x342 =E= 0;

e626.. x640*x343 =E= 0;

e627.. x641*x344 =E= 0;

e628.. x642*x345 =E= 0;

e629.. x643*x346 =E= 0;

e630.. x644*x347 =E= 0;

e631.. x645*x348 =E= 0;

e632.. x646*x349 =E= 0;

e633.. x647*x350 =E= 0;

e634.. x648*x351 =E= 0;

e635.. x649*x352 =E= 0;

e636.. x650*x353 =E= 0;

e637.. x651*x354 =E= 0;

e638.. x652*x355 =E= 0;

e639.. x653*x356 =E= 0;

e640.. x654*x357 =E= 0;

e641.. x655*x358 =E= 0;

e642.. x656*x359 =E= 0;

e643.. x657*x360 =E= 0;

e644.. x658*x361 =E= 0;

e645.. x659*x362 =E= 0;

e646.. x660*x363 =E= 0;

e647.. x661*x364 =E= 0;

e648.. x662*x365 =E= 0;

e649.. x663*x366 =E= 0;

e650.. x664*x367 =E= 0;

e651.. x665*x368 =E= 0;

e652.. x666*x369 =E= 0;

e653.. x667*x370 =E= 0;

e654.. x668*x371 =E= 0;

e655.. x669*x372 =E= 0;

e656.. x670*x373 =E= 0;

e657.. x671*x374 =E= 0;

e658.. x672*x375 =E= 0;

e659.. x673*x376 =E= 0;

e660.. x674*x377 =E= 0;

e661.. x675*x378 =E= 0;

e662.. x676*x379 =E= 0;

e663.. x677*x380 =E= 0;

e664.. x678*x381 =E= 0;

e665.. x679*x382 =E= 0;

e666.. x680*x383 =E= 0;

e667.. x681*x384 =E= 0;

e668.. x682*x385 =E= 0;

e669.. x683*x386 =E= 0;

e670.. x684*x387 =E= 0;

e671.. x685*x388 =E= 0;

e672.. x686*x389 =E= 0;

e673.. x687*x390 =E= 0;

e674.. x688*x391 =E= 0;

e675.. x689*x392 =E= 0;

e676.. x690*x393 =E= 0;

e677.. x691*x394 =E= 0;

e678.. x692*x395 =E= 0;

e679.. x693*x396 =E= 0;

e680.. x694*x397 =E= 0;

e681.. x695*x398 =E= 0;

e682.. x696*x399 =E= 0;

e683.. x697*x400 =E= 0;

e684.. x698*x401 =E= 0;

e685.. x699*x402 =E= 0;

e686.. x700*x403 =E= 0;

e687.. x701*x404 =E= 0;

e688.. x702*x405 =E= 0;

e689.. x703*x406 =E= 0;

e690.. x704*x407 =E= 0;

e691.. x705*x408 =E= 0;

e692.. x706*x409 =E= 0;

e693.. x707*x410 =E= 0;

e694.. x708*x411 =E= 0;

e695.. x709*x412 =E= 0;

e696.. x710*x413 =E= 0;

e697.. x711*x414 =E= 0;

e698.. x712*x415 =E= 0;

e699.. x713*x416 =E= 0;

e700.. x714*x417 =E= 0;

e701.. x715*x418 =E= 0;

e702.. x716*x419 =E= 0;

e703.. x717*x420 =E= 0;

e704.. x718*x421 =E= 0;

e705.. x719*x422 =E= 0;

e706.. x720*x423 =E= 0;

e707.. x721*x424 =E= 0;

e708.. x722*x425 =E= 0;

e709.. x723*x426 =E= 0;

e710.. x724*x427 =E= 0;

e711.. x725*x428 =E= 0;

e712.. x726*x429 =E= 0;

e713.. x727*x430 =E= 0;

e714.. x728*x431 =E= 0;

e715.. x729*x432 =E= 0;

e716.. x730*x433 =E= 0;

e717.. x731*x434 =E= 0;

e718.. x732*x435 =E= 0;

e719.. x733*x436 =E= 0;

e720.. x734*x437 =E= 0;

e721.. x735*x438 =E= 0;

e722.. x736*x439 =E= 0;

e723.. x737*x440 =E= 0;

e724.. x738*x441 =E= 0;

e725.. x739*x442 =E= 0;

e726.. x740*x443 =E= 0;

e727.. x741*x444 =E= 0;

e728.. x742*x445 =E= 0;

e729.. x743*x446 =E= 0;

e730.. x744*x447 =E= 0;

e731.. x745*x448 =E= 0;

e732.. x746*x449 =E= 0;

e733.. x747*x450 =E= 0;

e734.. x748*x451 =E= 0;

e735.. x749*x452 =E= 0;

e736.. x750*x453 =E= 0;

e737.. x751*x454 =E= 0;

e738.. x752*x455 =E= 0;

e739.. x753*x456 =E= 0;

e740.. x754*x457 =E= 0;

e741.. x755*x458 =E= 0;

e742.. x756*x459 =E= 0;

e743.. x757*x460 =E= 0;

e744.. x758*x461 =E= 0;

e745.. x759*x462 =E= 0;

e746.. x760*x463 =E= 0;

e747.. x761*x464 =E= 0;

e748.. x762*x465 =E= 0;

e749.. x763*x466 =E= 0;

e750.. x764*x467 =E= 0;

e751.. x765*x468 =E= 0;

e752.. x766*x469 =E= 0;

e753.. x767*x470 =E= 0;

e754.. x768*x471 =E= 0;

e755.. x769*x472 =E= 0;

e756.. x770*x473 =E= 0;

e757.. x771*x474 =E= 0;

e758.. x772*x475 =E= 0;

e759.. x773*x476 =E= 0;

e760.. x774*x477 =E= 0;

e761.. x775*x478 =E= 0;

e762.. x776*x479 =E= 0;

e763.. x777*x480 =E= 0;

e764.. x778*x481 =E= 0;

e765.. x779*x482 =E= 0;

e766.. x780*x483 =E= 0;

e767.. x781*x484 =E= 0;

e768.. x782*x485 =E= 0;

e769.. x783*x486 =E= 0;

e770.. x784*x487 =E= 0;

e771.. x785*x488 =E= 0;

e772.. x786*x489 =E= 0;

e773.. x787*x490 =E= 0;

e774.. x788*x491 =E= 0;

e775.. x789*x492 =E= 0;

e776.. x790*x493 =E= 0;

e777.. x791*x494 =E= 0;

e778.. x792*x495 =E= 0;

e779.. x793*x496 =E= 0;

e780.. x794*x497 =E= 0;

e781.. x795*x498 =E= 0;

e782.. x796*x499 =E= 0;

e783.. x797*x500 =E= 0;

e784.. x798*x501 =E= 0;

e785.. x799*x502 =E= 0;

e786.. x800*x503 =E= 0;

e787.. x801*x504 =E= 0;

e788.. x802*x505 =E= 0;

e789.. x803*x506 =E= 0;

e790.. x804*x507 =E= 0;

e791.. x805*x508 =E= 0;

e792.. x806*x509 =E= 0;

e793.. x807*x510 =E= 0;

e794.. x808*x511 =E= 0;

e795.. x809*x512 =E= 0;

e796.. x810*x513 =E= 0;

e797.. x811*x514 =E= 0;

e798.. x812*x515 =E= 0;

e799.. x813*x516 =E= 0;

e800.. x814*x517 =E= 0;

e801.. x815*x518 =E= 0;

e802.. x816*x519 =E= 0;

e803.. x817*x520 =E= 0;

e804.. x818*x521 =E= 0;

e805.. x819*x522 =E= 0;

e806.. x820*x523 =E= 0;

e807.. x821*x524 =E= 0;

e808.. x822*x525 =E= 0;

e809.. x823*x526 =E= 0;

e810.. x824*x527 =E= 0;

e811.. x825*x528 =E= 0;

e812.. x826*x529 =E= 0;

e813.. x827*x530 =E= 0;

e814.. x828*x531 =E= 0;

e815.. x829*x532 =E= 0;

e816.. x830*x533 =E= 0;

e817.. x831*x534 =E= 0;

e818.. x832*x535 =E= 0;

e819.. x833*x536 =E= 0;

e820.. x834*x537 =E= 0;

e821.. x835*x538 =E= 0;

e822.. x836*x539 =E= 0;

e823.. x837*x540 =E= 0;

e824.. x838*x541 =E= 0;

e825.. x839*x542 =E= 0;

e826.. x840*x543 =E= 0;

e827.. x841*x544 =E= 0;

e828.. x842*x545 =E= 0;

e829.. x843*x546 =E= 0;

e830.. x844*x547 =E= 0;

e831.. x845*x548 =E= 0;

e832.. x846*x549 =E= 0;

e833.. x847*x550 =E= 0;

e834.. x848*x551 =E= 0;

e835.. x849*x552 =E= 0;

e836.. x850*x553 =E= 0;

e837.. x851*x554 =E= 0;

e838.. x852*x555 =E= 0;

e839.. x853*x556 =E= 0;

e840.. x854*x557 =E= 0;

e841.. x855*x558 =E= 0;

e842.. x856*x559 =E= 0;

e843.. x857*x560 =E= 0;

e844.. x858*x561 =E= 0;

e845.. x859*x562 =E= 0;

e846.. x860*x563 =E= 0;

e847.. x861*x564 =E= 0;

e848.. x862*x565 =E= 0;

e849.. x863*x566 =E= 0;

e850.. x864*x567 =E= 0;

e851.. x865*x568 =E= 0;

e852.. x866*x569 =E= 0;

e853.. x867*x570 =E= 0;

e854.. x868*x571 =E= 0;

e855.. x869*x572 =E= 0;

e856.. x870*x573 =E= 0;

e857.. x871*x574 =E= 0;

e858.. x872*x575 =E= 0;

e859.. x873*x576 =E= 0;

e860.. x874*x577 =E= 0;

e861.. x875*x578 =E= 0;

e862.. x876*x579 =E= 0;

e863.. x877*x580 =E= 0;

e864.. x878*x581 =E= 0;

e865.. x879*x582 =E= 0;

e866.. x880*x583 =E= 0;

e867.. x881*x584 =E= 0;

e868.. x882*x585 =E= 0;

e869.. x883*x586 =E= 0;

e870.. x884*x587 =E= 0;

e871.. x885*x588 =E= 0;

e872.. x886*x589 =E= 0;

e873.. x887*x590 =E= 0;

e874.. x888*x591 =E= 0;

e875.. x889*x592 =E= 0;

e876.. x890*x593 =E= 0;

e877.. x891*x594 =E= 0;

e878.. x892*x595 =E= 0;

e879.. x893*x596 =E= 0;

e880.. x894*x597 =E= 0;

e881.. x895*x598 =E= 0;

e882.. x896*x599 =E= 0;

e883.. x897*x600 =E= 0;

e884.. x898*x601 =E= 0;

e885.. x899*x602 =E= 0;

e886.. x900*x603 =E= 0;

e887.. x901*x604 =E= 0;

e888.. x902*x605 =E= 0;

e889.. x903*x606 =E= 0;

e890.. x904*x607 =E= 0;

e891.. x905*x608 =E= 0;

e892.. x906*x609 =E= 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.