MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance gasprod_sarawak16
Li et al. reformulated the natural gas production model of Selot et al. from a general MINLP to MIQCQP. The modeling files corresponding to these problems have been scaled in accordance with the design of Li et al. The 3 test cases are effectively the same problem with a different number of uncertain scenarios.
Formatsⓘ | ams gms lp mod nl osil pip py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | -32398.10865000 (ANTIGONE) -32399.40000000 (BARON) -32399.40000000 (COUENNE) -32399.40491000 (GUROBI) -32398.17568000 (LINDO) -32331.47264000 (SCIP) -32434.77843000 (SHOT) |
Referencesⓘ | Selot, Ajay, Kuok, Loi Kwong, Robinson, Mark, Mason, Thomas L, and Barton, Paul I, A short-term operational planning model for natural gas production systems, AIChE Journal, 54:2, 2008, 495-515. Li, Xiang, Armagan, Emre, Tomasgard, Asgeir, and Barton, Paul I, Stochastic pooling problem for natural gas production network design and operation under uncertainty, AIChE Journal, 57:8, 2011, 2120-2135. Li, Xiang, Tomasgard, Asgeir, and Barton, Paul I, Decomposition strategy for the stochastic pooling problem, Journal of Global Optimization, 54:4, 2012, 765-790. |
Sourceⓘ | ANTIGONE test library model Other_MIQCQP/Sarawak_Scenario16 |
Applicationⓘ | Natural Gas Production |
Added to libraryⓘ | 24 Sep 2013 |
Problem typeⓘ | MBQCP |
#Variablesⓘ | 1526 |
#Binary Variablesⓘ | 38 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 400 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | min |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 157 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 2252 |
#Linear Constraintsⓘ | 1708 |
#Quadratic Constraintsⓘ | 544 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 0 |
Operands in Gen. Nonlin. Functionsⓘ | |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 6296 |
#Nonlinear Nonzeros in Jacobianⓘ | 1088 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1088 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
#Blocks in Hessian of Lagrangianⓘ | 64 |
Minimal blocksize in Hessian of Lagrangianⓘ | 4 |
Maximal blocksize in Hessian of Lagrangianⓘ | 9 |
Average blocksize in Hessian of Lagrangianⓘ | 6.25 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 2.6870e-03 |
Maximal coefficientⓘ | 9.3000e+03 |
Infeasibility of initial pointⓘ | 1 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 2253 1435 770 48 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 1527 1489 38 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 6454 5366 1088 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,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53 ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70 ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87 ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103 ,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116 ,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129 ,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142 ,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155 ,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168 ,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181 ,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194 ,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207 ,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220 ,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233 ,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246 ,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259 ,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272 ,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285 ,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298 ,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311 ,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324 ,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337 ,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350 ,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363 ,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376 ,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389 ,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402 ,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415 ,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,x428 ,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441 ,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454 ,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467 ,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480 ,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493 ,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506 ,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519 ,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532 ,x533,x534,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,x1442,x1443,x1444,x1445,x1446,x1447,x1448,x1449,x1450,x1451 ,x1452,x1453,x1454,x1455,x1456,x1457,x1458,x1459,x1460,x1461,x1462 ,x1463,x1464,x1465,x1466,x1467,x1468,x1469,x1470,x1471,x1472,x1473 ,x1474,x1475,x1476,x1477,x1478,x1479,x1480,x1481,x1482,x1483,x1484 ,x1485,x1486,x1487,x1488,x1489,x1490,x1491,x1492,x1493,x1494,x1495 ,x1496,x1497,x1498,x1499,x1500,x1501,x1502,x1503,x1504,x1505,x1506 ,x1507,x1508,x1509,x1510,x1511,x1512,x1513,x1514,x1515,x1516,x1517 ,x1518,x1519,x1520,x1521,x1522,x1523,x1524,x1525,x1526,objvar; Positive Variables x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86 ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102 ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115 ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128 ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141 ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154 ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167 ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180 ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193 ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206 ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219 ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232 ,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245 ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258 ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271 ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284 ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297 ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362 ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375 ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388 ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401 ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414 ,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427 ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440 ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453 ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466 ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479 ,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492 ,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505 ,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,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,x1442,x1443,x1444,x1445,x1446,x1447,x1448,x1449,x1450 ,x1451,x1452,x1453,x1454,x1455,x1456,x1457,x1458,x1459,x1460,x1461 ,x1462,x1463,x1464,x1465,x1466,x1467,x1468,x1469,x1470,x1471,x1472 ,x1473,x1474,x1475,x1476,x1477,x1478,x1479,x1480,x1481,x1482,x1483 ,x1484,x1485,x1486,x1487,x1488,x1489,x1490,x1491,x1492,x1493,x1494 ,x1495,x1496,x1497,x1498,x1499,x1500,x1501,x1502,x1503,x1504,x1505 ,x1506,x1507,x1508,x1509,x1510,x1511,x1512,x1513,x1514,x1515,x1516 ,x1517,x1518,x1519,x1520,x1521,x1522,x1523,x1524,x1525,x1526; 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; Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19 ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36 ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53 ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70 ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87 ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103 ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116 ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129 ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142 ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155 ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168 ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181 ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194 ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207 ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220 ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233 ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246 ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259 ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272 ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285 ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298 ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311 ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324 ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337 ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350 ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363 ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376 ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389 ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402 ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415 ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428 ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441 ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454 ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467 ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480 ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493 ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506 ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519 ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532 ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545 ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558 ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571 ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584 ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597 ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610 ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818 ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831 ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844 ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857 ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870 ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883 ,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896 ,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909 ,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922 ,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935 ,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948 ,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961 ,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974 ,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987 ,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000 ,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011 ,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022 ,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033 ,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044 ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055 ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066 ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077 ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088 ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099 ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110 ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121 ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132 ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143 ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154 ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165 ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176 ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187 ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198 ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209 ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220 ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231 ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242 ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253 ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264 ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275 ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286 ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297 ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308 ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319 ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330 ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341 ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352 ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363 ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374 ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385 ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396 ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407 ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418 ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429 ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440 ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451 ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462 ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473 ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484 ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495 ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506 ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517 ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528 ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539 ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550 ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561 ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572 ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583 ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594 ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605 ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616 ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627 ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638 ,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649 ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660 ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671 ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682 ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693 ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704 ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715 ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726 ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737 ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748 ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759 ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770 ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781 ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792 ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803 ,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814 ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825 ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836 ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847 ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858 ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869 ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880 ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891 ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902 ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913 ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924 ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935 ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946 ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957 ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968 ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979 ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990 ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001 ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012 ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023 ,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034 ,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045 ,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056 ,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067 ,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078 ,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089 ,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100 ,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111 ,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122 ,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133 ,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144 ,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152,e2153,e2154,e2155 ,e2156,e2157,e2158,e2159,e2160,e2161,e2162,e2163,e2164,e2165,e2166 ,e2167,e2168,e2169,e2170,e2171,e2172,e2173,e2174,e2175,e2176,e2177 ,e2178,e2179,e2180,e2181,e2182,e2183,e2184,e2185,e2186,e2187,e2188 ,e2189,e2190,e2191,e2192,e2193,e2194,e2195,e2196,e2197,e2198,e2199 ,e2200,e2201,e2202,e2203,e2204,e2205,e2206,e2207,e2208,e2209,e2210 ,e2211,e2212,e2213,e2214,e2215,e2216,e2217,e2218,e2219,e2220,e2221 ,e2222,e2223,e2224,e2225,e2226,e2227,e2228,e2229,e2230,e2231,e2232 ,e2233,e2234,e2235,e2236,e2237,e2238,e2239,e2240,e2241,e2242,e2243 ,e2244,e2245,e2246,e2247,e2248,e2249,e2250,e2251,e2252,e2253; e1.. - 20*b1 - 520*b2 - 20*b3 - 100*b4 - 20*b5 - 80*b6 - 550*b7 - 80*b9 - 400*b10 - 16*b11 - 50*b13 - 80*b15 - 300*b16 - 500*b17 - 500*b18 - 500*b19 - 500*b21 - 500*b22 - 320*b25 - 40*b26 - 40*b27 - 200*b28 - 200*b29 - 80*b30 - 10*b31 - 600*b32 - 420*b33 - 7500*b37 - 9300*b38 + 0.0555537525805191*x727 + 0.101197181857267*x728 + 0.233012963332272*x729 + 0.466885834416565*x730 + 0.814079786349015*x731 + 1.23524853521506*x732 + 1.63108634742837*x733 + 1.87429332610494*x734 + 1.87429332610494*x735 + 1.63108634742837*x736 + 1.23524853521507*x737 + 0.814079786349014*x738 + 0.466885834416565*x739 + 0.233012963332272*x740 + 0.101197181857266*x741 + 0.0555537525805197*x742 + 0.0555537525805191*x743 + 0.101197181857267*x744 + 0.233012963332272*x745 + 0.466885834416565*x746 + 0.814079786349015*x747 + 1.23524853521506*x748 + 1.63108634742837*x749 + 1.87429332610494*x750 + 1.87429332610494*x751 + 1.63108634742837*x752 + 1.23524853521507*x753 + 0.814079786349014*x754 + 0.466885834416565*x755 + 0.233012963332272*x756 + 0.101197181857266*x757 + 0.0555537525805197*x758 + 0.0555537525805191*x759 + 0.101197181857267*x760 + 0.233012963332272*x761 + 0.466885834416565*x762 + 0.814079786349015*x763 + 1.23524853521506*x764 + 1.63108634742837*x765 + 1.87429332610494*x766 + 1.87429332610494*x767 + 1.63108634742837*x768 + 1.23524853521507*x769 + 0.814079786349014*x770 + 0.466885834416565*x771 + 0.233012963332272*x772 + 0.101197181857266*x773 + 0.0555537525805197*x774 + 0.0555537525805191*x775 + 0.101197181857267*x776 + 0.233012963332272*x777 + 0.466885834416565*x778 + 0.814079786349015*x779 + 1.23524853521506*x780 + 1.63108634742837*x781 + 1.87429332610494*x782 + 1.87429332610494*x783 + 1.63108634742837*x784 + 1.23524853521507*x785 + 0.814079786349014*x786 + 0.466885834416565*x787 + 0.233012963332272*x788 + 0.101197181857266*x789 + 0.0555537525805197*x790 + 0.0555537525805191*x791 + 0.101197181857267*x792 + 0.233012963332272*x793 + 0.466885834416565*x794 + 0.814079786349015*x795 + 1.23524853521506*x796 + 1.63108634742837*x797 + 1.87429332610494*x798 + 1.87429332610494*x799 + 1.63108634742837*x800 + 1.23524853521507*x801 + 0.814079786349014*x802 + 0.466885834416565*x803 + 0.233012963332272*x804 + 0.101197181857266*x805 + 0.0555537525805197*x806 + 0.0555537525805191*x807 + 0.101197181857267*x808 + 0.233012963332272*x809 + 0.466885834416565*x810 + 0.814079786349015*x811 + 1.23524853521506*x812 + 1.63108634742837*x813 + 1.87429332610494*x814 + 1.87429332610494*x815 + 1.63108634742837*x816 + 1.23524853521507*x817 + 0.814079786349014*x818 + 0.466885834416565*x819 + 0.233012963332272*x820 + 0.101197181857266*x821 + 0.0555537525805197*x822 + 0.0555537525805191*x823 + 0.101197181857267*x824 + 0.233012963332272*x825 + 0.466885834416565*x826 + 0.814079786349015*x827 + 1.23524853521506*x828 + 1.63108634742837*x829 + 1.87429332610494*x830 + 1.87429332610494*x831 + 1.63108634742837*x832 + 1.23524853521507*x833 + 0.814079786349014*x834 + 0.466885834416565*x835 + 0.233012963332272*x836 + 0.101197181857266*x837 + 0.0555537525805197*x838 + 0.0555537525805191*x839 + 0.101197181857267*x840 + 0.233012963332272*x841 + 0.466885834416565*x842 + 0.814079786349015*x843 + 1.23524853521506*x844 + 1.63108634742837*x845 + 1.87429332610494*x846 + 1.87429332610494*x847 + 1.63108634742837*x848 + 1.23524853521507*x849 + 0.814079786349014*x850 + 0.466885834416565*x851 + 0.233012963332272*x852 + 0.101197181857266*x853 + 0.0555537525805197*x854 + objvar =E= 14104.9870000248; e2.. - x39 =G= -130; e3.. - x40 =G= -130; e4.. - x41 =G= -130; e5.. - x42 =G= -130; e6.. - x43 =G= -130; e7.. - x44 =G= -130; e8.. - x45 =G= -130; e9.. - x46 =G= -130; e10.. - x47 =G= -130; e11.. - x48 =G= -130; e12.. - x49 =G= -130; e13.. - x50 =G= -130; e14.. - x51 =G= -130; e15.. - x52 =G= -130; e16.. - x53 =G= -130; e17.. - x54 =G= -130; e18.. - x55 =G= -125; e19.. - x56 =G= -125; e20.. - x57 =G= -125; e21.. - x58 =G= -125; e22.. - x59 =G= -125; e23.. - x60 =G= -125; e24.. - x61 =G= -125; e25.. - x62 =G= -125; e26.. - x63 =G= -125; e27.. - x64 =G= -125; e28.. - x65 =G= -125; e29.. - x66 =G= -125; e30.. - x67 =G= -125; e31.. - x68 =G= -125; e32.. - x69 =G= -125; e33.. - x70 =G= -125; e34.. - x71 =G= -212; e35.. - x72 =G= -212; e36.. - x73 =G= -212; e37.. - x74 =G= -212; e38.. - x75 =G= -212; e39.. - x76 =G= -212; e40.. - x77 =G= -212; e41.. - x78 =G= -212; e42.. - x79 =G= -212; e43.. - x80 =G= -212; e44.. - x81 =G= -212; e45.. - x82 =G= -212; e46.. - x83 =G= -212; e47.. - x84 =G= -212; e48.. - x85 =G= -212; e49.. - x86 =G= -212; e50.. - x87 =G= -334; e51.. - x88 =G= -334; e52.. - x89 =G= -334; e53.. - x90 =G= -334; e54.. - x91 =G= -334; e55.. - x92 =G= -334; e56.. - x93 =G= -334; e57.. - x94 =G= -334; e58.. - x95 =G= -334; e59.. - x96 =G= -334; e60.. - x97 =G= -334; e61.. - x98 =G= -334; e62.. - x99 =G= -334; e63.. - x100 =G= -334; e64.. - x101 =G= -334; e65.. - x102 =G= -334; e66.. - x103 =G= -833; e67.. - x104 =G= -833; e68.. - x105 =G= -833; e69.. - x106 =G= -833; e70.. - x107 =G= -833; e71.. - x108 =G= -833; e72.. - x109 =G= -833; e73.. - x110 =G= -833; e74.. - x111 =G= -833; e75.. - x112 =G= -833; e76.. - x113 =G= -833; e77.. - x114 =G= -833; e78.. - x115 =G= -833; e79.. - x116 =G= -833; e80.. - x117 =G= -833; e81.. - x118 =G= -833; e82.. - x119 =G= -381; e83.. - x120 =G= -381; e84.. - x121 =G= -381; e85.. - x122 =G= -381; e86.. - x123 =G= -381; e87.. - x124 =G= -381; e88.. - x125 =G= -381; e89.. - x126 =G= -381; e90.. - x127 =G= -381; e91.. - x128 =G= -381; e92.. - x129 =G= -381; e93.. - x130 =G= -381; e94.. - x131 =G= -381; e95.. - x132 =G= -381; e96.. - x133 =G= -381; e97.. - x134 =G= -381; e98.. - x135 =G= -5610; e99.. - x136 =G= -5610; e100.. - x137 =G= -5610; e101.. - x138 =G= -5610; e102.. - x139 =G= -5610; e103.. - x140 =G= -5610; e104.. - x141 =G= -5610; e105.. - x142 =G= -5610; e106.. - x143 =G= -5610; e107.. - x144 =G= -5610; e108.. - x145 =G= -5610; e109.. - x146 =G= -5610; e110.. - x147 =G= -5610; e111.. - x148 =G= -5610; e112.. - x149 =G= -5610; e113.. - x150 =G= -5610; e114.. - x151 =G= -155; e115.. - x152 =G= -155; e116.. - x153 =G= -155; e117.. - x154 =G= -155; e118.. - x155 =G= -155; e119.. - x156 =G= -155; e120.. - x157 =G= -155; e121.. - x158 =G= -155; e122.. - x159 =G= -155; e123.. - x160 =G= -155; e124.. - x161 =G= -155; e125.. - x162 =G= -155; e126.. - x163 =G= -155; e127.. - x164 =G= -155; e128.. - x165 =G= -155; e129.. - x166 =G= -155; e130.. 401*b1 - x167 =G= 0; e131.. 401*b1 - x168 =G= 0; e132.. 401*b1 - x169 =G= 0; e133.. 401*b1 - x170 =G= 0; e134.. 401*b1 - x171 =G= 0; e135.. 401*b1 - x172 =G= 0; e136.. 401*b1 - x173 =G= 0; e137.. 401*b1 - x174 =G= 0; e138.. 401*b1 - x175 =G= 0; e139.. 401*b1 - x176 =G= 0; e140.. 401*b1 - x177 =G= 0; e141.. 401*b1 - x178 =G= 0; e142.. 401*b1 - x179 =G= 0; e143.. 401*b1 - x180 =G= 0; e144.. 401*b1 - x181 =G= 0; e145.. 401*b1 - x182 =G= 0; e146.. 600*b2 - x183 - x199 =G= 0; e147.. 600*b2 - x184 - x200 =G= 0; e148.. 600*b2 - x185 - x201 =G= 0; e149.. 600*b2 - x186 - x202 =G= 0; e150.. 600*b2 - x187 - x203 =G= 0; e151.. 600*b2 - x188 - x204 =G= 0; e152.. 600*b2 - x189 - x205 =G= 0; e153.. 600*b2 - x190 - x206 =G= 0; e154.. 600*b2 - x191 - x207 =G= 0; e155.. 600*b2 - x192 - x208 =G= 0; e156.. 600*b2 - x193 - x209 =G= 0; e157.. 600*b2 - x194 - x210 =G= 0; e158.. 600*b2 - x195 - x211 =G= 0; e159.. 600*b2 - x196 - x212 =G= 0; e160.. 600*b2 - x197 - x213 =G= 0; e161.. 600*b2 - x198 - x214 =G= 0; e162.. 532*b3 - x215 =G= 0; e163.. 532*b3 - x216 =G= 0; e164.. 532*b3 - x217 =G= 0; e165.. 532*b3 - x218 =G= 0; e166.. 532*b3 - x219 =G= 0; e167.. 532*b3 - x220 =G= 0; e168.. 532*b3 - x221 =G= 0; e169.. 532*b3 - x222 =G= 0; e170.. 532*b3 - x223 =G= 0; e171.. 532*b3 - x224 =G= 0; e172.. 532*b3 - x225 =G= 0; e173.. 532*b3 - x226 =G= 0; e174.. 532*b3 - x227 =G= 0; e175.. 532*b3 - x228 =G= 0; e176.. 532*b3 - x229 =G= 0; e177.. 532*b3 - x230 =G= 0; e178.. 816*b4 - x231 =G= 0; e179.. 816*b4 - x232 =G= 0; e180.. 816*b4 - x233 =G= 0; e181.. 816*b4 - x234 =G= 0; e182.. 816*b4 - x235 =G= 0; e183.. 816*b4 - x236 =G= 0; e184.. 816*b4 - x237 =G= 0; e185.. 816*b4 - x238 =G= 0; e186.. 816*b4 - x239 =G= 0; e187.. 816*b4 - x240 =G= 0; e188.. 816*b4 - x241 =G= 0; e189.. 816*b4 - x242 =G= 0; e190.. 816*b4 - x243 =G= 0; e191.. 816*b4 - x244 =G= 0; e192.. 816*b4 - x245 =G= 0; e193.. 816*b4 - x246 =G= 0; e194.. 161*b5 - x247 =G= 0; e195.. 161*b5 - x248 =G= 0; e196.. 161*b5 - x249 =G= 0; e197.. 161*b5 - x250 =G= 0; e198.. 161*b5 - x251 =G= 0; e199.. 161*b5 - x252 =G= 0; e200.. 161*b5 - x253 =G= 0; e201.. 161*b5 - x254 =G= 0; e202.. 161*b5 - x255 =G= 0; e203.. 161*b5 - x256 =G= 0; e204.. 161*b5 - x257 =G= 0; e205.. 161*b5 - x258 =G= 0; e206.. 161*b5 - x259 =G= 0; e207.. 161*b5 - x260 =G= 0; e208.. 161*b5 - x261 =G= 0; e209.. 161*b5 - x262 =G= 0; e210.. 2467*b6 - x263 =G= 0; e211.. 2467*b6 - x264 =G= 0; e212.. 2467*b6 - x265 =G= 0; e213.. 2467*b6 - x266 =G= 0; e214.. 2467*b6 - x267 =G= 0; e215.. 2467*b6 - x268 =G= 0; e216.. 2467*b6 - x269 =G= 0; e217.. 2467*b6 - x270 =G= 0; e218.. 2467*b6 - x271 =G= 0; e219.. 2467*b6 - x272 =G= 0; e220.. 2467*b6 - x273 =G= 0; e221.. 2467*b6 - x274 =G= 0; e222.. 2467*b6 - x275 =G= 0; e223.. 2467*b6 - x276 =G= 0; e224.. 2467*b6 - x277 =G= 0; e225.. 2467*b6 - x278 =G= 0; e226.. 923*b7 - x279 - x295 =G= 0; e227.. 923*b7 - x280 - x296 =G= 0; e228.. 923*b7 - x281 - x297 =G= 0; e229.. 923*b7 - x282 - x298 =G= 0; e230.. 923*b7 - x283 - x299 =G= 0; e231.. 923*b7 - x284 - x300 =G= 0; e232.. 923*b7 - x285 - x301 =G= 0; e233.. 923*b7 - x286 - x302 =G= 0; e234.. 923*b7 - x287 - x303 =G= 0; e235.. 923*b7 - x288 - x304 =G= 0; e236.. 923*b7 - x289 - x305 =G= 0; e237.. 923*b7 - x290 - x306 =G= 0; e238.. 923*b7 - x291 - x307 =G= 0; e239.. 923*b7 - x292 - x308 =G= 0; e240.. 923*b7 - x293 - x309 =G= 0; e241.. 923*b7 - x294 - x310 =G= 0; e242.. 401*b8 - x167 =G= 0; e243.. 401*b8 - x168 =G= 0; e244.. 401*b8 - x169 =G= 0; e245.. 401*b8 - x170 =G= 0; e246.. 401*b8 - x171 =G= 0; e247.. 401*b8 - x172 =G= 0; e248.. 401*b8 - x173 =G= 0; e249.. 401*b8 - x174 =G= 0; e250.. 401*b8 - x175 =G= 0; e251.. 401*b8 - x176 =G= 0; e252.. 401*b8 - x177 =G= 0; e253.. 401*b8 - x178 =G= 0; e254.. 401*b8 - x179 =G= 0; e255.. 401*b8 - x180 =G= 0; e256.. 401*b8 - x181 =G= 0; e257.. 401*b8 - x182 =G= 0; e258.. 600*b9 - x183 =G= 0; e259.. 600*b9 - x184 =G= 0; e260.. 600*b9 - x185 =G= 0; e261.. 600*b9 - x186 =G= 0; e262.. 600*b9 - x187 =G= 0; e263.. 600*b9 - x188 =G= 0; e264.. 600*b9 - x189 =G= 0; e265.. 600*b9 - x190 =G= 0; e266.. 600*b9 - x191 =G= 0; e267.. 600*b9 - x192 =G= 0; e268.. 600*b9 - x193 =G= 0; e269.. 600*b9 - x194 =G= 0; e270.. 600*b9 - x195 =G= 0; e271.. 600*b9 - x196 =G= 0; e272.. 600*b9 - x197 =G= 0; e273.. 600*b9 - x198 =G= 0; e274.. 600*b10 - x199 =G= 0; e275.. 600*b10 - x200 =G= 0; e276.. 600*b10 - x201 =G= 0; e277.. 600*b10 - x202 =G= 0; e278.. 600*b10 - x203 =G= 0; e279.. 600*b10 - x204 =G= 0; e280.. 600*b10 - x205 =G= 0; e281.. 600*b10 - x206 =G= 0; e282.. 600*b10 - x207 =G= 0; e283.. 600*b10 - x208 =G= 0; e284.. 600*b10 - x209 =G= 0; e285.. 600*b10 - x210 =G= 0; e286.. 600*b10 - x211 =G= 0; e287.. 600*b10 - x212 =G= 0; e288.. 600*b10 - x213 =G= 0; e289.. 600*b10 - x214 =G= 0; e290.. 532*b11 - x215 =G= 0; e291.. 532*b11 - x216 =G= 0; e292.. 532*b11 - x217 =G= 0; e293.. 532*b11 - x218 =G= 0; e294.. 532*b11 - x219 =G= 0; e295.. 532*b11 - x220 =G= 0; e296.. 532*b11 - x221 =G= 0; e297.. 532*b11 - x222 =G= 0; e298.. 532*b11 - x223 =G= 0; e299.. 532*b11 - x224 =G= 0; e300.. 532*b11 - x225 =G= 0; e301.. 532*b11 - x226 =G= 0; e302.. 532*b11 - x227 =G= 0; e303.. 532*b11 - x228 =G= 0; e304.. 532*b11 - x229 =G= 0; e305.. 532*b11 - x230 =G= 0; e306.. 816*b12 - x231 =G= 0; e307.. 816*b12 - x232 =G= 0; e308.. 816*b12 - x233 =G= 0; e309.. 816*b12 - x234 =G= 0; e310.. 816*b12 - x235 =G= 0; e311.. 816*b12 - x236 =G= 0; e312.. 816*b12 - x237 =G= 0; e313.. 816*b12 - x238 =G= 0; e314.. 816*b12 - x239 =G= 0; e315.. 816*b12 - x240 =G= 0; e316.. 816*b12 - x241 =G= 0; e317.. 816*b12 - x242 =G= 0; e318.. 816*b12 - x243 =G= 0; e319.. 816*b12 - x244 =G= 0; e320.. 816*b12 - x245 =G= 0; e321.. 816*b12 - x246 =G= 0; e322.. 161*b13 - x247 =G= 0; e323.. 161*b13 - x248 =G= 0; e324.. 161*b13 - x249 =G= 0; e325.. 161*b13 - x250 =G= 0; e326.. 161*b13 - x251 =G= 0; e327.. 161*b13 - x252 =G= 0; e328.. 161*b13 - x253 =G= 0; e329.. 161*b13 - x254 =G= 0; e330.. 161*b13 - x255 =G= 0; e331.. 161*b13 - x256 =G= 0; e332.. 161*b13 - x257 =G= 0; e333.. 161*b13 - x258 =G= 0; e334.. 161*b13 - x259 =G= 0; e335.. 161*b13 - x260 =G= 0; e336.. 161*b13 - x261 =G= 0; e337.. 161*b13 - x262 =G= 0; e338.. 2467*b14 - x263 =G= 0; e339.. 2467*b14 - x264 =G= 0; e340.. 2467*b14 - x265 =G= 0; e341.. 2467*b14 - x266 =G= 0; e342.. 2467*b14 - x267 =G= 0; e343.. 2467*b14 - x268 =G= 0; e344.. 2467*b14 - x269 =G= 0; e345.. 2467*b14 - x270 =G= 0; e346.. 2467*b14 - x271 =G= 0; e347.. 2467*b14 - x272 =G= 0; e348.. 2467*b14 - x273 =G= 0; e349.. 2467*b14 - x274 =G= 0; e350.. 2467*b14 - x275 =G= 0; e351.. 2467*b14 - x276 =G= 0; e352.. 2467*b14 - x277 =G= 0; e353.. 2467*b14 - x278 =G= 0; e354.. 900*b15 - x279 =G= 0; e355.. 900*b15 - x280 =G= 0; e356.. 900*b15 - x281 =G= 0; e357.. 900*b15 - x282 =G= 0; e358.. 900*b15 - x283 =G= 0; e359.. 900*b15 - x284 =G= 0; e360.. 900*b15 - x285 =G= 0; e361.. 900*b15 - x286 =G= 0; e362.. 900*b15 - x287 =G= 0; e363.. 900*b15 - x288 =G= 0; e364.. 900*b15 - x289 =G= 0; e365.. 900*b15 - x290 =G= 0; e366.. 900*b15 - x291 =G= 0; e367.. 900*b15 - x292 =G= 0; e368.. 900*b15 - x293 =G= 0; e369.. 900*b15 - x294 =G= 0; e370.. 900*b16 - x295 =G= 0; e371.. 900*b16 - x296 =G= 0; e372.. 900*b16 - x297 =G= 0; e373.. 900*b16 - x298 =G= 0; e374.. 900*b16 - x299 =G= 0; e375.. 900*b16 - x300 =G= 0; e376.. 900*b16 - x301 =G= 0; e377.. 900*b16 - x302 =G= 0; e378.. 900*b16 - x303 =G= 0; e379.. 900*b16 - x304 =G= 0; e380.. 900*b16 - x305 =G= 0; e381.. 900*b16 - x306 =G= 0; e382.. 900*b16 - x307 =G= 0; e383.. 900*b16 - x308 =G= 0; e384.. 900*b16 - x309 =G= 0; e385.. 900*b16 - x310 =G= 0; e386.. b1 - b8 =G= 0; e387.. b2 - b9 =G= 0; e388.. b2 - b10 =G= 0; e389.. b3 - b11 =G= 0; e390.. b4 - b12 =G= 0; e391.. b5 - b13 =G= 0; e392.. b6 - b14 =G= 0; e393.. b7 - b15 =G= 0; e394.. b7 - b16 =G= 0; e395.. - b1 + b8 =G= 0; e396.. - b2 + b9 + b10 =G= 0; e397.. - b3 + b11 =G= 0; e398.. - b4 + b12 =G= 0; e399.. - b5 + b13 =G= 0; e400.. - b6 + b14 =G= 0; e401.. - b7 + b15 + b16 =G= 0; e402.. - 0.007177*x39 - 0.008782*x55 + x311 =E= 0; e403.. - 0.007177*x40 - 0.008782*x56 + x312 =E= 0; e404.. - 0.007177*x41 - 0.008782*x57 + x313 =E= 0; e405.. - 0.007177*x42 - 0.008782*x58 + x314 =E= 0; e406.. - 0.007177*x43 - 0.008782*x59 + x315 =E= 0; e407.. - 0.007177*x44 - 0.008782*x60 + x316 =E= 0; e408.. - 0.007177*x45 - 0.008782*x61 + x317 =E= 0; e409.. - 0.007177*x46 - 0.008782*x62 + x318 =E= 0; e410.. - 0.007177*x47 - 0.008782*x63 + x319 =E= 0; e411.. - 0.007177*x48 - 0.008782*x64 + x320 =E= 0; e412.. - 0.007177*x49 - 0.008782*x65 + x321 =E= 0; e413.. - 0.007177*x50 - 0.008782*x66 + x322 =E= 0; e414.. - 0.007177*x51 - 0.008782*x67 + x323 =E= 0; e415.. - 0.007177*x52 - 0.008782*x68 + x324 =E= 0; e416.. - 0.007177*x53 - 0.008782*x69 + x325 =E= 0; e417.. - 0.007177*x54 - 0.008782*x70 + x326 =E= 0; e418.. - 0.992823*x39 - 0.991218*x55 + x327 =E= 0; e419.. - 0.992823*x40 - 0.991218*x56 + x328 =E= 0; e420.. - 0.992823*x41 - 0.991218*x57 + x329 =E= 0; e421.. - 0.992823*x42 - 0.991218*x58 + x330 =E= 0; e422.. - 0.992823*x43 - 0.991218*x59 + x331 =E= 0; e423.. - 0.992823*x44 - 0.991218*x60 + x332 =E= 0; e424.. - 0.992823*x45 - 0.991218*x61 + x333 =E= 0; e425.. - 0.992823*x46 - 0.991218*x62 + x334 =E= 0; e426.. - 0.992823*x47 - 0.991218*x63 + x335 =E= 0; e427.. - 0.992823*x48 - 0.991218*x64 + x336 =E= 0; e428.. - 0.992823*x49 - 0.991218*x65 + x337 =E= 0; e429.. - 0.992823*x50 - 0.991218*x66 + x338 =E= 0; e430.. - 0.992823*x51 - 0.991218*x67 + x339 =E= 0; e431.. - 0.992823*x52 - 0.991218*x68 + x340 =E= 0; e432.. - 0.992823*x53 - 0.991218*x69 + x341 =E= 0; e433.. - 0.992823*x54 - 0.991218*x70 + x342 =E= 0; e434.. - 0.002687*x71 - 0.092341*x87 + x343 =E= 0; e435.. - 0.002687*x72 - 0.092341*x88 + x344 =E= 0; e436.. - 0.002687*x73 - 0.092341*x89 + x345 =E= 0; e437.. - 0.002687*x74 - 0.092341*x90 + x346 =E= 0; e438.. - 0.002687*x75 - 0.092341*x91 + x347 =E= 0; e439.. - 0.002687*x76 - 0.092341*x92 + x348 =E= 0; e440.. - 0.002687*x77 - 0.092341*x93 + x349 =E= 0; e441.. - 0.002687*x78 - 0.092341*x94 + x350 =E= 0; e442.. - 0.002687*x79 - 0.092341*x95 + x351 =E= 0; e443.. - 0.002687*x80 - 0.092341*x96 + x352 =E= 0; e444.. - 0.002687*x81 - 0.092341*x97 + x353 =E= 0; e445.. - 0.002687*x82 - 0.092341*x98 + x354 =E= 0; e446.. - 0.002687*x83 - 0.092341*x99 + x355 =E= 0; e447.. - 0.002687*x84 - 0.092341*x100 + x356 =E= 0; e448.. - 0.002687*x85 - 0.092341*x101 + x357 =E= 0; e449.. - 0.002687*x86 - 0.092341*x102 + x358 =E= 0; e450.. - 0.997313*x71 - 0.907659*x87 + x359 =E= 0; e451.. - 0.997313*x72 - 0.907659*x88 + x360 =E= 0; e452.. - 0.997313*x73 - 0.907659*x89 + x361 =E= 0; e453.. - 0.997313*x74 - 0.907659*x90 + x362 =E= 0; e454.. - 0.997313*x75 - 0.907659*x91 + x363 =E= 0; e455.. - 0.997313*x76 - 0.907659*x92 + x364 =E= 0; e456.. - 0.997313*x77 - 0.907659*x93 + x365 =E= 0; e457.. - 0.997313*x78 - 0.907659*x94 + x366 =E= 0; e458.. - 0.997313*x79 - 0.907659*x95 + x367 =E= 0; e459.. - 0.997313*x80 - 0.907659*x96 + x368 =E= 0; e460.. - 0.997313*x81 - 0.907659*x97 + x369 =E= 0; e461.. - 0.997313*x82 - 0.907659*x98 + x370 =E= 0; e462.. - 0.997313*x83 - 0.907659*x99 + x371 =E= 0; e463.. - 0.997313*x84 - 0.907659*x100 + x372 =E= 0; e464.. - 0.997313*x85 - 0.907659*x101 + x373 =E= 0; e465.. - 0.997313*x86 - 0.907659*x102 + x374 =E= 0; e466.. - 0.00684*x119 - 0.016427*x135 + x375 =E= 0; e467.. - 0.00684*x120 - 0.016427*x136 + x376 =E= 0; e468.. - 0.00684*x121 - 0.016427*x137 + x377 =E= 0; e469.. - 0.00684*x122 - 0.016427*x138 + x378 =E= 0; e470.. - 0.00684*x123 - 0.016427*x139 + x379 =E= 0; e471.. - 0.00684*x124 - 0.016427*x140 + x380 =E= 0; e472.. - 0.00684*x125 - 0.016427*x141 + x381 =E= 0; e473.. - 0.00684*x126 - 0.016427*x142 + x382 =E= 0; e474.. - 0.00684*x127 - 0.016427*x143 + x383 =E= 0; e475.. - 0.00684*x128 - 0.016427*x144 + x384 =E= 0; e476.. - 0.00684*x129 - 0.016427*x145 + x385 =E= 0; e477.. - 0.00684*x130 - 0.016427*x146 + x386 =E= 0; e478.. - 0.00684*x131 - 0.016427*x147 + x387 =E= 0; e479.. - 0.00684*x132 - 0.016427*x148 + x388 =E= 0; e480.. - 0.00684*x133 - 0.016427*x149 + x389 =E= 0; e481.. - 0.00684*x134 - 0.016427*x150 + x390 =E= 0; e482.. - 0.99316*x119 - 0.983573*x135 + x391 =E= 0; e483.. - 0.99316*x120 - 0.983573*x136 + x392 =E= 0; e484.. - 0.99316*x121 - 0.983573*x137 + x393 =E= 0; e485.. - 0.99316*x122 - 0.983573*x138 + x394 =E= 0; e486.. - 0.99316*x123 - 0.983573*x139 + x395 =E= 0; e487.. - 0.99316*x124 - 0.983573*x140 + x396 =E= 0; e488.. - 0.99316*x125 - 0.983573*x141 + x397 =E= 0; e489.. - 0.99316*x126 - 0.983573*x142 + x398 =E= 0; e490.. - 0.99316*x127 - 0.983573*x143 + x399 =E= 0; e491.. - 0.99316*x128 - 0.983573*x144 + x400 =E= 0; e492.. - 0.99316*x129 - 0.983573*x145 + x401 =E= 0; e493.. - 0.99316*x130 - 0.983573*x146 + x402 =E= 0; e494.. - 0.99316*x131 - 0.983573*x147 + x403 =E= 0; e495.. - 0.99316*x132 - 0.983573*x148 + x404 =E= 0; e496.. - 0.99316*x133 - 0.983573*x149 + x405 =E= 0; e497.. - 0.99316*x134 - 0.983573*x150 + x406 =E= 0; e498.. - 0.088511*x167 - 0.015894*x183 + x407 =E= 0; e499.. - 0.088511*x168 - 0.015894*x184 + x408 =E= 0; e500.. - 0.088511*x169 - 0.015894*x185 + x409 =E= 0; e501.. - 0.088511*x170 - 0.015894*x186 + x410 =E= 0; e502.. - 0.088511*x171 - 0.015894*x187 + x411 =E= 0; e503.. - 0.088511*x172 - 0.015894*x188 + x412 =E= 0; e504.. - 0.088511*x173 - 0.015894*x189 + x413 =E= 0; e505.. - 0.088511*x174 - 0.015894*x190 + x414 =E= 0; e506.. - 0.088511*x175 - 0.015894*x191 + x415 =E= 0; e507.. - 0.088511*x176 - 0.015894*x192 + x416 =E= 0; e508.. - 0.088511*x177 - 0.015894*x193 + x417 =E= 0; e509.. - 0.088511*x178 - 0.015894*x194 + x418 =E= 0; e510.. - 0.088511*x179 - 0.015894*x195 + x419 =E= 0; e511.. - 0.088511*x180 - 0.015894*x196 + x420 =E= 0; e512.. - 0.088511*x181 - 0.015894*x197 + x421 =E= 0; e513.. - 0.088511*x182 - 0.015894*x198 + x422 =E= 0; e514.. - 0.911489*x167 - 0.984106*x183 + x423 =E= 0; e515.. - 0.911489*x168 - 0.984106*x184 + x424 =E= 0; e516.. - 0.911489*x169 - 0.984106*x185 + x425 =E= 0; e517.. - 0.911489*x170 - 0.984106*x186 + x426 =E= 0; e518.. - 0.911489*x171 - 0.984106*x187 + x427 =E= 0; e519.. - 0.911489*x172 - 0.984106*x188 + x428 =E= 0; e520.. - 0.911489*x173 - 0.984106*x189 + x429 =E= 0; e521.. - 0.911489*x174 - 0.984106*x190 + x430 =E= 0; e522.. - 0.911489*x175 - 0.984106*x191 + x431 =E= 0; e523.. - 0.911489*x176 - 0.984106*x192 + x432 =E= 0; e524.. - 0.911489*x177 - 0.984106*x193 + x433 =E= 0; e525.. - 0.911489*x178 - 0.984106*x194 + x434 =E= 0; e526.. - 0.911489*x179 - 0.984106*x195 + x435 =E= 0; e527.. - 0.911489*x180 - 0.984106*x196 + x436 =E= 0; e528.. - 0.911489*x181 - 0.984106*x197 + x437 =E= 0; e529.. - 0.911489*x182 - 0.984106*x198 + x438 =E= 0; e530.. - 0.024263*x215 - 0.009488*x231 - 0.023048*x247 + x439 =E= 0; e531.. - 0.024263*x216 - 0.009488*x232 - 0.023048*x248 + x440 =E= 0; e532.. - 0.024263*x217 - 0.009488*x233 - 0.023048*x249 + x441 =E= 0; e533.. - 0.024263*x218 - 0.009488*x234 - 0.023048*x250 + x442 =E= 0; e534.. - 0.024263*x219 - 0.009488*x235 - 0.023048*x251 + x443 =E= 0; e535.. - 0.024263*x220 - 0.009488*x236 - 0.023048*x252 + x444 =E= 0; e536.. - 0.024263*x221 - 0.009488*x237 - 0.023048*x253 + x445 =E= 0; e537.. - 0.024263*x222 - 0.009488*x238 - 0.023048*x254 + x446 =E= 0; e538.. - 0.024263*x223 - 0.009488*x239 - 0.023048*x255 + x447 =E= 0; e539.. - 0.024263*x224 - 0.009488*x240 - 0.023048*x256 + x448 =E= 0; e540.. - 0.024263*x225 - 0.009488*x241 - 0.023048*x257 + x449 =E= 0; e541.. - 0.024263*x226 - 0.009488*x242 - 0.023048*x258 + x450 =E= 0; e542.. - 0.024263*x227 - 0.009488*x243 - 0.023048*x259 + x451 =E= 0; e543.. - 0.024263*x228 - 0.009488*x244 - 0.023048*x260 + x452 =E= 0; e544.. - 0.024263*x229 - 0.009488*x245 - 0.023048*x261 + x453 =E= 0; e545.. - 0.024263*x230 - 0.009488*x246 - 0.023048*x262 + x454 =E= 0; e546.. - 0.975737*x215 - 0.990512*x231 - 0.976952*x247 + x455 =E= 0; e547.. - 0.975737*x216 - 0.990512*x232 - 0.976952*x248 + x456 =E= 0; e548.. - 0.975737*x217 - 0.990512*x233 - 0.976952*x249 + x457 =E= 0; e549.. - 0.975737*x218 - 0.990512*x234 - 0.976952*x250 + x458 =E= 0; e550.. - 0.975737*x219 - 0.990512*x235 - 0.976952*x251 + x459 =E= 0; e551.. - 0.975737*x220 - 0.990512*x236 - 0.976952*x252 + x460 =E= 0; e552.. - 0.975737*x221 - 0.990512*x237 - 0.976952*x253 + x461 =E= 0; e553.. - 0.975737*x222 - 0.990512*x238 - 0.976952*x254 + x462 =E= 0; e554.. - 0.975737*x223 - 0.990512*x239 - 0.976952*x255 + x463 =E= 0; e555.. - 0.975737*x224 - 0.990512*x240 - 0.976952*x256 + x464 =E= 0; e556.. - 0.975737*x225 - 0.990512*x241 - 0.976952*x257 + x465 =E= 0; e557.. - 0.975737*x226 - 0.990512*x242 - 0.976952*x258 + x466 =E= 0; e558.. - 0.975737*x227 - 0.990512*x243 - 0.976952*x259 + x467 =E= 0; e559.. - 0.975737*x228 - 0.990512*x244 - 0.976952*x260 + x468 =E= 0; e560.. - 0.975737*x229 - 0.990512*x245 - 0.976952*x261 + x469 =E= 0; e561.. - 0.975737*x230 - 0.990512*x246 - 0.976952*x262 + x470 =E= 0; e562.. - x439 - x471 + x535 =E= 0; e563.. - x440 - x472 + x536 =E= 0; e564.. - x441 - x473 + x537 =E= 0; e565.. - x442 - x474 + x538 =E= 0; e566.. - x443 - x475 + x539 =E= 0; e567.. - x444 - x476 + x540 =E= 0; e568.. - x445 - x477 + x541 =E= 0; e569.. - x446 - x478 + x542 =E= 0; e570.. - x447 - x479 + x543 =E= 0; e571.. - x448 - x480 + x544 =E= 0; e572.. - x449 - x481 + x545 =E= 0; e573.. - x450 - x482 + x546 =E= 0; e574.. - x451 - x483 + x547 =E= 0; e575.. - x452 - x484 + x548 =E= 0; e576.. - x453 - x485 + x549 =E= 0; e577.. - x454 - x486 + x550 =E= 0; e578.. - x455 - x487 + x551 =E= 0; e579.. - x456 - x488 + x552 =E= 0; e580.. - x457 - x489 + x553 =E= 0; e581.. - x458 - x490 + x554 =E= 0; e582.. - x459 - x491 + x555 =E= 0; e583.. - x460 - x492 + x556 =E= 0; e584.. - x461 - x493 + x557 =E= 0; e585.. - x462 - x494 + x558 =E= 0; e586.. - x463 - x495 + x559 =E= 0; e587.. - x464 - x496 + x560 =E= 0; e588.. - x465 - x497 + x561 =E= 0; e589.. - x466 - x498 + x562 =E= 0; e590.. - x467 - x499 + x563 =E= 0; e591.. - x468 - x500 + x564 =E= 0; e592.. - x469 - x501 + x565 =E= 0; e593.. - x470 - x502 + x566 =E= 0; e594.. - 0.0383*x295 - x503 - x631 + x695 =E= 0; e595.. - 0.0383*x296 - x504 - x632 + x696 =E= 0; e596.. - 0.0383*x297 - x505 - x633 + x697 =E= 0; e597.. - 0.0383*x298 - x506 - x634 + x698 =E= 0; e598.. - 0.0383*x299 - x507 - x635 + x699 =E= 0; e599.. - 0.0383*x300 - x508 - x636 + x700 =E= 0; e600.. - 0.0383*x301 - x509 - x637 + x701 =E= 0; e601.. - 0.0383*x302 - x510 - x638 + x702 =E= 0; e602.. - 0.0383*x303 - x511 - x639 + x703 =E= 0; e603.. - 0.0383*x304 - x512 - x640 + x704 =E= 0; e604.. - 0.0383*x305 - x513 - x641 + x705 =E= 0; e605.. - 0.0383*x306 - x514 - x642 + x706 =E= 0; e606.. - 0.0383*x307 - x515 - x643 + x707 =E= 0; e607.. - 0.0383*x308 - x516 - x644 + x708 =E= 0; e608.. - 0.0383*x309 - x517 - x645 + x709 =E= 0; e609.. - 0.0383*x310 - x518 - x646 + x710 =E= 0; e610.. - 0.9617*x295 - x519 - x647 + x711 =E= 0; e611.. - 0.9617*x296 - x520 - x648 + x712 =E= 0; e612.. - 0.9617*x297 - x521 - x649 + x713 =E= 0; e613.. - 0.9617*x298 - x522 - x650 + x714 =E= 0; e614.. - 0.9617*x299 - x523 - x651 + x715 =E= 0; e615.. - 0.9617*x300 - x524 - x652 + x716 =E= 0; e616.. - 0.9617*x301 - x525 - x653 + x717 =E= 0; e617.. - 0.9617*x302 - x526 - x654 + x718 =E= 0; e618.. - 0.9617*x303 - x527 - x655 + x719 =E= 0; e619.. - 0.9617*x304 - x528 - x656 + x720 =E= 0; e620.. - 0.9617*x305 - x529 - x657 + x721 =E= 0; e621.. - 0.9617*x306 - x530 - x658 + x722 =E= 0; e622.. - 0.9617*x307 - x531 - x659 + x723 =E= 0; e623.. - 0.9617*x308 - x532 - x660 + x724 =E= 0; e624.. - 0.9617*x309 - x533 - x661 + x725 =E= 0; e625.. - 0.9617*x310 - x534 - x662 + x726 =E= 0; e626.. x471 - 0.016525*x983 - 0.0383*x999 =E= 0; e627.. x472 - 0.018775*x984 - 0.0383*x1000 =E= 0; e628.. x473 - 0.021025*x985 - 0.0383*x1001 =E= 0; e629.. x474 - 0.023275*x986 - 0.0383*x1002 =E= 0; e630.. x475 - 0.025525*x987 - 0.0383*x1003 =E= 0; e631.. x476 - 0.027775*x988 - 0.0383*x1004 =E= 0; e632.. x477 - 0.030025*x989 - 0.0383*x1005 =E= 0; e633.. x478 - 0.032275*x990 - 0.0383*x1006 =E= 0; e634.. x479 - 0.034525*x991 - 0.0383*x1007 =E= 0; e635.. x480 - 0.036775*x992 - 0.0383*x1008 =E= 0; e636.. x481 - 0.039025*x993 - 0.0383*x1009 =E= 0; e637.. x482 - 0.041275*x994 - 0.0383*x1010 =E= 0; e638.. x483 - 0.043525*x995 - 0.0383*x1011 =E= 0; e639.. x484 - 0.045775*x996 - 0.0383*x1012 =E= 0; e640.. x485 - 0.048025*x997 - 0.0383*x1013 =E= 0; e641.. x486 - 0.050275*x998 - 0.0383*x1014 =E= 0; e642.. x487 - 0.983475*x983 - 0.9617*x999 =E= 0; e643.. x488 - 0.981225*x984 - 0.9617*x1000 =E= 0; e644.. x489 - 0.978975*x985 - 0.9617*x1001 =E= 0; e645.. x490 - 0.976725*x986 - 0.9617*x1002 =E= 0; e646.. x491 - 0.974475*x987 - 0.9617*x1003 =E= 0; e647.. x492 - 0.972225*x988 - 0.9617*x1004 =E= 0; e648.. x493 - 0.969975*x989 - 0.9617*x1005 =E= 0; e649.. x494 - 0.967725*x990 - 0.9617*x1006 =E= 0; e650.. x495 - 0.965475*x991 - 0.9617*x1007 =E= 0; e651.. x496 - 0.963225*x992 - 0.9617*x1008 =E= 0; e652.. x497 - 0.960975*x993 - 0.9617*x1009 =E= 0; e653.. x498 - 0.958725*x994 - 0.9617*x1010 =E= 0; e654.. x499 - 0.956475*x995 - 0.9617*x1011 =E= 0; e655.. x500 - 0.954225*x996 - 0.9617*x1012 =E= 0; e656.. x501 - 0.951975*x997 - 0.9617*x1013 =E= 0; e657.. x502 - 0.949725*x998 - 0.9617*x1014 =E= 0; e658.. x503 - 0.016525*x1015 - 0.0383*x1031 =E= 0; e659.. x504 - 0.018775*x1016 - 0.0383*x1032 =E= 0; e660.. x505 - 0.021025*x1017 - 0.0383*x1033 =E= 0; e661.. x506 - 0.023275*x1018 - 0.0383*x1034 =E= 0; e662.. x507 - 0.025525*x1019 - 0.0383*x1035 =E= 0; e663.. x508 - 0.027775*x1020 - 0.0383*x1036 =E= 0; e664.. x509 - 0.030025*x1021 - 0.0383*x1037 =E= 0; e665.. x510 - 0.032275*x1022 - 0.0383*x1038 =E= 0; e666.. x511 - 0.034525*x1023 - 0.0383*x1039 =E= 0; e667.. x512 - 0.036775*x1024 - 0.0383*x1040 =E= 0; e668.. x513 - 0.039025*x1025 - 0.0383*x1041 =E= 0; e669.. x514 - 0.041275*x1026 - 0.0383*x1042 =E= 0; e670.. x515 - 0.043525*x1027 - 0.0383*x1043 =E= 0; e671.. x516 - 0.045775*x1028 - 0.0383*x1044 =E= 0; e672.. x517 - 0.048025*x1029 - 0.0383*x1045 =E= 0; e673.. x518 - 0.050275*x1030 - 0.0383*x1046 =E= 0; e674.. x519 - 0.983475*x1015 - 0.9617*x1031 =E= 0; e675.. x520 - 0.981225*x1016 - 0.9617*x1032 =E= 0; e676.. x521 - 0.978975*x1017 - 0.9617*x1033 =E= 0; e677.. x522 - 0.976725*x1018 - 0.9617*x1034 =E= 0; e678.. x523 - 0.974475*x1019 - 0.9617*x1035 =E= 0; e679.. x524 - 0.972225*x1020 - 0.9617*x1036 =E= 0; e680.. x525 - 0.969975*x1021 - 0.9617*x1037 =E= 0; e681.. x526 - 0.967725*x1022 - 0.9617*x1038 =E= 0; e682.. x527 - 0.965475*x1023 - 0.9617*x1039 =E= 0; e683.. x528 - 0.963225*x1024 - 0.9617*x1040 =E= 0; e684.. x529 - 0.960975*x1025 - 0.9617*x1041 =E= 0; e685.. x530 - 0.958725*x1026 - 0.9617*x1042 =E= 0; e686.. x531 - 0.956475*x1027 - 0.9617*x1043 =E= 0; e687.. x532 - 0.954225*x1028 - 0.9617*x1044 =E= 0; e688.. x533 - 0.951975*x1029 - 0.9617*x1045 =E= 0; e689.. x534 - 0.949725*x1030 - 0.9617*x1046 =E= 0; e690.. x567 - 0.034121*x1047 - 0.014483*x1063 - x1143 - x1175 =E= 0; e691.. x568 - 0.034121*x1048 - 0.014483*x1064 - x1144 - x1176 =E= 0; e692.. x569 - 0.034121*x1049 - 0.014483*x1065 - x1145 - x1177 =E= 0; e693.. x570 - 0.034121*x1050 - 0.014483*x1066 - x1146 - x1178 =E= 0; e694.. x571 - 0.034121*x1051 - 0.014483*x1067 - x1147 - x1179 =E= 0; e695.. x572 - 0.034121*x1052 - 0.014483*x1068 - x1148 - x1180 =E= 0; e696.. x573 - 0.034121*x1053 - 0.014483*x1069 - x1149 - x1181 =E= 0; e697.. x574 - 0.034121*x1054 - 0.014483*x1070 - x1150 - x1182 =E= 0; e698.. x575 - 0.034121*x1055 - 0.014483*x1071 - x1151 - x1183 =E= 0; e699.. x576 - 0.034121*x1056 - 0.014483*x1072 - x1152 - x1184 =E= 0; e700.. x577 - 0.034121*x1057 - 0.014483*x1073 - x1153 - x1185 =E= 0; e701.. x578 - 0.034121*x1058 - 0.014483*x1074 - x1154 - x1186 =E= 0; e702.. x579 - 0.034121*x1059 - 0.014483*x1075 - x1155 - x1187 =E= 0; e703.. x580 - 0.034121*x1060 - 0.014483*x1076 - x1156 - x1188 =E= 0; e704.. x581 - 0.034121*x1061 - 0.014483*x1077 - x1157 - x1189 =E= 0; e705.. x582 - 0.034121*x1062 - 0.014483*x1078 - x1158 - x1190 =E= 0; e706.. x583 - 0.965879*x1047 - 0.985517*x1063 - x1159 - x1191 =E= 0; e707.. x584 - 0.965879*x1048 - 0.985517*x1064 - x1160 - x1192 =E= 0; e708.. x585 - 0.965879*x1049 - 0.985517*x1065 - x1161 - x1193 =E= 0; e709.. x586 - 0.965879*x1050 - 0.985517*x1066 - x1162 - x1194 =E= 0; e710.. x587 - 0.965879*x1051 - 0.985517*x1067 - x1163 - x1195 =E= 0; e711.. x588 - 0.965879*x1052 - 0.985517*x1068 - x1164 - x1196 =E= 0; e712.. x589 - 0.965879*x1053 - 0.985517*x1069 - x1165 - x1197 =E= 0; e713.. x590 - 0.965879*x1054 - 0.985517*x1070 - x1166 - x1198 =E= 0; e714.. x591 - 0.965879*x1055 - 0.985517*x1071 - x1167 - x1199 =E= 0; e715.. x592 - 0.965879*x1056 - 0.985517*x1072 - x1168 - x1200 =E= 0; e716.. x593 - 0.965879*x1057 - 0.985517*x1073 - x1169 - x1201 =E= 0; e717.. x594 - 0.965879*x1058 - 0.985517*x1074 - x1170 - x1202 =E= 0; e718.. x595 - 0.965879*x1059 - 0.985517*x1075 - x1171 - x1203 =E= 0; e719.. x596 - 0.965879*x1060 - 0.985517*x1076 - x1172 - x1204 =E= 0; e720.. x597 - 0.965879*x1061 - 0.985517*x1077 - x1173 - x1205 =E= 0; e721.. x598 - 0.965879*x1062 - 0.985517*x1078 - x1174 - x1206 =E= 0; e722.. x599 - 0.034121*x1079 - 0.014483*x1095 - x1207 - x1239 =E= 0; e723.. x600 - 0.034121*x1080 - 0.014483*x1096 - x1208 - x1240 =E= 0; e724.. x601 - 0.034121*x1081 - 0.014483*x1097 - x1209 - x1241 =E= 0; e725.. x602 - 0.034121*x1082 - 0.014483*x1098 - x1210 - x1242 =E= 0; e726.. x603 - 0.034121*x1083 - 0.014483*x1099 - x1211 - x1243 =E= 0; e727.. x604 - 0.034121*x1084 - 0.014483*x1100 - x1212 - x1244 =E= 0; e728.. x605 - 0.034121*x1085 - 0.014483*x1101 - x1213 - x1245 =E= 0; e729.. x606 - 0.034121*x1086 - 0.014483*x1102 - x1214 - x1246 =E= 0; e730.. x607 - 0.034121*x1087 - 0.014483*x1103 - x1215 - x1247 =E= 0; e731.. x608 - 0.034121*x1088 - 0.014483*x1104 - x1216 - x1248 =E= 0; e732.. x609 - 0.034121*x1089 - 0.014483*x1105 - x1217 - x1249 =E= 0; e733.. x610 - 0.034121*x1090 - 0.014483*x1106 - x1218 - x1250 =E= 0; e734.. x611 - 0.034121*x1091 - 0.014483*x1107 - x1219 - x1251 =E= 0; e735.. x612 - 0.034121*x1092 - 0.014483*x1108 - x1220 - x1252 =E= 0; e736.. x613 - 0.034121*x1093 - 0.014483*x1109 - x1221 - x1253 =E= 0; e737.. x614 - 0.034121*x1094 - 0.014483*x1110 - x1222 - x1254 =E= 0; e738.. x615 - 0.965879*x1079 - 0.985517*x1095 - x1223 - x1255 =E= 0; e739.. x616 - 0.965879*x1080 - 0.985517*x1096 - x1224 - x1256 =E= 0; e740.. x617 - 0.965879*x1081 - 0.985517*x1097 - x1225 - x1257 =E= 0; e741.. x618 - 0.965879*x1082 - 0.985517*x1098 - x1226 - x1258 =E= 0; e742.. x619 - 0.965879*x1083 - 0.985517*x1099 - x1227 - x1259 =E= 0; e743.. x620 - 0.965879*x1084 - 0.985517*x1100 - x1228 - x1260 =E= 0; e744.. x621 - 0.965879*x1085 - 0.985517*x1101 - x1229 - x1261 =E= 0; e745.. x622 - 0.965879*x1086 - 0.985517*x1102 - x1230 - x1262 =E= 0; e746.. x623 - 0.965879*x1087 - 0.985517*x1103 - x1231 - x1263 =E= 0; e747.. x624 - 0.965879*x1088 - 0.985517*x1104 - x1232 - x1264 =E= 0; e748.. x625 - 0.965879*x1089 - 0.985517*x1105 - x1233 - x1265 =E= 0; e749.. x626 - 0.965879*x1090 - 0.985517*x1106 - x1234 - x1266 =E= 0; e750.. x627 - 0.965879*x1091 - 0.985517*x1107 - x1235 - x1267 =E= 0; e751.. x628 - 0.965879*x1092 - 0.985517*x1108 - x1236 - x1268 =E= 0; e752.. x629 - 0.965879*x1093 - 0.985517*x1109 - x1237 - x1269 =E= 0; e753.. x630 - 0.965879*x1094 - 0.985517*x1110 - x1238 - x1270 =E= 0; e754.. x631 - 0.015894*x1111 - x1271 - x1303 - x1335 =E= 0; e755.. x632 - 0.015894*x1112 - x1272 - x1304 - x1336 =E= 0; e756.. x633 - 0.015894*x1113 - x1273 - x1305 - x1337 =E= 0; e757.. x634 - 0.015894*x1114 - x1274 - x1306 - x1338 =E= 0; e758.. x635 - 0.015894*x1115 - x1275 - x1307 - x1339 =E= 0; e759.. x636 - 0.015894*x1116 - x1276 - x1308 - x1340 =E= 0; e760.. x637 - 0.015894*x1117 - x1277 - x1309 - x1341 =E= 0; e761.. x638 - 0.015894*x1118 - x1278 - x1310 - x1342 =E= 0; e762.. x639 - 0.015894*x1119 - x1279 - x1311 - x1343 =E= 0; e763.. x640 - 0.015894*x1120 - x1280 - x1312 - x1344 =E= 0; e764.. x641 - 0.015894*x1121 - x1281 - x1313 - x1345 =E= 0; e765.. x642 - 0.015894*x1122 - x1282 - x1314 - x1346 =E= 0; e766.. x643 - 0.015894*x1123 - x1283 - x1315 - x1347 =E= 0; e767.. x644 - 0.015894*x1124 - x1284 - x1316 - x1348 =E= 0; e768.. x645 - 0.015894*x1125 - x1285 - x1317 - x1349 =E= 0; e769.. x646 - 0.015894*x1126 - x1286 - x1318 - x1350 =E= 0; e770.. x647 - 0.984106*x1111 - x1287 - x1319 - x1351 =E= 0; e771.. x648 - 0.984106*x1112 - x1288 - x1320 - x1352 =E= 0; e772.. x649 - 0.984106*x1113 - x1289 - x1321 - x1353 =E= 0; e773.. x650 - 0.984106*x1114 - x1290 - x1322 - x1354 =E= 0; e774.. x651 - 0.984106*x1115 - x1291 - x1323 - x1355 =E= 0; e775.. x652 - 0.984106*x1116 - x1292 - x1324 - x1356 =E= 0; e776.. x653 - 0.984106*x1117 - x1293 - x1325 - x1357 =E= 0; e777.. x654 - 0.984106*x1118 - x1294 - x1326 - x1358 =E= 0; e778.. x655 - 0.984106*x1119 - x1295 - x1327 - x1359 =E= 0; e779.. x656 - 0.984106*x1120 - x1296 - x1328 - x1360 =E= 0; e780.. x657 - 0.984106*x1121 - x1297 - x1329 - x1361 =E= 0; e781.. x658 - 0.984106*x1122 - x1298 - x1330 - x1362 =E= 0; e782.. x659 - 0.984106*x1123 - x1299 - x1331 - x1363 =E= 0; e783.. x660 - 0.984106*x1124 - x1300 - x1332 - x1364 =E= 0; e784.. x661 - 0.984106*x1125 - x1301 - x1333 - x1365 =E= 0; e785.. x662 - 0.984106*x1126 - x1302 - x1334 - x1366 =E= 0; e786.. x663 - 0.015894*x1127 - x1367 - x1399 - x1431 =E= 0; e787.. x664 - 0.015894*x1128 - x1368 - x1400 - x1432 =E= 0; e788.. x665 - 0.015894*x1129 - x1369 - x1401 - x1433 =E= 0; e789.. x666 - 0.015894*x1130 - x1370 - x1402 - x1434 =E= 0; e790.. x667 - 0.015894*x1131 - x1371 - x1403 - x1435 =E= 0; e791.. x668 - 0.015894*x1132 - x1372 - x1404 - x1436 =E= 0; e792.. x669 - 0.015894*x1133 - x1373 - x1405 - x1437 =E= 0; e793.. x670 - 0.015894*x1134 - x1374 - x1406 - x1438 =E= 0; e794.. x671 - 0.015894*x1135 - x1375 - x1407 - x1439 =E= 0; e795.. x672 - 0.015894*x1136 - x1376 - x1408 - x1440 =E= 0; e796.. x673 - 0.015894*x1137 - x1377 - x1409 - x1441 =E= 0; e797.. x674 - 0.015894*x1138 - x1378 - x1410 - x1442 =E= 0; e798.. x675 - 0.015894*x1139 - x1379 - x1411 - x1443 =E= 0; e799.. x676 - 0.015894*x1140 - x1380 - x1412 - x1444 =E= 0; e800.. x677 - 0.015894*x1141 - x1381 - x1413 - x1445 =E= 0; e801.. x678 - 0.015894*x1142 - x1382 - x1414 - x1446 =E= 0; e802.. x679 - 0.984106*x1127 - x1383 - x1415 - x1447 =E= 0; e803.. x680 - 0.984106*x1128 - x1384 - x1416 - x1448 =E= 0; e804.. x681 - 0.984106*x1129 - x1385 - x1417 - x1449 =E= 0; e805.. x682 - 0.984106*x1130 - x1386 - x1418 - x1450 =E= 0; e806.. x683 - 0.984106*x1131 - x1387 - x1419 - x1451 =E= 0; e807.. x684 - 0.984106*x1132 - x1388 - x1420 - x1452 =E= 0; e808.. x685 - 0.984106*x1133 - x1389 - x1421 - x1453 =E= 0; e809.. x686 - 0.984106*x1134 - x1390 - x1422 - x1454 =E= 0; e810.. x687 - 0.984106*x1135 - x1391 - x1423 - x1455 =E= 0; e811.. x688 - 0.984106*x1136 - x1392 - x1424 - x1456 =E= 0; e812.. x689 - 0.984106*x1137 - x1393 - x1425 - x1457 =E= 0; e813.. x690 - 0.984106*x1138 - x1394 - x1426 - x1458 =E= 0; e814.. x691 - 0.984106*x1139 - x1395 - x1427 - x1459 =E= 0; e815.. x692 - 0.984106*x1140 - x1396 - x1428 - x1460 =E= 0; e816.. x693 - 0.984106*x1141 - x1397 - x1429 - x1461 =E= 0; e817.. x694 - 0.984106*x1142 - x1398 - x1430 - x1462 =E= 0; e818.. -x855*x263 + x983 =E= 0; e819.. -x856*x264 + x984 =E= 0; e820.. -x857*x265 + x985 =E= 0; e821.. -x858*x266 + x986 =E= 0; e822.. -x859*x267 + x987 =E= 0; e823.. -x860*x268 + x988 =E= 0; e824.. -x861*x269 + x989 =E= 0; e825.. -x862*x270 + x990 =E= 0; e826.. -x863*x271 + x991 =E= 0; e827.. -x864*x272 + x992 =E= 0; e828.. -x865*x273 + x993 =E= 0; e829.. -x866*x274 + x994 =E= 0; e830.. -x867*x275 + x995 =E= 0; e831.. -x868*x276 + x996 =E= 0; e832.. -x869*x277 + x997 =E= 0; e833.. -x870*x278 + x998 =E= 0; e834.. -x855*x279 + x999 =E= 0; e835.. -x856*x280 + x1000 =E= 0; e836.. -x857*x281 + x1001 =E= 0; e837.. -x858*x282 + x1002 =E= 0; e838.. -x859*x283 + x1003 =E= 0; e839.. -x860*x284 + x1004 =E= 0; e840.. -x861*x285 + x1005 =E= 0; e841.. -x862*x286 + x1006 =E= 0; e842.. -x863*x287 + x1007 =E= 0; e843.. -x864*x288 + x1008 =E= 0; e844.. -x865*x289 + x1009 =E= 0; e845.. -x866*x290 + x1010 =E= 0; e846.. -x867*x291 + x1011 =E= 0; e847.. -x868*x292 + x1012 =E= 0; e848.. -x869*x293 + x1013 =E= 0; e849.. -x870*x294 + x1014 =E= 0; e850.. -x871*x263 + x1015 =E= 0; e851.. -x872*x264 + x1016 =E= 0; e852.. -x873*x265 + x1017 =E= 0; e853.. -x874*x266 + x1018 =E= 0; e854.. -x875*x267 + x1019 =E= 0; e855.. -x876*x268 + x1020 =E= 0; e856.. -x877*x269 + x1021 =E= 0; e857.. -x878*x270 + x1022 =E= 0; e858.. -x879*x271 + x1023 =E= 0; e859.. -x880*x272 + x1024 =E= 0; e860.. -x881*x273 + x1025 =E= 0; e861.. -x882*x274 + x1026 =E= 0; e862.. -x883*x275 + x1027 =E= 0; e863.. -x884*x276 + x1028 =E= 0; e864.. -x885*x277 + x1029 =E= 0; e865.. -x886*x278 + x1030 =E= 0; e866.. -x871*x279 + x1031 =E= 0; e867.. -x872*x280 + x1032 =E= 0; e868.. -x873*x281 + x1033 =E= 0; e869.. -x874*x282 + x1034 =E= 0; e870.. -x875*x283 + x1035 =E= 0; e871.. -x876*x284 + x1036 =E= 0; e872.. -x877*x285 + x1037 =E= 0; e873.. -x878*x286 + x1038 =E= 0; e874.. -x879*x287 + x1039 =E= 0; e875.. -x880*x288 + x1040 =E= 0; e876.. -x881*x289 + x1041 =E= 0; e877.. -x882*x290 + x1042 =E= 0; e878.. -x883*x291 + x1043 =E= 0; e879.. -x884*x292 + x1044 =E= 0; e880.. -x885*x293 + x1045 =E= 0; e881.. -x886*x294 + x1046 =E= 0; e882.. -x887*x103 + x1047 =E= 0; e883.. -x888*x104 + x1048 =E= 0; e884.. -x889*x105 + x1049 =E= 0; e885.. -x890*x106 + x1050 =E= 0; e886.. -x891*x107 + x1051 =E= 0; e887.. -x892*x108 + x1052 =E= 0; e888.. -x893*x109 + x1053 =E= 0; e889.. -x894*x110 + x1054 =E= 0; e890.. -x895*x111 + x1055 =E= 0; e891.. -x896*x112 + x1056 =E= 0; e892.. -x897*x113 + x1057 =E= 0; e893.. -x898*x114 + x1058 =E= 0; e894.. -x899*x115 + x1059 =E= 0; e895.. -x900*x116 + x1060 =E= 0; e896.. -x901*x117 + x1061 =E= 0; e897.. -x902*x118 + x1062 =E= 0; e898.. -x887*x151 + x1063 =E= 0; e899.. -x888*x152 + x1064 =E= 0; e900.. -x889*x153 + x1065 =E= 0; e901.. -x890*x154 + x1066 =E= 0; e902.. -x891*x155 + x1067 =E= 0; e903.. -x892*x156 + x1068 =E= 0; e904.. -x893*x157 + x1069 =E= 0; e905.. -x894*x158 + x1070 =E= 0; e906.. -x895*x159 + x1071 =E= 0; e907.. -x896*x160 + x1072 =E= 0; e908.. -x897*x161 + x1073 =E= 0; e909.. -x898*x162 + x1074 =E= 0; e910.. -x899*x163 + x1075 =E= 0; e911.. -x900*x164 + x1076 =E= 0; e912.. -x901*x165 + x1077 =E= 0; e913.. -x902*x166 + x1078 =E= 0; e914.. -x903*x103 + x1079 =E= 0; e915.. -x904*x104 + x1080 =E= 0; e916.. -x905*x105 + x1081 =E= 0; e917.. -x906*x106 + x1082 =E= 0; e918.. -x907*x107 + x1083 =E= 0; e919.. -x908*x108 + x1084 =E= 0; e920.. -x909*x109 + x1085 =E= 0; e921.. -x910*x110 + x1086 =E= 0; e922.. -x911*x111 + x1087 =E= 0; e923.. -x912*x112 + x1088 =E= 0; e924.. -x913*x113 + x1089 =E= 0; e925.. -x914*x114 + x1090 =E= 0; e926.. -x915*x115 + x1091 =E= 0; e927.. -x916*x116 + x1092 =E= 0; e928.. -x917*x117 + x1093 =E= 0; e929.. -x918*x118 + x1094 =E= 0; e930.. -x903*x151 + x1095 =E= 0; e931.. -x904*x152 + x1096 =E= 0; e932.. -x905*x153 + x1097 =E= 0; e933.. -x906*x154 + x1098 =E= 0; e934.. -x907*x155 + x1099 =E= 0; e935.. -x908*x156 + x1100 =E= 0; e936.. -x909*x157 + x1101 =E= 0; e937.. -x910*x158 + x1102 =E= 0; e938.. -x911*x159 + x1103 =E= 0; e939.. -x912*x160 + x1104 =E= 0; e940.. -x913*x161 + x1105 =E= 0; e941.. -x914*x162 + x1106 =E= 0; e942.. -x915*x163 + x1107 =E= 0; e943.. -x916*x164 + x1108 =E= 0; e944.. -x917*x165 + x1109 =E= 0; e945.. -x918*x166 + x1110 =E= 0; e946.. -x919*x199 + x1111 =E= 0; e947.. -x920*x200 + x1112 =E= 0; e948.. -x921*x201 + x1113 =E= 0; e949.. -x922*x202 + x1114 =E= 0; e950.. -x923*x203 + x1115 =E= 0; e951.. -x924*x204 + x1116 =E= 0; e952.. -x925*x205 + x1117 =E= 0; e953.. -x926*x206 + x1118 =E= 0; e954.. -x927*x207 + x1119 =E= 0; e955.. -x928*x208 + x1120 =E= 0; e956.. -x929*x209 + x1121 =E= 0; e957.. -x930*x210 + x1122 =E= 0; e958.. -x931*x211 + x1123 =E= 0; e959.. -x932*x212 + x1124 =E= 0; e960.. -x933*x213 + x1125 =E= 0; e961.. -x934*x214 + x1126 =E= 0; e962.. -x935*x199 + x1127 =E= 0; e963.. -x936*x200 + x1128 =E= 0; e964.. -x937*x201 + x1129 =E= 0; e965.. -x938*x202 + x1130 =E= 0; e966.. -x939*x203 + x1131 =E= 0; e967.. -x940*x204 + x1132 =E= 0; e968.. -x941*x205 + x1133 =E= 0; e969.. -x942*x206 + x1134 =E= 0; e970.. -x943*x207 + x1135 =E= 0; e971.. -x944*x208 + x1136 =E= 0; e972.. -x945*x209 + x1137 =E= 0; e973.. -x946*x210 + x1138 =E= 0; e974.. -x947*x211 + x1139 =E= 0; e975.. -x948*x212 + x1140 =E= 0; e976.. -x949*x213 + x1141 =E= 0; e977.. -x950*x214 + x1142 =E= 0; e978.. -x887*x343 + x1143 =E= 0; e979.. -x888*x344 + x1144 =E= 0; e980.. -x889*x345 + x1145 =E= 0; e981.. -x890*x346 + x1146 =E= 0; e982.. -x891*x347 + x1147 =E= 0; e983.. -x892*x348 + x1148 =E= 0; e984.. -x893*x349 + x1149 =E= 0; e985.. -x894*x350 + x1150 =E= 0; e986.. -x895*x351 + x1151 =E= 0; e987.. -x896*x352 + x1152 =E= 0; e988.. -x897*x353 + x1153 =E= 0; e989.. -x898*x354 + x1154 =E= 0; e990.. -x899*x355 + x1155 =E= 0; e991.. -x900*x356 + x1156 =E= 0; e992.. -x901*x357 + x1157 =E= 0; e993.. -x902*x358 + x1158 =E= 0; e994.. -x887*x359 + x1159 =E= 0; e995.. -x888*x360 + x1160 =E= 0; e996.. -x889*x361 + x1161 =E= 0; e997.. -x890*x362 + x1162 =E= 0; e998.. -x891*x363 + x1163 =E= 0; e999.. -x892*x364 + x1164 =E= 0; e1000.. -x893*x365 + x1165 =E= 0; e1001.. -x894*x366 + x1166 =E= 0; e1002.. -x895*x367 + x1167 =E= 0; e1003.. -x896*x368 + x1168 =E= 0; e1004.. -x897*x369 + x1169 =E= 0; e1005.. -x898*x370 + x1170 =E= 0; e1006.. -x899*x371 + x1171 =E= 0; e1007.. -x900*x372 + x1172 =E= 0; e1008.. -x901*x373 + x1173 =E= 0; e1009.. -x902*x374 + x1174 =E= 0; e1010.. -x887*x375 + x1175 =E= 0; e1011.. -x888*x376 + x1176 =E= 0; e1012.. -x889*x377 + x1177 =E= 0; e1013.. -x890*x378 + x1178 =E= 0; e1014.. -x891*x379 + x1179 =E= 0; e1015.. -x892*x380 + x1180 =E= 0; e1016.. -x893*x381 + x1181 =E= 0; e1017.. -x894*x382 + x1182 =E= 0; e1018.. -x895*x383 + x1183 =E= 0; e1019.. -x896*x384 + x1184 =E= 0; e1020.. -x897*x385 + x1185 =E= 0; e1021.. -x898*x386 + x1186 =E= 0; e1022.. -x899*x387 + x1187 =E= 0; e1023.. -x900*x388 + x1188 =E= 0; e1024.. -x901*x389 + x1189 =E= 0; e1025.. -x902*x390 + x1190 =E= 0; e1026.. -x887*x391 + x1191 =E= 0; e1027.. -x888*x392 + x1192 =E= 0; e1028.. -x889*x393 + x1193 =E= 0; e1029.. -x890*x394 + x1194 =E= 0; e1030.. -x891*x395 + x1195 =E= 0; e1031.. -x892*x396 + x1196 =E= 0; e1032.. -x893*x397 + x1197 =E= 0; e1033.. -x894*x398 + x1198 =E= 0; e1034.. -x895*x399 + x1199 =E= 0; e1035.. -x896*x400 + x1200 =E= 0; e1036.. -x897*x401 + x1201 =E= 0; e1037.. -x898*x402 + x1202 =E= 0; e1038.. -x899*x403 + x1203 =E= 0; e1039.. -x900*x404 + x1204 =E= 0; e1040.. -x901*x405 + x1205 =E= 0; e1041.. -x902*x406 + x1206 =E= 0; e1042.. -x903*x343 + x1207 =E= 0; e1043.. -x904*x344 + x1208 =E= 0; e1044.. -x905*x345 + x1209 =E= 0; e1045.. -x906*x346 + x1210 =E= 0; e1046.. -x907*x347 + x1211 =E= 0; e1047.. -x908*x348 + x1212 =E= 0; e1048.. -x909*x349 + x1213 =E= 0; e1049.. -x910*x350 + x1214 =E= 0; e1050.. -x911*x351 + x1215 =E= 0; e1051.. -x912*x352 + x1216 =E= 0; e1052.. -x913*x353 + x1217 =E= 0; e1053.. -x914*x354 + x1218 =E= 0; e1054.. -x915*x355 + x1219 =E= 0; e1055.. -x916*x356 + x1220 =E= 0; e1056.. -x917*x357 + x1221 =E= 0; e1057.. -x918*x358 + x1222 =E= 0; e1058.. -x903*x359 + x1223 =E= 0; e1059.. -x904*x360 + x1224 =E= 0; e1060.. -x905*x361 + x1225 =E= 0; e1061.. -x906*x362 + x1226 =E= 0; e1062.. -x907*x363 + x1227 =E= 0; e1063.. -x908*x364 + x1228 =E= 0; e1064.. -x909*x365 + x1229 =E= 0; e1065.. -x910*x366 + x1230 =E= 0; e1066.. -x911*x367 + x1231 =E= 0; e1067.. -x912*x368 + x1232 =E= 0; e1068.. -x913*x369 + x1233 =E= 0; e1069.. -x914*x370 + x1234 =E= 0; e1070.. -x915*x371 + x1235 =E= 0; e1071.. -x916*x372 + x1236 =E= 0; e1072.. -x917*x373 + x1237 =E= 0; e1073.. -x918*x374 + x1238 =E= 0; e1074.. -x903*x375 + x1239 =E= 0; e1075.. -x904*x376 + x1240 =E= 0; e1076.. -x905*x377 + x1241 =E= 0; e1077.. -x906*x378 + x1242 =E= 0; e1078.. -x907*x379 + x1243 =E= 0; e1079.. -x908*x380 + x1244 =E= 0; e1080.. -x909*x381 + x1245 =E= 0; e1081.. -x910*x382 + x1246 =E= 0; e1082.. -x911*x383 + x1247 =E= 0; e1083.. -x912*x384 + x1248 =E= 0; e1084.. -x913*x385 + x1249 =E= 0; e1085.. -x914*x386 + x1250 =E= 0; e1086.. -x915*x387 + x1251 =E= 0; e1087.. -x916*x388 + x1252 =E= 0; e1088.. -x917*x389 + x1253 =E= 0; e1089.. -x918*x390 + x1254 =E= 0; e1090.. -x903*x391 + x1255 =E= 0; e1091.. -x904*x392 + x1256 =E= 0; e1092.. -x905*x393 + x1257 =E= 0; e1093.. -x906*x394 + x1258 =E= 0; e1094.. -x907*x395 + x1259 =E= 0; e1095.. -x908*x396 + x1260 =E= 0; e1096.. -x909*x397 + x1261 =E= 0; e1097.. -x910*x398 + x1262 =E= 0; e1098.. -x911*x399 + x1263 =E= 0; e1099.. -x912*x400 + x1264 =E= 0; e1100.. -x913*x401 + x1265 =E= 0; e1101.. -x914*x402 + x1266 =E= 0; e1102.. -x915*x403 + x1267 =E= 0; e1103.. -x916*x404 + x1268 =E= 0; e1104.. -x917*x405 + x1269 =E= 0; e1105.. -x918*x406 + x1270 =E= 0; e1106.. -x919*x407 + x1271 =E= 0; e1107.. -x920*x408 + x1272 =E= 0; e1108.. -x921*x409 + x1273 =E= 0; e1109.. -x922*x410 + x1274 =E= 0; e1110.. -x923*x411 + x1275 =E= 0; e1111.. -x924*x412 + x1276 =E= 0; e1112.. -x925*x413 + x1277 =E= 0; e1113.. -x926*x414 + x1278 =E= 0; e1114.. -x927*x415 + x1279 =E= 0; e1115.. -x928*x416 + x1280 =E= 0; e1116.. -x929*x417 + x1281 =E= 0; e1117.. -x930*x418 + x1282 =E= 0; e1118.. -x931*x419 + x1283 =E= 0; e1119.. -x932*x420 + x1284 =E= 0; e1120.. -x933*x421 + x1285 =E= 0; e1121.. -x934*x422 + x1286 =E= 0; e1122.. -x919*x423 + x1287 =E= 0; e1123.. -x920*x424 + x1288 =E= 0; e1124.. -x921*x425 + x1289 =E= 0; e1125.. -x922*x426 + x1290 =E= 0; e1126.. -x923*x427 + x1291 =E= 0; e1127.. -x924*x428 + x1292 =E= 0; e1128.. -x925*x429 + x1293 =E= 0; e1129.. -x926*x430 + x1294 =E= 0; e1130.. -x927*x431 + x1295 =E= 0; e1131.. -x928*x432 + x1296 =E= 0; e1132.. -x929*x433 + x1297 =E= 0; e1133.. -x930*x434 + x1298 =E= 0; e1134.. -x931*x435 + x1299 =E= 0; e1135.. -x932*x436 + x1300 =E= 0; e1136.. -x933*x437 + x1301 =E= 0; e1137.. -x934*x438 + x1302 =E= 0; e1138.. -x919*x535 + x1303 =E= 0; e1139.. -x920*x536 + x1304 =E= 0; e1140.. -x921*x537 + x1305 =E= 0; e1141.. -x922*x538 + x1306 =E= 0; e1142.. -x923*x539 + x1307 =E= 0; e1143.. -x924*x540 + x1308 =E= 0; e1144.. -x925*x541 + x1309 =E= 0; e1145.. -x926*x542 + x1310 =E= 0; e1146.. -x927*x543 + x1311 =E= 0; e1147.. -x928*x544 + x1312 =E= 0; e1148.. -x929*x545 + x1313 =E= 0; e1149.. -x930*x546 + x1314 =E= 0; e1150.. -x931*x547 + x1315 =E= 0; e1151.. -x932*x548 + x1316 =E= 0; e1152.. -x933*x549 + x1317 =E= 0; e1153.. -x934*x550 + x1318 =E= 0; e1154.. -x919*x551 + x1319 =E= 0; e1155.. -x920*x552 + x1320 =E= 0; e1156.. -x921*x553 + x1321 =E= 0; e1157.. -x922*x554 + x1322 =E= 0; e1158.. -x923*x555 + x1323 =E= 0; e1159.. -x924*x556 + x1324 =E= 0; e1160.. -x925*x557 + x1325 =E= 0; e1161.. -x926*x558 + x1326 =E= 0; e1162.. -x927*x559 + x1327 =E= 0; e1163.. -x928*x560 + x1328 =E= 0; e1164.. -x929*x561 + x1329 =E= 0; e1165.. -x930*x562 + x1330 =E= 0; e1166.. -x931*x563 + x1331 =E= 0; e1167.. -x932*x564 + x1332 =E= 0; e1168.. -x933*x565 + x1333 =E= 0; e1169.. -x934*x566 + x1334 =E= 0; e1170.. -x919*x567 + x1335 =E= 0; e1171.. -x920*x568 + x1336 =E= 0; e1172.. -x921*x569 + x1337 =E= 0; e1173.. -x922*x570 + x1338 =E= 0; e1174.. -x923*x571 + x1339 =E= 0; e1175.. -x924*x572 + x1340 =E= 0; e1176.. -x925*x573 + x1341 =E= 0; e1177.. -x926*x574 + x1342 =E= 0; e1178.. -x927*x575 + x1343 =E= 0; e1179.. -x928*x576 + x1344 =E= 0; e1180.. -x929*x577 + x1345 =E= 0; e1181.. -x930*x578 + x1346 =E= 0; e1182.. -x931*x579 + x1347 =E= 0; e1183.. -x932*x580 + x1348 =E= 0; e1184.. -x933*x581 + x1349 =E= 0; e1185.. -x934*x582 + x1350 =E= 0; e1186.. -x919*x583 + x1351 =E= 0; e1187.. -x920*x584 + x1352 =E= 0; e1188.. -x921*x585 + x1353 =E= 0; e1189.. -x922*x586 + x1354 =E= 0; e1190.. -x923*x587 + x1355 =E= 0; e1191.. -x924*x588 + x1356 =E= 0; e1192.. -x925*x589 + x1357 =E= 0; e1193.. -x926*x590 + x1358 =E= 0; e1194.. -x927*x591 + x1359 =E= 0; e1195.. -x928*x592 + x1360 =E= 0; e1196.. -x929*x593 + x1361 =E= 0; e1197.. -x930*x594 + x1362 =E= 0; e1198.. -x931*x595 + x1363 =E= 0; e1199.. -x932*x596 + x1364 =E= 0; e1200.. -x933*x597 + x1365 =E= 0; e1201.. -x934*x598 + x1366 =E= 0; e1202.. -x935*x407 + x1367 =E= 0; e1203.. -x936*x408 + x1368 =E= 0; e1204.. -x937*x409 + x1369 =E= 0; e1205.. -x938*x410 + x1370 =E= 0; e1206.. -x939*x411 + x1371 =E= 0; e1207.. -x940*x412 + x1372 =E= 0; e1208.. -x941*x413 + x1373 =E= 0; e1209.. -x942*x414 + x1374 =E= 0; e1210.. -x943*x415 + x1375 =E= 0; e1211.. -x944*x416 + x1376 =E= 0; e1212.. -x945*x417 + x1377 =E= 0; e1213.. -x946*x418 + x1378 =E= 0; e1214.. -x947*x419 + x1379 =E= 0; e1215.. -x948*x420 + x1380 =E= 0; e1216.. -x949*x421 + x1381 =E= 0; e1217.. -x950*x422 + x1382 =E= 0; e1218.. -x935*x423 + x1383 =E= 0; e1219.. -x936*x424 + x1384 =E= 0; e1220.. -x937*x425 + x1385 =E= 0; e1221.. -x938*x426 + x1386 =E= 0; e1222.. -x939*x427 + x1387 =E= 0; e1223.. -x940*x428 + x1388 =E= 0; e1224.. -x941*x429 + x1389 =E= 0; e1225.. -x942*x430 + x1390 =E= 0; e1226.. -x943*x431 + x1391 =E= 0; e1227.. -x944*x432 + x1392 =E= 0; e1228.. -x945*x433 + x1393 =E= 0; e1229.. -x946*x434 + x1394 =E= 0; e1230.. -x947*x435 + x1395 =E= 0; e1231.. -x948*x436 + x1396 =E= 0; e1232.. -x949*x437 + x1397 =E= 0; e1233.. -x950*x438 + x1398 =E= 0; e1234.. -x935*x535 + x1399 =E= 0; e1235.. -x936*x536 + x1400 =E= 0; e1236.. -x937*x537 + x1401 =E= 0; e1237.. -x938*x538 + x1402 =E= 0; e1238.. -x939*x539 + x1403 =E= 0; e1239.. -x940*x540 + x1404 =E= 0; e1240.. -x941*x541 + x1405 =E= 0; e1241.. -x942*x542 + x1406 =E= 0; e1242.. -x943*x543 + x1407 =E= 0; e1243.. -x944*x544 + x1408 =E= 0; e1244.. -x945*x545 + x1409 =E= 0; e1245.. -x946*x546 + x1410 =E= 0; e1246.. -x947*x547 + x1411 =E= 0; e1247.. -x948*x548 + x1412 =E= 0; e1248.. -x949*x549 + x1413 =E= 0; e1249.. -x950*x550 + x1414 =E= 0; e1250.. -x935*x551 + x1415 =E= 0; e1251.. -x936*x552 + x1416 =E= 0; e1252.. -x937*x553 + x1417 =E= 0; e1253.. -x938*x554 + x1418 =E= 0; e1254.. -x939*x555 + x1419 =E= 0; e1255.. -x940*x556 + x1420 =E= 0; e1256.. -x941*x557 + x1421 =E= 0; e1257.. -x942*x558 + x1422 =E= 0; e1258.. -x943*x559 + x1423 =E= 0; e1259.. -x944*x560 + x1424 =E= 0; e1260.. -x945*x561 + x1425 =E= 0; e1261.. -x946*x562 + x1426 =E= 0; e1262.. -x947*x563 + x1427 =E= 0; e1263.. -x948*x564 + x1428 =E= 0; e1264.. -x949*x565 + x1429 =E= 0; e1265.. -x950*x566 + x1430 =E= 0; e1266.. -x935*x567 + x1431 =E= 0; e1267.. -x936*x568 + x1432 =E= 0; e1268.. -x937*x569 + x1433 =E= 0; e1269.. -x938*x570 + x1434 =E= 0; e1270.. -x939*x571 + x1435 =E= 0; e1271.. -x940*x572 + x1436 =E= 0; e1272.. -x941*x573 + x1437 =E= 0; e1273.. -x942*x574 + x1438 =E= 0; e1274.. -x943*x575 + x1439 =E= 0; e1275.. -x944*x576 + x1440 =E= 0; e1276.. -x945*x577 + x1441 =E= 0; e1277.. -x946*x578 + x1442 =E= 0; e1278.. -x947*x579 + x1443 =E= 0; e1279.. -x948*x580 + x1444 =E= 0; e1280.. -x949*x581 + x1445 =E= 0; e1281.. -x950*x582 + x1446 =E= 0; e1282.. -x935*x583 + x1447 =E= 0; e1283.. -x936*x584 + x1448 =E= 0; e1284.. -x937*x585 + x1449 =E= 0; e1285.. -x938*x586 + x1450 =E= 0; e1286.. -x939*x587 + x1451 =E= 0; e1287.. -x940*x588 + x1452 =E= 0; e1288.. -x941*x589 + x1453 =E= 0; e1289.. -x942*x590 + x1454 =E= 0; e1290.. -x943*x591 + x1455 =E= 0; e1291.. -x944*x592 + x1456 =E= 0; e1292.. -x945*x593 + x1457 =E= 0; e1293.. -x946*x594 + x1458 =E= 0; e1294.. -x947*x595 + x1459 =E= 0; e1295.. -x948*x596 + x1460 =E= 0; e1296.. -x949*x597 + x1461 =E= 0; e1297.. -x950*x598 + x1462 =E= 0; e1298.. - x311 - x599 + x727 =E= 0; e1299.. - x312 - x600 + x728 =E= 0; e1300.. - x313 - x601 + x729 =E= 0; e1301.. - x314 - x602 + x730 =E= 0; e1302.. - x315 - x603 + x731 =E= 0; e1303.. - x316 - x604 + x732 =E= 0; e1304.. - x317 - x605 + x733 =E= 0; e1305.. - x318 - x606 + x734 =E= 0; e1306.. - x319 - x607 + x735 =E= 0; e1307.. - x320 - x608 + x736 =E= 0; e1308.. - x321 - x609 + x737 =E= 0; e1309.. - x322 - x610 + x738 =E= 0; e1310.. - x323 - x611 + x739 =E= 0; e1311.. - x324 - x612 + x740 =E= 0; e1312.. - x325 - x613 + x741 =E= 0; e1313.. - x326 - x614 + x742 =E= 0; e1314.. - x327 - x615 + x743 =E= 0; e1315.. - x328 - x616 + x744 =E= 0; e1316.. - x329 - x617 + x745 =E= 0; e1317.. - x330 - x618 + x746 =E= 0; e1318.. - x331 - x619 + x747 =E= 0; e1319.. - x332 - x620 + x748 =E= 0; e1320.. - x333 - x621 + x749 =E= 0; e1321.. - x334 - x622 + x750 =E= 0; e1322.. - x335 - x623 + x751 =E= 0; e1323.. - x336 - x624 + x752 =E= 0; e1324.. - x337 - x625 + x753 =E= 0; e1325.. - x338 - x626 + x754 =E= 0; e1326.. - x339 - x627 + x755 =E= 0; e1327.. - x340 - x628 + x756 =E= 0; e1328.. - x341 - x629 + x757 =E= 0; e1329.. - x342 - x630 + x758 =E= 0; e1330.. - x695 + x823 =E= 0; e1331.. - x696 + x824 =E= 0; e1332.. - x697 + x825 =E= 0; e1333.. - x698 + x826 =E= 0; e1334.. - x699 + x827 =E= 0; e1335.. - x700 + x828 =E= 0; e1336.. - x701 + x829 =E= 0; e1337.. - x702 + x830 =E= 0; e1338.. - x703 + x831 =E= 0; e1339.. - x704 + x832 =E= 0; e1340.. - x705 + x833 =E= 0; e1341.. - x706 + x834 =E= 0; e1342.. - x707 + x835 =E= 0; e1343.. - x708 + x836 =E= 0; e1344.. - x709 + x837 =E= 0; e1345.. - x710 + x838 =E= 0; e1346.. - x711 + x839 =E= 0; e1347.. - x712 + x840 =E= 0; e1348.. - x713 + x841 =E= 0; e1349.. - x714 + x842 =E= 0; e1350.. - x715 + x843 =E= 0; e1351.. - x716 + x844 =E= 0; e1352.. - x717 + x845 =E= 0; e1353.. - x718 + x846 =E= 0; e1354.. - x719 + x847 =E= 0; e1355.. - x720 + x848 =E= 0; e1356.. - x721 + x849 =E= 0; e1357.. - x722 + x850 =E= 0; e1358.. - x723 + x851 =E= 0; e1359.. - x724 + x852 =E= 0; e1360.. - x725 + x853 =E= 0; e1361.. - x726 + x854 =E= 0; e1362.. x759 - x1463 =E= 0; e1363.. x760 - x1464 =E= 0; e1364.. x761 - x1465 =E= 0; e1365.. x762 - x1466 =E= 0; e1366.. x763 - x1467 =E= 0; e1367.. x764 - x1468 =E= 0; e1368.. x765 - x1469 =E= 0; e1369.. x766 - x1470 =E= 0; e1370.. x767 - x1471 =E= 0; e1371.. x768 - x1472 =E= 0; e1372.. x769 - x1473 =E= 0; e1373.. x770 - x1474 =E= 0; e1374.. x771 - x1475 =E= 0; e1375.. x772 - x1476 =E= 0; e1376.. x773 - x1477 =E= 0; e1377.. x774 - x1478 =E= 0; e1378.. x775 - x1479 =E= 0; e1379.. x776 - x1480 =E= 0; e1380.. x777 - x1481 =E= 0; e1381.. x778 - x1482 =E= 0; e1382.. x779 - x1483 =E= 0; e1383.. x780 - x1484 =E= 0; e1384.. x781 - x1485 =E= 0; e1385.. x782 - x1486 =E= 0; e1386.. x783 - x1487 =E= 0; e1387.. x784 - x1488 =E= 0; e1388.. x785 - x1489 =E= 0; e1389.. x786 - x1490 =E= 0; e1390.. x787 - x1491 =E= 0; e1391.. x788 - x1492 =E= 0; e1392.. x789 - x1493 =E= 0; e1393.. x790 - x1494 =E= 0; e1394.. x791 - x1495 =E= 0; e1395.. x792 - x1496 =E= 0; e1396.. x793 - x1497 =E= 0; e1397.. x794 - x1498 =E= 0; e1398.. x795 - x1499 =E= 0; e1399.. x796 - x1500 =E= 0; e1400.. x797 - x1501 =E= 0; e1401.. x798 - x1502 =E= 0; e1402.. x799 - x1503 =E= 0; e1403.. x800 - x1504 =E= 0; e1404.. x801 - x1505 =E= 0; e1405.. x802 - x1506 =E= 0; e1406.. x803 - x1507 =E= 0; e1407.. x804 - x1508 =E= 0; e1408.. x805 - x1509 =E= 0; e1409.. x806 - x1510 =E= 0; e1410.. x807 - x1511 =E= 0; e1411.. x808 - x1512 =E= 0; e1412.. x809 - x1513 =E= 0; e1413.. x810 - x1514 =E= 0; e1414.. x811 - x1515 =E= 0; e1415.. x812 - x1516 =E= 0; e1416.. x813 - x1517 =E= 0; e1417.. x814 - x1518 =E= 0; e1418.. x815 - x1519 =E= 0; e1419.. x816 - x1520 =E= 0; e1420.. x817 - x1521 =E= 0; e1421.. x818 - x1522 =E= 0; e1422.. x819 - x1523 =E= 0; e1423.. x820 - x1524 =E= 0; e1424.. x821 - x1525 =E= 0; e1425.. x822 - x1526 =E= 0; e1426.. -x951*x663 + x1463 =E= 0; e1427.. -x952*x664 + x1464 =E= 0; e1428.. -x953*x665 + x1465 =E= 0; e1429.. -x954*x666 + x1466 =E= 0; e1430.. -x955*x667 + x1467 =E= 0; e1431.. -x956*x668 + x1468 =E= 0; e1432.. -x957*x669 + x1469 =E= 0; e1433.. -x958*x670 + x1470 =E= 0; e1434.. -x959*x671 + x1471 =E= 0; e1435.. -x960*x672 + x1472 =E= 0; e1436.. -x961*x673 + x1473 =E= 0; e1437.. -x962*x674 + x1474 =E= 0; e1438.. -x963*x675 + x1475 =E= 0; e1439.. -x964*x676 + x1476 =E= 0; e1440.. -x965*x677 + x1477 =E= 0; e1441.. -x966*x678 + x1478 =E= 0; e1442.. -x951*x679 + x1479 =E= 0; e1443.. -x952*x680 + x1480 =E= 0; e1444.. -x953*x681 + x1481 =E= 0; e1445.. -x954*x682 + x1482 =E= 0; e1446.. -x955*x683 + x1483 =E= 0; e1447.. -x956*x684 + x1484 =E= 0; e1448.. -x957*x685 + x1485 =E= 0; e1449.. -x958*x686 + x1486 =E= 0; e1450.. -x959*x687 + x1487 =E= 0; e1451.. -x960*x688 + x1488 =E= 0; e1452.. -x961*x689 + x1489 =E= 0; e1453.. -x962*x690 + x1490 =E= 0; e1454.. -x963*x691 + x1491 =E= 0; e1455.. -x964*x692 + x1492 =E= 0; e1456.. -x965*x693 + x1493 =E= 0; e1457.. -x966*x694 + x1494 =E= 0; e1458.. -x967*x663 + x1495 =E= 0; e1459.. -x968*x664 + x1496 =E= 0; e1460.. -x969*x665 + x1497 =E= 0; e1461.. -x970*x666 + x1498 =E= 0; e1462.. -x971*x667 + x1499 =E= 0; e1463.. -x972*x668 + x1500 =E= 0; e1464.. -x973*x669 + x1501 =E= 0; e1465.. -x974*x670 + x1502 =E= 0; e1466.. -x975*x671 + x1503 =E= 0; e1467.. -x976*x672 + x1504 =E= 0; e1468.. -x977*x673 + x1505 =E= 0; e1469.. -x978*x674 + x1506 =E= 0; e1470.. -x979*x675 + x1507 =E= 0; e1471.. -x980*x676 + x1508 =E= 0; e1472.. -x981*x677 + x1509 =E= 0; e1473.. -x982*x678 + x1510 =E= 0; e1474.. -x967*x679 + x1511 =E= 0; e1475.. -x968*x680 + x1512 =E= 0; e1476.. -x969*x681 + x1513 =E= 0; e1477.. -x970*x682 + x1514 =E= 0; e1478.. -x971*x683 + x1515 =E= 0; e1479.. -x972*x684 + x1516 =E= 0; e1480.. -x973*x685 + x1517 =E= 0; e1481.. -x974*x686 + x1518 =E= 0; e1482.. -x975*x687 + x1519 =E= 0; e1483.. -x976*x688 + x1520 =E= 0; e1484.. -x977*x689 + x1521 =E= 0; e1485.. -x978*x690 + x1522 =E= 0; e1486.. -x979*x691 + x1523 =E= 0; e1487.. -x980*x692 + x1524 =E= 0; e1488.. -x981*x693 + x1525 =E= 0; e1489.. -x982*x694 + x1526 =E= 0; e1490.. x855 + x871 =E= 1; e1491.. x856 + x872 =E= 1; e1492.. x857 + x873 =E= 1; e1493.. x858 + x874 =E= 1; e1494.. x859 + x875 =E= 1; e1495.. x860 + x876 =E= 1; e1496.. x861 + x877 =E= 1; e1497.. x862 + x878 =E= 1; e1498.. x863 + x879 =E= 1; e1499.. x864 + x880 =E= 1; e1500.. x865 + x881 =E= 1; e1501.. x866 + x882 =E= 1; e1502.. x867 + x883 =E= 1; e1503.. x868 + x884 =E= 1; e1504.. x869 + x885 =E= 1; e1505.. x870 + x886 =E= 1; e1506.. x887 + x903 =E= 1; e1507.. x888 + x904 =E= 1; e1508.. x889 + x905 =E= 1; e1509.. x890 + x906 =E= 1; e1510.. x891 + x907 =E= 1; e1511.. x892 + x908 =E= 1; e1512.. x893 + x909 =E= 1; e1513.. x894 + x910 =E= 1; e1514.. x895 + x911 =E= 1; e1515.. x896 + x912 =E= 1; e1516.. x897 + x913 =E= 1; e1517.. x898 + x914 =E= 1; e1518.. x899 + x915 =E= 1; e1519.. x900 + x916 =E= 1; e1520.. x901 + x917 =E= 1; e1521.. x902 + x918 =E= 1; e1522.. x919 + x935 =E= 1; e1523.. x920 + x936 =E= 1; e1524.. x921 + x937 =E= 1; e1525.. x922 + x938 =E= 1; e1526.. x923 + x939 =E= 1; e1527.. x924 + x940 =E= 1; e1528.. x925 + x941 =E= 1; e1529.. x926 + x942 =E= 1; e1530.. x927 + x943 =E= 1; e1531.. x928 + x944 =E= 1; e1532.. x929 + x945 =E= 1; e1533.. x930 + x946 =E= 1; e1534.. x931 + x947 =E= 1; e1535.. x932 + x948 =E= 1; e1536.. x933 + x949 =E= 1; e1537.. x934 + x950 =E= 1; e1538.. x951 + x967 =E= 1; e1539.. x952 + x968 =E= 1; e1540.. x953 + x969 =E= 1; e1541.. x954 + x970 =E= 1; e1542.. x955 + x971 =E= 1; e1543.. x956 + x972 =E= 1; e1544.. x957 + x973 =E= 1; e1545.. x958 + x974 =E= 1; e1546.. x959 + x975 =E= 1; e1547.. x960 + x976 =E= 1; e1548.. x961 + x977 =E= 1; e1549.. x962 + x978 =E= 1; e1550.. x963 + x979 =E= 1; e1551.. x964 + x980 =E= 1; e1552.. x965 + x981 =E= 1; e1553.. x966 + x982 =E= 1; e1554.. - x311 - x327 =G= -255; e1555.. - x312 - x328 =G= -255; e1556.. - x313 - x329 =G= -255; e1557.. - x314 - x330 =G= -255; e1558.. - x315 - x331 =G= -255; e1559.. - x316 - x332 =G= -255; e1560.. - x317 - x333 =G= -255; e1561.. - x318 - x334 =G= -255; e1562.. - x319 - x335 =G= -255; e1563.. - x320 - x336 =G= -255; e1564.. - x321 - x337 =G= -255; e1565.. - x322 - x338 =G= -255; e1566.. - x323 - x339 =G= -255; e1567.. - x324 - x340 =G= -255; e1568.. - x325 - x341 =G= -255; e1569.. - x326 - x342 =G= -255; e1570.. - x343 - x359 =G= -546; e1571.. - x344 - x360 =G= -546; e1572.. - x345 - x361 =G= -546; e1573.. - x346 - x362 =G= -546; e1574.. - x347 - x363 =G= -546; e1575.. - x348 - x364 =G= -546; e1576.. - x349 - x365 =G= -546; e1577.. - x350 - x366 =G= -546; e1578.. - x351 - x367 =G= -546; e1579.. - x352 - x368 =G= -546; e1580.. - x353 - x369 =G= -546; e1581.. - x354 - x370 =G= -546; e1582.. - x355 - x371 =G= -546; e1583.. - x356 - x372 =G= -546; e1584.. - x357 - x373 =G= -546; e1585.. - x358 - x374 =G= -546; e1586.. - x375 - x391 =G= -1331; e1587.. - x376 - x392 =G= -1331; e1588.. - x377 - x393 =G= -1331; e1589.. - x378 - x394 =G= -1331; e1590.. - x379 - x395 =G= -1331; e1591.. - x380 - x396 =G= -1331; e1592.. - x381 - x397 =G= -1331; e1593.. - x382 - x398 =G= -1331; e1594.. - x383 - x399 =G= -1331; e1595.. - x384 - x400 =G= -1331; e1596.. - x385 - x401 =G= -1331; e1597.. - x386 - x402 =G= -1331; e1598.. - x387 - x403 =G= -1331; e1599.. - x388 - x404 =G= -1331; e1600.. - x389 - x405 =G= -1331; e1601.. - x390 - x406 =G= -1331; e1602.. - x599 - x615 =G= -1400; e1603.. - x600 - x616 =G= -1400; e1604.. - x601 - x617 =G= -1400; e1605.. - x602 - x618 =G= -1400; e1606.. - x603 - x619 =G= -1400; e1607.. - x604 - x620 =G= -1400; e1608.. - x605 - x621 =G= -1400; e1609.. - x606 - x622 =G= -1400; e1610.. - x607 - x623 =G= -1400; e1611.. - x608 - x624 =G= -1400; e1612.. - x609 - x625 =G= -1400; e1613.. - x610 - x626 =G= -1400; e1614.. - x611 - x627 =G= -1400; e1615.. - x612 - x628 =G= -1400; e1616.. - x613 - x629 =G= -1400; e1617.. - x614 - x630 =G= -1400; e1618.. 600*b25 - x407 - x423 =G= 0; e1619.. 600*b25 - x408 - x424 =G= 0; e1620.. 600*b25 - x409 - x425 =G= 0; e1621.. 600*b25 - x410 - x426 =G= 0; e1622.. 600*b25 - x411 - x427 =G= 0; e1623.. 600*b25 - x412 - x428 =G= 0; e1624.. 600*b25 - x413 - x429 =G= 0; e1625.. 600*b25 - x414 - x430 =G= 0; e1626.. 600*b25 - x415 - x431 =G= 0; e1627.. 600*b25 - x416 - x432 =G= 0; e1628.. 600*b25 - x417 - x433 =G= 0; e1629.. 600*b25 - x418 - x434 =G= 0; e1630.. 600*b25 - x419 - x435 =G= 0; e1631.. 600*b25 - x420 - x436 =G= 0; e1632.. 600*b25 - x421 - x437 =G= 0; e1633.. 600*b25 - x422 - x438 =G= 0; e1634.. 1509*b26 - x439 - x455 =G= 0; e1635.. 1509*b26 - x440 - x456 =G= 0; e1636.. 1509*b26 - x441 - x457 =G= 0; e1637.. 1509*b26 - x442 - x458 =G= 0; e1638.. 1509*b26 - x443 - x459 =G= 0; e1639.. 1509*b26 - x444 - x460 =G= 0; e1640.. 1509*b26 - x445 - x461 =G= 0; e1641.. 1509*b26 - x446 - x462 =G= 0; e1642.. 1509*b26 - x447 - x463 =G= 0; e1643.. 1509*b26 - x448 - x464 =G= 0; e1644.. 1509*b26 - x449 - x465 =G= 0; e1645.. 1509*b26 - x450 - x466 =G= 0; e1646.. 1509*b26 - x451 - x467 =G= 0; e1647.. 1509*b26 - x452 - x468 =G= 0; e1648.. 1509*b26 - x453 - x469 =G= 0; e1649.. 1509*b26 - x454 - x470 =G= 0; e1650.. 2200*b27 - x471 - x487 =G= 0; e1651.. 2200*b27 - x472 - x488 =G= 0; e1652.. 2200*b27 - x473 - x489 =G= 0; e1653.. 2200*b27 - x474 - x490 =G= 0; e1654.. 2200*b27 - x475 - x491 =G= 0; e1655.. 2200*b27 - x476 - x492 =G= 0; e1656.. 2200*b27 - x477 - x493 =G= 0; e1657.. 2200*b27 - x478 - x494 =G= 0; e1658.. 2200*b27 - x479 - x495 =G= 0; e1659.. 2200*b27 - x480 - x496 =G= 0; e1660.. 2200*b27 - x481 - x497 =G= 0; e1661.. 2200*b27 - x482 - x498 =G= 0; e1662.. 2200*b27 - x483 - x499 =G= 0; e1663.. 2200*b27 - x484 - x500 =G= 0; e1664.. 2200*b27 - x485 - x501 =G= 0; e1665.. 2200*b27 - x486 - x502 =G= 0; e1666.. 900*b28 - x503 - x519 =G= 0; e1667.. 900*b28 - x504 - x520 =G= 0; e1668.. 900*b28 - x505 - x521 =G= 0; e1669.. 900*b28 - x506 - x522 =G= 0; e1670.. 900*b28 - x507 - x523 =G= 0; e1671.. 900*b28 - x508 - x524 =G= 0; e1672.. 900*b28 - x509 - x525 =G= 0; e1673.. 900*b28 - x510 - x526 =G= 0; e1674.. 900*b28 - x511 - x527 =G= 0; e1675.. 900*b28 - x512 - x528 =G= 0; e1676.. 900*b28 - x513 - x529 =G= 0; e1677.. 900*b28 - x514 - x530 =G= 0; e1678.. 900*b28 - x515 - x531 =G= 0; e1679.. 900*b28 - x516 - x532 =G= 0; e1680.. 900*b28 - x517 - x533 =G= 0; e1681.. 900*b28 - x518 - x534 =G= 0; e1682.. 2200*b29 - x535 - x551 =G= 0; e1683.. 2200*b29 - x536 - x552 =G= 0; e1684.. 2200*b29 - x537 - x553 =G= 0; e1685.. 2200*b29 - x538 - x554 =G= 0; e1686.. 2200*b29 - x539 - x555 =G= 0; e1687.. 2200*b29 - x540 - x556 =G= 0; e1688.. 2200*b29 - x541 - x557 =G= 0; e1689.. 2200*b29 - x542 - x558 =G= 0; e1690.. 2200*b29 - x543 - x559 =G= 0; e1691.. 2200*b29 - x544 - x560 =G= 0; e1692.. 2200*b29 - x545 - x561 =G= 0; e1693.. 2200*b29 - x546 - x562 =G= 0; e1694.. 2200*b29 - x547 - x563 =G= 0; e1695.. 2200*b29 - x548 - x564 =G= 0; e1696.. 2200*b29 - x549 - x565 =G= 0; e1697.. 2200*b29 - x550 - x566 =G= 0; e1698.. 950*b30 - x567 - x583 =G= 0; e1699.. 950*b30 - x568 - x584 =G= 0; e1700.. 950*b30 - x569 - x585 =G= 0; e1701.. 950*b30 - x570 - x586 =G= 0; e1702.. 950*b30 - x571 - x587 =G= 0; e1703.. 950*b30 - x572 - x588 =G= 0; e1704.. 950*b30 - x573 - x589 =G= 0; e1705.. 950*b30 - x574 - x590 =G= 0; e1706.. 950*b30 - x575 - x591 =G= 0; e1707.. 950*b30 - x576 - x592 =G= 0; e1708.. 950*b30 - x577 - x593 =G= 0; e1709.. 950*b30 - x578 - x594 =G= 0; e1710.. 950*b30 - x579 - x595 =G= 0; e1711.. 950*b30 - x580 - x596 =G= 0; e1712.. 950*b30 - x581 - x597 =G= 0; e1713.. 950*b30 - x582 - x598 =G= 0; e1714.. 720*b31 - x631 - x647 =G= 0; e1715.. 720*b31 - x632 - x648 =G= 0; e1716.. 720*b31 - x633 - x649 =G= 0; e1717.. 720*b31 - x634 - x650 =G= 0; e1718.. 720*b31 - x635 - x651 =G= 0; e1719.. 720*b31 - x636 - x652 =G= 0; e1720.. 720*b31 - x637 - x653 =G= 0; e1721.. 720*b31 - x638 - x654 =G= 0; e1722.. 720*b31 - x639 - x655 =G= 0; e1723.. 720*b31 - x640 - x656 =G= 0; e1724.. 720*b31 - x641 - x657 =G= 0; e1725.. 720*b31 - x642 - x658 =G= 0; e1726.. 720*b31 - x643 - x659 =G= 0; e1727.. 720*b31 - x644 - x660 =G= 0; e1728.. 720*b31 - x645 - x661 =G= 0; e1729.. 720*b31 - x646 - x662 =G= 0; e1730.. 3000*b32 - x663 - x679 =G= 0; e1731.. 3000*b32 - x664 - x680 =G= 0; e1732.. 3000*b32 - x665 - x681 =G= 0; e1733.. 3000*b32 - x666 - x682 =G= 0; e1734.. 3000*b32 - x667 - x683 =G= 0; e1735.. 3000*b32 - x668 - x684 =G= 0; e1736.. 3000*b32 - x669 - x685 =G= 0; e1737.. 3000*b32 - x670 - x686 =G= 0; e1738.. 3000*b32 - x671 - x687 =G= 0; e1739.. 3000*b32 - x672 - x688 =G= 0; e1740.. 3000*b32 - x673 - x689 =G= 0; e1741.. 3000*b32 - x674 - x690 =G= 0; e1742.. 3000*b32 - x675 - x691 =G= 0; e1743.. 3000*b32 - x676 - x692 =G= 0; e1744.. 3000*b32 - x677 - x693 =G= 0; e1745.. 3000*b32 - x678 - x694 =G= 0; e1746.. 1800*b33 - x695 - x711 =G= 0; e1747.. 1800*b33 - x696 - x712 =G= 0; e1748.. 1800*b33 - x697 - x713 =G= 0; e1749.. 1800*b33 - x698 - x714 =G= 0; e1750.. 1800*b33 - x699 - x715 =G= 0; e1751.. 1800*b33 - x700 - x716 =G= 0; e1752.. 1800*b33 - x701 - x717 =G= 0; e1753.. 1800*b33 - x702 - x718 =G= 0; e1754.. 1800*b33 - x703 - x719 =G= 0; e1755.. 1800*b33 - x704 - x720 =G= 0; e1756.. 1800*b33 - x705 - x721 =G= 0; e1757.. 1800*b33 - x706 - x722 =G= 0; e1758.. 1800*b33 - x707 - x723 =G= 0; e1759.. 1800*b33 - x708 - x724 =G= 0; e1760.. 1800*b33 - x709 - x725 =G= 0; e1761.. 1800*b33 - x710 - x726 =G= 0; e1762.. - x727 - x743 =G= -1400; e1763.. - x728 - x744 =G= -1400; e1764.. - x729 - x745 =G= -1400; e1765.. - x730 - x746 =G= -1400; e1766.. - x731 - x747 =G= -1400; e1767.. - x732 - x748 =G= -1400; e1768.. - x733 - x749 =G= -1400; e1769.. - x734 - x750 =G= -1400; e1770.. - x735 - x751 =G= -1400; e1771.. - x736 - x752 =G= -1400; e1772.. - x737 - x753 =G= -1400; e1773.. - x738 - x754 =G= -1400; e1774.. - x739 - x755 =G= -1400; e1775.. - x740 - x756 =G= -1400; e1776.. - x741 - x757 =G= -1400; e1777.. - x742 - x758 =G= -1400; e1778.. 2200*b34 - x759 - x775 =G= 0; e1779.. 2200*b34 - x760 - x776 =G= 0; e1780.. 2200*b34 - x761 - x777 =G= 0; e1781.. 2200*b34 - x762 - x778 =G= 0; e1782.. 2200*b34 - x763 - x779 =G= 0; e1783.. 2200*b34 - x764 - x780 =G= 0; e1784.. 2200*b34 - x765 - x781 =G= 0; e1785.. 2200*b34 - x766 - x782 =G= 0; e1786.. 2200*b34 - x767 - x783 =G= 0; e1787.. 2200*b34 - x768 - x784 =G= 0; e1788.. 2200*b34 - x769 - x785 =G= 0; e1789.. 2200*b34 - x770 - x786 =G= 0; e1790.. 2200*b34 - x771 - x787 =G= 0; e1791.. 2200*b34 - x772 - x788 =G= 0; e1792.. 2200*b34 - x773 - x789 =G= 0; e1793.. 2200*b34 - x774 - x790 =G= 0; e1794.. 800*b35 - x791 - x807 =G= 0; e1795.. 800*b35 - x792 - x808 =G= 0; e1796.. 800*b35 - x793 - x809 =G= 0; e1797.. 800*b35 - x794 - x810 =G= 0; e1798.. 800*b35 - x795 - x811 =G= 0; e1799.. 800*b35 - x796 - x812 =G= 0; e1800.. 800*b35 - x797 - x813 =G= 0; e1801.. 800*b35 - x798 - x814 =G= 0; e1802.. 800*b35 - x799 - x815 =G= 0; e1803.. 800*b35 - x800 - x816 =G= 0; e1804.. 800*b35 - x801 - x817 =G= 0; e1805.. 800*b35 - x802 - x818 =G= 0; e1806.. 800*b35 - x803 - x819 =G= 0; e1807.. 800*b35 - x804 - x820 =G= 0; e1808.. 800*b35 - x805 - x821 =G= 0; e1809.. 800*b35 - x806 - x822 =G= 0; e1810.. 1800*b36 - x823 - x839 =G= 0; e1811.. 1800*b36 - x824 - x840 =G= 0; e1812.. 1800*b36 - x825 - x841 =G= 0; e1813.. 1800*b36 - x826 - x842 =G= 0; e1814.. 1800*b36 - x827 - x843 =G= 0; e1815.. 1800*b36 - x828 - x844 =G= 0; e1816.. 1800*b36 - x829 - x845 =G= 0; e1817.. 1800*b36 - x830 - x846 =G= 0; e1818.. 1800*b36 - x831 - x847 =G= 0; e1819.. 1800*b36 - x832 - x848 =G= 0; e1820.. 1800*b36 - x833 - x849 =G= 0; e1821.. 1800*b36 - x834 - x850 =G= 0; e1822.. 1800*b36 - x835 - x851 =G= 0; e1823.. 1800*b36 - x836 - x852 =G= 0; e1824.. 1800*b36 - x837 - x853 =G= 0; e1825.. 1800*b36 - x838 - x854 =G= 0; e1826.. - b8 + b17 =G= 0; e1827.. - b9 + b17 =G= 0; e1828.. - b10 + b21 =G= 0; e1829.. - b11 + b18 =G= 0; e1830.. - b12 + b18 =G= 0; e1831.. - b13 + b18 =G= 0; e1832.. - b14 + b19 =G= 0; e1833.. - b15 + b19 =G= 0; e1834.. - b16 + b22 =G= 0; e1835.. b21 - b25 =G= 0; e1836.. b20 - b26 =G= 0; e1837.. b20 - b27 =G= 0; e1838.. b22 - b28 =G= 0; e1839.. b21 - b29 =G= 0; e1840.. b21 - b30 =G= 0; e1841.. b22 - b31 =G= 0; e1842.. b23 - b32 =G= 0; e1843.. b24 - b33 =G= 0; e1844.. b17 - b25 =G= 0; e1845.. b18 - b26 =G= 0; e1846.. b19 - b27 =G= 0; e1847.. b19 - b28 =G= 0; e1848.. b20 - b29 =G= 0; e1849.. b21 - b31 =G= 0; e1850.. b21 - b32 =G= 0; e1851.. b22 - b33 =G= 0; e1852.. b23 - b34 =G= 0; e1853.. b23 - b35 =G= 0; e1854.. b24 - b36 =G= 0; e1855.. b8 + b9 - b17 =G= 0; e1856.. b11 + b12 + b13 - b18 =G= 0; e1857.. b14 + b15 - b19 =G= 0; e1858.. - b20 + b26 + b27 =G= 0; e1859.. b10 - b21 + b25 + b29 + b30 =G= 0; e1860.. b16 - b22 + b28 + b31 =G= 0; e1861.. - b23 + b32 =G= 0; e1862.. - b24 + b33 =G= 0; e1863.. - b17 + b25 =G= 0; e1864.. - b18 + b26 =G= 0; e1865.. - b19 + b27 + b28 =G= 0; e1866.. - b20 + b29 =G= 0; e1867.. - b21 + b31 + b32 =G= 0; e1868.. - b22 + b33 =G= 0; e1869.. - b23 + b34 + b35 =G= 0; e1870.. - b24 + b36 =G= 0; e1871.. - x727 - x743 =G= -1100; e1872.. - x728 - x744 =G= -1100; e1873.. - x729 - x745 =G= -1100; e1874.. - x730 - x746 =G= -1100; e1875.. - x731 - x747 =G= -1100; e1876.. - x732 - x748 =G= -1100; e1877.. - x733 - x749 =G= -1100; e1878.. - x734 - x750 =G= -1100; e1879.. - x735 - x751 =G= -1100; e1880.. - x736 - x752 =G= -1100; e1881.. - x737 - x753 =G= -1100; e1882.. - x738 - x754 =G= -1100; e1883.. - x739 - x755 =G= -1100; e1884.. - x740 - x756 =G= -1100; e1885.. - x741 - x757 =G= -1100; e1886.. - x742 - x758 =G= -1100; e1887.. 1800*b37 - x759 - x775 =G= 0; e1888.. 1800*b37 - x760 - x776 =G= 0; e1889.. 1800*b37 - x761 - x777 =G= 0; e1890.. 1800*b37 - x762 - x778 =G= 0; e1891.. 1800*b37 - x763 - x779 =G= 0; e1892.. 1800*b37 - x764 - x780 =G= 0; e1893.. 1800*b37 - x765 - x781 =G= 0; e1894.. 1800*b37 - x766 - x782 =G= 0; e1895.. 1800*b37 - x767 - x783 =G= 0; e1896.. 1800*b37 - x768 - x784 =G= 0; e1897.. 1800*b37 - x769 - x785 =G= 0; e1898.. 1800*b37 - x770 - x786 =G= 0; e1899.. 1800*b37 - x771 - x787 =G= 0; e1900.. 1800*b37 - x772 - x788 =G= 0; e1901.. 1800*b37 - x773 - x789 =G= 0; e1902.. 1800*b37 - x774 - x790 =G= 0; e1903.. 2400*b38 - x791 - x807 - x823 - x839 =G= 0; e1904.. 2400*b38 - x792 - x808 - x824 - x840 =G= 0; e1905.. 2400*b38 - x793 - x809 - x825 - x841 =G= 0; e1906.. 2400*b38 - x794 - x810 - x826 - x842 =G= 0; e1907.. 2400*b38 - x795 - x811 - x827 - x843 =G= 0; e1908.. 2400*b38 - x796 - x812 - x828 - x844 =G= 0; e1909.. 2400*b38 - x797 - x813 - x829 - x845 =G= 0; e1910.. 2400*b38 - x798 - x814 - x830 - x846 =G= 0; e1911.. 2400*b38 - x799 - x815 - x831 - x847 =G= 0; e1912.. 2400*b38 - x800 - x816 - x832 - x848 =G= 0; e1913.. 2400*b38 - x801 - x817 - x833 - x849 =G= 0; e1914.. 2400*b38 - x802 - x818 - x834 - x850 =G= 0; e1915.. 2400*b38 - x803 - x819 - x835 - x851 =G= 0; e1916.. 2400*b38 - x804 - x820 - x836 - x852 =G= 0; e1917.. 2400*b38 - x805 - x821 - x837 - x853 =G= 0; e1918.. 2400*b38 - x806 - x822 - x838 - x854 =G= 0; e1919.. 0.972*x727 - 0.028*x743 =L= 0; e1920.. 0.972*x728 - 0.028*x744 =L= 0; e1921.. 0.972*x729 - 0.028*x745 =L= 0; e1922.. 0.972*x730 - 0.028*x746 =L= 0; e1923.. 0.972*x731 - 0.028*x747 =L= 0; e1924.. 0.972*x732 - 0.028*x748 =L= 0; e1925.. 0.972*x733 - 0.028*x749 =L= 0; e1926.. 0.972*x734 - 0.028*x750 =L= 0; e1927.. 0.972*x735 - 0.028*x751 =L= 0; e1928.. 0.972*x736 - 0.028*x752 =L= 0; e1929.. 0.972*x737 - 0.028*x753 =L= 0; e1930.. 0.972*x738 - 0.028*x754 =L= 0; e1931.. 0.972*x739 - 0.028*x755 =L= 0; e1932.. 0.972*x740 - 0.028*x756 =L= 0; e1933.. 0.972*x741 - 0.028*x757 =L= 0; e1934.. 0.972*x742 - 0.028*x758 =L= 0; e1935.. 0.972*x759 - 0.028*x775 =L= 0; e1936.. 0.972*x760 - 0.028*x776 =L= 0; e1937.. 0.972*x761 - 0.028*x777 =L= 0; e1938.. 0.972*x762 - 0.028*x778 =L= 0; e1939.. 0.972*x763 - 0.028*x779 =L= 0; e1940.. 0.972*x764 - 0.028*x780 =L= 0; e1941.. 0.972*x765 - 0.028*x781 =L= 0; e1942.. 0.972*x766 - 0.028*x782 =L= 0; e1943.. 0.972*x767 - 0.028*x783 =L= 0; e1944.. 0.972*x768 - 0.028*x784 =L= 0; e1945.. 0.972*x769 - 0.028*x785 =L= 0; e1946.. 0.972*x770 - 0.028*x786 =L= 0; e1947.. 0.972*x771 - 0.028*x787 =L= 0; e1948.. 0.972*x772 - 0.028*x788 =L= 0; e1949.. 0.972*x773 - 0.028*x789 =L= 0; e1950.. 0.972*x774 - 0.028*x790 =L= 0; e1951.. 0.972*x791 - 0.028*x807 + 0.972*x823 - 0.028*x839 =L= 0; e1952.. 0.972*x792 - 0.028*x808 + 0.972*x824 - 0.028*x840 =L= 0; e1953.. 0.972*x793 - 0.028*x809 + 0.972*x825 - 0.028*x841 =L= 0; e1954.. 0.972*x794 - 0.028*x810 + 0.972*x826 - 0.028*x842 =L= 0; e1955.. 0.972*x795 - 0.028*x811 + 0.972*x827 - 0.028*x843 =L= 0; e1956.. 0.972*x796 - 0.028*x812 + 0.972*x828 - 0.028*x844 =L= 0; e1957.. 0.972*x797 - 0.028*x813 + 0.972*x829 - 0.028*x845 =L= 0; e1958.. 0.972*x798 - 0.028*x814 + 0.972*x830 - 0.028*x846 =L= 0; e1959.. 0.972*x799 - 0.028*x815 + 0.972*x831 - 0.028*x847 =L= 0; e1960.. 0.972*x800 - 0.028*x816 + 0.972*x832 - 0.028*x848 =L= 0; e1961.. 0.972*x801 - 0.028*x817 + 0.972*x833 - 0.028*x849 =L= 0; e1962.. 0.972*x802 - 0.028*x818 + 0.972*x834 - 0.028*x850 =L= 0; e1963.. 0.972*x803 - 0.028*x819 + 0.972*x835 - 0.028*x851 =L= 0; e1964.. 0.972*x804 - 0.028*x820 + 0.972*x836 - 0.028*x852 =L= 0; e1965.. 0.972*x805 - 0.028*x821 + 0.972*x837 - 0.028*x853 =L= 0; e1966.. 0.972*x806 - 0.028*x822 + 0.972*x838 - 0.028*x854 =L= 0; e1967.. - b34 + b37 =G= 0; e1968.. - b35 + b38 =G= 0; e1969.. - b36 + b38 =G= 0; e1970.. b34 - b37 =G= 0; e1971.. b35 + b36 - b38 =G= 0; e1972.. b1 - b8 =E= 0; e1973.. - b8 + b17 =E= 0; e1974.. b4 - b12 =E= 0; e1975.. - b12 + b18 =E= 0; e1976.. b6 - b14 =E= 0; e1977.. - b14 + b19 =E= 0; e1978.. b23 - b34 =E= 0; e1979.. - b34 + b37 =E= 0; e1980.. b24 - b36 =E= 0; e1981.. - b36 + b38 =E= 0; e1982.. - x103 + x1047 + x1079 =E= 0; e1983.. - x104 + x1048 + x1080 =E= 0; e1984.. - x105 + x1049 + x1081 =E= 0; e1985.. - x106 + x1050 + x1082 =E= 0; e1986.. - x107 + x1051 + x1083 =E= 0; e1987.. - x108 + x1052 + x1084 =E= 0; e1988.. - x109 + x1053 + x1085 =E= 0; e1989.. - x110 + x1054 + x1086 =E= 0; e1990.. - x111 + x1055 + x1087 =E= 0; e1991.. - x112 + x1056 + x1088 =E= 0; e1992.. - x113 + x1057 + x1089 =E= 0; e1993.. - x114 + x1058 + x1090 =E= 0; e1994.. - x115 + x1059 + x1091 =E= 0; e1995.. - x116 + x1060 + x1092 =E= 0; e1996.. - x117 + x1061 + x1093 =E= 0; e1997.. - x118 + x1062 + x1094 =E= 0; e1998.. - x151 + x1063 + x1095 =E= 0; e1999.. - x152 + x1064 + x1096 =E= 0; e2000.. - x153 + x1065 + x1097 =E= 0; e2001.. - x154 + x1066 + x1098 =E= 0; e2002.. - x155 + x1067 + x1099 =E= 0; e2003.. - x156 + x1068 + x1100 =E= 0; e2004.. - x157 + x1069 + x1101 =E= 0; e2005.. - x158 + x1070 + x1102 =E= 0; e2006.. - x159 + x1071 + x1103 =E= 0; e2007.. - x160 + x1072 + x1104 =E= 0; e2008.. - x161 + x1073 + x1105 =E= 0; e2009.. - x162 + x1074 + x1106 =E= 0; e2010.. - x163 + x1075 + x1107 =E= 0; e2011.. - x164 + x1076 + x1108 =E= 0; e2012.. - x165 + x1077 + x1109 =E= 0; e2013.. - x166 + x1078 + x1110 =E= 0; e2014.. - x199 + x1111 + x1127 =E= 0; e2015.. - x200 + x1112 + x1128 =E= 0; e2016.. - x201 + x1113 + x1129 =E= 0; e2017.. - x202 + x1114 + x1130 =E= 0; e2018.. - x203 + x1115 + x1131 =E= 0; e2019.. - x204 + x1116 + x1132 =E= 0; e2020.. - x205 + x1117 + x1133 =E= 0; e2021.. - x206 + x1118 + x1134 =E= 0; e2022.. - x207 + x1119 + x1135 =E= 0; e2023.. - x208 + x1120 + x1136 =E= 0; e2024.. - x209 + x1121 + x1137 =E= 0; e2025.. - x210 + x1122 + x1138 =E= 0; e2026.. - x211 + x1123 + x1139 =E= 0; e2027.. - x212 + x1124 + x1140 =E= 0; e2028.. - x213 + x1125 + x1141 =E= 0; e2029.. - x214 + x1126 + x1142 =E= 0; e2030.. - x263 + x983 + x1015 =E= 0; e2031.. - x264 + x984 + x1016 =E= 0; e2032.. - x265 + x985 + x1017 =E= 0; e2033.. - x266 + x986 + x1018 =E= 0; e2034.. - x267 + x987 + x1019 =E= 0; e2035.. - x268 + x988 + x1020 =E= 0; e2036.. - x269 + x989 + x1021 =E= 0; e2037.. - x270 + x990 + x1022 =E= 0; e2038.. - x271 + x991 + x1023 =E= 0; e2039.. - x272 + x992 + x1024 =E= 0; e2040.. - x273 + x993 + x1025 =E= 0; e2041.. - x274 + x994 + x1026 =E= 0; e2042.. - x275 + x995 + x1027 =E= 0; e2043.. - x276 + x996 + x1028 =E= 0; e2044.. - x277 + x997 + x1029 =E= 0; e2045.. - x278 + x998 + x1030 =E= 0; e2046.. - x279 + x999 + x1031 =E= 0; e2047.. - x280 + x1000 + x1032 =E= 0; e2048.. - x281 + x1001 + x1033 =E= 0; e2049.. - x282 + x1002 + x1034 =E= 0; e2050.. - x283 + x1003 + x1035 =E= 0; e2051.. - x284 + x1004 + x1036 =E= 0; e2052.. - x285 + x1005 + x1037 =E= 0; e2053.. - x286 + x1006 + x1038 =E= 0; e2054.. - x287 + x1007 + x1039 =E= 0; e2055.. - x288 + x1008 + x1040 =E= 0; e2056.. - x289 + x1009 + x1041 =E= 0; e2057.. - x290 + x1010 + x1042 =E= 0; e2058.. - x291 + x1011 + x1043 =E= 0; e2059.. - x292 + x1012 + x1044 =E= 0; e2060.. - x293 + x1013 + x1045 =E= 0; e2061.. - x294 + x1014 + x1046 =E= 0; e2062.. - x343 + x1143 + x1207 =E= 0; e2063.. - x344 + x1144 + x1208 =E= 0; e2064.. - x345 + x1145 + x1209 =E= 0; e2065.. - x346 + x1146 + x1210 =E= 0; e2066.. - x347 + x1147 + x1211 =E= 0; e2067.. - x348 + x1148 + x1212 =E= 0; e2068.. - x349 + x1149 + x1213 =E= 0; e2069.. - x350 + x1150 + x1214 =E= 0; e2070.. - x351 + x1151 + x1215 =E= 0; e2071.. - x352 + x1152 + x1216 =E= 0; e2072.. - x353 + x1153 + x1217 =E= 0; e2073.. - x354 + x1154 + x1218 =E= 0; e2074.. - x355 + x1155 + x1219 =E= 0; e2075.. - x356 + x1156 + x1220 =E= 0; e2076.. - x357 + x1157 + x1221 =E= 0; e2077.. - x358 + x1158 + x1222 =E= 0; e2078.. - x359 + x1159 + x1223 =E= 0; e2079.. - x360 + x1160 + x1224 =E= 0; e2080.. - x361 + x1161 + x1225 =E= 0; e2081.. - x362 + x1162 + x1226 =E= 0; e2082.. - x363 + x1163 + x1227 =E= 0; e2083.. - x364 + x1164 + x1228 =E= 0; e2084.. - x365 + x1165 + x1229 =E= 0; e2085.. - x366 + x1166 + x1230 =E= 0; e2086.. - x367 + x1167 + x1231 =E= 0; e2087.. - x368 + x1168 + x1232 =E= 0; e2088.. - x369 + x1169 + x1233 =E= 0; e2089.. - x370 + x1170 + x1234 =E= 0; e2090.. - x371 + x1171 + x1235 =E= 0; e2091.. - x372 + x1172 + x1236 =E= 0; e2092.. - x373 + x1173 + x1237 =E= 0; e2093.. - x374 + x1174 + x1238 =E= 0; e2094.. - x375 + x1175 + x1239 =E= 0; e2095.. - x376 + x1176 + x1240 =E= 0; e2096.. - x377 + x1177 + x1241 =E= 0; e2097.. - x378 + x1178 + x1242 =E= 0; e2098.. - x379 + x1179 + x1243 =E= 0; e2099.. - x380 + x1180 + x1244 =E= 0; e2100.. - x381 + x1181 + x1245 =E= 0; e2101.. - x382 + x1182 + x1246 =E= 0; e2102.. - x383 + x1183 + x1247 =E= 0; e2103.. - x384 + x1184 + x1248 =E= 0; e2104.. - x385 + x1185 + x1249 =E= 0; e2105.. - x386 + x1186 + x1250 =E= 0; e2106.. - x387 + x1187 + x1251 =E= 0; e2107.. - x388 + x1188 + x1252 =E= 0; e2108.. - x389 + x1189 + x1253 =E= 0; e2109.. - x390 + x1190 + x1254 =E= 0; e2110.. - x391 + x1191 + x1255 =E= 0; e2111.. - x392 + x1192 + x1256 =E= 0; e2112.. - x393 + x1193 + x1257 =E= 0; e2113.. - x394 + x1194 + x1258 =E= 0; e2114.. - x395 + x1195 + x1259 =E= 0; e2115.. - x396 + x1196 + x1260 =E= 0; e2116.. - x397 + x1197 + x1261 =E= 0; e2117.. - x398 + x1198 + x1262 =E= 0; e2118.. - x399 + x1199 + x1263 =E= 0; e2119.. - x400 + x1200 + x1264 =E= 0; e2120.. - x401 + x1201 + x1265 =E= 0; e2121.. - x402 + x1202 + x1266 =E= 0; e2122.. - x403 + x1203 + x1267 =E= 0; e2123.. - x404 + x1204 + x1268 =E= 0; e2124.. - x405 + x1205 + x1269 =E= 0; e2125.. - x406 + x1206 + x1270 =E= 0; e2126.. - x407 + x1271 + x1367 =E= 0; e2127.. - x408 + x1272 + x1368 =E= 0; e2128.. - x409 + x1273 + x1369 =E= 0; e2129.. - x410 + x1274 + x1370 =E= 0; e2130.. - x411 + x1275 + x1371 =E= 0; e2131.. - x412 + x1276 + x1372 =E= 0; e2132.. - x413 + x1277 + x1373 =E= 0; e2133.. - x414 + x1278 + x1374 =E= 0; e2134.. - x415 + x1279 + x1375 =E= 0; e2135.. - x416 + x1280 + x1376 =E= 0; e2136.. - x417 + x1281 + x1377 =E= 0; e2137.. - x418 + x1282 + x1378 =E= 0; e2138.. - x419 + x1283 + x1379 =E= 0; e2139.. - x420 + x1284 + x1380 =E= 0; e2140.. - x421 + x1285 + x1381 =E= 0; e2141.. - x422 + x1286 + x1382 =E= 0; e2142.. - x423 + x1287 + x1383 =E= 0; e2143.. - x424 + x1288 + x1384 =E= 0; e2144.. - x425 + x1289 + x1385 =E= 0; e2145.. - x426 + x1290 + x1386 =E= 0; e2146.. - x427 + x1291 + x1387 =E= 0; e2147.. - x428 + x1292 + x1388 =E= 0; e2148.. - x429 + x1293 + x1389 =E= 0; e2149.. - x430 + x1294 + x1390 =E= 0; e2150.. - x431 + x1295 + x1391 =E= 0; e2151.. - x432 + x1296 + x1392 =E= 0; e2152.. - x433 + x1297 + x1393 =E= 0; e2153.. - x434 + x1298 + x1394 =E= 0; e2154.. - x435 + x1299 + x1395 =E= 0; e2155.. - x436 + x1300 + x1396 =E= 0; e2156.. - x437 + x1301 + x1397 =E= 0; e2157.. - x438 + x1302 + x1398 =E= 0; e2158.. - x535 + x1303 + x1399 =E= 0; e2159.. - x536 + x1304 + x1400 =E= 0; e2160.. - x537 + x1305 + x1401 =E= 0; e2161.. - x538 + x1306 + x1402 =E= 0; e2162.. - x539 + x1307 + x1403 =E= 0; e2163.. - x540 + x1308 + x1404 =E= 0; e2164.. - x541 + x1309 + x1405 =E= 0; e2165.. - x542 + x1310 + x1406 =E= 0; e2166.. - x543 + x1311 + x1407 =E= 0; e2167.. - x544 + x1312 + x1408 =E= 0; e2168.. - x545 + x1313 + x1409 =E= 0; e2169.. - x546 + x1314 + x1410 =E= 0; e2170.. - x547 + x1315 + x1411 =E= 0; e2171.. - x548 + x1316 + x1412 =E= 0; e2172.. - x549 + x1317 + x1413 =E= 0; e2173.. - x550 + x1318 + x1414 =E= 0; e2174.. - x551 + x1319 + x1415 =E= 0; e2175.. - x552 + x1320 + x1416 =E= 0; e2176.. - x553 + x1321 + x1417 =E= 0; e2177.. - x554 + x1322 + x1418 =E= 0; e2178.. - x555 + x1323 + x1419 =E= 0; e2179.. - x556 + x1324 + x1420 =E= 0; e2180.. - x557 + x1325 + x1421 =E= 0; e2181.. - x558 + x1326 + x1422 =E= 0; e2182.. - x559 + x1327 + x1423 =E= 0; e2183.. - x560 + x1328 + x1424 =E= 0; e2184.. - x561 + x1329 + x1425 =E= 0; e2185.. - x562 + x1330 + x1426 =E= 0; e2186.. - x563 + x1331 + x1427 =E= 0; e2187.. - x564 + x1332 + x1428 =E= 0; e2188.. - x565 + x1333 + x1429 =E= 0; e2189.. - x566 + x1334 + x1430 =E= 0; e2190.. - x567 + x1335 + x1431 =E= 0; e2191.. - x568 + x1336 + x1432 =E= 0; e2192.. - x569 + x1337 + x1433 =E= 0; e2193.. - x570 + x1338 + x1434 =E= 0; e2194.. - x571 + x1339 + x1435 =E= 0; e2195.. - x572 + x1340 + x1436 =E= 0; e2196.. - x573 + x1341 + x1437 =E= 0; e2197.. - x574 + x1342 + x1438 =E= 0; e2198.. - x575 + x1343 + x1439 =E= 0; e2199.. - x576 + x1344 + x1440 =E= 0; e2200.. - x577 + x1345 + x1441 =E= 0; e2201.. - x578 + x1346 + x1442 =E= 0; e2202.. - x579 + x1347 + x1443 =E= 0; e2203.. - x580 + x1348 + x1444 =E= 0; e2204.. - x581 + x1349 + x1445 =E= 0; e2205.. - x582 + x1350 + x1446 =E= 0; e2206.. - x583 + x1351 + x1447 =E= 0; e2207.. - x584 + x1352 + x1448 =E= 0; e2208.. - x585 + x1353 + x1449 =E= 0; e2209.. - x586 + x1354 + x1450 =E= 0; e2210.. - x587 + x1355 + x1451 =E= 0; e2211.. - x588 + x1356 + x1452 =E= 0; e2212.. - x589 + x1357 + x1453 =E= 0; e2213.. - x590 + x1358 + x1454 =E= 0; e2214.. - x591 + x1359 + x1455 =E= 0; e2215.. - x592 + x1360 + x1456 =E= 0; e2216.. - x593 + x1361 + x1457 =E= 0; e2217.. - x594 + x1362 + x1458 =E= 0; e2218.. - x595 + x1363 + x1459 =E= 0; e2219.. - x596 + x1364 + x1460 =E= 0; e2220.. - x597 + x1365 + x1461 =E= 0; e2221.. - x598 + x1366 + x1462 =E= 0; e2222.. - x663 + x1463 + x1495 =E= 0; e2223.. - x664 + x1464 + x1496 =E= 0; e2224.. - x665 + x1465 + x1497 =E= 0; e2225.. - x666 + x1466 + x1498 =E= 0; e2226.. - x667 + x1467 + x1499 =E= 0; e2227.. - x668 + x1468 + x1500 =E= 0; e2228.. - x669 + x1469 + x1501 =E= 0; e2229.. - x670 + x1470 + x1502 =E= 0; e2230.. - x671 + x1471 + x1503 =E= 0; e2231.. - x672 + x1472 + x1504 =E= 0; e2232.. - x673 + x1473 + x1505 =E= 0; e2233.. - x674 + x1474 + x1506 =E= 0; e2234.. - x675 + x1475 + x1507 =E= 0; e2235.. - x676 + x1476 + x1508 =E= 0; e2236.. - x677 + x1477 + x1509 =E= 0; e2237.. - x678 + x1478 + x1510 =E= 0; e2238.. - x679 + x1479 + x1511 =E= 0; e2239.. - x680 + x1480 + x1512 =E= 0; e2240.. - x681 + x1481 + x1513 =E= 0; e2241.. - x682 + x1482 + x1514 =E= 0; e2242.. - x683 + x1483 + x1515 =E= 0; e2243.. - x684 + x1484 + x1516 =E= 0; e2244.. - x685 + x1485 + x1517 =E= 0; e2245.. - x686 + x1486 + x1518 =E= 0; e2246.. - x687 + x1487 + x1519 =E= 0; e2247.. - x688 + x1488 + x1520 =E= 0; e2248.. - x689 + x1489 + x1521 =E= 0; e2249.. - x690 + x1490 + x1522 =E= 0; e2250.. - x691 + x1491 + x1523 =E= 0; e2251.. - x692 + x1492 + x1524 =E= 0; e2252.. - x693 + x1493 + x1525 =E= 0; e2253.. - x694 + x1494 + x1526 =E= 0; * set non-default bounds x39.up = 130; x40.up = 130; x41.up = 130; x42.up = 130; x43.up = 130; x44.up = 130; x45.up = 130; x46.up = 130; x47.up = 130; x48.up = 130; x49.up = 130; x50.up = 130; x51.up = 130; x52.up = 130; x53.up = 130; x54.up = 130; x55.up = 125; x56.up = 125; x57.up = 125; x58.up = 125; x59.up = 125; x60.up = 125; x61.up = 125; x62.up = 125; x63.up = 125; x64.up = 125; x65.up = 125; x66.up = 125; x67.up = 125; x68.up = 125; x69.up = 125; x70.up = 125; x71.up = 212; x72.up = 212; x73.up = 212; x74.up = 212; x75.up = 212; x76.up = 212; x77.up = 212; x78.up = 212; x79.up = 212; x80.up = 212; x81.up = 212; x82.up = 212; x83.up = 212; x84.up = 212; x85.up = 212; x86.up = 212; x87.up = 334; x88.up = 334; x89.up = 334; x90.up = 334; x91.up = 334; x92.up = 334; x93.up = 334; x94.up = 334; x95.up = 334; x96.up = 334; x97.up = 334; x98.up = 334; x99.up = 334; x100.up = 334; x101.up = 334; x102.up = 334; x103.up = 833; x104.up = 833; x105.up = 833; x106.up = 833; x107.up = 833; x108.up = 833; x109.up = 833; x110.up = 833; x111.up = 833; x112.up = 833; x113.up = 833; x114.up = 833; x115.up = 833; x116.up = 833; x117.up = 833; x118.up = 833; x119.up = 381; x120.up = 381; x121.up = 381; x122.up = 381; x123.up = 381; x124.up = 381; x125.up = 381; x126.up = 381; x127.up = 381; x128.up = 381; x129.up = 381; x130.up = 381; x131.up = 381; x132.up = 381; x133.up = 381; x134.up = 381; x135.up = 950; x136.up = 950; x137.up = 950; x138.up = 950; x139.up = 950; x140.up = 950; x141.up = 950; x142.up = 950; x143.up = 950; x144.up = 950; x145.up = 950; x146.up = 950; x147.up = 950; x148.up = 950; x149.up = 950; x150.up = 950; x151.up = 155; x152.up = 155; x153.up = 155; x154.up = 155; x155.up = 155; x156.up = 155; x157.up = 155; x158.up = 155; x159.up = 155; x160.up = 155; x161.up = 155; x162.up = 155; x163.up = 155; x164.up = 155; x165.up = 155; x166.up = 155; x167.up = 401; x168.up = 401; x169.up = 401; x170.up = 401; x171.up = 401; x172.up = 401; x173.up = 401; x174.up = 401; x175.up = 401; x176.up = 401; x177.up = 401; x178.up = 401; x179.up = 401; x180.up = 401; x181.up = 401; x182.up = 401; x183.up = 600; x184.up = 600; x185.up = 600; x186.up = 600; x187.up = 600; x188.up = 600; x189.up = 600; x190.up = 600; x191.up = 600; x192.up = 600; x193.up = 600; x194.up = 600; x195.up = 600; x196.up = 600; x197.up = 600; x198.up = 600; x199.up = 600; x200.up = 600; x201.up = 600; x202.up = 600; x203.up = 600; x204.up = 600; x205.up = 600; x206.up = 600; x207.up = 600; x208.up = 600; x209.up = 600; x210.up = 600; x211.up = 600; x212.up = 600; x213.up = 600; x214.up = 600; x215.up = 532; x216.up = 532; x217.up = 532; x218.up = 532; x219.up = 532; x220.up = 532; x221.up = 532; x222.up = 532; x223.up = 532; x224.up = 532; x225.up = 532; x226.up = 532; x227.up = 532; x228.up = 532; x229.up = 532; x230.up = 532; x231.up = 816; x232.up = 816; x233.up = 816; x234.up = 816; x235.up = 816; x236.up = 816; x237.up = 816; x238.up = 816; x239.up = 816; x240.up = 816; x241.up = 816; x242.up = 816; x243.up = 816; x244.up = 816; x245.up = 816; x246.up = 816; x247.up = 161; x248.up = 161; x249.up = 161; x250.up = 161; x251.up = 161; x252.up = 161; x253.up = 161; x254.up = 161; x255.up = 161; x256.up = 161; x257.up = 161; x258.up = 161; x259.up = 161; x260.up = 161; x261.up = 161; x262.up = 161; x263.up = 2467; x264.up = 2467; x265.up = 2467; x266.up = 2467; x267.up = 2467; x268.up = 2467; x269.up = 2467; x270.up = 2467; x271.up = 2467; x272.up = 2467; x273.up = 2467; x274.up = 2467; x275.up = 2467; x276.up = 2467; x277.up = 2467; x278.up = 2467; x279.up = 900; x280.up = 900; x281.up = 900; x282.up = 900; x283.up = 900; x284.up = 900; x285.up = 900; x286.up = 900; x287.up = 900; x288.up = 900; x289.up = 900; x290.up = 900; x291.up = 900; x292.up = 900; x293.up = 900; x294.up = 900; x295.up = 900; x296.up = 900; x297.up = 900; x298.up = 900; x299.up = 900; x300.up = 900; x301.up = 900; x302.up = 900; x303.up = 900; x304.up = 900; x305.up = 900; x306.up = 900; x307.up = 900; x308.up = 900; x309.up = 900; x310.up = 900; x311.up = 255; x312.up = 255; x313.up = 255; x314.up = 255; x315.up = 255; x316.up = 255; x317.up = 255; x318.up = 255; x319.up = 255; x320.up = 255; x321.up = 255; x322.up = 255; x323.up = 255; x324.up = 255; x325.up = 255; x326.up = 255; x327.up = 255; x328.up = 255; x329.up = 255; x330.up = 255; x331.up = 255; x332.up = 255; x333.up = 255; x334.up = 255; x335.up = 255; x336.up = 255; x337.up = 255; x338.up = 255; x339.up = 255; x340.up = 255; x341.up = 255; x342.up = 255; x343.up = 546; x344.up = 546; x345.up = 546; x346.up = 546; x347.up = 546; x348.up = 546; x349.up = 546; x350.up = 546; x351.up = 546; x352.up = 546; x353.up = 546; x354.up = 546; x355.up = 546; x356.up = 546; x357.up = 546; x358.up = 546; x359.up = 546; x360.up = 546; x361.up = 546; x362.up = 546; x363.up = 546; x364.up = 546; x365.up = 546; x366.up = 546; x367.up = 546; x368.up = 546; x369.up = 546; x370.up = 546; x371.up = 546; x372.up = 546; x373.up = 546; x374.up = 546; x375.up = 1331; x376.up = 1331; x377.up = 1331; x378.up = 1331; x379.up = 1331; x380.up = 1331; x381.up = 1331; x382.up = 1331; x383.up = 1331; x384.up = 1331; x385.up = 1331; x386.up = 1331; x387.up = 1331; x388.up = 1331; x389.up = 1331; x390.up = 1331; x391.up = 1331; x392.up = 1331; x393.up = 1331; x394.up = 1331; x395.up = 1331; x396.up = 1331; x397.up = 1331; x398.up = 1331; x399.up = 1331; x400.up = 1331; x401.up = 1331; x402.up = 1331; x403.up = 1331; x404.up = 1331; x405.up = 1331; x406.up = 1331; x407.up = 600; x408.up = 600; x409.up = 600; x410.up = 600; x411.up = 600; x412.up = 600; x413.up = 600; x414.up = 600; x415.up = 600; x416.up = 600; x417.up = 600; x418.up = 600; x419.up = 600; x420.up = 600; x421.up = 600; x422.up = 600; x423.up = 600; x424.up = 600; x425.up = 600; x426.up = 600; x427.up = 600; x428.up = 600; x429.up = 600; x430.up = 600; x431.up = 600; x432.up = 600; x433.up = 600; x434.up = 600; x435.up = 600; x436.up = 600; x437.up = 600; x438.up = 600; x439.up = 1509; x440.up = 1509; x441.up = 1509; x442.up = 1509; x443.up = 1509; x444.up = 1509; x445.up = 1509; x446.up = 1509; x447.up = 1509; x448.up = 1509; x449.up = 1509; x450.up = 1509; x451.up = 1509; x452.up = 1509; x453.up = 1509; x454.up = 1509; x455.up = 1509; x456.up = 1509; x457.up = 1509; x458.up = 1509; x459.up = 1509; x460.up = 1509; x461.up = 1509; x462.up = 1509; x463.up = 1509; x464.up = 1509; x465.up = 1509; x466.up = 1509; x467.up = 1509; x468.up = 1509; x469.up = 1509; x470.up = 1509; x471.up = 2200; x472.up = 2200; x473.up = 2200; x474.up = 2200; x475.up = 2200; x476.up = 2200; x477.up = 2200; x478.up = 2200; x479.up = 2200; x480.up = 2200; x481.up = 2200; x482.up = 2200; x483.up = 2200; x484.up = 2200; x485.up = 2200; x486.up = 2200; x487.up = 2200; x488.up = 2200; x489.up = 2200; x490.up = 2200; x491.up = 2200; x492.up = 2200; x493.up = 2200; x494.up = 2200; x495.up = 2200; x496.up = 2200; x497.up = 2200; x498.up = 2200; x499.up = 2200; x500.up = 2200; x501.up = 2200; x502.up = 2200; x503.up = 900; x504.up = 900; x505.up = 900; x506.up = 900; x507.up = 900; x508.up = 900; x509.up = 900; x510.up = 900; x511.up = 900; x512.up = 900; x513.up = 900; x514.up = 900; x515.up = 900; x516.up = 900; x517.up = 900; x518.up = 900; x519.up = 900; x520.up = 900; x521.up = 900; x522.up = 900; x523.up = 900; x524.up = 900; x525.up = 900; x526.up = 900; x527.up = 900; x528.up = 900; x529.up = 900; x530.up = 900; x531.up = 900; x532.up = 900; x533.up = 900; x534.up = 900; x535.up = 2200; x536.up = 2200; x537.up = 2200; x538.up = 2200; x539.up = 2200; x540.up = 2200; x541.up = 2200; x542.up = 2200; x543.up = 2200; x544.up = 2200; x545.up = 2200; x546.up = 2200; x547.up = 2200; x548.up = 2200; x549.up = 2200; x550.up = 2200; x551.up = 2200; x552.up = 2200; x553.up = 2200; x554.up = 2200; x555.up = 2200; x556.up = 2200; x557.up = 2200; x558.up = 2200; x559.up = 2200; x560.up = 2200; x561.up = 2200; x562.up = 2200; x563.up = 2200; x564.up = 2200; x565.up = 2200; x566.up = 2200; x567.up = 950; x568.up = 950; x569.up = 950; x570.up = 950; x571.up = 950; x572.up = 950; x573.up = 950; x574.up = 950; x575.up = 950; x576.up = 950; x577.up = 950; x578.up = 950; x579.up = 950; x580.up = 950; x581.up = 950; x582.up = 950; x583.up = 950; x584.up = 950; x585.up = 950; x586.up = 950; x587.up = 950; x588.up = 950; x589.up = 950; x590.up = 950; x591.up = 950; x592.up = 950; x593.up = 950; x594.up = 950; x595.up = 950; x596.up = 950; x597.up = 950; x598.up = 950; x599.up = 1400; x600.up = 1400; x601.up = 1400; x602.up = 1400; x603.up = 1400; x604.up = 1400; x605.up = 1400; x606.up = 1400; x607.up = 1400; x608.up = 1400; x609.up = 1400; x610.up = 1400; x611.up = 1400; x612.up = 1400; x613.up = 1400; x614.up = 1400; x615.up = 1400; x616.up = 1400; x617.up = 1400; x618.up = 1400; x619.up = 1400; x620.up = 1400; x621.up = 1400; x622.up = 1400; x623.up = 1400; x624.up = 1400; x625.up = 1400; x626.up = 1400; x627.up = 1400; x628.up = 1400; x629.up = 1400; x630.up = 1400; x631.up = 720; x632.up = 720; x633.up = 720; x634.up = 720; x635.up = 720; x636.up = 720; x637.up = 720; x638.up = 720; x639.up = 720; x640.up = 720; x641.up = 720; x642.up = 720; x643.up = 720; x644.up = 720; x645.up = 720; x646.up = 720; x647.up = 720; x648.up = 720; x649.up = 720; x650.up = 720; x651.up = 720; x652.up = 720; x653.up = 720; x654.up = 720; x655.up = 720; x656.up = 720; x657.up = 720; x658.up = 720; x659.up = 720; x660.up = 720; x661.up = 720; x662.up = 720; x663.up = 3000; x664.up = 3000; x665.up = 3000; x666.up = 3000; x667.up = 3000; x668.up = 3000; x669.up = 3000; x670.up = 3000; x671.up = 3000; x672.up = 3000; x673.up = 3000; x674.up = 3000; x675.up = 3000; x676.up = 3000; x677.up = 3000; x678.up = 3000; x679.up = 3000; x680.up = 3000; x681.up = 3000; x682.up = 3000; x683.up = 3000; x684.up = 3000; x685.up = 3000; x686.up = 3000; x687.up = 3000; x688.up = 3000; x689.up = 3000; x690.up = 3000; x691.up = 3000; x692.up = 3000; x693.up = 3000; x694.up = 3000; x695.up = 1800; x696.up = 1800; x697.up = 1800; x698.up = 1800; x699.up = 1800; x700.up = 1800; x701.up = 1800; x702.up = 1800; x703.up = 1800; x704.up = 1800; x705.up = 1800; x706.up = 1800; x707.up = 1800; x708.up = 1800; x709.up = 1800; x710.up = 1800; x711.up = 1800; x712.up = 1800; x713.up = 1800; x714.up = 1800; x715.up = 1800; x716.up = 1800; x717.up = 1800; x718.up = 1800; x719.up = 1800; x720.up = 1800; x721.up = 1800; x722.up = 1800; x723.up = 1800; x724.up = 1800; x725.up = 1800; x726.up = 1800; x727.up = 1400; x728.up = 1400; x729.up = 1400; x730.up = 1400; x731.up = 1400; x732.up = 1400; x733.up = 1400; x734.up = 1400; x735.up = 1400; x736.up = 1400; x737.up = 1400; x738.up = 1400; x739.up = 1400; x740.up = 1400; x741.up = 1400; x742.up = 1400; x743.up = 1400; x744.up = 1400; x745.up = 1400; x746.up = 1400; x747.up = 1400; x748.up = 1400; x749.up = 1400; x750.up = 1400; x751.up = 1400; x752.up = 1400; x753.up = 1400; x754.up = 1400; x755.up = 1400; x756.up = 1400; x757.up = 1400; x758.up = 1400; x759.up = 2200; x760.up = 2200; x761.up = 2200; x762.up = 2200; x763.up = 2200; x764.up = 2200; x765.up = 2200; x766.up = 2200; x767.up = 2200; x768.up = 2200; x769.up = 2200; x770.up = 2200; x771.up = 2200; x772.up = 2200; x773.up = 2200; x774.up = 2200; x775.up = 2200; x776.up = 2200; x777.up = 2200; x778.up = 2200; x779.up = 2200; x780.up = 2200; x781.up = 2200; x782.up = 2200; x783.up = 2200; x784.up = 2200; x785.up = 2200; x786.up = 2200; x787.up = 2200; x788.up = 2200; x789.up = 2200; x790.up = 2200; x791.up = 800; x792.up = 800; x793.up = 800; x794.up = 800; x795.up = 800; x796.up = 800; x797.up = 800; x798.up = 800; x799.up = 800; x800.up = 800; x801.up = 800; x802.up = 800; x803.up = 800; x804.up = 800; x805.up = 800; x806.up = 800; x807.up = 800; x808.up = 800; x809.up = 800; x810.up = 800; x811.up = 800; x812.up = 800; x813.up = 800; x814.up = 800; x815.up = 800; x816.up = 800; x817.up = 800; x818.up = 800; x819.up = 800; x820.up = 800; x821.up = 800; x822.up = 800; x823.up = 1800; x824.up = 1800; x825.up = 1800; x826.up = 1800; x827.up = 1800; x828.up = 1800; x829.up = 1800; x830.up = 1800; x831.up = 1800; x832.up = 1800; x833.up = 1800; x834.up = 1800; x835.up = 1800; x836.up = 1800; x837.up = 1800; x838.up = 1800; x839.up = 1800; x840.up = 1800; x841.up = 1800; x842.up = 1800; x843.up = 1800; x844.up = 1800; x845.up = 1800; x846.up = 1800; x847.up = 1800; x848.up = 1800; x849.up = 1800; x850.up = 1800; x851.up = 1800; x852.up = 1800; x853.up = 1800; x854.up = 1800; x855.up = 1; x856.up = 1; x857.up = 1; x858.up = 1; x859.up = 1; x860.up = 1; x861.up = 1; x862.up = 1; x863.up = 1; x864.up = 1; x865.up = 1; x866.up = 1; x867.up = 1; x868.up = 1; x869.up = 1; x870.up = 1; x871.up = 1; x872.up = 1; x873.up = 1; x874.up = 1; x875.up = 1; x876.up = 1; x877.up = 1; x878.up = 1; x879.up = 1; x880.up = 1; x881.up = 1; x882.up = 1; x883.up = 1; x884.up = 1; x885.up = 1; x886.up = 1; x887.up = 1; x888.up = 1; x889.up = 1; x890.up = 1; x891.up = 1; x892.up = 1; x893.up = 1; x894.up = 1; x895.up = 1; x896.up = 1; x897.up = 1; x898.up = 1; x899.up = 1; x900.up = 1; x901.up = 1; x902.up = 1; x903.up = 1; x904.up = 1; x905.up = 1; x906.up = 1; x907.up = 1; x908.up = 1; x909.up = 1; x910.up = 1; x911.up = 1; x912.up = 1; x913.up = 1; x914.up = 1; x915.up = 1; x916.up = 1; x917.up = 1; x918.up = 1; x919.up = 1; x920.up = 1; x921.up = 1; x922.up = 1; x923.up = 1; x924.up = 1; x925.up = 1; x926.up = 1; x927.up = 1; x928.up = 1; x929.up = 1; x930.up = 1; x931.up = 1; x932.up = 1; x933.up = 1; x934.up = 1; x935.up = 1; x936.up = 1; x937.up = 1; x938.up = 1; x939.up = 1; x940.up = 1; x941.up = 1; x942.up = 1; x943.up = 1; x944.up = 1; x945.up = 1; x946.up = 1; x947.up = 1; x948.up = 1; x949.up = 1; x950.up = 1; x951.up = 1; x952.up = 1; x953.up = 1; x954.up = 1; x955.up = 1; x956.up = 1; x957.up = 1; x958.up = 1; x959.up = 1; x960.up = 1; x961.up = 1; x962.up = 1; x963.up = 1; x964.up = 1; x965.up = 1; x966.up = 1; x967.up = 1; x968.up = 1; x969.up = 1; x970.up = 1; x971.up = 1; x972.up = 1; x973.up = 1; x974.up = 1; x975.up = 1; x976.up = 1; x977.up = 1; x978.up = 1; x979.up = 1; x980.up = 1; x981.up = 1; x982.up = 1; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set MINLP $set MINLP MINLP Solve m using %MINLP% minimizing objvar;
Last updated: 2024-12-17 Git hash: 8eaceb91