MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance flay06h

Determine the optimal length and width of a number of rectangular patches of land with fixed area, such that the perimeter of the set of patches is minimized.
Formats ams gms mod nl osil py
Primal Bounds (infeas ≤ 1e-08)
66.93280212 p1 ( gdx sol )
(infeas: 2e-10)
Other points (infeas > 1e-08)  
Dual Bounds
64.42951687 (ALPHAECP)
63.78428047 (ANTIGONE)
63.71172251 (BARON)
58.46552900 (BONMIN)
55.85575696 (COUENNE)
60.10296373 (LINDO)
66.93279410 (SCIP)
63.40712624 (SHOT)
References Sawaya, Nicolas W, Reformulations, relaxations and cutting planes for generalized disjunctive programming, PhD thesis, Carnegie Mellon University, 2006.
Source FLay06H.gms from CMU-IBM MINLP solver project page
Application Layout
Added to library 28 Sep 2013
Problem type MBNLP
#Variables 566
#Binary Variables 60
#Integer Variables 0
#Nonlinear Variables 6
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense min
Objective type linear
Objective curvature linear
#Nonzeros in Objective 2
#Nonlinear Nonzeros in Objective 0
#Constraints 693
#Linear Constraints 687
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 6
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature convex
#Nonzeros in Jacobian 1848
#Nonlinear Nonzeros in Jacobian 6
#Nonzeros in (Upper-Left) Hessian of Lagrangian 6
#Nonzeros in Diagonal of Hessian of Lagrangian 6
#Blocks in Hessian of Lagrangian 6
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 1.0000e+00
Maximal coefficient 7.5000e+01
Infeasibility of initial point 74
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
*        694      136       12      546        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        567      507       60        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       1851     1845        6        0
*
*  Solve m using MINLP minimizing objvar;


Variables  x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19
          ,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36
          ,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53
          ,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69,x70
          ,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86,x87
          ,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102,x103
          ,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115,x116
          ,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128,x129
          ,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141,x142
          ,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154,x155
          ,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167,x168
          ,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180,x181
          ,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193,x194
          ,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206,x207
          ,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220
          ,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233
          ,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246
          ,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259
          ,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272
          ,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285
          ,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298
          ,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311
          ,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324
          ,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337
          ,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350
          ,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363
          ,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376
          ,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389
          ,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402
          ,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415
          ,x416,x417,x418,x419,x420,x421,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,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493
          ,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506
          ,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518,b519
          ,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531,b532
          ,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544,b545
          ,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557,b558
          ,b559,b560,b561,b562,b563,b564,b565,b566,objvar;

Positive Variables  x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x25,x26,x27,x28,x29
          ,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46
          ,x47,x48,x49,x50,x51,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63
          ,x64,x65,x66,x67,x68,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80
          ,x81,x82,x83,x84,x85,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97
          ,x98,x99,x100,x101,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111
          ,x112,x113,x114,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124
          ,x125,x126,x127,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137
          ,x138,x139,x140,x141,x142,x143,x144,x145,x146,x147,x148,x149,x150
          ,x151,x152,x153,x154,x155,x156,x157,x158,x159,x160,x161,x162,x163
          ,x164,x165,x166,x167,x168,x169,x170,x171,x172,x173,x174,x175,x176
          ,x177,x178,x179,x180,x181,x182,x183,x184,x185,x186,x187,x188,x189
          ,x190,x191,x192,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202
          ,x203,x204,x205,x206,x207,x208,x209,x210,x211,x212,x213,x214,x215
          ,x216,x217,x218,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228
          ,x229,x230,x231,x232,x233,x234,x235,x236,x237,x238,x239,x240,x241
          ,x242,x243,x244,x245,x246,x247,x248,x249,x250,x251,x252,x253,x254
          ,x255,x256,x257,x258,x259,x260,x261,x262,x263,x264,x265,x266,x267
          ,x268,x269,x270,x271,x272,x273,x274,x275,x276,x277,x278,x279,x280
          ,x281,x282,x283,x284,x285,x286,x287,x288,x289,x290,x291,x292,x293
          ,x294,x295,x296,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306
          ,x307,x308,x309,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319
          ,x320,x321,x322,x323,x324,x325,x326,x327,x328,x329,x330,x331,x332
          ,x333,x334,x335,x336,x337,x338,x339,x340,x341,x342,x343,x344,x345
          ,x346,x347,x348,x349,x350,x351,x352,x353,x354,x355,x356,x357,x358
          ,x359,x360,x361,x362,x363,x364,x365,x366,x367,x368,x369,x370,x371
          ,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381,x382,x383,x384
          ,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397
          ,x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410
          ,x411,x412,x413,x414,x415,x416,x417,x418,x419,x420,x421,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,x482,x483,x484,x485,x486,x487,x488
          ,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501
          ,x502,x503,x504,x505,x506;

Binary Variables  b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518
          ,b519,b520,b521,b522,b523,b524,b525,b526,b527,b528,b529,b530,b531
          ,b532,b533,b534,b535,b536,b537,b538,b539,b540,b541,b542,b543,b544
          ,b545,b546,b547,b548,b549,b550,b551,b552,b553,b554,b555,b556,b557
          ,b558,b559,b560,b561,b562,b563,b564,b565,b566;

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;


e1..  - 2*x25 - 2*x26 + objvar =E= 0;

e2..  - x1 - x13 + x25 =G= 0;

e3..  - x2 - x14 + x25 =G= 0;

e4..  - x3 - x15 + x25 =G= 0;

e5..  - x4 - x16 + x25 =G= 0;

e6..  - x5 - x17 + x25 =G= 0;

e7..  - x6 - x18 + x25 =G= 0;

e8..  - x7 - x19 + x26 =G= 0;

