MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance supplychainr1_022020
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 1776970.20000000 (ANTIGONE) 1776970.20000000 (BARON) 1776970.00000000 (COUENNE) 1597626.97700000 (LINDO) 1776970.20200000 (SCIP) 183122.57670000 (SHOT) |
| Referencesⓘ | Nyberg, Axel, Grossmann, I E, and Westerlund, Tapio, The optimal design of a three-echelon supply chain with inventories under uncertainty, 2012. |
| Sourceⓘ | r1-22020.gms from minlp.org model 157 |
| Applicationⓘ | Supply Chain Design with Stochastic Inventory Management |
| Added to libraryⓘ | 25 Sep 2013 |
| Problem typeⓘ | MBNLP |
| #Variablesⓘ | 1440 |
| #Binary Variablesⓘ | 460 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 40 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | nonlinear |
| Objective curvatureⓘ | concave |
| #Nonzeros in Objectiveⓘ | 500 |
| #Nonlinear Nonzeros in Objectiveⓘ | 40 |
| #Constraintsⓘ | 1840 |
| #Linear Constraintsⓘ | 1840 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | sqrt |
| Constraints curvatureⓘ | linear |
| #Nonzeros in Jacobianⓘ | 6500 |
| #Nonlinear Nonzeros in Jacobianⓘ | 0 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 40 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 40 |
| #Blocks in Hessian of Lagrangianⓘ | 40 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 1 |
| Average blocksize in Hessian of Lagrangianⓘ | 1.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e-08 |
| Maximal coefficientⓘ | 1.7083e+05 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1841 501 20 1320 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1441 981 460 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 7001 6961 40 0
*
* Solve m using MINLP minimizing objvar;
Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246
,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259
,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271,b272
,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284,b285
,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297,b298
,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,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,x461,x462,x463,x464,x465,x466,x467
,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480
,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493
,x494,x495,x496,x497,x498,x499,x500,objvar,x502,x503,x504,x505,x506
,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519
,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532
,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545
,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558
,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570,x571
,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583,x584
,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596,x597
,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609,x610
,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,x623
,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636
,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649
,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661,x662
,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674,x675
,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687,x688
,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700,x701
,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713,x714
,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726,x727
,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740
,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753
,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765,x766
,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778,x779
,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791,x792
,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804,x805
,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,x818
,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831
,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844
,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856,x857
,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869,x870
,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882,x883
,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895,x896
,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908,x909
,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921,x922
,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934,x935
,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947,x948
,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960,x961
,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973,x974
,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986,x987
,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999,x1000
,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010,x1011
,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021,x1022
,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032,x1033
,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043,x1044
,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054,x1055
,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065,x1066
,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076,x1077
,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087,x1088
,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098,x1099
,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109,x1110
,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120,x1121
,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131,x1132
,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142,x1143
,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153,x1154
,x1155,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164,x1165
,x1166,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175,x1176
,x1177,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186,x1187
,x1188,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197,x1198
,x1199,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208,x1209
,x1210,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219,x1220
,x1221,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230,x1231
,x1232,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241,x1242
,x1243,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252,x1253
,x1254,x1255,x1256,x1257,x1258,x1259,x1260,x1261,x1262,x1263,x1264
,x1265,x1266,x1267,x1268,x1269,x1270,x1271,x1272,x1273,x1274,x1275
,x1276,x1277,x1278,x1279,x1280,x1281,x1282,x1283,x1284,x1285,x1286
,x1287,x1288,x1289,x1290,x1291,x1292,x1293,x1294,x1295,x1296,x1297
,x1298,x1299,x1300,x1301,x1302,x1303,x1304,x1305,x1306,x1307,x1308
,x1309,x1310,x1311,x1312,x1313,x1314,x1315,x1316,x1317,x1318,x1319
,x1320,x1321,x1322,x1323,x1324,x1325,x1326,x1327,x1328,x1329,x1330
,x1331,x1332,x1333,x1334,x1335,x1336,x1337,x1338,x1339,x1340,x1341
,x1342,x1343,x1344,x1345,x1346,x1347,x1348,x1349,x1350,x1351,x1352
,x1353,x1354,x1355,x1356,x1357,x1358,x1359,x1360,x1361,x1362,x1363
,x1364,x1365,x1366,x1367,x1368,x1369,x1370,x1371,x1372,x1373,x1374
,x1375,x1376,x1377,x1378,x1379,x1380,x1381,x1382,x1383,x1384,x1385
,x1386,x1387,x1388,x1389,x1390,x1391,x1392,x1393,x1394,x1395,x1396
,x1397,x1398,x1399,x1400,x1401,x1402,x1403,x1404,x1405,x1406,x1407
,x1408,x1409,x1410,x1411,x1412,x1413,x1414,x1415,x1416,x1417,x1418
,x1419,x1420,x1421,x1422,x1423,x1424,x1425,x1426,x1427,x1428,x1429
,x1430,x1431,x1432,x1433,x1434,x1435,x1436,x1437,x1438,x1439,x1440
,x1441;
Positive Variables x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471
,x472,x473,x474,x475,x476,x477,x478,x479,x480,x502,x503,x504,x505
,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518
,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531
,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544
,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557
,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570
,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583
,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596
,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609
,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622
,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635
,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648
,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661
,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674
,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687
,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700
,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713
,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726
,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739
,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752
,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765
,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778
,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791
,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804
,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817
,x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830
,x831,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843
,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856
,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869
,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882
,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895
,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908
,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921
,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934
,x935,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947
,x948,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960
,x961,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973
,x974,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986
,x987,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999
,x1000,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010
,x1011,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021
,x1022,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032
,x1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043
,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054
,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065
,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076
,x1077,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087
,x1088,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098
,x1099,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109
,x1110,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120
,x1121,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131
,x1132,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142
,x1143,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153
,x1154,x1155,x1156,x1157,x1158,x1159,x1160,x1161,x1162,x1163,x1164
,x1165,x1166,x1167,x1168,x1169,x1170,x1171,x1172,x1173,x1174,x1175
,x1176,x1177,x1178,x1179,x1180,x1181,x1182,x1183,x1184,x1185,x1186
,x1187,x1188,x1189,x1190,x1191,x1192,x1193,x1194,x1195,x1196,x1197
,x1198,x1199,x1200,x1201,x1202,x1203,x1204,x1205,x1206,x1207,x1208
,x1209,x1210,x1211,x1212,x1213,x1214,x1215,x1216,x1217,x1218,x1219
,x1220,x1221,x1222,x1223,x1224,x1225,x1226,x1227,x1228,x1229,x1230
,x1231,x1232,x1233,x1234,x1235,x1236,x1237,x1238,x1239,x1240,x1241
,x1242,x1243,x1244,x1245,x1246,x1247,x1248,x1249,x1250,x1251,x1252
,x1253,x1254,x1255,x1256,x1257,x1258,x1259,x1260,x1261,x1262,x1263
,x1264,x1265,x1266,x1267,x1268,x1269,x1270,x1271,x1272,x1273,x1274
,x1275,x1276,x1277,x1278,x1279,x1280,x1281,x1282,x1283,x1284,x1285
,x1286,x1287,x1288,x1289,x1290,x1291,x1292,x1293,x1294,x1295,x1296
,x1297,x1298,x1299,x1300,x1301,x1302,x1303,x1304,x1305,x1306,x1307
,x1308,x1309,x1310,x1311,x1312,x1313,x1314,x1315,x1316,x1317,x1318
,x1319,x1320,x1321,x1322,x1323,x1324,x1325,x1326,x1327,x1328,x1329
,x1330,x1331,x1332,x1333,x1334,x1335,x1336,x1337,x1338,x1339,x1340
,x1341,x1342,x1343,x1344,x1345,x1346,x1347,x1348,x1349,x1350,x1351
,x1352,x1353,x1354,x1355,x1356,x1357,x1358,x1359,x1360,x1361,x1362
,x1363,x1364,x1365,x1366,x1367,x1368,x1369,x1370,x1371,x1372,x1373
,x1374,x1375,x1376,x1377,x1378,x1379,x1380,x1381,x1382,x1383,x1384
,x1385,x1386,x1387,x1388,x1389,x1390,x1391,x1392,x1393,x1394,x1395
,x1396,x1397,x1398,x1399,x1400,x1401,x1402,x1403,x1404,x1405,x1406
,x1407,x1408,x1409,x1410,x1411,x1412,x1413,x1414,x1415,x1416,x1417
,x1418,x1419,x1420,x1421,x1422,x1423,x1424,x1425,x1426,x1427,x1428
,x1429,x1430,x1431,x1432,x1433,x1434,x1435,x1436,x1437,x1438,x1439
,x1440,x1441;
Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218
,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231
,b232,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244
,b245,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257
,b258,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270
,b271,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283
,b284,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296
,b297,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,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;
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;
e1.. -(628.16985235088*sqrt(1e-8 + x562) + 553.10319748124*sqrt(1e-8 + x563) +
322.31494980062*sqrt(1e-8 + x564) + 583.43337529064*sqrt(1e-8 + x565) +
471.36554842706*sqrt(1e-8 + x566) + 561.75758179226*sqrt(1e-8 + x567) +
445.14926772974*sqrt(1e-8 + x568) + 498.77932502258*sqrt(1e-8 + x569) +
124.42758176366*sqrt(1e-8 + x570) + 436.52083033286*sqrt(1e-8 + x571) +
356.9177587472*sqrt(1e-8 + x572) + 282.8874345353*sqrt(1e-8 + x573) +
284.39841427802*sqrt(1e-8 + x574) + 150.67769279696*sqrt(1e-8 + x575) +
469.35532092806*sqrt(1e-8 + x576) + 415.3284449909*sqrt(1e-8 + x577) +
164.3072650982*sqrt(1e-8 + x578) + 324.11163791132*sqrt(1e-8 + x579) +
81.04437609002*sqrt(1e-8 + x580) + 632.19449823362*sqrt(1e-8 + x581) +
10724.9854196982*sqrt(1e-8 + x481) + 14547.7974984755*sqrt(1e-8 + x482) +
4265.05603500384*sqrt(1e-8 + x483) + 24452.8053761036*sqrt(1e-8 + x484) +
1179.66292914917*sqrt(1e-8 + x485) + 6132.38672662767*sqrt(1e-8 + x486) +
27585.3811105593*sqrt(1e-8 + x487) + 2259.70718913058*sqrt(1e-8 + x488) +
3289.55277707927*sqrt(1e-8 + x489) + 3342.14435896077*sqrt(1e-8 + x490) +
900.764571752834*sqrt(1e-8 + x491) + 8055.3162677723*sqrt(1e-8 + x492) +
32941.16376279*sqrt(1e-8 + x493) + 431.797961673595*sqrt(1e-8 + x494) +
4021.04943619917*sqrt(1e-8 + x495) + 25166.4818742554*sqrt(1e-8 + x496) +
2605.76318713574*sqrt(1e-8 + x497) + 1491.21805880771*sqrt(1e-8 + x498) +
4077.79925989781*sqrt(1e-8 + x499) + 5650.96331195863*sqrt(1e-8 + x500))
- 151717.47132*b41 - 158432.66708*b42 - 155503.75356*b43
- 153011.37904*b44 - 152922.12117*b45 - 152240.52867*b46
- 153498.30504*b47 - 158562.70347*b48 - 150671.13723*b49
- 155002.10669*b50 - 159981.17627*b51 - 155787.33378*b52
- 159911.33039*b53 - 157622.50467*b54 - 151306.92483*b55
- 156397.18759*b56 - 151595.17864*b57 - 152500.80533*b58
- 156689.28609*b59 - 154353.56381*b60 - 49940.0926788694*b61
- 46936.611156139*b62 - 14976.5568800964*b63 - 43134.756315246*b64
- 22820.0958711009*b65 - 21965.2956888665*b66 - 22303.8265187681*b67
- 104383.019284937*b68 - 54736.001724846*b69 - 112426.066607687*b70
- 63769.1785987634*b71 - 145066.929428423*b72 - 70373.9355702319*b73
- 112683.023536075*b74 - 19696.9906131097*b75 - 36647.3310524983*b76
- 37075.9223152248*b77 - 32097.4393384896*b78 - 6929.62323880938*b79
- 21058.5355708715*b80 - 97415.6497929395*b81 - 44236.7277071699*b82
- 29441.7007009965*b83 - 42353.5021118158*b84 - 42386.7708714185*b85
- 21009.8710775819*b86 - 21984.6864431267*b87 - 104136.682142114*b88
- 36311.2507819522*b89 - 55617.5858456751*b90 - 63657.1856467563*b91
- 96810.003198725*b92 - 35062.3235790063*b93 - 112558.972898371*b94
- 18476.707864806*b95 - 12609.232566999*b96 - 37525.8523147739*b97
- 31968.2999418955*b98 - 8424.49088665311*b99 - 40891.2388460162*b100
- 50995.2322382805*b101 - 23113.7878255296*b102 - 14419.7690001276*b103
- 82881.3269118643*b104 - 44294.6548480457*b105 - 21246.4144796051*b106
- 65004.6877417162*b107 - 105626.00446612*b108 - 36167.7980700646*b109
- 112278.540882539*b110 - 62569.72049654*b111 - 96236.913167209*b112
- 102688.792093548*b113 - 76503.2712529064*b114 - 16702.5766802838*b115
- 22863.9747789464*b116 - 73133.245814131*b117 - 14651.6416783444*b118
- 17428.1900494671*b119 - 20422.9810814209*b120 - 148105.923615282*b121
- 65977.4129439316*b122 - 43945.464548629*b123 - 40796.380433878*b124
- 21755.6714308115*b125 - 20474.027041237*b126 - 22942.2003821921*b127
- 71203.3585365283*b128 - 55161.6342879088*b129 - 54437.9012447575*b130
- 33036.7003350506*b131 - 94816.2863501018*b132 - 33993.4963865875*b133
- 113303.009309363*b134 - 49330.5938143244*b135 - 11628.5331214585*b136
- 74511.4028248067*b137 - 42969.1464190804*b138 - 19430.3905022394*b139
- 40428.1057566121*b140 - 149427.911554271*b141 - 24139.2801412126*b142
- 17312.2756954271*b143 - 42346.6561127339*b144 - 46619.7391674932*b145
- 22646.3973754538*b146 - 65957.0501337747*b147 - 36489.3368502398*b148
- 35898.6510101589*b149 - 164056.857967767*b150 - 63568.6844105947*b151
- 97885.613977249*b152 - 38387.6843432852*b153 - 78103.4018649277*b154
- 36664.2120331621*b155 - 37908.7266822583*b156 - 39842.8273994738*b157
- 16079.2398026614*b158 - 8296.98114864658*b159 - 22026.534395627*b160
- 52397.043515376*b161 - 25020.8813801779*b162 - 47118.6805571232*b163
- 83760.2685474742*b164 - 26061.0001878265*b165 - 22902.3775587258*b166
- 66811.3688469278*b167 - 71970.8284163786*b168 - 37155.5521680899*b169
- 57795.6049379438*b170 - 64967.7655234232*b171 - 51544.1460968177*b172
- 71366.3228786263*b173 - 76226.8180809023*b174 - 52097.7999969491*b175
- 24908.4992976303*b176 - 74216.8994250393*b177 - 30617.9288749697*b178
- 20080.3365963308*b179 - 40506.0396466448*b180 - 51043.1622807781*b181
- 64616.9806210466*b182 - 27806.3084896403*b183 - 84042.2529413935*b184
- 61796.2643559321*b185 - 61002.1965408315*b186 - 22720.5262220174*b187
- 104194.16331428*b188 - 34903.0308003969*b189 - 55671.2177630782*b190
- 62642.2719912287*b191 - 92935.1002455365*b192 - 103947.824852775*b193
- 115122.757942221*b194 - 17267.6943613687*b195 - 23380.244458238*b196
- 74966.7869483867*b197 - 31903.6230186559*b198 - 7802.28933409676*b199
- 61453.4318275604*b200 - 148474.552741161*b201 - 47608.0467998605*b202
- 17471.3332715848*b203 - 83597.6892741778*b204 - 24727.3622809502*b205
- 62674.2262035131*b206 - 44688.5774721041*b207 - 105729.178445681*b208
- 53790.9570997895*b209 - 112033.136649408*b210 - 35248.4453750864*b211
- 141869.121203777*b212 - 102332.547408001*b213 - 116143.476990955*b214
- 55635.3149990526*b215 - 26313.0946738309*b216 - 110714.562101548*b217
- 44999.8800900945*b218 - 18969.4080247347*b219 - 42462.0991827754*b220
- 51604.0151595643*b221 - 48580.802189608*b222 - 17043.9454130197*b223
- 121632.148960183*b224 - 23955.1612138919*b225 - 23823.4341883207*b226
- 65557.1354193703*b227 - 108247.389471461*b228 - 55584.4483456917*b229
- 170829.990555618*b230 - 34661.9116065148*b231 - 50553.3708285299*b232
- 107051.79274348*b233 - 112162.217376321*b234 - 57830.8120516184*b235
- 14198.1687381985*b236 - 74063.575744653*b237 - 17282.410696889*b238
- 8499.98830323803*b239 - 41387.7194585027*b240 - 51463.790650096*b241
- 23831.034519362*b242 - 40563.1544594552*b243 - 84383.5389190777*b244
- 21507.8320221011*b245 - 42379.1656472218*b246 - 23332.0693228653*b247
- 104742.925499576*b248 - 19436.4286067633*b249 - 111593.385900696*b250
- 63742.0295495739*b251 - 95463.573760628*b252 - 70274.4169294651*b253
- 74596.4252484756*b254 - 37144.9208088593*b255 - 13192.1144900361*b256
- 111649.063144863*b257 - 15595.9681254983*b258 - 19462.5851430568*b259
- 41138.2530200912*b260 - 48964.6401464808*b261 - 44739.8884438946*b262
- 29867.6572170392*b263 - 81518.908377922*b264 - 21151.3499263383*b265
- 61062.6625472854*b266 - 63856.8719667818*b267 - 35327.9486732174*b268
- 36164.0793773884*b269 - 56309.3509721643*b270 - 94729.3281080444*b271
- 48463.1894668878*b272 - 102787.573084334*b273 - 110144.937290618*b274
- 54711.8135772123*b275 - 35955.6071403146*b276 - 112523.349110488*b277
- 30320.7407106752*b278 - 11644.3927484167*b279 - 59073.5260008984*b280
- 98269.2273989421*b281 - 24293.2966920321*b282 - 27522.4237859957*b283
- 84698.6994049008*b284 - 63040.5049163053*b285 - 22706.8104643229*b286
- 23019.5912402054*b287 - 37490.5125367815*b288 - 35911.7578085739*b289
- 111511.482165357*b290 - 34491.2814405346*b291 - 143622.254646164*b292
- 69419.7353253447*b293 - 77998.3815035671*b294 - 50802.2008470325*b295
- 34981.6726376187*b296 - 39180.7838227829*b297 - 48133.1685083211*b298
- 23281.0473943528*b299 - 20892.4692315603*b300 - 100652.455598102*b301
- 45874.9492014927*b302 - 15616.1401463755*b303 - 82909.7135392471*b304
- 43477.9663100298*b305 - 63078.5352003476*b306 - 43523.6134596692*b307
- 36094.9752464575*b308 - 18631.0718839884*b309 - 56565.8323675105*b310
- 95263.4572191307*b311 - 138891.200352705*b312 - 104250.713389144*b313
- 115094.455819153*b314 - 18284.8964876372*b315 - 11159.1658218589*b316
- 75318.9716999284*b317 - 15588.1005371429*b318 - 18830.9830753082*b319
- 59128.9542960285*b320 - 52473.9854739328*b321 - 25236.3888870758*b322
- 32425.5049491655*b323 - 83085.8865081133*b324 - 26445.347403133*b325
- 42076.4376531314*b326 - 46939.2474818276*b327 - 71519.0052821769*b328
- 55427.1889642834*b329 - 58657.4266183252*b330 - 34349.2431260734*b331
- 99325.9031918526*b332 - 72634.5105443186*b333 - 41458.0677474606*b334
- 20162.0232146457*b335 - 36459.7159116041*b336 - 40482.1996934918*b337
- 17380.5588358729*b338 - 8868.05970413925*b339 - 21658.0574056408*b340
- 150296.900157508*b341 - 22796.762651925*b342 - 26540.0211705138*b343
- 42557.936809539*b344 - 41376.9461293676*b345 - 60014.5280329481*b346
- 43990.3932564276*b347 - 36041.2576462233*b348 - 19254.09383839*b349
- 56690.484213882*b350 - 61219.9249678347*b351 - 47768.2848021692*b352
- 36111.2163261578*b353 - 113513.695025573*b354 - 53127.2483187977*b355
- 11487.3174803498*b356 - 107911.971623558*b357 - 15101.956309882*b358
- 19096.5899678736*b359 - 60243.4865263667*b360 - 150411.553506344*b361
- 45382.7611803016*b362 - 15608.7958187044*b363 - 81734.2045857829*b364
- 41881.2802814368*b365 - 22441.1668475743*b366 - 67089.9925182733*b367
- 35825.1633566473*b368 - 19377.0078134617*b369 - 109150.094953733*b370
- 32718.5426764299*b371 - 144751.38067703*b372 - 107863.249118787*b373
- 75598.2545633585*b374 - 33526.9638968101*b375 - 32335.1829306255*b376
- 74669.2240590821*b377 - 44413.1670235158*b378 - 20696.0091059043*b379
- 20844.7460178439*b380 - 52092.1043212772*b381 - 70836.9794068851*b382
- 27768.29071964*b383 - 121727.378619247*b384 - 66270.549797223*b385
- 64607.734778726*b386 - 24465.3593307839*b387 - 71486.3864372446*b388
- 37557.8619617199*b389 - 169413.509586076*b390 - 33517.7047720508*b391
- 95080.4413915532*b392 - 109421.688251116*b393 - 76338.8558485655*b394
- 19706.8551265755*b395 - 38067.4593849576*b396 - 39172.4010236582*b397
- 32674.5348728911*b398 - 14106.4430859168*b399 - 40317.6964188791*b400
- 101542.833546438*b401 - 46576.5986015664*b402 - 30548.6776164874*b403
- 123482.333783121*b404 - 24330.9020610823*b405 - 65283.7274225361*b406
- 63850.0241307953*b407 - 106529.36014833*b408 - 20280.1774221538*b409
- 58238.6751545961*b410 - 33315.3147205695*b411 - 49166.9395768885*b412
- 104876.481892652*b413 - 39515.5695677013*b414 - 51222.9503715313*b415
- 24781.2171633031*b416 - 39365.8523469953*b417 - 47974.7628851918*b418
- 8908.12698720856*b419 - 63127.1448717008*b420 - 51064.6091747603*b421
- 45572.8466739699*b422 - 31695.7488608082*b423 - 125274.314675911*b424
- 46815.4202521517*b425 - 43297.2962942454*b426 - 44139.6378653885*b427
- 105628.966694369*b428 - 54145.2440075419*b429 - 110163.655099546*b430
- 34730.4932924659*b431 - 95473.6293017541*b432 - 71338.9225874173*b433
- 111548.63611851*b434 - 19407.7630000081*b435 - 25244.0295390981*b436
- 74464.3485389139*b437 - 16224.8606242806*b438 - 14657.5491332624*b439
- 40229.7424660295*b440 - 101789.292285794*b441 - 23695.8410439718*b442
- 31010.112341167*b443 - 82096.0202776412*b444 - 24107.2269715576*b445
- 42169.2620272069*b446 - 65330.3504186681*b447 - 70658.4259001048*b448
- 18994.2021995856*b449 - 109012.776992159*b450 - 64894.3934035223*b451
- 49495.2408908186*b452 - 68614.1514084148*b453 - 40079.3447066984*b454
- 35099.2859362167*b455 - 12671.061686154*b456 - 76355.4506074883*b457
- 46193.2670074233*b458 - 7948.00680194773*b459 - 62521.312321758*b460
+ objvar - 1152.830176089*x502 - 229.8430997855*x503 - 884.36209452*x504
- 676.1672156905*x505 - 1403.9952265425*x506 - 377.548279739*x507
- 968.6266492935*x508 - 248.870620194*x509 - 1178.57917414375*x510
- 873.9499531545*x511 - 1645.5840216925*x512 - 772.950256056*x513
- 169.06984297625*x514 - 351.53859788125*x515 - 1660.286824125*x516
- 682.700557025*x517 - 130.4078098785*x518 - 1404.9947156055*x519
- 173.3753748915*x520 - 293.285515546*x521 - 1522.153376249*x522
- 1441.42918617*x523 - 592.2471567135*x524 - 344.75596786125*x525
- 1428.72034488375*x526 - 502.94806559875*x527 - 485.133720711*x528
- 267.78397665075*x529 - 457.7061385555*x530 - 287.7586114875*x531
- 329.42993497325*x532 - 2728.291739047*x533 - 494.08940241225*x534
- 2080.6156905825*x535 - 974.85667823775*x536 - 173.5112729325*x537
- 775.029297516*x538 - 228.4544773605*x539 - 365.737060925*x540
- 147.06099052275*x541 =E= 0;
e2.. b1 + b21 - b41 =E= 0;
e3.. b2 + b22 - b42 =E= 0;
e4.. b3 + b23 - b43 =E= 0;
e5.. b4 + b24 - b44 =E= 0;
e6.. b5 + b25 - b45 =E= 0;
e7.. b6 + b26 - b46 =E= 0;
e8.. b7 + b27 - b47 =E= 0;
e9.. b8 + b28 - b48 =E= 0;
e10.. b9 + b29 - b49 =E= 0;
e11.. b10 + b30 - b50 =E= 0;
e12.. b11 + b31 - b51 =E= 0;
e13.. b12 + b32 - b52 =E= 0;
e14.. b13 + b33 - b53 =E= 0;
e15.. b14 + b34 - b54 =E= 0;
e16.. b15 + b35 - b55 =E= 0;
e17.. b16 + b36 - b56 =E= 0;
e18.. b17 + b37 - b57 =E= 0;
e19.. b18 + b38 - b58 =E= 0;
e20.. b19 + b39 - b59 =E= 0;
e21.. b20 + b40 - b60 =E= 0;
e22.. - b41 + b61 =L= 0;
e23.. - b41 + b62 =L= 0;
e24.. - b41 + b63 =L= 0;
e25.. - b41 + b64 =L= 0;
e26.. - b41 + b65 =L= 0;
e27.. - b41 + b66 =L= 0;
e28.. - b41 + b67 =L= 0;
e29.. - b41 + b68 =L= 0;
e30.. - b41 + b69 =L= 0;
e31.. - b41 + b70 =L= 0;
e32.. - b41 + b71 =L= 0;
e33.. - b41 + b72 =L= 0;
e34.. - b41 + b73 =L= 0;
e35.. - b41 + b74 =L= 0;
e36.. - b41 + b75 =L= 0;
e37.. - b41 + b76 =L= 0;
e38.. - b41 + b77 =L= 0;
e39.. - b41 + b78 =L= 0;
e40.. - b41 + b79 =L= 0;
e41.. - b41 + b80 =L= 0;
e42.. - b42 + b81 =L= 0;
e43.. - b42 + b82 =L= 0;
e44.. - b42 + b83 =L= 0;
e45.. - b42 + b84 =L= 0;
e46.. - b42 + b85 =L= 0;
e47.. - b42 + b86 =L= 0;
e48.. - b42 + b87 =L= 0;
e49.. - b42 + b88 =L= 0;
e50.. - b42 + b89 =L= 0;
e51.. - b42 + b90 =L= 0;
e52.. - b42 + b91 =L= 0;
e53.. - b42 + b92 =L= 0;
e54.. - b42 + b93 =L= 0;
e55.. - b42 + b94 =L= 0;
e56.. - b42 + b95 =L= 0;
e57.. - b42 + b96 =L= 0;
e58.. - b42 + b97 =L= 0;
e59.. - b42 + b98 =L= 0;
e60.. - b42 + b99 =L= 0;
e61.. - b42 + b100 =L= 0;
e62.. - b43 + b101 =L= 0;
e63.. - b43 + b102 =L= 0;
e64.. - b43 + b103 =L= 0;
e65.. - b43 + b104 =L= 0;
e66.. - b43 + b105 =L= 0;
e67.. - b43 + b106 =L= 0;
e68.. - b43 + b107 =L= 0;
e69.. - b43 + b108 =L= 0;
e70.. - b43 + b109 =L= 0;
e71.. - b43 + b110 =L= 0;
e72.. - b43 + b111 =L= 0;
e73.. - b43 + b112 =L= 0;
e74.. - b43 + b113 =L= 0;
e75.. - b43 + b114 =L= 0;
e76.. - b43 + b115 =L= 0;
e77.. - b43 + b116 =L= 0;
e78.. - b43 + b117 =L= 0;
e79.. - b43 + b118 =L= 0;
e80.. - b43 + b119 =L= 0;
e81.. - b43 + b120 =L= 0;
e82.. - b44 + b121 =L= 0;
e83.. - b44 + b122 =L= 0;
e84.. - b44 + b123 =L= 0;
e85.. - b44 + b124 =L= 0;
e86.. - b44 + b125 =L= 0;
e87.. - b44 + b126 =L= 0;
e88.. - b44 + b127 =L= 0;
e89.. - b44 + b128 =L= 0;
e90.. - b44 + b129 =L= 0;
e91.. - b44 + b130 =L= 0;
e92.. - b44 + b131 =L= 0;
e93.. - b44 + b132 =L= 0;
e94.. - b44 + b133 =L= 0;
e95.. - b44 + b134 =L= 0;
e96.. - b44 + b135 =L= 0;
e97.. - b44 + b136 =L= 0;
e98.. - b44 + b137 =L= 0;
e99.. - b44 + b138 =L= 0;
e100.. - b44 + b139 =L= 0;
e101.. - b44 + b140 =L= 0;
e102.. - b45 + b141 =L= 0;
e103.. - b45 + b142 =L= 0;
e104.. - b45 + b143 =L= 0;
e105.. - b45 + b144 =L= 0;
e106.. - b45 + b145 =L= 0;
e107.. - b45 + b146 =L= 0;
e108.. - b45 + b147 =L= 0;
e109.. - b45 + b148 =L= 0;
e110.. - b45 + b149 =L= 0;
e111.. - b45 + b150 =L= 0;
e112.. - b45 + b151 =L= 0;
e113.. - b45 + b152 =L= 0;
e114.. - b45 + b153 =L= 0;
e115.. - b45 + b154 =L= 0;
e116.. - b45 + b155 =L= 0;
e117.. - b45 + b156 =L= 0;
e118.. - b45 + b157 =L= 0;
e119.. - b45 + b158 =L= 0;
e120.. - b45 + b159 =L= 0;
e121.. - b45 + b160 =L= 0;
e122.. - b46 + b161 =L= 0;
e123.. - b46 + b162 =L= 0;
e124.. - b46 + b163 =L= 0;
e125.. - b46 + b164 =L= 0;
e126.. - b46 + b165 =L= 0;
e127.. - b46 + b166 =L= 0;
e128.. - b46 + b167 =L= 0;
e129.. - b46 + b168 =L= 0;
e130.. - b46 + b169 =L= 0;
e131.. - b46 + b170 =L= 0;
e132.. - b46 + b171 =L= 0;
e133.. - b46 + b172 =L= 0;
e134.. - b46 + b173 =L= 0;
e135.. - b46 + b174 =L= 0;
e136.. - b46 + b175 =L= 0;
e137.. - b46 + b176 =L= 0;
e138.. - b46 + b177 =L= 0;
e139.. - b46 + b178 =L= 0;
e140.. - b46 + b179 =L= 0;
e141.. - b46 + b180 =L= 0;
e142.. - b47 + b181 =L= 0;
e143.. - b47 + b182 =L= 0;
e144.. - b47 + b183 =L= 0;
e145.. - b47 + b184 =L= 0;
e146.. - b47 + b185 =L= 0;
e147.. - b47 + b186 =L= 0;
e148.. - b47 + b187 =L= 0;
e149.. - b47 + b188 =L= 0;
e150.. - b47 + b189 =L= 0;
e151.. - b47 + b190 =L= 0;
e152.. - b47 + b191 =L= 0;
e153.. - b47 + b192 =L= 0;
e154.. - b47 + b193 =L= 0;
e155.. - b47 + b194 =L= 0;
e156.. - b47 + b195 =L= 0;
e157.. - b47 + b196 =L= 0;
e158.. - b47 + b197 =L= 0;
e159.. - b47 + b198 =L= 0;
e160.. - b47 + b199 =L= 0;
e161.. - b47 + b200 =L= 0;
e162.. - b48 + b201 =L= 0;
e163.. - b48 + b202 =L= 0;
e164.. - b48 + b203 =L= 0;
e165.. - b48 + b204 =L= 0;
e166.. - b48 + b205 =L= 0;
e167.. - b48 + b206 =L= 0;
e168.. - b48 + b207 =L= 0;
e169.. - b48 + b208 =L= 0;
e170.. - b48 + b209 =L= 0;
e171.. - b48 + b210 =L= 0;
e172.. - b48 + b211 =L= 0;
e173.. - b48 + b212 =L= 0;
e174.. - b48 + b213 =L= 0;
e175.. - b48 + b214 =L= 0;
e176.. - b48 + b215 =L= 0;
e177.. - b48 + b216 =L= 0;
e178.. - b48 + b217 =L= 0;
e179.. - b48 + b218 =L= 0;
e180.. - b48 + b219 =L= 0;
e181.. - b48 + b220 =L= 0;
e182.. - b49 + b221 =L= 0;
e183.. - b49 + b222 =L= 0;
e184.. - b49 + b223 =L= 0;
e185.. - b49 + b224 =L= 0;
e186.. - b49 + b225 =L= 0;
e187.. - b49 + b226 =L= 0;
e188.. - b49 + b227 =L= 0;
e189.. - b49 + b228 =L= 0;
e190.. - b49 + b229 =L= 0;
e191.. - b49 + b230 =L= 0;
e192.. - b49 + b231 =L= 0;
e193.. - b49 + b232 =L= 0;
e194.. - b49 + b233 =L= 0;
e195.. - b49 + b234 =L= 0;
e196.. - b49 + b235 =L= 0;
e197.. - b49 + b236 =L= 0;
e198.. - b49 + b237 =L= 0;
e199.. - b49 + b238 =L= 0;
e200.. - b49 + b239 =L= 0;
e201.. - b49 + b240 =L= 0;
e202.. - b50 + b241 =L= 0;
e203.. - b50 + b242 =L= 0;
e204.. - b50 + b243 =L= 0;
e205.. - b50 + b244 =L= 0;
e206.. - b50 + b245 =L= 0;
e207.. - b50 + b246 =L= 0;
e208.. - b50 + b247 =L= 0;
e209.. - b50 + b248 =L= 0;
e210.. - b50 + b249 =L= 0;
e211.. - b50 + b250 =L= 0;
e212.. - b50 + b251 =L= 0;
e213.. - b50 + b252 =L= 0;
e214.. - b50 + b253 =L= 0;
e215.. - b50 + b254 =L= 0;
e216.. - b50 + b255 =L= 0;
e217.. - b50 + b256 =L= 0;
e218.. - b50 + b257 =L= 0;
e219.. - b50 + b258 =L= 0;
e220.. - b50 + b259 =L= 0;
e221.. - b50 + b260 =L= 0;
e222.. - b51 + b261 =L= 0;
e223.. - b51 + b262 =L= 0;
e224.. - b51 + b263 =L= 0;
e225.. - b51 + b264 =L= 0;
e226.. - b51 + b265 =L= 0;
e227.. - b51 + b266 =L= 0;
e228.. - b51 + b267 =L= 0;
e229.. - b51 + b268 =L= 0;
e230.. - b51 + b269 =L= 0;
e231.. - b51 + b270 =L= 0;
e232.. - b51 + b271 =L= 0;
e233.. - b51 + b272 =L= 0;
e234.. - b51 + b273 =L= 0;
e235.. - b51 + b274 =L= 0;
e236.. - b51 + b275 =L= 0;
e237.. - b51 + b276 =L= 0;
e238.. - b51 + b277 =L= 0;
e239.. - b51 + b278 =L= 0;
e240.. - b51 + b279 =L= 0;
e241.. - b51 + b280 =L= 0;
e242.. - b52 + b281 =L= 0;
e243.. - b52 + b282 =L= 0;
e244.. - b52 + b283 =L= 0;
e245.. - b52 + b284 =L= 0;
e246.. - b52 + b285 =L= 0;
e247.. - b52 + b286 =L= 0;
e248.. - b52 + b287 =L= 0;
e249.. - b52 + b288 =L= 0;
e250.. - b52 + b289 =L= 0;
e251.. - b52 + b290 =L= 0;
e252.. - b52 + b291 =L= 0;
e253.. - b52 + b292 =L= 0;
e254.. - b52 + b293 =L= 0;
e255.. - b52 + b294 =L= 0;
e256.. - b52 + b295 =L= 0;
e257.. - b52 + b296 =L= 0;
e258.. - b52 + b297 =L= 0;
e259.. - b52 + b298 =L= 0;
e260.. - b52 + b299 =L= 0;
e261.. - b52 + b300 =L= 0;
e262.. - b53 + b301 =L= 0;
e263.. - b53 + b302 =L= 0;
e264.. - b53 + b303 =L= 0;
e265.. - b53 + b304 =L= 0;
e266.. - b53 + b305 =L= 0;
e267.. - b53 + b306 =L= 0;
e268.. - b53 + b307 =L= 0;
e269.. - b53 + b308 =L= 0;
e270.. - b53 + b309 =L= 0;
e271.. - b53 + b310 =L= 0;
e272.. - b53 + b311 =L= 0;
e273.. - b53 + b312 =L= 0;
e274.. - b53 + b313 =L= 0;
e275.. - b53 + b314 =L= 0;
e276.. - b53 + b315 =L= 0;
e277.. - b53 + b316 =L= 0;
e278.. - b53 + b317 =L= 0;
e279.. - b53 + b318 =L= 0;
e280.. - b53 + b319 =L= 0;
e281.. - b53 + b320 =L= 0;
e282.. - b54 + b321 =L= 0;
e283.. - b54 + b322 =L= 0;
e284.. - b54 + b323 =L= 0;
e285.. - b54 + b324 =L= 0;
e286.. - b54 + b325 =L= 0;
e287.. - b54 + b326 =L= 0;
e288.. - b54 + b327 =L= 0;
e289.. - b54 + b328 =L= 0;
e290.. - b54 + b329 =L= 0;
e291.. - b54 + b330 =L= 0;
e292.. - b54 + b331 =L= 0;
e293.. - b54 + b332 =L= 0;
e294.. - b54 + b333 =L= 0;
e295.. - b54 + b334 =L= 0;
e296.. - b54 + b335 =L= 0;
e297.. - b54 + b336 =L= 0;
e298.. - b54 + b337 =L= 0;
e299.. - b54 + b338 =L= 0;
e300.. - b54 + b339 =L= 0;
e301.. - b54 + b340 =L= 0;
e302.. - b55 + b341 =L= 0;
e303.. - b55 + b342 =L= 0;
e304.. - b55 + b343 =L= 0;
e305.. - b55 + b344 =L= 0;
e306.. - b55 + b345 =L= 0;
e307.. - b55 + b346 =L= 0;
e308.. - b55 + b347 =L= 0;
e309.. - b55 + b348 =L= 0;
e310.. - b55 + b349 =L= 0;
e311.. - b55 + b350 =L= 0;
e312.. - b55 + b351 =L= 0;
e313.. - b55 + b352 =L= 0;
e314.. - b55 + b353 =L= 0;
e315.. - b55 + b354 =L= 0;
e316.. - b55 + b355 =L= 0;
e317.. - b55 + b356 =L= 0;
e318.. - b55 + b357 =L= 0;
e319.. - b55 + b358 =L= 0;
e320.. - b55 + b359 =L= 0;
e321.. - b55 + b360 =L= 0;
e322.. - b56 + b361 =L= 0;
e323.. - b56 + b362 =L= 0;
e324.. - b56 + b363 =L= 0;
e325.. - b56 + b364 =L= 0;
e326.. - b56 + b365 =L= 0;
e327.. - b56 + b366 =L= 0;
e328.. - b56 + b367 =L= 0;
e329.. - b56 + b368 =L= 0;
e330.. - b56 + b369 =L= 0;
e331.. - b56 + b370 =L= 0;
e332.. - b56 + b371 =L= 0;
e333.. - b56 + b372 =L= 0;
e334.. - b56 + b373 =L= 0;
e335.. - b56 + b374 =L= 0;
e336.. - b56 + b375 =L= 0;
e337.. - b56 + b376 =L= 0;
e338.. - b56 + b377 =L= 0;
e339.. - b56 + b378 =L= 0;
e340.. - b56 + b379 =L= 0;
e341.. - b56 + b380 =L= 0;
e342.. - b57 + b381 =L= 0;
e343.. - b57 + b382 =L= 0;
e344.. - b57 + b383 =L= 0;
e345.. - b57 + b384 =L= 0;
e346.. - b57 + b385 =L= 0;
e347.. - b57 + b386 =L= 0;
e348.. - b57 + b387 =L= 0;
e349.. - b57 + b388 =L= 0;
e350.. - b57 + b389 =L= 0;
e351.. - b57 + b390 =L= 0;
e352.. - b57 + b391 =L= 0;
e353.. - b57 + b392 =L= 0;
e354.. - b57 + b393 =L= 0;
e355.. - b57 + b394 =L= 0;
e356.. - b57 + b395 =L= 0;
e357.. - b57 + b396 =L= 0;
e358.. - b57 + b397 =L= 0;
e359.. - b57 + b398 =L= 0;
e360.. - b57 + b399 =L= 0;
e361.. - b57 + b400 =L= 0;
e362.. - b58 + b401 =L= 0;
e363.. - b58 + b402 =L= 0;
e364.. - b58 + b403 =L= 0;
e365.. - b58 + b404 =L= 0;
e366.. - b58 + b405 =L= 0;
e367.. - b58 + b406 =L= 0;
e368.. - b58 + b407 =L= 0;
e369.. - b58 + b408 =L= 0;
e370.. - b58 + b409 =L= 0;
e371.. - b58 + b410 =L= 0;
e372.. - b58 + b411 =L= 0;
e373.. - b58 + b412 =L= 0;
e374.. - b58 + b413 =L= 0;
e375.. - b58 + b414 =L= 0;
e376.. - b58 + b415 =L= 0;
e377.. - b58 + b416 =L= 0;
e378.. - b58 + b417 =L= 0;
e379.. - b58 + b418 =L= 0;
e380.. - b58 + b419 =L= 0;
e381.. - b58 + b420 =L= 0;
e382.. - b59 + b421 =L= 0;
e383.. - b59 + b422 =L= 0;
e384.. - b59 + b423 =L= 0;
e385.. - b59 + b424 =L= 0;
e386.. - b59 + b425 =L= 0;
e387.. - b59 + b426 =L= 0;
e388.. - b59 + b427 =L= 0;
e389.. - b59 + b428 =L= 0;
e390.. - b59 + b429 =L= 0;
e391.. - b59 + b430 =L= 0;
e392.. - b59 + b431 =L= 0;
e393.. - b59 + b432 =L= 0;
e394.. - b59 + b433 =L= 0;
e395.. - b59 + b434 =L= 0;
e396.. - b59 + b435 =L= 0;
e397.. - b59 + b436 =L= 0;
e398.. - b59 + b437 =L= 0;
e399.. - b59 + b438 =L= 0;
e400.. - b59 + b439 =L= 0;
e401.. - b59 + b440 =L= 0;
e402.. - b60 + b441 =L= 0;
e403.. - b60 + b442 =L= 0;
e404.. - b60 + b443 =L= 0;
e405.. - b60 + b444 =L= 0;
e406.. - b60 + b445 =L= 0;
e407.. - b60 + b446 =L= 0;
e408.. - b60 + b447 =L= 0;
e409.. - b60 + b448 =L= 0;
e410.. - b60 + b449 =L= 0;
e411.. - b60 + b450 =L= 0;
e412.. - b60 + b451 =L= 0;
e413.. - b60 + b452 =L= 0;
e414.. - b60 + b453 =L= 0;
e415.. - b60 + b454 =L= 0;
e416.. - b60 + b455 =L= 0;
e417.. - b60 + b456 =L= 0;
e418.. - b60 + b457 =L= 0;
e419.. - b60 + b458 =L= 0;
e420.. - b60 + b459 =L= 0;
e421.. - b60 + b460 =L= 0;
e422.. b61 + b81 + b101 + b121 + b141 + b161 + b181 + b201 + b221 + b241
+ b261 + b281 + b301 + b321 + b341 + b361 + b381 + b401 + b421 + b441
=E= 1;
e423.. b62 + b82 + b102 + b122 + b142 + b162 + b182 + b202 + b222 + b242
+ b262 + b282 + b302 + b322 + b342 + b362 + b382 + b402 + b422 + b442
=E= 1;
e424.. b63 + b83 + b103 + b123 + b143 + b163 + b183 + b203 + b223 + b243
+ b263 + b283 + b303 + b323 + b343 + b363 + b383 + b403 + b423 + b443
=E= 1;
e425.. b64 + b84 + b104 + b124 + b144 + b164 + b184 + b204 + b224 + b244
+ b264 + b284 + b304 + b324 + b344 + b364 + b384 + b404 + b424 + b444
=E= 1;
e426.. b65 + b85 + b105 + b125 + b145 + b165 + b185 + b205 + b225 + b245
+ b265 + b285 + b305 + b325 + b345 + b365 + b385 + b405 + b425 + b445
=E= 1;
e427.. b66 + b86 + b106 + b126 + b146 + b166 + b186 + b206 + b226 + b246
+ b266 + b286 + b306 + b326 + b346 + b366 + b386 + b406 + b426 + b446
=E= 1;
e428.. b67 + b87 + b107 + b127 + b147 + b167 + b187 + b207 + b227 + b247
+ b267 + b287 + b307 + b327 + b347 + b367 + b387 + b407 + b427 + b447
=E= 1;
e429.. b68 + b88 + b108 + b128 + b148 + b168 + b188 + b208 + b228 + b248
+ b268 + b288 + b308 + b328 + b348 + b368 + b388 + b408 + b428 + b448
=E= 1;
e430.. b69 + b89 + b109 + b129 + b149 + b169 + b189 + b209 + b229 + b249
+ b269 + b289 + b309 + b329 + b349 + b369 + b389 + b409 + b429 + b449
=E= 1;
e431.. b70 + b90 + b110 + b130 + b150 + b170 + b190 + b210 + b230 + b250
+ b270 + b290 + b310 + b330 + b350 + b370 + b390 + b410 + b430 + b450
=E= 1;
e432.. b71 + b91 + b111 + b131 + b151 + b171 + b191 + b211 + b231 + b251
+ b271 + b291 + b311 + b331 + b351 + b371 + b391 + b411 + b431 + b451
=E= 1;
e433.. b72 + b92 + b112 + b132 + b152 + b172 + b192 + b212 + b232 + b252
+ b272 + b292 + b312 + b332 + b352 + b372 + b392 + b412 + b432 + b452
=E= 1;
e434.. b73 + b93 + b113 + b133 + b153 + b173 + b193 + b213 + b233 + b253
+ b273 + b293 + b313 + b333 + b353 + b373 + b393 + b413 + b433 + b453
=E= 1;
e435.. b74 + b94 + b114 + b134 + b154 + b174 + b194 + b214 + b234 + b254
+ b274 + b294 + b314 + b334 + b354 + b374 + b394 + b414 + b434 + b454
=E= 1;
e436.. b75 + b95 + b115 + b135 + b155 + b175 + b195 + b215 + b235 + b255
+ b275 + b295 + b315 + b335 + b355 + b375 + b395 + b415 + b435 + b455
=E= 1;
e437.. b76 + b96 + b116 + b136 + b156 + b176 + b196 + b216 + b236 + b256
+ b276 + b296 + b316 + b336 + b356 + b376 + b396 + b416 + b436 + b456
=E= 1;
e438.. b77 + b97 + b117 + b137 + b157 + b177 + b197 + b217 + b237 + b257
+ b277 + b297 + b317 + b337 + b357 + b377 + b397 + b417 + b437 + b457
=E= 1;
e439.. b78 + b98 + b118 + b138 + b158 + b178 + b198 + b218 + b238 + b258
+ b278 + b298 + b318 + b338 + b358 + b378 + b398 + b418 + b438 + b458
=E= 1;
e440.. b79 + b99 + b119 + b139 + b159 + b179 + b199 + b219 + b239 + b259
+ b279 + b299 + b319 + b339 + b359 + b379 + b399 + b419 + b439 + b459
=E= 1;
e441.. b80 + b100 + b120 + b140 + b160 + b180 + b200 + b220 + b240 + b260
+ b280 + b300 + b320 + b340 + b360 + b380 + b400 + b420 + b440 + b460
=E= 1;
e442.. - b61 - 2*b81 - b101 - 3*b121 - 3*b141 - b161 - b181 - 3*b201 - b221
- b241 - b261 - 2*b281 - 2*b301 - b321 - 3*b341 - 3*b361 - b381
- 2*b401 - b421 - 2*b441 + x481 - x582 - x602 - x622 - x642 - x662
- x682 - x702 - x722 - x742 - x762 - x782 - x802 - x822 - x842 - x862
- x882 - x902 - x922 - x942 - x962 =G= 0;
e443.. - 2*b62 - 2*b82 - b102 - 3*b122 - b142 - b162 - 3*b182 - 2*b202
- 2*b222 - b242 - 2*b262 - b282 - 2*b302 - b322 - b342 - 2*b362
- 3*b382 - 2*b402 - 2*b422 - b442 + x482 - x583 - x603 - x623 - x643
- x663 - x683 - x703 - x723 - x743 - x763 - x783 - x803 - x823 - x843
- x863 - x883 - x903 - x923 - x943 - x963 =G= 0;
e444.. - b63 - 2*b83 - b103 - 3*b123 - b143 - 3*b163 - 2*b183 - b203 - b223
- 3*b243 - 2*b263 - 2*b283 - b303 - 2*b323 - 2*b343 - b363 - 2*b383
- 2*b403 - 2*b423 - 2*b443 + x483 - x584 - x604 - x624 - x644 - x664
- x684 - x704 - x724 - x744 - x764 - x784 - x804 - x824 - x844 - x864
- x884 - x904 - x924 - x944 - x964 =G= 0;
e445.. - b64 - b84 - 2*b104 - b124 - b144 - 2*b164 - 2*b184 - 2*b204 - 3*b224
- 2*b244 - 2*b264 - 2*b284 - 2*b304 - 2*b324 - b344 - 2*b364 - 3*b384
- 3*b404 - 3*b424 - 2*b444 + x484 - x585 - x605 - x625 - x645 - x665
- x685 - x705 - x725 - x745 - x765 - x785 - x805 - x825 - x845 - x865
- x885 - x905 - x925 - x945 - x965 =G= 0;
e446.. - b65 - 2*b85 - 2*b105 - b125 - 2*b145 - b165 - 3*b185 - b205 - b225
- b245 - b265 - 3*b285 - 2*b305 - b325 - 2*b345 - 2*b365 - 3*b385
- b405 - 2*b425 - b445 + x485 - x586 - x606 - x626 - x646 - x666 - x686
- x706 - x726 - x746 - x766 - x786 - x806 - x826 - x846 - x866 - x886
- x906 - x926 - x946 - x966 =G= 0;
e447.. - b66 - b86 - b106 - b126 - b146 - b166 - 3*b186 - 3*b206 - b226
- 2*b246 - 3*b266 - b286 - 3*b306 - 2*b326 - 3*b346 - b366 - 3*b386
- 3*b406 - 2*b426 - 2*b446 + x486 - x587 - x607 - x627 - x647 - x667
- x687 - x707 - x727 - x747 - x767 - x787 - x807 - x827 - x847 - x867
- x887 - x907 - x927 - x947 - x967 =G= 0;
e448.. - b67 - b87 - 3*b107 - b127 - 3*b147 - 3*b167 - b187 - 2*b207 - 3*b227
- b247 - 3*b267 - b287 - 2*b307 - 2*b327 - 2*b347 - 3*b367 - b387
- 3*b407 - 2*b427 - 3*b447 + x487 - x588 - x608 - x628 - x648 - x668
- x688 - x708 - x728 - x748 - x768 - x788 - x808 - x828 - x848 - x868
- x888 - x908 - x928 - x948 - x968 =G= 0;
e449.. - 3*b68 - 3*b88 - 3*b108 - 2*b128 - b148 - 2*b168 - 3*b188 - 3*b208
- 3*b228 - 3*b248 - b268 - b288 - b308 - 2*b328 - b348 - b368 - 2*b388
- 3*b408 - 3*b428 - 2*b448 + x488 - x589 - x609 - x629 - x649 - x669
- x689 - x709 - x729 - x749 - x769 - x789 - x809 - x829 - x849 - x869
- x889 - x909 - x929 - x949 - x969 =G= 0;
e450.. - 3*b69 - 2*b89 - 2*b109 - 3*b129 - 2*b149 - 2*b169 - 2*b189 - 3*b209
- 3*b229 - b249 - 2*b269 - 2*b289 - b309 - 3*b329 - b349 - b369
- 2*b389 - b409 - 3*b429 - b449 + x489 - x590 - x610 - x630 - x650
- x670 - x690 - x710 - x730 - x750 - x770 - x790 - x810 - x830 - x850
- x870 - x890 - x910 - x930 - x950 - x970 =G= 0;
e451.. - 2*b70 - b90 - 2*b110 - b130 - 3*b150 - b170 - b190 - 2*b210 - 3*b230
- 2*b250 - b270 - 2*b290 - b310 - b330 - b350 - 2*b370 - 3*b390 - b410
- 2*b430 - 2*b450 + x490 - x591 - x611 - x631 - x651 - x671 - x691
- x711 - x731 - x751 - x771 - x791 - x811 - x831 - x851 - x871 - x891
- x911 - x931 - x951 - x971 =G= 0;
e452.. - 2*b71 - 2*b91 - 2*b111 - b131 - 2*b151 - 2*b171 - 2*b191 - b211
- b231 - 2*b251 - 3*b271 - b291 - 3*b311 - b331 - 2*b351 - b371 - b391
- b411 - b431 - 2*b451 + x491 - x592 - x612 - x632 - x652 - x672 - x692
- x712 - x732 - x752 - x772 - x792 - x812 - x832 - x852 - x872 - x892
- x912 - x932 - x952 - x972 =G= 0;
e453.. - 3*b72 - 2*b92 - 2*b112 - 2*b132 - 2*b152 - b172 - 2*b192 - 3*b212
- b232 - 2*b252 - b272 - 3*b292 - 3*b312 - 2*b332 - b352 - 3*b372
- 2*b392 - b412 - 2*b432 - b452 + x492 - x593 - x613 - x633 - x653
- x673 - x693 - x713 - x733 - x753 - x773 - x793 - x813 - x833 - x853
- x873 - x893 - x913 - x933 - x953 - x973 =G= 0;
e454.. - 2*b73 - b93 - 3*b113 - b133 - b153 - 2*b173 - 3*b193 - 3*b213
- 3*b233 - 2*b253 - 3*b273 - 2*b293 - 3*b313 - 2*b333 - b353 - 3*b373
- 3*b393 - 3*b413 - 2*b433 - 2*b453 + x493 - x594 - x614 - x634 - x654
- x674 - x694 - x714 - x734 - x754 - x774 - x794 - x814 - x834 - x854
- x874 - x894 - x914 - x934 - x954 - x974 =G= 0;
e455.. - 3*b74 - 3*b94 - 2*b114 - 3*b134 - 2*b154 - 2*b174 - 3*b194 - 3*b214
- 3*b234 - 2*b254 - 3*b274 - 2*b294 - 3*b314 - b334 - 3*b354 - 2*b374
- 2*b394 - b414 - 3*b434 - b454 + x494 - x595 - x615 - x635 - x655
- x675 - x695 - x715 - x735 - x755 - x775 - x795 - x815 - x835 - x855
- x875 - x895 - x915 - x935 - x955 - x975 =G= 0;
e456.. - b75 - b95 - b115 - 3*b135 - 2*b155 - 3*b175 - b195 - 3*b215 - 3*b235
- 2*b255 - 3*b275 - 3*b295 - b315 - b335 - 3*b355 - 2*b375 - b395
- 3*b415 - b435 - 2*b455 + x495 - x596 - x616 - x636 - x656 - x676
- x696 - x716 - x736 - x756 - x776 - x796 - x816 - x836 - x856 - x876
- x896 - x916 - x936 - x956 - x976 =G= 0;
e457.. - 3*b76 - b96 - 2*b116 - b136 - 3*b156 - 2*b176 - 2*b196 - 2*b216
- b236 - b256 - 3*b276 - 3*b296 - b316 - 3*b336 - b356 - 3*b376
- 3*b396 - 2*b416 - 2*b436 - b456 + x496 - x597 - x617 - x637 - x657
- x677 - x697 - x717 - x737 - x757 - x777 - x797 - x817 - x837 - x857
- x877 - x897 - x917 - x937 - x957 - x977 =G= 0;
e458.. - b77 - b97 - 2*b117 - 2*b137 - b157 - 2*b177 - 2*b197 - 3*b217
- 2*b237 - 3*b257 - 3*b277 - b297 - 2*b317 - b337 - 3*b357 - 2*b377
- b397 - b417 - 2*b437 - 2*b457 + x497 - x598 - x618 - x638 - x658
- x678 - x698 - x718 - x738 - x758 - x778 - x798 - x818 - x838 - x858
- x878 - x898 - x918 - x938 - x958 - x978 =G= 0;
e459.. - 2*b78 - 2*b98 - b118 - 3*b138 - b158 - 2*b178 - 2*b198 - 3*b218
- b238 - b258 - 2*b278 - 3*b298 - b318 - b338 - b358 - 3*b378 - 2*b398
- 3*b418 - b438 - 3*b458 + x498 - x599 - x619 - x639 - x659 - x679
- x699 - x719 - x739 - x759 - x779 - x799 - x819 - x839 - x859 - x879
- x899 - x919 - x939 - x959 - x979 =G= 0;
e460.. - b79 - b99 - 3*b119 - 3*b139 - b159 - 3*b179 - b199 - 3*b219 - b239
- 3*b259 - 2*b279 - 3*b299 - 3*b319 - b339 - 3*b359 - 3*b379 - 2*b399
- b419 - 2*b439 - b459 + x499 - x600 - x620 - x640 - x660 - x680 - x700
- x720 - x740 - x760 - x780 - x800 - x820 - x840 - x860 - x880 - x900
- x920 - x940 - x960 - x980 =G= 0;
e461.. - b80 - 2*b100 - b120 - 2*b140 - b160 - 2*b180 - 3*b200 - 2*b220
- 2*b240 - 2*b260 - 3*b280 - b300 - 3*b320 - b340 - 3*b360 - b380
- 2*b400 - 3*b420 - 2*b440 - 3*b460 + x500 - x601 - x621 - x641 - x661
- x681 - x701 - x721 - x741 - x761 - x781 - x801 - x821 - x841 - x861
- x881 - x901 - x921 - x941 - x961 - x981 =G= 0;
e462.. - 125.31248865*b61 - 146.3359056*b62 - 128.86913085*b63
- 108.2697861*b64 - 140.979711225*b65 - 110.235621375*b66
- 109.78883955*b67 - 102.857532525*b68 - 83.875643475*b69
- 147.40360935*b70 - 138.26592315*b71 - 129.099716925*b72
- 147.3332826*b73 - 102.342942975*b74 - 132.62305605*b75
- 99.93567345*b76 - 115.655924325*b77 - 85.382729625*b78
- 98.525102325*b79 - 80.99106045*b80 + x502 + x522 + x542 =E= 0;
e463.. - 125.31248865*b81 - 146.3359056*b82 - 128.86913085*b83
- 108.2697861*b84 - 140.979711225*b85 - 110.235621375*b86
- 109.78883955*b87 - 102.857532525*b88 - 83.875643475*b89
- 147.40360935*b90 - 138.26592315*b91 - 129.099716925*b92
- 147.3332826*b93 - 102.342942975*b94 - 132.62305605*b95
- 99.93567345*b96 - 115.655924325*b97 - 85.382729625*b98
- 98.525102325*b99 - 80.99106045*b100 + x503 + x523 + x543 =E= 0;
e464.. - 125.31248865*b101 - 146.3359056*b102 - 128.86913085*b103
- 108.2697861*b104 - 140.979711225*b105 - 110.235621375*b106
- 109.78883955*b107 - 102.857532525*b108 - 83.875643475*b109
- 147.40360935*b110 - 138.26592315*b111 - 129.099716925*b112
- 147.3332826*b113 - 102.342942975*b114 - 132.62305605*b115
- 99.93567345*b116 - 115.655924325*b117 - 85.382729625*b118
- 98.525102325*b119 - 80.99106045*b120 + x504 + x524 + x544 =E= 0;
e465.. - 125.31248865*b121 - 146.3359056*b122 - 128.86913085*b123
- 108.2697861*b124 - 140.979711225*b125 - 110.235621375*b126
- 109.78883955*b127 - 102.857532525*b128 - 83.875643475*b129
- 147.40360935*b130 - 138.26592315*b131 - 129.099716925*b132
- 147.3332826*b133 - 102.342942975*b134 - 132.62305605*b135
- 99.93567345*b136 - 115.655924325*b137 - 85.382729625*b138
- 98.525102325*b139 - 80.99106045*b140 + x505 + x525 + x545 =E= 0;
e466.. - 125.31248865*b141 - 146.3359056*b142 - 128.86913085*b143
- 108.2697861*b144 - 140.979711225*b145 - 110.235621375*b146
- 109.78883955*b147 - 102.857532525*b148 - 83.875643475*b149
- 147.40360935*b150 - 138.26592315*b151 - 129.099716925*b152
- 147.3332826*b153 - 102.342942975*b154 - 132.62305605*b155
- 99.93567345*b156 - 115.655924325*b157 - 85.382729625*b158
- 98.525102325*b159 - 80.99106045*b160 + x506 + x526 + x546 =E= 0;
e467.. - 125.31248865*b161 - 146.3359056*b162 - 128.86913085*b163
- 108.2697861*b164 - 140.979711225*b165 - 110.235621375*b166
- 109.78883955*b167 - 102.857532525*b168 - 83.875643475*b169
- 147.40360935*b170 - 138.26592315*b171 - 129.099716925*b172
- 147.3332826*b173 - 102.342942975*b174 - 132.62305605*b175
- 99.93567345*b176 - 115.655924325*b177 - 85.382729625*b178
- 98.525102325*b179 - 80.99106045*b180 + x507 + x527 + x547 =E= 0;
e468.. - 125.31248865*b181 - 146.3359056*b182 - 128.86913085*b183
- 108.2697861*b184 - 140.979711225*b185 - 110.235621375*b186
- 109.78883955*b187 - 102.857532525*b188 - 83.875643475*b189
- 147.40360935*b190 - 138.26592315*b191 - 129.099716925*b192
- 147.3332826*b193 - 102.342942975*b194 - 132.62305605*b195
- 99.93567345*b196 - 115.655924325*b197 - 85.382729625*b198
- 98.525102325*b199 - 80.99106045*b200 + x508 + x528 + x548 =E= 0;
e469.. - 125.31248865*b201 - 146.3359056*b202 - 128.86913085*b203
- 108.2697861*b204 - 140.979711225*b205 - 110.235621375*b206
- 109.78883955*b207 - 102.857532525*b208 - 83.875643475*b209
- 147.40360935*b210 - 138.26592315*b211 - 129.099716925*b212
- 147.3332826*b213 - 102.342942975*b214 - 132.62305605*b215
- 99.93567345*b216 - 115.655924325*b217 - 85.382729625*b218
- 98.525102325*b219 - 80.99106045*b220 + x509 + x529 + x549 =E= 0;
e470.. - 125.31248865*b221 - 146.3359056*b222 - 128.86913085*b223
- 108.2697861*b224 - 140.979711225*b225 - 110.235621375*b226
- 109.78883955*b227 - 102.857532525*b228 - 83.875643475*b229
- 147.40360935*b230 - 138.26592315*b231 - 129.099716925*b232
- 147.3332826*b233 - 102.342942975*b234 - 132.62305605*b235
- 99.93567345*b236 - 115.655924325*b237 - 85.382729625*b238
- 98.525102325*b239 - 80.99106045*b240 + x510 + x530 + x550 =E= 0;
e471.. - 125.31248865*b241 - 146.3359056*b242 - 128.86913085*b243
- 108.2697861*b244 - 140.979711225*b245 - 110.235621375*b246
- 109.78883955*b247 - 102.857532525*b248 - 83.875643475*b249
- 147.40360935*b250 - 138.26592315*b251 - 129.099716925*b252
- 147.3332826*b253 - 102.342942975*b254 - 132.62305605*b255
- 99.93567345*b256 - 115.655924325*b257 - 85.382729625*b258
- 98.525102325*b259 - 80.99106045*b260 + x511 + x531 + x551 =E= 0;
e472.. - 125.31248865*b261 - 146.3359056*b262 - 128.86913085*b263
- 108.2697861*b264 - 140.979711225*b265 - 110.235621375*b266
- 109.78883955*b267 - 102.857532525*b268 - 83.875643475*b269
- 147.40360935*b270 - 138.26592315*b271 - 129.099716925*b272
- 147.3332826*b273 - 102.342942975*b274 - 132.62305605*b275
- 99.93567345*b276 - 115.655924325*b277 - 85.382729625*b278
- 98.525102325*b279 - 80.99106045*b280 + x512 + x532 + x552 =E= 0;
e473.. - 125.31248865*b281 - 146.3359056*b282 - 128.86913085*b283
- 108.2697861*b284 - 140.979711225*b285 - 110.235621375*b286
- 109.78883955*b287 - 102.857532525*b288 - 83.875643475*b289
- 147.40360935*b290 - 138.26592315*b291 - 129.099716925*b292
- 147.3332826*b293 - 102.342942975*b294 - 132.62305605*b295
- 99.93567345*b296 - 115.655924325*b297 - 85.382729625*b298
- 98.525102325*b299 - 80.99106045*b300 + x513 + x533 + x553 =E= 0;
e474.. - 125.31248865*b301 - 146.3359056*b302 - 128.86913085*b303
- 108.2697861*b304 - 140.979711225*b305 - 110.235621375*b306
- 109.78883955*b307 - 102.857532525*b308 - 83.875643475*b309
- 147.40360935*b310 - 138.26592315*b311 - 129.099716925*b312
- 147.3332826*b313 - 102.342942975*b314 - 132.62305605*b315
- 99.93567345*b316 - 115.655924325*b317 - 85.382729625*b318
- 98.525102325*b319 - 80.99106045*b320 + x514 + x534 + x554 =E= 0;
e475.. - 125.31248865*b321 - 146.3359056*b322 - 128.86913085*b323
- 108.2697861*b324 - 140.979711225*b325 - 110.235621375*b326
- 109.78883955*b327 - 102.857532525*b328 - 83.875643475*b329
- 147.40360935*b330 - 138.26592315*b331 - 129.099716925*b332
- 147.3332826*b333 - 102.342942975*b334 - 132.62305605*b335
- 99.93567345*b336 - 115.655924325*b337 - 85.382729625*b338
- 98.525102325*b339 - 80.99106045*b340 + x515 + x535 + x555 =E= 0;
e476.. - 125.31248865*b341 - 146.3359056*b342 - 128.86913085*b343
- 108.2697861*b344 - 140.979711225*b345 - 110.235621375*b346
- 109.78883955*b347 - 102.857532525*b348 - 83.875643475*b349
- 147.40360935*b350 - 138.26592315*b351 - 129.099716925*b352
- 147.3332826*b353 - 102.342942975*b354 - 132.62305605*b355
- 99.93567345*b356 - 115.655924325*b357 - 85.382729625*b358
- 98.525102325*b359 - 80.99106045*b360 + x516 + x536 + x556 =E= 0;
e477.. - 125.31248865*b361 - 146.3359056*b362 - 128.86913085*b363
- 108.2697861*b364 - 140.979711225*b365 - 110.235621375*b366
- 109.78883955*b367 - 102.857532525*b368 - 83.875643475*b369
- 147.40360935*b370 - 138.26592315*b371 - 129.099716925*b372
- 147.3332826*b373 - 102.342942975*b374 - 132.62305605*b375
- 99.93567345*b376 - 115.655924325*b377 - 85.382729625*b378
- 98.525102325*b379 - 80.99106045*b380 + x517 + x537 + x557 =E= 0;
e478.. - 125.31248865*b381 - 146.3359056*b382 - 128.86913085*b383
- 108.2697861*b384 - 140.979711225*b385 - 110.235621375*b386
- 109.78883955*b387 - 102.857532525*b388 - 83.875643475*b389
- 147.40360935*b390 - 138.26592315*b391 - 129.099716925*b392
- 147.3332826*b393 - 102.342942975*b394 - 132.62305605*b395
- 99.93567345*b396 - 115.655924325*b397 - 85.382729625*b398
- 98.525102325*b399 - 80.99106045*b400 + x518 + x538 + x558 =E= 0;
e479.. - 125.31248865*b401 - 146.3359056*b402 - 128.86913085*b403
- 108.2697861*b404 - 140.979711225*b405 - 110.235621375*b406
- 109.78883955*b407 - 102.857532525*b408 - 83.875643475*b409
- 147.40360935*b410 - 138.26592315*b411 - 129.099716925*b412
- 147.3332826*b413 - 102.342942975*b414 - 132.62305605*b415
- 99.93567345*b416 - 115.655924325*b417 - 85.382729625*b418
- 98.525102325*b419 - 80.99106045*b420 + x519 + x539 + x559 =E= 0;
e480.. - 125.31248865*b421 - 146.3359056*b422 - 128.86913085*b423
- 108.2697861*b424 - 140.979711225*b425 - 110.235621375*b426
- 109.78883955*b427 - 102.857532525*b428 - 83.875643475*b429
- 147.40360935*b430 - 138.26592315*b431 - 129.099716925*b432
- 147.3332826*b433 - 102.342942975*b434 - 132.62305605*b435
- 99.93567345*b436 - 115.655924325*b437 - 85.382729625*b438
- 98.525102325*b439 - 80.99106045*b440 + x520 + x540 + x560 =E= 0;
e481.. - 125.31248865*b441 - 146.3359056*b442 - 128.86913085*b443
- 108.2697861*b444 - 140.979711225*b445 - 110.235621375*b446
- 109.78883955*b447 - 102.857532525*b448 - 83.875643475*b449
- 147.40360935*b450 - 138.26592315*b451 - 129.099716925*b452
- 147.3332826*b453 - 102.342942975*b454 - 132.62305605*b455
- 99.93567345*b456 - 115.655924325*b457 - 85.382729625*b458
- 98.525102325*b459 - 80.99106045*b460 + x521 + x541 + x561 =E= 0;
e482.. - 2334.083680575*b1 + x502 =L= 0;
e483.. - 2334.083680575*b2 + x503 =L= 0;
e484.. - 2334.083680575*b3 + x504 =L= 0;
e485.. - 2334.083680575*b4 + x505 =L= 0;
e486.. - 2334.083680575*b5 + x506 =L= 0;
e487.. - 2334.083680575*b6 + x507 =L= 0;
e488.. - 2334.083680575*b7 + x508 =L= 0;
e489.. - 2334.083680575*b8 + x509 =L= 0;
e490.. - 2334.083680575*b9 + x510 =L= 0;
e491.. - 2334.083680575*b10 + x511 =L= 0;
e492.. - 2334.083680575*b11 + x512 =L= 0;
e493.. - 2334.083680575*b12 + x513 =L= 0;
e494.. - 2334.083680575*b13 + x514 =L= 0;
e495.. - 2334.083680575*b14 + x515 =L= 0;
e496.. - 2334.083680575*b15 + x516 =L= 0;
e497.. - 2334.083680575*b16 + x517 =L= 0;
e498.. - 2334.083680575*b17 + x518 =L= 0;
e499.. - 2334.083680575*b18 + x519 =L= 0;
e500.. - 2334.083680575*b19 + x520 =L= 0;
e501.. - 2334.083680575*b20 + x521 =L= 0;
e502.. - 2334.083680575*b21 + x522 =L= 0;
e503.. - 2334.083680575*b22 + x523 =L= 0;
e504.. - 2334.083680575*b23 + x524 =L= 0;
e505.. - 2334.083680575*b24 + x525 =L= 0;
e506.. - 2334.083680575*b25 + x526 =L= 0;
e507.. - 2334.083680575*b26 + x527 =L= 0;
e508.. - 2334.083680575*b27 + x528 =L= 0;
e509.. - 2334.083680575*b28 + x529 =L= 0;
e510.. - 2334.083680575*b29 + x530 =L= 0;
e511.. - 2334.083680575*b30 + x531 =L= 0;
e512.. - 2334.083680575*b31 + x532 =L= 0;
e513.. - 2334.083680575*b32 + x533 =L= 0;
e514.. - 2334.083680575*b33 + x534 =L= 0;
e515.. - 2334.083680575*b34 + x535 =L= 0;
e516.. - 2334.083680575*b35 + x536 =L= 0;
e517.. - 2334.083680575*b36 + x537 =L= 0;
e518.. - 2334.083680575*b37 + x538 =L= 0;
e519.. - 2334.083680575*b38 + x539 =L= 0;
e520.. - 2334.083680575*b39 + x540 =L= 0;
e521.. - 2334.083680575*b40 + x541 =L= 0;
e522.. 2334.083680575*b41 + x542 =L= 2334.083680575;
e523.. 2334.083680575*b42 + x543 =L= 2334.083680575;
e524.. 2334.083680575*b43 + x544 =L= 2334.083680575;
e525.. 2334.083680575*b44 + x545 =L= 2334.083680575;
e526.. 2334.083680575*b45 + x546 =L= 2334.083680575;
e527.. 2334.083680575*b46 + x547 =L= 2334.083680575;
e528.. 2334.083680575*b47 + x548 =L= 2334.083680575;
e529.. 2334.083680575*b48 + x549 =L= 2334.083680575;
e530.. 2334.083680575*b49 + x550 =L= 2334.083680575;
e531.. 2334.083680575*b50 + x551 =L= 2334.083680575;
e532.. 2334.083680575*b51 + x552 =L= 2334.083680575;
e533.. 2334.083680575*b52 + x553 =L= 2334.083680575;
e534.. 2334.083680575*b53 + x554 =L= 2334.083680575;
e535.. 2334.083680575*b54 + x555 =L= 2334.083680575;
e536.. 2334.083680575*b55 + x556 =L= 2334.083680575;
e537.. 2334.083680575*b56 + x557 =L= 2334.083680575;
e538.. 2334.083680575*b57 + x558 =L= 2334.083680575;
e539.. 2334.083680575*b58 + x559 =L= 2334.083680575;
e540.. 2334.083680575*b59 + x560 =L= 2334.083680575;
e541.. 2334.083680575*b60 + x561 =L= 2334.083680575;
e542.. - x461 + x582 + x982 =E= 0;
e543.. - x461 + x583 + x983 =E= 0;
e544.. - x461 + x584 + x984 =E= 0;
e545.. - x461 + x585 + x985 =E= 0;
e546.. - x461 + x586 + x986 =E= 0;
e547.. - x461 + x587 + x987 =E= 0;
e548.. - x461 + x588 + x988 =E= 0;
e549.. - x461 + x589 + x989 =E= 0;
e550.. - x461 + x590 + x990 =E= 0;
e551.. - x461 + x591 + x991 =E= 0;
e552.. - x461 + x592 + x992 =E= 0;
e553.. - x461 + x593 + x993 =E= 0;
e554.. - x461 + x594 + x994 =E= 0;
e555.. - x461 + x595 + x995 =E= 0;
e556.. - x461 + x596 + x996 =E= 0;
e557.. - x461 + x597 + x997 =E= 0;
e558.. - x461 + x598 + x998 =E= 0;
e559.. - x461 + x599 + x999 =E= 0;
e560.. - x461 + x600 + x1000 =E= 0;
e561.. - x461 + x601 + x1001 =E= 0;
e562.. - x462 + x602 + x1002 =E= 0;
e563.. - x462 + x603 + x1003 =E= 0;
e564.. - x462 + x604 + x1004 =E= 0;
e565.. - x462 + x605 + x1005 =E= 0;
e566.. - x462 + x606 + x1006 =E= 0;
e567.. - x462 + x607 + x1007 =E= 0;
e568.. - x462 + x608 + x1008 =E= 0;
e569.. - x462 + x609 + x1009 =E= 0;
e570.. - x462 + x610 + x1010 =E= 0;
e571.. - x462 + x611 + x1011 =E= 0;
e572.. - x462 + x612 + x1012 =E= 0;
e573.. - x462 + x613 + x1013 =E= 0;
e574.. - x462 + x614 + x1014 =E= 0;
e575.. - x462 + x615 + x1015 =E= 0;
e576.. - x462 + x616 + x1016 =E= 0;
e577.. - x462 + x617 + x1017 =E= 0;
e578.. - x462 + x618 + x1018 =E= 0;
e579.. - x462 + x619 + x1019 =E= 0;
e580.. - x462 + x620 + x1020 =E= 0;
e581.. - x462 + x621 + x1021 =E= 0;
e582.. - x463 + x622 + x1022 =E= 0;
e583.. - x463 + x623 + x1023 =E= 0;
e584.. - x463 + x624 + x1024 =E= 0;
e585.. - x463 + x625 + x1025 =E= 0;
e586.. - x463 + x626 + x1026 =E= 0;
e587.. - x463 + x627 + x1027 =E= 0;
e588.. - x463 + x628 + x1028 =E= 0;
e589.. - x463 + x629 + x1029 =E= 0;
e590.. - x463 + x630 + x1030 =E= 0;
e591.. - x463 + x631 + x1031 =E= 0;
e592.. - x463 + x632 + x1032 =E= 0;
e593.. - x463 + x633 + x1033 =E= 0;
e594.. - x463 + x634 + x1034 =E= 0;
e595.. - x463 + x635 + x1035 =E= 0;
e596.. - x463 + x636 + x1036 =E= 0;
e597.. - x463 + x637 + x1037 =E= 0;
e598.. - x463 + x638 + x1038 =E= 0;
e599.. - x463 + x639 + x1039 =E= 0;
e600.. - x463 + x640 + x1040 =E= 0;
e601.. - x463 + x641 + x1041 =E= 0;
e602.. - x464 + x642 + x1042 =E= 0;
e603.. - x464 + x643 + x1043 =E= 0;
e604.. - x464 + x644 + x1044 =E= 0;
e605.. - x464 + x645 + x1045 =E= 0;
e606.. - x464 + x646 + x1046 =E= 0;
e607.. - x464 + x647 + x1047 =E= 0;
e608.. - x464 + x648 + x1048 =E= 0;
e609.. - x464 + x649 + x1049 =E= 0;
e610.. - x464 + x650 + x1050 =E= 0;
e611.. - x464 + x651 + x1051 =E= 0;
e612.. - x464 + x652 + x1052 =E= 0;
e613.. - x464 + x653 + x1053 =E= 0;
e614.. - x464 + x654 + x1054 =E= 0;
e615.. - x464 + x655 + x1055 =E= 0;
e616.. - x464 + x656 + x1056 =E= 0;
e617.. - x464 + x657 + x1057 =E= 0;
e618.. - x464 + x658 + x1058 =E= 0;
e619.. - x464 + x659 + x1059 =E= 0;
e620.. - x464 + x660 + x1060 =E= 0;
e621.. - x464 + x661 + x1061 =E= 0;
e622.. - x465 + x662 + x1062 =E= 0;
e623.. - x465 + x663 + x1063 =E= 0;
e624.. - x465 + x664 + x1064 =E= 0;
e625.. - x465 + x665 + x1065 =E= 0;
e626.. - x465 + x666 + x1066 =E= 0;
e627.. - x465 + x667 + x1067 =E= 0;
e628.. - x465 + x668 + x1068 =E= 0;
e629.. - x465 + x669 + x1069 =E= 0;
e630.. - x465 + x670 + x1070 =E= 0;
e631.. - x465 + x671 + x1071 =E= 0;
e632.. - x465 + x672 + x1072 =E= 0;
e633.. - x465 + x673 + x1073 =E= 0;
e634.. - x465 + x674 + x1074 =E= 0;
e635.. - x465 + x675 + x1075 =E= 0;
e636.. - x465 + x676 + x1076 =E= 0;
e637.. - x465 + x677 + x1077 =E= 0;
e638.. - x465 + x678 + x1078 =E= 0;
e639.. - x465 + x679 + x1079 =E= 0;
e640.. - x465 + x680 + x1080 =E= 0;
e641.. - x465 + x681 + x1081 =E= 0;
e642.. - x466 + x682 + x1082 =E= 0;
e643.. - x466 + x683 + x1083 =E= 0;
e644.. - x466 + x684 + x1084 =E= 0;
e645.. - x466 + x685 + x1085 =E= 0;
e646.. - x466 + x686 + x1086 =E= 0;
e647.. - x466 + x687 + x1087 =E= 0;
e648.. - x466 + x688 + x1088 =E= 0;
e649.. - x466 + x689 + x1089 =E= 0;
e650.. - x466 + x690 + x1090 =E= 0;
e651.. - x466 + x691 + x1091 =E= 0;
e652.. - x466 + x692 + x1092 =E= 0;
e653.. - x466 + x693 + x1093 =E= 0;
e654.. - x466 + x694 + x1094 =E= 0;
e655.. - x466 + x695 + x1095 =E= 0;
e656.. - x466 + x696 + x1096 =E= 0;
e657.. - x466 + x697 + x1097 =E= 0;
e658.. - x466 + x698 + x1098 =E= 0;
e659.. - x466 + x699 + x1099 =E= 0;
e660.. - x466 + x700 + x1100 =E= 0;
e661.. - x466 + x701 + x1101 =E= 0;
e662.. - x467 + x702 + x1102 =E= 0;
e663.. - x467 + x703 + x1103 =E= 0;
e664.. - x467 + x704 + x1104 =E= 0;
e665.. - x467 + x705 + x1105 =E= 0;
e666.. - x467 + x706 + x1106 =E= 0;
e667.. - x467 + x707 + x1107 =E= 0;
e668.. - x467 + x708 + x1108 =E= 0;
e669.. - x467 + x709 + x1109 =E= 0;
e670.. - x467 + x710 + x1110 =E= 0;
e671.. - x467 + x711 + x1111 =E= 0;
e672.. - x467 + x712 + x1112 =E= 0;
e673.. - x467 + x713 + x1113 =E= 0;
e674.. - x467 + x714 + x1114 =E= 0;
e675.. - x467 + x715 + x1115 =E= 0;
e676.. - x467 + x716 + x1116 =E= 0;
e677.. - x467 + x717 + x1117 =E= 0;
e678.. - x467 + x718 + x1118 =E= 0;
e679.. - x467 + x719 + x1119 =E= 0;
e680.. - x467 + x720 + x1120 =E= 0;
e681.. - x467 + x721 + x1121 =E= 0;
e682.. - x468 + x722 + x1122 =E= 0;
e683.. - x468 + x723 + x1123 =E= 0;
e684.. - x468 + x724 + x1124 =E= 0;
e685.. - x468 + x725 + x1125 =E= 0;
e686.. - x468 + x726 + x1126 =E= 0;
e687.. - x468 + x727 + x1127 =E= 0;
e688.. - x468 + x728 + x1128 =E= 0;
e689.. - x468 + x729 + x1129 =E= 0;
e690.. - x468 + x730 + x1130 =E= 0;
e691.. - x468 + x731 + x1131 =E= 0;
e692.. - x468 + x732 + x1132 =E= 0;
e693.. - x468 + x733 + x1133 =E= 0;
e694.. - x468 + x734 + x1134 =E= 0;
e695.. - x468 + x735 + x1135 =E= 0;
e696.. - x468 + x736 + x1136 =E= 0;
e697.. - x468 + x737 + x1137 =E= 0;
e698.. - x468 + x738 + x1138 =E= 0;
e699.. - x468 + x739 + x1139 =E= 0;
e700.. - x468 + x740 + x1140 =E= 0;
e701.. - x468 + x741 + x1141 =E= 0;
e702.. - x469 + x742 + x1142 =E= 0;
e703.. - x469 + x743 + x1143 =E= 0;
e704.. - x469 + x744 + x1144 =E= 0;
e705.. - x469 + x745 + x1145 =E= 0;
e706.. - x469 + x746 + x1146 =E= 0;
e707.. - x469 + x747 + x1147 =E= 0;
e708.. - x469 + x748 + x1148 =E= 0;
e709.. - x469 + x749 + x1149 =E= 0;
e710.. - x469 + x750 + x1150 =E= 0;
e711.. - x469 + x751 + x1151 =E= 0;
e712.. - x469 + x752 + x1152 =E= 0;
e713.. - x469 + x753 + x1153 =E= 0;
e714.. - x469 + x754 + x1154 =E= 0;
e715.. - x469 + x755 + x1155 =E= 0;
e716.. - x469 + x756 + x1156 =E= 0;
e717.. - x469 + x757 + x1157 =E= 0;
e718.. - x469 + x758 + x1158 =E= 0;
e719.. - x469 + x759 + x1159 =E= 0;
e720.. - x469 + x760 + x1160 =E= 0;
e721.. - x469 + x761 + x1161 =E= 0;
e722.. - x470 + x762 + x1162 =E= 0;
e723.. - x470 + x763 + x1163 =E= 0;
e724.. - x470 + x764 + x1164 =E= 0;
e725.. - x470 + x765 + x1165 =E= 0;
e726.. - x470 + x766 + x1166 =E= 0;
e727.. - x470 + x767 + x1167 =E= 0;
e728.. - x470 + x768 + x1168 =E= 0;
e729.. - x470 + x769 + x1169 =E= 0;
e730.. - x470 + x770 + x1170 =E= 0;
e731.. - x470 + x771 + x1171 =E= 0;
e732.. - x470 + x772 + x1172 =E= 0;
e733.. - x470 + x773 + x1173 =E= 0;
e734.. - x470 + x774 + x1174 =E= 0;
e735.. - x470 + x775 + x1175 =E= 0;
e736.. - x470 + x776 + x1176 =E= 0;
e737.. - x470 + x777 + x1177 =E= 0;
e738.. - x470 + x778 + x1178 =E= 0;
e739.. - x470 + x779 + x1179 =E= 0;
e740.. - x470 + x780 + x1180 =E= 0;
e741.. - x470 + x781 + x1181 =E= 0;
e742.. - x471 + x782 + x1182 =E= 0;
e743.. - x471 + x783 + x1183 =E= 0;
e744.. - x471 + x784 + x1184 =E= 0;
e745.. - x471 + x785 + x1185 =E= 0;
e746.. - x471 + x786 + x1186 =E= 0;
e747.. - x471 + x787 + x1187 =E= 0;
e748.. - x471 + x788 + x1188 =E= 0;
e749.. - x471 + x789 + x1189 =E= 0;
e750.. - x471 + x790 + x1190 =E= 0;
e751.. - x471 + x791 + x1191 =E= 0;
e752.. - x471 + x792 + x1192 =E= 0;
e753.. - x471 + x793 + x1193 =E= 0;
e754.. - x471 + x794 + x1194 =E= 0;
e755.. - x471 + x795 + x1195 =E= 0;
e756.. - x471 + x796 + x1196 =E= 0;
e757.. - x471 + x797 + x1197 =E= 0;
e758.. - x471 + x798 + x1198 =E= 0;
e759.. - x471 + x799 + x1199 =E= 0;
e760.. - x471 + x800 + x1200 =E= 0;
e761.. - x471 + x801 + x1201 =E= 0;
e762.. - x472 + x802 + x1202 =E= 0;
e763.. - x472 + x803 + x1203 =E= 0;
e764.. - x472 + x804 + x1204 =E= 0;
e765.. - x472 + x805 + x1205 =E= 0;
e766.. - x472 + x806 + x1206 =E= 0;
e767.. - x472 + x807 + x1207 =E= 0;
e768.. - x472 + x808 + x1208 =E= 0;
e769.. - x472 + x809 + x1209 =E= 0;
e770.. - x472 + x810 + x1210 =E= 0;
e771.. - x472 + x811 + x1211 =E= 0;
e772.. - x472 + x812 + x1212 =E= 0;
e773.. - x472 + x813 + x1213 =E= 0;
e774.. - x472 + x814 + x1214 =E= 0;
e775.. - x472 + x815 + x1215 =E= 0;
e776.. - x472 + x816 + x1216 =E= 0;
e777.. - x472 + x817 + x1217 =E= 0;
e778.. - x472 + x818 + x1218 =E= 0;
e779.. - x472 + x819 + x1219 =E= 0;
e780.. - x472 + x820 + x1220 =E= 0;
e781.. - x472 + x821 + x1221 =E= 0;
e782.. - x473 + x822 + x1222 =E= 0;
e783.. - x473 + x823 + x1223 =E= 0;
e784.. - x473 + x824 + x1224 =E= 0;
e785.. - x473 + x825 + x1225 =E= 0;
e786.. - x473 + x826 + x1226 =E= 0;
e787.. - x473 + x827 + x1227 =E= 0;
e788.. - x473 + x828 + x1228 =E= 0;
e789.. - x473 + x829 + x1229 =E= 0;
e790.. - x473 + x830 + x1230 =E= 0;
e791.. - x473 + x831 + x1231 =E= 0;
e792.. - x473 + x832 + x1232 =E= 0;
e793.. - x473 + x833 + x1233 =E= 0;
e794.. - x473 + x834 + x1234 =E= 0;
e795.. - x473 + x835 + x1235 =E= 0;
e796.. - x473 + x836 + x1236 =E= 0;
e797.. - x473 + x837 + x1237 =E= 0;
e798.. - x473 + x838 + x1238 =E= 0;
e799.. - x473 + x839 + x1239 =E= 0;
e800.. - x473 + x840 + x1240 =E= 0;
e801.. - x473 + x841 + x1241 =E= 0;
e802.. - x474 + x842 + x1242 =E= 0;
e803.. - x474 + x843 + x1243 =E= 0;
e804.. - x474 + x844 + x1244 =E= 0;
e805.. - x474 + x845 + x1245 =E= 0;
e806.. - x474 + x846 + x1246 =E= 0;
e807.. - x474 + x847 + x1247 =E= 0;
e808.. - x474 + x848 + x1248 =E= 0;
e809.. - x474 + x849 + x1249 =E= 0;
e810.. - x474 + x850 + x1250 =E= 0;
e811.. - x474 + x851 + x1251 =E= 0;
e812.. - x474 + x852 + x1252 =E= 0;
e813.. - x474 + x853 + x1253 =E= 0;
e814.. - x474 + x854 + x1254 =E= 0;
e815.. - x474 + x855 + x1255 =E= 0;
e816.. - x474 + x856 + x1256 =E= 0;
e817.. - x474 + x857 + x1257 =E= 0;
e818.. - x474 + x858 + x1258 =E= 0;
e819.. - x474 + x859 + x1259 =E= 0;
e820.. - x474 + x860 + x1260 =E= 0;
e821.. - x474 + x861 + x1261 =E= 0;
e822.. - x475 + x862 + x1262 =E= 0;
e823.. - x475 + x863 + x1263 =E= 0;
e824.. - x475 + x864 + x1264 =E= 0;
e825.. - x475 + x865 + x1265 =E= 0;
e826.. - x475 + x866 + x1266 =E= 0;
e827.. - x475 + x867 + x1267 =E= 0;
e828.. - x475 + x868 + x1268 =E= 0;
e829.. - x475 + x869 + x1269 =E= 0;
e830.. - x475 + x870 + x1270 =E= 0;
e831.. - x475 + x871 + x1271 =E= 0;
e832.. - x475 + x872 + x1272 =E= 0;
e833.. - x475 + x873 + x1273 =E= 0;
e834.. - x475 + x874 + x1274 =E= 0;
e835.. - x475 + x875 + x1275 =E= 0;
e836.. - x475 + x876 + x1276 =E= 0;
e837.. - x475 + x877 + x1277 =E= 0;
e838.. - x475 + x878 + x1278 =E= 0;
e839.. - x475 + x879 + x1279 =E= 0;
e840.. - x475 + x880 + x1280 =E= 0;
e841.. - x475 + x881 + x1281 =E= 0;
e842.. - x476 + x882 + x1282 =E= 0;
e843.. - x476 + x883 + x1283 =E= 0;
e844.. - x476 + x884 + x1284 =E= 0;
e845.. - x476 + x885 + x1285 =E= 0;
e846.. - x476 + x886 + x1286 =E= 0;
e847.. - x476 + x887 + x1287 =E= 0;
e848.. - x476 + x888 + x1288 =E= 0;
e849.. - x476 + x889 + x1289 =E= 0;
e850.. - x476 + x890 + x1290 =E= 0;
e851.. - x476 + x891 + x1291 =E= 0;
e852.. - x476 + x892 + x1292 =E= 0;
e853.. - x476 + x893 + x1293 =E= 0;
e854.. - x476 + x894 + x1294 =E= 0;
e855.. - x476 + x895 + x1295 =E= 0;
e856.. - x476 + x896 + x1296 =E= 0;
e857.. - x476 + x897 + x1297 =E= 0;
e858.. - x476 + x898 + x1298 =E= 0;
e859.. - x476 + x899 + x1299 =E= 0;
e860.. - x476 + x900 + x1300 =E= 0;
e861.. - x476 + x901 + x1301 =E= 0;
e862.. - x477 + x902 + x1302 =E= 0;
e863.. - x477 + x903 + x1303 =E= 0;
e864.. - x477 + x904 + x1304 =E= 0;
e865.. - x477 + x905 + x1305 =E= 0;
e866.. - x477 + x906 + x1306 =E= 0;
e867.. - x477 + x907 + x1307 =E= 0;
e868.. - x477 + x908 + x1308 =E= 0;
e869.. - x477 + x909 + x1309 =E= 0;
e870.. - x477 + x910 + x1310 =E= 0;
e871.. - x477 + x911 + x1311 =E= 0;
e872.. - x477 + x912 + x1312 =E= 0;
e873.. - x477 + x913 + x1313 =E= 0;
e874.. - x477 + x914 + x1314 =E= 0;
e875.. - x477 + x915 + x1315 =E= 0;
e876.. - x477 + x916 + x1316 =E= 0;
e877.. - x477 + x917 + x1317 =E= 0;
e878.. - x477 + x918 + x1318 =E= 0;
e879.. - x477 + x919 + x1319 =E= 0;
e880.. - x477 + x920 + x1320 =E= 0;
e881.. - x477 + x921 + x1321 =E= 0;
e882.. - x478 + x922 + x1322 =E= 0;
e883.. - x478 + x923 + x1323 =E= 0;
e884.. - x478 + x924 + x1324 =E= 0;
e885.. - x478 + x925 + x1325 =E= 0;
e886.. - x478 + x926 + x1326 =E= 0;
e887.. - x478 + x927 + x1327 =E= 0;
e888.. - x478 + x928 + x1328 =E= 0;
e889.. - x478 + x929 + x1329 =E= 0;
e890.. - x478 + x930 + x1330 =E= 0;
e891.. - x478 + x931 + x1331 =E= 0;
e892.. - x478 + x932 + x1332 =E= 0;
e893.. - x478 + x933 + x1333 =E= 0;
e894.. - x478 + x934 + x1334 =E= 0;
e895.. - x478 + x935 + x1335 =E= 0;
e896.. - x478 + x936 + x1336 =E= 0;
e897.. - x478 + x937 + x1337 =E= 0;
e898.. - x478 + x938 + x1338 =E= 0;
e899.. - x478 + x939 + x1339 =E= 0;
e900.. - x478 + x940 + x1340 =E= 0;
e901.. - x478 + x941 + x1341 =E= 0;
e902.. - x479 + x942 + x1342 =E= 0;
e903.. - x479 + x943 + x1343 =E= 0;
e904.. - x479 + x944 + x1344 =E= 0;
e905.. - x479 + x945 + x1345 =E= 0;
e906.. - x479 + x946 + x1346 =E= 0;
e907.. - x479 + x947 + x1347 =E= 0;
e908.. - x479 + x948 + x1348 =E= 0;
e909.. - x479 + x949 + x1349 =E= 0;
e910.. - x479 + x950 + x1350 =E= 0;
e911.. - x479 + x951 + x1351 =E= 0;
e912.. - x479 + x952 + x1352 =E= 0;
e913.. - x479 + x953 + x1353 =E= 0;
e914.. - x479 + x954 + x1354 =E= 0;
e915.. - x479 + x955 + x1355 =E= 0;
e916.. - x479 + x956 + x1356 =E= 0;
e917.. - x479 + x957 + x1357 =E= 0;
e918.. - x479 + x958 + x1358 =E= 0;
e919.. - x479 + x959 + x1359 =E= 0;
e920.. - x479 + x960 + x1360 =E= 0;
e921.. - x479 + x961 + x1361 =E= 0;
e922.. - x480 + x962 + x1362 =E= 0;
e923.. - x480 + x963 + x1363 =E= 0;
e924.. - x480 + x964 + x1364 =E= 0;
e925.. - x480 + x965 + x1365 =E= 0;
e926.. - x480 + x966 + x1366 =E= 0;
e927.. - x480 + x967 + x1367 =E= 0;
e928.. - x480 + x968 + x1368 =E= 0;
e929.. - x480 + x969 + x1369 =E= 0;
e930.. - x480 + x970 + x1370 =E= 0;
e931.. - x480 + x971 + x1371 =E= 0;
e932.. - x480 + x972 + x1372 =E= 0;
e933.. - x480 + x973 + x1373 =E= 0;
e934.. - x480 + x974 + x1374 =E= 0;
e935.. - x480 + x975 + x1375 =E= 0;
e936.. - x480 + x976 + x1376 =E= 0;
e937.. - x480 + x977 + x1377 =E= 0;
e938.. - x480 + x978 + x1378 =E= 0;
e939.. - x480 + x979 + x1379 =E= 0;
e940.. - x480 + x980 + x1380 =E= 0;
e941.. - x480 + x981 + x1381 =E= 0;
e942.. - 6*b61 + x582 =L= 0;
e943.. - 6*b62 + x583 =L= 0;
e944.. - 6*b63 + x584 =L= 0;
e945.. - 6*b64 + x585 =L= 0;
e946.. - 6*b65 + x586 =L= 0;
e947.. - 6*b66 + x587 =L= 0;
e948.. - 6*b67 + x588 =L= 0;
e949.. - 6*b68 + x589 =L= 0;
e950.. - 6*b69 + x590 =L= 0;
e951.. - 6*b70 + x591 =L= 0;
e952.. - 6*b71 + x592 =L= 0;
e953.. - 6*b72 + x593 =L= 0;
e954.. - 6*b73 + x594 =L= 0;
e955.. - 6*b74 + x595 =L= 0;
e956.. - 6*b75 + x596 =L= 0;
e957.. - 6*b76 + x597 =L= 0;
e958.. - 6*b77 + x598 =L= 0;
e959.. - 6*b78 + x599 =L= 0;
e960.. - 6*b79 + x600 =L= 0;
e961.. - 6*b80 + x601 =L= 0;
e962.. - 7*b81 + x602 =L= 0;
e963.. - 7*b82 + x603 =L= 0;
e964.. - 7*b83 + x604 =L= 0;
e965.. - 7*b84 + x605 =L= 0;
e966.. - 7*b85 + x606 =L= 0;
e967.. - 7*b86 + x607 =L= 0;
e968.. - 7*b87 + x608 =L= 0;
e969.. - 7*b88 + x609 =L= 0;
e970.. - 7*b89 + x610 =L= 0;
e971.. - 7*b90 + x611 =L= 0;
e972.. - 7*b91 + x612 =L= 0;
e973.. - 7*b92 + x613 =L= 0;
e974.. - 7*b93 + x614 =L= 0;
e975.. - 7*b94 + x615 =L= 0;
e976.. - 7*b95 + x616 =L= 0;
e977.. - 7*b96 + x617 =L= 0;
e978.. - 7*b97 + x618 =L= 0;
e979.. - 7*b98 + x619 =L= 0;
e980.. - 7*b99 + x620 =L= 0;
e981.. - 7*b100 + x621 =L= 0;
e982.. - 6*b101 + x622 =L= 0;
e983.. - 6*b102 + x623 =L= 0;
e984.. - 6*b103 + x624 =L= 0;
e985.. - 6*b104 + x625 =L= 0;
e986.. - 6*b105 + x626 =L= 0;
e987.. - 6*b106 + x627 =L= 0;
e988.. - 6*b107 + x628 =L= 0;
e989.. - 6*b108 + x629 =L= 0;
e990.. - 6*b109 + x630 =L= 0;
e991.. - 6*b110 + x631 =L= 0;
e992.. - 6*b111 + x632 =L= 0;
e993.. - 6*b112 + x633 =L= 0;
e994.. - 6*b113 + x634 =L= 0;
e995.. - 6*b114 + x635 =L= 0;
e996.. - 6*b115 + x636 =L= 0;
e997.. - 6*b116 + x637 =L= 0;
e998.. - 6*b117 + x638 =L= 0;
e999.. - 6*b118 + x639 =L= 0;
e1000.. - 6*b119 + x640 =L= 0;
e1001.. - 6*b120 + x641 =L= 0;
e1002.. - 5*b121 + x642 =L= 0;
e1003.. - 5*b122 + x643 =L= 0;
e1004.. - 5*b123 + x644 =L= 0;
e1005.. - 5*b124 + x645 =L= 0;
e1006.. - 5*b125 + x646 =L= 0;
e1007.. - 5*b126 + x647 =L= 0;
e1008.. - 5*b127 + x648 =L= 0;
e1009.. - 5*b128 + x649 =L= 0;
e1010.. - 5*b129 + x650 =L= 0;
e1011.. - 5*b130 + x651 =L= 0;
e1012.. - 5*b131 + x652 =L= 0;
e1013.. - 5*b132 + x653 =L= 0;
e1014.. - 5*b133 + x654 =L= 0;
e1015.. - 5*b134 + x655 =L= 0;
e1016.. - 5*b135 + x656 =L= 0;
e1017.. - 5*b136 + x657 =L= 0;
e1018.. - 5*b137 + x658 =L= 0;
e1019.. - 5*b138 + x659 =L= 0;
e1020.. - 5*b139 + x660 =L= 0;
e1021.. - 5*b140 + x661 =L= 0;
e1022.. - 8*b141 + x662 =L= 0;
e1023.. - 8*b142 + x663 =L= 0;
e1024.. - 8*b143 + x664 =L= 0;
e1025.. - 8*b144 + x665 =L= 0;
e1026.. - 8*b145 + x666 =L= 0;
e1027.. - 8*b146 + x667 =L= 0;
e1028.. - 8*b147 + x668 =L= 0;
e1029.. - 8*b148 + x669 =L= 0;
e1030.. - 8*b149 + x670 =L= 0;
e1031.. - 8*b150 + x671 =L= 0;
e1032.. - 8*b151 + x672 =L= 0;
e1033.. - 8*b152 + x673 =L= 0;
e1034.. - 8*b153 + x674 =L= 0;
e1035.. - 8*b154 + x675 =L= 0;
e1036.. - 8*b155 + x676 =L= 0;
e1037.. - 8*b156 + x677 =L= 0;
e1038.. - 8*b157 + x678 =L= 0;
e1039.. - 8*b158 + x679 =L= 0;
e1040.. - 8*b159 + x680 =L= 0;
e1041.. - 8*b160 + x681 =L= 0;
e1042.. - 7*b161 + x682 =L= 0;
e1043.. - 7*b162 + x683 =L= 0;
e1044.. - 7*b163 + x684 =L= 0;
e1045.. - 7*b164 + x685 =L= 0;
e1046.. - 7*b165 + x686 =L= 0;
e1047.. - 7*b166 + x687 =L= 0;
e1048.. - 7*b167 + x688 =L= 0;
e1049.. - 7*b168 + x689 =L= 0;
e1050.. - 7*b169 + x690 =L= 0;
e1051.. - 7*b170 + x691 =L= 0;
e1052.. - 7*b171 + x692 =L= 0;
e1053.. - 7*b172 + x693 =L= 0;
e1054.. - 7*b173 + x694 =L= 0;
e1055.. - 7*b174 + x695 =L= 0;
e1056.. - 7*b175 + x696 =L= 0;
e1057.. - 7*b176 + x697 =L= 0;
e1058.. - 7*b177 + x698 =L= 0;
e1059.. - 7*b178 + x699 =L= 0;
e1060.. - 7*b179 + x700 =L= 0;
e1061.. - 7*b180 + x701 =L= 0;
e1062.. - 9*b181 + x702 =L= 0;
e1063.. - 9*b182 + x703 =L= 0;
e1064.. - 9*b183 + x704 =L= 0;
e1065.. - 9*b184 + x705 =L= 0;
e1066.. - 9*b185 + x706 =L= 0;
e1067.. - 9*b186 + x707 =L= 0;
e1068.. - 9*b187 + x708 =L= 0;
e1069.. - 9*b188 + x709 =L= 0;
e1070.. - 9*b189 + x710 =L= 0;
e1071.. - 9*b190 + x711 =L= 0;
e1072.. - 9*b191 + x712 =L= 0;
e1073.. - 9*b192 + x713 =L= 0;
e1074.. - 9*b193 + x714 =L= 0;
e1075.. - 9*b194 + x715 =L= 0;
e1076.. - 9*b195 + x716 =L= 0;
e1077.. - 9*b196 + x717 =L= 0;
e1078.. - 9*b197 + x718 =L= 0;
e1079.. - 9*b198 + x719 =L= 0;
e1080.. - 9*b199 + x720 =L= 0;
e1081.. - 9*b200 + x721 =L= 0;
e1082.. - 6*b201 + x722 =L= 0;
e1083.. - 6*b202 + x723 =L= 0;
e1084.. - 6*b203 + x724 =L= 0;
e1085.. - 6*b204 + x725 =L= 0;
e1086.. - 6*b205 + x726 =L= 0;
e1087.. - 6*b206 + x727 =L= 0;
e1088.. - 6*b207 + x728 =L= 0;
e1089.. - 6*b208 + x729 =L= 0;
e1090.. - 6*b209 + x730 =L= 0;
e1091.. - 6*b210 + x731 =L= 0;
e1092.. - 6*b211 + x732 =L= 0;
e1093.. - 6*b212 + x733 =L= 0;
e1094.. - 6*b213 + x734 =L= 0;
e1095.. - 6*b214 + x735 =L= 0;
e1096.. - 6*b215 + x736 =L= 0;
e1097.. - 6*b216 + x737 =L= 0;
e1098.. - 6*b217 + x738 =L= 0;
e1099.. - 6*b218 + x739 =L= 0;
e1100.. - 6*b219 + x740 =L= 0;
e1101.. - 6*b220 + x741 =L= 0;
e1102.. - 8*b221 + x742 =L= 0;
e1103.. - 8*b222 + x743 =L= 0;
e1104.. - 8*b223 + x744 =L= 0;
e1105.. - 8*b224 + x745 =L= 0;
e1106.. - 8*b225 + x746 =L= 0;
e1107.. - 8*b226 + x747 =L= 0;
e1108.. - 8*b227 + x748 =L= 0;
e1109.. - 8*b228 + x749 =L= 0;
e1110.. - 8*b229 + x750 =L= 0;
e1111.. - 8*b230 + x751 =L= 0;
e1112.. - 8*b231 + x752 =L= 0;
e1113.. - 8*b232 + x753 =L= 0;
e1114.. - 8*b233 + x754 =L= 0;
e1115.. - 8*b234 + x755 =L= 0;
e1116.. - 8*b235 + x756 =L= 0;
e1117.. - 8*b236 + x757 =L= 0;
e1118.. - 8*b237 + x758 =L= 0;
e1119.. - 8*b238 + x759 =L= 0;
e1120.. - 8*b239 + x760 =L= 0;
e1121.. - 8*b240 + x761 =L= 0;
e1122.. - 9*b241 + x762 =L= 0;
e1123.. - 9*b242 + x763 =L= 0;
e1124.. - 9*b243 + x764 =L= 0;
e1125.. - 9*b244 + x765 =L= 0;
e1126.. - 9*b245 + x766 =L= 0;
e1127.. - 9*b246 + x767 =L= 0;
e1128.. - 9*b247 + x768 =L= 0;
e1129.. - 9*b248 + x769 =L= 0;
e1130.. - 9*b249 + x770 =L= 0;
e1131.. - 9*b250 + x771 =L= 0;
e1132.. - 9*b251 + x772 =L= 0;
e1133.. - 9*b252 + x773 =L= 0;
e1134.. - 9*b253 + x774 =L= 0;
e1135.. - 9*b254 + x775 =L= 0;
e1136.. - 9*b255 + x776 =L= 0;
e1137.. - 9*b256 + x777 =L= 0;
e1138.. - 9*b257 + x778 =L= 0;
e1139.. - 9*b258 + x779 =L= 0;
e1140.. - 9*b259 + x780 =L= 0;
e1141.. - 9*b260 + x781 =L= 0;
e1142.. - 8*b261 + x782 =L= 0;
e1143.. - 8*b262 + x783 =L= 0;
e1144.. - 8*b263 + x784 =L= 0;
e1145.. - 8*b264 + x785 =L= 0;
e1146.. - 8*b265 + x786 =L= 0;
e1147.. - 8*b266 + x787 =L= 0;
e1148.. - 8*b267 + x788 =L= 0;
e1149.. - 8*b268 + x789 =L= 0;
e1150.. - 8*b269 + x790 =L= 0;
e1151.. - 8*b270 + x791 =L= 0;
e1152.. - 8*b271 + x792 =L= 0;
e1153.. - 8*b272 + x793 =L= 0;
e1154.. - 8*b273 + x794 =L= 0;
e1155.. - 8*b274 + x795 =L= 0;
e1156.. - 8*b275 + x796 =L= 0;
e1157.. - 8*b276 + x797 =L= 0;
e1158.. - 8*b277 + x798 =L= 0;
e1159.. - 8*b278 + x799 =L= 0;
e1160.. - 8*b279 + x800 =L= 0;
e1161.. - 8*b280 + x801 =L= 0;
e1162.. - 8*b281 + x802 =L= 0;
e1163.. - 8*b282 + x803 =L= 0;
e1164.. - 8*b283 + x804 =L= 0;
e1165.. - 8*b284 + x805 =L= 0;
e1166.. - 8*b285 + x806 =L= 0;
e1167.. - 8*b286 + x807 =L= 0;
e1168.. - 8*b287 + x808 =L= 0;
e1169.. - 8*b288 + x809 =L= 0;
e1170.. - 8*b289 + x810 =L= 0;
e1171.. - 8*b290 + x811 =L= 0;
e1172.. - 8*b291 + x812 =L= 0;
e1173.. - 8*b292 + x813 =L= 0;
e1174.. - 8*b293 + x814 =L= 0;
e1175.. - 8*b294 + x815 =L= 0;
e1176.. - 8*b295 + x816 =L= 0;
e1177.. - 8*b296 + x817 =L= 0;
e1178.. - 8*b297 + x818 =L= 0;
e1179.. - 8*b298 + x819 =L= 0;
e1180.. - 8*b299 + x820 =L= 0;
e1181.. - 8*b300 + x821 =L= 0;
e1182.. - 4*b301 + x822 =L= 0;
e1183.. - 4*b302 + x823 =L= 0;
e1184.. - 4*b303 + x824 =L= 0;
e1185.. - 4*b304 + x825 =L= 0;
e1186.. - 4*b305 + x826 =L= 0;
e1187.. - 4*b306 + x827 =L= 0;
e1188.. - 4*b307 + x828 =L= 0;
e1189.. - 4*b308 + x829 =L= 0;
e1190.. - 4*b309 + x830 =L= 0;
e1191.. - 4*b310 + x831 =L= 0;
e1192.. - 4*b311 + x832 =L= 0;
e1193.. - 4*b312 + x833 =L= 0;
e1194.. - 4*b313 + x834 =L= 0;
e1195.. - 4*b314 + x835 =L= 0;
e1196.. - 4*b315 + x836 =L= 0;
e1197.. - 4*b316 + x837 =L= 0;
e1198.. - 4*b317 + x838 =L= 0;
e1199.. - 4*b318 + x839 =L= 0;
e1200.. - 4*b319 + x840 =L= 0;
e1201.. - 4*b320 + x841 =L= 0;
e1202.. - 7*b321 + x842 =L= 0;
e1203.. - 7*b322 + x843 =L= 0;
e1204.. - 7*b323 + x844 =L= 0;
e1205.. - 7*b324 + x845 =L= 0;
e1206.. - 7*b325 + x846 =L= 0;
e1207.. - 7*b326 + x847 =L= 0;
e1208.. - 7*b327 + x848 =L= 0;
e1209.. - 7*b328 + x849 =L= 0;
e1210.. - 7*b329 + x850 =L= 0;
e1211.. - 7*b330 + x851 =L= 0;
e1212.. - 7*b331 + x852 =L= 0;
e1213.. - 7*b332 + x853 =L= 0;
e1214.. - 7*b333 + x854 =L= 0;
e1215.. - 7*b334 + x855 =L= 0;
e1216.. - 7*b335 + x856 =L= 0;
e1217.. - 7*b336 + x857 =L= 0;
e1218.. - 7*b337 + x858 =L= 0;
e1219.. - 7*b338 + x859 =L= 0;
e1220.. - 7*b339 + x860 =L= 0;
e1221.. - 7*b340 + x861 =L= 0;
e1222.. - 8*b341 + x862 =L= 0;
e1223.. - 8*b342 + x863 =L= 0;
e1224.. - 8*b343 + x864 =L= 0;
e1225.. - 8*b344 + x865 =L= 0;
e1226.. - 8*b345 + x866 =L= 0;
e1227.. - 8*b346 + x867 =L= 0;
e1228.. - 8*b347 + x868 =L= 0;
e1229.. - 8*b348 + x869 =L= 0;
e1230.. - 8*b349 + x870 =L= 0;
e1231.. - 8*b350 + x871 =L= 0;
e1232.. - 8*b351 + x872 =L= 0;
e1233.. - 8*b352 + x873 =L= 0;
e1234.. - 8*b353 + x874 =L= 0;
e1235.. - 8*b354 + x875 =L= 0;
e1236.. - 8*b355 + x876 =L= 0;
e1237.. - 8*b356 + x877 =L= 0;
e1238.. - 8*b357 + x878 =L= 0;
e1239.. - 8*b358 + x879 =L= 0;
e1240.. - 8*b359 + x880 =L= 0;
e1241.. - 8*b360 + x881 =L= 0;
e1242.. - 7*b361 + x882 =L= 0;
e1243.. - 7*b362 + x883 =L= 0;
e1244.. - 7*b363 + x884 =L= 0;
e1245.. - 7*b364 + x885 =L= 0;
e1246.. - 7*b365 + x886 =L= 0;
e1247.. - 7*b366 + x887 =L= 0;
e1248.. - 7*b367 + x888 =L= 0;
e1249.. - 7*b368 + x889 =L= 0;
e1250.. - 7*b369 + x890 =L= 0;
e1251.. - 7*b370 + x891 =L= 0;
e1252.. - 7*b371 + x892 =L= 0;
e1253.. - 7*b372 + x893 =L= 0;
e1254.. - 7*b373 + x894 =L= 0;
e1255.. - 7*b374 + x895 =L= 0;
e1256.. - 7*b375 + x896 =L= 0;
e1257.. - 7*b376 + x897 =L= 0;
e1258.. - 7*b377 + x898 =L= 0;
e1259.. - 7*b378 + x899 =L= 0;
e1260.. - 7*b379 + x900 =L= 0;
e1261.. - 7*b380 + x901 =L= 0;
e1262.. - 7*b381 + x902 =L= 0;
e1263.. - 7*b382 + x903 =L= 0;
e1264.. - 7*b383 + x904 =L= 0;
e1265.. - 7*b384 + x905 =L= 0;
e1266.. - 7*b385 + x906 =L= 0;
e1267.. - 7*b386 + x907 =L= 0;
e1268.. - 7*b387 + x908 =L= 0;
e1269.. - 7*b388 + x909 =L= 0;
e1270.. - 7*b389 + x910 =L= 0;
e1271.. - 7*b390 + x911 =L= 0;
e1272.. - 7*b391 + x912 =L= 0;
e1273.. - 7*b392 + x913 =L= 0;
e1274.. - 7*b393 + x914 =L= 0;
e1275.. - 7*b394 + x915 =L= 0;
e1276.. - 7*b395 + x916 =L= 0;
e1277.. - 7*b396 + x917 =L= 0;
e1278.. - 7*b397 + x918 =L= 0;
e1279.. - 7*b398 + x919 =L= 0;
e1280.. - 7*b399 + x920 =L= 0;
e1281.. - 7*b400 + x921 =L= 0;
e1282.. - 9*b401 + x922 =L= 0;
e1283.. - 9*b402 + x923 =L= 0;
e1284.. - 9*b403 + x924 =L= 0;
e1285.. - 9*b404 + x925 =L= 0;
e1286.. - 9*b405 + x926 =L= 0;
e1287.. - 9*b406 + x927 =L= 0;
e1288.. - 9*b407 + x928 =L= 0;
e1289.. - 9*b408 + x929 =L= 0;
e1290.. - 9*b409 + x930 =L= 0;
e1291.. - 9*b410 + x931 =L= 0;
e1292.. - 9*b411 + x932 =L= 0;
e1293.. - 9*b412 + x933 =L= 0;
e1294.. - 9*b413 + x934 =L= 0;
e1295.. - 9*b414 + x935 =L= 0;
e1296.. - 9*b415 + x936 =L= 0;
e1297.. - 9*b416 + x937 =L= 0;
e1298.. - 9*b417 + x938 =L= 0;
e1299.. - 9*b418 + x939 =L= 0;
e1300.. - 9*b419 + x940 =L= 0;
e1301.. - 9*b420 + x941 =L= 0;
e1302.. - 4*b421 + x942 =L= 0;
e1303.. - 4*b422 + x943 =L= 0;
e1304.. - 4*b423 + x944 =L= 0;
e1305.. - 4*b424 + x945 =L= 0;
e1306.. - 4*b425 + x946 =L= 0;
e1307.. - 4*b426 + x947 =L= 0;
e1308.. - 4*b427 + x948 =L= 0;
e1309.. - 4*b428 + x949 =L= 0;
e1310.. - 4*b429 + x950 =L= 0;
e1311.. - 4*b430 + x951 =L= 0;
e1312.. - 4*b431 + x952 =L= 0;
e1313.. - 4*b432 + x953 =L= 0;
e1314.. - 4*b433 + x954 =L= 0;
e1315.. - 4*b434 + x955 =L= 0;
e1316.. - 4*b435 + x956 =L= 0;
e1317.. - 4*b436 + x957 =L= 0;
e1318.. - 4*b437 + x958 =L= 0;
e1319.. - 4*b438 + x959 =L= 0;
e1320.. - 4*b439 + x960 =L= 0;
e1321.. - 4*b440 + x961 =L= 0;
e1322.. - 5*b441 + x962 =L= 0;
e1323.. - 5*b442 + x963 =L= 0;
e1324.. - 5*b443 + x964 =L= 0;
e1325.. - 5*b444 + x965 =L= 0;
e1326.. - 5*b445 + x966 =L= 0;
e1327.. - 5*b446 + x967 =L= 0;
e1328.. - 5*b447 + x968 =L= 0;
e1329.. - 5*b448 + x969 =L= 0;
e1330.. - 5*b449 + x970 =L= 0;
e1331.. - 5*b450 + x971 =L= 0;
e1332.. - 5*b451 + x972 =L= 0;
e1333.. - 5*b452 + x973 =L= 0;
e1334.. - 5*b453 + x974 =L= 0;
e1335.. - 5*b454 + x975 =L= 0;
e1336.. - 5*b455 + x976 =L= 0;
e1337.. - 5*b456 + x977 =L= 0;
e1338.. - 5*b457 + x978 =L= 0;
e1339.. - 5*b458 + x979 =L= 0;
e1340.. - 5*b459 + x980 =L= 0;
e1341.. - 5*b460 + x981 =L= 0;
e1342.. 6*b61 + x982 =L= 6;
e1343.. 6*b62 + x983 =L= 6;
e1344.. 6*b63 + x984 =L= 6;
e1345.. 6*b64 + x985 =L= 6;
e1346.. 6*b65 + x986 =L= 6;
e1347.. 6*b66 + x987 =L= 6;
e1348.. 6*b67 + x988 =L= 6;
e1349.. 6*b68 + x989 =L= 6;
e1350.. 6*b69 + x990 =L= 6;
e1351.. 6*b70 + x991 =L= 6;
e1352.. 6*b71 + x992 =L= 6;
e1353.. 6*b72 + x993 =L= 6;
e1354.. 6*b73 + x994 =L= 6;
e1355.. 6*b74 + x995 =L= 6;
e1356.. 6*b75 + x996 =L= 6;
e1357.. 6*b76 + x997 =L= 6;
e1358.. 6*b77 + x998 =L= 6;
e1359.. 6*b78 + x999 =L= 6;
e1360.. 6*b79 + x1000 =L= 6;
e1361.. 6*b80 + x1001 =L= 6;
e1362.. 7*b81 + x1002 =L= 7;
e1363.. 7*b82 + x1003 =L= 7;
e1364.. 7*b83 + x1004 =L= 7;
e1365.. 7*b84 + x1005 =L= 7;
e1366.. 7*b85 + x1006 =L= 7;
e1367.. 7*b86 + x1007 =L= 7;
e1368.. 7*b87 + x1008 =L= 7;
e1369.. 7*b88 + x1009 =L= 7;
e1370.. 7*b89 + x1010 =L= 7;
e1371.. 7*b90 + x1011 =L= 7;
e1372.. 7*b91 + x1012 =L= 7;
e1373.. 7*b92 + x1013 =L= 7;
e1374.. 7*b93 + x1014 =L= 7;
e1375.. 7*b94 + x1015 =L= 7;
e1376.. 7*b95 + x1016 =L= 7;
e1377.. 7*b96 + x1017 =L= 7;
e1378.. 7*b97 + x1018 =L= 7;
e1379.. 7*b98 + x1019 =L= 7;
e1380.. 7*b99 + x1020 =L= 7;
e1381.. 7*b100 + x1021 =L= 7;
e1382.. 6*b101 + x1022 =L= 6;
e1383.. 6*b102 + x1023 =L= 6;
e1384.. 6*b103 + x1024 =L= 6;
e1385.. 6*b104 + x1025 =L= 6;
e1386.. 6*b105 + x1026 =L= 6;
e1387.. 6*b106 + x1027 =L= 6;
e1388.. 6*b107 + x1028 =L= 6;
e1389.. 6*b108 + x1029 =L= 6;
e1390.. 6*b109 + x1030 =L= 6;
e1391.. 6*b110 + x1031 =L= 6;
e1392.. 6*b111 + x1032 =L= 6;
e1393.. 6*b112 + x1033 =L= 6;
e1394.. 6*b113 + x1034 =L= 6;
e1395.. 6*b114 + x1035 =L= 6;
e1396.. 6*b115 + x1036 =L= 6;
e1397.. 6*b116 + x1037 =L= 6;
e1398.. 6*b117 + x1038 =L= 6;
e1399.. 6*b118 + x1039 =L= 6;
e1400.. 6*b119 + x1040 =L= 6;
e1401.. 6*b120 + x1041 =L= 6;
e1402.. 5*b121 + x1042 =L= 5;
e1403.. 5*b122 + x1043 =L= 5;
e1404.. 5*b123 + x1044 =L= 5;
e1405.. 5*b124 + x1045 =L= 5;
e1406.. 5*b125 + x1046 =L= 5;
e1407.. 5*b126 + x1047 =L= 5;
e1408.. 5*b127 + x1048 =L= 5;
e1409.. 5*b128 + x1049 =L= 5;
e1410.. 5*b129 + x1050 =L= 5;
e1411.. 5*b130 + x1051 =L= 5;
e1412.. 5*b131 + x1052 =L= 5;
e1413.. 5*b132 + x1053 =L= 5;
e1414.. 5*b133 + x1054 =L= 5;
e1415.. 5*b134 + x1055 =L= 5;
e1416.. 5*b135 + x1056 =L= 5;
e1417.. 5*b136 + x1057 =L= 5;
e1418.. 5*b137 + x1058 =L= 5;
e1419.. 5*b138 + x1059 =L= 5;
e1420.. 5*b139 + x1060 =L= 5;
e1421.. 5*b140 + x1061 =L= 5;
e1422.. 8*b141 + x1062 =L= 8;
e1423.. 8*b142 + x1063 =L= 8;
e1424.. 8*b143 + x1064 =L= 8;
e1425.. 8*b144 + x1065 =L= 8;
e1426.. 8*b145 + x1066 =L= 8;
e1427.. 8*b146 + x1067 =L= 8;
e1428.. 8*b147 + x1068 =L= 8;
e1429.. 8*b148 + x1069 =L= 8;
e1430.. 8*b149 + x1070 =L= 8;
e1431.. 8*b150 + x1071 =L= 8;
e1432.. 8*b151 + x1072 =L= 8;
e1433.. 8*b152 + x1073 =L= 8;
e1434.. 8*b153 + x1074 =L= 8;
e1435.. 8*b154 + x1075 =L= 8;
e1436.. 8*b155 + x1076 =L= 8;
e1437.. 8*b156 + x1077 =L= 8;
e1438.. 8*b157 + x1078 =L= 8;
e1439.. 8*b158 + x1079 =L= 8;
e1440.. 8*b159 + x1080 =L= 8;
e1441.. 8*b160 + x1081 =L= 8;
e1442.. 7*b161 + x1082 =L= 7;
e1443.. 7*b162 + x1083 =L= 7;
e1444.. 7*b163 + x1084 =L= 7;
e1445.. 7*b164 + x1085 =L= 7;
e1446.. 7*b165 + x1086 =L= 7;
e1447.. 7*b166 + x1087 =L= 7;
e1448.. 7*b167 + x1088 =L= 7;
e1449.. 7*b168 + x1089 =L= 7;
e1450.. 7*b169 + x1090 =L= 7;
e1451.. 7*b170 + x1091 =L= 7;
e1452.. 7*b171 + x1092 =L= 7;
e1453.. 7*b172 + x1093 =L= 7;
e1454.. 7*b173 + x1094 =L= 7;
e1455.. 7*b174 + x1095 =L= 7;
e1456.. 7*b175 + x1096 =L= 7;
e1457.. 7*b176 + x1097 =L= 7;
e1458.. 7*b177 + x1098 =L= 7;
e1459.. 7*b178 + x1099 =L= 7;
e1460.. 7*b179 + x1100 =L= 7;
e1461.. 7*b180 + x1101 =L= 7;
e1462.. 9*b181 + x1102 =L= 9;
e1463.. 9*b182 + x1103 =L= 9;
e1464.. 9*b183 + x1104 =L= 9;
e1465.. 9*b184 + x1105 =L= 9;
e1466.. 9*b185 + x1106 =L= 9;
e1467.. 9*b186 + x1107 =L= 9;
e1468.. 9*b187 + x1108 =L= 9;
e1469.. 9*b188 + x1109 =L= 9;
e1470.. 9*b189 + x1110 =L= 9;
e1471.. 9*b190 + x1111 =L= 9;
e1472.. 9*b191 + x1112 =L= 9;
e1473.. 9*b192 + x1113 =L= 9;
e1474.. 9*b193 + x1114 =L= 9;
e1475.. 9*b194 + x1115 =L= 9;
e1476.. 9*b195 + x1116 =L= 9;
e1477.. 9*b196 + x1117 =L= 9;
e1478.. 9*b197 + x1118 =L= 9;
e1479.. 9*b198 + x1119 =L= 9;
e1480.. 9*b199 + x1120 =L= 9;
e1481.. 9*b200 + x1121 =L= 9;
e1482.. 6*b201 + x1122 =L= 6;
e1483.. 6*b202 + x1123 =L= 6;
e1484.. 6*b203 + x1124 =L= 6;
e1485.. 6*b204 + x1125 =L= 6;
e1486.. 6*b205 + x1126 =L= 6;
e1487.. 6*b206 + x1127 =L= 6;
e1488.. 6*b207 + x1128 =L= 6;
e1489.. 6*b208 + x1129 =L= 6;
e1490.. 6*b209 + x1130 =L= 6;
e1491.. 6*b210 + x1131 =L= 6;
e1492.. 6*b211 + x1132 =L= 6;
e1493.. 6*b212 + x1133 =L= 6;
e1494.. 6*b213 + x1134 =L= 6;
e1495.. 6*b214 + x1135 =L= 6;
e1496.. 6*b215 + x1136 =L= 6;
e1497.. 6*b216 + x1137 =L= 6;
e1498.. 6*b217 + x1138 =L= 6;
e1499.. 6*b218 + x1139 =L= 6;
e1500.. 6*b219 + x1140 =L= 6;
e1501.. 6*b220 + x1141 =L= 6;
e1502.. 8*b221 + x1142 =L= 8;
e1503.. 8*b222 + x1143 =L= 8;
e1504.. 8*b223 + x1144 =L= 8;
e1505.. 8*b224 + x1145 =L= 8;
e1506.. 8*b225 + x1146 =L= 8;
e1507.. 8*b226 + x1147 =L= 8;
e1508.. 8*b227 + x1148 =L= 8;
e1509.. 8*b228 + x1149 =L= 8;
e1510.. 8*b229 + x1150 =L= 8;
e1511.. 8*b230 + x1151 =L= 8;
e1512.. 8*b231 + x1152 =L= 8;
e1513.. 8*b232 + x1153 =L= 8;
e1514.. 8*b233 + x1154 =L= 8;
e1515.. 8*b234 + x1155 =L= 8;
e1516.. 8*b235 + x1156 =L= 8;
e1517.. 8*b236 + x1157 =L= 8;
e1518.. 8*b237 + x1158 =L= 8;
e1519.. 8*b238 + x1159 =L= 8;
e1520.. 8*b239 + x1160 =L= 8;
e1521.. 8*b240 + x1161 =L= 8;
e1522.. 9*b241 + x1162 =L= 9;
e1523.. 9*b242 + x1163 =L= 9;
e1524.. 9*b243 + x1164 =L= 9;
e1525.. 9*b244 + x1165 =L= 9;
e1526.. 9*b245 + x1166 =L= 9;
e1527.. 9*b246 + x1167 =L= 9;
e1528.. 9*b247 + x1168 =L= 9;
e1529.. 9*b248 + x1169 =L= 9;
e1530.. 9*b249 + x1170 =L= 9;
e1531.. 9*b250 + x1171 =L= 9;
e1532.. 9*b251 + x1172 =L= 9;
e1533.. 9*b252 + x1173 =L= 9;
e1534.. 9*b253 + x1174 =L= 9;
e1535.. 9*b254 + x1175 =L= 9;
e1536.. 9*b255 + x1176 =L= 9;
e1537.. 9*b256 + x1177 =L= 9;
e1538.. 9*b257 + x1178 =L= 9;
e1539.. 9*b258 + x1179 =L= 9;
e1540.. 9*b259 + x1180 =L= 9;
e1541.. 9*b260 + x1181 =L= 9;
e1542.. 8*b261 + x1182 =L= 8;
e1543.. 8*b262 + x1183 =L= 8;
e1544.. 8*b263 + x1184 =L= 8;
e1545.. 8*b264 + x1185 =L= 8;
e1546.. 8*b265 + x1186 =L= 8;
e1547.. 8*b266 + x1187 =L= 8;
e1548.. 8*b267 + x1188 =L= 8;
e1549.. 8*b268 + x1189 =L= 8;
e1550.. 8*b269 + x1190 =L= 8;
e1551.. 8*b270 + x1191 =L= 8;
e1552.. 8*b271 + x1192 =L= 8;
e1553.. 8*b272 + x1193 =L= 8;
e1554.. 8*b273 + x1194 =L= 8;
e1555.. 8*b274 + x1195 =L= 8;
e1556.. 8*b275 + x1196 =L= 8;
e1557.. 8*b276 + x1197 =L= 8;
e1558.. 8*b277 + x1198 =L= 8;
e1559.. 8*b278 + x1199 =L= 8;
e1560.. 8*b279 + x1200 =L= 8;
e1561.. 8*b280 + x1201 =L= 8;
e1562.. 8*b281 + x1202 =L= 8;
e1563.. 8*b282 + x1203 =L= 8;
e1564.. 8*b283 + x1204 =L= 8;
e1565.. 8*b284 + x1205 =L= 8;
e1566.. 8*b285 + x1206 =L= 8;
e1567.. 8*b286 + x1207 =L= 8;
e1568.. 8*b287 + x1208 =L= 8;
e1569.. 8*b288 + x1209 =L= 8;
e1570.. 8*b289 + x1210 =L= 8;
e1571.. 8*b290 + x1211 =L= 8;
e1572.. 8*b291 + x1212 =L= 8;
e1573.. 8*b292 + x1213 =L= 8;
e1574.. 8*b293 + x1214 =L= 8;
e1575.. 8*b294 + x1215 =L= 8;
e1576.. 8*b295 + x1216 =L= 8;
e1577.. 8*b296 + x1217 =L= 8;
e1578.. 8*b297 + x1218 =L= 8;
e1579.. 8*b298 + x1219 =L= 8;
e1580.. 8*b299 + x1220 =L= 8;
e1581.. 8*b300 + x1221 =L= 8;
e1582.. 4*b301 + x1222 =L= 4;
e1583.. 4*b302 + x1223 =L= 4;
e1584.. 4*b303 + x1224 =L= 4;
e1585.. 4*b304 + x1225 =L= 4;
e1586.. 4*b305 + x1226 =L= 4;
e1587.. 4*b306 + x1227 =L= 4;
e1588.. 4*b307 + x1228 =L= 4;
e1589.. 4*b308 + x1229 =L= 4;
e1590.. 4*b309 + x1230 =L= 4;
e1591.. 4*b310 + x1231 =L= 4;
e1592.. 4*b311 + x1232 =L= 4;
e1593.. 4*b312 + x1233 =L= 4;
e1594.. 4*b313 + x1234 =L= 4;
e1595.. 4*b314 + x1235 =L= 4;
e1596.. 4*b315 + x1236 =L= 4;
e1597.. 4*b316 + x1237 =L= 4;
e1598.. 4*b317 + x1238 =L= 4;
e1599.. 4*b318 + x1239 =L= 4;
e1600.. 4*b319 + x1240 =L= 4;
e1601.. 4*b320 + x1241 =L= 4;
e1602.. 7*b321 + x1242 =L= 7;
e1603.. 7*b322 + x1243 =L= 7;
e1604.. 7*b323 + x1244 =L= 7;
e1605.. 7*b324 + x1245 =L= 7;
e1606.. 7*b325 + x1246 =L= 7;
e1607.. 7*b326 + x1247 =L= 7;
e1608.. 7*b327 + x1248 =L= 7;
e1609.. 7*b328 + x1249 =L= 7;
e1610.. 7*b329 + x1250 =L= 7;
e1611.. 7*b330 + x1251 =L= 7;
e1612.. 7*b331 + x1252 =L= 7;
e1613.. 7*b332 + x1253 =L= 7;
e1614.. 7*b333 + x1254 =L= 7;
e1615.. 7*b334 + x1255 =L= 7;
e1616.. 7*b335 + x1256 =L= 7;
e1617.. 7*b336 + x1257 =L= 7;
e1618.. 7*b337 + x1258 =L= 7;
e1619.. 7*b338 + x1259 =L= 7;
e1620.. 7*b339 + x1260 =L= 7;
e1621.. 7*b340 + x1261 =L= 7;
e1622.. 8*b341 + x1262 =L= 8;
e1623.. 8*b342 + x1263 =L= 8;
e1624.. 8*b343 + x1264 =L= 8;
e1625.. 8*b344 + x1265 =L= 8;
e1626.. 8*b345 + x1266 =L= 8;
e1627.. 8*b346 + x1267 =L= 8;
e1628.. 8*b347 + x1268 =L= 8;
e1629.. 8*b348 + x1269 =L= 8;
e1630.. 8*b349 + x1270 =L= 8;
e1631.. 8*b350 + x1271 =L= 8;
e1632.. 8*b351 + x1272 =L= 8;
e1633.. 8*b352 + x1273 =L= 8;
e1634.. 8*b353 + x1274 =L= 8;
e1635.. 8*b354 + x1275 =L= 8;
e1636.. 8*b355 + x1276 =L= 8;
e1637.. 8*b356 + x1277 =L= 8;
e1638.. 8*b357 + x1278 =L= 8;
e1639.. 8*b358 + x1279 =L= 8;
e1640.. 8*b359 + x1280 =L= 8;
e1641.. 8*b360 + x1281 =L= 8;
e1642.. 7*b361 + x1282 =L= 7;
e1643.. 7*b362 + x1283 =L= 7;
e1644.. 7*b363 + x1284 =L= 7;
e1645.. 7*b364 + x1285 =L= 7;
e1646.. 7*b365 + x1286 =L= 7;
e1647.. 7*b366 + x1287 =L= 7;
e1648.. 7*b367 + x1288 =L= 7;
e1649.. 7*b368 + x1289 =L= 7;
e1650.. 7*b369 + x1290 =L= 7;
e1651.. 7*b370 + x1291 =L= 7;
e1652.. 7*b371 + x1292 =L= 7;
e1653.. 7*b372 + x1293 =L= 7;
e1654.. 7*b373 + x1294 =L= 7;
e1655.. 7*b374 + x1295 =L= 7;
e1656.. 7*b375 + x1296 =L= 7;
e1657.. 7*b376 + x1297 =L= 7;
e1658.. 7*b377 + x1298 =L= 7;
e1659.. 7*b378 + x1299 =L= 7;
e1660.. 7*b379 + x1300 =L= 7;
e1661.. 7*b380 + x1301 =L= 7;
e1662.. 7*b381 + x1302 =L= 7;
e1663.. 7*b382 + x1303 =L= 7;
e1664.. 7*b383 + x1304 =L= 7;
e1665.. 7*b384 + x1305 =L= 7;
e1666.. 7*b385 + x1306 =L= 7;
e1667.. 7*b386 + x1307 =L= 7;
e1668.. 7*b387 + x1308 =L= 7;
e1669.. 7*b388 + x1309 =L= 7;
e1670.. 7*b389 + x1310 =L= 7;
e1671.. 7*b390 + x1311 =L= 7;
e1672.. 7*b391 + x1312 =L= 7;
e1673.. 7*b392 + x1313 =L= 7;
e1674.. 7*b393 + x1314 =L= 7;
e1675.. 7*b394 + x1315 =L= 7;
e1676.. 7*b395 + x1316 =L= 7;
e1677.. 7*b396 + x1317 =L= 7;
e1678.. 7*b397 + x1318 =L= 7;
e1679.. 7*b398 + x1319 =L= 7;
e1680.. 7*b399 + x1320 =L= 7;
e1681.. 7*b400 + x1321 =L= 7;
e1682.. 9*b401 + x1322 =L= 9;
e1683.. 9*b402 + x1323 =L= 9;
e1684.. 9*b403 + x1324 =L= 9;
e1685.. 9*b404 + x1325 =L= 9;
e1686.. 9*b405 + x1326 =L= 9;
e1687.. 9*b406 + x1327 =L= 9;
e1688.. 9*b407 + x1328 =L= 9;
e1689.. 9*b408 + x1329 =L= 9;
e1690.. 9*b409 + x1330 =L= 9;
e1691.. 9*b410 + x1331 =L= 9;
e1692.. 9*b411 + x1332 =L= 9;
e1693.. 9*b412 + x1333 =L= 9;
e1694.. 9*b413 + x1334 =L= 9;
e1695.. 9*b414 + x1335 =L= 9;
e1696.. 9*b415 + x1336 =L= 9;
e1697.. 9*b416 + x1337 =L= 9;
e1698.. 9*b417 + x1338 =L= 9;
e1699.. 9*b418 + x1339 =L= 9;
e1700.. 9*b419 + x1340 =L= 9;
e1701.. 9*b420 + x1341 =L= 9;
e1702.. 4*b421 + x1342 =L= 4;
e1703.. 4*b422 + x1343 =L= 4;
e1704.. 4*b423 + x1344 =L= 4;
e1705.. 4*b424 + x1345 =L= 4;
e1706.. 4*b425 + x1346 =L= 4;
e1707.. 4*b426 + x1347 =L= 4;
e1708.. 4*b427 + x1348 =L= 4;
e1709.. 4*b428 + x1349 =L= 4;
e1710.. 4*b429 + x1350 =L= 4;
e1711.. 4*b430 + x1351 =L= 4;
e1712.. 4*b431 + x1352 =L= 4;
e1713.. 4*b432 + x1353 =L= 4;
e1714.. 4*b433 + x1354 =L= 4;
e1715.. 4*b434 + x1355 =L= 4;
e1716.. 4*b435 + x1356 =L= 4;
e1717.. 4*b436 + x1357 =L= 4;
e1718.. 4*b437 + x1358 =L= 4;
e1719.. 4*b438 + x1359 =L= 4;
e1720.. 4*b439 + x1360 =L= 4;
e1721.. 4*b440 + x1361 =L= 4;
e1722.. 5*b441 + x1362 =L= 5;
e1723.. 5*b442 + x1363 =L= 5;
e1724.. 5*b443 + x1364 =L= 5;
e1725.. 5*b444 + x1365 =L= 5;
e1726.. 5*b445 + x1366 =L= 5;
e1727.. 5*b446 + x1367 =L= 5;
e1728.. 5*b447 + x1368 =L= 5;
e1729.. 5*b448 + x1369 =L= 5;
e1730.. 5*b449 + x1370 =L= 5;
e1731.. 5*b450 + x1371 =L= 5;
e1732.. 5*b451 + x1372 =L= 5;
e1733.. 5*b452 + x1373 =L= 5;
e1734.. 5*b453 + x1374 =L= 5;
e1735.. 5*b454 + x1375 =L= 5;
e1736.. 5*b455 + x1376 =L= 5;
e1737.. 5*b456 + x1377 =L= 5;
e1738.. 5*b457 + x1378 =L= 5;
e1739.. 5*b458 + x1379 =L= 5;
e1740.. 5*b459 + x1380 =L= 5;
e1741.. 5*b460 + x1381 =L= 5;
e1742.. - 2181.59934661036*b61 - 610.717291691756*b62 - 1152.3051443409*b63
- 1195.65221607036*b64 - 7.49190417623649*b65 - 144.242366295902*b66
- 1948.11138522726*b67 - 25.2933485215505*b68 - 1150.43516387048*b69
- 25.693821722884*b70 - 4.58146305944256*b71 - 1419.23366267117*b72
- 2435.610966361*b73 - 0.550484831446223*b74 - 53.9207108030273*b75
- 2455.10161723632*b76 - 43.6877031386228*b77 - 18.244218964155*b78
- 86.4422576002592*b79 - 1560.89717189576*b80 + x1382 + x1402 + x1422
=E= 0;
e1743.. - 2181.59934661036*b81 - 610.717291691756*b82 - 1152.3051443409*b83
- 1195.65221607036*b84 - 7.49190417623649*b85 - 144.242366295902*b86
- 1948.11138522726*b87 - 25.2933485215505*b88 - 1150.43516387048*b89
- 25.693821722884*b90 - 4.58146305944256*b91 - 1419.23366267117*b92
- 2435.610966361*b93 - 0.550484831446223*b94 - 53.9207108030273*b95
- 2455.10161723632*b96 - 43.6877031386228*b97 - 18.244218964155*b98
- 86.4422576002592*b99 - 1560.89717189576*b100 + x1383 + x1403 + x1423
=E= 0;
e1744.. - 2181.59934661036*b101 - 610.717291691756*b102 - 1152.3051443409*b103
- 1195.65221607036*b104 - 7.49190417623649*b105
- 144.242366295902*b106 - 1948.11138522726*b107
- 25.2933485215505*b108 - 1150.43516387048*b109 - 25.693821722884*b110
- 4.58146305944256*b111 - 1419.23366267117*b112 - 2435.610966361*b113
- 0.550484831446223*b114 - 53.9207108030273*b115
- 2455.10161723632*b116 - 43.6877031386228*b117 - 18.244218964155*b118
- 86.4422576002592*b119 - 1560.89717189576*b120 + x1384 + x1404
+ x1424 =E= 0;
e1745.. - 2181.59934661036*b121 - 610.717291691756*b122 - 1152.3051443409*b123
- 1195.65221607036*b124 - 7.49190417623649*b125
- 144.242366295902*b126 - 1948.11138522726*b127
- 25.2933485215505*b128 - 1150.43516387048*b129 - 25.693821722884*b130
- 4.58146305944256*b131 - 1419.23366267117*b132 - 2435.610966361*b133
- 0.550484831446223*b134 - 53.9207108030273*b135
- 2455.10161723632*b136 - 43.6877031386228*b137 - 18.244218964155*b138
- 86.4422576002592*b139 - 1560.89717189576*b140 + x1385 + x1405
+ x1425 =E= 0;
e1746.. - 2181.59934661036*b141 - 610.717291691756*b142 - 1152.3051443409*b143
- 1195.65221607036*b144 - 7.49190417623649*b145
- 144.242366295902*b146 - 1948.11138522726*b147
- 25.2933485215505*b148 - 1150.43516387048*b149 - 25.693821722884*b150
- 4.58146305944256*b151 - 1419.23366267117*b152 - 2435.610966361*b153
- 0.550484831446223*b154 - 53.9207108030273*b155
- 2455.10161723632*b156 - 43.6877031386228*b157 - 18.244218964155*b158
- 86.4422576002592*b159 - 1560.89717189576*b160 + x1386 + x1406
+ x1426 =E= 0;
e1747.. - 2181.59934661036*b161 - 610.717291691756*b162 - 1152.3051443409*b163
- 1195.65221607036*b164 - 7.49190417623649*b165
- 144.242366295902*b166 - 1948.11138522726*b167
- 25.2933485215505*b168 - 1150.43516387048*b169 - 25.693821722884*b170
- 4.58146305944256*b171 - 1419.23366267117*b172 - 2435.610966361*b173
- 0.550484831446223*b174 - 53.9207108030273*b175
- 2455.10161723632*b176 - 43.6877031386228*b177 - 18.244218964155*b178
- 86.4422576002592*b179 - 1560.89717189576*b180 + x1387 + x1407
+ x1427 =E= 0;
e1748.. - 2181.59934661036*b181 - 610.717291691756*b182 - 1152.3051443409*b183
- 1195.65221607036*b184 - 7.49190417623649*b185
- 144.242366295902*b186 - 1948.11138522726*b187
- 25.2933485215505*b188 - 1150.43516387048*b189 - 25.693821722884*b190
- 4.58146305944256*b191 - 1419.23366267117*b192 - 2435.610966361*b193
- 0.550484831446223*b194 - 53.9207108030273*b195
- 2455.10161723632*b196 - 43.6877031386228*b197 - 18.244218964155*b198
- 86.4422576002592*b199 - 1560.89717189576*b200 + x1388 + x1408
+ x1428 =E= 0;
e1749.. - 2181.59934661036*b201 - 610.717291691756*b202 - 1152.3051443409*b203
- 1195.65221607036*b204 - 7.49190417623649*b205
- 144.242366295902*b206 - 1948.11138522726*b207
- 25.2933485215505*b208 - 1150.43516387048*b209 - 25.693821722884*b210
- 4.58146305944256*b211 - 1419.23366267117*b212 - 2435.610966361*b213
- 0.550484831446223*b214 - 53.9207108030273*b215
- 2455.10161723632*b216 - 43.6877031386228*b217 - 18.244218964155*b218
- 86.4422576002592*b219 - 1560.89717189576*b220 + x1389 + x1409
+ x1429 =E= 0;
e1750.. - 2181.59934661036*b221 - 610.717291691756*b222 - 1152.3051443409*b223
- 1195.65221607036*b224 - 7.49190417623649*b225
- 144.242366295902*b226 - 1948.11138522726*b227
- 25.2933485215505*b228 - 1150.43516387048*b229 - 25.693821722884*b230
- 4.58146305944256*b231 - 1419.23366267117*b232 - 2435.610966361*b233
- 0.550484831446223*b234 - 53.9207108030273*b235
- 2455.10161723632*b236 - 43.6877031386228*b237 - 18.244218964155*b238
- 86.4422576002592*b239 - 1560.89717189576*b240 + x1390 + x1410
+ x1430 =E= 0;
e1751.. - 2181.59934661036*b241 - 610.717291691756*b242 - 1152.3051443409*b243
- 1195.65221607036*b244 - 7.49190417623649*b245
- 144.242366295902*b246 - 1948.11138522726*b247
- 25.2933485215505*b248 - 1150.43516387048*b249 - 25.693821722884*b250
- 4.58146305944256*b251 - 1419.23366267117*b252 - 2435.610966361*b253
- 0.550484831446223*b254 - 53.9207108030273*b255
- 2455.10161723632*b256 - 43.6877031386228*b257 - 18.244218964155*b258
- 86.4422576002592*b259 - 1560.89717189576*b260 + x1391 + x1411
+ x1431 =E= 0;
e1752.. - 2181.59934661036*b261 - 610.717291691756*b262 - 1152.3051443409*b263
- 1195.65221607036*b264 - 7.49190417623649*b265
- 144.242366295902*b266 - 1948.11138522726*b267
- 25.2933485215505*b268 - 1150.43516387048*b269 - 25.693821722884*b270
- 4.58146305944256*b271 - 1419.23366267117*b272 - 2435.610966361*b273
- 0.550484831446223*b274 - 53.9207108030273*b275
- 2455.10161723632*b276 - 43.6877031386228*b277 - 18.244218964155*b278
- 86.4422576002592*b279 - 1560.89717189576*b280 + x1392 + x1412
+ x1432 =E= 0;
e1753.. - 2181.59934661036*b281 - 610.717291691756*b282 - 1152.3051443409*b283
- 1195.65221607036*b284 - 7.49190417623649*b285
- 144.242366295902*b286 - 1948.11138522726*b287
- 25.2933485215505*b288 - 1150.43516387048*b289 - 25.693821722884*b290
- 4.58146305944256*b291 - 1419.23366267117*b292 - 2435.610966361*b293
- 0.550484831446223*b294 - 53.9207108030273*b295
- 2455.10161723632*b296 - 43.6877031386228*b297 - 18.244218964155*b298
- 86.4422576002592*b299 - 1560.89717189576*b300 + x1393 + x1413
+ x1433 =E= 0;
e1754.. - 2181.59934661036*b301 - 610.717291691756*b302 - 1152.3051443409*b303
- 1195.65221607036*b304 - 7.49190417623649*b305
- 144.242366295902*b306 - 1948.11138522726*b307
- 25.2933485215505*b308 - 1150.43516387048*b309 - 25.693821722884*b310
- 4.58146305944256*b311 - 1419.23366267117*b312 - 2435.610966361*b313
- 0.550484831446223*b314 - 53.9207108030273*b315
- 2455.10161723632*b316 - 43.6877031386228*b317 - 18.244218964155*b318
- 86.4422576002592*b319 - 1560.89717189576*b320 + x1394 + x1414
+ x1434 =E= 0;
e1755.. - 2181.59934661036*b321 - 610.717291691756*b322 - 1152.3051443409*b323
- 1195.65221607036*b324 - 7.49190417623649*b325
- 144.242366295902*b326 - 1948.11138522726*b327
- 25.2933485215505*b328 - 1150.43516387048*b329 - 25.693821722884*b330
- 4.58146305944256*b331 - 1419.23366267117*b332 - 2435.610966361*b333
- 0.550484831446223*b334 - 53.9207108030273*b335
- 2455.10161723632*b336 - 43.6877031386228*b337 - 18.244218964155*b338
- 86.4422576002592*b339 - 1560.89717189576*b340 + x1395 + x1415
+ x1435 =E= 0;
e1756.. - 2181.59934661036*b341 - 610.717291691756*b342 - 1152.3051443409*b343
- 1195.65221607036*b344 - 7.49190417623649*b345
- 144.242366295902*b346 - 1948.11138522726*b347
- 25.2933485215505*b348 - 1150.43516387048*b349 - 25.693821722884*b350
- 4.58146305944256*b351 - 1419.23366267117*b352 - 2435.610966361*b353
- 0.550484831446223*b354 - 53.9207108030273*b355
- 2455.10161723632*b356 - 43.6877031386228*b357 - 18.244218964155*b358
- 86.4422576002592*b359 - 1560.89717189576*b360 + x1396 + x1416
+ x1436 =E= 0;
e1757.. - 2181.59934661036*b361 - 610.717291691756*b362 - 1152.3051443409*b363
- 1195.65221607036*b364 - 7.49190417623649*b365
- 144.242366295902*b366 - 1948.11138522726*b367
- 25.2933485215505*b368 - 1150.43516387048*b369 - 25.693821722884*b370
- 4.58146305944256*b371 - 1419.23366267117*b372 - 2435.610966361*b373
- 0.550484831446223*b374 - 53.9207108030273*b375
- 2455.10161723632*b376 - 43.6877031386228*b377 - 18.244218964155*b378
- 86.4422576002592*b379 - 1560.89717189576*b380 + x1397 + x1417
+ x1437 =E= 0;
e1758.. - 2181.59934661036*b381 - 610.717291691756*b382 - 1152.3051443409*b383
- 1195.65221607036*b384 - 7.49190417623649*b385
- 144.242366295902*b386 - 1948.11138522726*b387
- 25.2933485215505*b388 - 1150.43516387048*b389 - 25.693821722884*b390
- 4.58146305944256*b391 - 1419.23366267117*b392 - 2435.610966361*b393
- 0.550484831446223*b394 - 53.9207108030273*b395
- 2455.10161723632*b396 - 43.6877031386228*b397 - 18.244218964155*b398
- 86.4422576002592*b399 - 1560.89717189576*b400 + x1398 + x1418
+ x1438 =E= 0;
e1759.. - 2181.59934661036*b401 - 610.717291691756*b402 - 1152.3051443409*b403
- 1195.65221607036*b404 - 7.49190417623649*b405
- 144.242366295902*b406 - 1948.11138522726*b407
- 25.2933485215505*b408 - 1150.43516387048*b409 - 25.693821722884*b410
- 4.58146305944256*b411 - 1419.23366267117*b412 - 2435.610966361*b413
- 0.550484831446223*b414 - 53.9207108030273*b415
- 2455.10161723632*b416 - 43.6877031386228*b417 - 18.244218964155*b418
- 86.4422576002592*b419 - 1560.89717189576*b420 + x1399 + x1419
+ x1439 =E= 0;
e1760.. - 2181.59934661036*b421 - 610.717291691756*b422 - 1152.3051443409*b423
- 1195.65221607036*b424 - 7.49190417623649*b425
- 144.242366295902*b426 - 1948.11138522726*b427
- 25.2933485215505*b428 - 1150.43516387048*b429 - 25.693821722884*b430
- 4.58146305944256*b431 - 1419.23366267117*b432 - 2435.610966361*b433
- 0.550484831446223*b434 - 53.9207108030273*b435
- 2455.10161723632*b436 - 43.6877031386228*b437 - 18.244218964155*b438
- 86.4422576002592*b439 - 1560.89717189576*b440 + x1400 + x1420
+ x1440 =E= 0;
e1761.. - 2181.59934661036*b441 - 610.717291691756*b442 - 1152.3051443409*b443
- 1195.65221607036*b444 - 7.49190417623649*b445
- 144.242366295902*b446 - 1948.11138522726*b447
- 25.2933485215505*b448 - 1150.43516387048*b449 - 25.693821722884*b450
- 4.58146305944256*b451 - 1419.23366267117*b452 - 2435.610966361*b453
- 0.550484831446223*b454 - 53.9207108030273*b455
- 2455.10161723632*b456 - 43.6877031386228*b457 - 18.244218964155*b458
- 86.4422576002592*b459 - 1560.89717189576*b460 + x1401 + x1421
+ x1441 =E= 0;
e1762.. - 16519.8122450889*b1 + x1382 =L= 0;
e1763.. - 16519.8122450889*b2 + x1383 =L= 0;
e1764.. - 16519.8122450889*b3 + x1384 =L= 0;
e1765.. - 16519.8122450889*b4 + x1385 =L= 0;
e1766.. - 16519.8122450889*b5 + x1386 =L= 0;
e1767.. - 16519.8122450889*b6 + x1387 =L= 0;
e1768.. - 16519.8122450889*b7 + x1388 =L= 0;
e1769.. - 16519.8122450889*b8 + x1389 =L= 0;
e1770.. - 16519.8122450889*b9 + x1390 =L= 0;
e1771.. - 16519.8122450889*b10 + x1391 =L= 0;
e1772.. - 16519.8122450889*b11 + x1392 =L= 0;
e1773.. - 16519.8122450889*b12 + x1393 =L= 0;
e1774.. - 16519.8122450889*b13 + x1394 =L= 0;
e1775.. - 16519.8122450889*b14 + x1395 =L= 0;
e1776.. - 16519.8122450889*b15 + x1396 =L= 0;
e1777.. - 16519.8122450889*b16 + x1397 =L= 0;
e1778.. - 16519.8122450889*b17 + x1398 =L= 0;
e1779.. - 16519.8122450889*b18 + x1399 =L= 0;
e1780.. - 16519.8122450889*b19 + x1400 =L= 0;
e1781.. - 16519.8122450889*b20 + x1401 =L= 0;
e1782.. - 16519.8122450889*b21 + x1402 =L= 0;
e1783.. - 16519.8122450889*b22 + x1403 =L= 0;
e1784.. - 16519.8122450889*b23 + x1404 =L= 0;
e1785.. - 16519.8122450889*b24 + x1405 =L= 0;
e1786.. - 16519.8122450889*b25 + x1406 =L= 0;
e1787.. - 16519.8122450889*b26 + x1407 =L= 0;
e1788.. - 16519.8122450889*b27 + x1408 =L= 0;
e1789.. - 16519.8122450889*b28 + x1409 =L= 0;
e1790.. - 16519.8122450889*b29 + x1410 =L= 0;
e1791.. - 16519.8122450889*b30 + x1411 =L= 0;
e1792.. - 16519.8122450889*b31 + x1412 =L= 0;
e1793.. - 16519.8122450889*b32 + x1413 =L= 0;
e1794.. - 16519.8122450889*b33 + x1414 =L= 0;
e1795.. - 16519.8122450889*b34 + x1415 =L= 0;
e1796.. - 16519.8122450889*b35 + x1416 =L= 0;
e1797.. - 16519.8122450889*b36 + x1417 =L= 0;
e1798.. - 16519.8122450889*b37 + x1418 =L= 0;
e1799.. - 16519.8122450889*b38 + x1419 =L= 0;
e1800.. - 16519.8122450889*b39 + x1420 =L= 0;
e1801.. - 16519.8122450889*b40 + x1421 =L= 0;
e1802.. 16519.8122450889*b41 + x1422 =L= 16519.8122450889;
e1803.. 16519.8122450889*b42 + x1423 =L= 16519.8122450889;
e1804.. 16519.8122450889*b43 + x1424 =L= 16519.8122450889;
e1805.. 16519.8122450889*b44 + x1425 =L= 16519.8122450889;
e1806.. 16519.8122450889*b45 + x1426 =L= 16519.8122450889;
e1807.. 16519.8122450889*b46 + x1427 =L= 16519.8122450889;
e1808.. 16519.8122450889*b47 + x1428 =L= 16519.8122450889;
e1809.. 16519.8122450889*b48 + x1429 =L= 16519.8122450889;
e1810.. 16519.8122450889*b49 + x1430 =L= 16519.8122450889;
e1811.. 16519.8122450889*b50 + x1431 =L= 16519.8122450889;
e1812.. 16519.8122450889*b51 + x1432 =L= 16519.8122450889;
e1813.. 16519.8122450889*b52 + x1433 =L= 16519.8122450889;
e1814.. 16519.8122450889*b53 + x1434 =L= 16519.8122450889;
e1815.. 16519.8122450889*b54 + x1435 =L= 16519.8122450889;
e1816.. 16519.8122450889*b55 + x1436 =L= 16519.8122450889;
e1817.. 16519.8122450889*b56 + x1437 =L= 16519.8122450889;
e1818.. 16519.8122450889*b57 + x1438 =L= 16519.8122450889;
e1819.. 16519.8122450889*b58 + x1439 =L= 16519.8122450889;
e1820.. 16519.8122450889*b59 + x1440 =L= 16519.8122450889;
e1821.. 16519.8122450889*b60 + x1441 =L= 16519.8122450889;
e1822.. x562 + 2181.59934661036*x582 + 610.717291691756*x583
+ 1152.3051443409*x584 + 1195.65221607036*x585 + 7.49190417623649*x586
+ 144.242366295902*x587 + 1948.11138522726*x588
+ 25.2933485215505*x589 + 1150.43516387048*x590 + 25.693821722884*x591
+ 4.58146305944256*x592 + 1419.23366267117*x593 + 2435.610966361*x594
+ 0.550484831446223*x595 + 53.9207108030273*x596
+ 2455.10161723632*x597 + 43.6877031386228*x598 + 18.244218964155*x599
+ 86.4422576002592*x600 + 1560.89717189576*x601 - 6*x1382 - 5*x1402
=E= 0;
e1823.. x563 + 2181.59934661036*x602 + 610.717291691756*x603
+ 1152.3051443409*x604 + 1195.65221607036*x605 + 7.49190417623649*x606
+ 144.242366295902*x607 + 1948.11138522726*x608
+ 25.2933485215505*x609 + 1150.43516387048*x610 + 25.693821722884*x611
+ 4.58146305944256*x612 + 1419.23366267117*x613 + 2435.610966361*x614
+ 0.550484831446223*x615 + 53.9207108030273*x616
+ 2455.10161723632*x617 + 43.6877031386228*x618 + 18.244218964155*x619
+ 86.4422576002592*x620 + 1560.89717189576*x621 - 4*x1383 - 7*x1403
=E= 0;
e1824.. x564 + 2181.59934661036*x622 + 610.717291691756*x623
+ 1152.3051443409*x624 + 1195.65221607036*x625 + 7.49190417623649*x626
+ 144.242366295902*x627 + 1948.11138522726*x628
+ 25.2933485215505*x629 + 1150.43516387048*x630 + 25.693821722884*x631
+ 4.58146305944256*x632 + 1419.23366267117*x633 + 2435.610966361*x634
+ 0.550484831446223*x635 + 53.9207108030273*x636
+ 2455.10161723632*x637 + 43.6877031386228*x638 + 18.244218964155*x639
+ 86.4422576002592*x640 + 1560.89717189576*x641 - 6*x1384 - 3*x1404
=E= 0;
e1825.. x565 + 2181.59934661036*x642 + 610.717291691756*x643
+ 1152.3051443409*x644 + 1195.65221607036*x645 + 7.49190417623649*x646
+ 144.242366295902*x647 + 1948.11138522726*x648
+ 25.2933485215505*x649 + 1150.43516387048*x650 + 25.693821722884*x651
+ 4.58146305944256*x652 + 1419.23366267117*x653 + 2435.610966361*x654
+ 0.550484831446223*x655 + 53.9207108030273*x656
+ 2455.10161723632*x657 + 43.6877031386228*x658 + 18.244218964155*x659
+ 86.4422576002592*x660 + 1560.89717189576*x661 - 5*x1385 - 2*x1405
=E= 0;
e1826.. x566 + 2181.59934661036*x662 + 610.717291691756*x663
+ 1152.3051443409*x664 + 1195.65221607036*x665 + 7.49190417623649*x666
+ 144.242366295902*x667 + 1948.11138522726*x668
+ 25.2933485215505*x669 + 1150.43516387048*x670 + 25.693821722884*x671
+ 4.58146305944256*x672 + 1419.23366267117*x673 + 2435.610966361*x674
+ 0.550484831446223*x675 + 53.9207108030273*x676
+ 2455.10161723632*x677 + 43.6877031386228*x678 + 18.244218964155*x679
+ 86.4422576002592*x680 + 1560.89717189576*x681 - 8*x1386 - 6*x1406
=E= 0;
e1827.. x567 + 2181.59934661036*x682 + 610.717291691756*x683
+ 1152.3051443409*x684 + 1195.65221607036*x685 + 7.49190417623649*x686
+ 144.242366295902*x687 + 1948.11138522726*x688
+ 25.2933485215505*x689 + 1150.43516387048*x690 + 25.693821722884*x691
+ 4.58146305944256*x692 + 1419.23366267117*x693 + 2435.610966361*x694
+ 0.550484831446223*x695 + 53.9207108030273*x696
+ 2455.10161723632*x697 + 43.6877031386228*x698 + 18.244218964155*x699
+ 86.4422576002592*x700 + 1560.89717189576*x701 - 7*x1387 - 6*x1407
=E= 0;
e1828.. x568 + 2181.59934661036*x702 + 610.717291691756*x703
+ 1152.3051443409*x704 + 1195.65221607036*x705 + 7.49190417623649*x706
+ 144.242366295902*x707 + 1948.11138522726*x708
+ 25.2933485215505*x709 + 1150.43516387048*x710 + 25.693821722884*x711
+ 4.58146305944256*x712 + 1419.23366267117*x713 + 2435.610966361*x714
+ 0.550484831446223*x715 + 53.9207108030273*x716
+ 2455.10161723632*x717 + 43.6877031386228*x718 + 18.244218964155*x719
+ 86.4422576002592*x720 + 1560.89717189576*x721 - 9*x1388 - 4*x1408
=E= 0;
e1829.. x569 + 2181.59934661036*x722 + 610.717291691756*x723
+ 1152.3051443409*x724 + 1195.65221607036*x725 + 7.49190417623649*x726
+ 144.242366295902*x727 + 1948.11138522726*x728
+ 25.2933485215505*x729 + 1150.43516387048*x730 + 25.693821722884*x731
+ 4.58146305944256*x732 + 1419.23366267117*x733 + 2435.610966361*x734
+ 0.550484831446223*x735 + 53.9207108030273*x736
+ 2455.10161723632*x737 + 43.6877031386228*x738 + 18.244218964155*x739
+ 86.4422576002592*x740 + 1560.89717189576*x741 - 6*x1389 - 4*x1409
=E= 0;
e1830.. x570 + 2181.59934661036*x742 + 610.717291691756*x743
+ 1152.3051443409*x744 + 1195.65221607036*x745 + 7.49190417623649*x746
+ 144.242366295902*x747 + 1948.11138522726*x748
+ 25.2933485215505*x749 + 1150.43516387048*x750 + 25.693821722884*x751
+ 4.58146305944256*x752 + 1419.23366267117*x753 + 2435.610966361*x754
+ 0.550484831446223*x755 + 53.9207108030273*x756
+ 2455.10161723632*x757 + 43.6877031386228*x758 + 18.244218964155*x759
+ 86.4422576002592*x760 + 1560.89717189576*x761 - 8*x1390 - 3*x1410
=E= 0;
e1831.. x571 + 2181.59934661036*x762 + 610.717291691756*x763
+ 1152.3051443409*x764 + 1195.65221607036*x765 + 7.49190417623649*x766
+ 144.242366295902*x767 + 1948.11138522726*x768
+ 25.2933485215505*x769 + 1150.43516387048*x770 + 25.693821722884*x771
+ 4.58146305944256*x772 + 1419.23366267117*x773 + 2435.610966361*x774
+ 0.550484831446223*x775 + 53.9207108030273*x776
+ 2455.10161723632*x777 + 43.6877031386228*x778 + 18.244218964155*x779
+ 86.4422576002592*x780 + 1560.89717189576*x781 - 9*x1391 - 3*x1411
=E= 0;
e1832.. x572 + 2181.59934661036*x782 + 610.717291691756*x783
+ 1152.3051443409*x784 + 1195.65221607036*x785 + 7.49190417623649*x786
+ 144.242366295902*x787 + 1948.11138522726*x788
+ 25.2933485215505*x789 + 1150.43516387048*x790 + 25.693821722884*x791
+ 4.58146305944256*x792 + 1419.23366267117*x793 + 2435.610966361*x794
+ 0.550484831446223*x795 + 53.9207108030273*x796
+ 2455.10161723632*x797 + 43.6877031386228*x798 + 18.244218964155*x799
+ 86.4422576002592*x800 + 1560.89717189576*x801 - 8*x1392 - 2*x1412
=E= 0;
e1833.. x573 + 2181.59934661036*x802 + 610.717291691756*x803
+ 1152.3051443409*x804 + 1195.65221607036*x805 + 7.49190417623649*x806
+ 144.242366295902*x807 + 1948.11138522726*x808
+ 25.2933485215505*x809 + 1150.43516387048*x810 + 25.693821722884*x811
+ 4.58146305944256*x812 + 1419.23366267117*x813 + 2435.610966361*x814
+ 0.550484831446223*x815 + 53.9207108030273*x816
+ 2455.10161723632*x817 + 43.6877031386228*x818 + 18.244218964155*x819
+ 86.4422576002592*x820 + 1560.89717189576*x821 - 5*x1393 - 8*x1413
=E= 0;
e1834.. x574 + 2181.59934661036*x822 + 610.717291691756*x823
+ 1152.3051443409*x824 + 1195.65221607036*x825 + 7.49190417623649*x826
+ 144.242366295902*x827 + 1948.11138522726*x828
+ 25.2933485215505*x829 + 1150.43516387048*x830 + 25.693821722884*x831
+ 4.58146305944256*x832 + 1419.23366267117*x833 + 2435.610966361*x834
+ 0.550484831446223*x835 + 53.9207108030273*x836
+ 2455.10161723632*x837 + 43.6877031386228*x838 + 18.244218964155*x839
+ 86.4422576002592*x840 + 1560.89717189576*x841 - 4*x1394 - 4*x1414
=E= 0;
e1835.. x575 + 2181.59934661036*x842 + 610.717291691756*x843
+ 1152.3051443409*x844 + 1195.65221607036*x845 + 7.49190417623649*x846
+ 144.242366295902*x847 + 1948.11138522726*x848
+ 25.2933485215505*x849 + 1150.43516387048*x850 + 25.693821722884*x851
+ 4.58146305944256*x852 + 1419.23366267117*x853 + 2435.610966361*x854
+ 0.550484831446223*x855 + 53.9207108030273*x856
+ 2455.10161723632*x857 + 43.6877031386228*x858 + 18.244218964155*x859
+ 86.4422576002592*x860 + 1560.89717189576*x861 - 4*x1395 - 7*x1415
=E= 0;
e1836.. x576 + 2181.59934661036*x862 + 610.717291691756*x863
+ 1152.3051443409*x864 + 1195.65221607036*x865 + 7.49190417623649*x866
+ 144.242366295902*x867 + 1948.11138522726*x868
+ 25.2933485215505*x869 + 1150.43516387048*x870 + 25.693821722884*x871
+ 4.58146305944256*x872 + 1419.23366267117*x873 + 2435.610966361*x874
+ 0.550484831446223*x875 + 53.9207108030273*x876
+ 2455.10161723632*x877 + 43.6877031386228*x878 + 18.244218964155*x879
+ 86.4422576002592*x880 + 1560.89717189576*x881 - 8*x1396 - 4*x1416
=E= 0;
e1837.. x577 + 2181.59934661036*x882 + 610.717291691756*x883
+ 1152.3051443409*x884 + 1195.65221607036*x885 + 7.49190417623649*x886
+ 144.242366295902*x887 + 1948.11138522726*x888
+ 25.2933485215505*x889 + 1150.43516387048*x890 + 25.693821722884*x891
+ 4.58146305944256*x892 + 1419.23366267117*x893 + 2435.610966361*x894
+ 0.550484831446223*x895 + 53.9207108030273*x896
+ 2455.10161723632*x897 + 43.6877031386228*x898 + 18.244218964155*x899
+ 86.4422576002592*x900 + 1560.89717189576*x901 - 7*x1397 - 2*x1417
=E= 0;
e1838.. x578 + 2181.59934661036*x902 + 610.717291691756*x903
+ 1152.3051443409*x904 + 1195.65221607036*x905 + 7.49190417623649*x906
+ 144.242366295902*x907 + 1948.11138522726*x908
+ 25.2933485215505*x909 + 1150.43516387048*x910 + 25.693821722884*x911
+ 4.58146305944256*x912 + 1419.23366267117*x913 + 2435.610966361*x914
+ 0.550484831446223*x915 + 53.9207108030273*x916
+ 2455.10161723632*x917 + 43.6877031386228*x918 + 18.244218964155*x919
+ 86.4422576002592*x920 + 1560.89717189576*x921 - 4*x1398 - 7*x1418
=E= 0;
e1839.. x579 + 2181.59934661036*x922 + 610.717291691756*x923
+ 1152.3051443409*x924 + 1195.65221607036*x925 + 7.49190417623649*x926
+ 144.242366295902*x927 + 1948.11138522726*x928
+ 25.2933485215505*x929 + 1150.43516387048*x930 + 25.693821722884*x931
+ 4.58146305944256*x932 + 1419.23366267117*x933 + 2435.610966361*x934
+ 0.550484831446223*x935 + 53.9207108030273*x936
+ 2455.10161723632*x937 + 43.6877031386228*x938 + 18.244218964155*x939
+ 86.4422576002592*x940 + 1560.89717189576*x941 - 9*x1399 - 2*x1419
=E= 0;
e1840.. x580 + 2181.59934661036*x942 + 610.717291691756*x943
+ 1152.3051443409*x944 + 1195.65221607036*x945 + 7.49190417623649*x946
+ 144.242366295902*x947 + 1948.11138522726*x948
+ 25.2933485215505*x949 + 1150.43516387048*x950 + 25.693821722884*x951
+ 4.58146305944256*x952 + 1419.23366267117*x953 + 2435.610966361*x954
+ 0.550484831446223*x955 + 53.9207108030273*x956
+ 2455.10161723632*x957 + 43.6877031386228*x958 + 18.244218964155*x959
+ 86.4422576002592*x960 + 1560.89717189576*x961 - 4*x1400 - 3*x1420
=E= 0;
e1841.. x581 + 2181.59934661036*x962 + 610.717291691756*x963
+ 1152.3051443409*x964 + 1195.65221607036*x965 + 7.49190417623649*x966
+ 144.242366295902*x967 + 1948.11138522726*x968
+ 25.2933485215505*x969 + 1150.43516387048*x970 + 25.693821722884*x971
+ 4.58146305944256*x972 + 1419.23366267117*x973 + 2435.610966361*x974
+ 0.550484831446223*x975 + 53.9207108030273*x976
+ 2455.10161723632*x977 + 43.6877031386228*x978 + 18.244218964155*x979
+ 86.4422576002592*x980 + 1560.89717189576*x981 - 5*x1401 - 2*x1421
=E= 0;
* set non-default bounds
x461.up = 6;
x462.up = 7;
x463.up = 6;
x464.up = 5;
x465.up = 8;
x466.up = 7;
x467.up = 9;
x468.up = 6;
x469.up = 8;
x470.up = 9;
x471.up = 8;
x472.up = 8;
x473.up = 4;
x474.up = 7;
x475.up = 8;
x476.up = 7;
x477.up = 7;
x478.up = 9;
x479.up = 4;
x480.up = 5;
x481.lo = 1; x481.up = 11;
x482.lo = 1; x482.up = 12;
x483.lo = 1; x483.up = 12;
x484.lo = 1; x484.up = 12;
x485.lo = 1; x485.up = 12;
x486.lo = 1; x486.up = 12;
x487.lo = 1; x487.up = 12;
x488.lo = 1; x488.up = 12;
x489.lo = 1; x489.up = 11;
x490.lo = 1; x490.up = 11;
x491.lo = 1; x491.up = 11;
x492.lo = 1; x492.up = 11;
x493.lo = 1; x493.up = 12;
x494.lo = 1; x494.up = 12;
x495.lo = 1; x495.up = 12;
x496.lo = 1; x496.up = 11;
x497.lo = 1; x497.up = 12;
x498.lo = 1; x498.up = 12;
x499.lo = 1; x499.up = 12;
x500.lo = 1; x500.up = 12;
x562.up = 99118.8734705333;
x563.up = 115638.685715622;
x564.up = 99118.8734705333;
x565.up = 82599.0612254444;
x566.up = 132158.497960711;
x567.up = 115638.685715622;
x568.up = 148678.3102058;
x569.up = 99118.8734705333;
x570.up = 132158.497960711;
x571.up = 148678.3102058;
x572.up = 132158.497960711;
x573.up = 132158.497960711;
x574.up = 66079.2489803556;
x575.up = 115638.685715622;
x576.up = 132158.497960711;
x577.up = 115638.685715622;
x578.up = 115638.685715622;
x579.up = 148678.3102058;
x580.up = 66079.2489803556;
x581.up = 82599.0612254444;
x582.up = 6;
x583.up = 6;
x584.up = 6;
x585.up = 6;
x586.up = 6;
x587.up = 6;
x588.up = 6;
x589.up = 6;
x590.up = 6;
x591.up = 6;
x592.up = 6;
x593.up = 6;
x594.up = 6;
x595.up = 6;
x596.up = 6;
x597.up = 6;
x598.up = 6;
x599.up = 6;
x600.up = 6;
x601.up = 6;
x602.up = 7;
x603.up = 7;
x604.up = 7;
x605.up = 7;
x606.up = 7;
x607.up = 7;
x608.up = 7;
x609.up = 7;
x610.up = 7;
x611.up = 7;
x612.up = 7;
x613.up = 7;
x614.up = 7;
x615.up = 7;
x616.up = 7;
x617.up = 7;
x618.up = 7;
x619.up = 7;
x620.up = 7;
x621.up = 7;
x622.up = 6;
x623.up = 6;
x624.up = 6;
x625.up = 6;
x626.up = 6;
x627.up = 6;
x628.up = 6;
x629.up = 6;
x630.up = 6;
x631.up = 6;
x632.up = 6;
x633.up = 6;
x634.up = 6;
x635.up = 6;
x636.up = 6;
x637.up = 6;
x638.up = 6;
x639.up = 6;
x640.up = 6;
x641.up = 6;
x642.up = 5;
x643.up = 5;
x644.up = 5;
x645.up = 5;
x646.up = 5;
x647.up = 5;
x648.up = 5;
x649.up = 5;
x650.up = 5;
x651.up = 5;
x652.up = 5;
x653.up = 5;
x654.up = 5;
x655.up = 5;
x656.up = 5;
x657.up = 5;
x658.up = 5;
x659.up = 5;
x660.up = 5;
x661.up = 5;
x662.up = 8;
x663.up = 8;
x664.up = 8;
x665.up = 8;
x666.up = 8;
x667.up = 8;
x668.up = 8;
x669.up = 8;
x670.up = 8;
x671.up = 8;
x672.up = 8;
x673.up = 8;
x674.up = 8;
x675.up = 8;
x676.up = 8;
x677.up = 8;
x678.up = 8;
x679.up = 8;
x680.up = 8;
x681.up = 8;
x682.up = 7;
x683.up = 7;
x684.up = 7;
x685.up = 7;
x686.up = 7;
x687.up = 7;
x688.up = 7;
x689.up = 7;
x690.up = 7;
x691.up = 7;
x692.up = 7;
x693.up = 7;
x694.up = 7;
x695.up = 7;
x696.up = 7;
x697.up = 7;
x698.up = 7;
x699.up = 7;
x700.up = 7;
x701.up = 7;
x702.up = 9;
x703.up = 9;
x704.up = 9;
x705.up = 9;
x706.up = 9;
x707.up = 9;
x708.up = 9;
x709.up = 9;
x710.up = 9;
x711.up = 9;
x712.up = 9;
x713.up = 9;
x714.up = 9;
x715.up = 9;
x716.up = 9;
x717.up = 9;
x718.up = 9;
x719.up = 9;
x720.up = 9;
x721.up = 9;
x722.up = 6;
x723.up = 6;
x724.up = 6;
x725.up = 6;
x726.up = 6;
x727.up = 6;
x728.up = 6;
x729.up = 6;
x730.up = 6;
x731.up = 6;
x732.up = 6;
x733.up = 6;
x734.up = 6;
x735.up = 6;
x736.up = 6;
x737.up = 6;
x738.up = 6;
x739.up = 6;
x740.up = 6;
x741.up = 6;
x742.up = 8;
x743.up = 8;
x744.up = 8;
x745.up = 8;
x746.up = 8;
x747.up = 8;
x748.up = 8;
x749.up = 8;
x750.up = 8;
x751.up = 8;
x752.up = 8;
x753.up = 8;
x754.up = 8;
x755.up = 8;
x756.up = 8;
x757.up = 8;
x758.up = 8;
x759.up = 8;
x760.up = 8;
x761.up = 8;
x762.up = 9;
x763.up = 9;
x764.up = 9;
x765.up = 9;
x766.up = 9;
x767.up = 9;
x768.up = 9;
x769.up = 9;
x770.up = 9;
x771.up = 9;
x772.up = 9;
x773.up = 9;
x774.up = 9;
x775.up = 9;
x776.up = 9;
x777.up = 9;
x778.up = 9;
x779.up = 9;
x780.up = 9;
x781.up = 9;
x782.up = 8;
x783.up = 8;
x784.up = 8;
x785.up = 8;
x786.up = 8;
x787.up = 8;
x788.up = 8;
x789.up = 8;
x790.up = 8;
x791.up = 8;
x792.up = 8;
x793.up = 8;
x794.up = 8;
x795.up = 8;
x796.up = 8;
x797.up = 8;
x798.up = 8;
x799.up = 8;
x800.up = 8;
x801.up = 8;
x802.up = 8;
x803.up = 8;
x804.up = 8;
x805.up = 8;
x806.up = 8;
x807.up = 8;
x808.up = 8;
x809.up = 8;
x810.up = 8;
x811.up = 8;
x812.up = 8;
x813.up = 8;
x814.up = 8;
x815.up = 8;
x816.up = 8;
x817.up = 8;
x818.up = 8;
x819.up = 8;
x820.up = 8;
x821.up = 8;
x822.up = 4;
x823.up = 4;
x824.up = 4;
x825.up = 4;
x826.up = 4;
x827.up = 4;
x828.up = 4;
x829.up = 4;
x830.up = 4;
x831.up = 4;
x832.up = 4;
x833.up = 4;
x834.up = 4;
x835.up = 4;
x836.up = 4;
x837.up = 4;
x838.up = 4;
x839.up = 4;
x840.up = 4;
x841.up = 4;
x842.up = 7;
x843.up = 7;
x844.up = 7;
x845.up = 7;
x846.up = 7;
x847.up = 7;
x848.up = 7;
x849.up = 7;
x850.up = 7;
x851.up = 7;
x852.up = 7;
x853.up = 7;
x854.up = 7;
x855.up = 7;
x856.up = 7;
x857.up = 7;
x858.up = 7;
x859.up = 7;
x860.up = 7;
x861.up = 7;
x862.up = 8;
x863.up = 8;
x864.up = 8;
x865.up = 8;
x866.up = 8;
x867.up = 8;
x868.up = 8;
x869.up = 8;
x870.up = 8;
x871.up = 8;
x872.up = 8;
x873.up = 8;
x874.up = 8;
x875.up = 8;
x876.up = 8;
x877.up = 8;
x878.up = 8;
x879.up = 8;
x880.up = 8;
x881.up = 8;
x882.up = 7;
x883.up = 7;
x884.up = 7;
x885.up = 7;
x886.up = 7;
x887.up = 7;
x888.up = 7;
x889.up = 7;
x890.up = 7;
x891.up = 7;
x892.up = 7;
x893.up = 7;
x894.up = 7;
x895.up = 7;
x896.up = 7;
x897.up = 7;
x898.up = 7;
x899.up = 7;
x900.up = 7;
x901.up = 7;
x902.up = 7;
x903.up = 7;
x904.up = 7;
x905.up = 7;
x906.up = 7;
x907.up = 7;
x908.up = 7;
x909.up = 7;
x910.up = 7;
x911.up = 7;
x912.up = 7;
x913.up = 7;
x914.up = 7;
x915.up = 7;
x916.up = 7;
x917.up = 7;
x918.up = 7;
x919.up = 7;
x920.up = 7;
x921.up = 7;
x922.up = 9;
x923.up = 9;
x924.up = 9;
x925.up = 9;
x926.up = 9;
x927.up = 9;
x928.up = 9;
x929.up = 9;
x930.up = 9;
x931.up = 9;
x932.up = 9;
x933.up = 9;
x934.up = 9;
x935.up = 9;
x936.up = 9;
x937.up = 9;
x938.up = 9;
x939.up = 9;
x940.up = 9;
x941.up = 9;
x942.up = 4;
x943.up = 4;
x944.up = 4;
x945.up = 4;
x946.up = 4;
x947.up = 4;
x948.up = 4;
x949.up = 4;
x950.up = 4;
x951.up = 4;
x952.up = 4;
x953.up = 4;
x954.up = 4;
x955.up = 4;
x956.up = 4;
x957.up = 4;
x958.up = 4;
x959.up = 4;
x960.up = 4;
x961.up = 4;
x962.up = 5;
x963.up = 5;
x964.up = 5;
x965.up = 5;
x966.up = 5;
x967.up = 5;
x968.up = 5;
x969.up = 5;
x970.up = 5;
x971.up = 5;
x972.up = 5;
x973.up = 5;
x974.up = 5;
x975.up = 5;
x976.up = 5;
x977.up = 5;
x978.up = 5;
x979.up = 5;
x980.up = 5;
x981.up = 5;
x982.up = 6;
x983.up = 6;
x984.up = 6;
x985.up = 6;
x986.up = 6;
x987.up = 6;
x988.up = 6;
x989.up = 6;
x990.up = 6;
x991.up = 6;
x992.up = 6;
x993.up = 6;
x994.up = 6;
x995.up = 6;
x996.up = 6;
x997.up = 6;
x998.up = 6;
x999.up = 6;
x1000.up = 6;
x1001.up = 6;
x1002.up = 7;
x1003.up = 7;
x1004.up = 7;
x1005.up = 7;
x1006.up = 7;
x1007.up = 7;
x1008.up = 7;
x1009.up = 7;
x1010.up = 7;
x1011.up = 7;
x1012.up = 7;
x1013.up = 7;
x1014.up = 7;
x1015.up = 7;
x1016.up = 7;
x1017.up = 7;
x1018.up = 7;
x1019.up = 7;
x1020.up = 7;
x1021.up = 7;
x1022.up = 6;
x1023.up = 6;
x1024.up = 6;
x1025.up = 6;
x1026.up = 6;
x1027.up = 6;
x1028.up = 6;
x1029.up = 6;
x1030.up = 6;
x1031.up = 6;
x1032.up = 6;
x1033.up = 6;
x1034.up = 6;
x1035.up = 6;
x1036.up = 6;
x1037.up = 6;
x1038.up = 6;
x1039.up = 6;
x1040.up = 6;
x1041.up = 6;
x1042.up = 5;
x1043.up = 5;
x1044.up = 5;
x1045.up = 5;
x1046.up = 5;
x1047.up = 5;
x1048.up = 5;
x1049.up = 5;
x1050.up = 5;
x1051.up = 5;
x1052.up = 5;
x1053.up = 5;
x1054.up = 5;
x1055.up = 5;
x1056.up = 5;
x1057.up = 5;
x1058.up = 5;
x1059.up = 5;
x1060.up = 5;
x1061.up = 5;
x1062.up = 8;
x1063.up = 8;
x1064.up = 8;
x1065.up = 8;
x1066.up = 8;
x1067.up = 8;
x1068.up = 8;
x1069.up = 8;
x1070.up = 8;
x1071.up = 8;
x1072.up = 8;
x1073.up = 8;
x1074.up = 8;
x1075.up = 8;
x1076.up = 8;
x1077.up = 8;
x1078.up = 8;
x1079.up = 8;
x1080.up = 8;
x1081.up = 8;
x1082.up = 7;
x1083.up = 7;
x1084.up = 7;
x1085.up = 7;
x1086.up = 7;
x1087.up = 7;
x1088.up = 7;
x1089.up = 7;
x1090.up = 7;
x1091.up = 7;
x1092.up = 7;
x1093.up = 7;
x1094.up = 7;
x1095.up = 7;
x1096.up = 7;
x1097.up = 7;
x1098.up = 7;
x1099.up = 7;
x1100.up = 7;
x1101.up = 7;
x1102.up = 9;
x1103.up = 9;
x1104.up = 9;
x1105.up = 9;
x1106.up = 9;
x1107.up = 9;
x1108.up = 9;
x1109.up = 9;
x1110.up = 9;
x1111.up = 9;
x1112.up = 9;
x1113.up = 9;
x1114.up = 9;
x1115.up = 9;
x1116.up = 9;
x1117.up = 9;
x1118.up = 9;
x1119.up = 9;
x1120.up = 9;
x1121.up = 9;
x1122.up = 6;
x1123.up = 6;
x1124.up = 6;
x1125.up = 6;
x1126.up = 6;
x1127.up = 6;
x1128.up = 6;
x1129.up = 6;
x1130.up = 6;
x1131.up = 6;
x1132.up = 6;
x1133.up = 6;
x1134.up = 6;
x1135.up = 6;
x1136.up = 6;
x1137.up = 6;
x1138.up = 6;
x1139.up = 6;
x1140.up = 6;
x1141.up = 6;
x1142.up = 8;
x1143.up = 8;
x1144.up = 8;
x1145.up = 8;
x1146.up = 8;
x1147.up = 8;
x1148.up = 8;
x1149.up = 8;
x1150.up = 8;
x1151.up = 8;
x1152.up = 8;
x1153.up = 8;
x1154.up = 8;
x1155.up = 8;
x1156.up = 8;
x1157.up = 8;
x1158.up = 8;
x1159.up = 8;
x1160.up = 8;
x1161.up = 8;
x1162.up = 9;
x1163.up = 9;
x1164.up = 9;
x1165.up = 9;
x1166.up = 9;
x1167.up = 9;
x1168.up = 9;
x1169.up = 9;
x1170.up = 9;
x1171.up = 9;
x1172.up = 9;
x1173.up = 9;
x1174.up = 9;
x1175.up = 9;
x1176.up = 9;
x1177.up = 9;
x1178.up = 9;
x1179.up = 9;
x1180.up = 9;
x1181.up = 9;
x1182.up = 8;
x1183.up = 8;
x1184.up = 8;
x1185.up = 8;
x1186.up = 8;
x1187.up = 8;
x1188.up = 8;
x1189.up = 8;
x1190.up = 8;
x1191.up = 8;
x1192.up = 8;
x1193.up = 8;
x1194.up = 8;
x1195.up = 8;
x1196.up = 8;
x1197.up = 8;
x1198.up = 8;
x1199.up = 8;
x1200.up = 8;
x1201.up = 8;
x1202.up = 8;
x1203.up = 8;
x1204.up = 8;
x1205.up = 8;
x1206.up = 8;
x1207.up = 8;
x1208.up = 8;
x1209.up = 8;
x1210.up = 8;
x1211.up = 8;
x1212.up = 8;
x1213.up = 8;
x1214.up = 8;
x1215.up = 8;
x1216.up = 8;
x1217.up = 8;
x1218.up = 8;
x1219.up = 8;
x1220.up = 8;
x1221.up = 8;
x1222.up = 4;
x1223.up = 4;
x1224.up = 4;
x1225.up = 4;
x1226.up = 4;
x1227.up = 4;
x1228.up = 4;
x1229.up = 4;
x1230.up = 4;
x1231.up = 4;
x1232.up = 4;
x1233.up = 4;
x1234.up = 4;
x1235.up = 4;
x1236.up = 4;
x1237.up = 4;
x1238.up = 4;
x1239.up = 4;
x1240.up = 4;
x1241.up = 4;
x1242.up = 7;
x1243.up = 7;
x1244.up = 7;
x1245.up = 7;
x1246.up = 7;
x1247.up = 7;
x1248.up = 7;
x1249.up = 7;
x1250.up = 7;
x1251.up = 7;
x1252.up = 7;
x1253.up = 7;
x1254.up = 7;
x1255.up = 7;
x1256.up = 7;
x1257.up = 7;
x1258.up = 7;
x1259.up = 7;
x1260.up = 7;
x1261.up = 7;
x1262.up = 8;
x1263.up = 8;
x1264.up = 8;
x1265.up = 8;
x1266.up = 8;
x1267.up = 8;
x1268.up = 8;
x1269.up = 8;
x1270.up = 8;
x1271.up = 8;
x1272.up = 8;
x1273.up = 8;
x1274.up = 8;
x1275.up = 8;
x1276.up = 8;
x1277.up = 8;
x1278.up = 8;
x1279.up = 8;
x1280.up = 8;
x1281.up = 8;
x1282.up = 7;
x1283.up = 7;
x1284.up = 7;
x1285.up = 7;
x1286.up = 7;
x1287.up = 7;
x1288.up = 7;
x1289.up = 7;
x1290.up = 7;
x1291.up = 7;
x1292.up = 7;
x1293.up = 7;
x1294.up = 7;
x1295.up = 7;
x1296.up = 7;
x1297.up = 7;
x1298.up = 7;
x1299.up = 7;
x1300.up = 7;
x1301.up = 7;
x1302.up = 7;
x1303.up = 7;
x1304.up = 7;
x1305.up = 7;
x1306.up = 7;
x1307.up = 7;
x1308.up = 7;
x1309.up = 7;
x1310.up = 7;
x1311.up = 7;
x1312.up = 7;
x1313.up = 7;
x1314.up = 7;
x1315.up = 7;
x1316.up = 7;
x1317.up = 7;
x1318.up = 7;
x1319.up = 7;
x1320.up = 7;
x1321.up = 7;
x1322.up = 9;
x1323.up = 9;
x1324.up = 9;
x1325.up = 9;
x1326.up = 9;
x1327.up = 9;
x1328.up = 9;
x1329.up = 9;
x1330.up = 9;
x1331.up = 9;
x1332.up = 9;
x1333.up = 9;
x1334.up = 9;
x1335.up = 9;
x1336.up = 9;
x1337.up = 9;
x1338.up = 9;
x1339.up = 9;
x1340.up = 9;
x1341.up = 9;
x1342.up = 4;
x1343.up = 4;
x1344.up = 4;
x1345.up = 4;
x1346.up = 4;
x1347.up = 4;
x1348.up = 4;
x1349.up = 4;
x1350.up = 4;
x1351.up = 4;
x1352.up = 4;
x1353.up = 4;
x1354.up = 4;
x1355.up = 4;
x1356.up = 4;
x1357.up = 4;
x1358.up = 4;
x1359.up = 4;
x1360.up = 4;
x1361.up = 4;
x1362.up = 5;
x1363.up = 5;
x1364.up = 5;
x1365.up = 5;
x1366.up = 5;
x1367.up = 5;
x1368.up = 5;
x1369.up = 5;
x1370.up = 5;
x1371.up = 5;
x1372.up = 5;
x1373.up = 5;
x1374.up = 5;
x1375.up = 5;
x1376.up = 5;
x1377.up = 5;
x1378.up = 5;
x1379.up = 5;
x1380.up = 5;
x1381.up = 5;
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: 2025-08-07 Git hash: e62cedfc