QPLIB

A Library of Quadratic Programming Instances

Home // browse instances // view statistics // read documentation // download QPLIB archive [ 1.5G ]

QPLIB_3883

Formats gms lp mod qplib
Problem type probtype QBL
Solution point objective value solobjvalue -788.00000000 (gdx, sol)
Solution point infeasibility solinfeasibility 0.0000e+00
Donor donor Stefan Vigerske
#Variables nvars 182
#Binary Variables nbinvars 182
#Integer Variables nintvars 0
#Bounded non-binary Variables nboundedvars 0
#Variables with only one bound nsingleboundedvars 0
#Nonlinear Variables nnlvars 182
#Nonlinear Binary Variables nnlbinvars 182
#Nonlinear Integer Variables nnlintvars 0
Objective Sense objsense min
Objective type objtype quadratic
Objective curvature objcurvature indefinite
#Negative eigenvalues in objective matrix nobjquadnegev 91
#Positive eigenvalues in objective matrix nobjquadposev 91
#Nonzeros in Objective nobjnz 182
#Nonlinear Nonzeros in Objective nobjnlnz 182
#Quadratic Terms in Objective nobjquadnz 2947
#Square Terms in Objective nobjquaddiagnz 0
#Constraints ncons 1456
#Linear Constraints nlincons 1456
#Quadratic Constraints nquadcons 0
#Diagonal Quadratic Constraints ndiagquadcons 0
Constraints curvature conscurvature linear
#Convex Nonlinear Constraints nconvexnlcons 0
#Concave Nonlinear Constraints nconcavenlcons 0
#Indefinite Nonlinear Constraints nindefinitenlcons 0
#Nonzeros in Jacobian njacobiannz 4368
#Nonlinear Nonzeros in Jacobian njacobiannlnz 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian nlaghessiannz 5894
#Nonzeros in Diagonal of Hessian of Lagrangian nlaghessiandiagnz 0
#Blocks in Hessian of Lagrangian nlaghessianblocks 1
Minimal blocksize in Hessian of Lagrangian laghessianminblocksize 182
Maximal blocksize in Hessian of Lagrangian laghessianmaxblocksize 182
Average blocksize in Hessian of Lagrangian laghessianavgblocksize 182.0
Sparsity Jacobian
Sparsity Lag. Hessian

QPLIB_3883.gms

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*       1457        1        0     1456        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        183        1      182        0        0        0        0        0
*  FX      0        0        0        0        0        0        0        0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       4551     4369      182        0
*
*  Solve m using MIQCP minimizing objvar;


Variables  objvar,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183;

