MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance gabriel05
The question to answer is to find the minimum value of k such that the k-Gabriel graph of any set of points in the plane is Hamiltonian. A known upper bound on k is 10. Infeasibility of this instance would give some indication for lower bounds on k.
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 50.80752339 (ANTIGONE) 51.08670421 (BARON) 51.78873536 (COUENNE) 50.73093718 (GUROBI) 47.38777778 (LINDO) 50.89702696 (SCIP) 51.33000001 (SHOT) |
| Referencesⓘ | Kaiser, Tomáš, Saumell, Maria, and Cleemput, Nico Van, 10-Gabriel graphs are Hamiltonian, Information Processing Letters, 115:11, 2015, 877-881. |
| Sourceⓘ | QPLIB instance 0685, contributed by Maria Saumell |
| Applicationⓘ | Computational geometry |
| Added to libraryⓘ | 18 Aug 2018 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 775 |
| #Binary Variablesⓘ | 256 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 364 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | max |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 496 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1795 |
| #Linear Constraintsⓘ | 1603 |
| #Quadratic Constraintsⓘ | 192 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 6979 |
| #Nonlinear Nonzeros in Jacobianⓘ | 2568 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 2064 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 32 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 7 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 12 |
| Average blocksize in Hessian of Lagrangianⓘ | 11.375 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e-01 |
| Maximal coefficientⓘ | 1.3700e+01 |
| Infeasibility of initial pointⓘ | 2.1 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 1796 264 280 1252 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 776 520 256 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 7476 4908 2568 0
*
* Solve m using MIQCP 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,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271
,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,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,b452,b453
,b454,b455,b456,b457,b458,b459,b460,b461,b462,b463,b464,b465,b466
,b467,b468,b469,b470,b471,b472,b473,b474,b475,b476,b477,b478,b479
,b480,b481,b482,b483,b484,b485,b486,b487,b488,b489,b490,b491,b492
,b493,b494,b495,b496,b497,b498,b499,b500,b501,b502,b503,b504,b505
,b506,b507,b508,b509,b510,b511,b512,b513,b514,b515,b516,b517,b518
,b519,b520,b521,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,b593,b594,b595,b596
,b597,b598,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608,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
,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674
,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687
,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700
,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713
,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726
,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739
,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752
,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765
,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776;
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,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270
,x271,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,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,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,x662,x663,x664,x665,x666,x667,x668,x669
,x670,x671,x672,x673,x674,x675,x676,x677,x678,x679,x680,x681,x682
,x683,x684,x685,x686,x687,x688,x689,x690,x691,x692,x693,x694,x695
,x696,x697,x698,x699,x700,x701,x702,x703,x704,x705,x706,x707,x708
,x709,x710,x711,x712,x713,x714,x715,x716,x717,x718,x719,x720,x721
,x722,x723,x724,x725,x726,x727,x728,x729,x730,x731,x732,x733,x734
,x735,x736,x737,x738,x739,x740,x741,x742,x743,x744,x745,x746,x747
,x748,x749,x750,x751,x752,x753,x754,x755,x756,x757,x758,x759,x760
,x761,x762,x763,x764,x765,x766,x767,x768,x769,x770,x771,x772,x773
,x774,x775,x776;
Binary Variables 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,b452,b453,b454,b455,b456,b457,b458,b459,b460,b461,b462
,b463,b464,b465,b466,b467,b468,b469,b470,b471,b472,b473,b474,b475
,b476,b477,b478,b479,b480,b481,b482,b483,b484,b485,b486,b487,b488
,b489,b490,b491,b492,b493,b494,b495,b496,b497,b498,b499,b500,b501
,b502,b503,b504,b505,b506,b507,b508,b509,b510,b511,b512,b513,b514
,b515,b516,b517,b518,b519,b520,b521,b593,b594,b595,b596,b597,b598
,b599,b600,b601,b602,b603,b604,b605,b606,b607,b608;
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;
e1.. - objvar - 0.5*x2 - 0.5*x3 - 0.5*x4 - 0.5*x5 - 0.5*x6 - 0.5*x7 - 0.5*x8
- 0.5*x9 - 0.7*x10 - 0.7*x11 - 0.7*x12 - 0.7*x13 - 0.7*x14 - 0.7*x15
- 0.7*x16 - 0.7*x17 - 0.6*x18 - 0.6*x19 - 0.6*x20 - 0.6*x21 - 0.6*x22
- 0.6*x23 - 0.6*x24 - 0.6*x25 - 0.8*x26 - 0.8*x27 - 0.8*x28 - 0.8*x29
- 0.8*x30 - 0.8*x31 - 0.8*x32 - 0.8*x33 - 0.9*x34 - 0.9*x35 - 0.9*x36
- 0.9*x37 - 0.9*x38 - 0.9*x39 - 0.9*x40 - 0.9*x41 - 0.9*x42 - 0.9*x43
- 0.9*x44 - 0.9*x45 - 0.9*x46 - 0.9*x47 - 0.9*x48 - 0.9*x49 - 0.6*x50
- 0.6*x51 - 0.6*x52 - 0.6*x53 - 0.6*x54 - 0.6*x55 - 0.6*x56 - 0.6*x57
- 0.9*x58 - 0.9*x59 - 0.9*x60 - 0.9*x61 - 0.9*x62 - 0.9*x63 - 0.9*x64
- 0.9*x65 - 1.1*x66 - 1.1*x67 - 1.1*x68 - 1.1*x69 - 1.1*x70 - 1.1*x71
- 1.1*x72 - 1.1*x73 - 1.1*x74 - 1.1*x75 - 1.1*x76 - 1.1*x77 - 1.1*x78
- 1.1*x79 - 1.1*x80 - 1.1*x81 - 0.8*x82 - 0.8*x83 - 0.8*x84 - 0.8*x85
- 0.8*x86 - 0.8*x87 - 0.8*x88 - 0.8*x89 - 0.8*x90 - 0.8*x91 - 0.8*x92
- 0.8*x93 - 0.8*x94 - 0.8*x95 - 0.8*x96 - 0.8*x97 + 10.1*x98 + 10.1*x99
+ 10.1*x100 + 10.1*x101 + 10.1*x102 + 10.1*x103 + 10.1*x104 + 10.1*x105
- 0.1*x106 - 0.1*x107 - 0.1*x108 - 0.1*x109 - 0.1*x110 - 0.1*x111
- 0.1*x112 - 0.1*x113 - 0.4*x114 - 0.4*x115 - 0.4*x116 - 0.4*x117
- 0.4*x118 - 0.4*x119 - 0.4*x120 - 0.4*x121 - 0.1*x122 - 0.1*x123
- 0.1*x124 - 0.1*x125 - 0.1*x126 - 0.1*x127 - 0.1*x128 - 0.1*x129
+ 13.5*x130 + 13.5*x131 + 13.5*x132 + 13.5*x133 + 13.5*x134 + 13.5*x135
+ 13.5*x136 + 10.5*x137 + 10.5*x138 + 10.5*x139 + 10.5*x140 + 10.5*x141
+ 10.5*x142 + 10.5*x143 - 0.2*x144 - 0.2*x145 - 0.2*x146 - 0.2*x147
- 0.2*x148 - 0.2*x149 - 0.2*x150 - 0.2*x151 - 0.1*x152 - 0.1*x153
- 0.1*x154 - 0.1*x155 - 0.1*x156 - 0.1*x157 - 0.1*x158 - 0.1*x159
- 0.5*x160 - 0.5*x161 - 0.5*x162 - 0.5*x163 - 0.5*x164 - 0.5*x165
- 0.5*x166 - 0.5*x167 + 13.5*x168 + 13.5*x169 + 13.5*x170 + 13.5*x171
+ 13.5*x172 + 13.5*x173 + 13.5*x174 + 10.5*x175 + 10.5*x176 + 10.5*x177
+ 10.5*x178 + 10.5*x179 + 10.5*x180 + 10.5*x181 - 0.3*x182 - 0.3*x183
- 0.3*x184 - 0.3*x185 - 0.3*x186 - 0.3*x187 - 0.3*x188 - 0.3*x189
- 0.4*x190 - 0.4*x191 - 0.4*x192 - 0.4*x193 - 0.4*x194 - 0.4*x195
- 0.4*x196 - 0.4*x197 - 0.5*x198 - 0.5*x199 - 0.5*x200 - 0.5*x201
- 0.5*x202 - 0.5*x203 - 0.5*x204 - 0.5*x205 + 13.4*x206 + 13.4*x207
+ 13.4*x208 + 13.4*x209 + 13.4*x210 + 13.4*x211 + 13.4*x212 + 10.6*x213
+ 10.6*x214 + 10.6*x215 + 10.6*x216 + 10.6*x217 + 10.6*x218 + 10.6*x219
- 0.1*x220 - 0.1*x221 - 0.1*x222 - 0.1*x223 - 0.1*x224 - 0.1*x225
- 0.1*x226 - 0.1*x227 - 0.2*x228 - 0.2*x229 - 0.2*x230 - 0.2*x231
- 0.2*x232 - 0.2*x233 - 0.2*x234 - 0.2*x235 - 0.3*x236 - 0.3*x237
- 0.3*x238 - 0.3*x239 - 0.3*x240 - 0.3*x241 - 0.3*x242 - 0.3*x243
+ 13.7*x244 + 13.7*x245 + 13.7*x246 + 13.7*x247 + 13.7*x248 + 13.7*x249
+ 13.7*x250 + 10.8*x251 + 10.8*x252 + 10.8*x253 + 10.8*x254 + 10.8*x255
+ 10.8*x256 + 10.8*x257 - 0.4*b282 - 0.4*b283 - 0.4*b284 - 0.4*b285
- 0.4*b286 - 0.4*b287 - 0.4*b288 - 0.4*b289 - 0.2*b290 - 0.2*b291
- 0.2*b292 - 0.2*b293 - 0.2*b294 - 0.2*b295 - 0.2*b296 - 0.2*b297
- 0.2*b298 - 0.2*b299 - 0.2*b300 - 0.2*b301 - 0.2*b302 - 0.2*b303
- 0.2*b304 - 0.2*b305 - 0.1*b306 - 0.1*b307 - 0.1*b308 - 0.1*b309
- 0.1*b310 - 0.1*b311 - 0.1*b312 - 0.1*b313 - 0.5*b314 - 0.5*b315
- 0.5*b316 - 0.5*b317 - 0.5*b318 - 0.5*b319 - 0.5*b320 - 0.5*b321
- 0.2*b322 - 0.2*b323 - 0.2*b324 - 0.2*b325 - 0.2*b326 - 0.2*b327
- 0.2*b328 - 0.2*b329 - 0.4*b330 - 0.4*b331 - 0.4*b332 - 0.4*b333
- 0.4*b334 - 0.4*b335 - 0.4*b336 - 0.4*b337 - 0.4*b338 - 0.4*b339
- 0.4*b340 - 0.4*b341 - 0.4*b342 - 0.4*b343 - 0.4*b344 - 0.4*b345
- 0.4*b346 - 0.4*b347 - 0.4*b348 - 0.4*b349 - 0.4*b350 - 0.4*b351
- 0.4*b352 - 0.4*b353 - 0.4*b354 - 0.4*b355 - 0.4*b356 - 0.4*b357
- 0.4*b358 - 0.4*b359 - 0.4*b360 - 0.4*b361 - 0.3*b362 - 0.3*b363
- 0.3*b364 - 0.3*b365 - 0.3*b366 - 0.3*b367 - 0.3*b368 - 0.3*b369
- 0.3*b370 - 0.3*b371 - 0.3*b372 - 0.3*b373 - 0.3*b374 - 0.3*b375
- 0.3*b376 - 0.3*b377 - 0.1*b378 - 0.1*b379 - 0.1*b380 - 0.1*b381
- 0.1*b382 - 0.1*b383 - 0.1*b384 - 0.1*b385 - 0.1*b386 - 0.1*b387
- 0.1*b388 - 0.1*b389 - 0.1*b390 - 0.1*b391 - 0.1*b392 - 0.1*b393
- 0.3*b394 - 0.3*b395 - 0.3*b396 - 0.3*b397 - 0.3*b398 - 0.3*b399
- 0.3*b400 - 0.3*b401 - 0.1*b402 - 0.1*b403 - 0.1*b404 - 0.1*b405
- 0.1*b406 - 0.1*b407 - 0.1*b408 - 0.2*b409 - 0.2*b410 - 0.2*b411
- 0.2*b412 - 0.2*b413 - 0.2*b414 - 0.2*b415 - 0.3*b416 - 0.3*b417
- 0.3*b418 - 0.3*b419 - 0.3*b420 - 0.3*b421 - 0.3*b422 - 0.3*b423
- 0.1*b424 - 0.1*b425 - 0.1*b426 - 0.1*b427 - 0.1*b428 - 0.1*b429
- 0.1*b430 - 0.1*b431 - 0.2*b432 - 0.2*b433 - 0.2*b434 - 0.2*b435
- 0.2*b436 - 0.2*b437 - 0.2*b438 - 0.4*b439 - 0.4*b440 - 0.4*b441
- 0.4*b442 - 0.4*b443 - 0.4*b444 - 0.4*b445 - 0.4*b446 - 0.4*b447
- 0.4*b448 - 0.4*b449 - 0.4*b450 - 0.4*b451 - 0.4*b452 - 0.4*b453
- 0.4*b454 - 0.4*b455 - 0.4*b456 - 0.4*b457 - 0.4*b458 - 0.4*b459
- 0.4*b460 - 0.4*b461 - 0.2*b462 - 0.2*b463 - 0.2*b464 - 0.2*b465
- 0.2*b466 - 0.2*b467 - 0.2*b468 - 0.2*b469 - 0.3*b470 - 0.3*b471
- 0.3*b472 - 0.3*b473 - 0.3*b474 - 0.3*b475 - 0.3*b476 - 0.2*b477
- 0.2*b478 - 0.2*b479 - 0.2*b480 - 0.2*b481 - 0.2*b482 - 0.2*b483
- 0.1*b484 - 0.1*b485 - 0.1*b486 - 0.1*b487 - 0.1*b488 - 0.1*b489
- 0.1*b490 - 0.1*b491 - 0.3*b492 - 0.3*b493 - 0.3*b494 - 0.3*b495
- 0.3*b496 - 0.3*b497 - 0.3*b498 - 0.3*b499 - 0.1*b500 - 0.1*b501
- 0.1*b502 - 0.1*b503 - 0.1*b504 - 0.1*b505 - 0.1*b506 - 0.1*b507
- 0.2*b508 - 0.2*b509 - 0.2*b510 - 0.2*b511 - 0.2*b512 - 0.2*b513
- 0.2*b514 - 0.3*b515 - 0.3*b516 - 0.3*b517 - 0.3*b518 - 0.3*b519
- 0.3*b520 - 0.3*b521 =E= 0;
e2.. x2 + x10 + x18 + x26 + x522 =E= 1.9;
e3.. x34 + x42 + x50 + x58 + x523 =E= 1.2;
e4.. x66 + x74 + x82 + x90 + x98 + x524 =E= 2.1;
e5.. - x2 - x34 - x66 + x106 + x114 + x122 - x144 - x182 - x220 + x525 =E= 0.2
;
e6.. - x10 - x42 - x74 - x106 + x144 + x152 + x160 - x190 - x228 + x526
=E= 0.1;
e7.. - x18 - x50 - x82 - x114 - x152 + x182 + x190 + x198 - x236 + x527
=E= 0.6;
e8.. - x26 - x58 - x90 - x122 - x160 - x198 + x220 + x228 + x236 + x528
=E= 1.2;
e9.. - x98 + x529 =E= 1.6;
e10.. x3 + x11 + x19 + x27 - x522 + x530 =E= 0.7;
e11.. x4 + x12 + x20 + x28 - x530 + x531 =E= 0.4;
e12.. x5 + x13 + x21 + x29 - x531 + x532 =E= 0.8;
e13.. x6 + x14 + x22 + x30 - x532 + x533 =E= 0.4;
e14.. x7 + x15 + x23 + x31 - x533 + x534 =E= 0.4;
e15.. x8 + x16 + x24 + x32 - x534 + x535 =E= 0;
e16.. x9 + x17 + x25 + x33 - x535 + x536 =E= 0;
e17.. x35 + x43 + x51 + x59 - x523 + x537 =E= 0.6;
e18.. x36 + x44 + x52 + x60 - x537 + x538 =E= 0.2;
e19.. x37 + x45 + x53 + x61 - x538 + x539 =E= 0.8;
e20.. x38 + x46 + x54 + x62 - x539 + x540 =E= 0.9;
e21.. x39 + x47 + x55 + x63 - x540 + x541 =E= 1;
e22.. x40 + x48 + x56 + x64 - x541 + x542 =E= 0.5;
e23.. x41 + x49 + x57 + x65 - x542 + x543 =E= 0.2;
e24.. x67 + x75 + x83 + x91 + x99 - x524 + x544 =E= 0.5;
e25.. x68 + x76 + x84 + x92 + x100 - x544 + x545 =E= 0.8;
e26.. x69 + x77 + x85 + x93 + x101 - x545 + x546 =E= 0.3;
e27.. x70 + x78 + x86 + x94 + x102 - x546 + x547 =E= 0.5;
e28.. x71 + x79 + x87 + x95 + x103 - x547 + x548 =E= 0.6;
e29.. x72 + x80 + x88 + x96 + x104 - x548 + x549 =E= 0.9;
e30.. x73 + x81 + x89 + x97 + x105 - x549 + x550 =E= 0.2;
e31.. - x3 - x35 - x67 + x107 + x115 + x123 + x130 + x137 - x145 - x183 - x221
- x525 + x551 =E= 0;
e32.. - x4 - x36 - x68 + x108 + x116 + x124 + x131 + x138 - x146 - x184 - x222
- x551 + x552 =E= 0;
e33.. - x5 - x37 - x69 + x109 + x117 + x125 + x132 + x139 - x147 - x185 - x223
- x552 + x553 =E= 0;
e34.. - x6 - x38 - x70 + x110 + x118 + x126 + x133 + x140 - x148 - x186 - x224
- x553 + x554 =E= 0;
e35.. - x7 - x39 - x71 + x111 + x119 + x127 + x134 + x141 - x149 - x187 - x225
- x554 + x555 =E= 0;
e36.. - x8 - x40 - x72 + x112 + x120 + x128 + x135 + x142 - x150 - x188 - x226
- x555 + x556 =E= 0;
e37.. - x9 - x41 - x73 + x113 + x121 + x129 + x136 + x143 - x151 - x189 - x227
- x556 + x557 =E= 0;
e38.. - x11 - x43 - x75 - x107 + x145 + x153 + x161 + x168 + x175 - x191
- x229 - x526 + x558 =E= 0;
e39.. - x12 - x44 - x76 - x108 + x146 + x154 + x162 + x169 + x176 - x192
- x230 - x558 + x559 =E= 0;
e40.. - x13 - x45 - x77 - x109 + x147 + x155 + x163 + x170 + x177 - x193
- x231 - x559 + x560 =E= 0;
e41.. - x14 - x46 - x78 - x110 + x148 + x156 + x164 + x171 + x178 - x194
- x232 - x560 + x561 =E= 0;
e42.. - x15 - x47 - x79 - x111 + x149 + x157 + x165 + x172 + x179 - x195
- x233 - x561 + x562 =E= 0;
e43.. - x16 - x48 - x80 - x112 + x150 + x158 + x166 + x173 + x180 - x196
- x234 - x562 + x563 =E= 0;
e44.. - x17 - x49 - x81 - x113 + x151 + x159 + x167 + x174 + x181 - x197
- x235 - x563 + x564 =E= 0;
e45.. - x19 - x51 - x83 - x115 - x153 + x183 + x191 + x199 + x206 + x213
- x237 - x527 + x565 =E= 0;
e46.. - x20 - x52 - x84 - x116 - x154 + x184 + x192 + x200 + x207 + x214
- x238 - x565 + x566 =E= 0;
e47.. - x21 - x53 - x85 - x117 - x155 + x185 + x193 + x201 + x208 + x215
- x239 - x566 + x567 =E= 0;
e48.. - x22 - x54 - x86 - x118 - x156 + x186 + x194 + x202 + x209 + x216
- x240 - x567 + x568 =E= 0;
e49.. - x23 - x55 - x87 - x119 - x157 + x187 + x195 + x203 + x210 + x217
- x241 - x568 + x569 =E= 0;
e50.. - x24 - x56 - x88 - x120 - x158 + x188 + x196 + x204 + x211 + x218
- x242 - x569 + x570 =E= 0;
e51.. - x25 - x57 - x89 - x121 - x159 + x189 + x197 + x205 + x212 + x219
- x243 - x570 + x571 =E= 0;
e52.. - x27 - x59 - x91 - x123 - x161 - x199 + x221 + x229 + x237 + x244
+ x251 - x528 + x572 =E= 0;
e53.. - x28 - x60 - x92 - x124 - x162 - x200 + x222 + x230 + x238 + x245
+ x252 - x572 + x573 =E= 0;
e54.. - x29 - x61 - x93 - x125 - x163 - x201 + x223 + x231 + x239 + x246
+ x253 - x573 + x574 =E= 0;
e55.. - x30 - x62 - x94 - x126 - x164 - x202 + x224 + x232 + x240 + x247
+ x254 - x574 + x575 =E= 0;
e56.. - x31 - x63 - x95 - x127 - x165 - x203 + x225 + x233 + x241 + x248
+ x255 - x575 + x576 =E= 0;
e57.. - x32 - x64 - x96 - x128 - x166 - x204 + x226 + x234 + x242 + x249
+ x256 - x576 + x577 =E= 0;
e58.. - x33 - x65 - x97 - x129 - x167 - x205 + x227 + x235 + x243 + x250
+ x257 - x577 + x578 =E= 0;
e59.. - x130 - x168 - x206 - x244 + x579 =E= 0.8;
e60.. - x131 - x169 - x207 - x245 - x579 + x580 =E= -0.2;
e61.. - x132 - x170 - x208 - x246 - x580 + x581 =E= -0.4;
e62.. - x133 - x171 - x209 - x247 - x581 + x582 =E= -0.2;
e63.. - x134 - x172 - x210 - x248 - x582 + x583 =E= -0.1;
e64.. - x135 - x173 - x211 - x249 - x583 + x584 =E= -0.3;
e65.. - x136 - x174 - x212 - x250 - x584 + x585 =E= -0.3;
e66.. - x99 - x137 - x175 - x213 - x251 - x529 + x586 =E= -0.4;
e67.. - x100 - x138 - x176 - x214 - x252 - x586 + x587 =E= -0.5;
e68.. - x101 - x139 - x177 - x215 - x253 - x587 + x588 =E= -0.5;
e69.. - x102 - x140 - x178 - x216 - x254 - x588 + x589 =E= -0.1;
e70.. - x103 - x141 - x179 - x217 - x255 - x589 + x590 =E= -0.1;
e71.. - x104 - x142 - x180 - x218 - x256 - x590 + x591 =E= 0;
e72.. - x105 - x143 - x181 - x219 - x257 - x591 + x592 =E= -0.3;
e73.. x2 - b282 =L= 0;
e74.. x3 - b283 =L= 0;
e75.. x4 - b284 =L= 0;
e76.. x5 - b285 =L= 0;
e77.. x6 - b286 =L= 0;
e78.. x7 - b287 =L= 0;
e79.. x8 - b288 =L= 0;
e80.. x9 - b289 =L= 0;
e81.. x10 - b290 =L= 0;
e82.. x11 - b291 =L= 0;
e83.. x12 - b292 =L= 0;
e84.. x13 - b293 =L= 0;
e85.. x14 - b294 =L= 0;
e86.. x15 - b295 =L= 0;
e87.. x16 - b296 =L= 0;
e88.. x17 - b297 =L= 0;
e89.. x18 - b298 =L= 0;
e90.. x19 - b299 =L= 0;
e91.. x20 - b300 =L= 0;
e92.. x21 - b301 =L= 0;
e93.. x22 - b302 =L= 0;
e94.. x23 - b303 =L= 0;
e95.. x24 - b304 =L= 0;
e96.. x25 - b305 =L= 0;
e97.. x26 - b306 =L= 0;
e98.. x27 - b307 =L= 0;
e99.. x28 - b308 =L= 0;
e100.. x29 - b309 =L= 0;
e101.. x30 - b310 =L= 0;
e102.. x31 - b311 =L= 0;
e103.. x32 - b312 =L= 0;
e104.. x33 - b313 =L= 0;
e105.. x34 - b314 =L= 0;
e106.. x35 - b315 =L= 0;
e107.. x36 - b316 =L= 0;
e108.. x37 - b317 =L= 0;
e109.. x38 - b318 =L= 0;
e110.. x39 - b319 =L= 0;
e111.. x40 - b320 =L= 0;
e112.. x41 - b321 =L= 0;
e113.. x42 - b322 =L= 0;
e114.. x43 - b323 =L= 0;
e115.. x44 - b324 =L= 0;
e116.. x45 - b325 =L= 0;
e117.. x46 - b326 =L= 0;
e118.. x47 - b327 =L= 0;
e119.. x48 - b328 =L= 0;
e120.. x49 - b329 =L= 0;
e121.. x50 - b330 =L= 0;
e122.. x51 - b331 =L= 0;
e123.. x52 - b332 =L= 0;
e124.. x53 - b333 =L= 0;
e125.. x54 - b334 =L= 0;
e126.. x55 - b335 =L= 0;
e127.. x56 - b336 =L= 0;
e128.. x57 - b337 =L= 0;
e129.. x58 - b338 =L= 0;
e130.. x59 - b339 =L= 0;
e131.. x60 - b340 =L= 0;
e132.. x61 - b341 =L= 0;
e133.. x62 - b342 =L= 0;
e134.. x63 - b343 =L= 0;
e135.. x64 - b344 =L= 0;
e136.. x65 - b345 =L= 0;
e137.. x66 - b346 =L= 0;
e138.. x67 - b347 =L= 0;
e139.. x68 - b348 =L= 0;
e140.. x69 - b349 =L= 0;
e141.. x70 - b350 =L= 0;
e142.. x71 - b351 =L= 0;
e143.. x72 - b352 =L= 0;
e144.. x73 - b353 =L= 0;
e145.. x74 - b354 =L= 0;
e146.. x75 - b355 =L= 0;
e147.. x76 - b356 =L= 0;
e148.. x77 - b357 =L= 0;
e149.. x78 - b358 =L= 0;
e150.. x79 - b359 =L= 0;
e151.. x80 - b360 =L= 0;
e152.. x81 - b361 =L= 0;
e153.. x82 - b362 =L= 0;
e154.. x83 - b363 =L= 0;
e155.. x84 - b364 =L= 0;
e156.. x85 - b365 =L= 0;
e157.. x86 - b366 =L= 0;
e158.. x87 - b367 =L= 0;
e159.. x88 - b368 =L= 0;
e160.. x89 - b369 =L= 0;
e161.. x90 - b370 =L= 0;
e162.. x91 - b371 =L= 0;
e163.. x92 - b372 =L= 0;
e164.. x93 - b373 =L= 0;
e165.. x94 - b374 =L= 0;
e166.. x95 - b375 =L= 0;
e167.. x96 - b376 =L= 0;
e168.. x97 - b377 =L= 0;
e169.. x98 - b593 =L= 0;
e170.. x99 - b594 =L= 0;
e171.. x100 - b595 =L= 0;
e172.. x101 - b596 =L= 0;
e173.. x102 - b597 =L= 0;
e174.. x103 - b598 =L= 0;
e175.. x104 - b599 =L= 0;
e176.. x105 - b600 =L= 0;
e177.. x106 - b378 =L= 0;
e178.. x107 - b379 =L= 0;
e179.. x108 - b380 =L= 0;
e180.. x109 - b381 =L= 0;
e181.. x110 - b382 =L= 0;
e182.. x111 - b383 =L= 0;
e183.. x112 - b384 =L= 0;
e184.. x113 - b385 =L= 0;
e185.. x114 - b386 =L= 0;
e186.. x115 - b387 =L= 0;
e187.. x116 - b388 =L= 0;
e188.. x117 - b389 =L= 0;
e189.. x118 - b390 =L= 0;
e190.. x119 - b391 =L= 0;
e191.. x120 - b392 =L= 0;
e192.. x121 - b393 =L= 0;
e193.. x122 - b394 =L= 0;
e194.. x123 - b395 =L= 0;
e195.. x124 - b396 =L= 0;
e196.. x125 - b397 =L= 0;
e197.. x126 - b398 =L= 0;
e198.. x127 - b399 =L= 0;
e199.. x128 - b400 =L= 0;
e200.. x129 - b401 =L= 0;
e201.. x130 - b402 =L= 0;
e202.. x131 - b403 =L= 0;
e203.. x132 - b404 =L= 0;
e204.. x133 - b405 =L= 0;
e205.. x134 - b406 =L= 0;
e206.. x135 - b407 =L= 0;
e207.. x136 - b408 =L= 0;
e208.. x137 - b409 =L= 0;
e209.. x138 - b410 =L= 0;
e210.. x139 - b411 =L= 0;
e211.. x140 - b412 =L= 0;
e212.. x141 - b413 =L= 0;
e213.. x142 - b414 =L= 0;
e214.. x143 - b415 =L= 0;
e215.. x144 - b416 =L= 0;
e216.. x145 - b417 =L= 0;
e217.. x146 - b418 =L= 0;
e218.. x147 - b419 =L= 0;
e219.. x148 - b420 =L= 0;
e220.. x149 - b421 =L= 0;
e221.. x150 - b422 =L= 0;
e222.. x151 - b423 =L= 0;
e223.. x152 - b424 =L= 0;
e224.. x153 - b425 =L= 0;
e225.. x154 - b426 =L= 0;
e226.. x155 - b427 =L= 0;
e227.. x156 - b428 =L= 0;
e228.. x157 - b429 =L= 0;
e229.. x158 - b430 =L= 0;
e230.. x159 - b431 =L= 0;
e231.. x160 - b601 =L= 0;
e232.. x161 - b602 =L= 0;
e233.. x162 - b603 =L= 0;
e234.. x163 - b604 =L= 0;
e235.. x164 - b605 =L= 0;
e236.. x165 - b606 =L= 0;
e237.. x166 - b607 =L= 0;
e238.. x167 - b608 =L= 0;
e239.. x168 - b432 =L= 0;
e240.. x169 - b433 =L= 0;
e241.. x170 - b434 =L= 0;
e242.. x171 - b435 =L= 0;
e243.. x172 - b436 =L= 0;
e244.. x173 - b437 =L= 0;
e245.. x174 - b438 =L= 0;
e246.. x175 - b439 =L= 0;
e247.. x176 - b440 =L= 0;
e248.. x177 - b441 =L= 0;
e249.. x178 - b442 =L= 0;
e250.. x179 - b443 =L= 0;
e251.. x180 - b444 =L= 0;
e252.. x181 - b445 =L= 0;
e253.. x182 - b446 =L= 0;
e254.. x183 - b447 =L= 0;
e255.. x184 - b448 =L= 0;
e256.. x185 - b449 =L= 0;
e257.. x186 - b450 =L= 0;
e258.. x187 - b451 =L= 0;
e259.. x188 - b452 =L= 0;
e260.. x189 - b453 =L= 0;
e261.. x190 - b454 =L= 0;
e262.. x191 - b455 =L= 0;
e263.. x192 - b456 =L= 0;
e264.. x193 - b457 =L= 0;
e265.. x194 - b458 =L= 0;
e266.. x195 - b459 =L= 0;
e267.. x196 - b460 =L= 0;
e268.. x197 - b461 =L= 0;
e269.. x198 - b462 =L= 0;
e270.. x199 - b463 =L= 0;
e271.. x200 - b464 =L= 0;
e272.. x201 - b465 =L= 0;
e273.. x202 - b466 =L= 0;
e274.. x203 - b467 =L= 0;
e275.. x204 - b468 =L= 0;
e276.. x205 - b469 =L= 0;
e277.. x206 - b470 =L= 0;
e278.. x207 - b471 =L= 0;
e279.. x208 - b472 =L= 0;
e280.. x209 - b473 =L= 0;
e281.. x210 - b474 =L= 0;
e282.. x211 - b475 =L= 0;
e283.. x212 - b476 =L= 0;
e284.. x213 - b477 =L= 0;
e285.. x214 - b478 =L= 0;
e286.. x215 - b479 =L= 0;
e287.. x216 - b480 =L= 0;
e288.. x217 - b481 =L= 0;
e289.. x218 - b482 =L= 0;
e290.. x219 - b483 =L= 0;
e291.. x220 - b484 =L= 0;
e292.. x221 - b485 =L= 0;
e293.. x222 - b486 =L= 0;
e294.. x223 - b487 =L= 0;
e295.. x224 - b488 =L= 0;
e296.. x225 - b489 =L= 0;
e297.. x226 - b490 =L= 0;
e298.. x227 - b491 =L= 0;
e299.. x228 - b492 =L= 0;
e300.. x229 - b493 =L= 0;
e301.. x230 - b494 =L= 0;
e302.. x231 - b495 =L= 0;
e303.. x232 - b496 =L= 0;
e304.. x233 - b497 =L= 0;
e305.. x234 - b498 =L= 0;
e306.. x235 - b499 =L= 0;
e307.. x236 - b500 =L= 0;
e308.. x237 - b501 =L= 0;
e309.. x238 - b502 =L= 0;
e310.. x239 - b503 =L= 0;
e311.. x240 - b504 =L= 0;
e312.. x241 - b505 =L= 0;
e313.. x242 - b506 =L= 0;
e314.. x243 - b507 =L= 0;
e315.. x244 - b508 =L= 0;
e316.. x245 - b509 =L= 0;
e317.. x246 - b510 =L= 0;
e318.. x247 - b511 =L= 0;
e319.. x248 - b512 =L= 0;
e320.. x249 - b513 =L= 0;
e321.. x250 - b514 =L= 0;
e322.. x251 - b515 =L= 0;
e323.. x252 - b516 =L= 0;
e324.. x253 - b517 =L= 0;
e325.. x254 - b518 =L= 0;
e326.. x255 - b519 =L= 0;
e327.. x256 - b520 =L= 0;
e328.. x257 - b521 =L= 0;
e329.. 0.1*b402 - x609 =L= 0;
e330.. 0.1*b403 - x610 =L= 0;
e331.. 0.1*b404 - x611 =L= 0;
e332.. 0.1*b405 - x612 =L= 0;
e333.. 0.1*b406 - x613 =L= 0;
e334.. 0.1*b407 - x614 =L= 0;
e335.. 0.1*b408 - x615 =L= 0;
e336.. 0.1*b432 - x616 =L= 0;
e337.. 0.1*b433 - x617 =L= 0;
e338.. 0.1*b434 - x618 =L= 0;
e339.. 0.1*b435 - x619 =L= 0;
e340.. 0.1*b436 - x620 =L= 0;
e341.. 0.1*b437 - x621 =L= 0;
e342.. 0.1*b438 - x622 =L= 0;
e343.. 0.1*b470 - x623 =L= 0;
e344.. 0.1*b471 - x624 =L= 0;
e345.. 0.1*b472 - x625 =L= 0;
e346.. 0.1*b473 - x626 =L= 0;
e347.. 0.1*b474 - x627 =L= 0;
e348.. 0.1*b475 - x628 =L= 0;
e349.. 0.1*b476 - x629 =L= 0;
e350.. 0.1*b508 - x630 =L= 0;
e351.. 0.1*b509 - x631 =L= 0;
e352.. 0.1*b510 - x632 =L= 0;
e353.. 0.1*b511 - x633 =L= 0;
e354.. 0.1*b512 - x634 =L= 0;
e355.. 0.1*b513 - x635 =L= 0;
e356.. 0.1*b514 - x636 =L= 0;
e357.. 0.1*b409 - x637 =L= 0;
e358.. 0.1*b410 - x638 =L= 0;
e359.. 0.1*b411 - x639 =L= 0;
e360.. 0.1*b412 - x640 =L= 0;
e361.. 0.1*b413 - x641 =L= 0;
e362.. 0.1*b414 - x642 =L= 0;
e363.. 0.1*b415 - x643 =L= 0;
e364.. 0.1*b439 - x644 =L= 0;
e365.. 0.1*b440 - x645 =L= 0;
e366.. 0.1*b441 - x646 =L= 0;
e367.. 0.1*b442 - x647 =L= 0;
e368.. 0.1*b443 - x648 =L= 0;
e369.. 0.1*b444 - x649 =L= 0;
e370.. 0.1*b445 - x650 =L= 0;
e371.. 0.1*b477 - x651 =L= 0;
e372.. 0.1*b478 - x652 =L= 0;
e373.. 0.1*b479 - x653 =L= 0;
e374.. 0.1*b480 - x654 =L= 0;
e375.. 0.1*b481 - x655 =L= 0;
e376.. 0.1*b482 - x656 =L= 0;
e377.. 0.1*b483 - x657 =L= 0;
e378.. 0.1*b515 - x658 =L= 0;
e379.. 0.1*b516 - x659 =L= 0;
e380.. 0.1*b517 - x660 =L= 0;
e381.. 0.1*b518 - x661 =L= 0;
e382.. 0.1*b519 - x662 =L= 0;
e383.. 0.1*b520 - x663 =L= 0;
e384.. 0.1*b521 - x664 =L= 0;
e385.. 0.1*b409 - x665 =L= 0;
e386.. 0.1*b410 - x666 =L= 0;
e387.. 0.1*b411 - x667 =L= 0;
e388.. 0.1*b412 - x668 =L= 0;
e389.. 0.1*b413 - x669 =L= 0;
e390.. 0.1*b414 - x670 =L= 0;
e391.. 0.1*b415 - x671 =L= 0;
e392.. 0.1*b439 - x672 =L= 0;
e393.. 0.1*b440 - x673 =L= 0;
e394.. 0.1*b441 - x674 =L= 0;
e395.. 0.1*b442 - x675 =L= 0;
e396.. 0.1*b443 - x676 =L= 0;
e397.. 0.1*b444 - x677 =L= 0;
e398.. 0.1*b445 - x678 =L= 0;
e399.. 0.1*b477 - x679 =L= 0;
e400.. 0.1*b478 - x680 =L= 0;
e401.. 0.1*b479 - x681 =L= 0;
e402.. 0.1*b480 - x682 =L= 0;
e403.. 0.1*b481 - x683 =L= 0;
e404.. 0.1*b482 - x684 =L= 0;
e405.. 0.1*b483 - x685 =L= 0;
e406.. 0.1*b515 - x686 =L= 0;
e407.. 0.1*b516 - x687 =L= 0;
e408.. 0.1*b517 - x688 =L= 0;
e409.. 0.1*b518 - x689 =L= 0;
e410.. 0.1*b519 - x690 =L= 0;
e411.. 0.1*b520 - x691 =L= 0;
e412.. 0.1*b521 - x692 =L= 0;
e413.. - 0.7*b402 - x609 =G= -0.9;
e414.. - 0.7*b403 - x610 =G= -0.9;
e415.. - 0.7*b404 - x611 =G= -0.9;
e416.. - 0.7*b405 - x612 =G= -0.9;
e417.. - 0.7*b406 - x613 =G= -0.9;
e418.. - 0.7*b407 - x614 =G= -0.9;
e419.. - 0.7*b408 - x615 =G= -0.9;
e420.. - 0.2*b409 - x609 =G= -0.9;
e421.. - 0.2*b410 - x610 =G= -0.9;
e422.. - 0.2*b411 - x611 =G= -0.9;
e423.. - 0.2*b412 - x612 =G= -0.9;
e424.. - 0.2*b413 - x613 =G= -0.9;
e425.. - 0.2*b414 - x614 =G= -0.9;
e426.. - 0.2*b415 - x615 =G= -0.9;
e427.. - 0.7*b432 - x616 =G= -0.9;
e428.. - 0.7*b433 - x617 =G= -0.9;
e429.. - 0.7*b434 - x618 =G= -0.9;
e430.. - 0.7*b435 - x619 =G= -0.9;
e431.. - 0.7*b436 - x620 =G= -0.9;
e432.. - 0.7*b437 - x621 =G= -0.9;
e433.. - 0.7*b438 - x622 =G= -0.9;
e434.. - 0.2*b439 - x616 =G= -0.9;
e435.. - 0.2*b440 - x617 =G= -0.9;
e436.. - 0.2*b441 - x618 =G= -0.9;
e437.. - 0.2*b442 - x619 =G= -0.9;
e438.. - 0.2*b443 - x620 =G= -0.9;
e439.. - 0.2*b444 - x621 =G= -0.9;
e440.. - 0.2*b445 - x622 =G= -0.9;
e441.. - 0.7*b470 - x623 =G= -0.9;
e442.. - 0.7*b471 - x624 =G= -0.9;
e443.. - 0.7*b472 - x625 =G= -0.9;
e444.. - 0.7*b473 - x626 =G= -0.9;
e445.. - 0.7*b474 - x627 =G= -0.9;
e446.. - 0.7*b475 - x628 =G= -0.9;
e447.. - 0.7*b476 - x629 =G= -0.9;
e448.. - 0.2*b477 - x623 =G= -0.9;
e449.. - 0.2*b478 - x624 =G= -0.9;
e450.. - 0.2*b479 - x625 =G= -0.9;
e451.. - 0.2*b480 - x626 =G= -0.9;
e452.. - 0.2*b481 - x627 =G= -0.9;
e453.. - 0.2*b482 - x628 =G= -0.9;
e454.. - 0.2*b483 - x629 =G= -0.9;
e455.. - 0.7*b508 - x630 =G= -0.9;
e456.. - 0.7*b509 - x631 =G= -0.9;
e457.. - 0.7*b510 - x632 =G= -0.9;
e458.. - 0.7*b511 - x633 =G= -0.9;
e459.. - 0.7*b512 - x634 =G= -0.9;
e460.. - 0.7*b513 - x635 =G= -0.9;
e461.. - 0.7*b514 - x636 =G= -0.9;
e462.. - 0.2*b515 - x630 =G= -0.9;
e463.. - 0.2*b516 - x631 =G= -0.9;
e464.. - 0.2*b517 - x632 =G= -0.9;
e465.. - 0.2*b518 - x633 =G= -0.9;
e466.. - 0.2*b519 - x634 =G= -0.9;
e467.. - 0.2*b520 - x635 =G= -0.9;
e468.. - 0.2*b521 - x636 =G= -0.9;
e469.. - 0.4*b402 - x693 =G= -0.9;
e470.. - 0.4*b403 - x694 =G= -0.9;
e471.. - 0.4*b404 - x695 =G= -0.9;
e472.. - 0.4*b405 - x696 =G= -0.9;
e473.. - 0.4*b406 - x697 =G= -0.9;
e474.. - 0.4*b407 - x698 =G= -0.9;
e475.. - 0.4*b408 - x699 =G= -0.9;
e476.. - 0.5*b409 - x693 =G= -0.9;
e477.. - 0.5*b410 - x694 =G= -0.9;
e478.. - 0.5*b411 - x695 =G= -0.9;
e479.. - 0.5*b412 - x696 =G= -0.9;
e480.. - 0.5*b413 - x697 =G= -0.9;
e481.. - 0.5*b414 - x698 =G= -0.9;
e482.. - 0.5*b415 - x699 =G= -0.9;
e483.. - 0.4*b432 - x700 =G= -0.9;
e484.. - 0.4*b433 - x701 =G= -0.9;
e485.. - 0.4*b434 - x702 =G= -0.9;
e486.. - 0.4*b435 - x703 =G= -0.9;
e487.. - 0.4*b436 - x704 =G= -0.9;
e488.. - 0.4*b437 - x705 =G= -0.9;
e489.. - 0.4*b438 - x706 =G= -0.9;
e490.. - 0.5*b439 - x700 =G= -0.9;
e491.. - 0.5*b440 - x701 =G= -0.9;
e492.. - 0.5*b441 - x702 =G= -0.9;
e493.. - 0.5*b442 - x703 =G= -0.9;
e494.. - 0.5*b443 - x704 =G= -0.9;
e495.. - 0.5*b444 - x705 =G= -0.9;
e496.. - 0.5*b445 - x706 =G= -0.9;
e497.. - 0.4*b470 - x707 =G= -0.9;
e498.. - 0.4*b471 - x708 =G= -0.9;
e499.. - 0.4*b472 - x709 =G= -0.9;
e500.. - 0.4*b473 - x710 =G= -0.9;
e501.. - 0.4*b474 - x711 =G= -0.9;
e502.. - 0.4*b475 - x712 =G= -0.9;
e503.. - 0.4*b476 - x713 =G= -0.9;
e504.. - 0.5*b477 - x707 =G= -0.9;
e505.. - 0.5*b478 - x708 =G= -0.9;
e506.. - 0.5*b479 - x709 =G= -0.9;
e507.. - 0.5*b480 - x710 =G= -0.9;
e508.. - 0.5*b481 - x711 =G= -0.9;
e509.. - 0.5*b482 - x712 =G= -0.9;
e510.. - 0.5*b483 - x713 =G= -0.9;
e511.. - 0.4*b508 - x714 =G= -0.9;
e512.. - 0.4*b509 - x715 =G= -0.9;
e513.. - 0.4*b510 - x716 =G= -0.9;
e514.. - 0.4*b511 - x717 =G= -0.9;
e515.. - 0.4*b512 - x718 =G= -0.9;
e516.. - 0.4*b513 - x719 =G= -0.9;
e517.. - 0.4*b514 - x720 =G= -0.9;
e518.. - 0.5*b515 - x714 =G= -0.9;
e519.. - 0.5*b516 - x715 =G= -0.9;
e520.. - 0.5*b517 - x716 =G= -0.9;
e521.. - 0.5*b518 - x717 =G= -0.9;
e522.. - 0.5*b519 - x718 =G= -0.9;
e523.. - 0.5*b520 - x719 =G= -0.9;
e524.. - 0.5*b521 - x720 =G= -0.9;
e525.. - 0.4*b402 - x637 =G= -1;
e526.. - 0.4*b403 - x638 =G= -1;
e527.. - 0.4*b404 - x639 =G= -1;
e528.. - 0.4*b405 - x640 =G= -1;
e529.. - 0.4*b406 - x641 =G= -1;
e530.. - 0.4*b407 - x642 =G= -1;
e531.. - 0.4*b408 - x643 =G= -1;
e532.. - 0.6*b409 - x637 =G= -1;
e533.. - 0.6*b410 - x638 =G= -1;
e534.. - 0.6*b411 - x639 =G= -1;
e535.. - 0.6*b412 - x640 =G= -1;
e536.. - 0.6*b413 - x641 =G= -1;
e537.. - 0.6*b414 - x642 =G= -1;
e538.. - 0.6*b415 - x643 =G= -1;
e539.. - 0.4*b432 - x644 =G= -1;
e540.. - 0.4*b433 - x645 =G= -1;
e541.. - 0.4*b434 - x646 =G= -1;
e542.. - 0.4*b435 - x647 =G= -1;
e543.. - 0.4*b436 - x648 =G= -1;
e544.. - 0.4*b437 - x649 =G= -1;
e545.. - 0.4*b438 - x650 =G= -1;
e546.. - 0.6*b439 - x644 =G= -1;
e547.. - 0.6*b440 - x645 =G= -1;
e548.. - 0.6*b441 - x646 =G= -1;
e549.. - 0.6*b442 - x647 =G= -1;
e550.. - 0.6*b443 - x648 =G= -1;
e551.. - 0.6*b444 - x649 =G= -1;
e552.. - 0.6*b445 - x650 =G= -1;
e553.. - 0.4*b470 - x651 =G= -1;
e554.. - 0.4*b471 - x652 =G= -1;
e555.. - 0.4*b472 - x653 =G= -1;
e556.. - 0.4*b473 - x654 =G= -1;
e557.. - 0.4*b474 - x655 =G= -1;
e558.. - 0.4*b475 - x656 =G= -1;
e559.. - 0.4*b476 - x657 =G= -1;
e560.. - 0.6*b477 - x651 =G= -1;
e561.. - 0.6*b478 - x652 =G= -1;
e562.. - 0.6*b479 - x653 =G= -1;
e563.. - 0.6*b480 - x654 =G= -1;
e564.. - 0.6*b481 - x655 =G= -1;
e565.. - 0.6*b482 - x656 =G= -1;
e566.. - 0.6*b483 - x657 =G= -1;
e567.. - 0.4*b508 - x658 =G= -1;
e568.. - 0.4*b509 - x659 =G= -1;
e569.. - 0.4*b510 - x660 =G= -1;
e570.. - 0.4*b511 - x661 =G= -1;
e571.. - 0.4*b512 - x662 =G= -1;
e572.. - 0.4*b513 - x663 =G= -1;
e573.. - 0.4*b514 - x664 =G= -1;
e574.. - 0.6*b515 - x658 =G= -1;
e575.. - 0.6*b516 - x659 =G= -1;
e576.. - 0.6*b517 - x660 =G= -1;
e577.. - 0.6*b518 - x661 =G= -1;
e578.. - 0.6*b519 - x662 =G= -1;
e579.. - 0.6*b520 - x663 =G= -1;
e580.. - 0.6*b521 - x664 =G= -1;
e581.. - 0.3*b409 - x721 =G= -0.6;
e582.. - 0.3*b410 - x722 =G= -0.6;
e583.. - 0.3*b411 - x723 =G= -0.6;
e584.. - 0.3*b412 - x724 =G= -0.6;
e585.. - 0.3*b413 - x725 =G= -0.6;
e586.. - 0.3*b414 - x726 =G= -0.6;
e587.. - 0.3*b415 - x727 =G= -0.6;
e588.. - 0.3*b439 - x728 =G= -0.6;
e589.. - 0.3*b440 - x729 =G= -0.6;
e590.. - 0.3*b441 - x730 =G= -0.6;
e591.. - 0.3*b442 - x731 =G= -0.6;
e592.. - 0.3*b443 - x732 =G= -0.6;
e593.. - 0.3*b444 - x733 =G= -0.6;
e594.. - 0.3*b445 - x734 =G= -0.6;
e595.. - 0.3*b477 - x735 =G= -0.6;
e596.. - 0.3*b478 - x736 =G= -0.6;
e597.. - 0.3*b479 - x737 =G= -0.6;
e598.. - 0.3*b480 - x738 =G= -0.6;
e599.. - 0.3*b481 - x739 =G= -0.6;
e600.. - 0.3*b482 - x740 =G= -0.6;
e601.. - 0.3*b483 - x741 =G= -0.6;
e602.. - 0.3*b515 - x742 =G= -0.6;
e603.. - 0.3*b516 - x743 =G= -0.6;
e604.. - 0.3*b517 - x744 =G= -0.6;
e605.. - 0.3*b518 - x745 =G= -0.6;
e606.. - 0.3*b519 - x746 =G= -0.6;
e607.. - 0.3*b520 - x747 =G= -0.6;
e608.. - 0.3*b521 - x748 =G= -0.6;
e609.. - 0.2*b402 - x749 =G= -0.9;
e610.. - 0.2*b403 - x750 =G= -0.9;
e611.. - 0.2*b404 - x751 =G= -0.9;
e612.. - 0.2*b405 - x752 =G= -0.9;
e613.. - 0.2*b406 - x753 =G= -0.9;
e614.. - 0.2*b407 - x754 =G= -0.9;
e615.. - 0.2*b408 - x755 =G= -0.9;
e616.. - 0.5*b409 - x749 =G= -0.9;
e617.. - 0.5*b410 - x750 =G= -0.9;
e618.. - 0.5*b411 - x751 =G= -0.9;
e619.. - 0.5*b412 - x752 =G= -0.9;
e620.. - 0.5*b413 - x753 =G= -0.9;
e621.. - 0.5*b414 - x754 =G= -0.9;
e622.. - 0.5*b415 - x755 =G= -0.9;
e623.. - 0.2*b432 - x756 =G= -0.9;
e624.. - 0.2*b433 - x757 =G= -0.9;
e625.. - 0.2*b434 - x758 =G= -0.9;
e626.. - 0.2*b435 - x759 =G= -0.9;
e627.. - 0.2*b436 - x760 =G= -0.9;
e628.. - 0.2*b437 - x761 =G= -0.9;
e629.. - 0.2*b438 - x762 =G= -0.9;
e630.. - 0.5*b439 - x756 =G= -0.9;
e631.. - 0.5*b440 - x757 =G= -0.9;
e632.. - 0.5*b441 - x758 =G= -0.9;
e633.. - 0.5*b442 - x759 =G= -0.9;
e634.. - 0.5*b443 - x760 =G= -0.9;
e635.. - 0.5*b444 - x761 =G= -0.9;
e636.. - 0.5*b445 - x762 =G= -0.9;
e637.. - 0.2*b470 - x763 =G= -0.9;
e638.. - 0.2*b471 - x764 =G= -0.9;
e639.. - 0.2*b472 - x765 =G= -0.9;
e640.. - 0.2*b473 - x766 =G= -0.9;
e641.. - 0.2*b474 - x767 =G= -0.9;
e642.. - 0.2*b475 - x768 =G= -0.9;
e643.. - 0.2*b476 - x769 =G= -0.9;
e644.. - 0.5*b477 - x763 =G= -0.9;
e645.. - 0.5*b478 - x764 =G= -0.9;
e646.. - 0.5*b479 - x765 =G= -0.9;
e647.. - 0.5*b480 - x766 =G= -0.9;
e648.. - 0.5*b481 - x767 =G= -0.9;
e649.. - 0.5*b482 - x768 =G= -0.9;
e650.. - 0.5*b483 - x769 =G= -0.9;
e651.. - 0.2*b508 - x770 =G= -0.9;
e652.. - 0.2*b509 - x771 =G= -0.9;
e653.. - 0.2*b510 - x772 =G= -0.9;
e654.. - 0.2*b511 - x773 =G= -0.9;
e655.. - 0.2*b512 - x774 =G= -0.9;
e656.. - 0.2*b513 - x775 =G= -0.9;
e657.. - 0.2*b514 - x776 =G= -0.9;
e658.. - 0.5*b515 - x770 =G= -0.9;
e659.. - 0.5*b516 - x771 =G= -0.9;
e660.. - 0.5*b517 - x772 =G= -0.9;
e661.. - 0.5*b518 - x773 =G= -0.9;
e662.. - 0.5*b519 - x774 =G= -0.9;
e663.. - 0.5*b520 - x775 =G= -0.9;
e664.. - 0.5*b521 - x776 =G= -0.9;
e665.. - 0.3*b402 - x665 =G= -0.5;
e666.. - 0.3*b403 - x666 =G= -0.5;
e667.. - 0.3*b404 - x667 =G= -0.5;
e668.. - 0.3*b405 - x668 =G= -0.5;
e669.. - 0.3*b406 - x669 =G= -0.5;
e670.. - 0.3*b407 - x670 =G= -0.5;
e671.. - 0.3*b408 - x671 =G= -0.5;
e672.. - 0.3*b432 - x672 =G= -0.5;
e673.. - 0.3*b433 - x673 =G= -0.5;
e674.. - 0.3*b434 - x674 =G= -0.5;
e675.. - 0.3*b435 - x675 =G= -0.5;
e676.. - 0.3*b436 - x676 =G= -0.5;
e677.. - 0.3*b437 - x677 =G= -0.5;
e678.. - 0.3*b438 - x678 =G= -0.5;
e679.. - 0.3*b470 - x679 =G= -0.5;
e680.. - 0.3*b471 - x680 =G= -0.5;
e681.. - 0.3*b472 - x681 =G= -0.5;
e682.. - 0.3*b473 - x682 =G= -0.5;
e683.. - 0.3*b474 - x683 =G= -0.5;
e684.. - 0.3*b475 - x684 =G= -0.5;
e685.. - 0.3*b476 - x685 =G= -0.5;
e686.. - 0.3*b508 - x686 =G= -0.5;
e687.. - 0.3*b509 - x687 =G= -0.5;
e688.. - 0.3*b510 - x688 =G= -0.5;
e689.. - 0.3*b511 - x689 =G= -0.5;
e690.. - 0.3*b512 - x690 =G= -0.5;
e691.. - 0.3*b513 - x691 =G= -0.5;
e692.. - 0.3*b514 - x692 =G= -0.5;
e693.. b282 + b378 =L= 1;
e694.. b283 + b379 =L= 1;
e695.. b284 + b380 =L= 1;
e696.. b285 + b381 =L= 1;
e697.. b286 + b382 =L= 1;
e698.. b287 + b383 =L= 1;
e699.. b288 + b384 =L= 1;
e700.. b289 + b385 =L= 1;
e701.. b282 + b386 =L= 1;
e702.. b283 + b387 =L= 1;
e703.. b284 + b388 =L= 1;
e704.. b285 + b389 =L= 1;
e705.. b286 + b390 =L= 1;
e706.. b287 + b391 =L= 1;
e707.. b288 + b392 =L= 1;
e708.. b289 + b393 =L= 1;
e709.. b282 + b394 =L= 1;
e710.. b283 + b395 =L= 1;
e711.. b284 + b396 =L= 1;
e712.. b285 + b397 =L= 1;
e713.. b286 + b398 =L= 1;
e714.. b287 + b399 =L= 1;
e715.. b288 + b400 =L= 1;
e716.. b289 + b401 =L= 1;
e717.. b283 + b402 =L= 1;
e718.. b284 + b403 =L= 1;
e719.. b285 + b404 =L= 1;
e720.. b286 + b405 =L= 1;
e721.. b287 + b406 =L= 1;
e722.. b288 + b407 =L= 1;
e723.. b289 + b408 =L= 1;
e724.. b283 + b409 =L= 1;
e725.. b284 + b410 =L= 1;
e726.. b285 + b411 =L= 1;
e727.. b286 + b412 =L= 1;
e728.. b287 + b413 =L= 1;
e729.. b288 + b414 =L= 1;
e730.. b289 + b415 =L= 1;
e731.. b314 + b378 =L= 1;
e732.. b315 + b379 =L= 1;
e733.. b316 + b380 =L= 1;
e734.. b317 + b381 =L= 1;
e735.. b318 + b382 =L= 1;
e736.. b319 + b383 =L= 1;
e737.. b320 + b384 =L= 1;
e738.. b321 + b385 =L= 1;
e739.. b314 + b386 =L= 1;
e740.. b315 + b387 =L= 1;
e741.. b316 + b388 =L= 1;
e742.. b317 + b389 =L= 1;
e743.. b318 + b390 =L= 1;
e744.. b319 + b391 =L= 1;
e745.. b320 + b392 =L= 1;
e746.. b321 + b393 =L= 1;
e747.. b314 + b394 =L= 1;
e748.. b315 + b395 =L= 1;
e749.. b316 + b396 =L= 1;
e750.. b317 + b397 =L= 1;
e751.. b318 + b398 =L= 1;
e752.. b319 + b399 =L= 1;
e753.. b320 + b400 =L= 1;
e754.. b321 + b401 =L= 1;
e755.. b315 + b402 =L= 1;
e756.. b316 + b403 =L= 1;
e757.. b317 + b404 =L= 1;
e758.. b318 + b405 =L= 1;
e759.. b319 + b406 =L= 1;
e760.. b320 + b407 =L= 1;
e761.. b321 + b408 =L= 1;
e762.. b315 + b409 =L= 1;
e763.. b316 + b410 =L= 1;
e764.. b317 + b411 =L= 1;
e765.. b318 + b412 =L= 1;
e766.. b319 + b413 =L= 1;
e767.. b320 + b414 =L= 1;
e768.. b321 + b415 =L= 1;
e769.. b346 + b378 =L= 1;
e770.. b347 + b379 =L= 1;
e771.. b348 + b380 =L= 1;
e772.. b349 + b381 =L= 1;
e773.. b350 + b382 =L= 1;
e774.. b351 + b383 =L= 1;
e775.. b352 + b384 =L= 1;
e776.. b353 + b385 =L= 1;
e777.. b346 + b386 =L= 1;
e778.. b347 + b387 =L= 1;
e779.. b348 + b388 =L= 1;
e780.. b349 + b389 =L= 1;
e781.. b350 + b390 =L= 1;
e782.. b351 + b391 =L= 1;
e783.. b352 + b392 =L= 1;
e784.. b353 + b393 =L= 1;
e785.. b346 + b394 =L= 1;
e786.. b347 + b395 =L= 1;
e787.. b348 + b396 =L= 1;
e788.. b349 + b397 =L= 1;
e789.. b350 + b398 =L= 1;
e790.. b351 + b399 =L= 1;
e791.. b352 + b400 =L= 1;
e792.. b353 + b401 =L= 1;
e793.. b347 + b402 =L= 1;
e794.. b348 + b403 =L= 1;
e795.. b349 + b404 =L= 1;
e796.. b350 + b405 =L= 1;
e797.. b351 + b406 =L= 1;
e798.. b352 + b407 =L= 1;
e799.. b353 + b408 =L= 1;
e800.. b347 + b409 =L= 1;
e801.. b348 + b410 =L= 1;
e802.. b349 + b411 =L= 1;
e803.. b350 + b412 =L= 1;
e804.. b351 + b413 =L= 1;
e805.. b352 + b414 =L= 1;
e806.. b353 + b415 =L= 1;
e807.. b378 + b416 =L= 1;
e808.. b379 + b417 =L= 1;
e809.. b380 + b418 =L= 1;
e810.. b381 + b419 =L= 1;
e811.. b382 + b420 =L= 1;
e812.. b383 + b421 =L= 1;
e813.. b384 + b422 =L= 1;
e814.. b385 + b423 =L= 1;
e815.. b386 + b416 =L= 1;
e816.. b387 + b417 =L= 1;
e817.. b388 + b418 =L= 1;
e818.. b389 + b419 =L= 1;
e819.. b390 + b420 =L= 1;
e820.. b391 + b421 =L= 1;
e821.. b392 + b422 =L= 1;
e822.. b393 + b423 =L= 1;
e823.. b394 + b416 =L= 1;
e824.. b395 + b417 =L= 1;
e825.. b396 + b418 =L= 1;
e826.. b397 + b419 =L= 1;
e827.. b398 + b420 =L= 1;
e828.. b399 + b421 =L= 1;
e829.. b400 + b422 =L= 1;
e830.. b401 + b423 =L= 1;
e831.. b402 + b417 =L= 1;
e832.. b403 + b418 =L= 1;
e833.. b404 + b419 =L= 1;
e834.. b405 + b420 =L= 1;
e835.. b406 + b421 =L= 1;
e836.. b407 + b422 =L= 1;
e837.. b408 + b423 =L= 1;
e838.. b409 + b417 =L= 1;
e839.. b410 + b418 =L= 1;
e840.. b411 + b419 =L= 1;
e841.. b412 + b420 =L= 1;
e842.. b413 + b421 =L= 1;
e843.. b414 + b422 =L= 1;
e844.. b415 + b423 =L= 1;
e845.. b378 + b446 =L= 1;
e846.. b379 + b447 =L= 1;
e847.. b380 + b448 =L= 1;
e848.. b381 + b449 =L= 1;
e849.. b382 + b450 =L= 1;
e850.. b383 + b451 =L= 1;
e851.. b384 + b452 =L= 1;
e852.. b385 + b453 =L= 1;
e853.. b386 + b446 =L= 1;
e854.. b387 + b447 =L= 1;
e855.. b388 + b448 =L= 1;
e856.. b389 + b449 =L= 1;
e857.. b390 + b450 =L= 1;
e858.. b391 + b451 =L= 1;
e859.. b392 + b452 =L= 1;
e860.. b393 + b453 =L= 1;
e861.. b394 + b446 =L= 1;
e862.. b395 + b447 =L= 1;
e863.. b396 + b448 =L= 1;
e864.. b397 + b449 =L= 1;
e865.. b398 + b450 =L= 1;
e866.. b399 + b451 =L= 1;
e867.. b400 + b452 =L= 1;
e868.. b401 + b453 =L= 1;
e869.. b402 + b447 =L= 1;
e870.. b403 + b448 =L= 1;
e871.. b404 + b449 =L= 1;
e872.. b405 + b450 =L= 1;
e873.. b406 + b451 =L= 1;
e874.. b407 + b452 =L= 1;
e875.. b408 + b453 =L= 1;
e876.. b409 + b447 =L= 1;
e877.. b410 + b448 =L= 1;
e878.. b411 + b449 =L= 1;
e879.. b412 + b450 =L= 1;
e880.. b413 + b451 =L= 1;
e881.. b414 + b452 =L= 1;
e882.. b415 + b453 =L= 1;
e883.. b378 + b484 =L= 1;
e884.. b379 + b485 =L= 1;
e885.. b380 + b486 =L= 1;
e886.. b381 + b487 =L= 1;
e887.. b382 + b488 =L= 1;
e888.. b383 + b489 =L= 1;
e889.. b384 + b490 =L= 1;
e890.. b385 + b491 =L= 1;
e891.. b386 + b484 =L= 1;
e892.. b387 + b485 =L= 1;
e893.. b388 + b486 =L= 1;
e894.. b389 + b487 =L= 1;
e895.. b390 + b488 =L= 1;
e896.. b391 + b489 =L= 1;
e897.. b392 + b490 =L= 1;
e898.. b393 + b491 =L= 1;
e899.. b394 + b484 =L= 1;
e900.. b395 + b485 =L= 1;
e901.. b396 + b486 =L= 1;
e902.. b397 + b487 =L= 1;
e903.. b398 + b488 =L= 1;
e904.. b399 + b489 =L= 1;
e905.. b400 + b490 =L= 1;
e906.. b401 + b491 =L= 1;
e907.. b402 + b485 =L= 1;
e908.. b403 + b486 =L= 1;
e909.. b404 + b487 =L= 1;
e910.. b405 + b488 =L= 1;
e911.. b406 + b489 =L= 1;
e912.. b407 + b490 =L= 1;
e913.. b408 + b491 =L= 1;
e914.. b409 + b485 =L= 1;
e915.. b410 + b486 =L= 1;
e916.. b411 + b487 =L= 1;
e917.. b412 + b488 =L= 1;
e918.. b413 + b489 =L= 1;
e919.. b414 + b490 =L= 1;
e920.. b415 + b491 =L= 1;
e921.. b290 + b416 =L= 1;
e922.. b291 + b417 =L= 1;
e923.. b292 + b418 =L= 1;
e924.. b293 + b419 =L= 1;
e925.. b294 + b420 =L= 1;
e926.. b295 + b421 =L= 1;
e927.. b296 + b422 =L= 1;
e928.. b297 + b423 =L= 1;
e929.. b290 + b424 =L= 1;
e930.. b291 + b425 =L= 1;
e931.. b292 + b426 =L= 1;
e932.. b293 + b427 =L= 1;
e933.. b294 + b428 =L= 1;
e934.. b295 + b429 =L= 1;
e935.. b296 + b430 =L= 1;
e936.. b297 + b431 =L= 1;
e937.. b290 + b601 =L= 1;
e938.. b291 + b602 =L= 1;
e939.. b292 + b603 =L= 1;
e940.. b293 + b604 =L= 1;
e941.. b294 + b605 =L= 1;
e942.. b295 + b606 =L= 1;
e943.. b296 + b607 =L= 1;
e944.. b297 + b608 =L= 1;
e945.. b291 + b432 =L= 1;
e946.. b292 + b433 =L= 1;
e947.. b293 + b434 =L= 1;
e948.. b294 + b435 =L= 1;
e949.. b295 + b436 =L= 1;
e950.. b296 + b437 =L= 1;
e951.. b297 + b438 =L= 1;
e952.. b291 + b439 =L= 1;
e953.. b292 + b440 =L= 1;
e954.. b293 + b441 =L= 1;
e955.. b294 + b442 =L= 1;
e956.. b295 + b443 =L= 1;
e957.. b296 + b444 =L= 1;
e958.. b297 + b445 =L= 1;
e959.. b322 + b416 =L= 1;
e960.. b323 + b417 =L= 1;
e961.. b324 + b418 =L= 1;
e962.. b325 + b419 =L= 1;
e963.. b326 + b420 =L= 1;
e964.. b327 + b421 =L= 1;
e965.. b328 + b422 =L= 1;
e966.. b329 + b423 =L= 1;
e967.. b322 + b424 =L= 1;
e968.. b323 + b425 =L= 1;
e969.. b324 + b426 =L= 1;
e970.. b325 + b427 =L= 1;
e971.. b326 + b428 =L= 1;
e972.. b327 + b429 =L= 1;
e973.. b328 + b430 =L= 1;
e974.. b329 + b431 =L= 1;
e975.. b322 + b601 =L= 1;
e976.. b323 + b602 =L= 1;
e977.. b324 + b603 =L= 1;
e978.. b325 + b604 =L= 1;
e979.. b326 + b605 =L= 1;
e980.. b327 + b606 =L= 1;
e981.. b328 + b607 =L= 1;
e982.. b329 + b608 =L= 1;
e983.. b323 + b432 =L= 1;
e984.. b324 + b433 =L= 1;
e985.. b325 + b434 =L= 1;
e986.. b326 + b435 =L= 1;
e987.. b327 + b436 =L= 1;
e988.. b328 + b437 =L= 1;
e989.. b329 + b438 =L= 1;
e990.. b323 + b439 =L= 1;
e991.. b324 + b440 =L= 1;
e992.. b325 + b441 =L= 1;
e993.. b326 + b442 =L= 1;
e994.. b327 + b443 =L= 1;
e995.. b328 + b444 =L= 1;
e996.. b329 + b445 =L= 1;
e997.. b354 + b416 =L= 1;
e998.. b355 + b417 =L= 1;
e999.. b356 + b418 =L= 1;
e1000.. b357 + b419 =L= 1;
e1001.. b358 + b420 =L= 1;
e1002.. b359 + b421 =L= 1;
e1003.. b360 + b422 =L= 1;
e1004.. b361 + b423 =L= 1;
e1005.. b354 + b424 =L= 1;
e1006.. b355 + b425 =L= 1;
e1007.. b356 + b426 =L= 1;
e1008.. b357 + b427 =L= 1;
e1009.. b358 + b428 =L= 1;
e1010.. b359 + b429 =L= 1;
e1011.. b360 + b430 =L= 1;
e1012.. b361 + b431 =L= 1;
e1013.. b354 + b601 =L= 1;
e1014.. b355 + b602 =L= 1;
e1015.. b356 + b603 =L= 1;
e1016.. b357 + b604 =L= 1;
e1017.. b358 + b605 =L= 1;
e1018.. b359 + b606 =L= 1;
e1019.. b360 + b607 =L= 1;
e1020.. b361 + b608 =L= 1;
e1021.. b355 + b432 =L= 1;
e1022.. b356 + b433 =L= 1;
e1023.. b357 + b434 =L= 1;
e1024.. b358 + b435 =L= 1;
e1025.. b359 + b436 =L= 1;
e1026.. b360 + b437 =L= 1;
e1027.. b361 + b438 =L= 1;
e1028.. b355 + b439 =L= 1;
e1029.. b356 + b440 =L= 1;
e1030.. b357 + b441 =L= 1;
e1031.. b358 + b442 =L= 1;
e1032.. b359 + b443 =L= 1;
e1033.. b360 + b444 =L= 1;
e1034.. b361 + b445 =L= 1;
e1035.. b378 + b416 =L= 1;
e1036.. b379 + b417 =L= 1;
e1037.. b380 + b418 =L= 1;
e1038.. b381 + b419 =L= 1;
e1039.. b382 + b420 =L= 1;
e1040.. b383 + b421 =L= 1;
e1041.. b384 + b422 =L= 1;
e1042.. b385 + b423 =L= 1;
e1043.. b378 + b424 =L= 1;
e1044.. b379 + b425 =L= 1;
e1045.. b380 + b426 =L= 1;
e1046.. b381 + b427 =L= 1;
e1047.. b382 + b428 =L= 1;
e1048.. b383 + b429 =L= 1;
e1049.. b384 + b430 =L= 1;
e1050.. b385 + b431 =L= 1;
e1051.. b378 + b601 =L= 1;
e1052.. b379 + b602 =L= 1;
e1053.. b380 + b603 =L= 1;
e1054.. b381 + b604 =L= 1;
e1055.. b382 + b605 =L= 1;
e1056.. b383 + b606 =L= 1;
e1057.. b384 + b607 =L= 1;
e1058.. b385 + b608 =L= 1;
e1059.. b379 + b432 =L= 1;
e1060.. b380 + b433 =L= 1;
e1061.. b381 + b434 =L= 1;
e1062.. b382 + b435 =L= 1;
e1063.. b383 + b436 =L= 1;
e1064.. b384 + b437 =L= 1;
e1065.. b385 + b438 =L= 1;
e1066.. b379 + b439 =L= 1;
e1067.. b380 + b440 =L= 1;
e1068.. b381 + b441 =L= 1;
e1069.. b382 + b442 =L= 1;
e1070.. b383 + b443 =L= 1;
e1071.. b384 + b444 =L= 1;
e1072.. b385 + b445 =L= 1;
e1073.. b416 + b454 =L= 1;
e1074.. b417 + b455 =L= 1;
e1075.. b418 + b456 =L= 1;
e1076.. b419 + b457 =L= 1;
e1077.. b420 + b458 =L= 1;
e1078.. b421 + b459 =L= 1;
e1079.. b422 + b460 =L= 1;
e1080.. b423 + b461 =L= 1;
e1081.. b424 + b454 =L= 1;
e1082.. b425 + b455 =L= 1;
e1083.. b426 + b456 =L= 1;
e1084.. b427 + b457 =L= 1;
e1085.. b428 + b458 =L= 1;
e1086.. b429 + b459 =L= 1;
e1087.. b430 + b460 =L= 1;
e1088.. b431 + b461 =L= 1;
e1089.. b454 + b601 =L= 1;
e1090.. b455 + b602 =L= 1;
e1091.. b456 + b603 =L= 1;
e1092.. b457 + b604 =L= 1;
e1093.. b458 + b605 =L= 1;
e1094.. b459 + b606 =L= 1;
e1095.. b460 + b607 =L= 1;
e1096.. b461 + b608 =L= 1;
e1097.. b432 + b455 =L= 1;
e1098.. b433 + b456 =L= 1;
e1099.. b434 + b457 =L= 1;
e1100.. b435 + b458 =L= 1;
e1101.. b436 + b459 =L= 1;
e1102.. b437 + b460 =L= 1;
e1103.. b438 + b461 =L= 1;
e1104.. b439 + b455 =L= 1;
e1105.. b440 + b456 =L= 1;
e1106.. b441 + b457 =L= 1;
e1107.. b442 + b458 =L= 1;
e1108.. b443 + b459 =L= 1;
e1109.. b444 + b460 =L= 1;
e1110.. b445 + b461 =L= 1;
e1111.. b416 + b492 =L= 1;
e1112.. b417 + b493 =L= 1;
e1113.. b418 + b494 =L= 1;
e1114.. b419 + b495 =L= 1;
e1115.. b420 + b496 =L= 1;
e1116.. b421 + b497 =L= 1;
e1117.. b422 + b498 =L= 1;
e1118.. b423 + b499 =L= 1;
e1119.. b424 + b492 =L= 1;
e1120.. b425 + b493 =L= 1;
e1121.. b426 + b494 =L= 1;
e1122.. b427 + b495 =L= 1;
e1123.. b428 + b496 =L= 1;
e1124.. b429 + b497 =L= 1;
e1125.. b430 + b498 =L= 1;
e1126.. b431 + b499 =L= 1;
e1127.. b492 + b601 =L= 1;
e1128.. b493 + b602 =L= 1;
e1129.. b494 + b603 =L= 1;
e1130.. b495 + b604 =L= 1;
e1131.. b496 + b605 =L= 1;
e1132.. b497 + b606 =L= 1;
e1133.. b498 + b607 =L= 1;
e1134.. b499 + b608 =L= 1;
e1135.. b432 + b493 =L= 1;
e1136.. b433 + b494 =L= 1;
e1137.. b434 + b495 =L= 1;
e1138.. b435 + b496 =L= 1;
e1139.. b436 + b497 =L= 1;
e1140.. b437 + b498 =L= 1;
e1141.. b438 + b499 =L= 1;
e1142.. b439 + b493 =L= 1;
e1143.. b440 + b494 =L= 1;
e1144.. b441 + b495 =L= 1;
e1145.. b442 + b496 =L= 1;
e1146.. b443 + b497 =L= 1;
e1147.. b444 + b498 =L= 1;
e1148.. b445 + b499 =L= 1;
e1149.. b298 + b446 =L= 1;
e1150.. b299 + b447 =L= 1;
e1151.. b300 + b448 =L= 1;
e1152.. b301 + b449 =L= 1;
e1153.. b302 + b450 =L= 1;
e1154.. b303 + b451 =L= 1;
e1155.. b304 + b452 =L= 1;
e1156.. b305 + b453 =L= 1;
e1157.. b298 + b454 =L= 1;
e1158.. b299 + b455 =L= 1;
e1159.. b300 + b456 =L= 1;
e1160.. b301 + b457 =L= 1;
e1161.. b302 + b458 =L= 1;
e1162.. b303 + b459 =L= 1;
e1163.. b304 + b460 =L= 1;
e1164.. b305 + b461 =L= 1;
e1165.. b298 + b462 =L= 1;
e1166.. b299 + b463 =L= 1;
e1167.. b300 + b464 =L= 1;
e1168.. b301 + b465 =L= 1;
e1169.. b302 + b466 =L= 1;
e1170.. b303 + b467 =L= 1;
e1171.. b304 + b468 =L= 1;
e1172.. b305 + b469 =L= 1;
e1173.. b299 + b470 =L= 1;
e1174.. b300 + b471 =L= 1;
e1175.. b301 + b472 =L= 1;
e1176.. b302 + b473 =L= 1;
e1177.. b303 + b474 =L= 1;
e1178.. b304 + b475 =L= 1;
e1179.. b305 + b476 =L= 1;
e1180.. b299 + b477 =L= 1;
e1181.. b300 + b478 =L= 1;
e1182.. b301 + b479 =L= 1;
e1183.. b302 + b480 =L= 1;
e1184.. b303 + b481 =L= 1;
e1185.. b304 + b482 =L= 1;
e1186.. b305 + b483 =L= 1;
e1187.. b330 + b446 =L= 1;
e1188.. b331 + b447 =L= 1;
e1189.. b332 + b448 =L= 1;
e1190.. b333 + b449 =L= 1;
e1191.. b334 + b450 =L= 1;
e1192.. b335 + b451 =L= 1;
e1193.. b336 + b452 =L= 1;
e1194.. b337 + b453 =L= 1;
e1195.. b330 + b454 =L= 1;
e1196.. b331 + b455 =L= 1;
e1197.. b332 + b456 =L= 1;
e1198.. b333 + b457 =L= 1;
e1199.. b334 + b458 =L= 1;
e1200.. b335 + b459 =L= 1;
e1201.. b336 + b460 =L= 1;
e1202.. b337 + b461 =L= 1;
e1203.. b330 + b462 =L= 1;
e1204.. b331 + b463 =L= 1;
e1205.. b332 + b464 =L= 1;
e1206.. b333 + b465 =L= 1;
e1207.. b334 + b466 =L= 1;
e1208.. b335 + b467 =L= 1;
e1209.. b336 + b468 =L= 1;
e1210.. b337 + b469 =L= 1;
e1211.. b331 + b470 =L= 1;
e1212.. b332 + b471 =L= 1;
e1213.. b333 + b472 =L= 1;
e1214.. b334 + b473 =L= 1;
e1215.. b335 + b474 =L= 1;
e1216.. b336 + b475 =L= 1;
e1217.. b337 + b476 =L= 1;
e1218.. b331 + b477 =L= 1;
e1219.. b332 + b478 =L= 1;
e1220.. b333 + b479 =L= 1;
e1221.. b334 + b480 =L= 1;
e1222.. b335 + b481 =L= 1;
e1223.. b336 + b482 =L= 1;
e1224.. b337 + b483 =L= 1;
e1225.. b362 + b446 =L= 1;
e1226.. b363 + b447 =L= 1;
e1227.. b364 + b448 =L= 1;
e1228.. b365 + b449 =L= 1;
e1229.. b366 + b450 =L= 1;
e1230.. b367 + b451 =L= 1;
e1231.. b368 + b452 =L= 1;
e1232.. b369 + b453 =L= 1;
e1233.. b362 + b454 =L= 1;
e1234.. b363 + b455 =L= 1;
e1235.. b364 + b456 =L= 1;
e1236.. b365 + b457 =L= 1;
e1237.. b366 + b458 =L= 1;
e1238.. b367 + b459 =L= 1;
e1239.. b368 + b460 =L= 1;
e1240.. b369 + b461 =L= 1;
e1241.. b362 + b462 =L= 1;
e1242.. b363 + b463 =L= 1;
e1243.. b364 + b464 =L= 1;
e1244.. b365 + b465 =L= 1;
e1245.. b366 + b466 =L= 1;
e1246.. b367 + b467 =L= 1;
e1247.. b368 + b468 =L= 1;
e1248.. b369 + b469 =L= 1;
e1249.. b363 + b470 =L= 1;
e1250.. b364 + b471 =L= 1;
e1251.. b365 + b472 =L= 1;
e1252.. b366 + b473 =L= 1;
e1253.. b367 + b474 =L= 1;
e1254.. b368 + b475 =L= 1;
e1255.. b369 + b476 =L= 1;
e1256.. b363 + b477 =L= 1;
e1257.. b364 + b478 =L= 1;
e1258.. b365 + b479 =L= 1;
e1259.. b366 + b480 =L= 1;
e1260.. b367 + b481 =L= 1;
e1261.. b368 + b482 =L= 1;
e1262.. b369 + b483 =L= 1;
e1263.. b386 + b446 =L= 1;
e1264.. b387 + b447 =L= 1;
e1265.. b388 + b448 =L= 1;
e1266.. b389 + b449 =L= 1;
e1267.. b390 + b450 =L= 1;
e1268.. b391 + b451 =L= 1;
e1269.. b392 + b452 =L= 1;
e1270.. b393 + b453 =L= 1;
e1271.. b386 + b454 =L= 1;
e1272.. b387 + b455 =L= 1;
e1273.. b388 + b456 =L= 1;
e1274.. b389 + b457 =L= 1;
e1275.. b390 + b458 =L= 1;
e1276.. b391 + b459 =L= 1;
e1277.. b392 + b460 =L= 1;
e1278.. b393 + b461 =L= 1;
e1279.. b386 + b462 =L= 1;
e1280.. b387 + b463 =L= 1;
e1281.. b388 + b464 =L= 1;
e1282.. b389 + b465 =L= 1;
e1283.. b390 + b466 =L= 1;
e1284.. b391 + b467 =L= 1;
e1285.. b392 + b468 =L= 1;
e1286.. b393 + b469 =L= 1;
e1287.. b387 + b470 =L= 1;
e1288.. b388 + b471 =L= 1;
e1289.. b389 + b472 =L= 1;
e1290.. b390 + b473 =L= 1;
e1291.. b391 + b474 =L= 1;
e1292.. b392 + b475 =L= 1;
e1293.. b393 + b476 =L= 1;
e1294.. b387 + b477 =L= 1;
e1295.. b388 + b478 =L= 1;
e1296.. b389 + b479 =L= 1;
e1297.. b390 + b480 =L= 1;
e1298.. b391 + b481 =L= 1;
e1299.. b392 + b482 =L= 1;
e1300.. b393 + b483 =L= 1;
e1301.. b424 + b446 =L= 1;
e1302.. b425 + b447 =L= 1;
e1303.. b426 + b448 =L= 1;
e1304.. b427 + b449 =L= 1;
e1305.. b428 + b450 =L= 1;
e1306.. b429 + b451 =L= 1;
e1307.. b430 + b452 =L= 1;
e1308.. b431 + b453 =L= 1;
e1309.. b424 + b454 =L= 1;
e1310.. b425 + b455 =L= 1;
e1311.. b426 + b456 =L= 1;
e1312.. b427 + b457 =L= 1;
e1313.. b428 + b458 =L= 1;
e1314.. b429 + b459 =L= 1;
e1315.. b430 + b460 =L= 1;
e1316.. b431 + b461 =L= 1;
e1317.. b424 + b462 =L= 1;
e1318.. b425 + b463 =L= 1;
e1319.. b426 + b464 =L= 1;
e1320.. b427 + b465 =L= 1;
e1321.. b428 + b466 =L= 1;
e1322.. b429 + b467 =L= 1;
e1323.. b430 + b468 =L= 1;
e1324.. b431 + b469 =L= 1;
e1325.. b425 + b470 =L= 1;
e1326.. b426 + b471 =L= 1;
e1327.. b427 + b472 =L= 1;
e1328.. b428 + b473 =L= 1;
e1329.. b429 + b474 =L= 1;
e1330.. b430 + b475 =L= 1;
e1331.. b431 + b476 =L= 1;
e1332.. b425 + b477 =L= 1;
e1333.. b426 + b478 =L= 1;
e1334.. b427 + b479 =L= 1;
e1335.. b428 + b480 =L= 1;
e1336.. b429 + b481 =L= 1;
e1337.. b430 + b482 =L= 1;
e1338.. b431 + b483 =L= 1;
e1339.. b446 + b500 =L= 1;
e1340.. b447 + b501 =L= 1;
e1341.. b448 + b502 =L= 1;
e1342.. b449 + b503 =L= 1;
e1343.. b450 + b504 =L= 1;
e1344.. b451 + b505 =L= 1;
e1345.. b452 + b506 =L= 1;
e1346.. b453 + b507 =L= 1;
e1347.. b454 + b500 =L= 1;
e1348.. b455 + b501 =L= 1;
e1349.. b456 + b502 =L= 1;
e1350.. b457 + b503 =L= 1;
e1351.. b458 + b504 =L= 1;
e1352.. b459 + b505 =L= 1;
e1353.. b460 + b506 =L= 1;
e1354.. b461 + b507 =L= 1;
e1355.. b462 + b500 =L= 1;
e1356.. b463 + b501 =L= 1;
e1357.. b464 + b502 =L= 1;
e1358.. b465 + b503 =L= 1;
e1359.. b466 + b504 =L= 1;
e1360.. b467 + b505 =L= 1;
e1361.. b468 + b506 =L= 1;
e1362.. b469 + b507 =L= 1;
e1363.. b470 + b501 =L= 1;
e1364.. b471 + b502 =L= 1;
e1365.. b472 + b503 =L= 1;
e1366.. b473 + b504 =L= 1;
e1367.. b474 + b505 =L= 1;
e1368.. b475 + b506 =L= 1;
e1369.. b476 + b507 =L= 1;
e1370.. b477 + b501 =L= 1;
e1371.. b478 + b502 =L= 1;
e1372.. b479 + b503 =L= 1;
e1373.. b480 + b504 =L= 1;
e1374.. b481 + b505 =L= 1;
e1375.. b482 + b506 =L= 1;
e1376.. b483 + b507 =L= 1;
e1377.. b306 + b484 =L= 1;
e1378.. b307 + b485 =L= 1;
e1379.. b308 + b486 =L= 1;
e1380.. b309 + b487 =L= 1;
e1381.. b310 + b488 =L= 1;
e1382.. b311 + b489 =L= 1;
e1383.. b312 + b490 =L= 1;
e1384.. b313 + b491 =L= 1;
e1385.. b306 + b492 =L= 1;
e1386.. b307 + b493 =L= 1;
e1387.. b308 + b494 =L= 1;
e1388.. b309 + b495 =L= 1;
e1389.. b310 + b496 =L= 1;
e1390.. b311 + b497 =L= 1;
e1391.. b312 + b498 =L= 1;
e1392.. b313 + b499 =L= 1;
e1393.. b306 + b500 =L= 1;
e1394.. b307 + b501 =L= 1;
e1395.. b308 + b502 =L= 1;
e1396.. b309 + b503 =L= 1;
e1397.. b310 + b504 =L= 1;
e1398.. b311 + b505 =L= 1;
e1399.. b312 + b506 =L= 1;
e1400.. b313 + b507 =L= 1;
e1401.. b307 + b508 =L= 1;
e1402.. b308 + b509 =L= 1;
e1403.. b309 + b510 =L= 1;
e1404.. b310 + b511 =L= 1;
e1405.. b311 + b512 =L= 1;
e1406.. b312 + b513 =L= 1;
e1407.. b313 + b514 =L= 1;
e1408.. b307 + b515 =L= 1;
e1409.. b308 + b516 =L= 1;
e1410.. b309 + b517 =L= 1;
e1411.. b310 + b518 =L= 1;
e1412.. b311 + b519 =L= 1;
e1413.. b312 + b520 =L= 1;
e1414.. b313 + b521 =L= 1;
e1415.. b338 + b484 =L= 1;
e1416.. b339 + b485 =L= 1;
e1417.. b340 + b486 =L= 1;
e1418.. b341 + b487 =L= 1;
e1419.. b342 + b488 =L= 1;
e1420.. b343 + b489 =L= 1;
e1421.. b344 + b490 =L= 1;
e1422.. b345 + b491 =L= 1;
e1423.. b338 + b492 =L= 1;
e1424.. b339 + b493 =L= 1;
e1425.. b340 + b494 =L= 1;
e1426.. b341 + b495 =L= 1;
e1427.. b342 + b496 =L= 1;
e1428.. b343 + b497 =L= 1;
e1429.. b344 + b498 =L= 1;
e1430.. b345 + b499 =L= 1;
e1431.. b338 + b500 =L= 1;
e1432.. b339 + b501 =L= 1;
e1433.. b340 + b502 =L= 1;
e1434.. b341 + b503 =L= 1;
e1435.. b342 + b504 =L= 1;
e1436.. b343 + b505 =L= 1;
e1437.. b344 + b506 =L= 1;
e1438.. b345 + b507 =L= 1;
e1439.. b339 + b508 =L= 1;
e1440.. b340 + b509 =L= 1;
e1441.. b341 + b510 =L= 1;
e1442.. b342 + b511 =L= 1;
e1443.. b343 + b512 =L= 1;
e1444.. b344 + b513 =L= 1;
e1445.. b345 + b514 =L= 1;
e1446.. b339 + b515 =L= 1;
e1447.. b340 + b516 =L= 1;
e1448.. b341 + b517 =L= 1;
e1449.. b342 + b518 =L= 1;
e1450.. b343 + b519 =L= 1;
e1451.. b344 + b520 =L= 1;
e1452.. b345 + b521 =L= 1;
e1453.. b370 + b484 =L= 1;
e1454.. b371 + b485 =L= 1;
e1455.. b372 + b486 =L= 1;
e1456.. b373 + b487 =L= 1;
e1457.. b374 + b488 =L= 1;
e1458.. b375 + b489 =L= 1;
e1459.. b376 + b490 =L= 1;
e1460.. b377 + b491 =L= 1;
e1461.. b370 + b492 =L= 1;
e1462.. b371 + b493 =L= 1;
e1463.. b372 + b494 =L= 1;
e1464.. b373 + b495 =L= 1;
e1465.. b374 + b496 =L= 1;
e1466.. b375 + b497 =L= 1;
e1467.. b376 + b498 =L= 1;
e1468.. b377 + b499 =L= 1;
e1469.. b370 + b500 =L= 1;
e1470.. b371 + b501 =L= 1;
e1471.. b372 + b502 =L= 1;
e1472.. b373 + b503 =L= 1;
e1473.. b374 + b504 =L= 1;
e1474.. b375 + b505 =L= 1;
e1475.. b376 + b506 =L= 1;
e1476.. b377 + b507 =L= 1;
e1477.. b371 + b508 =L= 1;
e1478.. b372 + b509 =L= 1;
e1479.. b373 + b510 =L= 1;
e1480.. b374 + b511 =L= 1;
e1481.. b375 + b512 =L= 1;
e1482.. b376 + b513 =L= 1;
e1483.. b377 + b514 =L= 1;
e1484.. b371 + b515 =L= 1;
e1485.. b372 + b516 =L= 1;
e1486.. b373 + b517 =L= 1;
e1487.. b374 + b518 =L= 1;
e1488.. b375 + b519 =L= 1;
e1489.. b376 + b520 =L= 1;
e1490.. b377 + b521 =L= 1;
e1491.. b394 + b484 =L= 1;
e1492.. b395 + b485 =L= 1;
e1493.. b396 + b486 =L= 1;
e1494.. b397 + b487 =L= 1;
e1495.. b398 + b488 =L= 1;
e1496.. b399 + b489 =L= 1;
e1497.. b400 + b490 =L= 1;
e1498.. b401 + b491 =L= 1;
e1499.. b394 + b492 =L= 1;
e1500.. b395 + b493 =L= 1;
e1501.. b396 + b494 =L= 1;
e1502.. b397 + b495 =L= 1;
e1503.. b398 + b496 =L= 1;
e1504.. b399 + b497 =L= 1;
e1505.. b400 + b498 =L= 1;
e1506.. b401 + b499 =L= 1;
e1507.. b394 + b500 =L= 1;
e1508.. b395 + b501 =L= 1;
e1509.. b396 + b502 =L= 1;
e1510.. b397 + b503 =L= 1;
e1511.. b398 + b504 =L= 1;
e1512.. b399 + b505 =L= 1;
e1513.. b400 + b506 =L= 1;
e1514.. b401 + b507 =L= 1;
e1515.. b395 + b508 =L= 1;
e1516.. b396 + b509 =L= 1;
e1517.. b397 + b510 =L= 1;
e1518.. b398 + b511 =L= 1;
e1519.. b399 + b512 =L= 1;
e1520.. b400 + b513 =L= 1;
e1521.. b401 + b514 =L= 1;
e1522.. b395 + b515 =L= 1;
e1523.. b396 + b516 =L= 1;
e1524.. b397 + b517 =L= 1;
e1525.. b398 + b518 =L= 1;
e1526.. b399 + b519 =L= 1;
e1527.. b400 + b520 =L= 1;
e1528.. b401 + b521 =L= 1;
e1529.. b484 + b601 =L= 1;
e1530.. b485 + b602 =L= 1;
e1531.. b486 + b603 =L= 1;
e1532.. b487 + b604 =L= 1;
e1533.. b488 + b605 =L= 1;
e1534.. b489 + b606 =L= 1;
e1535.. b490 + b607 =L= 1;
e1536.. b491 + b608 =L= 1;
e1537.. b492 + b601 =L= 1;
e1538.. b493 + b602 =L= 1;
e1539.. b494 + b603 =L= 1;
e1540.. b495 + b604 =L= 1;
e1541.. b496 + b605 =L= 1;
e1542.. b497 + b606 =L= 1;
e1543.. b498 + b607 =L= 1;
e1544.. b499 + b608 =L= 1;
e1545.. b500 + b601 =L= 1;
e1546.. b501 + b602 =L= 1;
e1547.. b502 + b603 =L= 1;
e1548.. b503 + b604 =L= 1;
e1549.. b504 + b605 =L= 1;
e1550.. b505 + b606 =L= 1;
e1551.. b506 + b607 =L= 1;
e1552.. b507 + b608 =L= 1;
e1553.. b508 + b602 =L= 1;
e1554.. b509 + b603 =L= 1;
e1555.. b510 + b604 =L= 1;
e1556.. b511 + b605 =L= 1;
e1557.. b512 + b606 =L= 1;
e1558.. b513 + b607 =L= 1;
e1559.. b514 + b608 =L= 1;
e1560.. b515 + b602 =L= 1;
e1561.. b516 + b603 =L= 1;
e1562.. b517 + b604 =L= 1;
e1563.. b518 + b605 =L= 1;
e1564.. b519 + b606 =L= 1;
e1565.. b520 + b607 =L= 1;
e1566.. b521 + b608 =L= 1;
e1567.. b462 + b484 =L= 1;
e1568.. b463 + b485 =L= 1;
e1569.. b464 + b486 =L= 1;
e1570.. b465 + b487 =L= 1;
e1571.. b466 + b488 =L= 1;
e1572.. b467 + b489 =L= 1;
e1573.. b468 + b490 =L= 1;
e1574.. b469 + b491 =L= 1;
e1575.. b462 + b492 =L= 1;
e1576.. b463 + b493 =L= 1;
e1577.. b464 + b494 =L= 1;
e1578.. b465 + b495 =L= 1;
e1579.. b466 + b496 =L= 1;
e1580.. b467 + b497 =L= 1;
e1581.. b468 + b498 =L= 1;
e1582.. b469 + b499 =L= 1;
e1583.. b462 + b500 =L= 1;
e1584.. b463 + b501 =L= 1;
e1585.. b464 + b502 =L= 1;
e1586.. b465 + b503 =L= 1;
e1587.. b466 + b504 =L= 1;
e1588.. b467 + b505 =L= 1;
e1589.. b468 + b506 =L= 1;
e1590.. b469 + b507 =L= 1;
e1591.. b463 + b508 =L= 1;
e1592.. b464 + b509 =L= 1;
e1593.. b465 + b510 =L= 1;
e1594.. b466 + b511 =L= 1;
e1595.. b467 + b512 =L= 1;
e1596.. b468 + b513 =L= 1;
e1597.. b469 + b514 =L= 1;
e1598.. b463 + b515 =L= 1;
e1599.. b464 + b516 =L= 1;
e1600.. b465 + b517 =L= 1;
e1601.. b466 + b518 =L= 1;
e1602.. b467 + b519 =L= 1;
e1603.. b468 + b520 =L= 1;
e1604.. b469 + b521 =L= 1;
e1605.. x609*x525 - 0.5*x2 - 0.4*x34 - 0.3*x66 + 0.9*x106 + 0.9*x114 + 0.9*x122
- 0.4*x144 - 0.3*x182 - 0.6*x220 =E= 0.18;
e1606.. x616*x526 - 0.5*x10 - 0.4*x42 - 0.3*x74 - 0.9*x106 + 0.4*x144
+ 0.4*x152 + 0.4*x160 - 0.3*x190 - 0.6*x228 =E= 0.04;
e1607.. x623*x527 - 0.5*x18 - 0.4*x50 - 0.3*x82 - 0.9*x114 - 0.4*x152
+ 0.3*x182 + 0.3*x190 + 0.3*x198 - 0.6*x236 =E= 0.18;
e1608.. x630*x528 - 0.5*x26 - 0.4*x58 - 0.3*x90 - 0.9*x122 - 0.4*x160
- 0.3*x198 + 0.6*x220 + 0.6*x228 + 0.6*x236 =E= 0.72;
e1609.. x693*x525 - 0.6*x2 - 0.4*x34 - 0.1*x66 + 0.9*x106 + 0.9*x114 + 0.9*x122
- 0.7*x144 - 0.4*x182 - 0.7*x220 =E= 0.18;
e1610.. x700*x526 - 0.6*x10 - 0.4*x42 - 0.1*x74 - 0.9*x106 + 0.7*x144
+ 0.7*x152 + 0.7*x160 - 0.4*x190 - 0.7*x228 =E= 0.07;
e1611.. x707*x527 - 0.6*x18 - 0.4*x50 - 0.1*x82 - 0.9*x114 - 0.7*x152
+ 0.4*x182 + 0.4*x190 + 0.4*x198 - 0.7*x236 =E= 0.24;
e1612.. x714*x528 - 0.6*x26 - 0.4*x58 - 0.1*x90 - 0.9*x122 - 0.7*x160
- 0.4*x198 + 0.7*x220 + 0.7*x228 + 0.7*x236 =E= 0.84;
e1613.. x637*x525 - 0.6*x2 - 0.5*x34 - 0.1*x66 + x106 + x114 + x122 - 0.5*x144
- 0.5*x182 - 0.3*x220 =E= 0.2;
e1614.. x644*x526 - 0.6*x10 - 0.5*x42 - 0.1*x74 - x106 + 0.5*x144 + 0.5*x152
+ 0.5*x160 - 0.5*x190 - 0.3*x228 =E= 0.05;
e1615.. x651*x527 - 0.6*x18 - 0.5*x50 - 0.1*x82 - x114 - 0.5*x152 + 0.5*x182
+ 0.5*x190 + 0.5*x198 - 0.3*x236 =E= 0.3;
e1616.. x658*x528 - 0.6*x26 - 0.5*x58 - 0.1*x90 - x122 - 0.5*x160 - 0.5*x198
+ 0.3*x220 + 0.3*x228 + 0.3*x236 =E= 0.36;
e1617.. x721*x525 - 0.6*x2 - 0.5*x34 - 0.1*x66 + 0.1*x106 + 0.1*x114 + 0.1*x122
- 0.2*x144 - 0.1*x182 - 0.5*x220 =E= 0.02;
e1618.. x728*x526 - 0.6*x10 - 0.5*x42 - 0.1*x74 - 0.1*x106 + 0.2*x144
+ 0.2*x152 + 0.2*x160 - 0.1*x190 - 0.5*x228 =E= 0.02;
e1619.. x735*x527 - 0.6*x18 - 0.5*x50 - 0.1*x82 - 0.1*x114 - 0.2*x152
+ 0.1*x182 + 0.1*x190 + 0.1*x198 - 0.5*x236 =E= 0.06;
e1620.. x742*x528 - 0.6*x26 - 0.5*x58 - 0.1*x90 - 0.1*x122 - 0.2*x160
- 0.1*x198 + 0.5*x220 + 0.5*x228 + 0.5*x236 =E= 0.6;
e1621.. x749*x525 - 0.6*x2 - 0.5*x34 - 0.2*x66 - 0.9*x144 - 0.6*x182 =E= 0;
e1622.. x756*x526 - 0.6*x10 - 0.5*x42 - 0.2*x74 + 0.9*x144 + 0.9*x152
+ 0.9*x160 - 0.6*x190 =E= 0.09;
e1623.. x763*x527 - 0.6*x18 - 0.5*x50 - 0.2*x82 - 0.9*x152 + 0.6*x182
+ 0.6*x190 + 0.6*x198 =E= 0.36;
e1624.. x770*x528 - 0.6*x26 - 0.5*x58 - 0.2*x90 - 0.9*x160 - 0.6*x198 =E= 0;
e1625.. x665*x525 - 0.5*x2 - 0.4*x34 - 0.3*x66 - 0.2*x144 - 0.5*x182 - 0.1*x220
=E= 0;
e1626.. x672*x526 - 0.5*x10 - 0.4*x42 - 0.3*x74 + 0.2*x144 + 0.2*x152
+ 0.2*x160 - 0.5*x190 - 0.1*x228 =E= 0.02;
e1627.. x679*x527 - 0.5*x18 - 0.4*x50 - 0.3*x82 - 0.2*x152 + 0.5*x182
+ 0.5*x190 + 0.5*x198 - 0.1*x236 =E= 0.3;
e1628.. x686*x528 - 0.5*x26 - 0.4*x58 - 0.3*x90 - 0.2*x160 - 0.5*x198
+ 0.1*x220 + 0.1*x228 + 0.1*x236 =E= 0.12;
e1629.. x609*x107 + x609*x115 + x609*x123 + x609*x130 + x609*x137 - x616*x145
- x623*x183 - x630*x221 - x609*x525 + x610*x551 - 0.5*x3 - 0.4*x35
- 0.3*x67 =E= 0;
e1630.. x610*x108 + x610*x116 + x610*x124 + x610*x131 + x610*x138 - x617*x146
- x624*x184 - x631*x222 - x610*x551 + x611*x552 - 0.5*x4 - 0.4*x36
- 0.3*x68 =E= 0;
e1631.. x611*x109 + x611*x117 + x611*x125 + x611*x132 + x611*x139 - x618*x147
- x625*x185 - x632*x223 - x611*x552 + x612*x553 - 0.5*x5 - 0.4*x37
- 0.3*x69 =E= 0;
e1632.. x612*x110 + x612*x118 + x612*x126 + x612*x133 + x612*x140 - x619*x148
- x626*x186 - x633*x224 - x612*x553 + x613*x554 - 0.5*x6 - 0.4*x38
- 0.3*x70 =E= 0;
e1633.. x613*x111 + x613*x119 + x613*x127 + x613*x134 + x613*x141 - x620*x149
- x627*x187 - x634*x225 - x613*x554 + x614*x555 - 0.5*x7 - 0.4*x39
- 0.3*x71 =E= 0;
e1634.. x614*x112 + x614*x120 + x614*x128 + x614*x135 + x614*x142 - x621*x150
- x628*x188 - x635*x226 - x614*x555 + x615*x556 - 0.5*x8 - 0.4*x40
- 0.3*x72 =E= 0;
e1635.. x615*x113 + x615*x121 + x615*x129 + x615*x136 + x615*x143 - x622*x151
- x629*x189 - x636*x227 + x557*x258 - x615*x556 - 0.5*x9 - 0.4*x41
- 0.3*x73 =E= 0;
e1636.. x616*x145 - x609*x107 + x616*x153 + x616*x161 + x616*x168 + x616*x175
- x623*x191 - x630*x229 - x616*x526 + x617*x558 - 0.5*x11 - 0.4*x43
- 0.3*x75 =E= 0;
e1637.. x617*x146 - x610*x108 + x617*x154 + x617*x162 + x617*x169 + x617*x176
- x624*x192 - x631*x230 - x617*x558 + x618*x559 - 0.5*x12 - 0.4*x44
- 0.3*x76 =E= 0;
e1638.. x618*x147 - x611*x109 + x618*x155 + x618*x163 + x618*x170 + x618*x177
- x625*x193 - x632*x231 - x618*x559 + x619*x560 - 0.5*x13 - 0.4*x45
- 0.3*x77 =E= 0;
e1639.. x619*x148 - x612*x110 + x619*x156 + x619*x164 + x619*x171 + x619*x178
- x626*x194 - x633*x232 - x619*x560 + x620*x561 - 0.5*x14 - 0.4*x46
- 0.3*x78 =E= 0;
e1640.. x620*x149 - x613*x111 + x620*x157 + x620*x165 + x620*x172 + x620*x179
- x627*x195 - x634*x233 - x620*x561 + x621*x562 - 0.5*x15 - 0.4*x47
- 0.3*x79 =E= 0;
e1641.. x621*x150 - x614*x112 + x621*x158 + x621*x166 + x621*x173 + x621*x180
- x628*x196 - x635*x234 - x621*x562 + x622*x563 - 0.5*x16 - 0.4*x48
- 0.3*x80 =E= 0;
e1642.. x622*x151 - x615*x113 + x622*x159 + x622*x167 + x622*x174 + x622*x181
- x629*x197 - x636*x235 + x564*x259 - x622*x563 - 0.5*x17 - 0.4*x49
- 0.3*x81 =E= 0;
e1643.. (-x609*x115) - x616*x153 + x623*x183 + x623*x191 + x623*x199 + x623*
x206 + x623*x213 - x630*x237 - x623*x527 + x624*x565 - 0.5*x19
- 0.4*x51 - 0.3*x83 =E= 0;
e1644.. (-x610*x116) - x617*x154 + x624*x184 + x624*x192 + x624*x200 + x624*
x207 + x624*x214 - x631*x238 - x624*x565 + x625*x566 - 0.5*x20
- 0.4*x52 - 0.3*x84 =E= 0;
e1645.. (-x611*x117) - x618*x155 + x625*x185 + x625*x193 + x625*x201 + x625*
x208 + x625*x215 - x632*x239 - x625*x566 + x626*x567 - 0.5*x21
- 0.4*x53 - 0.3*x85 =E= 0;
e1646.. (-x612*x118) - x619*x156 + x626*x186 + x626*x194 + x626*x202 + x626*
x209 + x626*x216 - x633*x240 - x626*x567 + x627*x568 - 0.5*x22
- 0.4*x54 - 0.3*x86 =E= 0;
e1647.. (-x613*x119) - x620*x157 + x627*x187 + x627*x195 + x627*x203 + x627*
x210 + x627*x217 - x634*x241 - x627*x568 + x628*x569 - 0.5*x23
- 0.4*x55 - 0.3*x87 =E= 0;
e1648.. (-x614*x120) - x621*x158 + x628*x188 + x628*x196 + x628*x204 + x628*
x211 + x628*x218 - x635*x242 - x628*x569 + x629*x570 - 0.5*x24
- 0.4*x56 - 0.3*x88 =E= 0;
e1649.. (-x615*x121) - x622*x159 + x629*x189 + x629*x197 + x629*x205 + x629*
x212 + x629*x219 - x636*x243 + x571*x260 - x629*x570 - 0.5*x25
- 0.4*x57 - 0.3*x89 =E= 0;
e1650.. (-x609*x123) - x616*x161 - x623*x199 + x630*x221 + x630*x229 + x630*
x237 + x630*x244 + x630*x251 - x630*x528 + x631*x572 - 0.5*x27
- 0.4*x59 - 0.3*x91 =E= 0;
e1651.. (-x610*x124) - x617*x162 - x624*x200 + x631*x222 + x631*x230 + x631*
x238 + x631*x245 + x631*x252 - x631*x572 + x632*x573 - 0.5*x28
- 0.4*x60 - 0.3*x92 =E= 0;
e1652.. (-x611*x125) - x618*x163 - x625*x201 + x632*x223 + x632*x231 + x632*
x239 + x632*x246 + x632*x253 - x632*x573 + x633*x574 - 0.5*x29
- 0.4*x61 - 0.3*x93 =E= 0;
e1653.. (-x612*x126) - x619*x164 - x626*x202 + x633*x224 + x633*x232 + x633*
x240 + x633*x247 + x633*x254 - x633*x574 + x634*x575 - 0.5*x30
- 0.4*x62 - 0.3*x94 =E= 0;
e1654.. (-x613*x127) - x620*x165 - x627*x203 + x634*x225 + x634*x233 + x634*
x241 + x634*x248 + x634*x255 - x634*x575 + x635*x576 - 0.5*x31
- 0.4*x63 - 0.3*x95 =E= 0;
e1655.. (-x614*x128) - x621*x166 - x628*x204 + x635*x226 + x635*x234 + x635*
x242 + x635*x249 + x635*x256 - x635*x576 + x636*x577 - 0.5*x32
- 0.4*x64 - 0.3*x96 =E= 0;
e1656.. (-x615*x129) - x622*x167 - x629*x205 + x636*x227 + x636*x235 + x636*
x243 + x636*x250 + x636*x257 + x578*x261 - x636*x577 - 0.5*x33
- 0.4*x65 - 0.3*x97 =E= 0;
e1657.. x693*x107 + x693*x115 + x693*x123 + x693*x130 + x693*x137 - x700*x145
- x707*x183 - x714*x221 - x693*x525 + x694*x551 - 0.6*x3 - 0.4*x35
- 0.1*x67 =E= 0;
e1658.. x694*x108 + x694*x116 + x694*x124 + x694*x131 + x694*x138 - x701*x146
- x708*x184 - x715*x222 - x694*x551 + x695*x552 - 0.6*x4 - 0.4*x36
- 0.1*x68 =E= 0;
e1659.. x695*x109 + x695*x117 + x695*x125 + x695*x132 + x695*x139 - x702*x147
- x709*x185 - x716*x223 - x695*x552 + x696*x553 - 0.6*x5 - 0.4*x37
- 0.1*x69 =E= 0;
e1660.. x696*x110 + x696*x118 + x696*x126 + x696*x133 + x696*x140 - x703*x148
- x710*x186 - x717*x224 - x696*x553 + x697*x554 - 0.6*x6 - 0.4*x38
- 0.1*x70 =E= 0;
e1661.. x697*x111 + x697*x119 + x697*x127 + x697*x134 + x697*x141 - x704*x149
- x711*x187 - x718*x225 - x697*x554 + x698*x555 - 0.6*x7 - 0.4*x39
- 0.1*x71 =E= 0;
e1662.. x698*x112 + x698*x120 + x698*x128 + x698*x135 + x698*x142 - x705*x150
- x712*x188 - x719*x226 - x698*x555 + x699*x556 - 0.6*x8 - 0.4*x40
- 0.1*x72 =E= 0;
e1663.. x699*x113 + x699*x121 + x699*x129 + x699*x136 + x699*x143 - x706*x151
- x713*x189 - x720*x227 + x557*x262 - x699*x556 - 0.6*x9 - 0.4*x41
- 0.1*x73 =E= 0;
e1664.. x700*x145 - x693*x107 + x700*x153 + x700*x161 + x700*x168 + x700*x175
- x707*x191 - x714*x229 - x700*x526 + x701*x558 - 0.6*x11 - 0.4*x43
- 0.1*x75 =E= 0;
e1665.. x701*x146 - x694*x108 + x701*x154 + x701*x162 + x701*x169 + x701*x176
- x708*x192 - x715*x230 - x701*x558 + x702*x559 - 0.6*x12 - 0.4*x44
- 0.1*x76 =E= 0;
e1666.. x702*x147 - x695*x109 + x702*x155 + x702*x163 + x702*x170 + x702*x177
- x709*x193 - x716*x231 - x702*x559 + x703*x560 - 0.6*x13 - 0.4*x45
- 0.1*x77 =E= 0;
e1667.. x703*x148 - x696*x110 + x703*x156 + x703*x164 + x703*x171 + x703*x178
- x710*x194 - x717*x232 - x703*x560 + x704*x561 - 0.6*x14 - 0.4*x46
- 0.1*x78 =E= 0;
e1668.. x704*x149 - x697*x111 + x704*x157 + x704*x165 + x704*x172 + x704*x179
- x711*x195 - x718*x233 - x704*x561 + x705*x562 - 0.6*x15 - 0.4*x47
- 0.1*x79 =E= 0;
e1669.. x705*x150 - x698*x112 + x705*x158 + x705*x166 + x705*x173 + x705*x180
- x712*x196 - x719*x234 - x705*x562 + x706*x563 - 0.6*x16 - 0.4*x48
- 0.1*x80 =E= 0;
e1670.. x706*x151 - x699*x113 + x706*x159 + x706*x167 + x706*x174 + x706*x181
- x713*x197 - x720*x235 + x564*x263 - x706*x563 - 0.6*x17 - 0.4*x49
- 0.1*x81 =E= 0;
e1671.. (-x693*x115) - x700*x153 + x707*x183 + x707*x191 + x707*x199 + x707*
x206 + x707*x213 - x714*x237 - x707*x527 + x708*x565 - 0.6*x19
- 0.4*x51 - 0.1*x83 =E= 0;
e1672.. (-x694*x116) - x701*x154 + x708*x184 + x708*x192 + x708*x200 + x708*
x207 + x708*x214 - x715*x238 - x708*x565 + x709*x566 - 0.6*x20
- 0.4*x52 - 0.1*x84 =E= 0;
e1673.. (-x695*x117) - x702*x155 + x709*x185 + x709*x193 + x709*x201 + x709*
x208 + x709*x215 - x716*x239 - x709*x566 + x710*x567 - 0.6*x21
- 0.4*x53 - 0.1*x85 =E= 0;
e1674.. (-x696*x118) - x703*x156 + x710*x186 + x710*x194 + x710*x202 + x710*
x209 + x710*x216 - x717*x240 - x710*x567 + x711*x568 - 0.6*x22
- 0.4*x54 - 0.1*x86 =E= 0;
e1675.. (-x697*x119) - x704*x157 + x711*x187 + x711*x195 + x711*x203 + x711*
x210 + x711*x217 - x718*x241 - x711*x568 + x712*x569 - 0.6*x23
- 0.4*x55 - 0.1*x87 =E= 0;
e1676.. (-x698*x120) - x705*x158 + x712*x188 + x712*x196 + x712*x204 + x712*
x211 + x712*x218 - x719*x242 - x712*x569 + x713*x570 - 0.6*x24
- 0.4*x56 - 0.1*x88 =E= 0;
e1677.. (-x699*x121) - x706*x159 + x713*x189 + x713*x197 + x713*x205 + x713*
x212 + x713*x219 - x720*x243 + x571*x264 - x713*x570 - 0.6*x25
- 0.4*x57 - 0.1*x89 =E= 0;
e1678.. (-x693*x123) - x700*x161 - x707*x199 + x714*x221 + x714*x229 + x714*
x237 + x714*x244 + x714*x251 - x714*x528 + x715*x572 - 0.6*x27
- 0.4*x59 - 0.1*x91 =E= 0;
e1679.. (-x694*x124) - x701*x162 - x708*x200 + x715*x222 + x715*x230 + x715*
x238 + x715*x245 + x715*x252 - x715*x572 + x716*x573 - 0.6*x28
- 0.4*x60 - 0.1*x92 =E= 0;
e1680.. (-x695*x125) - x702*x163 - x709*x201 + x716*x223 + x716*x231 + x716*
x239 + x716*x246 + x716*x253 - x716*x573 + x717*x574 - 0.6*x29
- 0.4*x61 - 0.1*x93 =E= 0;
e1681.. (-x696*x126) - x703*x164 - x710*x202 + x717*x224 + x717*x232 + x717*
x240 + x717*x247 + x717*x254 - x717*x574 + x718*x575 - 0.6*x30
- 0.4*x62 - 0.1*x94 =E= 0;
e1682.. (-x697*x127) - x704*x165 - x711*x203 + x718*x225 + x718*x233 + x718*
x241 + x718*x248 + x718*x255 - x718*x575 + x719*x576 - 0.6*x31
- 0.4*x63 - 0.1*x95 =E= 0;
e1683.. (-x698*x128) - x705*x166 - x712*x204 + x719*x226 + x719*x234 + x719*
x242 + x719*x249 + x719*x256 - x719*x576 + x720*x577 - 0.6*x32
- 0.4*x64 - 0.1*x96 =E= 0;
e1684.. (-x699*x129) - x706*x167 - x713*x205 + x720*x227 + x720*x235 + x720*
x243 + x720*x250 + x720*x257 + x578*x265 - x720*x577 - 0.6*x33
- 0.4*x65 - 0.1*x97 =E= 0;
e1685.. x637*x107 + x637*x115 + x637*x123 + x637*x130 + x637*x137 - x644*x145
- x651*x183 - x658*x221 - x637*x525 + x638*x551 - 0.6*x3 - 0.5*x35
- 0.1*x67 =E= 0;
e1686.. x638*x108 + x638*x116 + x638*x124 + x638*x131 + x638*x138 - x645*x146
- x652*x184 - x659*x222 - x638*x551 + x639*x552 - 0.6*x4 - 0.5*x36
- 0.1*x68 =E= 0;
e1687.. x639*x109 + x639*x117 + x639*x125 + x639*x132 + x639*x139 - x646*x147
- x653*x185 - x660*x223 - x639*x552 + x640*x553 - 0.6*x5 - 0.5*x37
- 0.1*x69 =E= 0;
e1688.. x640*x110 + x640*x118 + x640*x126 + x640*x133 + x640*x140 - x647*x148
- x654*x186 - x661*x224 - x640*x553 + x641*x554 - 0.6*x6 - 0.5*x38
- 0.1*x70 =E= 0;
e1689.. x641*x111 + x641*x119 + x641*x127 + x641*x134 + x641*x141 - x648*x149
- x655*x187 - x662*x225 - x641*x554 + x642*x555 - 0.6*x7 - 0.5*x39
- 0.1*x71 =E= 0;
e1690.. x642*x112 + x642*x120 + x642*x128 + x642*x135 + x642*x142 - x649*x150
- x656*x188 - x663*x226 - x642*x555 + x643*x556 - 0.6*x8 - 0.5*x40
- 0.1*x72 =E= 0;
e1691.. x643*x113 + x643*x121 + x643*x129 + x643*x136 + x643*x143 - x650*x151
- x657*x189 - x664*x227 + x557*x266 - x643*x556 - 0.6*x9 - 0.5*x41
- 0.1*x73 =E= 0;
e1692.. x644*x145 - x637*x107 + x644*x153 + x644*x161 + x644*x168 + x644*x175
- x651*x191 - x658*x229 - x644*x526 + x645*x558 - 0.6*x11 - 0.5*x43
- 0.1*x75 =E= 0;
e1693.. x645*x146 - x638*x108 + x645*x154 + x645*x162 + x645*x169 + x645*x176
- x652*x192 - x659*x230 - x645*x558 + x646*x559 - 0.6*x12 - 0.5*x44
- 0.1*x76 =E= 0;
e1694.. x646*x147 - x639*x109 + x646*x155 + x646*x163 + x646*x170 + x646*x177
- x653*x193 - x660*x231 - x646*x559 + x647*x560 - 0.6*x13 - 0.5*x45
- 0.1*x77 =E= 0;
e1695.. x647*x148 - x640*x110 + x647*x156 + x647*x164 + x647*x171 + x647*x178
- x654*x194 - x661*x232 - x647*x560 + x648*x561 - 0.6*x14 - 0.5*x46
- 0.1*x78 =E= 0;
e1696.. x648*x149 - x641*x111 + x648*x157 + x648*x165 + x648*x172 + x648*x179
- x655*x195 - x662*x233 - x648*x561 + x649*x562 - 0.6*x15 - 0.5*x47
- 0.1*x79 =E= 0;
e1697.. x649*x150 - x642*x112 + x649*x158 + x649*x166 + x649*x173 + x649*x180
- x656*x196 - x663*x234 - x649*x562 + x650*x563 - 0.6*x16 - 0.5*x48
- 0.1*x80 =E= 0;
e1698.. x650*x151 - x643*x113 + x650*x159 + x650*x167 + x650*x174 + x650*x181
- x657*x197 - x664*x235 + x564*x267 - x650*x563 - 0.6*x17 - 0.5*x49
- 0.1*x81 =E= 0;
e1699.. (-x637*x115) - x644*x153 + x651*x183 + x651*x191 + x651*x199 + x651*
x206 + x651*x213 - x658*x237 - x651*x527 + x652*x565 - 0.6*x19
- 0.5*x51 - 0.1*x83 =E= 0;
e1700.. (-x638*x116) - x645*x154 + x652*x184 + x652*x192 + x652*x200 + x652*
x207 + x652*x214 - x659*x238 - x652*x565 + x653*x566 - 0.6*x20
- 0.5*x52 - 0.1*x84 =E= 0;
e1701.. (-x639*x117) - x646*x155 + x653*x185 + x653*x193 + x653*x201 + x653*
x208 + x653*x215 - x660*x239 - x653*x566 + x654*x567 - 0.6*x21
- 0.5*x53 - 0.1*x85 =E= 0;
e1702.. (-x640*x118) - x647*x156 + x654*x186 + x654*x194 + x654*x202 + x654*
x209 + x654*x216 - x661*x240 - x654*x567 + x655*x568 - 0.6*x22
- 0.5*x54 - 0.1*x86 =E= 0;
e1703.. (-x641*x119) - x648*x157 + x655*x187 + x655*x195 + x655*x203 + x655*
x210 + x655*x217 - x662*x241 - x655*x568 + x656*x569 - 0.6*x23
- 0.5*x55 - 0.1*x87 =E= 0;
e1704.. (-x642*x120) - x649*x158 + x656*x188 + x656*x196 + x656*x204 + x656*
x211 + x656*x218 - x663*x242 - x656*x569 + x657*x570 - 0.6*x24
- 0.5*x56 - 0.1*x88 =E= 0;
e1705.. (-x643*x121) - x650*x159 + x657*x189 + x657*x197 + x657*x205 + x657*
x212 + x657*x219 - x664*x243 + x571*x268 - x657*x570 - 0.6*x25
- 0.5*x57 - 0.1*x89 =E= 0;
e1706.. (-x637*x123) - x644*x161 - x651*x199 + x658*x221 + x658*x229 + x658*
x237 + x658*x244 + x658*x251 - x658*x528 + x659*x572 - 0.6*x27
- 0.5*x59 - 0.1*x91 =E= 0;
e1707.. (-x638*x124) - x645*x162 - x652*x200 + x659*x222 + x659*x230 + x659*
x238 + x659*x245 + x659*x252 - x659*x572 + x660*x573 - 0.6*x28
- 0.5*x60 - 0.1*x92 =E= 0;
e1708.. (-x639*x125) - x646*x163 - x653*x201 + x660*x223 + x660*x231 + x660*
x239 + x660*x246 + x660*x253 - x660*x573 + x661*x574 - 0.6*x29
- 0.5*x61 - 0.1*x93 =E= 0;
e1709.. (-x640*x126) - x647*x164 - x654*x202 + x661*x224 + x661*x232 + x661*
x240 + x661*x247 + x661*x254 - x661*x574 + x662*x575 - 0.6*x30
- 0.5*x62 - 0.1*x94 =E= 0;
e1710.. (-x641*x127) - x648*x165 - x655*x203 + x662*x225 + x662*x233 + x662*
x241 + x662*x248 + x662*x255 - x662*x575 + x663*x576 - 0.6*x31
- 0.5*x63 - 0.1*x95 =E= 0;
e1711.. (-x642*x128) - x649*x166 - x656*x204 + x663*x226 + x663*x234 + x663*
x242 + x663*x249 + x663*x256 - x663*x576 + x664*x577 - 0.6*x32
- 0.5*x64 - 0.1*x96 =E= 0;
e1712.. (-x643*x129) - x650*x167 - x657*x205 + x664*x227 + x664*x235 + x664*
x243 + x664*x250 + x664*x257 + x578*x269 - x664*x577 - 0.6*x33
- 0.5*x65 - 0.1*x97 =E= 0;
e1713.. x721*x107 + x721*x115 + x721*x123 + x721*x130 + x721*x137 - x728*x145
- x735*x183 - x742*x221 - x721*x525 + x722*x551 - 0.6*x3 - 0.5*x35
- 0.1*x67 =E= 0;
e1714.. x722*x108 + x722*x116 + x722*x124 + x722*x131 + x722*x138 - x729*x146
- x736*x184 - x743*x222 - x722*x551 + x723*x552 - 0.6*x4 - 0.5*x36
- 0.1*x68 =E= 0;
e1715.. x723*x109 + x723*x117 + x723*x125 + x723*x132 + x723*x139 - x730*x147
- x737*x185 - x744*x223 - x723*x552 + x724*x553 - 0.6*x5 - 0.5*x37
- 0.1*x69 =E= 0;
e1716.. x724*x110 + x724*x118 + x724*x126 + x724*x133 + x724*x140 - x731*x148
- x738*x186 - x745*x224 - x724*x553 + x725*x554 - 0.6*x6 - 0.5*x38
- 0.1*x70 =E= 0;
e1717.. x725*x111 + x725*x119 + x725*x127 + x725*x134 + x725*x141 - x732*x149
- x739*x187 - x746*x225 - x725*x554 + x726*x555 - 0.6*x7 - 0.5*x39
- 0.1*x71 =E= 0;
e1718.. x726*x112 + x726*x120 + x726*x128 + x726*x135 + x726*x142 - x733*x150
- x740*x188 - x747*x226 - x726*x555 + x727*x556 - 0.6*x8 - 0.5*x40
- 0.1*x72 =E= 0;
e1719.. x727*x113 + x727*x121 + x727*x129 + x727*x136 + x727*x143 - x734*x151
- x741*x189 - x748*x227 + x557*x270 - x727*x556 - 0.6*x9 - 0.5*x41
- 0.1*x73 =E= 0;
e1720.. x728*x145 - x721*x107 + x728*x153 + x728*x161 + x728*x168 + x728*x175
- x735*x191 - x742*x229 - x728*x526 + x729*x558 - 0.6*x11 - 0.5*x43
- 0.1*x75 =E= 0;
e1721.. x729*x146 - x722*x108 + x729*x154 + x729*x162 + x729*x169 + x729*x176
- x736*x192 - x743*x230 - x729*x558 + x730*x559 - 0.6*x12 - 0.5*x44
- 0.1*x76 =E= 0;
e1722.. x730*x147 - x723*x109 + x730*x155 + x730*x163 + x730*x170 + x730*x177
- x737*x193 - x744*x231 - x730*x559 + x731*x560 - 0.6*x13 - 0.5*x45
- 0.1*x77 =E= 0;
e1723.. x731*x148 - x724*x110 + x731*x156 + x731*x164 + x731*x171 + x731*x178
- x738*x194 - x745*x232 - x731*x560 + x732*x561 - 0.6*x14 - 0.5*x46
- 0.1*x78 =E= 0;
e1724.. x732*x149 - x725*x111 + x732*x157 + x732*x165 + x732*x172 + x732*x179
- x739*x195 - x746*x233 - x732*x561 + x733*x562 - 0.6*x15 - 0.5*x47
- 0.1*x79 =E= 0;
e1725.. x733*x150 - x726*x112 + x733*x158 + x733*x166 + x733*x173 + x733*x180
- x740*x196 - x747*x234 - x733*x562 + x734*x563 - 0.6*x16 - 0.5*x48
- 0.1*x80 =E= 0;
e1726.. x734*x151 - x727*x113 + x734*x159 + x734*x167 + x734*x174 + x734*x181
- x741*x197 - x748*x235 + x564*x271 - x734*x563 - 0.6*x17 - 0.5*x49
- 0.1*x81 =E= 0;
e1727.. (-x721*x115) - x728*x153 + x735*x183 + x735*x191 + x735*x199 + x735*
x206 + x735*x213 - x742*x237 - x735*x527 + x736*x565 - 0.6*x19
- 0.5*x51 - 0.1*x83 =E= 0;
e1728.. (-x722*x116) - x729*x154 + x736*x184 + x736*x192 + x736*x200 + x736*
x207 + x736*x214 - x743*x238 - x736*x565 + x737*x566 - 0.6*x20
- 0.5*x52 - 0.1*x84 =E= 0;
e1729.. (-x723*x117) - x730*x155 + x737*x185 + x737*x193 + x737*x201 + x737*
x208 + x737*x215 - x744*x239 - x737*x566 + x738*x567 - 0.6*x21
- 0.5*x53 - 0.1*x85 =E= 0;
e1730.. (-x724*x118) - x731*x156 + x738*x186 + x738*x194 + x738*x202 + x738*
x209 + x738*x216 - x745*x240 - x738*x567 + x739*x568 - 0.6*x22
- 0.5*x54 - 0.1*x86 =E= 0;
e1731.. (-x725*x119) - x732*x157 + x739*x187 + x739*x195 + x739*x203 + x739*
x210 + x739*x217 - x746*x241 - x739*x568 + x740*x569 - 0.6*x23
- 0.5*x55 - 0.1*x87 =E= 0;
e1732.. (-x726*x120) - x733*x158 + x740*x188 + x740*x196 + x740*x204 + x740*
x211 + x740*x218 - x747*x242 - x740*x569 + x741*x570 - 0.6*x24
- 0.5*x56 - 0.1*x88 =E= 0;
e1733.. (-x727*x121) - x734*x159 + x741*x189 + x741*x197 + x741*x205 + x741*
x212 + x741*x219 - x748*x243 + x571*x272 - x741*x570 - 0.6*x25
- 0.5*x57 - 0.1*x89 =E= 0;
e1734.. (-x721*x123) - x728*x161 - x735*x199 + x742*x221 + x742*x229 + x742*
x237 + x742*x244 + x742*x251 - x742*x528 + x743*x572 - 0.6*x27
- 0.5*x59 - 0.1*x91 =E= 0;
e1735.. (-x722*x124) - x729*x162 - x736*x200 + x743*x222 + x743*x230 + x743*
x238 + x743*x245 + x743*x252 - x743*x572 + x744*x573 - 0.6*x28
- 0.5*x60 - 0.1*x92 =E= 0;
e1736.. (-x723*x125) - x730*x163 - x737*x201 + x744*x223 + x744*x231 + x744*
x239 + x744*x246 + x744*x253 - x744*x573 + x745*x574 - 0.6*x29
- 0.5*x61 - 0.1*x93 =E= 0;
e1737.. (-x724*x126) - x731*x164 - x738*x202 + x745*x224 + x745*x232 + x745*
x240 + x745*x247 + x745*x254 - x745*x574 + x746*x575 - 0.6*x30
- 0.5*x62 - 0.1*x94 =E= 0;
e1738.. (-x725*x127) - x732*x165 - x739*x203 + x746*x225 + x746*x233 + x746*
x241 + x746*x248 + x746*x255 - x746*x575 + x747*x576 - 0.6*x31
- 0.5*x63 - 0.1*x95 =E= 0;
e1739.. (-x726*x128) - x733*x166 - x740*x204 + x747*x226 + x747*x234 + x747*
x242 + x747*x249 + x747*x256 - x747*x576 + x748*x577 - 0.6*x32
- 0.5*x64 - 0.1*x96 =E= 0;
e1740.. (-x727*x129) - x734*x167 - x741*x205 + x748*x227 + x748*x235 + x748*
x243 + x748*x250 + x748*x257 + x578*x273 - x748*x577 - 0.6*x33
- 0.5*x65 - 0.1*x97 =E= 0;
e1741.. x749*x107 + x749*x115 + x749*x123 + x749*x130 + x749*x137 - x756*x145
- x763*x183 - x770*x221 - x749*x525 + x750*x551 - 0.6*x3 - 0.5*x35
- 0.2*x67 =E= 0;
e1742.. x750*x108 + x750*x116 + x750*x124 + x750*x131 + x750*x138 - x757*x146
- x764*x184 - x771*x222 - x750*x551 + x751*x552 - 0.6*x4 - 0.5*x36
- 0.2*x68 =E= 0;
e1743.. x751*x109 + x751*x117 + x751*x125 + x751*x132 + x751*x139 - x758*x147
- x765*x185 - x772*x223 - x751*x552 + x752*x553 - 0.6*x5 - 0.5*x37
- 0.2*x69 =E= 0;
e1744.. x752*x110 + x752*x118 + x752*x126 + x752*x133 + x752*x140 - x759*x148
- x766*x186 - x773*x224 - x752*x553 + x753*x554 - 0.6*x6 - 0.5*x38
- 0.2*x70 =E= 0;
e1745.. x753*x111 + x753*x119 + x753*x127 + x753*x134 + x753*x141 - x760*x149
- x767*x187 - x774*x225 - x753*x554 + x754*x555 - 0.6*x7 - 0.5*x39
- 0.2*x71 =E= 0;
e1746.. x754*x112 + x754*x120 + x754*x128 + x754*x135 + x754*x142 - x761*x150
- x768*x188 - x775*x226 - x754*x555 + x755*x556 - 0.6*x8 - 0.5*x40
- 0.2*x72 =E= 0;
e1747.. x755*x113 + x755*x121 + x755*x129 + x755*x136 + x755*x143 - x762*x151
- x769*x189 - x776*x227 + x557*x274 - x755*x556 - 0.6*x9 - 0.5*x41
- 0.2*x73 =E= 0;
e1748.. x756*x145 - x749*x107 + x756*x153 + x756*x161 + x756*x168 + x756*x175
- x763*x191 - x770*x229 - x756*x526 + x757*x558 - 0.6*x11 - 0.5*x43
- 0.2*x75 =E= 0;
e1749.. x757*x146 - x750*x108 + x757*x154 + x757*x162 + x757*x169 + x757*x176
- x764*x192 - x771*x230 - x757*x558 + x758*x559 - 0.6*x12 - 0.5*x44
- 0.2*x76 =E= 0;
e1750.. x758*x147 - x751*x109 + x758*x155 + x758*x163 + x758*x170 + x758*x177
- x765*x193 - x772*x231 - x758*x559 + x759*x560 - 0.6*x13 - 0.5*x45
- 0.2*x77 =E= 0;
e1751.. x759*x148 - x752*x110 + x759*x156 + x759*x164 + x759*x171 + x759*x178
- x766*x194 - x773*x232 - x759*x560 + x760*x561 - 0.6*x14 - 0.5*x46
- 0.2*x78 =E= 0;
e1752.. x760*x149 - x753*x111 + x760*x157 + x760*x165 + x760*x172 + x760*x179
- x767*x195 - x774*x233 - x760*x561 + x761*x562 - 0.6*x15 - 0.5*x47
- 0.2*x79 =E= 0;
e1753.. x761*x150 - x754*x112 + x761*x158 + x761*x166 + x761*x173 + x761*x180
- x768*x196 - x775*x234 - x761*x562 + x762*x563 - 0.6*x16 - 0.5*x48
- 0.2*x80 =E= 0;
e1754.. x762*x151 - x755*x113 + x762*x159 + x762*x167 + x762*x174 + x762*x181
- x769*x197 - x776*x235 + x564*x275 - x762*x563 - 0.6*x17 - 0.5*x49
- 0.2*x81 =E= 0;
e1755.. (-x749*x115) - x756*x153 + x763*x183 + x763*x191 + x763*x199 + x763*
x206 + x763*x213 - x770*x237 - x763*x527 + x764*x565 - 0.6*x19
- 0.5*x51 - 0.2*x83 =E= 0;
e1756.. (-x750*x116) - x757*x154 + x764*x184 + x764*x192 + x764*x200 + x764*
x207 + x764*x214 - x771*x238 - x764*x565 + x765*x566 - 0.6*x20
- 0.5*x52 - 0.2*x84 =E= 0;
e1757.. (-x751*x117) - x758*x155 + x765*x185 + x765*x193 + x765*x201 + x765*
x208 + x765*x215 - x772*x239 - x765*x566 + x766*x567 - 0.6*x21
- 0.5*x53 - 0.2*x85 =E= 0;
e1758.. (-x752*x118) - x759*x156 + x766*x186 + x766*x194 + x766*x202 + x766*
x209 + x766*x216 - x773*x240 - x766*x567 + x767*x568 - 0.6*x22
- 0.5*x54 - 0.2*x86 =E= 0;
e1759.. (-x753*x119) - x760*x157 + x767*x187 + x767*x195 + x767*x203 + x767*
x210 + x767*x217 - x774*x241 - x767*x568 + x768*x569 - 0.6*x23
- 0.5*x55 - 0.2*x87 =E= 0;
e1760.. (-x754*x120) - x761*x158 + x768*x188 + x768*x196 + x768*x204 + x768*
x211 + x768*x218 - x775*x242 - x768*x569 + x769*x570 - 0.6*x24
- 0.5*x56 - 0.2*x88 =E= 0;
e1761.. (-x755*x121) - x762*x159 + x769*x189 + x769*x197 + x769*x205 + x769*
x212 + x769*x219 - x776*x243 + x571*x276 - x769*x570 - 0.6*x25
- 0.5*x57 - 0.2*x89 =E= 0;
e1762.. (-x749*x123) - x756*x161 - x763*x199 + x770*x221 + x770*x229 + x770*
x237 + x770*x244 + x770*x251 - x770*x528 + x771*x572 - 0.6*x27
- 0.5*x59 - 0.2*x91 =E= 0;
e1763.. (-x750*x124) - x757*x162 - x764*x200 + x771*x222 + x771*x230 + x771*
x238 + x771*x245 + x771*x252 - x771*x572 + x772*x573 - 0.6*x28
- 0.5*x60 - 0.2*x92 =E= 0;
e1764.. (-x751*x125) - x758*x163 - x765*x201 + x772*x223 + x772*x231 + x772*
x239 + x772*x246 + x772*x253 - x772*x573 + x773*x574 - 0.6*x29
- 0.5*x61 - 0.2*x93 =E= 0;
e1765.. (-x752*x126) - x759*x164 - x766*x202 + x773*x224 + x773*x232 + x773*
x240 + x773*x247 + x773*x254 - x773*x574 + x774*x575 - 0.6*x30
- 0.5*x62 - 0.2*x94 =E= 0;
e1766.. (-x753*x127) - x760*x165 - x767*x203 + x774*x225 + x774*x233 + x774*
x241 + x774*x248 + x774*x255 - x774*x575 + x775*x576 - 0.6*x31
- 0.5*x63 - 0.2*x95 =E= 0;
e1767.. (-x754*x128) - x761*x166 - x768*x204 + x775*x226 + x775*x234 + x775*
x242 + x775*x249 + x775*x256 - x775*x576 + x776*x577 - 0.6*x32
- 0.5*x64 - 0.2*x96 =E= 0;
e1768.. (-x755*x129) - x762*x167 - x769*x205 + x776*x227 + x776*x235 + x776*
x243 + x776*x250 + x776*x257 + x578*x277 - x776*x577 - 0.6*x33
- 0.5*x65 - 0.2*x97 =E= 0;
e1769.. x665*x107 + x665*x115 + x665*x123 + x665*x130 + x665*x137 - x672*x145
- x679*x183 - x686*x221 - x665*x525 + x666*x551 - 0.5*x3 - 0.4*x35
- 0.3*x67 =E= 0;
e1770.. x666*x108 + x666*x116 + x666*x124 + x666*x131 + x666*x138 - x673*x146
- x680*x184 - x687*x222 - x666*x551 + x667*x552 - 0.5*x4 - 0.4*x36
- 0.3*x68 =E= 0;
e1771.. x667*x109 + x667*x117 + x667*x125 + x667*x132 + x667*x139 - x674*x147
- x681*x185 - x688*x223 - x667*x552 + x668*x553 - 0.5*x5 - 0.4*x37
- 0.3*x69 =E= 0;
e1772.. x668*x110 + x668*x118 + x668*x126 + x668*x133 + x668*x140 - x675*x148
- x682*x186 - x689*x224 - x668*x553 + x669*x554 - 0.5*x6 - 0.4*x38
- 0.3*x70 =E= 0;
e1773.. x669*x111 + x669*x119 + x669*x127 + x669*x134 + x669*x141 - x676*x149
- x683*x187 - x690*x225 - x669*x554 + x670*x555 - 0.5*x7 - 0.4*x39
- 0.3*x71 =E= 0;
e1774.. x670*x112 + x670*x120 + x670*x128 + x670*x135 + x670*x142 - x677*x150
- x684*x188 - x691*x226 - x670*x555 + x671*x556 - 0.5*x8 - 0.4*x40
- 0.3*x72 =E= 0;
e1775.. x671*x113 + x671*x121 + x671*x129 + x671*x136 + x671*x143 - x678*x151
- x685*x189 - x692*x227 + x557*x278 - x671*x556 - 0.5*x9 - 0.4*x41
- 0.3*x73 =E= 0;
e1776.. x672*x145 - x665*x107 + x672*x153 + x672*x161 + x672*x168 + x672*x175
- x679*x191 - x686*x229 - x672*x526 + x673*x558 - 0.5*x11 - 0.4*x43
- 0.3*x75 =E= 0;
e1777.. x673*x146 - x666*x108 + x673*x154 + x673*x162 + x673*x169 + x673*x176
- x680*x192 - x687*x230 - x673*x558 + x674*x559 - 0.5*x12 - 0.4*x44
- 0.3*x76 =E= 0;
e1778.. x674*x147 - x667*x109 + x674*x155 + x674*x163 + x674*x170 + x674*x177
- x681*x193 - x688*x231 - x674*x559 + x675*x560 - 0.5*x13 - 0.4*x45
- 0.3*x77 =E= 0;
e1779.. x675*x148 - x668*x110 + x675*x156 + x675*x164 + x675*x171 + x675*x178
- x682*x194 - x689*x232 - x675*x560 + x676*x561 - 0.5*x14 - 0.4*x46
- 0.3*x78 =E= 0;
e1780.. x676*x149 - x669*x111 + x676*x157 + x676*x165 + x676*x172 + x676*x179
- x683*x195 - x690*x233 - x676*x561 + x677*x562 - 0.5*x15 - 0.4*x47
- 0.3*x79 =E= 0;
e1781.. x677*x150 - x670*x112 + x677*x158 + x677*x166 + x677*x173 + x677*x180
- x684*x196 - x691*x234 - x677*x562 + x678*x563 - 0.5*x16 - 0.4*x48
- 0.3*x80 =E= 0;
e1782.. x678*x151 - x671*x113 + x678*x159 + x678*x167 + x678*x174 + x678*x181
- x685*x197 - x692*x235 + x564*x279 - x678*x563 - 0.5*x17 - 0.4*x49
- 0.3*x81 =E= 0;
e1783.. (-x665*x115) - x672*x153 + x679*x183 + x679*x191 + x679*x199 + x679*
x206 + x679*x213 - x686*x237 - x679*x527 + x680*x565 - 0.5*x19
- 0.4*x51 - 0.3*x83 =E= 0;
e1784.. (-x666*x116) - x673*x154 + x680*x184 + x680*x192 + x680*x200 + x680*
x207 + x680*x214 - x687*x238 - x680*x565 + x681*x566 - 0.5*x20
- 0.4*x52 - 0.3*x84 =E= 0;
e1785.. (-x667*x117) - x674*x155 + x681*x185 + x681*x193 + x681*x201 + x681*
x208 + x681*x215 - x688*x239 - x681*x566 + x682*x567 - 0.5*x21
- 0.4*x53 - 0.3*x85 =E= 0;
e1786.. (-x668*x118) - x675*x156 + x682*x186 + x682*x194 + x682*x202 + x682*
x209 + x682*x216 - x689*x240 - x682*x567 + x683*x568 - 0.5*x22
- 0.4*x54 - 0.3*x86 =E= 0;
e1787.. (-x669*x119) - x676*x157 + x683*x187 + x683*x195 + x683*x203 + x683*
x210 + x683*x217 - x690*x241 - x683*x568 + x684*x569 - 0.5*x23
- 0.4*x55 - 0.3*x87 =E= 0;
e1788.. (-x670*x120) - x677*x158 + x684*x188 + x684*x196 + x684*x204 + x684*
x211 + x684*x218 - x691*x242 - x684*x569 + x685*x570 - 0.5*x24
- 0.4*x56 - 0.3*x88 =E= 0;
e1789.. (-x671*x121) - x678*x159 + x685*x189 + x685*x197 + x685*x205 + x685*
x212 + x685*x219 - x692*x243 + x571*x280 - x685*x570 - 0.5*x25
- 0.4*x57 - 0.3*x89 =E= 0;
e1790.. (-x665*x123) - x672*x161 - x679*x199 + x686*x221 + x686*x229 + x686*
x237 + x686*x244 + x686*x251 - x686*x528 + x687*x572 - 0.5*x27
- 0.4*x59 - 0.3*x91 =E= 0;
e1791.. (-x666*x124) - x673*x162 - x680*x200 + x687*x222 + x687*x230 + x687*
x238 + x687*x245 + x687*x252 - x687*x572 + x688*x573 - 0.5*x28
- 0.4*x60 - 0.3*x92 =E= 0;
e1792.. (-x667*x125) - x674*x163 - x681*x201 + x688*x223 + x688*x231 + x688*
x239 + x688*x246 + x688*x253 - x688*x573 + x689*x574 - 0.5*x29
- 0.4*x61 - 0.3*x93 =E= 0;
e1793.. (-x668*x126) - x675*x164 - x682*x202 + x689*x224 + x689*x232 + x689*
x240 + x689*x247 + x689*x254 - x689*x574 + x690*x575 - 0.5*x30
- 0.4*x62 - 0.3*x94 =E= 0;
e1794.. (-x669*x127) - x676*x165 - x683*x203 + x690*x225 + x690*x233 + x690*
x241 + x690*x248 + x690*x255 - x690*x575 + x691*x576 - 0.5*x31
- 0.4*x63 - 0.3*x95 =E= 0;
e1795.. (-x670*x128) - x677*x166 - x684*x204 + x691*x226 + x691*x234 + x691*
x242 + x691*x249 + x691*x256 - x691*x576 + x692*x577 - 0.5*x32
- 0.4*x64 - 0.3*x96 =E= 0;
e1796.. (-x671*x129) - x678*x167 - x685*x205 + x692*x227 + x692*x235 + x692*
x243 + x692*x250 + x692*x257 + x578*x281 - x692*x577 - 0.5*x33
- 0.4*x65 - 0.3*x97 =E= 0;
* set non-default bounds
x2.up = 1;
x3.up = 1;
x4.up = 1;
x5.up = 1;
x6.up = 1;
x7.up = 1;
x8.up = 1;
x9.up = 1;
x10.up = 1;
x11.up = 1;
x12.up = 1;
x13.up = 1;
x14.up = 1;
x15.up = 1;
x16.up = 1;
x17.up = 1;
x18.up = 1;
x19.up = 1;
x20.up = 1;
x21.up = 1;
x22.up = 1;
x23.up = 1;
x24.up = 1;
x25.up = 1;
x26.up = 1;
x27.up = 1;
x28.up = 1;
x29.up = 1;
x30.up = 1;
x31.up = 1;
x32.up = 1;
x33.up = 1;
x34.up = 1;
x35.up = 1;
x36.up = 1;
x37.up = 1;
x38.up = 1;
x39.up = 1;
x40.up = 1;
x41.up = 1;
x42.up = 1;
x43.up = 1;
x44.up = 1;
x45.up = 1;
x46.up = 1;
x47.up = 1;
x48.up = 1;
x49.up = 1;
x50.up = 1;
x51.up = 1;
x52.up = 1;
x53.up = 1;
x54.up = 1;
x55.up = 1;
x56.up = 1;
x57.up = 1;
x58.up = 1;
x59.up = 1;
x60.up = 1;
x61.up = 1;
x62.up = 1;
x63.up = 1;
x64.up = 1;
x65.up = 1;
x66.up = 1;
x67.up = 1;
x68.up = 1;
x69.up = 1;
x70.up = 1;
x71.up = 1;
x72.up = 1;
x73.up = 1;
x74.up = 1;
x75.up = 1;
x76.up = 1;
x77.up = 1;
x78.up = 1;
x79.up = 1;
x80.up = 1;
x81.up = 1;
x82.up = 1;
x83.up = 1;
x84.up = 1;
x85.up = 1;
x86.up = 1;
x87.up = 1;
x88.up = 1;
x89.up = 1;
x90.up = 1;
x91.up = 1;
x92.up = 1;
x93.up = 1;
x94.up = 1;
x95.up = 1;
x96.up = 1;
x97.up = 1;
x98.up = 1;
x99.up = 1;
x100.up = 1;
x101.up = 1;
x102.up = 1;
x103.up = 1;
x104.up = 1;
x105.up = 1;
x106.up = 1;
x107.up = 1;
x108.up = 1;
x109.up = 1;
x110.up = 1;
x111.up = 1;
x112.up = 1;
x113.up = 1;
x114.up = 1;
x115.up = 1;
x116.up = 1;
x117.up = 1;
x118.up = 1;
x119.up = 1;
x120.up = 1;
x121.up = 1;
x122.up = 1;
x123.up = 1;
x124.up = 1;
x125.up = 1;
x126.up = 1;
x127.up = 1;
x128.up = 1;
x129.up = 1;
x130.up = 1;
x131.up = 1;
x132.up = 1;
x133.up = 1;
x134.up = 1;
x135.up = 1;
x136.up = 1;
x137.up = 1;
x138.up = 1;
x139.up = 1;
x140.up = 1;
x141.up = 1;
x142.up = 1;
x143.up = 1;
x144.up = 1;
x145.up = 1;
x146.up = 1;
x147.up = 1;
x148.up = 1;
x149.up = 1;
x150.up = 1;
x151.up = 1;
x152.up = 1;
x153.up = 1;
x154.up = 1;
x155.up = 1;
x156.up = 1;
x157.up = 1;
x158.up = 1;
x159.up = 1;
x160.up = 1;
x161.up = 1;
x162.up = 1;
x163.up = 1;
x164.up = 1;
x165.up = 1;
x166.up = 1;
x167.up = 1;
x168.up = 1;
x169.up = 1;
x170.up = 1;
x171.up = 1;
x172.up = 1;
x173.up = 1;
x174.up = 1;
x175.up = 1;
x176.up = 1;
x177.up = 1;
x178.up = 1;
x179.up = 1;
x180.up = 1;
x181.up = 1;
x182.up = 1;
x183.up = 1;
x184.up = 1;
x185.up = 1;
x186.up = 1;
x187.up = 1;
x188.up = 1;
x189.up = 1;
x190.up = 1;
x191.up = 1;
x192.up = 1;
x193.up = 1;
x194.up = 1;
x195.up = 1;
x196.up = 1;
x197.up = 1;
x198.up = 1;
x199.up = 1;
x200.up = 1;
x201.up = 1;
x202.up = 1;
x203.up = 1;
x204.up = 1;
x205.up = 1;
x206.up = 1;
x207.up = 1;
x208.up = 1;
x209.up = 1;
x210.up = 1;
x211.up = 1;
x212.up = 1;
x213.up = 1;
x214.up = 1;
x215.up = 1;
x216.up = 1;
x217.up = 1;
x218.up = 1;
x219.up = 1;
x220.up = 1;
x221.up = 1;
x222.up = 1;
x223.up = 1;
x224.up = 1;
x225.up = 1;
x226.up = 1;
x227.up = 1;
x228.up = 1;
x229.up = 1;
x230.up = 1;
x231.up = 1;
x232.up = 1;
x233.up = 1;
x234.up = 1;
x235.up = 1;
x236.up = 1;
x237.up = 1;
x238.up = 1;
x239.up = 1;
x240.up = 1;
x241.up = 1;
x242.up = 1;
x243.up = 1;
x244.up = 1;
x245.up = 1;
x246.up = 1;
x247.up = 1;
x248.up = 1;
x249.up = 1;
x250.up = 1;
x251.up = 1;
x252.up = 1;
x253.up = 1;
x254.up = 1;
x255.up = 1;
x256.up = 1;
x257.up = 1;
x258.up = 0.9;
x259.up = 0.9;
x260.up = 0.9;
x261.up = 0.9;
x262.up = 0.9;
x263.up = 0.9;
x264.up = 0.9;
x265.up = 0.9;
x266.up = 1;
x267.up = 1;
x268.up = 1;
x269.up = 1;
x270.up = 0.6;
x271.up = 0.6;
x272.up = 0.6;
x273.up = 0.6;
x274.up = 0.9;
x275.up = 0.9;
x276.up = 0.9;
x277.up = 0.9;
x278.up = 0.5;
x279.up = 0.5;
x280.up = 0.5;
x281.up = 0.5;
x522.up = 2;
x523.up = 2;
x524.up = 2;
x525.up = 2;
x526.up = 2;
x527.up = 2;
x528.up = 2;
x529.up = 2;
x530.up = 2;
x531.up = 2;
x532.up = 2;
x533.up = 2;
x534.up = 2;
x535.up = 2;
x536.up = 2;
x537.up = 2;
x538.up = 2;
x539.up = 2;
x540.up = 2;
x541.up = 2;
x542.up = 2;
x543.up = 2;
x544.up = 2;
x545.up = 2;
x546.up = 2;
x547.up = 2;
x548.up = 2;
x549.up = 2;
x550.up = 2;
x551.up = 2;
x552.up = 2;
x553.up = 2;
x554.up = 2;
x555.up = 2;
x556.up = 2;
x557.up = 2;
x558.up = 2;
x559.up = 2;
x560.up = 2;
x561.up = 2;
x562.up = 2;
x563.up = 2;
x564.up = 2;
x565.up = 2;
x566.up = 2;
x567.up = 2;
x568.up = 2;
x569.up = 2;
x570.up = 2;
x571.up = 2;
x572.up = 2;
x573.up = 2;
x574.up = 2;
x575.up = 2;
x576.up = 2;
x577.up = 2;
x578.up = 2;
x579.up = 2;
x580.up = 2;
x581.up = 2;
x582.up = 2;
x583.up = 2;
x584.up = 2;
x585.up = 2;
x586.up = 2;
x587.up = 2;
x588.up = 2;
x589.up = 2;
x590.up = 2;
x591.up = 2;
x592.up = 2;
x609.up = 0.9;
x610.up = 0.9;
x611.up = 0.9;
x612.up = 0.9;
x613.up = 0.9;
x614.up = 0.9;
x615.up = 0.9;
x616.up = 0.9;
x617.up = 0.9;
x618.up = 0.9;
x619.up = 0.9;
x620.up = 0.9;
x621.up = 0.9;
x622.up = 0.9;
x623.up = 0.9;
x624.up = 0.9;
x625.up = 0.9;
x626.up = 0.9;
x627.up = 0.9;
x628.up = 0.9;
x629.up = 0.9;
x630.up = 0.9;
x631.up = 0.9;
x632.up = 0.9;
x633.up = 0.9;
x634.up = 0.9;
x635.up = 0.9;
x636.up = 0.9;
x637.up = 1;
x638.up = 1;
x639.up = 1;
x640.up = 1;
x641.up = 1;
x642.up = 1;
x643.up = 1;
x644.up = 1;
x645.up = 1;
x646.up = 1;
x647.up = 1;
x648.up = 1;
x649.up = 1;
x650.up = 1;
x651.up = 1;
x652.up = 1;
x653.up = 1;
x654.up = 1;
x655.up = 1;
x656.up = 1;
x657.up = 1;
x658.up = 1;
x659.up = 1;
x660.up = 1;
x661.up = 1;
x662.up = 1;
x663.up = 1;
x664.up = 1;
x665.up = 0.5;
x666.up = 0.5;
x667.up = 0.5;
x668.up = 0.5;
x669.up = 0.5;
x670.up = 0.5;
x671.up = 0.5;
x672.up = 0.5;
x673.up = 0.5;
x674.up = 0.5;
x675.up = 0.5;
x676.up = 0.5;
x677.up = 0.5;
x678.up = 0.5;
x679.up = 0.5;
x680.up = 0.5;
x681.up = 0.5;
x682.up = 0.5;
x683.up = 0.5;
x684.up = 0.5;
x685.up = 0.5;
x686.up = 0.5;
x687.up = 0.5;
x688.up = 0.5;
x689.up = 0.5;
x690.up = 0.5;
x691.up = 0.5;
x692.up = 0.5;
x693.up = 0.9;
x694.up = 0.9;
x695.up = 0.9;
x696.up = 0.9;
x697.up = 0.9;
x698.up = 0.9;
x699.up = 0.9;
x700.up = 0.9;
x701.up = 0.9;
x702.up = 0.9;
x703.up = 0.9;
x704.up = 0.9;
x705.up = 0.9;
x706.up = 0.9;
x707.up = 0.9;
x708.up = 0.9;
x709.up = 0.9;
x710.up = 0.9;
x711.up = 0.9;
x712.up = 0.9;
x713.up = 0.9;
x714.up = 0.9;
x715.up = 0.9;
x716.up = 0.9;
x717.up = 0.9;
x718.up = 0.9;
x719.up = 0.9;
x720.up = 0.9;
x721.up = 0.6;
x722.up = 0.6;
x723.up = 0.6;
x724.up = 0.6;
x725.up = 0.6;
x726.up = 0.6;
x727.up = 0.6;
x728.up = 0.6;
x729.up = 0.6;
x730.up = 0.6;
x731.up = 0.6;
x732.up = 0.6;
x733.up = 0.6;
x734.up = 0.6;
x735.up = 0.6;
x736.up = 0.6;
x737.up = 0.6;
x738.up = 0.6;
x739.up = 0.6;
x740.up = 0.6;
x741.up = 0.6;
x742.up = 0.6;
x743.up = 0.6;
x744.up = 0.6;
x745.up = 0.6;
x746.up = 0.6;
x747.up = 0.6;
x748.up = 0.6;
x749.up = 0.9;
x750.up = 0.9;
x751.up = 0.9;
x752.up = 0.9;
x753.up = 0.9;
x754.up = 0.9;
x755.up = 0.9;
x756.up = 0.9;
x757.up = 0.9;
x758.up = 0.9;
x759.up = 0.9;
x760.up = 0.9;
x761.up = 0.9;
x762.up = 0.9;
x763.up = 0.9;
x764.up = 0.9;
x765.up = 0.9;
x766.up = 0.9;
x767.up = 0.9;
x768.up = 0.9;
x769.up = 0.9;
x770.up = 0.9;
x771.up = 0.9;
x772.up = 0.9;
x773.up = 0.9;
x774.up = 0.9;
x775.up = 0.9;
x776.up = 0.9;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% maximizing objvar;
Last updated: 2024-12-17 Git hash: 8eaceb91