MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance batchs201210m

Determine volume of equipment, number of units to operate in parallel, and locations of intermediate storage tanks.
Formats ams gms mod nl osil py
Primal Bounds (infeas ≤ 1e-08)
2295348.84900000 p1 ( gdx sol )
(infeas: 5e-12)
Other points (infeas > 1e-08)  
Dual Bounds
2295348.80000000 (ALPHAECP)
2295278.61200000 (ANTIGONE)
2295348.84900000 (BARON)
2295348.80000000 (BONMIN)
2295346.13700000 (COUENNE)
2295348.84900000 (LINDO)
2295348.84900000 (SCIP)
2295344.08600000 (SHOT)
References Ravemark, Dag E and Rippin, David W T, Optimal design of a multi-product batch plant, Computers and Chemical Engineering, 22:1-2, 1998, 177-183.
Vecchietti, Aldo and Grossmann, I E, LOGMIP: A Disjunctive 0-1 Nonlinear Optimizer for Process System Models, Computers and Chemical Engineering, 23:4-5, 1999, 555-565.
Source BatchS201210M.gms from CMU-IBM MINLP solver project page
Application Multi-Product Batch Plant Design
Added to library 28 Sep 2013
Problem type MBNLP
#Variables 558
#Binary Variables 251
#Integer Variables 0
#Nonlinear Variables 67
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense min
Objective type nonlinear
Objective curvature convex
#Nonzeros in Objective 47
#Nonlinear Nonzeros in Objective 47
#Constraints 2327
#Linear Constraints 2326
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 1
Operands in Gen. Nonlin. Functions exp
Constraints curvature convex
#Nonzeros in Jacobian 6616
#Nonlinear Nonzeros in Jacobian 20
#Nonzeros in (Upper-Left) Hessian of Lagrangian 139
#Nonzeros in Diagonal of Hessian of Lagrangian 67
#Blocks in Hessian of Lagrangian 43
Minimal blocksize in Hessian of Lagrangian 1
Maximal blocksize in Hessian of Lagrangian 3
Average blocksize in Hessian of Lagrangian 1.55814
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0536e-01
Maximal coefficient 4.0050e+05
Infeasibility of initial point 3.904e+06
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*       2328       25     1611      692        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        559      308      251        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       6664     6597       67        0
*
*  Solve m using MINLP minimizing objvar;


Variables  x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19
          ,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36
          ,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53
          ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70
          ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87
          ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103
          ,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116
          ,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129
          ,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142
          ,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155
          ,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168
          ,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181
          ,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194
          ,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207
          ,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220
          ,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233
          ,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246
          ,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259
          ,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272
          ,x273,x274,x275,x276,objvar,x278,x279,x280,x281,x282,x283,x284,x285
          ,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298
          ,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,b309,b310,b311
          ,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323,b324
          ,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336,b337
          ,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349,b350
          ,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362,b363
          ,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375,b376
          ,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388,b389
          ,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401,b402
          ,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414,b415
          ,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427,b428
          ,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440,b441
          ,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453,b454
          ,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466,b467
          ,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479,b480
          ,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492,b493
          ,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505,b506
          ,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518,b519
          ,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531,b532
          ,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544,b545
          ,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557,b558
          ,b559;

Positive Variables  x253,x254,x255,x256,x257,x258,x259,x260,x261,x262,x263
          ,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276;

Binary Variables  b309,b310,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320
          ,b321,b322,b323,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333
          ,b334,b335,b336,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346
          ,b347,b348,b349,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359
          ,b360,b361,b362,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372
          ,b373,b374,b375,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385
          ,b386,b387,b388,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398
          ,b399,b400,b401,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411
          ,b412,b413,b414,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424
          ,b425,b426,b427,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437
          ,b438,b439,b440,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450
          ,b451,b452,b453,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463
          ,b464,b465,b466,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476
          ,b477,b478,b479,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489
          ,b490,b491,b492,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502
          ,b503,b504,b505,b506,b507,b508,b509,b510,b511,b512,b513,b514,b515
          ,b516,b517,b518,b519,b520,b521,b522,b523,b524,b525,b526,b527,b528
          ,b529,b530,b531,b532,b533,b534,b535,b536,b537,b538,b539,b540,b541
          ,b542,b543,b544,b545,b546,b547,b548,b549,b550,b551,b552,b553,b554
          ,b555,b556,b557,b558,b559;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
          ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
          ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
          ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
          ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
          ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
          ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
          ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
          ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
          ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
          ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
          ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
          ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
          ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
          ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
          ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
          ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
          ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
          ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
          ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
          ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
          ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
          ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
          ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
          ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
          ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
          ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
          ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
          ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
          ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
          ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
          ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
          ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
          ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
          ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
          ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545
          ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
          ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
          ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
          ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
          ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
          ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623
          ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636
          ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649
          ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662
          ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675
          ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688
          ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701
          ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714
          ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727
          ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740
          ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753
          ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766
          ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779
          ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792
          ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805
          ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818
          ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831
          ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844
          ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857
          ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870
          ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883
          ,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896
          ,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909
          ,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922
          ,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935
          ,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948
          ,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961
          ,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974
          ,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987
          ,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000
          ,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011
          ,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022
          ,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033
          ,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044
          ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055
          ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066
          ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077
          ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088
          ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099
          ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110
          ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121
          ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132
          ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143
          ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154
          ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165
          ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176
          ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187
          ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198
          ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209
          ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220
          ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231
          ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242
          ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253
          ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264
          ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275
          ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286
          ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297
          ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308
          ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319
          ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330
          ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341
          ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352
          ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363
          ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374
          ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385
          ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396
          ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407
          ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418
          ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429
          ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440
          ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451
          ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462
          ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473
          ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484
          ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495
          ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506
          ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517
          ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528
          ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539
          ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550
          ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561
          ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572
          ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583
          ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594
          ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605
          ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616
          ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627
          ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638
          ,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649
          ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660
          ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671
          ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682
          ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693
          ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704
          ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715
          ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726
          ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737
          ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748
          ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759
          ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770
          ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781
          ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792
          ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803
          ,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814
          ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825
          ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836
          ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847
          ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858
          ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869
          ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880
          ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891
          ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902
          ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913
          ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924
          ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935
          ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946
          ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957
          ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968
          ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979
          ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990
          ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001
          ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012
          ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023
          ,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034
          ,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045
          ,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056
          ,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067
          ,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078
          ,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089
          ,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100
          ,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111
          ,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122
          ,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133
          ,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144
          ,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152,e2153,e2154,e2155
          ,e2156,e2157,e2158,e2159,e2160,e2161,e2162,e2163,e2164,e2165,e2166
          ,e2167,e2168,e2169,e2170,e2171,e2172,e2173,e2174,e2175,e2176,e2177
          ,e2178,e2179,e2180,e2181,e2182,e2183,e2184,e2185,e2186,e2187,e2188
          ,e2189,e2190,e2191,e2192,e2193,e2194,e2195,e2196,e2197,e2198,e2199
          ,e2200,e2201,e2202,e2203,e2204,e2205,e2206,e2207,e2208,e2209,e2210
          ,e2211,e2212,e2213,e2214,e2215,e2216,e2217,e2218,e2219,e2220,e2221
          ,e2222,e2223,e2224,e2225,e2226,e2227,e2228,e2229,e2230,e2231,e2232
          ,e2233,e2234,e2235,e2236,e2237,e2238,e2239,e2240,e2241,e2242,e2243
          ,e2244,e2245,e2246,e2247,e2248,e2249,e2250,e2251,e2252,e2253,e2254
          ,e2255,e2256,e2257,e2258,e2259,e2260,e2261,e2262,e2263,e2264,e2265
          ,e2266,e2267,e2268,e2269,e2270,e2271,e2272,e2273,e2274,e2275,e2276
          ,e2277,e2278,e2279,e2280,e2281,e2282,e2283,e2284,e2285,e2286,e2287
          ,e2288,e2289,e2290,e2291,e2292,e2293,e2294,e2295,e2296,e2297,e2298
          ,e2299,e2300,e2301,e2302,e2303,e2304,e2305,e2306,e2307,e2308,e2309
          ,e2310,e2311,e2312,e2313,e2314,e2315,e2316,e2317,e2318,e2319,e2320
          ,e2321,e2322,e2323,e2324,e2325,e2326,e2327,e2328;


e1..    x1 - x13 + x253 =G= 1.06471073699243;

e2..    x2 - x14 + x254 =G= 0.693147180559945;

e3..    x3 - x15 + x255 =G= 1.64865862558738;

e4..    x4 - x16 + x256 =G= 1.58923520511658;

e5..    x5 - x17 + x257 =G= 1.80828877117927;

e6..    x6 - x18 + x258 =G= 1.43508452528932;

e7..    x7 - x19 + x259 =G= 1.6094379124341;

e8..    x8 - x20 + x260 =G= 0.0953101798043249;

e9..    x9 - x21 + x261 =G= 1.16315080980568;

e10..    x10 - x22 + x262 =G= 1.50407739677627;

e11..    x11 - x23 + x263 =G= 0.53062825106217;

e12..    x12 - x24 + x264 =G= 0.262364264467491;

e13..    x1 - x25 + x253 =G= -0.22314355131421;

e14..    x2 - x26 + x254 =G= -0.22314355131421;

e15..    x3 - x27 + x255 =G= -0.105360515657826;

e16..    x4 - x28 + x256 =G= 1.22377543162212;

e17..    x5 - x29 + x257 =G= 0.741937344729377;

e18..    x6 - x30 + x258 =G= 0.916290731874155;

e19..    x7 - x31 + x259 =G= -0.105360515657826;

e20..    x8 - x32 + x260 =G= 0.78845736036427;

e21..    x9 - x33 + x261 =G= 0.336472236621213;

e22..    x10 - x34 + x262 =G= 0.78845736036427;

e23..    x11 - x35 + x263 =G= 0.955511445027436;

e24..    x12 - x36 + x264 =G= 1.45861502269952;

e25..    x1 - x37 + x253 =G= -0.356674943938732;

e26..    x2 - x38 + x254 =G= 0.955511445027436;

e27..    x3 - x39 + x255 =G= 0.470003629245736;

e28..    x4 - x40 + x256 =G= 1.28093384546206;

e29..    x5 - x41 + x257 =G= 1.16315080980568;

e30..    x6 - x42 + x258 =G= 1.06471073699243;

e31..    x7 - x43 + x259 =G= 1.28093384546206;

e32..    x8 - x44 + x260 =G= 1.38629436111989;

e33..    x9 - x45 + x261 =G= 1.45861502269952;

e34..    x10 - x46 + x262 =G= -0.510825623765991;

e35..    x11 - x47 + x263 =G= 0.916290731874155;

e36..    x12 - x48 + x264 =G= 1.66770682055808;

e37..    x1 - x49 + x253 =G= 1.54756250871601;

e38..    x2 - x50 + x254 =G= 0.832909122935104;

e39..    x3 - x51 + x255 =G= 0.470003629245736;

e40..    x4 - x52 + x256 =G= 0.993251773010283;

e41..    x5 - x53 + x257 =G= 0.182321556793955;

e42..    x6 - x54 + x258 =G= 0.916290731874155;

e43..    x7 - x55 + x259 =G= 1.3609765531356;

e44..    x8 - x56 + x260 =G= -0.510825623765991;

e45..    x9 - x57 + x261 =G= 1.1314021114911;

e46..    x10 - x58 + x262 =G= 1.75785791755237;

e47..    x11 - x59 + x263 =G= 1.30833281965018;

e48..    x12 - x60 + x264 =G= 1.87180217690159;

e49..    x1 - x61 + x253 =G= 0.182321556793955;

e50..    x2 - x62 + x254 =G= 1.28093384546206;

e51..    x3 - x63 + x255 =G= 0.8754687373539;

e52..    x4 - x64 + x256 =G= 1.50407739677627;

e53..    x5 - x65 + x257 =G= 0.470003629245736;

e54..    x6 - x66 + x258 =G= 0.741937344729377;

e55..    x7 - x67 + x259 =G= -0.105360515657826;

e56..    x8 - x68 + x260 =G= 1.43508452528932;

e57..    x9 - x69 + x261 =G= 0.741937344729377;

e58..    x10 - x70 + x262 =G= 1.41098697371026;

e59..    x11 - x71 + x263 =G= 1.48160454092422;

e60..    x12 - x72 + x264 =G= 2.04122032885964;

e61..    x1 - x73 + x253 =G= 1.1314021114911;

e62..    x2 - x74 + x254 =G= 0.916290731874155;

e63..    x3 - x75 + x255 =G= 1.50407739677627;

e64..    x4 - x76 + x256 =G= 0.262364264467491;

e65..    x5 - x77 + x257 =G= 1.19392246847243;

e66..    x6 - x78 + x258 =G= 1.41098697371026;

e67..    x7 - x79 + x259 =G= 0.336472236621213;

e68..    x8 - x80 + x260 =G= 0;

e69..    x9 - x81 + x261 =G= 1.25276296849537;

e70..    x10 - x82 + x262 =G= -0.356674943938732;

e71..    x11 - x83 + x263 =G= 0.78845736036427;

e72..    x12 - x84 + x264 =G= 1.33500106673234;

e73..    x1 - x85 + x253 =G= 0;

e74..    x2 - x86 + x254 =G= 0.78845736036427;

e75..    x3 - x87 + x255 =G= -0.356674943938732;

e76..    x4 - x88 + x256 =G= 1.43508452528932;

e77..    x5 - x89 + x257 =G= 1.02961941718116;

e78..    x6 - x90 + x258 =G= 0.832909122935104;

e79..    x7 - x91 + x259 =G= 1.64865862558738;

e80..    x8 - x92 + x260 =G= 0.641853886172395;

e81..    x9 - x93 + x261 =G= 0.955511445027436;

e82..    x10 - x94 + x262 =G= 0.0953101798043249;

e83..    x11 - x95 + x263 =G= 1.54756250871601;

e84..    x12 - x96 + x264 =G= 1.58923520511658;

e85..    x1 - x97 + x253 =G= 0.916290731874155;

e86..    x2 - x98 + x254 =G= 0.0953101798043249;

e87..    x3 - x99 + x255 =G= 1.66770682055808;

e88..    x4 - x100 + x256 =G= 0.955511445027436;

e89..    x5 - x101 + x257 =G= 1.30833281965018;

e90..    x6 - x102 + x258 =G= 1.38629436111989;

e91..    x7 - x103 + x259 =G= 0.78845736036427;

e92..    x8 - x104 + x260 =G= 1.19392246847243;

e93..    x9 - x105 + x261 =G= 0.993251773010283;

e94..    x10 - x106 + x262 =G= 1.22377543162212;

e95..    x11 - x107 + x263 =G= 1.79175946922805;

e96..    x12 - x108 + x264 =G= 1.93152141160321;

e97..    x1 - x109 + x253 =G= 0.8754687373539;

e98..    x2 - x110 + x254 =G= 0.916290731874155;

e99..    x3 - x111 + x255 =G= 0.993251773010283;

e100..    x4 - x112 + x256 =G= 1.16315080980568;

e101..    x5 - x113 + x257 =G= 0.832909122935104;

e102..    x6 - x114 + x258 =G= 0.53062825106217;

e103..    x7 - x115 + x259 =G= 1.64865862558738;

e104..    x8 - x116 + x260 =G= 1.54756250871601;

e105..    x9 - x117 + x261 =G= 0.955511445027436;

e106..    x10 - x118 + x262 =G= 0.336472236621213;

e107..    x11 - x119 + x263 =G= 1.30833281965018;

e108..    x12 - x120 + x264 =G= 1.28093384546206;

e109..    x1 - x121 + x253 =G= 0.993251773010283;

e110..    x2 - x122 + x254 =G= 1.19392246847243;

e111..    x3 - x123 + x255 =G= 1.48160454092422;

e112..    x4 - x124 + x256 =G= 0.955511445027436;

e113..    x5 - x125 + x257 =G= 1.30833281965018;

e114..    x6 - x126 + x258 =G= -0.693147180559945;

e115..    x7 - x127 + x259 =G= 0.993251773010283;

e116..    x8 - x128 + x260 =G= 1.82454929205105;

e117..    x9 - x129 + x261 =G= 1.16315080980568;

e118..    x10 - x130 + x262 =G= 1.22377543162212;

e119..    x11 - x131 + x263 =G= 1.87180217690159;

e120..    x12 - x132 + x264 =G= 1.79175946922805;

e121..    x1 - x133 + x253 =G= 1.06471073699243;

e122..    x2 - x134 + x254 =G= 0.693147180559945;

e123..    x3 - x135 + x255 =G= 1.64865862558738;

e124..    x4 - x136 + x256 =G= 1.58923520511658;

e125..    x5 - x137 + x257 =G= 1.80828877117927;

e126..    x6 - x138 + x258 =G= 1.43508452528932;

e127..    x7 - x139 + x259 =G= 1.6094379124341;

e128..    x8 - x140 + x260 =G= 0.0953101798043249;

e129..    x9 - x141 + x261 =G= 1.16315080980568;

e130..    x10 - x142 + x262 =G= 1.50407739677627;

e131..    x11 - x143 + x263 =G= 1.45861502269952;

e132..    x12 - x144 + x264 =G= 1.25276296849537;

e133..    x1 - x145 + x253 =G= -0.22314355131421;

e134..    x2 - x146 + x254 =G= -0.22314355131421;

e135..    x3 - x147 + x255 =G= -0.105360515657826;

e136..    x4 - x148 + x256 =G= 1.22377543162212;

e137..    x5 - x149 + x257 =G= 0.741937344729377;

e138..    x6 - x150 + x258 =G= 0.916290731874155;

e139..    x7 - x151 + x259 =G= -0.105360515657826;

e140..    x8 - x152 + x260 =G= 0.78845736036427;

e141..    x9 - x153 + x261 =G= 0.336472236621213;

e142..    x10 - x154 + x262 =G= 0.78845736036427;

e143..    x11 - x155 + x263 =G= 1.16315080980568;

e144..    x12 - x156 + x264 =G= 1.80828877117927;

e145..    x1 - x157 + x253 =G= 0.182321556793955;

e146..    x2 - x158 + x254 =G= 1.28093384546206;

e147..    x3 - x159 + x255 =G= 0.8754687373539;

e148..    x4 - x160 + x256 =G= 1.50407739677627;

e149..    x5 - x161 + x257 =G= 0.470003629245736;

e150..    x6 - x162 + x258 =G= 0.741937344729377;

e151..    x7 - x163 + x259 =G= -0.105360515657826;

e152..    x8 - x164 + x260 =G= 1.43508452528932;

e153..    x9 - x165 + x261 =G= 0.741937344729377;

e154..    x10 - x166 + x262 =G= 1.41098697371026;

e155..    x11 - x167 + x263 =G= 1.48160454092422;

e156..    x12 - x168 + x264 =G= 2.04122032885964;

e157..    x1 - x169 + x253 =G= 1.1314021114911;

e158..    x2 - x170 + x254 =G= 0.916290731874155;

e159..    x3 - x171 + x255 =G= 1.50407739677627;

e160..    x4 - x172 + x256 =G= 0.262364264467491;

e161..    x5 - x173 + x257 =G= 1.19392246847243;

e162..    x6 - x174 + x258 =G= 1.41098697371026;

e163..    x7 - x175 + x259 =G= 0.336472236621213;

e164..    x8 - x176 + x260 =G= 0;

e165..    x9 - x177 + x261 =G= 1.25276296849537;

e166..    x10 - x178 + x262 =G= -0.356674943938732;

e167..    x11 - x179 + x263 =G= 0.78845736036427;

e168..    x12 - x180 + x264 =G= 1.33500106673234;

e169..    x1 - x181 + x253 =G= 0;

e170..    x2 - x182 + x254 =G= 0.78845736036427;

e171..    x3 - x183 + x255 =G= -0.356674943938732;

e172..    x4 - x184 + x256 =G= 1.43508452528932;

e173..    x5 - x185 + x257 =G= 1.02961941718116;

e174..    x6 - x186 + x258 =G= 0.832909122935104;

e175..    x7 - x187 + x259 =G= 1.64865862558738;

e176..    x8 - x188 + x260 =G= 0.641853886172395;

e177..    x9 - x189 + x261 =G= 0.955511445027436;

e178..    x10 - x190 + x262 =G= 0.0953101798043249;

e179..    x11 - x191 + x263 =G= 1.54756250871601;

e180..    x12 - x192 + x264 =G= 1.58923520511658;

e181..    x1 - x193 + x253 =G= 0;

e182..    x2 - x194 + x254 =G= 0.78845736036427;

e183..    x3 - x195 + x255 =G= -0.356674943938732;

e184..    x4 - x196 + x256 =G= 1.43508452528932;

e185..    x5 - x197 + x257 =G= 1.02961941718116;

e186..    x6 - x198 + x258 =G= 0.832909122935104;

e187..    x7 - x199 + x259 =G= 1.64865862558738;

e188..    x8 - x200 + x260 =G= 0.641853886172395;

e189..    x9 - x201 + x261 =G= 0.955511445027436;

e190..    x10 - x202 + x262 =G= 0.0953101798043249;

e191..    x11 - x203 + x263 =G= 1.54756250871601;

e192..    x12 - x204 + x264 =G= 1.58923520511658;

e193..    x1 - x205 + x253 =G= 0.916290731874155;

e194..    x2 - x206 + x254 =G= 0.0953101798043249;

e195..    x3 - x207 + x255 =G= 1.66770682055808;

e196..    x4 - x208 + x256 =G= 0.955511445027436;

e197..    x5 - x209 + x257 =G= 1.30833281965018;

e198..    x6 - x210 + x258 =G= 1.38629436111989;

e199..    x7 - x211 + x259 =G= 0.78845736036427;

e200..    x8 - x212 + x260 =G= 1.19392246847243;

e201..    x9 - x213 + x261 =G= 0.993251773010283;

e202..    x10 - x214 + x262 =G= 1.22377543162212;

e203..    x11 - x215 + x263 =G= 1.79175946922805;

e204..    x12 - x216 + x264 =G= 1.93152141160321;

e205..    x1 - x217 + x253 =G= 0.8754687373539;

e206..    x2 - x218 + x254 =G= 0.916290731874155;

e207..    x3 - x219 + x255 =G= 0.993251773010283;

e208..    x4 - x220 + x256 =G= 1.16315080980568;

e209..    x5 - x221 + x257 =G= 0.832909122935104;

e210..    x6 - x222 + x258 =G= 0.53062825106217;

e211..    x7 - x223 + x259 =G= 1.64865862558738;

e212..    x8 - x224 + x260 =G= 1.54756250871601;

e213..    x9 - x225 + x261 =G= 0.955511445027436;

e214..    x10 - x226 + x262 =G= 0.336472236621213;

e215..    x11 - x227 + x263 =G= 1.30833281965018;

e216..    x12 - x228 + x264 =G= 1.28093384546206;

e217..    x1 - x229 + x253 =G= 0.993251773010283;

e218..    x2 - x230 + x254 =G= 1.19392246847243;

e219..    x3 - x231 + x255 =G= 1.48160454092422;

e220..    x4 - x232 + x256 =G= 0.955511445027436;

e221..    x5 - x233 + x257 =G= 1.30833281965018;

e222..    x6 - x234 + x258 =G= -0.693147180559945;

e223..    x7 - x235 + x259 =G= 0.993251773010283;

e224..    x8 - x236 + x260 =G= 1.82454929205105;

e225..    x9 - x237 + x261 =G= 1.16315080980568;

e226..    x10 - x238 + x262 =G= 1.22377543162212;

e227..    x11 - x239 + x263 =G= 1.87180217690159;

e228..    x12 - x240 + x264 =G= 1.79175946922805;

e229..    x1 - x241 + x253 =G= 1.06471073699243;

e230..    x2 - x242 + x254 =G= 0.693147180559945;

e231..    x3 - x243 + x255 =G= 1.64865862558738;

e232..    x4 - x244 + x256 =G= 1.58923520511658;

e233..    x5 - x245 + x257 =G= 1.80828877117927;

e234..    x6 - x246 + x258 =G= 1.43508452528932;

e235..    x7 - x247 + x259 =G= 1.6094379124341;

e236..    x8 - x248 + x260 =G= 0.0953101798043249;

e237..    x9 - x249 + x261 =G= 1.16315080980568;

e238..    x10 - x250 + x262 =G= 1.50407739677627;

e239..    x11 - x251 + x263 =G= 1.45861502269952;

e240..    x12 - x252 + x264 =G= 1.25276296849537;

e241..    x13 + x265 + x289 =G= 1.85629799036563;

e242..    x14 + x266 + x289 =G= 1.54756250871601;

e243..    x15 + x267 + x289 =G= 0.262364264467491;

e244..    x16 + x268 + x289 =G= 1.3609765531356;

e245..    x17 + x269 + x289 =G= 0.741937344729377;

e246..    x18 + x270 + x289 =G= 0.470003629245736;

e247..    x19 + x271 + x289 =G= 1.16315080980568;

e248..    x20 + x272 + x289 =G= 1.1314021114911;

e249..    x21 + x273 + x289 =G= 1.43508452528932;

e250..    x22 + x274 + x289 =G= 1.64865862558738;

e251..    x23 + x275 + x289 =G= 1.7227665977411;

e252..    x24 + x276 + x289 =G= 2.18605127673809;

e253..    x25 + x265 + x290 =G= 1.33500106673234;

e254..    x26 + x266 + x290 =G= 1.85629799036563;