e9..  - x8 - x20 + x26 =G= 0;

e10..  - x9 - x21 + x26 =G= 0;

e11..  - x10 - x22 + x26 =G= 0;

e12..  - x11 - x23 + x26 =G= 0;

e13..  - x12 - x24 + x26 =G= 0;

e14.. 40/x19 - x13 =L= 0;

e15.. 50/x20 - x14 =L= 0;

e16.. 60/x21 - x15 =L= 0;

e17.. 35/x22 - x16 =L= 0;

e18.. 75/x23 - x17 =L= 0;

e19.. 20/x24 - x18 =L= 0;

e20..    x1 - x27 - x32 - x37 - x42 =E= 0;

e21..    x1 - x28 - x33 - x38 - x43 =E= 0;

e22..    x1 - x29 - x34 - x39 - x44 =E= 0;

e23..    x1 - x30 - x35 - x40 - x45 =E= 0;

e24..    x1 - x31 - x36 - x41 - x46 =E= 0;

e25..    x2 - x47 - x52 - x57 - x62 =E= 0;

e26..    x2 - x48 - x53 - x58 - x63 =E= 0;

e27..    x2 - x49 - x54 - x59 - x64 =E= 0;

e28..    x2 - x50 - x55 - x60 - x65 =E= 0;

e29..    x2 - x51 - x56 - x61 - x66 =E= 0;

e30..    x3 - x67 - x72 - x77 - x82 =E= 0;

e31..    x3 - x68 - x73 - x78 - x83 =E= 0;

e32..    x3 - x69 - x74 - x79 - x84 =E= 0;

e33..    x3 - x70 - x75 - x80 - x85 =E= 0;

e34..    x3 - x71 - x76 - x81 - x86 =E= 0;

e35..    x4 - x87 - x92 - x97 - x102 =E= 0;

e36..    x4 - x88 - x93 - x98 - x103 =E= 0;

e37..    x4 - x89 - x94 - x99 - x104 =E= 0;

e38..    x4 - x90 - x95 - x100 - x105 =E= 0;

e39..    x4 - x91 - x96 - x101 - x106 =E= 0;

e40..    x5 - x107 - x112 - x117 - x122 =E= 0;

e41..    x5 - x108 - x113 - x118 - x123 =E= 0;

e42..    x5 - x109 - x114 - x119 - x124 =E= 0;

e43..    x5 - x110 - x115 - x120 - x125 =E= 0;

e44..    x5 - x111 - x116 - x121 - x126 =E= 0;

e45..    x6 - x127 - x132 - x137 - x142 =E= 0;

e46..    x6 - x128 - x133 - x138 - x143 =E= 0;

e47..    x6 - x129 - x134 - x139 - x144 =E= 0;

e48..    x6 - x130 - x135 - x140 - x145 =E= 0;

e49..    x6 - x131 - x136 - x141 - x146 =E= 0;

e50..    x7 - x147 - x152 - x157 - x162 =E= 0;

e51..    x7 - x148 - x153 - x158 - x163 =E= 0;

e52..    x7 - x149 - x154 - x159 - x164 =E= 0;

e53..    x7 - x150 - x155 - x160 - x165 =E= 0;

e54..    x7 - x151 - x156 - x161 - x166 =E= 0;

e55..    x8 - x167 - x172 - x177 - x182 =E= 0;

e56..    x8 - x168 - x173 - x178 - x183 =E= 0;

e57..    x8 - x169 - x174 - x179 - x184 =E= 0;

e58..    x8 - x170 - x175 - x180 - x185 =E= 0;

e59..    x8 - x171 - x176 - x181 - x186 =E= 0;

e60..    x9 - x187 - x192 - x197 - x202 =E= 0;

e61..    x9 - x188 - x193 - x198 - x203 =E= 0;

e62..    x9 - x189 - x194 - x199 - x204 =E= 0;

e63..    x9 - x190 - x195 - x200 - x205 =E= 0;

e64..    x9 - x191 - x196 - x201 - x206 =E= 0;

e65..    x10 - x207 - x212 - x217 - x222 =E= 0;

e66..    x10 - x208 - x213 - x218 - x223 =E= 0;

e67..    x10 - x209 - x214 - x219 - x224 =E= 0;

e68..    x10 - x210 - x215 - x220 - x225 =E= 0;

e69..    x10 - x211 - x216 - x221 - x226 =E= 0;

e70..    x11 - x227 - x232 - x237 - x242 =E= 0;

e71..    x11 - x228 - x233 - x238 - x243 =E= 0;

e72..    x11 - x229 - x234 - x239 - x244 =E= 0;

e73..    x11 - x230 - x235 - x240 - x245 =E= 0;

e74..    x11 - x231 - x236 - x241 - x246 =E= 0;

e75..    x12 - x247 - x252 - x257 - x262 =E= 0;

e76..    x12 - x248 - x253 - x258 - x263 =E= 0;

e77..    x12 - x249 - x254 - x259 - x264 =E= 0;

e78..    x12 - x250 - x255 - x260 - x265 =E= 0;

e79..    x12 - x251 - x256 - x261 - x266 =E= 0;

e80..    x13 - x267 - x272 - x277 - x282 =E= 0;

e81..    x13 - x268 - x273 - x278 - x283 =E= 0;

e82..    x13 - x269 - x274 - x279 - x284 =E= 0;

e83..    x13 - x270 - x275 - x280 - x285 =E= 0;

e84..    x13 - x271 - x276 - x281 - x286 =E= 0;

e85..    x14 - x287 - x292 - x297 - x302 =E= 0;

e86..    x14 - x288 - x293 - x298 - x303 =E= 0;

e87..    x14 - x289 - x294 - x299 - x304 =E= 0;

e88..    x14 - x290 - x295 - x300 - x305 =E= 0;

