QPLIB

A Library of Quadratic Programming Instances

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

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-2019 by Zuse Institute Berlin. All rights reserved. Imprint.