e255..    x27 + x267 + x290 =G= 1.87180217690159;

e256..    x28 + x268 + x290 =G= 1.48160454092422;

e257..    x29 + x269 + x290 =G= 0.832909122935104;

e258..    x30 + x270 + x290 =G= 1.16315080980568;

e259..    x31 + x271 + x290 =G= 1.64865862558738;

e260..    x32 + x272 + x290 =G= 0.916290731874155;

e261..    x33 + x273 + x290 =G= 1.48160454092422;

e262..    x34 + x274 + x290 =G= 0.0953101798043249;

e263..    x35 + x275 + x290 =G= 1.50407739677627;

e264..    x36 + x276 + x290 =G= 1.90210752639692;

e265..    x37 + x265 + x291 =G= 0;

e266..    x38 + x266 + x291 =G= 1.84054963339749;

e267..    x39 + x267 + x291 =G= 1.22377543162212;

e268..    x40 + x268 + x291 =G= 1.58923520511658;

e269..    x41 + x269 + x291 =G= 0.993251773010283;

e270..    x42 + x270 + x291 =G= 1.82454929205105;

e271..    x43 + x271 + x291 =G= 1.1314021114911;

e272..    x44 + x272 + x291 =G= 0.182321556793955;

e273..    x45 + x273 + x291 =G= 0.832909122935104;

e274..    x46 + x274 + x291 =G= 1.62924053973028;

e275..    x47 + x275 + x291 =G= 1.30833281965018;

e276..    x48 + x276 + x291 =G= 1.7227665977411;

e277..    x49 + x265 + x292 =G= 1.16315080980568;

e278..    x50 + x266 + x292 =G= 1.09861228866811;

e279..    x51 + x267 + x292 =G= 1.25276296849537;

e280..    x52 + x268 + x292 =G= 1.19392246847243;

e281..    x53 + x269 + x292 =G= 1.02961941718116;

e282..    x54 + x270 + x292 =G= 1.22377543162212;

e283..    x55 + x271 + x292 =G= 1.43508452528932;

e284..    x56 + x272 + x292 =G= 1.06471073699243;

e285..    x57 + x273 + x292 =G= 1.82454929205105;

e286..    x58 + x274 + x292 =G= 0.78845736036427;

e287..    x59 + x275 + x292 =G= 1.75785791755237;

e288..    x60 + x276 + x292 =G= 1.50407739677627;

e289..    x61 + x265 + x293 =G= 0.741937344729377;

e290..    x62 + x266 + x293 =G= 0.916290731874155;

e291..    x63 + x267 + x293 =G= 1.43508452528932;

e292..    x64 + x268 + x293 =G= 1.28093384546206;

e293..    x65 + x269 + x293 =G= 1.30833281965018;

e294..    x66 + x270 + x293 =G= 0.78845736036427;

e295..    x67 + x271 + x293 =G= 1.62924053973028;

e296..    x68 + x272 + x293 =G= -0.916290731874155;

e297..    x69 + x273 + x293 =G= 1.41098697371026;

e298..    x70 + x274 + x293 =G= 0.262364264467491;

e299..    x71 + x275 + x293 =G= 1.88706964903238;

e300..    x72 + x276 + x293 =G= 1.22377543162212;

e301..    x73 + x265 + x294 =G= 1.25276296849537;

e302..    x74 + x266 + x294 =G= 1.41098697371026;

e303..    x75 + x267 + x294 =G= -0.105360515657826;

e304..    x76 + x268 + x294 =G= 0.336472236621213;

e305..    x77 + x269 + x294 =G= 1.28093384546206;

e306..    x78 + x270 + x294 =G= 0.993251773010283;

e307..    x79 + x271 + x294 =G= 1.06471073699243;

e308..    x80 + x272 + x294 =G= 1.30833281965018;

e309..    x81 + x273 + x294 =G= -0.22314355131421;

e310..    x82 + x274 + x294 =G= 0.405465108108164;

e311..    x83 + x275 + x294 =G= 1.52605630349505;

e312..    x84 + x276 + x294 =G= 1.19392246847243;

e313..    x85 + x265 + x295 =G= 1.41098697371026;

e314..    x86 + x266 + x295 =G= 1.90210752639692;

e315..    x87 + x267 + x295 =G= 0.78845736036427;

e316..    x88 + x268 + x295 =G= 0.336472236621213;

e317..    x89 + x269 + x295 =G= -0.356674943938732;

e318..    x90 + x270 + x295 =G= 1.54756250871601;

e319..    x91 + x271 + x295 =G= 0.262364264467491;

e320..    x92 + x272 + x295 =G= -0.510825623765991;

e321..    x93 + x273 + x295 =G= 1.16315080980568;

e322..    x94 + x274 + x295 =G= 0.741937344729377;

e323..    x95 + x275 + x295 =G= 1.22377543162212;

e324..    x96 + x276 + x295 =G= 0.955511445027436;

e325..    x97 + x265 + x296 =G= 1.66770682055808;

e326..    x98 + x266 + x296 =G= 1.1314021114911;

e327..    x99 + x267 + x296 =G= 1.02961941718116;

e328..    x100 + x268 + x296 =G= 0.405465108108164;

e329..    x101 + x269 + x296 =G= 1.16315080980568;

e330..    x102 + x270 + x296 =G= 1.80828877117927;

e331..    x103 + x271 + x296 =G= -0.693147180559945;

e332..    x104 + x272 + x296 =G= 1.3609765531356;

e333..    x105 + x273 + x296 =G= 0.993251773010283;

e334..    x106 + x274 + x296 =G= 1.41098697371026;

e335..    x107 + x275 + x296 =G= 1.88706964903238;

e336..    x108 + x276 + x296 =G= 0.470003629245736;

e337..    x109 + x265 + x297 =G= 0.955511445027436;

e338..    x110 + x266 + x297 =G= 1.64865862558738;

e339..    x111 + x267 + x297 =G= 1.16315080980568;

e340..    x112 + x268 + x297 =G= 1.22377543162212;

e341..    x113 + x269 + x297 =G= 1.48160454092422;

e342..    x114 + x270 + x297 =G= 0.0953101798043249;

e343..    x115 + x271 + x297 =G= 1.96009478404727;

e344..    x116 + x272 + x297 =G= 0.916290731874155;

e345..    x117 + x273 + x297 =G= 1.1314021114911;

e346..    x118 + x274 + x297 =G= -0.105360515657826;

e347..    x119 + x275 + x297 =G= 2.05412373369555;

e348..    x120 + x276 + x297 =G= 1.75785791755237;

e349..    x121 + x265 + x298 =G= 0.53062825106217;

e350..    x122 + x266 + x298 =G= 1.64865862558738;

e351..    x123 + x267 + x298 =G= 1.30833281965018;

e352..    x124 + x268 + x298 =G= 0.955511445027436;

e353..    x125 + x269 + x298 =G= 1.64865862558738;

e354..    x126 + x270 + x298 =G= 0.955511445027436;

e355..    x127 + x271 + x298 =G= 1.62924053973028;

e356..    x128 + x272 + x298 =G= 2.10413415427021;

e357..    x129 + x273 + x298 =G= 0.0953101798043249;

e358..    x130 + x274 + x298 =G= 1.06471073699243;

e359..    x131 + x275 + x298 =G= 2.12823170584927;

e360..    x132 + x276 + x298 =G= 1.56861591791385;

e361..    x133 + x265 + x299 =G= 1.85629799036563;

e362..    x134 + x266 + x299 =G= 1.54756250871601;

e363..    x135 + x267 + x299 =G= 0.262364264467491;

e364..    x136 + x268 + x299 =G= 1.3609765531356;

e365..    x137 + x269 + x299 =G= 0.741937344729377;

e366..    x138 + x270 + x299 =G= 0.470003629245736;

e367..    x139 + x271 + x299 =G= 1.16315080980568;

e368..    x140 + x272 + x299 =G= 1.1314021114911;

e369..    x141 + x273 + x299 =G= 1.43508452528932;

e370..    x142 + x274 + x299 =G= 1.64865862558738;

e371..    x143 + x275 + x299 =G= 2.23001440015921;

e372..    x144 + x276 + x299 =G= 1.87180217690159;

e373..    x145 + x265 + x300 =G= 1.33500106673234;

e374..    x146 + x266 + x300 =G= 1.85629799036563;

e375..    x147 + x267 + x300 =G= 1.87180217690159;

e376..    x148 + x268 + x300 =G= 1.48160454092422;

e377..    x149 + x269 + x300 =G= 0.832909122935104;

e378..    x150 + x270 + x300 =G= 1.16315080980568;

e379..    x151 + x271 + x300 =G= 1.64865862558738;

e380..    x152 + x272 + x300 =G= 0.916290731874155;

e381..    x153 + x273 + x300 =G= 1.48160454092422;

e382..    x154 + x274 + x300 =G= 0.0953101798043249;

e383..    x155 + x275 + x300 =G= -1.6094379124341;

e384..    x156 + x276 + x300 =G= 1.85629799036563;

e385..    x157 + x265 + x301 =G= 1.25276296849537;

e386..    x158 + x266 + x301 =G= 1.41098697371026;

e387..    x159 + x267 + x301 =G= -0.105360515657826;

e388..    x160 + x268 + x301 =G= 0.336472236621213;

e389..    x161 + x269 + x301 =G= 1.28093384546206;

e390..    x162 + x270 + x301 =G= 0.993251773010283;

e391..    x163 + x271 + x301 =G= 1.06471073699243;

e392..    x164 + x272 + x301 =G= 1.30833281965018;

e393..    x165 + x273 + x301 =G= -0.22314355131421;

e394..    x166 + x274 + x301 =G= 0.405465108108164;

e395..    x167 + x275 + x301 =G= 1.52605630349505;

e396..    x168 + x276 + x301 =G= 1.19392246847243;

e397..    x169 + x265 + x302 =G= 1.41098697371026;

e398..    x170 + x266 + x302 =G= 1.90210752639692;

e399..    x171 + x267 + x302 =G= 0.78845736036427;

e400..    x172 + x268 + x302 =G= 0.336472236621213;

e401..    x173 + x269 + x302 =G= -0.356674943938732;

e402..    x174 + x270 + x302 =G= 1.54756250871601;

e403..    x175 + x271 + x302 =G= 0.262364264467491;

e404..    x176 + x272 + x302 =G= -0.510825623765991;

e405..    x177 + x273 + x302 =G= 1.16315080980568;

e406..    x178 + x274 + x302 =G= 0.741937344729377;

e407..    x179 + x275 + x302 =G= 1.22377543162212;

e408..    x180 + x276 + x302 =G= 0.955511445027436;

e409..    x181 + x265 + x303 =G= 1.66770682055808;

e410..    x182 + x266 + x303 =G= 1.1314021114911;

e411..    x183 + x267 + x303 =G= 1.02961941718116;

e412..    x184 + x268 + x303 =G= 0.405465108108164;

e413..    x185 + x269 + x303 =G= 1.16315080980568;

e414..    x186 + x270 + x303 =G= 1.80828877117927;

e415..    x187 + x271 + x303 =G= -0.693147180559945;

e416..    x188 + x272 + x303 =G= 1.3609765531356;

e417..    x189 + x273 + x303 =G= 0.993251773010283;

e418..    x190 + x274 + x303 =G= 1.41098697371026;

e419..    x191 + x275 + x303 =G= 1.88706964903238;

e420..    x192 + x276 + x303 =G= 0.470003629245736;

e421..    x193 + x265 + x304 =G= 1.33500106673234;

e422..    x194 + x266 + x304 =G= 1.85629799036563;

e423..    x195 + x267 + x304 =G= 1.87180217690159;

e424..    x196 + x268 + x304 =G= 1.48160454092422;

e425..    x197 + x269 + x304 =G= 0.832909122935104;

e426..    x198 + x270 + x304 =G= 1.16315080980568;

e427..    x199 + x271 + x304 =G= 1.64865862558738;

e428..    x200 + x272 + x304 =G= 0.916290731874155;

e429..    x201 + x273 + x304 =G= 1.48160454092422;

e430..    x202 + x274 + x304 =G= 0.0953101798043249;

e431..    x203 + x275 + x304 =G= 1.50407739677627;

e432..    x204 + x276 + x304 =G= 1.90210752639692;

e433..    x205 + x265 + x305 =G= 0;

e434..    x206 + x266 + x305 =G= 1.84054963339749;

e435..    x207 + x267 + x305 =G= 1.22377543162212;

e436..    x208 + x268 + x305 =G= 1.58923520511658;

e437..    x209 + x269 + x305 =G= 0.993251773010283;

e438..    x210 + x270 + x305 =G= 1.82454929205105;

e439..    x211 + x271 + x305 =G= 1.1314021114911;

e440..    x212 + x272 + x305 =G= 0.182321556793955;

e441..    x213 + x273 + x305 =G= 0.832909122935104;

e442..    x214 + x274 + x305 =G= 1.62924053973028;

e443..    x215 + x275 + x305 =G= 1.30833281965018;

e444..    x216 + x276 + x305 =G= 1.7227665977411;

e445..    x217 + x265 + x306 =G= 1.16315080980568;

e446..    x218 + x266 + x306 =G= 1.09861228866811;

e447..    x219 + x267 + x306 =G= 1.25276296849537;

e448..    x220 + x268 + x306 =G= 1.19392246847243;

e449..    x221 + x269 + x306 =G= 1.02961941718116;

e450..    x222 + x270 + x306 =G= 1.22377543162212;

e451..    x223 + x271 + x306 =G= 1.43508452528932;

e452..    x224 + x272 + x306 =G= 1.06471073699243;

e453..    x225 + x273 + x306 =G= 1.82454929205105;

e454..    x226 + x274 + x306 =G= 0.78845736036427;

e455..    x227 + x275 + x306 =G= 1.75785791755237;

e456..    x228 + x276 + x306 =G= 1.50407739677627;

e457..    x229 + x265 + x307 =G= 0.741937344729377;

e458..    x230 + x266 + x307 =G= 0.916290731874155;

e459..    x231 + x267 + x307 =G= 1.43508452528932;

e460..    x232 + x268 + x307 =G= 1.28093384546206;

e461..    x233 + x269 + x307 =G= 1.30833281965018;

e462..    x234 + x270 + x307 =G= 0.78845736036427;

e463..    x235 + x271 + x307 =G= 1.62924053973028;

e464..    x236 + x272 + x307 =G= -0.916290731874155;

e465..    x237 + x273 + x307 =G= 1.41098697371026;

e466..    x238 + x274 + x307 =G= 0.262364264467491;

e467..    x239 + x275 + x307 =G= 1.88706964903238;

e468..    x240 + x276 + x307 =G= 1.22377543162212;

e469..    x241 + x265 + x308 =G= 1.25276296849537;

e470..    x242 + x266 + x308 =G= 1.41098697371026;

e471..    x243 + x267 + x308 =G= -0.105360515657826;

e472..    x244 + x268 + x308 =G= 0.336472236621213;

e473..    x245 + x269 + x308 =G= 1.28093384546206;

e474..    x246 + x270 + x308 =G= 0.993251773010283;

e475..    x247 + x271 + x308 =G= 1.06471073699243;

e476..    x248 + x272 + x308 =G= 1.30833281965018;

e477..    x249 + x273 + x308 =G= -0.22314355131421;

e478..    x250 + x274 + x308 =G= 0.405465108108164;

e479..    x251 + x275 + x308 =G= 1.52605630349505;

e480..    x252 + x276 + x308 =G= 1.19392246847243;

e481.. 250000*exp(x289) + 150000*exp(x290) + 180000*exp(x291) + 160000*exp(x292
       ) + 120000*exp(x293) + 130000*exp(x294) + 190000*exp(x295) + 140000*exp(
       x296) + 175000*exp(x297) + 125000*exp(x298) + 140000*exp(x299) + 220000*
       exp(x300) + 300000*exp(x301) + 200000*exp(x302) + 120000*exp(x303) + 
       320000*exp(x304) + 400500*exp(x305) + 210000*exp(x306) + 310000*exp(x307
       ) + 70000*exp(x308) =L= 6000;

e482..  - x14 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e483..  - x15 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e484..  - x16 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e485..  - x17 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e486..  - x18 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e487..  - x19 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e488..  - x20 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e489..  - x21 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e490..  - x22 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e491..  - x23 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e492..  - x24 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e493..  - x26 + x278 - 4.39931813178394*b549 =G= -2.0967330387899;

e494..  - x27 + x279 - 4.39931813178394*b550 =G= -2.0967330387899;

e495..  - x28 + x280 - 4.39931813178394*b551 =G= -2.0967330387899;

e496..  - x29 + x281 - 4.39931813178394*b552 =G= -2.0967330387899;

e497..  - x30 + x282 - 4.39931813178394*b553 =G= -2.0967330387899;

e498..  - x31 + x283 - 4.39931813178394*b554 =G= -2.0967330387899;

e499..  - x32 + x284 - 4.39931813178394*b555 =G= -2.0967330387899;

e500..  - x33 + x285 - 4.39931813178394*b556 =G= -2.0967330387899;

e501..  - x34 + x286 - 4.39931813178394*b557 =G= -2.0967330387899;

e502..  - x35 + x287 - 4.39931813178394*b558 =G= -2.0967330387899;

e503..  - x36 + x288 - 4.39931813178394*b559 =G= -2.0967330387899;

e504..  - x38 + x278 - 4.19022633392538*b549 =G= -1.88764124093134;

e505..  - x39 + x279 - 4.19022633392538*b550 =G= -1.88764124093134;

e506..  - x40 + x280 - 4.19022633392538*b551 =G= -1.88764124093134;

e507..  - x41 + x281 - 4.19022633392538*b552 =G= -1.88764124093134;

e508..  - x42 + x282 - 4.19022633392538*b553 =G= -1.88764124093134;

e509..  - x43 + x283 - 4.19022633392538*b554 =G= -1.88764124093134;

e510..  - x44 + x284 - 4.19022633392538*b555 =G= -1.88764124093134;

e511..  - x45 + x285 - 4.19022633392538*b556 =G= -1.88764124093134;

e512..  - x46 + x286 - 4.19022633392538*b557 =G= -1.88764124093134;

e513..  - x47 + x287 - 4.19022633392538*b558 =G= -1.88764124093134;

e514..  - x48 + x288 - 4.19022633392538*b559 =G= -1.88764124093134;

e515..  - x50 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e516..  - x51 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e517..  - x52 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e518..  - x53 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e519..  - x54 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e520..  - x55 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e521..  - x56 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e522..  - x57 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e523..  - x58 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e524..  - x59 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e525..  - x60 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e526..  - x62 + x278 - 3.81671282562382*b549 =G= -1.51412773262977;

e527..  - x63 + x279 - 3.81671282562382*b550 =G= -1.51412773262977;

e528..  - x64 + x280 - 3.81671282562382*b551 =G= -1.51412773262977;

e529..  - x65 + x281 - 3.81671282562382*b552 =G= -1.51412773262977;

e530..  - x66 + x282 - 3.81671282562382*b553 =G= -1.51412773262977;

e531..  - x67 + x283 - 3.81671282562382*b554 =G= -1.51412773262977;

e532..  - x68 + x284 - 3.81671282562382*b555 =G= -1.51412773262977;

e533..  - x69 + x285 - 3.81671282562382*b556 =G= -1.51412773262977;

e534..  - x70 + x286 - 3.81671282562382*b557 =G= -1.51412773262977;

e535..  - x71 + x287 - 3.81671282562382*b558 =G= -1.51412773262977;

e536..  - x72 + x288 - 3.81671282562382*b559 =G= -1.51412773262977;

e537..  - x74 + x278 - 4.35385575770719*b549 =G= -2.05127066471314;

e538..  - x75 + x279 - 4.35385575770719*b550 =G= -2.05127066471314;

e539..  - x76 + x280 - 4.35385575770719*b551 =G= -2.05127066471314;

e540..  - x77 + x281 - 4.35385575770719*b552 =G= -2.05127066471314;

e541..  - x78 + x282 - 4.35385575770719*b553 =G= -2.05127066471314;

e542..  - x79 + x283 - 4.35385575770719*b554 =G= -2.05127066471314;

e543..  - x80 + x284 - 4.35385575770719*b555 =G= -2.05127066471314;

e544..  - x81 + x285 - 4.35385575770719*b556 =G= -2.05127066471314;

e545..  - x82 + x286 - 4.35385575770719*b557 =G= -2.05127066471314;

e546..  - x83 + x287 - 4.35385575770719*b558 =G= -2.05127066471314;

e547..  - x84 + x288 - 4.35385575770719*b559 =G= -2.05127066471314;

e548..  - x86 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e549..  - x87 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e550..  - x88 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e551..  - x89 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e552..  - x90 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e553..  - x91 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e554..  - x92 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e555..  - x93 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e556..  - x94 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e557..  - x95 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e558..  - x96 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e559..  - x98 + x278 - 3.92641174288025*b549 =G= -1.6238266498862;

e560..  - x99 + x279 - 3.92641174288025*b550 =G= -1.6238266498862;

e561..  - x100 + x280 - 3.92641174288025*b551 =G= -1.6238266498862;

e562..  - x101 + x281 - 3.92641174288025*b552 =G= -1.6238266498862;

e563..  - x102 + x282 - 3.92641174288025*b553 =G= -1.6238266498862;

e564..  - x103 + x283 - 3.92641174288025*b554 =G= -1.6238266498862;

e565..  - x104 + x284 - 3.92641174288025*b555 =G= -1.6238266498862;

e566..  - x105 + x285 - 3.92641174288025*b556 =G= -1.6238266498862;

e567..  - x106 + x286 - 3.92641174288025*b557 =G= -1.6238266498862;

e568..  - x107 + x287 - 3.92641174288025*b558 =G= -1.6238266498862;

e569..  - x108 + x288 - 3.92641174288025*b559 =G= -1.6238266498862;

e570..  - x110 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e571..  - x111 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e572..  - x112 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e573..  - x113 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e574..  - x114 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e575..  - x115 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e576..  - x116 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e577..  - x117 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e578..  - x118 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e579..  - x119 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e580..  - x120 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e581..  - x122 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e582..  - x123 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e583..  - x124 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e584..  - x125 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e585..  - x126 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e586..  - x127 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e587..  - x128 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e588..  - x129 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e589..  - x130 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e590..  - x131 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e591..  - x132 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e592..  - x134 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e593..  - x135 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e594..  - x136 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e595..  - x137 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e596..  - x138 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e597..  - x139 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e598..  - x140 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e599..  - x141 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e600..  - x142 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e601..  - x143 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e602..  - x144 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e603..  - x146 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e604..  - x147 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e605..  - x148 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e606..  - x149 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e607..  - x150 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e608..  - x151 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e609..  - x152 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e610..  - x153 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e611..  - x154 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e612..  - x155 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e613..  - x156 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e614..  - x158 + x278 - 3.81671282562382*b549 =G= -1.51412773262977;

e615..  - x159 + x279 - 3.81671282562382*b550 =G= -1.51412773262977;

e616..  - x160 + x280 - 3.81671282562382*b551 =G= -1.51412773262977;

e617..  - x161 + x281 - 3.81671282562382*b552 =G= -1.51412773262977;

e618..  - x162 + x282 - 3.81671282562382*b553 =G= -1.51412773262977;

e619..  - x163 + x283 - 3.81671282562382*b554 =G= -1.51412773262977;

e620..  - x164 + x284 - 3.81671282562382*b555 =G= -1.51412773262977;

e621..  - x165 + x285 - 3.81671282562382*b556 =G= -1.51412773262977;

e622..  - x166 + x286 - 3.81671282562382*b557 =G= -1.51412773262977;

e623..  - x167 + x287 - 3.81671282562382*b558 =G= -1.51412773262977;

e624..  - x168 + x288 - 3.81671282562382*b559 =G= -1.51412773262977;

e625..  - x170 + x278 - 4.35385575770719*b549 =G= -2.05127066471314;

e626..  - x171 + x279 - 4.35385575770719*b550 =G= -2.05127066471314;

e627..  - x172 + x280 - 4.35385575770719*b551 =G= -2.05127066471314;

e628..  - x173 + x281 - 4.35385575770719*b552 =G= -2.05127066471314;

e629..  - x174 + x282 - 4.35385575770719*b553 =G= -2.05127066471314;

e630..  - x175 + x283 - 4.35385575770719*b554 =G= -2.05127066471314;

e631..  - x176 + x284 - 4.35385575770719*b555 =G= -2.05127066471314;

e632..  - x177 + x285 - 4.35385575770719*b556 =G= -2.05127066471314;

e633..  - x178 + x286 - 4.35385575770719*b557 =G= -2.05127066471314;

e634..  - x179 + x287 - 4.35385575770719*b558 =G= -2.05127066471314;

e635..  - x180 + x288 - 4.35385575770719*b559 =G= -2.05127066471314;

e636..  - x182 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e637..  - x183 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e638..  - x184 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e639..  - x185 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e640..  - x186 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e641..  - x187 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e642..  - x188 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e643..  - x189 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e644..  - x190 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e645..  - x191 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e646..  - x192 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e647..  - x194 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e648..  - x195 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e649..  - x196 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e650..  - x197 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e651..  - x198 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e652..  - x199 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e653..  - x200 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e654..  - x201 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e655..  - x202 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e656..  - x203 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e657..  - x204 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e658..  - x206 + x278 - 3.92641174288025*b549 =G= -1.6238266498862;

