MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance arki0002
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | -0.00004720 (ANTIGONE) 0.00000000 (BARON) -0.00000303 (COUENNE) 0.00000000 (LINDO) -0.00000000 (SCIP) |
| Sourceⓘ | ARKI Consulting Client Models |
| Added to libraryⓘ | 31 Jul 2001 |
| Problem typeⓘ | NLP |
| #Variablesⓘ | 2456 |
| #Binary Variablesⓘ | 0 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 1064 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | quadratic |
| Objective curvatureⓘ | convex |
| #Nonzeros in Objectiveⓘ | 152 |
| #Nonlinear Nonzeros in Objectiveⓘ | 152 |
| #Constraintsⓘ | 1976 |
| #Linear Constraintsⓘ | 1064 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 912 |
| Operands in Gen. Nonlin. Functionsⓘ | div exp |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 5624 |
| #Nonlinear Nonzeros in Jacobianⓘ | 912 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1064 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 1064 |
| #Blocks in Hessian of Lagrangianⓘ | 1064 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 1 |
| Average blocksize in Hessian of Lagrangianⓘ | 1.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.7000e-01 |
| Maximal coefficientⓘ | 2.0000e+00 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1977 1977 0 0 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 2457 2457 0 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 5777 4713 1064 0
*
* Solve m using NLP minimizing objvar;
Variables x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,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,x2417,x2418,x2419
,x2420,x2421,x2422,x2423,x2424,x2425,x2426,x2427,x2428,x2429,x2430
,x2431,x2432,x2433,x2434,x2435,x2436,x2437,x2438,x2439,x2440,x2441
,x2442,x2443,x2444,x2445,x2446,x2447,x2448,x2449,x2450,x2451,x2452
,x2453,x2454,x2455,x2456,objvar;
Negative Variables x7,x8,x9,x10,x11,x12,x19,x20,x21,x22,x23,x24,x31,x32,x33
,x34,x35,x36,x43,x44,x45,x46,x47,x48,x55,x56,x57,x58,x59,x60,x67,x68
,x69,x70,x71,x72,x79,x80,x81,x82,x83,x84,x91,x92,x93,x94,x95,x96
,x103,x104,x105,x106,x107,x108,x115,x116,x117,x118,x119,x120,x127
,x128,x129,x130,x131,x132,x139,x140,x141,x142,x143,x144,x151,x152
,x153,x154,x155,x156,x163,x164,x165,x166,x167,x168,x175,x176,x177
,x178,x179,x180,x187,x188,x189,x190,x191,x192,x199,x200,x201,x202
,x203,x204,x211,x212,x213,x214,x215,x216,x223,x224,x225,x226,x227
,x228,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246
,x253,x254,x255,x256,x257,x258,x265,x266,x267,x268,x269,x270,x277
,x278,x279,x280,x281,x282,x289,x290,x291,x292,x293,x294,x301,x302
,x303,x304,x305,x306,x313,x314,x315,x316,x317,x318,x325,x326,x327
,x328,x329,x330,x337,x338,x339,x340,x341,x342,x349,x350,x351,x352
,x353,x354,x361,x362,x363,x364,x365,x366,x373,x374,x375,x376,x377
,x378,x385,x386,x387,x388,x389,x390,x397,x398,x399,x400,x401,x402
,x409,x410,x411,x412,x413,x414,x421,x422,x423,x424,x425,x426,x433
,x434,x435,x436,x437,x438,x445,x446,x447,x448,x449,x450,x457,x458
,x459,x460,x461,x462,x469,x470,x471,x472,x473,x474;
Positive Variables x1,x2,x3,x4,x5,x6,x13,x14,x15,x16,x17,x18,x25,x26,x27,x28
,x29,x30,x37,x38,x39,x40,x41,x42,x49,x50,x51,x52,x53,x54,x61,x62,x63
,x64,x65,x66,x73,x74,x75,x76,x77,x78,x85,x86,x87,x88,x89,x90,x97,x98
,x99,x100,x101,x102,x109,x110,x111,x112,x113,x114,x121,x122,x123
,x124,x125,x126,x133,x134,x135,x136,x137,x138,x145,x146,x147,x148
,x149,x150,x157,x158,x159,x160,x161,x162,x169,x170,x171,x172,x173
,x174,x181,x182,x183,x184,x185,x186,x193,x194,x195,x196,x197,x198
,x205,x206,x207,x208,x209,x210,x217,x218,x219,x220,x221,x222,x229
,x230,x231,x232,x233,x234,x247,x248,x249,x250,x251,x252,x259,x260
,x261,x262,x263,x264,x271,x272,x273,x274,x275,x276,x283,x284,x285
,x286,x287,x288,x295,x296,x297,x298,x299,x300,x307,x308,x309,x310
,x311,x312,x319,x320,x321,x322,x323,x324,x331,x332,x333,x334,x335
,x336,x343,x344,x345,x346,x347,x348,x355,x356,x357,x358,x359,x360
,x367,x368,x369,x370,x371,x372,x379,x380,x381,x382,x383,x384,x391
,x392,x393,x394,x395,x396,x403,x404,x405,x406,x407,x408,x415,x416
,x417,x418,x419,x420,x427,x428,x429,x430,x431,x432,x439,x440,x441
,x442,x443,x444,x451,x452,x453,x454,x455,x456,x463,x464,x465,x466
,x467,x468,x475,x476,x477,x478,x479,x480;
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;
e1.. - x1 - x313 + x481 =E= 0;
e2.. - x2 - x314 + x482 =E= 0;
e3.. - x3 - x315 + x483 =E= 0;
e4.. - x4 - x316 + x484 =E= 0;
e5.. - x5 - x317 + x485 =E= 0;
e6.. - x6 - x318 + x486 =E= 0;
e7.. - x1 - x397 + x493 =E= 0;
e8.. - x2 - x398 + x494 =E= 0;
e9.. - x3 - x399 + x495 =E= 0;
e10.. - x4 - x400 + x496 =E= 0;
e11.. - x5 - x401 + x497 =E= 0;
e12.. - x6 - x402 + x498 =E= 0;
e13.. - x1 - x409 + x505 =E= 0;
e14.. - x2 - x410 + x506 =E= 0;
e15.. - x3 - x411 + x507 =E= 0;
e16.. - x4 - x412 + x508 =E= 0;
e17.. - x5 - x413 + x509 =E= 0;
e18.. - x6 - x414 + x510 =E= 0;
e19.. - x1 - x469 + x517 =E= 0;
e20.. - x2 - x470 + x518 =E= 0;
e21.. - x3 - x471 + x519 =E= 0;
e22.. - x4 - x472 + x520 =E= 0;
e23.. - x5 - x473 + x521 =E= 0;
e24.. - x6 - x474 + x522 =E= 0;
e25.. - x13 - x337 + x529 =E= 0;
e26.. - x14 - x338 + x530 =E= 0;
e27.. - x15 - x339 + x531 =E= 0;
e28.. - x16 - x340 + x532 =E= 0;
e29.. - x17 - x341 + x533 =E= 0;
e30.. - x18 - x342 + x534 =E= 0;
e31.. - x13 - x409 + x541 =E= 0;
e32.. - x14 - x410 + x542 =E= 0;
e33.. - x15 - x411 + x543 =E= 0;
e34.. - x16 - x412 + x544 =E= 0;
e35.. - x17 - x413 + x545 =E= 0;
e36.. - x18 - x414 + x546 =E= 0;
e37.. - x13 - x445 + x553 =E= 0;
e38.. - x14 - x446 + x554 =E= 0;
e39.. - x15 - x447 + x555 =E= 0;
e40.. - x16 - x448 + x556 =E= 0;
e41.. - x17 - x449 + x557 =E= 0;
e42.. - x18 - x450 + x558 =E= 0;
e43.. - x25 - x241 + x565 =E= 0;
e44.. - x26 - x242 + x566 =E= 0;
e45.. - x27 - x243 + x567 =E= 0;
e46.. - x28 - x244 + x568 =E= 0;
e47.. - x29 - x245 + x569 =E= 0;
e48.. - x30 - x246 + x570 =E= 0;
e49.. - x25 - x253 + x577 =E= 0;
e50.. - x26 - x254 + x578 =E= 0;
e51.. - x27 - x255 + x579 =E= 0;
e52.. - x28 - x256 + x580 =E= 0;
e53.. - x29 - x257 + x581 =E= 0;
e54.. - x30 - x258 + x582 =E= 0;
e55.. - x25 - x397 + x589 =E= 0;
e56.. - x26 - x398 + x590 =E= 0;
e57.. - x27 - x399 + x591 =E= 0;
e58.. - x28 - x400 + x592 =E= 0;
e59.. - x29 - x401 + x593 =E= 0;
e60.. - x30 - x402 + x594 =E= 0;
e61.. - x25 - x433 + x601 =E= 0;
e62.. - x26 - x434 + x602 =E= 0;
e63.. - x27 - x435 + x603 =E= 0;
e64.. - x28 - x436 + x604 =E= 0;
e65.. - x29 - x437 + x605 =E= 0;
e66.. - x30 - x438 + x606 =E= 0;
e67.. - x37 - x325 + x613 =E= 0;
e68.. - x38 - x326 + x614 =E= 0;
e69.. - x39 - x327 + x615 =E= 0;
e70.. - x40 - x328 + x616 =E= 0;
e71.. - x41 - x329 + x617 =E= 0;
e72.. - x42 - x330 + x618 =E= 0;
e73.. - x37 - x349 + x625 =E= 0;
e74.. - x38 - x350 + x626 =E= 0;
e75.. - x39 - x351 + x627 =E= 0;
e76.. - x40 - x352 + x628 =E= 0;
e77.. - x41 - x353 + x629 =E= 0;
e78.. - x42 - x354 + x630 =E= 0;
e79.. - x37 - x409 + x637 =E= 0;
e80.. - x38 - x410 + x638 =E= 0;
e81.. - x39 - x411 + x639 =E= 0;
e82.. - x40 - x412 + x640 =E= 0;
e83.. - x41 - x413 + x641 =E= 0;
e84.. - x42 - x414 + x642 =E= 0;
e85.. - x37 - x445 + x649 =E= 0;
e86.. - x38 - x446 + x650 =E= 0;
e87.. - x39 - x447 + x651 =E= 0;
e88.. - x40 - x448 + x652 =E= 0;
e89.. - x41 - x449 + x653 =E= 0;
e90.. - x42 - x450 + x654 =E= 0;
e91.. - x49 - x253 + x661 =E= 0;
e92.. - x50 - x254 + x662 =E= 0;
e93.. - x51 - x255 + x663 =E= 0;
e94.. - x52 - x256 + x664 =E= 0;
e95.. - x53 - x257 + x665 =E= 0;
e96.. - x54 - x258 + x666 =E= 0;
e97.. - x49 - x277 + x673 =E= 0;
e98.. - x50 - x278 + x674 =E= 0;
e99.. - x51 - x279 + x675 =E= 0;
e100.. - x52 - x280 + x676 =E= 0;
e101.. - x53 - x281 + x677 =E= 0;
e102.. - x54 - x282 + x678 =E= 0;
e103.. - x49 - x325 + x685 =E= 0;
e104.. - x50 - x326 + x686 =E= 0;
e105.. - x51 - x327 + x687 =E= 0;
e106.. - x52 - x328 + x688 =E= 0;
e107.. - x53 - x329 + x689 =E= 0;
e108.. - x54 - x330 + x690 =E= 0;
e109.. - x49 - x385 + x697 =E= 0;
e110.. - x50 - x386 + x698 =E= 0;
e111.. - x51 - x387 + x699 =E= 0;
e112.. - x52 - x388 + x700 =E= 0;
e113.. - x53 - x389 + x701 =E= 0;
e114.. - x54 - x390 + x702 =E= 0;
e115.. - x61 - x241 + x709 =E= 0;
e116.. - x62 - x242 + x710 =E= 0;
e117.. - x63 - x243 + x711 =E= 0;
e118.. - x64 - x244 + x712 =E= 0;
e119.. - x65 - x245 + x713 =E= 0;
e120.. - x66 - x246 + x714 =E= 0;
e121.. - x61 - x289 + x721 =E= 0;
e122.. - x62 - x290 + x722 =E= 0;
e123.. - x63 - x291 + x723 =E= 0;
e124.. - x64 - x292 + x724 =E= 0;
e125.. - x65 - x293 + x725 =E= 0;
e126.. - x66 - x294 + x726 =E= 0;
e127.. - x61 - x361 + x733 =E= 0;
e128.. - x62 - x362 + x734 =E= 0;
e129.. - x63 - x363 + x735 =E= 0;
e130.. - x64 - x364 + x736 =E= 0;
e131.. - x65 - x365 + x737 =E= 0;
e132.. - x66 - x366 + x738 =E= 0;
e133.. - x61 - x433 + x745 =E= 0;
e134.. - x62 - x434 + x746 =E= 0;
e135.. - x63 - x435 + x747 =E= 0;
e136.. - x64 - x436 + x748 =E= 0;
e137.. - x65 - x437 + x749 =E= 0;
e138.. - x66 - x438 + x750 =E= 0;
e139.. - x61 - x469 + x757 =E= 0;
e140.. - x62 - x470 + x758 =E= 0;
e141.. - x63 - x471 + x759 =E= 0;
e142.. - x64 - x472 + x760 =E= 0;
e143.. - x65 - x473 + x761 =E= 0;
e144.. - x66 - x474 + x762 =E= 0;
e145.. - x73 - x265 + x769 =E= 0;
e146.. - x74 - x266 + x770 =E= 0;
e147.. - x75 - x267 + x771 =E= 0;
e148.. - x76 - x268 + x772 =E= 0;
e149.. - x77 - x269 + x773 =E= 0;
e150.. - x78 - x270 + x774 =E= 0;
e151.. - x73 - x301 + x781 =E= 0;
e152.. - x74 - x302 + x782 =E= 0;
e153.. - x75 - x303 + x783 =E= 0;
e154.. - x76 - x304 + x784 =E= 0;
e155.. - x77 - x305 + x785 =E= 0;
e156.. - x78 - x306 + x786 =E= 0;
e157.. - x73 - x457 + x793 =E= 0;
e158.. - x74 - x458 + x794 =E= 0;
e159.. - x75 - x459 + x795 =E= 0;
e160.. - x76 - x460 + x796 =E= 0;
e161.. - x77 - x461 + x797 =E= 0;
e162.. - x78 - x462 + x798 =E= 0;
e163.. - x85 - x301 + x805 =E= 0;
e164.. - x86 - x302 + x806 =E= 0;
e165.. - x87 - x303 + x807 =E= 0;
e166.. - x88 - x304 + x808 =E= 0;
e167.. - x89 - x305 + x809 =E= 0;
e168.. - x90 - x306 + x810 =E= 0;
e169.. - x85 - x361 + x817 =E= 0;
e170.. - x86 - x362 + x818 =E= 0;
e171.. - x87 - x363 + x819 =E= 0;
e172.. - x88 - x364 + x820 =E= 0;
e173.. - x89 - x365 + x821 =E= 0;
e174.. - x90 - x366 + x822 =E= 0;
e175.. - x85 - x373 + x829 =E= 0;
e176.. - x86 - x374 + x830 =E= 0;
e177.. - x87 - x375 + x831 =E= 0;
e178.. - x88 - x376 + x832 =E= 0;
e179.. - x89 - x377 + x833 =E= 0;
e180.. - x90 - x378 + x834 =E= 0;
e181.. - x97 - x289 + x841 =E= 0;
e182.. - x98 - x290 + x842 =E= 0;
e183.. - x99 - x291 + x843 =E= 0;
e184.. - x100 - x292 + x844 =E= 0;
e185.. - x101 - x293 + x845 =E= 0;
e186.. - x102 - x294 + x846 =E= 0;
e187.. - x97 - x373 + x853 =E= 0;
e188.. - x98 - x374 + x854 =E= 0;
e189.. - x99 - x375 + x855 =E= 0;
e190.. - x100 - x376 + x856 =E= 0;
e191.. - x101 - x377 + x857 =E= 0;
e192.. - x102 - x378 + x858 =E= 0;
e193.. - x97 - x385 + x865 =E= 0;
e194.. - x98 - x386 + x866 =E= 0;
e195.. - x99 - x387 + x867 =E= 0;
e196.. - x100 - x388 + x868 =E= 0;
e197.. - x101 - x389 + x869 =E= 0;
e198.. - x102 - x390 + x870 =E= 0;
e199.. - x97 - x409 + x877 =E= 0;
e200.. - x98 - x410 + x878 =E= 0;
e201.. - x99 - x411 + x879 =E= 0;
e202.. - x100 - x412 + x880 =E= 0;
e203.. - x101 - x413 + x881 =E= 0;
e204.. - x102 - x414 + x882 =E= 0;
e205.. - x109 - x301 + x889 =E= 0;
e206.. - x110 - x302 + x890 =E= 0;
e207.. - x111 - x303 + x891 =E= 0;
e208.. - x112 - x304 + x892 =E= 0;
e209.. - x113 - x305 + x893 =E= 0;
e210.. - x114 - x306 + x894 =E= 0;
e211.. - x109 - x313 + x901 =E= 0;
e212.. - x110 - x314 + x902 =E= 0;
e213.. - x111 - x315 + x903 =E= 0;
e214.. - x112 - x316 + x904 =E= 0;
e215.. - x113 - x317 + x905 =E= 0;
e216.. - x114 - x318 + x906 =E= 0;
e217.. - x109 - x373 + x913 =E= 0;
e218.. - x110 - x374 + x914 =E= 0;
e219.. - x111 - x375 + x915 =E= 0;
e220.. - x112 - x376 + x916 =E= 0;
e221.. - x113 - x377 + x917 =E= 0;
e222.. - x114 - x378 + x918 =E= 0;
e223.. - x109 - x433 + x925 =E= 0;
e224.. - x110 - x434 + x926 =E= 0;
e225.. - x111 - x435 + x927 =E= 0;
e226.. - x112 - x436 + x928 =E= 0;
e227.. - x113 - x437 + x929 =E= 0;
e228.. - x114 - x438 + x930 =E= 0;
e229.. - x121 - x241 + x937 =E= 0;
e230.. - x122 - x242 + x938 =E= 0;
e231.. - x123 - x243 + x939 =E= 0;
e232.. - x124 - x244 + x940 =E= 0;
e233.. - x125 - x245 + x941 =E= 0;
e234.. - x126 - x246 + x942 =E= 0;
e235.. - x121 - x349 + x949 =E= 0;
e236.. - x122 - x350 + x950 =E= 0;
e237.. - x123 - x351 + x951 =E= 0;
e238.. - x124 - x352 + x952 =E= 0;
e239.. - x125 - x353 + x953 =E= 0;
e240.. - x126 - x354 + x954 =E= 0;
e241.. - x121 - x385 + x961 =E= 0;
e242.. - x122 - x386 + x962 =E= 0;
e243.. - x123 - x387 + x963 =E= 0;
e244.. - x124 - x388 + x964 =E= 0;
e245.. - x125 - x389 + x965 =E= 0;
e246.. - x126 - x390 + x966 =E= 0;
e247.. - x121 - x409 + x973 =E= 0;
e248.. - x122 - x410 + x974 =E= 0;
e249.. - x123 - x411 + x975 =E= 0;
e250.. - x124 - x412 + x976 =E= 0;
e251.. - x125 - x413 + x977 =E= 0;
e252.. - x126 - x414 + x978 =E= 0;
e253.. - x133 - x265 + x985 =E= 0;
e254.. - x134 - x266 + x986 =E= 0;
e255.. - x135 - x267 + x987 =E= 0;
e256.. - x136 - x268 + x988 =E= 0;
e257.. - x137 - x269 + x989 =E= 0;
e258.. - x138 - x270 + x990 =E= 0;
e259.. - x133 - x385 + x997 =E= 0;
e260.. - x134 - x386 + x998 =E= 0;
e261.. - x135 - x387 + x999 =E= 0;
e262.. - x136 - x388 + x1000 =E= 0;
e263.. - x137 - x389 + x1001 =E= 0;
e264.. - x138 - x390 + x1002 =E= 0;
e265.. - x133 - x421 + x1009 =E= 0;
e266.. - x134 - x422 + x1010 =E= 0;
e267.. - x135 - x423 + x1011 =E= 0;
e268.. - x136 - x424 + x1012 =E= 0;
e269.. - x137 - x425 + x1013 =E= 0;
e270.. - x138 - x426 + x1014 =E= 0;
e271.. - x133 - x457 + x1021 =E= 0;
e272.. - x134 - x458 + x1022 =E= 0;
e273.. - x135 - x459 + x1023 =E= 0;
e274.. - x136 - x460 + x1024 =E= 0;
e275.. - x137 - x461 + x1025 =E= 0;
e276.. - x138 - x462 + x1026 =E= 0;
e277.. - x145 - x265 + x1033 =E= 0;
e278.. - x146 - x266 + x1034 =E= 0;
e279.. - x147 - x267 + x1035 =E= 0;
e280.. - x148 - x268 + x1036 =E= 0;
e281.. - x149 - x269 + x1037 =E= 0;
e282.. - x150 - x270 + x1038 =E= 0;
e283.. - x145 - x277 + x1045 =E= 0;
e284.. - x146 - x278 + x1046 =E= 0;
e285.. - x147 - x279 + x1047 =E= 0;
e286.. - x148 - x280 + x1048 =E= 0;
e287.. - x149 - x281 + x1049 =E= 0;
e288.. - x150 - x282 + x1050 =E= 0;
e289.. - x145 - x433 + x1057 =E= 0;
e290.. - x146 - x434 + x1058 =E= 0;
e291.. - x147 - x435 + x1059 =E= 0;
e292.. - x148 - x436 + x1060 =E= 0;
e293.. - x149 - x437 + x1061 =E= 0;
e294.. - x150 - x438 + x1062 =E= 0;
e295.. - x157 - x253 + x1069 =E= 0;
e296.. - x158 - x254 + x1070 =E= 0;
e297.. - x159 - x255 + x1071 =E= 0;
e298.. - x160 - x256 + x1072 =E= 0;
e299.. - x161 - x257 + x1073 =E= 0;
e300.. - x162 - x258 + x1074 =E= 0;
e301.. - x157 - x313 + x1081 =E= 0;
e302.. - x158 - x314 + x1082 =E= 0;
e303.. - x159 - x315 + x1083 =E= 0;
e304.. - x160 - x316 + x1084 =E= 0;
e305.. - x161 - x317 + x1085 =E= 0;
e306.. - x162 - x318 + x1086 =E= 0;
e307.. - x157 - x373 + x1093 =E= 0;
e308.. - x158 - x374 + x1094 =E= 0;
e309.. - x159 - x375 + x1095 =E= 0;
e310.. - x160 - x376 + x1096 =E= 0;
e311.. - x161 - x377 + x1097 =E= 0;
e312.. - x162 - x378 + x1098 =E= 0;
e313.. - x157 - x469 + x1105 =E= 0;
e314.. - x158 - x470 + x1106 =E= 0;
e315.. - x159 - x471 + x1107 =E= 0;
e316.. - x160 - x472 + x1108 =E= 0;
e317.. - x161 - x473 + x1109 =E= 0;
e318.. - x162 - x474 + x1110 =E= 0;
e319.. - x169 - x265 + x1117 =E= 0;
e320.. - x170 - x266 + x1118 =E= 0;
e321.. - x171 - x267 + x1119 =E= 0;
e322.. - x172 - x268 + x1120 =E= 0;
e323.. - x173 - x269 + x1121 =E= 0;
e324.. - x174 - x270 + x1122 =E= 0;
e325.. - x169 - x313 + x1129 =E= 0;
e326.. - x170 - x314 + x1130 =E= 0;
e327.. - x171 - x315 + x1131 =E= 0;
e328.. - x172 - x316 + x1132 =E= 0;
e329.. - x173 - x317 + x1133 =E= 0;
e330.. - x174 - x318 + x1134 =E= 0;
e331.. - x169 - x445 + x1141 =E= 0;
e332.. - x170 - x446 + x1142 =E= 0;
e333.. - x171 - x447 + x1143 =E= 0;
e334.. - x172 - x448 + x1144 =E= 0;
e335.. - x173 - x449 + x1145 =E= 0;
e336.. - x174 - x450 + x1146 =E= 0;
e337.. - x169 - x457 + x1153 =E= 0;
e338.. - x170 - x458 + x1154 =E= 0;
e339.. - x171 - x459 + x1155 =E= 0;
e340.. - x172 - x460 + x1156 =E= 0;
e341.. - x173 - x461 + x1157 =E= 0;
e342.. - x174 - x462 + x1158 =E= 0;
e343.. - x181 - x253 + x1165 =E= 0;
e344.. - x182 - x254 + x1166 =E= 0;
e345.. - x183 - x255 + x1167 =E= 0;
e346.. - x184 - x256 + x1168 =E= 0;
e347.. - x185 - x257 + x1169 =E= 0;
e348.. - x186 - x258 + x1170 =E= 0;
e349.. - x181 - x289 + x1177 =E= 0;
e350.. - x182 - x290 + x1178 =E= 0;
e351.. - x183 - x291 + x1179 =E= 0;
e352.. - x184 - x292 + x1180 =E= 0;
e353.. - x185 - x293 + x1181 =E= 0;
e354.. - x186 - x294 + x1182 =E= 0;
e355.. - x181 - x301 + x1189 =E= 0;
e356.. - x182 - x302 + x1190 =E= 0;
e357.. - x183 - x303 + x1191 =E= 0;
e358.. - x184 - x304 + x1192 =E= 0;
e359.. - x185 - x305 + x1193 =E= 0;
e360.. - x186 - x306 + x1194 =E= 0;
e361.. - x181 - x409 + x1201 =E= 0;
e362.. - x182 - x410 + x1202 =E= 0;
e363.. - x183 - x411 + x1203 =E= 0;
e364.. - x184 - x412 + x1204 =E= 0;
e365.. - x185 - x413 + x1205 =E= 0;
e366.. - x186 - x414 + x1206 =E= 0;
e367.. - x193 - x361 + x1213 =E= 0;
e368.. - x194 - x362 + x1214 =E= 0;
e369.. - x195 - x363 + x1215 =E= 0;
e370.. - x196 - x364 + x1216 =E= 0;
e371.. - x197 - x365 + x1217 =E= 0;
e372.. - x198 - x366 + x1218 =E= 0;
e373.. - x193 - x397 + x1225 =E= 0;
e374.. - x194 - x398 + x1226 =E= 0;
e375.. - x195 - x399 + x1227 =E= 0;
e376.. - x196 - x400 + x1228 =E= 0;
e377.. - x197 - x401 + x1229 =E= 0;
e378.. - x198 - x402 + x1230 =E= 0;
e379.. - x193 - x421 + x1237 =E= 0;
e380.. - x194 - x422 + x1238 =E= 0;
e381.. - x195 - x423 + x1239 =E= 0;
e382.. - x196 - x424 + x1240 =E= 0;
e383.. - x197 - x425 + x1241 =E= 0;
e384.. - x198 - x426 + x1242 =E= 0;
e385.. - x205 - x289 + x1249 =E= 0;
e386.. - x206 - x290 + x1250 =E= 0;
e387.. - x207 - x291 + x1251 =E= 0;
e388.. - x208 - x292 + x1252 =E= 0;
e389.. - x209 - x293 + x1253 =E= 0;
e390.. - x210 - x294 + x1254 =E= 0;
e391.. - x205 - x313 + x1261 =E= 0;
e392.. - x206 - x314 + x1262 =E= 0;
e393.. - x207 - x315 + x1263 =E= 0;
e394.. - x208 - x316 + x1264 =E= 0;
e395.. - x209 - x317 + x1265 =E= 0;
e396.. - x210 - x318 + x1266 =E= 0;
e397.. - x205 - x349 + x1273 =E= 0;
e398.. - x206 - x350 + x1274 =E= 0;
e399.. - x207 - x351 + x1275 =E= 0;
e400.. - x208 - x352 + x1276 =E= 0;
e401.. - x209 - x353 + x1277 =E= 0;
e402.. - x210 - x354 + x1278 =E= 0;
e403.. - x205 - x421 + x1285 =E= 0;
e404.. - x206 - x422 + x1286 =E= 0;
e405.. - x207 - x423 + x1287 =E= 0;
e406.. - x208 - x424 + x1288 =E= 0;
e407.. - x209 - x425 + x1289 =E= 0;
e408.. - x210 - x426 + x1290 =E= 0;
e409.. - x205 - x457 + x1297 =E= 0;
e410.. - x206 - x458 + x1298 =E= 0;
e411.. - x207 - x459 + x1299 =E= 0;
e412.. - x208 - x460 + x1300 =E= 0;
e413.. - x209 - x461 + x1301 =E= 0;
e414.. - x210 - x462 + x1302 =E= 0;
e415.. - x217 - x253 + x1309 =E= 0;
e416.. - x218 - x254 + x1310 =E= 0;
e417.. - x219 - x255 + x1311 =E= 0;
e418.. - x220 - x256 + x1312 =E= 0;
e419.. - x221 - x257 + x1313 =E= 0;
e420.. - x222 - x258 + x1314 =E= 0;
e421.. - x217 - x349 + x1321 =E= 0;
e422.. - x218 - x350 + x1322 =E= 0;
e423.. - x219 - x351 + x1323 =E= 0;
e424.. - x220 - x352 + x1324 =E= 0;
e425.. - x221 - x353 + x1325 =E= 0;
e426.. - x222 - x354 + x1326 =E= 0;
e427.. - x217 - x361 + x1333 =E= 0;
e428.. - x218 - x362 + x1334 =E= 0;
e429.. - x219 - x363 + x1335 =E= 0;
e430.. - x220 - x364 + x1336 =E= 0;
e431.. - x221 - x365 + x1337 =E= 0;
e432.. - x222 - x366 + x1338 =E= 0;
e433.. - x229 - x337 + x1345 =E= 0;
e434.. - x230 - x338 + x1346 =E= 0;
e435.. - x231 - x339 + x1347 =E= 0;
e436.. - x232 - x340 + x1348 =E= 0;
e437.. - x233 - x341 + x1349 =E= 0;
e438.. - x234 - x342 + x1350 =E= 0;
e439.. - x229 - x373 + x1357 =E= 0;
e440.. - x230 - x374 + x1358 =E= 0;
e441.. - x231 - x375 + x1359 =E= 0;
e442.. - x232 - x376 + x1360 =E= 0;
e443.. - x233 - x377 + x1361 =E= 0;
e444.. - x234 - x378 + x1362 =E= 0;
e445.. - x229 - x421 + x1369 =E= 0;
e446.. - x230 - x422 + x1370 =E= 0;
e447.. - x231 - x423 + x1371 =E= 0;
e448.. - x232 - x424 + x1372 =E= 0;
e449.. - x233 - x425 + x1373 =E= 0;
e450.. - x234 - x426 + x1374 =E= 0;
e451.. - x229 - x457 + x1381 =E= 0;
e452.. - x230 - x458 + x1382 =E= 0;
e453.. - x231 - x459 + x1383 =E= 0;
e454.. - x232 - x460 + x1384 =E= 0;
e455.. - x233 - x461 + x1385 =E= 0;
e456.. - x234 - x462 + x1386 =E= 0;
e457.. - x7 - x319 + x487 =E= 0;
e458.. - x8 - x320 + x488 =E= 0;
e459.. - x9 - x321 + x489 =E= 0;
e460.. - x10 - x322 + x490 =E= 0;
e461.. - x11 - x323 + x491 =E= 0;
e462.. - x12 - x324 + x492 =E= 0;
e463.. - x7 - x403 + x499 =E= 0;
e464.. - x8 - x404 + x500 =E= 0;
e465.. - x9 - x405 + x501 =E= 0;
e466.. - x10 - x406 + x502 =E= 0;
e467.. - x11 - x407 + x503 =E= 0;
e468.. - x12 - x408 + x504 =E= 0;
e469.. - x7 - x415 + x511 =E= 0;
e470.. - x8 - x416 + x512 =E= 0;
e471.. - x9 - x417 + x513 =E= 0;
e472.. - x10 - x418 + x514 =E= 0;
e473.. - x11 - x419 + x515 =E= 0;
e474.. - x12 - x420 + x516 =E= 0;
e475.. - x7 - x475 + x523 =E= 0;
e476.. - x8 - x476 + x524 =E= 0;
e477.. - x9 - x477 + x525 =E= 0;
e478.. - x10 - x478 + x526 =E= 0;
e479.. - x11 - x479 + x527 =E= 0;
e480.. - x12 - x480 + x528 =E= 0;
e481.. - x19 - x343 + x535 =E= 0;
e482.. - x20 - x344 + x536 =E= 0;
e483.. - x21 - x345 + x537 =E= 0;
e484.. - x22 - x346 + x538 =E= 0;
e485.. - x23 - x347 + x539 =E= 0;
e486.. - x24 - x348 + x540 =E= 0;
e487.. - x19 - x415 + x547 =E= 0;
e488.. - x20 - x416 + x548 =E= 0;
e489.. - x21 - x417 + x549 =E= 0;
e490.. - x22 - x418 + x550 =E= 0;
e491.. - x23 - x419 + x551 =E= 0;
e492.. - x24 - x420 + x552 =E= 0;
e493.. - x19 - x451 + x559 =E= 0;
e494.. - x20 - x452 + x560 =E= 0;
e495.. - x21 - x453 + x561 =E= 0;
e496.. - x22 - x454 + x562 =E= 0;
e497.. - x23 - x455 + x563 =E= 0;
e498.. - x24 - x456 + x564 =E= 0;
e499.. - x31 - x247 + x571 =E= 0;
e500.. - x32 - x248 + x572 =E= 0;
e501.. - x33 - x249 + x573 =E= 0;
e502.. - x34 - x250 + x574 =E= 0;
e503.. - x35 - x251 + x575 =E= 0;
e504.. - x36 - x252 + x576 =E= 0;
e505.. - x31 - x259 + x583 =E= 0;
e506.. - x32 - x260 + x584 =E= 0;
e507.. - x33 - x261 + x585 =E= 0;
e508.. - x34 - x262 + x586 =E= 0;
e509.. - x35 - x263 + x587 =E= 0;
e510.. - x36 - x264 + x588 =E= 0;
e511.. - x31 - x403 + x595 =E= 0;
e512.. - x32 - x404 + x596 =E= 0;
e513.. - x33 - x405 + x597 =E= 0;
e514.. - x34 - x406 + x598 =E= 0;
e515.. - x35 - x407 + x599 =E= 0;
e516.. - x36 - x408 + x600 =E= 0;
e517.. - x31 - x439 + x607 =E= 0;
e518.. - x32 - x440 + x608 =E= 0;
e519.. - x33 - x441 + x609 =E= 0;
e520.. - x34 - x442 + x610 =E= 0;
e521.. - x35 - x443 + x611 =E= 0;
e522.. - x36 - x444 + x612 =E= 0;
e523.. - x43 - x331 + x619 =E= 0;
e524.. - x44 - x332 + x620 =E= 0;
e525.. - x45 - x333 + x621 =E= 0;
e526.. - x46 - x334 + x622 =E= 0;
e527.. - x47 - x335 + x623 =E= 0;
e528.. - x48 - x336 + x624 =E= 0;
e529.. - x43 - x355 + x631 =E= 0;
e530.. - x44 - x356 + x632 =E= 0;
e531.. - x45 - x357 + x633 =E= 0;
e532.. - x46 - x358 + x634 =E= 0;
e533.. - x47 - x359 + x635 =E= 0;
e534.. - x48 - x360 + x636 =E= 0;
e535.. - x43 - x415 + x643 =E= 0;
e536.. - x44 - x416 + x644 =E= 0;
e537.. - x45 - x417 + x645 =E= 0;
e538.. - x46 - x418 + x646 =E= 0;
e539.. - x47 - x419 + x647 =E= 0;
e540.. - x48 - x420 + x648 =E= 0;
e541.. - x43 - x451 + x655 =E= 0;
e542.. - x44 - x452 + x656 =E= 0;
e543.. - x45 - x453 + x657 =E= 0;
e544.. - x46 - x454 + x658 =E= 0;
e545.. - x47 - x455 + x659 =E= 0;
e546.. - x48 - x456 + x660 =E= 0;
e547.. - x55 - x259 + x667 =E= 0;
e548.. - x56 - x260 + x668 =E= 0;
e549.. - x57 - x261 + x669 =E= 0;
e550.. - x58 - x262 + x670 =E= 0;
e551.. - x59 - x263 + x671 =E= 0;
e552.. - x60 - x264 + x672 =E= 0;
e553.. - x55 - x283 + x679 =E= 0;
e554.. - x56 - x284 + x680 =E= 0;
e555.. - x57 - x285 + x681 =E= 0;
e556.. - x58 - x286 + x682 =E= 0;
e557.. - x59 - x287 + x683 =E= 0;
e558.. - x60 - x288 + x684 =E= 0;
e559.. - x55 - x331 + x691 =E= 0;
e560.. - x56 - x332 + x692 =E= 0;
e561.. - x57 - x333 + x693 =E= 0;
e562.. - x58 - x334 + x694 =E= 0;
e563.. - x59 - x335 + x695 =E= 0;
e564.. - x60 - x336 + x696 =E= 0;
e565.. - x55 - x391 + x703 =E= 0;
e566.. - x56 - x392 + x704 =E= 0;
e567.. - x57 - x393 + x705 =E= 0;
e568.. - x58 - x394 + x706 =E= 0;
e569.. - x59 - x395 + x707 =E= 0;
e570.. - x60 - x396 + x708 =E= 0;
e571.. - x67 - x247 + x715 =E= 0;
e572.. - x68 - x248 + x716 =E= 0;
e573.. - x69 - x249 + x717 =E= 0;
e574.. - x70 - x250 + x718 =E= 0;
e575.. - x71 - x251 + x719 =E= 0;
e576.. - x72 - x252 + x720 =E= 0;
e577.. - x67 - x295 + x727 =E= 0;
e578.. - x68 - x296 + x728 =E= 0;
e579.. - x69 - x297 + x729 =E= 0;
e580.. - x70 - x298 + x730 =E= 0;
e581.. - x71 - x299 + x731 =E= 0;
e582.. - x72 - x300 + x732 =E= 0;
e583.. - x67 - x367 + x739 =E= 0;
e584.. - x68 - x368 + x740 =E= 0;
e585.. - x69 - x369 + x741 =E= 0;
e586.. - x70 - x370 + x742 =E= 0;
e587.. - x71 - x371 + x743 =E= 0;
e588.. - x72 - x372 + x744 =E= 0;
e589.. - x67 - x439 + x751 =E= 0;
e590.. - x68 - x440 + x752 =E= 0;
e591.. - x69 - x441 + x753 =E= 0;
e592.. - x70 - x442 + x754 =E= 0;
e593.. - x71 - x443 + x755 =E= 0;
e594.. - x72 - x444 + x756 =E= 0;
e595.. - x67 - x475 + x763 =E= 0;
e596.. - x68 - x476 + x764 =E= 0;
e597.. - x69 - x477 + x765 =E= 0;
e598.. - x70 - x478 + x766 =E= 0;
e599.. - x71 - x479 + x767 =E= 0;
e600.. - x72 - x480 + x768 =E= 0;
e601.. - x79 - x271 + x775 =E= 0;
e602.. - x80 - x272 + x776 =E= 0;
e603.. - x81 - x273 + x777 =E= 0;
e604.. - x82 - x274 + x778 =E= 0;
e605.. - x83 - x275 + x779 =E= 0;
e606.. - x84 - x276 + x780 =E= 0;
e607.. - x79 - x307 + x787 =E= 0;
e608.. - x80 - x308 + x788 =E= 0;
e609.. - x81 - x309 + x789 =E= 0;
e610.. - x82 - x310 + x790 =E= 0;
e611.. - x83 - x311 + x791 =E= 0;
e612.. - x84 - x312 + x792 =E= 0;
e613.. - x79 - x463 + x799 =E= 0;
e614.. - x80 - x464 + x800 =E= 0;
e615.. - x81 - x465 + x801 =E= 0;
e616.. - x82 - x466 + x802 =E= 0;
e617.. - x83 - x467 + x803 =E= 0;
e618.. - x84 - x468 + x804 =E= 0;
e619.. - x91 - x307 + x811 =E= 0;
e620.. - x92 - x308 + x812 =E= 0;
e621.. - x93 - x309 + x813 =E= 0;
e622.. - x94 - x310 + x814 =E= 0;
e623.. - x95 - x311 + x815 =E= 0;
e624.. - x96 - x312 + x816 =E= 0;
e625.. - x91 - x367 + x823 =E= 0;
e626.. - x92 - x368 + x824 =E= 0;
e627.. - x93 - x369 + x825 =E= 0;
e628.. - x94 - x370 + x826 =E= 0;
e629.. - x95 - x371 + x827 =E= 0;
e630.. - x96 - x372 + x828 =E= 0;
e631.. - x91 - x379 + x835 =E= 0;
e632.. - x92 - x380 + x836 =E= 0;
e633.. - x93 - x381 + x837 =E= 0;
e634.. - x94 - x382 + x838 =E= 0;
e635.. - x95 - x383 + x839 =E= 0;
e636.. - x96 - x384 + x840 =E= 0;
e637.. - x103 - x295 + x847 =E= 0;
e638.. - x104 - x296 + x848 =E= 0;
e639.. - x105 - x297 + x849 =E= 0;
e640.. - x106 - x298 + x850 =E= 0;
e641.. - x107 - x299 + x851 =E= 0;
e642.. - x108 - x300 + x852 =E= 0;
e643.. - x103 - x379 + x859 =E= 0;
e644.. - x104 - x380 + x860 =E= 0;
e645.. - x105 - x381 + x861 =E= 0;
e646.. - x106 - x382 + x862 =E= 0;
e647.. - x107 - x383 + x863 =E= 0;
e648.. - x108 - x384 + x864 =E= 0;
e649.. - x103 - x391 + x871 =E= 0;
e650.. - x104 - x392 + x872 =E= 0;
e651.. - x105 - x393 + x873 =E= 0;
e652.. - x106 - x394 + x874 =E= 0;
e653.. - x107 - x395 + x875 =E= 0;
e654.. - x108 - x396 + x876 =E= 0;
e655.. - x103 - x415 + x883 =E= 0;
e656.. - x104 - x416 + x884 =E= 0;
e657.. - x105 - x417 + x885 =E= 0;
e658.. - x106 - x418 + x886 =E= 0;
e659.. - x107 - x419 + x887 =E= 0;
e660.. - x108 - x420 + x888 =E= 0;
e661.. - x115 - x307 + x895 =E= 0;
e662.. - x116 - x308 + x896 =E= 0;
e663.. - x117 - x309 + x897 =E= 0;
e664.. - x118 - x310 + x898 =E= 0;
e665.. - x119 - x311 + x899 =E= 0;
e666.. - x120 - x312 + x900 =E= 0;
e667.. - x115 - x319 + x907 =E= 0;
e668.. - x116 - x320 + x908 =E= 0;
e669.. - x117 - x321 + x909 =E= 0;
e670.. - x118 - x322 + x910 =E= 0;
e671.. - x119 - x323 + x911 =E= 0;
e672.. - x120 - x324 + x912 =E= 0;
e673.. - x115 - x379 + x919 =E= 0;
e674.. - x116 - x380 + x920 =E= 0;
e675.. - x117 - x381 + x921 =E= 0;
e676.. - x118 - x382 + x922 =E= 0;
e677.. - x119 - x383 + x923 =E= 0;
e678.. - x120 - x384 + x924 =E= 0;
e679.. - x115 - x439 + x931 =E= 0;
e680.. - x116 - x440 + x932 =E= 0;
e681.. - x117 - x441 + x933 =E= 0;
e682.. - x118 - x442 + x934 =E= 0;
e683.. - x119 - x443 + x935 =E= 0;
e684.. - x120 - x444 + x936 =E= 0;
e685.. - x127 - x247 + x943 =E= 0;
e686.. - x128 - x248 + x944 =E= 0;
e687.. - x129 - x249 + x945 =E= 0;
e688.. - x130 - x250 + x946 =E= 0;
e689.. - x131 - x251 + x947 =E= 0;
e690.. - x132 - x252 + x948 =E= 0;
e691.. - x127 - x355 + x955 =E= 0;
e692.. - x128 - x356 + x956 =E= 0;
e693.. - x129 - x357 + x957 =E= 0;
e694.. - x130 - x358 + x958 =E= 0;
e695.. - x131 - x359 + x959 =E= 0;
e696.. - x132 - x360 + x960 =E= 0;
e697.. - x127 - x391 + x967 =E= 0;
e698.. - x128 - x392 + x968 =E= 0;
e699.. - x129 - x393 + x969 =E= 0;
e700.. - x130 - x394 + x970 =E= 0;
e701.. - x131 - x395 + x971 =E= 0;
e702.. - x132 - x396 + x972 =E= 0;
e703.. - x127 - x415 + x979 =E= 0;
e704.. - x128 - x416 + x980 =E= 0;
e705.. - x129 - x417 + x981 =E= 0;
e706.. - x130 - x418 + x982 =E= 0;
e707.. - x131 - x419 + x983 =E= 0;
e708.. - x132 - x420 + x984 =E= 0;
e709.. - x139 - x271 + x991 =E= 0;
e710.. - x140 - x272 + x992 =E= 0;
e711.. - x141 - x273 + x993 =E= 0;
e712.. - x142 - x274 + x994 =E= 0;
e713.. - x143 - x275 + x995 =E= 0;
e714.. - x144 - x276 + x996 =E= 0;
e715.. - x139 - x391 + x1003 =E= 0;
e716.. - x140 - x392 + x1004 =E= 0;
e717.. - x141 - x393 + x1005 =E= 0;
e718.. - x142 - x394 + x1006 =E= 0;
e719.. - x143 - x395 + x1007 =E= 0;
e720.. - x144 - x396 + x1008 =E= 0;
e721.. - x139 - x427 + x1015 =E= 0;
e722.. - x140 - x428 + x1016 =E= 0;
e723.. - x141 - x429 + x1017 =E= 0;
e724.. - x142 - x430 + x1018 =E= 0;
e725.. - x143 - x431 + x1019 =E= 0;
e726.. - x144 - x432 + x1020 =E= 0;
e727.. - x139 - x463 + x1027 =E= 0;
e728.. - x140 - x464 + x1028 =E= 0;
e729.. - x141 - x465 + x1029 =E= 0;
e730.. - x142 - x466 + x1030 =E= 0;
e731.. - x143 - x467 + x1031 =E= 0;
e732.. - x144 - x468 + x1032 =E= 0;
e733.. - x151 - x271 + x1039 =E= 0;
e734.. - x152 - x272 + x1040 =E= 0;
e735.. - x153 - x273 + x1041 =E= 0;
e736.. - x154 - x274 + x1042 =E= 0;
e737.. - x155 - x275 + x1043 =E= 0;
e738.. - x156 - x276 + x1044 =E= 0;
e739.. - x151 - x283 + x1051 =E= 0;
e740.. - x152 - x284 + x1052 =E= 0;
e741.. - x153 - x285 + x1053 =E= 0;
e742.. - x154 - x286 + x1054 =E= 0;
e743.. - x155 - x287 + x1055 =E= 0;
e744.. - x156 - x288 + x1056 =E= 0;
e745.. - x151 - x439 + x1063 =E= 0;
e746.. - x152 - x440 + x1064 =E= 0;
e747.. - x153 - x441 + x1065 =E= 0;
e748.. - x154 - x442 + x1066 =E= 0;
e749.. - x155 - x443 + x1067 =E= 0;
e750.. - x156 - x444 + x1068 =E= 0;
e751.. - x163 - x259 + x1075 =E= 0;
e752.. - x164 - x260 + x1076 =E= 0;
e753.. - x165 - x261 + x1077 =E= 0;
e754.. - x166 - x262 + x1078 =E= 0;
e755.. - x167 - x263 + x1079 =E= 0;
e756.. - x168 - x264 + x1080 =E= 0;
e757.. - x163 - x319 + x1087 =E= 0;
e758.. - x164 - x320 + x1088 =E= 0;
e759.. - x165 - x321 + x1089 =E= 0;
e760.. - x166 - x322 + x1090 =E= 0;
e761.. - x167 - x323 + x1091 =E= 0;
e762.. - x168 - x324 + x1092 =E= 0;
e763.. - x163 - x379 + x1099 =E= 0;
e764.. - x164 - x380 + x1100 =E= 0;
e765.. - x165 - x381 + x1101 =E= 0;
e766.. - x166 - x382 + x1102 =E= 0;
e767.. - x167 - x383 + x1103 =E= 0;
e768.. - x168 - x384 + x1104 =E= 0;
e769.. - x163 - x475 + x1111 =E= 0;
e770.. - x164 - x476 + x1112 =E= 0;
e771.. - x165 - x477 + x1113 =E= 0;
e772.. - x166 - x478 + x1114 =E= 0;
e773.. - x167 - x479 + x1115 =E= 0;
e774.. - x168 - x480 + x1116 =E= 0;
e775.. - x175 - x271 + x1123 =E= 0;
e776.. - x176 - x272 + x1124 =E= 0;
e777.. - x177 - x273 + x1125 =E= 0;
e778.. - x178 - x274 + x1126 =E= 0;
e779.. - x179 - x275 + x1127 =E= 0;
e780.. - x180 - x276 + x1128 =E= 0;
e781.. - x175 - x319 + x1135 =E= 0;
e782.. - x176 - x320 + x1136 =E= 0;
e783.. - x177 - x321 + x1137 =E= 0;
e784.. - x178 - x322 + x1138 =E= 0;
e785.. - x179 - x323 + x1139 =E= 0;
e786.. - x180 - x324 + x1140 =E= 0;
e787.. - x175 - x451 + x1147 =E= 0;
e788.. - x176 - x452 + x1148 =E= 0;
e789.. - x177 - x453 + x1149 =E= 0;
e790.. - x178 - x454 + x1150 =E= 0;
e791.. - x179 - x455 + x1151 =E= 0;
e792.. - x180 - x456 + x1152 =E= 0;
e793.. - x175 - x463 + x1159 =E= 0;
e794.. - x176 - x464 + x1160 =E= 0;
e795.. - x177 - x465 + x1161 =E= 0;
e796.. - x178 - x466 + x1162 =E= 0;
e797.. - x179 - x467 + x1163 =E= 0;
e798.. - x180 - x468 + x1164 =E= 0;
e799.. - x187 - x259 + x1171 =E= 0;
e800.. - x188 - x260 + x1172 =E= 0;
e801.. - x189 - x261 + x1173 =E= 0;
e802.. - x190 - x262 + x1174 =E= 0;
e803.. - x191 - x263 + x1175 =E= 0;
e804.. - x192 - x264 + x1176 =E= 0;
e805.. - x187 - x295 + x1183 =E= 0;
e806.. - x188 - x296 + x1184 =E= 0;
e807.. - x189 - x297 + x1185 =E= 0;
e808.. - x190 - x298 + x1186 =E= 0;
e809.. - x191 - x299 + x1187 =E= 0;
e810.. - x192 - x300 + x1188 =E= 0;
e811.. - x187 - x307 + x1195 =E= 0;
e812.. - x188 - x308 + x1196 =E= 0;
e813.. - x189 - x309 + x1197 =E= 0;
e814.. - x190 - x310 + x1198 =E= 0;
e815.. - x191 - x311 + x1199 =E= 0;
e816.. - x192 - x312 + x1200 =E= 0;
e817.. - x187 - x415 + x1207 =E= 0;
e818.. - x188 - x416 + x1208 =E= 0;
e819.. - x189 - x417 + x1209 =E= 0;
e820.. - x190 - x418 + x1210 =E= 0;
e821.. - x191 - x419 + x1211 =E= 0;
e822.. - x192 - x420 + x1212 =E= 0;
e823.. - x199 - x367 + x1219 =E= 0;
e824.. - x200 - x368 + x1220 =E= 0;
e825.. - x201 - x369 + x1221 =E= 0;
e826.. - x202 - x370 + x1222 =E= 0;
e827.. - x203 - x371 + x1223 =E= 0;
e828.. - x204 - x372 + x1224 =E= 0;
e829.. - x199 - x403 + x1231 =E= 0;
e830.. - x200 - x404 + x1232 =E= 0;
e831.. - x201 - x405 + x1233 =E= 0;
e832.. - x202 - x406 + x1234 =E= 0;
e833.. - x203 - x407 + x1235 =E= 0;
e834.. - x204 - x408 + x1236 =E= 0;
e835.. - x199 - x427 + x1243 =E= 0;
e836.. - x200 - x428 + x1244 =E= 0;
e837.. - x201 - x429 + x1245 =E= 0;
e838.. - x202 - x430 + x1246 =E= 0;
e839.. - x203 - x431 + x1247 =E= 0;
e840.. - x204 - x432 + x1248 =E= 0;
e841.. - x211 - x295 + x1255 =E= 0;
e842.. - x212 - x296 + x1256 =E= 0;
e843.. - x213 - x297 + x1257 =E= 0;
e844.. - x214 - x298 + x1258 =E= 0;
e845.. - x215 - x299 + x1259 =E= 0;
e846.. - x216 - x300 + x1260 =E= 0;
e847.. - x211 - x319 + x1267 =E= 0;
e848.. - x212 - x320 + x1268 =E= 0;
e849.. - x213 - x321 + x1269 =E= 0;
e850.. - x214 - x322 + x1270 =E= 0;
e851.. - x215 - x323 + x1271 =E= 0;
e852.. - x216 - x324 + x1272 =E= 0;
e853.. - x211 - x355 + x1279 =E= 0;
e854.. - x212 - x356 + x1280 =E= 0;
e855.. - x213 - x357 + x1281 =E= 0;
e856.. - x214 - x358 + x1282 =E= 0;
e857.. - x215 - x359 + x1283 =E= 0;
e858.. - x216 - x360 + x1284 =E= 0;
e859.. - x211 - x427 + x1291 =E= 0;
e860.. - x212 - x428 + x1292 =E= 0;
e861.. - x213 - x429 + x1293 =E= 0;
e862.. - x214 - x430 + x1294 =E= 0;
e863.. - x215 - x431 + x1295 =E= 0;
e864.. - x216 - x432 + x1296 =E= 0;
e865.. - x211 - x463 + x1303 =E= 0;
e866.. - x212 - x464 + x1304 =E= 0;
e867.. - x213 - x465 + x1305 =E= 0;
e868.. - x214 - x466 + x1306 =E= 0;
e869.. - x215 - x467 + x1307 =E= 0;
e870.. - x216 - x468 + x1308 =E= 0;
e871.. - x223 - x259 + x1315 =E= 0;
e872.. - x224 - x260 + x1316 =E= 0;
e873.. - x225 - x261 + x1317 =E= 0;
e874.. - x226 - x262 + x1318 =E= 0;
e875.. - x227 - x263 + x1319 =E= 0;
e876.. - x228 - x264 + x1320 =E= 0;
e877.. - x223 - x355 + x1327 =E= 0;
e878.. - x224 - x356 + x1328 =E= 0;
e879.. - x225 - x357 + x1329 =E= 0;
e880.. - x226 - x358 + x1330 =E= 0;
e881.. - x227 - x359 + x1331 =E= 0;
e882.. - x228 - x360 + x1332 =E= 0;
e883.. - x223 - x367 + x1339 =E= 0;
e884.. - x224 - x368 + x1340 =E= 0;
e885.. - x225 - x369 + x1341 =E= 0;
e886.. - x226 - x370 + x1342 =E= 0;
e887.. - x227 - x371 + x1343 =E= 0;
e888.. - x228 - x372 + x1344 =E= 0;
e889.. - x235 - x343 + x1351 =E= 0;
e890.. - x236 - x344 + x1352 =E= 0;
e891.. - x237 - x345 + x1353 =E= 0;
e892.. - x238 - x346 + x1354 =E= 0;
e893.. - x239 - x347 + x1355 =E= 0;
e894.. - x240 - x348 + x1356 =E= 0;
e895.. - x235 - x379 + x1363 =E= 0;
e896.. - x236 - x380 + x1364 =E= 0;
e897.. - x237 - x381 + x1365 =E= 0;
e898.. - x238 - x382 + x1366 =E= 0;
e899.. - x239 - x383 + x1367 =E= 0;
e900.. - x240 - x384 + x1368 =E= 0;
e901.. - x235 - x427 + x1375 =E= 0;
e902.. - x236 - x428 + x1376 =E= 0;
e903.. - x237 - x429 + x1377 =E= 0;
e904.. - x238 - x430 + x1378 =E= 0;
e905.. - x239 - x431 + x1379 =E= 0;
e906.. - x240 - x432 + x1380 =E= 0;
e907.. - x235 - x463 + x1387 =E= 0;
e908.. - x236 - x464 + x1388 =E= 0;
e909.. - x237 - x465 + x1389 =E= 0;
e910.. - x238 - x466 + x1390 =E= 0;
e911.. - x239 - x467 + x1391 =E= 0;
e912.. - x240 - x468 + x1392 =E= 0;
e913.. - x1393 - x1394 - x1395 - x1396 - x1397 - x1398 + x1405 =E= 0;
e914.. - x1399 - x1400 - x1401 - x1402 - x1403 - x1404 + x1406 =E= 0;
e915.. - x1407 - x1408 - x1409 - x1410 - x1411 - x1412 + x1419 =E= 0;
e916.. - x1413 - x1414 - x1415 - x1416 - x1417 - x1418 + x1420 =E= 0;
e917.. - x1421 - x1422 - x1423 - x1424 - x1425 - x1426 + x1433 =E= 0;
e918.. - x1427 - x1428 - x1429 - x1430 - x1431 - x1432 + x1434 =E= 0;
e919.. - x1435 - x1436 - x1437 - x1438 - x1439 - x1440 + x1447 =E= 0;
e920.. - x1441 - x1442 - x1443 - x1444 - x1445 - x1446 + x1448 =E= 0;
e921.. - x1449 - x1450 - x1451 - x1452 - x1453 - x1454 + x1461 =E= 0;
e922.. - x1455 - x1456 - x1457 - x1458 - x1459 - x1460 + x1462 =E= 0;
e923.. - x1463 - x1464 - x1465 - x1466 - x1467 - x1468 + x1475 =E= 0;
e924.. - x1469 - x1470 - x1471 - x1472 - x1473 - x1474 + x1476 =E= 0;
e925.. - x1477 - x1478 - x1479 - x1480 - x1481 - x1482 + x1489 =E= 0;
e926.. - x1483 - x1484 - x1485 - x1486 - x1487 - x1488 + x1490 =E= 0;
e927.. - x1491 - x1492 - x1493 - x1494 - x1495 - x1496 + x1503 =E= 0;
e928.. - x1497 - x1498 - x1499 - x1500 - x1501 - x1502 + x1504 =E= 0;
e929.. - x1505 - x1506 - x1507 - x1508 - x1509 - x1510 + x1517 =E= 0;
e930.. - x1511 - x1512 - x1513 - x1514 - x1515 - x1516 + x1518 =E= 0;
e931.. - x1519 - x1520 - x1521 - x1522 - x1523 - x1524 + x1531 =E= 0;
e932.. - x1525 - x1526 - x1527 - x1528 - x1529 - x1530 + x1532 =E= 0;
e933.. - x1533 - x1534 - x1535 - x1536 - x1537 - x1538 + x1545 =E= 0;
e934.. - x1539 - x1540 - x1541 - x1542 - x1543 - x1544 + x1546 =E= 0;
e935.. - x1547 - x1548 - x1549 - x1550 - x1551 - x1552 + x1559 =E= 0;
e936.. - x1553 - x1554 - x1555 - x1556 - x1557 - x1558 + x1560 =E= 0;
e937.. - x1561 - x1562 - x1563 - x1564 - x1565 - x1566 + x1573 =E= 0;
e938.. - x1567 - x1568 - x1569 - x1570 - x1571 - x1572 + x1574 =E= 0;
e939.. - x1575 - x1576 - x1577 - x1578 - x1579 - x1580 + x1587 =E= 0;
e940.. - x1581 - x1582 - x1583 - x1584 - x1585 - x1586 + x1588 =E= 0;
e941.. - x1589 - x1590 - x1591 - x1592 - x1593 - x1594 + x1601 =E= 0;
e942.. - x1595 - x1596 - x1597 - x1598 - x1599 - x1600 + x1602 =E= 0;
e943.. - x1603 - x1604 - x1605 - x1606 - x1607 - x1608 + x1615 =E= 0;
e944.. - x1609 - x1610 - x1611 - x1612 - x1613 - x1614 + x1616 =E= 0;
e945.. - x1617 - x1618 - x1619 - x1620 - x1621 - x1622 + x1629 =E= 0;
e946.. - x1623 - x1624 - x1625 - x1626 - x1627 - x1628 + x1630 =E= 0;
e947.. - x1631 - x1632 - x1633 - x1634 - x1635 - x1636 + x1643 =E= 0;
e948.. - x1637 - x1638 - x1639 - x1640 - x1641 - x1642 + x1644 =E= 0;
e949.. - x1645 - x1646 - x1647 - x1648 - x1649 - x1650 + x1657 =E= 0;
e950.. - x1651 - x1652 - x1653 - x1654 - x1655 - x1656 + x1658 =E= 0;
e951.. - x1659 - x1660 - x1661 - x1662 - x1663 - x1664 + x1671 =E= 0;
e952.. - x1665 - x1666 - x1667 - x1668 - x1669 - x1670 + x1672 =E= 0;
e953.. - x1673 - x1674 - x1675 - x1676 - x1677 - x1678 + x1685 =E= 0;
e954.. - x1679 - x1680 - x1681 - x1682 - x1683 - x1684 + x1686 =E= 0;
e955.. - x1687 - x1688 - x1689 - x1690 - x1691 - x1692 + x1699 =E= 0;
e956.. - x1693 - x1694 - x1695 - x1696 - x1697 - x1698 + x1700 =E= 0;
e957.. - x1701 - x1702 - x1703 - x1704 - x1705 - x1706 + x1713 =E= 0;
e958.. - x1707 - x1708 - x1709 - x1710 - x1711 - x1712 + x1714 =E= 0;
e959.. - x1715 - x1716 - x1717 - x1718 - x1719 - x1720 + x1727 =E= 0;
e960.. - x1721 - x1722 - x1723 - x1724 - x1725 - x1726 + x1728 =E= 0;
e961.. - x1729 - x1730 - x1731 - x1732 - x1733 - x1734 + x1741 =E= 0;
e962.. - x1735 - x1736 - x1737 - x1738 - x1739 - x1740 + x1742 =E= 0;
e963.. - x1743 - x1744 - x1745 - x1746 - x1747 - x1748 + x1755 =E= 0;
e964.. - x1749 - x1750 - x1751 - x1752 - x1753 - x1754 + x1756 =E= 0;
e965.. - x1757 - x1758 - x1759 - x1760 - x1761 - x1762 + x1769 =E= 0;
e966.. - x1763 - x1764 - x1765 - x1766 - x1767 - x1768 + x1770 =E= 0;
e967.. - x1771 - x1772 - x1773 - x1774 - x1775 - x1776 + x1783 =E= 0;
e968.. - x1777 - x1778 - x1779 - x1780 - x1781 - x1782 + x1784 =E= 0;
e969.. - x1785 - x1786 - x1787 - x1788 - x1789 - x1790 + x1797 =E= 0;
e970.. - x1791 - x1792 - x1793 - x1794 - x1795 - x1796 + x1798 =E= 0;
e971.. - x1799 - x1800 - x1801 - x1802 - x1803 - x1804 + x1811 =E= 0;
e972.. - x1805 - x1806 - x1807 - x1808 - x1809 - x1810 + x1812 =E= 0;
e973.. - x1813 - x1814 - x1815 - x1816 - x1817 - x1818 + x1825 =E= 0;
e974.. - x1819 - x1820 - x1821 - x1822 - x1823 - x1824 + x1826 =E= 0;
e975.. - x1827 - x1828 - x1829 - x1830 - x1831 - x1832 + x1839 =E= 0;
e976.. - x1833 - x1834 - x1835 - x1836 - x1837 - x1838 + x1840 =E= 0;
e977.. - x1841 - x1842 - x1843 - x1844 - x1845 - x1846 + x1853 =E= 0;
e978.. - x1847 - x1848 - x1849 - x1850 - x1851 - x1852 + x1854 =E= 0;
e979.. - x1855 - x1856 - x1857 - x1858 - x1859 - x1860 + x1867 =E= 0;
e980.. - x1861 - x1862 - x1863 - x1864 - x1865 - x1866 + x1868 =E= 0;
e981.. - x1869 - x1870 - x1871 - x1872 - x1873 - x1874 + x1881 =E= 0;
e982.. - x1875 - x1876 - x1877 - x1878 - x1879 - x1880 + x1882 =E= 0;
e983.. - x1883 - x1884 - x1885 - x1886 - x1887 - x1888 + x1895 =E= 0;
e984.. - x1889 - x1890 - x1891 - x1892 - x1893 - x1894 + x1896 =E= 0;
e985.. - x1897 - x1898 - x1899 - x1900 - x1901 - x1902 + x1909 =E= 0;
e986.. - x1903 - x1904 - x1905 - x1906 - x1907 - x1908 + x1910 =E= 0;
e987.. - x1911 - x1912 - x1913 - x1914 - x1915 - x1916 + x1923 =E= 0;
e988.. - x1917 - x1918 - x1919 - x1920 - x1921 - x1922 + x1924 =E= 0;
e989.. - x1925 - x1926 - x1927 - x1928 - x1929 - x1930 + x1937 =E= 0;
e990.. - x1931 - x1932 - x1933 - x1934 - x1935 - x1936 + x1938 =E= 0;
e991.. - x1939 - x1940 - x1941 - x1942 - x1943 - x1944 + x1951 =E= 0;
e992.. - x1945 - x1946 - x1947 - x1948 - x1949 - x1950 + x1952 =E= 0;
e993.. - x1953 - x1954 - x1955 - x1956 - x1957 - x1958 + x1965 =E= 0;
e994.. - x1959 - x1960 - x1961 - x1962 - x1963 - x1964 + x1966 =E= 0;
e995.. - x1967 - x1968 - x1969 - x1970 - x1971 - x1972 + x1979 =E= 0;
e996.. - x1973 - x1974 - x1975 - x1976 - x1977 - x1978 + x1980 =E= 0;
e997.. - x1981 - x1982 - x1983 - x1984 - x1985 - x1986 + x1993 =E= 0;
e998.. - x1987 - x1988 - x1989 - x1990 - x1991 - x1992 + x1994 =E= 0;
e999.. - x1995 - x1996 - x1997 - x1998 - x1999 - x2000 + x2007 =E= 0;
e1000.. - x2001 - x2002 - x2003 - x2004 - x2005 - x2006 + x2008 =E= 0;
e1001.. - x2009 - x2010 - x2011 - x2012 - x2013 - x2014 + x2021 =E= 0;
e1002.. - x2015 - x2016 - x2017 - x2018 - x2019 - x2020 + x2022 =E= 0;
e1003.. - x2023 - x2024 - x2025 - x2026 - x2027 - x2028 + x2035 =E= 0;
e1004.. - x2029 - x2030 - x2031 - x2032 - x2033 - x2034 + x2036 =E= 0;
e1005.. - x2037 - x2038 - x2039 - x2040 - x2041 - x2042 + x2049 =E= 0;
e1006.. - x2043 - x2044 - x2045 - x2046 - x2047 - x2048 + x2050 =E= 0;
e1007.. - x2051 - x2052 - x2053 - x2054 - x2055 - x2056 + x2063 =E= 0;
e1008.. - x2057 - x2058 - x2059 - x2060 - x2061 - x2062 + x2064 =E= 0;
e1009.. - x2065 - x2066 - x2067 - x2068 - x2069 - x2070 + x2077 =E= 0;
e1010.. - x2071 - x2072 - x2073 - x2074 - x2075 - x2076 + x2078 =E= 0;
e1011.. - x2079 - x2080 - x2081 - x2082 - x2083 - x2084 + x2091 =E= 0;
e1012.. - x2085 - x2086 - x2087 - x2088 - x2089 - x2090 + x2092 =E= 0;
e1013.. - x2093 - x2094 - x2095 - x2096 - x2097 - x2098 + x2105 =E= 0;
e1014.. - x2099 - x2100 - x2101 - x2102 - x2103 - x2104 + x2106 =E= 0;
e1015.. - x2107 - x2108 - x2109 - x2110 - x2111 - x2112 + x2119 =E= 0;
e1016.. - x2113 - x2114 - x2115 - x2116 - x2117 - x2118 + x2120 =E= 0;
e1017.. - x2121 - x2122 - x2123 - x2124 - x2125 - x2126 + x2133 =E= 0;
e1018.. - x2127 - x2128 - x2129 - x2130 - x2131 - x2132 + x2134 =E= 0;
e1019.. - x2135 - x2136 - x2137 - x2138 - x2139 - x2140 + x2147 =E= 0;
e1020.. - x2141 - x2142 - x2143 - x2144 - x2145 - x2146 + x2148 =E= 0;
e1021.. - x2149 - x2150 - x2151 - x2152 - x2153 - x2154 + x2161 =E= 0;
e1022.. - x2155 - x2156 - x2157 - x2158 - x2159 - x2160 + x2162 =E= 0;
e1023.. - x2163 - x2164 - x2165 - x2166 - x2167 - x2168 + x2175 =E= 0;
e1024.. - x2169 - x2170 - x2171 - x2172 - x2173 - x2174 + x2176 =E= 0;
e1025.. - x2177 - x2178 - x2179 - x2180 - x2181 - x2182 + x2189 =E= 0;
e1026.. - x2183 - x2184 - x2185 - x2186 - x2187 - x2188 + x2190 =E= 0;
e1027.. - x2191 - x2192 - x2193 - x2194 - x2195 - x2196 + x2203 =E= 0;
e1028.. - x2197 - x2198 - x2199 - x2200 - x2201 - x2202 + x2204 =E= 0;
e1029.. - x2205 - x2206 - x2207 - x2208 - x2209 - x2210 + x2217 =E= 0;
e1030.. - x2211 - x2212 - x2213 - x2214 - x2215 - x2216 + x2218 =E= 0;
e1031.. - x2219 - x2220 - x2221 - x2222 - x2223 - x2224 + x2231 =E= 0;
e1032.. - x2225 - x2226 - x2227 - x2228 - x2229 - x2230 + x2232 =E= 0;
e1033.. - x2233 - x2234 - x2235 - x2236 - x2237 - x2238 + x2245 =E= 0;
e1034.. - x2239 - x2240 - x2241 - x2242 - x2243 - x2244 + x2246 =E= 0;
e1035.. - x2247 - x2248 - x2249 - x2250 - x2251 - x2252 + x2259 =E= 0;
e1036.. - x2253 - x2254 - x2255 - x2256 - x2257 - x2258 + x2260 =E= 0;
e1037.. - x2261 - x2262 - x2263 - x2264 - x2265 - x2266 + x2273 =E= 0;
e1038.. - x2267 - x2268 - x2269 - x2270 - x2271 - x2272 + x2274 =E= 0;
e1039.. - x2275 - x2276 - x2277 - x2278 - x2279 - x2280 + x2287 =E= 0;
e1040.. - x2281 - x2282 - x2283 - x2284 - x2285 - x2286 + x2288 =E= 0;
e1041.. - x2289 - x2290 - x2291 - x2292 - x2293 - x2294 + x2301 =E= 0;
e1042.. - x2295 - x2296 - x2297 - x2298 - x2299 - x2300 + x2302 =E= 0;
e1043.. - x2303 - x2304 - x2305 - x2306 - x2307 - x2308 + x2315 =E= 0;
e1044.. - x2309 - x2310 - x2311 - x2312 - x2313 - x2314 + x2316 =E= 0;
e1045.. - x2317 - x2318 - x2319 - x2320 - x2321 - x2322 + x2329 =E= 0;
e1046.. - x2323 - x2324 - x2325 - x2326 - x2327 - x2328 + x2330 =E= 0;
e1047.. - x2331 - x2332 - x2333 - x2334 - x2335 - x2336 + x2343 =E= 0;
e1048.. - x2337 - x2338 - x2339 - x2340 - x2341 - x2342 + x2344 =E= 0;
e1049.. - x2345 - x2346 - x2347 - x2348 - x2349 - x2350 + x2357 =E= 0;
e1050.. - x2351 - x2352 - x2353 - x2354 - x2355 - x2356 + x2358 =E= 0;
e1051.. - x2359 - x2360 - x2361 - x2362 - x2363 - x2364 + x2371 =E= 0;
e1052.. - x2365 - x2366 - x2367 - x2368 - x2369 - x2370 + x2372 =E= 0;
e1053.. - x2373 - x2374 - x2375 - x2376 - x2377 - x2378 + x2385 =E= 0;
e1054.. - x2379 - x2380 - x2381 - x2382 - x2383 - x2384 + x2386 =E= 0;
e1055.. - x2387 - x2388 - x2389 - x2390 - x2391 - x2392 + x2399 =E= 0;
e1056.. - x2393 - x2394 - x2395 - x2396 - x2397 - x2398 + x2400 =E= 0;
e1057.. - x2401 - x2402 - x2403 - x2404 - x2405 - x2406 + x2413 =E= 0;
e1058.. - x2407 - x2408 - x2409 - x2410 - x2411 - x2412 + x2414 =E= 0;
e1059.. - x2415 - x2416 - x2417 - x2418 - x2419 - x2420 + x2427 =E= 0;
e1060.. - x2421 - x2422 - x2423 - x2424 - x2425 - x2426 + x2428 =E= 0;
e1061.. - x2429 - x2430 - x2431 - x2432 - x2433 - x2434 + x2441 =E= 0;
e1062.. - x2435 - x2436 - x2437 - x2438 - x2439 - x2440 + x2442 =E= 0;
e1063.. - x2443 - x2444 - x2445 - x2446 - x2447 - x2448 + x2455 =E= 0;
e1064.. - x2449 - x2450 - x2451 - x2452 - x2453 - x2454 + x2456 =E= 0;
e1065.. -2/(1 + exp(-x481)) + x1393 =E= -1;
e1066.. -2/(1 + exp(-x482)) + x1394 =E= -1;
e1067.. -2/(1 + exp(-x483)) + x1395 =E= -1;
e1068.. -2/(1 + exp(-x484)) + x1396 =E= -1;
e1069.. -2/(1 + exp(-x485)) + x1397 =E= -1;
e1070.. -2/(1 + exp(-x486)) + x1398 =E= -1;
e1071.. -2/(1 + exp(-x487)) + x1399 =E= -1;
e1072.. -2/(1 + exp(-x488)) + x1400 =E= -1;
e1073.. -2/(1 + exp(-x489)) + x1401 =E= -1;
e1074.. -2/(1 + exp(-x490)) + x1402 =E= -1;
e1075.. -2/(1 + exp(-x491)) + x1403 =E= -1;
e1076.. -2/(1 + exp(-x492)) + x1404 =E= -1;
e1077.. -2/(1 + exp(-x493)) + x1407 =E= -1;
e1078.. -2/(1 + exp(-x494)) + x1408 =E= -1;
e1079.. -2/(1 + exp(-x495)) + x1409 =E= -1;
e1080.. -2/(1 + exp(-x496)) + x1410 =E= -1;
e1081.. -2/(1 + exp(-x497)) + x1411 =E= -1;
e1082.. -2/(1 + exp(-x498)) + x1412 =E= -1;
e1083.. -2/(1 + exp(-x499)) + x1413 =E= -1;
e1084.. -2/(1 + exp(-x500)) + x1414 =E= -1;
e1085.. -2/(1 + exp(-x501)) + x1415 =E= -1;
e1086.. -2/(1 + exp(-x502)) + x1416 =E= -1;
e1087.. -2/(1 + exp(-x503)) + x1417 =E= -1;
e1088.. -2/(1 + exp(-x504)) + x1418 =E= -1;
e1089.. -2/(1 + exp(-x505)) + x1421 =E= -1;
e1090.. -2/(1 + exp(-x506)) + x1422 =E= -1;
e1091.. -2/(1 + exp(-x507)) + x1423 =E= -1;
e1092.. -2/(1 + exp(-x508)) + x1424 =E= -1;
e1093.. -2/(1 + exp(-x509)) + x1425 =E= -1;
e1094.. -2/(1 + exp(-x510)) + x1426 =E= -1;
e1095.. -2/(1 + exp(-x511)) + x1427 =E= -1;
e1096.. -2/(1 + exp(-x512)) + x1428 =E= -1;
e1097.. -2/(1 + exp(-x513)) + x1429 =E= -1;
e1098.. -2/(1 + exp(-x514)) + x1430 =E= -1;
e1099.. -2/(1 + exp(-x515)) + x1431 =E= -1;
e1100.. -2/(1 + exp(-x516)) + x1432 =E= -1;
e1101.. -2/(1 + exp(-x517)) + x1435 =E= -1;
e1102.. -2/(1 + exp(-x518)) + x1436 =E= -1;
e1103.. -2/(1 + exp(-x519)) + x1437 =E= -1;
e1104.. -2/(1 + exp(-x520)) + x1438 =E= -1;
e1105.. -2/(1 + exp(-x521)) + x1439 =E= -1;
e1106.. -2/(1 + exp(-x522)) + x1440 =E= -1;
e1107.. -2/(1 + exp(-x523)) + x1441 =E= -1;
e1108.. -2/(1 + exp(-x524)) + x1442 =E= -1;
e1109.. -2/(1 + exp(-x525)) + x1443 =E= -1;
e1110.. -2/(1 + exp(-x526)) + x1444 =E= -1;
e1111.. -2/(1 + exp(-x527)) + x1445 =E= -1;
e1112.. -2/(1 + exp(-x528)) + x1446 =E= -1;
e1113.. -2/(1 + exp(-x529)) + x1449 =E= -1;
e1114.. -2/(1 + exp(-x530)) + x1450 =E= -1;
e1115.. -2/(1 + exp(-x531)) + x1451 =E= -1;
e1116.. -2/(1 + exp(-x532)) + x1452 =E= -1;
e1117.. -2/(1 + exp(-x533)) + x1453 =E= -1;
e1118.. -2/(1 + exp(-x534)) + x1454 =E= -1;
e1119.. -2/(1 + exp(-x535)) + x1455 =E= -1;
e1120.. -2/(1 + exp(-x536)) + x1456 =E= -1;
e1121.. -2/(1 + exp(-x537)) + x1457 =E= -1;
e1122.. -2/(1 + exp(-x538)) + x1458 =E= -1;
e1123.. -2/(1 + exp(-x539)) + x1459 =E= -1;
e1124.. -2/(1 + exp(-x540)) + x1460 =E= -1;
e1125.. -2/(1 + exp(-x541)) + x1463 =E= -1;
e1126.. -2/(1 + exp(-x542)) + x1464 =E= -1;
e1127.. -2/(1 + exp(-x543)) + x1465 =E= -1;
e1128.. -2/(1 + exp(-x544)) + x1466 =E= -1;
e1129.. -2/(1 + exp(-x545)) + x1467 =E= -1;
e1130.. -2/(1 + exp(-x546)) + x1468 =E= -1;
e1131.. -2/(1 + exp(-x547)) + x1469 =E= -1;
e1132.. -2/(1 + exp(-x548)) + x1470 =E= -1;
e1133.. -2/(1 + exp(-x549)) + x1471 =E= -1;
e1134.. -2/(1 + exp(-x550)) + x1472 =E= -1;
e1135.. -2/(1 + exp(-x551)) + x1473 =E= -1;
e1136.. -2/(1 + exp(-x552)) + x1474 =E= -1;
e1137.. -2/(1 + exp(-x553)) + x1477 =E= -1;
e1138.. -2/(1 + exp(-x554)) + x1478 =E= -1;
e1139.. -2/(1 + exp(-x555)) + x1479 =E= -1;
e1140.. -2/(1 + exp(-x556)) + x1480 =E= -1;
e1141.. -2/(1 + exp(-x557)) + x1481 =E= -1;
e1142.. -2/(1 + exp(-x558)) + x1482 =E= -1;
e1143.. -2/(1 + exp(-x559)) + x1483 =E= -1;
e1144.. -2/(1 + exp(-x560)) + x1484 =E= -1;
e1145.. -2/(1 + exp(-x561)) + x1485 =E= -1;
e1146.. -2/(1 + exp(-x562)) + x1486 =E= -1;
e1147.. -2/(1 + exp(-x563)) + x1487 =E= -1;
e1148.. -2/(1 + exp(-x564)) + x1488 =E= -1;
e1149.. -2/(1 + exp(-x565)) + x1491 =E= -1;
e1150.. -2/(1 + exp(-x566)) + x1492 =E= -1;
e1151.. -2/(1 + exp(-x567)) + x1493 =E= -1;
e1152.. -2/(1 + exp(-x568)) + x1494 =E= -1;
e1153.. -2/(1 + exp(-x569)) + x1495 =E= -1;
e1154.. -2/(1 + exp(-x570)) + x1496 =E= -1;
e1155.. -2/(1 + exp(-x571)) + x1497 =E= -1;
e1156.. -2/(1 + exp(-x572)) + x1498 =E= -1;
e1157.. -2/(1 + exp(-x573)) + x1499 =E= -1;
e1158.. -2/(1 + exp(-x574)) + x1500 =E= -1;
e1159.. -2/(1 + exp(-x575)) + x1501 =E= -1;
e1160.. -2/(1 + exp(-x576)) + x1502 =E= -1;
e1161.. -2/(1 + exp(-x577)) + x1505 =E= -1;
e1162.. -2/(1 + exp(-x578)) + x1506 =E= -1;
e1163.. -2/(1 + exp(-x579)) + x1507 =E= -1;
e1164.. -2/(1 + exp(-x580)) + x1508 =E= -1;
e1165.. -2/(1 + exp(-x581)) + x1509 =E= -1;
e1166.. -2/(1 + exp(-x582)) + x1510 =E= -1;
e1167.. -2/(1 + exp(-x583)) + x1511 =E= -1;
e1168.. -2/(1 + exp(-x584)) + x1512 =E= -1;
e1169.. -2/(1 + exp(-x585)) + x1513 =E= -1;
e1170.. -2/(1 + exp(-x586)) + x1514 =E= -1;
e1171.. -2/(1 + exp(-x587)) + x1515 =E= -1;
e1172.. -2/(1 + exp(-x588)) + x1516 =E= -1;
e1173.. -2/(1 + exp(-x589)) + x1519 =E= -1;
e1174.. -2/(1 + exp(-x590)) + x1520 =E= -1;
e1175.. -2/(1 + exp(-x591)) + x1521 =E= -1;
e1176.. -2/(1 + exp(-x592)) + x1522 =E= -1;
e1177.. -2/(1 + exp(-x593)) + x1523 =E= -1;
e1178.. -2/(1 + exp(-x594)) + x1524 =E= -1;
e1179.. -2/(1 + exp(-x595)) + x1525 =E= -1;
e1180.. -2/(1 + exp(-x596)) + x1526 =E= -1;
e1181.. -2/(1 + exp(-x597)) + x1527 =E= -1;
e1182.. -2/(1 + exp(-x598)) + x1528 =E= -1;
e1183.. -2/(1 + exp(-x599)) + x1529 =E= -1;
e1184.. -2/(1 + exp(-x600)) + x1530 =E= -1;
e1185.. -2/(1 + exp(-x601)) + x1533 =E= -1;
e1186.. -2/(1 + exp(-x602)) + x1534 =E= -1;
e1187.. -2/(1 + exp(-x603)) + x1535 =E= -1;
e1188.. -2/(1 + exp(-x604)) + x1536 =E= -1;
e1189.. -2/(1 + exp(-x605)) + x1537 =E= -1;
e1190.. -2/(1 + exp(-x606)) + x1538 =E= -1;
e1191.. -2/(1 + exp(-x607)) + x1539 =E= -1;
e1192.. -2/(1 + exp(-x608)) + x1540 =E= -1;
e1193.. -2/(1 + exp(-x609)) + x1541 =E= -1;
e1194.. -2/(1 + exp(-x610)) + x1542 =E= -1;
e1195.. -2/(1 + exp(-x611)) + x1543 =E= -1;
e1196.. -2/(1 + exp(-x612)) + x1544 =E= -1;
e1197.. -2/(1 + exp(-x613)) + x1547 =E= -1;
e1198.. -2/(1 + exp(-x614)) + x1548 =E= -1;
e1199.. -2/(1 + exp(-x615)) + x1549 =E= -1;
e1200.. -2/(1 + exp(-x616)) + x1550 =E= -1;
e1201.. -2/(1 + exp(-x617)) + x1551 =E= -1;
e1202.. -2/(1 + exp(-x618)) + x1552 =E= -1;
e1203.. -2/(1 + exp(-x619)) + x1553 =E= -1;
e1204.. -2/(1 + exp(-x620)) + x1554 =E= -1;
e1205.. -2/(1 + exp(-x621)) + x1555 =E= -1;
e1206.. -2/(1 + exp(-x622)) + x1556 =E= -1;
e1207.. -2/(1 + exp(-x623)) + x1557 =E= -1;
e1208.. -2/(1 + exp(-x624)) + x1558 =E= -1;
e1209.. -2/(1 + exp(-x625)) + x1561 =E= -1;
e1210.. -2/(1 + exp(-x626)) + x1562 =E= -1;
e1211.. -2/(1 + exp(-x627)) + x1563 =E= -1;
e1212.. -2/(1 + exp(-x628)) + x1564 =E= -1;
e1213.. -2/(1 + exp(-x629)) + x1565 =E= -1;
e1214.. -2/(1 + exp(-x630)) + x1566 =E= -1;
e1215.. -2/(1 + exp(-x631)) + x1567 =E= -1;
e1216.. -2/(1 + exp(-x632)) + x1568 =E= -1;
e1217.. -2/(1 + exp(-x633)) + x1569 =E= -1;
e1218.. -2/(1 + exp(-x634)) + x1570 =E= -1;
e1219.. -2/(1 + exp(-x635)) + x1571 =E= -1;
e1220.. -2/(1 + exp(-x636)) + x1572 =E= -1;
e1221.. -2/(1 + exp(-x637)) + x1575 =E= -1;
e1222.. -2/(1 + exp(-x638)) + x1576 =E= -1;
e1223.. -2/(1 + exp(-x639)) + x1577 =E= -1;
e1224.. -2/(1 + exp(-x640)) + x1578 =E= -1;
e1225.. -2/(1 + exp(-x641)) + x1579 =E= -1;
e1226.. -2/(1 + exp(-x642)) + x1580 =E= -1;
e1227.. -2/(1 + exp(-x643)) + x1581 =E= -1;
e1228.. -2/(1 + exp(-x644)) + x1582 =E= -1;
e1229.. -2/(1 + exp(-x645)) + x1583 =E= -1;
e1230.. -2/(1 + exp(-x646)) + x1584 =E= -1;
e1231.. -2/(1 + exp(-x647)) + x1585 =E= -1;
e1232.. -2/(1 + exp(-x648)) + x1586 =E= -1;
e1233.. -2/(1 + exp(-x649)) + x1589 =E= -1;
e1234.. -2/(1 + exp(-x650)) + x1590 =E= -1;
e1235.. -2/(1 + exp(-x651)) + x1591 =E= -1;
e1236.. -2/(1 + exp(-x652)) + x1592 =E= -1;
e1237.. -2/(1 + exp(-x653)) + x1593 =E= -1;
e1238.. -2/(1 + exp(-x654)) + x1594 =E= -1;
e1239.. -2/(1 + exp(-x655)) + x1595 =E= -1;
e1240.. -2/(1 + exp(-x656)) + x1596 =E= -1;
e1241.. -2/(1 + exp(-x657)) + x1597 =E= -1;
e1242.. -2/(1 + exp(-x658)) + x1598 =E= -1;
e1243.. -2/(1 + exp(-x659)) + x1599 =E= -1;
e1244.. -2/(1 + exp(-x660)) + x1600 =E= -1;
e1245.. -2/(1 + exp(-x661)) + x1603 =E= -1;
e1246.. -2/(1 + exp(-x662)) + x1604 =E= -1;
e1247.. -2/(1 + exp(-x663)) + x1605 =E= -1;
e1248.. -2/(1 + exp(-x664)) + x1606 =E= -1;
e1249.. -2/(1 + exp(-x665)) + x1607 =E= -1;
e1250.. -2/(1 + exp(-x666)) + x1608 =E= -1;
e1251.. -2/(1 + exp(-x667)) + x1609 =E= -1;
e1252.. -2/(1 + exp(-x668)) + x1610 =E= -1;
e1253.. -2/(1 + exp(-x669)) + x1611 =E= -1;
e1254.. -2/(1 + exp(-x670)) + x1612 =E= -1;
e1255.. -2/(1 + exp(-x671)) + x1613 =E= -1;
e1256.. -2/(1 + exp(-x672)) + x1614 =E= -1;
e1257.. -2/(1 + exp(-x673)) + x1617 =E= -1;
e1258.. -2/(1 + exp(-x674)) + x1618 =E= -1;
e1259.. -2/(1 + exp(-x675)) + x1619 =E= -1;
e1260.. -2/(1 + exp(-x676)) + x1620 =E= -1;
e1261.. -2/(1 + exp(-x677)) + x1621 =E= -1;
e1262.. -2/(1 + exp(-x678)) + x1622 =E= -1;
e1263.. -2/(1 + exp(-x679)) + x1623 =E= -1;
e1264.. -2/(1 + exp(-x680)) + x1624 =E= -1;
e1265.. -2/(1 + exp(-x681)) + x1625 =E= -1;
e1266.. -2/(1 + exp(-x682)) + x1626 =E= -1;
e1267.. -2/(1 + exp(-x683)) + x1627 =E= -1;
e1268.. -2/(1 + exp(-x684)) + x1628 =E= -1;
e1269.. -2/(1 + exp(-x685)) + x1631 =E= -1;
e1270.. -2/(1 + exp(-x686)) + x1632 =E= -1;
e1271.. -2/(1 + exp(-x687)) + x1633 =E= -1;
e1272.. -2/(1 + exp(-x688)) + x1634 =E= -1;
e1273.. -2/(1 + exp(-x689)) + x1635 =E= -1;
e1274.. -2/(1 + exp(-x690)) + x1636 =E= -1;
e1275.. -2/(1 + exp(-x691)) + x1637 =E= -1;
e1276.. -2/(1 + exp(-x692)) + x1638 =E= -1;
e1277.. -2/(1 + exp(-x693)) + x1639 =E= -1;
e1278.. -2/(1 + exp(-x694)) + x1640 =E= -1;
e1279.. -2/(1 + exp(-x695)) + x1641 =E= -1;
e1280.. -2/(1 + exp(-x696)) + x1642 =E= -1;
e1281.. -2/(1 + exp(-x697)) + x1645 =E= -1;
e1282.. -2/(1 + exp(-x698)) + x1646 =E= -1;
e1283.. -2/(1 + exp(-x699)) + x1647 =E= -1;
e1284.. -2/(1 + exp(-x700)) + x1648 =E= -1;
e1285.. -2/(1 + exp(-x701)) + x1649 =E= -1;
e1286.. -2/(1 + exp(-x702)) + x1650 =E= -1;
e1287.. -2/(1 + exp(-x703)) + x1651 =E= -1;
e1288.. -2/(1 + exp(-x704)) + x1652 =E= -1;
e1289.. -2/(1 + exp(-x705)) + x1653 =E= -1;
e1290.. -2/(1 + exp(-x706)) + x1654 =E= -1;
e1291.. -2/(1 + exp(-x707)) + x1655 =E= -1;
e1292.. -2/(1 + exp(-x708)) + x1656 =E= -1;
e1293.. -2/(1 + exp(-x709)) + x1659 =E= -1;
e1294.. -2/(1 + exp(-x710)) + x1660 =E= -1;
e1295.. -2/(1 + exp(-x711)) + x1661 =E= -1;
e1296.. -2/(1 + exp(-x712)) + x1662 =E= -1;
e1297.. -2/(1 + exp(-x713)) + x1663 =E= -1;
e1298.. -2/(1 + exp(-x714)) + x1664 =E= -1;
e1299.. -2/(1 + exp(-x715)) + x1665 =E= -1;
e1300.. -2/(1 + exp(-x716)) + x1666 =E= -1;
e1301.. -2/(1 + exp(-x717)) + x1667 =E= -1;
e1302.. -2/(1 + exp(-x718)) + x1668 =E= -1;
e1303.. -2/(1 + exp(-x719)) + x1669 =E= -1;
e1304.. -2/(1 + exp(-x720)) + x1670 =E= -1;
e1305.. -2/(1 + exp(-x721)) + x1673 =E= -1;
e1306.. -2/(1 + exp(-x722)) + x1674 =E= -1;
e1307.. -2/(1 + exp(-x723)) + x1675 =E= -1;
e1308.. -2/(1 + exp(-x724)) + x1676 =E= -1;
e1309.. -2/(1 + exp(-x725)) + x1677 =E= -1;
e1310.. -2/(1 + exp(-x726)) + x1678 =E= -1;
e1311.. -2/(1 + exp(-x727)) + x1679 =E= -1;
e1312.. -2/(1 + exp(-x728)) + x1680 =E= -1;
e1313.. -2/(1 + exp(-x729)) + x1681 =E= -1;
e1314.. -2/(1 + exp(-x730)) + x1682 =E= -1;
e1315.. -2/(1 + exp(-x731)) + x1683 =E= -1;
e1316.. -2/(1 + exp(-x732)) + x1684 =E= -1;
e1317.. -2/(1 + exp(-x733)) + x1687 =E= -1;
e1318.. -2/(1 + exp(-x734)) + x1688 =E= -1;
e1319.. -2/(1 + exp(-x735)) + x1689 =E= -1;
e1320.. -2/(1 + exp(-x736)) + x1690 =E= -1;
e1321.. -2/(1 + exp(-x737)) + x1691 =E= -1;
e1322.. -2/(1 + exp(-x738)) + x1692 =E= -1;
e1323.. -2/(1 + exp(-x739)) + x1693 =E= -1;
e1324.. -2/(1 + exp(-x740)) + x1694 =E= -1;
e1325.. -2/(1 + exp(-x741)) + x1695 =E= -1;
e1326.. -2/(1 + exp(-x742)) + x1696 =E= -1;
e1327.. -2/(1 + exp(-x743)) + x1697 =E= -1;
e1328.. -2/(1 + exp(-x744)) + x1698 =E= -1;
e1329.. -2/(1 + exp(-x745)) + x1701 =E= -1;
e1330.. -2/(1 + exp(-x746)) + x1702 =E= -1;
e1331.. -2/(1 + exp(-x747)) + x1703 =E= -1;
e1332.. -2/(1 + exp(-x748)) + x1704 =E= -1;
e1333.. -2/(1 + exp(-x749)) + x1705 =E= -1;
e1334.. -2/(1 + exp(-x750)) + x1706 =E= -1;
e1335.. -2/(1 + exp(-x751)) + x1707 =E= -1;
e1336.. -2/(1 + exp(-x752)) + x1708 =E= -1;
e1337.. -2/(1 + exp(-x753)) + x1709 =E= -1;
e1338.. -2/(1 + exp(-x754)) + x1710 =E= -1;
e1339.. -2/(1 + exp(-x755)) + x1711 =E= -1;
e1340.. -2/(1 + exp(-x756)) + x1712 =E= -1;
e1341.. -2/(1 + exp(-x757)) + x1715 =E= -1;
e1342.. -2/(1 + exp(-x758)) + x1716 =E= -1;
e1343.. -2/(1 + exp(-x759)) + x1717 =E= -1;
e1344.. -2/(1 + exp(-x760)) + x1718 =E= -1;
e1345.. -2/(1 + exp(-x761)) + x1719 =E= -1;
e1346.. -2/(1 + exp(-x762)) + x1720 =E= -1;
e1347.. -2/(1 + exp(-x763)) + x1721 =E= -1;
e1348.. -2/(1 + exp(-x764)) + x1722 =E= -1;
e1349.. -2/(1 + exp(-x765)) + x1723 =E= -1;
e1350.. -2/(1 + exp(-x766)) + x1724 =E= -1;
e1351.. -2/(1 + exp(-x767)) + x1725 =E= -1;
e1352.. -2/(1 + exp(-x768)) + x1726 =E= -1;
e1353.. -2/(1 + exp(-x769)) + x1729 =E= -1;
e1354.. -2/(1 + exp(-x770)) + x1730 =E= -1;
e1355.. -2/(1 + exp(-x771)) + x1731 =E= -1;
e1356.. -2/(1 + exp(-x772)) + x1732 =E= -1;
e1357.. -2/(1 + exp(-x773)) + x1733 =E= -1;
e1358.. -2/(1 + exp(-x774)) + x1734 =E= -1;
e1359.. -2/(1 + exp(-x775)) + x1735 =E= -1;
e1360.. -2/(1 + exp(-x776)) + x1736 =E= -1;
e1361.. -2/(1 + exp(-x777)) + x1737 =E= -1;
e1362.. -2/(1 + exp(-x778)) + x1738 =E= -1;
e1363.. -2/(1 + exp(-x779)) + x1739 =E= -1;
e1364.. -2/(1 + exp(-x780)) + x1740 =E= -1;
e1365.. -2/(1 + exp(-x781)) + x1743 =E= -1;
e1366.. -2/(1 + exp(-x782)) + x1744 =E= -1;
e1367.. -2/(1 + exp(-x783)) + x1745 =E= -1;
e1368.. -2/(1 + exp(-x784)) + x1746 =E= -1;
e1369.. -2/(1 + exp(-x785)) + x1747 =E= -1;
e1370.. -2/(1 + exp(-x786)) + x1748 =E= -1;
e1371.. -2/(1 + exp(-x787)) + x1749 =E= -1;
e1372.. -2/(1 + exp(-x788)) + x1750 =E= -1;
e1373.. -2/(1 + exp(-x789)) + x1751 =E= -1;
e1374.. -2/(1 + exp(-x790)) + x1752 =E= -1;
e1375.. -2/(1 + exp(-x791)) + x1753 =E= -1;
e1376.. -2/(1 + exp(-x792)) + x1754 =E= -1;
e1377.. -2/(1 + exp(-x793)) + x1757 =E= -1;
e1378.. -2/(1 + exp(-x794)) + x1758 =E= -1;
e1379.. -2/(1 + exp(-x795)) + x1759 =E= -1;
e1380.. -2/(1 + exp(-x796)) + x1760 =E= -1;
e1381.. -2/(1 + exp(-x797)) + x1761 =E= -1;
e1382.. -2/(1 + exp(-x798)) + x1762 =E= -1;
e1383.. -2/(1 + exp(-x799)) + x1763 =E= -1;
e1384.. -2/(1 + exp(-x800)) + x1764 =E= -1;
e1385.. -2/(1 + exp(-x801)) + x1765 =E= -1;
e1386.. -2/(1 + exp(-x802)) + x1766 =E= -1;
e1387.. -2/(1 + exp(-x803)) + x1767 =E= -1;
e1388.. -2/(1 + exp(-x804)) + x1768 =E= -1;
e1389.. -2/(1 + exp(-x805)) + x1771 =E= -1;
e1390.. -2/(1 + exp(-x806)) + x1772 =E= -1;
e1391.. -2/(1 + exp(-x807)) + x1773 =E= -1;
e1392.. -2/(1 + exp(-x808)) + x1774 =E= -1;
e1393.. -2/(1 + exp(-x809)) + x1775 =E= -1;
e1394.. -2/(1 + exp(-x810)) + x1776 =E= -1;
e1395.. -2/(1 + exp(-x811)) + x1777 =E= -1;
e1396.. -2/(1 + exp(-x812)) + x1778 =E= -1;
e1397.. -2/(1 + exp(-x813)) + x1779 =E= -1;
e1398.. -2/(1 + exp(-x814)) + x1780 =E= -1;
e1399.. -2/(1 + exp(-x815)) + x1781 =E= -1;
e1400.. -2/(1 + exp(-x816)) + x1782 =E= -1;
e1401.. -2/(1 + exp(-x817)) + x1785 =E= -1;
e1402.. -2/(1 + exp(-x818)) + x1786 =E= -1;
e1403.. -2/(1 + exp(-x819)) + x1787 =E= -1;
e1404.. -2/(1 + exp(-x820)) + x1788 =E= -1;
e1405.. -2/(1 + exp(-x821)) + x1789 =E= -1;
e1406.. -2/(1 + exp(-x822)) + x1790 =E= -1;
e1407.. -2/(1 + exp(-x823)) + x1791 =E= -1;
e1408.. -2/(1 + exp(-x824)) + x1792 =E= -1;
e1409.. -2/(1 + exp(-x825)) + x1793 =E= -1;
e1410.. -2/(1 + exp(-x826)) + x1794 =E= -1;
e1411.. -2/(1 + exp(-x827)) + x1795 =E= -1;
e1412.. -2/(1 + exp(-x828)) + x1796 =E= -1;
e1413.. -2/(1 + exp(-x829)) + x1799 =E= -1;
e1414.. -2/(1 + exp(-x830)) + x1800 =E= -1;
e1415.. -2/(1 + exp(-x831)) + x1801 =E= -1;
e1416.. -2/(1 + exp(-x832)) + x1802 =E= -1;
e1417.. -2/(1 + exp(-x833)) + x1803 =E= -1;
e1418.. -2/(1 + exp(-x834)) + x1804 =E= -1;
e1419.. -2/(1 + exp(-x835)) + x1805 =E= -1;
e1420.. -2/(1 + exp(-x836)) + x1806 =E= -1;
e1421.. -2/(1 + exp(-x837)) + x1807 =E= -1;
e1422.. -2/(1 + exp(-x838)) + x1808 =E= -1;
e1423.. -2/(1 + exp(-x839)) + x1809 =E= -1;
e1424.. -2/(1 + exp(-x840)) + x1810 =E= -1;
e1425.. -2/(1 + exp(-x841)) + x1813 =E= -1;
e1426.. -2/(1 + exp(-x842)) + x1814 =E= -1;
e1427.. -2/(1 + exp(-x843)) + x1815 =E= -1;
e1428.. -2/(1 + exp(-x844)) + x1816 =E= -1;
e1429.. -2/(1 + exp(-x845)) + x1817 =E= -1;
e1430.. -2/(1 + exp(-x846)) + x1818 =E= -1;
e1431.. -2/(1 + exp(-x847)) + x1819 =E= -1;
e1432.. -2/(1 + exp(-x848)) + x1820 =E= -1;
e1433.. -2/(1 + exp(-x849)) + x1821 =E= -1;
e1434.. -2/(1 + exp(-x850)) + x1822 =E= -1;
e1435.. -2/(1 + exp(-x851)) + x1823 =E= -1;
e1436.. -2/(1 + exp(-x852)) + x1824 =E= -1;
e1437.. -2/(1 + exp(-x853)) + x1827 =E= -1;
e1438.. -2/(1 + exp(-x854)) + x1828 =E= -1;
e1439.. -2/(1 + exp(-x855)) + x1829 =E= -1;
e1440.. -2/(1 + exp(-x856)) + x1830 =E= -1;
e1441.. -2/(1 + exp(-x857)) + x1831 =E= -1;
e1442.. -2/(1 + exp(-x858)) + x1832 =E= -1;
e1443.. -2/(1 + exp(-x859)) + x1833 =E= -1;
e1444.. -2/(1 + exp(-x860)) + x1834 =E= -1;
e1445.. -2/(1 + exp(-x861)) + x1835 =E= -1;
e1446.. -2/(1 + exp(-x862)) + x1836 =E= -1;
e1447.. -2/(1 + exp(-x863)) + x1837 =E= -1;
e1448.. -2/(1 + exp(-x864)) + x1838 =E= -1;
e1449.. -2/(1 + exp(-x865)) + x1841 =E= -1;
e1450.. -2/(1 + exp(-x866)) + x1842 =E= -1;
e1451.. -2/(1 + exp(-x867)) + x1843 =E= -1;
e1452.. -2/(1 + exp(-x868)) + x1844 =E= -1;
e1453.. -2/(1 + exp(-x869)) + x1845 =E= -1;
e1454.. -2/(1 + exp(-x870)) + x1846 =E= -1;
e1455.. -2/(1 + exp(-x871)) + x1847 =E= -1;
e1456.. -2/(1 + exp(-x872)) + x1848 =E= -1;
e1457.. -2/(1 + exp(-x873)) + x1849 =E= -1;
e1458.. -2/(1 + exp(-x874)) + x1850 =E= -1;
e1459.. -2/(1 + exp(-x875)) + x1851 =E= -1;
e1460.. -2/(1 + exp(-x876)) + x1852 =E= -1;
e1461.. -2/(1 + exp(-x877)) + x1855 =E= -1;
e1462.. -2/(1 + exp(-x878)) + x1856 =E= -1;
e1463.. -2/(1 + exp(-x879)) + x1857 =E= -1;
e1464.. -2/(1 + exp(-x880)) + x1858 =E= -1;
e1465.. -2/(1 + exp(-x881)) + x1859 =E= -1;
e1466.. -2/(1 + exp(-x882)) + x1860 =E= -1;
e1467.. -2/(1 + exp(-x883)) + x1861 =E= -1;
e1468.. -2/(1 + exp(-x884)) + x1862 =E= -1;
e1469.. -2/(1 + exp(-x885)) + x1863 =E= -1;
e1470.. -2/(1 + exp(-x886)) + x1864 =E= -1;
e1471.. -2/(1 + exp(-x887)) + x1865 =E= -1;
e1472.. -2/(1 + exp(-x888)) + x1866 =E= -1;
e1473.. -2/(1 + exp(-x889)) + x1869 =E= -1;
e1474.. -2/(1 + exp(-x890)) + x1870 =E= -1;
e1475.. -2/(1 + exp(-x891)) + x1871 =E= -1;
e1476.. -2/(1 + exp(-x892)) + x1872 =E= -1;
e1477.. -2/(1 + exp(-x893)) + x1873 =E= -1;
e1478.. -2/(1 + exp(-x894)) + x1874 =E= -1;
e1479.. -2/(1 + exp(-x895)) + x1875 =E= -1;
e1480.. -2/(1 + exp(-x896)) + x1876 =E= -1;
e1481.. -2/(1 + exp(-x897)) + x1877 =E= -1;
e1482.. -2/(1 + exp(-x898)) + x1878 =E= -1;
e1483.. -2/(1 + exp(-x899)) + x1879 =E= -1;
e1484.. -2/(1 + exp(-x900)) + x1880 =E= -1;
e1485.. -2/(1 + exp(-x901)) + x1883 =E= -1;
e1486.. -2/(1 + exp(-x902)) + x1884 =E= -1;
e1487.. -2/(1 + exp(-x903)) + x1885 =E= -1;
e1488.. -2/(1 + exp(-x904)) + x1886 =E= -1;
e1489.. -2/(1 + exp(-x905)) + x1887 =E= -1;
e1490.. -2/(1 + exp(-x906)) + x1888 =E= -1;
e1491.. -2/(1 + exp(-x907)) + x1889 =E= -1;
e1492.. -2/(1 + exp(-x908)) + x1890 =E= -1;
e1493.. -2/(1 + exp(-x909)) + x1891 =E= -1;
e1494.. -2/(1 + exp(-x910)) + x1892 =E= -1;
e1495.. -2/(1 + exp(-x911)) + x1893 =E= -1;
e1496.. -2/(1 + exp(-x912)) + x1894 =E= -1;
e1497.. -2/(1 + exp(-x913)) + x1897 =E= -1;
e1498.. -2/(1 + exp(-x914)) + x1898 =E= -1;
e1499.. -2/(1 + exp(-x915)) + x1899 =E= -1;
e1500.. -2/(1 + exp(-x916)) + x1900 =E= -1;
e1501.. -2/(1 + exp(-x917)) + x1901 =E= -1;
e1502.. -2/(1 + exp(-x918)) + x1902 =E= -1;
e1503.. -2/(1 + exp(-x919)) + x1903 =E= -1;
e1504.. -2/(1 + exp(-x920)) + x1904 =E= -1;
e1505.. -2/(1 + exp(-x921)) + x1905 =E= -1;
e1506.. -2/(1 + exp(-x922)) + x1906 =E= -1;
e1507.. -2/(1 + exp(-x923)) + x1907 =E= -1;
e1508.. -2/(1 + exp(-x924)) + x1908 =E= -1;
e1509.. -2/(1 + exp(-x925)) + x1911 =E= -1;
e1510.. -2/(1 + exp(-x926)) + x1912 =E= -1;
e1511.. -2/(1 + exp(-x927)) + x1913 =E= -1;
e1512.. -2/(1 + exp(-x928)) + x1914 =E= -1;
e1513.. -2/(1 + exp(-x929)) + x1915 =E= -1;
e1514.. -2/(1 + exp(-x930)) + x1916 =E= -1;
e1515.. -2/(1 + exp(-x931)) + x1917 =E= -1;
e1516.. -2/(1 + exp(-x932)) + x1918 =E= -1;
e1517.. -2/(1 + exp(-x933)) + x1919 =E= -1;
e1518.. -2/(1 + exp(-x934)) + x1920 =E= -1;
e1519.. -2/(1 + exp(-x935)) + x1921 =E= -1;
e1520.. -2/(1 + exp(-x936)) + x1922 =E= -1;
e1521.. -2/(1 + exp(-x937)) + x1925 =E= -1;
e1522.. -2/(1 + exp(-x938)) + x1926 =E= -1;
e1523.. -2/(1 + exp(-x939)) + x1927 =E= -1;
e1524.. -2/(1 + exp(-x940)) + x1928 =E= -1;
e1525.. -2/(1 + exp(-x941)) + x1929 =E= -1;
e1526.. -2/(1 + exp(-x942)) + x1930 =E= -1;
e1527.. -2/(1 + exp(-x943)) + x1931 =E= -1;
e1528.. -2/(1 + exp(-x944)) + x1932 =E= -1;
e1529.. -2/(1 + exp(-x945)) + x1933 =E= -1;
e1530.. -2/(1 + exp(-x946)) + x1934 =E= -1;
e1531.. -2/(1 + exp(-x947)) + x1935 =E= -1;
e1532.. -2/(1 + exp(-x948)) + x1936 =E= -1;
e1533.. -2/(1 + exp(-x949)) + x1939 =E= -1;
e1534.. -2/(1 + exp(-x950)) + x1940 =E= -1;
e1535.. -2/(1 + exp(-x951)) + x1941 =E= -1;
e1536.. -2/(1 + exp(-x952)) + x1942 =E= -1;
e1537.. -2/(1 + exp(-x953)) + x1943 =E= -1;
e1538.. -2/(1 + exp(-x954)) + x1944 =E= -1;
e1539.. -2/(1 + exp(-x955)) + x1945 =E= -1;
e1540.. -2/(1 + exp(-x956)) + x1946 =E= -1;
e1541.. -2/(1 + exp(-x957)) + x1947 =E= -1;
e1542.. -2/(1 + exp(-x958)) + x1948 =E= -1;
e1543.. -2/(1 + exp(-x959)) + x1949 =E= -1;
e1544.. -2/(1 + exp(-x960)) + x1950 =E= -1;
e1545.. -2/(1 + exp(-x961)) + x1953 =E= -1;
e1546.. -2/(1 + exp(-x962)) + x1954 =E= -1;
e1547.. -2/(1 + exp(-x963)) + x1955 =E= -1;
e1548.. -2/(1 + exp(-x964)) + x1956 =E= -1;
e1549.. -2/(1 + exp(-x965)) + x1957 =E= -1;
e1550.. -2/(1 + exp(-x966)) + x1958 =E= -1;
e1551.. -2/(1 + exp(-x967)) + x1959 =E= -1;
e1552.. -2/(1 + exp(-x968)) + x1960 =E= -1;
e1553.. -2/(1 + exp(-x969)) + x1961 =E= -1;
e1554.. -2/(1 + exp(-x970)) + x1962 =E= -1;
e1555.. -2/(1 + exp(-x971)) + x1963 =E= -1;
e1556.. -2/(1 + exp(-x972)) + x1964 =E= -1;
e1557.. -2/(1 + exp(-x973)) + x1967 =E= -1;
e1558.. -2/(1 + exp(-x974)) + x1968 =E= -1;
e1559.. -2/(1 + exp(-x975)) + x1969 =E= -1;
e1560.. -2/(1 + exp(-x976)) + x1970 =E= -1;
e1561.. -2/(1 + exp(-x977)) + x1971 =E= -1;
e1562.. -2/(1 + exp(-x978)) + x1972 =E= -1;
e1563.. -2/(1 + exp(-x979)) + x1973 =E= -1;
e1564.. -2/(1 + exp(-x980)) + x1974 =E= -1;
e1565.. -2/(1 + exp(-x981)) + x1975 =E= -1;
e1566.. -2/(1 + exp(-x982)) + x1976 =E= -1;
e1567.. -2/(1 + exp(-x983)) + x1977 =E= -1;
e1568.. -2/(1 + exp(-x984)) + x1978 =E= -1;
e1569.. -2/(1 + exp(-x985)) + x1981 =E= -1;
e1570.. -2/(1 + exp(-x986)) + x1982 =E= -1;
e1571.. -2/(1 + exp(-x987)) + x1983 =E= -1;
e1572.. -2/(1 + exp(-x988)) + x1984 =E= -1;
e1573.. -2/(1 + exp(-x989)) + x1985 =E= -1;
e1574.. -2/(1 + exp(-x990)) + x1986 =E= -1;
e1575.. -2/(1 + exp(-x991)) + x1987 =E= -1;
e1576.. -2/(1 + exp(-x992)) + x1988 =E= -1;
e1577.. -2/(1 + exp(-x993)) + x1989 =E= -1;
e1578.. -2/(1 + exp(-x994)) + x1990 =E= -1;
e1579.. -2/(1 + exp(-x995)) + x1991 =E= -1;
e1580.. -2/(1 + exp(-x996)) + x1992 =E= -1;
e1581.. -2/(1 + exp(-x997)) + x1995 =E= -1;
e1582.. -2/(1 + exp(-x998)) + x1996 =E= -1;
e1583.. -2/(1 + exp(-x999)) + x1997 =E= -1;
e1584.. -2/(1 + exp(-x1000)) + x1998 =E= -1;
e1585.. -2/(1 + exp(-x1001)) + x1999 =E= -1;
e1586.. -2/(1 + exp(-x1002)) + x2000 =E= -1;
e1587.. -2/(1 + exp(-x1003)) + x2001 =E= -1;
e1588.. -2/(1 + exp(-x1004)) + x2002 =E= -1;
e1589.. -2/(1 + exp(-x1005)) + x2003 =E= -1;
e1590.. -2/(1 + exp(-x1006)) + x2004 =E= -1;
e1591.. -2/(1 + exp(-x1007)) + x2005 =E= -1;
e1592.. -2/(1 + exp(-x1008)) + x2006 =E= -1;
e1593.. -2/(1 + exp(-x1009)) + x2009 =E= -1;
e1594.. -2/(1 + exp(-x1010)) + x2010 =E= -1;
e1595.. -2/(1 + exp(-x1011)) + x2011 =E= -1;
e1596.. -2/(1 + exp(-x1012)) + x2012 =E= -1;
e1597.. -2/(1 + exp(-x1013)) + x2013 =E= -1;
e1598.. -2/(1 + exp(-x1014)) + x2014 =E= -1;
e1599.. -2/(1 + exp(-x1015)) + x2015 =E= -1;
e1600.. -2/(1 + exp(-x1016)) + x2016 =E= -1;
e1601.. -2/(1 + exp(-x1017)) + x2017 =E= -1;
e1602.. -2/(1 + exp(-x1018)) + x2018 =E= -1;
e1603.. -2/(1 + exp(-x1019)) + x2019 =E= -1;
e1604.. -2/(1 + exp(-x1020)) + x2020 =E= -1;
e1605.. -2/(1 + exp(-x1021)) + x2023 =E= -1;
e1606.. -2/(1 + exp(-x1022)) + x2024 =E= -1;
e1607.. -2/(1 + exp(-x1023)) + x2025 =E= -1;
e1608.. -2/(1 + exp(-x1024)) + x2026 =E= -1;
e1609.. -2/(1 + exp(-x1025)) + x2027 =E= -1;
e1610.. -2/(1 + exp(-x1026)) + x2028 =E= -1;
e1611.. -2/(1 + exp(-x1027)) + x2029 =E= -1;
e1612.. -2/(1 + exp(-x1028)) + x2030 =E= -1;
e1613.. -2/(1 + exp(-x1029)) + x2031 =E= -1;
e1614.. -2/(1 + exp(-x1030)) + x2032 =E= -1;
e1615.. -2/(1 + exp(-x1031)) + x2033 =E= -1;
e1616.. -2/(1 + exp(-x1032)) + x2034 =E= -1;
e1617.. -2/(1 + exp(-x1033)) + x2037 =E= -1;
e1618.. -2/(1 + exp(-x1034)) + x2038 =E= -1;
e1619.. -2/(1 + exp(-x1035)) + x2039 =E= -1;
e1620.. -2/(1 + exp(-x1036)) + x2040 =E= -1;
e1621.. -2/(1 + exp(-x1037)) + x2041 =E= -1;
e1622.. -2/(1 + exp(-x1038)) + x2042 =E= -1;
e1623.. -2/(1 + exp(-x1039)) + x2043 =E= -1;
e1624.. -2/(1 + exp(-x1040)) + x2044 =E= -1;
e1625.. -2/(1 + exp(-x1041)) + x2045 =E= -1;
e1626.. -2/(1 + exp(-x1042)) + x2046 =E= -1;
e1627.. -2/(1 + exp(-x1043)) + x2047 =E= -1;
e1628.. -2/(1 + exp(-x1044)) + x2048 =E= -1;
e1629.. -2/(1 + exp(-x1045)) + x2051 =E= -1;
e1630.. -2/(1 + exp(-x1046)) + x2052 =E= -1;
e1631.. -2/(1 + exp(-x1047)) + x2053 =E= -1;
e1632.. -2/(1 + exp(-x1048)) + x2054 =E= -1;
e1633.. -2/(1 + exp(-x1049)) + x2055 =E= -1;
e1634.. -2/(1 + exp(-x1050)) + x2056 =E= -1;
e1635.. -2/(1 + exp(-x1051)) + x2057 =E= -1;
e1636.. -2/(1 + exp(-x1052)) + x2058 =E= -1;
e1637.. -2/(1 + exp(-x1053)) + x2059 =E= -1;
e1638.. -2/(1 + exp(-x1054)) + x2060 =E= -1;
e1639.. -2/(1 + exp(-x1055)) + x2061 =E= -1;
e1640.. -2/(1 + exp(-x1056)) + x2062 =E= -1;
e1641.. -2/(1 + exp(-x1057)) + x2065 =E= -1;
e1642.. -2/(1 + exp(-x1058)) + x2066 =E= -1;
e1643.. -2/(1 + exp(-x1059)) + x2067 =E= -1;
e1644.. -2/(1 + exp(-x1060)) + x2068 =E= -1;
e1645.. -2/(1 + exp(-x1061)) + x2069 =E= -1;
e1646.. -2/(1 + exp(-x1062)) + x2070 =E= -1;
e1647.. -2/(1 + exp(-x1063)) + x2071 =E= -1;
e1648.. -2/(1 + exp(-x1064)) + x2072 =E= -1;
e1649.. -2/(1 + exp(-x1065)) + x2073 =E= -1;
e1650.. -2/(1 + exp(-x1066)) + x2074 =E= -1;
e1651.. -2/(1 + exp(-x1067)) + x2075 =E= -1;
e1652.. -2/(1 + exp(-x1068)) + x2076 =E= -1;
e1653.. -2/(1 + exp(-x1069)) + x2079 =E= -1;
e1654.. -2/(1 + exp(-x1070)) + x2080 =E= -1;
e1655.. -2/(1 + exp(-x1071)) + x2081 =E= -1;
e1656.. -2/(1 + exp(-x1072)) + x2082 =E= -1;
e1657.. -2/(1 + exp(-x1073)) + x2083 =E= -1;
e1658.. -2/(1 + exp(-x1074)) + x2084 =E= -1;
e1659.. -2/(1 + exp(-x1075)) + x2085 =E= -1;
e1660.. -2/(1 + exp(-x1076)) + x2086 =E= -1;
e1661.. -2/(1 + exp(-x1077)) + x2087 =E= -1;
e1662.. -2/(1 + exp(-x1078)) + x2088 =E= -1;
e1663.. -2/(1 + exp(-x1079)) + x2089 =E= -1;
e1664.. -2/(1 + exp(-x1080)) + x2090 =E= -1;
e1665.. -2/(1 + exp(-x1081)) + x2093 =E= -1;
e1666.. -2/(1 + exp(-x1082)) + x2094 =E= -1;
e1667.. -2/(1 + exp(-x1083)) + x2095 =E= -1;
e1668.. -2/(1 + exp(-x1084)) + x2096 =E= -1;
e1669.. -2/(1 + exp(-x1085)) + x2097 =E= -1;
e1670.. -2/(1 + exp(-x1086)) + x2098 =E= -1;
e1671.. -2/(1 + exp(-x1087)) + x2099 =E= -1;
e1672.. -2/(1 + exp(-x1088)) + x2100 =E= -1;
e1673.. -2/(1 + exp(-x1089)) + x2101 =E= -1;
e1674.. -2/(1 + exp(-x1090)) + x2102 =E= -1;
e1675.. -2/(1 + exp(-x1091)) + x2103 =E= -1;
e1676.. -2/(1 + exp(-x1092)) + x2104 =E= -1;
e1677.. -2/(1 + exp(-x1093)) + x2107 =E= -1;
e1678.. -2/(1 + exp(-x1094)) + x2108 =E= -1;
e1679.. -2/(1 + exp(-x1095)) + x2109 =E= -1;
e1680.. -2/(1 + exp(-x1096)) + x2110 =E= -1;
e1681.. -2/(1 + exp(-x1097)) + x2111 =E= -1;
e1682.. -2/(1 + exp(-x1098)) + x2112 =E= -1;
e1683.. -2/(1 + exp(-x1099)) + x2113 =E= -1;
e1684.. -2/(1 + exp(-x1100)) + x2114 =E= -1;
e1685.. -2/(1 + exp(-x1101)) + x2115 =E= -1;
e1686.. -2/(1 + exp(-x1102)) + x2116 =E= -1;
e1687.. -2/(1 + exp(-x1103)) + x2117 =E= -1;
e1688.. -2/(1 + exp(-x1104)) + x2118 =E= -1;
e1689.. -2/(1 + exp(-x1105)) + x2121 =E= -1;
e1690.. -2/(1 + exp(-x1106)) + x2122 =E= -1;
e1691.. -2/(1 + exp(-x1107)) + x2123 =E= -1;
e1692.. -2/(1 + exp(-x1108)) + x2124 =E= -1;
e1693.. -2/(1 + exp(-x1109)) + x2125 =E= -1;
e1694.. -2/(1 + exp(-x1110)) + x2126 =E= -1;
e1695.. -2/(1 + exp(-x1111)) + x2127 =E= -1;
e1696.. -2/(1 + exp(-x1112)) + x2128 =E= -1;
e1697.. -2/(1 + exp(-x1113)) + x2129 =E= -1;
e1698.. -2/(1 + exp(-x1114)) + x2130 =E= -1;
e1699.. -2/(1 + exp(-x1115)) + x2131 =E= -1;
e1700.. -2/(1 + exp(-x1116)) + x2132 =E= -1;
e1701.. -2/(1 + exp(-x1117)) + x2135 =E= -1;
e1702.. -2/(1 + exp(-x1118)) + x2136 =E= -1;
e1703.. -2/(1 + exp(-x1119)) + x2137 =E= -1;
e1704.. -2/(1 + exp(-x1120)) + x2138 =E= -1;
e1705.. -2/(1 + exp(-x1121)) + x2139 =E= -1;
e1706.. -2/(1 + exp(-x1122)) + x2140 =E= -1;
e1707.. -2/(1 + exp(-x1123)) + x2141 =E= -1;
e1708.. -2/(1 + exp(-x1124)) + x2142 =E= -1;
e1709.. -2/(1 + exp(-x1125)) + x2143 =E= -1;
e1710.. -2/(1 + exp(-x1126)) + x2144 =E= -1;
e1711.. -2/(1 + exp(-x1127)) + x2145 =E= -1;
e1712.. -2/(1 + exp(-x1128)) + x2146 =E= -1;
e1713.. -2/(1 + exp(-x1129)) + x2149 =E= -1;
e1714.. -2/(1 + exp(-x1130)) + x2150 =E= -1;
e1715.. -2/(1 + exp(-x1131)) + x2151 =E= -1;
e1716.. -2/(1 + exp(-x1132)) + x2152 =E= -1;
e1717.. -2/(1 + exp(-x1133)) + x2153 =E= -1;
e1718.. -2/(1 + exp(-x1134)) + x2154 =E= -1;
e1719.. -2/(1 + exp(-x1135)) + x2155 =E= -1;
e1720.. -2/(1 + exp(-x1136)) + x2156 =E= -1;
e1721.. -2/(1 + exp(-x1137)) + x2157 =E= -1;
e1722.. -2/(1 + exp(-x1138)) + x2158 =E= -1;
e1723.. -2/(1 + exp(-x1139)) + x2159 =E= -1;
e1724.. -2/(1 + exp(-x1140)) + x2160 =E= -1;
e1725.. -2/(1 + exp(-x1141)) + x2163 =E= -1;
e1726.. -2/(1 + exp(-x1142)) + x2164 =E= -1;
e1727.. -2/(1 + exp(-x1143)) + x2165 =E= -1;
e1728.. -2/(1 + exp(-x1144)) + x2166 =E= -1;
e1729.. -2/(1 + exp(-x1145)) + x2167 =E= -1;
e1730.. -2/(1 + exp(-x1146)) + x2168 =E= -1;
e1731.. -2/(1 + exp(-x1147)) + x2169 =E= -1;
e1732.. -2/(1 + exp(-x1148)) + x2170 =E= -1;
e1733.. -2/(1 + exp(-x1149)) + x2171 =E= -1;
e1734.. -2/(1 + exp(-x1150)) + x2172 =E= -1;
e1735.. -2/(1 + exp(-x1151)) + x2173 =E= -1;
e1736.. -2/(1 + exp(-x1152)) + x2174 =E= -1;
e1737.. -2/(1 + exp(-x1153)) + x2177 =E= -1;
e1738.. -2/(1 + exp(-x1154)) + x2178 =E= -1;
e1739.. -2/(1 + exp(-x1155)) + x2179 =E= -1;
e1740.. -2/(1 + exp(-x1156)) + x2180 =E= -1;
e1741.. -2/(1 + exp(-x1157)) + x2181 =E= -1;
e1742.. -2/(1 + exp(-x1158)) + x2182 =E= -1;
e1743.. -2/(1 + exp(-x1159)) + x2183 =E= -1;
e1744.. -2/(1 + exp(-x1160)) + x2184 =E= -1;
e1745.. -2/(1 + exp(-x1161)) + x2185 =E= -1;
e1746.. -2/(1 + exp(-x1162)) + x2186 =E= -1;
e1747.. -2/(1 + exp(-x1163)) + x2187 =E= -1;
e1748.. -2/(1 + exp(-x1164)) + x2188 =E= -1;
e1749.. -2/(1 + exp(-x1165)) + x2191 =E= -1;
e1750.. -2/(1 + exp(-x1166)) + x2192 =E= -1;
e1751.. -2/(1 + exp(-x1167)) + x2193 =E= -1;
e1752.. -2/(1 + exp(-x1168)) + x2194 =E= -1;
e1753.. -2/(1 + exp(-x1169)) + x2195 =E= -1;
e1754.. -2/(1 + exp(-x1170)) + x2196 =E= -1;
e1755.. -2/(1 + exp(-x1171)) + x2197 =E= -1;
e1756.. -2/(1 + exp(-x1172)) + x2198 =E= -1;
e1757.. -2/(1 + exp(-x1173)) + x2199 =E= -1;
e1758.. -2/(1 + exp(-x1174)) + x2200 =E= -1;
e1759.. -2/(1 + exp(-x1175)) + x2201 =E= -1;
e1760.. -2/(1 + exp(-x1176)) + x2202 =E= -1;
e1761.. -2/(1 + exp(-x1177)) + x2205 =E= -1;
e1762.. -2/(1 + exp(-x1178)) + x2206 =E= -1;
e1763.. -2/(1 + exp(-x1179)) + x2207 =E= -1;
e1764.. -2/(1 + exp(-x1180)) + x2208 =E= -1;
e1765.. -2/(1 + exp(-x1181)) + x2209 =E= -1;
e1766.. -2/(1 + exp(-x1182)) + x2210 =E= -1;
e1767.. -2/(1 + exp(-x1183)) + x2211 =E= -1;
e1768.. -2/(1 + exp(-x1184)) + x2212 =E= -1;
e1769.. -2/(1 + exp(-x1185)) + x2213 =E= -1;
e1770.. -2/(1 + exp(-x1186)) + x2214 =E= -1;
e1771.. -2/(1 + exp(-x1187)) + x2215 =E= -1;
e1772.. -2/(1 + exp(-x1188)) + x2216 =E= -1;
e1773.. -2/(1 + exp(-x1189)) + x2219 =E= -1;
e1774.. -2/(1 + exp(-x1190)) + x2220 =E= -1;
e1775.. -2/(1 + exp(-x1191)) + x2221 =E= -1;
e1776.. -2/(1 + exp(-x1192)) + x2222 =E= -1;
e1777.. -2/(1 + exp(-x1193)) + x2223 =E= -1;
e1778.. -2/(1 + exp(-x1194)) + x2224 =E= -1;
e1779.. -2/(1 + exp(-x1195)) + x2225 =E= -1;
e1780.. -2/(1 + exp(-x1196)) + x2226 =E= -1;
e1781.. -2/(1 + exp(-x1197)) + x2227 =E= -1;
e1782.. -2/(1 + exp(-x1198)) + x2228 =E= -1;
e1783.. -2/(1 + exp(-x1199)) + x2229 =E= -1;
e1784.. -2/(1 + exp(-x1200)) + x2230 =E= -1;
e1785.. -2/(1 + exp(-x1201)) + x2233 =E= -1;
e1786.. -2/(1 + exp(-x1202)) + x2234 =E= -1;
e1787.. -2/(1 + exp(-x1203)) + x2235 =E= -1;
e1788.. -2/(1 + exp(-x1204)) + x2236 =E= -1;
e1789.. -2/(1 + exp(-x1205)) + x2237 =E= -1;
e1790.. -2/(1 + exp(-x1206)) + x2238 =E= -1;
e1791.. -2/(1 + exp(-x1207)) + x2239 =E= -1;
e1792.. -2/(1 + exp(-x1208)) + x2240 =E= -1;
e1793.. -2/(1 + exp(-x1209)) + x2241 =E= -1;
e1794.. -2/(1 + exp(-x1210)) + x2242 =E= -1;
e1795.. -2/(1 + exp(-x1211)) + x2243 =E= -1;
e1796.. -2/(1 + exp(-x1212)) + x2244 =E= -1;
e1797.. -2/(1 + exp(-x1213)) + x2247 =E= -1;
e1798.. -2/(1 + exp(-x1214)) + x2248 =E= -1;
e1799.. -2/(1 + exp(-x1215)) + x2249 =E= -1;
e1800.. -2/(1 + exp(-x1216)) + x2250 =E= -1;
e1801.. -2/(1 + exp(-x1217)) + x2251 =E= -1;
e1802.. -2/(1 + exp(-x1218)) + x2252 =E= -1;
e1803.. -2/(1 + exp(-x1219)) + x2253 =E= -1;
e1804.. -2/(1 + exp(-x1220)) + x2254 =E= -1;
e1805.. -2/(1 + exp(-x1221)) + x2255 =E= -1;
e1806.. -2/(1 + exp(-x1222)) + x2256 =E= -1;
e1807.. -2/(1 + exp(-x1223)) + x2257 =E= -1;
e1808.. -2/(1 + exp(-x1224)) + x2258 =E= -1;
e1809.. -2/(1 + exp(-x1225)) + x2261 =E= -1;
e1810.. -2/(1 + exp(-x1226)) + x2262 =E= -1;
e1811.. -2/(1 + exp(-x1227)) + x2263 =E= -1;
e1812.. -2/(1 + exp(-x1228)) + x2264 =E= -1;
e1813.. -2/(1 + exp(-x1229)) + x2265 =E= -1;
e1814.. -2/(1 + exp(-x1230)) + x2266 =E= -1;
e1815.. -2/(1 + exp(-x1231)) + x2267 =E= -1;
e1816.. -2/(1 + exp(-x1232)) + x2268 =E= -1;
e1817.. -2/(1 + exp(-x1233)) + x2269 =E= -1;
e1818.. -2/(1 + exp(-x1234)) + x2270 =E= -1;
e1819.. -2/(1 + exp(-x1235)) + x2271 =E= -1;
e1820.. -2/(1 + exp(-x1236)) + x2272 =E= -1;
e1821.. -2/(1 + exp(-x1237)) + x2275 =E= -1;
e1822.. -2/(1 + exp(-x1238)) + x2276 =E= -1;
e1823.. -2/(1 + exp(-x1239)) + x2277 =E= -1;
e1824.. -2/(1 + exp(-x1240)) + x2278 =E= -1;
e1825.. -2/(1 + exp(-x1241)) + x2279 =E= -1;
e1826.. -2/(1 + exp(-x1242)) + x2280 =E= -1;
e1827.. -2/(1 + exp(-x1243)) + x2281 =E= -1;
e1828.. -2/(1 + exp(-x1244)) + x2282 =E= -1;
e1829.. -2/(1 + exp(-x1245)) + x2283 =E= -1;
e1830.. -2/(1 + exp(-x1246)) + x2284 =E= -1;
e1831.. -2/(1 + exp(-x1247)) + x2285 =E= -1;
e1832.. -2/(1 + exp(-x1248)) + x2286 =E= -1;
e1833.. -2/(1 + exp(-x1249)) + x2289 =E= -1;
e1834.. -2/(1 + exp(-x1250)) + x2290 =E= -1;
e1835.. -2/(1 + exp(-x1251)) + x2291 =E= -1;
e1836.. -2/(1 + exp(-x1252)) + x2292 =E= -1;
e1837.. -2/(1 + exp(-x1253)) + x2293 =E= -1;
e1838.. -2/(1 + exp(-x1254)) + x2294 =E= -1;
e1839.. -2/(1 + exp(-x1255)) + x2295 =E= -1;
e1840.. -2/(1 + exp(-x1256)) + x2296 =E= -1;
e1841.. -2/(1 + exp(-x1257)) + x2297 =E= -1;
e1842.. -2/(1 + exp(-x1258)) + x2298 =E= -1;
e1843.. -2/(1 + exp(-x1259)) + x2299 =E= -1;
e1844.. -2/(1 + exp(-x1260)) + x2300 =E= -1;
e1845.. -2/(1 + exp(-x1261)) + x2303 =E= -1;
e1846.. -2/(1 + exp(-x1262)) + x2304 =E= -1;
e1847.. -2/(1 + exp(-x1263)) + x2305 =E= -1;
e1848.. -2/(1 + exp(-x1264)) + x2306 =E= -1;
e1849.. -2/(1 + exp(-x1265)) + x2307 =E= -1;
e1850.. -2/(1 + exp(-x1266)) + x2308 =E= -1;
e1851.. -2/(1 + exp(-x1267)) + x2309 =E= -1;
e1852.. -2/(1 + exp(-x1268)) + x2310 =E= -1;
e1853.. -2/(1 + exp(-x1269)) + x2311 =E= -1;
e1854.. -2/(1 + exp(-x1270)) + x2312 =E= -1;
e1855.. -2/(1 + exp(-x1271)) + x2313 =E= -1;
e1856.. -2/(1 + exp(-x1272)) + x2314 =E= -1;
e1857.. -2/(1 + exp(-x1273)) + x2317 =E= -1;
e1858.. -2/(1 + exp(-x1274)) + x2318 =E= -1;
e1859.. -2/(1 + exp(-x1275)) + x2319 =E= -1;
e1860.. -2/(1 + exp(-x1276)) + x2320 =E= -1;
e1861.. -2/(1 + exp(-x1277)) + x2321 =E= -1;
e1862.. -2/(1 + exp(-x1278)) + x2322 =E= -1;
e1863.. -2/(1 + exp(-x1279)) + x2323 =E= -1;
e1864.. -2/(1 + exp(-x1280)) + x2324 =E= -1;
e1865.. -2/(1 + exp(-x1281)) + x2325 =E= -1;
e1866.. -2/(1 + exp(-x1282)) + x2326 =E= -1;
e1867.. -2/(1 + exp(-x1283)) + x2327 =E= -1;
e1868.. -2/(1 + exp(-x1284)) + x2328 =E= -1;
e1869.. -2/(1 + exp(-x1285)) + x2331 =E= -1;
e1870.. -2/(1 + exp(-x1286)) + x2332 =E= -1;
e1871.. -2/(1 + exp(-x1287)) + x2333 =E= -1;
e1872.. -2/(1 + exp(-x1288)) + x2334 =E= -1;
e1873.. -2/(1 + exp(-x1289)) + x2335 =E= -1;
e1874.. -2/(1 + exp(-x1290)) + x2336 =E= -1;
e1875.. -2/(1 + exp(-x1291)) + x2337 =E= -1;
e1876.. -2/(1 + exp(-x1292)) + x2338 =E= -1;
e1877.. -2/(1 + exp(-x1293)) + x2339 =E= -1;
e1878.. -2/(1 + exp(-x1294)) + x2340 =E= -1;
e1879.. -2/(1 + exp(-x1295)) + x2341 =E= -1;
e1880.. -2/(1 + exp(-x1296)) + x2342 =E= -1;
e1881.. -2/(1 + exp(-x1297)) + x2345 =E= -1;
e1882.. -2/(1 + exp(-x1298)) + x2346 =E= -1;
e1883.. -2/(1 + exp(-x1299)) + x2347 =E= -1;
e1884.. -2/(1 + exp(-x1300)) + x2348 =E= -1;
e1885.. -2/(1 + exp(-x1301)) + x2349 =E= -1;
e1886.. -2/(1 + exp(-x1302)) + x2350 =E= -1;
e1887.. -2/(1 + exp(-x1303)) + x2351 =E= -1;
e1888.. -2/(1 + exp(-x1304)) + x2352 =E= -1;
e1889.. -2/(1 + exp(-x1305)) + x2353 =E= -1;
e1890.. -2/(1 + exp(-x1306)) + x2354 =E= -1;
e1891.. -2/(1 + exp(-x1307)) + x2355 =E= -1;
e1892.. -2/(1 + exp(-x1308)) + x2356 =E= -1;
e1893.. -2/(1 + exp(-x1309)) + x2359 =E= -1;
e1894.. -2/(1 + exp(-x1310)) + x2360 =E= -1;
e1895.. -2/(1 + exp(-x1311)) + x2361 =E= -1;
e1896.. -2/(1 + exp(-x1312)) + x2362 =E= -1;
e1897.. -2/(1 + exp(-x1313)) + x2363 =E= -1;
e1898.. -2/(1 + exp(-x1314)) + x2364 =E= -1;
e1899.. -2/(1 + exp(-x1315)) + x2365 =E= -1;
e1900.. -2/(1 + exp(-x1316)) + x2366 =E= -1;
e1901.. -2/(1 + exp(-x1317)) + x2367 =E= -1;
e1902.. -2/(1 + exp(-x1318)) + x2368 =E= -1;
e1903.. -2/(1 + exp(-x1319)) + x2369 =E= -1;
e1904.. -2/(1 + exp(-x1320)) + x2370 =E= -1;
e1905.. -2/(1 + exp(-x1321)) + x2373 =E= -1;
e1906.. -2/(1 + exp(-x1322)) + x2374 =E= -1;
e1907.. -2/(1 + exp(-x1323)) + x2375 =E= -1;
e1908.. -2/(1 + exp(-x1324)) + x2376 =E= -1;
e1909.. -2/(1 + exp(-x1325)) + x2377 =E= -1;
e1910.. -2/(1 + exp(-x1326)) + x2378 =E= -1;
e1911.. -2/(1 + exp(-x1327)) + x2379 =E= -1;
e1912.. -2/(1 + exp(-x1328)) + x2380 =E= -1;
e1913.. -2/(1 + exp(-x1329)) + x2381 =E= -1;
e1914.. -2/(1 + exp(-x1330)) + x2382 =E= -1;
e1915.. -2/(1 + exp(-x1331)) + x2383 =E= -1;
e1916.. -2/(1 + exp(-x1332)) + x2384 =E= -1;
e1917.. -2/(1 + exp(-x1333)) + x2387 =E= -1;
e1918.. -2/(1 + exp(-x1334)) + x2388 =E= -1;
e1919.. -2/(1 + exp(-x1335)) + x2389 =E= -1;
e1920.. -2/(1 + exp(-x1336)) + x2390 =E= -1;
e1921.. -2/(1 + exp(-x1337)) + x2391 =E= -1;
e1922.. -2/(1 + exp(-x1338)) + x2392 =E= -1;
e1923.. -2/(1 + exp(-x1339)) + x2393 =E= -1;
e1924.. -2/(1 + exp(-x1340)) + x2394 =E= -1;
e1925.. -2/(1 + exp(-x1341)) + x2395 =E= -1;
e1926.. -2/(1 + exp(-x1342)) + x2396 =E= -1;
e1927.. -2/(1 + exp(-x1343)) + x2397 =E= -1;
e1928.. -2/(1 + exp(-x1344)) + x2398 =E= -1;
e1929.. -2/(1 + exp(-x1345)) + x2401 =E= -1;
e1930.. -2/(1 + exp(-x1346)) + x2402 =E= -1;
e1931.. -2/(1 + exp(-x1347)) + x2403 =E= -1;
e1932.. -2/(1 + exp(-x1348)) + x2404 =E= -1;
e1933.. -2/(1 + exp(-x1349)) + x2405 =E= -1;
e1934.. -2/(1 + exp(-x1350)) + x2406 =E= -1;
e1935.. -2/(1 + exp(-x1351)) + x2407 =E= -1;
e1936.. -2/(1 + exp(-x1352)) + x2408 =E= -1;
e1937.. -2/(1 + exp(-x1353)) + x2409 =E= -1;
e1938.. -2/(1 + exp(-x1354)) + x2410 =E= -1;
e1939.. -2/(1 + exp(-x1355)) + x2411 =E= -1;
e1940.. -2/(1 + exp(-x1356)) + x2412 =E= -1;
e1941.. -2/(1 + exp(-x1357)) + x2415 =E= -1;
e1942.. -2/(1 + exp(-x1358)) + x2416 =E= -1;
e1943.. -2/(1 + exp(-x1359)) + x2417 =E= -1;
e1944.. -2/(1 + exp(-x1360)) + x2418 =E= -1;
e1945.. -2/(1 + exp(-x1361)) + x2419 =E= -1;
e1946.. -2/(1 + exp(-x1362)) + x2420 =E= -1;
e1947.. -2/(1 + exp(-x1363)) + x2421 =E= -1;
e1948.. -2/(1 + exp(-x1364)) + x2422 =E= -1;
e1949.. -2/(1 + exp(-x1365)) + x2423 =E= -1;
e1950.. -2/(1 + exp(-x1366)) + x2424 =E= -1;
e1951.. -2/(1 + exp(-x1367)) + x2425 =E= -1;
e1952.. -2/(1 + exp(-x1368)) + x2426 =E= -1;
e1953.. -2/(1 + exp(-x1369)) + x2429 =E= -1;
e1954.. -2/(1 + exp(-x1370)) + x2430 =E= -1;
e1955.. -2/(1 + exp(-x1371)) + x2431 =E= -1;
e1956.. -2/(1 + exp(-x1372)) + x2432 =E= -1;
e1957.. -2/(1 + exp(-x1373)) + x2433 =E= -1;
e1958.. -2/(1 + exp(-x1374)) + x2434 =E= -1;
e1959.. -2/(1 + exp(-x1375)) + x2435 =E= -1;
e1960.. -2/(1 + exp(-x1376)) + x2436 =E= -1;
e1961.. -2/(1 + exp(-x1377)) + x2437 =E= -1;
e1962.. -2/(1 + exp(-x1378)) + x2438 =E= -1;
e1963.. -2/(1 + exp(-x1379)) + x2439 =E= -1;
e1964.. -2/(1 + exp(-x1380)) + x2440 =E= -1;
e1965.. -2/(1 + exp(-x1381)) + x2443 =E= -1;
e1966.. -2/(1 + exp(-x1382)) + x2444 =E= -1;
e1967.. -2/(1 + exp(-x1383)) + x2445 =E= -1;
e1968.. -2/(1 + exp(-x1384)) + x2446 =E= -1;
e1969.. -2/(1 + exp(-x1385)) + x2447 =E= -1;
e1970.. -2/(1 + exp(-x1386)) + x2448 =E= -1;
e1971.. -2/(1 + exp(-x1387)) + x2449 =E= -1;
e1972.. -2/(1 + exp(-x1388)) + x2450 =E= -1;
e1973.. -2/(1 + exp(-x1389)) + x2451 =E= -1;
e1974.. -2/(1 + exp(-x1390)) + x2452 =E= -1;
e1975.. -2/(1 + exp(-x1391)) + x2453 =E= -1;
e1976.. -2/(1 + exp(-x1392)) + x2454 =E= -1;
e1977.. -(sqr((-0.33) + x1405) + sqr((-0.33) + x1406) + sqr((-0.66) + x1419) +
sqr(x1420) + sqr((-0.5) + x1433) + sqr((-0.33) + x1434) + sqr((-0.33)
+ x1447) + sqr(x1448) + sqr((-0.33) + x1461) + sqr((-0.33) + x1462) +
sqr((-0.66) + x1475) + sqr(x1476) + sqr((-0.5) + x1489) + sqr(x1490) +
sqr((-0.17) + x1503) + sqr(x1504) + sqr(x1517) + sqr(x1518) + sqr((-
0.17) + x1531) + sqr(x1532) + sqr((-0.33) + x1545) + sqr((-0.17) +
x1546) + sqr((-0.66) + x1559) + sqr((-0.17) + x1560) + sqr((-0.5) +
x1573) + sqr((-0.17) + x1574) + sqr((-0.33) + x1587) + sqr((-0.17) +
x1588) + sqr((-0.5) + x1601) + sqr(x1602) + sqr(x1615) + sqr((-0.17) +
x1616) + sqr((-0.17) + x1629) + sqr((-0.17) + x1630) + sqr((-0.33) +
x1643) + sqr((-0.5) + x1644) + sqr((-0.17) + x1657) + sqr((-0.17) +
x1658) + sqr((-0.17) + x1671) + sqr((-0.5) + x1672) + sqr((-0.17) +
x1685) + sqr((-0.33) + x1686) + sqr((-0.33) + x1699) + sqr((-0.17) +
x1700) + sqr((-0.5) + x1713) + sqr((-0.5) + x1714) + sqr((-0.66) +
x1727) + sqr(x1728) + sqr(x1741) + sqr((-0.33) + x1742) + sqr((-0.33)
+ x1755) + sqr((-0.17) + x1756) + sqr((-0.33) + x1769) + sqr((-0.17)
+ x1770) + sqr((-0.5) + x1783) + sqr((-0.33) + x1784) + sqr((-0.17) +
x1797) + sqr((-0.17) + x1798) + sqr((-0.17) + x1811) + sqr((-0.33) +
x1812) + sqr((-0.17) + x1825) + sqr((-0.5) + x1826) + sqr((-0.33) +
x1839) + sqr((-0.17) + x1840) + sqr(x1853) + sqr(x1854) + sqr((-0.17)
+ x1867) + sqr((-0.17) + x1868) + sqr((-0.17) + x1881) + sqr((-0.33)
+ x1882) + sqr((-0.17) + x1895) + sqr((-0.5) + x1896) + sqr((-0.5) +
x1909) + sqr((-0.17) + x1910) + sqr((-0.33) + x1923) + sqr(x1924) +
sqr((-0.17) + x1937) + sqr((-0.17) + x1938) + sqr((-0.33) + x1951) +
sqr((-1) + x1952) + sqr((-0.33) + x1965) + sqr(x1966) + sqr((-0.5) +
x1979) + sqr((-0.17) + x1980) + sqr(x1993) + sqr(x1994) + sqr((-0.17)
+ x2007) + sqr(x2008) + sqr((-0.17) + x2021) + sqr(x2022) + sqr((-0.5)
+ x2035) + sqr(x2036) + sqr((-0.33) + x2049) + sqr(x2050) + sqr(x2063)
+ sqr(x2064) + sqr((-0.5) + x2077) + sqr(x2078) + sqr((-0.17) + x2091)
+ sqr((-0.17) + x2092) + sqr((-0.33) + x2105) + sqr((-0.33) + x2106)
+ sqr((-0.17) + x2119) + sqr((-0.17) + x2120) + sqr(x2133) + sqr((-
0.17) + x2134) + sqr((-0.33) + x2147) + sqr((-0.5) + x2148) + sqr((-
0.33) + x2161) + sqr((-0.17) + x2162) + sqr(x2175) + sqr((-0.17) +
x2176) + sqr((-0.5) + x2189) + sqr((-0.17) + x2190) + sqr(x2203) + sqr(
(-0.33) + x2204) + sqr((-0.33) + x2217) + sqr((-0.33) + x2218) + sqr((-
0.33) + x2231) + sqr(x2232) + sqr((-0.17) + x2245) + sqr((-0.33) +
x2246) + sqr((-0.17) + x2259) + sqr((-0.33) + x2260) + sqr((-0.33) +
x2273) + sqr(x2274) + sqr(x2287) + sqr(x2288) + sqr(x2301) + sqr(x2302)
+ sqr((-0.17) + x2315) + sqr((-0.17) + x2316) + sqr((-0.33) + x2329)
+ sqr((-0.17) + x2330) + sqr((-0.17) + x2343) + sqr((-0.17) + x2344)
+ sqr((-0.17) + x2357) + sqr((-0.17) + x2358) + sqr((-0.17) + x2371)
+ sqr((-0.5) + x2372) + sqr((-0.17) + x2385) + sqr((-0.33) + x2386) +
sqr((-0.17) + x2399) + sqr((-0.5) + x2400) + sqr((-0.17) + x2413) +
sqr((-0.33) + x2414) + sqr(x2427) + sqr(x2428) + sqr(x2441) + sqr((-
0.17) + x2442) + sqr((-0.17) + x2455) + sqr(x2456)) + objvar =E= 0;
* set non-default bounds
x1.up = 1;
x2.up = 1;
x3.up = 1;
x4.up = 1;
x5.up = 1;
x6.up = 1;
x7.lo = -1;
x8.lo = -1;
x9.lo = -1;
x10.lo = -1;
x11.lo = -1;
x12.lo = -1;
x13.up = 1;
x14.up = 1;
x15.up = 1;
x16.up = 1;
x17.up = 1;
x18.up = 1;
x19.lo = -1;
x20.lo = -1;
x21.lo = -1;
x22.lo = -1;
x23.lo = -1;
x24.lo = -1;
x25.up = 1;
x26.up = 1;
x27.up = 1;
x28.up = 1;
x29.up = 1;
x30.up = 1;
x31.lo = -1;
x32.lo = -1;
x33.lo = -1;
x34.lo = -1;
x35.lo = -1;
x36.lo = -1;
x37.up = 1;
x38.up = 1;
x39.up = 1;
x40.up = 1;
x41.up = 1;
x42.up = 1;
x43.lo = -1;
x44.lo = -1;
x45.lo = -1;
x46.lo = -1;
x47.lo = -1;
x48.lo = -1;
x49.up = 1;
x50.up = 1;
x51.up = 1;
x52.up = 1;
x53.up = 1;
x54.up = 1;
x55.lo = -1;
x56.lo = -1;
x57.lo = -1;
x58.lo = -1;
x59.lo = -1;
x60.lo = -1;
x61.up = 1;
x62.up = 1;
x63.up = 1;
x64.up = 1;
x65.up = 1;
x66.up = 1;
x67.lo = -1;
x68.lo = -1;
x69.lo = -1;
x70.lo = -1;
x71.lo = -1;
x72.lo = -1;
x73.up = 1;
x74.up = 1;
x75.up = 1;
x76.up = 1;
x77.up = 1;
x78.up = 1;
x79.lo = -1;
x80.lo = -1;
x81.lo = -1;
x82.lo = -1;
x83.lo = -1;
x84.lo = -1;
x85.up = 1;
x86.up = 1;
x87.up = 1;
x88.up = 1;
x89.up = 1;
x90.up = 1;
x91.lo = -1;
x92.lo = -1;
x93.lo = -1;
x94.lo = -1;
x95.lo = -1;
x96.lo = -1;
x97.up = 1;
x98.up = 1;
x99.up = 1;
x100.up = 1;
x101.up = 1;
x102.up = 1;
x103.lo = -1;
x104.lo = -1;
x105.lo = -1;
x106.lo = -1;
x107.lo = -1;
x108.lo = -1;
x109.up = 1;
x110.up = 1;
x111.up = 1;
x112.up = 1;
x113.up = 1;
x114.up = 1;
x115.lo = -1;
x116.lo = -1;
x117.lo = -1;
x118.lo = -1;
x119.lo = -1;
x120.lo = -1;
x121.up = 1;
x122.up = 1;
x123.up = 1;
x124.up = 1;
x125.up = 1;
x126.up = 1;
x127.lo = -1;
x128.lo = -1;
x129.lo = -1;
x130.lo = -1;
x131.lo = -1;
x132.lo = -1;
x133.up = 1;
x134.up = 1;
x135.up = 1;
x136.up = 1;
x137.up = 1;
x138.up = 1;
x139.lo = -1;
x140.lo = -1;
x141.lo = -1;
x142.lo = -1;
x143.lo = -1;
x144.lo = -1;
x145.up = 1;
x146.up = 1;
x147.up = 1;
x148.up = 1;
x149.up = 1;
x150.up = 1;
x151.lo = -1;
x152.lo = -1;
x153.lo = -1;
x154.lo = -1;
x155.lo = -1;
x156.lo = -1;
x157.up = 1;
x158.up = 1;
x159.up = 1;
x160.up = 1;
x161.up = 1;
x162.up = 1;
x163.lo = -1;
x164.lo = -1;
x165.lo = -1;
x166.lo = -1;
x167.lo = -1;
x168.lo = -1;
x169.up = 1;
x170.up = 1;
x171.up = 1;
x172.up = 1;
x173.up = 1;
x174.up = 1;
x175.lo = -1;
x176.lo = -1;
x177.lo = -1;
x178.lo = -1;
x179.lo = -1;
x180.lo = -1;
x181.up = 1;
x182.up = 1;
x183.up = 1;
x184.up = 1;
x185.up = 1;
x186.up = 1;
x187.lo = -1;
x188.lo = -1;
x189.lo = -1;
x190.lo = -1;
x191.lo = -1;
x192.lo = -1;
x193.up = 1;
x194.up = 1;
x195.up = 1;
x196.up = 1;
x197.up = 1;
x198.up = 1;
x199.lo = -1;
x200.lo = -1;
x201.lo = -1;
x202.lo = -1;
x203.lo = -1;
x204.lo = -1;
x205.up = 1;
x206.up = 1;
x207.up = 1;
x208.up = 1;
x209.up = 1;
x210.up = 1;
x211.lo = -1;
x212.lo = -1;
x213.lo = -1;
x214.lo = -1;
x215.lo = -1;
x216.lo = -1;
x217.up = 1;
x218.up = 1;
x219.up = 1;
x220.up = 1;
x221.up = 1;
x222.up = 1;
x223.lo = -1;
x224.lo = -1;
x225.lo = -1;
x226.lo = -1;
x227.lo = -1;
x228.lo = -1;
x229.up = 1;
x230.up = 1;
x231.up = 1;
x232.up = 1;
x233.up = 1;
x234.up = 1;
x235.lo = -1;
x236.lo = -1;
x237.lo = -1;
x238.lo = -1;
x239.lo = -1;
x240.lo = -1;
x241.lo = -1;
x242.lo = -1;
x243.lo = -1;
x244.lo = -1;
x245.lo = -1;
x246.lo = -1;
x247.up = 1;
x248.up = 1;
x249.up = 1;
x250.up = 1;
x251.up = 1;
x252.up = 1;
x253.lo = -1;
x254.lo = -1;
x255.lo = -1;
x256.lo = -1;
x257.lo = -1;
x258.lo = -1;
x259.up = 1;
x260.up = 1;
x261.up = 1;
x262.up = 1;
x263.up = 1;
x264.up = 1;
x265.lo = -1;
x266.lo = -1;
x267.lo = -1;
x268.lo = -1;
x269.lo = -1;
x270.lo = -1;
x271.up = 1;
x272.up = 1;
x273.up = 1;
x274.up = 1;
x275.up = 1;
x276.up = 1;
x277.lo = -1;
x278.lo = -1;
x279.lo = -1;
x280.lo = -1;
x281.lo = -1;
x282.lo = -1;
x283.up = 1;
x284.up = 1;
x285.up = 1;
x286.up = 1;
x287.up = 1;
x288.up = 1;
x289.lo = -1;
x290.lo = -1;
x291.lo = -1;
x292.lo = -1;
x293.lo = -1;
x294.lo = -1;
x295.up = 1;
x296.up = 1;
x297.up = 1;
x298.up = 1;
x299.up = 1;
x300.up = 1;
x301.lo = -1;
x302.lo = -1;
x303.lo = -1;
x304.lo = -1;
x305.lo = -1;
x306.lo = -1;
x307.up = 1;
x308.up = 1;
x309.up = 1;
x310.up = 1;
x311.up = 1;
x312.up = 1;
x313.lo = -1;
x314.lo = -1;
x315.lo = -1;
x316.lo = -1;
x317.lo = -1;
x318.lo = -1;
x319.up = 1;
x320.up = 1;
x321.up = 1;
x322.up = 1;
x323.up = 1;
x324.up = 1;
x325.lo = -1;
x326.lo = -1;
x327.lo = -1;
x328.lo = -1;
x329.lo = -1;
x330.lo = -1;
x331.up = 1;
x332.up = 1;
x333.up = 1;
x334.up = 1;
x335.up = 1;
x336.up = 1;
x337.lo = -1;
x338.lo = -1;
x339.lo = -1;
x340.lo = -1;
x341.lo = -1;
x342.lo = -1;
x343.up = 1;
x344.up = 1;
x345.up = 1;
x346.up = 1;
x347.up = 1;
x348.up = 1;
x349.lo = -1;
x350.lo = -1;
x351.lo = -1;
x352.lo = -1;
x353.lo = -1;
x354.lo = -1;
x355.up = 1;
x356.up = 1;
x357.up = 1;
x358.up = 1;
x359.up = 1;
x360.up = 1;
x361.lo = -1;
x362.lo = -1;
x363.lo = -1;
x364.lo = -1;
x365.lo = -1;
x366.lo = -1;
x367.up = 1;
x368.up = 1;
x369.up = 1;
x370.up = 1;
x371.up = 1;
x372.up = 1;
x373.lo = -1;
x374.lo = -1;
x375.lo = -1;
x376.lo = -1;
x377.lo = -1;
x378.lo = -1;
x379.up = 1;
x380.up = 1;
x381.up = 1;
x382.up = 1;
x383.up = 1;
x384.up = 1;
x385.lo = -1;
x386.lo = -1;
x387.lo = -1;
x388.lo = -1;
x389.lo = -1;
x390.lo = -1;
x391.up = 1;
x392.up = 1;
x393.up = 1;
x394.up = 1;
x395.up = 1;
x396.up = 1;
x397.lo = -1;
x398.lo = -1;
x399.lo = -1;
x400.lo = -1;
x401.lo = -1;
x402.lo = -1;
x403.up = 1;
x404.up = 1;
x405.up = 1;
x406.up = 1;
x407.up = 1;
x408.up = 1;
x409.lo = -1;
x410.lo = -1;
x411.lo = -1;
x412.lo = -1;
x413.lo = -1;
x414.lo = -1;
x415.up = 1;
x416.up = 1;
x417.up = 1;
x418.up = 1;
x419.up = 1;
x420.up = 1;
x421.lo = -1;
x422.lo = -1;
x423.lo = -1;
x424.lo = -1;
x425.lo = -1;
x426.lo = -1;
x427.up = 1;
x428.up = 1;
x429.up = 1;
x430.up = 1;
x431.up = 1;
x432.up = 1;
x433.lo = -1;
x434.lo = -1;
x435.lo = -1;
x436.lo = -1;
x437.lo = -1;
x438.lo = -1;
x439.up = 1;
x440.up = 1;
x441.up = 1;
x442.up = 1;
x443.up = 1;
x444.up = 1;
x445.lo = -1;
x446.lo = -1;
x447.lo = -1;
x448.lo = -1;
x449.lo = -1;
x450.lo = -1;
x451.up = 1;
x452.up = 1;
x453.up = 1;
x454.up = 1;
x455.up = 1;
x456.up = 1;
x457.lo = -1;
x458.lo = -1;
x459.lo = -1;
x460.lo = -1;
x461.lo = -1;
x462.lo = -1;
x463.up = 1;
x464.up = 1;
x465.up = 1;
x466.up = 1;
x467.up = 1;
x468.up = 1;
x469.lo = -1;
x470.lo = -1;
x471.lo = -1;
x472.lo = -1;
x473.lo = -1;
x474.lo = -1;
x475.up = 1;
x476.up = 1;
x477.up = 1;
x478.up = 1;
x479.up = 1;
x480.up = 1;
* set non-default levels
x1.l = 1;
x2.l = 1;
x3.l = 1;
x4.l = 1;
x5.l = 1;
x6.l = 1;
x13.l = 1;
x14.l = 1;
x15.l = 1;
x16.l = 1;
x17.l = 1;
x18.l = 1;
x25.l = 1;
x26.l = 1;
x27.l = 1;
x28.l = 1;
x29.l = 1;
x30.l = 1;
x37.l = 1;
x38.l = 1;
x39.l = 1;
x40.l = 1;
x41.l = 1;
x42.l = 1;
x49.l = 1;
x50.l = 1;
x51.l = 1;
x52.l = 1;
x53.l = 1;
x54.l = 1;
x61.l = 1;
x62.l = 1;
x63.l = 1;
x64.l = 1;
x65.l = 1;
x66.l = 1;
x73.l = 1;
x74.l = 1;
x75.l = 1;
x76.l = 1;
x77.l = 1;
x78.l = 1;
x85.l = 1;
x86.l = 1;
x87.l = 1;
x88.l = 1;
x89.l = 1;
x90.l = 1;
x97.l = 1;
x98.l = 1;
x99.l = 1;
x100.l = 1;
x101.l = 1;
x102.l = 1;
x109.l = 1;
x110.l = 1;
x111.l = 1;
x112.l = 1;
x113.l = 1;
x114.l = 1;
x121.l = 1;
x122.l = 1;
x123.l = 1;
x124.l = 1;
x125.l = 1;
x126.l = 1;
x133.l = 1;
x134.l = 1;
x135.l = 1;
x136.l = 1;
x137.l = 1;
x138.l = 1;
x145.l = 1;
x146.l = 1;
x147.l = 1;
x148.l = 1;
x149.l = 1;
x150.l = 1;
x157.l = 1;
x158.l = 1;
x159.l = 1;
x160.l = 1;
x161.l = 1;
x162.l = 1;
x169.l = 1;
x170.l = 1;
x171.l = 1;
x172.l = 1;
x173.l = 1;
x174.l = 1;
x181.l = 1;
x182.l = 1;
x183.l = 1;
x184.l = 1;
x185.l = 1;
x186.l = 1;
x193.l = 1;
x194.l = 1;
x195.l = 1;
x196.l = 1;
x197.l = 1;
x198.l = 1;
x205.l = 1;
x206.l = 1;
x207.l = 1;
x208.l = 1;
x209.l = 1;
x210.l = 1;
x217.l = 1;
x218.l = 1;
x219.l = 1;
x220.l = 1;
x221.l = 1;
x222.l = 1;
x229.l = 1;
x230.l = 1;
x231.l = 1;
x232.l = 1;
x233.l = 1;
x234.l = 1;
x247.l = 1;
x248.l = 1;
x249.l = 1;
x250.l = 1;
x251.l = 1;
x252.l = 1;
x259.l = 1;
x260.l = 1;
x261.l = 1;
x262.l = 1;
x263.l = 1;
x264.l = 1;
x271.l = 1;
x272.l = 1;
x273.l = 1;
x274.l = 1;
x275.l = 1;
x276.l = 1;
x283.l = 1;
x284.l = 1;
x285.l = 1;
x286.l = 1;
x287.l = 1;
x288.l = 1;
x295.l = 1;
x296.l = 1;
x297.l = 1;
x298.l = 1;
x299.l = 1;
x300.l = 1;
x307.l = 1;
x308.l = 1;
x309.l = 1;
x310.l = 1;
x311.l = 1;
x312.l = 1;
x319.l = 1;
x320.l = 1;
x321.l = 1;
x322.l = 1;
x323.l = 1;
x324.l = 1;
x331.l = 1;
x332.l = 1;
x333.l = 1;
x334.l = 1;
x335.l = 1;
x336.l = 1;
x343.l = 1;
x344.l = 1;
x345.l = 1;
x346.l = 1;
x347.l = 1;
x348.l = 1;
x355.l = 1;
x356.l = 1;
x357.l = 1;
x358.l = 1;
x359.l = 1;
x360.l = 1;
x367.l = 1;
x368.l = 1;
x369.l = 1;
x370.l = 1;
x371.l = 1;
x372.l = 1;
x379.l = 1;
x380.l = 1;
x381.l = 1;
x382.l = 1;
x383.l = 1;
x384.l = 1;
x391.l = 1;
x392.l = 1;
x393.l = 1;
x394.l = 1;
x395.l = 1;
x396.l = 1;
x403.l = 1;
x404.l = 1;
x405.l = 1;
x406.l = 1;
x407.l = 1;
x408.l = 1;
x415.l = 1;
x416.l = 1;
x417.l = 1;
x418.l = 1;
x419.l = 1;
x420.l = 1;
x427.l = 1;
x428.l = 1;
x429.l = 1;
x430.l = 1;
x431.l = 1;
x432.l = 1;
x439.l = 1;
x440.l = 1;
x441.l = 1;
x442.l = 1;
x443.l = 1;
x444.l = 1;
x451.l = 1;
x452.l = 1;
x453.l = 1;
x454.l = 1;
x455.l = 1;
x456.l = 1;
x463.l = 1;
x464.l = 1;
x465.l = 1;
x466.l = 1;
x467.l = 1;
x468.l = 1;
x475.l = 1;
x476.l = 1;
x477.l = 1;
x478.l = 1;
x479.l = 1;
x480.l = 1;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set NLP $set NLP NLP
Solve m using %NLP% minimizing objvar;
Last updated: 2024-04-02 Git hash: 1dd5fb9b