e89..    x14 - x291 - x296 - x301 - x306 =E= 0;

e90..    x15 - x307 - x312 - x317 - x322 =E= 0;

e91..    x15 - x308 - x313 - x318 - x323 =E= 0;

e92..    x15 - x309 - x314 - x319 - x324 =E= 0;

e93..    x15 - x310 - x315 - x320 - x325 =E= 0;

e94..    x15 - x311 - x316 - x321 - x326 =E= 0;

e95..    x16 - x327 - x332 - x337 - x342 =E= 0;

e96..    x16 - x328 - x333 - x338 - x343 =E= 0;

e97..    x16 - x329 - x334 - x339 - x344 =E= 0;

e98..    x16 - x330 - x335 - x340 - x345 =E= 0;

e99..    x16 - x331 - x336 - x341 - x346 =E= 0;

e100..    x17 - x347 - x352 - x357 - x362 =E= 0;

e101..    x17 - x348 - x353 - x358 - x363 =E= 0;

e102..    x17 - x349 - x354 - x359 - x364 =E= 0;

e103..    x17 - x350 - x355 - x360 - x365 =E= 0;

e104..    x17 - x351 - x356 - x361 - x366 =E= 0;

e105..    x18 - x367 - x372 - x377 - x382 =E= 0;

e106..    x18 - x368 - x373 - x378 - x383 =E= 0;

e107..    x18 - x369 - x374 - x379 - x384 =E= 0;

e108..    x18 - x370 - x375 - x380 - x385 =E= 0;

e109..    x18 - x371 - x376 - x381 - x386 =E= 0;

e110..    x19 - x387 - x392 - x397 - x402 =E= 0;

e111..    x19 - x388 - x393 - x398 - x403 =E= 0;

e112..    x19 - x389 - x394 - x399 - x404 =E= 0;

e113..    x19 - x390 - x395 - x400 - x405 =E= 0;

e114..    x19 - x391 - x396 - x401 - x406 =E= 0;

e115..    x20 - x407 - x412 - x417 - x422 =E= 0;

e116..    x20 - x408 - x413 - x418 - x423 =E= 0;

e117..    x20 - x409 - x414 - x419 - x424 =E= 0;

e118..    x20 - x410 - x415 - x420 - x425 =E= 0;

e119..    x20 - x411 - x416 - x421 - x426 =E= 0;

e120..    x21 - x427 - x432 - x437 - x442 =E= 0;

e121..    x21 - x428 - x433 - x438 - x443 =E= 0;

e122..    x21 - x429 - x434 - x439 - x444 =E= 0;

e123..    x21 - x430 - x435 - x440 - x445 =E= 0;

e124..    x21 - x431 - x436 - x441 - x446 =E= 0;

e125..    x22 - x447 - x452 - x457 - x462 =E= 0;

e126..    x22 - x448 - x453 - x458 - x463 =E= 0;

e127..    x22 - x449 - x454 - x459 - x464 =E= 0;

e128..    x22 - x450 - x455 - x460 - x465 =E= 0;

e129..    x22 - x451 - x456 - x461 - x466 =E= 0;

e130..    x23 - x467 - x472 - x477 - x482 =E= 0;

e131..    x23 - x468 - x473 - x478 - x483 =E= 0;

e132..    x23 - x469 - x474 - x479 - x484 =E= 0;

e133..    x23 - x470 - x475 - x480 - x485 =E= 0;

e134..    x23 - x471 - x476 - x481 - x486 =E= 0;

e135..    x24 - x487 - x492 - x497 - x502 =E= 0;

e136..    x24 - x488 - x493 - x498 - x503 =E= 0;

e137..    x24 - x489 - x494 - x499 - x504 =E= 0;

e138..    x24 - x490 - x495 - x500 - x505 =E= 0;

e139..    x24 - x491 - x496 - x501 - x506 =E= 0;

e140..    x27 - 29*b507 =L= 0;

e141..    x28 - 29*b508 =L= 0;

e142..    x29 - 29*b509 =L= 0;

e143..    x30 - 29*b510 =L= 0;

e144..    x31 - 29*b511 =L= 0;

e145..    x32 - 29*b522 =L= 0;

e146..    x33 - 29*b523 =L= 0;

e147..    x34 - 29*b524 =L= 0;

e148..    x35 - 29*b525 =L= 0;

e149..    x36 - 29*b526 =L= 0;

e150..    x37 - 29*b537 =L= 0;

e151..    x38 - 29*b538 =L= 0;

e152..    x39 - 29*b539 =L= 0;

e153..    x40 - 29*b540 =L= 0;

e154..    x41 - 29*b541 =L= 0;

e155..    x42 - 29*b552 =L= 0;

e156..    x43 - 29*b553 =L= 0;

e157..    x44 - 29*b554 =L= 0;

e158..    x45 - 29*b555 =L= 0;

e159..    x46 - 29*b556 =L= 0;

e160..    x47 - 29*b507 =L= 0;

e161..    x48 - 29*b512 =L= 0;

e162..    x49 - 29*b513 =L= 0;

e163..    x50 - 29*b514 =L= 0;

e164..    x51 - 29*b515 =L= 0;

e165..    x52 - 29*b522 =L= 0;

e166..    x53 - 29*b527 =L= 0;

e167..    x54 - 29*b528 =L= 0;

e168..    x55 - 29*b529 =L= 0;

e169..    x56 - 29*b530 =L= 0;

e170..    x57 - 29*b537 =L= 0;

e171..    x58 - 29*b542 =L= 0;

e172..    x59 - 29*b543 =L= 0;

e173..    x60 - 29*b544 =L= 0;

e174..    x61 - 29*b545 =L= 0;

e175..    x62 - 29*b552 =L= 0;