e659..  - x207 + x279 - 3.92641174288025*b550 =G= -1.6238266498862;

e660..  - x208 + x280 - 3.92641174288025*b551 =G= -1.6238266498862;

e661..  - x209 + x281 - 3.92641174288025*b552 =G= -1.6238266498862;

e662..  - x210 + x282 - 3.92641174288025*b553 =G= -1.6238266498862;

e663..  - x211 + x283 - 3.92641174288025*b554 =G= -1.6238266498862;

e664..  - x212 + x284 - 3.92641174288025*b555 =G= -1.6238266498862;

e665..  - x213 + x285 - 3.92641174288025*b556 =G= -1.6238266498862;

e666..  - x214 + x286 - 3.92641174288025*b557 =G= -1.6238266498862;

e667..  - x215 + x287 - 3.92641174288025*b558 =G= -1.6238266498862;

e668..  - x216 + x288 - 3.92641174288025*b559 =G= -1.6238266498862;

e669..  - x218 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e670..  - x219 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e671..  - x220 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e672..  - x221 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e673..  - x222 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e674..  - x223 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e675..  - x224 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e676..  - x225 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e677..  - x226 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e678..  - x227 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e679..  - x228 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e680..  - x230 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e681..  - x231 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e682..  - x232 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e683..  - x233 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e684..  - x234 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e685..  - x235 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e686..  - x236 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e687..  - x237 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e688..  - x238 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e689..  - x239 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e690..  - x240 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e691..  - x242 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e692..  - x243 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e693..  - x244 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e694..  - x245 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e695..  - x246 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e696..  - x247 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e697..  - x248 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e698..  - x249 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e699..  - x250 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e700..  - x251 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e701..  - x252 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e702..  - x13 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e703..  - x14 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e704..  - x15 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e705..  - x16 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e706..  - x17 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e707..  - x18 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e708..  - x19 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e709..  - x20 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e710..  - x21 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e711..  - x22 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e712..  - x23 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e713..  - x25 + x278 - 4.39931813178394*b549 =G= -2.0967330387899;

e714..  - x26 + x279 - 4.39931813178394*b550 =G= -2.0967330387899;

e715..  - x27 + x280 - 4.39931813178394*b551 =G= -2.0967330387899;

e716..  - x28 + x281 - 4.39931813178394*b552 =G= -2.0967330387899;

e717..  - x29 + x282 - 4.39931813178394*b553 =G= -2.0967330387899;

e718..  - x30 + x283 - 4.39931813178394*b554 =G= -2.0967330387899;

e719..  - x31 + x284 - 4.39931813178394*b555 =G= -2.0967330387899;

e720..  - x32 + x285 - 4.39931813178394*b556 =G= -2.0967330387899;

e721..  - x33 + x286 - 4.39931813178394*b557 =G= -2.0967330387899;

e722..  - x34 + x287 - 4.39931813178394*b558 =G= -2.0967330387899;

e723..  - x35 + x288 - 4.39931813178394*b559 =G= -2.0967330387899;

e724..  - x37 + x278 - 4.19022633392538*b549 =G= -1.88764124093134;

e725..  - x38 + x279 - 4.19022633392538*b550 =G= -1.88764124093134;

e726..  - x39 + x280 - 4.19022633392538*b551 =G= -1.88764124093134;

e727..  - x40 + x281 - 4.19022633392538*b552 =G= -1.88764124093134;

e728..  - x41 + x282 - 4.19022633392538*b553 =G= -1.88764124093134;

e729..  - x42 + x283 - 4.19022633392538*b554 =G= -1.88764124093134;

e730..  - x43 + x284 - 4.19022633392538*b555 =G= -1.88764124093134;

e731..  - x44 + x285 - 4.19022633392538*b556 =G= -1.88764124093134;

e732..  - x45 + x286 - 4.19022633392538*b557 =G= -1.88764124093134;

e733..  - x46 + x287 - 4.19022633392538*b558 =G= -1.88764124093134;

e734..  - x47 + x288 - 4.19022633392538*b559 =G= -1.88764124093134;

e735..  - x49 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e736..  - x50 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e737..  - x51 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e738..  - x52 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e739..  - x53 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e740..  - x54 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e741..  - x55 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e742..  - x56 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e743..  - x57 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e744..  - x58 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e745..  - x59 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e746..  - x61 + x278 - 3.81671282562382*b549 =G= -1.51412773262977;

e747..  - x62 + x279 - 3.81671282562382*b550 =G= -1.51412773262977;

e748..  - x63 + x280 - 3.81671282562382*b551 =G= -1.51412773262977;

e749..  - x64 + x281 - 3.81671282562382*b552 =G= -1.51412773262977;

e750..  - x65 + x282 - 3.81671282562382*b553 =G= -1.51412773262977;

e751..  - x66 + x283 - 3.81671282562382*b554 =G= -1.51412773262977;

e752..  - x67 + x284 - 3.81671282562382*b555 =G= -1.51412773262977;

e753..  - x68 + x285 - 3.81671282562382*b556 =G= -1.51412773262977;

e754..  - x69 + x286 - 3.81671282562382*b557 =G= -1.51412773262977;

e755..  - x70 + x287 - 3.81671282562382*b558 =G= -1.51412773262977;

e756..  - x71 + x288 - 3.81671282562382*b559 =G= -1.51412773262977;

e757..  - x73 + x278 - 4.35385575770719*b549 =G= -2.05127066471314;

e758..  - x74 + x279 - 4.35385575770719*b550 =G= -2.05127066471314;

e759..  - x75 + x280 - 4.35385575770719*b551 =G= -2.05127066471314;

e760..  - x76 + x281 - 4.35385575770719*b552 =G= -2.05127066471314;

e761..  - x77 + x282 - 4.35385575770719*b553 =G= -2.05127066471314;

e762..  - x78 + x283 - 4.35385575770719*b554 =G= -2.05127066471314;

e763..  - x79 + x284 - 4.35385575770719*b555 =G= -2.05127066471314;

e764..  - x80 + x285 - 4.35385575770719*b556 =G= -2.05127066471314;

e765..  - x81 + x286 - 4.35385575770719*b557 =G= -2.05127066471314;

e766..  - x82 + x287 - 4.35385575770719*b558 =G= -2.05127066471314;

e767..  - x83 + x288 - 4.35385575770719*b559 =G= -2.05127066471314;

e768..  - x85 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e769..  - x86 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e770..  - x87 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e771..  - x88 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e772..  - x89 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e773..  - x90 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e774..  - x91 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e775..  - x92 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e776..  - x93 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e777..  - x94 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e778..  - x95 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e779..  - x97 + x278 - 3.92641174288025*b549 =G= -1.6238266498862;

e780..  - x98 + x279 - 3.92641174288025*b550 =G= -1.6238266498862;

e781..  - x99 + x280 - 3.92641174288025*b551 =G= -1.6238266498862;

e782..  - x100 + x281 - 3.92641174288025*b552 =G= -1.6238266498862;

e783..  - x101 + x282 - 3.92641174288025*b553 =G= -1.6238266498862;

e784..  - x102 + x283 - 3.92641174288025*b554 =G= -1.6238266498862;

e785..  - x103 + x284 - 3.92641174288025*b555 =G= -1.6238266498862;

e786..  - x104 + x285 - 3.92641174288025*b556 =G= -1.6238266498862;

e787..  - x105 + x286 - 3.92641174288025*b557 =G= -1.6238266498862;

e788..  - x106 + x287 - 3.92641174288025*b558 =G= -1.6238266498862;

e789..  - x107 + x288 - 3.92641174288025*b559 =G= -1.6238266498862;

e790..  - x109 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e791..  - x110 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e792..  - x111 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e793..  - x112 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e794..  - x113 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e795..  - x114 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e796..  - x115 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e797..  - x116 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e798..  - x117 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e799..  - x118 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e800..  - x119 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e801..  - x121 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e802..  - x122 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e803..  - x123 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e804..  - x124 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e805..  - x125 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e806..  - x126 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e807..  - x127 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e808..  - x128 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e809..  - x129 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e810..  - x130 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e811..  - x131 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e812..  - x133 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e813..  - x134 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e814..  - x135 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e815..  - x136 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e816..  - x137 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e817..  - x138 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e818..  - x139 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e819..  - x140 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e820..  - x141 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e821..  - x142 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e822..  - x143 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e823..  - x145 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e824..  - x146 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e825..  - x147 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e826..  - x148 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e827..  - x149 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e828..  - x150 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e829..  - x151 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e830..  - x152 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e831..  - x153 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e832..  - x154 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e833..  - x155 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e834..  - x157 + x278 - 3.81671282562382*b549 =G= -1.51412773262977;

e835..  - x158 + x279 - 3.81671282562382*b550 =G= -1.51412773262977;

e836..  - x159 + x280 - 3.81671282562382*b551 =G= -1.51412773262977;

e837..  - x160 + x281 - 3.81671282562382*b552 =G= -1.51412773262977;

e838..  - x161 + x282 - 3.81671282562382*b553 =G= -1.51412773262977;

e839..  - x162 + x283 - 3.81671282562382*b554 =G= -1.51412773262977;

e840..  - x163 + x284 - 3.81671282562382*b555 =G= -1.51412773262977;

e841..  - x164 + x285 - 3.81671282562382*b556 =G= -1.51412773262977;

e842..  - x165 + x286 - 3.81671282562382*b557 =G= -1.51412773262977;

e843..  - x166 + x287 - 3.81671282562382*b558 =G= -1.51412773262977;

e844..  - x167 + x288 - 3.81671282562382*b559 =G= -1.51412773262977;

e845..  - x169 + x278 - 4.35385575770719*b549 =G= -2.05127066471314;

e846..  - x170 + x279 - 4.35385575770719*b550 =G= -2.05127066471314;

e847..  - x171 + x280 - 4.35385575770719*b551 =G= -2.05127066471314;

e848..  - x172 + x281 - 4.35385575770719*b552 =G= -2.05127066471314;

e849..  - x173 + x282 - 4.35385575770719*b553 =G= -2.05127066471314;

e850..  - x174 + x283 - 4.35385575770719*b554 =G= -2.05127066471314;

e851..  - x175 + x284 - 4.35385575770719*b555 =G= -2.05127066471314;

e852..  - x176 + x285 - 4.35385575770719*b556 =G= -2.05127066471314;

e853..  - x177 + x286 - 4.35385575770719*b557 =G= -2.05127066471314;

e854..  - x178 + x287 - 4.35385575770719*b558 =G= -2.05127066471314;

e855..  - x179 + x288 - 4.35385575770719*b559 =G= -2.05127066471314;

e856..  - x181 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e857..  - x182 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e858..  - x183 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e859..  - x184 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e860..  - x185 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e861..  - x186 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e862..  - x187 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e863..  - x188 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e864..  - x189 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e865..  - x190 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e866..  - x191 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e867..  - x193 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e868..  - x194 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e869..  - x195 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e870..  - x196 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e871..  - x197 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e872..  - x198 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e873..  - x199 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e874..  - x200 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e875..  - x201 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e876..  - x202 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e877..  - x203 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e878..  - x205 + x278 - 3.92641174288025*b549 =G= -1.6238266498862;

e879..  - x206 + x279 - 3.92641174288025*b550 =G= -1.6238266498862;

e880..  - x207 + x280 - 3.92641174288025*b551 =G= -1.6238266498862;

e881..  - x208 + x281 - 3.92641174288025*b552 =G= -1.6238266498862;

e882..  - x209 + x282 - 3.92641174288025*b553 =G= -1.6238266498862;

e883..  - x210 + x283 - 3.92641174288025*b554 =G= -1.6238266498862;

e884..  - x211 + x284 - 3.92641174288025*b555 =G= -1.6238266498862;

e885..  - x212 + x285 - 3.92641174288025*b556 =G= -1.6238266498862;

e886..  - x213 + x286 - 3.92641174288025*b557 =G= -1.6238266498862;

e887..  - x214 + x287 - 3.92641174288025*b558 =G= -1.6238266498862;

e888..  - x215 + x288 - 3.92641174288025*b559 =G= -1.6238266498862;

e889..  - x217 + x278 - 4.20927452889608*b549 =G= -1.90668943590203;

e890..  - x218 + x279 - 4.20927452889608*b550 =G= -1.90668943590203;

e891..  - x219 + x280 - 4.20927452889608*b551 =G= -1.90668943590203;

e892..  - x220 + x281 - 4.20927452889608*b552 =G= -1.90668943590203;

e893..  - x221 + x282 - 4.20927452889608*b553 =G= -1.90668943590203;

e894..  - x222 + x283 - 4.20927452889608*b554 =G= -1.90668943590203;

e895..  - x223 + x284 - 4.20927452889608*b555 =G= -1.90668943590203;

e896..  - x224 + x285 - 4.20927452889608*b556 =G= -1.90668943590203;

e897..  - x225 + x286 - 4.20927452889608*b557 =G= -1.90668943590203;

e898..  - x226 + x287 - 4.20927452889608*b558 =G= -1.90668943590203;

e899..  - x227 + x288 - 4.20927452889608*b559 =G= -1.90668943590203;

e900..  - x229 + x278 - 3.98613097758187*b549 =G= -1.68354588458782;

e901..  - x230 + x279 - 3.98613097758187*b550 =G= -1.68354588458782;

e902..  - x231 + x280 - 3.98613097758187*b551 =G= -1.68354588458782;

e903..  - x232 + x281 - 3.98613097758187*b552 =G= -1.68354588458782;

e904..  - x233 + x282 - 3.98613097758187*b553 =G= -1.68354588458782;

e905..  - x234 + x283 - 3.98613097758187*b554 =G= -1.68354588458782;

e906..  - x235 + x284 - 3.98613097758187*b555 =G= -1.68354588458782;

e907..  - x236 + x285 - 3.98613097758187*b556 =G= -1.68354588458782;

e908..  - x237 + x286 - 3.98613097758187*b557 =G= -1.68354588458782;

e909..  - x238 + x287 - 3.98613097758187*b558 =G= -1.68354588458782;

e910..  - x239 + x288 - 3.98613097758187*b559 =G= -1.68354588458782;

e911..  - x241 + x278 - 4.04964438330419*b549 =G= -1.74705929031015;

e912..  - x242 + x279 - 4.04964438330419*b550 =G= -1.74705929031015;

e913..  - x243 + x280 - 4.04964438330419*b551 =G= -1.74705929031015;

e914..  - x244 + x281 - 4.04964438330419*b552 =G= -1.74705929031015;

e915..  - x245 + x282 - 4.04964438330419*b553 =G= -1.74705929031015;

e916..  - x246 + x283 - 4.04964438330419*b554 =G= -1.74705929031015;

e917..  - x247 + x284 - 4.04964438330419*b555 =G= -1.74705929031015;

e918..  - x248 + x285 - 4.04964438330419*b556 =G= -1.74705929031015;

e919..  - x249 + x286 - 4.04964438330419*b557 =G= -1.74705929031015;

e920..  - x250 + x287 - 4.04964438330419*b558 =G= -1.74705929031015;

e921..  - x251 + x288 - 4.04964438330419*b559 =G= -1.74705929031015;

e922..    x253 + 2.30258509299405*b309 =L= 2.30258509299405;

e923..    x253 + 1.6094379124341*b321 =L= 2.30258509299405;

e924..    x253 + 1.20397280432594*b333 =L= 2.30258509299405;

e925..    x253 + 0.916290731874155*b345 =L= 2.30258509299405;

e926..    x253 + 0.693147180559946*b357 =L= 2.30258509299405;

e927..    x253 + 0.510825623765991*b369 =L= 2.30258509299405;

e928..    x253 + 0.356674943938733*b381 =L= 2.30258509299405;

e929..    x253 + 0.22314355131421*b393 =L= 2.30258509299405;

e930..    x253 + 0.105360515657826*b405 =L= 2.30258509299405;

e931..    x253 =L= 2.30258509299405;

e932..    x254 + 2.30258509299405*b310 =L= 2.30258509299405;

e933..    x254 + 1.6094379124341*b322 =L= 2.30258509299405;

e934..    x254 + 1.20397280432594*b334 =L= 2.30258509299405;

e935..    x254 + 0.916290731874155*b346 =L= 2.30258509299405;

e936..    x254 + 0.693147180559946*b358 =L= 2.30258509299405;

e937..    x254 + 0.510825623765991*b370 =L= 2.30258509299405;

e938..    x254 + 0.356674943938733*b382 =L= 2.30258509299405;

e939..    x254 + 0.22314355131421*b394 =L= 2.30258509299405;

e940..    x254 + 0.105360515657826*b406 =L= 2.30258509299405;

e941..    x254 =L= 2.30258509299405;

e942..    x255 + 2.30258509299405*b311 =L= 2.30258509299405;

e943..    x255 + 1.6094379124341*b323 =L= 2.30258509299405;

e944..    x255 + 1.20397280432594*b335 =L= 2.30258509299405;

e945..    x255 + 0.916290731874155*b347 =L= 2.30258509299405;

e946..    x255 + 0.693147180559946*b359 =L= 2.30258509299405;

e947..    x255 + 0.510825623765991*b371 =L= 2.30258509299405;

e948..    x255 + 0.356674943938733*b383 =L= 2.30258509299405;

e949..    x255 + 0.22314355131421*b395 =L= 2.30258509299405;

e950..    x255 + 0.105360515657826*b407 =L= 2.30258509299405;

e951..    x255 =L= 2.30258509299405;

e952..    x256 + 2.30258509299405*b312 =L= 2.30258509299405;

e953..    x256 + 1.6094379124341*b324 =L= 2.30258509299405;

e954..    x256 + 1.20397280432594*b336 =L= 2.30258509299405;

e955..    x256 + 0.916290731874155*b348 =L= 2.30258509299405;

e956..    x256 + 0.693147180559946*b360 =L= 2.30258509299405;

e957..    x256 + 0.510825623765991*b372 =L= 2.30258509299405;

e958..    x256 + 0.356674943938733*b384 =L= 2.30258509299405;

e959..    x256 + 0.22314355131421*b396 =L= 2.30258509299405;

e960..    x256 + 0.105360515657826*b408 =L= 2.30258509299405;

e961..    x256 =L= 2.30258509299405;

e962..    x257 + 2.30258509299405*b313 =L= 2.30258509299405;

e963..    x257 + 1.6094379124341*b325 =L= 2.30258509299405;

e964..    x257 + 1.20397280432594*b337 =L= 2.30258509299405;

e965..    x257 + 0.916290731874155*b349 =L= 2.30258509299405;

e966..    x257 + 0.693147180559946*b361 =L= 2.30258509299405;

e967..    x257 + 0.510825623765991*b373 =L= 2.30258509299405;

e968..    x257 + 0.356674943938733*b385 =L= 2.30258509299405;

e969..    x257 + 0.22314355131421*b397 =L= 2.30258509299405;

e970..    x257 + 0.105360515657826*b409 =L= 2.30258509299405;

e971..    x257 =L= 2.30258509299405;

e972..    x258 + 2.30258509299405*b314 =L= 2.30258509299405;

e973..    x258 + 1.6094379124341*b326 =L= 2.30258509299405;

e974..    x258 + 1.20397280432594*b338 =L= 2.30258509299405;

e975..    x258 + 0.916290731874155*b350 =L= 2.30258509299405;

e976..    x258 + 0.693147180559946*b362 =L= 2.30258509299405;

e977..    x258 + 0.510825623765991*b374 =L= 2.30258509299405;

e978..    x258 + 0.356674943938733*b386 =L= 2.30258509299405;

e979..    x258 + 0.22314355131421*b398 =L= 2.30258509299405;

e980..    x258 + 0.105360515657826*b410 =L= 2.30258509299405;

e981..    x258 =L= 2.30258509299405;

e982..    x259 + 2.30258509299405*b315 =L= 2.30258509299405;

e983..    x259 + 1.6094379124341*b327 =L= 2.30258509299405;

e984..    x259 + 1.20397280432594*b339 =L= 2.30258509299405;

e985..    x259 + 0.916290731874155*b351 =L= 2.30258509299405;

e986..    x259 + 0.693147180559946*b363 =L= 2.30258509299405;

e987..    x259 + 0.510825623765991*b375 =L= 2.30258509299405;

e988..    x259 + 0.356674943938733*b387 =L= 2.30258509299405;

e989..    x259 + 0.22314355131421*b399 =L= 2.30258509299405;

e990..    x259 + 0.105360515657826*b411 =L= 2.30258509299405;

e991..    x259 =L= 2.30258509299405;

e992..    x260 + 2.30258509299405*b316 =L= 2.30258509299405;

e993..    x260 + 1.6094379124341*b328 =L= 2.30258509299405;

e994..    x260 + 1.20397280432594*b340 =L= 2.30258509299405;

e995..    x260 + 0.916290731874155*b352 =L= 2.30258509299405;

e996..    x260 + 0.693147180559946*b364 =L= 2.30258509299405;

e997..    x260 + 0.510825623765991*b376 =L= 2.30258509299405;

e998..    x260 + 0.356674943938733*b388 =L= 2.30258509299405;

e999..    x260 + 0.22314355131421*b400 =L= 2.30258509299405;

e1000..    x260 + 0.105360515657826*b412 =L= 2.30258509299405;

e1001..    x260 =L= 2.30258509299405;

e1002..    x261 + 2.30258509299405*b317 =L= 2.30258509299405;

e1003..    x261 + 1.6094379124341*b329 =L= 2.30258509299405;

e1004..    x261 + 1.20397280432594*b341 =L= 2.30258509299405;

e1005..    x261 + 0.916290731874155*b353 =L= 2.30258509299405;

e1006..    x261 + 0.693147180559946*b365 =L= 2.30258509299405;

e1007..    x261 + 0.510825623765991*b377 =L= 2.30258509299405;

e1008..    x261 + 0.356674943938733*b389 =L= 2.30258509299405;

e1009..    x261 + 0.22314355131421*b401 =L= 2.30258509299405;

e1010..    x261 + 0.105360515657826*b413 =L= 2.30258509299405;

e1011..    x261 =L= 2.30258509299405;

e1012..    x262 + 2.30258509299405*b318 =L= 2.30258509299405;

e1013..    x262 + 1.6094379124341*b330 =L= 2.30258509299405;

e1014..    x262 + 1.20397280432594*b342 =L= 2.30258509299405;

e1015..    x262 + 0.916290731874155*b354 =L= 2.30258509299405;

e1016..    x262 + 0.693147180559946*b366 =L= 2.30258509299405;

e1017..    x262 + 0.510825623765991*b378 =L= 2.30258509299405;

e1018..    x262 + 0.356674943938733*b390 =L= 2.30258509299405;

e1019..    x262 + 0.22314355131421*b402 =L= 2.30258509299405;

e1020..    x262 + 0.105360515657826*b414 =L= 2.30258509299405;

e1021..    x262 =L= 2.30258509299405;

e1022..    x263 + 2.30258509299405*b319 =L= 2.30258509299405;

e1023..    x263 + 1.6094379124341*b331 =L= 2.30258509299405;

e1024..    x263 + 1.20397280432594*b343 =L= 2.30258509299405;

e1025..    x263 + 0.916290731874155*b355 =L= 2.30258509299405;

e1026..    x263 + 0.693147180559946*b367 =L= 2.30258509299405;

e1027..    x263 + 0.510825623765991*b379 =L= 2.30258509299405;

e1028..    x263 + 0.356674943938733*b391 =L= 2.30258509299405;

e1029..    x263 + 0.22314355131421*b403 =L= 2.30258509299405;

e1030..    x263 + 0.105360515657826*b415 =L= 2.30258509299405;

e1031..    x263 =L= 2.30258509299405;

e1032..    x264 + 2.30258509299405*b320 =L= 2.30258509299405;

e1033..    x264 + 1.6094379124341*b332 =L= 2.30258509299405;

e1034..    x264 + 1.20397280432594*b344 =L= 2.30258509299405;

e1035..    x264 + 0.916290731874155*b356 =L= 2.30258509299405;

e1036..    x264 + 0.693147180559946*b368 =L= 2.30258509299405;

e1037..    x264 + 0.510825623765991*b380 =L= 2.30258509299405;

e1038..    x264 + 0.356674943938733*b392 =L= 2.30258509299405;

e1039..    x264 + 0.22314355131421*b404 =L= 2.30258509299405;

e1040..    x264 + 0.105360515657826*b416 =L= 2.30258509299405;

e1041..    x264 =L= 2.30258509299405;

e1042..    x253 =G= 0;

e1043..    x253 - 0.693147180559945*b321 =G= 0;

e1044..    x253 - 1.09861228866811*b333 =G= 0;

e1045..    x253 - 1.38629436111989*b345 =G= 0;

e1046..    x253 - 1.6094379124341*b357 =G= 0;

e1047..    x253 - 1.79175946922805*b369 =G= 0;

e1048..    x253 - 1.94591014905531*b381 =G= 0;

e1049..    x253 - 2.07944154167984*b393 =G= 0;

