$offlisting * * Equation counts * Total E G L N X C B * 1641 41 0 1600 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 1621 1601 20 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 5621 3221 2400 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,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35 ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86 ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102 ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115 ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128 ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141 ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154 ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167 ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180 ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193 ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206 ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219 ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232 ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245 ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258 ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271 ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284 ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297 ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674 ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687 ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700 ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778 ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791 ,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804 ,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817 ,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830 ,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843 ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856 ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869 ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882 ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895 ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908 ,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921 ,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934 ,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947 ,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960 ,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973 ,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986 ,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999 ,x1000,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010 ,x1011,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021 ,x1022,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032 ,x1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043 ,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054 ,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065 ,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076 ,x1077,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087 ,x1088,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098 ,x1099,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109 ,x1110,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120 ,x1121,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131 ,x1132,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142 ,x1143,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153 ,x1154,x1155,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164 ,x1165,x1166,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175 ,x1176,x1177,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186 ,x1187,x1188,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197 ,x1198,x1199,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208 ,x1209,x1210,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219 ,x1220,x1221,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230 ,x1231,x1232,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241 ,x1242,x1243,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252 ,x1253,x1254,x1255,x1256,x1257,x1258,x1259,x1260,x1261,x1262,x1263 ,x1264,x1265,x1266,x1267,x1268,x1269,x1270,x1271,x1272,x1273,x1274 ,x1275,x1276,x1277,x1278,x1279,x1280,x1281,x1282,x1283,x1284,x1285 ,x1286,x1287,x1288,x1289,x1290,x1291,x1292,x1293,x1294,x1295,x1296 ,x1297,x1298,x1299,x1300,x1301,x1302,x1303,x1304,x1305,x1306,x1307 ,x1308,x1309,x1310,x1311,x1312,x1313,x1314,x1315,x1316,x1317,x1318 ,x1319,x1320,x1321,x1322,x1323,x1324,x1325,x1326,x1327,x1328,x1329 ,x1330,x1331,x1332,x1333,x1334,x1335,x1336,x1337,x1338,x1339,x1340 ,x1341,x1342,x1343,x1344,x1345,x1346,x1347,x1348,x1349,x1350,x1351 ,x1352,x1353,x1354,x1355,x1356,x1357,x1358,x1359,x1360,x1361,x1362 ,x1363,x1364,x1365,x1366,x1367,x1368,x1369,x1370,x1371,x1372,x1373 ,x1374,x1375,x1376,x1377,x1378,x1379,x1380,x1381,x1382,x1383,x1384 ,x1385,x1386,x1387,x1388,x1389,x1390,x1391,x1392,x1393,x1394,x1395 ,x1396,x1397,x1398,x1399,x1400,x1401,x1402,x1403,x1404,x1405,x1406 ,x1407,x1408,x1409,x1410,x1411,x1412,x1413,x1414,x1415,x1416,x1417 ,x1418,x1419,x1420,x1421,x1422,x1423,x1424,x1425,x1426,x1427,x1428 ,x1429,x1430,x1431,x1432,x1433,x1434,x1435,x1436,x1437,x1438,x1439 ,x1440,x1441,x1442,x1443,x1444,x1445,x1446,x1447,x1448,x1449,x1450 ,x1451,x1452,x1453,x1454,x1455,x1456,x1457,x1458,x1459,x1460,x1461 ,x1462,x1463,x1464,x1465,x1466,x1467,x1468,x1469,x1470,x1471,x1472 ,x1473,x1474,x1475,x1476,x1477,x1478,x1479,x1480,x1481,x1482,x1483 ,x1484,x1485,x1486,x1487,x1488,x1489,x1490,x1491,x1492,x1493,x1494 ,x1495,x1496,x1497,x1498,x1499,x1500,x1501,x1502,x1503,x1504,x1505 ,x1506,x1507,x1508,x1509,x1510,x1511,x1512,x1513,x1514,x1515,x1516 ,x1517,x1518,x1519,x1520,x1521,x1522,x1523,x1524,x1525,x1526,x1527 ,x1528,x1529,x1530,x1531,x1532,x1533,x1534,x1535,x1536,x1537,x1538 ,x1539,x1540,x1541,x1542,x1543,x1544,x1545,x1546,x1547,x1548,x1549 ,x1550,x1551,x1552,x1553,x1554,x1555,x1556,x1557,x1558,x1559,x1560 ,x1561,x1562,x1563,x1564,x1565,x1566,x1567,x1568,x1569,x1570,x1571 ,x1572,x1573,x1574,x1575,x1576,x1577,x1578,x1579,x1580,x1581,x1582 ,x1583,x1584,x1585,x1586,x1587,x1588,x1589,x1590,x1591,x1592,x1593 ,x1594,x1595,x1596,x1597,x1598,x1599,x1600,x1601,x1602,x1603,x1604 ,x1605,x1606,x1607,x1608,x1609,x1610,x1611,x1612,x1613,x1614,x1615 ,x1616,x1617,x1618,x1619,x1620,x1621; Positive Variables x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35 ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86 ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102 ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115 ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128 ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141 ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154 ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167 ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180 ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193 ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206 ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219 ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232 ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245 ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258 ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271 ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284 ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297 ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674 ,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687 ,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700 ,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778 ,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791 ,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804 ,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817 ,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830 ,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843 ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856 ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869 ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882 ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895 ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908 ,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921 ,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934 ,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947 ,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960 ,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973 ,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986 ,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999 ,x1000,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010 ,x1011,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021 ,x1022,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032 ,x1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043 ,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054 ,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065 ,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076 ,x1077,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087 ,x1088,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098 ,x1099,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109 ,x1110,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120 ,x1121,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131 ,x1132,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142 ,x1143,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153 ,x1154,x1155,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164 ,x1165,x1166,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175 ,x1176,x1177,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186 ,x1187,x1188,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197 ,x1198,x1199,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208 ,x1209,x1210,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219 ,x1220,x1221,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230 ,x1231,x1232,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241 ,x1242,x1243,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252 ,x1253,x1254,x1255,x1256,x1257,x1258,x1259,x1260,x1261,x1262,x1263 ,x1264,x1265,x1266,x1267,x1268,x1269,x1270,x1271,x1272,x1273,x1274 ,x1275,x1276,x1277,x1278,x1279,x1280,x1281,x1282,x1283,x1284,x1285 ,x1286,x1287,x1288,x1289,x1290,x1291,x1292,x1293,x1294,x1295,x1296 ,x1297,x1298,x1299,x1300,x1301,x1302,x1303,x1304,x1305,x1306,x1307 ,x1308,x1309,x1310,x1311,x1312,x1313,x1314,x1315,x1316,x1317,x1318 ,x1319,x1320,x1321,x1322,x1323,x1324,x1325,x1326,x1327,x1328,x1329 ,x1330,x1331,x1332,x1333,x1334,x1335,x1336,x1337,x1338,x1339,x1340 ,x1341,x1342,x1343,x1344,x1345,x1346,x1347,x1348,x1349,x1350,x1351 ,x1352,x1353,x1354,x1355,x1356,x1357,x1358,x1359,x1360,x1361,x1362 ,x1363,x1364,x1365,x1366,x1367,x1368,x1369,x1370,x1371,x1372,x1373 ,x1374,x1375,x1376,x1377,x1378,x1379,x1380,x1381,x1382,x1383,x1384 ,x1385,x1386,x1387,x1388,x1389,x1390,x1391,x1392,x1393,x1394,x1395 ,x1396,x1397,x1398,x1399,x1400,x1401,x1402,x1403,x1404,x1405,x1406 ,x1407,x1408,x1409,x1410,x1411,x1412,x1413,x1414,x1415,x1416,x1417 ,x1418,x1419,x1420,x1421,x1422,x1423,x1424,x1425,x1426,x1427,x1428 ,x1429,x1430,x1431,x1432,x1433,x1434,x1435,x1436,x1437,x1438,x1439 ,x1440,x1441,x1442,x1443,x1444,x1445,x1446,x1447,x1448,x1449,x1450 ,x1451,x1452,x1453,x1454,x1455,x1456,x1457,x1458,x1459,x1460,x1461 ,x1462,x1463,x1464,x1465,x1466,x1467,x1468,x1469,x1470,x1471,x1472 ,x1473,x1474,x1475,x1476,x1477,x1478,x1479,x1480,x1481,x1482,x1483 ,x1484,x1485,x1486,x1487,x1488,x1489,x1490,x1491,x1492,x1493,x1494 ,x1495,x1496,x1497,x1498,x1499,x1500,x1501,x1502,x1503,x1504,x1505 ,x1506,x1507,x1508,x1509,x1510,x1511,x1512,x1513,x1514,x1515,x1516 ,x1517,x1518,x1519,x1520,x1521,x1522,x1523,x1524,x1525,x1526,x1527 ,x1528,x1529,x1530,x1531,x1532,x1533,x1534,x1535,x1536,x1537,x1538 ,x1539,x1540,x1541,x1542,x1543,x1544,x1545,x1546,x1547,x1548,x1549 ,x1550,x1551,x1552,x1553,x1554,x1555,x1556,x1557,x1558,x1559,x1560 ,x1561,x1562,x1563,x1564,x1565,x1566,x1567,x1568,x1569,x1570,x1571 ,x1572,x1573,x1574,x1575,x1576,x1577,x1578,x1579,x1580,x1581,x1582 ,x1583,x1584,x1585,x1586,x1587,x1588,x1589,x1590,x1591,x1592,x1593 ,x1594,x1595,x1596,x1597,x1598,x1599,x1600,x1601,x1602,x1603,x1604 ,x1605,x1606,x1607,x1608,x1609,x1610,x1611,x1612,x1613,x1614,x1615 ,x1616,x1617,x1618,x1619,x1620,x1621; Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21; 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,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044 ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055 ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066 ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077 ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088 ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099 ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110 ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121 ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132 ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143 ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154 ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165 ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176 ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187 ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198 ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209 ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220 ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231 ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242 ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253 ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264 ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275 ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286 ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297 ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308 ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319 ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330 ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341 ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352 ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363 ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374 ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385 ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396 ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407 ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418 ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429 ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440 ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451 ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462 ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473 ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484 ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495 ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506 ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517 ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528 ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539 ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550 ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561 ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572 ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583 ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594 ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605 ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616 ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627 ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638 ,e1639,e1640,e1641; e1.. - objvar + 46*b2 + 78*b3 + 94*b4 + 40*b5 + 48*b6 + 52*b7 + 97*b8 + 11*b9 + 84*b10 + 78*b11 + 84*b12 + 86*b13 + 6*b14 + 19*b15 + 55*b16 + 19*b17 + 60*b18 + 47*b19 + 72*b20 + 7*b21 + 24.26865347*x22 + 4.487354999*x23 + 22.87602276*x24 + 27.27171915*x25 + 6.382064877*x26 + 30.30294448*x27 + 54.65160023*x28 + 20.69915424*x29 + 41.55709209*x30 + 32.5857653*x31 + 45.40137004*x32 + 31.48487544*x33 + 22.667277*x34 + 6.894261335*x35 + 31.74040524*x36 + 41.28911782*x37 + 25.58611109*x38 + 44.50018758*x39 + 27.83976501*x40 + 49.71281833*x41 + 28.85769893*x42 + 11.0726005*x43 + 36.73850981*x44 + 45.80842168*x45 + 16.58063758*x46 + 4.872165964*x47 + 25.2072362*x48 + 32.89762055*x49 + 35.03036409*x50 + 6.661806043*x51 + 36.09217574*x52 + 27.41780189*x53 + 17.02859096*x54 + 14.26185912*x55 + 49.10274465*x56 + 4.293823212*x57 + 23.96551241*x58 + 23.98568265*x59 + 40.50893891*x60 + 31.36309818*x61 + 19.06061186*x62 + 38.03552185*x63 + 18.16322628*x64 + 17.46632153*x65 + 31.90589989*x66 + 48.43663943*x67 + 28.549382*x68 + 20.84537671*x69 + 36.73377088*x70 + 38.14917451*x71 + 20.5784325*x72 + 32.56593204*x73 + 16.09604806*x74 + 32.51259588*x75 + 32.21889949*x76 + 20.41612536*x77 + 30.05488444*x78 + 28.6966865*x79 + 39.02344858*x80 + 34.71964694*x81 + 34.20946054*x82 + 30.60748838*x83 + 2.773485971*x84 + 8.175882872*x85 + 40.74279294*x86 + 38.5532269*x87 + 20.1369005*x88 + 9.983072015*x89 + 49.06241234*x90 + 31.4280744*x91 + 46.16283092*x92 + 11.32979751*x93 + 23.19719949*x94 + 33.0078407*x95 + 11.43106583*x96 + 37.54854505*x97 + 42.04966187*x98 + 38.63341728*x99 + 32.31160534*x100 + 37.58609028*x101 + 21.29878604*x102 + 42.18353822*x103 + 22.72970804*x104 + 22.05898775*x105 + 35.69175878*x106 + 49.9825151*x107 + 24.97596434*x108 + 23.62410928*x109 + 36.07664313*x110 + 38.83212607*x111 + 17.87343151*x112 + 33.16670626*x113 + 20.47154108*x114 + 36.66768388*x115 + 32.77078887*x116 + 18.667913*x117 + 31.46169241*x118 + 26.94568426*x119 + 40.34426242*x120 + 32.63254314*x121 + 35.22956162*x122 + 33.86538824*x123 + 5.192035469*x124 + 6.624248976*x125 + 43.3500836*x126 + 42.12061594*x127 + 22.02840214*x128 + 11.24408689*x129 + 50.10736643*x130 + 35.39521987*x131 + 46.8801872*x132 + 15.80076075*x133 + 26.37811233*x134 + 35.79565859*x135 + 9.228577771*x136 + 41.68736812*x137 + 43.94285656*x138 + 40.39370766*x139 + 31.51201478*x140 + 38.40224707*x141 + 8.796416148*x142 + 21.68002209*x143 + 21.85701456*x144 + 26.56273162*x145 + 13.26352648*x146 + 22.06529809*x147 + 36.90416485*x148 + 6.927757773*x149 + 23.69878686*x150 + 16.82699723*x151 + 28.11788882*x152 + 13.8634148*x153 + 18.60101219*x154 + 18.22762335*x155 + 13.99449571*x156 + 23.69350765*x157 + 7.815029113*x158 + 26.02521733*x159 + 14.27858123*x160 + 31.18577091*x161 + 12.27458206*x162 + 7.47277735*x163 + 25.31548284*x164 + 35.71914338*x165 + 13.29139903*x166 + 15.79497169*x167 + 8.531628284*x168 + 19.02349779*x169 + 24.33567261*x170 + 15.12970196*x171 + 23.12748568*x172 + 21.08247276*x173 + 6.602520298*x174 + 6.168926522*x175 + 38.8829457*x176 + 21.20317631*x177 + 15.0423713*x178 + 12.19408443*x179 + 22.12298602*x180 + 15.69313676*x181 + 22.48993936*x182 + 36.17720897*x183 + 14.80432356*x184 + 12.36080013*x185 + 31.3977116*x186 + 51.92863596*x187 + 35.73793073*x188 + 23.23262991*x189 + 42.78812279*x190 + 42.89906293*x191 + 27.76491259*x192 + 37.51423875*x193 + 14.37691065*x194 + 30.77330258*x195 + 37.22719776*x196 + 27.33393789*x197 + 34.1116788*x198 + 35.52796802*x199 + 42.97586885*x200 + 41.66564729*x201 + 38.64200816*x202 + 31.49018465*x203 + 9.435909932*x204 + 10.29170635*x205 + 42.65415432*x206 + 38.44619712*x207 + 23.99171724*x208 + 15.56450322*x209 + 53.22121089*x210 + 30.38167081*x211 + 50.75733246*x212 + 9.846586511*x213 + 24.61730025*x214 + 34.7838862*x215 + 13.198976*x216 + 35.73527204*x217 + 45.13060952*x218 + 41.98124821*x219 + 38.5274385*x220 + 42.19269231*x221 + 23.22252542*x222 + 46.46133111*x223 + 40.85160471*x224 + 44.17428365*x225 + 38.03963816*x226 + 28.02787996*x227 + 20.22835391*x228 + 26.00165149*x229 + 4.382906212*x230 + 14.6759493*x231 + 17.40437893*x232 + 12.20841779*x233 + 36.81200133*x234 + 42.81910224*x235 + 11.82150649*x236 + 14.59685647*x237 + 17.62387189*x238 + 7.376724535*x239 + 20.03195837*x240 + 7.740997751*x241 + 15.6530813*x242 + 32.20304256*x243 + 31.42152822*x244 + 39.54478507*x245 + 31.75177881*x246 + 39.72827143*x247 + 21.33020736*x248 + 25.04395858*x249 + 24.76708255*x250 + 39.79629391*x251 + 20.20279156*x252 + 36.03148266*x253 + 28.99507851*x254 + 29.17515222*x255 + 41.50366567*x256 + 45.98685849*x257 + 26.4072802*x258 + 23.3316901*x259 + 2.684748758*x260 + 15.40890043*x261 + 33.59421554*x262 + 40.6051195*x263 + 48.56760976*x264 + 53.3431509*x265 + 34.95007082*x266 + 5.829124023*x267 + 47.94121312*x268 + 33.31950605*x269 + 23.56292564*x270 + 14.88003445*x271 + 42.9973396*x272 + 20.41490199*x273 + 45.41188084*x274 + 40.27646794*x275 + 20.87823952*x276 + 38.79884239*x277 + 22.05873278*x278 + 34.56868355*x279 + 13.11540095*x280 + 35.17059427*x281 + 17.98845362*x282 + 29.84552078*x283 + 49.42480061*x284 + 59.63671497*x285 + 19.56583293*x286 + 31.26560487*x287 + 32.15325699*x288 + 42.22935031*x289 + 3.243374405*x290 + 37.4120318*x291 + 7.667338267*x292 + 47.65638937*x293 + 33.34562962*x294 + 24.87426292*x295 + 62.44568409*x296 + 40.3574893*x297 + 12.70349106*x298 + 14.66015085*x299 + 26.97651308*x300 + 15.01514855*x301 + 3.929544225*x302 + 30.18378212*x303 + 20.28157647*x304 + 23.65878054*x305 + 21.95170798*x306 + 30.92641928*x307 + 26.58842134*x308 + 7.531418377*x309 + 21.71344001*x310 + 20.72978348*x311 + 17.22760414*x312 + 15.31932632*x313 + 16.2390601*x314 + 25.37437418*x315 + 15.04169593*x316 + 13.28497906*x317 + 12.44790326*x318 + 18.43606667*x319 + 21.40681543*x320 + 24.61961918*x321 + 16.61536725*x322 + 17.76462868*x323 + 14.98862941*x324 + 25.30923218*x325 + 24.93553124*x326 + 26.63293091*x327 + 3.332943786*x328 + 7.882833041*x329 + 31.43616998*x330 + 22.85469589*x331 + 28.6627719*x332 + 15.73405006*x333 + 11.23508299*x334 + 18.00454848*x335 + 28.2604884*x336 + 29.66261422*x337 + 24.85151759*x338 + 21.28821487*x339 + 18.11053916*x340 + 20.07516862*x341 + 7.870582366*x342 + 25.28590786*x343 + 23.66668858*x344 + 28.14529208*x345 + 16.84671118*x346 + 21.69295155*x347 + 33.65827445*x348 + 7.595773155*x349 + 20.25149111*x350 + 14.31108293*x351 + 25.1088794*x352 + 10.63177921*x353 + 20.08217182*x354 + 21.7091282*x355 + 10.69894192*x356 + 20.59786229*x357 + 4.825083539*x358 + 22.47633747*x359 + 12.86247125*x360 + 27.57430969*x361 + 9.657657539*x362 + 11.0880409*x363 + 24.41067074*x364 + 34.8470496*x365 + 15.19866169*x366 + 19.26743139*x367 + 6.830474649*x368 + 17.62428179*x369 + 23.14574514*x370 + 18.64283098*x371 + 21.31127956*x372 + 21.82543961*x373 + 8.88476015*x374 + 9.144385746*x375 + 37.90608619*x376 + 24.80637229*x377 + 15.16716204*x378 + 11.78520624*x379 + 18.52515208*x380 + 13.27609661*x381 + 25.24824513*x382 + 50.55099946*x383 + 34.19202676*x384 + 34.70729696*x385 + 42.83028338*x386 + 48.71622874*x387 + 11.39371579*x388 + 28.65617852*x389 + 29.20867719*x390 + 35.67177299*x391 + 7.828488103*x392 + 30.33716935*x393 + 31.00194669*x394 + 45.2794654*x395 + 29.84276576*x396 + 11.73424468*x397 + 31.26970871*x398 + 17.92242595*x399 + 38.99418818*x400 + 22.0377413*x401 + 33.43057957*x402 + 39.23700068*x403 + 16.52396462*x404 + 18.34991042*x405 + 45.87821494*x406 + 48.08859557*x407 + 24.85848553*x408 + 16.60719527*x409 + 47.29018662*x410 + 43.26417578*x411 + 43.25143884*x412 + 27.13493477*x413 + 32.22889314*x414 + 39.44951583*x415 + 18.93384151*x416 + 50.02924712*x417 + 44.11855004*x418 + 40.40079145*x419 + 24.70982901*x420 + 35.68047373*x421 + 25.53245508*x422 + 51.69497704*x423 + 39.92560094*x424 + 41.85068496*x425 + 43.30004432*x426 + 41.04445706*x427 + 6.403350852*x428 + 29.09619248*x429 + 18.48642709*x430 + 27.42677033*x431 + 6.73412274*x432 + 23.10185212*x433 + 36.10016009*x434 + 47.03313596*x435 + 22.59781191*x436 + 8.58783834*x437 + 26.35629175*x438 + 7.066532753*x439 + 31.99260788*x440 + 9.312565502*x441 + 26.68095662*x442 + 38.3677019*x443 + 25.12816725*x444 + 30.24851904*x445 + 41.7201482*x446 + 46.98738192*x447 + 24.2438281*x448 + 21.32862865*x449 + 38.44745925*x450 + 44.42114265*x451 + 34.00382926*x452 + 33.52759252*x453 + 32.75577644*x454 + 36.94582822*x455 + 31.36188776*x456 + 51.17860528*x457 + 37.99732195*x458 + 34.46290115*x459 + 14.65467297*x460 + 27.81905526*x461 + 32.11713962*x462 + 58.37037456*x463 + 44.61675628*x464 + 45.81204453*x465 + 50.11838413*x466 + 48.98777302*x467 + 1.659881879*x468 + 35.71998995*x469 + 25.99937299*x470 + 35.36663959*x471 + 11.08327316*x472 + 31.08622409*x473 + 41.04505743*x474 + 53.46920052*x475 + 30.58167129*x476 + 14.99058399*x477 + 34.17818774*x478 + 14.95977516*x479 + 39.97837768*x480 + 15.30181194*x481 + 34.65997591*x482 + 45.51467986*x483 + 27.95104753*x484 + 30.38210285*x485 + 49.54378999*x486 + 54.26578927*x487 + 31.07026847*x488 + 26.01992114*x489 + 46.24668698*x490 + 51.03393072*x491 + 41.74739873*x492 + 37.7892512*x493 + 39.42265707*x494 + 44.46114892*x495 + 30.65477823*x496 + 57.84869369*x497 + 45.97382677*x498 + 42.42511932*x499 + 22.47272396*x500 + 35.78512406*x501 + 24.55504437*x502 + 42.38335387*x503 + 21.56335418*x504 + 19.69754026*x505 + 36.74807099*x506 + 53.9100923*x507 + 30.34080303*x508 + 26.27718493*x509 + 41.39794768*x510 + 43.42735366*x511 + 23.54008015*x512 + 37.80699473*x513 + 20.26638324*x514 + 36.88437464*x515 + 37.44238839*x516 + 24.26901063*x517 + 35.49562891*x518 + 32.56822879*x519 + 44.45971198*x520 + 38.30085008*x521 + 39.57665442*x522 + 35.83219188*x523 + 8.06622501*x524 + 3.113642093*x525 + 46.17236862*x526 + 43.55326922*x527 + 25.62108865*x528 + 15.28465648*x529 + 54.45139103*x530 + 36.07518791*x531 + 51.46169603*x532 + 15.41268992*x533 + 28.49219796*x534 + 38.40493699*x535 + 6.378532775*x536 + 41.91422599*x537 + 47.54377011*x538 + 44.12137294*x539 + 36.87967544*x540 + 42.90376788*x541 + 22.33546321*x542 + 31.30838223*x543 + 37.13871565*x544 + 41.8873012*x545 + 24.5980005*x546 + 7.335297959*x547 + 41.22453058*x548 + 21.86199895*x549 + 19.24409462*x550 + 8.176398124*x551 + 34.68941854*x552 + 11.76782285*x553 + 33.93671846*x554 + 30.04907011*x555 + 12.27735087*x556 + 30.18733943*x557 + 11.18707199*x558 + 27.96341159*x559 + 2.838431895*x560 + 30.49247128*x561 + 8.337776781*x562 + 19.01880237*x563 + 38.5522801*x564 + 48.90590629*x565 + 11.14504528*x566 + 22.34831711*x567 + 21.02686228*x568 + 31.47336742*x569 + 9.080013314*x570 + 27.02038382*x571 + 9.109108349*x572 + 36.20320645*x573 + 21.89264603*x574 + 14.05704359*x575 + 51.83976736*x576 + 30.97869538*x577 + 3.923461495*x578 + 3.333765135*x579 + 20.91944959*x580 + 7.345326197*x581 + 22.35691863*x582 + 36.70557786*x583 + 15.41545353*x584 + 13.13646614*x585 + 31.77146524*x586 + 51.85221061*x587 + 34.92650491*x588 + 23.23426677*x589 + 42.31995964*x590 + 42.63768157*x591 + 27.02250844*x592 + 37.2169159*x593 + 14.79706717*x594 + 31.2788051*x595 + 36.92060118*x596 + 26.68080245*x597 + 33.93442393*x598 + 34.90071018*x599 + 42.82726954*x600 + 41.01143679*x601 + 38.42064402*x602 + 31.70506152*x603 + 8.766849103*x604 + 9.504263108*x605 + 42.7686674*x606 + 38.79012301*x607 + 23.81101105*x608 + 15.10371778*x609 + 53.05441226*x610 + 30.81204787*x611 + 50.52619289*x612 + 10.16096259*x613 + 24.74360585*x614 + 34.90034562*x615 + 12.47069511*x616 + 36.25827092*x617 + 45.10107383*x618 + 41.91249578*x619 + 38.0272015*x620 + 41.95127429*x621 + 22.37410163*x622 + 47.70211904*x623 + 38.77838176*x624 + 41.46969563*x625 + 39.20413484*x626 + 34.02639343*x627 + 13.48210516*x628 + 25.69613664*x629 + 11.39483435*x630 + 20.41005571*x631 + 10.63756612*x632 + 16.4620868*x633 + 34.77512564*x634 + 43.45831935*x635 + 15.97426944*x636 + 8.85058799*x637 + 20.49814854*x638 + 0.5526261317*x639 + 25.20748513*x640 + 5.817387626*x641 + 20.08849966*x642 + 33.80279001*x643 + 26.69480589*x644 + 33.77809973*x645 + 35.67575675*x646 + 42.06553691*x647 + 20.73510844*x648 + 21.21799227*x649 + 31.29648259*x650 + 40.62649508*x651 + 26.83926256*x652 + 33.10628632*x653 + 29.1490643*x654 + 31.68899883*x655 + 35.44815381*x656 + 47.19996533*x657 + 31.3691484*x658 + 27.949191*x659 + 7.500791573*x660 + 20.8805051*x661 + 31.29829095*x662 + 37.95743781*x663 + 45.98967469*x664 + 50.78445384*x665 + 32.25975638*x666 + 3.249735263*x667 + 47.0624328*x668 + 30.88207837*x669 + 23.02163437*x670 + 13.47768625*x671 + 41.67857355*x672 + 18.79775842*x673 + 42.88103628*x674 + 37.58799112*x675 + 19.28158094*x676 + 37.37863435*x677 + 19.88962206*x678 + 33.63778451*x679 + 10.92277063*x680 + 34.71426324*x681 + 16.08655023*x682 + 27.16942286*x683 + 47.31807762*x684 + 57.59482876*x685 + 16.9110711*x686 + 28.62785081*x687 + 29.91920986*x688 + 40.16047577*x689 + 2.892180964*x690 + 34.72170604*x691 + 7.360168376*x692 + 45.22311255*x693 + 30.7931327*x694 + 22.20312706*x695 + 60.4541922*x696 + 37.70438276*x697 + 10.01859177*x698 + 12.10543124*x699 + 26.09105944*x700 + 13.42008863*x701 + 22.37358557*x702 + 40.03952988*x703 + 39.96911752*x704 + 44.14969214*x705 + 32.16735602*x706 + 16.55594224*x707 + 31.27624081*x708 + 23.77147284*x709 + 7.517182806*x710 + 3.822103125*x711 + 26.50922522*x712 + 6.420546169*x713 + 36.15711459*x714 + 37.47689484*x715 + 6.59610203*x716 + 22.52368503*x717 + 11.89835576*x718 + 17.87477989*x719 + 9.467500748*x720 + 19.12638982*x721 + 7.433389269*x722 + 26.09884145*x723 + 35.70705623*x724 + 45.30631168*x725 + 22.18242479*x726 + 31.99868214*x727 + 20.49497755*x728 + 28.52320369*x729 + 13.50750694*x730 + 34.33070665*x731 + 9.141443933*x732 + 36.90536482*x733 + 25.58008851*x734 + 21.90632626*x735 + 47.8103115*x736 + 39.6257024*x737 + 15.74864002*x738 + 13.31940945*x739 + 10.29458242*x740 + 4.950040577*x741 + 28.92944063*x742 + 35.63219131*x743 + 43.45873715*x744 + 48.25946878*x745 + 29.78608608*x746 + 1.852946185*x747 + 45.84906682*x748 + 28.42068554*x749 + 22.25003168*x750 + 12.04093427*x751 + 40.08847602*x752 + 17.05816965*x753 + 40.36759997*x754 + 35.13559306*x755 + 17.55602821*x756 + 35.71153777*x757 + 17.64453388*x758 + 32.42310802*x759 + 8.73448933*x760 + 33.93118345*x761 + 14.10878127*x762 + 24.64575407*x763 + 45.0713647*x764 + 55.38946434*x765 + 14.59516514*x766 + 26.33246591*x767 + 27.5969199*x768 + 37.94915427*x769 + 4.065381492*x770 + 32.24679864*x771 + 7.419183895*x772 + 42.75835765*x773 + 28.2726628*x774 + 19.67456425*x775 + 58.28504263*x776 + 35.36662585*x777 + 7.513908769*x778 + 9.595032649*x779 + 24.96572927*x780 + 11.78925859*x781 + 17.14693818*x782 + 23.26386177*x783 + 29.59433566*x784 + 34.45483669*x785 + 16.2703997*x786 + 13.94612206*x787 + 41.92599642*x788 + 15.57878556*x789 + 23.63666471*x790 + 13.6651666*x791 + 34.02075699*x792 + 13.91691048*x793 + 26.71757037*x794 + 21.72746449*x795 + 14.31245289*x796 + 29.42668449*x797 + 9.404176646*x798 + 29.54829155*x799 + 8.765892308*x800 + 33.51739366*x801 + 10.60255674*x802 + 10.7181657*x803 + 33.79663826*x804 + 44.23113999*x805 + 5.964787343*x806 + 14.71339298*x807 + 16.42547445*x808 + 27.21494167*x809 + 17.2404509*x810 + 18.68584048*x811 + 17.33252087*x812 + 29.59206663*x813 + 14.63533755*x814 + 5.735577737*x815 + 47.35416901*x816 + 22.90288657*x817 + 6.70368924*x818 + 5.0670489*x819 + 23.75026566*x820 + 12.4593753*x821 =E= 0; e2.. - b2 + x822 =L= 0; e3.. - b2 + x823 =L= 0; e4.. - b2 + x824 =L= 0; e5.. - b2 + x825 =L= 0; e6.. - b2 + x826 =L= 0; e7.. - b2 + x827 =L= 0; e8.. - b2 + x828 =L= 0; e9.. - b2 + x829 =L= 0; e10.. - b2 + x830 =L= 0; e11.. - b2 + x831 =L= 0; e12.. - b2 + x832 =L= 0; e13.. - b2 + x833 =L= 0; e14.. - b2 + x834 =L= 0; e15.. - b2 + x835 =L= 0; e16.. - b2 + x836 =L= 0; e17.. - b2 + x837 =L= 0; e18.. - b2 + x838 =L= 0; e19.. - b2 + x839 =L= 0; e20.. - b2 + x840 =L= 0; e21.. - b2 + x841 =L= 0; e22.. - b2 + x842 =L= 0; e23.. - b2 + x843 =L= 0; e24.. - b2 + x844 =L= 0; e25.. - b2 + x845 =L= 0; e26.. - b2 + x846 =L= 0; e27.. - b2 + x847 =L= 0; e28.. - b2 + x848 =L= 0; e29.. - b2 + x849 =L= 0; e30.. - b2 + x850 =L= 0; e31.. - b2 + x851 =L= 0; e32.. - b2 + x852 =L= 0; e33.. - b2 + x853 =L= 0; e34.. - b2 + x854 =L= 0; e35.. - b2 + x855 =L= 0; e36.. - b2 + x856 =L= 0; e37.. - b2 + x857 =L= 0; e38.. - b2 + x858 =L= 0; e39.. - b2 + x859 =L= 0; e40.. - b2 + x860 =L= 0; e41.. - b2 + x861 =L= 0; e42.. - b3 + x862 =L= 0; e43.. - b3 + x863 =L= 0; e44.. - b3 + x864 =L= 0; e45.. - b3 + x865 =L= 0; e46.. - b3 + x866 =L= 0; e47.. - b3 + x867 =L= 0; e48.. - b3 + x868 =L= 0; e49.. - b3 + x869 =L= 0; e50.. - b3 + x870 =L= 0; e51.. - b3 + x871 =L= 0; e52.. - b3 + x872 =L= 0; e53.. - b3 + x873 =L= 0; e54.. - b3 + x874 =L= 0; e55.. - b3 + x875 =L= 0; e56.. - b3 + x876 =L= 0; e57.. - b3 + x877 =L= 0; e58.. - b3 + x878 =L= 0; e59.. - b3 + x879 =L= 0; e60.. - b3 + x880 =L= 0; e61.. - b3 + x881 =L= 0; e62.. - b3 + x882 =L= 0; e63.. - b3 + x883 =L= 0; e64.. - b3 + x884 =L= 0; e65.. - b3 + x885 =L= 0; e66.. - b3 + x886 =L= 0; e67.. - b3 + x887 =L= 0; e68.. - b3 + x888 =L= 0; e69.. - b3 + x889 =L= 0; e70.. - b3 + x890 =L= 0; e71.. - b3 + x891 =L= 0; e72.. - b3 + x892 =L= 0; e73.. - b3 + x893 =L= 0; e74.. - b3 + x894 =L= 0; e75.. - b3 + x895 =L= 0; e76.. - b3 + x896 =L= 0; e77.. - b3 + x897 =L= 0; e78.. - b3 + x898 =L= 0; e79.. - b3 + x899 =L= 0; e80.. - b3 + x900 =L= 0; e81.. - b3 + x901 =L= 0; e82.. - b4 + x902 =L= 0; e83.. - b4 + x903 =L= 0; e84.. - b4 + x904 =L= 0; e85.. - b4 + x905 =L= 0; e86.. - b4 + x906 =L= 0; e87.. - b4 + x907 =L= 0; e88.. - b4 + x908 =L= 0; e89.. - b4 + x909 =L= 0; e90.. - b4 + x910 =L= 0; e91.. - b4 + x911 =L= 0; e92.. - b4 + x912 =L= 0; e93.. - b4 + x913 =L= 0; e94.. - b4 + x914 =L= 0; e95.. - b4 + x915 =L= 0; e96.. - b4 + x916 =L= 0; e97.. - b4 + x917 =L= 0; e98.. - b4 + x918 =L= 0; e99.. - b4 + x919 =L= 0; e100.. - b4 + x920 =L= 0; e101.. - b4 + x921 =L= 0; e102.. - b4 + x922 =L= 0; e103.. - b4 + x923 =L= 0; e104.. - b4 + x924 =L= 0; e105.. - b4 + x925 =L= 0; e106.. - b4 + x926 =L= 0; e107.. - b4 + x927 =L= 0; e108.. - b4 + x928 =L= 0; e109.. - b4 + x929 =L= 0; e110.. - b4 + x930 =L= 0; e111.. - b4 + x931 =L= 0; e112.. - b4 + x932 =L= 0; e113.. - b4 + x933 =L= 0; e114.. - b4 + x934 =L= 0; e115.. - b4 + x935 =L= 0; e116.. - b4 + x936 =L= 0; e117.. - b4 + x937 =L= 0; e118.. - b4 + x938 =L= 0; e119.. - b4 + x939 =L= 0; e120.. - b4 + x940 =L= 0; e121.. - b4 + x941 =L= 0; e122.. - b5 + x942 =L= 0; e123.. - b5 + x943 =L= 0; e124.. - b5 + x944 =L= 0; e125.. - b5 + x945 =L= 0; e126.. - b5 + x946 =L= 0; e127.. - b5 + x947 =L= 0; e128.. - b5 + x948 =L= 0; e129.. - b5 + x949 =L= 0; e130.. - b5 + x950 =L= 0; e131.. - b5 + x951 =L= 0; e132.. - b5 + x952 =L= 0; e133.. - b5 + x953 =L= 0; e134.. - b5 + x954 =L= 0; e135.. - b5 + x955 =L= 0; e136.. - b5 + x956 =L= 0; e137.. - b5 + x957 =L= 0; e138.. - b5 + x958 =L= 0; e139.. - b5 + x959 =L= 0; e140.. - b5 + x960 =L= 0; e141.. - b5 + x961 =L= 0; e142.. - b5 + x962 =L= 0; e143.. - b5 + x963 =L= 0; e144.. - b5 + x964 =L= 0; e145.. - b5 + x965 =L= 0; e146.. - b5 + x966 =L= 0; e147.. - b5 + x967 =L= 0; e148.. - b5 + x968 =L= 0; e149.. - b5 + x969 =L= 0; e150.. - b5 + x970 =L= 0; e151.. - b5 + x971 =L= 0; e152.. - b5 + x972 =L= 0; e153.. - b5 + x973 =L= 0; e154.. - b5 + x974 =L= 0; e155.. - b5 + x975 =L= 0; e156.. - b5 + x976 =L= 0; e157.. - b5 + x977 =L= 0; e158.. - b5 + x978 =L= 0; e159.. - b5 + x979 =L= 0; e160.. - b5 + x980 =L= 0; e161.. - b5 + x981 =L= 0; e162.. - b6 + x982 =L= 0; e163.. - b6 + x983 =L= 0; e164.. - b6 + x984 =L= 0; e165.. - b6 + x985 =L= 0; e166.. - b6 + x986 =L= 0; e167.. - b6 + x987 =L= 0; e168.. - b6 + x988 =L= 0; e169.. - b6 + x989 =L= 0; e170.. - b6 + x990 =L= 0; e171.. - b6 + x991 =L= 0; e172.. - b6 + x992 =L= 0; e173.. - b6 + x993 =L= 0; e174.. - b6 + x994 =L= 0; e175.. - b6 + x995 =L= 0; e176.. - b6 + x996 =L= 0; e177.. - b6 + x997 =L= 0; e178.. - b6 + x998 =L= 0; e179.. - b6 + x999 =L= 0; e180.. - b6 + x1000 =L= 0; e181.. - b6 + x1001 =L= 0; e182.. - b6 + x1002 =L= 0; e183.. - b6 + x1003 =L= 0; e184.. - b6 + x1004 =L= 0; e185.. - b6 + x1005 =L= 0; e186.. - b6 + x1006 =L= 0; e187.. - b6 + x1007 =L= 0; e188.. - b6 + x1008 =L= 0; e189.. - b6 + x1009 =L= 0; e190.. - b6 + x1010 =L= 0; e191.. - b6 + x1011 =L= 0; e192.. - b6 + x1012 =L= 0; e193.. - b6 + x1013 =L= 0; e194.. - b6 + x1014 =L= 0; e195.. - b6 + x1015 =L= 0; e196.. - b6 + x1016 =L= 0; e197.. - b6 + x1017 =L= 0; e198.. - b6 + x1018 =L= 0; e199.. - b6 + x1019 =L= 0; e200.. - b6 + x1020 =L= 0; e201.. - b6 + x1021 =L= 0; e202.. - b7 + x1022 =L= 0; e203.. - b7 + x1023 =L= 0; e204.. - b7 + x1024 =L= 0; e205.. - b7 + x1025 =L= 0; e206.. - b7 + x1026 =L= 0; e207.. - b7 + x1027 =L= 0; e208.. - b7 + x1028 =L= 0; e209.. - b7 + x1029 =L= 0; e210.. - b7 + x1030 =L= 0; e211.. - b7 + x1031 =L= 0; e212.. - b7 + x1032 =L= 0; e213.. - b7 + x1033 =L= 0; e214.. - b7 + x1034 =L= 0; e215.. - b7 + x1035 =L= 0; e216.. - b7 + x1036 =L= 0; e217.. - b7 + x1037 =L= 0; e218.. - b7 + x1038 =L= 0; e219.. - b7 + x1039 =L= 0; e220.. - b7 + x1040 =L= 0; e221.. - b7 + x1041 =L= 0; e222.. - b7 + x1042 =L= 0; e223.. - b7 + x1043 =L= 0; e224.. - b7 + x1044 =L= 0; e225.. - b7 + x1045 =L= 0; e226.. - b7 + x1046 =L= 0; e227.. - b7 + x1047 =L= 0; e228.. - b7 + x1048 =L= 0; e229.. - b7 + x1049 =L= 0; e230.. - b7 + x1050 =L= 0; e231.. - b7 + x1051 =L= 0; e232.. - b7 + x1052 =L= 0; e233.. - b7 + x1053 =L= 0; e234.. - b7 + x1054 =L= 0; e235.. - b7 + x1055 =L= 0; e236.. - b7 + x1056 =L= 0; e237.. - b7 + x1057 =L= 0; e238.. - b7 + x1058 =L= 0; e239.. - b7 + x1059 =L= 0; e240.. - b7 + x1060 =L= 0; e241.. - b7 + x1061 =L= 0; e242.. - b8 + x1062 =L= 0; e243.. - b8 + x1063 =L= 0; e244.. - b8 + x1064 =L= 0; e245.. - b8 + x1065 =L= 0; e246.. - b8 + x1066 =L= 0; e247.. - b8 + x1067 =L= 0; e248.. - b8 + x1068 =L= 0; e249.. - b8 + x1069 =L= 0; e250.. - b8 + x1070 =L= 0; e251.. - b8 + x1071 =L= 0; e252.. - b8 + x1072 =L= 0; e253.. - b8 + x1073 =L= 0; e254.. - b8 + x1074 =L= 0; e255.. - b8 + x1075 =L= 0; e256.. - b8 + x1076 =L= 0; e257.. - b8 + x1077 =L= 0; e258.. - b8 + x1078 =L= 0; e259.. - b8 + x1079 =L= 0; e260.. - b8 + x1080 =L= 0; e261.. - b8 + x1081 =L= 0; e262.. - b8 + x1082 =L= 0; e263.. - b8 + x1083 =L= 0; e264.. - b8 + x1084 =L= 0; e265.. - b8 + x1085 =L= 0; e266.. - b8 + x1086 =L= 0; e267.. - b8 + x1087 =L= 0; e268.. - b8 + x1088 =L= 0; e269.. - b8 + x1089 =L= 0; e270.. - b8 + x1090 =L= 0; e271.. - b8 + x1091 =L= 0; e272.. - b8 + x1092 =L= 0; e273.. - b8 + x1093 =L= 0; e274.. - b8 + x1094 =L= 0; e275.. - b8 + x1095 =L= 0; e276.. - b8 + x1096 =L= 0; e277.. - b8 + x1097 =L= 0; e278.. - b8 + x1098 =L= 0; e279.. - b8 + x1099 =L= 0; e280.. - b8 + x1100 =L= 0; e281.. - b8 + x1101 =L= 0; e282.. - b9 + x1102 =L= 0; e283.. - b9 + x1103 =L= 0; e284.. - b9 + x1104 =L= 0; e285.. - b9 + x1105 =L= 0; e286.. - b9 + x1106 =L= 0; e287.. - b9 + x1107 =L= 0; e288.. - b9 + x1108 =L= 0; e289.. - b9 + x1109 =L= 0; e290.. - b9 + x1110 =L= 0; e291.. - b9 + x1111 =L= 0; e292.. - b9 + x1112 =L= 0; e293.. - b9 + x1113 =L= 0; e294.. - b9 + x1114 =L= 0; e295.. - b9 + x1115 =L= 0; e296.. - b9 + x1116 =L= 0; e297.. - b9 + x1117 =L= 0; e298.. - b9 + x1118 =L= 0; e299.. - b9 + x1119 =L= 0; e300.. - b9 + x1120 =L= 0; e301.. - b9 + x1121 =L= 0; e302.. - b9 + x1122 =L= 0; e303.. - b9 + x1123 =L= 0; e304.. - b9 + x1124 =L= 0; e305.. - b9 + x1125 =L= 0; e306.. - b9 + x1126 =L= 0; e307.. - b9 + x1127 =L= 0; e308.. - b9 + x1128 =L= 0; e309.. - b9 + x1129 =L= 0; e310.. - b9 + x1130 =L= 0; e311.. - b9 + x1131 =L= 0; e312.. - b9 + x1132 =L= 0; e313.. - b9 + x1133 =L= 0; e314.. - b9 + x1134 =L= 0; e315.. - b9 + x1135 =L= 0; e316.. - b9 + x1136 =L= 0; e317.. - b9 + x1137 =L= 0; e318.. - b9 + x1138 =L= 0; e319.. - b9 + x1139 =L= 0; e320.. - b9 + x1140 =L= 0; e321.. - b9 + x1141 =L= 0; e322.. - b10 + x1142 =L= 0; e323.. - b10 + x1143 =L= 0; e324.. - b10 + x1144 =L= 0; e325.. - b10 + x1145 =L= 0; e326.. - b10 + x1146 =L= 0; e327.. - b10 + x1147 =L= 0; e328.. - b10 + x1148 =L= 0; e329.. - b10 + x1149 =L= 0; e330.. - b10 + x1150 =L= 0; e331.. - b10 + x1151 =L= 0; e332.. - b10 + x1152 =L= 0; e333.. - b10 + x1153 =L= 0; e334.. - b10 + x1154 =L= 0; e335.. - b10 + x1155 =L= 0; e336.. - b10 + x1156 =L= 0; e337.. - b10 + x1157 =L= 0; e338.. - b10 + x1158 =L= 0; e339.. - b10 + x1159 =L= 0; e340.. - b10 + x1160 =L= 0; e341.. - b10 + x1161 =L= 0; e342.. - b10 + x1162 =L= 0; e343.. - b10 + x1163 =L= 0; e344.. - b10 + x1164 =L= 0; e345.. - b10 + x1165 =L= 0; e346.. - b10 + x1166 =L= 0; e347.. - b10 + x1167 =L= 0; e348.. - b10 + x1168 =L= 0; e349.. - b10 + x1169 =L= 0; e350.. - b10 + x1170 =L= 0; e351.. - b10 + x1171 =L= 0; e352.. - b10 + x1172 =L= 0; e353.. - b10 + x1173 =L= 0; e354.. - b10 + x1174 =L= 0; e355.. - b10 + x1175 =L= 0; e356.. - b10 + x1176 =L= 0; e357.. - b10 + x1177 =L= 0; e358.. - b10 + x1178 =L= 0; e359.. - b10 + x1179 =L= 0; e360.. - b10 + x1180 =L= 0; e361.. - b10 + x1181 =L= 0; e362.. - b11 + x1182 =L= 0; e363.. - b11 + x1183 =L= 0; e364.. - b11 + x1184 =L= 0; e365.. - b11 + x1185 =L= 0; e366.. - b11 + x1186 =L= 0; e367.. - b11 + x1187 =L= 0; e368.. - b11 + x1188 =L= 0; e369.. - b11 + x1189 =L= 0; e370.. - b11 + x1190 =L= 0; e371.. - b11 + x1191 =L= 0; e372.. - b11 + x1192 =L= 0; e373.. - b11 + x1193 =L= 0; e374.. - b11 + x1194 =L= 0; e375.. - b11 + x1195 =L= 0; e376.. - b11 + x1196 =L= 0; e377.. - b11 + x1197 =L= 0; e378.. - b11 + x1198 =L= 0; e379.. - b11 + x1199 =L= 0; e380.. - b11 + x1200 =L= 0; e381.. - b11 + x1201 =L= 0; e382.. - b11 + x1202 =L= 0; e383.. - b11 + x1203 =L= 0; e384.. - b11 + x1204 =L= 0; e385.. - b11 + x1205 =L= 0; e386.. - b11 + x1206 =L= 0; e387.. - b11 + x1207 =L= 0; e388.. - b11 + x1208 =L= 0; e389.. - b11 + x1209 =L= 0; e390.. - b11 + x1210 =L= 0; e391.. - b11 + x1211 =L= 0; e392.. - b11 + x1212 =L= 0; e393.. - b11 + x1213 =L= 0; e394.. - b11 + x1214 =L= 0; e395.. - b11 + x1215 =L= 0; e396.. - b11 + x1216 =L= 0; e397.. - b11 + x1217 =L= 0; e398.. - b11 + x1218 =L= 0; e399.. - b11 + x1219 =L= 0; e400.. - b11 + x1220 =L= 0; e401.. - b11 + x1221 =L= 0; e402.. - b12 + x1222 =L= 0; e403.. - b12 + x1223 =L= 0; e404.. - b12 + x1224 =L= 0; e405.. - b12 + x1225 =L= 0; e406.. - b12 + x1226 =L= 0; e407.. - b12 + x1227 =L= 0; e408.. - b12 + x1228 =L= 0; e409.. - b12 + x1229 =L= 0; e410.. - b12 + x1230 =L= 0; e411.. - b12 + x1231 =L= 0; e412.. - b12 + x1232 =L= 0; e413.. - b12 + x1233 =L= 0; e414.. - b12 + x1234 =L= 0; e415.. - b12 + x1235 =L= 0; e416.. - b12 + x1236 =L= 0; e417.. - b12 + x1237 =L= 0; e418.. - b12 + x1238 =L= 0; e419.. - b12 + x1239 =L= 0; e420.. - b12 + x1240 =L= 0; e421.. - b12 + x1241 =L= 0; e422.. - b12 + x1242 =L= 0; e423.. - b12 + x1243 =L= 0; e424.. - b12 + x1244 =L= 0; e425.. - b12 + x1245 =L= 0; e426.. - b12 + x1246 =L= 0; e427.. - b12 + x1247 =L= 0; e428.. - b12 + x1248 =L= 0; e429.. - b12 + x1249 =L= 0; e430.. - b12 + x1250 =L= 0; e431.. - b12 + x1251 =L= 0; e432.. - b12 + x1252 =L= 0; e433.. - b12 + x1253 =L= 0; e434.. - b12 + x1254 =L= 0; e435.. - b12 + x1255 =L= 0; e436.. - b12 + x1256 =L= 0; e437.. - b12 + x1257 =L= 0; e438.. - b12 + x1258 =L= 0; e439.. - b12 + x1259 =L= 0; e440.. - b12 + x1260 =L= 0; e441.. - b12 + x1261 =L= 0; e442.. - b13 + x1262 =L= 0; e443.. - b13 + x1263 =L= 0; e444.. - b13 + x1264 =L= 0; e445.. - b13 + x1265 =L= 0; e446.. - b13 + x1266 =L= 0; e447.. - b13 + x1267 =L= 0; e448.. - b13 + x1268 =L= 0; e449.. - b13 + x1269 =L= 0; e450.. - b13 + x1270 =L= 0; e451.. - b13 + x1271 =L= 0; e452.. - b13 + x1272 =L= 0; e453.. - b13 + x1273 =L= 0; e454.. - b13 + x1274 =L= 0; e455.. - b13 + x1275 =L= 0; e456.. - b13 + x1276 =L= 0; e457.. - b13 + x1277 =L= 0; e458.. - b13 + x1278 =L= 0; e459.. - b13 + x1279 =L= 0; e460.. - b13 + x1280 =L= 0; e461.. - b13 + x1281 =L= 0; e462.. - b13 + x1282 =L= 0; e463.. - b13 + x1283 =L= 0; e464.. - b13 + x1284 =L= 0; e465.. - b13 + x1285 =L= 0; e466.. - b13 + x1286 =L= 0; e467.. - b13 + x1287 =L= 0; e468.. - b13 + x1288 =L= 0; e469.. - b13 + x1289 =L= 0; e470.. - b13 + x1290 =L= 0; e471.. - b13 + x1291 =L= 0; e472.. - b13 + x1292 =L= 0; e473.. - b13 + x1293 =L= 0; e474.. - b13 + x1294 =L= 0; e475.. - b13 + x1295 =L= 0; e476.. - b13 + x1296 =L= 0; e477.. - b13 + x1297 =L= 0; e478.. - b13 + x1298 =L= 0; e479.. - b13 + x1299 =L= 0; e480.. - b13 + x1300 =L= 0; e481.. - b13 + x1301 =L= 0; e482.. - b14 + x1302 =L= 0; e483.. - b14 + x1303 =L= 0; e484.. - b14 + x1304 =L= 0; e485.. - b14 + x1305 =L= 0; e486.. - b14 + x1306 =L= 0; e487.. - b14 + x1307 =L= 0; e488.. - b14 + x1308 =L= 0; e489.. - b14 + x1309 =L= 0; e490.. - b14 + x1310 =L= 0; e491.. - b14 + x1311 =L= 0; e492.. - b14 + x1312 =L= 0; e493.. - b14 + x1313 =L= 0; e494.. - b14 + x1314 =L= 0; e495.. - b14 + x1315 =L= 0; e496.. - b14 + x1316 =L= 0; e497.. - b14 + x1317 =L= 0; e498.. - b14 + x1318 =L= 0; e499.. - b14 + x1319 =L= 0; e500.. - b14 + x1320 =L= 0; e501.. - b14 + x1321 =L= 0; e502.. - b14 + x1322 =L= 0; e503.. - b14 + x1323 =L= 0; e504.. - b14 + x1324 =L= 0; e505.. - b14 + x1325 =L= 0; e506.. - b14 + x1326 =L= 0; e507.. - b14 + x1327 =L= 0; e508.. - b14 + x1328 =L= 0; e509.. - b14 + x1329 =L= 0; e510.. - b14 + x1330 =L= 0; e511.. - b14 + x1331 =L= 0; e512.. - b14 + x1332 =L= 0; e513.. - b14 + x1333 =L= 0; e514.. - b14 + x1334 =L= 0; e515.. - b14 + x1335 =L= 0; e516.. - b14 + x1336 =L= 0; e517.. - b14 + x1337 =L= 0; e518.. - b14 + x1338 =L= 0; e519.. - b14 + x1339 =L= 0; e520.. - b14 + x1340 =L= 0; e521.. - b14 + x1341 =L= 0; e522.. - b15 + x1342 =L= 0; e523.. - b15 + x1343 =L= 0; e524.. - b15 + x1344 =L= 0; e525.. - b15 + x1345 =L= 0; e526.. - b15 + x1346 =L= 0; e527.. - b15 + x1347 =L= 0; e528.. - b15 + x1348 =L= 0; e529.. - b15 + x1349 =L= 0; e530.. - b15 + x1350 =L= 0; e531.. - b15 + x1351 =L= 0; e532.. - b15 + x1352 =L= 0; e533.. - b15 + x1353 =L= 0; e534.. - b15 + x1354 =L= 0; e535.. - b15 + x1355 =L= 0; e536.. - b15 + x1356 =L= 0; e537.. - b15 + x1357 =L= 0; e538.. - b15 + x1358 =L= 0; e539.. - b15 + x1359 =L= 0; e540.. - b15 + x1360 =L= 0; e541.. - b15 + x1361 =L= 0; e542.. - b15 + x1362 =L= 0; e543.. - b15 + x1363 =L= 0; e544.. - b15 + x1364 =L= 0; e545.. - b15 + x1365 =L= 0; e546.. - b15 + x1366 =L= 0; e547.. - b15 + x1367 =L= 0; e548.. - b15 + x1368 =L= 0; e549.. - b15 + x1369 =L= 0; e550.. - b15 + x1370 =L= 0; e551.. - b15 + x1371 =L= 0; e552.. - b15 + x1372 =L= 0; e553.. - b15 + x1373 =L= 0; e554.. - b15 + x1374 =L= 0; e555.. - b15 + x1375 =L= 0; e556.. - b15 + x1376 =L= 0; e557.. - b15 + x1377 =L= 0; e558.. - b15 + x1378 =L= 0; e559.. - b15 + x1379 =L= 0; e560.. - b15 + x1380 =L= 0; e561.. - b15 + x1381 =L= 0; e562.. - b16 + x1382 =L= 0; e563.. - b16 + x1383 =L= 0; e564.. - b16 + x1384 =L= 0; e565.. - b16 + x1385 =L= 0; e566.. - b16 + x1386 =L= 0; e567.. - b16 + x1387 =L= 0; e568.. - b16 + x1388 =L= 0; e569.. - b16 + x1389 =L= 0; e570.. - b16 + x1390 =L= 0; e571.. - b16 + x1391 =L= 0; e572.. - b16 + x1392 =L= 0; e573.. - b16 + x1393 =L= 0; e574.. - b16 + x1394 =L= 0; e575.. - b16 + x1395 =L= 0; e576.. - b16 + x1396 =L= 0; e577.. - b16 + x1397 =L= 0; e578.. - b16 + x1398 =L= 0; e579.. - b16 + x1399 =L= 0; e580.. - b16 + x1400 =L= 0; e581.. - b16 + x1401 =L= 0; e582.. - b16 + x1402 =L= 0; e583.. - b16 + x1403 =L= 0; e584.. - b16 + x1404 =L= 0; e585.. - b16 + x1405 =L= 0; e586.. - b16 + x1406 =L= 0; e587.. - b16 + x1407 =L= 0; e588.. - b16 + x1408 =L= 0; e589.. - b16 + x1409 =L= 0; e590.. - b16 + x1410 =L= 0; e591.. - b16 + x1411 =L= 0; e592.. - b16 + x1412 =L= 0; e593.. - b16 + x1413 =L= 0; e594.. - b16 + x1414 =L= 0; e595.. - b16 + x1415 =L= 0; e596.. - b16 + x1416 =L= 0; e597.. - b16 + x1417 =L= 0; e598.. - b16 + x1418 =L= 0; e599.. - b16 + x1419 =L= 0; e600.. - b16 + x1420 =L= 0; e601.. - b16 + x1421 =L= 0; e602.. - b17 + x1422 =L= 0; e603.. - b17 + x1423 =L= 0; e604.. - b17 + x1424 =L= 0; e605.. - b17 + x1425 =L= 0; e606.. - b17 + x1426 =L= 0; e607.. - b17 + x1427 =L= 0; e608.. - b17 + x1428 =L= 0; e609.. - b17 + x1429 =L= 0; e610.. - b17 + x1430 =L= 0; e611.. - b17 + x1431 =L= 0; e612.. - b17 + x1432 =L= 0; e613.. - b17 + x1433 =L= 0; e614.. - b17 + x1434 =L= 0; e615.. - b17 + x1435 =L= 0; e616.. - b17 + x1436 =L= 0; e617.. - b17 + x1437 =L= 0; e618.. - b17 + x1438 =L= 0; e619.. - b17 + x1439 =L= 0; e620.. - b17 + x1440 =L= 0; e621.. - b17 + x1441 =L= 0; e622.. - b17 + x1442 =L= 0; e623.. - b17 + x1443 =L= 0; e624.. - b17 + x1444 =L= 0; e625.. - b17 + x1445 =L= 0; e626.. - b17 + x1446 =L= 0; e627.. - b17 + x1447 =L= 0; e628.. - b17 + x1448 =L= 0; e629.. - b17 + x1449 =L= 0; e630.. - b17 + x1450 =L= 0; e631.. - b17 + x1451 =L= 0; e632.. - b17 + x1452 =L= 0; e633.. - b17 + x1453 =L= 0; e634.. - b17 + x1454 =L= 0; e635.. - b17 + x1455 =L= 0; e636.. - b17 + x1456 =L= 0; e637.. - b17 + x1457 =L= 0; e638.. - b17 + x1458 =L= 0; e639.. - b17 + x1459 =L= 0; e640.. - b17 + x1460 =L= 0; e641.. - b17 + x1461 =L= 0; e642.. - b18 + x1462 =L= 0; e643.. - b18 + x1463 =L= 0; e644.. - b18 + x1464 =L= 0; e645.. - b18 + x1465 =L= 0; e646.. - b18 + x1466 =L= 0; e647.. - b18 + x1467 =L= 0; e648.. - b18 + x1468 =L= 0; e649.. - b18 + x1469 =L= 0; e650.. - b18 + x1470 =L= 0; e651.. - b18 + x1471 =L= 0; e652.. - b18 + x1472 =L= 0; e653.. - b18 + x1473 =L= 0; e654.. - b18 + x1474 =L= 0; e655.. - b18 + x1475 =L= 0; e656.. - b18 + x1476 =L= 0; e657.. - b18 + x1477 =L= 0; e658.. - b18 + x1478 =L= 0; e659.. - b18 + x1479 =L= 0; e660.. - b18 + x1480 =L= 0; e661.. - b18 + x1481 =L= 0; e662.. - b18 + x1482 =L= 0; e663.. - b18 + x1483 =L= 0; e664.. - b18 + x1484 =L= 0; e665.. - b18 + x1485 =L= 0; e666.. - b18 + x1486 =L= 0; e667.. - b18 + x1487 =L= 0; e668.. - b18 + x1488 =L= 0; e669.. - b18 + x1489 =L= 0; e670.. - b18 + x1490 =L= 0; e671.. - b18 + x1491 =L= 0; e672.. - b18 + x1492 =L= 0; e673.. - b18 + x1493 =L= 0; e674.. - b18 + x1494 =L= 0; e675.. - b18 + x1495 =L= 0; e676.. - b18 + x1496 =L= 0; e677.. - b18 + x1497 =L= 0; e678.. - b18 + x1498 =L= 0; e679.. - b18 + x1499 =L= 0; e680.. - b18 + x1500 =L= 0; e681.. - b18 + x1501 =L= 0; e682.. - b19 + x1502 =L= 0; e683.. - b19 + x1503 =L= 0; e684.. - b19 + x1504 =L= 0; e685.. - b19 + x1505 =L= 0; e686.. - b19 + x1506 =L= 0; e687.. - b19 + x1507 =L= 0; e688.. - b19 + x1508 =L= 0; e689.. - b19 + x1509 =L= 0; e690.. - b19 + x1510 =L= 0; e691.. - b19 + x1511 =L= 0; e692.. - b19 + x1512 =L= 0; e693.. - b19 + x1513 =L= 0; e694.. - b19 + x1514 =L= 0; e695.. - b19 + x1515 =L= 0; e696.. - b19 + x1516 =L= 0; e697.. - b19 + x1517 =L= 0; e698.. - b19 + x1518 =L= 0; e699.. - b19 + x1519 =L= 0; e700.. - b19 + x1520 =L= 0; e701.. - b19 + x1521 =L= 0; e702.. - b19 + x1522 =L= 0; e703.. - b19 + x1523 =L= 0; e704.. - b19 + x1524 =L= 0; e705.. - b19 + x1525 =L= 0; e706.. - b19 + x1526 =L= 0; e707.. - b19 + x1527 =L= 0; e708.. - b19 + x1528 =L= 0; e709.. - b19 + x1529 =L= 0; e710.. - b19 + x1530 =L= 0; e711.. - b19 + x1531 =L= 0; e712.. - b19 + x1532 =L= 0; e713.. - b19 + x1533 =L= 0; e714.. - b19 + x1534 =L= 0; e715.. - b19 + x1535 =L= 0; e716.. - b19 + x1536 =L= 0; e717.. - b19 + x1537 =L= 0; e718.. - b19 + x1538 =L= 0; e719.. - b19 + x1539 =L= 0; e720.. - b19 + x1540 =L= 0; e721.. - b19 + x1541 =L= 0; e722.. - b20 + x1542 =L= 0; e723.. - b20 + x1543 =L= 0; e724.. - b20 + x1544 =L= 0; e725.. - b20 + x1545 =L= 0; e726.. - b20 + x1546 =L= 0; e727.. - b20 + x1547 =L= 0; e728.. - b20 + x1548 =L= 0; e729.. - b20 + x1549 =L= 0; e730.. - b20 + x1550 =L= 0; e731.. - b20 + x1551 =L= 0; e732.. - b20 + x1552 =L= 0; e733.. - b20 + x1553 =L= 0; e734.. - b20 + x1554 =L= 0; e735.. - b20 + x1555 =L= 0; e736.. - b20 + x1556 =L= 0; e737.. - b20 + x1557 =L= 0; e738.. - b20 + x1558 =L= 0; e739.. - b20 + x1559 =L= 0; e740.. - b20 + x1560 =L= 0; e741.. - b20 + x1561 =L= 0; e742.. - b20 + x1562 =L= 0; e743.. - b20 + x1563 =L= 0; e744.. - b20 + x1564 =L= 0; e745.. - b20 + x1565 =L= 0; e746.. - b20 + x1566 =L= 0; e747.. - b20 + x1567 =L= 0; e748.. - b20 + x1568 =L= 0; e749.. - b20 + x1569 =L= 0; e750.. - b20 + x1570 =L= 0; e751.. - b20 + x1571 =L= 0; e752.. - b20 + x1572 =L= 0; e753.. - b20 + x1573 =L= 0; e754.. - b20 + x1574 =L= 0; e755.. - b20 + x1575 =L= 0; e756.. - b20 + x1576 =L= 0; e757.. - b20 + x1577 =L= 0; e758.. - b20 + x1578 =L= 0; e759.. - b20 + x1579 =L= 0; e760.. - b20 + x1580 =L= 0; e761.. - b20 + x1581 =L= 0; e762.. - b21 + x1582 =L= 0; e763.. - b21 + x1583 =L= 0; e764.. - b21 + x1584 =L= 0; e765.. - b21 + x1585 =L= 0; e766.. - b21 + x1586 =L= 0; e767.. - b21 + x1587 =L= 0; e768.. - b21 + x1588 =L= 0; e769.. - b21 + x1589 =L= 0; e770.. - b21 + x1590 =L= 0; e771.. - b21 + x1591 =L= 0; e772.. - b21 + x1592 =L= 0; e773.. - b21 + x1593 =L= 0; e774.. - b21 + x1594 =L= 0; e775.. - b21 + x1595 =L= 0; e776.. - b21 + x1596 =L= 0; e777.. - b21 + x1597 =L= 0; e778.. - b21 + x1598 =L= 0; e779.. - b21 + x1599 =L= 0; e780.. - b21 + x1600 =L= 0; e781.. - b21 + x1601 =L= 0; e782.. - b21 + x1602 =L= 0; e783.. - b21 + x1603 =L= 0; e784.. - b21 + x1604 =L= 0; e785.. - b21 + x1605 =L= 0; e786.. - b21 + x1606 =L= 0; e787.. - b21 + x1607 =L= 0; e788.. - b21 + x1608 =L= 0; e789.. - b21 + x1609 =L= 0; e790.. - b21 + x1610 =L= 0; e791.. - b21 + x1611 =L= 0; e792.. - b21 + x1612 =L= 0; e793.. - b21 + x1613 =L= 0; e794.. - b21 + x1614 =L= 0; e795.. - b21 + x1615 =L= 0; e796.. - b21 + x1616 =L= 0; e797.. - b21 + x1617 =L= 0; e798.. - b21 + x1618 =L= 0; e799.. - b21 + x1619 =L= 0; e800.. - b21 + x1620 =L= 0; e801.. - b21 + x1621 =L= 0; e802.. x822 + x862 + x902 + x942 + x982 + x1022 + x1062 + x1102 + x1142 + x1182 + x1222 + x1262 + x1302 + x1342 + x1382 + x1422 + x1462 + x1502 + x1542 + x1582 =E= 1; e803.. x823 + x863 + x903 + x943 + x983 + x1023 + x1063 + x1103 + x1143 + x1183 + x1223 + x1263 + x1303 + x1343 + x1383 + x1423 + x1463 + x1503 + x1543 + x1583 =E= 1; e804.. x824 + x864 + x904 + x944 + x984 + x1024 + x1064 + x1104 + x1144 + x1184 + x1224 + x1264 + x1304 + x1344 + x1384 + x1424 + x1464 + x1504 + x1544 + x1584 =E= 1; e805.. x825 + x865 + x905 + x945 + x985 + x1025 + x1065 + x1105 + x1145 + x1185 + x1225 + x1265 + x1305 + x1345 + x1385 + x1425 + x1465 + x1505 + x1545 + x1585 =E= 1; e806.. x826 + x866 + x906 + x946 + x986 + x1026 + x1066 + x1106 + x1146 + x1186 + x1226 + x1266 + x1306 + x1346 + x1386 + x1426 + x1466 + x1506 + x1546 + x1586 =E= 1; e807.. x827 + x867 + x907 + x947 + x987 + x1027 + x1067 + x1107 + x1147 + x1187 + x1227 + x1267 + x1307 + x1347 + x1387 + x1427 + x1467 + x1507 + x1547 + x1587 =E= 1; e808.. x828 + x868 + x908 + x948 + x988 + x1028 + x1068 + x1108 + x1148 + x1188 + x1228 + x1268 + x1308 + x1348 + x1388 + x1428 + x1468 + x1508 + x1548 + x1588 =E= 1; e809.. x829 + x869 + x909 + x949 + x989 + x1029 + x1069 + x1109 + x1149 + x1189 + x1229 + x1269 + x1309 + x1349 + x1389 + x1429 + x1469 + x1509 + x1549 + x1589 =E= 1; e810.. x830 + x870 + x910 + x950 + x990 + x1030 + x1070 + x1110 + x1150 + x1190 + x1230 + x1270 + x1310 + x1350 + x1390 + x1430 + x1470 + x1510 + x1550 + x1590 =E= 1; e811.. x831 + x871 + x911 + x951 + x991 + x1031 + x1071 + x1111 + x1151 + x1191 + x1231 + x1271 + x1311 + x1351 + x1391 + x1431 + x1471 + x1511 + x1551 + x1591 =E= 1; e812.. x832 + x872 + x912 + x952 + x992 + x1032 + x1072 + x1112 + x1152 + x1192 + x1232 + x1272 + x1312 + x1352 + x1392 + x1432 + x1472 + x1512 + x1552 + x1592 =E= 1; e813.. x833 + x873 + x913 + x953 + x993 + x1033 + x1073 + x1113 + x1153 + x1193 + x1233 + x1273 + x1313 + x1353 + x1393 + x1433 + x1473 + x1513 + x1553 + x1593 =E= 1; e814.. x834 + x874 + x914 + x954 + x994 + x1034 + x1074 + x1114 + x1154 + x1194 + x1234 + x1274 + x1314 + x1354 + x1394 + x1434 + x1474 + x1514 + x1554 + x1594 =E= 1; e815.. x835 + x875 + x915 + x955 + x995 + x1035 + x1075 + x1115 + x1155 + x1195 + x1235 + x1275 + x1315 + x1355 + x1395 + x1435 + x1475 + x1515 + x1555 + x1595 =E= 1; e816.. x836 + x876 + x916 + x956 + x996 + x1036 + x1076 + x1116 + x1156 + x1196 + x1236 + x1276 + x1316 + x1356 + x1396 + x1436 + x1476 + x1516 + x1556 + x1596 =E= 1; e817.. x837 + x877 + x917 + x957 + x997 + x1037 + x1077 + x1117 + x1157 + x1197 + x1237 + x1277 + x1317 + x1357 + x1397 + x1437 + x1477 + x1517 + x1557 + x1597 =E= 1; e818.. x838 + x878 + x918 + x958 + x998 + x1038 + x1078 + x1118 + x1158 + x1198 + x1238 + x1278 + x1318 + x1358 + x1398 + x1438 + x1478 + x1518 + x1558 + x1598 =E= 1; e819.. x839 + x879 + x919 + x959 + x999 + x1039 + x1079 + x1119 + x1159 + x1199 + x1239 + x1279 + x1319 + x1359 + x1399 + x1439 + x1479 + x1519 + x1559 + x1599 =E= 1; e820.. x840 + x880 + x920 + x960 + x1000 + x1040 + x1080 + x1120 + x1160 + x1200 + x1240 + x1280 + x1320 + x1360 + x1400 + x1440 + x1480 + x1520 + x1560 + x1600 =E= 1; e821.. x841 + x881 + x921 + x961 + x1001 + x1041 + x1081 + x1121 + x1161 + x1201 + x1241 + x1281 + x1321 + x1361 + x1401 + x1441 + x1481 + x1521 + x1561 + x1601 =E= 1; e822.. x842 + x882 + x922 + x962 + x1002 + x1042 + x1082 + x1122 + x1162 + x1202 + x1242 + x1282 + x1322 + x1362 + x1402 + x1442 + x1482 + x1522 + x1562 + x1602 =E= 1; e823.. x843 + x883 + x923 + x963 + x1003 + x1043 + x1083 + x1123 + x1163 + x1203 + x1243 + x1283 + x1323 + x1363 + x1403 + x1443 + x1483 + x1523 + x1563 + x1603 =E= 1; e824.. x844 + x884 + x924 + x964 + x1004 + x1044 + x1084 + x1124 + x1164 + x1204 + x1244 + x1284 + x1324 + x1364 + x1404 + x1444 + x1484 + x1524 + x1564 + x1604 =E= 1; e825.. x845 + x885 + x925 + x965 + x1005 + x1045 + x1085 + x1125 + x1165 + x1205 + x1245 + x1285 + x1325 + x1365 + x1405 + x1445 + x1485 + x1525 + x1565 + x1605 =E= 1; e826.. x846 + x886 + x926 + x966 + x1006 + x1046 + x1086 + x1126 + x1166 + x1206 + x1246 + x1286 + x1326 + x1366 + x1406 + x1446 + x1486 + x1526 + x1566 + x1606 =E= 1; e827.. x847 + x887 + x927 + x967 + x1007 + x1047 + x1087 + x1127 + x1167 + x1207 + x1247 + x1287 + x1327 + x1367 + x1407 + x1447 + x1487 + x1527 + x1567 + x1607 =E= 1; e828.. x848 + x888 + x928 + x968 + x1008 + x1048 + x1088 + x1128 + x1168 + x1208 + x1248 + x1288 + x1328 + x1368 + x1408 + x1448 + x1488 + x1528 + x1568 + x1608 =E= 1; e829.. x849 + x889 + x929 + x969 + x1009 + x1049 + x1089 + x1129 + x1169 + x1209 + x1249 + x1289 + x1329 + x1369 + x1409 + x1449 + x1489 + x1529 + x1569 + x1609 =E= 1; e830.. x850 + x890 + x930 + x970 + x1010 + x1050 + x1090 + x1130 + x1170 + x1210 + x1250 + x1290 + x1330 + x1370 + x1410 + x1450 + x1490 + x1530 + x1570 + x1610 =E= 1; e831.. x851 + x891 + x931 + x971 + x1011 + x1051 + x1091 + x1131 + x1171 + x1211 + x1251 + x1291 + x1331 + x1371 + x1411 + x1451 + x1491 + x1531 + x1571 + x1611 =E= 1; e832.. x852 + x892 + x932 + x972 + x1012 + x1052 + x1092 + x1132 + x1172 + x1212 + x1252 + x1292 + x1332 + x1372 + x1412 + x1452 + x1492 + x1532 + x1572 + x1612 =E= 1; e833.. x853 + x893 + x933 + x973 + x1013 + x1053 + x1093 + x1133 + x1173 + x1213 + x1253 + x1293 + x1333 + x1373 + x1413 + x1453 + x1493 + x1533 + x1573 + x1613 =E= 1; e834.. x854 + x894 + x934 + x974 + x1014 + x1054 + x1094 + x1134 + x1174 + x1214 + x1254 + x1294 + x1334 + x1374 + x1414 + x1454 + x1494 + x1534 + x1574 + x1614 =E= 1; e835.. x855 + x895 + x935 + x975 + x1015 + x1055 + x1095 + x1135 + x1175 + x1215 + x1255 + x1295 + x1335 + x1375 + x1415 + x1455 + x1495 + x1535 + x1575 + x1615 =E= 1; e836.. x856 + x896 + x936 + x976 + x1016 + x1056 + x1096 + x1136 + x1176 + x1216 + x1256 + x1296 + x1336 + x1376 + x1416 + x1456 + x1496 + x1536 + x1576 + x1616 =E= 1; e837.. x857 + x897 + x937 + x977 + x1017 + x1057 + x1097 + x1137 + x1177 + x1217 + x1257 + x1297 + x1337 + x1377 + x1417 + x1457 + x1497 + x1537 + x1577 + x1617 =E= 1; e838.. x858 + x898 + x938 + x978 + x1018 + x1058 + x1098 + x1138 + x1178 + x1218 + x1258 + x1298 + x1338 + x1378 + x1418 + x1458 + x1498 + x1538 + x1578 + x1618 =E= 1; e839.. x859 + x899 + x939 + x979 + x1019 + x1059 + x1099 + x1139 + x1179 + x1219 + x1259 + x1299 + x1339 + x1379 + x1419 + x1459 + x1499 + x1539 + x1579 + x1619 =E= 1; e840.. x860 + x900 + x940 + x980 + x1020 + x1060 + x1100 + x1140 + x1180 + x1220 + x1260 + x1300 + x1340 + x1380 + x1420 + x1460 + x1500 + x1540 + x1580 + x1620 =E= 1; e841.. x861 + x901 + x941 + x981 + x1021 + x1061 + x1101 + x1141 + x1181 + x1221 + x1261 + x1301 + x1341 + x1381 + x1421 + x1461 + x1501 + x1541 + x1581 + x1621 =E= 1; e842.. sqr(x822) - x22*b2 =L= 0; e843.. sqr(x823) - x23*b2 =L= 0; e844.. sqr(x824) - x24*b2 =L= 0; e845.. sqr(x825) - x25*b2 =L= 0; e846.. sqr(x826) - x26*b2 =L= 0; e847.. sqr(x827) - x27*b2 =L= 0; e848.. sqr(x828) - x28*b2 =L= 0; e849.. sqr(x829) - x29*b2 =L= 0; e850.. sqr(x830) - x30*b2 =L= 0; e851.. sqr(x831) - x31*b2 =L= 0; e852.. sqr(x832) - x32*b2 =L= 0; e853.. sqr(x833) - x33*b2 =L= 0; e854.. sqr(x834) - x34*b2 =L= 0; e855.. sqr(x835) - x35*b2 =L= 0; e856.. sqr(x836) - x36*b2 =L= 0; e857.. sqr(x837) - x37*b2 =L= 0; e858.. sqr(x838) - x38*b2 =L= 0; e859.. sqr(x839) - x39*b2 =L= 0; e860.. sqr(x840) - x40*b2 =L= 0; e861.. sqr(x841) - x41*b2 =L= 0; e862.. sqr(x842) - x42*b2 =L= 0; e863.. sqr(x843) - x43*b2 =L= 0; e864.. sqr(x844) - x44*b2 =L= 0; e865.. sqr(x845) - x45*b2 =L= 0; e866.. sqr(x846) - x46*b2 =L= 0; e867.. sqr(x847) - x47*b2 =L= 0; e868.. sqr(x848) - x48*b2 =L= 0; e869.. sqr(x849) - x49*b2 =L= 0; e870.. sqr(x850) - x50*b2 =L= 0; e871.. sqr(x851) - x51*b2 =L= 0; e872.. sqr(x852) - x52*b2 =L= 0; e873.. sqr(x853) - x53*b2 =L= 0; e874.. sqr(x854) - x54*b2 =L= 0; e875.. sqr(x855) - x55*b2 =L= 0; e876.. sqr(x856) - x56*b2 =L= 0; e877.. sqr(x857) - x57*b2 =L= 0; e878.. sqr(x858) - x58*b2 =L= 0; e879.. sqr(x859) - x59*b2 =L= 0; e880.. sqr(x860) - x60*b2 =L= 0; e881.. sqr(x861) - x61*b2 =L= 0; e882.. sqr(x862) - x62*b3 =L= 0; e883.. sqr(x863) - x63*b3 =L= 0; e884.. sqr(x864) - x64*b3 =L= 0; e885.. sqr(x865) - x65*b3 =L= 0; e886.. sqr(x866) - x66*b3 =L= 0; e887.. sqr(x867) - x67*b3 =L= 0; e888.. sqr(x868) - x68*b3 =L= 0; e889.. sqr(x869) - x69*b3 =L= 0; e890.. sqr(x870) - x70*b3 =L= 0; e891.. sqr(x871) - x71*b3 =L= 0; e892.. sqr(x872) - x72*b3 =L= 0; e893.. sqr(x873) - x73*b3 =L= 0; e894.. sqr(x874) - x74*b3 =L= 0; e895.. sqr(x875) - x75*b3 =L= 0; e896.. sqr(x876) - x76*b3 =L= 0; e897.. sqr(x877) - x77*b3 =L= 0; e898.. sqr(x878) - x78*b3 =L= 0; e899.. sqr(x879) - x79*b3 =L= 0; e900.. sqr(x880) - x80*b3 =L= 0; e901.. sqr(x881) - x81*b3 =L= 0; e902.. sqr(x882) - x82*b3 =L= 0; e903.. sqr(x883) - x83*b3 =L= 0; e904.. sqr(x884) - x84*b3 =L= 0; e905.. sqr(x885) - x85*b3 =L= 0; e906.. sqr(x886) - x86*b3 =L= 0; e907.. sqr(x887) - x87*b3 =L= 0; e908.. sqr(x888) - x88*b3 =L= 0; e909.. sqr(x889) - x89*b3 =L= 0; e910.. sqr(x890) - x90*b3 =L= 0; e911.. sqr(x891) - x91*b3 =L= 0; e912.. sqr(x892) - x92*b3 =L= 0; e913.. sqr(x893) - x93*b3 =L= 0; e914.. sqr(x894) - x94*b3 =L= 0; e915.. sqr(x895) - x95*b3 =L= 0; e916.. sqr(x896) - x96*b3 =L= 0; e917.. sqr(x897) - x97*b3 =L= 0; e918.. sqr(x898) - x98*b3 =L= 0; e919.. sqr(x899) - x99*b3 =L= 0; e920.. sqr(x900) - x100*b3 =L= 0; e921.. sqr(x901) - x101*b3 =L= 0; e922.. sqr(x902) - x102*b4 =L= 0; e923.. sqr(x903) - x103*b4 =L= 0; e924.. sqr(x904) - x104*b4 =L= 0; e925.. sqr(x905) - x105*b4 =L= 0; e926.. sqr(x906) - x106*b4 =L= 0; e927.. sqr(x907) - x107*b4 =L= 0; e928.. sqr(x908) - x108*b4 =L= 0; e929.. sqr(x909) - x109*b4 =L= 0; e930.. sqr(x910) - x110*b4 =L= 0; e931.. sqr(x911) - x111*b4 =L= 0; e932.. sqr(x912) - x112*b4 =L= 0; e933.. sqr(x913) - x113*b4 =L= 0; e934.. sqr(x914) - x114*b4 =L= 0; e935.. sqr(x915) - x115*b4 =L= 0; e936.. sqr(x916) - x116*b4 =L= 0; e937.. sqr(x917) - x117*b4 =L= 0; e938.. sqr(x918) - x118*b4 =L= 0; e939.. sqr(x919) - x119*b4 =L= 0; e940.. sqr(x920) - x120*b4 =L= 0; e941.. sqr(x921) - x121*b4 =L= 0; e942.. sqr(x922) - x122*b4 =L= 0; e943.. sqr(x923) - x123*b4 =L= 0; e944.. sqr(x924) - x124*b4 =L= 0; e945.. sqr(x925) - x125*b4 =L= 0; e946.. sqr(x926) - x126*b4 =L= 0; e947.. sqr(x927) - x127*b4 =L= 0; e948.. sqr(x928) - x128*b4 =L= 0; e949.. sqr(x929) - x129*b4 =L= 0; e950.. sqr(x930) - x130*b4 =L= 0; e951.. sqr(x931) - x131*b4 =L= 0; e952.. sqr(x932) - x132*b4 =L= 0; e953.. sqr(x933) - x133*b4 =L= 0; e954.. sqr(x934) - x134*b4 =L= 0; e955.. sqr(x935) - x135*b4 =L= 0; e956.. sqr(x936) - x136*b4 =L= 0; e957.. sqr(x937) - x137*b4 =L= 0; e958.. sqr(x938) - x138*b4 =L= 0; e959.. sqr(x939) - x139*b4 =L= 0; e960.. sqr(x940) - x140*b4 =L= 0; e961.. sqr(x941) - x141*b4 =L= 0; e962.. sqr(x942) - x142*b5 =L= 0; e963.. sqr(x943) - x143*b5 =L= 0; e964.. sqr(x944) - x144*b5 =L= 0; e965.. sqr(x945) - x145*b5 =L= 0; e966.. sqr(x946) - x146*b5 =L= 0; e967.. sqr(x947) - x147*b5 =L= 0; e968.. sqr(x948) - x148*b5 =L= 0; e969.. sqr(x949) - x149*b5 =L= 0; e970.. sqr(x950) - x150*b5 =L= 0; e971.. sqr(x951) - x151*b5 =L= 0; e972.. sqr(x952) - x152*b5 =L= 0; e973.. sqr(x953) - x153*b5 =L= 0; e974.. sqr(x954) - x154*b5 =L= 0; e975.. sqr(x955) - x155*b5 =L= 0; e976.. sqr(x956) - x156*b5 =L= 0; e977.. sqr(x957) - x157*b5 =L= 0; e978.. sqr(x958) - x158*b5 =L= 0; e979.. sqr(x959) - x159*b5 =L= 0; e980.. sqr(x960) - x160*b5 =L= 0; e981.. sqr(x961) - x161*b5 =L= 0; e982.. sqr(x962) - x162*b5 =L= 0; e983.. sqr(x963) - x163*b5 =L= 0; e984.. sqr(x964) - x164*b5 =L= 0; e985.. sqr(x965) - x165*b5 =L= 0; e986.. sqr(x966) - x166*b5 =L= 0; e987.. sqr(x967) - x167*b5 =L= 0; e988.. sqr(x968) - x168*b5 =L= 0; e989.. sqr(x969) - x169*b5 =L= 0; e990.. sqr(x970) - x170*b5 =L= 0; e991.. sqr(x971) - x171*b5 =L= 0; e992.. sqr(x972) - x172*b5 =L= 0; e993.. sqr(x973) - x173*b5 =L= 0; e994.. sqr(x974) - x174*b5 =L= 0; e995.. sqr(x975) - x175*b5 =L= 0; e996.. sqr(x976) - x176*b5 =L= 0; e997.. sqr(x977) - x177*b5 =L= 0; e998.. sqr(x978) - x178*b5 =L= 0; e999.. sqr(x979) - x179*b5 =L= 0; e1000.. sqr(x980) - x180*b5 =L= 0; e1001.. sqr(x981) - x181*b5 =L= 0; e1002.. sqr(x982) - x182*b6 =L= 0; e1003.. sqr(x983) - x183*b6 =L= 0; e1004.. sqr(x984) - x184*b6 =L= 0; e1005.. sqr(x985) - x185*b6 =L= 0; e1006.. sqr(x986) - x186*b6 =L= 0; e1007.. sqr(x987) - x187*b6 =L= 0; e1008.. sqr(x988) - x188*b6 =L= 0; e1009.. sqr(x989) - x189*b6 =L= 0; e1010.. sqr(x990) - x190*b6 =L= 0; e1011.. sqr(x991) - x191*b6 =L= 0; e1012.. sqr(x992) - x192*b6 =L= 0; e1013.. sqr(x993) - x193*b6 =L= 0; e1014.. sqr(x994) - x194*b6 =L= 0; e1015.. sqr(x995) - x195*b6 =L= 0; e1016.. sqr(x996) - x196*b6 =L= 0; e1017.. sqr(x997) - x197*b6 =L= 0; e1018.. sqr(x998) - x198*b6 =L= 0; e1019.. sqr(x999) - x199*b6 =L= 0; e1020.. sqr(x1000) - x200*b6 =L= 0; e1021.. sqr(x1001) - x201*b6 =L= 0; e1022.. sqr(x1002) - x202*b6 =L= 0; e1023.. sqr(x1003) - x203*b6 =L= 0; e1024.. sqr(x1004) - x204*b6 =L= 0; e1025.. sqr(x1005) - x205*b6 =L= 0; e1026.. sqr(x1006) - x206*b6 =L= 0; e1027.. sqr(x1007) - x207*b6 =L= 0; e1028.. sqr(x1008) - x208*b6 =L= 0; e1029.. sqr(x1009) - x209*b6 =L= 0; e1030.. sqr(x1010) - x210*b6 =L= 0; e1031.. sqr(x1011) - x211*b6 =L= 0; e1032.. sqr(x1012) - x212*b6 =L= 0; e1033.. sqr(x1013) - x213*b6 =L= 0; e1034.. sqr(x1014) - x214*b6 =L= 0; e1035.. sqr(x1015) - x215*b6 =L= 0; e1036.. sqr(x1016) - x216*b6 =L= 0; e1037.. sqr(x1017) - x217*b6 =L= 0; e1038.. sqr(x1018) - x218*b6 =L= 0; e1039.. sqr(x1019) - x219*b6 =L= 0; e1040.. sqr(x1020) - x220*b6 =L= 0; e1041.. sqr(x1021) - x221*b6 =L= 0; e1042.. sqr(x1022) - x222*b7 =L= 0; e1043.. sqr(x1023) - x223*b7 =L= 0; e1044.. sqr(x1024) - x224*b7 =L= 0; e1045.. sqr(x1025) - x225*b7 =L= 0; e1046.. sqr(x1026) - x226*b7 =L= 0; e1047.. sqr(x1027) - x227*b7 =L= 0; e1048.. sqr(x1028) - x228*b7 =L= 0; e1049.. sqr(x1029) - x229*b7 =L= 0; e1050.. sqr(x1030) - x230*b7 =L= 0; e1051.. sqr(x1031) - x231*b7 =L= 0; e1052.. sqr(x1032) - x232*b7 =L= 0; e1053.. sqr(x1033) - x233*b7 =L= 0; e1054.. sqr(x1034) - x234*b7 =L= 0; e1055.. sqr(x1035) - x235*b7 =L= 0; e1056.. sqr(x1036) - x236*b7 =L= 0; e1057.. sqr(x1037) - x237*b7 =L= 0; e1058.. sqr(x1038) - x238*b7 =L= 0; e1059.. sqr(x1039) - x239*b7 =L= 0; e1060.. sqr(x1040) - x240*b7 =L= 0; e1061.. sqr(x1041) - x241*b7 =L= 0; e1062.. sqr(x1042) - x242*b7 =L= 0; e1063.. sqr(x1043) - x243*b7 =L= 0; e1064.. sqr(x1044) - x244*b7 =L= 0; e1065.. sqr(x1045) - x245*b7 =L= 0; e1066.. sqr(x1046) - x246*b7 =L= 0; e1067.. sqr(x1047) - x247*b7 =L= 0; e1068.. sqr(x1048) - x248*b7 =L= 0; e1069.. sqr(x1049) - x249*b7 =L= 0; e1070.. sqr(x1050) - x250*b7 =L= 0; e1071.. sqr(x1051) - x251*b7 =L= 0; e1072.. sqr(x1052) - x252*b7 =L= 0; e1073.. sqr(x1053) - x253*b7 =L= 0; e1074.. sqr(x1054) - x254*b7 =L= 0; e1075.. sqr(x1055) - x255*b7 =L= 0; e1076.. sqr(x1056) - x256*b7 =L= 0; e1077.. sqr(x1057) - x257*b7 =L= 0; e1078.. sqr(x1058) - x258*b7 =L= 0; e1079.. sqr(x1059) - x259*b7 =L= 0; e1080.. sqr(x1060) - x260*b7 =L= 0; e1081.. sqr(x1061) - x261*b7 =L= 0; e1082.. sqr(x1062) - x262*b8 =L= 0; e1083.. sqr(x1063) - x263*b8 =L= 0; e1084.. sqr(x1064) - x264*b8 =L= 0; e1085.. sqr(x1065) - x265*b8 =L= 0; e1086.. sqr(x1066) - x266*b8 =L= 0; e1087.. sqr(x1067) - x267*b8 =L= 0; e1088.. sqr(x1068) - x268*b8 =L= 0; e1089.. sqr(x1069) - x269*b8 =L= 0; e1090.. sqr(x1070) - x270*b8 =L= 0; e1091.. sqr(x1071) - x271*b8 =L= 0; e1092.. sqr(x1072) - x272*b8 =L= 0; e1093.. sqr(x1073) - x273*b8 =L= 0; e1094.. sqr(x1074) - x274*b8 =L= 0; e1095.. sqr(x1075) - x275*b8 =L= 0; e1096.. sqr(x1076) - x276*b8 =L= 0; e1097.. sqr(x1077) - x277*b8 =L= 0; e1098.. sqr(x1078) - x278*b8 =L= 0; e1099.. sqr(x1079) - x279*b8 =L= 0; e1100.. sqr(x1080) - x280*b8 =L= 0; e1101.. sqr(x1081) - x281*b8 =L= 0; e1102.. sqr(x1082) - x282*b8 =L= 0; e1103.. sqr(x1083) - x283*b8 =L= 0; e1104.. sqr(x1084) - x284*b8 =L= 0; e1105.. sqr(x1085) - x285*b8 =L= 0; e1106.. sqr(x1086) - x286*b8 =L= 0; e1107.. sqr(x1087) - x287*b8 =L= 0; e1108.. sqr(x1088) - x288*b8 =L= 0; e1109.. sqr(x1089) - x289*b8 =L= 0; e1110.. sqr(x1090) - x290*b8 =L= 0; e1111.. sqr(x1091) - x291*b8 =L= 0; e1112.. sqr(x1092) - x292*b8 =L= 0; e1113.. sqr(x1093) - x293*b8 =L= 0; e1114.. sqr(x1094) - x294*b8 =L= 0; e1115.. sqr(x1095) - x295*b8 =L= 0; e1116.. sqr(x1096) - x296*b8 =L= 0; e1117.. sqr(x1097) - x297*b8 =L= 0; e1118.. sqr(x1098) - x298*b8 =L= 0; e1119.. sqr(x1099) - x299*b8 =L= 0; e1120.. sqr(x1100) - x300*b8 =L= 0; e1121.. sqr(x1101) - x301*b8 =L= 0; e1122.. sqr(x1102) - x302*b9 =L= 0; e1123.. sqr(x1103) - x303*b9 =L= 0; e1124.. sqr(x1104) - x304*b9 =L= 0; e1125.. sqr(x1105) - x305*b9 =L= 0; e1126.. sqr(x1106) - x306*b9 =L= 0; e1127.. sqr(x1107) - x307*b9 =L= 0; e1128.. sqr(x1108) - x308*b9 =L= 0; e1129.. sqr(x1109) - x309*b9 =L= 0; e1130.. sqr(x1110) - x310*b9 =L= 0; e1131.. sqr(x1111) - x311*b9 =L= 0; e1132.. sqr(x1112) - x312*b9 =L= 0; e1133.. sqr(x1113) - x313*b9 =L= 0; e1134.. sqr(x1114) - x314*b9 =L= 0; e1135.. sqr(x1115) - x315*b9 =L= 0; e1136.. sqr(x1116) - x316*b9 =L= 0; e1137.. sqr(x1117) - x317*b9 =L= 0; e1138.. sqr(x1118) - x318*b9 =L= 0; e1139.. sqr(x1119) - x319*b9 =L= 0; e1140.. sqr(x1120) - x320*b9 =L= 0; e1141.. sqr(x1121) - x321*b9 =L= 0; e1142.. sqr(x1122) - x322*b9 =L= 0; e1143.. sqr(x1123) - x323*b9 =L= 0; e1144.. sqr(x1124) - x324*b9 =L= 0; e1145.. sqr(x1125) - x325*b9 =L= 0; e1146.. sqr(x1126) - x326*b9 =L= 0; e1147.. sqr(x1127) - x327*b9 =L= 0; e1148.. sqr(x1128) - x328*b9 =L= 0; e1149.. sqr(x1129) - x329*b9 =L= 0; e1150.. sqr(x1130) - x330*b9 =L= 0; e1151.. sqr(x1131) - x331*b9 =L= 0; e1152.. sqr(x1132) - x332*b9 =L= 0; e1153.. sqr(x1133) - x333*b9 =L= 0; e1154.. sqr(x1134) - x334*b9 =L= 0; e1155.. sqr(x1135) - x335*b9 =L= 0; e1156.. sqr(x1136) - x336*b9 =L= 0; e1157.. sqr(x1137) - x337*b9 =L= 0; e1158.. sqr(x1138) - x338*b9 =L= 0; e1159.. sqr(x1139) - x339*b9 =L= 0; e1160.. sqr(x1140) - x340*b9 =L= 0; e1161.. sqr(x1141) - x341*b9 =L= 0; e1162.. sqr(x1142) - x342*b10 =L= 0; e1163.. sqr(x1143) - x343*b10 =L= 0; e1164.. sqr(x1144) - x344*b10 =L= 0; e1165.. sqr(x1145) - x345*b10 =L= 0; e1166.. sqr(x1146) - x346*b10 =L= 0; e1167.. sqr(x1147) - x347*b10 =L= 0; e1168.. sqr(x1148) - x348*b10 =L= 0; e1169.. sqr(x1149) - x349*b10 =L= 0; e1170.. sqr(x1150) - x350*b10 =L= 0; e1171.. sqr(x1151) - x351*b10 =L= 0; e1172.. sqr(x1152) - x352*b10 =L= 0; e1173.. sqr(x1153) - x353*b10 =L= 0; e1174.. sqr(x1154) - x354*b10 =L= 0; e1175.. sqr(x1155) - x355*b10 =L= 0; e1176.. sqr(x1156) - x356*b10 =L= 0; e1177.. sqr(x1157) - x357*b10 =L= 0; e1178.. sqr(x1158) - x358*b10 =L= 0; e1179.. sqr(x1159) - x359*b10 =L= 0; e1180.. sqr(x1160) - x360*b10 =L= 0; e1181.. sqr(x1161) - x361*b10 =L= 0; e1182.. sqr(x1162) - x362*b10 =L= 0; e1183.. sqr(x1163) - x363*b10 =L= 0; e1184.. sqr(x1164) - x364*b10 =L= 0; e1185.. sqr(x1165) - x365*b10 =L= 0; e1186.. sqr(x1166) - x366*b10 =L= 0; e1187.. sqr(x1167) - x367*b10 =L= 0; e1188.. sqr(x1168) - x368*b10 =L= 0; e1189.. sqr(x1169) - x369*b10 =L= 0; e1190.. sqr(x1170) - x370*b10 =L= 0; e1191.. sqr(x1171) - x371*b10 =L= 0; e1192.. sqr(x1172) - x372*b10 =L= 0; e1193.. sqr(x1173) - x373*b10 =L= 0; e1194.. sqr(x1174) - x374*b10 =L= 0; e1195.. sqr(x1175) - x375*b10 =L= 0; e1196.. sqr(x1176) - x376*b10 =L= 0; e1197.. sqr(x1177) - x377*b10 =L= 0; e1198.. sqr(x1178) - x378*b10 =L= 0; e1199.. sqr(x1179) - x379*b10 =L= 0; e1200.. sqr(x1180) - x380*b10 =L= 0; e1201.. sqr(x1181) - x381*b10 =L= 0; e1202.. sqr(x1182) - x382*b11 =L= 0; e1203.. sqr(x1183) - x383*b11 =L= 0; e1204.. sqr(x1184) - x384*b11 =L= 0; e1205.. sqr(x1185) - x385*b11 =L= 0; e1206.. sqr(x1186) - x386*b11 =L= 0; e1207.. sqr(x1187) - x387*b11 =L= 0; e1208.. sqr(x1188) - x388*b11 =L= 0; e1209.. sqr(x1189) - x389*b11 =L= 0; e1210.. sqr(x1190) - x390*b11 =L= 0; e1211.. sqr(x1191) - x391*b11 =L= 0; e1212.. sqr(x1192) - x392*b11 =L= 0; e1213.. sqr(x1193) - x393*b11 =L= 0; e1214.. sqr(x1194) - x394*b11 =L= 0; e1215.. sqr(x1195) - x395*b11 =L= 0; e1216.. sqr(x1196) - x396*b11 =L= 0; e1217.. sqr(x1197) - x397*b11 =L= 0; e1218.. sqr(x1198) - x398*b11 =L= 0; e1219.. sqr(x1199) - x399*b11 =L= 0; e1220.. sqr(x1200) - x400*b11 =L= 0; e1221.. sqr(x1201) - x401*b11 =L= 0; e1222.. sqr(x1202) - x402*b11 =L= 0; e1223.. sqr(x1203) - x403*b11 =L= 0; e1224.. sqr(x1204) - x404*b11 =L= 0; e1225.. sqr(x1205) - x405*b11 =L= 0; e1226.. sqr(x1206) - x406*b11 =L= 0; e1227.. sqr(x1207) - x407*b11 =L= 0; e1228.. sqr(x1208) - x408*b11 =L= 0; e1229.. sqr(x1209) - x409*b11 =L= 0; e1230.. sqr(x1210) - x410*b11 =L= 0; e1231.. sqr(x1211) - x411*b11 =L= 0; e1232.. sqr(x1212) - x412*b11 =L= 0; e1233.. sqr(x1213) - x413*b11 =L= 0; e1234.. sqr(x1214) - x414*b11 =L= 0; e1235.. sqr(x1215) - x415*b11 =L= 0; e1236.. sqr(x1216) - x416*b11 =L= 0; e1237.. sqr(x1217) - x417*b11 =L= 0; e1238.. sqr(x1218) - x418*b11 =L= 0; e1239.. sqr(x1219) - x419*b11 =L= 0; e1240.. sqr(x1220) - x420*b11 =L= 0; e1241.. sqr(x1221) - x421*b11 =L= 0; e1242.. sqr(x1222) - x422*b12 =L= 0; e1243.. sqr(x1223) - x423*b12 =L= 0; e1244.. sqr(x1224) - x424*b12 =L= 0; e1245.. sqr(x1225) - x425*b12 =L= 0; e1246.. sqr(x1226) - x426*b12 =L= 0; e1247.. sqr(x1227) - x427*b12 =L= 0; e1248.. sqr(x1228) - x428*b12 =L= 0; e1249.. sqr(x1229) - x429*b12 =L= 0; e1250.. sqr(x1230) - x430*b12 =L= 0; e1251.. sqr(x1231) - x431*b12 =L= 0; e1252.. sqr(x1232) - x432*b12 =L= 0; e1253.. sqr(x1233) - x433*b12 =L= 0; e1254.. sqr(x1234) - x434*b12 =L= 0; e1255.. sqr(x1235) - x435*b12 =L= 0; e1256.. sqr(x1236) - x436*b12 =L= 0; e1257.. sqr(x1237) - x437*b12 =L= 0; e1258.. sqr(x1238) - x438*b12 =L= 0; e1259.. sqr(x1239) - x439*b12 =L= 0; e1260.. sqr(x1240) - x440*b12 =L= 0; e1261.. sqr(x1241) - x441*b12 =L= 0; e1262.. sqr(x1242) - x442*b12 =L= 0; e1263.. sqr(x1243) - x443*b12 =L= 0; e1264.. sqr(x1244) - x444*b12 =L= 0; e1265.. sqr(x1245) - x445*b12 =L= 0; e1266.. sqr(x1246) - x446*b12 =L= 0; e1267.. sqr(x1247) - x447*b12 =L= 0; e1268.. sqr(x1248) - x448*b12 =L= 0; e1269.. sqr(x1249) - x449*b12 =L= 0; e1270.. sqr(x1250) - x450*b12 =L= 0; e1271.. sqr(x1251) - x451*b12 =L= 0; e1272.. sqr(x1252) - x452*b12 =L= 0; e1273.. sqr(x1253) - x453*b12 =L= 0; e1274.. sqr(x1254) - x454*b12 =L= 0; e1275.. sqr(x1255) - x455*b12 =L= 0; e1276.. sqr(x1256) - x456*b12 =L= 0; e1277.. sqr(x1257) - x457*b12 =L= 0; e1278.. sqr(x1258) - x458*b12 =L= 0; e1279.. sqr(x1259) - x459*b12 =L= 0; e1280.. sqr(x1260) - x460*b12 =L= 0; e1281.. sqr(x1261) - x461*b12 =L= 0; e1282.. sqr(x1262) - x462*b13 =L= 0; e1283.. sqr(x1263) - x463*b13 =L= 0; e1284.. sqr(x1264) - x464*b13 =L= 0; e1285.. sqr(x1265) - x465*b13 =L= 0; e1286.. sqr(x1266) - x466*b13 =L= 0; e1287.. sqr(x1267) - x467*b13 =L= 0; e1288.. sqr(x1268) - x468*b13 =L= 0; e1289.. sqr(x1269) - x469*b13 =L= 0; e1290.. sqr(x1270) - x470*b13 =L= 0; e1291.. sqr(x1271) - x471*b13 =L= 0; e1292.. sqr(x1272) - x472*b13 =L= 0; e1293.. sqr(x1273) - x473*b13 =L= 0; e1294.. sqr(x1274) - x474*b13 =L= 0; e1295.. sqr(x1275) - x475*b13 =L= 0; e1296.. sqr(x1276) - x476*b13 =L= 0; e1297.. sqr(x1277) - x477*b13 =L= 0; e1298.. sqr(x1278) - x478*b13 =L= 0; e1299.. sqr(x1279) - x479*b13 =L= 0; e1300.. sqr(x1280) - x480*b13 =L= 0; e1301.. sqr(x1281) - x481*b13 =L= 0; e1302.. sqr(x1282) - x482*b13 =L= 0; e1303.. sqr(x1283) - x483*b13 =L= 0; e1304.. sqr(x1284) - x484*b13 =L= 0; e1305.. sqr(x1285) - x485*b13 =L= 0; e1306.. sqr(x1286) - x486*b13 =L= 0; e1307.. sqr(x1287) - x487*b13 =L= 0; e1308.. sqr(x1288) - x488*b13 =L= 0; e1309.. sqr(x1289) - x489*b13 =L= 0; e1310.. sqr(x1290) - x490*b13 =L= 0; e1311.. sqr(x1291) - x491*b13 =L= 0; e1312.. sqr(x1292) - x492*b13 =L= 0; e1313.. sqr(x1293) - x493*b13 =L= 0; e1314.. sqr(x1294) - x494*b13 =L= 0; e1315.. sqr(x1295) - x495*b13 =L= 0; e1316.. sqr(x1296) - x496*b13 =L= 0; e1317.. sqr(x1297) - x497*b13 =L= 0; e1318.. sqr(x1298) - x498*b13 =L= 0; e1319.. sqr(x1299) - x499*b13 =L= 0; e1320.. sqr(x1300) - x500*b13 =L= 0; e1321.. sqr(x1301) - x501*b13 =L= 0; e1322.. sqr(x1302) - x502*b14 =L= 0; e1323.. sqr(x1303) - x503*b14 =L= 0; e1324.. sqr(x1304) - x504*b14 =L= 0; e1325.. sqr(x1305) - x505*b14 =L= 0; e1326.. sqr(x1306) - x506*b14 =L= 0; e1327.. sqr(x1307) - x507*b14 =L= 0; e1328.. sqr(x1308) - x508*b14 =L= 0; e1329.. sqr(x1309) - x509*b14 =L= 0; e1330.. sqr(x1310) - x510*b14 =L= 0; e1331.. sqr(x1311) - x511*b14 =L= 0; e1332.. sqr(x1312) - x512*b14 =L= 0; e1333.. sqr(x1313) - x513*b14 =L= 0; e1334.. sqr(x1314) - x514*b14 =L= 0; e1335.. sqr(x1315) - x515*b14 =L= 0; e1336.. sqr(x1316) - x516*b14 =L= 0; e1337.. sqr(x1317) - x517*b14 =L= 0; e1338.. sqr(x1318) - x518*b14 =L= 0; e1339.. sqr(x1319) - x519*b14 =L= 0; e1340.. sqr(x1320) - x520*b14 =L= 0; e1341.. sqr(x1321) - x521*b14 =L= 0; e1342.. sqr(x1322) - x522*b14 =L= 0; e1343.. sqr(x1323) - x523*b14 =L= 0; e1344.. sqr(x1324) - x524*b14 =L= 0; e1345.. sqr(x1325) - x525*b14 =L= 0; e1346.. sqr(x1326) - x526*b14 =L= 0; e1347.. sqr(x1327) - x527*b14 =L= 0; e1348.. sqr(x1328) - x528*b14 =L= 0; e1349.. sqr(x1329) - x529*b14 =L= 0; e1350.. sqr(x1330) - x530*b14 =L= 0; e1351.. sqr(x1331) - x531*b14 =L= 0; e1352.. sqr(x1332) - x532*b14 =L= 0; e1353.. sqr(x1333) - x533*b14 =L= 0; e1354.. sqr(x1334) - x534*b14 =L= 0; e1355.. sqr(x1335) - x535*b14 =L= 0; e1356.. sqr(x1336) - x536*b14 =L= 0; e1357.. sqr(x1337) - x537*b14 =L= 0; e1358.. sqr(x1338) - x538*b14 =L= 0; e1359.. sqr(x1339) - x539*b14 =L= 0; e1360.. sqr(x1340) - x540*b14 =L= 0; e1361.. sqr(x1341) - x541*b14 =L= 0; e1362.. sqr(x1342) - x542*b15 =L= 0; e1363.. sqr(x1343) - x543*b15 =L= 0; e1364.. sqr(x1344) - x544*b15 =L= 0; e1365.. sqr(x1345) - x545*b15 =L= 0; e1366.. sqr(x1346) - x546*b15 =L= 0; e1367.. sqr(x1347) - x547*b15 =L= 0; e1368.. sqr(x1348) - x548*b15 =L= 0; e1369.. sqr(x1349) - x549*b15 =L= 0; e1370.. sqr(x1350) - x550*b15 =L= 0; e1371.. sqr(x1351) - x551*b15 =L= 0; e1372.. sqr(x1352) - x552*b15 =L= 0; e1373.. sqr(x1353) - x553*b15 =L= 0; e1374.. sqr(x1354) - x554*b15 =L= 0; e1375.. sqr(x1355) - x555*b15 =L= 0; e1376.. sqr(x1356) - x556*b15 =L= 0; e1377.. sqr(x1357) - x557*b15 =L= 0; e1378.. sqr(x1358) - x558*b15 =L= 0; e1379.. sqr(x1359) - x559*b15 =L= 0; e1380.. sqr(x1360) - x560*b15 =L= 0; e1381.. sqr(x1361) - x561*b15 =L= 0; e1382.. sqr(x1362) - x562*b15 =L= 0; e1383.. sqr(x1363) - x563*b15 =L= 0; e1384.. sqr(x1364) - x564*b15 =L= 0; e1385.. sqr(x1365) - x565*b15 =L= 0; e1386.. sqr(x1366) - x566*b15 =L= 0; e1387.. sqr(x1367) - x567*b15 =L= 0; e1388.. sqr(x1368) - x568*b15 =L= 0; e1389.. sqr(x1369) - x569*b15 =L= 0; e1390.. sqr(x1370) - x570*b15 =L= 0; e1391.. sqr(x1371) - x571*b15 =L= 0; e1392.. sqr(x1372) - x572*b15 =L= 0; e1393.. sqr(x1373) - x573*b15 =L= 0; e1394.. sqr(x1374) - x574*b15 =L= 0; e1395.. sqr(x1375) - x575*b15 =L= 0; e1396.. sqr(x1376) - x576*b15 =L= 0; e1397.. sqr(x1377) - x577*b15 =L= 0; e1398.. sqr(x1378) - x578*b15 =L= 0; e1399.. sqr(x1379) - x579*b15 =L= 0; e1400.. sqr(x1380) - x580*b15 =L= 0; e1401.. sqr(x1381) - x581*b15 =L= 0; e1402.. sqr(x1382) - x582*b16 =L= 0; e1403.. sqr(x1383) - x583*b16 =L= 0; e1404.. sqr(x1384) - x584*b16 =L= 0; e1405.. sqr(x1385) - x585*b16 =L= 0; e1406.. sqr(x1386) - x586*b16 =L= 0; e1407.. sqr(x1387) - x587*b16 =L= 0; e1408.. sqr(x1388) - x588*b16 =L= 0; e1409.. sqr(x1389) - x589*b16 =L= 0; e1410.. sqr(x1390) - x590*b16 =L= 0; e1411.. sqr(x1391) - x591*b16 =L= 0; e1412.. sqr(x1392) - x592*b16 =L= 0; e1413.. sqr(x1393) - x593*b16 =L= 0; e1414.. sqr(x1394) - x594*b16 =L= 0; e1415.. sqr(x1395) - x595*b16 =L= 0; e1416.. sqr(x1396) - x596*b16 =L= 0; e1417.. sqr(x1397) - x597*b16 =L= 0; e1418.. sqr(x1398) - x598*b16 =L= 0; e1419.. sqr(x1399) - x599*b16 =L= 0; e1420.. sqr(x1400) - x600*b16 =L= 0; e1421.. sqr(x1401) - x601*b16 =L= 0; e1422.. sqr(x1402) - x602*b16 =L= 0; e1423.. sqr(x1403) - x603*b16 =L= 0; e1424.. sqr(x1404) - x604*b16 =L= 0; e1425.. sqr(x1405) - x605*b16 =L= 0; e1426.. sqr(x1406) - x606*b16 =L= 0; e1427.. sqr(x1407) - x607*b16 =L= 0; e1428.. sqr(x1408) - x608*b16 =L= 0; e1429.. sqr(x1409) - x609*b16 =L= 0; e1430.. sqr(x1410) - x610*b16 =L= 0; e1431.. sqr(x1411) - x611*b16 =L= 0; e1432.. sqr(x1412) - x612*b16 =L= 0; e1433.. sqr(x1413) - x613*b16 =L= 0; e1434.. sqr(x1414) - x614*b16 =L= 0; e1435.. sqr(x1415) - x615*b16 =L= 0; e1436.. sqr(x1416) - x616*b16 =L= 0; e1437.. sqr(x1417) - x617*b16 =L= 0; e1438.. sqr(x1418) - x618*b16 =L= 0; e1439.. sqr(x1419) - x619*b16 =L= 0; e1440.. sqr(x1420) - x620*b16 =L= 0; e1441.. sqr(x1421) - x621*b16 =L= 0; e1442.. sqr(x1422) - x622*b17 =L= 0; e1443.. sqr(x1423) - x623*b17 =L= 0; e1444.. sqr(x1424) - x624*b17 =L= 0; e1445.. sqr(x1425) - x625*b17 =L= 0; e1446.. sqr(x1426) - x626*b17 =L= 0; e1447.. sqr(x1427) - x627*b17 =L= 0; e1448.. sqr(x1428) - x628*b17 =L= 0; e1449.. sqr(x1429) - x629*b17 =L= 0; e1450.. sqr(x1430) - x630*b17 =L= 0; e1451.. sqr(x1431) - x631*b17 =L= 0; e1452.. sqr(x1432) - x632*b17 =L= 0; e1453.. sqr(x1433) - x633*b17 =L= 0; e1454.. sqr(x1434) - x634*b17 =L= 0; e1455.. sqr(x1435) - x635*b17 =L= 0; e1456.. sqr(x1436) - x636*b17 =L= 0; e1457.. sqr(x1437) - x637*b17 =L= 0; e1458.. sqr(x1438) - x638*b17 =L= 0; e1459.. sqr(x1439) - x639*b17 =L= 0; e1460.. sqr(x1440) - x640*b17 =L= 0; e1461.. sqr(x1441) - x641*b17 =L= 0; e1462.. sqr(x1442) - x642*b17 =L= 0; e1463.. sqr(x1443) - x643*b17 =L= 0; e1464.. sqr(x1444) - x644*b17 =L= 0; e1465.. sqr(x1445) - x645*b17 =L= 0; e1466.. sqr(x1446) - x646*b17 =L= 0; e1467.. sqr(x1447) - x647*b17 =L= 0; e1468.. sqr(x1448) - x648*b17 =L= 0; e1469.. sqr(x1449) - x649*b17 =L= 0; e1470.. sqr(x1450) - x650*b17 =L= 0; e1471.. sqr(x1451) - x651*b17 =L= 0; e1472.. sqr(x1452) - x652*b17 =L= 0; e1473.. sqr(x1453) - x653*b17 =L= 0; e1474.. sqr(x1454) - x654*b17 =L= 0; e1475.. sqr(x1455) - x655*b17 =L= 0; e1476.. sqr(x1456) - x656*b17 =L= 0; e1477.. sqr(x1457) - x657*b17 =L= 0; e1478.. sqr(x1458) - x658*b17 =L= 0; e1479.. sqr(x1459) - x659*b17 =L= 0; e1480.. sqr(x1460) - x660*b17 =L= 0; e1481.. sqr(x1461) - x661*b17 =L= 0; e1482.. sqr(x1462) - x662*b18 =L= 0; e1483.. sqr(x1463) - x663*b18 =L= 0; e1484.. sqr(x1464) - x664*b18 =L= 0; e1485.. sqr(x1465) - x665*b18 =L= 0; e1486.. sqr(x1466) - x666*b18 =L= 0; e1487.. sqr(x1467) - x667*b18 =L= 0; e1488.. sqr(x1468) - x668*b18 =L= 0; e1489.. sqr(x1469) - x669*b18 =L= 0; e1490.. sqr(x1470) - x670*b18 =L= 0; e1491.. sqr(x1471) - x671*b18 =L= 0; e1492.. sqr(x1472) - x672*b18 =L= 0; e1493.. sqr(x1473) - x673*b18 =L= 0; e1494.. sqr(x1474) - x674*b18 =L= 0; e1495.. sqr(x1475) - x675*b18 =L= 0; e1496.. sqr(x1476) - x676*b18 =L= 0; e1497.. sqr(x1477) - x677*b18 =L= 0; e1498.. sqr(x1478) - x678*b18 =L= 0; e1499.. sqr(x1479) - x679*b18 =L= 0; e1500.. sqr(x1480) - x680*b18 =L= 0; e1501.. sqr(x1481) - x681*b18 =L= 0; e1502.. sqr(x1482) - x682*b18 =L= 0; e1503.. sqr(x1483) - x683*b18 =L= 0; e1504.. sqr(x1484) - x684*b18 =L= 0; e1505.. sqr(x1485) - x685*b18 =L= 0; e1506.. sqr(x1486) - x686*b18 =L= 0; e1507.. sqr(x1487) - x687*b18 =L= 0; e1508.. sqr(x1488) - x688*b18 =L= 0; e1509.. sqr(x1489) - x689*b18 =L= 0; e1510.. sqr(x1490) - x690*b18 =L= 0; e1511.. sqr(x1491) - x691*b18 =L= 0; e1512.. sqr(x1492) - x692*b18 =L= 0; e1513.. sqr(x1493) - x693*b18 =L= 0; e1514.. sqr(x1494) - x694*b18 =L= 0; e1515.. sqr(x1495) - x695*b18 =L= 0; e1516.. sqr(x1496) - x696*b18 =L= 0; e1517.. sqr(x1497) - x697*b18 =L= 0; e1518.. sqr(x1498) - x698*b18 =L= 0; e1519.. sqr(x1499) - x699*b18 =L= 0; e1520.. sqr(x1500) - x700*b18 =L= 0; e1521.. sqr(x1501) - x701*b18 =L= 0; e1522.. sqr(x1502) - x702*b19 =L= 0; e1523.. sqr(x1503) - x703*b19 =L= 0; e1524.. sqr(x1504) - x704*b19 =L= 0; e1525.. sqr(x1505) - x705*b19 =L= 0; e1526.. sqr(x1506) - x706*b19 =L= 0; e1527.. sqr(x1507) - x707*b19 =L= 0; e1528.. sqr(x1508) - x708*b19 =L= 0; e1529.. sqr(x1509) - x709*b19 =L= 0; e1530.. sqr(x1510) - x710*b19 =L= 0; e1531.. sqr(x1511) - x711*b19 =L= 0; e1532.. sqr(x1512) - x712*b19 =L= 0; e1533.. sqr(x1513) - x713*b19 =L= 0; e1534.. sqr(x1514) - x714*b19 =L= 0; e1535.. sqr(x1515) - x715*b19 =L= 0; e1536.. sqr(x1516) - x716*b19 =L= 0; e1537.. sqr(x1517) - x717*b19 =L= 0; e1538.. sqr(x1518) - x718*b19 =L= 0; e1539.. sqr(x1519) - x719*b19 =L= 0; e1540.. sqr(x1520) - x720*b19 =L= 0; e1541.. sqr(x1521) - x721*b19 =L= 0; e1542.. sqr(x1522) - x722*b19 =L= 0; e1543.. sqr(x1523) - x723*b19 =L= 0; e1544.. sqr(x1524) - x724*b19 =L= 0; e1545.. sqr(x1525) - x725*b19 =L= 0; e1546.. sqr(x1526) - x726*b19 =L= 0; e1547.. sqr(x1527) - x727*b19 =L= 0; e1548.. sqr(x1528) - x728*b19 =L= 0; e1549.. sqr(x1529) - x729*b19 =L= 0; e1550.. sqr(x1530) - x730*b19 =L= 0; e1551.. sqr(x1531) - x731*b19 =L= 0; e1552.. sqr(x1532) - x732*b19 =L= 0; e1553.. sqr(x1533) - x733*b19 =L= 0; e1554.. sqr(x1534) - x734*b19 =L= 0; e1555.. sqr(x1535) - x735*b19 =L= 0; e1556.. sqr(x1536) - x736*b19 =L= 0; e1557.. sqr(x1537) - x737*b19 =L= 0; e1558.. sqr(x1538) - x738*b19 =L= 0; e1559.. sqr(x1539) - x739*b19 =L= 0; e1560.. sqr(x1540) - x740*b19 =L= 0; e1561.. sqr(x1541) - x741*b19 =L= 0; e1562.. sqr(x1542) - x742*b20 =L= 0; e1563.. sqr(x1543) - x743*b20 =L= 0; e1564.. sqr(x1544) - x744*b20 =L= 0; e1565.. sqr(x1545) - x745*b20 =L= 0; e1566.. sqr(x1546) - x746*b20 =L= 0; e1567.. sqr(x1547) - x747*b20 =L= 0; e1568.. sqr(x1548) - x748*b20 =L= 0; e1569.. sqr(x1549) - x749*b20 =L= 0; e1570.. sqr(x1550) - x750*b20 =L= 0; e1571.. sqr(x1551) - x751*b20 =L= 0; e1572.. sqr(x1552) - x752*b20 =L= 0; e1573.. sqr(x1553) - x753*b20 =L= 0; e1574.. sqr(x1554) - x754*b20 =L= 0; e1575.. sqr(x1555) - x755*b20 =L= 0; e1576.. sqr(x1556) - x756*b20 =L= 0; e1577.. sqr(x1557) - x757*b20 =L= 0; e1578.. sqr(x1558) - x758*b20 =L= 0; e1579.. sqr(x1559) - x759*b20 =L= 0; e1580.. sqr(x1560) - x760*b20 =L= 0; e1581.. sqr(x1561) - x761*b20 =L= 0; e1582.. sqr(x1562) - x762*b20 =L= 0; e1583.. sqr(x1563) - x763*b20 =L= 0; e1584.. sqr(x1564) - x764*b20 =L= 0; e1585.. sqr(x1565) - x765*b20 =L= 0; e1586.. sqr(x1566) - x766*b20 =L= 0; e1587.. sqr(x1567) - x767*b20 =L= 0; e1588.. sqr(x1568) - x768*b20 =L= 0; e1589.. sqr(x1569) - x769*b20 =L= 0; e1590.. sqr(x1570) - x770*b20 =L= 0; e1591.. sqr(x1571) - x771*b20 =L= 0; e1592.. sqr(x1572) - x772*b20 =L= 0; e1593.. sqr(x1573) - x773*b20 =L= 0; e1594.. sqr(x1574) - x774*b20 =L= 0; e1595.. sqr(x1575) - x775*b20 =L= 0; e1596.. sqr(x1576) - x776*b20 =L= 0; e1597.. sqr(x1577) - x777*b20 =L= 0; e1598.. sqr(x1578) - x778*b20 =L= 0; e1599.. sqr(x1579) - x779*b20 =L= 0; e1600.. sqr(x1580) - x780*b20 =L= 0; e1601.. sqr(x1581) - x781*b20 =L= 0; e1602.. sqr(x1582) - x782*b21 =L= 0; e1603.. sqr(x1583) - x783*b21 =L= 0; e1604.. sqr(x1584) - x784*b21 =L= 0; e1605.. sqr(x1585) - x785*b21 =L= 0; e1606.. sqr(x1586) - x786*b21 =L= 0; e1607.. sqr(x1587) - x787*b21 =L= 0; e1608.. sqr(x1588) - x788*b21 =L= 0; e1609.. sqr(x1589) - x789*b21 =L= 0; e1610.. sqr(x1590) - x790*b21 =L= 0; e1611.. sqr(x1591) - x791*b21 =L= 0; e1612.. sqr(x1592) - x792*b21 =L= 0; e1613.. sqr(x1593) - x793*b21 =L= 0; e1614.. sqr(x1594) - x794*b21 =L= 0; e1615.. sqr(x1595) - x795*b21 =L= 0; e1616.. sqr(x1596) - x796*b21 =L= 0; e1617.. sqr(x1597) - x797*b21 =L= 0; e1618.. sqr(x1598) - x798*b21 =L= 0; e1619.. sqr(x1599) - x799*b21 =L= 0; e1620.. sqr(x1600) - x800*b21 =L= 0; e1621.. sqr(x1601) - x801*b21 =L= 0; e1622.. sqr(x1602) - x802*b21 =L= 0; e1623.. sqr(x1603) - x803*b21 =L= 0; e1624.. sqr(x1604) - x804*b21 =L= 0; e1625.. sqr(x1605) - x805*b21 =L= 0; e1626.. sqr(x1606) - x806*b21 =L= 0; e1627.. sqr(x1607) - x807*b21 =L= 0; e1628.. sqr(x1608) - x808*b21 =L= 0; e1629.. sqr(x1609) - x809*b21 =L= 0; e1630.. sqr(x1610) - x810*b21 =L= 0; e1631.. sqr(x1611) - x811*b21 =L= 0; e1632.. sqr(x1612) - x812*b21 =L= 0; e1633.. sqr(x1613) - x813*b21 =L= 0; e1634.. sqr(x1614) - x814*b21 =L= 0; e1635.. sqr(x1615) - x815*b21 =L= 0; e1636.. sqr(x1616) - x816*b21 =L= 0; e1637.. sqr(x1617) - x817*b21 =L= 0; e1638.. sqr(x1618) - x818*b21 =L= 0; e1639.. sqr(x1619) - x819*b21 =L= 0; e1640.. sqr(x1620) - x820*b21 =L= 0; e1641.. sqr(x1621) - x821*b21 =L= 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;