MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance rsyn0830m03m
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ⓘ | 1543.05932200 (ALPHAECP) 1543.06047200 (ANTIGONE) 1543.05930000 (AOA) 1543.05932600 (BARON) 5972.58200000 (BONMIN) 7768.12544600 (COUENNE) 1543.05932200 (LINDO) 1543.06031000 (SCIP) 1543.06069200 (SHOT) |
Referencesⓘ | Sawaya, Nicolas W, Reformulations, relaxations and cutting planes for generalized disjunctive programming, PhD thesis, Carnegie Mellon University, 2006. |
Sourceⓘ | RSyn0830M03M.gms from CMU-IBM MINLP solver project page |
Applicationⓘ | Retrofit Planning |
Added to libraryⓘ | 28 Sep 2013 |
Problem typeⓘ | MBNLP |
#Variablesⓘ | 930 |
#Binary Variablesⓘ | 372 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 60 |
#Nonlinear Binary Variablesⓘ | 0 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | max |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 258 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 2151 |
#Linear Constraintsⓘ | 2091 |
#Quadratic Constraintsⓘ | 0 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 60 |
Operands in Gen. Nonlin. Functionsⓘ | log |
Constraints curvatureⓘ | convex |
#Nonzeros in Jacobianⓘ | 5100 |
#Nonlinear Nonzeros in Jacobianⓘ | 60 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 60 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 60 |
#Blocks in Hessian of Lagrangianⓘ | 60 |
Minimal blocksize in Hessian of Lagrangianⓘ | 1 |
Maximal blocksize in Hessian of Lagrangianⓘ | 1 |
Average blocksize in Hessian of Lagrangianⓘ | 1.0 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 2.0000e-01 |
Maximal coefficientⓘ | 4.3000e+02 |
Infeasibility of initial pointⓘ | 1.4 |
Sparsity Jacobianⓘ | |
Sparsity Hessian of Lagrangianⓘ |
$offlisting * * Equation counts * Total E G L N X C B * 2152 280 477 1395 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 931 559 372 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL DLL * 5359 5299 60 0 * * Solve m using MINLP maximizing objvar; Variables objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18 ,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35 ,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52 ,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69 ,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86 ,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102 ,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115 ,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128 ,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141 ,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154 ,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167 ,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180 ,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193 ,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206 ,x207,x208,x209,x210,x211,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,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596 ,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609 ,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622 ,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635 ,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648 ,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661 ,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,b707,b708,b709,b710,b711,b712,b713 ,b714,b715,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725,b726 ,b727,b728,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738,b739 ,b740,b741,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751,b752 ,b753,b754,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764,b765 ,b766,b767,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777,b778 ,b779,b780,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790,b791 ,b792,b793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804 ,b805,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817 ,b818,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830 ,b831,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,x842,x843 ,x844,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856 ,x857,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869 ,x870,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882 ,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895 ,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908 ,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921 ,x922,x923,x924,x925,x926,x927,x928,x929,x930,x931; 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,x587,x588,x589,x590,x591,x592 ,x593,x594,x595,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605 ,x606,x607,x608,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618 ,x619,x620,x621,x622,x623,x624,x625,x626,x627,x628,x629,x630,x631 ,x632,x633,x634,x635,x636,x637,x638,x639,x640,x641,x642,x643,x644 ,x645,x646,x647,x648,x649,x650,x651,x652,x653,x654,x655,x656,x657 ,x658,x659,x660,x661; 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,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,b707,b708,b709,b710,b711,b712,b713,b714,b715 ,b716,b717,b718,b719,b720,b721,b722,b723,b724,b725,b726,b727,b728 ,b729,b730,b731,b732,b733,b734,b735,b736,b737,b738,b739,b740,b741 ,b742,b743,b744,b745,b746,b747,b748,b749,b750,b751,b752,b753,b754 ,b755,b756,b757,b758,b759,b760,b761,b762,b763,b764,b765,b766,b767 ,b768,b769,b770,b771,b772,b773,b774,b775,b776,b777,b778,b779,b780 ,b781,b782,b783,b784,b785,b786,b787,b788,b789,b790,b791,b792,b793 ,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804,b805,b806 ,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817,b818,b819 ,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830,b831,b832 ,b833,b834,b835,b836,b837,b838,b839,b840,b841; 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,e1811,e1812,e1813,e1814 ,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825 ,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836 ,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847 ,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858 ,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869 ,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880 ,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891 ,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902 ,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913 ,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924 ,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935 ,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946 ,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957 ,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968 ,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979 ,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990 ,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001 ,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012 ,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023 ,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034 ,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045 ,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056 ,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067 ,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078 ,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089 ,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100 ,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111 ,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122 ,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133 ,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144 ,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152; 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 - 40*x560 - 30*x561 - 15*x562 - 15*x563 - 20*x564 - 25*x565 - 10*x566 - 30*x567 - 40*x568 - 30*x569 - 20*x570 - 20*x571 - 35*x572 - 50*x573 - 20*x574 - 20*x575 - 30*x576 - 35*x577 - 25*x578 - 50*x579 - 10*x580 - 15*x581 - 20*x582 - 20*x583 - 30*x605 - 40*x606 - 40*x607 + x620 + x621 + x622 - 80*x644 - 90*x645 - 120*x646 - 285*x647 - 390*x648 - 350*x649 - 290*x650 - 405*x651 - 190*x652 - 280*x653 - 400*x654 - 430*x655 - 290*x656 - 300*x657 - 240*x658 - 350*x659 - 250*x660 - 300*x661 + 5*b752 + 4*b753 + 6*b754 + 8*b755 + 7*b756 + 6*b757 + 6*b758 + 9*b759 + 4*b760 + 10*b761 + 9*b762 + 5*b763 + 6*b764 + 10*b765 + 6*b766 + 7*b767 + 7*b768 + 4*b769 + 4*b770 + 3*b771 + 2*b772 + 5*b773 + 6*b774 + 7*b775 + 2*b776 + 5*b777 + 2*b778 + 4*b779 + 7*b780 + 4*b781 + 3*b782 + 9*b783 + 3*b784 + 7*b785 + 2*b786 + 9*b787 + 3*b788 + b789 + 9*b790 + 2*b791 + 6*b792 + 3*b793 + 4*b794 + 8*b795 + b796 + 2*b797 + 5*b798 + 2*b799 + 3*b800 + 4*b801 + 3*b802 + 5*b803 + 7*b804 + 6*b805 + 2*b806 + 8*b807 + 4*b808 + b809 + 4*b810 + b811 + 2*b812 + 5*b813 + 2*b814 + 9*b815 + 2*b816 + 9*b817 + 5*b818 + 8*b819 + 4*b820 + 2*b821 + 3*b822 + 8*b823 + 10*b824 + 6*b825 + 3*b826 + 4*b827 + 8*b828 + 7*b829 + 7*b830 + 3*b831 + 9*b832 + 4*b833 + 8*b834 + 6*b835 + 2*b836 + b837 + 3*b838 + 8*b839 + 3*b840 + 4*b841 =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= 1.2; e108.. x78 =G= 1.15; e109.. x79 =G= 1.1; e110.. x83 =G= 1.2; e111.. x84 =G= 1.15; e112.. x85 =G= 1.1; e113.. x95 =G= 1.1; e114.. x96 =G= 1.1; e115.. x97 =G= 1.1; e116.. x98 =G= 1.1; e117.. x99 =G= 1.1; e118.. x100 =G= 1.1; e119.. x101 =G= 1.4; e120.. x102 =G= 1.3; e121.. x103 =G= 1.2; e122.. x104 =G= 1.3; e123.. x105 =G= 1.2; e124.. x106 =G= 1.1; e125.. x2 =L= 55; e126.. x3 =L= 40; e127.. x4 =L= 40; e128.. x17 =L= 46; e129.. x18 =L= 41; e130.. x19 =L= 50; e131.. x29 =L= 45; e132.. x30 =L= 62; e133.. x31 =L= 42; e134.. x65 =L= 54; e135.. x66 =L= 51; e136.. x67 =L= 50; e137.. x86 =L= 40; e138.. x87 =L= 45; e139.. x88 =L= 41; 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 + 233.75*b260 =L= 233.75; e210.. - 0.8*x111 + x117 + 170*b261 =L= 170; e211.. - 0.8*x112 + x118 + 170*b262 =L= 170; e212.. - 0.85*x110 + x116 + 233.75*b263 =L= 233.75; e213.. - 0.85*x111 + x117 + 170*b264 =L= 170; e214.. - 0.85*x112 + x118 + 170*b265 =L= 170; e215.. - 0.8*x110 + x116 + 233.75*b266 =L= 233.75; e216.. - 0.8*x111 + x117 + 170*b267 =L= 170; e217.. - 0.8*x112 + x118 + 170*b268 =L= 170; e218.. - 0.85*x110 + x116 + 233.75*b269 =L= 233.75; e219.. - 0.85*x111 + x117 + 170*b270 =L= 170; e220.. - 0.85*x112 + x118 + 170*b271 =L= 170; e221.. - 0.8*x110 + x116 - 233.75*b260 =G= -233.75; e222.. - 0.8*x111 + x117 - 170*b261 =G= -170; e223.. - 0.8*x112 + x118 - 170*b262 =G= -170; e224.. - 0.85*x110 + x116 - 233.75*b263 =G= -233.75; e225.. - 0.85*x111 + x117 - 170*b264 =G= -170; e226.. - 0.85*x112 + x118 - 170*b265 =G= -170; e227.. - 0.8*x110 + x116 - 233.75*b266 =G= -233.75; e228.. - 0.8*x111 + x117 - 170*b267 =G= -170; e229.. - 0.8*x112 + x118 - 170*b268 =G= -170; e230.. - 0.85*x110 + x116 - 233.75*b269 =G= -233.75; e231.. - 0.85*x111 + x117 - 170*b270 =G= -170; e232.. - 0.85*x112 + x118 - 170*b271 =G= -170; e233.. - 0.9*x113 + x128 + 383.5625*b272 =L= 383.5625; e234.. - 0.9*x114 + x129 + 316.001666666667*b273 =L= 316.001666666667; e235.. - 0.9*x115 + x130 + 317.585*b274 =L= 317.585; e236.. - 0.95*x113 + x128 + 383.5625*b275 =L= 383.5625; e237.. - 0.95*x114 + x129 + 316.001666666667*b276 =L= 316.001666666667; e238.. - 0.95*x115 + x130 + 317.585*b277 =L= 317.585; e239.. - 0.9*x113 + x128 + 383.5625*b278 =L= 383.5625; e240.. - 0.9*x114 + x129 + 316.001666666667*b279 =L= 316.001666666667; e241.. - 0.9*x115 + x130 + 317.585*b280 =L= 317.585; e242.. - 0.95*x113 + x128 + 383.5625*b281 =L= 383.5625; e243.. - 0.95*x114 + x129 + 316.001666666667*b282 =L= 316.001666666667; e244.. - 0.95*x115 + x130 + 317.585*b283 =L= 317.585; e245.. - 0.9*x113 + x128 - 261.25*b272 =G= -261.25; e246.. - 0.9*x114 + x129 - 190*b273 =G= -190; e247.. - 0.9*x115 + x130 - 190*b274 =G= -190; e248.. - 0.95*x113 + x128 - 261.25*b275 =G= -261.25; e249.. - 0.95*x114 + x129 - 190*b276 =G= -190; e250.. - 0.95*x115 + x130 - 190*b277 =G= -190; e251.. - 0.9*x113 + x128 - 261.25*b278 =G= -261.25; e252.. - 0.9*x114 + x129 - 190*b279 =G= -190; e253.. - 0.9*x115 + x130 - 190*b280 =G= -190; e254.. - 0.95*x113 + x128 - 261.25*b281 =G= -261.25; e255.. - 0.95*x114 + x129 - 190*b282 =G= -190; e256.. - 0.95*x115 + x130 - 190*b283 =G= -190; e257.. - 0.85*x137 + x140 + 36.75*b284 =L= 36.75; e258.. - 0.85*x138 + x141 + 50.6333333333333*b285 =L= 50.6333333333333; e259.. - 0.85*x139 + x142 + 34.3*b286 =L= 34.3; e260.. - 0.98*x137 + x140 + 36.75*b287 =L= 36.75; e261.. - 0.98*x138 + x141 + 50.6333333333333*b288 =L= 50.6333333333333; e262.. - 0.98*x139 + x142 + 34.3*b289 =L= 34.3; e263.. - 0.85*x137 + x140 + 36.75*b290 =L= 36.75; e264.. - 0.85*x138 + x141 + 50.6333333333333*b291 =L= 50.6333333333333; e265.. - 0.85*x139 + x142 + 34.3*b292 =L= 34.3; e266.. - 0.98*x137 + x140 + 36.75*b293 =L= 36.75; e267.. - 0.98*x138 + x141 + 50.6333333333333*b294 =L= 50.6333333333333; e268.. - 0.98*x139 + x142 + 34.3*b295 =L= 34.3; e269.. - 0.85*x137 + x143 + 36.75*b284 =L= 36.75; e270.. - 0.85*x138 + x144 + 50.6333333333333*b285 =L= 50.6333333333333; e271.. - 0.85*x139 + x145 + 34.3*b286 =L= 34.3; e272.. - 0.98*x137 + x143 + 36.75*b287 =L= 36.75; e273.. - 0.98*x138 + x144 + 50.6333333333333*b288 =L= 50.6333333333333; e274.. - 0.98*x139 + x145 + 34.3*b289 =L= 34.3; e275.. - 0.85*x137 + x143 + 36.75*b290 =L= 36.75; e276.. - 0.85*x138 + x144 + 50.6333333333333*b291 =L= 50.6333333333333; e277.. - 0.85*x139 + x145 + 34.3*b292 =L= 34.3; e278.. - 0.98*x137 + x143 + 36.75*b293 =L= 36.75; e279.. - 0.98*x138 + x144 + 50.6333333333333*b294 =L= 50.6333333333333; e280.. - 0.98*x139 + x145 + 34.3*b295 =L= 34.3; e281.. - 0.85*x137 + x140 - 36.75*b284 =G= -36.75; e282.. - 0.85*x138 + x141 - 50.6333333333333*b285 =G= -50.6333333333333; e283.. - 0.85*x139 + x142 - 34.3*b286 =G= -34.3; e284.. - 0.98*x137 + x140 - 36.75*b287 =G= -36.75; e285.. - 0.98*x138 + x141 - 50.6333333333333*b288 =G= -50.6333333333333; e286.. - 0.98*x139 + x142 - 34.3*b289 =G= -34.3; e287.. - 0.85*x137 + x140 - 36.75*b290 =G= -36.75; e288.. - 0.85*x138 + x141 - 50.6333333333333*b291 =G= -50.6333333333333; e289.. - 0.85*x139 + x142 - 34.3*b292 =G= -34.3; e290.. - 0.98*x137 + x140 - 36.75*b293 =G= -36.75; e291.. - 0.98*x138 + x141 - 50.6333333333333*b294 =G= -50.6333333333333; e292.. - 0.98*x139 + x142 - 34.3*b295 =G= -34.3; e293.. - 0.85*x137 + x143 - 36.75*b284 =G= -36.75; e294.. - 0.85*x138 + x144 - 50.6333333333333*b285 =G= -50.6333333333333; e295.. - 0.85*x139 + x145 - 34.3*b286 =G= -34.3; e296.. - 0.98*x137 + x143 - 36.75*b287 =G= -36.75; e297.. - 0.98*x138 + x144 - 50.6333333333333*b288 =G= -50.6333333333333; e298.. - 0.98*x139 + x145 - 34.3*b289 =G= -34.3; e299.. - 0.85*x137 + x143 - 36.75*b290 =G= -36.75; e300.. - 0.85*x138 + x144 - 50.6333333333333*b291 =G= -50.6333333333333; e301.. - 0.85*x139 + x145 - 34.3*b292 =G= -34.3; e302.. - 0.98*x137 + x143 - 36.75*b293 =G= -36.75; e303.. - 0.98*x138 + x144 - 50.6333333333333*b294 =G= -50.6333333333333; e304.. - 0.98*x139 + x145 - 34.3*b295 =G= -34.3; e305.. - 0.85*x146 + x149 + 33.75*b296 =L= 33.75; e306.. - 0.85*x147 + x150 + 46.5*b297 =L= 46.5; e307.. - 0.85*x148 + x151 + 31.5*b298 =L= 31.5; e308.. - 0.9*x146 + x149 + 33.75*b299 =L= 33.75; e309.. - 0.9*x147 + x150 + 46.5*b300 =L= 46.5; e310.. - 0.9*x148 + x151 + 31.5*b301 =L= 31.5; e311.. - 0.85*x146 + x149 + 33.75*b302 =L= 33.75; e312.. - 0.85*x147 + x150 + 46.5*b303 =L= 46.5; e313.. - 0.85*x148 + x151 + 31.5*b304 =L= 31.5; e314.. - 0.9*x146 + x149 + 33.75*b305 =L= 33.75; e315.. - 0.9*x147 + x150 + 46.5*b306 =L= 46.5; e316.. - 0.9*x148 + x151 + 31.5*b307 =L= 31.5; e317.. - 0.85*x146 + x149 - 33.75*b296 =G= -33.75; e318.. - 0.85*x147 + x150 - 46.5*b297 =G= -46.5; e319.. - 0.85*x148 + x151 - 31.5*b298 =G= -31.5; e320.. - 0.9*x146 + x149 - 33.75*b299 =G= -33.75; e321.. - 0.9*x147 + x150 - 46.5*b300 =G= -46.5; e322.. - 0.9*x148 + x151 - 31.5*b301 =G= -31.5; e323.. - 0.85*x146 + x149 - 33.75*b302 =G= -33.75; e324.. - 0.85*x147 + x150 - 46.5*b303 =G= -46.5; e325.. - 0.85*x148 + x151 - 31.5*b304 =G= -31.5; e326.. - 0.9*x146 + x149 - 33.75*b305 =G= -33.75; e327.. - 0.9*x147 + x150 - 46.5*b306 =G= -46.5; e328.. - 0.9*x148 + x151 - 31.5*b307 =G= -31.5; e329.. - 0.75*x155 + x158 + 32.0625*b308 =L= 32.0625; e330.. - 0.75*x156 + x159 + 44.175*b309 =L= 44.175; e331.. - 0.75*x157 + x160 + 29.925*b310 =L= 29.925; e332.. - 0.95*x155 + x158 + 32.0625*b311 =L= 32.0625; e333.. - 0.95*x156 + x159 + 44.175*b312 =L= 44.175; e334.. - 0.95*x157 + x160 + 29.925*b313 =L= 29.925; e335.. - 0.9*x155 + x158 + 32.0625*b314 =L= 32.0625; e336.. - 0.9*x156 + x159 + 44.175*b315 =L= 44.175; e337.. - 0.9*x157 + x160 + 29.925*b316 =L= 29.925; e338.. - 0.95*x155 + x158 + 32.0625*b317 =L= 32.0625; e339.. - 0.95*x156 + x159 + 44.175*b318 =L= 44.175; e340.. - 0.95*x157 + x160 + 29.925*b319 =L= 29.925; e341.. - 0.75*x155 + x161 + 32.0625*b308 =L= 32.0625; e342.. - 0.75*x156 + x162 + 44.175*b309 =L= 44.175; e343.. - 0.75*x157 + x163 + 29.925*b310 =L= 29.925; e344.. - 0.95*x155 + x161 + 32.0625*b311 =L= 32.0625; e345.. - 0.95*x156 + x162 + 44.175*b312 =L= 44.175; e346.. - 0.95*x157 + x163 + 29.925*b313 =L= 29.925; e347.. - 0.9*x155 + x161 + 32.0625*b314 =L= 32.0625; e348.. - 0.9*x156 + x162 + 44.175*b315 =L= 44.175; e349.. - 0.9*x157 + x163 + 29.925*b316 =L= 29.925; e350.. - 0.95*x155 + x161 + 32.0625*b317 =L= 32.0625; e351.. - 0.95*x156 + x162 + 44.175*b318 =L= 44.175; e352.. - 0.95*x157 + x163 + 29.925*b319 =L= 29.925; e353.. - 0.75*x155 + x158 - 32.0625*b308 =G= -32.0625; e354.. - 0.75*x156 + x159 - 44.175*b309 =G= -44.175; e355.. - 0.75*x157 + x160 - 29.925*b310 =G= -29.925; e356.. - 0.95*x155 + x158 - 32.0625*b311 =G= -32.0625; e357.. - 0.95*x156 + x159 - 44.175*b312 =G= -44.175; e358.. - 0.95*x157 + x160 - 29.925*b313 =G= -29.925; e359.. - 0.9*x155 + x158 - 32.0625*b314 =G= -32.0625; e360.. - 0.9*x156 + x159 - 44.175*b315 =G= -44.175; e361.. - 0.9*x157 + x160 - 29.925*b316 =G= -29.925; e362.. - 0.95*x155 + x158 - 32.0625*b317 =G= -32.0625; e363.. - 0.95*x156 + x159 - 44.175*b318 =G= -44.175; e364.. - 0.95*x157 + x160 - 29.925*b319 =G= -29.925; e365.. - 0.75*x155 + x161 - 32.0625*b308 =G= -32.0625; e366.. - 0.75*x156 + x162 - 44.175*b309 =G= -44.175; e367.. - 0.75*x157 + x163 - 29.925*b310 =G= -29.925; e368.. - 0.95*x155 + x161 - 32.0625*b311 =G= -32.0625; e369.. - 0.95*x156 + x162 - 44.175*b312 =G= -44.175; e370.. - 0.95*x157 + x163 - 29.925*b313 =G= -29.925; e371.. - 0.9*x155 + x161 - 32.0625*b314 =G= -32.0625; e372.. - 0.9*x156 + x162 - 44.175*b315 =G= -44.175; e373.. - 0.9*x157 + x163 - 29.925*b316 =G= -29.925; e374.. - 0.95*x155 + x161 - 32.0625*b317 =G= -32.0625; e375.. - 0.95*x156 + x162 - 44.175*b318 =G= -44.175; e376.. - 0.95*x157 + x163 - 29.925*b319 =G= -29.925; e377.. - 0.8*x152 + x179 + 143.4375*b320 =L= 143.4375; e378.. - 0.8*x153 + x180 + 147.9*b321 =L= 147.9; e379.. - 0.8*x154 + x181 + 133.025*b322 =L= 133.025; e380.. - 0.85*x152 + x179 + 143.4375*b323 =L= 143.4375; e381.. - 0.85*x153 + x180 + 147.9*b324 =L= 147.9; e382.. - 0.85*x154 + x181 + 133.025*b325 =L= 133.025; e383.. - 0.8*x152 + x179 + 143.4375*b326 =L= 143.4375; e384.. - 0.8*x153 + x180 + 147.9*b327 =L= 147.9; e385.. - 0.8*x154 + x181 + 133.025*b328 =L= 133.025; e386.. - 0.85*x152 + x179 + 143.4375*b329 =L= 143.4375; e387.. - 0.85*x153 + x180 + 147.9*b330 =L= 147.9; e388.. - 0.85*x154 + x181 + 133.025*b331 =L= 133.025; e389.. - 0.8*x152 + x179 - 28.6875*b320 =G= -28.6875; e390.. - 0.8*x153 + x180 - 39.525*b321 =G= -39.525; e391.. - 0.8*x154 + x181 - 26.775*b322 =G= -26.775; e392.. - 0.85*x152 + x179 - 28.6875*b323 =G= -28.6875; e393.. - 0.85*x153 + x180 - 39.525*b324 =G= -39.525; e394.. - 0.85*x154 + x181 - 26.775*b325 =G= -26.775; e395.. - 0.8*x152 + x179 - 28.6875*b326 =G= -28.6875; e396.. - 0.8*x153 + x180 - 39.525*b327 =G= -39.525; e397.. - 0.8*x154 + x181 - 26.775*b328 =G= -26.775; e398.. - 0.85*x152 + x179 - 28.6875*b329 =G= -28.6875; e399.. - 0.85*x153 + x180 - 39.525*b330 =G= -39.525; e400.. - 0.85*x154 + x181 - 26.775*b331 =G= -26.775; e401.. - 0.85*x176 + x185 + 178.192857142857*b332 =L= 178.192857142857; e402.. - 0.85*x177 + x186 + 177.310714285714*b333 =L= 177.310714285714; e403.. - 0.85*x178 + x187 + 169.941428571429*b334 =L= 169.941428571429; e404.. - 0.95*x176 + x185 + 178.192857142857*b335 =L= 178.192857142857; e405.. - 0.95*x177 + x186 + 177.310714285714*b336 =L= 177.310714285714; e406.. - 0.95*x178 + x187 + 169.941428571429*b337 =L= 169.941428571429; e407.. - 0.85*x176 + x185 + 178.192857142857*b338 =L= 178.192857142857; e408.. - 0.85*x177 + x186 + 177.310714285714*b339 =L= 177.310714285714; e409.. - 0.85*x178 + x187 + 169.941428571429*b340 =L= 169.941428571429; e410.. - 0.95*x176 + x185 + 178.192857142857*b341 =L= 178.192857142857; e411.. - 0.95*x177 + x186 + 177.310714285714*b342 =L= 177.310714285714; e412.. - 0.95*x178 + x187 + 169.941428571429*b343 =L= 169.941428571429; e413.. - 0.85*x176 + x185 - 128.25*b332 =G= -128.25; e414.. - 0.85*x177 + x186 - 121.125*b333 =G= -121.125; e415.. - 0.85*x178 + x187 - 118.75*b334 =G= -118.75; e416.. - 0.95*x176 + x185 - 128.25*b335 =G= -128.25; e417.. - 0.95*x177 + x186 - 121.125*b336 =G= -121.125; e418.. - 0.95*x178 + x187 - 118.75*b337 =G= -118.75; e419.. - 0.85*x176 + x185 - 128.25*b338 =G= -128.25; e420.. - 0.85*x177 + x186 - 121.125*b339 =G= -121.125; e421.. - 0.85*x178 + x187 - 118.75*b340 =G= -118.75; e422.. - 0.95*x176 + x185 - 128.25*b341 =G= -128.25; e423.. - 0.95*x177 + x186 - 121.125*b342 =G= -121.125; e424.. - 0.95*x178 + x187 - 118.75*b343 =G= -118.75; e425.. - 0.8*x194 + x197 + 52.5714285714286*b344 =L= 52.5714285714286; e426.. - 0.8*x195 + x198 + 59.1428571428572*b345 =L= 59.1428571428572; e427.. - 0.8*x196 + x199 + 53.8857142857143*b346 =L= 53.8857142857143; e428.. - 0.92*x194 + x197 + 52.5714285714286*b347 =L= 52.5714285714286; e429.. - 0.92*x195 + x198 + 59.1428571428572*b348 =L= 59.1428571428572; e430.. - 0.92*x196 + x199 + 53.8857142857143*b349 =L= 53.8857142857143; e431.. - 0.8*x194 + x197 + 52.5714285714286*b350 =L= 52.5714285714286; e432.. - 0.8*x195 + x198 + 59.1428571428572*b351 =L= 59.1428571428572; e433.. - 0.8*x196 + x199 + 53.8857142857143*b352 =L= 53.8857142857143; e434.. - 0.92*x194 + x197 + 52.5714285714286*b353 =L= 52.5714285714286; e435.. - 0.92*x195 + x198 + 59.1428571428572*b354 =L= 59.1428571428572; e436.. - 0.92*x196 + x199 + 53.8857142857143*b355 =L= 53.8857142857143; e437.. - 0.8*x194 + x197 - 52.5714285714286*b344 =G= -52.5714285714286; e438.. - 0.8*x195 + x198 - 59.1428571428572*b345 =G= -59.1428571428572; e439.. - 0.8*x196 + x199 - 53.8857142857143*b346 =G= -53.8857142857143; e440.. - 0.92*x194 + x197 - 52.5714285714286*b347 =G= -52.5714285714286; e441.. - 0.92*x195 + x198 - 59.1428571428572*b348 =G= -59.1428571428572; e442.. - 0.92*x196 + x199 - 53.8857142857143*b349 =G= -53.8857142857143; e443.. - 0.8*x194 + x197 - 52.5714285714286*b350 =G= -52.5714285714286; e444.. - 0.8*x195 + x198 - 59.1428571428572*b351 =G= -59.1428571428572; e445.. - 0.8*x196 + x199 - 53.8857142857143*b352 =G= -53.8857142857143; e446.. - 0.92*x194 + x197 - 52.5714285714286*b353 =G= -52.5714285714286; e447.. - 0.92*x195 + x198 - 59.1428571428572*b354 =G= -59.1428571428572; e448.. - 0.92*x196 + x199 - 53.8857142857143*b355 =G= -53.8857142857143; e449.. x5 + 45*b260 =L= 55; e450.. x6 + 30*b261 =L= 40; e451.. x7 + 30*b262 =L= 40; e452.. x5 + 45*b263 =L= 55; e453.. x6 + 30*b264 =L= 40; e454.. x7 + 30*b265 =L= 40; e455.. x5 + 5*b266 =L= 55; e456.. x6 - 10*b267 =L= 40; e457.. x7 - 10*b268 =L= 40; e458.. x5 + 5*b269 =L= 55; e459.. x6 - 10*b270 =L= 40; e460.. x7 - 10*b271 =L= 40; e461.. x8 + x20 + 106*b272 =L= 146; e462.. x9 + x21 + 103*b273 =L= 143; e463.. x10 + x22 + 92*b274 =L= 132; e464.. x8 + x20 + 106*b275 =L= 146; e465.. x9 + x21 + 103*b276 =L= 143; e466.. x10 + x22 + 92*b277 =L= 132; e467.. x8 + x20 + 86*b278 =L= 146; e468.. x9 + x21 + 83*b279 =L= 143; e469.. x10 + x22 + 72*b280 =L= 132; e470.. x8 + x20 + 86*b281 =L= 146; e471.. x9 + x21 + 83*b282 =L= 143; e472.. x10 + x22 + 72*b283 =L= 132; e473.. x32 + 30*b284 =L= 45; e474.. x33 + 47*b285 =L= 62; e475.. x34 + 27*b286 =L= 42; e476.. x32 + 30*b287 =L= 45; e477.. x33 + 47*b288 =L= 62; e478.. x34 + 27*b289 =L= 42; e479.. x32 + 20*b290 =L= 45; e480.. x33 + 37*b291 =L= 62; e481.. x34 + 17*b292 =L= 42; e482.. x32 + 20*b293 =L= 45; e483.. x33 + 37*b294 =L= 62; e484.. x34 + 17*b295 =L= 42; e485.. x41 + 30*b296 =L= 45; e486.. x42 + 47*b297 =L= 62; e487.. x43 + 27*b298 =L= 42; e488.. x41 + 30*b299 =L= 45; e489.. x42 + 47*b300 =L= 62; e490.. x43 + 27*b301 =L= 42; e491.. x41 + 25*b302 =L= 45; e492.. x42 + 42*b303 =L= 62; e493.. x43 + 22*b304 =L= 42; e494.. x41 + 25*b305 =L= 45; e495.. x42 + 42*b306 =L= 62; e496.. x43 + 22*b307 =L= 42; e497.. x50 + 35*b308 =L= 45; e498.. x51 + 52*b309 =L= 62; e499.. x52 + 32*b310 =L= 42; e500.. x50 + 35*b311 =L= 45; e501.. x51 + 52*b312 =L= 62; e502.. x52 + 32*b313 =L= 42; e503.. x50 + 25*b314 =L= 45; e504.. x51 + 42*b315 =L= 62; e505.. x52 + 22*b316 =L= 42; e506.. x50 + 25*b317 =L= 45; e507.. x51 + 42*b318 =L= 62; e508.. x52 + 22*b319 =L= 42; e509.. x47 + x68 + 79*b320 =L= 99; e510.. x48 + x69 + 93*b321 =L= 113; e511.. x49 + x70 + 72*b322 =L= 92; e512.. x47 + x68 + 79*b323 =L= 99; e513.. x48 + x69 + 93*b324 =L= 113; e514.. x49 + x70 + 72*b325 =L= 92; e515.. x47 + x68 + 44*b326 =L= 99; e516.. x48 + x69 + 58*b327 =L= 113; e517.. x49 + x70 + 37*b328 =L= 92; e518.. x47 + x68 + 44*b329 =L= 99; e519.. x48 + x69 + 58*b330 =L= 113; e520.. x49 + x70 + 37*b331 =L= 92; e521.. x71 + x92 + 69*b332 =L= 94; e522.. x72 + x93 + 71*b333 =L= 96; e523.. x73 + x94 + 66*b334 =L= 91; e524.. x71 + x92 + 69*b335 =L= 94; e525.. x72 + x93 + 71*b336 =L= 96; e526.. x73 + x94 + 66*b337 =L= 91; e527.. x71 + x92 + 44*b338 =L= 94; e528.. x72 + x93 + 46*b339 =L= 96; e529.. x73 + x94 + 41*b340 =L= 91; e530.. x71 + x92 + 44*b341 =L= 94; e531.. x72 + x93 + 46*b342 =L= 96; e532.. x73 + x94 + 41*b343 =L= 91; e533.. x89 + 25*b344 =L= 40; e534.. x90 + 30*b345 =L= 45; e535.. x91 + 26*b346 =L= 41; e536.. x89 + 25*b347 =L= 40; e537.. x90 + 30*b348 =L= 45; e538.. x91 + 26*b349 =L= 41; e539.. x89 + 5*b350 =L= 40; e540.. x90 + 10*b351 =L= 45; e541.. x91 + 6*b352 =L= 41; e542.. x89 + 5*b353 =L= 40; e543.. x90 + 10*b354 =L= 45; e544.. x91 + 6*b355 =L= 41; 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.. x584 - x587 =E= 0; e1143.. x585 - x588 =E= 0; e1144.. x586 - x589 =E= 0; e1145.. x587 - x590 - x593 =E= 0; e1146.. x588 - x591 - x594 =E= 0; e1147.. x589 - x592 - x595 =E= 0; e1148.. - x596 - x599 + x602 =E= 0; e1149.. - x597 - x600 + x603 =E= 0; e1150.. - x598 - x601 + x604 =E= 0; e1151.. x602 - x605 - x608 =E= 0; e1152.. x603 - x606 - x609 =E= 0; e1153.. x604 - x607 - x610 =E= 0; e1154.. x608 - x611 - x614 - x617 =E= 0; e1155.. x609 - x612 - x615 - x618 =E= 0; e1156.. x610 - x613 - x616 - x619 =E= 0; e1157.. x623 - x632 - x635 =E= 0; e1158.. x624 - x633 - x636 =E= 0; e1159.. x625 - x634 - x637 =E= 0; e1160.. x629 - x638 - x641 - x644 =E= 0; e1161.. x630 - x639 - x642 - x645 =E= 0; e1162.. x631 - x640 - x643 - x646 =E= 0; e1163.. -log(1 + x455) + x461 + b662 =L= 1; e1164.. -log(1 + x456) + x462 + b663 =L= 1; e1165.. -log(1 + x457) + x463 + b664 =L= 1; e1166.. x455 - 40*b662 =L= 0; e1167.. x456 - 40*b663 =L= 0; e1168.. x457 - 40*b664 =L= 0; e1169.. x461 - 3.71357206670431*b662 =L= 0; e1170.. x462 - 3.71357206670431*b663 =L= 0; e1171.. x463 - 3.71357206670431*b664 =L= 0; e1172.. -1.2*log(1 + x458) + x464 + b665 =L= 1; e1173.. -1.2*log(1 + x459) + x465 + b666 =L= 1; e1174.. -1.2*log(1 + x460) + x466 + b667 =L= 1; e1175.. x458 - 40*b665 =L= 0; e1176.. x459 - 40*b666 =L= 0; e1177.. x460 - 40*b667 =L= 0; e1178.. x464 - 4.45628648004517*b665 =L= 0; e1179.. x465 - 4.45628648004517*b666 =L= 0; e1180.. x466 - 4.45628648004517*b667 =L= 0; e1181.. - 0.75*x476 + x488 + b668 =L= 1; e1182.. - 0.75*x477 + x489 + b669 =L= 1; e1183.. - 0.75*x478 + x490 + b670 =L= 1; e1184.. - 0.75*x476 + x488 - b668 =G= -1; e1185.. - 0.75*x477 + x489 - b669 =G= -1; e1186.. - 0.75*x478 + x490 - b670 =G= -1; e1187.. x476 - 4.45628648004517*b668 =L= 0; e1188.. x477 - 4.45628648004517*b669 =L= 0; e1189.. x478 - 4.45628648004517*b670 =L= 0; e1190.. x488 - 3.34221486003388*b668 =L= 0; e1191.. x489 - 3.34221486003388*b669 =L= 0; e1192.. x490 - 3.34221486003388*b670 =L= 0; e1193.. -1.5*log(1 + x479) + x491 + b671 =L= 1; e1194.. -1.5*log(1 + x480) + x492 + b672 =L= 1; e1195.. -1.5*log(1 + x481) + x493 + b673 =L= 1; e1196.. x479 - 4.45628648004517*b671 =L= 0; e1197.. x480 - 4.45628648004517*b672 =L= 0; e1198.. x481 - 4.45628648004517*b673 =L= 0; e1199.. x491 - 2.54515263975353*b671 =L= 0; e1200.. x492 - 2.54515263975353*b672 =L= 0; e1201.. x493 - 2.54515263975353*b673 =L= 0; e1202.. - x482 + x494 + b674 =L= 1; e1203.. - x483 + x495 + b675 =L= 1; e1204.. - x484 + x496 + b676 =L= 1; e1205.. - x482 + x494 - b674 =G= -1; e1206.. - x483 + x495 - b675 =G= -1; e1207.. - x484 + x496 - b676 =G= -1; e1208.. - 0.5*x485 + x494 + b674 =L= 1; e1209.. - 0.5*x486 + x495 + b675 =L= 1; e1210.. - 0.5*x487 + x496 + b676 =L= 1; e1211.. - 0.5*x485 + x494 - b674 =G= -1; e1212.. - 0.5*x486 + x495 - b675 =G= -1; e1213.. - 0.5*x487 + x496 - b676 =G= -1; e1214.. x482 - 4.45628648004517*b674 =L= 0; e1215.. x483 - 4.45628648004517*b675 =L= 0; e1216.. x484 - 4.45628648004517*b676 =L= 0; e1217.. x485 - 30*b674 =L= 0; e1218.. x486 - 30*b675 =L= 0; e1219.. x487 - 30*b676 =L= 0; e1220.. x494 - 15*b674 =L= 0; e1221.. x495 - 15*b675 =L= 0; e1222.. x496 - 15*b676 =L= 0; e1223.. -1.25*log(1 + x497) + x512 + b677 =L= 1; e1224.. -1.25*log(1 + x498) + x513 + b678 =L= 1; e1225.. -1.25*log(1 + x499) + x514 + b679 =L= 1; e1226.. x497 - 3.34221486003388*b677 =L= 0; e1227.. x498 - 3.34221486003388*b678 =L= 0; e1228.. x499 - 3.34221486003388*b679 =L= 0; e1229.. x512 - 1.83548069293539*b677 =L= 0; e1230.. x513 - 1.83548069293539*b678 =L= 0; e1231.. x514 - 1.83548069293539*b679 =L= 0; e1232.. -0.9*log(1 + x500) + x515 + b680 =L= 1; e1233.. -0.9*log(1 + x501) + x516 + b681 =L= 1; e1234.. -0.9*log(1 + x502) + x517 + b682 =L= 1; e1235.. x500 - 3.34221486003388*b680 =L= 0; e1236.. x501 - 3.34221486003388*b681 =L= 0; e1237.. x502 - 3.34221486003388*b682 =L= 0; e1238.. x515 - 1.32154609891348*b680 =L= 0; e1239.. x516 - 1.32154609891348*b681 =L= 0; e1240.. x517 - 1.32154609891348*b682 =L= 0; e1241.. -log(1 + x491) + x518 + b683 =L= 1; e1242.. -log(1 + x492) + x519 + b684 =L= 1; e1243.. -log(1 + x493) + x520 + b685 =L= 1; e1244.. x491 - 2.54515263975353*b683 =L= 0; e1245.. x492 - 2.54515263975353*b684 =L= 0; e1246.. x493 - 2.54515263975353*b685 =L= 0; e1247.. x518 - 1.26558121681553*b683 =L= 0; e1248.. x519 - 1.26558121681553*b684 =L= 0; e1249.. x520 - 1.26558121681553*b685 =L= 0; e1250.. - 0.9*x503 + x521 + b686 =L= 1; e1251.. - 0.9*x504 + x522 + b687 =L= 1; e1252.. - 0.9*x505 + x523 + b688 =L= 1; e1253.. - 0.9*x503 + x521 - b686 =G= -1; e1254.. - 0.9*x504 + x522 - b687 =G= -1; e1255.. - 0.9*x505 + x523 - b688 =G= -1; e1256.. x503 - 15*b686 =L= 0; e1257.. x504 - 15*b687 =L= 0; e1258.. x505 - 15*b688 =L= 0; e1259.. x521 - 13.5*b686 =L= 0; e1260.. x522 - 13.5*b687 =L= 0; e1261.. x523 - 13.5*b688 =L= 0; e1262.. - 0.6*x506 + x524 + b689 =L= 1; e1263.. - 0.6*x507 + x525 + b690 =L= 1; e1264.. - 0.6*x508 + x526 + b691 =L= 1; e1265.. - 0.6*x506 + x524 - b689 =G= -1; e1266.. - 0.6*x507 + x525 - b690 =G= -1; e1267.. - 0.6*x508 + x526 - b691 =G= -1; e1268.. x506 - 15*b689 =L= 0; e1269.. x507 - 15*b690 =L= 0; e1270.. x508 - 15*b691 =L= 0; e1271.. x524 - 9*b689 =L= 0; e1272.. x525 - 9*b690 =L= 0; e1273.. x526 - 9*b691 =L= 0; e1274.. -1.1*log(1 + x509) + x527 + b692 =L= 1; e1275.. -1.1*log(1 + x510) + x528 + b693 =L= 1; e1276.. -1.1*log(1 + x511) + x529 + b694 =L= 1; e1277.. x509 - 15*b692 =L= 0; e1278.. x510 - 15*b693 =L= 0; e1279.. x511 - 15*b694 =L= 0; e1280.. x527 - 3.04984759446376*b692 =L= 0; e1281.. x528 - 3.04984759446376*b693 =L= 0; e1282.. x529 - 3.04984759446376*b694 =L= 0; e1283.. - 0.9*x512 + x560 + b695 =L= 1; e1284.. - 0.9*x513 + x561 + b696 =L= 1; e1285.. - 0.9*x514 + x562 + b697 =L= 1; e1286.. - 0.9*x512 + x560 - b695 =G= -1; e1287.. - 0.9*x513 + x561 - b696 =G= -1; e1288.. - 0.9*x514 + x562 - b697 =G= -1; e1289.. - x536 + x560 + b695 =L= 1; e1290.. - x537 + x561 + b696 =L= 1; e1291.. - x538 + x562 + b697 =L= 1; e1292.. - x536 + x560 - b695 =G= -1; e1293.. - x537 + x561 - b696 =G= -1; e1294.. - x538 + x562 - b697 =G= -1; e1295.. x512 - 1.83548069293539*b695 =L= 0; e1296.. x513 - 1.83548069293539*b696 =L= 0; e1297.. x514 - 1.83548069293539*b697 =L= 0; e1298.. x536 - 20*b695 =L= 0; e1299.. x537 - 20*b696 =L= 0; e1300.. x538 - 20*b697 =L= 0; e1301.. x560 - 20*b695 =L= 0; e1302.. x561 - 20*b696 =L= 0; e1303.. x562 - 20*b697 =L= 0; e1304.. -log(1 + x515) + x563 + b698 =L= 1; e1305.. -log(1 + x516) + x564 + b699 =L= 1; e1306.. -log(1 + x517) + x565 + b700 =L= 1; e1307.. x515 - 1.32154609891348*b698 =L= 0; e1308.. x516 - 1.32154609891348*b699 =L= 0; e1309.. x517 - 1.32154609891348*b700 =L= 0; e1310.. x563 - 0.842233385663186*b698 =L= 0; e1311.. x564 - 0.842233385663186*b699 =L= 0; e1312.. x565 - 0.842233385663186*b700 =L= 0; e1313.. -0.7*log(1 + x530) + x566 + b701 =L= 1; e1314.. -0.7*log(1 + x531) + x567 + b702 =L= 1; e1315.. -0.7*log(1 + x532) + x568 + b703 =L= 1; e1316.. x530 - 1.26558121681553*b701 =L= 0; e1317.. x531 - 1.26558121681553*b702 =L= 0; e1318.. x532 - 1.26558121681553*b703 =L= 0; e1319.. x566 - 0.572481933717686*b701 =L= 0; e1320.. x567 - 0.572481933717686*b702 =L= 0; e1321.. x568 - 0.572481933717686*b703 =L= 0; e1322.. -0.65*log(1 + x533) + x569 + b704 =L= 1; e1323.. -0.65*log(1 + x534) + x570 + b705 =L= 1; e1324.. -0.65*log(1 + x535) + x571 + b706 =L= 1; e1325.. -0.65*log(1 + x542) + x569 + b704 =L= 1; e1326.. -0.65*log(1 + x543) + x570 + b705 =L= 1; e1327.. -0.65*log(1 + x544) + x571 + b706 =L= 1; e1328.. x533 - 1.26558121681553*b704 =L= 0; e1329.. x534 - 1.26558121681553*b705 =L= 0; e1330.. x535 - 1.26558121681553*b706 =L= 0; e1331.. x542 - 33.5*b704 =L= 0; e1332.. x543 - 33.5*b705 =L= 0; e1333.. x544 - 33.5*b706 =L= 0; e1334.. x569 - 2.30162356062425*b704 =L= 0; e1335.. x570 - 2.30162356062425*b705 =L= 0; e1336.. x571 - 2.30162356062425*b706 =L= 0; e1337.. - x545 + x572 + b707 =L= 1; e1338.. - x546 + x573 + b708 =L= 1; e1339.. - x547 + x574 + b709 =L= 1; e1340.. - x545 + x572 - b707 =G= -1; e1341.. - x546 + x573 - b708 =G= -1; e1342.. - x547 + x574 - b709 =G= -1; e1343.. x545 - 9*b707 =L= 0; e1344.. x546 - 9*b708 =L= 0; e1345.. x547 - 9*b709 =L= 0; e1346.. x572 - 9*b707 =L= 0; e1347.. x573 - 9*b708 =L= 0; e1348.. x574 - 9*b709 =L= 0; e1349.. - x548 + x575 + b710 =L= 1; e1350.. - x549 + x576 + b711 =L= 1; e1351.. - x550 + x577 + b712 =L= 1; e1352.. - x548 + x575 - b710 =G= -1; e1353.. - x549 + x576 - b711 =G= -1; e1354.. - x550 + x577 - b712 =G= -1; e1355.. x548 - 9*b710 =L= 0; e1356.. x549 - 9*b711 =L= 0; e1357.. x550 - 9*b712 =L= 0; e1358.. x575 - 9*b710 =L= 0; e1359.. x576 - 9*b711 =L= 0; e1360.. x577 - 9*b712 =L= 0; e1361.. -0.75*log(1 + x551) + x578 + b713 =L= 1; e1362.. -0.75*log(1 + x552) + x579 + b714 =L= 1; e1363.. -0.75*log(1 + x553) + x580 + b715 =L= 1; e1364.. x551 - 3.04984759446376*b713 =L= 0; e1365.. x552 - 3.04984759446376*b714 =L= 0; e1366.. x553 - 3.04984759446376*b715 =L= 0; e1367.. x578 - 1.04900943706034*b713 =L= 0; e1368.. x579 - 1.04900943706034*b714 =L= 0; e1369.. x580 - 1.04900943706034*b715 =L= 0; e1370.. -0.8*log(1 + x554) + x581 + b716 =L= 1; e1371.. -0.8*log(1 + x555) + x582 + b717 =L= 1; e1372.. -0.8*log(1 + x556) + x583 + b718 =L= 1; e1373.. x554 - 3.04984759446376*b716 =L= 0; e1374.. x555 - 3.04984759446376*b717 =L= 0; e1375.. x556 - 3.04984759446376*b718 =L= 0; e1376.. x581 - 1.11894339953103*b716 =L= 0; e1377.. x582 - 1.11894339953103*b717 =L= 0; e1378.. x583 - 1.11894339953103*b718 =L= 0; e1379.. -0.85*log(1 + x557) + x584 + b719 =L= 1; e1380.. -0.85*log(1 + x558) + x585 + b720 =L= 1; e1381.. -0.85*log(1 + x559) + x586 + b721 =L= 1; e1382.. x557 - 3.04984759446376*b719 =L= 0; e1383.. x558 - 3.04984759446376*b720 =L= 0; e1384.. x559 - 3.04984759446376*b721 =L= 0; e1385.. x584 - 1.18887736200171*b719 =L= 0; e1386.. x585 - 1.18887736200171*b720 =L= 0; e1387.. x586 - 1.18887736200171*b721 =L= 0; e1388.. -log(1 + x590) + x596 + b722 =L= 1; e1389.. -log(1 + x591) + x597 + b723 =L= 1; e1390.. -log(1 + x592) + x598 + b724 =L= 1; e1391.. x590 - 1.18887736200171*b722 =L= 0; e1392.. x591 - 1.18887736200171*b723 =L= 0; e1393.. x592 - 1.18887736200171*b724 =L= 0; e1394.. x596 - 0.78338879230327*b722 =L= 0; e1395.. x597 - 0.78338879230327*b723 =L= 0; e1396.. x598 - 0.78338879230327*b724 =L= 0; e1397.. -1.2*log(1 + x593) + x599 + b725 =L= 1; e1398.. -1.2*log(1 + x594) + x600 + b726 =L= 1; e1399.. -1.2*log(1 + x595) + x601 + b727 =L= 1; e1400.. x593 - 1.18887736200171*b725 =L= 0; e1401.. x594 - 1.18887736200171*b726 =L= 0; e1402.. x595 - 1.18887736200171*b727 =L= 0; e1403.. x599 - 0.940066550763924*b725 =L= 0; e1404.. x600 - 0.940066550763924*b726 =L= 0; e1405.. x601 - 0.940066550763924*b727 =L= 0; e1406.. - 0.75*x611 + x623 + b728 =L= 1; e1407.. - 0.75*x612 + x624 + b729 =L= 1; e1408.. - 0.75*x613 + x625 + b730 =L= 1; e1409.. - 0.75*x611 + x623 - b728 =G= -1; e1410.. - 0.75*x612 + x624 - b729 =G= -1; e1411.. - 0.75*x613 + x625 - b730 =G= -1; e1412.. x611 - 0.940066550763924*b728 =L= 0; e1413.. x612 - 0.940066550763924*b729 =L= 0; e1414.. x613 - 0.940066550763924*b730 =L= 0; e1415.. x623 - 0.705049913072943*b728 =L= 0; e1416.. x624 - 0.705049913072943*b729 =L= 0; e1417.. x625 - 0.705049913072943*b730 =L= 0; e1418.. -1.5*log(1 + x614) + x626 + b731 =L= 1; e1419.. -1.5*log(1 + x615) + x627 + b732 =L= 1; e1420.. -1.5*log(1 + x616) + x628 + b733 =L= 1; e1421.. x614 - 0.940066550763924*b731 =L= 0; e1422.. x615 - 0.940066550763924*b732 =L= 0; e1423.. x616 - 0.940066550763924*b733 =L= 0; e1424.. x626 - 0.994083415506506*b731 =L= 0; e1425.. x627 - 0.994083415506506*b732 =L= 0; e1426.. x628 - 0.994083415506506*b733 =L= 0; e1427.. - x617 + x629 + b734 =L= 1; e1428.. - x618 + x630 + b735 =L= 1; e1429.. - x619 + x631 + b736 =L= 1; e1430.. - x617 + x629 - b734 =G= -1; e1431.. - x618 + x630 - b735 =G= -1; e1432.. - x619 + x631 - b736 =G= -1; e1433.. - 0.5*x620 + x629 + b734 =L= 1; e1434.. - 0.5*x621 + x630 + b735 =L= 1; e1435.. - 0.5*x622 + x631 + b736 =L= 1; e1436.. - 0.5*x620 + x629 - b734 =G= -1; e1437.. - 0.5*x621 + x630 - b735 =G= -1; e1438.. - 0.5*x622 + x631 - b736 =G= -1; e1439.. x617 - 0.940066550763924*b734 =L= 0; e1440.. x618 - 0.940066550763924*b735 =L= 0; e1441.. x619 - 0.940066550763924*b736 =L= 0; e1442.. x620 - 30*b734 =L= 0; e1443.. x621 - 30*b735 =L= 0; e1444.. x622 - 30*b736 =L= 0; e1445.. x629 - 15*b734 =L= 0; e1446.. x630 - 15*b735 =L= 0; e1447.. x631 - 15*b736 =L= 0; e1448.. -1.25*log(1 + x632) + x647 + b737 =L= 1; e1449.. -1.25*log(1 + x633) + x648 + b738 =L= 1; e1450.. -1.25*log(1 + x634) + x649 + b739 =L= 1; e1451.. x632 - 0.705049913072943*b737 =L= 0; e1452.. x633 - 0.705049913072943*b738 =L= 0; e1453.. x634 - 0.705049913072943*b739 =L= 0; e1454.. x647 - 0.666992981045719*b737 =L= 0; e1455.. x648 - 0.666992981045719*b738 =L= 0; e1456.. x649 - 0.666992981045719*b739 =L= 0; e1457.. -0.9*log(1 + x635) + x650 + b740 =L= 1; e1458.. -0.9*log(1 + x636) + x651 + b741 =L= 1; e1459.. -0.9*log(1 + x637) + x652 + b742 =L= 1; e1460.. x635 - 0.705049913072943*b740 =L= 0; e1461.. x636 - 0.705049913072943*b741 =L= 0; e1462.. x637 - 0.705049913072943*b742 =L= 0; e1463.. x650 - 0.480234946352917*b740 =L= 0; e1464.. x651 - 0.480234946352917*b741 =L= 0; e1465.. x652 - 0.480234946352917*b742 =L= 0; e1466.. -log(1 + x626) + x653 + b743 =L= 1; e1467.. -log(1 + x627) + x654 + b744 =L= 1; e1468.. -log(1 + x628) + x655 + b745 =L= 1; e1469.. x626 - 0.994083415506506*b743 =L= 0; e1470.. x627 - 0.994083415506506*b744 =L= 0; e1471.. x628 - 0.994083415506506*b745 =L= 0; e1472.. x653 - 0.690184503917672*b743 =L= 0; e1473.. x654 - 0.690184503917672*b744 =L= 0; e1474.. x655 - 0.690184503917672*b745 =L= 0; e1475.. - 0.9*x638 + x656 + b746 =L= 1; e1476.. - 0.9*x639 + x657 + b747 =L= 1; e1477.. - 0.9*x640 + x658 + b748 =L= 1; e1478.. - 0.9*x638 + x656 - b746 =G= -1; e1479.. - 0.9*x639 + x657 - b747 =G= -1; e1480.. - 0.9*x640 + x658 - b748 =G= -1; e1481.. x638 - 15*b746 =L= 0; e1482.. x639 - 15*b747 =L= 0; e1483.. x640 - 15*b748 =L= 0; e1484.. x656 - 13.5*b746 =L= 0; e1485.. x657 - 13.5*b747 =L= 0; e1486.. x658 - 13.5*b748 =L= 0; e1487.. - 0.6*x641 + x659 + b749 =L= 1; e1488.. - 0.6*x642 + x660 + b750 =L= 1; e1489.. - 0.6*x643 + x661 + b751 =L= 1; e1490.. - 0.6*x641 + x659 - b749 =G= -1; e1491.. - 0.6*x642 + x660 - b750 =G= -1; e1492.. - 0.6*x643 + x661 - b751 =G= -1; e1493.. x641 - 15*b749 =L= 0; e1494.. x642 - 15*b750 =L= 0; e1495.. x643 - 15*b751 =L= 0; e1496.. x659 - 9*b749 =L= 0; e1497.. x660 - 9*b750 =L= 0; e1498.. x661 - 9*b751 =L= 0; e1499.. 5*b752 + x842 =L= 0; e1500.. 4*b753 + x843 =L= 0; e1501.. 6*b754 + x844 =L= 0; e1502.. 8*b755 + x845 =L= 0; e1503.. 7*b756 + x846 =L= 0; e1504.. 6*b757 + x847 =L= 0; e1505.. 6*b758 + x848 =L= 0; e1506.. 9*b759 + x849 =L= 0; e1507.. 4*b760 + x850 =L= 0; e1508.. 10*b761 + x851 =L= 0; e1509.. 9*b762 + x852 =L= 0; e1510.. 5*b763 + x853 =L= 0; e1511.. 6*b764 + x854 =L= 0; e1512.. 10*b765 + x855 =L= 0; e1513.. 6*b766 + x856 =L= 0; e1514.. 7*b767 + x857 =L= 0; e1515.. 7*b768 + x858 =L= 0; e1516.. 4*b769 + x859 =L= 0; e1517.. 4*b770 + x860 =L= 0; e1518.. 3*b771 + x861 =L= 0; e1519.. 2*b772 + x862 =L= 0; e1520.. 5*b773 + x863 =L= 0; e1521.. 6*b774 + x864 =L= 0; e1522.. 7*b775 + x865 =L= 0; e1523.. 2*b776 + x866 =L= 0; e1524.. 5*b777 + x867 =L= 0; e1525.. 2*b778 + x868 =L= 0; e1526.. 4*b779 + x869 =L= 0; e1527.. 7*b780 + x870 =L= 0; e1528.. 4*b781 + x871 =L= 0; e1529.. 3*b782 + x872 =L= 0; e1530.. 9*b783 + x873 =L= 0; e1531.. 3*b784 + x874 =L= 0; e1532.. 7*b785 + x875 =L= 0; e1533.. 2*b786 + x876 =L= 0; e1534.. 9*b787 + x877 =L= 0; e1535.. 3*b788 + x878 =L= 0; e1536.. b789 + x879 =L= 0; e1537.. 9*b790 + x880 =L= 0; e1538.. 2*b791 + x881 =L= 0; e1539.. 6*b792 + x882 =L= 0; e1540.. 3*b793 + x883 =L= 0; e1541.. 4*b794 + x884 =L= 0; e1542.. 8*b795 + x885 =L= 0; e1543.. b796 + x886 =L= 0; e1544.. 2*b797 + x887 =L= 0; e1545.. 5*b798 + x888 =L= 0; e1546.. 2*b799 + x889 =L= 0; e1547.. 3*b800 + x890 =L= 0; e1548.. 4*b801 + x891 =L= 0; e1549.. 3*b802 + x892 =L= 0; e1550.. 5*b803 + x893 =L= 0; e1551.. 7*b804 + x894 =L= 0; e1552.. 6*b805 + x895 =L= 0; e1553.. 2*b806 + x896 =L= 0; e1554.. 8*b807 + x897 =L= 0; e1555.. 4*b808 + x898 =L= 0; e1556.. b809 + x899 =L= 0; e1557.. 4*b810 + x900 =L= 0; e1558.. b811 + x901 =L= 0; e1559.. 2*b812 + x902 =L= 0; e1560.. 5*b813 + x903 =L= 0; e1561.. 2*b814 + x904 =L= 0; e1562.. 9*b815 + x905 =L= 0; e1563.. 2*b816 + x906 =L= 0; e1564.. 9*b817 + x907 =L= 0; e1565.. 5*b818 + x908 =L= 0; e1566.. 8*b819 + x909 =L= 0; e1567.. 4*b820 + x910 =L= 0; e1568.. 2*b821 + x911 =L= 0; e1569.. 3*b822 + x912 =L= 0; e1570.. 8*b823 + x913 =L= 0; e1571.. 10*b824 + x914 =L= 0; e1572.. 6*b825 + x915 =L= 0; e1573.. 3*b826 + x916 =L= 0; e1574.. 4*b827 + x917 =L= 0; e1575.. 8*b828 + x918 =L= 0; e1576.. 7*b829 + x919 =L= 0; e1577.. 7*b830 + x920 =L= 0; e1578.. 3*b831 + x921 =L= 0; e1579.. 9*b832 + x922 =L= 0; e1580.. 4*b833 + x923 =L= 0; e1581.. 8*b834 + x924 =L= 0; e1582.. 6*b835 + x925 =L= 0; e1583.. 2*b836 + x926 =L= 0; e1584.. b837 + x927 =L= 0; e1585.. 3*b838 + x928 =L= 0; e1586.. 8*b839 + x929 =L= 0; e1587.. 3*b840 + x930 =L= 0; e1588.. 4*b841 + x931 =L= 0; e1589.. 5*b752 + x842 =G= 0; e1590.. 4*b753 + x843 =G= 0; e1591.. 6*b754 + x844 =G= 0; e1592.. 8*b755 + x845 =G= 0; e1593.. 7*b756 + x846 =G= 0; e1594.. 6*b757 + x847 =G= 0; e1595.. 6*b758 + x848 =G= 0; e1596.. 9*b759 + x849 =G= 0; e1597.. 4*b760 + x850 =G= 0; e1598.. 10*b761 + x851 =G= 0; e1599.. 9*b762 + x852 =G= 0; e1600.. 5*b763 + x853 =G= 0; e1601.. 6*b764 + x854 =G= 0; e1602.. 10*b765 + x855 =G= 0; e1603.. 6*b766 + x856 =G= 0; e1604.. 7*b767 + x857 =G= 0; e1605.. 7*b768 + x858 =G= 0; e1606.. 4*b769 + x859 =G= 0; e1607.. 4*b770 + x860 =G= 0; e1608.. 3*b771 + x861 =G= 0; e1609.. 2*b772 + x862 =G= 0; e1610.. 5*b773 + x863 =G= 0; e1611.. 6*b774 + x864 =G= 0; e1612.. 7*b775 + x865 =G= 0; e1613.. 2*b776 + x866 =G= 0; e1614.. 5*b777 + x867 =G= 0; e1615.. 2*b778 + x868 =G= 0; e1616.. 4*b779 + x869 =G= 0; e1617.. 7*b780 + x870 =G= 0; e1618.. 4*b781 + x871 =G= 0; e1619.. 3*b782 + x872 =G= 0; e1620.. 9*b783 + x873 =G= 0; e1621.. 3*b784 + x874 =G= 0; e1622.. 7*b785 + x875 =G= 0; e1623.. 2*b786 + x876 =G= 0; e1624.. 9*b787 + x877 =G= 0; e1625.. 3*b788 + x878 =G= 0; e1626.. b789 + x879 =G= 0; e1627.. 9*b790 + x880 =G= 0; e1628.. 2*b791 + x881 =G= 0; e1629.. 6*b792 + x882 =G= 0; e1630.. 3*b793 + x883 =G= 0; e1631.. 4*b794 + x884 =G= 0; e1632.. 8*b795 + x885 =G= 0; e1633.. b796 + x886 =G= 0; e1634.. 2*b797 + x887 =G= 0; e1635.. 5*b798 + x888 =G= 0; e1636.. 2*b799 + x889 =G= 0; e1637.. 3*b800 + x890 =G= 0; e1638.. 4*b801 + x891 =G= 0; e1639.. 3*b802 + x892 =G= 0; e1640.. 5*b803 + x893 =G= 0; e1641.. 7*b804 + x894 =G= 0; e1642.. 6*b805 + x895 =G= 0; e1643.. 2*b806 + x896 =G= 0; e1644.. 8*b807 + x897 =G= 0; e1645.. 4*b808 + x898 =G= 0; e1646.. b809 + x899 =G= 0; e1647.. 4*b810 + x900 =G= 0; e1648.. b811 + x901 =G= 0; e1649.. 2*b812 + x902 =G= 0; e1650.. 5*b813 + x903 =G= 0; e1651.. 2*b814 + x904 =G= 0; e1652.. 9*b815 + x905 =G= 0; e1653.. 2*b816 + x906 =G= 0; e1654.. 9*b817 + x907 =G= 0; e1655.. 5*b818 + x908 =G= 0; e1656.. 8*b819 + x909 =G= 0; e1657.. 4*b820 + x910 =G= 0; e1658.. 2*b821 + x911 =G= 0; e1659.. 3*b822 + x912 =G= 0; e1660.. 8*b823 + x913 =G= 0; e1661.. 10*b824 + x914 =G= 0; e1662.. 6*b825 + x915 =G= 0; e1663.. 3*b826 + x916 =G= 0; e1664.. 4*b827 + x917 =G= 0; e1665.. 8*b828 + x918 =G= 0; e1666.. 7*b829 + x919 =G= 0; e1667.. 7*b830 + x920 =G= 0; e1668.. 3*b831 + x921 =G= 0; e1669.. 9*b832 + x922 =G= 0; e1670.. 4*b833 + x923 =G= 0; e1671.. 8*b834 + x924 =G= 0; e1672.. 6*b835 + x925 =G= 0; e1673.. 2*b836 + x926 =G= 0; e1674.. b837 + x927 =G= 0; e1675.. 3*b838 + x928 =G= 0; e1676.. 8*b839 + x929 =G= 0; e1677.. 3*b840 + x930 =G= 0; e1678.. 4*b841 + x931 =G= 0; e1679.. b662 - b663 =L= 0; e1680.. b662 - b664 =L= 0; e1681.. b663 - b664 =L= 0; e1682.. b665 - b666 =L= 0; e1683.. b665 - b667 =L= 0; e1684.. b666 - b667 =L= 0; e1685.. b668 - b669 =L= 0; e1686.. b668 - b670 =L= 0; e1687.. b669 - b670 =L= 0; e1688.. b671 - b672 =L= 0; e1689.. b671 - b673 =L= 0; e1690.. b672 - b673 =L= 0; e1691.. b674 - b675 =L= 0; e1692.. b674 - b676 =L= 0; e1693.. b675 - b676 =L= 0; e1694.. b677 - b678 =L= 0; e1695.. b677 - b679 =L= 0; e1696.. b678 - b679 =L= 0; e1697.. b680 - b681 =L= 0; e1698.. b680 - b682 =L= 0; e1699.. b681 - b682 =L= 0; e1700.. b683 - b684 =L= 0; e1701.. b683 - b685 =L= 0; e1702.. b684 - b685 =L= 0; e1703.. b686 - b687 =L= 0; e1704.. b686 - b688 =L= 0; e1705.. b687 - b688 =L= 0; e1706.. b689 - b690 =L= 0; e1707.. b689 - b691 =L= 0; e1708.. b690 - b691 =L= 0; e1709.. b692 - b693 =L= 0; e1710.. b692 - b694 =L= 0; e1711.. b693 - b694 =L= 0; e1712.. b695 - b696 =L= 0; e1713.. b695 - b697 =L= 0; e1714.. b696 - b697 =L= 0; e1715.. b698 - b699 =L= 0; e1716.. b698 - b700 =L= 0; e1717.. b699 - b700 =L= 0; e1718.. b701 - b702 =L= 0; e1719.. b701 - b703 =L= 0; e1720.. b702 - b703 =L= 0; e1721.. b704 - b705 =L= 0; e1722.. b704 - b706 =L= 0; e1723.. b705 - b706 =L= 0; e1724.. b707 - b708 =L= 0; e1725.. b707 - b709 =L= 0; e1726.. b708 - b709 =L= 0; e1727.. b710 - b711 =L= 0; e1728.. b710 - b712 =L= 0; e1729.. b711 - b712 =L= 0; e1730.. b713 - b714 =L= 0; e1731.. b713 - b715 =L= 0; e1732.. b714 - b715 =L= 0; e1733.. b716 - b717 =L= 0; e1734.. b716 - b718 =L= 0; e1735.. b717 - b718 =L= 0; e1736.. b719 - b720 =L= 0; e1737.. b719 - b721 =L= 0; e1738.. b720 - b721 =L= 0; e1739.. b722 - b723 =L= 0; e1740.. b722 - b724 =L= 0; e1741.. b723 - b724 =L= 0; e1742.. b725 - b726 =L= 0; e1743.. b725 - b727 =L= 0; e1744.. b726 - b727 =L= 0; e1745.. b728 - b729 =L= 0; e1746.. b728 - b730 =L= 0; e1747.. b729 - b730 =L= 0; e1748.. b731 - b732 =L= 0; e1749.. b731 - b733 =L= 0; e1750.. b732 - b733 =L= 0; e1751.. b734 - b735 =L= 0; e1752.. b734 - b736 =L= 0; e1753.. b735 - b736 =L= 0; e1754.. b737 - b738 =L= 0; e1755.. b737 - b739 =L= 0; e1756.. b738 - b739 =L= 0; e1757.. b740 - b741 =L= 0; e1758.. b740 - b742 =L= 0; e1759.. b741 - b742 =L= 0; e1760.. b743 - b744 =L= 0; e1761.. b743 - b745 =L= 0; e1762.. b744 - b745 =L= 0; e1763.. b746 - b747 =L= 0; e1764.. b746 - b748 =L= 0; e1765.. b747 - b748 =L= 0; e1766.. b749 - b750 =L= 0; e1767.. b749 - b751 =L= 0; e1768.. b750 - b751 =L= 0; e1769.. b752 + b753 =L= 1; e1770.. b752 + b754 =L= 1; e1771.. b752 + b753 =L= 1; e1772.. b753 + b754 =L= 1; e1773.. b752 + b754 =L= 1; e1774.. b753 + b754 =L= 1; e1775.. b755 + b756 =L= 1; e1776.. b755 + b757 =L= 1; e1777.. b755 + b756 =L= 1; e1778.. b756 + b757 =L= 1; e1779.. b755 + b757 =L= 1; e1780.. b756 + b757 =L= 1; e1781.. b758 + b759 =L= 1; e1782.. b758 + b760 =L= 1; e1783.. b758 + b759 =L= 1; e1784.. b759 + b760 =L= 1; e1785.. b758 + b760 =L= 1; e1786.. b759 + b760 =L= 1; e1787.. b761 + b762 =L= 1; e1788.. b761 + b763 =L= 1; e1789.. b761 + b762 =L= 1; e1790.. b762 + b763 =L= 1; e1791.. b761 + b763 =L= 1; e1792.. b762 + b763 =L= 1; e1793.. b764 + b765 =L= 1; e1794.. b764 + b766 =L= 1; e1795.. b764 + b765 =L= 1; e1796.. b765 + b766 =L= 1; e1797.. b764 + b766 =L= 1; e1798.. b765 + b766 =L= 1; e1799.. b767 + b768 =L= 1; e1800.. b767 + b769 =L= 1; e1801.. b767 + b768 =L= 1; e1802.. b768 + b769 =L= 1; e1803.. b767 + b769 =L= 1; e1804.. b768 + b769 =L= 1; e1805.. b770 + b771 =L= 1; e1806.. b770 + b772 =L= 1; e1807.. b770 + b771 =L= 1; e1808.. b771 + b772 =L= 1; e1809.. b770 + b772 =L= 1; e1810.. b771 + b772 =L= 1; e1811.. b773 + b774 =L= 1; e1812.. b773 + b775 =L= 1; e1813.. b773 + b774 =L= 1; e1814.. b774 + b775 =L= 1; e1815.. b773 + b775 =L= 1; e1816.. b774 + b775 =L= 1; e1817.. b776 + b777 =L= 1; e1818.. b776 + b778 =L= 1; e1819.. b776 + b777 =L= 1; e1820.. b777 + b778 =L= 1; e1821.. b776 + b778 =L= 1; e1822.. b777 + b778 =L= 1; e1823.. b779 + b780 =L= 1; e1824.. b779 + b781 =L= 1; e1825.. b779 + b780 =L= 1; e1826.. b780 + b781 =L= 1; e1827.. b779 + b781 =L= 1; e1828.. b780 + b781 =L= 1; e1829.. b782 + b783 =L= 1; e1830.. b782 + b784 =L= 1; e1831.. b782 + b783 =L= 1; e1832.. b783 + b784 =L= 1; e1833.. b782 + b784 =L= 1; e1834.. b783 + b784 =L= 1; e1835.. b785 + b786 =L= 1; e1836.. b785 + b787 =L= 1; e1837.. b785 + b786 =L= 1; e1838.. b786 + b787 =L= 1; e1839.. b785 + b787 =L= 1; e1840.. b786 + b787 =L= 1; e1841.. b788 + b789 =L= 1; e1842.. b788 + b790 =L= 1; e1843.. b788 + b789 =L= 1; e1844.. b789 + b790 =L= 1; e1845.. b788 + b790 =L= 1; e1846.. b789 + b790 =L= 1; e1847.. b791 + b792 =L= 1; e1848.. b791 + b793 =L= 1; e1849.. b791 + b792 =L= 1; e1850.. b792 + b793 =L= 1; e1851.. b791 + b793 =L= 1; e1852.. b792 + b793 =L= 1; e1853.. b794 + b795 =L= 1; e1854.. b794 + b796 =L= 1; e1855.. b794 + b795 =L= 1; e1856.. b795 + b796 =L= 1; e1857.. b794 + b796 =L= 1; e1858.. b795 + b796 =L= 1; e1859.. b797 + b798 =L= 1; e1860.. b797 + b799 =L= 1; e1861.. b797 + b798 =L= 1; e1862.. b798 + b799 =L= 1; e1863.. b797 + b799 =L= 1; e1864.. b798 + b799 =L= 1; e1865.. b800 + b801 =L= 1; e1866.. b800 + b802 =L= 1; e1867.. b800 + b801 =L= 1; e1868.. b801 + b802 =L= 1; e1869.. b800 + b802 =L= 1; e1870.. b801 + b802 =L= 1; e1871.. b803 + b804 =L= 1; e1872.. b803 + b805 =L= 1; e1873.. b803 + b804 =L= 1; e1874.. b804 + b805 =L= 1; e1875.. b803 + b805 =L= 1; e1876.. b804 + b805 =L= 1; e1877.. b806 + b807 =L= 1; e1878.. b806 + b808 =L= 1; e1879.. b806 + b807 =L= 1; e1880.. b807 + b808 =L= 1; e1881.. b806 + b808 =L= 1; e1882.. b807 + b808 =L= 1; e1883.. b809 + b810 =L= 1; e1884.. b809 + b811 =L= 1; e1885.. b809 + b810 =L= 1; e1886.. b810 + b811 =L= 1; e1887.. b809 + b811 =L= 1; e1888.. b810 + b811 =L= 1; e1889.. b812 + b813 =L= 1; e1890.. b812 + b814 =L= 1; e1891.. b812 + b813 =L= 1; e1892.. b813 + b814 =L= 1; e1893.. b812 + b814 =L= 1; e1894.. b813 + b814 =L= 1; e1895.. b815 + b816 =L= 1; e1896.. b815 + b817 =L= 1; e1897.. b815 + b816 =L= 1; e1898.. b816 + b817 =L= 1; e1899.. b815 + b817 =L= 1; e1900.. b816 + b817 =L= 1; e1901.. b818 + b819 =L= 1; e1902.. b818 + b820 =L= 1; e1903.. b818 + b819 =L= 1; e1904.. b819 + b820 =L= 1; e1905.. b818 + b820 =L= 1; e1906.. b819 + b820 =L= 1; e1907.. b821 + b822 =L= 1; e1908.. b821 + b823 =L= 1; e1909.. b821 + b822 =L= 1; e1910.. b822 + b823 =L= 1; e1911.. b821 + b823 =L= 1; e1912.. b822 + b823 =L= 1; e1913.. b824 + b825 =L= 1; e1914.. b824 + b826 =L= 1; e1915.. b824 + b825 =L= 1; e1916.. b825 + b826 =L= 1; e1917.. b824 + b826 =L= 1; e1918.. b825 + b826 =L= 1; e1919.. b827 + b828 =L= 1; e1920.. b827 + b829 =L= 1; e1921.. b827 + b828 =L= 1; e1922.. b828 + b829 =L= 1; e1923.. b827 + b829 =L= 1; e1924.. b828 + b829 =L= 1; e1925.. b830 + b831 =L= 1; e1926.. b830 + b832 =L= 1; e1927.. b830 + b831 =L= 1; e1928.. b831 + b832 =L= 1; e1929.. b830 + b832 =L= 1; e1930.. b831 + b832 =L= 1; e1931.. b833 + b834 =L= 1; e1932.. b833 + b835 =L= 1; e1933.. b833 + b834 =L= 1; e1934.. b834 + b835 =L= 1; e1935.. b833 + b835 =L= 1; e1936.. b834 + b835 =L= 1; e1937.. b836 + b837 =L= 1; e1938.. b836 + b838 =L= 1; e1939.. b836 + b837 =L= 1; e1940.. b837 + b838 =L= 1; e1941.. b836 + b838 =L= 1; e1942.. b837 + b838 =L= 1; e1943.. b839 + b840 =L= 1; e1944.. b839 + b841 =L= 1; e1945.. b839 + b840 =L= 1; e1946.. b840 + b841 =L= 1; e1947.. b839 + b841 =L= 1; e1948.. b840 + b841 =L= 1; e1949.. b662 - b752 =L= 0; e1950.. - b662 + b663 - b753 =L= 0; e1951.. - b662 - b663 + b664 - b754 =L= 0; e1952.. b665 - b755 =L= 0; e1953.. - b665 + b666 - b756 =L= 0; e1954.. - b665 - b666 + b667 - b757 =L= 0; e1955.. b668 - b758 =L= 0; e1956.. - b668 + b669 - b759 =L= 0; e1957.. - b668 - b669 + b670 - b760 =L= 0; e1958.. b671 - b761 =L= 0; e1959.. - b671 + b672 - b762 =L= 0; e1960.. - b671 - b672 + b673 - b763 =L= 0; e1961.. b674 - b764 =L= 0; e1962.. - b674 + b675 - b765 =L= 0; e1963.. - b674 - b675 + b676 - b766 =L= 0; e1964.. b677 - b767 =L= 0; e1965.. - b677 + b678 - b768 =L= 0; e1966.. - b677 - b678 + b679 - b769 =L= 0; e1967.. b680 - b770 =L= 0; e1968.. - b680 + b681 - b771 =L= 0; e1969.. - b680 - b681 + b682 - b772 =L= 0; e1970.. b683 - b773 =L= 0; e1971.. - b683 + b684 - b774 =L= 0; e1972.. - b683 - b684 + b685 - b775 =L= 0; e1973.. b686 - b776 =L= 0; e1974.. - b686 + b687 - b777 =L= 0; e1975.. - b686 - b687 + b688 - b778 =L= 0; e1976.. b689 - b779 =L= 0; e1977.. - b689 + b690 - b780 =L= 0; e1978.. - b689 - b690 + b691 - b781 =L= 0; e1979.. b692 - b782 =L= 0; e1980.. - b692 + b693 - b783 =L= 0; e1981.. - b692 - b693 + b694 - b784 =L= 0; e1982.. b695 - b785 =L= 0; e1983.. - b695 + b696 - b786 =L= 0; e1984.. - b695 - b696 + b697 - b787 =L= 0; e1985.. b698 - b788 =L= 0; e1986.. - b698 + b699 - b789 =L= 0; e1987.. - b698 - b699 + b700 - b790 =L= 0; e1988.. b701 - b791 =L= 0; e1989.. - b701 + b702 - b792 =L= 0; e1990.. - b701 - b702 + b703 - b793 =L= 0; e1991.. b704 - b794 =L= 0; e1992.. - b704 + b705 - b795 =L= 0; e1993.. - b704 - b705 + b706 - b796 =L= 0; e1994.. b707 - b797 =L= 0; e1995.. - b707 + b708 - b798 =L= 0; e1996.. - b707 - b708 + b709 - b799 =L= 0; e1997.. b710 - b800 =L= 0; e1998.. - b710 + b711 - b801 =L= 0; e1999.. - b710 - b711 + b712 - b802 =L= 0; e2000.. b713 - b803 =L= 0; e2001.. - b713 + b714 - b804 =L= 0; e2002.. - b713 - b714 + b715 - b805 =L= 0; e2003.. b716 - b806 =L= 0; e2004.. - b716 + b717 - b807 =L= 0; e2005.. - b716 - b717 + b718 - b808 =L= 0; e2006.. b719 - b809 =L= 0; e2007.. - b719 + b720 - b810 =L= 0; e2008.. - b719 - b720 + b721 - b811 =L= 0; e2009.. b722 - b812 =L= 0; e2010.. - b722 + b723 - b813 =L= 0; e2011.. - b722 - b723 + b724 - b814 =L= 0; e2012.. b725 - b815 =L= 0; e2013.. - b725 + b726 - b816 =L= 0; e2014.. - b725 - b726 + b727 - b817 =L= 0; e2015.. b728 - b818 =L= 0; e2016.. - b728 + b729 - b819 =L= 0; e2017.. - b728 - b729 + b730 - b820 =L= 0; e2018.. b731 - b821 =L= 0; e2019.. - b731 + b732 - b822 =L= 0; e2020.. - b731 - b732 + b733 - b823 =L= 0; e2021.. b734 - b824 =L= 0; e2022.. - b734 + b735 - b825 =L= 0; e2023.. - b734 - b735 + b736 - b826 =L= 0; e2024.. b737 - b827 =L= 0; e2025.. - b737 + b738 - b828 =L= 0; e2026.. - b737 - b738 + b739 - b829 =L= 0; e2027.. b740 - b830 =L= 0; e2028.. - b740 + b741 - b831 =L= 0; e2029.. - b740 - b741 + b742 - b832 =L= 0; e2030.. b743 - b833 =L= 0; e2031.. - b743 + b744 - b834 =L= 0; e2032.. - b743 - b744 + b745 - b835 =L= 0; e2033.. b746 - b836 =L= 0; e2034.. - b746 + b747 - b837 =L= 0; e2035.. - b746 - b747 + b748 - b838 =L= 0; e2036.. b749 - b839 =L= 0; e2037.. - b749 + b750 - b840 =L= 0; e2038.. - b749 - b750 + b751 - b841 =L= 0; e2039.. b662 + b665 =E= 1; e2040.. b663 + b666 =E= 1; e2041.. b664 + b667 =E= 1; e2042.. - b668 + b677 + b680 =G= 0; e2043.. - b669 + b678 + b681 =G= 0; e2044.. - b670 + b679 + b682 =G= 0; e2045.. - b677 + b695 =G= 0; e2046.. - b678 + b696 =G= 0; e2047.. - b679 + b697 =G= 0; e2048.. - b680 + b698 =G= 0; e2049.. - b681 + b699 =G= 0; e2050.. - b682 + b700 =G= 0; e2051.. - b671 + b683 =G= 0; e2052.. - b672 + b684 =G= 0; e2053.. - b673 + b685 =G= 0; e2054.. - b683 + b701 + b704 =G= 0; e2055.. - b684 + b702 + b705 =G= 0; e2056.. - b685 + b703 + b706 =G= 0; e2057.. - b674 + b686 + b689 + b692 =G= 0; e2058.. - b675 + b687 + b690 + b693 =G= 0; e2059.. - b676 + b688 + b691 + b694 =G= 0; e2060.. - b686 + b704 =G= 0; e2061.. - b687 + b705 =G= 0; e2062.. - b688 + b706 =G= 0; e2063.. - b689 + b707 + b710 =G= 0; e2064.. - b690 + b708 + b711 =G= 0; e2065.. - b691 + b709 + b712 =G= 0; e2066.. - b692 + b713 + b716 + b719 =G= 0; e2067.. - b693 + b714 + b717 + b720 =G= 0; e2068.. - b694 + b715 + b718 + b721 =G= 0; e2069.. b662 + b665 - b668 =G= 0; e2070.. b663 + b666 - b669 =G= 0; e2071.. b664 + b667 - b670 =G= 0; e2072.. b662 + b665 - b671 =G= 0; e2073.. b663 + b666 - b672 =G= 0; e2074.. b664 + b667 - b673 =G= 0; e2075.. b662 + b665 - b674 =G= 0; e2076.. b663 + b666 - b675 =G= 0; e2077.. b664 + b667 - b676 =G= 0; e2078.. b668 - b677 =G= 0; e2079.. b669 - b678 =G= 0; e2080.. b670 - b679 =G= 0; e2081.. b668 - b680 =G= 0; e2082.. b669 - b681 =G= 0; e2083.. b670 - b682 =G= 0; e2084.. b671 - b683 =G= 0; e2085.. b672 - b684 =G= 0; e2086.. b673 - b685 =G= 0; e2087.. b674 - b686 =G= 0; e2088.. b675 - b687 =G= 0; e2089.. b676 - b688 =G= 0; e2090.. b674 - b689 =G= 0; e2091.. b675 - b690 =G= 0; e2092.. b676 - b691 =G= 0; e2093.. b674 - b692 =G= 0; e2094.. b675 - b693 =G= 0; e2095.. b676 - b694 =G= 0; e2096.. b677 - b695 =G= 0; e2097.. b678 - b696 =G= 0; e2098.. b679 - b697 =G= 0; e2099.. b680 - b698 =G= 0; e2100.. b681 - b699 =G= 0; e2101.. b682 - b700 =G= 0; e2102.. b683 - b701 =G= 0; e2103.. b684 - b702 =G= 0; e2104.. b685 - b703 =G= 0; e2105.. b683 - b704 =G= 0; e2106.. b684 - b705 =G= 0; e2107.. b685 - b706 =G= 0; e2108.. b689 - b707 =G= 0; e2109.. b690 - b708 =G= 0; e2110.. b691 - b709 =G= 0; e2111.. b689 - b710 =G= 0; e2112.. b690 - b711 =G= 0; e2113.. b691 - b712 =G= 0; e2114.. b692 - b713 =G= 0; e2115.. b693 - b714 =G= 0; e2116.. b694 - b715 =G= 0; e2117.. b692 - b716 =G= 0; e2118.. b693 - b717 =G= 0; e2119.. b694 - b718 =G= 0; e2120.. b692 - b719 =G= 0; e2121.. b693 - b720 =G= 0; e2122.. b694 - b721 =G= 0; e2123.. - b719 + b722 + b725 =G= 0; e2124.. - b720 + b723 + b726 =G= 0; e2125.. - b721 + b724 + b727 =G= 0; e2126.. - b728 + b737 + b740 =G= 0; e2127.. - b729 + b738 + b741 =G= 0; e2128.. - b730 + b739 + b742 =G= 0; e2129.. - b731 + b743 =G= 0; e2130.. - b732 + b744 =G= 0; e2131.. - b733 + b745 =G= 0; e2132.. b719 - b722 =G= 0; e2133.. b720 - b723 =G= 0; e2134.. b721 - b724 =G= 0; e2135.. b719 - b725 =G= 0; e2136.. b720 - b726 =G= 0; e2137.. b721 - b727 =G= 0; e2138.. b728 - b737 =G= 0; e2139.. b729 - b738 =G= 0; e2140.. b730 - b739 =G= 0; e2141.. b728 - b740 =G= 0; e2142.. b729 - b741 =G= 0; e2143.. b730 - b742 =G= 0; e2144.. b731 - b743 =G= 0; e2145.. b732 - b744 =G= 0; e2146.. b733 - b745 =G= 0; e2147.. b734 - b746 =G= 0; e2148.. b735 - b747 =G= 0; e2149.. b736 - b748 =G= 0; e2150.. b734 - b749 =G= 0; e2151.. b735 - b750 =G= 0; e2152.. b736 - b751 =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; x620.up = 30; x621.up = 30; x622.up = 30; Model m / all /; m.limrow=0; m.limcol=0; m.tolproj=0.0; $if NOT '%gams.u1%' == '' $include '%gams.u1%' $if not set MINLP $set MINLP MINLP Solve m using %MINLP% maximizing objvar;
Last updated: 2024-08-26 Git hash: 6cc1607f