e1050..    x253 - 2.19722457733622*b405 =G= 0;

e1051..    x253 - 2.30258509299405*b417 =G= 0;

e1052..    x254 =G= 0;

e1053..    x254 - 0.693147180559945*b322 =G= 0;

e1054..    x254 - 1.09861228866811*b334 =G= 0;

e1055..    x254 - 1.38629436111989*b346 =G= 0;

e1056..    x254 - 1.6094379124341*b358 =G= 0;

e1057..    x254 - 1.79175946922805*b370 =G= 0;

e1058..    x254 - 1.94591014905531*b382 =G= 0;

e1059..    x254 - 2.07944154167984*b394 =G= 0;

e1060..    x254 - 2.19722457733622*b406 =G= 0;

e1061..    x254 - 2.30258509299405*b418 =G= 0;

e1062..    x255 =G= 0;

e1063..    x255 - 0.693147180559945*b323 =G= 0;

e1064..    x255 - 1.09861228866811*b335 =G= 0;

e1065..    x255 - 1.38629436111989*b347 =G= 0;

e1066..    x255 - 1.6094379124341*b359 =G= 0;

e1067..    x255 - 1.79175946922805*b371 =G= 0;

e1068..    x255 - 1.94591014905531*b383 =G= 0;

e1069..    x255 - 2.07944154167984*b395 =G= 0;

e1070..    x255 - 2.19722457733622*b407 =G= 0;

e1071..    x255 - 2.30258509299405*b419 =G= 0;

e1072..    x256 =G= 0;

e1073..    x256 - 0.693147180559945*b324 =G= 0;

e1074..    x256 - 1.09861228866811*b336 =G= 0;

e1075..    x256 - 1.38629436111989*b348 =G= 0;

e1076..    x256 - 1.6094379124341*b360 =G= 0;

e1077..    x256 - 1.79175946922805*b372 =G= 0;

e1078..    x256 - 1.94591014905531*b384 =G= 0;

e1079..    x256 - 2.07944154167984*b396 =G= 0;

e1080..    x256 - 2.19722457733622*b408 =G= 0;

e1081..    x256 - 2.30258509299405*b420 =G= 0;

e1082..    x257 =G= 0;

e1083..    x257 - 0.693147180559945*b325 =G= 0;

e1084..    x257 - 1.09861228866811*b337 =G= 0;

e1085..    x257 - 1.38629436111989*b349 =G= 0;

e1086..    x257 - 1.6094379124341*b361 =G= 0;

e1087..    x257 - 1.79175946922805*b373 =G= 0;

e1088..    x257 - 1.94591014905531*b385 =G= 0;

e1089..    x257 - 2.07944154167984*b397 =G= 0;

e1090..    x257 - 2.19722457733622*b409 =G= 0;

e1091..    x257 - 2.30258509299405*b421 =G= 0;

e1092..    x258 =G= 0;

e1093..    x258 - 0.693147180559945*b326 =G= 0;

e1094..    x258 - 1.09861228866811*b338 =G= 0;

e1095..    x258 - 1.38629436111989*b350 =G= 0;

e1096..    x258 - 1.6094379124341*b362 =G= 0;

e1097..    x258 - 1.79175946922805*b374 =G= 0;

e1098..    x258 - 1.94591014905531*b386 =G= 0;

e1099..    x258 - 2.07944154167984*b398 =G= 0;

e1100..    x258 - 2.19722457733622*b410 =G= 0;

e1101..    x258 - 2.30258509299405*b422 =G= 0;

e1102..    x259 =G= 0;

e1103..    x259 - 0.693147180559945*b327 =G= 0;

e1104..    x259 - 1.09861228866811*b339 =G= 0;

e1105..    x259 - 1.38629436111989*b351 =G= 0;

e1106..    x259 - 1.6094379124341*b363 =G= 0;

e1107..    x259 - 1.79175946922805*b375 =G= 0;

e1108..    x259 - 1.94591014905531*b387 =G= 0;

e1109..    x259 - 2.07944154167984*b399 =G= 0;

e1110..    x259 - 2.19722457733622*b411 =G= 0;

e1111..    x259 - 2.30258509299405*b423 =G= 0;

e1112..    x260 =G= 0;

e1113..    x260 - 0.693147180559945*b328 =G= 0;

e1114..    x260 - 1.09861228866811*b340 =G= 0;

e1115..    x260 - 1.38629436111989*b352 =G= 0;

e1116..    x260 - 1.6094379124341*b364 =G= 0;

e1117..    x260 - 1.79175946922805*b376 =G= 0;

e1118..    x260 - 1.94591014905531*b388 =G= 0;

e1119..    x260 - 2.07944154167984*b400 =G= 0;

e1120..    x260 - 2.19722457733622*b412 =G= 0;

e1121..    x260 - 2.30258509299405*b424 =G= 0;

e1122..    x261 =G= 0;

e1123..    x261 - 0.693147180559945*b329 =G= 0;

e1124..    x261 - 1.09861228866811*b341 =G= 0;

e1125..    x261 - 1.38629436111989*b353 =G= 0;

e1126..    x261 - 1.6094379124341*b365 =G= 0;

e1127..    x261 - 1.79175946922805*b377 =G= 0;

e1128..    x261 - 1.94591014905531*b389 =G= 0;

e1129..    x261 - 2.07944154167984*b401 =G= 0;

e1130..    x261 - 2.19722457733622*b413 =G= 0;

e1131..    x261 - 2.30258509299405*b425 =G= 0;

e1132..    x262 =G= 0;

e1133..    x262 - 0.693147180559945*b330 =G= 0;

e1134..    x262 - 1.09861228866811*b342 =G= 0;

e1135..    x262 - 1.38629436111989*b354 =G= 0;

e1136..    x262 - 1.6094379124341*b366 =G= 0;

e1137..    x262 - 1.79175946922805*b378 =G= 0;

e1138..    x262 - 1.94591014905531*b390 =G= 0;

e1139..    x262 - 2.07944154167984*b402 =G= 0;

e1140..    x262 - 2.19722457733622*b414 =G= 0;

e1141..    x262 - 2.30258509299405*b426 =G= 0;

e1142..    x263 =G= 0;

e1143..    x263 - 0.693147180559945*b331 =G= 0;

e1144..    x263 - 1.09861228866811*b343 =G= 0;

e1145..    x263 - 1.38629436111989*b355 =G= 0;

e1146..    x263 - 1.6094379124341*b367 =G= 0;

e1147..    x263 - 1.79175946922805*b379 =G= 0;

e1148..    x263 - 1.94591014905531*b391 =G= 0;

e1149..    x263 - 2.07944154167984*b403 =G= 0;

e1150..    x263 - 2.19722457733622*b415 =G= 0;

e1151..    x263 - 2.30258509299405*b427 =G= 0;

e1152..    x264 =G= 0;

e1153..    x264 - 0.693147180559945*b332 =G= 0;

e1154..    x264 - 1.09861228866811*b344 =G= 0;

e1155..    x264 - 1.38629436111989*b356 =G= 0;

e1156..    x264 - 1.6094379124341*b368 =G= 0;

e1157..    x264 - 1.79175946922805*b380 =G= 0;

e1158..    x264 - 1.94591014905531*b392 =G= 0;

e1159..    x264 - 2.07944154167984*b404 =G= 0;

e1160..    x264 - 2.19722457733622*b416 =G= 0;

e1161..    x264 - 2.30258509299405*b428 =G= 0;

e1162..    x265 + 2.30258509299405*b429 =L= 2.30258509299405;

e1163..    x265 + 1.6094379124341*b441 =L= 2.30258509299405;

e1164..    x265 + 1.20397280432594*b453 =L= 2.30258509299405;

e1165..    x265 + 0.916290731874155*b465 =L= 2.30258509299405;

e1166..    x265 + 0.693147180559946*b477 =L= 2.30258509299405;

e1167..    x265 + 0.510825623765991*b489 =L= 2.30258509299405;

e1168..    x265 + 0.356674943938733*b501 =L= 2.30258509299405;

e1169..    x265 + 0.22314355131421*b513 =L= 2.30258509299405;

e1170..    x265 + 0.105360515657826*b525 =L= 2.30258509299405;

e1171..    x265 =L= 2.30258509299405;

e1172..    x266 + 2.30258509299405*b430 =L= 2.30258509299405;

e1173..    x266 + 1.6094379124341*b442 =L= 2.30258509299405;

e1174..    x266 + 1.20397280432594*b454 =L= 2.30258509299405;

e1175..    x266 + 0.916290731874155*b466 =L= 2.30258509299405;

e1176..    x266 + 0.693147180559946*b478 =L= 2.30258509299405;

e1177..    x266 + 0.510825623765991*b490 =L= 2.30258509299405;

e1178..    x266 + 0.356674943938733*b502 =L= 2.30258509299405;

e1179..    x266 + 0.22314355131421*b514 =L= 2.30258509299405;

e1180..    x266 + 0.105360515657826*b526 =L= 2.30258509299405;

e1181..    x266 =L= 2.30258509299405;

e1182..    x267 + 2.30258509299405*b431 =L= 2.30258509299405;

e1183..    x267 + 1.6094379124341*b443 =L= 2.30258509299405;

e1184..    x267 + 1.20397280432594*b455 =L= 2.30258509299405;

e1185..    x267 + 0.916290731874155*b467 =L= 2.30258509299405;

e1186..    x267 + 0.693147180559946*b479 =L= 2.30258509299405;

e1187..    x267 + 0.510825623765991*b491 =L= 2.30258509299405;

e1188..    x267 + 0.356674943938733*b503 =L= 2.30258509299405;

e1189..    x267 + 0.22314355131421*b515 =L= 2.30258509299405;

e1190..    x267 + 0.105360515657826*b527 =L= 2.30258509299405;

e1191..    x267 =L= 2.30258509299405;

e1192..    x268 + 2.30258509299405*b432 =L= 2.30258509299405;

e1193..    x268 + 1.6094379124341*b444 =L= 2.30258509299405;

e1194..    x268 + 1.20397280432594*b456 =L= 2.30258509299405;

e1195..    x268 + 0.916290731874155*b468 =L= 2.30258509299405;

e1196..    x268 + 0.693147180559946*b480 =L= 2.30258509299405;

e1197..    x268 + 0.510825623765991*b492 =L= 2.30258509299405;

e1198..    x268 + 0.356674943938733*b504 =L= 2.30258509299405;

e1199..    x268 + 0.22314355131421*b516 =L= 2.30258509299405;

e1200..    x268 + 0.105360515657826*b528 =L= 2.30258509299405;

e1201..    x268 =L= 2.30258509299405;

e1202..    x269 + 2.30258509299405*b433 =L= 2.30258509299405;

e1203..    x269 + 1.6094379124341*b445 =L= 2.30258509299405;

e1204..    x269 + 1.20397280432594*b457 =L= 2.30258509299405;

e1205..    x269 + 0.916290731874155*b469 =L= 2.30258509299405;

e1206..    x269 + 0.693147180559946*b481 =L= 2.30258509299405;

e1207..    x269 + 0.510825623765991*b493 =L= 2.30258509299405;

e1208..    x269 + 0.356674943938733*b505 =L= 2.30258509299405;

e1209..    x269 + 0.22314355131421*b517 =L= 2.30258509299405;

e1210..    x269 + 0.105360515657826*b529 =L= 2.30258509299405;

e1211..    x269 =L= 2.30258509299405;

e1212..    x270 + 2.30258509299405*b434 =L= 2.30258509299405;

e1213..    x270 + 1.6094379124341*b446 =L= 2.30258509299405;

e1214..    x270 + 1.20397280432594*b458 =L= 2.30258509299405;

e1215..    x270 + 0.916290731874155*b470 =L= 2.30258509299405;

e1216..    x270 + 0.693147180559946*b482 =L= 2.30258509299405;

e1217..    x270 + 0.510825623765991*b494 =L= 2.30258509299405;

e1218..    x270 + 0.356674943938733*b506 =L= 2.30258509299405;

e1219..    x270 + 0.22314355131421*b518 =L= 2.30258509299405;

e1220..    x270 + 0.105360515657826*b530 =L= 2.30258509299405;

e1221..    x270 =L= 2.30258509299405;

e1222..    x271 + 2.30258509299405*b435 =L= 2.30258509299405;

e1223..    x271 + 1.6094379124341*b447 =L= 2.30258509299405;

e1224..    x271 + 1.20397280432594*b459 =L= 2.30258509299405;

e1225..    x271 + 0.916290731874155*b471 =L= 2.30258509299405;

e1226..    x271 + 0.693147180559946*b483 =L= 2.30258509299405;

e1227..    x271 + 0.510825623765991*b495 =L= 2.30258509299405;

e1228..    x271 + 0.356674943938733*b507 =L= 2.30258509299405;

e1229..    x271 + 0.22314355131421*b519 =L= 2.30258509299405;

e1230..    x271 + 0.105360515657826*b531 =L= 2.30258509299405;

e1231..    x271 =L= 2.30258509299405;

e1232..    x272 + 2.30258509299405*b436 =L= 2.30258509299405;

e1233..    x272 + 1.6094379124341*b448 =L= 2.30258509299405;

e1234..    x272 + 1.20397280432594*b460 =L= 2.30258509299405;

e1235..    x272 + 0.916290731874155*b472 =L= 2.30258509299405;

e1236..    x272 + 0.693147180559946*b484 =L= 2.30258509299405;

e1237..    x272 + 0.510825623765991*b496 =L= 2.30258509299405;

e1238..    x272 + 0.356674943938733*b508 =L= 2.30258509299405;

e1239..    x272 + 0.22314355131421*b520 =L= 2.30258509299405;

e1240..    x272 + 0.105360515657826*b532 =L= 2.30258509299405;

e1241..    x272 =L= 2.30258509299405;

e1242..    x273 + 2.30258509299405*b437 =L= 2.30258509299405;

e1243..    x273 + 1.6094379124341*b449 =L= 2.30258509299405;

e1244..    x273 + 1.20397280432594*b461 =L= 2.30258509299405;

e1245..    x273 + 0.916290731874155*b473 =L= 2.30258509299405;

e1246..    x273 + 0.693147180559946*b485 =L= 2.30258509299405;

e1247..    x273 + 0.510825623765991*b497 =L= 2.30258509299405;

e1248..    x273 + 0.356674943938733*b509 =L= 2.30258509299405;

e1249..    x273 + 0.22314355131421*b521 =L= 2.30258509299405;

e1250..    x273 + 0.105360515657826*b533 =L= 2.30258509299405;

e1251..    x273 =L= 2.30258509299405;

e1252..    x274 + 2.30258509299405*b438 =L= 2.30258509299405;

e1253..    x274 + 1.6094379124341*b450 =L= 2.30258509299405;

e1254..    x274 + 1.20397280432594*b462 =L= 2.30258509299405;

e1255..    x274 + 0.916290731874155*b474 =L= 2.30258509299405;

e1256..    x274 + 0.693147180559946*b486 =L= 2.30258509299405;

e1257..    x274 + 0.510825623765991*b498 =L= 2.30258509299405;

e1258..    x274 + 0.356674943938733*b510 =L= 2.30258509299405;

e1259..    x274 + 0.22314355131421*b522 =L= 2.30258509299405;

e1260..    x274 + 0.105360515657826*b534 =L= 2.30258509299405;

e1261..    x274 =L= 2.30258509299405;

e1262..    x275 + 2.30258509299405*b439 =L= 2.30258509299405;

e1263..    x275 + 1.6094379124341*b451 =L= 2.30258509299405;

e1264..    x275 + 1.20397280432594*b463 =L= 2.30258509299405;

e1265..    x275 + 0.916290731874155*b475 =L= 2.30258509299405;

e1266..    x275 + 0.693147180559946*b487 =L= 2.30258509299405;

e1267..    x275 + 0.510825623765991*b499 =L= 2.30258509299405;

e1268..    x275 + 0.356674943938733*b511 =L= 2.30258509299405;

e1269..    x275 + 0.22314355131421*b523 =L= 2.30258509299405;

e1270..    x275 + 0.105360515657826*b535 =L= 2.30258509299405;

e1271..    x275 =L= 2.30258509299405;

e1272..    x276 + 2.30258509299405*b440 =L= 2.30258509299405;

e1273..    x276 + 1.6094379124341*b452 =L= 2.30258509299405;

e1274..    x276 + 1.20397280432594*b464 =L= 2.30258509299405;

e1275..    x276 + 0.916290731874155*b476 =L= 2.30258509299405;

e1276..    x276 + 0.693147180559946*b488 =L= 2.30258509299405;

e1277..    x276 + 0.510825623765991*b500 =L= 2.30258509299405;

e1278..    x276 + 0.356674943938733*b512 =L= 2.30258509299405;

e1279..    x276 + 0.22314355131421*b524 =L= 2.30258509299405;

e1280..    x276 + 0.105360515657826*b536 =L= 2.30258509299405;

e1281..    x276 =L= 2.30258509299405;

e1282..    x265 =G= 0;

e1283..    x265 - 0.693147180559945*b441 =G= 0;

e1284..    x265 - 1.09861228866811*b453 =G= 0;

e1285..    x265 - 1.38629436111989*b465 =G= 0;

e1286..    x265 - 1.6094379124341*b477 =G= 0;

e1287..    x265 - 1.79175946922805*b489 =G= 0;

e1288..    x265 - 1.94591014905531*b501 =G= 0;

e1289..    x265 - 2.07944154167984*b513 =G= 0;

e1290..    x265 - 2.19722457733622*b525 =G= 0;

e1291..    x265 - 2.30258509299405*b537 =G= 0;

e1292..    x266 =G= 0;

e1293..    x266 - 0.693147180559945*b442 =G= 0;

e1294..    x266 - 1.09861228866811*b454 =G= 0;

e1295..    x266 - 1.38629436111989*b466 =G= 0;

e1296..    x266 - 1.6094379124341*b478 =G= 0;

e1297..    x266 - 1.79175946922805*b490 =G= 0;

e1298..    x266 - 1.94591014905531*b502 =G= 0;

e1299..    x266 - 2.07944154167984*b514 =G= 0;

e1300..    x266 - 2.19722457733622*b526 =G= 0;

e1301..    x266 - 2.30258509299405*b538 =G= 0;

e1302..    x267 =G= 0;

e1303..    x267 - 0.693147180559945*b443 =G= 0;

e1304..    x267 - 1.09861228866811*b455 =G= 0;

e1305..    x267 - 1.38629436111989*b467 =G= 0;

e1306..    x267 - 1.6094379124341*b479 =G= 0;

e1307..    x267 - 1.79175946922805*b491 =G= 0;

e1308..    x267 - 1.94591014905531*b503 =G= 0;

e1309..    x267 - 2.07944154167984*b515 =G= 0;

e1310..    x267 - 2.19722457733622*b527 =G= 0;

e1311..    x267 - 2.30258509299405*b539 =G= 0;

e1312..    x268 =G= 0;

e1313..    x268 - 0.693147180559945*b444 =G= 0;

e1314..    x268 - 1.09861228866811*b456 =G= 0;

e1315..    x268 - 1.38629436111989*b468 =G= 0;

e1316..    x268 - 1.6094379124341*b480 =G= 0;

e1317..    x268 - 1.79175946922805*b492 =G= 0;

e1318..    x268 - 1.94591014905531*b504 =G= 0;

e1319..    x268 - 2.07944154167984*b516 =G= 0;

e1320..    x268 - 2.19722457733622*b528 =G= 0;

e1321..    x268 - 2.30258509299405*b540 =G= 0;

e1322..    x269 =G= 0;

e1323..    x269 - 0.693147180559945*b445 =G= 0;

e1324..    x269 - 1.09861228866811*b457 =G= 0;

e1325..    x269 - 1.38629436111989*b469 =G= 0;

e1326..    x269 - 1.6094379124341*b481 =G= 0;

e1327..    x269 - 1.79175946922805*b493 =G= 0;

e1328..    x269 - 1.94591014905531*b505 =G= 0;

e1329..    x269 - 2.07944154167984*b517 =G= 0;

e1330..    x269 - 2.19722457733622*b529 =G= 0;

e1331..    x269 - 2.30258509299405*b541 =G= 0;

e1332..    x270 =G= 0;

e1333..    x270 - 0.693147180559945*b446 =G= 0;

e1334..    x270 - 1.09861228866811*b458 =G= 0;

e1335..    x270 - 1.38629436111989*b470 =G= 0;

e1336..    x270 - 1.6094379124341*b482 =G= 0;

e1337..    x270 - 1.79175946922805*b494 =G= 0;

e1338..    x270 - 1.94591014905531*b506 =G= 0;

e1339..    x270 - 2.07944154167984*b518 =G= 0;

e1340..    x270 - 2.19722457733622*b530 =G= 0;

e1341..    x270 - 2.30258509299405*b542 =G= 0;

e1342..    x271 =G= 0;

e1343..    x271 - 0.693147180559945*b447 =G= 0;

e1344..    x271 - 1.09861228866811*b459 =G= 0;

e1345..    x271 - 1.38629436111989*b471 =G= 0;

e1346..    x271 - 1.6094379124341*b483 =G= 0;

e1347..    x271 - 1.79175946922805*b495 =G= 0;

e1348..    x271 - 1.94591014905531*b507 =G= 0;

e1349..    x271 - 2.07944154167984*b519 =G= 0;

e1350..    x271 - 2.19722457733622*b531 =G= 0;

e1351..    x271 - 2.30258509299405*b543 =G= 0;

e1352..    x272 =G= 0;

e1353..    x272 - 0.693147180559945*b448 =G= 0;

e1354..    x272 - 1.09861228866811*b460 =G= 0;

e1355..    x272 - 1.38629436111989*b472 =G= 0;

e1356..    x272 - 1.6094379124341*b484 =G= 0;

e1357..    x272 - 1.79175946922805*b496 =G= 0;

e1358..    x272 - 1.94591014905531*b508 =G= 0;

e1359..    x272 - 2.07944154167984*b520 =G= 0;

e1360..    x272 - 2.19722457733622*b532 =G= 0;

e1361..    x272 - 2.30258509299405*b544 =G= 0;

e1362..    x273 =G= 0;

e1363..    x273 - 0.693147180559945*b449 =G= 0;

e1364..    x273 - 1.09861228866811*b461 =G= 0;

e1365..    x273 - 1.38629436111989*b473 =G= 0;

e1366..    x273 - 1.6094379124341*b485 =G= 0;

e1367..    x273 - 1.79175946922805*b497 =G= 0;

e1368..    x273 - 1.94591014905531*b509 =G= 0;

e1369..    x273 - 2.07944154167984*b521 =G= 0;

e1370..    x273 - 2.19722457733622*b533 =G= 0;

e1371..    x273 - 2.30258509299405*b545 =G= 0;

e1372..    x274 =G= 0;

e1373..    x274 - 0.693147180559945*b450 =G= 0;

e1374..    x274 - 1.09861228866811*b462 =G= 0;

e1375..    x274 - 1.38629436111989*b474 =G= 0;

e1376..    x274 - 1.6094379124341*b486 =G= 0;

e1377..    x274 - 1.79175946922805*b498 =G= 0;

e1378..    x274 - 1.94591014905531*b510 =G= 0;

e1379..    x274 - 2.07944154167984*b522 =G= 0;

e1380..    x274 - 2.19722457733622*b534 =G= 0;

e1381..    x274 - 2.30258509299405*b546 =G= 0;

e1382..    x275 =G= 0;

e1383..    x275 - 0.693147180559945*b451 =G= 0;

e1384..    x275 - 1.09861228866811*b463 =G= 0;

e1385..    x275 - 1.38629436111989*b475 =G= 0;

e1386..    x275 - 1.6094379124341*b487 =G= 0;

e1387..    x275 - 1.79175946922805*b499 =G= 0;

e1388..    x275 - 1.94591014905531*b511 =G= 0;

e1389..    x275 - 2.07944154167984*b523 =G= 0;

e1390..    x275 - 2.19722457733622*b535 =G= 0;

e1391..    x275 - 2.30258509299405*b547 =G= 0;

e1392..    x276 =G= 0;

e1393..    x276 - 0.693147180559945*b452 =G= 0;

e1394..    x276 - 1.09861228866811*b464 =G= 0;

e1395..    x276 - 1.38629436111989*b476 =G= 0;

e1396..    x276 - 1.6094379124341*b488 =G= 0;

e1397..    x276 - 1.79175946922805*b500 =G= 0;

e1398..    x276 - 1.94591014905531*b512 =G= 0;

e1399..    x276 - 2.07944154167984*b524 =G= 0;

e1400..    x276 - 2.19722457733622*b536 =G= 0;

e1401..    x276 - 2.30258509299405*b548 =G= 0;

e1402..    b309 + b321 + b333 + b345 + b357 + b369 + b381 + b393 + b405 + b417
         =E= 1;

e1403..    b310 + b322 + b334 + b346 + b358 + b370 + b382 + b394 + b406 + b418
         =E= 1;

e1404..    b311 + b323 + b335 + b347 + b359 + b371 + b383 + b395 + b407 + b419
         =E= 1;

