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

structure3.gms

* NLP written by GAMS Convert at 08/01/06 13:50:39 * * Equation counts * Total E G L N X C * 1507 350 0 1157 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 * 4607 693 3914 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; 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.. sqr(x354 - x356) =L= 1; e345.. sqr(x354 - x358) =L= 4; e346.. sqr(x356 - x358) =L= 1; e347.. sqr(x354 - x360) =L= 9; e348.. sqr(x356 - x360) =L= 4; e349.. sqr(x358 - x360) =L= 1; e350.. sqr(x354 - x362) =L= 16; e351.. sqr(x356 - x362) =L= 9; e352.. sqr(x358 - x362) =L= 4; e353.. sqr(x360 - x362) =L= 1; e354.. sqr(x354 - x364) =L= 25; e355.. sqr(x356 - x364) =L= 16; e356.. sqr(x358 - x364) =L= 9; e357.. sqr(x360 - x364) =L= 4; e358.. sqr(x362 - x364) =L= 1; e359.. sqr(x354 - x366) =L= 36; e360.. sqr(x356 - x366) =L= 25; e361.. sqr(x358 - x366) =L= 16; e362.. sqr(x360 - x366) =L= 9; e363.. sqr(x362 - x366) =L= 4; e364.. sqr(x364 - x366) =L= 1; e365.. sqr(x353 - x367) =L= 1; e366.. sqr(0.707106781186547*x355 - 0.707106781186547*x356 - 0.707106781186547* x367 + 0.707106781186547*x368) =L= 2; e367.. sqr(0.447213595499958*x357 - 0.894427190999916*x358 - 0.447213595499958* x367 + 0.894427190999916*x368) =L= 5; e368.. sqr(0.316227766016838*x359 - 0.948683298050514*x360 - 0.316227766016838* x367 + 0.948683298050514*x368) =L= 10; e369.. sqr(0.707106781186547*x353 + 0.707106781186547*x354 - 0.707106781186547* x369 - 0.707106781186547*x370) =L= 2; e370.. sqr(x355 - x369) =L= 1; e371.. sqr(0.707106781186547*x357 - 0.707106781186547*x358 - 0.707106781186547* x369 + 0.707106781186547*x370) =L= 2; e372.. sqr(0.447213595499958*x359 - 0.894427190999916*x360 - 0.447213595499958* x369 + 0.894427190999916*x370) =L= 5; e373.. sqr(0.316227766016838*x361 - 0.948683298050514*x362 - 0.316227766016838* x369 + 0.948683298050514*x370) =L= 10; e374.. sqr(x368 - x370) =L= 1; e375.. sqr(0.447213595499958*x353 + 0.894427190999916*x354 - 0.447213595499958* x371 - 0.894427190999916*x372) =L= 5; e376.. sqr(0.707106781186547*x355 + 0.707106781186547*x356 - 0.707106781186547* x371 - 0.707106781186547*x372) =L= 2; e377.. sqr(x357 - x371) =L= 1; e378.. sqr(0.707106781186547*x359 - 0.707106781186547*x360 - 0.707106781186547* x371 + 0.707106781186547*x372) =L= 2; e379.. sqr(0.447213595499958*x361 - 0.894427190999916*x362 - 0.447213595499958* x371 + 0.894427190999916*x372) =L= 5; e380.. sqr(0.316227766016838*x363 - 0.948683298050514*x364 - 0.316227766016838* x371 + 0.948683298050514*x372) =L= 10; e381.. sqr(x368 - x372) =L= 4; e382.. sqr(x370 - x372) =L= 1; e383.. sqr(0.316227766016838*x353 + 0.948683298050514*x354 - 0.316227766016838* x373 - 0.948683298050514*x374) =L= 10; e384.. sqr(0.447213595499958*x355 + 0.894427190999916*x356 - 0.447213595499958* x373 - 0.894427190999916*x374) =L= 5; e385.. sqr(0.707106781186547*x357 + 0.707106781186547*x358 - 0.707106781186547* x373 - 0.707106781186547*x374) =L= 2; e386.. sqr(x359 - x373) =L= 1; e387.. sqr(0.707106781186547*x361 - 0.707106781186547*x362 - 0.707106781186547* x373 + 0.707106781186547*x374) =L= 2; e388.. sqr(0.447213595499958*x363 - 0.894427190999916*x364 - 0.447213595499958* x373 + 0.894427190999916*x374) =L= 5; e389.. sqr(0.316227766016838*x365 - 0.948683298050514*x366 - 0.316227766016838* x373 + 0.948683298050514*x374) =L= 10; e390.. sqr(x368 - x374) =L= 9; e391.. sqr(x370 - x374) =L= 4; e392.. sqr(x372 - x374) =L= 1; e393.. sqr(0.316227766016838*x355 + 0.948683298050514*x356 - 0.316227766016838* x375 - 0.948683298050514*x376) =L= 10; e394.. sqr(0.447213595499958*x357 + 0.894427190999916*x358 - 0.447213595499958* x375 - 0.894427190999916*x376) =L= 5; e395.. sqr(0.707106781186547*x359 + 0.707106781186547*x360 - 0.707106781186547* x375 - 0.707106781186547*x376) =L= 2; e396.. sqr(x361 - x375) =L= 1; e397.. sqr(0.707106781186547*x363 - 0.707106781186547*x364 - 0.707106781186547* x375 + 0.707106781186547*x376) =L= 2; e398.. sqr(0.447213595499958*x365 - 0.894427190999916*x366 - 0.447213595499958* x375 + 0.894427190999916*x376) =L= 5; e399.. sqr(x368 - x376) =L= 16; e400.. sqr(x370 - x376) =L= 9; e401.. sqr(x372 - x376) =L= 4; e402.. sqr(x374 - x376) =L= 1; e403.. sqr(0.316227766016838*x357 + 0.948683298050514*x358 - 0.316227766016838* x377 - 0.948683298050514*x378) =L= 10; e404.. sqr(0.447213595499958*x359 + 0.894427190999916*x360 - 0.447213595499958* x377 - 0.894427190999916*x378) =L= 5; e405.. sqr(0.707106781186547*x361 + 0.707106781186547*x362 - 0.707106781186547* x377 - 0.707106781186547*x378) =L= 2; e406.. sqr(x363 - x377) =L= 1; e407.. sqr(0.707106781186547*x365 - 0.707106781186547*x366 - 0.707106781186547* x377 + 0.707106781186547*x378) =L= 2; e408.. sqr(x368 - x378) =L= 25; e409.. sqr(x370 - x378) =L= 16; e410.. sqr(x372 - x378) =L= 9; e411.. sqr(x374 - x378) =L= 4; e412.. sqr(x376 - x378) =L= 1; e413.. sqr(0.316227766016838*x359 + 0.948683298050514*x360 - 0.316227766016838* x379 - 0.948683298050514*x380) =L= 10; e414.. sqr(0.447213595499958*x361 + 0.894427190999916*x362 - 0.447213595499958* x379 - 0.894427190999916*x380) =L= 5; e415.. sqr(0.707106781186547*x363 + 0.707106781186547*x364 - 0.707106781186547* x379 - 0.707106781186547*x380) =L= 2; e416.. sqr(x365 - x379) =L= 1; e417.. sqr(x368 - x380) =L= 36; e418.. sqr(x370 - x380) =L= 25; e419.. sqr(x372 - x380) =L= 16; e420.. sqr(x374 - x380) =L= 9; e421.. sqr(x376 - x380) =L= 4; e422.. sqr(x378 - x380) =L= 1; e423.. sqr(0.894427190999916*x355 - 0.447213595499958*x356 - 0.894427190999916* x381 + 0.447213595499958*x382) =L= 5; e424.. sqr(0.554700196225229*x359 - 0.832050294337844*x360 - 0.554700196225229* x381 + 0.832050294337844*x382) =L= 13; e425.. sqr(x367 - x381) =L= 1; e426.. sqr(0.707106781186547*x369 - 0.707106781186547*x370 - 0.707106781186547* x381 + 0.707106781186547*x382) =L= 2; e427.. sqr(0.447213595499958*x371 - 0.894427190999916*x372 - 0.447213595499958* x381 + 0.894427190999916*x382) =L= 5; e428.. sqr(0.316227766016838*x373 - 0.948683298050514*x374 - 0.316227766016838* x381 + 0.948683298050514*x382) =L= 10; e429.. sqr(0.894427190999916*x353 + 0.447213595499958*x354 - 0.894427190999916* x383 - 0.447213595499958*x384) =L= 5; e430.. sqr(0.894427190999916*x357 - 0.447213595499958*x358 - 0.894427190999916* x383 + 0.447213595499958*x384) =L= 5; e431.. sqr(0.554700196225229*x361 - 0.832050294337844*x362 - 0.554700196225229* x383 + 0.832050294337844*x384) =L= 13; e432.. sqr(0.707106781186547*x367 + 0.707106781186547*x368 - 0.707106781186547* x383 - 0.707106781186547*x384) =L= 2; e433.. sqr(x369 - x383) =L= 1; e434.. sqr(0.707106781186547*x371 - 0.707106781186547*x372 - 0.707106781186547* x383 + 0.707106781186547*x384) =L= 2; e435.. sqr(0.447213595499958*x373 - 0.894427190999916*x374 - 0.447213595499958* x383 + 0.894427190999916*x384) =L= 5; e436.. sqr(0.316227766016838*x375 - 0.948683298050514*x376 - 0.316227766016838* x383 + 0.948683298050514*x384) =L= 10; e437.. sqr(x382 - x384) =L= 1; e438.. sqr(0.894427190999916*x355 + 0.447213595499958*x356 - 0.894427190999916* x385 - 0.447213595499958*x386) =L= 5; e439.. sqr(0.894427190999916*x359 - 0.447213595499958*x360 - 0.894427190999916* x385 + 0.447213595499958*x386) =L= 5; e440.. sqr(0.554700196225229*x363 - 0.832050294337844*x364 - 0.554700196225229* x385 + 0.832050294337844*x386) =L= 13; e441.. sqr(0.447213595499958*x367 + 0.894427190999916*x368 - 0.447213595499958* x385 - 0.894427190999916*x386) =L= 5; e442.. sqr(0.707106781186547*x369 + 0.707106781186547*x370 - 0.707106781186547* x385 - 0.707106781186547*x386) =L= 2; e443.. sqr(x371 - x385) =L= 1; e444.. sqr(0.707106781186547*x373 - 0.707106781186547*x374 - 0.707106781186547* x385 + 0.707106781186547*x386) =L= 2; e445.. sqr(0.447213595499958*x375 - 0.894427190999916*x376 - 0.447213595499958* x385 + 0.894427190999916*x386) =L= 5; e446.. sqr(0.316227766016838*x377 - 0.948683298050514*x378 - 0.316227766016838* x385 + 0.948683298050514*x386) =L= 10; e447.. sqr(x382 - x386) =L= 4; e448.. sqr(x384 - x386) =L= 1; e449.. sqr(0.554700196225229*x353 + 0.832050294337844*x354 - 0.554700196225229* x387 - 0.832050294337844*x388) =L= 13; e450.. sqr(0.894427190999916*x357 + 0.447213595499958*x358 - 0.894427190999916* x387 - 0.447213595499958*x388) =L= 5; e451.. sqr(0.894427190999916*x361 - 0.447213595499958*x362 - 0.894427190999916* x387 + 0.447213595499958*x388) =L= 5; e452.. sqr(0.554700196225229*x365 - 0.832050294337844*x366 - 0.554700196225229* x387 + 0.832050294337844*x388) =L= 13; e453.. sqr(0.316227766016838*x367 + 0.948683298050514*x368 - 0.316227766016838* x387 - 0.948683298050514*x388) =L= 10; e454.. sqr(0.447213595499958*x369 + 0.894427190999916*x370 - 0.447213595499958* x387 - 0.894427190999916*x388) =L= 5; e455.. sqr(0.707106781186547*x371 + 0.707106781186547*x372 - 0.707106781186547* x387 - 0.707106781186547*x388) =L= 2; e456.. sqr(x373 - x387) =L= 1; e457.. sqr(0.707106781186547*x375 - 0.707106781186547*x376 - 0.707106781186547* x387 + 0.707106781186547*x388) =L= 2; e458.. sqr(0.447213595499958*x377 - 0.894427190999916*x378 - 0.447213595499958* x387 + 0.894427190999916*x388) =L= 5; e459.. sqr(0.316227766016838*x379 - 0.948683298050514*x380 - 0.316227766016838* x387 + 0.948683298050514*x388) =L= 10; e460.. sqr(x382 - x388) =L= 9; e461.. sqr(x384 - x388) =L= 4; e462.. sqr(x386 - x388) =L= 1; e463.. sqr(0.554700196225229*x355 + 0.832050294337844*x356 - 0.554700196225229* x389 - 0.832050294337844*x390) =L= 13; e464.. sqr(0.894427190999916*x359 + 0.447213595499958*x360 - 0.894427190999916* x389 - 0.447213595499958*x390) =L= 5; e465.. sqr(0.894427190999916*x363 - 0.447213595499958*x364 - 0.894427190999916* x389 + 0.447213595499958*x390) =L= 5; e466.. sqr(0.316227766016838*x369 + 0.948683298050514*x370 - 0.316227766016838* x389 - 0.948683298050514*x390) =L= 10; e467.. sqr(0.447213595499958*x371 + 0.894427190999916*x372 - 0.447213595499958* x389 - 0.894427190999916*x390) =L= 5; e468.. sqr(0.707106781186547*x373 + 0.707106781186547*x374 - 0.707106781186547* x389 - 0.707106781186547*x390) =L= 2; e469.. sqr(x375 - x389) =L= 1; e470.. sqr(0.707106781186547*x377 - 0.707106781186547*x378 - 0.707106781186547* x389 + 0.707106781186547*x390) =L= 2; e471.. sqr(0.447213595499958*x379 - 0.894427190999916*x380 - 0.447213595499958* x389 + 0.894427190999916*x390) =L= 5; e472.. sqr(x382 - x390) =L= 16; e473.. sqr(x384 - x390) =L= 9; e474.. sqr(x386 - x390) =L= 4; e475.. sqr(x388 - x390) =L= 1; e476.. sqr(0.554700196225229*x357 + 0.832050294337844*x358 - 0.554700196225229* x391 - 0.832050294337844*x392) =L= 13; e477.. sqr(0.894427190999916*x361 + 0.447213595499958*x362 - 0.894427190999916* x391 - 0.447213595499958*x392) =L= 5; e478.. sqr(0.894427190999916*x365 - 0.447213595499958*x366 - 0.894427190999916* x391 + 0.447213595499958*x392) =L= 5; e479.. sqr(0.316227766016838*x371 + 0.948683298050514*x372 - 0.316227766016838* x391 - 0.948683298050514*x392) =L= 10; e480.. sqr(0.447213595499958*x373 + 0.894427190999916*x374 - 0.447213595499958* x391 - 0.894427190999916*x392) =L= 5; e481.. sqr(0.707106781186547*x375 + 0.707106781186547*x376 - 0.707106781186547* x391 - 0.707106781186547*x392) =L= 2; e482.. sqr(x377 - x391) =L= 1; e483.. sqr(0.707106781186547*x379 - 0.707106781186547*x380 - 0.707106781186547* x391 + 0.707106781186547*x392) =L= 2; e484.. sqr(x382 - x392) =L= 25; e485.. sqr(x384 - x392) =L= 16; e486.. sqr(x386 - x392) =L= 9; e487.. sqr(x388 - x392) =L= 4; e488.. sqr(x390 - x392) =L= 1; e489.. sqr(0.554700196225229*x359 + 0.832050294337844*x360 - 0.554700196225229* x393 - 0.832050294337844*x394) =L= 13; e490.. sqr(0.894427190999916*x363 + 0.447213595499958*x364 - 0.894427190999916* x393 - 0.447213595499958*x394) =L= 5; e491.. sqr(0.316227766016838*x373 + 0.948683298050514*x374 - 0.316227766016838* x393 - 0.948683298050514*x394) =L= 10; e492.. sqr(0.447213595499958*x375 + 0.894427190999916*x376 - 0.447213595499958* x393 - 0.894427190999916*x394) =L= 5; e493.. sqr(0.707106781186547*x377 + 0.707106781186547*x378 - 0.707106781186547* x393 - 0.707106781186547*x394) =L= 2; e494.. sqr(x379 - x393) =L= 1; e495.. sqr(x382 - x394) =L= 36; e496.. sqr(x384 - x394) =L= 25; e497.. sqr(x386 - x394) =L= 16; e498.. sqr(x388 - x394) =L= 9; e499.. sqr(x390 - x394) =L= 4; e500.. sqr(x392 - x394) =L= 1; e501.. sqr(0.948683298050514*x355 - 0.316227766016838*x356 - 0.948683298050514* x395 + 0.316227766016838*x396) =L= 10; e502.. sqr(0.832050294337844*x357 - 0.554700196225229*x358 - 0.832050294337844* x395 + 0.554700196225229*x396) =L= 13; e503.. sqr(0.894427190999916*x369 - 0.447213595499958*x370 - 0.894427190999916* x395 + 0.447213595499958*x396) =L= 5; e504.. sqr(0.554700196225229*x373 - 0.832050294337844*x374 - 0.554700196225229* x395 + 0.832050294337844*x396) =L= 13; e505.. sqr(x381 - x395) =L= 1; e506.. sqr(0.707106781186547*x383 - 0.707106781186547*x384 - 0.707106781186547* x395 + 0.707106781186547*x396) =L= 2; e507.. sqr(0.447213595499958*x385 - 0.894427190999916*x386 - 0.447213595499958* x395 + 0.894427190999916*x396) =L= 5; e508.. sqr(0.316227766016838*x387 - 0.948683298050514*x388 - 0.316227766016838* x395 + 0.948683298050514*x396) =L= 10; e509.. sqr(0.948683298050514*x353 + 0.316227766016838*x354 - 0.948683298050514* x397 - 0.316227766016838*x398) =L= 10; e510.. sqr(0.948683298050514*x357 - 0.316227766016838*x358 - 0.948683298050514* x397 + 0.316227766016838*x398) =L= 10; e511.. sqr(0.832050294337844*x359 - 0.554700196225229*x360 - 0.832050294337844* x397 + 0.554700196225229*x398) =L= 13; e512.. sqr(0.894427190999916*x367 + 0.447213595499958*x368 - 0.894427190999916* x397 - 0.447213595499958*x398) =L= 5; e513.. sqr(0.894427190999916*x371 - 0.447213595499958*x372 - 0.894427190999916* x397 + 0.447213595499958*x398) =L= 5; e514.. sqr(0.554700196225229*x375 - 0.832050294337844*x376 - 0.554700196225229* x397 + 0.832050294337844*x398) =L= 13; e515.. sqr(0.707106781186547*x381 + 0.707106781186547*x382 - 0.707106781186547* x397 - 0.707106781186547*x398) =L= 2; e516.. sqr(x383 - x397) =L= 1; e517.. sqr(0.707106781186547*x385 - 0.707106781186547*x386 - 0.707106781186547* x397 + 0.707106781186547*x398) =L= 2; e518.. sqr(0.447213595499958*x387 - 0.894427190999916*x388 - 0.447213595499958* x397 + 0.894427190999916*x398) =L= 5; e519.. sqr(0.316227766016838*x389 - 0.948683298050514*x390 - 0.316227766016838* x397 + 0.948683298050514*x398) =L= 10; e520.. sqr(x396 - x398) =L= 1; e521.. sqr(0.832050294337844*x353 + 0.554700196225229*x354 - 0.832050294337844* x399 - 0.554700196225229*x400) =L= 13; e522.. sqr(0.948683298050514*x355 + 0.316227766016838*x356 - 0.948683298050514* x399 - 0.316227766016838*x400) =L= 10; e523.. sqr(0.948683298050514*x359 - 0.316227766016838*x360 - 0.948683298050514* x399 + 0.316227766016838*x400) =L= 10; e524.. sqr(0.832050294337844*x361 - 0.554700196225229*x362 - 0.832050294337844* x399 + 0.554700196225229*x400) =L= 13; e525.. sqr(0.894427190999916*x369 + 0.447213595499958*x370 - 0.894427190999916* x399 - 0.447213595499958*x400) =L= 5; e526.. sqr(0.894427190999916*x373 - 0.447213595499958*x374 - 0.894427190999916* x399 + 0.447213595499958*x400) =L= 5; e527.. sqr(0.554700196225229*x377 - 0.832050294337844*x378 - 0.554700196225229* x399 + 0.832050294337844*x400) =L= 13; e528.. sqr(0.447213595499958*x381 + 0.894427190999916*x382 - 0.447213595499958* x399 - 0.894427190999916*x400) =L= 5; e529.. sqr(0.707106781186547*x383 + 0.707106781186547*x384 - 0.707106781186547* x399 - 0.707106781186547*x400) =L= 2; e530.. sqr(x385 - x399) =L= 1; e531.. sqr(0.707106781186547*x387 - 0.707106781186547*x388 - 0.707106781186547* x399 + 0.707106781186547*x400) =L= 2; e532.. sqr(0.447213595499958*x389 - 0.894427190999916*x390 - 0.447213595499958* x399 + 0.894427190999916*x400) =L= 5; e533.. sqr(0.316227766016838*x391 - 0.948683298050514*x392 - 0.316227766016838* x399 + 0.948683298050514*x400) =L= 10; e534.. sqr(x396 - x400) =L= 4; e535.. sqr(x398 - x400) =L= 1; e536.. sqr(0.832050294337844*x355 + 0.554700196225229*x356 - 0.832050294337844* x401 - 0.554700196225229*x402) =L= 13; e537.. sqr(0.948683298050514*x357 + 0.316227766016838*x358 - 0.948683298050514* x401 - 0.316227766016838*x402) =L= 10; e538.. sqr(0.948683298050514*x361 - 0.316227766016838*x362 - 0.948683298050514* x401 + 0.316227766016838*x402) =L= 10; e539.. sqr(0.832050294337844*x363 - 0.554700196225229*x364 - 0.832050294337844* x401 + 0.554700196225229*x402) =L= 13; e540.. sqr(0.554700196225229*x367 + 0.832050294337844*x368 - 0.554700196225229* x401 - 0.832050294337844*x402) =L= 13; e541.. sqr(0.894427190999916*x371 + 0.447213595499958*x372 - 0.894427190999916* x401 - 0.447213595499958*x402) =L= 5; e542.. sqr(0.894427190999916*x375 - 0.447213595499958*x376 - 0.894427190999916* x401 + 0.447213595499958*x402) =L= 5; e543.. sqr(0.554700196225229*x379 - 0.832050294337844*x380 - 0.554700196225229* x401 + 0.832050294337844*x402) =L= 13; e544.. sqr(0.316227766016838*x381 + 0.948683298050514*x382 - 0.316227766016838* x401 - 0.948683298050514*x402) =L= 10; e545.. sqr(0.447213595499958*x383 + 0.894427190999916*x384 - 0.447213595499958* x401 - 0.894427190999916*x402) =L= 5; e546.. sqr(0.707106781186547*x385 + 0.707106781186547*x386 - 0.707106781186547* x401 - 0.707106781186547*x402) =L= 2; e547.. sqr(x387 - x401) =L= 1; e548.. sqr(0.707106781186547*x389 - 0.707106781186547*x390 - 0.707106781186547* x401 + 0.707106781186547*x402) =L= 2; e549.. sqr(0.447213595499958*x391 - 0.894427190999916*x392 - 0.447213595499958* x401 + 0.894427190999916*x402) =L= 5; e550.. sqr(0.316227766016838*x393 - 0.948683298050514*x394 - 0.316227766016838* x401 + 0.948683298050514*x402) =L= 10; e551.. sqr(x396 - x402) =L= 9; e552.. sqr(x398 - x402) =L= 4; e553.. sqr(x400 - x402) =L= 1; e554.. sqr(0.832050294337844*x357 + 0.554700196225229*x358 - 0.832050294337844* x403 - 0.554700196225229*x404) =L= 13; e555.. sqr(0.948683298050514*x359 + 0.316227766016838*x360 - 0.948683298050514* x403 - 0.316227766016838*x404) =L= 10; e556.. sqr(0.948683298050514*x363 - 0.316227766016838*x364 - 0.948683298050514* x403 + 0.316227766016838*x404) =L= 10; e557.. sqr(0.832050294337844*x365 - 0.554700196225229*x366 - 0.832050294337844* x403 + 0.554700196225229*x404) =L= 13; e558.. sqr(0.554700196225229*x369 + 0.832050294337844*x370 - 0.554700196225229* x403 - 0.832050294337844*x404) =L= 13; e559.. sqr(0.894427190999916*x373 + 0.447213595499958*x374 - 0.894427190999916* x403 - 0.447213595499958*x404) =L= 5; e560.. sqr(0.894427190999916*x377 - 0.447213595499958*x378 - 0.894427190999916* x403 + 0.447213595499958*x404) =L= 5; e561.. sqr(0.316227766016838*x383 + 0.948683298050514*x384 - 0.316227766016838* x403 - 0.948683298050514*x404) =L= 10; e562.. sqr(0.447213595499958*x385 + 0.894427190999916*x386 - 0.447213595499958* x403 - 0.894427190999916*x404) =L= 5; e563.. sqr(0.707106781186547*x387 + 0.707106781186547*x388 - 0.707106781186547* x403 - 0.707106781186547*x404) =L= 2; e564.. sqr(x389 - x403) =L= 1; e565.. sqr(0.707106781186547*x391 - 0.707106781186547*x392 - 0.707106781186547* x403 + 0.707106781186547*x404) =L= 2; e566.. sqr(0.447213595499958*x393 - 0.894427190999916*x394 - 0.447213595499958* x403 + 0.894427190999916*x404) =L= 5; e567.. sqr(x396 - x404) =L= 16; e568.. sqr(x398 - x404) =L= 9; e569.. sqr(x400 - x404) =L= 4; e570.. sqr(x402 - x404) =L= 1; e571.. sqr(0.832050294337844*x359 + 0.554700196225229*x360 - 0.832050294337844* x405 - 0.554700196225229*x406) =L= 13; e572.. sqr(0.948683298050514*x361 + 0.316227766016838*x362 - 0.948683298050514* x405 - 0.316227766016838*x406) =L= 10; e573.. sqr(0.948683298050514*x365 - 0.316227766016838*x366 - 0.948683298050514* x405 + 0.316227766016838*x406) =L= 10; e574.. sqr(0.554700196225229*x371 + 0.832050294337844*x372 - 0.554700196225229* x405 - 0.832050294337844*x406) =L= 13; e575.. sqr(0.894427190999916*x375 + 0.447213595499958*x376 - 0.894427190999916* x405 - 0.447213595499958*x406) =L= 5; e576.. sqr(0.894427190999916*x379 - 0.447213595499958*x380 - 0.894427190999916* x405 + 0.447213595499958*x406) =L= 5; e577.. sqr(0.316227766016838*x385 + 0.948683298050514*x386 - 0.316227766016838* x405 - 0.948683298050514*x406) =L= 10; e578.. sqr(0.447213595499958*x387 + 0.894427190999916*x388 - 0.447213595499958* x405 - 0.894427190999916*x406) =L= 5; e579.. sqr(0.707106781186547*x389 + 0.707106781186547*x390 - 0.707106781186547* x405 - 0.707106781186547*x406) =L= 2; e580.. sqr(x391 - x405) =L= 1; e581.. sqr(0.707106781186547*x393 - 0.707106781186547*x394 - 0.707106781186547* x405 + 0.707106781186547*x406) =L= 2; e582.. sqr(x396 - x406) =L= 25; e583.. sqr(x398 - x406) =L= 16; e584.. sqr(x400 - x406) =L= 9; e585.. sqr(x402 - x406) =L= 4; e586.. sqr(x404 - x406) =L= 1; e587.. sqr(0.832050294337844*x361 + 0.554700196225229*x362 - 0.832050294337844* x407 - 0.554700196225229*x408) =L= 13; e588.. sqr(0.948683298050514*x363 + 0.316227766016838*x364 - 0.948683298050514* x407 - 0.316227766016838*x408) =L= 10; e589.. sqr(0.554700196225229*x373 + 0.832050294337844*x374 - 0.554700196225229* x407 - 0.832050294337844*x408) =L= 13; e590.. sqr(0.894427190999916*x377 + 0.447213595499958*x378 - 0.894427190999916* x407 - 0.447213595499958*x408) =L= 5; e591.. sqr(0.316227766016838*x387 + 0.948683298050514*x388 - 0.316227766016838* x407 - 0.948683298050514*x408) =L= 10; e592.. sqr(0.447213595499958*x389 + 0.894427190999916*x390 - 0.447213595499958* x407 - 0.894427190999916*x408) =L= 5; e593.. sqr(0.707106781186547*x391 + 0.707106781186547*x392 - 0.707106781186547* x407 - 0.707106781186547*x408) =L= 2; e594.. sqr(x393 - x407) =L= 1; e595.. sqr(x396 - x408) =L= 36; e596.. sqr(x398 - x408) =L= 25; e597.. sqr(x400 - x408) =L= 16; e598.. sqr(x402 - x408) =L= 9; e599.. sqr(x404 - x408) =L= 4; e600.. sqr(x406 - x408) =L= 1; e601.. sqr(0.948683298050514*x369 - 0.316227766016838*x370 - 0.948683298050514* x409 + 0.316227766016838*x410) =L= 10; e602.. sqr(0.832050294337844*x371 - 0.554700196225229*x372 - 0.832050294337844* x409 + 0.554700196225229*x410) =L= 13; e603.. sqr(0.894427190999916*x383 - 0.447213595499958*x384 - 0.894427190999916* x409 + 0.447213595499958*x410) =L= 5; e604.. sqr(0.554700196225229*x387 - 0.832050294337844*x388 - 0.554700196225229* x409 + 0.832050294337844*x410) =L= 13; e605.. sqr(x395 - x409) =L= 1; e606.. sqr(0.707106781186547*x397 - 0.707106781186547*x398 - 0.707106781186547* x409 + 0.707106781186547*x410) =L= 2; e607.. sqr(0.447213595499958*x399 - 0.894427190999916*x400 - 0.447213595499958* x409 + 0.894427190999916*x410) =L= 5; e608.. sqr(0.316227766016838*x401 - 0.948683298050514*x402 - 0.316227766016838* x409 + 0.948683298050514*x410) =L= 10; e609.. sqr(0.948683298050514*x367 + 0.316227766016838*x368 - 0.948683298050514* x411 - 0.316227766016838*x412) =L= 10; e610.. sqr(0.948683298050514*x371 - 0.316227766016838*x372 - 0.948683298050514* x411 + 0.316227766016838*x412) =L= 10; e611.. sqr(0.832050294337844*x373 - 0.554700196225229*x374 - 0.832050294337844* x411 + 0.554700196225229*x412) =L= 13; e612.. sqr(0.894427190999916*x381 + 0.447213595499958*x382 - 0.894427190999916* x411 - 0.447213595499958*x412) =L= 5; e613.. sqr(0.894427190999916*x385 - 0.447213595499958*x386 - 0.894427190999916* x411 + 0.447213595499958*x412) =L= 5; e614.. sqr(0.554700196225229*x389 - 0.832050294337844*x390 - 0.554700196225229* x411 + 0.832050294337844*x412) =L= 13; e615.. sqr(0.707106781186547*x395 + 0.707106781186547*x396 - 0.707106781186547* x411 - 0.707106781186547*x412) =L= 2; e616.. sqr(x397 - x411) =L= 1; e617.. sqr(0.707106781186547*x399 - 0.707106781186547*x400 - 0.707106781186547* x411 + 0.707106781186547*x412) =L= 2; e618.. sqr(0.447213595499958*x401 - 0.894427190999916*x402 - 0.447213595499958* x411 + 0.894427190999916*x412) =L= 5; e619.. sqr(0.316227766016838*x403 - 0.948683298050514*x404 - 0.316227766016838* x411 + 0.948683298050514*x412) =L= 10; e620.. sqr(x410 - x412) =L= 1; e621.. sqr(0.832050294337844*x367 + 0.554700196225229*x368 - 0.832050294337844* x413 - 0.554700196225229*x414) =L= 13; e622.. sqr(0.948683298050514*x369 + 0.316227766016838*x370 - 0.948683298050514* x413 - 0.316227766016838*x414) =L= 10; e623.. sqr(0.948683298050514*x373 - 0.316227766016838*x374 - 0.948683298050514* x413 + 0.316227766016838*x414) =L= 10; e624.. sqr(0.832050294337844*x375 - 0.554700196225229*x376 - 0.832050294337844* x413 + 0.554700196225229*x414) =L= 13; e625.. sqr(0.894427190999916*x383 + 0.447213595499958*x384 - 0.894427190999916* x413 - 0.447213595499958*x414) =L= 5; e626.. sqr(0.894427190999916*x387 - 0.447213595499958*x388 - 0.894427190999916* x413 + 0.447213595499958*x414) =L= 5; e627.. sqr(0.554700196225229*x391 - 0.832050294337844*x392 - 0.554700196225229* x413 + 0.832050294337844*x414) =L= 13; e628.. sqr(0.447213595499958*x395 + 0.894427190999916*x396 - 0.447213595499958* x413 - 0.894427190999916*x414) =L= 5; e629.. sqr(0.707106781186547*x397 + 0.707106781186547*x398 - 0.707106781186547* x413 - 0.707106781186547*x414) =L= 2; e630.. sqr(x399 - x413) =L= 1; e631.. sqr(0.707106781186547*x401 - 0.707106781186547*x402 - 0.707106781186547* x413 + 0.707106781186547*x414) =L= 2; e632.. sqr(0.447213595499958*x403 - 0.894427190999916*x404 - 0.447213595499958* x413 + 0.894427190999916*x414) =L= 5; e633.. sqr(0.316227766016838*x405 - 0.948683298050514*x406 - 0.316227766016838* x413 + 0.948683298050514*x414) =L= 10; e634.. sqr(x410 - x414) =L= 4; e635.. sqr(x412 - x414) =L= 1; e636.. sqr(0.832050294337844*x369 + 0.554700196225229*x370 - 0.832050294337844* x415 - 0.554700196225229*x416) =L= 13; e637.. sqr(0.948683298050514*x371 + 0.316227766016838*x372 - 0.948683298050514* x415 - 0.316227766016838*x416) =L= 10; e638.. sqr(0.948683298050514*x375 - 0.316227766016838*x376 - 0.948683298050514* x415 + 0.316227766016838*x416) =L= 10; e639.. sqr(0.832050294337844*x377 - 0.554700196225229*x378 - 0.832050294337844* x415 + 0.554700196225229*x416) =L= 13; e640.. sqr(0.554700196225229*x381 + 0.832050294337844*x382 - 0.554700196225229* x415 - 0.832050294337844*x416) =L= 13; e641.. sqr(0.894427190999916*x385 + 0.447213595499958*x386 - 0.894427190999916* x415 - 0.447213595499958*x416) =L= 5; e642.. sqr(0.894427190999916*x389 - 0.447213595499958*x390 - 0.894427190999916* x415 + 0.447213595499958*x416) =L= 5; e643.. sqr(0.554700196225229*x393 - 0.832050294337844*x394 - 0.554700196225229* x415 + 0.832050294337844*x416) =L= 13; e644.. sqr(0.316227766016838*x395 + 0.948683298050514*x396 - 0.316227766016838* x415 - 0.948683298050514*x416) =L= 10; e645.. sqr(0.447213595499958*x397 + 0.894427190999916*x398 - 0.447213595499958* x415 - 0.894427190999916*x416) =L= 5; e646.. sqr(0.707106781186547*x399 + 0.707106781186547*x400 - 0.707106781186547* x415 - 0.707106781186547*x416) =L= 2; e647.. sqr(x401 - x415) =L= 1; e648.. sqr(0.707106781186547*x403 - 0.707106781186547*x404 - 0.707106781186547* x415 + 0.707106781186547*x416) =L= 2; e649.. sqr(0.447213595499958*x405 - 0.894427190999916*x406 - 0.447213595499958* x415 + 0.894427190999916*x416) =L= 5; e650.. sqr(0.316227766016838*x407 - 0.948683298050514*x408 - 0.316227766016838* x415 + 0.948683298050514*x416) =L= 10; e651.. sqr(x410 - x416) =L= 9; e652.. sqr(x412 - x416) =L= 4; e653.. sqr(x414 - x416) =L= 1; e654.. sqr(0.832050294337844*x371 + 0.554700196225229*x372 - 0.832050294337844* x417 - 0.554700196225229*x418) =L= 13; e655.. sqr(0.948683298050514*x373 + 0.316227766016838*x374 - 0.948683298050514* x417 - 0.316227766016838*x418) =L= 10; e656.. sqr(0.948683298050514*x377 - 0.316227766016838*x378 - 0.948683298050514* x417 + 0.316227766016838*x418) =L= 10; e657.. sqr(0.832050294337844*x379 - 0.554700196225229*x380 - 0.832050294337844* x417 + 0.554700196225229*x418) =L= 13; e658.. sqr(0.554700196225229*x383 + 0.832050294337844*x384 - 0.554700196225229* x417 - 0.832050294337844*x418) =L= 13; e659.. sqr(0.894427190999916*x387 + 0.447213595499958*x388 - 0.894427190999916* x417 - 0.447213595499958*x418) =L= 5; e660.. sqr(0.894427190999916*x391 - 0.447213595499958*x392 - 0.894427190999916* x417 + 0.447213595499958*x418) =L= 5; e661.. sqr(0.316227766016838*x397 + 0.948683298050514*x398 - 0.316227766016838* x417 - 0.948683298050514*x418) =L= 10; e662.. sqr(0.447213595499958*x399 + 0.894427190999916*x400 - 0.447213595499958* x417 - 0.894427190999916*x418) =L= 5; e663.. sqr(0.707106781186547*x401 + 0.707106781186547*x402 - 0.707106781186547* x417 - 0.707106781186547*x418) =L= 2; e664.. sqr(x403 - x417) =L= 1; e665.. sqr(0.707106781186547*x405 - 0.707106781186547*x406 - 0.707106781186547* x417 + 0.707106781186547*x418) =L= 2; e666.. sqr(0.447213595499958*x407 - 0.894427190999916*x408 - 0.447213595499958* x417 + 0.894427190999916*x418) =L= 5; e667.. sqr(x410 - x418) =L= 16; e668.. sqr(x412 - x418) =L= 9; e669.. sqr(x414 - x418) =L= 4; e670.. sqr(x416 - x418) =L= 1; e671.. sqr(0.832050294337844*x373 + 0.554700196225229*x374 - 0.832050294337844* x419 - 0.554700196225229*x420) =L= 13; e672.. sqr(0.948683298050514*x375 + 0.316227766016838*x376 - 0.948683298050514* x419 - 0.316227766016838*x420) =L= 10; e673.. sqr(0.948683298050514*x379 - 0.316227766016838*x380 - 0.948683298050514* x419 + 0.316227766016838*x420) =L= 10; e674.. sqr(0.554700196225229*x385 + 0.832050294337844*x386 - 0.554700196225229* x419 - 0.832050294337844*x420) =L= 13; e675.. sqr(0.894427190999916*x389 + 0.447213595499958*x390 - 0.894427190999916* x419 - 0.447213595499958*x420) =L= 5; e676.. sqr(0.894427190999916*x393 - 0.447213595499958*x394 - 0.894427190999916* x419 + 0.447213595499958*x420) =L= 5; e677.. sqr(0.316227766016838*x399 + 0.948683298050514*x400 - 0.316227766016838* x419 - 0.948683298050514*x420) =L= 10; e678.. sqr(0.447213595499958*x401 + 0.894427190999916*x402 - 0.447213595499958* x419 - 0.894427190999916*x420) =L= 5; e679.. sqr(0.707106781186547*x403 + 0.707106781186547*x404 - 0.707106781186547* x419 - 0.707106781186547*x420) =L= 2; e680.. sqr(x405 - x419) =L= 1; e681.. sqr(0.707106781186547*x407 - 0.707106781186547*x408 - 0.707106781186547* x419 + 0.707106781186547*x420) =L= 2; e682.. sqr(x410 - x420) =L= 25; e683.. sqr(x412 - x420) =L= 16; e684.. sqr(x414 - x420) =L= 9; e685.. sqr(x416 - x420) =L= 4; e686.. sqr(x418 - x420) =L= 1; e687.. sqr(0.832050294337844*x375 + 0.554700196225229*x376 - 0.832050294337844* x421 - 0.554700196225229*x422) =L= 13; e688.. sqr(0.948683298050514*x377 + 0.316227766016838*x378 - 0.948683298050514* x421 - 0.316227766016838*x422) =L= 10; e689.. sqr(0.554700196225229*x387 + 0.832050294337844*x388 - 0.554700196225229* x421 - 0.832050294337844*x422) =L= 13; e690.. sqr(0.894427190999916*x391 + 0.447213595499958*x392 - 0.894427190999916* x421 - 0.447213595499958*x422) =L= 5; e691.. sqr(0.316227766016838*x401 + 0.948683298050514*x402 - 0.316227766016838* x421 - 0.948683298050514*x422) =L= 10; e692.. sqr(0.447213595499958*x403 + 0.894427190999916*x404 - 0.447213595499958* x421 - 0.894427190999916*x422) =L= 5; e693.. sqr(0.707106781186547*x405 + 0.707106781186547*x406 - 0.707106781186547* x421 - 0.707106781186547*x422) =L= 2; e694.. sqr(x407 - x421) =L= 1; e695.. sqr(x410 - x422) =L= 36; e696.. sqr(x412 - x422) =L= 25; e697.. sqr(x414 - x422) =L= 16; e698.. sqr(x416 - x422) =L= 9; e699.. sqr(x418 - x422) =L= 4; e700.. sqr(x420 - x422) =L= 1; e701.. sqr(0.948683298050514*x383 - 0.316227766016838*x384 - 0.948683298050514* x423 + 0.316227766016838*x424) =L= 10; e702.. sqr(0.832050294337844*x385 - 0.554700196225229*x386 - 0.832050294337844* x423 + 0.554700196225229*x424) =L= 13; e703.. sqr(0.894427190999916*x397 - 0.447213595499958*x398 - 0.894427190999916* x423 + 0.447213595499958*x424) =L= 5; e704.. sqr(0.554700196225229*x401 - 0.832050294337844*x402 - 0.554700196225229* x423 + 0.832050294337844*x424) =L= 13; e705.. sqr(x409 - x423) =L= 1; e706.. sqr(0.707106781186547*x411 - 0.707106781186547*x412 - 0.707106781186547* x423 + 0.707106781186547*x424) =L= 2; e707.. sqr(0.447213595499958*x413 - 0.894427190999916*x414 - 0.447213595499958* x423 + 0.894427190999916*x424) =L= 5; e708.. sqr(0.316227766016838*x415 - 0.948683298050514*x416 - 0.316227766016838* x423 + 0.948683298050514*x424) =L= 10; e709.. sqr(0.948683298050514*x381 + 0.316227766016838*x382 - 0.948683298050514* x425 - 0.316227766016838*x426) =L= 10; e710.. sqr(0.948683298050514*x385 - 0.316227766016838*x386 - 0.948683298050514* x425 + 0.316227766016838*x426) =L= 10; e711.. sqr(0.832050294337844*x387 - 0.554700196225229*x388 - 0.832050294337844* x425 + 0.554700196225229*x426) =L= 13; e712.. sqr(0.894427190999916*x395 + 0.447213595499958*x396 - 0.894427190999916* x425 - 0.447213595499958*x426) =L= 5; e713.. sqr(0.894427190999916*x399 - 0.447213595499958*x400 - 0.894427190999916* x425 + 0.447213595499958*x426) =L= 5; e714.. sqr(0.554700196225229*x403 - 0.832050294337844*x404 - 0.554700196225229* x425 + 0.832050294337844*x426) =L= 13; e715.. sqr(0.707106781186547*x409 + 0.707106781186547*x410 - 0.707106781186547* x425 - 0.707106781186547*x426) =L= 2; e716.. sqr(x411 - x425) =L= 1; e717.. sqr(0.707106781186547*x413 - 0.707106781186547*x414 - 0.707106781186547* x425 + 0.707106781186547*x426) =L= 2; e718.. sqr(0.447213595499958*x415 - 0.894427190999916*x416 - 0.447213595499958* x425 + 0.894427190999916*x426) =L= 5; e719.. sqr(0.316227766016838*x417 - 0.948683298050514*x418 - 0.316227766016838* x425 + 0.948683298050514*x426) =L= 10; e720.. sqr(x424 - x426) =L= 1; e721.. sqr(0.832050294337844*x381 + 0.554700196225229*x382 - 0.832050294337844* x427 - 0.554700196225229*x428) =L= 13; e722.. sqr(0.948683298050514*x383 + 0.316227766016838*x384 - 0.948683298050514* x427 - 0.316227766016838*x428) =L= 10; e723.. sqr(0.948683298050514*x387 - 0.316227766016838*x388 - 0.948683298050514* x427 + 0.316227766016838*x428) =L= 10; e724.. sqr(0.832050294337844*x389 - 0.554700196225229*x390 - 0.832050294337844* x427 + 0.554700196225229*x428) =L= 13; e725.. sqr(0.894427190999916*x397 + 0.447213595499958*x398 - 0.894427190999916* x427 - 0.447213595499958*x428) =L= 5; e726.. sqr(0.894427190999916*x401 - 0.447213595499958*x402 - 0.894427190999916* x427 + 0.447213595499958*x428) =L= 5; e727.. sqr(0.554700196225229*x405 - 0.832050294337844*x406 - 0.554700196225229* x427 + 0.832050294337844*x428) =L= 13; e728.. sqr(0.447213595499958*x409 + 0.894427190999916*x410 - 0.447213595499958* x427 - 0.894427190999916*x428) =L= 5; e729.. sqr(0.707106781186547*x411 + 0.707106781186547*x412 - 0.707106781186547* x427 - 0.707106781186547*x428) =L= 2; e730.. sqr(x413 - x427) =L= 1; e731.. sqr(0.707106781186547*x415 - 0.707106781186547*x416 - 0.707106781186547* x427 + 0.707106781186547*x428) =L= 2; e732.. sqr(0.447213595499958*x417 - 0.894427190999916*x418 - 0.447213595499958* x427 + 0.894427190999916*x428) =L= 5; e733.. sqr(0.316227766016838*x419 - 0.948683298050514*x420 - 0.316227766016838* x427 + 0.948683298050514*x428) =L= 10; e734.. sqr(x424 - x428) =L= 4; e735.. sqr(x426 - x428) =L= 1; e736.. sqr(0.832050294337844*x383 + 0.554700196225229*x384 - 0.832050294337844* x429 - 0.554700196225229*x430) =L= 13; e737.. sqr(0.948683298050514*x385 + 0.316227766016838*x386 - 0.948683298050514* x429 - 0.316227766016838*x430) =L= 10; e738.. sqr(0.948683298050514*x389 - 0.316227766016838*x390 - 0.948683298050514* x429 + 0.316227766016838*x430) =L= 10; e739.. sqr(0.832050294337844*x391 - 0.554700196225229*x392 - 0.832050294337844* x429 + 0.554700196225229*x430) =L= 13; e740.. sqr(0.554700196225229*x395 + 0.832050294337844*x396 - 0.554700196225229* x429 - 0.832050294337844*x430) =L= 13; e741.. sqr(0.894427190999916*x399 + 0.447213595499958*x400 - 0.894427190999916* x429 - 0.447213595499958*x430) =L= 5; e742.. sqr(0.894427190999916*x403 - 0.447213595499958*x404 - 0.894427190999916* x429 + 0.447213595499958*x430) =L= 5; e743.. sqr(0.554700196225229*x407 - 0.832050294337844*x408 - 0.554700196225229* x429 + 0.832050294337844*x430) =L= 13; e744.. sqr(0.316227766016838*x409 + 0.948683298050514*x410 - 0.316227766016838* x429 - 0.948683298050514*x430) =L= 10; e745.. sqr(0.447213595499958*x411 + 0.894427190999916*x412 - 0.447213595499958* x429 - 0.894427190999916*x430) =L= 5; e746.. sqr(0.707106781186547*x413 + 0.707106781186547*x414 - 0.707106781186547* x429 - 0.707106781186547*x430) =L= 2; e747.. sqr(x415 - x429) =L= 1; e748.. sqr(0.707106781186547*x417 - 0.707106781186547*x418 - 0.707106781186547* x429 + 0.707106781186547*x430) =L= 2; e749.. sqr(0.447213595499958*x419 - 0.894427190999916*x420 - 0.447213595499958* x429 + 0.894427190999916*x430) =L= 5; e750.. sqr(0.316227766016838*x421 - 0.948683298050514*x422 - 0.316227766016838* x429 + 0.948683298050514*x430) =L= 10; e751.. sqr(x424 - x430) =L= 9; e752.. sqr(x426 - x430) =L= 4; e753.. sqr(x428 - x430) =L= 1; e754.. sqr(0.832050294337844*x385 + 0.554700196225229*x386 - 0.832050294337844* x431 - 0.554700196225229*x432) =L= 13; e755.. sqr(0.948683298050514*x387 + 0.316227766016838*x388 - 0.948683298050514* x431 - 0.316227766016838*x432) =L= 10; e756.. sqr(0.948683298050514*x391 - 0.316227766016838*x392 - 0.948683298050514* x431 + 0.316227766016838*x432) =L= 10; e757.. sqr(0.832050294337844*x393 - 0.554700196225229*x394 - 0.832050294337844* x431 + 0.554700196225229*x432) =L= 13; e758.. sqr(0.554700196225229*x397 + 0.832050294337844*x398 - 0.554700196225229* x431 - 0.832050294337844*x432) =L= 13; e759.. sqr(0.894427190999916*x401 + 0.447213595499958*x402 - 0.894427190999916* x431 - 0.447213595499958*x432) =L= 5; e760.. sqr(0.894427190999916*x405 - 0.447213595499958*x406 - 0.894427190999916* x431 + 0.447213595499958*x432) =L= 5; e761.. sqr(0.316227766016838*x411 + 0.948683298050514*x412 - 0.316227766016838* x431 - 0.948683298050514*x432) =L= 10; e762.. sqr(0.447213595499958*x413 + 0.894427190999916*x414 - 0.447213595499958* x431 - 0.894427190999916*x432) =L= 5; e763.. sqr(0.707106781186547*x415 + 0.707106781186547*x416 - 0.707106781186547* x431 - 0.707106781186547*x432) =L= 2; e764.. sqr(x417 - x431) =L= 1; e765.. sqr(0.707106781186547*x419 - 0.707106781186547*x420 - 0.707106781186547* x431 + 0.707106781186547*x432) =L= 2; e766.. sqr(0.447213595499958*x421 - 0.894427190999916*x422 - 0.447213595499958* x431 + 0.894427190999916*x432) =L= 5; e767.. sqr(x424 - x432) =L= 16; e768.. sqr(x426 - x432) =L= 9; e769.. sqr(x428 - x432) =L= 4; e770.. sqr(x430 - x432) =L= 1; e771.. sqr(0.832050294337844*x387 + 0.554700196225229*x388 - 0.832050294337844* x433 - 0.554700196225229*x434) =L= 13; e772.. sqr(0.948683298050514*x389 + 0.316227766016838*x390 - 0.948683298050514* x433 - 0.316227766016838*x434) =L= 10; e773.. sqr(0.948683298050514*x393 - 0.316227766016838*x394 - 0.948683298050514* x433 + 0.316227766016838*x434) =L= 10; e774.. sqr(0.554700196225229*x399 + 0.832050294337844*x400 - 0.554700196225229* x433 - 0.832050294337844*x434) =L= 13; e775.. sqr(0.894427190999916*x403 + 0.447213595499958*x404 - 0.894427190999916* x433 - 0.447213595499958*x434) =L= 5; e776.. sqr(0.894427190999916*x407 - 0.447213595499958*x408 - 0.894427190999916* x433 + 0.447213595499958*x434) =L= 5; e777.. sqr(0.316227766016838*x413 + 0.948683298050514*x414 - 0.316227766016838* x433 - 0.948683298050514*x434) =L= 10; e778.. sqr(0.447213595499958*x415 + 0.894427190999916*x416 - 0.447213595499958* x433 - 0.894427190999916*x434) =L= 5; e779.. sqr(0.707106781186547*x417 + 0.707106781186547*x418 - 0.707106781186547* x433 - 0.707106781186547*x434) =L= 2; e780.. sqr(x419 - x433) =L= 1; e781.. sqr(0.707106781186547*x421 - 0.707106781186547*x422 - 0.707106781186547* x433 + 0.707106781186547*x434) =L= 2; e782.. sqr(x424 - x434) =L= 25; e783.. sqr(x426 - x434) =L= 16; e784.. sqr(x428 - x434) =L= 9; e785.. sqr(x430 - x434) =L= 4; e786.. sqr(x432 - x434) =L= 1; e787.. sqr(0.832050294337844*x389 + 0.554700196225229*x390 - 0.832050294337844* x435 - 0.554700196225229*x436) =L= 13; e788.. sqr(0.948683298050514*x391 + 0.316227766016838*x392 - 0.948683298050514* x435 - 0.316227766016838*x436) =L= 10; e789.. sqr(0.554700196225229*x401 + 0.832050294337844*x402 - 0.554700196225229* x435 - 0.832050294337844*x436) =L= 13; e790.. sqr(0.894427190999916*x405 + 0.447213595499958*x406 - 0.894427190999916* x435 - 0.447213595499958*x436) =L= 5; e791.. sqr(0.316227766016838*x415 + 0.948683298050514*x416 - 0.316227766016838* x435 - 0.948683298050514*x436) =L= 10; e792.. sqr(0.447213595499958*x417 + 0.894427190999916*x418 - 0.447213595499958* x435 - 0.894427190999916*x436) =L= 5; e793.. sqr(0.707106781186547*x419 + 0.707106781186547*x420 - 0.707106781186547* x435 - 0.707106781186547*x436) =L= 2; e794.. sqr(x421 - x435) =L= 1; e795.. sqr(x424 - x436) =L= 36; e796.. sqr(x426 - x436) =L= 25; e797.. sqr(x428 - x436) =L= 16; e798.. sqr(x430 - x436) =L= 9; e799.. sqr(x432 - x436) =L= 4; e800.. sqr(x434 - x436) =L= 1; e801.. sqr(0.948683298050514*x397 - 0.316227766016838*x398 - 0.948683298050514* x437 + 0.316227766016838*x438) =L= 10; e802.. sqr(0.832050294337844*x399 - 0.554700196225229*x400 - 0.832050294337844* x437 + 0.554700196225229*x438) =L= 13; e803.. sqr(0.894427190999916*x411 - 0.447213595499958*x412 - 0.894427190999916* x437 + 0.447213595499958*x438) =L= 5; e804.. sqr(0.554700196225229*x415 - 0.832050294337844*x416 - 0.554700196225229* x437 + 0.832050294337844*x438) =L= 13; e805.. sqr(x423 - x437) =L= 1; e806.. sqr(0.707106781186547*x425 - 0.707106781186547*x426 - 0.707106781186547* x437 + 0.707106781186547*x438) =L= 2; e807.. sqr(0.447213595499958*x427 - 0.894427190999916*x428 - 0.447213595499958* x437 + 0.894427190999916*x438) =L= 5; e808.. sqr(0.316227766016838*x429 - 0.948683298050514*x430 - 0.316227766016838* x437 + 0.948683298050514*x438) =L= 10; e809.. sqr(0.948683298050514*x395 + 0.316227766016838*x396 - 0.948683298050514* x439 - 0.316227766016838*x440) =L= 10; e810.. sqr(0.948683298050514*x399 - 0.316227766016838*x400 - 0.948683298050514* x439 + 0.316227766016838*x440) =L= 10; e811.. sqr(0.832050294337844*x401 - 0.554700196225229*x402 - 0.832050294337844* x439 + 0.554700196225229*x440) =L= 13; e812.. sqr(0.894427190999916*x409 + 0.447213595499958*x410 - 0.894427190999916* x439 - 0.447213595499958*x440) =L= 5; e813.. sqr(0.894427190999916*x413 - 0.447213595499958*x414 - 0.894427190999916* x439 + 0.447213595499958*x440) =L= 5; e814.. sqr(0.554700196225229*x417 - 0.832050294337844*x418 - 0.554700196225229* x439 + 0.832050294337844*x440) =L= 13; e815.. sqr(0.707106781186547*x423 + 0.707106781186547*x424 - 0.707106781186547* x439 - 0.707106781186547*x440) =L= 2; e816.. sqr(x425 - x439) =L= 1; e817.. sqr(0.707106781186547*x427 - 0.707106781186547*x428 - 0.707106781186547* x439 + 0.707106781186547*x440) =L= 2; e818.. sqr(0.447213595499958*x429 - 0.894427190999916*x430 - 0.447213595499958* x439 + 0.894427190999916*x440) =L= 5; e819.. sqr(0.316227766016838*x431 - 0.948683298050514*x432 - 0.316227766016838* x439 + 0.948683298050514*x440) =L= 10; e820.. sqr(x438 - x440) =L= 1; e821.. sqr(0.832050294337844*x395 + 0.554700196225229*x396 - 0.832050294337844* x441 - 0.554700196225229*x442) =L= 13; e822.. sqr(0.948683298050514*x397 + 0.316227766016838*x398 - 0.948683298050514* x441 - 0.316227766016838*x442) =L= 10; e823.. sqr(0.948683298050514*x401 - 0.316227766016838*x402 - 0.948683298050514* x441 + 0.316227766016838*x442) =L= 10; e824.. sqr(0.832050294337844*x403 - 0.554700196225229*x404 - 0.832050294337844* x441 + 0.554700196225229*x442) =L= 13; e825.. sqr(0.894427190999916*x411 + 0.447213595499958*x412 - 0.894427190999916* x441 - 0.447213595499958*x442) =L= 5; e826.. sqr(0.894427190999916*x415 - 0.447213595499958*x416 - 0.894427190999916* x441 + 0.447213595499958*x442) =L= 5; e827.. sqr(0.554700196225229*x419 - 0.832050294337844*x420 - 0.554700196225229* x441 + 0.832050294337844*x442) =L= 13; e828.. sqr(0.447213595499958*x423 + 0.894427190999916*x424 - 0.447213595499958* x441 - 0.894427190999916*x442) =L= 5; e829.. sqr(0.707106781186547*x425 + 0.707106781186547*x426 - 0.707106781186547* x441 - 0.707106781186547*x442) =L= 2; e830.. sqr(x427 - x441) =L= 1; e831.. sqr(0.707106781186547*x429 - 0.707106781186547*x430 - 0.707106781186547* x441 + 0.707106781186547*x442) =L= 2; e832.. sqr(0.447213595499958*x431 - 0.894427190999916*x432 - 0.447213595499958* x441 + 0.894427190999916*x442) =L= 5; e833.. sqr(0.316227766016838*x433 - 0.948683298050514*x434 - 0.316227766016838* x441 + 0.948683298050514*x442) =L= 10; e834.. sqr(x438 - x442) =L= 4; e835.. sqr(x440 - x442) =L= 1; e836.. sqr(0.832050294337844*x397 + 0.554700196225229*x398 - 0.832050294337844* x443 - 0.554700196225229*x444) =L= 13; e837.. sqr(0.948683298050514*x399 + 0.316227766016838*x400 - 0.948683298050514* x443 - 0.316227766016838*x444) =L= 10; e838.. sqr(0.948683298050514*x403 - 0.316227766016838*x404 - 0.948683298050514* x443 + 0.316227766016838*x444) =L= 10; e839.. sqr(0.832050294337844*x405 - 0.554700196225229*x406 - 0.832050294337844* x443 + 0.554700196225229*x444) =L= 13; e840.. sqr(0.554700196225229*x409 + 0.832050294337844*x410 - 0.554700196225229* x443 - 0.832050294337844*x444) =L= 13; e841.. sqr(0.894427190999916*x413 + 0.447213595499958*x414 - 0.894427190999916* x443 - 0.447213595499958*x444) =L= 5; e842.. sqr(0.894427190999916*x417 - 0.447213595499958*x418 - 0.894427190999916* x443 + 0.447213595499958*x444) =L= 5; e843.. sqr(0.554700196225229*x421 - 0.832050294337844*x422 - 0.554700196225229* x443 + 0.832050294337844*x444) =L= 13; e844.. sqr(0.316227766016838*x423 + 0.948683298050514*x424 - 0.316227766016838* x443 - 0.948683298050514*x444) =L= 10; e845.. sqr(0.447213595499958*x425 + 0.894427190999916*x426 - 0.447213595499958* x443 - 0.894427190999916*x444) =L= 5; e846.. sqr(0.707106781186547*x427 + 0.707106781186547*x428 - 0.707106781186547* x443 - 0.707106781186547*x444) =L= 2; e847.. sqr(x429 - x443) =L= 1; e848.. sqr(0.707106781186547*x431 - 0.707106781186547*x432 - 0.707106781186547* x443 + 0.707106781186547*x444) =L= 2; e849.. sqr(0.447213595499958*x433 - 0.894427190999916*x434 - 0.447213595499958* x443 + 0.894427190999916*x444) =L= 5; e850.. sqr(0.316227766016838*x435 - 0.948683298050514*x436 - 0.316227766016838* x443 + 0.948683298050514*x444) =L= 10; e851.. sqr(x438 - x444) =L= 9; e852.. sqr(x440 - x444) =L= 4; e853.. sqr(x442 - x444) =L= 1; e854.. sqr(0.832050294337844*x399 + 0.554700196225229*x400 - 0.832050294337844* x445 - 0.554700196225229*x446) =L= 13; e855.. sqr(0.948683298050514*x401 + 0.316227766016838*x402 - 0.948683298050514* x445 - 0.316227766016838*x446) =L= 10; e856.. sqr(0.948683298050514*x405 - 0.316227766016838*x406 - 0.948683298050514* x445 + 0.316227766016838*x446) =L= 10; e857.. sqr(0.832050294337844*x407 - 0.554700196225229*x408 - 0.832050294337844* x445 + 0.554700196225229*x446) =L= 13; e858.. sqr(0.554700196225229*x411 + 0.832050294337844*x412 - 0.554700196225229* x445 - 0.832050294337844*x446) =L= 13; e859.. sqr(0.894427190999916*x415 + 0.447213595499958*x416 - 0.894427190999916* x445 - 0.447213595499958*x446) =L= 5; e860.. sqr(0.894427190999916*x419 - 0.447213595499958*x420 - 0.894427190999916* x445 + 0.447213595499958*x446) =L= 5; e861.. sqr(0.316227766016838*x425 + 0.948683298050514*x426 - 0.316227766016838* x445 - 0.948683298050514*x446) =L= 10; e862.. sqr(0.447213595499958*x427 + 0.894427190999916*x428 - 0.447213595499958* x445 - 0.894427190999916*x446) =L= 5; e863.. sqr(0.707106781186547*x429 + 0.707106781186547*x430 - 0.707106781186547* x445 - 0.707106781186547*x446) =L= 2; e864.. sqr(x431 - x445) =L= 1; e865.. sqr(0.707106781186547*x433 - 0.707106781186547*x434 - 0.707106781186547* x445 + 0.707106781186547*x446) =L= 2; e866.. sqr(0.447213595499958*x435 - 0.894427190999916*x436 - 0.447213595499958* x445 + 0.894427190999916*x446) =L= 5; e867.. sqr(x438 - x446) =L= 16; e868.. sqr(x440 - x446) =L= 9; e869.. sqr(x442 - x446) =L= 4; e870.. sqr(x444 - x446) =L= 1; e871.. sqr(0.832050294337844*x401 + 0.554700196225229*x402 - 0.832050294337844* x447 - 0.554700196225229*x448) =L= 13; e872.. sqr(0.948683298050514*x403 + 0.316227766016838*x404 - 0.948683298050514* x447 - 0.316227766016838*x448) =L= 10; e873.. sqr(0.948683298050514*x407 - 0.316227766016838*x408 - 0.948683298050514* x447 + 0.316227766016838*x448) =L= 10; e874.. sqr(0.554700196225229*x413 + 0.832050294337844*x414 - 0.554700196225229* x447 - 0.832050294337844*x448) =L= 13; e875.. sqr(0.894427190999916*x417 + 0.447213595499958*x418 - 0.894427190999916* x447 - 0.447213595499958*x448) =L= 5; e876.. sqr(0.894427190999916*x421 - 0.447213595499958*x422 - 0.894427190999916* x447 + 0.447213595499958*x448) =L= 5; e877.. sqr(0.316227766016838*x427 + 0.948683298050514*x428 - 0.316227766016838* x447 - 0.948683298050514*x448) =L= 10; e878.. sqr(0.447213595499958*x429 + 0.894427190999916*x430 - 0.447213595499958* x447 - 0.894427190999916*x448) =L= 5; e879.. sqr(0.707106781186547*x431 + 0.707106781186547*x432 - 0.707106781186547* x447 - 0.707106781186547*x448) =L= 2; e880.. sqr(x433 - x447) =L= 1; e881.. sqr(0.707106781186547*x435 - 0.707106781186547*x436 - 0.707106781186547* x447 + 0.707106781186547*x448) =L= 2; e882.. sqr(x438 - x448) =L= 25; e883.. sqr(x440 - x448) =L= 16; e884.. sqr(x442 - x448) =L= 9; e885.. sqr(x444 - x448) =L= 4; e886.. sqr(x446 - x448) =L= 1; e887.. sqr(0.832050294337844*x403 + 0.554700196225229*x404 - 0.832050294337844* x449 - 0.554700196225229*x450) =L= 13; e888.. sqr(0.948683298050514*x405 + 0.316227766016838*x406 - 0.948683298050514* x449 - 0.316227766016838*x450) =L= 10; e889.. sqr(0.554700196225229*x415 + 0.832050294337844*x416 - 0.554700196225229* x449 - 0.832050294337844*x450) =L= 13; e890.. sqr(0.894427190999916*x419 + 0.447213595499958*x420 - 0.894427190999916* x449 - 0.447213595499958*x450) =L= 5; e891.. sqr(0.316227766016838*x429 + 0.948683298050514*x430 - 0.316227766016838* x449 - 0.948683298050514*x450) =L= 10; e892.. sqr(0.447213595499958*x431 + 0.894427190999916*x432 - 0.447213595499958* x449 - 0.894427190999916*x450) =L= 5; e893.. sqr(0.707106781186547*x433 + 0.707106781186547*x434 - 0.707106781186547* x449 - 0.707106781186547*x450) =L= 2; e894.. sqr(x435 - x449) =L= 1; e895.. sqr(x438 - x450) =L= 36; e896.. sqr(x440 - x450) =L= 25; e897.. sqr(x442 - x450) =L= 16; e898.. sqr(x444 - x450) =L= 9; e899.. sqr(x446 - x450) =L= 4; e900.. sqr(x448 - x450) =L= 1; e901.. sqr(0.948683298050514*x411 - 0.316227766016838*x412 - 0.948683298050514* x451 + 0.316227766016838*x452) =L= 10; e902.. sqr(0.832050294337844*x413 - 0.554700196225229*x414 - 0.832050294337844* x451 + 0.554700196225229*x452) =L= 13; e903.. sqr(0.894427190999916*x425 - 0.447213595499958*x426 - 0.894427190999916* x451 + 0.447213595499958*x452) =L= 5; e904.. sqr(0.554700196225229*x429 - 0.832050294337844*x430 - 0.554700196225229* x451 + 0.832050294337844*x452) =L= 13; e905.. sqr(x437 - x451) =L= 1; e906.. sqr(0.707106781186547*x439 - 0.707106781186547*x440 - 0.707106781186547* x451 + 0.707106781186547*x452) =L= 2; e907.. sqr(0.447213595499958*x441 - 0.894427190999916*x442 - 0.447213595499958* x451 + 0.894427190999916*x452) =L= 5; e908.. sqr(0.316227766016838*x443 - 0.948683298050514*x444 - 0.316227766016838* x451 + 0.948683298050514*x452) =L= 10; e909.. sqr(0.948683298050514*x409 + 0.316227766016838*x410 - 0.948683298050514* x453 - 0.316227766016838*x454) =L= 10; e910.. sqr(0.948683298050514*x413 - 0.316227766016838*x414 - 0.948683298050514* x453 + 0.316227766016838*x454) =L= 10; e911.. sqr(0.832050294337844*x415 - 0.554700196225229*x416 - 0.832050294337844* x453 + 0.554700196225229*x454) =L= 13; e912.. sqr(0.894427190999916*x423 + 0.447213595499958*x424 - 0.894427190999916* x453 - 0.447213595499958*x454) =L= 5; e913.. sqr(0.894427190999916*x427 - 0.447213595499958*x428 - 0.894427190999916* x453 + 0.447213595499958*x454) =L= 5; e914.. sqr(0.554700196225229*x431 - 0.832050294337844*x432 - 0.554700196225229* x453 + 0.832050294337844*x454) =L= 13; e915.. sqr(0.707106781186547*x437 + 0.707106781186547*x438 - 0.707106781186547* x453 - 0.707106781186547*x454) =L= 2; e916.. sqr(x439 - x453) =L= 1; e917.. sqr(0.707106781186547*x441 - 0.707106781186547*x442 - 0.707106781186547* x453 + 0.707106781186547*x454) =L= 2; e918.. sqr(0.447213595499958*x443 - 0.894427190999916*x444 - 0.447213595499958* x453 + 0.894427190999916*x454) =L= 5; e919.. sqr(0.316227766016838*x445 - 0.948683298050514*x446 - 0.316227766016838* x453 + 0.948683298050514*x454) =L= 10; e920.. sqr(x452 - x454) =L= 1; e921.. sqr(0.832050294337844*x409 + 0.554700196225229*x410 - 0.832050294337844* x455 - 0.554700196225229*x456) =L= 13; e922.. sqr(0.948683298050514*x411 + 0.316227766016838*x412 - 0.948683298050514* x455 - 0.316227766016838*x456) =L= 10; e923.. sqr(0.948683298050514*x415 - 0.316227766016838*x416 - 0.948683298050514* x455 + 0.316227766016838*x456) =L= 10; e924.. sqr(0.832050294337844*x417 - 0.554700196225229*x418 - 0.832050294337844* x455 + 0.554700196225229*x456) =L= 13; e925.. sqr(0.894427190999916*x425 + 0.447213595499958*x426 - 0.894427190999916* x455 - 0.447213595499958*x456) =L= 5; e926.. sqr(0.894427190999916*x429 - 0.447213595499958*x430 - 0.894427190999916* x455 + 0.447213595499958*x456) =L= 5; e927.. sqr(0.554700196225229*x433 - 0.832050294337844*x434 - 0.554700196225229* x455 + 0.832050294337844*x456) =L= 13; e928.. sqr(0.447213595499958*x437 + 0.894427190999916*x438 - 0.447213595499958* x455 - 0.894427190999916*x456) =L= 5; e929.. sqr(0.707106781186547*x439 + 0.707106781186547*x440 - 0.707106781186547* x455 - 0.707106781186547*x456) =L= 2; e930.. sqr(x441 - x455) =L= 1; e931.. sqr(0.707106781186547*x443 - 0.707106781186547*x444 - 0.707106781186547* x455 + 0.707106781186547*x456) =L= 2; e932.. sqr(0.447213595499958*x445 - 0.894427190999916*x446 - 0.447213595499958* x455 + 0.894427190999916*x456) =L= 5; e933.. sqr(0.316227766016838*x447 - 0.948683298050514*x448 - 0.316227766016838* x455 + 0.948683298050514*x456) =L= 10; e934.. sqr(x452 - x456) =L= 4; e935.. sqr(x454 - x456) =L= 1; e936.. sqr(0.832050294337844*x411 + 0.554700196225229*x412 - 0.832050294337844* x457 - 0.554700196225229*x458) =L= 13; e937.. sqr(0.948683298050514*x413 + 0.316227766016838*x414 - 0.948683298050514* x457 - 0.316227766016838*x458) =L= 10; e938.. sqr(0.948683298050514*x417 - 0.316227766016838*x418 - 0.948683298050514* x457 + 0.316227766016838*x458) =L= 10; e939.. sqr(0.832050294337844*x419 - 0.554700196225229*x420 - 0.832050294337844* x457 + 0.554700196225229*x458) =L= 13; e940.. sqr(0.554700196225229*x423 + 0.832050294337844*x424 - 0.554700196225229* x457 - 0.832050294337844*x458) =L= 13; e941.. sqr(0.894427190999916*x427 + 0.447213595499958*x428 - 0.894427190999916* x457 - 0.447213595499958*x458) =L= 5; e942.. sqr(0.894427190999916*x431 - 0.447213595499958*x432 - 0.894427190999916* x457 + 0.447213595499958*x458) =L= 5; e943.. sqr(0.554700196225229*x435 - 0.832050294337844*x436 - 0.554700196225229* x457 + 0.832050294337844*x458) =L= 13; e944.. sqr(0.316227766016838*x437 + 0.948683298050514*x438 - 0.316227766016838* x457 - 0.948683298050514*x458) =L= 10; e945.. sqr(0.447213595499958*x439 + 0.894427190999916*x440 - 0.447213595499958* x457 - 0.894427190999916*x458) =L= 5; e946.. sqr(0.707106781186547*x441 + 0.707106781186547*x442 - 0.707106781186547* x457 - 0.707106781186547*x458) =L= 2; e947.. sqr(x443 - x457) =L= 1; e948.. sqr(0.707106781186547*x445 - 0.707106781186547*x446 - 0.707106781186547* x457 + 0.707106781186547*x458) =L= 2; e949.. sqr(0.447213595499958*x447 - 0.894427190999916*x448 - 0.447213595499958* x457 + 0.894427190999916*x458) =L= 5; e950.. sqr(0.316227766016838*x449 - 0.948683298050514*x450 - 0.316227766016838* x457 + 0.948683298050514*x458) =L= 10; e951.. sqr(x452 - x458) =L= 9; e952.. sqr(x454 - x458) =L= 4; e953.. sqr(x456 - x458) =L= 1; e954.. sqr(0.832050294337844*x413 + 0.554700196225229*x414 - 0.832050294337844* x459 - 0.554700196225229*x460) =L= 13; e955.. sqr(0.948683298050514*x415 + 0.316227766016838*x416 - 0.948683298050514* x459 - 0.316227766016838*x460) =L= 10; e956.. sqr(0.948683298050514*x419 - 0.316227766016838*x420 - 0.948683298050514* x459 + 0.316227766016838*x460) =L= 10; e957.. sqr(0.832050294337844*x421 - 0.554700196225229*x422 - 0.832050294337844* x459 + 0.554700196225229*x460) =L= 13; e958.. sqr(0.554700196225229*x425 + 0.832050294337844*x426 - 0.554700196225229* x459 - 0.832050294337844*x460) =L= 13; e959.. sqr(0.894427190999916*x429 + 0.447213595499958*x430 - 0.894427190999916* x459 - 0.447213595499958*x460) =L= 5; e960.. sqr(0.894427190999916*x433 - 0.447213595499958*x434 - 0.894427190999916* x459 + 0.447213595499958*x460) =L= 5; e961.. sqr(0.316227766016838*x439 + 0.948683298050514*x440 - 0.316227766016838* x459 - 0.948683298050514*x460) =L= 10; e962.. sqr(0.447213595499958*x441 + 0.894427190999916*x442 - 0.447213595499958* x459 - 0.894427190999916*x460) =L= 5; e963.. sqr(0.707106781186547*x443 + 0.707106781186547*x444 - 0.707106781186547* x459 - 0.707106781186547*x460) =L= 2; e964.. sqr(x445 - x459) =L= 1; e965.. sqr(0.707106781186547*x447 - 0.707106781186547*x448 - 0.707106781186547* x459 + 0.707106781186547*x460) =L= 2; e966.. sqr(0.447213595499958*x449 - 0.894427190999916*x450 - 0.447213595499958* x459 + 0.894427190999916*x460) =L= 5; e967.. sqr(x452 - x460) =L= 16; e968.. sqr(x454 - x460) =L= 9; e969.. sqr(x456 - x460) =L= 4; e970.. sqr(x458 - x460) =L= 1; e971.. sqr(0.832050294337844*x415 + 0.554700196225229*x416 - 0.832050294337844* x461 - 0.554700196225229*x462) =L= 13; e972.. sqr(0.948683298050514*x417 + 0.316227766016838*x418 - 0.948683298050514* x461 - 0.316227766016838*x462) =L= 10; e973.. sqr(0.948683298050514*x421 - 0.316227766016838*x422 - 0.948683298050514* x461 + 0.316227766016838*x462) =L= 10; e974.. sqr(0.554700196225229*x427 + 0.832050294337844*x428 - 0.554700196225229* x461 - 0.832050294337844*x462) =L= 13; e975.. sqr(0.894427190999916*x431 + 0.447213595499958*x432 - 0.894427190999916* x461 - 0.447213595499958*x462) =L= 5; e976.. sqr(0.894427190999916*x435 - 0.447213595499958*x436 - 0.894427190999916* x461 + 0.447213595499958*x462) =L= 5; e977.. sqr(0.316227766016838*x441 + 0.948683298050514*x442 - 0.316227766016838* x461 - 0.948683298050514*x462) =L= 10; e978.. sqr(0.447213595499958*x443 + 0.894427190999916*x444 - 0.447213595499958* x461 - 0.894427190999916*x462) =L= 5; e979.. sqr(0.707106781186547*x445 + 0.707106781186547*x446 - 0.707106781186547* x461 - 0.707106781186547*x462) =L= 2; e980.. sqr(x447 - x461) =L= 1; e981.. sqr(0.707106781186547*x449 - 0.707106781186547*x450 - 0.707106781186547* x461 + 0.707106781186547*x462) =L= 2; e982.. sqr(x452 - x462) =L= 25; e983.. sqr(x454 - x462) =L= 16; e984.. sqr(x456 - x462) =L= 9; e985.. sqr(x458 - x462) =L= 4; e986.. sqr(x460 - x462) =L= 1; e987.. sqr(0.832050294337844*x417 + 0.554700196225229*x418 - 0.832050294337844* x463 - 0.554700196225229*x464) =L= 13; e988.. sqr(0.948683298050514*x419 + 0.316227766016838*x420 - 0.948683298050514* x463 - 0.316227766016838*x464) =L= 10; e989.. sqr(0.554700196225229*x429 + 0.832050294337844*x430 - 0.554700196225229* x463 - 0.832050294337844*x464) =L= 13; e990.. sqr(0.894427190999916*x433 + 0.447213595499958*x434 - 0.894427190999916* x463 - 0.447213595499958*x464) =L= 5; e991.. sqr(0.316227766016838*x443 + 0.948683298050514*x444 - 0.316227766016838* x463 - 0.948683298050514*x464) =L= 10; e992.. sqr(0.447213595499958*x445 + 0.894427190999916*x446 - 0.447213595499958* x463 - 0.894427190999916*x464) =L= 5; e993.. sqr(0.707106781186547*x447 + 0.707106781186547*x448 - 0.707106781186547* x463 - 0.707106781186547*x464) =L= 2; e994.. sqr(x449 - x463) =L= 1; e995.. sqr(x452 - x464) =L= 36; e996.. sqr(x454 - x464) =L= 25; e997.. sqr(x456 - x464) =L= 16; e998.. sqr(x458 - x464) =L= 9; e999.. sqr(x460 - x464) =L= 4; e1000.. sqr(x462 - x464) =L= 1; e1001.. sqr(0.948683298050514*x425 - 0.316227766016838*x426 - 0.948683298050514 *x465 + 0.316227766016838*x466) =L= 10; e1002.. sqr(0.832050294337844*x427 - 0.554700196225229*x428 - 0.832050294337844 *x465 + 0.554700196225229*x466) =L= 13; e1003.. sqr(0.894427190999916*x439 - 0.447213595499958*x440 - 0.894427190999916 *x465 + 0.447213595499958*x466) =L= 5; e1004.. sqr(0.554700196225229*x443 - 0.832050294337844*x444 - 0.554700196225229 *x465 + 0.832050294337844*x466) =L= 13; e1005.. sqr(x451 - x465) =L= 1; e1006.. sqr(0.707106781186547*x453 - 0.707106781186547*x454 - 0.707106781186547 *x465 + 0.707106781186547*x466) =L= 2; e1007.. sqr(0.447213595499958*x455 - 0.894427190999916*x456 - 0.447213595499958 *x465 + 0.894427190999916*x466) =L= 5; e1008.. sqr(0.316227766016838*x457 - 0.948683298050514*x458 - 0.316227766016838 *x465 + 0.948683298050514*x466) =L= 10; e1009.. sqr(0.948683298050514*x423 + 0.316227766016838*x424 - 0.948683298050514 *x467 - 0.316227766016838*x468) =L= 10; e1010.. sqr(0.948683298050514*x427 - 0.316227766016838*x428 - 0.948683298050514 *x467 + 0.316227766016838*x468) =L= 10; e1011.. sqr(0.832050294337844*x429 - 0.554700196225229*x430 - 0.832050294337844 *x467 + 0.554700196225229*x468) =L= 13; e1012.. sqr(0.894427190999916*x437 + 0.447213595499958*x438 - 0.894427190999916 *x467 - 0.447213595499958*x468) =L= 5; e1013.. sqr(0.894427190999916*x441 - 0.447213595499958*x442 - 0.894427190999916 *x467 + 0.447213595499958*x468) =L= 5; e1014.. sqr(0.554700196225229*x445 - 0.832050294337844*x446 - 0.554700196225229 *x467 + 0.832050294337844*x468) =L= 13; e1015.. sqr(0.707106781186547*x451 + 0.707106781186547*x452 - 0.707106781186547 *x467 - 0.707106781186547*x468) =L= 2; e1016.. sqr(x453 - x467) =L= 1; e1017.. sqr(0.707106781186547*x455 - 0.707106781186547*x456 - 0.707106781186547 *x467 + 0.707106781186547*x468) =L= 2; e1018.. sqr(0.447213595499958*x457 - 0.894427190999916*x458 - 0.447213595499958 *x467 + 0.894427190999916*x468) =L= 5; e1019.. sqr(0.316227766016838*x459 - 0.948683298050514*x460 - 0.316227766016838 *x467 + 0.948683298050514*x468) =L= 10; e1020.. sqr(x466 - x468) =L= 1; e1021.. sqr(0.832050294337844*x423 + 0.554700196225229*x424 - 0.832050294337844 *x469 - 0.554700196225229*x470) =L= 13; e1022.. sqr(0.948683298050514*x425 + 0.316227766016838*x426 - 0.948683298050514 *x469 - 0.316227766016838*x470) =L= 10; e1023.. sqr(0.948683298050514*x429 - 0.316227766016838*x430 - 0.948683298050514 *x469 + 0.316227766016838*x470) =L= 10; e1024.. sqr(0.832050294337844*x431 - 0.554700196225229*x432 - 0.832050294337844 *x469 + 0.554700196225229*x470) =L= 13; e1025.. sqr(0.894427190999916*x439 + 0.447213595499958*x440 - 0.894427190999916 *x469 - 0.447213595499958*x470) =L= 5; e1026.. sqr(0.894427190999916*x443 - 0.447213595499958*x444 - 0.894427190999916 *x469 + 0.447213595499958*x470) =L= 5; e1027.. sqr(0.554700196225229*x447 - 0.832050294337844*x448 - 0.554700196225229 *x469 + 0.832050294337844*x470) =L= 13; e1028.. sqr(0.447213595499958*x451 + 0.894427190999916*x452 - 0.447213595499958 *x469 - 0.894427190999916*x470) =L= 5; e1029.. sqr(0.707106781186547*x453 + 0.707106781186547*x454 - 0.707106781186547 *x469 - 0.707106781186547*x470) =L= 2; e1030.. sqr(x455 - x469) =L= 1; e1031.. sqr(0.707106781186547*x457 - 0.707106781186547*x458 - 0.707106781186547 *x469 + 0.707106781186547*x470) =L= 2; e1032.. sqr(0.447213595499958*x459 - 0.894427190999916*x460 - 0.447213595499958 *x469 + 0.894427190999916*x470) =L= 5; e1033.. sqr(0.316227766016838*x461 - 0.948683298050514*x462 - 0.316227766016838 *x469 + 0.948683298050514*x470) =L= 10; e1034.. sqr(x466 - x470) =L= 4; e1035.. sqr(x468 - x470) =L= 1; e1036.. sqr(0.832050294337844*x425 + 0.554700196225229*x426 - 0.832050294337844 *x471 - 0.554700196225229*x472) =L= 13; e1037.. sqr(0.948683298050514*x427 + 0.316227766016838*x428 - 0.948683298050514 *x471 - 0.316227766016838*x472) =L= 10; e1038.. sqr(0.948683298050514*x431 - 0.316227766016838*x432 - 0.948683298050514 *x471 + 0.316227766016838*x472) =L= 10; e1039.. sqr(0.832050294337844*x433 - 0.554700196225229*x434 - 0.832050294337844 *x471 + 0.554700196225229*x472) =L= 13; e1040.. sqr(0.554700196225229*x437 + 0.832050294337844*x438 - 0.554700196225229 *x471 - 0.832050294337844*x472) =L= 13; e1041.. sqr(0.894427190999916*x441 + 0.447213595499958*x442 - 0.894427190999916 *x471 - 0.447213595499958*x472) =L= 5; e1042.. sqr(0.894427190999916*x445 - 0.447213595499958*x446 - 0.894427190999916 *x471 + 0.447213595499958*x472) =L= 5; e1043.. sqr(0.554700196225229*x449 - 0.832050294337844*x450 - 0.554700196225229 *x471 + 0.832050294337844*x472) =L= 13; e1044.. sqr(0.316227766016838*x451 + 0.948683298050514*x452 - 0.316227766016838 *x471 - 0.948683298050514*x472) =L= 10; e1045.. sqr(0.447213595499958*x453 + 0.894427190999916*x454 - 0.447213595499958 *x471 - 0.894427190999916*x472) =L= 5; e1046.. sqr(0.707106781186547*x455 + 0.707106781186547*x456 - 0.707106781186547 *x471 - 0.707106781186547*x472) =L= 2; e1047.. sqr(x457 - x471) =L= 1; e1048.. sqr(0.707106781186547*x459 - 0.707106781186547*x460 - 0.707106781186547 *x471 + 0.707106781186547*x472) =L= 2; e1049.. sqr(0.447213595499958*x461 - 0.894427190999916*x462 - 0.447213595499958 *x471 + 0.894427190999916*x472) =L= 5; e1050.. sqr(0.316227766016838*x463 - 0.948683298050514*x464 - 0.316227766016838 *x471 + 0.948683298050514*x472) =L= 10; e1051.. sqr(x466 - x472) =L= 9; e1052.. sqr(x468 - x472) =L= 4; e1053.. sqr(x470 - x472) =L= 1; e1054.. sqr(0.832050294337844*x427 + 0.554700196225229*x428 - 0.832050294337844 *x473 - 0.554700196225229*x474) =L= 13; e1055.. sqr(0.948683298050514*x429 + 0.316227766016838*x430 - 0.948683298050514 *x473 - 0.316227766016838*x474) =L= 10; e1056.. sqr(0.948683298050514*x433 - 0.316227766016838*x434 - 0.948683298050514 *x473 + 0.316227766016838*x474) =L= 10; e1057.. sqr(0.832050294337844*x435 - 0.554700196225229*x436 - 0.832050294337844 *x473 + 0.554700196225229*x474) =L= 13; e1058.. sqr(0.554700196225229*x439 + 0.832050294337844*x440 - 0.554700196225229 *x473 - 0.832050294337844*x474) =L= 13; e1059.. sqr(0.894427190999916*x443 + 0.447213595499958*x444 - 0.894427190999916 *x473 - 0.447213595499958*x474) =L= 5; e1060.. sqr(0.894427190999916*x447 - 0.447213595499958*x448 - 0.894427190999916 *x473 + 0.447213595499958*x474) =L= 5; e1061.. sqr(0.316227766016838*x453 + 0.948683298050514*x454 - 0.316227766016838 *x473 - 0.948683298050514*x474) =L= 10; e1062.. sqr(0.447213595499958*x455 + 0.894427190999916*x456 - 0.447213595499958 *x473 - 0.894427190999916*x474) =L= 5; e1063.. sqr(0.707106781186547*x457 + 0.707106781186547*x458 - 0.707106781186547 *x473 - 0.707106781186547*x474) =L= 2; e1064.. sqr(x459 - x473) =L= 1; e1065.. sqr(0.707106781186547*x461 - 0.707106781186547*x462 - 0.707106781186547 *x473 + 0.707106781186547*x474) =L= 2; e1066.. sqr(0.447213595499958*x463 - 0.894427190999916*x464 - 0.447213595499958 *x473 + 0.894427190999916*x474) =L= 5; e1067.. sqr(x466 - x474) =L= 16; e1068.. sqr(x468 - x474) =L= 9; e1069.. sqr(x470 - x474) =L= 4; e1070.. sqr(x472 - x474) =L= 1; e1071.. sqr(0.832050294337844*x429 + 0.554700196225229*x430 - 0.832050294337844 *x475 - 0.554700196225229*x476) =L= 13; e1072.. sqr(0.948683298050514*x431 + 0.316227766016838*x432 - 0.948683298050514 *x475 - 0.316227766016838*x476) =L= 10; e1073.. sqr(0.948683298050514*x435 - 0.316227766016838*x436 - 0.948683298050514 *x475 + 0.316227766016838*x476) =L= 10; e1074.. sqr(0.554700196225229*x441 + 0.832050294337844*x442 - 0.554700196225229 *x475 - 0.832050294337844*x476) =L= 13; e1075.. sqr(0.894427190999916*x445 + 0.447213595499958*x446 - 0.894427190999916 *x475 - 0.447213595499958*x476) =L= 5; e1076.. sqr(0.894427190999916*x449 - 0.447213595499958*x450 - 0.894427190999916 *x475 + 0.447213595499958*x476) =L= 5; e1077.. sqr(0.316227766016838*x455 + 0.948683298050514*x456 - 0.316227766016838 *x475 - 0.948683298050514*x476) =L= 10; e1078.. sqr(0.447213595499958*x457 + 0.894427190999916*x458 - 0.447213595499958 *x475 - 0.894427190999916*x476) =L= 5; e1079.. sqr(0.707106781186547*x459 + 0.707106781186547*x460 - 0.707106781186547 *x475 - 0.707106781186547*x476) =L= 2; e1080.. sqr(x461 - x475) =L= 1; e1081.. sqr(0.707106781186547*x463 - 0.707106781186547*x464 - 0.707106781186547 *x475 + 0.707106781186547*x476) =L= 2; e1082.. sqr(x466 - x476) =L= 25; e1083.. sqr(x468 - x476) =L= 16; e1084.. sqr(x470 - x476) =L= 9; e1085.. sqr(x472 - x476) =L= 4; e1086.. sqr(x474 - x476) =L= 1; e1087.. sqr(0.832050294337844*x431 + 0.554700196225229*x432 - 0.832050294337844 *x477 - 0.554700196225229*x478) =L= 13; e1088.. sqr(0.948683298050514*x433 + 0.316227766016838*x434 - 0.948683298050514 *x477 - 0.316227766016838*x478) =L= 10; e1089.. sqr(0.554700196225229*x443 + 0.832050294337844*x444 - 0.554700196225229 *x477 - 0.832050294337844*x478) =L= 13; e1090.. sqr(0.894427190999916*x447 + 0.447213595499958*x448 - 0.894427190999916 *x477 - 0.447213595499958*x478) =L= 5; e1091.. sqr(0.316227766016838*x457 + 0.948683298050514*x458 - 0.316227766016838 *x477 - 0.948683298050514*x478) =L= 10; e1092.. sqr(0.447213595499958*x459 + 0.894427190999916*x460 - 0.447213595499958 *x477 - 0.894427190999916*x478) =L= 5; e1093.. sqr(0.707106781186547*x461 + 0.707106781186547*x462 - 0.707106781186547 *x477 - 0.707106781186547*x478) =L= 2; e1094.. sqr(x463 - x477) =L= 1; e1095.. sqr(x466 - x478) =L= 36; e1096.. sqr(x468 - x478) =L= 25; e1097.. sqr(x470 - x478) =L= 16; e1098.. sqr(x472 - x478) =L= 9; e1099.. sqr(x474 - x478) =L= 4; e1100.. sqr(x476 - x478) =L= 1; e1101.. sqr(0.948683298050514*x439 - 0.316227766016838*x440 - 0.948683298050514 *x479 + 0.316227766016838*x480) =L= 10; e1102.. sqr(0.832050294337844*x441 - 0.554700196225229*x442 - 0.832050294337844 *x479 + 0.554700196225229*x480) =L= 13; e1103.. sqr(0.894427190999916*x453 - 0.447213595499958*x454 - 0.894427190999916 *x479 + 0.447213595499958*x480) =L= 5; e1104.. sqr(0.554700196225229*x457 - 0.832050294337844*x458 - 0.554700196225229 *x479 + 0.832050294337844*x480) =L= 13; e1105.. sqr(x465 - x479) =L= 1; e1106.. sqr(0.707106781186547*x467 - 0.707106781186547*x468 - 0.707106781186547 *x479 + 0.707106781186547*x480) =L= 2; e1107.. sqr(0.447213595499958*x469 - 0.894427190999916*x470 - 0.447213595499958 *x479 + 0.894427190999916*x480) =L= 5; e1108.. sqr(0.316227766016838*x471 - 0.948683298050514*x472 - 0.316227766016838 *x479 + 0.948683298050514*x480) =L= 10; e1109.. sqr(0.948683298050514*x437 + 0.316227766016838*x438 - 0.948683298050514 *x481 - 0.316227766016838*x482) =L= 10; e1110.. sqr(0.948683298050514*x441 - 0.316227766016838*x442 - 0.948683298050514 *x481 + 0.316227766016838*x482) =L= 10; e1111.. sqr(0.832050294337844*x443 - 0.554700196225229*x444 - 0.832050294337844 *x481 + 0.554700196225229*x482) =L= 13; e1112.. sqr(0.894427190999916*x451 + 0.447213595499958*x452 - 0.894427190999916 *x481 - 0.447213595499958*x482) =L= 5; e1113.. sqr(0.894427190999916*x455 - 0.447213595499958*x456 - 0.894427190999916 *x481 + 0.447213595499958*x482) =L= 5; e1114.. sqr(0.554700196225229*x459 - 0.832050294337844*x460 - 0.554700196225229 *x481 + 0.832050294337844*x482) =L= 13; e1115.. sqr(0.707106781186547*x465 + 0.707106781186547*x466 - 0.707106781186547 *x481 - 0.707106781186547*x482) =L= 2; e1116.. sqr(x467 - x481) =L= 1; e1117.. sqr(0.707106781186547*x469 - 0.707106781186547*x470 - 0.707106781186547 *x481 + 0.707106781186547*x482) =L= 2; e1118.. sqr(0.447213595499958*x471 - 0.894427190999916*x472 - 0.447213595499958 *x481 + 0.894427190999916*x482) =L= 5; e1119.. sqr(0.316227766016838*x473 - 0.948683298050514*x474 - 0.316227766016838 *x481 + 0.948683298050514*x482) =L= 10; e1120.. sqr(x480 - x482) =L= 1; e1121.. sqr(0.832050294337844*x437 + 0.554700196225229*x438 - 0.832050294337844 *x483 - 0.554700196225229*x484) =L= 13; e1122.. sqr(0.948683298050514*x439 + 0.316227766016838*x440 - 0.948683298050514 *x483 - 0.316227766016838*x484) =L= 10; e1123.. sqr(0.948683298050514*x443 - 0.316227766016838*x444 - 0.948683298050514 *x483 + 0.316227766016838*x484) =L= 10; e1124.. sqr(0.832050294337844*x445 - 0.554700196225229*x446 - 0.832050294337844 *x483 + 0.554700196225229*x484) =L= 13; e1125.. sqr(0.894427190999916*x453 + 0.447213595499958*x454 - 0.894427190999916 *x483 - 0.447213595499958*x484) =L= 5; e1126.. sqr(0.894427190999916*x457 - 0.447213595499958*x458 - 0.894427190999916 *x483 + 0.447213595499958*x484) =L= 5; e1127.. sqr(0.554700196225229*x461 - 0.832050294337844*x462 - 0.554700196225229 *x483 + 0.832050294337844*x484) =L= 13; e1128.. sqr(0.447213595499958*x465 + 0.894427190999916*x466 - 0.447213595499958 *x483 - 0.894427190999916*x484) =L= 5; e1129.. sqr(0.707106781186547*x467 + 0.707106781186547*x468 - 0.707106781186547 *x483 - 0.707106781186547*x484) =L= 2; e1130.. sqr(x469 - x483) =L= 1; e1131.. sqr(0.707106781186547*x471 - 0.707106781186547*x472 - 0.707106781186547 *x483 + 0.707106781186547*x484) =L= 2; e1132.. sqr(0.447213595499958*x473 - 0.894427190999916*x474 - 0.447213595499958 *x483 + 0.894427190999916*x484) =L= 5; e1133.. sqr(0.316227766016838*x475 - 0.948683298050514*x476 - 0.316227766016838 *x483 + 0.948683298050514*x484) =L= 10; e1134.. sqr(x480 - x484) =L= 4; e1135.. sqr(x482 - x484) =L= 1; e1136.. sqr(0.832050294337844*x439 + 0.554700196225229*x440 - 0.832050294337844 *x485 - 0.554700196225229*x486) =L= 13; e1137.. sqr(0.948683298050514*x441 + 0.316227766016838*x442 - 0.948683298050514 *x485 - 0.316227766016838*x486) =L= 10; e1138.. sqr(0.948683298050514*x445 - 0.316227766016838*x446 - 0.948683298050514 *x485 + 0.316227766016838*x486) =L= 10; e1139.. sqr(0.832050294337844*x447 - 0.554700196225229*x448 - 0.832050294337844 *x485 + 0.554700196225229*x486) =L= 13; e1140.. sqr(0.554700196225229*x451 + 0.832050294337844*x452 - 0.554700196225229 *x485 - 0.832050294337844*x486) =L= 13; e1141.. sqr(0.894427190999916*x455 + 0.447213595499958*x456 - 0.894427190999916 *x485 - 0.447213595499958*x486) =L= 5; e1142.. sqr(0.894427190999916*x459 - 0.447213595499958*x460 - 0.894427190999916 *x485 + 0.447213595499958*x486) =L= 5; e1143.. sqr(0.554700196225229*x463 - 0.832050294337844*x464 - 0.554700196225229 *x485 + 0.832050294337844*x486) =L= 13; e1144.. sqr(0.316227766016838*x465 + 0.948683298050514*x466 - 0.316227766016838 *x485 - 0.948683298050514*x486) =L= 10; e1145.. sqr(0.447213595499958*x467 + 0.894427190999916*x468 - 0.447213595499958 *x485 - 0.894427190999916*x486) =L= 5; e1146.. sqr(0.707106781186547*x469 + 0.707106781186547*x470 - 0.707106781186547 *x485 - 0.707106781186547*x486) =L= 2; e1147.. sqr(x471 - x485) =L= 1; e1148.. sqr(0.707106781186547*x473 - 0.707106781186547*x474 - 0.707106781186547 *x485 + 0.707106781186547*x486) =L= 2; e1149.. sqr(0.447213595499958*x475 - 0.894427190999916*x476 - 0.447213595499958 *x485 + 0.894427190999916*x486) =L= 5; e1150.. sqr(0.316227766016838*x477 - 0.948683298050514*x478 - 0.316227766016838 *x485 + 0.948683298050514*x486) =L= 10; e1151.. sqr(x480 - x486) =L= 9; e1152.. sqr(x482 - x486) =L= 4; e1153.. sqr(x484 - x486) =L= 1; e1154.. sqr(0.832050294337844*x441 + 0.554700196225229*x442 - 0.832050294337844 *x487 - 0.554700196225229*x488) =L= 13; e1155.. sqr(0.948683298050514*x443 + 0.316227766016838*x444 - 0.948683298050514 *x487 - 0.316227766016838*x488) =L= 10; e1156.. sqr(0.948683298050514*x447 - 0.316227766016838*x448 - 0.948683298050514 *x487 + 0.316227766016838*x488) =L= 10; e1157.. sqr(0.832050294337844*x449 - 0.554700196225229*x450 - 0.832050294337844 *x487 + 0.554700196225229*x488) =L= 13; e1158.. sqr(0.554700196225229*x453 + 0.832050294337844*x454 - 0.554700196225229 *x487 - 0.832050294337844*x488) =L= 13; e1159.. sqr(0.894427190999916*x457 + 0.447213595499958*x458 - 0.894427190999916 *x487 - 0.447213595499958*x488) =L= 5; e1160.. sqr(0.894427190999916*x461 - 0.447213595499958*x462 - 0.894427190999916 *x487 + 0.447213595499958*x488) =L= 5; e1161.. sqr(0.316227766016838*x467 + 0.948683298050514*x468 - 0.316227766016838 *x487 - 0.948683298050514*x488) =L= 10; e1162.. sqr(0.447213595499958*x469 + 0.894427190999916*x470 - 0.447213595499958 *x487 - 0.894427190999916*x488) =L= 5; e1163.. sqr(0.707106781186547*x471 + 0.707106781186547*x472 - 0.707106781186547 *x487 - 0.707106781186547*x488) =L= 2; e1164.. sqr(x473 - x487) =L= 1; e1165.. sqr(0.707106781186547*x475 - 0.707106781186547*x476 - 0.707106781186547 *x487 + 0.707106781186547*x488) =L= 2; e1166.. sqr(0.447213595499958*x477 - 0.894427190999916*x478 - 0.447213595499958 *x487 + 0.894427190999916*x488) =L= 5; e1167.. sqr(x480 - x488) =L= 16; e1168.. sqr(x482 - x488) =L= 9; e1169.. sqr(x484 - x488) =L= 4; e1170.. sqr(x486 - x488) =L= 1; e1171.. sqr(0.832050294337844*x443 + 0.554700196225229*x444 - 0.832050294337844 *x489 - 0.554700196225229*x490) =L= 13; e1172.. sqr(0.948683298050514*x445 + 0.316227766016838*x446 - 0.948683298050514 *x489 - 0.316227766016838*x490) =L= 10; e1173.. sqr(0.948683298050514*x449 - 0.316227766016838*x450 - 0.948683298050514 *x489 + 0.316227766016838*x490) =L= 10; e1174.. sqr(0.554700196225229*x455 + 0.832050294337844*x456 - 0.554700196225229 *x489 - 0.832050294337844*x490) =L= 13; e1175.. sqr(0.894427190999916*x459 + 0.447213595499958*x460 - 0.894427190999916 *x489 - 0.447213595499958*x490) =L= 5; e1176.. sqr(0.894427190999916*x463 - 0.447213595499958*x464 - 0.894427190999916 *x489 + 0.447213595499958*x490) =L= 5; e1177.. sqr(0.316227766016838*x469 + 0.948683298050514*x470 - 0.316227766016838 *x489 - 0.948683298050514*x490) =L= 10; e1178.. sqr(0.447213595499958*x471 + 0.894427190999916*x472 - 0.447213595499958 *x489 - 0.894427190999916*x490) =L= 5; e1179.. sqr(0.707106781186547*x473 + 0.707106781186547*x474 - 0.707106781186547 *x489 - 0.707106781186547*x490) =L= 2; e1180.. sqr(x475 - x489) =L= 1; e1181.. sqr(0.707106781186547*x477 - 0.707106781186547*x478 - 0.707106781186547 *x489 + 0.707106781186547*x490) =L= 2; e1182.. sqr(x480 - x490) =L= 25; e1183.. sqr(x482 - x490) =L= 16; e1184.. sqr(x484 - x490) =L= 9; e1185.. sqr(x486 - x490) =L= 4; e1186.. sqr(x488 - x490) =L= 1; e1187.. sqr(0.832050294337844*x445 + 0.554700196225229*x446 - 0.832050294337844 *x491 - 0.554700196225229*x492) =L= 13; e1188.. sqr(0.948683298050514*x447 + 0.316227766016838*x448 - 0.948683298050514 *x491 - 0.316227766016838*x492) =L= 10; e1189.. sqr(0.554700196225229*x457 + 0.832050294337844*x458 - 0.554700196225229 *x491 - 0.832050294337844*x492) =L= 13; e1190.. sqr(0.894427190999916*x461 + 0.447213595499958*x462 - 0.894427190999916 *x491 - 0.447213595499958*x492) =L= 5; e1191.. sqr(0.316227766016838*x471 + 0.948683298050514*x472 - 0.316227766016838 *x491 - 0.948683298050514*x492) =L= 10; e1192.. sqr(0.447213595499958*x473 + 0.894427190999916*x474 - 0.447213595499958 *x491 - 0.894427190999916*x492) =L= 5; e1193.. sqr(0.707106781186547*x475 + 0.707106781186547*x476 - 0.707106781186547 *x491 - 0.707106781186547*x492) =L= 2; e1194.. sqr(x477 - x491) =L= 1; e1195.. sqr(x480 - x492) =L= 36; e1196.. sqr(x482 - x492) =L= 25; e1197.. sqr(x484 - x492) =L= 16; e1198.. sqr(x486 - x492) =L= 9; e1199.. sqr(x488 - x492) =L= 4; e1200.. sqr(x490 - x492) =L= 1; e1201.. sqr(0.948683298050514*x453 - 0.316227766016838*x454 - 0.948683298050514 *x493 + 0.316227766016838*x494) =L= 10; e1202.. sqr(0.832050294337844*x455 - 0.554700196225229*x456 - 0.832050294337844 *x493 + 0.554700196225229*x494) =L= 13; e1203.. sqr(0.894427190999916*x467 - 0.447213595499958*x468 - 0.894427190999916 *x493 + 0.447213595499958*x494) =L= 5; e1204.. sqr(0.554700196225229*x471 - 0.832050294337844*x472 - 0.554700196225229 *x493 + 0.832050294337844*x494) =L= 13; e1205.. sqr(x479 - x493) =L= 1; e1206.. sqr(0.707106781186547*x481 - 0.707106781186547*x482 - 0.707106781186547 *x493 + 0.707106781186547*x494) =L= 2; e1207.. sqr(0.447213595499958*x483 - 0.894427190999916*x484 - 0.447213595499958 *x493 + 0.894427190999916*x494) =L= 5; e1208.. sqr(0.316227766016838*x485 - 0.948683298050514*x486 - 0.316227766016838 *x493 + 0.948683298050514*x494) =L= 10; e1209.. sqr(0.948683298050514*x451 + 0.316227766016838*x452 - 0.948683298050514 *x495 - 0.316227766016838*x496) =L= 10; e1210.. sqr(0.948683298050514*x455 - 0.316227766016838*x456 - 0.948683298050514 *x495 + 0.316227766016838*x496) =L= 10; e1211.. sqr(0.832050294337844*x457 - 0.554700196225229*x458 - 0.832050294337844 *x495 + 0.554700196225229*x496) =L= 13; e1212.. sqr(0.894427190999916*x465 + 0.447213595499958*x466 - 0.894427190999916 *x495 - 0.447213595499958*x496) =L= 5; e1213.. sqr(0.894427190999916*x469 - 0.447213595499958*x470 - 0.894427190999916 *x495 + 0.447213595499958*x496) =L= 5; e1214.. sqr(0.554700196225229*x473 - 0.832050294337844*x474 - 0.554700196225229 *x495 + 0.832050294337844*x496) =L= 13; e1215.. sqr(0.707106781186547*x479 + 0.707106781186547*x480 - 0.707106781186547 *x495 - 0.707106781186547*x496) =L= 2; e1216.. sqr(x481 - x495) =L= 1; e1217.. sqr(0.707106781186547*x483 - 0.707106781186547*x484 - 0.707106781186547 *x495 + 0.707106781186547*x496) =L= 2; e1218.. sqr(0.447213595499958*x485 - 0.894427190999916*x486 - 0.447213595499958 *x495 + 0.894427190999916*x496) =L= 5; e1219.. sqr(0.316227766016838*x487 - 0.948683298050514*x488 - 0.316227766016838 *x495 + 0.948683298050514*x496) =L= 10; e1220.. sqr(x494 - x496) =L= 1; e1221.. sqr(0.832050294337844*x451 + 0.554700196225229*x452 - 0.832050294337844 *x497 - 0.554700196225229*x498) =L= 13; e1222.. sqr(0.948683298050514*x453 + 0.316227766016838*x454 - 0.948683298050514 *x497 - 0.316227766016838*x498) =L= 10; e1223.. sqr(0.948683298050514*x457 - 0.316227766016838*x458 - 0.948683298050514 *x497 + 0.316227766016838*x498) =L= 10; e1224.. sqr(0.832050294337844*x459 - 0.554700196225229*x460 - 0.832050294337844 *x497 + 0.554700196225229*x498) =L= 13; e1225.. sqr(0.894427190999916*x467 + 0.447213595499958*x468 - 0.894427190999916 *x497 - 0.447213595499958*x498) =L= 5; e1226.. sqr(0.894427190999916*x471 - 0.447213595499958*x472 - 0.894427190999916 *x497 + 0.447213595499958*x498) =L= 5; e1227.. sqr(0.554700196225229*x475 - 0.832050294337844*x476 - 0.554700196225229 *x497 + 0.832050294337844*x498) =L= 13; e1228.. sqr(0.447213595499958*x479 + 0.894427190999916*x480 - 0.447213595499958 *x497 - 0.894427190999916*x498) =L= 5; e1229.. sqr(0.707106781186547*x481 + 0.707106781186547*x482 - 0.707106781186547 *x497 - 0.707106781186547*x498) =L= 2; e1230.. sqr(x483 - x497) =L= 1; e1231.. sqr(0.707106781186547*x485 - 0.707106781186547*x486 - 0.707106781186547 *x497 + 0.707106781186547*x498) =L= 2; e1232.. sqr(0.447213595499958*x487 - 0.894427190999916*x488 - 0.447213595499958 *x497 + 0.894427190999916*x498) =L= 5; e1233.. sqr(0.316227766016838*x489 - 0.948683298050514*x490 - 0.316227766016838 *x497 + 0.948683298050514*x498) =L= 10; e1234.. sqr(x494 - x498) =L= 4; e1235.. sqr(x496 - x498) =L= 1; e1236.. sqr(0.832050294337844*x453 + 0.554700196225229*x454 - 0.832050294337844 *x499 - 0.554700196225229*x500) =L= 13; e1237.. sqr(0.948683298050514*x455 + 0.316227766016838*x456 - 0.948683298050514 *x499 - 0.316227766016838*x500) =L= 10; e1238.. sqr(0.948683298050514*x459 - 0.316227766016838*x460 - 0.948683298050514 *x499 + 0.316227766016838*x500) =L= 10; e1239.. sqr(0.832050294337844*x461 - 0.554700196225229*x462 - 0.832050294337844 *x499 + 0.554700196225229*x500) =L= 13; e1240.. sqr(0.554700196225229*x465 + 0.832050294337844*x466 - 0.554700196225229 *x499 - 0.832050294337844*x500) =L= 13; e1241.. sqr(0.894427190999916*x469 + 0.447213595499958*x470 - 0.894427190999916 *x499 - 0.447213595499958*x500) =L= 5; e1242.. sqr(0.894427190999916*x473 - 0.447213595499958*x474 - 0.894427190999916 *x499 + 0.447213595499958*x500) =L= 5; e1243.. sqr(0.554700196225229*x477 - 0.832050294337844*x478 - 0.554700196225229 *x499 + 0.832050294337844*x500) =L= 13; e1244.. sqr(0.316227766016838*x479 + 0.948683298050514*x480 - 0.316227766016838 *x499 - 0.948683298050514*x500) =L= 10; e1245.. sqr(0.447213595499958*x481 + 0.894427190999916*x482 - 0.447213595499958 *x499 - 0.894427190999916*x500) =L= 5; e1246.. sqr(0.707106781186547*x483 + 0.707106781186547*x484 - 0.707106781186547 *x499 - 0.707106781186547*x500) =L= 2; e1247.. sqr(x485 - x499) =L= 1; e1248.. sqr(0.707106781186547*x487 - 0.707106781186547*x488 - 0.707106781186547 *x499 + 0.707106781186547*x500) =L= 2; e1249.. sqr(0.447213595499958*x489 - 0.894427190999916*x490 - 0.447213595499958 *x499 + 0.894427190999916*x500) =L= 5; e1250.. sqr(0.316227766016838*x491 - 0.948683298050514*x492 - 0.316227766016838 *x499 + 0.948683298050514*x500) =L= 10; e1251.. sqr(x494 - x500) =L= 9; e1252.. sqr(x496 - x500) =L= 4; e1253.. sqr(x498 - x500) =L= 1; e1254.. sqr(0.832050294337844*x455 + 0.554700196225229*x456 - 0.832050294337844 *x501 - 0.554700196225229*x502) =L= 13; e1255.. sqr(0.948683298050514*x457 + 0.316227766016838*x458 - 0.948683298050514 *x501 - 0.316227766016838*x502) =L= 10; e1256.. sqr(0.948683298050514*x461 - 0.316227766016838*x462 - 0.948683298050514 *x501 + 0.316227766016838*x502) =L= 10; e1257.. sqr(0.832050294337844*x463 - 0.554700196225229*x464 - 0.832050294337844 *x501 + 0.554700196225229*x502) =L= 13; e1258.. sqr(0.554700196225229*x467 + 0.832050294337844*x468 - 0.554700196225229 *x501 - 0.832050294337844*x502) =L= 13; e1259.. sqr(0.894427190999916*x471 + 0.447213595499958*x472 - 0.894427190999916 *x501 - 0.447213595499958*x502) =L= 5; e1260.. sqr(0.894427190999916*x475 - 0.447213595499958*x476 - 0.894427190999916 *x501 + 0.447213595499958*x502) =L= 5; e1261.. sqr(0.316227766016838*x481 + 0.948683298050514*x482 - 0.316227766016838 *x501 - 0.948683298050514*x502) =L= 10; e1262.. sqr(0.447213595499958*x483 + 0.894427190999916*x484 - 0.447213595499958 *x501 - 0.894427190999916*x502) =L= 5; e1263.. sqr(0.707106781186547*x485 + 0.707106781186547*x486 - 0.707106781186547 *x501 - 0.707106781186547*x502) =L= 2; e1264.. sqr(x487 - x501) =L= 1; e1265.. sqr(0.707106781186547*x489 - 0.707106781186547*x490 - 0.707106781186547 *x501 + 0.707106781186547*x502) =L= 2; e1266.. sqr(0.447213595499958*x491 - 0.894427190999916*x492 - 0.447213595499958 *x501 + 0.894427190999916*x502) =L= 5; e1267.. sqr(x494 - x502) =L= 16; e1268.. sqr(x496 - x502) =L= 9; e1269.. sqr(x498 - x502) =L= 4; e1270.. sqr(x500 - x502) =L= 1; e1271.. sqr(0.832050294337844*x457 + 0.554700196225229*x458 - 0.832050294337844 *x503 - 0.554700196225229*x504) =L= 13; e1272.. sqr(0.948683298050514*x459 + 0.316227766016838*x460 - 0.948683298050514 *x503 - 0.316227766016838*x504) =L= 10; e1273.. sqr(0.948683298050514*x463 - 0.316227766016838*x464 - 0.948683298050514 *x503 + 0.316227766016838*x504) =L= 10; e1274.. sqr(0.554700196225229*x469 + 0.832050294337844*x470 - 0.554700196225229 *x503 - 0.832050294337844*x504) =L= 13; e1275.. sqr(0.894427190999916*x473 + 0.447213595499958*x474 - 0.894427190999916 *x503 - 0.447213595499958*x504) =L= 5; e1276.. sqr(0.894427190999916*x477 - 0.447213595499958*x478 - 0.894427190999916 *x503 + 0.447213595499958*x504) =L= 5; e1277.. sqr(0.316227766016838*x483 + 0.948683298050514*x484 - 0.316227766016838 *x503 - 0.948683298050514*x504) =L= 10; e1278.. sqr(0.447213595499958*x485 + 0.894427190999916*x486 - 0.447213595499958 *x503 - 0.894427190999916*x504) =L= 5; e1279.. sqr(0.707106781186547*x487 + 0.707106781186547*x488 - 0.707106781186547 *x503 - 0.707106781186547*x504) =L= 2; e1280.. sqr(x489 - x503) =L= 1; e1281.. sqr(0.707106781186547*x491 - 0.707106781186547*x492 - 0.707106781186547 *x503 + 0.707106781186547*x504) =L= 2; e1282.. sqr(x494 - x504) =L= 25; e1283.. sqr(x496 - x504) =L= 16; e1284.. sqr(x498 - x504) =L= 9; e1285.. sqr(x500 - x504) =L= 4; e1286.. sqr(x502 - x504) =L= 1; e1287.. sqr(0.832050294337844*x459 + 0.554700196225229*x460 - 0.832050294337844 *x505 - 0.554700196225229*x506) =L= 13; e1288.. sqr(0.948683298050514*x461 + 0.316227766016838*x462 - 0.948683298050514 *x505 - 0.316227766016838*x506) =L= 10; e1289.. sqr(0.554700196225229*x471 + 0.832050294337844*x472 - 0.554700196225229 *x505 - 0.832050294337844*x506) =L= 13; e1290.. sqr(0.894427190999916*x475 + 0.447213595499958*x476 - 0.894427190999916 *x505 - 0.447213595499958*x506) =L= 5; e1291.. sqr(0.316227766016838*x485 + 0.948683298050514*x486 - 0.316227766016838 *x505 - 0.948683298050514*x506) =L= 10; e1292.. sqr(0.447213595499958*x487 + 0.894427190999916*x488 - 0.447213595499958 *x505 - 0.894427190999916*x506) =L= 5; e1293.. sqr(0.707106781186547*x489 + 0.707106781186547*x490 - 0.707106781186547 *x505 - 0.707106781186547*x506) =L= 2; e1294.. sqr(x491 - x505) =L= 1; e1295.. sqr(x494 - x506) =L= 36; e1296.. sqr(x496 - x506) =L= 25; e1297.. sqr(x498 - x506) =L= 16; e1298.. sqr(x500 - x506) =L= 9; e1299.. sqr(x502 - x506) =L= 4; e1300.. sqr(x504 - x506) =L= 1; e1301.. sqr(0.948683298050514*x467 - 0.316227766016838*x468 - 0.948683298050514 *x507 + 0.316227766016838*x508) =L= 10; e1302.. sqr(0.832050294337844*x469 - 0.554700196225229*x470 - 0.832050294337844 *x507 + 0.554700196225229*x508) =L= 13; e1303.. sqr(0.894427190999916*x481 - 0.447213595499958*x482 - 0.894427190999916 *x507 + 0.447213595499958*x508) =L= 5; e1304.. sqr(0.554700196225229*x485 - 0.832050294337844*x486 - 0.554700196225229 *x507 + 0.832050294337844*x508) =L= 13; e1305.. sqr(x493 - x507) =L= 1; e1306.. sqr(0.707106781186547*x495 - 0.707106781186547*x496 - 0.707106781186547 *x507 + 0.707106781186547*x508) =L= 2; e1307.. sqr(0.447213595499958*x497 - 0.894427190999916*x498 - 0.447213595499958 *x507 + 0.894427190999916*x508) =L= 5; e1308.. sqr(0.316227766016838*x499 - 0.948683298050514*x500 - 0.316227766016838 *x507 + 0.948683298050514*x508) =L= 10; e1309.. sqr(0.948683298050514*x465 + 0.316227766016838*x466 - 0.948683298050514 *x509 - 0.316227766016838*x510) =L= 10; e1310.. sqr(0.948683298050514*x469 - 0.316227766016838*x470 - 0.948683298050514 *x509 + 0.316227766016838*x510) =L= 10; e1311.. sqr(0.832050294337844*x471 - 0.554700196225229*x472 - 0.832050294337844 *x509 + 0.554700196225229*x510) =L= 13; e1312.. sqr(0.894427190999916*x479 + 0.447213595499958*x480 - 0.894427190999916 *x509 - 0.447213595499958*x510) =L= 5; e1313.. sqr(0.894427190999916*x483 - 0.447213595499958*x484 - 0.894427190999916 *x509 + 0.447213595499958*x510) =L= 5; e1314.. sqr(0.554700196225229*x487 - 0.832050294337844*x488 - 0.554700196225229 *x509 + 0.832050294337844*x510) =L= 13; e1315.. sqr(0.707106781186547*x493 + 0.707106781186547*x494 - 0.707106781186547 *x509 - 0.707106781186547*x510) =L= 2; e1316.. sqr(x495 - x509) =L= 1; e1317.. sqr(0.707106781186547*x497 - 0.707106781186547*x498 - 0.707106781186547 *x509 + 0.707106781186547*x510) =L= 2; e1318.. sqr(0.447213595499958*x499 - 0.894427190999916*x500 - 0.447213595499958 *x509 + 0.894427190999916*x510) =L= 5; e1319.. sqr(0.316227766016838*x501 - 0.948683298050514*x502 - 0.316227766016838 *x509 + 0.948683298050514*x510) =L= 10; e1320.. sqr(x508 - x510) =L= 1; e1321.. sqr(0.832050294337844*x465 + 0.554700196225229*x466 - 0.832050294337844 *x511 - 0.554700196225229*x512) =L= 13; e1322.. sqr(0.948683298050514*x467 + 0.316227766016838*x468 - 0.948683298050514 *x511 - 0.316227766016838*x512) =L= 10; e1323.. sqr(0.948683298050514*x471 - 0.316227766016838*x472 - 0.948683298050514 *x511 + 0.316227766016838*x512) =L= 10; e1324.. sqr(0.832050294337844*x473 - 0.554700196225229*x474 - 0.832050294337844 *x511 + 0.554700196225229*x512) =L= 13; e1325.. sqr(0.894427190999916*x481 + 0.447213595499958*x482 - 0.894427190999916 *x511 - 0.447213595499958*x512) =L= 5; e1326.. sqr(0.894427190999916*x485 - 0.447213595499958*x486 - 0.894427190999916 *x511 + 0.447213595499958*x512) =L= 5; e1327.. sqr(0.554700196225229*x489 - 0.832050294337844*x490 - 0.554700196225229 *x511 + 0.832050294337844*x512) =L= 13; e1328.. sqr(0.447213595499958*x493 + 0.894427190999916*x494 - 0.447213595499958 *x511 - 0.894427190999916*x512) =L= 5; e1329.. sqr(0.707106781186547*x495 + 0.707106781186547*x496 - 0.707106781186547 *x511 - 0.707106781186547*x512) =L= 2; e1330.. sqr(x497 - x511) =L= 1; e1331.. sqr(0.707106781186547*x499 - 0.707106781186547*x500 - 0.707106781186547 *x511 + 0.707106781186547*x512) =L= 2; e1332.. sqr(0.447213595499958*x501 - 0.894427190999916*x502 - 0.447213595499958 *x511 + 0.894427190999916*x512) =L= 5; e1333.. sqr(0.316227766016838*x503 - 0.948683298050514*x504 - 0.316227766016838 *x511 + 0.948683298050514*x512) =L= 10; e1334.. sqr(x508 - x512) =L= 4; e1335.. sqr(x510 - x512) =L= 1; e1336.. sqr(0.832050294337844*x467 + 0.554700196225229*x468 - 0.832050294337844 *x513 - 0.554700196225229*x514) =L= 13; e1337.. sqr(0.948683298050514*x469 + 0.316227766016838*x470 - 0.948683298050514 *x513 - 0.316227766016838*x514) =L= 10; e1338.. sqr(0.948683298050514*x473 - 0.316227766016838*x474 - 0.948683298050514 *x513 + 0.316227766016838*x514) =L= 10; e1339.. sqr(0.832050294337844*x475 - 0.554700196225229*x476 - 0.832050294337844 *x513 + 0.554700196225229*x514) =L= 13; e1340.. sqr(0.554700196225229*x479 + 0.832050294337844*x480 - 0.554700196225229 *x513 - 0.832050294337844*x514) =L= 13; e1341.. sqr(0.894427190999916*x483 + 0.447213595499958*x484 - 0.894427190999916 *x513 - 0.447213595499958*x514) =L= 5; e1342.. sqr(0.894427190999916*x487 - 0.447213595499958*x488 - 0.894427190999916 *x513 + 0.447213595499958*x514) =L= 5; e1343.. sqr(0.554700196225229*x491 - 0.832050294337844*x492 - 0.554700196225229 *x513 + 0.832050294337844*x514) =L= 13; e1344.. sqr(0.316227766016838*x493 + 0.948683298050514*x494 - 0.316227766016838 *x513 - 0.948683298050514*x514) =L= 10; e1345.. sqr(0.447213595499958*x495 + 0.894427190999916*x496 - 0.447213595499958 *x513 - 0.894427190999916*x514) =L= 5; e1346.. sqr(0.707106781186547*x497 + 0.707106781186547*x498 - 0.707106781186547 *x513 - 0.707106781186547*x514) =L= 2; e1347.. sqr(x499 - x513) =L= 1; e1348.. sqr(0.707106781186547*x501 - 0.707106781186547*x502 - 0.707106781186547 *x513 + 0.707106781186547*x514) =L= 2; e1349.. sqr(0.447213595499958*x503 - 0.894427190999916*x504 - 0.447213595499958 *x513 + 0.894427190999916*x514) =L= 5; e1350.. sqr(0.316227766016838*x505 - 0.948683298050514*x506 - 0.316227766016838 *x513 + 0.948683298050514*x514) =L= 10; e1351.. sqr(x508 - x514) =L= 9; e1352.. sqr(x510 - x514) =L= 4; e1353.. sqr(x512 - x514) =L= 1; e1354.. sqr(0.832050294337844*x469 + 0.554700196225229*x470 - 0.832050294337844 *x515 - 0.554700196225229*x516) =L= 13; e1355.. sqr(0.948683298050514*x471 + 0.316227766016838*x472 - 0.948683298050514 *x515 - 0.316227766016838*x516) =L= 10; e1356.. sqr(0.948683298050514*x475 - 0.316227766016838*x476 - 0.948683298050514 *x515 + 0.316227766016838*x516) =L= 10; e1357.. sqr(0.832050294337844*x477 - 0.554700196225229*x478 - 0.832050294337844 *x515 + 0.554700196225229*x516) =L= 13; e1358.. sqr(0.554700196225229*x481 + 0.832050294337844*x482 - 0.554700196225229 *x515 - 0.832050294337844*x516) =L= 13; e1359.. sqr(0.894427190999916*x485 + 0.447213595499958*x486 - 0.894427190999916 *x515 - 0.447213595499958*x516) =L= 5; e1360.. sqr(0.894427190999916*x489 - 0.447213595499958*x490 - 0.894427190999916 *x515 + 0.447213595499958*x516) =L= 5; e1361.. sqr(0.316227766016838*x495 + 0.948683298050514*x496 - 0.316227766016838 *x515 - 0.948683298050514*x516) =L= 10; e1362.. sqr(0.447213595499958*x497 + 0.894427190999916*x498 - 0.447213595499958 *x515 - 0.894427190999916*x516) =L= 5; e1363.. sqr(0.707106781186547*x499 + 0.707106781186547*x500 - 0.707106781186547 *x515 - 0.707106781186547*x516) =L= 2; e1364.. sqr(x501 - x515) =L= 1; e1365.. sqr(0.707106781186547*x503 - 0.707106781186547*x504 - 0.707106781186547 *x515 + 0.707106781186547*x516) =L= 2; e1366.. sqr(0.447213595499958*x505 - 0.894427190999916*x506 - 0.447213595499958 *x515 + 0.894427190999916*x516) =L= 5; e1367.. sqr(x508 - x516) =L= 16; e1368.. sqr(x510 - x516) =L= 9; e1369.. sqr(x512 - x516) =L= 4; e1370.. sqr(x514 - x516) =L= 1; e1371.. sqr(0.832050294337844*x471 + 0.554700196225229*x472 - 0.832050294337844 *x517 - 0.554700196225229*x518) =L= 13; e1372.. sqr(0.948683298050514*x473 + 0.316227766016838*x474 - 0.948683298050514 *x517 - 0.316227766016838*x518) =L= 10; e1373.. sqr(0.948683298050514*x477 - 0.316227766016838*x478 - 0.948683298050514 *x517 + 0.316227766016838*x518) =L= 10; e1374.. sqr(0.554700196225229*x483 + 0.832050294337844*x484 - 0.554700196225229 *x517 - 0.832050294337844*x518) =L= 13; e1375.. sqr(0.894427190999916*x487 + 0.447213595499958*x488 - 0.894427190999916 *x517 - 0.447213595499958*x518) =L= 5; e1376.. sqr(0.894427190999916*x491 - 0.447213595499958*x492 - 0.894427190999916 *x517 + 0.447213595499958*x518) =L= 5; e1377.. sqr(0.316227766016838*x497 + 0.948683298050514*x498 - 0.316227766016838 *x517 - 0.948683298050514*x518) =L= 10; e1378.. sqr(0.447213595499958*x499 + 0.894427190999916*x500 - 0.447213595499958 *x517 - 0.894427190999916*x518) =L= 5; e1379.. sqr(0.707106781186547*x501 + 0.707106781186547*x502 - 0.707106781186547 *x517 - 0.707106781186547*x518) =L= 2; e1380.. sqr(x503 - x517) =L= 1; e1381.. sqr(0.707106781186547*x505 - 0.707106781186547*x506 - 0.707106781186547 *x517 + 0.707106781186547*x518) =L= 2; e1382.. sqr(x508 - x518) =L= 25; e1383.. sqr(x510 - x518) =L= 16; e1384.. sqr(x512 - x518) =L= 9; e1385.. sqr(x514 - x518) =L= 4; e1386.. sqr(x516 - x518) =L= 1; e1387.. sqr(0.832050294337844*x473 + 0.554700196225229*x474 - 0.832050294337844 *x519 - 0.554700196225229*x520) =L= 13; e1388.. sqr(0.948683298050514*x475 + 0.316227766016838*x476 - 0.948683298050514 *x519 - 0.316227766016838*x520) =L= 10; e1389.. sqr(0.554700196225229*x485 + 0.832050294337844*x486 - 0.554700196225229 *x519 - 0.832050294337844*x520) =L= 13; e1390.. sqr(0.894427190999916*x489 + 0.447213595499958*x490 - 0.894427190999916 *x519 - 0.447213595499958*x520) =L= 5; e1391.. sqr(0.316227766016838*x499 + 0.948683298050514*x500 - 0.316227766016838 *x519 - 0.948683298050514*x520) =L= 10; e1392.. sqr(0.447213595499958*x501 + 0.894427190999916*x502 - 0.447213595499958 *x519 - 0.894427190999916*x520) =L= 5; e1393.. sqr(0.707106781186547*x503 + 0.707106781186547*x504 - 0.707106781186547 *x519 - 0.707106781186547*x520) =L= 2; e1394.. sqr(x505 - x519) =L= 1; e1395.. sqr(x508 - x520) =L= 36; e1396.. sqr(x510 - x520) =L= 25; e1397.. sqr(x512 - x520) =L= 16; e1398.. sqr(x514 - x520) =L= 9; e1399.. sqr(x516 - x520) =L= 4; e1400.. sqr(x518 - x520) =L= 1; e1401.. sqr(0.948683298050514*x481 - 0.316227766016838*x482 - 0.948683298050514 *x521 + 0.316227766016838*x522) =L= 10; e1402.. sqr(0.832050294337844*x483 - 0.554700196225229*x484 - 0.832050294337844 *x521 + 0.554700196225229*x522) =L= 13; e1403.. sqr(0.894427190999916*x495 - 0.447213595499958*x496 - 0.894427190999916 *x521 + 0.447213595499958*x522) =L= 5; e1404.. sqr(0.554700196225229*x499 - 0.832050294337844*x500 - 0.554700196225229 *x521 + 0.832050294337844*x522) =L= 13; e1405.. sqr(x507 - x521) =L= 1; e1406.. sqr(0.707106781186547*x509 - 0.707106781186547*x510 - 0.707106781186547 *x521 + 0.707106781186547*x522) =L= 2; e1407.. sqr(0.447213595499958*x511 - 0.894427190999916*x512 - 0.447213595499958 *x521 + 0.894427190999916*x522) =L= 5; e1408.. sqr(0.316227766016838*x513 - 0.948683298050514*x514 - 0.316227766016838 *x521 + 0.948683298050514*x522) =L= 10; e1409.. sqr(0.948683298050514*x479 + 0.316227766016838*x480 - 0.948683298050514 *x523 - 0.316227766016838*x524) =L= 10; e1410.. sqr(0.948683298050514*x483 - 0.316227766016838*x484 - 0.948683298050514 *x523 + 0.316227766016838*x524) =L= 10; e1411.. sqr(0.832050294337844*x485 - 0.554700196225229*x486 - 0.832050294337844 *x523 + 0.554700196225229*x524) =L= 13; e1412.. sqr(0.894427190999916*x493 + 0.447213595499958*x494 - 0.894427190999916 *x523 - 0.447213595499958*x524) =L= 5; e1413.. sqr(0.894427190999916*x497 - 0.447213595499958*x498 - 0.894427190999916 *x523 + 0.447213595499958*x524) =L= 5; e1414.. sqr(0.554700196225229*x501 - 0.832050294337844*x502 - 0.554700196225229 *x523 + 0.832050294337844*x524) =L= 13; e1415.. sqr(0.707106781186547*x507 + 0.707106781186547*x508 - 0.707106781186547 *x523 - 0.707106781186547*x524) =L= 2; e1416.. sqr(x509 - x523) =L= 1; e1417.. sqr(0.707106781186547*x511 - 0.707106781186547*x512 - 0.707106781186547 *x523 + 0.707106781186547*x524) =L= 2; e1418.. sqr(0.447213595499958*x513 - 0.894427190999916*x514 - 0.447213595499958 *x523 + 0.894427190999916*x524) =L= 5; e1419.. sqr(0.316227766016838*x515 - 0.948683298050514*x516 - 0.316227766016838 *x523 + 0.948683298050514*x524) =L= 10; e1420.. sqr(x522 - x524) =L= 1; e1421.. sqr(0.832050294337844*x479 + 0.554700196225229*x480 - 0.832050294337844 *x525 - 0.554700196225229*x526) =L= 13; e1422.. sqr(0.948683298050514*x481 + 0.316227766016838*x482 - 0.948683298050514 *x525 - 0.316227766016838*x526) =L= 10; e1423.. sqr(0.948683298050514*x485 - 0.316227766016838*x486 - 0.948683298050514 *x525 + 0.316227766016838*x526) =L= 10; e1424.. sqr(0.832050294337844*x487 - 0.554700196225229*x488 - 0.832050294337844 *x525 + 0.554700196225229*x526) =L= 13; e1425.. sqr(0.894427190999916*x495 + 0.447213595499958*x496 - 0.894427190999916 *x525 - 0.447213595499958*x526) =L= 5; e1426.. sqr(0.894427190999916*x499 - 0.447213595499958*x500 - 0.894427190999916 *x525 + 0.447213595499958*x526) =L= 5; e1427.. sqr(0.554700196225229*x503 - 0.832050294337844*x504 - 0.554700196225229 *x525 + 0.832050294337844*x526) =L= 13; e1428.. sqr(0.447213595499958*x507 + 0.894427190999916*x508 - 0.447213595499958 *x525 - 0.894427190999916*x526) =L= 5; e1429.. sqr(0.707106781186547*x509 + 0.707106781186547*x510 - 0.707106781186547 *x525 - 0.707106781186547*x526) =L= 2; e1430.. sqr(x511 - x525) =L= 1; e1431.. sqr(0.707106781186547*x513 - 0.707106781186547*x514 - 0.707106781186547 *x525 + 0.707106781186547*x526) =L= 2; e1432.. sqr(0.447213595499958*x515 - 0.894427190999916*x516 - 0.447213595499958 *x525