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