e1405..    b312 + b324 + b336 + b348 + b360 + b372 + b384 + b396 + b408 + b420
         =E= 1;

e1406..    b313 + b325 + b337 + b349 + b361 + b373 + b385 + b397 + b409 + b421
         =E= 1;

e1407..    b314 + b326 + b338 + b350 + b362 + b374 + b386 + b398 + b410 + b422
         =E= 1;

e1408..    b315 + b327 + b339 + b351 + b363 + b375 + b387 + b399 + b411 + b423
         =E= 1;

e1409..    b316 + b328 + b340 + b352 + b364 + b376 + b388 + b400 + b412 + b424
         =E= 1;

e1410..    b317 + b329 + b341 + b353 + b365 + b377 + b389 + b401 + b413 + b425
         =E= 1;

e1411..    b318 + b330 + b342 + b354 + b366 + b378 + b390 + b402 + b414 + b426
         =E= 1;

e1412..    b319 + b331 + b343 + b355 + b367 + b379 + b391 + b403 + b415 + b427
         =E= 1;

e1413..    b320 + b332 + b344 + b356 + b368 + b380 + b392 + b404 + b416 + b428
         =E= 1;

e1414..    b429 + b441 + b453 + b465 + b477 + b489 + b501 + b513 + b525 + b537
         =E= 1;

e1415..    b430 + b442 + b454 + b466 + b478 + b490 + b502 + b514 + b526 + b538
         =E= 1;

e1416..    b431 + b443 + b455 + b467 + b479 + b491 + b503 + b515 + b527 + b539
         =E= 1;

e1417..    b432 + b444 + b456 + b468 + b480 + b492 + b504 + b516 + b528 + b540
         =E= 1;

e1418..    b433 + b445 + b457 + b469 + b481 + b493 + b505 + b517 + b529 + b541
         =E= 1;

e1419..    b434 + b446 + b458 + b470 + b482 + b494 + b506 + b518 + b530 + b542
         =E= 1;

e1420..    b435 + b447 + b459 + b471 + b483 + b495 + b507 + b519 + b531 + b543
         =E= 1;

e1421..    b436 + b448 + b460 + b472 + b484 + b496 + b508 + b520 + b532 + b544
         =E= 1;

e1422..    b437 + b449 + b461 + b473 + b485 + b497 + b509 + b521 + b533 + b545
         =E= 1;

e1423..    b438 + b450 + b462 + b474 + b486 + b498 + b510 + b522 + b534 + b546
         =E= 1;

e1424..    b439 + b451 + b463 + b475 + b487 + b499 + b511 + b523 + b535 + b547
         =E= 1;

e1425..    b440 + b452 + b464 + b476 + b488 + b500 + b512 + b524 + b536 + b548
         =E= 1;

e1426..    x13 - x14 + 1.64044955525189*b549 =L= 2.73906184392;

e1427..    x14 - x15 + 1.64044955525189*b550 =L= 2.73906184392;

e1428..    x15 - x16 + 1.64044955525189*b551 =L= 2.73906184392;

e1429..    x16 - x17 + 1.64044955525189*b552 =L= 2.73906184392;

e1430..    x17 - x18 + 1.64044955525189*b553 =L= 2.73906184392;

e1431..    x18 - x19 + 1.64044955525189*b554 =L= 2.73906184392;

e1432..    x19 - x20 + 1.64044955525189*b555 =L= 2.73906184392;

e1433..    x20 - x21 + 1.64044955525189*b556 =L= 2.73906184392;

e1434..    x21 - x22 + 1.64044955525189*b557 =L= 2.73906184392;

e1435..    x22 - x23 + 1.64044955525189*b558 =L= 2.73906184392;

e1436..    x23 - x24 + 1.64044955525189*b559 =L= 2.73906184392;

e1437..    x25 - x26 + 2.7848926778388*b549 =L= 3.88350496650691;

e1438..    x26 - x27 + 2.7848926778388*b550 =L= 3.88350496650691;

e1439..    x27 - x28 + 2.7848926778388*b551 =L= 3.88350496650691;

e1440..    x28 - x29 + 2.7848926778388*b552 =L= 3.88350496650691;

e1441..    x29 - x30 + 2.7848926778388*b553 =L= 3.88350496650691;

e1442..    x30 - x31 + 2.7848926778388*b554 =L= 3.88350496650691;

e1443..    x31 - x32 + 2.7848926778388*b555 =L= 3.88350496650691;

e1444..    x32 - x33 + 2.7848926778388*b556 =L= 3.88350496650691;

e1445..    x33 - x34 + 2.7848926778388*b557 =L= 3.88350496650691;

e1446..    x34 - x35 + 2.7848926778388*b558 =L= 3.88350496650691;

e1447..    x35 - x36 + 2.7848926778388*b559 =L= 3.88350496650691;

e1448..    x37 - x38 + 2.45503721618572*b549 =L= 3.55364950485383;

e1449..    x38 - x39 + 2.45503721618572*b550 =L= 3.55364950485383;

e1450..    x39 - x40 + 2.45503721618572*b551 =L= 3.55364950485383;

e1451..    x40 - x41 + 2.45503721618572*b552 =L= 3.55364950485383;

e1452..    x41 - x42 + 2.45503721618572*b553 =L= 3.55364950485383;

e1453..    x42 - x43 + 2.45503721618572*b554 =L= 3.55364950485383;

e1454..    x43 - x44 + 2.45503721618572*b555 =L= 3.55364950485383;

e1455..    x44 - x45 + 2.45503721618572*b556 =L= 3.55364950485383;

e1456..    x45 - x46 + 2.45503721618572*b557 =L= 3.55364950485383;

e1457..    x46 - x47 + 2.45503721618572*b558 =L= 3.55364950485383;

e1458..    x47 - x48 + 2.45503721618572*b559 =L= 3.55364950485383;

e1459..    x49 - x50 + 2.38472523684503*b549 =L= 3.48333752551314;

e1460..    x50 - x51 + 2.38472523684503*b550 =L= 3.48333752551314;

e1461..    x51 - x52 + 2.38472523684503*b551 =L= 3.48333752551314;

e1462..    x52 - x53 + 2.38472523684503*b552 =L= 3.48333752551314;

e1463..    x53 - x54 + 2.38472523684503*b553 =L= 3.48333752551314;

e1464..    x54 - x55 + 2.38472523684503*b554 =L= 3.48333752551314;

e1465..    x55 - x56 + 2.38472523684503*b555 =L= 3.48333752551314;

e1466..    x56 - x57 + 2.38472523684503*b556 =L= 3.48333752551314;

e1467..    x57 - x58 + 2.38472523684503*b557 =L= 3.48333752551314;

e1468..    x58 - x59 + 2.38472523684503*b558 =L= 3.48333752551314;

e1469..    x59 - x60 + 2.38472523684503*b559 =L= 3.48333752551314;

e1470..    x61 - x62 + 2.44046880035743*b549 =L= 3.53908108902554;

e1471..    x62 - x63 + 2.44046880035743*b550 =L= 3.53908108902554;

e1472..    x63 - x64 + 2.44046880035743*b551 =L= 3.53908108902554;

e1473..    x64 - x65 + 2.44046880035743*b552 =L= 3.53908108902554;

e1474..    x65 - x66 + 2.44046880035743*b553 =L= 3.53908108902554;

e1475..    x66 - x67 + 2.44046880035743*b554 =L= 3.53908108902554;

e1476..    x67 - x68 + 2.44046880035743*b555 =L= 3.53908108902554;

e1477..    x68 - x69 + 2.44046880035743*b556 =L= 3.53908108902554;

e1478..    x69 - x70 + 2.44046880035743*b557 =L= 3.53908108902554;

e1479..    x70 - x71 + 2.44046880035743*b558 =L= 3.53908108902554;

e1480..    x71 - x72 + 2.44046880035743*b559 =L= 3.53908108902554;

e1481..    x73 - x74 + 3.25858237030459*b549 =L= 4.3571946589727;

e1482..    x74 - x75 + 3.25858237030459*b550 =L= 4.3571946589727;

e1483..    x75 - x76 + 3.25858237030459*b551 =L= 4.3571946589727;

e1484..    x76 - x77 + 3.25858237030459*b552 =L= 4.3571946589727;

e1485..    x77 - x78 + 3.25858237030459*b553 =L= 4.3571946589727;

e1486..    x78 - x79 + 3.25858237030459*b554 =L= 4.3571946589727;

e1487..    x79 - x80 + 3.25858237030459*b555 =L= 4.3571946589727;

e1488..    x80 - x81 + 3.25858237030459*b556 =L= 4.3571946589727;

e1489..    x81 - x82 + 3.25858237030459*b557 =L= 4.3571946589727;

e1490..    x82 - x83 + 3.25858237030459*b558 =L= 4.3571946589727;

e1491..    x83 - x84 + 3.25858237030459*b559 =L= 4.3571946589727;

e1492..    x85 - x86 + 2.35846029688671*b549 =L= 3.45707258555482;

e1493..    x86 - x87 + 2.35846029688671*b550 =L= 3.45707258555482;

e1494..    x87 - x88 + 2.35846029688671*b551 =L= 3.45707258555482;

e1495..    x88 - x89 + 2.35846029688671*b552 =L= 3.45707258555482;

e1496..    x89 - x90 + 2.35846029688671*b553 =L= 3.45707258555482;

e1497..    x90 - x91 + 2.35846029688671*b554 =L= 3.45707258555482;

e1498..    x91 - x92 + 2.35846029688671*b555 =L= 3.45707258555482;

e1499..    x92 - x93 + 2.35846029688671*b556 =L= 3.45707258555482;

e1500..    x93 - x94 + 2.35846029688671*b557 =L= 3.45707258555482;

e1501..    x94 - x95 + 2.35846029688671*b558 =L= 3.45707258555482;

e1502..    x95 - x96 + 2.35846029688671*b559 =L= 3.45707258555482;

e1503..    x97 - x98 + 2.3960170377866*b549 =L= 3.49462932645471;

e1504..    x98 - x99 + 2.3960170377866*b550 =L= 3.49462932645471;

e1505..    x99 - x100 + 2.3960170377866*b551 =L= 3.49462932645471;

e1506..    x100 - x101 + 2.3960170377866*b552 =L= 3.49462932645471;

e1507..    x101 - x102 + 2.3960170377866*b553 =L= 3.49462932645471;

e1508..    x102 - x103 + 2.3960170377866*b554 =L= 3.49462932645471;

e1509..    x103 - x104 + 2.3960170377866*b555 =L= 3.49462932645471;

e1510..    x104 - x105 + 2.3960170377866*b556 =L= 3.49462932645471;

e1511..    x105 - x106 + 2.3960170377866*b557 =L= 3.49462932645471;

e1512..    x106 - x107 + 2.3960170377866*b558 =L= 3.49462932645471;

e1513..    x107 - x108 + 2.3960170377866*b559 =L= 3.49462932645471;

e1514..    x109 - x110 + 2.28868218782505*b549 =L= 3.38729447649316;

e1515..    x110 - x111 + 2.28868218782505*b550 =L= 3.38729447649316;

e1516..    x111 - x112 + 2.28868218782505*b551 =L= 3.38729447649316;

e1517..    x112 - x113 + 2.28868218782505*b552 =L= 3.38729447649316;

e1518..    x113 - x114 + 2.28868218782505*b553 =L= 3.38729447649316;

e1519..    x114 - x115 + 2.28868218782505*b554 =L= 3.38729447649316;

e1520..    x115 - x116 + 2.28868218782505*b555 =L= 3.38729447649316;

e1521..    x116 - x117 + 2.28868218782505*b556 =L= 3.38729447649316;

e1522..    x117 - x118 + 2.28868218782505*b557 =L= 3.38729447649316;

e1523..    x118 - x119 + 2.28868218782505*b558 =L= 3.38729447649316;

e1524..    x119 - x120 + 2.28868218782505*b559 =L= 3.38729447649316;

e1525..    x121 - x122 + 2.32790290097834*b549 =L= 3.42651518964645;

e1526..    x122 - x123 + 2.32790290097834*b550 =L= 3.42651518964645;

e1527..    x123 - x124 + 2.32790290097834*b551 =L= 3.42651518964645;

e1528..    x124 - x125 + 2.32790290097834*b552 =L= 3.42651518964645;

e1529..    x125 - x126 + 2.32790290097834*b553 =L= 3.42651518964645;

e1530..    x126 - x127 + 2.32790290097834*b554 =L= 3.42651518964645;

e1531..    x127 - x128 + 2.32790290097834*b555 =L= 3.42651518964645;

e1532..    x128 - x129 + 2.32790290097834*b556 =L= 3.42651518964645;

e1533..    x129 - x130 + 2.32790290097834*b557 =L= 3.42651518964645;

e1534..    x130 - x131 + 2.32790290097834*b558 =L= 3.42651518964645;

e1535..    x131 - x132 + 2.32790290097834*b559 =L= 3.42651518964645;

e1536..    x133 - x134 + 2.17630492708372*b549 =L= 3.27491721575183;

e1537..    x134 - x135 + 2.17630492708372*b550 =L= 3.27491721575183;

e1538..    x135 - x136 + 2.17630492708372*b551 =L= 3.27491721575183;

e1539..    x136 - x137 + 2.17630492708372*b552 =L= 3.27491721575183;

e1540..    x137 - x138 + 2.17630492708372*b553 =L= 3.27491721575183;

e1541..    x138 - x139 + 2.17630492708372*b554 =L= 3.27491721575183;

e1542..    x139 - x140 + 2.17630492708372*b555 =L= 3.27491721575183;

e1543..    x140 - x141 + 2.17630492708372*b556 =L= 3.27491721575183;

e1544..    x141 - x142 + 2.17630492708372*b557 =L= 3.27491721575183;

e1545..    x142 - x143 + 2.17630492708372*b558 =L= 3.27491721575183;

e1546..    x143 - x144 + 2.17630492708372*b559 =L= 3.27491721575183;

e1547..    x145 - x146 + 2.08253202659828*b549 =L= 3.18114431526639;

e1548..    x146 - x147 + 2.08253202659828*b550 =L= 3.18114431526639;

e1549..    x147 - x148 + 2.08253202659828*b551 =L= 3.18114431526639;

e1550..    x148 - x149 + 2.08253202659828*b552 =L= 3.18114431526639;

e1551..    x149 - x150 + 2.08253202659828*b553 =L= 3.18114431526639;

e1552..    x150 - x151 + 2.08253202659828*b554 =L= 3.18114431526639;

e1553..    x151 - x152 + 2.08253202659828*b555 =L= 3.18114431526639;

e1554..    x152 - x153 + 2.08253202659828*b556 =L= 3.18114431526639;

e1555..    x153 - x154 + 2.08253202659828*b557 =L= 3.18114431526639;

e1556..    x154 - x155 + 2.08253202659828*b558 =L= 3.18114431526639;

e1557..    x155 - x156 + 2.08253202659828*b559 =L= 3.18114431526639;

e1558..    x157 - x158 + 1.88519141402061*b549 =L= 2.98380370268872;

e1559..    x158 - x159 + 1.88519141402061*b550 =L= 2.98380370268872;

e1560..    x159 - x160 + 1.88519141402061*b551 =L= 2.98380370268872;

e1561..    x160 - x161 + 1.88519141402061*b552 =L= 2.98380370268872;

e1562..    x161 - x162 + 1.88519141402061*b553 =L= 2.98380370268872;

e1563..    x162 - x163 + 1.88519141402061*b554 =L= 2.98380370268872;

e1564..    x163 - x164 + 1.88519141402061*b555 =L= 2.98380370268872;

e1565..    x164 - x165 + 1.88519141402061*b556 =L= 2.98380370268872;

e1566..    x165 - x166 + 1.88519141402061*b557 =L= 2.98380370268872;

e1567..    x166 - x167 + 1.88519141402061*b558 =L= 2.98380370268872;

e1568..    x167 - x168 + 1.88519141402061*b559 =L= 2.98380370268872;

e1569..    x169 - x170 + 2.45174823131027*b549 =L= 3.55036051997838;

e1570..    x170 - x171 + 2.45174823131027*b550 =L= 3.55036051997838;

e1571..    x171 - x172 + 2.45174823131027*b551 =L= 3.55036051997838;

e1572..    x172 - x173 + 2.45174823131027*b552 =L= 3.55036051997838;

e1573..    x173 - x174 + 2.45174823131027*b553 =L= 3.55036051997838;

e1574..    x174 - x175 + 2.45174823131027*b554 =L= 3.55036051997838;

e1575..    x175 - x176 + 2.45174823131027*b555 =L= 3.55036051997838;

e1576..    x176 - x177 + 2.45174823131027*b556 =L= 3.55036051997838;

e1577..    x177 - x178 + 2.45174823131027*b557 =L= 3.55036051997838;

e1578..    x178 - x179 + 2.45174823131027*b558 =L= 3.55036051997838;

e1579..    x179 - x180 + 2.45174823131027*b559 =L= 3.55036051997838;

e1580..    x181 - x182 + 2.83303050362969*b549 =L= 3.9316427922978;

e1581..    x182 - x183 + 2.83303050362969*b550 =L= 3.9316427922978;

e1582..    x183 - x184 + 2.83303050362969*b551 =L= 3.9316427922978;

e1583..    x184 - x185 + 2.83303050362969*b552 =L= 3.9316427922978;

e1584..    x185 - x186 + 2.83303050362969*b553 =L= 3.9316427922978;

e1585..    x186 - x187 + 2.83303050362969*b554 =L= 3.9316427922978;

e1586..    x187 - x188 + 2.83303050362969*b555 =L= 3.9316427922978;

e1587..    x188 - x189 + 2.83303050362969*b556 =L= 3.9316427922978;

e1588..    x189 - x190 + 2.83303050362969*b557 =L= 3.9316427922978;

e1589..    x190 - x191 + 2.83303050362969*b558 =L= 3.9316427922978;

e1590..    x191 - x192 + 2.83303050362969*b559 =L= 3.9316427922978;

e1591..    x193 - x194 + 1.83716337325342*b549 =L= 2.93577566192153;

e1592..    x194 - x195 + 1.83716337325342*b550 =L= 2.93577566192153;

e1593..    x195 - x196 + 1.83716337325342*b551 =L= 2.93577566192153;

e1594..    x196 - x197 + 1.83716337325342*b552 =L= 2.93577566192153;

e1595..    x197 - x198 + 1.83716337325342*b553 =L= 2.93577566192153;

e1596..    x198 - x199 + 1.83716337325342*b554 =L= 2.93577566192153;

e1597..    x199 - x200 + 1.83716337325342*b555 =L= 2.93577566192153;

e1598..    x200 - x201 + 1.83716337325342*b556 =L= 2.93577566192153;

e1599..    x201 - x202 + 1.83716337325342*b557 =L= 2.93577566192153;

e1600..    x202 - x203 + 1.83716337325342*b558 =L= 2.93577566192153;

e1601..    x203 - x204 + 1.83716337325342*b559 =L= 2.93577566192153;

e1602..    x205 - x206 + 1.39146570952238*b549 =L= 2.49007799819049;

e1603..    x206 - x207 + 1.39146570952238*b550 =L= 2.49007799819049;

e1604..    x207 - x208 + 1.39146570952238*b551 =L= 2.49007799819049;

e1605..    x208 - x209 + 1.39146570952238*b552 =L= 2.49007799819049;

e1606..    x209 - x210 + 1.39146570952238*b553 =L= 2.49007799819049;

e1607..    x210 - x211 + 1.39146570952238*b554 =L= 2.49007799819049;

e1608..    x211 - x212 + 1.39146570952238*b555 =L= 2.49007799819049;

e1609..    x212 - x213 + 1.39146570952238*b556 =L= 2.49007799819049;

e1610..    x213 - x214 + 1.39146570952238*b557 =L= 2.49007799819049;

e1611..    x214 - x215 + 1.39146570952238*b558 =L= 2.49007799819049;

e1612..    x215 - x216 + 1.39146570952238*b559 =L= 2.49007799819049;

e1613..    x217 - x218 + 2.3359350726756*b549 =L= 3.43454736134371;

e1614..    x218 - x219 + 2.3359350726756*b550 =L= 3.43454736134371;

e1615..    x219 - x220 + 2.3359350726756*b551 =L= 3.43454736134371;

e1616..    x220 - x221 + 2.3359350726756*b552 =L= 3.43454736134371;

e1617..    x221 - x222 + 2.3359350726756*b553 =L= 3.43454736134371;

e1618..    x222 - x223 + 2.3359350726756*b554 =L= 3.43454736134371;

e1619..    x223 - x224 + 2.3359350726756*b555 =L= 3.43454736134371;

e1620..    x224 - x225 + 2.3359350726756*b556 =L= 3.43454736134371;

e1621..    x225 - x226 + 2.3359350726756*b557 =L= 3.43454736134371;

e1622..    x226 - x227 + 2.3359350726756*b558 =L= 3.43454736134371;

e1623..    x227 - x228 + 2.3359350726756*b559 =L= 3.43454736134371;

e1624..    x229 - x230 + 1.66080639761833*b549 =L= 2.75941868628644;

e1625..    x230 - x231 + 1.66080639761833*b550 =L= 2.75941868628644;

e1626..    x231 - x232 + 1.66080639761833*b551 =L= 2.75941868628644;

e1627..    x232 - x233 + 1.66080639761833*b552 =L= 2.75941868628644;

e1628..    x233 - x234 + 1.66080639761833*b553 =L= 2.75941868628644;

e1629..    x234 - x235 + 1.66080639761833*b554 =L= 2.75941868628644;

e1630..    x235 - x236 + 1.66080639761833*b555 =L= 2.75941868628644;

e1631..    x236 - x237 + 1.66080639761833*b556 =L= 2.75941868628644;

e1632..    x237 - x238 + 1.66080639761833*b557 =L= 2.75941868628644;

e1633..    x238 - x239 + 1.66080639761833*b558 =L= 2.75941868628644;

e1634..    x239 - x240 + 1.66080639761833*b559 =L= 2.75941868628644;

e1635..    x241 - x242 + 3.57341020430782*b549 =L= 4.67202249297593;

e1636..    x242 - x243 + 3.57341020430782*b550 =L= 4.67202249297593;

e1637..    x243 - x244 + 3.57341020430782*b551 =L= 4.67202249297593;

e1638..    x244 - x245 + 3.57341020430782*b552 =L= 4.67202249297593;

e1639..    x245 - x246 + 3.57341020430782*b553 =L= 4.67202249297593;

e1640..    x246 - x247 + 3.57341020430782*b554 =L= 4.67202249297593;

e1641..    x247 - x248 + 3.57341020430782*b555 =L= 4.67202249297593;

e1642..    x248 - x249 + 3.57341020430782*b556 =L= 4.67202249297593;

e1643..    x249 - x250 + 3.57341020430782*b557 =L= 4.67202249297593;

e1644..    x250 - x251 + 3.57341020430782*b558 =L= 4.67202249297593;

e1645..    x251 - x252 + 3.57341020430782*b559 =L= 4.67202249297593;

e1646..    x13 - x14 - 1.64044955525189*b549 =G= -2.73906184392;

e1647..    x14 - x15 - 1.64044955525189*b550 =G= -2.73906184392;

e1648..    x15 - x16 - 1.64044955525189*b551 =G= -2.73906184392;

e1649..    x16 - x17 - 1.64044955525189*b552 =G= -2.73906184392;

e1650..    x17 - x18 - 1.64044955525189*b553 =G= -2.73906184392;

e1651..    x18 - x19 - 1.64044955525189*b554 =G= -2.73906184392;

e1652..    x19 - x20 - 1.64044955525189*b555 =G= -2.73906184392;

e1653..    x20 - x21 - 1.64044955525189*b556 =G= -2.73906184392;

e1654..    x21 - x22 - 1.64044955525189*b557 =G= -2.73906184392;

e1655..    x22 - x23 - 1.64044955525189*b558 =G= -2.73906184392;

e1656..    x23 - x24 - 1.64044955525189*b559 =G= -2.73906184392;

e1657..    x25 - x26 - 2.7848926778388*b549 =G= -3.88350496650691;

e1658..    x26 - x27 - 2.7848926778388*b550 =G= -3.88350496650691;

e1659..    x27 - x28 - 2.7848926778388*b551 =G= -3.88350496650691;

e1660..    x28 - x29 - 2.7848926778388*b552 =G= -3.88350496650691;

e1661..    x29 - x30 - 2.7848926778388*b553 =G= -3.88350496650691;

e1662..    x30 - x31 - 2.7848926778388*b554 =G= -3.88350496650691;

e1663..    x31 - x32 - 2.7848926778388*b555 =G= -3.88350496650691;

e1664..    x32 - x33 - 2.7848926778388*b556 =G= -3.88350496650691;

e1665..    x33 - x34 - 2.7848926778388*b557 =G= -3.88350496650691;

e1666..    x34 - x35 - 2.7848926778388*b558 =G= -3.88350496650691;

e1667..    x35 - x36 - 2.7848926778388*b559 =G= -3.88350496650691;

e1668..    x37 - x38 - 2.45503721618572*b549 =G= -3.55364950485383;

e1669..    x38 - x39 - 2.45503721618572*b550 =G= -3.55364950485383;

