MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance syn20m04m

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)
3532.74393400 p1 ( gdx sol )
(infeas: 4e-14)
Other points (infeas > 1e-08)  
Dual Bounds
3532.82310000 (ALPHAECP)
3532.74446400 (ANTIGONE)
3532.74402100 (BARON)
6376.55813400 (COUENNE)
3532.74408700 (LINDO)
3532.74462300 (SCIP)
3532.91139900 (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 Syn20M04M.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 136
#Nonlinear Nonzeros in Objective 0
#Constraints 1052
#Linear Constraints 996
#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 2444
#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 5.0000e-01
Maximal coefficient 4.3000e+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
*       1053       45      224      784        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
*       2581     2525       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,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;


e1..    objvar + x2 + x3 + x4 + x5 - 5*x26 - 10*x27 - 5*x28 - 10*x29 + 2*x46
      + x47 + 2*x48 + x49 + 10*x114 + 5*x115 + 5*x116 + 10*x117 + 5*x118
      + 5*x119 + 5*x120 + 10*x121 - 80*x146 - 130*x147 - 215*x148 - 210*x149
      - 110*x150 - 120*x151 - 125*x152 - 130*x153 - 110*x154 - 130*x155
      - 140*x156 - 140*x157 - 80*x158 - 90*x159 - 120*x160 - 100*x161
      - 285*x162 - 390*x163 - 350*x164 - 300*x165 - 290*x166 - 405*x167
      - 190*x168 - 340*x169 - 280*x170 - 400*x171 - 430*x172 - 260*x173
      - 290*x174 - 300*x175 - 240*x176 - 310*x177 - 350*x178 - 250*x179
      - 300*x180 - 400*x181 + 5*b262 + 4*b263 + 6*b264 + 3*b265 + 8*b266
      + 7*b267 + 6*b268 + 5*b269 + 6*b270 + 9*b271 + 4*b272 + 3*b273 + 10*b274
      + 9*b275 + 5*b276 + 6*b277 + 6*b278 + 10*b279 + 6*b280 + 9*b281 + 7*b282
      + 7*b283 + 4*b284 + 2*b285 + 4*b286 + 3*b287 + 2*b288 + 8*b289 + 5*b290
      + 6*b291 + 7*b292 + 4*b293 + 2*b294 + 5*b295 + 2*b296 + 6*b297 + 4*b298
      + 7*b299 + 4*b300 + 7*b301 + 3*b302 + 9*b303 + 3*b304 + 6*b305 + 7*b306
      + 2*b307 + 9*b308 + 6*b309 + 3*b310 + b311 + 9*b312 + 10*b313 + 2*b314
      + 6*b315 + 3*b316 + 7*b317 + 4*b318 + 8*b319 + b320 + 4*b321 + 2*b322
      + 5*b323 + 2*b324 + 5*b325 + 3*b326 + 4*b327 + 3*b328 + 7*b329 + 5*b330
      + 7*b331 + 6*b332 + 2*b333 + 2*b334 + 8*b335 + 4*b336 + 2*b337 + b338
      + 4*b339 + b340 + b341 =E= 0;

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

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

e4..    x4 - x8 - x12 =E= 0;

e5..    x5 - x9 - x13 =E= 0;

e6..  - x14 - x18 + x22 =E= 0;

e7..  - x15 - x19 + x23 =E= 0;

e8..  - x16 - x20 + x24 =E= 0;

e9..  - x17 - x21 + x25 =E= 0;

e10..    x22 - x26 - x30 =E= 0;

e11..    x23 - x27 - x31 =E= 0;

e12..    x24 - x28 - x32 =E= 0;

e13..    x25 - x29 - x33 =E= 0;

e14..    x30 - x34 - x38 - x42 =E= 0;

e15..    x31 - x35 - x39 - x43 =E= 0;

e16..    x32 - x36 - x40 - x44 =E= 0;

e17..    x33 - x37 - x41 - x45 =E= 0;

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

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

e20..    x52 - x64 - x68 =E= 0;

e21..    x53 - x65 - x69 =E= 0;

e22..    x58 - x70 - x74 - x78 =E= 0;

e23..    x59 - x71 - x75 - x79 =E= 0;

e24..    x60 - x72 - x76 - x80 =E= 0;

e25..    x61 - x73 - x77 - x81 =E= 0;

e26..    x90 - x106 - x110 =E= 0;

e27..    x91 - x107 - x111 =E= 0;

e28..    x92 - x108 - x112 =E= 0;

e29..    x93 - x109 - x113 =E= 0;

e30..  - x94 - x118 + x122 =E= 0;

e31..  - x95 - x119 + x123 =E= 0;

e32..  - x96 - x120 + x124 =E= 0;

e33..  - x97 - x121 + x125 =E= 0;

e34..    x98 - x126 - x130 =E= 0;

e35..    x99 - x127 - x131 =E= 0;

e36..    x100 - x128 - x132 =E= 0;

e37..    x101 - x129 - x133 =E= 0;

e38..    x102 - x134 - x138 - x142 =E= 0;

e39..    x103 - x135 - x139 - x143 =E= 0;

e40..    x104 - x136 - x140 - x144 =E= 0;

e41..    x105 - x137 - x141 - x145 =E= 0;

e42.. -log(1 + x6) + x14 + b182 =L= 1;

e43.. -log(1 + x7) + x15 + b183 =L= 1;

e44.. -log(1 + x8) + x16 + b184 =L= 1;

e45.. -log(1 + x9) + x17 + b185 =L= 1;

e46..    x6 - 40*b182 =L= 0;

e47..    x7 - 40*b183 =L= 0;

e48..    x8 - 40*b184 =L= 0;

e49..    x9 - 40*b185 =L= 0;

e50..    x14 - 3.71357206670431*b182 =L= 0;

e51..    x15 - 3.71357206670431*b183 =L= 0;

e52..    x16 - 3.71357206670431*b184 =L= 0;

e53..    x17 - 3.71357206670431*b185 =L= 0;

e54.. -1.2*log(1 + x10) + x18 + b186 =L= 1;

e55.. -1.2*log(1 + x11) + x19 + b187 =L= 1;

e56.. -1.2*log(1 + x12) + x20 + b188 =L= 1;

e57.. -1.2*log(1 + x13) + x21 + b189 =L= 1;

e58..    x10 - 40*b186 =L= 0;

e59..    x11 - 40*b187 =L= 0;

e60..    x12 - 40*b188 =L= 0;

e61..    x13 - 40*b189 =L= 0;

e62..    x18 - 4.45628648004517*b186 =L= 0;

e63..    x19 - 4.45628648004517*b187 =L= 0;

e64..    x20 - 4.45628648004517*b188 =L= 0;

e65..    x21 - 4.45628648004517*b189 =L= 0;

e66..  - 0.75*x34 + x50 + b190 =L= 1;

e67..  - 0.75*x35 + x51 + b191 =L= 1;

e68..  - 0.75*x36 + x52 + b192 =L= 1;

e69..  - 0.75*x37 + x53 + b193 =L= 1;

e70..  - 0.75*x34 + x50 - b190 =G= -1;

e71..  - 0.75*x35 + x51 - b191 =G= -1;

e72..  - 0.75*x36 + x52 - b192 =G= -1;

e73..  - 0.75*x37 + x53 - b193 =G= -1;

e74..    x34 - 4.45628648004517*b190 =L= 0;

e75..    x35 - 4.45628648004517*b191 =L= 0;

e76..    x36 - 4.45628648004517*b192 =L= 0;

e77..    x37 - 4.45628648004517*b193 =L= 0;

e78..    x50 - 3.34221486003388*b190 =L= 0;

e79..    x51 - 3.34221486003388*b191 =L= 0;

e80..    x52 - 3.34221486003388*b192 =L= 0;

e81..    x53 - 3.34221486003388*b193 =L= 0;

e82.. -1.5*log(1 + x38) + x54 + b194 =L= 1;

e83.. -1.5*log(1 + x39) + x55 + b195 =L= 1;

e84.. -1.5*log(1 + x40) + x56 + b196 =L= 1;

e85.. -1.5*log(1 + x41) + x57 + b197 =L= 1;

e86..    x38 - 4.45628648004517*b194 =L= 0;

e87..    x39 - 4.45628648004517*b195 =L= 0;

e88..    x40 - 4.45628648004517*b196 =L= 0;

e89..    x41 - 4.45628648004517*b197 =L= 0;

e90..    x54 - 2.54515263975353*b194 =L= 0;

e91..    x55 - 2.54515263975353*b195 =L= 0;

e92..    x56 - 2.54515263975353*b196 =L= 0;

e93..    x57 - 2.54515263975353*b197 =L= 0;

e94..  - x42 + x58 + b198 =L= 1;

e95..  - x43 + x59 + b199 =L= 1;

e96..  - x44 + x60 + b200 =L= 1;

e97..  - x45 + x61 + b201 =L= 1;

e98..  - x42 + x58 - b198 =G= -1;

e99..  - x43 + x59 - b199 =G= -1;

e100..  - x44 + x60 - b200 =G= -1;

e101..  - x45 + x61 - b201 =G= -1;

e102..  - 0.5*x46 + x58 + b198 =L= 1;

e103..  - 0.5*x47 + x59 + b199 =L= 1;

e104..  - 0.5*x48 + x60 + b200 =L= 1;

e105..  - 0.5*x49 + x61 + b201 =L= 1;

e106..  - 0.5*x46 + x58 - b198 =G= -1;

e107..  - 0.5*x47 + x59 - b199 =G= -1;

e108..  - 0.5*x48 + x60 - b200 =G= -1;

e109..  - 0.5*x49 + x61 - b201 =G= -1;

e110..    x42 - 4.45628648004517*b198 =L= 0;

e111..    x43 - 4.45628648004517*b199 =L= 0;

e112..    x44 - 4.45628648004517*b200 =L= 0;

e113..    x45 - 4.45628648004517*b201 =L= 0;

e114..    x46 - 30*b198 =L= 0;

e115..    x47 - 30*b199 =L= 0;

e116..    x48 - 30*b200 =L= 0;

e117..    x49 - 30*b201 =L= 0;

e118..    x58 - 15*b198 =L= 0;

e119..    x59 - 15*b199 =L= 0;

e120..    x60 - 15*b200 =L= 0;

e121..    x61 - 15*b201 =L= 0;

e122.. -1.25*log(1 + x62) + x82 + b202 =L= 1;

e123.. -1.25*log(1 + x63) + x83 + b203 =L= 1;

e124.. -1.25*log(1 + x64) + x84 + b204 =L= 1;

e125.. -1.25*log(1 + x65) + x85 + b205 =L= 1;

e126..    x62 - 3.34221486003388*b202 =L= 0;

e127..    x63 - 3.34221486003388*b203 =L= 0;

e128..    x64 - 3.34221486003388*b204 =L= 0;

e129..    x65 - 3.34221486003388*b205 =L= 0;

e130..    x82 - 1.83548069293539*b202 =L= 0;

e131..    x83 - 1.83548069293539*b203 =L= 0;

e132..    x84 - 1.83548069293539*b204 =L= 0;

e133..    x85 - 1.83548069293539*b205 =L= 0;

e134.. -0.9*log(1 + x66) + x86 + b206 =L= 1;

e135.. -0.9*log(1 + x67) + x87 + b207 =L= 1;

e136.. -0.9*log(1 + x68) + x88 + b208 =L= 1;

e137.. -0.9*log(1 + x69) + x89 + b209 =L= 1;

e138..    x66 - 3.34221486003388*b206 =L= 0;

e139..    x67 - 3.34221486003388*b207 =L= 0;

e140..    x68 - 3.34221486003388*b208 =L= 0;

e141..    x69 - 3.34221486003388*b209 =L= 0;

e142..    x86 - 1.32154609891348*b206 =L= 0;

e143..    x87 - 1.32154609891348*b207 =L= 0;

e144..    x88 - 1.32154609891348*b208 =L= 0;

e145..    x89 - 1.32154609891348*b209 =L= 0;

e146.. -log(1 + x54) + x90 + b210 =L= 1;

e147.. -log(1 + x55) + x91 + b211 =L= 1;

e148.. -log(1 + x56) + x92 + b212 =L= 1;

e149.. -log(1 + x57) + x93 + b213 =L= 1;

e150..    x54 - 2.54515263975353*b210 =L= 0;

e151..    x55 - 2.54515263975353*b211 =L= 0;

e152..    x56 - 2.54515263975353*b212 =L= 0;

e153..    x57 - 2.54515263975353*b213 =L= 0;

e154..    x90 - 1.26558121681553*b210 =L= 0;

e155..    x91 - 1.26558121681553*b211 =L= 0;

e156..    x92 - 1.26558121681553*b212 =L= 0;

e157..    x93 - 1.26558121681553*b213 =L= 0;

e158..  - 0.9*x70 + x94 + b214 =L= 1;

e159..  - 0.9*x71 + x95 + b215 =L= 1;

e160..  - 0.9*x72 + x96 + b216 =L= 1;

e161..  - 0.9*x73 + x97 + b217 =L= 1;

e162..  - 0.9*x70 + x94 - b214 =G= -1;

e163..  - 0.9*x71 + x95 - b215 =G= -1;

e164..  - 0.9*x72 + x96 - b216 =G= -1;

e165..  - 0.9*x73 + x97 - b217 =G= -1;

e166..    x70 - 15*b214 =L= 0;

e167..    x71 - 15*b215 =L= 0;

e168..    x72 - 15*b216 =L= 0;

e169..    x73 - 15*b217 =L= 0;

e170..    x94 - 13.5*b214 =L= 0;

e171..    x95 - 13.5*b215 =L= 0;

e172..    x96 - 13.5*b216 =L= 0;

e173..    x97 - 13.5*b217 =L= 0;

e174..  - 0.6*x74 + x98 + b218 =L= 1;

e175..  - 0.6*x75 + x99 + b219 =L= 1;

e176..  - 0.6*x76 + x100 + b220 =L= 1;

e177..  - 0.6*x77 + x101 + b221 =L= 1;

e178..  - 0.6*x74 + x98 - b218 =G= -1;

e179..  - 0.6*x75 + x99 - b219 =G= -1;

e180..  - 0.6*x76 + x100 - b220 =G= -1;

e181..  - 0.6*x77 + x101 - b221 =G= -1;

e182..    x74 - 15*b218 =L= 0;

e183..    x75 - 15*b219 =L= 0;

e184..    x76 - 15*b220 =L= 0;

e185..    x77 - 15*b221 =L= 0;

e186..    x98 - 9*b218 =L= 0;

e187..    x99 - 9*b219 =L= 0;

e188..    x100 - 9*b220 =L= 0;

e189..    x101 - 9*b221 =L= 0;

e190.. -1.1*log(1 + x78) + x102 + b222 =L= 1;

e191.. -1.1*log(1 + x79) + x103 + b223 =L= 1;

e192.. -1.1*log(1 + x80) + x104 + b224 =L= 1;

e193.. -1.1*log(1 + x81) + x105 + b225 =L= 1;

e194..    x78 - 15*b222 =L= 0;

e195..    x79 - 15*b223 =L= 0;

e196..    x80 - 15*b224 =L= 0;

e197..    x81 - 15*b225 =L= 0;

e198..    x102 - 3.04984759446376*b222 =L= 0;

e199..    x103 - 3.04984759446376*b223 =L= 0;

e200..    x104 - 3.04984759446376*b224 =L= 0;

e201..    x105 - 3.04984759446376*b225 =L= 0;

e202..  - 0.9*x82 + x146 + b226 =L= 1;

e203..  - 0.9*x83 + x147 + b227 =L= 1;

e204..  - 0.9*x84 + x148 + b228 =L= 1;

e205..  - 0.9*x85 + x149 + b229 =L= 1;

e206..  - 0.9*x82 + x146 - b226 =G= -1;

e207..  - 0.9*x83 + x147 - b227 =G= -1;

e208..  - 0.9*x84 + x148 - b228 =G= -1;

e209..  - 0.9*x85 + x149 - b229 =G= -1;

e210..  - x114 + x146 + b226 =L= 1;

e211..  - x115 + x147 + b227 =L= 1;

e212..  - x116 + x148 + b228 =L= 1;

e213..  - x117 + x149 + b229 =L= 1;

e214..  - x114 + x146 - b226 =G= -1;

e215..  - x115 + x147 - b227 =G= -1;

e216..  - x116 + x148 - b228 =G= -1;

e217..  - x117 + x149 - b229 =G= -1;

e218..    x82 - 1.83548069293539*b226 =L= 0;

e219..    x83 - 1.83548069293539*b227 =L= 0;

e220..    x84 - 1.83548069293539*b228 =L= 0;

e221..    x85 - 1.83548069293539*b229 =L= 0;

e222..    x114 - 20*b226 =L= 0;

e223..    x115 - 20*b227 =L= 0;

e224..    x116 - 20*b228 =L= 0;

e225..    x117 - 20*b229 =L= 0;

e226..    x146 - 20*b226 =L= 0;

e227..    x147 - 20*b227 =L= 0;

e228..    x148 - 20*b228 =L= 0;

e229..    x149 - 20*b229 =L= 0;

e230.. -log(1 + x86) + x150 + b230 =L= 1;

e231.. -log(1 + x87) + x151 + b231 =L= 1;

e232.. -log(1 + x88) + x152 + b232 =L= 1;

e233.. -log(1 + x89) + x153 + b233 =L= 1;

e234..    x86 - 1.32154609891348*b230 =L= 0;

e235..    x87 - 1.32154609891348*b231 =L= 0;

e236..    x88 - 1.32154609891348*b232 =L= 0;

e237..    x89 - 1.32154609891348*b233 =L= 0;

e238..    x150 - 0.842233385663186*b230 =L= 0;

e239..    x151 - 0.842233385663186*b231 =L= 0;

e240..    x152 - 0.842233385663186*b232 =L= 0;

e241..    x153 - 0.842233385663186*b233 =L= 0;

e242.. -0.7*log(1 + x106) + x154 + b234 =L= 1;

e243.. -0.7*log(1 + x107) + x155 + b235 =L= 1;

e244.. -0.7*log(1 + x108) + x156 + b236 =L= 1;

e245.. -0.7*log(1 + x109) + x157 + b237 =L= 1;

e246..    x106 - 1.26558121681553*b234 =L= 0;

e247..    x107 - 1.26558121681553*b235 =L= 0;

e248..    x108 - 1.26558121681553*b236 =L= 0;

e249..    x109 - 1.26558121681553*b237 =L= 0;

e250..    x154 - 0.572481933717686*b234 =L= 0;

e251..    x155 - 0.572481933717686*b235 =L= 0;

e252..    x156 - 0.572481933717686*b236 =L= 0;

e253..    x157 - 0.572481933717686*b237 =L= 0;

e254.. -0.65*log(1 + x110) + x158 + b238 =L= 1;

e255.. -0.65*log(1 + x111) + x159 + b239 =L= 1;

e256.. -0.65*log(1 + x112) + x160 + b240 =L= 1;

e257.. -0.65*log(1 + x113) + x161 + b241 =L= 1;

e258.. -0.65*log(1 + x122) + x158 + b238 =L= 1;

e259.. -0.65*log(1 + x123) + x159 + b239 =L= 1;

e260.. -0.65*log(1 + x124) + x160 + b240 =L= 1;

e261.. -0.65*log(1 + x125) + x161 + b241 =L= 1;

e262..    x110 - 1.26558121681553*b238 =L= 0;

e263..    x111 - 1.26558121681553*b239 =L= 0;

e264..    x112 - 1.26558121681553*b240 =L= 0;

e265..    x113 - 1.26558121681553*b241 =L= 0;

e266..    x122 - 33.5*b238 =L= 0;

e267..    x123 - 33.5*b239 =L= 0;

e268..    x124 - 33.5*b240 =L= 0;

e269..    x125 - 33.5*b241 =L= 0;

e270..    x158 - 2.30162356062425*b238 =L= 0;

e271..    x159 - 2.30162356062425*b239 =L= 0;

e272..    x160 - 2.30162356062425*b240 =L= 0;

e273..    x161 - 2.30162356062425*b241 =L= 0;

e274..  - x126 + x162 + b242 =L= 1;

e275..  - x127 + x163 + b243 =L= 1;

e276..  - x128 + x164 + b244 =L= 1;

e277..  - x129 + x165 + b245 =L= 1;

e278..  - x126 + x162 - b242 =G= -1;

e279..  - x127 + x163 - b243 =G= -1;

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

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

e282..    x126 - 9*b242 =L= 0;

e283..    x127 - 9*b243 =L= 0;

e284..    x128 - 9*b244 =L= 0;

e285..    x129 - 9*b245 =L= 0;

e286..    x162 - 9*b242 =L= 0;

e287..    x163 - 9*b243 =L= 0;

e288..    x164 - 9*b244 =L= 0;

e289..    x165 - 9*b245 =L= 0;

e290..  - x130 + x166 + b246 =L= 1;

e291..  - x131 + x167 + b247 =L= 1;

e292..  - x132 + x168 + b248 =L= 1;

e293..  - x133 + x169 + b249 =L= 1;

e294..  - x130 + x166 - b246 =G= -1;

e295..  - x131 + x167 - b247 =G= -1;

e296..  - x132 + x168 - b248 =G= -1;

e297..  - x133 + x169 - b249 =G= -1;

e298..    x130 - 9*b246 =L= 0;

e299..    x131 - 9*b247 =L= 0;

e300..    x132 - 9*b248 =L= 0;

e301..    x133 - 9*b249 =L= 0;

e302..    x166 - 9*b246 =L= 0;

e303..    x167 - 9*b247 =L= 0;

e304..    x168 - 9*b248 =L= 0;

e305..    x169 - 9*b249 =L= 0;

e306.. -0.75*log(1 + x134) + x170 + b250 =L= 1;

e307.. -0.75*log(1 + x135) + x171 + b251 =L= 1;

e308.. -0.75*log(1 + x136) + x172 + b252 =L= 1;

e309.. -0.75*log(1 + x137) + x173 + b253 =L= 1;

e310..    x134 - 3.04984759446376*b250 =L= 0;

e311..    x135 - 3.04984759446376*b251 =L= 0;

e312..    x136 - 3.04984759446376*b252 =L= 0;

e313..    x137 - 3.04984759446376*b253 =L= 0;

e314..    x170 - 1.04900943706034*b250 =L= 0;

e315..    x171 - 1.04900943706034*b251 =L= 0;

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

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

e318.. -0.8*log(1 + x138) + x174 + b254 =L= 1;

e319.. -0.8*log(1 + x139) + x175 + b255 =L= 1;

e320.. -0.8*log(1 + x140) + x176 + b256 =L= 1;

e321.. -0.8*log(1 + x141) + x177 + b257 =L= 1;

e322..    x138 - 3.04984759446376*b254 =L= 0;

e323..    x139 - 3.04984759446376*b255 =L= 0;

e324..    x140 - 3.04984759446376*b256 =L= 0;

e325..    x141 - 3.04984759446376*b257 =L= 0;

e326..    x174 - 1.11894339953103*b254 =L= 0;

e327..    x175 - 1.11894339953103*b255 =L= 0;

e328..    x176 - 1.11894339953103*b256 =L= 0;

e329..    x177 - 1.11894339953103*b257 =L= 0;

e330.. -0.85*log(1 + x142) + x178 + b258 =L= 1;

e331.. -0.85*log(1 + x143) + x179 + b259 =L= 1;

e332.. -0.85*log(1 + x144) + x180 + b260 =L= 1;

e333.. -0.85*log(1 + x145) + x181 + b261 =L= 1;

e334..    x142 - 3.04984759446376*b258 =L= 0;

e335..    x143 - 3.04984759446376*b259 =L= 0;

e336..    x144 - 3.04984759446376*b260 =L= 0;

e337..    x145 - 3.04984759446376*b261 =L= 0;

e338..    x178 - 1.18887736200171*b258 =L= 0;

e339..    x179 - 1.18887736200171*b259 =L= 0;

e340..    x180 - 1.18887736200171*b260 =L= 0;

e341..    x181 - 1.18887736200171*b261 =L= 0;

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

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

e344..    6*b264 + x344 =L= 0;

e345..    3*b265 + x345 =L= 0;

e346..    8*b266 + x346 =L= 0;

e347..    7*b267 + x347 =L= 0;

e348..    6*b268 + x348 =L= 0;

e349..    5*b269 + x349 =L= 0;

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

e351..    9*b271 + x351 =L= 0;

e352..    4*b272 + x352 =L= 0;

e353..    3*b273 + x353 =L= 0;

e354..    10*b274 + x354 =L= 0;

e355..    9*b275 + x355 =L= 0;

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

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

e358..    6*b278 + x358 =L= 0;

e359..    10*b279 + x359 =L= 0;

e360..    6*b280 + x360 =L= 0;

e361..    9*b281 + x361 =L= 0;

e362..    7*b282 + x362 =L= 0;

e363..    7*b283 + x363 =L= 0;

e364..    4*b284 + x364 =L= 0;

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

e366..    4*b286 + x366 =L= 0;

e367..    3*b287 + x367 =L= 0;

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

e369..    8*b289 + x369 =L= 0;

e370..    5*b290 + x370 =L= 0;

e371..    6*b291 + x371 =L= 0;

e372..    7*b292 + x372 =L= 0;

e373..    4*b293 + x373 =L= 0;

e374..    2*b294 + x374 =L= 0;

e375..    5*b295 + x375 =L= 0;

e376..    2*b296 + x376 =L= 0;

e377..    6*b297 + x377 =L= 0;

e378..    4*b298 + x378 =L= 0;

e379..    7*b299 + x379 =L= 0;

e380..    4*b300 + x380 =L= 0;

e381..    7*b301 + x381 =L= 0;

e382..    3*b302 + x382 =L= 0;

e383..    9*b303 + x383 =L= 0;

e384..    3*b304 + x384 =L= 0;

e385..    6*b305 + x385 =L= 0;

e386..    7*b306 + x386 =L= 0;

e387..    2*b307 + x387 =L= 0;

e388..    9*b308 + x388 =L= 0;

e389..    6*b309 + x389 =L= 0;

e390..    3*b310 + x390 =L= 0;

e391..    b311 + x391 =L= 0;

e392..    9*b312 + x392 =L= 0;

e393..    10*b313 + x393 =L= 0;

e394..    2*b314 + x394 =L= 0;

e395..    6*b315 + x395 =L= 0;

e396..    3*b316 + x396 =L= 0;

e397..    7*b317 + x397 =L= 0;

e398..    4*b318 + x398 =L= 0;

e399..    8*b319 + x399 =L= 0;

e400..    b320 + x400 =L= 0;

e401..    4*b321 + x401 =L= 0;

e402..    2*b322 + x402 =L= 0;

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

e404..    2*b324 + x404 =L= 0;

e405..    5*b325 + x405 =L= 0;

e406..    3*b326 + x406 =L= 0;

e407..    4*b327 + x407 =L= 0;

e408..    3*b328 + x408 =L= 0;

e409..    7*b329 + x409 =L= 0;

e410..    5*b330 + x410 =L= 0;

e411..    7*b331 + x411 =L= 0;

e412..    6*b332 + x412 =L= 0;

e413..    2*b333 + x413 =L= 0;

e414..    2*b334 + x414 =L= 0;

e415..    8*b335 + x415 =L= 0;

e416..    4*b336 + x416 =L= 0;

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

e418..    b338 + x418 =L= 0;

e419..    4*b339 + x419 =L= 0;

e420..    b340 + x420 =L= 0;

e421..    b341 + x421 =L= 0;

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

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

e424..    6*b264 + x344 =G= 0;

e425..    3*b265 + x345 =G= 0;

e426..    8*b266 + x346 =G= 0;

e427..    7*b267 + x347 =G= 0;

e428..    6*b268 + x348 =G= 0;

e429..    5*b269 + x349 =G= 0;

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

e431..    9*b271 + x351 =G= 0;

e432..    4*b272 + x352 =G= 0;

e433..    3*b273 + x353 =G= 0;

e434..    10*b274 + x354 =G= 0;

e435..    9*b275 + x355 =G= 0;

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

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

e438..    6*b278 + x358 =G= 0;

e439..    10*b279 + x359 =G= 0;

e440..    6*b280 + x360 =G= 0;

e441..    9*b281 + x361 =G= 0;

e442..    7*b282 + x362 =G= 0;

e443..    7*b283 + x363 =G= 0;

e444..    4*b284 + x364 =G= 0;

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

e446..    4*b286 + x366 =G= 0;

e447..    3*b287 + x367 =G= 0;

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

e449..    8*b289 + x369 =G= 0;

e450..    5*b290 + x370 =G= 0;

e451..    6*b291 + x371 =G= 0;

e452..    7*b292 + x372 =G= 0;

e453..    4*b293 + x373 =G= 0;

e454..    2*b294 + x374 =G= 0;

e455..    5*b295 + x375 =G= 0;

e456..    2*b296 + x376 =G= 0;

e457..    6*b297 + x377 =G= 0;

e458..    4*b298 + x378 =G= 0;

e459..    7*b299 + x379 =G= 0;

e460..    4*b300 + x380 =G= 0;

e461..    7*b301 + x381 =G= 0;

e462..    3*b302 + x382 =G= 0;

e463..    9*b303 + x383 =G= 0;

e464..    3*b304 + x384 =G= 0;

e465..    6*b305 + x385 =G= 0;

e466..    7*b306 + x386 =G= 0;

e467..    2*b307 + x387 =G= 0;

e468..    9*b308 + x388 =G= 0;

e469..    6*b309 + x389 =G= 0;

e470..    3*b310 + x390 =G= 0;

e471..    b311 + x391 =G= 0;

e472..    9*b312 + x392 =G= 0;

e473..    10*b313 + x393 =G= 0;

e474..    2*b314 + x394 =G= 0;

e475..    6*b315 + x395 =G= 0;

e476..    3*b316 + x396 =G= 0;

e477..    7*b317 + x397 =G= 0;

e478..    4*b318 + x398 =G= 0;

e479..    8*b319 + x399 =G= 0;

e480..    b320 + x400 =G= 0;

e481..    4*b321 + x401 =G= 0;

e482..    2*b322 + x402 =G= 0;

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

e484..    2*b324 + x404 =G= 0;

e485..    5*b325 + x405 =G= 0;

e486..    3*b326 + x406 =G= 0;

e487..    4*b327 + x407 =G= 0;

e488..    3*b328 + x408 =G= 0;

e489..    7*b329 + x409 =G= 0;

e490..    5*b330 + x410 =G= 0;

e491..    7*b331 + x411 =G= 0;

e492..    6*b332 + x412 =G= 0;

e493..    2*b333 + x413 =G= 0;

e494..    2*b334 + x414 =G= 0;

e495..    8*b335 + x415 =G= 0;

e496..    4*b336 + x416 =G= 0;

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

e498..    b338 + x418 =G= 0;

e499..    4*b339 + x419 =G= 0;

e500..    b340 + x420 =G= 0;

e501..    b341 + x421 =G= 0;

e502..    b182 - b183 =L= 0;

e503..    b182 - b184 =L= 0;

e504..    b182 - b185 =L= 0;

e505..    b183 - b184 =L= 0;

e506..    b183 - b185 =L= 0;

e507..    b184 - b185 =L= 0;

e508..    b186 - b187 =L= 0;

e509..    b186 - b188 =L= 0;

e510..    b186 - b189 =L= 0;

e511..    b187 - b188 =L= 0;

e512..    b187 - b189 =L= 0;

e513..    b188 - b189 =L= 0;

e514..    b190 - b191 =L= 0;

e515..    b190 - b192 =L= 0;

e516..    b190 - b193 =L= 0;

e517..    b191 - b192 =L= 0;

e518..    b191 - b193 =L= 0;

e519..    b192 - b193 =L= 0;

e520..    b194 - b195 =L= 0;

e521..    b194 - b196 =L= 0;

e522..    b194 - b197 =L= 0;

e523..    b195 - b196 =L= 0;

e524..    b195 - b197 =L= 0;

e525..    b196 - b197 =L= 0;

e526..    b198 - b199 =L= 0;

e527..    b198 - b200 =L= 0;

e528..    b198 - b201 =L= 0;

e529..    b199 - b200 =L= 0;

e530..    b199 - b201 =L= 0;

e531..    b200 - b201 =L= 0;

e532..    b202 - b203 =L= 0;

e533..    b202 - b204 =L= 0;

e534..    b202 - b205 =L= 0;

e535..    b203 - b204 =L= 0;

e536..    b203 - b205 =L= 0;

e537..    b204 - b205 =L= 0;

e538..    b206 - b207 =L= 0;

e539..    b206 - b208 =L= 0;

e540..    b206 - b209 =L= 0;

e541..    b207 - b208 =L= 0;

e542..    b207 - b209 =L= 0;

e543..    b208 - b209 =L= 0;

e544..    b210 - b211 =L= 0;

e545..    b210 - b212 =L= 0;

e546..    b210 - b213 =L= 0;

e547..    b211 - b212 =L= 0;

e548..    b211 - b213 =L= 0;

e549..    b212 - b213 =L= 0;

e550..    b214 - b215 =L= 0;

e551..    b214 - b216 =L= 0;

e552..    b214 - b217 =L= 0;

e553..    b215 - b216 =L= 0;

e554..    b215 - b217 =L= 0;

e555..    b216 - b217 =L= 0;

e556..    b218 - b219 =L= 0;

e557..    b218 - b220 =L= 0;

e558..    b218 - b221 =L= 0;

e559..    b219 - b220 =L= 0;

e560..    b219 - b221 =L= 0;

e561..    b220 - b221 =L= 0;

e562..    b222 - b223 =L= 0;

e563..    b222 - b224 =L= 0;

e564..    b222 - b225 =L= 0;

e565..    b223 - b224 =L= 0;

e566..    b223 - b225 =L= 0;

e567..    b224 - b225 =L= 0;

e568..    b226 - b227 =L= 0;

e569..    b226 - b228 =L= 0;

e570..    b226 - b229 =L= 0;

e571..    b227 - b228 =L= 0;

e572..    b227 - b229 =L= 0;

e573..    b228 - b229 =L= 0;

e574..    b230 - b231 =L= 0;

e575..    b230 - b232 =L= 0;

e576..    b230 - b233 =L= 0;

e577..    b231 - b232 =L= 0;

e578..    b231 - b233 =L= 0;

e579..    b232 - b233 =L= 0;

e580..    b234 - b235 =L= 0;

e581..    b234 - b236 =L= 0;

e582..    b234 - b237 =L= 0;

e583..    b235 - b236 =L= 0;

e584..    b235 - b237 =L= 0;

e585..    b236 - b237 =L= 0;

e586..    b238 - b239 =L= 0;

e587..    b238 - b240 =L= 0;

e588..    b238 - b241 =L= 0;

e589..    b239 - b240 =L= 0;

e590..    b239 - b241 =L= 0;

e591..    b240 - b241 =L= 0;

e592..    b242 - b243 =L= 0;

e593..    b242 - b244 =L= 0;

e594..    b242 - b245 =L= 0;

e595..    b243 - b244 =L= 0;

e596..    b243 - b245 =L= 0;

e597..    b244 - b245 =L= 0;

e598..    b246 - b247 =L= 0;

e599..    b246 - b248 =L= 0;

e600..    b246 - b249 =L= 0;

e601..    b247 - b248 =L= 0;

e602..    b247 - b249 =L= 0;

e603..    b248 - b249 =L= 0;

e604..    b250 - b251 =L= 0;

e605..    b250 - b252 =L= 0;

e606..    b250 - b253 =L= 0;

e607..    b251 - b252 =L= 0;

e608..    b251 - b253 =L= 0;

e609..    b252 - b253 =L= 0;

e610..    b254 - b255 =L= 0;

e611..    b254 - b256 =L= 0;

e612..    b254 - b257 =L= 0;

e613..    b255 - b256 =L= 0;

e614..    b255 - b257 =L= 0;

e615..    b256 - b257 =L= 0;

e616..    b258 - b259 =L= 0;

e617..    b258 - b260 =L= 0;

e618..    b258 - b261 =L= 0;

e619..    b259 - b260 =L= 0;

e620..    b259 - b261 =L= 0;

e621..    b260 - b261 =L= 0;

e622..    b262 + b263 =L= 1;

e623..    b262 + b264 =L= 1;

e624..    b262 + b265 =L= 1;

e625..    b262 + b263 =L= 1;

e626..    b263 + b264 =L= 1;

e627..    b263 + b265 =L= 1;

e628..    b262 + b264 =L= 1;

e629..    b263 + b264 =L= 1;

e630..    b264 + b265 =L= 1;

e631..    b262 + b265 =L= 1;

e632..    b263 + b265 =L= 1;

e633..    b264 + b265 =L= 1;

e634..    b266 + b267 =L= 1;

e635..    b266 + b268 =L= 1;

e636..    b266 + b269 =L= 1;

e637..    b266 + b267 =L= 1;

e638..    b267 + b268 =L= 1;

e639..    b267 + b269 =L= 1;

e640..    b266 + b268 =L= 1;

e641..    b267 + b268 =L= 1;

e642..    b268 + b269 =L= 1;

e643..    b266 + b269 =L= 1;

e644..    b267 + b269 =L= 1;

e645..    b268 + b269 =L= 1;

e646..    b270 + b271 =L= 1;

e647..    b270 + b272 =L= 1;

e648..    b270 + b273 =L= 1;

e649..    b270 + b271 =L= 1;

e650..    b271 + b272 =L= 1;

e651..    b271 + b273 =L= 1;

e652..    b270 + b272 =L= 1;

e653..    b271 + b272 =L= 1;

e654..    b272 + b273 =L= 1;

e655..    b270 + b273 =L= 1;

e656..    b271 + b273 =L= 1;

e657..    b272 + b273 =L= 1;

e658..    b274 + b275 =L= 1;

e659..    b274 + b276 =L= 1;

e660..    b274 + b277 =L= 1;

e661..    b274 + b275 =L= 1;

e662..    b275 + b276 =L= 1;

e663..    b275 + b277 =L= 1;

e664..    b274 + b276 =L= 1;

e665..    b275 + b276 =L= 1;

e666..    b276 + b277 =L= 1;

e667..    b274 + b277 =L= 1;

e668..    b275 + b277 =L= 1;

e669..    b276 + b277 =L= 1;

e670..    b278 + b279 =L= 1;

e671..    b278 + b280 =L= 1;

e672..    b278 + b281 =L= 1;

e673..    b278 + b279 =L= 1;

e674..    b279 + b280 =L= 1;

e675..    b279 + b281 =L= 1;

e676..    b278 + b280 =L= 1;

e677..    b279 + b280 =L= 1;

e678..    b280 + b281 =L= 1;

e679..    b278 + b281 =L= 1;

e680..    b279 + b281 =L= 1;

e681..    b280 + b281 =L= 1;

e682..    b282 + b283 =L= 1;

e683..    b282 + b284 =L= 1;

e684..    b282 + b285 =L= 1;

e685..    b282 + b283 =L= 1;

e686..    b283 + b284 =L= 1;

e687..    b283 + b285 =L= 1;

e688..    b282 + b284 =L= 1;

e689..    b283 + b284 =L= 1;

e690..    b284 + b285 =L= 1;

e691..    b282 + b285 =L= 1;

e692..    b283 + b285 =L= 1;

e693..    b284 + b285 =L= 1;

e694..    b286 + b287 =L= 1;

e695..    b286 + b288 =L= 1;

e696..    b286 + b289 =L= 1;

e697..    b286 + b287 =L= 1;

e698..    b287 + b288 =L= 1;

e699..    b287 + b289 =L= 1;

e700..    b286 + b288 =L= 1;

e701..    b287 + b288 =L= 1;

e702..    b288 + b289 =L= 1;

e703..    b286 + b289 =L= 1;

e704..    b287 + b289 =L= 1;

e705..    b288 + b289 =L= 1;

e706..    b290 + b291 =L= 1;

e707..    b290 + b292 =L= 1;

e708..    b290 + b293 =L= 1;

e709..    b290 + b291 =L= 1;

e710..    b291 + b292 =L= 1;

e711..    b291 + b293 =L= 1;

e712..    b290 + b292 =L= 1;

e713..    b291 + b292 =L= 1;

e714..    b292 + b293 =L= 1;

e715..    b290 + b293 =L= 1;

e716..    b291 + b293 =L= 1;

e717..    b292 + b293 =L= 1;

e718..    b294 + b295 =L= 1;

e719..    b294 + b296 =L= 1;

e720..    b294 + b297 =L= 1;

e721..    b294 + b295 =L= 1;

e722..    b295 + b296 =L= 1;

e723..    b295 + b297 =L= 1;

e724..    b294 + b296 =L= 1;

e725..    b295 + b296 =L= 1;

e726..    b296 + b297 =L= 1;

e727..    b294 + b297 =L= 1;

e728..    b295 + b297 =L= 1;

e729..    b296 + b297 =L= 1;

e730..    b298 + b299 =L= 1;

e731..    b298 + b300 =L= 1;

e732..    b298 + b301 =L= 1;

e733..    b298 + b299 =L= 1;

e734..    b299 + b300 =L= 1;

e735..    b299 + b301 =L= 1;

e736..    b298 + b300 =L= 1;

e737..    b299 + b300 =L= 1;

e738..    b300 + b301 =L= 1;

e739..    b298 + b301 =L= 1;

e740..    b299 + b301 =L= 1;

e741..    b300 + b301 =L= 1;

e742..    b302 + b303 =L= 1;

e743..    b302 + b304 =L= 1;

e744..    b302 + b305 =L= 1;

e745..    b302 + b303 =L= 1;

e746..    b303 + b304 =L= 1;

e747..    b303 + b305 =L= 1;

e748..    b302 + b304 =L= 1;

e749..    b303 + b304 =L= 1;

e750..    b304 + b305 =L= 1;

e751..    b302 + b305 =L= 1;

e752..    b303 + b305 =L= 1;

e753..    b304 + b305 =L= 1;

e754..    b306 + b307 =L= 1;

e755..    b306 + b308 =L= 1;

e756..    b306 + b309 =L= 1;

e757..    b306 + b307 =L= 1;

e758..    b307 + b308 =L= 1;

e759..    b307 + b309 =L= 1;

e760..    b306 + b308 =L= 1;

e761..    b307 + b308 =L= 1;

e762..    b308 + b309 =L= 1;

e763..    b306 + b309 =L= 1;

e764..    b307 + b309 =L= 1;

e765..    b308 + b309 =L= 1;

e766..    b310 + b311 =L= 1;

e767..    b310 + b312 =L= 1;

e768..    b310 + b313 =L= 1;

e769..    b310 + b311 =L= 1;

e770..    b311 + b312 =L= 1;

e771..    b311 + b313 =L= 1;

e772..    b310 + b312 =L= 1;

e773..    b311 + b312 =L= 1;

e774..    b312 + b313 =L= 1;

e775..    b310 + b313 =L= 1;

e776..    b311 + b313 =L= 1;

e777..    b312 + b313 =L= 1;

e778..    b314 + b315 =L= 1;

e779..    b314 + b316 =L= 1;

e780..    b314 + b317 =L= 1;

e781..    b314 + b315 =L= 1;

e782..    b315 + b316 =L= 1;

e783..    b315 + b317 =L= 1;

e784..    b314 + b316 =L= 1;

e785..    b315 + b316 =L= 1;

e786..    b316 + b317 =L= 1;

e787..    b314 + b317 =L= 1;

e788..    b315 + b317 =L= 1;

e789..    b316 + b317 =L= 1;

e790..    b318 + b319 =L= 1;

e791..    b318 + b320 =L= 1;

e792..    b318 + b321 =L= 1;

e793..    b318 + b319 =L= 1;

e794..    b319 + b320 =L= 1;

e795..    b319 + b321 =L= 1;

e796..    b318 + b320 =L= 1;

e797..    b319 + b320 =L= 1;

e798..    b320 + b321 =L= 1;

e799..    b318 + b321 =L= 1;

e800..    b319 + b321 =L= 1;

e801..    b320 + b321 =L= 1;

e802..    b322 + b323 =L= 1;

e803..    b322 + b324 =L= 1;

e804..    b322 + b325 =L= 1;

e805..    b322 + b323 =L= 1;

e806..    b323 + b324 =L= 1;

e807..    b323 + b325 =L= 1;

e808..    b322 + b324 =L= 1;

e809..    b323 + b324 =L= 1;

e810..    b324 + b325 =L= 1;

e811..    b322 + b325 =L= 1;

e812..    b323 + b325 =L= 1;

e813..    b324 + b325 =L= 1;

e814..    b326 + b327 =L= 1;

e815..    b326 + b328 =L= 1;

e816..    b326 + b329 =L= 1;

e817..    b326 + b327 =L= 1;

e818..    b327 + b328 =L= 1;

e819..    b327 + b329 =L= 1;

e820..    b326 + b328 =L= 1;

e821..    b327 + b328 =L= 1;

e822..    b328 + b329 =L= 1;

e823..    b326 + b329 =L= 1;

e824..    b327 + b329 =L= 1;

e825..    b328 + b329 =L= 1;

e826..    b330 + b331 =L= 1;

e827..    b330 + b332 =L= 1;

e828..    b330 + b333 =L= 1;

e829..    b330 + b331 =L= 1;

e830..    b331 + b332 =L= 1;

e831..    b331 + b333 =L= 1;

e832..    b330 + b332 =L= 1;

e833..    b331 + b332 =L= 1;

e834..    b332 + b333 =L= 1;

e835..    b330 + b333 =L= 1;

e836..    b331 + b333 =L= 1;

e837..    b332 + b333 =L= 1;

e838..    b334 + b335 =L= 1;

e839..    b334 + b336 =L= 1;

e840..    b334 + b337 =L= 1;

e841..    b334 + b335 =L= 1;

e842..    b335 + b336 =L= 1;

e843..    b335 + b337 =L= 1;

e844..    b334 + b336 =L= 1;

e845..    b335 + b336 =L= 1;

e846..    b336 + b337 =L= 1;

e847..    b334 + b337 =L= 1;

e848..    b335 + b337 =L= 1;

e849..    b336 + b337 =L= 1;

e850..    b338 + b339 =L= 1;

e851..    b338 + b340 =L= 1;

e852..    b338 + b341 =L= 1;

e853..    b338 + b339 =L= 1;

e854..    b339 + b340 =L= 1;

e855..    b339 + b341 =L= 1;

e856..    b338 + b340 =L= 1;

e857..    b339 + b340 =L= 1;

e858..    b340 + b341 =L= 1;

e859..    b338 + b341 =L= 1;

e860..    b339 + b341 =L= 1;

e861..    b340 + b341 =L= 1;

e862..    b182 - b262 =L= 0;

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

e864..  - b182 - b183 + b184 - b264 =L= 0;

e865..  - b182 - b183 - b184 + b185 - b265 =L= 0;

e866..    b186 - b266 =L= 0;

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

e868..  - b186 - b187 + b188 - b268 =L= 0;

e869..  - b186 - b187 - b188 + b189 - b269 =L= 0;

e870..    b190 - b270 =L= 0;

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

e872..  - b190 - b191 + b192 - b272 =L= 0;

e873..  - b190 - b191 - b192 + b193 - b273 =L= 0;

e874..    b194 - b274 =L= 0;

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

e876..  - b194 - b195 + b196 - b276 =L= 0;

e877..  - b194 - b195 - b196 + b197 - b277 =L= 0;

e878..    b198 - b278 =L= 0;

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

e880..  - b198 - b199 + b200 - b280 =L= 0;

e881..  - b198 - b199 - b200 + b201 - b281 =L= 0;

e882..    b202 - b282 =L= 0;

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

e884..  - b202 - b203 + b204 - b284 =L= 0;

e885..  - b202 - b203 - b204 + b205 - b285 =L= 0;

e886..    b206 - b286 =L= 0;

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

e888..  - b206 - b207 + b208 - b288 =L= 0;

e889..  - b206 - b207 - b208 + b209 - b289 =L= 0;

e890..    b210 - b290 =L= 0;

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

e892..  - b210 - b211 + b212 - b292 =L= 0;

e893..  - b210 - b211 - b212 + b213 - b293 =L= 0;

e894..    b214 - b294 =L= 0;

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

e896..  - b214 - b215 + b216 - b296 =L= 0;

e897..  - b214 - b215 - b216 + b217 - b297 =L= 0;

e898..    b218 - b298 =L= 0;

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

e900..  - b218 - b219 + b220 - b300 =L= 0;

e901..  - b218 - b219 - b220 + b221 - b301 =L= 0;

e902..    b222 - b302 =L= 0;

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

e904..  - b222 - b223 + b224 - b304 =L= 0;

e905..  - b222 - b223 - b224 + b225 - b305 =L= 0;

e906..    b226 - b306 =L= 0;

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

e908..  - b226 - b227 + b228 - b308 =L= 0;

e909..  - b226 - b227 - b228 + b229 - b309 =L= 0;

e910..    b230 - b310 =L= 0;

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

e912..  - b230 - b231 + b232 - b312 =L= 0;

e913..  - b230 - b231 - b232 + b233 - b313 =L= 0;

e914..    b234 - b314 =L= 0;

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

e916..  - b234 - b235 + b236 - b316 =L= 0;

e917..  - b234 - b235 - b236 + b237 - b317 =L= 0;

e918..    b238 - b318 =L= 0;

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

e920..  - b238 - b239 + b240 - b320 =L= 0;

e921..  - b238 - b239 - b240 + b241 - b321 =L= 0;

e922..    b242 - b322 =L= 0;

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

e924..  - b242 - b243 + b244 - b324 =L= 0;

e925..  - b242 - b243 - b244 + b245 - b325 =L= 0;

e926..    b246 - b326 =L= 0;

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

e928..  - b246 - b247 + b248 - b328 =L= 0;

e929..  - b246 - b247 - b248 + b249 - b329 =L= 0;

e930..    b250 - b330 =L= 0;

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

e932..  - b250 - b251 + b252 - b332 =L= 0;

e933..  - b250 - b251 - b252 + b253 - b333 =L= 0;

e934..    b254 - b334 =L= 0;

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

e936..  - b254 - b255 + b256 - b336 =L= 0;

e937..  - b254 - b255 - b256 + b257 - b337 =L= 0;

e938..    b258 - b338 =L= 0;

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

e940..  - b258 - b259 + b260 - b340 =L= 0;

e941..  - b258 - b259 - b260 + b261 - b341 =L= 0;

e942..    b182 + b186 =E= 1;

e943..    b183 + b187 =E= 1;

e944..    b184 + b188 =E= 1;

e945..    b185 + b189 =E= 1;

e946..  - b190 + b202 + b206 =G= 0;

e947..  - b191 + b203 + b207 =G= 0;

e948..  - b192 + b204 + b208 =G= 0;

e949..  - b193 + b205 + b209 =G= 0;

e950..  - b202 + b226 =G= 0;

e951..  - b203 + b227 =G= 0;

e952..  - b204 + b228 =G= 0;

e953..  - b205 + b229 =G= 0;

e954..  - b206 + b230 =G= 0;

e955..  - b207 + b231 =G= 0;

e956..  - b208 + b232 =G= 0;

e957..  - b209 + b233 =G= 0;

e958..  - b194 + b210 =G= 0;

e959..  - b195 + b211 =G= 0;

e960..  - b196 + b212 =G= 0;

e961..  - b197 + b213 =G= 0;

e962..  - b210 + b234 + b238 =G= 0;

e963..  - b211 + b235 + b239 =G= 0;

e964..  - b212 + b236 + b240 =G= 0;

e965..  - b213 + b237 + b241 =G= 0;

e966..  - b198 + b214 + b218 + b222 =G= 0;

e967..  - b199 + b215 + b219 + b223 =G= 0;

e968..  - b200 + b216 + b220 + b224 =G= 0;

e969..  - b201 + b217 + b221 + b225 =G= 0;

e970..  - b214 + b238 =G= 0;

e971..  - b215 + b239 =G= 0;

e972..  - b216 + b240 =G= 0;

e973..  - b217 + b241 =G= 0;

e974..  - b218 + b242 + b246 =G= 0;

e975..  - b219 + b243 + b247 =G= 0;

e976..  - b220 + b244 + b248 =G= 0;

e977..  - b221 + b245 + b249 =G= 0;

e978..  - b222 + b250 + b254 + b258 =G= 0;

e979..  - b223 + b251 + b255 + b259 =G= 0;

e980..  - b224 + b252 + b256 + b260 =G= 0;

e981..  - b225 + b253 + b257 + b261 =G= 0;

e982..    b182 + b186 - b190 =G= 0;

e983..    b183 + b187 - b191 =G= 0;

e984..    b184 + b188 - b192 =G= 0;

e985..    b185 + b189 - b193 =G= 0;

e986..    b182 + b186 - b194 =G= 0;

e987..    b183 + b187 - b195 =G= 0;

e988..    b184 + b188 - b196 =G= 0;

e989..    b185 + b189 - b197 =G= 0;

e990..    b182 + b186 - b198 =G= 0;

e991..    b183 + b187 - b199 =G= 0;

e992..    b184 + b188 - b200 =G= 0;

e993..    b185 + b189 - b201 =G= 0;

e994..    b190 - b202 =G= 0;

e995..    b191 - b203 =G= 0;

e996..    b192 - b204 =G= 0;

e997..    b193 - b205 =G= 0;

e998..    b190 - b206 =G= 0;

e999..    b191 - b207 =G= 0;

e1000..    b192 - b208 =G= 0;

e1001..    b193 - b209 =G= 0;

e1002..    b194 - b210 =G= 0;

e1003..    b195 - b211 =G= 0;

e1004..    b196 - b212 =G= 0;

e1005..    b197 - b213 =G= 0;

e1006..    b198 - b214 =G= 0;

e1007..    b199 - b215 =G= 0;

e1008..    b200 - b216 =G= 0;

e1009..    b201 - b217 =G= 0;

e1010..    b198 - b218 =G= 0;

e1011..    b199 - b219 =G= 0;

e1012..    b200 - b220 =G= 0;

e1013..    b201 - b221 =G= 0;

e1014..    b198 - b222 =G= 0;

e1015..    b199 - b223 =G= 0;

e1016..    b200 - b224 =G= 0;

e1017..    b201 - b225 =G= 0;

e1018..    b202 - b226 =G= 0;

e1019..    b203 - b227 =G= 0;

e1020..    b204 - b228 =G= 0;

e1021..    b205 - b229 =G= 0;

e1022..    b206 - b230 =G= 0;

e1023..    b207 - b231 =G= 0;

e1024..    b208 - b232 =G= 0;

e1025..    b209 - b233 =G= 0;

e1026..    b210 - b234 =G= 0;

e1027..    b211 - b235 =G= 0;

e1028..    b212 - b236 =G= 0;

e1029..    b213 - b237 =G= 0;

e1030..    b210 - b238 =G= 0;

e1031..    b211 - b239 =G= 0;

e1032..    b212 - b240 =G= 0;

e1033..    b213 - b241 =G= 0;

e1034..    b218 - b242 =G= 0;

e1035..    b219 - b243 =G= 0;

e1036..    b220 - b244 =G= 0;

e1037..    b221 - b245 =G= 0;

e1038..    b218 - b246 =G= 0;

e1039..    b219 - b247 =G= 0;

e1040..    b220 - b248 =G= 0;

e1041..    b221 - b249 =G= 0;

e1042..    b222 - b250 =G= 0;

e1043..    b223 - b251 =G= 0;

e1044..    b224 - b252 =G= 0;

e1045..    b225 - b253 =G= 0;

e1046..    b222 - b254 =G= 0;

e1047..    b223 - b255 =G= 0;

e1048..    b224 - b256 =G= 0;

e1049..    b225 - b257 =G= 0;

e1050..    b222 - b258 =G= 0;

e1051..    b223 - b259 =G= 0;

e1052..    b224 - b260 =G= 0;

e1053..    b225 - b261 =G= 0;

* set non-default bounds
x2.up = 40;
x3.up = 40;
x4.up = 40;
x5.up = 40;
x46.up = 30;
x47.up = 30;
x48.up = 30;
x49.up = 30;
x114.up = 20;
x115.up = 20;
x116.up = 20;
x117.up = 20;
x118.up = 20;
x119.up = 20;
x120.up = 20;
x121.up = 20;

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
Imprint / Privacy Policy / License: CC-BY 4.0