MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance polygon50
Formatsⓘ | ams gms mod nl osil py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | -20.29341621 (COUENNE) -15.26768502 (LINDO) -12.14452450 (SCIP) |
Referencesⓘ | Graham, R L, The Largest Small Hexagon, Journal of Combinatorial Theory, Series A, 18:2, 1975, 165-170. Dolan, E D and More, J J, Benchmarking Optimization Software with COPS, Tech. Rep. ANL/MCS-246, Mathematics and Computer Science Division, 2000. |
Sourceⓘ | GAMS Model Library model polygon, Constrained Optimization Problem Set (COPS) |
Applicationⓘ | Geometry |
Added to libraryⓘ | 31 Jul 2001 |
Problem typeⓘ | NLP |
#Variablesⓘ | 100 |
#Binary Variablesⓘ | 0 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 100 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | min |
Objective typeⓘ | nonlinear |
Objective curvatureⓘ | indefinite |
#Nonzeros in Objectiveⓘ | 100 |
#Nonlinear Nonzeros in Objectiveⓘ | 100 |
#Constraintsⓘ | 1274 |
#Linear Constraintsⓘ | 49 |
#Quadratic Constraintsⓘ | 0 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 1225 |
Operands in Gen. Nonlin. Functionsⓘ | cos mul sin sqr |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 4998 |
#Nonlinear Nonzeros in Jacobianⓘ | 4900 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 10000 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 100 |
#Blocks in Hessian of Lagrangianⓘ | 1 |
Minimal blocksize in Hessian of Lagrangianⓘ | 100 |
Maximal blocksize in Hessian of Lagrangianⓘ | 100 |
Average blocksize in Hessian of Lagrangianⓘ | 100.0 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 5.0000e-01 |
Maximal coefficientⓘ | 2.0000e+00 |
Infeasibility of initial pointⓘ | 0.1658 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 1275 1 0 1274 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 101 101 0 0 0 0 0 0 * FX 2 * * Nonzero counts * Total const NL DLL * 5099 99 5000 0 * * Solve m using NLP minimizing objvar; Variables x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19 ,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36 ,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53 ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70 ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87 ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,objvar; Positive 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,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; 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; e1.. -0.5*(x2*x1*sin(x52 - x51) + x3*x2*sin(x53 - x52) + x4*x3*sin(x54 - x53) + x5*x4*sin(x55 - x54) + x6*x5*sin(x56 - x55) + x7*x6*sin(x57 - x56) + x8 *x7*sin(x58 - x57) + x9*x8*sin(x59 - x58) + x10*x9*sin(x60 - x59) + x11* x10*sin(x61 - x60) + x12*x11*sin(x62 - x61) + x13*x12*sin(x63 - x62) + x14 *x13*sin(x64 - x63) + x15*x14*sin(x65 - x64) + x16*x15*sin(x66 - x65) + x17*x16*sin(x67 - x66) + x18*x17*sin(x68 - x67) + x19*x18*sin(x69 - x68) + x20*x19*sin(x70 - x69) + x21*x20*sin(x71 - x70) + x22*x21*sin(x72 - x71 ) + x23*x22*sin(x73 - x72) + x24*x23*sin(x74 - x73) + x25*x24*sin(x75 - x74) + x26*x25*sin(x76 - x75) + x27*x26*sin(x77 - x76) + x28*x27*sin(x78 - x77) + x29*x28*sin(x79 - x78) + x30*x29*sin(x80 - x79) + x31*x30*sin( x81 - x80) + x32*x31*sin(x82 - x81) + x33*x32*sin(x83 - x82) + x34*x33* sin(x84 - x83) + x35*x34*sin(x85 - x84) + x36*x35*sin(x86 - x85) + x37*x36 *sin(x87 - x86) + x38*x37*sin(x88 - x87) + x39*x38*sin(x89 - x88) + x40* x39*sin(x90 - x89) + x41*x40*sin(x91 - x90) + x42*x41*sin(x92 - x91) + x43 *x42*sin(x93 - x92) + x44*x43*sin(x94 - x93) + x45*x44*sin(x95 - x94) + x46*x45*sin(x96 - x95) + x47*x46*sin(x97 - x96) + x48*x47*sin(x98 - x97) + x49*x48*sin(x99 - x98) + x50*x49*sin(x100 - x99)) - objvar =E= 0; e2.. sqr(x1) + sqr(x2) - 2*x1*x2*cos(x52 - x51) =L= 1; e3.. sqr(x1) + sqr(x3) - 2*x1*x3*cos(x53 - x51) =L= 1; e4.. sqr(x1) + sqr(x4) - 2*x1*x4*cos(x54 - x51) =L= 1; e5.. sqr(x1) + sqr(x5) - 2*x1*x5*cos(x55 - x51) =L= 1; e6.. sqr(x1) + sqr(x6) - 2*x1*x6*cos(x56 - x51) =L= 1; e7.. sqr(x1) + sqr(x7) - 2*x1*x7*cos(x57 - x51) =L= 1; e8.. sqr(x1) + sqr(x8) - 2*x1*x8*cos(x58 - x51) =L= 1; e9.. sqr(x1) + sqr(x9) - 2*x1*x9*cos(x59 - x51) =L= 1; e10.. sqr(x1) + sqr(x10) - 2*x1*x10*cos(x60 - x51) =L= 1; e11.. sqr(x1) + sqr(x11) - 2*x1*x11*cos(x61 - x51) =L= 1; e12.. sqr(x1) + sqr(x12) - 2*x1*x12*cos(x62 - x51) =L= 1; e13.. sqr(x1) + sqr(x13) - 2*x1*x13*cos(x63 - x51) =L= 1; e14.. sqr(x1) + sqr(x14) - 2*x1*x14*cos(x64 - x51) =L= 1; e15.. sqr(x1) + sqr(x15) - 2*x1*x15*cos(x65 - x51) =L= 1; e16.. sqr(x1) + sqr(x16) - 2*x1*x16*cos(x66 - x51) =L= 1; e17.. sqr(x1) + sqr(x17) - 2*x1*x17*cos(x67 - x51) =L= 1; e18.. sqr(x1) + sqr(x18) - 2*x1*x18*cos(x68 - x51) =L= 1; e19.. sqr(x1) + sqr(x19) - 2*x1*x19*cos(x69 - x51) =L= 1; e20.. sqr(x1) + sqr(x20) - 2*x1*x20*cos(x70 - x51) =L= 1; e21.. sqr(x1) + sqr(x21) - 2*x1*x21*cos(x71 - x51) =L= 1; e22.. sqr(x1) + sqr(x22) - 2*x1*x22*cos(x72 - x51) =L= 1; e23.. sqr(x1) + sqr(x23) - 2*x1*x23*cos(x73 - x51) =L= 1; e24.. sqr(x1) + sqr(x24) - 2*x1*x24*cos(x74 - x51) =L= 1; e25.. sqr(x1) + sqr(x25) - 2*x1*x25*cos(x75 - x51) =L= 1; e26.. sqr(x1) + sqr(x26) - 2*x1*x26*cos(x76 - x51) =L= 1; e27.. sqr(x1) + sqr(x27) - 2*x1*x27*cos(x77 - x51) =L= 1; e28.. sqr(x1) + sqr(x28) - 2*x1*x28*cos(x78 - x51) =L= 1; e29.. sqr(x1) + sqr(x29) - 2*x1*x29*cos(x79 - x51) =L= 1; e30.. sqr(x1) + sqr(x30) - 2*x1*x30*cos(x80 - x51) =L= 1; e31.. sqr(x1) + sqr(x31) - 2*x1*x31*cos(x81 - x51) =L= 1; e32.. sqr(x1) + sqr(x32) - 2*x1*x32*cos(x82 - x51) =L= 1; e33.. sqr(x1) + sqr(x33) - 2*x1*x33*cos(x83 - x51) =L= 1; e34.. sqr(x1) + sqr(x34) - 2*x1*x34*cos(x84 - x51) =L= 1; e35.. sqr(x1) + sqr(x35) - 2*x1*x35*cos(x85 - x51) =L= 1; e36.. sqr(x1) + sqr(x36) - 2*x1*x36*cos(x86 - x51) =L= 1; e37.. sqr(x1) + sqr(x37) - 2*x1*x37*cos(x87 - x51) =L= 1; e38.. sqr(x1) + sqr(x38) - 2*x1*x38*cos(x88 - x51) =L= 1; e39.. sqr(x1) + sqr(x39) - 2*x1*x39*cos(x89 - x51) =L= 1; e40.. sqr(x1) + sqr(x40) - 2*x1*x40*cos(x90 - x51) =L= 1; e41.. sqr(x1) + sqr(x41) - 2*x1*x41*cos(x91 - x51) =L= 1; e42.. sqr(x1) + sqr(x42) - 2*x1*x42*cos(x92 - x51) =L= 1; e43.. sqr(x1) + sqr(x43) - 2*x1*x43*cos(x93 - x51) =L= 1; e44.. sqr(x1) + sqr(x44) - 2*x1*x44*cos(x94 - x51) =L= 1; e45.. sqr(x1) + sqr(x45) - 2*x1*x45*cos(x95 - x51) =L= 1; e46.. sqr(x1) + sqr(x46) - 2*x1*x46*cos(x96 - x51) =L= 1; e47.. sqr(x1) + sqr(x47) - 2*x1*x47*cos(x97 - x51) =L= 1; e48.. sqr(x1) + sqr(x48) - 2*x1*x48*cos(x98 - x51) =L= 1; e49.. sqr(x1) + sqr(x49) - 2*x1*x49*cos(x99 - x51) =L= 1; e50.. sqr(x1) + sqr(x50) - 2*x1*x50*cos(x100 - x51) =L= 1; e51.. sqr(x2) + sqr(x3) - 2*x2*x3*cos(x53 - x52) =L= 1; e52.. sqr(x2) + sqr(x4) - 2*x2*x4*cos(x54 - x52) =L= 1; e53.. sqr(x2) + sqr(x5) - 2*x2*x5*cos(x55 - x52) =L= 1; e54.. sqr(x2) + sqr(x6) - 2*x2*x6*cos(x56 - x52) =L= 1; e55.. sqr(x2) + sqr(x7) - 2*x2*x7*cos(x57 - x52) =L= 1; e56.. sqr(x2) + sqr(x8) - 2*x2*x8*cos(x58 - x52) =L= 1; e57.. sqr(x2) + sqr(x9) - 2*x2*x9*cos(x59 - x52) =L= 1; e58.. sqr(x2) + sqr(x10) - 2*x2*x10*cos(x60 - x52) =L= 1; e59.. sqr(x2) + sqr(x11) - 2*x2*x11*cos(x61 - x52) =L= 1; e60.. sqr(x2) + sqr(x12) - 2*x2*x12*cos(x62 - x52) =L= 1; e61.. sqr(x2) + sqr(x13) - 2*x2*x13*cos(x63 - x52) =L= 1; e62.. sqr(x2) + sqr(x14) - 2*x2*x14*cos(x64 - x52) =L= 1; e63.. sqr(x2) + sqr(x15) - 2*x2*x15*cos(x65 - x52) =L= 1; e64.. sqr(x2) + sqr(x16) - 2*x2*x16*cos(x66 - x52) =L= 1; e65.. sqr(x2) + sqr(x17) - 2*x2*x17*cos(x67 - x52) =L= 1; e66.. sqr(x2) + sqr(x18) - 2*x2*x18*cos(x68 - x52) =L= 1; e67.. sqr(x2) + sqr(x19) - 2*x2*x19*cos(x69 - x52) =L= 1; e68.. sqr(x2) + sqr(x20) - 2*x2*x20*cos(x70 - x52) =L= 1; e69.. sqr(x2) + sqr(x21) - 2*x2*x21*cos(x71 - x52) =L= 1; e70.. sqr(x2) + sqr(x22) - 2*x2*x22*cos(x72 - x52) =L= 1; e71.. sqr(x2) + sqr(x23) - 2*x2*x23*cos(x73 - x52) =L= 1; e72.. sqr(x2) + sqr(x24) - 2*x2*x24*cos(x74 - x52) =L= 1; e73.. sqr(x2) + sqr(x25) - 2*x2*x25*cos(x75 - x52) =L= 1; e74.. sqr(x2) + sqr(x26) - 2*x2*x26*cos(x76 - x52) =L= 1; e75.. sqr(x2) + sqr(x27) - 2*x2*x27*cos(x77 - x52) =L= 1; e76.. sqr(x2) + sqr(x28) - 2*x2*x28*cos(x78 - x52) =L= 1; e77.. sqr(x2) + sqr(x29) - 2*x2*x29*cos(x79 - x52) =L= 1; e78.. sqr(x2) + sqr(x30) - 2*x2*x30*cos(x80 - x52) =L= 1; e79.. sqr(x2) + sqr(x31) - 2*x2*x31*cos(x81 - x52) =L= 1; e80.. sqr(x2) + sqr(x32) - 2*x2*x32*cos(x82 - x52) =L= 1; e81.. sqr(x2) + sqr(x33) - 2*x2*x33*cos(x83 - x52) =L= 1; e82.. sqr(x2) + sqr(x34) - 2*x2*x34*cos(x84 - x52) =L= 1; e83.. sqr(x2) + sqr(x35) - 2*x2*x35*cos(x85 - x52) =L= 1; e84.. sqr(x2) + sqr(x36) - 2*x2*x36*cos(x86 - x52) =L= 1; e85.. sqr(x2) + sqr(x37) - 2*x2*x37*cos(x87 - x52) =L= 1; e86.. sqr(x2) + sqr(x38) - 2*x2*x38*cos(x88 - x52) =L= 1; e87.. sqr(x2) + sqr(x39) - 2*x2*x39*cos(x89 - x52) =L= 1; e88.. sqr(x2) + sqr(x40) - 2*x2*x40*cos(x90 - x52) =L= 1; e89.. sqr(x2) + sqr(x41) - 2*x2*x41*cos(x91 - x52) =L= 1; e90.. sqr(x2) + sqr(x42) - 2*x2*x42*cos(x92 - x52) =L= 1; e91.. sqr(x2) + sqr(x43) - 2*x2*x43*cos(x93 - x52) =L= 1; e92.. sqr(x2) + sqr(x44) - 2*x2*x44*cos(x94 - x52) =L= 1; e93.. sqr(x2) + sqr(x45) - 2*x2*x45*cos(x95 - x52) =L= 1; e94.. sqr(x2) + sqr(x46) - 2*x2*x46*cos(x96 - x52) =L= 1; e95.. sqr(x2) + sqr(x47) - 2*x2*x47*cos(x97 - x52) =L= 1; e96.. sqr(x2) + sqr(x48) - 2*x2*x48*cos(x98 - x52) =L= 1; e97.. sqr(x2) + sqr(x49) - 2*x2*x49*cos(x99 - x52) =L= 1; e98.. sqr(x2) + sqr(x50) - 2*x2*x50*cos(x100 - x52) =L= 1; e99.. sqr(x3) + sqr(x4) - 2*x3*x4*cos(x54 - x53) =L= 1; e100.. sqr(x3) + sqr(x5) - 2*x3*x5*cos(x55 - x53) =L= 1; e101.. sqr(x3) + sqr(x6) - 2*x3*x6*cos(x56 - x53) =L= 1; e102.. sqr(x3) + sqr(x7) - 2*x3*x7*cos(x57 - x53) =L= 1; e103.. sqr(x3) + sqr(x8) - 2*x3*x8*cos(x58 - x53) =L= 1; e104.. sqr(x3) + sqr(x9) - 2*x3*x9*cos(x59 - x53) =L= 1; e105.. sqr(x3) + sqr(x10) - 2*x3*x10*cos(x60 - x53) =L= 1; e106.. sqr(x3) + sqr(x11) - 2*x3*x11*cos(x61 - x53) =L= 1; e107.. sqr(x3) + sqr(x12) - 2*x3*x12*cos(x62 - x53) =L= 1; e108.. sqr(x3) + sqr(x13) - 2*x3*x13*cos(x63 - x53) =L= 1; e109.. sqr(x3) + sqr(x14) - 2*x3*x14*cos(x64 - x53) =L= 1; e110.. sqr(x3) + sqr(x15) - 2*x3*x15*cos(x65 - x53) =L= 1; e111.. sqr(x3) + sqr(x16) - 2*x3*x16*cos(x66 - x53) =L= 1; e112.. sqr(x3) + sqr(x17) - 2*x3*x17*cos(x67 - x53) =L= 1; e113.. sqr(x3) + sqr(x18) - 2*x3*x18*cos(x68 - x53) =L= 1; e114.. sqr(x3) + sqr(x19) - 2*x3*x19*cos(x69 - x53) =L= 1; e115.. sqr(x3) + sqr(x20) - 2*x3*x20*cos(x70 - x53) =L= 1; e116.. sqr(x3) + sqr(x21) - 2*x3*x21*cos(x71 - x53) =L= 1; e117.. sqr(x3) + sqr(x22) - 2*x3*x22*cos(x72 - x53) =L= 1; e118.. sqr(x3) + sqr(x23) - 2*x3*x23*cos(x73 - x53) =L= 1; e119.. sqr(x3) + sqr(x24) - 2*x3*x24*cos(x74 - x53) =L= 1; e120.. sqr(x3) + sqr(x25) - 2*x3*x25*cos(x75 - x53) =L= 1; e121.. sqr(x3) + sqr(x26) - 2*x3*x26*cos(x76 - x53) =L= 1; e122.. sqr(x3) + sqr(x27) - 2*x3*x27*cos(x77 - x53) =L= 1; e123.. sqr(x3) + sqr(x28) - 2*x3*x28*cos(x78 - x53) =L= 1; e124.. sqr(x3) + sqr(x29) - 2*x3*x29*cos(x79 - x53) =L= 1; e125.. sqr(x3) + sqr(x30) - 2*x3*x30*cos(x80 - x53) =L= 1; e126.. sqr(x3) + sqr(x31) - 2*x3*x31*cos(x81 - x53) =L= 1; e127.. sqr(x3) + sqr(x32) - 2*x3*x32*cos(x82 - x53) =L= 1; e128.. sqr(x3) + sqr(x33) - 2*x3*x33*cos(x83 - x53) =L= 1; e129.. sqr(x3) + sqr(x34) - 2*x3*x34*cos(x84 - x53) =L= 1; e130.. sqr(x3) + sqr(x35) - 2*x3*x35*cos(x85 - x53) =L= 1; e131.. sqr(x3) + sqr(x36) - 2*x3*x36*cos(x86 - x53) =L= 1; e132.. sqr(x3) + sqr(x37) - 2*x3*x37*cos(x87 - x53) =L= 1; e133.. sqr(x3) + sqr(x38) - 2*x3*x38*cos(x88 - x53) =L= 1; e134.. sqr(x3) + sqr(x39) - 2*x3*x39*cos(x89 - x53) =L= 1; e135.. sqr(x3) + sqr(x40) - 2*x3*x40*cos(x90 - x53) =L= 1; e136.. sqr(x3) + sqr(x41) - 2*x3*x41*cos(x91 - x53) =L= 1; e137.. sqr(x3) + sqr(x42) - 2*x3*x42*cos(x92 - x53) =L= 1; e138.. sqr(x3) + sqr(x43) - 2*x3*x43*cos(x93 - x53) =L= 1; e139.. sqr(x3) + sqr(x44) - 2*x3*x44*cos(x94 - x53) =L= 1; e140.. sqr(x3) + sqr(x45) - 2*x3*x45*cos(x95 - x53) =L= 1; e141.. sqr(x3) + sqr(x46) - 2*x3*x46*cos(x96 - x53) =L= 1; e142.. sqr(x3) + sqr(x47) - 2*x3*x47*cos(x97 - x53) =L= 1; e143.. sqr(x3) + sqr(x48) - 2*x3*x48*cos(x98 - x53) =L= 1; e144.. sqr(x3) + sqr(x49) - 2*x3*x49*cos(x99 - x53) =L= 1; e145.. sqr(x3) + sqr(x50) - 2*x3*x50*cos(x100 - x53) =L= 1; e146.. sqr(x4) + sqr(x5) - 2*x4*x5*cos(x55 - x54) =L= 1; e147.. sqr(x4) + sqr(x6) - 2*x4*x6*cos(x56 - x54) =L= 1; e148.. sqr(x4) + sqr(x7) - 2*x4*x7*cos(x57 - x54) =L= 1; e149.. sqr(x4) + sqr(x8) - 2*x4*x8*cos(x58 - x54) =L= 1; e150.. sqr(x4) + sqr(x9) - 2*x4*x9*cos(x59 - x54) =L= 1; e151.. sqr(x4) + sqr(x10) - 2*x4*x10*cos(x60 - x54) =L= 1; e152.. sqr(x4) + sqr(x11) - 2*x4*x11*cos(x61 - x54) =L= 1; e153.. sqr(x4) + sqr(x12) - 2*x4*x12*cos(x62 - x54) =L= 1; e154.. sqr(x4) + sqr(x13) - 2*x4*x13*cos(x63 - x54) =L= 1; e155.. sqr(x4) + sqr(x14) - 2*x4*x14*cos(x64 - x54) =L= 1; e156.. sqr(x4) + sqr(x15) - 2*x4*x15*cos(x65 - x54) =L= 1; e157.. sqr(x4) + sqr(x16) - 2*x4*x16*cos(x66 - x54) =L= 1; e158.. sqr(x4) + sqr(x17) - 2*x4*x17*cos(x67 - x54) =L= 1; e159.. sqr(x4) + sqr(x18) - 2*x4*x18*cos(x68 - x54) =L= 1; e160.. sqr(x4) + sqr(x19) - 2*x4*x19*cos(x69 - x54) =L= 1; e161.. sqr(x4) + sqr(x20) - 2*x4*x20*cos(x70 - x54) =L= 1; e162.. sqr(x4) + sqr(x21) - 2*x4*x21*cos(x71 - x54) =L= 1; e163.. sqr(x4) + sqr(x22) - 2*x4*x22*cos(x72 - x54) =L= 1; e164.. sqr(x4) + sqr(x23) - 2*x4*x23*cos(x73 - x54) =L= 1; e165.. sqr(x4) + sqr(x24) - 2*x4*x24*cos(x74 - x54) =L= 1; e166.. sqr(x4) + sqr(x25) - 2*x4*x25*cos(x75 - x54) =L= 1; e167.. sqr(x4) + sqr(x26) - 2*x4*x26*cos(x76 - x54) =L= 1; e168.. sqr(x4) + sqr(x27) - 2*x4*x27*cos(x77 - x54) =L= 1; e169.. sqr(x4) + sqr(x28) - 2*x4*x28*cos(x78 - x54) =L= 1; e170.. sqr(x4) + sqr(x29) - 2*x4*x29*cos(x79 - x54) =L= 1; e171.. sqr(x4) + sqr(x30) - 2*x4*x30*cos(x80 - x54) =L= 1; e172.. sqr(x4) + sqr(x31) - 2*x4*x31*cos(x81 - x54) =L= 1; e173.. sqr(x4) + sqr(x32) - 2*x4*x32*cos(x82 - x54) =L= 1; e174.. sqr(x4) + sqr(x33) - 2*x4*x33*cos(x83 - x54) =L= 1; e175.. sqr(x4) + sqr(x34) - 2*x4*x34*cos(x84 - x54) =L= 1; e176.. sqr(x4) + sqr(x35) - 2*x4*x35*cos(x85 - x54) =L= 1; e177.. sqr(x4) + sqr(x36) - 2*x4*x36*cos(x86 - x54) =L= 1; e178.. sqr(x4) + sqr(x37) - 2*x4*x37*cos(x87 - x54) =L= 1; e179.. sqr(x4) + sqr(x38) - 2*x4*x38*cos(x88 - x54) =L= 1; e180.. sqr(x4) + sqr(x39) - 2*x4*x39*cos(x89 - x54) =L= 1; e181.. sqr(x4) + sqr(x40) - 2*x4*x40*cos(x90 - x54) =L= 1; e182.. sqr(x4) + sqr(x41) - 2*x4*x41*cos(x91 - x54) =L= 1; e183.. sqr(x4) + sqr(x42) - 2*x4*x42*cos(x92 - x54) =L= 1; e184.. sqr(x4) + sqr(x43) - 2*x4*x43*cos(x93 - x54) =L= 1; e185.. sqr(x4) + sqr(x44) - 2*x4*x44*cos(x94 - x54) =L= 1; e186.. sqr(x4) + sqr(x45) - 2*x4*x45*cos(x95 - x54) =L= 1; e187.. sqr(x4) + sqr(x46) - 2*x4*x46*cos(x96 - x54) =L= 1; e188.. sqr(x4) + sqr(x47) - 2*x4*x47*cos(x97 - x54) =L= 1; e189.. sqr(x4) + sqr(x48) - 2*x4*x48*cos(x98 - x54) =L= 1; e190.. sqr(x4) + sqr(x49) - 2*x4*x49*cos(x99 - x54) =L= 1; e191.. sqr(x4) + sqr(x50) - 2*x4*x50*cos(x100 - x54) =L= 1; e192.. sqr(x5) + sqr(x6) - 2*x5*x6*cos(x56 - x55) =L= 1; e193.. sqr(x5) + sqr(x7) - 2*x5*x7*cos(x57 - x55) =L= 1; e194.. sqr(x5) + sqr(x8) - 2*x5*x8*cos(x58 - x55) =L= 1; e195.. sqr(x5) + sqr(x9) - 2*x5*x9*cos(x59 - x55) =L= 1; e196.. sqr(x5) + sqr(x10) - 2*x5*x10*cos(x60 - x55) =L= 1; e197.. sqr(x5) + sqr(x11) - 2*x5*x11*cos(x61 - x55) =L= 1; e198.. sqr(x5) + sqr(x12) - 2*x5*x12*cos(x62 - x55) =L= 1; e199.. sqr(x5) + sqr(x13) - 2*x5*x13*cos(x63 - x55) =L= 1; e200.. sqr(x5) + sqr(x14) - 2*x5*x14*cos(x64 - x55) =L= 1; e201.. sqr(x5) + sqr(x15) - 2*x5*x15*cos(x65 - x55) =L= 1; e202.. sqr(x5) + sqr(x16) - 2*x5*x16*cos(x66 - x55) =L= 1; e203.. sqr(x5) + sqr(x17) - 2*x5*x17*cos(x67 - x55) =L= 1; e204.. sqr(x5) + sqr(x18) - 2*x5*x18*cos(x68 - x55) =L= 1; e205.. sqr(x5) + sqr(x19) - 2*x5*x19*cos(x69 - x55) =L= 1; e206.. sqr(x5) + sqr(x20) - 2*x5*x20*cos(x70 - x55) =L= 1; e207.. sqr(x5) + sqr(x21) - 2*x5*x21*cos(x71 - x55) =L= 1; e208.. sqr(x5) + sqr(x22) - 2*x5*x22*cos(x72 - x55) =L= 1; e209.. sqr(x5) + sqr(x23) - 2*x5*x23*cos(x73 - x55) =L= 1; e210.. sqr(x5) + sqr(x24) - 2*x5*x24*cos(x74 - x55) =L= 1; e211.. sqr(x5) + sqr(x25) - 2*x5*x25*cos(x75 - x55) =L= 1; e212.. sqr(x5) + sqr(x26) - 2*x5*x26*cos(x76 - x55) =L= 1; e213.. sqr(x5) + sqr(x27) - 2*x5*x27*cos(x77 - x55) =L= 1; e214.. sqr(x5) + sqr(x28) - 2*x5*x28*cos(x78 - x55) =L= 1; e215.. sqr(x5) + sqr(x29) - 2*x5*x29*cos(x79 - x55) =L= 1; e216.. sqr(x5) + sqr(x30) - 2*x5*x30*cos(x80 - x55) =L= 1; e217.. sqr(x5) + sqr(x31) - 2*x5*x31*cos(x81 - x55) =L= 1; e218.. sqr(x5) + sqr(x32) - 2*x5*x32*cos(x82 - x55) =L= 1; e219.. sqr(x5) + sqr(x33) - 2*x5*x33*cos(x83 - x55) =L= 1; e220.. sqr(x5) + sqr(x34) - 2*x5*x34*cos(x84 - x55) =L= 1; e221.. sqr(x5) + sqr(x35) - 2*x5*x35*cos(x85 - x55) =L= 1; e222.. sqr(x5) + sqr(x36) - 2*x5*x36*cos(x86 - x55) =L= 1; e223.. sqr(x5) + sqr(x37) - 2*x5*x37*cos(x87 - x55) =L= 1; e224.. sqr(x5) + sqr(x38) - 2*x5*x38*cos(x88 - x55) =L= 1; e225.. sqr(x5) + sqr(x39) - 2*x5*x39*cos(x89 - x55) =L= 1; e226.. sqr(x5) + sqr(x40) - 2*x5*x40*cos(x90 - x55) =L= 1; e227.. sqr(x5) + sqr(x41) - 2*x5*x41*cos(x91 - x55) =L= 1; e228.. sqr(x5) + sqr(x42) - 2*x5*x42*cos(x92 - x55) =L= 1; e229.. sqr(x5) + sqr(x43) - 2*x5*x43*cos(x93 - x55) =L= 1; e230.. sqr(x5) + sqr(x44) - 2*x5*x44*cos(x94 - x55) =L= 1; e231.. sqr(x5) + sqr(x45) - 2*x5*x45*cos(x95 - x55) =L= 1; e232.. sqr(x5) + sqr(x46) - 2*x5*x46*cos(x96 - x55) =L= 1; e233.. sqr(x5) + sqr(x47) - 2*x5*x47*cos(x97 - x55) =L= 1; e234.. sqr(x5) + sqr(x48) - 2*x5*x48*cos(x98 - x55) =L= 1; e235.. sqr(x5) + sqr(x49) - 2*x5*x49*cos(x99 - x55) =L= 1; e236.. sqr(x5) + sqr(x50) - 2*x5*x50*cos(x100 - x55) =L= 1; e237.. sqr(x6) + sqr(x7) - 2*x6*x7*cos(x57 - x56) =L= 1; e238.. sqr(x6) + sqr(x8) - 2*x6*x8*cos(x58 - x56) =L= 1; e239.. sqr(x6) + sqr(x9) - 2*x6*x9*cos(x59 - x56) =L= 1; e240.. sqr(x6) + sqr(x10) - 2*x6*x10*cos(x60 - x56) =L= 1; e241.. sqr(x6) + sqr(x11) - 2*x6*x11*cos(x61 - x56) =L= 1; e242.. sqr(x6) + sqr(x12) - 2*x6*x12*cos(x62 - x56) =L= 1; e243.. sqr(x6) + sqr(x13) - 2*x6*x13*cos(x63 - x56) =L= 1; e244.. sqr(x6) + sqr(x14) - 2*x6*x14*cos(x64 - x56) =L= 1; e245.. sqr(x6) + sqr(x15) - 2*x6*x15*cos(x65 - x56) =L= 1; e246.. sqr(x6) + sqr(x16) - 2*x6*x16*cos(x66 - x56) =L= 1; e247.. sqr(x6) + sqr(x17) - 2*x6*x17*cos(x67 - x56) =L= 1; e248.. sqr(x6) + sqr(x18) - 2*x6*x18*cos(x68 - x56) =L= 1; e249.. sqr(x6) + sqr(x19) - 2*x6*x19*cos(x69 - x56) =L= 1; e250.. sqr(x6) + sqr(x20) - 2*x6*x20*cos(x70 - x56) =L= 1; e251.. sqr(x6) + sqr(x21) - 2*x6*x21*cos(x71 - x56) =L= 1; e252.. sqr(x6) + sqr(x22) - 2*x6*x22*cos(x72 - x56) =L= 1; e253.. sqr(x6) + sqr(x23) - 2*x6*x23*cos(x73 - x56) =L= 1; e254.. sqr(x6) + sqr(x24) - 2*x6*x24*cos(x74 - x56) =L= 1; e255.. sqr(x6) + sqr(x25) - 2*x6*x25*cos(x75 - x56) =L= 1; e256.. sqr(x6) + sqr(x26) - 2*x6*x26*cos(x76 - x56) =L= 1; e257.. sqr(x6) + sqr(x27) - 2*x6*x27*cos(x77 - x56) =L= 1; e258.. sqr(x6) + sqr(x28) - 2*x6*x28*cos(x78 - x56) =L= 1; e259.. sqr(x6) + sqr(x29) - 2*x6*x29*cos(x79 - x56) =L= 1; e260.. sqr(x6) + sqr(x30) - 2*x6*x30*cos(x80 - x56) =L= 1; e261.. sqr(x6) + sqr(x31) - 2*x6*x31*cos(x81 - x56) =L= 1; e262.. sqr(x6) + sqr(x32) - 2*x6*x32*cos(x82 - x56) =L= 1; e263.. sqr(x6) + sqr(x33) - 2*x6*x33*cos(x83 - x56) =L= 1; e264.. sqr(x6) + sqr(x34) - 2*x6*x34*cos(x84 - x56) =L= 1; e265.. sqr(x6) + sqr(x35) - 2*x6*x35*cos(x85 - x56) =L= 1; e266.. sqr(x6) + sqr(x36) - 2*x6*x36*cos(x86 - x56) =L= 1; e267.. sqr(x6) + sqr(x37) - 2*x6*x37*cos(x87 - x56) =L= 1; e268.. sqr(x6) + sqr(x38) - 2*x6*x38*cos(x88 - x56) =L= 1; e269.. sqr(x6) + sqr(x39) - 2*x6*x39*cos(x89 - x56) =L= 1; e270.. sqr(x6) + sqr(x40) - 2*x6*x40*cos(x90 - x56) =L= 1; e271.. sqr(x6) + sqr(x41) - 2*x6*x41*cos(x91 - x56) =L= 1; e272.. sqr(x6) + sqr(x42) - 2*x6*x42*cos(x92 - x56) =L= 1; e273.. sqr(x6) + sqr(x43) - 2*x6*x43*cos(x93 - x56) =L= 1; e274.. sqr(x6) + sqr(x44) - 2*x6*x44*cos(x94 - x56) =L= 1; e275.. sqr(x6) + sqr(x45) - 2*x6*x45*cos(x95 - x56) =L= 1; e276.. sqr(x6) + sqr(x46) - 2*x6*x46*cos(x96 - x56) =L= 1; e277.. sqr(x6) + sqr(x47) - 2*x6*x47*cos(x97 - x56) =L= 1; e278.. sqr(x6) + sqr(x48) - 2*x6*x48*cos(x98 - x56) =L= 1; e279.. sqr(x6) + sqr(x49) - 2*x6*x49*cos(x99 - x56) =L= 1; e280.. sqr(x6) + sqr(x50) - 2*x6*x50*cos(x100 - x56) =L= 1; e281.. sqr(x7) + sqr(x8) - 2*x7*x8*cos(x58 - x57) =L= 1; e282.. sqr(x7) + sqr(x9) - 2*x7*x9*cos(x59 - x57) =L= 1; e283.. sqr(x7) + sqr(x10) - 2*x7*x10*cos(x60 - x57) =L= 1; e284.. sqr(x7) + sqr(x11) - 2*x7*x11*cos(x61 - x57) =L= 1; e285.. sqr(x7) + sqr(x12) - 2*x7*x12*cos(x62 - x57) =L= 1; e286.. sqr(x7) + sqr(x13) - 2*x7*x13*cos(x63 - x57) =L= 1; e287.. sqr(x7) + sqr(x14) - 2*x7*x14*cos(x64 - x57) =L= 1; e288.. sqr(x7) + sqr(x15) - 2*x7*x15*cos(x65 - x57) =L= 1; e289.. sqr(x7) + sqr(x16) - 2*x7*x16*cos(x66 - x57) =L= 1; e290.. sqr(x7) + sqr(x17) - 2*x7*x17*cos(x67 - x57) =L= 1; e291.. sqr(x7) + sqr(x18) - 2*x7*x18*cos(x68 - x57) =L= 1; e292.. sqr(x7) + sqr(x19) - 2*x7*x19*cos(x69 - x57) =L= 1; e293.. sqr(x7) + sqr(x20) - 2*x7*x20*cos(x70 - x57) =L= 1; e294.. sqr(x7) + sqr(x21) - 2*x7*x21*cos(x71 - x57) =L= 1; e295.. sqr(x7) + sqr(x22) - 2*x7*x22*cos(x72 - x57) =L= 1; e296.. sqr(x7) + sqr(x23) - 2*x7*x23*cos(x73 - x57) =L= 1; e297.. sqr(x7) + sqr(x24) - 2*x7*x24*cos(x74 - x57) =L= 1; e298.. sqr(x7) + sqr(x25) - 2*x7*x25*cos(x75 - x57) =L= 1; e299.. sqr(x7) + sqr(x26) - 2*x7*x26*cos(x76 - x57) =L= 1; e300.. sqr(x7) + sqr(x27) - 2*x7*x27*cos(x77 - x57) =L= 1; e301.. sqr(x7) + sqr(x28) - 2*x7*x28*cos(x78 - x57) =L= 1; e302.. sqr(x7) + sqr(x29) - 2*x7*x29*cos(x79 - x57) =L= 1; e303.. sqr(x7) + sqr(x30) - 2*x7*x30*cos(x80 - x57) =L= 1; e304.. sqr(x7) + sqr(x31) - 2*x7*x31*cos(x81 - x57) =L= 1; e305.. sqr(x7) + sqr(x32) - 2*x7*x32*cos(x82 - x57) =L= 1; e306.. sqr(x7) + sqr(x33) - 2*x7*x33*cos(x83 - x57) =L= 1; e307.. sqr(x7) + sqr(x34) - 2*x7*x34*cos(x84 - x57) =L= 1; e308.. sqr(x7) + sqr(x35) - 2*x7*x35*cos(x85 - x57) =L= 1; e309.. sqr(x7) + sqr(x36) - 2*x7*x36*cos(x86 - x57) =L= 1; e310.. sqr(x7) + sqr(x37) - 2*x7*x37*cos(x87 - x57) =L= 1; e311.. sqr(x7) + sqr(x38) - 2*x7*x38*cos(x88 - x57) =L= 1; e312.. sqr(x7) + sqr(x39) - 2*x7*x39*cos(x89 - x57) =L= 1; e313.. sqr(x7) + sqr(x40) - 2*x7*x40*cos(x90 - x57) =L= 1; e314.. sqr(x7) + sqr(x41) - 2*x7*x41*cos(x91 - x57) =L= 1; e315.. sqr(x7) + sqr(x42) - 2*x7*x42*cos(x92 - x57) =L= 1; e316.. sqr(x7) + sqr(x43) - 2*x7*x43*cos(x93 - x57) =L= 1; e317.. sqr(x7) + sqr(x44) - 2*x7*x44*cos(x94 - x57) =L= 1; e318.. sqr(x7) + sqr(x45) - 2*x7*x45*cos(x95 - x57) =L= 1; e319.. sqr(x7) + sqr(x46) - 2*x7*x46*cos(x96 - x57) =L= 1; e320.. sqr(x7) + sqr(x47) - 2*x7*x47*cos(x97 - x57) =L= 1; e321.. sqr(x7) + sqr(x48) - 2*x7*x48*cos(x98 - x57) =L= 1; e322.. sqr(x7) + sqr(x49) - 2*x7*x49*cos(x99 - x57) =L= 1; e323.. sqr(x7) + sqr(x50) - 2*x7*x50*cos(x100 - x57) =L= 1; e324.. sqr(x8) + sqr(x9) - 2*x8*x9*cos(x59 - x58) =L= 1; e325.. sqr(x8) + sqr(x10) - 2*x8*x10*cos(x60 - x58) =L= 1; e326.. sqr(x8) + sqr(x11) - 2*x8*x11*cos(x61 - x58) =L= 1; e327.. sqr(x8) + sqr(x12) - 2*x8*x12*cos(x62 - x58) =L= 1; e328.. sqr(x8) + sqr(x13) - 2*x8*x13*cos(x63 - x58) =L= 1; e329.. sqr(x8) + sqr(x14) - 2*x8*x14*cos(x64 - x58) =L= 1; e330.. sqr(x8) + sqr(x15) - 2*x8*x15*cos(x65 - x58) =L= 1; e331.. sqr(x8) + sqr(x16) - 2*x8*x16*cos(x66 - x58) =L= 1; e332.. sqr(x8) + sqr(x17) - 2*x8*x17*cos(x67 - x58) =L= 1; e333.. sqr(x8) + sqr(x18) - 2*x8*x18*cos(x68 - x58) =L= 1; e334.. sqr(x8) + sqr(x19) - 2*x8*x19*cos(x69 - x58) =L= 1; e335.. sqr(x8) + sqr(x20) - 2*x8*x20*cos(x70 - x58) =L= 1; e336.. sqr(x8) + sqr(x21) - 2*x8*x21*cos(x71 - x58) =L= 1; e337.. sqr(x8) + sqr(x22) - 2*x8*x22*cos(x72 - x58) =L= 1; e338.. sqr(x8) + sqr(x23) - 2*x8*x23*cos(x73 - x58) =L= 1; e339.. sqr(x8) + sqr(x24) - 2*x8*x24*cos(x74 - x58) =L= 1; e340.. sqr(x8) + sqr(x25) - 2*x8*x25*cos(x75 - x58) =L= 1; e341.. sqr(x8) + sqr(x26) - 2*x8*x26*cos(x76 - x58) =L= 1; e342.. sqr(x8) + sqr(x27) - 2*x8*x27*cos(x77 - x58) =L= 1; e343.. sqr(x8) + sqr(x28) - 2*x8*x28*cos(x78 - x58) =L= 1; e344.. sqr(x8) + sqr(x29) - 2*x8*x29*cos(x79 - x58) =L= 1; e345.. sqr(x8) + sqr(x30) - 2*x8*x30*cos(x80 - x58) =L= 1; e346.. sqr(x8) + sqr(x31) - 2*x8*x31*cos(x81 - x58) =L= 1; e347.. sqr(x8) + sqr(x32) - 2*x8*x32*cos(x82 - x58) =L= 1; e348.. sqr(x8) + sqr(x33) - 2*x8*x33*cos(x83 - x58) =L= 1; e349.. sqr(x8) + sqr(x34) - 2*x8*x34*cos(x84 - x58) =L= 1; e350.. sqr(x8) + sqr(x35) - 2*x8*x35*cos(x85 - x58) =L= 1; e351.. sqr(x8) + sqr(x36) - 2*x8*x36*cos(x86 - x58) =L= 1; e352.. sqr(x8) + sqr(x37) - 2*x8*x37*cos(x87 - x58) =L= 1; e353.. sqr(x8) + sqr(x38) - 2*x8*x38*cos(x88 - x58) =L= 1; e354.. sqr(x8) + sqr(x39) - 2*x8*x39*cos(x89 - x58) =L= 1; e355.. sqr(x8) + sqr(x40) - 2*x8*x40*cos(x90 - x58) =L= 1; e356.. sqr(x8) + sqr(x41) - 2*x8*x41*cos(x91 - x58) =L= 1; e357.. sqr(x8) + sqr(x42) - 2*x8*x42*cos(x92 - x58) =L= 1; e358.. sqr(x8) + sqr(x43) - 2*x8*x43*cos(x93 - x58) =L= 1; e359.. sqr(x8) + sqr(x44) - 2*x8*x44*cos(x94 - x58) =L= 1; e360.. sqr(x8) + sqr(x45) - 2*x8*x45*cos(x95 - x58) =L= 1; e361.. sqr(x8) + sqr(x46) - 2*x8*x46*cos(x96 - x58) =L= 1; e362.. sqr(x8) + sqr(x47) - 2*x8*x47*cos(x97 - x58) =L= 1; e363.. sqr(x8) + sqr(x48) - 2*x8*x48*cos(x98 - x58) =L= 1; e364.. sqr(x8) + sqr(x49) - 2*x8*x49*cos(x99 - x58) =L= 1; e365.. sqr(x8) + sqr(x50) - 2*x8*x50*cos(x100 - x58) =L= 1; e366.. sqr(x9) + sqr(x10) - 2*x9*x10*cos(x60 - x59) =L= 1; e367.. sqr(x9) + sqr(x11) - 2*x9*x11*cos(x61 - x59) =L= 1; e368.. sqr(x9) + sqr(x12) - 2*x9*x12*cos(x62 - x59) =L= 1; e369.. sqr(x9) + sqr(x13) - 2*x9*x13*cos(x63 - x59) =L= 1; e370.. sqr(x9) + sqr(x14) - 2*x9*x14*cos(x64 - x59) =L= 1; e371.. sqr(x9) + sqr(x15) - 2*x9*x15*cos(x65 - x59) =L= 1; e372.. sqr(x9) + sqr(x16) - 2*x9*x16*cos(x66 - x59) =L= 1; e373.. sqr(x9) + sqr(x17) - 2*x9*x17*cos(x67 - x59) =L= 1; e374.. sqr(x9) + sqr(x18) - 2*x9*x18*cos(x68 - x59) =L= 1; e375.. sqr(x9) + sqr(x19) - 2*x9*x19*cos(x69 - x59) =L= 1; e376.. sqr(x9) + sqr(x20) - 2*x9*x20*cos(x70 - x59) =L= 1; e377.. sqr(x9) + sqr(x21) - 2*x9*x21*cos(x71 - x59) =L= 1; e378.. sqr(x9) + sqr(x22) - 2*x9*x22*cos(x72 - x59) =L= 1; e379.. sqr(x9) + sqr(x23) - 2*x9*x23*cos(x73 - x59) =L= 1; e380.. sqr(x9) + sqr(x24) - 2*x9*x24*cos(x74 - x59) =L= 1; e381.. sqr(x9) + sqr(x25) - 2*x9*x25*cos(x75 - x59) =L= 1; e382.. sqr(x9) + sqr(x26) - 2*x9*x26*cos(x76 - x59) =L= 1; e383.. sqr(x9) + sqr(x27) - 2*x9*x27*cos(x77 - x59) =L= 1; e384.. sqr(x9) + sqr(x28) - 2*x9*x28*cos(x78 - x59) =L= 1; e385.. sqr(x9) + sqr(x29) - 2*x9*x29*cos(x79 - x59) =L= 1; e386.. sqr(x9) + sqr(x30) - 2*x9*x30*cos(x80 - x59) =L= 1; e387.. sqr(x9) + sqr(x31) - 2*x9*x31*cos(x81 - x59) =L= 1; e388.. sqr(x9) + sqr(x32) - 2*x9*x32*cos(x82 - x59) =L= 1; e389.. sqr(x9) + sqr(x33) - 2*x9*x33*cos(x83 - x59) =L= 1; e390.. sqr(x9) + sqr(x34) - 2*x9*x34*cos(x84 - x59) =L= 1; e391.. sqr(x9) + sqr(x35) - 2*x9*x35*cos(x85 - x59) =L= 1; e392.. sqr(x9) + sqr(x36) - 2*x9*x36*cos(x86 - x59) =L= 1; e393.. sqr(x9) + sqr(x37) - 2*x9*x37*cos(x87 - x59) =L= 1; e394.. sqr(x9) + sqr(x38) - 2*x9*x38*cos(x88 - x59) =L= 1; e395.. sqr(x9) + sqr(x39) - 2*x9*x39*cos(x89 - x59) =L= 1; e396.. sqr(x9) + sqr(x40) - 2*x9*x40*cos(x90 - x59) =L= 1; e397.. sqr(x9) + sqr(x41) - 2*x9*x41*cos(x91 - x59) =L= 1; e398.. sqr(x9) + sqr(x42) - 2*x9*x42*cos(x92 - x59) =L= 1; e399.. sqr(x9) + sqr(x43) - 2*x9*x43*cos(x93 - x59) =L= 1; e400.. sqr(x9) + sqr(x44) - 2*x9*x44*cos(x94 - x59) =L= 1; e401.. sqr(x9) + sqr(x45) - 2*x9*x45*cos(x95 - x59) =L= 1; e402.. sqr(x9) + sqr(x46) - 2*x9*x46*cos(x96 - x59) =L= 1; e403.. sqr(x9) + sqr(x47) - 2*x9*x47*cos(x97 - x59) =L= 1; e404.. sqr(x9) + sqr(x48) - 2*x9*x48*cos(x98 - x59) =L= 1; e405.. sqr(x9) + sqr(x49) - 2*x9*x49*cos(x99 - x59) =L= 1; e406.. sqr(x9) + sqr(x50) - 2*x9*x50*cos(x100 - x59) =L= 1; e407.. sqr(x10) + sqr(x11) - 2*x10*x11*cos(x61 - x60) =L= 1; e408.. sqr(x10) + sqr(x12) - 2*x10*x12*cos(x62 - x60) =L= 1; e409.. sqr(x10) + sqr(x13) - 2*x10*x13*cos(x63 - x60) =L= 1; e410.. sqr(x10) + sqr(x14) - 2*x10*x14*cos(x64 - x60) =L= 1; e411.. sqr(x10) + sqr(x15) - 2*x10*x15*cos(x65 - x60) =L= 1; e412.. sqr(x10) + sqr(x16) - 2*x10*x16*cos(x66 - x60) =L= 1; e413.. sqr(x10) + sqr(x17) - 2*x10*x17*cos(x67 - x60) =L= 1; e414.. sqr(x10) + sqr(x18) - 2*x10*x18*cos(x68 - x60) =L= 1; e415.. sqr(x10) + sqr(x19) - 2*x10*x19*cos(x69 - x60) =L= 1; e416.. sqr(x10) + sqr(x20) - 2*x10*x20*cos(x70 - x60) =L= 1; e417.. sqr(x10) + sqr(x21) - 2*x10*x21*cos(x71 - x60) =L= 1; e418.. sqr(x10) + sqr(x22) - 2*x10*x22*cos(x72 - x60) =L= 1; e419.. sqr(x10) + sqr(x23) - 2*x10*x23*cos(x73 - x60) =L= 1; e420.. sqr(x10) + sqr(x24) - 2*x10*x24*cos(x74 - x60) =L= 1; e421.. sqr(x10) + sqr(x25) - 2*x10*x25*cos(x75 - x60) =L= 1; e422.. sqr(x10) + sqr(x26) - 2*x10*x26*cos(x76 - x60) =L= 1; e423.. sqr(x10) + sqr(x27) - 2*x10*x27*cos(x77 - x60) =L= 1; e424.. sqr(x10) + sqr(x28) - 2*x10*x28*cos(x78 - x60) =L= 1; e425.. sqr(x10) + sqr(x29) - 2*x10*x29*cos(x79 - x60) =L= 1; e426.. sqr(x10) + sqr(x30) - 2*x10*x30*cos(x80 - x60) =L= 1; e427.. sqr(x10) + sqr(x31) - 2*x10*x31*cos(x81 - x60) =L= 1; e428.. sqr(x10) + sqr(x32) - 2*x10*x32*cos(x82 - x60) =L= 1; e429.. sqr(x10) + sqr(x33) - 2*x10*x33*cos(x83 - x60) =L= 1; e430.. sqr(x10) + sqr(x34) - 2*x10*x34*cos(x84 - x60) =L= 1; e431.. sqr(x10) + sqr(x35) - 2*x10*x35*cos(x85 - x60) =L= 1; e432.. sqr(x10) + sqr(x36) - 2*x10*x36*cos(x86 - x60) =L= 1; e433.. sqr(x10) + sqr(x37) - 2*x10*x37*cos(x87 - x60) =L= 1; e434.. sqr(x10) + sqr(x38) - 2*x10*x38*cos(x88 - x60) =L= 1; e435.. sqr(x10) + sqr(x39) - 2*x10*x39*cos(x89 - x60) =L= 1; e436.. sqr(x10) + sqr(x40) - 2*x10*x40*cos(x90 - x60) =L= 1; e437.. sqr(x10) + sqr(x41) - 2*x10*x41*cos(x91 - x60) =L= 1; e438.. sqr(x10) + sqr(x42) - 2*x10*x42*cos(x92 - x60) =L= 1; e439.. sqr(x10) + sqr(x43) - 2*x10*x43*cos(x93 - x60) =L= 1; e440.. sqr(x10) + sqr(x44) - 2*x10*x44*cos(x94 - x60) =L= 1; e441.. sqr(x10) + sqr(x45) - 2*x10*x45*cos(x95 - x60) =L= 1; e442.. sqr(x10) + sqr(x46) - 2*x10*x46*cos(x96 - x60) =L= 1; e443.. sqr(x10) + sqr(x47) - 2*x10*x47*cos(x97 - x60) =L= 1; e444.. sqr(x10) + sqr(x48) - 2*x10*x48*cos(x98 - x60) =L= 1; e445.. sqr(x10) + sqr(x49) - 2*x10*x49*cos(x99 - x60) =L= 1; e446.. sqr(x10) + sqr(x50) - 2*x10*x50*cos(x100 - x60) =L= 1; e447.. sqr(x11) + sqr(x12) - 2*x11*x12*cos(x62 - x61) =L= 1; e448.. sqr(x11) + sqr(x13) - 2*x11*x13*cos(x63 - x61) =L= 1; e449.. sqr(x11) + sqr(x14) - 2*x11*x14*cos(x64 - x61) =L= 1; e450.. sqr(x11) + sqr(x15) - 2*x11*x15*cos(x65 - x61) =L= 1; e451.. sqr(x11) + sqr(x16) - 2*x11*x16*cos(x66 - x61) =L= 1; e452.. sqr(x11) + sqr(x17) - 2*x11*x17*cos(x67 - x61) =L= 1; e453.. sqr(x11) + sqr(x18) - 2*x11*x18*cos(x68 - x61) =L= 1; e454.. sqr(x11) + sqr(x19) - 2*x11*x19*cos(x69 - x61) =L= 1; e455.. sqr(x11) + sqr(x20) - 2*x11*x20*cos(x70 - x61) =L= 1; e456.. sqr(x11) + sqr(x21) - 2*x11*x21*cos(x71 - x61) =L= 1; e457.. sqr(x11) + sqr(x22) - 2*x11*x22*cos(x72 - x61) =L= 1; e458.. sqr(x11) + sqr(x23) - 2*x11*x23*cos(x73 - x61) =L= 1; e459.. sqr(x11) + sqr(x24) - 2*x11*x24*cos(x74 - x61) =L= 1; e460.. sqr(x11) + sqr(x25) - 2*x11*x25*cos(x75 - x61) =L= 1; e461.. sqr(x11) + sqr(x26) - 2*x11*x26*cos(x76 - x61) =L= 1; e462.. sqr(x11) + sqr(x27) - 2*x11*x27*cos(x77 - x61) =L= 1; e463.. sqr(x11) + sqr(x28) - 2*x11*x28*cos(x78 - x61) =L= 1; e464.. sqr(x11) + sqr(x29) - 2*x11*x29*cos(x79 - x61) =L= 1; e465.. sqr(x11) + sqr(x30) - 2*x11*x30*cos(x80 - x61) =L= 1; e466.. sqr(x11) + sqr(x31) - 2*x11*x31*cos(x81 - x61) =L= 1; e467.. sqr(x11) + sqr(x32) - 2*x11*x32*cos(x82 - x61) =L= 1; e468.. sqr(x11) + sqr(x33) - 2*x11*x33*cos(x83 - x61) =L= 1; e469.. sqr(x11) + sqr(x34) - 2*x11*x34*cos(x84 - x61) =L= 1; e470.. sqr(x11) + sqr(x35) - 2*x11*x35*cos(x85 - x61) =L= 1; e471.. sqr(x11) + sqr(x36) - 2*x11*x36*cos(x86 - x61) =L= 1; e472.. sqr(x11) + sqr(x37) - 2*x11*x37*cos(x87 - x61) =L= 1; e473.. sqr(x11) + sqr(x38) - 2*x11*x38*cos(x88 - x61) =L= 1; e474.. sqr(x11) + sqr(x39) - 2*x11*x39*cos(x89 - x61) =L= 1; e475.. sqr(x11) + sqr(x40) - 2*x11*x40*cos(x90 - x61) =L= 1; e476.. sqr(x11) + sqr(x41) - 2*x11*x41*cos(x91 - x61) =L= 1; e477.. sqr(x11) + sqr(x42) - 2*x11*x42*cos(x92 - x61) =L= 1; e478.. sqr(x11) + sqr(x43) - 2*x11*x43*cos(x93 - x61) =L= 1; e479.. sqr(x11) + sqr(x44) - 2*x11*x44*cos(x94 - x61) =L= 1; e480.. sqr(x11) + sqr(x45) - 2*x11*x45*cos(x95 - x61) =L= 1; e481.. sqr(x11) + sqr(x46) - 2*x11*x46*cos(x96 - x61) =L= 1; e482.. sqr(x11) + sqr(x47) - 2*x11*x47*cos(x97 - x61) =L= 1; e483.. sqr(x11) + sqr(x48) - 2*x11*x48*cos(x98 - x61) =L= 1; e484.. sqr(x11) + sqr(x49) - 2*x11*x49*cos(x99 - x61) =L= 1; e485.. sqr(x11) + sqr(x50) - 2*x11*x50*cos(x100 - x61) =L= 1; e486.. sqr(x12) + sqr(x13) - 2*x12*x13*cos(x63 - x62) =L= 1; e487.. sqr(x12) + sqr(x14) - 2*x12*x14*cos(x64 - x62) =L= 1; e488.. sqr(x12) + sqr(x15) - 2*x12*x15*cos(x65 - x62) =L= 1; e489.. sqr(x12) + sqr(x16) - 2*x12*x16*cos(x66 - x62) =L= 1; e490.. sqr(x12) + sqr(x17) - 2*x12*x17*cos(x67 - x62) =L= 1; e491.. sqr(x12) + sqr(x18) - 2*x12*x18*cos(x68 - x62) =L= 1; e492.. sqr(x12) + sqr(x19) - 2*x12*x19*cos(x69 - x62) =L= 1; e493.. sqr(x12) + sqr(x20) - 2*x12*x20*cos(x70 - x62) =L= 1; e494.. sqr(x12) + sqr(x21) - 2*x12*x21*cos(x71 - x62) =L= 1; e495.. sqr(x12) + sqr(x22) - 2*x12*x22*cos(x72 - x62) =L= 1; e496.. sqr(x12) + sqr(x23) - 2*x12*x23*cos(x73 - x62) =L= 1; e497.. sqr(x12) + sqr(x24) - 2*x12*x24*cos(x74 - x62) =L= 1; e498.. sqr(x12) + sqr(x25) - 2*x12*x25*cos(x75 - x62) =L= 1; e499.. sqr(x12) + sqr(x26) - 2*x12*x26*cos(x76 - x62) =L= 1; e500.. sqr(x12) + sqr(x27) - 2*x12*x27*cos(x77 - x62) =L= 1; e501.. sqr(x12) + sqr(x28) - 2*x12*x28*cos(x78 - x62) =L= 1; e502.. sqr(x12) + sqr(x29) - 2*x12*x29*cos(x79 - x62) =L= 1; e503.. sqr(x12) + sqr(x30) - 2*x12*x30*cos(x80 - x62) =L= 1; e504.. sqr(x12) + sqr(x31) - 2*x12*x31*cos(x81 - x62) =L= 1; e505.. sqr(x12) + sqr(x32) - 2*x12*x32*cos(x82 - x62) =L= 1; e506.. sqr(x12) + sqr(x33) - 2*x12*x33*cos(x83 - x62) =L= 1; e507.. sqr(x12) + sqr(x34) - 2*x12*x34*cos(x84 - x62) =L= 1; e508.. sqr(x12) + sqr(x35) - 2*x12*x35*cos(x85 - x62) =L= 1; e509.. sqr(x12) + sqr(x36) - 2*x12*x36*cos(x86 - x62) =L= 1; e510.. sqr(x12) + sqr(x37) - 2*x12*x37*cos(x87 - x62) =L= 1; e511.. sqr(x12) + sqr(x38) - 2*x12*x38*cos(x88 - x62) =L= 1; e512.. sqr(x12) + sqr(x39) - 2*x12*x39*cos(x89 - x62) =L= 1; e513.. sqr(x12) + sqr(x40) - 2*x12*x40*cos(x90 - x62) =L= 1; e514.. sqr(x12) + sqr(x41) - 2*x12*x41*cos(x91 - x62) =L= 1; e515.. sqr(x12) + sqr(x42) - 2*x12*x42*cos(x92 - x62) =L= 1; e516.. sqr(x12) + sqr(x43) - 2*x12*x43*cos(x93 - x62) =L= 1; e517.. sqr(x12) + sqr(x44) - 2*x12*x44*cos(x94 - x62) =L= 1; e518.. sqr(x12) + sqr(x45) - 2*x12*x45*cos(x95 - x62) =L= 1; e519.. sqr(x12) + sqr(x46) - 2*x12*x46*cos(x96 - x62) =L= 1; e520.. sqr(x12) + sqr(x47) - 2*x12*x47*cos(x97 - x62) =L= 1; e521.. sqr(x12) + sqr(x48) - 2*x12*x48*cos(x98 - x62) =L= 1; e522.. sqr(x12) + sqr(x49) - 2*x12*x49*cos(x99 - x62) =L= 1; e523.. sqr(x12) + sqr(x50) - 2*x12*x50*cos(x100 - x62) =L= 1; e524.. sqr(x13) + sqr(x14) - 2*x13*x14*cos(x64 - x63) =L= 1; e525.. sqr(x13) + sqr(x15) - 2*x13*x15*cos(x65 - x63) =L= 1; e526.. sqr(x13) + sqr(x16) - 2*x13*x16*cos(x66 - x63) =L= 1; e527.. sqr(x13) + sqr(x17) - 2*x13*x17*cos(x67 - x63) =L= 1; e528.. sqr(x13) + sqr(x18) - 2*x13*x18*cos(x68 - x63) =L= 1; e529.. sqr(x13) + sqr(x19) - 2*x13*x19*cos(x69 - x63) =L= 1; e530.. sqr(x13) + sqr(x20) - 2*x13*x20*cos(x70 - x63) =L= 1; e531.. sqr(x13) + sqr(x21) - 2*x13*x21*cos(x71 - x63) =L= 1; e532.. sqr(x13) + sqr(x22) - 2*x13*x22*cos(x72 - x63) =L= 1; e533.. sqr(x13) + sqr(x23) - 2*x13*x23*cos(x73 - x63) =L= 1; e534.. sqr(x13) + sqr(x24) - 2*x13*x24*cos(x74 - x63) =L= 1; e535.. sqr(x13) + sqr(x25) - 2*x13*x25*cos(x75 - x63) =L= 1; e536.. sqr(x13) + sqr(x26) - 2*x13*x26*cos(x76 - x63) =L= 1; e537.. sqr(x13) + sqr(x27) - 2*x13*x27*cos(x77 - x63) =L= 1; e538.. sqr(x13) + sqr(x28) - 2*x13*x28*cos(x78 - x63) =L= 1; e539.. sqr(x13) + sqr(x29) - 2*x13*x29*cos(x79 - x63) =L= 1; e540.. sqr(x13) + sqr(x30) - 2*x13*x30*cos(x80 - x63) =L= 1; e541.. sqr(x13) + sqr(x31) - 2*x13*x31*cos(x81 - x63) =L= 1; e542.. sqr(x13) + sqr(x32) - 2*x13*x32*cos(x82 - x63) =L= 1; e543.. sqr(x13) + sqr(x33) - 2*x13*x33*cos(x83 - x63) =L= 1; e544.. sqr(x13) + sqr(x34) - 2*x13*x34*cos(x84 - x63) =L= 1; e545.. sqr(x13) + sqr(x35) - 2*x13*x35*cos(x85 - x63) =L= 1; e546.. sqr(x13) + sqr(x36) - 2*x13*x36*cos(x86 - x63) =L= 1; e547.. sqr(x13) + sqr(x37) - 2*x13*x37*cos(x87 - x63) =L= 1; e548.. sqr(x13) + sqr(x38) - 2*x13*x38*cos(x88 - x63) =L= 1; e549.. sqr(x13) + sqr(x39) - 2*x13*x39*cos(x89 - x63) =L= 1; e550.. sqr(x13) + sqr(x40) - 2*x13*x40*cos(x90 - x63) =L= 1; e551.. sqr(x13) + sqr(x41) - 2*x13*x41*cos(x91 - x63) =L= 1; e552.. sqr(x13) + sqr(x42) - 2*x13*x42*cos(x92 - x63) =L= 1; e553.. sqr(x13) + sqr(x43) - 2*x13*x43*cos(x93 - x63) =L= 1; e554.. sqr(x13) + sqr(x44) - 2*x13*x44*cos(x94 - x63) =L= 1; e555.. sqr(x13) + sqr(x45) - 2*x13*x45*cos(x95 - x63) =L= 1; e556.. sqr(x13) + sqr(x46) - 2*x13*x46*cos(x96 - x63) =L= 1; e557.. sqr(x13) + sqr(x47) - 2*x13*x47*cos(x97 - x63) =L= 1; e558.. sqr(x13) + sqr(x48) - 2*x13*x48*cos(x98 - x63) =L= 1; e559.. sqr(x13) + sqr(x49) - 2*x13*x49*cos(x99 - x63) =L= 1; e560.. sqr(x13) + sqr(x50) - 2*x13*x50*cos(x100 - x63) =L= 1; e561.. sqr(x14) + sqr(x15) - 2*x14*x15*cos(x65 - x64) =L= 1; e562.. sqr(x14) + sqr(x16) - 2*x14*x16*cos(x66 - x64) =L= 1; e563.. sqr(x14) + sqr(x17) - 2*x14*x17*cos(x67 - x64) =L= 1; e564.. sqr(x14) + sqr(x18) - 2*x14*x18*cos(x68 - x64) =L= 1; e565.. sqr(x14) + sqr(x19) - 2*x14*x19*cos(x69 - x64) =L= 1; e566.. sqr(x14) + sqr(x20) - 2*x14*x20*cos(x70 - x64) =L= 1; e567.. sqr(x14) + sqr(x21) - 2*x14*x21*cos(x71 - x64) =L= 1; e568.. sqr(x14) + sqr(x22) - 2*x14*x22*cos(x72 - x64) =L= 1; e569.. sqr(x14) + sqr(x23) - 2*x14*x23*cos(x73 - x64) =L= 1; e570.. sqr(x14) + sqr(x24) - 2*x14*x24*cos(x74 - x64) =L= 1; e571.. sqr(x14) + sqr(x25) - 2*x14*x25*cos(x75 - x64) =L= 1; e572.. sqr(x14) + sqr(x26) - 2*x14*x26*cos(x76 - x64) =L= 1; e573.. sqr(x14) + sqr(x27) - 2*x14*x27*cos(x77 - x64) =L= 1; e574.. sqr(x14) + sqr(x28) - 2*x14*x28*cos(x78 - x64) =L= 1; e575.. sqr(x14) + sqr(x29) - 2*x14*x29*cos(x79 - x64) =L= 1; e576.. sqr(x14) + sqr(x30) - 2*x14*x30*cos(x80 - x64) =L= 1; e577.. sqr(x14) + sqr(x31) - 2*x14*x31*cos(x81 - x64) =L= 1; e578.. sqr(x14) + sqr(x32) - 2*x14*x32*cos(x82 - x64) =L= 1; e579.. sqr(x14) + sqr(x33) - 2*x14*x33*cos(x83 - x64) =L= 1; e580.. sqr(x14) + sqr(x34) - 2*x14*x34*cos(x84 - x64) =L= 1; e581.. sqr(x14) + sqr(x35) - 2*x14*x35*cos(x85 - x64) =L= 1; e582.. sqr(x14) + sqr(x36) - 2*x14*x36*cos(x86 - x64) =L= 1; e583.. sqr(x14) + sqr(x37) - 2*x14*x37*cos(x87 - x64) =L= 1; e584.. sqr(x14) + sqr(x38) - 2*x14*x38*cos(x88 - x64) =L= 1; e585.. sqr(x14) + sqr(x39) - 2*x14*x39*cos(x89 - x64) =L= 1; e586.. sqr(x14) + sqr(x40) - 2*x14*x40*cos(x90 - x64) =L= 1; e587.. sqr(x14) + sqr(x41) - 2*x14*x41*cos(x91 - x64) =L= 1; e588.. sqr(x14) + sqr(x42) - 2*x14*x42*cos(x92 - x64) =L= 1; e589.. sqr(x14) + sqr(x43) - 2*x14*x43*cos(x93 - x64) =L= 1; e590.. sqr(x14) + sqr(x44) - 2*x14*x44*cos(x94 - x64) =L= 1; e591.. sqr(x14) + sqr(x45) - 2*x14*x45*cos(x95 - x64) =L= 1; e592.. sqr(x14) + sqr(x46) - 2*x14*x46*cos(x96 - x64) =L= 1; e593.. sqr(x14) + sqr(x47) - 2*x14*x47*cos(x97 - x64) =L= 1; e594.. sqr(x14) + sqr(x48) - 2*x14*x48*cos(x98 - x64) =L= 1; e595.. sqr(x14) + sqr(x49) - 2*x14*x49*cos(x99 - x64) =L= 1; e596.. sqr(x14) + sqr(x50) - 2*x14*x50*cos(x100 - x64) =L= 1; e597.. sqr(x15) + sqr(x16) - 2*x15*x16*cos(x66 - x65) =L= 1; e598.. sqr(x15) + sqr(x17) - 2*x15*x17*cos(x67 - x65) =L= 1; e599.. sqr(x15) + sqr(x18) - 2*x15*x18*cos(x68 - x65) =L= 1; e600.. sqr(x15) + sqr(x19) - 2*x15*x19*cos(x69 - x65) =L= 1; e601.. sqr(x15) + sqr(x20) - 2*x15*x20*cos(x70 - x65) =L= 1; e602.. sqr(x15) + sqr(x21) - 2*x15*x21*cos(x71 - x65) =L= 1; e603.. sqr(x15) + sqr(x22) - 2*x15*x22*cos(x72 - x65) =L= 1; e604.. sqr(x15) + sqr(x23) - 2*x15*x23*cos(x73 - x65) =L= 1; e605.. sqr(x15) + sqr(x24) - 2*x15*x24*cos(x74 - x65) =L= 1; e606.. sqr(x15) + sqr(x25) - 2*x15*x25*cos(x75 - x65) =L= 1; e607.. sqr(x15) + sqr(x26) - 2*x15*x26*cos(x76 - x65) =L= 1; e608.. sqr(x15) + sqr(x27) - 2*x15*x27*cos(x77 - x65) =L= 1; e609.. sqr(x15) + sqr(x28) - 2*x15*x28*cos(x78 - x65) =L= 1; e610.. sqr(x15) + sqr(x29) - 2*x15*x29*cos(x79 - x65) =L= 1; e611.. sqr(x15) + sqr(x30) - 2*x15*x30*cos(x80 - x65) =L= 1; e612.. sqr(x15) + sqr(x31) - 2*x15*x31*cos(x81 - x65) =L= 1; e613.. sqr(x15) + sqr(x32) - 2*x15*x32*cos(x82 - x65) =L= 1; e614.. sqr(x15) + sqr(x33) - 2*x15*x33*cos(x83 - x65) =L= 1; e615.. sqr(x15) + sqr(x34) - 2*x15*x34*cos(x84 - x65) =L= 1; e616.. sqr(x15) + sqr(x35) - 2*x15*x35*cos(x85 - x65) =L= 1; e617.. sqr(x15) + sqr(x36) - 2*x15*x36*cos(x86 - x65) =L= 1; e618.. sqr(x15) + sqr(x37) - 2*x15*x37*cos(x87 - x65) =L= 1; e619.. sqr(x15) + sqr(x38) - 2*x15*x38*cos(x88 - x65) =L= 1; e620.. sqr(x15) + sqr(x39) - 2*x15*x39*cos(x89 - x65) =L= 1; e621.. sqr(x15) + sqr(x40) - 2*x15*x40*cos(x90 - x65) =L= 1; e622.. sqr(x15) + sqr(x41) - 2*x15*x41*cos(x91 - x65) =L= 1; e623.. sqr(x15) + sqr(x42) - 2*x15*x42*cos(x92 - x65) =L= 1; e624.. sqr(x15) + sqr(x43) - 2*x15*x43*cos(x93 - x65) =L= 1; e625.. sqr(x15) + sqr(x44) - 2*x15*x44*cos(x94 - x65) =L= 1; e626.. sqr(x15) + sqr(x45) - 2*x15*x45*cos(x95 - x65) =L= 1; e627.. sqr(x15) + sqr(x46) - 2*x15*x46*cos(x96 - x65) =L= 1; e628.. sqr(x15) + sqr(x47) - 2*x15*x47*cos(x97 - x65) =L= 1; e629.. sqr(x15) + sqr(x48) - 2*x15*x48*cos(x98 - x65) =L= 1; e630.. sqr(x15) + sqr(x49) - 2*x15*x49*cos(x99 - x65) =L= 1; e631.. sqr(x15) + sqr(x50) - 2*x15*x50*cos(x100 - x65) =L= 1; e632.. sqr(x16) + sqr(x17) - 2*x16*x17*cos(x67 - x66) =L= 1; e633.. sqr(x16) + sqr(x18) - 2*x16*x18*cos(x68 - x66) =L= 1; e634.. sqr(x16) + sqr(x19) - 2*x16*x19*cos(x69 - x66) =L= 1; e635.. sqr(x16) + sqr(x20) - 2*x16*x20*cos(x70 - x66) =L= 1; e636.. sqr(x16) + sqr(x21) - 2*x16*x21*cos(x71 - x66) =L= 1; e637.. sqr(x16) + sqr(x22) - 2*x16*x22*cos(x72 - x66) =L= 1; e638.. sqr(x16) + sqr(x23) - 2*x16*x23*cos(x73 - x66) =L= 1; e639.. sqr(x16) + sqr(x24) - 2*x16*x24*cos(x74 - x66) =L= 1; e640.. sqr(x16) + sqr(x25) - 2*x16*x25*cos(x75 - x66) =L= 1; e641.. sqr(x16) + sqr(x26) - 2*x16*x26*cos(x76 - x66) =L= 1; e642.. sqr(x16) + sqr(x27) - 2*x16*x27*cos(x77 - x66) =L= 1; e643.. sqr(x16) + sqr(x28) - 2*x16*x28*cos(x78 - x66) =L= 1; e644.. sqr(x16) + sqr(x29) - 2*x16*x29*cos(x79 - x66) =L= 1; e645.. sqr(x16) + sqr(x30) - 2*x16*x30*cos(x80 - x66) =L= 1; e646.. sqr(x16) + sqr(x31) - 2*x16*x31*cos(x81 - x66) =L= 1; e647.. sqr(x16) + sqr(x32) - 2*x16*x32*cos(x82 - x66) =L= 1; e648.. sqr(x16) + sqr(x33) - 2*x16*x33*cos(x83 - x66) =L= 1; e649.. sqr(x16) + sqr(x34) - 2*x16*x34*cos(x84 - x66) =L= 1; e650.. sqr(x16) + sqr(x35) - 2*x16*x35*cos(x85 - x66) =L= 1; e651.. sqr(x16) + sqr(x36) - 2*x16*x36*cos(x86 - x66) =L= 1; e652.. sqr(x16) + sqr(x37) - 2*x16*x37*cos(x87 - x66) =L= 1; e653.. sqr(x16) + sqr(x38) - 2*x16*x38*cos(x88 - x66) =L= 1; e654.. sqr(x16) + sqr(x39) - 2*x16*x39*cos(x89 - x66) =L= 1; e655.. sqr(x16) + sqr(x40) - 2*x16*x40*cos(x90 - x66) =L= 1; e656.. sqr(x16) + sqr(x41) - 2*x16*x41*cos(x91 - x66) =L= 1; e657.. sqr(x16) + sqr(x42) - 2*x16*x42*cos(x92 - x66) =L= 1; e658.. sqr(x16) + sqr(x43) - 2*x16*x43*cos(x93 - x66) =L= 1; e659.. sqr(x16) + sqr(x44) - 2*x16*x44*cos(x94 - x66) =L= 1; e660.. sqr(x16) + sqr(x45) - 2*x16*x45*cos(x95 - x66) =L= 1; e661.. sqr(x16) + sqr(x46) - 2*x16*x46*cos(x96 - x66) =L= 1; e662.. sqr(x16) + sqr(x47) - 2*x16*x47*cos(x97 - x66) =L= 1; e663.. sqr(x16) + sqr(x48) - 2*x16*x48*cos(x98 - x66) =L= 1; e664.. sqr(x16) + sqr(x49) - 2*x16*x49*cos(x99 - x66) =L= 1; e665.. sqr(x16) + sqr(x50) - 2*x16*x50*cos(x100 - x66) =L= 1; e666.. sqr(x17) + sqr(x18) - 2*x17*x18*cos(x68 - x67) =L= 1; e667.. sqr(x17) + sqr(x19) - 2*x17*x19*cos(x69 - x67) =L= 1; e668.. sqr(x17) + sqr(x20) - 2*x17*x20*cos(x70 - x67) =L= 1; e669.. sqr(x17) + sqr(x21) - 2*x17*x21*cos(x71 - x67) =L= 1; e670.. sqr(x17) + sqr(x22) - 2*x17*x22*cos(x72 - x67) =L= 1; e671.. sqr(x17) + sqr(x23) - 2*x17*x23*cos(x73 - x67) =L= 1; e672.. sqr(x17) + sqr(x24) - 2*x17*x24*cos(x74 - x67) =L= 1; e673.. sqr(x17) + sqr(x25) - 2*x17*x25*cos(x75 - x67) =L= 1; e674.. sqr(x17) + sqr(x26) - 2*x17*x26*cos(x76 - x67) =L= 1; e675.. sqr(x17) + sqr(x27) - 2*x17*x27*cos(x77 - x67) =L= 1; e676.. sqr(x17) + sqr(x28) - 2*x17*x28*cos(x78 - x67) =L= 1; e677.. sqr(x17) + sqr(x29) - 2*x17*x29*cos(x79 - x67) =L= 1; e678.. sqr(x17) + sqr(x30) - 2*x17*x30*cos(x80 - x67) =L= 1; e679.. sqr(x17) + sqr(x31) - 2*x17*x31*cos(x81 - x67) =L= 1; e680.. sqr(x17) + sqr(x32) - 2*x17*x32*cos(x82 - x67) =L= 1; e681.. sqr(x17) + sqr(x33) - 2*x17*x33*cos(x83 - x67) =L= 1; e682.. sqr(x17) + sqr(x34) - 2*x17*x34*cos(x84 - x67) =L= 1; e683.. sqr(x17) + sqr(x35) - 2*x17*x35*cos(x85 - x67) =L= 1; e684.. sqr(x17) + sqr(x36) - 2*x17*x36*cos(x86 - x67) =L= 1; e685.. sqr(x17) + sqr(x37) - 2*x17*x37*cos(x87 - x67) =L= 1; e686.. sqr(x17) + sqr(x38) - 2*x17*x38*cos(x88 - x67) =L= 1; e687.. sqr(x17) + sqr(x39) - 2*x17*x39*cos(x89 - x67) =L= 1; e688.. sqr(x17) + sqr(x40) - 2*x17*x40*cos(x90 - x67) =L= 1; e689.. sqr(x17) + sqr(x41) - 2*x17*x41*cos(x91 - x67) =L= 1; e690.. sqr(x17) + sqr(x42) - 2*x17*x42*cos(x92 - x67) =L= 1; e691.. sqr(x17) + sqr(x43) - 2*x17*x43*cos(x93 - x67) =L= 1; e692.. sqr(x17) + sqr(x44) - 2*x17*x44*cos(x94 - x67) =L= 1; e693.. sqr(x17) + sqr(x45) - 2*x17*x45*cos(x95 - x67) =L= 1; e694.. sqr(x17) + sqr(x46) - 2*x17*x46*cos(x96 - x67) =L= 1; e695.. sqr(x17) + sqr(x47) - 2*x17*x47*cos(x97 - x67) =L= 1; e696.. sqr(x17) + sqr(x48) - 2*x17*x48*cos(x98 - x67) =L= 1; e697.. sqr(x17) + sqr(x49) - 2*x17*x49*cos(x99 - x67) =L= 1; e698.. sqr(x17) + sqr(x50) - 2*x17*x50*cos(x100 - x67) =L= 1; e699.. sqr(x18) + sqr(x19) - 2*x18*x19*cos(x69 - x68) =L= 1; e700.. sqr(x18) + sqr(x20) - 2*x18*x20*cos(x70 - x68) =L= 1; e701.. sqr(x18) + sqr(x21) - 2*x18*x21*cos(x71 - x68) =L= 1; e702.. sqr(x18) + sqr(x22) - 2*x18*x22*cos(x72 - x68) =L= 1; e703.. sqr(x18) + sqr(x23) - 2*x18*x23*cos(x73 - x68) =L= 1; e704.. sqr(x18) + sqr(x24) - 2*x18*x24*cos(x74 - x68) =L= 1; e705.. sqr(x18) + sqr(x25) - 2*x18*x25*cos(x75 - x68) =L= 1; e706.. sqr(x18) + sqr(x26) - 2*x18*x26*cos(x76 - x68) =L= 1; e707.. sqr(x18) + sqr(x27) - 2*x18*x27*cos(x77 - x68) =L= 1; e708.. sqr(x18) + sqr(x28) - 2*x18*x28*cos(x78 - x68) =L= 1; e709.. sqr(x18) + sqr(x29) - 2*x18*x29*cos(x79 - x68) =L= 1; e710.. sqr(x18) + sqr(x30) - 2*x18*x30*cos(x80 - x68) =L= 1; e711.. sqr(x18) + sqr(x31) - 2*x18*x31*cos(x81 - x68) =L= 1; e712.. sqr(x18) + sqr(x32) - 2*x18*x32*cos(x82 - x68) =L= 1; e713.. sqr(x18) + sqr(x33) - 2*x18*x33*cos(x83 - x68) =L= 1; e714.. sqr(x18) + sqr(x34) - 2*x18*x34*cos(x84 - x68) =L= 1; e715.. sqr(x18) + sqr(x35) - 2*x18*x35*cos(x85 - x68) =L= 1; e716.. sqr(x18) + sqr(x36) - 2*x18*x36*cos(x86 - x68) =L= 1; e717.. sqr(x18) + sqr(x37) - 2*x18*x37*cos(x87 - x68) =L= 1; e718.. sqr(x18) + sqr(x38) - 2*x18*x38*cos(x88 - x68) =L= 1; e719.. sqr(x18) + sqr(x39) - 2*x18*x39*cos(x89 - x68) =L= 1; e720.. sqr(x18) + sqr(x40) - 2*x18*x40*cos(x90 - x68) =L= 1; e721.. sqr(x18) + sqr(x41) - 2*x18*x41*cos(x91 - x68) =L= 1; e722.. sqr(x18) + sqr(x42) - 2*x18*x42*cos(x92 - x68) =L= 1; e723.. sqr(x18) + sqr(x43) - 2*x18*x43*cos(x93 - x68) =L= 1; e724.. sqr(x18) + sqr(x44) - 2*x18*x44*cos(x94 - x68) =L= 1; e725.. sqr(x18) + sqr(x45) - 2*x18*x45*cos(x95 - x68) =L= 1; e726.. sqr(x18) + sqr(x46) - 2*x18*x46*cos(x96 - x68) =L= 1; e727.. sqr(x18) + sqr(x47) - 2*x18*x47*cos(x97 - x68) =L= 1; e728.. sqr(x18) + sqr(x48) - 2*x18*x48*cos(x98 - x68) =L= 1; e729.. sqr(x18) + sqr(x49) - 2*x18*x49*cos(x99 - x68) =L= 1; e730.. sqr(x18) + sqr(x50) - 2*x18*x50*cos(x100 - x68) =L= 1; e731.. sqr(x19) + sqr(x20) - 2*x19*x20*cos(x70 - x69) =L= 1; e732.. sqr(x19) + sqr(x21) - 2*x19*x21*cos(x71 - x69) =L= 1; e733.. sqr(x19) + sqr(x22) - 2*x19*x22*cos(x72 - x69) =L= 1; e734.. sqr(x19) + sqr(x23) - 2*x19*x23*cos(x73 - x69) =L= 1; e735.. sqr(x19) + sqr(x24) - 2*x19*x24*cos(x74 - x69) =L= 1; e736.. sqr(x19) + sqr(x25) - 2*x19*x25*cos(x75 - x69) =L= 1; e737.. sqr(x19) + sqr(x26) - 2*x19*x26*cos(x76 - x69) =L= 1; e738.. sqr(x19) + sqr(x27) - 2*x19*x27*cos(x77 - x69) =L= 1; e739.. sqr(x19) + sqr(x28) - 2*x19*x28*cos(x78 - x69) =L= 1; e740.. sqr(x19) + sqr(x29) - 2*x19*x29*cos(x79 - x69) =L= 1; e741.. sqr(x19) + sqr(x30) - 2*x19*x30*cos(x80 - x69) =L= 1; e742.. sqr(x19) + sqr(x31) - 2*x19*x31*cos(x81 - x69) =L= 1; e743.. sqr(x19) + sqr(x32) - 2*x19*x32*cos(x82 - x69) =L= 1; e744.. sqr(x19) + sqr(x33) - 2*x19*x33*cos(x83 - x69) =L= 1; e745.. sqr(x19) + sqr(x34) - 2*x19*x34*cos(x84 - x69) =L= 1; e746.. sqr(x19) + sqr(x35) - 2*x19*x35*cos(x85 - x69) =L= 1; e747.. sqr(x19) + sqr(x36) - 2*x19*x36*cos(x86 - x69) =L= 1; e748.. sqr(x19) + sqr(x37) - 2*x19*x37*cos(x87 - x69) =L= 1; e749.. sqr(x19) + sqr(x38) - 2*x19*x38*cos(x88 - x69) =L= 1; e750.. sqr(x19) + sqr(x39) - 2*x19*x39*cos(x89 - x69) =L= 1; e751.. sqr(x19) + sqr(x40) - 2*x19*x40*cos(x90 - x69) =L= 1; e752.. sqr(x19) + sqr(x41) - 2*x19*x41*cos(x91 - x69) =L= 1; e753.. sqr(x19) + sqr(x42) - 2*x19*x42*cos(x92 - x69) =L= 1; e754.. sqr(x19) + sqr(x43) - 2*x19*x43*cos(x93 - x69) =L= 1; e755.. sqr(x19) + sqr(x44) - 2*x19*x44*cos(x94 - x69) =L= 1; e756.. sqr(x19) + sqr(x45) - 2*x19*x45*cos(x95 - x69) =L= 1; e757.. sqr(x19) + sqr(x46) - 2*x19*x46*cos(x96 - x69) =L= 1; e758.. sqr(x19) + sqr(x47) - 2*x19*x47*cos(x97 - x69) =L= 1; e759.. sqr(x19) + sqr(x48) - 2*x19*x48*cos(x98 - x69) =L= 1; e760.. sqr(x19) + sqr(x49) - 2*x19*x49*cos(x99 - x69) =L= 1; e761.. sqr(x19) + sqr(x50) - 2*x19*x50*cos(x100 - x69) =L= 1; e762.. sqr(x20) + sqr(x21) - 2*x20*x21*cos(x71 - x70) =L= 1; e763.. sqr(x20) + sqr(x22) - 2*x20*x22*cos(x72 - x70) =L= 1; e764.. sqr(x20) + sqr(x23) - 2*x20*x23*cos(x73 - x70) =L= 1; e765.. sqr(x20) + sqr(x24) - 2*x20*x24*cos(x74 - x70) =L= 1; e766.. sqr(x20) + sqr(x25) - 2*x20*x25*cos(x75 - x70) =L= 1; e767.. sqr(x20) + sqr(x26) - 2*x20*x26*cos(x76 - x70) =L= 1; e768.. sqr(x20) + sqr(x27) - 2*x20*x27*cos(x77 - x70) =L= 1; e769.. sqr(x20) + sqr(x28) - 2*x20*x28*cos(x78 - x70) =L= 1; e770.. sqr(x20) + sqr(x29) - 2*x20*x29*cos(x79 - x70) =L= 1; e771.. sqr(x20) + sqr(x30) - 2*x20*x30*cos(x80 - x70) =L= 1; e772.. sqr(x20) + sqr(x31) - 2*x20*x31*cos(x81 - x70) =L= 1; e773.. sqr(x20) + sqr(x32) - 2*x20*x32*cos(x82 - x70) =L= 1; e774.. sqr(x20) + sqr(x33) - 2*x20*x33*cos(x83 - x70) =L= 1; e775.. sqr(x20) + sqr(x34) - 2*x20*x34*cos(x84 - x70) =L= 1; e776.. sqr(x20) + sqr(x35) - 2*x20*x35*cos(x85 - x70) =L= 1; e777.. sqr(x20) + sqr(x36) - 2*x20*x36*cos(x86 - x70) =L= 1; e778.. sqr(x20) + sqr(x37) - 2*x20*x37*cos(x87 - x70) =L= 1; e779.. sqr(x20) + sqr(x38) - 2*x20*x38*cos(x88 - x70) =L= 1; e780.. sqr(x20) + sqr(x39) - 2*x20*x39*cos(x89 - x70) =L= 1; e781.. sqr(x20) + sqr(x40) - 2*x20*x40*cos(x90 - x70) =L= 1; e782.. sqr(x20) + sqr(x41) - 2*x20*x41*cos(x91 - x70) =L= 1; e783.. sqr(x20) + sqr(x42) - 2*x20*x42*cos(x92 - x70) =L= 1; e784.. sqr(x20) + sqr(x43) - 2*x20*x43*cos(x93 - x70) =L= 1; e785.. sqr(x20) + sqr(x44) - 2*x20*x44*cos(x94 - x70) =L= 1; e786.. sqr(x20) + sqr(x45) - 2*x20*x45*cos(x95 - x70) =L= 1; e787.. sqr(x20) + sqr(x46) - 2*x20*x46*cos(x96 - x70) =L= 1; e788.. sqr(x20) + sqr(x47) - 2*x20*x47*cos(x97 - x70) =L= 1; e789.. sqr(x20) + sqr(x48) - 2*x20*x48*cos(x98 - x70) =L= 1; e790.. sqr(x20) + sqr(x49) - 2*x20*x49*cos(x99 - x70) =L= 1; e791.. sqr(x20) + sqr(x50) - 2*x20*x50*cos(x100 - x70) =L= 1; e792.. sqr(x21) + sqr(x22) - 2*x21*x22*cos(x72 - x71) =L= 1; e793.. sqr(x21) + sqr(x23) - 2*x21*x23*cos(x73 - x71) =L= 1; e794.. sqr(x21) + sqr(x24) - 2*x21*x24*cos(x74 - x71) =L= 1; e795.. sqr(x21) + sqr(x25) - 2*x21*x25*cos(x75 - x71) =L= 1; e796.. sqr(x21) + sqr(x26) - 2*x21*x26*cos(x76 - x71) =L= 1; e797.. sqr(x21) + sqr(x27) - 2*x21*x27*cos(x77 - x71) =L= 1; e798.. sqr(x21) + sqr(x28) - 2*x21*x28*cos(x78 - x71) =L= 1; e799.. sqr(x21) + sqr(x29) - 2*x21*x29*cos(x79 - x71) =L= 1; e800.. sqr(x21) + sqr(x30) - 2*x21*x30*cos(x80 - x71) =L= 1; e801.. sqr(x21) + sqr(x31) - 2*x21*x31*cos(x81 - x71) =L= 1; e802.. sqr(x21) + sqr(x32) - 2*x21*x32*cos(x82 - x71) =L= 1; e803.. sqr(x21) + sqr(x33) - 2*x21*x33*cos(x83 - x71) =L= 1; e804.. sqr(x21) + sqr(x34) - 2*x21*x34*cos(x84 - x71) =L= 1; e805.. sqr(x21) + sqr(x35) - 2*x21*x35*cos(x85 - x71) =L= 1; e806.. sqr(x21) + sqr(x36) - 2*x21*x36*cos(x86 - x71) =L= 1; e807.. sqr(x21) + sqr(x37) - 2*x21*x37*cos(x87 - x71) =L= 1; e808.. sqr(x21) + sqr(x38) - 2*x21*x38*cos(x88 - x71) =L= 1; e809.. sqr(x21) + sqr(x39) - 2*x21*x39*cos(x89 - x71) =L= 1; e810.. sqr(x21) + sqr(x40) - 2*x21*x40*cos(x90 - x71) =L= 1; e811.. sqr(x21) + sqr(x41) - 2*x21*x41*cos(x91 - x71) =L= 1; e812.. sqr(x21) + sqr(x42) - 2*x21*x42*cos(x92 - x71) =L= 1; e813.. sqr(x21) + sqr(x43) - 2*x21*x43*cos(x93 - x71) =L= 1; e814.. sqr(x21) + sqr(x44) - 2*x21*x44*cos(x94 - x71) =L= 1; e815.. sqr(x21) + sqr(x45) - 2*x21*x45*cos(x95 - x71) =L= 1; e816.. sqr(x21) + sqr(x46) - 2*x21*x46*cos(x96 - x71) =L= 1; e817.. sqr(x21) + sqr(x47) - 2*x21*x47*cos(x97 - x71) =L= 1; e818.. sqr(x21) + sqr(x48) - 2*x21*x48*cos(x98 - x71) =L= 1; e819.. sqr(x21) + sqr(x49) - 2*x21*x49*cos(x99 - x71) =L= 1; e820.. sqr(x21) + sqr(x50) - 2*x21*x50*cos(x100 - x71) =L= 1; e821.. sqr(x22) + sqr(x23) - 2*x22*x23*cos(x73 - x72) =L= 1; e822.. sqr(x22) + sqr(x24) - 2*x22*x24*cos(x74 - x72) =L= 1; e823.. sqr(x22) + sqr(x25) - 2*x22*x25*cos(x75 - x72) =L= 1; e824.. sqr(x22) + sqr(x26) - 2*x22*x26*cos(x76 - x72) =L= 1; e825.. sqr(x22) + sqr(x27) - 2*x22*x27*cos(x77 - x72) =L= 1; e826.. sqr(x22) + sqr(x28) - 2*x22*x28*cos(x78 - x72) =L= 1; e827.. sqr(x22) + sqr(x29) - 2*x22*x29*cos(x79 - x72) =L= 1; e828.. sqr(x22) + sqr(x30) - 2*x22*x30*cos(x80 - x72) =L= 1; e829.. sqr(x22) + sqr(x31) - 2*x22*x31*cos(x81 - x72) =L= 1; e830.. sqr(x22) + sqr(x32) - 2*x22*x32*cos(x82 - x72) =L= 1; e831.. sqr(x22) + sqr(x33) - 2*x22*x33*cos(x83 - x72) =L= 1; e832.. sqr(x22) + sqr(x34) - 2*x22*x34*cos(x84 - x72) =L= 1; e833.. sqr(x22) + sqr(x35) - 2*x22*x35*cos(x85 - x72) =L= 1; e834.. sqr(x22) + sqr(x36) - 2*x22*x36*cos(x86 - x72) =L= 1; e835.. sqr(x22) + sqr(x37) - 2*x22*x37*cos(x87 - x72) =L= 1; e836.. sqr(x22) + sqr(x38) - 2*x22*x38*cos(x88 - x72) =L= 1; e837.. sqr(x22) + sqr(x39) - 2*x22*x39*cos(x89 - x72) =L= 1; e838.. sqr(x22) + sqr(x40) - 2*x22*x40*cos(x90 - x72) =L= 1; e839.. sqr(x22) + sqr(x41) - 2*x22*x41*cos(x91 - x72) =L= 1; e840.. sqr(x22) + sqr(x42) - 2*x22*x42*cos(x92 - x72) =L= 1; e841.. sqr(x22) + sqr(x43) - 2*x22*x43*cos(x93 - x72) =L= 1; e842.. sqr(x22) + sqr(x44) - 2*x22*x44*cos(x94 - x72) =L= 1; e843.. sqr(x22) + sqr(x45) - 2*x22*x45*cos(x95 - x72) =L= 1; e844.. sqr(x22) + sqr(x46) - 2*x22*x46*cos(x96 - x72) =L= 1; e845.. sqr(x22) + sqr(x47) - 2*x22*x47*cos(x97 - x72) =L= 1; e846.. sqr(x22) + sqr(x48) - 2*x22*x48*cos(x98 - x72) =L= 1; e847.. sqr(x22) + sqr(x49) - 2*x22*x49*cos(x99 - x72) =L= 1; e848.. sqr(x22) + sqr(x50) - 2*x22*x50*cos(x100 - x72) =L= 1; e849.. sqr(x23) + sqr(x24) - 2*x23*x24*cos(x74 - x73) =L= 1; e850.. sqr(x23) + sqr(x25) - 2*x23*x25*cos(x75 - x73) =L= 1; e851.. sqr(x23) + sqr(x26) - 2*x23*x26*cos(x76 - x73) =L= 1; e852.. sqr(x23) + sqr(x27) - 2*x23*x27*cos(x77 - x73) =L= 1; e853.. sqr(x23) + sqr(x28) - 2*x23*x28*cos(x78 - x73) =L= 1; e854.. sqr(x23) + sqr(x29) - 2*x23*x29*cos(x79 - x73) =L= 1; e855.. sqr(x23) + sqr(x30) - 2*x23*x30*cos(x80 - x73) =L= 1; e856.. sqr(x23) + sqr(x31) - 2*x23*x31*cos(x81 - x73) =L= 1; e857.. sqr(x23) + sqr(x32) - 2*x23*x32*cos(x82 - x73) =L= 1; e858.. sqr(x23) + sqr(x33) - 2*x23*x33*cos(x83 - x73) =L= 1; e859.. sqr(x23) + sqr(x34) - 2*x23*x34*cos(x84 - x73) =L= 1; e860.. sqr(x23) + sqr(x35) - 2*x23*x35*cos(x85 - x73) =L= 1; e861.. sqr(x23) + sqr(x36) - 2*x23*x36*cos(x86 - x73) =L= 1; e862.. sqr(x23) + sqr(x37) - 2*x23*x37*cos(x87 - x73) =L= 1; e863.. sqr(x23) + sqr(x38) - 2*x23*x38*cos(x88 - x73) =L= 1; e864.. sqr(x23) + sqr(x39) - 2*x23*x39*cos(x89 - x73) =L= 1; e865.. sqr(x23) + sqr(x40) - 2*x23*x40*cos(x90 - x73) =L= 1; e866.. sqr(x23) + sqr(x41) - 2*x23*x41*cos(x91 - x73) =L= 1; e867.. sqr(x23) + sqr(x42) - 2*x23*x42*cos(x92 - x73) =L= 1; e868.. sqr(x23) + sqr(x43) - 2*x23*x43*cos(x93 - x73) =L= 1; e869.. sqr(x23) + sqr(x44) - 2*x23*x44*cos(x94 - x73) =L= 1; e870.. sqr(x23) + sqr(x45) - 2*x23*x45*cos(x95 - x73) =L= 1; e871.. sqr(x23) + sqr(x46) - 2*x23*x46*cos(x96 - x73) =L= 1; e872.. sqr(x23) + sqr(x47) - 2*x23*x47*cos(x97 - x73) =L= 1; e873.. sqr(x23) + sqr(x48) - 2*x23*x48*cos(x98 - x73) =L= 1; e874.. sqr(x23) + sqr(x49) - 2*x23*x49*cos(x99 - x73) =L= 1; e875.. sqr(x23) + sqr(x50) - 2*x23*x50*cos(x100 - x73) =L= 1; e876.. sqr(x24) + sqr(x25) - 2*x24*x25*cos(x75 - x74) =L= 1; e877.. sqr(x24) + sqr(x26) - 2*x24*x26*cos(x76 - x74) =L= 1; e878.. sqr(x24) + sqr(x27) - 2*x24*x27*cos(x77 - x74) =L= 1; e879.. sqr(x24) + sqr(x28) - 2*x24*x28*cos(x78 - x74) =L= 1; e880.. sqr(x24) + sqr(x29) - 2*x24*x29*cos(x79 - x74) =L= 1; e881.. sqr(x24) + sqr(x30) - 2*x24*x30*cos(x80 - x74) =L= 1; e882.. sqr(x24) + sqr(x31) - 2*x24*x31*cos(x81 - x74) =L= 1; e883.. sqr(x24) + sqr(x32) - 2*x24*x32*cos(x82 - x74) =L= 1; e884.. sqr(x24) + sqr(x33) - 2*x24*x33*cos(x83 - x74) =L= 1; e885.. sqr(x24) + sqr(x34) - 2*x24*x34*cos(x84 - x74) =L= 1; e886.. sqr(x24) + sqr(x35) - 2*x24*x35*cos(x85 - x74) =L= 1; e887.. sqr(x24) + sqr(x36) - 2*x24*x36*cos(x86 - x74) =L= 1; e888.. sqr(x24) + sqr(x37) - 2*x24*x37*cos(x87 - x74) =L= 1; e889.. sqr(x24) + sqr(x38) - 2*x24*x38*cos(x88 - x74) =L= 1; e890.. sqr(x24) + sqr(x39) - 2*x24*x39*cos(x89 - x74) =L= 1; e891.. sqr(x24) + sqr(x40) - 2*x24*x40*cos(x90 - x74) =L= 1; e892.. sqr(x24) + sqr(x41) - 2*x24*x41*cos(x91 - x74) =L= 1; e893.. sqr(x24) + sqr(x42) - 2*x24*x42*cos(x92 - x74) =L= 1; e894.. sqr(x24) + sqr(x43) - 2*x24*x43*cos(x93 - x74) =L= 1; e895.. sqr(x24) + sqr(x44) - 2*x24*x44*cos(x94 - x74) =L= 1; e896.. sqr(x24) + sqr(x45) - 2*x24*x45*cos(x95 - x74) =L= 1; e897.. sqr(x24) + sqr(x46) - 2*x24*x46*cos(x96 - x74) =L= 1; e898.. sqr(x24) + sqr(x47) - 2*x24*x47*cos(x97 - x74) =L= 1; e899.. sqr(x24) + sqr(x48) - 2*x24*x48*cos(x98 - x74) =L= 1; e900.. sqr(x24) + sqr(x49) - 2*x24*x49*cos(x99 - x74) =L= 1; e901.. sqr(x24) + sqr(x50) - 2*x24*x50*cos(x100 - x74) =L= 1; e902.. sqr(x25) + sqr(x26) - 2*x25*x26*cos(x76 - x75) =L= 1; e903.. sqr(x25) + sqr(x27) - 2*x25*x27*cos(x77 - x75) =L= 1; e904.. sqr(x25) + sqr(x28) - 2*x25*x28*cos(x78 - x75) =L= 1; e905.. sqr(x25) + sqr(x29) - 2*x25*x29*cos(x79 - x75) =L= 1; e906.. sqr(x25) + sqr(x30) - 2*x25*x30*cos(x80 - x75) =L= 1; e907.. sqr(x25) + sqr(x31) - 2*x25*x31*cos(x81 - x75) =L= 1; e908.. sqr(x25) + sqr(x32) - 2*x25*x32*cos(x82 - x75) =L= 1; e909.. sqr(x25) + sqr(x33) - 2*x25*x33*cos(x83 - x75) =L= 1; e910.. sqr(x25) + sqr(x34) - 2*x25*x34*cos(x84 - x75) =L= 1; e911.. sqr(x25) + sqr(x35) - 2*x25*x35*cos(x85 - x75) =L= 1; e912.. sqr(x25) + sqr(x36) - 2*x25*x36*cos(x86 - x75) =L= 1; e913.. sqr(x25) + sqr(x37) - 2*x25*x37*cos(x87 - x75) =L= 1; e914.. sqr(x25) + sqr(x38) - 2*x25*x38*cos(x88 - x75) =L= 1; e915.. sqr(x25) + sqr(x39) - 2*x25*x39*cos(x89 - x75) =L= 1; e916.. sqr(x25) + sqr(x40) - 2*x25*x40*cos(x90 - x75) =L= 1; e917.. sqr(x25) + sqr(x41) - 2*x25*x41*cos(x91 - x75) =L= 1; e918.. sqr(x25) + sqr(x42) - 2*x25*x42*cos(x92 - x75) =L= 1; e919.. sqr(x25) + sqr(x43) - 2*x25*x43*cos(x93 - x75) =L= 1; e920.. sqr(x25) + sqr(x44) - 2*x25*x44*cos(x94 - x75) =L= 1; e921.. sqr(x25) + sqr(x45) - 2*x25*x45*cos(x95 - x75) =L= 1; e922.. sqr(x25) + sqr(x46) - 2*x25*x46*cos(x96 - x75) =L= 1; e923.. sqr(x25) + sqr(x47) - 2*x25*x47*cos(x97 - x75) =L= 1; e924.. sqr(x25) + sqr(x48) - 2*x25*x48*cos(x98 - x75) =L= 1; e925.. sqr(x25) + sqr(x49) - 2*x25*x49*cos(x99 - x75) =L= 1; e926.. sqr(x25) + sqr(x50) - 2*x25*x50*cos(x100 - x75) =L= 1; e927.. sqr(x26) + sqr(x27) - 2*x26*x27*cos(x77 - x76) =L= 1; e928.. sqr(x26) + sqr(x28) - 2*x26*x28*cos(x78 - x76) =L= 1; e929.. sqr(x26) + sqr(x29) - 2*x26*x29*cos(x79 - x76) =L= 1; e930.. sqr(x26) + sqr(x30) - 2*x26*x30*cos(x80 - x76) =L= 1; e931.. sqr(x26) + sqr(x31) - 2*x26*x31*cos(x81 - x76) =L= 1; e932.. sqr(x26) + sqr(x32) - 2*x26*x32*cos(x82 - x76) =L= 1; e933.. sqr(x26) + sqr(x33) - 2*x26*x33*cos(x83 - x76) =L= 1; e934.. sqr(x26) + sqr(x34) - 2*x26*x34*cos(x84 - x76) =L= 1; e935.. sqr(x26) + sqr(x35) - 2*x26*x35*cos(x85 - x76) =L= 1; e936.. sqr(x26) + sqr(x36) - 2*x26*x36*cos(x86 - x76) =L= 1; e937.. sqr(x26) + sqr(x37) - 2*x26*x37*cos(x87 - x76) =L= 1; e938.. sqr(x26) + sqr(x38) - 2*x26*x38*cos(x88 - x76) =L= 1; e939.. sqr(x26) + sqr(x39) - 2*x26*x39*cos(x89 - x76) =L= 1; e940.. sqr(x26) + sqr(x40) - 2*x26*x40*cos(x90 - x76) =L= 1; e941.. sqr(x26) + sqr(x41) - 2*x26*x41*cos(x91 - x76) =L= 1; e942.. sqr(x26) + sqr(x42) - 2*x26*x42*cos(x92 - x76) =L= 1; e943.. sqr(x26) + sqr(x43) - 2*x26*x43*cos(x93 - x76) =L= 1; e944.. sqr(x26) + sqr(x44) - 2*x26*x44*cos(x94 - x76) =L= 1; e945.. sqr(x26) + sqr(x45) - 2*x26*x45*cos(x95 - x76) =L= 1; e946.. sqr(x26) + sqr(x46) - 2*x26*x46*cos(x96 - x76) =L= 1; e947.. sqr(x26) + sqr(x47) - 2*x26*x47*cos(x97 - x76) =L= 1; e948.. sqr(x26) + sqr(x48) - 2*x26*x48*cos(x98 - x76) =L= 1; e949.. sqr(x26) + sqr(x49) - 2*x26*x49*cos(x99 - x76) =L= 1; e950.. sqr(x26) + sqr(x50) - 2*x26*x50*cos(x100 - x76) =L= 1; e951.. sqr(x27) + sqr(x28) - 2*x27*x28*cos(x78 - x77) =L= 1; e952.. sqr(x27) + sqr(x29) - 2*x27*x29*cos(x79 - x77) =L= 1; e953.. sqr(x27) + sqr(x30) - 2*x27*x30*cos(x80 - x77) =L= 1; e954.. sqr(x27) + sqr(x31) - 2*x27*x31*cos(x81 - x77) =L= 1; e955.. sqr(x27) + sqr(x32) - 2*x27*x32*cos(x82 - x77) =L= 1; e956.. sqr(x27) + sqr(x33) - 2*x27*x33*cos(x83 - x77) =L= 1; e957.. sqr(x27) + sqr(x34) - 2*x27*x34*cos(x84 - x77) =L= 1; e958.. sqr(x27) + sqr(x35) - 2*x27*x35*cos(x85 - x77) =L= 1; e959.. sqr(x27) + sqr(x36) - 2*x27*x36*cos(x86 - x77) =L= 1; e960.. sqr(x27) + sqr(x37) - 2*x27*x37*cos(x87 - x77) =L= 1; e961.. sqr(x27) + sqr(x38) - 2*x27*x38*cos(x88 - x77) =L= 1; e962.. sqr(x27) + sqr(x39) - 2*x27*x39*cos(x89 - x77) =L= 1; e963.. sqr(x27) + sqr(x40) - 2*x27*x40*cos(x90 - x77) =L= 1; e964.. sqr(x27) + sqr(x41) - 2*x27*x41*cos(x91 - x77) =L= 1; e965.. sqr(x27) + sqr(x42) - 2*x27*x42*cos(x92 - x77) =L= 1; e966.. sqr(x27) + sqr(x43) - 2*x27*x43*cos(x93 - x77) =L= 1; e967.. sqr(x27) + sqr(x44) - 2*x27*x44*cos(x94 - x77) =L= 1; e968.. sqr(x27) + sqr(x45) - 2*x27*x45*cos(x95 - x77) =L= 1; e969.. sqr(x27) + sqr(x46) - 2*x27*x46*cos(x96 - x77) =L= 1; e970.. sqr(x27) + sqr(x47) - 2*x27*x47*cos(x97 - x77) =L= 1; e971.. sqr(x27) + sqr(x48) - 2*x27*x48*cos(x98 - x77) =L= 1; e972.. sqr(x27) + sqr(x49) - 2*x27*x49*cos(x99 - x77) =L= 1; e973.. sqr(x27) + sqr(x50) - 2*x27*x50*cos(x100 - x77) =L= 1; e974.. sqr(x28) + sqr(x29) - 2*x28*x29*cos(x79 - x78) =L= 1; e975.. sqr(x28) + sqr(x30) - 2*x28*x30*cos(x80 - x78) =L= 1; e976.. sqr(x28) + sqr(x31) - 2*x28*x31*cos(x81 - x78) =L= 1; e977.. sqr(x28) + sqr(x32) - 2*x28*x32*cos(x82 - x78) =L= 1; e978.. sqr(x28) + sqr(x33) - 2*x28*x33*cos(x83 - x78) =L= 1; e979.. sqr(x28) + sqr(x34) - 2*x28*x34*cos(x84 - x78) =L= 1; e980.. sqr(x28) + sqr(x35) - 2*x28*x35*cos(x85 - x78) =L= 1; e981.. sqr(x28) + sqr(x36) - 2*x28*x36*cos(x86 - x78) =L= 1; e982.. sqr(x28) + sqr(x37) - 2*x28*x37*cos(x87 - x78) =L= 1; e983.. sqr(x28) + sqr(x38) - 2*x28*x38*cos(x88 - x78) =L= 1; e984.. sqr(x28) + sqr(x39) - 2*x28*x39*cos(x89 - x78) =L= 1; e985.. sqr(x28) + sqr(x40) - 2*x28*x40*cos(x90 - x78) =L= 1; e986.. sqr(x28) + sqr(x41) - 2*x28*x41*cos(x91 - x78) =L= 1; e987.. sqr(x28) + sqr(x42) - 2*x28*x42*cos(x92 - x78) =L= 1; e988.. sqr(x28) + sqr(x43) - 2*x28*x43*cos(x93 - x78) =L= 1; e989.. sqr(x28) + sqr(x44) - 2*x28*x44*cos(x94 - x78) =L= 1; e990.. sqr(x28) + sqr(x45) - 2*x28*x45*cos(x95 - x78) =L= 1; e991.. sqr(x28) + sqr(x46) - 2*x28*x46*cos(x96 - x78) =L= 1; e992.. sqr(x28) + sqr(x47) - 2*x28*x47*cos(x97 - x78) =L= 1; e993.. sqr(x28) + sqr(x48) - 2*x28*x48*cos(x98 - x78) =L= 1; e994.. sqr(x28) + sqr(x49) - 2*x28*x49*cos(x99 - x78) =L= 1; e995.. sqr(x28) + sqr(x50) - 2*x28*x50*cos(x100 - x78) =L= 1; e996.. sqr(x29) + sqr(x30) - 2*x29*x30*cos(x80 - x79) =L= 1; e997.. sqr(x29) + sqr(x31) - 2*x29*x31*cos(x81 - x79) =L= 1; e998.. sqr(x29) + sqr(x32) - 2*x29*x32*cos(x82 - x79) =L= 1; e999.. sqr(x29) + sqr(x33) - 2*x29*x33*cos(x83 - x79) =L= 1; e1000.. sqr(x29) + sqr(x34) - 2*x29*x34*cos(x84 - x79) =L= 1; e1001.. sqr(x29) + sqr(x35) - 2*x29*x35*cos(x85 - x79) =L= 1; e1002.. sqr(x29) + sqr(x36) - 2*x29*x36*cos(x86 - x79) =L= 1; e1003.. sqr(x29) + sqr(x37) - 2*x29*x37*cos(x87 - x79) =L= 1; e1004.. sqr(x29) + sqr(x38) - 2*x29*x38*cos(x88 - x79) =L= 1; e1005.. sqr(x29) + sqr(x39) - 2*x29*x39*cos(x89 - x79) =L= 1; e1006.. sqr(x29) + sqr(x40) - 2*x29*x40*cos(x90 - x79) =L= 1; e1007.. sqr(x29) + sqr(x41) - 2*x29*x41*cos(x91 - x79) =L= 1; e1008.. sqr(x29) + sqr(x42) - 2*x29*x42*cos(x92 - x79) =L= 1; e1009.. sqr(x29) + sqr(x43) - 2*x29*x43*cos(x93 - x79) =L= 1; e1010.. sqr(x29) + sqr(x44) - 2*x29*x44*cos(x94 - x79) =L= 1; e1011.. sqr(x29) + sqr(x45) - 2*x29*x45*cos(x95 - x79) =L= 1; e1012.. sqr(x29) + sqr(x46) - 2*x29*x46*cos(x96 - x79) =L= 1; e1013.. sqr(x29) + sqr(x47) - 2*x29*x47*cos(x97 - x79) =L= 1; e1014.. sqr(x29) + sqr(x48) - 2*x29*x48*cos(x98 - x79) =L= 1; e1015.. sqr(x29) + sqr(x49) - 2*x29*x49*cos(x99 - x79) =L= 1; e1016.. sqr(x29) + sqr(x50) - 2*x29*x50*cos(x100 - x79) =L= 1; e1017.. sqr(x30) + sqr(x31) - 2*x30*x31*cos(x81 - x80) =L= 1; e1018.. sqr(x30) + sqr(x32) - 2*x30*x32*cos(x82 - x80) =L= 1; e1019.. sqr(x30) + sqr(x33) - 2*x30*x33*cos(x83 - x80) =L= 1; e1020.. sqr(x30) + sqr(x34) - 2*x30*x34*cos(x84 - x80) =L= 1; e1021.. sqr(x30) + sqr(x35) - 2*x30*x35*cos(x85 - x80) =L= 1; e1022.. sqr(x30) + sqr(x36) - 2*x30*x36*cos(x86 - x80) =L= 1; e1023.. sqr(x30) + sqr(x37) - 2*x30*x37*cos(x87 - x80) =L= 1; e1024.. sqr(x30) + sqr(x38) - 2*x30*x38*cos(x88 - x80) =L= 1; e1025.. sqr(x30) + sqr(x39) - 2*x30*x39*cos(x89 - x80) =L= 1; e1026.. sqr(x30) + sqr(x40) - 2*x30*x40*cos(x90 - x80) =L= 1; e1027.. sqr(x30) + sqr(x41) - 2*x30*x41*cos(x91 - x80) =L= 1; e1028.. sqr(x30) + sqr(x42) - 2*x30*x42*cos(x92 - x80) =L= 1; e1029.. sqr(x30) + sqr(x43) - 2*x30*x43*cos(x93 - x80) =L= 1; e1030.. sqr(x30) + sqr(x44) - 2*x30*x44*cos(x94 - x80) =L= 1; e1031.. sqr(x30) + sqr(x45) - 2*x30*x45*cos(x95 - x80) =L= 1; e1032.. sqr(x30) + sqr(x46) - 2*x30*x46*cos(x96 - x80) =L= 1; e1033.. sqr(x30) + sqr(x47) - 2*x30*x47*cos(x97 - x80) =L= 1; e1034.. sqr(x30) + sqr(x48) - 2*x30*x48*cos(x98 - x80) =L= 1; e1035.. sqr(x30) + sqr(x49) - 2*x30*x49*cos(x99 - x80) =L= 1; e1036.. sqr(x30) + sqr(x50) - 2*x30*x50*cos(x100 - x80) =L= 1; e1037.. sqr(x31) + sqr(x32) - 2*x31*x32*cos(x82 - x81) =L= 1; e1038.. sqr(x31) + sqr(x33) - 2*x31*x33*cos(x83 - x81) =L= 1; e1039.. sqr(x31) + sqr(x34) - 2*x31*x34*cos(x84 - x81) =L= 1; e1040.. sqr(x31) + sqr(x35) - 2*x31*x35*cos(x85 - x81) =L= 1; e1041.. sqr(x31) + sqr(x36) - 2*x31*x36*cos(x86 - x81) =L= 1; e1042.. sqr(x31) + sqr(x37) - 2*x31*x37*cos(x87 - x81) =L= 1; e1043.. sqr(x31) + sqr(x38) - 2*x31*x38*cos(x88 - x81) =L= 1; e1044.. sqr(x31) + sqr(x39) - 2*x31*x39*cos(x89 - x81) =L= 1; e1045.. sqr(x31) + sqr(x40) - 2*x31*x40*cos(x90 - x81) =L= 1; e1046.. sqr(x31) + sqr(x41) - 2*x31*x41*cos(x91 - x81) =L= 1; e1047.. sqr(x31) + sqr(x42) - 2*x31*x42*cos(x92 - x81) =L= 1; e1048.. sqr(x31) + sqr(x43) - 2*x31*x43*cos(x93 - x81) =L= 1; e1049.. sqr(x31) + sqr(x44) - 2*x31*x44*cos(x94 - x81) =L= 1; e1050.. sqr(x31) + sqr(x45) - 2*x31*x45*cos(x95 - x81) =L= 1; e1051.. sqr(x31) + sqr(x46) - 2*x31*x46*cos(x96 - x81) =L= 1; e1052.. sqr(x31) + sqr(x47) - 2*x31*x47*cos(x97 - x81) =L= 1; e1053.. sqr(x31) + sqr(x48) - 2*x31*x48*cos(x98 - x81) =L= 1; e1054.. sqr(x31) + sqr(x49) - 2*x31*x49*cos(x99 - x81) =L= 1; e1055.. sqr(x31) + sqr(x50) - 2*x31*x50*cos(x100 - x81) =L= 1; e1056.. sqr(x32) + sqr(x33) - 2*x32*x33*cos(x83 - x82) =L= 1; e1057.. sqr(x32) + sqr(x34) - 2*x32*x34*cos(x84 - x82) =L= 1; e1058.. sqr(x32) + sqr(x35) - 2*x32*x35*cos(x85 - x82) =L= 1; e1059.. sqr(x32) + sqr(x36) - 2*x32*x36*cos(x86 - x82) =L= 1; e1060.. sqr(x32) + sqr(x37) - 2*x32*x37*cos(x87 - x82) =L= 1; e1061.. sqr(x32) + sqr(x38) - 2*x32*x38*cos(x88 - x82) =L= 1; e1062.. sqr(x32) + sqr(x39) - 2*x32*x39*cos(x89 - x82) =L= 1; e1063.. sqr(x32) + sqr(x40) - 2*x32*x40*cos(x90 - x82) =L= 1; e1064.. sqr(x32) + sqr(x41) - 2*x32*x41*cos(x91 - x82) =L= 1; e1065.. sqr(x32) + sqr(x42) - 2*x32*x42*cos(x92 - x82) =L= 1; e1066.. sqr(x32) + sqr(x43) - 2*x32*x43*cos(x93 - x82) =L= 1; e1067.. sqr(x32) + sqr(x44) - 2*x32*x44*cos(x94 - x82) =L= 1; e1068.. sqr(x32) + sqr(x45) - 2*x32*x45*cos(x95 - x82) =L= 1; e1069.. sqr(x32) + sqr(x46) - 2*x32*x46*cos(x96 - x82) =L= 1; e1070.. sqr(x32) + sqr(x47) - 2*x32*x47*cos(x97 - x82) =L= 1; e1071.. sqr(x32) + sqr(x48) - 2*x32*x48*cos(x98 - x82) =L= 1; e1072.. sqr(x32) + sqr(x49) - 2*x32*x49*cos(x99 - x82) =L= 1; e1073.. sqr(x32) + sqr(x50) - 2*x32*x50*cos(x100 - x82) =L= 1; e1074.. sqr(x33) + sqr(x34) - 2*x33*x34*cos(x84 - x83) =L= 1; e1075.. sqr(x33) + sqr(x35) - 2*x33*x35*cos(x85 - x83) =L= 1; e1076.. sqr(x33) + sqr(x36) - 2*x33*x36*cos(x86 - x83) =L= 1; e1077.. sqr(x33) + sqr(x37) - 2*x33*x37*cos(x87 - x83) =L= 1; e1078.. sqr(x33) + sqr(x38) - 2*x33*x38*cos(x88 - x83) =L= 1; e1079.. sqr(x33) + sqr(x39) - 2*x33*x39*cos(x89 - x83) =L= 1; e1080.. sqr(x33) + sqr(x40) - 2*x33*x40*cos(x90 - x83) =L= 1; e1081.. sqr(x33) + sqr(x41) - 2*x33*x41*cos(x91 - x83) =L= 1; e1082.. sqr(x33) + sqr(x42) - 2*x33*x42*cos(x92 - x83) =L= 1; e1083.. sqr(x33) + sqr(x43) - 2*x33*x43*cos(x93 - x83) =L= 1; e1084.. sqr(x33) + sqr(x44) - 2*x33*x44*cos(x94 - x83) =L= 1; e1085.. sqr(x33) + sqr(x45) - 2*x33*x45*cos(x95 - x83) =L= 1; e1086.. sqr(x33) + sqr(x46) - 2*x33*x46*cos(x96 - x83) =L= 1; e1087.. sqr(x33) + sqr(x47) - 2*x33*x47*cos(x97 - x83) =L= 1; e1088.. sqr(x33) + sqr(x48) - 2*x33*x48*cos(x98 - x83) =L= 1; e1089.. sqr(x33) + sqr(x49) - 2*x33*x49*cos(x99 - x83) =L= 1; e1090.. sqr(x33) + sqr(x50) - 2*x33*x50*cos(x100 - x83) =L= 1; e1091.. sqr(x34) + sqr(x35) - 2*x34*x35*cos(x85 - x84) =L= 1; e1092.. sqr(x34) + sqr(x36) - 2*x34*x36*cos(x86 - x84) =L= 1; e1093.. sqr(x34) + sqr(x37) - 2*x34*x37*cos(x87 - x84) =L= 1; e1094.. sqr(x34) + sqr(x38) - 2*x34*x38*cos(x88 - x84) =L= 1; e1095.. sqr(x34) + sqr(x39) - 2*x34*x39*cos(x89 - x84) =L= 1; e1096.. sqr(x34) + sqr(x40) - 2*x34*x40*cos(x90 - x84) =L= 1; e1097.. sqr(x34) + sqr(x41) - 2*x34*x41*cos(x91 - x84) =L= 1; e1098.. sqr(x34) + sqr(x42) - 2*x34*x42*cos(x92 - x84) =L= 1; e1099.. sqr(x34) + sqr(x43) - 2*x34*x43*cos(x93 - x84) =L= 1; e1100.. sqr(x34) + sqr(x44) - 2*x34*x44*cos(x94 - x84) =L= 1; e1101.. sqr(x34) + sqr(x45) - 2*x34*x45*cos(x95 - x84) =L= 1; e1102.. sqr(x34) + sqr(x46) - 2*x34*x46*cos(x96 - x84) =L= 1; e1103.. sqr(x34) + sqr(x47) - 2*x34*x47*cos(x97 - x84) =L= 1; e1104.. sqr(x34) + sqr(x48) - 2*x34*x48*cos(x98 - x84) =L= 1; e1105.. sqr(x34) + sqr(x49) - 2*x34*x49*cos(x99 - x84) =L= 1; e1106.. sqr(x34) + sqr(x50) - 2*x34*x50*cos(x100 - x84) =L= 1; e1107.. sqr(x35) + sqr(x36) - 2*x35*x36*cos(x86 - x85) =L= 1; e1108.. sqr(x35) + sqr(x37) - 2*x35*x37*cos(x87 - x85) =L= 1; e1109.. sqr(x35) + sqr(x38) - 2*x35*x38*cos(x88 - x85) =L= 1; e1110.. sqr(x35) + sqr(x39) - 2*x35*x39*cos(x89 - x85) =L= 1; e1111.. sqr(x35) + sqr(x40) - 2*x35*x40*cos(x90 - x85) =L= 1; e1112.. sqr(x35) + sqr(x41) - 2*x35*x41*cos(x91 - x85) =L= 1; e1113.. sqr(x35) + sqr(x42) - 2*x35*x42*cos(x92 - x85) =L= 1; e1114.. sqr(x35) + sqr(x43) - 2*x35*x43*cos(x93 - x85) =L= 1; e1115.. sqr(x35) + sqr(x44) - 2*x35*x44*cos(x94 - x85) =L= 1; e1116.. sqr(x35) + sqr(x45) - 2*x35*x45*cos(x95 - x85) =L= 1; e1117.. sqr(x35) + sqr(x46) - 2*x35*x46*cos(x96 - x85) =L= 1; e1118.. sqr(x35) + sqr(x47) - 2*x35*x47*cos(x97 - x85) =L= 1; e1119.. sqr(x35) + sqr(x48) - 2*x35*x48*cos(x98 - x85) =L= 1; e1120.. sqr(x35) + sqr(x49) - 2*x35*x49*cos(x99 - x85) =L= 1; e1121.. sqr(x35) + sqr(x50) - 2*x35*x50*cos(x100 - x85) =L= 1; e1122.. sqr(x36) + sqr(x37) - 2*x36*x37*cos(x87 - x86) =L= 1; e1123.. sqr(x36) + sqr(x38) - 2*x36*x38*cos(x88 - x86) =L= 1; e1124.. sqr(x36) + sqr(x39) - 2*x36*x39*cos(x89 - x86) =L= 1; e1125.. sqr(x36) + sqr(x40) - 2*x36*x40*cos(x90 - x86) =L= 1; e1126.. sqr(x36) + sqr(x41) - 2*x36*x41*cos(x91 - x86) =L= 1; e1127.. sqr(x36) + sqr(x42) - 2*x36*x42*cos(x92 - x86) =L= 1; e1128.. sqr(x36) + sqr(x43) - 2*x36*x43*cos(x93 - x86) =L= 1; e1129.. sqr(x36) + sqr(x44) - 2*x36*x44*cos(x94 - x86) =L= 1; e1130.. sqr(x36) + sqr(x45) - 2*x36*x45*cos(x95 - x86) =L= 1; e1131.. sqr(x36) + sqr(x46) - 2*x36*x46*cos(x96 - x86) =L= 1; e1132.. sqr(x36) + sqr(x47) - 2*x36*x47*cos(x97 - x86) =L= 1; e1133.. sqr(x36) + sqr(x48) - 2*x36*x48*cos(x98 - x86) =L= 1; e1134.. sqr(x36) + sqr(x49) - 2*x36*x49*cos(x99 - x86) =L= 1; e1135.. sqr(x36) + sqr(x50) - 2*x36*x50*cos(x100 - x86) =L= 1; e1136.. sqr(x37) + sqr(x38) - 2*x37*x38*cos(x88 - x87) =L= 1; e1137.. sqr(x37) + sqr(x39) - 2*x37*x39*cos(x89 - x87) =L= 1; e1138.. sqr(x37) + sqr(x40) - 2*x37*x40*cos(x90 - x87) =L= 1; e1139.. sqr(x37) + sqr(x41) - 2*x37*x41*cos(x91 - x87) =L= 1; e1140.. sqr(x37) + sqr(x42) - 2*x37*x42*cos(x92 - x87) =L= 1; e1141.. sqr(x37) + sqr(x43) - 2*x37*x43*cos(x93 - x87) =L= 1; e1142.. sqr(x37) + sqr(x44) - 2*x37*x44*cos(x94 - x87) =L= 1; e1143.. sqr(x37) + sqr(x45) - 2*x37*x45*cos(x95 - x87) =L= 1; e1144.. sqr(x37) + sqr(x46) - 2*x37*x46*cos(x96 - x87) =L= 1; e1145.. sqr(x37) + sqr(x47) - 2*x37*x47*cos(x97 - x87) =L= 1; e1146.. sqr(x37) + sqr(x48) - 2*x37*x48*cos(x98 - x87) =L= 1; e1147.. sqr(x37) + sqr(x49) - 2*x37*x49*cos(x99 - x87) =L= 1; e1148.. sqr(x37) + sqr(x50) - 2*x37*x50*cos(x100 - x87) =L= 1; e1149.. sqr(x38) + sqr(x39) - 2*x38*x39*cos(x89 - x88) =L= 1; e1150.. sqr(x38) + sqr(x40) - 2*x38*x40*cos(x90 - x88) =L= 1; e1151.. sqr(x38) + sqr(x41) - 2*x38*x41*cos(x91 - x88) =L= 1; e1152.. sqr(x38) + sqr(x42) - 2*x38*x42*cos(x92 - x88) =L= 1; e1153.. sqr(x38) + sqr(x43) - 2*x38*x43*cos(x93 - x88) =L= 1; e1154.. sqr(x38) + sqr(x44) - 2*x38*x44*cos(x94 - x88) =L= 1; e1155.. sqr(x38) + sqr(x45) - 2*x38*x45*cos(x95 - x88) =L= 1; e1156.. sqr(x38) + sqr(x46) - 2*x38*x46*cos(x96 - x88) =L= 1; e1157.. sqr(x38) + sqr(x47) - 2*x38*x47*cos(x97 - x88) =L= 1; e1158.. sqr(x38) + sqr(x48) - 2*x38*x48*cos(x98 - x88) =L= 1; e1159.. sqr(x38) + sqr(x49) - 2*x38*x49*cos(x99 - x88) =L= 1; e1160.. sqr(x38) + sqr(x50) - 2*x38*x50*cos(x100 - x88) =L= 1; e1161.. sqr(x39) + sqr(x40) - 2*x39*x40*cos(x90 - x89) =L= 1; e1162.. sqr(x39) + sqr(x41) - 2*x39*x41*cos(x91 - x89) =L= 1; e1163.. sqr(x39) + sqr(x42) - 2*x39*x42*cos(x92 - x89) =L= 1; e1164.. sqr(x39) + sqr(x43) - 2*x39*x43*cos(x93 - x89) =L= 1; e1165.. sqr(x39) + sqr(x44) - 2*x39*x44*cos(x94 - x89) =L= 1; e1166.. sqr(x39) + sqr(x45) - 2*x39*x45*cos(x95 - x89) =L= 1; e1167.. sqr(x39) + sqr(x46) - 2*x39*x46*cos(x96 - x89) =L= 1; e1168.. sqr(x39) + sqr(x47) - 2*x39*x47*cos(x97 - x89) =L= 1; e1169.. sqr(x39) + sqr(x48) - 2*x39*x48*cos(x98 - x89) =L= 1; e1170.. sqr(x39) + sqr(x49) - 2*x39*x49*cos(x99 - x89) =L= 1; e1171.. sqr(x39) + sqr(x50) - 2*x39*x50*cos(x100 - x89) =L= 1; e1172.. sqr(x40) + sqr(x41) - 2*x40*x41*cos(x91 - x90) =L= 1; e1173.. sqr(x40) + sqr(x42) - 2*x40*x42*cos(x92 - x90) =L= 1; e1174.. sqr(x40) + sqr(x43) - 2*x40*x43*cos(x93 - x90) =L= 1; e1175.. sqr(x40) + sqr(x44) - 2*x40*x44*cos(x94 - x90) =L= 1; e1176.. sqr(x40) + sqr(x45) - 2*x40*x45*cos(x95 - x90) =L= 1; e1177.. sqr(x40) + sqr(x46) - 2*x40*x46*cos(x96 - x90) =L= 1; e1178.. sqr(x40) + sqr(x47) - 2*x40*x47*cos(x97 - x90) =L= 1; e1179.. sqr(x40) + sqr(x48) - 2*x40*x48*cos(x98 - x90) =L= 1; e1180.. sqr(x40) + sqr(x49) - 2*x40*x49*cos(x99 - x90) =L= 1; e1181.. sqr(x40) + sqr(x50) - 2*x40*x50*cos(x100 - x90) =L= 1; e1182.. sqr(x41) + sqr(x42) - 2*x41*x42*cos(x92 - x91) =L= 1; e1183.. sqr(x41) + sqr(x43) - 2*x41*x43*cos(x93 - x91) =L= 1; e1184.. sqr(x41) + sqr(x44) - 2*x41*x44*cos(x94 - x91) =L= 1; e1185.. sqr(x41) + sqr(x45) - 2*x41*x45*cos(x95 - x91) =L= 1; e1186.. sqr(x41) + sqr(x46) - 2*x41*x46*cos(x96 - x91) =L= 1; e1187.. sqr(x41) + sqr(x47) - 2*x41*x47*cos(x97 - x91) =L= 1; e1188.. sqr(x41) + sqr(x48) - 2*x41*x48*cos(x98 - x91) =L= 1; e1189.. sqr(x41) + sqr(x49) - 2*x41*x49*cos(x99 - x91) =L= 1; e1190.. sqr(x41) + sqr(x50) - 2*x41*x50*cos(x100 - x91) =L= 1; e1191.. sqr(x42) + sqr(x43) - 2*x42*x43*cos(x93 - x92) =L= 1; e1192.. sqr(x42) + sqr(x44) - 2*x42*x44*cos(x94 - x92) =L= 1; e1193.. sqr(x42) + sqr(x45) - 2*x42*x45*cos(x95 - x92) =L= 1; e1194.. sqr(x42) + sqr(x46) - 2*x42*x46*cos(x96 - x92) =L= 1; e1195.. sqr(x42) + sqr(x47) - 2*x42*x47*cos(x97 - x92) =L= 1; e1196.. sqr(x42) + sqr(x48) - 2*x42*x48*cos(x98 - x92) =L= 1; e1197.. sqr(x42) + sqr(x49) - 2*x42*x49*cos(x99 - x92) =L= 1; e1198.. sqr(x42) + sqr(x50) - 2*x42*x50*cos(x100 - x92) =L= 1; e1199.. sqr(x43) + sqr(x44) - 2*x43*x44*cos(x94 - x93) =L= 1; e1200.. sqr(x43) + sqr(x45) - 2*x43*x45*cos(x95 - x93) =L= 1; e1201.. sqr(x43) + sqr(x46) - 2*x43*x46*cos(x96 - x93) =L= 1; e1202.. sqr(x43) + sqr(x47) - 2*x43*x47*cos(x97 - x93) =L= 1; e1203.. sqr(x43) + sqr(x48) - 2*x43*x48*cos(x98 - x93) =L= 1; e1204.. sqr(x43) + sqr(x49) - 2*x43*x49*cos(x99 - x93) =L= 1; e1205.. sqr(x43) + sqr(x50) - 2*x43*x50*cos(x100 - x93) =L= 1; e1206.. sqr(x44) + sqr(x45) - 2*x44*x45*cos(x95 - x94) =L= 1; e1207.. sqr(x44) + sqr(x46) - 2*x44*x46*cos(x96 - x94) =L= 1; e1208.. sqr(x44) + sqr(x47) - 2*x44*x47*cos(x97 - x94) =L= 1; e1209.. sqr(x44) + sqr(x48) - 2*x44*x48*cos(x98 - x94) =L= 1; e1210.. sqr(x44) + sqr(x49) - 2*x44*x49*cos(x99 - x94) =L= 1; e1211.. sqr(x44) + sqr(x50) - 2*x44*x50*cos(x100 - x94) =L= 1; e1212.. sqr(x45) + sqr(x46) - 2*x45*x46*cos(x96 - x95) =L= 1; e1213.. sqr(x45) + sqr(x47) - 2*x45*x47*cos(x97 - x95) =L= 1; e1214.. sqr(x45) + sqr(x48) - 2*x45*x48*cos(x98 - x95) =L= 1; e1215.. sqr(x45) + sqr(x49) - 2*x45*x49*cos(x99 - x95) =L= 1; e1216.. sqr(x45) + sqr(x50) - 2*x45*x50*cos(x100 - x95) =L= 1; e1217.. sqr(x46) + sqr(x47) - 2*x46*x47*cos(x97 - x96) =L= 1; e1218.. sqr(x46) + sqr(x48) - 2*x46*x48*cos(x98 - x96) =L= 1; e1219.. sqr(x46) + sqr(x49) - 2*x46*x49*cos(x99 - x96) =L= 1; e1220.. sqr(x46) + sqr(x50) - 2*x46*x50*cos(x100 - x96) =L= 1; e1221.. sqr(x47) + sqr(x48) - 2*x47*x48*cos(x98 - x97) =L= 1; e1222.. sqr(x47) + sqr(x49) - 2*x47*x49*cos(x99 - x97) =L= 1; e1223.. sqr(x47) + sqr(x50) - 2*x47*x50*cos(x100 - x97) =L= 1; e1224.. sqr(x48) + sqr(x49) - 2*x48*x49*cos(x99 - x98) =L= 1; e1225.. sqr(x48) + sqr(x50) - 2*x48*x50*cos(x100 - x98) =L= 1; e1226.. sqr(x49) + sqr(x50) - 2*x49*x50*cos(x100 - x99) =L= 1; e1227.. x51 - x52 =L= 0; e1228.. x52 - x53 =L= 0; e1229.. x53 - x54 =L= 0; e1230.. x54 - x55 =L= 0; e1231.. x55 - x56 =L= 0; e1232.. x56 - x57 =L= 0; e1233.. x57 - x58 =L= 0; e1234.. x58 - x59 =L= 0; e1235.. x59 - x60 =L= 0; e1236.. x60 - x61 =L= 0; e1237.. x61 - x62 =L= 0; e1238.. x62 - x63 =L= 0; e1239.. x63 - x64 =L= 0; e1240.. x64 - x65 =L= 0; e1241.. x65 - x66 =L= 0; e1242.. x66 - x67 =L= 0; e1243.. x67 - x68 =L= 0; e1244.. x68 - x69 =L= 0; e1245.. x69 - x70 =L= 0; e1246.. x70 - x71 =L= 0; e1247.. x71 - x72 =L= 0; e1248.. x72 - x73 =L= 0; e1249.. x73 - x74 =L= 0; e1250.. x74 - x75 =L= 0; e1251.. x75 - x76 =L= 0; e1252.. x76 - x77 =L= 0; e1253.. x77 - x78 =L= 0; e1254.. x78 - x79 =L= 0; e1255.. x79 - x80 =L= 0; e1256.. x80 - x81 =L= 0; e1257.. x81 - x82 =L= 0; e1258.. x82 - x83 =L= 0; e1259.. x83 - x84 =L= 0; e1260.. x84 - x85 =L= 0; e1261.. x85 - x86 =L= 0; e1262.. x86 - x87 =L= 0; e1263.. x87 - x88 =L= 0; e1264.. x88 - x89 =L= 0; e1265.. x89 - x90 =L= 0; e1266.. x90 - x91 =L= 0; e1267.. x91 - x92 =L= 0; e1268.. x92 - x93 =L= 0; e1269.. x93 - x94 =L= 0; e1270.. x94 - x95 =L= 0; e1271.. x95 - x96 =L= 0; e1272.. x96 - x97 =L= 0; e1273.. x97 - x98 =L= 0; e1274.. x98 - x99 =L= 0; e1275.. x99 - x100 =L= 0; * set non-default bounds x1.up = 1; x2.up = 1; x3.up = 1; x4.up = 1; x5.up = 1; x6.up = 1; x7.up = 1; x8.up = 1; x9.up = 1; x10.up = 1; x11.up = 1; x12.up = 1; x13.up = 1; x14.up = 1; x15.up = 1; x16.up = 1; x17.up = 1; x18.up = 1; x19.up = 1; x20.up = 1; x21.up = 1; x22.up = 1; x23.up = 1; x24.up = 1; x25.up = 1; x26.up = 1; x27.up = 1; x28.up = 1; x29.up = 1; x30.up = 1; x31.up = 1; x32.up = 1; x33.up = 1; x34.up = 1; x35.up = 1; x36.up = 1; x37.up = 1; x38.up = 1; x39.up = 1; x40.up = 1; x41.up = 1; x42.up = 1; x43.up = 1; x44.up = 1; x45.up = 1; x46.up = 1; x47.up = 1; x48.up = 1; x49.up = 1; x50.fx = 0; x51.up = 3.14159265358979; x52.up = 3.14159265358979; x53.up = 3.14159265358979; x54.up = 3.14159265358979; x55.up = 3.14159265358979; x56.up = 3.14159265358979; x57.up = 3.14159265358979; x58.up = 3.14159265358979; x59.up = 3.14159265358979; x60.up = 3.14159265358979; x61.up = 3.14159265358979; x62.up = 3.14159265358979; x63.up = 3.14159265358979; x64.up = 3.14159265358979; x65.up = 3.14159265358979; x66.up = 3.14159265358979; x67.up = 3.14159265358979; x68.up = 3.14159265358979; x69.up = 3.14159265358979; x70.up = 3.14159265358979; x71.up = 3.14159265358979; x72.up = 3.14159265358979; x73.up = 3.14159265358979; x74.up = 3.14159265358979; x75.up = 3.14159265358979; x76.up = 3.14159265358979; x77.up = 3.14159265358979; x78.up = 3.14159265358979; x79.up = 3.14159265358979; x80.up = 3.14159265358979; x81.up = 3.14159265358979; x82.up = 3.14159265358979; x83.up = 3.14159265358979; x84.up = 3.14159265358979; x85.up = 3.14159265358979; x86.up = 3.14159265358979; x87.up = 3.14159265358979; x88.up = 3.14159265358979; x89.up = 3.14159265358979; x90.up = 3.14159265358979; x91.up = 3.14159265358979; x92.up = 3.14159265358979; x93.up = 3.14159265358979; x94.up = 3.14159265358979; x95.up = 3.14159265358979; x96.up = 3.14159265358979; x97.up = 3.14159265358979; x98.up = 3.14159265358979; x99.up = 3.14159265358979; x100.fx = 3.14159265358979; * set non-default levels x1.l = 0.0768935024990388; x2.l = 0.150711264898116; x3.l = 0.221453287197232; x4.l = 0.289119569396386; x5.l = 0.353710111495579; x6.l = 0.41522491349481; x7.l = 0.473663975394079; x8.l = 0.529027297193387; x9.l = 0.581314878892734; x10.l = 0.630526720492118; x11.l = 0.676662821991542; x12.l = 0.719723183391003; x13.l = 0.759707804690504; x14.l = 0.796616685890042; x15.l = 0.830449826989619; x16.l = 0.861207227989235; x17.l = 0.888888888888889; x18.l = 0.913494809688581; x19.l = 0.935024990388312; x20.l = 0.953479430988082; x21.l = 0.968858131487889; x22.l = 0.981161091887735; x23.l = 0.99038831218762; x24.l = 0.996539792387543; x25.l = 0.999615532487505; x26.l = 0.999615532487505; x27.l = 0.996539792387543; x28.l = 0.99038831218762; x29.l = 0.981161091887735; x30.l = 0.968858131487889; x31.l = 0.953479430988082; x32.l = 0.935024990388312; x33.l = 0.913494809688581; x34.l = 0.888888888888889; x35.l = 0.861207227989235; x36.l = 0.830449826989619; x37.l = 0.796616685890042; x38.l = 0.759707804690504; x39.l = 0.719723183391003; x40.l = 0.676662821991542; x41.l = 0.630526720492118; x42.l = 0.581314878892734; x43.l = 0.529027297193387; x44.l = 0.473663975394079; x45.l = 0.41522491349481; x46.l = 0.353710111495579; x47.l = 0.289119569396386; x48.l = 0.221453287197232; x49.l = 0.150711264898116; x51.l = 0.0628318530717959; x52.l = 0.125663706143592; x53.l = 0.188495559215388; x54.l = 0.251327412287183; x55.l = 0.314159265358979; x56.l = 0.376991118430775; x57.l = 0.439822971502571; x58.l = 0.502654824574367; x59.l = 0.565486677646163; x60.l = 0.628318530717959; x61.l = 0.691150383789754; x62.l = 0.75398223686155; x63.l = 0.816814089933346; x64.l = 0.879645943005142; x65.l = 0.942477796076938; x66.l = 1.00530964914873; x67.l = 1.06814150222053; x68.l = 1.13097335529233; x69.l = 1.19380520836412; x70.l = 1.25663706143592; x71.l = 1.31946891450771; x72.l = 1.38230076757951; x73.l = 1.4451326206513; x74.l = 1.5079644737231; x75.l = 1.5707963267949; x76.l = 1.63362817986669; x77.l = 1.69646003293849; x78.l = 1.75929188601028; x79.l = 1.82212373908208; x80.l = 1.88495559215388; x81.l = 1.94778744522567; x82.l = 2.01061929829747; x83.l = 2.07345115136926; x84.l = 2.13628300444106; x85.l = 2.19911485751286; x86.l = 2.26194671058465; x87.l = 2.32477856365645; x88.l = 2.38761041672824; x89.l = 2.45044226980004; x90.l = 2.51327412287183; x91.l = 2.57610597594363; x92.l = 2.63893782901543; x93.l = 2.70176968208722; x94.l = 2.76460153515902; x95.l = 2.82743338823081; x96.l = 2.89026524130261; x97.l = 2.95309709437441; x98.l = 3.0159289474462; x99.l = 3.078760800518; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set NLP $set NLP NLP Solve m using %NLP% minimizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f