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)ⓘ | |
| 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) 659.39170100 (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 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: 2025-08-07 Git hash: e62cedfc