e176..    x63 - 29*b557 =L= 0;

e177..    x64 - 29*b558 =L= 0;

e178..    x65 - 29*b559 =L= 0;

e179..    x66 - 29*b560 =L= 0;

e180..    x67 - 29*b508 =L= 0;

e181..    x68 - 29*b512 =L= 0;

e182..    x69 - 29*b516 =L= 0;

e183..    x70 - 29*b517 =L= 0;

e184..    x71 - 29*b518 =L= 0;

e185..    x72 - 29*b523 =L= 0;

e186..    x73 - 29*b527 =L= 0;

e187..    x74 - 29*b531 =L= 0;

e188..    x75 - 29*b532 =L= 0;

e189..    x76 - 29*b533 =L= 0;

e190..    x77 - 29*b538 =L= 0;

e191..    x78 - 29*b542 =L= 0;

e192..    x79 - 29*b546 =L= 0;

e193..    x80 - 29*b547 =L= 0;

e194..    x81 - 29*b548 =L= 0;

e195..    x82 - 29*b553 =L= 0;

e196..    x83 - 29*b557 =L= 0;

e197..    x84 - 29*b561 =L= 0;

e198..    x85 - 29*b562 =L= 0;

e199..    x86 - 29*b563 =L= 0;

e200..    x87 - 29*b509 =L= 0;

e201..    x88 - 29*b513 =L= 0;

e202..    x89 - 29*b516 =L= 0;

e203..    x90 - 29*b519 =L= 0;

e204..    x91 - 29*b520 =L= 0;

e205..    x92 - 29*b524 =L= 0;

e206..    x93 - 29*b528 =L= 0;

e207..    x94 - 29*b531 =L= 0;

e208..    x95 - 29*b534 =L= 0;

e209..    x96 - 29*b535 =L= 0;

e210..    x97 - 29*b539 =L= 0;

e211..    x98 - 29*b543 =L= 0;

e212..    x99 - 29*b546 =L= 0;

e213..    x100 - 29*b549 =L= 0;

e214..    x101 - 29*b550 =L= 0;

e215..    x102 - 29*b554 =L= 0;

e216..    x103 - 29*b558 =L= 0;

e217..    x104 - 29*b561 =L= 0;

e218..    x105 - 29*b564 =L= 0;

e219..    x106 - 29*b565 =L= 0;

e220..    x107 - 29*b510 =L= 0;

e221..    x108 - 29*b514 =L= 0;

e222..    x109 - 29*b517 =L= 0;

e223..    x110 - 29*b519 =L= 0;

e224..    x111 - 29*b521 =L= 0;

e225..    x112 - 29*b525 =L= 0;

e226..    x113 - 29*b529 =L= 0;

e227..    x114 - 29*b532 =L= 0;

e228..    x115 - 29*b534 =L= 0;

e229..    x116 - 29*b536 =L= 0;

e230..    x117 - 29*b540 =L= 0;

e231..    x118 - 29*b544 =L= 0;

e232..    x119 - 29*b547 =L= 0;

e233..    x120 - 29*b549 =L= 0;

e234..    x121 - 29*b551 =L= 0;

e235..    x122 - 29*b555 =L= 0;

e236..    x123 - 29*b559 =L= 0;

e237..    x124 - 29*b562 =L= 0;

e238..    x125 - 29*b564 =L= 0;

e239..    x126 - 29*b566 =L= 0;

e240..    x127 - 29*b511 =L= 0;

e241..    x128 - 29*b515 =L= 0;

e242..    x129 - 29*b518 =L= 0;

e243..    x130 - 29*b520 =L= 0;

e244..    x131 - 29*b521 =L= 0;

e245..    x132 - 29*b526 =L= 0;

e246..    x133 - 29*b530 =L= 0;

e247..    x134 - 29*b533 =L= 0;

e248..    x135 - 29*b535 =L= 0;

e249..    x136 - 29*b536 =L= 0;

e250..    x137 - 29*b541 =L= 0;

e251..    x138 - 29*b545 =L= 0;

e252..    x139 - 29*b548 =L= 0;

e253..    x140 - 29*b550 =L= 0;

e254..    x141 - 29*b551 =L= 0;

e255..    x142 - 29*b556 =L= 0;

e256..    x143 - 29*b560 =L= 0;

e257..    x144 - 29*b563 =L= 0;

e258..    x145 - 29*b565 =L= 0;

e259..    x146 - 29*b566 =L= 0;

e260..    x147 - 29*b507 =L= 0;

e261..    x148 - 29*b508 =L= 0;

e262..    x149 - 29*b509 =L= 0;

e263..    x150 - 29*b510 =L= 0;

e264..    x151 - 29*b511 =L= 0;

e265..    x152 - 29*b522 =L= 0;

e266..    x153 - 29*b523 =L= 0;

e267..    x154 - 29*b524 =L= 0;

e268..    x155 - 29*b525 =L= 0;

e269..    x156 - 29*b526 =L= 0;

e270..    x157 - 29*b537 =L= 0;

e271..    x158 - 29*b538 =L= 0;

e272..    x159 - 29*b539 =L= 0;

e273..    x160 - 29*b540 =L= 0;

e274..    x161 - 29*b541 =L= 0;

e275..    x162 - 29*b552 =L= 0;

e276..    x163 - 29*b553 =L= 0;

e277..    x164 - 29*b554 =L= 0;

e278..    x165 - 29*b555 =L= 0;

e279..    x166 - 29*b556 =L= 0;

e280..    x167 - 29*b507 =L= 0;

e281..    x168 - 29*b512 =L= 0;

e282..    x169 - 29*b513 =L= 0;

e283..    x170 - 29*b514 =L= 0;

e284..    x171 - 29*b515 =L= 0;

