QPLIB
A Library of Quadratic Programming Instances
Home // browse instances // view statistics // read documentation // download QPLIB archive [ 705M ]QPLIB_2166
| Formats | gms lp mod qplib |
| Problem type probtype | LMQ |
| Solution point objective value solobjvalue | 85.00000000 (gdx, sol) |
| Solution point infeasibility solinfeasibility | 4.2633e-12 |
| Donor donor | Polip2011 |
| #Variables nvars | 1042 |
| #Binary Variables nbinvars | 345 |
| #Integer Variables nintvars | 0 |
| #Bounded non-binary Variables nboundedvars | 0 |
| #Variables with only one bound nsingleboundedvars | 345 |
| #Nonlinear Variables nnlvars | 690 |
| #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 | 345 |
| #Nonlinear Nonzeros in Objective nobjnlnz | 0 |
| #Quadratic Terms in Objective nobjquadnz | 0 |
| #Square Terms in Objective nobjquaddiagnz | 0 |
| #Constraints ncons | 1035 |
| #Linear Constraints nlincons | 690 |
| #Quadratic Constraints nquadcons | 345 |
| #Diagonal Quadratic Constraints ndiagquadcons | 0 |
| Constraints curvature conscurvature | indefinite |
| #Convex Nonlinear Constraints nconvexnlcons | 0 |
| #Concave Nonlinear Constraints nconcavenlcons | 0 |
| #Indefinite Nonlinear Constraints nindefinitenlcons | 345 |
| #Nonzeros in Jacobian njacobiannz | 4131 |
| #Nonlinear Nonzeros in Jacobian njacobiannlnz | 690 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz | 690 |
| #Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz | 0 |
| #Blocks in Hessian of Lagrangian nlaghessianblocks | 345 |
| 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_2166.gms
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1036 691 0 345 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1043 698 345 0 0 0 0 0
* FX 0 0 0 0 0 0 0 0
*
* Nonzero counts
* Total const NL DLL
* 4477 3787 690 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,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,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;
Positive Variables x353,x354,x355,x356,x357,x358,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;
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,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310
,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323
,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336
,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545
,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623
,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636
,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649
,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662
,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675
,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688
,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701
,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714
,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727
,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740
,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753
,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766
,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779
,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792
,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805
,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818
,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831
,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844
,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857
,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870
,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883
,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896
,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909
,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922
,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935
,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948
,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961
,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974
,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987
,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000
,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011
,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022
,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033
,e1034,e1035,e1036;
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 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307
+ b308 + b309 + b310 + b311 + b312 + b313 + b314 + b315 + b316 + b317
+ b318 + b319 + b320 + b321 + b322 + b323 + b324 + b325 + b326 + b327
+ b328 + b329 + b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337
+ b338 + b339 + b340 + b341 + b342 + b343 + b344 + b345 + b346 =E= 0;
e2.. 85*x347 + 92*x348 + 45*x349 + 27*x350 + 31*x351 - x352 - x353 =L= -1;
e3.. - 85*x347 - 64*x348 - 59*x349 - 32*x350 - 23*x351 + x352 - x354 =L= -1;
e4.. - 86*x347 - 54*x348 - 33*x349 - 16*x350 - 54*x351 + x352 - x355 =L= -1;
e5.. - 91*x347 - 78*x348 - 34*x349 - 24*x350 - 36*x351 + x352 - x356 =L= -1;
e6.. - 87*x347 - 70*x348 - 12*x349 - 28*x350 - 10*x351 + x352 - x357 =L= -1;
e7.. - 98*x347 - 55*x348 - 13*x349 - 17*x350 - 17*x351 + x352 - x358 =L= -1;
e8.. 88*x347 + 62*x348 + 20*x349 + 17*x350 + 9*x351 - x352 + 0.5*x359 - x360
=L= -1;
e9.. 88*x347 + 67*x348 + 21*x349 + 11*x350 + 11*x351 - x352 + 0.5*x359
- x361 =L= -1;
e10.. 92*x347 + 54*x348 + 22*x349 + 20*x350 + 7*x351 - x352 + 0.5*x359
- x362 =L= -1;
e11.. 90*x347 + 60*x348 + 25*x349 + 19*x350 + 5*x351 - x352 + 0.5*x359
- x363 =L= -1;
e12.. 89*x347 + 52*x348 + 13*x349 + 24*x350 + 15*x351 - x352 + 0.5*x359
- x364 =L= -1;
e13.. 82*x347 + 62*x348 + 17*x349 + 17*x350 + 15*x351 - x352 + 0.5*x359
- x365 =L= -1;
e14.. 90*x347 + 64*x348 + 61*x349 + 32*x350 + 13*x351 - x352 + 0.5*x359
- x366 =L= -1;
e15.. 86*x347 + 77*x348 + 25*x349 + 19*x350 + 18*x351 - x352 + 0.5*x359
- x367 =L= -1;
e16.. 96*x347 + 67*x348 + 29*x349 + 20*x350 + 11*x351 - x352 + 0.5*x359
- x368 =L= -1;
e17.. 91*x347 + 78*x348 + 20*x349 + 31*x350 + 18*x351 - x352 + 0.5*x359
- x369 =L= -1;
e18.. 89*x347 + 67*x348 + 23*x349 + 16*x350 + 10*x351 - x352 + 0.5*x359
- x370 =L= -1;
e19.. 89*x347 + 79*x348 + 17*x349 + 17*x350 + 16*x351 - x352 + 0.5*x359
- x371 =L= -1;
e20.. 91*x347 + 107*x348 + 20*x349 + 20*x350 + 56*x351 - x352 + 0.5*x359
- x372 =L= -1;
e21.. 94*x347 + 116*x348 + 11*x349 + 33*x350 + 11*x351 - x352 + 0.5*x359
- x373 =L= -1;
e22.. 92*x347 + 59*x348 + 35*x349 + 13*x350 + 19*x351 - x352 + 0.5*x359
- x374 =L= -1;
e23.. 93*x347 + 23*x348 + 35*x349 + 20*x350 + 20*x351 - x352 + 0.5*x359
- x375 =L= -1;
e24.. 90*x347 + 60*x348 + 23*x349 + 27*x350 + 5*x351 - x352 + 0.5*x359
- x376 =L= -1;
e25.. 96*x347 + 68*x348 + 18*x349 + 19*x350 + 19*x351 - x352 + 0.5*x359
- x377 =L= -1;
e26.. 84*x347 + 80*x348 + 47*x349 + 33*x350 + 97*x351 - x352 + 0.5*x359
- x378 =L= -1;
e27.. 92*x347 + 70*x348 + 24*x349 + 13*x350 + 26*x351 - x352 + 0.5*x359
- x379 =L= -1;
e28.. 90*x347 + 47*x348 + 28*x349 + 15*x350 + 18*x351 - x352 + 0.5*x359
- x380 =L= -1;
e29.. 88*x347 + 66*x348 + 20*x349 + 21*x350 + 10*x351 - x352 + 0.5*x359
- x381 =L= -1;
e30.. 91*x347 + 102*x348 + 17*x349 + 13*x350 + 19*x351 - x352 + 0.5*x359
- x382 =L= -1;
e31.. 87*x347 + 41*x348 + 31*x349 + 19*x350 + 16*x351 - x352 + 0.5*x359
- x383 =L= -1;
e32.. 86*x347 + 79*x348 + 28*x349 + 16*x350 + 17*x351 - x352 + 0.5*x359
- x384 =L= -1;
e33.. 91*x347 + 57*x348 + 31*x349 + 23*x350 + 42*x351 - x352 + 0.5*x359
- x385 =L= -1;
e34.. 93*x347 + 77*x348 + 32*x349 + 18*x350 + 29*x351 - x352 + 0.5*x359
- x386 =L= -1;
e35.. 88*x347 + 96*x348 + 28*x349 + 21*x350 + 40*x351 - x352 + 0.5*x359
- x387 =L= -1;
e36.. 94*x347 + 65*x348 + 22*x349 + 18*x350 + 11*x351 - x352 + 0.5*x359
- x388 =L= -1;
e37.. - 91*x347 - 72*x348 - 155*x349 - 68*x350 - 82*x351 + x352 - 0.5*x359
- x389 =L= -1;
e38.. - 85*x347 - 54*x348 - 47*x349 - 33*x350 - 22*x351 + x352 - 0.5*x359
- x390 =L= -1;
e39.. - 79*x347 - 39*x348 - 14*x349 - 19*x350 - 9*x351 + x352 - 0.5*x359
- x391 =L= -1;
e40.. - 85*x347 - 85*x348 - 25*x349 - 26*x350 - 30*x351 + x352 - 0.5*x359
- x392 =L= -1;
e41.. - 89*x347 - 63*x348 - 24*x349 - 20*x350 - 38*x351 + x352 - 0.5*x359
- x393 =L= -1;
e42.. - 84*x347 - 92*x348 - 68*x349 - 37*x350 - 44*x351 + x352 - 0.5*x359
- x394 =L= -1;
e43.. - 89*x347 - 68*x348 - 26*x349 - 39*x350 - 42*x351 + x352 - 0.5*x359
- x395 =L= -1;
e44.. - 89*x347 - 101*x348 - 18*x349 - 25*x350 - 13*x351 + x352 - 0.5*x359
- x396 =L= -1;
e45.. - 86*x347 - 84*x348 - 18*x349 - 14*x350 - 16*x351 + x352 - 0.5*x359
- x397 =L= -1;
e46.. - 85*x347 - 65*x348 - 25*x349 - 14*x350 - 18*x351 + x352 - 0.5*x359
- x398 =L= -1;
e47.. - 88*x347 - 61*x348 - 19*x349 - 21*x350 - 13*x351 + x352 - 0.5*x359
- x399 =L= -1;
e48.. - 92*x347 - 56*x348 - 14*x349 - 16*x350 - 10*x351 + x352 - 0.5*x359
- x400 =L= -1;
e49.. - 95*x347 - 50*x348 - 29*x349 - 25*x350 - 50*x351 + x352 - 0.5*x359
- x401 =L= -1;
e50.. - 91*x347 - 75*x348 - 24*x349 - 22*x350 - 11*x351 + x352 - 0.5*x359
- x402 =L= -1;
e51.. - 83*x347 - 40*x348 - 29*x349 - 25*x350 - 38*x351 + x352 - 0.5*x359
- x403 =L= -1;
e52.. - 89*x347 - 74*x348 - 19*x349 - 23*x350 - 16*x351 + x352 - 0.5*x359
- x404 =L= -1;
e53.. - 85*x347 - 64*x348 - 24*x349 - 22*x350 - 11*x351 + x352 - 0.5*x359
- x405 =L= -1;
e54.. - 92*x347 - 57*x348 - 64*x349 - 36*x350 - 90*x351 + x352 - 0.5*x359
- x406 =L= -1;
e55.. - 94*x347 - 48*x348 - 11*x349 - 23*x350 - 43*x351 + x352 - 0.5*x359
- x407 =L= -1;
e56.. - 87*x347 - 52*x348 - 21*x349 - 19*x350 - 30*x351 + x352 - 0.5*x359
- x408 =L= -1;
e57.. - 85*x347 - 65*x348 - 23*x349 - 29*x350 - 15*x351 + x352 - 0.5*x359
- x409 =L= -1;
e58.. - 84*x347 - 82*x348 - 21*x349 - 21*x350 - 19*x351 + x352 - 0.5*x359
- x410 =L= -1;
e59.. - 88*x347 - 49*x348 - 20*x349 - 22*x350 - 19*x351 + x352 - 0.5*x359
- x411 =L= -1;
e60.. - 96*x347 - 67*x348 - 26*x349 - 26*x350 - 36*x351 + x352 - 0.5*x359
- x412 =L= -1;
e61.. - 90*x347 - 63*x348 - 24*x349 - 24*x350 - 24*x351 + x352 - 0.5*x359
- x413 =L= -1;
e62.. - 90*x347 - 45*x348 - 33*x349 - 34*x350 - 27*x351 + x352 - 0.5*x359
- x414 =L= -1;
e63.. - 90*x347 - 72*x348 - 14*x349 - 15*x350 - 18*x351 + x352 - 0.5*x359
- x415 =L= -1;
e64.. - 91*x347 - 55*x348 - 4*x349 - 8*x350 - 13*x351 + x352 - 0.5*x359 - x416
=L= -1;
e65.. - 91*x347 - 52*x348 - 15*x349 - 22*x350 - 11*x351 + x352 - 0.5*x359
- x417 =L= -1;
e66.. 87*x347 + 71*x348 + 32*x349 + 19*x350 + 27*x351 - x352 + x359 - x418
=L= -1;
e67.. 89*x347 + 77*x348 + 26*x349 + 20*x350 + 19*x351 - x352 + x359 - x419
=L= -1;
e68.. - 89*x347 - 67*x348 - 5*x349 - 17*x350 - 14*x351 + x352 - x359 - x420
=L= -1;
e69.. - 85*x347 - 51*x348 - 26*x349 - 24*x350 - 23*x351 + x352 - x359 - x421
=L= -1;
e70.. - 103*x347 - 75*x348 - 19*x349 - 30*x350 - 13*x351 + x352 - x359 - x422
=L= -1;
e71.. - 90*x347 - 63*x348 - 16*x349 - 21*x350 - 14*x351 + x352 - x359 - x423
=L= -1;
e72.. 90*x347 + 63*x348 + 29*x349 + 23*x350 + 57*x351 - x352 + 2*x359 - x424
=L= -1;
e73.. 90*x347 + 67*x348 + 35*x349 + 19*x350 + 35*x351 - x352 + 2*x359 - x425
=L= -1;
e74.. 87*x347 + 66*x348 + 27*x349 + 22*x350 + 9*x351 - x352 + 2*x359 - x426
=L= -1;
e75.. 90*x347 + 73*x348 + 34*x349 + 21*x350 + 22*x351 - x352 + 2*x359 - x427
=L= -1;
e76.. 86*x347 + 54*x348 + 20*x349 + 21*x350 + 16*x351 - x352 + 2*x359 - x428
=L= -1;
e77.. 90*x347 + 80*x348 + 19*x349 + 14*x350 + 42*x351 - x352 + 2*x359 - x429
=L= -1;
e78.. - 87*x347 - 90*x348 - 43*x349 - 28*x350 - 156*x351 + x352 - 2*x359
- x430 =L= -1;
e79.. - 96*x347 - 72*x348 - 28*x349 - 19*x350 - 30*x351 + x352 - 2*x359 - x431
=L= -1;
e80.. - 91*x347 - 55*x348 - 9*x349 - 25*x350 - 16*x351 + x352 - 2*x359 - x432
=L= -1;
e81.. - 95*x347 - 78*x348 - 27*x349 - 25*x350 - 30*x351 + x352 - 2*x359 - x433
=L= -1;
e82.. - 92*x347 - 101*x348 - 34*x349 - 30*x350 - 64*x351 + x352 - 2*x359
- x434 =L= -1;
e83.. - 89*x347 - 51*x348 - 41*x349 - 22*x350 - 48*x351 + x352 - 2*x359 - x435
=L= -1;
e84.. - 91*x347 - 99*x348 - 42*x349 - 33*x350 - 16*x351 + x352 - 2*x359 - x436
=L= -1;
e85.. - 94*x347 - 58*x348 - 21*x349 - 18*x350 - 26*x351 + x352 - 2*x359 - x437
=L= -1;
e86.. - 92*x347 - 60*x348 - 30*x349 - 27*x350 - 297*x351 + x352 - 2*x359
- x438 =L= -1;
e87.. - 94*x347 - 58*x348 - 21*x349 - 18*x350 - 26*x351 + x352 - 2*x359 - x439
=L= -1;
e88.. - 88*x347 - 47*x348 - 33*x349 - 26*x350 - 29*x351 + x352 - 2*x359 - x440
=L= -1;
e89.. - 92*x347 - 65*x348 - 17*x349 - 25*x350 - 9*x351 + x352 - 2*x359 - x441
=L= -1;
e90.. 92*x347 + 79*x348 + 22*x349 + 20*x350 + 11*x351 - x352 + 3*x359 - x442
=L= -1;
e91.. 84*x347 + 83*x348 + 20*x349 + 25*x350 + 7*x351 - x352 + 3*x359 - x443
=L= -1;
e92.. 88*x347 + 68*x348 + 27*x349 + 21*x350 + 26*x351 - x352 + 3*x359 - x444
=L= -1;
e93.. 86*x347 + 48*x348 + 20*x349 + 20*x350 + 6*x351 - x352 + 3*x359 - x445
=L= -1;
e94.. 99*x347 + 69*x348 + 45*x349 + 32*x350 + 30*x351 - x352 + 3*x359 - x446
=L= -1;
e95.. 88*x347 + 66*x348 + 23*x349 + 12*x350 + 15*x351 - x352 + 3*x359 - x447
=L= -1;
e96.. 89*x347 + 62*x348 + 42*x349 + 30*x350 + 20*x351 - x352 + 3*x359 - x448
=L= -1;
e97.. 90*x347 + 51*x348 + 23*x349 + 17*x350 + 27*x351 - x352 + 3*x359 - x449
=L= -1;
e98.. - 81*x347 - 61*x348 - 32*x349 - 37*x350 - 53*x351 + x352 - 3*x359 - x450
=L= -1;
e99.. - 89*x347 - 89*x348 - 23*x349 - 18*x350 - 104*x351 + x352 - 3*x359
- x451 =L= -1;
e100.. - 89*x347 - 65*x348 - 26*x349 - 18*x350 - 36*x351 + x352 - 3*x359
- x452 =L= -1;
e101.. - 92*x347 - 75*x348 - 26*x349 - 26*x350 - 24*x351 + x352 - 3*x359
- x453 =L= -1;
e102.. - 85*x347 - 59*x348 - 25*x349 - 20*x350 - 25*x351 + x352 - 3*x359
- x454 =L= -1;
e103.. - 92*x347 - 61*x348 - 18*x349 - 13*x350 - 81*x351 + x352 - 3*x359
- x455 =L= -1;
e104.. 89*x347 + 63*x348 + 22*x349 + 27*x350 + 10*x351 - x352 + 4*x359
- x456 =L= -1;
e105.. 90*x347 + 84*x348 + 18*x349 + 23*x350 + 13*x351 - x352 + 4*x359
- x457 =L= -1;
e106.. 88*x347 + 95*x348 + 25*x349 + 19*x350 + 14*x351 - x352 + 4*x359
- x458 =L= -1;
e107.. 89*x347 + 35*x348 + 27*x349 + 29*x350 + 17*x351 - x352 + 4*x359
- x459 =L= -1;
e108.. 91*x347 + 80*x348 + 37*x349 + 23*x350 + 27*x351 - x352 + 4*x359
- x460 =L= -1;
e109.. 91*x347 + 109*x348 + 33*x349 + 15*x350 + 18*x351 - x352 + 4*x359
- x461 =L= -1;
e110.. 91*x347 + 65*x348 + 17*x349 + 5*x350 + 7*x351 - x352 + 4*x359 - x462
=L= -1;
e111.. - 88*x347 - 107*x348 - 29*x349 - 20*x350 - 50*x351 + x352 - 4*x359
- x463 =L= -1;
e112.. - 87*x347 - 76*x348 - 22*x349 - 55*x350 - 9*x351 + x352 - 4*x359 - x464
=L= -1;
e113.. - 87*x347 - 86*x348 - 28*x349 - 23*x350 - 21*x351 + x352 - 4*x359
- x465 =L= -1;
e114.. - 87*x347 - 42*x348 - 26*x349 - 23*x350 - 17*x351 + x352 - 4*x359
- x466 =L= -1;
e115.. - 88*x347 - 80*x348 - 24*x349 - 25*x350 - 17*x351 + x352 - 4*x359
- x467 =L= -1;
e116.. - 90*x347 - 96*x348 - 34*x349 - 49*x350 - 169*x351 + x352 - 4*x359
- x468 =L= -1;
e117.. - 86*x347 - 67*x348 - 11*x349 - 15*x350 - 8*x351 + x352 - 4*x359 - x469
=L= -1;
e118.. - 92*x347 - 40*x348 - 19*x349 - 20*x350 - 21*x351 + x352 - 4*x359
- x470 =L= -1;
e119.. - 85*x347 - 60*x348 - 17*x349 - 21*x350 - 14*x351 + x352 - 4*x359
- x471 =L= -1;
e120.. - 89*x347 - 90*x348 - 15*x349 - 17*x350 - 25*x351 + x352 - 4*x359
- x472 =L= -1;
e121.. - 91*x347 - 57*x348 - 15*x349 - 16*x350 - 16*x351 + x352 - 4*x359
- x473 =L= -1;
e122.. - 96*x347 - 55*x348 - 48*x349 - 39*x350 - 42*x351 + x352 - 4*x359
- x474 =L= -1;
e123.. - 79*x347 - 101*x348 - 17*x349 - 27*x350 - 23*x351 + x352 - 4*x359
- x475 =L= -1;
e124.. - 90*x347 - 134*x348 - 14*x349 - 20*x350 - 14*x351 + x352 - 4*x359
- x476 =L= -1;
e125.. - 89*x347 - 76*x348 - 14*x349 - 21*x350 - 24*x351 + x352 - 4*x359
- x477 =L= -1;
e126.. - 88*x347 - 93*x348 - 29*x349 - 27*x350 - 31*x351 + x352 - 4*x359
- x478 =L= -1;
e127.. - 90*x347 - 67*x348 - 10*x349 - 16*x350 - 16*x351 + x352 - 4*x359
- x479 =L= -1;
e128.. - 92*x347 - 73*x348 - 24*x349 - 21*x350 - 48*x351 + x352 - 4*x359
- x480 =L= -1;
e129.. - 91*x347 - 55*x348 - 28*x349 - 28*x350 - 82*x351 + x352 - 4*x359
- x481 =L= -1;
e130.. - 83*x347 - 45*x348 - 19*x349 - 21*x350 - 13*x351 + x352 - 4*x359
- x482 =L= -1;
e131.. - 90*x347 - 74*x348 - 19*x349 - 14*x350 - 22*x351 + x352 - 4*x359
- x483 =L= -1;
e132.. 92*x347 + 66*x348 + 21*x349 + 16*x350 + 33*x351 - x352 + 5*x359
- x484 =L= -1;
e133.. 93*x347 + 63*x348 + 26*x349 + 18*x350 + 18*x351 - x352 + 5*x359
- x485 =L= -1;
e134.. - 86*x347 - 78*x348 - 47*x349 - 39*x350 - 107*x351 + x352 - 5*x359
- x486 =L= -1;
e135.. - 97*x347 - 44*x348 - 113*x349 - 45*x350 - 150*x351 + x352 - 5*x359
- x487 =L= -1;
e136.. - 87*x347 - 59*x348 - 15*x349 - 19*x350 - 12*x351 + x352 - 5*x359
- x488 =L= -1;
e137.. - 86*x347 - 44*x348 - 21*x349 - 11*x350 - 15*x351 + x352 - 5*x359
- x489 =L= -1;
e138.. - 87*x347 - 64*x348 - 16*x349 - 20*x350 - 24*x351 + x352 - 5*x359
- x490 =L= -1;
e139.. - 92*x347 - 57*x348 - 21*x349 - 23*x350 - 22*x351 + x352 - 5*x359
- x491 =L= -1;
e140.. - 90*x347 - 70*x348 - 25*x349 - 23*x350 - 112*x351 + x352 - 5*x359
- x492 =L= -1;
e141.. - 99*x347 - 59*x348 - 17*x349 - 19*x350 - 11*x351 + x352 - 5*x359
- x493 =L= -1;
e142.. 92*x347 + 80*x348 + 10*x349 + 26*x350 + 20*x351 - x352 + 6*x359
- x494 =L= -1;
e143.. 95*x347 + 60*x348 + 26*x349 + 22*x350 + 28*x351 - x352 + 6*x359
- x495 =L= -1;
e144.. 91*x347 + 63*x348 + 25*x349 + 26*x350 + 15*x351 - x352 + 6*x359
- x496 =L= -1;
e145.. 92*x347 + 62*x348 + 37*x349 + 21*x350 + 36*x351 - x352 + 6*x359
- x497 =L= -1;
e146.. 95*x347 + 50*x348 + 13*x349 + 14*x350 + 15*x351 - x352 + 6*x359
- x498 =L= -1;
e147.. 90*x347 + 76*x348 + 37*x349 + 19*x350 + 50*x351 - x352 + 6*x359
- x499 =L= -1;
e148.. 96*x347 + 70*x348 + 70*x349 + 26*x350 + 36*x351 - x352 + 6*x359
- x500 =L= -1;
e149.. 95*x347 + 62*x348 + 64*x349 + 42*x350 + 76*x351 - x352 + 6*x359
- x501 =L= -1;
e150.. 92*x347 + 62*x348 + 20*x349 + 23*x350 + 20*x351 - x352 + 6*x359
- x502 =L= -1;
e151.. 91*x347 + 63*x348 + 25*x349 + 26*x350 + 15*x351 - x352 + 6*x359
- x503 =L= -1;
e152.. - 82*x347 - 56*x348 - 67*x349 - 38*x350 - 92*x351 + x352 - 6*x359
- x504 =L= -1;
e153.. - 92*x347 - 82*x348 - 27*x349 - 24*x350 - 37*x351 + x352 - 6*x359
- x505 =L= -1;
e154.. - 90*x347 - 63*x348 - 12*x349 - 26*x350 - 21*x351 + x352 - 6*x359
- x506 =L= -1;
e155.. - 88*x347 - 37*x348 - 9*x349 - 15*x350 - 16*x351 + x352 - 6*x359 - x507
=L= -1;
e156.. - 100*x347 - 60*x348 - 29*x349 - 23*x350 - 76*x351 + x352 - 6*x359
- x508 =L= -1;
e157.. - 98*x347 - 43*x348 - 35*x349 - 23*x350 - 69*x351 + x352 - 6*x359
- x509 =L= -1;
e158.. - 91*x347 - 74*x348 - 87*x349 - 50*x350 - 67*x351 + x352 - 6*x359
- x510 =L= -1;
e159.. - 92*x347 - 87*x348 - 57*x349 - 25*x350 - 44*x351 + x352 - 6*x359
- x511 =L= -1;
e160.. - 93*x347 - 99*x348 - 36*x349 - 34*x350 - 48*x351 + x352 - 6*x359
- x512 =L= -1;
e161.. - 90*x347 - 72*x348 - 17*x349 - 19*x350 - 19*x351 + x352 - 6*x359
- x513 =L= -1;
e162.. - 97*x347 - 93*x348 - 21*x349 - 20*x350 - 68*x351 + x352 - 6*x359
- x514 =L= -1;
e163.. - 93*x347 - 50*x348 - 18*x349 - 25*x350 - 17*x351 + x352 - 6*x359
- x515 =L= -1;
e164.. - 90*x347 - 57*x348 - 20*x349 - 26*x350 - 33*x351 + x352 - 6*x359
- x516 =L= -1;
e165.. - 92*x347 - 76*x348 - 31*x349 - 28*x350 - 41*x351 + x352 - 6*x359
- x517 =L= -1;
e166.. - 88*x347 - 55*x348 - 19*x349 - 17*x350 - 14*x351 + x352 - 6*x359
- x518 =L= -1;
e167.. - 89*x347 - 63*x348 - 24*x349 - 29*x350 - 29*x351 + x352 - 6*x359
- x519 =L= -1;
e168.. 92*x347 + 79*x348 + 70*x349 + 32*x350 + 84*x351 - x352 + 7*x359
- x520 =L= -1;
e169.. 92*x347 + 93*x348 + 58*x349 + 35*x350 + 120*x351 - x352 + 7*x359
- x521 =L= -1;
e170.. - 93*x347 - 84*x348 - 58*x349 - 47*x350 - 62*x351 + x352 - 7*x359
- x522 =L= -1;
e171.. 97*x347 + 71*x348 + 29*x349 + 22*x350 + 52*x351 - x352 + 8*x359
- x523 =L= -1;
e172.. 84*x347 + 99*x348 + 33*x349 + 19*x350 + 26*x351 - x352 + 8*x359
- x524 =L= -1;
e173.. 96*x347 + 44*x348 + 42*x349 + 23*x350 + 73*x351 - x352 + 8*x359
- x525 =L= -1;
e174.. 90*x347 + 62*x348 + 22*x349 + 21*x350 + 21*x351 - x352 + 8*x359
- x526 =L= -1;
e175.. 92*x347 + 94*x348 + 18*x349 + 17*x350 + 6*x351 - x352 + 8*x359 - x527
=L= -1;
e176.. 90*x347 + 67*x348 + 77*x349 + 39*x350 + 114*x351 - x352 + 8*x359
- x528 =L= -1;
e177.. 97*x347 + 71*x348 + 29*x349 + 22*x350 + 52*x351 - x352 + 8*x359
- x529 =L= -1;
e178.. - 91*x347 - 69*x348 - 25*x349 - 25*x350 - 66*x351 + x352 - 8*x359
- x530 =L= -1;
e179.. - 93*x347 - 59*x348 - 17*x349 - 20*x350 - 14*x351 + x352 - 8*x359
- x531 =L= -1;
e180.. - 92*x347 - 95*x348 - 85*x349 - 48*x350 - 200*x351 + x352 - 8*x359
- x532 =L= -1;
e181.. - 90*x347 - 50*x348 - 26*x349 - 22*x350 - 53*x351 + x352 - 8*x359
- x533 =L= -1;
e182.. - 91*x347 - 62*x348 - 59*x349 - 47*x350 - 60*x351 + x352 - 8*x359
- x534 =L= -1;
e183.. 92*x347 + 93*x348 + 22*x349 + 28*x350 + 123*x351 - x352 + 9*x359
- x535 =L= -1;
e184.. 92*x347 + 77*x348 + 86*x349 + 41*x350 + 31*x351 - x352 + 10*x359
- x536 =L= -1;
e185.. - 86*x347 - 66*x348 - 22*x349 - 24*x350 - 26*x351 + x352 - 10*x359
- x537 =L= -1;
e186.. - 98*x347 - 57*x348 - 31*x349 - 34*x350 - 73*x351 + x352 - 10*x359
- x538 =L= -1;
e187.. - 95*x347 - 80*x348 - 50*x349 - 64*x350 - 55*x351 + x352 - 10*x359
- x539 =L= -1;
e188.. - 92*x347 - 108*x348 - 53*x349 - 33*x350 - 94*x351 + x352 - 12*x359
- x540 =L= -1;
e189.. - 97*x347 - 92*x348 - 22*x349 - 28*x350 - 49*x351 + x352 - 12*x359
- x541 =L= -1;
e190.. 93*x347 + 77*x348 + 39*x349 + 37*x350 + 108*x351 - x352 + 16*x359
- x542 =L= -1;
e191.. 94*x347 + 83*x348 + 81*x349 + 34*x350 + 201*x351 - x352 + 20*x359
- x543 =L= -1;
e192.. 87*x347 + 75*x348 + 25*x349 + 21*x350 + 14*x351 - x352 - x544 =L= -1;
e193.. 88*x347 + 56*x348 + 23*x349 + 18*x350 + 12*x351 - x352 - x545 =L= -1;
e194.. - 84*x347 - 97*x348 - 41*x349 - 20*x350 - 32*x351 + x352 - x546 =L= -1;
e195.. 94*x347 + 91*x348 + 27*x349 + 20*x350 + 15*x351 - x352 + 0.5*x359
- x547 =L= -1;
e196.. 97*x347 + 62*x348 + 17*x349 + 13*x350 + 5*x351 - x352 + 0.5*x359
- x548 =L= -1;
e197.. 92*x347 + 85*x348 + 25*x349 + 20*x350 + 12*x351 - x352 + 0.5*x359
- x549 =L= -1;
e198.. 82*x347 + 48*x348 + 27*x349 + 15*x350 + 12*x351 - x352 + 0.5*x359
- x550 =L= -1;
e199.. 88*x347 + 74*x348 + 31*x349 + 25*x350 + 15*x351 - x352 + 0.5*x359
- x551 =L= -1;
e200.. 95*x347 + 77*x348 + 30*x349 + 14*x350 + 21*x351 - x352 + 0.5*x359
- x552 =L= -1;
e201.. 88*x347 + 94*x348 + 26*x349 + 18*x350 + 8*x351 - x352 + 0.5*x359
- x553 =L= -1;
e202.. 91*x347 + 70*x348 + 19*x349 + 19*x350 + 22*x351 - x352 + 0.5*x359
- x554 =L= -1;
e203.. 83*x347 + 54*x348 + 27*x349 + 15*x350 + 12*x351 - x352 + 0.5*x359
- x555 =L= -1;
e204.. 91*x347 + 105*x348 + 40*x349 + 26*x350 + 56*x351 - x352 + 0.5*x359
- x556 =L= -1;
e205.. 86*x347 + 79*x348 + 37*x349 + 28*x350 + 14*x351 - x352 + 0.5*x359
- x557 =L= -1;
e206.. 91*x347 + 96*x348 + 35*x349 + 22*x350 + 135*x351 - x352 + 0.5*x359
- x558 =L= -1;
e207.. 89*x347 + 82*x348 + 23*x349 + 14*x350 + 35*x351 - x352 + 0.5*x359
- x559 =L= -1;
e208.. 90*x347 + 73*x348 + 24*x349 + 23*x350 + 11*x351 - x352 + 0.5*x359
- x560 =L= -1;
e209.. 90*x347 + 87*x348 + 19*x349 + 25*x350 + 19*x351 - x352 + 0.5*x359
- x561 =L= -1;
e210.. 89*x347 + 82*x348 + 33*x349 + 32*x350 + 18*x351 - x352 + 0.5*x359
- x562 =L= -1;
e211.. 85*x347 + 79*x348 + 17*x349 + 8*x350 + 9*x351 - x352 + 0.5*x359
- x563 =L= -1;
e212.. 85*x347 + 119*x348 + 30*x349 + 26*x350 + 17*x351 - x352 + 0.5*x359
- x564 =L= -1;
e213.. 78*x347 + 69*x348 + 24*x349 + 18*x350 + 31*x351 - x352 + 0.5*x359
- x565 =L= -1;
e214.. 88*x347 + 107*x348 + 34*x349 + 21*x350 + 27*x351 - x352 + 0.5*x359
- x566 =L= -1;
e215.. 89*x347 + 115*x348 + 17*x349 + 27*x350 + 7*x351 - x352 + 0.5*x359
- x567 =L= -1;
e216.. 92*x347 + 67*x348 + 23*x349 + 15*x350 + 12*x351 - x352 + 0.5*x359
- x568 =L= -1;
e217.. 89*x347 + 101*x348 + 27*x349 + 34*x350 + 14*x351 - x352 + 0.5*x359
- x569 =L= -1;
e218.. 91*x347 + 84*x348 + 11*x349 + 12*x350 + 10*x351 - x352 + 0.5*x359
- x570 =L= -1;
e219.. - 94*x347 - 101*x348 - 41*x349 - 20*x350 - 53*x351 + x352 - 0.5*x359
- x571 =L= -1;
e220.. - 88*x347 - 46*x348 - 29*x349 - 22*x350 - 18*x351 + x352 - 0.5*x359
- x572 =L= -1;
e221.. - 88*x347 - 122*x348 - 35*x349 - 29*x350 - 42*x351 + x352 - 0.5*x359
- x573 =L= -1;
e222.. - 84*x347 - 88*x348 - 28*x349 - 25*x350 - 35*x351 + x352 - 0.5*x359
- x574 =L= -1;
e223.. - 90*x347 - 79*x348 - 18*x349 - 15*x350 - 24*x351 + x352 - 0.5*x359
- x575 =L= -1;
e224.. - 87*x347 - 69*x348 - 22*x349 - 26*x350 - 11*x351 + x352 - 0.5*x359
- x576 =L= -1;
e225.. - 65*x347 - 63*x348 - 19*x349 - 20*x350 - 14*x351 + x352 - 0.5*x359
- x577 =L= -1;
e226.. - 90*x347 - 64*x348 - 12*x349 - 17*x350 - 14*x351 + x352 - 0.5*x359
- x578 =L= -1;
e227.. - 85*x347 - 58*x348 - 18*x349 - 24*x350 - 16*x351 + x352 - 0.5*x359
- x579 =L= -1;
e228.. - 88*x347 - 81*x348 - 41*x349 - 27*x350 - 36*x351 + x352 - 0.5*x359
- x580 =L= -1;
e229.. - 86*x347 - 78*x348 - 52*x349 - 29*x350 - 62*x351 + x352 - 0.5*x359
- x581 =L= -1;
e230.. - 82*x347 - 74*x348 - 38*x349 - 28*x350 - 48*x351 + x352 - 0.5*x359
- x582 =L= -1;
e231.. - 86*x347 - 58*x348 - 36*x349 - 27*x350 - 59*x351 + x352 - 0.5*x359
- x583 =L= -1;
e232.. - 94*x347 - 56*x348 - 30*x349 - 18*x350 - 27*x351 + x352 - 0.5*x359
- x584 =L= -1;
e233.. - 87*x347 - 57*x348 - 30*x349 - 30*x350 - 22*x351 + x352 - 0.5*x359
- x585 =L= -1;
e234.. - 98*x347 - 74*x348 - 148*x349 - 75*x350 - 159*x351 + x352 - 0.5*x359
- x586 =L= -1;
e235.. - 94*x347 - 75*x348 - 20*x349 - 25*x350 - 38*x351 + x352 - 0.5*x359
- x587 =L= -1;
e236.. - 83*x347 - 68*x348 - 17*x349 - 20*x350 - 71*x351 + x352 - 0.5*x359
- x588 =L= -1;
e237.. - 93*x347 - 56*x348 - 25*x349 - 21*x350 - 33*x351 + x352 - 0.5*x359
- x589 =L= -1;
e238.. - 101*x347 - 65*x348 - 18*x349 - 21*x350 - 22*x351 + x352 - 0.5*x359
- x590 =L= -1;
e239.. - 92*x347 - 65*x348 - 25*x349 - 20*x350 - 31*x351 + x352 - 0.5*x359
- x591 =L= -1;
e240.. - 92*x347 - 58*x348 - 14*x349 - 16*x350 - 13*x351 + x352 - 0.5*x359
- x592 =L= -1;
e241.. - 86*x347 - 58*x348 - 16*x349 - 23*x350 - 23*x351 + x352 - 0.5*x359
- x593 =L= -1;
e242.. - 85*x347 - 62*x348 - 15*x349 - 13*x350 - 22*x351 + x352 - 0.5*x359
- x594 =L= -1;
e243.. - 86*x347 - 57*x348 - 13*x349 - 20*x350 - 13*x351 + x352 - 0.5*x359
- x595 =L= -1;
e244.. - 86*x347 - 54*x348 - 26*x349 - 30*x350 - 13*x351 + x352 - 0.5*x359
- x596 =L= -1;
e245.. 81*x347 + 41*x348 + 33*x349 + 27*x350 + 34*x351 - x352 + x359 - x597
=L= -1;
e246.. 91*x347 + 67*x348 + 32*x349 + 26*x350 + 13*x351 - x352 + x359 - x598
=L= -1;
e247.. 91*x347 + 80*x348 + 21*x349 + 19*x350 + 14*x351 - x352 + x359 - x599
=L= -1;
e248.. 92*x347 + 60*x348 + 23*x349 + 15*x350 + 19*x351 - x352 + x359 - x600
=L= -1;
e249.. 91*x347 + 60*x348 + 32*x349 + 14*x350 + 8*x351 - x352 + x359 - x601
=L= -1;
e250.. 93*x347 + 65*x348 + 28*x349 + 22*x350 + 10*x351 - x352 + x359 - x602
=L= -1;
e251.. - 90*x347 - 63*x348 - 45*x349 - 24*x350 - 85*x351 + x352 - x359 - x603
=L= -1;
e252.. - 87*x347 - 92*x348 - 21*x349 - 22*x350 - 37*x351 + x352 - x359 - x604
=L= -1;
e253.. - 83*x347 - 78*x348 - 31*x349 - 19*x350 - 115*x351 + x352 - x359 - x605
=L= -1;
e254.. - 95*x347 - 62*x348 - 24*x349 - 23*x350 - 14*x351 + x352 - x359 - x606
=L= -1;
e255.. - 93*x347 - 59*x348 - 41*x349 - 30*x350 - 48*x351 + x352 - x359 - x607
=L= -1;
e256.. 84*x347 + 82*x348 + 43*x349 + 32*x350 + 38*x351 - x352 + 2*x359
- x608 =L= -1;
e257.. 87*x347 + 71*x348 + 33*x349 + 20*x350 + 22*x351 - x352 + 2*x359
- x609 =L= -1;
e258.. 86*x347 + 44*x348 + 24*x349 + 15*x350 + 18*x351 - x352 + 2*x359
- x610 =L= -1;
e259.. 86*x347 + 66*x348 + 28*x349 + 24*x350 + 21*x351 - x352 + 2*x359
- x611 =L= -1;
e260.. 88*x347 + 58*x348 + 31*x349 + 17*x350 + 17*x351 - x352 + 2*x359
- x612 =L= -1;
e261.. 90*x347 + 61*x348 + 28*x349 + 29*x350 + 31*x351 - x352 + 2*x359
- x613 =L= -1;
e262.. 88*x347 + 69*x348 + 70*x349 + 24*x350 + 64*x351 - x352 + 2*x359
- x614 =L= -1;
e263.. 93*x347 + 87*x348 + 18*x349 + 17*x350 + 26*x351 - x352 + 2*x359
- x615 =L= -1;
e264.. 98*x347 + 58*x348 + 33*x349 + 21*x350 + 28*x351 - x352 + 2*x359
- x616 =L= -1;
e265.. - 91*x347 - 44*x348 - 18*x349 - 18*x350 - 23*x351 + x352 - 2*x359
- x617 =L= -1;
e266.. - 87*x347 - 75*x348 - 37*x349 - 19*x350 - 70*x351 + x352 - 2*x359
- x618 =L= -1;
e267.. - 94*x347 - 91*x348 - 30*x349 - 26*x350 - 25*x351 + x352 - 2*x359
- x619 =L= -1;
e268.. - 88*x347 - 85*x348 - 14*x349 - 15*x350 - 10*x351 + x352 - 2*x359
- x620 =L= -1;
e269.. - 89*x347 - 109*x348 - 26*x349 - 25*x350 - 27*x351 + x352 - 2*x359
- x621 =L= -1;
e270.. - 87*x347 - 59*x348 - 37*x349 - 27*x350 - 34*x351 + x352 - 2*x359
- x622 =L= -1;
e271.. - 93*x347 - 58*x348 - 20*x349 - 23*x350 - 18*x351 + x352 - 2*x359
- x623 =L= -1;
e272.. - 88*x347 - 57*x348 - 9*x349 - 15*x350 - 16*x351 + x352 - 2*x359 - x624
=L= -1;
e273.. 94*x347 + 65*x348 + 38*x349 + 27*x350 + 17*x351 - x352 + 3*x359
- x625 =L= -1;
e274.. 91*x347 + 71*x348 + 12*x349 + 22*x350 + 11*x351 - x352 + 3*x359
- x626 =L= -1;
e275.. 90*x347 + 55*x348 + 20*x349 + 20*x350 + 16*x351 - x352 + 3*x359
- x627 =L= -1;
e276.. - 91*x347 - 64*x348 - 21*x349 - 17*x350 - 26*x351 + x352 - 3*x359
- x628 =L= -1;
e277.. - 88*x347 - 47*x348 - 35*x349 - 26*x350 - 33*x351 + x352 - 3*x359
- x629 =L= -1;
e278.. - 82*x347 - 72*x348 - 31*x349 - 20*x350 - 84*x351 + x352 - 3*x359
- x630 =L= -1;
e279.. - 85*x347 - 58*x348 - 83*x349 - 49*x350 - 51*x351 + x352 - 3*x359
- x631 =L= -1;
e280.. 91*x347 + 54*x348 + 25*x349 + 22*x350 + 35*x351 - x352 + 4*x359
- x632 =L= -1;
e281.. - 98*x347 - 50*x348 - 27*x349 - 25*x350 - 53*x351 + x352 - 4*x359
- x633 =L= -1;
e282.. - 86*x347 - 62*x348 - 29*x349 - 21*x350 - 26*x351 + x352 - 4*x359
- x634 =L= -1;
e283.. - 89*x347 - 48*x348 - 32*x349 - 22*x350 - 14*x351 + x352 - 4*x359
- x635 =L= -1;
e284.. - 82*x347 - 68*x348 - 20*x349 - 22*x350 - 9*x351 + x352 - 4*x359 - x636
=L= -1;
e285.. - 83*x347 - 70*x348 - 17*x349 - 19*x350 - 23*x351 + x352 - 4*x359
- x637 =L= -1;
e286.. - 96*x347 - 70*x348 - 21*x349 - 26*x350 - 21*x351 + x352 - 4*x359
- x638 =L= -1;
e287.. - 94*x347 - 117*x348 - 77*x349 - 56*x350 - 52*x351 + x352 - 4*x359
- x639 =L= -1;
e288.. - 93*x347 - 45*x348 - 11*x349 - 14*x350 - 21*x351 + x352 - 4*x359
- x640 =L= -1;
e289.. - 93*x347 - 49*x348 - 27*x349 - 21*x350 - 29*x351 + x352 - 4*x359
- x641 =L= -1;
e290.. - 84*x347 - 73*x348 - 46*x349 - 32*x350 - 39*x351 + x352 - 4*x359
- x642 =L= -1;
e291.. - 91*x347 - 63*x348 - 17*x349 - 17*x350 - 46*x351 + x352 - 4*x359
- x643 =L= -1;
e292.. - 90*x347 - 57*x348 - 31*x349 - 18*x350 - 37*x351 + x352 - 4*x359
- x644 =L= -1;
e293.. - 87*x347 - 45*x348 - 19*x349 - 13*x350 - 16*x351 + x352 - 4*x359
- x645 =L= -1;
e294.. - 91*x347 - 68*x348 - 14*x349 - 20*x350 - 19*x351 + x352 - 4*x359
- x646 =L= -1;
e295.. - 86*x347 - 55*x348 - 29*x349 - 35*x350 - 108*x351 + x352 - 4*x359
- x647 =L= -1;
e296.. - 91*x347 - 86*x348 - 52*x349 - 47*x350 - 52*x351 + x352 - 4*x359
- x648 =L= -1;
e297.. - 88*x347 - 46*x348 - 15*x349 - 33*x350 - 55*x351 + x352 - 4*x359
- x649 =L= -1;
e298.. - 85*x347 - 52*x348 - 22*x349 - 23*x350 - 34*x351 + x352 - 4*x359
- x650 =L= -1;
e299.. - 89*x347 - 72*x348 - 33*x349 - 27*x350 - 55*x351 + x352 - 4*x359
- x651 =L= -1;
e300.. - 95*x347 - 59*x348 - 23*x349 - 18*x350 - 19*x351 + x352 - 4*x359
- x652 =L= -1;
e301.. - 94*x347 - 43*x348 - 154*x349 - 82*x350 - 121*x351 + x352 - 4*x359
- x653 =L= -1;
e302.. - 96*x347 - 56*x348 - 38*x349 - 26*x350 - 23*x351 + x352 - 5*x359
- x654 =L= -1;
e303.. - 90*x347 - 52*x348 - 10*x349 - 17*x350 - 12*x351 + x352 - 5*x359
- x655 =L= -1;
e304.. - 94*x347 - 45*x348 - 20*x349 - 16*x350 - 12*x351 + x352 - 5*x359
- x656 =L= -1;
e305.. - 99*x347 - 42*x348 - 14*x349 - 21*x350 - 49*x351 + x352 - 5*x359
- x657 =L= -1;
e306.. - 93*x347 - 102*x348 - 47*x349 - 23*x350 - 37*x351 + x352 - 5*x359
- x658 =L= -1;
e307.. - 94*x347 - 71*x348 - 25*x349 - 26*x350 - 31*x351 + x352 - 5*x359
- x659 =L= -1;
e308.. - 92*x347 - 73*x348 - 33*x349 - 34*x350 - 115*x351 + x352 - 5*x359
- x660 =L= -1;
e309.. 87*x347 + 54*x348 + 41*x349 + 29*x350 + 23*x351 - x352 + 6*x359
- x661 =L= -1;
e310.. 92*x347 + 67*x348 + 15*x349 + 14*x350 + 14*x351 - x352 + 6*x359
- x662 =L= -1;
e311.. 98*x347 + 101*x348 + 31*x349 + 26*x350 + 32*x351 - x352 + 6*x359
- x663 =L= -1;
e312.. 92*x347 + 53*x348 + 51*x349 + 33*x350 + 92*x351 - x352 + 6*x359
- x664 =L= -1;
e313.. 97*x347 + 94*x348 + 43*x349 + 43*x350 + 82*x351 - x352 + 6*x359
- x665 =L= -1;
e314.. 93*x347 + 43*x348 + 11*x349 + 16*x350 + 54*x351 - x352 + 6*x359
- x666 =L= -1;
e315.. 93*x347 + 68*x348 + 24*x349 + 18*x350 + 19*x351 - x352 + 6*x359
- x667 =L= -1;
e316.. 95*x347 + 36*x348 + 38*x349 + 19*x350 + 15*x351 - x352 + 6*x359
- x668 =L= -1;
e317.. 99*x347 + 86*x348 + 58*x349 + 42*x350 + 203*x351 - x352 + 6*x359
- x669 =L= -1;
e318.. 98*x347 + 66*x348 + 103*x349 + 57*x350 + 114*x351 - x352 + 6*x359
- x670 =L= -1;
e319.. 92*x347 + 80*x348 + 10*x349 + 26*x350 + 20*x351 - x352 + 6*x359
- x671 =L= -1;
e320.. - 96*x347 - 74*x348 - 27*x349 - 25*x350 - 43*x351 + x352 - 6*x359
- x672 =L= -1;
e321.. - 95*x347 - 93*x348 - 21*x349 - 27*x350 - 47*x351 + x352 - 6*x359
- x673 =L= -1;
e322.. - 86*x347 - 109*x348 - 16*x349 - 22*x350 - 28*x351 + x352 - 6*x359
- x674 =L= -1;
e323.. - 91*x347 - 46*x348 - 30*x349 - 24*x350 - 39*x351 + x352 - 7*x359
- x675 =L= -1;
e324.. - 102*x347 - 82*x348 - 34*x349 - 78*x350 - 203*x351 + x352 - 7*x359
- x676 =L= -1;
e325.. - 85*x347 - 50*x348 - 12*x349 - 18*x350 - 14*x351 + x352 - 7*x359
- x677 =L= -1;
e326.. 91*x347 + 57*x348 + 33*x349 + 23*x350 + 12*x351 - x352 + 8*x359
- x678 =L= -1;
e327.. 91*x347 + 52*x348 + 76*x349 + 32*x350 + 24*x351 - x352 + 8*x359
- x679 =L= -1;
e328.. 93*x347 + 70*x348 + 46*x349 + 30*x350 + 33*x351 - x352 + 8*x359
- x680 =L= -1;
e329.. 87*x347 + 55*x348 + 36*x349 + 19*x350 + 25*x351 - x352 + 8*x359
- x681 =L= -1;
e330.. 98*x347 + 123*x348 + 28*x349 + 24*x350 + 31*x351 - x352 + 8*x359
- x682 =L= -1;
e331.. - 82*x347 - 55*x348 - 18*x349 - 23*x350 - 44*x351 + x352 - 8*x359
- x683 =L= -1;
e332.. - 95*x347 - 73*x348 - 20*x349 - 25*x350 - 225*x351 + x352 - 8*x359
- x684 =L= -1;
e333.. - 97*x347 - 80*x348 - 17*x349 - 20*x350 - 53*x351 + x352 - 8*x359
- x685 =L= -1;
e334.. - 100*x347 - 83*x348 - 25*x349 - 24*x350 - 28*x351 + x352 - 8*x359
- x686 =L= -1;
e335.. - 88*x347 - 91*x348 - 56*x349 - 35*x350 - 126*x351 + x352 - 9*x359
- x687 =L= -1;
e336.. 91*x347 + 138*x348 + 45*x349 + 21*x350 + 48*x351 - x352 + 10*x359
- x688 =L= -1;
e337.. 92*x347 + 41*x348 + 37*x349 + 22*x350 + 37*x351 - x352 + 10*x359
- x689 =L= -1;
e338.. - 86*x347 - 123*x348 - 20*x349 - 25*x350 - 23*x351 + x352 - 10*x359
- x690 =L= -1;
e339.. - 91*x347 - 93*x348 - 35*x349 - 34*x350 - 37*x351 + x352 - 10*x359
- x691 =L= -1;
e340.. - 87*x347 - 87*x348 - 15*x349 - 23*x350 - 11*x351 + x352 - 10*x359
- x692 =L= -1;
e341.. - 87*x347 - 56*x348 - 52*x349 - 43*x350 - 55*x351 + x352 - 10*x359
- x693 =L= -1;
e342.. 99*x347 + 75*x348 + 26*x349 + 24*x350 + 41*x351 - x352 + 12*x359
- x694 =L= -1;
e343.. - 96*x347 - 69*x348 - 53*x349 - 43*x350 - 203*x351 + x352 - 12*x359
- x695 =L= -1;
e344.. 98*x347 + 77*x348 + 55*x349 + 35*x350 + 89*x351 - x352 + 15*x359
- x696 =L= -1;
e345.. 91*x347 + 68*x348 + 27*x349 + 26*x350 + 14*x351 - x352 + 16*x359
- x697 =L= -1;
e346.. 98*x347 + 99*x348 + 57*x349 + 45*x350 + 65*x351 - x352 + 20*x359
- x698 =L= -1;
e347.. - b2 - x699 =E= -1;
e348.. - b3 - x700 =E= -1;
e349.. - b4 - x701 =E= -1;
e350.. - b5 - x702 =E= -1;
e351.. - b6 - x703 =E= -1;
e352.. - b7 - x704 =E= -1;
e353.. - b8 - x705 =E= -1;
e354.. - b9 - x706 =E= -1;
e355.. - b10 - x707 =E= -1;
e356.. - b11 - x708 =E= -1;
e357.. - b12 - x709 =E= -1;
e358.. - b13 - x710 =E= -1;
e359.. - b14 - x711 =E= -1;
e360.. - b15 - x712 =E= -1;
e361.. - b16 - x713 =E= -1;
e362.. - b17 - x714 =E= -1;
e363.. - b18 - x715 =E= -1;
e364.. - b19 - x716 =E= -1;
e365.. - b20 - x717 =E= -1;
e366.. - b21 - x718 =E= -1;
e367.. - b22 - x719 =E= -1;
e368.. - b23 - x720 =E= -1;
e369.. - b24 - x721 =E= -1;
e370.. - b25 - x722 =E= -1;
e371.. - b26 - x723 =E= -1;
e372.. - b27 - x724 =E= -1;
e373.. - b28 - x725 =E= -1;
e374.. - b29 - x726 =E= -1;
e375.. - b30 - x727 =E= -1;
e376.. - b31 - x728 =E= -1;
e377.. - b32 - x729 =E= -1;
e378.. - b33 - x730 =E= -1;
e379.. - b34 - x731 =E= -1;
e380.. - b35 - x732 =E= -1;
e381.. - b36 - x733 =E= -1;
e382.. - b37 - x734 =E= -1;
e383.. - b38 - x735 =E= -1;
e384.. - b39 - x736 =E= -1;
e385.. - b40 - x737 =E= -1;
e386.. - b41 - x738 =E= -1;
e387.. - b42 - x739 =E= -1;
e388.. - b43 - x740 =E= -1;
e389.. - b44 - x741 =E= -1;
e390.. - b45 - x742 =E= -1;
e391.. - b46 - x743 =E= -1;
e392.. - b47 - x744 =E= -1;
e393.. - b48 - x745 =E= -1;
e394.. - b49 - x746 =E= -1;
e395.. - b50 - x747 =E= -1;
e396.. - b51 - x748 =E= -1;
e397.. - b52 - x749 =E= -1;
e398.. - b53 - x750 =E= -1;
e399.. - b54 - x751 =E= -1;
e400.. - b55 - x752 =E= -1;
e401.. - b56 - x753 =E= -1;
e402.. - b57 - x754 =E= -1;
e403.. - b58 - x755 =E= -1;
e404.. - b59 - x756 =E= -1;
e405.. - b60 - x757 =E= -1;
e406.. - b61 - x758 =E= -1;
e407.. - b62 - x759 =E= -1;
e408.. - b63 - x760 =E= -1;
e409.. - b64 - x761 =E= -1;
e410.. - b65 - x762 =E= -1;
e411.. - b66 - x763 =E= -1;
e412.. - b67 - x764 =E= -1;
e413.. - b68 - x765 =E= -1;
e414.. - b69 - x766 =E= -1;
e415.. - b70 - x767 =E= -1;
e416.. - b71 - x768 =E= -1;
e417.. - b72 - x769 =E= -1;
e418.. - b73 - x770 =E= -1;
e419.. - b74 - x771 =E= -1;
e420.. - b75 - x772 =E= -1;
e421.. - b76 - x773 =E= -1;
e422.. - b77 - x774 =E= -1;
e423.. - b78 - x775 =E= -1;
e424.. - b79 - x776 =E= -1;
e425.. - b80 - x777 =E= -1;
e426.. - b81 - x778 =E= -1;
e427.. - b82 - x779 =E= -1;
e428.. - b83 - x780 =E= -1;
e429.. - b84 - x781 =E= -1;
e430.. - b85 - x782 =E= -1;
e431.. - b86 - x783 =E= -1;
e432.. - b87 - x784 =E= -1;
e433.. - b88 - x785 =E= -1;
e434.. - b89 - x786 =E= -1;
e435.. - b90 - x787 =E= -1;
e436.. - b91 - x788 =E= -1;
e437.. - b92 - x789 =E= -1;
e438.. - b93 - x790 =E= -1;
e439.. - b94 - x791 =E= -1;
e440.. - b95 - x792 =E= -1;
e441.. - b96 - x793 =E= -1;
e442.. - b97 - x794 =E= -1;
e443.. - b98 - x795 =E= -1;
e444.. - b99 - x796 =E= -1;
e445.. - b100 - x797 =E= -1;
e446.. - b101 - x798 =E= -1;
e447.. - b102 - x799 =E= -1;
e448.. - b103 - x800 =E= -1;
e449.. - b104 - x801 =E= -1;
e450.. - b105 - x802 =E= -1;
e451.. - b106 - x803 =E= -1;
e452.. - b107 - x804 =E= -1;
e453.. - b108 - x805 =E= -1;
e454.. - b109 - x806 =E= -1;
e455.. - b110 - x807 =E= -1;
e456.. - b111 - x808 =E= -1;
e457.. - b112 - x809 =E= -1;
e458.. - b113 - x810 =E= -1;
e459.. - b114 - x811 =E= -1;
e460.. - b115 - x812 =E= -1;
e461.. - b116 - x813 =E= -1;
e462.. - b117 - x814 =E= -1;
e463.. - b118 - x815 =E= -1;
e464.. - b119 - x816 =E= -1;
e465.. - b120 - x817 =E= -1;
e466.. - b121 - x818 =E= -1;
e467.. - b122 - x819 =E= -1;
e468.. - b123 - x820 =E= -1;
e469.. - b124 - x821 =E= -1;
e470.. - b125 - x822 =E= -1;
e471.. - b126 - x823 =E= -1;
e472.. - b127 - x824 =E= -1;
e473.. - b128 - x825 =E= -1;
e474.. - b129 - x826 =E= -1;
e475.. - b130 - x827 =E= -1;
e476.. - b131 - x828 =E= -1;
e477.. - b132 - x829 =E= -1;
e478.. - b133 - x830 =E= -1;
e479.. - b134 - x831 =E= -1;
e480.. - b135 - x832 =E= -1;
e481.. - b136 - x833 =E= -1;
e482.. - b137 - x834 =E= -1;
e483.. - b138 - x835 =E= -1;
e484.. - b139 - x836 =E= -1;
e485.. - b140 - x837 =E= -1;
e486.. - b141 - x838 =E= -1;
e487.. - b142 - x839 =E= -1;
e488.. - b143 - x840 =E= -1;
e489.. - b144 - x841 =E= -1;
e490.. - b145 - x842 =E= -1;
e491.. - b146 - x843 =E= -1;
e492.. - b147 - x844 =E= -1;
e493.. - b148 - x845 =E= -1;
e494.. - b149 - x846 =E= -1;
e495.. - b150 - x847 =E= -1;
e496.. - b151 - x848 =E= -1;
e497.. - b152 - x849 =E= -1;
e498.. - b153 - x850 =E= -1;
e499.. - b154 - x851 =E= -1;
e500.. - b155 - x852 =E= -1;
e501.. - b156 - x853 =E= -1;
e502.. - b157 - x854 =E= -1;
e503.. - b158 - x855 =E= -1;
e504.. - b159 - x856 =E= -1;
e505.. - b160 - x857 =E= -1;
e506.. - b161 - x858 =E= -1;
e507.. - b162 - x859 =E= -1;
e508.. - b163 - x860 =E= -1;
e509.. - b164 - x861 =E= -1;
e510.. - b165 - x862 =E= -1;
e511.. - b166 - x863 =E= -1;
e512.. - b167 - x864 =E= -1;
e513.. - b168 - x865 =E= -1;
e514.. - b169 - x866 =E= -1;
e515.. - b170 - x867 =E= -1;
e516.. - b171 - x868 =E= -1;
e517.. - b172 - x869 =E= -1;
e518.. - b173 - x870 =E= -1;
e519.. - b174 - x871 =E= -1;
e520.. - b175 - x872 =E= -1;
e521.. - b176 - x873 =E= -1;
e522.. - b177 - x874 =E= -1;
e523.. - b178 - x875 =E= -1;
e524.. - b179 - x876 =E= -1;
e525.. - b180 - x877 =E= -1;
e526.. - b181 - x878 =E= -1;
e527.. - b182 - x879 =E= -1;
e528.. - b183 - x880 =E= -1;
e529.. - b184 - x881 =E= -1;
e530.. - b185 - x882 =E= -1;
e531.. - b186 - x883 =E= -1;
e532.. - b187 - x884 =E= -1;
e533.. - b188 - x885 =E= -1;
e534.. - b189 - x886 =E= -1;
e535.. - b190 - x887 =E= -1;
e536.. - b191 - x888 =E= -1;
e537.. - b192 - x889 =E= -1;
e538.. - b193 - x890 =E= -1;
e539.. - b194 - x891 =E= -1;
e540.. - b195 - x892 =E= -1;
e541.. - b196 - x893 =E= -1;
e542.. - b197 - x894 =E= -1;
e543.. - b198 - x895 =E= -1;
e544.. - b199 - x896 =E= -1;
e545.. - b200 - x897 =E= -1;
e546.. - b201 - x898 =E= -1;
e547.. - b202 - x899 =E= -1;
e548.. - b203 - x900 =E= -1;
e549.. - b204 - x901 =E= -1;
e550.. - b205 - x902 =E= -1;
e551.. - b206 - x903 =E= -1;
e552.. - b207 - x904 =E= -1;
e553.. - b208 - x905 =E= -1;
e554.. - b209 - x906 =E= -1;
e555.. - b210 - x907 =E= -1;
e556.. - b211 - x908 =E= -1;
e557.. - b212 - x909 =E= -1;
e558.. - b213 - x910 =E= -1;
e559.. - b214 - x911 =E= -1;
e560.. - b215 - x912 =E= -1;
e561.. - b216 - x913 =E= -1;
e562.. - b217 - x914 =E= -1;
e563.. - b218 - x915 =E= -1;
e564.. - b219 - x916 =E= -1;
e565.. - b220 - x917 =E= -1;
e566.. - b221 - x918 =E= -1;
e567.. - b222 - x919 =E= -1;
e568.. - b223 - x920 =E= -1;
e569.. - b224 - x921 =E= -1;
e570.. - b225 - x922 =E= -1;
e571.. - b226 - x923 =E= -1;
e572.. - b227 - x924 =E= -1;
e573.. - b228 - x925 =E= -1;
e574.. - b229 - x926 =E= -1;
e575.. - b230 - x927 =E= -1;
e576.. - b231 - x928 =E= -1;
e577.. - b232 - x929 =E= -1;
e578.. - b233 - x930 =E= -1;
e579.. - b234 - x931 =E= -1;
e580.. - b235 - x932 =E= -1;
e581.. - b236 - x933 =E= -1;
e582.. - b237 - x934 =E= -1;
e583.. - b238 - x935 =E= -1;
e584.. - b239 - x936 =E= -1;
e585.. - b240 - x937 =E= -1;
e586.. - b241 - x938 =E= -1;
e587.. - b242 - x939 =E= -1;
e588.. - b243 - x940 =E= -1;
e589.. - b244 - x941 =E= -1;
e590.. - b245 - x942 =E= -1;
e591.. - b246 - x943 =E= -1;
e592.. - b247 - x944 =E= -1;
e593.. - b248 - x945 =E= -1;
e594.. - b249 - x946 =E= -1;
e595.. - b250 - x947 =E= -1;
e596.. - b251 - x948 =E= -1;
e597.. - b252 - x949 =E= -1;
e598.. - b253 - x950 =E= -1;
e599.. - b254 - x951 =E= -1;
e600.. - b255 - x952 =E= -1;
e601.. - b256 - x953 =E= -1;
e602.. - b257 - x954 =E= -1;
e603.. - b258 - x955 =E= -1;
e604.. - b259 - x956 =E= -1;
e605.. - b260 - x957 =E= -1;
e606.. - b261 - x958 =E= -1;
e607.. - b262 - x959 =E= -1;
e608.. - b263 - x960 =E= -1;
e609.. - b264 - x961 =E= -1;
e610.. - b265 - x962 =E= -1;
e611.. - b266 - x963 =E= -1;
e612.. - b267 - x964 =E= -1;
e613.. - b268 - x965 =E= -1;
e614.. - b269 - x966 =E= -1;
e615.. - b270 - x967 =E= -1;
e616.. - b271 - x968 =E= -1;
e617.. - b272 - x969 =E= -1;
e618.. - b273 - x970 =E= -1;
e619.. - b274 - x971 =E= -1;
e620.. - b275 - x972 =E= -1;
e621.. - b276 - x973 =E= -1;
e622.. - b277 - x974 =E= -1;
e623.. - b278 - x975 =E= -1;
e624.. - b279 - x976 =E= -1;
e625.. - b280 - x977 =E= -1;
e626.. - b281 - x978 =E= -1;
e627.. - b282 - x979 =E= -1;
e628.. - b283 - x980 =E= -1;
e629.. - b284 - x981 =E= -1;
e630.. - b285 - x982 =E= -1;
e631.. - b286 - x983 =E= -1;
e632.. - b287 - x984 =E= -1;
e633.. - b288 - x985 =E= -1;
e634.. - b289 - x986 =E= -1;
e635.. - b290 - x987 =E= -1;
e636.. - b291 - x988 =E= -1;
e637.. - b292 - x989 =E= -1;
e638.. - b293 - x990 =E= -1;
e639.. - b294 - x991 =E= -1;
e640.. - b295 - x992 =E= -1;
e641.. - b296 - x993 =E= -1;
e642.. - b297 - x994 =E= -1;
e643.. - b298 - x995 =E= -1;
e644.. - b299 - x996 =E= -1;
e645.. - b300 - x997 =E= -1;
e646.. - b301 - x998 =E= -1;
e647.. - b302 - x999 =E= -1;
e648.. - b303 - x1000 =E= -1;
e649.. - b304 - x1001 =E= -1;
e650.. - b305 - x1002 =E= -1;
e651.. - b306 - x1003 =E= -1;
e652.. - b307 - x1004 =E= -1;
e653.. - b308 - x1005 =E= -1;
e654.. - b309 - x1006 =E= -1;
e655.. - b310 - x1007 =E= -1;
e656.. - b311 - x1008 =E= -1;
e657.. - b312 - x1009 =E= -1;
e658.. - b313 - x1010 =E= -1;
e659.. - b314 - x1011 =E= -1;
e660.. - b315 - x1012 =E= -1;
e661.. - b316 - x1013 =E= -1;
e662.. - b317 - x1014 =E= -1;
e663.. - b318 - x1015 =E= -1;
e664.. - b319 - x1016 =E= -1;
e665.. - b320 - x1017 =E= -1;
e666.. - b321 - x1018 =E= -1;
e667.. - b322 - x1019 =E= -1;
e668.. - b323 - x1020 =E= -1;
e669.. - b324 - x1021 =E= -1;
e670.. - b325 - x1022 =E= -1;
e671.. - b326 - x1023 =E= -1;
e672.. - b327 - x1024 =E= -1;
e673.. - b328 - x1025 =E= -1;
e674.. - b329 - x1026 =E= -1;
e675.. - b330 - x1027 =E= -1;
e676.. - b331 - x1028 =E= -1;
e677.. - b332 - x1029 =E= -1;
e678.. - b333 - x1030 =E= -1;
e679.. - b334 - x1031 =E= -1;
e680.. - b335 - x1032 =E= -1;
e681.. - b336 - x1033 =E= -1;
e682.. - b337 - x1034 =E= -1;
e683.. - b338 - x1035 =E= -1;
e684.. - b339 - x1036 =E= -1;
e685.. - b340 - x1037 =E= -1;
e686.. - b341 - x1038 =E= -1;
e687.. - b342 - x1039 =E= -1;
e688.. - b343 - x1040 =E= -1;
e689.. - b344 - x1041 =E= -1;
e690.. - b345 - x1042 =E= -1;
e691.. - b346 - x1043 =E= -1;
e692.. x699*x353 =E= 0;
e693.. x700*x354 =E= 0;
e694.. x701*x355 =E= 0;
e695.. x702*x356 =E= 0;
e696.. x703*x357 =E= 0;
e697.. x704*x358 =E= 0;
e698.. x705*x360 =E= 0;
e699.. x706*x361 =E= 0;
e700.. x707*x362 =E= 0;
e701.. x708*x363 =E= 0;
e702.. x709*x364 =E= 0;
e703.. x710*x365 =E= 0;
e704.. x711*x366 =E= 0;
e705.. x712*x367 =E= 0;
e706.. x713*x368 =E= 0;
e707.. x714*x369 =E= 0;
e708.. x715*x370 =E= 0;
e709.. x716*x371 =E= 0;
e710.. x717*x372 =E= 0;
e711.. x718*x373 =E= 0;
e712.. x719*x374 =E= 0;
e713.. x720*x375 =E= 0;
e714.. x721*x376 =E= 0;
e715.. x722*x377 =E= 0;
e716.. x723*x378 =E= 0;
e717.. x724*x379 =E= 0;
e718.. x725*x380 =E= 0;
e719.. x726*x381 =E= 0;
e720.. x727*x382 =E= 0;
e721.. x728*x383 =E= 0;
e722.. x729*x384 =E= 0;
e723.. x730*x385 =E= 0;
e724.. x731*x386 =E= 0;
e725.. x732*x387 =E= 0;
e726.. x733*x388 =E= 0;
e727.. x734*x389 =E= 0;
e728.. x735*x390 =E= 0;
e729.. x736*x391 =E= 0;
e730.. x737*x392 =E= 0;
e731.. x738*x393 =E= 0;
e732.. x739*x394 =E= 0;
e733.. x740*x395 =E= 0;
e734.. x741*x396 =E= 0;
e735.. x742*x397 =E= 0;
e736.. x743*x398 =E= 0;
e737.. x744*x399 =E= 0;
e738.. x745*x400 =E= 0;
e739.. x746*x401 =E= 0;
e740.. x747*x402 =E= 0;
e741.. x748*x403 =E= 0;
e742.. x749*x404 =E= 0;
e743.. x750*x405 =E= 0;
e744.. x751*x406 =E= 0;
e745.. x752*x407 =E= 0;
e746.. x753*x408 =E= 0;
e747.. x754*x409 =E= 0;
e748.. x755*x410 =E= 0;
e749.. x756*x411 =E= 0;
e750.. x757*x412 =E= 0;
e751.. x758*x413 =E= 0;
e752.. x759*x414 =E= 0;
e753.. x760*x415 =E= 0;
e754.. x761*x416 =E= 0;
e755.. x762*x417 =E= 0;
e756.. x763*x418 =E= 0;
e757.. x764*x419 =E= 0;
e758.. x765*x420 =E= 0;
e759.. x766*x421 =E= 0;
e760.. x767*x422 =E= 0;
e761.. x768*x423 =E= 0;
e762.. x769*x424 =E= 0;
e763.. x770*x425 =E= 0;
e764.. x771*x426 =E= 0;
e765.. x772*x427 =E= 0;
e766.. x773*x428 =E= 0;
e767.. x774*x429 =E= 0;
e768.. x775*x430 =E= 0;
e769.. x776*x431 =E= 0;
e770.. x777*x432 =E= 0;
e771.. x778*x433 =E= 0;
e772.. x779*x434 =E= 0;
e773.. x780*x435 =E= 0;
e774.. x781*x436 =E= 0;
e775.. x782*x437 =E= 0;
e776.. x783*x438 =E= 0;
e777.. x784*x439 =E= 0;
e778.. x785*x440 =E= 0;
e779.. x786*x441 =E= 0;
e780.. x787*x442 =E= 0;
e781.. x788*x443 =E= 0;
e782.. x789*x444 =E= 0;
e783.. x790*x445 =E= 0;
e784.. x791*x446 =E= 0;
e785.. x792*x447 =E= 0;
e786.. x793*x448 =E= 0;
e787.. x794*x449 =E= 0;
e788.. x795*x450 =E= 0;
e789.. x796*x451 =E= 0;
e790.. x797*x452 =E= 0;
e791.. x798*x453 =E= 0;
e792.. x799*x454 =E= 0;
e793.. x800*x455 =E= 0;
e794.. x801*x456 =E= 0;
e795.. x802*x457 =E= 0;
e796.. x803*x458 =E= 0;
e797.. x804*x459 =E= 0;
e798.. x805*x460 =E= 0;
e799.. x806*x461 =E= 0;
e800.. x807*x462 =E= 0;
e801.. x808*x463 =E= 0;
e802.. x809*x464 =E= 0;
e803.. x810*x465 =E= 0;
e804.. x811*x466 =E= 0;
e805.. x812*x467 =E= 0;
e806.. x813*x468 =E= 0;
e807.. x814*x469 =E= 0;
e808.. x815*x470 =E= 0;
e809.. x816*x471 =E= 0;
e810.. x817*x472 =E= 0;
e811.. x818*x473 =E= 0;
e812.. x819*x474 =E= 0;
e813.. x820*x475 =E= 0;
e814.. x821*x476 =E= 0;
e815.. x822*x477 =E= 0;
e816.. x823*x478 =E= 0;
e817.. x824*x479 =E= 0;
e818.. x825*x480 =E= 0;
e819.. x826*x481 =E= 0;
e820.. x827*x482 =E= 0;
e821.. x828*x483 =E= 0;
e822.. x829*x484 =E= 0;
e823.. x830*x485 =E= 0;
e824.. x831*x486 =E= 0;
e825.. x832*x487 =E= 0;
e826.. x833*x488 =E= 0;
e827.. x834*x489 =E= 0;
e828.. x835*x490 =E= 0;
e829.. x836*x491 =E= 0;
e830.. x837*x492 =E= 0;
e831.. x838*x493 =E= 0;
e832.. x839*x494 =E= 0;
e833.. x840*x495 =E= 0;
e834.. x841*x496 =E= 0;
e835.. x842*x497 =E= 0;
e836.. x843*x498 =E= 0;
e837.. x844*x499 =E= 0;
e838.. x845*x500 =E= 0;
e839.. x846*x501 =E= 0;
e840.. x847*x502 =E= 0;
e841.. x848*x503 =E= 0;
e842.. x849*x504 =E= 0;
e843.. x850*x505 =E= 0;
e844.. x851*x506 =E= 0;
e845.. x852*x507 =E= 0;
e846.. x853*x508 =E= 0;
e847.. x854*x509 =E= 0;
e848.. x855*x510 =E= 0;
e849.. x856*x511 =E= 0;
e850.. x857*x512 =E= 0;
e851.. x858*x513 =E= 0;
e852.. x859*x514 =E= 0;
e853.. x860*x515 =E= 0;
e854.. x861*x516 =E= 0;
e855.. x862*x517 =E= 0;
e856.. x863*x518 =E= 0;
e857.. x864*x519 =E= 0;
e858.. x865*x520 =E= 0;
e859.. x866*x521 =E= 0;
e860.. x867*x522 =E= 0;
e861.. x868*x523 =E= 0;
e862.. x869*x524 =E= 0;
e863.. x870*x525 =E= 0;
e864.. x871*x526 =E= 0;
e865.. x872*x527 =E= 0;
e866.. x873*x528 =E= 0;
e867.. x874*x529 =E= 0;
e868.. x875*x530 =E= 0;
e869.. x876*x531 =E= 0;
e870.. x877*x532 =E= 0;
e871.. x878*x533 =E= 0;
e872.. x879*x534 =E= 0;
e873.. x880*x535 =E= 0;
e874.. x881*x536 =E= 0;
e875.. x882*x537 =E= 0;
e876.. x883*x538 =E= 0;
e877.. x884*x539 =E= 0;
e878.. x885*x540 =E= 0;
e879.. x886*x541 =E= 0;
e880.. x887*x542 =E= 0;
e881.. x888*x543 =E= 0;
e882.. x889*x544 =E= 0;
e883.. x890*x545 =E= 0;
e884.. x891*x546 =E= 0;
e885.. x892*x547 =E= 0;
e886.. x893*x548 =E= 0;
e887.. x894*x549 =E= 0;
e888.. x895*x550 =E= 0;
e889.. x896*x551 =E= 0;
e890.. x897*x552 =E= 0;
e891.. x898*x553 =E= 0;
e892.. x899*x554 =E= 0;
e893.. x900*x555 =E= 0;
e894.. x901*x556 =E= 0;
e895.. x902*x557 =E= 0;
e896.. x903*x558 =E= 0;
e897.. x904*x559 =E= 0;
e898.. x905*x560 =E= 0;
e899.. x906*x561 =E= 0;
e900.. x907*x562 =E= 0;
e901.. x908*x563 =E= 0;
e902.. x909*x564 =E= 0;
e903.. x910*x565 =E= 0;
e904.. x911*x566 =E= 0;
e905.. x912*x567 =E= 0;
e906.. x913*x568 =E= 0;
e907.. x914*x569 =E= 0;
e908.. x915*x570 =E= 0;
e909.. x916*x571 =E= 0;
e910.. x917*x572 =E= 0;
e911.. x918*x573 =E= 0;
e912.. x919*x574 =E= 0;
e913.. x920*x575 =E= 0;
e914.. x921*x576 =E= 0;
e915.. x922*x577 =E= 0;
e916.. x923*x578 =E= 0;
e917.. x924*x579 =E= 0;
e918.. x925*x580 =E= 0;
e919.. x926*x581 =E= 0;
e920.. x927*x582 =E= 0;
e921.. x928*x583 =E= 0;
e922.. x929*x584 =E= 0;
e923.. x930*x585 =E= 0;
e924.. x931*x586 =E= 0;
e925.. x932*x587 =E= 0;
e926.. x933*x588 =E= 0;
e927.. x934*x589 =E= 0;
e928.. x935*x590 =E= 0;
e929.. x936*x591 =E= 0;
e930.. x937*x592 =E= 0;
e931.. x938*x593 =E= 0;
e932.. x939*x594 =E= 0;
e933.. x940*x595 =E= 0;
e934.. x941*x596 =E= 0;
e935.. x942*x597 =E= 0;
e936.. x943*x598 =E= 0;
e937.. x944*x599 =E= 0;
e938.. x945*x600 =E= 0;
e939.. x946*x601 =E= 0;
e940.. x947*x602 =E= 0;
e941.. x948*x603 =E= 0;
e942.. x949*x604 =E= 0;
e943.. x950*x605 =E= 0;
e944.. x951*x606 =E= 0;
e945.. x952*x607 =E= 0;
e946.. x953*x608 =E= 0;
e947.. x954*x609 =E= 0;
e948.. x955*x610 =E= 0;
e949.. x956*x611 =E= 0;
e950.. x957*x612 =E= 0;
e951.. x958*x613 =E= 0;
e952.. x959*x614 =E= 0;
e953.. x960*x615 =E= 0;
e954.. x961*x616 =E= 0;
e955.. x962*x617 =E= 0;
e956.. x963*x618 =E= 0;
e957.. x964*x619 =E= 0;
e958.. x965*x620 =E= 0;
e959.. x966*x621 =E= 0;
e960.. x967*x622 =E= 0;
e961.. x968*x623 =E= 0;
e962.. x969*x624 =E= 0;
e963.. x970*x625 =E= 0;
e964.. x971*x626 =E= 0;
e965.. x972*x627 =E= 0;
e966.. x973*x628 =E= 0;
e967.. x974*x629 =E= 0;
e968.. x975*x630 =E= 0;
e969.. x976*x631 =E= 0;
e970.. x977*x632 =E= 0;
e971.. x978*x633 =E= 0;
e972.. x979*x634 =E= 0;
e973.. x980*x635 =E= 0;
e974.. x981*x636 =E= 0;
e975.. x982*x637 =E= 0;
e976.. x983*x638 =E= 0;
e977.. x984*x639 =E= 0;
e978.. x985*x640 =E= 0;
e979.. x986*x641 =E= 0;
e980.. x987*x642 =E= 0;
e981.. x988*x643 =E= 0;
e982.. x989*x644 =E= 0;
e983.. x990*x645 =E= 0;
e984.. x991*x646 =E= 0;
e985.. x992*x647 =E= 0;
e986.. x993*x648 =E= 0;
e987.. x994*x649 =E= 0;
e988.. x995*x650 =E= 0;
e989.. x996*x651 =E= 0;
e990.. x997*x652 =E= 0;
e991.. x998*x653 =E= 0;
e992.. x999*x654 =E= 0;
e993.. x1000*x655 =E= 0;
e994.. x1001*x656 =E= 0;
e995.. x1002*x657 =E= 0;
e996.. x1003*x658 =E= 0;
e997.. x1004*x659 =E= 0;
e998.. x1005*x660 =E= 0;
e999.. x1006*x661 =E= 0;
e1000.. x1007*x662 =E= 0;
e1001.. x1008*x663 =E= 0;
e1002.. x1009*x664 =E= 0;
e1003.. x1010*x665 =E= 0;
e1004.. x1011*x666 =E= 0;
e1005.. x1012*x667 =E= 0;
e1006.. x1013*x668 =E= 0;
e1007.. x1014*x669 =E= 0;
e1008.. x1015*x670 =E= 0;
e1009.. x1016*x671 =E= 0;
e1010.. x1017*x672 =E= 0;
e1011.. x1018*x673 =E= 0;
e1012.. x1019*x674 =E= 0;
e1013.. x1020*x675 =E= 0;
e1014.. x1021*x676 =E= 0;
e1015.. x1022*x677 =E= 0;
e1016.. x1023*x678 =E= 0;
e1017.. x1024*x679 =E= 0;
e1018.. x1025*x680 =E= 0;
e1019.. x1026*x681 =E= 0;
e1020.. x1027*x682 =E= 0;
e1021.. x1028*x683 =E= 0;
e1022.. x1029*x684 =E= 0;
e1023.. x1030*x685 =E= 0;
e1024.. x1031*x686 =E= 0;
e1025.. x1032*x687 =E= 0;
e1026.. x1033*x688 =E= 0;
e1027.. x1034*x689 =E= 0;
e1028.. x1035*x690 =E= 0;
e1029.. x1036*x691 =E= 0;
e1030.. x1037*x692 =E= 0;
e1031.. x1038*x693 =E= 0;
e1032.. x1039*x694 =E= 0;
e1033.. x1040*x695 =E= 0;
e1034.. x1041*x696 =E= 0;
e1035.. x1042*x697 =E= 0;
e1036.. x1043*x698 =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-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.