Binary Variables  b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18
          ,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35
          ,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52
          ,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69
          ,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86
          ,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102
          ,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115
          ,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128
          ,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141
          ,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154
          ,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167
          ,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180
          ,b181,b182,b183;

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.. b2 - 2*b2*b89 - 8*b89 - 2*b2*b90 - 11*b90 + 2*b2*b96 - 2*b96 + 2*b2*b97 + 
     2*b97 + 2*b2*b100 - 13*b100 + 2*b2*b101 - 15*b101 + 2*b2*b102 - 4*b102 + 2
     *b2*b103 - b103 - 2*b2*b111 - 10*b111 - 2*b2*b112 - 9*b112 + 2*b2*b115 + 
     11*b115 + 2*b2*b117 + 4*b117 + 2*b2*b118 + 9*b118 + 2*b2*b119 + 16*b119 - 
     2*b2*b146 + 2*b146 - 2*b2*b150 - 13*b150 - 2*b2*b159 + 24*b159 - 2*b2*b163
      + 2*b163 - 2*b2*b164 + 7*b164 - 2*b2*b168 - 9*b168 - 2*b2*b172 - 18*b172
      - 2*b3*b91 + 7*b3 - 4*b91 - 2*b3*b96 + 2*b3*b101 + 2*b3*b103 - 2*b3*b104
      - b104 - 2*b3*b108 - 8*b108 + 2*b3*b144 - 17*b144 + 2*b3*b145 - 5*b145 - 
     2*b3*b148 - 7*b148 - 2*b3*b159 - 2*b3*b161 + 13*b161 - 2*b3*b164 - 2*b3*
     b166 - 5*b166 - 2*b3*b170 - 13*b170 - 2*b3*b179 - 2*b4*b90 - 4*b4 + 2*b4*
     b91 + 2*b4*b96 + 2*b4*b97 + 2*b4*b104 + 2*b4*b108 - 2*b4*b112 + 2*b4*b115
      + 2*b4*b119 + 2*b4*b121 + 12*b121 - 2*b4*b146 - 2*b4*b150 + 2*b4*b170 - 2
     *b4*b172 - 2*b4*b177 - 9*b177 + 2*b4*b179 - 2*b5*b89 - 13*b5 - 2*b5*b91 + 
     2*b5*b92 - 2*b92 + 2*b5*b93 + 2*b93 + 2*b5*b94 - 13*b94 + 2*b5*b95 - 13*
     b95 + 2*b5*b96 + 2*b5*b97 + 2*b5*b100 + 2*b5*b101 + 2*b5*b102 + 2*b5*b103
      + 2*b5*b105 + 7*b105 + 2*b5*b106 - 19*b106 + 2*b5*b107 - 19*b107 + 2*b5*
     b109 - 13*b109 + 2*b5*b110 - 9*b110 + 2*b5*b112 + 2*b5*b113 + 7*b113 + 2*
     b5*b114 + 4*b114 + 2*b5*b115 + 2*b5*b117 + 2*b5*b118 + 2*b5*b119 + 2*b5*
     b120 + 5*b120 + 2*b5*b122 + 9*b122 + 2*b5*b123 + 6*b123 - 2*b5*b129 + b129
      - 2*b5*b133 - 6*b133 - 2*b5*b138 + 20*b138 - 2*b5*b142 + 4*b142 - 2*b5*
     b146 - 2*b5*b150 - 2*b5*b159 - 2*b5*b163 - 2*b5*b164 - 2*b5*b168 + 2*b5*
     b169 - 32*b169 + 2*b5*b171 - 22*b171 - 2*b5*b175 + 6*b175 - 2*b5*b178 - 3*
     b178 - 2*b6*b91 - 2*b6 + 2*b6*b93 + 2*b6*b95 - 2*b6*b96 + 2*b6*b97 + 2*b6*
     b101 + 2*b6*b103 - 2*b6*b104 + 2*b6*b105 + 2*b6*b107 - 2*b6*b108 + 2*b6*
     b110 + 2*b6*b112 - 2*b6*b125 + b125 - 2*b6*b129 - 2*b6*b131 - 6*b131 - 2*
     b6*b134 + 14*b134 - 2*b6*b138 - 2*b6*b140 + 11*b140 + 2*b6*b144 + 2*b6*
     b145 + 2*b6*b147 - 23*b147 - 2*b6*b148 + 2*b6*b149 - 15*b149 + 2*b6*b150
      - 2*b6*b159 - 2*b6*b161 - 2*b6*b164 - 2*b6*b166 + 2*b6*b169 - 2*b6*b170
      + 2*b6*b171 + 2*b6*b172 - 2*b6*b173 + 18*b173 + 2*b6*b176 - 7*b176 + 2*b6
     *b177 + 2*b7*b92 - 16*b7 + 2*b7*b93 + 2*b7*b94 + 2*b7*b95 + 2*b7*b96 + 2*
     b7*b97 + 2*b7*b98 - 9*b98 + 2*b7*b99 - 7*b99 + 2*b7*b102 + 2*b7*b103 + 2*
     b7*b104 + 2*b7*b105 + 2*b7*b106 + 2*b7*b107 + 2*b7*b108 + 2*b7*b109 + 2*b7
     *b110 + 2*b7*b113 + 2*b7*b114 + 2*b7*b115 + 2*b7*b116 + 7*b116 + 2*b7*b118
      + 2*b7*b119 + 2*b7*b120 + 2*b7*b121 + 2*b7*b122 - 2*b7*b129 - 2*b7*b133
      - 2*b7*b138 - 2*b7*b142 - 2*b7*b146 - 2*b7*b150 - 2*b7*b153 + 16*b153 - 2
     *b7*b157 + b157 - 2*b7*b164 - 2*b7*b168 + 2*b7*b169 + 2*b7*b170 + 2*b7*
     b171 - 2*b7*b172 - 2*b7*b175 - 2*b7*b177 - 2*b7*b178 + 2*b7*b179 + 2*b8*
     b93 - 5*b8 + 2*b8*b95 + 2*b8*b97 + 2*b8*b99 + 2*b8*b103 + 2*b8*b105 + 2*b8
     *b107 + 2*b8*b110 - 2*b8*b125 - 2*b8*b129 - 2*b8*b131 - 2*b8*b134 - 2*b8*
     b138 - 2*b8*b140 + 2*b8*b143 - 11*b143 + 2*b8*b145 + 2*b8*b147 + 2*b8*b149
      - 2*b8*b153 - 2*b8*b155 + 7*b155 - 2*b8*b164 - 2*b8*b166 + 2*b8*b169 + 2*
     b8*b171 - 2*b8*b173 + 2*b8*b176 + 2*b8*b179 + 2*b9*b89 - 16*b9 + 2*b9*b91
      + 2*b9*b98 + 2*b9*b99 + 2*b9*b100 + 2*b9*b101 + 2*b9*b102 + 2*b9*b103 + 2
     *b9*b104 + 2*b9*b106 + 2*b9*b107 + 2*b9*b108 + 2*b9*b109 + 2*b9*b110 + 2*
     b9*b111 + 2*b9*b116 + 2*b9*b117 + 2*b9*b118 + 2*b9*b120 + 2*b9*b121 + 2*b9
     *b122 - 2*b9*b153 - 2*b9*b157 - 2*b9*b159 - 2*b9*b163 - 2*b9*b164 - 2*b9*
     b168 + 2*b9*b169 + 2*b9*b170 + 2*b9*b171 - 2*b9*b175 - 2*b9*b177 - 2*b9*
     b178 + 2*b9*b179 + 2*b10*b90 - 9*b10 - 2*b10*b97 + 2*b10*b99 + 2*b10*b101
      + 2*b10*b103 + 2*b10*b107 + 2*b10*b110 + 2*b10*b112 - 2*b10*b115 - 2*b10*
     b119 - 2*b10*b121 + 2*b10*b143 + 2*b10*b144 + 2*b10*b145 + 2*b10*b146 + 2*
     b10*b147 + 2*b10*b148 + 2*b10*b149 + 2*b10*b150 - 2*b10*b153 - 2*b10*b155
      - 2*b10*b159 - 2*b10*b161 - 2*b10*b164 - 2*b10*b166 + 2*b10*b169 + 2*b10*
     b171 + 2*b10*b172 - 2*b10*b173 + 2*b10*b176 + 2*b10*b177 - 2*b11*b89 - 2*
     b11 - 2*b11*b91 - 2*b11*b104 + 2*b11*b108 + 2*b11*b109 + 2*b11*b110 - 2*
     b11*b111 + 2*b11*b121 + 2*b11*b122 + 2*b11*b170 + 2*b11*b171 - 2*b11*b177
      - 2*b11*b178 + 2*b11*b179 - 2*b12*b91 - 3*b12 - 2*b12*b96 - 2*b12*b104 - 
     2*b12*b108 + 2*b12*b110 + 2*b12*b148 + 2*b12*b149 + 2*b12*b170 + 2*b12*
     b171 + 2*b12*b176 + 2*b12*b179 - 2*b13*b90 - 4*b13 + 2*b13*b91 - 2*b13*
     b105 + 2*b13*b106 + 2*b13*b107 + 2*b13*b108 - 2*b13*b112 + 2*b13*b120 + 2*
     b13*b121 + 2*b13*b169 + 2*b13*b170 - 2*b13*b175 - 2*b13*b177 + 2*b13*b179
      - 2*b14*b97 - 2*b14 - 2*b14*b105 + 2*b14*b107 + 2*b14*b147 + 2*b14*b148
      + 2*b14*b169 + 2*b14*b170 - 2*b14*b173 + 2*b15*b94 - 12*b15 + 2*b15*b95
      + 2*b15*b96 + 2*b15*b97 + 2*b15*b100 + 2*b15*b101 + 2*b15*b104 + 2*b15*
     b105 + 2*b15*b109 + 2*b15*b110 + 2*b15*b111 + 2*b15*b112 + 2*b15*b114 + 2*
     b15*b115 + 2*b15*b117 + 2*b15*b119 + 2*b15*b122 + 2*b15*b123 - 2*b15*b138
      - 2*b15*b142 - 2*b15*b146 - 2*b15*b150 - 2*b15*b159 - 2*b15*b163 + 2*b15*
     b171 - 2*b15*b178 + 2*b16*b95 - 6*b16 + 2*b16*b97 + 2*b16*b101 + 2*b16*
     b105 + 2*b16*b110 + 2*b16*b112 - 2*b16*b134 - 2*b16*b138 - 2*b16*b140 + 2*
     b16*b144 - 2*b16*b148 + 2*b16*b149 + 2*b16*b150 - 2*b16*b159 - 2*b16*b161
      - 2*b16*b170 + 2*b16*b171 + 2*b16*b172 + 2*b16*b176 + 2*b16*b177 - 2*b17*
     b90 - 10*b17 + 2*b17*b91 + 2*b17*b98 + 2*b17*b99 + 2*b17*b100 + 2*b17*b101
      - 2*b17*b105 + 2*b17*b106 + 2*b17*b107 + 2*b17*b108 + 2*b17*b111 + 2*b17*
     b116 + 2*b17*b117 + 2*b17*b120 + 2*b17*b121 + 2*b17*b123 - 2*b17*b153 - 2*
     b17*b157 - 2*b17*b159 - 2*b17*b163 + 2*b17*b169 + 2*b17*b170 + 2*b17*b172
      - 2*b17*b175 - 2*b17*b177 + 2*b17*b179 - 2*b18*b97 - 6*b18 + 2*b18*b99 + 
     2*b18*b101 - 2*b18*b105 + 2*b18*b107 + 2*b18*b112 + 2*b18*b143 + 2*b18*
     b144 + 2*b18*b147 + 2*b18*b148 + 2*b18*b150 - 2*b18*b153 - 2*b18*b155 - 2*
     b18*b159 - 2*b18*b161 + 2*b18*b169 + 2*b18*b170 + 2*b18*b172 - 2*b18*b173
      + 2*b18*b177 - 2*b19*b89 - 12*b19 - 2*b19*b90 + 2*b19*b92 + 2*b19*b93 + 2
     *b19*b94 + 2*b19*b95 + 2*b19*b98 + 2*b19*b99 + 2*b19*b106 + 2*b19*b107 + 2
     *b19*b108 + 2*b19*b109 + 2*b19*b110 + 2*b19*b113 + 2*b19*b114 + 2*b19*b116
      + 2*b19*b119 + 2*b19*b120 + 2*b19*b121 + 2*b19*b122 + 2*b19*b123 - 2*b19*
     b129 - 2*b19*b133 - 2*b19*b138 - 2*b19*b142 - 2*b19*b153 - 2*b19*b157 + 2*
     b19*b169 + 2*b19*b170 + 2*b19*b171 - 2*b19*b175 - 2*b19*b177 - 2*b19*b178
      + 2*b19*b179 - 2*b20*b91 - 3*b20 + 2*b20*b93 + 2*b20*b95 - 2*b20*b96 - 2*
     b20*b97 + 2*b20*b99 - 2*b20*b104 + 2*b20*b107 - 2*b20*b108 + 2*b20*b110 + 
     2*b20*b112 - 2*b20*b125 - 2*b20*b129 - 2*b20*b131 - 2*b20*b134 - 2*b20*
     b138 - 2*b20*b140 + 2*b20*b143 + 2*b20*b146 + 2*b20*b147 + 2*b20*b148 + 2*
     b20*b149 + 2*b20*b150 - 2*b20*b153 - 2*b20*b155 + 2*b20*b169 + 2*b20*b171
      + 2*b20*b172 - 2*b20*b173 + 2*b20*b176 + 2*b20*b177 + 2*b21*b89 - 14*b21
      + 2*b21*b91 + 2*b21*b94 + 2*b21*b95 + 2*b21*b96 + 2*b21*b97 + 2*b21*b98
      + 2*b21*b99 + 2*b21*b100 + 2*b21*b101 + 2*b21*b102 + 2*b21*b103 + 2*b21*
     b104 + 2*b21*b106 + 2*b21*b107 + 2*b21*b108 + 2*b21*b109 + 2*b21*b110 - 2*
     b21*b112 + 2*b21*b114 + 2*b21*b115 + 2*b21*b116 + 2*b21*b117 + 2*b21*b118
      + 2*b21*b120 + 2*b21*b121 + 2*b21*b122 - 2*b21*b123 - 2*b21*b138 - 2*b21*
     b142 - 2*b21*b146 - 2*b21*b150 - 2*b21*b153 - 2*b21*b157 - 2*b21*b159 - 2*
     b21*b163 - 2*b21*b164 - 2*b21*b168 + 2*b21*b169 + 2*b21*b170 + 2*b21*b171
      - 2*b21*b172 - 2*b21*b175 - 2*b21*b177 - 2*b21*b178 + 2*b21*b179 + 2*b22*
     b90 - 2*b22 + 2*b22*b95 + 2*b22*b99 + 2*b22*b101 + 2*b22*b103 + 2*b22*b107
      + 2*b22*b110 - 2*b22*b115 - 2*b22*b119 - 2*b22*b121 - 2*b22*b134 - 2*b22*
     b138 - 2*b22*b140 + 2*b22*b143 + 2*b22*b144 + 2*b22*b145 + 2*b22*b147 + 2*
     b22*b149 - 2*b22*b153 - 2*b22*b155 - 2*b22*b159 - 2*b22*b161 - 2*b22*b164
      - 2*b22*b166 + 2*b22*b169 + 2*b22*b171 - 2*b22*b173 + 2*b22*b176 + 2*b23*
     b89 - 13*b23 + 2*b23*b90 + 2*b23*b96 + 2*b23*b97 + 2*b23*b100 + 2*b23*b101
      + 2*b23*b102 + 2*b23*b103 + 2*b23*b106 + 2*b23*b107 + 2*b23*b109 + 2*b23*
     b110 + 2*b23*b111 + 2*b23*b112 + 2*b23*b115 + 2*b23*b117 + 2*b23*b118 - 2*
     b23*b119 + 2*b23*b120 + 2*b23*b122 - 2*b23*b146 - 2*b23*b150 - 2*b23*b159
      - 2*b23*b163 - 2*b23*b164 - 2*b23*b168 + 2*b23*b169 + 2*b23*b171 + 2*b23*
     b172 - 2*b23*b175 - 2*b23*b178 + 2*b24*b90 - 7*b24 + 2*b24*b97 + 2*b24*
     b101 + 2*b24*b103 + 2*b24*b107 + 2*b24*b110 + 2*b24*b112 - 2*b24*b115 - 2*
     b24*b119 - 2*b24*b121 + 2*b24*b144 + 2*b24*b145 - 2*b24*b146 + 2*b24*b147
      - 2*b24*b148 + 2*b24*b149 + 2*b24*b150 - 2*b24*b159 - 2*b24*b161 - 2*b24*
     b164 - 2*b24*b166 + 2*b24*b169 + 2*b24*b171 + 2*b24*b172 - 2*b24*b173 + 2*
     b24*b176 + 2*b24*b177 + 2*b25*b94 - 5*b25 + 2*b25*b95 + 2*b25*b100 + 2*b25
     *b101 + 2*b25*b106 + 2*b25*b107 + 2*b25*b114 + 2*b25*b117 + 2*b25*b120 - 2
     *b25*b138 - 2*b25*b142 - 2*b25*b159 - 2*b25*b163 + 2*b25*b169 - 2*b25*b175
      + 2*b26*b90 + 4*b26 - 2*b26*b91 + 2*b26*b95 - 2*b26*b96 - 2*b26*b97 + 2*
     b26*b101 - 2*b26*b104 + 2*b26*b107 - 2*b26*b108 + 2*b26*b112 - 2*b26*b115
      - 2*b26*b119 - 2*b26*b121 - 2*b26*b134 - 2*b26*b138 - 2*b26*b140 + 2*b26*
     b144 + 2*b26*b146 + 2*b26*b147 + 2*b26*b150 - 2*b26*b159 - 2*b26*b161 + 2*
     b26*b169 - 2*b26*b170 + 2*b26*b172 - 2*b26*b173 + 2*b26*b177 - 2*b26*b179
      - 2*b27*b91 - 17*b27 + 2*b27*b92 + 2*b27*b93 + 2*b27*b94 + 2*b27*b95 + 2*
     b27*b97 + 2*b27*b101 + 2*b27*b103 + 2*b27*b105 + 2*b27*b106 + 2*b27*b107
      + 2*b27*b109 + 2*b27*b110 + 2*b27*b111 + 2*b27*b112 - 2*b27*b125 - 2*b27*
     b127 - 7*b127 - 2*b27*b128 - 2*b128 - 2*b27*b129 - 2*b27*b134 - 2*b27*b136
      + 2*b136 - 2*b27*b137 + 9*b137 - 2*b27*b138 + 2*b27*b147 + 2*b27*b149 + 2
     *b27*b150 + 2*b27*b160 - 4*b160 + 2*b27*b162 + 5*b162 + 2*b27*b163 + 2*b27
     *b165 - 17*b165 + 2*b27*b167 - 11*b167 + 2*b27*b168 + 2*b27*b169 + 2*b27*
     b171 + 2*b27*b172 + 2*b28*b92 - 21*b28 + 2*b28*b93 + 2*b28*b94 + 2*b28*b95
      + 2*b28*b96 + 2*b28*b97 + 2*b28*b98 + 2*b28*b99 + 2*b28*b102 + 2*b28*b103
      + 2*b28*b104 + 2*b28*b105 + 2*b28*b106 + 2*b28*b107 + 2*b28*b108 + 2*b28*
     b109 + 2*b28*b110 - 2*b28*b125 - 2*b28*b127 - 2*b28*b128 - 2*b28*b129 - 2*
     b28*b134 - 2*b28*b136 - 2*b28*b137 - 2*b28*b138 + 2*b28*b143 - 2*b28*b144
      + 2*b28*b147 + 2*b28*b148 + 2*b28*b149 - 2*b28*b151 - b151 - 2*b28*b152
      + 7*b152 - 2*b28*b153 + 2*b28*b158 + 11*b158 + 2*b28*b159 + 2*b28*b160 + 
     2*b28*b161 + 2*b28*b162 + 2*b28*b165 + 2*b28*b166 + 2*b28*b167 + 2*b28*
     b169 + 2*b28*b170 + 2*b28*b171 + 2*b28*b179 + 2*b29*b89 - 28*b29 + 2*b29*
     b90 + 2*b29*b91 - 2*b29*b97 + 2*b29*b98 + 2*b29*b99 + 2*b29*b100 + 2*b29*
     b102 + 2*b29*b104 + 2*b29*b106 + 2*b29*b107 + 2*b29*b108 + 2*b29*b109 + 2*
     b29*b110 + 2*b29*b111 + 2*b29*b112 - 2*b29*b115 - 2*b29*b117 - 2*b29*b118
      - 2*b29*b119 + 2*b29*b143 + 2*b29*b144 + 2*b29*b145 + 2*b29*b146 + 2*b29*
     b147 + 2*b29*b148 + 2*b29*b149 + 2*b29*b150 - 2*b29*b151 - 2*b29*b152 - 2*
     b29*b153 + 2*b29*b160 + 2*b29*b161 + 2*b29*b162 + 2*b29*b163 + 2*b29*b165
      + 2*b29*b166 + 2*b29*b167 + 2*b29*b168 + 2*b29*b169 + 2*b29*b170 + 2*b29*
     b171 + 2*b29*b172 + 2*b29*b179 - 2*b30*b91 - 7*b30 - 2*b30*b96 - 2*b30*
     b100 - 2*b30*b102 - 2*b30*b104 + 2*b30*b108 + 2*b30*b109 + 2*b30*b110 + 2*
     b30*b148 + 2*b30*b149 + 2*b30*b161 + 2*b30*b162 + 2*b30*b166 + 2*b30*b167
      + 2*b30*b170 + 2*b30*b171 + 2*b30*b179 + 2*b31*b91 - 9*b31 - 2*b31*b97 - 
     2*b31*b101 - 2*b31*b103 - 2*b31*b105 + 2*b31*b106 + 2*b31*b107 + 2*b31*
     b108 + 2*b31*b147 + 2*b31*b148 + 2*b31*b160 + 2*b31*b161 + 2*b31*b165 + 2*
     b31*b166 + 2*b31*b169 + 2*b31*b170 + 2*b31*b179 + 2*b32*b94 - 15*b32 + 2*
     b32*b95 + 2*b32*b96 + 2*b32*b97 + 2*b32*b100 + 2*b32*b101 + 2*b32*b104 + 2
     *b32*b105 + 2*b32*b109 + 2*b32*b110 + 2*b32*b111 + 2*b32*b112 - 2*b32*b134
      - 2*b32*b136 - 2*b32*b137 - 2*b32*b138 - 2*b32*b145 + 2*b32*b149 + 2*b32*
     b150 - 2*b32*b158 + 2*b32*b162 + 2*b32*b163 + 2*b32*b164 + 2*b32*b167 + 2*
     b32*b168 + 2*b32*b171 + 2*b32*b172 + 2*b33*b91 - 16*b33 - 2*b33*b97 + 2*
     b33*b98 + 2*b33*b99 + 2*b33*b100 - 2*b33*b103 - 2*b33*b105 + 2*b33*b106 + 
     2*b33*b107 + 2*b33*b108 + 2*b33*b111 + 2*b33*b112 + 2*b33*b143 + 2*b33*
     b144 + 2*b33*b147 + 2*b33*b148 + 2*b33*b150 - 2*b33*b151 - 2*b33*b152 - 2*
     b33*b153 - 2*b33*b158 - 2*b33*b159 + 2*b33*b160 + 2*b33*b161 + 2*b33*b163
      + 2*b33*b165 + 2*b33*b166 + 2*b33*b168 + 2*b33*b169 + 2*b33*b170 + 2*b33*
     b172 + 2*b33*b179 + 2*b34*b92 - 17*b34 + 2*b34*b93 + 2*b34*b94 + 2*b34*b95
      - 2*b34*b96 - 2*b34*b97 + 2*b34*b98 + 2*b34*b99 - 2*b34*b100 - 2*b34*b101
      - 2*b34*b102 - 2*b34*b103 + 2*b34*b106 + 2*b34*b107 + 2*b34*b108 + 2*b34*
     b109 + 2*b34*b110 + 2*b34*b111 + 2*b34*b112 - 2*b34*b125 - 2*b34*b127 - 2*
     b34*b128 - 2*b34*b129 - 2*b34*b134 - 2*b34*b136 - 2*b34*b137 - 2*b34*b138
      + 2*b34*b143 + 2*b34*b146 + 2*b34*b147 + 2*b34*b148 + 2*b34*b149 + 2*b34*
     b150 - 2*b34*b151 - 2*b34*b152 - 2*b34*b153 + 2*b34*b159 + 2*b34*b160 + 2*
     b34*b161 + 2*b34*b162 + 2*b34*b163 + 2*b34*b164 + 2*b34*b165 + 2*b34*b166
      + 2*b34*b167 + 2*b34*b168 + 2*b34*b169 + 2*b34*b170 + 2*b34*b171 + 2*b34*
     b172 + 2*b34*b179 + 2*b35*b89 - 19*b35 + 2*b35*b90 + 2*b35*b91 + 2*b35*b94
      + 2*b35*b95 + 2*b35*b96 + 2*b35*b98 + 2*b35*b99 + 2*b35*b100 + 2*b35*b102
      + 2*b35*b104 + 2*b35*b106 + 2*b35*b107 + 2*b35*b108 + 2*b35*b109 + 2*b35*
     b110 - 2*b35*b115 - 2*b35*b117 - 2*b35*b118 - 2*b35*b119 - 2*b35*b134 - 2*
     b35*b136 - 2*b35*b137 - 2*b35*b138 + 2*b35*b143 + 2*b35*b147 + 2*b35*b148
      + 2*b35*b149 - 2*b35*b151 - 2*b35*b152 - 2*b35*b153 + 2*b35*b160 + 2*b35*
     b161 + 2*b35*b162 + 2*b35*b165 + 2*b35*b166 + 2*b35*b167 + 2*b35*b169 + 2*
     b35*b170 + 2*b35*b171 + 2*b35*b179 + 2*b36*b89 - 19*b36 + 2*b36*b90 + 2*
     b36*b96 + 2*b36*b97 + 2*b36*b100 + 2*b36*b101 + 2*b36*b102 + 2*b36*b103 + 
     2*b36*b106 + 2*b36*b107 + 2*b36*b109 + 2*b36*b110 + 2*b36*b111 + 2*b36*
     b112 - 2*b36*b115 - 2*b36*b117 - 2*b36*b118 - 2*b36*b119 - 2*b36*b146 + 2*
     b36*b147 + 2*b36*b149 + 2*b36*b150 - 2*b36*b159 + 2*b36*b160 + 2*b36*b162
      + 2*b36*b163 - 2*b36*b164 + 2*b36*b165 + 2*b36*b167 + 2*b36*b168 + 2*b36*
     b169 + 2*b36*b171 + 2*b36*b172 + 2*b37*b89 - 6*b37 + 2*b37*b90 + 2*b37*b94
      + 2*b37*b95 - 2*b37*b96 - 2*b37*b97 - 2*b37*b102 - 2*b37*b103 + 2*b37*
     b106 + 2*b37*b107 + 2*b37*b111 + 2*b37*b112 - 2*b37*b115 - 2*b37*b117 - 2*
     b37*b118 - 2*b37*b119 - 2*b37*b134 - 2*b37*b136 - 2*b37*b137 - 2*b37*b138
      + 2*b37*b144 + 2*b37*b146 + 2*b37*b147 + 2*b37*b150 - 2*b37*b158 + 2*b37*
     b160 + 2*b37*b163 + 2*b37*b164 + 2*b37*b165 + 2*b37*b168 + 2*b37*b169 + 2*
     b37*b172 + 2*b38*b92 - 5*b38 + 2*b38*b94 + 2*b38*b96 + 2*b38*b98 + 2*b38*
     b102 + 2*b38*b104 + 2*b38*b106 + 2*b38*b108 + 2*b38*b109 + 2*b38*b126 - 7*
     b126 - 2*b38*b127 + 2*b38*b131 - 2*b38*b133 + 2*b38*b135 + b135 - 2*b38*
     b136 + 2*b38*b140 - 2*b38*b142 + 2*b38*b143 - 2*b38*b144 + 2*b38*b148 - 2*
     b38*b150 - 2*b38*b151 - 2*b38*b152 - 2*b38*b153 - 2*b38*b154 - 4*b154 - 2*
     b38*b156 + 2*b156 - 2*b38*b157 + 2*b38*b158 + 2*b38*b159 + 2*b38*b160 + 2*
     b38*b161 + 2*b38*b162 + 2*b38*b166 - 2*b38*b168 + 2*b38*b170 - 2*b38*b172
      + 2*b38*b173 - 2*b38*b175 - 2*b38*b176 - 2*b38*b177 - 2*b38*b178 + 2*b39*
     b89 - 12*b39 + 2*b39*b91 - 2*b39*b93 - 2*b39*b95 - 2*b39*b97 + 2*b39*b98
      + 2*b39*b100 - 2*b39*b101 + 2*b39*b102 - 2*b39*b103 + 2*b39*b104 - 2*b39*
     b105 + 2*b39*b106 - 2*b39*b107 + 2*b39*b108 + 2*b39*b109 - 2*b39*b110 + 2*
     b39*b111 - 2*b39*b112 - 2*b39*b113 - 2*b39*b114 - 2*b39*b115 - 2*b39*b117
      - 2*b39*b118 - 2*b39*b119 - 2*b39*b120 - 2*b39*b122 - 2*b39*b123 + 2*b39*
     b126 + 2*b39*b127 + 2*b39*b128 + 2*b39*b129 + 2*b39*b130 - 12*b130 + 2*b39
     *b131 + 2*b39*b132 - 9*b132 + 2*b39*b133 + 2*b39*b135 + 2*b39*b136 + 2*b39
     *b137 + 2*b39*b138 + 2*b39*b139 - b139 + 2*b39*b140 + 2*b39*b141 + 5*b141
      + 2*b39*b142 + 2*b39*b143 + 2*b39*b144 + 2*b39*b145 + 2*b39*b146 + 2*b39*
     b147 + 2*b39*b148 + 2*b39*b149 + 2*b39*b150 - 2*b39*b151 - 2*b39*b152 - 2*
     b39*b153 - 2*b39*b154 - 2*b39*b156 - 2*b39*b157 + 2*b39*b161 + 2*b39*b166
      + 2*b39*b170 + 2*b39*b173 - 2*b39*b176 - 2*b39*b177 - 2*b40*b92 - 4*b40
      - 2*b40*b94 - 2*b40*b96 - 2*b40*b100 - 2*b40*b102 - 2*b40*b104 - 2*b40*
     b106 + 2*b40*b108 - 2*b40*b111 + 2*b40*b131 + 2*b40*b132 + 2*b40*b140 + 2*
     b40*b141 + 2*b40*b148 + 2*b40*b149 + 2*b40*b161 + 2*b40*b162 + 2*b40*b166
      + 2*b40*b167 + 2*b40*b170 + 2*b40*b171 + 2*b40*b173 + 2*b40*b174 + 10*
     b174 - 2*b40*b176 - 2*b40*b177 - 2*b40*b178 + 2*b41*b91 - 3*b41 - 2*b41*
     b93 - 2*b41*b95 - 2*b41*b97 - 2*b41*b101 - 2*b41*b103 - 2*b41*b105 + 2*b41
     *b106 - 2*b41*b107 + 2*b41*b108 - 2*b41*b110 - 2*b41*b112 + 2*b41*b130 + 2
     *b41*b131 + 2*b41*b139 + 2*b41*b140 + 2*b41*b147 + 2*b41*b148 + 2*b41*b160
      + 2*b41*b161 + 2*b41*b165 + 2*b41*b166 + 2*b41*b169 + 2*b41*b170 + 2*b41*
     b173 - 2*b41*b174 - 2*b41*b175 - 2*b41*b176 - 2*b41*b177 + 2*b42*b94 - 10*
     b42 + 2*b42*b96 + 2*b42*b100 + 2*b42*b104 + 2*b42*b109 + 2*b42*b111 + 2*
     b42*b124 - 7*b124 + 2*b42*b125 + 2*b42*b127 + 2*b42*b129 + 2*b42*b132 + 2*
     b42*b133 - 2*b42*b137 - 2*b42*b139 - 2*b42*b145 - 2*b42*b147 - 2*b42*b158
      - 2*b42*b160 + 2*b42*b164 + 2*b42*b167 + 2*b42*b168 - 2*b42*b169 + 2*b42*
     b174 + 2*b42*b175 + 2*b43*b91 - 9*b43 - 2*b43*b93 - 2*b43*b95 - 2*b43*b97
      + 2*b43*b98 + 2*b43*b100 - 2*b43*b101 - 2*b43*b103 - 2*b43*b105 + 2*b43*
     b106 - 2*b43*b107 + 2*b43*b108 - 2*b43*b110 + 2*b43*b111 - 2*b43*b112 + 2*
     b43*b126 + 2*b43*b127 + 2*b43*b130 + 2*b43*b131 + 2*b43*b133 + 2*b43*b135
      + 2*b43*b136 + 2*b43*b139 + 2*b43*b140 + 2*b43*b142 + 2*b43*b143 + 2*b43*
     b144 + 2*b43*b147 + 2*b43*b148 + 2*b43*b150 - 2*b43*b151 - 2*b43*b152 - 2*
     b43*b153 - 2*b43*b154 - 2*b43*b156 - 2*b43*b157 - 2*b43*b158 - 2*b43*b159
      + 2*b43*b161 - 2*b43*b162 + 2*b43*b165 + 2*b43*b166 + 2*b43*b168 + 2*b43*
     b169 + 2*b43*b170 + 2*b43*b172 + 2*b43*b173 - 2*b43*b174 - 2*b43*b176 - 2*
     b43*b177 + 2*b43*b178 + 2*b44*b91 + b44 - 2*b44*b93 - 2*b44*b95 - 2*b44*
     b96 - 2*b44*b97 + 2*b44*b98 - 2*b44*b100 - 2*b44*b101 - 2*b44*b102 - 2*b44
     *b103 - 2*b44*b105 - 2*b44*b107 + 2*b44*b108 - 2*b44*b110 - 2*b44*b112 - 2
     *b44*b125 + 2*b44*b126 - 2*b44*b127 - 2*b44*b128 + 2*b44*b131 - 2*b44*b134
      + 2*b44*b135 - 2*b44*b136 - 2*b44*b137 + 2*b44*b140 + 2*b44*b143 + 2*b44*
     b146 + 2*b44*b147 + 2*b44*b148 + 2*b44*b149 + 2*b44*b150 - 2*b44*b151 - 2*
     b44*b152 - 2*b44*b153 - 2*b44*b154 - 2*b44*b156 - 2*b44*b157 + 2*b44*b159
      + 2*b44*b160 + 2*b44*b161 + 2*b44*b162 + 2*b44*b163 + 2*b44*b164 + 2*b44*
     b165 + 2*b44*b166 + 2*b44*b167 + 2*b44*b168 + 2*b44*b170 + 2*b44*b173 - 2*
     b44*b176 - 2*b44*b177 + 2*b45*b89 + 5*b45 + 2*b45*b91 - 2*b45*b93 + 2*b45*
     b94 - 2*b45*b95 + 2*b45*b96 - 2*b45*b97 + 2*b45*b98 + 2*b45*b100 - 2*b45*
     b101 + 2*b45*b102 - 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*b112 - 2*b45*b113
      - 2*b45*b114 - 2*b45*b115 - 2*b45*b117 - 2*b45*b118 - 2*b45*b119 - 2*b45*
     b120 - 2*b45*b122 - 2*b45*b123 + 2*b45*b124 + 2*b45*b125 + 2*b45*b126 + 2*
     b45*b127 + 2*b45*b128 + 2*b45*b129 + 2*b45*b130 + 2*b45*b131 + 2*b45*b132
      + 2*b45*b135 + 2*b45*b140 - 2*b45*b142 + 2*b45*b143 + 2*b45*b148 - 2*b45*
     b150 - 2*b45*b151 - 2*b45*b152 - 2*b45*b153 - 2*b45*b154 - 2*b45*b156 - 2*
     b45*b157 + 2*b45*b161 - 2*b45*b163 + 2*b45*b166 - 2*b45*b168 + 2*b45*b170
      - 2*b45*b172 + 2*b45*b173 - 2*b45*b175 - 2*b45*b176 - 2*b45*b177 - 2*b45*
     b178 + 2*b46*b89 - 10*b46 + 2*b46*b96 + 2*b46*b100 + 2*b46*b102 + 2*b46*
     b106 + 2*b46*b109 + 2*b46*b111 - 2*b46*b113 - 2*b46*b114 - 2*b46*b115 - 2*
     b46*b117 - 2*b46*b118 - 2*b46*b119 - 2*b46*b120 - 2*b46*b122 - 2*b46*b123
      + 2*b46*b125 + 2*b46*b127 + 2*b46*b128 + 2*b46*b130 + 2*b46*b132 + 2*b46*
     b133 + 2*b46*b134 + 2*b46*b136 + 2*b46*b137 + 2*b46*b139 + 2*b46*b141 + 2*
     b46*b142 - 2*b46*b146 - 2*b46*b159 - 2*b46*b164 + 2*b46*b169 + 2*b46*b171
      + 2*b46*b172 + 2*b47*b89 + 14*b47 + 2*b47*b91 - 2*b47*b92 - 2*b47*b93 - 2
     *b47*b95 - 2*b47*b96 - 2*b47*b97 - 2*b47*b101 - 2*b47*b102 - 2*b47*b103 - 
     2*b47*b105 - 2*b47*b107 - 2*b47*b109 - 2*b47*b110 - 2*b47*b112 - 2*b47*
     b113 - 2*b47*b114 - 2*b47*b115 - 2*b47*b117 - 2*b47*b118 - 2*b47*b119 - 2*
     b47*b120 - 2*b47*b122 - 2*b47*b123 + 2*b47*b124 + 2*b47*b127 + 2*b47*b129
      + 2*b47*b130 + 2*b47*b133 - 2*b47*b134 - 2*b47*b137 - 2*b47*b141 + 2*b47*
     b144 + 2*b47*b146 + 2*b47*b147 + 2*b47*b150 - 2*b47*b158 - 2*b47*b162 + 2*
     b47*b164 + 2*b47*b165 + 2*b47*b168 - 2*b47*b171 - 2*b47*b174 + 2*b47*b178
      - 2*b48*b93 - 8*b48 - 2*b48*b95 - 2*b48*b97 - 2*b48*b99 - 2*b48*b103 - 2*
     b48*b105 - 2*b48*b107 - 2*b48*b110 - 2*b48*b113 - 2*b48*b114 - 2*b48*b115
      - 2*b48*b116 - 2*b48*b118 - 2*b48*b119 - 2*b48*b120 - 2*b48*b121 - 2*b48*
     b122 + 2*b48*b126 + 2*b48*b127 + 2*b48*b128 + 2*b48*b129 + 2*b48*b130 + 2*
     b48*b131 + 2*b48*b132 + 2*b48*b133 + 2*b48*b135 + 2*b48*b136 + 2*b48*b137
      + 2*b48*b138 + 2*b48*b139 + 2*b48*b140 + 2*b48*b141 + 2*b48*b142 + 2*b48*
     b143 + 2*b48*b144 + 2*b48*b145 + 2*b48*b146 + 2*b48*b147 + 2*b48*b148 + 2*
     b48*b149 + 2*b48*b150 + 2*b48*b151 + 2*b48*b157 - 2*b48*b158 - 2*b48*b159
      - 2*b48*b160 - 2*b48*b161 - 2*b48*b162 + 2*b48*b168 + 2*b48*b172 + 2*b48*
     b175 + 2*b48*b177 + 2*b48*b178 - 2*b48*b179 - 2*b49*b92 - 5*b49 - 2*b49*
     b94 - 2*b49*b96 - 2*b49*b98 - 2*b49*b102 - 2*b49*b104 - 2*b49*b106 - 2*b49
     *b108 - 2*b49*b109 + 2*b49*b131 + 2*b49*b132 + 2*b49*b140 + 2*b49*b141 + 2
     *b49*b148 + 2*b49*b149 + 2*b49*b155 + 2*b49*b156 + 2*b49*b166 + 2*b49*b167
      + 2*b49*b170 + 2*b49*b171 + 2*b49*b173 + 2*b49*b174 - 2*b50*b93 - b50 - 2
     *b50*b95 - 2*b50*b97 - 2*b50*b99 - 2*b50*b103 - 2*b50*b105 - 2*b50*b107 - 
     2*b50*b110 + 2*b50*b130 + 2*b50*b131 + 2*b50*b139 + 2*b50*b140 + 2*b50*
     b147 + 2*b50*b148 + 2*b50*b154 + 2*b50*b155 + 2*b50*b165 + 2*b50*b166 + 2*
     b50*b169 + 2*b50*b170 - 2*b50*b174 - 2*b50*b176 - 2*b50*b179 + 2*b51*b124
      - 8*b51 + 2*b51*b125 + 2*b51*b127 + 2*b51*b129 + 2*b51*b132 + 2*b51*b133
      - 2*b51*b135 + 2*b51*b136 - 2*b51*b137 - 2*b51*b139 - 2*b51*b140 + 2*b51*
     b142 - 2*b51*b143 + 2*b51*b144 - 2*b51*b145 - 2*b51*b147 - 2*b51*b148 + 2*
     b51*b150 + 2*b51*b151 + 2*b51*b153 + 2*b51*b156 + 2*b51*b157 - 2*b51*b158
      - 2*b51*b159 - 2*b51*b160 - 2*b51*b161 - 2*b51*b162 + 2*b51*b164 + 2*b51*
     b167 + 2*b51*b168 - 2*b51*b169 - 2*b51*b170 + 2*b51*b172 + 2*b51*b174 + 2*
     b51*b175 + 2*b51*b176 + 2*b51*b177 + 2*b51*b178 - 2*b52*b93 - 7*b52 - 2*
     b52*b95 - 2*b52*b97 - 2*b52*b99 - 2*b52*b103 - 2*b52*b105 - 2*b52*b107 - 2
     *b52*b110 + 2*b52*b126 + 2*b52*b127 + 2*b52*b130 + 2*b52*b131 + 2*b52*b133
      + 2*b52*b135 + 2*b52*b136 + 2*b52*b139 + 2*b52*b140 + 2*b52*b142 + 2*b52*
     b143 + 2*b52*b144 + 2*b52*b147 + 2*b52*b148 + 2*b52*b150 + 2*b52*b151 - 2*
     b52*b152 - 2*b52*b153 - 2*b52*b156 + 2*b52*b157 - 2*b52*b158 - 2*b52*b159
      - 2*b52*b160 - 2*b52*b161 - 2*b52*b162 + 2*b52*b165 + 2*b52*b166 + 2*b52*
     b168 + 2*b52*b169 + 2*b52*b170 + 2*b52*b172 - 2*b52*b174 + 2*b52*b175 - 2*
     b52*b176 + 2*b52*b177 + 2*b52*b178 - 2*b52*b179 - 2*b53*b92 + 5*b53 - 2*
     b53*b93 - 2*b53*b94 - 2*b53*b95 - 2*b53*b96 - 2*b53*b97 - 2*b53*b98 - 2*
     b53*b99 - 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*b125 - 2*b53*
     b128 + 2*b53*b133 - 2*b53*b134 - 2*b53*b137 + 2*b53*b142 + 2*b53*b143 + 2*
     b53*b146 + 2*b53*b147 + 2*b53*b148 + 2*b53*b149 + 2*b53*b150 - 2*b53*b152
      + 2*b53*b157 + 2*b53*b164 + 2*b53*b165 + 2*b53*b166 + 2*b53*b167 + 2*b53*
     b168 + 2*b53*b172 + 2*b53*b175 + 2*b53*b177 + 2*b53*b178 - 2*b53*b179 - 2*
     b54*b93 + 11*b54 - 2*b54*b95 - 2*b54*b97 - 2*b54*b99 - 2*b54*b103 - 2*b54*
     b105 - 2*b54*b107 - 2*b54*b110 - 2*b54*b113 - 2*b54*b114 - 2*b54*b115 - 2*
     b54*b116 - 2*b54*b118 - 2*b54*b119 - 2*b54*b120 - 2*b54*b121 - 2*b54*b122
      + 2*b54*b124 + 2*b54*b125 + 2*b54*b126 + 2*b54*b127 + 2*b54*b128 + 2*b54*
     b129 + 2*b54*b130 + 2*b54*b131 + 2*b54*b132 + 2*b54*b136 + 2*b54*b144 + 2*
     b54*b151 - 2*b54*b158 - 2*b54*b159 - 2*b54*b160 - 2*b54*b161 - 2*b54*b162
      - 2*b54*b179 - 2*b55*b113 - 7*b55 - 2*b55*b114 - 2*b55*b115 - 2*b55*b116
      - 2*b55*b118 - 2*b55*b119 - 2*b55*b120 - 2*b55*b121 - 2*b55*b122 + 2*b55*
     b125 + 2*b55*b127 + 2*b55*b128 + 2*b55*b130 + 2*b55*b132 + 2*b55*b133 + 2*
     b55*b134 + 2*b55*b136 + 2*b55*b137 + 2*b55*b139 + 2*b55*b141 + 2*b55*b142
      - 2*b55*b143 + 2*b55*b144 - 2*b55*b146 - 2*b55*b148 + 2*b55*b150 + 2*b55*
     b151 + 2*b55*b152 + 2*b55*b154 + 2*b55*b156 + 2*b55*b157 - 2*b55*b158 - 2*
     b55*b159 - 2*b55*b160 - 2*b55*b161 - 2*b55*b162 - 2*b55*b164 - 2*b55*b166
      + 2*b55*b168 + 2*b55*b169 + 2*b55*b171 + 2*b55*b172 - 2*b55*b173 + 2*b55*
     b175 + 2*b55*b176 + 2*b55*b177 + 2*b55*b178 - 2*b56*b92 + 19*b56 - 2*b56*
     b93 - 2*b56*b94 - 2*b56*b95 - 2*b56*b96 - 2*b56*b97 - 2*b56*b98 - 2*b56*
     b99 - 2*b56*b102 - 2*b56*b103 - 2*b56*b104 - 2*b56*b105 - 2*b56*b106 - 2*
     b56*b107 - 2*b56*b108 - 2*b56*b109 - 2*b56*b110 - 2*b56*b113 - 2*b56*b114
      - 2*b56*b115 - 2*b56*b116 - 2*b56*b118 - 2*b56*b119 - 2*b56*b120 - 2*b56*
     b121 - 2*b56*b122 + 2*b56*b124 + 2*b56*b127 + 2*b56*b129 + 2*b56*b130 + 2*
     b56*b133 - 2*b56*b134 - 2*b56*b135 + 2*b56*b136 - 2*b56*b137 - 2*b56*b140
      - 2*b56*b141 + 2*b56*b142 + 2*b56*b144 + 2*b56*b146 + 2*b56*b147 + 2*b56*
     b150 + 2*b56*b151 + 2*b56*b153 + 2*b56*b154 + 2*b56*b157 - 2*b56*b158 - 2*
     b56*b159 - 2*b56*b160 - 2*b56*b161 - 2*b56*b162 + 2*b56*b164 + 2*b56*b165
      + 2*b56*b168 - 2*b56*b170 - 2*b56*b171 + 2*b56*b172 - 2*b56*b173 - 2*b56*
     b174 + 2*b56*b175 + 2*b56*b177 + 2*b56*b178 - 2*b56*b179 - 2*b57*b89 - 2*
     b57 - 2*b57*b91 - 2*b57*b98 - 2*b57*b100 - 2*b57*b102 - 2*b57*b104 - 2*b57
     *b106 - 2*b57*b108 - 2*b57*b109 + 2*b57*b110 - 2*b57*b111 + 2*b57*b121 + 2
     *b57*b122 + 2*b57*b155 + 2*b57*b156 + 2*b57*b161 + 2*b57*b162 + 2*b57*b166
      + 2*b57*b167 + 2*b57*b170 + 2*b57*b171 + 2*b57*b173 + 2*b57*b174 - 2*b57*
     b177 - 2*b57*b178 + 2*b57*b179 - 2*b58*b90 + b58 - 2*b58*b99 - 2*b58*b101
      - 2*b58*b103 - 2*b58*b105 - 2*b58*b110 - 2*b58*b112 + 2*b58*b120 + 2*b58*
     b121 + 2*b58*b154 + 2*b58*b155 + 2*b58*b160 + 2*b58*b161 + 2*b58*b165 + 2*
     b58*b166 + 2*b58*b169 + 2*b58*b170 - 2*b58*b174 - 2*b58*b175 - 2*b58*b176
      - 2*b58*b177 + 2*b59*b95 - 2*b59 + 2*b59*b97 + 2*b59*b101 + 2*b59*b105 + 
     2*b59*b110 + 2*b59*b112 + 2*b59*b114 + 2*b59*b115 + 2*b59*b117 + 2*b59*
     b119 + 2*b59*b122 + 2*b59*b123 - 2*b59*b135 - 2*b59*b136 - 2*b59*b137 - 2*
     b59*b138 - 2*b59*b139 - 2*b59*b140 - 2*b59*b141 - 2*b59*b142 - 2*b59*b143
      - 2*b59*b144 - 2*b59*b145 - 2*b59*b146 - 2*b59*b147 - 2*b59*b148 - 2*b59*
     b149 - 2*b59*b150 + 2*b59*b151 + 2*b59*b153 + 2*b59*b156 + 2*b59*b157 - 2*
     b59*b158 - 2*b59*b160 - 2*b59*b161 + 2*b59*b164 + 2*b59*b167 + 2*b59*b168
      - 2*b59*b169 - 2*b59*b170 + 2*b59*b174 + 2*b59*b175 + 2*b59*b176 + 2*b59*
     b177 - 2*b60*b89 + 11*b60 - 2*b60*b90 - 2*b60*b91 + 2*b60*b93 + 2*b60*b95
      - 2*b60*b98 - 2*b60*b100 - 2*b60*b101 - 2*b60*b102 - 2*b60*b103 - 2*b60*
     b104 - 2*b60*b106 - 2*b60*b108 - 2*b60*b109 - 2*b60*b111 + 2*b60*b113 + 2*
     b60*b114 + 2*b60*b116 + 2*b60*b119 + 2*b60*b120 + 2*b60*b121 + 2*b60*b122
      + 2*b60*b123 - 2*b60*b126 - 2*b60*b127 - 2*b60*b128 - 2*b60*b129 - 2*b60*
     b130 - 2*b60*b131 - 2*b60*b132 - 2*b60*b133 - 2*b60*b135 - 2*b60*b136 - 2*
     b60*b137 - 2*b60*b138 - 2*b60*b139 - 2*b60*b140 - 2*b60*b141 - 2*b60*b142
      - 2*b60*b151 - 2*b60*b152 + 2*b60*b159 + 2*b60*b160 + 2*b60*b161 + 2*b60*
     b162 + 2*b60*b163 + 2*b60*b164 + 2*b60*b165 + 2*b60*b166 + 2*b60*b167 + 2*
     b60*b168 + 2*b61*b95 + 21*b61 + 2*b61*b97 - 2*b61*b112 + 2*b61*b114 + 2*
     b61*b115 - 2*b61*b123 - 2*b61*b135 - 2*b61*b136 - 2*b61*b137 - 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*b61*b147 - 2*b61*b148 - 2*b61*b149 - 2*
     b61*b150 - 2*b61*b157 - 2*b61*b163 - 2*b61*b168 - 2*b61*b172 - 2*b61*b175
      - 2*b61*b177 - 2*b61*b178 + 2*b62*b90 - 2*b62 + 2*b62*b97 + 2*b62*b101 + 
     2*b62*b103 + 2*b62*b107 + 2*b62*b110 + 2*b62*b112 + 2*b62*b115 - 2*b62*
     b116 - 2*b62*b119 - 2*b62*b121 - 2*b62*b143 - 2*b62*b144 - 2*b62*b145 - 2*
     b62*b146 - 2*b62*b147 - 2*b62*b148 - 2*b62*b149 - 2*b62*b150 + 2*b62*b151
      + 2*b62*b152 + 2*b62*b154 + 2*b62*b156 + 2*b62*b157 - 2*b62*b159 - 2*b62*
     b161 - 2*b62*b164 - 2*b62*b166 + 2*b62*b169 + 2*b62*b171 + 2*b62*b172 - 2*
     b62*b173 + 2*b62*b176 + 2*b62*b177 - 2*b63*b89 + 22*b63 - 2*b63*b91 + 2*
     b63*b95 - 2*b63*b98 - 2*b63*b99 - 2*b63*b100 - 2*b63*b102 - 2*b63*b103 - 2
     *b63*b104 - 2*b63*b106 - 2*b63*b108 - 2*b63*b109 - 2*b63*b110 - 2*b63*b111
      + 2*b63*b114 - 2*b63*b116 - 2*b63*b118 - 2*b63*b121 - 2*b63*b122 - 2*b63*
     b135 - 2*b63*b136 - 2*b63*b137 - 2*b63*b138 - 2*b63*b139 - 2*b63*b140 - 2*
     b63*b141 - 2*b63*b142 + 2*b63*b151 + 2*b63*b153 + 2*b63*b154 + 2*b63*b157
      - 2*b63*b158 - 2*b63*b161 - 2*b63*b162 + 2*b63*b164 + 2*b63*b165 + 2*b63*
     b168 - 2*b63*b170 - 2*b63*b171 - 2*b63*b173 - 2*b63*b174 + 2*b63*b177 + 2*
     b63*b178 - 2*b63*b179 + 2*b64*b91 + 2*b64 + 2*b64*b106 + 2*b64*b108 - 2*
     b64*b110 - 2*b64*b173 - 2*b64*b174 - 2*b64*b176 - 2*b64*b179 + 2*b65*b94
      - b65 + 2*b65*b96 + 2*b65*b100 + 2*b65*b104 + 2*b65*b109 + 2*b65*b111 - 2
     *b65*b140 - 2*b65*b141 - 2*b65*b148 - 2*b65*b149 - 2*b65*b161 - 2*b65*b162
      - 2*b65*b170 - 2*b65*b171 + 2*b65*b176 + 2*b65*b177 + 2*b65*b178 + 2*b66*
     b91 + b66 + 2*b66*b98 + 2*b66*b100 + 2*b66*b106 + 2*b66*b108 - 2*b66*b110
      + 2*b66*b111 - 2*b66*b155 - 2*b66*b156 - 2*b66*b161 - 2*b66*b162 - 2*b66*
     b173 - 2*b66*b174 - 2*b66*b176 + 2*b66*b177 + 2*b66*b178 - 2*b66*b179 + 2*
     b67*b91 + 3*b67 + 2*b67*b92 + 2*b67*b94 + 2*b67*b98 + 2*b67*b104 + 2*b67*
     b106 - 2*b67*b110 + 2*b67*b111 - 2*b67*b131 - 2*b67*b132 - 2*b67*b140 - 2*
     b67*b141 - 2*b67*b155 - 2*b67*b156 - 2*b67*b170 - 2*b67*b171 - 2*b67*b173
      - 2*b67*b174 + 2*b67*b177 + 2*b67*b178 - 2*b67*b179 + 2*b68*b89 + 7*b68
      + 2*b68*b91 + 2*b68*b94 + 2*b68*b96 + 2*b68*b98 + 2*b68*b100 + 2*b68*b102
      + 2*b68*b104 + 2*b68*b106 + 2*b68*b108 + 2*b68*b109 - 2*b68*b110 - 2*b68*
     b121 - 2*b68*b122 - 2*b68*b140 - 2*b68*b141 - 2*b68*b148 - 2*b68*b149 - 2*
     b68*b155 - 2*b68*b156 - 2*b68*b161 - 2*b68*b162 - 2*b68*b166 - 2*b68*b167
      - 2*b68*b170 - 2*b68*b171 - 2*b68*b173 - 2*b68*b174 - 2*b68*b179 + 2*b69*
     b89 + 5*b69 + 2*b69*b91 + 2*b69*b94 + 2*b69*b100 + 2*b69*b104 + 2*b69*b106
      - 2*b69*b108 - 2*b69*b109 - 2*b69*b110 + 2*b69*b111 - 2*b69*b121 - 2*b69*
     b122 - 2*b69*b140 - 2*b69*b141 - 2*b69*b161 - 2*b69*b162 - 2*b69*b170 - 2*
     b69*b171 - 2*b69*b173 - 2*b69*b174 + 2*b69*b177 + 2*b69*b178 - 2*b69*b179
      + 2*b70*b95 - 2*b70 + 2*b70*b97 + 2*b70*b101 + 2*b70*b105 + 2*b70*b110 + 
     2*b70*b112 - 2*b70*b139 - 2*b70*b140 - 2*b70*b147 - 2*b70*b148 - 2*b70*
     b160 - 2*b70*b161 - 2*b70*b169 - 2*b70*b170 + 2*b70*b174 + 2*b70*b175 + 2*
     b70*b176 + 2*b70*b177 + 2*b71*b99 - b71 + 2*b71*b101 + 2*b71*b112 - 2*b71*
     b154 - 2*b71*b155 - 2*b71*b160 - 2*b71*b161 + 2*b71*b175 + 2*b71*b177 - 2*
     b72*b91 + b72 + 2*b72*b93 + 2*b72*b95 + 2*b72*b99 + 2*b72*b105 - 2*b72*
     b106 - 2*b72*b108 + 2*b72*b110 + 2*b72*b112 - 2*b72*b130 - 2*b72*b131 - 2*
     b72*b139 - 2*b72*b140 - 2*b72*b154 - 2*b72*b155 - 2*b72*b169 - 2*b72*b170
      + 2*b72*b174 + 2*b72*b175 + 2*b72*b176 + 2*b72*b177 + 2*b73*b90 + 4*b73
      + 2*b73*b95 + 2*b73*b97 + 2*b73*b99 + 2*b73*b101 + 2*b73*b103 + 2*b73*
     b105 + 2*b73*b110 - 2*b73*b120 - 2*b73*b121 - 2*b73*b139 - 2*b73*b140 - 2*
     b73*b147 - 2*b73*b148 - 2*b73*b154 - 2*b73*b155 - 2*b73*b160 - 2*b73*b161
      - 2*b73*b165 - 2*b73*b166 - 2*b73*b169 - 2*b73*b170 + 2*b73*b174 + 2*b73*
     b176 + 2*b74*b90 - 2*b74 + 2*b74*b97 + 2*b74*b101 + 2*b74*b103 + 2*b74*
     b107 + 2*b74*b110 + 2*b74*b112 - 2*b74*b120 - 2*b74*b121 - 2*b74*b147 - 2*
     b74*b148 - 2*b74*b160 - 2*b74*b161 - 2*b74*b165 - 2*b74*b166 - 2*b74*b173
      + 2*b74*b174 + 2*b74*b175 + 2*b74*b176 + 2*b74*b177 + 2*b75*b90 + 6*b75
      - 2*b75*b91 + 2*b75*b95 + 2*b75*b101 + 2*b75*b105 - 2*b75*b106 - 2*b75*
     b108 + 2*b75*b112 - 2*b75*b120 - 2*b75*b121 - 2*b75*b139 - 2*b75*b140 - 2*
     b75*b160 - 2*b75*b161 - 2*b75*b169 - 2*b75*b170 - 2*b75*b173 + 2*b75*b175
      + 2*b75*b177 - 2*b75*b179 - 2*b76*b94 + 12*b76 - 2*b76*b95 - 2*b76*b96 - 
     2*b76*b97 - 2*b76*b100 - 2*b76*b101 - 2*b76*b104 - 2*b76*b105 - 2*b76*b109
      - 2*b76*b110 - 2*b76*b111 - 2*b76*b112 - 2*b76*b124 - 2*b76*b125 - 2*b76*
     b127 - 2*b76*b129 - 2*b76*b132 - 2*b76*b133 - 2*b76*b134 + 2*b76*b135 - 2*
     b76*b136 + 2*b76*b139 + 2*b76*b140 + 2*b76*b143 + 2*b76*b146 + 2*b76*b147
      + 2*b76*b148 + 2*b76*b149 + 2*b76*b150 - 2*b76*b151 - 2*b76*b153 - 2*b76*
     b156 - 2*b76*b157 + 2*b76*b159 + 2*b76*b160 + 2*b76*b161 + 2*b76*b162 + 2*
     b76*b163 + 2*b76*b169 + 2*b76*b170 - 2*b76*b174 - 2*b76*b175 - 2*b76*b176
      - 2*b76*b177 - 2*b77*b95 + 15*b77 - 2*b77*b97 - 2*b77*b101 - 2*b77*b105
      - 2*b77*b110 - 2*b77*b112 - 2*b77*b114 - 2*b77*b115 - 2*b77*b117 - 2*b77*
     b119 - 2*b77*b122 - 2*b77*b123 + 2*b77*b135 + 2*b77*b137 + 2*b77*b139 + 2*
     b77*b140 - 2*b77*b142 + 2*b77*b143 + 2*b77*b145 + 2*b77*b147 + 2*b77*b148
      - 2*b77*b150 - 2*b77*b151 - 2*b77*b153 - 2*b77*b156 - 2*b77*b157 + 2*b77*
     b158 + 2*b77*b160 + 2*b77*b161 - 2*b77*b163 - 2*b77*b164 - 2*b77*b167 - 2*
     b77*b168 + 2*b77*b169 + 2*b77*b170 - 2*b77*b172 - 2*b77*b174 - 2*b77*b175
      - 2*b77*b176 - 2*b77*b177 - 2*b77*b178 - 2*b78*b94 + 16*b78 - 2*b78*b95
      - 2*b78*b96 - 2*b78*b97 - 2*b78*b100 - 2*b78*b101 - 2*b78*b104 - 2*b78*
     b105 - 2*b78*b109 - 2*b78*b110 - 2*b78*b111 - 2*b78*b112 - 2*b78*b114 - 2*
     b78*b115 - 2*b78*b117 - 2*b78*b119 - 2*b78*b122 - 2*b78*b123 - 2*b78*b134
      + 2*b78*b139 - 2*b78*b141 + 2*b78*b144 + 2*b78*b146 + 2*b78*b147 + 2*b78*
     b150 + 2*b78*b160 - 2*b78*b162 + 2*b78*b169 - 2*b78*b171 - 2*b78*b174 - 2*
     b78*b175 + 2*b78*b178 - 2*b79*b91 + 9*b79 + 2*b79*b93 + 2*b79*b95 - 2*b79*
     b98 - 2*b79*b100 - 2*b79*b101 + 2*b79*b105 - 2*b79*b106 - 2*b79*b108 + 2*
     b79*b110 - 2*b79*b111 - 2*b79*b126 - 2*b79*b127 - 2*b79*b130 - 2*b79*b131
      - 2*b79*b133 - 2*b79*b135 - 2*b79*b136 - 2*b79*b139 - 2*b79*b140 - 2*b79*
     b142 - 2*b79*b151 + 2*b79*b153 + 2*b79*b156 + 2*b79*b159 + 2*b79*b160 + 2*
     b79*b161 + 2*b79*b162 + 2*b79*b163 - 2*b79*b169 - 2*b79*b170 - 2*b79*b172
      + 2*b79*b174 + 2*b79*b176 - 2*b79*b178 + 2*b80*b90 + 13*b80 + 2*b80*b95
      + 2*b80*b97 + 2*b80*b103 + 2*b80*b105 + 2*b80*b110 - 2*b80*b112 - 2*b80*
     b116 - 2*b80*b117 - 2*b80*b120 - 2*b80*b121 - 2*b80*b123 - 2*b80*b135 - 2*
     b80*b136 - 2*b80*b139 - 2*b80*b140 - 2*b80*b142 - 2*b80*b143 - 2*b80*b144
      - 2*b80*b147 - 2*b80*b148 - 2*b80*b150 + 2*b80*b152 + 2*b80*b153 + 2*b80*
     b156 - 2*b80*b157 + 2*b80*b158 + 2*b80*b159 + 2*b80*b162 - 2*b80*b163 - 2*
     b80*b165 - 2*b80*b166 - 2*b80*b168 - 2*b80*b169 - 2*b80*b170 - 2*b80*b172
      + 2*b80*b174 - 2*b80*b175 + 2*b80*b176 - 2*b80*b177 - 2*b80*b178 + 2*b81*
     b90 - b81 + 2*b81*b97 + 2*b81*b101 + 2*b81*b103 + 2*b81*b107 + 2*b81*b110
      + 2*b81*b112 - 2*b81*b116 - 2*b81*b117 - 2*b81*b120 - 2*b81*b121 - 2*b81*
     b123 - 2*b81*b143 - 2*b81*b144 - 2*b81*b147 - 2*b81*b148 - 2*b81*b150 + 2*
     b81*b151 + 2*b81*b152 + 2*b81*b154 + 2*b81*b156 + 2*b81*b157 + 2*b81*b158
      - 2*b81*b161 + 2*b81*b162 - 2*b81*b165 - 2*b81*b166 - 2*b81*b168 - 2*b81*
     b173 + 2*b81*b174 + 2*b81*b176 + 2*b81*b177 - 2*b81*b178 + 2*b82*b90 + 14*
     b82 - 2*b82*b91 + 2*b82*b95 - 2*b82*b98 - 2*b82*b99 - 2*b82*b100 + 2*b82*
     b105 - 2*b82*b106 - 2*b82*b108 - 2*b82*b111 - 2*b82*b116 - 2*b82*b117 - 2*
     b82*b120 - 2*b82*b121 - 2*b82*b123 - 2*b82*b135 - 2*b82*b136 - 2*b82*b139
      - 2*b82*b140 - 2*b82*b142 + 2*b82*b151 + 2*b82*b153 + 2*b82*b154 + 2*b82*
     b157 + 2*b82*b159 - 2*b82*b161 - 2*b82*b169 - 2*b82*b170 - 2*b82*b172 - 2*
     b82*b173 + 2*b82*b177 - 2*b82*b179 + 2*b83*b89 + 3*b83 + 2*b83*b90 + 2*b83
     *b91 - 2*b83*b93 + 2*b83*b94 + 2*b83*b96 + 2*b83*b97 + 2*b83*b98 + 2*b83*
     b100 + 2*b83*b101 + 2*b83*b102 + 2*b83*b103 + 2*b83*b104 + 2*b83*b106 + 2*
     b83*b108 + 2*b83*b109 - 2*b83*b112 - 2*b83*b113 - 2*b83*b114 - 2*b83*b116
      - 2*b83*b119 - 2*b83*b120 - 2*b83*b121 - 2*b83*b122 - 2*b83*b123 + 2*b83*
     b124 + 2*b83*b125 + 2*b83*b126 + 2*b83*b127 + 2*b83*b128 + 2*b83*b129 + 2*
     b83*b130 + 2*b83*b131 + 2*b83*b132 + 2*b83*b134 + 2*b83*b136 + 2*b83*b137
      - 2*b83*b142 - 2*b83*b143 - 2*b83*b146 - 2*b83*b147 - 2*b83*b148 - 2*b83*
     b149 - 2*b83*b150 + 2*b83*b151 + 2*b83*b152 - 2*b83*b157 - 2*b83*b159 - 2*
     b83*b160 - 2*b83*b161 - 2*b83*b162 - 2*b83*b163 - 2*b83*b164 - 2*b83*b165
      - 2*b83*b166 - 2*b83*b167 - 2*b83*b168 - 2*b83*b172 - 2*b83*b175 - 2*b83*
     b177 - 2*b83*b178 + 2*b84*b89 - 11*b84 + 2*b84*b90 + 2*b84*b96 + 2*b84*b97
      + 2*b84*b100 + 2*b84*b101 + 2*b84*b102 + 2*b84*b103 + 2*b84*b106 + 2*b84*
     b107 + 2*b84*b109 + 2*b84*b110 + 2*b84*b111 + 2*b84*b112 - 2*b84*b113 - 2*
     b84*b114 - 2*b84*b116 - 2*b84*b119 - 2*b84*b120 - 2*b84*b121 - 2*b84*b122
      - 2*b84*b123 + 2*b84*b125 + 2*b84*b127 + 2*b84*b128 + 2*b84*b130 + 2*b84*
     b132 + 2*b84*b133 + 2*b84*b134 + 2*b84*b136 + 2*b84*b137 + 2*b84*b139 + 2*
     b84*b141 + 2*b84*b142 - 2*b84*b143 - 2*b84*b146 - 2*b84*b147 - 2*b84*b148
      - 2*b84*b149 - 2*b84*b150 + 2*b84*b151 + 2*b84*b152 + 2*b84*b154 + 2*b84*
     b156 + 2*b84*b157 - 2*b84*b159 - 2*b84*b160 - 2*b84*b161 - 2*b84*b162 - 2*
     b84*b163 - 2*b84*b164 - 2*b84*b165 - 2*b84*b166 - 2*b84*b167 - 2*b84*b168
      + 2*b84*b169 + 2*b84*b171 + 2*b84*b172 - 2*b84*b173 + 2*b84*b176 + 2*b84*
     b177 + 2*b85*b89 + 12*b85 + 2*b85*b90 - 2*b85*b92 - 2*b85*b93 - 2*b85*b98
      - 2*b85*b99 + 2*b85*b100 + 2*b85*b101 - 2*b85*b108 - 2*b85*b109 - 2*b85*
     b110 - 2*b85*b113 - 2*b85*b114 - 2*b85*b116 - 2*b85*b119 - 2*b85*b120 - 2*
     b85*b121 - 2*b85*b122 - 2*b85*b123 + 2*b85*b124 + 2*b85*b127 + 2*b85*b129
      + 2*b85*b130 + 2*b85*b133 - 2*b85*b135 + 2*b85*b136 - 2*b85*b140 - 2*b85*
     b141 + 2*b85*b151 + 2*b85*b153 + 2*b85*b154 + 2*b85*b157 - 2*b85*b159 - 2*
     b85*b160 - 2*b85*b161 - 2*b85*b162 - 2*b85*b163 - 2*b85*b170 - 2*b85*b171
      - 2*b85*b173 - 2*b85*b174 + 2*b85*b177 + 2*b85*b178 - 2*b85*b179 + 2*b86*
     b90 - 17*b86 + 2*b86*b97 + 2*b86*b101 + 2*b86*b103 + 2*b86*b107 + 2*b86*
     b110 + 2*b86*b112 - 2*b86*b114 - 2*b86*b116 - 2*b86*b119 - 2*b86*b121 + 2*
     b86*b123 + 2*b86*b134 + 2*b86*b136 + 2*b86*b137 + 2*b86*b139 + 2*b86*b141
      + 2*b86*b142 - 2*b86*b143 - 2*b86*b146 - 2*b86*b148 + 2*b86*b150 + 2*b86*
     b151 + 2*b86*b152 + 2*b86*b154 + 2*b86*b156 + 2*b86*b157 - 2*b86*b159 - 2*
     b86*b161 + 2*b86*b163 - 2*b86*b164 - 2*b86*b166 + 2*b86*b168 + 2*b86*b169
      + 2*b86*b171 + 2*b86*b172 - 2*b86*b173 + 2*b86*b175 + 2*b86*b176 + 2*b86*
     b177 + 2*b86*b178 - 2*b87*b89 + 14*b87 - 2*b87*b91 - 2*b87*b94 - 2*b87*b96
      - 2*b87*b97 - 2*b87*b98 - 2*b87*b99 - 2*b87*b100 - 2*b87*b102 - 2*b87*
     b103 - 2*b87*b104 - 2*b87*b106 - 2*b87*b108 - 2*b87*b109 - 2*b87*b110 + 2*
     b87*b112 - 2*b87*b115 - 2*b87*b116 - 2*b87*b118 - 2*b87*b121 - 2*b87*b122
      + 2*b87*b123 - 2*b87*b134 - 2*b87*b135 - 2*b87*b137 - 2*b87*b140 - 2*b87*
     b141 + 2*b87*b142 + 2*b87*b144 + 2*b87*b146 + 2*b87*b147 + 2*b87*b150 + 2*
     b87*b151 + 2*b87*b153 + 2*b87*b154 + 2*b87*b157 - 2*b87*b158 - 2*b87*b161
      - 2*b87*b162 + 2*b87*b163 + 2*b87*b164 + 2*b87*b165 + 2*b87*b168 - 2*b87*
     b170 - 2*b87*b171 + 2*b87*b172 - 2*b87*b173 - 2*b87*b174 + 2*b87*b175 + 2*
     b87*b177 + 2*b87*b178 - 2*b87*b179 - 2*b88*b89 + 18*b88 - 2*b88*b90 - 2*
     b88*b96 - 2*b88*b97 - 2*b88*b100 - 2*b88*b101 - 2*b88*b102 - 2*b88*b103 - 
     2*b88*b106 - 2*b88*b107 - 2*b88*b109 - 2*b88*b110 - 2*b88*b111 - 2*b88*
     b112 + 2*b88*b114 - 2*b88*b115 - 2*b88*b118 + 2*b88*b119 - 2*b88*b122 - 2*
     b88*b134 - 2*b88*b136 - 2*b88*b137 - 2*b88*b139 - 2*b88*b141 - 2*b88*b142
      + 2*b88*b144 + 2*b88*b146 + 2*b88*b147 + 2*b88*b150 - 2*b88*b158 + 2*b88*
     b159 - 2*b88*b162 + 2*b88*b164 + 2*b88*b165 + 2*b88*b168 - 2*b88*b169 - 2*
     b88*b171 - 2*b88*b172 - 2*b88*b174 + 2*b88*b178 + 2*b89*b180 - 2*b90*b181
      - 2*b95*b182 + 2*b96*b180 - 2*b97*b182 + 2*b100*b180 - 2*b101*b182 + 2*
     b102*b180 - 2*b103*b181 - 2*b105*b181 - 2*b105*b182 + 2*b106*b180 + 2*b109
     *b180 - 2*b110*b181 - 2*b110*b182 + 2*b111*b180 - 2*b112*b182 - 2*b114*
     b183 - 2*b115*b183 + 2*b116*b181 + 2*b117*b181 - 2*b117*b183 - 2*b119*b183
      + 2*b120*b181 - 2*b121*b180 + 2*b121*b181 - 2*b122*b180 - 2*b122*b183 + 2
     *b123*b181 - 2*b123*b183 + 2*b134*b183 + 2*b135*b182 + 2*b136*b182 + 2*
     b136*b183 + 2*b137*b183 + 2*b139*b182 + 2*b139*b183 + 2*b140*b182 + 2*b141
     *b183 + 2*b142*b182 + 2*b142*b183 + 2*b143*b182 + 2*b144*b182 + 2*b145*
     b183 - 2*b146*b183 + 2*b147*b182 + 2*b147*b183 - 2*b148*b180 + 2*b148*b182
      - 2*b149*b180 + 2*b150*b182 - 2*b151*b182 - 2*b152*b181 - 2*b153*b181 - 2
     *b153*b182 - 2*b156*b181 - 2*b156*b182 - 2*b157*b182 - 2*b158*b181 + 2*
     b158*b183 - 2*b159*b181 - 2*b159*b182 - 2*b159*b183 + 2*b160*b182 + 2*b160
     *b183 - 2*b161*b180 + 2*b161*b182 - 2*b162*b180 - 2*b162*b181 - 2*b162*
     b182 - 2*b164*b183 + 2*b165*b181 - 2*b166*b180 + 2*b166*b181 - 2*b167*b180
      - 2*b167*b183 + 2*b168*b181 - 2*b168*b183 + 2*b169*b181 + 2*b169*b182 + 2
     *b169*b183 + 2*b170*b181 + 2*b170*b182 + 2*b171*b183 + 2*b172*b181 + 2*
     b172*b182 + 2*b172*b183 - 2*b173*b180 - 2*b174*b180 - 2*b174*b181 - 2*b174
     *b182 - 2*b174*b183 - 2*b175*b182 - 2*b175*b183 + 2*b176*b180 - 2*b176*
     b181 - 2*b176*b182 + 2*b177*b180 - 2*b177*b182 + 2*b178*b180 + 2*b178*b181
      + 2*b178*b182 - objvar =E= 0;

