MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance: arki0002

Formats ams gms mod nl osil
Primal Bounds
1.08096521 p1 ( gdx sol )
(infeas: 1e-16)
1.03879215 p2 ( gdx sol )
(infeas: 2e-16)
1.02094085 p3 ( gdx sol )
(infeas: 5e-15)
1.01269176 p4 ( gdx sol )
(infeas: 1e-16)
1.00381975 p5 ( gdx sol )
(infeas: 5e-15)
0.99476892 p6 ( gdx sol )
(infeas: 1e-16)
0.99230486 p7 ( gdx sol )
(infeas: 1e-16)
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
Infeasibility of initial point 1
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of 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: 2018-09-14 Git hash: ac5a5314
Imprint / Privacy Policy