e1670..    x39 - x40 - 2.45503721618572*b551 =G= -3.55364950485383;

e1671..    x40 - x41 - 2.45503721618572*b552 =G= -3.55364950485383;

e1672..    x41 - x42 - 2.45503721618572*b553 =G= -3.55364950485383;

e1673..    x42 - x43 - 2.45503721618572*b554 =G= -3.55364950485383;

e1674..    x43 - x44 - 2.45503721618572*b555 =G= -3.55364950485383;

e1675..    x44 - x45 - 2.45503721618572*b556 =G= -3.55364950485383;

e1676..    x45 - x46 - 2.45503721618572*b557 =G= -3.55364950485383;

e1677..    x46 - x47 - 2.45503721618572*b558 =G= -3.55364950485383;

e1678..    x47 - x48 - 2.45503721618572*b559 =G= -3.55364950485383;

e1679..    x49 - x50 - 2.38472523684503*b549 =G= -3.48333752551314;

e1680..    x50 - x51 - 2.38472523684503*b550 =G= -3.48333752551314;

e1681..    x51 - x52 - 2.38472523684503*b551 =G= -3.48333752551314;

e1682..    x52 - x53 - 2.38472523684503*b552 =G= -3.48333752551314;

e1683..    x53 - x54 - 2.38472523684503*b553 =G= -3.48333752551314;

e1684..    x54 - x55 - 2.38472523684503*b554 =G= -3.48333752551314;

e1685..    x55 - x56 - 2.38472523684503*b555 =G= -3.48333752551314;

e1686..    x56 - x57 - 2.38472523684503*b556 =G= -3.48333752551314;

e1687..    x57 - x58 - 2.38472523684503*b557 =G= -3.48333752551314;

e1688..    x58 - x59 - 2.38472523684503*b558 =G= -3.48333752551314;

e1689..    x59 - x60 - 2.38472523684503*b559 =G= -3.48333752551314;

e1690..    x61 - x62 - 2.44046880035743*b549 =G= -3.53908108902554;

e1691..    x62 - x63 - 2.44046880035743*b550 =G= -3.53908108902554;

e1692..    x63 - x64 - 2.44046880035743*b551 =G= -3.53908108902554;

e1693..    x64 - x65 - 2.44046880035743*b552 =G= -3.53908108902554;

e1694..    x65 - x66 - 2.44046880035743*b553 =G= -3.53908108902554;

e1695..    x66 - x67 - 2.44046880035743*b554 =G= -3.53908108902554;

e1696..    x67 - x68 - 2.44046880035743*b555 =G= -3.53908108902554;

e1697..    x68 - x69 - 2.44046880035743*b556 =G= -3.53908108902554;

e1698..    x69 - x70 - 2.44046880035743*b557 =G= -3.53908108902554;

e1699..    x70 - x71 - 2.44046880035743*b558 =G= -3.53908108902554;

e1700..    x71 - x72 - 2.44046880035743*b559 =G= -3.53908108902554;

e1701..    x73 - x74 - 3.25858237030459*b549 =G= -4.3571946589727;

e1702..    x74 - x75 - 3.25858237030459*b550 =G= -4.3571946589727;

e1703..    x75 - x76 - 3.25858237030459*b551 =G= -4.3571946589727;

e1704..    x76 - x77 - 3.25858237030459*b552 =G= -4.3571946589727;

e1705..    x77 - x78 - 3.25858237030459*b553 =G= -4.3571946589727;

e1706..    x78 - x79 - 3.25858237030459*b554 =G= -4.3571946589727;

e1707..    x79 - x80 - 3.25858237030459*b555 =G= -4.3571946589727;

e1708..    x80 - x81 - 3.25858237030459*b556 =G= -4.3571946589727;

e1709..    x81 - x82 - 3.25858237030459*b557 =G= -4.3571946589727;

e1710..    x82 - x83 - 3.25858237030459*b558 =G= -4.3571946589727;

e1711..    x83 - x84 - 3.25858237030459*b559 =G= -4.3571946589727;

e1712..    x85 - x86 - 2.35846029688671*b549 =G= -3.45707258555482;

e1713..    x86 - x87 - 2.35846029688671*b550 =G= -3.45707258555482;

e1714..    x87 - x88 - 2.35846029688671*b551 =G= -3.45707258555482;

e1715..    x88 - x89 - 2.35846029688671*b552 =G= -3.45707258555482;

e1716..    x89 - x90 - 2.35846029688671*b553 =G= -3.45707258555482;

e1717..    x90 - x91 - 2.35846029688671*b554 =G= -3.45707258555482;

e1718..    x91 - x92 - 2.35846029688671*b555 =G= -3.45707258555482;

e1719..    x92 - x93 - 2.35846029688671*b556 =G= -3.45707258555482;

e1720..    x93 - x94 - 2.35846029688671*b557 =G= -3.45707258555482;

e1721..    x94 - x95 - 2.35846029688671*b558 =G= -3.45707258555482;

e1722..    x95 - x96 - 2.35846029688671*b559 =G= -3.45707258555482;

e1723..    x97 - x98 - 2.3960170377866*b549 =G= -3.49462932645471;

e1724..    x98 - x99 - 2.3960170377866*b550 =G= -3.49462932645471;

e1725..    x99 - x100 - 2.3960170377866*b551 =G= -3.49462932645471;

e1726..    x100 - x101 - 2.3960170377866*b552 =G= -3.49462932645471;

e1727..    x101 - x102 - 2.3960170377866*b553 =G= -3.49462932645471;

e1728..    x102 - x103 - 2.3960170377866*b554 =G= -3.49462932645471;

e1729..    x103 - x104 - 2.3960170377866*b555 =G= -3.49462932645471;

e1730..    x104 - x105 - 2.3960170377866*b556 =G= -3.49462932645471;

e1731..    x105 - x106 - 2.3960170377866*b557 =G= -3.49462932645471;

e1732..    x106 - x107 - 2.3960170377866*b558 =G= -3.49462932645471;

e1733..    x107 - x108 - 2.3960170377866*b559 =G= -3.49462932645471;

e1734..    x109 - x110 - 2.28868218782505*b549 =G= -3.38729447649316;

e1735..    x110 - x111 - 2.28868218782505*b550 =G= -3.38729447649316;

e1736..    x111 - x112 - 2.28868218782505*b551 =G= -3.38729447649316;

e1737..    x112 - x113 - 2.28868218782505*b552 =G= -3.38729447649316;

e1738..    x113 - x114 - 2.28868218782505*b553 =G= -3.38729447649316;

e1739..    x114 - x115 - 2.28868218782505*b554 =G= -3.38729447649316;

e1740..    x115 - x116 - 2.28868218782505*b555 =G= -3.38729447649316;

e1741..    x116 - x117 - 2.28868218782505*b556 =G= -3.38729447649316;

e1742..    x117 - x118 - 2.28868218782505*b557 =G= -3.38729447649316;

e1743..    x118 - x119 - 2.28868218782505*b558 =G= -3.38729447649316;

e1744..    x119 - x120 - 2.28868218782505*b559 =G= -3.38729447649316;

e1745..    x121 - x122 - 2.32790290097834*b549 =G= -3.42651518964645;

e1746..    x122 - x123 - 2.32790290097834*b550 =G= -3.42651518964645;

e1747..    x123 - x124 - 2.32790290097834*b551 =G= -3.42651518964645;

e1748..    x124 - x125 - 2.32790290097834*b552 =G= -3.42651518964645;

e1749..    x125 - x126 - 2.32790290097834*b553 =G= -3.42651518964645;

e1750..    x126 - x127 - 2.32790290097834*b554 =G= -3.42651518964645;

e1751..    x127 - x128 - 2.32790290097834*b555 =G= -3.42651518964645;

e1752..    x128 - x129 - 2.32790290097834*b556 =G= -3.42651518964645;

e1753..    x129 - x130 - 2.32790290097834*b557 =G= -3.42651518964645;

e1754..    x130 - x131 - 2.32790290097834*b558 =G= -3.42651518964645;

e1755..    x131 - x132 - 2.32790290097834*b559 =G= -3.42651518964645;

e1756..    x133 - x134 - 2.17630492708372*b549 =G= -3.27491721575183;

e1757..    x134 - x135 - 2.17630492708372*b550 =G= -3.27491721575183;

e1758..    x135 - x136 - 2.17630492708372*b551 =G= -3.27491721575183;

e1759..    x136 - x137 - 2.17630492708372*b552 =G= -3.27491721575183;

e1760..    x137 - x138 - 2.17630492708372*b553 =G= -3.27491721575183;

e1761..    x138 - x139 - 2.17630492708372*b554 =G= -3.27491721575183;

e1762..    x139 - x140 - 2.17630492708372*b555 =G= -3.27491721575183;

e1763..    x140 - x141 - 2.17630492708372*b556 =G= -3.27491721575183;

e1764..    x141 - x142 - 2.17630492708372*b557 =G= -3.27491721575183;

e1765..    x142 - x143 - 2.17630492708372*b558 =G= -3.27491721575183;

e1766..    x143 - x144 - 2.17630492708372*b559 =G= -3.27491721575183;

e1767..    x145 - x146 - 2.08253202659828*b549 =G= -3.18114431526639;

e1768..    x146 - x147 - 2.08253202659828*b550 =G= -3.18114431526639;

e1769..    x147 - x148 - 2.08253202659828*b551 =G= -3.18114431526639;

e1770..    x148 - x149 - 2.08253202659828*b552 =G= -3.18114431526639;

e1771..    x149 - x150 - 2.08253202659828*b553 =G= -3.18114431526639;

e1772..    x150 - x151 - 2.08253202659828*b554 =G= -3.18114431526639;

e1773..    x151 - x152 - 2.08253202659828*b555 =G= -3.18114431526639;

e1774..    x152 - x153 - 2.08253202659828*b556 =G= -3.18114431526639;

e1775..    x153 - x154 - 2.08253202659828*b557 =G= -3.18114431526639;

e1776..    x154 - x155 - 2.08253202659828*b558 =G= -3.18114431526639;

e1777..    x155 - x156 - 2.08253202659828*b559 =G= -3.18114431526639;

e1778..    x157 - x158 - 1.88519141402061*b549 =G= -2.98380370268872;

e1779..    x158 - x159 - 1.88519141402061*b550 =G= -2.98380370268872;

e1780..    x159 - x160 - 1.88519141402061*b551 =G= -2.98380370268872;

e1781..    x160 - x161 - 1.88519141402061*b552 =G= -2.98380370268872;

e1782..    x161 - x162 - 1.88519141402061*b553 =G= -2.98380370268872;

e1783..    x162 - x163 - 1.88519141402061*b554 =G= -2.98380370268872;

e1784..    x163 - x164 - 1.88519141402061*b555 =G= -2.98380370268872;

e1785..    x164 - x165 - 1.88519141402061*b556 =G= -2.98380370268872;

e1786..    x165 - x166 - 1.88519141402061*b557 =G= -2.98380370268872;

e1787..    x166 - x167 - 1.88519141402061*b558 =G= -2.98380370268872;

e1788..    x167 - x168 - 1.88519141402061*b559 =G= -2.98380370268872;

e1789..    x169 - x170 - 2.45174823131027*b549 =G= -3.55036051997838;

e1790..    x170 - x171 - 2.45174823131027*b550 =G= -3.55036051997838;

e1791..    x171 - x172 - 2.45174823131027*b551 =G= -3.55036051997838;

e1792..    x172 - x173 - 2.45174823131027*b552 =G= -3.55036051997838;

e1793..    x173 - x174 - 2.45174823131027*b553 =G= -3.55036051997838;

e1794..    x174 - x175 - 2.45174823131027*b554 =G= -3.55036051997838;

e1795..    x175 - x176 - 2.45174823131027*b555 =G= -3.55036051997838;

e1796..    x176 - x177 - 2.45174823131027*b556 =G= -3.55036051997838;

e1797..    x177 - x178 - 2.45174823131027*b557 =G= -3.55036051997838;

e1798..    x178 - x179 - 2.45174823131027*b558 =G= -3.55036051997838;

e1799..    x179 - x180 - 2.45174823131027*b559 =G= -3.55036051997838;

e1800..    x181 - x182 - 2.83303050362969*b549 =G= -3.9316427922978;

e1801..    x182 - x183 - 2.83303050362969*b550 =G= -3.9316427922978;

e1802..    x183 - x184 - 2.83303050362969*b551 =G= -3.9316427922978;

e1803..    x184 - x185 - 2.83303050362969*b552 =G= -3.9316427922978;

e1804..    x185 - x186 - 2.83303050362969*b553 =G= -3.9316427922978;

e1805..    x186 - x187 - 2.83303050362969*b554 =G= -3.9316427922978;

e1806..    x187 - x188 - 2.83303050362969*b555 =G= -3.9316427922978;

e1807..    x188 - x189 - 2.83303050362969*b556 =G= -3.9316427922978;

e1808..    x189 - x190 - 2.83303050362969*b557 =G= -3.9316427922978;

e1809..    x190 - x191 - 2.83303050362969*b558 =G= -3.9316427922978;

e1810..    x191 - x192 - 2.83303050362969*b559 =G= -3.9316427922978;

e1811..    x193 - x194 - 1.83716337325342*b549 =G= -2.93577566192153;

e1812..    x194 - x195 - 1.83716337325342*b550 =G= -2.93577566192153;

e1813..    x195 - x196 - 1.83716337325342*b551 =G= -2.93577566192153;

e1814..    x196 - x197 - 1.83716337325342*b552 =G= -2.93577566192153;

e1815..    x197 - x198 - 1.83716337325342*b553 =G= -2.93577566192153;

e1816..    x198 - x199 - 1.83716337325342*b554 =G= -2.93577566192153;

e1817..    x199 - x200 - 1.83716337325342*b555 =G= -2.93577566192153;

e1818..    x200 - x201 - 1.83716337325342*b556 =G= -2.93577566192153;

e1819..    x201 - x202 - 1.83716337325342*b557 =G= -2.93577566192153;

e1820..    x202 - x203 - 1.83716337325342*b558 =G= -2.93577566192153;

e1821..    x203 - x204 - 1.83716337325342*b559 =G= -2.93577566192153;

e1822..    x205 - x206 - 1.39146570952238*b549 =G= -2.49007799819049;

e1823..    x206 - x207 - 1.39146570952238*b550 =G= -2.49007799819049;

e1824..    x207 - x208 - 1.39146570952238*b551 =G= -2.49007799819049;

e1825..    x208 - x209 - 1.39146570952238*b552 =G= -2.49007799819049;

e1826..    x209 - x210 - 1.39146570952238*b553 =G= -2.49007799819049;

e1827..    x210 - x211 - 1.39146570952238*b554 =G= -2.49007799819049;

e1828..    x211 - x212 - 1.39146570952238*b555 =G= -2.49007799819049;

e1829..    x212 - x213 - 1.39146570952238*b556 =G= -2.49007799819049;

e1830..    x213 - x214 - 1.39146570952238*b557 =G= -2.49007799819049;

e1831..    x214 - x215 - 1.39146570952238*b558 =G= -2.49007799819049;

e1832..    x215 - x216 - 1.39146570952238*b559 =G= -2.49007799819049;

e1833..    x217 - x218 - 2.3359350726756*b549 =G= -3.43454736134371;

e1834..    x218 - x219 - 2.3359350726756*b550 =G= -3.43454736134371;

e1835..    x219 - x220 - 2.3359350726756*b551 =G= -3.43454736134371;

e1836..    x220 - x221 - 2.3359350726756*b552 =G= -3.43454736134371;

e1837..    x221 - x222 - 2.3359350726756*b553 =G= -3.43454736134371;

e1838..    x222 - x223 - 2.3359350726756*b554 =G= -3.43454736134371;

e1839..    x223 - x224 - 2.3359350726756*b555 =G= -3.43454736134371;

e1840..    x224 - x225 - 2.3359350726756*b556 =G= -3.43454736134371;

e1841..    x225 - x226 - 2.3359350726756*b557 =G= -3.43454736134371;

e1842..    x226 - x227 - 2.3359350726756*b558 =G= -3.43454736134371;

e1843..    x227 - x228 - 2.3359350726756*b559 =G= -3.43454736134371;

e1844..    x229 - x230 - 1.66080639761833*b549 =G= -2.75941868628644;

e1845..    x230 - x231 - 1.66080639761833*b550 =G= -2.75941868628644;

e1846..    x231 - x232 - 1.66080639761833*b551 =G= -2.75941868628644;

e1847..    x232 - x233 - 1.66080639761833*b552 =G= -2.75941868628644;

e1848..    x233 - x234 - 1.66080639761833*b553 =G= -2.75941868628644;

e1849..    x234 - x235 - 1.66080639761833*b554 =G= -2.75941868628644;

e1850..    x235 - x236 - 1.66080639761833*b555 =G= -2.75941868628644;

e1851..    x236 - x237 - 1.66080639761833*b556 =G= -2.75941868628644;

e1852..    x237 - x238 - 1.66080639761833*b557 =G= -2.75941868628644;

e1853..    x238 - x239 - 1.66080639761833*b558 =G= -2.75941868628644;

e1854..    x239 - x240 - 1.66080639761833*b559 =G= -2.75941868628644;

e1855..    x241 - x242 - 3.57341020430782*b549 =G= -4.67202249297593;

e1856..    x242 - x243 - 3.57341020430782*b550 =G= -4.67202249297593;

e1857..    x243 - x244 - 3.57341020430782*b551 =G= -4.67202249297593;

e1858..    x244 - x245 - 3.57341020430782*b552 =G= -4.67202249297593;

e1859..    x245 - x246 - 3.57341020430782*b553 =G= -4.67202249297593;

e1860..    x246 - x247 - 3.57341020430782*b554 =G= -4.67202249297593;

e1861..    x247 - x248 - 3.57341020430782*b555 =G= -4.67202249297593;

e1862..    x248 - x249 - 3.57341020430782*b556 =G= -4.67202249297593;

e1863..    x249 - x250 - 3.57341020430782*b557 =G= -4.67202249297593;

e1864..    x250 - x251 - 3.57341020430782*b558 =G= -4.67202249297593;

e1865..    x251 - x252 - 3.57341020430782*b559 =G= -4.67202249297593;

e1866.. -(250*(exp(0.6*x1 + x253 + x265) + exp(0.6*x2 + x254 + x266) + exp(0.6*
        x3 + x255 + x267) + exp(0.6*x4 + x256 + x268) + exp(0.6*x5 + x257 + 
        x269) + exp(0.6*x6 + x258 + x270) + exp(0.6*x7 + x259 + x271) + exp(0.6
        *x8 + x260 + x272) + exp(0.6*x9 + x261 + x273) + exp(0.6*x10 + x262 + 
        x274) + exp(0.6*x11 + x263 + x275) + exp(0.6*x12 + x264 + x276)) + 150*
        (exp(0.5*x278) + exp(0.5*x279) + exp(0.5*x280) + exp(0.5*x281) + exp(
        0.5*x282) + exp(0.5*x283) + exp(0.5*x284) + exp(0.5*x285) + exp(0.5*
        x286) + exp(0.5*x287) + exp(0.5*x288))) + objvar =E= 0;

e1867..    x278 - 18.8261458520605*b549 =L= -9.21034037197618;

e1868..    x279 - 18.8261458520605*b550 =L= -9.21034037197618;

e1869..    x280 - 18.8261458520605*b551 =L= -9.21034037197618;

e1870..    x281 - 18.8261458520605*b552 =L= -9.21034037197618;

e1871..    x282 - 18.8261458520605*b553 =L= -9.21034037197618;

e1872..    x283 - 18.8261458520605*b554 =L= -9.21034037197618;

e1873..    x284 - 18.8261458520605*b555 =L= -9.21034037197618;

e1874..    x285 - 18.8261458520605*b556 =L= -9.21034037197618;

e1875..    x286 - 18.8261458520605*b557 =L= -9.21034037197618;

e1876..    x287 - 18.8261458520605*b558 =L= -9.21034037197618;

e1877..    x288 - 18.8261458520605*b559 =L= -9.21034037197618;

e1878..    x278 + 13.8155105579643*b549 =G= -9.21034037197618;

e1879..    x279 + 13.8155105579643*b550 =G= -9.21034037197618;

e1880..    x280 + 13.8155105579643*b551 =G= -9.21034037197618;

e1881..    x281 + 13.8155105579643*b552 =G= -9.21034037197618;

e1882..    x282 + 13.8155105579643*b553 =G= -9.21034037197618;

e1883..    x283 + 13.8155105579643*b554 =G= -9.21034037197618;

e1884..    x284 + 13.8155105579643*b555 =G= -9.21034037197618;

e1885..    x285 + 13.8155105579643*b556 =G= -9.21034037197618;

e1886..    x286 + 13.8155105579643*b557 =G= -9.21034037197618;

e1887..    x287 + 13.8155105579643*b558 =G= -9.21034037197618;

e1888..    x288 + 13.8155105579643*b559 =G= -9.21034037197618;

e1889..    x13 - x14 - 2.73906184392*b549 =L= 0;

e1890..    x14 - x15 - 2.73906184392*b550 =L= 0;

e1891..    x15 - x16 - 2.73906184392*b551 =L= 0;

e1892..    x16 - x17 - 2.73906184392*b552 =L= 0;

e1893..    x17 - x18 - 2.73906184392*b553 =L= 0;

e1894..    x18 - x19 - 2.73906184392*b554 =L= 0;

e1895..    x19 - x20 - 2.73906184392*b555 =L= 0;

e1896..    x20 - x21 - 2.73906184392*b556 =L= 0;

e1897..    x21 - x22 - 2.73906184392*b557 =L= 0;

e1898..    x22 - x23 - 2.73906184392*b558 =L= 0;

e1899..    x23 - x24 - 2.73906184392*b559 =L= 0;

e1900..    x25 - x26 - 3.88350496650691*b549 =L= 0;

e1901..    x26 - x27 - 3.88350496650691*b550 =L= 0;

e1902..    x27 - x28 - 3.88350496650691*b551 =L= 0;

e1903..    x28 - x29 - 3.88350496650691*b552 =L= 0;

e1904..    x29 - x30 - 3.88350496650691*b553 =L= 0;

e1905..    x30 - x31 - 3.88350496650691*b554 =L= 0;

e1906..    x31 - x32 - 3.88350496650691*b555 =L= 0;

e1907..    x32 - x33 - 3.88350496650691*b556 =L= 0;

e1908..    x33 - x34 - 3.88350496650691*b557 =L= 0;

e1909..    x34 - x35 - 3.88350496650691*b558 =L= 0;

e1910..    x35 - x36 - 3.88350496650691*b559 =L= 0;

e1911..    x37 - x38 - 3.55364950485383*b549 =L= 0;

e1912..    x38 - x39 - 3.55364950485383*b550 =L= 0;

e1913..    x39 - x40 - 3.55364950485383*b551 =L= 0;

e1914..    x40 - x41 - 3.55364950485383*b552 =L= 0;

e1915..    x41 - x42 - 3.55364950485383*b553 =L= 0;

e1916..    x42 - x43 - 3.55364950485383*b554 =L= 0;

e1917..    x43 - x44 - 3.55364950485383*b555 =L= 0;

e1918..    x44 - x45 - 3.55364950485383*b556 =L= 0;

e1919..    x45 - x46 - 3.55364950485383*b557 =L= 0;

e1920..    x46 - x47 - 3.55364950485383*b558 =L= 0;

e1921..    x47 - x48 - 3.55364950485383*b559 =L= 0;

e1922..    x49 - x50 - 3.48333752551314*b549 =L= 0;

e1923..    x50 - x51 - 3.48333752551314*b550 =L= 0;

e1924..    x51 - x52 - 3.48333752551314*b551 =L= 0;

e1925..    x52 - x53 - 3.48333752551314*b552 =L= 0;

e1926..    x53 - x54 - 3.48333752551314*b553 =L= 0;

e1927..    x54 - x55 - 3.48333752551314*b554 =L= 0;

e1928..    x55 - x56 - 3.48333752551314*b555 =L= 0;

e1929..    x56 - x57 - 3.48333752551314*b556 =L= 0;

e1930..    x57 - x58 - 3.48333752551314*b557 =L= 0;

e1931..    x58 - x59 - 3.48333752551314*b558 =L= 0;

e1932..    x59 - x60 - 3.48333752551314*b559 =L= 0;

e1933..    x61 - x62 - 3.53908108902554*b549 =L= 0;

e1934..    x62 - x63 - 3.53908108902554*b550 =L= 0;

e1935..    x63 - x64 - 3.53908108902554*b551 =L= 0;

e1936..    x64 - x65 - 3.53908108902554*b552 =L= 0;

e1937..    x65 - x66 - 3.53908108902554*b553 =L= 0;

e1938..    x66 - x67 - 3.53908108902554*b554 =L= 0;

e1939..    x67 - x68 - 3.53908108902554*b555 =L= 0;

e1940..    x68 - x69 - 3.53908108902554*b556 =L= 0;

e1941..    x69 - x70 - 3.53908108902554*b557 =L= 0;

e1942..    x70 - x71 - 3.53908108902554*b558 =L= 0;