e2..  - b2 + b3 + b4 =L= 1;

e3..    b4 - b5 + b6 =L= 1;

e4..    b4 - b7 + b8 =L= 1;

e5..    b4 - b9 + b10 =L= 1;

e6..    b4 - b11 + b12 =L= 1;

e7..    b4 - b13 + b14 =L= 1;

e8..    b4 - b15 + b16 =L= 1;

e9..    b4 - b17 + b18 =L= 1;

e10..    b4 - b19 + b20 =L= 1;

e11..    b4 - b21 + b22 =L= 1;

e12..    b4 - b23 + b24 =L= 1;

e13..    b4 - b25 + b26 =L= 1;

e14..    b2 - b5 + b27 =L= 1;

e15..    b2 - b7 + b28 =L= 1;

e16..    b2 - b9 + b29 =L= 1;

e17..    b2 - b11 + b30 =L= 1;

e18..    b2 - b13 + b31 =L= 1;

e19..    b2 - b15 + b32 =L= 1;

e20..    b2 - b17 + b33 =L= 1;

e21..    b2 - b19 + b34 =L= 1;

e22..    b2 - b21 + b35 =L= 1;

e23..    b2 - b23 + b36 =L= 1;

e24..    b2 - b25 + b37 =L= 1;

e25..    b5 - b7 + b38 =L= 1;