e285..    x172 - 29*b522 =L= 0;

e286..    x173 - 29*b527 =L= 0;

e287..    x174 - 29*b528 =L= 0;

e288..    x175 - 29*b529 =L= 0;

e289..    x176 - 29*b530 =L= 0;

e290..    x177 - 29*b537 =L= 0;

e291..    x178 - 29*b542 =L= 0;

e292..    x179 - 29*b543 =L= 0;

e293..    x180 - 29*b544 =L= 0;

e294..    x181 - 29*b545 =L= 0;

e295..    x182 - 29*b552 =L= 0;

e296..    x183 - 29*b557 =L= 0;

e297..    x184 - 29*b558 =L= 0;

e298..    x185 - 29*b559 =L= 0;

e299..    x186 - 29*b560 =L= 0;

e300..    x187 - 29*b508 =L= 0;

e301..    x188 - 29*b512 =L= 0;

e302..    x189 - 29*b516 =L= 0;

e303..    x190 - 29*b517 =L= 0;

e304..    x191 - 29*b518 =L= 0;

e305..    x192 - 29*b523 =L= 0;

e306..    x193 - 29*b527 =L= 0;

e307..    x194 - 29*b531 =L= 0;

e308..    x195 - 29*b532 =L= 0;

e309..    x196 - 29*b533 =L= 0;

e310..    x197 - 29*b538 =L= 0;

e311..    x198 - 29*b542 =L= 0;

e312..    x199 - 29*b546 =L= 0;

e313..    x200 - 29*b547 =L= 0;

e314..    x201 - 29*b548 =L= 0;

e315..    x202 - 29*b553 =L= 0;

e316..    x203 - 29*b557 =L= 0;

e317..    x204 - 29*b561 =L= 0;

e318..    x205 - 29*b562 =L= 0;

e319..    x206 - 29*b563 =L= 0;

e320..    x207 - 29*b509 =L= 0;

e321..    x208 - 29*b513 =L= 0;

e322..    x209 - 29*b516 =L= 0;

e323..    x210 - 29*b519 =L= 0;

e324..    x211 - 29*b520 =L= 0;

e325..    x212 - 29*b524 =L= 0;

e326..    x213 - 29*b528 =L= 0;

e327..    x214 - 29*b531 =L= 0;

e328..    x215 - 29*b534 =L= 0;

e329..    x216 - 29*b535 =L= 0;

e330..    x217 - 29*b539 =L= 0;

e331..    x218 - 29*b543 =L= 0;

e332..    x219 - 29*b546 =L= 0;

e333..    x220 - 29*b549 =L= 0;

e334..    x221 - 29*b550 =L= 0;

e335..    x222 - 29*b554 =L= 0;

e336..    x223 - 29*b558 =L= 0;

e337..    x224 - 29*b561 =L= 0;

e338..    x225 - 29*b564 =L= 0;

e339..    x226 - 29*b565 =L= 0;

e340..    x227 - 29*b510 =L= 0;

e341..    x228 - 29*b514 =L= 0;

e342..    x229 - 29*b517 =L= 0;

e343..    x230 - 29*b519 =L= 0;

e344..    x231 - 29*b521 =L= 0;

e345..    x232 - 29*b525 =L= 0;

e346..    x233 - 29*b529 =L= 0;

e347..    x234 - 29*b532 =L= 0;

e348..    x235 - 29*b534 =L= 0;

e349..    x236 - 29*b536 =L= 0;

e350..    x237 - 29*b540 =L= 0;

e351..    x238 - 29*b544 =L= 0;

e352..    x239 - 29*b547 =L= 0;

e353..    x240 - 29*b549 =L= 0;

e354..    x241 - 29*b551 =L= 0;

e355..    x242 - 29*b555 =L= 0;

e356..    x243 - 29*b559 =L= 0;

e357..    x244 - 29*b562 =L= 0;

e358..    x245 - 29*b564 =L= 0;

e359..    x246 - 29*b566 =L= 0;

e360..    x247 - 29*b511 =L= 0;

e361..    x248 - 29*b515 =L= 0;

e362..    x249 - 29*b518 =L= 0;

e363..    x250 - 29*b520 =L= 0;

e364..    x251 - 29*b521 =L= 0;

e365..    x252 - 29*b526 =L= 0;

e366..    x253 - 29*b530 =L= 0;

e367..    x254 - 29*b533 =L= 0;

e368..    x255 - 29*b535 =L= 0;

e369..    x256 - 29*b536 =L= 0;

e370..    x257 - 29*b541 =L= 0;

e371..    x258 - 29*b545 =L= 0;

e372..    x259 - 29*b548 =L= 0;

e373..    x260 - 29*b550 =L= 0;

e374..    x261 - 29*b551 =L= 0;

e375..    x262 - 29*b556 =L= 0;

e376..    x263 - 29*b560 =L= 0;

e377..    x264 - 29*b563 =L= 0;

e378..    x265 - 29*b565 =L= 0;

e379..    x266 - 29*b566 =L= 0;

e380..    x267 - 40*b507 =L= 0;

e381..    x268 - 40*b508 =L= 0;

e382..    x269 - 40*b509 =L= 0;

e383..    x270 - 40*b510 =L= 0;

e384..    x271 - 40*b511 =L= 0;

e385..    x272 - 40*b522 =L= 0;

e386..    x273 - 40*b523 =L= 0;

e387..    x274 - 40*b524 =L= 0;

e388..    x275 - 40*b525 =L= 0;

e389..    x276 - 40*b526 =L= 0;

e390..    x277 - 40*b537 =L= 0;

e391..    x278 - 40*b538 =L= 0;

e392..    x279 - 40*b539 =L= 0;

e393..    x280 - 40*b540 =L= 0;

