MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance gabriel04
The question to answer is to find the minimum value of k such that the k-Gabriel graph of any set of points in the plane is Hamiltonian. A known upper bound on k is 10. Infeasibility of this instance would give some indication for lower bounds on k.
Formatsⓘ | ams gms lp mod nl osil pip py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | 9.23821486 (ANTIGONE) 9.22660001 (BARON) 10.78260784 (COUENNE) 9.22660037 (GUROBI) 10.48533572 (LINDO) 9.22660022 (SCIP) 10.81680000 (SHOT) |
Referencesⓘ | Kaiser, Tomáš, Saumell, Maria, and Cleemput, Nico Van, 10-Gabriel graphs are Hamiltonian, Information Processing Letters, 115:11, 2015, 877-881. |
Sourceⓘ | QPLIB instance 0684, contributed by Maria Saumell |
Applicationⓘ | Computational geometry |
Added to libraryⓘ | 18 Aug 2018 |
Problem typeⓘ | MBQCP |
#Variablesⓘ | 361 |
#Binary Variablesⓘ | 101 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 204 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | max |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 202 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 943 |
#Linear Constraintsⓘ | 815 |
#Quadratic Constraintsⓘ | 128 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 0 |
Operands in Gen. Nonlin. Functionsⓘ | |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 3710 |
#Nonlinear Nonzeros in Jacobianⓘ | 1504 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1216 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
#Blocks in Hessian of Lagrangianⓘ | 16 |
Minimal blocksize in Hessian of Lagrangianⓘ | 9 |
Maximal blocksize in Hessian of Lagrangianⓘ | 14 |
Average blocksize in Hessian of Lagrangianⓘ | 12.75 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 3.0000e-02 |
Maximal coefficientⓘ | 3.7100e+00 |
Infeasibility of initial pointⓘ | 1.2 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 944 160 144 640 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 362 261 101 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 3913 2409 1504 0 * * Solve m using MIQCP maximizing objvar; Variables objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18 ,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35 ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,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,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,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193 ,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206 ,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219 ,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232 ,b233,b234,b235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245 ,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258 ,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271 ,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284 ,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297 ,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310 ,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323 ,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336 ,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349 ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362; Positive Variables x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17 ,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34 ,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51 ,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68 ,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85 ,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101 ,x102,x111,x112,x113,x114,x115,x116,x117,x118,x127,x128,x129,x130 ,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247,x248 ,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261 ,x262,x263,x264,x265,x266,x291,x292,x293,x294,x295,x296,x297,x298 ,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311 ,x312,x313,x314,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348 ,x349,x350; Binary Variables 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,b184,b185 ,b186,b187,b188,b189,b190,b191,b192,b193,b194,b195,b196,b197,b198 ,b199,b200,b201,b202,b203,b204,b205,b206,b207,b208,b209,b210,b211 ,b212,b213,b214,b215,b216,b217,b218,b219,b220,b221,b222,b223,b224 ,b225,b226,b227,b228,b229,b230,b231,b232,b233,b234,b235; 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; e1.. - objvar - 0.43*x2 - 0.43*x3 - 0.43*x4 - 0.43*x5 - 0.9*x6 - 0.9*x7 - 0.9*x8 - 0.9*x9 - 0.44*x10 - 0.44*x11 - 0.44*x12 - 0.44*x13 - 1.5*x14 - 1.5*x15 - 1.5*x16 - 1.5*x17 - 1.12*x18 - 1.12*x19 - 1.12*x20 - 1.12*x21 - 1.2*x22 - 1.2*x23 - 1.2*x24 - 1.2*x25 - 1.32*x26 - 1.32*x27 - 1.32*x28 - 1.32*x29 - 0.93*x30 - 0.93*x31 - 0.93*x32 - 0.93*x33 - 0.49*x34 - 0.49*x35 - 0.49*x36 - 0.49*x37 - 0.24*x38 - 0.24*x39 - 0.24*x40 - 0.24*x41 + 1.44*x42 + 1.44*x43 + 1.44*x44 + 3.68*x45 + 3.68*x46 + 3.68*x47 - 0.49*x48 - 0.49*x49 - 0.49*x50 - 0.49*x51 - 0.68*x52 - 0.68*x53 - 0.68*x54 - 0.68*x55 - 0.37*x56 - 0.37*x57 - 0.37*x58 - 0.37*x59 + 2.36*x60 + 2.36*x61 + 2.36*x62 + 3.29*x63 + 3.29*x64 + 3.29*x65 - 0.1*x66 - 0.1*x67 - 0.1*x68 - 0.1*x69 - 0.34*x70 - 0.34*x71 - 0.34*x72 - 0.34*x73 - 0.14*x74 - 0.14*x75 - 0.14*x76 - 0.14*x77 + 2.29*x78 + 2.29*x79 + 2.29*x80 + 3.71*x81 + 3.71*x82 + 3.71*x83 - 0.72*x84 - 0.72*x85 - 0.72*x86 - 0.72*x87 - 0.89*x88 - 0.89*x89 - 0.89*x90 - 0.89*x91 - 0.7*x92 - 0.7*x93 - 0.7*x94 - 0.7*x95 + 2.37*x96 + 2.37*x97 + 2.37*x98 + 2.37*x99 + 3.7*x100 + 3.7*x101 + 3.7*x102 - 0.92*b135 - 0.92*b136 - 0.92*b137 - 0.92*b138 - 0.18*b139 - 0.18*b140 - 0.18*b141 - 0.18*b142 - 0.98*b143 - 0.98*b144 - 0.98*b145 - 0.98*b146 - 0.26*b147 - 0.26*b148 - 0.26*b149 - 0.26*b150 - 0.71*b151 - 0.71*b152 - 0.71*b153 - 0.71*b154 - 0.12*b155 - 0.12*b156 - 0.12*b157 - 0.12*b158 - 0.32*b159 - 0.32*b160 - 0.32*b161 - 0.32*b162 - 0.03*b163 - 0.03*b164 - 0.03*b165 - 0.03*b166 - 0.73*b167 - 0.73*b168 - 0.73*b169 - 0.73*b170 - 0.58*b171 - 0.58*b172 - 0.58*b173 - 0.58*b174 - 0.46*b175 - 0.46*b176 - 0.46*b177 - 0.55*b178 - 0.55*b179 - 0.55*b180 - 0.23*b181 - 0.23*b182 - 0.23*b183 - 0.23*b184 - 0.62*b185 - 0.62*b186 - 0.62*b187 - 0.62*b188 - 0.4*b189 - 0.4*b190 - 0.4*b191 - 0.4*b192 - 0.99*b193 - 0.99*b194 - 0.99*b195 - 0.89*b196 - 0.89*b197 - 0.89*b198 - 0.8*b199 - 0.8*b200 - 0.8*b201 - 0.8*b202 - 0.26*b203 - 0.26*b204 - 0.26*b205 - 0.26*b206 - 0.68*b207 - 0.68*b208 - 0.68*b209 - 0.68*b210 - 0.72*b211 - 0.72*b212 - 0.72*b213 - 0.65*b214 - 0.65*b215 - 0.65*b216 - 0.78*b217 - 0.78*b218 - 0.78*b219 - 0.78*b220 - 0.9*b221 - 0.9*b222 - 0.9*b223 - 0.9*b224 - 0.33*b225 - 0.33*b226 - 0.33*b227 - 0.33*b228 - 0.2*b229 - 0.2*b230 - 0.2*b231 - 0.2*b232 - 0.74*b233 - 0.74*b234 - 0.74*b235 =E= 0; e2.. x2 + x6 + x10 + x236 =E= 1.2; e3.. x14 + x18 + x22 + x26 + x237 =E= 0.7; e4.. - x14 + x30 + x34 + x38 - x48 - x66 - x84 + x238 =E= 1; e5.. - x2 - x18 - x30 + x48 + x52 + x56 - x70 - x88 + x239 =E= 0.8; e6.. - x6 - x22 - x34 - x52 + x66 + x70 + x74 - x92 + x240 =E= 0.2; e7.. - x10 - x26 - x38 - x56 - x74 + x84 + x88 + x92 + x96 + x241 =E= 0.5; e8.. - x96 + x242 =E= -0.1; e9.. x3 + x7 + x11 - x236 + x243 =E= 0.2; e10.. x4 + x8 + x12 - x243 + x244 =E= 0.7; e11.. x5 + x9 + x13 - x244 + x245 =E= 0.5; e12.. x15 + x19 + x23 + x27 - x237 + x246 =E= 0.6; e13.. x16 + x20 + x24 + x28 - x246 + x247 =E= 0.6; e14.. x17 + x21 + x25 + x29 - x247 + x248 =E= 0.5; e15.. - x15 + x31 + x35 + x39 + x42 + x45 - x49 - x67 - x85 - x238 + x249 =E= 0; e16.. - x16 + x32 + x36 + x40 + x43 + x46 - x50 - x68 - x86 - x249 + x250 =E= 0; e17.. - x17 + x33 + x37 + x41 + x44 + x47 - x51 - x69 - x87 - x250 + x251 =E= 0; e18.. - x3 - x19 - x31 + x49 + x53 + x57 + x60 + x63 - x71 - x89 - x239 + x252 =E= 0; e19.. - x4 - x20 - x32 + x50 + x54 + x58 + x61 + x64 - x72 - x90 - x252 + x253 =E= 0; e20.. - x5 - x21 - x33 + x51 + x55 + x59 + x62 + x65 - x73 - x91 - x253 + x254 =E= 0; e21.. - x7 - x23 - x35 - x53 + x67 + x71 + x75 + x78 + x81 - x93 - x240 + x255 =E= 0; e22.. - x8 - x24 - x36 - x54 + x68 + x72 + x76 + x79 + x82 - x94 - x255 + x256 =E= 0; e23.. - x9 - x25 - x37 - x55 + x69 + x73 + x77 + x80 + x83 - x95 - x256 + x257 =E= 0; e24.. - x11 - x27 - x39 - x57 - x75 + x85 + x89 + x93 + x97 + x100 - x241 + x258 =E= 0; e25.. - x12 - x28 - x40 - x58 - x76 + x86 + x90 + x94 + x98 + x101 - x258 + x259 =E= 0; e26.. - x13 - x29 - x41 - x59 - x77 + x87 + x91 + x95 + x99 + x102 - x259 + x260 =E= 0; e27.. - x42 - x60 - x78 - x97 - x242 + x261 =E= -0.19; e28.. - x43 - x61 - x79 - x98 - x261 + x262 =E= -0.18; e29.. - x44 - x62 - x80 - x99 - x262 + x263 =E= -0.63; e30.. - x45 - x63 - x81 - x100 + x264 =E= -0.63; e31.. - x46 - x64 - x82 - x101 - x264 + x265 =E= -0.37; e32.. - x47 - x65 - x83 - x102 - x265 + x266 =E= -0.78; e33.. x2 - b135 =L= 0; e34.. x3 - b136 =L= 0; e35.. x4 - b137 =L= 0; e36.. x5 - b138 =L= 0; e37.. x6 - b139 =L= 0; e38.. x7 - b140 =L= 0; e39.. x8 - b141 =L= 0; e40.. x9 - b142 =L= 0; e41.. x10 - b143 =L= 0; e42.. x11 - b144 =L= 0; e43.. x12 - b145 =L= 0; e44.. x13 - b146 =L= 0; e45.. x14 - b147 =L= 0; e46.. x15 - b148 =L= 0; e47.. x16 - b149 =L= 0; e48.. x17 - b150 =L= 0; e49.. x18 - b151 =L= 0; e50.. x19 - b152 =L= 0; e51.. x20 - b153 =L= 0; e52.. x21 - b154 =L= 0; e53.. x22 - b155 =L= 0; e54.. x23 - b156 =L= 0; e55.. x24 - b157 =L= 0; e56.. x25 - b158 =L= 0; e57.. x26 - b159 =L= 0; e58.. x27 - b160 =L= 0; e59.. x28 - b161 =L= 0; e60.. x29 - b162 =L= 0; e61.. x30 - b163 =L= 0; e62.. x31 - b164 =L= 0; e63.. x32 - b165 =L= 0; e64.. x33 - b166 =L= 0; e65.. x34 - b167 =L= 0; e66.. x35 - b168 =L= 0; e67.. x36 - b169 =L= 0; e68.. x37 - b170 =L= 0; e69.. x38 - b171 =L= 0; e70.. x39 - b172 =L= 0; e71.. x40 - b173 =L= 0; e72.. x41 - b174 =L= 0; e73.. x42 - b175 =L= 0; e74.. x43 - b176 =L= 0; e75.. x44 - b177 =L= 0; e76.. x45 - b178 =L= 0; e77.. x46 - b179 =L= 0; e78.. x47 - b180 =L= 0; e79.. x48 - b181 =L= 0; e80.. x49 - b182 =L= 0; e81.. x50 - b183 =L= 0; e82.. x51 - b184 =L= 0; e83.. x52 - b185 =L= 0; e84.. x53 - b186 =L= 0; e85.. x54 - b187 =L= 0; e86.. x55 - b188 =L= 0; e87.. x56 - b189 =L= 0; e88.. x57 - b190 =L= 0; e89.. x58 - b191 =L= 0; e90.. x59 - b192 =L= 0; e91.. x60 - b193 =L= 0; e92.. x61 - b194 =L= 0; e93.. x62 - b195 =L= 0; e94.. x63 - b196 =L= 0; e95.. x64 - b197 =L= 0; e96.. x65 - b198 =L= 0; e97.. x66 - b199 =L= 0; e98.. x67 - b200 =L= 0; e99.. x68 - b201 =L= 0; e100.. x69 - b202 =L= 0; e101.. x70 - b203 =L= 0; e102.. x71 - b204 =L= 0; e103.. x72 - b205 =L= 0; e104.. x73 - b206 =L= 0; e105.. x74 - b207 =L= 0; e106.. x75 - b208 =L= 0; e107.. x76 - b209 =L= 0; e108.. x77 - b210 =L= 0; e109.. x78 - b211 =L= 0; e110.. x79 - b212 =L= 0; e111.. x80 - b213 =L= 0; e112.. x81 - b214 =L= 0; e113.. x82 - b215 =L= 0; e114.. x83 - b216 =L= 0; e115.. x84 - b217 =L= 0; e116.. x85 - b218 =L= 0; e117.. x86 - b219 =L= 0; e118.. x87 - b220 =L= 0; e119.. x88 - b221 =L= 0; e120.. x89 - b222 =L= 0; e121.. x90 - b223 =L= 0; e122.. x91 - b224 =L= 0; e123.. x92 - b225 =L= 0; e124.. x93 - b226 =L= 0; e125.. x94 - b227 =L= 0; e126.. x95 - b228 =L= 0; e127.. x96 - b229 =L= 0; e128.. x97 - b230 =L= 0; e129.. x98 - b231 =L= 0; e130.. x99 - b232 =L= 0; e131.. x100 - b233 =L= 0; e132.. x101 - b234 =L= 0; e133.. x102 - b235 =L= 0; e134.. 0.6*b175 - x267 =L= -0.1; e135.. 0.6*b176 - x268 =L= -0.1; e136.. 0.6*b177 - x269 =L= -0.1; e137.. 0.4*b178 - x267 =L= -0.1; e138.. 0.4*b179 - x268 =L= -0.1; e139.. 0.4*b180 - x269 =L= -0.1; e140.. 0.6*b193 - x270 =L= -0.1; e141.. 0.6*b194 - x271 =L= -0.1; e142.. 0.6*b195 - x272 =L= -0.1; e143.. 0.4*b196 - x270 =L= -0.1; e144.. 0.4*b197 - x271 =L= -0.1; e145.. 0.4*b198 - x272 =L= -0.1; e146.. 0.6*b211 - x273 =L= -0.1; e147.. 0.6*b212 - x274 =L= -0.1; e148.. 0.6*b213 - x275 =L= -0.1; e149.. 0.4*b214 - x273 =L= -0.1; e150.. 0.4*b215 - x274 =L= -0.1; e151.. 0.4*b216 - x275 =L= -0.1; e152.. 0.6*b230 - x276 =L= -0.1; e153.. 0.6*b231 - x277 =L= -0.1; e154.. 0.6*b232 - x278 =L= -0.1; e155.. 0.4*b233 - x276 =L= -0.1; e156.. 0.4*b234 - x277 =L= -0.1; e157.. 0.4*b235 - x278 =L= -0.1; e158.. 0.2*b175 - x279 =L= -0.1; e159.. 0.2*b176 - x280 =L= -0.1; e160.. 0.2*b177 - x281 =L= -0.1; e161.. 0.2*b178 - x279 =L= -0.1; e162.. 0.2*b179 - x280 =L= -0.1; e163.. 0.2*b180 - x281 =L= -0.1; e164.. 0.2*b193 - x282 =L= -0.1; e165.. 0.2*b194 - x283 =L= -0.1; e166.. 0.2*b195 - x284 =L= -0.1; e167.. 0.2*b196 - x282 =L= -0.1; e168.. 0.2*b197 - x283 =L= -0.1; e169.. 0.2*b198 - x284 =L= -0.1; e170.. 0.2*b211 - x285 =L= -0.1; e171.. 0.2*b212 - x286 =L= -0.1; e172.. 0.2*b213 - x287 =L= -0.1; e173.. 0.2*b214 - x285 =L= -0.1; e174.. 0.2*b215 - x286 =L= -0.1; e175.. 0.2*b216 - x287 =L= -0.1; e176.. 0.2*b230 - x288 =L= -0.1; e177.. 0.2*b231 - x289 =L= -0.1; e178.. 0.2*b232 - x290 =L= -0.1; e179.. 0.2*b233 - x288 =L= -0.1; e180.. 0.2*b234 - x289 =L= -0.1; e181.. 0.2*b235 - x290 =L= -0.1; e182.. 0.6*b175 - x291 =L= 0; e183.. 0.6*b176 - x292 =L= 0; e184.. 0.6*b177 - x293 =L= 0; e185.. 0.4*b178 - x291 =L= 0; e186.. 0.4*b179 - x292 =L= 0; e187.. 0.4*b180 - x293 =L= 0; e188.. 0.6*b193 - x294 =L= 0; e189.. 0.6*b194 - x295 =L= 0; e190.. 0.6*b195 - x296 =L= 0; e191.. 0.4*b196 - x294 =L= 0; e192.. 0.4*b197 - x295 =L= 0; e193.. 0.4*b198 - x296 =L= 0; e194.. 0.6*b211 - x297 =L= 0; e195.. 0.6*b212 - x298 =L= 0; e196.. 0.6*b213 - x299 =L= 0; e197.. 0.4*b214 - x297 =L= 0; e198.. 0.4*b215 - x298 =L= 0; e199.. 0.4*b216 - x299 =L= 0; e200.. 0.6*b230 - x300 =L= 0; e201.. 0.6*b231 - x301 =L= 0; e202.. 0.6*b232 - x302 =L= 0; e203.. 0.4*b233 - x300 =L= 0; e204.. 0.4*b234 - x301 =L= 0; e205.. 0.4*b235 - x302 =L= 0; e206.. 0.2*b175 - x303 =L= 0; e207.. 0.2*b176 - x304 =L= 0; e208.. 0.2*b177 - x305 =L= 0; e209.. 0.2*b178 - x303 =L= 0; e210.. 0.2*b179 - x304 =L= 0; e211.. 0.2*b180 - x305 =L= 0; e212.. 0.2*b193 - x306 =L= 0; e213.. 0.2*b194 - x307 =L= 0; e214.. 0.2*b195 - x308 =L= 0; e215.. 0.2*b196 - x306 =L= 0; e216.. 0.2*b197 - x307 =L= 0; e217.. 0.2*b198 - x308 =L= 0; e218.. 0.2*b211 - x309 =L= 0; e219.. 0.2*b212 - x310 =L= 0; e220.. 0.2*b213 - x311 =L= 0; e221.. 0.2*b214 - x309 =L= 0; e222.. 0.2*b215 - x310 =L= 0; e223.. 0.2*b216 - x311 =L= 0; e224.. 0.2*b230 - x312 =L= 0; e225.. 0.2*b231 - x313 =L= 0; e226.. 0.2*b232 - x314 =L= 0; e227.. 0.2*b233 - x312 =L= 0; e228.. 0.2*b234 - x313 =L= 0; e229.. 0.2*b235 - x314 =L= 0; e230.. 0.6*b175 - x315 =L= -0.2; e231.. 0.6*b176 - x316 =L= -0.2; e232.. 0.6*b177 - x317 =L= -0.2; e233.. 0.4*b178 - x315 =L= -0.2; e234.. 0.4*b179 - x316 =L= -0.2; e235.. 0.4*b180 - x317 =L= -0.2; e236.. 0.6*b193 - x318 =L= -0.2; e237.. 0.6*b194 - x319 =L= -0.2; e238.. 0.6*b195 - x320 =L= -0.2; e239.. 0.4*b196 - x318 =L= -0.2; e240.. 0.4*b197 - x319 =L= -0.2; e241.. 0.4*b198 - x320 =L= -0.2; e242.. 0.6*b211 - x321 =L= -0.2; e243.. 0.6*b212 - x322 =L= -0.2; e244.. 0.6*b213 - x323 =L= -0.2; e245.. 0.4*b214 - x321 =L= -0.2; e246.. 0.4*b215 - x322 =L= -0.2; e247.. 0.4*b216 - x323 =L= -0.2; e248.. 0.6*b230 - x324 =L= -0.2; e249.. 0.6*b231 - x325 =L= -0.2; e250.. 0.6*b232 - x326 =L= -0.2; e251.. 0.4*b233 - x324 =L= -0.2; e252.. 0.4*b234 - x325 =L= -0.2; e253.. 0.4*b235 - x326 =L= -0.2; e254.. 0.2*b175 - x327 =L= -0.2; e255.. 0.2*b176 - x328 =L= -0.2; e256.. 0.2*b177 - x329 =L= -0.2; e257.. 0.2*b178 - x327 =L= -0.2; e258.. 0.2*b179 - x328 =L= -0.2; e259.. 0.2*b180 - x329 =L= -0.2; e260.. 0.2*b193 - x330 =L= -0.2; e261.. 0.2*b194 - x331 =L= -0.2; e262.. 0.2*b195 - x332 =L= -0.2; e263.. 0.2*b196 - x330 =L= -0.2; e264.. 0.2*b197 - x331 =L= -0.2; e265.. 0.2*b198 - x332 =L= -0.2; e266.. 0.2*b211 - x333 =L= -0.2; e267.. 0.2*b212 - x334 =L= -0.2; e268.. 0.2*b213 - x335 =L= -0.2; e269.. 0.2*b214 - x333 =L= -0.2; e270.. 0.2*b215 - x334 =L= -0.2; e271.. 0.2*b216 - x335 =L= -0.2; e272.. 0.2*b230 - x336 =L= -0.2; e273.. 0.2*b231 - x337 =L= -0.2; e274.. 0.2*b232 - x338 =L= -0.2; e275.. 0.2*b233 - x336 =L= -0.2; e276.. 0.2*b234 - x337 =L= -0.2; e277.. 0.2*b235 - x338 =L= -0.2; e278.. 0.6*b175 - x339 =L= 0; e279.. 0.6*b176 - x340 =L= 0; e280.. 0.6*b177 - x341 =L= 0; e281.. 0.4*b178 - x339 =L= 0; e282.. 0.4*b179 - x340 =L= 0; e283.. 0.4*b180 - x341 =L= 0; e284.. 0.6*b193 - x342 =L= 0; e285.. 0.6*b194 - x343 =L= 0; e286.. 0.6*b195 - x344 =L= 0; e287.. 0.4*b196 - x342 =L= 0; e288.. 0.4*b197 - x343 =L= 0; e289.. 0.4*b198 - x344 =L= 0; e290.. 0.6*b211 - x345 =L= 0; e291.. 0.6*b212 - x346 =L= 0; e292.. 0.6*b213 - x347 =L= 0; e293.. 0.4*b214 - x345 =L= 0; e294.. 0.4*b215 - x346 =L= 0; e295.. 0.4*b216 - x347 =L= 0; e296.. 0.6*b230 - x348 =L= 0; e297.. 0.6*b231 - x349 =L= 0; e298.. 0.6*b232 - x350 =L= 0; e299.. 0.4*b233 - x348 =L= 0; e300.. 0.4*b234 - x349 =L= 0; e301.. 0.4*b235 - x350 =L= 0; e302.. 0.2*b175 - x351 =L= -0.2; e303.. 0.2*b176 - x352 =L= -0.2; e304.. 0.2*b177 - x353 =L= -0.2; e305.. 0.2*b178 - x351 =L= -0.2; e306.. 0.2*b179 - x352 =L= -0.2; e307.. 0.2*b180 - x353 =L= -0.2; e308.. 0.2*b193 - x354 =L= -0.2; e309.. 0.2*b194 - x355 =L= -0.2; e310.. 0.2*b195 - x356 =L= -0.2; e311.. 0.2*b196 - x354 =L= -0.2; e312.. 0.2*b197 - x355 =L= -0.2; e313.. 0.2*b198 - x356 =L= -0.2; e314.. 0.2*b211 - x357 =L= -0.2; e315.. 0.2*b212 - x358 =L= -0.2; e316.. 0.2*b213 - x359 =L= -0.2; e317.. 0.2*b214 - x357 =L= -0.2; e318.. 0.2*b215 - x358 =L= -0.2; e319.. 0.2*b216 - x359 =L= -0.2; e320.. 0.2*b230 - x360 =L= -0.2; e321.. 0.2*b231 - x361 =L= -0.2; e322.. 0.2*b232 - x362 =L= -0.2; e323.. 0.2*b233 - x360 =L= -0.2; e324.. 0.2*b234 - x361 =L= -0.2; e325.. 0.2*b235 - x362 =L= -0.2; e326.. - 0.2*b178 - x267 =G= -1; e327.. - 0.2*b179 - x268 =G= -1; e328.. - 0.2*b180 - x269 =G= -1; e329.. - 0.2*b196 - x270 =G= -1; e330.. - 0.2*b197 - x271 =G= -1; e331.. - 0.2*b198 - x272 =G= -1; e332.. - 0.2*b214 - x273 =G= -1; e333.. - 0.2*b215 - x274 =G= -1; e334.. - 0.2*b216 - x275 =G= -1; e335.. - 0.2*b233 - x276 =G= -1; e336.. - 0.2*b234 - x277 =G= -1; e337.. - 0.2*b235 - x278 =G= -1; e338.. - 0.3*b175 - x279 =G= -0.9; e339.. - 0.3*b176 - x280 =G= -0.9; e340.. - 0.3*b177 - x281 =G= -0.9; e341.. - 0.1*b178 - x279 =G= -0.9; e342.. - 0.1*b179 - x280 =G= -0.9; e343.. - 0.1*b180 - x281 =G= -0.9; e344.. - 0.3*b193 - x282 =G= -0.9; e345.. - 0.3*b194 - x283 =G= -0.9; e346.. - 0.3*b195 - x284 =G= -0.9; e347.. - 0.1*b196 - x282 =G= -0.9; e348.. - 0.1*b197 - x283 =G= -0.9; e349.. - 0.1*b198 - x284 =G= -0.9; e350.. - 0.3*b211 - x285 =G= -0.9; e351.. - 0.3*b212 - x286 =G= -0.9; e352.. - 0.3*b213 - x287 =G= -0.9; e353.. - 0.1*b214 - x285 =G= -0.9; e354.. - 0.1*b215 - x286 =G= -0.9; e355.. - 0.1*b216 - x287 =G= -0.9; e356.. - 0.3*b230 - x288 =G= -0.9; e357.. - 0.3*b231 - x289 =G= -0.9; e358.. - 0.3*b232 - x290 =G= -0.9; e359.. - 0.1*b233 - x288 =G= -0.9; e360.. - 0.1*b234 - x289 =G= -0.9; e361.. - 0.1*b235 - x290 =G= -0.9; e362.. - 0.2*b178 - x291 =G= -0.9; e363.. - 0.2*b179 - x292 =G= -0.9; e364.. - 0.2*b180 - x293 =G= -0.9; e365.. - 0.2*b196 - x294 =G= -0.9; e366.. - 0.2*b197 - x295 =G= -0.9; e367.. - 0.2*b198 - x296 =G= -0.9; e368.. - 0.2*b214 - x297 =G= -0.9; e369.. - 0.2*b215 - x298 =G= -0.9; e370.. - 0.2*b216 - x299 =G= -0.9; e371.. - 0.2*b233 - x300 =G= -0.9; e372.. - 0.2*b234 - x301 =G= -0.9; e373.. - 0.2*b235 - x302 =G= -0.9; e374.. - 0.3*b175 - x303 =G= -0.8; e375.. - 0.3*b176 - x304 =G= -0.8; e376.. - 0.3*b177 - x305 =G= -0.8; e377.. - 0.1*b178 - x303 =G= -0.8; e378.. - 0.1*b179 - x304 =G= -0.8; e379.. - 0.1*b180 - x305 =G= -0.8; e380.. - 0.3*b193 - x306 =G= -0.8; e381.. - 0.3*b194 - x307 =G= -0.8; e382.. - 0.3*b195 - x308 =G= -0.8; e383.. - 0.1*b196 - x306 =G= -0.8; e384.. - 0.1*b197 - x307 =G= -0.8; e385.. - 0.1*b198 - x308 =G= -0.8; e386.. - 0.3*b211 - x309 =G= -0.8; e387.. - 0.3*b212 - x310 =G= -0.8; e388.. - 0.3*b213 - x311 =G= -0.8; e389.. - 0.1*b214 - x309 =G= -0.8; e390.. - 0.1*b215 - x310 =G= -0.8; e391.. - 0.1*b216 - x311 =G= -0.8; e392.. - 0.3*b230 - x312 =G= -0.8; e393.. - 0.3*b231 - x313 =G= -0.8; e394.. - 0.3*b232 - x314 =G= -0.8; e395.. - 0.1*b233 - x312 =G= -0.8; e396.. - 0.1*b234 - x313 =G= -0.8; e397.. - 0.1*b235 - x314 =G= -0.8; e398.. - 0.1*b178 - x315 =G= -1; e399.. - 0.1*b179 - x316 =G= -1; e400.. - 0.1*b180 - x317 =G= -1; e401.. - 0.1*b196 - x318 =G= -1; e402.. - 0.1*b197 - x319 =G= -1; e403.. - 0.1*b198 - x320 =G= -1; e404.. - 0.1*b214 - x321 =G= -1; e405.. - 0.1*b215 - x322 =G= -1; e406.. - 0.1*b216 - x323 =G= -1; e407.. - 0.1*b233 - x324 =G= -1; e408.. - 0.1*b234 - x325 =G= -1; e409.. - 0.1*b235 - x326 =G= -1; e410.. - 0.3*b175 - x327 =G= -1; e411.. - 0.3*b176 - x328 =G= -1; e412.. - 0.3*b177 - x329 =G= -1; e413.. - 0.1*b178 - x327 =G= -1; e414.. - 0.1*b179 - x328 =G= -1; e415.. - 0.1*b180 - x329 =G= -1; e416.. - 0.3*b193 - x330 =G= -1; e417.. - 0.3*b194 - x331 =G= -1; e418.. - 0.3*b195 - x332 =G= -1; e419.. - 0.1*b196 - x330 =G= -1; e420.. - 0.1*b197 - x331 =G= -1; e421.. - 0.1*b198 - x332 =G= -1; e422.. - 0.3*b211 - x333 =G= -1; e423.. - 0.3*b212 - x334 =G= -1; e424.. - 0.3*b213 - x335 =G= -1; e425.. - 0.1*b214 - x333 =G= -1; e426.. - 0.1*b215 - x334 =G= -1; e427.. - 0.1*b216 - x335 =G= -1; e428.. - 0.3*b230 - x336 =G= -1; e429.. - 0.3*b231 - x337 =G= -1; e430.. - 0.3*b232 - x338 =G= -1; e431.. - 0.1*b233 - x336 =G= -1; e432.. - 0.1*b234 - x337 =G= -1; e433.. - 0.1*b235 - x338 =G= -1; e434.. - 0.2*b178 - x339 =G= -0.9; e435.. - 0.2*b179 - x340 =G= -0.9; e436.. - 0.2*b180 - x341 =G= -0.9; e437.. - 0.2*b196 - x342 =G= -0.9; e438.. - 0.2*b197 - x343 =G= -0.9; e439.. - 0.2*b198 - x344 =G= -0.9; e440.. - 0.2*b214 - x345 =G= -0.9; e441.. - 0.2*b215 - x346 =G= -0.9; e442.. - 0.2*b216 - x347 =G= -0.9; e443.. - 0.2*b233 - x348 =G= -0.9; e444.. - 0.2*b234 - x349 =G= -0.9; e445.. - 0.2*b235 - x350 =G= -0.9; e446.. - 0.3*b175 - x351 =G= -1; e447.. - 0.3*b176 - x352 =G= -1; e448.. - 0.3*b177 - x353 =G= -1; e449.. - 0.1*b178 - x351 =G= -1; e450.. - 0.1*b179 - x352 =G= -1; e451.. - 0.1*b180 - x353 =G= -1; e452.. - 0.3*b193 - x354 =G= -1; e453.. - 0.3*b194 - x355 =G= -1; e454.. - 0.3*b195 - x356 =G= -1; e455.. - 0.1*b196 - x354 =G= -1; e456.. - 0.1*b197 - x355 =G= -1; e457.. - 0.1*b198 - x356 =G= -1; e458.. - 0.3*b211 - x357 =G= -1; e459.. - 0.3*b212 - x358 =G= -1; e460.. - 0.3*b213 - x359 =G= -1; e461.. - 0.1*b214 - x357 =G= -1; e462.. - 0.1*b215 - x358 =G= -1; e463.. - 0.1*b216 - x359 =G= -1; e464.. - 0.3*b230 - x360 =G= -1; e465.. - 0.3*b231 - x361 =G= -1; e466.. - 0.3*b232 - x362 =G= -1; e467.. - 0.1*b233 - x360 =G= -1; e468.. - 0.1*b234 - x361 =G= -1; e469.. - 0.1*b235 - x362 =G= -1; e470.. b147 + b163 =L= 1; e471.. b148 + b164 =L= 1; e472.. b149 + b165 =L= 1; e473.. b150 + b166 =L= 1; e474.. b147 + b167 =L= 1; e475.. b148 + b168 =L= 1; e476.. b149 + b169 =L= 1; e477.. b150 + b170 =L= 1; e478.. b147 + b171 =L= 1; e479.. b148 + b172 =L= 1; e480.. b149 + b173 =L= 1; e481.. b150 + b174 =L= 1; e482.. b148 + b175 =L= 1; e483.. b149 + b176 =L= 1; e484.. b150 + b177 =L= 1; e485.. b148 + b178 =L= 1; e486.. b149 + b179 =L= 1; e487.. b150 + b180 =L= 1; e488.. b163 + b181 =L= 1; e489.. b164 + b182 =L= 1; e490.. b165 + b183 =L= 1; e491.. b166 + b184 =L= 1; e492.. b167 + b181 =L= 1; e493.. b168 + b182 =L= 1; e494.. b169 + b183 =L= 1; e495.. b170 + b184 =L= 1; e496.. b171 + b181 =L= 1; e497.. b172 + b182 =L= 1; e498.. b173 + b183 =L= 1; e499.. b174 + b184 =L= 1; e500.. b175 + b182 =L= 1; e501.. b176 + b183 =L= 1; e502.. b177 + b184 =L= 1; e503.. b178 + b182 =L= 1; e504.. b179 + b183 =L= 1; e505.. b180 + b184 =L= 1; e506.. b163 + b199 =L= 1; e507.. b164 + b200 =L= 1; e508.. b165 + b201 =L= 1; e509.. b166 + b202 =L= 1; e510.. b167 + b199 =L= 1; e511.. b168 + b200 =L= 1; e512.. b169 + b201 =L= 1; e513.. b170 + b202 =L= 1; e514.. b171 + b199 =L= 1; e515.. b172 + b200 =L= 1; e516.. b173 + b201 =L= 1; e517.. b174 + b202 =L= 1; e518.. b175 + b200 =L= 1; e519.. b176 + b201 =L= 1; e520.. b177 + b202 =L= 1; e521.. b178 + b200 =L= 1; e522.. b179 + b201 =L= 1; e523.. b180 + b202 =L= 1; e524.. b163 + b217 =L= 1; e525.. b164 + b218 =L= 1; e526.. b165 + b219 =L= 1; e527.. b166 + b220 =L= 1; e528.. b167 + b217 =L= 1; e529.. b168 + b218 =L= 1; e530.. b169 + b219 =L= 1; e531.. b170 + b220 =L= 1; e532.. b171 + b217 =L= 1; e533.. b172 + b218 =L= 1; e534.. b173 + b219 =L= 1; e535.. b174 + b220 =L= 1; e536.. b175 + b218 =L= 1; e537.. b176 + b219 =L= 1; e538.. b177 + b220 =L= 1; e539.. b178 + b218 =L= 1; e540.. b179 + b219 =L= 1; e541.. b180 + b220 =L= 1; e542.. b135 + b181 =L= 1; e543.. b136 + b182 =L= 1; e544.. b137 + b183 =L= 1; e545.. b138 + b184 =L= 1; e546.. b135 + b185 =L= 1; e547.. b136 + b186 =L= 1; e548.. b137 + b187 =L= 1; e549.. b138 + b188 =L= 1; e550.. b135 + b189 =L= 1; e551.. b136 + b190 =L= 1; e552.. b137 + b191 =L= 1; e553.. b138 + b192 =L= 1; e554.. b136 + b193 =L= 1; e555.. b137 + b194 =L= 1; e556.. b138 + b195 =L= 1; e557.. b136 + b196 =L= 1; e558.. b137 + b197 =L= 1; e559.. b138 + b198 =L= 1; e560.. b151 + b181 =L= 1; e561.. b152 + b182 =L= 1; e562.. b153 + b183 =L= 1; e563.. b154 + b184 =L= 1; e564.. b151 + b185 =L= 1; e565.. b152 + b186 =L= 1; e566.. b153 + b187 =L= 1; e567.. b154 + b188 =L= 1; e568.. b151 + b189 =L= 1; e569.. b152 + b190 =L= 1; e570.. b153 + b191 =L= 1; e571.. b154 + b192 =L= 1; e572.. b152 + b193 =L= 1; e573.. b153 + b194 =L= 1; e574.. b154 + b195 =L= 1; e575.. b152 + b196 =L= 1; e576.. b153 + b197 =L= 1; e577.. b154 + b198 =L= 1; e578.. b163 + b181 =L= 1; e579.. b164 + b182 =L= 1; e580.. b165 + b183 =L= 1; e581.. b166 + b184 =L= 1; e582.. b163 + b185 =L= 1; e583.. b164 + b186 =L= 1; e584.. b165 + b187 =L= 1; e585.. b166 + b188 =L= 1; e586.. b163 + b189 =L= 1; e587.. b164 + b190 =L= 1; e588.. b165 + b191 =L= 1; e589.. b166 + b192 =L= 1; e590.. b164 + b193 =L= 1; e591.. b165 + b194 =L= 1; e592.. b166 + b195 =L= 1; e593.. b164 + b196 =L= 1; e594.. b165 + b197 =L= 1; e595.. b166 + b198 =L= 1; e596.. b181 + b203 =L= 1; e597.. b182 + b204 =L= 1; e598.. b183 + b205 =L= 1; e599.. b184 + b206 =L= 1; e600.. b185 + b203 =L= 1; e601.. b186 + b204 =L= 1; e602.. b187 + b205 =L= 1; e603.. b188 + b206 =L= 1; e604.. b189 + b203 =L= 1; e605.. b190 + b204 =L= 1; e606.. b191 + b205 =L= 1; e607.. b192 + b206 =L= 1; e608.. b193 + b204 =L= 1; e609.. b194 + b205 =L= 1; e610.. b195 + b206 =L= 1; e611.. b196 + b204 =L= 1; e612.. b197 + b205 =L= 1; e613.. b198 + b206 =L= 1; e614.. b181 + b221 =L= 1; e615.. b182 + b222 =L= 1; e616.. b183 + b223 =L= 1; e617.. b184 + b224 =L= 1; e618.. b185 + b221 =L= 1; e619.. b186 + b222 =L= 1; e620.. b187 + b223 =L= 1; e621.. b188 + b224 =L= 1; e622.. b189 + b221 =L= 1; e623.. b190 + b222 =L= 1; e624.. b191 + b223 =L= 1; e625.. b192 + b224 =L= 1; e626.. b193 + b222 =L= 1; e627.. b194 + b223 =L= 1; e628.. b195 + b224 =L= 1; e629.. b196 + b222 =L= 1; e630.. b197 + b223 =L= 1; e631.. b198 + b224 =L= 1; e632.. b139 + b199 =L= 1; e633.. b140 + b200 =L= 1; e634.. b141 + b201 =L= 1; e635.. b142 + b202 =L= 1; e636.. b139 + b203 =L= 1; e637.. b140 + b204 =L= 1; e638.. b141 + b205 =L= 1; e639.. b142 + b206 =L= 1; e640.. b139 + b207 =L= 1; e641.. b140 + b208 =L= 1; e642.. b141 + b209 =L= 1; e643.. b142 + b210 =L= 1; e644.. b140 + b211 =L= 1; e645.. b141 + b212 =L= 1; e646.. b142 + b213 =L= 1; e647.. b140 + b214 =L= 1; e648.. b141 + b215 =L= 1; e649.. b142 + b216 =L= 1; e650.. b155 + b199 =L= 1; e651.. b156 + b200 =L= 1; e652.. b157 + b201 =L= 1; e653.. b158 + b202 =L= 1; e654.. b155 + b203 =L= 1; e655.. b156 + b204 =L= 1; e656.. b157 + b205 =L= 1; e657.. b158 + b206 =L= 1; e658.. b155 + b207 =L= 1; e659.. b156 + b208 =L= 1; e660.. b157 + b209 =L= 1; e661.. b158 + b210 =L= 1; e662.. b156 + b211 =L= 1; e663.. b157 + b212 =L= 1; e664.. b158 + b213 =L= 1; e665.. b156 + b214 =L= 1; e666.. b157 + b215 =L= 1; e667.. b158 + b216 =L= 1; e668.. b167 + b199 =L= 1; e669.. b168 + b200 =L= 1; e670.. b169 + b201 =L= 1; e671.. b170 + b202 =L= 1; e672.. b167 + b203 =L= 1; e673.. b168 + b204 =L= 1; e674.. b169 + b205 =L= 1; e675.. b170 + b206 =L= 1; e676.. b167 + b207 =L= 1; e677.. b168 + b208 =L= 1; e678.. b169 + b209 =L= 1; e679.. b170 + b210 =L= 1; e680.. b168 + b211 =L= 1; e681.. b169 + b212 =L= 1; e682.. b170 + b213 =L= 1; e683.. b168 + b214 =L= 1; e684.. b169 + b215 =L= 1; e685.. b170 + b216 =L= 1; e686.. b185 + b199 =L= 1; e687.. b186 + b200 =L= 1; e688.. b187 + b201 =L= 1; e689.. b188 + b202 =L= 1; e690.. b185 + b203 =L= 1; e691.. b186 + b204 =L= 1; e692.. b187 + b205 =L= 1; e693.. b188 + b206 =L= 1; e694.. b185 + b207 =L= 1; e695.. b186 + b208 =L= 1; e696.. b187 + b209 =L= 1; e697.. b188 + b210 =L= 1; e698.. b186 + b211 =L= 1; e699.. b187 + b212 =L= 1; e700.. b188 + b213 =L= 1; e701.. b186 + b214 =L= 1; e702.. b187 + b215 =L= 1; e703.. b188 + b216 =L= 1; e704.. b199 + b225 =L= 1; e705.. b200 + b226 =L= 1; e706.. b201 + b227 =L= 1; e707.. b202 + b228 =L= 1; e708.. b203 + b225 =L= 1; e709.. b204 + b226 =L= 1; e710.. b205 + b227 =L= 1; e711.. b206 + b228 =L= 1; e712.. b207 + b225 =L= 1; e713.. b208 + b226 =L= 1; e714.. b209 + b227 =L= 1; e715.. b210 + b228 =L= 1; e716.. b211 + b226 =L= 1; e717.. b212 + b227 =L= 1; e718.. b213 + b228 =L= 1; e719.. b214 + b226 =L= 1; e720.. b215 + b227 =L= 1; e721.. b216 + b228 =L= 1; e722.. b143 + b217 =L= 1; e723.. b144 + b218 =L= 1; e724.. b145 + b219 =L= 1; e725.. b146 + b220 =L= 1; e726.. b143 + b221 =L= 1; e727.. b144 + b222 =L= 1; e728.. b145 + b223 =L= 1; e729.. b146 + b224 =L= 1; e730.. b143 + b225 =L= 1; e731.. b144 + b226 =L= 1; e732.. b145 + b227 =L= 1; e733.. b146 + b228 =L= 1; e734.. b143 + b229 =L= 1; e735.. b144 + b230 =L= 1; e736.. b145 + b231 =L= 1; e737.. b146 + b232 =L= 1; e738.. b144 + b233 =L= 1; e739.. b145 + b234 =L= 1; e740.. b146 + b235 =L= 1; e741.. b159 + b217 =L= 1; e742.. b160 + b218 =L= 1; e743.. b161 + b219 =L= 1; e744.. b162 + b220 =L= 1; e745.. b159 + b221 =L= 1; e746.. b160 + b222 =L= 1; e747.. b161 + b223 =L= 1; e748.. b162 + b224 =L= 1; e749.. b159 + b225 =L= 1; e750.. b160 + b226 =L= 1; e751.. b161 + b227 =L= 1; e752.. b162 + b228 =L= 1; e753.. b159 + b229 =L= 1; e754.. b160 + b230 =L= 1; e755.. b161 + b231 =L= 1; e756.. b162 + b232 =L= 1; e757.. b160 + b233 =L= 1; e758.. b161 + b234 =L= 1; e759.. b162 + b235 =L= 1; e760.. b171 + b217 =L= 1; e761.. b172 + b218 =L= 1; e762.. b173 + b219 =L= 1; e763.. b174 + b220 =L= 1; e764.. b171 + b221 =L= 1; e765.. b172 + b222 =L= 1; e766.. b173 + b223 =L= 1; e767.. b174 + b224 =L= 1; e768.. b171 + b225 =L= 1; e769.. b172 + b226 =L= 1; e770.. b173 + b227 =L= 1; e771.. b174 + b228 =L= 1; e772.. b171 + b229 =L= 1; e773.. b172 + b230 =L= 1; e774.. b173 + b231 =L= 1; e775.. b174 + b232 =L= 1; e776.. b172 + b233 =L= 1; e777.. b173 + b234 =L= 1; e778.. b174 + b235 =L= 1; e779.. b189 + b217 =L= 1; e780.. b190 + b218 =L= 1; e781.. b191 + b219 =L= 1; e782.. b192 + b220 =L= 1; e783.. b189 + b221 =L= 1; e784.. b190 + b222 =L= 1; e785.. b191 + b223 =L= 1; e786.. b192 + b224 =L= 1; e787.. b189 + b225 =L= 1; e788.. b190 + b226 =L= 1; e789.. b191 + b227 =L= 1; e790.. b192 + b228 =L= 1; e791.. b189 + b229 =L= 1; e792.. b190 + b230 =L= 1; e793.. b191 + b231 =L= 1; e794.. b192 + b232 =L= 1; e795.. b190 + b233 =L= 1; e796.. b191 + b234 =L= 1; e797.. b192 + b235 =L= 1; e798.. b207 + b217 =L= 1; e799.. b208 + b218 =L= 1; e800.. b209 + b219 =L= 1; e801.. b210 + b220 =L= 1; e802.. b207 + b221 =L= 1; e803.. b208 + b222 =L= 1; e804.. b209 + b223 =L= 1; e805.. b210 + b224 =L= 1; e806.. b207 + b225 =L= 1; e807.. b208 + b226 =L= 1; e808.. b209 + b227 =L= 1; e809.. b210 + b228 =L= 1; e810.. b207 + b229 =L= 1; e811.. b208 + b230 =L= 1; e812.. b209 + b231 =L= 1; e813.. b210 + b232 =L= 1; e814.. b208 + b233 =L= 1; e815.. b209 + b234 =L= 1; e816.. b210 + b235 =L= 1; e817.. x267*x238 - 0.9*x14 + 0.4*x30 + 0.4*x34 + 0.4*x38 - 0.4*x48 - 0.1*x66 - x84 =E= 0.4; e818.. x270*x239 - 0.1*x2 - 0.9*x18 - 0.4*x30 + 0.4*x48 + 0.4*x52 + 0.4*x56 - 0.1*x70 - x88 =E= 0.32; e819.. x273*x240 - 0.1*x6 - 0.9*x22 - 0.4*x34 - 0.4*x52 + 0.1*x66 + 0.1*x70 + 0.1*x74 - x92 =E= 0.02; e820.. x276*x241 - 0.1*x10 - 0.9*x26 - 0.4*x38 - 0.4*x56 - 0.1*x74 + x84 + x88 + x92 + x96 =E= 0.5; e821.. x279*x238 - 0.8*x14 + 0.2*x30 + 0.2*x34 + 0.2*x38 - 0.1*x48 - 0.9*x66 - 0.6*x84 =E= 0.2; e822.. x282*x239 - 0.2*x2 - 0.8*x18 - 0.2*x30 + 0.1*x48 + 0.1*x52 + 0.1*x56 - 0.9*x70 - 0.6*x88 =E= 0.08; e823.. x285*x240 - 0.2*x6 - 0.8*x22 - 0.2*x34 - 0.1*x52 + 0.9*x66 + 0.9*x70 + 0.9*x74 - 0.6*x92 =E= 0.18; e824.. x288*x241 - 0.2*x10 - 0.8*x26 - 0.2*x38 - 0.1*x56 - 0.9*x74 + 0.6*x84 + 0.6*x88 + 0.6*x92 + 0.6*x96 =E= 0.3; e825.. x291*x238 - 0.8*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.3*x48 - 0.9*x84 =E= 0.3; e826.. x294*x239 - 0.8*x18 - 0.3*x30 + 0.3*x48 + 0.3*x52 + 0.3*x56 - 0.9*x88 =E= 0.24; e827.. x297*x240 - 0.8*x22 - 0.3*x34 - 0.3*x52 - 0.9*x92 =E= 0; e828.. x300*x241 - 0.8*x26 - 0.3*x38 - 0.3*x56 + 0.9*x84 + 0.9*x88 + 0.9*x92 + 0.9*x96 =E= 0.45; e829.. x303*x238 - 0.7*x14 + 0.1*x30 + 0.1*x34 + 0.1*x38 - 0.8*x66 - 0.5*x84 =E= 0.1; e830.. x306*x239 - 0.1*x2 - 0.7*x18 - 0.1*x30 - 0.8*x70 - 0.5*x88 =E= 0; e831.. x309*x240 - 0.1*x6 - 0.7*x22 - 0.1*x34 + 0.8*x66 + 0.8*x70 + 0.8*x74 - 0.5*x92 =E= 0.16; e832.. x312*x241 - 0.1*x10 - 0.7*x26 - 0.1*x38 - 0.8*x74 + 0.5*x84 + 0.5*x88 + 0.5*x92 + 0.5*x96 =E= 0.25; e833.. x315*x238 - x14 + 0.5*x30 + 0.5*x34 + 0.5*x38 - 0.5*x48 - 0.2*x66 - x84 =E= 0.5; e834.. x318*x239 - 0.2*x2 - x18 - 0.5*x30 + 0.5*x48 + 0.5*x52 + 0.5*x56 - 0.2*x70 - x88 =E= 0.4; e835.. x321*x240 - 0.2*x6 - x22 - 0.5*x34 - 0.5*x52 + 0.2*x66 + 0.2*x70 + 0.2*x74 - x92 =E= 0.04; e836.. x324*x241 - 0.2*x10 - x26 - 0.5*x38 - 0.5*x56 - 0.2*x74 + x84 + x88 + x92 + x96 =E= 0.5; e837.. x327*x238 - 0.9*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.2*x48 - x66 - 0.7*x84 =E= 0.3; e838.. x330*x239 - 0.3*x2 - 0.9*x18 - 0.3*x30 + 0.2*x48 + 0.2*x52 + 0.2*x56 - x70 - 0.7*x88 =E= 0.16; e839.. x333*x240 - 0.3*x6 - 0.9*x22 - 0.3*x34 - 0.2*x52 + x66 + x70 + x74 - 0.7*x92 =E= 0.2; e840.. x336*x241 - 0.3*x10 - 0.9*x26 - 0.3*x38 - 0.2*x56 - x74 + 0.7*x84 + 0.7*x88 + 0.7*x92 + 0.7*x96 =E= 0.35; e841.. x339*x238 - 0.8*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.3*x48 - 0.9*x84 =E= 0.3; e842.. x342*x239 - 0.8*x18 - 0.3*x30 + 0.3*x48 + 0.3*x52 + 0.3*x56 - 0.9*x88 =E= 0.24; e843.. x345*x240 - 0.8*x22 - 0.3*x34 - 0.3*x52 - 0.9*x92 =E= 0; e844.. x348*x241 - 0.8*x26 - 0.3*x38 - 0.3*x56 + 0.9*x84 + 0.9*x88 + 0.9*x92 + 0.9*x96 =E= 0.45; e845.. x351*x238 - 0.9*x14 + 0.3*x30 + 0.3*x34 + 0.3*x38 - 0.2*x48 - x66 - 0.7*x84 =E= 0.3; e846.. x354*x239 - 0.3*x2 - 0.9*x18 - 0.3*x30 + 0.2*x48 + 0.2*x52 + 0.2*x56 - x70 - 0.7*x88 =E= 0.16; e847.. x357*x240 - 0.3*x6 - 0.9*x22 - 0.3*x34 - 0.2*x52 + x66 + x70 + x74 - 0.7*x92 =E= 0.2; e848.. x360*x241 - 0.3*x10 - 0.9*x26 - 0.3*x38 - 0.2*x56 - x74 + 0.7*x84 + 0.7*x88 + 0.7*x92 + 0.7*x96 =E= 0.35; e849.. x267*x31 + x267*x35 + x267*x39 + x267*x42 + x267*x45 - x270*x49 - x273* x67 - x276*x85 - x267*x238 + x268*x249 - 0.9*x15 =E= 0; e850.. x268*x32 + x268*x36 + x268*x40 + x268*x43 + x268*x46 - x271*x50 - x274* x68 - x277*x86 - x268*x249 + x269*x250 - 0.9*x16 =E= 0; e851.. x269*x33 + x269*x37 + x269*x41 + x269*x44 + x269*x47 - x272*x51 - x275* x69 - x278*x87 + x251*x103 - x269*x250 - 0.9*x17 =E= 0; e852.. x270*x49 - x267*x31 + x270*x53 + x270*x57 + x270*x60 + x270*x63 - x273* x71 - x276*x89 - x270*x239 + x271*x252 - 0.1*x3 - 0.9*x19 =E= 0; e853.. x271*x50 - x268*x32 + x271*x54 + x271*x58 + x271*x61 + x271*x64 - x274* x72 - x277*x90 - x271*x252 + x272*x253 - 0.1*x4 - 0.9*x20 =E= 0; e854.. x272*x51 - x269*x33 + x272*x55 + x272*x59 + x272*x62 + x272*x65 - x275* x73 - x278*x91 + x254*x104 - x272*x253 - 0.1*x5 - 0.9*x21 =E= 0; e855.. (-x267*x35) - x270*x53 + x273*x67 + x273*x71 + x273*x75 + x273*x78 + x273*x81 - x276*x93 - x273*x240 + x274*x255 - 0.1*x7 - 0.9*x23 =E= 0; e856.. (-x268*x36) - x271*x54 + x274*x68 + x274*x72 + x274*x76 + x274*x79 + x274*x82 - x277*x94 - x274*x255 + x275*x256 - 0.1*x8 - 0.9*x24 =E= 0; e857.. (-x269*x37) - x272*x55 + x275*x69 + x275*x73 + x275*x77 + x275*x80 + x275*x83 - x278*x95 + x257*x105 - x275*x256 - 0.1*x9 - 0.9*x25 =E= 0; e858.. (-x267*x39) - x270*x57 - x273*x75 + x276*x85 + x276*x89 + x276*x93 + x276*x97 + x276*x100 - x276*x241 + x277*x258 - 0.1*x11 - 0.9*x27 =E= 0; e859.. (-x268*x40) - x271*x58 - x274*x76 + x277*x86 + x277*x90 + x277*x94 + x277*x98 + x277*x101 - x277*x258 + x278*x259 - 0.1*x12 - 0.9*x28 =E= 0; e860.. (-x269*x41) - x272*x59 - x275*x77 + x278*x87 + x278*x91 + x278*x95 + x278*x99 + x278*x102 + x260*x106 - x278*x259 - 0.1*x13 - 0.9*x29 =E= 0; e861.. x279*x31 + x279*x35 + x279*x39 + x279*x42 + x279*x45 - x282*x49 - x285* x67 - x288*x85 - x279*x238 + x280*x249 - 0.8*x15 =E= 0; e862.. x280*x32 + x280*x36 + x280*x40 + x280*x43 + x280*x46 - x283*x50 - x286* x68 - x289*x86 - x280*x249 + x281*x250 - 0.8*x16 =E= 0; e863.. x281*x33 + x281*x37 + x281*x41 + x281*x44 + x281*x47 - x284*x51 - x287* x69 - x290*x87 + x251*x107 - x281*x250 - 0.8*x17 =E= 0; e864.. x282*x49 - x279*x31 + x282*x53 + x282*x57 + x282*x60 + x282*x63 - x285* x71 - x288*x89 - x282*x239 + x283*x252 - 0.2*x3 - 0.8*x19 =E= 0; e865.. x283*x50 - x280*x32 + x283*x54 + x283*x58 + x283*x61 + x283*x64 - x286* x72 - x289*x90 - x283*x252 + x284*x253 - 0.2*x4 - 0.8*x20 =E= 0; e866.. x284*x51 - x281*x33 + x284*x55 + x284*x59 + x284*x62 + x284*x65 - x287* x73 - x290*x91 + x254*x108 - x284*x253 - 0.2*x5 - 0.8*x21 =E= 0; e867.. (-x279*x35) - x282*x53 + x285*x67 + x285*x71 + x285*x75 + x285*x78 + x285*x81 - x288*x93 - x285*x240 + x286*x255 - 0.2*x7 - 0.8*x23 =E= 0; e868.. (-x280*x36) - x283*x54 + x286*x68 + x286*x72 + x286*x76 + x286*x79 + x286*x82 - x289*x94 - x286*x255 + x287*x256 - 0.2*x8 - 0.8*x24 =E= 0; e869.. (-x281*x37) - x284*x55 + x287*x69 + x287*x73 + x287*x77 + x287*x80 + x287*x83 - x290*x95 + x257*x109 - x287*x256 - 0.2*x9 - 0.8*x25 =E= 0; e870.. (-x279*x39) - x282*x57 - x285*x75 + x288*x85 + x288*x89 + x288*x93 + x288*x97 + x288*x100 - x288*x241 + x289*x258 - 0.2*x11 - 0.8*x27 =E= 0; e871.. (-x280*x40) - x283*x58 - x286*x76 + x289*x86 + x289*x90 + x289*x94 + x289*x98 + x289*x101 - x289*x258 + x290*x259 - 0.2*x12 - 0.8*x28 =E= 0; e872.. (-x281*x41) - x284*x59 - x287*x77 + x290*x87 + x290*x91 + x290*x95 + x290*x99 + x290*x102 + x260*x110 - x290*x259 - 0.2*x13 - 0.8*x29 =E= 0; e873.. x291*x31 + x291*x35 + x291*x39 + x291*x42 + x291*x45 - x294*x49 - x297* x67 - x300*x85 - x291*x238 + x292*x249 - 0.8*x15 =E= 0; e874.. x292*x32 + x292*x36 + x292*x40 + x292*x43 + x292*x46 - x295*x50 - x298* x68 - x301*x86 - x292*x249 + x293*x250 - 0.8*x16 =E= 0; e875.. x293*x33 + x293*x37 + x293*x41 + x293*x44 + x293*x47 - x296*x51 - x299* x69 - x302*x87 + x251*x111 - x293*x250 - 0.8*x17 =E= 0; e876.. x294*x49 - x291*x31 + x294*x53 + x294*x57 + x294*x60 + x294*x63 - x297* x71 - x300*x89 - x294*x239 + x295*x252 - 0.8*x19 =E= 0; e877.. x295*x50 - x292*x32 + x295*x54 + x295*x58 + x295*x61 + x295*x64 - x298* x72 - x301*x90 - x295*x252 + x296*x253 - 0.8*x20 =E= 0; e878.. x296*x51 - x293*x33 + x296*x55 + x296*x59 + x296*x62 + x296*x65 - x299* x73 - x302*x91 + x254*x112 - x296*x253 - 0.8*x21 =E= 0; e879.. (-x291*x35) - x294*x53 + x297*x67 + x297*x71 + x297*x75 + x297*x78 + x297*x81 - x300*x93 - x297*x240 + x298*x255 - 0.8*x23 =E= 0; e880.. (-x292*x36) - x295*x54 + x298*x68 + x298*x72 + x298*x76 + x298*x79 + x298*x82 - x301*x94 - x298*x255 + x299*x256 - 0.8*x24 =E= 0; e881.. (-x293*x37) - x296*x55 + x299*x69 + x299*x73 + x299*x77 + x299*x80 + x299*x83 - x302*x95 + x257*x113 - x299*x256 - 0.8*x25 =E= 0; e882.. (-x291*x39) - x294*x57 - x297*x75 + x300*x85 + x300*x89 + x300*x93 + x300*x97 + x300*x100 - x300*x241 + x301*x258 - 0.8*x27 =E= 0; e883.. (-x292*x40) - x295*x58 - x298*x76 + x301*x86 + x301*x90 + x301*x94 + x301*x98 + x301*x101 - x301*x258 + x302*x259 - 0.8*x28 =E= 0; e884.. (-x293*x41) - x296*x59 - x299*x77 + x302*x87 + x302*x91 + x302*x95 + x302*x99 + x302*x102 + x260*x114 - x302*x259 - 0.8*x29 =E= 0; e885.. x303*x31 + x303*x35 + x303*x39 + x303*x42 + x303*x45 - x306*x49 - x309* x67 - x312*x85 - x303*x238 + x304*x249 - 0.7*x15 =E= 0; e886.. x304*x32 + x304*x36 + x304*x40 + x304*x43 + x304*x46 - x307*x50 - x310* x68 - x313*x86 - x304*x249 + x305*x250 - 0.7*x16 =E= 0; e887.. x305*x33 + x305*x37 + x305*x41 + x305*x44 + x305*x47 - x308*x51 - x311* x69 - x314*x87 + x251*x115 - x305*x250 - 0.7*x17 =E= 0; e888.. x306*x49 - x303*x31 + x306*x53 + x306*x57 + x306*x60 + x306*x63 - x309* x71 - x312*x89 - x306*x239 + x307*x252 - 0.1*x3 - 0.7*x19 =E= 0; e889.. x307*x50 - x304*x32 + x307*x54 + x307*x58 + x307*x61 + x307*x64 - x310* x72 - x313*x90 - x307*x252 + x308*x253 - 0.1*x4 - 0.7*x20 =E= 0; e890.. x308*x51 - x305*x33 + x308*x55 + x308*x59 + x308*x62 + x308*x65 - x311* x73 - x314*x91 + x254*x116 - x308*x253 - 0.1*x5 - 0.7*x21 =E= 0; e891.. (-x303*x35) - x306*x53 + x309*x67 + x309*x71 + x309*x75 + x309*x78 + x309*x81 - x312*x93 - x309*x240 + x310*x255 - 0.1*x7 - 0.7*x23 =E= 0; e892.. (-x304*x36) - x307*x54 + x310*x68 + x310*x72 + x310*x76 + x310*x79 + x310*x82 - x313*x94 - x310*x255 + x311*x256 - 0.1*x8 - 0.7*x24 =E= 0; e893.. (-x305*x37) - x308*x55 + x311*x69 + x311*x73 + x311*x77 + x311*x80 + x311*x83 - x314*x95 + x257*x117 - x311*x256 - 0.1*x9 - 0.7*x25 =E= 0; e894.. (-x303*x39) - x306*x57 - x309*x75 + x312*x85 + x312*x89 + x312*x93 + x312*x97 + x312*x100 - x312*x241 + x313*x258 - 0.1*x11 - 0.7*x27 =E= 0; e895.. (-x304*x40) - x307*x58 - x310*x76 + x313*x86 + x313*x90 + x313*x94 + x313*x98 + x313*x101 - x313*x258 + x314*x259 - 0.1*x12 - 0.7*x28 =E= 0; e896.. (-x305*x41) - x308*x59 - x311*x77 + x314*x87 + x314*x91 + x314*x95 + x314*x99 + x314*x102 + x260*x118 - x314*x259 - 0.1*x13 - 0.7*x29 =E= 0; e897.. x315*x31 + x315*x35 + x315*x39 + x315*x42 + x315*x45 - x318*x49 - x321* x67 - x324*x85 - x315*x238 + x316*x249 - x15 =E= 0; e898.. x316*x32 + x316*x36 + x316*x40 + x316*x43 + x316*x46 - x319*x50 - x322* x68 - x325*x86 - x316*x249 + x317*x250 - x16 =E= 0; e899.. x317*x33 + x317*x37 + x317*x41 + x317*x44 + x317*x47 - x320*x51 - x323* x69 - x326*x87 + x251*x119 - x317*x250 - x17 =E= 0; e900.. x318*x49 - x315*x31 + x318*x53 + x318*x57 + x318*x60 + x318*x63 - x321* x71 - x324*x89 - x318*x239 + x319*x252 - 0.2*x3 - x19 =E= 0; e901.. x319*x50 - x316*x32 + x319*x54 + x319*x58 + x319*x61 + x319*x64 - x322* x72 - x325*x90 - x319*x252 + x320*x253 - 0.2*x4 - x20 =E= 0; e902.. x320*x51 - x317*x33 + x320*x55 + x320*x59 + x320*x62 + x320*x65 - x323* x73 - x326*x91 + x254*x120 - x320*x253 - 0.2*x5 - x21 =E= 0; e903.. (-x315*x35) - x318*x53 + x321*x67 + x321*x71 + x321*x75 + x321*x78 + x321*x81 - x324*x93 - x321*x240 + x322*x255 - 0.2*x7 - x23 =E= 0; e904.. (-x316*x36) - x319*x54 + x322*x68 + x322*x72 + x322*x76 + x322*x79 + x322*x82 - x325*x94 - x322*x255 + x323*x256 - 0.2*x8 - x24 =E= 0; e905.. (-x317*x37) - x320*x55 + x323*x69 + x323*x73 + x323*x77 + x323*x80 + x323*x83 - x326*x95 + x257*x121 - x323*x256 - 0.2*x9 - x25 =E= 0; e906.. (-x315*x39) - x318*x57 - x321*x75 + x324*x85 + x324*x89 + x324*x93 + x324*x97 + x324*x100 - x324*x241 + x325*x258 - 0.2*x11 - x27 =E= 0; e907.. (-x316*x40) - x319*x58 - x322*x76 + x325*x86 + x325*x90 + x325*x94 + x325*x98 + x325*x101 - x325*x258 + x326*x259 - 0.2*x12 - x28 =E= 0; e908.. (-x317*x41) - x320*x59 - x323*x77 + x326*x87 + x326*x91 + x326*x95 + x326*x99 + x326*x102 + x260*x122 - x326*x259 - 0.2*x13 - x29 =E= 0; e909.. x327*x31 + x327*x35 + x327*x39 + x327*x42 + x327*x45 - x330*x49 - x333* x67 - x336*x85 - x327*x238 + x328*x249 - 0.9*x15 =E= 0; e910.. x328*x32 + x328*x36 + x328*x40 + x328*x43 + x328*x46 - x331*x50 - x334* x68 - x337*x86 - x328*x249 + x329*x250 - 0.9*x16 =E= 0; e911.. x329*x33 + x329*x37 + x329*x41 + x329*x44 + x329*x47 - x332*x51 - x335* x69 - x338*x87 + x251*x123 - x329*x250 - 0.9*x17 =E= 0; e912.. x330*x49 - x327*x31 + x330*x53 + x330*x57 + x330*x60 + x330*x63 - x333* x71 - x336*x89 - x330*x239 + x331*x252 - 0.3*x3 - 0.9*x19 =E= 0; e913.. x331*x50 - x328*x32 + x331*x54 + x331*x58 + x331*x61 + x331*x64 - x334* x72 - x337*x90 - x331*x252 + x332*x253 - 0.3*x4 - 0.9*x20 =E= 0; e914.. x332*x51 - x329*x33 + x332*x55 + x332*x59 + x332*x62 + x332*x65 - x335* x73 - x338*x91 + x254*x124 - x332*x253 - 0.3*x5 - 0.9*x21 =E= 0; e915.. (-x327*x35) - x330*x53 + x333*x67 + x333*x71 + x333*x75 + x333*x78 + x333*x81 - x336*x93 - x333*x240 + x334*x255 - 0.3*x7 - 0.9*x23 =E= 0; e916.. (-x328*x36) - x331*x54 + x334*x68 + x334*x72 + x334*x76 + x334*x79 + x334*x82 - x337*x94 - x334*x255 + x335*x256 - 0.3*x8 - 0.9*x24 =E= 0; e917.. (-x329*x37) - x332*x55 + x335*x69 + x335*x73 + x335*x77 + x335*x80 + x335*x83 - x338*x95 + x257*x125 - x335*x256 - 0.3*x9 - 0.9*x25 =E= 0; e918.. (-x327*x39) - x330*x57 - x333*x75 + x336*x85 + x336*x89 + x336*x93 + x336*x97 + x336*x100 - x336*x241 + x337*x258 - 0.3*x11 - 0.9*x27 =E= 0; e919.. (-x328*x40) - x331*x58 - x334*x76 + x337*x86 + x337*x90 + x337*x94 + x337*x98 + x337*x101 - x337*x258 + x338*x259 - 0.3*x12 - 0.9*x28 =E= 0; e920.. (-x329*x41) - x332*x59 - x335*x77 + x338*x87 + x338*x91 + x338*x95 + x338*x99 + x338*x102 + x260*x126 - x338*x259 - 0.3*x13 - 0.9*x29 =E= 0; e921.. x339*x31 + x339*x35 + x339*x39 + x339*x42 + x339*x45 - x342*x49 - x345* x67 - x348*x85 - x339*x238 + x340*x249 - 0.8*x15 =E= 0; e922.. x340*x32 + x340*x36 + x340*x40 + x340*x43 + x340*x46 - x343*x50 - x346* x68 - x349*x86 - x340*x249 + x341*x250 - 0.8*x16 =E= 0; e923.. x341*x33 + x341*x37 + x341*x41 + x341*x44 + x341*x47 - x344*x51 - x347* x69 - x350*x87 + x251*x127 - x341*x250 - 0.8*x17 =E= 0; e924.. x342*x49 - x339*x31 + x342*x53 + x342*x57 + x342*x60 + x342*x63 - x345* x71 - x348*x89 - x342*x239 + x343*x252 - 0.8*x19 =E= 0; e925.. x343*x50 - x340*x32 + x343*x54 + x343*x58 + x343*x61 + x343*x64 - x346* x72 - x349*x90 - x343*x252 + x344*x253 - 0.8*x20 =E= 0; e926.. x344*x51 - x341*x33 + x344*x55 + x344*x59 + x344*x62 + x344*x65 - x347* x73 - x350*x91 + x254*x128 - x344*x253 - 0.8*x21 =E= 0; e927.. (-x339*x35) - x342*x53 + x345*x67 + x345*x71 + x345*x75 + x345*x78 + x345*x81 - x348*x93 - x345*x240 + x346*x255 - 0.8*x23 =E= 0; e928.. (-x340*x36) - x343*x54 + x346*x68 + x346*x72 + x346*x76 + x346*x79 + x346*x82 - x349*x94 - x346*x255 + x347*x256 - 0.8*x24 =E= 0; e929.. (-x341*x37) - x344*x55 + x347*x69 + x347*x73 + x347*x77 + x347*x80 + x347*x83 - x350*x95 + x257*x129 - x347*x256 - 0.8*x25 =E= 0; e930.. (-x339*x39) - x342*x57 - x345*x75 + x348*x85 + x348*x89 + x348*x93 + x348*x97 + x348*x100 - x348*x241 + x349*x258 - 0.8*x27 =E= 0; e931.. (-x340*x40) - x343*x58 - x346*x76 + x349*x86 + x349*x90 + x349*x94 + x349*x98 + x349*x101 - x349*x258 + x350*x259 - 0.8*x28 =E= 0; e932.. (-x341*x41) - x344*x59 - x347*x77 + x350*x87 + x350*x91 + x350*x95 + x350*x99 + x350*x102 + x260*x130 - x350*x259 - 0.8*x29 =E= 0; e933.. x351*x31 + x351*x35 + x351*x39 + x351*x42 + x351*x45 - x354*x49 - x357* x67 - x360*x85 - x351*x238 + x352*x249 - 0.9*x15 =E= 0; e934.. x352*x32 + x352*x36 + x352*x40 + x352*x43 + x352*x46 - x355*x50 - x358* x68 - x361*x86 - x352*x249 + x353*x250 - 0.9*x16 =E= 0; e935.. x353*x33 + x353*x37 + x353*x41 + x353*x44 + x353*x47 - x356*x51 - x359* x69 - x362*x87 + x251*x131 - x353*x250 - 0.9*x17 =E= 0; e936.. x354*x49 - x351*x31 + x354*x53 + x354*x57 + x354*x60 + x354*x63 - x357* x71 - x360*x89 - x354*x239 + x355*x252 - 0.3*x3 - 0.9*x19 =E= 0; e937.. x355*x50 - x352*x32 + x355*x54 + x355*x58 + x355*x61 + x355*x64 - x358* x72 - x361*x90 - x355*x252 + x356*x253 - 0.3*x4 - 0.9*x20 =E= 0; e938.. x356*x51 - x353*x33 + x356*x55 + x356*x59 + x356*x62 + x356*x65 - x359* x73 - x362*x91 + x254*x132 - x356*x253 - 0.3*x5 - 0.9*x21 =E= 0; e939.. (-x351*x35) - x354*x53 + x357*x67 + x357*x71 + x357*x75 + x357*x78 + x357*x81 - x360*x93 - x357*x240 + x358*x255 - 0.3*x7 - 0.9*x23 =E= 0; e940.. (-x352*x36) - x355*x54 + x358*x68 + x358*x72 + x358*x76 + x358*x79 + x358*x82 - x361*x94 - x358*x255 + x359*x256 - 0.3*x8 - 0.9*x24 =E= 0; e941.. (-x353*x37) - x356*x55 + x359*x69 + x359*x73 + x359*x77 + x359*x80 + x359*x83 - x362*x95 + x257*x133 - x359*x256 - 0.3*x9 - 0.9*x25 =E= 0; e942.. (-x351*x39) - x354*x57 - x357*x75 + x360*x85 + x360*x89 + x360*x93 + x360*x97 + x360*x100 - x360*x241 + x361*x258 - 0.3*x11 - 0.9*x27 =E= 0; e943.. (-x352*x40) - x355*x58 - x358*x76 + x361*x86 + x361*x90 + x361*x94 + x361*x98 + x361*x101 - x361*x258 + x362*x259 - 0.3*x12 - 0.9*x28 =E= 0; e944.. (-x353*x41) - x356*x59 - x359*x77 + x362*x87 + x362*x91 + x362*x95 + x362*x99 + x362*x102 + x260*x134 - x362*x259 - 0.3*x13 - 0.9*x29 =E= 0; * set non-default bounds x2.up = 1; x3.up = 1; x4.up = 1; x5.up = 1; x6.up = 1; x7.up = 1; x8.up = 1; x9.up = 1; x10.up = 1; x11.up = 1; x12.up = 1; x13.up = 1; x14.up = 1; x15.up = 1; x16.up = 1; x17.up = 1; x18.up = 1; x19.up = 1; x20.up = 1; x21.up = 1; x22.up = 1; x23.up = 1; x24.up = 1; x25.up = 1; x26.up = 1; x27.up = 1; x28.up = 1; x29.up = 1; x30.up = 1; x31.up = 1; x32.up = 1; x33.up = 1; x34.up = 1; x35.up = 1; x36.up = 1; x37.up = 1; x38.up = 1; x39.up = 1; x40.up = 1; x41.up = 1; x42.up = 1; x43.up = 1; x44.up = 1; x45.up = 1; x46.up = 1; x47.up = 1; x48.up = 1; x49.up = 1; x50.up = 1; x51.up = 1; x52.up = 1; x53.up = 1; x54.up = 1; x55.up = 1; x56.up = 1; x57.up = 1; x58.up = 1; x59.up = 1; x60.up = 1; x61.up = 1; x62.up = 1; x63.up = 1; x64.up = 1; x65.up = 1; x66.up = 1; x67.up = 1; x68.up = 1; x69.up = 1; x70.up = 1; x71.up = 1; x72.up = 1; x73.up = 1; x74.up = 1; x75.up = 1; x76.up = 1; x77.up = 1; x78.up = 1; x79.up = 1; x80.up = 1; x81.up = 1; 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.lo = 0.1; x103.up = 1; x104.lo = 0.1; x104.up = 1; x105.lo = 0.1; x105.up = 1; x106.lo = 0.1; x106.up = 1; x107.lo = 0.1; x107.up = 0.9; x108.lo = 0.1; x108.up = 0.9; x109.lo = 0.1; x109.up = 0.9; x110.lo = 0.1; x110.up = 0.9; x111.up = 0.9; x112.up = 0.9; x113.up = 0.9; x114.up = 0.9; x115.up = 0.8; x116.up = 0.8; x117.up = 0.8; x118.up = 0.8; x119.lo = 0.2; x119.up = 1; x120.lo = 0.2; x120.up = 1; x121.lo = 0.2; x121.up = 1; x122.lo = 0.2; x122.up = 1; x123.lo = 0.2; x123.up = 1; x124.lo = 0.2; x124.up = 1; x125.lo = 0.2; x125.up = 1; x126.lo = 0.2; x126.up = 1; x127.up = 0.9; x128.up = 0.9; x129.up = 0.9; x130.up = 0.9; x131.lo = 0.2; x131.up = 1; x132.lo = 0.2; x132.up = 1; x133.lo = 0.2; x133.up = 1; x134.lo = 0.2; x134.up = 1; x236.up = 2; x237.up = 2; x238.up = 2; x239.up = 2; x240.up = 2; x241.up = 2; x242.up = 2; x243.up = 2; x244.up = 2; x245.up = 2; x246.up = 2; x247.up = 2; x248.up = 2; x249.up = 2; x250.up = 2; x251.up = 2; x252.up = 2; x253.up = 2; x254.up = 2; x255.up = 2; x256.up = 2; x257.up = 2; x258.up = 2; x259.up = 2; x260.up = 2; x261.up = 2; x262.up = 2; x263.up = 2; x264.up = 2; x265.up = 2; x266.up = 2; x267.lo = 0.1; x267.up = 1; x268.lo = 0.1; x268.up = 1; x269.lo = 0.1; x269.up = 1; x270.lo = 0.1; x270.up = 1; x271.lo = 0.1; x271.up = 1; x272.lo = 0.1; x272.up = 1; x273.lo = 0.1; x273.up = 1; x274.lo = 0.1; x274.up = 1; x275.lo = 0.1; x275.up = 1; x276.lo = 0.1; x276.up = 1; x277.lo = 0.1; x277.up = 1; x278.lo = 0.1; x278.up = 1; x279.lo = 0.1; x279.up = 0.9; x280.lo = 0.1; x280.up = 0.9; x281.lo = 0.1; x281.up = 0.9; x282.lo = 0.1; x282.up = 0.9; x283.lo = 0.1; x283.up = 0.9; x284.lo = 0.1; x284.up = 0.9; x285.lo = 0.1; x285.up = 0.9; x286.lo = 0.1; x286.up = 0.9; x287.lo = 0.1; x287.up = 0.9; x288.lo = 0.1; x288.up = 0.9; x289.lo = 0.1; x289.up = 0.9; x290.lo = 0.1; x290.up = 0.9; x291.up = 0.9; x292.up = 0.9; x293.up = 0.9; x294.up = 0.9; x295.up = 0.9; x296.up = 0.9; x297.up = 0.9; x298.up = 0.9; x299.up = 0.9; x300.up = 0.9; x301.up = 0.9; x302.up = 0.9; x303.up = 0.8; x304.up = 0.8; x305.up = 0.8; x306.up = 0.8; x307.up = 0.8; x308.up = 0.8; x309.up = 0.8; x310.up = 0.8; x311.up = 0.8; x312.up = 0.8; x313.up = 0.8; x314.up = 0.8; x315.lo = 0.2; x315.up = 1; x316.lo = 0.2; x316.up = 1; x317.lo = 0.2; x317.up = 1; x318.lo = 0.2; x318.up = 1; x319.lo = 0.2; x319.up = 1; x320.lo = 0.2; x320.up = 1; x321.lo = 0.2; x321.up = 1; x322.lo = 0.2; x322.up = 1; x323.lo = 0.2; x323.up = 1; x324.lo = 0.2; x324.up = 1; x325.lo = 0.2; x325.up = 1; x326.lo = 0.2; x326.up = 1; x327.lo = 0.2; x327.up = 1; x328.lo = 0.2; x328.up = 1; x329.lo = 0.2; x329.up = 1; x330.lo = 0.2; x330.up = 1; x331.lo = 0.2; x331.up = 1; x332.lo = 0.2; x332.up = 1; x333.lo = 0.2; x333.up = 1; x334.lo = 0.2; x334.up = 1; x335.lo = 0.2; x335.up = 1; x336.lo = 0.2; x336.up = 1; x337.lo = 0.2; x337.up = 1; x338.lo = 0.2; x338.up = 1; x339.up = 0.9; x340.up = 0.9; x341.up = 0.9; x342.up = 0.9; x343.up = 0.9; x344.up = 0.9; x345.up = 0.9; x346.up = 0.9; x347.up = 0.9; x348.up = 0.9; x349.up = 0.9; x350.up = 0.9; x351.lo = 0.2; x351.up = 1; x352.lo = 0.2; x352.up = 1; x353.lo = 0.2; x353.up = 1; x354.lo = 0.2; x354.up = 1; x355.lo = 0.2; x355.up = 1; x356.lo = 0.2; x356.up = 1; x357.lo = 0.2; x357.up = 1; x358.lo = 0.2; x358.up = 1; x359.lo = 0.2; x359.up = 1; x360.lo = 0.2; x360.up = 1; x361.lo = 0.2; x361.up = 1; x362.lo = 0.2; x362.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% maximizing objvar;
Last updated: 2024-12-17 Git hash: 8eaceb91