Performance World [ Performance World Home | Board | Tools | PerformanceLib | Links | GamsWorld group | Search | Contact ]

structure2.gms

* NLP written by GAMS Convert at 08/01/06 13:50:35 * * Equation counts * Total E G L N X C * 2664 350 0 2314 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 535 535 0 0 0 0 0 0 * FX 9 9 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 8521 8521 0 0 * * Solve m using NLP maximizing 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,objvar; Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19 ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36 ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53 ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70 ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87 ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103 ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116 ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129 ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142 ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155 ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168 ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181 ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194 ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207 ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220 ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233 ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246 ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259 ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272 ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285 ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298 ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311 ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324 ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337 ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350 ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363 ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376 ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389 ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402 ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415 ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428 ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441 ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454 ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467 ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480 ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493 ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506 ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519 ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532 ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545 ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558 ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571 ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584 ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597 ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610 ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818 ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831 ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844 ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857 ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870 ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883 ,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896 ,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909 ,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922 ,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935 ,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948 ,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961 ,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974 ,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987 ,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000 ,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011 ,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022 ,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033 ,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044 ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055 ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066 ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077 ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088 ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099 ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110 ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121 ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132 ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143 ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154 ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165 ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176 ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187 ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198 ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209 ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220 ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231 ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242 ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253 ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264 ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275 ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286 ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297 ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308 ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319 ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330 ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341 ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352 ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363 ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374 ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385 ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396 ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407 ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418 ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429 ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440 ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451 ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462 ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473 ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484 ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495 ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506 ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517 ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528 ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539 ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550 ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561 ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572 ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583 ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594 ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605 ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616 ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627 ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638 ,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649 ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660 ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671 ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682 ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693 ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704 ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715 ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726 ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737 ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748 ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759 ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770 ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781 ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792 ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803 ,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814 ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825 ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836 ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847 ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858 ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869 ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880 ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891 ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902 ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913 ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924 ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935 ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946 ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957 ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968 ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979 ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990 ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001 ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012 ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023 ,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034 ,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045 ,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056 ,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067 ,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078 ,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089 ,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100 ,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111 ,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122 ,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133 ,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144 ,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152,e2153,e2154,e2155 ,e2156,e2157,e2158,e2159,e2160,e2161,e2162,e2163,e2164,e2165,e2166 ,e2167,e2168,e2169,e2170,e2171,e2172,e2173,e2174,e2175,e2176,e2177 ,e2178,e2179,e2180,e2181,e2182,e2183,e2184,e2185,e2186,e2187,e2188 ,e2189,e2190,e2191,e2192,e2193,e2194,e2195,e2196,e2197,e2198,e2199 ,e2200,e2201,e2202,e2203,e2204,e2205,e2206,e2207,e2208,e2209,e2210 ,e2211,e2212,e2213,e2214,e2215,e2216,e2217,e2218,e2219,e2220,e2221 ,e2222,e2223,e2224,e2225,e2226,e2227,e2228,e2229,e2230,e2231,e2232 ,e2233,e2234,e2235,e2236,e2237,e2238,e2239,e2240,e2241,e2242,e2243 ,e2244,e2245,e2246,e2247,e2248,e2249,e2250,e2251,e2252,e2253,e2254 ,e2255,e2256,e2257,e2258,e2259,e2260,e2261,e2262,e2263,e2264,e2265 ,e2266,e2267,e2268,e2269,e2270,e2271,e2272,e2273,e2274,e2275,e2276 ,e2277,e2278,e2279,e2280,e2281,e2282,e2283,e2284,e2285,e2286,e2287 ,e2288,e2289,e2290,e2291,e2292,e2293,e2294,e2295,e2296,e2297,e2298 ,e2299,e2300,e2301,e2302,e2303,e2304,e2305,e2306,e2307,e2308,e2309 ,e2310,e2311,e2312,e2313,e2314,e2315,e2316,e2317,e2318,e2319,e2320 ,e2321,e2322,e2323,e2324,e2325,e2326,e2327,e2328,e2329,e2330,e2331 ,e2332,e2333,e2334,e2335,e2336,e2337,e2338,e2339,e2340,e2341,e2342 ,e2343,e2344,e2345,e2346,e2347,e2348,e2349,e2350,e2351,e2352,e2353 ,e2354,e2355,e2356,e2357,e2358,e2359,e2360,e2361,e2362,e2363,e2364 ,e2365,e2366,e2367,e2368,e2369,e2370,e2371,e2372,e2373,e2374,e2375 ,e2376,e2377,e2378,e2379,e2380,e2381,e2382,e2383,e2384,e2385,e2386 ,e2387,e2388,e2389,e2390,e2391,e2392,e2393,e2394,e2395,e2396,e2397 ,e2398,e2399,e2400,e2401,e2402,e2403,e2404,e2405,e2406,e2407,e2408 ,e2409,e2410,e2411,e2412,e2413,e2414,e2415,e2416,e2417,e2418,e2419 ,e2420,e2421,e2422,e2423,e2424,e2425,e2426,e2427,e2428,e2429,e2430 ,e2431,e2432,e2433,e2434,e2435,e2436,e2437,e2438,e2439,e2440,e2441 ,e2442,e2443,e2444,e2445,e2446,e2447,e2448,e2449,e2450,e2451,e2452 ,e2453,e2454,e2455,e2456,e2457,e2458,e2459,e2460,e2461,e2462,e2463 ,e2464,e2465,e2466,e2467,e2468,e2469,e2470,e2471,e2472,e2473,e2474 ,e2475,e2476,e2477,e2478,e2479,e2480,e2481,e2482,e2483,e2484,e2485 ,e2486,e2487,e2488,e2489,e2490,e2491,e2492,e2493,e2494,e2495,e2496 ,e2497,e2498,e2499,e2500,e2501,e2502,e2503,e2504,e2505,e2506,e2507 ,e2508,e2509,e2510,e2511,e2512,e2513,e2514,e2515,e2516,e2517,e2518 ,e2519,e2520,e2521,e2522,e2523,e2524,e2525,e2526,e2527,e2528,e2529 ,e2530,e2531,e2532,e2533,e2534,e2535,e2536,e2537,e2538,e2539,e2540 ,e2541,e2542,e2543,e2544,e2545,e2546,e2547,e2548,e2549,e2550,e2551 ,e2552,e2553,e2554,e2555,e2556,e2557,e2558,e2559,e2560,e2561,e2562 ,e2563,e2564,e2565,e2566,e2567,e2568,e2569,e2570,e2571,e2572,e2573 ,e2574,e2575,e2576,e2577,e2578,e2579,e2580,e2581,e2582,e2583,e2584 ,e2585,e2586,e2587,e2588,e2589,e2590,e2591,e2592,e2593,e2594,e2595 ,e2596,e2597,e2598,e2599,e2600,e2601,e2602,e2603,e2604,e2605,e2606 ,e2607,e2608,e2609,e2610,e2611,e2612,e2613,e2614,e2615,e2616,e2617 ,e2618,e2619,e2620,e2621,e2622,e2623,e2624,e2625,e2626,e2627,e2628 ,e2629,e2630,e2631,e2632,e2633,e2634,e2635,e2636,e2637,e2638,e2639 ,e2640,e2641,e2642,e2643,e2644,e2645,e2646,e2647,e2648,e2649,e2650 ,e2651,e2652,e2653,e2654,e2655,e2656,e2657,e2658,e2659,e2660,e2661 ,e2662,e2663,e2664; e1.. x1 - x333 =E= 0; e2.. x2 - x334 =E= 0; e3.. x3 - x335 =E= 0; e4.. x4 - x336 =E= 0; e5.. x5 - x337 =E= 0; e6.. x6 - x338 =E= 0; e7.. x7 - x339 =E= 0; e8.. x8 - x340 =E= 0; e9.. x9 - x341 =E= 0; e10.. x10 - x342 =E= 0; e11.. x11 - x343 =E= 0; e12.. x12 - x344 =E= 0; e13.. x13 - x345 =E= 0; e14.. x14 - x346 =E= 0; e15.. x15 - x347 =E= 0; e16.. x16 - x348 =E= 0; e17.. x17 - x349 =E= 0; e18.. x18 - x350 =E= 0; e19.. x19 - x351 =E= 0; e20.. x20 - x314 =E= 0; e21.. x21 - x315 =E= 0; e22.. x22 - x316 =E= 0; e23.. x23 - x317 =E= 0; e24.. x24 - x318 =E= 0; e25.. x25 - x319 =E= 0; e26.. x26 - x320 =E= 0; e27.. x27 - x321 =E= 0; e28.. x28 - x322 =E= 0; e29.. x29 - x323 =E= 0; e30.. x30 - x324 =E= 0; e31.. x31 - x325 =E= 0; e32.. x32 - x326 =E= 0; e33.. x33 - x327 =E= 0; e34.. x34 - x328 =E= 0; e35.. x35 - x329 =E= 0; e36.. x36 - x330 =E= 0; e37.. x37 - x331 =E= 0; e38.. x38 - x332 =E= 0; e39.. x39 - x295 =E= 0; e40.. x40 - x296 =E= 0; e41.. x41 - x297 =E= 0; e42.. x42 - x298 =E= 0; e43.. x43 - x299 =E= 0; e44.. x44 - x300 =E= 0; e45.. x45 - x301 =E= 0; e46.. x46 - x302 =E= 0; e47.. x47 - x303 =E= 0; e48.. x48 - x304 =E= 0; e49.. x49 - x305 =E= 0; e50.. x50 - x306 =E= 0; e51.. x51 - x307 =E= 0; e52.. x52 - x308 =E= 0; e53.. x53 - x309 =E= 0; e54.. x54 - x310 =E= 0; e55.. x55 - x311 =E= 0; e56.. x56 - x312 =E= 0; e57.. x57 - x313 =E= 0; e58.. x58 - x276 =E= 0; e59.. x59 - x277 =E= 0; e60.. x60 - x278 =E= 0; e61.. x61 - x279 =E= 0; e62.. x62 - x280 =E= 0; e63.. x63 - x281 =E= 0; e64.. x64 - x282 =E= 0; e65.. x65 - x283 =E= 0; e66.. x66 - x284 =E= 0; e67.. x67 - x285 =E= 0; e68.. x68 - x286 =E= 0; e69.. x69 - x287 =E= 0; e70.. x70 - x288 =E= 0; e71.. x71 - x289 =E= 0; e72.. x72 - x290 =E= 0; e73.. x73 - x291 =E= 0; e74.. x74 - x292 =E= 0; e75.. x75 - x293 =E= 0; e76.. x76 - x294 =E= 0; e77.. x77 - x257 =E= 0; e78.. x78 - x258 =E= 0; e79.. x79 - x259 =E= 0; e80.. x80 - x260 =E= 0; e81.. x81 - x261 =E= 0; e82.. x82 - x262 =E= 0; e83.. x83 - x263 =E= 0; e84.. x84 - x264 =E= 0; e85.. x85 - x265 =E= 0; e86.. x86 - x266 =E= 0; e87.. x87 - x267 =E= 0; e88.. x88 - x268 =E= 0; e89.. x89 - x269 =E= 0; e90.. x90 - x270 =E= 0; e91.. x91 - x271 =E= 0; e92.. x92 - x272 =E= 0; e93.. x93 - x273 =E= 0; e94.. x94 - x274 =E= 0; e95.. x95 - x275 =E= 0; e96.. x96 - x238 =E= 0; e97.. x97 - x239 =E= 0; e98.. x98 - x240 =E= 0; e99.. x99 - x241 =E= 0; e100.. x100 - x242 =E= 0; e101.. x101 - x243 =E= 0; e102.. x102 - x244 =E= 0; e103.. x103 - x245 =E= 0; e104.. x104 - x246 =E= 0; e105.. x105 - x247 =E= 0; e106.. x106 - x248 =E= 0; e107.. x107 - x249 =E= 0; e108.. x108 - x250 =E= 0; e109.. x109 - x251 =E= 0; e110.. x110 - x252 =E= 0; e111.. x111 - x253 =E= 0; e112.. x112 - x254 =E= 0; e113.. x113 - x255 =E= 0; e114.. x114 - x256 =E= 0; e115.. x115 - x219 =E= 0; e116.. x116 - x220 =E= 0; e117.. x117 - x221 =E= 0; e118.. x118 - x222 =E= 0; e119.. x119 - x223 =E= 0; e120.. x120 - x224 =E= 0; e121.. x121 - x225 =E= 0; e122.. x122 - x226 =E= 0; e123.. x123 - x227 =E= 0; e124.. x124 - x228 =E= 0; e125.. x125 - x229 =E= 0; e126.. x126 - x230 =E= 0; e127.. x127 - x231 =E= 0; e128.. x128 - x232 =E= 0; e129.. x129 - x233 =E= 0; e130.. x130 - x234 =E= 0; e131.. x131 - x235 =E= 0; e132.. x132 - x236 =E= 0; e133.. x133 - x237 =E= 0; e134.. x134 - x200 =E= 0; e135.. x135 - x201 =E= 0; e136.. x136 - x202 =E= 0; e137.. x137 - x203 =E= 0; e138.. x138 - x204 =E= 0; e139.. x139 - x205 =E= 0; e140.. x140 - x206 =E= 0; e141.. x141 - x207 =E= 0; e142.. x142 - x208 =E= 0; e143.. x143 - x209 =E= 0; e144.. x144 - x210 =E= 0; e145.. x145 - x211 =E= 0; e146.. x146 - x212 =E= 0; e147.. x147 - x213 =E= 0; e148.. x148 - x214 =E= 0; e149.. x149 - x215 =E= 0; e150.. x150 - x216 =E= 0; e151.. x151 - x217 =E= 0; e152.. x152 - x218 =E= 0; e153.. x153 - x181 =E= 0; e154.. x154 - x182 =E= 0; e155.. x155 - x183 =E= 0; e156.. x156 - x184 =E= 0; e157.. x157 - x185 =E= 0; e158.. x158 - x186 =E= 0; e159.. x159 - x187 =E= 0; e160.. x160 - x188 =E= 0; e161.. x161 - x189 =E= 0; e162.. x162 - x190 =E= 0; e163.. x163 - x191 =E= 0; e164.. x164 - x192 =E= 0; e165.. x165 - x193 =E= 0; e166.. x166 - x194 =E= 0; e167.. x167 - x195 =E= 0; e168.. x168 - x196 =E= 0; e169.. x169 - x197 =E= 0; e170.. x170 - x198 =E= 0; e171.. x171 - x199 =E= 0; e172.. - x11 + x181 =E= 0; e173.. - x30 + x182 =E= 0; e174.. - x49 + x183 =E= 0; e175.. - x68 + x184 =E= 0; e176.. - x87 + x185 =E= 0; e177.. - x106 + x186 =E= 0; e178.. - x125 + x187 =E= 0; e179.. - x144 + x188 =E= 0; e180.. - x163 + x189 =E= 0; e181.. - x172 + x190 =E= 0; e182.. - x12 + x200 =E= 0; e183.. - x31 + x201 =E= 0; e184.. - x50 + x202 =E= 0; e185.. - x69 + x203 =E= 0; e186.. - x88 + x204 =E= 0; e187.. - x107 + x205 =E= 0; e188.. - x126 + x206 =E= 0; e189.. - x145 + x207 =E= 0; e190.. - x164 + x208 =E= 0; e191.. - x173 + x209 =E= 0; e192.. - x192 + x210 =E= 0; e193.. - x13 + x219 =E= 0; e194.. - x32 + x220 =E= 0; e195.. - x51 + x221 =E= 0; e196.. - x70 + x222 =E= 0; e197.. - x89 + x223 =E= 0; e198.. - x108 + x224 =E= 0; e199.. - x127 + x225 =E= 0; e200.. - x146 + x226 =E= 0; e201.. - x165 + x227 =E= 0; e202.. - x174 + x228 =E= 0; e203.. - x193 + x229 =E= 0; e204.. - x212 + x230 =E= 0; e205.. - x14 + x238 =E= 0; e206.. - x33 + x239 =E= 0; e207.. - x52 + x240 =E= 0; e208.. - x71 + x241 =E= 0; e209.. - x90 + x242 =E= 0; e210.. - x109 + x243 =E= 0; e211.. - x128 + x244 =E= 0; e212.. - x147 + x245 =E= 0; e213.. - x166 + x246 =E= 0; e214.. - x175 + x247 =E= 0; e215.. - x194 + x248 =E= 0; e216.. - x213 + x249 =E= 0; e217.. - x232 + x250 =E= 0; e218.. - x15 + x257 =E= 0; e219.. - x34 + x258 =E= 0; e220.. - x53 + x259 =E= 0; e221.. - x72 + x260 =E= 0; e222.. - x91 + x261 =E= 0; e223.. - x110 + x262 =E= 0; e224.. - x129 + x263 =E= 0; e225.. - x148 + x264 =E= 0; e226.. - x167 + x265 =E= 0; e227.. - x176 + x266 =E= 0; e228.. - x195 + x267 =E= 0; e229.. - x214 + x268 =E= 0; e230.. - x233 + x269 =E= 0; e231.. - x252 + x270 =E= 0; e232.. - x16 + x276 =E= 0; e233.. - x35 + x277 =E= 0; e234.. - x54 + x278 =E= 0; e235.. - x73 + x279 =E= 0; e236.. - x92 + x280 =E= 0; e237.. - x111 + x281 =E= 0; e238.. - x130 + x282 =E= 0; e239.. - x149 + x283 =E= 0; e240.. - x168 + x284 =E= 0; e241.. - x177 + x285 =E= 0; e242.. - x196 + x286 =E= 0; e243.. - x215 + x287 =E= 0; e244.. - x234 + x288 =E= 0; e245.. - x253 + x289 =E= 0; e246.. - x272 + x290 =E= 0; e247.. - x17 + x295 =E= 0; e248.. - x36 + x296 =E= 0; e249.. - x55 + x297 =E= 0; e250.. - x74 + x298 =E= 0; e251.. - x93 + x299 =E= 0; e252.. - x112 + x300 =E= 0; e253.. - x131 + x301 =E= 0; e254.. - x150 + x302 =E= 0; e255.. - x169 + x303 =E= 0; e256.. - x178 + x304 =E= 0; e257.. - x197 + x305 =E= 0; e258.. - x216 + x306 =E= 0; e259.. - x235 + x307 =E= 0; e260.. - x254 + x308 =E= 0; e261.. - x273 + x309 =E= 0; e262.. - x292 + x310 =E= 0; e263.. - x18 + x314 =E= 0; e264.. - x37 + x315 =E= 0; e265.. - x56 + x316 =E= 0; e266.. - x75 + x317 =E= 0; e267.. - x94 + x318 =E= 0; e268.. - x113 + x319 =E= 0; e269.. - x132 + x320 =E= 0; e270.. - x151 + x321 =E= 0; e271.. - x170 + x322 =E= 0; e272.. - x179 + x323 =E= 0; e273.. - x198 + x324 =E= 0; e274.. - x217 + x325 =E= 0; e275.. - x236 + x326 =E= 0; e276.. - x255 + x327 =E= 0; e277.. - x274 + x328 =E= 0; e278.. - x293 + x329 =E= 0; e279.. - x312 + x330 =E= 0; e280.. - x19 + x333 =E= 0; e281.. - x38 + x334 =E= 0; e282.. - x57 + x335 =E= 0; e283.. - x76 + x336 =E= 0; e284.. - x95 + x337 =E= 0; e285.. - x114 + x338 =E= 0; e286.. - x133 + x339 =E= 0; e287.. - x152 + x340 =E= 0; e288.. - x171 + x341 =E= 0; e289.. - x180 + x342 =E= 0; e290.. - x199 + x343 =E= 0; e291.. - x218 + x344 =E= 0; e292.. - x237 + x345 =E= 0; e293.. - x256 + x346 =E= 0; e294.. - x275 + x347 =E= 0; e295.. - x294 + x348 =E= 0; e296.. - x313 + x349 =E= 0; e297.. - x332 + x350 =E= 0; e298.. - x172 + x191 =E= 0; e299.. - x172 + x192 =E= 0; e300.. - x172 + x193 =E= 0; e301.. - x172 + x194 =E= 0; e302.. - x172 + x195 =E= 0; e303.. - x172 + x196 =E= 0; e304.. - x172 + x197 =E= 0; e305.. - x172 + x198 =E= 0; e306.. - x172 + x199 =E= 0; e307.. - x173 + x211 =E= 0; e308.. - x192 + x212 =E= 0; e309.. - x173 + x213 =E= 0; e310.. - x192 + x214 =E= 0; e311.. - x173 + x215 =E= 0; e312.. - x192 + x216 =E= 0; e313.. - x173 + x217 =E= 0; e314.. - x192 + x218 =E= 0; e315.. - x174 + x231 =E= 0; e316.. - x193 + x232 =E= 0; e317.. - x212 + x233 =E= 0; e318.. - x174 + x234 =E= 0; e319.. - x193 + x235 =E= 0; e320.. - x212 + x236 =E= 0; e321.. - x174 + x237 =E= 0; e322.. - x175 + x251 =E= 0; e323.. - x194 + x252 =E= 0; e324.. - x213 + x253 =E= 0; e325.. - x232 + x254 =E= 0; e326.. - x175 + x255 =E= 0; e327.. - x194 + x256 =E= 0; e328.. - x176 + x271 =E= 0; e329.. - x195 + x272 =E= 0; e330.. - x214 + x273 =E= 0; e331.. - x233 + x274 =E= 0; e332.. - x252 + x275 =E= 0; e333.. - x177 + x291 =E= 0; e334.. - x196 + x292 =E= 0; e335.. - x215 + x293 =E= 0; e336.. - x234 + x294 =E= 0; e337.. - x178 + x311 =E= 0; e338.. - x197 + x312 =E= 0; e339.. - x216 + x313 =E= 0; e340.. - x179 + x331 =E= 0; e341.. - x198 + x332 =E= 0; e342.. - x180 + x351 =E= 0; e343.. x352 =E= 1; e344.. x354 - x356 =L= 1; e345.. x354 - x358 =L= 2; e346.. x356 - x358 =L= 1; e347.. x354 - x360 =L= 3; e348.. x356 - x360 =L= 2; e349.. x358 - x360 =L= 1; e350.. x354 - x362 =L= 4; e351.. x356 - x362 =L= 3; e352.. x358 - x362 =L= 2; e353.. x360 - x362 =L= 1; e354.. x354 - x364 =L= 5; e355.. x356 - x364 =L= 4; e356.. x358 - x364 =L= 3; e357.. x360 - x364 =L= 2; e358.. x362 - x364 =L= 1; e359.. x354 - x366 =L= 6; e360.. x356 - x366 =L= 5; e361.. x358 - x366 =L= 4; e362.. x360 - x366 =L= 3; e363.. x362 - x366 =L= 2; e364.. x364 - x366 =L= 1; e365.. x353 - x367 =L= 1; e366.. 0.707106781186547*x355 - 0.707106781186547*x356 - 0.707106781186547*x367 + 0.707106781186547*x368 =L= 1.4142135623731; e367.. 0.447213595499958*x357 - 0.894427190999916*x358 - 0.447213595499958*x367 + 0.894427190999916*x368 =L= 2.23606797749979; e368.. 0.316227766016838*x359 - 0.948683298050514*x360 - 0.316227766016838*x367 + 0.948683298050514*x368 =L= 3.16227766016838; e369.. 0.707106781186547*x353 + 0.707106781186547*x354 - 0.707106781186547*x369 - 0.707106781186547*x370 =L= 1.4142135623731; e370.. x355 - x369 =L= 1; e371.. 0.707106781186547*x357 - 0.707106781186547*x358 - 0.707106781186547*x369 + 0.707106781186547*x370 =L= 1.4142135623731; e372.. 0.447213595499958*x359 - 0.894427190999916*x360 - 0.447213595499958*x369 + 0.894427190999916*x370 =L= 2.23606797749979; e373.. 0.316227766016838*x361 - 0.948683298050514*x362 - 0.316227766016838*x369 + 0.948683298050514*x370 =L= 3.16227766016838; e374.. x368 - x370 =L= 1; e375.. 0.447213595499958*x353 + 0.894427190999916*x354 - 0.447213595499958*x371 - 0.894427190999916*x372 =L= 2.23606797749979; e376.. 0.707106781186547*x355 + 0.707106781186547*x356 - 0.707106781186547*x371 - 0.707106781186547*x372 =L= 1.4142135623731; e377.. x357 - x371 =L= 1; e378.. 0.707106781186547*x359 - 0.707106781186547*x360 - 0.707106781186547*x371 + 0.707106781186547*x372 =L= 1.4142135623731; e379.. 0.447213595499958*x361 - 0.894427190999916*x362 - 0.447213595499958*x371 + 0.894427190999916*x372 =L= 2.23606797749979; e380.. 0.316227766016838*x363 - 0.948683298050514*x364 - 0.316227766016838*x371 + 0.948683298050514*x372 =L= 3.16227766016838; e381.. x368 - x372 =L= 2; e382.. x370 - x372 =L= 1; e383.. 0.316227766016838*x353 + 0.948683298050514*x354 - 0.316227766016838*x373 - 0.948683298050514*x374 =L= 3.16227766016838; e384.. 0.447213595499958*x355 + 0.894427190999916*x356 - 0.447213595499958*x373 - 0.894427190999916*x374 =L= 2.23606797749979; e385.. 0.707106781186547*x357 + 0.707106781186547*x358 - 0.707106781186547*x373 - 0.707106781186547*x374 =L= 1.4142135623731; e386.. x359 - x373 =L= 1; e387.. 0.707106781186547*x361 - 0.707106781186547*x362 - 0.707106781186547*x373 + 0.707106781186547*x374 =L= 1.4142135623731; e388.. 0.447213595499958*x363 - 0.894427190999916*x364 - 0.447213595499958*x373 + 0.894427190999916*x374 =L= 2.23606797749979; e389.. 0.316227766016838*x365 - 0.948683298050514*x366 - 0.316227766016838*x373 + 0.948683298050514*x374 =L= 3.16227766016838; e390.. x368 - x374 =L= 3; e391.. x370 - x374 =L= 2; e392.. x372 - x374 =L= 1; e393.. 0.316227766016838*x355 + 0.948683298050514*x356 - 0.316227766016838*x375 - 0.948683298050514*x376 =L= 3.16227766016838; e394.. 0.447213595499958*x357 + 0.894427190999916*x358 - 0.447213595499958*x375 - 0.894427190999916*x376 =L= 2.23606797749979; e395.. 0.707106781186547*x359 + 0.707106781186547*x360 - 0.707106781186547*x375 - 0.707106781186547*x376 =L= 1.4142135623731; e396.. x361 - x375 =L= 1; e397.. 0.707106781186547*x363 - 0.707106781186547*x364 - 0.707106781186547*x375 + 0.707106781186547*x376 =L= 1.4142135623731; e398.. 0.447213595499958*x365 - 0.894427190999916*x366 - 0.447213595499958*x375 + 0.894427190999916*x376 =L= 2.23606797749979; e399.. x368 - x376 =L= 4; e400.. x370 - x376 =L= 3; e401.. x372 - x376 =L= 2; e402.. x374 - x376 =L= 1; e403.. 0.316227766016838*x357 + 0.948683298050514*x358 - 0.316227766016838*x377 - 0.948683298050514*x378 =L= 3.16227766016838; e404.. 0.447213595499958*x359 + 0.894427190999916*x360 - 0.447213595499958*x377 - 0.894427190999916*x378 =L= 2.23606797749979; e405.. 0.707106781186547*x361 + 0.707106781186547*x362 - 0.707106781186547*x377 - 0.707106781186547*x378 =L= 1.4142135623731; e406.. x363 - x377 =L= 1; e407.. 0.707106781186547*x365 - 0.707106781186547*x366 - 0.707106781186547*x377 + 0.707106781186547*x378 =L= 1.4142135623731; e408.. x368 - x378 =L= 5; e409.. x370 - x378 =L= 4; e410.. x372 - x378 =L= 3; e411.. x374 - x378 =L= 2; e412.. x376 - x378 =L= 1; e413.. 0.316227766016838*x359 + 0.948683298050514*x360 - 0.316227766016838*x379 - 0.948683298050514*x380 =L= 3.16227766016838; e414.. 0.447213595499958*x361 + 0.894427190999916*x362 - 0.447213595499958*x379 - 0.894427190999916*x380 =L= 2.23606797749979; e415.. 0.707106781186547*x363 + 0.707106781186547*x364 - 0.707106781186547*x379 - 0.707106781186547*x380 =L= 1.4142135623731; e416.. x365 - x379 =L= 1; e417.. x368 - x380 =L= 6; e418.. x370 - x380 =L= 5; e419.. x372 - x380 =L= 4; e420.. x374 - x380 =L= 3; e421.. x376 - x380 =L= 2; e422.. x378 - x380 =L= 1; e423.. 0.894427190999916*x355 - 0.447213595499958*x356 - 0.894427190999916*x381 + 0.447213595499958*x382 =L= 2.23606797749979; e424.. 0.554700196225229*x359 - 0.832050294337844*x360 - 0.554700196225229*x381 + 0.832050294337844*x382 =L= 3.60555127546399; e425.. x367 - x381 =L= 1; e426.. 0.707106781186547*x369 - 0.707106781186547*x370 - 0.707106781186547*x381 + 0.707106781186547*x382 =L= 1.4142135623731; e427.. 0.447213595499958*x371 - 0.894427190999916*x372 - 0.447213595499958*x381 + 0.894427190999916*x382 =L= 2.23606797749979; e428.. 0.316227766016838*x373 - 0.948683298050514*x374 - 0.316227766016838*x381 + 0.948683298050514*x382 =L= 3.16227766016838; e429.. 0.894427190999916*x353 + 0.447213595499958*x354 - 0.894427190999916*x383 - 0.447213595499958*x384 =L= 2.23606797749979; e430.. 0.894427190999916*x357 - 0.447213595499958*x358 - 0.894427190999916*x383 + 0.447213595499958*x384 =L= 2.23606797749979; e431.. 0.554700196225229*x361 - 0.832050294337844*x362 - 0.554700196225229*x383 + 0.832050294337844*x384 =L= 3.60555127546399; e432.. 0.707106781186547*x367 + 0.707106781186547*x368 - 0.707106781186547*x383 - 0.707106781186547*x384 =L= 1.4142135623731; e433.. x369 - x383 =L= 1; e434.. 0.707106781186547*x371 - 0.707106781186547*x372 - 0.707106781186547*x383 + 0.707106781186547*x384 =L= 1.4142135623731; e435.. 0.447213595499958*x373 - 0.894427190999916*x374 - 0.447213595499958*x383 + 0.894427190999916*x384 =L= 2.23606797749979; e436.. 0.316227766016838*x375 - 0.948683298050514*x376 - 0.316227766016838*x383 + 0.948683298050514*x384 =L= 3.16227766016838; e437.. x382 - x384 =L= 1; e438.. 0.894427190999916*x355 + 0.447213595499958*x356 - 0.894427190999916*x385 - 0.447213595499958*x386 =L= 2.23606797749979; e439.. 0.894427190999916*x359 - 0.447213595499958*x360 - 0.894427190999916*x385 + 0.447213595499958*x386 =L= 2.23606797749979; e440.. 0.554700196225229*x363 - 0.832050294337844*x364 - 0.554700196225229*x385 + 0.832050294337844*x386 =L= 3.60555127546399; e441.. 0.447213595499958*x367 + 0.894427190999916*x368 - 0.447213595499958*x385 - 0.894427190999916*x386 =L= 2.23606797749979; e442.. 0.707106781186547*x369 + 0.707106781186547*x370 - 0.707106781186547*x385 - 0.707106781186547*x386 =L= 1.4142135623731; e443.. x371 - x385 =L= 1; e444.. 0.707106781186547*x373 - 0.707106781186547*x374 - 0.707106781186547*x385 + 0.707106781186547*x386 =L= 1.4142135623731; e445.. 0.447213595499958*x375 - 0.894427190999916*x376 - 0.447213595499958*x385 + 0.894427190999916*x386 =L= 2.23606797749979; e446.. 0.316227766016838*x377 - 0.948683298050514*x378 - 0.316227766016838*x385 + 0.948683298050514*x386 =L= 3.16227766016838; e447.. x382 - x386 =L= 2; e448.. x384 - x386 =L= 1; e449.. 0.554700196225229*x353 + 0.832050294337844*x354 - 0.554700196225229*x387 - 0.832050294337844*x388 =L= 3.60555127546399; e450.. 0.894427190999916*x357 + 0.447213595499958*x358 - 0.894427190999916*x387 - 0.447213595499958*x388 =L= 2.23606797749979; e451.. 0.894427190999916*x361 - 0.447213595499958*x362 - 0.894427190999916*x387 + 0.447213595499958*x388 =L= 2.23606797749979; e452.. 0.554700196225229*x365 - 0.832050294337844*x366 - 0.554700196225229*x387 + 0.832050294337844*x388 =L= 3.60555127546399; e453.. 0.316227766016838*x367 + 0.948683298050514*x368 - 0.316227766016838*x387 - 0.948683298050514*x388 =L= 3.16227766016838; e454.. 0.447213595499958*x369 + 0.894427190999916*x370 - 0.447213595499958*x387 - 0.894427190999916*x388 =L= 2.23606797749979; e455.. 0.707106781186547*x371 + 0.707106781186547*x372 - 0.707106781186547*x387 - 0.707106781186547*x388 =L= 1.4142135623731; e456.. x373 - x387 =L= 1; e457.. 0.707106781186547*x375 - 0.707106781186547*x376 - 0.707106781186547*x387 + 0.707106781186547*x388 =L= 1.4142135623731; e458.. 0.447213595499958*x377 - 0.894427190999916*x378 - 0.447213595499958*x387 + 0.894427190999916*x388 =L= 2.23606797749979; e459.. 0.316227766016838*x379 - 0.948683298050514*x380 - 0.316227766016838*x387 + 0.948683298050514*x388 =L= 3.16227766016838; e460.. x382 - x388 =L= 3; e461.. x384 - x388 =L= 2; e462.. x386 - x388 =L= 1; e463.. 0.554700196225229*x355 + 0.832050294337844*x356 - 0.554700196225229*x389 - 0.832050294337844*x390 =L= 3.60555127546399; e464.. 0.894427190999916*x359 + 0.447213595499958*x360 - 0.894427190999916*x389 - 0.447213595499958*x390 =L= 2.23606797749979; e465.. 0.894427190999916*x363 - 0.447213595499958*x364 - 0.894427190999916*x389 + 0.447213595499958*x390 =L= 2.23606797749979; e466.. 0.316227766016838*x369 + 0.948683298050514*x370 - 0.316227766016838*x389 - 0.948683298050514*x390 =L= 3.16227766016838; e467.. 0.447213595499958*x371 + 0.894427190999916*x372 - 0.447213595499958*x389 - 0.894427190999916*x390 =L= 2.23606797749979; e468.. 0.707106781186547*x373 + 0.707106781186547*x374 - 0.707106781186547*x389 - 0.707106781186547*x390 =L= 1.4142135623731; e469.. x375 - x389 =L= 1; e470.. 0.707106781186547*x377 - 0.707106781186547*x378 - 0.707106781186547*x389 + 0.707106781186547*x390 =L= 1.4142135623731; e471.. 0.447213595499958*x379 - 0.894427190999916*x380 - 0.447213595499958*x389 + 0.894427190999916*x390 =L= 2.23606797749979; e472.. x382 - x390 =L= 4; e473.. x384 - x390 =L= 3; e474.. x386 - x390 =L= 2; e475.. x388 - x390 =L= 1; e476.. 0.554700196225229*x357 + 0.832050294337844*x358 - 0.554700196225229*x391 - 0.832050294337844*x392 =L= 3.60555127546399; e477.. 0.894427190999916*x361 + 0.447213595499958*x362 - 0.894427190999916*x391 - 0.447213595499958*x392 =L= 2.23606797749979; e478.. 0.894427190999916*x365 - 0.447213595499958*x366 - 0.894427190999916*x391 + 0.447213595499958*x392 =L= 2.23606797749979; e479.. 0.316227766016838*x371 + 0.948683298050514*x372 - 0.316227766016838*x391 - 0.948683298050514*x392 =L= 3.16227766016838; e480.. 0.447213595499958*x373 + 0.894427190999916*x374 - 0.447213595499958*x391 - 0.894427190999916*x392 =L= 2.23606797749979; e481.. 0.707106781186547*x375 + 0.707106781186547*x376 - 0.707106781186547*x391 - 0.707106781186547*x392 =L= 1.4142135623731; e482.. x377 - x391 =L= 1; e483.. 0.707106781186547*x379 - 0.707106781186547*x380 - 0.707106781186547*x391 + 0.707106781186547*x392 =L= 1.4142135623731; e484.. x382 - x392 =L= 5; e485.. x384 - x392 =L= 4; e486.. x386 - x392 =L= 3; e487.. x388 - x392 =L= 2; e488.. x390 - x392 =L= 1; e489.. 0.554700196225229*x359 + 0.832050294337844*x360 - 0.554700196225229*x393 - 0.832050294337844*x394 =L= 3.60555127546399; e490.. 0.894427190999916*x363 + 0.447213595499958*x364 - 0.894427190999916*x393 - 0.447213595499958*x394 =L= 2.23606797749979; e491.. 0.316227766016838*x373 + 0.948683298050514*x374 - 0.316227766016838*x393 - 0.948683298050514*x394 =L= 3.16227766016838; e492.. 0.447213595499958*x375 + 0.894427190999916*x376 - 0.447213595499958*x393 - 0.894427190999916*x394 =L= 2.23606797749979; e493.. 0.707106781186547*x377 + 0.707106781186547*x378 - 0.707106781186547*x393 - 0.707106781186547*x394 =L= 1.4142135623731; e494.. x379 - x393 =L= 1; e495.. x382 - x394 =L= 6; e496.. x384 - x394 =L= 5; e497.. x386 - x394 =L= 4; e498.. x388 - x394 =L= 3; e499.. x390 - x394 =L= 2; e500.. x392 - x394 =L= 1; e501.. 0.948683298050514*x355 - 0.316227766016838*x356 - 0.948683298050514*x395 + 0.316227766016838*x396 =L= 3.16227766016838; e502.. 0.832050294337844*x357 - 0.554700196225229*x358 - 0.832050294337844*x395 + 0.554700196225229*x396 =L= 3.60555127546399; e503.. 0.894427190999916*x369 - 0.447213595499958*x370 - 0.894427190999916*x395 + 0.447213595499958*x396 =L= 2.23606797749979; e504.. 0.554700196225229*x373 - 0.832050294337844*x374 - 0.554700196225229*x395 + 0.832050294337844*x396 =L= 3.60555127546399; e505.. x381 - x395 =L= 1; e506.. 0.707106781186547*x383 - 0.707106781186547*x384 - 0.707106781186547*x395 + 0.707106781186547*x396 =L= 1.4142135623731; e507.. 0.447213595499958*x385 - 0.894427190999916*x386 - 0.447213595499958*x395 + 0.894427190999916*x396 =L= 2.23606797749979; e508.. 0.316227766016838*x387 - 0.948683298050514*x388 - 0.316227766016838*x395 + 0.948683298050514*x396 =L= 3.16227766016838; e509.. 0.948683298050514*x353 + 0.316227766016838*x354 - 0.948683298050514*x397 - 0.316227766016838*x398 =L= 3.16227766016838; e510.. 0.948683298050514*x357 - 0.316227766016838*x358 - 0.948683298050514*x397 + 0.316227766016838*x398 =L= 3.16227766016838; e511.. 0.832050294337844*x359 - 0.554700196225229*x360 - 0.832050294337844*x397 + 0.554700196225229*x398 =L= 3.60555127546399; e512.. 0.894427190999916*x367 + 0.447213595499958*x368 - 0.894427190999916*x397 - 0.447213595499958*x398 =L= 2.23606797749979; e513.. 0.894427190999916*x371 - 0.447213595499958*x372 - 0.894427190999916*x397 + 0.447213595499958*x398 =L= 2.23606797749979; e514.. 0.554700196225229*x375 - 0.832050294337844*x376 - 0.554700196225229*x397 + 0.832050294337844*x398 =L= 3.60555127546399; e515.. 0.707106781186547*x381 + 0.707106781186547*x382 - 0.707106781186547*x397 - 0.707106781186547*x398 =L= 1.4142135623731; e516.. x383 - x397 =L= 1; e517.. 0.707106781186547*x385 - 0.707106781186547*x386 - 0.707106781186547*x397 + 0.707106781186547*x398 =L= 1.4142135623731; e518.. 0.447213595499958*x387 - 0.894427190999916*x388 - 0.447213595499958*x397 + 0.894427190999916*x398 =L= 2.23606797749979; e519.. 0.316227766016838*x389 - 0.948683298050514*x390 - 0.316227766016838*x397 + 0.948683298050514*x398 =L= 3.16227766016838; e520.. x396 - x398 =L= 1; e521.. 0.832050294337844*x353 + 0.554700196225229*x354 - 0.832050294337844*x399 - 0.554700196225229*x400 =L= 3.60555127546399; e522.. 0.948683298050514*x355 + 0.316227766016838*x356 - 0.948683298050514*x399 - 0.316227766016838*x400 =L= 3.16227766016838; e523.. 0.948683298050514*x359 - 0.316227766016838*x360 - 0.948683298050514*x399 + 0.316227766016838*x400 =L= 3.16227766016838; e524.. 0.832050294337844*x361 - 0.554700196225229*x362 - 0.832050294337844*x399 + 0.554700196225229*x400 =L= 3.60555127546399; e525.. 0.894427190999916*x369 + 0.447213595499958*x370 - 0.894427190999916*x399 - 0.447213595499958*x400 =L= 2.23606797749979; e526.. 0.894427190999916*x373 - 0.447213595499958*x374 - 0.894427190999916*x399 + 0.447213595499958*x400 =L= 2.23606797749979; e527.. 0.554700196225229*x377 - 0.832050294337844*x378 - 0.554700196225229*x399 + 0.832050294337844*x400 =L= 3.60555127546399; e528.. 0.447213595499958*x381 + 0.894427190999916*x382 - 0.447213595499958*x399 - 0.894427190999916*x400 =L= 2.23606797749979; e529.. 0.707106781186547*x383 + 0.707106781186547*x384 - 0.707106781186547*x399 - 0.707106781186547*x400 =L= 1.4142135623731; e530.. x385 - x399 =L= 1; e531.. 0.707106781186547*x387 - 0.707106781186547*x388 - 0.707106781186547*x399 + 0.707106781186547*x400 =L= 1.4142135623731; e532.. 0.447213595499958*x389 - 0.894427190999916*x390 - 0.447213595499958*x399 + 0.894427190999916*x400 =L= 2.23606797749979; e533.. 0.316227766016838*x391 - 0.948683298050514*x392 - 0.316227766016838*x399 + 0.948683298050514*x400 =L= 3.16227766016838; e534.. x396 - x400 =L= 2; e535.. x398 - x400 =L= 1; e536.. 0.832050294337844*x355 + 0.554700196225229*x356 - 0.832050294337844*x401 - 0.554700196225229*x402 =L= 3.60555127546399; e537.. 0.948683298050514*x357 + 0.316227766016838*x358 - 0.948683298050514*x401 - 0.316227766016838*x402 =L= 3.16227766016838; e538.. 0.948683298050514*x361 - 0.316227766016838*x362 - 0.948683298050514*x401 + 0.316227766016838*x402 =L= 3.16227766016838; e539.. 0.832050294337844*x363 - 0.554700196225229*x364 - 0.832050294337844*x401 + 0.554700196225229*x402 =L= 3.60555127546399; e540.. 0.554700196225229*x367 + 0.832050294337844*x368 - 0.554700196225229*x401 - 0.832050294337844*x402 =L= 3.60555127546399; e541.. 0.894427190999916*x371 + 0.447213595499958*x372 - 0.894427190999916*x401 - 0.447213595499958*x402 =L= 2.23606797749979; e542.. 0.894427190999916*x375 - 0.447213595499958*x376 - 0.894427190999916*x401 + 0.447213595499958*x402 =L= 2.23606797749979; e543.. 0.554700196225229*x379 - 0.832050294337844*x380 - 0.554700196225229*x401 + 0.832050294337844*x402 =L= 3.60555127546399; e544.. 0.316227766016838*x381 + 0.948683298050514*x382 - 0.316227766016838*x401 - 0.948683298050514*x402 =L= 3.16227766016838; e545.. 0.447213595499958*x383 + 0.894427190999916*x384 - 0.447213595499958*x401 - 0.894427190999916*x402 =L= 2.23606797749979; e546.. 0.707106781186547*x385 + 0.707106781186547*x386 - 0.707106781186547*x401 - 0.707106781186547*x402 =L= 1.4142135623731; e547.. x387 - x401 =L= 1; e548.. 0.707106781186547*x389 - 0.707106781186547*x390 - 0.707106781186547*x401 + 0.707106781186547*x402 =L= 1.4142135623731; e549.. 0.447213595499958*x391 - 0.894427190999916*x392 - 0.447213595499958*x401 + 0.894427190999916*x402 =L= 2.23606797749979; e550.. 0.316227766016838*x393 - 0.948683298050514*x394 - 0.316227766016838*x401 + 0.948683298050514*x402 =L= 3.16227766016838; e551.. x396 - x402 =L= 3; e552.. x398 - x402 =L= 2; e553.. x400 - x402 =L= 1; e554.. 0.832050294337844*x357 + 0.554700196225229*x358 - 0.832050294337844*x403 - 0.554700196225229*x404 =L= 3.60555127546399; e555.. 0.948683298050514*x359 + 0.316227766016838*x360 - 0.948683298050514*x403 - 0.316227766016838*x404 =L= 3.16227766016838; e556.. 0.948683298050514*x363 - 0.316227766016838*x364 - 0.948683298050514*x403 + 0.316227766016838*x404 =L= 3.16227766016838; e557.. 0.832050294337844*x365 - 0.554700196225229*x366 - 0.832050294337844*x403 + 0.554700196225229*x404 =L= 3.60555127546399; e558.. 0.554700196225229*x369 + 0.832050294337844*x370 - 0.554700196225229*x403 - 0.832050294337844*x404 =L= 3.60555127546399; e559.. 0.894427190999916*x373 + 0.447213595499958*x374 - 0.894427190999916*x403 - 0.447213595499958*x404 =L= 2.23606797749979; e560.. 0.894427190999916*x377 - 0.447213595499958*x378 - 0.894427190999916*x403 + 0.447213595499958*x404 =L= 2.23606797749979; e561.. 0.316227766016838*x383 + 0.948683298050514*x384 - 0.316227766016838*x403 - 0.948683298050514*x404 =L= 3.16227766016838; e562.. 0.447213595499958*x385 + 0.894427190999916*x386 - 0.447213595499958*x403 - 0.894427190999916*x404 =L= 2.23606797749979; e563.. 0.707106781186547*x387 + 0.707106781186547*x388 - 0.707106781186547*x403 - 0.707106781186547*x404 =L= 1.4142135623731; e564.. x389 - x403 =L= 1; e565.. 0.707106781186547*x391 - 0.707106781186547*x392 - 0.707106781186547*x403 + 0.707106781186547*x404 =L= 1.4142135623731; e566.. 0.447213595499958*x393 - 0.894427190999916*x394 - 0.447213595499958*x403 + 0.894427190999916*x404 =L= 2.23606797749979; e567.. x396 - x404 =L= 4; e568.. x398 - x404 =L= 3; e569.. x400 - x404 =L= 2; e570.. x402 - x404 =L= 1; e571.. 0.832050294337844*x359 + 0.554700196225229*x360 - 0.832050294337844*x405 - 0.554700196225229*x406 =L= 3.60555127546399; e572.. 0.948683298050514*x361 + 0.316227766016838*x362 - 0.948683298050514*x405 - 0.316227766016838*x406 =L= 3.16227766016838; e573.. 0.948683298050514*x365 - 0.316227766016838*x366 - 0.948683298050514*x405 + 0.316227766016838*x406 =L= 3.16227766016838; e574.. 0.554700196225229*x371 + 0.832050294337844*x372 - 0.554700196225229*x405 - 0.832050294337844*x406 =L= 3.60555127546399; e575.. 0.894427190999916*x375 + 0.447213595499958*x376 - 0.894427190999916*x405 - 0.447213595499958*x406 =L= 2.23606797749979; e576.. 0.894427190999916*x379 - 0.447213595499958*x380 - 0.894427190999916*x405 + 0.447213595499958*x406 =L= 2.23606797749979; e577.. 0.316227766016838*x385 + 0.948683298050514*x386 - 0.316227766016838*x405 - 0.948683298050514*x406 =L= 3.16227766016838; e578.. 0.447213595499958*x387 + 0.894427190999916*x388 - 0.447213595499958*x405 - 0.894427190999916*x406 =L= 2.23606797749979; e579.. 0.707106781186547*x389 + 0.707106781186547*x390 - 0.707106781186547*x405 - 0.707106781186547*x406 =L= 1.4142135623731; e580.. x391 - x405 =L= 1; e581.. 0.707106781186547*x393 - 0.707106781186547*x394 - 0.707106781186547*x405 + 0.707106781186547*x406 =L= 1.4142135623731; e582.. x396 - x406 =L= 5; e583.. x398 - x406 =L= 4; e584.. x400 - x406 =L= 3; e585.. x402 - x406 =L= 2; e586.. x404 - x406 =L= 1; e587.. 0.832050294337844*x361 + 0.554700196225229*x362 - 0.832050294337844*x407 - 0.554700196225229*x408 =L= 3.60555127546399; e588.. 0.948683298050514*x363 + 0.316227766016838*x364 - 0.948683298050514*x407 - 0.316227766016838*x408 =L= 3.16227766016838; e589.. 0.554700196225229*x373 + 0.832050294337844*x374 - 0.554700196225229*x407 - 0.832050294337844*x408 =L= 3.60555127546399; e590.. 0.894427190999916*x377 + 0.447213595499958*x378 - 0.894427190999916*x407 - 0.447213595499958*x408 =L= 2.23606797749979; e591.. 0.316227766016838*x387 + 0.948683298050514*x388 - 0.316227766016838*x407 - 0.948683298050514*x408 =L= 3.16227766016838; e592.. 0.447213595499958*x389 + 0.894427190999916*x390 - 0.447213595499958*x407 - 0.894427190999916*x408 =L= 2.23606797749979; e593.. 0.707106781186547*x391 + 0.707106781186547*x392 - 0.707106781186547*x407 - 0.707106781186547*x408 =L= 1.4142135623731; e594.. x393 - x407 =L= 1; e595.. x396 - x408 =L= 6; e596.. x398 - x408 =L= 5; e597.. x400 - x408 =L= 4; e598.. x402 - x408 =L= 3; e599.. x404 - x408 =L= 2; e600.. x406 - x408 =L= 1; e601.. 0.948683298050514*x369 - 0.316227766016838*x370 - 0.948683298050514*x409 + 0.316227766016838*x410 =L= 3.16227766016838; e602.. 0.832050294337844*x371 - 0.554700196225229*x372 - 0.832050294337844*x409 + 0.554700196225229*x410 =L= 3.60555127546399; e603.. 0.894427190999916*x383 - 0.447213595499958*x384 - 0.894427190999916*x409 + 0.447213595499958*x410 =L= 2.23606797749979; e604.. 0.554700196225229*x387 - 0.832050294337844*x388 - 0.554700196225229*x409 + 0.832050294337844*x410 =L= 3.60555127546399; e605.. x395 - x409 =L= 1; e606.. 0.707106781186547*x397 - 0.707106781186547*x398 - 0.707106781186547*x409 + 0.707106781186547*x410 =L= 1.4142135623731; e607.. 0.447213595499958*x399 - 0.894427190999916*x400 - 0.447213595499958*x409 + 0.894427190999916*x410 =L= 2.23606797749979; e608.. 0.316227766016838*x401 - 0.948683298050514*x402 - 0.316227766016838*x409 + 0.948683298050514*x410 =L= 3.16227766016838; e609.. 0.948683298050514*x367 + 0.316227766016838*x368 - 0.948683298050514*x411 - 0.316227766016838*x412 =L= 3.16227766016838; e610.. 0.948683298050514*x371 - 0.316227766016838*x372 - 0.948683298050514*x411 + 0.316227766016838*x412 =L= 3.16227766016838; e611.. 0.832050294337844*x373 - 0.554700196225229*x374 - 0.832050294337844*x411 + 0.554700196225229*x412 =L= 3.60555127546399; e612.. 0.894427190999916*x381 + 0.447213595499958*x382 - 0.894427190999916*x411 - 0.447213595499958*x412 =L= 2.23606797749979; e613.. 0.894427190999916*x385 - 0.447213595499958*x386 - 0.894427190999916*x411 + 0.447213595499958*x412 =L= 2.23606797749979; e614.. 0.554700196225229*x389 - 0.832050294337844*x390 - 0.554700196225229*x411 + 0.832050294337844*x412 =L= 3.60555127546399; e615.. 0.707106781186547*x395 + 0.707106781186547*x396 - 0.707106781186547*x411 - 0.707106781186547*x412 =L= 1.4142135623731; e616.. x397 - x411 =L= 1; e617.. 0.707106781186547*x399 - 0.707106781186547*x400 - 0.707106781186547*x411 + 0.707106781186547*x412 =L= 1.4142135623731; e618.. 0.447213595499958*x401 - 0.894427190999916*x402 - 0.447213595499958*x411 + 0.894427190999916*x412 =L= 2.23606797749979; e619.. 0.316227766016838*x403 - 0.948683298050514*x404 - 0.316227766016838*x411 + 0.948683298050514*x412 =L= 3.16227766016838; e620.. x410 - x412 =L= 1; e621.. 0.832050294337844*x367 + 0.554700196225229*x368 - 0.832050294337844*x413 - 0.554700196225229*x414 =L= 3.60555127546399; e622.. 0.948683298050514*x369 + 0.316227766016838*x370 - 0.948683298050514*x413 - 0.316227766016838*x414 =L= 3.16227766016838; e623.. 0.948683298050514*x373 - 0.316227766016838*x374 - 0.948683298050514*x413 + 0.316227766016838*x414 =L= 3.16227766016838; e624.. 0.832050294337844*x375 - 0.554700196225229*x376 - 0.832050294337844*x413 + 0.554700196225229*x414 =L= 3.60555127546399; e625.. 0.894427190999916*x383 + 0.447213595499958*x384 - 0.894427190999916*x413 - 0.447213595499958*x414 =L= 2.23606797749979; e626.. 0.894427190999916*x387 - 0.447213595499958*x388 - 0.894427190999916*x413 + 0.447213595499958*x414 =L= 2.23606797749979; e627.. 0.554700196225229*x391 - 0.832050294337844*x392 - 0.554700196225229*x413 + 0.832050294337844*x414 =L= 3.60555127546399; e628.. 0.447213595499958*x395 + 0.894427190999916*x396 - 0.447213595499958*x413 - 0.894427190999916*x414 =L= 2.23606797749979; e629.. 0.707106781186547*x397 + 0.707106781186547*x398 - 0.707106781186547*x413 - 0.707106781186547*x414 =L= 1.4142135623731; e630.. x399 - x413 =L= 1; e631.. 0.707106781186547*x401 - 0.707106781186547*x402 - 0.707106781186547*x413 + 0.707106781186547*x414 =L= 1.4142135623731; e632.. 0.447213595499958*x403 - 0.894427190999916*x404 - 0.447213595499958*x413 + 0.894427190999916*x414 =L= 2.23606797749979; e633.. 0.316227766016838*x405 - 0.948683298050514*x406 - 0.316227766016838*x413 + 0.948683298050514*x414 =L= 3.16227766016838; e634.. x410 - x414 =L= 2; e635.. x412 - x414 =L= 1; e636.. 0.832050294337844*x369 + 0.554700196225229*x370 - 0.832050294337844*x415 - 0.554700196225229*x416 =L= 3.60555127546399; e637.. 0.948683298050514*x371 + 0.316227766016838*x372 - 0.948683298050514*x415 - 0.316227766016838*x416 =L= 3.16227766016838; e638.. 0.948683298050514*x375 - 0.316227766016838*x376 - 0.948683298050514*x415 + 0.316227766016838*x416 =L= 3.16227766016838; e639.. 0.832050294337844*x377 - 0.554700196225229*x378 - 0.832050294337844*x415 + 0.554700196225229*x416 =L= 3.60555127546399; e640.. 0.554700196225229*x381 + 0.832050294337844*x382 - 0.554700196225229*x415 - 0.832050294337844*x416 =L= 3.60555127546399; e641.. 0.894427190999916*x385 + 0.447213595499958*x386 - 0.894427190999916*x415 - 0.447213595499958*x416 =L= 2.23606797749979; e642.. 0.894427190999916*x389 - 0.447213595499958*x390 - 0.894427190999916*x415 + 0.447213595499958*x416 =L= 2.23606797749979; e643.. 0.554700196225229*x393 - 0.832050294337844*x394 - 0.554700196225229*x415 + 0.832050294337844*x416 =L= 3.60555127546399; e644.. 0.316227766016838*x395 + 0.948683298050514*x396 - 0.316227766016838*x415 - 0.948683298050514*x416 =L= 3.16227766016838; e645.. 0.447213595499958*x397 + 0.894427190999916*x398 - 0.447213595499958*x415 - 0.894427190999916*x416 =L= 2.23606797749979; e646.. 0.707106781186547*x399 + 0.707106781186547*x400 - 0.707106781186547*x415 - 0.707106781186547*x416 =L= 1.4142135623731; e647.. x401 - x415 =L= 1; e648.. 0.707106781186547*x403 - 0.707106781186547*x404 - 0.707106781186547*x415 + 0.707106781186547*x416 =L= 1.4142135623731; e649.. 0.447213595499958*x405 - 0.894427190999916*x406 - 0.447213595499958*x415 + 0.894427190999916*x416 =L= 2.23606797749979; e650.. 0.316227766016838*x407 - 0.948683298050514*x408 - 0.316227766016838*x415 + 0.948683298050514*x416 =L= 3.16227766016838; e651.. x410 - x416 =L= 3; e652.. x412 - x416 =L= 2; e653.. x414 - x416 =L= 1; e654.. 0.832050294337844*x371 + 0.554700196225229*x372 - 0.832050294337844*x417 - 0.554700196225229*x418 =L= 3.60555127546399; e655.. 0.948683298050514*x373 + 0.316227766016838*x374 - 0.948683298050514*x417 - 0.316227766016838*x418 =L= 3.16227766016838; e656.. 0.948683298050514*x377 - 0.316227766016838*x378 - 0.948683298050514*x417 + 0.316227766016838*x418 =L= 3.16227766016838; e657.. 0.832050294337844*x379 - 0.554700196225229*x380 - 0.832050294337844*x417 + 0.554700196225229*x418 =L= 3.60555127546399; e658.. 0.554700196225229*x383 + 0.832050294337844*x384 - 0.554700196225229*x417 - 0.832050294337844*x418 =L= 3.60555127546399; e659.. 0.894427190999916*x387 + 0.447213595499958*x388 - 0.894427190999916*x417 - 0.447213595499958*x418 =L= 2.23606797749979; e660.. 0.894427190999916*x391 - 0.447213595499958*x392 - 0.894427190999916*x417 + 0.447213595499958*x418 =L= 2.23606797749979; e661.. 0.316227766016838*x397 + 0.948683298050514*x398 - 0.316227766016838*x417 - 0.948683298050514*x418 =L= 3.16227766016838; e662.. 0.447213595499958*x399 + 0.894427190999916*x400 - 0.447213595499958*x417 - 0.894427190999916*x418 =L= 2.23606797749979; e663.. 0.707106781186547*x401 + 0.707106781186547*x402 - 0.707106781186547*x417 - 0.707106781186547*x418 =L= 1.4142135623731; e664.. x403 - x417 =L= 1; e665.. 0.707106781186547*x405 - 0.707106781186547*x406 - 0.707106781186547*x417 + 0.707106781186547*x418 =L= 1.4142135623731; e666.. 0.447213595499958*x407 - 0.894427190999916*x408 - 0.447213595499958*x417 + 0.894427190999916*x418 =L= 2.23606797749979; e667.. x410 - x418 =L= 4; e668.. x412 - x418 =L= 3; e669.. x414 - x418 =L= 2; e670.. x416 - x418 =L= 1; e671.. 0.832050294337844*x373 + 0.554700196225229*x374 - 0.832050294337844*x419 - 0.554700196225229*x420 =L= 3.60555127546399; e672.. 0.948683298050514*x375 + 0.316227766016838*x376 - 0.948683298050514*x419 - 0.316227766016838*x420 =L= 3.16227766016838; e673.. 0.948683298050514*x379 - 0.316227766016838*x380 - 0.948683298050514*x419 + 0.316227766016838*x420 =L= 3.16227766016838; e674.. 0.554700196225229*x385 + 0.832050294337844*x386 - 0.554700196225229*x419 - 0.832050294337844*x420 =L= 3.60555127546399; e675.. 0.894427190999916*x389 + 0.447213595499958*x390 - 0.894427190999916*x419 - 0.447213595499958*x420 =L= 2.23606797749979; e676.. 0.894427190999916*x393 - 0.447213595499958*x394 - 0.894427190999916*x419 + 0.447213595499958*x420 =L= 2.23606797749979; e677.. 0.316227766016838*x399 + 0.948683298050514*x400 - 0.316227766016838*x419 - 0.948683298050514*x420 =L= 3.16227766016838; e678.. 0.447213595499958*x401 + 0.894427190999916*x402 - 0.447213595499958*x419 - 0.894427190999916*x420 =L= 2.23606797749979; e679.. 0.707106781186547*x403 + 0.707106781186547*x404 - 0.707106781186547*x419 - 0.707106781186547*x420 =L= 1.4142135623731; e680.. x405 - x419 =L= 1; e681.. 0.707106781186547*x407 - 0.707106781186547*x408 - 0.707106781186547*x419 + 0.707106781186547*x420 =L= 1.4142135623731; e682.. x410 - x420 =L= 5; e683.. x412 - x420 =L= 4; e684.. x414 - x420 =L= 3; e685.. x416 - x420 =L= 2; e686.. x418 - x420 =L= 1; e687.. 0.832050294337844*x375 + 0.554700196225229*x376 - 0.832050294337844*x421 - 0.554700196225229*x422 =L= 3.60555127546399; e688.. 0.948683298050514*x377 + 0.316227766016838*x378 - 0.948683298050514*x421 - 0.316227766016838*x422 =L= 3.16227766016838; e689.. 0.554700196225229*x387 + 0.832050294337844*x388 - 0.554700196225229*x421 - 0.832050294337844*x422 =L= 3.60555127546399; e690.. 0.894427190999916*x391 + 0.447213595499958*x392 - 0.894427190999916*x421 - 0.447213595499958*x422 =L= 2.23606797749979; e691.. 0.316227766016838*x401 + 0.948683298050514*x402 - 0.316227766016838*x421 - 0.948683298050514*x422 =L= 3.16227766016838; e692.. 0.447213595499958*x403 + 0.894427190999916*x404 - 0.447213595499958*x421 - 0.894427190999916*x422 =L= 2.23606797749979; e693.. 0.707106781186547*x405 + 0.707106781186547*x406 - 0.707106781186547*x421 - 0.707106781186547*x422 =L= 1.4142135623731; e694.. x407 - x421 =L= 1; e695.. x410 - x422 =L= 6; e696.. x412 - x422 =L= 5; e697.. x414 - x422 =L= 4; e698.. x416 - x422 =L= 3; e699.. x418 - x422 =L= 2; e700.. x420 - x422 =L= 1; e701.. 0.948683298050514*x383 - 0.316227766016838*x384 - 0.948683298050514*x423 + 0.316227766016838*x424 =L= 3.16227766016838; e702.. 0.832050294337844*x385 - 0.554700196225229*x386 - 0.832050294337844*x423 + 0.554700196225229*x424 =L= 3.60555127546399; e703.. 0.894427190999916*x397 - 0.447213595499958*x398 - 0.894427190999916*x423 + 0.447213595499958*x424 =L= 2.23606797749979; e704.. 0.554700196225229*x401 - 0.832050294337844*x402 - 0.554700196225229*x423 + 0.832050294337844*x424 =L= 3.60555127546399; e705.. x409 - x423 =L= 1; e706.. 0.707106781186547*x411 - 0.707106781186547*x412 - 0.707106781186547*x423 + 0.707106781186547*x424 =L= 1.4142135623731; e707.. 0.447213595499958*x413 - 0.894427190999916*x414 - 0.447213595499958*x423 + 0.894427190999916*x424 =L= 2.23606797749979; e708.. 0.316227766016838*x415 - 0.948683298050514*x416 - 0.316227766016838*x423 + 0.948683298050514*x424 =L= 3.16227766016838; e709.. 0.948683298050514*x381 + 0.316227766016838*x382 - 0.948683298050514*x425 - 0.316227766016838*x426 =L= 3.16227766016838; e710.. 0.948683298050514*x385 - 0.316227766016838*x386 - 0.948683298050514*x425 + 0.316227766016838*x426 =L= 3.16227766016838; e711.. 0.832050294337844*x387 - 0.554700196225229*x388 - 0.832050294337844*x425 + 0.554700196225229*x426 =L= 3.60555127546399; e712.. 0.894427190999916*x395 + 0.447213595499958*x396 - 0.894427190999916*x425 - 0.447213595499958*x426 =L= 2.23606797749979; e713.. 0.894427190999916*x399 - 0.447213595499958*x400 - 0.894427190999916*x425 + 0.447213595499958*x426 =L= 2.23606797749979; e714.. 0.554700196225229*x403 - 0.832050294337844*x404 - 0.554700196225229*x425 + 0.832050294337844*x426 =L= 3.60555127546399; e715.. 0.707106781186547*x409 + 0.707106781186547*x410 - 0.707106781186547*x425 - 0.707106781186547*x426 =L= 1.4142135623731; e716.. x411 - x425 =L= 1; e717.. 0.707106781186547*x413 - 0.707106781186547*x414 - 0.707106781186547*x425 + 0.707106781186547*x426 =L= 1.4142135623731; e718.. 0.447213595499958*x415 - 0.894427190999916*x416 - 0.447213595499958*x425 + 0.894427190999916*x426 =L= 2.23606797749979; e719.. 0.316227766016838*x417 - 0.948683298050514*x418 - 0.316227766016838*x425 + 0.948683298050514*x426 =L= 3.16227766016838; e720.. x424 - x426 =L= 1; e721.. 0.832050294337844*x381 + 0.554700196225229*x382 - 0.832050294337844*x427 - 0.554700196225229*x428 =L= 3.60555127546399; e722.. 0.948683298050514*x383 + 0.316227766016838*x384 - 0.948683298050514*x427 - 0.316227766016838*x428 =L= 3.16227766016838; e723.. 0.948683298050514*x387 - 0.316227766016838*x388 - 0.948683298050514*x427 + 0.316227766016838*x428 =L= 3.16227766016838; e724.. 0.832050294337844*x389 - 0.554700196225229*x390 - 0.832050294337844*x427 + 0.554700196225229*x428 =L= 3.60555127546399; e725.. 0.894427190999916*x397 + 0.447213595499958*x398 - 0.894427190999916*x427 - 0.447213595499958*x428 =L= 2.23606797749979; e726.. 0.894427190999916*x401 - 0.447213595499958*x402 - 0.894427190999916*x427 + 0.447213595499958*x428 =L= 2.23606797749979; e727.. 0.554700196225229*x405 - 0.832050294337844*x406 - 0.554700196225229*x427 + 0.832050294337844*x428 =L= 3.60555127546399; e728.. 0.447213595499958*x409 + 0.894427190999916*x410 - 0.447213595499958*x427 - 0.894427190999916*x428 =L= 2.23606797749979; e729.. 0.707106781186547*x411 + 0.707106781186547*x412 - 0.707106781186547*x427 - 0.707106781186547*x428 =L= 1.4142135623731; e730.. x413 - x427 =L= 1; e731.. 0.707106781186547*x415 - 0.707106781186547*x416 - 0.707106781186547*x427 + 0.707106781186547*x428 =L= 1.4142135623731; e732.. 0.447213595499958*x417 - 0.894427190999916*x418 - 0.447213595499958*x427 + 0.894427190999916*x428 =L= 2.23606797749979; e733.. 0.316227766016838*x419 - 0.948683298050514*x420 - 0.316227766016838*x427 + 0.948683298050514*x428 =L= 3.16227766016838; e734.. x424 - x428 =L= 2; e735.. x426 - x428 =L= 1; e736.. 0.832050294337844*x383 + 0.554700196225229*x384 - 0.832050294337844*x429 - 0.554700196225229*x430 =L= 3.60555127546399; e737.. 0.948683298050514*x385 + 0.316227766016838*x386 - 0.948683298050514*x429 - 0.316227766016838*x430 =L= 3.16227766016838; e738.. 0.948683298050514*x389 - 0.316227766016838*x390 - 0.948683298050514*x429 + 0.316227766016838*x430 =L= 3.16227766016838; e739.. 0.832050294337844*x391 - 0.554700196225229*x392 - 0.832050294337844*x429 + 0.554700196225229*x430 =L= 3.60555127546399; e740.. 0.554700196225229*x395 + 0.832050294337844*x396 - 0.554700196225229*x429 - 0.832050294337844*x430 =L= 3.60555127546399; e741.. 0.894427190999916*x399 + 0.447213595499958*x400 - 0.894427190999916*x429 - 0.447213595499958*x430 =L= 2.23606797749979; e742.. 0.894427190999916*x403 - 0.447213595499958*x404 - 0.894427190999916*x429 + 0.447213595499958*x430 =L= 2.23606797749979; e743.. 0.554700196225229*x407 - 0.832050294337844*x408 - 0.554700196225229*x429 + 0.832050294337844*x430 =L= 3.60555127546399; e744.. 0.316227766016838*x409 + 0.948683298050514*x410 - 0.316227766016838*x429 - 0.948683298050514*x430 =L= 3.16227766016838; e745.. 0.447213595499958*x411 + 0.894427190999916*x412 - 0.447213595499958*x429 - 0.894427190999916*x430 =L= 2.23606797749979; e746.. 0.707106781186547*x413 + 0.707106781186547*x414 - 0.707106781186547*x429 - 0.707106781186547*x430 =L= 1.4142135623731; e747.. x415 - x429 =L= 1; e748.. 0.707106781186547*x417 - 0.707106781186547*x418 - 0.707106781186547*x429 + 0.707106781186547*x430 =L= 1.4142135623731; e749.. 0.447213595499958*x419 - 0.894427190999916*x420 - 0.447213595499958*x429 + 0.894427190999916*x430 =L= 2.23606797749979; e750.. 0.316227766016838*x421 - 0.948683298050514*x422 - 0.316227766016838*x429 + 0.948683298050514*x430 =L= 3.16227766016838; e751.. x424 - x430 =L= 3; e752.. x426 - x430 =L= 2; e753.. x428 - x430 =L= 1; e754.. 0.832050294337844*x385 + 0.554700196225229*x386 - 0.832050294337844*x431 - 0.554700196225229*x432 =L= 3.60555127546399; e755.. 0.948683298050514*x387 + 0.316227766016838*x388 - 0.948683298050514*x431 - 0.316227766016838*x432 =L= 3.16227766016838; e756.. 0.948683298050514*x391 - 0.316227766016838*x392 - 0.948683298050514*x431 + 0.316227766016838*x432 =L= 3.16227766016838; e757.. 0.832050294337844*x393 - 0.554700196225229*x394 - 0.832050294337844*x431 + 0.554700196225229*x432 =L= 3.60555127546399; e758.. 0.554700196225229*x397 + 0.832050294337844*x398 - 0.554700196225229*x431 - 0.832050294337844*x432 =L= 3.60555127546399; e759.. 0.894427190999916*x401 + 0.447213595499958*x402 - 0.894427190999916*x431 - 0.447213595499958*x432 =L= 2.23606797749979; e760.. 0.894427190999916*x405 - 0.447213595499958*x406 - 0.894427190999916*x431 + 0.447213595499958*x432 =L= 2.23606797749979; e761.. 0.316227766016838*x411 + 0.948683298050514*x412 - 0.316227766016838*x431 - 0.948683298050514*x432 =L= 3.16227766016838; e762.. 0.447213595499958*x413 + 0.894427190999916*x414 - 0.447213595499958*x431 - 0.894427190999916*x432 =L= 2.23606797749979; e763.. 0.707106781186547*x415 + 0.707106781186547*x416 - 0.707106781186547*x431 - 0.707106781186547*x432 =L= 1.4142135623731; e764.. x417 - x431 =L= 1; e765.. 0.707106781186547*x419 - 0.707106781186547*x420 - 0.707106781186547*x431 + 0.707106781186547*x432 =L= 1.4142135623731; e766.. 0.447213595499958*x421 - 0.894427190999916*x422 - 0.447213595499958*x431 + 0.894427190999916*x432 =L= 2.23606797749979; e767.. x424 - x432 =L= 4; e768.. x426 - x432 =L= 3; e769.. x428 - x432 =L= 2; e770.. x430 - x432 =L= 1; e771.. 0.832050294337844*x387 + 0.554700196225229*x388 - 0.832050294337844*x433 - 0.554700196225229*x434 =L= 3.60555127546399; e772.. 0.948683298050514*x389 + 0.316227766016838*x390 - 0.948683298050514*x433 - 0.316227766016838*x434 =L= 3.16227766016838; e773.. 0.948683298050514*x393 - 0.316227766016838*x394 - 0.948683298050514*x433 + 0.316227766016838*x434 =L= 3.16227766016838; e774.. 0.554700196225229*x399 + 0.832050294337844*x400 - 0.554700196225229*x433 - 0.832050294337844*x434 =L= 3.60555127546399; e775.. 0.894427190999916*x403 + 0.447213595499958*x404 - 0.894427190999916*x433 - 0.447213595499958*x434 =L= 2.23606797749979; e776.. 0.894427190999916*x407 - 0.447213595499958*x408 - 0.894427190999916*x433 + 0.447213595499958*x434 =L= 2.23606797749979; e777.. 0.316227766016838*x413 + 0.948683298050514*x414 - 0.316227766016838*x433 - 0.948683298050514*x434 =L= 3.16227766016838; e778.. 0.447213595499958*x415 + 0.894427190999916*x416 - 0.447213595499958*x433 - 0.894427190999916*x434 =L= 2.23606797749979; e779.. 0.707106781186547*x417 + 0.707106781186547*x418 - 0.707106781186547*x433 - 0.707106781186547*x434 =L= 1.4142135623731; e780.. x419 - x433 =L= 1; e781.. 0.707106781186547*x421 - 0.707106781186547*x422 - 0.707106781186547*x433 + 0.707106781186547*x434 =L= 1.4142135623731; e782.. x424 - x434 =L= 5; e783.. x426 - x434 =L= 4; e784.. x428 - x434 =L= 3; e785.. x430 - x434 =L= 2; e786.. x432 - x434 =L= 1; e787.. 0.832050294337844*x389 + 0.554700196225229*x390 - 0.832050294337844*x435 - 0.554700196225229*x436 =L= 3.60555127546399; e788.. 0.948683298050514*x391 + 0.316227766016838*x392 - 0.948683298050514*x435 - 0.316227766016838*x436 =L= 3.16227766016838; e789.. 0.554700196225229*x401 + 0.832050294337844*x402 - 0.554700196225229*x435 - 0.832050294337844*x436 =L= 3.60555127546399; e790.. 0.894427190999916*x405 + 0.447213595499958*x406 - 0.894427190999916*x435 - 0.447213595499958*x436 =L= 2.23606797749979; e791.. 0.316227766016838*x415 + 0.948683298050514*x416 - 0.316227766016838*x435 - 0.948683298050514*x436 =L= 3.16227766016838; e792.. 0.447213595499958*x417 + 0.894427190999916*x418 - 0.447213595499958*x435 - 0.894427190999916*x436 =L= 2.23606797749979; e793.. 0.707106781186547*x419 + 0.707106781186547*x420 - 0.707106781186547*x435 - 0.707106781186547*x436 =L= 1.4142135623731; e794.. x421 - x435 =L= 1; e795.. x424 - x436 =L= 6; e796.. x426 - x436 =L= 5; e797.. x428 - x436 =L= 4; e798.. x430 - x436 =L= 3; e799.. x432 - x436 =L= 2; e800.. x434 - x436 =L= 1; e801.. 0.948683298050514*x397 - 0.316227766016838*x398 - 0.948683298050514*x437 + 0.316227766016838*x438 =L= 3.16227766016838; e802.. 0.832050294337844*x399 - 0.554700196225229*x400 - 0.832050294337844*x437 + 0.554700196225229*x438 =L= 3.60555127546399; e803.. 0.894427190999916*x411 - 0.447213595499958*x412 - 0.894427190999916*x437 + 0.447213595499958*x438 =L= 2.23606797749979; e804.. 0.554700196225229*x415 - 0.832050294337844*x416 - 0.554700196225229*x437 + 0.832050294337844*x438 =L= 3.60555127546399; e805.. x423 - x437 =L= 1; e806.. 0.707106781186547*x425 - 0.707106781186547*x426 - 0.707106781186547*x437 + 0.707106781186547*x438 =L= 1.4142135623731; e807.. 0.447213595499958*x427 - 0.894427190999916*x428 - 0.447213595499958*x437 + 0.894427190999916*x438 =L= 2.23606797749979; e808.. 0.316227766016838*x429 - 0.948683298050514*x430 - 0.316227766016838*x437 + 0.948683298050514*x438 =L= 3.16227766016838; e809.. 0.948683298050514*x395 + 0.316227766016838*x396 - 0.948683298050514*x439 - 0.316227766016838*x440 =L= 3.16227766016838; e810.. 0.948683298050514*x399 - 0.316227766016838*x400 - 0.948683298050514*x439 + 0.316227766016838*x440 =L= 3.16227766016838; e811.. 0.832050294337844*x401 - 0.554700196225229*x402 - 0.832050294337844*x439 + 0.554700196225229*x440 =L= 3.60555127546399; e812.. 0.894427190999916*x409 + 0.447213595499958*x410 - 0.894427190999916*x439 - 0.447213595499958*x440 =L= 2.23606797749979; e813.. 0.894427190999916*x413 - 0.447213595499958*x414 - 0.894427190999916*x439 + 0.447213595499958*x440 =L= 2.23606797749979; e814.. 0.554700196225229*x417 - 0.832050294337844*x418 - 0.554700196225229*x439 + 0.832050294337844*x440 =L= 3.60555127546399; e815.. 0.707106781186547*x423 + 0.707106781186547*x424 - 0.707106781186547*x439 - 0.707106781186547*x440 =L= 1.4142135623731; e816.. x425 - x439 =L= 1; e817.. 0.707106781186547*x427 - 0.707106781186547*x428 - 0.707106781186547*x439 + 0.707106781186547*x440 =L= 1.4142135623731; e818.. 0.447213595499958*x429 - 0.894427190999916*x430 - 0.447213595499958*x439 + 0.894427190999916*x440 =L= 2.23606797749979; e819.. 0.316227766016838*x431 - 0.948683298050514*x432 - 0.316227766016838*x439 + 0.948683298050514*x440 =L= 3.16227766016838; e820.. x438 - x440 =L= 1; e821.. 0.832050294337844*x395 + 0.554700196225229*x396 - 0.832050294337844*x441 - 0.554700196225229*x442 =L= 3.60555127546399; e822.. 0.948683298050514*x397 + 0.316227766016838*x398 - 0.948683298050514*x441 - 0.316227766016838*x442 =L= 3.16227766016838; e823.. 0.948683298050514*x401 - 0.316227766016838*x402 - 0.948683298050514*x441 + 0.316227766016838*x442 =L= 3.16227766016838; e824.. 0.832050294337844*x403 - 0.554700196225229*x404 - 0.832050294337844*x441 + 0.554700196225229*x442 =L= 3.60555127546399; e825.. 0.894427190999916*x411 + 0.447213595499958*x412 - 0.894427190999916*x441 - 0.447213595499958*x442 =L= 2.23606797749979; e826.. 0.894427190999916*x415 - 0.447213595499958*x416 - 0.894427190999916*x441 + 0.447213595499958*x442 =L= 2.23606797749979; e827.. 0.554700196225229*x419 - 0.832050294337844*x420 - 0.554700196225229*x441 + 0.832050294337844*x442 =L= 3.60555127546399; e828.. 0.447213595499958*x423 + 0.894427190999916*x424 - 0.447213595499958*x441 - 0.894427190999916*x442 =L= 2.23606797749979; e829.. 0.707106781186547*x425 + 0.707106781186547*x426 - 0.707106781186547*x441 - 0.707106781186547*x442 =L= 1.4142135623731; e830.. x427 - x441 =L= 1; e831.. 0.707106781186547*x429 - 0.707106781186547*x430 - 0.707106781186547*x441 + 0.707106781186547*x442 =L= 1.4142135623731; e832.. 0.447213595499958*x431 - 0.894427190999916*x432 - 0.447213595499958*x441 + 0.894427190999916*x442 =L= 2.23606797749979; e833.. 0.316227766016838*x433 - 0.948683298050514*x434 - 0.316227766016838*x441 + 0.948683298050514*x442 =L= 3.16227766016838; e834.. x438 - x442 =L= 2; e835.. x440 - x442 =L= 1; e836.. 0.832050294337844*x397 + 0.554700196225229*x398 - 0.832050294337844*x443 - 0.554700196225229*x444 =L= 3.60555127546399; e837.. 0.948683298050514*x399 + 0.316227766016838*x400 - 0.948683298050514*x443 - 0.316227766016838*x444 =L= 3.16227766016838; e838.. 0.948683298050514*x403 - 0.316227766016838*x404 - 0.948683298050514*x443 + 0.316227766016838*x444 =L= 3.16227766016838; e839.. 0.832050294337844*x405 - 0.554700196225229*x406 - 0.832050294337844*x443 + 0.554700196225229*x444 =L= 3.60555127546399; e840.. 0.554700196225229*x409 + 0.832050294337844*x410 - 0.554700196225229*x443 - 0.832050294337844*x444 =L= 3.60555127546399; e841.. 0.894427190999916*x413 + 0.447213595499958*x414 - 0.894427190999916*x443 - 0.447213595499958*x444 =L= 2.23606797749979; e842.. 0.894427190999916*x417 - 0.447213595499958*x418 - 0.894427190999916*x443 + 0.447213595499958*x444 =L= 2.23606797749979; e843.. 0.554700196225229*x421 - 0.832050294337844*x422 - 0.554700196225229*x443 + 0.832050294337844*x444 =L= 3.60555127546399; e844.. 0.316227766016838*x423 + 0.948683298050514*x424 - 0.316227766016838*x443 - 0.948683298050514*x444 =L= 3.16227766016838; e845.. 0.447213595499958*x425 + 0.894427190999916*x426 - 0.447213595499958*x443 - 0.894427190999916*x444 =L= 2.23606797749979; e846.. 0.707106781186547*x427 + 0.707106781186547*x428 - 0.707106781186547*x443 - 0.707106781186547*x444 =L= 1.4142135623731; e847.. x429 - x443 =L= 1; e848.. 0.707106781186547*x431 - 0.707106781186547*x432 - 0.707106781186547*x443 + 0.707106781186547*x444 =L= 1.4142135623731; e849.. 0.447213595499958*x433 - 0.894427190999916*x434 - 0.447213595499958*x443 + 0.894427190999916*x444 =L= 2.23606797749979; e850.. 0.316227766016838*x435 - 0.948683298050514*x436 - 0.316227766016838*x443 + 0.948683298050514*x444 =L= 3.16227766016838; e851.. x438 - x444 =L= 3; e852.. x440 - x444 =L= 2; e853.. x442 - x444 =L= 1; e854.. 0.832050294337844*x399 + 0.554700196225229*x400 - 0.832050294337844*x445 - 0.554700196225229*x446 =L= 3.60555127546399; e855.. 0.948683298050514*x401 + 0.316227766016838*x402 - 0.948683298050514*x445 - 0.316227766016838*x446 =L= 3.16227766016838; e856.. 0.948683298050514*x405 - 0.316227766016838*x406 - 0.948683298050514*x445 + 0.316227766016838*x446 =L= 3.16227766016838; e857.. 0.832050294337844*x407 - 0.554700196225229*x408 - 0.832050294337844*x445 + 0.554700196225229*x446 =L= 3.60555127546399; e858.. 0.554700196225229*x411 + 0.832050294337844*x412 - 0.554700196225229*x445 - 0.832050294337844*x446 =L= 3.60555127546399; e859.. 0.894427190999916*x415 + 0.447213595499958*x416 - 0.894427190999916*x445 - 0.447213595499958*x446 =L= 2.23606797749979; e860.. 0.894427190999916*x419 - 0.447213595499958*x420 - 0.894427190999916*x445 + 0.447213595499958*x446 =L= 2.23606797749979; e861.. 0.316227766016838*x425 + 0.948683298050514*x426 - 0.316227766016838*x445 - 0.948683298050514*x446 =L= 3.16227766016838; e862.. 0.447213595499958*x427 + 0.894427190999916*x428 - 0.447213595499958*x445 - 0.894427190999916*x446 =L= 2.23606797749979; e863.. 0.707106781186547*x429 + 0.707106781186547*x430 - 0.707106781186547*x445 - 0.707106781186547*x446 =L= 1.4142135623731; e864.. x431 - x445 =L= 1; e865.. 0.707106781186547*x433 - 0.707106781186547*x434 - 0.707106781186547*x445 + 0.707106781186547*x446 =L= 1.4142135623731; e866.. 0.447213595499958*x435 - 0.894427190999916*x436 - 0.447213595499958*x445 + 0.894427190999916*x446 =L= 2.23606797749979; e867.. x438 - x446 =L= 4; e868.. x440 - x446 =L= 3; e869.. x442 - x446 =L= 2; e870.. x444 - x446 =L= 1; e871.. 0.832050294337844*x401 + 0.554700196225229*x402 - 0.832050294337844*x447 - 0.554700196225229*x448 =L= 3.60555127546399; e872.. 0.948683298050514*x403 + 0.316227766016838*x404 - 0.948683298050514*x447 - 0.316227766016838*x448 =L= 3.16227766016838; e873.. 0.948683298050514*x407 - 0.316227766016838*x408 - 0.948683298050514*x447 + 0.316227766016838*x448 =L= 3.16227766016838; e874.. 0.554700196225229*x413 + 0.832050294337844*x414 - 0.554700196225229*x447 - 0.832050294337844*x448 =L= 3.60555127546399; e875.. 0.894427190999916*x417 + 0.447213595499958*x418 - 0.894427190999916*x447 - 0.447213595499958*x448 =L= 2.23606797749979; e876.. 0.894427190999916*x421 - 0.447213595499958*x422 - 0.894427190999916*x447 + 0.447213595499958*x448 =L= 2.23606797749979; e877.. 0.316227766016838*x427 + 0.948683298050514*x428 - 0.316227766016838*x447 - 0.948683298050514*x448 =L= 3.16227766016838; e878.. 0.447213595499958*x429 + 0.894427190999916*x430 - 0.447213595499958*x447 - 0.894427190999916*x448 =L= 2.23606797749979; e879.. 0.707106781186547*x431 + 0.707106781186547*x432 - 0.707106781186547*x447 - 0.707106781186547*x448 =L= 1.4142135623731; e880.. x433 - x447 =L= 1; e881.. 0.707106781186547*x435 - 0.707106781186547*x436 - 0.707106781186547*x447 + 0.707106781186547*x448 =L= 1.4142135623731; e882.. x438 - x448 =L= 5; e883.. x440 - x448 =L= 4; e884.. x442 - x448 =L= 3; e885.. x444 - x448 =L= 2; e886.. x446 - x448 =L= 1; e887.. 0.832050294337844*x403 + 0.554700196225229*x404 - 0.832050294337844*x449 - 0.554700196225229*x450 =L= 3.60555127546399; e888.. 0.948683298050514*x405 + 0.316227766016838*x406 - 0.948683298050514*x449 - 0.316227766016838*x450 =L= 3.16227766016838; e889.. 0.554700196225229*x415 + 0.832050294337844*x416 - 0.554700196225229*x449 - 0.832050294337844*x450 =L= 3.60555127546399; e890.. 0.894427190999916*x419 + 0.447213595499958*x420 - 0.894427190999916*x449 - 0.447213595499958*x450 =L= 2.23606797749979; e891.. 0.316227766016838*x429 + 0.948683298050514*x430 - 0.316227766016838*x449 - 0.948683298050514*x450 =L= 3.16227766016838; e892.. 0.447213595499958*x431 + 0.894427190999916*x432 - 0.447213595499958*x449 - 0.894427190999916*x450 =L= 2.23606797749979; e893.. 0.707106781186547*x433 + 0.707106781186547*x434 - 0.707106781186547*x449 - 0.707106781186547*x450 =L= 1.4142135623731; e894.. x435 - x449 =L= 1; e895.. x438 - x450 =L= 6; e896.. x440 - x450 =L= 5; e897.. x442 - x450 =L= 4; e898.. x444 - x450 =L= 3; e899.. x446 - x450 =L= 2; e900.. x448 - x450 =L= 1; e901.. 0.948683298050514*x411 - 0.316227766016838*x412 - 0.948683298050514*x451 + 0.316227766016838*x452 =L= 3.16227766016838; e902.. 0.832050294337844*x413 - 0.554700196225229*x414 - 0.832050294337844*x451 + 0.554700196225229*x452 =L= 3.60555127546399; e903.. 0.894427190999916*x425 - 0.447213595499958*x426 - 0.894427190999916*x451 + 0.447213595499958*x452 =L= 2.23606797749979; e904.. 0.554700196225229*x429 - 0.832050294337844*x430 - 0.554700196225229*x451 + 0.832050294337844*x452 =L= 3.60555127546399; e905.. x437 - x451 =L= 1; e906.. 0.707106781186547*x439 - 0.707106781186547*x440 - 0.707106781186547*x451 + 0.707106781186547*x452 =L= 1.4142135623731; e907.. 0.447213595499958*x441 - 0.894427190999916*x442 - 0.447213595499958*x451 + 0.894427190999916*x452 =L= 2.23606797749979; e908.. 0.316227766016838*x443 - 0.948683298050514*x444 - 0.316227766016838*x451 + 0.948683298050514*x452 =L= 3.16227766016838; e909.. 0.948683298050514*x409 + 0.316227766016838*x410 - 0.948683298050514*x453 - 0.316227766016838*x454 =L= 3.16227766016838; e910.. 0.948683298050514*x413 - 0.316227766016838*x414 - 0.948683298050514*x453 + 0.316227766016838*x454 =L= 3.16227766016838; e911.. 0.832050294337844*x415 - 0.554700196225229*x416 - 0.832050294337844*x453 + 0.554700196225229*x454 =L= 3.60555127546399; e912.. 0.894427190999916*x423 + 0.447213595499958*x424 - 0.894427190999916*x453 - 0.447213595499958*x454 =L= 2.23606797749979; e913.. 0.894427190999916*x427 - 0.447213595499958*x428 - 0.894427190999916*x453 + 0.447213595499958*x454 =L= 2.23606797749979; e914.. 0.554700196225229*x431 - 0.832050294337844*x432 - 0.554700196225229*x453 + 0.832050294337844*x454 =L= 3.60555127546399; e915.. 0.707106781186547*x437 + 0.707106781186547*x438 - 0.707106781186547*x453 - 0.707106781186547*x454 =L= 1.4142135623731; e916.. x439 - x453 =L= 1; e917.. 0.707106781186547*x441 - 0.707106781186547*x442 - 0.707106781186547*x453 + 0.707106781186547*x454 =L= 1.4142135623731; e918.. 0.447213595499958*x443 - 0.894427190999916*x444 - 0.447213595499958*x453 + 0.894427190999916*x454 =L= 2.23606797749979; e919.. 0.316227766016838*x445 - 0.948683298050514*x446 - 0.316227766016838*x453 + 0.948683298050514*x454 =L= 3.16227766016838; e920.. x452 - x454 =L= 1; e921.. 0.832050294337844*x409 + 0.554700196225229*x410 - 0.832050294337844*x455 - 0.554700196225229*x456 =L= 3.60555127546399; e922.. 0.948683298050514*x411 + 0.316227766016838*x412 - 0.948683298050514*x455 - 0.316227766016838*x456 =L= 3.16227766016838; e923.. 0.948683298050514*x415 - 0.316227766016838*x416 - 0.948683298050514*x455 + 0.316227766016838*x456 =L= 3.16227766016838; e924.. 0.832050294337844*x417 - 0.554700196225229*x418 - 0.832050294337844*x455 + 0.554700196225229*x456 =L= 3.60555127546399; e925.. 0.894427190999916*x425 + 0.447213595499958*x426 - 0.894427190999916*x455 - 0.447213595499958*x456 =L= 2.23606797749979; e926.. 0.894427190999916*x429 - 0.447213595499958*x430 - 0.894427190999916*x455 + 0.447213595499958*x456 =L= 2.23606797749979; e927.. 0.554700196225229*x433 - 0.832050294337844*x434 - 0.554700196225229*x455 + 0.832050294337844*x456 =L= 3.60555127546399; e928.. 0.447213595499958*x437 + 0.894427190999916*x438 - 0.447213595499958*x455 - 0.894427190999916*x456 =L= 2.23606797749979; e929.. 0.707106781186547*x439 + 0.707106781186547*x440 - 0.707106781186547*x455 - 0.707106781186547*x456 =L= 1.4142135623731; e930.. x441 - x455 =L= 1; e931.. 0.707106781186547*x443 - 0.707106781186547*x444 - 0.707106781186547*x455 + 0.707106781186547*x456 =L= 1.4142135623731; e932.. 0.447213595499958*x445 - 0.894427190999916*x446 - 0.447213595499958*x455 + 0.894427190999916*x456 =L= 2.23606797749979; e933.. 0.316227766016838*x447 - 0.948683298050514*x448 - 0.316227766016838*x455 + 0.948683298050514*x456 =L= 3.16227766016838; e934.. x452 - x456 =L= 2; e935.. x454 - x456 =L= 1; e936.. 0.832050294337844*x411 + 0.554700196225229*x412 - 0.832050294337844*x457 - 0.554700196225229*x458 =L= 3.60555127546399; e937.. 0.948683298050514*x413 + 0.316227766016838*x414 - 0.948683298050514*x457 - 0.316227766016838*x458 =L= 3.16227766016838; e938.. 0.948683298050514*x417 - 0.316227766016838*x418 - 0.948683298050514*x457 + 0.316227766016838*x458 =L= 3.16227766016838; e939.. 0.832050294337844*x419 - 0.554700196225229*x420 - 0.832050294337844*x457 + 0.554700196225229*x458 =L= 3.60555127546399; e940.. 0.554700196225229*x423 + 0.832050294337844*x424 - 0.554700196225229*x457 - 0.832050294337844*x458 =L= 3.60555127546399; e941.. 0.894427190999916*x427 + 0.447213595499958*x428 - 0.894427190999916*x457 - 0.447213595499958*x458 =L= 2.23606797749979; e942.. 0.894427190999916*x431 - 0.447213595499958*x432 - 0.894427190999916*x457 + 0.447213595499958*x458 =L= 2.23606797749979; e943.. 0.554700196225229*x435 - 0.832050294337844*x436 - 0.554700196225229*x457 + 0.832050294337844*x458 =L= 3.60555127546399; e944.. 0.316227766016838*x437 + 0.948683298050514*x438 - 0.316227766016838*x457 - 0.948683298050514*x458 =L= 3.16227766016838; e945.. 0.447213595499958*x439 + 0.894427190999916*x440 - 0.447213595499958*x457 - 0.894427190999916*x458 =L= 2.23606797749979; e946.. 0.707106781186547*x441 + 0.707106781186547*x442 - 0.707106781186547*x457 - 0.707106781186547*x458 =L= 1.4142135623731; e947.. x443 - x457 =L= 1; e948.. 0.707106781186547*x445 - 0.707106781186547*x446 - 0.707106781186547*x457 + 0.707106781186547*x458 =L= 1.4142135623731; e949.. 0.447213595499958*x447 - 0.894427190999916*x448 - 0.447213595499958*x457 + 0.894427190999916*x458 =L= 2.23606797749979; e950.. 0.316227766016838*x449 - 0.948683298050514*x450 - 0.316227766016838*x457 + 0.948683298050514*x458 =L= 3.16227766016838; e951.. x452 - x458 =L= 3; e952.. x454 - x458 =L= 2; e953.. x456 - x458 =L= 1; e954.. 0.832050294337844*x413 + 0.554700196225229*x414 - 0.832050294337844*x459 - 0.554700196225229*x460 =L= 3.60555127546399; e955.. 0.948683298050514*x415 + 0.316227766016838*x416 - 0.948683298050514*x459 - 0.316227766016838*x460 =L= 3.16227766016838; e956.. 0.948683298050514*x419 - 0.316227766016838*x420 - 0.948683298050514*x459 + 0.316227766016838*x460 =L= 3.16227766016838; e957.. 0.832050294337844*x421 - 0.554700196225229*x422 - 0.832050294337844*x459 + 0.554700196225229*x460 =L= 3.60555127546399; e958.. 0.554700196225229*x425 + 0.832050294337844*x426 - 0.554700196225229*x459 - 0.832050294337844*x460 =L= 3.60555127546399; e959.. 0.894427190999916*x429 + 0.447213595499958*x430 - 0.894427190999916*x459 - 0.447213595499958*x460 =L= 2.23606797749979; e960.. 0.894427190999916*x433 - 0.447213595499958*x434 - 0.894427190999916*x459 + 0.447213595499958*x460 =L= 2.23606797749979; e961.. 0.316227766016838*x439 + 0.948683298050514*x440 - 0.316227766016838*x459 - 0.948683298050514*x460 =L= 3.16227766016838; e962.. 0.447213595499958*x441 + 0.894427190999916*x442 - 0.447213595499958*x459 - 0.894427190999916*x460 =L= 2.23606797749979; e963.. 0.707106781186547*x443 + 0.707106781186547*x444 - 0.707106781186547*x459 - 0.707106781186547*x460 =L= 1.4142135623731; e964.. x445 - x459 =L= 1; e965.. 0.707106781186547*x447 - 0.707106781186547*x448 - 0.707106781186547*x459 + 0.707106781186547*x460 =L= 1.4142135623731; e966.. 0.447213595499958*x449 - 0.894427190999916*x450 - 0.447213595499958*x459 + 0.894427190999916*x460 =L= 2.23606797749979; e967.. x452 - x460 =L= 4; e968.. x454 - x460 =L= 3; e969.. x456 - x460 =L= 2; e970.. x458 - x460 =L= 1; e971.. 0.832050294337844*x415 + 0.554700196225229*x416 - 0.832050294337844*x461 - 0.554700196225229*x462 =L= 3.60555127546399; e972.. 0.948683298050514*x417 + 0.316227766016838*x418 - 0.948683298050514*x461 - 0.316227766016838*x462 =L= 3.16227766016838; e973.. 0.948683298050514*x421 - 0.316227766016838*x422 - 0.948683298050514*x461 + 0.316227766016838*x462 =L= 3.16227766016838; e974.. 0.554700196225229*x427 + 0.832050294337844*x428 - 0.554700196225229*x461 - 0.832050294337844*x462 =L= 3.60555127546399; e975.. 0.894427190999916*x431 + 0.447213595499958*x432 - 0.894427190999916*x461 - 0.447213595499958*x462 =L= 2.23606797749979; e976.. 0.894427190999916*x435 - 0.447213595499958*x436 - 0.894427190999916*x461 + 0.447213595499958*x462 =L= 2.23606797749979; e977.. 0.316227766016838*x441 + 0.948683298050514*x442 - 0.316227766016838*x461 - 0.948683298050514*x462 =L= 3.16227766016838; e978.. 0.447213595499958*x443 + 0.894427190999916*x444 - 0.447213595499958*x461 - 0.894427190999916*x462 =L= 2.23606797749979; e979.. 0.707106781186547*x445 + 0.707106781186547*x446 - 0.707106781186547*x461 - 0.707106781186547*x462 =L= 1.4142135623731; e980.. x447 - x461 =L= 1; e981.. 0.707106781186547*x449 - 0.707106781186547*x450 - 0.707106781186547*x461 + 0.707106781186547*x462 =L= 1.4142135623731; e982.. x452 - x462 =L= 5; e983.. x454 - x462 =L= 4; e984.. x456 - x462 =L= 3; e985.. x458 - x462 =L= 2; e986.. x460 - x462 =L= 1; e987.. 0.832050294337844*x417 + 0.554700196225229*x418 - 0.832050294337844*x463 - 0.554700196225229*x464 =L= 3.60555127546399; e988.. 0.948683298050514*x419 + 0.316227766016838*x420 - 0.948683298050514*x463 - 0.316227766016838*x464 =L= 3.16227766016838; e989.. 0.554700196225229*x429 + 0.832050294337844*x430 - 0.554700196225229*x463 - 0.832050294337844*x464 =L= 3.60555127546399; e990.. 0.894427190999916*x433 + 0.447213595499958*x434 - 0.894427190999916*x463 - 0.447213595499958*x464 =L= 2.23606797749979; e991.. 0.316227766016838*x443 + 0.948683298050514*x444 - 0.316227766016838*x463 - 0.948683298050514*x464 =L= 3.16227766016838; e992.. 0.447213595499958*x445 + 0.894427190999916*x446 - 0.447213595499958*x463 - 0.894427190999916*x464 =L= 2.23606797749979; e993.. 0.707106781186547*x447 + 0.707106781186547*x448 - 0.707106781186547*x463 - 0.707106781186547*x464 =L= 1.4142135623731; e994.. x449 - x463 =L= 1; e995.. x452 - x464 =L= 6; e996.. x454 - x464 =L= 5; e997.. x456 - x464 =L= 4; e998.. x458 - x464 =L= 3; e999.. x460 - x464 =L= 2; e1000.. x462 - x464 =L= 1; e1001.. 0.948683298050514*x425 - 0.316227766016838*x426 - 0.948683298050514*x465 + 0.316227766016838*x466 =L= 3.16227766016838; e1002.. 0.832050294337844*x427 - 0.554700196225229*x428 - 0.832050294337844*x465 + 0.554700196225229*x466 =L= 3.60555127546399; e1003.. 0.894427190999916*x439 - 0.447213595499958*x440 - 0.894427190999916*x465 + 0.447213595499958*x466 =L= 2.23606797749979; e1004.. 0.554700196225229*x443 - 0.832050294337844*x444 - 0.554700196225229*x465 + 0.832050294337844*x466 =L= 3.60555127546399; e1005.. x451 - x465 =L= 1; e1006.. 0.707106781186547*x453 - 0.707106781186547*x454 - 0.707106781186547*x465 + 0.707106781186547*x466 =L= 1.4142135623731; e1007.. 0.447213595499958*x455 - 0.894427190999916*x456 - 0.447213595499958*x465 + 0.894427190999916*x466 =L= 2.23606797749979; e1008.. 0.316227766016838*x457 - 0.948683298050514*x458 - 0.316227766016838*x465 + 0.948683298050514*x466 =L= 3.16227766016838; e1009.. 0.948683298050514*x423 + 0.316227766016838*x424 - 0.948683298050514*x467 - 0.316227766016838*x468 =L= 3.16227766016838; e1010.. 0.948683298050514*x427 - 0.316227766016838*x428 - 0.948683298050514*x467 + 0.316227766016838*x468 =L= 3.16227766016838; e1011.. 0.832050294337844*x429 - 0.554700196225229*x430 - 0.832050294337844*x467 + 0.554700196225229*x468 =L= 3.60555127546399; e1012.. 0.894427190999916*x437 + 0.447213595499958*x438 - 0.894427190999916*x467 - 0.447213595499958*x468 =L= 2.23606797749979; e1013.. 0.894427190999916*x441 - 0.447213595499958*x442 - 0.894427190999916*x467 + 0.447213595499958*x468 =L= 2.23606797749979; e1014.. 0.554700196225229*x445 - 0.832050294337844*x446 - 0.554700196225229*x467 + 0.832050294337844*x468 =L= 3.60555127546399; e1015.. 0.707106781186547*x451 + 0.707106781186547*x452 - 0.707106781186547*x467 - 0.707106781186547*x468 =L= 1.4142135623731; e1016.. x453 - x467 =L= 1; e1017.. 0.707106781186547*x455 - 0.707106781186547*x456 - 0.707106781186547*x467 + 0.707106781186547*x468 =L= 1.4142135623731; e1018.. 0.447213595499958*x457 - 0.894427190999916*x458 - 0.447213595499958*x467 + 0.894427190999916*x468 =L= 2.23606797749979; e1019.. 0.316227766016838*x459 - 0.948683298050514*x460 - 0.316227766016838*x467 + 0.948683298050514*x468 =L= 3.16227766016838; e1020.. x466 - x468 =L= 1; e1021.. 0.832050294337844*x423 + 0.554700196225229*x424 - 0.832050294337844*x469 - 0.554700196225229*x470 =L= 3.60555127546399; e1022.. 0.948683298050514*x425 + 0.316227766016838*x426 - 0.948683298050514*x469 - 0.316227766016838*x470 =L= 3.16227766016838; e1023.. 0.948683298050514*x429 - 0.316227766016838*x430 - 0.948683298050514*x469 + 0.316227766016838*x470 =L= 3.16227766016838; e1024.. 0.832050294337844*x431 - 0.554700196225229*x432 - 0.832050294337844*x469 + 0.554700196225229*x470 =L= 3.60555127546399; e1025.. 0.894427190999916*x439 + 0.447213595499958*x440 - 0.894427190999916*x469 - 0.447213595499958*x470 =L= 2.23606797749979; e1026.. 0.894427190999916*x443 - 0.447213595499958*x444 - 0.894427190999916*x469 + 0.447213595499958*x470 =L= 2.23606797749979; e1027.. 0.554700196225229*x447 - 0.832050294337844*x448 - 0.554700196225229*x469 + 0.832050294337844*x470 =L= 3.60555127546399; e1028.. 0.447213595499958*x451 + 0.894427190999916*x452 - 0.447213595499958*x469 - 0.894427190999916*x470 =L= 2.23606797749979; e1029.. 0.707106781186547*x453 + 0.707106781186547*x454 - 0.707106781186547*x469 - 0.707106781186547*x470 =L= 1.4142135623731; e1030.. x455 - x469 =L= 1; e1031.. 0.707106781186547*x457 - 0.707106781186547*x458 - 0.707106781186547*x469 + 0.707106781186547*x470 =L= 1.4142135623731; e1032.. 0.447213595499958*x459 - 0.894427190999916*x460 - 0.447213595499958*x469 + 0.894427190999916*x470 =L= 2.23606797749979; e1033.. 0.316227766016838*x461 - 0.948683298050514*x462 - 0.316227766016838*x469 + 0.948683298050514*x470 =L= 3.16227766016838; e1034.. x466 - x470 =L= 2; e1035.. x468 - x470 =L= 1; e1036.. 0.832050294337844*x425 + 0.554700196225229*x426 - 0.832050294337844*x471 - 0.554700196225229*x472 =L= 3.60555127546399; e1037.. 0.948683298050514*x427 + 0.316227766016838*x428 - 0.948683298050514*x471 - 0.316227766016838*x472 =L= 3.16227766016838; e1038.. 0.948683298050514*x431 - 0.316227766016838*x432 - 0.948683298050514*x471 + 0.316227766016838*x472 =L= 3.16227766016838; e1039.. 0.832050294337844*x433 - 0.554700196225229*x434 - 0.832050294337844*x471 + 0.554700196225229*x472 =L= 3.60555127546399; e1040.. 0.554700196225229*x437 + 0.832050294337844*x438 - 0.554700196225229*x471 - 0.832050294337844*x472 =L= 3.60555127546399; e1041.. 0.894427190999916*x441 + 0.447213595499958*x442 - 0.894427190999916*x471 - 0.447213595499958*x472 =L= 2.23606797749979; e1042.. 0.894427190999916*x445 - 0.447213595499958*x446 - 0.894427190999916*x471 + 0.447213595499958*x472 =L= 2.23606797749979; e1043.. 0.554700196225229*x449 - 0.832050294337844*x450 - 0.554700196225229*x471 + 0.832050294337844*x472 =L= 3.60555127546399; e1044.. 0.316227766016838*x451 + 0.948683298050514*x452 - 0.316227766016838*x471 - 0.948683298050514*x472 =L= 3.16227766016838; e1045.. 0.447213595499958*x453 + 0.894427190999916*x454 - 0.447213595499958*x471 - 0.894427190999916*x472 =L= 2.23606797749979; e1046.. 0.707106781186547*x455 + 0.707106781186547*x456 - 0.707106781186547*x471 - 0.707106781186547*x472 =L= 1.4142135623731; e1047.. x457 - x471 =L= 1; e1048.. 0.707106781186547*x459 - 0.707106781186547*x460 - 0.707106781186547*x471 + 0.707106781186547*x472 =L= 1.4142135623731; e1049.. 0.447213595499958*x461 - 0.894427190999916*x462 - 0.447213595499958*x471 + 0.894427190999916*x472 =L= 2.23606797749979; e1050.. 0.316227766016838*x463 - 0.948683298050514*x464 - 0.316227766016838*x471 + 0.948683298050514*x472 =L= 3.16227766016838; e1051.. x466 - x472 =L= 3; e1052.. x468 - x472 =L= 2; e1053.. x470 - x472 =L= 1; e1054.. 0.832050294337844*x427 + 0.554700196225229*x428 - 0.832050294337844*x473 - 0.554700196225229*x474 =L= 3.60555127546399; e1055.. 0.948683298050514*x429 + 0.316227766016838*x430 - 0.948683298050514*x473 - 0.316227766016838*x474 =L= 3.16227766016838; e1056.. 0.948683298050514*x433 - 0.316227766016838*x434 - 0.948683298050514*x473 + 0.316227766016838*x474 =L= 3.16227766016838; e1057.. 0.832050294337844*x435 - 0.554700196225229*x436 - 0.832050294337844*x473 + 0.554700196225229*x474 =L= 3.60555127546399; e1058.. 0.554700196225229*x439 + 0.832050294337844*x440 - 0.554700196225229*x473 - 0.832050294337844*x474 =L= 3.60555127546399; e1059.. 0.894427190999916*x443 + 0.447213595499958*x444 - 0.894427190999916*x473 - 0.447213595499958*x474 =L= 2.23606797749979; e1060.. 0.894427190999916*x447 - 0.447213595499958*x448 - 0.894427190999916*x473 + 0.447213595499958*x474 =L= 2.23606797749979; e1061.. 0.316227766016838*x453 + 0.948683298050514*x454 - 0.316227766016838*x473 - 0.948683298050514*x474 =L= 3.16227766016838; e1062.. 0.447213595499958*x455 + 0.894427190999916*x456 - 0.447213595499958*x473 - 0.894427190999916*x474 =L= 2.23606797749979; e1063.. 0.707106781186547*x457 + 0.707106781186547*x458 - 0.707106781186547*x473 - 0.707106781186547*x474 =L= 1.4142135623731; e1064.. x459 - x473 =L= 1; e1065.. 0.707106781186547*x461 - 0.707106781186547*x462 - 0.707106781186547*x473 + 0.707106781186547*x474 =L= 1.4142135623731; e1066.. 0.447213595499958*x463 - 0.894427190999916*x464 - 0.447213595499958*x473 + 0.894427190999916*x474 =L= 2.23606797749979; e1067.. x466 - x474 =L= 4; e1068.. x468 - x474 =L= 3; e1069.. x470 - x474 =L= 2; e1070.. x472 - x474 =L= 1; e1071.. 0.832050294337844*x429 + 0.554700196225229*x430 - 0.832050294337844*x475 - 0.554700196225229*x476 =L= 3.60555127546399; e1072.. 0.948683298050514*x431 + 0.316227766016838*x432 - 0.948683298050514*x475 - 0.316227766016838*x476 =L= 3.16227766016838; e1073.. 0.948683298050514*x435 - 0.316227766016838*x436 - 0.948683298050514*x475 + 0.316227766016838*x476 =L= 3.16227766016838; e1074.. 0.554700196225229*x441 + 0.832050294337844*x442 - 0.554700196225229*x475 - 0.832050294337844*x476 =L= 3.60555127546399; e1075.. 0.894427190999916*x445 + 0.447213595499958*x446 - 0.894427190999916*x475 - 0.447213595499958*x476 =L= 2.23606797749979; e1076.. 0.894427190999916*x449 - 0.447213595499958*x450 - 0.894427190999916*x475 + 0.447213595499958*x476 =L= 2.23606797749979; e1077.. 0.316227766016838*x455 + 0.948683298050514*x456 - 0.316227766016838*x475 - 0.948683298050514*x476 =L= 3.16227766016838; e1078.. 0.447213595499958*x457 + 0.894427190999916*x458 - 0.447213595499958*x475 - 0.894427190999916*x476 =L= 2.23606797749979; e1079.. 0.707106781186547*x459 + 0.707106781186547*x460 - 0.707106781186547*x475 - 0.707106781186547*x476 =L= 1.4142135623731; e1080.. x461 - x475 =L= 1; e1081.. 0.707106781186547*x463 - 0.707106781186547*x464 - 0.707106781186547*x475 + 0.707106781186547*x476 =L= 1.4142135623731; e1082.. x466 - x476 =L= 5; e1083.. x468 - x476 =L= 4; e1084.. x470 - x476 =L= 3; e1085.. x472 - x476 =L= 2; e1086.. x474 - x476 =L= 1; e1087.. 0.832050294337844*x431 + 0.554700196225229*x432 - 0.832050294337844*x477 - 0.554700196225229*x478 =L= 3.60555127546399; e1088.. 0.948683298050514*x433 + 0.316227766016838*x434 - 0.948683298050514*x477 - 0.316227766016838*x478 =L= 3.16227766016838; e1089.. 0.554700196225229*x443 + 0.832050294337844*x444 - 0.554700196225229*x477 - 0.832050294337844*x478 =L= 3.60555127546399; e1090.. 0.894427190999916*x447 + 0.447213595499958*x448 - 0.894427190999916*x477 - 0.447213595499958*x478 =L= 2.23606797749979; e1091.. 0.316227766016838*x457 + 0.948683298050514*x458 - 0.316227766016838*x477 - 0.948683298050514*x478 =L= 3.16227766016838; e1092.. 0.447213595499958*x459 + 0.894427190999916*x460 - 0.447213595499958*x477 - 0.894427190999916*x478 =L= 2.23606797749979; e1093.. 0.707106781186547*x461 + 0.707106781186547*x462 - 0.707106781186547*x477 - 0.707106781186547*x478 =L= 1.4142135623731; e1094.. x463 - x477 =L= 1; e1095.. x466 - x478 =L= 6; e1096.. x468 - x478 =L= 5; e1097.. x470 - x478 =L= 4; e1098.. x472 - x478 =L= 3; e1099.. x474 - x478 =L= 2; e1100.. x476 - x478 =L= 1; e1101.. 0.948683298050514*x439 - 0.316227766016838*x440 - 0.948683298050514*x479 + 0.316227766016838*x480 =L= 3.16227766016838; e1102.. 0.832050294337844*x441 - 0.554700196225229*x442 - 0.832050294337844*x479 + 0.554700196225229*x480 =L= 3.60555127546399; e1103.. 0.894427190999916*x453 - 0.447213595499958*x454 - 0.894427190999916*x479 + 0.447213595499958*x480 =L= 2.23606797749979; e1104.. 0.554700196225229*x457 - 0.832050294337844*x458 - 0.554700196225229*x479 + 0.832050294337844*x480 =L= 3.60555127546399; e1105.. x465 - x479 =L= 1; e1106.. 0.707106781186547*x467 - 0.707106781186547*x468 - 0.707106781186547*x479 + 0.707106781186547*x480 =L= 1.4142135623731; e1107.. 0.447213595499958*x469 - 0.894427190999916*x470 - 0.447213595499958*x479 + 0.894427190999916*x480 =L= 2.23606797749979; e1108.. 0.316227766016838*x471 - 0.948683298050514*x472 - 0.316227766016838*x479 + 0.948683298050514*x480 =L= 3.16227766016838; e1109.. 0.948683298050514*x437 + 0.316227766016838*x438 - 0.948683298050514*x481 - 0.316227766016838*x482 =L= 3.16227766016838; e1110.. 0.948683298050514*x441 - 0.316227766016838*x442 - 0.948683298050514*x481 + 0.316227766016838*x482 =L= 3.16227766016838; e1111.. 0.832050294337844*x443 - 0.554700196225229*x444 - 0.832050294337844*x481 + 0.554700196225229*x482 =L= 3.60555127546399; e1112.. 0.894427190999916*x451 + 0.447213595499958*x452 - 0.894427190999916*x481 - 0.447213595499958*x482 =L= 2.23606797749979; e1113.. 0.894427190999916*x455 - 0.447213595499958*x456 - 0.894427190999916*x481 + 0.447213595499958*x482 =L= 2.23606797749979; e1114.. 0.554700196225229*x459 - 0.832050294337844*x460 - 0.554700196225229*x481 + 0.832050294337844*x482 =L= 3.60555127546399; e1115.. 0.707106781186547*x465 + 0.707106781186547*x466 - 0.707106781186547*x481 - 0.707106781186547*x482 =L= 1.4142135623731; e1116.. x467 - x481 =L= 1; e1117.. 0.707106781186547*x469 - 0.707106781186547*x470 - 0.707106781186547*x481 + 0.707106781186547*x482 =L= 1.4142135623731; e1118.. 0.447213595499958*x471 - 0.894427190999916*x472 - 0.447213595499958*x481 + 0.894427190999916*x482 =L= 2.23606797749979; e1119.. 0.316227766016838*x473 - 0.948683298050514*x474 - 0.316227766016838*x481 + 0.948683298050514*x482 =L= 3.16227766016838; e1120.. x480 - x482 =L= 1; e1121.. 0.832050294337844*x437 + 0.554700196225229*x438 - 0.832050294337844*x483 - 0.554700196225229*x484 =L= 3.60555127546399; e1122.. 0.948683298050514*x439 + 0.316227766016838*x440 - 0.948683298050514*x483 - 0.316227766016838*x484 =L= 3.16227766016838; e1123.. 0.948683298050514*x443 - 0.316227766016838*x444 - 0.948683298050514*x483 + 0.316227766016838*x484 =L= 3.16227766016838; e1124.. 0.832050294337844*x445 - 0.554700196225229*x446 - 0.832050294337844*x483 + 0.554700196225229*x484 =L= 3.60555127546399; e1125.. 0.894427190999916*x453 + 0.447213595499958*x454 - 0.894427190999916*x483 - 0.447213595499958*x484 =L= 2.23606797749979; e1126.. 0.894427190999916*x457 - 0.447213595499958*x458 - 0.894427190999916*x483 + 0.447213595499958*x484 =L= 2.23606797749979; e1127.. 0.554700196225229*x461 - 0.832050294337844*x462 - 0.554700196225229*x483 + 0.832050294337844*x484 =L= 3.60555127546399; e1128.. 0.447213595499958*x465 + 0.894427190999916*x466 - 0.447213595499958*x483 - 0.894427190999916*x484 =L= 2.23606797749979; e1129.. 0.707106781186547*x467 + 0.707106781186547*x468 - 0.707106781186547*x483 - 0.707106781186547*x484 =L= 1.4142135623731; e1130.. x469 - x483 =L= 1; e1131.. 0.707106781186547*x471 - 0.707106781186547*x472 - 0.707106781186547*x483 + 0.707106781186547*x484 =L= 1.4142135623731; e1132.. 0.447213595499958*x473 - 0.894427190999916*x474 - 0.447213595499958*x483 + 0.894427190999916*x484 =L= 2.23606797749979; e1133.. 0.316227766016838*x475 - 0.948683298050514*x476 - 0.316227766016838*x483 + 0.948683298050514*x484 =L= 3.16227766016838; e1134.. x480 - x484 =L= 2; e1135.. x482 - x484 =L= 1; e1136.. 0.832050294337844*x439 + 0.554700196225229*x440 - 0.832050294337844*x485 - 0.554700196225229*x486 =L= 3.60555127546399; e1137.. 0.948683298050514*x441 + 0.316227766016838*x442 - 0.948683298050514*x485 - 0.316227766016838*x486 =L= 3.16227766016838; e1138.. 0.948683298050514*x445 - 0.316227766016838*x446 - 0.948683298050514*x485 + 0.316227766016838*x486 =L= 3.16227766016838; e1139.. 0.832050294337844*x447 - 0.554700196225229*x448 - 0.832050294337844*x485 + 0.554700196225229*x486 =L= 3.60555127546399; e1140.. 0.554700196225229*x451 + 0.832050294337844*x452 - 0.554700196225229*x485 - 0.832050294337844*x486 =L= 3.60555127546399; e1141.. 0.894427190999916*x455 + 0.447213595499958*x456 - 0.894427190999916*x485 - 0.447213595499958*x486 =L= 2.23606797749979; e1142.. 0.894427190999916*x459 - 0.447213595499958*x460 - 0.894427190999916*x485 + 0.447213595499958*x486 =L= 2.23606797749979; e1143.. 0.554700196225229*x463 - 0.832050294337844*x464 - 0.554700196225229*x485 + 0.832050294337844*x486 =L= 3.60555127546399; e1144.. 0.316227766016838*x465 + 0.948683298050514*x466 - 0.316227766016838*x485 - 0.948683298050514*x486 =L= 3.16227766016838; e1145.. 0.447213595499958*x467 + 0.894427190999916*x468 - 0.447213595499958*x485 - 0.894427190999916*x486 =L= 2.23606797749979; e1146.. 0.707106781186547*x469 + 0.707106781186547*x470 - 0.707106781186547*x485 - 0.707106781186547*x486 =L= 1.4142135623731; e1147.. x471 - x485 =L= 1; e1148.. 0.707106781186547*x473 - 0.707106781186547*x474 - 0.707106781186547*x485 + 0.707106781186547*x486 =L= 1.4142135623731; e1149.. 0.447213595499958*x475 - 0.894427190999916*x476 - 0.447213595499958*x485 + 0.894427190999916*x486 =L= 2.23606797749979; e1150.. 0.316227766016838*x477 - 0.948683298050514*x478 - 0.316227766016838*x485 + 0.948683298050514*x486 =L= 3.16227766016838; e1151.. x480 - x486 =L= 3; e1152.. x482 - x486 =L= 2; e1153.. x484 - x486 =L= 1; e1154.. 0.832050294337844*x441 + 0.554700196225229*x442 - 0.832050294337844*x487 - 0.554700196225229*x488 =L= 3.60555127546399; e1155.. 0.948683298050514*x443 + 0.316227766016838*x444 - 0.948683298050514*x487 - 0.316227766016838*x488 =L= 3.16227766016838; e1156.. 0.948683298050514*x447 - 0.316227766016838*x448 - 0.948683298050514*x487 + 0.316227766016838*x488 =L= 3.16227766016838; e1157.. 0.832050294337844*x449 - 0.554700196225229*x450 - 0.832050294337844*x487 + 0.554700196225229*x488 =L= 3.60555127546399; e1158.. 0.554700196225229*x453 + 0.832050294337844*x454 - 0.554700196225229*x487 - 0.832050294337844*x488 =L= 3.60555127546399; e1159.. 0.894427190999916*x457 + 0.447213595499958*x458 - 0.894427190999916*x487 - 0.447213595499958*x488 =L= 2.23606797749979; e1160.. 0.894427190999916*x461 - 0.447213595499958*x462 - 0.894427190999916*x487 + 0.447213595499958*x488 =L= 2.23606797749979; e1161.. 0.316227766016838*x467 + 0.948683298050514*x468 - 0.316227766016838*x487 - 0.948683298050514*x488 =L= 3.16227766016838; e1162.. 0.447213595499958*x469 + 0.894427190999916*x470 - 0.447213595499958*x487 - 0.894427190999916*x488 =L= 2.23606797749979; e1163.. 0.707106781186547*x471 + 0.707106781186547*x472 - 0.707106781186547*x487 - 0.707106781186547*x488 =L= 1.4142135623731; e1164.. x473 - x487 =L= 1; e1165.. 0.707106781186547*x475 - 0.707106781186547*x476 - 0.707106781186547*x487 + 0.707106781186547*x488 =L= 1.4142135623731; e1166.. 0.447213595499958*x477 - 0.894427190999916*x478 - 0.447213595499958*x487 + 0.894427190999916*x488 =L= 2.23606797749979; e1167.. x480 - x488 =L= 4; e1168.. x482 - x488 =L= 3; e1169.. x484 - x488 =L= 2; e1170.. x486 - x488 =L= 1; e1171.. 0.832050294337844*x443 + 0.554700196225229*x444 - 0.832050294337844*x489 - 0.554700196225229*x490 =L= 3.60555127546399; e1172.. 0.948683298050514*x445 + 0.316227766016838*x446 - 0.948683298050514*x489 - 0.316227766016838*x490 =L= 3.16227766016838; e1173.. 0.948683298050514*x449 - 0.316227766016838*x450 - 0.948683298050514*x489 + 0.316227766016838*x490 =L= 3.16227766016838; e1174.. 0.554700196225229*x455 + 0.832050294337844*x456 - 0.554700196225229*x489 - 0.832050294337844*x490 =L= 3.60555127546399; e1175.. 0.894427190999916*x459 + 0.447213595499958*x460 - 0.894427190999916*x489 - 0.447213595499958*x490 =L= 2.23606797749979; e1176.. 0.894427190999916*x463 - 0.447213595499958*x464 - 0.894427190999916*x489 + 0.447213595499958*x490 =L= 2.23606797749979; e1177.. 0.316227766016838*x469 + 0.948683298050514*x470 - 0.316227766016838*x489 - 0.948683298050514*x490 =L= 3.16227766016838; e1178.. 0.447213595499958*x471 + 0.894427190999916*x472 - 0.447213595499958*x489 - 0.894427190999916*x490 =L= 2.23606797749979; e1179.. 0.707106781186547*x473 + 0.707106781186547*x474 - 0.707106781186547*x489 - 0.707106781186547*x490 =L= 1.4142135623731; e1180.. x475 - x489 =L= 1; e1181.. 0.707106781186547*x477 - 0.707106781186547*x478 - 0.707106781186547*x489 + 0.707106781186547*x490 =L= 1.4142135623731; e1182.. x480 - x490 =L= 5; e1183.. x482 - x490 =L= 4; e1184.. x484 - x490 =L= 3; e1185.. x486 - x490 =L= 2; e1186.. x488 - x490 =L= 1; e1187.. 0.832050294337844*x445 + 0.554700196225229*x446 - 0.832050294337844*x491 - 0.554700196225229*x492 =L= 3.60555127546399; e1188.. 0.948683298050514*x447 + 0.316227766016838*x448 - 0.948683298050514*x491 - 0.316227766016838*x492 =L= 3.16227766016838; e1189.. 0.554700196225229*x457 + 0.832050294337844*x458 - 0.554700196225229*x491 - 0.832050294337844*x492 =L= 3.60555127546399; e1190.. 0.894427190999916*x461 + 0.447213595499958*x462 - 0.894427190999916*x491 - 0.447213595499958*x492 =L= 2.23606797749979; e1191.. 0.316227766016838*x471 + 0.948683298050514*x472 - 0.316227766016838*x491 - 0.948683298050514*x492 =L= 3.16227766016838; e1192.. 0.447213595499958*x473 + 0.894427190999916*x474 - 0.447213595499958*x491 - 0.894427190999916*x492 =L= 2.23606797749979; e1193.. 0.707106781186547*x475 + 0.707106781186547*x476 - 0.707106781186547*x491 - 0.707106781186547*x492 =L= 1.4142135623731; e1194.. x477 - x491 =L= 1; e1195.. x480 - x492 =L= 6; e1196.. x482 - x492 =L= 5; e1197.. x484 - x492 =L= 4; e1198.. x486 - x492 =L= 3; e1199.. x488 - x492 =L= 2; e1200.. x490 - x492 =L= 1; e1201.. 0.948683298050514*x453 - 0.316227766016838*x454 - 0.948683298050514*x493 + 0.316227766016838*x494 =L= 3.16227766016838; e1202.. 0.832050294337844*x455 - 0.554700196225229*x456 - 0.832050294337844*x493 + 0.554700196225229*x494 =L= 3.60555127546399; e1203.. 0.894427190999916*x467 - 0.447213595499958*x468 - 0.894427190999916*x493 + 0.447213595499958*x494 =L= 2.23606797749979; e1204.. 0.554700196225229*x471 - 0.832050294337844*x472 - 0.554700196225229*x493 + 0.832050294337844*x494 =L= 3.60555127546399; e1205.. x479 - x493 =L= 1; e1206.. 0.707106781186547*x481 - 0.707106781186547*x482 - 0.707106781186547*x493 + 0.707106781186547*x494 =L= 1.4142135623731; e1207.. 0.447213595499958*x483 - 0.894427190999916*x484 - 0.447213595499958*x493 + 0.894427190999916*x494 =L= 2.23606797749979; e1208.. 0.316227766016838*x485 - 0.948683298050514*x486 - 0.316227766016838*x493 + 0.948683298050514*x494 =L= 3.16227766016838; e1209.. 0.948683298050514*x451 + 0.316227766016838*x452 - 0.948683298050514*x495 - 0.316227766016838*x496 =L= 3.16227766016838; e1210.. 0.948683298050514*x455 - 0.316227766016838*x456 - 0.948683298050514*x495 + 0.316227766016838*x496 =L= 3.16227766016838; e1211.. 0.832050294337844*x457 - 0.554700196225229*x458 - 0.832050294337844*x495 + 0.554700196225229*x496 =L= 3.60555127546399; e1212.. 0.894427190999916*x465 + 0.447213595499958*x466 - 0.894427190999916*x495 - 0.447213595499958*x496 =L= 2.23606797749979; e1213.. 0.894427190999916*x469 - 0.447213595499958*x470 - 0.894427190999916*x495 + 0.447213595499958*x496 =L= 2.23606797749979; e1214.. 0.554700196225229*x473 - 0.832050294337844*x474 - 0.554700196225229*x495 + 0.832050294337844*x496 =L= 3.60555127546399; e1215.. 0.707106781186547*x479 + 0.707106781186547*x480 - 0.707106781186547*x495 - 0.707106781186547*x496 =L= 1.4142135623731; e1216.. x481 - x495 =L= 1; e1217.. 0.707106781186547*x483 - 0.707106781186547*x484 - 0.707106781186547*x495 + 0.707106781186547*x496 =L= 1.4142135623731; e1218.. 0.447213595499958*x485 - 0.894427190999916*x486 - 0.447213595499958*x495 + 0.894427190999916*x496 =L= 2.23606797749979; e1219.. 0.316227766016838*x487 - 0.948683298050514*x488 - 0.316227766016838*x495 + 0.948683298050514*x496 =L= 3.16227766016838; e1220.. x494 - x496 =L= 1; e1221.. 0.832050294337844*x451 + 0.554700196225229*x452 - 0.832050294337844*x497 - 0.554700196225229*x498 =L= 3.60555127546399; e1222.. 0.948683298050514*x453 + 0.316227766016838*x454 - 0.948683298050514*x497 - 0.316227766016838*x498 =L= 3.16227766016838; e1223.. 0.948683298050514*x457 - 0.316227766016838*x458 - 0.948683298050514*x497 + 0.316227766016838*x498 =L= 3.16227766016838; e1224.. 0.832050294337844*x459 - 0.554700196225229*x460 - 0.832050294337844*x497 + 0.554700196225229*x498 =L= 3.60555127546399; e1225.. 0.894427190999916*x467 + 0.447213595499958*x468 - 0.894427190999916*x497 - 0.447213595499958*x498 =L= 2.23606797749979; e1226.. 0.894427190999916*x471 - 0.447213595499958*x472 - 0.894427190999916*x497 + 0.447213595499958*x498 =L= 2.23606797749979; e1227.. 0.554700196225229*x475 - 0.832050294337844*x476 - 0.554700196225229*x497 + 0.832050294337844*x498 =L= 3.60555127546399; e1228.. 0.447213595499958*x479 + 0.894427190999916*x480 - 0.447213595499958*x497 - 0.894427190999916*x498 =L= 2.23606797749979; e1229.. 0.707106781186547*x481 + 0.707106781186547*x482 - 0.707106781186547*x497 - 0.707106781186547*x498 =L= 1.4142135623731; e1230.. x483 - x497 =L= 1; e1231.. 0.707106781186547*x485 - 0.707106781186547*x486 - 0.707106781186547*x497 + 0.707106781186547*x498 =L= 1.4142135623731; e1232.. 0.447213595499958*x487 - 0.894427190999916*x488 - 0.447213595499958*x497 + 0.894427190999916*x498 =L= 2.23606797749979; e1233.. 0.316227766016838*x489 - 0.948683298050514*x490 - 0.316227766016838*x497 + 0.948683298050514*x498 =L= 3.16227766016838; e1234.. x494 - x498 =L= 2; e1235.. x496 - x498 =L= 1; e1236.. 0.832050294337844*x453 + 0.554700196225229*x454 - 0.832050294337844*x499 - 0.554700196225229*x500 =L= 3.60555127546399; e1237.. 0.948683298050514*x455 + 0.316227766016838*x456 - 0.948683298050514*x499 - 0.316227766016838*x500 =L= 3.16227766016838; e1238.. 0.948683298050514*x459 - 0.316227766016838*x460 - 0.948683298050514*x499 + 0.316227766016838*x500 =L= 3.16227766016838; e1239.. 0.832050294337844*x461 - 0.554700196225229*x462 - 0.832050294337844*x499 + 0.554700196225229*x500 =L= 3.60555127546399; e1240.. 0.554700196225229*x465 + 0.832050294337844*x466 - 0.554700196225229*x499 - 0.832050294337844*x500 =L= 3.60555127546399; e1241.. 0.894427190999916*x469 + 0.447213595499958*x470 - 0.894427190999916*x499 - 0.447213595499958*x500 =L= 2.23606797749979; e1242.. 0.894427190999916*x473 - 0.447213595499958*x474 - 0.894427190999916*x499 + 0.447213595499958*x500 =L= 2.23606797749979; e1243.. 0.554700196225229*x477 - 0.832050294337844*x478 - 0.554700196225229*x499 + 0.832050294337844*x500 =L= 3.60555127546399; e1244.. 0.316227766016838*x479 + 0.948683298050514*x480 - 0.316227766016838*x499 - 0.948683298050514*x500 =L= 3.16227766016838; e1245.. 0.447213595499958*x481 + 0.894427190999916*x482 - 0.447213595499958*x499 - 0.894427190999916*x500 =L= 2.23606797749979; e1246.. 0.707106781186547*x483 + 0.707106781186547*x484 - 0.707106781186547*x499 - 0.707106781186547*x500 =L= 1.4142135623731; e1247.. x485 - x499 =L= 1; e1248.. 0.707106781186547*x487 - 0.707106781186547*x488 - 0.707106781186547*x499 + 0.707106781186547*x500 =L= 1.4142135623731; e1249.. 0.447213595499958*x489 - 0.894427190999916*x490 - 0.447213595499958*x499 + 0.894427190999916*x500 =L= 2.23606797749979; e1250.. 0.316227766016838*x491 - 0.948683298050514*x492 - 0.316227766016838*x499 + 0.948683298050514*x500 =L= 3.16227766016838; e1251.. x494 - x500 =L= 3; e1252.. x496 - x500 =L= 2; e1253.. x498 - x500 =L= 1; e1254.. 0.832050294337844*x455 + 0.554700196225229*x456 - 0.832050294337844*x501 - 0.554700196225229*x502 =L= 3.60555127546399; e1255.. 0.948683298050514*x457 + 0.316227766016838*x458 - 0.948683298050514*x501 - 0.316227766016838*x502 =L= 3.16227766016838; e1256.. 0.948683298050514*x461 - 0.316227766016838*x462 - 0.948683298050514*x501 + 0.316227766016838*x502 =L= 3.16227766016838; e1257.. 0.832050294337844*x463 - 0.554700196225229*x464 - 0.832050294337844*x501 + 0.554700196225229*x502 =L= 3.60555127546399; e1258.. 0.554700196225229*x467 + 0.832050294337844*x468 - 0.554700196225229*x501 - 0.832050294337844*x502 =L= 3.60555127546399; e1259.. 0.894427190999916*x471 + 0.447213595499958*x472 - 0.894427190999916*x501 - 0.447213595499958*x502 =L= 2.23606797749979; e1260.. 0.894427190999916*x475 - 0.447213595499958*x476 - 0.894427190999916*x501 + 0.447213595499958*x502 =L= 2.23606797749979; e1261.. 0.316227766016838*x481 + 0.948683298050514*x482 - 0.316227766016838*x501 - 0.948683298050514*x502 =L= 3.16227766016838; e1262.. 0.447213595499958*x483 + 0.894427190999916*x484 - 0.447213595499958*x501 - 0.894427190999916*x502 =L= 2.23606797749979; e1263.. 0.707106781186547*x485 + 0.707106781186547*x486 - 0.707106781186547*x501 - 0.707106781186547*x502 =L= 1.4142135623731; e1264.. x487 - x501 =L= 1; e1265.. 0.707106781186547*x489 - 0.707106781186547*x490 - 0.707106781186547