MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance rsyn0820m03m
Redesign of existing plants to increase throughput, reduce energy consumption, improve yields, and reduce waste generation. Given limited capital investments to make process improvements and cost estimations over a given time horizon, the problem is to identify the modifications that yield the highest economic improvement which is defined as the income from product sales minus the cost of raw materials, energy, and process modifications.
Formatsⓘ | ams gms mod nl osil py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | 2028.88950000 (ALPHAECP) 2028.81224700 (ANTIGONE) 2028.81190000 (AOA) 2028.81194500 (BARON) 5472.26520000 (BONMIN) 5947.50813400 (COUENNE) 2028.81194100 (LINDO) 2028.81243100 (SCIP) 2028.85498800 (SHOT) |
Referencesⓘ | Sawaya, Nicolas W, Reformulations, relaxations and cutting planes for generalized disjunctive programming, PhD thesis, Carnegie Mellon University, 2006. |
Sourceⓘ | RSyn0820M03M.gms from CMU-IBM MINLP solver project page |
Applicationⓘ | Retrofit Planning |
Added to libraryⓘ | 28 Sep 2013 |
Problem typeⓘ | MBNLP |
#Variablesⓘ | 765 |
#Binary Variablesⓘ | 312 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 42 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | max |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 207 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 1809 |
#Linear Constraintsⓘ | 1767 |
#Quadratic Constraintsⓘ | 0 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 42 |
Operands in Gen. Nonlin. Functionsⓘ | log |
Constraints curvatureⓘ | convex |
#Nonzeros in Jacobianⓘ | 4306 |
#Nonlinear Nonzeros in Jacobianⓘ | 42 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 42 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 42 |
#Blocks in Hessian of Lagrangianⓘ | 42 |
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ⓘ | 2.0000e-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 * 1810 259 402 1149 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 766 454 312 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 4514 4472 42 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,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,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,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401 ,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414 ,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427 ,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440 ,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,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,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518 ,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531 ,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544 ,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557 ,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570 ,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583 ,x584,x585,x586,b587,b588,b589,b590,b591,b592,b593,b594,b595,b596 ,b597,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,b609 ,b610,b611,b612,b613,b614,b615,b616,b617,b618,b619,b620,b621,b622 ,b623,b624,b625,b626,b627,b628,b629,b630,b631,b632,b633,b634,b635 ,b636,b637,b638,b639,b640,b641,b642,b643,b644,b645,b646,b647,b648 ,b649,b650,b651,b652,b653,b654,b655,b656,b657,b658,b659,b660,b661 ,b662,b663,b664,b665,b666,b667,b668,b669,b670,b671,b672,b673,b674 ,b675,b676,b677,b678,b679,b680,b681,b682,b683,b684,b685,b686,b687 ,b688,b689,b690,b691,b692,b693,b694,b695,b696,b697,b698,b699,b700 ,b701,b702,b703,b704,b705,b706,x707,x708,x709,x710,x711,x712,x713 ,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726 ,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739 ,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752 ,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765 ,x766; 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,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,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,x507,x508,x509,x510,x511,x512,x513,x514 ,x515,x516,x517,x518,x519,x520,x521,x522,x523,x524,x525,x526,x527 ,x528,x529,x530,x531,x532,x533,x534,x535,x536,x537,x538,x539,x540 ,x541,x542,x543,x544,x545,x546,x547,x548,x549,x550,x551,x552,x553 ,x554,x555,x556,x557,x558,x559,x560,x561,x562,x563,x564,x565,x566 ,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576,x577,x578,x579 ,x580,x581,x582,x583,x584,x585,x586; Binary Variables 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,b392,b393,b394,b395,b396,b397,b398,b399,b400,b401 ,b402,b403,b404,b405,b406,b407,b408,b409,b410,b411,b412,b413,b414 ,b415,b416,b417,b418,b419,b420,b421,b422,b423,b424,b425,b426,b427 ,b428,b429,b430,b431,b432,b433,b434,b435,b436,b437,b438,b439,b440 ,b441,b442,b443,b444,b445,b446,b447,b448,b449,b450,b451,b587,b588 ,b589,b590,b591,b592,b593,b594,b595,b596,b597,b598,b599,b600,b601 ,b602,b603,b604,b605,b606,b607,b608,b609,b610,b611,b612,b613,b614 ,b615,b616,b617,b618,b619,b620,b621,b622,b623,b624,b625,b626,b627 ,b628,b629,b630,b631,b632,b633,b634,b635,b636,b637,b638,b639,b640 ,b641,b642,b643,b644,b645,b646,b647,b648,b649,b650,b651,b652,b653 ,b654,b655,b656,b657,b658,b659,b660,b661,b662,b663,b664,b665,b666 ,b667,b668,b669,b670,b671,b672,b673,b674,b675,b676,b677,b678,b679 ,b680,b681,b682,b683,b684,b685,b686,b687,b688,b689,b690,b691,b692 ,b693,b694,b695,b696,b697,b698,b699,b700,b701,b702,b703,b704,b705 ,b706; Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19 ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36 ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53 ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70 ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87 ,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103 ,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116 ,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129 ,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142 ,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155 ,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168 ,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181 ,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194 ,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207 ,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220 ,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233 ,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246 ,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259 ,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272 ,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285 ,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298 ,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311 ,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324 ,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337 ,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350 ,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363 ,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376 ,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389 ,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402 ,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415 ,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428 ,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441 ,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454 ,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467 ,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480 ,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493 ,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506 ,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519 ,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532 ,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545 ,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558 ,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571 ,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584 ,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597 ,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610 ,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623 ,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636 ,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649 ,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662 ,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675 ,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688 ,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701 ,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714 ,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727 ,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740 ,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753 ,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766 ,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779 ,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792 ,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805 ,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818 ,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831 ,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844 ,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857 ,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870 ,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883 ,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896 ,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909 ,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922 ,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935 ,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948 ,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961 ,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974 ,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987 ,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000 ,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011 ,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022 ,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033 ,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044 ,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055 ,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066 ,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077 ,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088 ,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099 ,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110 ,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121 ,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132 ,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143 ,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154 ,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165 ,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176 ,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187 ,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198 ,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209 ,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220 ,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231 ,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242 ,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253 ,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264 ,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275 ,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286 ,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297 ,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308 ,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319 ,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330 ,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341 ,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352 ,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363 ,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374 ,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385 ,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396 ,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407 ,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418 ,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429 ,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440 ,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451 ,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462 ,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473 ,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484 ,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495 ,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506 ,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517 ,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528 ,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539 ,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550 ,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561 ,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572 ,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583 ,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594 ,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605 ,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616 ,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627 ,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638 ,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649 ,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660 ,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671 ,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682 ,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693 ,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704 ,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715 ,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726 ,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737 ,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748 ,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759 ,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770 ,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781 ,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792 ,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803 ,e1804,e1805,e1806,e1807,e1808,e1809,e1810; e1.. objvar + 20*x2 + 17*x3 + 15*x4 + 20*x17 + 21*x18 + 19*x19 + 18*x29 + 20*x30 + 20*x31 + 16*x65 + 19*x66 + 17*x67 - 26*x77 - 31*x78 - 31*x79 - 30*x83 - 29*x84 - 37*x85 + 20*x86 + 18*x87 + 21*x88 - 2*x95 - 2*x96 - 2*x97 - 3*x98 - 2*x99 - 2*x100 - 3*x101 - 3*x102 - 3*x103 - 2*x104 - 2*x105 - 2*x106 + 6*b359 + 4*b360 + 3*b361 + 40*b362 + 35*b363 + 20*b364 + 46*b365 + 39*b366 + 23*b367 + 7*b371 + 4*b372 + 4*b373 + 30*b374 + 25*b375 + 20*b376 + 37*b377 + 29*b378 + 22*b379 + 7*b383 + 5*b384 + 3*b385 + 15*b386 + 5*b387 + 2*b388 + 22*b389 + 10*b390 + 5*b391 + 11*b395 + 8*b396 + 6*b397 + 13*b398 + 8*b399 + 3*b400 + 24*b401 + 16*b402 + 9*b403 + 10*b407 + 7*b408 + 6*b409 + 13*b410 + 8*b411 + 3*b412 + 23*b413 + 15*b414 + 9*b415 + 9*b419 + 9*b420 + 7*b421 + 30*b422 + 30*b423 + 25*b424 + 39*b425 + 39*b426 + 32*b427 + 8*b431 + 7*b432 + 7*b433 + 20*b434 + 15*b435 + 10*b436 + 28*b437 + 22*b438 + 17*b439 + 8*b443 + 6*b444 + 5*b445 + 15*b446 + 10*b447 + 6*b448 + 23*b449 + 16*b450 + 11*b451 + x452 + x453 + x454 - 5*x470 - 10*x471 - 5*x472 + 2*x485 + x486 + 2*x487 + 10*x536 + 5*x537 + 5*x538 + 5*x539 + 5*x540 + 5*x541 - 80*x560 - 130*x561 - 215*x562 - 110*x563 - 120*x564 - 125*x565 - 110*x566 - 130*x567 - 140*x568 - 80*x569 - 90*x570 - 120*x571 - 285*x572 - 390*x573 - 350*x574 - 290*x575 - 405*x576 - 190*x577 - 280*x578 - 400*x579 - 430*x580 - 290*x581 - 300*x582 - 240*x583 - 350*x584 - 250*x585 - 300*x586 + 5*b647 + 4*b648 + 6*b649 + 8*b650 + 7*b651 + 6*b652 + 6*b653 + 9*b654 + 4*b655 + 10*b656 + 9*b657 + 5*b658 + 6*b659 + 10*b660 + 6*b661 + 7*b662 + 7*b663 + 4*b664 + 4*b665 + 3*b666 + 2*b667 + 5*b668 + 6*b669 + 7*b670 + 2*b671 + 5*b672 + 2*b673 + 4*b674 + 7*b675 + 4*b676 + 3*b677 + 9*b678 + 3*b679 + 7*b680 + 2*b681 + 9*b682 + 3*b683 + b684 + 9*b685 + 2*b686 + 6*b687 + 3*b688 + 4*b689 + 8*b690 + b691 + 2*b692 + 5*b693 + 2*b694 + 3*b695 + 4*b696 + 3*b697 + 5*b698 + 7*b699 + 6*b700 + 2*b701 + 8*b702 + 4*b703 + b704 + 4*b705 + b706 =E= 0; e2.. x2 - 0.2*x107 =E= 0; e3.. x3 - 0.2*x108 =E= 0; e4.. x4 - 0.2*x109 =E= 0; e5.. x5 - 0.2*x110 =E= 0; e6.. x6 - 0.2*x111 =E= 0; e7.. x7 - 0.2*x112 =E= 0; e8.. x8 - 0.2*x113 =E= 0; e9.. x9 - 0.2*x114 =E= 0; e10.. x10 - 0.2*x115 =E= 0; e11.. x11 - 0.2*x116 =E= 0; e12.. x12 - 0.2*x117 =E= 0; e13.. x13 - 0.2*x118 =E= 0; e14.. x14 - 0.2*x119 =E= 0; e15.. x15 - 0.2*x120 =E= 0; e16.. x16 - 0.2*x121 =E= 0; e17.. x17 - 0.5*x122 =E= 0; e18.. x18 - 0.5*x123 =E= 0; e19.. x19 - 0.5*x124 =E= 0; e20.. x20 - 0.5*x125 =E= 0; e21.. x21 - 0.5*x126 =E= 0; e22.. x22 - 0.5*x127 =E= 0; e23.. x23 - 0.7*x128 =E= 0; e24.. x24 - 0.7*x129 =E= 0; e25.. x25 - 0.7*x130 =E= 0; e26.. x26 - 0.7*x131 =E= 0; e27.. x27 - 0.7*x132 =E= 0; e28.. x28 - 0.7*x133 =E= 0; e29.. x29 - 1.2*x134 =E= 0; e30.. x30 - 1.2*x135 =E= 0; e31.. x31 - 1.2*x136 =E= 0; e32.. x32 - 1.2*x137 =E= 0; e33.. x33 - 1.2*x138 =E= 0; e34.. x34 - 1.2*x139 =E= 0; e35.. x35 - 0.5*x140 =E= 0; e36.. x36 - 0.5*x141 =E= 0; e37.. x37 - 0.5*x142 =E= 0; e38.. x38 - 0.7*x143 =E= 0; e39.. x39 - 0.7*x144 =E= 0; e40.. x40 - 0.7*x145 =E= 0; e41.. x41 - 1.2*x146 =E= 0; e42.. x42 - 1.2*x147 =E= 0; e43.. x43 - 1.2*x148 =E= 0; e44.. x44 - 1.2*x149 =E= 0; e45.. x45 - 1.2*x150 =E= 0; e46.. x46 - 1.2*x151 =E= 0; e47.. x47 - 1.2*x152 =E= 0; e48.. x48 - 1.2*x153 =E= 0; e49.. x49 - 1.2*x154 =E= 0; e50.. x50 - 1.2*x155 =E= 0; e51.. x51 - 1.2*x156 =E= 0; e52.. x52 - 1.2*x157 =E= 0; e53.. x53 - 0.3*x158 =E= 0; e54.. x54 - 0.3*x159 =E= 0; e55.. x55 - 0.3*x160 =E= 0; e56.. x56 - 0.9*x161 =E= 0; e57.. x57 - 0.9*x162 =E= 0; e58.. x58 - 0.9*x163 =E= 0; e59.. x59 - 0.3*x164 =E= 0; e60.. x60 - 0.3*x165 =E= 0; e61.. x61 - 0.3*x166 =E= 0; e62.. x62 - 0.9*x167 =E= 0; e63.. x63 - 0.9*x168 =E= 0; e64.. x64 - 0.9*x169 =E= 0; e65.. x65 - 0.4*x170 =E= 0; e66.. x66 - 0.4*x171 =E= 0; e67.. x67 - 0.4*x172 =E= 0; e68.. x68 - 0.4*x173 =E= 0; e69.. x69 - 0.4*x174 =E= 0; e70.. x70 - 0.4*x175 =E= 0; e71.. x71 - 0.4*x176 =E= 0; e72.. x72 - 0.4*x177 =E= 0; e73.. x73 - 0.4*x178 =E= 0; e74.. x74 - 1.6*x179 =E= 0; e75.. x75 - 1.6*x180 =E= 0; e76.. x76 - 1.6*x181 =E= 0; e77.. x77 - 1.6*x182 =E= 0; e78.. x78 - 1.6*x183 =E= 0; e79.. x79 - 1.6*x184 =E= 0; e80.. x80 - 1.1*x185 =E= 0; e81.. x81 - 1.1*x186 =E= 0; e82.. x82 - 1.1*x187 =E= 0; e83.. x83 - 1.1*x188 =E= 0; e84.. x84 - 1.1*x189 =E= 0; e85.. x85 - 1.1*x190 =E= 0; e86.. x86 - 0.7*x191 =E= 0; e87.. x87 - 0.7*x192 =E= 0; e88.. x88 - 0.7*x193 =E= 0; e89.. x89 - 0.7*x194 =E= 0; e90.. x90 - 0.7*x195 =E= 0; e91.. x91 - 0.7*x196 =E= 0; e92.. x92 - 0.7*x197 =E= 0; e93.. x93 - 0.7*x198 =E= 0; e94.. x94 - 0.7*x199 =E= 0; e95.. x95 - 0.2*x200 =E= 0; e96.. x96 - 0.2*x201 =E= 0; e97.. x97 - 0.2*x202 =E= 0; e98.. x98 - 0.7*x203 =E= 0; e99.. x99 - 0.7*x204 =E= 0; e100.. x100 - 0.7*x205 =E= 0; e101.. x101 - 0.3*x206 =E= 0; e102.. x102 - 0.3*x207 =E= 0; e103.. x103 - 0.3*x208 =E= 0; e104.. x104 - 0.9*x209 =E= 0; e105.. x105 - 0.9*x210 =E= 0; e106.. x106 - 0.9*x211 =E= 0; e107.. x77 =G= 0.2; e108.. x78 =G= 0.1; e109.. x79 =G= 0.1; e110.. x83 =G= 0.2; e111.. x84 =G= 0.1; e112.. x85 =G= 0.1; e113.. x95 =G= 0.1; e114.. x96 =G= 0.1; e115.. x97 =G= 0.1; e116.. x98 =G= 0.1; e117.. x99 =G= 0.1; e118.. x100 =G= 0.1; e119.. x101 =G= 0.4; e120.. x102 =G= 0.3; e121.. x103 =G= 0.2; e122.. x104 =G= 0.3; e123.. x105 =G= 0.2; e124.. x106 =G= 0.1; e125.. x2 =L= 35; e126.. x3 =L= 30; e127.. x4 =L= 30; e128.. x17 =L= 36; e129.. x18 =L= 31; e130.. x19 =L= 30; e131.. x29 =L= 25; e132.. x30 =L= 22; e133.. x31 =L= 22; e134.. x65 =L= 24; e135.. x66 =L= 21; e136.. x67 =L= 20; e137.. x86 =L= 30; e138.. x87 =L= 25; e139.. x88 =L= 21; e140.. x2 - x5 - x8 =E= 0; e141.. x3 - x6 - x9 =E= 0; e142.. x4 - x7 - x10 =E= 0; e143.. x11 - x14 =E= 0; e144.. x12 - x15 =E= 0; e145.. x13 - x16 =E= 0; e146.. x17 - x20 + x35 =E= 0; e147.. x18 - x21 + x36 =E= 0; e148.. x19 - x22 + x37 =E= 0; e149.. x23 - x26 + x38 =E= 0; e150.. x24 - x27 + x39 =E= 0; e151.. x25 - x28 + x40 =E= 0; e152.. x29 - x32 - x41 =E= 0; e153.. x30 - x33 - x42 =E= 0; e154.. x31 - x34 - x43 =E= 0; e155.. x44 - x47 - x50 =E= 0; e156.. x45 - x48 - x51 =E= 0; e157.. x46 - x49 - x52 =E= 0; e158.. x53 - x59 =E= 0; e159.. x54 - x60 =E= 0; e160.. x55 - x61 =E= 0; e161.. x56 - x62 =E= 0; e162.. x57 - x63 =E= 0; e163.. x58 - x64 =E= 0; e164.. x65 - x68 - x71 =E= 0; e165.. x66 - x69 - x72 =E= 0; e166.. x67 - x70 - x73 =E= 0; e167.. x74 - x77 =E= 0; e168.. x75 - x78 =E= 0; e169.. x76 - x79 =E= 0; e170.. x80 - x83 =E= 0; e171.. x81 - x84 =E= 0; e172.. x82 - x85 =E= 0; e173.. x86 - x89 =E= 0; e174.. x87 - x90 =E= 0; e175.. x88 - x91 =E= 0; e176.. x5 - x11 - x212 =E= 0; e177.. x6 - x12 - x213 =E= 0; e178.. x7 - x13 - x214 =E= 0; e179.. x8 + x20 - x23 - x215 =E= 0; e180.. x9 + x21 - x24 - x216 =E= 0; e181.. x10 + x22 - x25 - x217 =E= 0; e182.. x32 - x35 - x38 - x218 =E= 0; e183.. x33 - x36 - x39 - x219 =E= 0; e184.. x34 - x37 - x40 - x220 =E= 0; e185.. x41 - x44 - x221 =E= 0; e186.. x42 - x45 - x222 =E= 0; e187.. x43 - x46 - x223 =E= 0; e188.. x50 - x53 - x56 - x224 =E= 0; e189.. x51 - x54 - x57 - x225 =E= 0; e190.. x52 - x55 - x58 - x226 =E= 0; e191.. x47 + x68 - x74 - x227 =E= 0; e192.. x48 + x69 - x75 - x228 =E= 0; e193.. x49 + x70 - x76 - x229 =E= 0; e194.. x71 - x80 + x92 - x230 =E= 0; e195.. x72 - x81 + x93 - x231 =E= 0; e196.. x73 - x82 + x94 - x232 =E= 0; e197.. x89 - x92 - x233 =E= 0; e198.. x90 - x93 - x234 =E= 0; e199.. x91 - x94 - x235 =E= 0; e200.. x113 - x125 =L= 0; e201.. x114 - x126 =L= 0; e202.. x115 - x127 =L= 0; e203.. x152 - x173 =L= 0; e204.. x153 - x174 =L= 0; e205.. x154 - x175 =L= 0; e206.. x176 - x197 =L= 0; e207.. x177 - x198 =L= 0; e208.. x178 - x199 =L= 0; e209.. - 0.8*x110 + x116 + 148.75*b260 =L= 148.75; e210.. - 0.8*x111 + x117 + 127.5*b261 =L= 127.5; e211.. - 0.8*x112 + x118 + 127.5*b262 =L= 127.5; e212.. - 0.85*x110 + x116 + 148.75*b263 =L= 148.75; e213.. - 0.85*x111 + x117 + 127.5*b264 =L= 127.5; e214.. - 0.85*x112 + x118 + 127.5*b265 =L= 127.5; e215.. - 0.8*x110 + x116 + 148.75*b266 =L= 148.75; e216.. - 0.8*x111 + x117 + 127.5*b267 =L= 127.5; e217.. - 0.8*x112 + x118 + 127.5*b268 =L= 127.5; e218.. - 0.85*x110 + x116 + 148.75*b269 =L= 148.75; e219.. - 0.85*x111 + x117 + 127.5*b270 =L= 127.5; e220.. - 0.85*x112 + x118 + 127.5*b271 =L= 127.5; e221.. - 0.8*x110 + x116 - 148.75*b260 =G= -148.75; e222.. - 0.8*x111 + x117 - 127.5*b261 =G= -127.5; e223.. - 0.8*x112 + x118 - 127.5*b262 =G= -127.5; e224.. - 0.85*x110 + x116 - 148.75*b263 =G= -148.75; e225.. - 0.85*x111 + x117 - 127.5*b264 =G= -127.5; e226.. - 0.85*x112 + x118 - 127.5*b265 =G= -127.5; e227.. - 0.8*x110 + x116 - 148.75*b266 =G= -148.75; e228.. - 0.8*x111 + x117 - 127.5*b267 =G= -127.5; e229.. - 0.8*x112 + x118 - 127.5*b268 =G= -127.5; e230.. - 0.85*x110 + x116 - 148.75*b269 =G= -148.75; e231.. - 0.85*x111 + x117 - 127.5*b270 =G= -127.5; e232.. - 0.85*x112 + x118 - 127.5*b271 =G= -127.5; e233.. - 0.9*x113 + x128 + 254.045833333333*b272 =L= 254.045833333333; e234.. - 0.9*x114 + x129 + 218.468333333333*b273 =L= 218.468333333333; e235.. - 0.9*x115 + x130 + 216.568333333333*b274 =L= 216.568333333333; e236.. - 0.95*x113 + x128 + 254.045833333333*b275 =L= 254.045833333333; e237.. - 0.95*x114 + x129 + 218.468333333333*b276 =L= 218.468333333333; e238.. - 0.95*x115 + x130 + 216.568333333333*b277 =L= 216.568333333333; e239.. - 0.9*x113 + x128 + 254.045833333333*b278 =L= 254.045833333333; e240.. - 0.9*x114 + x129 + 218.468333333333*b279 =L= 218.468333333333; e241.. - 0.9*x115 + x130 + 216.568333333333*b280 =L= 216.568333333333; e242.. - 0.95*x113 + x128 + 254.045833333333*b281 =L= 254.045833333333; e243.. - 0.95*x114 + x129 + 218.468333333333*b282 =L= 218.468333333333; e244.. - 0.95*x115 + x130 + 216.568333333333*b283 =L= 216.568333333333; e245.. - 0.9*x113 + x128 - 166.25*b272 =G= -166.25; e246.. - 0.9*x114 + x129 - 142.5*b273 =G= -142.5; e247.. - 0.9*x115 + x130 - 142.5*b274 =G= -142.5; e248.. - 0.95*x113 + x128 - 166.25*b275 =G= -166.25; e249.. - 0.95*x114 + x129 - 142.5*b276 =G= -142.5; e250.. - 0.95*x115 + x130 - 142.5*b277 =G= -142.5; e251.. - 0.9*x113 + x128 - 166.25*b278 =G= -166.25; e252.. - 0.9*x114 + x129 - 142.5*b279 =G= -142.5; e253.. - 0.9*x115 + x130 - 142.5*b280 =G= -142.5; e254.. - 0.95*x113 + x128 - 166.25*b281 =G= -166.25; e255.. - 0.95*x114 + x129 - 142.5*b282 =G= -142.5; e256.. - 0.95*x115 + x130 - 142.5*b283 =G= -142.5; e257.. - 0.85*x137 + x140 + 20.4166666666667*b284 =L= 20.4166666666667; e258.. - 0.85*x138 + x141 + 17.9666666666667*b285 =L= 17.9666666666667; e259.. - 0.85*x139 + x142 + 17.9666666666667*b286 =L= 17.9666666666667; e260.. - 0.98*x137 + x140 + 20.4166666666667*b287 =L= 20.4166666666667; e261.. - 0.98*x138 + x141 + 17.9666666666667*b288 =L= 17.9666666666667; e262.. - 0.98*x139 + x142 + 17.9666666666667*b289 =L= 17.9666666666667; e263.. - 0.85*x137 + x140 + 20.4166666666667*b290 =L= 20.4166666666667; e264.. - 0.85*x138 + x141 + 17.9666666666667*b291 =L= 17.9666666666667; e265.. - 0.85*x139 + x142 + 17.9666666666667*b292 =L= 17.9666666666667; e266.. - 0.98*x137 + x140 + 20.4166666666667*b293 =L= 20.4166666666667; e267.. - 0.98*x138 + x141 + 17.9666666666667*b294 =L= 17.9666666666667; e268.. - 0.98*x139 + x142 + 17.9666666666667*b295 =L= 17.9666666666667; e269.. - 0.85*x137 + x143 + 20.4166666666667*b284 =L= 20.4166666666667; e270.. - 0.85*x138 + x144 + 17.9666666666667*b285 =L= 17.9666666666667; e271.. - 0.85*x139 + x145 + 17.9666666666667*b286 =L= 17.9666666666667; e272.. - 0.98*x137 + x143 + 20.4166666666667*b287 =L= 20.4166666666667; e273.. - 0.98*x138 + x144 + 17.9666666666667*b288 =L= 17.9666666666667; e274.. - 0.98*x139 + x145 + 17.9666666666667*b289 =L= 17.9666666666667; e275.. - 0.85*x137 + x143 + 20.4166666666667*b290 =L= 20.4166666666667; e276.. - 0.85*x138 + x144 + 17.9666666666667*b291 =L= 17.9666666666667; e277.. - 0.85*x139 + x145 + 17.9666666666667*b292 =L= 17.9666666666667; e278.. - 0.98*x137 + x143 + 20.4166666666667*b293 =L= 20.4166666666667; e279.. - 0.98*x138 + x144 + 17.9666666666667*b294 =L= 17.9666666666667; e280.. - 0.98*x139 + x145 + 17.9666666666667*b295 =L= 17.9666666666667; e281.. - 0.85*x137 + x140 - 20.4166666666667*b284 =G= -20.4166666666667; e282.. - 0.85*x138 + x141 - 17.9666666666667*b285 =G= -17.9666666666667; e283.. - 0.85*x139 + x142 - 17.9666666666667*b286 =G= -17.9666666666667; e284.. - 0.98*x137 + x140 - 20.4166666666667*b287 =G= -20.4166666666667; e285.. - 0.98*x138 + x141 - 17.9666666666667*b288 =G= -17.9666666666667; e286.. - 0.98*x139 + x142 - 17.9666666666667*b289 =G= -17.9666666666667; e287.. - 0.85*x137 + x140 - 20.4166666666667*b290 =G= -20.4166666666667; e288.. - 0.85*x138 + x141 - 17.9666666666667*b291 =G= -17.9666666666667; e289.. - 0.85*x139 + x142 - 17.9666666666667*b292 =G= -17.9666666666667; e290.. - 0.98*x137 + x140 - 20.4166666666667*b293 =G= -20.4166666666667; e291.. - 0.98*x138 + x141 - 17.9666666666667*b294 =G= -17.9666666666667; e292.. - 0.98*x139 + x142 - 17.9666666666667*b295 =G= -17.9666666666667; e293.. - 0.85*x137 + x143 - 20.4166666666667*b284 =G= -20.4166666666667; e294.. - 0.85*x138 + x144 - 17.9666666666667*b285 =G= -17.9666666666667; e295.. - 0.85*x139 + x145 - 17.9666666666667*b286 =G= -17.9666666666667; e296.. - 0.98*x137 + x143 - 20.4166666666667*b287 =G= -20.4166666666667; e297.. - 0.98*x138 + x144 - 17.9666666666667*b288 =G= -17.9666666666667; e298.. - 0.98*x139 + x145 - 17.9666666666667*b289 =G= -17.9666666666667; e299.. - 0.85*x137 + x143 - 20.4166666666667*b290 =G= -20.4166666666667; e300.. - 0.85*x138 + x144 - 17.9666666666667*b291 =G= -17.9666666666667; e301.. - 0.85*x139 + x145 - 17.9666666666667*b292 =G= -17.9666666666667; e302.. - 0.98*x137 + x143 - 20.4166666666667*b293 =G= -20.4166666666667; e303.. - 0.98*x138 + x144 - 17.9666666666667*b294 =G= -17.9666666666667; e304.. - 0.98*x139 + x145 - 17.9666666666667*b295 =G= -17.9666666666667; e305.. - 0.85*x146 + x149 + 18.75*b296 =L= 18.75; e306.. - 0.85*x147 + x150 + 16.5*b297 =L= 16.5; e307.. - 0.85*x148 + x151 + 16.5*b298 =L= 16.5; e308.. - 0.9*x146 + x149 + 18.75*b299 =L= 18.75; e309.. - 0.9*x147 + x150 + 16.5*b300 =L= 16.5; e310.. - 0.9*x148 + x151 + 16.5*b301 =L= 16.5; e311.. - 0.85*x146 + x149 + 18.75*b302 =L= 18.75; e312.. - 0.85*x147 + x150 + 16.5*b303 =L= 16.5; e313.. - 0.85*x148 + x151 + 16.5*b304 =L= 16.5; e314.. - 0.9*x146 + x149 + 18.75*b305 =L= 18.75; e315.. - 0.9*x147 + x150 + 16.5*b306 =L= 16.5; e316.. - 0.9*x148 + x151 + 16.5*b307 =L= 16.5; e317.. - 0.85*x146 + x149 - 18.75*b296 =G= -18.75; e318.. - 0.85*x147 + x150 - 16.5*b297 =G= -16.5; e319.. - 0.85*x148 + x151 - 16.5*b298 =G= -16.5; e320.. - 0.9*x146 + x149 - 18.75*b299 =G= -18.75; e321.. - 0.9*x147 + x150 - 16.5*b300 =G= -16.5; e322.. - 0.9*x148 + x151 - 16.5*b301 =G= -16.5; e323.. - 0.85*x146 + x149 - 18.75*b302 =G= -18.75; e324.. - 0.85*x147 + x150 - 16.5*b303 =G= -16.5; e325.. - 0.85*x148 + x151 - 16.5*b304 =G= -16.5; e326.. - 0.9*x146 + x149 - 18.75*b305 =G= -18.75; e327.. - 0.9*x147 + x150 - 16.5*b306 =G= -16.5; e328.. - 0.9*x148 + x151 - 16.5*b307 =G= -16.5; e329.. - 0.75*x155 + x158 + 17.8125*b308 =L= 17.8125; e330.. - 0.75*x156 + x159 + 15.675*b309 =L= 15.675; e331.. - 0.75*x157 + x160 + 15.675*b310 =L= 15.675; e332.. - 0.95*x155 + x158 + 17.8125*b311 =L= 17.8125; e333.. - 0.95*x156 + x159 + 15.675*b312 =L= 15.675; e334.. - 0.95*x157 + x160 + 15.675*b313 =L= 15.675; e335.. - 0.9*x155 + x158 + 17.8125*b314 =L= 17.8125; e336.. - 0.9*x156 + x159 + 15.675*b315 =L= 15.675; e337.. - 0.9*x157 + x160 + 15.675*b316 =L= 15.675; e338.. - 0.95*x155 + x158 + 17.8125*b317 =L= 17.8125; e339.. - 0.95*x156 + x159 + 15.675*b318 =L= 15.675; e340.. - 0.95*x157 + x160 + 15.675*b319 =L= 15.675; e341.. - 0.75*x155 + x161 + 17.8125*b308 =L= 17.8125; e342.. - 0.75*x156 + x162 + 15.675*b309 =L= 15.675; e343.. - 0.75*x157 + x163 + 15.675*b310 =L= 15.675; e344.. - 0.95*x155 + x161 + 17.8125*b311 =L= 17.8125; e345.. - 0.95*x156 + x162 + 15.675*b312 =L= 15.675; e346.. - 0.95*x157 + x163 + 15.675*b313 =L= 15.675; e347.. - 0.9*x155 + x161 + 17.8125*b314 =L= 17.8125; e348.. - 0.9*x156 + x162 + 15.675*b315 =L= 15.675; e349.. - 0.9*x157 + x163 + 15.675*b316 =L= 15.675; e350.. - 0.95*x155 + x161 + 17.8125*b317 =L= 17.8125; e351.. - 0.95*x156 + x162 + 15.675*b318 =L= 15.675; e352.. - 0.95*x157 + x163 + 15.675*b319 =L= 15.675; e353.. - 0.75*x155 + x158 - 17.8125*b308 =G= -17.8125; e354.. - 0.75*x156 + x159 - 15.675*b309 =G= -15.675; e355.. - 0.75*x157 + x160 - 15.675*b310 =G= -15.675; e356.. - 0.95*x155 + x158 - 17.8125*b311 =G= -17.8125; e357.. - 0.95*x156 + x159 - 15.675*b312 =G= -15.675; e358.. - 0.95*x157 + x160 - 15.675*b313 =G= -15.675; e359.. - 0.9*x155 + x158 - 17.8125*b314 =G= -17.8125; e360.. - 0.9*x156 + x159 - 15.675*b315 =G= -15.675; e361.. - 0.9*x157 + x160 - 15.675*b316 =G= -15.675; e362.. - 0.95*x155 + x158 - 17.8125*b317 =G= -17.8125; e363.. - 0.95*x156 + x159 - 15.675*b318 =G= -15.675; e364.. - 0.95*x157 + x160 - 15.675*b319 =G= -15.675; e365.. - 0.75*x155 + x161 - 17.8125*b308 =G= -17.8125; e366.. - 0.75*x156 + x162 - 15.675*b309 =G= -15.675; e367.. - 0.75*x157 + x163 - 15.675*b310 =G= -15.675; e368.. - 0.95*x155 + x161 - 17.8125*b311 =G= -17.8125; e369.. - 0.95*x156 + x162 - 15.675*b312 =G= -15.675; e370.. - 0.95*x157 + x163 - 15.675*b313 =G= -15.675; e371.. - 0.9*x155 + x161 - 17.8125*b314 =G= -17.8125; e372.. - 0.9*x156 + x162 - 15.675*b315 =G= -15.675; e373.. - 0.9*x157 + x163 - 15.675*b316 =G= -15.675; e374.. - 0.95*x155 + x161 - 17.8125*b317 =G= -17.8125; e375.. - 0.95*x156 + x162 - 15.675*b318 =G= -15.675; e376.. - 0.95*x157 + x163 - 15.675*b319 =G= -15.675; e377.. - 0.8*x152 + x179 + 66.9375*b320 =L= 66.9375; e378.. - 0.8*x153 + x180 + 58.65*b321 =L= 58.65; e379.. - 0.8*x154 + x181 + 56.525*b322 =L= 56.525; e380.. - 0.85*x152 + x179 + 66.9375*b323 =L= 66.9375; e381.. - 0.85*x153 + x180 + 58.65*b324 =L= 58.65; e382.. - 0.85*x154 + x181 + 56.525*b325 =L= 56.525; e383.. - 0.8*x152 + x179 + 66.9375*b326 =L= 66.9375; e384.. - 0.8*x153 + x180 + 58.65*b327 =L= 58.65; e385.. - 0.8*x154 + x181 + 56.525*b328 =L= 56.525; e386.. - 0.85*x152 + x179 + 66.9375*b329 =L= 66.9375; e387.. - 0.85*x153 + x180 + 58.65*b330 =L= 58.65; e388.. - 0.85*x154 + x181 + 56.525*b331 =L= 56.525; e389.. - 0.8*x152 + x179 - 15.9375*b320 =G= -15.9375; e390.. - 0.8*x153 + x180 - 14.025*b321 =G= -14.025; e391.. - 0.8*x154 + x181 - 14.025*b322 =G= -14.025; e392.. - 0.85*x152 + x179 - 15.9375*b323 =G= -15.9375; e393.. - 0.85*x153 + x180 - 14.025*b324 =G= -14.025; e394.. - 0.85*x154 + x181 - 14.025*b325 =G= -14.025; e395.. - 0.8*x152 + x179 - 15.9375*b326 =G= -15.9375; e396.. - 0.8*x153 + x180 - 14.025*b327 =G= -14.025; e397.. - 0.8*x154 + x181 - 14.025*b328 =G= -14.025; e398.. - 0.85*x152 + x179 - 15.9375*b329 =G= -15.9375; e399.. - 0.85*x153 + x180 - 14.025*b330 =G= -14.025; e400.. - 0.85*x154 + x181 - 14.025*b331 =G= -14.025; e401.. - 0.85*x176 + x185 + 94.4571428571429*b332 =L= 94.4571428571429; e402.. - 0.85*x177 + x186 + 81.0892857142857*b333 =L= 81.0892857142857; e403.. - 0.85*x178 + x187 + 73.72*b334 =L= 73.72; e404.. - 0.95*x176 + x185 + 94.4571428571429*b335 =L= 94.4571428571429; e405.. - 0.95*x177 + x186 + 81.0892857142857*b336 =L= 81.0892857142857; e406.. - 0.95*x178 + x187 + 73.72*b337 =L= 73.72; e407.. - 0.85*x176 + x185 + 94.4571428571429*b338 =L= 94.4571428571429; e408.. - 0.85*x177 + x186 + 81.0892857142857*b339 =L= 81.0892857142857; e409.. - 0.85*x178 + x187 + 73.72*b340 =L= 73.72; e410.. - 0.95*x176 + x185 + 94.4571428571429*b341 =L= 94.4571428571429; e411.. - 0.95*x177 + x186 + 81.0892857142857*b342 =L= 81.0892857142857; e412.. - 0.95*x178 + x187 + 73.72*b343 =L= 73.72; e413.. - 0.85*x176 + x185 - 57*b332 =G= -57; e414.. - 0.85*x177 + x186 - 49.875*b333 =G= -49.875; e415.. - 0.85*x178 + x187 - 47.5*b334 =G= -47.5; e416.. - 0.95*x176 + x185 - 57*b335 =G= -57; e417.. - 0.95*x177 + x186 - 49.875*b336 =G= -49.875; e418.. - 0.95*x178 + x187 - 47.5*b337 =G= -47.5; e419.. - 0.85*x176 + x185 - 57*b338 =G= -57; e420.. - 0.85*x177 + x186 - 49.875*b339 =G= -49.875; e421.. - 0.85*x178 + x187 - 47.5*b340 =G= -47.5; e422.. - 0.95*x176 + x185 - 57*b341 =G= -57; e423.. - 0.95*x177 + x186 - 49.875*b342 =G= -49.875; e424.. - 0.95*x178 + x187 - 47.5*b343 =G= -47.5; e425.. - 0.8*x194 + x197 + 39.4285714285714*b344 =L= 39.4285714285714; e426.. - 0.8*x195 + x198 + 32.8571428571429*b345 =L= 32.8571428571429; e427.. - 0.8*x196 + x199 + 27.6*b346 =L= 27.6; e428.. - 0.92*x194 + x197 + 39.4285714285714*b347 =L= 39.4285714285714; e429.. - 0.92*x195 + x198 + 32.8571428571429*b348 =L= 32.8571428571429; e430.. - 0.92*x196 + x199 + 27.6*b349 =L= 27.6; e431.. - 0.8*x194 + x197 + 39.4285714285714*b350 =L= 39.4285714285714; e432.. - 0.8*x195 + x198 + 32.8571428571429*b351 =L= 32.8571428571429; e433.. - 0.8*x196 + x199 + 27.6*b352 =L= 27.6; e434.. - 0.92*x194 + x197 + 39.4285714285714*b353 =L= 39.4285714285714; e435.. - 0.92*x195 + x198 + 32.8571428571429*b354 =L= 32.8571428571429; e436.. - 0.92*x196 + x199 + 27.6*b355 =L= 27.6; e437.. - 0.8*x194 + x197 - 39.4285714285714*b344 =G= -39.4285714285714; e438.. - 0.8*x195 + x198 - 32.8571428571429*b345 =G= -32.8571428571429; e439.. - 0.8*x196 + x199 - 27.6*b346 =G= -27.6; e440.. - 0.92*x194 + x197 - 39.4285714285714*b347 =G= -39.4285714285714; e441.. - 0.92*x195 + x198 - 32.8571428571429*b348 =G= -32.8571428571429; e442.. - 0.92*x196 + x199 - 27.6*b349 =G= -27.6; e443.. - 0.8*x194 + x197 - 39.4285714285714*b350 =G= -39.4285714285714; e444.. - 0.8*x195 + x198 - 32.8571428571429*b351 =G= -32.8571428571429; e445.. - 0.8*x196 + x199 - 27.6*b352 =G= -27.6; e446.. - 0.92*x194 + x197 - 39.4285714285714*b353 =G= -39.4285714285714; e447.. - 0.92*x195 + x198 - 32.8571428571429*b354 =G= -32.8571428571429; e448.. - 0.92*x196 + x199 - 27.6*b355 =G= -27.6; e449.. x5 + 25*b260 =L= 35; e450.. x6 + 20*b261 =L= 30; e451.. x7 + 20*b262 =L= 30; e452.. x5 + 25*b263 =L= 35; e453.. x6 + 20*b264 =L= 30; e454.. x7 + 20*b265 =L= 30; e455.. x5 - 15*b266 =L= 35; e456.. x6 - 20*b267 =L= 30; e457.. x7 - 20*b268 =L= 30; e458.. x5 - 15*b269 =L= 35; e459.. x6 - 20*b270 =L= 30; e460.. x7 - 20*b271 =L= 30; e461.. x8 + x20 + 56*b272 =L= 96; e462.. x9 + x21 + 43*b273 =L= 83; e463.. x10 + x22 + 42*b274 =L= 82; e464.. x8 + x20 + 56*b275 =L= 96; e465.. x9 + x21 + 43*b276 =L= 83; e466.. x10 + x22 + 42*b277 =L= 82; e467.. x8 + x20 + 36*b278 =L= 96; e468.. x9 + x21 + 23*b279 =L= 83; e469.. x10 + x22 + 22*b280 =L= 82; e470.. x8 + x20 + 36*b281 =L= 96; e471.. x9 + x21 + 23*b282 =L= 83; e472.. x10 + x22 + 22*b283 =L= 82; e473.. x32 + 10*b284 =L= 25; e474.. x33 + 7*b285 =L= 22; e475.. x34 + 7*b286 =L= 22; e476.. x32 + 10*b287 =L= 25; e477.. x33 + 7*b288 =L= 22; e478.. x34 + 7*b289 =L= 22; e479.. x32 =L= 25; e480.. x33 - 3*b291 =L= 22; e481.. x34 - 3*b292 =L= 22; e482.. x32 =L= 25; e483.. x33 - 3*b294 =L= 22; e484.. x34 - 3*b295 =L= 22; e485.. x41 + 10*b296 =L= 25; e486.. x42 + 7*b297 =L= 22; e487.. x43 + 7*b298 =L= 22; e488.. x41 + 10*b299 =L= 25; e489.. x42 + 7*b300 =L= 22; e490.. x43 + 7*b301 =L= 22; e491.. x41 + 5*b302 =L= 25; e492.. x42 + 2*b303 =L= 22; e493.. x43 + 2*b304 =L= 22; e494.. x41 + 5*b305 =L= 25; e495.. x42 + 2*b306 =L= 22; e496.. x43 + 2*b307 =L= 22; e497.. x50 + 15*b308 =L= 25; e498.. x51 + 12*b309 =L= 22; e499.. x52 + 12*b310 =L= 22; e500.. x50 + 15*b311 =L= 25; e501.. x51 + 12*b312 =L= 22; e502.. x52 + 12*b313 =L= 22; e503.. x50 + 5*b314 =L= 25; e504.. x51 + 2*b315 =L= 22; e505.. x52 + 2*b316 =L= 22; e506.. x50 + 5*b317 =L= 25; e507.. x51 + 2*b318 =L= 22; e508.. x52 + 2*b319 =L= 22; e509.. x47 + x68 + 29*b320 =L= 49; e510.. x48 + x69 + 23*b321 =L= 43; e511.. x49 + x70 + 22*b322 =L= 42; e512.. x47 + x68 + 29*b323 =L= 49; e513.. x48 + x69 + 23*b324 =L= 43; e514.. x49 + x70 + 22*b325 =L= 42; e515.. x47 + x68 - 6*b326 =L= 49; e516.. x48 + x69 - 12*b327 =L= 43; e517.. x49 + x70 - 13*b328 =L= 42; e518.. x47 + x68 - 6*b329 =L= 49; e519.. x48 + x69 - 12*b330 =L= 43; e520.. x49 + x70 - 13*b331 =L= 42; e521.. x71 + x92 + 29*b332 =L= 54; e522.. x72 + x93 + 21*b333 =L= 46; e523.. x73 + x94 + 16*b334 =L= 41; e524.. x71 + x92 + 29*b335 =L= 54; e525.. x72 + x93 + 21*b336 =L= 46; e526.. x73 + x94 + 16*b337 =L= 41; e527.. x71 + x92 + 4*b338 =L= 54; e528.. x72 + x93 - 4*b339 =L= 46; e529.. x73 + x94 - 9*b340 =L= 41; e530.. x71 + x92 + 4*b341 =L= 54; e531.. x72 + x93 - 4*b342 =L= 46; e532.. x73 + x94 - 9*b343 =L= 41; e533.. x89 + 15*b344 =L= 30; e534.. x90 + 10*b345 =L= 25; e535.. x91 + 6*b346 =L= 21; e536.. x89 + 15*b347 =L= 30; e537.. x90 + 10*b348 =L= 25; e538.. x91 + 6*b349 =L= 21; e539.. x89 - 5*b350 =L= 30; e540.. x90 - 10*b351 =L= 25; e541.. x91 - 14*b352 =L= 21; e542.. x89 - 5*b353 =L= 30; e543.. x90 - 10*b354 =L= 25; e544.. x91 - 14*b355 =L= 21; e545.. x236 + 46*b356 =L= 46; e546.. x237 + 39*b357 =L= 39; e547.. x238 + 23*b358 =L= 23; e548.. x236 + 40*b359 =L= 46; e549.. x237 + 35*b360 =L= 39; e550.. x238 + 20*b361 =L= 23; e551.. x236 + 6*b362 =L= 46; e552.. x237 + 4*b363 =L= 39; e553.. x238 + 3*b364 =L= 23; e554.. x236 =L= 46; e555.. x237 =L= 39; e556.. x238 =L= 23; e557.. x239 + 37*b368 =L= 37; e558.. x240 + 29*b369 =L= 29; e559.. x241 + 22*b370 =L= 22; e560.. x239 + 30*b371 =L= 37; e561.. x240 + 25*b372 =L= 29; e562.. x241 + 18*b373 =L= 22; e563.. x239 + 7*b374 =L= 37; e564.. x240 + 4*b375 =L= 29; e565.. x241 + 2*b376 =L= 22; e566.. x239 =L= 37; e567.. x240 =L= 29; e568.. x241 =L= 22; e569.. x242 + 22*b380 =L= 22; e570.. x243 + 10*b381 =L= 10; e571.. x244 + 5*b382 =L= 5; e572.. x242 + 15*b383 =L= 22; e573.. x243 + 5*b384 =L= 10; e574.. x244 + 2*b385 =L= 5; e575.. x242 + 7*b386 =L= 22; e576.. x243 + 5*b387 =L= 10; e577.. x244 + 3*b388 =L= 5; e578.. x242 =L= 22; e579.. x243 =L= 10; e580.. x244 =L= 5; e581.. x245 + 24*b392 =L= 24; e582.. x246 + 16*b393 =L= 16; e583.. x247 + 9*b394 =L= 9; e584.. x245 + 13*b395 =L= 24; e585.. x246 + 8*b396 =L= 16; e586.. x247 + 3*b397 =L= 9; e587.. x245 + 11*b398 =L= 24; e588.. x246 + 8*b399 =L= 16; e589.. x247 + 6*b400 =L= 9; e590.. x245 =L= 24; e591.. x246 =L= 16; e592.. x247 =L= 9; e593.. x248 + 23*b404 =L= 23; e594.. x249 + 15*b405 =L= 15; e595.. x250 + 9*b406 =L= 9; e596.. x248 + 13*b407 =L= 23; e597.. x249 + 8*b408 =L= 15; e598.. x250 + 3*b409 =L= 9; e599.. x248 + 10*b410 =L= 23; e600.. x249 + 7*b411 =L= 15; e601.. x250 + 6*b412 =L= 9; e602.. x248 =L= 23; e603.. x249 =L= 15; e604.. x250 =L= 9; e605.. x251 + 39*b416 =L= 39; e606.. x252 + 39*b417 =L= 39; e607.. x253 + 32*b418 =L= 32; e608.. x251 + 30*b419 =L= 39; e609.. x252 + 30*b420 =L= 39; e610.. x253 + 25*b421 =L= 32; e611.. x251 + 9*b422 =L= 39; e612.. x252 + 9*b423 =L= 39; e613.. x253 + 7*b424 =L= 32; e614.. x251 =L= 39; e615.. x252 =L= 39; e616.. x253 =L= 32; e617.. x254 + 28*b428 =L= 28; e618.. x255 + 22*b429 =L= 22; e619.. x256 + 17*b430 =L= 17; e620.. x254 + 20*b431 =L= 28; e621.. x255 + 15*b432 =L= 22; e622.. x256 + 10*b433 =L= 17; e623.. x254 + 8*b434 =L= 28; e624.. x255 + 7*b435 =L= 22; e625.. x256 + 7*b436 =L= 17; e626.. x254 =L= 28; e627.. x255 =L= 22; e628.. x256 =L= 17; e629.. x257 + 23*b440 =L= 23; e630.. x258 + 16*b441 =L= 16; e631.. x259 + 11*b442 =L= 11; e632.. x257 + 15*b443 =L= 23; e633.. x258 + 10*b444 =L= 16; e634.. x259 + 6*b445 =L= 11; e635.. x257 + 8*b446 =L= 23; e636.. x258 + 6*b447 =L= 16; e637.. x259 + 5*b448 =L= 11; e638.. x257 =L= 23; e639.. x258 =L= 16; e640.. x259 =L= 11; e641.. x236 =G= 0; e642.. x237 =G= 0; e643.. x238 =G= 0; e644.. x236 - 6*b359 =G= 0; e645.. x237 - 4*b360 =G= 0; e646.. x238 - 3*b361 =G= 0; e647.. x236 - 40*b362 =G= 0; e648.. x237 - 35*b363 =G= 0; e649.. x238 - 20*b364 =G= 0; e650.. x236 - 46*b365 =G= 0; e651.. x237 - 39*b366 =G= 0; e652.. x238 - 23*b367 =G= 0; e653.. x239 =G= 0; e654.. x240 =G= 0; e655.. x241 =G= 0; e656.. x239 - 7*b371 =G= 0; e657.. x240 - 4*b372 =G= 0; e658.. x241 - 4*b373 =G= 0; e659.. x239 - 30*b374 =G= 0; e660.. x240 - 25*b375 =G= 0; e661.. x241 - 20*b376 =G= 0; e662.. x239 - 37*b377 =G= 0; e663.. x240 - 29*b378 =G= 0; e664.. x241 - 22*b379 =G= 0; e665.. x242 =G= 0; e666.. x243 =G= 0; e667.. x244 =G= 0; e668.. x242 - 7*b383 =G= 0; e669.. x243 - 5*b384 =G= 0; e670.. x244 - 3*b385 =G= 0; e671.. x242 - 15*b386 =G= 0; e672.. x243 - 5*b387 =G= 0; e673.. x244 - 2*b388 =G= 0; e674.. x242 - 22*b389 =G= 0; e675.. x243 - 10*b390 =G= 0; e676.. x244 - 5*b391 =G= 0; e677.. x245 =G= 0; e678.. x246 =G= 0; e679.. x247 =G= 0; e680.. x245 - 11*b395 =G= 0; e681.. x246 - 8*b396 =G= 0; e682.. x247 - 6*b397 =G= 0; e683.. x245 - 13*b398 =G= 0; e684.. x246 - 8*b399 =G= 0; e685.. x247 - 3*b400 =G= 0; e686.. x245 - 24*b401 =G= 0; e687.. x246 - 16*b402 =G= 0; e688.. x247 - 9*b403 =G= 0; e689.. x248 =G= 0; e690.. x249 =G= 0; e691.. x250 =G= 0; e692.. x248 - 10*b407 =G= 0; e693.. x249 - 7*b408 =G= 0; e694.. x250 - 6*b409 =G= 0; e695.. x248 - 13*b410 =G= 0; e696.. x249 - 8*b411 =G= 0; e697.. x250 - 3*b412 =G= 0; e698.. x248 - 23*b413 =G= 0; e699.. x249 - 15*b414 =G= 0; e700.. x250 - 9*b415 =G= 0; e701.. x251 =G= 0; e702.. x252 =G= 0; e703.. x253 =G= 0; e704.. x251 - 9*b419 =G= 0; e705.. x252 - 9*b420 =G= 0; e706.. x253 - 7*b421 =G= 0; e707.. x251 - 30*b422 =G= 0; e708.. x252 - 30*b423 =G= 0; e709.. x253 - 25*b424 =G= 0; e710.. x251 - 39*b425 =G= 0; e711.. x252 - 39*b426 =G= 0; e712.. x253 - 32*b427 =G= 0; e713.. x254 =G= 0; e714.. x255 =G= 0; e715.. x256 =G= 0; e716.. x254 - 8*b431 =G= 0; e717.. x255 - 7*b432 =G= 0; e718.. x256 - 7*b433 =G= 0; e719.. x254 - 20*b434 =G= 0; e720.. x255 - 15*b435 =G= 0; e721.. x256 - 10*b436 =G= 0; e722.. x254 - 28*b437 =G= 0; e723.. x255 - 22*b438 =G= 0; e724.. x256 - 17*b439 =G= 0; e725.. x257 =G= 0; e726.. x258 =G= 0; e727.. x259 =G= 0; e728.. x257 - 8*b443 =G= 0; e729.. x258 - 6*b444 =G= 0; e730.. x259 - 5*b445 =G= 0; e731.. x257 - 15*b446 =G= 0; e732.. x258 - 10*b447 =G= 0; e733.. x259 - 6*b448 =G= 0; e734.. x257 - 23*b449 =G= 0; e735.. x258 - 16*b450 =G= 0; e736.. x259 - 11*b451 =G= 0; e737.. 20*x2 + 20*x17 + 18*x29 + 16*x65 + 20*x86 + x236 + x239 + x242 + x245 + x248 + x251 + x254 + x257 =L= 4000; e738.. 17*x3 + 21*x18 + 20*x30 + 19*x66 + 18*x87 + x237 + x240 + x243 + x246 + x249 + x252 + x255 + x258 =L= 3800; e739.. 15*x4 + 19*x19 + 20*x31 + 17*x67 + 21*x88 + x238 + x241 + x244 + x247 + x250 + x253 + x256 + x259 =L= 3600; e740.. b260 + b263 + b266 + b269 =E= 1; e741.. b261 + b264 + b267 + b270 =E= 1; e742.. b262 + b265 + b268 + b271 =E= 1; e743.. b272 + b275 + b278 + b281 =E= 1; e744.. b273 + b276 + b279 + b282 =E= 1; e745.. b274 + b277 + b280 + b283 =E= 1; e746.. b284 + b287 + b290 + b293 =E= 1; e747.. b285 + b288 + b291 + b294 =E= 1; e748.. b286 + b289 + b292 + b295 =E= 1; e749.. b296 + b299 + b302 + b305 =E= 1; e750.. b297 + b300 + b303 + b306 =E= 1; e751.. b298 + b301 + b304 + b307 =E= 1; e752.. b308 + b311 + b314 + b317 =E= 1; e753.. b309 + b312 + b315 + b318 =E= 1; e754.. b310 + b313 + b316 + b319 =E= 1; e755.. b320 + b323 + b326 + b329 =E= 1; e756.. b321 + b324 + b327 + b330 =E= 1; e757.. b322 + b325 + b328 + b331 =E= 1; e758.. b332 + b335 + b338 + b341 =E= 1; e759.. b333 + b336 + b339 + b342 =E= 1; e760.. b334 + b337 + b340 + b343 =E= 1; e761.. b344 + b347 + b350 + b353 =E= 1; e762.. b345 + b348 + b351 + b354 =E= 1; e763.. b346 + b349 + b352 + b355 =E= 1; e764.. b356 + b359 + b362 + b365 =E= 1; e765.. b357 + b360 + b363 + b366 =E= 1; e766.. b358 + b361 + b364 + b367 =E= 1; e767.. b368 + b371 + b374 + b377 =E= 1; e768.. b369 + b372 + b375 + b378 =E= 1; e769.. b370 + b373 + b376 + b379 =E= 1; e770.. b380 + b383 + b386 + b389 =E= 1; e771.. b381 + b384 + b387 + b390 =E= 1; e772.. b382 + b385 + b388 + b391 =E= 1; e773.. b392 + b395 + b398 + b401 =E= 1; e774.. b393 + b396 + b399 + b402 =E= 1; e775.. b394 + b397 + b400 + b403 =E= 1; e776.. b404 + b407 + b410 + b413 =E= 1; e777.. b405 + b408 + b411 + b414 =E= 1; e778.. b406 + b409 + b412 + b415 =E= 1; e779.. b416 + b419 + b422 + b425 =E= 1; e780.. b417 + b420 + b423 + b426 =E= 1; e781.. b418 + b421 + b424 + b427 =E= 1; e782.. b428 + b431 + b434 + b437 =E= 1; e783.. b429 + b432 + b435 + b438 =E= 1; e784.. b430 + b433 + b436 + b439 =E= 1; e785.. b440 + b443 + b446 + b449 =E= 1; e786.. b441 + b444 + b447 + b450 =E= 1; e787.. b442 + b445 + b448 + b451 =E= 1; e788.. b263 - b264 =L= 0; e789.. b263 - b265 =L= 0; e790.. b264 - b265 =L= 0; e791.. b266 - b267 =L= 0; e792.. b266 - b268 =L= 0; e793.. b267 - b268 =L= 0; e794.. b269 - b270 =L= 0; e795.. b269 - b271 =L= 0; e796.. b270 - b271 =L= 0; e797.. b275 - b276 =L= 0; e798.. b275 - b277 =L= 0; e799.. b276 - b277 =L= 0; e800.. b278 - b279 =L= 0; e801.. b278 - b280 =L= 0; e802.. b279 - b280 =L= 0; e803.. b281 - b282 =L= 0; e804.. b281 - b283 =L= 0; e805.. b282 - b283 =L= 0; e806.. b287 - b288 =L= 0; e807.. b287 - b289 =L= 0; e808.. b288 - b289 =L= 0; e809.. b290 - b291 =L= 0; e810.. b290 - b292 =L= 0; e811.. b291 - b292 =L= 0; e812.. b293 - b294 =L= 0; e813.. b293 - b295 =L= 0; e814.. b294 - b295 =L= 0; e815.. b299 - b300 =L= 0; e816.. b299 - b301 =L= 0; e817.. b300 - b301 =L= 0; e818.. b302 - b303 =L= 0; e819.. b302 - b304 =L= 0; e820.. b303 - b304 =L= 0; e821.. b305 - b306 =L= 0; e822.. b305 - b307 =L= 0; e823.. b306 - b307 =L= 0; e824.. b311 - b312 =L= 0; e825.. b311 - b313 =L= 0; e826.. b312 - b313 =L= 0; e827.. b314 - b315 =L= 0; e828.. b314 - b316 =L= 0; e829.. b315 - b316 =L= 0; e830.. b317 - b318 =L= 0; e831.. b317 - b319 =L= 0; e832.. b318 - b319 =L= 0; e833.. b323 - b324 =L= 0; e834.. b323 - b325 =L= 0; e835.. b324 - b325 =L= 0; e836.. b326 - b327 =L= 0; e837.. b326 - b328 =L= 0; e838.. b327 - b328 =L= 0; e839.. b329 - b330 =L= 0; e840.. b329 - b331 =L= 0; e841.. b330 - b331 =L= 0; e842.. b335 - b336 =L= 0; e843.. b335 - b337 =L= 0; e844.. b336 - b337 =L= 0; e845.. b338 - b339 =L= 0; e846.. b338 - b340 =L= 0; e847.. b339 - b340 =L= 0; e848.. b341 - b342 =L= 0; e849.. b341 - b343 =L= 0; e850.. b342 - b343 =L= 0; e851.. b347 - b348 =L= 0; e852.. b347 - b349 =L= 0; e853.. b348 - b349 =L= 0; e854.. b350 - b351 =L= 0; e855.. b350 - b352 =L= 0; e856.. b351 - b352 =L= 0; e857.. b353 - b354 =L= 0; e858.. b353 - b355 =L= 0; e859.. b354 - b355 =L= 0; e860.. - b357 + b359 =L= 0; e861.. - b358 + b359 =L= 0; e862.. - b356 + b360 =L= 0; e863.. - b358 + b360 =L= 0; e864.. - b356 + b361 =L= 0; e865.. - b357 + b361 =L= 0; e866.. - b357 + b362 =L= 0; e867.. - b358 + b362 =L= 0; e868.. - b356 + b363 =L= 0; e869.. - b358 + b363 =L= 0; e870.. - b356 + b364 =L= 0; e871.. - b357 + b364 =L= 0; e872.. - b357 + b365 =L= 0; e873.. - b358 + b365 =L= 0; e874.. - b356 + b366 =L= 0; e875.. - b358 + b366 =L= 0; e876.. - b356 + b367 =L= 0; e877.. - b357 + b367 =L= 0; e878.. - b369 + b371 =L= 0; e879.. - b370 + b371 =L= 0; e880.. - b368 + b372 =L= 0; e881.. - b370 + b372 =L= 0; e882.. - b368 + b373 =L= 0; e883.. - b369 + b373 =L= 0; e884.. - b369 + b374 =L= 0; e885.. - b370 + b374 =L= 0; e886.. - b368 + b375 =L= 0; e887.. - b370 + b375 =L= 0; e888.. - b368 + b376 =L= 0; e889.. - b369 + b376 =L= 0; e890.. - b369 + b377 =L= 0; e891.. - b370 + b377 =L= 0; e892.. - b368 + b378 =L= 0; e893.. - b370 + b378 =L= 0; e894.. - b368 + b379 =L= 0; e895.. - b369 + b379 =L= 0; e896.. - b381 + b383 =L= 0; e897.. - b382 + b383 =L= 0; e898.. - b380 + b384 =L= 0; e899.. - b382 + b384 =L= 0; e900.. - b380 + b385 =L= 0; e901.. - b381 + b385 =L= 0; e902.. - b381 + b386 =L= 0; e903.. - b382 + b386 =L= 0; e904.. - b380 + b387 =L= 0; e905.. - b382 + b387 =L= 0; e906.. - b380 + b388 =L= 0; e907.. - b381 + b388 =L= 0; e908.. - b381 + b389 =L= 0; e909.. - b382 + b389 =L= 0; e910.. - b380 + b390 =L= 0; e911.. - b382 + b390 =L= 0; e912.. - b380 + b391 =L= 0; e913.. - b381 + b391 =L= 0; e914.. - b393 + b395 =L= 0; e915.. - b394 + b395 =L= 0; e916.. - b392 + b396 =L= 0; e917.. - b394 + b396 =L= 0; e918.. - b392 + b397 =L= 0; e919.. - b393 + b397 =L= 0; e920.. - b393 + b398 =L= 0; e921.. - b394 + b398 =L= 0; e922.. - b392 + b399 =L= 0; e923.. - b394 + b399 =L= 0; e924.. - b392 + b400 =L= 0; e925.. - b393 + b400 =L= 0; e926.. - b393 + b401 =L= 0; e927.. - b394 + b401 =L= 0; e928.. - b392 + b402 =L= 0; e929.. - b394 + b402 =L= 0; e930.. - b392 + b403 =L= 0; e931.. - b393 + b403 =L= 0; e932.. - b405 + b407 =L= 0; e933.. - b406 + b407 =L= 0; e934.. - b404 + b408 =L= 0; e935.. - b406 + b408 =L= 0; e936.. - b404 + b409 =L= 0; e937.. - b405 + b409 =L= 0; e938.. - b405 + b410 =L= 0; e939.. - b406 + b410 =L= 0; e940.. - b404 + b411 =L= 0; e941.. - b406 + b411 =L= 0; e942.. - b404 + b412 =L= 0; e943.. - b405 + b412 =L= 0; e944.. - b405 + b413 =L= 0; e945.. - b406 + b413 =L= 0; e946.. - b404 + b414 =L= 0; e947.. - b406 + b414 =L= 0; e948.. - b404 + b415 =L= 0; e949.. - b405 + b415 =L= 0; e950.. - b417 + b419 =L= 0; e951.. - b418 + b419 =L= 0; e952.. - b416 + b420 =L= 0; e953.. - b418 + b420 =L= 0; e954.. - b416 + b421 =L= 0; e955.. - b417 + b421 =L= 0; e956.. - b417 + b422 =L= 0; e957.. - b418 + b422 =L= 0; e958.. - b416 + b423 =L= 0; e959.. - b418 + b423 =L= 0; e960.. - b416 + b424 =L= 0; e961.. - b417 + b424 =L= 0; e962.. - b417 + b425 =L= 0; e963.. - b418 + b425 =L= 0; e964.. - b416 + b426 =L= 0; e965.. - b418 + b426 =L= 0; e966.. - b416 + b427 =L= 0; e967.. - b417 + b427 =L= 0; e968.. - b429 + b431 =L= 0; e969.. - b430 + b431 =L= 0; e970.. - b428 + b432 =L= 0; e971.. - b430 + b432 =L= 0; e972.. - b428 + b433 =L= 0; e973.. - b429 + b433 =L= 0; e974.. - b429 + b434 =L= 0; e975.. - b430 + b434 =L= 0; e976.. - b428 + b435 =L= 0; e977.. - b430 + b435 =L= 0; e978.. - b428 + b436 =L= 0; e979.. - b429 + b436 =L= 0; e980.. - b429 + b437 =L= 0; e981.. - b430 + b437 =L= 0; e982.. - b428 + b438 =L= 0; e983.. - b430 + b438 =L= 0; e984.. - b428 + b439 =L= 0; e985.. - b429 + b439 =L= 0; e986.. - b441 + b443 =L= 0; e987.. - b442 + b443 =L= 0; e988.. - b440 + b444 =L= 0; e989.. - b442 + b444 =L= 0; e990.. - b440 + b445 =L= 0; e991.. - b441 + b445 =L= 0; e992.. - b441 + b446 =L= 0; e993.. - b442 + b446 =L= 0; e994.. - b440 + b447 =L= 0; e995.. - b442 + b447 =L= 0; e996.. - b440 + b448 =L= 0; e997.. - b441 + b448 =L= 0; e998.. - b441 + b449 =L= 0; e999.. - b442 + b449 =L= 0; e1000.. - b440 + b450 =L= 0; e1001.. - b442 + b450 =L= 0; e1002.. - b440 + b451 =L= 0; e1003.. - b441 + b451 =L= 0; e1004.. b260 - b356 =L= 0; e1005.. b261 - b357 =L= 0; e1006.. b262 - b358 =L= 0; e1007.. b272 - b368 =L= 0; e1008.. b273 - b369 =L= 0; e1009.. b274 - b370 =L= 0; e1010.. b284 - b380 =L= 0; e1011.. b285 - b381 =L= 0; e1012.. b286 - b382 =L= 0; e1013.. b296 - b392 =L= 0; e1014.. b297 - b393 =L= 0; e1015.. b298 - b394 =L= 0; e1016.. b308 - b404 =L= 0; e1017.. b309 - b405 =L= 0; e1018.. b310 - b406 =L= 0; e1019.. b320 - b416 =L= 0; e1020.. b321 - b417 =L= 0; e1021.. b322 - b418 =L= 0; e1022.. b332 - b428 =L= 0; e1023.. b333 - b429 =L= 0; e1024.. b334 - b430 =L= 0; e1025.. b344 - b440 =L= 0; e1026.. b345 - b441 =L= 0; e1027.. b346 - b442 =L= 0; e1028.. b263 - b359 =L= 0; e1029.. - b263 + b264 - b360 =L= 0; e1030.. - b263 - b264 + b265 - b361 =L= 0; e1031.. b266 - b362 =L= 0; e1032.. - b266 + b267 - b363 =L= 0; e1033.. - b266 - b267 + b268 - b364 =L= 0; e1034.. b269 - b365 =L= 0; e1035.. - b269 + b270 - b366 =L= 0; e1036.. - b269 - b270 + b271 - b367 =L= 0; e1037.. b275 - b371 =L= 0; e1038.. - b275 + b276 - b372 =L= 0; e1039.. - b275 - b276 + b277 - b373 =L= 0; e1040.. b278 - b374 =L= 0; e1041.. - b278 + b279 - b375 =L= 0; e1042.. - b278 - b279 + b280 - b376 =L= 0; e1043.. b281 - b377 =L= 0; e1044.. - b281 + b282 - b378 =L= 0; e1045.. - b281 - b282 + b283 - b379 =L= 0; e1046.. b287 - b383 =L= 0; e1047.. - b287 + b288 - b384 =L= 0; e1048.. - b287 - b288 + b289 - b385 =L= 0; e1049.. b290 - b386 =L= 0; e1050.. - b290 + b291 - b387 =L= 0; e1051.. - b290 - b291 + b292 - b388 =L= 0; e1052.. b293 - b389 =L= 0; e1053.. - b293 + b294 - b390 =L= 0; e1054.. - b293 - b294 + b295 - b391 =L= 0; e1055.. b299 - b395 =L= 0; e1056.. - b299 + b300 - b396 =L= 0; e1057.. - b299 - b300 + b301 - b397 =L= 0; e1058.. b302 - b398 =L= 0; e1059.. - b302 + b303 - b399 =L= 0; e1060.. - b302 - b303 + b304 - b400 =L= 0; e1061.. b305 - b401 =L= 0; e1062.. - b305 + b306 - b402 =L= 0; e1063.. - b305 - b306 + b307 - b403 =L= 0; e1064.. b311 - b407 =L= 0; e1065.. - b311 + b312 - b408 =L= 0; e1066.. - b311 - b312 + b313 - b409 =L= 0; e1067.. b314 - b410 =L= 0; e1068.. - b314 + b315 - b411 =L= 0; e1069.. - b314 - b315 + b316 - b412 =L= 0; e1070.. b317 - b413 =L= 0; e1071.. - b317 + b318 - b414 =L= 0; e1072.. - b317 - b318 + b319 - b415 =L= 0; e1073.. b323 - b419 =L= 0; e1074.. - b323 + b324 - b420 =L= 0; e1075.. - b323 - b324 + b325 - b421 =L= 0; e1076.. b326 - b422 =L= 0; e1077.. - b326 + b327 - b423 =L= 0; e1078.. - b326 - b327 + b328 - b424 =L= 0; e1079.. b329 - b425 =L= 0; e1080.. - b329 + b330 - b426 =L= 0; e1081.. - b329 - b330 + b331 - b427 =L= 0; e1082.. b335 - b431 =L= 0; e1083.. - b335 + b336 - b432 =L= 0; e1084.. - b335 - b336 + b337 - b433 =L= 0; e1085.. b338 - b434 =L= 0; e1086.. - b338 + b339 - b435 =L= 0; e1087.. - b338 - b339 + b340 - b436 =L= 0; e1088.. b341 - b437 =L= 0; e1089.. - b341 + b342 - b438 =L= 0; e1090.. - b341 - b342 + b343 - b439 =L= 0; e1091.. b347 - b443 =L= 0; e1092.. - b347 + b348 - b444 =L= 0; e1093.. - b347 - b348 + b349 - b445 =L= 0; e1094.. b350 - b446 =L= 0; e1095.. - b350 + b351 - b447 =L= 0; e1096.. - b350 - b351 + b352 - b448 =L= 0; e1097.. b353 - b449 =L= 0; e1098.. - b353 + b354 - b450 =L= 0; e1099.. - b353 - b354 + b355 - b451 =L= 0; e1100.. x14 - x95 - x452 =E= 0; e1101.. x15 - x96 - x453 =E= 0; e1102.. x16 - x97 - x454 =E= 0; e1103.. x26 - x98 - x485 =E= 0; e1104.. x27 - x99 - x486 =E= 0; e1105.. x28 - x100 - x487 =E= 0; e1106.. x59 - x101 - x536 =E= 0; e1107.. x60 - x102 - x537 =E= 0; e1108.. x61 - x103 - x538 =E= 0; e1109.. x62 - x104 - x539 =E= 0; e1110.. x63 - x105 - x540 =E= 0; e1111.. x64 - x106 - x541 =E= 0; e1112.. x452 - x455 - x458 =E= 0; e1113.. x453 - x456 - x459 =E= 0; e1114.. x454 - x457 - x460 =E= 0; e1115.. - x461 - x464 + x467 =E= 0; e1116.. - x462 - x465 + x468 =E= 0; e1117.. - x463 - x466 + x469 =E= 0; e1118.. x467 - x470 - x473 =E= 0; e1119.. x468 - x471 - x474 =E= 0; e1120.. x469 - x472 - x475 =E= 0; e1121.. x473 - x476 - x479 - x482 =E= 0; e1122.. x474 - x477 - x480 - x483 =E= 0; e1123.. x475 - x478 - x481 - x484 =E= 0; e1124.. x488 - x497 - x500 =E= 0; e1125.. x489 - x498 - x501 =E= 0; e1126.. x490 - x499 - x502 =E= 0; e1127.. x494 - x503 - x506 - x509 =E= 0; e1128.. x495 - x504 - x507 - x510 =E= 0; e1129.. x496 - x505 - x508 - x511 =E= 0; e1130.. x518 - x530 - x533 =E= 0; e1131.. x519 - x531 - x534 =E= 0; e1132.. x520 - x532 - x535 =E= 0; e1133.. - x521 - x539 + x542 =E= 0; e1134.. - x522 - x540 + x543 =E= 0; e1135.. - x523 - x541 + x544 =E= 0; e1136.. x524 - x545 - x548 =E= 0; e1137.. x525 - x546 - x549 =E= 0; e1138.. x526 - x547 - x550 =E= 0; e1139.. x527 - x551 - x554 - x557 =E= 0; e1140.. x528 - x552 - x555 - x558 =E= 0; e1141.. x529 - x553 - x556 - x559 =E= 0; e1142.. -log(1 + x455) + x461 + b587 =L= 1; e1143.. -log(1 + x456) + x462 + b588 =L= 1; e1144.. -log(1 + x457) + x463 + b589 =L= 1; e1145.. x455 - 40*b587 =L= 0; e1146.. x456 - 40*b588 =L= 0; e1147.. x457 - 40*b589 =L= 0; e1148.. x461 - 3.71357206670431*b587 =L= 0; e1149.. x462 - 3.71357206670431*b588 =L= 0; e1150.. x463 - 3.71357206670431*b589 =L= 0; e1151.. -1.2*log(1 + x458) + x464 + b590 =L= 1; e1152.. -1.2*log(1 + x459) + x465 + b591 =L= 1; e1153.. -1.2*log(1 + x460) + x466 + b592 =L= 1; e1154.. x458 - 40*b590 =L= 0; e1155.. x459 - 40*b591 =L= 0; e1156.. x460 - 40*b592 =L= 0; e1157.. x464 - 4.45628648004517*b590 =L= 0; e1158.. x465 - 4.45628648004517*b591 =L= 0; e1159.. x466 - 4.45628648004517*b592 =L= 0; e1160.. - 0.75*x476 + x488 + b593 =L= 1; e1161.. - 0.75*x477 + x489 + b594 =L= 1; e1162.. - 0.75*x478 + x490 + b595 =L= 1; e1163.. - 0.75*x476 + x488 - b593 =G= -1; e1164.. - 0.75*x477 + x489 - b594 =G= -1; e1165.. - 0.75*x478 + x490 - b595 =G= -1; e1166.. x476 - 4.45628648004517*b593 =L= 0; e1167.. x477 - 4.45628648004517*b594 =L= 0; e1168.. x478 - 4.45628648004517*b595 =L= 0; e1169.. x488 - 3.34221486003388*b593 =L= 0; e1170.. x489 - 3.34221486003388*b594 =L= 0; e1171.. x490 - 3.34221486003388*b595 =L= 0; e1172.. -1.5*log(1 + x479) + x491 + b596 =L= 1; e1173.. -1.5*log(1 + x480) + x492 + b597 =L= 1; e1174.. -1.5*log(1 + x481) + x493 + b598 =L= 1; e1175.. x479 - 4.45628648004517*b596 =L= 0; e1176.. x480 - 4.45628648004517*b597 =L= 0; e1177.. x481 - 4.45628648004517*b598 =L= 0; e1178.. x491 - 2.54515263975353*b596 =L= 0; e1179.. x492 - 2.54515263975353*b597 =L= 0; e1180.. x493 - 2.54515263975353*b598 =L= 0; e1181.. - x482 + x494 + b599 =L= 1; e1182.. - x483 + x495 + b600 =L= 1; e1183.. - x484 + x496 + b601 =L= 1; e1184.. - x482 + x494 - b599 =G= -1; e1185.. - x483 + x495 - b600 =G= -1; e1186.. - x484 + x496 - b601 =G= -1; e1187.. - 0.5*x485 + x494 + b599 =L= 1; e1188.. - 0.5*x486 + x495 + b600 =L= 1; e1189.. - 0.5*x487 + x496 + b601 =L= 1; e1190.. - 0.5*x485 + x494 - b599 =G= -1; e1191.. - 0.5*x486 + x495 - b600 =G= -1; e1192.. - 0.5*x487 + x496 - b601 =G= -1; e1193.. x482 - 4.45628648004517*b599 =L= 0; e1194.. x483 - 4.45628648004517*b600 =L= 0; e1195.. x484 - 4.45628648004517*b601 =L= 0; e1196.. x485 - 30*b599 =L= 0; e1197.. x486 - 30*b600 =L= 0; e1198.. x487 - 30*b601 =L= 0; e1199.. x494 - 15*b599 =L= 0; e1200.. x495 - 15*b600 =L= 0; e1201.. x496 - 15*b601 =L= 0; e1202.. -1.25*log(1 + x497) + x512 + b602 =L= 1; e1203.. -1.25*log(1 + x498) + x513 + b603 =L= 1; e1204.. -1.25*log(1 + x499) + x514 + b604 =L= 1; e1205.. x497 - 3.34221486003388*b602 =L= 0; e1206.. x498 - 3.34221486003388*b603 =L= 0; e1207.. x499 - 3.34221486003388*b604 =L= 0; e1208.. x512 - 1.83548069293539*b602 =L= 0; e1209.. x513 - 1.83548069293539*b603 =L= 0; e1210.. x514 - 1.83548069293539*b604 =L= 0; e1211.. -0.9*log(1 + x500) + x515 + b605 =L= 1; e1212.. -0.9*log(1 + x501) + x516 + b606 =L= 1; e1213.. -0.9*log(1 + x502) + x517 + b607 =L= 1; e1214.. x500 - 3.34221486003388*b605 =L= 0; e1215.. x501 - 3.34221486003388*b606 =L= 0; e1216.. x502 - 3.34221486003388*b607 =L= 0; e1217.. x515 - 1.32154609891348*b605 =L= 0; e1218.. x516 - 1.32154609891348*b606 =L= 0; e1219.. x517 - 1.32154609891348*b607 =L= 0; e1220.. -log(1 + x491) + x518 + b608 =L= 1; e1221.. -log(1 + x492) + x519 + b609 =L= 1; e1222.. -log(1 + x493) + x520 + b610 =L= 1; e1223.. x491 - 2.54515263975353*b608 =L= 0; e1224.. x492 - 2.54515263975353*b609 =L= 0; e1225.. x493 - 2.54515263975353*b610 =L= 0; e1226.. x518 - 1.26558121681553*b608 =L= 0; e1227.. x519 - 1.26558121681553*b609 =L= 0; e1228.. x520 - 1.26558121681553*b610 =L= 0; e1229.. - 0.9*x503 + x521 + b611 =L= 1; e1230.. - 0.9*x504 + x522 + b612 =L= 1; e1231.. - 0.9*x505 + x523 + b613 =L= 1; e1232.. - 0.9*x503 + x521 - b611 =G= -1; e1233.. - 0.9*x504 + x522 - b612 =G= -1; e1234.. - 0.9*x505 + x523 - b613 =G= -1; e1235.. x503 - 15*b611 =L= 0; e1236.. x504 - 15*b612 =L= 0; e1237.. x505 - 15*b613 =L= 0; e1238.. x521 - 13.5*b611 =L= 0; e1239.. x522 - 13.5*b612 =L= 0; e1240.. x523 - 13.5*b613 =L= 0; e1241.. - 0.6*x506 + x524 + b614 =L= 1; e1242.. - 0.6*x507 + x525 + b615 =L= 1; e1243.. - 0.6*x508 + x526 + b616 =L= 1; e1244.. - 0.6*x506 + x524 - b614 =G= -1; e1245.. - 0.6*x507 + x525 - b615 =G= -1; e1246.. - 0.6*x508 + x526 - b616 =G= -1; e1247.. x506 - 15*b614 =L= 0; e1248.. x507 - 15*b615 =L= 0; e1249.. x508 - 15*b616 =L= 0; e1250.. x524 - 9*b614 =L= 0; e1251.. x525 - 9*b615 =L= 0; e1252.. x526 - 9*b616 =L= 0; e1253.. -1.1*log(1 + x509) + x527 + b617 =L= 1; e1254.. -1.1*log(1 + x510) + x528 + b618 =L= 1; e1255.. -1.1*log(1 + x511) + x529 + b619 =L= 1; e1256.. x509 - 15*b617 =L= 0; e1257.. x510 - 15*b618 =L= 0; e1258.. x511 - 15*b619 =L= 0; e1259.. x527 - 3.04984759446376*b617 =L= 0; e1260.. x528 - 3.04984759446376*b618 =L= 0; e1261.. x529 - 3.04984759446376*b619 =L= 0; e1262.. - 0.9*x512 + x560 + b620 =L= 1; e1263.. - 0.9*x513 + x561 + b621 =L= 1; e1264.. - 0.9*x514 + x562 + b622 =L= 1; e1265.. - 0.9*x512 + x560 - b620 =G= -1; e1266.. - 0.9*x513 + x561 - b621 =G= -1; e1267.. - 0.9*x514 + x562 - b622 =G= -1; e1268.. - x536 + x560 + b620 =L= 1; e1269.. - x537 + x561 + b621 =L= 1; e1270.. - x538 + x562 + b622 =L= 1; e1271.. - x536 + x560 - b620 =G= -1; e1272.. - x537 + x561 - b621 =G= -1; e1273.. - x538 + x562 - b622 =G= -1; e1274.. x512 - 1.83548069293539*b620 =L= 0; e1275.. x513 - 1.83548069293539*b621 =L= 0; e1276.. x514 - 1.83548069293539*b622 =L= 0; e1277.. x536 - 20*b620 =L= 0; e1278.. x537 - 20*b621 =L= 0; e1279.. x538 - 20*b622 =L= 0; e1280.. x560 - 20*b620 =L= 0; e1281.. x561 - 20*b621 =L= 0; e1282.. x562 - 20*b622 =L= 0; e1283.. -log(1 + x515) + x563 + b623 =L= 1; e1284.. -log(1 + x516) + x564 + b624 =L= 1; e1285.. -log(1 + x517) + x565 + b625 =L= 1; e1286.. x515 - 1.32154609891348*b623 =L= 0; e1287.. x516 - 1.32154609891348*b624 =L= 0; e1288.. x517 - 1.32154609891348*b625 =L= 0; e1289.. x563 - 0.842233385663186*b623 =L= 0; e1290.. x564 - 0.842233385663186*b624 =L= 0; e1291.. x565 - 0.842233385663186*b625 =L= 0; e1292.. -0.7*log(1 + x530) + x566 + b626 =L= 1; e1293.. -0.7*log(1 + x531) + x567 + b627 =L= 1; e1294.. -0.7*log(1 + x532) + x568 + b628 =L= 1; e1295.. x530 - 1.26558121681553*b626 =L= 0; e1296.. x531 - 1.26558121681553*b627 =L= 0; e1297.. x532 - 1.26558121681553*b628 =L= 0; e1298.. x566 - 0.572481933717686*b626 =L= 0; e1299.. x567 - 0.572481933717686*b627 =L= 0; e1300.. x568 - 0.572481933717686*b628 =L= 0; e1301.. -0.65*log(1 + x533) + x569 + b629 =L= 1; e1302.. -0.65*log(1 + x534) + x570 + b630 =L= 1; e1303.. -0.65*log(1 + x535) + x571 + b631 =L= 1; e1304.. -0.65*log(1 + x542) + x569 + b629 =L= 1; e1305.. -0.65*log(1 + x543) + x570 + b630 =L= 1; e1306.. -0.65*log(1 + x544) + x571 + b631 =L= 1; e1307.. x533 - 1.26558121681553*b629 =L= 0; e1308.. x534 - 1.26558121681553*b630 =L= 0; e1309.. x535 - 1.26558121681553*b631 =L= 0; e1310.. x542 - 33.5*b629 =L= 0; e1311.. x543 - 33.5*b630 =L= 0; e1312.. x544 - 33.5*b631 =L= 0; e1313.. x569 - 2.30162356062425*b629 =L= 0; e1314.. x570 - 2.30162356062425*b630 =L= 0; e1315.. x571 - 2.30162356062425*b631 =L= 0; e1316.. - x545 + x572 + b632 =L= 1; e1317.. - x546 + x573 + b633 =L= 1; e1318.. - x547 + x574 + b634 =L= 1; e1319.. - x545 + x572 - b632 =G= -1; e1320.. - x546 + x573 - b633 =G= -1; e1321.. - x547 + x574 - b634 =G= -1; e1322.. x545 - 9*b632 =L= 0; e1323.. x546 - 9*b633 =L= 0; e1324.. x547 - 9*b634 =L= 0; e1325.. x572 - 9*b632 =L= 0; e1326.. x573 - 9*b633 =L= 0; e1327.. x574 - 9*b634 =L= 0; e1328.. - x548 + x575 + b635 =L= 1; e1329.. - x549 + x576 + b636 =L= 1; e1330.. - x550 + x577 + b637 =L= 1; e1331.. - x548 + x575 - b635 =G= -1; e1332.. - x549 + x576 - b636 =G= -1; e1333.. - x550 + x577 - b637 =G= -1; e1334.. x548 - 9*b635 =L= 0; e1335.. x549 - 9*b636 =L= 0; e1336.. x550 - 9*b637 =L= 0; e1337.. x575 - 9*b635 =L= 0; e1338.. x576 - 9*b636 =L= 0; e1339.. x577 - 9*b637 =L= 0; e1340.. -0.75*log(1 + x551) + x578 + b638 =L= 1; e1341.. -0.75*log(1 + x552) + x579 + b639 =L= 1; e1342.. -0.75*log(1 + x553) + x580 + b640 =L= 1; e1343.. x551 - 3.04984759446376*b638 =L= 0; e1344.. x552 - 3.04984759446376*b639 =L= 0; e1345.. x553 - 3.04984759446376*b640 =L= 0; e1346.. x578 - 1.04900943706034*b638 =L= 0; e1347.. x579 - 1.04900943706034*b639 =L= 0; e1348.. x580 - 1.04900943706034*b640 =L= 0; e1349.. -0.8*log(1 + x554) + x581 + b641 =L= 1; e1350.. -0.8*log(1 + x555) + x582 + b642 =L= 1; e1351.. -0.8*log(1 + x556) + x583 + b643 =L= 1; e1352.. x554 - 3.04984759446376*b641 =L= 0; e1353.. x555 - 3.04984759446376*b642 =L= 0; e1354.. x556 - 3.04984759446376*b643 =L= 0; e1355.. x581 - 1.11894339953103*b641 =L= 0; e1356.. x582 - 1.11894339953103*b642 =L= 0; e1357.. x583 - 1.11894339953103*b643 =L= 0; e1358.. -0.85*log(1 + x557) + x584 + b644 =L= 1; e1359.. -0.85*log(1 + x558) + x585 + b645 =L= 1; e1360.. -0.85*log(1 + x559) + x586 + b646 =L= 1; e1361.. x557 - 3.04984759446376*b644 =L= 0; e1362.. x558 - 3.04984759446376*b645 =L= 0; e1363.. x559 - 3.04984759446376*b646 =L= 0; e1364.. x584 - 1.18887736200171*b644 =L= 0; e1365.. x585 - 1.18887736200171*b645 =L= 0; e1366.. x586 - 1.18887736200171*b646 =L= 0; e1367.. 5*b647 + x707 =L= 0; e1368.. 4*b648 + x708 =L= 0; e1369.. 6*b649 + x709 =L= 0; e1370.. 8*b650 + x710 =L= 0; e1371.. 7*b651 + x711 =L= 0; e1372.. 6*b652 + x712 =L= 0; e1373.. 6*b653 + x713 =L= 0; e1374.. 9*b654 + x714 =L= 0; e1375.. 4*b655 + x715 =L= 0; e1376.. 10*b656 + x716 =L= 0; e1377.. 9*b657 + x717 =L= 0; e1378.. 5*b658 + x718 =L= 0; e1379.. 6*b659 + x719 =L= 0; e1380.. 10*b660 + x720 =L= 0; e1381.. 6*b661 + x721 =L= 0; e1382.. 7*b662 + x722 =L= 0; e1383.. 7*b663 + x723 =L= 0; e1384.. 4*b664 + x724 =L= 0; e1385.. 4*b665 + x725 =L= 0; e1386.. 3*b666 + x726 =L= 0; e1387.. 2*b667 + x727 =L= 0; e1388.. 5*b668 + x728 =L= 0; e1389.. 6*b669 + x729 =L= 0; e1390.. 7*b670 + x730 =L= 0; e1391.. 2*b671 + x731 =L= 0; e1392.. 5*b672 + x732 =L= 0; e1393.. 2*b673 + x733 =L= 0; e1394.. 4*b674 + x734 =L= 0; e1395.. 7*b675 + x735 =L= 0; e1396.. 4*b676 + x736 =L= 0; e1397.. 3*b677 + x737 =L= 0; e1398.. 9*b678 + x738 =L= 0; e1399.. 3*b679 + x739 =L= 0; e1400.. 7*b680 + x740 =L= 0; e1401.. 2*b681 + x741 =L= 0; e1402.. 9*b682 + x742 =L= 0; e1403.. 3*b683 + x743 =L= 0; e1404.. b684 + x744 =L= 0; e1405.. 9*b685 + x745 =L= 0; e1406.. 2*b686 + x746 =L= 0; e1407.. 6*b687 + x747 =L= 0; e1408.. 3*b688 + x748 =L= 0; e1409.. 4*b689 + x749 =L= 0; e1410.. 8*b690 + x750 =L= 0; e1411.. b691 + x751 =L= 0; e1412.. 2*b692 + x752 =L= 0; e1413.. 5*b693 + x753 =L= 0; e1414.. 2*b694 + x754 =L= 0; e1415.. 3*b695 + x755 =L= 0; e1416.. 4*b696 + x756 =L= 0; e1417.. 3*b697 + x757 =L= 0; e1418.. 5*b698 + x758 =L= 0; e1419.. 7*b699 + x759 =L= 0; e1420.. 6*b700 + x760 =L= 0; e1421.. 2*b701 + x761 =L= 0; e1422.. 8*b702 + x762 =L= 0; e1423.. 4*b703 + x763 =L= 0; e1424.. b704 + x764 =L= 0; e1425.. 4*b705 + x765 =L= 0; e1426.. b706 + x766 =L= 0; e1427.. 5*b647 + x707 =G= 0; e1428.. 4*b648 + x708 =G= 0; e1429.. 6*b649 + x709 =G= 0; e1430.. 8*b650 + x710 =G= 0; e1431.. 7*b651 + x711 =G= 0; e1432.. 6*b652 + x712 =G= 0; e1433.. 6*b653 + x713 =G= 0; e1434.. 9*b654 + x714 =G= 0; e1435.. 4*b655 + x715 =G= 0; e1436.. 10*b656 + x716 =G= 0; e1437.. 9*b657 + x717 =G= 0; e1438.. 5*b658 + x718 =G= 0; e1439.. 6*b659 + x719 =G= 0; e1440.. 10*b660 + x720 =G= 0; e1441.. 6*b661 + x721 =G= 0; e1442.. 7*b662 + x722 =G= 0; e1443.. 7*b663 + x723 =G= 0; e1444.. 4*b664 + x724 =G= 0; e1445.. 4*b665 + x725 =G= 0; e1446.. 3*b666 + x726 =G= 0; e1447.. 2*b667 + x727 =G= 0; e1448.. 5*b668 + x728 =G= 0; e1449.. 6*b669 + x729 =G= 0; e1450.. 7*b670 + x730 =G= 0; e1451.. 2*b671 + x731 =G= 0; e1452.. 5*b672 + x732 =G= 0; e1453.. 2*b673 + x733 =G= 0; e1454.. 4*b674 + x734 =G= 0; e1455.. 7*b675 + x735 =G= 0; e1456.. 4*b676 + x736 =G= 0; e1457.. 3*b677 + x737 =G= 0; e1458.. 9*b678 + x738 =G= 0; e1459.. 3*b679 + x739 =G= 0; e1460.. 7*b680 + x740 =G= 0; e1461.. 2*b681 + x741 =G= 0; e1462.. 9*b682 + x742 =G= 0; e1463.. 3*b683 + x743 =G= 0; e1464.. b684 + x744 =G= 0; e1465.. 9*b685 + x745 =G= 0; e1466.. 2*b686 + x746 =G= 0; e1467.. 6*b687 + x747 =G= 0; e1468.. 3*b688 + x748 =G= 0; e1469.. 4*b689 + x749 =G= 0; e1470.. 8*b690 + x750 =G= 0; e1471.. b691 + x751 =G= 0; e1472.. 2*b692 + x752 =G= 0; e1473.. 5*b693 + x753 =G= 0; e1474.. 2*b694 + x754 =G= 0; e1475.. 3*b695 + x755 =G= 0; e1476.. 4*b696 + x756 =G= 0; e1477.. 3*b697 + x757 =G= 0; e1478.. 5*b698 + x758 =G= 0; e1479.. 7*b699 + x759 =G= 0; e1480.. 6*b700 + x760 =G= 0; e1481.. 2*b701 + x761 =G= 0; e1482.. 8*b702 + x762 =G= 0; e1483.. 4*b703 + x763 =G= 0; e1484.. b704 + x764 =G= 0; e1485.. 4*b705 + x765 =G= 0; e1486.. b706 + x766 =G= 0; e1487.. b587 - b588 =L= 0; e1488.. b587 - b589 =L= 0; e1489.. b588 - b589 =L= 0; e1490.. b590 - b591 =L= 0; e1491.. b590 - b592 =L= 0; e1492.. b591 - b592 =L= 0; e1493.. b593 - b594 =L= 0; e1494.. b593 - b595 =L= 0; e1495.. b594 - b595 =L= 0; e1496.. b596 - b597 =L= 0; e1497.. b596 - b598 =L= 0; e1498.. b597 - b598 =L= 0; e1499.. b599 - b600 =L= 0; e1500.. b599 - b601 =L= 0; e1501.. b600 - b601 =L= 0; e1502.. b602 - b603 =L= 0; e1503.. b602 - b604 =L= 0; e1504.. b603 - b604 =L= 0; e1505.. b605 - b606 =L= 0; e1506.. b605 - b607 =L= 0; e1507.. b606 - b607 =L= 0; e1508.. b608 - b609 =L= 0; e1509.. b608 - b610 =L= 0; e1510.. b609 - b610 =L= 0; e1511.. b611 - b612 =L= 0; e1512.. b611 - b613 =L= 0; e1513.. b612 - b613 =L= 0; e1514.. b614 - b615 =L= 0; e1515.. b614 - b616 =L= 0; e1516.. b615 - b616 =L= 0; e1517.. b617 - b618 =L= 0; e1518.. b617 - b619 =L= 0; e1519.. b618 - b619 =L= 0; e1520.. b620 - b621 =L= 0; e1521.. b620 - b622 =L= 0; e1522.. b621 - b622 =L= 0; e1523.. b623 - b624 =L= 0; e1524.. b623 - b625 =L= 0; e1525.. b624 - b625 =L= 0; e1526.. b626 - b627 =L= 0; e1527.. b626 - b628 =L= 0; e1528.. b627 - b628 =L= 0; e1529.. b629 - b630 =L= 0; e1530.. b629 - b631 =L= 0; e1531.. b630 - b631 =L= 0; e1532.. b632 - b633 =L= 0; e1533.. b632 - b634 =L= 0; e1534.. b633 - b634 =L= 0; e1535.. b635 - b636 =L= 0; e1536.. b635 - b637 =L= 0; e1537.. b636 - b637 =L= 0; e1538.. b638 - b639 =L= 0; e1539.. b638 - b640 =L= 0; e1540.. b639 - b640 =L= 0; e1541.. b641 - b642 =L= 0; e1542.. b641 - b643 =L= 0; e1543.. b642 - b643 =L= 0; e1544.. b644 - b645 =L= 0; e1545.. b644 - b646 =L= 0; e1546.. b645 - b646 =L= 0; e1547.. b647 + b648 =L= 1; e1548.. b647 + b649 =L= 1; e1549.. b647 + b648 =L= 1; e1550.. b648 + b649 =L= 1; e1551.. b647 + b649 =L= 1; e1552.. b648 + b649 =L= 1; e1553.. b650 + b651 =L= 1; e1554.. b650 + b652 =L= 1; e1555.. b650 + b651 =L= 1; e1556.. b651 + b652 =L= 1; e1557.. b650 + b652 =L= 1; e1558.. b651 + b652 =L= 1; e1559.. b653 + b654 =L= 1; e1560.. b653 + b655 =L= 1; e1561.. b653 + b654 =L= 1; e1562.. b654 + b655 =L= 1; e1563.. b653 + b655 =L= 1; e1564.. b654 + b655 =L= 1; e1565.. b656 + b657 =L= 1; e1566.. b656 + b658 =L= 1; e1567.. b656 + b657 =L= 1; e1568.. b657 + b658 =L= 1; e1569.. b656 + b658 =L= 1; e1570.. b657 + b658 =L= 1; e1571.. b659 + b660 =L= 1; e1572.. b659 + b661 =L= 1; e1573.. b659 + b660 =L= 1; e1574.. b660 + b661 =L= 1; e1575.. b659 + b661 =L= 1; e1576.. b660 + b661 =L= 1; e1577.. b662 + b663 =L= 1; e1578.. b662 + b664 =L= 1; e1579.. b662 + b663 =L= 1; e1580.. b663 + b664 =L= 1; e1581.. b662 + b664 =L= 1; e1582.. b663 + b664 =L= 1; e1583.. b665 + b666 =L= 1; e1584.. b665 + b667 =L= 1; e1585.. b665 + b666 =L= 1; e1586.. b666 + b667 =L= 1; e1587.. b665 + b667 =L= 1; e1588.. b666 + b667 =L= 1; e1589.. b668 + b669 =L= 1; e1590.. b668 + b670 =L= 1; e1591.. b668 + b669 =L= 1; e1592.. b669 + b670 =L= 1; e1593.. b668 + b670 =L= 1; e1594.. b669 + b670 =L= 1; e1595.. b671 + b672 =L= 1; e1596.. b671 + b673 =L= 1; e1597.. b671 + b672 =L= 1; e1598.. b672 + b673 =L= 1; e1599.. b671 + b673 =L= 1; e1600.. b672 + b673 =L= 1; e1601.. b674 + b675 =L= 1; e1602.. b674 + b676 =L= 1; e1603.. b674 + b675 =L= 1; e1604.. b675 + b676 =L= 1; e1605.. b674 + b676 =L= 1; e1606.. b675 + b676 =L= 1; e1607.. b677 + b678 =L= 1; e1608.. b677 + b679 =L= 1; e1609.. b677 + b678 =L= 1; e1610.. b678 + b679 =L= 1; e1611.. b677 + b679 =L= 1; e1612.. b678 + b679 =L= 1; e1613.. b680 + b681 =L= 1; e1614.. b680 + b682 =L= 1; e1615.. b680 + b681 =L= 1; e1616.. b681 + b682 =L= 1; e1617.. b680 + b682 =L= 1; e1618.. b681 + b682 =L= 1; e1619.. b683 + b684 =L= 1; e1620.. b683 + b685 =L= 1; e1621.. b683 + b684 =L= 1; e1622.. b684 + b685 =L= 1; e1623.. b683 + b685 =L= 1; e1624.. b684 + b685 =L= 1; e1625.. b686 + b687 =L= 1; e1626.. b686 + b688 =L= 1; e1627.. b686 + b687 =L= 1; e1628.. b687 + b688 =L= 1; e1629.. b686 + b688 =L= 1; e1630.. b687 + b688 =L= 1; e1631.. b689 + b690 =L= 1; e1632.. b689 + b691 =L= 1; e1633.. b689 + b690 =L= 1; e1634.. b690 + b691 =L= 1; e1635.. b689 + b691 =L= 1; e1636.. b690 + b691 =L= 1; e1637.. b692 + b693 =L= 1; e1638.. b692 + b694 =L= 1; e1639.. b692 + b693 =L= 1; e1640.. b693 + b694 =L= 1; e1641.. b692 + b694 =L= 1; e1642.. b693 + b694 =L= 1; e1643.. b695 + b696 =L= 1; e1644.. b695 + b697 =L= 1; e1645.. b695 + b696 =L= 1; e1646.. b696 + b697 =L= 1; e1647.. b695 + b697 =L= 1; e1648.. b696 + b697 =L= 1; e1649.. b698 + b699 =L= 1; e1650.. b698 + b700 =L= 1; e1651.. b698 + b699 =L= 1; e1652.. b699 + b700 =L= 1; e1653.. b698 + b700 =L= 1; e1654.. b699 + b700 =L= 1; e1655.. b701 + b702 =L= 1; e1656.. b701 + b703 =L= 1; e1657.. b701 + b702 =L= 1; e1658.. b702 + b703 =L= 1; e1659.. b701 + b703 =L= 1; e1660.. b702 + b703 =L= 1; e1661.. b704 + b705 =L= 1; e1662.. b704 + b706 =L= 1; e1663.. b704 + b705 =L= 1; e1664.. b705 + b706 =L= 1; e1665.. b704 + b706 =L= 1; e1666.. b705 + b706 =L= 1; e1667.. b587 - b647 =L= 0; e1668.. - b587 + b588 - b648 =L= 0; e1669.. - b587 - b588 + b589 - b649 =L= 0; e1670.. b590 - b650 =L= 0; e1671.. - b590 + b591 - b651 =L= 0; e1672.. - b590 - b591 + b592 - b652 =L= 0; e1673.. b593 - b653 =L= 0; e1674.. - b593 + b594 - b654 =L= 0; e1675.. - b593 - b594 + b595 - b655 =L= 0; e1676.. b596 - b656 =L= 0; e1677.. - b596 + b597 - b657 =L= 0; e1678.. - b596 - b597 + b598 - b658 =L= 0; e1679.. b599 - b659 =L= 0; e1680.. - b599 + b600 - b660 =L= 0; e1681.. - b599 - b600 + b601 - b661 =L= 0; e1682.. b602 - b662 =L= 0; e1683.. - b602 + b603 - b663 =L= 0; e1684.. - b602 - b603 + b604 - b664 =L= 0; e1685.. b605 - b665 =L= 0; e1686.. - b605 + b606 - b666 =L= 0; e1687.. - b605 - b606 + b607 - b667 =L= 0; e1688.. b608 - b668 =L= 0; e1689.. - b608 + b609 - b669 =L= 0; e1690.. - b608 - b609 + b610 - b670 =L= 0; e1691.. b611 - b671 =L= 0; e1692.. - b611 + b612 - b672 =L= 0; e1693.. - b611 - b612 + b613 - b673 =L= 0; e1694.. b614 - b674 =L= 0; e1695.. - b614 + b615 - b675 =L= 0; e1696.. - b614 - b615 + b616 - b676 =L= 0; e1697.. b617 - b677 =L= 0; e1698.. - b617 + b618 - b678 =L= 0; e1699.. - b617 - b618 + b619 - b679 =L= 0; e1700.. b620 - b680 =L= 0; e1701.. - b620 + b621 - b681 =L= 0; e1702.. - b620 - b621 + b622 - b682 =L= 0; e1703.. b623 - b683 =L= 0; e1704.. - b623 + b624 - b684 =L= 0; e1705.. - b623 - b624 + b625 - b685 =L= 0; e1706.. b626 - b686 =L= 0; e1707.. - b626 + b627 - b687 =L= 0; e1708.. - b626 - b627 + b628 - b688 =L= 0; e1709.. b629 - b689 =L= 0; e1710.. - b629 + b630 - b690 =L= 0; e1711.. - b629 - b630 + b631 - b691 =L= 0; e1712.. b632 - b692 =L= 0; e1713.. - b632 + b633 - b693 =L= 0; e1714.. - b632 - b633 + b634 - b694 =L= 0; e1715.. b635 - b695 =L= 0; e1716.. - b635 + b636 - b696 =L= 0; e1717.. - b635 - b636 + b637 - b697 =L= 0; e1718.. b638 - b698 =L= 0; e1719.. - b638 + b639 - b699 =L= 0; e1720.. - b638 - b639 + b640 - b700 =L= 0; e1721.. b641 - b701 =L= 0; e1722.. - b641 + b642 - b702 =L= 0; e1723.. - b641 - b642 + b643 - b703 =L= 0; e1724.. b644 - b704 =L= 0; e1725.. - b644 + b645 - b705 =L= 0; e1726.. - b644 - b645 + b646 - b706 =L= 0; e1727.. b587 + b590 =E= 1; e1728.. b588 + b591 =E= 1; e1729.. b589 + b592 =E= 1; e1730.. - b593 + b602 + b605 =G= 0; e1731.. - b594 + b603 + b606 =G= 0; e1732.. - b595 + b604 + b607 =G= 0; e1733.. - b602 + b620 =G= 0; e1734.. - b603 + b621 =G= 0; e1735.. - b604 + b622 =G= 0; e1736.. - b605 + b623 =G= 0; e1737.. - b606 + b624 =G= 0; e1738.. - b607 + b625 =G= 0; e1739.. - b596 + b608 =G= 0; e1740.. - b597 + b609 =G= 0; e1741.. - b598 + b610 =G= 0; e1742.. - b608 + b626 + b629 =G= 0; e1743.. - b609 + b627 + b630 =G= 0; e1744.. - b610 + b628 + b631 =G= 0; e1745.. - b599 + b611 + b614 + b617 =G= 0; e1746.. - b600 + b612 + b615 + b618 =G= 0; e1747.. - b601 + b613 + b616 + b619 =G= 0; e1748.. - b611 + b629 =G= 0; e1749.. - b612 + b630 =G= 0; e1750.. - b613 + b631 =G= 0; e1751.. - b614 + b632 + b635 =G= 0; e1752.. - b615 + b633 + b636 =G= 0; e1753.. - b616 + b634 + b637 =G= 0; e1754.. - b617 + b638 + b641 + b644 =G= 0; e1755.. - b618 + b639 + b642 + b645 =G= 0; e1756.. - b619 + b640 + b643 + b646 =G= 0; e1757.. b587 + b590 - b593 =G= 0; e1758.. b588 + b591 - b594 =G= 0; e1759.. b589 + b592 - b595 =G= 0; e1760.. b587 + b590 - b596 =G= 0; e1761.. b588 + b591 - b597 =G= 0; e1762.. b589 + b592 - b598 =G= 0; e1763.. b587 + b590 - b599 =G= 0; e1764.. b588 + b591 - b600 =G= 0; e1765.. b589 + b592 - b601 =G= 0; e1766.. b593 - b602 =G= 0; e1767.. b594 - b603 =G= 0; e1768.. b595 - b604 =G= 0; e1769.. b593 - b605 =G= 0; e1770.. b594 - b606 =G= 0; e1771.. b595 - b607 =G= 0; e1772.. b596 - b608 =G= 0; e1773.. b597 - b609 =G= 0; e1774.. b598 - b610 =G= 0; e1775.. b599 - b611 =G= 0; e1776.. b600 - b612 =G= 0; e1777.. b601 - b613 =G= 0; e1778.. b599 - b614 =G= 0; e1779.. b600 - b615 =G= 0; e1780.. b601 - b616 =G= 0; e1781.. b599 - b617 =G= 0; e1782.. b600 - b618 =G= 0; e1783.. b601 - b619 =G= 0; e1784.. b602 - b620 =G= 0; e1785.. b603 - b621 =G= 0; e1786.. b604 - b622 =G= 0; e1787.. b605 - b623 =G= 0; e1788.. b606 - b624 =G= 0; e1789.. b607 - b625 =G= 0; e1790.. b608 - b626 =G= 0; e1791.. b609 - b627 =G= 0; e1792.. b610 - b628 =G= 0; e1793.. b608 - b629 =G= 0; e1794.. b609 - b630 =G= 0; e1795.. b610 - b631 =G= 0; e1796.. b614 - b632 =G= 0; e1797.. b615 - b633 =G= 0; e1798.. b616 - b634 =G= 0; e1799.. b614 - b635 =G= 0; e1800.. b615 - b636 =G= 0; e1801.. b616 - b637 =G= 0; e1802.. b617 - b638 =G= 0; e1803.. b618 - b639 =G= 0; e1804.. b619 - b640 =G= 0; e1805.. b617 - b641 =G= 0; e1806.. b618 - b642 =G= 0; e1807.. b619 - b643 =G= 0; e1808.. b617 - b644 =G= 0; e1809.. b618 - b645 =G= 0; e1810.. b619 - b646 =G= 0; * set non-default bounds x452.up = 40; x453.up = 40; x454.up = 40; x485.up = 30; x486.up = 30; x487.up = 30; x536.up = 20; x537.up = 20; x538.up = 20; x539.up = 20; x540.up = 20; x541.up = 20; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set MINLP $set MINLP MINLP Solve m using %MINLP% maximizing objvar;
Last updated: 2024-12-17 Git hash: 8eaceb91