e26..    b5 - b9 + b39 =L= 1;

e27..    b5 - b11 + b40 =L= 1;

e28..    b5 - b13 + b41 =L= 1;

e29..    b5 - b15 + b42 =L= 1;

e30..    b5 - b17 + b43 =L= 1;

e31..    b5 - b19 + b44 =L= 1;

e32..    b5 - b21 + b45 =L= 1;

e33..    b5 - b23 + b46 =L= 1;

e34..    b5 - b25 + b47 =L= 1;

e35..    b7 - b9 + b48 =L= 1;

e36..    b7 - b11 + b49 =L= 1;

e37..    b7 - b13 + b50 =L= 1;

e38..    b7 - b15 + b51 =L= 1;

e39..    b7 - b17 + b52 =L= 1;

e40..    b7 - b19 + b53 =L= 1;

e41..    b7 - b21 + b54 =L= 1;

e42..    b7 - b23 + b55 =L= 1;

e43..    b7 - b25 + b56 =L= 1;

e44..    b9 - b11 + b57 =L= 1;

e45..    b9 - b13 + b58 =L= 1;

e46..    b9 - b15 + b59 =L= 1;

e47..    b9 - b17 + b181 =L= 1;

e48..    b9 - b19 + b60 =L= 1;

e49..    b9 - b21 + b61 =L= 1;

