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) -1.57079633 (GUROBI) -15.26768502 (LINDO) -11.56326113 (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: 2025-08-07 Git hash: e62cedfc

