$offlisting * * Equation counts * Total E G L N X C B * 2481 81 0 2400 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 2416 2401 15 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 8416 4816 3600 0 * * Solve m using MIQCP minimizing objvar; Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,x17,x18 ,x19,x20,x21,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,x1622,x1623,x1624,x1625,x1626 ,x1627,x1628,x1629,x1630,x1631,x1632,x1633,x1634,x1635,x1636,x1637 ,x1638,x1639,x1640,x1641,x1642,x1643,x1644,x1645,x1646,x1647,x1648 ,x1649,x1650,x1651,x1652,x1653,x1654,x1655,x1656,x1657,x1658,x1659 ,x1660,x1661,x1662,x1663,x1664,x1665,x1666,x1667,x1668,x1669,x1670 ,x1671,x1672,x1673,x1674,x1675,x1676,x1677,x1678,x1679,x1680,x1681 ,x1682,x1683,x1684,x1685,x1686,x1687,x1688,x1689,x1690,x1691,x1692 ,x1693,x1694,x1695,x1696,x1697,x1698,x1699,x1700,x1701,x1702,x1703 ,x1704,x1705,x1706,x1707,x1708,x1709,x1710,x1711,x1712,x1713,x1714 ,x1715,x1716,x1717,x1718,x1719,x1720,x1721,x1722,x1723,x1724,x1725 ,x1726,x1727,x1728,x1729,x1730,x1731,x1732,x1733,x1734,x1735,x1736 ,x1737,x1738,x1739,x1740,x1741,x1742,x1743,x1744,x1745,x1746,x1747 ,x1748,x1749,x1750,x1751,x1752,x1753,x1754,x1755,x1756,x1757,x1758 ,x1759,x1760,x1761,x1762,x1763,x1764,x1765,x1766,x1767,x1768,x1769 ,x1770,x1771,x1772,x1773,x1774,x1775,x1776,x1777,x1778,x1779,x1780 ,x1781,x1782,x1783,x1784,x1785,x1786,x1787,x1788,x1789,x1790,x1791 ,x1792,x1793,x1794,x1795,x1796,x1797,x1798,x1799,x1800,x1801,x1802 ,x1803,x1804,x1805,x1806,x1807,x1808,x1809,x1810,x1811,x1812,x1813 ,x1814,x1815,x1816,x1817,x1818,x1819,x1820,x1821,x1822,x1823,x1824 ,x1825,x1826,x1827,x1828,x1829,x1830,x1831,x1832,x1833,x1834,x1835 ,x1836,x1837,x1838,x1839,x1840,x1841,x1842,x1843,x1844,x1845,x1846 ,x1847,x1848,x1849,x1850,x1851,x1852,x1853,x1854,x1855,x1856,x1857 ,x1858,x1859,x1860,x1861,x1862,x1863,x1864,x1865,x1866,x1867,x1868 ,x1869,x1870,x1871,x1872,x1873,x1874,x1875,x1876,x1877,x1878,x1879 ,x1880,x1881,x1882,x1883,x1884,x1885,x1886,x1887,x1888,x1889,x1890 ,x1891,x1892,x1893,x1894,x1895,x1896,x1897,x1898,x1899,x1900,x1901 ,x1902,x1903,x1904,x1905,x1906,x1907,x1908,x1909,x1910,x1911,x1912 ,x1913,x1914,x1915,x1916,x1917,x1918,x1919,x1920,x1921,x1922,x1923 ,x1924,x1925,x1926,x1927,x1928,x1929,x1930,x1931,x1932,x1933,x1934 ,x1935,x1936,x1937,x1938,x1939,x1940,x1941,x1942,x1943,x1944,x1945 ,x1946,x1947,x1948,x1949,x1950,x1951,x1952,x1953,x1954,x1955,x1956 ,x1957,x1958,x1959,x1960,x1961,x1962,x1963,x1964,x1965,x1966,x1967 ,x1968,x1969,x1970,x1971,x1972,x1973,x1974,x1975,x1976,x1977,x1978 ,x1979,x1980,x1981,x1982,x1983,x1984,x1985,x1986,x1987,x1988,x1989 ,x1990,x1991,x1992,x1993,x1994,x1995,x1996,x1997,x1998,x1999,x2000 ,x2001,x2002,x2003,x2004,x2005,x2006,x2007,x2008,x2009,x2010,x2011 ,x2012,x2013,x2014,x2015,x2016,x2017,x2018,x2019,x2020,x2021,x2022 ,x2023,x2024,x2025,x2026,x2027,x2028,x2029,x2030,x2031,x2032,x2033 ,x2034,x2035,x2036,x2037,x2038,x2039,x2040,x2041,x2042,x2043,x2044 ,x2045,x2046,x2047,x2048,x2049,x2050,x2051,x2052,x2053,x2054,x2055 ,x2056,x2057,x2058,x2059,x2060,x2061,x2062,x2063,x2064,x2065,x2066 ,x2067,x2068,x2069,x2070,x2071,x2072,x2073,x2074,x2075,x2076,x2077 ,x2078,x2079,x2080,x2081,x2082,x2083,x2084,x2085,x2086,x2087,x2088 ,x2089,x2090,x2091,x2092,x2093,x2094,x2095,x2096,x2097,x2098,x2099 ,x2100,x2101,x2102,x2103,x2104,x2105,x2106,x2107,x2108,x2109,x2110 ,x2111,x2112,x2113,x2114,x2115,x2116,x2117,x2118,x2119,x2120,x2121 ,x2122,x2123,x2124,x2125,x2126,x2127,x2128,x2129,x2130,x2131,x2132 ,x2133,x2134,x2135,x2136,x2137,x2138,x2139,x2140,x2141,x2142,x2143 ,x2144,x2145,x2146,x2147,x2148,x2149,x2150,x2151,x2152,x2153,x2154 ,x2155,x2156,x2157,x2158,x2159,x2160,x2161,x2162,x2163,x2164,x2165 ,x2166,x2167,x2168,x2169,x2170,x2171,x2172,x2173,x2174,x2175,x2176 ,x2177,x2178,x2179,x2180,x2181,x2182,x2183,x2184,x2185,x2186,x2187 ,x2188,x2189,x2190,x2191,x2192,x2193,x2194,x2195,x2196,x2197,x2198 ,x2199,x2200,x2201,x2202,x2203,x2204,x2205,x2206,x2207,x2208,x2209 ,x2210,x2211,x2212,x2213,x2214,x2215,x2216,x2217,x2218,x2219,x2220 ,x2221,x2222,x2223,x2224,x2225,x2226,x2227,x2228,x2229,x2230,x2231 ,x2232,x2233,x2234,x2235,x2236,x2237,x2238,x2239,x2240,x2241,x2242 ,x2243,x2244,x2245,x2246,x2247,x2248,x2249,x2250,x2251,x2252,x2253 ,x2254,x2255,x2256,x2257,x2258,x2259,x2260,x2261,x2262,x2263,x2264 ,x2265,x2266,x2267,x2268,x2269,x2270,x2271,x2272,x2273,x2274,x2275 ,x2276,x2277,x2278,x2279,x2280,x2281,x2282,x2283,x2284,x2285,x2286 ,x2287,x2288,x2289,x2290,x2291,x2292,x2293,x2294,x2295,x2296,x2297 ,x2298,x2299,x2300,x2301,x2302,x2303,x2304,x2305,x2306,x2307,x2308 ,x2309,x2310,x2311,x2312,x2313,x2314,x2315,x2316,x2317,x2318,x2319 ,x2320,x2321,x2322,x2323,x2324,x2325,x2326,x2327,x2328,x2329,x2330 ,x2331,x2332,x2333,x2334,x2335,x2336,x2337,x2338,x2339,x2340,x2341 ,x2342,x2343,x2344,x2345,x2346,x2347,x2348,x2349,x2350,x2351,x2352 ,x2353,x2354,x2355,x2356,x2357,x2358,x2359,x2360,x2361,x2362,x2363 ,x2364,x2365,x2366,x2367,x2368,x2369,x2370,x2371,x2372,x2373,x2374 ,x2375,x2376,x2377,x2378,x2379,x2380,x2381,x2382,x2383,x2384,x2385 ,x2386,x2387,x2388,x2389,x2390,x2391,x2392,x2393,x2394,x2395,x2396 ,x2397,x2398,x2399,x2400,x2401,x2402,x2403,x2404,x2405,x2406,x2407 ,x2408,x2409,x2410,x2411,x2412,x2413,x2414,x2415,x2416; Positive Variables x17,x18,x19,x20,x21,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,x1622,x1623 ,x1624,x1625,x1626,x1627,x1628,x1629,x1630,x1631,x1632,x1633,x1634 ,x1635,x1636,x1637,x1638,x1639,x1640,x1641,x1642,x1643,x1644,x1645 ,x1646,x1647,x1648,x1649,x1650,x1651,x1652,x1653,x1654,x1655,x1656 ,x1657,x1658,x1659,x1660,x1661,x1662,x1663,x1664,x1665,x1666,x1667 ,x1668,x1669,x1670,x1671,x1672,x1673,x1674,x1675,x1676,x1677,x1678 ,x1679,x1680,x1681,x1682,x1683,x1684,x1685,x1686,x1687,x1688,x1689 ,x1690,x1691,x1692,x1693,x1694,x1695,x1696,x1697,x1698,x1699,x1700 ,x1701,x1702,x1703,x1704,x1705,x1706,x1707,x1708,x1709,x1710,x1711 ,x1712,x1713,x1714,x1715,x1716,x1717,x1718,x1719,x1720,x1721,x1722 ,x1723,x1724,x1725,x1726,x1727,x1728,x1729,x1730,x1731,x1732,x1733 ,x1734,x1735,x1736,x1737,x1738,x1739,x1740,x1741,x1742,x1743,x1744 ,x1745,x1746,x1747,x1748,x1749,x1750,x1751,x1752,x1753,x1754,x1755 ,x1756,x1757,x1758,x1759,x1760,x1761,x1762,x1763,x1764,x1765,x1766 ,x1767,x1768,x1769,x1770,x1771,x1772,x1773,x1774,x1775,x1776,x1777 ,x1778,x1779,x1780,x1781,x1782,x1783,x1784,x1785,x1786,x1787,x1788 ,x1789,x1790,x1791,x1792,x1793,x1794,x1795,x1796,x1797,x1798,x1799 ,x1800,x1801,x1802,x1803,x1804,x1805,x1806,x1807,x1808,x1809,x1810 ,x1811,x1812,x1813,x1814,x1815,x1816,x1817,x1818,x1819,x1820,x1821 ,x1822,x1823,x1824,x1825,x1826,x1827,x1828,x1829,x1830,x1831,x1832 ,x1833,x1834,x1835,x1836,x1837,x1838,x1839,x1840,x1841,x1842,x1843 ,x1844,x1845,x1846,x1847,x1848,x1849,x1850,x1851,x1852,x1853,x1854 ,x1855,x1856,x1857,x1858,x1859,x1860,x1861,x1862,x1863,x1864,x1865 ,x1866,x1867,x1868,x1869,x1870,x1871,x1872,x1873,x1874,x1875,x1876 ,x1877,x1878,x1879,x1880,x1881,x1882,x1883,x1884,x1885,x1886,x1887 ,x1888,x1889,x1890,x1891,x1892,x1893,x1894,x1895,x1896,x1897,x1898 ,x1899,x1900,x1901,x1902,x1903,x1904,x1905,x1906,x1907,x1908,x1909 ,x1910,x1911,x1912,x1913,x1914,x1915,x1916,x1917,x1918,x1919,x1920 ,x1921,x1922,x1923,x1924,x1925,x1926,x1927,x1928,x1929,x1930,x1931 ,x1932,x1933,x1934,x1935,x1936,x1937,x1938,x1939,x1940,x1941,x1942 ,x1943,x1944,x1945,x1946,x1947,x1948,x1949,x1950,x1951,x1952,x1953 ,x1954,x1955,x1956,x1957,x1958,x1959,x1960,x1961,x1962,x1963,x1964 ,x1965,x1966,x1967,x1968,x1969,x1970,x1971,x1972,x1973,x1974,x1975 ,x1976,x1977,x1978,x1979,x1980,x1981,x1982,x1983,x1984,x1985,x1986 ,x1987,x1988,x1989,x1990,x1991,x1992,x1993,x1994,x1995,x1996,x1997 ,x1998,x1999,x2000,x2001,x2002,x2003,x2004,x2005,x2006,x2007,x2008 ,x2009,x2010,x2011,x2012,x2013,x2014,x2015,x2016,x2017,x2018,x2019 ,x2020,x2021,x2022,x2023,x2024,x2025,x2026,x2027,x2028,x2029,x2030 ,x2031,x2032,x2033,x2034,x2035,x2036,x2037,x2038,x2039,x2040,x2041 ,x2042,x2043,x2044,x2045,x2046,x2047,x2048,x2049,x2050,x2051,x2052 ,x2053,x2054,x2055,x2056,x2057,x2058,x2059,x2060,x2061,x2062,x2063 ,x2064,x2065,x2066,x2067,x2068,x2069,x2070,x2071,x2072,x2073,x2074 ,x2075,x2076,x2077,x2078,x2079,x2080,x2081,x2082,x2083,x2084,x2085 ,x2086,x2087,x2088,x2089,x2090,x2091,x2092,x2093,x2094,x2095,x2096 ,x2097,x2098,x2099,x2100,x2101,x2102,x2103,x2104,x2105,x2106,x2107 ,x2108,x2109,x2110,x2111,x2112,x2113,x2114,x2115,x2116,x2117,x2118 ,x2119,x2120,x2121,x2122,x2123,x2124,x2125,x2126,x2127,x2128,x2129 ,x2130,x2131,x2132,x2133,x2134,x2135,x2136,x2137,x2138,x2139,x2140 ,x2141,x2142,x2143,x2144,x2145,x2146,x2147,x2148,x2149,x2150,x2151 ,x2152,x2153,x2154,x2155,x2156,x2157,x2158,x2159,x2160,x2161,x2162 ,x2163,x2164,x2165,x2166,x2167,x2168,x2169,x2170,x2171,x2172,x2173 ,x2174,x2175,x2176,x2177,x2178,x2179,x2180,x2181,x2182,x2183,x2184 ,x2185,x2186,x2187,x2188,x2189,x2190,x2191,x2192,x2193,x2194,x2195 ,x2196,x2197,x2198,x2199,x2200,x2201,x2202,x2203,x2204,x2205,x2206 ,x2207,x2208,x2209,x2210,x2211,x2212,x2213,x2214,x2215,x2216,x2217 ,x2218,x2219,x2220,x2221,x2222,x2223,x2224,x2225,x2226,x2227,x2228 ,x2229,x2230,x2231,x2232,x2233,x2234,x2235,x2236,x2237,x2238,x2239 ,x2240,x2241,x2242,x2243,x2244,x2245,x2246,x2247,x2248,x2249,x2250 ,x2251,x2252,x2253,x2254,x2255,x2256,x2257,x2258,x2259,x2260,x2261 ,x2262,x2263,x2264,x2265,x2266,x2267,x2268,x2269,x2270,x2271,x2272 ,x2273,x2274,x2275,x2276,x2277,x2278,x2279,x2280,x2281,x2282,x2283 ,x2284,x2285,x2286,x2287,x2288,x2289,x2290,x2291,x2292,x2293,x2294 ,x2295,x2296,x2297,x2298,x2299,x2300,x2301,x2302,x2303,x2304,x2305 ,x2306,x2307,x2308,x2309,x2310,x2311,x2312,x2313,x2314,x2315,x2316 ,x2317,x2318,x2319,x2320,x2321,x2322,x2323,x2324,x2325,x2326,x2327 ,x2328,x2329,x2330,x2331,x2332,x2333,x2334,x2335,x2336,x2337,x2338 ,x2339,x2340,x2341,x2342,x2343,x2344,x2345,x2346,x2347,x2348,x2349 ,x2350,x2351,x2352,x2353,x2354,x2355,x2356,x2357,x2358,x2359,x2360 ,x2361,x2362,x2363,x2364,x2365,x2366,x2367,x2368,x2369,x2370,x2371 ,x2372,x2373,x2374,x2375,x2376,x2377,x2378,x2379,x2380,x2381,x2382 ,x2383,x2384,x2385,x2386,x2387,x2388,x2389,x2390,x2391,x2392,x2393 ,x2394,x2395,x2396,x2397,x2398,x2399,x2400,x2401,x2402,x2403,x2404 ,x2405,x2406,x2407,x2408,x2409,x2410,x2411,x2412,x2413,x2414,x2415 ,x2416; Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16; 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,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649 ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660 ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671 ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682 ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693 ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704 ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715 ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726 ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737 ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748 ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759 ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770 ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781 ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792 ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803 ,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814 ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825 ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836 ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847 ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858 ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869 ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880 ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891 ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902 ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913 ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924 ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935 ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946 ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957 ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968 ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979 ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990 ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001 ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012 ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023 ,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034 ,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045 ,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056 ,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067 ,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078 ,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089 ,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100 ,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111 ,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122 ,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133 ,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144 ,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152,e2153,e2154,e2155 ,e2156,e2157,e2158,e2159,e2160,e2161,e2162,e2163,e2164,e2165,e2166 ,e2167,e2168,e2169,e2170,e2171,e2172,e2173,e2174,e2175,e2176,e2177 ,e2178,e2179,e2180,e2181,e2182,e2183,e2184,e2185,e2186,e2187,e2188 ,e2189,e2190,e2191,e2192,e2193,e2194,e2195,e2196,e2197,e2198,e2199 ,e2200,e2201,e2202,e2203,e2204,e2205,e2206,e2207,e2208,e2209,e2210 ,e2211,e2212,e2213,e2214,e2215,e2216,e2217,e2218,e2219,e2220,e2221 ,e2222,e2223,e2224,e2225,e2226,e2227,e2228,e2229,e2230,e2231,e2232 ,e2233,e2234,e2235,e2236,e2237,e2238,e2239,e2240,e2241,e2242,e2243 ,e2244,e2245,e2246,e2247,e2248,e2249,e2250,e2251,e2252,e2253,e2254 ,e2255,e2256,e2257,e2258,e2259,e2260,e2261,e2262,e2263,e2264,e2265 ,e2266,e2267,e2268,e2269,e2270,e2271,e2272,e2273,e2274,e2275,e2276 ,e2277,e2278,e2279,e2280,e2281,e2282,e2283,e2284,e2285,e2286,e2287 ,e2288,e2289,e2290,e2291,e2292,e2293,e2294,e2295,e2296,e2297,e2298 ,e2299,e2300,e2301,e2302,e2303,e2304,e2305,e2306,e2307,e2308,e2309 ,e2310,e2311,e2312,e2313,e2314,e2315,e2316,e2317,e2318,e2319,e2320 ,e2321,e2322,e2323,e2324,e2325,e2326,e2327,e2328,e2329,e2330,e2331 ,e2332,e2333,e2334,e2335,e2336,e2337,e2338,e2339,e2340,e2341,e2342 ,e2343,e2344,e2345,e2346,e2347,e2348,e2349,e2350,e2351,e2352,e2353 ,e2354,e2355,e2356,e2357,e2358,e2359,e2360,e2361,e2362,e2363,e2364 ,e2365,e2366,e2367,e2368,e2369,e2370,e2371,e2372,e2373,e2374,e2375 ,e2376,e2377,e2378,e2379,e2380,e2381,e2382,e2383,e2384,e2385,e2386 ,e2387,e2388,e2389,e2390,e2391,e2392,e2393,e2394,e2395,e2396,e2397 ,e2398,e2399,e2400,e2401,e2402,e2403,e2404,e2405,e2406,e2407,e2408 ,e2409,e2410,e2411,e2412,e2413,e2414,e2415,e2416,e2417,e2418,e2419 ,e2420,e2421,e2422,e2423,e2424,e2425,e2426,e2427,e2428,e2429,e2430 ,e2431,e2432,e2433,e2434,e2435,e2436,e2437,e2438,e2439,e2440,e2441 ,e2442,e2443,e2444,e2445,e2446,e2447,e2448,e2449,e2450,e2451,e2452 ,e2453,e2454,e2455,e2456,e2457,e2458,e2459,e2460,e2461,e2462,e2463 ,e2464,e2465,e2466,e2467,e2468,e2469,e2470,e2471,e2472,e2473,e2474 ,e2475,e2476,e2477,e2478,e2479,e2480,e2481; e1.. - objvar + 30*b2 + 55*b3 + 20*b4 + 60*b5 + 87*b6 + 86*b7 + 48*b8 + 78*b9 + 72*b10 + 32*b11 + 14*b12 + 32*b13 + 98*b14 + 50*b15 + 24*b16 + 21.73517914*x17 + 26.33579875*x18 + 1.888784526*x19 + 24.84790651*x20 + 37.14740958*x21 + 30.7654627*x22 + 39.13995307*x23 + 28.5774056*x24 + 9.897656212*x25 + 31.08145758*x26 + 41.68540846*x27 + 7.016710197*x28 + 19.60921916*x29 + 33.97450596*x30 + 31.95072536*x31 + 30.31942185*x32 + 42.40460655*x33 + 38.58959927*x34 + 35.578578*x35 + 33.99831053*x36 + 18.81536158*x37 + 40.11528233*x38 + 42.32333008*x39 + 29.16512246*x40 + 55.25788888*x41 + 8.241234785*x42 + 33.38042712*x43 + 49.59955564*x44 + 30.99339229*x45 + 45.065125*x46 + 23.73113022*x47 + 5.348980699*x48 + 25.73087224*x49 + 18.95684877*x50 + 9.034481964*x51 + 3.695448905*x52 + 21.02011781*x53 + 45.36328962*x54 + 21.21352603*x55 + 5.348687582*x56 + 20.72006566*x57 + 31.49991569*x58 + 30.1157228*x59 + 29.36264824*x60 + 33.47000698*x61 + 13.22579595*x62 + 18.62232725*x63 + 26.42149237*x64 + 16.52584768*x65 + 30.20263605*x66 + 10.38971532*x67 + 37.22510562*x68 + 27.91670812*x69 + 11.58508384*x70 + 26.98355778*x71 + 41.06879308*x72 + 33.85629119*x73 + 30.30216018*x74 + 20.1477073*x75 + 35.766866*x76 + 28.95841802*x77 + 4.071353968*x78 + 29.42632255*x79 + 0.1920777622*x80 + 15.08190215*x81 + 14.8507317*x82 + 40.03540405*x83 + 41.77167139*x84 + 32.74155334*x85 + 49.97962895*x86 + 14.86342589*x87 + 7.985203771*x88 + 4.660806393*x89 + 22.06993376*x90 + 45.31848424*x91 + 23.83086561*x92 + 46.54030592*x93 + 27.22297037*x94 + 28.98198618*x95 + 26.65148942*x96 + 14.68408784*x97 + 13.49316119*x98 + 12.5106201*x99 + 29.48666956*x100 + 35.14634927*x101 + 33.21142739*x102 + 33.38975914*x103 + 29.61500343*x104 + 8.434946326*x105 + 25.598575*x106 + 42.54800428*x107 + 7.223818115*x108 + 28.39685252*x109 + 24.40140773*x110 + 24.56066329*x111 + 18.95035923*x112 + 31.64949997*x113 + 25.28570777*x114 + 22.01238216*x115 + 19.82436036*x116 + 21.05131354*x117 + 38.97889613*x118 + 39.43192896*x119 + 16.28898393*x120 + 45.1386581*x121 + 5.938782072*x122 + 28.22530623*x123 + 40.01063887*x124 + 26.16891453*x125 + 40.10274069*x126 + 10.83441932*x127 + 19.48260457*x128 + 11.85073619*x129 + 19.63323268*x130 + 19.54610388*x131 + 17.8722069*x132 + 24.32154272*x133 + 33.63034187*x134 + 20.99501576*x135 + 18.00262529*x136 + 6.541887336*x137 + 17.3423117*x138 + 17.16288021*x139 + 25.706411*x140 + 19.31543563*x141 + 24.49567337*x142 + 8.283421466*x143 + 14.32538499*x144 + 16.88858785*x145 + 17.52732007*x146 + 24.56666929*x147 + 23.0832402*x148 + 30.29149046*x149 + 23.56427365*x150 + 14.39137313*x151 + 40.34429908*x152 + 29.2400464*x153 + 17.69914432*x154 + 19.90436201*x155 + 26.00010288*x156 + 20.62499815*x157 + 18.04508117*x158 + 16.24853227*x159 + 14.20832872*x160 + 8.604575604*x161 + 5.150971957*x162 + 35.76195161*x163 + 29.63197855*x164 + 32.38955624*x165 + 38.75475263*x166 + 24.40183239*x167 + 9.012144919*x168 + 16.8278166*x169 + 17.73772412*x170 + 40.31802347*x171 + 30.86770754*x172 + 36.90495175*x173 + 21.52817929*x174 + 14.88438277*x175 + 18.87923423*x176 + 15.24454992*x177 + 5.050582942*x178 + 29.46080754*x179 + 35.84632745*x180 + 32.07572703*x181 + 36.19155966*x182 + 25.41156879*x183 + 31.93148121*x184 + 26.3189209*x185 + 20.69723947*x186 + 41.71977583*x187 + 24.90283573*x188 + 39.09568437*x189 + 12.82356819*x190 + 17.01191239*x191 + 6.491479155*x192 + 15.98952528*x193 + 7.277738255*x194 + 4.517813363*x195 + 9.972559264*x196 + 27.99855558*x197 + 36.21891089*x198 + 34.22987851*x199 + 2.46996997*x200 + 29.24214206*x201 + 23.52334184*x202 + 22.74887198*x203 + 25.15126431*x204 + 22.01921156*x205 + 31.88599921*x206 + 7.586792732*x207 + 36.63181911*x208 + 6.796784873*x209 + 25.75451417*x210 + 33.6446452*x211 + 34.92059813*x212 + 30.9380154*x213 + 16.43051166*x214 + 25.41014161*x215 + 33.74764955*x216 + 12.7761849*x217 + 9.879971663*x218 + 17.73957295*x219 + 23.45726303*x220 + 10.52747815*x221 + 38.09899778*x222 + 21.0237021*x223 + 19.32220681*x224 + 24.39217663*x225 + 18.79742423*x226 + 41.35399895*x227 + 9.494335448*x228 + 33.95786291*x229 + 37.89820848*x230 + 4.697241963*x231 + 37.86316151*x232 + 24.20785256*x233 + 2.635934634*x234 + 24.90036648*x235 + 13.40260425*x236 + 13.66334356*x237 + 35.37489808*x238 + 16.6197486*x239 + 31.29287924*x240 + 17.63986821*x241 + 16.55337649*x242 + 29.39014456*x243 + 12.17157509*x244 + 32.18861547*x245 + 21.88416845*x246 + 36.60576633*x247 + 23.97376621*x248 + 34.6612824*x249 + 19.30353988*x250 + 32.01060763*x251 + 39.36179985*x252 + 22.29717816*x253 + 18.46605411*x254 + 10.79877245*x255 + 14.27116524*x256 + 10.59510731*x257 + 13.37179185*x258 + 30.50029717*x259 + 26.40239234*x260 + 18.44204745*x261 + 24.68943503*x262 + 11.56103401*x263 + 20.59693626*x264 + 31.56809864*x265 + 7.512715342*x266 + 28.31317914*x267 + 27.95657961*x268 + 32.31433249*x269 + 2.45647807*x270 + 3.306000135*x271 + 7.556721517*x272 + 11.08369762*x273 + 16.45030094*x274 + 16.66576552*x275 + 23.94936665*x276 + 20.61521727*x277 + 22.51156373*x278 + 20.25461157*x279 + 12.65089679*x280 + 22.98555843*x281 + 26.73145559*x282 + 9.035540639*x283 + 17.27843891*x284 + 8.946306901*x285 + 18.25174445*x286 + 14.7692158*x287 + 36.95244762*x288 + 17.7184111*x289 + 18.4946769*x290 + 30.71436298*x291 + 35.27577817*x292 + 22.55583888*x293 + 15.41878555*x294 + 17.00461644*x295 + 32.52353253*x296 + 21.67073017*x297 + 23.61567107*x298 + 30.71587017*x299 + 11.11341029*x300 + 24.47223239*x301 + 33.97256359*x302 + 30.00486968*x303 + 31.20270109*x304 + 18.72859819*x305 + 31.71055929*x306 + 40.58575136*x307 + 23.00685314*x308 + 23.10978479*x309 + 34.51833707*x310 + 12.3522174*x311 + 24.16917129*x312 + 10.5050806*x313 + 11.47237091*x314 + 17.11669311*x315 + 4.036019372*x316 + 3.373614268*x317 + 36.16540487*x318 + 29.51545637*x319 + 32.2178246*x320 + 17.45178058*x321 + 19.17857822*x322 + 15.41569778*x323 + 13.66169306*x324 + 19.54986191*x325 + 18.68283403*x326 + 31.43768582*x327 + 24.38028171*x328 + 36.69140402*x329 + 11.73670362*x330 + 18.40595911*x331 + 30.8948538*x332 + 14.22655709*x333 + 7.486127648*x334 + 23.89159192*x335 + 5.734652056*x336 + 4.315927591*x337 + 10.2864008*x338 + 24.14730757*x339 + 23.11789674*x340 + 19.90236239*x341 + 23.03859952*x342 + 15.8968292*x343 + 18.77828789*x344 + 25.4310882*x345 + 8.766694954*x346 + 29.08601342*x347 + 21.64429836*x348 + 27.68708844*x349 + 8.076617206*x350 + 6.893704518*x351 + 7.451107319*x352 + 16.8093565*x353 + 18.1884247*x354 + 17.09720702*x355 + 22.42524673*x356 + 16.01228148*x357 + 24.05581163*x358 + 23.11444601*x359 + 10.99248815*x360 + 29.29025188*x361 + 20.44407565*x362 + 11.30644044*x363 + 23.63175746*x364 + 9.795682096*x365 + 22.70403683*x366 + 10.59489545*x367 + 30.67110985*x368 + 14.32110371*x369 + 13.75433396*x370 + 24.84020766*x371 + 28.9824551*x372 + 18.54527469*x373 + 20.54122107*x374 + 12.84775803*x375 + 26.37558633*x376 + 16.87563561*x377 + 21.42590157*x378 + 27.36116902*x379 + 10.62395419*x380 + 22.71612399*x381 + 28.43993861*x382 + 24.73279136*x383 + 27.08806431*x384 + 13.30651668*x385 + 28.26685617*x386 + 34.44409811*x387 + 22.63858958*x388 + 20.85525469*x389 + 28.80003613*x390 + 9.593036824*x391 + 25.64263749*x392 + 12.58992117*x393 + 10.57589963*x394 + 12.59743549*x395 + 9.885229289*x396 + 3.066774019*x397 + 29.84670215*x398 + 26.14320243*x399 + 25.87541941*x400 + 11.09361003*x401 + 13.01866977*x402 + 18.81825974*x403 + 17.8363092*x404 + 19.22818666*x405 + 24.48951416*x406 + 26.18321472*x407 + 18.02246876*x408 + 30.32870288*x409 + 6.771715043*x410 + 22.90239945*x411 + 27.07495078*x412 + 20.5653349*x413 + 5.511397379*x414 + 20.98966692*x415 + 1.397470335*x416 + 24.28730179*x417 + 32.7078426*x418 + 40.0021454*x419 + 21.37852289*x420 + 4.278051252*x421 + 15.1156399*x422 + 9.719035056*x423 + 14.1939886*x424 + 45.00082343*x425 + 13.96377666*x426 + 10.19315037*x427 + 40.11976249*x428 + 30.37144116*x429 + 21.78245457*x430 + 17.13537039*x431 + 27.65068204*x432 + 25.70600705*x433 + 36.04191538*x434 + 36.75532833*x435 + 44.07660086*x436 + 22.88658117*x437 + 4.106885407*x438 + 1.236841345*x439 + 32.5970793*x440 + 28.82282831*x441 + 39.33773506*x442 + 11.53679537*x443 + 23.8402584*x444 + 12.97124725*x445 + 7.647715369*x446 + 33.31175206*x447 + 44.19822575*x448 + 36.93313137*x449 + 22.40239734*x450 + 35.30397423*x451 + 42.90385717*x452 + 21.80845371*x453 + 30.54590497*x454 + 20.13628088*x455 + 38.85264128*x456 + 39.41433464*x457 + 43.55744264*x458 + 50.03979532*x459 + 13.06871675*x460 + 44.55337766*x461 + 35.90645682*x462 + 46.66686057*x463 + 49.77571226*x464 + 24.8735195*x465 + 50.96375155*x466 + 45.77271286*x467 + 43.16621776*x468 + 16.3537003*x469 + 37.41324801*x470 + 31.83644881*x471 + 5.346594379*x472 + 10.15892942*x473 + 31.56973034*x474 + 21.21241566*x475 + 22.00778201*x476 + 20.86990615*x477 + 44.12913773*x478 + 48.82181032*x479 + 41.18137073*x480 + 30.39214683*x481 + 33.63174915*x482 + 5.283728346*x483 + 31.15635959*x484 + 9.530152122*x485 + 30.32868764*x486 + 32.49648439*x487 + 35.00074334*x488 + 45.98044712*x489 + 21.0987564*x490 + 7.85910054*x491 + 26.18530938*x492 + 22.76715988*x493 + 17.59628836*x494 + 43.49377982*x495 + 21.3246448*x496 + 5.217934166*x497 + 16.30304342*x498 + 18.47777853*x499 + 15.4846546*x500 + 18.51816103*x501 + 17.18248708*x502 + 19.04392532*x503 + 13.19783456*x504 + 22.61383359*x505 + 10.99502315*x506 + 25.76507181*x507 + 17.79408085*x508 + 19.18043765*x509 + 16.03963786*x510 + 12.46166696*x511 + 15.69945817*x512 + 24.86569167*x513 + 26.3644225*x514 + 24.79194251*x515 + 28.49054836*x516 + 7.613224401*x517 + 22.21633535*x518 + 23.18326752*x519 + 18.04175018*x520 + 36.45218818*x521 + 16.96133294*x522 + 13.29262928*x523 + 30.56872057*x524 + 10.91531516*x525 + 25.11321019*x526 + 15.24220004*x527 + 24.07253102*x528 + 19.23460303*x529 + 5.342218461*x530 + 16.99194666*x531 + 22.49727851*x532 + 10.47728499*x533 + 28.90668296*x534 + 5.119577276*x535 + 19.2143559*x536 + 19.16694839*x537 + 26.92176682*x538 + 31.05781806*x539 + 9.549456523*x540 + 28.55104985*x541 + 20.15304234*x542 + 25.03985798*x543 + 29.6244355*x544 + 4.904860579*x545 + 31.78413743*x546 + 27.17488288*x547 + 29.60127726*x548 + 14.47697817*x549 + 20.70371454*x550 + 16.06250886*x551 + 23.54118101*x552 + 13.85096334*x553 + 18.13193153*x554 + 4.454013276*x555 + 17.79687928*x556 + 10.64782611*x557 + 23.55067479*x558 + 29.89024251*x559 + 19.9571047*x560 + 8.234019726*x561 + 11.73548694*x562 + 20.22089917*x563 + 26.35637766*x564 + 15.56907593*x565 + 32.50206336*x566 + 17.72337864*x567 + 12.87284582*x568 + 24.72898815*x569 + 2.143221977*x570 + 25.36000822*x571 + 18.91980951*x572 + 27.65901335*x573 + 7.306524679*x574 + 25.7305323*x575 + 8.362295995*x576 + 18.87657317*x577 + 26.47942388*x578 + 7.295094091*x579 + 17.32806537*x580 + 30.7687981*x581 + 23.44736818*x582 + 34.104958*x583 + 21.62401064*x584 + 16.22817054*x585 + 26.35639885*x586 + 34.48270565*x587 + 11.63716552*x588 + 12.34750448*x589 + 31.1832165*x590 + 28.08706761*x591 + 28.96214353*x592 + 39.96457426*x593 + 38.54734269*x594 + 35.99537736*x595 + 36.26843009*x596 + 12.15081847*x597 + 33.40263988*x598 + 36.08723367*x599 + 29.12012676*x600 + 52.03161535*x601 + 12.20175548*x602 + 28.36212323*x603 + 46.17570376*x604 + 25.97981185*x605 + 39.50664017*x606 + 24.17538063*x607 + 9.164311682*x608 + 27.11603186*x609 + 12.88508718*x610 + 2.323344298*x611 + 7.957771572*x612 + 13.84681278*x613 + 43.55550417*x614 + 15.19651129*x615 + 3.827874887*x616 + 23.33585876*x617 + 33.96735977*x618 + 34.33220685*x619 + 23.9658113*x620 + 35.91911329*x621 + 7.26849824*x622 + 23.80345857*x623 + 31.14940315*x624 + 11.08593159*x625 + 34.62288028*x626 + 11.54818815*x627 + 38.88219728*x628 + 20.67764202*x629 + 6.51072391*x630 + 26.8511472*x631 + 34.22782071*x632 + 28.58082168*x633 + 29.92683245*x634 + 14.28446692*x635 + 32.98679285*x636 + 25.84025988*x637 + 9.233000124*x638 + 33.45648331*x639 + 7.389495377*x640 + 13.88325795*x641 + 15.45439634*x642 + 34.35959451*x643 + 40.42501556*x644 + 26.01317281*x645 + 47.64516145*x646 + 7.731409812*x647 + 8.304174762*x648 + 11.63228722*x649 + 17.77236741*x650 + 39.76831949*x651 + 16.30121689*x652 + 43.23220103*x653 + 22.92211007*x654 + 31.75735044*x655 + 23.46482852*x656 + 29.0327527*x657 + 35.57878865*x658 + 11.65521488*x659 + 24.40655249*x660 + 39.9917953*x661 + 31.15498866*x662 + 44.17100753*x663 + 30.28468901*x664 + 19.47810587*x665 + 36.55536572*x666 + 42.22054057*x667 + 17.08057236*x668 + 16.36909427*x669 + 41.39692864*x670 + 38.37693412*x671 + 38.77657275*x672 + 50.13957919*x673 + 47.8324719*x674 + 45.01195466*x675 + 43.9816321*x676 + 21.65282393*x677 + 42.15764492*x678 + 45.38259474*x679 + 38.34598379*x680 + 62.31769977*x681 + 18.25646925*x682 + 38.47072774*x683 + 56.46590758*x684 + 36.10758271*x685 + 49.29281609*x686 + 33.07835775*x687 + 5.305782542*x688 + 35.4508*x689 + 22.80279424*x690 + 9.176186712*x691 + 6.515714204*x692 + 22.47898061*x693 + 53.58612464*x694 + 25.06873302*x695 + 7.020610213*x696 + 30.69959875*x697 + 41.50755779*x698 + 40.12651121*x699 + 33.97666717*x700 + 43.48059584*x701 + 9.066266018*x702 + 28.4840029*x703 + 36.33795925*x704 + 21.29309064*x705 + 40.17306172*x706 + 1.567072064*x707 + 47.0875463*x708 + 28.74847636*x709 + 7.16986153*x710 + 36.10166185*x711 + 42.76253701*x712 + 38.59456846*x713 + 39.32720344*x714 + 24.2649219*x715 + 43.20412302*x716 + 36.08337375*x717 + 6.902802359*x718 + 39.46694105*x719 + 10.01844788*x720 + 23.39283058*x721 + 24.0904613*x722 + 44.11612186*x723 + 50.29650685*x724 + 34.89927181*x725 + 57.81489055*x726 + 12.37745923*x727 + 16.65119114*x728 + 9.781085587*x729 + 28.06042679*x730 + 49.55757963*x731 + 21.44173215*x732 + 53.51827769*x733 + 33.19771377*x734 + 39.02265169*x735 + 33.70748373*x736 + 6.270923417*x737 + 16.42011472*x738 + 23.81103746*x739 + 17.13580086*x740 + 14.64612284*x741 + 16.63919175*x742 + 13.71812446*x743 + 12.37890125*x744 + 27.32586903*x745 + 5.623641875*x746 + 23.17446686*x747 + 22.7459936*x748 + 22.78620648*x749 + 11.95744284*x750 + 7.46503779*x751 + 13.69104261*x752 + 20.55469822*x753 + 24.32780368*x754 + 23.45284631*x755 + 28.70152817*x756 + 11.13199235*x757 + 18.6666169*x758 + 18.73578219*x759 + 17.36904435*x760 + 31.42747142*x761 + 21.79287703*x762 + 8.018306866*x763 + 25.49911394*x764 + 5.702864856*x765 + 19.9732025*x766 + 16.22712433*x767 + 29.45088382*x768 + 20.1688397*x769 + 9.100070332*x770 + 22.11945876*x771 + 27.88106759*x772 + 13.03197978*x773 + 24.95798241*x774 + 7.469622847*x775 + 24.54445205*x776 + 21.6250604*x777 + 27.55537066*x778 + 32.91243893*x779 + 5.06281285*x780 + 28.94221251*x781 + 24.87549975*x782 + 28.58393827*x783 + 32.12815142*x784 + 9.890399065*x785 + 33.75213389*x786 + 32.45196357*x787 + 29.03572412*x788 + 14.50596604*x789 + 25.62589303*x790 + 15.84055046*x791 + 20.16048812*x792 + 8.75161031*x793 + 16.9733427*x794 + 7.661830342*x795 + 13.56740947*x796 + 6.975659549*x797 + 28.93565864*x798 + 31.70416363*x799 + 25.32067048*x800 + 12.46809622*x801 + 15.56716032*x802 + 15.26116185*x803 + 22.96456383*x804 + 13.08299991*x805 + 28.03832796*x806 + 22.14064344*x807 + 18.06513712*x808 + 30.07626352*x809 + 3.41273535*x810 + 20.21220055*x811 + 21.44187281*x812 + 22.67758756*x813 + 2.147337457*x814 + 26.8753372*x815 + 5.391942395*x816 + 19.42455685*x817 + 8.691299882*x818 + 32.36596275*x819 + 40.05686918*x820 + 36.06225722*x821 + 40.42974476*x822 + 28.9455901*x823 + 36.16946382*x824 + 28.21585267*x825 + 24.73631506*x826 + 45.78567078*x827 + 27.48866802*x828 + 43.09456698*x829 + 16.29552564*x830 + 20.9078041*x831 + 10.49575343*x832 + 17.65610012*x833 + 5.796882736*x834 + 2.260348819*x835 + 6.795589556*x836 + 32.13380309*x837 + 40.18390101*x838 + 37.96822728*x839 + 6.598192171*x840 + 30.17984342*x841 + 26.13123531*x842 + 26.68304788*x843 + 26.76144248*x844 + 26.08642906*x845 + 35.21896019*x846 + 10.83163726*x847 + 39.52628753*x848 + 8.533716324*x849 + 29.90243987*x850 + 37.20305054*x851 + 37.84163126*x852 + 35.11432143*x853 + 16.87981354*x854 + 29.61838688*x855 + 37.01090016*x856 + 14.33109709*x857 + 7.685856449*x858 + 16.04856406*x859 + 27.61593138*x860 + 7.587646824*x861 + 41.77728301*x862 + 21.76411816*x863 + 18.48843729*x864 + 28.44078435*x865 + 17.11769064*x866 + 44.40093517*x867 + 5.317660495*x868 + 38.2020879*x869 + 41.46589294*x870 + 8.649117005*x871 + 41.8353913*x872 + 28.15111005*x873 + 6.826650161*x874 + 29.08484301*x875 + 16.55756949*x876 + 17.76552556*x877 + 38.19015517*x878 + 15.07533123*x879 + 34.17318633*x880 + 21.26129556*x881 + 19.72312709*x882 + 33.06421037*x883 + 12.64350486*x884 + 36.35551193*x885 + 22.37604322*x886 + 40.44154446*x887 + 27.19440454*x888 + 37.19848196*x889 + 23.52760364*x890 + 35.32464075*x891 + 43.50554995*x892 + 24.13814869*x893 + 22.66327934*x894 + 9.567895129*x895 + 18.48690766*x896 + 22.22694994*x897 + 13.25509375*x898 + 25.14533827*x899 + 41.03526377*x900 + 42.74175725*x901 + 43.59656529*x902 + 38.08439665*x903 + 39.5796033*x904 + 18.0441716*x905 + 31.67231548*x906 + 51.49727101*x907 + 19.6519748*x908 + 41.12023874*x909 + 26.23047443*x910 + 28.99156168*x911 + 19.44746592*x912 + 30.41028389*x913 + 19.49305073*x914 + 15.94684897*x915 + 9.177844542*x916 + 32.44686145*x917 + 46.86451678*x918 + 45.99600918*x919 + 14.47060185*x920 + 43.53381389*x921 + 18.58976293*x922 + 34.15774022*x923 + 39.57637737*x924 + 32.70807689*x925 + 44.85429544*x926 + 12.32441508*x927 + 31.68432858*x928 + 8.907806875*x929 + 30.61351419*x930 + 32.58084973*x931 + 30.21545809*x932 + 35.76489323*x933 + 30.41096216*x934 + 31.36381867*x935 + 30.906714*x936 + 7.470150419*x937 + 6.750615761*x938 + 4.64288677*x939 + 33.23781929*x940 + 8.305408963*x941 + 37.52883524*x942 + 9.506701401*x943 + 4.901037184*x944 + 28.20162959*x945 + 5.41487307*x946 + 36.8883022*x947 + 13.36296016*x948 + 40.85365253*x949 + 36.5907664*x950 + 14.28099977*x951 + 48.41338194*x952 + 35.48694555*x953 + 16.01367522*x954 + 30.43655326*x955 + 27.22119237*x956 + 24.94799876*x957 + 30.13523275*x958 + 3.492225935*x959 + 26.68001261*x960 + 19.33799324*x961 + 16.03933779*x962 + 41.52699554*x963 + 26.12186677*x964 + 41.32108379*x965 + 35.9224898*x966 + 37.31959523*x967 + 22.00744179*x968 + 28.22902221*x969 + 26.40979082*x970 + 45.01616807*x971 + 43.11561042*x972 + 36.71339041*x973 + 28.23141987*x974 + 4.20274762*x975 + 24.31427616*x976 + 19.93512541*x977 + 30.74266736*x978 + 20.3741087*x979 + 4.209392258*x980 + 20.79412006*x981 + 10.94542124*x982 + 27.30190508*x983 + 10.76745127*x984 + 28.61645792*x985 + 21.36928286*x986 + 22.00251736*x987 + 23.5026138*x988 + 5.65519888*x989 + 29.61540993*x990 + 24.77656584*x991 + 30.38670951*x992 + 38.1111037*x993 + 41.09215516*x994 + 39.51603847*x995 + 42.57421732*x996 + 7.145808534*x997 + 22.3159736*x998 + 26.13497003*x999 + 32.69577264*x1000 + 47.8612033*x1001 + 23.54234641*x1002 + 22.30991409*x1003 + 41.93028047*x1004 + 20.34561787*x1005 + 31.03061235*x1006 + 29.27435059*x1007 + 21.65468026*x1008 + 33.09083831*x1009 + 9.406135665*x1010 + 12.39083149*x1011 + 20.86148604*x1012 + 4.635980257*x1013 + 42.60606452*x1014 + 10.2665624*x1015 + 16.52143013*x1016 + 31.42749686*x1017 + 40.73312423*x1018 + 43.41448191*x1019 + 17.73022749*x1020 + 42.50735476*x1021 + 11.30048664*x1022 + 34.67489858*x1023 + 41.04851816*x1024 + 10.99867815*x1025 + 43.95004516*x1026 + 21.78446659*x1027 + 44.0892858*x1028 + 8.727715944*x1029 + 13.06525855*x1030 + 30.63018459*x1031 + 22.74841338*x1032 + 21.84544234*x1033 + 32.86191228*x1034 + 10.43997937*x1035 + 31.20050048*x1036 + 24.52370032*x1037 + 22.15981517*x1038 + 42.35134422*x1039 + 20.69784347*x1040 + 19.6203706*x1041 + 22.85777058*x1042 + 25.96201586*x1043 + 40.55992915*x1044 + 15.41175081*x1045 + 45.43767266*x1046 + 7.876874755*x1047 + 18.52387181*x1048 + 24.85392067*x1049 + 16.26674018*x1050 + 31.296258*x1051 + 4.29156087*x1052 + 39.41424765*x1053 + 19.70938948*x1054 + 39.1303359*x1055 + 22.53823131*x1056 + 27.60513137*x1057 + 32.66005054*x1058 + 8.195723935*x1059 + 26.99452164*x1060 + 41.21742739*x1061 + 33.47843905*x1062 + 44.24049157*x1063 + 31.97195828*x1064 + 14.60562997*x1065 + 36.31842739*x1066 + 44.58564601*x1067 + 13.08152753*x1068 + 19.95013017*x1069 + 39.95396632*x1070 + 37.57621268*x1071 + 36.55682792*x1072 + 48.49648649*x1073 + 44.9129531*x1074 + 41.88927654*x1075 + 40.04821676*x1076 + 22.59922709*x1077 + 43.80298502*x1078 + 46.53494405*x1079 + 35.48889027*x1080 + 61.17550415*x1081 + 14.39232028*x1082 + 38.47025292*x1083 + 55.44418461*x1084 + 36.07495224*x1085 + 49.84114973*x1086 + 30.05423601*x1087 + 1.301654831*x1088 + 31.98803741*x1089 + 23.26260672*x1090 + 10.51373564*x1091 + 2.916891738*x1092 + 24.13115865*x1093 + 51.57630029*x1094 + 25.57669523*x1095 + 6.639735357*x1096 + 26.81640781*x1097 + 37.51790945*x1098 + 35.48240993*x1099 + 34.20579295*x1100 + 39.4780827*x1101 + 12.62068444*x1102 + 23.69689762*x1103 + 31.56361235*x1104 + 21.22100795*x1105 + 35.45690153*x1106 + 4.848317135*x1107 + 43.3885794*x1108 + 30.83080142*x1109 + 10.62006193*x1110 + 33.30447677*x1111 + 44.58301094*x1112 + 38.79474413*x1113 + 36.61913859*x1114 + 24.61694506*x1115 + 41.75688487*x1116 + 34.81889774*x1117 + 2.273355593*x1118 + 34.89752299*x1119 + 6.35668952*x1120 + 21.21596287*x1121 + 21.16888795*x1122 + 44.71760281*x1123 + 48.03719197*x1124 + 36.42333037*x1125 + 56.10949235*x1126 + 15.42283043*x1127 + 14.12453189*x1128 + 4.519987491*x1129 + 27.43414441*x1130 + 50.10084724*x1131 + 24.81247168*x1132 + 52.41476327*x1133 + 32.63638124*x1134 + 34.93792202*x1135 + 32.4741556*x1136 + 13.04040189*x1137 + 16.85160753*x1138 + 7.677968225*x1139 + 23.5082956*x1140 + 31.48561853*x1141 + 27.88393507*x1142 + 31.53115633*x1143 + 24.65191393*x1144 + 9.59800707*x1145 + 23.42579639*x1146 + 37.88877114*x1147 + 4.79934248*x1148 + 21.8252623*x1149 + 24.83612623*x1150 + 23.50002096*x1151 + 20.79591798*x1152 + 33.05095916*x1153 + 29.12391976*x1154 + 26.21874698*x1155 + 25.60540864*x1156 + 15.38669752*x1157 + 35.02286067*x1158 + 36.2369266*x1159 + 19.66147942*x1160 + 46.12357142*x1161 + 3.911145911*x1162 + 25.94002952*x1163 + 40.59460473*x1164 + 23.65223747*x1165 + 37.92048392*x1166 + 14.29713006*x1167 + 14.80207723*x1168 + 16.70472417*x1169 + 14.37468038*x1170 + 13.09691573*x1171 + 13.07943527*x1172 + 18.51455457*x1173 + 35.85308733*x1174 + 16.14381106*x1175 + 12.11799301*x1176 + 12.56390009*x1177 + 23.2526792*x1178 + 23.75262413*x1179 + 22.57425583*x1180 + 25.21483948*x1181 + 18.02155947*x1182 + 14.16958848*x1183 + 20.86489339*x1184 + 11.53028528*x1185 + 24.12236272*x1186 + 19.48763959*x1187 + 28.43261958*x1188 + 24.91971818*x1189 + 17.22600759*x1190 + 17.45576255*x1191 + 36.24453321*x1192 + 26.69314666*x1193 + 20.75802305*x1194 + 14.99747354*x1195 + 26.59827776*x1196 + 20.09922061*x1197 + 13.6323132*x1198 + 22.82201613*x1199 + 9.516292478*x1200 + 5.953662324*x1201 + 5.325215961*x1202 + 33.16835427*x1203 + 32.21768098*x1204 + 27.99901711*x1205 + 40.56185016*x1206 + 17.809071*x1207 + 2.471090826*x1208 + 13.4916532*x1209 + 14.59520053*x1210 + 38.15807135*x1211 + 24.48347832*x1212 + 37.50205586*x1213 + 19.34519638*x1214 + 20.99433003*x1215 + 17.915611*x1216 =E= 0; e2.. - b2 + x1217 =L= 0; e3.. - b2 + x1218 =L= 0; e4.. - b2 + x1219 =L= 0; e5.. - b2 + x1220 =L= 0; e6.. - b2 + x1221 =L= 0; e7.. - b2 + x1222 =L= 0; e8.. - b2 + x1223 =L= 0; e9.. - b2 + x1224 =L= 0; e10.. - b2 + x1225 =L= 0; e11.. - b2 + x1226 =L= 0; e12.. - b2 + x1227 =L= 0; e13.. - b2 + x1228 =L= 0; e14.. - b2 + x1229 =L= 0; e15.. - b2 + x1230 =L= 0; e16.. - b2 + x1231 =L= 0; e17.. - b2 + x1232 =L= 0; e18.. - b2 + x1233 =L= 0; e19.. - b2 + x1234 =L= 0; e20.. - b2 + x1235 =L= 0; e21.. - b2 + x1236 =L= 0; e22.. - b2 + x1237 =L= 0; e23.. - b2 + x1238 =L= 0; e24.. - b2 + x1239 =L= 0; e25.. - b2 + x1240 =L= 0; e26.. - b2 + x1241 =L= 0; e27.. - b2 + x1242 =L= 0; e28.. - b2 + x1243 =L= 0; e29.. - b2 + x1244 =L= 0; e30.. - b2 + x1245 =L= 0; e31.. - b2 + x1246 =L= 0; e32.. - b2 + x1247 =L= 0; e33.. - b2 + x1248 =L= 0; e34.. - b2 + x1249 =L= 0; e35.. - b2 + x1250 =L= 0; e36.. - b2 + x1251 =L= 0; e37.. - b2 + x1252 =L= 0; e38.. - b2 + x1253 =L= 0; e39.. - b2 + x1254 =L= 0; e40.. - b2 + x1255 =L= 0; e41.. - b2 + x1256 =L= 0; e42.. - b2 + x1257 =L= 0; e43.. - b2 + x1258 =L= 0; e44.. - b2 + x1259 =L= 0; e45.. - b2 + x1260 =L= 0; e46.. - b2 + x1261 =L= 0; e47.. - b2 + x1262 =L= 0; e48.. - b2 + x1263 =L= 0; e49.. - b2 + x1264 =L= 0; e50.. - b2 + x1265 =L= 0; e51.. - b2 + x1266 =L= 0; e52.. - b2 + x1267 =L= 0; e53.. - b2 + x1268 =L= 0; e54.. - b2 + x1269 =L= 0; e55.. - b2 + x1270 =L= 0; e56.. - b2 + x1271 =L= 0; e57.. - b2 + x1272 =L= 0; e58.. - b2 + x1273 =L= 0; e59.. - b2 + x1274 =L= 0; e60.. - b2 + x1275 =L= 0; e61.. - b2 + x1276 =L= 0; e62.. - b2 + x1277 =L= 0; e63.. - b2 + x1278 =L= 0; e64.. - b2 + x1279 =L= 0; e65.. - b2 + x1280 =L= 0; e66.. - b2 + x1281 =L= 0; e67.. - b2 + x1282 =L= 0; e68.. - b2 + x1283 =L= 0; e69.. - b2 + x1284 =L= 0; e70.. - b2 + x1285 =L= 0; e71.. - b2 + x1286 =L= 0; e72.. - b2 + x1287 =L= 0; e73.. - b2 + x1288 =L= 0; e74.. - b2 + x1289 =L= 0; e75.. - b2 + x1290 =L= 0; e76.. - b2 + x1291 =L= 0; e77.. - b2 + x1292 =L= 0; e78.. - b2 + x1293 =L= 0; e79.. - b2 + x1294 =L= 0; e80.. - b2 + x1295 =L= 0; e81.. - b2 + x1296 =L= 0; e82.. - b3 + x1297 =L= 0; e83.. - b3 + x1298 =L= 0; e84.. - b3 + x1299 =L= 0; e85.. - b3 + x1300 =L= 0; e86.. - b3 + x1301 =L= 0; e87.. - b3 + x1302 =L= 0; e88.. - b3 + x1303 =L= 0; e89.. - b3 + x1304 =L= 0; e90.. - b3 + x1305 =L= 0; e91.. - b3 + x1306 =L= 0; e92.. - b3 + x1307 =L= 0; e93.. - b3 + x1308 =L= 0; e94.. - b3 + x1309 =L= 0; e95.. - b3 + x1310 =L= 0; e96.. - b3 + x1311 =L= 0; e97.. - b3 + x1312 =L= 0; e98.. - b3 + x1313 =L= 0; e99.. - b3 + x1314 =L= 0; e100.. - b3 + x1315 =L= 0; e101.. - b3 + x1316 =L= 0; e102.. - b3 + x1317 =L= 0; e103.. - b3 + x1318 =L= 0; e104.. - b3 + x1319 =L= 0; e105.. - b3 + x1320 =L= 0; e106.. - b3 + x1321 =L= 0; e107.. - b3 + x1322 =L= 0; e108.. - b3 + x1323 =L= 0; e109.. - b3 + x1324 =L= 0; e110.. - b3 + x1325 =L= 0; e111.. - b3 + x1326 =L= 0; e112.. - b3 + x1327 =L= 0; e113.. - b3 + x1328 =L= 0; e114.. - b3 + x1329 =L= 0; e115.. - b3 + x1330 =L= 0; e116.. - b3 + x1331 =L= 0; e117.. - b3 + x1332 =L= 0; e118.. - b3 + x1333 =L= 0; e119.. - b3 + x1334 =L= 0; e120.. - b3 + x1335 =L= 0; e121.. - b3 + x1336 =L= 0; e122.. - b3 + x1337 =L= 0; e123.. - b3 + x1338 =L= 0; e124.. - b3 + x1339 =L= 0; e125.. - b3 + x1340 =L= 0; e126.. - b3 + x1341 =L= 0; e127.. - b3 + x1342 =L= 0; e128.. - b3 + x1343 =L= 0; e129.. - b3 + x1344 =L= 0; e130.. - b3 + x1345 =L= 0; e131.. - b3 + x1346 =L= 0; e132.. - b3 + x1347 =L= 0; e133.. - b3 + x1348 =L= 0; e134.. - b3 + x1349 =L= 0; e135.. - b3 + x1350 =L= 0; e136.. - b3 + x1351 =L= 0; e137.. - b3 + x1352 =L= 0; e138.. - b3 + x1353 =L= 0; e139.. - b3 + x1354 =L= 0; e140.. - b3 + x1355 =L= 0; e141.. - b3 + x1356 =L= 0; e142.. - b3 + x1357 =L= 0; e143.. - b3 + x1358 =L= 0; e144.. - b3 + x1359 =L= 0; e145.. - b3 + x1360 =L= 0; e146.. - b3 + x1361 =L= 0; e147.. - b3 + x1362 =L= 0; e148.. - b3 + x1363 =L= 0; e149.. - b3 + x1364 =L= 0; e150.. - b3 + x1365 =L= 0; e151.. - b3 + x1366 =L= 0; e152.. - b3 + x1367 =L= 0; e153.. - b3 + x1368 =L= 0; e154.. - b3 + x1369 =L= 0; e155.. - b3 + x1370 =L= 0; e156.. - b3 + x1371 =L= 0; e157.. - b3 + x1372 =L= 0; e158.. - b3 + x1373 =L= 0; e159.. - b3 + x1374 =L= 0; e160.. - b3 + x1375 =L= 0; e161.. - b3 + x1376 =L= 0; e162.. - b4 + x1377 =L= 0; e163.. - b4 + x1378 =L= 0; e164.. - b4 + x1379 =L= 0; e165.. - b4 + x1380 =L= 0; e166.. - b4 + x1381 =L= 0; e167.. - b4 + x1382 =L= 0; e168.. - b4 + x1383 =L= 0; e169.. - b4 + x1384 =L= 0; e170.. - b4 + x1385 =L= 0; e171.. - b4 + x1386 =L= 0; e172.. - b4 + x1387 =L= 0; e173.. - b4 + x1388 =L= 0; e174.. - b4 + x1389 =L= 0; e175.. - b4 + x1390 =L= 0; e176.. - b4 + x1391 =L= 0; e177.. - b4 + x1392 =L= 0; e178.. - b4 + x1393 =L= 0; e179.. - b4 + x1394 =L= 0; e180.. - b4 + x1395 =L= 0; e181.. - b4 + x1396 =L= 0; e182.. - b4 + x1397 =L= 0; e183.. - b4 + x1398 =L= 0; e184.. - b4 + x1399 =L= 0; e185.. - b4 + x1400 =L= 0; e186.. - b4 + x1401 =L= 0; e187.. - b4 + x1402 =L= 0; e188.. - b4 + x1403 =L= 0; e189.. - b4 + x1404 =L= 0; e190.. - b4 + x1405 =L= 0; e191.. - b4 + x1406 =L= 0; e192.. - b4 + x1407 =L= 0; e193.. - b4 + x1408 =L= 0; e194.. - b4 + x1409 =L= 0; e195.. - b4 + x1410 =L= 0; e196.. - b4 + x1411 =L= 0; e197.. - b4 + x1412 =L= 0; e198.. - b4 + x1413 =L= 0; e199.. - b4 + x1414 =L= 0; e200.. - b4 + x1415 =L= 0; e201.. - b4 + x1416 =L= 0; e202.. - b4 + x1417 =L= 0; e203.. - b4 + x1418 =L= 0; e204.. - b4 + x1419 =L= 0; e205.. - b4 + x1420 =L= 0; e206.. - b4 + x1421 =L= 0; e207.. - b4 + x1422 =L= 0; e208.. - b4 + x1423 =L= 0; e209.. - b4 + x1424 =L= 0; e210.. - b4 + x1425 =L= 0; e211.. - b4 + x1426 =L= 0; e212.. - b4 + x1427 =L= 0; e213.. - b4 + x1428 =L= 0; e214.. - b4 + x1429 =L= 0; e215.. - b4 + x1430 =L= 0; e216.. - b4 + x1431 =L= 0; e217.. - b4 + x1432 =L= 0; e218.. - b4 + x1433 =L= 0; e219.. - b4 + x1434 =L= 0; e220.. - b4 + x1435 =L= 0; e221.. - b4 + x1436 =L= 0; e222.. - b4 + x1437 =L= 0; e223.. - b4 + x1438 =L= 0; e224.. - b4 + x1439 =L= 0; e225.. - b4 + x1440 =L= 0; e226.. - b4 + x1441 =L= 0; e227.. - b4 + x1442 =L= 0; e228.. - b4 + x1443 =L= 0; e229.. - b4 + x1444 =L= 0; e230.. - b4 + x1445 =L= 0; e231.. - b4 + x1446 =L= 0; e232.. - b4 + x1447 =L= 0; e233.. - b4 + x1448 =L= 0; e234.. - b4 + x1449 =L= 0; e235.. - b4 + x1450 =L= 0; e236.. - b4 + x1451 =L= 0; e237.. - b4 + x1452 =L= 0; e238.. - b4 + x1453 =L= 0; e239.. - b4 + x1454 =L= 0; e240.. - b4 + x1455 =L= 0; e241.. - b4 + x1456 =L= 0; e242.. - b5 + x1457 =L= 0; e243.. - b5 + x1458 =L= 0; e244.. - b5 + x1459 =L= 0; e245.. - b5 + x1460 =L= 0; e246.. - b5 + x1461 =L= 0; e247.. - b5 + x1462 =L= 0; e248.. - b5 + x1463 =L= 0; e249.. - b5 + x1464 =L= 0; e250.. - b5 + x1465 =L= 0; e251.. - b5 + x1466 =L= 0; e252.. - b5 + x1467 =L= 0; e253.. - b5 + x1468 =L= 0; e254.. - b5 + x1469 =L= 0; e255.. - b5 + x1470 =L= 0; e256.. - b5 + x1471 =L= 0; e257.. - b5 + x1472 =L= 0; e258.. - b5 + x1473 =L= 0; e259.. - b5 + x1474 =L= 0; e260.. - b5 + x1475 =L= 0; e261.. - b5 + x1476 =L= 0; e262.. - b5 + x1477 =L= 0; e263.. - b5 + x1478 =L= 0; e264.. - b5 + x1479 =L= 0; e265.. - b5 + x1480 =L= 0; e266.. - b5 + x1481 =L= 0; e267.. - b5 + x1482 =L= 0; e268.. - b5 + x1483 =L= 0; e269.. - b5 + x1484 =L= 0; e270.. - b5 + x1485 =L= 0; e271.. - b5 + x1486 =L= 0; e272.. - b5 + x1487 =L= 0; e273.. - b5 + x1488 =L= 0; e274.. - b5 + x1489 =L= 0; e275.. - b5 + x1490 =L= 0; e276.. - b5 + x1491 =L= 0; e277.. - b5 + x1492 =L= 0; e278.. - b5 + x1493 =L= 0; e279.. - b5 + x1494 =L= 0; e280.. - b5 + x1495 =L= 0; e281.. - b5 + x1496 =L= 0; e282.. - b5 + x1497 =L= 0; e283.. - b5 + x1498 =L= 0; e284.. - b5 + x1499 =L= 0; e285.. - b5 + x1500 =L= 0; e286.. - b5 + x1501 =L= 0; e287.. - b5 + x1502 =L= 0; e288.. - b5 + x1503 =L= 0; e289.. - b5 + x1504 =L= 0; e290.. - b5 + x1505 =L= 0; e291.. - b5 + x1506 =L= 0; e292.. - b5 + x1507 =L= 0; e293.. - b5 + x1508 =L= 0; e294.. - b5 + x1509 =L= 0; e295.. - b5 + x1510 =L= 0; e296.. - b5 + x1511 =L= 0; e297.. - b5 + x1512 =L= 0; e298.. - b5 + x1513 =L= 0; e299.. - b5 + x1514 =L= 0; e300.. - b5 + x1515 =L= 0; e301.. - b5 + x1516 =L= 0; e302.. - b5 + x1517 =L= 0; e303.. - b5 + x1518 =L= 0; e304.. - b5 + x1519 =L= 0; e305.. - b5 + x1520 =L= 0; e306.. - b5 + x1521 =L= 0; e307.. - b5 + x1522 =L= 0; e308.. - b5 + x1523 =L= 0; e309.. - b5 + x1524 =L= 0; e310.. - b5 + x1525 =L= 0; e311.. - b5 + x1526 =L= 0; e312.. - b5 + x1527 =L= 0; e313.. - b5 + x1528 =L= 0; e314.. - b5 + x1529 =L= 0; e315.. - b5 + x1530 =L= 0; e316.. - b5 + x1531 =L= 0; e317.. - b5 + x1532 =L= 0; e318.. - b5 + x1533 =L= 0; e319.. - b5 + x1534 =L= 0; e320.. - b5 + x1535 =L= 0; e321.. - b5 + x1536 =L= 0; e322.. - b6 + x1537 =L= 0; e323.. - b6 + x1538 =L= 0; e324.. - b6 + x1539 =L= 0; e325.. - b6 + x1540 =L= 0; e326.. - b6 + x1541 =L= 0; e327.. - b6 + x1542 =L= 0; e328.. - b6 + x1543 =L= 0; e329.. - b6 + x1544 =L= 0; e330.. - b6 + x1545 =L= 0; e331.. - b6 + x1546 =L= 0; e332.. - b6 + x1547 =L= 0; e333.. - b6 + x1548 =L= 0; e334.. - b6 + x1549 =L= 0; e335.. - b6 + x1550 =L= 0; e336.. - b6 + x1551 =L= 0; e337.. - b6 + x1552 =L= 0; e338.. - b6 + x1553 =L= 0; e339.. - b6 + x1554 =L= 0; e340.. - b6 + x1555 =L= 0; e341.. - b6 + x1556 =L= 0; e342.. - b6 + x1557 =L= 0; e343.. - b6 + x1558 =L= 0; e344.. - b6 + x1559 =L= 0; e345.. - b6 + x1560 =L= 0; e346.. - b6 + x1561 =L= 0; e347.. - b6 + x1562 =L= 0; e348.. - b6 + x1563 =L= 0; e349.. - b6 + x1564 =L= 0; e350.. - b6 + x1565 =L= 0; e351.. - b6 + x1566 =L= 0; e352.. - b6 + x1567 =L= 0; e353.. - b6 + x1568 =L= 0; e354.. - b6 + x1569 =L= 0; e355.. - b6 + x1570 =L= 0; e356.. - b6 + x1571 =L= 0; e357.. - b6 + x1572 =L= 0; e358.. - b6 + x1573 =L= 0; e359.. - b6 + x1574 =L= 0; e360.. - b6 + x1575 =L= 0; e361.. - b6 + x1576 =L= 0; e362.. - b6 + x1577 =L= 0; e363.. - b6 + x1578 =L= 0; e364.. - b6 + x1579 =L= 0; e365.. - b6 + x1580 =L= 0; e366.. - b6 + x1581 =L= 0; e367.. - b6 + x1582 =L= 0; e368.. - b6 + x1583 =L= 0; e369.. - b6 + x1584 =L= 0; e370.. - b6 + x1585 =L= 0; e371.. - b6 + x1586 =L= 0; e372.. - b6 + x1587 =L= 0; e373.. - b6 + x1588 =L= 0; e374.. - b6 + x1589 =L= 0; e375.. - b6 + x1590 =L= 0; e376.. - b6 + x1591 =L= 0; e377.. - b6 + x1592 =L= 0; e378.. - b6 + x1593 =L= 0; e379.. - b6 + x1594 =L= 0; e380.. - b6 + x1595 =L= 0; e381.. - b6 + x1596 =L= 0; e382.. - b6 + x1597 =L= 0; e383.. - b6 + x1598 =L= 0; e384.. - b6 + x1599 =L= 0; e385.. - b6 + x1600 =L= 0; e386.. - b6 + x1601 =L= 0; e387.. - b6 + x1602 =L= 0; e388.. - b6 + x1603 =L= 0; e389.. - b6 + x1604 =L= 0; e390.. - b6 + x1605 =L= 0; e391.. - b6 + x1606 =L= 0; e392.. - b6 + x1607 =L= 0; e393.. - b6 + x1608 =L= 0; e394.. - b6 + x1609 =L= 0; e395.. - b6 + x1610 =L= 0; e396.. - b6 + x1611 =L= 0; e397.. - b6 + x1612 =L= 0; e398.. - b6 + x1613 =L= 0; e399.. - b6 + x1614 =L= 0; e400.. - b6 + x1615 =L= 0; e401.. - b6 + x1616 =L= 0; e402.. - b7 + x1617 =L= 0; e403.. - b7 + x1618 =L= 0; e404.. - b7 + x1619 =L= 0; e405.. - b7 + x1620 =L= 0; e406.. - b7 + x1621 =L= 0; e407.. - b7 + x1622 =L= 0; e408.. - b7 + x1623 =L= 0; e409.. - b7 + x1624 =L= 0; e410.. - b7 + x1625 =L= 0; e411.. - b7 + x1626 =L= 0; e412.. - b7 + x1627 =L= 0; e413.. - b7 + x1628 =L= 0; e414.. - b7 + x1629 =L= 0; e415.. - b7 + x1630 =L= 0; e416.. - b7 + x1631 =L= 0; e417.. - b7 + x1632 =L= 0; e418.. - b7 + x1633 =L= 0; e419.. - b7 + x1634 =L= 0; e420.. - b7 + x1635 =L= 0; e421.. - b7 + x1636 =L= 0; e422.. - b7 + x1637 =L= 0; e423.. - b7 + x1638 =L= 0; e424.. - b7 + x1639 =L= 0; e425.. - b7 + x1640 =L= 0; e426.. - b7 + x1641 =L= 0; e427.. - b7 + x1642 =L= 0; e428.. - b7 + x1643 =L= 0; e429.. - b7 + x1644 =L= 0; e430.. - b7 + x1645 =L= 0; e431.. - b7 + x1646 =L= 0; e432.. - b7 + x1647 =L= 0; e433.. - b7 + x1648 =L= 0; e434.. - b7 + x1649 =L= 0; e435.. - b7 + x1650 =L= 0; e436.. - b7 + x1651 =L= 0; e437.. - b7 + x1652 =L= 0; e438.. - b7 + x1653 =L= 0; e439.. - b7 + x1654 =L= 0; e440.. - b7 + x1655 =L= 0; e441.. - b7 + x1656 =L= 0; e442.. - b7 + x1657 =L= 0; e443.. - b7 + x1658 =L= 0; e444.. - b7 + x1659 =L= 0; e445.. - b7 + x1660 =L= 0; e446.. - b7 + x1661 =L= 0; e447.. - b7 + x1662 =L= 0; e448.. - b7 + x1663 =L= 0; e449.. - b7 + x1664 =L= 0; e450.. - b7 + x1665 =L= 0; e451.. - b7 + x1666 =L= 0; e452.. - b7 + x1667 =L= 0; e453.. - b7 + x1668 =L= 0; e454.. - b7 + x1669 =L= 0; e455.. - b7 + x1670 =L= 0; e456.. - b7 + x1671 =L= 0; e457.. - b7 + x1672 =L= 0; e458.. - b7 + x1673 =L= 0; e459.. - b7 + x1674 =L= 0; e460.. - b7 + x1675 =L= 0; e461.. - b7 + x1676 =L= 0; e462.. - b7 + x1677 =L= 0; e463.. - b7 + x1678 =L= 0; e464.. - b7 + x1679 =L= 0; e465.. - b7 + x1680 =L= 0; e466.. - b7 + x1681 =L= 0; e467.. - b7 + x1682 =L= 0; e468.. - b7 + x1683 =L= 0; e469.. - b7 + x1684 =L= 0; e470.. - b7 + x1685 =L= 0; e471.. - b7 + x1686 =L= 0; e472.. - b7 + x1687 =L= 0; e473.. - b7 + x1688 =L= 0; e474.. - b7 + x1689 =L= 0; e475.. - b7 + x1690 =L= 0; e476.. - b7 + x1691 =L= 0; e477.. - b7 + x1692 =L= 0; e478.. - b7 + x1693 =L= 0; e479.. - b7 + x1694 =L= 0; e480.. - b7 + x1695 =L= 0; e481.. - b7 + x1696 =L= 0; e482.. - b8 + x1697 =L= 0; e483.. - b8 + x1698 =L= 0; e484.. - b8 + x1699 =L= 0; e485.. - b8 + x1700 =L= 0; e486.. - b8 + x1701 =L= 0; e487.. - b8 + x1702 =L= 0; e488.. - b8 + x1703 =L= 0; e489.. - b8 + x1704 =L= 0; e490.. - b8 + x1705 =L= 0; e491.. - b8 + x1706 =L= 0; e492.. - b8 + x1707 =L= 0; e493.. - b8 + x1708 =L= 0; e494.. - b8 + x1709 =L= 0; e495.. - b8 + x1710 =L= 0; e496.. - b8 + x1711 =L= 0; e497.. - b8 + x1712 =L= 0; e498.. - b8 + x1713 =L= 0; e499.. - b8 + x1714 =L= 0; e500.. - b8 + x1715 =L= 0; e501.. - b8 + x1716 =L= 0; e502.. - b8 + x1717 =L= 0; e503.. - b8 + x1718 =L= 0; e504.. - b8 + x1719 =L= 0; e505.. - b8 + x1720 =L= 0; e506.. - b8 + x1721 =L= 0; e507.. - b8 + x1722 =L= 0; e508.. - b8 + x1723 =L= 0; e509.. - b8 + x1724 =L= 0; e510.. - b8 + x1725 =L= 0; e511.. - b8 + x1726 =L= 0; e512.. - b8 + x1727 =L= 0; e513.. - b8 + x1728 =L= 0; e514.. - b8 + x1729 =L= 0; e515.. - b8 + x1730 =L= 0; e516.. - b8 + x1731 =L= 0; e517.. - b8 + x1732 =L= 0; e518.. - b8 + x1733 =L= 0; e519.. - b8 + x1734 =L= 0; e520.. - b8 + x1735 =L= 0; e521.. - b8 + x1736 =L= 0; e522.. - b8 + x1737 =L= 0; e523.. - b8 + x1738 =L= 0; e524.. - b8 + x1739 =L= 0; e525.. - b8 + x1740 =L= 0; e526.. - b8 + x1741 =L= 0; e527.. - b8 + x1742 =L= 0; e528.. - b8 + x1743 =L= 0; e529.. - b8 + x1744 =L= 0; e530.. - b8 + x1745 =L= 0; e531.. - b8 + x1746 =L= 0; e532.. - b8 + x1747 =L= 0; e533.. - b8 + x1748 =L= 0; e534.. - b8 + x1749 =L= 0; e535.. - b8 + x1750 =L= 0; e536.. - b8 + x1751 =L= 0; e537.. - b8 + x1752 =L= 0; e538.. - b8 + x1753 =L= 0; e539.. - b8 + x1754 =L= 0; e540.. - b8 + x1755 =L= 0; e541.. - b8 + x1756 =L= 0; e542.. - b8 + x1757 =L= 0; e543.. - b8 + x1758 =L= 0; e544.. - b8 + x1759 =L= 0; e545.. - b8 + x1760 =L= 0; e546.. - b8 + x1761 =L= 0; e547.. - b8 + x1762 =L= 0; e548.. - b8 + x1763 =L= 0; e549.. - b8 + x1764 =L= 0; e550.. - b8 + x1765 =L= 0; e551.. - b8 + x1766 =L= 0; e552.. - b8 + x1767 =L= 0; e553.. - b8 + x1768 =L= 0; e554.. - b8 + x1769 =L= 0; e555.. - b8 + x1770 =L= 0; e556.. - b8 + x1771 =L= 0; e557.. - b8 + x1772 =L= 0; e558.. - b8 + x1773 =L= 0; e559.. - b8 + x1774 =L= 0; e560.. - b8 + x1775 =L= 0; e561.. - b8 + x1776 =L= 0; e562.. - b9 + x1777 =L= 0; e563.. - b9 + x1778 =L= 0; e564.. - b9 + x1779 =L= 0; e565.. - b9 + x1780 =L= 0; e566.. - b9 + x1781 =L= 0; e567.. - b9 + x1782 =L= 0; e568.. - b9 + x1783 =L= 0; e569.. - b9 + x1784 =L= 0; e570.. - b9 + x1785 =L= 0; e571.. - b9 + x1786 =L= 0; e572.. - b9 + x1787 =L= 0; e573.. - b9 + x1788 =L= 0; e574.. - b9 + x1789 =L= 0; e575.. - b9 + x1790 =L= 0; e576.. - b9 + x1791 =L= 0; e577.. - b9 + x1792 =L= 0; e578.. - b9 + x1793 =L= 0; e579.. - b9 + x1794 =L= 0; e580.. - b9 + x1795 =L= 0; e581.. - b9 + x1796 =L= 0; e582.. - b9 + x1797 =L= 0; e583.. - b9 + x1798 =L= 0; e584.. - b9 + x1799 =L= 0; e585.. - b9 + x1800 =L= 0; e586.. - b9 + x1801 =L= 0; e587.. - b9 + x1802 =L= 0; e588.. - b9 + x1803 =L= 0; e589.. - b9 + x1804 =L= 0; e590.. - b9 + x1805 =L= 0; e591.. - b9 + x1806 =L= 0; e592.. - b9 + x1807 =L= 0; e593.. - b9 + x1808 =L= 0; e594.. - b9 + x1809 =L= 0; e595.. - b9 + x1810 =L= 0; e596.. - b9 + x1811 =L= 0; e597.. - b9 + x1812 =L= 0; e598.. - b9 + x1813 =L= 0; e599.. - b9 + x1814 =L= 0; e600.. - b9 + x1815 =L= 0; e601.. - b9 + x1816 =L= 0; e602.. - b9 + x1817 =L= 0; e603.. - b9 + x1818 =L= 0; e604.. - b9 + x1819 =L= 0; e605.. - b9 + x1820 =L= 0; e606.. - b9 + x1821 =L= 0; e607.. - b9 + x1822 =L= 0; e608.. - b9 + x1823 =L= 0; e609.. - b9 + x1824 =L= 0; e610.. - b9 + x1825 =L= 0; e611.. - b9 + x1826 =L= 0; e612.. - b9 + x1827 =L= 0; e613.. - b9 + x1828 =L= 0; e614.. - b9 + x1829 =L= 0; e615.. - b9 + x1830 =L= 0; e616.. - b9 + x1831 =L= 0; e617.. - b9 + x1832 =L= 0; e618.. - b9 + x1833 =L= 0; e619.. - b9 + x1834 =L= 0; e620.. - b9 + x1835 =L= 0; e621.. - b9 + x1836 =L= 0; e622.. - b9 + x1837 =L= 0; e623.. - b9 + x1838 =L= 0; e624.. - b9 + x1839 =L= 0; e625.. - b9 + x1840 =L= 0; e626.. - b9 + x1841 =L= 0; e627.. - b9 + x1842 =L= 0; e628.. - b9 + x1843 =L= 0; e629.. - b9 + x1844 =L= 0; e630.. - b9 + x1845 =L= 0; e631.. - b9 + x1846 =L= 0; e632.. - b9 + x1847 =L= 0; e633.. - b9 + x1848 =L= 0; e634.. - b9 + x1849 =L= 0; e635.. - b9 + x1850 =L= 0; e636.. - b9 + x1851 =L= 0; e637.. - b9 + x1852 =L= 0; e638.. - b9 + x1853 =L= 0; e639.. - b9 + x1854 =L= 0; e640.. - b9 + x1855 =L= 0; e641.. - b9 + x1856 =L= 0; e642.. - b10 + x1857 =L= 0; e643.. - b10 + x1858 =L= 0; e644.. - b10 + x1859 =L= 0; e645.. - b10 + x1860 =L= 0; e646.. - b10 + x1861 =L= 0; e647.. - b10 + x1862 =L= 0; e648.. - b10 + x1863 =L= 0; e649.. - b10 + x1864 =L= 0; e650.. - b10 + x1865 =L= 0; e651.. - b10 + x1866 =L= 0; e652.. - b10 + x1867 =L= 0; e653.. - b10 + x1868 =L= 0; e654.. - b10 + x1869 =L= 0; e655.. - b10 + x1870 =L= 0; e656.. - b10 + x1871 =L= 0; e657.. - b10 + x1872 =L= 0; e658.. - b10 + x1873 =L= 0; e659.. - b10 + x1874 =L= 0; e660.. - b10 + x1875 =L= 0; e661.. - b10 + x1876 =L= 0; e662.. - b10 + x1877 =L= 0; e663.. - b10 + x1878 =L= 0; e664.. - b10 + x1879 =L= 0; e665.. - b10 + x1880 =L= 0; e666.. - b10 + x1881 =L= 0; e667.. - b10 + x1882 =L= 0; e668.. - b10 + x1883 =L= 0; e669.. - b10 + x1884 =L= 0; e670.. - b10 + x1885 =L= 0; e671.. - b10 + x1886 =L= 0; e672.. - b10 + x1887 =L= 0; e673.. - b10 + x1888 =L= 0; e674.. - b10 + x1889 =L= 0; e675.. - b10 + x1890 =L= 0; e676.. - b10 + x1891 =L= 0; e677.. - b10 + x1892 =L= 0; e678.. - b10 + x1893 =L= 0; e679.. - b10 + x1894 =L= 0; e680.. - b10 + x1895 =L= 0; e681.. - b10 + x1896 =L= 0; e682.. - b10 + x1897 =L= 0; e683.. - b10 + x1898 =L= 0; e684.. - b10 + x1899 =L= 0; e685.. - b10 + x1900 =L= 0; e686.. - b10 + x1901 =L= 0; e687.. - b10 + x1902 =L= 0; e688.. - b10 + x1903 =L= 0; e689.. - b10 + x1904 =L= 0; e690.. - b10 + x1905 =L= 0; e691.. - b10 + x1906 =L= 0; e692.. - b10 + x1907 =L= 0; e693.. - b10 + x1908 =L= 0; e694.. - b10 + x1909 =L= 0; e695.. - b10 + x1910 =L= 0; e696.. - b10 + x1911 =L= 0; e697.. - b10 + x1912 =L= 0; e698.. - b10 + x1913 =L= 0; e699.. - b10 + x1914 =L= 0; e700.. - b10 + x1915 =L= 0; e701.. - b10 + x1916 =L= 0; e702.. - b10 + x1917 =L= 0; e703.. - b10 + x1918 =L= 0; e704.. - b10 + x1919 =L= 0; e705.. - b10 + x1920 =L= 0; e706.. - b10 + x1921 =L= 0; e707.. - b10 + x1922 =L= 0; e708.. - b10 + x1923 =L= 0; e709.. - b10 + x1924 =L= 0; e710.. - b10 + x1925 =L= 0; e711.. - b10 + x1926 =L= 0; e712.. - b10 + x1927 =L= 0; e713.. - b10 + x1928 =L= 0; e714.. - b10 + x1929 =L= 0; e715.. - b10 + x1930 =L= 0; e716.. - b10 + x1931 =L= 0; e717.. - b10 + x1932 =L= 0; e718.. - b10 + x1933 =L= 0; e719.. - b10 + x1934 =L= 0; e720.. - b10 + x1935 =L= 0; e721.. - b10 + x1936 =L= 0; e722.. - b11 + x1937 =L= 0; e723.. - b11 + x1938 =L= 0; e724.. - b11 + x1939 =L= 0; e725.. - b11 + x1940 =L= 0; e726.. - b11 + x1941 =L= 0; e727.. - b11 + x1942 =L= 0; e728.. - b11 + x1943 =L= 0; e729.. - b11 + x1944 =L= 0; e730.. - b11 + x1945 =L= 0; e731.. - b11 + x1946 =L= 0; e732.. - b11 + x1947 =L= 0; e733.. - b11 + x1948 =L= 0; e734.. - b11 + x1949 =L= 0; e735.. - b11 + x1950 =L= 0; e736.. - b11 + x1951 =L= 0; e737.. - b11 + x1952 =L= 0; e738.. - b11 + x1953 =L= 0; e739.. - b11 + x1954 =L= 0; e740.. - b11 + x1955 =L= 0; e741.. - b11 + x1956 =L= 0; e742.. - b11 + x1957 =L= 0; e743.. - b11 + x1958 =L= 0; e744.. - b11 + x1959 =L= 0; e745.. - b11 + x1960 =L= 0; e746.. - b11 + x1961 =L= 0; e747.. - b11 + x1962 =L= 0; e748.. - b11 + x1963 =L= 0; e749.. - b11 + x1964 =L= 0; e750.. - b11 + x1965 =L= 0; e751.. - b11 + x1966 =L= 0; e752.. - b11 + x1967 =L= 0; e753.. - b11 + x1968 =L= 0; e754.. - b11 + x1969 =L= 0; e755.. - b11 + x1970 =L= 0; e756.. - b11 + x1971 =L= 0; e757.. - b11 + x1972 =L= 0; e758.. - b11 + x1973 =L= 0; e759.. - b11 + x1974 =L= 0; e760.. - b11 + x1975 =L= 0; e761.. - b11 + x1976 =L= 0; e762.. - b11 + x1977 =L= 0; e763.. - b11 + x1978 =L= 0; e764.. - b11 + x1979 =L= 0; e765.. - b11 + x1980 =L= 0; e766.. - b11 + x1981 =L= 0; e767.. - b11 + x1982 =L= 0; e768.. - b11 + x1983 =L= 0; e769.. - b11 + x1984 =L= 0; e770.. - b11 + x1985 =L= 0; e771.. - b11 + x1986 =L= 0; e772.. - b11 + x1987 =L= 0; e773.. - b11 + x1988 =L= 0; e774.. - b11 + x1989 =L= 0; e775.. - b11 + x1990 =L= 0; e776.. - b11 + x1991 =L= 0; e777.. - b11 + x1992 =L= 0; e778.. - b11 + x1993 =L= 0; e779.. - b11 + x1994 =L= 0; e780.. - b11 + x1995 =L= 0; e781.. - b11 + x1996 =L= 0; e782.. - b11 + x1997 =L= 0; e783.. - b11 + x1998 =L= 0; e784.. - b11 + x1999 =L= 0; e785.. - b11 + x2000 =L= 0; e786.. - b11 + x2001 =L= 0; e787.. - b11 + x2002 =L= 0; e788.. - b11 + x2003 =L= 0; e789.. - b11 + x2004 =L= 0; e790.. - b11 + x2005 =L= 0; e791.. - b11 + x2006 =L= 0; e792.. - b11 + x2007 =L= 0; e793.. - b11 + x2008 =L= 0; e794.. - b11 + x2009 =L= 0; e795.. - b11 + x2010 =L= 0; e796.. - b11 + x2011 =L= 0; e797.. - b11 + x2012 =L= 0; e798.. - b11 + x2013 =L= 0; e799.. - b11 + x2014 =L= 0; e800.. - b11 + x2015 =L= 0; e801.. - b11 + x2016 =L= 0; e802.. - b12 + x2017 =L= 0; e803.. - b12 + x2018 =L= 0; e804.. - b12 + x2019 =L= 0; e805.. - b12 + x2020 =L= 0; e806.. - b12 + x2021 =L= 0; e807.. - b12 + x2022 =L= 0; e808.. - b12 + x2023 =L= 0; e809.. - b12 + x2024 =L= 0; e810.. - b12 + x2025 =L= 0; e811.. - b12 + x2026 =L= 0; e812.. - b12 + x2027 =L= 0; e813.. - b12 + x2028 =L= 0; e814.. - b12 + x2029 =L= 0; e815.. - b12 + x2030 =L= 0; e816.. - b12 + x2031 =L= 0; e817.. - b12 + x2032 =L= 0; e818.. - b12 + x2033 =L= 0; e819.. - b12 + x2034 =L= 0; e820.. - b12 + x2035 =L= 0; e821.. - b12 + x2036 =L= 0; e822.. - b12 + x2037 =L= 0; e823.. - b12 + x2038 =L= 0; e824.. - b12 + x2039 =L= 0; e825.. - b12 + x2040 =L= 0; e826.. - b12 + x2041 =L= 0; e827.. - b12 + x2042 =L= 0; e828.. - b12 + x2043 =L= 0; e829.. - b12 + x2044 =L= 0; e830.. - b12 + x2045 =L= 0; e831.. - b12 + x2046 =L= 0; e832.. - b12 + x2047 =L= 0; e833.. - b12 + x2048 =L= 0; e834.. - b12 + x2049 =L= 0; e835.. - b12 + x2050 =L= 0; e836.. - b12 + x2051 =L= 0; e837.. - b12 + x2052 =L= 0; e838.. - b12 + x2053 =L= 0; e839.. - b12 + x2054 =L= 0; e840.. - b12 + x2055 =L= 0; e841.. - b12 + x2056 =L= 0; e842.. - b12 + x2057 =L= 0; e843.. - b12 + x2058 =L= 0; e844.. - b12 + x2059 =L= 0; e845.. - b12 + x2060 =L= 0; e846.. - b12 + x2061 =L= 0; e847.. - b12 + x2062 =L= 0; e848.. - b12 + x2063 =L= 0; e849.. - b12 + x2064 =L= 0; e850.. - b12 + x2065 =L= 0; e851.. - b12 + x2066 =L= 0; e852.. - b12 + x2067 =L= 0; e853.. - b12 + x2068 =L= 0; e854.. - b12 + x2069 =L= 0; e855.. - b12 + x2070 =L= 0; e856.. - b12 + x2071 =L= 0; e857.. - b12 + x2072 =L= 0; e858.. - b12 + x2073 =L= 0; e859.. - b12 + x2074 =L= 0; e860.. - b12 + x2075 =L= 0; e861.. - b12 + x2076 =L= 0; e862.. - b12 + x2077 =L= 0; e863.. - b12 + x2078 =L= 0; e864.. - b12 + x2079 =L= 0; e865.. - b12 + x2080 =L= 0; e866.. - b12 + x2081 =L= 0; e867.. - b12 + x2082 =L= 0; e868.. - b12 + x2083 =L= 0; e869.. - b12 + x2084 =L= 0; e870.. - b12 + x2085 =L= 0; e871.. - b12 + x2086 =L= 0; e872.. - b12 + x2087 =L= 0; e873.. - b12 + x2088 =L= 0; e874.. - b12 + x2089 =L= 0; e875.. - b12 + x2090 =L= 0; e876.. - b12 + x2091 =L= 0; e877.. - b12 + x2092 =L= 0; e878.. - b12 + x2093 =L= 0; e879.. - b12 + x2094 =L= 0; e880.. - b12 + x2095 =L= 0; e881.. - b12 + x2096 =L= 0; e882.. - b13 + x2097 =L= 0; e883.. - b13 + x2098 =L= 0; e884.. - b13 + x2099 =L= 0; e885.. - b13 + x2100 =L= 0; e886.. - b13 + x2101 =L= 0; e887.. - b13 + x2102 =L= 0; e888.. - b13 + x2103 =L= 0; e889.. - b13 + x2104 =L= 0; e890.. - b13 + x2105 =L= 0; e891.. - b13 + x2106 =L= 0; e892.. - b13 + x2107 =L= 0; e893.. - b13 + x2108 =L= 0; e894.. - b13 + x2109 =L= 0; e895.. - b13 + x2110 =L= 0; e896.. - b13 + x2111 =L= 0; e897.. - b13 + x2112 =L= 0; e898.. - b13 + x2113 =L= 0; e899.. - b13 + x2114 =L= 0; e900.. - b13 + x2115 =L= 0; e901.. - b13 + x2116 =L= 0; e902.. - b13 + x2117 =L= 0; e903.. - b13 + x2118 =L= 0; e904.. - b13 + x2119 =L= 0; e905.. - b13 + x2120 =L= 0; e906.. - b13 + x2121 =L= 0; e907.. - b13 + x2122 =L= 0; e908.. - b13 + x2123 =L= 0; e909.. - b13 + x2124 =L= 0; e910.. - b13 + x2125 =L= 0; e911.. - b13 + x2126 =L= 0; e912.. - b13 + x2127 =L= 0; e913.. - b13 + x2128 =L= 0; e914.. - b13 + x2129 =L= 0; e915.. - b13 + x2130 =L= 0; e916.. - b13 + x2131 =L= 0; e917.. - b13 + x2132 =L= 0; e918.. - b13 + x2133 =L= 0; e919.. - b13 + x2134 =L= 0; e920.. - b13 + x2135 =L= 0; e921.. - b13 + x2136 =L= 0; e922.. - b13 + x2137 =L= 0; e923.. - b13 + x2138 =L= 0; e924.. - b13 + x2139 =L= 0; e925.. - b13 + x2140 =L= 0; e926.. - b13 + x2141 =L= 0; e927.. - b13 + x2142 =L= 0; e928.. - b13 + x2143 =L= 0; e929.. - b13 + x2144 =L= 0; e930.. - b13 + x2145 =L= 0; e931.. - b13 + x2146 =L= 0; e932.. - b13 + x2147 =L= 0; e933.. - b13 + x2148 =L= 0; e934.. - b13 + x2149 =L= 0; e935.. - b13 + x2150 =L= 0; e936.. - b13 + x2151 =L= 0; e937.. - b13 + x2152 =L= 0; e938.. - b13 + x2153 =L= 0; e939.. - b13 + x2154 =L= 0; e940.. - b13 + x2155 =L= 0; e941.. - b13 + x2156 =L= 0; e942.. - b13 + x2157 =L= 0; e943.. - b13 + x2158 =L= 0; e944.. - b13 + x2159 =L= 0; e945.. - b13 + x2160 =L= 0; e946.. - b13 + x2161 =L= 0; e947.. - b13 + x2162 =L= 0; e948.. - b13 + x2163 =L= 0; e949.. - b13 + x2164 =L= 0; e950.. - b13 + x2165 =L= 0; e951.. - b13 + x2166 =L= 0; e952.. - b13 + x2167 =L= 0; e953.. - b13 + x2168 =L= 0; e954.. - b13 + x2169 =L= 0; e955.. - b13 + x2170 =L= 0; e956.. - b13 + x2171 =L= 0; e957.. - b13 + x2172 =L= 0; e958.. - b13 + x2173 =L= 0; e959.. - b13 + x2174 =L= 0; e960.. - b13 + x2175 =L= 0; e961.. - b13 + x2176 =L= 0; e962.. - b14 + x2177 =L= 0; e963.. - b14 + x2178 =L= 0; e964.. - b14 + x2179 =L= 0; e965.. - b14 + x2180 =L= 0; e966.. - b14 + x2181 =L= 0; e967.. - b14 + x2182 =L= 0; e968.. - b14 + x2183 =L= 0; e969.. - b14 + x2184 =L= 0; e970.. - b14 + x2185 =L= 0; e971.. - b14 + x2186 =L= 0; e972.. - b14 + x2187 =L= 0; e973.. - b14 + x2188 =L= 0; e974.. - b14 + x2189 =L= 0; e975.. - b14 + x2190 =L= 0; e976.. - b14 + x2191 =L= 0; e977.. - b14 + x2192 =L= 0; e978.. - b14 + x2193 =L= 0; e979.. - b14 + x2194 =L= 0; e980.. - b14 + x2195 =L= 0; e981.. - b14 + x2196 =L= 0; e982.. - b14 + x2197 =L= 0; e983.. - b14 + x2198 =L= 0; e984.. - b14 + x2199 =L= 0; e985.. - b14 + x2200 =L= 0; e986.. - b14 + x2201 =L= 0; e987.. - b14 + x2202 =L= 0; e988.. - b14 + x2203 =L= 0; e989.. - b14 + x2204 =L= 0; e990.. - b14 + x2205 =L= 0; e991.. - b14 + x2206 =L= 0; e992.. - b14 + x2207 =L= 0; e993.. - b14 + x2208 =L= 0; e994.. - b14 + x2209 =L= 0; e995.. - b14 + x2210 =L= 0; e996.. - b14 + x2211 =L= 0; e997.. - b14 + x2212 =L= 0; e998.. - b14 + x2213 =L= 0; e999.. - b14 + x2214 =L= 0; e1000.. - b14 + x2215 =L= 0; e1001.. - b14 + x2216 =L= 0; e1002.. - b14 + x2217 =L= 0; e1003.. - b14 + x2218 =L= 0; e1004.. - b14 + x2219 =L= 0; e1005.. - b14 + x2220 =L= 0; e1006.. - b14 + x2221 =L= 0; e1007.. - b14 + x2222 =L= 0; e1008.. - b14 + x2223 =L= 0; e1009.. - b14 + x2224 =L= 0; e1010.. - b14 + x2225 =L= 0; e1011.. - b14 + x2226 =L= 0; e1012.. - b14 + x2227 =L= 0; e1013.. - b14 + x2228 =L= 0; e1014.. - b14 + x2229 =L= 0; e1015.. - b14 + x2230 =L= 0; e1016.. - b14 + x2231 =L= 0; e1017.. - b14 + x2232 =L= 0; e1018.. - b14 + x2233 =L= 0; e1019.. - b14 + x2234 =L= 0; e1020.. - b14 + x2235 =L= 0; e1021.. - b14 + x2236 =L= 0; e1022.. - b14 + x2237 =L= 0; e1023.. - b14 + x2238 =L= 0; e1024.. - b14 + x2239 =L= 0; e1025.. - b14 + x2240 =L= 0; e1026.. - b14 + x2241 =L= 0; e1027.. - b14 + x2242 =L= 0; e1028.. - b14 + x2243 =L= 0; e1029.. - b14 + x2244 =L= 0; e1030.. - b14 + x2245 =L= 0; e1031.. - b14 + x2246 =L= 0; e1032.. - b14 + x2247 =L= 0; e1033.. - b14 + x2248 =L= 0; e1034.. - b14 + x2249 =L= 0; e1035.. - b14 + x2250 =L= 0; e1036.. - b14 + x2251 =L= 0; e1037.. - b14 + x2252 =L= 0; e1038.. - b14 + x2253 =L= 0; e1039.. - b14 + x2254 =L= 0; e1040.. - b14 + x2255 =L= 0; e1041.. - b14 + x2256 =L= 0; e1042.. - b15 + x2257 =L= 0; e1043.. - b15 + x2258 =L= 0; e1044.. - b15 + x2259 =L= 0; e1045.. - b15 + x2260 =L= 0; e1046.. - b15 + x2261 =L= 0; e1047.. - b15 + x2262 =L= 0; e1048.. - b15 + x2263 =L= 0; e1049.. - b15 + x2264 =L= 0; e1050.. - b15 + x2265 =L= 0; e1051.. - b15 + x2266 =L= 0; e1052.. - b15 + x2267 =L= 0; e1053.. - b15 + x2268 =L= 0; e1054.. - b15 + x2269 =L= 0; e1055.. - b15 + x2270 =L= 0; e1056.. - b15 + x2271 =L= 0; e1057.. - b15 + x2272 =L= 0; e1058.. - b15 + x2273 =L= 0; e1059.. - b15 + x2274 =L= 0; e1060.. - b15 + x2275 =L= 0; e1061.. - b15 + x2276 =L= 0; e1062.. - b15 + x2277 =L= 0; e1063.. - b15 + x2278 =L= 0; e1064.. - b15 + x2279 =L= 0; e1065.. - b15 + x2280 =L= 0; e1066.. - b15 + x2281 =L= 0; e1067.. - b15 + x2282 =L= 0; e1068.. - b15 + x2283 =L= 0; e1069.. - b15 + x2284 =L= 0; e1070.. - b15 + x2285 =L= 0; e1071.. - b15 + x2286 =L= 0; e1072.. - b15 + x2287 =L= 0; e1073.. - b15 + x2288 =L= 0; e1074.. - b15 + x2289 =L= 0; e1075.. - b15 + x2290 =L= 0; e1076.. - b15 + x2291 =L= 0; e1077.. - b15 + x2292 =L= 0; e1078.. - b15 + x2293 =L= 0; e1079.. - b15 + x2294 =L= 0; e1080.. - b15 + x2295 =L= 0; e1081.. - b15 + x2296 =L= 0; e1082.. - b15 + x2297 =L= 0; e1083.. - b15 + x2298 =L= 0; e1084.. - b15 + x2299 =L= 0; e1085.. - b15 + x2300 =L= 0; e1086.. - b15 + x2301 =L= 0; e1087.. - b15 + x2302 =L= 0; e1088.. - b15 + x2303 =L= 0; e1089.. - b15 + x2304 =L= 0; e1090.. - b15 + x2305 =L= 0; e1091.. - b15 + x2306 =L= 0; e1092.. - b15 + x2307 =L= 0; e1093.. - b15 + x2308 =L= 0; e1094.. - b15 + x2309 =L= 0; e1095.. - b15 + x2310 =L= 0; e1096.. - b15 + x2311 =L= 0; e1097.. - b15 + x2312 =L= 0; e1098.. - b15 + x2313 =L= 0; e1099.. - b15 + x2314 =L= 0; e1100.. - b15 + x2315 =L= 0; e1101.. - b15 + x2316 =L= 0; e1102.. - b15 + x2317 =L= 0; e1103.. - b15 + x2318 =L= 0; e1104.. - b15 + x2319 =L= 0; e1105.. - b15 + x2320 =L= 0; e1106.. - b15 + x2321 =L= 0; e1107.. - b15 + x2322 =L= 0; e1108.. - b15 + x2323 =L= 0; e1109.. - b15 + x2324 =L= 0; e1110.. - b15 + x2325 =L= 0; e1111.. - b15 + x2326 =L= 0; e1112.. - b15 + x2327 =L= 0; e1113.. - b15 + x2328 =L= 0; e1114.. - b15 + x2329 =L= 0; e1115.. - b15 + x2330 =L= 0; e1116.. - b15 + x2331 =L= 0; e1117.. - b15 + x2332 =L= 0; e1118.. - b15 + x2333 =L= 0; e1119.. - b15 + x2334 =L= 0; e1120.. - b15 + x2335 =L= 0; e1121.. - b15 + x2336 =L= 0; e1122.. - b16 + x2337 =L= 0; e1123.. - b16 + x2338 =L= 0; e1124.. - b16 + x2339 =L= 0; e1125.. - b16 + x2340 =L= 0; e1126.. - b16 + x2341 =L= 0; e1127.. - b16 + x2342 =L= 0; e1128.. - b16 + x2343 =L= 0; e1129.. - b16 + x2344 =L= 0; e1130.. - b16 + x2345 =L= 0; e1131.. - b16 + x2346 =L= 0; e1132.. - b16 + x2347 =L= 0; e1133.. - b16 + x2348 =L= 0; e1134.. - b16 + x2349 =L= 0; e1135.. - b16 + x2350 =L= 0; e1136.. - b16 + x2351 =L= 0; e1137.. - b16 + x2352 =L= 0; e1138.. - b16 + x2353 =L= 0; e1139.. - b16 + x2354 =L= 0; e1140.. - b16 + x2355 =L= 0; e1141.. - b16 + x2356 =L= 0; e1142.. - b16 + x2357 =L= 0; e1143.. - b16 + x2358 =L= 0; e1144.. - b16 + x2359 =L= 0; e1145.. - b16 + x2360 =L= 0; e1146.. - b16 + x2361 =L= 0; e1147.. - b16 + x2362 =L= 0; e1148.. - b16 + x2363 =L= 0; e1149.. - b16 + x2364 =L= 0; e1150.. - b16 + x2365 =L= 0; e1151.. - b16 + x2366 =L= 0; e1152.. - b16 + x2367 =L= 0; e1153.. - b16 + x2368 =L= 0; e1154.. - b16 + x2369 =L= 0; e1155.. - b16 + x2370 =L= 0; e1156.. - b16 + x2371 =L= 0; e1157.. - b16 + x2372 =L= 0; e1158.. - b16 + x2373 =L= 0; e1159.. - b16 + x2374 =L= 0; e1160.. - b16 + x2375 =L= 0; e1161.. - b16 + x2376 =L= 0; e1162.. - b16 + x2377 =L= 0; e1163.. - b16 + x2378 =L= 0; e1164.. - b16 + x2379 =L= 0; e1165.. - b16 + x2380 =L= 0; e1166.. - b16 + x2381 =L= 0; e1167.. - b16 + x2382 =L= 0; e1168.. - b16 + x2383 =L= 0; e1169.. - b16 + x2384 =L= 0; e1170.. - b16 + x2385 =L= 0; e1171.. - b16 + x2386 =L= 0; e1172.. - b16 + x2387 =L= 0; e1173.. - b16 + x2388 =L= 0; e1174.. - b16 + x2389 =L= 0; e1175.. - b16 + x2390 =L= 0; e1176.. - b16 + x2391 =L= 0; e1177.. - b16 + x2392 =L= 0; e1178.. - b16 + x2393 =L= 0; e1179.. - b16 + x2394 =L= 0; e1180.. - b16 + x2395 =L= 0; e1181.. - b16 + x2396 =L= 0; e1182.. - b16 + x2397 =L= 0; e1183.. - b16 + x2398 =L= 0; e1184.. - b16 + x2399 =L= 0; e1185.. - b16 + x2400 =L= 0; e1186.. - b16 + x2401 =L= 0; e1187.. - b16 + x2402 =L= 0; e1188.. - b16 + x2403 =L= 0; e1189.. - b16 + x2404 =L= 0; e1190.. - b16 + x2405 =L= 0; e1191.. - b16 + x2406 =L= 0; e1192.. - b16 + x2407 =L= 0; e1193.. - b16 + x2408 =L= 0; e1194.. - b16 + x2409 =L= 0; e1195.. - b16 + x2410 =L= 0; e1196.. - b16 + x2411 =L= 0; e1197.. - b16 + x2412 =L= 0; e1198.. - b16 + x2413 =L= 0; e1199.. - b16 + x2414 =L= 0; e1200.. - b16 + x2415 =L= 0; e1201.. - b16 + x2416 =L= 0; e1202.. x1217 + x1297 + x1377 + x1457 + x1537 + x1617 + x1697 + x1777 + x1857 + x1937 + x2017 + x2097 + x2177 + x2257 + x2337 =E= 1; e1203.. x1218 + x1298 + x1378 + x1458 + x1538 + x1618 + x1698 + x1778 + x1858 + x1938 + x2018 + x2098 + x2178 + x2258 + x2338 =E= 1; e1204.. x1219 + x1299 + x1379 + x1459 + x1539 + x1619 + x1699 + x1779 + x1859 + x1939 + x2019 + x2099 + x2179 + x2259 + x2339 =E= 1; e1205.. x1220 + x1300 + x1380 + x1460 + x1540 + x1620 + x1700 + x1780 + x1860 + x1940 + x2020 + x2100 + x2180 + x2260 + x2340 =E= 1; e1206.. x1221 + x1301 + x1381 + x1461 + x1541 + x1621 + x1701 + x1781 + x1861 + x1941 + x2021 + x2101 + x2181 + x2261 + x2341 =E= 1; e1207.. x1222 + x1302 + x1382 + x1462 + x1542 + x1622 + x1702 + x1782 + x1862 + x1942 + x2022 + x2102 + x2182 + x2262 + x2342 =E= 1; e1208.. x1223 + x1303 + x1383 + x1463 + x1543 + x1623 + x1703 + x1783 + x1863 + x1943 + x2023 + x2103 + x2183 + x2263 + x2343 =E= 1; e1209.. x1224 + x1304 + x1384 + x1464 + x1544 + x1624 + x1704 + x1784 + x1864 + x1944 + x2024 + x2104 + x2184 + x2264 + x2344 =E= 1; e1210.. x1225 + x1305 + x1385 + x1465 + x1545 + x1625 + x1705 + x1785 + x1865 + x1945 + x2025 + x2105 + x2185 + x2265 + x2345 =E= 1; e1211.. x1226 + x1306 + x1386 + x1466 + x1546 + x1626 + x1706 + x1786 + x1866 + x1946 + x2026 + x2106 + x2186 + x2266 + x2346 =E= 1; e1212.. x1227 + x1307 + x1387 + x1467 + x1547 + x1627 + x1707 + x1787 + x1867 + x1947 + x2027 + x2107 + x2187 + x2267 + x2347 =E= 1; e1213.. x1228 + x1308 + x1388 + x1468 + x1548 + x1628 + x1708 + x1788 + x1868 + x1948 + x2028 + x2108 + x2188 + x2268 + x2348 =E= 1; e1214.. x1229 + x1309 + x1389 + x1469 + x1549 + x1629 + x1709 + x1789 + x1869 + x1949 + x2029 + x2109 + x2189 + x2269 + x2349 =E= 1; e1215.. x1230 + x1310 + x1390 + x1470 + x1550 + x1630 + x1710 + x1790 + x1870 + x1950 + x2030 + x2110 + x2190 + x2270 + x2350 =E= 1; e1216.. x1231 + x1311 + x1391 + x1471 + x1551 + x1631 + x1711 + x1791 + x1871 + x1951 + x2031 + x2111 + x2191 + x2271 + x2351 =E= 1; e1217.. x1232 + x1312 + x1392 + x1472 + x1552 + x1632 + x1712 + x1792 + x1872 + x1952 + x2032 + x2112 + x2192 + x2272 + x2352 =E= 1; e1218.. x1233 + x1313 + x1393 + x1473 + x1553 + x1633 + x1713 + x1793 + x1873 + x1953 + x2033 + x2113 + x2193 + x2273 + x2353 =E= 1; e1219.. x1234 + x1314 + x1394 + x1474 + x1554 + x1634 + x1714 + x1794 + x1874 + x1954 + x2034 + x2114 + x2194 + x2274 + x2354 =E= 1; e1220.. x1235 + x1315 + x1395 + x1475 + x1555 + x1635 + x1715 + x1795 + x1875 + x1955 + x2035 + x2115 + x2195 + x2275 + x2355 =E= 1; e1221.. x1236 + x1316 + x1396 + x1476 + x1556 + x1636 + x1716 + x1796 + x1876 + x1956 + x2036 + x2116 + x2196 + x2276 + x2356 =E= 1; e1222.. x1237 + x1317 + x1397 + x1477 + x1557 + x1637 + x1717 + x1797 + x1877 + x1957 + x2037 + x2117 + x2197 + x2277 + x2357 =E= 1; e1223.. x1238 + x1318 + x1398 + x1478 + x1558 + x1638 + x1718 + x1798 + x1878 + x1958 + x2038 + x2118 + x2198 + x2278 + x2358 =E= 1; e1224.. x1239 + x1319 + x1399 + x1479 + x1559 + x1639 + x1719 + x1799 + x1879 + x1959 + x2039 + x2119 + x2199 + x2279 + x2359 =E= 1; e1225.. x1240 + x1320 + x1400 + x1480 + x1560 + x1640 + x1720 + x1800 + x1880 + x1960 + x2040 + x2120 + x2200 + x2280 + x2360 =E= 1; e1226.. x1241 + x1321 + x1401 + x1481 + x1561 + x1641 + x1721 + x1801 + x1881 + x1961 + x2041 + x2121 + x2201 + x2281 + x2361 =E= 1; e1227.. x1242 + x1322 + x1402 + x1482 + x1562 + x1642 + x1722 + x1802 + x1882 + x1962 + x2042 + x2122 + x2202 + x2282 + x2362 =E= 1; e1228.. x1243 + x1323 + x1403 + x1483 + x1563 + x1643 + x1723 + x1803 + x1883 + x1963 + x2043 + x2123 + x2203 + x2283 + x2363 =E= 1; e1229.. x1244 + x1324 + x1404 + x1484 + x1564 + x1644 + x1724 + x1804 + x1884 + x1964 + x2044 + x2124 + x2204 + x2284 + x2364 =E= 1; e1230.. x1245 + x1325 + x1405 + x1485 + x1565 + x1645 + x1725 + x1805 + x1885 + x1965 + x2045 + x2125 + x2205 + x2285 + x2365 =E= 1; e1231.. x1246 + x1326 + x1406 + x1486 + x1566 + x1646 + x1726 + x1806 + x1886 + x1966 + x2046 + x2126 + x2206 + x2286 + x2366 =E= 1; e1232.. x1247 + x1327 + x1407 + x1487 + x1567 + x1647 + x1727 + x1807 + x1887 + x1967 + x2047 + x2127 + x2207 + x2287 + x2367 =E= 1; e1233.. x1248 + x1328 + x1408 + x1488 + x1568 + x1648 + x1728 + x1808 + x1888 + x1968 + x2048 + x2128 + x2208 + x2288 + x2368 =E= 1; e1234.. x1249 + x1329 + x1409 + x1489 + x1569 + x1649 + x1729 + x1809 + x1889 + x1969 + x2049 + x2129 + x2209 + x2289 + x2369 =E= 1; e1235.. x1250 + x1330 + x1410 + x1490 + x1570 + x1650 + x1730 + x1810 + x1890 + x1970 + x2050 + x2130 + x2210 + x2290 + x2370 =E= 1; e1236.. x1251 + x1331 + x1411 + x1491 + x1571 + x1651 + x1731 + x1811 + x1891 + x1971 + x2051 + x2131 + x2211 + x2291 + x2371 =E= 1; e1237.. x1252 + x1332 + x1412 + x1492 + x1572 + x1652 + x1732 + x1812 + x1892 + x1972 + x2052 + x2132 + x2212 + x2292 + x2372 =E= 1; e1238.. x1253 + x1333 + x1413 + x1493 + x1573 + x1653 + x1733 + x1813 + x1893 + x1973 + x2053 + x2133 + x2213 + x2293 + x2373 =E= 1; e1239.. x1254 + x1334 + x1414 + x1494 + x1574 + x1654 + x1734 + x1814 + x1894 + x1974 + x2054 + x2134 + x2214 + x2294 + x2374 =E= 1; e1240.. x1255 + x1335 + x1415 + x1495 + x1575 + x1655 + x1735 + x1815 + x1895 + x1975 + x2055 + x2135 + x2215 + x2295 + x2375 =E= 1; e1241.. x1256 + x1336 + x1416 + x1496 + x1576 + x1656 + x1736 + x1816 + x1896 + x1976 + x2056 + x2136 + x2216 + x2296 + x2376 =E= 1; e1242.. x1257 + x1337 + x1417 + x1497 + x1577 + x1657 + x1737 + x1817 + x1897 + x1977 + x2057 + x2137 + x2217 + x2297 + x2377 =E= 1; e1243.. x1258 + x1338 + x1418 + x1498 + x1578 + x1658 + x1738 + x1818 + x1898 + x1978 + x2058 + x2138 + x2218 + x2298 + x2378 =E= 1; e1244.. x1259 + x1339 + x1419 + x1499 + x1579 + x1659 + x1739 + x1819 + x1899 + x1979 + x2059 + x2139 + x2219 + x2299 + x2379 =E= 1; e1245.. x1260 + x1340 + x1420 + x1500 + x1580 + x1660 + x1740 + x1820 + x1900 + x1980 + x2060 + x2140 + x2220 + x2300 + x2380 =E= 1; e1246.. x1261 + x1341 + x1421 + x1501 + x1581 + x1661 + x1741 + x1821 + x1901 + x1981 + x2061 + x2141 + x2221 + x2301 + x2381 =E= 1; e1247.. x1262 + x1342 + x1422 + x1502 + x1582 + x1662 + x1742 + x1822 + x1902 + x1982 + x2062 + x2142 + x2222 + x2302 + x2382 =E= 1; e1248.. x1263 + x1343 + x1423 + x1503 + x1583 + x1663 + x1743 + x1823 + x1903 + x1983 + x2063 + x2143 + x2223 + x2303 + x2383 =E= 1; e1249.. x1264 + x1344 + x1424 + x1504 + x1584 + x1664 + x1744 + x1824 + x1904 + x1984 + x2064 + x2144 + x2224 + x2304 + x2384 =E= 1; e1250.. x1265 + x1345 + x1425 + x1505 + x1585 + x1665 + x1745 + x1825 + x1905 + x1985 + x2065 + x2145 + x2225 + x2305 + x2385 =E= 1; e1251.. x1266 + x1346 + x1426 + x1506 + x1586 + x1666 + x1746 + x1826 + x1906 + x1986 + x2066 + x2146 + x2226 + x2306 + x2386 =E= 1; e1252.. x1267 + x1347 + x1427 + x1507 + x1587 + x1667 + x1747 + x1827 + x1907 + x1987 + x2067 + x2147 + x2227 + x2307 + x2387 =E= 1; e1253.. x1268 + x1348 + x1428 + x1508 + x1588 + x1668 + x1748 + x1828 + x1908 + x1988 + x2068 + x2148 + x2228 + x2308 + x2388 =E= 1; e1254.. x1269 + x1349 + x1429 + x1509 + x1589 + x1669 + x1749 + x1829 + x1909 + x1989 + x2069 + x2149 + x2229 + x2309 + x2389 =E= 1; e1255.. x1270 + x1350 + x1430 + x1510 + x1590 + x1670 + x1750 + x1830 + x1910 + x1990 + x2070 + x2150 + x2230 + x2310 + x2390 =E= 1; e1256.. x1271 + x1351 + x1431 + x1511 + x1591 + x1671 + x1751 + x1831 + x1911 + x1991 + x2071 + x2151 + x2231 + x2311 + x2391 =E= 1; e1257.. x1272 + x1352 + x1432 + x1512 + x1592 + x1672 + x1752 + x1832 + x1912 + x1992 + x2072 + x2152 + x2232 + x2312 + x2392 =E= 1; e1258.. x1273 + x1353 + x1433 + x1513 + x1593 + x1673 + x1753 + x1833 + x1913 + x1993 + x2073 + x2153 + x2233 + x2313 + x2393 =E= 1; e1259.. x1274 + x1354 + x1434 + x1514 + x1594 + x1674 + x1754 + x1834 + x1914 + x1994 + x2074 + x2154 + x2234 + x2314 + x2394 =E= 1; e1260.. x1275 + x1355 + x1435 + x1515 + x1595 + x1675 + x1755 + x1835 + x1915 + x1995 + x2075 + x2155 + x2235 + x2315 + x2395 =E= 1; e1261.. x1276 + x1356 + x1436 + x1516 + x1596 + x1676 + x1756 + x1836 + x1916 + x1996 + x2076 + x2156 + x2236 + x2316 + x2396 =E= 1; e1262.. x1277 + x1357 + x1437 + x1517 + x1597 + x1677 + x1757 + x1837 + x1917 + x1997 + x2077 + x2157 + x2237 + x2317 + x2397 =E= 1; e1263.. x1278 + x1358 + x1438 + x1518 + x1598 + x1678 + x1758 + x1838 + x1918 + x1998 + x2078 + x2158 + x2238 + x2318 + x2398 =E= 1; e1264.. x1279 + x1359 + x1439 + x1519 + x1599 + x1679 + x1759 + x1839 + x1919 + x1999 + x2079 + x2159 + x2239 + x2319 + x2399 =E= 1; e1265.. x1280 + x1360 + x1440 + x1520 + x1600 + x1680 + x1760 + x1840 + x1920 + x2000 + x2080 + x2160 + x2240 + x2320 + x2400 =E= 1; e1266.. x1281 + x1361 + x1441 + x1521 + x1601 + x1681 + x1761 + x1841 + x1921 + x2001 + x2081 + x2161 + x2241 + x2321 + x2401 =E= 1; e1267.. x1282 + x1362 + x1442 + x1522 + x1602 + x1682 + x1762 + x1842 + x1922 + x2002 + x2082 + x2162 + x2242 + x2322 + x2402 =E= 1; e1268.. x1283 + x1363 + x1443 + x1523 + x1603 + x1683 + x1763 + x1843 + x1923 + x2003 + x2083 + x2163 + x2243 + x2323 + x2403 =E= 1; e1269.. x1284 + x1364 + x1444 + x1524 + x1604 + x1684 + x1764 + x1844 + x1924 + x2004 + x2084 + x2164 + x2244 + x2324 + x2404 =E= 1; e1270.. x1285 + x1365 + x1445 + x1525 + x1605 + x1685 + x1765 + x1845 + x1925 + x2005 + x2085 + x2165 + x2245 + x2325 + x2405 =E= 1; e1271.. x1286 + x1366 + x1446 + x1526 + x1606 + x1686 + x1766 + x1846 + x1926 + x2006 + x2086 + x2166 + x2246 + x2326 + x2406 =E= 1; e1272.. x1287 + x1367 + x1447 + x1527 + x1607 + x1687 + x1767 + x1847 + x1927 + x2007 + x2087 + x2167 + x2247 + x2327 + x2407 =E= 1; e1273.. x1288 + x1368 + x1448 + x1528 + x1608 + x1688 + x1768 + x1848 + x1928 + x2008 + x2088 + x2168 + x2248 + x2328 + x2408 =E= 1; e1274.. x1289 + x1369 + x1449 + x1529 + x1609 + x1689 + x1769 + x1849 + x1929 + x2009 + x2089 + x2169 + x2249 + x2329 + x2409 =E= 1; e1275.. x1290 + x1370 + x1450 + x1530 + x1610 + x1690 + x1770 + x1850 + x1930 + x2010 + x2090 + x2170 + x2250 + x2330 + x2410 =E= 1; e1276.. x1291 + x1371 + x1451 + x1531 + x1611 + x1691 + x1771 + x1851 + x1931 + x2011 + x2091 + x2171 + x2251 + x2331 + x2411 =E= 1; e1277.. x1292 + x1372 + x1452 + x1532 + x1612 + x1692 + x1772 + x1852 + x1932 + x2012 + x2092 + x2172 + x2252 + x2332 + x2412 =E= 1; e1278.. x1293 + x1373 + x1453 + x1533 + x1613 + x1693 + x1773 + x1853 + x1933 + x2013 + x2093 + x2173 + x2253 + x2333 + x2413 =E= 1; e1279.. x1294 + x1374 + x1454 + x1534 + x1614 + x1694 + x1774 + x1854 + x1934 + x2014 + x2094 + x2174 + x2254 + x2334 + x2414 =E= 1; e1280.. x1295 + x1375 + x1455 + x1535 + x1615 + x1695 + x1775 + x1855 + x1935 + x2015 + x2095 + x2175 + x2255 + x2335 + x2415 =E= 1; e1281.. x1296 + x1376 + x1456 + x1536 + x1616 + x1696 + x1776 + x1856 + x1936 + x2016 + x2096 + x2176 + x2256 + x2336 + x2416 =E= 1; e1282.. sqr(x1217) - x17*b2 =L= 0; e1283.. sqr(x1218) - x18*b2 =L= 0; e1284.. sqr(x1219) - x19*b2 =L= 0; e1285.. sqr(x1220) - x20*b2 =L= 0; e1286.. sqr(x1221) - x21*b2 =L= 0; e1287.. sqr(x1222) - x22*b2 =L= 0; e1288.. sqr(x1223) - x23*b2 =L= 0; e1289.. sqr(x1224) - x24*b2 =L= 0; e1290.. sqr(x1225) - x25*b2 =L= 0; e1291.. sqr(x1226) - x26*b2 =L= 0; e1292.. sqr(x1227) - x27*b2 =L= 0; e1293.. sqr(x1228) - x28*b2 =L= 0; e1294.. sqr(x1229) - x29*b2 =L= 0; e1295.. sqr(x1230) - x30*b2 =L= 0; e1296.. sqr(x1231) - x31*b2 =L= 0; e1297.. sqr(x1232) - x32*b2 =L= 0; e1298.. sqr(x1233) - x33*b2 =L= 0; e1299.. sqr(x1234) - x34*b2 =L= 0; e1300.. sqr(x1235) - x35*b2 =L= 0; e1301.. sqr(x1236) - x36*b2 =L= 0; e1302.. sqr(x1237) - x37*b2 =L= 0; e1303.. sqr(x1238) - x38*b2 =L= 0; e1304.. sqr(x1239) - x39*b2 =L= 0; e1305.. sqr(x1240) - x40*b2 =L= 0; e1306.. sqr(x1241) - x41*b2 =L= 0; e1307.. sqr(x1242) - x42*b2 =L= 0; e1308.. sqr(x1243) - x43*b2 =L= 0; e1309.. sqr(x1244) - x44*b2 =L= 0; e1310.. sqr(x1245) - x45*b2 =L= 0; e1311.. sqr(x1246) - x46*b2 =L= 0; e1312.. sqr(x1247) - x47*b2 =L= 0; e1313.. sqr(x1248) - x48*b2 =L= 0; e1314.. sqr(x1249) - x49*b2 =L= 0; e1315.. sqr(x1250) - x50*b2 =L= 0; e1316.. sqr(x1251) - x51*b2 =L= 0; e1317.. sqr(x1252) - x52*b2 =L= 0; e1318.. sqr(x1253) - x53*b2 =L= 0; e1319.. sqr(x1254) - x54*b2 =L= 0; e1320.. sqr(x1255) - x55*b2 =L= 0; e1321.. sqr(x1256) - x56*b2 =L= 0; e1322.. sqr(x1257) - x57*b2 =L= 0; e1323.. sqr(x1258) - x58*b2 =L= 0; e1324.. sqr(x1259) - x59*b2 =L= 0; e1325.. sqr(x1260) - x60*b2 =L= 0; e1326.. sqr(x1261) - x61*b2 =L= 0; e1327.. sqr(x1262) - x62*b2 =L= 0; e1328.. sqr(x1263) - x63*b2 =L= 0; e1329.. sqr(x1264) - x64*b2 =L= 0; e1330.. sqr(x1265) - x65*b2 =L= 0; e1331.. sqr(x1266) - x66*b2 =L= 0; e1332.. sqr(x1267) - x67*b2 =L= 0; e1333.. sqr(x1268) - x68*b2 =L= 0; e1334.. sqr(x1269) - x69*b2 =L= 0; e1335.. sqr(x1270) - x70*b2 =L= 0; e1336.. sqr(x1271) - x71*b2 =L= 0; e1337.. sqr(x1272) - x72*b2 =L= 0; e1338.. sqr(x1273) - x73*b2 =L= 0; e1339.. sqr(x1274) - x74*b2 =L= 0; e1340.. sqr(x1275) - x75*b2 =L= 0; e1341.. sqr(x1276) - x76*b2 =L= 0; e1342.. sqr(x1277) - x77*b2 =L= 0; e1343.. sqr(x1278) - x78*b2 =L= 0; e1344.. sqr(x1279) - x79*b2 =L= 0; e1345.. sqr(x1280) - x80*b2 =L= 0; e1346.. sqr(x1281) - x81*b2 =L= 0; e1347.. sqr(x1282) - x82*b2 =L= 0; e1348.. sqr(x1283) - x83*b2 =L= 0; e1349.. sqr(x1284) - x84*b2 =L= 0; e1350.. sqr(x1285) - x85*b2 =L= 0; e1351.. sqr(x1286) - x86*b2 =L= 0; e1352.. sqr(x1287) - x87*b2 =L= 0; e1353.. sqr(x1288) - x88*b2 =L= 0; e1354.. sqr(x1289) - x89*b2 =L= 0; e1355.. sqr(x1290) - x90*b2 =L= 0; e1356.. sqr(x1291) - x91*b2 =L= 0; e1357.. sqr(x1292) - x92*b2 =L= 0; e1358.. sqr(x1293) - x93*b2 =L= 0; e1359.. sqr(x1294) - x94*b2 =L= 0; e1360.. sqr(x1295) - x95*b2 =L= 0; e1361.. sqr(x1296) - x96*b2 =L= 0; e1362.. sqr(x1297) - x97*b3 =L= 0; e1363.. sqr(x1298) - x98*b3 =L= 0; e1364.. sqr(x1299) - x99*b3 =L= 0; e1365.. sqr(x1300) - x100*b3 =L= 0; e1366.. sqr(x1301) - x101*b3 =L= 0; e1367.. sqr(x1302) - x102*b3 =L= 0; e1368.. sqr(x1303) - x103*b3 =L= 0; e1369.. sqr(x1304) - x104*b3 =L= 0; e1370.. sqr(x1305) - x105*b3 =L= 0; e1371.. sqr(x1306) - x106*b3 =L= 0; e1372.. sqr(x1307) - x107*b3 =L= 0; e1373.. sqr(x1308) - x108*b3 =L= 0; e1374.. sqr(x1309) - x109*b3 =L= 0; e1375.. sqr(x1310) - x110*b3 =L= 0; e1376.. sqr(x1311) - x111*b3 =L= 0; e1377.. sqr(x1312) - x112*b3 =L= 0; e1378.. sqr(x1313) - x113*b3 =L= 0; e1379.. sqr(x1314) - x114*b3 =L= 0; e1380.. sqr(x1315) - x115*b3 =L= 0; e1381.. sqr(x1316) - x116*b3 =L= 0; e1382.. sqr(x1317) - x117*b3 =L= 0; e1383.. sqr(x1318) - x118*b3 =L= 0; e1384.. sqr(x1319) - x119*b3 =L= 0; e1385.. sqr(x1320) - x120*b3 =L= 0; e1386.. sqr(x1321) - x121*b3 =L= 0; e1387.. sqr(x1322) - x122*b3 =L= 0; e1388.. sqr(x1323) - x123*b3 =L= 0; e1389.. sqr(x1324) - x124*b3 =L= 0; e1390.. sqr(x1325) - x125*b3 =L= 0; e1391.. sqr(x1326) - x126*b3 =L= 0; e1392.. sqr(x1327) - x127*b3 =L= 0; e1393.. sqr(x1328) - x128*b3 =L= 0; e1394.. sqr(x1329) - x129*b3 =L= 0; e1395.. sqr(x1330) - x130*b3 =L= 0; e1396.. sqr(x1331) - x131*b3 =L= 0; e1397.. sqr(x1332) - x132*b3 =L= 0; e1398.. sqr(x1333) - x133*b3 =L= 0; e1399.. sqr(x1334) - x134*b3 =L= 0; e1400.. sqr(x1335) - x135*b3 =L= 0; e1401.. sqr(x1336) - x136*b3 =L= 0; e1402.. sqr(x1337) - x137*b3 =L= 0; e1403.. sqr(x1338) - x138*b3 =L= 0; e1404.. sqr(x1339) - x139*b3 =L= 0; e1405.. sqr(x1340) - x140*b3 =L= 0; e1406.. sqr(x1341) - x141*b3 =L= 0; e1407.. sqr(x1342) - x142*b3 =L= 0; e1408.. sqr(x1343) - x143*b3 =L= 0; e1409.. sqr(x1344) - x144*b3 =L= 0; e1410.. sqr(x1345) - x145*b3 =L= 0; e1411.. sqr(x1346) - x146*b3 =L= 0; e1412.. sqr(x1347) - x147*b3 =L= 0; e1413.. sqr(x1348) - x148*b3 =L= 0; e1414.. sqr(x1349) - x149*b3 =L= 0; e1415.. sqr(x1350) - x150*b3 =L= 0; e1416.. sqr(x1351) - x151*b3 =L= 0; e1417.. sqr(x1352) - x152*b3 =L= 0; e1418.. sqr(x1353) - x153*b3 =L= 0; e1419.. sqr(x1354) - x154*b3 =L= 0; e1420.. sqr(x1355) - x155*b3 =L= 0; e1421.. sqr(x1356) - x156*b3 =L= 0; e1422.. sqr(x1357) - x157*b3 =L= 0; e1423.. sqr(x1358) - x158*b3 =L= 0; e1424.. sqr(x1359) - x159*b3 =L= 0; e1425.. sqr(x1360) - x160*b3 =L= 0; e1426.. sqr(x1361) - x161*b3 =L= 0; e1427.. sqr(x1362) - x162*b3 =L= 0; e1428.. sqr(x1363) - x163*b3 =L= 0; e1429.. sqr(x1364) - x164*b3 =L= 0; e1430.. sqr(x1365) - x165*b3 =L= 0; e1431.. sqr(x1366) - x166*b3 =L= 0; e1432.. sqr(x1367) - x167*b3 =L= 0; e1433.. sqr(x1368) - x168*b3 =L= 0; e1434.. sqr(x1369) - x169*b3 =L= 0; e1435.. sqr(x1370) - x170*b3 =L= 0; e1436.. sqr(x1371) - x171*b3 =L= 0; e1437.. sqr(x1372) - x172*b3 =L= 0; e1438.. sqr(x1373) - x173*b3 =L= 0; e1439.. sqr(x1374) - x174*b3 =L= 0; e1440.. sqr(x1375) - x175*b3 =L= 0; e1441.. sqr(x1376) - x176*b3 =L= 0; e1442.. sqr(x1377) - x177*b4 =L= 0; e1443.. sqr(x1378) - x178*b4 =L= 0; e1444.. sqr(x1379) - x179*b4 =L= 0; e1445.. sqr(x1380) - x180*b4 =L= 0; e1446.. sqr(x1381) - x181*b4 =L= 0; e1447.. sqr(x1382) - x182*b4 =L= 0; e1448.. sqr(x1383) - x183*b4 =L= 0; e1449.. sqr(x1384) - x184*b4 =L= 0; e1450.. sqr(x1385) - x185*b4 =L= 0; e1451.. sqr(x1386) - x186*b4 =L= 0; e1452.. sqr(x1387) - x187*b4 =L= 0; e1453.. sqr(x1388) - x188*b4 =L= 0; e1454.. sqr(x1389) - x189*b4 =L= 0; e1455.. sqr(x1390) - x190*b4 =L= 0; e1456.. sqr(x1391) - x191*b4 =L= 0; e1457.. sqr(x1392) - x192*b4 =L= 0; e1458.. sqr(x1393) - x193*b4 =L= 0; e1459.. sqr(x1394) - x194*b4 =L= 0; e1460.. sqr(x1395) - x195*b4 =L= 0; e1461.. sqr(x1396) - x196*b4 =L= 0; e1462.. sqr(x1397) - x197*b4 =L= 0; e1463.. sqr(x1398) - x198*b4 =L= 0; e1464.. sqr(x1399) - x199*b4 =L= 0; e1465.. sqr(x1400) - x200*b4 =L= 0; e1466.. sqr(x1401) - x201*b4 =L= 0; e1467.. sqr(x1402) - x202*b4 =L= 0; e1468.. sqr(x1403) - x203*b4 =L= 0; e1469.. sqr(x1404) - x204*b4 =L= 0; e1470.. sqr(x1405) - x205*b4 =L= 0; e1471.. sqr(x1406) - x206*b4 =L= 0; e1472.. sqr(x1407) - x207*b4 =L= 0; e1473.. sqr(x1408) - x208*b4 =L= 0; e1474.. sqr(x1409) - x209*b4 =L= 0; e1475.. sqr(x1410) - x210*b4 =L= 0; e1476.. sqr(x1411) - x211*b4 =L= 0; e1477.. sqr(x1412) - x212*b4 =L= 0; e1478.. sqr(x1413) - x213*b4 =L= 0; e1479.. sqr(x1414) - x214*b4 =L= 0; e1480.. sqr(x1415) - x215*b4 =L= 0; e1481.. sqr(x1416) - x216*b4 =L= 0; e1482.. sqr(x1417) - x217*b4 =L= 0; e1483.. sqr(x1418) - x218*b4 =L= 0; e1484.. sqr(x1419) - x219*b4 =L= 0; e1485.. sqr(x1420) - x220*b4 =L= 0; e1486.. sqr(x1421) - x221*b4 =L= 0; e1487.. sqr(x1422) - x222*b4 =L= 0; e1488.. sqr(x1423) - x223*b4 =L= 0; e1489.. sqr(x1424) - x224*b4 =L= 0; e1490.. sqr(x1425) - x225*b4 =L= 0; e1491.. sqr(x1426) - x226*b4 =L= 0; e1492.. sqr(x1427) - x227*b4 =L= 0; e1493.. sqr(x1428) - x228*b4 =L= 0; e1494.. sqr(x1429) - x229*b4 =L= 0; e1495.. sqr(x1430) - x230*b4 =L= 0; e1496.. sqr(x1431) - x231*b4 =L= 0; e1497.. sqr(x1432) - x232*b4 =L= 0; e1498.. sqr(x1433) - x233*b4 =L= 0; e1499.. sqr(x1434) - x234*b4 =L= 0; e1500.. sqr(x1435) - x235*b4 =L= 0; e1501.. sqr(x1436) - x236*b4 =L= 0; e1502.. sqr(x1437) - x237*b4 =L= 0; e1503.. sqr(x1438) - x238*b4 =L= 0; e1504.. sqr(x1439) - x239*b4 =L= 0; e1505.. sqr(x1440) - x240*b4 =L= 0; e1506.. sqr(x1441) - x241*b4 =L= 0; e1507.. sqr(x1442) - x242*b4 =L= 0; e1508.. sqr(x1443) - x243*b4 =L= 0; e1509.. sqr(x1444) - x244*b4 =L= 0; e1510.. sqr(x1445) - x245*b4 =L= 0; e1511.. sqr(x1446) - x246*b4 =L= 0; e1512.. sqr(x1447) - x247*b4 =L= 0; e1513.. sqr(x1448) - x248*b4 =L= 0; e1514.. sqr(x1449) - x249*b4 =L= 0; e1515.. sqr(x1450) - x250*b4 =L= 0; e1516.. sqr(x1451) - x251*b4 =L= 0; e1517.. sqr(x1452) - x252*b4 =L= 0; e1518.. sqr(x1453) - x253*b4 =L= 0; e1519.. sqr(x1454) - x254*b4 =L= 0; e1520.. sqr(x1455) - x255*b4 =L= 0; e1521.. sqr(x1456) - x256*b4 =L= 0; e1522.. sqr(x1457) - x257*b5 =L= 0; e1523.. sqr(x1458) - x258*b5 =L= 0; e1524.. sqr(x1459) - x259*b5 =L= 0; e1525.. sqr(x1460) - x260*b5 =L= 0; e1526.. sqr(x1461) - x261*b5 =L= 0; e1527.. sqr(x1462) - x262*b5 =L= 0; e1528.. sqr(x1463) - x263*b5 =L= 0; e1529.. sqr(x1464) - x264*b5 =L= 0; e1530.. sqr(x1465) - x265*b5 =L= 0; e1531.. sqr(x1466) - x266*b5 =L= 0; e1532.. sqr(x1467) - x267*b5 =L= 0; e1533.. sqr(x1468) - x268*b5 =L= 0; e1534.. sqr(x1469) - x269*b5 =L= 0; e1535.. sqr(x1470) - x270*b5 =L= 0; e1536.. sqr(x1471) - x271*b5 =L= 0; e1537.. sqr(x1472) - x272*b5 =L= 0; e1538.. sqr(x1473) - x273*b5 =L= 0; e1539.. sqr(x1474) - x274*b5 =L= 0; e1540.. sqr(x1475) - x275*b5 =L= 0; e1541.. sqr(x1476) - x276*b5 =L= 0; e1542.. sqr(x1477) - x277*b5 =L= 0; e1543.. sqr(x1478) - x278*b5 =L= 0; e1544.. sqr(x1479) - x279*b5 =L= 0; e1545.. sqr(x1480) - x280*b5 =L= 0; e1546.. sqr(x1481) - x281*b5 =L= 0; e1547.. sqr(x1482) - x282*b5 =L= 0; e1548.. sqr(x1483) - x283*b5 =L= 0; e1549.. sqr(x1484) - x284*b5 =L= 0; e1550.. sqr(x1485) - x285*b5 =L= 0; e1551.. sqr(x1486) - x286*b5 =L= 0; e1552.. sqr(x1487) - x287*b5 =L= 0; e1553.. sqr(x1488) - x288*b5 =L= 0; e1554.. sqr(x1489) - x289*b5 =L= 0; e1555.. sqr(x1490) - x290*b5 =L= 0; e1556.. sqr(x1491) - x291*b5 =L= 0; e1557.. sqr(x1492) - x292*b5 =L= 0; e1558.. sqr(x1493) - x293*b5 =L= 0; e1559.. sqr(x1494) - x294*b5 =L= 0; e1560.. sqr(x1495) - x295*b5 =L= 0; e1561.. sqr(x1496) - x296*b5 =L= 0; e1562.. sqr(x1497) - x297*b5 =L= 0; e1563.. sqr(x1498) - x298*b5 =L= 0; e1564.. sqr(x1499) - x299*b5 =L= 0; e1565.. sqr(x1500) - x300*b5 =L= 0; e1566.. sqr(x1501) - x301*b5 =L= 0; e1567.. sqr(x1502) - x302*b5 =L= 0; e1568.. sqr(x1503) - x303*b5 =L= 0; e1569.. sqr(x1504) - x304*b5 =L= 0; e1570.. sqr(x1505) - x305*b5 =L= 0; e1571.. sqr(x1506) - x306*b5 =L= 0; e1572.. sqr(x1507) - x307*b5 =L= 0; e1573.. sqr(x1508) - x308*b5 =L= 0; e1574.. sqr(x1509) - x309*b5 =L= 0; e1575.. sqr(x1510) - x310*b5 =L= 0; e1576.. sqr(x1511) - x311*b5 =L= 0; e1577.. sqr(x1512) - x312*b5 =L= 0; e1578.. sqr(x1513) - x313*b5 =L= 0; e1579.. sqr(x1514) - x314*b5 =L= 0; e1580.. sqr(x1515) - x315*b5 =L= 0; e1581.. sqr(x1516) - x316*b5 =L= 0; e1582.. sqr(x1517) - x317*b5 =L= 0; e1583.. sqr(x1518) - x318*b5 =L= 0; e1584.. sqr(x1519) - x319*b5 =L= 0; e1585.. sqr(x1520) - x320*b5 =L= 0; e1586.. sqr(x1521) - x321*b5 =L= 0; e1587.. sqr(x1522) - x322*b5 =L= 0; e1588.. sqr(x1523) - x323*b5 =L= 0; e1589.. sqr(x1524) - x324*b5 =L= 0; e1590.. sqr(x1525) - x325*b5 =L= 0; e1591.. sqr(x1526) - x326*b5 =L= 0; e1592.. sqr(x1527) - x327*b5 =L= 0; e1593.. sqr(x1528) - x328*b5 =L= 0; e1594.. sqr(x1529) - x329*b5 =L= 0; e1595.. sqr(x1530) - x330*b5 =L= 0; e1596.. sqr(x1531) - x331*b5 =L= 0; e1597.. sqr(x1532) - x332*b5 =L= 0; e1598.. sqr(x1533) - x333*b5 =L= 0; e1599.. sqr(x1534) - x334*b5 =L= 0; e1600.. sqr(x1535) - x335*b5 =L= 0; e1601.. sqr(x1536) - x336*b5 =L= 0; e1602.. sqr(x1537) - x337*b6 =L= 0; e1603.. sqr(x1538) - x338*b6 =L= 0; e1604.. sqr(x1539) - x339*b6 =L= 0; e1605.. sqr(x1540) - x340*b6 =L= 0; e1606.. sqr(x1541) - x341*b6 =L= 0; e1607.. sqr(x1542) - x342*b6 =L= 0; e1608.. sqr(x1543) - x343*b6 =L= 0; e1609.. sqr(x1544) - x344*b6 =L= 0; e1610.. sqr(x1545) - x345*b6 =L= 0; e1611.. sqr(x1546) - x346*b6 =L= 0; e1612.. sqr(x1547) - x347*b6 =L= 0; e1613.. sqr(x1548) - x348*b6 =L= 0; e1614.. sqr(x1549) - x349*b6 =L= 0; e1615.. sqr(x1550) - x350*b6 =L= 0; e1616.. sqr(x1551) - x351*b6 =L= 0; e1617.. sqr(x1552) - x352*b6 =L= 0; e1618.. sqr(x1553) - x353*b6 =L= 0; e1619.. sqr(x1554) - x354*b6 =L= 0; e1620.. sqr(x1555) - x355*b6 =L= 0; e1621.. sqr(x1556) - x356*b6 =L= 0; e1622.. sqr(x1557) - x357*b6 =L= 0; e1623.. sqr(x1558) - x358*b6 =L= 0; e1624.. sqr(x1559) - x359*b6 =L= 0; e1625.. sqr(x1560) - x360*b6 =L= 0; e1626.. sqr(x1561) - x361*b6 =L= 0; e1627.. sqr(x1562) - x362*b6 =L= 0; e1628.. sqr(x1563) - x363*b6 =L= 0; e1629.. sqr(x1564) - x364*b6 =L= 0; e1630.. sqr(x1565) - x365*b6 =L= 0; e1631.. sqr(x1566) - x366*b6 =L= 0; e1632.. sqr(x1567) - x367*b6 =L= 0; e1633.. sqr(x1568) - x368*b6 =L= 0; e1634.. sqr(x1569) - x369*b6 =L= 0; e1635.. sqr(x1570) - x370*b6 =L= 0; e1636.. sqr(x1571) - x371*b6 =L= 0; e1637.. sqr(x1572) - x372*b6 =L= 0; e1638.. sqr(x1573) - x373*b6 =L= 0; e1639.. sqr(x1574) - x374*b6 =L= 0; e1640.. sqr(x1575) - x375*b6 =L= 0; e1641.. sqr(x1576) - x376*b6 =L= 0; e1642.. sqr(x1577) - x377*b6 =L= 0; e1643.. sqr(x1578) - x378*b6 =L= 0; e1644.. sqr(x1579) - x379*b6 =L= 0; e1645.. sqr(x1580) - x380*b6 =L= 0; e1646.. sqr(x1581) - x381*b6 =L= 0; e1647.. sqr(x1582) - x382*b6 =L= 0; e1648.. sqr(x1583) - x383*b6 =L= 0; e1649.. sqr(x1584) - x384*b6 =L= 0; e1650.. sqr(x1585) - x385*b6 =L= 0; e1651.. sqr(x1586) - x386*b6 =L= 0; e1652.. sqr(x1587) - x387*b6 =L= 0; e1653.. sqr(x1588) - x388*b6 =L= 0; e1654.. sqr(x1589) - x389*b6 =L= 0; e1655.. sqr(x1590) - x390*b6 =L= 0; e1656.. sqr(x1591) - x391*b6 =L= 0; e1657.. sqr(x1592) - x392*b6 =L= 0; e1658.. sqr(x1593) - x393*b6 =L= 0; e1659.. sqr(x1594) - x394*b6 =L= 0; e1660.. sqr(x1595) - x395*b6 =L= 0; e1661.. sqr(x1596) - x396*b6 =L= 0; e1662.. sqr(x1597) - x397*b6 =L= 0; e1663.. sqr(x1598) - x398*b6 =L= 0; e1664.. sqr(x1599) - x399*b6 =L= 0; e1665.. sqr(x1600) - x400*b6 =L= 0; e1666.. sqr(x1601) - x401*b6 =L= 0; e1667.. sqr(x1602) - x402*b6 =L= 0; e1668.. sqr(x1603) - x403*b6 =L= 0; e1669.. sqr(x1604) - x404*b6 =L= 0; e1670.. sqr(x1605) - x405*b6 =L= 0; e1671.. sqr(x1606) - x406*b6 =L= 0; e1672.. sqr(x1607) - x407*b6 =L= 0; e1673.. sqr(x1608) - x408*b6 =L= 0; e1674.. sqr(x1609) - x409*b6 =L= 0; e1675.. sqr(x1610) - x410*b6 =L= 0; e1676.. sqr(x1611) - x411*b6 =L= 0; e1677.. sqr(x1612) - x412*b6 =L= 0; e1678.. sqr(x1613) - x413*b6 =L= 0; e1679.. sqr(x1614) - x414*b6 =L= 0; e1680.. sqr(x1615) - x415*b6 =L= 0; e1681.. sqr(x1616) - x416*b6 =L= 0; e1682.. sqr(x1617) - x417*b7 =L= 0; e1683.. sqr(x1618) - x418*b7 =L= 0; e1684.. sqr(x1619) - x419*b7 =L= 0; e1685.. sqr(x1620) - x420*b7 =L= 0; e1686.. sqr(x1621) - x421*b7 =L= 0; e1687.. sqr(x1622) - x422*b7 =L= 0; e1688.. sqr(x1623) - x423*b7 =L= 0; e1689.. sqr(x1624) - x424*b7 =L= 0; e1690.. sqr(x1625) - x425*b7 =L= 0; e1691.. sqr(x1626) - x426*b7 =L= 0; e1692.. sqr(x1627) - x427*b7 =L= 0; e1693.. sqr(x1628) - x428*b7 =L= 0; e1694.. sqr(x1629) - x429*b7 =L= 0; e1695.. sqr(x1630) - x430*b7 =L= 0; e1696.. sqr(x1631) - x431*b7 =L= 0; e1697.. sqr(x1632) - x432*b7 =L= 0; e1698.. sqr(x1633) - x433*b7 =L= 0; e1699.. sqr(x1634) - x434*b7 =L= 0; e1700.. sqr(x1635) - x435*b7 =L= 0; e1701.. sqr(x1636) - x436*b7 =L= 0; e1702.. sqr(x1637) - x437*b7 =L= 0; e1703.. sqr(x1638) - x438*b7 =L= 0; e1704.. sqr(x1639) - x439*b7 =L= 0; e1705.. sqr(x1640) - x440*b7 =L= 0; e1706.. sqr(x1641) - x441*b7 =L= 0; e1707.. sqr(x1642) - x442*b7 =L= 0; e1708.. sqr(x1643) - x443*b7 =L= 0; e1709.. sqr(x1644) - x444*b7 =L= 0; e1710.. sqr(x1645) - x445*b7 =L= 0; e1711.. sqr(x1646) - x446*b7 =L= 0; e1712.. sqr(x1647) - x447*b7 =L= 0; e1713.. sqr(x1648) - x448*b7 =L= 0; e1714.. sqr(x1649) - x449*b7 =L= 0; e1715.. sqr(x1650) - x450*b7 =L= 0; e1716.. sqr(x1651) - x451*b7 =L= 0; e1717.. sqr(x1652) - x452*b7 =L= 0; e1718.. sqr(x1653) - x453*b7 =L= 0; e1719.. sqr(x1654) - x454*b7 =L= 0; e1720.. sqr(x1655) - x455*b7 =L= 0; e1721.. sqr(x1656) - x456*b7 =L= 0; e1722.. sqr(x1657) - x457*b7 =L= 0; e1723.. sqr(x1658) - x458*b7 =L= 0; e1724.. sqr(x1659) - x459*b7 =L= 0; e1725.. sqr(x1660) - x460*b7 =L= 0; e1726.. sqr(x1661) - x461*b7 =L= 0; e1727.. sqr(x1662) - x462*b7 =L= 0; e1728.. sqr(x1663) - x463*b7 =L= 0; e1729.. sqr(x1664) - x464*b7 =L= 0; e1730.. sqr(x1665) - x465*b7 =L= 0; e1731.. sqr(x1666) - x466*b7 =L= 0; e1732.. sqr(x1667) - x467*b7 =L= 0; e1733.. sqr(x1668) - x468*b7 =L= 0; e1734.. sqr(x1669) - x469*b7 =L= 0; e1735.. sqr(x1670) - x470*b7 =L= 0; e1736.. sqr(x1671) - x471*b7 =L= 0; e1737.. sqr(x1672) - x472*b7 =L= 0; e1738.. sqr(x1673) - x473*b7 =L= 0; e1739.. sqr(x1674) - x474*b7 =L= 0; e1740.. sqr(x1675) - x475*b7 =L= 0; e1741.. sqr(x1676) - x476*b7 =L= 0; e1742.. sqr(x1677) - x477*b7 =L= 0; e1743.. sqr(x1678) - x478*b7 =L= 0; e1744.. sqr(x1679) - x479*b7 =L= 0; e1745.. sqr(x1680) - x480*b7 =L= 0; e1746.. sqr(x1681) - x481*b7 =L= 0; e1747.. sqr(x1682) - x482*b7 =L= 0; e1748.. sqr(x1683) - x483*b7 =L= 0; e1749.. sqr(x1684) - x484*b7 =L= 0; e1750.. sqr(x1685) - x485*b7 =L= 0; e1751.. sqr(x1686) - x486*b7 =L= 0; e1752.. sqr(x1687) - x487*b7 =L= 0; e1753.. sqr(x1688) - x488*b7 =L= 0; e1754.. sqr(x1689) - x489*b7 =L= 0; e1755.. sqr(x1690) - x490*b7 =L= 0; e1756.. sqr(x1691) - x491*b7 =L= 0; e1757.. sqr(x1692) - x492*b7 =L= 0; e1758.. sqr(x1693) - x493*b7 =L= 0; e1759.. sqr(x1694) - x494*b7 =L= 0; e1760.. sqr(x1695) - x495*b7 =L= 0; e1761.. sqr(x1696) - x496*b7 =L= 0; e1762.. sqr(x1697) - x497*b8 =L= 0; e1763.. sqr(x1698) - x498*b8 =L= 0; e1764.. sqr(x1699) - x499*b8 =L= 0; e1765.. sqr(x1700) - x500*b8 =L= 0; e1766.. sqr(x1701) - x501*b8 =L= 0; e1767.. sqr(x1702) - x502*b8 =L= 0; e1768.. sqr(x1703) - x503*b8 =L= 0; e1769.. sqr(x1704) - x504*b8 =L= 0; e1770.. sqr(x1705) - x505*b8 =L= 0; e1771.. sqr(x1706) - x506*b8 =L= 0; e1772.. sqr(x1707) - x507*b8 =L= 0; e1773.. sqr(x1708) - x508*b8 =L= 0; e1774.. sqr(x1709) - x509*b8 =L= 0; e1775.. sqr(x1710) - x510*b8 =L= 0; e1776.. sqr(x1711) - x511*b8 =L= 0; e1777.. sqr(x1712) - x512*b8 =L= 0; e1778.. sqr(x1713) - x513*b8 =L= 0; e1779.. sqr(x1714) - x514*b8 =L= 0; e1780.. sqr(x1715) - x515*b8 =L= 0; e1781.. sqr(x1716) - x516*b8 =L= 0; e1782.. sqr(x1717) - x517*b8 =L= 0; e1783.. sqr(x1718) - x518*b8 =L= 0; e1784.. sqr(x1719) - x519*b8 =L= 0; e1785.. sqr(x1720) - x520*b8 =L= 0; e1786.. sqr(x1721) - x521*b8 =L= 0; e1787.. sqr(x1722) - x522*b8 =L= 0; e1788.. sqr(x1723) - x523*b8 =L= 0; e1789.. sqr(x1724) - x524*b8 =L= 0; e1790.. sqr(x1725) - x525*b8 =L= 0; e1791.. sqr(x1726) - x526*b8 =L= 0; e1792.. sqr(x1727) - x527*b8 =L= 0; e1793.. sqr(x1728) - x528*b8 =L= 0; e1794.. sqr(x1729) - x529*b8 =L= 0; e1795.. sqr(x1730) - x530*b8 =L= 0; e1796.. sqr(x1731) - x531*b8 =L= 0; e1797.. sqr(x1732) - x532*b8 =L= 0; e1798.. sqr(x1733) - x533*b8 =L= 0; e1799.. sqr(x1734) - x534*b8 =L= 0; e1800.. sqr(x1735) - x535*b8 =L= 0; e1801.. sqr(x1736) - x536*b8 =L= 0; e1802.. sqr(x1737) - x537*b8 =L= 0; e1803.. sqr(x1738) - x538*b8 =L= 0; e1804.. sqr(x1739) - x539*b8 =L= 0; e1805.. sqr(x1740) - x540*b8 =L= 0; e1806.. sqr(x1741) - x541*b8 =L= 0; e1807.. sqr(x1742) - x542*b8 =L= 0; e1808.. sqr(x1743) - x543*b8 =L= 0; e1809.. sqr(x1744) - x544*b8 =L= 0; e1810.. sqr(x1745) - x545*b8 =L= 0; e1811.. sqr(x1746) - x546*b8 =L= 0; e1812.. sqr(x1747) - x547*b8 =L= 0; e1813.. sqr(x1748) - x548*b8 =L= 0; e1814.. sqr(x1749) - x549*b8 =L= 0; e1815.. sqr(x1750) - x550*b8 =L= 0; e1816.. sqr(x1751) - x551*b8 =L= 0; e1817.. sqr(x1752) - x552*b8 =L= 0; e1818.. sqr(x1753) - x553*b8 =L= 0; e1819.. sqr(x1754) - x554*b8 =L= 0; e1820.. sqr(x1755) - x555*b8 =L= 0; e1821.. sqr(x1756) - x556*b8 =L= 0; e1822.. sqr(x1757) - x557*b8 =L= 0; e1823.. sqr(x1758) - x558*b8 =L= 0; e1824.. sqr(x1759) - x559*b8 =L= 0; e1825.. sqr(x1760) - x560*b8 =L= 0; e1826.. sqr(x1761) - x561*b8 =L= 0; e1827.. sqr(x1762) - x562*b8 =L= 0; e1828.. sqr(x1763) - x563*b8 =L= 0; e1829.. sqr(x1764) - x564*b8 =L= 0; e1830.. sqr(x1765) - x565*b8 =L= 0; e1831.. sqr(x1766) - x566*b8 =L= 0; e1832.. sqr(x1767) - x567*b8 =L= 0; e1833.. sqr(x1768) - x568*b8 =L= 0; e1834.. sqr(x1769) - x569*b8 =L= 0; e1835.. sqr(x1770) - x570*b8 =L= 0; e1836.. sqr(x1771) - x571*b8 =L= 0; e1837.. sqr(x1772) - x572*b8 =L= 0; e1838.. sqr(x1773) - x573*b8 =L= 0; e1839.. sqr(x1774) - x574*b8 =L= 0; e1840.. sqr(x1775) - x575*b8 =L= 0; e1841.. sqr(x1776) - x576*b8 =L= 0; e1842.. sqr(x1777) - x577*b9 =L= 0; e1843.. sqr(x1778) - x578*b9 =L= 0; e1844.. sqr(x1779) - x579*b9 =L= 0; e1845.. sqr(x1780) - x580*b9 =L= 0; e1846.. sqr(x1781) - x581*b9 =L= 0; e1847.. sqr(x1782) - x582*b9 =L= 0; e1848.. sqr(x1783) - x583*b9 =L= 0; e1849.. sqr(x1784) - x584*b9 =L= 0; e1850.. sqr(x1785) - x585*b9 =L= 0; e1851.. sqr(x1786) - x586*b9 =L= 0; e1852.. sqr(x1787) - x587*b9 =L= 0; e1853.. sqr(x1788) - x588*b9 =L= 0; e1854.. sqr(x1789) - x589*b9 =L= 0; e1855.. sqr(x1790) - x590*b9 =L= 0; e1856.. sqr(x1791) - x591*b9 =L= 0; e1857.. sqr(x1792) - x592*b9 =L= 0; e1858.. sqr(x1793) - x593*b9 =L= 0; e1859.. sqr(x1794) - x594*b9 =L= 0; e1860.. sqr(x1795) - x595*b9 =L= 0; e1861.. sqr(x1796) - x596*b9 =L= 0; e1862.. sqr(x1797) - x597*b9 =L= 0; e1863.. sqr(x1798) - x598*b9 =L= 0; e1864.. sqr(x1799) - x599*b9 =L= 0; e1865.. sqr(x1800) - x600*b9 =L= 0; e1866.. sqr(x1801) - x601*b9 =L= 0; e1867.. sqr(x1802) - x602*b9 =L= 0; e1868.. sqr(x1803) - x603*b9 =L= 0; e1869.. sqr(x1804) - x604*b9 =L= 0; e1870.. sqr(x1805) - x605*b9 =L= 0; e1871.. sqr(x1806) - x606*b9 =L= 0; e1872.. sqr(x1807) - x607*b9 =L= 0; e1873.. sqr(x1808) - x608*b9 =L= 0; e1874.. sqr(x1809) - x609*b9 =L= 0; e1875.. sqr(x1810) - x610*b9 =L= 0; e1876.. sqr(x1811) - x611*b9 =L= 0; e1877.. sqr(x1812) - x612*b9 =L= 0; e1878.. sqr(x1813) - x613*b9 =L= 0; e1879.. sqr(x1814) - x614*b9 =L= 0; e1880.. sqr(x1815) - x615*b9 =L= 0; e1881.. sqr(x1816) - x616*b9 =L= 0; e1882.. sqr(x1817) - x617*b9 =L= 0; e1883.. sqr(x1818) - x618*b9 =L= 0; e1884.. sqr(x1819) - x619*b9 =L= 0; e1885.. sqr(x1820) - x620*b9 =L= 0; e1886.. sqr(x1821) - x621*b9 =L= 0; e1887.. sqr(x1822) - x622*b9 =L= 0; e1888.. sqr(x1823) - x623*b9 =L= 0; e1889.. sqr(x1824) - x624*b9 =L= 0; e1890.. sqr(x1825) - x625*b9 =L= 0; e1891.. sqr(x1826) - x626*b9 =L= 0; e1892.. sqr(x1827) - x627*b9 =L= 0; e1893.. sqr(x1828) - x628*b9 =L= 0; e1894.. sqr(x1829) - x629*b9 =L= 0; e1895.. sqr(x1830) - x630*b9 =L= 0; e1896.. sqr(x1831) - x631*b9 =L= 0; e1897.. sqr(x1832) - x632*b9 =L= 0; e1898.. sqr(x1833) - x633*b9 =L= 0; e1899.. sqr(x1834) - x634*b9 =L= 0; e1900.. sqr(x1835) - x635*b9 =L= 0; e1901.. sqr(x1836) - x636*b9 =L= 0; e1902.. sqr(x1837) - x637*b9 =L= 0; e1903.. sqr(x1838) - x638*b9 =L= 0; e1904.. sqr(x1839) - x639*b9 =L= 0; e1905.. sqr(x1840) - x640*b9 =L= 0; e1906.. sqr(x1841) - x641*b9 =L= 0; e1907.. sqr(x1842) - x642*b9 =L= 0; e1908.. sqr(x1843) - x643*b9 =L= 0; e1909.. sqr(x1844) - x644*b9 =L= 0; e1910.. sqr(x1845) - x645*b9 =L= 0; e1911.. sqr(x1846) - x646*b9 =L= 0; e1912.. sqr(x1847) - x647*b9 =L= 0; e1913.. sqr(x1848) - x648*b9 =L= 0; e1914.. sqr(x1849) - x649*b9 =L= 0; e1915.. sqr(x1850) - x650*b9 =L= 0; e1916.. sqr(x1851) - x651*b9 =L= 0; e1917.. sqr(x1852) - x652*b9 =L= 0; e1918.. sqr(x1853) - x653*b9 =L= 0; e1919.. sqr(x1854) - x654*b9 =L= 0; e1920.. sqr(x1855) - x655*b9 =L= 0; e1921.. sqr(x1856) - x656*b9 =L= 0; e1922.. sqr(x1857) - x657*b10 =L= 0; e1923.. sqr(x1858) - x658*b10 =L= 0; e1924.. sqr(x1859) - x659*b10 =L= 0; e1925.. sqr(x1860) - x660*b10 =L= 0; e1926.. sqr(x1861) - x661*b10 =L= 0; e1927.. sqr(x1862) - x662*b10 =L= 0; e1928.. sqr(x1863) - x663*b10 =L= 0; e1929.. sqr(x1864) - x664*b10 =L= 0; e1930.. sqr(x1865) - x665*b10 =L= 0; e1931.. sqr(x1866) - x666*b10 =L= 0; e1932.. sqr(x1867) - x667*b10 =L= 0; e1933.. sqr(x1868) - x668*b10 =L= 0; e1934.. sqr(x1869) - x669*b10 =L= 0; e1935.. sqr(x1870) - x670*b10 =L= 0; e1936.. sqr(x1871) - x671*b10 =L= 0; e1937.. sqr(x1872) - x672*b10 =L= 0; e1938.. sqr(x1873) - x673*b10 =L= 0; e1939.. sqr(x1874) - x674*b10 =L= 0; e1940.. sqr(x1875) - x675*b10 =L= 0; e1941.. sqr(x1876) - x676*b10 =L= 0; e1942.. sqr(x1877) - x677*b10 =L= 0; e1943.. sqr(x1878) - x678*b10 =L= 0; e1944.. sqr(x1879) - x679*b10 =L= 0; e1945.. sqr(x1880) - x680*b10 =L= 0; e1946.. sqr(x1881) - x681*b10 =L= 0; e1947.. sqr(x1882) - x682*b10 =L= 0; e1948.. sqr(x1883) - x683*b10 =L= 0; e1949.. sqr(x1884) - x684*b10 =L= 0; e1950.. sqr(x1885) - x685*b10 =L= 0; e1951.. sqr(x1886) - x686*b10 =L= 0; e1952.. sqr(x1887) - x687*b10 =L= 0; e1953.. sqr(x1888) - x688*b10 =L= 0; e1954.. sqr(x1889) - x689*b10 =L= 0; e1955.. sqr(x1890) - x690*b10 =L= 0; e1956.. sqr(x1891) - x691*b10 =L= 0; e1957.. sqr(x1892) - x692*b10 =L= 0; e1958.. sqr(x1893) - x693*b10 =L= 0; e1959.. sqr(x1894) - x694*b10 =L= 0; e1960.. sqr(x1895) - x695*b10 =L= 0; e1961.. sqr(x1896) - x696*b10 =L= 0; e1962.. sqr(x1897) - x697*b10 =L= 0; e1963.. sqr(x1898) - x698*b10 =L= 0; e1964.. sqr(x1899) - x699*b10 =L= 0; e1965.. sqr(x1900) - x700*b10 =L= 0; e1966.. sqr(x1901) - x701*b10 =L= 0; e1967.. sqr(x1902) - x702*b10 =L= 0; e1968.. sqr(x1903) - x703*b10 =L= 0; e1969.. sqr(x1904) - x704*b10 =L= 0; e1970.. sqr(x1905) - x705*b10 =L= 0; e1971.. sqr(x1906) - x706*b10 =L= 0; e1972.. sqr(x1907) - x707*b10 =L= 0; e1973.. sqr(x1908) - x708*b10 =L= 0; e1974.. sqr(x1909) - x709*b10 =L= 0; e1975.. sqr(x1910) - x710*b10 =L= 0; e1976.. sqr(x1911) - x711*b10 =L= 0; e1977.. sqr(x1912) - x712*b10 =L= 0; e1978.. sqr(x1913) - x713*b10 =L= 0; e1979.. sqr(x1914) - x714*b10 =L= 0; e1980.. sqr(x1915) - x715*b10 =L= 0; e1981.. sqr(x1916) - x716*b10 =L= 0; e1982.. sqr(x1917) - x717*b10 =L= 0; e1983.. sqr(x1918) - x718*b10 =L= 0; e1984.. sqr(x1919) - x719*b10 =L= 0; e1985.. sqr(x1920) - x720*b10 =L= 0; e1986.. sqr(x1921) - x721*b10 =L= 0; e1987.. sqr(x1922) - x722*b10 =L= 0; e1988.. sqr(x1923) - x723*b10 =L= 0; e1989.. sqr(x1924) - x724*b10 =L= 0; e1990.. sqr(x1925) - x725*b10 =L= 0; e1991.. sqr(x1926) - x726*b10 =L= 0; e1992.. sqr(x1927) - x727*b10 =L= 0; e1993.. sqr(x1928) - x728*b10 =L= 0; e1994.. sqr(x1929) - x729*b10 =L= 0; e1995.. sqr(x1930) - x730*b10 =L= 0; e1996.. sqr(x1931) - x731*b10 =L= 0; e1997.. sqr(x1932) - x732*b10 =L= 0; e1998.. sqr(x1933) - x733*b10 =L= 0; e1999.. sqr(x1934) - x734*b10 =L= 0; e2000.. sqr(x1935) - x735*b10 =L= 0; e2001.. sqr(x1936) - x736*b10 =L= 0; e2002.. sqr(x1937) - x737*b11 =L= 0; e2003.. sqr(x1938) - x738*b11 =L= 0; e2004.. sqr(x1939) - x739*b11 =L= 0; e2005.. sqr(x1940) - x740*b11 =L= 0; e2006.. sqr(x1941) - x741*b11 =L= 0; e2007.. sqr(x1942) - x742*b11 =L= 0; e2008.. sqr(x1943) - x743*b11 =L= 0; e2009.. sqr(x1944) - x744*b11 =L= 0; e2010.. sqr(x1945) - x745*b11 =L= 0; e2011.. sqr(x1946) - x746*b11 =L= 0; e2012.. sqr(x1947) - x747*b11 =L= 0; e2013.. sqr(x1948) - x748*b11 =L= 0; e2014.. sqr(x1949) - x749*b11 =L= 0; e2015.. sqr(x1950) - x750*b11 =L= 0; e2016.. sqr(x1951) - x751*b11 =L= 0; e2017.. sqr(x1952) - x752*b11 =L= 0; e2018.. sqr(x1953) - x753*b11 =L= 0; e2019.. sqr(x1954) - x754*b11 =L= 0; e2020.. sqr(x1955) - x755*b11 =L= 0; e2021.. sqr(x1956) - x756*b11 =L= 0; e2022.. sqr(x1957) - x757*b11 =L= 0; e2023.. sqr(x1958) - x758*b11 =L= 0; e2024.. sqr(x1959) - x759*b11 =L= 0; e2025.. sqr(x1960) - x760*b11 =L= 0; e2026.. sqr(x1961) - x761*b11 =L= 0; e2027.. sqr(x1962) - x762*b11 =L= 0; e2028.. sqr(x1963) - x763*b11 =L= 0; e2029.. sqr(x1964) - x764*b11 =L= 0; e2030.. sqr(x1965) - x765*b11 =L= 0; e2031.. sqr(x1966) - x766*b11 =L= 0; e2032.. sqr(x1967) - x767*b11 =L= 0; e2033.. sqr(x1968) - x768*b11 =L= 0; e2034.. sqr(x1969) - x769*b11 =L= 0; e2035.. sqr(x1970) - x770*b11 =L= 0; e2036.. sqr(x1971) - x771*b11 =L= 0; e2037.. sqr(x1972) - x772*b11 =L= 0; e2038.. sqr(x1973) - x773*b11 =L= 0; e2039.. sqr(x1974) - x774*b11 =L= 0; e2040.. sqr(x1975) - x775*b11 =L= 0; e2041.. sqr(x1976) - x776*b11 =L= 0; e2042.. sqr(x1977) - x777*b11 =L= 0; e2043.. sqr(x1978) - x778*b11 =L= 0; e2044.. sqr(x1979) - x779*b11 =L= 0; e2045.. sqr(x1980) - x780*b11 =L= 0; e2046.. sqr(x1981) - x781*b11 =L= 0; e2047.. sqr(x1982) - x782*b11 =L= 0; e2048.. sqr(x1983) - x783*b11 =L= 0; e2049.. sqr(x1984) - x784*b11 =L= 0; e2050.. sqr(x1985) - x785*b11 =L= 0; e2051.. sqr(x1986) - x786*b11 =L= 0; e2052.. sqr(x1987) - x787*b11 =L= 0; e2053.. sqr(x1988) - x788*b11 =L= 0; e2054.. sqr(x1989) - x789*b11 =L= 0; e2055.. sqr(x1990) - x790*b11 =L= 0; e2056.. sqr(x1991) - x791*b11 =L= 0; e2057.. sqr(x1992) - x792*b11 =L= 0; e2058.. sqr(x1993) - x793*b11 =L= 0; e2059.. sqr(x1994) - x794*b11 =L= 0; e2060.. sqr(x1995) - x795*b11 =L= 0; e2061.. sqr(x1996) - x796*b11 =L= 0; e2062.. sqr(x1997) - x797*b11 =L= 0; e2063.. sqr(x1998) - x798*b11 =L= 0; e2064.. sqr(x1999) - x799*b11 =L= 0; e2065.. sqr(x2000) - x800*b11 =L= 0; e2066.. sqr(x2001) - x801*b11 =L= 0; e2067.. sqr(x2002) - x802*b11 =L= 0; e2068.. sqr(x2003) - x803*b11 =L= 0; e2069.. sqr(x2004) - x804*b11 =L= 0; e2070.. sqr(x2005) - x805*b11 =L= 0; e2071.. sqr(x2006) - x806*b11 =L= 0; e2072.. sqr(x2007) - x807*b11 =L= 0; e2073.. sqr(x2008) - x808*b11 =L= 0; e2074.. sqr(x2009) - x809*b11 =L= 0; e2075.. sqr(x2010) - x810*b11 =L= 0; e2076.. sqr(x2011) - x811*b11 =L= 0; e2077.. sqr(x2012) - x812*b11 =L= 0; e2078.. sqr(x2013) - x813*b11 =L= 0; e2079.. sqr(x2014) - x814*b11 =L= 0; e2080.. sqr(x2015) - x815*b11 =L= 0; e2081.. sqr(x2016) - x816*b11 =L= 0; e2082.. sqr(x2017) - x817*b12 =L= 0; e2083.. sqr(x2018) - x818*b12 =L= 0; e2084.. sqr(x2019) - x819*b12 =L= 0; e2085.. sqr(x2020) - x820*b12 =L= 0; e2086.. sqr(x2021) - x821*b12 =L= 0; e2087.. sqr(x2022) - x822*b12 =L= 0; e2088.. sqr(x2023) - x823*b12 =L= 0; e2089.. sqr(x2024) - x824*b12 =L= 0; e2090.. sqr(x2025) - x825*b12 =L= 0; e2091.. sqr(x2026) - x826*b12 =L= 0; e2092.. sqr(x2027) - x827*b12 =L= 0; e2093.. sqr(x2028) - x828*b12 =L= 0; e2094.. sqr(x2029) - x829*b12 =L= 0; e2095.. sqr(x2030) - x830*b12 =L= 0; e2096.. sqr(x2031) - x831*b12 =L= 0; e2097.. sqr(x2032) - x832*b12 =L= 0; e2098.. sqr(x2033) - x833*b12 =L= 0; e2099.. sqr(x2034) - x834*b12 =L= 0; e2100.. sqr(x2035) - x835*b12 =L= 0; e2101.. sqr(x2036) - x836*b12 =L= 0; e2102.. sqr(x2037) - x837*b12 =L= 0; e2103.. sqr(x2038) - x838*b12 =L= 0; e2104.. sqr(x2039) - x839*b12 =L= 0; e2105.. sqr(x2040) - x840*b12 =L= 0; e2106.. sqr(x2041) - x841*b12 =L= 0; e2107.. sqr(x2042) - x842*b12 =L= 0; e2108.. sqr(x2043) - x843*b12 =L= 0; e2109.. sqr(x2044) - x844*b12 =L= 0; e2110.. sqr(x2045) - x845*b12 =L= 0; e2111.. sqr(x2046) - x846*b12 =L= 0; e2112.. sqr(x2047) - x847*b12 =L= 0; e2113.. sqr(x2048) - x848*b12 =L= 0; e2114.. sqr(x2049) - x849*b12 =L= 0; e2115.. sqr(x2050) - x850*b12 =L= 0; e2116.. sqr(x2051) - x851*b12 =L= 0; e2117.. sqr(x2052) - x852*b12 =L= 0; e2118.. sqr(x2053) - x853*b12 =L= 0; e2119.. sqr(x2054) - x854*b12 =L= 0; e2120.. sqr(x2055) - x855*b12 =L= 0; e2121.. sqr(x2056) - x856*b12 =L= 0; e2122.. sqr(x2057) - x857*b12 =L= 0; e2123.. sqr(x2058) - x858*b12 =L= 0; e2124.. sqr(x2059) - x859*b12 =L= 0; e2125.. sqr(x2060) - x860*b12 =L= 0; e2126.. sqr(x2061) - x861*b12 =L= 0; e2127.. sqr(x2062) - x862*b12 =L= 0; e2128.. sqr(x2063) - x863*b12 =L= 0; e2129.. sqr(x2064) - x864*b12 =L= 0; e2130.. sqr(x2065) - x865*b12 =L= 0; e2131.. sqr(x2066) - x866*b12 =L= 0; e2132.. sqr(x2067) - x867*b12 =L= 0; e2133.. sqr(x2068) - x868*b12 =L= 0; e2134.. sqr(x2069) - x869*b12 =L= 0; e2135.. sqr(x2070) - x870*b12 =L= 0; e2136.. sqr(x2071) - x871*b12 =L= 0; e2137.. sqr(x2072) - x872*b12 =L= 0; e2138.. sqr(x2073) - x873*b12 =L= 0; e2139.. sqr(x2074) - x874*b12 =L= 0; e2140.. sqr(x2075) - x875*b12 =L= 0; e2141.. sqr(x2076) - x876*b12 =L= 0; e2142.. sqr(x2077) - x877*b12 =L= 0; e2143.. sqr(x2078) - x878*b12 =L= 0; e2144.. sqr(x2079) - x879*b12 =L= 0; e2145.. sqr(x2080) - x880*b12 =L= 0; e2146.. sqr(x2081) - x881*b12 =L= 0; e2147.. sqr(x2082) - x882*b12 =L= 0; e2148.. sqr(x2083) - x883*b12 =L= 0; e2149.. sqr(x2084) - x884*b12 =L= 0; e2150.. sqr(x2085) - x885*b12 =L= 0; e2151.. sqr(x2086) - x886*b12 =L= 0; e2152.. sqr(x2087) - x887*b12 =L= 0; e2153.. sqr(x2088) - x888*b12 =L= 0; e2154.. sqr(x2089) - x889*b12 =L= 0; e2155.. sqr(x2090) - x890*b12 =L= 0; e2156.. sqr(x2091) - x891*b12 =L= 0; e2157.. sqr(x2092) - x892*b12 =L= 0; e2158.. sqr(x2093) - x893*b12 =L= 0; e2159.. sqr(x2094) - x894*b12 =L= 0; e2160.. sqr(x2095) - x895*b12 =L= 0; e2161.. sqr(x2096) - x896*b12 =L= 0; e2162.. sqr(x2097) - x897*b13 =L= 0; e2163.. sqr(x2098) - x898*b13 =L= 0; e2164.. sqr(x2099) - x899*b13 =L= 0; e2165.. sqr(x2100) - x900*b13 =L= 0; e2166.. sqr(x2101) - x901*b13 =L= 0; e2167.. sqr(x2102) - x902*b13 =L= 0; e2168.. sqr(x2103) - x903*b13 =L= 0; e2169.. sqr(x2104) - x904*b13 =L= 0; e2170.. sqr(x2105) - x905*b13 =L= 0; e2171.. sqr(x2106) - x906*b13 =L= 0; e2172.. sqr(x2107) - x907*b13 =L= 0; e2173.. sqr(x2108) - x908*b13 =L= 0; e2174.. sqr(x2109) - x909*b13 =L= 0; e2175.. sqr(x2110) - x910*b13 =L= 0; e2176.. sqr(x2111) - x911*b13 =L= 0; e2177.. sqr(x2112) - x912*b13 =L= 0; e2178.. sqr(x2113) - x913*b13 =L= 0; e2179.. sqr(x2114) - x914*b13 =L= 0; e2180.. sqr(x2115) - x915*b13 =L= 0; e2181.. sqr(x2116) - x916*b13 =L= 0; e2182.. sqr(x2117) - x917*b13 =L= 0; e2183.. sqr(x2118) - x918*b13 =L= 0; e2184.. sqr(x2119) - x919*b13 =L= 0; e2185.. sqr(x2120) - x920*b13 =L= 0; e2186.. sqr(x2121) - x921*b13 =L= 0; e2187.. sqr(x2122) - x922*b13 =L= 0; e2188.. sqr(x2123) - x923*b13 =L= 0; e2189.. sqr(x2124) - x924*b13 =L= 0; e2190.. sqr(x2125) - x925*b13 =L= 0; e2191.. sqr(x2126) - x926*b13 =L= 0; e2192.. sqr(x2127) - x927*b13 =L= 0; e2193.. sqr(x2128) - x928*b13 =L= 0; e2194.. sqr(x2129) - x929*b13 =L= 0; e2195.. sqr(x2130) - x930*b13 =L= 0; e2196.. sqr(x2131) - x931*b13 =L= 0; e2197.. sqr(x2132) - x932*b13 =L= 0; e2198.. sqr(x2133) - x933*b13 =L= 0; e2199.. sqr(x2134) - x934*b13 =L= 0; e2200.. sqr(x2135) - x935*b13 =L= 0; e2201.. sqr(x2136) - x936*b13 =L= 0; e2202.. sqr(x2137) - x937*b13 =L= 0; e2203.. sqr(x2138) - x938*b13 =L= 0; e2204.. sqr(x2139) - x939*b13 =L= 0; e2205.. sqr(x2140) - x940*b13 =L= 0; e2206.. sqr(x2141) - x941*b13 =L= 0; e2207.. sqr(x2142) - x942*b13 =L= 0; e2208.. sqr(x2143) - x943*b13 =L= 0; e2209.. sqr(x2144) - x944*b13 =L= 0; e2210.. sqr(x2145) - x945*b13 =L= 0; e2211.. sqr(x2146) - x946*b13 =L= 0; e2212.. sqr(x2147) - x947*b13 =L= 0; e2213.. sqr(x2148) - x948*b13 =L= 0; e2214.. sqr(x2149) - x949*b13 =L= 0; e2215.. sqr(x2150) - x950*b13 =L= 0; e2216.. sqr(x2151) - x951*b13 =L= 0; e2217.. sqr(x2152) - x952*b13 =L= 0; e2218.. sqr(x2153) - x953*b13 =L= 0; e2219.. sqr(x2154) - x954*b13 =L= 0; e2220.. sqr(x2155) - x955*b13 =L= 0; e2221.. sqr(x2156) - x956*b13 =L= 0; e2222.. sqr(x2157) - x957*b13 =L= 0; e2223.. sqr(x2158) - x958*b13 =L= 0; e2224.. sqr(x2159) - x959*b13 =L= 0; e2225.. sqr(x2160) - x960*b13 =L= 0; e2226.. sqr(x2161) - x961*b13 =L= 0; e2227.. sqr(x2162) - x962*b13 =L= 0; e2228.. sqr(x2163) - x963*b13 =L= 0; e2229.. sqr(x2164) - x964*b13 =L= 0; e2230.. sqr(x2165) - x965*b13 =L= 0; e2231.. sqr(x2166) - x966*b13 =L= 0; e2232.. sqr(x2167) - x967*b13 =L= 0; e2233.. sqr(x2168) - x968*b13 =L= 0; e2234.. sqr(x2169) - x969*b13 =L= 0; e2235.. sqr(x2170) - x970*b13 =L= 0; e2236.. sqr(x2171) - x971*b13 =L= 0; e2237.. sqr(x2172) - x972*b13 =L= 0; e2238.. sqr(x2173) - x973*b13 =L= 0; e2239.. sqr(x2174) - x974*b13 =L= 0; e2240.. sqr(x2175) - x975*b13 =L= 0; e2241.. sqr(x2176) - x976*b13 =L= 0; e2242.. sqr(x2177) - x977*b14 =L= 0; e2243.. sqr(x2178) - x978*b14 =L= 0; e2244.. sqr(x2179) - x979*b14 =L= 0; e2245.. sqr(x2180) - x980*b14 =L= 0; e2246.. sqr(x2181) - x981*b14 =L= 0; e2247.. sqr(x2182) - x982*b14 =L= 0; e2248.. sqr(x2183) - x983*b14 =L= 0; e2249.. sqr(x2184) - x984*b14 =L= 0; e2250.. sqr(x2185) - x985*b14 =L= 0; e2251.. sqr(x2186) - x986*b14 =L= 0; e2252.. sqr(x2187) - x987*b14 =L= 0; e2253.. sqr(x2188) - x988*b14 =L= 0; e2254.. sqr(x2189) - x989*b14 =L= 0; e2255.. sqr(x2190) - x990*b14 =L= 0; e2256.. sqr(x2191) - x991*b14 =L= 0; e2257.. sqr(x2192) - x992*b14 =L= 0; e2258.. sqr(x2193) - x993*b14 =L= 0; e2259.. sqr(x2194) - x994*b14 =L= 0; e2260.. sqr(x2195) - x995*b14 =L= 0; e2261.. sqr(x2196) - x996*b14 =L= 0; e2262.. sqr(x2197) - x997*b14 =L= 0; e2263.. sqr(x2198) - x998*b14 =L= 0; e2264.. sqr(x2199) - x999*b14 =L= 0; e2265.. sqr(x2200) - x1000*b14 =L= 0; e2266.. sqr(x2201) - x1001*b14 =L= 0; e2267.. sqr(x2202) - x1002*b14 =L= 0; e2268.. sqr(x2203) - x1003*b14 =L= 0; e2269.. sqr(x2204) - x1004*b14 =L= 0; e2270.. sqr(x2205) - x1005*b14 =L= 0; e2271.. sqr(x2206) - x1006*b14 =L= 0; e2272.. sqr(x2207) - x1007*b14 =L= 0; e2273.. sqr(x2208) - x1008*b14 =L= 0; e2274.. sqr(x2209) - x1009*b14 =L= 0; e2275.. sqr(x2210) - x1010*b14 =L= 0; e2276.. sqr(x2211) - x1011*b14 =L= 0; e2277.. sqr(x2212) - x1012*b14 =L= 0; e2278.. sqr(x2213) - x1013*b14 =L= 0; e2279.. sqr(x2214) - x1014*b14 =L= 0; e2280.. sqr(x2215) - x1015*b14 =L= 0; e2281.. sqr(x2216) - x1016*b14 =L= 0; e2282.. sqr(x2217) - x1017*b14 =L= 0; e2283.. sqr(x2218) - x1018*b14 =L= 0; e2284.. sqr(x2219) - x1019*b14 =L= 0; e2285.. sqr(x2220) - x1020*b14 =L= 0; e2286.. sqr(x2221) - x1021*b14 =L= 0; e2287.. sqr(x2222) - x1022*b14 =L= 0; e2288.. sqr(x2223) - x1023*b14 =L= 0; e2289.. sqr(x2224) - x1024*b14 =L= 0; e2290.. sqr(x2225) - x1025*b14 =L= 0; e2291.. sqr(x2226) - x1026*b14 =L= 0; e2292.. sqr(x2227) - x1027*b14 =L= 0; e2293.. sqr(x2228) - x1028*b14 =L= 0; e2294.. sqr(x2229) - x1029*b14 =L= 0; e2295.. sqr(x2230) - x1030*b14 =L= 0; e2296.. sqr(x2231) - x1031*b14 =L= 0; e2297.. sqr(x2232) - x1032*b14 =L= 0; e2298.. sqr(x2233) - x1033*b14 =L= 0; e2299.. sqr(x2234) - x1034*b14 =L= 0; e2300.. sqr(x2235) - x1035*b14 =L= 0; e2301.. sqr(x2236) - x1036*b14 =L= 0; e2302.. sqr(x2237) - x1037*b14 =L= 0; e2303.. sqr(x2238) - x1038*b14 =L= 0; e2304.. sqr(x2239) - x1039*b14 =L= 0; e2305.. sqr(x2240) - x1040*b14 =L= 0; e2306.. sqr(x2241) - x1041*b14 =L= 0; e2307.. sqr(x2242) - x1042*b14 =L= 0; e2308.. sqr(x2243) - x1043*b14 =L= 0; e2309.. sqr(x2244) - x1044*b14 =L= 0; e2310.. sqr(x2245) - x1045*b14 =L= 0; e2311.. sqr(x2246) - x1046*b14 =L= 0; e2312.. sqr(x2247) - x1047*b14 =L= 0; e2313.. sqr(x2248) - x1048*b14 =L= 0; e2314.. sqr(x2249) - x1049*b14 =L= 0; e2315.. sqr(x2250) - x1050*b14 =L= 0; e2316.. sqr(x2251) - x1051*b14 =L= 0; e2317.. sqr(x2252) - x1052*b14 =L= 0; e2318.. sqr(x2253) - x1053*b14 =L= 0; e2319.. sqr(x2254) - x1054*b14 =L= 0; e2320.. sqr(x2255) - x1055*b14 =L= 0; e2321.. sqr(x2256) - x1056*b14 =L= 0; e2322.. sqr(x2257) - x1057*b15 =L= 0; e2323.. sqr(x2258) - x1058*b15 =L= 0; e2324.. sqr(x2259) - x1059*b15 =L= 0; e2325.. sqr(x2260) - x1060*b15 =L= 0; e2326.. sqr(x2261) - x1061*b15 =L= 0; e2327.. sqr(x2262) - x1062*b15 =L= 0; e2328.. sqr(x2263) - x1063*b15 =L= 0; e2329.. sqr(x2264) - x1064*b15 =L= 0; e2330.. sqr(x2265) - x1065*b15 =L= 0; e2331.. sqr(x2266) - x1066*b15 =L= 0; e2332.. sqr(x2267) - x1067*b15 =L= 0; e2333.. sqr(x2268) - x1068*b15 =L= 0; e2334.. sqr(x2269) - x1069*b15 =L= 0; e2335.. sqr(x2270) - x1070*b15 =L= 0; e2336.. sqr(x2271) - x1071*b15 =L= 0; e2337.. sqr(x2272) - x1072*b15 =L= 0; e2338.. sqr(x2273) - x1073*b15 =L= 0; e2339.. sqr(x2274) - x1074*b15 =L= 0; e2340.. sqr(x2275) - x1075*b15 =L= 0; e2341.. sqr(x2276) - x1076*b15 =L= 0; e2342.. sqr(x2277) - x1077*b15 =L= 0; e2343.. sqr(x2278) - x1078*b15 =L= 0; e2344.. sqr(x2279) - x1079*b15 =L= 0; e2345.. sqr(x2280) - x1080*b15 =L= 0; e2346.. sqr(x2281) - x1081*b15 =L= 0; e2347.. sqr(x2282) - x1082*b15 =L= 0; e2348.. sqr(x2283) - x1083*b15 =L= 0; e2349.. sqr(x2284) - x1084*b15 =L= 0; e2350.. sqr(x2285) - x1085*b15 =L= 0; e2351.. sqr(x2286) - x1086*b15 =L= 0; e2352.. sqr(x2287) - x1087*b15 =L= 0; e2353.. sqr(x2288) - x1088*b15 =L= 0; e2354.. sqr(x2289) - x1089*b15 =L= 0; e2355.. sqr(x2290) - x1090*b15 =L= 0; e2356.. sqr(x2291) - x1091*b15 =L= 0; e2357.. sqr(x2292) - x1092*b15 =L= 0; e2358.. sqr(x2293) - x1093*b15 =L= 0; e2359.. sqr(x2294) - x1094*b15 =L= 0; e2360.. sqr(x2295) - x1095*b15 =L= 0; e2361.. sqr(x2296) - x1096*b15 =L= 0; e2362.. sqr(x2297) - x1097*b15 =L= 0; e2363.. sqr(x2298) - x1098*b15 =L= 0; e2364.. sqr(x2299) - x1099*b15 =L= 0; e2365.. sqr(x2300) - x1100*b15 =L= 0; e2366.. sqr(x2301) - x1101*b15 =L= 0; e2367.. sqr(x2302) - x1102*b15 =L= 0; e2368.. sqr(x2303) - x1103*b15 =L= 0; e2369.. sqr(x2304) - x1104*b15 =L= 0; e2370.. sqr(x2305) - x1105*b15 =L= 0; e2371.. sqr(x2306) - x1106*b15 =L= 0; e2372.. sqr(x2307) - x1107*b15 =L= 0; e2373.. sqr(x2308) - x1108*b15 =L= 0; e2374.. sqr(x2309) - x1109*b15 =L= 0; e2375.. sqr(x2310) - x1110*b15 =L= 0; e2376.. sqr(x2311) - x1111*b15 =L= 0; e2377.. sqr(x2312) - x1112*b15 =L= 0; e2378.. sqr(x2313) - x1113*b15 =L= 0; e2379.. sqr(x2314) - x1114*b15 =L= 0; e2380.. sqr(x2315) - x1115*b15 =L= 0; e2381.. sqr(x2316) - x1116*b15 =L= 0; e2382.. sqr(x2317) - x1117*b15 =L= 0; e2383.. sqr(x2318) - x1118*b15 =L= 0; e2384.. sqr(x2319) - x1119*b15 =L= 0; e2385.. sqr(x2320) - x1120*b15 =L= 0; e2386.. sqr(x2321) - x1121*b15 =L= 0; e2387.. sqr(x2322) - x1122*b15 =L= 0; e2388.. sqr(x2323) - x1123*b15 =L= 0; e2389.. sqr(x2324) - x1124*b15 =L= 0; e2390.. sqr(x2325) - x1125*b15 =L= 0; e2391.. sqr(x2326) - x1126*b15 =L= 0; e2392.. sqr(x2327) - x1127*b15 =L= 0; e2393.. sqr(x2328) - x1128*b15 =L= 0; e2394.. sqr(x2329) - x1129*b15 =L= 0; e2395.. sqr(x2330) - x1130*b15 =L= 0; e2396.. sqr(x2331) - x1131*b15 =L= 0; e2397.. sqr(x2332) - x1132*b15 =L= 0; e2398.. sqr(x2333) - x1133*b15 =L= 0; e2399.. sqr(x2334) - x1134*b15 =L= 0; e2400.. sqr(x2335) - x1135*b15 =L= 0; e2401.. sqr(x2336) - x1136*b15 =L= 0; e2402.. sqr(x2337) - x1137*b16 =L= 0; e2403.. sqr(x2338) - x1138*b16 =L= 0; e2404.. sqr(x2339) - x1139*b16 =L= 0; e2405.. sqr(x2340) - x1140*b16 =L= 0; e2406.. sqr(x2341) - x1141*b16 =L= 0; e2407.. sqr(x2342) - x1142*b16 =L= 0; e2408.. sqr(x2343) - x1143*b16 =L= 0; e2409.. sqr(x2344) - x1144*b16 =L= 0; e2410.. sqr(x2345) - x1145*b16 =L= 0; e2411.. sqr(x2346) - x1146*b16 =L= 0; e2412.. sqr(x2347) - x1147*b16 =L= 0; e2413.. sqr(x2348) - x1148*b16 =L= 0; e2414.. sqr(x2349) - x1149*b16 =L= 0; e2415.. sqr(x2350) - x1150*b16 =L= 0; e2416.. sqr(x2351) - x1151*b16 =L= 0; e2417.. sqr(x2352) - x1152*b16 =L= 0; e2418.. sqr(x2353) - x1153*b16 =L= 0; e2419.. sqr(x2354) - x1154*b16 =L= 0; e2420.. sqr(x2355) - x1155*b16 =L= 0; e2421.. sqr(x2356) - x1156*b16 =L= 0; e2422.. sqr(x2357) - x1157*b16 =L= 0; e2423.. sqr(x2358) - x1158*b16 =L= 0; e2424.. sqr(x2359) - x1159*b16 =L= 0; e2425.. sqr(x2360) - x1160*b16 =L= 0; e2426.. sqr(x2361) - x1161*b16 =L= 0; e2427.. sqr(x2362) - x1162*b16 =L= 0; e2428.. sqr(x2363) - x1163*b16 =L= 0; e2429.. sqr(x2364) - x1164*b16 =L= 0; e2430.. sqr(x2365) - x1165*b16 =L= 0; e2431.. sqr(x2366) - x1166*b16 =L= 0; e2432.. sqr(x2367) - x1167*b16 =L= 0; e2433.. sqr(x2368) - x1168*b16 =L= 0; e2434.. sqr(x2369) - x1169*b16 =L= 0; e2435.. sqr(x2370) - x1170*b16 =L= 0; e2436.. sqr(x2371) - x1171*b16 =L= 0; e2437.. sqr(x2372) - x1172*b16 =L= 0; e2438.. sqr(x2373) - x1173*b16 =L= 0; e2439.. sqr(x2374) - x1174*b16 =L= 0; e2440.. sqr(x2375) - x1175*b16 =L= 0; e2441.. sqr(x2376) - x1176*b16 =L= 0; e2442.. sqr(x2377) - x1177*b16 =L= 0; e2443.. sqr(x2378) - x1178*b16 =L= 0; e2444.. sqr(x2379) - x1179*b16 =L= 0; e2445.. sqr(x2380) - x1180*b16 =L= 0; e2446.. sqr(x2381) - x1181*b16 =L= 0; e2447.. sqr(x2382) - x1182*b16 =L= 0; e2448.. sqr(x2383) - x1183*b16 =L= 0; e2449.. sqr(x2384) - x1184*b16 =L= 0; e2450.. sqr(x2385) - x1185*b16 =L= 0; e2451.. sqr(x2386) - x1186*b16 =L= 0; e2452.. sqr(x2387) - x1187*b16 =L= 0; e2453.. sqr(x2388) - x1188*b16 =L= 0; e2454.. sqr(x2389) - x1189*b16 =L= 0; e2455.. sqr(x2390) - x1190*b16 =L= 0; e2456.. sqr(x2391) - x1191*b16 =L= 0; e2457.. sqr(x2392) - x1192*b16 =L= 0; e2458.. sqr(x2393) - x1193*b16 =L= 0; e2459.. sqr(x2394) - x1194*b16 =L= 0; e2460.. sqr(x2395) - x1195*b16 =L= 0; e2461.. sqr(x2396) - x1196*b16 =L= 0; e2462.. sqr(x2397) - x1197*b16 =L= 0; e2463.. sqr(x2398) - x1198*b16 =L= 0; e2464.. sqr(x2399) - x1199*b16 =L= 0; e2465.. sqr(x2400) - x1200*b16 =L= 0; e2466.. sqr(x2401) - x1201*b16 =L= 0; e2467.. sqr(x2402) - x1202*b16 =L= 0; e2468.. sqr(x2403) - x1203*b16 =L= 0; e2469.. sqr(x2404) - x1204*b16 =L= 0; e2470.. sqr(x2405) - x1205*b16 =L= 0; e2471.. sqr(x2406) - x1206*b16 =L= 0; e2472.. sqr(x2407) - x1207*b16 =L= 0; e2473.. sqr(x2408) - x1208*b16 =L= 0; e2474.. sqr(x2409) - x1209*b16 =L= 0; e2475.. sqr(x2410) - x1210*b16 =L= 0; e2476.. sqr(x2411) - x1211*b16 =L= 0; e2477.. sqr(x2412) - x1212*b16 =L= 0; e2478.. sqr(x2413) - x1213*b16 =L= 0; e2479.. sqr(x2414) - x1214*b16 =L= 0; e2480.. sqr(x2415) - x1215*b16 =L= 0; e2481.. sqr(x2416) - x1216*b16 =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;