MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance syn40m03m
Selection of optimal configuration and parameters for a processing system selected from a superstructure containing alternative processing units and interconnections.
Formatsⓘ | ams gms mod nl osil py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | 395.14819000 (ALPHAECP) 395.14895350 (ANTIGONE) 395.14804730 (BARON) 1943.10860000 (BONMIN) 4997.24860000 (COUENNE) 395.14804690 (LINDO) 395.14893260 (SCIP) 395.17311260 (SHOT) |
Referencesⓘ | Duran, Marco A and Grossmann, I E, An Outer-Approximation Algorithm for a Class of Mixed-integer Nonlinear Programs, Mathematical Programming, 36:3, 1986, 307-339. Türkay, Metin and Grossmann, I E, Logic-based MINLP Algorithms for optimal synthesis of process networks, Computers and Chemical Engineering, 20:8, 1996, 959-978. |
Sourceⓘ | Syn40M03M.gms from CMU-IBM MINLP solver project page |
Applicationⓘ | Synthesis of processing system |
Added to libraryⓘ | 28 Sep 2013 |
Problem typeⓘ | MBNLP |
#Variablesⓘ | 630 |
#Binary Variablesⓘ | 240 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 84 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | max |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 198 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 1398 |
#Linear Constraintsⓘ | 1314 |
#Quadratic Constraintsⓘ | 0 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 84 |
Operands in Gen. Nonlin. Functionsⓘ | log |
Constraints curvatureⓘ | convex |
#Nonzeros in Jacobianⓘ | 3240 |
#Nonlinear Nonzeros in Jacobianⓘ | 84 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 84 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 84 |
#Blocks in Hessian of Lagrangianⓘ | 84 |
Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
Maximal blocksize in Hessian of Lagrangianⓘ | 1 |
Average blocksize in Hessian of Lagrangianⓘ | 1.0 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 3.6739e-01 |
Maximal coefficientⓘ | 4.3000e+02 |
Infeasibility of initial pointⓘ | 1 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 1399 67 336 996 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 631 391 240 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 3439 3355 84 0 * * Solve m using MINLP 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,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,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193 ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206 ,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219 ,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232 ,x233,x234,x235,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 ,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284 ,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297 ,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309,b310 ,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,b323 ,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336 ,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348,b349 ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362 ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375 ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388 ,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401 ,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414 ,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427 ,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440 ,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452,b453 ,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466 ,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479 ,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492 ,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505 ,b506,b507,b508,b509,b510,b511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631; 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,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,x184,x185,x186,x187,x188,x189,x190,x191,x192 ,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205 ,x206,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218 ,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231 ,x232,x233,x234,x235,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; Binary Variables b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283 ,b284,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296 ,b297,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,b308,b309 ,b310,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322 ,b323,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335 ,b336,b337,b338,b339,b340,b341,b342,b343,b344,b345,b346,b347,b348 ,b349,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361 ,b362,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374 ,b375,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387 ,b388,b389,b390,b391,b392,b393,b394,b395,b396,b397,b398,b399,b400 ,b401,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413 ,b414,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426 ,b427,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439 ,b440,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b452 ,b453,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465 ,b466,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478 ,b479,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491 ,b492,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504 ,b505,b506,b507,b508,b509,b510,b511; 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; e1.. objvar + x2 + x3 + x4 - 5*x20 - 10*x21 - 5*x22 + 2*x35 + x36 + 2*x37 + 10*x86 + 5*x87 + 5*x88 + 5*x89 + 5*x90 + 5*x91 - 40*x110 - 30*x111 - 15*x112 - 15*x113 - 20*x114 - 25*x115 - 10*x116 - 30*x117 - 40*x118 - 30*x119 - 20*x120 - 20*x121 - 35*x122 - 50*x123 - 20*x124 - 20*x125 - 30*x126 - 35*x127 - 25*x128 - 50*x129 - 10*x130 - 15*x131 - 20*x132 - 20*x133 - 30*x155 - 40*x156 - 40*x157 + x170 + x171 + x172 + 5*x221 + 3*x222 + 4*x223 + x224 + x225 + x226 - 120*x245 - 110*x246 - 150*x247 - 140*x248 - 120*x249 - 100*x250 - 90*x251 - 60*x252 - 150*x253 - 80*x254 - 90*x255 - 120*x256 - 285*x257 - 390*x258 - 350*x259 - 290*x260 - 405*x261 - 190*x262 - 280*x263 - 400*x264 - 430*x265 - 290*x266 - 300*x267 - 240*x268 - 350*x269 - 250*x270 - 300*x271 + 5*b392 + 4*b393 + 6*b394 + 8*b395 + 7*b396 + 6*b397 + 6*b398 + 9*b399 + 4*b400 + 10*b401 + 9*b402 + 5*b403 + 6*b404 + 10*b405 + 6*b406 + 7*b407 + 7*b408 + 4*b409 + 4*b410 + 3*b411 + 2*b412 + 5*b413 + 6*b414 + 7*b415 + 2*b416 + 5*b417 + 2*b418 + 4*b419 + 7*b420 + 4*b421 + 3*b422 + 9*b423 + 3*b424 + 7*b425 + 2*b426 + 9*b427 + 3*b428 + b429 + 9*b430 + 2*b431 + 6*b432 + 3*b433 + 4*b434 + 8*b435 + b436 + 2*b437 + 5*b438 + 2*b439 + 3*b440 + 4*b441 + 3*b442 + 5*b443 + 7*b444 + 6*b445 + 2*b446 + 8*b447 + 4*b448 + b449 + 4*b450 + b451 + 2*b452 + 5*b453 + 2*b454 + 9*b455 + 2*b456 + 9*b457 + 5*b458 + 8*b459 + 4*b460 + 2*b461 + 3*b462 + 8*b463 + 10*b464 + 6*b465 + 3*b466 + 4*b467 + 8*b468 + 7*b469 + 7*b470 + 3*b471 + 9*b472 + 4*b473 + 8*b474 + 6*b475 + 2*b476 + b477 + 3*b478 + 8*b479 + 3*b480 + 4*b481 + 9*b482 + 5*b483 + b484 + 3*b485 + 9*b486 + 5*b487 + 5*b488 + 3*b489 + 3*b490 + 5*b491 + 3*b492 + 2*b493 + 6*b494 + 4*b495 + 6*b496 + 2*b497 + 6*b498 + 6*b499 + 6*b500 + 4*b501 + 3*b502 + 3*b503 + 2*b504 + b505 + 5*b506 + 8*b507 + 6*b508 + 9*b509 + 5*b510 + 2*b511 =E= 0; e2.. x2 - x5 - x8 =E= 0; e3.. x3 - x6 - x9 =E= 0; e4.. x4 - x7 - x10 =E= 0; e5.. - x11 - x14 + x17 =E= 0; e6.. - x12 - x15 + x18 =E= 0; e7.. - x13 - x16 + x19 =E= 0; e8.. x17 - x20 - x23 =E= 0; e9.. x18 - x21 - x24 =E= 0; e10.. x19 - x22 - x25 =E= 0; e11.. x23 - x26 - x29 - x32 =E= 0; e12.. x24 - x27 - x30 - x33 =E= 0; e13.. x25 - x28 - x31 - x34 =E= 0; e14.. x38 - x47 - x50 =E= 0; e15.. x39 - x48 - x51 =E= 0; e16.. x40 - x49 - x52 =E= 0; e17.. x44 - x53 - x56 - x59 =E= 0; e18.. x45 - x54 - x57 - x60 =E= 0; e19.. x46 - x55 - x58 - x61 =E= 0; e20.. x68 - x80 - x83 =E= 0; e21.. x69 - x81 - x84 =E= 0; e22.. x70 - x82 - x85 =E= 0; e23.. - x71 - x89 + x92 =E= 0; e24.. - x72 - x90 + x93 =E= 0; e25.. - x73 - x91 + x94 =E= 0; e26.. x74 - x95 - x98 =E= 0; e27.. x75 - x96 - x99 =E= 0; e28.. x76 - x97 - x100 =E= 0; e29.. x77 - x101 - x104 - x107 =E= 0; e30.. x78 - x102 - x105 - x108 =E= 0; e31.. x79 - x103 - x106 - x109 =E= 0; e32.. x134 - x137 =E= 0; e33.. x135 - x138 =E= 0; e34.. x136 - x139 =E= 0; e35.. x137 - x140 - x143 =E= 0; e36.. x138 - x141 - x144 =E= 0; e37.. x139 - x142 - x145 =E= 0; e38.. - x146 - x149 + x152 =E= 0; e39.. - x147 - x150 + x153 =E= 0; e40.. - x148 - x151 + x154 =E= 0; e41.. x152 - x155 - x158 =E= 0; e42.. x153 - x156 - x159 =E= 0; e43.. x154 - x157 - x160 =E= 0; e44.. x158 - x161 - x164 - x167 =E= 0; e45.. x159 - x162 - x165 - x168 =E= 0; e46.. x160 - x163 - x166 - x169 =E= 0; e47.. x173 - x182 - x185 =E= 0; e48.. x174 - x183 - x186 =E= 0; e49.. x175 - x184 - x187 =E= 0; e50.. x179 - x188 - x191 - x194 =E= 0; e51.. x180 - x189 - x192 - x195 =E= 0; e52.. x181 - x190 - x193 - x196 =E= 0; e53.. x203 - x215 - x218 =E= 0; e54.. x204 - x216 - x219 =E= 0; e55.. x205 - x217 - x220 =E= 0; e56.. - x206 - x224 + x227 =E= 0; e57.. - x207 - x225 + x228 =E= 0; e58.. - x208 - x226 + x229 =E= 0; e59.. x209 - x230 - x233 =E= 0; e60.. x210 - x231 - x234 =E= 0; e61.. x211 - x232 - x235 =E= 0; e62.. x212 - x236 - x239 - x242 =E= 0; e63.. x213 - x237 - x240 - x243 =E= 0; e64.. x214 - x238 - x241 - x244 =E= 0; e65.. -log(1 + x5) + x11 + b272 =L= 1; e66.. -log(1 + x6) + x12 + b273 =L= 1; e67.. -log(1 + x7) + x13 + b274 =L= 1; e68.. x5 - 40*b272 =L= 0; e69.. x6 - 40*b273 =L= 0; e70.. x7 - 40*b274 =L= 0; e71.. x11 - 3.71357206670431*b272 =L= 0; e72.. x12 - 3.71357206670431*b273 =L= 0; e73.. x13 - 3.71357206670431*b274 =L= 0; e74.. -1.2*log(1 + x8) + x14 + b275 =L= 1; e75.. -1.2*log(1 + x9) + x15 + b276 =L= 1; e76.. -1.2*log(1 + x10) + x16 + b277 =L= 1; e77.. x8 - 40*b275 =L= 0; e78.. x9 - 40*b276 =L= 0; e79.. x10 - 40*b277 =L= 0; e80.. x14 - 4.45628648004517*b275 =L= 0; e81.. x15 - 4.45628648004517*b276 =L= 0; e82.. x16 - 4.45628648004517*b277 =L= 0; e83.. - 0.75*x26 + x38 + b278 =L= 1; e84.. - 0.75*x27 + x39 + b279 =L= 1; e85.. - 0.75*x28 + x40 + b280 =L= 1; e86.. - 0.75*x26 + x38 - b278 =G= -1; e87.. - 0.75*x27 + x39 - b279 =G= -1; e88.. - 0.75*x28 + x40 - b280 =G= -1; e89.. x26 - 4.45628648004517*b278 =L= 0; e90.. x27 - 4.45628648004517*b279 =L= 0; e91.. x28 - 4.45628648004517*b280 =L= 0; e92.. x38 - 3.34221486003388*b278 =L= 0; e93.. x39 - 3.34221486003388*b279 =L= 0; e94.. x40 - 3.34221486003388*b280 =L= 0; e95.. -1.5*log(1 + x29) + x41 + b281 =L= 1; e96.. -1.5*log(1 + x30) + x42 + b282 =L= 1; e97.. -1.5*log(1 + x31) + x43 + b283 =L= 1; e98.. x29 - 4.45628648004517*b281 =L= 0; e99.. x30 - 4.45628648004517*b282 =L= 0; e100.. x31 - 4.45628648004517*b283 =L= 0; e101.. x41 - 2.54515263975353*b281 =L= 0; e102.. x42 - 2.54515263975353*b282 =L= 0; e103.. x43 - 2.54515263975353*b283 =L= 0; e104.. - x32 + x44 + b284 =L= 1; e105.. - x33 + x45 + b285 =L= 1; e106.. - x34 + x46 + b286 =L= 1; e107.. - x32 + x44 - b284 =G= -1; e108.. - x33 + x45 - b285 =G= -1; e109.. - x34 + x46 - b286 =G= -1; e110.. - 0.5*x35 + x44 + b284 =L= 1; e111.. - 0.5*x36 + x45 + b285 =L= 1; e112.. - 0.5*x37 + x46 + b286 =L= 1; e113.. - 0.5*x35 + x44 - b284 =G= -1; e114.. - 0.5*x36 + x45 - b285 =G= -1; e115.. - 0.5*x37 + x46 - b286 =G= -1; e116.. x32 - 4.45628648004517*b284 =L= 0; e117.. x33 - 4.45628648004517*b285 =L= 0; e118.. x34 - 4.45628648004517*b286 =L= 0; e119.. x35 - 30*b284 =L= 0; e120.. x36 - 30*b285 =L= 0; e121.. x37 - 30*b286 =L= 0; e122.. x44 - 15*b284 =L= 0; e123.. x45 - 15*b285 =L= 0; e124.. x46 - 15*b286 =L= 0; e125.. -1.25*log(1 + x47) + x62 + b287 =L= 1; e126.. -1.25*log(1 + x48) + x63 + b288 =L= 1; e127.. -1.25*log(1 + x49) + x64 + b289 =L= 1; e128.. x47 - 3.34221486003388*b287 =L= 0; e129.. x48 - 3.34221486003388*b288 =L= 0; e130.. x49 - 3.34221486003388*b289 =L= 0; e131.. x62 - 1.83548069293539*b287 =L= 0; e132.. x63 - 1.83548069293539*b288 =L= 0; e133.. x64 - 1.83548069293539*b289 =L= 0; e134.. -0.9*log(1 + x50) + x65 + b290 =L= 1; e135.. -0.9*log(1 + x51) + x66 + b291 =L= 1; e136.. -0.9*log(1 + x52) + x67 + b292 =L= 1; e137.. x50 - 3.34221486003388*b290 =L= 0; e138.. x51 - 3.34221486003388*b291 =L= 0; e139.. x52 - 3.34221486003388*b292 =L= 0; e140.. x65 - 1.32154609891348*b290 =L= 0; e141.. x66 - 1.32154609891348*b291 =L= 0; e142.. x67 - 1.32154609891348*b292 =L= 0; e143.. -log(1 + x41) + x68 + b293 =L= 1; e144.. -log(1 + x42) + x69 + b294 =L= 1; e145.. -log(1 + x43) + x70 + b295 =L= 1; e146.. x41 - 2.54515263975353*b293 =L= 0; e147.. x42 - 2.54515263975353*b294 =L= 0; e148.. x43 - 2.54515263975353*b295 =L= 0; e149.. x68 - 1.26558121681553*b293 =L= 0; e150.. x69 - 1.26558121681553*b294 =L= 0; e151.. x70 - 1.26558121681553*b295 =L= 0; e152.. - 0.9*x53 + x71 + b296 =L= 1; e153.. - 0.9*x54 + x72 + b297 =L= 1; e154.. - 0.9*x55 + x73 + b298 =L= 1; e155.. - 0.9*x53 + x71 - b296 =G= -1; e156.. - 0.9*x54 + x72 - b297 =G= -1; e157.. - 0.9*x55 + x73 - b298 =G= -1; e158.. x53 - 15*b296 =L= 0; e159.. x54 - 15*b297 =L= 0; e160.. x55 - 15*b298 =L= 0; e161.. x71 - 13.5*b296 =L= 0; e162.. x72 - 13.5*b297 =L= 0; e163.. x73 - 13.5*b298 =L= 0; e164.. - 0.6*x56 + x74 + b299 =L= 1; e165.. - 0.6*x57 + x75 + b300 =L= 1; e166.. - 0.6*x58 + x76 + b301 =L= 1; e167.. - 0.6*x56 + x74 - b299 =G= -1; e168.. - 0.6*x57 + x75 - b300 =G= -1; e169.. - 0.6*x58 + x76 - b301 =G= -1; e170.. x56 - 15*b299 =L= 0; e171.. x57 - 15*b300 =L= 0; e172.. x58 - 15*b301 =L= 0; e173.. x74 - 9*b299 =L= 0; e174.. x75 - 9*b300 =L= 0; e175.. x76 - 9*b301 =L= 0; e176.. -1.1*log(1 + x59) + x77 + b302 =L= 1; e177.. -1.1*log(1 + x60) + x78 + b303 =L= 1; e178.. -1.1*log(1 + x61) + x79 + b304 =L= 1; e179.. x59 - 15*b302 =L= 0; e180.. x60 - 15*b303 =L= 0; e181.. x61 - 15*b304 =L= 0; e182.. x77 - 3.04984759446376*b302 =L= 0; e183.. x78 - 3.04984759446376*b303 =L= 0; e184.. x79 - 3.04984759446376*b304 =L= 0; e185.. - 0.9*x62 + x110 + b305 =L= 1; e186.. - 0.9*x63 + x111 + b306 =L= 1; e187.. - 0.9*x64 + x112 + b307 =L= 1; e188.. - 0.9*x62 + x110 - b305 =G= -1; e189.. - 0.9*x63 + x111 - b306 =G= -1; e190.. - 0.9*x64 + x112 - b307 =G= -1; e191.. - x86 + x110 + b305 =L= 1; e192.. - x87 + x111 + b306 =L= 1; e193.. - x88 + x112 + b307 =L= 1; e194.. - x86 + x110 - b305 =G= -1; e195.. - x87 + x111 - b306 =G= -1; e196.. - x88 + x112 - b307 =G= -1; e197.. x62 - 1.83548069293539*b305 =L= 0; e198.. x63 - 1.83548069293539*b306 =L= 0; e199.. x64 - 1.83548069293539*b307 =L= 0; e200.. x86 - 20*b305 =L= 0; e201.. x87 - 20*b306 =L= 0; e202.. x88 - 20*b307 =L= 0; e203.. x110 - 20*b305 =L= 0; e204.. x111 - 20*b306 =L= 0; e205.. x112 - 20*b307 =L= 0; e206.. -log(1 + x65) + x113 + b308 =L= 1; e207.. -log(1 + x66) + x114 + b309 =L= 1; e208.. -log(1 + x67) + x115 + b310 =L= 1; e209.. x65 - 1.32154609891348*b308 =L= 0; e210.. x66 - 1.32154609891348*b309 =L= 0; e211.. x67 - 1.32154609891348*b310 =L= 0; e212.. x113 - 0.842233385663186*b308 =L= 0; e213.. x114 - 0.842233385663186*b309 =L= 0; e214.. x115 - 0.842233385663186*b310 =L= 0; e215.. -0.7*log(1 + x80) + x116 + b311 =L= 1; e216.. -0.7*log(1 + x81) + x117 + b312 =L= 1; e217.. -0.7*log(1 + x82) + x118 + b313 =L= 1; e218.. x80 - 1.26558121681553*b311 =L= 0; e219.. x81 - 1.26558121681553*b312 =L= 0; e220.. x82 - 1.26558121681553*b313 =L= 0; e221.. x116 - 0.572481933717686*b311 =L= 0; e222.. x117 - 0.572481933717686*b312 =L= 0; e223.. x118 - 0.572481933717686*b313 =L= 0; e224.. -0.65*log(1 + x83) + x119 + b314 =L= 1; e225.. -0.65*log(1 + x84) + x120 + b315 =L= 1; e226.. -0.65*log(1 + x85) + x121 + b316 =L= 1; e227.. -0.65*log(1 + x92) + x119 + b314 =L= 1; e228.. -0.65*log(1 + x93) + x120 + b315 =L= 1; e229.. -0.65*log(1 + x94) + x121 + b316 =L= 1; e230.. x83 - 1.26558121681553*b314 =L= 0; e231.. x84 - 1.26558121681553*b315 =L= 0; e232.. x85 - 1.26558121681553*b316 =L= 0; e233.. x92 - 33.5*b314 =L= 0; e234.. x93 - 33.5*b315 =L= 0; e235.. x94 - 33.5*b316 =L= 0; e236.. x119 - 2.30162356062425*b314 =L= 0; e237.. x120 - 2.30162356062425*b315 =L= 0; e238.. x121 - 2.30162356062425*b316 =L= 0; e239.. - x95 + x122 + b317 =L= 1; e240.. - x96 + x123 + b318 =L= 1; e241.. - x97 + x124 + b319 =L= 1; e242.. - x95 + x122 - b317 =G= -1; e243.. - x96 + x123 - b318 =G= -1; e244.. - x97 + x124 - b319 =G= -1; e245.. x95 - 9*b317 =L= 0; e246.. x96 - 9*b318 =L= 0; e247.. x97 - 9*b319 =L= 0; e248.. x122 - 9*b317 =L= 0; e249.. x123 - 9*b318 =L= 0; e250.. x124 - 9*b319 =L= 0; e251.. - x98 + x125 + b320 =L= 1; e252.. - x99 + x126 + b321 =L= 1; e253.. - x100 + x127 + b322 =L= 1; e254.. - x98 + x125 - b320 =G= -1; e255.. - x99 + x126 - b321 =G= -1; e256.. - x100 + x127 - b322 =G= -1; e257.. x98 - 9*b320 =L= 0; e258.. x99 - 9*b321 =L= 0; e259.. x100 - 9*b322 =L= 0; e260.. x125 - 9*b320 =L= 0; e261.. x126 - 9*b321 =L= 0; e262.. x127 - 9*b322 =L= 0; e263.. -0.75*log(1 + x101) + x128 + b323 =L= 1; e264.. -0.75*log(1 + x102) + x129 + b324 =L= 1; e265.. -0.75*log(1 + x103) + x130 + b325 =L= 1; e266.. x101 - 3.04984759446376*b323 =L= 0; e267.. x102 - 3.04984759446376*b324 =L= 0; e268.. x103 - 3.04984759446376*b325 =L= 0; e269.. x128 - 1.04900943706034*b323 =L= 0; e270.. x129 - 1.04900943706034*b324 =L= 0; e271.. x130 - 1.04900943706034*b325 =L= 0; e272.. -0.8*log(1 + x104) + x131 + b326 =L= 1; e273.. -0.8*log(1 + x105) + x132 + b327 =L= 1; e274.. -0.8*log(1 + x106) + x133 + b328 =L= 1; e275.. x104 - 3.04984759446376*b326 =L= 0; e276.. x105 - 3.04984759446376*b327 =L= 0; e277.. x106 - 3.04984759446376*b328 =L= 0; e278.. x131 - 1.11894339953103*b326 =L= 0; e279.. x132 - 1.11894339953103*b327 =L= 0; e280.. x133 - 1.11894339953103*b328 =L= 0; e281.. -0.85*log(1 + x107) + x134 + b329 =L= 1; e282.. -0.85*log(1 + x108) + x135 + b330 =L= 1; e283.. -0.85*log(1 + x109) + x136 + b331 =L= 1; e284.. x107 - 3.04984759446376*b329 =L= 0; e285.. x108 - 3.04984759446376*b330 =L= 0; e286.. x109 - 3.04984759446376*b331 =L= 0; e287.. x134 - 1.18887736200171*b329 =L= 0; e288.. x135 - 1.18887736200171*b330 =L= 0; e289.. x136 - 1.18887736200171*b331 =L= 0; e290.. -log(1 + x140) + x146 + b332 =L= 1; e291.. -log(1 + x141) + x147 + b333 =L= 1; e292.. -log(1 + x142) + x148 + b334 =L= 1; e293.. x140 - 1.18887736200171*b332 =L= 0; e294.. x141 - 1.18887736200171*b333 =L= 0; e295.. x142 - 1.18887736200171*b334 =L= 0; e296.. x146 - 0.78338879230327*b332 =L= 0; e297.. x147 - 0.78338879230327*b333 =L= 0; e298.. x148 - 0.78338879230327*b334 =L= 0; e299.. -1.2*log(1 + x143) + x149 + b335 =L= 1; e300.. -1.2*log(1 + x144) + x150 + b336 =L= 1; e301.. -1.2*log(1 + x145) + x151 + b337 =L= 1; e302.. x143 - 1.18887736200171*b335 =L= 0; e303.. x144 - 1.18887736200171*b336 =L= 0; e304.. x145 - 1.18887736200171*b337 =L= 0; e305.. x149 - 0.940066550763924*b335 =L= 0; e306.. x150 - 0.940066550763924*b336 =L= 0; e307.. x151 - 0.940066550763924*b337 =L= 0; e308.. - 0.75*x161 + x173 + b338 =L= 1; e309.. - 0.75*x162 + x174 + b339 =L= 1; e310.. - 0.75*x163 + x175 + b340 =L= 1; e311.. - 0.75*x161 + x173 - b338 =G= -1; e312.. - 0.75*x162 + x174 - b339 =G= -1; e313.. - 0.75*x163 + x175 - b340 =G= -1; e314.. x161 - 0.940066550763924*b338 =L= 0; e315.. x162 - 0.940066550763924*b339 =L= 0; e316.. x163 - 0.940066550763924*b340 =L= 0; e317.. x173 - 0.705049913072943*b338 =L= 0; e318.. x174 - 0.705049913072943*b339 =L= 0; e319.. x175 - 0.705049913072943*b340 =L= 0; e320.. -1.5*log(1 + x164) + x176 + b341 =L= 1; e321.. -1.5*log(1 + x165) + x177 + b342 =L= 1; e322.. -1.5*log(1 + x166) + x178 + b343 =L= 1; e323.. x164 - 0.940066550763924*b341 =L= 0; e324.. x165 - 0.940066550763924*b342 =L= 0; e325.. x166 - 0.940066550763924*b343 =L= 0; e326.. x176 - 0.994083415506506*b341 =L= 0; e327.. x177 - 0.994083415506506*b342 =L= 0; e328.. x178 - 0.994083415506506*b343 =L= 0; e329.. - x167 + x179 + b344 =L= 1; e330.. - x168 + x180 + b345 =L= 1; e331.. - x169 + x181 + b346 =L= 1; e332.. - x167 + x179 - b344 =G= -1; e333.. - x168 + x180 - b345 =G= -1; e334.. - x169 + x181 - b346 =G= -1; e335.. - 0.5*x170 + x179 + b344 =L= 1; e336.. - 0.5*x171 + x180 + b345 =L= 1; e337.. - 0.5*x172 + x181 + b346 =L= 1; e338.. - 0.5*x170 + x179 - b344 =G= -1; e339.. - 0.5*x171 + x180 - b345 =G= -1; e340.. - 0.5*x172 + x181 - b346 =G= -1; e341.. x167 - 0.940066550763924*b344 =L= 0; e342.. x168 - 0.940066550763924*b345 =L= 0; e343.. x169 - 0.940066550763924*b346 =L= 0; e344.. x170 - 30*b344 =L= 0; e345.. x171 - 30*b345 =L= 0; e346.. x172 - 30*b346 =L= 0; e347.. x179 - 15*b344 =L= 0; e348.. x180 - 15*b345 =L= 0; e349.. x181 - 15*b346 =L= 0; e350.. -1.25*log(1 + x182) + x197 + b347 =L= 1; e351.. -1.25*log(1 + x183) + x198 + b348 =L= 1; e352.. -1.25*log(1 + x184) + x199 + b349 =L= 1; e353.. x182 - 0.705049913072943*b347 =L= 0; e354.. x183 - 0.705049913072943*b348 =L= 0; e355.. x184 - 0.705049913072943*b349 =L= 0; e356.. x197 - 0.666992981045719*b347 =L= 0; e357.. x198 - 0.666992981045719*b348 =L= 0; e358.. x199 - 0.666992981045719*b349 =L= 0; e359.. -0.9*log(1 + x185) + x200 + b350 =L= 1; e360.. -0.9*log(1 + x186) + x201 + b351 =L= 1; e361.. -0.9*log(1 + x187) + x202 + b352 =L= 1; e362.. x185 - 0.705049913072943*b350 =L= 0; e363.. x186 - 0.705049913072943*b351 =L= 0; e364.. x187 - 0.705049913072943*b352 =L= 0; e365.. x200 - 0.480234946352917*b350 =L= 0; e366.. x201 - 0.480234946352917*b351 =L= 0; e367.. x202 - 0.480234946352917*b352 =L= 0; e368.. -log(1 + x176) + x203 + b353 =L= 1; e369.. -log(1 + x177) + x204 + b354 =L= 1; e370.. -log(1 + x178) + x205 + b355 =L= 1; e371.. x176 - 0.994083415506506*b353 =L= 0; e372.. x177 - 0.994083415506506*b354 =L= 0; e373.. x178 - 0.994083415506506*b355 =L= 0; e374.. x203 - 0.690184503917672*b353 =L= 0; e375.. x204 - 0.690184503917672*b354 =L= 0; e376.. x205 - 0.690184503917672*b355 =L= 0; e377.. - 0.9*x188 + x206 + b356 =L= 1; e378.. - 0.9*x189 + x207 + b357 =L= 1; e379.. - 0.9*x190 + x208 + b358 =L= 1; e380.. - 0.9*x188 + x206 - b356 =G= -1; e381.. - 0.9*x189 + x207 - b357 =G= -1; e382.. - 0.9*x190 + x208 - b358 =G= -1; e383.. x188 - 15*b356 =L= 0; e384.. x189 - 15*b357 =L= 0; e385.. x190 - 15*b358 =L= 0; e386.. x206 - 13.5*b356 =L= 0; e387.. x207 - 13.5*b357 =L= 0; e388.. x208 - 13.5*b358 =L= 0; e389.. - 0.6*x191 + x209 + b359 =L= 1; e390.. - 0.6*x192 + x210 + b360 =L= 1; e391.. - 0.6*x193 + x211 + b361 =L= 1; e392.. - 0.6*x191 + x209 - b359 =G= -1; e393.. - 0.6*x192 + x210 - b360 =G= -1; e394.. - 0.6*x193 + x211 - b361 =G= -1; e395.. x191 - 15*b359 =L= 0; e396.. x192 - 15*b360 =L= 0; e397.. x193 - 15*b361 =L= 0; e398.. x209 - 9*b359 =L= 0; e399.. x210 - 9*b360 =L= 0; e400.. x211 - 9*b361 =L= 0; e401.. -1.1*log(1 + x194) + x212 + b362 =L= 1; e402.. -1.1*log(1 + x195) + x213 + b363 =L= 1; e403.. -1.1*log(1 + x196) + x214 + b364 =L= 1; e404.. x194 - 15*b362 =L= 0; e405.. x195 - 15*b363 =L= 0; e406.. x196 - 15*b364 =L= 0; e407.. x212 - 3.04984759446376*b362 =L= 0; e408.. x213 - 3.04984759446376*b363 =L= 0; e409.. x214 - 3.04984759446376*b364 =L= 0; e410.. - 0.9*x197 + x245 + b365 =L= 1; e411.. - 0.9*x198 + x246 + b366 =L= 1; e412.. - 0.9*x199 + x247 + b367 =L= 1; e413.. - 0.9*x197 + x245 - b365 =G= -1; e414.. - 0.9*x198 + x246 - b366 =G= -1; e415.. - 0.9*x199 + x247 - b367 =G= -1; e416.. - x221 + x245 + b365 =L= 1; e417.. - x222 + x246 + b366 =L= 1; e418.. - x223 + x247 + b367 =L= 1; e419.. - x221 + x245 - b365 =G= -1; e420.. - x222 + x246 - b366 =G= -1; e421.. - x223 + x247 - b367 =G= -1; e422.. x197 - 0.666992981045719*b365 =L= 0; e423.. x198 - 0.666992981045719*b366 =L= 0; e424.. x199 - 0.666992981045719*b367 =L= 0; e425.. x221 - 25*b365 =L= 0; e426.. x222 - 25*b366 =L= 0; e427.. x223 - 25*b367 =L= 0; e428.. x245 - 25*b365 =L= 0; e429.. x246 - 25*b366 =L= 0; e430.. x247 - 25*b367 =L= 0; e431.. -log(1 + x200) + x248 + b368 =L= 1; e432.. -log(1 + x201) + x249 + b369 =L= 1; e433.. -log(1 + x202) + x250 + b370 =L= 1; e434.. x200 - 0.480234946352917*b368 =L= 0; e435.. x201 - 0.480234946352917*b369 =L= 0; e436.. x202 - 0.480234946352917*b370 =L= 0; e437.. x248 - 0.392200822712722*b368 =L= 0; e438.. x249 - 0.392200822712722*b369 =L= 0; e439.. x250 - 0.392200822712722*b370 =L= 0; e440.. -0.7*log(1 + x215) + x251 + b371 =L= 1; e441.. -0.7*log(1 + x216) + x252 + b372 =L= 1; e442.. -0.7*log(1 + x217) + x253 + b373 =L= 1; e443.. x215 - 0.690184503917672*b371 =L= 0; e444.. x216 - 0.690184503917672*b372 =L= 0; e445.. x217 - 0.690184503917672*b373 =L= 0; e446.. x251 - 0.367386387824208*b371 =L= 0; e447.. x252 - 0.367386387824208*b372 =L= 0; e448.. x253 - 0.367386387824208*b373 =L= 0; e449.. -0.65*log(1 + x218) + x254 + b374 =L= 1; e450.. -0.65*log(1 + x219) + x255 + b375 =L= 1; e451.. -0.65*log(1 + x220) + x256 + b376 =L= 1; e452.. -0.65*log(1 + x227) + x254 + b374 =L= 1; e453.. -0.65*log(1 + x228) + x255 + b375 =L= 1; e454.. -0.65*log(1 + x229) + x256 + b376 =L= 1; e455.. x218 - 0.690184503917672*b374 =L= 0; e456.. x219 - 0.690184503917672*b375 =L= 0; e457.. x220 - 0.690184503917672*b376 =L= 0; e458.. x227 - 38.5*b374 =L= 0; e459.. x228 - 38.5*b375 =L= 0; e460.. x229 - 38.5*b376 =L= 0; e461.. x254 - 2.3895954367396*b374 =L= 0; e462.. x255 - 2.3895954367396*b375 =L= 0; e463.. x256 - 2.3895954367396*b376 =L= 0; e464.. - x230 + x257 + b377 =L= 1; e465.. - x231 + x258 + b378 =L= 1; e466.. - x232 + x259 + b379 =L= 1; e467.. - x230 + x257 - b377 =G= -1; e468.. - x231 + x258 - b378 =G= -1; e469.. - x232 + x259 - b379 =G= -1; e470.. x230 - 9*b377 =L= 0; e471.. x231 - 9*b378 =L= 0; e472.. x232 - 9*b379 =L= 0; e473.. x257 - 9*b377 =L= 0; e474.. x258 - 9*b378 =L= 0; e475.. x259 - 9*b379 =L= 0; e476.. - x233 + x260 + b380 =L= 1; e477.. - x234 + x261 + b381 =L= 1; e478.. - x235 + x262 + b382 =L= 1; e479.. - x233 + x260 - b380 =G= -1; e480.. - x234 + x261 - b381 =G= -1; e481.. - x235 + x262 - b382 =G= -1; e482.. x233 - 9*b380 =L= 0; e483.. x234 - 9*b381 =L= 0; e484.. x235 - 9*b382 =L= 0; e485.. x260 - 9*b380 =L= 0; e486.. x261 - 9*b381 =L= 0; e487.. x262 - 9*b382 =L= 0; e488.. -0.75*log(1 + x236) + x263 + b383 =L= 1; e489.. -0.75*log(1 + x237) + x264 + b384 =L= 1; e490.. -0.75*log(1 + x238) + x265 + b385 =L= 1; e491.. x236 - 3.04984759446376*b383 =L= 0; e492.. x237 - 3.04984759446376*b384 =L= 0; e493.. x238 - 3.04984759446376*b385 =L= 0; e494.. x263 - 1.04900943706034*b383 =L= 0; e495.. x264 - 1.04900943706034*b384 =L= 0; e496.. x265 - 1.04900943706034*b385 =L= 0; e497.. -0.8*log(1 + x239) + x266 + b386 =L= 1; e498.. -0.8*log(1 + x240) + x267 + b387 =L= 1; e499.. -0.8*log(1 + x241) + x268 + b388 =L= 1; e500.. x239 - 3.04984759446376*b386 =L= 0; e501.. x240 - 3.04984759446376*b387 =L= 0; e502.. x241 - 3.04984759446376*b388 =L= 0; e503.. x266 - 1.11894339953103*b386 =L= 0; e504.. x267 - 1.11894339953103*b387 =L= 0; e505.. x268 - 1.11894339953103*b388 =L= 0; e506.. -0.85*log(1 + x242) + x269 + b389 =L= 1; e507.. -0.85*log(1 + x243) + x270 + b390 =L= 1; e508.. -0.85*log(1 + x244) + x271 + b391 =L= 1; e509.. x242 - 3.04984759446376*b389 =L= 0; e510.. x243 - 3.04984759446376*b390 =L= 0; e511.. x244 - 3.04984759446376*b391 =L= 0; e512.. x269 - 1.18887736200171*b389 =L= 0; e513.. x270 - 1.18887736200171*b390 =L= 0; e514.. x271 - 1.18887736200171*b391 =L= 0; e515.. 5*b392 + x512 =L= 0; e516.. 4*b393 + x513 =L= 0; e517.. 6*b394 + x514 =L= 0; e518.. 8*b395 + x515 =L= 0; e519.. 7*b396 + x516 =L= 0; e520.. 6*b397 + x517 =L= 0; e521.. 6*b398 + x518 =L= 0; e522.. 9*b399 + x519 =L= 0; e523.. 4*b400 + x520 =L= 0; e524.. 10*b401 + x521 =L= 0; e525.. 9*b402 + x522 =L= 0; e526.. 5*b403 + x523 =L= 0; e527.. 6*b404 + x524 =L= 0; e528.. 10*b405 + x525 =L= 0; e529.. 6*b406 + x526 =L= 0; e530.. 7*b407 + x527 =L= 0; e531.. 7*b408 + x528 =L= 0; e532.. 4*b409 + x529 =L= 0; e533.. 4*b410 + x530 =L= 0; e534.. 3*b411 + x531 =L= 0; e535.. 2*b412 + x532 =L= 0; e536.. 5*b413 + x533 =L= 0; e537.. 6*b414 + x534 =L= 0; e538.. 7*b415 + x535 =L= 0; e539.. 2*b416 + x536 =L= 0; e540.. 5*b417 + x537 =L= 0; e541.. 2*b418 + x538 =L= 0; e542.. 4*b419 + x539 =L= 0; e543.. 7*b420 + x540 =L= 0; e544.. 4*b421 + x541 =L= 0; e545.. 3*b422 + x542 =L= 0; e546.. 9*b423 + x543 =L= 0; e547.. 3*b424 + x544 =L= 0; e548.. 7*b425 + x545 =L= 0; e549.. 2*b426 + x546 =L= 0; e550.. 9*b427 + x547 =L= 0; e551.. 3*b428 + x548 =L= 0; e552.. b429 + x549 =L= 0; e553.. 9*b430 + x550 =L= 0; e554.. 2*b431 + x551 =L= 0; e555.. 6*b432 + x552 =L= 0; e556.. 3*b433 + x553 =L= 0; e557.. 4*b434 + x554 =L= 0; e558.. 8*b435 + x555 =L= 0; e559.. b436 + x556 =L= 0; e560.. 2*b437 + x557 =L= 0; e561.. 5*b438 + x558 =L= 0; e562.. 2*b439 + x559 =L= 0; e563.. 3*b440 + x560 =L= 0; e564.. 4*b441 + x561 =L= 0; e565.. 3*b442 + x562 =L= 0; e566.. 5*b443 + x563 =L= 0; e567.. 7*b444 + x564 =L= 0; e568.. 6*b445 + x565 =L= 0; e569.. 2*b446 + x566 =L= 0; e570.. 8*b447 + x567 =L= 0; e571.. 4*b448 + x568 =L= 0; e572.. b449 + x569 =L= 0; e573.. 4*b450 + x570 =L= 0; e574.. b451 + x571 =L= 0; e575.. 2*b452 + x572 =L= 0; e576.. 5*b453 + x573 =L= 0; e577.. 2*b454 + x574 =L= 0; e578.. 9*b455 + x575 =L= 0; e579.. 2*b456 + x576 =L= 0; e580.. 9*b457 + x577 =L= 0; e581.. 5*b458 + x578 =L= 0; e582.. 8*b459 + x579 =L= 0; e583.. 4*b460 + x580 =L= 0; e584.. 2*b461 + x581 =L= 0; e585.. 3*b462 + x582 =L= 0; e586.. 8*b463 + x583 =L= 0; e587.. 10*b464 + x584 =L= 0; e588.. 6*b465 + x585 =L= 0; e589.. 3*b466 + x586 =L= 0; e590.. 4*b467 + x587 =L= 0; e591.. 8*b468 + x588 =L= 0; e592.. 7*b469 + x589 =L= 0; e593.. 7*b470 + x590 =L= 0; e594.. 3*b471 + x591 =L= 0; e595.. 9*b472 + x592 =L= 0; e596.. 4*b473 + x593 =L= 0; e597.. 8*b474 + x594 =L= 0; e598.. 6*b475 + x595 =L= 0; e599.. 2*b476 + x596 =L= 0; e600.. b477 + x597 =L= 0; e601.. 3*b478 + x598 =L= 0; e602.. 8*b479 + x599 =L= 0; e603.. 3*b480 + x600 =L= 0; e604.. 4*b481 + x601 =L= 0; e605.. 9*b482 + x602 =L= 0; e606.. 5*b483 + x603 =L= 0; e607.. b484 + x604 =L= 0; e608.. 3*b485 + x605 =L= 0; e609.. 9*b486 + x606 =L= 0; e610.. 5*b487 + x607 =L= 0; e611.. 5*b488 + x608 =L= 0; e612.. 3*b489 + x609 =L= 0; e613.. 3*b490 + x610 =L= 0; e614.. 5*b491 + x611 =L= 0; e615.. 3*b492 + x612 =L= 0; e616.. 2*b493 + x613 =L= 0; e617.. 6*b494 + x614 =L= 0; e618.. 4*b495 + x615 =L= 0; e619.. 6*b496 + x616 =L= 0; e620.. 2*b497 + x617 =L= 0; e621.. 6*b498 + x618 =L= 0; e622.. 6*b499 + x619 =L= 0; e623.. 6*b500 + x620 =L= 0; e624.. 4*b501 + x621 =L= 0; e625.. 3*b502 + x622 =L= 0; e626.. 3*b503 + x623 =L= 0; e627.. 2*b504 + x624 =L= 0; e628.. b505 + x625 =L= 0; e629.. 5*b506 + x626 =L= 0; e630.. 8*b507 + x627 =L= 0; e631.. 6*b508 + x628 =L= 0; e632.. 9*b509 + x629 =L= 0; e633.. 5*b510 + x630 =L= 0; e634.. 2*b511 + x631 =L= 0; e635.. 5*b392 + x512 =G= 0; e636.. 4*b393 + x513 =G= 0; e637.. 6*b394 + x514 =G= 0; e638.. 8*b395 + x515 =G= 0; e639.. 7*b396 + x516 =G= 0; e640.. 6*b397 + x517 =G= 0; e641.. 6*b398 + x518 =G= 0; e642.. 9*b399 + x519 =G= 0; e643.. 4*b400 + x520 =G= 0; e644.. 10*b401 + x521 =G= 0; e645.. 9*b402 + x522 =G= 0; e646.. 5*b403 + x523 =G= 0; e647.. 6*b404 + x524 =G= 0; e648.. 10*b405 + x525 =G= 0; e649.. 6*b406 + x526 =G= 0; e650.. 7*b407 + x527 =G= 0; e651.. 7*b408 + x528 =G= 0; e652.. 4*b409 + x529 =G= 0; e653.. 4*b410 + x530 =G= 0; e654.. 3*b411 + x531 =G= 0; e655.. 2*b412 + x532 =G= 0; e656.. 5*b413 + x533 =G= 0; e657.. 6*b414 + x534 =G= 0; e658.. 7*b415 + x535 =G= 0; e659.. 2*b416 + x536 =G= 0; e660.. 5*b417 + x537 =G= 0; e661.. 2*b418 + x538 =G= 0; e662.. 4*b419 + x539 =G= 0; e663.. 7*b420 + x540 =G= 0; e664.. 4*b421 + x541 =G= 0; e665.. 3*b422 + x542 =G= 0; e666.. 9*b423 + x543 =G= 0; e667.. 3*b424 + x544 =G= 0; e668.. 7*b425 + x545 =G= 0; e669.. 2*b426 + x546 =G= 0; e670.. 9*b427 + x547 =G= 0; e671.. 3*b428 + x548 =G= 0; e672.. b429 + x549 =G= 0; e673.. 9*b430 + x550 =G= 0; e674.. 2*b431 + x551 =G= 0; e675.. 6*b432 + x552 =G= 0; e676.. 3*b433 + x553 =G= 0; e677.. 4*b434 + x554 =G= 0; e678.. 8*b435 + x555 =G= 0; e679.. b436 + x556 =G= 0; e680.. 2*b437 + x557 =G= 0; e681.. 5*b438 + x558 =G= 0; e682.. 2*b439 + x559 =G= 0; e683.. 3*b440 + x560 =G= 0; e684.. 4*b441 + x561 =G= 0; e685.. 3*b442 + x562 =G= 0; e686.. 5*b443 + x563 =G= 0; e687.. 7*b444 + x564 =G= 0; e688.. 6*b445 + x565 =G= 0; e689.. 2*b446 + x566 =G= 0; e690.. 8*b447 + x567 =G= 0; e691.. 4*b448 + x568 =G= 0; e692.. b449 + x569 =G= 0; e693.. 4*b450 + x570 =G= 0; e694.. b451 + x571 =G= 0; e695.. 2*b452 + x572 =G= 0; e696.. 5*b453 + x573 =G= 0; e697.. 2*b454 + x574 =G= 0; e698.. 9*b455 + x575 =G= 0; e699.. 2*b456 + x576 =G= 0; e700.. 9*b457 + x577 =G= 0; e701.. 5*b458 + x578 =G= 0; e702.. 8*b459 + x579 =G= 0; e703.. 4*b460 + x580 =G= 0; e704.. 2*b461 + x581 =G= 0; e705.. 3*b462 + x582 =G= 0; e706.. 8*b463 + x583 =G= 0; e707.. 10*b464 + x584 =G= 0; e708.. 6*b465 + x585 =G= 0; e709.. 3*b466 + x586 =G= 0; e710.. 4*b467 + x587 =G= 0; e711.. 8*b468 + x588 =G= 0; e712.. 7*b469 + x589 =G= 0; e713.. 7*b470 + x590 =G= 0; e714.. 3*b471 + x591 =G= 0; e715.. 9*b472 + x592 =G= 0; e716.. 4*b473 + x593 =G= 0; e717.. 8*b474 + x594 =G= 0; e718.. 6*b475 + x595 =G= 0; e719.. 2*b476 + x596 =G= 0; e720.. b477 + x597 =G= 0; e721.. 3*b478 + x598 =G= 0; e722.. 8*b479 + x599 =G= 0; e723.. 3*b480 + x600 =G= 0; e724.. 4*b481 + x601 =G= 0; e725.. 9*b482 + x602 =G= 0; e726.. 5*b483 + x603 =G= 0; e727.. b484 + x604 =G= 0; e728.. 3*b485 + x605 =G= 0; e729.. 9*b486 + x606 =G= 0; e730.. 5*b487 + x607 =G= 0; e731.. 5*b488 + x608 =G= 0; e732.. 3*b489 + x609 =G= 0; e733.. 3*b490 + x610 =G= 0; e734.. 5*b491 + x611 =G= 0; e735.. 3*b492 + x612 =G= 0; e736.. 2*b493 + x613 =G= 0; e737.. 6*b494 + x614 =G= 0; e738.. 4*b495 + x615 =G= 0; e739.. 6*b496 + x616 =G= 0; e740.. 2*b497 + x617 =G= 0; e741.. 6*b498 + x618 =G= 0; e742.. 6*b499 + x619 =G= 0; e743.. 6*b500 + x620 =G= 0; e744.. 4*b501 + x621 =G= 0; e745.. 3*b502 + x622 =G= 0; e746.. 3*b503 + x623 =G= 0; e747.. 2*b504 + x624 =G= 0; e748.. b505 + x625 =G= 0; e749.. 5*b506 + x626 =G= 0; e750.. 8*b507 + x627 =G= 0; e751.. 6*b508 + x628 =G= 0; e752.. 9*b509 + x629 =G= 0; e753.. 5*b510 + x630 =G= 0; e754.. 2*b511 + x631 =G= 0; e755.. b272 - b273 =L= 0; e756.. b272 - b274 =L= 0; e757.. b273 - b274 =L= 0; e758.. b275 - b276 =L= 0; e759.. b275 - b277 =L= 0; e760.. b276 - b277 =L= 0; e761.. b278 - b279 =L= 0; e762.. b278 - b280 =L= 0; e763.. b279 - b280 =L= 0; e764.. b281 - b282 =L= 0; e765.. b281 - b283 =L= 0; e766.. b282 - b283 =L= 0; e767.. b284 - b285 =L= 0; e768.. b284 - b286 =L= 0; e769.. b285 - b286 =L= 0; e770.. b287 - b288 =L= 0; e771.. b287 - b289 =L= 0; e772.. b288 - b289 =L= 0; e773.. b290 - b291 =L= 0; e774.. b290 - b292 =L= 0; e775.. b291 - b292 =L= 0; e776.. b293 - b294 =L= 0; e777.. b293 - b295 =L= 0; e778.. b294 - b295 =L= 0; e779.. b296 - b297 =L= 0; e780.. b296 - b298 =L= 0; e781.. b297 - b298 =L= 0; e782.. b299 - b300 =L= 0; e783.. b299 - b301 =L= 0; e784.. b300 - b301 =L= 0; e785.. b302 - b303 =L= 0; e786.. b302 - b304 =L= 0; e787.. b303 - b304 =L= 0; e788.. b305 - b306 =L= 0; e789.. b305 - b307 =L= 0; e790.. b306 - b307 =L= 0; e791.. b308 - b309 =L= 0; e792.. b308 - b310 =L= 0; e793.. b309 - b310 =L= 0; e794.. b311 - b312 =L= 0; e795.. b311 - b313 =L= 0; e796.. b312 - b313 =L= 0; e797.. b314 - b315 =L= 0; e798.. b314 - b316 =L= 0; e799.. b315 - b316 =L= 0; e800.. b317 - b318 =L= 0; e801.. b317 - b319 =L= 0; e802.. b318 - b319 =L= 0; e803.. b320 - b321 =L= 0; e804.. b320 - b322 =L= 0; e805.. b321 - b322 =L= 0; e806.. b323 - b324 =L= 0; e807.. b323 - b325 =L= 0; e808.. b324 - b325 =L= 0; e809.. b326 - b327 =L= 0; e810.. b326 - b328 =L= 0; e811.. b327 - b328 =L= 0; e812.. b329 - b330 =L= 0; e813.. b329 - b331 =L= 0; e814.. b330 - b331 =L= 0; e815.. b332 - b333 =L= 0; e816.. b332 - b334 =L= 0; e817.. b333 - b334 =L= 0; e818.. b335 - b336 =L= 0; e819.. b335 - b337 =L= 0; e820.. b336 - b337 =L= 0; e821.. b338 - b339 =L= 0; e822.. b338 - b340 =L= 0; e823.. b339 - b340 =L= 0; e824.. b341 - b342 =L= 0; e825.. b341 - b343 =L= 0; e826.. b342 - b343 =L= 0; e827.. b344 - b345 =L= 0; e828.. b344 - b346 =L= 0; e829.. b345 - b346 =L= 0; e830.. b347 - b348 =L= 0; e831.. b347 - b349 =L= 0; e832.. b348 - b349 =L= 0; e833.. b350 - b351 =L= 0; e834.. b350 - b352 =L= 0; e835.. b351 - b352 =L= 0; e836.. b353 - b354 =L= 0; e837.. b353 - b355 =L= 0; e838.. b354 - b355 =L= 0; e839.. b356 - b357 =L= 0; e840.. b356 - b358 =L= 0; e841.. b357 - b358 =L= 0; e842.. b359 - b360 =L= 0; e843.. b359 - b361 =L= 0; e844.. b360 - b361 =L= 0; e845.. b362 - b363 =L= 0; e846.. b362 - b364 =L= 0; e847.. b363 - b364 =L= 0; e848.. b365 - b366 =L= 0; e849.. b365 - b367 =L= 0; e850.. b366 - b367 =L= 0; e851.. b368 - b369 =L= 0; e852.. b368 - b370 =L= 0; e853.. b369 - b370 =L= 0; e854.. b371 - b372 =L= 0; e855.. b371 - b373 =L= 0; e856.. b372 - b373 =L= 0; e857.. b374 - b375 =L= 0; e858.. b374 - b376 =L= 0; e859.. b375 - b376 =L= 0; e860.. b377 - b378 =L= 0; e861.. b377 - b379 =L= 0; e862.. b378 - b379 =L= 0; e863.. b380 - b381 =L= 0; e864.. b380 - b382 =L= 0; e865.. b381 - b382 =L= 0; e866.. b383 - b384 =L= 0; e867.. b383 - b385 =L= 0; e868.. b384 - b385 =L= 0; e869.. b386 - b387 =L= 0; e870.. b386 - b388 =L= 0; e871.. b387 - b388 =L= 0; e872.. b389 - b390 =L= 0; e873.. b389 - b391 =L= 0; e874.. b390 - b391 =L= 0; e875.. b392 + b393 =L= 1; e876.. b392 + b394 =L= 1; e877.. b392 + b393 =L= 1; e878.. b393 + b394 =L= 1; e879.. b392 + b394 =L= 1; e880.. b393 + b394 =L= 1; e881.. b395 + b396 =L= 1; e882.. b395 + b397 =L= 1; e883.. b395 + b396 =L= 1; e884.. b396 + b397 =L= 1; e885.. b395 + b397 =L= 1; e886.. b396 + b397 =L= 1; e887.. b398 + b399 =L= 1; e888.. b398 + b400 =L= 1; e889.. b398 + b399 =L= 1; e890.. b399 + b400 =L= 1; e891.. b398 + b400 =L= 1; e892.. b399 + b400 =L= 1; e893.. b401 + b402 =L= 1; e894.. b401 + b403 =L= 1; e895.. b401 + b402 =L= 1; e896.. b402 + b403 =L= 1; e897.. b401 + b403 =L= 1; e898.. b402 + b403 =L= 1; e899.. b404 + b405 =L= 1; e900.. b404 + b406 =L= 1; e901.. b404 + b405 =L= 1; e902.. b405 + b406 =L= 1; e903.. b404 + b406 =L= 1; e904.. b405 + b406 =L= 1; e905.. b407 + b408 =L= 1; e906.. b407 + b409 =L= 1; e907.. b407 + b408 =L= 1; e908.. b408 + b409 =L= 1; e909.. b407 + b409 =L= 1; e910.. b408 + b409 =L= 1; e911.. b410 + b411 =L= 1; e912.. b410 + b412 =L= 1; e913.. b410 + b411 =L= 1; e914.. b411 + b412 =L= 1; e915.. b410 + b412 =L= 1; e916.. b411 + b412 =L= 1; e917.. b413 + b414 =L= 1; e918.. b413 + b415 =L= 1; e919.. b413 + b414 =L= 1; e920.. b414 + b415 =L= 1; e921.. b413 + b415 =L= 1; e922.. b414 + b415 =L= 1; e923.. b416 + b417 =L= 1; e924.. b416 + b418 =L= 1; e925.. b416 + b417 =L= 1; e926.. b417 + b418 =L= 1; e927.. b416 + b418 =L= 1; e928.. b417 + b418 =L= 1; e929.. b419 + b420 =L= 1; e930.. b419 + b421 =L= 1; e931.. b419 + b420 =L= 1; e932.. b420 + b421 =L= 1; e933.. b419 + b421 =L= 1; e934.. b420 + b421 =L= 1; e935.. b422 + b423 =L= 1; e936.. b422 + b424 =L= 1; e937.. b422 + b423 =L= 1; e938.. b423 + b424 =L= 1; e939.. b422 + b424 =L= 1; e940.. b423 + b424 =L= 1; e941.. b425 + b426 =L= 1; e942.. b425 + b427 =L= 1; e943.. b425 + b426 =L= 1; e944.. b426 + b427 =L= 1; e945.. b425 + b427 =L= 1; e946.. b426 + b427 =L= 1; e947.. b428 + b429 =L= 1; e948.. b428 + b430 =L= 1; e949.. b428 + b429 =L= 1; e950.. b429 + b430 =L= 1; e951.. b428 + b430 =L= 1; e952.. b429 + b430 =L= 1; e953.. b431 + b432 =L= 1; e954.. b431 + b433 =L= 1; e955.. b431 + b432 =L= 1; e956.. b432 + b433 =L= 1; e957.. b431 + b433 =L= 1; e958.. b432 + b433 =L= 1; e959.. b434 + b435 =L= 1; e960.. b434 + b436 =L= 1; e961.. b434 + b435 =L= 1; e962.. b435 + b436 =L= 1; e963.. b434 + b436 =L= 1; e964.. b435 + b436 =L= 1; e965.. b437 + b438 =L= 1; e966.. b437 + b439 =L= 1; e967.. b437 + b438 =L= 1; e968.. b438 + b439 =L= 1; e969.. b437 + b439 =L= 1; e970.. b438 + b439 =L= 1; e971.. b440 + b441 =L= 1; e972.. b440 + b442 =L= 1; e973.. b440 + b441 =L= 1; e974.. b441 + b442 =L= 1; e975.. b440 + b442 =L= 1; e976.. b441 + b442 =L= 1; e977.. b443 + b444 =L= 1; e978.. b443 + b445 =L= 1; e979.. b443 + b444 =L= 1; e980.. b444 + b445 =L= 1; e981.. b443 + b445 =L= 1; e982.. b444 + b445 =L= 1; e983.. b446 + b447 =L= 1; e984.. b446 + b448 =L= 1; e985.. b446 + b447 =L= 1; e986.. b447 + b448 =L= 1; e987.. b446 + b448 =L= 1; e988.. b447 + b448 =L= 1; e989.. b449 + b450 =L= 1; e990.. b449 + b451 =L= 1; e991.. b449 + b450 =L= 1; e992.. b450 + b451 =L= 1; e993.. b449 + b451 =L= 1; e994.. b450 + b451 =L= 1; e995.. b452 + b453 =L= 1; e996.. b452 + b454 =L= 1; e997.. b452 + b453 =L= 1; e998.. b453 + b454 =L= 1; e999.. b452 + b454 =L= 1; e1000.. b453 + b454 =L= 1; e1001.. b455 + b456 =L= 1; e1002.. b455 + b457 =L= 1; e1003.. b455 + b456 =L= 1; e1004.. b456 + b457 =L= 1; e1005.. b455 + b457 =L= 1; e1006.. b456 + b457 =L= 1; e1007.. b458 + b459 =L= 1; e1008.. b458 + b460 =L= 1; e1009.. b458 + b459 =L= 1; e1010.. b459 + b460 =L= 1; e1011.. b458 + b460 =L= 1; e1012.. b459 + b460 =L= 1; e1013.. b461 + b462 =L= 1; e1014.. b461 + b463 =L= 1; e1015.. b461 + b462 =L= 1; e1016.. b462 + b463 =L= 1; e1017.. b461 + b463 =L= 1; e1018.. b462 + b463 =L= 1; e1019.. b464 + b465 =L= 1; e1020.. b464 + b466 =L= 1; e1021.. b464 + b465 =L= 1; e1022.. b465 + b466 =L= 1; e1023.. b464 + b466 =L= 1; e1024.. b465 + b466 =L= 1; e1025.. b467 + b468 =L= 1; e1026.. b467 + b469 =L= 1; e1027.. b467 + b468 =L= 1; e1028.. b468 + b469 =L= 1; e1029.. b467 + b469 =L= 1; e1030.. b468 + b469 =L= 1; e1031.. b470 + b471 =L= 1; e1032.. b470 + b472 =L= 1; e1033.. b470 + b471 =L= 1; e1034.. b471 + b472 =L= 1; e1035.. b470 + b472 =L= 1; e1036.. b471 + b472 =L= 1; e1037.. b473 + b474 =L= 1; e1038.. b473 + b475 =L= 1; e1039.. b473 + b474 =L= 1; e1040.. b474 + b475 =L= 1; e1041.. b473 + b475 =L= 1; e1042.. b474 + b475 =L= 1; e1043.. b476 + b477 =L= 1; e1044.. b476 + b478 =L= 1; e1045.. b476 + b477 =L= 1; e1046.. b477 + b478 =L= 1; e1047.. b476 + b478 =L= 1; e1048.. b477 + b478 =L= 1; e1049.. b479 + b480 =L= 1; e1050.. b479 + b481 =L= 1; e1051.. b479 + b480 =L= 1; e1052.. b480 + b481 =L= 1; e1053.. b479 + b481 =L= 1; e1054.. b480 + b481 =L= 1; e1055.. b482 + b483 =L= 1; e1056.. b482 + b484 =L= 1; e1057.. b482 + b483 =L= 1; e1058.. b483 + b484 =L= 1; e1059.. b482 + b484 =L= 1; e1060.. b483 + b484 =L= 1; e1061.. b485 + b486 =L= 1; e1062.. b485 + b487 =L= 1; e1063.. b485 + b486 =L= 1; e1064.. b486 + b487 =L= 1; e1065.. b485 + b487 =L= 1; e1066.. b486 + b487 =L= 1; e1067.. b488 + b489 =L= 1; e1068.. b488 + b490 =L= 1; e1069.. b488 + b489 =L= 1; e1070.. b489 + b490 =L= 1; e1071.. b488 + b490 =L= 1; e1072.. b489 + b490 =L= 1; e1073.. b491 + b492 =L= 1; e1074.. b491 + b493 =L= 1; e1075.. b491 + b492 =L= 1; e1076.. b492 + b493 =L= 1; e1077.. b491 + b493 =L= 1; e1078.. b492 + b493 =L= 1; e1079.. b494 + b495 =L= 1; e1080.. b494 + b496 =L= 1; e1081.. b494 + b495 =L= 1; e1082.. b495 + b496 =L= 1; e1083.. b494 + b496 =L= 1; e1084.. b495 + b496 =L= 1; e1085.. b497 + b498 =L= 1; e1086.. b497 + b499 =L= 1; e1087.. b497 + b498 =L= 1; e1088.. b498 + b499 =L= 1; e1089.. b497 + b499 =L= 1; e1090.. b498 + b499 =L= 1; e1091.. b500 + b501 =L= 1; e1092.. b500 + b502 =L= 1; e1093.. b500 + b501 =L= 1; e1094.. b501 + b502 =L= 1; e1095.. b500 + b502 =L= 1; e1096.. b501 + b502 =L= 1; e1097.. b503 + b504 =L= 1; e1098.. b503 + b505 =L= 1; e1099.. b503 + b504 =L= 1; e1100.. b504 + b505 =L= 1; e1101.. b503 + b505 =L= 1; e1102.. b504 + b505 =L= 1; e1103.. b506 + b507 =L= 1; e1104.. b506 + b508 =L= 1; e1105.. b506 + b507 =L= 1; e1106.. b507 + b508 =L= 1; e1107.. b506 + b508 =L= 1; e1108.. b507 + b508 =L= 1; e1109.. b509 + b510 =L= 1; e1110.. b509 + b511 =L= 1; e1111.. b509 + b510 =L= 1; e1112.. b510 + b511 =L= 1; e1113.. b509 + b511 =L= 1; e1114.. b510 + b511 =L= 1; e1115.. b272 - b392 =L= 0; e1116.. - b272 + b273 - b393 =L= 0; e1117.. - b272 - b273 + b274 - b394 =L= 0; e1118.. b275 - b395 =L= 0; e1119.. - b275 + b276 - b396 =L= 0; e1120.. - b275 - b276 + b277 - b397 =L= 0; e1121.. b278 - b398 =L= 0; e1122.. - b278 + b279 - b399 =L= 0; e1123.. - b278 - b279 + b280 - b400 =L= 0; e1124.. b281 - b401 =L= 0; e1125.. - b281 + b282 - b402 =L= 0; e1126.. - b281 - b282 + b283 - b403 =L= 0; e1127.. b284 - b404 =L= 0; e1128.. - b284 + b285 - b405 =L= 0; e1129.. - b284 - b285 + b286 - b406 =L= 0; e1130.. b287 - b407 =L= 0; e1131.. - b287 + b288 - b408 =L= 0; e1132.. - b287 - b288 + b289 - b409 =L= 0; e1133.. b290 - b410 =L= 0; e1134.. - b290 + b291 - b411 =L= 0; e1135.. - b290 - b291 + b292 - b412 =L= 0; e1136.. b293 - b413 =L= 0; e1137.. - b293 + b294 - b414 =L= 0; e1138.. - b293 - b294 + b295 - b415 =L= 0; e1139.. b296 - b416 =L= 0; e1140.. - b296 + b297 - b417 =L= 0; e1141.. - b296 - b297 + b298 - b418 =L= 0; e1142.. b299 - b419 =L= 0; e1143.. - b299 + b300 - b420 =L= 0; e1144.. - b299 - b300 + b301 - b421 =L= 0; e1145.. b302 - b422 =L= 0; e1146.. - b302 + b303 - b423 =L= 0; e1147.. - b302 - b303 + b304 - b424 =L= 0; e1148.. b305 - b425 =L= 0; e1149.. - b305 + b306 - b426 =L= 0; e1150.. - b305 - b306 + b307 - b427 =L= 0; e1151.. b308 - b428 =L= 0; e1152.. - b308 + b309 - b429 =L= 0; e1153.. - b308 - b309 + b310 - b430 =L= 0; e1154.. b311 - b431 =L= 0; e1155.. - b311 + b312 - b432 =L= 0; e1156.. - b311 - b312 + b313 - b433 =L= 0; e1157.. b314 - b434 =L= 0; e1158.. - b314 + b315 - b435 =L= 0; e1159.. - b314 - b315 + b316 - b436 =L= 0; e1160.. b317 - b437 =L= 0; e1161.. - b317 + b318 - b438 =L= 0; e1162.. - b317 - b318 + b319 - b439 =L= 0; e1163.. b320 - b440 =L= 0; e1164.. - b320 + b321 - b441 =L= 0; e1165.. - b320 - b321 + b322 - b442 =L= 0; e1166.. b323 - b443 =L= 0; e1167.. - b323 + b324 - b444 =L= 0; e1168.. - b323 - b324 + b325 - b445 =L= 0; e1169.. b326 - b446 =L= 0; e1170.. - b326 + b327 - b447 =L= 0; e1171.. - b326 - b327 + b328 - b448 =L= 0; e1172.. b329 - b449 =L= 0; e1173.. - b329 + b330 - b450 =L= 0; e1174.. - b329 - b330 + b331 - b451 =L= 0; e1175.. b332 - b452 =L= 0; e1176.. - b332 + b333 - b453 =L= 0; e1177.. - b332 - b333 + b334 - b454 =L= 0; e1178.. b335 - b455 =L= 0; e1179.. - b335 + b336 - b456 =L= 0; e1180.. - b335 - b336 + b337 - b457 =L= 0; e1181.. b338 - b458 =L= 0; e1182.. - b338 + b339 - b459 =L= 0; e1183.. - b338 - b339 + b340 - b460 =L= 0; e1184.. b341 - b461 =L= 0; e1185.. - b341 + b342 - b462 =L= 0; e1186.. - b341 - b342 + b343 - b463 =L= 0; e1187.. b344 - b464 =L= 0; e1188.. - b344 + b345 - b465 =L= 0; e1189.. - b344 - b345 + b346 - b466 =L= 0; e1190.. b347 - b467 =L= 0; e1191.. - b347 + b348 - b468 =L= 0; e1192.. - b347 - b348 + b349 - b469 =L= 0; e1193.. b350 - b470 =L= 0; e1194.. - b350 + b351 - b471 =L= 0; e1195.. - b350 - b351 + b352 - b472 =L= 0; e1196.. b353 - b473 =L= 0; e1197.. - b353 + b354 - b474 =L= 0; e1198.. - b353 - b354 + b355 - b475 =L= 0; e1199.. b356 - b476 =L= 0; e1200.. - b356 + b357 - b477 =L= 0; e1201.. - b356 - b357 + b358 - b478 =L= 0; e1202.. b359 - b479 =L= 0; e1203.. - b359 + b360 - b480 =L= 0; e1204.. - b359 - b360 + b361 - b481 =L= 0; e1205.. b362 - b482 =L= 0; e1206.. - b362 + b363 - b483 =L= 0; e1207.. - b362 - b363 + b364 - b484 =L= 0; e1208.. b365 - b485 =L= 0; e1209.. - b365 + b366 - b486 =L= 0; e1210.. - b365 - b366 + b367 - b487 =L= 0; e1211.. b368 - b488 =L= 0; e1212.. - b368 + b369 - b489 =L= 0; e1213.. - b368 - b369 + b370 - b490 =L= 0; e1214.. b371 - b491 =L= 0; e1215.. - b371 + b372 - b492 =L= 0; e1216.. - b371 - b372 + b373 - b493 =L= 0; e1217.. b374 - b494 =L= 0; e1218.. - b374 + b375 - b495 =L= 0; e1219.. - b374 - b375 + b376 - b496 =L= 0; e1220.. b377 - b497 =L= 0; e1221.. - b377 + b378 - b498 =L= 0; e1222.. - b377 - b378 + b379 - b499 =L= 0; e1223.. b380 - b500 =L= 0; e1224.. - b380 + b381 - b501 =L= 0; e1225.. - b380 - b381 + b382 - b502 =L= 0; e1226.. b383 - b503 =L= 0; e1227.. - b383 + b384 - b504 =L= 0; e1228.. - b383 - b384 + b385 - b505 =L= 0; e1229.. b386 - b506 =L= 0; e1230.. - b386 + b387 - b507 =L= 0; e1231.. - b386 - b387 + b388 - b508 =L= 0; e1232.. b389 - b509 =L= 0; e1233.. - b389 + b390 - b510 =L= 0; e1234.. - b389 - b390 + b391 - b511 =L= 0; e1235.. b272 + b275 =E= 1; e1236.. b273 + b276 =E= 1; e1237.. b274 + b277 =E= 1; e1238.. - b278 + b287 + b290 =G= 0; e1239.. - b279 + b288 + b291 =G= 0; e1240.. - b280 + b289 + b292 =G= 0; e1241.. - b287 + b305 =G= 0; e1242.. - b288 + b306 =G= 0; e1243.. - b289 + b307 =G= 0; e1244.. - b290 + b308 =G= 0; e1245.. - b291 + b309 =G= 0; e1246.. - b292 + b310 =G= 0; e1247.. - b281 + b293 =G= 0; e1248.. - b282 + b294 =G= 0; e1249.. - b283 + b295 =G= 0; e1250.. - b293 + b311 + b314 =G= 0; e1251.. - b294 + b312 + b315 =G= 0; e1252.. - b295 + b313 + b316 =G= 0; e1253.. - b284 + b296 + b299 + b302 =G= 0; e1254.. - b285 + b297 + b300 + b303 =G= 0; e1255.. - b286 + b298 + b301 + b304 =G= 0; e1256.. - b296 + b314 =G= 0; e1257.. - b297 + b315 =G= 0; e1258.. - b298 + b316 =G= 0; e1259.. - b299 + b317 + b320 =G= 0; e1260.. - b300 + b318 + b321 =G= 0; e1261.. - b301 + b319 + b322 =G= 0; e1262.. - b302 + b323 + b326 + b329 =G= 0; e1263.. - b303 + b324 + b327 + b330 =G= 0; e1264.. - b304 + b325 + b328 + b331 =G= 0; e1265.. b278 - b287 =G= 0; e1266.. b279 - b288 =G= 0; e1267.. b280 - b289 =G= 0; e1268.. b278 - b290 =G= 0; e1269.. b279 - b291 =G= 0; e1270.. b280 - b292 =G= 0; e1271.. b281 - b293 =G= 0; e1272.. b282 - b294 =G= 0; e1273.. b283 - b295 =G= 0; e1274.. b284 - b296 =G= 0; e1275.. b285 - b297 =G= 0; e1276.. b286 - b298 =G= 0; e1277.. b284 - b299 =G= 0; e1278.. b285 - b300 =G= 0; e1279.. b286 - b301 =G= 0; e1280.. b284 - b302 =G= 0; e1281.. b285 - b303 =G= 0; e1282.. b286 - b304 =G= 0; e1283.. b287 - b305 =G= 0; e1284.. b288 - b306 =G= 0; e1285.. b289 - b307 =G= 0; e1286.. b290 - b308 =G= 0; e1287.. b291 - b309 =G= 0; e1288.. b292 - b310 =G= 0; e1289.. b293 - b311 =G= 0; e1290.. b294 - b312 =G= 0; e1291.. b295 - b313 =G= 0; e1292.. b293 - b314 =G= 0; e1293.. b294 - b315 =G= 0; e1294.. b295 - b316 =G= 0; e1295.. b299 - b317 =G= 0; e1296.. b300 - b318 =G= 0; e1297.. b301 - b319 =G= 0; e1298.. b299 - b320 =G= 0; e1299.. b300 - b321 =G= 0; e1300.. b301 - b322 =G= 0; e1301.. b302 - b323 =G= 0; e1302.. b303 - b324 =G= 0; e1303.. b304 - b325 =G= 0; e1304.. b302 - b326 =G= 0; e1305.. b303 - b327 =G= 0; e1306.. b304 - b328 =G= 0; e1307.. b302 - b329 =G= 0; e1308.. b303 - b330 =G= 0; e1309.. b304 - b331 =G= 0; e1310.. - b329 + b332 + b335 =G= 0; e1311.. - b330 + b333 + b336 =G= 0; e1312.. - b331 + b334 + b337 =G= 0; e1313.. - b338 + b347 + b350 =G= 0; e1314.. - b339 + b348 + b351 =G= 0; e1315.. - b340 + b349 + b352 =G= 0; e1316.. - b347 + b365 =G= 0; e1317.. - b348 + b366 =G= 0; e1318.. - b349 + b367 =G= 0; e1319.. - b350 + b368 =G= 0; e1320.. - b351 + b369 =G= 0; e1321.. - b352 + b370 =G= 0; e1322.. - b341 + b353 =G= 0; e1323.. - b342 + b354 =G= 0; e1324.. - b343 + b355 =G= 0; e1325.. - b353 + b371 + b374 =G= 0; e1326.. - b354 + b372 + b375 =G= 0; e1327.. - b355 + b373 + b376 =G= 0; e1328.. - b344 + b356 + b359 + b362 =G= 0; e1329.. - b345 + b357 + b360 + b363 =G= 0; e1330.. - b346 + b358 + b361 + b364 =G= 0; e1331.. - b356 + b374 =G= 0; e1332.. - b357 + b375 =G= 0; e1333.. - b358 + b376 =G= 0; e1334.. - b359 + b377 + b380 =G= 0; e1335.. - b360 + b378 + b381 =G= 0; e1336.. - b361 + b379 + b382 =G= 0; e1337.. - b362 + b383 + b386 + b389 =G= 0; e1338.. - b363 + b384 + b387 + b390 =G= 0; e1339.. - b364 + b385 + b388 + b391 =G= 0; e1340.. b338 - b347 =G= 0; e1341.. b339 - b348 =G= 0; e1342.. b340 - b349 =G= 0; e1343.. b338 - b350 =G= 0; e1344.. b339 - b351 =G= 0; e1345.. b340 - b352 =G= 0; e1346.. b347 - b365 =G= 0; e1347.. b348 - b366 =G= 0; e1348.. b349 - b367 =G= 0; e1349.. b350 - b368 =G= 0; e1350.. b351 - b369 =G= 0; e1351.. b352 - b370 =G= 0; e1352.. b341 - b353 =G= 0; e1353.. b342 - b354 =G= 0; e1354.. b343 - b355 =G= 0; e1355.. b353 - b371 =G= 0; e1356.. b354 - b372 =G= 0; e1357.. b355 - b373 =G= 0; e1358.. b353 - b374 =G= 0; e1359.. b354 - b375 =G= 0; e1360.. b355 - b376 =G= 0; e1361.. b344 - b356 =G= 0; e1362.. b345 - b357 =G= 0; e1363.. b346 - b358 =G= 0; e1364.. b344 - b359 =G= 0; e1365.. b345 - b360 =G= 0; e1366.. b346 - b361 =G= 0; e1367.. b344 - b362 =G= 0; e1368.. b345 - b363 =G= 0; e1369.. b346 - b364 =G= 0; e1370.. b359 - b377 =G= 0; e1371.. b360 - b378 =G= 0; e1372.. b361 - b379 =G= 0; e1373.. b359 - b380 =G= 0; e1374.. b360 - b381 =G= 0; e1375.. b361 - b382 =G= 0; e1376.. b362 - b383 =G= 0; e1377.. b363 - b384 =G= 0; e1378.. b364 - b385 =G= 0; e1379.. b362 - b386 =G= 0; e1380.. b363 - b387 =G= 0; e1381.. b364 - b388 =G= 0; e1382.. b362 - b389 =G= 0; e1383.. b363 - b390 =G= 0; e1384.. b364 - b391 =G= 0; e1385.. b272 + b275 - b278 =G= 0; e1386.. b273 + b276 - b279 =G= 0; e1387.. b274 + b277 - b280 =G= 0; e1388.. b272 + b275 - b281 =G= 0; e1389.. b273 + b276 - b282 =G= 0; e1390.. b274 + b277 - b283 =G= 0; e1391.. b272 + b275 - b284 =G= 0; e1392.. b273 + b276 - b285 =G= 0; e1393.. b274 + b277 - b286 =G= 0; e1394.. b329 - b332 =G= 0; e1395.. b330 - b333 =G= 0; e1396.. b331 - b334 =G= 0; e1397.. b329 - b335 =G= 0; e1398.. b330 - b336 =G= 0; e1399.. b331 - b337 =G= 0; * set non-default bounds x2.up = 40; x3.up = 40; x4.up = 40; x35.up = 30; x36.up = 30; x37.up = 30; x86.up = 20; x87.up = 20; x88.up = 20; x89.up = 20; x90.up = 20; x91.up = 20; x170.up = 30; x171.up = 30; x172.up = 30; x221.up = 25; x222.up = 25; x223.up = 25; x224.up = 25; x225.up = 25; x226.up = 25; 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