e394..    x281 - 40*b541 =L= 0;

e395..    x282 - 40*b552 =L= 0;

e396..    x283 - 40*b553 =L= 0;

e397..    x284 - 40*b554 =L= 0;

e398..    x285 - 40*b555 =L= 0;

e399..    x286 - 40*b556 =L= 0;

e400..    x287 - 40*b507 =L= 0;

e401..    x288 - 50*b512 =L= 0;

e402..    x289 - 50*b513 =L= 0;

e403..    x290 - 50*b514 =L= 0;

e404..    x291 - 50*b515 =L= 0;

e405..    x292 - 40*b522 =L= 0;

e406..    x293 - 50*b527 =L= 0;

e407..    x294 - 50*b528 =L= 0;

e408..    x295 - 50*b529 =L= 0;

e409..    x296 - 50*b530 =L= 0;

e410..    x297 - 40*b537 =L= 0;

e411..    x298 - 50*b542 =L= 0;

e412..    x299 - 50*b543 =L= 0;

e413..    x300 - 50*b544 =L= 0;

e414..    x301 - 50*b545 =L= 0;

e415..    x302 - 40*b552 =L= 0;

e416..    x303 - 50*b557 =L= 0;

e417..    x304 - 50*b558 =L= 0;

e418..    x305 - 50*b559 =L= 0;

e419..    x306 - 50*b560 =L= 0;

e420..    x307 - 40*b508 =L= 0;

e421..    x308 - 50*b512 =L= 0;

e422..    x309 - 60*b516 =L= 0;

e423..    x310 - 60*b517 =L= 0;

e424..    x311 - 60*b518 =L= 0;

e425..    x312 - 40*b523 =L= 0;

e426..    x313 - 50*b527 =L= 0;

e427..    x314 - 60*b531 =L= 0;

e428..    x315 - 60*b532 =L= 0;

e429..    x316 - 60*b533 =L= 0;

e430..    x317 - 40*b538 =L= 0;

e431..    x318 - 50*b542 =L= 0;

e432..    x319 - 60*b546 =L= 0;

e433..    x320 - 60*b547 =L= 0;

e434..    x321 - 60*b548 =L= 0;

e435..    x322 - 40*b553 =L= 0;

e436..    x323 - 50*b557 =L= 0;

e437..    x324 - 60*b561 =L= 0;

e438..    x325 - 60*b562 =L= 0;

e439..    x326 - 60*b563 =L= 0;

e440..    x327 - 40*b509 =L= 0;

e441..    x328 - 50*b513 =L= 0;

e442..    x329 - 60*b516 =L= 0;

e443..    x330 - 35*b519 =L= 0;

e444..    x331 - 35*b520 =L= 0;

e445..    x332 - 40*b524 =L= 0;

e446..    x333 - 50*b528 =L= 0;

e447..    x334 - 60*b531 =L= 0;

e448..    x335 - 35*b534 =L= 0;

e449..    x336 - 35*b535 =L= 0;

e450..    x337 - 40*b539 =L= 0;

e451..    x338 - 50*b543 =L= 0;

e452..    x339 - 60*b546 =L= 0;

e453..    x340 - 35*b549 =L= 0;

e454..    x341 - 35*b550 =L= 0;

e455..    x342 - 40*b554 =L= 0;

e456..    x343 - 50*b558 =L= 0;

e457..    x344 - 60*b561 =L= 0;

e458..    x345 - 35*b564 =L= 0;

e459..    x346 - 35*b565 =L= 0;

e460..    x347 - 40*b510 =L= 0;

e461..    x348 - 50*b514 =L= 0;

e462..    x349 - 60*b517 =L= 0;

e463..    x350 - 35*b519 =L= 0;

e464..    x351 - 75*b521 =L= 0;

e465..    x352 - 40*b525 =L= 0;

e466..    x353 - 50*b529 =L= 0;

e467..    x354 - 60*b532 =L= 0;

e468..    x355 - 35*b534 =L= 0;

e469..    x356 - 75*b536 =L= 0;

e470..    x357 - 40*b540 =L= 0;

e471..    x358 - 50*b544 =L= 0;

e472..    x359 - 60*b547 =L= 0;

e473..    x360 - 35*b549 =L= 0;

e474..    x361 - 75*b551 =L= 0;

e475..    x362 - 40*b555 =L= 0;

e476..    x363 - 50*b559 =L= 0;

e477..    x364 - 60*b562 =L= 0;

e478..    x365 - 35*b564 =L= 0;

e479..    x366 - 75*b566 =L= 0;

e480..    x367 - 40*b511 =L= 0;

e481..    x368 - 50*b515 =L= 0;

e482..    x369 - 60*b518 =L= 0;

e483..    x370 - 35*b520 =L= 0;

e484..    x371 - 75*b521 =L= 0;

e485..    x372 - 40*b526 =L= 0;

e486..    x373 - 50*b530 =L= 0;

e487..    x374 - 60*b533 =L= 0;

e488..    x375 - 35*b535 =L= 0;

e489..    x376 - 75*b536 =L= 0;

e490..    x377 - 40*b541 =L= 0;

e491..    x378 - 50*b545 =L= 0;

e492..    x379 - 60*b548 =L= 0;

e493..    x380 - 35*b550 =L= 0;

e494..    x381 - 75*b551 =L= 0;

e495..    x382 - 40*b556 =L= 0;

e496..    x383 - 50*b560 =L= 0;

e497..    x384 - 60*b563 =L= 0;

e498..    x385 - 35*b565 =L= 0;

e499..    x386 - 75*b566 =L= 0;

e500..    x387 - 40*b507 =L= 0;

e501..    x388 - 40*b508 =L= 0;

e502..    x389 - 40*b509 =L= 0;

e503..    x390 - 40*b510 =L= 0;

