QPLIB
A Library of Quadratic Programming Instances
Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]QPLIB_3523
Formats | gms lp mod qplib |
Problem type probtype | QML |
Solution point objective value solobjvalue | -615.00000000 (gdx, sol) |
Solution point infeasibility solinfeasibility | 0.0000e+00 |
Donor donor | Stefan Vigerske |
#Variables nvars | 182 |
#Binary Variables nbinvars | 155 |
#Integer Variables nintvars | 0 |
#Bounded non-binary Variables nboundedvars | 27 |
#Variables with only one bound nsingleboundedvars | 0 |
#Nonlinear Variables nnlvars | 182 |
#Nonlinear Binary Variables nnlbinvars | 155 |
#Nonlinear Integer Variables nnlintvars | 0 |
Objective Sense objsense | min |
Objective type objtype | quadratic |
Objective curvature objcurvature | indefinite |
#Negative eigenvalues in objective matrix nobjquadnegev | 91 |
#Positive eigenvalues in objective matrix nobjquadposev | 91 |
#Nonzeros in Objective nobjnz | 182 |
#Nonlinear Nonzeros in Objective nobjnlnz | 182 |
#Quadratic Terms in Objective nobjquadnz | 2184 |
#Square Terms in Objective nobjquaddiagnz | 0 |
#Constraints ncons | 1456 |
#Linear Constraints nlincons | 1456 |
#Quadratic Constraints nquadcons | 0 |
#Diagonal Quadratic Constraints ndiagquadcons | 0 |
Constraints curvature conscurvature | linear |
#Convex Nonlinear Constraints nconvexnlcons | 0 |
#Concave Nonlinear Constraints nconcavenlcons | 0 |
#Indefinite Nonlinear Constraints nindefinitenlcons | 0 |
#Nonzeros in Jacobian njacobiannz | 4368 |
#Nonlinear Nonzeros in Jacobian njacobiannlnz | 0 |
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz | 4368 |
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz | 0 |
#Blocks in Hessian of Lagrangian nlaghessianblocks | 1 |
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize | 182 |
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize | 182 |
Average blocksize in Hessian of Lagrangian laghessianavgblocksize | 182.0 |
Sparsity Jacobian | ![]() |
Sparsity Lag. Hessian | ![]() |
QPLIB_3523.gms
$offlisting * * Equation counts * Total E G L N X C B * 1457 1 0 1456 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 183 28 155 0 0 0 0 0 * FX 0 0 0 0 0 0 0 0 * * Nonzero counts * Total const NL DLL * 4551 4369 182 0 * * Solve m using MIQCP minimizing objvar; Variables objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,x150,x151,x152,x153,x154 ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167 ,x168,x169,x170,x171,x172,x173,b174,x175,x176,x177,b178,b179,b180 ,b181,b182,b183; Positive Variables x150,x151,x152,x153,x154,x155,x156,x157,x158,x159,x160 ,x161,x162,x163,x164,x165,x166,x167,x168,x169,x170,x171,x172,x173 ,x175,x176,x177; Binary Variables b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18 ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35 ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52 ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69 ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86 ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102 ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115 ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128 ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141 ,b142,b143,b144,b145,b146,b147,b148,b149,b174,b178,b179,b180,b181 ,b182,b183; 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; e1.. 7*b2 - 2*b2*b92 - 2*b92 - 2*b2*b96 - 3*b96 - 2*b2*b97 - 3*b97 + 2*b2*b102 - 4*b102 - 2*b2*b103 - 5*b103 - 2*b2*b104 - b104 - 2*b2*b107 - 3*b107 - 2 *b2*b108 + 5*b108 + 2*b2*b143 + b143 + 2*b2*b144 - 2*b144 - 2*b2*x158 + 3* x158 + 2*b2*b174 - 2*b2*x175 - 2*b2*x176 - 2*b2*x177 - 2*b3*b91 - 5*b3 - 9 *b91 + 2*b3*b92 + 2*b3*b96 + 2*b3*b97 + 2*b3*b103 + 2*b3*b104 + 2*b3*b107 + 2*b3*b108 - 2*b3*b112 - 2*b112 + 2*b3*b115 + 6*b115 + 2*b3*b119 + 7* b119 + 2*b3*b121 + 12*b121 - 2*b3*b148 - 5*b148 - 2*b3*x167 - 3*x167 - 2* b3*x172 - 6*x172 - 2*b4*b90 - 14*b4 - 8*b90 - 2*b4*b92 + 2*b4*b93 - 2*b93 + 2*b4*b94 - 13*b94 + 2*b4*b95 - 9*b95 + 2*b4*b96 + 2*b4*b97 + 2*b4*b100 - 4*b100 + 2*b4*b101 - 4*b101 + 2*b4*b102 + 2*b4*b103 + 2*b4*b104 + 2*b4* b109 - 12*b109 + 2*b4*b110 - 8*b110 + 2*b4*b112 + 2*b4*b113 + 6*b113 + 2* b4*b114 + 6*b114 + 2*b4*b115 + 2*b4*b117 + 9*b117 + 2*b4*b118 + 8*b118 + 2 *b4*b119 + 2*b4*b122 + 8*b122 + 2*b4*b123 + 7*b123 - 2*b4*b132 - 4*b132 - 2*b4*b141 + 5*b141 - 2*b4*b148 - 2*b4*x160 - 4*x160 - 2*b4*x163 - 7*x163 - 2*b4*x167 - 2*b4*x173 + 3*x173 + 2*b4*b174 + 2*b4*b178 + 2*b5*b93 - 16* b5 + 2*b5*b94 + 2*b5*b95 + 2*b5*b96 + 2*b5*b97 + 2*b5*b101 + 2*b5*b102 + 2 *b5*b103 + 2*b5*b104 + 2*b5*b105 - 16*b105 + 2*b5*b106 - 9*b106 + 2*b5* b107 + 2*b5*b108 + 2*b5*b109 + 2*b5*b110 + 2*b5*b113 + 2*b5*b114 + 2*b5* b115 + 2*b5*b118 + 2*b5*b119 + 2*b5*b120 + 8*b120 + 2*b5*b121 + 2*b5*b122 - 2*b5*b132 - 2*b5*b141 - 2*b5*b148 - 2*b5*x163 - 2*b5*x167 - 2*b5*x170 + 8*x170 - 2*b5*x172 - 2*b5*x173 + 2*b5*b178 + 2*b6*b95 - 5*b6 + 2*b6*b97 + 2*b6*b102 + 2*b6*b104 + 2*b6*b106 + 2*b6*b108 + 2*b6*b110 - 2*b6*b125 - b125 - 2*b6*b128 - b128 - 2*b6*b130 - 2*b130 - 2*b6*b133 + 7*b133 - 2* b6*b137 + 9*b137 - 2*b6*b139 + 12*b139 + 2*b6*b144 + 2*b6*b146 - 11*b146 + 2*b6*b147 - 6*b147 + 2*b6*x164 - 13*x164 + 2*b6*x166 - 8*x166 - 2*b6* x168 + 17*x168 + 2*b6*x171 - 12*x171 - 2*b6*x176 - 2*b6*x177 + 2*b6*b178 + 2*b7*b98 - 11*b7 - 9*b98 + 2*b7*b99 - 5*b99 + 2*b7*b101 + 2*b7*b102 + 2 *b7*b105 + 2*b7*b106 + 2*b7*b107 + 2*b7*b108 + 2*b7*b111 - 7*b111 + 2*b7* b112 + 2*b7*b116 + 7*b116 + 2*b7*b118 + 2*b7*b120 + 2*b7*b121 + 2*b7*b123 - 2*b7*x155 + 6*x155 - 2*b7*x163 - 2*b7*x170 - 2*b7*x172 + 2*b8*b99 - 9* b8 + 2*b8*b102 + 2*b8*b106 + 2*b8*b108 + 2*b8*b112 + 2*b8*b142 - 5*b142 + 2*b8*b144 + 2*b8*b146 + 2*b8*b148 - 2*b8*x151 + 9*x151 - 2*b8*x153 + 13* x153 + 2*b8*x164 + 2*b8*x165 + x165 + 2*b8*x167 - 2*b8*x168 + 2*b8*x172 - 2*b8*x176 - 2*b8*x177 + 2*b8*b179 - 2*b9*b90 + 3*b9 - 2*b9*b92 - 2*b9*b111 - 2*b10*b92 + 4*b10 - 2*b10*b96 - 2*b10*b103 - 2*b10*b107 + 2*b11*b105 - 4*b11 + 2*b11*b106 + 2*b11*b107 + 2*b11*b108 + 2*b11*b120 + 2*b11*b121 - 2 *b11*x170 - 2*b11*x172 + 2*b12*b106 - 5*b12 + 2*b12*b108 + 2*b12*b146 + 2* b12*x164 + 2*b12*x165 - 2*b12*x168 + 2*b12*b179 + 2*b13*b94 - 11*b13 + 2* b13*b95 + 2*b13*b100 + 2*b13*b103 + 2*b13*b104 + 2*b13*b109 + 2*b13*b110 + 2*b13*b111 + 2*b13*b112 + 2*b13*b114 + 2*b13*b117 + 2*b13*b119 + 2*b13* b122 + 2*b13*b123 - 2*b13*b141 - 2*b13*x160 - 2*b13*x167 - 2*b13*x173 + 2* b13*b174 + 2*b14*b95 - 7*b14 + 2*b14*b104 + 2*b14*b110 + 2*b14*b112 - 2* b14*b133 - 2*b14*b137 - 2*b14*b139 + 2*b14*b143 + 2*b14*b145 - b145 + 2* b14*b147 + 2*b14*b148 - 2*b14*x158 - 2*b14*x165 + 2*b14*x166 + 2*b14*x167 + 2*b14*x171 + 2*b14*x172 + 2*b14*b174 - 2*b14*x175 - 2*b15*b91 - 10*b15 + 2*b15*b92 + 2*b15*b98 + 2*b15*b99 + 2*b15*b100 + 2*b15*b105 + 2*b15* b106 + 2*b15*b107 + 2*b15*b108 + 2*b15*b111 + 2*b15*b116 + 2*b15*b117 + 2* b15*b120 + 2*b15*b121 + 2*b15*b123 - 2*b15*x155 - 2*b15*x160 - 2*b15*x170 - 2*b15*x172 + 2*b15*b174 - 2*b16*b97 - 6*b16 + 2*b16*b99 - 2*b16*b104 + 2*b16*b106 + 2*b16*b112 + 2*b16*b142 + 2*b16*b143 + 2*b16*b146 + 2*b16* b148 - 2*b16*x151 - 2*b16*x153 - 2*b16*x158 + 2*b16*x164 + 2*b16*x165 + 2* b16*x167 - 2*b16*x168 + 2*b16*x172 + 2*b16*b174 - 2*b16*x175 + 2*b16*b179 - 2*b17*b90 - 10*b17 - 2*b17*b91 + 2*b17*b93 + 2*b17*b94 + 2*b17*b95 + 2* b17*b98 + 2*b17*b99 + 2*b17*b103 + 2*b17*b104 + 2*b17*b105 + 2*b17*b106 + 2*b17*b107 + 2*b17*b108 + 2*b17*b109 + 2*b17*b110 - 2*b17*b111 - 2*b17* b112 + 2*b17*b113 + 2*b17*b114 + 2*b17*b116 + 2*b17*b119 + 2*b17*b120 + 2* b17*b121 + 2*b17*b122 - 2*b17*b132 - 2*b17*b141 - 2*b17*x155 - 2*b17*x167 - 2*b17*x170 - 2*b17*x172 - 2*b17*x173 + 2*b17*b178 - 2*b18*b92 + b18 + 2 *b18*b95 - 2*b18*b96 - 2*b18*b97 + 2*b18*b99 - 2*b18*b103 + 2*b18*b106 - 2 *b18*b107 + 2*b18*b110 - 2*b18*b125 - 2*b18*b128 - 2*b18*b130 - 2*b18*b133 - 2*b18*b137 - 2*b18*b139 + 2*b18*b142 + 2*b18*b145 + 2*b18*b146 + 2*b18* b147 - 2*b18*x151 - 2*b18*x153 + 2*b18*x164 + 2*b18*x166 - 2*b18*x168 + 2* b18*x171 + 2*b18*b178 + 2*b18*b179 + 2*b19*b90 - 14*b19 + 2*b19*b92 + 2* b19*b94 + 2*b19*b95 + 2*b19*b96 + 2*b19*b97 + 2*b19*b98 + 2*b19*b99 + 2* b19*b100 + 2*b19*b101 + 2*b19*b102 + 2*b19*b105 + 2*b19*b106 + 2*b19*b109 + 2*b19*b110 - 2*b19*b112 + 2*b19*b114 + 2*b19*b115 + 2*b19*b116 + 2*b19* b117 + 2*b19*b118 + 2*b19*b120 + 2*b19*b122 - 2*b19*b123 - 2*b19*b141 - 2* b19*b148 - 2*b19*x155 - 2*b19*x160 - 2*b19*x163 - 2*b19*x170 - 2*b19*x173 + 2*b19*b174 + 2*b20*b91 + 2*b20 + 2*b20*b95 + 2*b20*b99 + 2*b20*b102 - 2 *b20*b104 + 2*b20*b106 - 2*b20*b108 + 2*b20*b110 - 2*b20*b115 - 2*b20*b119 - 2*b20*b121 - 2*b20*b133 - 2*b20*b137 - 2*b20*b139 + 2*b20*b142 + 2*b20* b143 + 2*b20*b144 - 2*b20*b145 + 2*b20*b146 + 2*b20*b147 - 2*b20*x151 - 2* b20*x153 - 2*b20*x158 + 2*b20*x164 + 2*b20*x166 - 2*b20*x168 + 2*b20*x171 + 2*b20*b174 - 2*b20*x175 - 2*b20*x176 - 2*b20*x177 - 2*b20*b179 + 2*b21* b90 - 10*b21 + 2*b21*b91 + 2*b21*b96 + 2*b21*b97 + 2*b21*b101 + 2*b21*b102 + 2*b21*b109 + 2*b21*b110 + 2*b21*b111 + 2*b21*b112 + 2*b21*b115 + 2*b21* b118 + 2*b21*b122 - 2*b21*b148 - 2*b21*x163 - 2*b21*x173 + 2*b22*b91 - 5* b22 + 2*b22*b97 + 2*b22*b102 + 2*b22*b110 + 2*b22*b112 - 2*b22*b115 - 2* b22*b119 - 2*b22*b121 + 2*b22*b144 - 2*b22*b145 + 2*b22*b147 + 2*b22*b148 + 2*b22*x166 + 2*b22*x167 + 2*b22*x171 + 2*b22*x172 - 2*b22*x176 - 2*b22* x177 - 2*b22*b179 + 2*b23*b94 - 6*b23 + 2*b23*b95 + 2*b23*b103 + 2*b23* b104 + 2*b23*b105 + 2*b23*b106 + 2*b23*b114 + 2*b23*b119 + 2*b23*b120 - 2* b23*b141 - 2*b23*x167 - 2*b23*x170 + 2*b24*b91 + 4*b24 - 2*b24*b92 + 2*b24 *b95 - 2*b24*b96 - 2*b24*b97 - 2*b24*b103 + 2*b24*b106 - 2*b24*b107 - 2* b24*b108 + 2*b24*b112 - 2*b24*b115 - 2*b24*b119 - 2*b24*b121 - 2*b24*b133 - 2*b24*b137 - 2*b24*b139 + 2*b24*b145 + 2*b24*b146 + 2*b24*b148 + 2*b24* x164 - 2*b24*x165 + 2*b24*x167 - 2*b24*x168 + 2*b24*x172 - 2*b25*b92 - 13* b25 + 2*b25*b93 + 2*b25*b94 + 2*b25*b95 + 2*b25*b96 + 2*b25*b97 + 2*b25* b102 + 2*b25*b103 + 2*b25*b104 + 2*b25*b109 + 2*b25*b110 + 2*b25*b111 + 2* b25*b112 - 2*b25*b127 - 2*b127 - 2*b25*b135 + 9*b135 - 2*b25*b136 + 9*b136 - 2*b25*b143 - 2*b25*b144 + 2*b25*x159 - 9*x159 + 2*b25*x160 + 2*b25*x162 - 8*x162 + 2*b25*x163 + 2*b25*b174 + 2*b25*x175 + 2*b25*x176 + 2*b25*b178 - 2*b25*b180 + 2*b26*b93 - 19*b26 + 2*b26*b94 + 2*b26*b95 + 2*b26*b96 + 2 *b26*b97 + 2*b26*b101 + 2*b26*b102 + 2*b26*b103 + 2*b26*b104 + 2*b26*b105 + 2*b26*b106 + 2*b26*b107 + 2*b26*b108 + 2*b26*b109 + 2*b26*b110 - 2*b26* b127 - 2*b26*b135 - 2*b26*b136 - 2*b26*b143 - 2*b26*b144 + 2*b26*x156 - x156 + 2*b26*x157 - 11*x157 + 2*b26*x158 + 2*b26*x159 + 2*b26*x161 - 15* x161 + 2*b26*x162 + 2*b26*x175 + 2*b26*x176 + 2*b26*x177 + 2*b26*b178 - 2* b26*b180 + 2*b27*b98 - 15*b27 + 2*b27*b99 + 2*b27*b101 + 2*b27*b102 + 2* b27*b105 + 2*b27*b106 + 2*b27*b107 + 2*b27*b108 + 2*b27*b111 + 2*b27*b112 - 2*b27*b149 + 8*b149 - 2*b27*x150 + 8*x150 + 2*b27*x156 + 2*b27*x157 + 2 *b27*x158 + 2*b27*x160 + 2*b27*x161 + 2*b27*x163 + 2*b27*x177 - 2*b28*b92 + 3*b28 - 2*b28*b100 - 2*b28*b101 + 2*b29*b105 - 8*b29 + 2*b29*b106 + 2* b29*b107 + 2*b29*b108 + 2*b29*x157 + 2*b29*x158 + 2*b29*x161 + 2*b29*x177 + 2*b30*b94 - 13*b30 + 2*b30*b95 + 2*b30*b100 + 2*b30*b103 + 2*b30*b104 + 2*b30*b109 + 2*b30*b110 + 2*b30*b111 + 2*b30*b112 - 2*b30*b135 - 2*b30* b136 - 2*b30*x156 + 2*b30*x159 + 2*b30*x160 + 2*b30*x162 + 2*b30*x163 + 2* b30*b174 + 2*b30*x175 + 2*b30*x176 + 2*b31*b92 - 12*b31 + 2*b31*b98 + 2* b31*b99 + 2*b31*b100 - 2*b31*b102 + 2*b31*b105 + 2*b31*b106 + 2*b31*b107 + 2*b31*b108 + 2*b31*b111 + 2*b31*b112 - 2*b31*b149 - 2*b31*x150 - 2*b31* x156 + 2*b31*x157 + 2*b31*x158 + 2*b31*x160 + 2*b31*x161 + 2*b31*x163 + 2* b31*x177 + 2*b32*b93 - 12*b32 + 2*b32*b94 + 2*b32*b95 + 2*b32*b98 + 2*b32* b99 - 2*b32*b100 - 2*b32*b101 - 2*b32*b102 + 2*b32*b103 + 2*b32*b104 + 2* b32*b105 + 2*b32*b106 + 2*b32*b107 + 2*b32*b108 + 2*b32*b109 + 2*b32*b110 - 2*b32*b127 - 2*b32*b135 - 2*b32*b136 - 2*b32*b149 - 2*b32*x150 + 2*b32* x157 + 2*b32*x158 + 2*b32*x159 + 2*b32*x161 + 2*b32*x162 - 2*b32*b174 + 2* b32*x175 + 2*b32*x176 + 2*b32*x177 + 2*b32*b178 - 2*b32*b180 + 2*b33*b90 - 11*b33 + 2*b33*b91 + 2*b33*b92 + 2*b33*b94 + 2*b33*b95 + 2*b33*b96 + 2* b33*b97 + 2*b33*b98 + 2*b33*b99 + 2*b33*b100 + 2*b33*b101 + 2*b33*b105 + 2 *b33*b106 + 2*b33*b109 + 2*b33*b110 - 2*b33*b117 - 2*b33*b118 - 2*b33*b135 - 2*b33*b136 - 2*b33*b143 - 2*b33*b144 - 2*b33*b149 - 2*b33*x150 + 2*b33* x157 + 2*b33*x159 + 2*b33*x161 + 2*b33*x162 + 2*b34*b90 - 11*b34 + 2*b34* b91 + 2*b34*b96 + 2*b34*b97 + 2*b34*b101 + 2*b34*b102 + 2*b34*b109 + 2*b34 *b110 + 2*b34*b111 + 2*b34*b112 - 2*b34*b117 - 2*b34*b118 - 2*b34*b143 - 2 *b34*b144 + 2*b34*x156 + 2*b34*x159 + 2*b34*x160 + 2*b34*x162 + 2*b34*x163 + 2*b35*b90 - 8*b35 + 2*b35*b91 + 2*b35*b94 + 2*b35*b95 - 2*b35*b100 - 2* b35*b101 - 2*b35*b102 + 2*b35*b103 + 2*b35*b104 + 2*b35*b105 + 2*b35*b106 + 2*b35*b111 + 2*b35*b112 - 2*b35*b117 - 2*b35*b118 - 2*b35*b135 - 2*b35* b136 + 2*b35*x157 + 2*b35*x160 + 2*b35*x161 + 2*b35*x163 - 2*b35*b174 + 2* b35*x175 + 2*b35*x176 + 2*b36*b93 - 10*b36 + 2*b36*b94 + 2*b36*b96 + 2*b36 *b101 + 2*b36*b103 + 2*b36*b105 + 2*b36*b107 + 2*b36*b109 + 2*b36*b129 - 11*b129 + 2*b36*b130 - 2*b36*b132 - 2*b36*b135 + 2*b36*b138 - 2*b138 + 2* b36*b139 - 2*b36*b141 - 2*b36*b143 + 2*b36*b146 - 2*b36*b148 + 2*b36*x156 + 2*b36*x157 + 2*b36*x158 + 2*b36*x159 + 2*b36*x161 - 2*b36*x163 + 2*b36* x164 + 2*b36*x165 - 2*b36*x167 - 2*b36*x169 + 3*x169 - 2*b36*x170 - 2*b36* x171 - 2*b36*x172 - 2*b36*x173 + 2*b36*x175 + 2*b36*x177 + 2*b36*b179 - 2* b36*b180 + 2*b37*b98 - 19*b37 + 2*b37*b101 + 2*b37*b105 + 2*b37*b107 + 2* b37*b111 + 2*b37*b126 - 7*b126 + 2*b37*b127 + 2*b37*b129 + 2*b37*b130 + 2* b37*b132 + 2*b37*b134 - 2*b134 + 2*b37*b136 + 2*b37*b138 + 2*b37*b139 + 2* b37*b141 + 2*b37*b142 + 2*b37*b144 + 2*b37*b146 + 2*b37*b148 - 2*b37*b149 - 2*b37*x150 - 2*b37*x151 - 2*b37*x154 + 2*x154 - 2*b37*x155 + 2*b37*x156 + 2*b37*x157 + 2*b37*x158 + 2*b37*x160 + 2*b37*x161 - 2*b37*x162 + 2*b37* x164 + 2*b37*x165 + 2*b37*x167 - 2*b37*x169 - 2*b37*x170 - 2*b37*x171 - 2* b37*x172 + 2*b37*x173 - 2*b37*x176 + 2*b37*x177 + 2*b37*b179 - 2*b38*b93 + 8*b38 - 2*b38*b94 - 2*b38*b96 - 2*b38*b100 - 2*b38*b101 - 2*b38*b103 - 2*b38*b109 - 2*b38*b111 + 2*b39*b105 - 10*b39 + 2*b39*b107 + 2*b39*b129 + 2*b39*b130 + 2*b39*b138 + 2*b39*b139 + 2*b39*b146 + 2*b39*x157 + 2*b39* x158 + 2*b39*x161 + 2*b39*x164 + 2*b39*x165 - 2*b39*x169 - 2*b39*x170 - 2* b39*x171 - 2*b39*x172 + 2*b39*x177 + 2*b39*b179 + 2*b40*b94 - 14*b40 + 2* b40*b100 + 2*b40*b103 + 2*b40*b109 + 2*b40*b111 + 2*b40*b124 - 7*b124 + 2* b40*b128 + 2*b40*b131 - 7*b131 + 2*b40*b132 - 2*b40*b133 - 2*b40*b136 + 2* b40*b143 + 2*b40*b145 + 2*b40*b147 + 2*b40*b148 - 2*b40*x156 + 2*b40*x162 + 2*b40*x163 + 2*b40*x176 + 2*b40*b180 + 2*b41*b92 - 10*b41 - 2*b41*b95 - 2*b41*b97 + 2*b41*b98 + 2*b41*b100 - 2*b41*b102 - 2*b41*b104 + 2*b41* b105 + 2*b41*b107 - 2*b41*b110 + 2*b41*b111 - 2*b41*b112 + 2*b41*b126 + 2* b41*b129 + 2*b41*b130 + 2*b41*b132 + 2*b41*b134 + 2*b41*b135 + 2*b41*b138 + 2*b41*b139 + 2*b41*b141 + 2*b41*b142 + 2*b41*b143 + 2*b41*b146 + 2*b41* b148 - 2*b41*b149 - 2*b41*x150 - 2*b41*x151 - 2*b41*x154 - 2*b41*x155 - 2* b41*x156 + 2*b41*x157 + 2*b41*x158 - 2*b41*x159 + 2*b41*x161 + 2*b41*x163 + 2*b41*x164 + 2*b41*x165 + 2*b41*x167 - 2*b41*x169 - 2*b41*x170 - 2*b41* x171 - 2*b41*x172 + 2*b41*x173 - 2*b41*b174 - 2*b41*x175 + 2*b41*x177 - 2* b41*b178 + 2*b41*b179 + 2*b41*b180 + 2*b42*b92 + 6*b42 - 2*b42*b95 - 2*b42 *b96 - 2*b42*b97 + 2*b42*b98 - 2*b42*b100 - 2*b42*b101 - 2*b42*b102 - 2* b42*b104 + 2*b42*b105 + 2*b42*b107 - 2*b42*b110 - 2*b42*b111 - 2*b42*b112 - 2*b42*b125 + 2*b42*b126 - 2*b42*b127 + 2*b42*b129 + 2*b42*b130 - 2*b42* b132 - 2*b42*b133 + 2*b42*b134 - 2*b42*b135 - 2*b42*b136 + 2*b42*b138 + 2* b42*b139 - 2*b42*b141 + 2*b42*b142 + 2*b42*b145 + 2*b42*b146 + 2*b42*b147 - 2*b42*b149 - 2*b42*x150 - 2*b42*x151 - 2*b42*x154 - 2*b42*x155 + 2*b42* x157 + 2*b42*x158 + 2*b42*x159 + 2*b42*x161 + 2*b42*x162 + 2*b42*x164 + 2* b42*x165 - 2*b42*x167 - 2*b42*x169 - 2*b42*x170 - 2*b42*x171 - 2*b42*x172 - 2*b42*x173 - 2*b42*b174 + 2*b42*x175 + 2*b42*x176 + 2*b42*x177 - 2*b42* b178 + 2*b42*b179 - 2*b42*b180 + 2*b43*b90 + 8*b43 + 2*b43*b92 + 2*b43*b94 - 2*b43*b95 + 2*b43*b96 - 2*b43*b97 + 2*b43*b98 + 2*b43*b100 + 2*b43*b101 - 2*b43*b102 - 2*b43*b104 + 2*b43*b105 + 2*b43*b109 - 2*b43*b110 - 2*b43* b112 - 2*b43*b113 - 2*b43*b114 - 2*b43*b115 - 2*b43*b117 - 2*b43*b118 - 2* b43*b119 - 2*b43*b122 - 2*b43*b123 + 2*b43*b124 + 2*b43*b125 + 2*b43*b126 + 2*b43*b127 + 2*b43*b129 + 2*b43*b131 + 2*b43*b134 - 2*b43*b137 + 2*b43* b138 - 2*b43*b141 + 2*b43*b142 - 2*b43*b145 + 2*b43*b146 - 2*b43*b148 - 2* b43*b149 - 2*b43*x150 - 2*b43*x151 - 2*b43*x154 - 2*b43*x155 + 2*b43*x157 - 2*b43*x160 + 2*b43*x161 - 2*b43*x163 + 2*b43*x164 + 2*b43*x166 - 2*b43* x169 - 2*b43*x170 - 2*b43*x173 - 2*b43*b174 - 2*b43*x175 - 2*b43*x176 - 2* b43*b178 + 2*b43*b180 + 2*b44*b90 - 7*b44 + 2*b44*b96 + 2*b44*b101 + 2*b44 *b109 + 2*b44*b111 - 2*b44*b113 - 2*b44*b114 - 2*b44*b115 - 2*b44*b117 - 2 *b44*b118 - 2*b44*b119 - 2*b44*b122 - 2*b44*b123 + 2*b44*b125 + 2*b44*b127 + 2*b44*b131 + 2*b44*b132 + 2*b44*b133 + 2*b44*b136 + 2*b44*b140 + b140 + 2*b44*b141 - 2*b44*b143 - 2*b44*b145 + 2*b44*x156 + 2*b44*x159 + 2*b44* x160 + 2*b44*x166 + 2*b44*x167 - 2*b44*x176 + 2*b45*b90 + 9*b45 + 2*b45* b92 - 2*b45*b93 - 2*b45*b95 - 2*b45*b96 - 2*b45*b97 - 2*b45*b100 - 2*b45* b101 - 2*b45*b102 - 2*b45*b104 + 2*b45*b105 - 2*b45*b109 - 2*b45*b110 - 2* b45*b112 - 2*b45*b113 - 2*b45*b114 - 2*b45*b115 - 2*b45*b117 - 2*b45*b118 - 2*b45*b119 - 2*b45*b122 - 2*b45*b123 + 2*b45*b124 + 2*b45*b128 + 2*b45* b129 + 2*b45*b132 - 2*b45*b133 - 2*b45*b135 - 2*b45*b136 + 2*b45*b138 - 2* b45*b140 + 2*b45*b145 + 2*b45*b146 + 2*b45*b148 + 2*b45*x157 + 2*b45*x160 + 2*b45*x161 + 2*b45*x163 + 2*b45*x164 - 2*b45*x166 - 2*b45*x169 - 2*b45* x170 + 2*b45*x173 - 2*b45*b174 + 2*b45*x175 + 2*b45*x176 - 2*b45*b178 + 2* b46*b126 - 13*b46 + 2*b46*b127 + 2*b46*b129 + 2*b46*b130 + 2*b46*b132 + 2* b46*b134 + 2*b46*b136 + 2*b46*b138 + 2*b46*b139 + 2*b46*b141 + 2*b46*b142 + 2*b46*b144 + 2*b46*b146 + 2*b46*b148 - 2*b46*x150 - 2*b46*x151 - 2*b46* x152 + 2*x152 - 2*b46*x153 - 2*b46*x154 - 2*b46*x162 + 2*b46*x163 + 2*b46* x164 + 2*b46*x165 + 2*b46*x167 - 2*b46*x169 + 2*b46*x170 - 2*b46*x171 + 2* b46*x172 + 2*b46*x173 - 2*b46*x176 + 2*b46*b179 - 2*b47*b93 + 8*b47 - 2* b47*b94 - 2*b47*b96 - 2*b47*b101 - 2*b47*b103 - 2*b47*b105 - 2*b47*b107 - 2*b47*b109 + 2*b48*b129 - 8*b48 + 2*b48*b130 + 2*b48*b138 + 2*b48*b139 + 2 *b48*b146 + 2*b48*x161 + 2*b48*x164 + 2*b48*x165 - 2*b48*x169 - 2*b48*x171 + 2*b48*x177 + 2*b48*b179 + 2*b49*b124 - 9*b49 + 2*b49*b128 + 2*b49*b131 + 2*b49*b132 - 2*b49*b133 + 2*b49*b135 - 2*b49*b136 - 2*b49*b138 - 2*b49* b139 + 2*b49*b141 + 2*b49*b143 + 2*b49*b145 + 2*b49*b147 + 2*b49*b148 - 2* b49*x156 - 2*b49*x157 - 2*b49*x158 - 2*b49*x159 + 2*b49*x162 + 2*b49*x163 - 2*b49*x164 - 2*b49*x165 + 2*b49*x167 + 2*b49*x169 + 2*b49*x170 + 2*b49* x171 + 2*b49*x172 + 2*b49*x173 - 2*b49*x175 + 2*b49*x176 + 2*b49*b180 - 2* b50*b95 - 4*b50 - 2*b50*b97 - 2*b50*b102 - 2*b50*b104 - 2*b50*b106 - 2*b50 *b108 - 2*b50*b110 + 2*b50*b126 + 2*b50*b129 + 2*b50*b130 + 2*b50*b132 + 2 *b50*b134 + 2*b50*b135 + 2*b50*b138 + 2*b50*b139 + 2*b50*b141 + 2*b50*b142 + 2*b50*b143 + 2*b50*b146 + 2*b50*b148 - 2*b50*x150 - 2*b50*x151 - 2*b50* x152 - 2*b50*x153 - 2*b50*x154 - 2*b50*x156 - 2*b50*x157 - 2*b50*x158 - 2* b50*x159 + 2*b50*x161 + 2*b50*x163 + 2*b50*x164 + 2*b50*x165 + 2*b50*x167 - 2*b50*x169 + 2*b50*x170 - 2*b50*x171 + 2*b50*x172 + 2*b50*x173 - 2*b50* x175 + 2*b50*x177 - 2*b50*b178 + 2*b50*b179 + 2*b50*b180 - 2*b51*b93 + 14* b51 - 2*b51*b94 - 2*b51*b95 - 2*b51*b96 - 2*b51*b97 - 2*b51*b101 - 2*b51* b102 - 2*b51*b103 - 2*b51*b104 - 2*b51*b105 - 2*b51*b106 - 2*b51*b107 - 2* b51*b108 - 2*b51*b109 - 2*b51*b110 - 2*b51*b125 + 2*b51*b126 - 2*b51*b127 - 2*b51*b133 + 2*b51*b134 - 2*b51*b136 + 2*b51*b142 + 2*b51*b145 + 2*b51* b146 + 2*b51*b147 - 2*b51*x150 - 2*b51*x151 - 2*b51*x152 - 2*b51*x153 - 2* b51*x154 + 2*b51*x161 + 2*b51*x162 + 2*b51*x176 + 2*b51*x177 - 2*b51*b178 + 2*b51*b179 - 2*b52*b95 + 19*b52 - 2*b52*b97 - 2*b52*b102 - 2*b52*b104 - 2*b52*b106 - 2*b52*b108 - 2*b52*b110 - 2*b52*b113 - 2*b52*b114 - 2*b52* b115 - 2*b52*b118 - 2*b52*b119 - 2*b52*b120 - 2*b52*b121 - 2*b52*b122 + 2* b52*b124 + 2*b52*b125 + 2*b52*b126 + 2*b52*b127 + 2*b52*b129 + 2*b52*b131 + 2*b52*b134 + 2*b52*b135 - 2*b52*b137 - 2*b52*b139 + 2*b52*b142 + 2*b52* b143 - 2*b52*b145 - 2*b52*x150 - 2*b52*x151 - 2*b52*x152 - 2*b52*x153 - 2* b52*x154 - 2*b52*x156 - 2*b52*x157 - 2*b52*x158 - 2*b52*x159 + 2*b52*x164 + 2*b52*x166 - 2*b52*x168 + 2*b52*x171 - 2*b52*x175 - 2*b52*x176 - 2*b52* x177 - 2*b52*b178 - 2*b52*b179 + 2*b52*b180 - 2*b53*b113 - 3*b53 - 2*b53* b114 - 2*b53*b115 - 2*b53*b118 - 2*b53*b119 - 2*b53*b120 - 2*b53*b121 - 2* b53*b122 + 2*b53*b125 + 2*b53*b127 + 2*b53*b131 + 2*b53*b132 + 2*b53*b133 + 2*b53*b136 + 2*b53*b140 + 2*b53*b141 - 2*b53*b145 - 2*b53*b146 + 2*b53* b148 - 2*b53*x161 + 2*b53*x163 + 2*b53*x166 + 2*b53*x167 + 2*b53*x169 + 2* b53*x170 + 2*b53*x171 + 2*b53*x172 + 2*b53*x173 - 2*b53*x176 - 2*b53*x177 - 2*b53*b179 - 2*b54*b93 + 17*b54 - 2*b54*b94 - 2*b54*b95 - 2*b54*b96 - 2 *b54*b97 - 2*b54*b101 - 2*b54*b102 - 2*b54*b103 - 2*b54*b104 - 2*b54*b105 - 2*b54*b106 - 2*b54*b107 - 2*b54*b108 - 2*b54*b109 - 2*b54*b110 - 2*b54* b113 - 2*b54*b114 - 2*b54*b115 - 2*b54*b118 - 2*b54*b119 - 2*b54*b120 - 2* b54*b121 - 2*b54*b122 + 2*b54*b124 + 2*b54*b128 + 2*b54*b129 + 2*b54*b132 - 2*b54*b133 - 2*b54*b136 - 2*b54*b139 - 2*b54*b140 + 2*b54*b141 + 2*b54* b145 + 2*b54*b146 + 2*b54*b148 + 2*b54*x161 + 2*b54*x163 - 2*b54*x165 - 2* b54*x166 + 2*b54*x167 - 2*b54*x168 - 2*b54*x169 + 2*b54*x170 + 2*b54*x172 + 2*b54*x173 + 2*b54*x176 - 2*b54*b178 - 2*b55*b98 + 5*b55 - 2*b55*b101 - 2*b55*b105 - 2*b55*b107 - 2*b55*b111 + 2*b56*x152 - 2*b56 + 2*b56*x153 + 2*b56*x161 - 2*b56*x170 - 2*b56*x172 + 2*b56*x177 - 2*b57*b134 + 2*b57 - 2*b57*b136 - 2*b57*b138 - 2*b57*b139 - 2*b57*b141 + 2*b57*b149 + 2*b57* x151 + 2*b57*x154 + 2*b57*x155 - 2*b57*x156 - 2*b57*x157 - 2*b57*x158 - 2* b57*x160 + 2*b57*x162 + 2*b57*x163 - 2*b57*x164 - 2*b57*x165 - 2*b57*x167 + 2*b57*x169 + 2*b57*x170 + 2*b57*x171 + 2*b57*x172 - 2*b57*x173 + 2*b57* x176 - 2*b58*b99 + 6*b58 - 2*b58*b102 - 2*b58*b106 - 2*b58*b108 - 2*b58* b112 + 2*b58*b149 - 2*b58*x150 - 2*b58*x156 - 2*b58*x157 - 2*b58*x158 - 2* b58*x160 + 2*b58*x161 + 2*b58*x163 + 2*b58*x177 - 2*b59*b98 + 20*b59 - 2* b59*b99 - 2*b59*b101 - 2*b59*b102 - 2*b59*b105 - 2*b59*b106 - 2*b59*b107 - 2*b59*b108 - 2*b59*b111 - 2*b59*b112 - 2*b59*b126 - 2*b59*b127 - 2*b59* b129 - 2*b59*b130 - 2*b59*b132 - 2*b59*b134 - 2*b59*b136 - 2*b59*b138 - 2* b59*b139 - 2*b59*b141 - 2*b59*x150 + 2*b59*x151 + 2*b59*x154 - 2*b59*x155 + 2*b59*x161 + 2*b59*x162 - 2*b59*x164 - 2*b59*x165 - 2*b59*x167 + 2*b59* x169 - 2*b59*x170 + 2*b59*x171 - 2*b59*x172 - 2*b59*x173 + 2*b59*x176 + 2* b59*x177 - 2*b60*b99 + 26*b60 - 2*b60*b102 - 2*b60*b106 - 2*b60*b108 - 2* b60*b112 - 2*b60*b116 - 2*b60*b118 - 2*b60*b120 - 2*b60*b121 - 2*b60*b123 - 2*b60*b134 - 2*b60*b136 - 2*b60*b138 - 2*b60*b139 - 2*b60*b141 - 2*b60* b142 - 2*b60*b144 - 2*b60*b146 - 2*b60*b148 + 2*b60*b149 - 2*b60*x153 + 2* b60*x154 - 2*b60*x155 - 2*b60*x156 - 2*b60*x157 - 2*b60*x158 - 2*b60*x160 + 2*b60*x162 - 2*b60*x163 - 2*b60*x168 + 2*b60*x169 - 2*b60*x170 + 2*b60* x171 - 2*b60*x173 - 2*b60*x177 - 2*b60*b179 - 2*b61*b116 + 5*b61 - 2*b61* b118 - 2*b61*b120 - 2*b61*b121 - 2*b61*b123 - 2*b61*b142 - 2*b61*b144 - 2* b61*b146 - 2*b61*b148 + 2*b61*x150 + 2*b61*x154 + 2*b61*x155 - 2*b61*x161 + 2*b61*x162 + 2*b61*x169 + 2*b61*x170 + 2*b61*x171 + 2*b61*x172 - 2*b61* x173 - 2*b61*x177 - 2*b61*b179 - 2*b62*b98 + 17*b62 - 2*b62*b99 - 2*b62* b101 - 2*b62*b102 - 2*b62*b105 - 2*b62*b106 - 2*b62*b107 - 2*b62*b108 - 2* b62*b111 - 2*b62*b112 - 2*b62*b116 - 2*b62*b118 - 2*b62*b120 - 2*b62*b121 - 2*b62*b123 - 2*b62*b134 - 2*b62*b136 - 2*b62*b138 - 2*b62*b139 - 2*b62* b141 + 2*b62*x151 + 2*b62*x152 + 2*b62*x155 + 2*b62*x161 + 2*b62*x163 - 2* b62*x164 - 2*b62*x165 - 2*b62*x167 - 2*b62*x168 + 2*b62*x172 + 2*b62*x176 + 2*b63*b105 - 2*b63 + 2*b63*b107 + 2*b64*b94 - 5*b64 + 2*b64*b100 + 2* b64*b103 + 2*b64*b109 + 2*b64*b111 + 2*b65*b92 - 6*b65 + 2*b65*b98 + 2*b65 *b100 + 2*b65*b105 + 2*b65*b107 + 2*b65*b111 + 2*b66*b92 - 8*b66 + 2*b66* b93 + 2*b66*b94 + 2*b66*b98 + 2*b66*b103 + 2*b66*b105 + 2*b66*b107 + 2*b66 *b109 + 2*b67*b90 - 9*b67 + 2*b67*b92 + 2*b67*b94 + 2*b67*b96 + 2*b67*b98 + 2*b67*b100 + 2*b67*b101 + 2*b67*b105 + 2*b67*b109 + 2*b68*b90 - 5*b68 + 2*b68*b96 + 2*b68*b101 + 2*b68*b109 + 2*b68*b111 + 2*b69*b90 - 6*b69 + 2*b69*b92 + 2*b69*b94 + 2*b69*b103 + 2*b69*b105 + 2*b69*b111 - 2*b70*b138 + 2*b70 - 2*b70*b139 - 2*b70*x157 - 2*b70*x158 - 2*b70*x164 - 2*b70*x165 + 2*b70*x169 + 2*b70*x170 + 2*b70*x171 + 2*b70*x172 - 2*b71*b106 + 4*b71 - 2*b71*b108 - 2*b71*x152 - 2*b71*x153 - 2*b71*x157 - 2*b71*x158 + 2*b71* x170 + 2*b71*x172 - 2*b72*b105 + 10*b72 - 2*b72*b106 - 2*b72*b107 - 2*b72* b108 - 2*b72*b129 - 2*b72*b130 - 2*b72*b138 - 2*b72*b139 - 2*b72*x152 - 2* b72*x153 - 2*b72*x164 - 2*b72*x165 + 2*b72*x169 + 2*b72*x171 - 2*b73*b106 + 13*b73 - 2*b73*b108 - 2*b73*b120 - 2*b73*b121 - 2*b73*b138 - 2*b73*b139 - 2*b73*b146 - 2*b73*x152 - 2*b73*x153 - 2*b73*x157 - 2*b73*x158 - 2*b73* x161 - 2*b73*x168 + 2*b73*x169 + 2*b73*x171 - 2*b73*x177 - 2*b73*b179 - 2* b74*b120 + 2*b74 - 2*b74*b121 - 2*b74*b146 - 2*b74*x161 + 2*b74*x169 + 2* b74*x170 + 2*b74*x171 + 2*b74*x172 - 2*b74*x177 - 2*b74*b179 - 2*b75*b105 + 9*b75 - 2*b75*b106 - 2*b75*b107 - 2*b75*b108 - 2*b75*b120 - 2*b75*b121 - 2*b75*b138 - 2*b75*b139 - 2*b75*x164 - 2*b75*x165 - 2*b75*x168 + 2*b75* x170 + 2*b75*x172 - 2*b76*b95 + 4*b76 - 2*b76*b104 - 2*b76*b110 - 2*b76* b112 + 2*b76*b134 + 2*b76*b135 + 2*b76*b138 + 2*b76*b139 + 2*b76*b141 - 2* b76*b149 - 2*b76*x151 - 2*b76*x154 - 2*b76*x155 + 2*b76*x157 + 2*b76*x158 - 2*b76*x159 + 2*b76*x164 + 2*b76*x165 + 2*b76*x167 - 2*b76*x169 - 2*b76* x170 - 2*b76*x171 - 2*b76*x172 + 2*b76*x173 - 2*b76*b174 - 2*b76*x175 - 2* b77*b94 + 18*b77 - 2*b77*b95 - 2*b77*b100 - 2*b77*b103 - 2*b77*b104 - 2* b77*b109 - 2*b77*b110 - 2*b77*b111 - 2*b77*b112 - 2*b77*b124 - 2*b77*b128 - 2*b77*b131 - 2*b77*b132 + 2*b77*b134 - 2*b77*b135 + 2*b77*b138 + 2*b77* b139 - 2*b77*b141 - 2*b77*b149 - 2*b77*x151 - 2*b77*x154 - 2*b77*x155 + 2* b77*x157 + 2*b77*x158 + 2*b77*x159 + 2*b77*x164 + 2*b77*x165 - 2*b77*x167 - 2*b77*x169 - 2*b77*x170 - 2*b77*x171 - 2*b77*x172 - 2*b77*x173 - 2*b77* b174 + 2*b77*x175 - 2*b77*b180 - 2*b78*b95 + 20*b78 - 2*b78*b104 - 2*b78* b110 - 2*b78*b112 - 2*b78*b114 - 2*b78*b117 - 2*b78*b119 - 2*b78*b122 - 2* b78*b123 + 2*b78*b133 + 2*b78*b134 + 2*b78*b136 - 2*b78*b137 + 2*b78*b138 - 2*b78*b141 - 2*b78*b143 - 2*b78*b145 - 2*b78*b147 - 2*b78*b148 - 2*b78* b149 - 2*b78*x151 - 2*b78*x154 - 2*b78*x155 + 2*b78*x156 + 2*b78*x157 - 2* b78*x160 - 2*b78*x162 - 2*b78*x163 + 2*b78*x164 + 2*b78*x166 - 2*b78*x169 - 2*b78*x170 - 2*b78*x173 - 2*b78*b174 - 2*b78*x175 - 2*b78*x176 - 2*b79* b114 + 3*b79 - 2*b79*b117 - 2*b79*b119 - 2*b79*b122 - 2*b79*b123 + 2*b79* b133 + 2*b79*b136 + 2*b79*b140 + 2*b79*b141 - 2*b79*b143 - 2*b79*b145 - 2* b79*b147 - 2*b79*b148 + 2*b79*x156 + 2*b79*x159 + 2*b79*x160 - 2*b79*x162 - 2*b79*x163 + 2*b79*x166 + 2*b79*x167 - 2*b79*x176 - 2*b80*b94 + 14*b80 - 2*b80*b95 - 2*b80*b100 - 2*b80*b103 - 2*b80*b104 - 2*b80*b109 - 2*b80* b110 - 2*b80*b111 - 2*b80*b112 - 2*b80*b114 - 2*b80*b117 - 2*b80*b119 - 2* b80*b122 - 2*b80*b123 - 2*b80*b135 + 2*b80*b138 - 2*b80*b140 + 2*b80*x157 + 2*b80*x160 + 2*b80*x164 - 2*b80*x166 - 2*b80*x169 - 2*b80*x170 + 2*b80* x173 - 2*b80*b174 + 2*b80*x175 - 2*b81*b92 + 14*b81 + 2*b81*b95 - 2*b81* b98 - 2*b81*b100 + 2*b81*b104 - 2*b81*b105 - 2*b81*b107 + 2*b81*b110 - 2* b81*b111 - 2*b81*b112 - 2*b81*b126 - 2*b81*b129 - 2*b81*b130 - 2*b81*b132 - 2*b81*b134 - 2*b81*b135 - 2*b81*b138 - 2*b81*b139 - 2*b81*b141 - 2*b81* b149 + 2*b81*x151 + 2*b81*x154 - 2*b81*x155 + 2*b81*x157 + 2*b81*x158 + 2* b81*x159 - 2*b81*x164 - 2*b81*x165 - 2*b81*x167 + 2*b81*x169 - 2*b81*x170 + 2*b81*x171 - 2*b81*x172 - 2*b81*x173 - 2*b81*b174 + 2*b81*x175 + 2*b81* b178 - 2*b81*b180 + 2*b82*b91 + 16*b82 + 2*b82*b95 + 2*b82*b97 + 2*b82* b102 - 2*b82*b108 + 2*b82*b110 - 2*b82*b112 - 2*b82*b116 - 2*b82*b117 - 2* b82*b120 - 2*b82*b121 - 2*b82*b123 - 2*b82*b134 - 2*b82*b135 - 2*b82*b138 - 2*b82*b139 - 2*b82*b141 - 2*b82*b142 - 2*b82*b143 - 2*b82*b146 - 2*b82* b148 + 2*b82*x150 - 2*b82*x153 + 2*b82*x154 - 2*b82*x155 + 2*b82*x156 - 2* b82*x158 + 2*b82*x159 - 2*b82*x160 - 2*b82*x161 - 2*b82*x163 - 2*b82*x168 + 2*b82*x169 - 2*b82*x170 + 2*b82*x171 - 2*b82*x173 - 2*b82*x177 - 2*b82* b179 + 2*b83*b91 - b83 + 2*b83*b97 + 2*b83*b102 + 2*b83*b110 + 2*b83*b112 - 2*b83*b116 - 2*b83*b117 - 2*b83*b120 - 2*b83*b121 - 2*b83*b123 - 2*b83* b142 - 2*b83*b143 - 2*b83*b146 - 2*b83*b148 + 2*b83*x150 + 2*b83*x154 + 2* b83*x155 + 2*b83*x156 + 2*b83*x159 + 2*b83*x160 - 2*b83*x161 - 2*b83*x163 + 2*b83*x169 + 2*b83*x170 + 2*b83*x171 + 2*b83*x172 - 2*b83*x173 - 2*b83* x177 - 2*b83*b179 + 2*b84*b91 + 13*b84 - 2*b84*b92 + 2*b84*b95 - 2*b84*b98 - 2*b84*b99 - 2*b84*b100 + 2*b84*b104 - 2*b84*b105 - 2*b84*b107 - 2*b84* b108 - 2*b84*b111 - 2*b84*b116 - 2*b84*b117 - 2*b84*b120 - 2*b84*b121 - 2* b84*b123 - 2*b84*b134 - 2*b84*b135 - 2*b84*b138 - 2*b84*b139 - 2*b84*b141 + 2*b84*x151 + 2*b84*x152 + 2*b84*x155 + 2*b84*x157 + 2*b84*x160 - 2*b84* x164 - 2*b84*x165 - 2*b84*x167 - 2*b84*x168 + 2*b84*x172 - 2*b84*b174 + 2* b84*x175 + 2*b85*b90 - 12*b85 + 2*b85*b91 + 2*b85*b96 + 2*b85*b97 + 2*b85* b101 + 2*b85*b102 + 2*b85*b109 + 2*b85*b110 + 2*b85*b111 + 2*b85*b112 - 2* b85*b113 - 2*b85*b114 - 2*b85*b116 - 2*b85*b119 - 2*b85*b120 - 2*b85*b121 - 2*b85*b122 + 2*b85*b125 + 2*b85*b127 + 2*b85*b131 + 2*b85*b132 + 2*b85* b133 + 2*b85*b136 + 2*b85*b140 + 2*b85*b141 - 2*b85*b142 - 2*b85*b145 - 2* b85*b146 - 2*b85*b147 + 2*b85*x150 + 2*b85*x154 + 2*b85*x155 - 2*b85*x161 - 2*b85*x162 + 2*b85*x166 + 2*b85*x167 + 2*b85*x169 + 2*b85*x170 + 2*b85* x171 + 2*b85*x172 + 2*b85*x173 - 2*b85*x176 - 2*b85*x177 - 2*b85*b179 + 2* b86*b90 + 6*b86 + 2*b86*b91 - 2*b86*b93 - 2*b86*b98 - 2*b86*b99 - 2*b86* b107 - 2*b86*b108 - 2*b86*b109 - 2*b86*b110 + 2*b86*b111 + 2*b86*b112 - 2* b86*b113 - 2*b86*b114 - 2*b86*b116 - 2*b86*b119 - 2*b86*b120 - 2*b86*b121 - 2*b86*b122 + 2*b86*b124 + 2*b86*b128 + 2*b86*b129 + 2*b86*b132 - 2*b86* b134 - 2*b86*b139 - 2*b86*b140 + 2*b86*b141 + 2*b86*x151 + 2*b86*x152 + 2* b86*x155 - 2*b86*x165 - 2*b86*x166 + 2*b86*x167 - 2*b86*x168 - 2*b86*x169 + 2*b86*x170 + 2*b86*x172 + 2*b86*x173 - 2*b86*b178 + 2*b87*b91 - 13*b87 + 2*b87*b97 + 2*b87*b102 + 2*b87*b110 + 2*b87*b112 - 2*b87*b114 - 2*b87* b116 - 2*b87*b117 - 2*b87*b120 + 2*b87*b123 + 2*b87*b133 + 2*b87*b136 + 2* b87*b140 + 2*b87*b141 - 2*b87*b142 - 2*b87*b143 - 2*b87*b146 + 2*b87*b148 + 2*b87*x150 + 2*b87*x154 + 2*b87*x155 + 2*b87*x156 + 2*b87*x159 + 2*b87* x160 - 2*b87*x161 + 2*b87*x163 + 2*b87*x169 + 2*b87*x170 + 2*b87*x173 - 2* b88*b90 + 7*b88 - 2*b88*b92 - 2*b88*b94 - 2*b88*b96 - 2*b88*b97 - 2*b88* b98 - 2*b88*b99 - 2*b88*b100 - 2*b88*b101 - 2*b88*b102 + 2*b88*b104 - 2* b88*b105 - 2*b88*b109 - 2*b88*b110 + 2*b88*b112 - 2*b88*b115 - 2*b88*b116 - 2*b88*b117 - 2*b88*b118 + 2*b88*b119 - 2*b88*b122 + 2*b88*b123 - 2*b88* b133 - 2*b88*b134 - 2*b88*b135 - 2*b88*b136 + 2*b88*b137 - 2*b88*b140 + 2* b88*b141 + 2*b88*b145 + 2*b88*b146 + 2*b88*b148 + 2*b88*x151 + 2*b88*x152 + 2*b88*x155 + 2*b88*x157 + 2*b88*x160 + 2*b88*x161 + 2*b88*x163 - 2*b88* x164 - 2*b88*x166 - 2*b88*x169 + 2*b88*x170 + 2*b88*x173 - 2*b88*b174 + 2* b88*x175 + 2*b88*x176 - 2*b89*b90 + 11*b89 - 2*b89*b91 - 2*b89*b96 - 2*b89 *b97 - 2*b89*b101 - 2*b89*b102 - 2*b89*b109 - 2*b89*b110 - 2*b89*b111 - 2* b89*b112 + 2*b89*b114 - 2*b89*b115 - 2*b89*b118 + 2*b89*b119 + 2*b89*b120 - 2*b89*b122 - 2*b89*b133 - 2*b89*b136 - 2*b89*b140 - 2*b89*b141 + 2*b89* b145 + 2*b89*b146 + 2*b89*b148 + 2*b89*x161 + 2*b89*x163 - 2*b89*x166 - 2* b89*x167 - 2*b89*x169 - 2*b89*x170 + 2*b89*x173 + 2*b89*x176 - 2*b90*b181 + 2*b90*b182 - 2*b91*b181 + 2*b91*b182 + 2*b92*b182 - 2*b92*b183 + 2*b94* b182 + 2*b95*b183 + 2*b96*b182 - 2*b96*b183 + 2*b97*b182 + 2*b97*b183 + 2* b98*b182 + 2*b100*b181 + 2*b100*b182 + 2*b101*b181 + 2*b101*b182 + 2*b102* b181 + 2*b102*b182 + 2*b102*b183 - 2*b103*b183 - 2*b104*b182 + 2*b104*b183 + 2*b105*b182 - 2*b107*b183 - 2*b108*b182 + 2*b109*b182 + 2*b110*b183 - 2 *b111*b181 - 2*b112*b181 + 2*b112*b183 - 2*b113*b182 - 2*b114*b182 - 2* b116*b182 + 2*b117*b181 + 2*b118*b181 - 2*b119*b182 - 2*b120*b182 - 2*b121 *b182 - 2*b122*b182 + 2*b124*b182 + 2*b125*b182 - 2*b125*b183 + 2*b126* b182 + 2*b127*b182 - 2*b128*b183 + 2*b129*b182 - 2*b130*b183 + 2*b131*b182 + 2*b133*b182 - 2*b133*b183 + 2*b135*b182 + 2*b136*b182 - 2*b137*b182 - 2 *b137*b183 - 2*b139*b182 - 2*b139*b183 - 2*b142*b182 + 2*b143*b183 + 2* b144*b183 - 2*b145*b182 - 2*b146*b182 - 2*b147*b182 + 2*b147*b183 + 2*b148 *b183 + 2*b149*b182 + 2*x150*b182 - 2*x151*b182 - 2*x153*b182 - 2*x157* b182 - 2*x158*b182 - 2*x158*b183 - 2*x159*b182 - 2*x160*b181 - 2*x161*b182 - 2*x162*b182 - 2*x163*b181 + 2*x164*b182 - 2*x165*b183 + 2*x166*b182 + 2 *x166*b183 + 2*x167*b183 - 2*x168*b182 + 2*x171*b182 + 2*x171*b183 + 2* x172*b183 + 2*b174*b181 + 2*b174*b182 + 2*b174*b183 - 2*x175*b182 - 2*x175 *b183 - 2*x176*b182 - 2*x176*b183 - 2*x177*b182 - 2*x177*b183 - 2*b178* b182 + 2*b178*b183 - 2*b179*b182 - 2*b179*b183 + 2*b180*b182 - objvar =E= 0; e2.. b2 + b3 - b181 =L= 1; e3.. b3 - b4 + b183 =L= 1; e4.. b3 - b5 + b6 =L= 1; e5.. b3 - b7 + b8 =L= 1; e6.. b3 - b9 + b10 =L= 1; e7.. b3 - b11 + b12 =L= 1; e8.. b3 - b13 + b14 =L= 1; e9.. b3 - b15 + b16 =L= 1; e10.. b3 - b17 + b18 =L= 1; e11.. b3 - b19 + b20 =L= 1; e12.. b3 - b21 + b22 =L= 1; e13.. b3 - b23 + b24 =L= 1; e14.. - b4 + b25 + b181 =L= 1; e15.. - b5 + b26 + b181 =L= 1; e16.. - b7 + b27 + b181 =L= 1; e17.. - b9 + b28 + b181 =L= 1; e18.. - b11 + b29 + b181 =L= 1; e19.. - b13 + b30 + b181 =L= 1; e20.. - b15 + b31 + b181 =L= 1; e21.. - b17 + b32 + b181 =L= 1; e22.. - b19 + b33 + b181 =L= 1; e23.. - b21 + b34 + b181 =L= 1; e24.. - b23 + b35 + b181 =L= 1; e25.. b4 - b5 + b36 =L= 1; e26.. b4 - b7 + b37 =L= 1; e27.. b4 - b9 + b38 =L= 1; e28.. b4 - b11 + b39 =L= 1; e29.. b4 - b13 + b40 =L= 1; e30.. b4 - b15 + b41 =L= 1; e31.. b4 - b17 + b42 =L= 1; e32.. b4 - b19 + b43 =L= 1; e33.. b4 - b21 + b44 =L= 1; e34.. b4 - b23 + b45 =L= 1; e35.. b5 - b7 + b46 =L= 1; e36.. b5 - b9 + b47 =L= 1; e37.. b5 - b11 + b48 =L= 1; e38.. b5 - b13 + b49 =L= 1; e39.. b5 - b15 + b50 =L= 1; e40.. b5 - b17 + b51 =L= 1; e41.. b5 - b19 + b52 =L= 1; e42.. b5 - b21 + b53 =L= 1; e43.. b5 - b23 + b54 =L= 1; e44.. b7 - b9 + b55 =L= 1; e45.. b7 - b11 + b56 =L= 1; e46.. b7 - b13 + b57 =L= 1; e47.. b7 - b15 + b58 =L= 1; e48.. b7 - b17 + b59 =L= 1; e49.. b7 - b19 + b60 =L= 1; e50.. b7 - b21 + b61 =L= 1; e51.. b7 - b23 + b62 =L= 1; e52.. b9 - b11 + b63 =L= 1; e53.. b9 - b13 + b64 =L= 1; e54.. b9 - b15 + b65 =L= 1; e55.. b9 - b17 + b66 =L= 1; e56.. b9 - b19 + b67 =L= 1; e57.. b9 - b21 + b68 =L= 1; e58.. b9 - b23 + b69 =L= 1; e59.. b11 - b13 + b70 =L= 1; e60.. b11 - b15 + b71 =L= 1; e61.. b11 - b17 + b72 =L= 1; e62.. b11 - b19 + b73 =L= 1; e63.. b11 - b21 + b74 =L= 1; e64.. b11 - b23 + b75 =L= 1; e65.. b13 - b15 + b76 =L= 1; e66.. b13 - b17 + b77 =L= 1; e67.. b13 - b19 + b78 =L= 1; e68.. b13 - b21 + b79 =L= 1; e69.. b13 - b23 + b80 =L= 1; e70.. b15 - b17 + b81 =L= 1; e71.. b15 - b19 + b82 =L= 1; e72.. b15 - b21 + b83 =L= 1; e73.. b15 - b23 + b84 =L= 1; e74.. b17 - b19 + b182 =L= 1; e75.. b17 - b21 + b85 =L= 1; e76.. b17 - b23 + b86 =L= 1; e77.. b19 - b21 + b87 =L= 1; e78.. b19 - b23 + b88 =L= 1; e79.. b21 - b23 + b89 =L= 1; e80.. b2 + b25 - b183 =L= 1; e81.. b2 - b6 + b26 =L= 1; e82.. b2 - b8 + b27 =L= 1; e83.. b2 - b10 + b28 =L= 1; e84.. b2 - b12 + b29 =L= 1; e85.. b2 - b14 + b30 =L= 1; e86.. b2 - b16 + b31 =L= 1; e87.. b2 - b18 + b32 =L= 1; e88.. b2 - b20 + b33 =L= 1; e89.. b2 - b22 + b34 =L= 1; e90.. b2 - b24 + b35 =L= 1; e91.. - b6 + b36 + b183 =L= 1; e92.. - b8 + b37 + b183 =L= 1; e93.. - b10 + b38 + b183 =L= 1; e94.. - b12 + b39 + b183 =L= 1; e95.. - b14 + b40 + b183 =L= 1; e96.. - b16 + b41 + b183 =L= 1; e97.. - b18 + b42 + b183 =L= 1; e98.. - b20 + b43 + b183 =L= 1; e99.. - b22 + b44 + b183 =L= 1; e100.. - b24 + b45 + b183 =L= 1; e101.. b6 - b8 + b46 =L= 1; e102.. b6 - b10 + b47 =L= 1; e103.. b6 - b12 + b48 =L= 1; e104.. b6 - b14 + b49 =L= 1; e105.. b6 - b16 + b50 =L= 1; e106.. b6 - b18 + b51 =L= 1; e107.. b6 - b20 + b52 =L= 1; e108.. b6 - b22 + b53 =L= 1; e109.. b6 - b24 + b54 =L= 1; e110.. b8 - b10 + b55 =L= 1; e111.. b8 - b12 + b56 =L= 1; e112.. b8 - b14 + b57 =L= 1; e113.. b8 - b16 + b58 =L= 1; e114.. b8 - b18 + b59 =L= 1; e115.. b8 - b20 + b60 =L= 1; e116.. b8 - b22 + b61 =L= 1; e117.. b8 - b24 + b62 =L= 1; e118.. b10 - b12 + b63 =L= 1; e119.. b10 - b14 + b64 =L= 1; e120.. b10 - b16 + b65 =L= 1; e121.. b10 - b18 + b66 =L= 1; e122.. b10 - b20 + b67 =L= 1; e123.. b10 - b22 + b68 =L= 1; e124.. b10 - b24 + b69 =L= 1; e125.. b12 - b14 + b70 =L= 1; e126.. b12 - b16 + b71 =L= 1; e127.. b12 - b18 + b72 =L= 1; e128.. b12 - b20 + b73 =L= 1; e129.. b12 - b22 + b74 =L= 1; e130.. b12 - b24 + b75 =L= 1; e131.. b14 - b16 + b76 =L= 1; e132.. b14 - b18 + b77 =L= 1; e133.. b14 - b20 + b78 =L= 1; e134.. b14 - b22 + b79 =L= 1; e135.. b14 - b24 + b80 =L= 1; e136.. b16 - b18 + b81 =L= 1; e137.. b16 - b20 + b82 =L= 1; e138.. b16 - b22 + b83 =L= 1; e139.. b16 - b24 + b84 =L= 1; e140.. b18 - b20 + b182 =L= 1; e141.. b18 - b22 + b85 =L= 1; e142.. b18 - b24 + b86 =L= 1; e143.. b20 - b22 + b87 =L= 1; e144.. b20 - b24 + b88 =L= 1; e145.. b22 - b24 + b89 =L= 1; e146.. b25 - b26 + b36 =L= 1; e147.. b25 - b27 + b37 =L= 1; e148.. b25 - b28 + b38 =L= 1; e149.. b25 - b29 + b39 =L= 1; e150.. b25 - b30 + b40 =L= 1; e151.. b25 - b31 + b41 =L= 1; e152.. b25 - b32 + b42 =L= 1; e153.. b25 - b33 + b43 =L= 1; e154.. b25 - b34 + b44 =L= 1; e155.. b25 - b35 + b45 =L= 1; e156.. b26 - b27 + b46 =L= 1; e157.. b26 - b28 + b47 =L= 1; e158.. b26 - b29 + b48 =L= 1; e159.. b26 - b30 + b49 =L= 1; e160.. b26 - b31 + b50 =L= 1; e161.. b26 - b32 + b51 =L= 1; e162.. b26 - b33 + b52 =L= 1; e163.. b26 - b34 + b53 =L= 1; e164.. b26 - b35 + b54 =L= 1; e165.. b27 - b28 + b55 =L= 1; e166.. b27 - b29 + b56 =L= 1; e167.. b27 - b30 + b57 =L= 1; e168.. b27 - b31 + b58 =L= 1; e169.. b27 - b32 + b59 =L= 1; e170.. b27 - b33 + b60 =L= 1; e171.. b27 - b34 + b61 =L= 1; e172.. b27 - b35 + b62 =L= 1; e173.. b28 - b29 + b63 =L= 1; e174.. b28 - b30 + b64 =L= 1; e175.. b28 - b31 + b65 =L= 1; e176.. b28 - b32 + b66 =L= 1; e177.. b28 - b33 + b67 =L= 1; e178.. b28 - b34 + b68 =L= 1; e179.. b28 - b35 + b69 =L= 1; e180.. b29 - b30 + b70 =L= 1; e181.. b29 - b31 + b71 =L= 1; e182.. b29 - b32 + b72 =L= 1; e183.. b29 - b33 + b73 =L= 1; e184.. b29 - b34 + b74 =L= 1; e185.. b29 - b35 + b75 =L= 1; e186.. b30 - b31 + b76 =L= 1; e187.. b30 - b32 + b77 =L= 1; e188.. b30 - b33 + b78 =L= 1; e189.. b30 - b34 + b79 =L= 1; e190.. b30 - b35 + b80 =L= 1; e191.. b31 - b32 + b81 =L= 1; e192.. b31 - b33 + b82 =L= 1; e193.. b31 - b34 + b83 =L= 1; e194.. b31 - b35 + b84 =L= 1; e195.. b32 - b33 + b182 =L= 1; e196.. b32 - b34 + b85 =L= 1; e197.. b32 - b35 + b86 =L= 1; e198.. b33 - b34 + b87 =L= 1; e199.. b33 - b35 + b88 =L= 1; e200.. b34 - b35 + b89 =L= 1; e201.. b36 - b37 + b46 =L= 1; e202.. b36 - b38 + b47 =L= 1; e203.. b36 - b39 + b48 =L= 1; e204.. b36 - b40 + b49 =L= 1; e205.. b36 - b41 + b50 =L= 1; e206.. b36 - b42 + b51 =L= 1; e207.. b36 - b43 + b52 =L= 1; e208.. b36 - b44 + b53 =L= 1; e209.. b36 - b45 + b54 =L= 1; e210.. b37 - b38 + b55 =L= 1; e211.. b37 - b39 + b56 =L= 1; e212.. b37 - b40 + b57 =L= 1; e213.. b37 - b41 + b58 =L= 1; e214.. b37 - b42 + b59 =L= 1; e215.. b37 - b43 + b60 =L= 1; e216.. b37 - b44 + b61 =L= 1; e217.. b37 - b45 + b62 =L= 1; e218.. b38 - b39 + b63 =L= 1; e219.. b38 - b40 + b64 =L= 1; e220.. b38 - b41 + b65 =L= 1; e221.. b38 - b42 + b66 =L= 1; e222.. b38 - b43 + b67 =L= 1; e223.. b38 - b44 + b68 =L= 1; e224.. b38 - b45 + b69 =L= 1; e225.. b39 - b40 + b70 =L= 1; e226.. b39 - b41 + b71 =L= 1; e227.. b39 - b42 + b72 =L= 1; e228.. b39 - b43 + b73 =L= 1; e229.. b39 - b44 + b74 =L= 1; e230.. b39 - b45 + b75 =L= 1; e231.. b40 - b41 + b76 =L= 1; e232.. b40 - b42 + b77 =L= 1; e233.. b40 - b43 + b78 =L= 1; e234.. b40 - b44 + b79 =L= 1; e235.. b40 - b45 + b80 =L= 1; e236.. b41 - b42 + b81 =L= 1; e237.. b41 - b43 + b82 =L= 1; e238.. b41 - b44 + b83 =L= 1; e239.. b41 - b45 + b84 =L= 1; e240.. b42 - b43 + b182 =L= 1; e241.. b42 - b44 + b85 =L= 1; e242.. b42 - b45 + b86 =L= 1; e243.. b43 - b44 + b87 =L= 1; e244.. b43 - b45 + b88 =L= 1; e245.. b44 - b45 + b89 =L= 1; e246.. b46 - b47 + b55 =L= 1; e247.. b46 - b48 + b56 =L= 1; e248.. b46 - b49 + b57 =L= 1; e249.. b46 - b50 + b58 =L= 1; e250.. b46 - b51 + b59 =L= 1; e251.. b46 - b52 + b60 =L= 1; e252.. b46 - b53 + b61 =L= 1; e253.. b46 - b54 + b62 =L= 1; e254.. b47 - b48 + b63 =L= 1; e255.. b47 - b49 + b64 =L= 1; e256.. b47 - b50 + b65 =L= 1; e257.. b47 - b51 + b66 =L= 1; e258.. b47 - b52 + b67 =L= 1; e259.. b47 - b53 + b68 =L= 1; e260.. b47 - b54 + b69 =L= 1; e261.. b48 - b49 + b70 =L= 1; e262.. b48 - b50 + b71 =L= 1; e263.. b48 - b51 + b72 =L= 1; e264.. b48 - b52 + b73 =L= 1; e265.. b48 - b53 + b74 =L= 1; e266.. b48 - b54 + b75 =L= 1; e267.. b49 - b50 + b76 =L= 1; e268.. b49 - b51 + b77 =L= 1; e269.. b49 - b52 + b78 =L= 1; e270.. b49 - b53 + b79 =L= 1; e271.. b49 - b54 + b80 =L= 1; e272.. b50 - b51 + b81 =L= 1; e273.. b50 - b52 + b82 =L= 1; e274.. b50 - b53 + b83 =L= 1; e275.. b50 - b54 + b84 =L= 1; e276.. b51 - b52 + b182 =L= 1; e277.. b51 - b53 + b85 =L= 1; e278.. b51 - b54 + b86 =L= 1; e279.. b52 - b53 + b87 =L= 1; e280.. b52 - b54 + b88 =L= 1; e281.. b53 - b54 + b89 =L= 1; e282.. b55 - b56 + b63 =L= 1; e283.. b55 - b57 + b64 =L= 1; e284.. b55 - b58 + b65 =L= 1; e285.. b55 - b59 + b66 =L= 1; e286.. b55 - b60 + b67 =L= 1; e287.. b55 - b61 + b68 =L= 1; e288.. b55 - b62 + b69 =L= 1; e289.. b56 - b57 + b70 =L= 1; e290.. b56 - b58 + b71 =L= 1; e291.. b56 - b59 + b72 =L= 1; e292.. b56 - b60 + b73 =L= 1; e293.. b56 - b61 + b74 =L= 1; e294.. b56 - b62 + b75 =L= 1; e295.. b57 - b58 + b76 =L= 1; e296.. b57 - b59 + b77 =L= 1; e297.. b57 - b60 + b78 =L= 1; e298.. b57 - b61 + b79 =L= 1; e299.. b57 - b62 + b80 =L= 1; e300.. b58 - b59 + b81 =L= 1; e301.. b58 - b60 + b82 =L= 1; e302.. b58 - b61 + b83 =L= 1; e303.. b58 - b62 + b84 =L= 1; e304.. b59 - b60 + b182 =L= 1; e305.. b59 - b61 + b85 =L= 1; e306.. b59 - b62 + b86 =L= 1; e307.. b60 - b61 + b87 =L= 1; e308.. b60 - b62 + b88 =L= 1; e309.. b61 - b62 + b89 =L= 1; e310.. b63 - b64 + b70 =L= 1; e311.. b63 - b65 + b71 =L= 1; e312.. b63 - b66 + b72 =L= 1; e313.. b63 - b67 + b73 =L= 1; e314.. b63 - b68 + b74 =L= 1; e315.. b63 - b69 + b75 =L= 1; e316.. b64 - b65 + b76 =L= 1; e317.. b64 - b66 + b77 =L= 1; e318.. b64 - b67 + b78 =L= 1; e319.. b64 - b68 + b79 =L= 1; e320.. b64 - b69 + b80 =L= 1; e321.. b65 - b66 + b81 =L= 1; e322.. b65 - b67 + b82 =L= 1; e323.. b65 - b68 + b83 =L= 1; e324.. b65 - b69 + b84 =L= 1; e325.. b66 - b67 + b182 =L= 1; e326.. b66 - b68 + b85 =L= 1; e327.. b66 - b69 + b86 =L= 1; e328.. b67 - b68 + b87 =L= 1; e329.. b67 - b69 + b88 =L= 1; e330.. b68 - b69 + b89 =L= 1; e331.. b70 - b71 + b76 =L= 1; e332.. b70 - b72 + b77 =L= 1; e333.. b70 - b73 + b78 =L= 1; e334.. b70 - b74 + b79 =L= 1; e335.. b70 - b75 + b80 =L= 1; e336.. b71 - b72 + b81 =L= 1; e337.. b71 - b73 + b82 =L= 1; e338.. b71 - b74 + b83 =L= 1; e339.. b71 - b75 + b84 =L= 1; e340.. b72 - b73 + b182 =L= 1; e341.. b72 - b74 + b85 =L= 1; e342.. b72 - b75 + b86 =L= 1; e343.. b73 - b74 + b87 =L= 1; e344.. b73 - b75 + b88 =L= 1; e345.. b74 - b75 + b89 =L= 1; e346.. b76 - b77 + b81 =L= 1; e347.. b76 - b78 + b82 =L= 1; e348.. b76 - b79 + b83 =L= 1; e349.. b76 - b80 + b84 =L= 1; e350.. b77 - b78 + b182 =L= 1; e351.. b77 - b79 + b85 =L= 1; e352.. b77 - b80 + b86 =L= 1; e353.. b78 - b79 + b87 =L= 1; e354.. b78 - b80 + b88 =L= 1; e355.. b79 - b80 + b89 =L= 1; e356.. b81 - b82 + b182 =L= 1; e357.. b81 - b83 + b85 =L= 1; e358.. b81 - b84 + b86 =L= 1; e359.. b82 - b83 + b87 =L= 1; e360.. b82 - b84 + b88 =L= 1; e361.. b83 - b84 + b89 =L= 1; e362.. - b85 + b87 + b182 =L= 1; e363.. - b86 + b88 + b182 =L= 1; e364.. b85 - b86 + b89 =L= 1; e365.. b87 - b88 + b89 =L= 1; e366.. - b2 - b3 + b181 =L= 0; e367.. - b3 + b4 - b183 =L= 0; e368.. - b3 + b5 - b6 =L= 0; e369.. - b3 + b7 - b8 =L= 0; e370.. - b3 + b9 - b10 =L= 0; e371.. - b3 + b11 - b12 =L= 0; e372.. - b3 + b13 - b14 =L= 0; e373.. - b3 + b15 - b16 =L= 0; e374.. - b3 + b17 - b18 =L= 0; e375.. - b3 + b19 - b20 =L= 0; e376.. - b3 + b21 - b22 =L= 0; e377.. - b3 + b23 - b24 =L= 0; e378.. b4 - b25 - b181 =L= 0; e379.. b5 - b26 - b181 =L= 0; e380.. b7 - b27 - b181 =L= 0; e381.. b9 - b28 - b181 =L= 0; e382.. b11 - b29 - b181 =L= 0; e383.. b13 - b30 - b181 =L= 0; e384.. b15 - b31 - b181 =L= 0; e385.. b17 - b32 - b181 =L= 0; e386.. b19 - b33 - b181 =L= 0; e387.. b21 - b34 - b181 =L= 0; e388.. b23 - b35 - b181 =L= 0; e389.. - b4 + b5 - b36 =L= 0; e390.. - b4 + b7 - b37 =L= 0; e391.. - b4 + b9 - b38 =L= 0; e392.. - b4 + b11 - b39 =L= 0; e393.. - b4 + b13 - b40 =L= 0; e394.. - b4 + b15 - b41 =L= 0; e395.. - b4 + b17 - b42 =L= 0; e396.. - b4 + b19 - b43 =L= 0; e397.. - b4 + b21 - b44 =L= 0; e398.. - b4 + b23 - b45 =L= 0; e399.. - b5 + b7 - b46 =L= 0; e400.. - b5 + b9 - b47 =L= 0; e401.. - b5 + b11 - b48 =L= 0; e402.. - b5 + b13 - b49 =L= 0; e403.. - b5 + b15 - b50 =L= 0; e404.. - b5 + b17 - b51 =L= 0; e405.. - b5 + b19 - b52 =L= 0; e406.. - b5 + b21 - b53 =L= 0; e407.. - b5 + b23 - b54 =L= 0; e408.. - b7 + b9 - b55 =L= 0; e409.. - b7 + b11 - b56 =L= 0; e410.. - b7 + b13 - b57 =L= 0; e411.. - b7 + b15 - b58 =L= 0; e412.. - b7 + b17 - b59 =L= 0; e413.. - b7 + b19 - b60 =L= 0; e414.. - b7 + b21 - b61 =L= 0; e415.. - b7 + b23 - b62 =L= 0; e416.. - b9 + b11 - b63 =L= 0; e417.. - b9 + b13 - b64 =L= 0; e418.. - b9 + b15 - b65 =L= 0; e419.. - b9 + b17 - b66 =L= 0; e420.. - b9 + b19 - b67 =L= 0; e421.. - b9 + b21 - b68 =L= 0; e422.. - b9 + b23 - b69 =L= 0; e423.. - b11 + b13 - b70 =L= 0; e424.. - b11 + b15 - b71 =L= 0; e425.. - b11 + b17 - b72 =L= 0; e426.. - b11 + b19 - b73 =L= 0; e427.. - b11 + b21 - b74 =L= 0; e428.. - b11 + b23 - b75 =L= 0; e429.. - b13 + b15 - b76 =L= 0; e430.. - b13 + b17 - b77 =L= 0; e431.. - b13 + b19 - b78 =L= 0; e432.. - b13 + b21 - b79 =L= 0; e433.. - b13 + b23 - b80 =L= 0; e434.. - b15 + b17 - b81 =L= 0; e435.. - b15 + b19 - b82 =L= 0; e436.. - b15 + b21 - b83 =L= 0; e437.. - b15 + b23 - b84 =L= 0; e438.. - b17 + b19 - b182 =L= 0; e439.. - b17 + b21 - b85 =L= 0; e440.. - b17 + b23 - b86 =L= 0; e441.. - b19 + b21 - b87 =L= 0; e442.. - b19 + b23 - b88 =L= 0; e443.. - b21 + b23 - b89 =L= 0; e444.. - b2 - b25 + b183 =L= 0; e445.. - b2 + b6 - b26 =L= 0; e446.. - b2 + b8 - b27 =L= 0; e447.. - b2 + b10 - b28 =L= 0; e448.. - b2 + b12 - b29 =L= 0; e449.. - b2 + b14 - b30 =L= 0; e450.. - b2 + b16 - b31 =L= 0; e451.. - b2 + b18 - b32 =L= 0; e452.. - b2 + b20 - b33 =L= 0; e453.. - b2 + b22 - b34 =L= 0; e454.. - b2 + b24 - b35 =L= 0; e455.. b6 - b36 - b183 =L= 0; e456.. b8 - b37 - b183 =L= 0; e457.. b10 - b38 - b183 =L= 0; e458.. b12 - b39 - b183 =L= 0; e459.. b14 - b40 - b183 =L= 0; e460.. b16 - b41 - b183 =L= 0; e461.. b18 - b42 - b183 =L= 0; e462.. b20 - b43 - b183 =L= 0; e463.. b22 - b44 - b183 =L= 0; e464.. b24 - b45 - b183 =L= 0; e465.. - b6 + b8 - b46 =L= 0; e466.. - b6 + b10 - b47 =L= 0; e467.. - b6 + b12 - b48 =L= 0; e468.. - b6 + b14 - b49 =L= 0; e469.. - b6 + b16 - b50 =L= 0; e470.. - b6 + b18 - b51 =L= 0; e471.. - b6 + b20 - b52 =L= 0; e472.. - b6 + b22 - b53 =L= 0; e473.. - b6 + b24 - b54 =L= 0; e474.. - b8 + b10 - b55 =L= 0; e475.. - b8 + b12 - b56 =L= 0; e476.. - b8 + b14 - b57 =L= 0; e477.. - b8 + b16 - b58 =L= 0; e478.. - b8 + b18 - b59 =L= 0; e479.. - b8 + b20 - b60 =L= 0; e480.. - b8 + b22 - b61 =L= 0; e481.. - b8 + b24 - b62 =L= 0; e482.. - b10 + b12 - b63 =L= 0; e483.. - b10 + b14 - b64 =L= 0; e484.. - b10 + b16 - b65 =L= 0; e485.. - b10 + b18 - b66 =L= 0; e486.. - b10 + b20 - b67 =L= 0; e487.. - b10 + b22 - b68 =L= 0; e488.. - b10 + b24 - b69 =L= 0; e489.. - b12 + b14 - b70 =L= 0; e490.. - b12 + b16 - b71 =L= 0; e491.. - b12 + b18 - b72 =L= 0; e492.. - b12 + b20 - b73 =L= 0; e493.. - b12 + b22 - b74 =L= 0; e494.. - b12 + b24 - b75 =L= 0; e495.. - b14 + b16 - b76 =L= 0; e496.. - b14 + b18 - b77 =L= 0; e497.. - b14 + b20 - b78 =L= 0; e498.. - b14 + b22 - b79 =L= 0; e499.. - b14 + b24 - b80 =L= 0; e500.. - b16 + b18 - b81 =L= 0; e501.. - b16 + b20 - b82 =L= 0; e502.. - b16 + b22 - b83 =L= 0; e503.. - b16 + b24 - b84 =L= 0; e504.. - b18 + b20 - b182 =L= 0; e505.. - b18 + b22 - b85 =L= 0; e506.. - b18 + b24 - b86 =L= 0; e507.. - b20 + b22 - b87 =L= 0; e508.. - b20 + b24 - b88 =L= 0; e509.. - b22 + b24 - b89 =L= 0; e510.. - b25 + b26 - b36 =L= 0; e511.. - b25 + b27 - b37 =L= 0; e512.. - b25 + b28 - b38 =L= 0; e513.. - b25 + b29 - b39 =L= 0; e514.. - b25 + b30 - b40 =L= 0; e515.. - b25 + b31 - b41 =L= 0; e516.. - b25 + b32 - b42 =L= 0; e517.. - b25 + b33 - b43 =L= 0; e518.. - b25 + b34 - b44 =L= 0; e519.. - b25 + b35 - b45 =L= 0; e520.. - b26 + b27 - b46 =L= 0; e521.. - b26 + b28 - b47 =L= 0; e522.. - b26 + b29 - b48 =L= 0; e523.. - b26 + b30 - b49 =L= 0; e524.. - b26 + b31 - b50 =L= 0; e525.. - b26 + b32 - b51 =L= 0; e526.. - b26 + b33 - b52 =L= 0; e527.. - b26 + b34 - b53 =L= 0; e528.. - b26 + b35 - b54 =L= 0; e529.. - b27 + b28 - b55 =L= 0; e530.. - b27 + b29 - b56 =L= 0; e531.. - b27 + b30 - b57 =L= 0; e532.. - b27 + b31 - b58 =L= 0; e533.. - b27 + b32 - b59 =L= 0; e534.. - b27 + b33 - b60 =L= 0; e535.. - b27 + b34 - b61 =L= 0; e536.. - b27 + b35 - b62 =L= 0; e537.. - b28 + b29 - b63 =L= 0; e538.. - b28 + b30 - b64 =L= 0; e539.. - b28 + b31 - b65 =L= 0; e540.. - b28 + b32 - b66 =L= 0; e541.. - b28 + b33 - b67 =L= 0; e542.. - b28 + b34 - b68 =L= 0; e543.. - b28 + b35 - b69 =L= 0; e544.. - b29 + b30 - b70 =L= 0; e545.. - b29 + b31 - b71 =L= 0; e546.. - b29 + b32 - b72 =L= 0; e547.. - b29 + b33 - b73 =L= 0; e548.. - b29 + b34 - b74 =L= 0; e549.. - b29 + b35 - b75 =L= 0; e550.. - b30 + b31 - b76 =L= 0; e551.. - b30 + b32 - b77 =L= 0; e552.. - b30 + b33 - b78 =L= 0; e553.. - b30 + b34 - b79 =L= 0; e554.. - b30 + b35 - b80 =L= 0; e555.. - b31 + b32 - b81 =L= 0; e556.. - b31 + b33 - b82 =L= 0; e557.. - b31 + b34 - b83 =L= 0; e558.. - b31 + b35 - b84 =L= 0; e559.. - b32 + b33 - b182 =L= 0; e560.. - b32 + b34 - b85 =L= 0; e561.. - b32 + b35 - b86 =L= 0; e562.. - b33 + b34 - b87 =L= 0; e563.. - b33 + b35 - b88 =L= 0; e564.. - b34 + b35 - b89 =L= 0; e565.. - b36 + b37 - b46 =L= 0; e566.. - b36 + b38 - b47 =L= 0; e567.. - b36 + b39 - b48 =L= 0; e568.. - b36 + b40 - b49 =L= 0; e569.. - b36 + b41 - b50 =L= 0; e570.. - b36 + b42 - b51 =L= 0; e571.. - b36 + b43 - b52 =L= 0; e572.. - b36 + b44 - b53 =L= 0; e573.. - b36 + b45 - b54 =L= 0; e574.. - b37 + b38 - b55 =L= 0; e575.. - b37 + b39 - b56 =L= 0; e576.. - b37 + b40 - b57 =L= 0; e577.. - b37 + b41 - b58 =L= 0; e578.. - b37 + b42 - b59 =L= 0; e579.. - b37 + b43 - b60 =L= 0; e580.. - b37 + b44 - b61 =L= 0; e581.. - b37 + b45 - b62 =L= 0; e582.. - b38 + b39 - b63 =L= 0; e583.. - b38 + b40 - b64 =L= 0; e584.. - b38 + b41 - b65 =L= 0; e585.. - b38 + b42 - b66 =L= 0; e586.. - b38 + b43 - b67 =L= 0; e587.. - b38 + b44 - b68 =L= 0; e588.. - b38 + b45 - b69 =L= 0; e589.. - b39 + b40 - b70 =L= 0; e590.. - b39 + b41 - b71 =L= 0; e591.. - b39 + b42 - b72 =L= 0; e592.. - b39 + b43 - b73 =L= 0; e593.. - b39 + b44 - b74 =L= 0; e594.. - b39 + b45 - b75 =L= 0; e595.. - b40 + b41 - b76 =L= 0; e596.. - b40 + b42 - b77 =L= 0; e597.. - b40 + b43 - b78 =L= 0; e598.. - b40 + b44 - b79 =L= 0; e599.. - b40 + b45 - b80 =L= 0; e600.. - b41 + b42 - b81 =L= 0; e601.. - b41 + b43 - b82 =L= 0; e602.. - b41 + b44 - b83 =L= 0; e603.. - b41 + b45 - b84 =L= 0; e604.. - b42 + b43 - b182 =L= 0; e605.. - b42 + b44 - b85 =L= 0; e606.. - b42 + b45 - b86 =L= 0; e607.. - b43 + b44 - b87 =L= 0; e608.. - b43 + b45 - b88 =L= 0; e609.. - b44 + b45 - b89 =L= 0; e610.. - b46 + b47 - b55 =L= 0; e611.. - b46 + b48 - b56 =L= 0; e612.. - b46 + b49 - b57 =L= 0; e613.. - b46 + b50 - b58 =L= 0; e614.. - b46 + b51 - b59 =L= 0; e615.. - b46 + b52 - b60 =L= 0; e616.. - b46 + b53 - b61 =L= 0; e617.. - b46 + b54 - b62 =L= 0; e618.. - b47 + b48 - b63 =L= 0; e619.. - b47 + b49 - b64 =L= 0; e620.. - b47 + b50 - b65 =L= 0; e621.. - b47 + b51 - b66 =L= 0; e622.. - b47 + b52 - b67 =L= 0; e623.. - b47 + b53 - b68 =L= 0; e624.. - b47 + b54 - b69 =L= 0; e625.. - b48 + b49 - b70 =L= 0; e626.. - b48 + b50 - b71 =L= 0; e627.. - b48 + b51 - b72 =L= 0; e628.. - b48 + b52 - b73 =L= 0; e629.. - b48 + b53 - b74 =L= 0; e630.. - b48 + b54 - b75 =L= 0; e631.. - b49 + b50 - b76 =L= 0; e632.. - b49 + b51 - b77 =L= 0; e633.. - b49 + b52 - b78 =L= 0; e634.. - b49 + b53 - b79 =L= 0; e635.. - b49 + b54 - b80 =L= 0; e636.. - b50 + b51 - b81 =L= 0; e637.. - b50 + b52 - b82 =L= 0; e638.. - b50 + b53 - b83 =L= 0; e639.. - b50 + b54 - b84 =L= 0; e640.. - b51 + b52 - b182 =L= 0; e641.. - b51 + b53 - b85 =L= 0; e642.. - b51 + b54 - b86 =L= 0; e643.. - b52 + b53 - b87 =L= 0; e644.. - b52 + b54 - b88 =L= 0; e645.. - b53 + b54 - b89 =L= 0; e646.. - b55 + b56 - b63 =L= 0; e647.. - b55 + b57 - b64 =L= 0; e648.. - b55 + b58 - b65 =L= 0; e649.. - b55 + b59 - b66 =L= 0; e650.. - b55 + b60 - b67 =L= 0; e651.. - b55 + b61 - b68 =L= 0; e652.. - b55 + b62 - b69 =L= 0; e653.. - b56 + b57 - b70 =L= 0; e654.. - b56 + b58 - b71 =L= 0; e655.. - b56 + b59 - b72 =L= 0; e656.. - b56 + b60 - b73 =L= 0; e657.. - b56 + b61 - b74 =L= 0; e658.. - b56 + b62 - b75 =L= 0; e659.. - b57 + b58 - b76 =L= 0; e660.. - b57 + b59 - b77 =L= 0; e661.. - b57 + b60 - b78 =L= 0; e662.. - b57 + b61 - b79 =L= 0; e663.. - b57 + b62 - b80 =L= 0; e664.. - b58 + b59 - b81 =L= 0; e665.. - b58 + b60 - b82 =L= 0; e666.. - b58 + b61 - b83 =L= 0; e667.. - b58 + b62 - b84 =L= 0; e668.. - b59 + b60 - b182 =L= 0; e669.. - b59 + b61 - b85 =L= 0; e670.. - b59 + b62 - b86 =L= 0; e671.. - b60 + b61 - b87 =L= 0; e672.. - b60 + b62 - b88 =L= 0; e673.. - b61 + b62 - b89 =L= 0; e674.. - b63 + b64 - b70 =L= 0; e675.. - b63 + b65 - b71 =L= 0; e676.. - b63 + b66 - b72 =L= 0; e677.. - b63 + b67 - b73 =L= 0; e678.. - b63 + b68 - b74 =L= 0; e679.. - b63 + b69 - b75 =L= 0; e680.. - b64 + b65 - b76 =L= 0; e681.. - b64 + b66 - b77 =L= 0; e682.. - b64 + b67 - b78 =L= 0; e683.. - b64 + b68 - b79 =L= 0; e684.. - b64 + b69 - b80 =L= 0; e685.. - b65 + b66 - b81 =L= 0; e686.. - b65 + b67 - b82 =L= 0; e687.. - b65 + b68 - b83 =L= 0; e688.. - b65 + b69 - b84 =L= 0; e689.. - b66 + b67 - b182 =L= 0; e690.. - b66 + b68 - b85 =L= 0; e691.. - b66 + b69 - b86 =L= 0; e692.. - b67 + b68 - b87 =L= 0; e693.. - b67 + b69 - b88 =L= 0; e694.. - b68 + b69 - b89 =L= 0; e695.. - b70 + b71 - b76 =L= 0; e696.. - b70 + b72 - b77 =L= 0; e697.. - b70 + b73 - b78 =L= 0; e698.. - b70 + b74 - b79 =L= 0; e699.. - b70 + b75 - b80 =L= 0; e700.. - b71 + b72 - b81 =L= 0; e701.. - b71 + b73 - b82 =L= 0; e702.. - b71 + b74 - b83 =L= 0; e703.. - b71 + b75 - b84 =L= 0; e704.. - b72 + b73 - b182 =L= 0; e705.. - b72 + b74 - b85 =L= 0; e706.. - b72 + b75 - b86 =L= 0; e707.. - b73 + b74 - b87 =L= 0; e708.. - b73 + b75 - b88 =L= 0; e709.. - b74 + b75 - b89 =L= 0; e710.. - b76 + b77 - b81 =L= 0; e711.. - b76 + b78 - b82 =L= 0; e712.. - b76 + b79 - b83 =L= 0; e713.. - b76 + b80 - b84 =L= 0; e714.. - b77 + b78 - b182 =L= 0; e715.. - b77 + b79 - b85 =L= 0; e716.. - b77 + b80 - b86 =L= 0; e717.. - b78 + b79 - b87 =L= 0; e718.. - b78 + b80 - b88 =L= 0; e719.. - b79 + b80 - b89 =L= 0; e720.. - b81 + b82 - b182 =L= 0; e721.. - b81 + b83 - b85 =L= 0; e722.. - b81 + b84 - b86 =L= 0; e723.. - b82 + b83 - b87 =L= 0; e724.. - b82 + b84 - b88 =L= 0; e725.. - b83 + b84 - b89 =L= 0; e726.. b85 - b87 - b182 =L= 0; e727.. b86 - b88 - b182 =L= 0; e728.. - b85 + b86 - b89 =L= 0; e729.. - b87 + b88 - b89 =L= 0; e730.. - b90 + b91 + b92 =L= 1; e731.. b92 - b93 + b178 =L= 1; e732.. b92 - b94 + b95 =L= 1; e733.. b92 - b96 + b97 =L= 1; e734.. b92 - b98 + b99 =L= 1; e735.. b92 - b100 + b174 =L= 1; e736.. b92 - b101 + b102 =L= 1; e737.. b92 - b103 + b104 =L= 1; e738.. b92 - b105 + b106 =L= 1; e739.. b92 - b107 + b108 =L= 1; e740.. b92 - b109 + b110 =L= 1; e741.. b92 - b111 + b112 =L= 1; e742.. b90 - b93 + b113 =L= 1; e743.. b90 - b94 + b114 =L= 1; e744.. b90 - b96 + b115 =L= 1; e745.. b90 - b98 + b116 =L= 1; e746.. b90 - b100 + b117 =L= 1; e747.. b90 - b101 + b118 =L= 1; e748.. b90 - b103 + b119 =L= 1; e749.. b90 - b105 + b120 =L= 1; e750.. b90 - b107 + b121 =L= 1; e751.. b90 - b109 + b122 =L= 1; e752.. b90 - b111 + b123 =L= 1; e753.. b93 - b94 + b124 =L= 1; e754.. b93 - b96 + b125 =L= 1; e755.. b93 - b98 + b126 =L= 1; e756.. b93 - b100 + b180 =L= 1; e757.. b93 - b101 + b127 =L= 1; e758.. b93 - b103 + b128 =L= 1; e759.. b93 - b105 + b129 =L= 1; e760.. b93 - b107 + b130 =L= 1; e761.. b93 - b109 + b131 =L= 1; e762.. b93 - b111 + b132 =L= 1; e763.. b94 - b96 + b133 =L= 1; e764.. b94 - b98 + b134 =L= 1; e765.. b94 - b100 + b135 =L= 1; e766.. b94 - b101 + b136 =L= 1; e767.. b94 - b103 + b137 =L= 1; e768.. b94 - b105 + b138 =L= 1; e769.. b94 - b107 + b139 =L= 1; e770.. b94 - b109 + b140 =L= 1; e771.. b94 - b111 + b141 =L= 1; e772.. b96 - b98 + b142 =L= 1; e773.. b96 - b100 + b143 =L= 1; e774.. b96 - b101 + b144 =L= 1; e775.. b96 - b103 + b145 =L= 1; e776.. b96 - b105 + b146 =L= 1; e777.. b96 - b107 + b179 =L= 1; e778.. b96 - b109 + b147 =L= 1; e779.. b96 - b111 + b148 =L= 1; e780.. b98 - b100 + b149 =L= 1; e781.. b98 - b101 + x150 =L= 1; e782.. b98 - b103 + x151 =L= 1; e783.. b98 - b105 + x152 =L= 1; e784.. b98 - b107 + x153 =L= 1; e785.. b98 - b109 + x154 =L= 1; e786.. b98 - b111 + x155 =L= 1; e787.. b100 - b101 + x156 =L= 1; e788.. b100 - b103 + x175 =L= 1; e789.. b100 - b105 + x157 =L= 1; e790.. b100 - b107 + x158 =L= 1; e791.. b100 - b109 + x159 =L= 1; e792.. b100 - b111 + x160 =L= 1; e793.. b101 - b103 + x176 =L= 1; e794.. b101 - b105 + x161 =L= 1; e795.. b101 - b107 + x177 =L= 1; e796.. b101 - b109 + x162 =L= 1; e797.. b101 - b111 + x163 =L= 1; e798.. b103 - b105 + x164 =L= 1; e799.. b103 - b107 + x165 =L= 1; e800.. b103 - b109 + x166 =L= 1; e801.. b103 - b111 + x167 =L= 1; e802.. b105 - b107 + x168 =L= 1; e803.. b105 - b109 + x169 =L= 1; e804.. b105 - b111 + x170 =L= 1; e805.. b107 - b109 + x171 =L= 1; e806.. b107 - b111 + x172 =L= 1; e807.. b109 - b111 + x173 =L= 1; e808.. b91 + b113 - b178 =L= 1; e809.. b91 - b95 + b114 =L= 1; e810.. b91 - b97 + b115 =L= 1; e811.. b91 - b99 + b116 =L= 1; e812.. b91 + b117 - b174 =L= 1; e813.. b91 - b102 + b118 =L= 1; e814.. b91 - b104 + b119 =L= 1; e815.. b91 - b106 + b120 =L= 1; e816.. b91 - b108 + b121 =L= 1; e817.. b91 - b110 + b122 =L= 1; e818.. b91 - b112 + b123 =L= 1; e819.. - b95 + b124 + b178 =L= 1; e820.. - b97 + b125 + b178 =L= 1; e821.. - b99 + b126 + b178 =L= 1; e822.. - b174 + b178 + b180 =L= 1; e823.. - b102 + b127 + b178 =L= 1; e824.. - b104 + b128 + b178 =L= 1; e825.. - b106 + b129 + b178 =L= 1; e826.. - b108 + b130 + b178 =L= 1; e827.. - b110 + b131 + b178 =L= 1; e828.. - b112 + b132 + b178 =L= 1; e829.. b95 - b97 + b133 =L= 1; e830.. b95 - b99 + b134 =L= 1; e831.. b95 + b135 - b174 =L= 1; e832.. b95 - b102 + b136 =L= 1; e833.. b95 - b104 + b137 =L= 1; e834.. b95 - b106 + b138 =L= 1; e835.. b95 - b108 + b139 =L= 1; e836.. b95 - b110 + b140 =L= 1; e837.. b95 - b112 + b141 =L= 1; e838.. b97 - b99 + b142 =L= 1; e839.. b97 + b143 - b174 =L= 1; e840.. b97 - b102 + b144 =L= 1; e841.. b97 - b104 + b145 =L= 1; e842.. b97 - b106 + b146 =L= 1; e843.. b97 - b108 + b179 =L= 1; e844.. b97 - b110 + b147 =L= 1; e845.. b97 - b112 + b148 =L= 1; e846.. b99 + b149 - b174 =L= 1; e847.. b99 - b102 + x150 =L= 1; e848.. b99 - b104 + x151 =L= 1; e849.. b99 - b106 + x152 =L= 1; e850.. b99 - b108 + x153 =L= 1; e851.. b99 - b110 + x154 =L= 1; e852.. b99 - b112 + x155 =L= 1; e853.. - b102 + x156 + b174 =L= 1; e854.. - b104 + b174 + x175 =L= 1; e855.. - b106 + x157 + b174 =L= 1; e856.. - b108 + x158 + b174 =L= 1; e857.. - b110 + x159 + b174 =L= 1; e858.. - b112 + x160 + b174 =L= 1; e859.. b102 - b104 + x176 =L= 1; e860.. b102 - b106 + x161 =L= 1; e861.. b102 - b108 + x177 =L= 1; e862.. b102 - b110 + x162 =L= 1; e863.. b102 - b112 + x163 =L= 1; e864.. b104 - b106 + x164 =L= 1; e865.. b104 - b108 + x165 =L= 1; e866.. b104 - b110 + x166 =L= 1; e867.. b104 - b112 + x167 =L= 1; e868.. b106 - b108 + x168 =L= 1; e869.. b106 - b110 + x169 =L= 1; e870.. b106 - b112 + x170 =L= 1; e871.. b108 - b110 + x171 =L= 1; e872.. b108 - b112 + x172 =L= 1; e873.. b110 - b112 + x173 =L= 1; e874.. b113 - b114 + b124 =L= 1; e875.. b113 - b115 + b125 =L= 1; e876.. b113 - b116 + b126 =L= 1; e877.. b113 - b117 + b180 =L= 1; e878.. b113 - b118 + b127 =L= 1; e879.. b113 - b119 + b128 =L= 1; e880.. b113 - b120 + b129 =L= 1; e881.. b113 - b121 + b130 =L= 1; e882.. b113 - b122 + b131 =L= 1; e883.. b113 - b123 + b132 =L= 1; e884.. b114 - b115 + b133 =L= 1; e885.. b114 - b116 + b134 =L= 1; e886.. b114 - b117 + b135 =L= 1; e887.. b114 - b118 + b136 =L= 1; e888.. b114 - b119 + b137 =L= 1; e889.. b114 - b120 + b138 =L= 1; e890.. b114 - b121 + b139 =L= 1; e891.. b114 - b122 + b140 =L= 1; e892.. b114 - b123 + b141 =L= 1; e893.. b115 - b116 + b142 =L= 1; e894.. b115 - b117 + b143 =L= 1; e895.. b115 - b118 + b144 =L= 1; e896.. b115 - b119 + b145 =L= 1; e897.. b115 - b120 + b146 =L= 1; e898.. b115 - b121 + b179 =L= 1; e899.. b115 - b122 + b147 =L= 1; e900.. b115 - b123 + b148 =L= 1; e901.. b116 - b117 + b149 =L= 1; e902.. b116 - b118 + x150 =L= 1; e903.. b116 - b119 + x151 =L= 1; e904.. b116 - b120 + x152 =L= 1; e905.. b116 - b121 + x153 =L= 1; e906.. b116 - b122 + x154 =L= 1; e907.. b116 - b123 + x155 =L= 1; e908.. b117 - b118 + x156 =L= 1; e909.. b117 - b119 + x175 =L= 1; e910.. b117 - b120 + x157 =L= 1; e911.. b117 - b121 + x158 =L= 1; e912.. b117 - b122 + x159 =L= 1; e913.. b117 - b123 + x160 =L= 1; e914.. b118 - b119 + x176 =L= 1; e915.. b118 - b120 + x161 =L= 1; e916.. b118 - b121 + x177 =L= 1; e917.. b118 - b122 + x162 =L= 1; e918.. b118 - b123 + x163 =L= 1; e919.. b119 - b120 + x164 =L= 1; e920.. b119 - b121 + x165 =L= 1; e921.. b119 - b122 + x166 =L= 1; e922.. b119 - b123 + x167 =L= 1; e923.. b120 - b121 + x168 =L= 1; e924.. b120 - b122 + x169 =L= 1; e925.. b120 - b123 + x170 =L= 1; e926.. b121 - b122 + x171 =L= 1; e927.. b121 - b123 + x172 =L= 1; e928.. b122 - b123 + x173 =L= 1; e929.. b124 - b125 + b133 =L= 1; e930.. b124 - b126 + b134 =L= 1; e931.. b124 + b135 - b180 =L= 1; e932.. b124 - b127 + b136 =L= 1; e933.. b124 - b128 + b137 =L= 1; e934.. b124 - b129 + b138 =L= 1; e935.. b124 - b130 + b139 =L= 1; e936.. b124 - b131 + b140 =L= 1; e937.. b124 - b132 + b141 =L= 1; e938.. b125 - b126 + b142 =L= 1; e939.. b125 + b143 - b180 =L= 1; e940.. b125 - b127 + b144 =L= 1; e941.. b125 - b128 + b145 =L= 1; e942.. b125 - b129 + b146 =L= 1; e943.. b125 - b130 + b179 =L= 1; e944.. b125 - b131 + b147 =L= 1; e945.. b125 - b132 + b148 =L= 1; e946.. b126 + b149 - b180 =L= 1; e947.. b126 - b127 + x150 =L= 1; e948.. b126 - b128 + x151 =L= 1; e949.. b126 - b129 + x152 =L= 1; e950.. b126 - b130 + x153 =L= 1; e951.. b126 - b131 + x154 =L= 1; e952.. b126 - b132 + x155 =L= 1; e953.. - b127 + x156 + b180 =L= 1; e954.. - b128 + x175 + b180 =L= 1; e955.. - b129 + x157 + b180 =L= 1; e956.. - b130 + x158 + b180 =L= 1; e957.. - b131 + x159 + b180 =L= 1; e958.. - b132 + x160 + b180 =L= 1; e959.. b127 - b128 + x176 =L= 1; e960.. b127 - b129 + x161 =L= 1; e961.. b127 - b130 + x177 =L= 1; e962.. b127 - b131 + x162 =L= 1; e963.. b127 - b132 + x163 =L= 1; e964.. b128 - b129 + x164 =L= 1; e965.. b128 - b130 + x165 =L= 1; e966.. b128 - b131 + x166 =L= 1; e967.. b128 - b132 + x167 =L= 1; e968.. b129 - b130 + x168 =L= 1; e969.. b129 - b131 + x169 =L= 1; e970.. b129 - b132 + x170 =L= 1; e971.. b130 - b131 + x171 =L= 1; e972.. b130 - b132 + x172 =L= 1; e973.. b131 - b132 + x173 =L= 1; e974.. b133 - b134 + b142 =L= 1; e975.. b133 - b135 + b143 =L= 1; e976.. b133 - b136 + b144 =L= 1; e977.. b133 - b137 + b145 =L= 1; e978.. b133 - b138 + b146 =L= 1; e979.. b133 - b139 + b179 =L= 1; e980.. b133 - b140 + b147 =L= 1; e981.. b133 - b141 + b148 =L= 1; e982.. b134 - b135 + b149 =L= 1; e983.. b134 - b136 + x150 =L= 1; e984.. b134 - b137 + x151 =L= 1; e985.. b134 - b138 + x152 =L= 1; e986.. b134 - b139 + x153 =L= 1; e987.. b134 - b140 + x154 =L= 1; e988.. b134 - b141 + x155 =L= 1; e989.. b135 - b136 + x156 =L= 1; e990.. b135 - b137 + x175 =L= 1; e991.. b135 - b138 + x157 =L= 1; e992.. b135 - b139 + x158 =L= 1; e993.. b135 - b140 + x159 =L= 1; e994.. b135 - b141 + x160 =L= 1; e995.. b136 - b137 + x176 =L= 1; e996.. b136 - b138 + x161 =L= 1; e997.. b136 - b139 + x177 =L= 1; e998.. b136 - b140 + x162 =L= 1; e999.. b136 - b141 + x163 =L= 1; e1000.. b137 - b138 + x164 =L= 1; e1001.. b137 - b139 + x165 =L= 1; e1002.. b137 - b140 + x166 =L= 1; e1003.. b137 - b141 + x167 =L= 1; e1004.. b138 - b139 + x168 =L= 1; e1005.. b138 - b140 + x169 =L= 1; e1006.. b138 - b141 + x170 =L= 1; e1007.. b139 - b140 + x171 =L= 1; e1008.. b139 - b141 + x172 =L= 1; e1009.. b140 - b141 + x173 =L= 1; e1010.. b142 - b143 + b149 =L= 1; e1011.. b142 - b144 + x150 =L= 1; e1012.. b142 - b145 + x151 =L= 1; e1013.. b142 - b146 + x152 =L= 1; e1014.. b142 + x153 - b179 =L= 1; e1015.. b142 - b147 + x154 =L= 1; e1016.. b142 - b148 + x155 =L= 1; e1017.. b143 - b144 + x156 =L= 1; e1018.. b143 - b145 + x175 =L= 1; e1019.. b143 - b146 + x157 =L= 1; e1020.. b143 + x158 - b179 =L= 1; e1021.. b143 - b147 + x159 =L= 1; e1022.. b143 - b148 + x160 =L= 1; e1023.. b144 - b145 + x176 =L= 1; e1024.. b144 - b146 + x161 =L= 1; e1025.. b144 + x177 - b179 =L= 1; e1026.. b144 - b147 + x162 =L= 1; e1027.. b144 - b148 + x163 =L= 1; e1028.. b145 - b146 + x164 =L= 1; e1029.. b145 + x165 - b179 =L= 1; e1030.. b145 - b147 + x166 =L= 1; e1031.. b145 - b148 + x167 =L= 1; e1032.. b146 + x168 - b179 =L= 1; e1033.. b146 - b147 + x169 =L= 1; e1034.. b146 - b148 + x170 =L= 1; e1035.. - b147 + x171 + b179 =L= 1; e1036.. - b148 + x172 + b179 =L= 1; e1037.. b147 - b148 + x173 =L= 1; e1038.. b149 - x150 + x156 =L= 1; e1039.. b149 - x151 + x175 =L= 1; e1040.. b149 - x152 + x157 =L= 1; e1041.. b149 - x153 + x158 =L= 1; e1042.. b149 - x154 + x159 =L= 1; e1043.. b149 - x155 + x160 =L= 1; e1044.. x150 - x151 + x176 =L= 1; e1045.. x150 - x152 + x161 =L= 1; e1046.. x150 - x153 + x177 =L= 1; e1047.. x150 - x154 + x162 =L= 1; e1048.. x150 - x155 + x163 =L= 1; e1049.. x151 - x152 + x164 =L= 1; e1050.. x151 - x153 + x165 =L= 1; e1051.. x151 - x154 + x166 =L= 1; e1052.. x151 - x155 + x167 =L= 1; e1053.. x152 - x153 + x168 =L= 1; e1054.. x152 - x154 + x169 =L= 1; e1055.. x152 - x155 + x170 =L= 1; e1056.. x153 - x154 + x171 =L= 1; e1057.. x153 - x155 + x172 =L= 1; e1058.. x154 - x155 + x173 =L= 1; e1059.. x156 - x175 + x176 =L= 1; e1060.. x156 - x157 + x161 =L= 1; e1061.. x156 - x158 + x177 =L= 1; e1062.. x156 - x159 + x162 =L= 1; e1063.. x156 - x160 + x163 =L= 1; e1064.. - x157 + x164 + x175 =L= 1; e1065.. - x158 + x165 + x175 =L= 1; e1066.. - x159 + x166 + x175 =L= 1; e1067.. - x160 + x167 + x175 =L= 1; e1068.. x157 - x158 + x168 =L= 1; e1069.. x157 - x159 + x169 =L= 1; e1070.. x157 - x160 + x170 =L= 1; e1071.. x158 - x159 + x171 =L= 1; e1072.. x158 - x160 + x172 =L= 1; e1073.. x159 - x160 + x173 =L= 1; e1074.. - x161 + x164 + x176 =L= 1; e1075.. x165 + x176 - x177 =L= 1; e1076.. - x162 + x166 + x176 =L= 1; e1077.. - x163 + x167 + x176 =L= 1; e1078.. x161 + x168 - x177 =L= 1; e1079.. x161 - x162 + x169 =L= 1; e1080.. x161 - x163 + x170 =L= 1; e1081.. - x162 + x171 + x177 =L= 1; e1082.. - x163 + x172 + x177 =L= 1; e1083.. x162 - x163 + x173 =L= 1; e1084.. x164 - x165 + x168 =L= 1; e1085.. x164 - x166 + x169 =L= 1; e1086.. x164 - x167 + x170 =L= 1; e1087.. x165 - x166 + x171 =L= 1; e1088.. x165 - x167 + x172 =L= 1; e1089.. x166 - x167 + x173 =L= 1; e1090.. x168 - x169 + x171 =L= 1; e1091.. x168 - x170 + x172 =L= 1; e1092.. x169 - x170 + x173 =L= 1; e1093.. x171 - x172 + x173 =L= 1; e1094.. b90 - b91 - b92 =L= 0; e1095.. - b92 + b93 - b178 =L= 0; e1096.. - b92 + b94 - b95 =L= 0; e1097.. - b92 + b96 - b97 =L= 0; e1098.. - b92 + b98 - b99 =L= 0; e1099.. - b92 + b100 - b174 =L= 0; e1100.. - b92 + b101 - b102 =L= 0; e1101.. - b92 + b103 - b104 =L= 0; e1102.. - b92 + b105 - b106 =L= 0; e1103.. - b92 + b107 - b108 =L= 0; e1104.. - b92 + b109 - b110 =L= 0; e1105.. - b92 + b111 - b112 =L= 0; e1106.. - b90 + b93 - b113 =L= 0; e1107.. - b90 + b94 - b114 =L= 0; e1108.. - b90 + b96 - b115 =L= 0; e1109.. - b90 + b98 - b116 =L= 0; e1110.. - b90 + b100 - b117 =L= 0; e1111.. - b90 + b101 - b118 =L= 0; e1112.. - b90 + b103 - b119 =L= 0; e1113.. - b90 + b105 - b120 =L= 0; e1114.. - b90 + b107 - b121 =L= 0; e1115.. - b90 + b109 - b122 =L= 0; e1116.. - b90 + b111 - b123 =L= 0; e1117.. - b93 + b94 - b124 =L= 0; e1118.. - b93 + b96 - b125 =L= 0; e1119.. - b93 + b98 - b126 =L= 0; e1120.. - b93 + b100 - b180 =L= 0; e1121.. - b93 + b101 - b127 =L= 0; e1122.. - b93 + b103 - b128 =L= 0; e1123.. - b93 + b105 - b129 =L= 0; e1124.. - b93 + b107 - b130 =L= 0; e1125.. - b93 + b109 - b131 =L= 0; e1126.. - b93 + b111 - b132 =L= 0; e1127.. - b94 + b96 - b133 =L= 0; e1128.. - b94 + b98 - b134 =L= 0; e1129.. - b94 + b100 - b135 =L= 0; e1130.. - b94 + b101 - b136 =L= 0; e1131.. - b94 + b103 - b137 =L= 0; e1132.. - b94 + b105 - b138 =L= 0; e1133.. - b94 + b107 - b139 =L= 0; e1134.. - b94 + b109 - b140 =L= 0; e1135.. - b94 + b111 - b141 =L= 0; e1136.. - b96 + b98 - b142 =L= 0; e1137.. - b96 + b100 - b143 =L= 0; e1138.. - b96 + b101 - b144 =L= 0; e1139.. - b96 + b103 - b145 =L= 0; e1140.. - b96 + b105 - b146 =L= 0; e1141.. - b96 + b107 - b179 =L= 0; e1142.. - b96 + b109 - b147 =L= 0; e1143.. - b96 + b111 - b148 =L= 0; e1144.. - b98 + b100 - b149 =L= 0; e1145.. - b98 + b101 - x150 =L= 0; e1146.. - b98 + b103 - x151 =L= 0; e1147.. - b98 + b105 - x152 =L= 0; e1148.. - b98 + b107 - x153 =L= 0; e1149.. - b98 + b109 - x154 =L= 0; e1150.. - b98 + b111 - x155 =L= 0; e1151.. - b100 + b101 - x156 =L= 0; e1152.. - b100 + b103 - x175 =L= 0; e1153.. - b100 + b105 - x157 =L= 0; e1154.. - b100 + b107 - x158 =L= 0; e1155.. - b100 + b109 - x159 =L= 0; e1156.. - b100 + b111 - x160 =L= 0; e1157.. - b101 + b103 - x176 =L= 0; e1158.. - b101 + b105 - x161 =L= 0; e1159.. - b101 + b107 - x177 =L= 0; e1160.. - b101 + b109 - x162 =L= 0; e1161.. - b101 + b111 - x163 =L= 0; e1162.. - b103 + b105 - x164 =L= 0; e1163.. - b103 + b107 - x165 =L= 0; e1164.. - b103 + b109 - x166 =L= 0; e1165.. - b103 + b111 - x167 =L= 0; e1166.. - b105 + b107 - x168 =L= 0; e1167.. - b105 + b109 - x169 =L= 0; e1168.. - b105 + b111 - x170 =L= 0; e1169.. - b107 + b109 - x171 =L= 0; e1170.. - b107 + b111 - x172 =L= 0; e1171.. - b109 + b111 - x173 =L= 0; e1172.. - b91 - b113 + b178 =L= 0; e1173.. - b91 + b95 - b114 =L= 0; e1174.. - b91 + b97 - b115 =L= 0; e1175.. - b91 + b99 - b116 =L= 0; e1176.. - b91 - b117 + b174 =L= 0; e1177.. - b91 + b102 - b118 =L= 0; e1178.. - b91 + b104 - b119 =L= 0; e1179.. - b91 + b106 - b120 =L= 0; e1180.. - b91 + b108 - b121 =L= 0; e1181.. - b91 + b110 - b122 =L= 0; e1182.. - b91 + b112 - b123 =L= 0; e1183.. b95 - b124 - b178 =L= 0; e1184.. b97 - b125 - b178 =L= 0; e1185.. b99 - b126 - b178 =L= 0; e1186.. b174 - b178 - b180 =L= 0; e1187.. b102 - b127 - b178 =L= 0; e1188.. b104 - b128 - b178 =L= 0; e1189.. b106 - b129 - b178 =L= 0; e1190.. b108 - b130 - b178 =L= 0; e1191.. b110 - b131 - b178 =L= 0; e1192.. b112 - b132 - b178 =L= 0; e1193.. - b95 + b97 - b133 =L= 0; e1194.. - b95 + b99 - b134 =L= 0; e1195.. - b95 - b135 + b174 =L= 0; e1196.. - b95 + b102 - b136 =L= 0; e1197.. - b95 + b104 - b137 =L= 0; e1198.. - b95 + b106 - b138 =L= 0; e1199.. - b95 + b108 - b139 =L= 0; e1200.. - b95 + b110 - b140 =L= 0; e1201.. - b95 + b112 - b141 =L= 0; e1202.. - b97 + b99 - b142 =L= 0; e1203.. - b97 - b143 + b174 =L= 0; e1204.. - b97 + b102 - b144 =L= 0; e1205.. - b97 + b104 - b145 =L= 0; e1206.. - b97 + b106 - b146 =L= 0; e1207.. - b97 + b108 - b179 =L= 0; e1208.. - b97 + b110 - b147 =L= 0; e1209.. - b97 + b112 - b148 =L= 0; e1210.. - b99 - b149 + b174 =L= 0; e1211.. - b99 + b102 - x150 =L= 0; e1212.. - b99 + b104 - x151 =L= 0; e1213.. - b99 + b106 - x152 =L= 0; e1214.. - b99 + b108 - x153 =L= 0; e1215.. - b99 + b110 - x154 =L= 0; e1216.. - b99 + b112 - x155 =L= 0; e1217.. b102 - x156 - b174 =L= 0; e1218.. b104 - b174 - x175 =L= 0; e1219.. b106 - x157 - b174 =L= 0; e1220.. b108 - x158 - b174 =L= 0; e1221.. b110 - x159 - b174 =L= 0; e1222.. b112 - x160 - b174 =L= 0; e1223.. - b102 + b104 - x176 =L= 0; e1224.. - b102 + b106 - x161 =L= 0; e1225.. - b102 + b108 - x177 =L= 0; e1226.. - b102 + b110 - x162 =L= 0; e1227.. - b102 + b112 - x163 =L= 0; e1228.. - b104 + b106 - x164 =L= 0; e1229.. - b104 + b108 - x165 =L= 0; e1230.. - b104 + b110 - x166 =L= 0; e1231.. - b104 + b112 - x167 =L= 0; e1232.. - b106 + b108 - x168 =L= 0; e1233.. - b106 + b110 - x169 =L= 0; e1234.. - b106 + b112 - x170 =L= 0; e1235.. - b108 + b110 - x171 =L= 0; e1236.. - b108 + b112 - x172 =L= 0; e1237.. - b110 + b112 - x173 =L= 0; e1238.. - b113 + b114 - b124 =L= 0; e1239.. - b113 + b115 - b125 =L= 0; e1240.. - b113 + b116 - b126 =L= 0; e1241.. - b113 + b117 - b180 =L= 0; e1242.. - b113 + b118 - b127 =L= 0; e1243.. - b113 + b119 - b128 =L= 0; e1244.. - b113 + b120 - b129 =L= 0; e1245.. - b113 + b121 - b130 =L= 0; e1246.. - b113 + b122 - b131 =L= 0; e1247.. - b113 + b123 - b132 =L= 0; e1248.. - b114 + b115 - b133 =L= 0; e1249.. - b114 + b116 - b134 =L= 0; e1250.. - b114 + b117 - b135 =L= 0; e1251.. - b114 + b118 - b136 =L= 0; e1252.. - b114 + b119 - b137 =L= 0; e1253.. - b114 + b120 - b138 =L= 0; e1254.. - b114 + b121 - b139 =L= 0; e1255.. - b114 + b122 - b140 =L= 0; e1256.. - b114 + b123 - b141 =L= 0; e1257.. - b115 + b116 - b142 =L= 0; e1258.. - b115 + b117 - b143 =L= 0; e1259.. - b115 + b118 - b144 =L= 0; e1260.. - b115 + b119 - b145 =L= 0; e1261.. - b115 + b120 - b146 =L= 0; e1262.. - b115 + b121 - b179 =L= 0; e1263.. - b115 + b122 - b147 =L= 0; e1264.. - b115 + b123 - b148 =L= 0; e1265.. - b116 + b117 - b149 =L= 0; e1266.. - b116 + b118 - x150 =L= 0; e1267.. - b116 + b119 - x151 =L= 0; e1268.. - b116 + b120 - x152 =L= 0; e1269.. - b116 + b121 - x153 =L= 0; e1270.. - b116 + b122 - x154 =L= 0; e1271.. - b116 + b123 - x155 =L= 0; e1272.. - b117 + b118 - x156 =L= 0; e1273.. - b117 + b119 - x175 =L= 0; e1274.. - b117 + b120 - x157 =L= 0; e1275.. - b117 + b121 - x158 =L= 0; e1276.. - b117 + b122 - x159 =L= 0; e1277.. - b117 + b123 - x160 =L= 0; e1278.. - b118 + b119 - x176 =L= 0; e1279.. - b118 + b120 - x161 =L= 0; e1280.. - b118 + b121 - x177 =L= 0; e1281.. - b118 + b122 - x162 =L= 0; e1282.. - b118 + b123 - x163 =L= 0; e1283.. - b119 + b120 - x164 =L= 0; e1284.. - b119 + b121 - x165 =L= 0; e1285.. - b119 + b122 - x166 =L= 0; e1286.. - b119 + b123 - x167 =L= 0; e1287.. - b120 + b121 - x168 =L= 0; e1288.. - b120 + b122 - x169 =L= 0; e1289.. - b120 + b123 - x170 =L= 0; e1290.. - b121 + b122 - x171 =L= 0; e1291.. - b121 + b123 - x172 =L= 0; e1292.. - b122 + b123 - x173 =L= 0; e1293.. - b124 + b125 - b133 =L= 0; e1294.. - b124 + b126 - b134 =L= 0; e1295.. - b124 - b135 + b180 =L= 0; e1296.. - b124 + b127 - b136 =L= 0; e1297.. - b124 + b128 - b137 =L= 0; e1298.. - b124 + b129 - b138 =L= 0; e1299.. - b124 + b130 - b139 =L= 0; e1300.. - b124 + b131 - b140 =L= 0; e1301.. - b124 + b132 - b141 =L= 0; e1302.. - b125 + b126 - b142 =L= 0; e1303.. - b125 - b143 + b180 =L= 0; e1304.. - b125 + b127 - b144 =L= 0; e1305.. - b125 + b128 - b145 =L= 0; e1306.. - b125 + b129 - b146 =L= 0; e1307.. - b125 + b130 - b179 =L= 0; e1308.. - b125 + b131 - b147 =L= 0; e1309.. - b125 + b132 - b148 =L= 0; e1310.. - b126 - b149 + b180 =L= 0; e1311.. - b126 + b127 - x150 =L= 0; e1312.. - b126 + b128 - x151 =L= 0; e1313.. - b126 + b129 - x152 =L= 0; e1314.. - b126 + b130 - x153 =L= 0; e1315.. - b126 + b131 - x154 =L= 0; e1316.. - b126 + b132 - x155 =L= 0; e1317.. b127 - x156 - b180 =L= 0; e1318.. b128 - x175 - b180 =L= 0; e1319.. b129 - x157 - b180 =L= 0; e1320.. b130 - x158 - b180 =L= 0; e1321.. b131 - x159 - b180 =L= 0; e1322.. b132 - x160 - b180 =L= 0; e1323.. - b127 + b128 - x176 =L= 0; e1324.. - b127 + b129 - x161 =L= 0; e1325.. - b127 + b130 - x177 =L= 0; e1326.. - b127 + b131 - x162 =L= 0; e1327.. - b127 + b132 - x163 =L= 0; e1328.. - b128 + b129 - x164 =L= 0; e1329.. - b128 + b130 - x165 =L= 0; e1330.. - b128 + b131 - x166 =L= 0; e1331.. - b128 + b132 - x167 =L= 0; e1332.. - b129 + b130 - x168 =L= 0; e1333.. - b129 + b131 - x169 =L= 0; e1334.. - b129 + b132 - x170 =L= 0; e1335.. - b130 + b131 - x171 =L= 0; e1336.. - b130 + b132 - x172 =L= 0; e1337.. - b131 + b132 - x173 =L= 0; e1338.. - b133 + b134 - b142 =L= 0; e1339.. - b133 + b135 - b143 =L= 0; e1340.. - b133 + b136 - b144 =L= 0; e1341.. - b133 + b137 - b145 =L= 0; e1342.. - b133 + b138 - b146 =L= 0; e1343.. - b133 + b139 - b179 =L= 0; e1344.. - b133 + b140 - b147 =L= 0; e1345.. - b133 + b141 - b148 =L= 0; e1346.. - b134 + b135 - b149 =L= 0; e1347.. - b134 + b136 - x150 =L= 0; e1348.. - b134 + b137 - x151 =L= 0; e1349.. - b134 + b138 - x152 =L= 0; e1350.. - b134 + b139 - x153 =L= 0; e1351.. - b134 + b140 - x154 =L= 0; e1352.. - b134 + b141 - x155 =L= 0; e1353.. - b135 + b136 - x156 =L= 0; e1354.. - b135 + b137 - x175 =L= 0; e1355.. - b135 + b138 - x157 =L= 0; e1356.. - b135 + b139 - x158 =L= 0; e1357.. - b135 + b140 - x159 =L= 0; e1358.. - b135 + b141 - x160 =L= 0; e1359.. - b136 + b137 - x176 =L= 0; e1360.. - b136 + b138 - x161 =L= 0; e1361.. - b136 + b139 - x177 =L= 0; e1362.. - b136 + b140 - x162 =L= 0; e1363.. - b136 + b141 - x163 =L= 0; e1364.. - b137 + b138 - x164 =L= 0; e1365.. - b137 + b139 - x165 =L= 0; e1366.. - b137 + b140 - x166 =L= 0; e1367.. - b137 + b141 - x167 =L= 0; e1368.. - b138 + b139 - x168 =L= 0; e1369.. - b138 + b140 - x169 =L= 0; e1370.. - b138 + b141 - x170 =L= 0; e1371.. - b139 + b140 - x171 =L= 0; e1372.. - b139 + b141 - x172 =L= 0; e1373.. - b140 + b141 - x173 =L= 0; e1374.. - b142 + b143 - b149 =L= 0; e1375.. - b142 + b144 - x150 =L= 0; e1376.. - b142 + b145 - x151 =L= 0; e1377.. - b142 + b146 - x152 =L= 0; e1378.. - b142 - x153 + b179 =L= 0; e1379.. - b142 + b147 - x154 =L= 0; e1380.. - b142 + b148 - x155 =L= 0; e1381.. - b143 + b144 - x156 =L= 0; e1382.. - b143 + b145 - x175 =L= 0; e1383.. - b143 + b146 - x157 =L= 0; e1384.. - b143 - x158 + b179 =L= 0; e1385.. - b143 + b147 - x159 =L= 0; e1386.. - b143 + b148 - x160 =L= 0; e1387.. - b144 + b145 - x176 =L= 0; e1388.. - b144 + b146 - x161 =L= 0; e1389.. - b144 - x177 + b179 =L= 0; e1390.. - b144 + b147 - x162 =L= 0; e1391.. - b144 + b148 - x163 =L= 0; e1392.. - b145 + b146 - x164 =L= 0; e1393.. - b145 - x165 + b179 =L= 0; e1394.. - b145 + b147 - x166 =L= 0; e1395.. - b145 + b148 - x167 =L= 0; e1396.. - b146 - x168 + b179 =L= 0; e1397.. - b146 + b147 - x169 =L= 0; e1398.. - b146 + b148 - x170 =L= 0; e1399.. b147 - x171 - b179 =L= 0; e1400.. b148 - x172 - b179 =L= 0; e1401.. - b147 + b148 - x173 =L= 0; e1402.. - b149 + x150 - x156 =L= 0; e1403.. - b149 + x151 - x175 =L= 0; e1404.. - b149 + x152 - x157 =L= 0; e1405.. - b149 + x153 - x158 =L= 0; e1406.. - b149 + x154 - x159 =L= 0; e1407.. - b149 + x155 - x160 =L= 0; e1408.. - x150 + x151 - x176 =L= 0; e1409.. - x150 + x152 - x161 =L= 0; e1410.. - x150 + x153 - x177 =L= 0; e1411.. - x150 + x154 - x162 =L= 0; e1412.. - x150 + x155 - x163 =L= 0; e1413.. - x151 + x152 - x164 =L= 0; e1414.. - x151 + x153 - x165 =L= 0; e1415.. - x151 + x154 - x166 =L= 0; e1416.. - x151 + x155 - x167 =L= 0; e1417.. - x152 + x153 - x168 =L= 0; e1418.. - x152 + x154 - x169 =L= 0; e1419.. - x152 + x155 - x170 =L= 0; e1420.. - x153 + x154 - x171 =L= 0; e1421.. - x153 + x155 - x172 =L= 0; e1422.. - x154 + x155 - x173 =L= 0; e1423.. - x156 + x175 - x176 =L= 0; e1424.. - x156 + x157 - x161 =L= 0; e1425.. - x156 + x158 - x177 =L= 0; e1426.. - x156 + x159 - x162 =L= 0; e1427.. - x156 + x160 - x163 =L= 0; e1428.. x157 - x164 - x175 =L= 0; e1429.. x158 - x165 - x175 =L= 0; e1430.. x159 - x166 - x175 =L= 0; e1431.. x160 - x167 - x175 =L= 0; e1432.. - x157 + x158 - x168 =L= 0; e1433.. - x157 + x159 - x169 =L= 0; e1434.. - x157 + x160 - x170 =L= 0; e1435.. - x158 + x159 - x171 =L= 0; e1436.. - x158 + x160 - x172 =L= 0; e1437.. - x159 + x160 - x173 =L= 0; e1438.. x161 - x164 - x176 =L= 0; e1439.. - x165 - x176 + x177 =L= 0; e1440.. x162 - x166 - x176 =L= 0; e1441.. x163 - x167 - x176 =L= 0; e1442.. - x161 - x168 + x177 =L= 0; e1443.. - x161 + x162 - x169 =L= 0; e1444.. - x161 + x163 - x170 =L= 0; e1445.. x162 - x171 - x177 =L= 0; e1446.. x163 - x172 - x177 =L= 0; e1447.. - x162 + x163 - x173 =L= 0; e1448.. - x164 + x165 - x168 =L= 0; e1449.. - x164 + x166 - x169 =L= 0; e1450.. - x164 + x167 - x170 =L= 0; e1451.. - x165 + x166 - x171 =L= 0; e1452.. - x165 + x167 - x172 =L= 0; e1453.. - x166 + x167 - x173 =L= 0; e1454.. - x168 + x169 - x171 =L= 0; e1455.. - x168 + x170 - x172 =L= 0; e1456.. - x169 + x170 - x173 =L= 0; e1457.. - x171 + x172 - x173 =L= 0; * set non-default bounds x150.up = 1; x151.up = 1; x152.up = 1; x153.up = 1; x154.up = 1; x155.up = 1; x156.up = 1; x157.up = 1; x158.up = 1; x159.up = 1; x160.up = 1; x161.up = 1; x162.up = 1; x163.up = 1; x164.up = 1; x165.up = 1; x166.up = 1; x167.up = 1; x168.up = 1; x169.up = 1; x170.up = 1; x171.up = 1; x172.up = 1; x173.up = 1; x175.up = 1; x176.up = 1; x177.up = 1; Model m / all /; m.limrow=0; m.limcol=0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' m.tolproj = 0.0; $if not set MIQCP $set MIQCP MIQCP Solve m using %MIQCP% minimizing objvar;
Website © 2017-2021 by Zuse Institute Berlin and GAMS. All rights reserved.
Imprint.
QPLIB is licensed under CC-BY 4.0.