e50..    b9 - b23 + b62 =L= 1;

e51..    b9 - b25 + b63 =L= 1;

e52..    b11 - b13 + b64 =L= 1;

e53..    b11 - b15 + b65 =L= 1;

e54..    b11 - b17 + b66 =L= 1;

e55..    b11 - b19 + b67 =L= 1;

e56..    b11 - b21 + b68 =L= 1;

e57..    b11 - b23 + b180 =L= 1;

e58..    b11 - b25 + b69 =L= 1;

e59..    b13 - b15 + b70 =L= 1;

e60..    b13 - b17 + b71 =L= 1;

e61..    b13 - b19 + b72 =L= 1;

e62..    b13 - b21 + b73 =L= 1;

e63..    b13 - b23 + b74 =L= 1;

e64..    b13 - b25 + b75 =L= 1;

e65..    b15 - b17 + b182 =L= 1;

e66..    b15 - b19 + b76 =L= 1;

e67..    b15 - b21 + b77 =L= 1;

e68..    b15 - b23 + b183 =L= 1;

e69..    b15 - b25 + b78 =L= 1;

e70..    b17 - b19 + b79 =L= 1;

e71..    b17 - b21 + b80 =L= 1;

e72..    b17 - b23 + b81 =L= 1;

e73..    b17 - b25 + b82 =L= 1;

e74..    b19 - b21 + b83 =L= 1;

e75..    b19 - b23 + b84 =L= 1;

e76..    b19 - b25 + b85 =L= 1;

e77..    b21 - b23 + b86 =L= 1;

e78..    b21 - b25 + b87 =L= 1;

e79..    b23 - b25 + b88 =L= 1;

e80..    b3 - b6 + b27 =L= 1;

e81..    b3 - b8 + b28 =L= 1;

e82..    b3 - b10 + b29 =L= 1;

e83..    b3 - b12 + b30 =L= 1;

e84..    b3 - b14 + b31 =L= 1;

e85..    b3 - b16 + b32 =L= 1;

e86..    b3 - b18 + b33 =L= 1;

e87..    b3 - b20 + b34 =L= 1;

e88..    b3 - b22 + b35 =L= 1;

e89..    b3 - b24 + b36 =L= 1;

e90..    b3 - b26 + b37 =L= 1;

e91..    b6 - b8 + b38 =L= 1;

e92..    b6 - b10 + b39 =L= 1;

e93..    b6 - b12 + b40 =L= 1;

e94..    b6 - b14 + b41 =L= 1;

e95..    b6 - b16 + b42 =L= 1;

e96..    b6 - b18 + b43 =L= 1;

e97..    b6 - b20 + b44 =L= 1;

e98..    b6 - b22 + b45 =L= 1;

e99..    b6 - b24 + b46 =L= 1;

e100..    b6 - b26 + b47 =L= 1;

e101..    b8 - b10 + b48 =L= 1;

e102..    b8 - b12 + b49 =L= 1;

e103..    b8 - b14 + b50 =L= 1;

e104..    b8 - b16 + b51 =L= 1;

e105..    b8 - b18 + b52 =L= 1;

e106..    b8 - b20 + b53 =L= 1;

e107..    b8 - b22 + b54 =L= 1;

e108..    b8 - b24 + b55 =L= 1;

e109..    b8 - b26 + b56 =L= 1;

e110..    b10 - b12 + b57 =L= 1;

e111..    b10 - b14 + b58 =L= 1;

e112..    b10 - b16 + b59 =L= 1;

e113..    b10 - b18 + b181 =L= 1;

e114..    b10 - b20 + b60 =L= 1;

e115..    b10 - b22 + b61 =L= 1;

e116..    b10 - b24 + b62 =L= 1;

e117..    b10 - b26 + b63 =L= 1;

e118..    b12 - b14 + b64 =L= 1;

e119..    b12 - b16 + b65 =L= 1;

e120..    b12 - b18 + b66 =L= 1;

e121..    b12 - b20 + b67 =L= 1;

e122..    b12 - b22 + b68 =L= 1;

e123..    b12 - b24 + b180 =L= 1;

e124..    b12 - b26 + b69 =L= 1;

e125..    b14 - b16 + b70 =L= 1;

e126..    b14 - b18 + b71 =L= 1;

e127..    b14 - b20 + b72 =L= 1;

e128..    b14 - b22 + b73 =L= 1;

e129..    b14 - b24 + b74 =L= 1;

e130..    b14 - b26 + b75 =L= 1;

e131..    b16 - b18 + b182 =L= 1;

e132..    b16 - b20 + b76 =L= 1;

e133..    b16 - b22 + b77 =L= 1;

e134..    b16 - b24 + b183 =L= 1;

e135..    b16 - b26 + b78 =L= 1;

e136..    b18 - b20 + b79 =L= 1;

e137..    b18 - b22 + b80 =L= 1;

e138..    b18 - b24 + b81 =L= 1;

e139..    b18 - b26 + b82 =L= 1;

e140..    b20 - b22 + b83 =L= 1;

e141..    b20 - b24 + b84 =L= 1;

e142..    b20 - b26 + b85 =L= 1;

e143..    b22 - b24 + b86 =L= 1;

e144..    b22 - b26 + b87 =L= 1;

e145..    b24 - b26 + b88 =L= 1;

e146..    b27 - b28 + b38 =L= 1;

e147..    b27 - b29 + b39 =L= 1;

e148..    b27 - b30 + b40 =L= 1;

e149..    b27 - b31 + b41 =L= 1;

e150..    b27 - b32 + b42 =L= 1;

e151..    b27 - b33 + b43 =L= 1;

e152..    b27 - b34 + b44 =L= 1;

e153..    b27 - b35 + b45 =L= 1;

e154..    b27 - b36 + b46 =L= 1;

e155..    b27 - b37 + b47 =L= 1;

e156..    b28 - b29 + b48 =L= 1;

e157..    b28 - b30 + b49 =L= 1;

e158..    b28 - b31 + b50 =L= 1;

e159..    b28 - b32 + b51 =L= 1;

e160..    b28 - b33 + b52 =L= 1;

e161..    b28 - b34 + b53 =L= 1;

e162..    b28 - b35 + b54 =L= 1;

e163..    b28 - b36 + b55 =L= 1;

e164..    b28 - b37 + b56 =L= 1;

e165..    b29 - b30 + b57 =L= 1;

e166..    b29 - b31 + b58 =L= 1;

e167..    b29 - b32 + b59 =L= 1;

e168..    b29 - b33 + b181 =L= 1;

e169..    b29 - b34 + b60 =L= 1;

e170..    b29 - b35 + b61 =L= 1;

e171..    b29 - b36 + b62 =L= 1;

e172..    b29 - b37 + b63 =L= 1;

e173..    b30 - b31 + b64 =L= 1;

e174..    b30 - b32 + b65 =L= 1;

e175..    b30 - b33 + b66 =L= 1;

e176..    b30 - b34 + b67 =L= 1;

e177..    b30 - b35 + b68 =L= 1;

e178..    b30 - b36 + b180 =L= 1;

e179..    b30 - b37 + b69 =L= 1;

e180..    b31 - b32 + b70 =L= 1;

e181..    b31 - b33 + b71 =L= 1;

e182..    b31 - b34 + b72 =L= 1;

e183..    b31 - b35 + b73 =L= 1;

e184..    b31 - b36 + b74 =L= 1;

e185..    b31 - b37 + b75 =L= 1;

e186..    b32 - b33 + b182 =L= 1;

e187..    b32 - b34 + b76 =L= 1;

e188..    b32 - b35 + b77 =L= 1;

e189..    b32 - b36 + b183 =L= 1;

e190..    b32 - b37 + b78 =L= 1;

e191..    b33 - b34 + b79 =L= 1;

e192..    b33 - b35 + b80 =L= 1;

e193..    b33 - b36 + b81 =L= 1;

e194..    b33 - b37 + b82 =L= 1;

e195..    b34 - b35 + b83 =L= 1;

e196..    b34 - b36 + b84 =L= 1;

e197..    b34 - b37 + b85 =L= 1;

e198..    b35 - b36 + b86 =L= 1;

e199..    b35 - b37 + b87 =L= 1;

e200..    b36 - b37 + b88 =L= 1;

e201..    b38 - b39 + b48 =L= 1;

e202..    b38 - b40 + b49 =L= 1;

e203..    b38 - b41 + b50 =L= 1;

e204..    b38 - b42 + b51 =L= 1;

e205..    b38 - b43 + b52 =L= 1;

e206..    b38 - b44 + b53 =L= 1;

e207..    b38 - b45 + b54 =L= 1;

e208..    b38 - b46 + b55 =L= 1;

e209..    b38 - b47 + b56 =L= 1;

e210..    b39 - b40 + b57 =L= 1;

e211..    b39 - b41 + b58 =L= 1;

e212..    b39 - b42 + b59 =L= 1;

e213..    b39 - b43 + b181 =L= 1;

e214..    b39 - b44 + b60 =L= 1;

e215..    b39 - b45 + b61 =L= 1;

e216..    b39 - b46 + b62 =L= 1;

e217..    b39 - b47 + b63 =L= 1;

e218..    b40 - b41 + b64 =L= 1;

e219..    b40 - b42 + b65 =L= 1;

e220..    b40 - b43 + b66 =L= 1;

e221..    b40 - b44 + b67 =L= 1;

e222..    b40 - b45 + b68 =L= 1;

e223..    b40 - b46 + b180 =L= 1;

e224..    b40 - b47 + b69 =L= 1;

e225..    b41 - b42 + b70 =L= 1;

e226..    b41 - b43 + b71 =L= 1;

e227..    b41 - b44 + b72 =L= 1;

e228..    b41 - b45 + b73 =L= 1;

e229..    b41 - b46 + b74 =L= 1;

e230..    b41 - b47 + b75 =L= 1;

e231..    b42 - b43 + b182 =L= 1;

e232..    b42 - b44 + b76 =L= 1;

e233..    b42 - b45 + b77 =L= 1;

e234..    b42 - b46 + b183 =L= 1;

e235..    b42 - b47 + b78 =L= 1;

e236..    b43 - b44 + b79 =L= 1;

e237..    b43 - b45 + b80 =L= 1;

e238..    b43 - b46 + b81 =L= 1;

e239..    b43 - b47 + b82 =L= 1;

e240..    b44 - b45 + b83 =L= 1;

e241..    b44 - b46 + b84 =L= 1;

e242..    b44 - b47 + b85 =L= 1;

e243..    b45 - b46 + b86 =L= 1;

e244..    b45 - b47 + b87 =L= 1;

e245..    b46 - b47 + b88 =L= 1;

e246..    b48 - b49 + b57 =L= 1;

e247..    b48 - b50 + b58 =L= 1;

e248..    b48 - b51 + b59 =L= 1;

e249..    b48 - b52 + b181 =L= 1;

e250..    b48 - b53 + b60 =L= 1;

e251..    b48 - b54 + b61 =L= 1;

e252..    b48 - b55 + b62 =L= 1;

e253..    b48 - b56 + b63 =L= 1;

e254..    b49 - b50 + b64 =L= 1;

e255..    b49 - b51 + b65 =L= 1;

e256..    b49 - b52 + b66 =L= 1;

e257..    b49 - b53 + b67 =L= 1;

e258..    b49 - b54 + b68 =L= 1;

e259..    b49 - b55 + b180 =L= 1;

e260..    b49 - b56 + b69 =L= 1;

e261..    b50 - b51 + b70 =L= 1;

e262..    b50 - b52 + b71 =L= 1;

e263..    b50 - b53 + b72 =L= 1;

e264..    b50 - b54 + b73 =L= 1;

e265..    b50 - b55 + b74 =L= 1;

e266..    b50 - b56 + b75 =L= 1;

e267..    b51 - b52 + b182 =L= 1;

e268..    b51 - b53 + b76 =L= 1;

e269..    b51 - b54 + b77 =L= 1;

e270..    b51 - b55 + b183 =L= 1;

e271..    b51 - b56 + b78 =L= 1;

e272..    b52 - b53 + b79 =L= 1;

e273..    b52 - b54 + b80 =L= 1;

e274..    b52 - b55 + b81 =L= 1;

e275..    b52 - b56 + b82 =L= 1;

e276..    b53 - b54 + b83 =L= 1;

e277..    b53 - b55 + b84 =L= 1;

e278..    b53 - b56 + b85 =L= 1;

e279..    b54 - b55 + b86 =L= 1;

e280..    b54 - b56 + b87 =L= 1;

e281..    b55 - b56 + b88 =L= 1;

e282..    b57 - b58 + b64 =L= 1;

e283..    b57 - b59 + b65 =L= 1;

e284..    b57 + b66 - b181 =L= 1;

e285..    b57 - b60 + b67 =L= 1;

e286..    b57 - b61 + b68 =L= 1;

e287..    b57 - b62 + b180 =L= 1;

e288..    b57 - b63 + b69 =L= 1;

e289..    b58 - b59 + b70 =L= 1;

e290..    b58 + b71 - b181 =L= 1;

e291..    b58 - b60 + b72 =L= 1;

e292..    b58 - b61 + b73 =L= 1;

e293..    b58 - b62 + b74 =L= 1;

e294..    b58 - b63 + b75 =L= 1;

e295..    b59 - b181 + b182 =L= 1;

e296..    b59 - b60 + b76 =L= 1;

e297..    b59 - b61 + b77 =L= 1;

e298..    b59 - b62 + b183 =L= 1;

e299..    b59 - b63 + b78 =L= 1;

e300..  - b60 + b79 + b181 =L= 1;

e301..  - b61 + b80 + b181 =L= 1;

e302..  - b62 + b81 + b181 =L= 1;

e303..  - b63 + b82 + b181 =L= 1;

e304..    b60 - b61 + b83 =L= 1;

e305..    b60 - b62 + b84 =L= 1;

e306..    b60 - b63 + b85 =L= 1;

e307..    b61 - b62 + b86 =L= 1;

e308..    b61 - b63 + b87 =L= 1;

e309..    b62 - b63 + b88 =L= 1;

e310..    b64 - b65 + b70 =L= 1;

e311..    b64 - b66 + b71 =L= 1;

e312..    b64 - b67 + b72 =L= 1;

e313..    b64 - b68 + b73 =L= 1;

e314..    b64 + b74 - b180 =L= 1;

e315..    b64 - b69 + b75 =L= 1;

e316..    b65 - b66 + b182 =L= 1;

e317..    b65 - b67 + b76 =L= 1;

e318..    b65 - b68 + b77 =L= 1;

e319..    b65 - b180 + b183 =L= 1;

e320..    b65 - b69 + b78 =L= 1;

e321..    b66 - b67 + b79 =L= 1;

e322..    b66 - b68 + b80 =L= 1;

e323..    b66 + b81 - b180 =L= 1;

e324..    b66 - b69 + b82 =L= 1;

e325..    b67 - b68 + b83 =L= 1;

e326..    b67 + b84 - b180 =L= 1;

e327..    b67 - b69 + b85 =L= 1;

e328..    b68 + b86 - b180 =L= 1;

e329..    b68 - b69 + b87 =L= 1;

e330..  - b69 + b88 + b180 =L= 1;

e331..    b70 - b71 + b182 =L= 1;

e332..    b70 - b72 + b76 =L= 1;

e333..    b70 - b73 + b77 =L= 1;

e334..    b70 - b74 + b183 =L= 1;

e335..    b70 - b75 + b78 =L= 1;

e336..    b71 - b72 + b79 =L= 1;

e337..    b71 - b73 + b80 =L= 1;

e338..    b71 - b74 + b81 =L= 1;

e339..    b71 - b75 + b82 =L= 1;

e340..    b72 - b73 + b83 =L= 1;

e341..    b72 - b74 + b84 =L= 1;

e342..    b72 - b75 + b85 =L= 1;

e343..    b73 - b74 + b86 =L= 1;

e344..    b73 - b75 + b87 =L= 1;

e345..    b74 - b75 + b88 =L= 1;

e346..  - b76 + b79 + b182 =L= 1;

e347..  - b77 + b80 + b182 =L= 1;

e348..    b81 + b182 - b183 =L= 1;

e349..  - b78 + b82 + b182 =L= 1;

e350..    b76 - b77 + b83 =L= 1;

e351..    b76 + b84 - b183 =L= 1;

e352..    b76 - b78 + b85 =L= 1;

e353..    b77 + b86 - b183 =L= 1;

e354..    b77 - b78 + b87 =L= 1;

e355..  - b78 + b88 + b183 =L= 1;

e356..    b79 - b80 + b83 =L= 1;

e357..    b79 - b81 + b84 =L= 1;

e358..    b79 - b82 + b85 =L= 1;

e359..    b80 - b81 + b86 =L= 1;

e360..    b80 - b82 + b87 =L= 1;

e361..    b81 - b82 + b88 =L= 1;

e362..    b83 - b84 + b86 =L= 1;

e363..    b83 - b85 + b87 =L= 1;

e364..    b84 - b85 + b88 =L= 1;

e365..    b86 - b87 + b88 =L= 1;

e366..    b2 - b3 - b4 =L= 0;

e367..  - b4 + b5 - b6 =L= 0;

e368..  - b4 + b7 - b8 =L= 0;

e369..  - b4 + b9 - b10 =L= 0;

e370..  - b4 + b11 - b12 =L= 0;

e371..  - b4 + b13 - b14 =L= 0;

e372..  - b4 + b15 - b16 =L= 0;

e373..  - b4 + b17 - b18 =L= 0;

e374..  - b4 + b19 - b20 =L= 0;

e375..  - b4 + b21 - b22 =L= 0;

e376..  - b4 + b23 - b24 =L= 0;

e377..  - b4 + b25 - b26 =L= 0;

e378..  - b2 + b5 - b27 =L= 0;

e379..  - b2 + b7 - b28 =L= 0;

e380..  - b2 + b9 - b29 =L= 0;

e381..  - b2 + b11 - b30 =L= 0;

e382..  - b2 + b13 - b31 =L= 0;

e383..  - b2 + b15 - b32 =L= 0;

e384..  - b2 + b17 - b33 =L= 0;

e385..  - b2 + b19 - b34 =L= 0;

e386..  - b2 + b21 - b35 =L= 0;

e387..  - b2 + b23 - b36 =L= 0;

e388..  - b2 + b25 - b37 =L= 0;

e389..  - b5 + b7 - b38 =L= 0;

e390..  - b5 + b9 - b39 =L= 0;

e391..  - b5 + b11 - b40 =L= 0;

e392..  - b5 + b13 - b41 =L= 0;

e393..  - b5 + b15 - b42 =L= 0;

e394..  - b5 + b17 - b43 =L= 0;