e1943..    x71 - x72 - 3.53908108902554*b559 =L= 0;

e1944..    x73 - x74 - 4.3571946589727*b549 =L= 0;

e1945..    x74 - x75 - 4.3571946589727*b550 =L= 0;

e1946..    x75 - x76 - 4.3571946589727*b551 =L= 0;

e1947..    x76 - x77 - 4.3571946589727*b552 =L= 0;

e1948..    x77 - x78 - 4.3571946589727*b553 =L= 0;

e1949..    x78 - x79 - 4.3571946589727*b554 =L= 0;

e1950..    x79 - x80 - 4.3571946589727*b555 =L= 0;

e1951..    x80 - x81 - 4.3571946589727*b556 =L= 0;

e1952..    x81 - x82 - 4.3571946589727*b557 =L= 0;

e1953..    x82 - x83 - 4.3571946589727*b558 =L= 0;

e1954..    x83 - x84 - 4.3571946589727*b559 =L= 0;

e1955..    x85 - x86 - 3.45707258555482*b549 =L= 0;

e1956..    x86 - x87 - 3.45707258555482*b550 =L= 0;

e1957..    x87 - x88 - 3.45707258555482*b551 =L= 0;

e1958..    x88 - x89 - 3.45707258555482*b552 =L= 0;

e1959..    x89 - x90 - 3.45707258555482*b553 =L= 0;

e1960..    x90 - x91 - 3.45707258555482*b554 =L= 0;

e1961..    x91 - x92 - 3.45707258555482*b555 =L= 0;

e1962..    x92 - x93 - 3.45707258555482*b556 =L= 0;

e1963..    x93 - x94 - 3.45707258555482*b557 =L= 0;

e1964..    x94 - x95 - 3.45707258555482*b558 =L= 0;

e1965..    x95 - x96 - 3.45707258555482*b559 =L= 0;

e1966..    x97 - x98 - 3.49462932645471*b549 =L= 0;

e1967..    x98 - x99 - 3.49462932645471*b550 =L= 0;

e1968..    x99 - x100 - 3.49462932645471*b551 =L= 0;

e1969..    x100 - x101 - 3.49462932645471*b552 =L= 0;

e1970..    x101 - x102 - 3.49462932645471*b553 =L= 0;

e1971..    x102 - x103 - 3.49462932645471*b554 =L= 0;

e1972..    x103 - x104 - 3.49462932645471*b555 =L= 0;

e1973..    x104 - x105 - 3.49462932645471*b556 =L= 0;

e1974..    x105 - x106 - 3.49462932645471*b557 =L= 0;

e1975..    x106 - x107 - 3.49462932645471*b558 =L= 0;

e1976..    x107 - x108 - 3.49462932645471*b559 =L= 0;

e1977..    x109 - x110 - 3.38729447649316*b549 =L= 0;

e1978..    x110 - x111 - 3.38729447649316*b550 =L= 0;

e1979..    x111 - x112 - 3.38729447649316*b551 =L= 0;

e1980..    x112 - x113 - 3.38729447649316*b552 =L= 0;

e1981..    x113 - x114 - 3.38729447649316*b553 =L= 0;

e1982..    x114 - x115 - 3.38729447649316*b554 =L= 0;

e1983..    x115 - x116 - 3.38729447649316*b555 =L= 0;

e1984..    x116 - x117 - 3.38729447649316*b556 =L= 0;

e1985..    x117 - x118 - 3.38729447649316*b557 =L= 0;

e1986..    x118 - x119 - 3.38729447649316*b558 =L= 0;

e1987..    x119 - x120 - 3.38729447649316*b559 =L= 0;

e1988..    x121 - x122 - 3.42651518964644*b549 =L= 0;

e1989..    x122 - x123 - 3.42651518964644*b550 =L= 0;

e1990..    x123 - x124 - 3.42651518964644*b551 =L= 0;

e1991..    x124 - x125 - 3.42651518964644*b552 =L= 0;

e1992..    x125 - x126 - 3.42651518964644*b553 =L= 0;

e1993..    x126 - x127 - 3.42651518964644*b554 =L= 0;

e1994..    x127 - x128 - 3.42651518964644*b555 =L= 0;

e1995..    x128 - x129 - 3.42651518964644*b556 =L= 0;

e1996..    x129 - x130 - 3.42651518964644*b557 =L= 0;

e1997..    x130 - x131 - 3.42651518964644*b558 =L= 0;

e1998..    x131 - x132 - 3.42651518964644*b559 =L= 0;

e1999..    x133 - x134 - 3.27491721575183*b549 =L= 0;

e2000..    x134 - x135 - 3.27491721575183*b550 =L= 0;

e2001..    x135 - x136 - 3.27491721575183*b551 =L= 0;

e2002..    x136 - x137 - 3.27491721575183*b552 =L= 0;

e2003..    x137 - x138 - 3.27491721575183*b553 =L= 0;

e2004..    x138 - x139 - 3.27491721575183*b554 =L= 0;

e2005..    x139 - x140 - 3.27491721575183*b555 =L= 0;

e2006..    x140 - x141 - 3.27491721575183*b556 =L= 0;

e2007..    x141 - x142 - 3.27491721575183*b557 =L= 0;

e2008..    x142 - x143 - 3.27491721575183*b558 =L= 0;

e2009..    x143 - x144 - 3.27491721575183*b559 =L= 0;

e2010..    x145 - x146 - 3.18114431526639*b549 =L= 0;

e2011..    x146 - x147 - 3.18114431526639*b550 =L= 0;

e2012..    x147 - x148 - 3.18114431526639*b551 =L= 0;

e2013..    x148 - x149 - 3.18114431526639*b552 =L= 0;

e2014..    x149 - x150 - 3.18114431526639*b553 =L= 0;

e2015..    x150 - x151 - 3.18114431526639*b554 =L= 0;

e2016..    x151 - x152 - 3.18114431526639*b555 =L= 0;

e2017..    x152 - x153 - 3.18114431526639*b556 =L= 0;

e2018..    x153 - x154 - 3.18114431526639*b557 =L= 0;

e2019..    x154 - x155 - 3.18114431526639*b558 =L= 0;

e2020..    x155 - x156 - 3.18114431526639*b559 =L= 0;

e2021..    x157 - x158 - 2.98380370268872*b549 =L= 0;

e2022..    x158 - x159 - 2.98380370268872*b550 =L= 0;

e2023..    x159 - x160 - 2.98380370268872*b551 =L= 0;

e2024..    x160 - x161 - 2.98380370268872*b552 =L= 0;

e2025..    x161 - x162 - 2.98380370268872*b553 =L= 0;

e2026..    x162 - x163 - 2.98380370268872*b554 =L= 0;

e2027..    x163 - x164 - 2.98380370268872*b555 =L= 0;

e2028..    x164 - x165 - 2.98380370268872*b556 =L= 0;

e2029..    x165 - x166 - 2.98380370268872*b557 =L= 0;

e2030..    x166 - x167 - 2.98380370268872*b558 =L= 0;

e2031..    x167 - x168 - 2.98380370268872*b559 =L= 0;

e2032..    x169 - x170 - 3.55036051997837*b549 =L= 0;

e2033..    x170 - x171 - 3.55036051997837*b550 =L= 0;

e2034..    x171 - x172 - 3.55036051997837*b551 =L= 0;

e2035..    x172 - x173 - 3.55036051997837*b552 =L= 0;

e2036..    x173 - x174 - 3.55036051997837*b553 =L= 0;

e2037..    x174 - x175 - 3.55036051997837*b554 =L= 0;

e2038..    x175 - x176 - 3.55036051997837*b555 =L= 0;

e2039..    x176 - x177 - 3.55036051997837*b556 =L= 0;

e2040..    x177 - x178 - 3.55036051997837*b557 =L= 0;

e2041..    x178 - x179 - 3.55036051997837*b558 =L= 0;

e2042..    x179 - x180 - 3.55036051997837*b559 =L= 0;

e2043..    x181 - x182 - 3.9316427922978*b549 =L= 0;

e2044..    x182 - x183 - 3.9316427922978*b550 =L= 0;

e2045..    x183 - x184 - 3.9316427922978*b551 =L= 0;

e2046..    x184 - x185 - 3.9316427922978*b552 =L= 0;

e2047..    x185 - x186 - 3.9316427922978*b553 =L= 0;

e2048..    x186 - x187 - 3.9316427922978*b554 =L= 0;

e2049..    x187 - x188 - 3.9316427922978*b555 =L= 0;

e2050..    x188 - x189 - 3.9316427922978*b556 =L= 0;

e2051..    x189 - x190 - 3.9316427922978*b557 =L= 0;

e2052..    x190 - x191 - 3.9316427922978*b558 =L= 0;

e2053..    x191 - x192 - 3.9316427922978*b559 =L= 0;

e2054..    x193 - x194 - 2.93577566192153*b549 =L= 0;

e2055..    x194 - x195 - 2.93577566192153*b550 =L= 0;

e2056..    x195 - x196 - 2.93577566192153*b551 =L= 0;

e2057..    x196 - x197 - 2.93577566192153*b552 =L= 0;

e2058..    x197 - x198 - 2.93577566192153*b553 =L= 0;

e2059..    x198 - x199 - 2.93577566192153*b554 =L= 0;

e2060..    x199 - x200 - 2.93577566192153*b555 =L= 0;

e2061..    x200 - x201 - 2.93577566192153*b556 =L= 0;

e2062..    x201 - x202 - 2.93577566192153*b557 =L= 0;

e2063..    x202 - x203 - 2.93577566192153*b558 =L= 0;

e2064..    x203 - x204 - 2.93577566192153*b559 =L= 0;

e2065..    x205 - x206 - 2.49007799819049*b549 =L= 0;

e2066..    x206 - x207 - 2.49007799819049*b550 =L= 0;

e2067..    x207 - x208 - 2.49007799819049*b551 =L= 0;

e2068..    x208 - x209 - 2.49007799819049*b552 =L= 0;

e2069..    x209 - x210 - 2.49007799819049*b553 =L= 0;

e2070..    x210 - x211 - 2.49007799819049*b554 =L= 0;

e2071..    x211 - x212 - 2.49007799819049*b555 =L= 0;

e2072..    x212 - x213 - 2.49007799819049*b556 =L= 0;

e2073..    x213 - x214 - 2.49007799819049*b557 =L= 0;

e2074..    x214 - x215 - 2.49007799819049*b558 =L= 0;

e2075..    x215 - x216 - 2.49007799819049*b559 =L= 0;

e2076..    x217 - x218 - 3.43454736134371*b549 =L= 0;

e2077..    x218 - x219 - 3.43454736134371*b550 =L= 0;

e2078..    x219 - x220 - 3.43454736134371*b551 =L= 0;

e2079..    x220 - x221 - 3.43454736134371*b552 =L= 0;

e2080..    x221 - x222 - 3.43454736134371*b553 =L= 0;

e2081..    x222 - x223 - 3.43454736134371*b554 =L= 0;

e2082..    x223 - x224 - 3.43454736134371*b555 =L= 0;

e2083..    x224 - x225 - 3.43454736134371*b556 =L= 0;

e2084..    x225 - x226 - 3.43454736134371*b557 =L= 0;

e2085..    x226 - x227 - 3.43454736134371*b558 =L= 0;

e2086..    x227 - x228 - 3.43454736134371*b559 =L= 0;

e2087..    x229 - x230 - 2.75941868628644*b549 =L= 0;

e2088..    x230 - x231 - 2.75941868628644*b550 =L= 0;

e2089..    x231 - x232 - 2.75941868628644*b551 =L= 0;

e2090..    x232 - x233 - 2.75941868628644*b552 =L= 0;

e2091..    x233 - x234 - 2.75941868628644*b553 =L= 0;

e2092..    x234 - x235 - 2.75941868628644*b554 =L= 0;

e2093..    x235 - x236 - 2.75941868628644*b555 =L= 0;

e2094..    x236 - x237 - 2.75941868628644*b556 =L= 0;

e2095..    x237 - x238 - 2.75941868628644*b557 =L= 0;

e2096..    x238 - x239 - 2.75941868628644*b558 =L= 0;

e2097..    x239 - x240 - 2.75941868628644*b559 =L= 0;

e2098..    x241 - x242 - 4.67202249297593*b549 =L= 0;

e2099..    x242 - x243 - 4.67202249297593*b550 =L= 0;

e2100..    x243 - x244 - 4.67202249297593*b551 =L= 0;

e2101..    x244 - x245 - 4.67202249297593*b552 =L= 0;

e2102..    x245 - x246 - 4.67202249297593*b553 =L= 0;

e2103..    x246 - x247 - 4.67202249297593*b554 =L= 0;

e2104..    x247 - x248 - 4.67202249297593*b555 =L= 0;

e2105..    x248 - x249 - 4.67202249297593*b556 =L= 0;

e2106..    x249 - x250 - 4.67202249297593*b557 =L= 0;

e2107..    x250 - x251 - 4.67202249297593*b558 =L= 0;

e2108..    x251 - x252 - 4.67202249297593*b559 =L= 0;

e2109..    x13 - x14 + 2.73906184392*b549 =G= 0;

e2110..    x14 - x15 + 2.73906184392*b550 =G= 0;

e2111..    x15 - x16 + 2.73906184392*b551 =G= 0;

e2112..    x16 - x17 + 2.73906184392*b552 =G= 0;

e2113..    x17 - x18 + 2.73906184392*b553 =G= 0;

e2114..    x18 - x19 + 2.73906184392*b554 =G= 0;

e2115..    x19 - x20 + 2.73906184392*b555 =G= 0;

e2116..    x20 - x21 + 2.73906184392*b556 =G= 0;

e2117..    x21 - x22 + 2.73906184392*b557 =G= 0;

e2118..    x22 - x23 + 2.73906184392*b558 =G= 0;

e2119..    x23 - x24 + 2.73906184392*b559 =G= 0;

e2120..    x25 - x26 + 3.88350496650691*b549 =G= 0;

e2121..    x26 - x27 + 3.88350496650691*b550 =G= 0;

e2122..    x27 - x28 + 3.88350496650691*b551 =G= 0;

e2123..    x28 - x29 + 3.88350496650691*b552 =G= 0;

e2124..    x29 - x30 + 3.88350496650691*b553 =G= 0;

e2125..    x30 - x31 + 3.88350496650691*b554 =G= 0;

e2126..    x31 - x32 + 3.88350496650691*b555 =G= 0;

e2127..    x32 - x33 + 3.88350496650691*b556 =G= 0;

e2128..    x33 - x34 + 3.88350496650691*b557 =G= 0;

e2129..    x34 - x35 + 3.88350496650691*b558 =G= 0;

e2130..    x35 - x36 + 3.88350496650691*b559 =G= 0;

e2131..    x37 - x38 + 3.55364950485383*b549 =G= 0;

e2132..    x38 - x39 + 3.55364950485383*b550 =G= 0;

e2133..    x39 - x40 + 3.55364950485383*b551 =G= 0;

e2134..    x40 - x41 + 3.55364950485383*b552 =G= 0;

e2135..    x41 - x42 + 3.55364950485383*b553 =G= 0;

e2136..    x42 - x43 + 3.55364950485383*b554 =G= 0;

e2137..    x43 - x44 + 3.55364950485383*b555 =G= 0;

e2138..    x44 - x45 + 3.55364950485383*b556 =G= 0;

e2139..    x45 - x46 + 3.55364950485383*b557 =G= 0;

e2140..    x46 - x47 + 3.55364950485383*b558 =G= 0;

e2141..    x47 - x48 + 3.55364950485383*b559 =G= 0;

e2142..    x49 - x50 + 3.48333752551314*b549 =G= 0;

e2143..    x50 - x51 + 3.48333752551314*b550 =G= 0;

e2144..    x51 - x52 + 3.48333752551314*b551 =G= 0;

e2145..    x52 - x53 + 3.48333752551314*b552 =G= 0;

e2146..    x53 - x54 + 3.48333752551314*b553 =G= 0;

e2147..    x54 - x55 + 3.48333752551314*b554 =G= 0;

e2148..    x55 - x56 + 3.48333752551314*b555 =G= 0;

e2149..    x56 - x57 + 3.48333752551314*b556 =G= 0;

e2150..    x57 - x58 + 3.48333752551314*b557 =G= 0;

e2151..    x58 - x59 + 3.48333752551314*b558 =G= 0;

e2152..    x59 - x60 + 3.48333752551314*b559 =G= 0;

e2153..    x61 - x62 + 3.53908108902554*b549 =G= 0;

e2154..    x62 - x63 + 3.53908108902554*b550 =G= 0;

e2155..    x63 - x64 + 3.53908108902554*b551 =G= 0;

e2156..    x64 - x65 + 3.53908108902554*b552 =G= 0;

e2157..    x65 - x66 + 3.53908108902554*b553 =G= 0;

e2158..    x66 - x67 + 3.53908108902554*b554 =G= 0;

e2159..    x67 - x68 + 3.53908108902554*b555 =G= 0;

e2160..    x68 - x69 + 3.53908108902554*b556 =G= 0;

e2161..    x69 - x70 + 3.53908108902554*b557 =G= 0;

e2162..    x70 - x71 + 3.53908108902554*b558 =G= 0;

e2163..    x71 - x72 + 3.53908108902554*b559 =G= 0;

e2164..    x73 - x74 + 4.3571946589727*b549 =G= 0;

e2165..    x74 - x75 + 4.3571946589727*b550 =G= 0;

e2166..    x75 - x76 + 4.3571946589727*b551 =G= 0;

e2167..    x76 - x77 + 4.3571946589727*b552 =G= 0;

e2168..    x77 - x78 + 4.3571946589727*b553 =G= 0;

e2169..    x78 - x79 + 4.3571946589727*b554 =G= 0;

e2170..    x79 - x80 + 4.3571946589727*b555 =G= 0;

e2171..    x80 - x81 + 4.3571946589727*b556 =G= 0;

e2172..    x81 - x82 + 4.3571946589727*b557 =G= 0;

e2173..    x82 - x83 + 4.3571946589727*b558 =G= 0;

e2174..    x83 - x84 + 4.3571946589727*b559 =G= 0;

e2175..    x85 - x86 + 3.45707258555482*b549 =G= 0;

e2176..    x86 - x87 + 3.45707258555482*b550 =G= 0;

e2177..    x87 - x88 + 3.45707258555482*b551 =G= 0;

e2178..    x88 - x89 + 3.45707258555482*b552 =G= 0;

e2179..    x89 - x90 + 3.45707258555482*b553 =G= 0;

e2180..    x90 - x91 + 3.45707258555482*b554 =G= 0;

e2181..    x91 - x92 + 3.45707258555482*b555 =G= 0;

e2182..    x92 - x93 + 3.45707258555482*b556 =G= 0;

e2183..    x93 - x94 + 3.45707258555482*b557 =G= 0;

e2184..    x94 - x95 + 3.45707258555482*b558 =G= 0;

e2185..    x95 - x96 + 3.45707258555482*b559 =G= 0;

e2186..    x97 - x98 + 3.49462932645471*b549 =G= 0;

e2187..    x98 - x99 + 3.49462932645471*b550 =G= 0;

e2188..    x99 - x100 + 3.49462932645471*b551 =G= 0;

e2189..    x100 - x101 + 3.49462932645471*b552 =G= 0;

e2190..    x101 - x102 + 3.49462932645471*b553 =G= 0;

e2191..    x102 - x103 + 3.49462932645471*b554 =G= 0;

e2192..    x103 - x104 + 3.49462932645471*b555 =G= 0;

e2193..    x104 - x105 + 3.49462932645471*b556 =G= 0;

e2194..    x105 - x106 + 3.49462932645471*b557 =G= 0;

e2195..    x106 - x107 + 3.49462932645471*b558 =G= 0;

e2196..    x107 - x108 + 3.49462932645471*b559 =G= 0;

e2197..    x109 - x110 + 3.38729447649316*b549 =G= 0;

e2198..    x110 - x111 + 3.38729447649316*b550 =G= 0;

e2199..    x111 - x112 + 3.38729447649316*b551 =G= 0;

e2200..    x112 - x113 + 3.38729447649316*b552 =G= 0;

e2201..    x113 - x114 + 3.38729447649316*b553 =G= 0;

e2202..    x114 - x115 + 3.38729447649316*b554 =G= 0;

e2203..    x115 - x116 + 3.38729447649316*b555 =G= 0;

e2204..    x116 - x117 + 3.38729447649316*b556 =G= 0;

e2205..    x117 - x118 + 3.38729447649316*b557 =G= 0;

e2206..    x118 - x119 + 3.38729447649316*b558 =G= 0;

e2207..    x119 - x120 + 3.38729447649316*b559 =G= 0;

e2208..    x121 - x122 + 3.42651518964644*b549 =G= 0;

e2209..    x122 - x123 + 3.42651518964644*b550 =G= 0;

e2210..    x123 - x124 + 3.42651518964644*b551 =G= 0;

e2211..    x124 - x125 + 3.42651518964644*b552 =G= 0;

e2212..    x125 - x126 + 3.42651518964644*b553 =G= 0;

e2213..    x126 - x127 + 3.42651518964644*b554 =G= 0;

e2214..    x127 - x128 + 3.42651518964644*b555 =G= 0;

e2215..    x128 - x129 + 3.42651518964644*b556 =G= 0;

e2216..    x129 - x130 + 3.42651518964644*b557 =G= 0;

e2217..    x130 - x131 + 3.42651518964644*b558 =G= 0;

e2218..    x131 - x132 + 3.42651518964644*b559 =G= 0;

e2219..    x133 - x134 + 3.27491721575183*b549 =G= 0;

e2220..    x134 - x135 + 3.27491721575183*b550 =G= 0;

e2221..    x135 - x136 + 3.27491721575183*b551 =G= 0;

e2222..    x136 - x137 + 3.27491721575183*b552 =G= 0;

e2223..    x137 - x138 + 3.27491721575183*b553 =G= 0;

e2224..    x138 - x139 + 3.27491721575183*b554 =G= 0;

e2225..    x139 - x140 + 3.27491721575183*b555 =G= 0;

e2226..    x140 - x141 + 3.27491721575183*b556 =G= 0;

e2227..    x141 - x142 + 3.27491721575183*b557 =G= 0;

e2228..    x142 - x143 + 3.27491721575183*b558 =G= 0;

e2229..    x143 - x144 + 3.27491721575183*b559 =G= 0;

e2230..    x145 - x146 + 3.18114431526639*b549 =G= 0;

e2231..    x146 - x147 + 3.18114431526639*b550 =G= 0;

e2232..    x147 - x148 + 3.18114431526639*b551 =G= 0;

e2233..    x148 - x149 + 3.18114431526639*b552 =G= 0;

e2234..    x149 - x150 + 3.18114431526639*b553 =G= 0;

e2235..    x150 - x151 + 3.18114431526639*b554 =G= 0;

e2236..    x151 - x152 + 3.18114431526639*b555 =G= 0;

e2237..    x152 - x153 + 3.18114431526639*b556 =G= 0;

e2238..    x153 - x154 + 3.18114431526639*b557 =G= 0;

e2239..    x154 - x155 + 3.18114431526639*b558 =G= 0;

e2240..    x155 - x156 + 3.18114431526639*b559 =G= 0;

e2241..    x157 - x158 + 2.98380370268872*b549 =G= 0;

e2242..    x158 - x159 + 2.98380370268872*b550 =G= 0;

e2243..    x159 - x160 + 2.98380370268872*b551 =G= 0;

e2244..    x160 - x161 + 2.98380370268872*b552 =G= 0;

e2245..    x161 - x162 + 2.98380370268872*b553 =G= 0;

e2246..    x162 - x163 + 2.98380370268872*b554 =G= 0;

e2247..    x163 - x164 + 2.98380370268872*b555 =G= 0;

e2248..    x164 - x165 + 2.98380370268872*b556 =G= 0;

e2249..    x165 - x166 + 2.98380370268872*b557 =G= 0;

e2250..    x166 - x167 + 2.98380370268872*b558 =G= 0;

e2251..    x167 - x168 + 2.98380370268872*b559 =G= 0;

e2252..    x169 - x170 + 3.55036051997837*b549 =G= 0;

e2253..    x170 - x171 + 3.55036051997837*b550 =G= 0;

e2254..    x171 - x172 + 3.55036051997837*b551 =G= 0;

e2255..    x172 - x173 + 3.55036051997837*b552 =G= 0;

e2256..    x173 - x174 + 3.55036051997837*b553 =G= 0;

e2257..    x174 - x175 + 3.55036051997837*b554 =G= 0;

e2258..    x175 - x176 + 3.55036051997837*b555 =G= 0;

e2259..    x176 - x177 + 3.55036051997837*b556 =G= 0;

e2260..    x177 - x178 + 3.55036051997837*b557 =G= 0;

e2261..    x178 - x179 + 3.55036051997837*b558 =G= 0;

e2262..    x179 - x180 + 3.55036051997837*b559 =G= 0;

e2263..    x181 - x182 + 3.9316427922978*b549 =G= 0;

e2264..    x182 - x183 + 3.9316427922978*b550 =G= 0;

