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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*       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-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0