MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance syn30m03m

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)
654.15418160 p1 ( gdx sol )
(infeas: 7e-16)
Other points (infeas > 1e-08)  
Dual Bounds
654.15418160 (ALPHAECP)
654.15554070 (ANTIGONE)
654.15418500 (BARON)
1477.22320000 (BONMIN)
4108.90517000 (COUENNE)
654.15421840 (LINDO)
654.15523650 (SCIP)
654.21324870 (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 Syn30M03M.gms from CMU-IBM MINLP solver project page
Application Synthesis of processing system
Added to library 28 Sep 2013
Problem type MBNLP
#Variables 480
#Binary Variables 180
#Integer Variables 0
#Nonlinear Variables 60
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 153
#Nonlinear Nonzeros in Objective 0
#Constraints 1041
#Linear Constraints 981
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 60
Operands in Gen. Nonlin. Functions log
Constraints curvature convex
#Nonzeros in Jacobian 2415
#Nonlinear Nonzeros in Jacobian 60
#Nonzeros in (Upper-Left) Hessian of Lagrangian 60
#Nonzeros in Diagonal of Hessian of Lagrangian 60
#Blocks in Hessian of Lagrangian 60
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 4.8023e-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
*       1042       55      243      744        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        481      301      180        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       2569     2509       60        0
*
*  Solve m using MINLP maximizing objvar;


Variables  objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18
          ,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35
          ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52
          ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69
          ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86
          ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102
          ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115
          ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128
          ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141
          ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154
          ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167
          ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180
          ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193
          ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206
          ,x207,x208,x209,x210,x211,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,b342,b343,b344,b345,b346,b347,b348,b349
          ,b350,b351,b352,b353,b354,b355,b356,b357,b358,b359,b360,b361,b362
          ,b363,b364,b365,b366,b367,b368,b369,b370,b371,b372,b373,b374,b375
          ,b376,b377,b378,b379,b380,b381,b382,b383,b384,b385,b386,b387,b388
          ,b389,b390,b391,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,x422,x423,x424,x425,x426,x427
          ,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440
          ,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453
          ,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466
          ,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479
          ,x480,x481;

Positive Variables  x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17
          ,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34
          ,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51
          ,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68
          ,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85
          ,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101
          ,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114
          ,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127
          ,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140
          ,x141,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153
          ,x154,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166
          ,x167,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179
          ,x180,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192
          ,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205
          ,x206,x207,x208,x209,x210,x211;

Binary Variables  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,b342,b343,b344,b345,b346,b347,b348,b349,b350,b351,b352,b353
          ,b354,b355,b356,b357,b358,b359,b360,b361,b362,b363,b364,b365,b366
          ,b367,b368,b369,b370,b371,b372,b373,b374,b375,b376,b377,b378,b379
          ,b380,b381,b382,b383,b384,b385,b386,b387,b388,b389,b390,b391;

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;


e1..    objvar + x2 + x3 + x4 - 5*x20 - 10*x21 - 5*x22 + 2*x35 + x36 + 2*x37
      + 10*x86 + 5*x87 + 5*x88 + 5*x89 + 5*x90 + 5*x91 - 40*x110 - 30*x111
      - 15*x112 - 15*x113 - 20*x114 - 25*x115 - 10*x116 - 30*x117 - 40*x118
      - 30*x119 - 20*x120 - 20*x121 - 35*x122 - 50*x123 - 20*x124 - 20*x125
      - 30*x126 - 35*x127 - 25*x128 - 50*x129 - 10*x130 - 15*x131 - 20*x132
      - 20*x133 - 30*x155 - 40*x156 - 40*x157 + x170 + x171 + x172 - 80*x194
      - 90*x195 - 120*x196 - 285*x197 - 390*x198 - 350*x199 - 290*x200
      - 405*x201 - 190*x202 - 280*x203 - 400*x204 - 430*x205 - 290*x206
      - 300*x207 - 240*x208 - 350*x209 - 250*x210 - 300*x211 + 5*b302 + 4*b303
      + 6*b304 + 8*b305 + 7*b306 + 6*b307 + 6*b308 + 9*b309 + 4*b310 + 10*b311
      + 9*b312 + 5*b313 + 6*b314 + 10*b315 + 6*b316 + 7*b317 + 7*b318 + 4*b319
      + 4*b320 + 3*b321 + 2*b322 + 5*b323 + 6*b324 + 7*b325 + 2*b326 + 5*b327
      + 2*b328 + 4*b329 + 7*b330 + 4*b331 + 3*b332 + 9*b333 + 3*b334 + 7*b335
      + 2*b336 + 9*b337 + 3*b338 + b339 + 9*b340 + 2*b341 + 6*b342 + 3*b343
      + 4*b344 + 8*b345 + b346 + 2*b347 + 5*b348 + 2*b349 + 3*b350 + 4*b351
      + 3*b352 + 5*b353 + 7*b354 + 6*b355 + 2*b356 + 8*b357 + 4*b358 + b359
      + 4*b360 + b361 + 2*b362 + 5*b363 + 2*b364 + 9*b365 + 2*b366 + 9*b367
      + 5*b368 + 8*b369 + 4*b370 + 2*b371 + 3*b372 + 8*b373 + 10*b374 + 6*b375
      + 3*b376 + 4*b377 + 8*b378 + 7*b379 + 7*b380 + 3*b381 + 9*b382 + 4*b383
      + 8*b384 + 6*b385 + 2*b386 + b387 + 3*b388 + 8*b389 + 3*b390 + 4*b391
      =E= 0;

e2..    x2 - x5 - x8 =E= 0;

e3..    x3 - x6 - x9 =E= 0;

e4..    x4 - x7 - x10 =E= 0;

e5..  - x11 - x14 + x17 =E= 0;

e6..  - x12 - x15 + x18 =E= 0;

e7..  - x13 - x16 + x19 =E= 0;

e8..    x17 - x20 - x23 =E= 0;

e9..    x18 - x21 - x24 =E= 0;

e10..    x19 - x22 - x25 =E= 0;

e11..    x23 - x26 - x29 - x32 =E= 0;

e12..    x24 - x27 - x30 - x33 =E= 0;

e13..    x25 - x28 - x31 - x34 =E= 0;

e14..    x38 - x47 - x50 =E= 0;

e15..    x39 - x48 - x51 =E= 0;

e16..    x40 - x49 - x52 =E= 0;

e17..    x44 - x53 - x56 - x59 =E= 0;

e18..    x45 - x54 - x57 - x60 =E= 0;

e19..    x46 - x55 - x58 - x61 =E= 0;

e20..    x68 - x80 - x83 =E= 0;

e21..    x69 - x81 - x84 =E= 0;

e22..    x70 - x82 - x85 =E= 0;

e23..  - x71 - x89 + x92 =E= 0;

e24..  - x72 - x90 + x93 =E= 0;

e25..  - x73 - x91 + x94 =E= 0;

e26..    x74 - x95 - x98 =E= 0;

e27..    x75 - x96 - x99 =E= 0;

e28..    x76 - x97 - x100 =E= 0;

e29..    x77 - x101 - x104 - x107 =E= 0;

e30..    x78 - x102 - x105 - x108 =E= 0;

e31..    x79 - x103 - x106 - x109 =E= 0;

e32..    x134 - x137 =E= 0;

e33..    x135 - x138 =E= 0;

e34..    x136 - x139 =E= 0;

e35..    x137 - x140 - x143 =E= 0;

e36..    x138 - x141 - x144 =E= 0;

e37..    x139 - x142 - x145 =E= 0;

e38..  - x146 - x149 + x152 =E= 0;

e39..  - x147 - x150 + x153 =E= 0;

e40..  - x148 - x151 + x154 =E= 0;

e41..    x152 - x155 - x158 =E= 0;

e42..    x153 - x156 - x159 =E= 0;

e43..    x154 - x157 - x160 =E= 0;

e44..    x158 - x161 - x164 - x167 =E= 0;

e45..    x159 - x162 - x165 - x168 =E= 0;

e46..    x160 - x163 - x166 - x169 =E= 0;

e47..    x173 - x182 - x185 =E= 0;

e48..    x174 - x183 - x186 =E= 0;

e49..    x175 - x184 - x187 =E= 0;

e50..    x179 - x188 - x191 - x194 =E= 0;

e51..    x180 - x189 - x192 - x195 =E= 0;

e52..    x181 - x190 - x193 - x196 =E= 0;

e53.. -log(1 + x5) + x11 + b212 =L= 1;

e54.. -log(1 + x6) + x12 + b213 =L= 1;

e55.. -log(1 + x7) + x13 + b214 =L= 1;

e56..    x5 - 40*b212 =L= 0;

e57..    x6 - 40*b213 =L= 0;

e58..    x7 - 40*b214 =L= 0;

e59..    x11 - 3.71357206670431*b212 =L= 0;

e60..    x12 - 3.71357206670431*b213 =L= 0;

e61..    x13 - 3.71357206670431*b214 =L= 0;

e62.. -1.2*log(1 + x8) + x14 + b215 =L= 1;

e63.. -1.2*log(1 + x9) + x15 + b216 =L= 1;

e64.. -1.2*log(1 + x10) + x16 + b217 =L= 1;

e65..    x8 - 40*b215 =L= 0;

e66..    x9 - 40*b216 =L= 0;

e67..    x10 - 40*b217 =L= 0;

e68..    x14 - 4.45628648004517*b215 =L= 0;

e69..    x15 - 4.45628648004517*b216 =L= 0;

e70..    x16 - 4.45628648004517*b217 =L= 0;

e71..  - 0.75*x26 + x38 + b218 =L= 1;

e72..  - 0.75*x27 + x39 + b219 =L= 1;

e73..  - 0.75*x28 + x40 + b220 =L= 1;

e74..  - 0.75*x26 + x38 - b218 =G= -1;

e75..  - 0.75*x27 + x39 - b219 =G= -1;

e76..  - 0.75*x28 + x40 - b220 =G= -1;

e77..    x26 - 4.45628648004517*b218 =L= 0;

e78..    x27 - 4.45628648004517*b219 =L= 0;

e79..    x28 - 4.45628648004517*b220 =L= 0;

e80..    x38 - 3.34221486003388*b218 =L= 0;

e81..    x39 - 3.34221486003388*b219 =L= 0;

e82..    x40 - 3.34221486003388*b220 =L= 0;

e83.. -1.5*log(1 + x29) + x41 + b221 =L= 1;

e84.. -1.5*log(1 + x30) + x42 + b222 =L= 1;

e85.. -1.5*log(1 + x31) + x43 + b223 =L= 1;

e86..    x29 - 4.45628648004517*b221 =L= 0;

e87..    x30 - 4.45628648004517*b222 =L= 0;

e88..    x31 - 4.45628648004517*b223 =L= 0;

e89..    x41 - 2.54515263975353*b221 =L= 0;

e90..    x42 - 2.54515263975353*b222 =L= 0;

e91..    x43 - 2.54515263975353*b223 =L= 0;

e92..  - x32 + x44 + b224 =L= 1;

e93..  - x33 + x45 + b225 =L= 1;

e94..  - x34 + x46 + b226 =L= 1;

e95..  - x32 + x44 - b224 =G= -1;

e96..  - x33 + x45 - b225 =G= -1;

e97..  - x34 + x46 - b226 =G= -1;

e98..  - 0.5*x35 + x44 + b224 =L= 1;

e99..  - 0.5*x36 + x45 + b225 =L= 1;

e100..  - 0.5*x37 + x46 + b226 =L= 1;

e101..  - 0.5*x35 + x44 - b224 =G= -1;

e102..  - 0.5*x36 + x45 - b225 =G= -1;

e103..  - 0.5*x37 + x46 - b226 =G= -1;

e104..    x32 - 4.45628648004517*b224 =L= 0;

e105..    x33 - 4.45628648004517*b225 =L= 0;

e106..    x34 - 4.45628648004517*b226 =L= 0;

e107..    x35 - 30*b224 =L= 0;

e108..    x36 - 30*b225 =L= 0;

e109..    x37 - 30*b226 =L= 0;

e110..    x44 - 15*b224 =L= 0;

e111..    x45 - 15*b225 =L= 0;

e112..    x46 - 15*b226 =L= 0;

e113.. -1.25*log(1 + x47) + x62 + b227 =L= 1;

e114.. -1.25*log(1 + x48) + x63 + b228 =L= 1;

e115.. -1.25*log(1 + x49) + x64 + b229 =L= 1;

e116..    x47 - 3.34221486003388*b227 =L= 0;

e117..    x48 - 3.34221486003388*b228 =L= 0;

e118..    x49 - 3.34221486003388*b229 =L= 0;

e119..    x62 - 1.83548069293539*b227 =L= 0;

e120..    x63 - 1.83548069293539*b228 =L= 0;

e121..    x64 - 1.83548069293539*b229 =L= 0;

e122.. -0.9*log(1 + x50) + x65 + b230 =L= 1;

e123.. -0.9*log(1 + x51) + x66 + b231 =L= 1;

e124.. -0.9*log(1 + x52) + x67 + b232 =L= 1;

e125..    x50 - 3.34221486003388*b230 =L= 0;

e126..    x51 - 3.34221486003388*b231 =L= 0;

e127..    x52 - 3.34221486003388*b232 =L= 0;

e128..    x65 - 1.32154609891348*b230 =L= 0;

e129..    x66 - 1.32154609891348*b231 =L= 0;

e130..    x67 - 1.32154609891348*b232 =L= 0;

e131.. -log(1 + x41) + x68 + b233 =L= 1;

e132.. -log(1 + x42) + x69 + b234 =L= 1;

e133.. -log(1 + x43) + x70 + b235 =L= 1;

e134..    x41 - 2.54515263975353*b233 =L= 0;

e135..    x42 - 2.54515263975353*b234 =L= 0;

e136..    x43 - 2.54515263975353*b235 =L= 0;

e137..    x68 - 1.26558121681553*b233 =L= 0;

e138..    x69 - 1.26558121681553*b234 =L= 0;

e139..    x70 - 1.26558121681553*b235 =L= 0;

e140..  - 0.9*x53 + x71 + b236 =L= 1;

e141..  - 0.9*x54 + x72 + b237 =L= 1;

e142..  - 0.9*x55 + x73 + b238 =L= 1;

e143..  - 0.9*x53 + x71 - b236 =G= -1;

e144..  - 0.9*x54 + x72 - b237 =G= -1;

e145..  - 0.9*x55 + x73 - b238 =G= -1;

e146..    x53 - 15*b236 =L= 0;

e147..    x54 - 15*b237 =L= 0;

e148..    x55 - 15*b238 =L= 0;

e149..    x71 - 13.5*b236 =L= 0;

e150..    x72 - 13.5*b237 =L= 0;

e151..    x73 - 13.5*b238 =L= 0;

e152..  - 0.6*x56 + x74 + b239 =L= 1;

e153..  - 0.6*x57 + x75 + b240 =L= 1;

e154..  - 0.6*x58 + x76 + b241 =L= 1;

e155..  - 0.6*x56 + x74 - b239 =G= -1;

e156..  - 0.6*x57 + x75 - b240 =G= -1;

e157..  - 0.6*x58 + x76 - b241 =G= -1;

e158..    x56 - 15*b239 =L= 0;

e159..    x57 - 15*b240 =L= 0;

e160..    x58 - 15*b241 =L= 0;

e161..    x74 - 9*b239 =L= 0;

e162..    x75 - 9*b240 =L= 0;

e163..    x76 - 9*b241 =L= 0;

e164.. -1.1*log(1 + x59) + x77 + b242 =L= 1;

e165.. -1.1*log(1 + x60) + x78 + b243 =L= 1;

e166.. -1.1*log(1 + x61) + x79 + b244 =L= 1;

e167..    x59 - 15*b242 =L= 0;

e168..    x60 - 15*b243 =L= 0;

e169..    x61 - 15*b244 =L= 0;

e170..    x77 - 3.04984759446376*b242 =L= 0;

e171..    x78 - 3.04984759446376*b243 =L= 0;

e172..    x79 - 3.04984759446376*b244 =L= 0;

e173..  - 0.9*x62 + x110 + b245 =L= 1;

e174..  - 0.9*x63 + x111 + b246 =L= 1;

e175..  - 0.9*x64 + x112 + b247 =L= 1;

e176..  - 0.9*x62 + x110 - b245 =G= -1;

e177..  - 0.9*x63 + x111 - b246 =G= -1;

e178..  - 0.9*x64 + x112 - b247 =G= -1;

e179..  - x86 + x110 + b245 =L= 1;

e180..  - x87 + x111 + b246 =L= 1;

e181..  - x88 + x112 + b247 =L= 1;

e182..  - x86 + x110 - b245 =G= -1;

e183..  - x87 + x111 - b246 =G= -1;

e184..  - x88 + x112 - b247 =G= -1;

e185..    x62 - 1.83548069293539*b245 =L= 0;

e186..    x63 - 1.83548069293539*b246 =L= 0;

e187..    x64 - 1.83548069293539*b247 =L= 0;

e188..    x86 - 20*b245 =L= 0;

e189..    x87 - 20*b246 =L= 0;

e190..    x88 - 20*b247 =L= 0;

e191..    x110 - 20*b245 =L= 0;

e192..    x111 - 20*b246 =L= 0;

e193..    x112 - 20*b247 =L= 0;

e194.. -log(1 + x65) + x113 + b248 =L= 1;

e195.. -log(1 + x66) + x114 + b249 =L= 1;

e196.. -log(1 + x67) + x115 + b250 =L= 1;

e197..    x65 - 1.32154609891348*b248 =L= 0;

e198..    x66 - 1.32154609891348*b249 =L= 0;

e199..    x67 - 1.32154609891348*b250 =L= 0;

e200..    x113 - 0.842233385663186*b248 =L= 0;

e201..    x114 - 0.842233385663186*b249 =L= 0;

e202..    x115 - 0.842233385663186*b250 =L= 0;

e203.. -0.7*log(1 + x80) + x116 + b251 =L= 1;

e204.. -0.7*log(1 + x81) + x117 + b252 =L= 1;

e205.. -0.7*log(1 + x82) + x118 + b253 =L= 1;

e206..    x80 - 1.26558121681553*b251 =L= 0;

e207..    x81 - 1.26558121681553*b252 =L= 0;

e208..    x82 - 1.26558121681553*b253 =L= 0;

e209..    x116 - 0.572481933717686*b251 =L= 0;

e210..    x117 - 0.572481933717686*b252 =L= 0;

e211..    x118 - 0.572481933717686*b253 =L= 0;

e212.. -0.65*log(1 + x83) + x119 + b254 =L= 1;

e213.. -0.65*log(1 + x84) + x120 + b255 =L= 1;

e214.. -0.65*log(1 + x85) + x121 + b256 =L= 1;

e215.. -0.65*log(1 + x92) + x119 + b254 =L= 1;

e216.. -0.65*log(1 + x93) + x120 + b255 =L= 1;

e217.. -0.65*log(1 + x94) + x121 + b256 =L= 1;

e218..    x83 - 1.26558121681553*b254 =L= 0;

e219..    x84 - 1.26558121681553*b255 =L= 0;

e220..    x85 - 1.26558121681553*b256 =L= 0;

e221..    x92 - 33.5*b254 =L= 0;

e222..    x93 - 33.5*b255 =L= 0;

e223..    x94 - 33.5*b256 =L= 0;

e224..    x119 - 2.30162356062425*b254 =L= 0;

e225..    x120 - 2.30162356062425*b255 =L= 0;

e226..    x121 - 2.30162356062425*b256 =L= 0;

e227..  - x95 + x122 + b257 =L= 1;

e228..  - x96 + x123 + b258 =L= 1;

e229..  - x97 + x124 + b259 =L= 1;

e230..  - x95 + x122 - b257 =G= -1;

e231..  - x96 + x123 - b258 =G= -1;

e232..  - x97 + x124 - b259 =G= -1;

e233..    x95 - 9*b257 =L= 0;

e234..    x96 - 9*b258 =L= 0;

e235..    x97 - 9*b259 =L= 0;

e236..    x122 - 9*b257 =L= 0;

e237..    x123 - 9*b258 =L= 0;

e238..    x124 - 9*b259 =L= 0;

e239..  - x98 + x125 + b260 =L= 1;

e240..  - x99 + x126 + b261 =L= 1;

e241..  - x100 + x127 + b262 =L= 1;

e242..  - x98 + x125 - b260 =G= -1;

e243..  - x99 + x126 - b261 =G= -1;

e244..  - x100 + x127 - b262 =G= -1;

e245..    x98 - 9*b260 =L= 0;

e246..    x99 - 9*b261 =L= 0;

e247..    x100 - 9*b262 =L= 0;

e248..    x125 - 9*b260 =L= 0;

e249..    x126 - 9*b261 =L= 0;

e250..    x127 - 9*b262 =L= 0;

e251.. -0.75*log(1 + x101) + x128 + b263 =L= 1;

e252.. -0.75*log(1 + x102) + x129 + b264 =L= 1;

e253.. -0.75*log(1 + x103) + x130 + b265 =L= 1;

e254..    x101 - 3.04984759446376*b263 =L= 0;

e255..    x102 - 3.04984759446376*b264 =L= 0;

e256..    x103 - 3.04984759446376*b265 =L= 0;

e257..    x128 - 1.04900943706034*b263 =L= 0;

e258..    x129 - 1.04900943706034*b264 =L= 0;

e259..    x130 - 1.04900943706034*b265 =L= 0;

e260.. -0.8*log(1 + x104) + x131 + b266 =L= 1;

e261.. -0.8*log(1 + x105) + x132 + b267 =L= 1;

e262.. -0.8*log(1 + x106) + x133 + b268 =L= 1;

e263..    x104 - 3.04984759446376*b266 =L= 0;

e264..    x105 - 3.04984759446376*b267 =L= 0;

e265..    x106 - 3.04984759446376*b268 =L= 0;

e266..    x131 - 1.11894339953103*b266 =L= 0;

e267..    x132 - 1.11894339953103*b267 =L= 0;

e268..    x133 - 1.11894339953103*b268 =L= 0;

e269.. -0.85*log(1 + x107) + x134 + b269 =L= 1;

e270.. -0.85*log(1 + x108) + x135 + b270 =L= 1;

e271.. -0.85*log(1 + x109) + x136 + b271 =L= 1;

e272..    x107 - 3.04984759446376*b269 =L= 0;

e273..    x108 - 3.04984759446376*b270 =L= 0;

e274..    x109 - 3.04984759446376*b271 =L= 0;

e275..    x134 - 1.18887736200171*b269 =L= 0;

e276..    x135 - 1.18887736200171*b270 =L= 0;

e277..    x136 - 1.18887736200171*b271 =L= 0;

e278.. -log(1 + x140) + x146 + b272 =L= 1;

e279.. -log(1 + x141) + x147 + b273 =L= 1;

e280.. -log(1 + x142) + x148 + b274 =L= 1;

e281..    x140 - 1.18887736200171*b272 =L= 0;

e282..    x141 - 1.18887736200171*b273 =L= 0;

e283..    x142 - 1.18887736200171*b274 =L= 0;

e284..    x146 - 0.78338879230327*b272 =L= 0;

e285..    x147 - 0.78338879230327*b273 =L= 0;

e286..    x148 - 0.78338879230327*b274 =L= 0;

e287.. -1.2*log(1 + x143) + x149 + b275 =L= 1;

e288.. -1.2*log(1 + x144) + x150 + b276 =L= 1;

e289.. -1.2*log(1 + x145) + x151 + b277 =L= 1;

e290..    x143 - 1.18887736200171*b275 =L= 0;

e291..    x144 - 1.18887736200171*b276 =L= 0;

e292..    x145 - 1.18887736200171*b277 =L= 0;

e293..    x149 - 0.940066550763924*b275 =L= 0;

e294..    x150 - 0.940066550763924*b276 =L= 0;

e295..    x151 - 0.940066550763924*b277 =L= 0;

e296..  - 0.75*x161 + x173 + b278 =L= 1;

e297..  - 0.75*x162 + x174 + b279 =L= 1;

e298..  - 0.75*x163 + x175 + b280 =L= 1;

e299..  - 0.75*x161 + x173 - b278 =G= -1;

e300..  - 0.75*x162 + x174 - b279 =G= -1;

e301..  - 0.75*x163 + x175 - b280 =G= -1;

e302..    x161 - 0.940066550763924*b278 =L= 0;

e303..    x162 - 0.940066550763924*b279 =L= 0;

e304..    x163 - 0.940066550763924*b280 =L= 0;

e305..    x173 - 0.705049913072943*b278 =L= 0;

e306..    x174 - 0.705049913072943*b279 =L= 0;

e307..    x175 - 0.705049913072943*b280 =L= 0;

e308.. -1.5*log(1 + x164) + x176 + b281 =L= 1;

e309.. -1.5*log(1 + x165) + x177 + b282 =L= 1;

e310.. -1.5*log(1 + x166) + x178 + b283 =L= 1;

e311..    x164 - 0.940066550763924*b281 =L= 0;

e312..    x165 - 0.940066550763924*b282 =L= 0;

e313..    x166 - 0.940066550763924*b283 =L= 0;

e314..    x176 - 0.994083415506506*b281 =L= 0;

e315..    x177 - 0.994083415506506*b282 =L= 0;

e316..    x178 - 0.994083415506506*b283 =L= 0;

e317..  - x167 + x179 + b284 =L= 1;

e318..  - x168 + x180 + b285 =L= 1;

e319..  - x169 + x181 + b286 =L= 1;

e320..  - x167 + x179 - b284 =G= -1;

e321..  - x168 + x180 - b285 =G= -1;

e322..  - x169 + x181 - b286 =G= -1;

e323..  - 0.5*x170 + x179 + b284 =L= 1;

e324..  - 0.5*x171 + x180 + b285 =L= 1;

e325..  - 0.5*x172 + x181 + b286 =L= 1;

e326..  - 0.5*x170 + x179 - b284 =G= -1;

e327..  - 0.5*x171 + x180 - b285 =G= -1;

e328..  - 0.5*x172 + x181 - b286 =G= -1;

e329..    x167 - 0.940066550763924*b284 =L= 0;

e330..    x168 - 0.940066550763924*b285 =L= 0;

e331..    x169 - 0.940066550763924*b286 =L= 0;

e332..    x170 - 30*b284 =L= 0;

e333..    x171 - 30*b285 =L= 0;

e334..    x172 - 30*b286 =L= 0;

e335..    x179 - 15*b284 =L= 0;

e336..    x180 - 15*b285 =L= 0;

e337..    x181 - 15*b286 =L= 0;

e338.. -1.25*log(1 + x182) + x197 + b287 =L= 1;

e339.. -1.25*log(1 + x183) + x198 + b288 =L= 1;

e340.. -1.25*log(1 + x184) + x199 + b289 =L= 1;

e341..    x182 - 0.705049913072943*b287 =L= 0;

e342..    x183 - 0.705049913072943*b288 =L= 0;

e343..    x184 - 0.705049913072943*b289 =L= 0;

e344..    x197 - 0.666992981045719*b287 =L= 0;

e345..    x198 - 0.666992981045719*b288 =L= 0;

e346..    x199 - 0.666992981045719*b289 =L= 0;

e347.. -0.9*log(1 + x185) + x200 + b290 =L= 1;

e348.. -0.9*log(1 + x186) + x201 + b291 =L= 1;

e349.. -0.9*log(1 + x187) + x202 + b292 =L= 1;

e350..    x185 - 0.705049913072943*b290 =L= 0;

e351..    x186 - 0.705049913072943*b291 =L= 0;

e352..    x187 - 0.705049913072943*b292 =L= 0;

e353..    x200 - 0.480234946352917*b290 =L= 0;

e354..    x201 - 0.480234946352917*b291 =L= 0;

e355..    x202 - 0.480234946352917*b292 =L= 0;

e356.. -log(1 + x176) + x203 + b293 =L= 1;

e357.. -log(1 + x177) + x204 + b294 =L= 1;

e358.. -log(1 + x178) + x205 + b295 =L= 1;

e359..    x176 - 0.994083415506506*b293 =L= 0;

e360..    x177 - 0.994083415506506*b294 =L= 0;

e361..    x178 - 0.994083415506506*b295 =L= 0;

e362..    x203 - 0.690184503917672*b293 =L= 0;

e363..    x204 - 0.690184503917672*b294 =L= 0;

e364..    x205 - 0.690184503917672*b295 =L= 0;

e365..  - 0.9*x188 + x206 + b296 =L= 1;

e366..  - 0.9*x189 + x207 + b297 =L= 1;

e367..  - 0.9*x190 + x208 + b298 =L= 1;

e368..  - 0.9*x188 + x206 - b296 =G= -1;

e369..  - 0.9*x189 + x207 - b297 =G= -1;

e370..  - 0.9*x190 + x208 - b298 =G= -1;

e371..    x188 - 15*b296 =L= 0;

e372..    x189 - 15*b297 =L= 0;

e373..    x190 - 15*b298 =L= 0;

e374..    x206 - 13.5*b296 =L= 0;

e375..    x207 - 13.5*b297 =L= 0;

e376..    x208 - 13.5*b298 =L= 0;

e377..  - 0.6*x191 + x209 + b299 =L= 1;

e378..  - 0.6*x192 + x210 + b300 =L= 1;

e379..  - 0.6*x193 + x211 + b301 =L= 1;

e380..  - 0.6*x191 + x209 - b299 =G= -1;

e381..  - 0.6*x192 + x210 - b300 =G= -1;

e382..  - 0.6*x193 + x211 - b301 =G= -1;

e383..    x191 - 15*b299 =L= 0;

e384..    x192 - 15*b300 =L= 0;

e385..    x193 - 15*b301 =L= 0;

e386..    x209 - 9*b299 =L= 0;

e387..    x210 - 9*b300 =L= 0;

e388..    x211 - 9*b301 =L= 0;

e389..    5*b302 + x392 =L= 0;

e390..    4*b303 + x393 =L= 0;

e391..    6*b304 + x394 =L= 0;

e392..    8*b305 + x395 =L= 0;

e393..    7*b306 + x396 =L= 0;

e394..    6*b307 + x397 =L= 0;

e395..    6*b308 + x398 =L= 0;

e396..    9*b309 + x399 =L= 0;

e397..    4*b310 + x400 =L= 0;

e398..    10*b311 + x401 =L= 0;

e399..    9*b312 + x402 =L= 0;

e400..    5*b313 + x403 =L= 0;

e401..    6*b314 + x404 =L= 0;

e402..    10*b315 + x405 =L= 0;

e403..    6*b316 + x406 =L= 0;

e404..    7*b317 + x407 =L= 0;

e405..    7*b318 + x408 =L= 0;

e406..    4*b319 + x409 =L= 0;

e407..    4*b320 + x410 =L= 0;

e408..    3*b321 + x411 =L= 0;

e409..    2*b322 + x412 =L= 0;

e410..    5*b323 + x413 =L= 0;

e411..    6*b324 + x414 =L= 0;

e412..    7*b325 + x415 =L= 0;

e413..    2*b326 + x416 =L= 0;

e414..    5*b327 + x417 =L= 0;

e415..    2*b328 + x418 =L= 0;

e416..    4*b329 + x419 =L= 0;

e417..    7*b330 + x420 =L= 0;

e418..    4*b331 + x421 =L= 0;

e419..    3*b332 + x422 =L= 0;

e420..    9*b333 + x423 =L= 0;

e421..    3*b334 + x424 =L= 0;

e422..    7*b335 + x425 =L= 0;

e423..    2*b336 + x426 =L= 0;

e424..    9*b337 + x427 =L= 0;

e425..    3*b338 + x428 =L= 0;

e426..    b339 + x429 =L= 0;

e427..    9*b340 + x430 =L= 0;

e428..    2*b341 + x431 =L= 0;

e429..    6*b342 + x432 =L= 0;

e430..    3*b343 + x433 =L= 0;

e431..    4*b344 + x434 =L= 0;

e432..    8*b345 + x435 =L= 0;

e433..    b346 + x436 =L= 0;

e434..    2*b347 + x437 =L= 0;

e435..    5*b348 + x438 =L= 0;

e436..    2*b349 + x439 =L= 0;

e437..    3*b350 + x440 =L= 0;

e438..    4*b351 + x441 =L= 0;

e439..    3*b352 + x442 =L= 0;

e440..    5*b353 + x443 =L= 0;

e441..    7*b354 + x444 =L= 0;

e442..    6*b355 + x445 =L= 0;

e443..    2*b356 + x446 =L= 0;

e444..    8*b357 + x447 =L= 0;

e445..    4*b358 + x448 =L= 0;

e446..    b359 + x449 =L= 0;

e447..    4*b360 + x450 =L= 0;

e448..    b361 + x451 =L= 0;

e449..    2*b362 + x452 =L= 0;

e450..    5*b363 + x453 =L= 0;

e451..    2*b364 + x454 =L= 0;

e452..    9*b365 + x455 =L= 0;

e453..    2*b366 + x456 =L= 0;

e454..    9*b367 + x457 =L= 0;

e455..    5*b368 + x458 =L= 0;

e456..    8*b369 + x459 =L= 0;

e457..    4*b370 + x460 =L= 0;

e458..    2*b371 + x461 =L= 0;

e459..    3*b372 + x462 =L= 0;

e460..    8*b373 + x463 =L= 0;

e461..    10*b374 + x464 =L= 0;

e462..    6*b375 + x465 =L= 0;

e463..    3*b376 + x466 =L= 0;

e464..    4*b377 + x467 =L= 0;

e465..    8*b378 + x468 =L= 0;

e466..    7*b379 + x469 =L= 0;

e467..    7*b380 + x470 =L= 0;

e468..    3*b381 + x471 =L= 0;

e469..    9*b382 + x472 =L= 0;

e470..    4*b383 + x473 =L= 0;

e471..    8*b384 + x474 =L= 0;

e472..    6*b385 + x475 =L= 0;

e473..    2*b386 + x476 =L= 0;

e474..    b387 + x477 =L= 0;

e475..    3*b388 + x478 =L= 0;

e476..    8*b389 + x479 =L= 0;

e477..    3*b390 + x480 =L= 0;

e478..    4*b391 + x481 =L= 0;

e479..    5*b302 + x392 =G= 0;

e480..    4*b303 + x393 =G= 0;

e481..    6*b304 + x394 =G= 0;

e482..    8*b305 + x395 =G= 0;

e483..    7*b306 + x396 =G= 0;

e484..    6*b307 + x397 =G= 0;

e485..    6*b308 + x398 =G= 0;

e486..    9*b309 + x399 =G= 0;

e487..    4*b310 + x400 =G= 0;

e488..    10*b311 + x401 =G= 0;

e489..    9*b312 + x402 =G= 0;

e490..    5*b313 + x403 =G= 0;

e491..    6*b314 + x404 =G= 0;

e492..    10*b315 + x405 =G= 0;

e493..    6*b316 + x406 =G= 0;

e494..    7*b317 + x407 =G= 0;

e495..    7*b318 + x408 =G= 0;

e496..    4*b319 + x409 =G= 0;

e497..    4*b320 + x410 =G= 0;

e498..    3*b321 + x411 =G= 0;

e499..    2*b322 + x412 =G= 0;

e500..    5*b323 + x413 =G= 0;

e501..    6*b324 + x414 =G= 0;

e502..    7*b325 + x415 =G= 0;

e503..    2*b326 + x416 =G= 0;

e504..    5*b327 + x417 =G= 0;

e505..    2*b328 + x418 =G= 0;

e506..    4*b329 + x419 =G= 0;

e507..    7*b330 + x420 =G= 0;

e508..    4*b331 + x421 =G= 0;

e509..    3*b332 + x422 =G= 0;

e510..    9*b333 + x423 =G= 0;

e511..    3*b334 + x424 =G= 0;

e512..    7*b335 + x425 =G= 0;

e513..    2*b336 + x426 =G= 0;

e514..    9*b337 + x427 =G= 0;

e515..    3*b338 + x428 =G= 0;

e516..    b339 + x429 =G= 0;

e517..    9*b340 + x430 =G= 0;

e518..    2*b341 + x431 =G= 0;

e519..    6*b342 + x432 =G= 0;

e520..    3*b343 + x433 =G= 0;

e521..    4*b344 + x434 =G= 0;

e522..    8*b345 + x435 =G= 0;

e523..    b346 + x436 =G= 0;

e524..    2*b347 + x437 =G= 0;

e525..    5*b348 + x438 =G= 0;

e526..    2*b349 + x439 =G= 0;

e527..    3*b350 + x440 =G= 0;

e528..    4*b351 + x441 =G= 0;

e529..    3*b352 + x442 =G= 0;

e530..    5*b353 + x443 =G= 0;

e531..    7*b354 + x444 =G= 0;

e532..    6*b355 + x445 =G= 0;

e533..    2*b356 + x446 =G= 0;

e534..    8*b357 + x447 =G= 0;

e535..    4*b358 + x448 =G= 0;

e536..    b359 + x449 =G= 0;

e537..    4*b360 + x450 =G= 0;

e538..    b361 + x451 =G= 0;

e539..    2*b362 + x452 =G= 0;

e540..    5*b363 + x453 =G= 0;

e541..    2*b364 + x454 =G= 0;

e542..    9*b365 + x455 =G= 0;

e543..    2*b366 + x456 =G= 0;

e544..    9*b367 + x457 =G= 0;

e545..    5*b368 + x458 =G= 0;

e546..    8*b369 + x459 =G= 0;

e547..    4*b370 + x460 =G= 0;

e548..    2*b371 + x461 =G= 0;

e549..    3*b372 + x462 =G= 0;

e550..    8*b373 + x463 =G= 0;

e551..    10*b374 + x464 =G= 0;

e552..    6*b375 + x465 =G= 0;

e553..    3*b376 + x466 =G= 0;

e554..    4*b377 + x467 =G= 0;

e555..    8*b378 + x468 =G= 0;

e556..    7*b379 + x469 =G= 0;

e557..    7*b380 + x470 =G= 0;

e558..    3*b381 + x471 =G= 0;

e559..    9*b382 + x472 =G= 0;

e560..    4*b383 + x473 =G= 0;

e561..    8*b384 + x474 =G= 0;

e562..    6*b385 + x475 =G= 0;

e563..    2*b386 + x476 =G= 0;

e564..    b387 + x477 =G= 0;

e565..    3*b388 + x478 =G= 0;

e566..    8*b389 + x479 =G= 0;

e567..    3*b390 + x480 =G= 0;

e568..    4*b391 + x481 =G= 0;

e569..    b212 - b213 =L= 0;

e570..    b212 - b214 =L= 0;

e571..    b213 - b214 =L= 0;

e572..    b215 - b216 =L= 0;

e573..    b215 - b217 =L= 0;

e574..    b216 - b217 =L= 0;

e575..    b218 - b219 =L= 0;

e576..    b218 - b220 =L= 0;

e577..    b219 - b220 =L= 0;

e578..    b221 - b222 =L= 0;

e579..    b221 - b223 =L= 0;

e580..    b222 - b223 =L= 0;

e581..    b224 - b225 =L= 0;

e582..    b224 - b226 =L= 0;

e583..    b225 - b226 =L= 0;

e584..    b227 - b228 =L= 0;

e585..    b227 - b229 =L= 0;

e586..    b228 - b229 =L= 0;

e587..    b230 - b231 =L= 0;

e588..    b230 - b232 =L= 0;

e589..    b231 - b232 =L= 0;

e590..    b233 - b234 =L= 0;

e591..    b233 - b235 =L= 0;

e592..    b234 - b235 =L= 0;

e593..    b236 - b237 =L= 0;

e594..    b236 - b238 =L= 0;

e595..    b237 - b238 =L= 0;

e596..    b239 - b240 =L= 0;

e597..    b239 - b241 =L= 0;

e598..    b240 - b241 =L= 0;

e599..    b242 - b243 =L= 0;

e600..    b242 - b244 =L= 0;

e601..    b243 - b244 =L= 0;

e602..    b245 - b246 =L= 0;

e603..    b245 - b247 =L= 0;

e604..    b246 - b247 =L= 0;

e605..    b248 - b249 =L= 0;

e606..    b248 - b250 =L= 0;

e607..    b249 - b250 =L= 0;

e608..    b251 - b252 =L= 0;

e609..    b251 - b253 =L= 0;

e610..    b252 - b253 =L= 0;

e611..    b254 - b255 =L= 0;

e612..    b254 - b256 =L= 0;

e613..    b255 - b256 =L= 0;

e614..    b257 - b258 =L= 0;

e615..    b257 - b259 =L= 0;

e616..    b258 - b259 =L= 0;

e617..    b260 - b261 =L= 0;

e618..    b260 - b262 =L= 0;

e619..    b261 - b262 =L= 0;

e620..    b263 - b264 =L= 0;

e621..    b263 - b265 =L= 0;

e622..    b264 - b265 =L= 0;

e623..    b266 - b267 =L= 0;

e624..    b266 - b268 =L= 0;

e625..    b267 - b268 =L= 0;

e626..    b269 - b270 =L= 0;

e627..    b269 - b271 =L= 0;

e628..    b270 - b271 =L= 0;

e629..    b272 - b273 =L= 0;

e630..    b272 - b274 =L= 0;

e631..    b273 - b274 =L= 0;

e632..    b275 - b276 =L= 0;

e633..    b275 - b277 =L= 0;

e634..    b276 - b277 =L= 0;

e635..    b278 - b279 =L= 0;

e636..    b278 - b280 =L= 0;

e637..    b279 - b280 =L= 0;

e638..    b281 - b282 =L= 0;

e639..    b281 - b283 =L= 0;

e640..    b282 - b283 =L= 0;

e641..    b284 - b285 =L= 0;

e642..    b284 - b286 =L= 0;

e643..    b285 - b286 =L= 0;

e644..    b287 - b288 =L= 0;

e645..    b287 - b289 =L= 0;

e646..    b288 - b289 =L= 0;

e647..    b290 - b291 =L= 0;

e648..    b290 - b292 =L= 0;

e649..    b291 - b292 =L= 0;

e650..    b293 - b294 =L= 0;

e651..    b293 - b295 =L= 0;

e652..    b294 - b295 =L= 0;

e653..    b296 - b297 =L= 0;

e654..    b296 - b298 =L= 0;

e655..    b297 - b298 =L= 0;

e656..    b299 - b300 =L= 0;

e657..    b299 - b301 =L= 0;

e658..    b300 - b301 =L= 0;

e659..    b302 + b303 =L= 1;

e660..    b302 + b304 =L= 1;

e661..    b302 + b303 =L= 1;

e662..    b303 + b304 =L= 1;

e663..    b302 + b304 =L= 1;

e664..    b303 + b304 =L= 1;

e665..    b305 + b306 =L= 1;

e666..    b305 + b307 =L= 1;

e667..    b305 + b306 =L= 1;

e668..    b306 + b307 =L= 1;

e669..    b305 + b307 =L= 1;

e670..    b306 + b307 =L= 1;

e671..    b308 + b309 =L= 1;

e672..    b308 + b310 =L= 1;

e673..    b308 + b309 =L= 1;

e674..    b309 + b310 =L= 1;

e675..    b308 + b310 =L= 1;

e676..    b309 + b310 =L= 1;

e677..    b311 + b312 =L= 1;

e678..    b311 + b313 =L= 1;

e679..    b311 + b312 =L= 1;

e680..    b312 + b313 =L= 1;

e681..    b311 + b313 =L= 1;

e682..    b312 + b313 =L= 1;

e683..    b314 + b315 =L= 1;

e684..    b314 + b316 =L= 1;

e685..    b314 + b315 =L= 1;

e686..    b315 + b316 =L= 1;

e687..    b314 + b316 =L= 1;

e688..    b315 + b316 =L= 1;

e689..    b317 + b318 =L= 1;

e690..    b317 + b319 =L= 1;

e691..    b317 + b318 =L= 1;

e692..    b318 + b319 =L= 1;

e693..    b317 + b319 =L= 1;

e694..    b318 + b319 =L= 1;

e695..    b320 + b321 =L= 1;

e696..    b320 + b322 =L= 1;

e697..    b320 + b321 =L= 1;

e698..    b321 + b322 =L= 1;

e699..    b320 + b322 =L= 1;

e700..    b321 + b322 =L= 1;

e701..    b323 + b324 =L= 1;

e702..    b323 + b325 =L= 1;

e703..    b323 + b324 =L= 1;

e704..    b324 + b325 =L= 1;

e705..    b323 + b325 =L= 1;

e706..    b324 + b325 =L= 1;

e707..    b326 + b327 =L= 1;

e708..    b326 + b328 =L= 1;

e709..    b326 + b327 =L= 1;

e710..    b327 + b328 =L= 1;

e711..    b326 + b328 =L= 1;

e712..    b327 + b328 =L= 1;

e713..    b329 + b330 =L= 1;

e714..    b329 + b331 =L= 1;

e715..    b329 + b330 =L= 1;

e716..    b330 + b331 =L= 1;

e717..    b329 + b331 =L= 1;

e718..    b330 + b331 =L= 1;

e719..    b332 + b333 =L= 1;

e720..    b332 + b334 =L= 1;

e721..    b332 + b333 =L= 1;

e722..    b333 + b334 =L= 1;

e723..    b332 + b334 =L= 1;

e724..    b333 + b334 =L= 1;

e725..    b335 + b336 =L= 1;

e726..    b335 + b337 =L= 1;

e727..    b335 + b336 =L= 1;

e728..    b336 + b337 =L= 1;

e729..    b335 + b337 =L= 1;

e730..    b336 + b337 =L= 1;

e731..    b338 + b339 =L= 1;

e732..    b338 + b340 =L= 1;

e733..    b338 + b339 =L= 1;

e734..    b339 + b340 =L= 1;

e735..    b338 + b340 =L= 1;

e736..    b339 + b340 =L= 1;

e737..    b341 + b342 =L= 1;

e738..    b341 + b343 =L= 1;

e739..    b341 + b342 =L= 1;

e740..    b342 + b343 =L= 1;

e741..    b341 + b343 =L= 1;

e742..    b342 + b343 =L= 1;

e743..    b344 + b345 =L= 1;

e744..    b344 + b346 =L= 1;

e745..    b344 + b345 =L= 1;

e746..    b345 + b346 =L= 1;

e747..    b344 + b346 =L= 1;

e748..    b345 + b346 =L= 1;

e749..    b347 + b348 =L= 1;

e750..    b347 + b349 =L= 1;

e751..    b347 + b348 =L= 1;

e752..    b348 + b349 =L= 1;

e753..    b347 + b349 =L= 1;

e754..    b348 + b349 =L= 1;

e755..    b350 + b351 =L= 1;

e756..    b350 + b352 =L= 1;

e757..    b350 + b351 =L= 1;

e758..    b351 + b352 =L= 1;

e759..    b350 + b352 =L= 1;

e760..    b351 + b352 =L= 1;

e761..    b353 + b354 =L= 1;

e762..    b353 + b355 =L= 1;

e763..    b353 + b354 =L= 1;

e764..    b354 + b355 =L= 1;

e765..    b353 + b355 =L= 1;

e766..    b354 + b355 =L= 1;

e767..    b356 + b357 =L= 1;

e768..    b356 + b358 =L= 1;

e769..    b356 + b357 =L= 1;

e770..    b357 + b358 =L= 1;

e771..    b356 + b358 =L= 1;

e772..    b357 + b358 =L= 1;

e773..    b359 + b360 =L= 1;

e774..    b359 + b361 =L= 1;

e775..    b359 + b360 =L= 1;

e776..    b360 + b361 =L= 1;

e777..    b359 + b361 =L= 1;

e778..    b360 + b361 =L= 1;

e779..    b362 + b363 =L= 1;

e780..    b362 + b364 =L= 1;

e781..    b362 + b363 =L= 1;

e782..    b363 + b364 =L= 1;

e783..    b362 + b364 =L= 1;

e784..    b363 + b364 =L= 1;

e785..    b365 + b366 =L= 1;

e786..    b365 + b367 =L= 1;

e787..    b365 + b366 =L= 1;

e788..    b366 + b367 =L= 1;

e789..    b365 + b367 =L= 1;

e790..    b366 + b367 =L= 1;

e791..    b368 + b369 =L= 1;

e792..    b368 + b370 =L= 1;

e793..    b368 + b369 =L= 1;

e794..    b369 + b370 =L= 1;

e795..    b368 + b370 =L= 1;

e796..    b369 + b370 =L= 1;

e797..    b371 + b372 =L= 1;

e798..    b371 + b373 =L= 1;

e799..    b371 + b372 =L= 1;

e800..    b372 + b373 =L= 1;

e801..    b371 + b373 =L= 1;

e802..    b372 + b373 =L= 1;

e803..    b374 + b375 =L= 1;

e804..    b374 + b376 =L= 1;

e805..    b374 + b375 =L= 1;

e806..    b375 + b376 =L= 1;

e807..    b374 + b376 =L= 1;

e808..    b375 + b376 =L= 1;

e809..    b377 + b378 =L= 1;

e810..    b377 + b379 =L= 1;

e811..    b377 + b378 =L= 1;

e812..    b378 + b379 =L= 1;

e813..    b377 + b379 =L= 1;

e814..    b378 + b379 =L= 1;

e815..    b380 + b381 =L= 1;

e816..    b380 + b382 =L= 1;

e817..    b380 + b381 =L= 1;

e818..    b381 + b382 =L= 1;

e819..    b380 + b382 =L= 1;

e820..    b381 + b382 =L= 1;

e821..    b383 + b384 =L= 1;

e822..    b383 + b385 =L= 1;

e823..    b383 + b384 =L= 1;

e824..    b384 + b385 =L= 1;

e825..    b383 + b385 =L= 1;

e826..    b384 + b385 =L= 1;

e827..    b386 + b387 =L= 1;

e828..    b386 + b388 =L= 1;

e829..    b386 + b387 =L= 1;

e830..    b387 + b388 =L= 1;

e831..    b386 + b388 =L= 1;

e832..    b387 + b388 =L= 1;

e833..    b389 + b390 =L= 1;

e834..    b389 + b391 =L= 1;

e835..    b389 + b390 =L= 1;

e836..    b390 + b391 =L= 1;

e837..    b389 + b391 =L= 1;

e838..    b390 + b391 =L= 1;

e839..    b212 - b302 =L= 0;

e840..  - b212 + b213 - b303 =L= 0;

e841..  - b212 - b213 + b214 - b304 =L= 0;

e842..    b215 - b305 =L= 0;

e843..  - b215 + b216 - b306 =L= 0;

e844..  - b215 - b216 + b217 - b307 =L= 0;

e845..    b218 - b308 =L= 0;

e846..  - b218 + b219 - b309 =L= 0;

e847..  - b218 - b219 + b220 - b310 =L= 0;

e848..    b221 - b311 =L= 0;

e849..  - b221 + b222 - b312 =L= 0;

e850..  - b221 - b222 + b223 - b313 =L= 0;

e851..    b224 - b314 =L= 0;

e852..  - b224 + b225 - b315 =L= 0;

e853..  - b224 - b225 + b226 - b316 =L= 0;

e854..    b227 - b317 =L= 0;

e855..  - b227 + b228 - b318 =L= 0;

e856..  - b227 - b228 + b229 - b319 =L= 0;

e857..    b230 - b320 =L= 0;

e858..  - b230 + b231 - b321 =L= 0;

e859..  - b230 - b231 + b232 - b322 =L= 0;

e860..    b233 - b323 =L= 0;

e861..  - b233 + b234 - b324 =L= 0;

e862..  - b233 - b234 + b235 - b325 =L= 0;

e863..    b236 - b326 =L= 0;

e864..  - b236 + b237 - b327 =L= 0;

e865..  - b236 - b237 + b238 - b328 =L= 0;

e866..    b239 - b329 =L= 0;

e867..  - b239 + b240 - b330 =L= 0;

e868..  - b239 - b240 + b241 - b331 =L= 0;

e869..    b242 - b332 =L= 0;

e870..  - b242 + b243 - b333 =L= 0;

e871..  - b242 - b243 + b244 - b334 =L= 0;

e872..    b245 - b335 =L= 0;

e873..  - b245 + b246 - b336 =L= 0;

e874..  - b245 - b246 + b247 - b337 =L= 0;

e875..    b248 - b338 =L= 0;

e876..  - b248 + b249 - b339 =L= 0;

e877..  - b248 - b249 + b250 - b340 =L= 0;

e878..    b251 - b341 =L= 0;

e879..  - b251 + b252 - b342 =L= 0;

e880..  - b251 - b252 + b253 - b343 =L= 0;

e881..    b254 - b344 =L= 0;

e882..  - b254 + b255 - b345 =L= 0;

e883..  - b254 - b255 + b256 - b346 =L= 0;

e884..    b257 - b347 =L= 0;

e885..  - b257 + b258 - b348 =L= 0;

e886..  - b257 - b258 + b259 - b349 =L= 0;

e887..    b260 - b350 =L= 0;

e888..  - b260 + b261 - b351 =L= 0;

e889..  - b260 - b261 + b262 - b352 =L= 0;

e890..    b263 - b353 =L= 0;

e891..  - b263 + b264 - b354 =L= 0;

e892..  - b263 - b264 + b265 - b355 =L= 0;

e893..    b266 - b356 =L= 0;

e894..  - b266 + b267 - b357 =L= 0;

e895..  - b266 - b267 + b268 - b358 =L= 0;

e896..    b269 - b359 =L= 0;

e897..  - b269 + b270 - b360 =L= 0;

e898..  - b269 - b270 + b271 - b361 =L= 0;

e899..    b272 - b362 =L= 0;

e900..  - b272 + b273 - b363 =L= 0;

e901..  - b272 - b273 + b274 - b364 =L= 0;

e902..    b275 - b365 =L= 0;

e903..  - b275 + b276 - b366 =L= 0;

e904..  - b275 - b276 + b277 - b367 =L= 0;

e905..    b278 - b368 =L= 0;

e906..  - b278 + b279 - b369 =L= 0;

e907..  - b278 - b279 + b280 - b370 =L= 0;

e908..    b281 - b371 =L= 0;

e909..  - b281 + b282 - b372 =L= 0;

e910..  - b281 - b282 + b283 - b373 =L= 0;

e911..    b284 - b374 =L= 0;

e912..  - b284 + b285 - b375 =L= 0;

e913..  - b284 - b285 + b286 - b376 =L= 0;

e914..    b287 - b377 =L= 0;

e915..  - b287 + b288 - b378 =L= 0;

e916..  - b287 - b288 + b289 - b379 =L= 0;

e917..    b290 - b380 =L= 0;

e918..  - b290 + b291 - b381 =L= 0;

e919..  - b290 - b291 + b292 - b382 =L= 0;

e920..    b293 - b383 =L= 0;

e921..  - b293 + b294 - b384 =L= 0;

e922..  - b293 - b294 + b295 - b385 =L= 0;

e923..    b296 - b386 =L= 0;

e924..  - b296 + b297 - b387 =L= 0;

e925..  - b296 - b297 + b298 - b388 =L= 0;

e926..    b299 - b389 =L= 0;

e927..  - b299 + b300 - b390 =L= 0;

e928..  - b299 - b300 + b301 - b391 =L= 0;

e929..    b212 + b215 =E= 1;

e930..    b213 + b216 =E= 1;

e931..    b214 + b217 =E= 1;

e932..  - b218 + b227 + b230 =G= 0;

e933..  - b219 + b228 + b231 =G= 0;

e934..  - b220 + b229 + b232 =G= 0;

e935..  - b227 + b245 =G= 0;

e936..  - b228 + b246 =G= 0;

e937..  - b229 + b247 =G= 0;

e938..  - b230 + b248 =G= 0;

e939..  - b231 + b249 =G= 0;

e940..  - b232 + b250 =G= 0;

e941..  - b221 + b233 =G= 0;

e942..  - b222 + b234 =G= 0;

e943..  - b223 + b235 =G= 0;

e944..  - b233 + b251 + b254 =G= 0;

e945..  - b234 + b252 + b255 =G= 0;

e946..  - b235 + b253 + b256 =G= 0;

e947..  - b224 + b236 + b239 + b242 =G= 0;

e948..  - b225 + b237 + b240 + b243 =G= 0;

e949..  - b226 + b238 + b241 + b244 =G= 0;

e950..  - b236 + b254 =G= 0;

e951..  - b237 + b255 =G= 0;

e952..  - b238 + b256 =G= 0;

e953..  - b239 + b257 + b260 =G= 0;

e954..  - b240 + b258 + b261 =G= 0;

e955..  - b241 + b259 + b262 =G= 0;

e956..  - b242 + b263 + b266 + b269 =G= 0;

e957..  - b243 + b264 + b267 + b270 =G= 0;

e958..  - b244 + b265 + b268 + b271 =G= 0;

e959..    b212 + b215 - b218 =G= 0;

e960..    b213 + b216 - b219 =G= 0;

e961..    b214 + b217 - b220 =G= 0;

e962..    b212 + b215 - b221 =G= 0;

e963..    b213 + b216 - b222 =G= 0;

e964..    b214 + b217 - b223 =G= 0;

e965..    b212 + b215 - b224 =G= 0;

e966..    b213 + b216 - b225 =G= 0;

e967..    b214 + b217 - b226 =G= 0;

e968..    b218 - b227 =G= 0;

e969..    b219 - b228 =G= 0;

e970..    b220 - b229 =G= 0;

e971..    b218 - b230 =G= 0;

e972..    b219 - b231 =G= 0;

e973..    b220 - b232 =G= 0;

e974..    b221 - b233 =G= 0;

e975..    b222 - b234 =G= 0;

e976..    b223 - b235 =G= 0;

e977..    b224 - b236 =G= 0;

e978..    b225 - b237 =G= 0;

e979..    b226 - b238 =G= 0;

e980..    b224 - b239 =G= 0;

e981..    b225 - b240 =G= 0;

e982..    b226 - b241 =G= 0;

e983..    b224 - b242 =G= 0;

e984..    b225 - b243 =G= 0;

e985..    b226 - b244 =G= 0;

e986..    b227 - b245 =G= 0;

e987..    b228 - b246 =G= 0;

e988..    b229 - b247 =G= 0;

e989..    b230 - b248 =G= 0;

e990..    b231 - b249 =G= 0;

e991..    b232 - b250 =G= 0;

e992..    b233 - b251 =G= 0;

e993..    b234 - b252 =G= 0;

e994..    b235 - b253 =G= 0;

e995..    b233 - b254 =G= 0;

e996..    b234 - b255 =G= 0;

e997..    b235 - b256 =G= 0;

e998..    b239 - b257 =G= 0;

e999..    b240 - b258 =G= 0;

e1000..    b241 - b259 =G= 0;

e1001..    b239 - b260 =G= 0;

e1002..    b240 - b261 =G= 0;

e1003..    b241 - b262 =G= 0;

e1004..    b242 - b263 =G= 0;

e1005..    b243 - b264 =G= 0;

e1006..    b244 - b265 =G= 0;

e1007..    b242 - b266 =G= 0;

e1008..    b243 - b267 =G= 0;

e1009..    b244 - b268 =G= 0;

e1010..    b242 - b269 =G= 0;

e1011..    b243 - b270 =G= 0;

e1012..    b244 - b271 =G= 0;

e1013..  - b269 + b272 + b275 =G= 0;

e1014..  - b270 + b273 + b276 =G= 0;

e1015..  - b271 + b274 + b277 =G= 0;

e1016..  - b278 + b287 + b290 =G= 0;

e1017..  - b279 + b288 + b291 =G= 0;

e1018..  - b280 + b289 + b292 =G= 0;

e1019..  - b281 + b293 =G= 0;

e1020..  - b282 + b294 =G= 0;

e1021..  - b283 + b295 =G= 0;

e1022..    b269 - b272 =G= 0;

e1023..    b270 - b273 =G= 0;

e1024..    b271 - b274 =G= 0;

e1025..    b269 - b275 =G= 0;

e1026..    b270 - b276 =G= 0;

e1027..    b271 - b277 =G= 0;

e1028..    b278 - b287 =G= 0;

e1029..    b279 - b288 =G= 0;

e1030..    b280 - b289 =G= 0;

e1031..    b278 - b290 =G= 0;

e1032..    b279 - b291 =G= 0;

e1033..    b280 - b292 =G= 0;

e1034..    b281 - b293 =G= 0;

e1035..    b282 - b294 =G= 0;

e1036..    b283 - b295 =G= 0;

e1037..    b284 - b296 =G= 0;

e1038..    b285 - b297 =G= 0;

e1039..    b286 - b298 =G= 0;

e1040..    b284 - b299 =G= 0;

e1041..    b285 - b300 =G= 0;

e1042..    b286 - b301 =G= 0;

* set non-default bounds
x2.up = 40;
x3.up = 40;
x4.up = 40;
x35.up = 30;
x36.up = 30;
x37.up = 30;
x86.up = 20;
x87.up = 20;
x88.up = 20;
x89.up = 20;
x90.up = 20;
x91.up = 20;
x170.up = 30;
x171.up = 30;
x172.up = 30;

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: 2022-05-24 Git hash: 1198c186
Imprint / Privacy Policy / License: CC-BY 4.0