e395..  - b5 + b19 - b44 =L= 0;

e396..  - b5 + b21 - b45 =L= 0;

e397..  - b5 + b23 - b46 =L= 0;

e398..  - b5 + b25 - b47 =L= 0;

e399..  - b7 + b9 - b48 =L= 0;

e400..  - b7 + b11 - b49 =L= 0;

e401..  - b7 + b13 - b50 =L= 0;

e402..  - b7 + b15 - b51 =L= 0;

e403..  - b7 + b17 - b52 =L= 0;

e404..  - b7 + b19 - b53 =L= 0;

e405..  - b7 + b21 - b54 =L= 0;

e406..  - b7 + b23 - b55 =L= 0;

e407..  - b7 + b25 - b56 =L= 0;

e408..  - b9 + b11 - b57 =L= 0;

e409..  - b9 + b13 - b58 =L= 0;

e410..  - b9 + b15 - b59 =L= 0;

e411..  - b9 + b17 - b181 =L= 0;

e412..  - b9 + b19 - b60 =L= 0;

e413..  - b9 + b21 - b61 =L= 0;

e414..  - b9 + b23 - b62 =L= 0;

e415..  - b9 + b25 - b63 =L= 0;

e416..  - b11 + b13 - b64 =L= 0;

e417..  - b11 + b15 - b65 =L= 0;

e418..  - b11 + b17 - b66 =L= 0;

e419..  - b11 + b19 - b67 =L= 0;

e420..  - b11 + b21 - b68 =L= 0;

e421..  - b11 + b23 - b180 =L= 0;

e422..  - b11 + b25 - b69 =L= 0;

e423..  - b13 + b15 - b70 =L= 0;

e424..  - b13 + b17 - b71 =L= 0;

e425..  - b13 + b19 - b72 =L= 0;

e426..  - b13 + b21 - b73 =L= 0;

e427..  - b13 + b23 - b74 =L= 0;

e428..  - b13 + b25 - b75 =L= 0;

e429..  - b15 + b17 - b182 =L= 0;

e430..  - b15 + b19 - b76 =L= 0;

e431..  - b15 + b21 - b77 =L= 0;

e432..  - b15 + b23 - b183 =L= 0;

e433..  - b15 + b25 - b78 =L= 0;

e434..  - b17 + b19 - b79 =L= 0;

e435..  - b17 + b21 - b80 =L= 0;

e436..  - b17 + b23 - b81 =L= 0;

e437..  - b17 + b25 - b82 =L= 0;

e438..  - b19 + b21 - b83 =L= 0;

e439..  - b19 + b23 - b84 =L= 0;

e440..  - b19 + b25 - b85 =L= 0;

e441..  - b21 + b23 - b86 =L= 0;

e442..  - b21 + b25 - b87 =L= 0;

e443..  - b23 + b25 - b88 =L= 0;

e444..  - b3 + b6 - b27 =L= 0;

e445..  - b3 + b8 - b28 =L= 0;

e446..  - b3 + b10 - b29 =L= 0;

e447..  - b3 + b12 - b30 =L= 0;

e448..  - b3 + b14 - b31 =L= 0;

e449..  - b3 + b16 - b32 =L= 0;

e450..  - b3 + b18 - b33 =L= 0;

e451..  - b3 + b20 - b34 =L= 0;

e452..  - b3 + b22 - b35 =L= 0;

e453..  - b3 + b24 - b36 =L= 0;

e454..  - b3 + b26 - b37 =L= 0;

e455..  - b6 + b8 - b38 =L= 0;

e456..  - b6 + b10 - b39 =L= 0;

e457..  - b6 + b12 - b40 =L= 0;

e458..  - b6 + b14 - b41 =L= 0;

e459..  - b6 + b16 - b42 =L= 0;

e460..  - b6 + b18 - b43 =L= 0;

e461..  - b6 + b20 - b44 =L= 0;

e462..  - b6 + b22 - b45 =L= 0;

e463..  - b6 + b24 - b46 =L= 0;

e464..  - b6 + b26 - b47 =L= 0;

e465..  - b8 + b10 - b48 =L= 0;

e466..  - b8 + b12 - b49 =L= 0;

e467..  - b8 + b14 - b50 =L= 0;

e468..  - b8 + b16 - b51 =L= 0;

e469..  - b8 + b18 - b52 =L= 0;

e470..  - b8 + b20 - b53 =L= 0;

e471..  - b8 + b22 - b54 =L= 0;

e472..  - b8 + b24 - b55 =L= 0;

e473..  - b8 + b26 - b56 =L= 0;

e474..  - b10 + b12 - b57 =L= 0;

e475..  - b10 + b14 - b58 =L= 0;

e476..  - b10 + b16 - b59 =L= 0;

e477..  - b10 + b18 - b181 =L= 0;

e478..  - b10 + b20 - b60 =L= 0;

e479..  - b10 + b22 - b61 =L= 0;

e480..  - b10 + b24 - b62 =L= 0;

e481..  - b10 + b26 - b63 =L= 0;

e482..  - b12 + b14 - b64 =L= 0;

e483..  - b12 + b16 - b65 =L= 0;

e484..  - b12 + b18 - b66 =L= 0;

e485..  - b12 + b20 - b67 =L= 0;

e486..  - b12 + b22 - b68 =L= 0;

e487..  - b12 + b24 - b180 =L= 0;

e488..  - b12 + b26 - b69 =L= 0;

e489..  - b14 + b16 - b70 =L= 0;

e490..  - b14 + b18 - b71 =L= 0;

e491..  - b14 + b20 - b72 =L= 0;

e492..  - b14 + b22 - b73 =L= 0;

e493..  - b14 + b24 - b74 =L= 0;

e494..  - b14 + b26 - b75 =L= 0;

e495..  - b16 + b18 - b182 =L= 0;

e496..  - b16 + b20 - b76 =L= 0;

e497..  - b16 + b22 - b77 =L= 0;

e498..  - b16 + b24 - b183 =L= 0;

e499..  - b16 + b26 - b78 =L= 0;

e500..  - b18 + b20 - b79 =L= 0;

e501..  - b18 + b22 - b80 =L= 0;

e502..  - b18 + b24 - b81 =L= 0;

e503..  - b18 + b26 - b82 =L= 0;

e504..  - b20 + b22 - b83 =L= 0;

e505..  - b20 + b24 - b84 =L= 0;

e506..  - b20 + b26 - b85 =L= 0;

e507..  - b22 + b24 - b86 =L= 0;

e508..  - b22 + b26 - b87 =L= 0;

e509..  - b24 + b26 - b88 =L= 0;

e510..  - b27 + b28 - b38 =L= 0;

e511..  - b27 + b29 - b39 =L= 0;

e512..  - b27 + b30 - b40 =L= 0;

e513..  - b27 + b31 - b41 =L= 0;

e514..  - b27 + b32 - b42 =L= 0;

e515..  - b27 + b33 - b43 =L= 0;

e516..  - b27 + b34 - b44 =L= 0;

e517..  - b27 + b35 - b45 =L= 0;

e518..  - b27 + b36 - b46 =L= 0;

e519..  - b27 + b37 - b47 =L= 0;

e520..  - b28 + b29 - b48 =L= 0;

e521..  - b28 + b30 - b49 =L= 0;

e522..  - b28 + b31 - b50 =L= 0;

e523..  - b28 + b32 - b51 =L= 0;

e524..  - b28 + b33 - b52 =L= 0;

e525..  - b28 + b34 - b53 =L= 0;

e526..  - b28 + b35 - b54 =L= 0;

e527..  - b28 + b36 - b55 =L= 0;

e528..  - b28 + b37 - b56 =L= 0;

e529..  - b29 + b30 - b57 =L= 0;

e530..  - b29 + b31 - b58 =L= 0;

e531..  - b29 + b32 - b59 =L= 0;

e532..  - b29 + b33 - b181 =L= 0;

e533..  - b29 + b34 - b60 =L= 0;

e534..  - b29 + b35 - b61 =L= 0;

e535..  - b29 + b36 - b62 =L= 0;

e536..  - b29 + b37 - b63 =L= 0;

e537..  - b30 + b31 - b64 =L= 0;

e538..  - b30 + b32 - b65 =L= 0;

e539..  - b30 + b33 - b66 =L= 0;

e540..  - b30 + b34 - b67 =L= 0;

e541..  - b30 + b35 - b68 =L= 0;

e542..  - b30 + b36 - b180 =L= 0;

e543..  - b30 + b37 - b69 =L= 0;

e544..  - b31 + b32 - b70 =L= 0;

e545..  - b31 + b33 - b71 =L= 0;

e546..  - b31 + b34 - b72 =L= 0;

e547..  - b31 + b35 - b73 =L= 0;

e548..  - b31 + b36 - b74 =L= 0;

e549..  - b31 + b37 - b75 =L= 0;

e550..  - b32 + b33 - b182 =L= 0;

e551..  - b32 + b34 - b76 =L= 0;

e552..  - b32 + b35 - b77 =L= 0;

e553..  - b32 + b36 - b183 =L= 0;

e554..  - b32 + b37 - b78 =L= 0;

e555..  - b33 + b34 - b79 =L= 0;

e556..  - b33 + b35 - b80 =L= 0;

e557..  - b33 + b36 - b81 =L= 0;

e558..  - b33 + b37 - b82 =L= 0;

e559..  - b34 + b35 - b83 =L= 0;

e560..  - b34 + b36 - b84 =L= 0;

e561..  - b34 + b37 - b85 =L= 0;

e562..  - b35 + b36 - b86 =L= 0;

e563..  - b35 + b37 - b87 =L= 0;

e564..  - b36 + b37 - b88 =L= 0;

e565..  - b38 + b39 - b48 =L= 0;

e566..  - b38 + b40 - b49 =L= 0;

e567..  - b38 + b41 - b50 =L= 0;

e568..  - b38 + b42 - b51 =L= 0;

e569..  - b38 + b43 - b52 =L= 0;

e570..  - b38 + b44 - b53 =L= 0;

e571..  - b38 + b45 - b54 =L= 0;

e572..  - b38 + b46 - b55 =L= 0;

e573..  - b38 + b47 - b56 =L= 0;

e574..  - b39 + b40 - b57 =L= 0;

e575..  - b39 + b41 - b58 =L= 0;

e576..  - b39 + b42 - b59 =L= 0;

e577..  - b39 + b43 - b181 =L= 0;

e578..  - b39 + b44 - b60 =L= 0;

e579..  - b39 + b45 - b61 =L= 0;

e580..  - b39 + b46 - b62 =L= 0;

e581..  - b39 + b47 - b63 =L= 0;

e582..  - b40 + b41 - b64 =L= 0;

e583..  - b40 + b42 - b65 =L= 0;

e584..  - b40 + b43 - b66 =L= 0;

e585..  - b40 + b44 - b67 =L= 0;

e586..  - b40 + b45 - b68 =L= 0;

e587..  - b40 + b46 - b180 =L= 0;

e588..  - b40 + b47 - b69 =L= 0;

e589..  - b41 + b42 - b70 =L= 0;

e590..  - b41 + b43 - b71 =L= 0;

e591..  - b41 + b44 - b72 =L= 0;

e592..  - b41 + b45 - b73 =L= 0;

e593..  - b41 + b46 - b74 =L= 0;

e594..  - b41 + b47 - b75 =L= 0;

e595..  - b42 + b43 - b182 =L= 0;

e596..  - b42 + b44 - b76 =L= 0;

e597..  - b42 + b45 - b77 =L= 0;

e598..  - b42 + b46 - b183 =L= 0;

e599..  - b42 + b47 - b78 =L= 0;

e600..  - b43 + b44 - b79 =L= 0;

e601..  - b43 + b45 - b80 =L= 0;

e602..  - b43 + b46 - b81 =L= 0;

e603..  - b43 + b47 - b82 =L= 0;

e604..  - b44 + b45 - b83 =L= 0;

e605..  - b44 + b46 - b84 =L= 0;

e606..  - b44 + b47 - b85 =L= 0;

e607..  - b45 + b46 - b86 =L= 0;

e608..  - b45 + b47 - b87 =L= 0;

e609..  - b46 + b47 - b88 =L= 0;

e610..  - b48 + b49 - b57 =L= 0;

e611..  - b48 + b50 - b58 =L= 0;

e612..  - b48 + b51 - b59 =L= 0;

e613..  - b48 + b52 - b181 =L= 0;

e614..  - b48 + b53 - b60 =L= 0;

e615..  - b48 + b54 - b61 =L= 0;

e616..  - b48 + b55 - b62 =L= 0;

e617..  - b48 + b56 - b63 =L= 0;

e618..  - b49 + b50 - b64 =L= 0;

e619..  - b49 + b51 - b65 =L= 0;

e620..  - b49 + b52 - b66 =L= 0;

e621..  - b49 + b53 - b67 =L= 0;

e622..  - b49 + b54 - b68 =L= 0;

e623..  - b49 + b55 - b180 =L= 0;

e624..  - b49 + b56 - b69 =L= 0;

e625..  - b50 + b51 - b70 =L= 0;

e626..  - b50 + b52 - b71 =L= 0;

e627..  - b50 + b53 - b72 =L= 0;

e628..  - b50 + b54 - b73 =L= 0;

e629..  - b50 + b55 - b74 =L= 0;

e630..  - b50 + b56 - b75 =L= 0;

e631..  - b51 + b52 - b182 =L= 0;

e632..  - b51 + b53 - b76 =L= 0;

e633..  - b51 + b54 - b77 =L= 0;

e634..  - b51 + b55 - b183 =L= 0;

e635..  - b51 + b56 - b78 =L= 0;

e636..  - b52 + b53 - b79 =L= 0;

e637..  - b52 + b54 - b80 =L= 0;

e638..  - b52 + b55 - b81 =L= 0;

e639..  - b52 + b56 - b82 =L= 0;

e640..  - b53 + b54 - b83 =L= 0;

e641..  - b53 + b55 - b84 =L= 0;

e642..  - b53 + b56 - b85 =L= 0;

e643..  - b54 + b55 - b86 =L= 0;

e644..  - b54 + b56 - b87 =L= 0;

e645..  - b55 + b56 - b88 =L= 0;

e646..  - b57 + b58 - b64 =L= 0;

e647..  - b57 + b59 - b65 =L= 0;

e648..  - b57 - b66 + b181 =L= 0;

e649..  - b57 + b60 - b67 =L= 0;

e650..  - b57 + b61 - b68 =L= 0;

e651..  - b57 + b62 - b180 =L= 0;

e652..  - b57 + b63 - b69 =L= 0;

e653..  - b58 + b59 - b70 =L= 0;

e654..  - b58 - b71 + b181 =L= 0;

e655..  - b58 + b60 - b72 =L= 0;

e656..  - b58 + b61 - b73 =L= 0;

e657..  - b58 + b62 - b74 =L= 0;

e658..  - b58 + b63 - b75 =L= 0;

e659..  - b59 + b181 - b182 =L= 0;

e660..  - b59 + b60 - b76 =L= 0;

e661..  - b59 + b61 - b77 =L= 0;

e662..  - b59 + b62 - b183 =L= 0;

e663..  - b59 + b63 - b78 =L= 0;

e664..    b60 - b79 - b181 =L= 0;

e665..    b61 - b80 - b181 =L= 0;

e666..    b62 - b81 - b181 =L= 0;

e667..    b63 - b82 - b181 =L= 0;

e668..  - b60 + b61 - b83 =L= 0;

e669..  - b60 + b62 - b84 =L= 0;

e670..  - b60 + b63 - b85 =L= 0;

e671..  - b61 + b62 - b86 =L= 0;

e672..  - b61 + b63 - b87 =L= 0;

e673..  - b62 + b63 - b88 =L= 0;

e674..  - b64 + b65 - b70 =L= 0;

e675..  - b64 + b66 - b71 =L= 0;

e676..  - b64 + b67 - b72 =L= 0;

e677..  - b64 + b68 - b73 =L= 0;

e678..  - b64 - b74 + b180 =L= 0;

e679..  - b64 + b69 - b75 =L= 0;

e680..  - b65 + b66 - b182 =L= 0;

e681..  - b65 + b67 - b76 =L= 0;

e682..  - b65 + b68 - b77 =L= 0;

e683..  - b65 + b180 - b183 =L= 0;

e684..  - b65 + b69 - b78 =L= 0;

e685..  - b66 + b67 - b79 =L= 0;

e686..  - b66 + b68 - b80 =L= 0;

e687..  - b66 - b81 + b180 =L= 0;

e688..  - b66 + b69 - b82 =L= 0;

e689..  - b67 + b68 - b83 =L= 0;

e690..  - b67 - b84 + b180 =L= 0;

e691..  - b67 + b69 - b85 =L= 0;

e692..  - b68 - b86 + b180 =L= 0;

e693..  - b68 + b69 - b87 =L= 0;

e694..    b69 - b88 - b180 =L= 0;

e695..  - b70 + b71 - b182 =L= 0;

e696..  - b70 + b72 - b76 =L= 0;

e697..  - b70 + b73 - b77 =L= 0;

e698..  - b70 + b74 - b183 =L= 0;

e699..  - b70 + b75 - b78 =L= 0;

e700..  - b71 + b72 - b79 =L= 0;

e701..  - b71 + b73 - b80 =L= 0;

e702..  - b71 + b74 - b81 =L= 0;

e703..  - b71 + b75 - b82 =L= 0;

e704..  - b72 + b73 - b83 =L= 0;

e705..  - b72 + b74 - b84 =L= 0;

e706..  - b72 + b75 - b85 =L= 0;

e707..  - b73 + b74 - b86 =L= 0;

e708..  - b73 + b75 - b87 =L= 0;

e709..  - b74 + b75 - b88 =L= 0;

e710..    b76 - b79 - b182 =L= 0;

e711..    b77 - b80 - b182 =L= 0;

e712..  - b81 - b182 + b183 =L= 0;

e713..    b78 - b82 - b182 =L= 0;

e714..  - b76 + b77 - b83 =L= 0;

e715..  - b76 - b84 + b183 =L= 0;

e716..  - b76 + b78 - b85 =L= 0;

e717..  - b77 - b86 + b183 =L= 0;

e718..  - b77 + b78 - b87 =L= 0;

e719..    b78 - b88 - b183 =L= 0;

e720..  - b79 + b80 - b83 =L= 0;

e721..  - b79 + b81 - b84 =L= 0;

e722..  - b79 + b82 - b85 =L= 0;

e723..  - b80 + b81 - b86 =L= 0;

e724..  - b80 + b82 - b87 =L= 0;

e725..  - b81 + b82 - b88 =L= 0;

e726..  - b83 + b84 - b86 =L= 0;

e727..  - b83 + b85 - b87 =L= 0;

e728..  - b84 + b85 - b88 =L= 0;

e729..  - b86 + b87 - b88 =L= 0;

e730..  - b89 + b90 + b91 =L= 1;

e731..    b91 - b92 + b93 =L= 1;

e732..    b91 - b94 + b95 =L= 1;

e733..    b91 - b96 + b97 =L= 1;

e734..    b91 - b98 + b99 =L= 1;

e735..    b91 - b100 + b101 =L= 1;

e736..    b91 - b102 + b103 =L= 1;

e737..    b91 - b104 + b105 =L= 1;

e738..    b91 - b106 + b107 =L= 1;

e739..    b91 - b108 + b179 =L= 1;

e740..    b91 - b109 + b110 =L= 1;

e741..    b91 - b111 + b112 =L= 1;

e742..    b89 - b92 + b113 =L= 1;

e743..    b89 - b94 + b114 =L= 1;

e744..    b89 - b96 + b115 =L= 1;

e745..    b89 - b98 + b116 =L= 1;

e746..    b89 - b100 + b117 =L= 1;

e747..    b89 - b102 + b118 =L= 1;

e748..    b89 - b104 + b119 =L= 1;

e749..    b89 - b106 + b120 =L= 1;

e750..    b89 - b108 + b121 =L= 1;

e751..    b89 - b109 + b122 =L= 1;

e752..    b89 - b111 + b123 =L= 1;