e504..    x391 - 40*b511 =L= 0;

e505..    x392 - 40*b522 =L= 0;

e506..    x393 - 40*b523 =L= 0;

e507..    x394 - 40*b524 =L= 0;

e508..    x395 - 40*b525 =L= 0;

e509..    x396 - 40*b526 =L= 0;

e510..    x397 - 40*b537 =L= 0;

e511..    x398 - 40*b538 =L= 0;

e512..    x399 - 40*b539 =L= 0;

e513..    x400 - 40*b540 =L= 0;

e514..    x401 - 40*b541 =L= 0;

e515..    x402 - 40*b552 =L= 0;

e516..    x403 - 40*b553 =L= 0;

e517..    x404 - 40*b554 =L= 0;

e518..    x405 - 40*b555 =L= 0;

e519..    x406 - 40*b556 =L= 0;

e520..    x407 - 40*b507 =L= 0;

e521..    x408 - 50*b512 =L= 0;

e522..    x409 - 50*b513 =L= 0;

e523..    x410 - 50*b514 =L= 0;

e524..    x411 - 50*b515 =L= 0;

e525..    x412 - 40*b522 =L= 0;

e526..    x413 - 50*b527 =L= 0;

e527..    x414 - 50*b528 =L= 0;

e528..    x415 - 50*b529 =L= 0;

e529..    x416 - 50*b530 =L= 0;

e530..    x417 - 40*b537 =L= 0;

e531..    x418 - 50*b542 =L= 0;

e532..    x419 - 50*b543 =L= 0;

e533..    x420 - 50*b544 =L= 0;

e534..    x421 - 50*b545 =L= 0;

e535..    x422 - 40*b552 =L= 0;

e536..    x423 - 50*b557 =L= 0;

e537..    x424 - 50*b558 =L= 0;

e538..    x425 - 50*b559 =L= 0;

e539..    x426 - 50*b560 =L= 0;

e540..    x427 - 40*b508 =L= 0;

e541..    x428 - 50*b512 =L= 0;

e542..    x429 - 60*b516 =L= 0;

e543..    x430 - 60*b517 =L= 0;

e544..    x431 - 60*b518 =L= 0;

e545..    x432 - 40*b523 =L= 0;

e546..    x433 - 50*b527 =L= 0;

e547..    x434 - 60*b531 =L= 0;

e548..    x435 - 60*b532 =L= 0;

e549..    x436 - 60*b533 =L= 0;

e550..    x437 - 40*b538 =L= 0;

e551..    x438 - 50*b542 =L= 0;

e552..    x439 - 60*b546 =L= 0;

e553..    x440 - 60*b547 =L= 0;

e554..    x441 - 60*b548 =L= 0;

e555..    x442 - 40*b553 =L= 0;

e556..    x443 - 50*b557 =L= 0;

e557..    x444 - 60*b561 =L= 0;

e558..    x445 - 60*b562 =L= 0;

e559..    x446 - 60*b563 =L= 0;

e560..    x447 - 40*b509 =L= 0;

e561..    x448 - 50*b513 =L= 0;

e562..    x449 - 60*b516 =L= 0;

e563..    x450 - 35*b519 =L= 0;

e564..    x451 - 35*b520 =L= 0;

e565..    x452 - 40*b524 =L= 0;

e566..    x453 - 50*b528 =L= 0;

e567..    x454 - 60*b531 =L= 0;

e568..    x455 - 35*b534 =L= 0;

e569..    x456 - 35*b535 =L= 0;

e570..    x457 - 40*b539 =L= 0;

e571..    x458 - 50*b543 =L= 0;

e572..    x459 - 60*b546 =L= 0;

e573..    x460 - 35*b549 =L= 0;

e574..    x461 - 35*b550 =L= 0;

e575..    x462 - 40*b554 =L= 0;

e576..    x463 - 50*b558 =L= 0;

e577..    x464 - 60*b561 =L= 0;

e578..    x465 - 35*b564 =L= 0;

e579..    x466 - 35*b565 =L= 0;

e580..    x467 - 40*b510 =L= 0;

e581..    x468 - 50*b514 =L= 0;

e582..    x469 - 60*b517 =L= 0;

e583..    x470 - 35*b519 =L= 0;

e584..    x471 - 75*b521 =L= 0;

e585..    x472 - 40*b525 =L= 0;

e586..    x473 - 50*b529 =L= 0;

e587..    x474 - 60*b532 =L= 0;

e588..    x475 - 35*b534 =L= 0;

e589..    x476 - 75*b536 =L= 0;

e590..    x477 - 40*b540 =L= 0;

e591..    x478 - 50*b544 =L= 0;

e592..    x479 - 60*b547 =L= 0;

e593..    x480 - 35*b549 =L= 0;

e594..    x481 - 75*b551 =L= 0;

e595..    x482 - 40*b555 =L= 0;

e596..    x483 - 50*b559 =L= 0;

e597..    x484 - 60*b562 =L= 0;

e598..    x485 - 35*b564 =L= 0;

e599..    x486 - 75*b566 =L= 0;

e600..    x487 - 40*b511 =L= 0;

e601..    x488 - 50*b515 =L= 0;

e602..    x489 - 60*b518 =L= 0;

e603..    x490 - 35*b520 =L= 0;

e604..    x491 - 75*b521 =L= 0;

e605..    x492 - 40*b526 =L= 0;

e606..    x493 - 50*b530 =L= 0;

e607..    x494 - 60*b533 =L= 0;

e608..    x495 - 35*b535 =L= 0;

e609..    x496 - 75*b536 =L= 0;

e610..    x497 - 40*b541 =L= 0;

e611..    x498 - 50*b545 =L= 0;

e612..    x499 - 60*b548 =L= 0;