e2265..    x183 - x184 + 3.9316427922978*b551 =G= 0;

e2266..    x184 - x185 + 3.9316427922978*b552 =G= 0;

e2267..    x185 - x186 + 3.9316427922978*b553 =G= 0;

e2268..    x186 - x187 + 3.9316427922978*b554 =G= 0;

e2269..    x187 - x188 + 3.9316427922978*b555 =G= 0;

e2270..    x188 - x189 + 3.9316427922978*b556 =G= 0;

e2271..    x189 - x190 + 3.9316427922978*b557 =G= 0;

e2272..    x190 - x191 + 3.9316427922978*b558 =G= 0;

e2273..    x191 - x192 + 3.9316427922978*b559 =G= 0;

e2274..    x193 - x194 + 2.93577566192153*b549 =G= 0;

e2275..    x194 - x195 + 2.93577566192153*b550 =G= 0;

e2276..    x195 - x196 + 2.93577566192153*b551 =G= 0;

e2277..    x196 - x197 + 2.93577566192153*b552 =G= 0;

e2278..    x197 - x198 + 2.93577566192153*b553 =G= 0;

e2279..    x198 - x199 + 2.93577566192153*b554 =G= 0;

e2280..    x199 - x200 + 2.93577566192153*b555 =G= 0;

e2281..    x200 - x201 + 2.93577566192153*b556 =G= 0;

e2282..    x201 - x202 + 2.93577566192153*b557 =G= 0;

e2283..    x202 - x203 + 2.93577566192153*b558 =G= 0;

e2284..    x203 - x204 + 2.93577566192153*b559 =G= 0;

e2285..    x205 - x206 + 2.49007799819049*b549 =G= 0;

e2286..    x206 - x207 + 2.49007799819049*b550 =G= 0;

e2287..    x207 - x208 + 2.49007799819049*b551 =G= 0;

e2288..    x208 - x209 + 2.49007799819049*b552 =G= 0;

e2289..    x209 - x210 + 2.49007799819049*b553 =G= 0;

e2290..    x210 - x211 + 2.49007799819049*b554 =G= 0;

e2291..    x211 - x212 + 2.49007799819049*b555 =G= 0;

e2292..    x212 - x213 + 2.49007799819049*b556 =G= 0;

e2293..    x213 - x214 + 2.49007799819049*b557 =G= 0;

e2294..    x214 - x215 + 2.49007799819049*b558 =G= 0;

e2295..    x215 - x216 + 2.49007799819049*b559 =G= 0;

e2296..    x217 - x218 + 3.43454736134371*b549 =G= 0;

e2297..    x218 - x219 + 3.43454736134371*b550 =G= 0;

e2298..    x219 - x220 + 3.43454736134371*b551 =G= 0;

e2299..    x220 - x221 + 3.43454736134371*b552 =G= 0;

e2300..    x221 - x222 + 3.43454736134371*b553 =G= 0;

e2301..    x222 - x223 + 3.43454736134371*b554 =G= 0;

e2302..    x223 - x224 + 3.43454736134371*b555 =G= 0;

e2303..    x224 - x225 + 3.43454736134371*b556 =G= 0;

e2304..    x225 - x226 + 3.43454736134371*b557 =G= 0;

e2305..    x226 - x227 + 3.43454736134371*b558 =G= 0;

e2306..    x227 - x228 + 3.43454736134371*b559 =G= 0;

e2307..    x229 - x230 + 2.75941868628644*b549 =G= 0;

e2308..    x230 - x231 + 2.75941868628644*b550 =G= 0;

e2309..    x231 - x232 + 2.75941868628644*b551 =G= 0;

e2310..    x232 - x233 + 2.75941868628644*b552 =G= 0;

e2311..    x233 - x234 + 2.75941868628644*b553 =G= 0;

e2312..    x234 - x235 + 2.75941868628644*b554 =G= 0;

e2313..    x235 - x236 + 2.75941868628644*b555 =G= 0;

e2314..    x236 - x237 + 2.75941868628644*b556 =G= 0;

e2315..    x237 - x238 + 2.75941868628644*b557 =G= 0;

e2316..    x238 - x239 + 2.75941868628644*b558 =G= 0;

e2317..    x239 - x240 + 2.75941868628644*b559 =G= 0;

e2318..    x241 - x242 + 4.67202249297593*b549 =G= 0;

e2319..    x242 - x243 + 4.67202249297593*b550 =G= 0;

e2320..    x243 - x244 + 4.67202249297593*b551 =G= 0;

e2321..    x244 - x245 + 4.67202249297593*b552 =G= 0;

e2322..    x245 - x246 + 4.67202249297593*b553 =G= 0;

e2323..    x246 - x247 + 4.67202249297593*b554 =G= 0;

e2324..    x247 - x248 + 4.67202249297593*b555 =G= 0;

e2325..    x248 - x249 + 4.67202249297593*b556 =G= 0;

e2326..    x249 - x250 + 4.67202249297593*b557 =G= 0;

e2327..    x250 - x251 + 4.67202249297593*b558 =G= 0;

e2328..    x251 - x252 + 4.67202249297593*b559 =G= 0;

* set non-default bounds
x1.lo = 5.7037824746562; x1.up = 8.1605182474775;
x2.lo = 5.7037824746562; x2.up = 8.1605182474775;
x3.lo = 5.7037824746562; x3.up = 8.1605182474775;
x4.lo = 5.7037824746562; x4.up = 8.1605182474775;
x5.lo = 5.7037824746562; x5.up = 8.1605182474775;
x6.lo = 5.7037824746562; x6.up = 8.1605182474775;
x7.lo = 5.7037824746562; x7.up = 8.1605182474775;
x8.lo = 5.7037824746562; x8.up = 8.1605182474775;
x9.lo = 5.7037824746562; x9.up = 8.1605182474775;
x10.lo = 5.7037824746562; x10.up = 8.1605182474775;
x11.lo = 5.7037824746562; x11.up = 8.1605182474775;
x12.lo = 5.7037824746562; x12.up = 8.1605182474775;
x13.lo = 3.61316763237824; x13.up = 6.35222947629824;
x14.lo = 3.61316763237824; x14.up = 6.35222947629824;
x15.lo = 3.61316763237824; x15.up = 6.35222947629824;
x16.lo = 3.61316763237824; x16.up = 6.35222947629824;
x17.lo = 3.61316763237824; x17.up = 6.35222947629824;
x18.lo = 3.61316763237824; x18.up = 6.35222947629824;
x19.lo = 3.61316763237824; x19.up = 6.35222947629824;
x20.lo = 3.61316763237824; x20.up = 6.35222947629824;
x21.lo = 3.61316763237824; x21.up = 6.35222947629824;
x22.lo = 3.61316763237824; x22.up = 6.35222947629824;
x23.lo = 3.61316763237824; x23.up = 6.35222947629824;
x24.lo = 3.61316763237824; x24.up = 6.35222947629824;
x25.lo = 2.81839825827108; x25.up = 6.70190322477799;
x26.lo = 2.81839825827108; x26.up = 6.70190322477799;
x27.lo = 2.81839825827108; x27.up = 6.70190322477799;
x28.lo = 2.81839825827108; x28.up = 6.70190322477799;
x29.lo = 2.81839825827108; x29.up = 6.70190322477799;
x30.lo = 2.81839825827108; x30.up = 6.70190322477799;
x31.lo = 2.81839825827108; x31.up = 6.70190322477799;
x32.lo = 2.81839825827108; x32.up = 6.70190322477799;
x33.lo = 2.81839825827108; x33.up = 6.70190322477799;
x34.lo = 2.81839825827108; x34.up = 6.70190322477799;
x35.lo = 2.81839825827108; x35.up = 6.70190322477799;
x36.lo = 2.81839825827108; x36.up = 6.70190322477799;
x37.lo = 2.9391619220656; x37.up = 6.49281142691943;
x38.lo = 2.9391619220656; x38.up = 6.49281142691943;
x39.lo = 2.9391619220656; x39.up = 6.49281142691943;
x40.lo = 2.9391619220656; x40.up = 6.49281142691943;
x41.lo = 2.9391619220656; x41.up = 6.49281142691943;
x42.lo = 2.9391619220656; x42.up = 6.49281142691943;
x43.lo = 2.9391619220656; x43.up = 6.49281142691943;
x44.lo = 2.9391619220656; x44.up = 6.49281142691943;
x45.lo = 2.9391619220656; x45.up = 6.49281142691943;
x46.lo = 2.9391619220656; x46.up = 6.49281142691943;
x47.lo = 2.9391619220656; x47.up = 6.49281142691943;
x48.lo = 2.9391619220656; x48.up = 6.49281142691943;
x49.lo = 2.80537854506277; x49.up = 6.28871607057591;
x50.lo = 2.80537854506277; x50.up = 6.28871607057591;
x51.lo = 2.80537854506277; x51.up = 6.28871607057591;
x52.lo = 2.80537854506277; x52.up = 6.28871607057591;
x53.lo = 2.80537854506277; x53.up = 6.28871607057591;
x54.lo = 2.80537854506277; x54.up = 6.28871607057591;
x55.lo = 2.80537854506277; x55.up = 6.28871607057591;
x56.lo = 2.80537854506277; x56.up = 6.28871607057591;
x57.lo = 2.80537854506277; x57.up = 6.28871607057591;
x58.lo = 2.80537854506277; x58.up = 6.28871607057591;
x59.lo = 2.80537854506277; x59.up = 6.28871607057591;
x60.lo = 2.80537854506277; x60.up = 6.28871607057591;
x61.lo = 2.58021682959232; x61.up = 6.11929791861787;
x62.lo = 2.58021682959232; x62.up = 6.11929791861787;
x63.lo = 2.58021682959232; x63.up = 6.11929791861787;
x64.lo = 2.58021682959232; x64.up = 6.11929791861787;
x65.lo = 2.58021682959232; x65.up = 6.11929791861787;
x66.lo = 2.58021682959232; x66.up = 6.11929791861787;
x67.lo = 2.58021682959232; x67.up = 6.11929791861787;
x68.lo = 2.58021682959232; x68.up = 6.11929791861787;
x69.lo = 2.58021682959232; x69.up = 6.11929791861787;
x70.lo = 2.58021682959232; x70.up = 6.11929791861787;
x71.lo = 2.58021682959232; x71.up = 6.11929791861787;
x72.lo = 2.58021682959232; x72.up = 6.11929791861787;
x73.lo = 2.29924619172853; x73.up = 6.65644085070123;
x74.lo = 2.29924619172853; x74.up = 6.65644085070123;
x75.lo = 2.29924619172853; x75.up = 6.65644085070123;
x76.lo = 2.29924619172853; x76.up = 6.65644085070123;
x77.lo = 2.29924619172853; x77.up = 6.65644085070123;
x78.lo = 2.29924619172853; x78.up = 6.65644085070123;
x79.lo = 2.29924619172853; x79.up = 6.65644085070123;
x80.lo = 2.29924619172853; x80.up = 6.65644085070123;
x81.lo = 2.29924619172853; x81.up = 6.65644085070123;
x82.lo = 2.29924619172853; x82.up = 6.65644085070123;
x83.lo = 2.29924619172853; x83.up = 6.65644085070123;
x84.lo = 2.29924619172853; x84.up = 6.65644085070123;
x85.lo = 3.05478703633531; x85.up = 6.51185962189012;
x86.lo = 3.05478703633531; x86.up = 6.51185962189012;
x87.lo = 3.05478703633531; x87.up = 6.51185962189012;
x88.lo = 3.05478703633531; x88.up = 6.51185962189012;
x89.lo = 3.05478703633531; x89.up = 6.51185962189012;
x90.lo = 3.05478703633531; x90.up = 6.51185962189012;
x91.lo = 3.05478703633531; x91.up = 6.51185962189012;
x92.lo = 3.05478703633531; x92.up = 6.51185962189012;
x93.lo = 3.05478703633531; x93.up = 6.51185962189012;
x94.lo = 3.05478703633531; x94.up = 6.51185962189012;
x95.lo = 3.05478703633531; x95.up = 6.51185962189012;
x96.lo = 3.05478703633531; x96.up = 6.51185962189012;
x97.lo = 2.73436750941958; x97.up = 6.22899683587429;
x98.lo = 2.73436750941958; x98.up = 6.22899683587429;
x99.lo = 2.73436750941958; x99.up = 6.22899683587429;
x100.lo = 2.73436750941958; x100.up = 6.22899683587429;
x101.lo = 2.73436750941958; x101.up = 6.22899683587429;
x102.lo = 2.73436750941958; x102.up = 6.22899683587429;
x103.lo = 2.73436750941958; x103.up = 6.22899683587429;
x104.lo = 2.73436750941958; x104.up = 6.22899683587429;
x105.lo = 2.73436750941958; x105.up = 6.22899683587429;
x106.lo = 2.73436750941958; x106.up = 6.22899683587429;
x107.lo = 2.73436750941958; x107.up = 6.22899683587429;
x108.lo = 2.73436750941958; x108.up = 6.22899683587429;
x109.lo = 3.12456514539696; x109.up = 6.51185962189012;
x110.lo = 3.12456514539696; x110.up = 6.51185962189012;
x111.lo = 3.12456514539696; x111.up = 6.51185962189012;
x112.lo = 3.12456514539696; x112.up = 6.51185962189012;
x113.lo = 3.12456514539696; x113.up = 6.51185962189012;
x114.lo = 3.12456514539696; x114.up = 6.51185962189012;
x115.lo = 3.12456514539696; x115.up = 6.51185962189012;
x116.lo = 3.12456514539696; x116.up = 6.51185962189012;
x117.lo = 3.12456514539696; x117.up = 6.51185962189012;
x118.lo = 3.12456514539696; x118.up = 6.51185962189012;
x119.lo = 3.12456514539696; x119.up = 6.51185962189012;
x120.lo = 3.12456514539696; x120.up = 6.51185962189012;
x121.lo = 2.86220088092947; x121.up = 6.28871607057591;
x122.lo = 2.86220088092947; x122.up = 6.28871607057591;
x123.lo = 2.86220088092947; x123.up = 6.28871607057591;
x124.lo = 2.86220088092947; x124.up = 6.28871607057591;
x125.lo = 2.86220088092947; x125.up = 6.28871607057591;
x126.lo = 2.86220088092947; x126.up = 6.28871607057591;
x127.lo = 2.86220088092947; x127.up = 6.28871607057591;
x128.lo = 2.86220088092947; x128.up = 6.28871607057591;
x129.lo = 2.86220088092947; x129.up = 6.28871607057591;
x130.lo = 2.86220088092947; x130.up = 6.28871607057591;
x131.lo = 2.86220088092947; x131.up = 6.28871607057591;
x132.lo = 2.86220088092947; x132.up = 6.28871607057591;
x133.lo = 3.07731226054641; x133.up = 6.35222947629824;
x134.lo = 3.07731226054641; x134.up = 6.35222947629824;
x135.lo = 3.07731226054641; x135.up = 6.35222947629824;
x136.lo = 3.07731226054641; x136.up = 6.35222947629824;
x137.lo = 3.07731226054641; x137.up = 6.35222947629824;
x138.lo = 3.07731226054641; x138.up = 6.35222947629824;
x139.lo = 3.07731226054641; x139.up = 6.35222947629824;
x140.lo = 3.07731226054641; x140.up = 6.35222947629824;
x141.lo = 3.07731226054641; x141.up = 6.35222947629824;
x142.lo = 3.07731226054641; x142.up = 6.35222947629824;
x143.lo = 3.07731226054641; x143.up = 6.35222947629824;
x144.lo = 3.07731226054641; x144.up = 6.35222947629824;
x145.lo = 3.17108516103185; x145.up = 6.35222947629824;
x146.lo = 3.17108516103185; x146.up = 6.35222947629824;
x147.lo = 3.17108516103185; x147.up = 6.35222947629824;
x148.lo = 3.17108516103185; x148.up = 6.35222947629824;
x149.lo = 3.17108516103185; x149.up = 6.35222947629824;
x150.lo = 3.17108516103185; x150.up = 6.35222947629824;
x151.lo = 3.17108516103185; x151.up = 6.35222947629824;
x152.lo = 3.17108516103185; x152.up = 6.35222947629824;
x153.lo = 3.17108516103185; x153.up = 6.35222947629824;
x154.lo = 3.17108516103185; x154.up = 6.35222947629824;
x155.lo = 3.17108516103185; x155.up = 6.35222947629824;
x156.lo = 3.17108516103185; x156.up = 6.35222947629824;
x157.lo = 3.13549421592915; x157.up = 6.11929791861787;
x158.lo = 3.13549421592915; x158.up = 6.11929791861787;
x159.lo = 3.13549421592915; x159.up = 6.11929791861787;
x160.lo = 3.13549421592915; x160.up = 6.11929791861787;
x161.lo = 3.13549421592915; x161.up = 6.11929791861787;
x162.lo = 3.13549421592915; x162.up = 6.11929791861787;
x163.lo = 3.13549421592915; x163.up = 6.11929791861787;
x164.lo = 3.13549421592915; x164.up = 6.11929791861787;
x165.lo = 3.13549421592915; x165.up = 6.11929791861787;
x166.lo = 3.13549421592915; x166.up = 6.11929791861787;
x167.lo = 3.13549421592915; x167.up = 6.11929791861787;
x168.lo = 3.13549421592915; x168.up = 6.11929791861787;
x169.lo = 3.10608033072286; x169.up = 6.65644085070123;
x170.lo = 3.10608033072286; x170.up = 6.65644085070123;
x171.lo = 3.10608033072286; x171.up = 6.65644085070123;
x172.lo = 3.10608033072286; x172.up = 6.65644085070123;
x173.lo = 3.10608033072286; x173.up = 6.65644085070123;
x174.lo = 3.10608033072286; x174.up = 6.65644085070123;
x175.lo = 3.10608033072286; x175.up = 6.65644085070123;
x176.lo = 3.10608033072286; x176.up = 6.65644085070123;
x177.lo = 3.10608033072286; x177.up = 6.65644085070123;
x178.lo = 3.10608033072286; x178.up = 6.65644085070123;
x179.lo = 3.10608033072286; x179.up = 6.65644085070123;
x180.lo = 3.10608033072286; x180.up = 6.65644085070123;
x181.lo = 2.58021682959232; x181.up = 6.51185962189012;
x182.lo = 2.58021682959232; x182.up = 6.51185962189012;
x183.lo = 2.58021682959232; x183.up = 6.51185962189012;
x184.lo = 2.58021682959232; x184.up = 6.51185962189012;
x185.lo = 2.58021682959232; x185.up = 6.51185962189012;
x186.lo = 2.58021682959232; x186.up = 6.51185962189012;
x187.lo = 2.58021682959232; x187.up = 6.51185962189012;
x188.lo = 2.58021682959232; x188.up = 6.51185962189012;
x189.lo = 2.58021682959232; x189.up = 6.51185962189012;
x190.lo = 2.58021682959232; x190.up = 6.51185962189012;
x191.lo = 2.58021682959232; x191.up = 6.51185962189012;
x192.lo = 2.58021682959232; x192.up = 6.51185962189012;
x193.lo = 3.57608395996859; x193.up = 6.51185962189012;
x194.lo = 3.57608395996859; x194.up = 6.51185962189012;
x195.lo = 3.57608395996859; x195.up = 6.51185962189012;
x196.lo = 3.57608395996859; x196.up = 6.51185962189012;
x197.lo = 3.57608395996859; x197.up = 6.51185962189012;
x198.lo = 3.57608395996859; x198.up = 6.51185962189012;
x199.lo = 3.57608395996859; x199.up = 6.51185962189012;
x200.lo = 3.57608395996859; x200.up = 6.51185962189012;
x201.lo = 3.57608395996859; x201.up = 6.51185962189012;
x202.lo = 3.57608395996859; x202.up = 6.51185962189012;
x203.lo = 3.57608395996859; x203.up = 6.51185962189012;
x204.lo = 3.57608395996859; x204.up = 6.51185962189012;
x205.lo = 3.7389188376838; x205.up = 6.22899683587429;
x206.lo = 3.7389188376838; x206.up = 6.22899683587429;
x207.lo = 3.7389188376838; x207.up = 6.22899683587429;
x208.lo = 3.7389188376838; x208.up = 6.22899683587429;
x209.lo = 3.7389188376838; x209.up = 6.22899683587429;
x210.lo = 3.7389188376838; x210.up = 6.22899683587429;
x211.lo = 3.7389188376838; x211.up = 6.22899683587429;
x212.lo = 3.7389188376838; x212.up = 6.22899683587429;
x213.lo = 3.7389188376838; x213.up = 6.22899683587429;
x214.lo = 3.7389188376838; x214.up = 6.22899683587429;
x215.lo = 3.7389188376838; x215.up = 6.22899683587429;
x216.lo = 3.7389188376838; x216.up = 6.22899683587429;
x217.lo = 3.07731226054641; x217.up = 6.51185962189012;
x218.lo = 3.07731226054641; x218.up = 6.51185962189012;
x219.lo = 3.07731226054641; x219.up = 6.51185962189012;
x220.lo = 3.07731226054641; x220.up = 6.51185962189012;
x221.lo = 3.07731226054641; x221.up = 6.51185962189012;
x222.lo = 3.07731226054641; x222.up = 6.51185962189012;
x223.lo = 3.07731226054641; x223.up = 6.51185962189012;
x224.lo = 3.07731226054641; x224.up = 6.51185962189012;
x225.lo = 3.07731226054641; x225.up = 6.51185962189012;
x226.lo = 3.07731226054641; x226.up = 6.51185962189012;
x227.lo = 3.07731226054641; x227.up = 6.51185962189012;
x228.lo = 3.07731226054641; x228.up = 6.51185962189012;
x229.lo = 3.52929738428947; x229.up = 6.28871607057591;
x230.lo = 3.52929738428947; x230.up = 6.28871607057591;
x231.lo = 3.52929738428947; x231.up = 6.28871607057591;
x232.lo = 3.52929738428947; x232.up = 6.28871607057591;
x233.lo = 3.52929738428947; x233.up = 6.28871607057591;
x234.lo = 3.52929738428947; x234.up = 6.28871607057591;
x235.lo = 3.52929738428947; x235.up = 6.28871607057591;
x236.lo = 3.52929738428947; x236.up = 6.28871607057591;
x237.lo = 3.52929738428947; x237.up = 6.28871607057591;
x238.lo = 3.52929738428947; x238.up = 6.28871607057591;
x239.lo = 3.52929738428947; x239.up = 6.28871607057591;
x240.lo = 3.52929738428947; x240.up = 6.28871607057591;
x241.lo = 1.68020698332231; x241.up = 6.35222947629824;
x242.lo = 1.68020698332231; x242.up = 6.35222947629824;
x243.lo = 1.68020698332231; x243.up = 6.35222947629824;
x244.lo = 1.68020698332231; x244.up = 6.35222947629824;
x245.lo = 1.68020698332231; x245.up = 6.35222947629824;
x246.lo = 1.68020698332231; x246.up = 6.35222947629824;
x247.lo = 1.68020698332231; x247.up = 6.35222947629824;
x248.lo = 1.68020698332231; x248.up = 6.35222947629824;
x249.lo = 1.68020698332231; x249.up = 6.35222947629824;
x250.lo = 1.68020698332231; x250.up = 6.35222947629824;
x251.lo = 1.68020698332231; x251.up = 6.35222947629824;
x252.lo = 1.68020698332231; x252.up = 6.35222947629824;
x253.up = 2.30258509299405;
x254.up = 2.30258509299405;
x255.up = 2.30258509299405;
x256.up = 2.30258509299405;
x257.up = 2.30258509299405;
x258.up = 2.30258509299405;
x259.up = 2.30258509299405;
x260.up = 2.30258509299405;
x261.up = 2.30258509299405;
x262.up = 2.30258509299405;
x263.up = 2.30258509299405;
x264.up = 2.30258509299405;
x265.up = 2.30258509299405;
x266.up = 2.30258509299405;
x267.up = 2.30258509299405;
x268.up = 2.30258509299405;
x269.up = 2.30258509299405;
x270.up = 2.30258509299405;
x271.up = 2.30258509299405;
x272.up = 2.30258509299405;
x273.up = 2.30258509299405;
x274.up = 2.30258509299405;
x275.up = 2.30258509299405;
x276.up = 2.30258509299405;
x278.lo = 4.60517018598809; x278.up = 9.61580548008435;
x279.lo = 4.60517018598809; x279.up = 9.61580548008435;
x280.lo = 4.60517018598809; x280.up = 9.61580548008435;
x281.lo = 4.60517018598809; x281.up = 9.61580548008435;
x282.lo = 4.60517018598809; x282.up = 9.61580548008435;
x283.lo = 4.60517018598809; x283.up = 9.61580548008435;
x284.lo = 4.60517018598809; x284.up = 9.61580548008435;
x285.lo = 4.60517018598809; x285.up = 9.61580548008435;
x286.lo = 4.60517018598809; x286.up = 9.61580548008435;
x287.lo = 4.60517018598809; x287.up = 9.61580548008435;
x288.lo = 4.60517018598809; x288.up = 9.61580548008435;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;


Last updated: 2024-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0