e753..    b92 - b94 + b124 =L= 1;

e754..    b92 - b96 + b125 =L= 1;

e755..    b92 - b98 + b126 =L= 1;

e756..    b92 - b100 + b127 =L= 1;

e757..    b92 - b102 + b128 =L= 1;

e758..    b92 - b104 + b129 =L= 1;

e759..    b92 - b106 + b130 =L= 1;

e760..    b92 - b108 + b131 =L= 1;

e761..    b92 - b109 + b132 =L= 1;

e762..    b92 - b111 + b133 =L= 1;

e763..    b94 - b96 + b134 =L= 1;

e764..    b94 - b98 + b135 =L= 1;

e765..    b94 - b100 + b136 =L= 1;

e766..    b94 - b102 + b137 =L= 1;

e767..    b94 - b104 + b138 =L= 1;

e768..    b94 - b106 + b139 =L= 1;

e769..    b94 - b108 + b140 =L= 1;

e770..    b94 - b109 + b141 =L= 1;

e771..    b94 - b111 + b142 =L= 1;

e772..    b96 - b98 + b143 =L= 1;

e773..    b96 - b100 + b144 =L= 1;

e774..    b96 - b102 + b145 =L= 1;

e775..    b96 - b104 + b146 =L= 1;

e776..    b96 - b106 + b147 =L= 1;

e777..    b96 - b108 + b148 =L= 1;

e778..    b96 - b109 + b149 =L= 1;

e779..    b96 - b111 + b150 =L= 1;

e780..    b98 - b100 + b151 =L= 1;

e781..    b98 - b102 + b152 =L= 1;

e782..    b98 - b104 + b153 =L= 1;

e783..    b98 - b106 + b154 =L= 1;

e784..    b98 - b108 + b155 =L= 1;

e785..    b98 - b109 + b156 =L= 1;

e786..    b98 - b111 + b157 =L= 1;

e787..    b100 - b102 + b158 =L= 1;

e788..    b100 - b104 + b159 =L= 1;

e789..    b100 - b106 + b160 =L= 1;

e790..    b100 - b108 + b161 =L= 1;

e791..    b100 - b109 + b162 =L= 1;

e792..    b100 - b111 + b163 =L= 1;

e793..    b102 - b104 + b164 =L= 1;

e794..    b102 - b106 + b165 =L= 1;

e795..    b102 - b108 + b166 =L= 1;

e796..    b102 - b109 + b167 =L= 1;

e797..    b102 - b111 + b168 =L= 1;

e798..    b104 - b106 + b169 =L= 1;

e799..    b104 - b108 + b170 =L= 1;

e800..    b104 - b109 + b171 =L= 1;

e801..    b104 - b111 + b172 =L= 1;

e802..    b106 - b108 + b173 =L= 1;

e803..    b106 - b109 + b174 =L= 1;

e804..    b106 - b111 + b175 =L= 1;

e805..    b108 - b109 + b176 =L= 1;

e806..    b108 - b111 + b177 =L= 1;

e807..    b109 - b111 + b178 =L= 1;

e808..    b90 - b93 + b113 =L= 1;

e809..    b90 - b95 + b114 =L= 1;

e810..    b90 - b97 + b115 =L= 1;

e811..    b90 - b99 + b116 =L= 1;

e812..    b90 - b101 + b117 =L= 1;

e813..    b90 - b103 + b118 =L= 1;

e814..    b90 - b105 + b119 =L= 1;

e815..    b90 - b107 + b120 =L= 1;

e816..    b90 + b121 - b179 =L= 1;

e817..    b90 - b110 + b122 =L= 1;

e818..    b90 - b112 + b123 =L= 1;

e819..    b93 - b95 + b124 =L= 1;

e820..    b93 - b97 + b125 =L= 1;

e821..    b93 - b99 + b126 =L= 1;

e822..    b93 - b101 + b127 =L= 1;

e823..    b93 - b103 + b128 =L= 1;

e824..    b93 - b105 + b129 =L= 1;

e825..    b93 - b107 + b130 =L= 1;

e826..    b93 + b131 - b179 =L= 1;

e827..    b93 - b110 + b132 =L= 1;

e828..    b93 - b112 + b133 =L= 1;

e829..    b95 - b97 + b134 =L= 1;

e830..    b95 - b99 + b135 =L= 1;

e831..    b95 - b101 + b136 =L= 1;

e832..    b95 - b103 + b137 =L= 1;

e833..    b95 - b105 + b138 =L= 1;

e834..    b95 - b107 + b139 =L= 1;

e835..    b95 + b140 - b179 =L= 1;

e836..    b95 - b110 + b141 =L= 1;

e837..    b95 - b112 + b142 =L= 1;

e838..    b97 - b99 + b143 =L= 1;

e839..    b97 - b101 + b144 =L= 1;

e840..    b97 - b103 + b145 =L= 1;

e841..    b97 - b105 + b146 =L= 1;

e842..    b97 - b107 + b147 =L= 1;

e843..    b97 + b148 - b179 =L= 1;

e844..    b97 - b110 + b149 =L= 1;

e845..    b97 - b112 + b150 =L= 1;

e846..    b99 - b101 + b151 =L= 1;

e847..    b99 - b103 + b152 =L= 1;

e848..    b99 - b105 + b153 =L= 1;

e849..    b99 - b107 + b154 =L= 1;

e850..    b99 + b155 - b179 =L= 1;

e851..    b99 - b110 + b156 =L= 1;

e852..    b99 - b112 + b157 =L= 1;

e853..    b101 - b103 + b158 =L= 1;

e854..    b101 - b105 + b159 =L= 1;

e855..    b101 - b107 + b160 =L= 1;

e856..    b101 + b161 - b179 =L= 1;

e857..    b101 - b110 + b162 =L= 1;

e858..    b101 - b112 + b163 =L= 1;

e859..    b103 - b105 + b164 =L= 1;

e860..    b103 - b107 + b165 =L= 1;

e861..    b103 + b166 - b179 =L= 1;

e862..    b103 - b110 + b167 =L= 1;

e863..    b103 - b112 + b168 =L= 1;

e864..    b105 - b107 + b169 =L= 1;

e865..    b105 + b170 - b179 =L= 1;

e866..    b105 - b110 + b171 =L= 1;

e867..    b105 - b112 + b172 =L= 1;

e868..    b107 + b173 - b179 =L= 1;

e869..    b107 - b110 + b174 =L= 1;

e870..    b107 - b112 + b175 =L= 1;

e871..  - b110 + b176 + b179 =L= 1;

e872..  - b112 + b177 + b179 =L= 1;

e873..    b110 - b112 + b178 =L= 1;

e874..    b113 - b114 + b124 =L= 1;

e875..    b113 - b115 + b125 =L= 1;

e876..    b113 - b116 + b126 =L= 1;

e877..    b113 - b117 + b127 =L= 1;

e878..    b113 - b118 + b128 =L= 1;

e879..    b113 - b119 + b129 =L= 1;

e880..    b113 - b120 + b130 =L= 1;

e881..    b113 - b121 + b131 =L= 1;

e882..    b113 - b122 + b132 =L= 1;

e883..    b113 - b123 + b133 =L= 1;

e884..    b114 - b115 + b134 =L= 1;

e885..    b114 - b116 + b135 =L= 1;

e886..    b114 - b117 + b136 =L= 1;

e887..    b114 - b118 + b137 =L= 1;

e888..    b114 - b119 + b138 =L= 1;

e889..    b114 - b120 + b139 =L= 1;

e890..    b114 - b121 + b140 =L= 1;

e891..    b114 - b122 + b141 =L= 1;

e892..    b114 - b123 + b142 =L= 1;

e893..    b115 - b116 + b143 =L= 1;

e894..    b115 - b117 + b144 =L= 1;

e895..    b115 - b118 + b145 =L= 1;

e896..    b115 - b119 + b146 =L= 1;

e897..    b115 - b120 + b147 =L= 1;

e898..    b115 - b121 + b148 =L= 1;

e899..    b115 - b122 + b149 =L= 1;

e900..    b115 - b123 + b150 =L= 1;

e901..    b116 - b117 + b151 =L= 1;

e902..    b116 - b118 + b152 =L= 1;

e903..    b116 - b119 + b153 =L= 1;

e904..    b116 - b120 + b154 =L= 1;

e905..    b116 - b121 + b155 =L= 1;

e906..    b116 - b122 + b156 =L= 1;

e907..    b116 - b123 + b157 =L= 1;

e908..    b117 - b118 + b158 =L= 1;

e909..    b117 - b119 + b159 =L= 1;

e910..    b117 - b120 + b160 =L= 1;

e911..    b117 - b121 + b161 =L= 1;

e912..    b117 - b122 + b162 =L= 1;

e913..    b117 - b123 + b163 =L= 1;

e914..    b118 - b119 + b164 =L= 1;

e915..    b118 - b120 + b165 =L= 1;

e916..    b118 - b121 + b166 =L= 1;

e917..    b118 - b122 + b167 =L= 1;

e918..    b118 - b123 + b168 =L= 1;

e919..    b119 - b120 + b169 =L= 1;

e920..    b119 - b121 + b170 =L= 1;

e921..    b119 - b122 + b171 =L= 1;

e922..    b119 - b123 + b172 =L= 1;

e923..    b120 - b121 + b173 =L= 1;

e924..    b120 - b122 + b174 =L= 1;

e925..    b120 - b123 + b175 =L= 1;

e926..    b121 - b122 + b176 =L= 1;

e927..    b121 - b123 + b177 =L= 1;

e928..    b122 - b123 + b178 =L= 1;

e929..    b124 - b125 + b134 =L= 1;

e930..    b124 - b126 + b135 =L= 1;

e931..    b124 - b127 + b136 =L= 1;

e932..    b124 - b128 + b137 =L= 1;

e933..    b124 - b129 + b138 =L= 1;

e934..    b124 - b130 + b139 =L= 1;

e935..    b124 - b131 + b140 =L= 1;

e936..    b124 - b132 + b141 =L= 1;

e937..    b124 - b133 + b142 =L= 1;

e938..    b125 - b126 + b143 =L= 1;

e939..    b125 - b127 + b144 =L= 1;

e940..    b125 - b128 + b145 =L= 1;

e941..    b125 - b129 + b146 =L= 1;

e942..    b125 - b130 + b147 =L= 1;

e943..    b125 - b131 + b148 =L= 1;

e944..    b125 - b132 + b149 =L= 1;

e945..    b125 - b133 + b150 =L= 1;

e946..    b126 - b127 + b151 =L= 1;

e947..    b126 - b128 + b152 =L= 1;

e948..    b126 - b129 + b153 =L= 1;

e949..    b126 - b130 + b154 =L= 1;

e950..    b126 - b131 + b155 =L= 1;

e951..    b126 - b132 + b156 =L= 1;

e952..    b126 - b133 + b157 =L= 1;

e953..    b127 - b128 + b158 =L= 1;

e954..    b127 - b129 + b159 =L= 1;

e955..    b127 - b130 + b160 =L= 1;

e956..    b127 - b131 + b161 =L= 1;

e957..    b127 - b132 + b162 =L= 1;

e958..    b127 - b133 + b163 =L= 1;

e959..    b128 - b129 + b164 =L= 1;

e960..    b128 - b130 + b165 =L= 1;

e961..    b128 - b131 + b166 =L= 1;

e962..    b128 - b132 + b167 =L= 1;

e963..    b128 - b133 + b168 =L= 1;

e964..    b129 - b130 + b169 =L= 1;

e965..    b129 - b131 + b170 =L= 1;

e966..    b129 - b132 + b171 =L= 1;

e967..    b129 - b133 + b172 =L= 1;

e968..    b130 - b131 + b173 =L= 1;

e969..    b130 - b132 + b174 =L= 1;

e970..    b130 - b133 + b175 =L= 1;

e971..    b131 - b132 + b176 =L= 1;

e972..    b131 - b133 + b177 =L= 1;

e973..    b132 - b133 + b178 =L= 1;

e974..    b134 - b135 + b143 =L= 1;

e975..    b134 - b136 + b144 =L= 1;

e976..    b134 - b137 + b145 =L= 1;

e977..    b134 - b138 + b146 =L= 1;

e978..    b134 - b139 + b147 =L= 1;

e979..    b134 - b140 + b148 =L= 1;

e980..    b134 - b141 + b149 =L= 1;

e981..    b134 - b142 + b150 =L= 1;

e982..    b135 - b136 + b151 =L= 1;

e983..    b135 - b137 + b152 =L= 1;

e984..    b135 - b138 + b153 =L= 1;

e985..    b135 - b139 + b154 =L= 1;

e986..    b135 - b140 + b155 =L= 1;

e987..    b135 - b141 + b156 =L= 1;

e988..    b135 - b142 + b157 =L= 1;

e989..    b136 - b137 + b158 =L= 1;

e990..    b136 - b138 + b159 =L= 1;

e991..    b136 - b139 + b160 =L= 1;

e992..    b136 - b140 + b161 =L= 1;

e993..    b136 - b141 + b162 =L= 1;

e994..    b136 - b142 + b163 =L= 1;

e995..    b137 - b138 + b164 =L= 1;

e996..    b137 - b139 + b165 =L= 1;

e997..    b137 - b140 + b166 =L= 1;

e998..    b137 - b141 + b167 =L= 1;

e999..    b137 - b142 + b168 =L= 1;

e1000..    b138 - b139 + b169 =L= 1;

e1001..    b138 - b140 + b170 =L= 1;

e1002..    b138 - b141 + b171 =L= 1;

e1003..    b138 - b142 + b172 =L= 1;

e1004..    b139 - b140 + b173 =L= 1;

e1005..    b139 - b141 + b174 =L= 1;

e1006..    b139 - b142 + b175 =L= 1;

e1007..    b140 - b141 + b176 =L= 1;

e1008..    b140 - b142 + b177 =L= 1;

e1009..    b141 - b142 + b178 =L= 1;

e1010..    b143 - b144 + b151 =L= 1;

e1011..    b143 - b145 + b152 =L= 1;

e1012..    b143 - b146 + b153 =L= 1;

e1013..    b143 - b147 + b154 =L= 1;

e1014..    b143 - b148 + b155 =L= 1;

e1015..    b143 - b149 + b156 =L= 1;

e1016..    b143 - b150 + b157 =L= 1;

e1017..    b144 - b145 + b158 =L= 1;

e1018..    b144 - b146 + b159 =L= 1;

e1019..    b144 - b147 + b160 =L= 1;

e1020..    b144 - b148 + b161 =L= 1;

e1021..    b144 - b149 + b162 =L= 1;

e1022..    b144 - b150 + b163 =L= 1;

e1023..    b145 - b146 + b164 =L= 1;

e1024..    b145 - b147 + b165 =L= 1;

e1025..    b145 - b148 + b166 =L= 1;

e1026..    b145 - b149 + b167 =L= 1;

e1027..    b145 - b150 + b168 =L= 1;

e1028..    b146 - b147 + b169 =L= 1;

e1029..    b146 - b148 + b170 =L= 1;

e1030..    b146 - b149 + b171 =L= 1;

e1031..    b146 - b150 + b172 =L= 1;

e1032..    b147 - b148 + b173 =L= 1;

e1033..    b147 - b149 + b174 =L= 1;

e1034..    b147 - b150 + b175 =L= 1;

e1035..    b148 - b149 + b176 =L= 1;

e1036..    b148 - b150 + b177 =L= 1;

e1037..    b149 - b150 + b178 =L= 1;

e1038..    b151 - b152 + b158 =L= 1;

e1039..    b151 - b153 + b159 =L= 1;

e1040..    b151 - b154 + b160 =L= 1;

e1041..    b151 - b155 + b161 =L= 1;

e1042..    b151 - b156 + b162 =L= 1;

e1043..    b151 - b157 + b163 =L= 1;

e1044..    b152 - b153 + b164 =L= 1;

e1045..    b152 - b154 + b165 =L= 1;

e1046..    b152 - b155 + b166 =L= 1;

e1047..    b152 - b156 + b167 =L= 1;

e1048..    b152 - b157 + b168 =L= 1;

e1049..    b153 - b154 + b169 =L= 1;

e1050..    b153 - b155 + b170 =L= 1;

e1051..    b153 - b156 + b171 =L= 1;

e1052..    b153 - b157 + b172 =L= 1;

e1053..    b154 - b155 + b173 =L= 1;

e1054..    b154 - b156 + b174 =L= 1;

e1055..    b154 - b157 + b175 =L= 1;

e1056..    b155 - b156 + b176 =L= 1;

e1057..    b155 - b157 + b177 =L= 1;

e1058..    b156 - b157 + b178 =L= 1;

e1059..    b158 - b159 + b164 =L= 1;

e1060..    b158 - b160 + b165 =L= 1;

e1061..    b158 - b161 + b166 =L= 1;

e1062..    b158 - b162 + b167 =L= 1;

e1063..    b158 - b163 + b168 =L= 1;

e1064..    b159 - b160 + b169 =L= 1;

e1065..    b159 - b161 + b170 =L= 1;

e1066..    b159 - b162 + b171 =L= 1;

e1067..    b159 - b163 + b172 =L= 1;

e1068..    b160 - b161 + b173 =L= 1;

e1069..    b160 - b162 + b174 =L= 1;

e1070..    b160 - b163 + b175 =L= 1;

e1071..    b161 - b162 + b176 =L= 1;

e1072..    b161 - b163 + b177 =L= 1;

e1073..    b162 - b163 + b178 =L= 1;

e1074..    b164 - b165 + b169 =L= 1;

e1075..    b164 - b166 + b170 =L= 1;

e1076..    b164 - b167 + b171 =L= 1;

e1077..    b164 - b168 + b172 =L= 1;

e1078..    b165 - b166 + b173 =L= 1;

e1079..    b165 - b167 + b174 =L= 1;

e1080..    b165 - b168 + b175 =L= 1;

e1081..    b166 - b167 + b176 =L= 1;

e1082..    b166 - b168 + b177 =L= 1;

e1083..    b167 - b168 + b178 =L= 1;

e1084..    b169 - b170 + b173 =L= 1;

e1085..    b169 - b171 + b174 =L= 1;

e1086..    b169 - b172 + b175 =L= 1;

e1087..    b170 - b171 + b176 =L= 1;

e1088..    b170 - b172 + b177 =L= 1;

e1089..    b171 - b172 + b178 =L= 1;

e1090..    b173 - b174 + b176 =L= 1;

e1091..    b173 - b175 + b177 =L= 1;

e1092..    b174 - b175 + b178 =L= 1;

e1093..    b176 - b177 + b178 =L= 1;

e1094..    b89 - b90 - b91 =L= 0;

e1095..  - b91 + b92 - b93 =L= 0;

e1096..  - b91 + b94 - b95 =L= 0;

e1097..  - b91 + b96 - b97 =L= 0;

e1098..  - b91 + b98 - b99 =L= 0;

e1099..  - b91 + b100 - b101 =L= 0;

e1100..  - b91 + b102 - b103 =L= 0;

e1101..  - b91 + b104 - b105 =L= 0;

e1102..  - b91 + b106 - b107 =L= 0;

e1103..  - b91 + b108 - b179 =L= 0;

e1104..  - b91 + b109 - b110 =L= 0;

e1105..  - b91 + b111 - b112 =L= 0;

e1106..  - b89 + b92 - b113 =L= 0;

e1107..  - b89 + b94 - b114 =L= 0;

e1108..  - b89 + b96 - b115 =L= 0;

e1109..  - b89 + b98 - b116 =L= 0;

e1110..  - b89 + b100 - b117 =L= 0;

e1111..  - b89 + b102 - b118 =L= 0;

e1112..  - b89 + b104 - b119 =L= 0;

e1113..  - b89 + b106 - b120 =L= 0;

e1114..  - b89 + b108 - b121 =L= 0;

e1115..  - b89 + b109 - b122 =L= 0;

e1116..  - b89 + b111 - b123 =L= 0;

e1117..  - b92 + b94 - b124 =L= 0;

e1118..  - b92 + b96 - b125 =L= 0;

e1119..  - b92 + b98 - b126 =L= 0;