e613..    x500 - 35*b550 =L= 0;

e614..    x501 - 75*b551 =L= 0;

e615..    x502 - 40*b556 =L= 0;

e616..    x503 - 50*b560 =L= 0;

e617..    x504 - 60*b563 =L= 0;

e618..    x505 - 35*b565 =L= 0;

e619..    x506 - 75*b566 =L= 0;

e620..    x27 - x47 + x267 =L= 0;

e621..    x28 - x67 + x268 =L= 0;

e622..    x29 - x87 + x269 =L= 0;

e623..    x30 - x107 + x270 =L= 0;

e624..    x31 - x127 + x271 =L= 0;

e625..    x48 - x68 + x288 =L= 0;

e626..    x49 - x88 + x289 =L= 0;

e627..    x50 - x108 + x290 =L= 0;

e628..    x51 - x128 + x291 =L= 0;

e629..    x69 - x89 + x309 =L= 0;

e630..    x70 - x109 + x310 =L= 0;

e631..    x71 - x129 + x311 =L= 0;

e632..    x90 - x110 + x330 =L= 0;

e633..    x91 - x130 + x331 =L= 0;

e634..    x111 - x131 + x351 =L= 0;

e635..  - x32 + x52 + x292 =L= 0;

e636..  - x33 + x72 + x312 =L= 0;

e637..  - x34 + x92 + x332 =L= 0;

e638..  - x35 + x112 + x352 =L= 0;

e639..  - x36 + x132 + x372 =L= 0;

e640..  - x53 + x73 + x313 =L= 0;

e641..  - x54 + x93 + x333 =L= 0;

e642..  - x55 + x113 + x353 =L= 0;

e643..  - x56 + x133 + x373 =L= 0;

e644..  - x74 + x94 + x334 =L= 0;

e645..  - x75 + x114 + x354 =L= 0;

e646..  - x76 + x134 + x374 =L= 0;

e647..  - x95 + x115 + x355 =L= 0;

e648..  - x96 + x135 + x375 =L= 0;

e649..  - x116 + x136 + x376 =L= 0;

e650..    x157 - x177 + x397 =L= 0;

e651..    x158 - x197 + x398 =L= 0;

e652..    x159 - x217 + x399 =L= 0;

e653..    x160 - x237 + x400 =L= 0;

e654..    x161 - x257 + x401 =L= 0;

e655..    x178 - x198 + x418 =L= 0;

e656..    x179 - x218 + x419 =L= 0;

e657..    x180 - x238 + x420 =L= 0;

e658..    x181 - x258 + x421 =L= 0;

e659..    x199 - x219 + x439 =L= 0;

e660..    x200 - x239 + x440 =L= 0;

e661..    x201 - x259 + x441 =L= 0;

e662..    x220 - x240 + x460 =L= 0;

e663..    x221 - x260 + x461 =L= 0;

e664..    x241 - x261 + x481 =L= 0;

e665..  - x162 + x182 + x422 =L= 0;

e666..  - x163 + x202 + x442 =L= 0;

e667..  - x164 + x222 + x462 =L= 0;

e668..  - x165 + x242 + x482 =L= 0;

e669..  - x166 + x262 + x502 =L= 0;

e670..  - x183 + x203 + x443 =L= 0;

e671..  - x184 + x223 + x463 =L= 0;

e672..  - x185 + x243 + x483 =L= 0;

e673..  - x186 + x263 + x503 =L= 0;

e674..  - x204 + x224 + x464 =L= 0;

e675..  - x205 + x244 + x484 =L= 0;

e676..  - x206 + x264 + x504 =L= 0;

e677..  - x225 + x245 + x485 =L= 0;

e678..  - x226 + x265 + x505 =L= 0;

e679..  - x246 + x266 + x506 =L= 0;

e680..    b507 + b522 + b537 + b552 =E= 1;

e681..    b508 + b523 + b538 + b553 =E= 1;

e682..    b509 + b524 + b539 + b554 =E= 1;

e683..    b510 + b525 + b540 + b555 =E= 1;

e684..    b511 + b526 + b541 + b556 =E= 1;

e685..    b512 + b527 + b542 + b557 =E= 1;

e686..    b513 + b528 + b543 + b558 =E= 1;

e687..    b514 + b529 + b544 + b559 =E= 1;

e688..    b515 + b530 + b545 + b560 =E= 1;

e689..    b516 + b531 + b546 + b561 =E= 1;

e690..    b517 + b532 + b547 + b562 =E= 1;

e691..    b518 + b533 + b548 + b563 =E= 1;

e692..    b519 + b534 + b549 + b564 =E= 1;

e693..    b520 + b535 + b550 + b565 =E= 1;

e694..    b521 + b536 + b551 + b566 =E= 1;

* set non-default bounds
x1.up = 29;
x2.up = 29;
x3.up = 29;
x4.up = 29;
x5.up = 29;
x6.up = 29;
x7.up = 29;
x8.up = 29;
x9.up = 29;
x10.up = 29;
x11.up = 29;
x12.up = 29;
x13.lo = 1; x13.up = 40;
x14.lo = 1; x14.up = 50;
x15.lo = 1; x15.up = 60;
x16.lo = 1; x16.up = 35;
x17.lo = 1; x17.up = 75;
x18.lo = 1; x18.up = 20;
x19.lo = 1; x19.up = 40;
x20.lo = 1; x20.up = 50;
x21.lo = 1; x21.up = 60;
x22.lo = 1; x22.up = 35;
x23.lo = 1; x23.up = 75;
x24.lo = 1; x24.up = 20;
x25.up = 30;
x26.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% minimizing objvar;


Last updated: 2024-12-17 Git hash: 8eaceb91
Imprint / Privacy Policy / License: CC-BY 4.0