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