$offlisting * * Equation counts * Total E G L N X C B * 892 595 0 297 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 906 609 297 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 4909 4315 594 0 * * Solve m using MIQCP minimizing objvar; Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154 ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167 ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180 ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193 ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206 ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219 ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232 ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245 ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258 ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271 ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284 ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297 ,b298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674 ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687 ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700 ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778 ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791 ,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804 ,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817 ,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830 ,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843 ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856 ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869 ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882 ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895 ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906; Positive Variables x311,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609; Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154 ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167 ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180 ,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193 ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206 ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219 ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232 ,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245 ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258 ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271 ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284 ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297 ,b298; Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19 ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36 ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53 ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70 ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87 ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103 ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116 ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129 ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142 ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155 ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168 ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181 ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194 ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207 ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220 ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233 ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246 ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259 ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272 ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285 ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298 ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311 ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324 ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337 ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350 ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363 ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376 ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389 ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402 ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415 ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428 ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441 ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454 ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467 ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480 ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493 ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506 ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519 ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532 ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545 ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558 ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571 ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584 ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597 ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610 ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818 ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831 ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844 ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857 ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870 ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883 ,e884,e885,e886,e887,e888,e889,e890,e891,e892; e1.. - objvar + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 =E= 0; e2.. 63*x299 + x300 + x301 + 145*x302 + 233*x303 + x304 + 2*x305 + 150*x306 + 2*x307 + 3*x308 + 6*x309 - x310 - x311 =L= -1; e3.. - 67*x299 - x300 - 4*x301 - 160*x302 - 286*x303 - 2*x305 - 108*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - 3*x313 - x314 =L= -1; e4.. - 67*x299 - x300 - 4*x301 - 120*x302 - 229*x303 - 2*x305 - 129*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x315 =L= -1; e5.. 37*x299 + x300 + 3*x301 + 130*x302 + 250*x303 + 187*x306 + 3*x307 + 3*x308 + 3*x309 - x310 - x316 =L= -1; e6.. 41*x299 + 2*x301 + 130*x302 + 204*x303 + 2*x305 + 172*x306 + x307 + x308 + 3*x309 - x310 - x317 =L= -1; e7.. 56*x299 + x300 + 2*x301 + 120*x302 + 236*x303 + 178*x306 + x308 + 3*x309 - x310 - x318 =L= -1; e8.. - 62*x299 - 4*x301 - 140*x302 - 268*x303 - 2*x305 - 160*x306 - 3*x307 - 3*x308 - 3*x309 + x310 - 2*x313 - x319 =L= -1; e9.. 57*x299 + 4*x301 + 120*x302 + 354*x303 + 163*x306 + x308 + 3*x309 - x310 + x312 - x320 =L= -1; e10.. - 63*x299 - x300 - 4*x301 - 130*x302 - 254*x303 - 2*x305 - 147*x306 - x307 - 2*x308 - 7*x309 + x310 - x313 - x321 =L= -1; e11.. - 53*x299 - x300 - 4*x301 - 140*x302 - 203*x303 - x304 - 2*x305 - 155*x306 - 3*x307 - 3*x308 - 7*x309 + x310 - x312 - x322 =L= -1; e12.. 57*x299 + x300 + 4*x301 + 140*x302 + 192*x303 + 148*x306 + 2*x308 + 6*x309 - x310 - x323 =L= -1; e13.. 56*x299 + 2*x301 + 140*x302 + 294*x303 + 2*x305 + 153*x306 + x307 + 2*x308 + 3*x309 - x310 - x324 =L= -1; e14.. - 56*x299 - x300 - 3*x301 - 130*x302 - 256*x303 - x304 - 2*x305 - 142*x306 - 2*x308 - 6*x309 + x310 - x312 - x313 - x325 =L= -1; e15.. 44*x299 + x300 + 2*x301 + 120*x302 + 263*x303 + 173*x306 + x308 + 7*x309 - x310 - x326 =L= -1; e16.. 52*x299 + x300 + 3*x301 + 172*x302 + 199*x303 + x304 + 162*x306 + x308 + 7*x309 - x310 - x327 =L= -1; e17.. 57*x299 + x300 + 3*x301 + 150*x302 + 168*x303 + 174*x306 + x307 + x308 + 3*x309 - x310 - x328 =L= -1; e18.. - 48*x299 - x300 - 2*x301 - 110*x302 - 229*x303 - 168*x306 - x307 - 3*x308 - 7*x309 + x310 - x329 =L= -1; e19.. 54*x299 + x300 + 4*x301 + 140*x302 + 239*x303 + 160*x306 + x307 + x308 + 3*x309 - x310 - x330 =L= -1; e20.. 48*x299 + 3*x301 + 130*x302 + 275*x303 + 139*x306 + x308 + 3*x309 - x310 - x331 =L= -1; e21.. 49*x299 + x300 + 2*x301 + 130*x302 + 266*x303 + 171*x306 + x308 + 3*x309 - x310 - x332 =L= -1; e22.. 64*x299 + x300 + x301 + 110*x302 + 211*x303 + 2*x305 + 144*x306 + x307 + 2*x308 + 3*x309 - x310 + x312 - x333 =L= -1; e23.. 58*x299 + x301 + 150*x302 + 283*x303 + x304 + 2*x305 + 162*x306 + x307 + x308 + 3*x309 - x310 - x334 =L= -1; e24.. - 58*x299 - x300 - 2*x301 - 120*x302 - 284*x303 - 2*x305 - 160*x306 - x307 - 2*x308 - 3*x309 + x310 - x335 =L= -1; e25.. - 58*x299 - x300 - 3*x301 - 132*x302 - 224*x303 - 2*x305 - 173*x306 - 3*x307 - x308 - 7*x309 + x310 - 2*x313 - x336 =L= -1; e26.. - 60*x299 - x300 - 4*x301 - 130*x302 - 206*x303 - 2*x305 - 132*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x337 =L= -1; e27.. 50*x299 + 3*x301 + 120*x302 + 219*x303 + 158*x306 + x307 + 2*x308 + 3*x309 - x310 - x338 =L= -1; e28.. 58*x299 + 3*x301 + 120*x302 + 340*x303 + 172*x306 + x308 + 3*x309 - x310 - x339 =L= -1; e29.. 66*x299 + x301 + 150*x302 + 226*x303 + 114*x306 + 2*x307 + 3*x308 + 3*x309 - x310 - x340 =L= -1; e30.. 43*x299 + x300 + 4*x301 + 150*x302 + 247*x303 + 171*x306 + x307 + x308 + 3*x309 - x310 - x341 =L= -1; e31.. - 40*x299 - x300 - 4*x301 - 110*x302 - 167*x303 - 2*x305 - 114*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x342 =L= -1; e32.. 69*x299 + x301 + 140*x302 + 239*x303 + 151*x306 + x307 + x308 + 3*x309 - x310 + 2*x313 - x343 =L= -1; e33.. - 60*x299 - x300 - 4*x301 - 117*x302 - 230*x303 - x304 - 160*x306 - x307 - x308 - 7*x309 + x310 - x312 - 2*x313 - x344 =L= -1; e34.. - 64*x299 - x300 - 3*x301 - 140*x302 - 335*x303 - 158*x306 - x308 - 3*x309 + x310 - x345 =L= -1; e35.. 59*x299 + x300 + 4*x301 + 135*x302 + 234*x303 + 161*x306 + 2*x308 + 7*x309 - x310 - x346 =L= -1; e36.. 44*x299 + x300 + 3*x301 + 130*x302 + 233*x303 + 179*x306 + x308 + 3*x309 - x310 + x312 - x347 =L= -1; e37.. 42*x299 + x300 + 4*x301 + 140*x302 + 226*x303 + 178*x306 + x308 + 3*x309 - x310 - x348 =L= -1; e38.. - 43*x299 - x300 - 4*x301 - 120*x302 - 177*x303 - 2*x305 - 120*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x349 =L= -1; e39.. - 57*x299 - x300 - 4*x301 - 150*x302 - 276*x303 - 2*x305 - 112*x306 - 2*x308 - 6*x309 + x310 - x312 - x313 - x350 =L= -1; e40.. - 55*x299 - x300 - 4*x301 - 132*x302 - 353*x303 - 132*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x351 =L= -1; e41.. 61*x299 + x300 + 3*x301 + 150*x302 + 243*x303 + x304 + 137*x306 + x307 + 2*x308 + 3*x309 - x310 + x312 - x352 =L= -1; e42.. - 65*x299 - 4*x301 - 150*x302 - 225*x303 - 2*x305 - 114*x306 - x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x353 =L= -1; e43.. 40*x299 + x300 + x301 + 140*x302 + 199*x303 + 178*x306 + x307 + x308 + 7*x309 - x310 + x312 - x354 =L= -1; e44.. 71*x299 + 2*x301 + 160*x302 + 302*x303 + 162*x306 + x308 + 3*x309 - x310 + 2*x313 - x355 =L= -1; e45.. 59*x299 + x300 + 3*x301 + 150*x302 + 212*x303 + x304 + 157*x306 + x307 + x308 + 3*x309 - x310 - x356 =L= -1; e46.. - 61*x299 - 4*x301 - 130*x302 - 330*x303 - 2*x305 - 169*x306 - x308 - 3*x309 + x310 - x357 =L= -1; e47.. - 58*x299 - x300 - 3*x301 - 112*x302 - 230*x303 - 2*x305 - 165*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x313 - x358 =L= -1; e48.. 51*x299 + x300 + 3*x301 + 110*x302 + 175*x303 + 123*x306 + x308 + 3*x309 - x310 - x359 =L= -1; e49.. - 50*x299 - x300 - 4*x301 - 150*x302 - 243*x303 - 2*x305 - 128*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x360 =L= -1; e50.. 65*x299 + 3*x301 + 140*x302 + 417*x303 + x304 + 2*x305 + 157*x306 + x308 + 3*x309 - x310 + x313 - x361 =L= -1; e51.. 53*x299 + x300 + 3*x301 + 130*x302 + 197*x303 + x304 + 2*x305 + 152*x306 + x307 + 3*x308 + 3*x309 - x310 - x362 =L= -1; e52.. 41*x299 + 2*x301 + 105*x302 + 198*x303 + 168*x306 + x308 + 3*x309 - x310 + x313 - x363 =L= -1; e53.. 65*x299 + x300 + 4*x301 + 120*x302 + 177*x303 + 140*x306 + x308 + 7*x309 - x310 - x364 =L= -1; e54.. - 44*x299 - x300 - 4*x301 - 112*x302 - 290*x303 - 2*x305 - 153*x306 - x308 - 3*x309 + x310 - x313 - x365 =L= -1; e55.. 44*x299 + x300 + 2*x301 + 130*x302 + 219*x303 + 2*x305 + 188*x306 + x308 + 3*x309 - x310 - x366 =L= -1; e56.. - 60*x299 - x300 - 4*x301 - 130*x302 - 253*x303 - 144*x306 - x307 - x308 - 7*x309 + x310 - x312 - x313 - x367 =L= -1; e57.. - 54*x299 - x300 - 4*x301 - 124*x302 - 266*x303 - 2*x305 - 109*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x368 =L= -1; e58.. - 50*x299 - x300 - 3*x301 - 140*x302 - 233*x303 - 163*x306 - 2*x308 - 7*x309 + x310 - x313 - x369 =L= -1; e59.. - 41*x299 - x300 - 4*x301 - 110*x302 - 172*x303 - 2*x305 - 158*x306 - x308 - 7*x309 + x310 - x370 =L= -1; e60.. 54*x299 + x300 + 3*x301 + 125*x302 + 273*x303 + 2*x305 + 152*x306 + 3*x308 + 3*x309 - x310 + x313 - x371 =L= -1; e61.. 51*x299 + x300 + x301 + 125*x302 + 213*x303 + 2*x305 + 125*x306 + x307 + x308 + 3*x309 - x310 + x312 + x313 - x372 =L= -1; e62.. - 51*x299 - 4*x301 - 130*x302 - 305*x303 - 142*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x373 =L= -1; e63.. 46*x299 + 3*x301 + 142*x302 + 177*x303 + 2*x305 + 160*x306 + x307 + 3*x308 + 3*x309 - x310 + x312 - x374 =L= -1; e64.. - 58*x299 - x300 - 4*x301 - 128*x302 - 216*x303 - 2*x305 - 131*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x375 =L= -1; e65.. 54*x299 + 3*x301 + 135*x302 + 304*x303 + x304 + 170*x306 + x308 + 3*x309 - x310 - x376 =L= -1; e66.. - 54*x299 - x300 - 4*x301 - 120*x302 - 188*x303 - 113*x306 - x307 - 2*x308 - 7*x309 + x310 - x313 - x377 =L= -1; e67.. - 60*x299 - x300 - 4*x301 - 145*x302 - 282*x303 - 2*x305 - 142*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x378 =L= -1; e68.. - 60*x299 - x300 - 3*x301 - 140*x302 - 185*x303 - 2*x305 - 155*x306 - 3*x307 - 2*x308 - 3*x309 + x310 - x379 =L= -1; e69.. 54*x299 + x300 + 3*x301 + 150*x302 + 232*x303 + 2*x305 + 165*x306 + x307 + x308 + 7*x309 - x310 - x380 =L= -1; e70.. - 59*x299 - x300 - 4*x301 - 170*x302 - 326*x303 - 2*x305 - 140*x306 - 3*x307 - 3*x308 - 7*x309 + x310 - x312 - x381 =L= -1; e71.. - 46*x299 - x300 - 3*x301 - 150*x302 - 231*x303 - 147*x306 - 3*x307 - 2*x308 - 3*x309 + x310 - x382 =L= -1; e72.. 65*x299 + 3*x301 + 155*x302 + 269*x303 + 148*x306 + x308 + 3*x309 - x310 - x383 =L= -1; e73.. - 67*x299 - x300 - 4*x301 - 125*x302 - 254*x303 - x304 - 163*x306 - 2*x308 - 7*x309 + x310 - 2*x313 - x384 =L= -1; e74.. - 62*x299 - x300 - 4*x301 - 120*x302 - 267*x303 - 99*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x385 =L= -1; e75.. - 65*x299 - x300 - 4*x301 - 110*x302 - 248*x303 - 2*x305 - 158*x306 - x308 - 6*x309 + x310 - 2*x313 - x386 =L= -1; e76.. - 44*x299 - x300 - 4*x301 - 110*x302 - 197*x303 - 2*x305 - 177*x306 - x308 - 3*x309 + x310 - x313 - x387 =L= -1; e77.. 65*x299 + 3*x301 + 160*x302 + 360*x303 + 2*x305 + 151*x306 + x308 + 3*x309 - x310 - x388 =L= -1; e78.. - 60*x299 - x300 - 4*x301 - 125*x302 - 258*x303 - 2*x305 - 141*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x389 =L= -1; e79.. 51*x299 + 3*x301 + 140*x302 + 308*x303 + 2*x305 + 142*x306 + x307 + x308 + 3*x309 - x310 + x313 - x390 =L= -1; e80.. 48*x299 + x300 + 2*x301 + 130*x302 + 245*x303 + 2*x305 + 180*x306 + 2*x308 + 3*x309 - x310 - x391 =L= -1; e81.. - 58*x299 - x300 - 4*x301 - 150*x302 - 270*x303 - 2*x305 - 111*x306 - x308 - 7*x309 + x310 - x312 - x392 =L= -1; e82.. 45*x299 + x300 + 4*x301 + 104*x302 + 208*x303 + 2*x305 + 148*x306 + 3*x307 + 2*x308 + 3*x309 - x310 + x312 - x393 =L= -1; e83.. 53*x299 + 4*x301 + 130*x302 + 264*x303 + 2*x305 + 143*x306 + 2*x308 + 3*x309 - x310 - x394 =L= -1; e84.. 39*x299 + x300 + 3*x301 + 140*x302 + 321*x303 + 2*x305 + 182*x306 + x308 + 3*x309 - x310 - x395 =L= -1; e85.. - 68*x299 - x300 - 3*x301 - 180*x302 - 274*x303 - x304 - 2*x305 - 150*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x396 =L= -1; e86.. 52*x299 + x300 + 2*x301 + 120*x302 + 325*x303 + 172*x306 + x308 + 3*x309 - x310 - x397 =L= -1; e87.. 44*x299 + x300 + 3*x301 + 140*x302 + 235*x303 + 2*x305 + 180*x306 + x308 + 3*x309 - x310 - x398 =L= -1; e88.. 47*x299 + x300 + 3*x301 + 138*x302 + 257*x303 + 2*x305 + 156*x306 + x308 + 3*x309 - x310 - x399 =L= -1; e89.. 53*x299 + 4*x301 + 138*x302 + 234*x303 + 2*x305 + 160*x306 + x308 + 3*x309 - x310 - x400 =L= -1; e90.. 51*x299 + 3*x301 + 130*x302 + 256*x303 + 2*x305 + 149*x306 + x308 + 3*x309 - x310 - x401 =L= -1; e91.. 66*x299 + x300 + 4*x301 + 120*x302 + 302*x303 + 2*x305 + 151*x306 + 2*x308 + 3*x309 - x310 - x402 =L= -1; e92.. - 62*x299 - 4*x301 - 160*x302 - 164*x303 - 2*x305 - 145*x306 - 6*x307 - 3*x308 - 7*x309 + x310 - 3*x313 - x403 =L= -1; e93.. 62*x299 + x300 + 3*x301 + 130*x302 + 231*x303 + 146*x306 + x307 + 2*x308 + 7*x309 - x310 + 3*x313 - x404 =L= -1; e94.. 44*x299 + 3*x301 + 108*x302 + 141*x303 + 175*x306 + 2*x308 + 3*x309 - x310 - x405 =L= -1; e95.. 63*x299 + 3*x301 + 135*x302 + 252*x303 + 2*x305 + 172*x306 + x308 + 3*x309 - x310 - x406 =L= -1; e96.. - 52*x299 - x300 - 4*x301 - 128*x302 - 255*x303 - 161*x306 - x308 - 7*x309 + x310 - x312 - x313 - x407 =L= -1; e97.. - 59*x299 - x300 - 4*x301 - 110*x302 - 239*x303 - 2*x305 - 142*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x408 =L= -1; e98.. - 60*x299 - 4*x301 - 150*x302 - 258*x303 - 2*x305 - 157*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - 2*x313 - x409 =L= -1; e99.. 52*x299 + x300 + 2*x301 + 134*x302 + 201*x303 + 158*x306 + x308 + 3*x309 - x310 + x313 - x410 =L= -1; e100.. 48*x299 + x300 + 4*x301 + 122*x302 + 222*x303 + 2*x305 + 186*x306 + x308 + 3*x309 - x310 - x411 =L= -1; e101.. 45*x299 + x300 + 4*x301 + 115*x302 + 260*x303 + 2*x305 + 185*x306 + x308 + 3*x309 - x310 - x412 =L= -1; e102.. 34*x299 + x300 + x301 + 118*x302 + 182*x303 + 2*x305 + 174*x306 + x308 + 3*x309 - x310 - x413 =L= -1; e103.. 57*x299 + 4*x301 + 128*x302 + 303*x303 + 2*x305 + 159*x306 + x308 + 3*x309 - x310 + x313 - x414 =L= -1; e104.. 71*x299 + 3*x301 + 110*x302 + 265*x303 + x304 + 2*x305 + 130*x306 + x308 + 3*x309 - x310 + x313 - x415 =L= -1; e105.. - 49*x299 - x300 - 3*x301 - 120*x302 - 188*x303 - 139*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x416 =L= -1; e106.. 54*x299 + x300 + 2*x301 + 108*x302 + 309*x303 + 156*x306 + x308 + 7*x309 - x310 - x417 =L= -1; e107.. - 59*x299 - x300 - 4*x301 - 140*x302 - 177*x303 - 162*x306 - x308 - 7*x309 + x310 - x312 - x313 - x418 =L= -1; e108.. - 57*x299 - x300 - 3*x301 - 128*x302 - 229*x303 - 2*x305 - 150*x306 - 2*x308 - 7*x309 + x310 - x313 - x419 =L= -1; e109.. - 61*x299 - x300 - 4*x301 - 120*x302 - 260*x303 - 140*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x420 =L= -1; e110.. - 39*x299 - x300 - 4*x301 - 118*x302 - 219*x303 - 140*x306 - x307 - 2*x308 - 7*x309 + x310 - x421 =L= -1; e111.. - 61*x299 - 4*x301 - 145*x302 - 307*x303 - 2*x305 - 146*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x422 =L= -1; e112.. - 56*x299 - x300 - 4*x301 - 125*x302 - 249*x303 - x304 - 2*x305 - 144*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x423 =L= -1; e113.. 52*x299 + x300 + x301 + 118*x302 + 186*x303 + 2*x305 + 190*x306 + 2*x308 + 6*x309 - x310 - x424 =L= -1; e114.. - 43*x299 - 4*x301 - 132*x302 - 341*x303 - x304 - 2*x305 - 136*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - x425 =L= -1; e115.. - 62*x299 - 3*x301 - 130*x302 - 263*x303 - 97*x306 - x307 - 2*x308 - 7*x309 + x310 - x313 - x426 =L= -1; e116.. 41*x299 + x300 + 2*x301 + 135*x302 + 203*x303 + 132*x306 + 2*x308 + 6*x309 - x310 - x427 =L= -1; e117.. 58*x299 + x300 + 3*x301 + 140*x302 + 211*x303 + x304 + 2*x305 + 165*x306 + x308 + 3*x309 - x310 - x428 =L= -1; e118.. 35*x299 + 4*x301 + 138*x302 + 183*x303 + 182*x306 + x307 + x308 + 3*x309 - x310 - x429 =L= -1; e119.. - 63*x299 - x300 - 4*x301 - 130*x302 - 330*x303 - x304 - 2*x305 - 132*x306 - x307 - x308 - 7*x309 + x310 - x312 - 3*x313 - x430 =L= -1; e120.. - 65*x299 - x300 - 4*x301 - 135*x302 - 254*x303 - 2*x305 - 127*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x313 - x431 =L= -1; e121.. - 48*x299 - x300 - 4*x301 - 130*x302 - 256*x303 - x304 - 2*x305 - 150*x306 - x308 - 7*x309 + x310 - x312 - 2*x313 - x432 =L= -1; e122.. - 63*x299 - 4*x301 - 150*x302 - 407*x303 - 2*x305 - 154*x306 - 4*x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x433 =L= -1; e123.. 51*x299 + x300 + 3*x301 + 100*x302 + 222*x303 + 143*x306 + x307 + 2*x308 + 3*x309 - x310 + x312 - x434 =L= -1; e124.. - 55*x299 - x300 - 4*x301 - 140*x302 - 217*x303 - 111*x306 - 5*x307 - 3*x308 - 7*x309 + x310 - x312 - x435 =L= -1; e125.. - 65*x299 - x300 - x301 - 138*x302 - 282*x303 - x304 - 2*x305 - 174*x306 - x307 - 2*x308 - 3*x309 + x310 - x313 - x436 =L= -1; e126.. 45*x299 + 2*x301 + 130*x302 + 234*x303 + 2*x305 + 175*x306 + 2*x308 + 3*x309 - x310 - x437 =L= -1; e127.. - 56*x299 - 4*x301 - 200*x302 - 288*x303 - x304 - 2*x305 - 133*x306 - 4*x307 - 3*x308 - 7*x309 + x310 - x312 - 2*x313 - x438 =L= -1; e128.. - 54*x299 - x300 - 4*x301 - 110*x302 - 239*x303 - 126*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x439 =L= -1; e129.. 44*x299 + x300 + 2*x301 + 120*x302 + 220*x303 + 170*x306 + x308 + 3*x309 - x310 - x440 =L= -1; e130.. 62*x299 + 4*x301 + 124*x302 + 209*x303 + 163*x306 + x308 + 3*x309 - x310 - x441 =L= -1; e131.. 54*x299 + x300 + 3*x301 + 120*x302 + 258*x303 + 2*x305 + 147*x306 + 2*x308 + 7*x309 - x310 - x442 =L= -1; e132.. 51*x299 + x300 + 3*x301 + 94*x302 + 227*x303 + 154*x306 + x308 + 7*x309 - x310 + x312 + x313 - x443 =L= -1; e133.. 29*x299 + x300 + 2*x301 + 130*x302 + 204*x303 + 2*x305 + 202*x306 + x308 + 3*x309 - x310 - x444 =L= -1; e134.. 51*x299 + x300 + 4*x301 + 140*x302 + 261*x303 + 2*x305 + 186*x306 + x308 + 3*x309 - x310 + x312 - x445 =L= -1; e135.. 43*x299 + 3*x301 + 122*x302 + 213*x303 + 165*x306 + 2*x308 + 3*x309 - x310 - x446 =L= -1; e136.. 55*x299 + 2*x301 + 135*x302 + 250*x303 + 2*x305 + 161*x306 + x307 + 2*x308 + 3*x309 - x310 - x447 =L= -1; e137.. - 70*x299 - x300 - 4*x301 - 145*x302 - 174*x303 - 125*x306 - 2*x307 - 3*x308 - 7*x309 + x310 - x312 - x448 =L= -1; e138.. - 62*x299 - x300 - 2*x301 - 120*x302 - 281*x303 - 2*x305 - 103*x306 - x307 - 2*x308 - 7*x309 + x310 - x313 - x449 =L= -1; e139.. - 35*x299 - x300 - 4*x301 - 120*x302 - 198*x303 - 130*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x450 =L= -1; e140.. 51*x299 + x300 + 3*x301 + 125*x302 + 245*x303 + x304 + 2*x305 + 166*x306 + 2*x307 + 2*x308 + 3*x309 - x310 - x451 =L= -1; e141.. 59*x299 + x300 + 2*x301 + 140*x302 + 221*x303 + 164*x306 + x308 + 3*x309 - x310 + x312 - x452 =L= -1; e142.. - 59*x299 - x300 - x301 - 170*x302 - 288*x303 - 2*x305 - 159*x306 - 2*x308 - 7*x309 + x310 - x453 =L= -1; e143.. 52*x299 + x300 + 2*x301 + 128*x302 + 205*x303 + x304 + 184*x306 + x308 + 3*x309 - x310 - x454 =L= -1; e144.. - 64*x299 - x300 - 3*x301 - 125*x302 - 309*x303 - 131*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x455 =L= -1; e145.. 58*x299 + x300 + 3*x301 + 105*x302 + 240*x303 + 2*x305 + 154*x306 + 2*x308 + 7*x309 - x310 + x312 - x456 =L= -1; e146.. - 47*x299 - x300 - 3*x301 - 108*x302 - 243*x303 - 152*x306 - x308 - 3*x309 + x310 - x457 =L= -1; e147.. - 57*x299 - x300 - 4*x301 - 165*x302 - 289*x303 - x304 - 2*x305 - 124*x306 - x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x458 =L= -1; e148.. 41*x299 + x300 + 3*x301 + 112*x302 + 250*x303 + 179*x306 + x308 + 3*x309 - x310 - x459 =L= -1; e149.. 45*x299 + x300 + 2*x301 + 128*x302 + 308*x303 + 2*x305 + 170*x306 + x308 + 3*x309 - x310 - x460 =L= -1; e150.. 60*x299 + 3*x301 + 102*x302 + 318*x303 + 160*x306 + x308 + 3*x309 - x310 + x313 - x461 =L= -1; e151.. 52*x299 + x300 + x301 + 152*x302 + 298*x303 + x304 + 178*x306 + x307 + 2*x308 + 7*x309 - x310 - x462 =L= -1; e152.. 42*x299 + 4*x301 + 102*x302 + 265*x303 + 2*x305 + 122*x306 + 2*x308 + 3*x309 - x310 - x463 =L= -1; e153.. 67*x299 + 3*x301 + 115*x302 + 564*x303 + 2*x305 + 160*x306 + x307 + 2*x308 + 7*x309 - x310 - x464 =L= -1; e154.. - 55*x299 - x300 - 4*x301 - 160*x302 - 289*x303 - 2*x305 - 145*x306 - 2*x308 - 7*x309 + x310 - x312 - x313 - x465 =L= -1; e155.. - 64*x299 - x300 - 4*x301 - 120*x302 - 246*x303 - 2*x305 - 96*x306 - 2*x307 - 3*x308 - 3*x309 + x310 - x312 - x313 - x466 =L= -1; e156.. - 70*x299 - x300 - 4*x301 - 130*x302 - 322*x303 - 2*x305 - 109*x306 - 2*x307 - 2*x308 - 3*x309 + x310 - 3*x313 - x467 =L= -1; e157.. - 51*x299 - x300 - 4*x301 - 140*x302 - 299*x303 - 173*x306 - x307 - x308 - 7*x309 + x310 - x312 - x468 =L= -1; e158.. - 58*x299 - x300 - 4*x301 - 125*x302 - 300*x303 - 2*x305 - 171*x306 - x308 - 7*x309 + x310 - 2*x313 - x469 =L= -1; e159.. - 60*x299 - x300 - 4*x301 - 140*x302 - 293*x303 - 2*x305 - 170*x306 - x307 - 2*x308 - 7*x309 + x310 - 2*x313 - x470 =L= -1; e160.. 68*x299 + x300 + 3*x301 + 118*x302 + 277*x303 + 151*x306 + x307 + x308 + 7*x309 - x310 + x313 - x471 =L= -1; e161.. 46*x299 + x300 + 2*x301 + 101*x302 + 197*x303 + x304 + 156*x306 + x308 + 7*x309 - x310 - x472 =L= -1; e162.. - 77*x299 - x300 - 4*x301 - 125*x302 - 304*x303 - 2*x305 - 162*x306 - x308 - 3*x309 + x310 - x312 - 3*x313 - x473 =L= -1; e163.. 54*x299 + 3*x301 + 110*x302 + 214*x303 + 158*x306 + x307 + 2*x308 + 3*x309 - x310 - x474 =L= -1; e164.. 58*x299 + 4*x301 + 100*x302 + 248*x303 + 2*x305 + 122*x306 + x307 + 2*x308 + 3*x309 - x310 - x475 =L= -1; e165.. 48*x299 + x300 + 3*x301 + 124*x302 + 255*x303 + x304 + 175*x306 + x308 + 3*x309 - x310 + 2*x313 - x476 =L= -1; e166.. 57*x299 + x300 + 4*x301 + 132*x302 + 207*x303 + 168*x306 + x308 + 7*x309 - x310 + x312 - x477 =L= -1; e167.. 54*x299 + 2*x301 + 132*x302 + 288*x303 + x304 + 2*x305 + 159*x306 + x308 + 3*x309 - x310 + x312 + x313 - x478 =L= -1; e168.. - 35*x299 - x300 - 4*x301 - 126*x302 - 282*x303 - 2*x305 - 156*x306 - x308 - 7*x309 + x310 - x312 - x479 =L= -1; e169.. 45*x299 + 2*x301 + 112*x302 + 160*x303 + 138*x306 + 2*x308 + 3*x309 - x310 - x480 =L= -1; e170.. - 70*x299 - x300 - 3*x301 - 160*x302 - 269*x303 - 112*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x481 =L= -1; e171.. 53*x299 + x300 + 4*x301 + 142*x302 + 226*x303 + 2*x305 + 111*x306 + x308 + 7*x309 - x310 + x312 - x482 =L= -1; e172.. - 59*x299 - 4*x301 - 174*x302 - 249*x303 - 143*x306 - 2*x308 - 3*x309 + x310 - x312 - x483 =L= -1; e173.. 62*x299 + 4*x301 + 140*x302 + 394*x303 + 2*x305 + 157*x306 + x307 + 2*x308 + 3*x309 - x310 - x484 =L= -1; e174.. - 64*x299 - x300 - 4*x301 - 145*x302 - 212*x303 - 2*x305 - 132*x306 - 2*x307 - 2*x308 - 6*x309 + x310 - 2*x313 - x485 =L= -1; e175.. - 57*x299 - x300 - 4*x301 - 152*x302 - 274*x303 - 88*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x486 =L= -1; e176.. 52*x299 + x300 + 4*x301 + 108*x302 + 233*x303 + x304 + 147*x306 + x308 + 7*x309 - x310 + 3*x313 - x487 =L= -1; e177.. - 56*x299 - x300 - 4*x301 - 132*x302 - 184*x303 - 2*x305 - 105*x306 - 2*x307 - 2*x308 - 6*x309 + x310 - x312 - x313 - x488 =L= -1; e178.. 43*x299 + x300 + 3*x301 + 130*x302 + 315*x303 + 162*x306 + x307 + x308 + 3*x309 - x310 + x313 - x489 =L= -1; e179.. 53*x299 + x300 + 3*x301 + 130*x302 + 246*x303 + x304 + 2*x305 + 173*x306 + x308 + 3*x309 - x310 + 3*x313 - x490 =L= -1; e180.. - 48*x299 - x300 - 4*x301 - 124*x302 - 274*x303 - 2*x305 - 166*x306 - 2*x308 - 7*x309 + x310 - x491 =L= -1; e181.. - 56*x299 - 4*x301 - 134*x302 - 409*x303 - 2*x305 - 150*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x492 =L= -1; e182.. 42*x299 + x300 + x301 + 148*x302 + 244*x303 + 2*x305 + 178*x306 + x308 + 3*x309 - x310 + 2*x313 - x493 =L= -1; e183.. 59*x299 + x300 + x301 + 178*x302 + 270*x303 + 2*x305 + 145*x306 + 4*x307 + 3*x308 + 7*x309 - x310 - x494 =L= -1; e184.. - 60*x299 - 4*x301 - 158*x302 - 305*x303 - 2*x305 - 161*x306 - x308 - 3*x309 + x310 - x495 =L= -1; e185.. 63*x299 + 2*x301 + 140*x302 + 195*x303 + 179*x306 + x308 + 3*x309 - x310 + 2*x313 - x496 =L= -1; e186.. 42*x299 + x300 + 3*x301 + 120*x302 + 240*x303 + x304 + 194*x306 + 3*x308 + 7*x309 - x310 - x497 =L= -1; e187.. - 66*x299 - x300 - 2*x301 - 160*x302 - 246*x303 - 120*x306 - 2*x308 - 6*x309 + x310 - x312 - 3*x313 - x498 =L= -1; e188.. - 54*x299 - x300 - 2*x301 - 192*x302 - 283*x303 - 2*x305 - 195*x306 - x308 - 7*x309 + x310 - x313 - x499 =L= -1; e189.. - 69*x299 - x300 - 3*x301 - 140*x302 - 254*x303 - 2*x305 - 146*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - 3*x313 - x500 =L= -1; e190.. 50*x299 + x300 + 3*x301 + 129*x302 + 196*x303 + 163*x306 + x308 + 3*x309 - x310 - x501 =L= -1; e191.. - 51*x299 - x300 - 4*x301 - 140*x302 - 298*x303 - 122*x306 - 4*x307 - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x502 =L= -1; e192.. - 62*x299 - 4*x301 - 138*x302 - 294*x303 - x304 - 106*x306 - x307 - 2*x308 - 3*x309 + x310 - 3*x313 - x503 =L= -1; e193.. 68*x299 + 3*x301 + 120*x302 + 211*x303 + 2*x305 + 115*x306 + x307 + 2*x308 + 3*x309 - x310 - x504 =L= -1; e194.. - 67*x299 - x300 - 4*x301 - 100*x302 - 299*x303 - 2*x305 - 125*x306 - 2*x308 - 3*x309 + x310 - x312 - 2*x313 - x505 =L= -1; e195.. 69*x299 + x300 + x301 + 160*x302 + 234*x303 + x304 + 2*x305 + 131*x306 + 2*x308 + 3*x309 - x310 + x313 - x506 =L= -1; e196.. 45*x299 + 4*x301 + 138*x302 + 236*x303 + 2*x305 + 152*x306 + 2*x308 + 3*x309 - x310 + x312 - x507 =L= -1; e197.. 50*x299 + 2*x301 + 120*x302 + 244*x303 + 162*x306 + x307 + x308 + 3*x309 - x310 - x508 =L= -1; e198.. - 59*x299 - x300 - x301 - 160*x302 - 273*x303 - 2*x305 - 125*x306 - x308 - 3*x309 + x310 - x509 =L= -1; e199.. 50*x299 + 4*x301 + 110*x302 + 254*x303 + 2*x305 + 159*x306 + x308 + 3*x309 - x310 - x510 =L= -1; e200.. 64*x299 + 4*x301 + 180*x302 + 325*x303 + 154*x306 + x308 + 3*x309 - x310 + x312 - x511 =L= -1; e201.. 57*x299 + x300 + 3*x301 + 150*x302 + 126*x303 + x304 + 173*x306 + x308 + 7*x309 - x310 + x313 - x512 =L= -1; e202.. 64*x299 + 3*x301 + 140*x302 + 313*x303 + 133*x306 + x308 + 7*x309 - x310 - x513 =L= -1; e203.. 43*x299 + x300 + 4*x301 + 110*x302 + 211*x303 + 161*x306 + x308 + 7*x309 - x310 - x514 =L= -1; e204.. - 45*x299 - x300 - 4*x301 - 142*x302 - 309*x303 - 2*x305 - 147*x306 - 2*x308 - 7*x309 + x310 - x312 - 3*x313 - x515 =L= -1; e205.. - 58*x299 - x300 - 4*x301 - 128*x302 - 259*x303 - 2*x305 - 130*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x516 =L= -1; e206.. - 50*x299 - x300 - 4*x301 - 144*x302 - 200*x303 - 2*x305 - 126*x306 - 2*x308 - 7*x309 + x310 - x312 - x517 =L= -1; e207.. 55*x299 + x300 + 2*x301 + 130*x302 + 262*x303 + 155*x306 + x308 + 3*x309 - x310 - x518 =L= -1; e208.. - 62*x299 - 4*x301 - 150*x302 - 244*x303 - 154*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - x519 =L= -1; e209.. 37*x299 + 3*x301 + 120*x302 + 215*x303 + 170*x306 + x308 + 3*x309 - x310 - x520 =L= -1; e210.. - 38*x299 - x300 - x301 - 120*x302 - 231*x303 - 182*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - x521 =L= -1; e211.. 41*x299 + x300 + 3*x301 + 130*x302 + 214*x303 + 2*x305 + 168*x306 + 2*x307 + 2*x308 + 3*x309 - x310 - x522 =L= -1; e212.. - 66*x299 - 4*x301 - 178*x302 - 228*x303 - x304 - 165*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x523 =L= -1; e213.. - 52*x299 - x300 - 4*x301 - 112*x302 - 230*x303 - 160*x306 - x308 - 3*x309 + x310 - x313 - x524 =L= -1; e214.. 56*x299 + x300 + x301 + 120*x302 + 193*x303 + 2*x305 + 162*x306 + x307 + 2*x308 + 7*x309 - x310 - x525 =L= -1; e215.. 46*x299 + 2*x301 + 105*x302 + 204*x303 + 172*x306 + x308 + 3*x309 - x310 - x526 =L= -1; e216.. 46*x299 + 4*x301 + 138*x302 + 243*x303 + 2*x305 + 152*x306 + 2*x308 + 3*x309 - x310 + x312 - x527 =L= -1; e217.. 64*x299 + 4*x301 + 130*x302 + 303*x303 + 122*x306 + 2*x307 + 2*x308 + 3*x309 - x310 + 2*x313 - x528 =L= -1; e218.. 59*x299 + x300 + 4*x301 + 138*x302 + 271*x303 + 2*x305 + 182*x306 + x308 + 3*x309 - x310 - x529 =L= -1; e219.. 41*x299 + 3*x301 + 112*x302 + 268*x303 + 2*x305 + 172*x306 + x308 + 3*x309 - x310 + x312 - x530 =L= -1; e220.. 54*x299 + 3*x301 + 108*x302 + 267*x303 + 2*x305 + 167*x306 + x308 + 3*x309 - x310 - x531 =L= -1; e221.. 39*x299 + 3*x301 + 94*x302 + 199*x303 + 179*x306 + x308 + 3*x309 - x310 - x532 =L= -1; e222.. - 53*x299 - x300 - 4*x301 - 123*x302 - 282*x303 - 95*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x533 =L= -1; e223.. - 63*x299 - 4*x301 - 108*x302 - 269*x303 - 169*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - 2*x313 - x534 =L= -1; e224.. 34*x299 + 2*x301 + 118*x302 + 210*x303 + 192*x306 + x308 + 3*x309 - x310 - x535 =L= -1; e225.. 47*x299 + x300 + 4*x301 + 112*x302 + 204*x303 + 143*x306 + x308 + 3*x309 - x310 - x536 =L= -1; e226.. 67*x299 + 3*x301 + 152*x302 + 277*x303 + 172*x306 + x308 + 3*x309 - x310 + x313 - x537 =L= -1; e227.. - 54*x299 - x300 - 4*x301 - 110*x302 - 206*x303 - 2*x305 - 108*x306 - 2*x308 - 3*x309 + x310 - x312 - x313 - x538 =L= -1; e228.. - 66*x299 - x300 - 4*x301 - 112*x302 - 212*x303 - 2*x305 - 132*x306 - x308 - 3*x309 + x310 - x312 - x313 - x539 =L= -1; e229.. 52*x299 + 3*x301 + 136*x302 + 196*x303 + 2*x305 + 169*x306 + 2*x308 + 3*x309 - x310 - x540 =L= -1; e230.. - 55*x299 - 4*x301 - 180*x302 - 327*x303 - x305 - 117*x306 - 3*x307 - 2*x308 - 3*x309 + x310 - x312 - x541 =L= -1; e231.. - 49*x299 - x300 - 3*x301 - 118*x302 - 149*x303 - 2*x305 - 126*x306 - x308 - 3*x309 + x310 - 3*x313 - x542 =L= -1; e232.. 74*x299 + 2*x301 + 120*x302 + 269*x303 + 2*x305 + 121*x306 + x308 + 3*x309 - x310 + x312 + x313 - x543 =L= -1; e233.. 54*x299 + 3*x301 + 160*x302 + 201*x303 + 163*x306 + x308 + 3*x309 - x310 + x313 - x544 =L= -1; e234.. - 54*x299 - x300 - 4*x301 - 122*x302 - 286*x303 - 2*x305 - 116*x306 - 3*x307 - 2*x308 - 3*x309 + x310 - x312 - 2*x313 - x545 =L= -1; e235.. - 56*x299 - x300 - 4*x301 - 130*x302 - 283*x303 - x304 - 2*x305 - 103*x306 - x307 - 3*x308 - 7*x309 + x310 - x312 - x546 =L= -1; e236.. - 46*x299 - x300 - 4*x301 - 120*x302 - 249*x303 - 2*x305 - 144*x306 - x308 - 7*x309 + x310 - x547 =L= -1; e237.. 49*x299 + 2*x301 + 134*x302 + 271*x303 + 162*x306 + 2*x308 + 3*x309 - x310 - x548 =L= -1; e238.. 42*x299 + x300 + 2*x301 + 120*x302 + 295*x303 + 162*x306 + x308 + 3*x309 - x310 - x549 =L= -1; e239.. 41*x299 + x300 + 2*x301 + 110*x302 + 235*x303 + 153*x306 + x308 + 3*x309 - x310 - x550 =L= -1; e240.. 41*x299 + 2*x301 + 126*x302 + 306*x303 + 163*x306 + x308 + 3*x309 - x310 - x551 =L= -1; e241.. 49*x299 + 4*x301 + 130*x302 + 269*x303 + 163*x306 + x308 + 3*x309 - x310 - x552 =L= -1; e242.. - 61*x299 - x300 - x301 - 134*x302 - 234*x303 - 145*x306 - 2*x307 - 2*x308 - 3*x309 + x310 - 2*x313 - x553 =L= -1; e243.. 60*x299 + 3*x301 + 120*x302 + 178*x303 + x304 + 96*x306 + x308 + 3*x309 - x310 - x554 =L= -1; e244.. - 67*x299 - x300 - 4*x301 - 120*x302 - 237*x303 - 71*x306 - x307 - 2*x308 - 3*x309 + x310 - x555 =L= -1; e245.. - 58*x299 - x300 - 4*x301 - 100*x302 - 234*x303 - 156*x306 - x308 - 7*x309 + x310 - x313 - x556 =L= -1; e246.. - 47*x299 - x300 - 4*x301 - 110*x302 - 275*x303 - 2*x305 - 118*x306 - x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x557 =L= -1; e247.. - 52*x299 - x300 - 4*x301 - 125*x302 - 212*x303 - 168*x306 - x307 - x308 - 7*x309 + x310 - 2*x313 - x558 =L= -1; e248.. 62*x299 + x300 + 2*x301 + 128*x302 + 208*x303 + x304 + 2*x305 + 140*x306 + x308 + 3*x309 - x310 - x559 =L= -1; e249.. 57*x299 + x300 + 4*x301 + 110*x302 + 201*x303 + 126*x306 + x307 + 2*x308 + 6*x309 - x310 + x312 - x560 =L= -1; e250.. - 58*x299 - x300 - 4*x301 - 146*x302 - 218*x303 - 105*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x313 - x561 =L= -1; e251.. 64*x299 + x300 + 4*x301 + 128*x302 + 263*x303 + 105*x306 + 2*x308 + 7*x309 - x310 + x312 + x313 - x562 =L= -1; e252.. 51*x299 + 3*x301 + 120*x302 + 295*x303 + 2*x305 + 157*x306 + x308 + 3*x309 - x310 - x563 =L= -1; e253.. 43*x299 + x300 + 4*x301 + 115*x302 + 303*x303 + 181*x306 + x307 + 2*x308 + 3*x309 - x310 - x564 =L= -1; e254.. 42*x299 + 3*x301 + 120*x302 + 209*x303 + 173*x306 + 2*x308 + 3*x309 - x310 - x565 =L= -1; e255.. 67*x299 + 4*x301 + 106*x302 + 223*x303 + 142*x306 + x308 + 3*x309 - x310 + 2*x313 - x566 =L= -1; e256.. 76*x299 + 3*x301 + 140*x302 + 197*x303 + x305 + 116*x306 + x307 + 2*x308 + 3*x309 - x310 - x567 =L= -1; e257.. 70*x299 + x300 + 2*x301 + 156*x302 + 245*x303 + 2*x305 + 143*x306 + x308 + 3*x309 - x310 - x568 =L= -1; e258.. - 57*x299 - x300 - 2*x301 - 124*x302 - 261*x303 - 141*x306 - x308 - 7*x309 + x310 - x569 =L= -1; e259.. 44*x299 + 3*x301 + 118*x302 + 242*x303 + 149*x306 + 2*x308 + 3*x309 - x310 + x313 - x570 =L= -1; e260.. - 58*x299 - 2*x301 - 136*x302 - 319*x303 - x304 - 2*x305 - 152*x306 - x308 - 3*x309 + x310 - 2*x313 - x571 =L= -1; e261.. 60*x299 + x301 + 150*x302 + 240*x303 + 171*x306 + x308 + 3*x309 - x310 - x572 =L= -1; e262.. 44*x299 + x300 + 3*x301 + 120*x302 + 226*x303 + 169*x306 + x308 + 3*x309 - x310 - x573 =L= -1; e263.. - 61*x299 - x300 - 4*x301 - 138*x302 - 166*x303 - 2*x305 - 125*x306 - 3*x307 - 2*x308 - 3*x309 + x310 - x312 - x313 - x574 =L= -1; e264.. - 42*x299 - x300 - 4*x301 - 136*x302 - 315*x303 - 125*x306 - x307 - 2*x308 - 6*x309 + x310 - x312 - x575 =L= -1; e265.. - 59*x299 - x300 - 3*x301 - 126*x302 - 218*x303 - x304 - 134*x306 - 2*x307 - 2*x308 - 6*x309 + x310 - x313 - x576 =L= -1; e266.. - 40*x299 - x300 - 4*x301 - 152*x302 - 223*x303 - 181*x306 - x308 - 7*x309 + x310 - x577 =L= -1; e267.. 42*x299 + x300 + 3*x301 + 130*x302 + 180*x303 + 150*x306 + x308 + 3*x309 - x310 - x578 =L= -1; e268.. - 61*x299 - x300 - 4*x301 - 140*x302 - 207*x303 - 2*x305 - 138*x306 - x307 - x308 - 7*x309 + x310 - x312 - x313 - x579 =L= -1; e269.. 66*x299 + x300 + 4*x301 + 160*x302 + 228*x303 + 2*x305 + 138*x306 + 2*x307 + x308 + 6*x309 - x310 - x580 =L= -1; e270.. - 46*x299 - x300 - 4*x301 - 140*x302 - 311*x303 - 120*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - 2*x313 - x581 =L= -1; e271.. 71*x299 + 4*x301 + 112*x302 + 149*x303 + 125*x306 + x307 + 2*x308 + 3*x309 - x310 - x582 =L= -1; e272.. - 59*x299 - x300 - x301 - 134*x302 - 204*x303 - 162*x306 - x308 - 3*x309 + x310 - 2*x313 - x583 =L= -1; e273.. 64*x299 + x300 + x301 + 170*x302 + 227*x303 + 2*x305 + 155*x306 + 2*x308 + 7*x309 - x310 - x584 =L= -1; e274.. 66*x299 + 3*x301 + 146*x302 + 278*x303 + 2*x305 + 152*x306 + 2*x308 + 3*x309 - x310 + x313 - x585 =L= -1; e275.. 39*x299 + 3*x301 + 138*x302 + 220*x303 + 152*x306 + 2*x308 + 3*x309 - x310 - x586 =L= -1; e276.. - 57*x299 - x300 - 2*x301 - 154*x302 - 232*x303 - 2*x305 - 164*x306 - x308 - 3*x309 + x310 - x313 - x587 =L= -1; e277.. 58*x299 + 4*x301 + 130*x302 + 197*x303 + 131*x306 + 2*x308 + 3*x309 - x310 - x588 =L= -1; e278.. - 57*x299 - x300 - 4*x301 - 110*x302 - 335*x303 - 143*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x589 =L= -1; e279.. 47*x299 + x300 + 3*x301 + 130*x302 + 253*x303 + 179*x306 + x308 + 3*x309 - x310 - x590 =L= -1; e280.. - 55*x299 - 4*x301 - 128*x302 - 205*x303 - x305 - 130*x306 - 2*x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x591 =L= -1; e281.. 35*x299 + x300 + 2*x301 + 122*x302 + 192*x303 + 174*x306 + x308 + 3*x309 - x310 - x592 =L= -1; e282.. - 61*x299 - x300 - 4*x301 - 148*x302 - 203*x303 - 161*x306 - x308 - 7*x309 + x310 - x313 - x593 =L= -1; e283.. - 58*x299 - x300 - 4*x301 - 114*x302 - 318*x303 - x305 - 140*x306 - 4*x307 - 3*x308 - 6*x309 + x310 - 3*x313 - x594 =L= -1; e284.. - 58*x299 - 4*x301 - 170*x302 - 225*x303 - x304 - 2*x305 - 146*x306 - 2*x307 - 2*x308 - 6*x309 + x310 - x312 - 2*x313 - x595 =L= -1; e285.. 56*x299 + x300 + 2*x301 + 130*x302 + 221*x303 + 2*x305 + 163*x306 + x308 + 7*x309 - x310 - x596 =L= -1; e286.. 56*x299 + x300 + 2*x301 + 120*x302 + 240*x303 + 169*x306 + 3*x308 + 3*x309 - x310 - x597 =L= -1; e287.. - 67*x299 - x300 - 3*x301 - 152*x302 - 212*x303 - 2*x305 - 150*x306 - 2*x308 - 7*x309 + x310 - x598 =L= -1; e288.. 55*x299 + 2*x301 + 132*x302 + 342*x303 + 166*x306 + x307 + x308 + 3*x309 - x310 - x599 =L= -1; e289.. - 44*x299 - x300 - 4*x301 - 120*x302 - 169*x303 - 144*x306 - 2*x307 - 3*x308 - 6*x309 + x310 - x312 - x600 =L= -1; e290.. - 63*x299 - x300 - 4*x301 - 140*x302 - 187*x303 - 2*x305 - 144*x306 - 4*x307 - x308 - 7*x309 + x310 - x312 - 2*x313 - x601 =L= -1; e291.. - 63*x299 - 4*x301 - 124*x302 - 197*x303 - 136*x306 - 2*x308 - 3*x309 + x310 - x312 - x602 =L= -1; e292.. 41*x299 + x300 + 2*x301 + 120*x302 + 157*x303 + 182*x306 + x308 + 3*x309 - x310 - x603 =L= -1; e293.. - 59*x299 - x300 - 4*x301 - 164*x302 - 176*x303 - x304 - 2*x305 - 90*x306 - x307 - 2*x308 - 6*x309 + x310 - 2*x313 - x604 =L= -1; e294.. - 57*x299 - 4*x301 - 140*x302 - 241*x303 - 123*x306 - 2*x308 - 7*x309 + x310 - x312 - x605 =L= -1; e295.. - 45*x299 - x300 - x301 - 110*x302 - 264*x303 - 132*x306 - x307 - 2*x308 - 7*x309 + x310 - x606 =L= -1; e296.. - 68*x299 - x300 - 4*x301 - 144*x302 - 193*x303 - x304 - 141*x306 - 3*x307 - 2*x308 - 7*x309 + x310 - 2*x313 - x607 =L= -1; e297.. - 57*x299 - x300 - 4*x301 - 130*x302 - 131*x303 - 115*x306 - x307 - 2*x308 - 7*x309 + x310 - x312 - x313 - x608 =L= -1; e298.. - 57*x299 - 2*x301 - 130*x302 - 236*x303 - 2*x305 - 174*x306 - 2*x308 - 3*x309 + x310 - x313 - x609 =L= -1; e299.. - b2 - x610 =E= -1; e300.. - b3 - x611 =E= -1; e301.. - b4 - x612 =E= -1; e302.. - b5 - x613 =E= -1; e303.. - b6 - x614 =E= -1; e304.. - b7 - x615 =E= -1; e305.. - b8 - x616 =E= -1; e306.. - b9 - x617 =E= -1; e307.. - b10 - x618 =E= -1; e308.. - b11 - x619 =E= -1; e309.. - b12 - x620 =E= -1; e310.. - b13 - x621 =E= -1; e311.. - b14 - x622 =E= -1; e312.. - b15 - x623 =E= -1; e313.. - b16 - x624 =E= -1; e314.. - b17 - x625 =E= -1; e315.. - b18 - x626 =E= -1; e316.. - b19 - x627 =E= -1; e317.. - b20 - x628 =E= -1; e318.. - b21 - x629 =E= -1; e319.. - b22 - x630 =E= -1; e320.. - b23 - x631 =E= -1; e321.. - b24 - x632 =E= -1; e322.. - b25 - x633 =E= -1; e323.. - b26 - x634 =E= -1; e324.. - b27 - x635 =E= -1; e325.. - b28 - x636 =E= -1; e326.. - b29 - x637 =E= -1; e327.. - b30 - x638 =E= -1; e328.. - b31 - x639 =E= -1; e329.. - b32 - x640 =E= -1; e330.. - b33 - x641 =E= -1; e331.. - b34 - x642 =E= -1; e332.. - b35 - x643 =E= -1; e333.. - b36 - x644 =E= -1; e334.. - b37 - x645 =E= -1; e335.. - b38 - x646 =E= -1; e336.. - b39 - x647 =E= -1; e337.. - b40 - x648 =E= -1; e338.. - b41 - x649 =E= -1; e339.. - b42 - x650 =E= -1; e340.. - b43 - x651 =E= -1; e341.. - b44 - x652 =E= -1; e342.. - b45 - x653 =E= -1; e343.. - b46 - x654 =E= -1; e344.. - b47 - x655 =E= -1; e345.. - b48 - x656 =E= -1; e346.. - b49 - x657 =E= -1; e347.. - b50 - x658 =E= -1; e348.. - b51 - x659 =E= -1; e349.. - b52 - x660 =E= -1; e350.. - b53 - x661 =E= -1; e351.. - b54 - x662 =E= -1; e352.. - b55 - x663 =E= -1; e353.. - b56 - x664 =E= -1; e354.. - b57 - x665 =E= -1; e355.. - b58 - x666 =E= -1; e356.. - b59 - x667 =E= -1; e357.. - b60 - x668 =E= -1; e358.. - b61 - x669 =E= -1; e359.. - b62 - x670 =E= -1; e360.. - b63 - x671 =E= -1; e361.. - b64 - x672 =E= -1; e362.. - b65 - x673 =E= -1; e363.. - b66 - x674 =E= -1; e364.. - b67 - x675 =E= -1; e365.. - b68 - x676 =E= -1; e366.. - b69 - x677 =E= -1; e367.. - b70 - x678 =E= -1; e368.. - b71 - x679 =E= -1; e369.. - b72 - x680 =E= -1; e370.. - b73 - x681 =E= -1; e371.. - b74 - x682 =E= -1; e372.. - b75 - x683 =E= -1; e373.. - b76 - x684 =E= -1; e374.. - b77 - x685 =E= -1; e375.. - b78 - x686 =E= -1; e376.. - b79 - x687 =E= -1; e377.. - b80 - x688 =E= -1; e378.. - b81 - x689 =E= -1; e379.. - b82 - x690 =E= -1; e380.. - b83 - x691 =E= -1; e381.. - b84 - x692 =E= -1; e382.. - b85 - x693 =E= -1; e383.. - b86 - x694 =E= -1; e384.. - b87 - x695 =E= -1; e385.. - b88 - x696 =E= -1; e386.. - b89 - x697 =E= -1; e387.. - b90 - x698 =E= -1; e388.. - b91 - x699 =E= -1; e389.. - b92 - x700 =E= -1; e390.. - b93 - x701 =E= -1; e391.. - b94 - x702 =E= -1; e392.. - b95 - x703 =E= -1; e393.. - b96 - x704 =E= -1; e394.. - b97 - x705 =E= -1; e395.. - b98 - x706 =E= -1; e396.. - b99 - x707 =E= -1; e397.. - b100 - x708 =E= -1; e398.. - b101 - x709 =E= -1; e399.. - b102 - x710 =E= -1; e400.. - b103 - x711 =E= -1; e401.. - b104 - x712 =E= -1; e402.. - b105 - x713 =E= -1; e403.. - b106 - x714 =E= -1; e404.. - b107 - x715 =E= -1; e405.. - b108 - x716 =E= -1; e406.. - b109 - x717 =E= -1; e407.. - b110 - x718 =E= -1; e408.. - b111 - x719 =E= -1; e409.. - b112 - x720 =E= -1; e410.. - b113 - x721 =E= -1; e411.. - b114 - x722 =E= -1; e412.. - b115 - x723 =E= -1; e413.. - b116 - x724 =E= -1; e414.. - b117 - x725 =E= -1; e415.. - b118 - x726 =E= -1; e416.. - b119 - x727 =E= -1; e417.. - b120 - x728 =E= -1; e418.. - b121 - x729 =E= -1; e419.. - b122 - x730 =E= -1; e420.. - b123 - x731 =E= -1; e421.. - b124 - x732 =E= -1; e422.. - b125 - x733 =E= -1; e423.. - b126 - x734 =E= -1; e424.. - b127 - x735 =E= -1; e425.. - b128 - x736 =E= -1; e426.. - b129 - x737 =E= -1; e427.. - b130 - x738 =E= -1; e428.. - b131 - x739 =E= -1; e429.. - b132 - x740 =E= -1; e430.. - b133 - x741 =E= -1; e431.. - b134 - x742 =E= -1; e432.. - b135 - x743 =E= -1; e433.. - b136 - x744 =E= -1; e434.. - b137 - x745 =E= -1; e435.. - b138 - x746 =E= -1; e436.. - b139 - x747 =E= -1; e437.. - b140 - x748 =E= -1; e438.. - b141 - x749 =E= -1; e439.. - b142 - x750 =E= -1; e440.. - b143 - x751 =E= -1; e441.. - b144 - x752 =E= -1; e442.. - b145 - x753 =E= -1; e443.. - b146 - x754 =E= -1; e444.. - b147 - x755 =E= -1; e445.. - b148 - x756 =E= -1; e446.. - b149 - x757 =E= -1; e447.. - b150 - x758 =E= -1; e448.. - b151 - x759 =E= -1; e449.. - b152 - x760 =E= -1; e450.. - b153 - x761 =E= -1; e451.. - b154 - x762 =E= -1; e452.. - b155 - x763 =E= -1; e453.. - b156 - x764 =E= -1; e454.. - b157 - x765 =E= -1; e455.. - b158 - x766 =E= -1; e456.. - b159 - x767 =E= -1; e457.. - b160 - x768 =E= -1; e458.. - b161 - x769 =E= -1; e459.. - b162 - x770 =E= -1; e460.. - b163 - x771 =E= -1; e461.. - b164 - x772 =E= -1; e462.. - b165 - x773 =E= -1; e463.. - b166 - x774 =E= -1; e464.. - b167 - x775 =E= -1; e465.. - b168 - x776 =E= -1; e466.. - b169 - x777 =E= -1; e467.. - b170 - x778 =E= -1; e468.. - b171 - x779 =E= -1; e469.. - b172 - x780 =E= -1; e470.. - b173 - x781 =E= -1; e471.. - b174 - x782 =E= -1; e472.. - b175 - x783 =E= -1; e473.. - b176 - x784 =E= -1; e474.. - b177 - x785 =E= -1; e475.. - b178 - x786 =E= -1; e476.. - b179 - x787 =E= -1; e477.. - b180 - x788 =E= -1; e478.. - b181 - x789 =E= -1; e479.. - b182 - x790 =E= -1; e480.. - b183 - x791 =E= -1; e481.. - b184 - x792 =E= -1; e482.. - b185 - x793 =E= -1; e483.. - b186 - x794 =E= -1; e484.. - b187 - x795 =E= -1; e485.. - b188 - x796 =E= -1; e486.. - b189 - x797 =E= -1; e487.. - b190 - x798 =E= -1; e488.. - b191 - x799 =E= -1; e489.. - b192 - x800 =E= -1; e490.. - b193 - x801 =E= -1; e491.. - b194 - x802 =E= -1; e492.. - b195 - x803 =E= -1; e493.. - b196 - x804 =E= -1; e494.. - b197 - x805 =E= -1; e495.. - b198 - x806 =E= -1; e496.. - b199 - x807 =E= -1; e497.. - b200 - x808 =E= -1; e498.. - b201 - x809 =E= -1; e499.. - b202 - x810 =E= -1; e500.. - b203 - x811 =E= -1; e501.. - b204 - x812 =E= -1; e502.. - b205 - x813 =E= -1; e503.. - b206 - x814 =E= -1; e504.. - b207 - x815 =E= -1; e505.. - b208 - x816 =E= -1; e506.. - b209 - x817 =E= -1; e507.. - b210 - x818 =E= -1; e508.. - b211 - x819 =E= -1; e509.. - b212 - x820 =E= -1; e510.. - b213 - x821 =E= -1; e511.. - b214 - x822 =E= -1; e512.. - b215 - x823 =E= -1; e513.. - b216 - x824 =E= -1; e514.. - b217 - x825 =E= -1; e515.. - b218 - x826 =E= -1; e516.. - b219 - x827 =E= -1; e517.. - b220 - x828 =E= -1; e518.. - b221 - x829 =E= -1; e519.. - b222 - x830 =E= -1; e520.. - b223 - x831 =E= -1; e521.. - b224 - x832 =E= -1; e522.. - b225 - x833 =E= -1; e523.. - b226 - x834 =E= -1; e524.. - b227 - x835 =E= -1; e525.. - b228 - x836 =E= -1; e526.. - b229 - x837 =E= -1; e527.. - b230 - x838 =E= -1; e528.. - b231 - x839 =E= -1; e529.. - b232 - x840 =E= -1; e530.. - b233 - x841 =E= -1; e531.. - b234 - x842 =E= -1; e532.. - b235 - x843 =E= -1; e533.. - b236 - x844 =E= -1; e534.. - b237 - x845 =E= -1; e535.. - b238 - x846 =E= -1; e536.. - b239 - x847 =E= -1; e537.. - b240 - x848 =E= -1; e538.. - b241 - x849 =E= -1; e539.. - b242 - x850 =E= -1; e540.. - b243 - x851 =E= -1; e541.. - b244 - x852 =E= -1; e542.. - b245 - x853 =E= -1; e543.. - b246 - x854 =E= -1; e544.. - b247 - x855 =E= -1; e545.. - b248 - x856 =E= -1; e546.. - b249 - x857 =E= -1; e547.. - b250 - x858 =E= -1; e548.. - b251 - x859 =E= -1; e549.. - b252 - x860 =E= -1; e550.. - b253 - x861 =E= -1; e551.. - b254 - x862 =E= -1; e552.. - b255 - x863 =E= -1; e553.. - b256 - x864 =E= -1; e554.. - b257 - x865 =E= -1; e555.. - b258 - x866 =E= -1; e556.. - b259 - x867 =E= -1; e557.. - b260 - x868 =E= -1; e558.. - b261 - x869 =E= -1; e559.. - b262 - x870 =E= -1; e560.. - b263 - x871 =E= -1; e561.. - b264 - x872 =E= -1; e562.. - b265 - x873 =E= -1; e563.. - b266 - x874 =E= -1; e564.. - b267 - x875 =E= -1; e565.. - b268 - x876 =E= -1; e566.. - b269 - x877 =E= -1; e567.. - b270 - x878 =E= -1; e568.. - b271 - x879 =E= -1; e569.. - b272 - x880 =E= -1; e570.. - b273 - x881 =E= -1; e571.. - b274 - x882 =E= -1; e572.. - b275 - x883 =E= -1; e573.. - b276 - x884 =E= -1; e574.. - b277 - x885 =E= -1; e575.. - b278 - x886 =E= -1; e576.. - b279 - x887 =E= -1; e577.. - b280 - x888 =E= -1; e578.. - b281 - x889 =E= -1; e579.. - b282 - x890 =E= -1; e580.. - b283 - x891 =E= -1; e581.. - b284 - x892 =E= -1; e582.. - b285 - x893 =E= -1; e583.. - b286 - x894 =E= -1; e584.. - b287 - x895 =E= -1; e585.. - b288 - x896 =E= -1; e586.. - b289 - x897 =E= -1; e587.. - b290 - x898 =E= -1; e588.. - b291 - x899 =E= -1; e589.. - b292 - x900 =E= -1; e590.. - b293 - x901 =E= -1; e591.. - b294 - x902 =E= -1; e592.. - b295 - x903 =E= -1; e593.. - b296 - x904 =E= -1; e594.. - b297 - x905 =E= -1; e595.. - b298 - x906 =E= -1; e596.. x610*x311 =E= 0; e597.. x611*x314 =E= 0; e598.. x612*x315 =E= 0; e599.. x613*x316 =E= 0; e600.. x614*x317 =E= 0; e601.. x615*x318 =E= 0; e602.. x616*x319 =E= 0; e603.. x617*x320 =E= 0; e604.. x618*x321 =E= 0; e605.. x619*x322 =E= 0; e606.. x620*x323 =E= 0; e607.. x621*x324 =E= 0; e608.. x622*x325 =E= 0; e609.. x623*x326 =E= 0; e610.. x624*x327 =E= 0; e611.. x625*x328 =E= 0; e612.. x626*x329 =E= 0; e613.. x627*x330 =E= 0; e614.. x628*x331 =E= 0; e615.. x629*x332 =E= 0; e616.. x630*x333 =E= 0; e617.. x631*x334 =E= 0; e618.. x632*x335 =E= 0; e619.. x633*x336 =E= 0; e620.. x634*x337 =E= 0; e621.. x635*x338 =E= 0; e622.. x636*x339 =E= 0; e623.. x637*x340 =E= 0; e624.. x638*x341 =E= 0; e625.. x639*x342 =E= 0; e626.. x640*x343 =E= 0; e627.. x641*x344 =E= 0; e628.. x642*x345 =E= 0; e629.. x643*x346 =E= 0; e630.. x644*x347 =E= 0; e631.. x645*x348 =E= 0; e632.. x646*x349 =E= 0; e633.. x647*x350 =E= 0; e634.. x648*x351 =E= 0; e635.. x649*x352 =E= 0; e636.. x650*x353 =E= 0; e637.. x651*x354 =E= 0; e638.. x652*x355 =E= 0; e639.. x653*x356 =E= 0; e640.. x654*x357 =E= 0; e641.. x655*x358 =E= 0; e642.. x656*x359 =E= 0; e643.. x657*x360 =E= 0; e644.. x658*x361 =E= 0; e645.. x659*x362 =E= 0; e646.. x660*x363 =E= 0; e647.. x661*x364 =E= 0; e648.. x662*x365 =E= 0; e649.. x663*x366 =E= 0; e650.. x664*x367 =E= 0; e651.. x665*x368 =E= 0; e652.. x666*x369 =E= 0; e653.. x667*x370 =E= 0; e654.. x668*x371 =E= 0; e655.. x669*x372 =E= 0; e656.. x670*x373 =E= 0; e657.. x671*x374 =E= 0; e658.. x672*x375 =E= 0; e659.. x673*x376 =E= 0; e660.. x674*x377 =E= 0; e661.. x675*x378 =E= 0; e662.. x676*x379 =E= 0; e663.. x677*x380 =E= 0; e664.. x678*x381 =E= 0; e665.. x679*x382 =E= 0; e666.. x680*x383 =E= 0; e667.. x681*x384 =E= 0; e668.. x682*x385 =E= 0; e669.. x683*x386 =E= 0; e670.. x684*x387 =E= 0; e671.. x685*x388 =E= 0; e672.. x686*x389 =E= 0; e673.. x687*x390 =E= 0; e674.. x688*x391 =E= 0; e675.. x689*x392 =E= 0; e676.. x690*x393 =E= 0; e677.. x691*x394 =E= 0; e678.. x692*x395 =E= 0; e679.. x693*x396 =E= 0; e680.. x694*x397 =E= 0; e681.. x695*x398 =E= 0; e682.. x696*x399 =E= 0; e683.. x697*x400 =E= 0; e684.. x698*x401 =E= 0; e685.. x699*x402 =E= 0; e686.. x700*x403 =E= 0; e687.. x701*x404 =E= 0; e688.. x702*x405 =E= 0; e689.. x703*x406 =E= 0; e690.. x704*x407 =E= 0; e691.. x705*x408 =E= 0; e692.. x706*x409 =E= 0; e693.. x707*x410 =E= 0; e694.. x708*x411 =E= 0; e695.. x709*x412 =E= 0; e696.. x710*x413 =E= 0; e697.. x711*x414 =E= 0; e698.. x712*x415 =E= 0; e699.. x713*x416 =E= 0; e700.. x714*x417 =E= 0; e701.. x715*x418 =E= 0; e702.. x716*x419 =E= 0; e703.. x717*x420 =E= 0; e704.. x718*x421 =E= 0; e705.. x719*x422 =E= 0; e706.. x720*x423 =E= 0; e707.. x721*x424 =E= 0; e708.. x722*x425 =E= 0; e709.. x723*x426 =E= 0; e710.. x724*x427 =E= 0; e711.. x725*x428 =E= 0; e712.. x726*x429 =E= 0; e713.. x727*x430 =E= 0; e714.. x728*x431 =E= 0; e715.. x729*x432 =E= 0; e716.. x730*x433 =E= 0; e717.. x731*x434 =E= 0; e718.. x732*x435 =E= 0; e719.. x733*x436 =E= 0; e720.. x734*x437 =E= 0; e721.. x735*x438 =E= 0; e722.. x736*x439 =E= 0; e723.. x737*x440 =E= 0; e724.. x738*x441 =E= 0; e725.. x739*x442 =E= 0; e726.. x740*x443 =E= 0; e727.. x741*x444 =E= 0; e728.. x742*x445 =E= 0; e729.. x743*x446 =E= 0; e730.. x744*x447 =E= 0; e731.. x745*x448 =E= 0; e732.. x746*x449 =E= 0; e733.. x747*x450 =E= 0; e734.. x748*x451 =E= 0; e735.. x749*x452 =E= 0; e736.. x750*x453 =E= 0; e737.. x751*x454 =E= 0; e738.. x752*x455 =E= 0; e739.. x753*x456 =E= 0; e740.. x754*x457 =E= 0; e741.. x755*x458 =E= 0; e742.. x756*x459 =E= 0; e743.. x757*x460 =E= 0; e744.. x758*x461 =E= 0; e745.. x759*x462 =E= 0; e746.. x760*x463 =E= 0; e747.. x761*x464 =E= 0; e748.. x762*x465 =E= 0; e749.. x763*x466 =E= 0; e750.. x764*x467 =E= 0; e751.. x765*x468 =E= 0; e752.. x766*x469 =E= 0; e753.. x767*x470 =E= 0; e754.. x768*x471 =E= 0; e755.. x769*x472 =E= 0; e756.. x770*x473 =E= 0; e757.. x771*x474 =E= 0; e758.. x772*x475 =E= 0; e759.. x773*x476 =E= 0; e760.. x774*x477 =E= 0; e761.. x775*x478 =E= 0; e762.. x776*x479 =E= 0; e763.. x777*x480 =E= 0; e764.. x778*x481 =E= 0; e765.. x779*x482 =E= 0; e766.. x780*x483 =E= 0; e767.. x781*x484 =E= 0; e768.. x782*x485 =E= 0; e769.. x783*x486 =E= 0; e770.. x784*x487 =E= 0; e771.. x785*x488 =E= 0; e772.. x786*x489 =E= 0; e773.. x787*x490 =E= 0; e774.. x788*x491 =E= 0; e775.. x789*x492 =E= 0; e776.. x790*x493 =E= 0; e777.. x791*x494 =E= 0; e778.. x792*x495 =E= 0; e779.. x793*x496 =E= 0; e780.. x794*x497 =E= 0; e781.. x795*x498 =E= 0; e782.. x796*x499 =E= 0; e783.. x797*x500 =E= 0; e784.. x798*x501 =E= 0; e785.. x799*x502 =E= 0; e786.. x800*x503 =E= 0; e787.. x801*x504 =E= 0; e788.. x802*x505 =E= 0; e789.. x803*x506 =E= 0; e790.. x804*x507 =E= 0; e791.. x805*x508 =E= 0; e792.. x806*x509 =E= 0; e793.. x807*x510 =E= 0; e794.. x808*x511 =E= 0; e795.. x809*x512 =E= 0; e796.. x810*x513 =E= 0; e797.. x811*x514 =E= 0; e798.. x812*x515 =E= 0; e799.. x813*x516 =E= 0; e800.. x814*x517 =E= 0; e801.. x815*x518 =E= 0; e802.. x816*x519 =E= 0; e803.. x817*x520 =E= 0; e804.. x818*x521 =E= 0; e805.. x819*x522 =E= 0; e806.. x820*x523 =E= 0; e807.. x821*x524 =E= 0; e808.. x822*x525 =E= 0; e809.. x823*x526 =E= 0; e810.. x824*x527 =E= 0; e811.. x825*x528 =E= 0; e812.. x826*x529 =E= 0; e813.. x827*x530 =E= 0; e814.. x828*x531 =E= 0; e815.. x829*x532 =E= 0; e816.. x830*x533 =E= 0; e817.. x831*x534 =E= 0; e818.. x832*x535 =E= 0; e819.. x833*x536 =E= 0; e820.. x834*x537 =E= 0; e821.. x835*x538 =E= 0; e822.. x836*x539 =E= 0; e823.. x837*x540 =E= 0; e824.. x838*x541 =E= 0; e825.. x839*x542 =E= 0; e826.. x840*x543 =E= 0; e827.. x841*x544 =E= 0; e828.. x842*x545 =E= 0; e829.. x843*x546 =E= 0; e830.. x844*x547 =E= 0; e831.. x845*x548 =E= 0; e832.. x846*x549 =E= 0; e833.. x847*x550 =E= 0; e834.. x848*x551 =E= 0; e835.. x849*x552 =E= 0; e836.. x850*x553 =E= 0; e837.. x851*x554 =E= 0; e838.. x852*x555 =E= 0; e839.. x853*x556 =E= 0; e840.. x854*x557 =E= 0; e841.. x855*x558 =E= 0; e842.. x856*x559 =E= 0; e843.. x857*x560 =E= 0; e844.. x858*x561 =E= 0; e845.. x859*x562 =E= 0; e846.. x860*x563 =E= 0; e847.. x861*x564 =E= 0; e848.. x862*x565 =E= 0; e849.. x863*x566 =E= 0; e850.. x864*x567 =E= 0; e851.. x865*x568 =E= 0; e852.. x866*x569 =E= 0; e853.. x867*x570 =E= 0; e854.. x868*x571 =E= 0; e855.. x869*x572 =E= 0; e856.. x870*x573 =E= 0; e857.. x871*x574 =E= 0; e858.. x872*x575 =E= 0; e859.. x873*x576 =E= 0; e860.. x874*x577 =E= 0; e861.. x875*x578 =E= 0; e862.. x876*x579 =E= 0; e863.. x877*x580 =E= 0; e864.. x878*x581 =E= 0; e865.. x879*x582 =E= 0; e866.. x880*x583 =E= 0; e867.. x881*x584 =E= 0; e868.. x882*x585 =E= 0; e869.. x883*x586 =E= 0; e870.. x884*x587 =E= 0; e871.. x885*x588 =E= 0; e872.. x886*x589 =E= 0; e873.. x887*x590 =E= 0; e874.. x888*x591 =E= 0; e875.. x889*x592 =E= 0; e876.. x890*x593 =E= 0; e877.. x891*x594 =E= 0; e878.. x892*x595 =E= 0; e879.. x893*x596 =E= 0; e880.. x894*x597 =E= 0; e881.. x895*x598 =E= 0; e882.. x896*x599 =E= 0; e883.. x897*x600 =E= 0; e884.. x898*x601 =E= 0; e885.. x899*x602 =E= 0; e886.. x900*x603 =E= 0; e887.. x901*x604 =E= 0; e888.. x902*x605 =E= 0; e889.. x903*x606 =E= 0; e890.. x904*x607 =E= 0; e891.. x905*x608 =E= 0; e892.. x906*x609 =E= 0; Model m / all /; m.limrow=0; m.limcol=0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' m.tolproj = 0.0; $if not set MIQCP $set MIQCP MIQCP Solve m using %MIQCP% minimizing objvar;