e1120..  - b92 + b100 - b127 =L= 0;

e1121..  - b92 + b102 - b128 =L= 0;

e1122..  - b92 + b104 - b129 =L= 0;

e1123..  - b92 + b106 - b130 =L= 0;

e1124..  - b92 + b108 - b131 =L= 0;

e1125..  - b92 + b109 - b132 =L= 0;

e1126..  - b92 + b111 - b133 =L= 0;

e1127..  - b94 + b96 - b134 =L= 0;

e1128..  - b94 + b98 - b135 =L= 0;

e1129..  - b94 + b100 - b136 =L= 0;

e1130..  - b94 + b102 - b137 =L= 0;

e1131..  - b94 + b104 - b138 =L= 0;

e1132..  - b94 + b106 - b139 =L= 0;

e1133..  - b94 + b108 - b140 =L= 0;

e1134..  - b94 + b109 - b141 =L= 0;

e1135..  - b94 + b111 - b142 =L= 0;

e1136..  - b96 + b98 - b143 =L= 0;

e1137..  - b96 + b100 - b144 =L= 0;

e1138..  - b96 + b102 - b145 =L= 0;

e1139..  - b96 + b104 - b146 =L= 0;

e1140..  - b96 + b106 - b147 =L= 0;

e1141..  - b96 + b108 - b148 =L= 0;

e1142..  - b96 + b109 - b149 =L= 0;

e1143..  - b96 + b111 - b150 =L= 0;

e1144..  - b98 + b100 - b151 =L= 0;

e1145..  - b98 + b102 - b152 =L= 0;

e1146..  - b98 + b104 - b153 =L= 0;

e1147..  - b98 + b106 - b154 =L= 0;

e1148..  - b98 + b108 - b155 =L= 0;

e1149..  - b98 + b109 - b156 =L= 0;

e1150..  - b98 + b111 - b157 =L= 0;

e1151..  - b100 + b102 - b158 =L= 0;

e1152..  - b100 + b104 - b159 =L= 0;

e1153..  - b100 + b106 - b160 =L= 0;

e1154..  - b100 + b108 - b161 =L= 0;

e1155..  - b100 + b109 - b162 =L= 0;

e1156..  - b100 + b111 - b163 =L= 0;

e1157..  - b102 + b104 - b164 =L= 0;

e1158..  - b102 + b106 - b165 =L= 0;

e1159..  - b102 + b108 - b166 =L= 0;

e1160..  - b102 + b109 - b167 =L= 0;

e1161..  - b102 + b111 - b168 =L= 0;

e1162..  - b104 + b106 - b169 =L= 0;

e1163..  - b104 + b108 - b170 =L= 0;

e1164..  - b104 + b109 - b171 =L= 0;

e1165..  - b104 + b111 - b172 =L= 0;

e1166..  - b106 + b108 - b173 =L= 0;

e1167..  - b106 + b109 - b174 =L= 0;

e1168..  - b106 + b111 - b175 =L= 0;

e1169..  - b108 + b109 - b176 =L= 0;

e1170..  - b108 + b111 - b177 =L= 0;

e1171..  - b109 + b111 - b178 =L= 0;

e1172..  - b90 + b93 - b113 =L= 0;

e1173..  - b90 + b95 - b114 =L= 0;

e1174..  - b90 + b97 - b115 =L= 0;

e1175..  - b90 + b99 - b116 =L= 0;

e1176..  - b90 + b101 - b117 =L= 0;

e1177..  - b90 + b103 - b118 =L= 0;

e1178..  - b90 + b105 - b119 =L= 0;

e1179..  - b90 + b107 - b120 =L= 0;

e1180..  - b90 - b121 + b179 =L= 0;

e1181..  - b90 + b110 - b122 =L= 0;

e1182..  - b90 + b112 - b123 =L= 0;

e1183..  - b93 + b95 - b124 =L= 0;

e1184..  - b93 + b97 - b125 =L= 0;

e1185..  - b93 + b99 - b126 =L= 0;

e1186..  - b93 + b101 - b127 =L= 0;

e1187..  - b93 + b103 - b128 =L= 0;

e1188..  - b93 + b105 - b129 =L= 0;

e1189..  - b93 + b107 - b130 =L= 0;

e1190..  - b93 - b131 + b179 =L= 0;

e1191..  - b93 + b110 - b132 =L= 0;

e1192..  - b93 + b112 - b133 =L= 0;

e1193..  - b95 + b97 - b134 =L= 0;

e1194..  - b95 + b99 - b135 =L= 0;

e1195..  - b95 + b101 - b136 =L= 0;

e1196..  - b95 + b103 - b137 =L= 0;

e1197..  - b95 + b105 - b138 =L= 0;

e1198..  - b95 + b107 - b139 =L= 0;

e1199..  - b95 - b140 + b179 =L= 0;

e1200..  - b95 + b110 - b141 =L= 0;

e1201..  - b95 + b112 - b142 =L= 0;

e1202..  - b97 + b99 - b143 =L= 0;

e1203..  - b97 + b101 - b144 =L= 0;

e1204..  - b97 + b103 - b145 =L= 0;

e1205..  - b97 + b105 - b146 =L= 0;

e1206..  - b97 + b107 - b147 =L= 0;

e1207..  - b97 - b148 + b179 =L= 0;

e1208..  - b97 + b110 - b149 =L= 0;

e1209..  - b97 + b112 - b150 =L= 0;

e1210..  - b99 + b101 - b151 =L= 0;

e1211..  - b99 + b103 - b152 =L= 0;

e1212..  - b99 + b105 - b153 =L= 0;

e1213..  - b99 + b107 - b154 =L= 0;

e1214..  - b99 - b155 + b179 =L= 0;

e1215..  - b99 + b110 - b156 =L= 0;

e1216..  - b99 + b112 - b157 =L= 0;

e1217..  - b101 + b103 - b158 =L= 0;

e1218..  - b101 + b105 - b159 =L= 0;

e1219..  - b101 + b107 - b160 =L= 0;

e1220..  - b101 - b161 + b179 =L= 0;

e1221..  - b101 + b110 - b162 =L= 0;

e1222..  - b101 + b112 - b163 =L= 0;

e1223..  - b103 + b105 - b164 =L= 0;

e1224..  - b103 + b107 - b165 =L= 0;

e1225..  - b103 - b166 + b179 =L= 0;

e1226..  - b103 + b110 - b167 =L= 0;

e1227..  - b103 + b112 - b168 =L= 0;

e1228..  - b105 + b107 - b169 =L= 0;

e1229..  - b105 - b170 + b179 =L= 0;

e1230..  - b105 + b110 - b171 =L= 0;

e1231..  - b105 + b112 - b172 =L= 0;

e1232..  - b107 - b173 + b179 =L= 0;

e1233..  - b107 + b110 - b174 =L= 0;

e1234..  - b107 + b112 - b175 =L= 0;

e1235..    b110 - b176 - b179 =L= 0;

e1236..    b112 - b177 - b179 =L= 0;

e1237..  - b110 + b112 - b178 =L= 0;

e1238..  - b113 + b114 - b124 =L= 0;

e1239..  - b113 + b115 - b125 =L= 0;

e1240..  - b113 + b116 - b126 =L= 0;

e1241..  - b113 + b117 - b127 =L= 0;

e1242..  - b113 + b118 - b128 =L= 0;

e1243..  - b113 + b119 - b129 =L= 0;

e1244..  - b113 + b120 - b130 =L= 0;

e1245..  - b113 + b121 - b131 =L= 0;

e1246..  - b113 + b122 - b132 =L= 0;

e1247..  - b113 + b123 - b133 =L= 0;

e1248..  - b114 + b115 - b134 =L= 0;

e1249..  - b114 + b116 - b135 =L= 0;

e1250..  - b114 + b117 - b136 =L= 0;

e1251..  - b114 + b118 - b137 =L= 0;

e1252..  - b114 + b119 - b138 =L= 0;

e1253..  - b114 + b120 - b139 =L= 0;

e1254..  - b114 + b121 - b140 =L= 0;

e1255..  - b114 + b122 - b141 =L= 0;

e1256..  - b114 + b123 - b142 =L= 0;

e1257..  - b115 + b116 - b143 =L= 0;

e1258..  - b115 + b117 - b144 =L= 0;

e1259..  - b115 + b118 - b145 =L= 0;

e1260..  - b115 + b119 - b146 =L= 0;

e1261..  - b115 + b120 - b147 =L= 0;

e1262..  - b115 + b121 - b148 =L= 0;

e1263..  - b115 + b122 - b149 =L= 0;

e1264..  - b115 + b123 - b150 =L= 0;

e1265..  - b116 + b117 - b151 =L= 0;

e1266..  - b116 + b118 - b152 =L= 0;

e1267..  - b116 + b119 - b153 =L= 0;

e1268..  - b116 + b120 - b154 =L= 0;

e1269..  - b116 + b121 - b155 =L= 0;

e1270..  - b116 + b122 - b156 =L= 0;

e1271..  - b116 + b123 - b157 =L= 0;

e1272..  - b117 + b118 - b158 =L= 0;

e1273..  - b117 + b119 - b159 =L= 0;

e1274..  - b117 + b120 - b160 =L= 0;

e1275..  - b117 + b121 - b161 =L= 0;

e1276..  - b117 + b122 - b162 =L= 0;

e1277..  - b117 + b123 - b163 =L= 0;

e1278..  - b118 + b119 - b164 =L= 0;

e1279..  - b118 + b120 - b165 =L= 0;

e1280..  - b118 + b121 - b166 =L= 0;

e1281..  - b118 + b122 - b167 =L= 0;

e1282..  - b118 + b123 - b168 =L= 0;

e1283..  - b119 + b120 - b169 =L= 0;

e1284..  - b119 + b121 - b170 =L= 0;

e1285..  - b119 + b122 - b171 =L= 0;

e1286..  - b119 + b123 - b172 =L= 0;

e1287..  - b120 + b121 - b173 =L= 0;

e1288..  - b120 + b122 - b174 =L= 0;

e1289..  - b120 + b123 - b175 =L= 0;

e1290..  - b121 + b122 - b176 =L= 0;

e1291..  - b121 + b123 - b177 =L= 0;

e1292..  - b122 + b123 - b178 =L= 0;

e1293..  - b124 + b125 - b134 =L= 0;

e1294..  - b124 + b126 - b135 =L= 0;

e1295..  - b124 + b127 - b136 =L= 0;

e1296..  - b124 + b128 - b137 =L= 0;

e1297..  - b124 + b129 - b138 =L= 0;

e1298..  - b124 + b130 - b139 =L= 0;

e1299..  - b124 + b131 - b140 =L= 0;

e1300..  - b124 + b132 - b141 =L= 0;

e1301..  - b124 + b133 - b142 =L= 0;

e1302..  - b125 + b126 - b143 =L= 0;

e1303..  - b125 + b127 - b144 =L= 0;

e1304..  - b125 + b128 - b145 =L= 0;

e1305..  - b125 + b129 - b146 =L= 0;

e1306..  - b125 + b130 - b147 =L= 0;

e1307..  - b125 + b131 - b148 =L= 0;

e1308..  - b125 + b132 - b149 =L= 0;

e1309..  - b125 + b133 - b150 =L= 0;

e1310..  - b126 + b127 - b151 =L= 0;

e1311..  - b126 + b128 - b152 =L= 0;

e1312..  - b126 + b129 - b153 =L= 0;

e1313..  - b126 + b130 - b154 =L= 0;

e1314..  - b126 + b131 - b155 =L= 0;

e1315..  - b126 + b132 - b156 =L= 0;

e1316..  - b126 + b133 - b157 =L= 0;

e1317..  - b127 + b128 - b158 =L= 0;

e1318..  - b127 + b129 - b159 =L= 0;

e1319..  - b127 + b130 - b160 =L= 0;

e1320..  - b127 + b131 - b161 =L= 0;

e1321..  - b127 + b132 - b162 =L= 0;

e1322..  - b127 + b133 - b163 =L= 0;

e1323..  - b128 + b129 - b164 =L= 0;

e1324..  - b128 + b130 - b165 =L= 0;

e1325..  - b128 + b131 - b166 =L= 0;

e1326..  - b128 + b132 - b167 =L= 0;

e1327..  - b128 + b133 - b168 =L= 0;

e1328..  - b129 + b130 - b169 =L= 0;

e1329..  - b129 + b131 - b170 =L= 0;

e1330..  - b129 + b132 - b171 =L= 0;

e1331..  - b129 + b133 - b172 =L= 0;

e1332..  - b130 + b131 - b173 =L= 0;

e1333..  - b130 + b132 - b174 =L= 0;

e1334..  - b130 + b133 - b175 =L= 0;

e1335..  - b131 + b132 - b176 =L= 0;

e1336..  - b131 + b133 - b177 =L= 0;

e1337..  - b132 + b133 - b178 =L= 0;

e1338..  - b134 + b135 - b143 =L= 0;

e1339..  - b134 + b136 - b144 =L= 0;

e1340..  - b134 + b137 - b145 =L= 0;

e1341..  - b134 + b138 - b146 =L= 0;

e1342..  - b134 + b139 - b147 =L= 0;

e1343..  - b134 + b140 - b148 =L= 0;

e1344..  - b134 + b141 - b149 =L= 0;

e1345..  - b134 + b142 - b150 =L= 0;

e1346..  - b135 + b136 - b151 =L= 0;

e1347..  - b135 + b137 - b152 =L= 0;

e1348..  - b135 + b138 - b153 =L= 0;

e1349..  - b135 + b139 - b154 =L= 0;

e1350..  - b135 + b140 - b155 =L= 0;

e1351..  - b135 + b141 - b156 =L= 0;

e1352..  - b135 + b142 - b157 =L= 0;

e1353..  - b136 + b137 - b158 =L= 0;

e1354..  - b136 + b138 - b159 =L= 0;

e1355..  - b136 + b139 - b160 =L= 0;

e1356..  - b136 + b140 - b161 =L= 0;

e1357..  - b136 + b141 - b162 =L= 0;

e1358..  - b136 + b142 - b163 =L= 0;

e1359..  - b137 + b138 - b164 =L= 0;

e1360..  - b137 + b139 - b165 =L= 0;

e1361..  - b137 + b140 - b166 =L= 0;

e1362..  - b137 + b141 - b167 =L= 0;

e1363..  - b137 + b142 - b168 =L= 0;

e1364..  - b138 + b139 - b169 =L= 0;

e1365..  - b138 + b140 - b170 =L= 0;

e1366..  - b138 + b141 - b171 =L= 0;

e1367..  - b138 + b142 - b172 =L= 0;

e1368..  - b139 + b140 - b173 =L= 0;

e1369..  - b139 + b141 - b174 =L= 0;

e1370..  - b139 + b142 - b175 =L= 0;

e1371..  - b140 + b141 - b176 =L= 0;

e1372..  - b140 + b142 - b177 =L= 0;

e1373..  - b141 + b142 - b178 =L= 0;

e1374..  - b143 + b144 - b151 =L= 0;

e1375..  - b143 + b145 - b152 =L= 0;

e1376..  - b143 + b146 - b153 =L= 0;

e1377..  - b143 + b147 - b154 =L= 0;

e1378..  - b143 + b148 - b155 =L= 0;

e1379..  - b143 + b149 - b156 =L= 0;

e1380..  - b143 + b150 - b157 =L= 0;

e1381..  - b144 + b145 - b158 =L= 0;

e1382..  - b144 + b146 - b159 =L= 0;

e1383..  - b144 + b147 - b160 =L= 0;

e1384..  - b144 + b148 - b161 =L= 0;

e1385..  - b144 + b149 - b162 =L= 0;

e1386..  - b144 + b150 - b163 =L= 0;

e1387..  - b145 + b146 - b164 =L= 0;

e1388..  - b145 + b147 - b165 =L= 0;

e1389..  - b145 + b148 - b166 =L= 0;

e1390..  - b145 + b149 - b167 =L= 0;

e1391..  - b145 + b150 - b168 =L= 0;

e1392..  - b146 + b147 - b169 =L= 0;

e1393..  - b146 + b148 - b170 =L= 0;

e1394..  - b146 + b149 - b171 =L= 0;

e1395..  - b146 + b150 - b172 =L= 0;

e1396..  - b147 + b148 - b173 =L= 0;

e1397..  - b147 + b149 - b174 =L= 0;

e1398..  - b147 + b150 - b175 =L= 0;

e1399..  - b148 + b149 - b176 =L= 0;

e1400..  - b148 + b150 - b177 =L= 0;

e1401..  - b149 + b150 - b178 =L= 0;

e1402..  - b151 + b152 - b158 =L= 0;

e1403..  - b151 + b153 - b159 =L= 0;

e1404..  - b151 + b154 - b160 =L= 0;

e1405..  - b151 + b155 - b161 =L= 0;

e1406..  - b151 + b156 - b162 =L= 0;

e1407..  - b151 + b157 - b163 =L= 0;

e1408..  - b152 + b153 - b164 =L= 0;

e1409..  - b152 + b154 - b165 =L= 0;

e1410..  - b152 + b155 - b166 =L= 0;

e1411..  - b152 + b156 - b167 =L= 0;

e1412..  - b152 + b157 - b168 =L= 0;

e1413..  - b153 + b154 - b169 =L= 0;

e1414..  - b153 + b155 - b170 =L= 0;

e1415..  - b153 + b156 - b171 =L= 0;

e1416..  - b153 + b157 - b172 =L= 0;

e1417..  - b154 + b155 - b173 =L= 0;

e1418..  - b154 + b156 - b174 =L= 0;

e1419..  - b154 + b157 - b175 =L= 0;

e1420..  - b155 + b156 - b176 =L= 0;

e1421..  - b155 + b157 - b177 =L= 0;

e1422..  - b156 + b157 - b178 =L= 0;

e1423..  - b158 + b159 - b164 =L= 0;

e1424..  - b158 + b160 - b165 =L= 0;

e1425..  - b158 + b161 - b166 =L= 0;

e1426..  - b158 + b162 - b167 =L= 0;

e1427..  - b158 + b163 - b168 =L= 0;

e1428..  - b159 + b160 - b169 =L= 0;

e1429..  - b159 + b161 - b170 =L= 0;

e1430..  - b159 + b162 - b171 =L= 0;

e1431..  - b159 + b163 - b172 =L= 0;

e1432..  - b160 + b161 - b173 =L= 0;

e1433..  - b160 + b162 - b174 =L= 0;

e1434..  - b160 + b163 - b175 =L= 0;

e1435..  - b161 + b162 - b176 =L= 0;

e1436..  - b161 + b163 - b177 =L= 0;

e1437..  - b162 + b163 - b178 =L= 0;

e1438..  - b164 + b165 - b169 =L= 0;

e1439..  - b164 + b166 - b170 =L= 0;

e1440..  - b164 + b167 - b171 =L= 0;

e1441..  - b164 + b168 - b172 =L= 0;

e1442..  - b165 + b166 - b173 =L= 0;

e1443..  - b165 + b167 - b174 =L= 0;

e1444..  - b165 + b168 - b175 =L= 0;

e1445..  - b166 + b167 - b176 =L= 0;

e1446..  - b166 + b168 - b177 =L= 0;

e1447..  - b167 + b168 - b178 =L= 0;

e1448..  - b169 + b170 - b173 =L= 0;

e1449..  - b169 + b171 - b174 =L= 0;

e1450..  - b169 + b172 - b175 =L= 0;

e1451..  - b170 + b171 - b176 =L= 0;

e1452..  - b170 + b172 - b177 =L= 0;

e1453..  - b171 + b172 - b178 =L= 0;

e1454..  - b173 + b174 - b176 =L= 0;

e1455..  - b173 + b175 - b177 =L= 0;

e1456..  - b174 + b175 - b178 =L= 0;

e1457..  - b176 + b177 - b178 =L= 0;

Model m / all /;

m.limrow=0; m.limcol=0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

m.tolproj = 0.0;
$if not set MIQCP $set MIQCP MIQCP
Solve m using %MIQCP% minimizing objvar;





Website © 2017-2019 by Zuse Institute Berlin. All rights reserved. Imprint.