MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance syn40m02m

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)
388.77235660 p1 ( gdx sol )
(infeas: 4e-14)
Other points (infeas > 1e-08)  
Dual Bounds
388.77256000 (ALPHAECP)
388.77370470 (ANTIGONE)
388.77243640 (BARON)
1050.02750000 (BONMIN)
3155.85238900 (COUENNE)
388.77235660 (LINDO)
388.77336380 (SCIP)
388.77609370 (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 Syn40M02M.gms from CMU-IBM MINLP solver project page
Application Synthesis of processing system
Added to library 28 Sep 2013
Problem type MBNLP
#Variables 420
#Binary Variables 160
#Integer Variables 0
#Nonlinear Variables 56
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 132
#Nonlinear Nonzeros in Objective 0
#Constraints 812
#Linear Constraints 756
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 56
Operands in Gen. Nonlin. Functions log
Constraints curvature convex
#Nonzeros in Jacobian 1880
#Nonlinear Nonzeros in Jacobian 56
#Nonzeros in (Upper-Left) Hessian of Lagrangian 56
#Nonzeros in Diagonal of Hessian of Lagrangian 56
#Blocks in Hessian of Lagrangian 56
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.2799e-01
Maximal coefficient 6.0000e+02
Infeasibility of initial point 1
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*        813       45      224      544        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        421      261      160        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       2013     1957       56        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,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,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,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,x342,x343,x344,x345,x346,x347,x348,x349
          ,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362
          ,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375
          ,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388
          ,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401
          ,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414
          ,x415,x416,x417,x418,x419,x420,x421;

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;

Binary Variables  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,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245
          ,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258
          ,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271
          ,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;

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;


e1..    objvar + x2 + x3 - 5*x14 - 10*x15 + x24 + x25 + 10*x58 + 5*x59 + 5*x60
      + 5*x61 - 40*x74 - 30*x75 - 15*x76 - 20*x77 - 10*x78 - 30*x79 - 30*x80
      - 20*x81 - 35*x82 - 50*x83 - 20*x84 - 30*x85 - 25*x86 - 50*x87 - 15*x88
      - 20*x89 - 30*x104 - 40*x105 + x114 + x115 + 5*x148 + 3*x149 + x150
      + x151 - 220*x164 - 210*x165 - 240*x166 - 220*x167 - 190*x168 - 160*x169
      - 190*x170 - 190*x171 - 385*x172 - 490*x173 - 390*x174 - 505*x175
      - 480*x176 - 600*x177 - 490*x178 - 600*x179 - 550*x180 - 550*x181
      + 5*b262 + 4*b263 + 8*b264 + 7*b265 + 6*b266 + 9*b267 + 10*b268 + 9*b269
      + 6*b270 + 10*b271 + 7*b272 + 7*b273 + 4*b274 + 3*b275 + 5*b276 + 6*b277
      + 2*b278 + 5*b279 + 4*b280 + 7*b281 + 3*b282 + 9*b283 + 7*b284 + 2*b285
      + 3*b286 + b287 + 2*b288 + 6*b289 + 4*b290 + 8*b291 + 2*b292 + 5*b293
      + 3*b294 + 4*b295 + 5*b296 + 7*b297 + 2*b298 + 8*b299 + b300 + 4*b301
      + 2*b302 + 5*b303 + 9*b304 + 2*b305 + 5*b306 + 8*b307 + 2*b308 + 3*b309
      + 10*b310 + 6*b311 + 4*b312 + 8*b313 + 7*b314 + 3*b315 + 4*b316 + 8*b317
      + 2*b318 + b319 + 8*b320 + 3*b321 + 9*b322 + 5*b323 + 3*b324 + 9*b325
      + 5*b326 + 3*b327 + 5*b328 + 3*b329 + 6*b330 + 4*b331 + 2*b332 + 6*b333
      + 6*b334 + 4*b335 + 3*b336 + 2*b337 + 5*b338 + 8*b339 + 9*b340 + 5*b341
      =E= 0;

e2..    x2 - x4 - x6 =E= 0;

e3..    x3 - x5 - x7 =E= 0;

e4..  - x8 - x10 + x12 =E= 0;

e5..  - x9 - x11 + x13 =E= 0;

e6..    x12 - x14 - x16 =E= 0;

e7..    x13 - x15 - x17 =E= 0;

e8..    x16 - x18 - x20 - x22 =E= 0;

e9..    x17 - x19 - x21 - x23 =E= 0;

e10..    x26 - x32 - x34 =E= 0;

e11..    x27 - x33 - x35 =E= 0;

e12..    x30 - x36 - x38 - x40 =E= 0;

e13..    x31 - x37 - x39 - x41 =E= 0;

e14..    x46 - x54 - x56 =E= 0;

e15..    x47 - x55 - x57 =E= 0;

e16..  - x48 - x60 + x62 =E= 0;

e17..  - x49 - x61 + x63 =E= 0;

e18..    x50 - x64 - x66 =E= 0;

e19..    x51 - x65 - x67 =E= 0;

e20..    x52 - x68 - x70 - x72 =E= 0;

e21..    x53 - x69 - x71 - x73 =E= 0;

e22..    x90 - x92 =E= 0;

e23..    x91 - x93 =E= 0;

e24..    x92 - x94 - x96 =E= 0;

e25..    x93 - x95 - x97 =E= 0;

e26..  - x98 - x100 + x102 =E= 0;

e27..  - x99 - x101 + x103 =E= 0;

e28..    x102 - x104 - x106 =E= 0;

e29..    x103 - x105 - x107 =E= 0;

e30..    x106 - x108 - x110 - x112 =E= 0;

e31..    x107 - x109 - x111 - x113 =E= 0;

e32..    x116 - x122 - x124 =E= 0;

e33..    x117 - x123 - x125 =E= 0;

e34..    x120 - x126 - x128 - x130 =E= 0;

e35..    x121 - x127 - x129 - x131 =E= 0;

e36..    x136 - x144 - x146 =E= 0;

e37..    x137 - x145 - x147 =E= 0;

e38..  - x138 - x150 + x152 =E= 0;

e39..  - x139 - x151 + x153 =E= 0;

e40..    x140 - x154 - x156 =E= 0;

e41..    x141 - x155 - x157 =E= 0;

e42..    x142 - x158 - x160 - x162 =E= 0;

e43..    x143 - x159 - x161 - x163 =E= 0;

e44.. -log(1 + x4) + x8 + b182 =L= 1;

e45.. -log(1 + x5) + x9 + b183 =L= 1;

e46..    x4 - 10*b182 =L= 0;

e47..    x5 - 10*b183 =L= 0;

e48..    x8 - 2.39789527279837*b182 =L= 0;

e49..    x9 - 2.39789527279837*b183 =L= 0;

e50.. -1.2*log(1 + x6) + x10 + b184 =L= 1;

e51.. -1.2*log(1 + x7) + x11 + b185 =L= 1;

e52..    x6 - 10*b184 =L= 0;

e53..    x7 - 10*b185 =L= 0;

e54..    x10 - 2.87747432735804*b184 =L= 0;

e55..    x11 - 2.87747432735804*b185 =L= 0;

e56..  - 0.75*x18 + x26 + b186 =L= 1;

e57..  - 0.75*x19 + x27 + b187 =L= 1;

e58..  - 0.75*x18 + x26 - b186 =G= -1;

e59..  - 0.75*x19 + x27 - b187 =G= -1;

e60..    x18 - 2.87747432735804*b186 =L= 0;

e61..    x19 - 2.87747432735804*b187 =L= 0;

e62..    x26 - 2.15810574551853*b186 =L= 0;

e63..    x27 - 2.15810574551853*b187 =L= 0;

e64.. -1.5*log(1 + x20) + x28 + b188 =L= 1;

e65.. -1.5*log(1 + x21) + x29 + b189 =L= 1;

e66..    x20 - 2.87747432735804*b188 =L= 0;

e67..    x21 - 2.87747432735804*b189 =L= 0;

e68..    x28 - 2.03277599268042*b188 =L= 0;

e69..    x29 - 2.03277599268042*b189 =L= 0;

e70..  - x22 + x30 + b190 =L= 1;

e71..  - x23 + x31 + b191 =L= 1;

e72..  - x22 + x30 - b190 =G= -1;

e73..  - x23 + x31 - b191 =G= -1;

e74..  - 0.5*x24 + x30 + b190 =L= 1;

e75..  - 0.5*x25 + x31 + b191 =L= 1;

e76..  - 0.5*x24 + x30 - b190 =G= -1;

e77..  - 0.5*x25 + x31 - b191 =G= -1;

e78..    x22 - 2.87747432735804*b190 =L= 0;

e79..    x23 - 2.87747432735804*b191 =L= 0;

e80..    x24 - 7*b190 =L= 0;

e81..    x25 - 7*b191 =L= 0;

e82..    x30 - 3.5*b190 =L= 0;

e83..    x31 - 3.5*b191 =L= 0;

e84.. -1.25*log(1 + x32) + x42 + b192 =L= 1;

e85.. -1.25*log(1 + x33) + x43 + b193 =L= 1;

e86..    x32 - 2.15810574551853*b192 =L= 0;

e87..    x33 - 2.15810574551853*b193 =L= 0;

e88..    x42 - 1.43746550029693*b192 =L= 0;

e89..    x43 - 1.43746550029693*b193 =L= 0;

e90.. -0.9*log(1 + x34) + x44 + b194 =L= 1;

e91.. -0.9*log(1 + x35) + x45 + b195 =L= 1;

e92..    x34 - 2.15810574551853*b194 =L= 0;

e93..    x35 - 2.15810574551853*b195 =L= 0;

e94..    x44 - 1.03497516021379*b194 =L= 0;

e95..    x45 - 1.03497516021379*b195 =L= 0;

e96.. -log(1 + x28) + x46 + b196 =L= 1;

e97.. -log(1 + x29) + x47 + b197 =L= 1;

e98..    x28 - 2.03277599268042*b196 =L= 0;

e99..    x29 - 2.03277599268042*b197 =L= 0;

e100..    x46 - 1.10947836929589*b196 =L= 0;

e101..    x47 - 1.10947836929589*b197 =L= 0;

e102..  - 0.9*x36 + x48 + b198 =L= 1;

e103..  - 0.9*x37 + x49 + b199 =L= 1;

e104..  - 0.9*x36 + x48 - b198 =G= -1;

e105..  - 0.9*x37 + x49 - b199 =G= -1;

e106..    x36 - 3.5*b198 =L= 0;

e107..    x37 - 3.5*b199 =L= 0;

e108..    x48 - 3.15*b198 =L= 0;

e109..    x49 - 3.15*b199 =L= 0;

e110..  - 0.6*x38 + x50 + b200 =L= 1;

e111..  - 0.6*x39 + x51 + b201 =L= 1;

e112..  - 0.6*x38 + x50 - b200 =G= -1;

e113..  - 0.6*x39 + x51 - b201 =G= -1;

e114..    x38 - 3.5*b200 =L= 0;

e115..    x39 - 3.5*b201 =L= 0;

e116..    x50 - 2.1*b200 =L= 0;

e117..    x51 - 2.1*b201 =L= 0;

e118.. -1.1*log(1 + x40) + x52 + b202 =L= 1;

e119.. -1.1*log(1 + x41) + x53 + b203 =L= 1;

e120..    x40 - 3.5*b202 =L= 0;

e121..    x41 - 3.5*b203 =L= 0;

e122..    x52 - 1.6544851364539*b202 =L= 0;

e123..    x53 - 1.6544851364539*b203 =L= 0;

e124..  - 0.9*x42 + x74 + b204 =L= 1;

e125..  - 0.9*x43 + x75 + b205 =L= 1;

e126..  - 0.9*x42 + x74 - b204 =G= -1;

e127..  - 0.9*x43 + x75 - b205 =G= -1;

e128..  - x58 + x74 + b204 =L= 1;

e129..  - x59 + x75 + b205 =L= 1;

e130..  - x58 + x74 - b204 =G= -1;

e131..  - x59 + x75 - b205 =G= -1;

e132..    x42 - 1.43746550029693*b204 =L= 0;

e133..    x43 - 1.43746550029693*b205 =L= 0;

e134..    x58 - 7*b204 =L= 0;

e135..    x59 - 7*b205 =L= 0;

e136..    x74 - 7*b204 =L= 0;

e137..    x75 - 7*b205 =L= 0;

e138.. -log(1 + x44) + x76 + b206 =L= 1;

e139.. -log(1 + x45) + x77 + b207 =L= 1;

e140..    x44 - 1.03497516021379*b206 =L= 0;

e141..    x45 - 1.03497516021379*b207 =L= 0;

e142..    x76 - 0.710483612536911*b206 =L= 0;

e143..    x77 - 0.710483612536911*b207 =L= 0;

e144.. -0.7*log(1 + x54) + x78 + b208 =L= 1;

e145.. -0.7*log(1 + x55) + x79 + b209 =L= 1;

e146..    x54 - 1.10947836929589*b208 =L= 0;

e147..    x55 - 1.10947836929589*b209 =L= 0;

e148..    x78 - 0.522508489006913*b208 =L= 0;

e149..    x79 - 0.522508489006913*b209 =L= 0;

e150.. -0.65*log(1 + x56) + x80 + b210 =L= 1;

e151.. -0.65*log(1 + x57) + x81 + b211 =L= 1;

e152.. -0.65*log(1 + x62) + x80 + b210 =L= 1;

e153.. -0.65*log(1 + x63) + x81 + b211 =L= 1;

e154..    x56 - 1.10947836929589*b210 =L= 0;

e155..    x57 - 1.10947836929589*b211 =L= 0;

e156..    x62 - 8.15*b210 =L= 0;

e157..    x63 - 8.15*b211 =L= 0;

e158..    x80 - 1.43894002153683*b210 =L= 0;

e159..    x81 - 1.43894002153683*b211 =L= 0;

e160..  - x64 + x82 + b212 =L= 1;

e161..  - x65 + x83 + b213 =L= 1;

e162..  - x64 + x82 - b212 =G= -1;

e163..  - x65 + x83 - b213 =G= -1;

e164..    x64 - 2.1*b212 =L= 0;

e165..    x65 - 2.1*b213 =L= 0;

e166..    x82 - 2.1*b212 =L= 0;

e167..    x83 - 2.1*b213 =L= 0;

e168..  - x66 + x84 + b214 =L= 1;

e169..  - x67 + x85 + b215 =L= 1;

e170..  - x66 + x84 - b214 =G= -1;

e171..  - x67 + x85 - b215 =G= -1;

e172..    x66 - 2.1*b214 =L= 0;

e173..    x67 - 2.1*b215 =L= 0;

e174..    x84 - 2.1*b214 =L= 0;

e175..    x85 - 2.1*b215 =L= 0;

e176.. -0.75*log(1 + x68) + x86 + b216 =L= 1;

e177.. -0.75*log(1 + x69) + x87 + b217 =L= 1;

e178..    x68 - 1.6544851364539*b216 =L= 0;

e179..    x69 - 1.6544851364539*b217 =L= 0;

e180..    x86 - 0.732188035236726*b216 =L= 0;

e181..    x87 - 0.732188035236726*b217 =L= 0;

e182.. -0.8*log(1 + x70) + x88 + b218 =L= 1;

e183.. -0.8*log(1 + x71) + x89 + b219 =L= 1;

e184..    x70 - 1.6544851364539*b218 =L= 0;

e185..    x71 - 1.6544851364539*b219 =L= 0;

e186..    x88 - 0.781000570919175*b218 =L= 0;

e187..    x89 - 0.781000570919175*b219 =L= 0;

e188.. -0.85*log(1 + x72) + x90 + b220 =L= 1;

e189.. -0.85*log(1 + x73) + x91 + b221 =L= 1;

e190..    x72 - 1.6544851364539*b220 =L= 0;

e191..    x73 - 1.6544851364539*b221 =L= 0;

e192..    x90 - 0.829813106601623*b220 =L= 0;

e193..    x91 - 0.829813106601623*b221 =L= 0;

e194.. -log(1 + x94) + x98 + b222 =L= 1;

e195.. -log(1 + x95) + x99 + b223 =L= 1;

e196..    x94 - 0.829813106601623*b222 =L= 0;

e197..    x95 - 0.829813106601623*b223 =L= 0;

e198..    x98 - 0.604213834097861*b222 =L= 0;

e199..    x99 - 0.604213834097861*b223 =L= 0;

e200.. -1.2*log(1 + x96) + x100 + b224 =L= 1;

e201.. -1.2*log(1 + x97) + x101 + b225 =L= 1;

e202..    x96 - 0.829813106601623*b224 =L= 0;

e203..    x97 - 0.829813106601623*b225 =L= 0;

e204..    x100 - 0.725056600917433*b224 =L= 0;

e205..    x101 - 0.725056600917433*b225 =L= 0;

e206..  - 0.75*x108 + x116 + b226 =L= 1;

e207..  - 0.75*x109 + x117 + b227 =L= 1;

e208..  - 0.75*x108 + x116 - b226 =G= -1;

e209..  - 0.75*x109 + x117 - b227 =G= -1;

e210..    x108 - 0.725056600917433*b226 =L= 0;

e211..    x109 - 0.725056600917433*b227 =L= 0;

e212..    x116 - 0.543792450688075*b226 =L= 0;

e213..    x117 - 0.543792450688075*b227 =L= 0;

e214.. -1.5*log(1 + x110) + x118 + b228 =L= 1;

e215.. -1.5*log(1 + x111) + x119 + b229 =L= 1;

e216..    x110 - 0.725056600917433*b228 =L= 0;

e217..    x111 - 0.725056600917433*b229 =L= 0;

e218..    x118 - 0.817889793106597*b228 =L= 0;

e219..    x119 - 0.817889793106597*b229 =L= 0;

e220..  - x112 + x120 + b230 =L= 1;

e221..  - x113 + x121 + b231 =L= 1;

e222..  - x112 + x120 - b230 =G= -1;

e223..  - x113 + x121 - b231 =G= -1;

e224..  - 0.5*x114 + x120 + b230 =L= 1;

e225..  - 0.5*x115 + x121 + b231 =L= 1;

e226..  - 0.5*x114 + x120 - b230 =G= -1;

e227..  - 0.5*x115 + x121 - b231 =G= -1;

e228..    x112 - 0.725056600917433*b230 =L= 0;

e229..    x113 - 0.725056600917433*b231 =L= 0;

e230..    x114 - 7*b230 =L= 0;

e231..    x115 - 7*b231 =L= 0;

e232..    x120 - 3.5*b230 =L= 0;

e233..    x121 - 3.5*b231 =L= 0;

e234.. -1.25*log(1 + x122) + x132 + b232 =L= 1;

e235.. -1.25*log(1 + x123) + x133 + b233 =L= 1;

e236..    x122 - 0.543792450688075*b232 =L= 0;

e237..    x123 - 0.543792450688075*b233 =L= 0;

e238..    x132 - 0.542802524296876*b232 =L= 0;

e239..    x133 - 0.542802524296876*b233 =L= 0;

e240.. -0.9*log(1 + x124) + x134 + b234 =L= 1;

e241.. -0.9*log(1 + x125) + x135 + b235 =L= 1;

e242..    x124 - 0.543792450688075*b234 =L= 0;

e243..    x125 - 0.543792450688075*b235 =L= 0;

e244..    x134 - 0.39081781749375*b234 =L= 0;

e245..    x135 - 0.39081781749375*b235 =L= 0;

e246.. -log(1 + x118) + x136 + b236 =L= 1;

e247.. -log(1 + x119) + x137 + b237 =L= 1;

e248..    x118 - 0.817889793106597*b236 =L= 0;

e249..    x119 - 0.817889793106597*b237 =L= 0;

e250..    x136 - 0.597676374064473*b236 =L= 0;

e251..    x137 - 0.597676374064473*b237 =L= 0;

e252..  - 0.9*x126 + x138 + b238 =L= 1;

e253..  - 0.9*x127 + x139 + b239 =L= 1;

e254..  - 0.9*x126 + x138 - b238 =G= -1;

e255..  - 0.9*x127 + x139 - b239 =G= -1;

e256..    x126 - 3.5*b238 =L= 0;

e257..    x127 - 3.5*b239 =L= 0;

e258..    x138 - 3.15*b238 =L= 0;

e259..    x139 - 3.15*b239 =L= 0;

e260..  - 0.6*x128 + x140 + b240 =L= 1;

e261..  - 0.6*x129 + x141 + b241 =L= 1;

e262..  - 0.6*x128 + x140 - b240 =G= -1;

e263..  - 0.6*x129 + x141 - b241 =G= -1;

e264..    x128 - 3.5*b240 =L= 0;

e265..    x129 - 3.5*b241 =L= 0;

e266..    x140 - 2.1*b240 =L= 0;

e267..    x141 - 2.1*b241 =L= 0;

e268.. -1.1*log(1 + x130) + x142 + b242 =L= 1;

e269.. -1.1*log(1 + x131) + x143 + b243 =L= 1;

e270..    x130 - 3.5*b242 =L= 0;

e271..    x131 - 3.5*b243 =L= 0;

e272..    x142 - 1.6544851364539*b242 =L= 0;

e273..    x143 - 1.6544851364539*b243 =L= 0;

e274..  - 0.9*x132 + x164 + b244 =L= 1;

e275..  - 0.9*x133 + x165 + b245 =L= 1;

e276..  - 0.9*x132 + x164 - b244 =G= -1;

e277..  - 0.9*x133 + x165 - b245 =G= -1;

e278..  - x148 + x164 + b244 =L= 1;

e279..  - x149 + x165 + b245 =L= 1;

e280..  - x148 + x164 - b244 =G= -1;

e281..  - x149 + x165 - b245 =G= -1;

e282..    x132 - 0.542802524296876*b244 =L= 0;

e283..    x133 - 0.542802524296876*b245 =L= 0;

e284..    x148 - 7*b244 =L= 0;

e285..    x149 - 7*b245 =L= 0;

e286..    x164 - 7*b244 =L= 0;

e287..    x165 - 7*b245 =L= 0;

e288.. -log(1 + x134) + x166 + b246 =L= 1;

e289.. -log(1 + x135) + x167 + b247 =L= 1;

e290..    x134 - 0.39081781749375*b246 =L= 0;

e291..    x135 - 0.39081781749375*b247 =L= 0;

e292..    x166 - 0.329891932037118*b246 =L= 0;

e293..    x167 - 0.329891932037118*b247 =L= 0;

e294.. -0.7*log(1 + x144) + x168 + b248 =L= 1;

e295.. -0.7*log(1 + x145) + x169 + b249 =L= 1;

e296..    x144 - 0.597676374064473*b248 =L= 0;

e297..    x145 - 0.597676374064473*b249 =L= 0;

e298..    x168 - 0.327985215232756*b248 =L= 0;

e299..    x169 - 0.327985215232756*b249 =L= 0;

e300.. -0.65*log(1 + x146) + x170 + b250 =L= 1;

e301.. -0.65*log(1 + x147) + x171 + b251 =L= 1;

e302.. -0.65*log(1 + x152) + x170 + b250 =L= 1;

e303.. -0.65*log(1 + x153) + x171 + b251 =L= 1;

e304..    x146 - 0.597676374064473*b250 =L= 0;

e305..    x147 - 0.597676374064473*b251 =L= 0;

e306..    x152 - 8.15*b250 =L= 0;

e307..    x153 - 8.15*b251 =L= 0;

e308..    x170 - 1.43894002153683*b250 =L= 0;

e309..    x171 - 1.43894002153683*b251 =L= 0;

e310..  - x154 + x172 + b252 =L= 1;

e311..  - x155 + x173 + b253 =L= 1;

e312..  - x154 + x172 - b252 =G= -1;

e313..  - x155 + x173 - b253 =G= -1;

e314..    x154 - 2.1*b252 =L= 0;

e315..    x155 - 2.1*b253 =L= 0;

e316..    x172 - 2.1*b252 =L= 0;

e317..    x173 - 2.1*b253 =L= 0;

e318..  - x156 + x174 + b254 =L= 1;

e319..  - x157 + x175 + b255 =L= 1;

e320..  - x156 + x174 - b254 =G= -1;

e321..  - x157 + x175 - b255 =G= -1;

e322..    x156 - 2.1*b254 =L= 0;

e323..    x157 - 2.1*b255 =L= 0;

e324..    x174 - 2.1*b254 =L= 0;

e325..    x175 - 2.1*b255 =L= 0;

e326.. -0.75*log(1 + x158) + x176 + b256 =L= 1;

e327.. -0.75*log(1 + x159) + x177 + b257 =L= 1;

e328..    x158 - 1.6544851364539*b256 =L= 0;

e329..    x159 - 1.6544851364539*b257 =L= 0;

e330..    x176 - 0.732188035236726*b256 =L= 0;

e331..    x177 - 0.732188035236726*b257 =L= 0;

e332.. -0.8*log(1 + x160) + x178 + b258 =L= 1;

e333.. -0.8*log(1 + x161) + x179 + b259 =L= 1;

e334..    x160 - 1.6544851364539*b258 =L= 0;

e335..    x161 - 1.6544851364539*b259 =L= 0;

e336..    x178 - 0.781000570919175*b258 =L= 0;

e337..    x179 - 0.781000570919175*b259 =L= 0;

e338.. -0.85*log(1 + x162) + x180 + b260 =L= 1;

e339.. -0.85*log(1 + x163) + x181 + b261 =L= 1;

e340..    x162 - 1.6544851364539*b260 =L= 0;

e341..    x163 - 1.6544851364539*b261 =L= 0;

e342..    x180 - 0.829813106601623*b260 =L= 0;

e343..    x181 - 0.829813106601623*b261 =L= 0;

e344..    5*b262 + x342 =L= 0;

e345..    4*b263 + x343 =L= 0;

e346..    8*b264 + x344 =L= 0;

e347..    7*b265 + x345 =L= 0;

e348..    6*b266 + x346 =L= 0;

e349..    9*b267 + x347 =L= 0;

e350..    10*b268 + x348 =L= 0;

e351..    9*b269 + x349 =L= 0;

e352..    6*b270 + x350 =L= 0;

e353..    10*b271 + x351 =L= 0;

e354..    7*b272 + x352 =L= 0;

e355..    7*b273 + x353 =L= 0;

e356..    4*b274 + x354 =L= 0;

e357..    3*b275 + x355 =L= 0;

e358..    5*b276 + x356 =L= 0;

e359..    6*b277 + x357 =L= 0;

e360..    2*b278 + x358 =L= 0;

e361..    5*b279 + x359 =L= 0;

e362..    4*b280 + x360 =L= 0;

e363..    7*b281 + x361 =L= 0;

e364..    3*b282 + x362 =L= 0;

e365..    9*b283 + x363 =L= 0;

e366..    7*b284 + x364 =L= 0;

e367..    2*b285 + x365 =L= 0;

e368..    3*b286 + x366 =L= 0;

e369..    b287 + x367 =L= 0;

e370..    2*b288 + x368 =L= 0;

e371..    6*b289 + x369 =L= 0;

e372..    4*b290 + x370 =L= 0;

e373..    8*b291 + x371 =L= 0;

e374..    2*b292 + x372 =L= 0;

e375..    5*b293 + x373 =L= 0;

e376..    3*b294 + x374 =L= 0;

e377..    4*b295 + x375 =L= 0;

e378..    5*b296 + x376 =L= 0;

e379..    7*b297 + x377 =L= 0;

e380..    2*b298 + x378 =L= 0;

e381..    8*b299 + x379 =L= 0;

e382..    b300 + x380 =L= 0;

e383..    4*b301 + x381 =L= 0;

e384..    2*b302 + x382 =L= 0;

e385..    5*b303 + x383 =L= 0;

e386..    9*b304 + x384 =L= 0;

e387..    2*b305 + x385 =L= 0;

e388..    5*b306 + x386 =L= 0;

e389..    8*b307 + x387 =L= 0;

e390..    2*b308 + x388 =L= 0;

e391..    3*b309 + x389 =L= 0;

e392..    10*b310 + x390 =L= 0;

e393..    6*b311 + x391 =L= 0;

e394..    4*b312 + x392 =L= 0;

e395..    8*b313 + x393 =L= 0;

e396..    7*b314 + x394 =L= 0;

e397..    3*b315 + x395 =L= 0;

e398..    4*b316 + x396 =L= 0;

e399..    8*b317 + x397 =L= 0;

e400..    2*b318 + x398 =L= 0;

e401..    b319 + x399 =L= 0;

e402..    8*b320 + x400 =L= 0;

e403..    3*b321 + x401 =L= 0;

e404..    9*b322 + x402 =L= 0;

e405..    5*b323 + x403 =L= 0;

e406..    3*b324 + x404 =L= 0;

e407..    9*b325 + x405 =L= 0;

e408..    5*b326 + x406 =L= 0;

e409..    3*b327 + x407 =L= 0;

e410..    5*b328 + x408 =L= 0;

e411..    3*b329 + x409 =L= 0;

e412..    6*b330 + x410 =L= 0;

e413..    4*b331 + x411 =L= 0;

e414..    2*b332 + x412 =L= 0;

e415..    6*b333 + x413 =L= 0;

e416..    6*b334 + x414 =L= 0;

e417..    4*b335 + x415 =L= 0;

e418..    3*b336 + x416 =L= 0;

e419..    2*b337 + x417 =L= 0;

e420..    5*b338 + x418 =L= 0;

e421..    8*b339 + x419 =L= 0;

e422..    9*b340 + x420 =L= 0;

e423..    5*b341 + x421 =L= 0;

e424..    5*b262 + x342 =G= 0;

e425..    4*b263 + x343 =G= 0;

e426..    8*b264 + x344 =G= 0;

e427..    7*b265 + x345 =G= 0;

e428..    6*b266 + x346 =G= 0;

e429..    9*b267 + x347 =G= 0;

e430..    10*b268 + x348 =G= 0;

e431..    9*b269 + x349 =G= 0;

e432..    6*b270 + x350 =G= 0;

e433..    10*b271 + x351 =G= 0;

e434..    7*b272 + x352 =G= 0;

e435..    7*b273 + x353 =G= 0;

e436..    4*b274 + x354 =G= 0;

e437..    3*b275 + x355 =G= 0;

e438..    5*b276 + x356 =G= 0;

e439..    6*b277 + x357 =G= 0;

e440..    2*b278 + x358 =G= 0;

e441..    5*b279 + x359 =G= 0;

e442..    4*b280 + x360 =G= 0;

e443..    7*b281 + x361 =G= 0;

e444..    3*b282 + x362 =G= 0;

e445..    9*b283 + x363 =G= 0;

e446..    7*b284 + x364 =G= 0;

e447..    2*b285 + x365 =G= 0;

e448..    3*b286 + x366 =G= 0;

e449..    b287 + x367 =G= 0;

e450..    2*b288 + x368 =G= 0;

e451..    6*b289 + x369 =G= 0;

e452..    4*b290 + x370 =G= 0;

e453..    8*b291 + x371 =G= 0;

e454..    2*b292 + x372 =G= 0;

e455..    5*b293 + x373 =G= 0;

e456..    3*b294 + x374 =G= 0;

e457..    4*b295 + x375 =G= 0;

e458..    5*b296 + x376 =G= 0;

e459..    7*b297 + x377 =G= 0;

e460..    2*b298 + x378 =G= 0;

e461..    8*b299 + x379 =G= 0;

e462..    b300 + x380 =G= 0;

e463..    4*b301 + x381 =G= 0;

e464..    2*b302 + x382 =G= 0;

e465..    5*b303 + x383 =G= 0;

e466..    9*b304 + x384 =G= 0;

e467..    2*b305 + x385 =G= 0;

e468..    5*b306 + x386 =G= 0;

e469..    8*b307 + x387 =G= 0;

e470..    2*b308 + x388 =G= 0;

e471..    3*b309 + x389 =G= 0;

e472..    10*b310 + x390 =G= 0;

e473..    6*b311 + x391 =G= 0;

e474..    4*b312 + x392 =G= 0;

e475..    8*b313 + x393 =G= 0;

e476..    7*b314 + x394 =G= 0;

e477..    3*b315 + x395 =G= 0;

e478..    4*b316 + x396 =G= 0;

e479..    8*b317 + x397 =G= 0;

e480..    2*b318 + x398 =G= 0;

e481..    b319 + x399 =G= 0;

e482..    8*b320 + x400 =G= 0;

e483..    3*b321 + x401 =G= 0;

e484..    9*b322 + x402 =G= 0;

e485..    5*b323 + x403 =G= 0;

e486..    3*b324 + x404 =G= 0;

e487..    9*b325 + x405 =G= 0;

e488..    5*b326 + x406 =G= 0;

e489..    3*b327 + x407 =G= 0;

e490..    5*b328 + x408 =G= 0;

e491..    3*b329 + x409 =G= 0;

e492..    6*b330 + x410 =G= 0;

e493..    4*b331 + x411 =G= 0;

e494..    2*b332 + x412 =G= 0;

e495..    6*b333 + x413 =G= 0;

e496..    6*b334 + x414 =G= 0;

e497..    4*b335 + x415 =G= 0;

e498..    3*b336 + x416 =G= 0;

e499..    2*b337 + x417 =G= 0;

e500..    5*b338 + x418 =G= 0;

e501..    8*b339 + x419 =G= 0;

e502..    9*b340 + x420 =G= 0;

e503..    5*b341 + x421 =G= 0;

e504..    b182 - b183 =L= 0;

e505..    b184 - b185 =L= 0;

e506..    b186 - b187 =L= 0;

e507..    b188 - b189 =L= 0;

e508..    b190 - b191 =L= 0;

e509..    b192 - b193 =L= 0;

e510..    b194 - b195 =L= 0;

e511..    b196 - b197 =L= 0;

e512..    b198 - b199 =L= 0;

e513..    b200 - b201 =L= 0;

e514..    b202 - b203 =L= 0;

e515..    b204 - b205 =L= 0;

e516..    b206 - b207 =L= 0;

e517..    b208 - b209 =L= 0;

e518..    b210 - b211 =L= 0;

e519..    b212 - b213 =L= 0;

e520..    b214 - b215 =L= 0;

e521..    b216 - b217 =L= 0;

e522..    b218 - b219 =L= 0;

e523..    b220 - b221 =L= 0;

e524..    b222 - b223 =L= 0;

e525..    b224 - b225 =L= 0;

e526..    b226 - b227 =L= 0;

e527..    b228 - b229 =L= 0;

e528..    b230 - b231 =L= 0;

e529..    b232 - b233 =L= 0;

e530..    b234 - b235 =L= 0;

e531..    b236 - b237 =L= 0;

e532..    b238 - b239 =L= 0;

e533..    b240 - b241 =L= 0;

e534..    b242 - b243 =L= 0;

e535..    b244 - b245 =L= 0;

e536..    b246 - b247 =L= 0;

e537..    b248 - b249 =L= 0;

e538..    b250 - b251 =L= 0;

e539..    b252 - b253 =L= 0;

e540..    b254 - b255 =L= 0;

e541..    b256 - b257 =L= 0;

e542..    b258 - b259 =L= 0;

e543..    b260 - b261 =L= 0;

e544..    b262 + b263 =L= 1;

e545..    b262 + b263 =L= 1;

e546..    b264 + b265 =L= 1;

e547..    b264 + b265 =L= 1;

e548..    b266 + b267 =L= 1;

e549..    b266 + b267 =L= 1;

e550..    b268 + b269 =L= 1;

e551..    b268 + b269 =L= 1;

e552..    b270 + b271 =L= 1;

e553..    b270 + b271 =L= 1;

e554..    b272 + b273 =L= 1;

e555..    b272 + b273 =L= 1;

e556..    b274 + b275 =L= 1;

e557..    b274 + b275 =L= 1;

e558..    b276 + b277 =L= 1;

e559..    b276 + b277 =L= 1;

e560..    b278 + b279 =L= 1;

e561..    b278 + b279 =L= 1;

e562..    b280 + b281 =L= 1;

e563..    b280 + b281 =L= 1;

e564..    b282 + b283 =L= 1;

e565..    b282 + b283 =L= 1;

e566..    b284 + b285 =L= 1;

e567..    b284 + b285 =L= 1;

e568..    b286 + b287 =L= 1;

e569..    b286 + b287 =L= 1;

e570..    b288 + b289 =L= 1;

e571..    b288 + b289 =L= 1;

e572..    b290 + b291 =L= 1;

e573..    b290 + b291 =L= 1;

e574..    b292 + b293 =L= 1;

e575..    b292 + b293 =L= 1;

e576..    b294 + b295 =L= 1;

e577..    b294 + b295 =L= 1;

e578..    b296 + b297 =L= 1;

e579..    b296 + b297 =L= 1;

e580..    b298 + b299 =L= 1;

e581..    b298 + b299 =L= 1;

e582..    b300 + b301 =L= 1;

e583..    b300 + b301 =L= 1;

e584..    b302 + b303 =L= 1;

e585..    b302 + b303 =L= 1;

e586..    b304 + b305 =L= 1;

e587..    b304 + b305 =L= 1;

e588..    b306 + b307 =L= 1;

e589..    b306 + b307 =L= 1;

e590..    b308 + b309 =L= 1;

e591..    b308 + b309 =L= 1;

e592..    b310 + b311 =L= 1;

e593..    b310 + b311 =L= 1;

e594..    b312 + b313 =L= 1;

e595..    b312 + b313 =L= 1;

e596..    b314 + b315 =L= 1;

e597..    b314 + b315 =L= 1;

e598..    b316 + b317 =L= 1;

e599..    b316 + b317 =L= 1;

e600..    b318 + b319 =L= 1;

e601..    b318 + b319 =L= 1;

e602..    b320 + b321 =L= 1;

e603..    b320 + b321 =L= 1;

e604..    b322 + b323 =L= 1;

e605..    b322 + b323 =L= 1;

e606..    b324 + b325 =L= 1;

e607..    b324 + b325 =L= 1;

e608..    b326 + b327 =L= 1;

e609..    b326 + b327 =L= 1;

e610..    b328 + b329 =L= 1;

e611..    b328 + b329 =L= 1;

e612..    b330 + b331 =L= 1;

e613..    b330 + b331 =L= 1;

e614..    b332 + b333 =L= 1;

e615..    b332 + b333 =L= 1;

e616..    b334 + b335 =L= 1;

e617..    b334 + b335 =L= 1;

e618..    b336 + b337 =L= 1;

e619..    b336 + b337 =L= 1;

e620..    b338 + b339 =L= 1;

e621..    b338 + b339 =L= 1;

e622..    b340 + b341 =L= 1;

e623..    b340 + b341 =L= 1;

e624..    b182 - b262 =L= 0;

e625..  - b182 + b183 - b263 =L= 0;

e626..    b184 - b264 =L= 0;

e627..  - b184 + b185 - b265 =L= 0;

e628..    b186 - b266 =L= 0;

e629..  - b186 + b187 - b267 =L= 0;

e630..    b188 - b268 =L= 0;

e631..  - b188 + b189 - b269 =L= 0;

e632..    b190 - b270 =L= 0;

e633..  - b190 + b191 - b271 =L= 0;

e634..    b192 - b272 =L= 0;

e635..  - b192 + b193 - b273 =L= 0;

e636..    b194 - b274 =L= 0;

e637..  - b194 + b195 - b275 =L= 0;

e638..    b196 - b276 =L= 0;

e639..  - b196 + b197 - b277 =L= 0;

e640..    b198 - b278 =L= 0;

e641..  - b198 + b199 - b279 =L= 0;

e642..    b200 - b280 =L= 0;

e643..  - b200 + b201 - b281 =L= 0;

e644..    b202 - b282 =L= 0;

e645..  - b202 + b203 - b283 =L= 0;

e646..    b204 - b284 =L= 0;

e647..  - b204 + b205 - b285 =L= 0;

e648..    b206 - b286 =L= 0;

e649..  - b206 + b207 - b287 =L= 0;

e650..    b208 - b288 =L= 0;

e651..  - b208 + b209 - b289 =L= 0;

e652..    b210 - b290 =L= 0;

e653..  - b210 + b211 - b291 =L= 0;

e654..    b212 - b292 =L= 0;

e655..  - b212 + b213 - b293 =L= 0;

e656..    b214 - b294 =L= 0;

e657..  - b214 + b215 - b295 =L= 0;

e658..    b216 - b296 =L= 0;

e659..  - b216 + b217 - b297 =L= 0;

e660..    b218 - b298 =L= 0;

e661..  - b218 + b219 - b299 =L= 0;

e662..    b220 - b300 =L= 0;

e663..  - b220 + b221 - b301 =L= 0;

e664..    b222 - b302 =L= 0;

e665..  - b222 + b223 - b303 =L= 0;

e666..    b224 - b304 =L= 0;

e667..  - b224 + b225 - b305 =L= 0;

e668..    b226 - b306 =L= 0;

e669..  - b226 + b227 - b307 =L= 0;

e670..    b228 - b308 =L= 0;

e671..  - b228 + b229 - b309 =L= 0;

e672..    b230 - b310 =L= 0;

e673..  - b230 + b231 - b311 =L= 0;

e674..    b232 - b312 =L= 0;

e675..  - b232 + b233 - b313 =L= 0;

e676..    b234 - b314 =L= 0;

e677..  - b234 + b235 - b315 =L= 0;

e678..    b236 - b316 =L= 0;

e679..  - b236 + b237 - b317 =L= 0;

e680..    b238 - b318 =L= 0;

e681..  - b238 + b239 - b319 =L= 0;

e682..    b240 - b320 =L= 0;

e683..  - b240 + b241 - b321 =L= 0;

e684..    b242 - b322 =L= 0;

e685..  - b242 + b243 - b323 =L= 0;

e686..    b244 - b324 =L= 0;

e687..  - b244 + b245 - b325 =L= 0;

e688..    b246 - b326 =L= 0;

e689..  - b246 + b247 - b327 =L= 0;

e690..    b248 - b328 =L= 0;

e691..  - b248 + b249 - b329 =L= 0;

e692..    b250 - b330 =L= 0;

e693..  - b250 + b251 - b331 =L= 0;

e694..    b252 - b332 =L= 0;

e695..  - b252 + b253 - b333 =L= 0;

e696..    b254 - b334 =L= 0;

e697..  - b254 + b255 - b335 =L= 0;

e698..    b256 - b336 =L= 0;

e699..  - b256 + b257 - b337 =L= 0;

e700..    b258 - b338 =L= 0;

e701..  - b258 + b259 - b339 =L= 0;

e702..    b260 - b340 =L= 0;

e703..  - b260 + b261 - b341 =L= 0;

e704..    b182 + b184 =E= 1;

e705..    b183 + b185 =E= 1;

e706..  - b186 + b192 + b194 =G= 0;

e707..  - b187 + b193 + b195 =G= 0;

e708..  - b192 + b204 =G= 0;

e709..  - b193 + b205 =G= 0;

e710..  - b194 + b206 =G= 0;

e711..  - b195 + b207 =G= 0;

e712..  - b188 + b196 =G= 0;

e713..  - b189 + b197 =G= 0;

e714..  - b196 + b208 + b210 =G= 0;

e715..  - b197 + b209 + b211 =G= 0;

e716..  - b190 + b198 + b200 + b202 =G= 0;

e717..  - b191 + b199 + b201 + b203 =G= 0;

e718..  - b198 + b210 =G= 0;

e719..  - b199 + b211 =G= 0;

e720..  - b200 + b212 + b214 =G= 0;

e721..  - b201 + b213 + b215 =G= 0;

e722..  - b202 + b216 + b218 + b220 =G= 0;

e723..  - b203 + b217 + b219 + b221 =G= 0;

e724..    b186 - b192 =G= 0;

e725..    b187 - b193 =G= 0;

e726..    b186 - b194 =G= 0;

e727..    b187 - b195 =G= 0;

e728..    b188 - b196 =G= 0;

e729..    b189 - b197 =G= 0;

e730..    b190 - b198 =G= 0;

e731..    b191 - b199 =G= 0;

e732..    b190 - b200 =G= 0;

e733..    b191 - b201 =G= 0;

e734..    b190 - b202 =G= 0;

e735..    b191 - b203 =G= 0;

e736..    b192 - b204 =G= 0;

e737..    b193 - b205 =G= 0;

e738..    b194 - b206 =G= 0;

e739..    b195 - b207 =G= 0;

e740..    b196 - b208 =G= 0;

e741..    b197 - b209 =G= 0;

e742..    b196 - b210 =G= 0;

e743..    b197 - b211 =G= 0;

e744..    b200 - b212 =G= 0;

e745..    b201 - b213 =G= 0;

e746..    b200 - b214 =G= 0;

e747..    b201 - b215 =G= 0;

e748..    b202 - b216 =G= 0;

e749..    b203 - b217 =G= 0;

e750..    b202 - b218 =G= 0;

e751..    b203 - b219 =G= 0;

e752..    b202 - b220 =G= 0;

e753..    b203 - b221 =G= 0;

e754..  - b220 + b222 + b224 =G= 0;

e755..  - b221 + b223 + b225 =G= 0;

e756..  - b226 + b232 + b234 =G= 0;

e757..  - b227 + b233 + b235 =G= 0;

e758..  - b232 + b244 =G= 0;

e759..  - b233 + b245 =G= 0;

e760..  - b234 + b246 =G= 0;

e761..  - b235 + b247 =G= 0;

e762..  - b228 + b236 =G= 0;

e763..  - b229 + b237 =G= 0;

e764..  - b236 + b248 + b250 =G= 0;

e765..  - b237 + b249 + b251 =G= 0;

e766..  - b230 + b238 + b240 + b242 =G= 0;

e767..  - b231 + b239 + b241 + b243 =G= 0;

e768..  - b238 + b250 =G= 0;

e769..  - b239 + b251 =G= 0;

e770..  - b240 + b252 + b254 =G= 0;

e771..  - b241 + b253 + b255 =G= 0;

e772..  - b242 + b256 + b258 + b260 =G= 0;

e773..  - b243 + b257 + b259 + b261 =G= 0;

e774..    b226 - b232 =G= 0;

e775..    b227 - b233 =G= 0;

e776..    b226 - b234 =G= 0;

e777..    b227 - b235 =G= 0;

e778..    b232 - b244 =G= 0;

e779..    b233 - b245 =G= 0;

e780..    b234 - b246 =G= 0;

e781..    b235 - b247 =G= 0;

e782..    b228 - b236 =G= 0;

e783..    b229 - b237 =G= 0;

e784..    b236 - b248 =G= 0;

e785..    b237 - b249 =G= 0;

e786..    b236 - b250 =G= 0;

e787..    b237 - b251 =G= 0;

e788..    b230 - b238 =G= 0;

e789..    b231 - b239 =G= 0;

e790..    b230 - b240 =G= 0;

e791..    b231 - b241 =G= 0;

e792..    b230 - b242 =G= 0;

e793..    b231 - b243 =G= 0;

e794..    b240 - b252 =G= 0;

e795..    b241 - b253 =G= 0;

e796..    b240 - b254 =G= 0;

e797..    b241 - b255 =G= 0;

e798..    b242 - b256 =G= 0;

e799..    b243 - b257 =G= 0;

e800..    b242 - b258 =G= 0;

e801..    b243 - b259 =G= 0;

e802..    b242 - b260 =G= 0;

e803..    b243 - b261 =G= 0;

e804..    b182 + b184 - b186 =G= 0;

e805..    b183 + b185 - b187 =G= 0;

e806..    b182 + b184 - b188 =G= 0;

e807..    b183 + b185 - b189 =G= 0;

e808..    b182 + b184 - b190 =G= 0;

e809..    b183 + b185 - b191 =G= 0;

e810..    b220 - b222 =G= 0;

e811..    b221 - b223 =G= 0;

e812..    b220 - b224 =G= 0;

e813..    b221 - b225 =G= 0;

* set non-default bounds
x2.up = 10;
x3.up = 10;
x24.up = 7;
x25.up = 7;
x58.up = 7;
x59.up = 7;
x60.up = 5;
x61.up = 5;
x114.up = 7;
x115.up = 7;
x148.up = 7;
x149.up = 7;
x150.up = 5;
x151.up = 5;

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-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0