MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance edgecross14-137
edge-crossing minimization in bipartite graphs modeled as a quadratic linear ordering problem This instance is for the edge crossing minimization problem in a bipartite graph G. G has to be drawn in the plane so that the nodes of its two shores are placed on two parallel horizontal lines. The task is to minimize the number of edge crossings by permuting the order of nodes on each layer, assuming that all edges are drawn as straight lines. The problem can be modeled as a quadratic objective over linear ordering variables.
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 2615.50000000 (ANTIGONE) 2755.03548400 (BARON) 2569.50000000 (COUENNE) 2771.18562300 (CPLEX) 2874.00000000 (GUROBI) 2874.00000000 (LINDO) 2874.00000000 (SCIP) 2613.92777800 (SHOT) |
| Referencesⓘ | Buchheim, Christoph, Wiegele, Angelika, and Zheng, Lanbo, Exact Algorithms for the Quadratic Linear Ordering Problem, INFORMS Journal on Computing, 22:1, 2010, 168-177. |
| Sourceⓘ | POLIP instance quadratic_linear_ordering/bip_cross_min.14.14.137.1 |
| Applicationⓘ | Edge-crossing minimization in bipartite graphs |
| Added to libraryⓘ | 26 Feb 2014 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 183 |
| #Binary Variablesⓘ | 182 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 182 |
| #Nonlinear Binary Variablesⓘ | 182 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 1 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1457 |
| #Linear Constraintsⓘ | 1456 |
| #Quadratic Constraintsⓘ | 1 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 4551 |
| #Nonlinear Nonzeros in Jacobianⓘ | 182 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 8078 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 1 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 182 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 182 |
| Average blocksize in Hessian of Lagrangianⓘ | 182.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e+00 |
| Maximal coefficientⓘ | 4.3000e+01 |
| Infeasibility of initial pointⓘ | 4129 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$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 1 182 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 4551 4369 182 0
*
* Solve m using MINLP minimizing objvar;
Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
,b182,objvar;
Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
,b180,b181,b182;
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 + b117 =L= 1;
e742.. b92 - b97 + b118 =L= 1;
e743.. b92 - b99 + b119 =L= 1;
e744.. b92 - b101 + b120 =L= 1;
e745.. b92 - b103 + b121 =L= 1;
e746.. b92 - b105 + b122 =L= 1;
e747.. b92 - b107 + b123 =L= 1;
e748.. b92 - b109 + b124 =L= 1;
e749.. b92 - b111 + b125 =L= 1;
e750.. b92 - b113 + b126 =L= 1;
e751.. b92 - b115 + b127 =L= 1;
e752.. b95 - b97 + b128 =L= 1;
e753.. b95 - b99 + b129 =L= 1;
e754.. b95 - b101 + b130 =L= 1;
e755.. b95 - b103 + b131 =L= 1;
e756.. b95 - b105 + b132 =L= 1;
e757.. b95 - b107 + b133 =L= 1;
e758.. b95 - b109 + b134 =L= 1;
e759.. b95 - b111 + b135 =L= 1;
e760.. b95 - b113 + b136 =L= 1;
e761.. b95 - b115 + b137 =L= 1;
e762.. b97 - b99 + b138 =L= 1;
e763.. b97 - b101 + b139 =L= 1;
e764.. b97 - b103 + b140 =L= 1;
e765.. b97 - b105 + b141 =L= 1;
e766.. b97 - b107 + b142 =L= 1;
e767.. b97 - b109 + b143 =L= 1;
e768.. b97 - b111 + b144 =L= 1;
e769.. b97 - b113 + b145 =L= 1;
e770.. b97 - b115 + b146 =L= 1;
e771.. b99 - b101 + b147 =L= 1;
e772.. b99 - b103 + b148 =L= 1;
e773.. b99 - b105 + b149 =L= 1;
e774.. b99 - b107 + b150 =L= 1;
e775.. b99 - b109 + b151 =L= 1;
e776.. b99 - b111 + b152 =L= 1;
e777.. b99 - b113 + b153 =L= 1;
e778.. b99 - b115 + b154 =L= 1;
e779.. b101 - b103 + b155 =L= 1;
e780.. b101 - b105 + b156 =L= 1;
e781.. b101 - b107 + b157 =L= 1;
e782.. b101 - b109 + b158 =L= 1;
e783.. b101 - b111 + b159 =L= 1;
e784.. b101 - b113 + b160 =L= 1;
e785.. b101 - b115 + b161 =L= 1;
e786.. b103 - b105 + b162 =L= 1;
e787.. b103 - b107 + b163 =L= 1;
e788.. b103 - b109 + b164 =L= 1;
e789.. b103 - b111 + b165 =L= 1;
e790.. b103 - b113 + b166 =L= 1;
e791.. b103 - b115 + b167 =L= 1;
e792.. b105 - b107 + b168 =L= 1;
e793.. b105 - b109 + b169 =L= 1;
e794.. b105 - b111 + b170 =L= 1;
e795.. b105 - b113 + b171 =L= 1;
e796.. b105 - b115 + b172 =L= 1;
e797.. b107 - b109 + b173 =L= 1;
e798.. b107 - b111 + b174 =L= 1;
e799.. b107 - b113 + b175 =L= 1;
e800.. b107 - b115 + b176 =L= 1;
e801.. b109 - b111 + b177 =L= 1;
e802.. b109 - b113 + b178 =L= 1;
e803.. b109 - b115 + b179 =L= 1;
e804.. b111 - b113 + b180 =L= 1;
e805.. b111 - b115 + b181 =L= 1;
e806.. b113 - b115 + b182 =L= 1;
e807.. b93 - b96 + b117 =L= 1;
e808.. b93 - b98 + b118 =L= 1;
e809.. b93 - b100 + b119 =L= 1;
e810.. b93 - b102 + b120 =L= 1;
e811.. b93 - b104 + b121 =L= 1;
e812.. b93 - b106 + b122 =L= 1;
e813.. b93 - b108 + b123 =L= 1;
e814.. b93 - b110 + b124 =L= 1;
e815.. b93 - b112 + b125 =L= 1;
e816.. b93 - b114 + b126 =L= 1;
e817.. b93 - b116 + b127 =L= 1;
e818.. b96 - b98 + b128 =L= 1;
e819.. b96 - b100 + b129 =L= 1;
e820.. b96 - b102 + b130 =L= 1;
e821.. b96 - b104 + b131 =L= 1;
e822.. b96 - b106 + b132 =L= 1;
e823.. b96 - b108 + b133 =L= 1;
e824.. b96 - b110 + b134 =L= 1;
e825.. b96 - b112 + b135 =L= 1;
e826.. b96 - b114 + b136 =L= 1;
e827.. b96 - b116 + b137 =L= 1;
e828.. b98 - b100 + b138 =L= 1;
e829.. b98 - b102 + b139 =L= 1;
e830.. b98 - b104 + b140 =L= 1;
e831.. b98 - b106 + b141 =L= 1;
e832.. b98 - b108 + b142 =L= 1;
e833.. b98 - b110 + b143 =L= 1;
e834.. b98 - b112 + b144 =L= 1;
e835.. b98 - b114 + b145 =L= 1;
e836.. b98 - b116 + b146 =L= 1;
e837.. b100 - b102 + b147 =L= 1;
e838.. b100 - b104 + b148 =L= 1;
e839.. b100 - b106 + b149 =L= 1;
e840.. b100 - b108 + b150 =L= 1;
e841.. b100 - b110 + b151 =L= 1;
e842.. b100 - b112 + b152 =L= 1;
e843.. b100 - b114 + b153 =L= 1;
e844.. b100 - b116 + b154 =L= 1;
e845.. b102 - b104 + b155 =L= 1;
e846.. b102 - b106 + b156 =L= 1;
e847.. b102 - b108 + b157 =L= 1;
e848.. b102 - b110 + b158 =L= 1;
e849.. b102 - b112 + b159 =L= 1;
e850.. b102 - b114 + b160 =L= 1;
e851.. b102 - b116 + b161 =L= 1;
e852.. b104 - b106 + b162 =L= 1;
e853.. b104 - b108 + b163 =L= 1;
e854.. b104 - b110 + b164 =L= 1;
e855.. b104 - b112 + b165 =L= 1;
e856.. b104 - b114 + b166 =L= 1;
e857.. b104 - b116 + b167 =L= 1;
e858.. b106 - b108 + b168 =L= 1;
e859.. b106 - b110 + b169 =L= 1;
e860.. b106 - b112 + b170 =L= 1;
e861.. b106 - b114 + b171 =L= 1;
e862.. b106 - b116 + b172 =L= 1;
e863.. b108 - b110 + b173 =L= 1;
e864.. b108 - b112 + b174 =L= 1;
e865.. b108 - b114 + b175 =L= 1;
e866.. b108 - b116 + b176 =L= 1;
e867.. b110 - b112 + b177 =L= 1;
e868.. b110 - b114 + b178 =L= 1;
e869.. b110 - b116 + b179 =L= 1;
e870.. b112 - b114 + b180 =L= 1;
e871.. b112 - b116 + b181 =L= 1;
e872.. b114 - b116 + b182 =L= 1;
e873.. b117 - b118 + b128 =L= 1;
e874.. b117 - b119 + b129 =L= 1;
e875.. b117 - b120 + b130 =L= 1;
e876.. b117 - b121 + b131 =L= 1;
e877.. b117 - b122 + b132 =L= 1;
e878.. b117 - b123 + b133 =L= 1;
e879.. b117 - b124 + b134 =L= 1;
e880.. b117 - b125 + b135 =L= 1;
e881.. b117 - b126 + b136 =L= 1;
e882.. b117 - b127 + b137 =L= 1;
e883.. b118 - b119 + b138 =L= 1;
e884.. b118 - b120 + b139 =L= 1;
e885.. b118 - b121 + b140 =L= 1;
e886.. b118 - b122 + b141 =L= 1;
e887.. b118 - b123 + b142 =L= 1;
e888.. b118 - b124 + b143 =L= 1;
e889.. b118 - b125 + b144 =L= 1;
e890.. b118 - b126 + b145 =L= 1;
e891.. b118 - b127 + b146 =L= 1;
e892.. b119 - b120 + b147 =L= 1;
e893.. b119 - b121 + b148 =L= 1;
e894.. b119 - b122 + b149 =L= 1;
e895.. b119 - b123 + b150 =L= 1;
e896.. b119 - b124 + b151 =L= 1;
e897.. b119 - b125 + b152 =L= 1;
e898.. b119 - b126 + b153 =L= 1;
e899.. b119 - b127 + b154 =L= 1;
e900.. b120 - b121 + b155 =L= 1;
e901.. b120 - b122 + b156 =L= 1;
e902.. b120 - b123 + b157 =L= 1;
e903.. b120 - b124 + b158 =L= 1;
e904.. b120 - b125 + b159 =L= 1;
e905.. b120 - b126 + b160 =L= 1;
e906.. b120 - b127 + b161 =L= 1;
e907.. b121 - b122 + b162 =L= 1;
e908.. b121 - b123 + b163 =L= 1;
e909.. b121 - b124 + b164 =L= 1;
e910.. b121 - b125 + b165 =L= 1;
e911.. b121 - b126 + b166 =L= 1;
e912.. b121 - b127 + b167 =L= 1;
e913.. b122 - b123 + b168 =L= 1;
e914.. b122 - b124 + b169 =L= 1;
e915.. b122 - b125 + b170 =L= 1;
e916.. b122 - b126 + b171 =L= 1;
e917.. b122 - b127 + b172 =L= 1;
e918.. b123 - b124 + b173 =L= 1;
e919.. b123 - b125 + b174 =L= 1;
e920.. b123 - b126 + b175 =L= 1;
e921.. b123 - b127 + b176 =L= 1;
e922.. b124 - b125 + b177 =L= 1;
e923.. b124 - b126 + b178 =L= 1;
e924.. b124 - b127 + b179 =L= 1;
e925.. b125 - b126 + b180 =L= 1;
e926.. b125 - b127 + b181 =L= 1;
e927.. b126 - b127 + b182 =L= 1;
e928.. b128 - b129 + b138 =L= 1;
e929.. b128 - b130 + b139 =L= 1;
e930.. b128 - b131 + b140 =L= 1;
e931.. b128 - b132 + b141 =L= 1;
e932.. b128 - b133 + b142 =L= 1;
e933.. b128 - b134 + b143 =L= 1;
e934.. b128 - b135 + b144 =L= 1;
e935.. b128 - b136 + b145 =L= 1;
e936.. b128 - b137 + b146 =L= 1;
e937.. b129 - b130 + b147 =L= 1;
e938.. b129 - b131 + b148 =L= 1;
e939.. b129 - b132 + b149 =L= 1;
e940.. b129 - b133 + b150 =L= 1;
e941.. b129 - b134 + b151 =L= 1;
e942.. b129 - b135 + b152 =L= 1;
e943.. b129 - b136 + b153 =L= 1;
e944.. b129 - b137 + b154 =L= 1;
e945.. b130 - b131 + b155 =L= 1;
e946.. b130 - b132 + b156 =L= 1;
e947.. b130 - b133 + b157 =L= 1;
e948.. b130 - b134 + b158 =L= 1;
e949.. b130 - b135 + b159 =L= 1;
e950.. b130 - b136 + b160 =L= 1;
e951.. b130 - b137 + b161 =L= 1;
e952.. b131 - b132 + b162 =L= 1;
e953.. b131 - b133 + b163 =L= 1;
e954.. b131 - b134 + b164 =L= 1;
e955.. b131 - b135 + b165 =L= 1;
e956.. b131 - b136 + b166 =L= 1;
e957.. b131 - b137 + b167 =L= 1;
e958.. b132 - b133 + b168 =L= 1;
e959.. b132 - b134 + b169 =L= 1;
e960.. b132 - b135 + b170 =L= 1;
e961.. b132 - b136 + b171 =L= 1;
e962.. b132 - b137 + b172 =L= 1;
e963.. b133 - b134 + b173 =L= 1;
e964.. b133 - b135 + b174 =L= 1;
e965.. b133 - b136 + b175 =L= 1;
e966.. b133 - b137 + b176 =L= 1;
e967.. b134 - b135 + b177 =L= 1;
e968.. b134 - b136 + b178 =L= 1;
e969.. b134 - b137 + b179 =L= 1;
e970.. b135 - b136 + b180 =L= 1;
e971.. b135 - b137 + b181 =L= 1;
e972.. b136 - b137 + b182 =L= 1;
e973.. b138 - b139 + b147 =L= 1;
e974.. b138 - b140 + b148 =L= 1;
e975.. b138 - b141 + b149 =L= 1;
e976.. b138 - b142 + b150 =L= 1;
e977.. b138 - b143 + b151 =L= 1;
e978.. b138 - b144 + b152 =L= 1;
e979.. b138 - b145 + b153 =L= 1;
e980.. b138 - b146 + b154 =L= 1;
e981.. b139 - b140 + b155 =L= 1;
e982.. b139 - b141 + b156 =L= 1;
e983.. b139 - b142 + b157 =L= 1;
e984.. b139 - b143 + b158 =L= 1;
e985.. b139 - b144 + b159 =L= 1;
e986.. b139 - b145 + b160 =L= 1;
e987.. b139 - b146 + b161 =L= 1;
e988.. b140 - b141 + b162 =L= 1;
e989.. b140 - b142 + b163 =L= 1;
e990.. b140 - b143 + b164 =L= 1;
e991.. b140 - b144 + b165 =L= 1;
e992.. b140 - b145 + b166 =L= 1;
e993.. b140 - b146 + b167 =L= 1;
e994.. b141 - b142 + b168 =L= 1;
e995.. b141 - b143 + b169 =L= 1;
e996.. b141 - b144 + b170 =L= 1;
e997.. b141 - b145 + b171 =L= 1;
e998.. b141 - b146 + b172 =L= 1;
e999.. b142 - b143 + b173 =L= 1;
e1000.. b142 - b144 + b174 =L= 1;
e1001.. b142 - b145 + b175 =L= 1;
e1002.. b142 - b146 + b176 =L= 1;
e1003.. b143 - b144 + b177 =L= 1;
e1004.. b143 - b145 + b178 =L= 1;
e1005.. b143 - b146 + b179 =L= 1;
e1006.. b144 - b145 + b180 =L= 1;
e1007.. b144 - b146 + b181 =L= 1;
e1008.. b145 - b146 + b182 =L= 1;
e1009.. b147 - b148 + b155 =L= 1;
e1010.. b147 - b149 + b156 =L= 1;
e1011.. b147 - b150 + b157 =L= 1;
e1012.. b147 - b151 + b158 =L= 1;
e1013.. b147 - b152 + b159 =L= 1;
e1014.. b147 - b153 + b160 =L= 1;
e1015.. b147 - b154 + b161 =L= 1;
e1016.. b148 - b149 + b162 =L= 1;
e1017.. b148 - b150 + b163 =L= 1;
e1018.. b148 - b151 + b164 =L= 1;
e1019.. b148 - b152 + b165 =L= 1;
e1020.. b148 - b153 + b166 =L= 1;
e1021.. b148 - b154 + b167 =L= 1;
e1022.. b149 - b150 + b168 =L= 1;
e1023.. b149 - b151 + b169 =L= 1;
e1024.. b149 - b152 + b170 =L= 1;
e1025.. b149 - b153 + b171 =L= 1;
e1026.. b149 - b154 + b172 =L= 1;
e1027.. b150 - b151 + b173 =L= 1;
e1028.. b150 - b152 + b174 =L= 1;
e1029.. b150 - b153 + b175 =L= 1;
e1030.. b150 - b154 + b176 =L= 1;
e1031.. b151 - b152 + b177 =L= 1;
e1032.. b151 - b153 + b178 =L= 1;
e1033.. b151 - b154 + b179 =L= 1;
e1034.. b152 - b153 + b180 =L= 1;
e1035.. b152 - b154 + b181 =L= 1;
e1036.. b153 - b154 + b182 =L= 1;
e1037.. b155 - b156 + b162 =L= 1;
e1038.. b155 - b157 + b163 =L= 1;
e1039.. b155 - b158 + b164 =L= 1;
e1040.. b155 - b159 + b165 =L= 1;
e1041.. b155 - b160 + b166 =L= 1;
e1042.. b155 - b161 + b167 =L= 1;
e1043.. b156 - b157 + b168 =L= 1;
e1044.. b156 - b158 + b169 =L= 1;
e1045.. b156 - b159 + b170 =L= 1;
e1046.. b156 - b160 + b171 =L= 1;
e1047.. b156 - b161 + b172 =L= 1;
e1048.. b157 - b158 + b173 =L= 1;
e1049.. b157 - b159 + b174 =L= 1;
e1050.. b157 - b160 + b175 =L= 1;
e1051.. b157 - b161 + b176 =L= 1;
e1052.. b158 - b159 + b177 =L= 1;
e1053.. b158 - b160 + b178 =L= 1;
e1054.. b158 - b161 + b179 =L= 1;
e1055.. b159 - b160 + b180 =L= 1;
e1056.. b159 - b161 + b181 =L= 1;
e1057.. b160 - b161 + b182 =L= 1;
e1058.. b162 - b163 + b168 =L= 1;
e1059.. b162 - b164 + b169 =L= 1;
e1060.. b162 - b165 + b170 =L= 1;
e1061.. b162 - b166 + b171 =L= 1;
e1062.. b162 - b167 + b172 =L= 1;
e1063.. b163 - b164 + b173 =L= 1;
e1064.. b163 - b165 + b174 =L= 1;
e1065.. b163 - b166 + b175 =L= 1;
e1066.. b163 - b167 + b176 =L= 1;
e1067.. b164 - b165 + b177 =L= 1;
e1068.. b164 - b166 + b178 =L= 1;
e1069.. b164 - b167 + b179 =L= 1;
e1070.. b165 - b166 + b180 =L= 1;
e1071.. b165 - b167 + b181 =L= 1;
e1072.. b166 - b167 + b182 =L= 1;
e1073.. b168 - b169 + b173 =L= 1;
e1074.. b168 - b170 + b174 =L= 1;
e1075.. b168 - b171 + b175 =L= 1;
e1076.. b168 - b172 + b176 =L= 1;
e1077.. b169 - b170 + b177 =L= 1;
e1078.. b169 - b171 + b178 =L= 1;
e1079.. b169 - b172 + b179 =L= 1;
e1080.. b170 - b171 + b180 =L= 1;
e1081.. b170 - b172 + b181 =L= 1;
e1082.. b171 - b172 + b182 =L= 1;
e1083.. b173 - b174 + b177 =L= 1;
e1084.. b173 - b175 + b178 =L= 1;
e1085.. b173 - b176 + b179 =L= 1;
e1086.. b174 - b175 + b180 =L= 1;
e1087.. b174 - b176 + b181 =L= 1;
e1088.. b175 - b176 + b182 =L= 1;
e1089.. b177 - b178 + b180 =L= 1;
e1090.. b177 - b179 + b181 =L= 1;
e1091.. b178 - b179 + b182 =L= 1;
e1092.. b180 - b181 + b182 =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 - b117 =L= 0;
e1106.. - b92 + b97 - b118 =L= 0;
e1107.. - b92 + b99 - b119 =L= 0;
e1108.. - b92 + b101 - b120 =L= 0;
e1109.. - b92 + b103 - b121 =L= 0;
e1110.. - b92 + b105 - b122 =L= 0;
e1111.. - b92 + b107 - b123 =L= 0;
e1112.. - b92 + b109 - b124 =L= 0;
e1113.. - b92 + b111 - b125 =L= 0;
e1114.. - b92 + b113 - b126 =L= 0;
e1115.. - b92 + b115 - b127 =L= 0;
e1116.. - b95 + b97 - b128 =L= 0;
e1117.. - b95 + b99 - b129 =L= 0;
e1118.. - b95 + b101 - b130 =L= 0;
e1119.. - b95 + b103 - b131 =L= 0;
e1120.. - b95 + b105 - b132 =L= 0;
e1121.. - b95 + b107 - b133 =L= 0;
e1122.. - b95 + b109 - b134 =L= 0;
e1123.. - b95 + b111 - b135 =L= 0;
e1124.. - b95 + b113 - b136 =L= 0;
e1125.. - b95 + b115 - b137 =L= 0;
e1126.. - b97 + b99 - b138 =L= 0;
e1127.. - b97 + b101 - b139 =L= 0;
e1128.. - b97 + b103 - b140 =L= 0;
e1129.. - b97 + b105 - b141 =L= 0;
e1130.. - b97 + b107 - b142 =L= 0;
e1131.. - b97 + b109 - b143 =L= 0;
e1132.. - b97 + b111 - b144 =L= 0;
e1133.. - b97 + b113 - b145 =L= 0;
e1134.. - b97 + b115 - b146 =L= 0;
e1135.. - b99 + b101 - b147 =L= 0;
e1136.. - b99 + b103 - b148 =L= 0;
e1137.. - b99 + b105 - b149 =L= 0;
e1138.. - b99 + b107 - b150 =L= 0;
e1139.. - b99 + b109 - b151 =L= 0;
e1140.. - b99 + b111 - b152 =L= 0;
e1141.. - b99 + b113 - b153 =L= 0;
e1142.. - b99 + b115 - b154 =L= 0;
e1143.. - b101 + b103 - b155 =L= 0;
e1144.. - b101 + b105 - b156 =L= 0;
e1145.. - b101 + b107 - b157 =L= 0;
e1146.. - b101 + b109 - b158 =L= 0;
e1147.. - b101 + b111 - b159 =L= 0;
e1148.. - b101 + b113 - b160 =L= 0;
e1149.. - b101 + b115 - b161 =L= 0;
e1150.. - b103 + b105 - b162 =L= 0;
e1151.. - b103 + b107 - b163 =L= 0;
e1152.. - b103 + b109 - b164 =L= 0;
e1153.. - b103 + b111 - b165 =L= 0;
e1154.. - b103 + b113 - b166 =L= 0;
e1155.. - b103 + b115 - b167 =L= 0;
e1156.. - b105 + b107 - b168 =L= 0;
e1157.. - b105 + b109 - b169 =L= 0;
e1158.. - b105 + b111 - b170 =L= 0;
e1159.. - b105 + b113 - b171 =L= 0;
e1160.. - b105 + b115 - b172 =L= 0;
e1161.. - b107 + b109 - b173 =L= 0;
e1162.. - b107 + b111 - b174 =L= 0;
e1163.. - b107 + b113 - b175 =L= 0;
e1164.. - b107 + b115 - b176 =L= 0;
e1165.. - b109 + b111 - b177 =L= 0;
e1166.. - b109 + b113 - b178 =L= 0;
e1167.. - b109 + b115 - b179 =L= 0;
e1168.. - b111 + b113 - b180 =L= 0;
e1169.. - b111 + b115 - b181 =L= 0;
e1170.. - b113 + b115 - b182 =L= 0;
e1171.. - b93 + b96 - b117 =L= 0;
e1172.. - b93 + b98 - b118 =L= 0;
e1173.. - b93 + b100 - b119 =L= 0;
e1174.. - b93 + b102 - b120 =L= 0;
e1175.. - b93 + b104 - b121 =L= 0;
e1176.. - b93 + b106 - b122 =L= 0;
e1177.. - b93 + b108 - b123 =L= 0;
e1178.. - b93 + b110 - b124 =L= 0;
e1179.. - b93 + b112 - b125 =L= 0;
e1180.. - b93 + b114 - b126 =L= 0;
e1181.. - b93 + b116 - b127 =L= 0;
e1182.. - b96 + b98 - b128 =L= 0;
e1183.. - b96 + b100 - b129 =L= 0;
e1184.. - b96 + b102 - b130 =L= 0;
e1185.. - b96 + b104 - b131 =L= 0;
e1186.. - b96 + b106 - b132 =L= 0;
e1187.. - b96 + b108 - b133 =L= 0;
e1188.. - b96 + b110 - b134 =L= 0;
e1189.. - b96 + b112 - b135 =L= 0;
e1190.. - b96 + b114 - b136 =L= 0;
e1191.. - b96 + b116 - b137 =L= 0;
e1192.. - b98 + b100 - b138 =L= 0;
e1193.. - b98 + b102 - b139 =L= 0;
e1194.. - b98 + b104 - b140 =L= 0;
e1195.. - b98 + b106 - b141 =L= 0;
e1196.. - b98 + b108 - b142 =L= 0;
e1197.. - b98 + b110 - b143 =L= 0;
e1198.. - b98 + b112 - b144 =L= 0;
e1199.. - b98 + b114 - b145 =L= 0;
e1200.. - b98 + b116 - b146 =L= 0;
e1201.. - b100 + b102 - b147 =L= 0;
e1202.. - b100 + b104 - b148 =L= 0;
e1203.. - b100 + b106 - b149 =L= 0;
e1204.. - b100 + b108 - b150 =L= 0;
e1205.. - b100 + b110 - b151 =L= 0;
e1206.. - b100 + b112 - b152 =L= 0;
e1207.. - b100 + b114 - b153 =L= 0;
e1208.. - b100 + b116 - b154 =L= 0;
e1209.. - b102 + b104 - b155 =L= 0;
e1210.. - b102 + b106 - b156 =L= 0;
e1211.. - b102 + b108 - b157 =L= 0;
e1212.. - b102 + b110 - b158 =L= 0;
e1213.. - b102 + b112 - b159 =L= 0;
e1214.. - b102 + b114 - b160 =L= 0;
e1215.. - b102 + b116 - b161 =L= 0;
e1216.. - b104 + b106 - b162 =L= 0;
e1217.. - b104 + b108 - b163 =L= 0;
e1218.. - b104 + b110 - b164 =L= 0;
e1219.. - b104 + b112 - b165 =L= 0;
e1220.. - b104 + b114 - b166 =L= 0;
e1221.. - b104 + b116 - b167 =L= 0;
e1222.. - b106 + b108 - b168 =L= 0;
e1223.. - b106 + b110 - b169 =L= 0;
e1224.. - b106 + b112 - b170 =L= 0;
e1225.. - b106 + b114 - b171 =L= 0;
e1226.. - b106 + b116 - b172 =L= 0;
e1227.. - b108 + b110 - b173 =L= 0;
e1228.. - b108 + b112 - b174 =L= 0;
e1229.. - b108 + b114 - b175 =L= 0;
e1230.. - b108 + b116 - b176 =L= 0;
e1231.. - b110 + b112 - b177 =L= 0;
e1232.. - b110 + b114 - b178 =L= 0;
e1233.. - b110 + b116 - b179 =L= 0;
e1234.. - b112 + b114 - b180 =L= 0;
e1235.. - b112 + b116 - b181 =L= 0;
e1236.. - b114 + b116 - b182 =L= 0;
e1237.. - b117 + b118 - b128 =L= 0;
e1238.. - b117 + b119 - b129 =L= 0;
e1239.. - b117 + b120 - b130 =L= 0;
e1240.. - b117 + b121 - b131 =L= 0;
e1241.. - b117 + b122 - b132 =L= 0;
e1242.. - b117 + b123 - b133 =L= 0;
e1243.. - b117 + b124 - b134 =L= 0;
e1244.. - b117 + b125 - b135 =L= 0;
e1245.. - b117 + b126 - b136 =L= 0;
e1246.. - b117 + b127 - b137 =L= 0;
e1247.. - b118 + b119 - b138 =L= 0;
e1248.. - b118 + b120 - b139 =L= 0;
e1249.. - b118 + b121 - b140 =L= 0;
e1250.. - b118 + b122 - b141 =L= 0;
e1251.. - b118 + b123 - b142 =L= 0;
e1252.. - b118 + b124 - b143 =L= 0;
e1253.. - b118 + b125 - b144 =L= 0;
e1254.. - b118 + b126 - b145 =L= 0;
e1255.. - b118 + b127 - b146 =L= 0;
e1256.. - b119 + b120 - b147 =L= 0;
e1257.. - b119 + b121 - b148 =L= 0;
e1258.. - b119 + b122 - b149 =L= 0;
e1259.. - b119 + b123 - b150 =L= 0;
e1260.. - b119 + b124 - b151 =L= 0;
e1261.. - b119 + b125 - b152 =L= 0;
e1262.. - b119 + b126 - b153 =L= 0;
e1263.. - b119 + b127 - b154 =L= 0;
e1264.. - b120 + b121 - b155 =L= 0;
e1265.. - b120 + b122 - b156 =L= 0;
e1266.. - b120 + b123 - b157 =L= 0;
e1267.. - b120 + b124 - b158 =L= 0;
e1268.. - b120 + b125 - b159 =L= 0;
e1269.. - b120 + b126 - b160 =L= 0;
e1270.. - b120 + b127 - b161 =L= 0;
e1271.. - b121 + b122 - b162 =L= 0;
e1272.. - b121 + b123 - b163 =L= 0;
e1273.. - b121 + b124 - b164 =L= 0;
e1274.. - b121 + b125 - b165 =L= 0;
e1275.. - b121 + b126 - b166 =L= 0;
e1276.. - b121 + b127 - b167 =L= 0;
e1277.. - b122 + b123 - b168 =L= 0;
e1278.. - b122 + b124 - b169 =L= 0;
e1279.. - b122 + b125 - b170 =L= 0;
e1280.. - b122 + b126 - b171 =L= 0;
e1281.. - b122 + b127 - b172 =L= 0;
e1282.. - b123 + b124 - b173 =L= 0;
e1283.. - b123 + b125 - b174 =L= 0;
e1284.. - b123 + b126 - b175 =L= 0;
e1285.. - b123 + b127 - b176 =L= 0;
e1286.. - b124 + b125 - b177 =L= 0;
e1287.. - b124 + b126 - b178 =L= 0;
e1288.. - b124 + b127 - b179 =L= 0;
e1289.. - b125 + b126 - b180 =L= 0;
e1290.. - b125 + b127 - b181 =L= 0;
e1291.. - b126 + b127 - b182 =L= 0;
e1292.. - b128 + b129 - b138 =L= 0;
e1293.. - b128 + b130 - b139 =L= 0;
e1294.. - b128 + b131 - b140 =L= 0;
e1295.. - b128 + b132 - b141 =L= 0;
e1296.. - b128 + b133 - b142 =L= 0;
e1297.. - b128 + b134 - b143 =L= 0;
e1298.. - b128 + b135 - b144 =L= 0;
e1299.. - b128 + b136 - b145 =L= 0;
e1300.. - b128 + b137 - b146 =L= 0;
e1301.. - b129 + b130 - b147 =L= 0;
e1302.. - b129 + b131 - b148 =L= 0;
e1303.. - b129 + b132 - b149 =L= 0;
e1304.. - b129 + b133 - b150 =L= 0;
e1305.. - b129 + b134 - b151 =L= 0;
e1306.. - b129 + b135 - b152 =L= 0;
e1307.. - b129 + b136 - b153 =L= 0;
e1308.. - b129 + b137 - b154 =L= 0;
e1309.. - b130 + b131 - b155 =L= 0;
e1310.. - b130 + b132 - b156 =L= 0;
e1311.. - b130 + b133 - b157 =L= 0;
e1312.. - b130 + b134 - b158 =L= 0;
e1313.. - b130 + b135 - b159 =L= 0;
e1314.. - b130 + b136 - b160 =L= 0;
e1315.. - b130 + b137 - b161 =L= 0;
e1316.. - b131 + b132 - b162 =L= 0;
e1317.. - b131 + b133 - b163 =L= 0;
e1318.. - b131 + b134 - b164 =L= 0;
e1319.. - b131 + b135 - b165 =L= 0;
e1320.. - b131 + b136 - b166 =L= 0;
e1321.. - b131 + b137 - b167 =L= 0;
e1322.. - b132 + b133 - b168 =L= 0;
e1323.. - b132 + b134 - b169 =L= 0;
e1324.. - b132 + b135 - b170 =L= 0;
e1325.. - b132 + b136 - b171 =L= 0;
e1326.. - b132 + b137 - b172 =L= 0;
e1327.. - b133 + b134 - b173 =L= 0;
e1328.. - b133 + b135 - b174 =L= 0;
e1329.. - b133 + b136 - b175 =L= 0;
e1330.. - b133 + b137 - b176 =L= 0;
e1331.. - b134 + b135 - b177 =L= 0;
e1332.. - b134 + b136 - b178 =L= 0;
e1333.. - b134 + b137 - b179 =L= 0;
e1334.. - b135 + b136 - b180 =L= 0;
e1335.. - b135 + b137 - b181 =L= 0;
e1336.. - b136 + b137 - b182 =L= 0;
e1337.. - b138 + b139 - b147 =L= 0;
e1338.. - b138 + b140 - b148 =L= 0;
e1339.. - b138 + b141 - b149 =L= 0;
e1340.. - b138 + b142 - b150 =L= 0;
e1341.. - b138 + b143 - b151 =L= 0;
e1342.. - b138 + b144 - b152 =L= 0;
e1343.. - b138 + b145 - b153 =L= 0;
e1344.. - b138 + b146 - b154 =L= 0;
e1345.. - b139 + b140 - b155 =L= 0;
e1346.. - b139 + b141 - b156 =L= 0;
e1347.. - b139 + b142 - b157 =L= 0;
e1348.. - b139 + b143 - b158 =L= 0;
e1349.. - b139 + b144 - b159 =L= 0;
e1350.. - b139 + b145 - b160 =L= 0;
e1351.. - b139 + b146 - b161 =L= 0;
e1352.. - b140 + b141 - b162 =L= 0;
e1353.. - b140 + b142 - b163 =L= 0;
e1354.. - b140 + b143 - b164 =L= 0;
e1355.. - b140 + b144 - b165 =L= 0;
e1356.. - b140 + b145 - b166 =L= 0;
e1357.. - b140 + b146 - b167 =L= 0;
e1358.. - b141 + b142 - b168 =L= 0;
e1359.. - b141 + b143 - b169 =L= 0;
e1360.. - b141 + b144 - b170 =L= 0;
e1361.. - b141 + b145 - b171 =L= 0;
e1362.. - b141 + b146 - b172 =L= 0;
e1363.. - b142 + b143 - b173 =L= 0;
e1364.. - b142 + b144 - b174 =L= 0;
e1365.. - b142 + b145 - b175 =L= 0;
e1366.. - b142 + b146 - b176 =L= 0;
e1367.. - b143 + b144 - b177 =L= 0;
e1368.. - b143 + b145 - b178 =L= 0;
e1369.. - b143 + b146 - b179 =L= 0;
e1370.. - b144 + b145 - b180 =L= 0;
e1371.. - b144 + b146 - b181 =L= 0;
e1372.. - b145 + b146 - b182 =L= 0;
e1373.. - b147 + b148 - b155 =L= 0;
e1374.. - b147 + b149 - b156 =L= 0;
e1375.. - b147 + b150 - b157 =L= 0;
e1376.. - b147 + b151 - b158 =L= 0;
e1377.. - b147 + b152 - b159 =L= 0;
e1378.. - b147 + b153 - b160 =L= 0;
e1379.. - b147 + b154 - b161 =L= 0;
e1380.. - b148 + b149 - b162 =L= 0;
e1381.. - b148 + b150 - b163 =L= 0;
e1382.. - b148 + b151 - b164 =L= 0;
e1383.. - b148 + b152 - b165 =L= 0;
e1384.. - b148 + b153 - b166 =L= 0;
e1385.. - b148 + b154 - b167 =L= 0;
e1386.. - b149 + b150 - b168 =L= 0;
e1387.. - b149 + b151 - b169 =L= 0;
e1388.. - b149 + b152 - b170 =L= 0;
e1389.. - b149 + b153 - b171 =L= 0;
e1390.. - b149 + b154 - b172 =L= 0;
e1391.. - b150 + b151 - b173 =L= 0;
e1392.. - b150 + b152 - b174 =L= 0;
e1393.. - b150 + b153 - b175 =L= 0;
e1394.. - b150 + b154 - b176 =L= 0;
e1395.. - b151 + b152 - b177 =L= 0;
e1396.. - b151 + b153 - b178 =L= 0;
e1397.. - b151 + b154 - b179 =L= 0;
e1398.. - b152 + b153 - b180 =L= 0;
e1399.. - b152 + b154 - b181 =L= 0;
e1400.. - b153 + b154 - b182 =L= 0;
e1401.. - b155 + b156 - b162 =L= 0;
e1402.. - b155 + b157 - b163 =L= 0;
e1403.. - b155 + b158 - b164 =L= 0;
e1404.. - b155 + b159 - b165 =L= 0;
e1405.. - b155 + b160 - b166 =L= 0;
e1406.. - b155 + b161 - b167 =L= 0;
e1407.. - b156 + b157 - b168 =L= 0;
e1408.. - b156 + b158 - b169 =L= 0;
e1409.. - b156 + b159 - b170 =L= 0;
e1410.. - b156 + b160 - b171 =L= 0;
e1411.. - b156 + b161 - b172 =L= 0;
e1412.. - b157 + b158 - b173 =L= 0;
e1413.. - b157 + b159 - b174 =L= 0;
e1414.. - b157 + b160 - b175 =L= 0;
e1415.. - b157 + b161 - b176 =L= 0;
e1416.. - b158 + b159 - b177 =L= 0;
e1417.. - b158 + b160 - b178 =L= 0;
e1418.. - b158 + b161 - b179 =L= 0;
e1419.. - b159 + b160 - b180 =L= 0;
e1420.. - b159 + b161 - b181 =L= 0;
e1421.. - b160 + b161 - b182 =L= 0;
e1422.. - b162 + b163 - b168 =L= 0;
e1423.. - b162 + b164 - b169 =L= 0;
e1424.. - b162 + b165 - b170 =L= 0;
e1425.. - b162 + b166 - b171 =L= 0;
e1426.. - b162 + b167 - b172 =L= 0;
e1427.. - b163 + b164 - b173 =L= 0;
e1428.. - b163 + b165 - b174 =L= 0;
e1429.. - b163 + b166 - b175 =L= 0;
e1430.. - b163 + b167 - b176 =L= 0;
e1431.. - b164 + b165 - b177 =L= 0;
e1432.. - b164 + b166 - b178 =L= 0;
e1433.. - b164 + b167 - b179 =L= 0;
e1434.. - b165 + b166 - b180 =L= 0;
e1435.. - b165 + b167 - b181 =L= 0;
e1436.. - b166 + b167 - b182 =L= 0;
e1437.. - b168 + b169 - b173 =L= 0;
e1438.. - b168 + b170 - b174 =L= 0;
e1439.. - b168 + b171 - b175 =L= 0;
e1440.. - b168 + b172 - b176 =L= 0;
e1441.. - b169 + b170 - b177 =L= 0;
e1442.. - b169 + b171 - b178 =L= 0;
e1443.. - b169 + b172 - b179 =L= 0;
e1444.. - b170 + b171 - b180 =L= 0;
e1445.. - b170 + b172 - b181 =L= 0;
e1446.. - b171 + b172 - b182 =L= 0;
e1447.. - b173 + b174 - b177 =L= 0;
e1448.. - b173 + b175 - b178 =L= 0;
e1449.. - b173 + b176 - b179 =L= 0;
e1450.. - b174 + b175 - b180 =L= 0;
e1451.. - b174 + b176 - b181 =L= 0;
e1452.. - b175 + b176 - b182 =L= 0;
e1453.. - b177 + b178 - b180 =L= 0;
e1454.. - b177 + b179 - b181 =L= 0;
e1455.. - b178 + b179 - b182 =L= 0;
e1456.. - b180 + b181 - b182 =L= 0;
e1457.. 2*b1*b92 - 7*b1 + 10*b92 + 2*b1*b93 - 3*b93 - 2*b1*b97 + 13*b97 - 2*b1*
b98 + 2*b98 - 2*b1*b103 + 18*b103 - 2*b1*b104 + 4*b104 - 2*b1*b111 + 9*
b111 - 2*b1*b112 - 10*b112 + 2*b1*b113 + 8*b113 + 2*b1*b114 - 13*b114
+ 2*b1*b115 + 21*b115 + 2*b1*b116 + 9*b116 - 2*b1*b118 + 2*b118 - 2*b1
*b119 - 13*b119 - 2*b1*b121 + 5*b121 - 2*b1*b122 - 9*b122 - 2*b1*b123
- 8*b123 - 2*b1*b125 - 6*b125 + 2*b1*b138 - 17*b138 + 2*b1*b141 - 11*
b141 + 2*b1*b142 - 12*b142 + 2*b1*b145 - 10*b145 + 2*b1*b146 + 9*b146
- 2*b1*b148 + 25*b148 - 2*b1*b152 + 8*b152 + 2*b1*b153 + 6*b153 + 2*b1
*b154 + 33*b154 + 2*b1*b162 - 18*b162 + 2*b1*b163 - 19*b163 + 2*b1*b166
- 16*b166 + 2*b1*b167 + 9*b167 - 2*b1*b170 + 2*b170 + 2*b1*b171 + 2*
b171 + 2*b1*b172 + 26*b172 - 2*b1*b174 + 3*b174 + 2*b1*b175 + 2*b1*b176
+ 22*b176 + 2*b1*b180 - 2*b180 + 2*b1*b181 + 23*b181 + 2*b2*b92 - 10*
b2 + 2*b2*b93 + 2*b2*b94 + 12*b94 - 2*b2*b98 + 2*b2*b99 + 5*b99 + 2*b2*
b101 + 10*b101 + 2*b2*b102 - 6*b102 - 2*b2*b104 - 2*b2*b106 - 13*b106
+ 2*b2*b107 + 6*b107 + 2*b2*b111 + 2*b2*b113 + 2*b2*b114 - 2*b2*b118
- 2*b2*b119 - 2*b2*b121 - 2*b2*b122 - 2*b2*b123 - 2*b2*b125 + 2*b2*
b138 + 2*b2*b139 - 3*b139 + 2*b2*b142 + 2*b2*b144 - 10*b144 + 2*b2*b145
+ 2*b2*b147 + 10*b147 - 2*b2*b148 - 2*b2*b149 + 4*b149 + 2*b2*b153 - 2
*b2*b155 + 6*b155 - 2*b2*b156 - 6*b156 - 2*b2*b157 - 5*b157 - 2*b2*b159
- 4*b159 + 2*b2*b163 + 2*b2*b165 - 16*b165 + 2*b2*b166 + 2*b2*b168 + 2
*b2*b170 + 2*b2*b171 + 2*b2*b175 + 2*b2*b180 - 2*b3*b92 + 3*b3 - 2*b3*
b94 - 2*b3*b99 - 2*b3*b101 - 2*b3*b102 + 2*b3*b106 - 2*b3*b107 - 2*b3*
b111 - 2*b3*b112 - 2*b3*b113 + 2*b3*b116 - 2*b3*b120 - 2*b120 + 2*b3*
b122 - 2*b3*b125 + 2*b3*b127 + 9*b127 - 2*b3*b147 + 2*b3*b149 - 2*b3*
b152 + 2*b3*b154 + 2*b3*b156 + 2*b3*b157 + 2*b3*b160 - 5*b160 + 2*b3*
b161 + 13*b161 - 2*b3*b168 - 2*b3*b170 - 2*b3*b171 - 2*b3*b174 + 2*b3*
b176 + 2*b3*b180 + 2*b3*b181 + 2*b3*b182 + 23*b182 + 2*b4*b92 + 12*b4
+ 2*b4*b94 - 2*b4*b95 + 18*b95 - 2*b4*b96 + 4*b96 - 2*b4*b97 - 2*b4*
b98 - 2*b4*b100 - 19*b100 - 2*b4*b103 - 2*b4*b104 - 2*b4*b106 - 2*b4*
b108 - 10*b108 - 2*b4*b109 + 29*b109 - 2*b4*b110 + 13*b110 - 2*b4*b111
- 2*b4*b112 - 2*b4*b114 - 2*b4*b116 - 2*b4*b117 + 5*b117 - 2*b4*b118
- 2*b4*b119 - 2*b4*b121 - 2*b4*b122 - 2*b4*b123 - 2*b4*b124 + 14*b124
- 2*b4*b125 - 2*b4*b126 - 9*b126 - 2*b4*b127 + 2*b4*b129 - 23*b129 + 2
*b4*b132 - 17*b132 + 2*b4*b133 - 18*b133 + 2*b4*b136 - 15*b136 + 2*b4*
b137 + 6*b137 + 2*b4*b138 + 2*b4*b141 + 2*b4*b142 + 2*b4*b145 + 2*b4*
b146 - 2*b4*b148 - 2*b4*b151 + 43*b151 - 2*b4*b152 + 2*b4*b162 + 2*b4*
b163 + 2*b4*b166 + 2*b4*b167 - 2*b4*b169 + 34*b169 - 2*b4*b170 - 2*b4*
b173 + 32*b173 - 2*b4*b174 + 2*b4*b178 - 30*b178 + 2*b4*b179 + 2*b4*
b180 + 2*b4*b181 + 2*b5*b92 + 9*b5 + 2*b5*b94 - 2*b5*b96 - 2*b5*b98 + 2
*b5*b99 - 2*b5*b100 + 2*b5*b101 - 2*b5*b104 - 2*b5*b106 + 2*b5*b107 - 2
*b5*b108 - 2*b5*b110 + 2*b5*b111 - 2*b5*b112 + 2*b5*b113 - 2*b5*b114 -
2*b5*b116 - 2*b5*b117 - 2*b5*b118 - 2*b5*b119 - 2*b5*b121 - 2*b5*b122
- 2*b5*b123 - 2*b5*b124 - 2*b5*b125 - 2*b5*b126 - 2*b5*b127 + 2*b5*
b129 + 2*b5*b130 - 6*b130 + 2*b5*b133 + 2*b5*b135 - 16*b135 + 2*b5*b136
+ 2*b5*b138 + 2*b5*b139 + 2*b5*b142 + 2*b5*b144 + 2*b5*b145 + 2*b5*
b147 - 2*b5*b148 - 2*b5*b149 - 2*b5*b151 - 2*b5*b154 - 2*b5*b155 - 2*b5
*b156 - 2*b5*b157 - 2*b5*b158 + 16*b158 - 2*b5*b159 - 2*b5*b160 - 2*b5*
b161 + 2*b5*b163 + 2*b5*b165 + 2*b5*b166 + 2*b5*b168 + 2*b5*b170 + 2*b5
*b171 - 2*b5*b173 - 2*b5*b176 + 2*b5*b177 - 32*b177 + 2*b5*b178 - 2*b5*
b181 - 2*b5*b182 - 2*b6*b93 + 2*b6 + 2*b6*b94 - 2*b6*b95 - 2*b6*b96 - 2
*b6*b97 - 2*b6*b98 - 2*b6*b100 - 2*b6*b101 - 2*b6*b102 - 2*b6*b103 - 2*
b6*b104 - 2*b6*b106 - 2*b6*b108 - 2*b6*b109 - 2*b6*b110 - 2*b6*b111 - 2
*b6*b112 - 2*b6*b114 + 2*b6*b115 - 2*b6*b117 - 2*b6*b118 - 2*b6*b120 -
2*b6*b121 - 2*b6*b124 - 2*b6*b125 + 2*b6*b127 + 2*b6*b129 + 2*b6*b132
+ 2*b6*b133 + 2*b6*b136 + 2*b6*b137 + 2*b6*b138 + 2*b6*b141 + 2*b6*
b142 + 2*b6*b145 + 2*b6*b146 - 2*b6*b147 - 2*b6*b148 - 2*b6*b151 - 2*b6
*b152 + 2*b6*b154 + 2*b6*b156 + 2*b6*b157 + 2*b6*b160 + 2*b6*b161 + 2*
b6*b162 + 2*b6*b163 + 2*b6*b166 + 2*b6*b167 - 2*b6*b169 - 2*b6*b170 + 2
*b6*b172 - 2*b6*b173 - 2*b6*b174 + 2*b6*b176 + 2*b6*b178 + 2*b6*b179 +
2*b6*b180 + 2*b6*b181 + 2*b6*b182 + 2*b7*b92 - 2*b7 - 2*b7*b93 + 2*b7*
b94 - 2*b7*b96 - 2*b7*b98 + 2*b7*b99 - 2*b7*b100 + 2*b7*b101 - 2*b7*
b102 - 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*b117 - 2*b7*b118 - 2*
b7*b121 - 2*b7*b122 - 2*b7*b124 + 2*b7*b129 + 2*b7*b130 + 2*b7*b133 + 2
*b7*b135 + 2*b7*b136 + 2*b7*b138 + 2*b7*b139 + 2*b7*b142 + 2*b7*b144 +
2*b7*b145 - 2*b7*b148 - 2*b7*b149 - 2*b7*b151 - 2*b7*b155 - 2*b7*b156
- 2*b7*b158 + 2*b7*b163 + 2*b7*b165 + 2*b7*b166 + 2*b7*b168 + 2*b7*
b170 + 2*b7*b171 - 2*b7*b173 + 2*b7*b177 + 2*b7*b178 - 2*b8*b92 + 13*b8
- 2*b8*b94 - 2*b8*b95 - 2*b8*b96 - 2*b8*b99 - 2*b8*b101 - 2*b8*b102 -
2*b8*b103 - 2*b8*b104 - 2*b8*b105 + 7*b105 - 2*b8*b107 - 2*b8*b109 - 2*
b8*b110 - 2*b8*b111 - 2*b8*b112 - 2*b8*b113 - 2*b8*b115 - 2*b8*b117 - 2
*b8*b120 - 2*b8*b121 - 2*b8*b124 - 2*b8*b125 + 2*b8*b129 + 2*b8*b132 +
2*b8*b133 + 2*b8*b136 + 2*b8*b137 - 2*b8*b147 - 2*b8*b148 - 2*b8*b151
- 2*b8*b152 + 2*b8*b156 + 2*b8*b157 + 2*b8*b160 + 2*b8*b161 + 2*b8*
b162 + 2*b8*b163 + 2*b8*b166 + 2*b8*b167 - 2*b8*b169 - 2*b8*b170 - 2*b8
*b173 - 2*b8*b174 + 2*b8*b178 + 2*b8*b179 + 2*b8*b180 + 2*b8*b181 - 2*
b9*b96 + 9*b9 - 2*b9*b104 - 2*b9*b106 - 2*b9*b110 - 2*b9*b116 - 2*b9*
b117 - 2*b9*b121 - 2*b9*b122 - 2*b9*b124 - 2*b9*b127 + 2*b9*b129 + 2*b9
*b130 + 2*b9*b133 + 2*b9*b135 + 2*b9*b136 - 2*b9*b148 - 2*b9*b149 - 2*
b9*b151 - 2*b9*b154 - 2*b9*b155 - 2*b9*b156 - 2*b9*b158 - 2*b9*b161 + 2
*b9*b163 + 2*b9*b165 + 2*b9*b166 + 2*b9*b168 + 2*b9*b170 + 2*b9*b171 -
2*b9*b173 - 2*b9*b176 + 2*b9*b177 + 2*b9*b178 - 2*b9*b181 - 2*b9*b182
- 2*b10*b93 - 2*b10 + 2*b10*b94 - 2*b10*b95 - 2*b10*b96 - 2*b10*b97 -
2*b10*b98 - 2*b10*b100 - 2*b10*b103 - 2*b10*b104 - 2*b10*b106 - 2*b10*
b108 - 2*b10*b111 - 2*b10*b112 - 2*b10*b114 + 2*b10*b115 - 2*b10*b117
- 2*b10*b118 - 2*b10*b121 - 2*b10*b125 + 2*b10*b127 + 2*b10*b129 + 2*
b10*b132 + 2*b10*b133 + 2*b10*b136 + 2*b10*b137 + 2*b10*b138 + 2*b10*
b141 + 2*b10*b142 + 2*b10*b145 + 2*b10*b146 - 2*b10*b148 - 2*b10*b152
+ 2*b10*b154 + 2*b10*b162 + 2*b10*b163 + 2*b10*b166 + 2*b10*b167 - 2*
b10*b170 + 2*b10*b172 - 2*b10*b174 + 2*b10*b176 + 2*b10*b180 + 2*b10*
b181 + 2*b10*b182 + 2*b11*b92 - 5*b11 - 2*b11*b93 + 2*b11*b94 - 2*b11*
b96 - 2*b11*b98 + 2*b11*b99 - 2*b11*b100 + 2*b11*b101 - 2*b11*b104 - 2*
b11*b106 + 2*b11*b107 - 2*b11*b108 + 2*b11*b111 - 2*b11*b112 + 2*b11*
b113 - 2*b11*b114 - 2*b11*b117 - 2*b11*b118 + 2*b11*b120 - 2*b11*b121
- 2*b11*b122 + 2*b11*b129 + 2*b11*b130 + 2*b11*b133 + 2*b11*b135 + 2*
b11*b136 + 2*b11*b138 + 2*b11*b139 + 2*b11*b142 + 2*b11*b144 + 2*b11*
b145 + 2*b11*b147 - 2*b11*b148 - 2*b11*b149 - 2*b11*b155 - 2*b11*b156
- 2*b11*b157 - 2*b11*b159 - 2*b11*b160 + 2*b11*b163 + 2*b11*b165 + 2*
b11*b166 + 2*b11*b168 + 2*b11*b170 + 2*b11*b171 + 2*b12*b93 + 3*b12 - 2
*b12*b94 - 2*b12*b99 - 2*b12*b101 - 2*b12*b102 - 2*b12*b105 + 2*b12*
b108 - 2*b12*b109 - 2*b12*b110 - 2*b12*b111 - 2*b12*b112 + 2*b12*b114
+ 2*b12*b116 - 2*b12*b119 - 2*b12*b120 - 2*b12*b122 - 2*b12*b124 - 2*
b12*b125 - 2*b12*b147 + 2*b12*b150 + 5*b150 - 2*b12*b151 - 2*b12*b152
+ 2*b12*b153 + 2*b12*b154 + 2*b12*b156 + 2*b12*b157 + 2*b12*b160 + 2*
b12*b161 + 2*b12*b168 - 2*b12*b169 - 2*b12*b170 + 2*b12*b171 + 2*b12*
b172 - 2*b12*b173 - 2*b12*b174 + 2*b12*b178 + 2*b12*b179 + 2*b12*b180
+ 2*b12*b181 + 2*b13*b93 - 2*b13*b106 + 2*b13*b108 - 2*b13*b110 + 2*
b13*b114 - 2*b13*b119 - 2*b13*b120 - 2*b13*b122 - 2*b13*b124 - 2*b13*
b125 - 2*b13*b149 + 2*b13*b150 - 2*b13*b151 + 2*b13*b153 - 2*b13*b156
+ 2*b13*b157 - 2*b13*b158 + 2*b13*b160 + 2*b13*b168 + 2*b13*b170 + 2*
b13*b171 - 2*b13*b173 - 2*b13*b174 + 2*b13*b177 + 2*b13*b178 + 2*b13*
b180 + 2*b14*b92 + 8*b14 + 2*b14*b94 - 2*b14*b95 - 2*b14*b96 - 2*b14*
b97 - 2*b14*b98 - 2*b14*b100 - 2*b14*b103 - 2*b14*b104 - 2*b14*b106 - 2
*b14*b108 - 2*b14*b109 - 2*b14*b110 - 2*b14*b114 - 2*b14*b116 - 2*b14*
b117 - 2*b14*b118 - 2*b14*b119 - 2*b14*b121 - 2*b14*b122 - 2*b14*b123
- 2*b14*b124 - 2*b14*b126 - 2*b14*b127 + 2*b14*b129 + 2*b14*b132 + 2*
b14*b133 + 2*b14*b136 + 2*b14*b137 + 2*b14*b138 + 2*b14*b141 + 2*b14*
b142 + 2*b14*b145 + 2*b14*b146 - 2*b14*b148 - 2*b14*b151 + 2*b14*b162
+ 2*b14*b163 + 2*b14*b166 + 2*b14*b167 - 2*b14*b169 - 2*b14*b173 + 2*
b14*b178 + 2*b14*b179 + 2*b15*b92 + 5*b15 + 2*b15*b94 - 2*b15*b96 - 2*
b15*b98 + 2*b15*b99 - 2*b15*b100 + 2*b15*b101 - 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*b116 - 2*b15*b117 - 2*b15*b118 - 2*b15*b119 - 2*b15*
b121 - 2*b15*b122 - 2*b15*b123 - 2*b15*b124 - 2*b15*b126 - 2*b15*b127
+ 2*b15*b129 + 2*b15*b130 + 2*b15*b133 + 2*b15*b135 + 2*b15*b136 + 2*
b15*b138 + 2*b15*b139 + 2*b15*b142 + 2*b15*b144 + 2*b15*b145 + 2*b15*
b147 - 2*b15*b148 - 2*b15*b149 - 2*b15*b151 + 2*b15*b152 - 2*b15*b154
- 2*b15*b155 - 2*b15*b156 - 2*b15*b157 - 2*b15*b158 - 2*b15*b160 - 2*
b15*b161 + 2*b15*b163 + 2*b15*b165 + 2*b15*b166 + 2*b15*b168 + 2*b15*
b170 + 2*b15*b171 - 2*b15*b173 + 2*b15*b174 - 2*b15*b176 + 2*b15*b177
+ 2*b15*b178 - 2*b15*b180 - 2*b15*b181 - 2*b15*b182 - 2*b16*b92 + 11*
b16 - 2*b16*b94 - 2*b16*b99 - 2*b16*b101 - 2*b16*b102 - 2*b16*b103 - 2*
b16*b104 + 2*b16*b106 + 2*b16*b108 - 2*b16*b109 - 2*b16*b110 - 2*b16*
b111 - 2*b16*b112 - 2*b16*b113 - 2*b16*b115 - 2*b16*b120 - 2*b16*b121
+ 2*b16*b122 + 2*b16*b123 - 2*b16*b124 - 2*b16*b125 - 2*b16*b147 - 2*
b16*b148 + 2*b16*b149 + 2*b16*b150 - 2*b16*b151 - 2*b16*b152 + 2*b16*
b156 + 2*b16*b157 + 2*b16*b160 + 2*b16*b161 + 2*b16*b162 + 2*b16*b163
+ 2*b16*b166 + 2*b16*b167 - 2*b16*b169 - 2*b16*b170 - 2*b16*b171 - 2*
b16*b172 - 2*b16*b173 - 2*b16*b174 - 2*b16*b175 - 2*b16*b176 + 2*b16*
b178 + 2*b16*b179 + 2*b16*b180 + 2*b16*b181 - 2*b17*b104 + 9*b17 + 2*
b17*b108 - 2*b17*b110 - 2*b17*b116 - 2*b17*b121 + 2*b17*b123 - 2*b17*
b124 - 2*b17*b127 - 2*b17*b148 + 2*b17*b150 - 2*b17*b151 - 2*b17*b154
- 2*b17*b155 + 2*b17*b157 - 2*b17*b158 - 2*b17*b161 + 2*b17*b163 + 2*
b17*b165 + 2*b17*b166 - 2*b17*b173 - 2*b17*b174 - 2*b17*b175 - 2*b17*
b176 + 2*b17*b177 + 2*b17*b178 - 2*b17*b181 - 2*b17*b182 + 2*b18*b92 +
7*b18 + 2*b18*b93 - 2*b18*b95 - 2*b18*b96 - 2*b18*b97 - 2*b18*b98 - 2*
b18*b101 - 2*b18*b102 - 2*b18*b109 - 2*b18*b110 - 2*b18*b111 - 2*b18*
b112 - 2*b18*b117 - 2*b18*b118 - 2*b18*b119 - 2*b18*b120 - 2*b18*b122
- 2*b18*b123 - 2*b18*b124 - 2*b18*b125 - 2*b18*b126 - 2*b18*b127 + 2*
b18*b129 + 2*b18*b132 + 2*b18*b133 + 2*b18*b136 + 2*b18*b137 + 2*b18*
b138 + 2*b18*b141 + 2*b18*b142 + 2*b18*b145 + 2*b18*b146 - 2*b18*b147
- 2*b18*b151 - 2*b18*b152 + 2*b18*b156 + 2*b18*b157 + 2*b18*b160 + 2*
b18*b161 - 2*b18*b169 - 2*b18*b170 - 2*b18*b173 - 2*b18*b174 + 2*b18*
b178 + 2*b18*b179 + 2*b18*b180 + 2*b18*b181 + 2*b19*b92 + 2*b19 + 2*b19
*b93 + 2*b19*b94 - 2*b19*b96 - 2*b19*b98 + 2*b19*b99 + 2*b19*b101 - 2*
b19*b106 + 2*b19*b107 - 2*b19*b110 + 2*b19*b111 + 2*b19*b113 - 2*b19*
b116 - 2*b19*b117 - 2*b19*b118 - 2*b19*b119 - 2*b19*b120 - 2*b19*b122
- 2*b19*b123 - 2*b19*b124 - 2*b19*b125 - 2*b19*b126 - 2*b19*b127 + 2*
b19*b129 + 2*b19*b130 + 2*b19*b133 + 2*b19*b135 + 2*b19*b136 + 2*b19*
b138 + 2*b19*b139 + 2*b19*b142 + 2*b19*b144 + 2*b19*b145 - 2*b19*b149
- 2*b19*b151 - 2*b19*b154 - 2*b19*b156 - 2*b19*b158 - 2*b19*b161 + 2*
b19*b168 + 2*b19*b170 + 2*b19*b171 - 2*b19*b173 - 2*b19*b176 + 2*b19*
b177 + 2*b19*b178 - 2*b19*b181 - 2*b19*b182 - 2*b20*b92 + 11*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*b104 - 2*b20*b105 - 2*b20*
b107 - 2*b20*b109 - 2*b20*b110 - 2*b20*b111 - 2*b20*b112 - 2*b20*b113
- 2*b20*b115 - 2*b20*b117 - 2*b20*b118 - 2*b20*b120 - 2*b20*b121 - 2*
b20*b124 - 2*b20*b125 + 2*b20*b129 + 2*b20*b132 + 2*b20*b133 + 2*b20*
b136 + 2*b20*b137 + 2*b20*b138 + 2*b20*b141 + 2*b20*b142 + 2*b20*b145
+ 2*b20*b146 - 2*b20*b147 - 2*b20*b148 - 2*b20*b151 - 2*b20*b152 + 2*
b20*b156 + 2*b20*b157 + 2*b20*b160 + 2*b20*b161 + 2*b20*b162 + 2*b20*
b163 + 2*b20*b166 + 2*b20*b167 - 2*b20*b169 - 2*b20*b170 - 2*b20*b173
- 2*b20*b174 + 2*b20*b178 + 2*b20*b179 + 2*b20*b180 + 2*b20*b181 - 2*
b21*b96 + 6*b21 - 2*b21*b98 - 2*b21*b104 - 2*b21*b106 - 2*b21*b110 - 2*
b21*b116 - 2*b21*b117 - 2*b21*b118 - 2*b21*b121 - 2*b21*b122 - 2*b21*
b124 - 2*b21*b127 + 2*b21*b129 + 2*b21*b130 + 2*b21*b133 + 2*b21*b135
+ 2*b21*b136 + 2*b21*b138 + 2*b21*b139 + 2*b21*b142 + 2*b21*b144 + 2*
b21*b145 - 2*b21*b148 - 2*b21*b149 - 2*b21*b151 - 2*b21*b154 - 2*b21*
b155 - 2*b21*b156 - 2*b21*b158 - 2*b21*b161 + 2*b21*b163 + 2*b21*b165
+ 2*b21*b166 + 2*b21*b168 + 2*b21*b170 + 2*b21*b171 - 2*b21*b173 - 2*
b21*b176 + 2*b21*b177 + 2*b21*b178 - 2*b21*b181 - 2*b21*b182 - 2*b22*
b92 + 15*b22 - 2*b22*b94 - 2*b22*b99 - 2*b22*b103 - 2*b22*b104 - 2*b22*
b105 - 2*b22*b107 - 2*b22*b109 - 2*b22*b110 - 2*b22*b111 - 2*b22*b112
- 2*b22*b113 - 2*b22*b115 - 2*b22*b121 - 2*b22*b124 - 2*b22*b125 - 2*
b22*b148 - 2*b22*b151 - 2*b22*b152 + 2*b22*b162 + 2*b22*b163 + 2*b22*
b166 + 2*b22*b167 - 2*b22*b169 - 2*b22*b170 - 2*b22*b173 - 2*b22*b174
+ 2*b22*b178 + 2*b22*b179 + 2*b22*b180 + 2*b22*b181 + 2*b23*b102 + 12*
b23 - 2*b23*b104 - 2*b23*b106 - 2*b23*b110 - 2*b23*b116 + 2*b23*b120 -
2*b23*b121 - 2*b23*b122 - 2*b23*b124 - 2*b23*b127 + 2*b23*b147 - 2*b23*
b148 - 2*b23*b149 - 2*b23*b151 - 2*b23*b154 - 2*b23*b155 - 2*b23*b156
- 2*b23*b157 - 2*b23*b158 - 2*b23*b159 - 2*b23*b160 - 2*b23*b161 + 2*
b23*b163 + 2*b23*b165 + 2*b23*b166 + 2*b23*b168 + 2*b23*b170 + 2*b23*
b171 - 2*b23*b173 - 2*b23*b176 + 2*b23*b177 + 2*b23*b178 - 2*b23*b181
- 2*b23*b182 - 2*b24*b95 - 5*b24 - 2*b24*b96 - 2*b24*b97 - 2*b24*b98
+ 2*b24*b99 + 2*b24*b100 - 2*b24*b103 - 2*b24*b104 + 2*b24*b105 + 2*
b24*b106 - 2*b24*b109 - 2*b24*b110 + 2*b24*b113 + 2*b24*b114 - 2*b24*
b117 - 2*b24*b118 + 2*b24*b119 - 2*b24*b121 + 2*b24*b122 - 2*b24*b124
+ 2*b24*b126 + 2*b24*b129 + 2*b24*b132 + 2*b24*b133 + 2*b24*b136 + 2*
b24*b137 + 2*b24*b138 + 2*b24*b141 + 2*b24*b142 + 2*b24*b145 + 2*b24*
b146 - 2*b24*b148 - 2*b24*b150 - 2*b24*b151 - 2*b24*b154 + 2*b24*b162
+ 2*b24*b163 + 2*b24*b166 + 2*b24*b167 - 2*b24*b168 - 2*b24*b169 - 2*
b24*b172 - 2*b24*b173 + 2*b24*b175 + 2*b24*b178 + 2*b24*b179 - 2*b24*
b182 + 2*b25*b92 - 10*b25 + 2*b25*b94 - 2*b25*b96 - 2*b25*b98 + 2*b25*
b99 + 2*b25*b100 + 2*b25*b101 + 2*b25*b102 - 2*b25*b104 + 2*b25*b107 -
2*b25*b110 + 2*b25*b111 + 2*b25*b112 + 2*b25*b113 + 2*b25*b114 - 2*b25*
b116 - 2*b25*b117 - 2*b25*b118 + 2*b25*b119 + 2*b25*b120 - 2*b25*b121
- 2*b25*b124 + 2*b25*b125 + 2*b25*b126 - 2*b25*b127 + 2*b25*b129 + 2*
b25*b130 + 2*b25*b133 + 2*b25*b135 + 2*b25*b136 + 2*b25*b138 + 2*b25*
b139 + 2*b25*b142 + 2*b25*b144 + 2*b25*b145 - 2*b25*b148 - 2*b25*b150
- 2*b25*b151 - 2*b25*b154 - 2*b25*b155 - 2*b25*b157 - 2*b25*b158 - 2*
b25*b161 + 2*b25*b163 + 2*b25*b165 + 2*b25*b166 - 2*b25*b173 + 2*b25*
b174 + 2*b25*b175 - 2*b25*b176 + 2*b25*b177 + 2*b25*b178 - 2*b25*b181
- 2*b25*b182 + 2*b26*b94 + 23*b26 - 2*b26*b95 - 2*b26*b96 - 2*b26*b98
- 2*b26*b100 - 2*b26*b104 - 2*b26*b106 - 2*b26*b108 - 2*b26*b109 - 2*
b26*b110 - 2*b26*b112 - 2*b26*b113 - 2*b26*b114 - 2*b26*b115 - 2*b26*
b116 + 2*b26*b128 - 5*b128 + 2*b26*b129 + 2*b26*b131 - 3*b131 + 2*b26*
b132 + 2*b26*b133 + 2*b26*b135 - 2*b26*b143 + 14*b143 - 2*b26*b145 - 2*
b26*b146 - 2*b26*b151 - 2*b26*b153 - 2*b26*b154 - 2*b26*b164 + 14*b164
- 2*b26*b166 - 2*b26*b167 - 2*b26*b169 - 2*b26*b171 - 2*b26*b172 - 2*
b26*b173 - 2*b26*b175 - 2*b26*b176 + 2*b26*b177 - 2*b26*b180 - 2*b26*
b181 - 2*b27*b92 + 11*b27 - 2*b27*b93 + 2*b27*b94 - 2*b27*b95 - 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*b118 + 2*b27*b119 + 2*b27*b121 + 2*b27*b122
+ 2*b27*b123 + 2*b27*b125 + 2*b27*b128 + 2*b27*b129 + 2*b27*b131 + 2*
b27*b132 + 2*b27*b133 + 2*b27*b135 - 2*b27*b139 - 2*b27*b143 - 2*b27*
b145 - 2*b27*b147 - 2*b27*b151 - 2*b27*b153 + 2*b27*b155 + 2*b27*b156
+ 2*b27*b157 + 2*b27*b159 - 2*b27*b164 - 2*b27*b166 - 2*b27*b169 - 2*
b27*b171 - 2*b27*b173 - 2*b27*b175 + 2*b27*b177 - 2*b27*b180 - 2*b28*
b92 + 24*b28 - 2*b28*b93 - 2*b28*b94 - 2*b28*b95 - 2*b28*b96 + 2*b28*
b98 - 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*b118 + 2*b28*b119 + 2*b28*b121
+ 2*b28*b122 + 2*b28*b123 + 2*b28*b125 + 2*b28*b128 + 2*b28*b129 + 2*
b28*b131 + 2*b28*b132 + 2*b28*b133 + 2*b28*b135 - 2*b28*b138 - 2*b28*
b139 - 2*b28*b140 + 3*b140 - 2*b28*b141 - 2*b28*b142 - 2*b28*b143 - 2*
b28*b144 - 2*b28*b145 - 2*b28*b146 - 2*b28*b147 - 2*b28*b151 - 2*b28*
b153 - 2*b28*b154 + 2*b28*b155 + 2*b28*b156 + 2*b28*b157 + 2*b28*b159
- 2*b28*b164 - 2*b28*b166 - 2*b28*b167 - 2*b28*b169 - 2*b28*b171 - 2*
b28*b172 - 2*b28*b173 - 2*b28*b175 - 2*b28*b176 + 2*b28*b177 - 2*b28*
b180 - 2*b28*b181 - 2*b29*b92 + 5*b29 - 2*b29*b93 + 2*b29*b94 - 2*b29*
b95 - 2*b29*b96 - 2*b29*b98 - 2*b29*b100 - 2*b29*b104 - 2*b29*b106 - 2*
b29*b108 - 2*b29*b112 - 2*b29*b113 - 2*b29*b114 + 2*b29*b118 + 2*b29*
b119 + 2*b29*b121 + 2*b29*b122 + 2*b29*b123 + 2*b29*b125 + 2*b29*b128
+ 2*b29*b129 + 2*b29*b131 + 2*b29*b132 + 2*b29*b133 + 2*b29*b135 - 2*
b29*b145 - 2*b29*b153 - 2*b29*b166 - 2*b29*b171 - 2*b29*b175 - 2*b29*
b180 - 2*b30*b94 + 10*b30 + 2*b30*b98 - 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*b138 - 2*b30*b139 - 2*b30*b141 - 2*b30*b143 - 2*
b30*b144 - 2*b30*b147 + 2*b30*b148 + 2*b30*b150 - 2*b30*b151 + 2*b30*
b155 + 2*b30*b156 + 2*b30*b157 + 2*b30*b159 - 2*b30*b162 - 2*b30*b164
- 2*b30*b165 + 2*b30*b168 - 2*b30*b169 - 2*b30*b173 - 2*b30*b174 + 2*
b30*b177 + 2*b31*b94 + 16*b31 - 2*b31*b95 - 2*b31*b96 - 2*b31*b98 - 2*
b31*b100 - 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*b128 + 2*b31*b129 + 2*b31*b131 + 2*b31*b132 + 2*b31*b133 + 2*
b31*b135 - 2*b31*b143 + 2*b31*b144 - 2*b31*b145 - 2*b31*b146 - 2*b31*
b151 + 2*b31*b152 - 2*b31*b153 - 2*b31*b154 - 2*b31*b164 + 2*b31*b165
- 2*b31*b166 - 2*b31*b167 - 2*b31*b169 + 2*b31*b170 - 2*b31*b171 - 2*
b31*b172 - 2*b31*b173 + 2*b31*b174 - 2*b31*b175 - 2*b31*b176 + 2*b31*
b177 - 2*b31*b180 - 2*b31*b181 - 2*b32*b92 + 20*b32 - 2*b32*b93 - 2*b32
*b94 + 2*b32*b98 - 2*b32*b99 - 2*b32*b101 - 2*b32*b102 - 2*b32*b103 + 2
*b32*b106 + 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*b118 + 2*b32*b119
+ 2*b32*b121 + 2*b32*b122 + 2*b32*b123 + 2*b32*b125 - 2*b32*b138 - 2*
b32*b139 - 2*b32*b140 - 2*b32*b143 - 2*b32*b144 - 2*b32*b145 - 2*b32*
b146 - 2*b32*b147 + 2*b32*b149 + 2*b32*b150 - 2*b32*b151 - 2*b32*b153
- 2*b32*b154 + 2*b32*b155 + 2*b32*b156 + 2*b32*b157 + 2*b32*b159 + 2*
b32*b162 + 2*b32*b163 - 2*b32*b164 - 2*b32*b166 - 2*b32*b167 - 2*b32*
b169 - 2*b32*b170 - 2*b32*b171 - 2*b32*b172 - 2*b32*b173 - 2*b32*b174
- 2*b32*b175 - 2*b32*b176 + 2*b32*b177 - 2*b32*b180 - 2*b32*b181 - 2*
b33*b95 + 17*b33 - 2*b33*b96 - 2*b33*b101 - 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*b128 + 2*b33*b129 + 2*b33*b131 + 2*b33*b132
+ 2*b33*b133 + 2*b33*b135 - 2*b33*b139 + 2*b33*b140 - 2*b33*b143 - 2*
b33*b145 - 2*b33*b146 - 2*b33*b147 + 2*b33*b148 - 2*b33*b151 - 2*b33*
b153 - 2*b33*b154 + 2*b33*b155 + 2*b33*b156 + 2*b33*b157 + 2*b33*b159
- 2*b33*b162 - 2*b33*b163 - 2*b33*b164 - 2*b33*b165 - 2*b33*b166 - 2*
b33*b167 - 2*b33*b169 - 2*b33*b171 - 2*b33*b172 - 2*b33*b173 - 2*b33*
b175 - 2*b33*b176 + 2*b33*b177 - 2*b33*b180 - 2*b33*b181 - 2*b34*b92 +
21*b34 - 2*b34*b93 - 2*b34*b94 - 2*b34*b95 - 2*b34*b96 - 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*b118 + 2*b34*b119 + 2*b34*b121 + 2*
b34*b122 + 2*b34*b123 + 2*b34*b125 + 2*b34*b128 + 2*b34*b129 + 2*b34*
b131 + 2*b34*b132 + 2*b34*b133 + 2*b34*b135 - 2*b34*b139 - 2*b34*b143
- 2*b34*b145 - 2*b34*b146 - 2*b34*b147 - 2*b34*b151 - 2*b34*b153 - 2*
b34*b154 + 2*b34*b155 + 2*b34*b156 + 2*b34*b157 + 2*b34*b159 - 2*b34*
b164 - 2*b34*b166 - 2*b34*b167 - 2*b34*b169 - 2*b34*b171 - 2*b34*b172
- 2*b34*b173 - 2*b34*b175 - 2*b34*b176 + 2*b34*b177 - 2*b34*b180 - 2*
b34*b181 - 2*b35*b92 + 28*b35 - 2*b35*b93 - 2*b35*b94 + 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*b118 + 2*b35*b119 + 2*b35*b121 + 2*b35*b122 + 2*b35*b123 + 2*
b35*b125 - 2*b35*b138 - 2*b35*b140 - 2*b35*b141 - 2*b35*b142 - 2*b35*
b143 - 2*b35*b144 - 2*b35*b145 - 2*b35*b146 - 2*b35*b151 - 2*b35*b153
- 2*b35*b154 - 2*b35*b164 - 2*b35*b166 - 2*b35*b167 - 2*b35*b169 - 2*
b35*b171 - 2*b35*b172 - 2*b35*b173 - 2*b35*b175 - 2*b35*b176 + 2*b35*
b177 - 2*b35*b180 - 2*b35*b181 - 2*b36*b92 - 3*b36 - 2*b36*b93 - 2*b36*
b95 - 2*b36*b96 + 2*b36*b99 + 2*b36*b100 + 2*b36*b105 + 2*b36*b106 - 2*
b36*b109 - 2*b36*b110 + 2*b36*b111 + 2*b36*b112 - 2*b36*b115 - 2*b36*
b116 + 2*b36*b118 + 2*b36*b119 + 2*b36*b121 + 2*b36*b122 + 2*b36*b123
+ 2*b36*b125 + 2*b36*b128 + 2*b36*b129 + 2*b36*b131 + 2*b36*b132 + 2*
b36*b133 + 2*b36*b135 + 2*b36*b138 + 2*b36*b141 - 2*b36*b143 + 2*b36*
b144 - 2*b36*b146 - 2*b36*b148 - 2*b36*b150 - 2*b36*b151 - 2*b36*b154
+ 2*b36*b162 - 2*b36*b164 + 2*b36*b165 - 2*b36*b167 - 2*b36*b168 - 2*
b36*b169 - 2*b36*b172 - 2*b36*b173 + 2*b36*b174 - 2*b36*b176 + 2*b36*
b177 - 2*b36*b181 - 2*b37*b92 - 22*b37 - 2*b37*b101 + 2*b37*b115 + 2*
b37*b117 + 2*b37*b118 + 2*b37*b119 + 2*b37*b121 + 2*b37*b122 + 2*b37*
b123 + 2*b37*b124 + 2*b37*b125 + 2*b37*b126 + 2*b37*b127 - 2*b37*b130
+ 2*b37*b137 - 2*b37*b139 + 2*b37*b146 - 2*b37*b147 + 2*b37*b154 + 2*
b37*b155 + 2*b37*b156 + 2*b37*b157 + 2*b37*b158 + 2*b37*b159 + 2*b37*
b160 + 2*b37*b161 + 2*b37*b167 + 2*b37*b172 + 2*b37*b176 + 2*b37*b179
+ 2*b37*b181 + 2*b37*b182 - 2*b38*b92 - 5*b38 - 2*b38*b94 - 2*b38*b95
+ 2*b38*b96 + 2*b38*b98 - 2*b38*b99 + 2*b38*b100 - 2*b38*b101 - 2*b38*
b103 + 2*b38*b104 - 2*b38*b105 + 2*b38*b106 - 2*b38*b107 + 2*b38*b108
- 2*b38*b109 + 2*b38*b110 - 2*b38*b111 + 2*b38*b112 - 2*b38*b113 + 2*
b38*b114 - 2*b38*b115 + 2*b38*b116 + 2*b38*b117 + 2*b38*b118 + 2*b38*
b119 + 2*b38*b121 + 2*b38*b122 + 2*b38*b123 + 2*b38*b124 + 2*b38*b125
+ 2*b38*b126 + 2*b38*b127 + 2*b38*b128 - 2*b38*b130 - 2*b38*b138 - 2*
b38*b139 - 2*b38*b140 - 2*b38*b141 - 2*b38*b142 - 2*b38*b143 - 2*b38*
b144 - 2*b38*b145 - 2*b38*b146 - 2*b38*b147 + 2*b38*b155 + 2*b38*b156
+ 2*b38*b157 + 2*b38*b158 + 2*b38*b159 + 2*b38*b160 + 2*b38*b161 - 2*
b39*b92 - 23*b39 + 2*b39*b109 + 2*b39*b115 + 2*b39*b117 + 2*b39*b118 +
2*b39*b119 + 2*b39*b121 + 2*b39*b122 + 2*b39*b123 + 2*b39*b124 + 2*b39*
b125 + 2*b39*b126 + 2*b39*b127 + 2*b39*b134 + 9*b134 + 2*b39*b137 + 2*
b39*b143 + 2*b39*b146 + 2*b39*b151 + 2*b39*b154 + 2*b39*b164 + 2*b39*
b167 + 2*b39*b169 + 2*b39*b172 + 2*b39*b173 + 2*b39*b176 - 2*b39*b177
- 2*b39*b178 + 2*b39*b181 + 2*b39*b182 - 2*b40*b94 - 6*b40 + 2*b40*b96
+ 2*b40*b98 - 2*b40*b99 + 2*b40*b100 - 2*b40*b101 + 2*b40*b104 - 2*b40
*b105 + 2*b40*b106 + 2*b40*b108 - 2*b40*b109 + 2*b40*b110 - 2*b40*b111
+ 2*b40*b112 + 2*b40*b114 + 2*b40*b116 - 2*b40*b129 - 2*b40*b130 - 2*
b40*b132 - 2*b40*b134 - 2*b40*b135 - 2*b40*b138 - 2*b40*b139 - 2*b40*
b141 - 2*b40*b143 - 2*b40*b144 - 2*b40*b147 + 2*b40*b148 + 2*b40*b150
+ 2*b40*b153 + 2*b40*b154 + 2*b40*b155 + 2*b40*b156 + 2*b40*b157 + 2*
b40*b158 + 2*b40*b159 + 2*b40*b160 + 2*b40*b161 - 2*b40*b162 - 2*b40*
b164 - 2*b40*b165 + 2*b40*b168 + 2*b40*b171 + 2*b40*b172 - 2*b40*b173
- 2*b40*b174 + 2*b40*b178 + 2*b40*b179 + 2*b40*b180 + 2*b40*b181 + 2*
b41*b111 - 6*b41 + 2*b41*b135 + 2*b41*b144 + 2*b41*b152 + 2*b41*b165 +
2*b41*b170 + 2*b41*b174 + 2*b41*b177 - 2*b41*b180 - 2*b41*b181 - 2*b42*
b92 + b42 - 2*b42*b94 + 2*b42*b96 + 2*b42*b98 - 2*b42*b99 + 2*b42*b100
- 2*b42*b101 - 2*b42*b103 + 2*b42*b104 + 2*b42*b106 + 2*b42*b108 - 2*
b42*b109 + 2*b42*b110 - 2*b42*b111 + 2*b42*b112 - 2*b42*b113 + 2*b42*
b114 - 2*b42*b115 + 2*b42*b116 + 2*b42*b117 + 2*b42*b118 + 2*b42*b119
+ 2*b42*b121 + 2*b42*b122 + 2*b42*b123 + 2*b42*b124 + 2*b42*b125 + 2*
b42*b126 + 2*b42*b127 - 2*b42*b129 - 2*b42*b130 - 2*b42*b131 - 2*b42*
b134 - 2*b42*b135 - 2*b42*b136 - 2*b42*b137 - 2*b42*b138 - 2*b42*b139
- 2*b42*b140 - 2*b42*b143 - 2*b42*b144 - 2*b42*b145 - 2*b42*b146 - 2*
b42*b147 + 2*b42*b149 + 2*b42*b150 + 2*b42*b155 + 2*b42*b156 + 2*b42*
b157 + 2*b42*b158 + 2*b42*b159 + 2*b42*b160 + 2*b42*b161 + 2*b42*b162
+ 2*b42*b163 - 2*b42*b169 - 2*b42*b170 - 2*b42*b171 - 2*b42*b172 - 2*
b42*b173 - 2*b42*b174 - 2*b42*b175 - 2*b42*b176 - 2*b43*b94 - 10*b43 +
2*b43*b96 + 2*b43*b98 + 2*b43*b100 - 2*b43*b101 + 2*b43*b103 + 2*b43*
b104 + 2*b43*b106 + 2*b43*b108 + 2*b43*b110 + 2*b43*b112 + 2*b43*b114
+ 2*b43*b116 - 2*b43*b130 + 2*b43*b131 - 2*b43*b139 + 2*b43*b140 - 2*
b43*b147 + 2*b43*b148 + 2*b43*b155 + 2*b43*b156 + 2*b43*b157 + 2*b43*
b158 + 2*b43*b159 + 2*b43*b160 + 2*b43*b161 - 2*b43*b162 - 2*b43*b163
- 2*b43*b164 - 2*b43*b165 - 2*b43*b166 - 2*b43*b167 - 2*b44*b92 - 11*
b44 - 2*b44*b94 - 2*b44*b95 + 2*b44*b96 - 2*b44*b97 + 2*b44*b98 - 2*b44
*b99 + 2*b44*b100 - 2*b44*b101 - 2*b44*b103 + 2*b44*b104 - 2*b44*b105
+ 2*b44*b106 - 2*b44*b107 + 2*b44*b108 - 2*b44*b109 + 2*b44*b110 - 2*
b44*b111 + 2*b44*b112 - 2*b44*b113 + 2*b44*b114 - 2*b44*b115 + 2*b44*
b116 + 2*b44*b117 + 2*b44*b118 + 2*b44*b119 + 2*b44*b121 + 2*b44*b122
+ 2*b44*b123 + 2*b44*b124 + 2*b44*b125 + 2*b44*b126 + 2*b44*b127 - 2*
b44*b130 - 2*b44*b139 - 2*b44*b147 + 2*b44*b155 + 2*b44*b156 + 2*b44*
b157 + 2*b44*b158 + 2*b44*b159 + 2*b44*b160 + 2*b44*b161 - 2*b45*b92 +
6*b45 - 2*b45*b94 + 2*b45*b96 + 2*b45*b98 - 2*b45*b99 + 2*b45*b100 - 2*
b45*b103 + 2*b45*b104 - 2*b45*b105 + 2*b45*b106 - 2*b45*b107 + 2*b45*
b108 - 2*b45*b109 + 2*b45*b110 - 2*b45*b111 + 2*b45*b112 - 2*b45*b113
+ 2*b45*b114 - 2*b45*b115 + 2*b45*b116 + 2*b45*b117 + 2*b45*b118 + 2*
b45*b119 + 2*b45*b121 + 2*b45*b122 + 2*b45*b123 + 2*b45*b124 + 2*b45*
b125 + 2*b45*b126 + 2*b45*b127 - 2*b45*b129 - 2*b45*b131 - 2*b45*b132
- 2*b45*b133 - 2*b45*b134 - 2*b45*b135 - 2*b45*b136 - 2*b45*b137 - 2*
b45*b138 - 2*b45*b140 - 2*b45*b141 - 2*b45*b142 - 2*b45*b143 - 2*b45*
b144 - 2*b45*b145 - 2*b45*b146 - 2*b46*b92 - 28*b46 - 2*b46*b94 + 2*b46
*b96 + 2*b46*b98 + 2*b46*b99 + 2*b46*b100 + 2*b46*b104 + 2*b46*b105 + 2
*b46*b106 + 2*b46*b108 + 2*b46*b110 + 2*b46*b111 + 2*b46*b112 + 2*b46*
b113 + 2*b46*b114 + 2*b46*b116 + 2*b46*b117 + 2*b46*b118 + 2*b46*b119
+ 2*b46*b121 + 2*b46*b122 + 2*b46*b123 + 2*b46*b124 + 2*b46*b125 + 2*
b46*b126 + 2*b46*b127 + 2*b46*b129 + 2*b46*b132 + 2*b46*b135 + 2*b46*
b136 + 2*b46*b138 + 2*b46*b141 + 2*b46*b144 + 2*b46*b145 - 2*b46*b148
- 2*b46*b150 - 2*b46*b151 - 2*b46*b154 + 2*b46*b162 + 2*b46*b165 + 2*
b46*b166 - 2*b46*b168 - 2*b46*b169 - 2*b46*b172 + 2*b46*b174 + 2*b46*
b175 + 2*b46*b177 + 2*b46*b178 - 2*b46*b181 - 2*b46*b182 - 2*b47*b92 +
18*b47 + 2*b47*b93 - 2*b47*b94 - 2*b47*b95 + 2*b47*b96 + 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*b118 - 2*b47*b127 + 2*b47*b128 - 2*b47*b137 - 2*b47*
b138 - 2*b47*b139 - 2*b47*b140 - 2*b47*b141 - 2*b47*b142 - 2*b47*b143
- 2*b47*b144 - 2*b47*b145 - 2*b47*b146 - 2*b47*b154 - 2*b47*b161 - 2*
b47*b167 - 2*b47*b172 - 2*b47*b176 - 2*b47*b179 - 2*b47*b181 - 2*b47*
b182 + 2*b48*b101 - 6*b48 + 2*b48*b109 + 2*b48*b120 + 2*b48*b124 + 2*
b48*b130 + 2*b48*b134 + 2*b48*b139 + 2*b48*b143 + 2*b48*b147 + 2*b48*
b151 - 2*b48*b155 - 2*b48*b156 - 2*b48*b157 - 2*b48*b159 - 2*b48*b160
+ 2*b48*b164 + 2*b48*b169 + 2*b48*b173 - 2*b48*b177 - 2*b48*b178 + 2*
b49*b93 + 5*b49 - 2*b49*b94 + 2*b49*b96 + 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*b119 - 2*b49*b120 - 2*b49*b122 - 2*b49*b124 - 2*b49*
b125 - 2*b49*b129 - 2*b49*b130 - 2*b49*b132 - 2*b49*b134 - 2*b49*b135
- 2*b49*b138 - 2*b49*b139 - 2*b49*b141 - 2*b49*b143 - 2*b49*b144 + 2*
b49*b148 + 2*b49*b150 + 2*b49*b153 + 2*b49*b155 + 2*b49*b157 + 2*b49*
b160 - 2*b49*b162 - 2*b49*b164 - 2*b49*b165 + 2*b49*b168 + 2*b49*b171
- 2*b49*b173 - 2*b49*b174 + 2*b49*b178 + 2*b49*b180 + 2*b50*b92 + 13*
b50 + 2*b50*b101 + 2*b50*b111 - 2*b50*b115 - 2*b50*b117 - 2*b50*b118 -
2*b50*b119 - 2*b50*b121 - 2*b50*b122 - 2*b50*b123 - 2*b50*b124 - 2*b50*
b126 - 2*b50*b127 + 2*b50*b130 + 2*b50*b135 - 2*b50*b137 + 2*b50*b139
+ 2*b50*b144 - 2*b50*b146 + 2*b50*b147 + 2*b50*b152 - 2*b50*b154 - 2*
b50*b155 - 2*b50*b156 - 2*b50*b157 - 2*b50*b158 - 2*b50*b160 - 2*b50*
b161 + 2*b50*b165 - 2*b50*b167 + 2*b50*b170 - 2*b50*b172 + 2*b50*b174
- 2*b50*b176 + 2*b50*b177 - 2*b50*b179 - 2*b50*b180 - 2*b50*b181 - 2*
b50*b182 - 2*b51*b92 + 17*b51 + 2*b51*b93 - 2*b51*b94 + 2*b51*b96 + 2*
b51*b98 - 2*b51*b99 + 2*b51*b100 - 2*b51*b101 + 2*b51*b102 - 2*b51*b103
+ 2*b51*b104 + 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*
b117 + 2*b51*b118 + 2*b51*b122 + 2*b51*b123 - 2*b51*b127 - 2*b51*b129
- 2*b51*b130 - 2*b51*b131 - 2*b51*b134 - 2*b51*b135 - 2*b51*b136 - 2*
b51*b137 - 2*b51*b138 - 2*b51*b139 - 2*b51*b140 - 2*b51*b143 - 2*b51*
b144 - 2*b51*b145 - 2*b51*b146 + 2*b51*b149 + 2*b51*b150 - 2*b51*b154
+ 2*b51*b156 + 2*b51*b157 - 2*b51*b161 + 2*b51*b162 + 2*b51*b163 - 2*
b51*b167 - 2*b51*b169 - 2*b51*b170 - 2*b51*b171 - 2*b51*b172 - 2*b51*
b173 - 2*b51*b174 - 2*b51*b175 - 2*b51*b176 - 2*b51*b179 - 2*b51*b181
- 2*b51*b182 + 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*b117 - 2*b52*b118 - 2*b52*b119 - 2*b52*b120 - 2*b52*b122
- 2*b52*b123 - 2*b52*b124 - 2*b52*b125 - 2*b52*b126 - 2*b52*b127 + 2*
b52*b131 - 2*b52*b137 + 2*b52*b140 - 2*b52*b146 + 2*b52*b148 - 2*b52*
b154 + 2*b52*b155 - 2*b52*b161 - 2*b52*b162 - 2*b52*b163 - 2*b52*b164
- 2*b52*b165 - 2*b52*b166 - 2*b52*b167 - 2*b52*b172 - 2*b52*b176 - 2*
b52*b179 - 2*b52*b181 - 2*b52*b182 - 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*b127 - 2*b53*b137 - 2*b53*b146 - 2*b53*b154 - 2*b53*b161 - 2*b53*
b167 - 2*b53*b172 - 2*b53*b176 - 2*b53*b179 - 2*b53*b181 - 2*b53*b182
- 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*b117 + 2*b54*b118 + 2*b54*b120 - 2*b54*b127 - 2*b54*b129 - 2*
b54*b131 - 2*b54*b132 - 2*b54*b133 - 2*b54*b134 - 2*b54*b135 - 2*b54*
b136 - 2*b54*b137 - 2*b54*b138 - 2*b54*b140 - 2*b54*b141 - 2*b54*b142
- 2*b54*b143 - 2*b54*b144 - 2*b54*b145 - 2*b54*b146 + 2*b54*b147 - 2*
b54*b154 - 2*b54*b155 - 2*b54*b156 - 2*b54*b157 - 2*b54*b158 - 2*b54*
b159 - 2*b54*b160 - 2*b54*b161 - 2*b54*b167 - 2*b54*b172 - 2*b54*b176
- 2*b54*b179 - 2*b54*b181 - 2*b54*b182 + 2*b55*b93 - 17*b55 - 2*b55*
b94 + 2*b55*b96 + 2*b55*b98 + 2*b55*b99 + 2*b55*b100 + 2*b55*b101 + 2*
b55*b102 + 2*b55*b104 + 2*b55*b105 + 2*b55*b106 + 2*b55*b108 + 2*b55*
b110 + 2*b55*b111 + 2*b55*b112 + 2*b55*b113 + 2*b55*b114 - 2*b55*b115
+ 2*b55*b119 + 2*b55*b120 + 2*b55*b122 + 2*b55*b125 + 2*b55*b126 - 2*
b55*b127 + 2*b55*b129 + 2*b55*b130 + 2*b55*b132 + 2*b55*b135 + 2*b55*
b136 - 2*b55*b137 + 2*b55*b138 + 2*b55*b139 + 2*b55*b141 + 2*b55*b144
+ 2*b55*b145 - 2*b55*b146 - 2*b55*b148 - 2*b55*b150 - 2*b55*b151 - 2*
b55*b154 - 2*b55*b155 - 2*b55*b157 - 2*b55*b158 - 2*b55*b161 + 2*b55*
b162 + 2*b55*b165 + 2*b55*b166 - 2*b55*b167 - 2*b55*b168 - 2*b55*b169
- 2*b55*b172 + 2*b55*b174 + 2*b55*b175 - 2*b55*b176 + 2*b55*b177 + 2*
b55*b178 - 2*b55*b179 - 2*b55*b181 - 2*b55*b182 + 2*b56*b92 - 20*b56 -
2*b56*b93 + 2*b56*b94 + 2*b56*b95 - 2*b56*b96 - 2*b56*b98 + 2*b56*b99
- 2*b56*b100 + 2*b56*b101 + 2*b56*b103 - 2*b56*b104 + 2*b56*b105 - 2*
b56*b106 + 2*b56*b107 - 2*b56*b108 + 2*b56*b109 + 2*b56*b111 - 2*b56*
b112 + 2*b56*b113 - 2*b56*b114 + 2*b56*b115 - 2*b56*b118 + 2*b56*b120
+ 2*b56*b124 + 2*b56*b127 - 2*b56*b128 + 2*b56*b130 + 2*b56*b134 + 2*
b56*b137 + 2*b56*b138 + 2*b56*b139 + 2*b56*b140 + 2*b56*b141 + 2*b56*
b142 + 2*b56*b143 + 2*b56*b144 + 2*b56*b145 + 2*b56*b146 + 2*b56*b147
+ 2*b56*b151 + 2*b56*b154 - 2*b56*b155 - 2*b56*b156 - 2*b56*b157 - 2*
b56*b159 - 2*b56*b160 + 2*b56*b164 + 2*b56*b167 + 2*b56*b169 + 2*b56*
b172 + 2*b56*b173 + 2*b56*b176 - 2*b56*b177 - 2*b56*b178 + 2*b56*b181
+ 2*b56*b182 + 2*b57*b93 - 6*b57 + 2*b57*b96 + 2*b57*b104 + 2*b57*b108
+ 2*b57*b114 + 2*b57*b116 - 2*b57*b119 - 2*b57*b120 - 2*b57*b122 - 2*
b57*b124 - 2*b57*b125 - 2*b57*b129 - 2*b57*b130 - 2*b57*b132 - 2*b57*
b134 - 2*b57*b135 + 2*b57*b148 + 2*b57*b150 + 2*b57*b153 + 2*b57*b154
+ 2*b57*b155 + 2*b57*b157 + 2*b57*b160 + 2*b57*b161 - 2*b57*b162 - 2*
b57*b164 - 2*b57*b165 + 2*b57*b168 + 2*b57*b171 + 2*b57*b172 - 2*b57*
b173 - 2*b57*b174 + 2*b57*b178 + 2*b57*b179 + 2*b57*b180 + 2*b57*b181
+ 2*b58*b92 - 2*b58 + 2*b58*b94 + 2*b58*b95 - 2*b58*b96 - 2*b58*b98 +
2*b58*b99 - 2*b58*b100 + 2*b58*b101 + 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*b117 - 2*b58*b118 - 2*b58*b119 - 2*b58*b121 - 2*b58*b122 - 2*b58*
b123 - 2*b58*b124 - 2*b58*b126 - 2*b58*b127 - 2*b58*b128 + 2*b58*b130
+ 2*b58*b135 + 2*b58*b138 + 2*b58*b139 + 2*b58*b140 + 2*b58*b141 + 2*
b58*b142 + 2*b58*b143 + 2*b58*b144 + 2*b58*b145 + 2*b58*b146 + 2*b58*
b147 + 2*b58*b152 - 2*b58*b155 - 2*b58*b156 - 2*b58*b157 - 2*b58*b158
- 2*b58*b160 - 2*b58*b161 + 2*b58*b165 + 2*b58*b170 + 2*b58*b174 + 2*
b58*b177 - 2*b58*b180 - 2*b58*b181 + 2*b59*b96 + 3*b59 + 2*b59*b106 + 2
*b59*b108 + 2*b59*b117 + 2*b59*b122 + 2*b59*b123 - 2*b59*b129 - 2*b59*
b130 - 2*b59*b131 - 2*b59*b134 - 2*b59*b135 - 2*b59*b136 - 2*b59*b137
+ 2*b59*b149 + 2*b59*b150 + 2*b59*b156 + 2*b59*b157 + 2*b59*b162 + 2*
b59*b163 - 2*b59*b169 - 2*b59*b170 - 2*b59*b171 - 2*b59*b172 - 2*b59*
b173 - 2*b59*b174 - 2*b59*b175 - 2*b59*b176 + 2*b60*b92 - 8*b60 + 2*b60
*b93 + 2*b60*b94 + 2*b60*b95 - 2*b60*b98 + 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*b117 - 2*b60*b118 - 2*b60*b119
- 2*b60*b120 - 2*b60*b122 - 2*b60*b123 - 2*b60*b124 - 2*b60*b125 - 2*
b60*b126 - 2*b60*b127 - 2*b60*b128 + 2*b60*b131 + 2*b60*b138 + 2*b60*
b139 + 2*b60*b140 + 2*b60*b141 + 2*b60*b142 + 2*b60*b143 + 2*b60*b144
+ 2*b60*b145 + 2*b60*b146 + 2*b60*b148 + 2*b60*b155 - 2*b60*b162 - 2*
b60*b163 - 2*b60*b164 - 2*b60*b165 - 2*b60*b166 - 2*b60*b167 - 2*b61*
b98 - 6*b61 - 2*b61*b118 - 2*b61*b128 + 2*b61*b138 + 2*b61*b139 + 2*b61
*b140 + 2*b61*b141 + 2*b61*b142 + 2*b61*b143 + 2*b61*b144 + 2*b61*b145
+ 2*b61*b146 + 2*b62*b96 + 10*b62 + 2*b62*b102 + 2*b62*b117 + 2*b62*
b120 - 2*b62*b129 - 2*b62*b131 - 2*b62*b132 - 2*b62*b133 - 2*b62*b134
- 2*b62*b135 - 2*b62*b136 - 2*b62*b137 + 2*b62*b147 - 2*b62*b155 - 2*
b62*b156 - 2*b62*b157 - 2*b62*b158 - 2*b62*b159 - 2*b62*b160 - 2*b62*
b161 + 2*b63*b92 - 27*b63 + 2*b63*b94 + 2*b63*b95 - 2*b63*b98 + 2*b63*
b99 + 2*b63*b100 + 2*b63*b101 + 2*b63*b102 + 2*b63*b103 + 2*b63*b105 +
2*b63*b106 + 2*b63*b107 + 2*b63*b109 + 2*b63*b111 + 2*b63*b112 + 2*b63*
b113 + 2*b63*b114 + 2*b63*b115 - 2*b63*b118 + 2*b63*b119 + 2*b63*b120
+ 2*b63*b122 + 2*b63*b125 + 2*b63*b126 - 2*b63*b128 + 2*b63*b129 + 2*
b63*b130 + 2*b63*b132 + 2*b63*b135 + 2*b63*b136 + 2*b63*b138 + 2*b63*
b139 + 2*b63*b140 + 2*b63*b141 + 2*b63*b142 + 2*b63*b143 + 2*b63*b144
+ 2*b63*b145 + 2*b63*b146 - 2*b63*b148 - 2*b63*b150 - 2*b63*b151 - 2*
b63*b154 - 2*b63*b155 - 2*b63*b157 - 2*b63*b158 - 2*b63*b161 + 2*b63*
b162 + 2*b63*b165 + 2*b63*b166 - 2*b63*b168 - 2*b63*b169 - 2*b63*b172
+ 2*b63*b174 + 2*b63*b175 + 2*b63*b177 + 2*b63*b178 - 2*b63*b181 - 2*
b63*b182 + 2*b64*b93 + 7*b64 - 2*b64*b94 + 2*b64*b96 + 2*b64*b98 - 2*
b64*b99 + 2*b64*b100 - 2*b64*b101 + 2*b64*b104 - 2*b64*b105 + 2*b64*
b106 + 2*b64*b108 - 2*b64*b109 - 2*b64*b111 + 2*b64*b112 + 2*b64*b114
- 2*b64*b119 - 2*b64*b120 - 2*b64*b122 - 2*b64*b124 - 2*b64*b125 - 2*
b64*b129 - 2*b64*b130 - 2*b64*b132 - 2*b64*b134 - 2*b64*b135 - 2*b64*
b138 - 2*b64*b139 - 2*b64*b141 - 2*b64*b143 - 2*b64*b144 - 2*b64*b147
+ 2*b64*b148 + 2*b64*b150 - 2*b64*b151 + 2*b64*b153 + 2*b64*b155 + 2*
b64*b156 + 2*b64*b157 + 2*b64*b159 + 2*b64*b160 - 2*b64*b162 - 2*b64*
b164 - 2*b64*b165 + 2*b64*b168 - 2*b64*b169 + 2*b64*b171 - 2*b64*b173
- 2*b64*b174 + 2*b64*b177 + 2*b64*b178 + 2*b64*b180 + 2*b65*b92 + 16*
b65 - 2*b65*b109 + 2*b65*b111 - 2*b65*b115 - 2*b65*b117 - 2*b65*b118 -
2*b65*b119 - 2*b65*b121 - 2*b65*b122 - 2*b65*b123 - 2*b65*b124 - 2*b65*
b126 - 2*b65*b127 - 2*b65*b134 + 2*b65*b135 - 2*b65*b137 - 2*b65*b143
+ 2*b65*b144 - 2*b65*b146 - 2*b65*b151 + 2*b65*b152 - 2*b65*b154 - 2*
b65*b164 + 2*b65*b165 - 2*b65*b167 - 2*b65*b169 + 2*b65*b170 - 2*b65*
b172 - 2*b65*b173 + 2*b65*b174 - 2*b65*b176 + 2*b65*b177 + 2*b65*b178
- 2*b65*b180 - 2*b65*b181 - 2*b65*b182 - 2*b66*b92 + 17*b66 + 2*b66*
b93 - 2*b66*b94 + 2*b66*b96 + 2*b66*b98 - 2*b66*b99 + 2*b66*b100 - 2*
b66*b101 - 2*b66*b103 + 2*b66*b104 + 2*b66*b106 + 2*b66*b108 - 2*b66*
b109 - 2*b66*b111 + 2*b66*b112 - 2*b66*b113 + 2*b66*b114 - 2*b66*b115
+ 2*b66*b117 + 2*b66*b118 - 2*b66*b120 + 2*b66*b122 + 2*b66*b123 - 2*
b66*b124 - 2*b66*b127 - 2*b66*b129 - 2*b66*b130 - 2*b66*b131 - 2*b66*
b134 - 2*b66*b135 - 2*b66*b136 - 2*b66*b137 - 2*b66*b138 - 2*b66*b139
- 2*b66*b140 - 2*b66*b143 - 2*b66*b144 - 2*b66*b145 - 2*b66*b146 - 2*
b66*b147 + 2*b66*b149 + 2*b66*b150 - 2*b66*b151 - 2*b66*b154 + 2*b66*
b155 + 2*b66*b156 + 2*b66*b157 + 2*b66*b159 + 2*b66*b160 + 2*b66*b162
+ 2*b66*b163 - 2*b66*b164 - 2*b66*b167 - 2*b66*b169 - 2*b66*b170 - 2*
b66*b171 - 2*b66*b172 - 2*b66*b173 - 2*b66*b174 - 2*b66*b175 - 2*b66*
b176 + 2*b66*b177 + 2*b66*b178 - 2*b66*b181 - 2*b66*b182 + 2*b67*b92 +
14*b67 + 2*b67*b93 - 2*b67*b94 + 2*b67*b96 + 2*b67*b98 + 2*b67*b100 - 2
*b67*b101 + 2*b67*b103 + 2*b67*b104 + 2*b67*b106 + 2*b67*b108 - 2*b67*
b109 + 2*b67*b112 + 2*b67*b114 - 2*b67*b115 - 2*b67*b117 - 2*b67*b118
- 2*b67*b119 - 2*b67*b120 - 2*b67*b122 - 2*b67*b123 - 2*b67*b124 - 2*
b67*b125 - 2*b67*b126 - 2*b67*b127 - 2*b67*b130 + 2*b67*b131 - 2*b67*
b134 - 2*b67*b137 - 2*b67*b139 + 2*b67*b140 - 2*b67*b143 - 2*b67*b146
- 2*b67*b147 + 2*b67*b148 - 2*b67*b151 - 2*b67*b154 + 2*b67*b155 + 2*
b67*b156 + 2*b67*b157 + 2*b67*b159 + 2*b67*b160 - 2*b67*b162 - 2*b67*
b163 - 2*b67*b164 - 2*b67*b165 - 2*b67*b166 - 2*b67*b167 - 2*b67*b169
- 2*b67*b172 - 2*b67*b173 - 2*b67*b176 + 2*b67*b177 + 2*b67*b178 - 2*
b67*b181 - 2*b67*b182 - 2*b68*b92 + 17*b68 + 2*b68*b93 - 2*b68*b94 - 2*
b68*b95 + 2*b68*b96 - 2*b68*b97 + 2*b68*b98 - 2*b68*b99 + 2*b68*b100 -
2*b68*b101 - 2*b68*b103 + 2*b68*b104 - 2*b68*b105 + 2*b68*b106 - 2*b68*
b107 + 2*b68*b108 - 2*b68*b109 - 2*b68*b111 + 2*b68*b112 - 2*b68*b113
+ 2*b68*b114 - 2*b68*b115 - 2*b68*b120 - 2*b68*b124 - 2*b68*b127 - 2*
b68*b130 - 2*b68*b134 - 2*b68*b137 - 2*b68*b139 - 2*b68*b143 - 2*b68*
b146 - 2*b68*b147 - 2*b68*b151 - 2*b68*b154 + 2*b68*b155 + 2*b68*b156
+ 2*b68*b157 + 2*b68*b159 + 2*b68*b160 - 2*b68*b164 - 2*b68*b167 - 2*
b68*b169 - 2*b68*b172 - 2*b68*b173 - 2*b68*b176 + 2*b68*b177 + 2*b68*
b178 - 2*b68*b181 - 2*b68*b182 - 2*b69*b92 + 25*b69 + 2*b69*b93 - 2*b69
*b94 + 2*b69*b96 + 2*b69*b98 - 2*b69*b99 + 2*b69*b100 - 2*b69*b103 + 2*
b69*b104 - 2*b69*b105 + 2*b69*b106 - 2*b69*b107 + 2*b69*b108 - 2*b69*
b109 - 2*b69*b111 + 2*b69*b112 - 2*b69*b113 + 2*b69*b114 - 2*b69*b115
+ 2*b69*b117 + 2*b69*b118 - 2*b69*b124 - 2*b69*b127 - 2*b69*b129 - 2*
b69*b131 - 2*b69*b132 - 2*b69*b133 - 2*b69*b134 - 2*b69*b135 - 2*b69*
b136 - 2*b69*b137 - 2*b69*b138 - 2*b69*b140 - 2*b69*b141 - 2*b69*b142
- 2*b69*b143 - 2*b69*b144 - 2*b69*b145 - 2*b69*b146 - 2*b69*b151 - 2*
b69*b154 - 2*b69*b164 - 2*b69*b167 - 2*b69*b169 - 2*b69*b172 - 2*b69*
b173 - 2*b69*b176 + 2*b69*b177 + 2*b69*b178 - 2*b69*b181 - 2*b69*b182
+ 2*b70*b93 - 10*b70 - 2*b70*b94 + 2*b70*b96 + 2*b70*b98 + 2*b70*b99
+ 2*b70*b100 + 2*b70*b104 + 2*b70*b105 + 2*b70*b106 + 2*b70*b108 - 2*
b70*b109 + 2*b70*b111 + 2*b70*b112 + 2*b70*b113 + 2*b70*b114 - 2*b70*
b115 + 2*b70*b119 + 2*b70*b122 - 2*b70*b124 + 2*b70*b125 + 2*b70*b126
- 2*b70*b127 + 2*b70*b129 + 2*b70*b132 - 2*b70*b134 + 2*b70*b135 + 2*
b70*b136 - 2*b70*b137 + 2*b70*b138 + 2*b70*b141 - 2*b70*b143 + 2*b70*
b144 + 2*b70*b145 - 2*b70*b146 - 2*b70*b148 - 2*b70*b150 - 2*b70*b151
- 2*b70*b154 + 2*b70*b162 - 2*b70*b164 + 2*b70*b165 + 2*b70*b166 - 2*
b70*b167 - 2*b70*b168 - 2*b70*b169 - 2*b70*b172 - 2*b70*b173 + 2*b70*
b174 + 2*b70*b175 - 2*b70*b176 + 2*b70*b177 + 2*b70*b178 - 2*b70*b181
- 2*b70*b182 + 2*b71*b94 + b71 - 2*b71*b96 - 2*b71*b98 + 2*b71*b99 - 2
*b71*b100 + 2*b71*b101 - 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*b129 + 2*b71*b130 + 2*b71*b132 + 2*b71*b134 + 2*b71*b135 + 2*
b71*b138 + 2*b71*b139 + 2*b71*b141 + 2*b71*b143 + 2*b71*b144 + 2*b71*
b147 - 2*b71*b148 - 2*b71*b150 + 2*b71*b152 - 2*b71*b153 - 2*b71*b154
- 2*b71*b155 - 2*b71*b156 - 2*b71*b157 - 2*b71*b158 - 2*b71*b160 - 2*
b71*b161 + 2*b71*b162 + 2*b71*b164 + 2*b71*b165 - 2*b71*b168 + 2*b71*
b170 - 2*b71*b171 - 2*b71*b172 + 2*b71*b173 + 2*b71*b174 + 2*b71*b177
- 2*b71*b178 - 2*b71*b179 - 2*b71*b180 - 2*b71*b181 - 2*b72*b93 + 7*
b72 - 2*b72*b104 + 2*b72*b106 - 2*b72*b114 - 2*b72*b116 + 2*b72*b119 +
2*b72*b120 + 2*b72*b122 + 2*b72*b124 + 2*b72*b125 - 2*b72*b148 + 2*b72*
b149 - 2*b72*b153 - 2*b72*b154 - 2*b72*b155 + 2*b72*b156 - 2*b72*b160
- 2*b72*b161 + 2*b72*b162 + 2*b72*b164 + 2*b72*b165 - 2*b72*b169 - 2*
b72*b170 - 2*b72*b171 - 2*b72*b172 - 2*b72*b178 - 2*b72*b179 - 2*b72*
b180 - 2*b72*b181 + 2*b73*b94 - 2*b73*b96 - 2*b73*b98 + 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*b129 + 2*b73*b130 + 2*b73*b132 + 2*b73*b134
+ 2*b73*b135 + 2*b73*b138 + 2*b73*b139 + 2*b73*b141 + 2*b73*b143 + 2*
b73*b144 - 2*b73*b150 - 2*b73*b153 - 2*b73*b154 - 2*b73*b157 - 2*b73*
b160 - 2*b73*b161 - 2*b73*b168 - 2*b73*b171 - 2*b73*b172 + 2*b73*b173
+ 2*b73*b174 - 2*b73*b178 - 2*b73*b179 - 2*b73*b180 - 2*b73*b181 - 2*
b74*b93 + 2*b74 - 2*b74*b96 - 2*b74*b98 - 2*b74*b104 - 2*b74*b108 - 2*
b74*b114 - 2*b74*b116 + 2*b74*b119 + 2*b74*b120 + 2*b74*b122 + 2*b74*
b124 + 2*b74*b125 + 2*b74*b129 + 2*b74*b130 + 2*b74*b132 + 2*b74*b134
+ 2*b74*b135 + 2*b74*b138 + 2*b74*b139 + 2*b74*b141 + 2*b74*b143 + 2*
b74*b144 - 2*b74*b148 - 2*b74*b150 - 2*b74*b153 - 2*b74*b154 - 2*b74*
b155 - 2*b74*b157 - 2*b74*b160 - 2*b74*b161 + 2*b74*b162 + 2*b74*b164
+ 2*b74*b165 - 2*b74*b168 - 2*b74*b171 - 2*b74*b172 + 2*b74*b173 + 2*
b74*b174 - 2*b74*b178 - 2*b74*b179 - 2*b74*b180 - 2*b74*b181 - 2*b75*
b93 + 11*b75 + 2*b75*b102 - 2*b75*b104 - 2*b75*b108 - 2*b75*b114 - 2*
b75*b116 + 2*b75*b119 + 2*b75*b120 + 2*b75*b122 + 2*b75*b124 + 2*b75*
b125 + 2*b75*b147 - 2*b75*b148 - 2*b75*b150 - 2*b75*b153 - 2*b75*b154
- 2*b75*b155 - 2*b75*b156 - 2*b75*b157 - 2*b75*b158 - 2*b75*b159 - 2*
b75*b160 - 2*b75*b161 + 2*b75*b162 + 2*b75*b164 + 2*b75*b165 - 2*b75*
b168 - 2*b75*b171 - 2*b75*b172 + 2*b75*b173 + 2*b75*b174 - 2*b75*b178
- 2*b75*b179 - 2*b75*b180 - 2*b75*b181 - 2*b76*b93 - 12*b76 + 2*b76*
b94 - 2*b76*b96 - 2*b76*b98 + 2*b76*b99 + 2*b76*b100 + 2*b76*b101 + 2*
b76*b102 - 2*b76*b104 + 2*b76*b105 + 2*b76*b106 - 2*b76*b108 + 2*b76*
b109 + 2*b76*b111 + 2*b76*b112 - 2*b76*b116 + 2*b76*b119 + 2*b76*b120
+ 2*b76*b122 + 2*b76*b124 + 2*b76*b125 + 2*b76*b129 + 2*b76*b130 + 2*
b76*b132 + 2*b76*b134 + 2*b76*b135 + 2*b76*b138 + 2*b76*b139 + 2*b76*
b141 + 2*b76*b143 + 2*b76*b144 - 2*b76*b148 - 2*b76*b150 - 2*b76*b151
- 2*b76*b154 - 2*b76*b155 - 2*b76*b157 - 2*b76*b158 - 2*b76*b161 + 2*
b76*b162 + 2*b76*b164 + 2*b76*b165 - 2*b76*b168 - 2*b76*b169 - 2*b76*
b172 + 2*b76*b173 + 2*b76*b174 + 2*b76*b177 - 2*b76*b179 - 2*b76*b181
- 2*b77*b92 + 5*b77 - 2*b77*b94 + 2*b77*b96 + 2*b77*b98 - 2*b77*b99 +
2*b77*b100 - 2*b77*b101 - 2*b77*b103 + 2*b77*b104 + 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*b117 + 2*b77*b118 + 2*b77*b119 + 2*
b77*b121 + 2*b77*b122 + 2*b77*b123 + 2*b77*b124 + 2*b77*b126 + 2*b77*
b127 - 2*b77*b129 - 2*b77*b130 - 2*b77*b131 - 2*b77*b134 - 2*b77*b135
- 2*b77*b136 - 2*b77*b137 - 2*b77*b138 - 2*b77*b139 - 2*b77*b140 - 2*
b77*b143 - 2*b77*b144 - 2*b77*b145 - 2*b77*b146 - 2*b77*b147 + 2*b77*
b149 + 2*b77*b150 - 2*b77*b152 + 2*b77*b155 + 2*b77*b156 + 2*b77*b157
+ 2*b77*b158 + 2*b77*b160 + 2*b77*b161 + 2*b77*b162 + 2*b77*b163 - 2*
b77*b165 - 2*b77*b169 - 2*b77*b170 - 2*b77*b171 - 2*b77*b172 - 2*b77*
b173 - 2*b77*b174 - 2*b77*b175 - 2*b77*b176 - 2*b77*b177 + 2*b77*b180
+ 2*b77*b181 - 2*b78*b94 - 3*b78 + 2*b78*b96 + 2*b78*b98 + 2*b78*b100
- 2*b78*b101 + 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*b130 + 2*b78*
b131 - 2*b78*b135 - 2*b78*b139 + 2*b78*b140 - 2*b78*b144 - 2*b78*b147
+ 2*b78*b148 - 2*b78*b152 + 2*b78*b155 + 2*b78*b156 + 2*b78*b157 + 2*
b78*b158 + 2*b78*b160 + 2*b78*b161 - 2*b78*b162 - 2*b78*b163 - 2*b78*
b164 - 2*b78*b165 - 2*b78*b166 - 2*b78*b167 - 2*b78*b170 - 2*b78*b174
- 2*b78*b177 + 2*b78*b180 + 2*b78*b181 - 2*b79*b92 - 3*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*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*b117 + 2*b79*
b118 + 2*b79*b119 + 2*b79*b121 + 2*b79*b122 + 2*b79*b123 + 2*b79*b124
+ 2*b79*b126 + 2*b79*b127 - 2*b79*b130 - 2*b79*b135 - 2*b79*b139 - 2*
b79*b144 - 2*b79*b147 - 2*b79*b152 + 2*b79*b155 + 2*b79*b156 + 2*b79*
b157 + 2*b79*b158 + 2*b79*b160 + 2*b79*b161 - 2*b79*b165 - 2*b79*b170
- 2*b79*b174 - 2*b79*b177 + 2*b79*b180 + 2*b79*b181 - 2*b80*b92 + 11*
b80 - 2*b80*b94 + 2*b80*b96 + 2*b80*b98 - 2*b80*b99 + 2*b80*b100 - 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*b117 + 2*b80*b118 + 2*b80*b119 + 2*
b80*b121 + 2*b80*b122 + 2*b80*b123 + 2*b80*b124 + 2*b80*b126 + 2*b80*
b127 - 2*b80*b129 - 2*b80*b131 - 2*b80*b132 - 2*b80*b133 - 2*b80*b134
- 2*b80*b135 - 2*b80*b136 - 2*b80*b137 - 2*b80*b138 - 2*b80*b140 - 2*
b80*b141 - 2*b80*b142 - 2*b80*b143 - 2*b80*b144 - 2*b80*b145 - 2*b80*
b146 - 2*b80*b152 - 2*b80*b165 - 2*b80*b170 - 2*b80*b174 - 2*b80*b177
+ 2*b80*b180 + 2*b80*b181 - 2*b81*b92 - 21*b81 - 2*b81*b94 + 2*b81*b96
+ 2*b81*b98 + 2*b81*b99 + 2*b81*b100 + 2*b81*b104 + 2*b81*b105 + 2*b81
*b106 + 2*b81*b108 + 2*b81*b110 + 2*b81*b113 + 2*b81*b114 + 2*b81*b116
+ 2*b81*b117 + 2*b81*b118 + 2*b81*b119 + 2*b81*b121 + 2*b81*b122 + 2*
b81*b123 + 2*b81*b124 + 2*b81*b126 + 2*b81*b127 + 2*b81*b129 + 2*b81*
b132 + 2*b81*b136 + 2*b81*b138 + 2*b81*b141 + 2*b81*b145 - 2*b81*b148
- 2*b81*b150 - 2*b81*b151 - 2*b81*b154 + 2*b81*b162 + 2*b81*b166 - 2*
b81*b168 - 2*b81*b169 - 2*b81*b172 + 2*b81*b175 + 2*b81*b178 - 2*b81*
b182 + 2*b82*b92 - 11*b82 + 2*b82*b93 + 2*b82*b94 - 2*b82*b96 - 2*b82*
b98 + 2*b82*b99 + 2*b82*b101 + 2*b82*b103 + 2*b82*b104 - 2*b82*b106 - 2
*b82*b108 + 2*b82*b109 + 2*b82*b111 + 2*b82*b113 + 2*b82*b115 - 2*b82*
b117 - 2*b82*b118 - 2*b82*b119 - 2*b82*b120 - 2*b82*b122 - 2*b82*b123
- 2*b82*b124 - 2*b82*b125 - 2*b82*b126 - 2*b82*b127 + 2*b82*b129 + 2*
b82*b130 + 2*b82*b131 + 2*b82*b134 + 2*b82*b135 + 2*b82*b136 + 2*b82*
b137 + 2*b82*b138 + 2*b82*b139 + 2*b82*b140 + 2*b82*b143 + 2*b82*b144
+ 2*b82*b145 + 2*b82*b146 + 2*b82*b148 - 2*b82*b149 - 2*b82*b150 + 2*
b82*b155 - 2*b82*b156 - 2*b82*b157 - 2*b82*b162 - 2*b82*b163 - 2*b82*
b164 - 2*b82*b165 - 2*b82*b166 - 2*b82*b167 + 2*b82*b169 + 2*b82*b170
+ 2*b82*b171 + 2*b82*b172 + 2*b82*b173 + 2*b82*b174 + 2*b82*b175 + 2*
b82*b176 - 2*b83*b96 - 8*b83 - 2*b83*b98 - 2*b83*b106 - 2*b83*b108 - 2*
b83*b117 - 2*b83*b118 - 2*b83*b122 - 2*b83*b123 + 2*b83*b129 + 2*b83*
b130 + 2*b83*b131 + 2*b83*b134 + 2*b83*b135 + 2*b83*b136 + 2*b83*b137
+ 2*b83*b138 + 2*b83*b139 + 2*b83*b140 + 2*b83*b143 + 2*b83*b144 + 2*
b83*b145 + 2*b83*b146 - 2*b83*b149 - 2*b83*b150 - 2*b83*b156 - 2*b83*
b157 - 2*b83*b162 - 2*b83*b163 + 2*b83*b169 + 2*b83*b170 + 2*b83*b171
+ 2*b83*b172 + 2*b83*b173 + 2*b83*b174 + 2*b83*b175 + 2*b83*b176 + 2*
b84*b102 + 4*b84 - 2*b84*b106 - 2*b84*b108 + 2*b84*b120 - 2*b84*b122 -
2*b84*b123 + 2*b84*b147 - 2*b84*b149 - 2*b84*b150 - 2*b84*b155 - 2*b84*
b156 - 2*b84*b157 - 2*b84*b158 - 2*b84*b159 - 2*b84*b160 - 2*b84*b161
- 2*b84*b162 - 2*b84*b163 + 2*b84*b169 + 2*b84*b170 + 2*b84*b171 + 2*
b84*b172 + 2*b84*b173 + 2*b84*b174 + 2*b84*b175 + 2*b84*b176 + 2*b85*
b92 - 22*b85 + 2*b85*b94 - 2*b85*b96 - 2*b85*b98 + 2*b85*b99 + 2*b85*
b100 + 2*b85*b101 + 2*b85*b102 + 2*b85*b103 - 2*b85*b108 + 2*b85*b109
+ 2*b85*b111 + 2*b85*b112 + 2*b85*b113 + 2*b85*b114 + 2*b85*b115 - 2*
b85*b117 - 2*b85*b118 + 2*b85*b119 + 2*b85*b120 - 2*b85*b123 + 2*b85*
b125 + 2*b85*b126 + 2*b85*b129 + 2*b85*b130 + 2*b85*b131 + 2*b85*b134
+ 2*b85*b135 + 2*b85*b136 + 2*b85*b137 + 2*b85*b138 + 2*b85*b139 + 2*
b85*b140 + 2*b85*b143 + 2*b85*b144 + 2*b85*b145 + 2*b85*b146 - 2*b85*
b148 - 2*b85*b150 - 2*b85*b151 - 2*b85*b154 - 2*b85*b155 - 2*b85*b157
- 2*b85*b158 - 2*b85*b161 - 2*b85*b163 + 2*b85*b165 + 2*b85*b166 + 2*
b85*b173 + 2*b85*b174 + 2*b85*b175 + 2*b85*b176 + 2*b85*b177 + 2*b85*
b178 - 2*b85*b181 - 2*b85*b182 - 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*b117 + 2*b86*b118 + 2*b86*b119 + 2*b86*b120
+ 2*b86*b122 + 2*b86*b123 + 2*b86*b124 + 2*b86*b125 + 2*b86*b126 + 2*
b86*b127 - 2*b86*b131 - 2*b86*b140 - 2*b86*b148 - 2*b86*b155 + 2*b86*
b162 + 2*b86*b163 + 2*b86*b164 + 2*b86*b165 + 2*b86*b166 + 2*b86*b167
- 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*
b117 + 2*b87*b118 + 2*b87*b119 + 2*b87*b120 + 2*b87*b122 + 2*b87*b123
+ 2*b87*b124 + 2*b87*b125 + 2*b87*b126 + 2*b87*b127 - 2*b87*b129 - 2*
b87*b131 - 2*b87*b132 - 2*b87*b133 - 2*b87*b134 - 2*b87*b135 - 2*b87*
b136 - 2*b87*b137 - 2*b87*b138 - 2*b87*b140 - 2*b87*b141 - 2*b87*b142
- 2*b87*b143 - 2*b87*b144 - 2*b87*b145 - 2*b87*b146 + 2*b87*b147 - 2*
b87*b148 - 2*b87*b155 - 2*b87*b156 - 2*b87*b157 - 2*b87*b158 - 2*b87*
b159 - 2*b87*b160 - 2*b87*b161 + 2*b87*b162 + 2*b87*b163 + 2*b87*b164
+ 2*b87*b165 + 2*b87*b166 + 2*b87*b167 - 2*b88*b92 - 21*b88 - 2*b88*
b93 + 2*b88*b99 + 2*b88*b100 + 2*b88*b101 + 2*b88*b102 - 2*b88*b103 - 2
*b88*b104 + 2*b88*b105 + 2*b88*b106 + 2*b88*b111 + 2*b88*b112 + 2*b88*
b113 + 2*b88*b114 + 2*b88*b117 + 2*b88*b118 + 2*b88*b119 + 2*b88*b120
+ 2*b88*b122 + 2*b88*b123 + 2*b88*b124 + 2*b88*b125 + 2*b88*b126 + 2*
b88*b127 + 2*b88*b129 + 2*b88*b130 - 2*b88*b131 + 2*b88*b132 + 2*b88*
b135 + 2*b88*b136 + 2*b88*b138 + 2*b88*b139 - 2*b88*b140 + 2*b88*b141
+ 2*b88*b144 + 2*b88*b145 - 2*b88*b148 - 2*b88*b150 - 2*b88*b151 - 2*
b88*b154 - 2*b88*b155 - 2*b88*b157 - 2*b88*b158 - 2*b88*b161 + 2*b88*
b162 + 2*b88*b163 + 2*b88*b164 + 2*b88*b165 + 2*b88*b166 + 2*b88*b167
- 2*b88*b168 - 2*b88*b169 - 2*b88*b172 + 2*b88*b174 + 2*b88*b175 + 2*
b88*b177 + 2*b88*b178 - 2*b88*b181 - 2*b88*b182 + 2*b89*b96 + 16*b89 +
2*b89*b98 + 2*b89*b102 + 2*b89*b117 + 2*b89*b118 + 2*b89*b120 - 2*b89*
b129 - 2*b89*b131 - 2*b89*b132 - 2*b89*b133 - 2*b89*b134 - 2*b89*b135
- 2*b89*b136 - 2*b89*b137 - 2*b89*b138 - 2*b89*b140 - 2*b89*b141 - 2*
b89*b142 - 2*b89*b143 - 2*b89*b144 - 2*b89*b145 - 2*b89*b146 + 2*b89*
b147 - 2*b89*b155 - 2*b89*b156 - 2*b89*b157 - 2*b89*b158 - 2*b89*b159
- 2*b89*b160 - 2*b89*b161 + 2*b90*b92 - 27*b90 + 2*b90*b94 + 2*b90*b95
+ 2*b90*b97 + 2*b90*b99 + 2*b90*b100 + 2*b90*b101 + 2*b90*b102 + 2*b90
*b103 + 2*b90*b105 + 2*b90*b106 + 2*b90*b107 + 2*b90*b109 + 2*b90*b111
+ 2*b90*b112 + 2*b90*b113 + 2*b90*b114 + 2*b90*b115 + 2*b90*b119 + 2*
b90*b120 + 2*b90*b122 + 2*b90*b125 + 2*b90*b126 + 2*b90*b129 + 2*b90*
b130 + 2*b90*b132 + 2*b90*b135 + 2*b90*b136 + 2*b90*b138 + 2*b90*b139
+ 2*b90*b141 + 2*b90*b144 + 2*b90*b145 - 2*b90*b148 - 2*b90*b150 - 2*
b90*b151 - 2*b90*b154 - 2*b90*b155 - 2*b90*b157 - 2*b90*b158 - 2*b90*
b161 + 2*b90*b162 + 2*b90*b165 + 2*b90*b166 - 2*b90*b168 - 2*b90*b169
- 2*b90*b172 + 2*b90*b174 + 2*b90*b175 + 2*b90*b177 + 2*b90*b178 - 2*
b90*b181 - 2*b90*b182 + 2*b91*b92 - 28*b91 + 2*b91*b94 - 2*b91*b96 - 2*
b91*b98 + 2*b91*b99 + 2*b91*b100 + 2*b91*b103 + 2*b91*b105 + 2*b91*b106
+ 2*b91*b107 + 2*b91*b109 + 2*b91*b111 + 2*b91*b112 + 2*b91*b113 + 2*
b91*b114 + 2*b91*b115 - 2*b91*b117 - 2*b91*b118 + 2*b91*b119 + 2*b91*
b122 + 2*b91*b125 + 2*b91*b126 + 2*b91*b129 + 2*b91*b131 + 2*b91*b132
+ 2*b91*b133 + 2*b91*b134 + 2*b91*b135 + 2*b91*b136 + 2*b91*b137 + 2*
b91*b138 + 2*b91*b140 + 2*b91*b141 + 2*b91*b142 + 2*b91*b143 + 2*b91*
b144 + 2*b91*b145 + 2*b91*b146 - 2*b91*b148 - 2*b91*b150 - 2*b91*b151
- 2*b91*b154 + 2*b91*b162 + 2*b91*b165 + 2*b91*b166 - 2*b91*b168 - 2*
b91*b169 - 2*b91*b172 + 2*b91*b174 + 2*b91*b175 + 2*b91*b177 + 2*b91*
b178 - 2*b91*b181 - 2*b91*b182 + objvar =G= 4129;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2025-08-07 Git hash: e62cedfc