MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance mpbp_04
| Formatsⓘ | ams gms lp mod nl osil pip py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | |
| Referencesⓘ | Ovalle, Daniel, Bhatia, Arsh, Laird, Carl D, and Grossmann, I E, A Logic-Based Decomposition for the Global Optimization of the Multiperiod Blending Problem Using Symmetry-Breaking Cuts, Industrial & Engineering Chemistry Research, 65:7, 2026, 3981-3998. |
| Applicationⓘ | Multiperiod Blend Scheduling |
| Added to libraryⓘ | 18 Mar 2026 |
| Problem typeⓘ | MBQCP |
| #Variablesⓘ | 954 |
| #Binary Variablesⓘ | 240 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 560 |
| #Nonlinear Binary Variablesⓘ | 0 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | max |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 480 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 2136 |
| #Linear Constraintsⓘ | 1776 |
| #Quadratic Constraintsⓘ | 360 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 0 |
| Operands in Gen. Nonlin. Functionsⓘ | |
| Constraints curvatureⓘ | indefinite |
| #Nonzeros in Jacobianⓘ | 7586 |
| #Nonlinear Nonzeros in Jacobianⓘ | 3120 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 2400 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 0 |
| #Blocks in Hessian of Lagrangianⓘ | 60 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 7 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 11 |
| Average blocksize in Hessian of Lagrangianⓘ | 9.333333 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.6000e-01 |
| Maximal coefficientⓘ | 5.0693e+01 |
| Infeasibility of initial pointⓘ | 34 |
| Sparsity Jacobianⓘ |  |
| Sparsity Hessian of Lagrangianⓘ |  |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 2137 457 0 1680 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 955 715 240 0 0 0 0 0
* FX 36
*
* Nonzero counts
* Total const NL
* 8067 4947 3120
* Solve m using MINLP maximizing objvar;
Variables
b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54,b55,b56,b57,b58,b59,
b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,
b79,b80,b81,b82,b83,b84,b85,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,
b98,b99,b100,b101,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,
b113,b114,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,
b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142,
b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155,b156,b157,
b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168,b169,b170,b171,b172,
b173,b174,b175,b176,b177,b178,b179,b180,b181,b182,b183,b184,b185,b186,b187,
b188,b189,b190,b191,b192,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,
b203,b204,b205,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,
b218,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,
b233,b234,b235,b236,b237,b238,b239,b240,x241,x242,x243,x244,x245,x246,x247,
x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261,x262,
x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276,x277,
x278,x279,x280,x281,x282,x283,x284,x285,x286,x287,x288,x289,x290,x291,x292,
x293,x294,x295,x296,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,
x308,x309,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,
x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337,
x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351,x352,
x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366,x367,
x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381,x382,
x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397,
x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,
x413,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,
x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442,
x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456,x457,
x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471,x472,
x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484,x485,x486,x487,
x488,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,
x503,x504,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,
x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532,
x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546,x547,
x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561,x562,
x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576,x577,
x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592,
x593,x594,x595,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,
x608,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,
x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636,x637,
x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650,x651,x652,
x653,x654,x655,x656,x657,x658,x659,x660,x661,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,x777,x778,x779,x780,x781,x782,x783,x784,x785,x786,x787,
x788,x789,x790,x791,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,
x803,x804,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,
x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831,x832,
x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844,x845,x846,x847,
x848,x849,x850,x851,x852,x853,x854,x855,x856,x857,x858,x859,x860,x861,x862,
x863,x864,x865,x866,x867,x868,x869,x870,x871,x872,x873,x874,x875,x876,x877,
x878,x879,x880,x881,x882,x883,x884,x885,x886,x887,x888,x889,x890,x891,x892,
x893,x894,x895,x896,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,
x908,x909,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921,x922,
x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934,x935,x936,x937,
x938,x939,x940,x941,x942,x943,x944,x945,x946,x947,x948,objvar,x950,x951,
x952,x953,x954,x955;
Binary Variables
b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54,b55,b56,b57,b58,b59,
b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,
b79,b80,b81,b82,b83,b84,b85,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,
b98,b99,b100,b101,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,
b113,b114,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,
b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142,
b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155,b156,b157,
b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168,b169,b170,b171,b172,
b173,b174,b175,b176,b177,b178,b179,b180,b181,b182,b183,b184,b185,b186,b187,
b188,b189,b190,b191,b192,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,
b203,b204,b205,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,
b218,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,
b233,b234,b235,b236,b237,b238,b239,b240;
Equations
e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19,e20,e21,
e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36,e37,e38,e39,e40,
e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53,e54,e55,e56,e57,e58,e59,
e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70,e71,e72,e73,e74,e75,e76,e77,e78,
e79,e80,e81,e82,e83,e84,e85,e86,e87,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,
e98,e99,e100,e101,e102,e103,e104,e105,e106,e107,e108,e109,e110,e111,e112,
e113,e114,e115,e116,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,
e128,e129,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142,
e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155,e156,e157,
e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168,e169,e170,e171,e172,
e173,e174,e175,e176,e177,e178,e179,e180,e181,e182,e183,e184,e185,e186,e187,
e188,e189,e190,e191,e192,e193,e194,e195,e196,e197,e198,e199,e200,e201,e202,
e203,e204,e205,e206,e207,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,
e218,e219,e220,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,
e233,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246,e247,
e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259,e260,e261,e262,
e263,e264,e265,e266,e267,e268,e269,e270,e271,e272,e273,e274,e275,e276,e277,
e278,e279,e280,e281,e282,e283,e284,e285,e286,e287,e288,e289,e290,e291,e292,
e293,e294,e295,e296,e297,e298,e299,e300,e301,e302,e303,e304,e305,e306,e307,
e308,e309,e310,e311,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,
e323,e324,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337,
e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350,e351,e352,
e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363,e364,e365,e366,e367,
e368,e369,e370,e371,e372,e373,e374,e375,e376,e377,e378,e379,e380,e381,e382,
e383,e384,e385,e386,e387,e388,e389,e390,e391,e392,e393,e394,e395,e396,e397,
e398,e399,e400,e401,e402,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,
e413,e414,e415,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,
e428,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441,e442,
e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454,e455,e456,e457,
e458,e459,e460,e461,e462,e463,e464,e465,e466,e467,e468,e469,e470,e471,e472,
e473,e474,e475,e476,e477,e478,e479,e480,e481,e482,e483,e484,e485,e486,e487,
e488,e489,e490,e491,e492,e493,e494,e495,e496,e497,e498,e499,e500,e501,e502,
e503,e504,e505,e506,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,
e518,e519,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532,
e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545,e546,e547,
e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558,e559,e560,e561,e562,
e563,e564,e565,e566,e567,e568,e569,e570,e571,e572,e573,e574,e575,e576,e577,
e578,e579,e580,e581,e582,e583,e584,e585,e586,e587,e588,e589,e590,e591,e592,
e593,e594,e595,e596,e597,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,
e608,e609,e610,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,
e623,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636,e637,
e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649,e650,e651,e652,
e653,e654,e655,e656,e657,e658,e659,e660,e661,e662,e663,e664,e665,e666,e667,
e668,e669,e670,e671,e672,e673,e674,e675,e676,e677,e678,e679,e680,e681,e682,
e683,e684,e685,e686,e687,e688,e689,e690,e691,e692,e693,e694,e695,e696,e697,
e698,e699,e700,e701,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,
e713,e714,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727,
e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740,e741,e742,
e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753,e754,e755,e756,e757,
e758,e759,e760,e761,e762,e763,e764,e765,e766,e767,e768,e769,e770,e771,e772,
e773,e774,e775,e776,e777,e778,e779,e780,e781,e782,e783,e784,e785,e786,e787,
e788,e789,e790,e791,e792,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,
e803,e804,e805,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,
e818,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831,e832,
e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844,e845,e846,e847,
e848,e849,e850,e851,e852,e853,e854,e855,e856,e857,e858,e859,e860,e861,e862,
e863,e864,e865,e866,e867,e868,e869,e870,e871,e872,e873,e874,e875,e876,e877,
e878,e879,e880,e881,e882,e883,e884,e885,e886,e887,e888,e889,e890,e891,e892,
e893,e894,e895,e896,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,
e908,e909,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922,
e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935,e936,e937,
e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948,e949,e950,e951,e952,
e953,e954,e955,e956,e957,e958,e959,e960,e961,e962,e963,e964,e965,e966,e967,
e968,e969,e970,e971,e972,e973,e974,e975,e976,e977,e978,e979,e980,e981,e982,
e983,e984,e985,e986,e987,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,
e998,e999,e1000,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,
e1011,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022,
e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033,e1034,
e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044,e1045,e1046,
e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055,e1056,e1057,e1058,
e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066,e1067,e1068,e1069,e1070,
e1071,e1072,e1073,e1074,e1075,e1076,e1077,e1078,e1079,e1080,e1081,e1082,
e1083,e1084,e1085,e1086,e1087,e1088,e1089,e1090,e1091,e1092,e1093,e1094,
e1095,e1096,e1097,e1098,e1099,e1100,e1101,e1102,e1103,e1104,e1105,e1106,
e1107,e1108,e1109,e1110,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,
e1119,e1120,e1121,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,
e1131,e1132,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,
e1143,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154,
e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165,e1166,
e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176,e1177,e1178,
e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187,e1188,e1189,e1190,
e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198,e1199,e1200,e1201,e1202,
e1203,e1204,e1205,e1206,e1207,e1208,e1209,e1210,e1211,e1212,e1213,e1214,
e1215,e1216,e1217,e1218,e1219,e1220,e1221,e1222,e1223,e1224,e1225,e1226,
e1227,e1228,e1229,e1230,e1231,e1232,e1233,e1234,e1235,e1236,e1237,e1238,
e1239,e1240,e1241,e1242,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,
e1251,e1252,e1253,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,
e1263,e1264,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,
e1275,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286,
e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297,e1298,
e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308,e1309,e1310,
e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319,e1320,e1321,e1322,
e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330,e1331,e1332,e1333,e1334,
e1335,e1336,e1337,e1338,e1339,e1340,e1341,e1342,e1343,e1344,e1345,e1346,
e1347,e1348,e1349,e1350,e1351,e1352,e1353,e1354,e1355,e1356,e1357,e1358,
e1359,e1360,e1361,e1362,e1363,e1364,e1365,e1366,e1367,e1368,e1369,e1370,
e1371,e1372,e1373,e1374,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,
e1383,e1384,e1385,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,
e1395,e1396,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,
e1407,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418,
e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429,e1430,
e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440,e1441,e1442,
e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451,e1452,e1453,e1454,
e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462,e1463,e1464,e1465,e1466,
e1467,e1468,e1469,e1470,e1471,e1472,e1473,e1474,e1475,e1476,e1477,e1478,
e1479,e1480,e1481,e1482,e1483,e1484,e1485,e1486,e1487,e1488,e1489,e1490,
e1491,e1492,e1493,e1494,e1495,e1496,e1497,e1498,e1499,e1500,e1501,e1502,
e1503,e1504,e1505,e1506,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,
e1515,e1516,e1517,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,
e1527,e1528,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,
e1539,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550,
e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561,e1562,
e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572,e1573,e1574,
e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583,e1584,e1585,e1586,
e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594,e1595,e1596,e1597,e1598,
e1599,e1600,e1601,e1602,e1603,e1604,e1605,e1606,e1607,e1608,e1609,e1610,
e1611,e1612,e1613,e1614,e1615,e1616,e1617,e1618,e1619,e1620,e1621,e1622,
e1623,e1624,e1625,e1626,e1627,e1628,e1629,e1630,e1631,e1632,e1633,e1634,
e1635,e1636,e1637,e1638,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,
e1647,e1648,e1649,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,
e1659,e1660,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,
e1671,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682,
e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693,e1694,
e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704,e1705,e1706,
e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715,e1716,e1717,e1718,
e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726,e1727,e1728,e1729,e1730,
e1731,e1732,e1733,e1734,e1735,e1736,e1737,e1738,e1739,e1740,e1741,e1742,
e1743,e1744,e1745,e1746,e1747,e1748,e1749,e1750,e1751,e1752,e1753,e1754,
e1755,e1756,e1757,e1758,e1759,e1760,e1761,e1762,e1763,e1764,e1765,e1766,
e1767,e1768,e1769,e1770,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,
e1779,e1780,e1781,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,
e1791,e1792,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,
e1803,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814,
e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825,e1826,
e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836,e1837,e1838,
e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847,e1848,e1849,e1850,
e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858,e1859,e1860,e1861,e1862,
e1863,e1864,e1865,e1866,e1867,e1868,e1869,e1870,e1871,e1872,e1873,e1874,
e1875,e1876,e1877,e1878,e1879,e1880,e1881,e1882,e1883,e1884,e1885,e1886,
e1887,e1888,e1889,e1890,e1891,e1892,e1893,e1894,e1895,e1896,e1897,e1898,
e1899,e1900,e1901,e1902,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,
e1911,e1912,e1913,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,
e1923,e1924,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,
e1935,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946,
e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957,e1958,
e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968,e1969,e1970,
e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979,e1980,e1981,e1982,
e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990,e1991,e1992,e1993,e1994,
e1995,e1996,e1997,e1998,e1999,e2000,e2001,e2002,e2003,e2004,e2005,e2006,
e2007,e2008,e2009,e2010,e2011,e2012,e2013,e2014,e2015,e2016,e2017,e2018,
e2019,e2020,e2021,e2022,e2023,e2024,e2025,e2026,e2027,e2028,e2029,e2030,
e2031,e2032,e2033,e2034,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,
e2043,e2044,e2045,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,
e2055,e2056,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,
e2067,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078,
e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089,e2090,
e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100,e2101,e2102,
e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111,e2112,e2113,e2114,
e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122,e2123,e2124,e2125,e2126,
e2127,e2128,e2129,e2130,e2131,e2132,e2133,e2134,e2135,e2136,e2137;
e1.. b1 - x241 =L= 0;
e2.. b2 - x242 =L= 0;
e3.. b3 - x243 =L= 0;
e4.. b4 - x244 =L= 0;
e5.. b5 - x245 =L= 0;
e6.. b6 - x246 =L= 0;
e7.. b7 - x247 =L= 0;
e8.. b8 - x248 =L= 0;
e9.. b9 - x249 =L= 0;
e10.. b10 - x250 =L= 0;
e11.. b11 - x251 =L= 0;
e12.. b12 - x252 =L= 0;
e13.. b13 - x253 =L= 0;
e14.. b14 - x254 =L= 0;
e15.. b15 - x255 =L= 0;
e16.. b16 - x256 =L= 0;
e17.. b17 - x257 =L= 0;
e18.. b18 - x258 =L= 0;
e19.. b19 - x259 =L= 0;
e20.. b20 - x260 =L= 0;
e21.. b21 - x261 =L= 0;
e22.. b22 - x262 =L= 0;
e23.. b23 - x263 =L= 0;
e24.. b24 - x264 =L= 0;
e25.. b25 - x265 =L= 0;
e26.. b26 - x266 =L= 0;
e27.. b27 - x267 =L= 0;
e28.. b28 - x268 =L= 0;
e29.. b29 - x269 =L= 0;
e30.. b30 - x270 =L= 0;
e31.. b31 - x271 =L= 0;
e32.. b32 - x272 =L= 0;
e33.. b33 - x273 =L= 0;
e34.. b34 - x274 =L= 0;
e35.. b35 - x275 =L= 0;
e36.. b36 - x276 =L= 0;
e37.. b37 - x277 =L= 0;
e38.. b38 - x278 =L= 0;
e39.. b39 - x279 =L= 0;
e40.. b40 - x280 =L= 0;
e41.. b41 - x281 =L= 0;
e42.. b42 - x282 =L= 0;
e43.. b43 - x283 =L= 0;
e44.. b44 - x284 =L= 0;
e45.. b45 - x285 =L= 0;
e46.. b46 - x286 =L= 0;
e47.. b47 - x287 =L= 0;
e48.. b48 - x288 =L= 0;
e49.. b49 - x289 =L= 0;
e50.. b50 - x290 =L= 0;
e51.. b51 - x291 =L= 0;
e52.. b52 - x292 =L= 0;
e53.. b53 - x293 =L= 0;
e54.. b54 - x294 =L= 0;
e55.. b55 - x295 =L= 0;
e56.. b56 - x296 =L= 0;
e57.. b57 - x297 =L= 0;
e58.. b58 - x298 =L= 0;
e59.. b59 - x299 =L= 0;
e60.. b60 - x300 =L= 0;
e61.. b61 - x301 =L= 0;
e62.. b62 - x302 =L= 0;
e63.. b63 - x303 =L= 0;
e64.. b64 - x304 =L= 0;
e65.. b65 - x305 =L= 0;
e66.. b66 - x306 =L= 0;
e67.. b67 - x307 =L= 0;
e68.. b68 - x308 =L= 0;
e69.. b69 - x309 =L= 0;
e70.. b70 - x310 =L= 0;
e71.. b71 - x311 =L= 0;
e72.. b72 - x312 =L= 0;
e73.. b73 - x313 =L= 0;
e74.. b74 - x314 =L= 0;
e75.. b75 - x315 =L= 0;
e76.. b76 - x316 =L= 0;
e77.. b77 - x317 =L= 0;
e78.. b78 - x318 =L= 0;
e79.. b79 - x319 =L= 0;
e80.. b80 - x320 =L= 0;
e81.. b81 - x321 =L= 0;
e82.. b82 - x322 =L= 0;
e83.. b83 - x323 =L= 0;
e84.. b84 - x324 =L= 0;
e85.. b85 - x325 =L= 0;
e86.. b86 - x326 =L= 0;
e87.. b87 - x327 =L= 0;
e88.. b88 - x328 =L= 0;
e89.. b89 - x329 =L= 0;
e90.. b90 - x330 =L= 0;
e91.. b91 - x331 =L= 0;
e92.. b92 - x332 =L= 0;
e93.. b93 - x333 =L= 0;
e94.. b94 - x334 =L= 0;
e95.. b95 - x335 =L= 0;
e96.. b96 - x336 =L= 0;
e97.. b97 - x337 =L= 0;
e98.. b98 - x338 =L= 0;
e99.. b99 - x339 =L= 0;
e100.. b100 - x340 =L= 0;
e101.. b101 - x341 =L= 0;
e102.. b102 - x342 =L= 0;
e103.. b103 - x343 =L= 0;
e104.. b104 - x344 =L= 0;
e105.. b105 - x345 =L= 0;
e106.. b106 - x346 =L= 0;
e107.. b107 - x347 =L= 0;
e108.. b108 - x348 =L= 0;
e109.. b109 - x349 =L= 0;
e110.. b110 - x350 =L= 0;
e111.. b111 - x351 =L= 0;
e112.. b112 - x352 =L= 0;
e113.. b113 - x353 =L= 0;
e114.. b114 - x354 =L= 0;
e115.. b115 - x355 =L= 0;
e116.. b116 - x356 =L= 0;
e117.. b117 - x357 =L= 0;
e118.. b118 - x358 =L= 0;
e119.. b119 - x359 =L= 0;
e120.. b120 - x360 =L= 0;
e121.. b121 - x361 =L= 0;
e122.. b122 - x362 =L= 0;
e123.. b123 - x363 =L= 0;
e124.. b124 - x364 =L= 0;
e125.. b125 - x365 =L= 0;
e126.. b126 - x366 =L= 0;
e127.. b127 - x367 =L= 0;
e128.. b128 - x368 =L= 0;
e129.. b129 - x369 =L= 0;
e130.. b130 - x370 =L= 0;
e131.. b131 - x371 =L= 0;
e132.. b132 - x372 =L= 0;
e133.. b133 - x373 =L= 0;
e134.. b134 - x374 =L= 0;
e135.. b135 - x375 =L= 0;
e136.. b136 - x376 =L= 0;
e137.. b137 - x377 =L= 0;
e138.. b138 - x378 =L= 0;
e139.. b139 - x379 =L= 0;
e140.. b140 - x380 =L= 0;
e141.. b141 - x381 =L= 0;
e142.. b142 - x382 =L= 0;
e143.. b143 - x383 =L= 0;
e144.. b144 - x384 =L= 0;
e145.. b145 - x385 =L= 0;
e146.. b146 - x386 =L= 0;
e147.. b147 - x387 =L= 0;
e148.. b148 - x388 =L= 0;
e149.. b149 - x389 =L= 0;
e150.. b150 - x390 =L= 0;
e151.. b151 - x391 =L= 0;
e152.. b152 - x392 =L= 0;
e153.. b153 - x393 =L= 0;
e154.. b154 - x394 =L= 0;
e155.. b155 - x395 =L= 0;
e156.. b156 - x396 =L= 0;
e157.. b157 - x397 =L= 0;
e158.. b158 - x398 =L= 0;
e159.. b159 - x399 =L= 0;
e160.. b160 - x400 =L= 0;
e161.. b161 - x401 =L= 0;
e162.. b162 - x402 =L= 0;
e163.. b163 - x403 =L= 0;
e164.. b164 - x404 =L= 0;
e165.. b165 - x405 =L= 0;
e166.. b166 - x406 =L= 0;
e167.. b167 - x407 =L= 0;
e168.. b168 - x408 =L= 0;
e169.. b169 - x409 =L= 0;
e170.. b170 - x410 =L= 0;
e171.. b171 - x411 =L= 0;
e172.. b172 - x412 =L= 0;
e173.. b173 - x413 =L= 0;
e174.. b174 - x414 =L= 0;
e175.. b175 - x415 =L= 0;
e176.. b176 - x416 =L= 0;
e177.. b177 - x417 =L= 0;
e178.. b178 - x418 =L= 0;
e179.. b179 - x419 =L= 0;
e180.. b180 - x420 =L= 0;
e181.. b181 - x421 =L= 0;
e182.. b182 - x422 =L= 0;
e183.. b183 - x423 =L= 0;
e184.. b184 - x424 =L= 0;
e185.. b185 - x425 =L= 0;
e186.. b186 - x426 =L= 0;
e187.. b187 - x427 =L= 0;
e188.. b188 - x428 =L= 0;
e189.. b189 - x429 =L= 0;
e190.. b190 - x430 =L= 0;
e191.. b191 - x431 =L= 0;
e192.. b192 - x432 =L= 0;
e193.. b193 - x433 =L= 0;
e194.. b194 - x434 =L= 0;
e195.. b195 - x435 =L= 0;
e196.. b196 - x436 =L= 0;
e197.. b197 - x437 =L= 0;
e198.. b198 - x438 =L= 0;
e199.. b199 - x439 =L= 0;
e200.. b200 - x440 =L= 0;
e201.. b201 - x441 =L= 0;
e202.. b202 - x442 =L= 0;
e203.. b203 - x443 =L= 0;
e204.. b204 - x444 =L= 0;
e205.. b205 - x445 =L= 0;
e206.. b206 - x446 =L= 0;
e207.. b207 - x447 =L= 0;
e208.. b208 - x448 =L= 0;
e209.. b209 - x449 =L= 0;
e210.. b210 - x450 =L= 0;
e211.. b211 - x451 =L= 0;
e212.. b212 - x452 =L= 0;
e213.. b213 - x453 =L= 0;
e214.. b214 - x454 =L= 0;
e215.. b215 - x455 =L= 0;
e216.. b216 - x456 =L= 0;
e217.. b217 - x457 =L= 0;
e218.. b218 - x458 =L= 0;
e219.. b219 - x459 =L= 0;
e220.. b220 - x460 =L= 0;
e221.. b221 - x461 =L= 0;
e222.. b222 - x462 =L= 0;
e223.. b223 - x463 =L= 0;
e224.. b224 - x464 =L= 0;
e225.. b225 - x465 =L= 0;
e226.. b226 - x466 =L= 0;
e227.. b227 - x467 =L= 0;
e228.. b228 - x468 =L= 0;
e229.. b229 - x469 =L= 0;
e230.. b230 - x470 =L= 0;
e231.. b231 - x471 =L= 0;
e232.. b232 - x472 =L= 0;
e233.. b233 - x473 =L= 0;
e234.. b234 - x474 =L= 0;
e235.. b235 - x475 =L= 0;
e236.. b236 - x476 =L= 0;
e237.. b237 - x477 =L= 0;
e238.. b238 - x478 =L= 0;
e239.. b239 - x479 =L= 0;
e240.. b240 - x480 =L= 0;
e241.. -50 * b1 + x241 =L= 0;
e242.. -50 * b2 + x242 =L= 0;
e243.. -50 * b3 + x243 =L= 0;
e244.. -50 * b4 + x244 =L= 0;
e245.. -50 * b5 + x245 =L= 0;
e246.. -50 * b6 + x246 =L= 0;
e247.. -50 * b7 + x247 =L= 0;
e248.. -50 * b8 + x248 =L= 0;
e249.. -50 * b9 + x249 =L= 0;
e250.. -50 * b10 + x250 =L= 0;
e251.. -50 * b11 + x251 =L= 0;
e252.. -50 * b12 + x252 =L= 0;
e253.. -50 * b13 + x253 =L= 0;
e254.. -50 * b14 + x254 =L= 0;
e255.. -50 * b15 + x255 =L= 0;
e256.. -50 * b16 + x256 =L= 0;
e257.. -50 * b17 + x257 =L= 0;
e258.. -50 * b18 + x258 =L= 0;
e259.. -50 * b19 + x259 =L= 0;
e260.. -50 * b20 + x260 =L= 0;
e261.. -50 * b21 + x261 =L= 0;
e262.. -50 * b22 + x262 =L= 0;
e263.. -50 * b23 + x263 =L= 0;
e264.. -50 * b24 + x264 =L= 0;
e265.. -50 * b25 + x265 =L= 0;
e266.. -50 * b26 + x266 =L= 0;
e267.. -50 * b27 + x267 =L= 0;
e268.. -50 * b28 + x268 =L= 0;
e269.. -50 * b29 + x269 =L= 0;
e270.. -50 * b30 + x270 =L= 0;
e271.. -50 * b31 + x271 =L= 0;
e272.. -50 * b32 + x272 =L= 0;
e273.. -50 * b33 + x273 =L= 0;
e274.. -50 * b34 + x274 =L= 0;
e275.. -50 * b35 + x275 =L= 0;
e276.. -50 * b36 + x276 =L= 0;
e277.. -50 * b37 + x277 =L= 0;
e278.. -50 * b38 + x278 =L= 0;
e279.. -50 * b39 + x279 =L= 0;
e280.. -50 * b40 + x280 =L= 0;
e281.. -50 * b41 + x281 =L= 0;
e282.. -50 * b42 + x282 =L= 0;
e283.. -50 * b43 + x283 =L= 0;
e284.. -50 * b44 + x284 =L= 0;
e285.. -50 * b45 + x285 =L= 0;
e286.. -50 * b46 + x286 =L= 0;
e287.. -50 * b47 + x287 =L= 0;
e288.. -50 * b48 + x288 =L= 0;
e289.. -50 * b49 + x289 =L= 0;
e290.. -50 * b50 + x290 =L= 0;
e291.. -50 * b51 + x291 =L= 0;
e292.. -50 * b52 + x292 =L= 0;
e293.. -50 * b53 + x293 =L= 0;
e294.. -50 * b54 + x294 =L= 0;
e295.. -50 * b55 + x295 =L= 0;
e296.. -50 * b56 + x296 =L= 0;
e297.. -50 * b57 + x297 =L= 0;
e298.. -50 * b58 + x298 =L= 0;
e299.. -50 * b59 + x299 =L= 0;
e300.. -50 * b60 + x300 =L= 0;
e301.. -50 * b61 + x301 =L= 0;
e302.. -50 * b62 + x302 =L= 0;
e303.. -50 * b63 + x303 =L= 0;
e304.. -50 * b64 + x304 =L= 0;
e305.. -50 * b65 + x305 =L= 0;
e306.. -50 * b66 + x306 =L= 0;
e307.. -50 * b67 + x307 =L= 0;
e308.. -50 * b68 + x308 =L= 0;
e309.. -50 * b69 + x309 =L= 0;
e310.. -50 * b70 + x310 =L= 0;
e311.. -50 * b71 + x311 =L= 0;
e312.. -50 * b72 + x312 =L= 0;
e313.. -50 * b73 + x313 =L= 0;
e314.. -50 * b74 + x314 =L= 0;
e315.. -50 * b75 + x315 =L= 0;
e316.. -50 * b76 + x316 =L= 0;
e317.. -50 * b77 + x317 =L= 0;
e318.. -50 * b78 + x318 =L= 0;
e319.. -50 * b79 + x319 =L= 0;
e320.. -50 * b80 + x320 =L= 0;
e321.. -50 * b81 + x321 =L= 0;
e322.. -50 * b82 + x322 =L= 0;
e323.. -50 * b83 + x323 =L= 0;
e324.. -50 * b84 + x324 =L= 0;
e325.. -50 * b85 + x325 =L= 0;
e326.. -50 * b86 + x326 =L= 0;
e327.. -50 * b87 + x327 =L= 0;
e328.. -50 * b88 + x328 =L= 0;
e329.. -50 * b89 + x329 =L= 0;
e330.. -50 * b90 + x330 =L= 0;
e331.. -50 * b91 + x331 =L= 0;
e332.. -50 * b92 + x332 =L= 0;
e333.. -50 * b93 + x333 =L= 0;
e334.. -50 * b94 + x334 =L= 0;
e335.. -50 * b95 + x335 =L= 0;
e336.. -50 * b96 + x336 =L= 0;
e337.. -50 * b97 + x337 =L= 0;
e338.. -50 * b98 + x338 =L= 0;
e339.. -50 * b99 + x339 =L= 0;
e340.. -50 * b100 + x340 =L= 0;
e341.. -50 * b101 + x341 =L= 0;
e342.. -50 * b102 + x342 =L= 0;
e343.. -50 * b103 + x343 =L= 0;
e344.. -50 * b104 + x344 =L= 0;
e345.. -50 * b105 + x345 =L= 0;
e346.. -50 * b106 + x346 =L= 0;
e347.. -50 * b107 + x347 =L= 0;
e348.. -50 * b108 + x348 =L= 0;
e349.. -50 * b109 + x349 =L= 0;
e350.. -50 * b110 + x350 =L= 0;
e351.. -50 * b111 + x351 =L= 0;
e352.. -50 * b112 + x352 =L= 0;
e353.. -50 * b113 + x353 =L= 0;
e354.. -50 * b114 + x354 =L= 0;
e355.. -50 * b115 + x355 =L= 0;
e356.. -50 * b116 + x356 =L= 0;
e357.. -50 * b117 + x357 =L= 0;
e358.. -50 * b118 + x358 =L= 0;
e359.. -50 * b119 + x359 =L= 0;
e360.. -50 * b120 + x360 =L= 0;
e361.. -50 * b121 + x361 =L= 0;
e362.. -50 * b122 + x362 =L= 0;
e363.. -50 * b123 + x363 =L= 0;
e364.. -50 * b124 + x364 =L= 0;
e365.. -50 * b125 + x365 =L= 0;
e366.. -50 * b126 + x366 =L= 0;
e367.. -50 * b127 + x367 =L= 0;
e368.. -50 * b128 + x368 =L= 0;
e369.. -50 * b129 + x369 =L= 0;
e370.. -50 * b130 + x370 =L= 0;
e371.. -50 * b131 + x371 =L= 0;
e372.. -50 * b132 + x372 =L= 0;
e373.. -50 * b133 + x373 =L= 0;
e374.. -50 * b134 + x374 =L= 0;
e375.. -50 * b135 + x375 =L= 0;
e376.. -50 * b136 + x376 =L= 0;
e377.. -50 * b137 + x377 =L= 0;
e378.. -50 * b138 + x378 =L= 0;
e379.. -50 * b139 + x379 =L= 0;
e380.. -50 * b140 + x380 =L= 0;
e381.. -50 * b141 + x381 =L= 0;
e382.. -50 * b142 + x382 =L= 0;
e383.. -50 * b143 + x383 =L= 0;
e384.. -50 * b144 + x384 =L= 0;
e385.. -50 * b145 + x385 =L= 0;
e386.. -50 * b146 + x386 =L= 0;
e387.. -50 * b147 + x387 =L= 0;
e388.. -50 * b148 + x388 =L= 0;
e389.. -50 * b149 + x389 =L= 0;
e390.. -50 * b150 + x390 =L= 0;
e391.. -50 * b151 + x391 =L= 0;
e392.. -50 * b152 + x392 =L= 0;
e393.. -50 * b153 + x393 =L= 0;
e394.. -50 * b154 + x394 =L= 0;
e395.. -50 * b155 + x395 =L= 0;
e396.. -50 * b156 + x396 =L= 0;
e397.. -50 * b157 + x397 =L= 0;
e398.. -50 * b158 + x398 =L= 0;
e399.. -50 * b159 + x399 =L= 0;
e400.. -50 * b160 + x400 =L= 0;
e401.. -50 * b161 + x401 =L= 0;
e402.. -50 * b162 + x402 =L= 0;
e403.. -50 * b163 + x403 =L= 0;
e404.. -50 * b164 + x404 =L= 0;
e405.. -50 * b165 + x405 =L= 0;
e406.. -50 * b166 + x406 =L= 0;
e407.. -50 * b167 + x407 =L= 0;
e408.. -50 * b168 + x408 =L= 0;
e409.. -50 * b169 + x409 =L= 0;
e410.. -50 * b170 + x410 =L= 0;
e411.. -50 * b171 + x411 =L= 0;
e412.. -50 * b172 + x412 =L= 0;
e413.. -50 * b173 + x413 =L= 0;
e414.. -50 * b174 + x414 =L= 0;
e415.. -50 * b175 + x415 =L= 0;
e416.. -50 * b176 + x416 =L= 0;
e417.. -50 * b177 + x417 =L= 0;
e418.. -50 * b178 + x418 =L= 0;
e419.. -50 * b179 + x419 =L= 0;
e420.. -50 * b180 + x420 =L= 0;
e421.. -50 * b181 + x421 =L= 0;
e422.. -50 * b182 + x422 =L= 0;
e423.. -50 * b183 + x423 =L= 0;
e424.. -50 * b184 + x424 =L= 0;
e425.. -50 * b185 + x425 =L= 0;
e426.. -50 * b186 + x426 =L= 0;
e427.. -50 * b187 + x427 =L= 0;
e428.. -50 * b188 + x428 =L= 0;
e429.. -50 * b189 + x429 =L= 0;
e430.. -50 * b190 + x430 =L= 0;
e431.. -50 * b191 + x431 =L= 0;
e432.. -50 * b192 + x432 =L= 0;
e433.. -50 * b193 + x433 =L= 0;
e434.. -50 * b194 + x434 =L= 0;
e435.. -50 * b195 + x435 =L= 0;
e436.. -50 * b196 + x436 =L= 0;
e437.. -50 * b197 + x437 =L= 0;
e438.. -50 * b198 + x438 =L= 0;
e439.. -50 * b199 + x439 =L= 0;
e440.. -50 * b200 + x440 =L= 0;
e441.. -50 * b201 + x441 =L= 0;
e442.. -50 * b202 + x442 =L= 0;
e443.. -50 * b203 + x443 =L= 0;
e444.. -50 * b204 + x444 =L= 0;
e445.. -50 * b205 + x445 =L= 0;
e446.. -50 * b206 + x446 =L= 0;
e447.. -50 * b207 + x447 =L= 0;
e448.. -50 * b208 + x448 =L= 0;
e449.. -50 * b209 + x449 =L= 0;
e450.. -50 * b210 + x450 =L= 0;
e451.. -50 * b211 + x451 =L= 0;
e452.. -50 * b212 + x452 =L= 0;
e453.. -50 * b213 + x453 =L= 0;
e454.. -50 * b214 + x454 =L= 0;
e455.. -50 * b215 + x455 =L= 0;
e456.. -50 * b216 + x456 =L= 0;
e457.. -50 * b217 + x457 =L= 0;
e458.. -50 * b218 + x458 =L= 0;
e459.. -50 * b219 + x459 =L= 0;
e460.. -50 * b220 + x460 =L= 0;
e461.. -50 * b221 + x461 =L= 0;
e462.. -50 * b222 + x462 =L= 0;
e463.. -50 * b223 + x463 =L= 0;
e464.. -50 * b224 + x464 =L= 0;
e465.. -50 * b225 + x465 =L= 0;
e466.. -50 * b226 + x466 =L= 0;
e467.. -50 * b227 + x467 =L= 0;
e468.. -50 * b228 + x468 =L= 0;
e469.. -50 * b229 + x469 =L= 0;
e470.. -50 * b230 + x470 =L= 0;
e471.. -50 * b231 + x471 =L= 0;
e472.. -50 * b232 + x472 =L= 0;
e473.. -50 * b233 + x473 =L= 0;
e474.. -50 * b234 + x474 =L= 0;
e475.. -50 * b235 + x475 =L= 0;
e476.. -50 * b236 + x476 =L= 0;
e477.. -50 * b237 + x477 =L= 0;
e478.. -50 * b238 + x478 =L= 0;
e479.. -50 * b239 + x479 =L= 0;
e480.. -50 * b240 + x480 =L= 0;
e481.. 2.95 * b98 - x481 =L= 2.95;
e482.. 2.95 * b99 - x482 =L= 2.95;
e483.. 2.95 * b100 - x483 =L= 2.95;
e484.. 2.95 * b101 - x484 =L= 2.95;
e485.. 2.95 * b102 - x485 =L= 2.95;
e486.. 2.95 * b104 - x481 =L= 2.95;
e487.. 2.95 * b105 - x482 =L= 2.95;
e488.. 2.95 * b106 - x483 =L= 2.95;
e489.. 2.95 * b107 - x484 =L= 2.95;
e490.. 2.95 * b108 - x485 =L= 2.95;
e491.. 2.95 * b110 - x481 =L= 2.95;
e492.. 2.95 * b111 - x482 =L= 2.95;
e493.. 2.95 * b112 - x483 =L= 2.95;
e494.. 2.95 * b113 - x484 =L= 2.95;
e495.. 2.95 * b114 - x485 =L= 2.95;
e496.. 2.95 * b116 - x486 =L= 2.95;
e497.. 2.95 * b117 - x487 =L= 2.95;
e498.. 2.95 * b118 - x488 =L= 2.95;
e499.. 2.95 * b119 - x489 =L= 2.95;
e500.. 2.95 * b120 - x490 =L= 2.95;
e501.. 2.95 * b122 - x486 =L= 2.95;
e502.. 2.95 * b123 - x487 =L= 2.95;
e503.. 2.95 * b124 - x488 =L= 2.95;
e504.. 2.95 * b125 - x489 =L= 2.95;
e505.. 2.95 * b126 - x490 =L= 2.95;
e506.. 2.95 * b128 - x486 =L= 2.95;
e507.. 2.95 * b129 - x487 =L= 2.95;
e508.. 2.95 * b130 - x488 =L= 2.95;
e509.. 2.95 * b131 - x489 =L= 2.95;
e510.. 2.95 * b132 - x490 =L= 2.95;
e511.. 2.95 * b134 - x491 =L= 2.95;
e512.. 2.95 * b135 - x492 =L= 2.95;
e513.. 2.95 * b136 - x493 =L= 2.95;
e514.. 2.95 * b137 - x494 =L= 2.95;
e515.. 2.95 * b138 - x495 =L= 2.95;
e516.. 2.95 * b140 - x491 =L= 2.95;
e517.. 2.95 * b141 - x492 =L= 2.95;
e518.. 2.95 * b142 - x493 =L= 2.95;
e519.. 2.95 * b143 - x494 =L= 2.95;
e520.. 2.95 * b144 - x495 =L= 2.95;
e521.. 2.95 * b146 - x491 =L= 2.95;
e522.. 2.95 * b147 - x492 =L= 2.95;
e523.. 2.95 * b148 - x493 =L= 2.95;
e524.. 2.95 * b149 - x494 =L= 2.95;
e525.. 2.95 * b150 - x495 =L= 2.95;
e526.. 2.95 * b152 - x496 =L= 2.95;
e527.. 2.95 * b153 - x497 =L= 2.95;
e528.. 2.95 * b154 - x498 =L= 2.95;
e529.. 2.95 * b155 - x499 =L= 2.95;
e530.. 2.95 * b156 - x500 =L= 2.95;
e531.. 2.95 * b158 - x496 =L= 2.95;
e532.. 2.95 * b159 - x497 =L= 2.95;
e533.. 2.95 * b160 - x498 =L= 2.95;
e534.. 2.95 * b161 - x499 =L= 2.95;
e535.. 2.95 * b162 - x500 =L= 2.95;
e536.. 2.95 * b164 - x496 =L= 2.95;
e537.. 2.95 * b165 - x497 =L= 2.95;
e538.. 2.95 * b166 - x498 =L= 2.95;
e539.. 2.95 * b167 - x499 =L= 2.95;
e540.. 2.95 * b168 - x500 =L= 2.95;
e541.. 3.01 * b98 - x501 =L= 3.01;
e542.. 3.01 * b99 - x502 =L= 3.01;
e543.. 3.01 * b100 - x503 =L= 3.01;
e544.. 3.01 * b101 - x504 =L= 3.01;
e545.. 3.01 * b102 - x505 =L= 3.01;
e546.. 3.01 * b104 - x501 =L= 3.01;
e547.. 3.01 * b105 - x502 =L= 3.01;
e548.. 3.01 * b106 - x503 =L= 3.01;
e549.. 3.01 * b107 - x504 =L= 3.01;
e550.. 3.01 * b108 - x505 =L= 3.01;
e551.. 3.01 * b110 - x501 =L= 3.01;
e552.. 3.01 * b111 - x502 =L= 3.01;
e553.. 3.01 * b112 - x503 =L= 3.01;
e554.. 3.01 * b113 - x504 =L= 3.01;
e555.. 3.01 * b114 - x505 =L= 3.01;
e556.. 3.01 * b116 - x506 =L= 3.01;
e557.. 3.01 * b117 - x507 =L= 3.01;
e558.. 3.01 * b118 - x508 =L= 3.01;
e559.. 3.01 * b119 - x509 =L= 3.01;
e560.. 3.01 * b120 - x510 =L= 3.01;
e561.. 3.01 * b122 - x506 =L= 3.01;
e562.. 3.01 * b123 - x507 =L= 3.01;
e563.. 3.01 * b124 - x508 =L= 3.01;
e564.. 3.01 * b125 - x509 =L= 3.01;
e565.. 3.01 * b126 - x510 =L= 3.01;
e566.. 3.01 * b128 - x506 =L= 3.01;
e567.. 3.01 * b129 - x507 =L= 3.01;
e568.. 3.01 * b130 - x508 =L= 3.01;
e569.. 3.01 * b131 - x509 =L= 3.01;
e570.. 3.01 * b132 - x510 =L= 3.01;
e571.. 3.01 * b134 - x511 =L= 3.01;
e572.. 3.01 * b135 - x512 =L= 3.01;
e573.. 3.01 * b136 - x513 =L= 3.01;
e574.. 3.01 * b137 - x514 =L= 3.01;
e575.. 3.01 * b138 - x515 =L= 3.01;
e576.. 3.01 * b140 - x511 =L= 3.01;
e577.. 3.01 * b141 - x512 =L= 3.01;
e578.. 3.01 * b142 - x513 =L= 3.01;
e579.. 3.01 * b143 - x514 =L= 3.01;
e580.. 3.01 * b144 - x515 =L= 3.01;
e581.. 3.01 * b146 - x511 =L= 3.01;
e582.. 3.01 * b147 - x512 =L= 3.01;
e583.. 3.01 * b148 - x513 =L= 3.01;
e584.. 3.01 * b149 - x514 =L= 3.01;
e585.. 3.01 * b150 - x515 =L= 3.01;
e586.. 3.01 * b152 - x516 =L= 3.01;
e587.. 3.01 * b153 - x517 =L= 3.01;
e588.. 3.01 * b154 - x518 =L= 3.01;
e589.. 3.01 * b155 - x519 =L= 3.01;
e590.. 3.01 * b156 - x520 =L= 3.01;
e591.. 3.01 * b158 - x516 =L= 3.01;
e592.. 3.01 * b159 - x517 =L= 3.01;
e593.. 3.01 * b160 - x518 =L= 3.01;
e594.. 3.01 * b161 - x519 =L= 3.01;
e595.. 3.01 * b162 - x520 =L= 3.01;
e596.. 3.01 * b164 - x516 =L= 3.01;
e597.. 3.01 * b165 - x517 =L= 3.01;
e598.. 3.01 * b166 - x518 =L= 3.01;
e599.. 3.01 * b167 - x519 =L= 3.01;
e600.. 3.01 * b168 - x520 =L= 3.01;
e601.. 3.58 * b98 - x521 =L= 3.58;
e602.. 3.58 * b99 - x522 =L= 3.58;
e603.. 3.58 * b100 - x523 =L= 3.58;
e604.. 3.58 * b101 - x524 =L= 3.58;
e605.. 3.58 * b102 - x525 =L= 3.58;
e606.. 3.58 * b104 - x521 =L= 3.58;
e607.. 3.58 * b105 - x522 =L= 3.58;
e608.. 3.58 * b106 - x523 =L= 3.58;
e609.. 3.58 * b107 - x524 =L= 3.58;
e610.. 3.58 * b108 - x525 =L= 3.58;
e611.. 3.58 * b110 - x521 =L= 3.58;
e612.. 3.58 * b111 - x522 =L= 3.58;
e613.. 3.58 * b112 - x523 =L= 3.58;
e614.. 3.58 * b113 - x524 =L= 3.58;
e615.. 3.58 * b114 - x525 =L= 3.58;
e616.. 3.58 * b116 - x526 =L= 3.58;
e617.. 3.58 * b117 - x527 =L= 3.58;
e618.. 3.58 * b118 - x528 =L= 3.58;
e619.. 3.58 * b119 - x529 =L= 3.58;
e620.. 3.58 * b120 - x530 =L= 3.58;
e621.. 3.58 * b122 - x526 =L= 3.58;
e622.. 3.58 * b123 - x527 =L= 3.58;
e623.. 3.58 * b124 - x528 =L= 3.58;
e624.. 3.58 * b125 - x529 =L= 3.58;
e625.. 3.58 * b126 - x530 =L= 3.58;
e626.. 3.58 * b128 - x526 =L= 3.58;
e627.. 3.58 * b129 - x527 =L= 3.58;
e628.. 3.58 * b130 - x528 =L= 3.58;
e629.. 3.58 * b131 - x529 =L= 3.58;
e630.. 3.58 * b132 - x530 =L= 3.58;
e631.. 3.58 * b134 - x531 =L= 3.58;
e632.. 3.58 * b135 - x532 =L= 3.58;
e633.. 3.58 * b136 - x533 =L= 3.58;
e634.. 3.58 * b137 - x534 =L= 3.58;
e635.. 3.58 * b138 - x535 =L= 3.58;
e636.. 3.58 * b140 - x531 =L= 3.58;
e637.. 3.58 * b141 - x532 =L= 3.58;
e638.. 3.58 * b142 - x533 =L= 3.58;
e639.. 3.58 * b143 - x534 =L= 3.58;
e640.. 3.58 * b144 - x535 =L= 3.58;
e641.. 3.58 * b146 - x531 =L= 3.58;
e642.. 3.58 * b147 - x532 =L= 3.58;
e643.. 3.58 * b148 - x533 =L= 3.58;
e644.. 3.58 * b149 - x534 =L= 3.58;
e645.. 3.58 * b150 - x535 =L= 3.58;
e646.. 3.58 * b152 - x536 =L= 3.58;
e647.. 3.58 * b153 - x537 =L= 3.58;
e648.. 3.58 * b154 - x538 =L= 3.58;
e649.. 3.58 * b155 - x539 =L= 3.58;
e650.. 3.58 * b156 - x540 =L= 3.58;
e651.. 3.58 * b158 - x536 =L= 3.58;
e652.. 3.58 * b159 - x537 =L= 3.58;
e653.. 3.58 * b160 - x538 =L= 3.58;
e654.. 3.58 * b161 - x539 =L= 3.58;
e655.. 3.58 * b162 - x540 =L= 3.58;
e656.. 3.58 * b164 - x536 =L= 3.58;
e657.. 3.58 * b165 - x537 =L= 3.58;
e658.. 3.58 * b166 - x538 =L= 3.58;
e659.. 3.58 * b167 - x539 =L= 3.58;
e660.. 3.58 * b168 - x540 =L= 3.58;
e661.. 4.35 * b98 - x541 =L= 4.35;
e662.. 4.35 * b99 - x542 =L= 4.35;
e663.. 4.35 * b100 - x543 =L= 4.35;
e664.. 4.35 * b101 - x544 =L= 4.35;
e665.. 4.35 * b102 - x545 =L= 4.35;
e666.. 4.35 * b104 - x541 =L= 4.35;
e667.. 4.35 * b105 - x542 =L= 4.35;
e668.. 4.35 * b106 - x543 =L= 4.35;
e669.. 4.35 * b107 - x544 =L= 4.35;
e670.. 4.35 * b108 - x545 =L= 4.35;
e671.. 4.35 * b110 - x541 =L= 4.35;
e672.. 4.35 * b111 - x542 =L= 4.35;
e673.. 4.35 * b112 - x543 =L= 4.35;
e674.. 4.35 * b113 - x544 =L= 4.35;
e675.. 4.35 * b114 - x545 =L= 4.35;
e676.. 4.35 * b116 - x546 =L= 4.35;
e677.. 4.35 * b117 - x547 =L= 4.35;
e678.. 4.35 * b118 - x548 =L= 4.35;
e679.. 4.35 * b119 - x549 =L= 4.35;
e680.. 4.35 * b120 - x550 =L= 4.35;
e681.. 4.35 * b122 - x546 =L= 4.35;
e682.. 4.35 * b123 - x547 =L= 4.35;
e683.. 4.35 * b124 - x548 =L= 4.35;
e684.. 4.35 * b125 - x549 =L= 4.35;
e685.. 4.35 * b126 - x550 =L= 4.35;
e686.. 4.35 * b128 - x546 =L= 4.35;
e687.. 4.35 * b129 - x547 =L= 4.35;
e688.. 4.35 * b130 - x548 =L= 4.35;
e689.. 4.35 * b131 - x549 =L= 4.35;
e690.. 4.35 * b132 - x550 =L= 4.35;
e691.. 4.35 * b134 - x551 =L= 4.35;
e692.. 4.35 * b135 - x552 =L= 4.35;
e693.. 4.35 * b136 - x553 =L= 4.35;
e694.. 4.35 * b137 - x554 =L= 4.35;
e695.. 4.35 * b138 - x555 =L= 4.35;
e696.. 4.35 * b140 - x551 =L= 4.35;
e697.. 4.35 * b141 - x552 =L= 4.35;
e698.. 4.35 * b142 - x553 =L= 4.35;
e699.. 4.35 * b143 - x554 =L= 4.35;
e700.. 4.35 * b144 - x555 =L= 4.35;
e701.. 4.35 * b146 - x551 =L= 4.35;
e702.. 4.35 * b147 - x552 =L= 4.35;
e703.. 4.35 * b148 - x553 =L= 4.35;
e704.. 4.35 * b149 - x554 =L= 4.35;
e705.. 4.35 * b150 - x555 =L= 4.35;
e706.. 4.35 * b152 - x556 =L= 4.35;
e707.. 4.35 * b153 - x557 =L= 4.35;
e708.. 4.35 * b154 - x558 =L= 4.35;
e709.. 4.35 * b155 - x559 =L= 4.35;
e710.. 4.35 * b156 - x560 =L= 4.35;
e711.. 4.35 * b158 - x556 =L= 4.35;
e712.. 4.35 * b159 - x557 =L= 4.35;
e713.. 4.35 * b160 - x558 =L= 4.35;
e714.. 4.35 * b161 - x559 =L= 4.35;
e715.. 4.35 * b162 - x560 =L= 4.35;
e716.. 4.35 * b164 - x556 =L= 4.35;
e717.. 4.35 * b165 - x557 =L= 4.35;
e718.. 4.35 * b166 - x558 =L= 4.35;
e719.. 4.35 * b167 - x559 =L= 4.35;
e720.. 4.35 * b168 - x560 =L= 4.35;
e721.. 3.79 * b98 - x561 =L= 3.79;
e722.. 3.79 * b99 - x562 =L= 3.79;
e723.. 3.79 * b100 - x563 =L= 3.79;
e724.. 3.79 * b101 - x564 =L= 3.79;
e725.. 3.79 * b102 - x565 =L= 3.79;
e726.. 3.79 * b104 - x561 =L= 3.79;
e727.. 3.79 * b105 - x562 =L= 3.79;
e728.. 3.79 * b106 - x563 =L= 3.79;
e729.. 3.79 * b107 - x564 =L= 3.79;
e730.. 3.79 * b108 - x565 =L= 3.79;
e731.. 3.79 * b110 - x561 =L= 3.79;
e732.. 3.79 * b111 - x562 =L= 3.79;
e733.. 3.79 * b112 - x563 =L= 3.79;
e734.. 3.79 * b113 - x564 =L= 3.79;
e735.. 3.79 * b114 - x565 =L= 3.79;
e736.. 3.79 * b116 - x566 =L= 3.79;
e737.. 3.79 * b117 - x567 =L= 3.79;
e738.. 3.79 * b118 - x568 =L= 3.79;
e739.. 3.79 * b119 - x569 =L= 3.79;
e740.. 3.79 * b120 - x570 =L= 3.79;
e741.. 3.79 * b122 - x566 =L= 3.79;
e742.. 3.79 * b123 - x567 =L= 3.79;
e743.. 3.79 * b124 - x568 =L= 3.79;
e744.. 3.79 * b125 - x569 =L= 3.79;
e745.. 3.79 * b126 - x570 =L= 3.79;
e746.. 3.79 * b128 - x566 =L= 3.79;
e747.. 3.79 * b129 - x567 =L= 3.79;
e748.. 3.79 * b130 - x568 =L= 3.79;
e749.. 3.79 * b131 - x569 =L= 3.79;
e750.. 3.79 * b132 - x570 =L= 3.79;
e751.. 3.79 * b134 - x571 =L= 3.79;
e752.. 3.79 * b135 - x572 =L= 3.79;
e753.. 3.79 * b136 - x573 =L= 3.79;
e754.. 3.79 * b137 - x574 =L= 3.79;
e755.. 3.79 * b138 - x575 =L= 3.79;
e756.. 3.79 * b140 - x571 =L= 3.79;
e757.. 3.79 * b141 - x572 =L= 3.79;
e758.. 3.79 * b142 - x573 =L= 3.79;
e759.. 3.79 * b143 - x574 =L= 3.79;
e760.. 3.79 * b144 - x575 =L= 3.79;
e761.. 3.79 * b146 - x571 =L= 3.79;
e762.. 3.79 * b147 - x572 =L= 3.79;
e763.. 3.79 * b148 - x573 =L= 3.79;
e764.. 3.79 * b149 - x574 =L= 3.79;
e765.. 3.79 * b150 - x575 =L= 3.79;
e766.. 3.79 * b152 - x576 =L= 3.79;
e767.. 3.79 * b153 - x577 =L= 3.79;
e768.. 3.79 * b154 - x578 =L= 3.79;
e769.. 3.79 * b155 - x579 =L= 3.79;
e770.. 3.79 * b156 - x580 =L= 3.79;
e771.. 3.79 * b158 - x576 =L= 3.79;
e772.. 3.79 * b159 - x577 =L= 3.79;
e773.. 3.79 * b160 - x578 =L= 3.79;
e774.. 3.79 * b161 - x579 =L= 3.79;
e775.. 3.79 * b162 - x580 =L= 3.79;
e776.. 3.79 * b164 - x576 =L= 3.79;
e777.. 3.79 * b165 - x577 =L= 3.79;
e778.. 3.79 * b166 - x578 =L= 3.79;
e779.. 3.79 * b167 - x579 =L= 3.79;
e780.. 3.79 * b168 - x580 =L= 3.79;
e781.. 3.82 * b98 - x581 =L= 3.82;
e782.. 3.82 * b99 - x582 =L= 3.82;
e783.. 3.82 * b100 - x583 =L= 3.82;
e784.. 3.82 * b101 - x584 =L= 3.82;
e785.. 3.82 * b102 - x585 =L= 3.82;
e786.. 3.82 * b104 - x581 =L= 3.82;
e787.. 3.82 * b105 - x582 =L= 3.82;
e788.. 3.82 * b106 - x583 =L= 3.82;
e789.. 3.82 * b107 - x584 =L= 3.82;
e790.. 3.82 * b108 - x585 =L= 3.82;
e791.. 3.82 * b110 - x581 =L= 3.82;
e792.. 3.82 * b111 - x582 =L= 3.82;
e793.. 3.82 * b112 - x583 =L= 3.82;
e794.. 3.82 * b113 - x584 =L= 3.82;
e795.. 3.82 * b114 - x585 =L= 3.82;
e796.. 3.82 * b116 - x586 =L= 3.82;
e797.. 3.82 * b117 - x587 =L= 3.82;
e798.. 3.82 * b118 - x588 =L= 3.82;
e799.. 3.82 * b119 - x589 =L= 3.82;
e800.. 3.82 * b120 - x590 =L= 3.82;
e801.. 3.82 * b122 - x586 =L= 3.82;
e802.. 3.82 * b123 - x587 =L= 3.82;
e803.. 3.82 * b124 - x588 =L= 3.82;
e804.. 3.82 * b125 - x589 =L= 3.82;
e805.. 3.82 * b126 - x590 =L= 3.82;
e806.. 3.82 * b128 - x586 =L= 3.82;
e807.. 3.82 * b129 - x587 =L= 3.82;
e808.. 3.82 * b130 - x588 =L= 3.82;
e809.. 3.82 * b131 - x589 =L= 3.82;
e810.. 3.82 * b132 - x590 =L= 3.82;
e811.. 3.82 * b134 - x591 =L= 3.82;
e812.. 3.82 * b135 - x592 =L= 3.82;
e813.. 3.82 * b136 - x593 =L= 3.82;
e814.. 3.82 * b137 - x594 =L= 3.82;
e815.. 3.82 * b138 - x595 =L= 3.82;
e816.. 3.82 * b140 - x591 =L= 3.82;
e817.. 3.82 * b141 - x592 =L= 3.82;
e818.. 3.82 * b142 - x593 =L= 3.82;
e819.. 3.82 * b143 - x594 =L= 3.82;
e820.. 3.82 * b144 - x595 =L= 3.82;
e821.. 3.82 * b146 - x591 =L= 3.82;
e822.. 3.82 * b147 - x592 =L= 3.82;
e823.. 3.82 * b148 - x593 =L= 3.82;
e824.. 3.82 * b149 - x594 =L= 3.82;
e825.. 3.82 * b150 - x595 =L= 3.82;
e826.. 3.82 * b152 - x596 =L= 3.82;
e827.. 3.82 * b153 - x597 =L= 3.82;
e828.. 3.82 * b154 - x598 =L= 3.82;
e829.. 3.82 * b155 - x599 =L= 3.82;
e830.. 3.82 * b156 - x600 =L= 3.82;
e831.. 3.82 * b158 - x596 =L= 3.82;
e832.. 3.82 * b159 - x597 =L= 3.82;
e833.. 3.82 * b160 - x598 =L= 3.82;
e834.. 3.82 * b161 - x599 =L= 3.82;
e835.. 3.82 * b162 - x600 =L= 3.82;
e836.. 3.82 * b164 - x596 =L= 3.82;
e837.. 3.82 * b165 - x597 =L= 3.82;
e838.. 3.82 * b166 - x598 =L= 3.82;
e839.. 3.82 * b167 - x599 =L= 3.82;
e840.. 3.82 * b168 - x600 =L= 3.82;
e841.. 2.95 * b98 + x481 =L= 6.470000000000001;
e842.. 2.95 * b99 + x482 =L= 6.470000000000001;
e843.. 2.95 * b100 + x483 =L= 6.470000000000001;
e844.. 2.95 * b101 + x484 =L= 6.470000000000001;
e845.. 2.95 * b102 + x485 =L= 6.470000000000001;
e846.. 2.95 * b104 + x481 =L= 6.9;
e847.. 2.95 * b105 + x482 =L= 6.9;
e848.. 2.95 * b106 + x483 =L= 6.9;
e849.. 2.95 * b107 + x484 =L= 6.9;
e850.. 2.95 * b108 + x485 =L= 6.9;
e851.. 2.95 * b110 + x481 =L= 7.3;
e852.. 2.95 * b111 + x482 =L= 7.3;
e853.. 2.95 * b112 + x483 =L= 7.3;
e854.. 2.95 * b113 + x484 =L= 7.3;
e855.. 2.95 * b114 + x485 =L= 7.3;
e856.. 2.95 * b116 + x486 =L= 6.470000000000001;
e857.. 2.95 * b117 + x487 =L= 6.470000000000001;
e858.. 2.95 * b118 + x488 =L= 6.470000000000001;
e859.. 2.95 * b119 + x489 =L= 6.470000000000001;
e860.. 2.95 * b120 + x490 =L= 6.470000000000001;
e861.. 2.95 * b122 + x486 =L= 6.9;
e862.. 2.95 * b123 + x487 =L= 6.9;
e863.. 2.95 * b124 + x488 =L= 6.9;
e864.. 2.95 * b125 + x489 =L= 6.9;
e865.. 2.95 * b126 + x490 =L= 6.9;
e866.. 2.95 * b128 + x486 =L= 7.3;
e867.. 2.95 * b129 + x487 =L= 7.3;
e868.. 2.95 * b130 + x488 =L= 7.3;
e869.. 2.95 * b131 + x489 =L= 7.3;
e870.. 2.95 * b132 + x490 =L= 7.3;
e871.. 2.95 * b134 + x491 =L= 6.470000000000001;
e872.. 2.95 * b135 + x492 =L= 6.470000000000001;
e873.. 2.95 * b136 + x493 =L= 6.470000000000001;
e874.. 2.95 * b137 + x494 =L= 6.470000000000001;
e875.. 2.95 * b138 + x495 =L= 6.470000000000001;
e876.. 2.95 * b140 + x491 =L= 6.9;
e877.. 2.95 * b141 + x492 =L= 6.9;
e878.. 2.95 * b142 + x493 =L= 6.9;
e879.. 2.95 * b143 + x494 =L= 6.9;
e880.. 2.95 * b144 + x495 =L= 6.9;
e881.. 2.95 * b146 + x491 =L= 7.3;
e882.. 2.95 * b147 + x492 =L= 7.3;
e883.. 2.95 * b148 + x493 =L= 7.3;
e884.. 2.95 * b149 + x494 =L= 7.3;
e885.. 2.95 * b150 + x495 =L= 7.3;
e886.. 2.95 * b152 + x496 =L= 6.470000000000001;
e887.. 2.95 * b153 + x497 =L= 6.470000000000001;
e888.. 2.95 * b154 + x498 =L= 6.470000000000001;
e889.. 2.95 * b155 + x499 =L= 6.470000000000001;
e890.. 2.95 * b156 + x500 =L= 6.470000000000001;
e891.. 2.95 * b158 + x496 =L= 6.9;
e892.. 2.95 * b159 + x497 =L= 6.9;
e893.. 2.95 * b160 + x498 =L= 6.9;
e894.. 2.95 * b161 + x499 =L= 6.9;
e895.. 2.95 * b162 + x500 =L= 6.9;
e896.. 2.95 * b164 + x496 =L= 7.3;
e897.. 2.95 * b165 + x497 =L= 7.3;
e898.. 2.95 * b166 + x498 =L= 7.3;
e899.. 2.95 * b167 + x499 =L= 7.3;
e900.. 2.95 * b168 + x500 =L= 7.3;
e901.. 3.01 * b98 + x501 =L= 6.789999999999999;
e902.. 3.01 * b99 + x502 =L= 6.789999999999999;
e903.. 3.01 * b100 + x503 =L= 6.789999999999999;
e904.. 3.01 * b101 + x504 =L= 6.789999999999999;
e905.. 3.01 * b102 + x505 =L= 6.789999999999999;
e906.. 3.01 * b104 + x501 =L= 6.39;
e907.. 3.01 * b105 + x502 =L= 6.39;
e908.. 3.01 * b106 + x503 =L= 6.39;
e909.. 3.01 * b107 + x504 =L= 6.39;
e910.. 3.01 * b108 + x505 =L= 6.39;
e911.. 3.01 * b110 + x501 =L= 7.359999999999999;
e912.. 3.01 * b111 + x502 =L= 7.359999999999999;
e913.. 3.01 * b112 + x503 =L= 7.359999999999999;
e914.. 3.01 * b113 + x504 =L= 7.359999999999999;
e915.. 3.01 * b114 + x505 =L= 7.359999999999999;
e916.. 3.01 * b116 + x506 =L= 6.789999999999999;
e917.. 3.01 * b117 + x507 =L= 6.789999999999999;
e918.. 3.01 * b118 + x508 =L= 6.789999999999999;
e919.. 3.01 * b119 + x509 =L= 6.789999999999999;
e920.. 3.01 * b120 + x510 =L= 6.789999999999999;
e921.. 3.01 * b122 + x506 =L= 6.39;
e922.. 3.01 * b123 + x507 =L= 6.39;
e923.. 3.01 * b124 + x508 =L= 6.39;
e924.. 3.01 * b125 + x509 =L= 6.39;
e925.. 3.01 * b126 + x510 =L= 6.39;
e926.. 3.01 * b128 + x506 =L= 7.359999999999999;
e927.. 3.01 * b129 + x507 =L= 7.359999999999999;
e928.. 3.01 * b130 + x508 =L= 7.359999999999999;
e929.. 3.01 * b131 + x509 =L= 7.359999999999999;
e930.. 3.01 * b132 + x510 =L= 7.359999999999999;
e931.. 3.01 * b134 + x511 =L= 6.789999999999999;
e932.. 3.01 * b135 + x512 =L= 6.789999999999999;
e933.. 3.01 * b136 + x513 =L= 6.789999999999999;
e934.. 3.01 * b137 + x514 =L= 6.789999999999999;
e935.. 3.01 * b138 + x515 =L= 6.789999999999999;
e936.. 3.01 * b140 + x511 =L= 6.39;
e937.. 3.01 * b141 + x512 =L= 6.39;
e938.. 3.01 * b142 + x513 =L= 6.39;
e939.. 3.01 * b143 + x514 =L= 6.39;
e940.. 3.01 * b144 + x515 =L= 6.39;
e941.. 3.01 * b146 + x511 =L= 7.359999999999999;
e942.. 3.01 * b147 + x512 =L= 7.359999999999999;
e943.. 3.01 * b148 + x513 =L= 7.359999999999999;
e944.. 3.01 * b149 + x514 =L= 7.359999999999999;
e945.. 3.01 * b150 + x515 =L= 7.359999999999999;
e946.. 3.01 * b152 + x516 =L= 6.789999999999999;
e947.. 3.01 * b153 + x517 =L= 6.789999999999999;
e948.. 3.01 * b154 + x518 =L= 6.789999999999999;
e949.. 3.01 * b155 + x519 =L= 6.789999999999999;
e950.. 3.01 * b156 + x520 =L= 6.789999999999999;
e951.. 3.01 * b158 + x516 =L= 6.39;
e952.. 3.01 * b159 + x517 =L= 6.39;
e953.. 3.01 * b160 + x518 =L= 6.39;
e954.. 3.01 * b161 + x519 =L= 6.39;
e955.. 3.01 * b162 + x520 =L= 6.39;
e956.. 3.01 * b164 + x516 =L= 7.359999999999999;
e957.. 3.01 * b165 + x517 =L= 7.359999999999999;
e958.. 3.01 * b166 + x518 =L= 7.359999999999999;
e959.. 3.01 * b167 + x519 =L= 7.359999999999999;
e960.. 3.01 * b168 + x520 =L= 7.359999999999999;
e961.. 3.58 * b98 + x521 =L= 7.87;
e962.. 3.58 * b99 + x522 =L= 7.87;
e963.. 3.58 * b100 + x523 =L= 7.87;
e964.. 3.58 * b101 + x524 =L= 7.87;
e965.. 3.58 * b102 + x525 =L= 7.87;
e966.. 3.58 * b104 + x521 =L= 6.63;
e967.. 3.58 * b105 + x522 =L= 6.63;
e968.. 3.58 * b106 + x523 =L= 6.63;
e969.. 3.58 * b107 + x524 =L= 6.63;
e970.. 3.58 * b108 + x525 =L= 6.63;
e971.. 3.58 * b110 + x521 =L= 7.93;
e972.. 3.58 * b111 + x522 =L= 7.93;
e973.. 3.58 * b112 + x523 =L= 7.93;
e974.. 3.58 * b113 + x524 =L= 7.93;
e975.. 3.58 * b114 + x525 =L= 7.93;
e976.. 3.58 * b116 + x526 =L= 7.87;
e977.. 3.58 * b117 + x527 =L= 7.87;
e978.. 3.58 * b118 + x528 =L= 7.87;
e979.. 3.58 * b119 + x529 =L= 7.87;
e980.. 3.58 * b120 + x530 =L= 7.87;
e981.. 3.58 * b122 + x526 =L= 6.63;
e982.. 3.58 * b123 + x527 =L= 6.63;
e983.. 3.58 * b124 + x528 =L= 6.63;
e984.. 3.58 * b125 + x529 =L= 6.63;
e985.. 3.58 * b126 + x530 =L= 6.63;
e986.. 3.58 * b128 + x526 =L= 7.93;
e987.. 3.58 * b129 + x527 =L= 7.93;
e988.. 3.58 * b130 + x528 =L= 7.93;
e989.. 3.58 * b131 + x529 =L= 7.93;
e990.. 3.58 * b132 + x530 =L= 7.93;
e991.. 3.58 * b134 + x531 =L= 7.87;
e992.. 3.58 * b135 + x532 =L= 7.87;
e993.. 3.58 * b136 + x533 =L= 7.87;
e994.. 3.58 * b137 + x534 =L= 7.87;
e995.. 3.58 * b138 + x535 =L= 7.87;
e996.. 3.58 * b140 + x531 =L= 6.63;
e997.. 3.58 * b141 + x532 =L= 6.63;
e998.. 3.58 * b142 + x533 =L= 6.63;
e999.. 3.58 * b143 + x534 =L= 6.63;
e1000.. 3.58 * b144 + x535 =L= 6.63;
e1001.. 3.58 * b146 + x531 =L= 7.93;
e1002.. 3.58 * b147 + x532 =L= 7.93;
e1003.. 3.58 * b148 + x533 =L= 7.93;
e1004.. 3.58 * b149 + x534 =L= 7.93;
e1005.. 3.58 * b150 + x535 =L= 7.93;
e1006.. 3.58 * b152 + x536 =L= 7.87;
e1007.. 3.58 * b153 + x537 =L= 7.87;
e1008.. 3.58 * b154 + x538 =L= 7.87;
e1009.. 3.58 * b155 + x539 =L= 7.87;
e1010.. 3.58 * b156 + x540 =L= 7.87;
e1011.. 3.58 * b158 + x536 =L= 6.63;
e1012.. 3.58 * b159 + x537 =L= 6.63;
e1013.. 3.58 * b160 + x538 =L= 6.63;
e1014.. 3.58 * b161 + x539 =L= 6.63;
e1015.. 3.58 * b162 + x540 =L= 6.63;
e1016.. 3.58 * b164 + x536 =L= 7.93;
e1017.. 3.58 * b165 + x537 =L= 7.93;
e1018.. 3.58 * b166 + x538 =L= 7.93;
e1019.. 3.58 * b167 + x539 =L= 7.93;
e1020.. 3.58 * b168 + x540 =L= 7.93;
e1021.. 4.35 * b98 + x541 =L= 7.76;
e1022.. 4.35 * b99 + x542 =L= 7.76;
e1023.. 4.35 * b100 + x543 =L= 7.76;
e1024.. 4.35 * b101 + x544 =L= 7.76;
e1025.. 4.35 * b102 + x545 =L= 7.76;
e1026.. 4.35 * b104 + x541 =L= 8.34;
e1027.. 4.35 * b105 + x542 =L= 8.34;
e1028.. 4.35 * b106 + x543 =L= 8.34;
e1029.. 4.35 * b107 + x544 =L= 8.34;
e1030.. 4.35 * b108 + x545 =L= 8.34;
e1031.. 4.35 * b110 + x541 =L= 8.7;
e1032.. 4.35 * b111 + x542 =L= 8.7;
e1033.. 4.35 * b112 + x543 =L= 8.7;
e1034.. 4.35 * b113 + x544 =L= 8.7;
e1035.. 4.35 * b114 + x545 =L= 8.7;
e1036.. 4.35 * b116 + x546 =L= 7.76;
e1037.. 4.35 * b117 + x547 =L= 7.76;
e1038.. 4.35 * b118 + x548 =L= 7.76;
e1039.. 4.35 * b119 + x549 =L= 7.76;
e1040.. 4.35 * b120 + x550 =L= 7.76;
e1041.. 4.35 * b122 + x546 =L= 8.34;
e1042.. 4.35 * b123 + x547 =L= 8.34;
e1043.. 4.35 * b124 + x548 =L= 8.34;
e1044.. 4.35 * b125 + x549 =L= 8.34;
e1045.. 4.35 * b126 + x550 =L= 8.34;
e1046.. 4.35 * b128 + x546 =L= 8.7;
e1047.. 4.35 * b129 + x547 =L= 8.7;
e1048.. 4.35 * b130 + x548 =L= 8.7;
e1049.. 4.35 * b131 + x549 =L= 8.7;
e1050.. 4.35 * b132 + x550 =L= 8.7;
e1051.. 4.35 * b134 + x551 =L= 7.76;
e1052.. 4.35 * b135 + x552 =L= 7.76;
e1053.. 4.35 * b136 + x553 =L= 7.76;
e1054.. 4.35 * b137 + x554 =L= 7.76;
e1055.. 4.35 * b138 + x555 =L= 7.76;
e1056.. 4.35 * b140 + x551 =L= 8.34;
e1057.. 4.35 * b141 + x552 =L= 8.34;
e1058.. 4.35 * b142 + x553 =L= 8.34;
e1059.. 4.35 * b143 + x554 =L= 8.34;
e1060.. 4.35 * b144 + x555 =L= 8.34;
e1061.. 4.35 * b146 + x551 =L= 8.7;
e1062.. 4.35 * b147 + x552 =L= 8.7;
e1063.. 4.35 * b148 + x553 =L= 8.7;
e1064.. 4.35 * b149 + x554 =L= 8.7;
e1065.. 4.35 * b150 + x555 =L= 8.7;
e1066.. 4.35 * b152 + x556 =L= 7.76;
e1067.. 4.35 * b153 + x557 =L= 7.76;
e1068.. 4.35 * b154 + x558 =L= 7.76;
e1069.. 4.35 * b155 + x559 =L= 7.76;
e1070.. 4.35 * b156 + x560 =L= 7.76;
e1071.. 4.35 * b158 + x556 =L= 8.34;
e1072.. 4.35 * b159 + x557 =L= 8.34;
e1073.. 4.35 * b160 + x558 =L= 8.34;
e1074.. 4.35 * b161 + x559 =L= 8.34;
e1075.. 4.35 * b162 + x560 =L= 8.34;
e1076.. 4.35 * b164 + x556 =L= 8.7;
e1077.. 4.35 * b165 + x557 =L= 8.7;
e1078.. 4.35 * b166 + x558 =L= 8.7;
e1079.. 4.35 * b167 + x559 =L= 8.7;
e1080.. 4.35 * b168 + x560 =L= 8.7;
e1081.. 3.79 * b98 + x561 =L= 7.34;
e1082.. 3.79 * b99 + x562 =L= 7.34;
e1083.. 3.79 * b100 + x563 =L= 7.34;
e1084.. 3.79 * b101 + x564 =L= 7.34;
e1085.. 3.79 * b102 + x565 =L= 7.34;
e1086.. 3.79 * b104 + x561 =L= 7.85;
e1087.. 3.79 * b105 + x562 =L= 7.85;
e1088.. 3.79 * b106 + x563 =L= 7.85;
e1089.. 3.79 * b107 + x564 =L= 7.85;
e1090.. 3.79 * b108 + x565 =L= 7.85;
e1091.. 3.79 * b110 + x561 =L= 8.14;
e1092.. 3.79 * b111 + x562 =L= 8.14;
e1093.. 3.79 * b112 + x563 =L= 8.14;
e1094.. 3.79 * b113 + x564 =L= 8.14;
e1095.. 3.79 * b114 + x565 =L= 8.14;
e1096.. 3.79 * b116 + x566 =L= 7.34;
e1097.. 3.79 * b117 + x567 =L= 7.34;
e1098.. 3.79 * b118 + x568 =L= 7.34;
e1099.. 3.79 * b119 + x569 =L= 7.34;
e1100.. 3.79 * b120 + x570 =L= 7.34;
e1101.. 3.79 * b122 + x566 =L= 7.85;
e1102.. 3.79 * b123 + x567 =L= 7.85;
e1103.. 3.79 * b124 + x568 =L= 7.85;
e1104.. 3.79 * b125 + x569 =L= 7.85;
e1105.. 3.79 * b126 + x570 =L= 7.85;
e1106.. 3.79 * b128 + x566 =L= 8.14;
e1107.. 3.79 * b129 + x567 =L= 8.14;
e1108.. 3.79 * b130 + x568 =L= 8.14;
e1109.. 3.79 * b131 + x569 =L= 8.14;
e1110.. 3.79 * b132 + x570 =L= 8.14;
e1111.. 3.79 * b134 + x571 =L= 7.34;
e1112.. 3.79 * b135 + x572 =L= 7.34;
e1113.. 3.79 * b136 + x573 =L= 7.34;
e1114.. 3.79 * b137 + x574 =L= 7.34;
e1115.. 3.79 * b138 + x575 =L= 7.34;
e1116.. 3.79 * b140 + x571 =L= 7.85;
e1117.. 3.79 * b141 + x572 =L= 7.85;
e1118.. 3.79 * b142 + x573 =L= 7.85;
e1119.. 3.79 * b143 + x574 =L= 7.85;
e1120.. 3.79 * b144 + x575 =L= 7.85;
e1121.. 3.79 * b146 + x571 =L= 8.14;
e1122.. 3.79 * b147 + x572 =L= 8.14;
e1123.. 3.79 * b148 + x573 =L= 8.14;
e1124.. 3.79 * b149 + x574 =L= 8.14;
e1125.. 3.79 * b150 + x575 =L= 8.14;
e1126.. 3.79 * b152 + x576 =L= 7.34;
e1127.. 3.79 * b153 + x577 =L= 7.34;
e1128.. 3.79 * b154 + x578 =L= 7.34;
e1129.. 3.79 * b155 + x579 =L= 7.34;
e1130.. 3.79 * b156 + x580 =L= 7.34;
e1131.. 3.79 * b158 + x576 =L= 7.85;
e1132.. 3.79 * b159 + x577 =L= 7.85;
e1133.. 3.79 * b160 + x578 =L= 7.85;
e1134.. 3.79 * b161 + x579 =L= 7.85;
e1135.. 3.79 * b162 + x580 =L= 7.85;
e1136.. 3.79 * b164 + x576 =L= 8.14;
e1137.. 3.79 * b165 + x577 =L= 8.14;
e1138.. 3.79 * b166 + x578 =L= 8.14;
e1139.. 3.79 * b167 + x579 =L= 8.14;
e1140.. 3.79 * b168 + x580 =L= 8.14;
e1141.. 3.82 * b98 + x581 =L= 7.279999999999999;
e1142.. 3.82 * b99 + x582 =L= 7.279999999999999;
e1143.. 3.82 * b100 + x583 =L= 7.279999999999999;
e1144.. 3.82 * b101 + x584 =L= 7.279999999999999;
e1145.. 3.82 * b102 + x585 =L= 7.279999999999999;
e1146.. 3.82 * b104 + x581 =L= 7.55;
e1147.. 3.82 * b105 + x582 =L= 7.55;
e1148.. 3.82 * b106 + x583 =L= 7.55;
e1149.. 3.82 * b107 + x584 =L= 7.55;
e1150.. 3.82 * b108 + x585 =L= 7.55;
e1151.. 3.82 * b110 + x581 =L= 8.17;
e1152.. 3.82 * b111 + x582 =L= 8.17;
e1153.. 3.82 * b112 + x583 =L= 8.17;
e1154.. 3.82 * b113 + x584 =L= 8.17;
e1155.. 3.82 * b114 + x585 =L= 8.17;
e1156.. 3.82 * b116 + x586 =L= 7.279999999999999;
e1157.. 3.82 * b117 + x587 =L= 7.279999999999999;
e1158.. 3.82 * b118 + x588 =L= 7.279999999999999;
e1159.. 3.82 * b119 + x589 =L= 7.279999999999999;
e1160.. 3.82 * b120 + x590 =L= 7.279999999999999;
e1161.. 3.82 * b122 + x586 =L= 7.55;
e1162.. 3.82 * b123 + x587 =L= 7.55;
e1163.. 3.82 * b124 + x588 =L= 7.55;
e1164.. 3.82 * b125 + x589 =L= 7.55;
e1165.. 3.82 * b126 + x590 =L= 7.55;
e1166.. 3.82 * b128 + x586 =L= 8.17;
e1167.. 3.82 * b129 + x587 =L= 8.17;
e1168.. 3.82 * b130 + x588 =L= 8.17;
e1169.. 3.82 * b131 + x589 =L= 8.17;
e1170.. 3.82 * b132 + x590 =L= 8.17;
e1171.. 3.82 * b134 + x591 =L= 7.279999999999999;
e1172.. 3.82 * b135 + x592 =L= 7.279999999999999;
e1173.. 3.82 * b136 + x593 =L= 7.279999999999999;
e1174.. 3.82 * b137 + x594 =L= 7.279999999999999;
e1175.. 3.82 * b138 + x595 =L= 7.279999999999999;
e1176.. 3.82 * b140 + x591 =L= 7.55;
e1177.. 3.82 * b141 + x592 =L= 7.55;
e1178.. 3.82 * b142 + x593 =L= 7.55;
e1179.. 3.82 * b143 + x594 =L= 7.55;
e1180.. 3.82 * b144 + x595 =L= 7.55;
e1181.. 3.82 * b146 + x591 =L= 8.17;
e1182.. 3.82 * b147 + x592 =L= 8.17;
e1183.. 3.82 * b148 + x593 =L= 8.17;
e1184.. 3.82 * b149 + x594 =L= 8.17;
e1185.. 3.82 * b150 + x595 =L= 8.17;
e1186.. 3.82 * b152 + x596 =L= 7.279999999999999;
e1187.. 3.82 * b153 + x597 =L= 7.279999999999999;
e1188.. 3.82 * b154 + x598 =L= 7.279999999999999;
e1189.. 3.82 * b155 + x599 =L= 7.279999999999999;
e1190.. 3.82 * b156 + x600 =L= 7.279999999999999;
e1191.. 3.82 * b158 + x596 =L= 7.55;
e1192.. 3.82 * b159 + x597 =L= 7.55;
e1193.. 3.82 * b160 + x598 =L= 7.55;
e1194.. 3.82 * b161 + x599 =L= 7.55;
e1195.. 3.82 * b162 + x600 =L= 7.55;
e1196.. 3.82 * b164 + x596 =L= 8.17;
e1197.. 3.82 * b165 + x597 =L= 8.17;
e1198.. 3.82 * b166 + x598 =L= 8.17;
e1199.. 3.82 * b167 + x599 =L= 8.17;
e1200.. 3.82 * b168 + x600 =L= 8.17;
e1201.. x409 + x415 + x421 + x427 + x601 =E= 7;
e1202.. x410 + x416 + x422 + x428 - x601 + x602 =E= 1;
e1203.. x411 + x417 + x423 + x429 - x602 + x603 =E= 17;
e1204.. x412 + x418 + x424 + x430 - x603 + x604 =E= 0;
e1205.. x413 + x419 + x425 + x431 - x604 + x605 =E= 0;
e1206.. x414 + x420 + x426 + x432 - x605 + x606 =E= 0;
e1207.. x433 + x439 + x445 + x451 + x607 =E= 15;
e1208.. x434 + x440 + x446 + x452 - x607 + x608 =E= 14;
e1209.. x435 + x441 + x447 + x453 - x608 + x609 =E= 8;
e1210.. x436 + x442 + x448 + x454 - x609 + x610 =E= 0;
e1211.. x437 + x443 + x449 + x455 - x610 + x611 =E= 0;
e1212.. x438 + x444 + x450 + x456 - x611 + x612 =E= 0;
e1213.. x457 + x463 + x469 + x475 + x613 =E= 6;
e1214.. x458 + x464 + x470 + x476 - x613 + x614 =E= 34;
e1215.. x459 + x465 + x471 + x477 - x614 + x615 =E= 5;
e1216.. x460 + x466 + x472 + x478 - x615 + x616 =E= 0;
e1217.. x461 + x467 + x473 + x479 - x616 + x617 =E= 0;
e1218.. x462 + x468 + x474 + x480 - x617 + x618 =E= 0;
e1219.. x241 + x247 - x409 - x433 - x457 + x619 =E= 0;
e1220.. x242 + x248 - x410 - x434 - x458 - x619 + x620 =E= 0;
e1221.. x243 + x249 - x411 - x435 - x459 - x620 + x621 =E= 0;
e1222.. x244 + x250 - x412 - x436 - x460 - x621 + x622 =E= 0;
e1223.. x245 + x251 - x413 - x437 - x461 - x622 + x623 =E= 0;
e1224.. x246 + x252 - x414 - x438 - x462 - x623 + x624 =E= 0;
e1225.. x253 + x259 - x415 - x439 - x463 + x625 =E= 0;
e1226.. x254 + x260 - x416 - x440 - x464 - x625 + x626 =E= 0;
e1227.. x255 + x261 - x417 - x441 - x465 - x626 + x627 =E= 0;
e1228.. x256 + x262 - x418 - x442 - x466 - x627 + x628 =E= 0;
e1229.. x257 + x263 - x419 - x443 - x467 - x628 + x629 =E= 0;
e1230.. x258 + x264 - x420 - x444 - x468 - x629 + x630 =E= 0;
e1231.. x265 + x271 - x421 - x445 - x469 + x631 =E= 0;
e1232.. x266 + x272 - x422 - x446 - x470 - x631 + x632 =E= 0;
e1233.. x267 + x273 - x423 - x447 - x471 - x632 + x633 =E= 0;
e1234.. x268 + x274 - x424 - x448 - x472 - x633 + x634 =E= 0;
e1235.. x269 + x275 - x425 - x449 - x473 - x634 + x635 =E= 0;
e1236.. x270 + x276 - x426 - x450 - x474 - x635 + x636 =E= 0;
e1237.. x277 + x283 - x427 - x451 - x475 + x637 =E= 0;
e1238.. x278 + x284 - x428 - x452 - x476 - x637 + x638 =E= 0;
e1239.. x279 + x285 - x429 - x453 - x477 - x638 + x639 =E= 0;
e1240.. x280 + x286 - x430 - x454 - x478 - x639 + x640 =E= 0;
e1241.. x281 + x287 - x431 - x455 - x479 - x640 + x641 =E= 0;
e1242.. x282 + x288 - x432 - x456 - x480 - x641 + x642 =E= 0;
e1243.. -x241 - x253 - x265 - x277 + x289 + x295 + x301 + x307 + x643 =E= 0;
e1244.. -x242 - x254 - x266 - x278 + x290 + x296 + x302 + x308 - x643 + x644
=E= 0;
e1245.. -x243 - x255 - x267 - x279 + x291 + x297 + x303 + x309 - x644 + x645
=E= 0;
e1246.. -x244 - x256 - x268 - x280 + x292 + x298 + x304 + x310 - x645 + x646
=E= 0;
e1247.. -x245 - x257 - x269 - x281 + x293 + x299 + x305 + x311 - x646 + x647
=E= 0;
e1248.. -x246 - x258 - x270 - x282 + x294 + x300 + x306 + x312 - x647 + x648
=E= 0;
e1249.. -x247 - x259 - x271 - x283 + x313 + x319 + x325 + x331 + x649 =E= 0;
e1250.. -x248 - x260 - x272 - x284 + x314 + x320 + x326 + x332 - x649 + x650
=E= 0;
e1251.. -x249 - x261 - x273 - x285 + x315 + x321 + x327 + x333 - x650 + x651
=E= 0;
e1252.. -x250 - x262 - x274 - x286 + x316 + x322 + x328 + x334 - x651 + x652
=E= 0;
e1253.. -x251 - x263 - x275 - x287 + x317 + x323 + x329 + x335 - x652 + x653
=E= 0;
e1254.. -x252 - x264 - x276 - x288 + x318 + x324 + x330 + x336 - x653 + x654
=E= 0;
e1255.. -x289 - x313 + x337 + x343 + x349 + x655 =E= 0;
e1256.. -x290 - x314 + x338 + x344 + x350 - x655 + x656 =E= 0;
e1257.. -x291 - x315 + x339 + x345 + x351 - x656 + x657 =E= 0;
e1258.. -x292 - x316 + x340 + x346 + x352 - x657 + x658 =E= 0;
e1259.. -x293 - x317 + x341 + x347 + x353 - x658 + x659 =E= 0;
e1260.. -x294 - x318 + x342 + x348 + x354 - x659 + x660 =E= 0;
e1261.. -x295 - x319 + x355 + x361 + x367 + x661 =E= 0;
e1262.. -x296 - x320 + x356 + x362 + x368 - x661 + x662 =E= 0;
e1263.. -x297 - x321 + x357 + x363 + x369 - x662 + x663 =E= 0;
e1264.. -x298 - x322 + x358 + x364 + x370 - x663 + x664 =E= 0;
e1265.. -x299 - x323 + x359 + x365 + x371 - x664 + x665 =E= 0;
e1266.. -x300 - x324 + x360 + x366 + x372 - x665 + x666 =E= 0;
e1267.. -x301 - x325 + x373 + x379 + x385 + x667 =E= 0;
e1268.. -x302 - x326 + x374 + x380 + x386 - x667 + x668 =E= 0;
e1269.. -x303 - x327 + x375 + x381 + x387 - x668 + x669 =E= 0;
e1270.. -x304 - x328 + x376 + x382 + x388 - x669 + x670 =E= 0;
e1271.. -x305 - x329 + x377 + x383 + x389 - x670 + x671 =E= 0;
e1272.. -x306 - x330 + x378 + x384 + x390 - x671 + x672 =E= 0;
e1273.. -x307 - x331 + x391 + x397 + x403 + x673 =E= 0;
e1274.. -x308 - x332 + x392 + x398 + x404 - x673 + x674 =E= 0;
e1275.. -x309 - x333 + x393 + x399 + x405 - x674 + x675 =E= 0;
e1276.. -x310 - x334 + x394 + x400 + x406 - x675 + x676 =E= 0;
e1277.. -x311 - x335 + x395 + x401 + x407 - x676 + x677 =E= 0;
e1278.. -x312 - x336 + x396 + x402 + x408 - x677 + x678 =E= 0;
e1279.. -x337 - x355 - x373 - x391 + x679 + x680 =E= 0;
e1280.. -x338 - x356 - x374 - x392 - x679 + x681 + x682 =E= 0;
e1281.. -x339 - x357 - x375 - x393 - x681 + x683 + x684 =E= 0;
e1282.. -x340 - x358 - x376 - x394 - x683 + x685 + x950 =E= 0;
e1283.. -x341 - x359 - x377 - x395 - x685 + x686 + x951 =E= 0;
e1284.. -x342 - x360 - x378 - x396 - x686 + x687 + x952 =E= 0;
e1285.. -x343 - x361 - x379 - x397 + x688 + x689 =E= 0;
e1286.. -x344 - x362 - x380 - x398 - x688 + x690 + x691 =E= 0;
e1287.. -x345 - x363 - x381 - x399 - x690 + x692 + x693 =E= 0;
e1288.. -x346 - x364 - x382 - x400 - x692 + x694 + x953 =E= 0;
e1289.. -x347 - x365 - x383 - x401 - x694 + x695 + x954 =E= 0;
e1290.. -x348 - x366 - x384 - x402 - x695 + x696 + x955 =E= 0;
e1291.. -x349 - x367 - x385 - x403 + x697 + x698 =E= 0;
e1292.. -x350 - x368 - x386 - x404 - x697 + x699 + x700 =E= 0;
e1293.. -x351 - x369 - x387 - x405 - x699 + x701 + x702 =E= 0;
e1294.. -x352 - x370 - x388 - x406 - x701 + x703 + x704 =E= 0;
e1295.. -x353 - x371 - x389 - x407 - x703 + x705 + x706 =E= 0;
e1296.. -x354 - x372 - x390 - x408 - x705 + x707 + x708 =E= 0;
e1297.. x619 * x709 - 2.95 * x409 - 0.16 * x433 - 0.47 * x457 =E= 0;
e1298.. x620 * x710 - x619 * x709 + x242 * x709 + x248 * x709 - 2.95 * x410 -
0.16 * x434 - 0.47 * x458 =E= 0;
e1299.. x621 * x711 - x620 * x710 + x243 * x710 + x249 * x710 - 2.95 * x411 -
0.16 * x435 - 0.47 * x459 =E= 0;
e1300.. x622 * x712 - x621 * x711 + x244 * x711 + x250 * x711 - 2.95 * x412 -
0.16 * x436 - 0.47 * x460 =E= 0;
e1301.. x623 * x713 - x622 * x712 + x245 * x712 + x251 * x712 - 2.95 * x413 -
0.16 * x437 - 0.47 * x461 =E= 0;
e1302.. x624 * x714 - x623 * x713 + x246 * x713 + x252 * x713 - 2.95 * x414 -
0.16 * x438 - 0.47 * x462 =E= 0;
e1303.. x625 * x715 - 2.95 * x415 - 0.16 * x439 - 0.47 * x463 =E= 0;
e1304.. x626 * x716 - x625 * x715 + x254 * x715 + x260 * x715 - 2.95 * x416 -
0.16 * x440 - 0.47 * x464 =E= 0;
e1305.. x627 * x717 - x626 * x716 + x255 * x716 + x261 * x716 - 2.95 * x417 -
0.16 * x441 - 0.47 * x465 =E= 0;
e1306.. x628 * x718 - x627 * x717 + x256 * x717 + x262 * x717 - 2.95 * x418 -
0.16 * x442 - 0.47 * x466 =E= 0;
e1307.. x629 * x719 - x628 * x718 + x257 * x718 + x263 * x718 - 2.95 * x419 -
0.16 * x443 - 0.47 * x467 =E= 0;
e1308.. x630 * x720 - x629 * x719 + x258 * x719 + x264 * x719 - 2.95 * x420 -
0.16 * x444 - 0.47 * x468 =E= 0;
e1309.. x631 * x721 - 2.95 * x421 - 0.16 * x445 - 0.47 * x469 =E= 0;
e1310.. x632 * x722 - x631 * x721 + x266 * x721 + x272 * x721 - 2.95 * x422 -
0.16 * x446 - 0.47 * x470 =E= 0;
e1311.. x633 * x723 - x632 * x722 + x267 * x722 + x273 * x722 - 2.95 * x423 -
0.16 * x447 - 0.47 * x471 =E= 0;
e1312.. x634 * x724 - x633 * x723 + x268 * x723 + x274 * x723 - 2.95 * x424 -
0.16 * x448 - 0.47 * x472 =E= 0;
e1313.. x635 * x725 - x634 * x724 + x269 * x724 + x275 * x724 - 2.95 * x425 -
0.16 * x449 - 0.47 * x473 =E= 0;
e1314.. x636 * x726 - x635 * x725 + x270 * x725 + x276 * x725 - 2.95 * x426 -
0.16 * x450 - 0.47 * x474 =E= 0;
e1315.. x637 * x727 - 2.95 * x427 - 0.16 * x451 - 0.47 * x475 =E= 0;
e1316.. x638 * x728 - x637 * x727 + x278 * x727 + x284 * x727 - 2.95 * x428 -
0.16 * x452 - 0.47 * x476 =E= 0;
e1317.. x639 * x729 - x638 * x728 + x279 * x728 + x285 * x728 - 2.95 * x429 -
0.16 * x453 - 0.47 * x477 =E= 0;
e1318.. x640 * x730 - x639 * x729 + x280 * x729 + x286 * x729 - 2.95 * x430 -
0.16 * x454 - 0.47 * x478 =E= 0;
e1319.. x641 * x731 - x640 * x730 + x281 * x730 + x287 * x730 - 2.95 * x431 -
0.16 * x455 - 0.47 * x479 =E= 0;
e1320.. x642 * x732 - x641 * x731 + x282 * x731 + x288 * x731 - 2.95 * x432 -
0.16 * x456 - 0.47 * x480 =E= 0;
e1321.. x643 * x733 =E= 0;
e1322.. x644 * x734 - x242 * x709 - x254 * x715 - x266 * x721 - x278 * x727 -
x643 * x733 - (-x290 * x733 - x296 * x733 - x302 * x733 - x308 * x733)
=E= 0;
e1323.. x645 * x735 - x243 * x710 - x255 * x716 - x267 * x722 - x279 * x728 -
x644 * x734 - (-x291 * x734 - x297 * x734 - x303 * x734 - x309 * x734)
=E= 0;
e1324.. x646 * x736 - x244 * x711 - x256 * x717 - x268 * x723 - x280 * x729 -
x645 * x735 - (-x292 * x735 - x298 * x735 - x304 * x735 - x310 * x735)
=E= 0;
e1325.. x647 * x737 - x245 * x712 - x257 * x718 - x269 * x724 - x281 * x730 -
x646 * x736 - (-x293 * x736 - x299 * x736 - x305 * x736 - x311 * x736)
=E= 0;
e1326.. x648 * x738 - x246 * x713 - x258 * x719 - x270 * x725 - x282 * x731 -
x647 * x737 - (-x294 * x737 - x300 * x737 - x306 * x737 - x312 * x737)
=E= 0;
e1327.. x649 * x739 =E= 0;
e1328.. x650 * x740 - x248 * x709 - x260 * x715 - x272 * x721 - x284 * x727 -
x649 * x739 - (-x314 * x739 - x320 * x739 - x326 * x739 - x332 * x739)
=E= 0;
e1329.. x651 * x741 - x249 * x710 - x261 * x716 - x273 * x722 - x285 * x728 -
x650 * x740 - (-x315 * x740 - x321 * x740 - x327 * x740 - x333 * x740)
=E= 0;
e1330.. x652 * x742 - x250 * x711 - x262 * x717 - x274 * x723 - x286 * x729 -
x651 * x741 - (-x316 * x741 - x322 * x741 - x328 * x741 - x334 * x741)
=E= 0;
e1331.. x653 * x743 - x251 * x712 - x263 * x718 - x275 * x724 - x287 * x730 -
x652 * x742 - (-x317 * x742 - x323 * x742 - x329 * x742 - x335 * x742)
=E= 0;
e1332.. x654 * x744 - x252 * x713 - x264 * x719 - x276 * x725 - x288 * x731 -
x653 * x743 - (-x318 * x743 - x324 * x743 - x330 * x743 - x336 * x743)
=E= 0;
e1333.. x655 * x481 =E= 0;
e1334.. x656 * x482 - x290 * x733 - x314 * x739 - x655 * x481 - (-x338 * x481
- x344 * x481 - x350 * x481) =E= 0;
e1335.. x657 * x483 - x291 * x734 - x315 * x740 - x656 * x482 - (-x339 * x482
- x345 * x482 - x351 * x482) =E= 0;
e1336.. x658 * x484 - x292 * x735 - x316 * x741 - x657 * x483 - (-x340 * x483
- x346 * x483 - x352 * x483) =E= 0;
e1337.. x659 * x485 - x293 * x736 - x317 * x742 - x658 * x484 - (-x341 * x484
- x347 * x484 - x353 * x484) =E= 0;
e1338.. x660 * x745 - x294 * x737 - x318 * x743 - x659 * x485 - (-x342 * x485
- x348 * x485 - x354 * x485) =E= 0;
e1339.. x661 * x486 =E= 0;
e1340.. x662 * x487 - x296 * x733 - x320 * x739 - x661 * x486 - (-x356 * x486
- x362 * x486 - x368 * x486) =E= 0;
e1341.. x663 * x488 - x297 * x734 - x321 * x740 - x662 * x487 - (-x357 * x487
- x363 * x487 - x369 * x487) =E= 0;
e1342.. x664 * x489 - x298 * x735 - x322 * x741 - x663 * x488 - (-x358 * x488
- x364 * x488 - x370 * x488) =E= 0;
e1343.. x665 * x490 - x299 * x736 - x323 * x742 - x664 * x489 - (-x359 * x489
- x365 * x489 - x371 * x489) =E= 0;
e1344.. x666 * x746 - x300 * x737 - x324 * x743 - x665 * x490 - (-x360 * x490
- x366 * x490 - x372 * x490) =E= 0;
e1345.. x667 * x491 =E= 0;
e1346.. x668 * x492 - x302 * x733 - x326 * x739 - x667 * x491 - (-x374 * x491
- x380 * x491 - x386 * x491) =E= 0;
e1347.. x669 * x493 - x303 * x734 - x327 * x740 - x668 * x492 - (-x375 * x492
- x381 * x492 - x387 * x492) =E= 0;
e1348.. x670 * x494 - x304 * x735 - x328 * x741 - x669 * x493 - (-x376 * x493
- x382 * x493 - x388 * x493) =E= 0;
e1349.. x671 * x495 - x305 * x736 - x329 * x742 - x670 * x494 - (-x377 * x494
- x383 * x494 - x389 * x494) =E= 0;
e1350.. x672 * x747 - x306 * x737 - x330 * x743 - x671 * x495 - (-x378 * x495
- x384 * x495 - x390 * x495) =E= 0;
e1351.. x673 * x496 =E= 0;
e1352.. x674 * x497 - x308 * x733 - x332 * x739 - x673 * x496 - (-x392 * x496
- x398 * x496 - x404 * x496) =E= 0;
e1353.. x675 * x498 - x309 * x734 - x333 * x740 - x674 * x497 - (-x393 * x497
- x399 * x497 - x405 * x497) =E= 0;
e1354.. x676 * x499 - x310 * x735 - x334 * x741 - x675 * x498 - (-x394 * x498
- x400 * x498 - x406 * x498) =E= 0;
e1355.. x677 * x500 - x311 * x736 - x335 * x742 - x676 * x499 - (-x395 * x499
- x401 * x499 - x407 * x499) =E= 0;
e1356.. x678 * x748 - x312 * x737 - x336 * x743 - x677 * x500 - (-x396 * x500
- x402 * x500 - x408 * x500) =E= 0;
e1357.. x619 * x749 - 1.16 * x409 - 3.01 * x433 - 2.81 * x457 =E= 0;
e1358.. x620 * x750 - x619 * x749 + x242 * x749 + x248 * x749 - 1.16 * x410 -
3.01 * x434 - 2.81 * x458 =E= 0;
e1359.. x621 * x751 - x620 * x750 + x243 * x750 + x249 * x750 - 1.16 * x411 -
3.01 * x435 - 2.81 * x459 =E= 0;
e1360.. x622 * x752 - x621 * x751 + x244 * x751 + x250 * x751 - 1.16 * x412 -
3.01 * x436 - 2.81 * x460 =E= 0;
e1361.. x623 * x753 - x622 * x752 + x245 * x752 + x251 * x752 - 1.16 * x413 -
3.01 * x437 - 2.81 * x461 =E= 0;
e1362.. x624 * x754 - x623 * x753 + x246 * x753 + x252 * x753 - 1.16 * x414 -
3.01 * x438 - 2.81 * x462 =E= 0;
e1363.. x625 * x755 - 1.16 * x415 - 3.01 * x439 - 2.81 * x463 =E= 0;
e1364.. x626 * x756 - x625 * x755 + x254 * x755 + x260 * x755 - 1.16 * x416 -
3.01 * x440 - 2.81 * x464 =E= 0;
e1365.. x627 * x757 - x626 * x756 + x255 * x756 + x261 * x756 - 1.16 * x417 -
3.01 * x441 - 2.81 * x465 =E= 0;
e1366.. x628 * x758 - x627 * x757 + x256 * x757 + x262 * x757 - 1.16 * x418 -
3.01 * x442 - 2.81 * x466 =E= 0;
e1367.. x629 * x759 - x628 * x758 + x257 * x758 + x263 * x758 - 1.16 * x419 -
3.01 * x443 - 2.81 * x467 =E= 0;
e1368.. x630 * x760 - x629 * x759 + x258 * x759 + x264 * x759 - 1.16 * x420 -
3.01 * x444 - 2.81 * x468 =E= 0;
e1369.. x631 * x761 - 1.16 * x421 - 3.01 * x445 - 2.81 * x469 =E= 0;
e1370.. x632 * x762 - x631 * x761 + x266 * x761 + x272 * x761 - 1.16 * x422 -
3.01 * x446 - 2.81 * x470 =E= 0;
e1371.. x633 * x763 - x632 * x762 + x267 * x762 + x273 * x762 - 1.16 * x423 -
3.01 * x447 - 2.81 * x471 =E= 0;
e1372.. x634 * x764 - x633 * x763 + x268 * x763 + x274 * x763 - 1.16 * x424 -
3.01 * x448 - 2.81 * x472 =E= 0;
e1373.. x635 * x765 - x634 * x764 + x269 * x764 + x275 * x764 - 1.16 * x425 -
3.01 * x449 - 2.81 * x473 =E= 0;
e1374.. x636 * x766 - x635 * x765 + x270 * x765 + x276 * x765 - 1.16 * x426 -
3.01 * x450 - 2.81 * x474 =E= 0;
e1375.. x637 * x767 - 1.16 * x427 - 3.01 * x451 - 2.81 * x475 =E= 0;
e1376.. x638 * x768 - x637 * x767 + x278 * x767 + x284 * x767 - 1.16 * x428 -
3.01 * x452 - 2.81 * x476 =E= 0;
e1377.. x639 * x769 - x638 * x768 + x279 * x768 + x285 * x768 - 1.16 * x429 -
3.01 * x453 - 2.81 * x477 =E= 0;
e1378.. x640 * x770 - x639 * x769 + x280 * x769 + x286 * x769 - 1.16 * x430 -
3.01 * x454 - 2.81 * x478 =E= 0;
e1379.. x641 * x771 - x640 * x770 + x281 * x770 + x287 * x770 - 1.16 * x431 -
3.01 * x455 - 2.81 * x479 =E= 0;
e1380.. x642 * x772 - x641 * x771 + x282 * x771 + x288 * x771 - 1.16 * x432 -
3.01 * x456 - 2.81 * x480 =E= 0;
e1381.. x643 * x773 =E= 0;
e1382.. x644 * x774 - x242 * x749 - x254 * x755 - x266 * x761 - x278 * x767 -
x643 * x773 - (-x290 * x773 - x296 * x773 - x302 * x773 - x308 * x773)
=E= 0;
e1383.. x645 * x775 - x243 * x750 - x255 * x756 - x267 * x762 - x279 * x768 -
x644 * x774 - (-x291 * x774 - x297 * x774 - x303 * x774 - x309 * x774)
=E= 0;
e1384.. x646 * x776 - x244 * x751 - x256 * x757 - x268 * x763 - x280 * x769 -
x645 * x775 - (-x292 * x775 - x298 * x775 - x304 * x775 - x310 * x775)
=E= 0;
e1385.. x647 * x777 - x245 * x752 - x257 * x758 - x269 * x764 - x281 * x770 -
x646 * x776 - (-x293 * x776 - x299 * x776 - x305 * x776 - x311 * x776)
=E= 0;
e1386.. x648 * x778 - x246 * x753 - x258 * x759 - x270 * x765 - x282 * x771 -
x647 * x777 - (-x294 * x777 - x300 * x777 - x306 * x777 - x312 * x777)
=E= 0;
e1387.. x649 * x779 =E= 0;
e1388.. x650 * x780 - x248 * x749 - x260 * x755 - x272 * x761 - x284 * x767 -
x649 * x779 - (-x314 * x779 - x320 * x779 - x326 * x779 - x332 * x779)
=E= 0;
e1389.. x651 * x781 - x249 * x750 - x261 * x756 - x273 * x762 - x285 * x768 -
x650 * x780 - (-x315 * x780 - x321 * x780 - x327 * x780 - x333 * x780)
=E= 0;
e1390.. x652 * x782 - x250 * x751 - x262 * x757 - x274 * x763 - x286 * x769 -
x651 * x781 - (-x316 * x781 - x322 * x781 - x328 * x781 - x334 * x781)
=E= 0;
e1391.. x653 * x783 - x251 * x752 - x263 * x758 - x275 * x764 - x287 * x770 -
x652 * x782 - (-x317 * x782 - x323 * x782 - x329 * x782 - x335 * x782)
=E= 0;
e1392.. x654 * x784 - x252 * x753 - x264 * x759 - x276 * x765 - x288 * x771 -
x653 * x783 - (-x318 * x783 - x324 * x783 - x330 * x783 - x336 * x783)
=E= 0;
e1393.. x655 * x501 =E= 0;
e1394.. x656 * x502 - x290 * x773 - x314 * x779 - x655 * x501 - (-x338 * x501
- x344 * x501 - x350 * x501) =E= 0;
e1395.. x657 * x503 - x291 * x774 - x315 * x780 - x656 * x502 - (-x339 * x502
- x345 * x502 - x351 * x502) =E= 0;
e1396.. x658 * x504 - x292 * x775 - x316 * x781 - x657 * x503 - (-x340 * x503
- x346 * x503 - x352 * x503) =E= 0;
e1397.. x659 * x505 - x293 * x776 - x317 * x782 - x658 * x504 - (-x341 * x504
- x347 * x504 - x353 * x504) =E= 0;
e1398.. x660 * x785 - x294 * x777 - x318 * x783 - x659 * x505 - (-x342 * x505
- x348 * x505 - x354 * x505) =E= 0;
e1399.. x661 * x506 =E= 0;
e1400.. x662 * x507 - x296 * x773 - x320 * x779 - x661 * x506 - (-x356 * x506
- x362 * x506 - x368 * x506) =E= 0;
e1401.. x663 * x508 - x297 * x774 - x321 * x780 - x662 * x507 - (-x357 * x507
- x363 * x507 - x369 * x507) =E= 0;
e1402.. x664 * x509 - x298 * x775 - x322 * x781 - x663 * x508 - (-x358 * x508
- x364 * x508 - x370 * x508) =E= 0;
e1403.. x665 * x510 - x299 * x776 - x323 * x782 - x664 * x509 - (-x359 * x509
- x365 * x509 - x371 * x509) =E= 0;
e1404.. x666 * x786 - x300 * x777 - x324 * x783 - x665 * x510 - (-x360 * x510
- x366 * x510 - x372 * x510) =E= 0;
e1405.. x667 * x511 =E= 0;
e1406.. x668 * x512 - x302 * x773 - x326 * x779 - x667 * x511 - (-x374 * x511
- x380 * x511 - x386 * x511) =E= 0;
e1407.. x669 * x513 - x303 * x774 - x327 * x780 - x668 * x512 - (-x375 * x512
- x381 * x512 - x387 * x512) =E= 0;
e1408.. x670 * x514 - x304 * x775 - x328 * x781 - x669 * x513 - (-x376 * x513
- x382 * x513 - x388 * x513) =E= 0;
e1409.. x671 * x515 - x305 * x776 - x329 * x782 - x670 * x514 - (-x377 * x514
- x383 * x514 - x389 * x514) =E= 0;
e1410.. x672 * x787 - x306 * x777 - x330 * x783 - x671 * x515 - (-x378 * x515
- x384 * x515 - x390 * x515) =E= 0;
e1411.. x673 * x516 =E= 0;
e1412.. x674 * x517 - x308 * x773 - x332 * x779 - x673 * x516 - (-x392 * x516
- x398 * x516 - x404 * x516) =E= 0;
e1413.. x675 * x518 - x309 * x774 - x333 * x780 - x674 * x517 - (-x393 * x517
- x399 * x517 - x405 * x517) =E= 0;
e1414.. x676 * x519 - x310 * x775 - x334 * x781 - x675 * x518 - (-x394 * x518
- x400 * x518 - x406 * x518) =E= 0;
e1415.. x677 * x520 - x311 * x776 - x335 * x782 - x676 * x519 - (-x395 * x519
- x401 * x519 - x407 * x519) =E= 0;
e1416.. x678 * x788 - x312 * x777 - x336 * x783 - x677 * x520 - (-x396 * x520
- x402 * x520 - x408 * x520) =E= 0;
e1417.. x619 * x789 - 3.58 * x409 - 3.51 * x433 - 2.1 * x457 =E= 0;
e1418.. x620 * x790 - x619 * x789 + x242 * x789 + x248 * x789 - 3.58 * x410 -
3.51 * x434 - 2.1 * x458 =E= 0;
e1419.. x621 * x791 - x620 * x790 + x243 * x790 + x249 * x790 - 3.58 * x411 -
3.51 * x435 - 2.1 * x459 =E= 0;
e1420.. x622 * x792 - x621 * x791 + x244 * x791 + x250 * x791 - 3.58 * x412 -
3.51 * x436 - 2.1 * x460 =E= 0;
e1421.. x623 * x793 - x622 * x792 + x245 * x792 + x251 * x792 - 3.58 * x413 -
3.51 * x437 - 2.1 * x461 =E= 0;
e1422.. x624 * x794 - x623 * x793 + x246 * x793 + x252 * x793 - 3.58 * x414 -
3.51 * x438 - 2.1 * x462 =E= 0;
e1423.. x625 * x795 - 3.58 * x415 - 3.51 * x439 - 2.1 * x463 =E= 0;
e1424.. x626 * x796 - x625 * x795 + x254 * x795 + x260 * x795 - 3.58 * x416 -
3.51 * x440 - 2.1 * x464 =E= 0;
e1425.. x627 * x797 - x626 * x796 + x255 * x796 + x261 * x796 - 3.58 * x417 -
3.51 * x441 - 2.1 * x465 =E= 0;
e1426.. x628 * x798 - x627 * x797 + x256 * x797 + x262 * x797 - 3.58 * x418 -
3.51 * x442 - 2.1 * x466 =E= 0;
e1427.. x629 * x799 - x628 * x798 + x257 * x798 + x263 * x798 - 3.58 * x419 -
3.51 * x443 - 2.1 * x467 =E= 0;
e1428.. x630 * x800 - x629 * x799 + x258 * x799 + x264 * x799 - 3.58 * x420 -
3.51 * x444 - 2.1 * x468 =E= 0;
e1429.. x631 * x801 - 3.58 * x421 - 3.51 * x445 - 2.1 * x469 =E= 0;
e1430.. x632 * x802 - x631 * x801 + x266 * x801 + x272 * x801 - 3.58 * x422 -
3.51 * x446 - 2.1 * x470 =E= 0;
e1431.. x633 * x803 - x632 * x802 + x267 * x802 + x273 * x802 - 3.58 * x423 -
3.51 * x447 - 2.1 * x471 =E= 0;
e1432.. x634 * x804 - x633 * x803 + x268 * x803 + x274 * x803 - 3.58 * x424 -
3.51 * x448 - 2.1 * x472 =E= 0;
e1433.. x635 * x805 - x634 * x804 + x269 * x804 + x275 * x804 - 3.58 * x425 -
3.51 * x449 - 2.1 * x473 =E= 0;
e1434.. x636 * x806 - x635 * x805 + x270 * x805 + x276 * x805 - 3.58 * x426 -
3.51 * x450 - 2.1 * x474 =E= 0;
e1435.. x637 * x807 - 3.58 * x427 - 3.51 * x451 - 2.1 * x475 =E= 0;
e1436.. x638 * x808 - x637 * x807 + x278 * x807 + x284 * x807 - 3.58 * x428 -
3.51 * x452 - 2.1 * x476 =E= 0;
e1437.. x639 * x809 - x638 * x808 + x279 * x808 + x285 * x808 - 3.58 * x429 -
3.51 * x453 - 2.1 * x477 =E= 0;
e1438.. x640 * x810 - x639 * x809 + x280 * x809 + x286 * x809 - 3.58 * x430 -
3.51 * x454 - 2.1 * x478 =E= 0;
e1439.. x641 * x811 - x640 * x810 + x281 * x810 + x287 * x810 - 3.58 * x431 -
3.51 * x455 - 2.1 * x479 =E= 0;
e1440.. x642 * x812 - x641 * x811 + x282 * x811 + x288 * x811 - 3.58 * x432 -
3.51 * x456 - 2.1 * x480 =E= 0;
e1441.. x643 * x813 =E= 0;
e1442.. x644 * x814 - x242 * x789 - x254 * x795 - x266 * x801 - x278 * x807 -
x643 * x813 - (-x290 * x813 - x296 * x813 - x302 * x813 - x308 * x813)
=E= 0;
e1443.. x645 * x815 - x243 * x790 - x255 * x796 - x267 * x802 - x279 * x808 -
x644 * x814 - (-x291 * x814 - x297 * x814 - x303 * x814 - x309 * x814)
=E= 0;
e1444.. x646 * x816 - x244 * x791 - x256 * x797 - x268 * x803 - x280 * x809 -
x645 * x815 - (-x292 * x815 - x298 * x815 - x304 * x815 - x310 * x815)
=E= 0;
e1445.. x647 * x817 - x245 * x792 - x257 * x798 - x269 * x804 - x281 * x810 -
x646 * x816 - (-x293 * x816 - x299 * x816 - x305 * x816 - x311 * x816)
=E= 0;
e1446.. x648 * x818 - x246 * x793 - x258 * x799 - x270 * x805 - x282 * x811 -
x647 * x817 - (-x294 * x817 - x300 * x817 - x306 * x817 - x312 * x817)
=E= 0;
e1447.. x649 * x819 =E= 0;
e1448.. x650 * x820 - x248 * x789 - x260 * x795 - x272 * x801 - x284 * x807 -
x649 * x819 - (-x314 * x819 - x320 * x819 - x326 * x819 - x332 * x819)
=E= 0;
e1449.. x651 * x821 - x249 * x790 - x261 * x796 - x273 * x802 - x285 * x808 -
x650 * x820 - (-x315 * x820 - x321 * x820 - x327 * x820 - x333 * x820)
=E= 0;
e1450.. x652 * x822 - x250 * x791 - x262 * x797 - x274 * x803 - x286 * x809 -
x651 * x821 - (-x316 * x821 - x322 * x821 - x328 * x821 - x334 * x821)
=E= 0;
e1451.. x653 * x823 - x251 * x792 - x263 * x798 - x275 * x804 - x287 * x810 -
x652 * x822 - (-x317 * x822 - x323 * x822 - x329 * x822 - x335 * x822)
=E= 0;
e1452.. x654 * x824 - x252 * x793 - x264 * x799 - x276 * x805 - x288 * x811 -
x653 * x823 - (-x318 * x823 - x324 * x823 - x330 * x823 - x336 * x823)
=E= 0;
e1453.. x655 * x521 =E= 0;
e1454.. x656 * x522 - x290 * x813 - x314 * x819 - x655 * x521 - (-x338 * x521
- x344 * x521 - x350 * x521) =E= 0;
e1455.. x657 * x523 - x291 * x814 - x315 * x820 - x656 * x522 - (-x339 * x522
- x345 * x522 - x351 * x522) =E= 0;
e1456.. x658 * x524 - x292 * x815 - x316 * x821 - x657 * x523 - (-x340 * x523
- x346 * x523 - x352 * x523) =E= 0;
e1457.. x659 * x525 - x293 * x816 - x317 * x822 - x658 * x524 - (-x341 * x524
- x347 * x524 - x353 * x524) =E= 0;
e1458.. x660 * x825 - x294 * x817 - x318 * x823 - x659 * x525 - (-x342 * x525
- x348 * x525 - x354 * x525) =E= 0;
e1459.. x661 * x526 =E= 0;
e1460.. x662 * x527 - x296 * x813 - x320 * x819 - x661 * x526 - (-x356 * x526
- x362 * x526 - x368 * x526) =E= 0;
e1461.. x663 * x528 - x297 * x814 - x321 * x820 - x662 * x527 - (-x357 * x527
- x363 * x527 - x369 * x527) =E= 0;
e1462.. x664 * x529 - x298 * x815 - x322 * x821 - x663 * x528 - (-x358 * x528
- x364 * x528 - x370 * x528) =E= 0;
e1463.. x665 * x530 - x299 * x816 - x323 * x822 - x664 * x529 - (-x359 * x529
- x365 * x529 - x371 * x529) =E= 0;
e1464.. x666 * x826 - x300 * x817 - x324 * x823 - x665 * x530 - (-x360 * x530
- x366 * x530 - x372 * x530) =E= 0;
e1465.. x667 * x531 =E= 0;
e1466.. x668 * x532 - x302 * x813 - x326 * x819 - x667 * x531 - (-x374 * x531
- x380 * x531 - x386 * x531) =E= 0;
e1467.. x669 * x533 - x303 * x814 - x327 * x820 - x668 * x532 - (-x375 * x532
- x381 * x532 - x387 * x532) =E= 0;
e1468.. x670 * x534 - x304 * x815 - x328 * x821 - x669 * x533 - (-x376 * x533
- x382 * x533 - x388 * x533) =E= 0;
e1469.. x671 * x535 - x305 * x816 - x329 * x822 - x670 * x534 - (-x377 * x534
- x383 * x534 - x389 * x534) =E= 0;
e1470.. x672 * x827 - x306 * x817 - x330 * x823 - x671 * x535 - (-x378 * x535
- x384 * x535 - x390 * x535) =E= 0;
e1471.. x673 * x536 =E= 0;
e1472.. x674 * x537 - x308 * x813 - x332 * x819 - x673 * x536 - (-x392 * x536
- x398 * x536 - x404 * x536) =E= 0;
e1473.. x675 * x538 - x309 * x814 - x333 * x820 - x674 * x537 - (-x393 * x537
- x399 * x537 - x405 * x537) =E= 0;
e1474.. x676 * x539 - x310 * x815 - x334 * x821 - x675 * x538 - (-x394 * x538
- x400 * x538 - x406 * x538) =E= 0;
e1475.. x677 * x540 - x311 * x816 - x335 * x822 - x676 * x539 - (-x395 * x539
- x401 * x539 - x407 * x539) =E= 0;
e1476.. x678 * x828 - x312 * x817 - x336 * x823 - x677 * x540 - (-x396 * x540
- x402 * x540 - x408 * x540) =E= 0;
e1477.. x619 * x829 - 2.25 * x409 - 1.39 * x433 - 4.35 * x457 =E= 0;
e1478.. x620 * x830 - x619 * x829 + x242 * x829 + x248 * x829 - 2.25 * x410 -
1.39 * x434 - 4.35 * x458 =E= 0;
e1479.. x621 * x831 - x620 * x830 + x243 * x830 + x249 * x830 - 2.25 * x411 -
1.39 * x435 - 4.35 * x459 =E= 0;
e1480.. x622 * x832 - x621 * x831 + x244 * x831 + x250 * x831 - 2.25 * x412 -
1.39 * x436 - 4.35 * x460 =E= 0;
e1481.. x623 * x833 - x622 * x832 + x245 * x832 + x251 * x832 - 2.25 * x413 -
1.39 * x437 - 4.35 * x461 =E= 0;
e1482.. x624 * x834 - x623 * x833 + x246 * x833 + x252 * x833 - 2.25 * x414 -
1.39 * x438 - 4.35 * x462 =E= 0;
e1483.. x625 * x835 - 2.25 * x415 - 1.39 * x439 - 4.35 * x463 =E= 0;
e1484.. x626 * x836 - x625 * x835 + x254 * x835 + x260 * x835 - 2.25 * x416 -
1.39 * x440 - 4.35 * x464 =E= 0;
e1485.. x627 * x837 - x626 * x836 + x255 * x836 + x261 * x836 - 2.25 * x417 -
1.39 * x441 - 4.35 * x465 =E= 0;
e1486.. x628 * x838 - x627 * x837 + x256 * x837 + x262 * x837 - 2.25 * x418 -
1.39 * x442 - 4.35 * x466 =E= 0;
e1487.. x629 * x839 - x628 * x838 + x257 * x838 + x263 * x838 - 2.25 * x419 -
1.39 * x443 - 4.35 * x467 =E= 0;
e1488.. x630 * x840 - x629 * x839 + x258 * x839 + x264 * x839 - 2.25 * x420 -
1.39 * x444 - 4.35 * x468 =E= 0;
e1489.. x631 * x841 - 2.25 * x421 - 1.39 * x445 - 4.35 * x469 =E= 0;
e1490.. x632 * x842 - x631 * x841 + x266 * x841 + x272 * x841 - 2.25 * x422 -
1.39 * x446 - 4.35 * x470 =E= 0;
e1491.. x633 * x843 - x632 * x842 + x267 * x842 + x273 * x842 - 2.25 * x423 -
1.39 * x447 - 4.35 * x471 =E= 0;
e1492.. x634 * x844 - x633 * x843 + x268 * x843 + x274 * x843 - 2.25 * x424 -
1.39 * x448 - 4.35 * x472 =E= 0;
e1493.. x635 * x845 - x634 * x844 + x269 * x844 + x275 * x844 - 2.25 * x425 -
1.39 * x449 - 4.35 * x473 =E= 0;
e1494.. x636 * x846 - x635 * x845 + x270 * x845 + x276 * x845 - 2.25 * x426 -
1.39 * x450 - 4.35 * x474 =E= 0;
e1495.. x637 * x847 - 2.25 * x427 - 1.39 * x451 - 4.35 * x475 =E= 0;
e1496.. x638 * x848 - x637 * x847 + x278 * x847 + x284 * x847 - 2.25 * x428 -
1.39 * x452 - 4.35 * x476 =E= 0;
e1497.. x639 * x849 - x638 * x848 + x279 * x848 + x285 * x848 - 2.25 * x429 -
1.39 * x453 - 4.35 * x477 =E= 0;
e1498.. x640 * x850 - x639 * x849 + x280 * x849 + x286 * x849 - 2.25 * x430 -
1.39 * x454 - 4.35 * x478 =E= 0;
e1499.. x641 * x851 - x640 * x850 + x281 * x850 + x287 * x850 - 2.25 * x431 -
1.39 * x455 - 4.35 * x479 =E= 0;
e1500.. x642 * x852 - x641 * x851 + x282 * x851 + x288 * x851 - 2.25 * x432 -
1.39 * x456 - 4.35 * x480 =E= 0;
e1501.. x643 * x853 =E= 0;
e1502.. x644 * x854 - x242 * x829 - x254 * x835 - x266 * x841 - x278 * x847 -
x643 * x853 - (-x290 * x853 - x296 * x853 - x302 * x853 - x308 * x853)
=E= 0;
e1503.. x645 * x855 - x243 * x830 - x255 * x836 - x267 * x842 - x279 * x848 -
x644 * x854 - (-x291 * x854 - x297 * x854 - x303 * x854 - x309 * x854)
=E= 0;
e1504.. x646 * x856 - x244 * x831 - x256 * x837 - x268 * x843 - x280 * x849 -
x645 * x855 - (-x292 * x855 - x298 * x855 - x304 * x855 - x310 * x855)
=E= 0;
e1505.. x647 * x857 - x245 * x832 - x257 * x838 - x269 * x844 - x281 * x850 -
x646 * x856 - (-x293 * x856 - x299 * x856 - x305 * x856 - x311 * x856)
=E= 0;
e1506.. x648 * x858 - x246 * x833 - x258 * x839 - x270 * x845 - x282 * x851 -
x647 * x857 - (-x294 * x857 - x300 * x857 - x306 * x857 - x312 * x857)
=E= 0;
e1507.. x649 * x859 =E= 0;
e1508.. x650 * x860 - x248 * x829 - x260 * x835 - x272 * x841 - x284 * x847 -
x649 * x859 - (-x314 * x859 - x320 * x859 - x326 * x859 - x332 * x859)
=E= 0;
e1509.. x651 * x861 - x249 * x830 - x261 * x836 - x273 * x842 - x285 * x848 -
x650 * x860 - (-x315 * x860 - x321 * x860 - x327 * x860 - x333 * x860)
=E= 0;
e1510.. x652 * x862 - x250 * x831 - x262 * x837 - x274 * x843 - x286 * x849 -
x651 * x861 - (-x316 * x861 - x322 * x861 - x328 * x861 - x334 * x861)
=E= 0;
e1511.. x653 * x863 - x251 * x832 - x263 * x838 - x275 * x844 - x287 * x850 -
x652 * x862 - (-x317 * x862 - x323 * x862 - x329 * x862 - x335 * x862)
=E= 0;
e1512.. x654 * x864 - x252 * x833 - x264 * x839 - x276 * x845 - x288 * x851 -
x653 * x863 - (-x318 * x863 - x324 * x863 - x330 * x863 - x336 * x863)
=E= 0;
e1513.. x655 * x541 =E= 0;
e1514.. x656 * x542 - x290 * x853 - x314 * x859 - x655 * x541 - (-x338 * x541
- x344 * x541 - x350 * x541) =E= 0;
e1515.. x657 * x543 - x291 * x854 - x315 * x860 - x656 * x542 - (-x339 * x542
- x345 * x542 - x351 * x542) =E= 0;
e1516.. x658 * x544 - x292 * x855 - x316 * x861 - x657 * x543 - (-x340 * x543
- x346 * x543 - x352 * x543) =E= 0;
e1517.. x659 * x545 - x293 * x856 - x317 * x862 - x658 * x544 - (-x341 * x544
- x347 * x544 - x353 * x544) =E= 0;
e1518.. x660 * x865 - x294 * x857 - x318 * x863 - x659 * x545 - (-x342 * x545
- x348 * x545 - x354 * x545) =E= 0;
e1519.. x661 * x546 =E= 0;
e1520.. x662 * x547 - x296 * x853 - x320 * x859 - x661 * x546 - (-x356 * x546
- x362 * x546 - x368 * x546) =E= 0;
e1521.. x663 * x548 - x297 * x854 - x321 * x860 - x662 * x547 - (-x357 * x547
- x363 * x547 - x369 * x547) =E= 0;
e1522.. x664 * x549 - x298 * x855 - x322 * x861 - x663 * x548 - (-x358 * x548
- x364 * x548 - x370 * x548) =E= 0;
e1523.. x665 * x550 - x299 * x856 - x323 * x862 - x664 * x549 - (-x359 * x549
- x365 * x549 - x371 * x549) =E= 0;
e1524.. x666 * x866 - x300 * x857 - x324 * x863 - x665 * x550 - (-x360 * x550
- x366 * x550 - x372 * x550) =E= 0;
e1525.. x667 * x551 =E= 0;
e1526.. x668 * x552 - x302 * x853 - x326 * x859 - x667 * x551 - (-x374 * x551
- x380 * x551 - x386 * x551) =E= 0;
e1527.. x669 * x553 - x303 * x854 - x327 * x860 - x668 * x552 - (-x375 * x552
- x381 * x552 - x387 * x552) =E= 0;
e1528.. x670 * x554 - x304 * x855 - x328 * x861 - x669 * x553 - (-x376 * x553
- x382 * x553 - x388 * x553) =E= 0;
e1529.. x671 * x555 - x305 * x856 - x329 * x862 - x670 * x554 - (-x377 * x554
- x383 * x554 - x389 * x554) =E= 0;
e1530.. x672 * x867 - x306 * x857 - x330 * x863 - x671 * x555 - (-x378 * x555
- x384 * x555 - x390 * x555) =E= 0;
e1531.. x673 * x556 =E= 0;
e1532.. x674 * x557 - x308 * x853 - x332 * x859 - x673 * x556 - (-x392 * x556
- x398 * x556 - x404 * x556) =E= 0;
e1533.. x675 * x558 - x309 * x854 - x333 * x860 - x674 * x557 - (-x393 * x557
- x399 * x557 - x405 * x557) =E= 0;
e1534.. x676 * x559 - x310 * x855 - x334 * x861 - x675 * x558 - (-x394 * x558
- x400 * x558 - x406 * x558) =E= 0;
e1535.. x677 * x560 - x311 * x856 - x335 * x862 - x676 * x559 - (-x395 * x559
- x401 * x559 - x407 * x559) =E= 0;
e1536.. x678 * x868 - x312 * x857 - x336 * x863 - x677 * x560 - (-x396 * x560
- x402 * x560 - x408 * x560) =E= 0;
e1537.. x619 * x869 - 3.79 * x409 - 0.8 * x433 - 2.11 * x457 =E= 0;
e1538.. x620 * x870 - x619 * x869 + x242 * x869 + x248 * x869 - 3.79 * x410 -
0.8 * x434 - 2.11 * x458 =E= 0;
e1539.. x621 * x871 - x620 * x870 + x243 * x870 + x249 * x870 - 3.79 * x411 -
0.8 * x435 - 2.11 * x459 =E= 0;
e1540.. x622 * x872 - x621 * x871 + x244 * x871 + x250 * x871 - 3.79 * x412 -
0.8 * x436 - 2.11 * x460 =E= 0;
e1541.. x623 * x873 - x622 * x872 + x245 * x872 + x251 * x872 - 3.79 * x413 -
0.8 * x437 - 2.11 * x461 =E= 0;
e1542.. x624 * x874 - x623 * x873 + x246 * x873 + x252 * x873 - 3.79 * x414 -
0.8 * x438 - 2.11 * x462 =E= 0;
e1543.. x625 * x875 - 3.79 * x415 - 0.8 * x439 - 2.11 * x463 =E= 0;
e1544.. x626 * x876 - x625 * x875 + x254 * x875 + x260 * x875 - 3.79 * x416 -
0.8 * x440 - 2.11 * x464 =E= 0;
e1545.. x627 * x877 - x626 * x876 + x255 * x876 + x261 * x876 - 3.79 * x417 -
0.8 * x441 - 2.11 * x465 =E= 0;
e1546.. x628 * x878 - x627 * x877 + x256 * x877 + x262 * x877 - 3.79 * x418 -
0.8 * x442 - 2.11 * x466 =E= 0;
e1547.. x629 * x879 - x628 * x878 + x257 * x878 + x263 * x878 - 3.79 * x419 -
0.8 * x443 - 2.11 * x467 =E= 0;
e1548.. x630 * x880 - x629 * x879 + x258 * x879 + x264 * x879 - 3.79 * x420 -
0.8 * x444 - 2.11 * x468 =E= 0;
e1549.. x631 * x881 - 3.79 * x421 - 0.8 * x445 - 2.11 * x469 =E= 0;
e1550.. x632 * x882 - x631 * x881 + x266 * x881 + x272 * x881 - 3.79 * x422 -
0.8 * x446 - 2.11 * x470 =E= 0;
e1551.. x633 * x883 - x632 * x882 + x267 * x882 + x273 * x882 - 3.79 * x423 -
0.8 * x447 - 2.11 * x471 =E= 0;
e1552.. x634 * x884 - x633 * x883 + x268 * x883 + x274 * x883 - 3.79 * x424 -
0.8 * x448 - 2.11 * x472 =E= 0;
e1553.. x635 * x885 - x634 * x884 + x269 * x884 + x275 * x884 - 3.79 * x425 -
0.8 * x449 - 2.11 * x473 =E= 0;
e1554.. x636 * x886 - x635 * x885 + x270 * x885 + x276 * x885 - 3.79 * x426 -
0.8 * x450 - 2.11 * x474 =E= 0;
e1555.. x637 * x887 - 3.79 * x427 - 0.8 * x451 - 2.11 * x475 =E= 0;
e1556.. x638 * x888 - x637 * x887 + x278 * x887 + x284 * x887 - 3.79 * x428 -
0.8 * x452 - 2.11 * x476 =E= 0;
e1557.. x639 * x889 - x638 * x888 + x279 * x888 + x285 * x888 - 3.79 * x429 -
0.8 * x453 - 2.11 * x477 =E= 0;
e1558.. x640 * x890 - x639 * x889 + x280 * x889 + x286 * x889 - 3.79 * x430 -
0.8 * x454 - 2.11 * x478 =E= 0;
e1559.. x641 * x891 - x640 * x890 + x281 * x890 + x287 * x890 - 3.79 * x431 -
0.8 * x455 - 2.11 * x479 =E= 0;
e1560.. x642 * x892 - x641 * x891 + x282 * x891 + x288 * x891 - 3.79 * x432 -
0.8 * x456 - 2.11 * x480 =E= 0;
e1561.. x643 * x893 =E= 0;
e1562.. x644 * x894 - x242 * x869 - x254 * x875 - x266 * x881 - x278 * x887 -
x643 * x893 - (-x290 * x893 - x296 * x893 - x302 * x893 - x308 * x893)
=E= 0;
e1563.. x645 * x895 - x243 * x870 - x255 * x876 - x267 * x882 - x279 * x888 -
x644 * x894 - (-x291 * x894 - x297 * x894 - x303 * x894 - x309 * x894)
=E= 0;
e1564.. x646 * x896 - x244 * x871 - x256 * x877 - x268 * x883 - x280 * x889 -
x645 * x895 - (-x292 * x895 - x298 * x895 - x304 * x895 - x310 * x895)
=E= 0;
e1565.. x647 * x897 - x245 * x872 - x257 * x878 - x269 * x884 - x281 * x890 -
x646 * x896 - (-x293 * x896 - x299 * x896 - x305 * x896 - x311 * x896)
=E= 0;
e1566.. x648 * x898 - x246 * x873 - x258 * x879 - x270 * x885 - x282 * x891 -
x647 * x897 - (-x294 * x897 - x300 * x897 - x306 * x897 - x312 * x897)
=E= 0;
e1567.. x649 * x899 =E= 0;
e1568.. x650 * x900 - x248 * x869 - x260 * x875 - x272 * x881 - x284 * x887 -
x649 * x899 - (-x314 * x899 - x320 * x899 - x326 * x899 - x332 * x899)
=E= 0;
e1569.. x651 * x901 - x249 * x870 - x261 * x876 - x273 * x882 - x285 * x888 -
x650 * x900 - (-x315 * x900 - x321 * x900 - x327 * x900 - x333 * x900)
=E= 0;
e1570.. x652 * x902 - x250 * x871 - x262 * x877 - x274 * x883 - x286 * x889 -
x651 * x901 - (-x316 * x901 - x322 * x901 - x328 * x901 - x334 * x901)
=E= 0;
e1571.. x653 * x903 - x251 * x872 - x263 * x878 - x275 * x884 - x287 * x890 -
x652 * x902 - (-x317 * x902 - x323 * x902 - x329 * x902 - x335 * x902)
=E= 0;
e1572.. x654 * x904 - x252 * x873 - x264 * x879 - x276 * x885 - x288 * x891 -
x653 * x903 - (-x318 * x903 - x324 * x903 - x330 * x903 - x336 * x903)
=E= 0;
e1573.. x655 * x561 =E= 0;
e1574.. x656 * x562 - x290 * x893 - x314 * x899 - x655 * x561 - (-x338 * x561
- x344 * x561 - x350 * x561) =E= 0;
e1575.. x657 * x563 - x291 * x894 - x315 * x900 - x656 * x562 - (-x339 * x562
- x345 * x562 - x351 * x562) =E= 0;
e1576.. x658 * x564 - x292 * x895 - x316 * x901 - x657 * x563 - (-x340 * x563
- x346 * x563 - x352 * x563) =E= 0;
e1577.. x659 * x565 - x293 * x896 - x317 * x902 - x658 * x564 - (-x341 * x564
- x347 * x564 - x353 * x564) =E= 0;
e1578.. x660 * x905 - x294 * x897 - x318 * x903 - x659 * x565 - (-x342 * x565
- x348 * x565 - x354 * x565) =E= 0;
e1579.. x661 * x566 =E= 0;
e1580.. x662 * x567 - x296 * x893 - x320 * x899 - x661 * x566 - (-x356 * x566
- x362 * x566 - x368 * x566) =E= 0;
e1581.. x663 * x568 - x297 * x894 - x321 * x900 - x662 * x567 - (-x357 * x567
- x363 * x567 - x369 * x567) =E= 0;
e1582.. x664 * x569 - x298 * x895 - x322 * x901 - x663 * x568 - (-x358 * x568
- x364 * x568 - x370 * x568) =E= 0;
e1583.. x665 * x570 - x299 * x896 - x323 * x902 - x664 * x569 - (-x359 * x569
- x365 * x569 - x371 * x569) =E= 0;
e1584.. x666 * x906 - x300 * x897 - x324 * x903 - x665 * x570 - (-x360 * x570
- x366 * x570 - x372 * x570) =E= 0;
e1585.. x667 * x571 =E= 0;
e1586.. x668 * x572 - x302 * x893 - x326 * x899 - x667 * x571 - (-x374 * x571
- x380 * x571 - x386 * x571) =E= 0;
e1587.. x669 * x573 - x303 * x894 - x327 * x900 - x668 * x572 - (-x375 * x572
- x381 * x572 - x387 * x572) =E= 0;
e1588.. x670 * x574 - x304 * x895 - x328 * x901 - x669 * x573 - (-x376 * x573
- x382 * x573 - x388 * x573) =E= 0;
e1589.. x671 * x575 - x305 * x896 - x329 * x902 - x670 * x574 - (-x377 * x574
- x383 * x574 - x389 * x574) =E= 0;
e1590.. x672 * x907 - x306 * x897 - x330 * x903 - x671 * x575 - (-x378 * x575
- x384 * x575 - x390 * x575) =E= 0;
e1591.. x673 * x576 =E= 0;
e1592.. x674 * x577 - x308 * x893 - x332 * x899 - x673 * x576 - (-x392 * x576
- x398 * x576 - x404 * x576) =E= 0;
e1593.. x675 * x578 - x309 * x894 - x333 * x900 - x674 * x577 - (-x393 * x577
- x399 * x577 - x405 * x577) =E= 0;
e1594.. x676 * x579 - x310 * x895 - x334 * x901 - x675 * x578 - (-x394 * x578
- x400 * x578 - x406 * x578) =E= 0;
e1595.. x677 * x580 - x311 * x896 - x335 * x902 - x676 * x579 - (-x395 * x579
- x401 * x579 - x407 * x579) =E= 0;
e1596.. x678 * x908 - x312 * x897 - x336 * x903 - x677 * x580 - (-x396 * x580
- x402 * x580 - x408 * x580) =E= 0;
e1597.. x619 * x909 - 1.39 * x409 - 1.08 * x433 - 3.82 * x457 =E= 0;
e1598.. x620 * x910 - x619 * x909 + x242 * x909 + x248 * x909 - 1.39 * x410 -
1.08 * x434 - 3.82 * x458 =E= 0;
e1599.. x621 * x911 - x620 * x910 + x243 * x910 + x249 * x910 - 1.39 * x411 -
1.08 * x435 - 3.82 * x459 =E= 0;
e1600.. x622 * x912 - x621 * x911 + x244 * x911 + x250 * x911 - 1.39 * x412 -
1.08 * x436 - 3.82 * x460 =E= 0;
e1601.. x623 * x913 - x622 * x912 + x245 * x912 + x251 * x912 - 1.39 * x413 -
1.08 * x437 - 3.82 * x461 =E= 0;
e1602.. x624 * x914 - x623 * x913 + x246 * x913 + x252 * x913 - 1.39 * x414 -
1.08 * x438 - 3.82 * x462 =E= 0;
e1603.. x625 * x915 - 1.39 * x415 - 1.08 * x439 - 3.82 * x463 =E= 0;
e1604.. x626 * x916 - x625 * x915 + x254 * x915 + x260 * x915 - 1.39 * x416 -
1.08 * x440 - 3.82 * x464 =E= 0;
e1605.. x627 * x917 - x626 * x916 + x255 * x916 + x261 * x916 - 1.39 * x417 -
1.08 * x441 - 3.82 * x465 =E= 0;
e1606.. x628 * x918 - x627 * x917 + x256 * x917 + x262 * x917 - 1.39 * x418 -
1.08 * x442 - 3.82 * x466 =E= 0;
e1607.. x629 * x919 - x628 * x918 + x257 * x918 + x263 * x918 - 1.39 * x419 -
1.08 * x443 - 3.82 * x467 =E= 0;
e1608.. x630 * x920 - x629 * x919 + x258 * x919 + x264 * x919 - 1.39 * x420 -
1.08 * x444 - 3.82 * x468 =E= 0;
e1609.. x631 * x921 - 1.39 * x421 - 1.08 * x445 - 3.82 * x469 =E= 0;
e1610.. x632 * x922 - x631 * x921 + x266 * x921 + x272 * x921 - 1.39 * x422 -
1.08 * x446 - 3.82 * x470 =E= 0;
e1611.. x633 * x923 - x632 * x922 + x267 * x922 + x273 * x922 - 1.39 * x423 -
1.08 * x447 - 3.82 * x471 =E= 0;
e1612.. x634 * x924 - x633 * x923 + x268 * x923 + x274 * x923 - 1.39 * x424 -
1.08 * x448 - 3.82 * x472 =E= 0;
e1613.. x635 * x925 - x634 * x924 + x269 * x924 + x275 * x924 - 1.39 * x425 -
1.08 * x449 - 3.82 * x473 =E= 0;
e1614.. x636 * x926 - x635 * x925 + x270 * x925 + x276 * x925 - 1.39 * x426 -
1.08 * x450 - 3.82 * x474 =E= 0;
e1615.. x637 * x927 - 1.39 * x427 - 1.08 * x451 - 3.82 * x475 =E= 0;
e1616.. x638 * x928 - x637 * x927 + x278 * x927 + x284 * x927 - 1.39 * x428 -
1.08 * x452 - 3.82 * x476 =E= 0;
e1617.. x639 * x929 - x638 * x928 + x279 * x928 + x285 * x928 - 1.39 * x429 -
1.08 * x453 - 3.82 * x477 =E= 0;
e1618.. x640 * x930 - x639 * x929 + x280 * x929 + x286 * x929 - 1.39 * x430 -
1.08 * x454 - 3.82 * x478 =E= 0;
e1619.. x641 * x931 - x640 * x930 + x281 * x930 + x287 * x930 - 1.39 * x431 -
1.08 * x455 - 3.82 * x479 =E= 0;
e1620.. x642 * x932 - x641 * x931 + x282 * x931 + x288 * x931 - 1.39 * x432 -
1.08 * x456 - 3.82 * x480 =E= 0;
e1621.. x643 * x933 =E= 0;
e1622.. x644 * x934 - x242 * x909 - x254 * x915 - x266 * x921 - x278 * x927 -
x643 * x933 - (-x290 * x933 - x296 * x933 - x302 * x933 - x308 * x933)
=E= 0;
e1623.. x645 * x935 - x243 * x910 - x255 * x916 - x267 * x922 - x279 * x928 -
x644 * x934 - (-x291 * x934 - x297 * x934 - x303 * x934 - x309 * x934)
=E= 0;
e1624.. x646 * x936 - x244 * x911 - x256 * x917 - x268 * x923 - x280 * x929 -
x645 * x935 - (-x292 * x935 - x298 * x935 - x304 * x935 - x310 * x935)
=E= 0;
e1625.. x647 * x937 - x245 * x912 - x257 * x918 - x269 * x924 - x281 * x930 -
x646 * x936 - (-x293 * x936 - x299 * x936 - x305 * x936 - x311 * x936)
=E= 0;
e1626.. x648 * x938 - x246 * x913 - x258 * x919 - x270 * x925 - x282 * x931 -
x647 * x937 - (-x294 * x937 - x300 * x937 - x306 * x937 - x312 * x937)
=E= 0;
e1627.. x649 * x939 =E= 0;
e1628.. x650 * x940 - x248 * x909 - x260 * x915 - x272 * x921 - x284 * x927 -
x649 * x939 - (-x314 * x939 - x320 * x939 - x326 * x939 - x332 * x939)
=E= 0;
e1629.. x651 * x941 - x249 * x910 - x261 * x916 - x273 * x922 - x285 * x928 -
x650 * x940 - (-x315 * x940 - x321 * x940 - x327 * x940 - x333 * x940)
=E= 0;
e1630.. x652 * x942 - x250 * x911 - x262 * x917 - x274 * x923 - x286 * x929 -
x651 * x941 - (-x316 * x941 - x322 * x941 - x328 * x941 - x334 * x941)
=E= 0;
e1631.. x653 * x943 - x251 * x912 - x263 * x918 - x275 * x924 - x287 * x930 -
x652 * x942 - (-x317 * x942 - x323 * x942 - x329 * x942 - x335 * x942)
=E= 0;
e1632.. x654 * x944 - x252 * x913 - x264 * x919 - x276 * x925 - x288 * x931 -
x653 * x943 - (-x318 * x943 - x324 * x943 - x330 * x943 - x336 * x943)
=E= 0;
e1633.. x655 * x581 =E= 0;
e1634.. x656 * x582 - x290 * x933 - x314 * x939 - x655 * x581 - (-x338 * x581
- x344 * x581 - x350 * x581) =E= 0;
e1635.. x657 * x583 - x291 * x934 - x315 * x940 - x656 * x582 - (-x339 * x582
- x345 * x582 - x351 * x582) =E= 0;
e1636.. x658 * x584 - x292 * x935 - x316 * x941 - x657 * x583 - (-x340 * x583
- x346 * x583 - x352 * x583) =E= 0;
e1637.. x659 * x585 - x293 * x936 - x317 * x942 - x658 * x584 - (-x341 * x584
- x347 * x584 - x353 * x584) =E= 0;
e1638.. x660 * x945 - x294 * x937 - x318 * x943 - x659 * x585 - (-x342 * x585
- x348 * x585 - x354 * x585) =E= 0;
e1639.. x661 * x586 =E= 0;
e1640.. x662 * x587 - x296 * x933 - x320 * x939 - x661 * x586 - (-x356 * x586
- x362 * x586 - x368 * x586) =E= 0;
e1641.. x663 * x588 - x297 * x934 - x321 * x940 - x662 * x587 - (-x357 * x587
- x363 * x587 - x369 * x587) =E= 0;
e1642.. x664 * x589 - x298 * x935 - x322 * x941 - x663 * x588 - (-x358 * x588
- x364 * x588 - x370 * x588) =E= 0;
e1643.. x665 * x590 - x299 * x936 - x323 * x942 - x664 * x589 - (-x359 * x589
- x365 * x589 - x371 * x589) =E= 0;
e1644.. x666 * x946 - x300 * x937 - x324 * x943 - x665 * x590 - (-x360 * x590
- x366 * x590 - x372 * x590) =E= 0;
e1645.. x667 * x591 =E= 0;
e1646.. x668 * x592 - x302 * x933 - x326 * x939 - x667 * x591 - (-x374 * x591
- x380 * x591 - x386 * x591) =E= 0;
e1647.. x669 * x593 - x303 * x934 - x327 * x940 - x668 * x592 - (-x375 * x592
- x381 * x592 - x387 * x592) =E= 0;
e1648.. x670 * x594 - x304 * x935 - x328 * x941 - x669 * x593 - (-x376 * x593
- x382 * x593 - x388 * x593) =E= 0;
e1649.. x671 * x595 - x305 * x936 - x329 * x942 - x670 * x594 - (-x377 * x594
- x383 * x594 - x389 * x594) =E= 0;
e1650.. x672 * x947 - x306 * x937 - x330 * x943 - x671 * x595 - (-x378 * x595
- x384 * x595 - x390 * x595) =E= 0;
e1651.. x673 * x596 =E= 0;
e1652.. x674 * x597 - x308 * x933 - x332 * x939 - x673 * x596 - (-x392 * x596
- x398 * x596 - x404 * x596) =E= 0;
e1653.. x675 * x598 - x309 * x934 - x333 * x940 - x674 * x597 - (-x393 * x597
- x399 * x597 - x405 * x597) =E= 0;
e1654.. x676 * x599 - x310 * x935 - x334 * x941 - x675 * x598 - (-x394 * x598
- x400 * x598 - x406 * x598) =E= 0;
e1655.. x677 * x600 - x311 * x936 - x335 * x942 - x676 * x599 - (-x395 * x599
- x401 * x599 - x407 * x599) =E= 0;
e1656.. x678 * x948 - x312 * x937 - x336 * x943 - x677 * x600 - (-x396 * x600
- x402 * x600 - x408 * x600) =E= 0;
e1657.. b1 + b49 =L= 1;
e1658.. b2 + b50 =L= 1;
e1659.. b3 + b51 =L= 1;
e1660.. b4 + b52 =L= 1;
e1661.. b5 + b53 =L= 1;
e1662.. b6 + b54 =L= 1;
e1663.. b1 + b55 =L= 1;
e1664.. b2 + b56 =L= 1;
e1665.. b3 + b57 =L= 1;
e1666.. b4 + b58 =L= 1;
e1667.. b5 + b59 =L= 1;
e1668.. b6 + b60 =L= 1;
e1669.. b1 + b61 =L= 1;
e1670.. b2 + b62 =L= 1;
e1671.. b3 + b63 =L= 1;
e1672.. b4 + b64 =L= 1;
e1673.. b5 + b65 =L= 1;
e1674.. b6 + b66 =L= 1;
e1675.. b1 + b67 =L= 1;
e1676.. b2 + b68 =L= 1;
e1677.. b3 + b69 =L= 1;
e1678.. b4 + b70 =L= 1;
e1679.. b5 + b71 =L= 1;
e1680.. b6 + b72 =L= 1;
e1681.. b7 + b73 =L= 1;
e1682.. b8 + b74 =L= 1;
e1683.. b9 + b75 =L= 1;
e1684.. b10 + b76 =L= 1;
e1685.. b11 + b77 =L= 1;
e1686.. b12 + b78 =L= 1;
e1687.. b7 + b79 =L= 1;
e1688.. b8 + b80 =L= 1;
e1689.. b9 + b81 =L= 1;
e1690.. b10 + b82 =L= 1;
e1691.. b11 + b83 =L= 1;
e1692.. b12 + b84 =L= 1;
e1693.. b7 + b85 =L= 1;
e1694.. b8 + b86 =L= 1;
e1695.. b9 + b87 =L= 1;
e1696.. b10 + b88 =L= 1;
e1697.. b11 + b89 =L= 1;
e1698.. b12 + b90 =L= 1;
e1699.. b7 + b91 =L= 1;
e1700.. b8 + b92 =L= 1;
e1701.. b9 + b93 =L= 1;
e1702.. b10 + b94 =L= 1;
e1703.. b11 + b95 =L= 1;
e1704.. b12 + b96 =L= 1;
e1705.. b13 + b49 =L= 1;
e1706.. b14 + b50 =L= 1;
e1707.. b15 + b51 =L= 1;
e1708.. b16 + b52 =L= 1;
e1709.. b17 + b53 =L= 1;
e1710.. b18 + b54 =L= 1;
e1711.. b13 + b55 =L= 1;
e1712.. b14 + b56 =L= 1;
e1713.. b15 + b57 =L= 1;
e1714.. b16 + b58 =L= 1;
e1715.. b17 + b59 =L= 1;
e1716.. b18 + b60 =L= 1;
e1717.. b13 + b61 =L= 1;
e1718.. b14 + b62 =L= 1;
e1719.. b15 + b63 =L= 1;
e1720.. b16 + b64 =L= 1;
e1721.. b17 + b65 =L= 1;
e1722.. b18 + b66 =L= 1;
e1723.. b13 + b67 =L= 1;
e1724.. b14 + b68 =L= 1;
e1725.. b15 + b69 =L= 1;
e1726.. b16 + b70 =L= 1;
e1727.. b17 + b71 =L= 1;
e1728.. b18 + b72 =L= 1;
e1729.. b19 + b73 =L= 1;
e1730.. b20 + b74 =L= 1;
e1731.. b21 + b75 =L= 1;
e1732.. b22 + b76 =L= 1;
e1733.. b23 + b77 =L= 1;
e1734.. b24 + b78 =L= 1;
e1735.. b19 + b79 =L= 1;
e1736.. b20 + b80 =L= 1;
e1737.. b21 + b81 =L= 1;
e1738.. b22 + b82 =L= 1;
e1739.. b23 + b83 =L= 1;
e1740.. b24 + b84 =L= 1;
e1741.. b19 + b85 =L= 1;
e1742.. b20 + b86 =L= 1;
e1743.. b21 + b87 =L= 1;
e1744.. b22 + b88 =L= 1;
e1745.. b23 + b89 =L= 1;
e1746.. b24 + b90 =L= 1;
e1747.. b19 + b91 =L= 1;
e1748.. b20 + b92 =L= 1;
e1749.. b21 + b93 =L= 1;
e1750.. b22 + b94 =L= 1;
e1751.. b23 + b95 =L= 1;
e1752.. b24 + b96 =L= 1;
e1753.. b25 + b49 =L= 1;
e1754.. b26 + b50 =L= 1;
e1755.. b27 + b51 =L= 1;
e1756.. b28 + b52 =L= 1;
e1757.. b29 + b53 =L= 1;
e1758.. b30 + b54 =L= 1;
e1759.. b25 + b55 =L= 1;
e1760.. b26 + b56 =L= 1;
e1761.. b27 + b57 =L= 1;
e1762.. b28 + b58 =L= 1;
e1763.. b29 + b59 =L= 1;
e1764.. b30 + b60 =L= 1;
e1765.. b25 + b61 =L= 1;
e1766.. b26 + b62 =L= 1;
e1767.. b27 + b63 =L= 1;
e1768.. b28 + b64 =L= 1;
e1769.. b29 + b65 =L= 1;
e1770.. b30 + b66 =L= 1;
e1771.. b25 + b67 =L= 1;
e1772.. b26 + b68 =L= 1;
e1773.. b27 + b69 =L= 1;
e1774.. b28 + b70 =L= 1;
e1775.. b29 + b71 =L= 1;
e1776.. b30 + b72 =L= 1;
e1777.. b31 + b73 =L= 1;
e1778.. b32 + b74 =L= 1;
e1779.. b33 + b75 =L= 1;
e1780.. b34 + b76 =L= 1;
e1781.. b35 + b77 =L= 1;
e1782.. b36 + b78 =L= 1;
e1783.. b31 + b79 =L= 1;
e1784.. b32 + b80 =L= 1;
e1785.. b33 + b81 =L= 1;
e1786.. b34 + b82 =L= 1;
e1787.. b35 + b83 =L= 1;
e1788.. b36 + b84 =L= 1;
e1789.. b31 + b85 =L= 1;
e1790.. b32 + b86 =L= 1;
e1791.. b33 + b87 =L= 1;
e1792.. b34 + b88 =L= 1;
e1793.. b35 + b89 =L= 1;
e1794.. b36 + b90 =L= 1;
e1795.. b31 + b91 =L= 1;
e1796.. b32 + b92 =L= 1;
e1797.. b33 + b93 =L= 1;
e1798.. b34 + b94 =L= 1;
e1799.. b35 + b95 =L= 1;
e1800.. b36 + b96 =L= 1;
e1801.. b37 + b49 =L= 1;
e1802.. b38 + b50 =L= 1;
e1803.. b39 + b51 =L= 1;
e1804.. b40 + b52 =L= 1;
e1805.. b41 + b53 =L= 1;
e1806.. b42 + b54 =L= 1;
e1807.. b37 + b55 =L= 1;
e1808.. b38 + b56 =L= 1;
e1809.. b39 + b57 =L= 1;
e1810.. b40 + b58 =L= 1;
e1811.. b41 + b59 =L= 1;
e1812.. b42 + b60 =L= 1;
e1813.. b37 + b61 =L= 1;
e1814.. b38 + b62 =L= 1;
e1815.. b39 + b63 =L= 1;
e1816.. b40 + b64 =L= 1;
e1817.. b41 + b65 =L= 1;
e1818.. b42 + b66 =L= 1;
e1819.. b37 + b67 =L= 1;
e1820.. b38 + b68 =L= 1;
e1821.. b39 + b69 =L= 1;
e1822.. b40 + b70 =L= 1;
e1823.. b41 + b71 =L= 1;
e1824.. b42 + b72 =L= 1;
e1825.. b43 + b73 =L= 1;
e1826.. b44 + b74 =L= 1;
e1827.. b45 + b75 =L= 1;
e1828.. b46 + b76 =L= 1;
e1829.. b47 + b77 =L= 1;
e1830.. b48 + b78 =L= 1;
e1831.. b43 + b79 =L= 1;
e1832.. b44 + b80 =L= 1;
e1833.. b45 + b81 =L= 1;
e1834.. b46 + b82 =L= 1;
e1835.. b47 + b83 =L= 1;
e1836.. b48 + b84 =L= 1;
e1837.. b43 + b85 =L= 1;
e1838.. b44 + b86 =L= 1;
e1839.. b45 + b87 =L= 1;
e1840.. b46 + b88 =L= 1;
e1841.. b47 + b89 =L= 1;
e1842.. b48 + b90 =L= 1;
e1843.. b43 + b91 =L= 1;
e1844.. b44 + b92 =L= 1;
e1845.. b45 + b93 =L= 1;
e1846.. b46 + b94 =L= 1;
e1847.. b47 + b95 =L= 1;
e1848.. b48 + b96 =L= 1;
e1849.. b49 + b97 =L= 1;
e1850.. b50 + b98 =L= 1;
e1851.. b51 + b99 =L= 1;
e1852.. b52 + b100 =L= 1;
e1853.. b53 + b101 =L= 1;
e1854.. b54 + b102 =L= 1;
e1855.. b49 + b103 =L= 1;
e1856.. b50 + b104 =L= 1;
e1857.. b51 + b105 =L= 1;
e1858.. b52 + b106 =L= 1;
e1859.. b53 + b107 =L= 1;
e1860.. b54 + b108 =L= 1;
e1861.. b49 + b109 =L= 1;
e1862.. b50 + b110 =L= 1;
e1863.. b51 + b111 =L= 1;
e1864.. b52 + b112 =L= 1;
e1865.. b53 + b113 =L= 1;
e1866.. b54 + b114 =L= 1;
e1867.. b55 + b115 =L= 1;
e1868.. b56 + b116 =L= 1;
e1869.. b57 + b117 =L= 1;
e1870.. b58 + b118 =L= 1;
e1871.. b59 + b119 =L= 1;
e1872.. b60 + b120 =L= 1;
e1873.. b55 + b121 =L= 1;
e1874.. b56 + b122 =L= 1;
e1875.. b57 + b123 =L= 1;
e1876.. b58 + b124 =L= 1;
e1877.. b59 + b125 =L= 1;
e1878.. b60 + b126 =L= 1;
e1879.. b55 + b127 =L= 1;
e1880.. b56 + b128 =L= 1;
e1881.. b57 + b129 =L= 1;
e1882.. b58 + b130 =L= 1;
e1883.. b59 + b131 =L= 1;
e1884.. b60 + b132 =L= 1;
e1885.. b61 + b133 =L= 1;
e1886.. b62 + b134 =L= 1;
e1887.. b63 + b135 =L= 1;
e1888.. b64 + b136 =L= 1;
e1889.. b65 + b137 =L= 1;
e1890.. b66 + b138 =L= 1;
e1891.. b61 + b139 =L= 1;
e1892.. b62 + b140 =L= 1;
e1893.. b63 + b141 =L= 1;
e1894.. b64 + b142 =L= 1;
e1895.. b65 + b143 =L= 1;
e1896.. b66 + b144 =L= 1;
e1897.. b61 + b145 =L= 1;
e1898.. b62 + b146 =L= 1;
e1899.. b63 + b147 =L= 1;
e1900.. b64 + b148 =L= 1;
e1901.. b65 + b149 =L= 1;
e1902.. b66 + b150 =L= 1;
e1903.. b67 + b151 =L= 1;
e1904.. b68 + b152 =L= 1;
e1905.. b69 + b153 =L= 1;
e1906.. b70 + b154 =L= 1;
e1907.. b71 + b155 =L= 1;
e1908.. b72 + b156 =L= 1;
e1909.. b67 + b157 =L= 1;
e1910.. b68 + b158 =L= 1;
e1911.. b69 + b159 =L= 1;
e1912.. b70 + b160 =L= 1;
e1913.. b71 + b161 =L= 1;
e1914.. b72 + b162 =L= 1;
e1915.. b67 + b163 =L= 1;
e1916.. b68 + b164 =L= 1;
e1917.. b69 + b165 =L= 1;
e1918.. b70 + b166 =L= 1;
e1919.. b71 + b167 =L= 1;
e1920.. b72 + b168 =L= 1;
e1921.. b73 + b97 =L= 1;
e1922.. b74 + b98 =L= 1;
e1923.. b75 + b99 =L= 1;
e1924.. b76 + b100 =L= 1;
e1925.. b77 + b101 =L= 1;
e1926.. b78 + b102 =L= 1;
e1927.. b73 + b103 =L= 1;
e1928.. b74 + b104 =L= 1;
e1929.. b75 + b105 =L= 1;
e1930.. b76 + b106 =L= 1;
e1931.. b77 + b107 =L= 1;
e1932.. b78 + b108 =L= 1;
e1933.. b73 + b109 =L= 1;
e1934.. b74 + b110 =L= 1;
e1935.. b75 + b111 =L= 1;
e1936.. b76 + b112 =L= 1;
e1937.. b77 + b113 =L= 1;
e1938.. b78 + b114 =L= 1;
e1939.. b79 + b115 =L= 1;
e1940.. b80 + b116 =L= 1;
e1941.. b81 + b117 =L= 1;
e1942.. b82 + b118 =L= 1;
e1943.. b83 + b119 =L= 1;
e1944.. b84 + b120 =L= 1;
e1945.. b79 + b121 =L= 1;
e1946.. b80 + b122 =L= 1;
e1947.. b81 + b123 =L= 1;
e1948.. b82 + b124 =L= 1;
e1949.. b83 + b125 =L= 1;
e1950.. b84 + b126 =L= 1;
e1951.. b79 + b127 =L= 1;
e1952.. b80 + b128 =L= 1;
e1953.. b81 + b129 =L= 1;
e1954.. b82 + b130 =L= 1;
e1955.. b83 + b131 =L= 1;
e1956.. b84 + b132 =L= 1;
e1957.. b85 + b133 =L= 1;
e1958.. b86 + b134 =L= 1;
e1959.. b87 + b135 =L= 1;
e1960.. b88 + b136 =L= 1;
e1961.. b89 + b137 =L= 1;
e1962.. b90 + b138 =L= 1;
e1963.. b85 + b139 =L= 1;
e1964.. b86 + b140 =L= 1;
e1965.. b87 + b141 =L= 1;
e1966.. b88 + b142 =L= 1;
e1967.. b89 + b143 =L= 1;
e1968.. b90 + b144 =L= 1;
e1969.. b85 + b145 =L= 1;
e1970.. b86 + b146 =L= 1;
e1971.. b87 + b147 =L= 1;
e1972.. b88 + b148 =L= 1;
e1973.. b89 + b149 =L= 1;
e1974.. b90 + b150 =L= 1;
e1975.. b91 + b151 =L= 1;
e1976.. b92 + b152 =L= 1;
e1977.. b93 + b153 =L= 1;
e1978.. b94 + b154 =L= 1;
e1979.. b95 + b155 =L= 1;
e1980.. b96 + b156 =L= 1;
e1981.. b91 + b157 =L= 1;
e1982.. b92 + b158 =L= 1;
e1983.. b93 + b159 =L= 1;
e1984.. b94 + b160 =L= 1;
e1985.. b95 + b161 =L= 1;
e1986.. b96 + b162 =L= 1;
e1987.. b91 + b163 =L= 1;
e1988.. b92 + b164 =L= 1;
e1989.. b93 + b165 =L= 1;
e1990.. b94 + b166 =L= 1;
e1991.. b95 + b167 =L= 1;
e1992.. b96 + b168 =L= 1;
e1993.. b1 + b169 =L= 1;
e1994.. b2 + b170 =L= 1;
e1995.. b3 + b171 =L= 1;
e1996.. b4 + b172 =L= 1;
e1997.. b5 + b173 =L= 1;
e1998.. b6 + b174 =L= 1;
e1999.. b7 + b169 =L= 1;
e2000.. b8 + b170 =L= 1;
e2001.. b9 + b171 =L= 1;
e2002.. b10 + b172 =L= 1;
e2003.. b11 + b173 =L= 1;
e2004.. b12 + b174 =L= 1;
e2005.. b13 + b175 =L= 1;
e2006.. b14 + b176 =L= 1;
e2007.. b15 + b177 =L= 1;
e2008.. b16 + b178 =L= 1;
e2009.. b17 + b179 =L= 1;
e2010.. b18 + b180 =L= 1;
e2011.. b19 + b175 =L= 1;
e2012.. b20 + b176 =L= 1;
e2013.. b21 + b177 =L= 1;
e2014.. b22 + b178 =L= 1;
e2015.. b23 + b179 =L= 1;
e2016.. b24 + b180 =L= 1;
e2017.. b25 + b181 =L= 1;
e2018.. b26 + b182 =L= 1;
e2019.. b27 + b183 =L= 1;
e2020.. b28 + b184 =L= 1;
e2021.. b29 + b185 =L= 1;
e2022.. b30 + b186 =L= 1;
e2023.. b31 + b181 =L= 1;
e2024.. b32 + b182 =L= 1;
e2025.. b33 + b183 =L= 1;
e2026.. b34 + b184 =L= 1;
e2027.. b35 + b185 =L= 1;
e2028.. b36 + b186 =L= 1;
e2029.. b37 + b187 =L= 1;
e2030.. b38 + b188 =L= 1;
e2031.. b39 + b189 =L= 1;
e2032.. b40 + b190 =L= 1;
e2033.. b41 + b191 =L= 1;
e2034.. b42 + b192 =L= 1;
e2035.. b43 + b187 =L= 1;
e2036.. b44 + b188 =L= 1;
e2037.. b45 + b189 =L= 1;
e2038.. b46 + b190 =L= 1;
e2039.. b47 + b191 =L= 1;
e2040.. b48 + b192 =L= 1;
e2041.. b1 + b193 =L= 1;
e2042.. b2 + b194 =L= 1;
e2043.. b3 + b195 =L= 1;
e2044.. b4 + b196 =L= 1;
e2045.. b5 + b197 =L= 1;
e2046.. b6 + b198 =L= 1;
e2047.. b7 + b193 =L= 1;
e2048.. b8 + b194 =L= 1;
e2049.. b9 + b195 =L= 1;
e2050.. b10 + b196 =L= 1;
e2051.. b11 + b197 =L= 1;
e2052.. b12 + b198 =L= 1;
e2053.. b13 + b199 =L= 1;
e2054.. b14 + b200 =L= 1;
e2055.. b15 + b201 =L= 1;
e2056.. b16 + b202 =L= 1;
e2057.. b17 + b203 =L= 1;
e2058.. b18 + b204 =L= 1;
e2059.. b19 + b199 =L= 1;
e2060.. b20 + b200 =L= 1;
e2061.. b21 + b201 =L= 1;
e2062.. b22 + b202 =L= 1;
e2063.. b23 + b203 =L= 1;
e2064.. b24 + b204 =L= 1;
e2065.. b25 + b205 =L= 1;
e2066.. b26 + b206 =L= 1;
e2067.. b27 + b207 =L= 1;
e2068.. b28 + b208 =L= 1;
e2069.. b29 + b209 =L= 1;
e2070.. b30 + b210 =L= 1;
e2071.. b31 + b205 =L= 1;
e2072.. b32 + b206 =L= 1;
e2073.. b33 + b207 =L= 1;
e2074.. b34 + b208 =L= 1;
e2075.. b35 + b209 =L= 1;
e2076.. b36 + b210 =L= 1;
e2077.. b37 + b211 =L= 1;
e2078.. b38 + b212 =L= 1;
e2079.. b39 + b213 =L= 1;
e2080.. b40 + b214 =L= 1;
e2081.. b41 + b215 =L= 1;
e2082.. b42 + b216 =L= 1;
e2083.. b43 + b211 =L= 1;
e2084.. b44 + b212 =L= 1;
e2085.. b45 + b213 =L= 1;
e2086.. b46 + b214 =L= 1;
e2087.. b47 + b215 =L= 1;
e2088.. b48 + b216 =L= 1;
e2089.. b1 + b217 =L= 1;
e2090.. b2 + b218 =L= 1;
e2091.. b3 + b219 =L= 1;
e2092.. b4 + b220 =L= 1;
e2093.. b5 + b221 =L= 1;
e2094.. b6 + b222 =L= 1;
e2095.. b7 + b217 =L= 1;
e2096.. b8 + b218 =L= 1;
e2097.. b9 + b219 =L= 1;
e2098.. b10 + b220 =L= 1;
e2099.. b11 + b221 =L= 1;
e2100.. b12 + b222 =L= 1;
e2101.. b13 + b223 =L= 1;
e2102.. b14 + b224 =L= 1;
e2103.. b15 + b225 =L= 1;
e2104.. b16 + b226 =L= 1;
e2105.. b17 + b227 =L= 1;
e2106.. b18 + b228 =L= 1;
e2107.. b19 + b223 =L= 1;
e2108.. b20 + b224 =L= 1;
e2109.. b21 + b225 =L= 1;
e2110.. b22 + b226 =L= 1;
e2111.. b23 + b227 =L= 1;
e2112.. b24 + b228 =L= 1;
e2113.. b25 + b229 =L= 1;
e2114.. b26 + b230 =L= 1;
e2115.. b27 + b231 =L= 1;
e2116.. b28 + b232 =L= 1;
e2117.. b29 + b233 =L= 1;
e2118.. b30 + b234 =L= 1;
e2119.. b31 + b229 =L= 1;
e2120.. b32 + b230 =L= 1;
e2121.. b33 + b231 =L= 1;
e2122.. b34 + b232 =L= 1;
e2123.. b35 + b233 =L= 1;
e2124.. b36 + b234 =L= 1;
e2125.. b37 + b235 =L= 1;
e2126.. b38 + b236 =L= 1;
e2127.. b39 + b237 =L= 1;
e2128.. b40 + b238 =L= 1;
e2129.. b41 + b239 =L= 1;
e2130.. b42 + b240 =L= 1;
e2131.. b43 + b235 =L= 1;
e2132.. b44 + b236 =L= 1;
e2133.. b45 + b237 =L= 1;
e2134.. b46 + b238 =L= 1;
e2135.. b47 + b239 =L= 1;
e2136.. b48 + b240 =L= 1;
e2137.. 35.379999999999995 * b1 + 35.379999999999995 * b2 + 35.379999999999995
* b3 + 35.379999999999995 * b4 + 35.379999999999995 * b5 +
35.379999999999995 * b6 + 35.379999999999995 * b7 + 35.379999999999995
* b8 + 35.379999999999995 * b9 + 35.379999999999995 * b10 +
35.379999999999995 * b11 + 35.379999999999995 * b12 +
35.379999999999995 * b13 + 35.379999999999995 * b14 +
35.379999999999995 * b15 + 35.379999999999995 * b16 +
35.379999999999995 * b17 + 35.379999999999995 * b18 +
35.379999999999995 * b19 + 35.379999999999995 * b20 +
35.379999999999995 * b21 + 35.379999999999995 * b22 +
35.379999999999995 * b23 + 35.379999999999995 * b24 +
35.379999999999995 * b25 + 35.379999999999995 * b26 +
35.379999999999995 * b27 + 35.379999999999995 * b28 +
35.379999999999995 * b29 + 35.379999999999995 * b30 +
35.379999999999995 * b31 + 35.379999999999995 * b32 +
35.379999999999995 * b33 + 35.379999999999995 * b34 +
35.379999999999995 * b35 + 35.379999999999995 * b36 +
35.379999999999995 * b37 + 35.379999999999995 * b38 +
35.379999999999995 * b39 + 35.379999999999995 * b40 +
35.379999999999995 * b41 + 35.379999999999995 * b42 +
35.379999999999995 * b43 + 35.379999999999995 * b44 +
35.379999999999995 * b45 + 35.379999999999995 * b46 +
35.379999999999995 * b47 + 35.379999999999995 * b48 +
35.379999999999995 * b49 + 35.379999999999995 * b50 +
35.379999999999995 * b51 + 35.379999999999995 * b52 +
35.379999999999995 * b53 + 35.379999999999995 * b54 +
35.379999999999995 * b55 + 35.379999999999995 * b56 +
35.379999999999995 * b57 + 35.379999999999995 * b58 +
35.379999999999995 * b59 + 35.379999999999995 * b60 +
35.379999999999995 * b61 + 35.379999999999995 * b62 +
35.379999999999995 * b63 + 35.379999999999995 * b64 +
35.379999999999995 * b65 + 35.379999999999995 * b66 +
35.379999999999995 * b67 + 35.379999999999995 * b68 +
35.379999999999995 * b69 + 35.379999999999995 * b70 +
35.379999999999995 * b71 + 35.379999999999995 * b72 +
35.379999999999995 * b73 + 35.379999999999995 * b74 +
35.379999999999995 * b75 + 35.379999999999995 * b76 +
35.379999999999995 * b77 + 35.379999999999995 * b78 +
35.379999999999995 * b79 + 35.379999999999995 * b80 +
35.379999999999995 * b81 + 35.379999999999995 * b82 +
35.379999999999995 * b83 + 35.379999999999995 * b84 +
35.379999999999995 * b85 + 35.379999999999995 * b86 +
35.379999999999995 * b87 + 35.379999999999995 * b88 +
35.379999999999995 * b89 + 35.379999999999995 * b90 +
35.379999999999995 * b91 + 35.379999999999995 * b92 +
35.379999999999995 * b93 + 35.379999999999995 * b94 +
35.379999999999995 * b95 + 35.379999999999995 * b96 +
35.379999999999995 * b97 + 35.379999999999995 * b98 +
35.379999999999995 * b99 + 35.379999999999995 * b100 +
35.379999999999995 * b101 + 35.379999999999995 * b102 +
35.379999999999995 * b103 + 35.379999999999995 * b104 +
35.379999999999995 * b105 + 35.379999999999995 * b106 +
35.379999999999995 * b107 + 35.379999999999995 * b108 +
35.379999999999995 * b109 + 35.379999999999995 * b110 +
35.379999999999995 * b111 + 35.379999999999995 * b112 +
35.379999999999995 * b113 + 35.379999999999995 * b114 +
35.379999999999995 * b115 + 35.379999999999995 * b116 +
35.379999999999995 * b117 + 35.379999999999995 * b118 +
35.379999999999995 * b119 + 35.379999999999995 * b120 +
35.379999999999995 * b121 + 35.379999999999995 * b122 +
35.379999999999995 * b123 + 35.379999999999995 * b124 +
35.379999999999995 * b125 + 35.379999999999995 * b126 +
35.379999999999995 * b127 + 35.379999999999995 * b128 +
35.379999999999995 * b129 + 35.379999999999995 * b130 +
35.379999999999995 * b131 + 35.379999999999995 * b132 +
35.379999999999995 * b133 + 35.379999999999995 * b134 +
35.379999999999995 * b135 + 35.379999999999995 * b136 +
35.379999999999995 * b137 + 35.379999999999995 * b138 +
35.379999999999995 * b139 + 35.379999999999995 * b140 +
35.379999999999995 * b141 + 35.379999999999995 * b142 +
35.379999999999995 * b143 + 35.379999999999995 * b144 +
35.379999999999995 * b145 + 35.379999999999995 * b146 +
35.379999999999995 * b147 + 35.379999999999995 * b148 +
35.379999999999995 * b149 + 35.379999999999995 * b150 +
35.379999999999995 * b151 + 35.379999999999995 * b152 +
35.379999999999995 * b153 + 35.379999999999995 * b154 +
35.379999999999995 * b155 + 35.379999999999995 * b156 +
35.379999999999995 * b157 + 35.379999999999995 * b158 +
35.379999999999995 * b159 + 35.379999999999995 * b160 +
35.379999999999995 * b161 + 35.379999999999995 * b162 +
35.379999999999995 * b163 + 35.379999999999995 * b164 +
35.379999999999995 * b165 + 35.379999999999995 * b166 +
35.379999999999995 * b167 + 35.379999999999995 * b168 +
35.379999999999995 * b169 + 35.379999999999995 * b170 +
35.379999999999995 * b171 + 35.379999999999995 * b172 +
35.379999999999995 * b173 + 35.379999999999995 * b174 +
35.379999999999995 * b175 + 35.379999999999995 * b176 +
35.379999999999995 * b177 + 35.379999999999995 * b178 +
35.379999999999995 * b179 + 35.379999999999995 * b180 +
35.379999999999995 * b181 + 35.379999999999995 * b182 +
35.379999999999995 * b183 + 35.379999999999995 * b184 +
35.379999999999995 * b185 + 35.379999999999995 * b186 +
35.379999999999995 * b187 + 35.379999999999995 * b188 +
35.379999999999995 * b189 + 35.379999999999995 * b190 +
35.379999999999995 * b191 + 35.379999999999995 * b192 +
35.379999999999995 * b193 + 35.379999999999995 * b194 +
35.379999999999995 * b195 + 35.379999999999995 * b196 +
35.379999999999995 * b197 + 35.379999999999995 * b198 +
35.379999999999995 * b199 + 35.379999999999995 * b200 +
35.379999999999995 * b201 + 35.379999999999995 * b202 +
35.379999999999995 * b203 + 35.379999999999995 * b204 +
35.379999999999995 * b205 + 35.379999999999995 * b206 +
35.379999999999995 * b207 + 35.379999999999995 * b208 +
35.379999999999995 * b209 + 35.379999999999995 * b210 +
35.379999999999995 * b211 + 35.379999999999995 * b212 +
35.379999999999995 * b213 + 35.379999999999995 * b214 +
35.379999999999995 * b215 + 35.379999999999995 * b216 +
35.379999999999995 * b217 + 35.379999999999995 * b218 +
35.379999999999995 * b219 + 35.379999999999995 * b220 +
35.379999999999995 * b221 + 35.379999999999995 * b222 +
35.379999999999995 * b223 + 35.379999999999995 * b224 +
35.379999999999995 * b225 + 35.379999999999995 * b226 +
35.379999999999995 * b227 + 35.379999999999995 * b228 +
35.379999999999995 * b229 + 35.379999999999995 * b230 +
35.379999999999995 * b231 + 35.379999999999995 * b232 +
35.379999999999995 * b233 + 35.379999999999995 * b234 +
35.379999999999995 * b235 + 35.379999999999995 * b236 +
35.379999999999995 * b237 + 35.379999999999995 * b238 +
35.379999999999995 * b239 + 35.379999999999995 * b240 +
3.1841999999999993 * x241 + 3.1841999999999993 * x242 +
3.1841999999999993 * x243 + 3.1841999999999993 * x244 +
3.1841999999999993 * x245 + 3.1841999999999993 * x246 + 23.7046 * x247
+ 23.7046 * x248 + 23.7046 * x249 + 23.7046 * x250 + 23.7046 * x251
+ 23.7046 * x252 + 22.996999999999996 * x253 + 22.996999999999996 *
x254 + 22.996999999999996 * x255 + 22.996999999999996 * x256 +
22.996999999999996 * x257 + 22.996999999999996 * x258 +
12.382999999999997 * x259 + 12.382999999999997 * x260 +
12.382999999999997 * x261 + 12.382999999999997 * x262 +
12.382999999999997 * x263 + 12.382999999999997 * x264 + 3.538 * x265
+ 3.538 * x266 + 3.538 * x267 + 3.538 * x268 + 3.538 * x269 + 3.538 *
x270 + 25.827399999999997 * x271 + 25.827399999999997 * x272 +
25.827399999999997 * x273 + 25.827399999999997 * x274 +
25.827399999999997 * x275 + 25.827399999999997 * x276 + 16.9824 * x277
+ 16.9824 * x278 + 16.9824 * x279 + 16.9824 * x280 + 16.9824 * x281
+ 16.9824 * x282 + 20.874199999999995 * x283 + 20.874199999999995 *
x284 + 20.874199999999995 * x285 + 20.874199999999995 * x286 +
20.874199999999995 * x287 + 20.874199999999995 * x288 +
7.429799999999998 * x289 + 7.429799999999998 * x290 +
7.429799999999998 * x291 + 7.429799999999998 * x292 +
7.429799999999998 * x293 + 7.429799999999998 * x294 +
14.859599999999997 * x295 + 14.859599999999997 * x296 +
14.859599999999997 * x297 + 14.859599999999997 * x298 +
14.859599999999997 * x299 + 14.859599999999997 * x300 +
25.119799999999994 * x301 + 25.119799999999994 * x302 +
25.119799999999994 * x303 + 25.119799999999994 * x304 +
25.119799999999994 * x305 + 25.119799999999994 * x306 + 18.7514 * x307
+ 18.7514 * x308 + 18.7514 * x309 + 18.7514 * x310 + 18.7514 * x311
+ 18.7514 * x312 + 5.660799999999999 * x313 + 5.660799999999999 *
x314 + 5.660799999999999 * x315 + 5.660799999999999 * x316 +
5.660799999999999 * x317 + 5.660799999999999 * x318 +
5.3069999999999995 * x319 + 5.3069999999999995 * x320 +
5.3069999999999995 * x321 + 5.3069999999999995 * x322 +
5.3069999999999995 * x323 + 5.3069999999999995 * x324 +
21.581799999999998 * x325 + 21.581799999999998 * x326 +
21.581799999999998 * x327 + 21.581799999999998 * x328 +
21.581799999999998 * x329 + 21.581799999999998 * x330 +
15.920999999999998 * x331 + 15.920999999999998 * x332 +
15.920999999999998 * x333 + 15.920999999999998 * x334 +
15.920999999999998 * x335 + 15.920999999999998 * x336 - 39.4182 * x337
- 39.4182 * x338 - 39.4182 * x339 - 39.4182 * x340 - 39.4182 * x341
- 39.4182 * x342 - 27.696 * x343 - 27.696 * x344 - 27.696 * x345 -
27.696 * x346 - 27.696 * x347 - 27.696 * x348 + 30.765999999999995 *
x349 + 30.765999999999995 * x350 + 30.765999999999995 * x351 +
30.765999999999995 * x352 + 30.765999999999995 * x353 +
30.765999999999995 * x354 - 47.909400000000005 * x355 -
47.909400000000005 * x356 - 47.909400000000005 * x357 -
47.909400000000005 * x358 - 47.909400000000005 * x359 -
47.909400000000005 * x360 - 50.693 * x361 - 50.693 * x362 - 50.693 *
x363 - 50.693 * x364 - 50.693 * x365 - 50.693 * x366 +
11.660799999999998 * x367 + 11.660799999999998 * x368 +
11.660799999999998 * x369 + 11.660799999999998 * x370 +
11.660799999999998 * x371 + 11.660799999999998 * x372 - 43.6638 * x373
- 43.6638 * x374 - 43.6638 * x375 - 43.6638 * x376 - 43.6638 * x377
- 43.6638 * x378 - 41.1404 * x379 - 41.1404 * x380 - 41.1404 * x381
- 41.1404 * x382 - 41.1404 * x383 - 41.1404 * x384 + 12.0146 * x385
+ 12.0146 * x386 + 12.0146 * x387 + 12.0146 * x388 + 12.0146 * x389
+ 12.0146 * x390 - 49.6784 * x391 - 49.6784 * x392 - 49.6784 * x393
- 49.6784 * x394 - 49.6784 * x395 - 49.6784 * x396 -
34.064400000000006 * x397 - 34.064400000000006 * x398 -
34.064400000000006 * x399 - 34.064400000000006 * x400 -
34.064400000000006 * x401 - 34.064400000000006 * x402 + 25.8128 * x403
+ 25.8128 * x404 + 25.8128 * x405 + 25.8128 * x406 + 25.8128 * x407
+ 25.8128 * x408 + 25.8128 * x409 + 25.8128 * x410 + 25.8128 * x411
+ 25.8128 * x412 + 25.8128 * x413 + 25.8128 * x414 + 9.538 * x415 +
9.538 * x416 + 9.538 * x417 + 9.538 * x418 + 9.538 * x419 + 9.538 *
x420 + 24.7514 * x421 + 24.7514 * x422 + 24.7514 * x423 + 24.7514 *
x424 + 24.7514 * x425 + 24.7514 * x426 + 21.921 * x427 + 21.921 * x428
+ 21.921 * x429 + 21.921 * x430 + 21.921 * x431 + 21.921 * x432 +
11.1374 * x433 + 11.1374 * x434 + 11.1374 * x435 + 11.1374 * x436 +
11.1374 * x437 + 11.1374 * x438 + 17.152 * x439 + 17.152 * x440 +
17.152 * x441 + 17.152 * x442 + 17.152 * x443 + 17.152 * x444 +
11.844999999999999 * x445 + 11.844999999999999 * x446 +
11.844999999999999 * x447 + 11.844999999999999 * x448 +
11.844999999999999 * x449 + 11.844999999999999 * x450 +
29.181199999999997 * x451 + 29.181199999999997 * x452 +
29.181199999999997 * x453 + 29.181199999999997 * x454 +
29.181199999999997 * x455 + 29.181199999999997 * x456 +
26.166599999999995 * x457 + 26.166599999999995 * x458 +
26.166599999999995 * x459 + 26.166599999999995 * x460 +
26.166599999999995 * x461 + 26.166599999999995 * x462 +
13.429799999999998 * x463 + 13.429799999999998 * x464 +
13.429799999999998 * x465 + 13.429799999999998 * x466 +
13.429799999999998 * x467 + 13.429799999999998 * x468 +
16.260199999999998 * x469 + 16.260199999999998 * x470 +
16.260199999999998 * x471 + 16.260199999999998 * x472 +
16.260199999999998 * x473 + 16.260199999999998 * x474 +
28.289399999999997 * x475 + 28.289399999999997 * x476 +
28.289399999999997 * x477 + 28.289399999999997 * x478 +
28.289399999999997 * x479 + 28.289399999999997 * x480 + objvar =E= 0;
* set non-default bounds
x241.lo = 0; x241.up = 50;
x242.lo = 0; x242.up = 50;
x243.lo = 0; x243.up = 50;
x244.lo = 0; x244.up = 50;
x245.lo = 0; x245.up = 50;
x246.lo = 0; x246.up = 50;
x247.lo = 0; x247.up = 50;
x248.lo = 0; x248.up = 50;
x249.lo = 0; x249.up = 50;
x250.lo = 0; x250.up = 50;
x251.lo = 0; x251.up = 50;
x252.lo = 0; x252.up = 50;
x253.lo = 0; x253.up = 50;
x254.lo = 0; x254.up = 50;
x255.lo = 0; x255.up = 50;
x256.lo = 0; x256.up = 50;
x257.lo = 0; x257.up = 50;
x258.lo = 0; x258.up = 50;
x259.lo = 0; x259.up = 50;
x260.lo = 0; x260.up = 50;
x261.lo = 0; x261.up = 50;
x262.lo = 0; x262.up = 50;
x263.lo = 0; x263.up = 50;
x264.lo = 0; x264.up = 50;
x265.lo = 0; x265.up = 50;
x266.lo = 0; x266.up = 50;
x267.lo = 0; x267.up = 50;
x268.lo = 0; x268.up = 50;
x269.lo = 0; x269.up = 50;
x270.lo = 0; x270.up = 50;
x271.lo = 0; x271.up = 50;
x272.lo = 0; x272.up = 50;
x273.lo = 0; x273.up = 50;
x274.lo = 0; x274.up = 50;
x275.lo = 0; x275.up = 50;
x276.lo = 0; x276.up = 50;
x277.lo = 0; x277.up = 50;
x278.lo = 0; x278.up = 50;
x279.lo = 0; x279.up = 50;
x280.lo = 0; x280.up = 50;
x281.lo = 0; x281.up = 50;
x282.lo = 0; x282.up = 50;
x283.lo = 0; x283.up = 50;
x284.lo = 0; x284.up = 50;
x285.lo = 0; x285.up = 50;
x286.lo = 0; x286.up = 50;
x287.lo = 0; x287.up = 50;
x288.lo = 0; x288.up = 50;
x289.lo = 0; x289.up = 50;
x290.lo = 0; x290.up = 50;
x291.lo = 0; x291.up = 50;
x292.lo = 0; x292.up = 50;
x293.lo = 0; x293.up = 50;
x294.lo = 0; x294.up = 50;
x295.lo = 0; x295.up = 50;
x296.lo = 0; x296.up = 50;
x297.lo = 0; x297.up = 50;
x298.lo = 0; x298.up = 50;
x299.lo = 0; x299.up = 50;
x300.lo = 0; x300.up = 50;
x301.lo = 0; x301.up = 50;
x302.lo = 0; x302.up = 50;
x303.lo = 0; x303.up = 50;
x304.lo = 0; x304.up = 50;
x305.lo = 0; x305.up = 50;
x306.lo = 0; x306.up = 50;
x307.lo = 0; x307.up = 50;
x308.lo = 0; x308.up = 50;
x309.lo = 0; x309.up = 50;
x310.lo = 0; x310.up = 50;
x311.lo = 0; x311.up = 50;
x312.lo = 0; x312.up = 50;
x313.lo = 0; x313.up = 50;
x314.lo = 0; x314.up = 50;
x315.lo = 0; x315.up = 50;
x316.lo = 0; x316.up = 50;
x317.lo = 0; x317.up = 50;
x318.lo = 0; x318.up = 50;
x319.lo = 0; x319.up = 50;
x320.lo = 0; x320.up = 50;
x321.lo = 0; x321.up = 50;
x322.lo = 0; x322.up = 50;
x323.lo = 0; x323.up = 50;
x324.lo = 0; x324.up = 50;
x325.lo = 0; x325.up = 50;
x326.lo = 0; x326.up = 50;
x327.lo = 0; x327.up = 50;
x328.lo = 0; x328.up = 50;
x329.lo = 0; x329.up = 50;
x330.lo = 0; x330.up = 50;
x331.lo = 0; x331.up = 50;
x332.lo = 0; x332.up = 50;
x333.lo = 0; x333.up = 50;
x334.lo = 0; x334.up = 50;
x335.lo = 0; x335.up = 50;
x336.lo = 0; x336.up = 50;
x337.lo = 0; x337.up = 50;
x338.lo = 0; x338.up = 50;
x339.lo = 0; x339.up = 50;
x340.lo = 0; x340.up = 50;
x341.lo = 0; x341.up = 50;
x342.lo = 0; x342.up = 50;
x343.lo = 0; x343.up = 50;
x344.lo = 0; x344.up = 50;
x345.lo = 0; x345.up = 50;
x346.lo = 0; x346.up = 50;
x347.lo = 0; x347.up = 50;
x348.lo = 0; x348.up = 50;
x349.lo = 0; x349.up = 50;
x350.lo = 0; x350.up = 50;
x351.lo = 0; x351.up = 50;
x352.lo = 0; x352.up = 50;
x353.lo = 0; x353.up = 50;
x354.lo = 0; x354.up = 50;
x355.lo = 0; x355.up = 50;
x356.lo = 0; x356.up = 50;
x357.lo = 0; x357.up = 50;
x358.lo = 0; x358.up = 50;
x359.lo = 0; x359.up = 50;
x360.lo = 0; x360.up = 50;
x361.lo = 0; x361.up = 50;
x362.lo = 0; x362.up = 50;
x363.lo = 0; x363.up = 50;
x364.lo = 0; x364.up = 50;
x365.lo = 0; x365.up = 50;
x366.lo = 0; x366.up = 50;
x367.lo = 0; x367.up = 50;
x368.lo = 0; x368.up = 50;
x369.lo = 0; x369.up = 50;
x370.lo = 0; x370.up = 50;
x371.lo = 0; x371.up = 50;
x372.lo = 0; x372.up = 50;
x373.lo = 0; x373.up = 50;
x374.lo = 0; x374.up = 50;
x375.lo = 0; x375.up = 50;
x376.lo = 0; x376.up = 50;
x377.lo = 0; x377.up = 50;
x378.lo = 0; x378.up = 50;
x379.lo = 0; x379.up = 50;
x380.lo = 0; x380.up = 50;
x381.lo = 0; x381.up = 50;
x382.lo = 0; x382.up = 50;
x383.lo = 0; x383.up = 50;
x384.lo = 0; x384.up = 50;
x385.lo = 0; x385.up = 50;
x386.lo = 0; x386.up = 50;
x387.lo = 0; x387.up = 50;
x388.lo = 0; x388.up = 50;
x389.lo = 0; x389.up = 50;
x390.lo = 0; x390.up = 50;
x391.lo = 0; x391.up = 50;
x392.lo = 0; x392.up = 50;
x393.lo = 0; x393.up = 50;
x394.lo = 0; x394.up = 50;
x395.lo = 0; x395.up = 50;
x396.lo = 0; x396.up = 50;
x397.lo = 0; x397.up = 50;
x398.lo = 0; x398.up = 50;
x399.lo = 0; x399.up = 50;
x400.lo = 0; x400.up = 50;
x401.lo = 0; x401.up = 50;
x402.lo = 0; x402.up = 50;
x403.lo = 0; x403.up = 50;
x404.lo = 0; x404.up = 50;
x405.lo = 0; x405.up = 50;
x406.lo = 0; x406.up = 50;
x407.lo = 0; x407.up = 50;
x408.lo = 0; x408.up = 50;
x409.lo = 0; x409.up = 50;
x410.lo = 0; x410.up = 50;
x411.lo = 0; x411.up = 50;
x412.lo = 0; x412.up = 50;
x413.lo = 0; x413.up = 50;
x414.lo = 0; x414.up = 50;
x415.lo = 0; x415.up = 50;
x416.lo = 0; x416.up = 50;
x417.lo = 0; x417.up = 50;
x418.lo = 0; x418.up = 50;
x419.lo = 0; x419.up = 50;
x420.lo = 0; x420.up = 50;
x421.lo = 0; x421.up = 50;
x422.lo = 0; x422.up = 50;
x423.lo = 0; x423.up = 50;
x424.lo = 0; x424.up = 50;
x425.lo = 0; x425.up = 50;
x426.lo = 0; x426.up = 50;
x427.lo = 0; x427.up = 50;
x428.lo = 0; x428.up = 50;
x429.lo = 0; x429.up = 50;
x430.lo = 0; x430.up = 50;
x431.lo = 0; x431.up = 50;
x432.lo = 0; x432.up = 50;
x433.lo = 0; x433.up = 50;
x434.lo = 0; x434.up = 50;
x435.lo = 0; x435.up = 50;
x436.lo = 0; x436.up = 50;
x437.lo = 0; x437.up = 50;
x438.lo = 0; x438.up = 50;
x439.lo = 0; x439.up = 50;
x440.lo = 0; x440.up = 50;
x441.lo = 0; x441.up = 50;
x442.lo = 0; x442.up = 50;
x443.lo = 0; x443.up = 50;
x444.lo = 0; x444.up = 50;
x445.lo = 0; x445.up = 50;
x446.lo = 0; x446.up = 50;
x447.lo = 0; x447.up = 50;
x448.lo = 0; x448.up = 50;
x449.lo = 0; x449.up = 50;
x450.lo = 0; x450.up = 50;
x451.lo = 0; x451.up = 50;
x452.lo = 0; x452.up = 50;
x453.lo = 0; x453.up = 50;
x454.lo = 0; x454.up = 50;
x455.lo = 0; x455.up = 50;
x456.lo = 0; x456.up = 50;
x457.lo = 0; x457.up = 50;
x458.lo = 0; x458.up = 50;
x459.lo = 0; x459.up = 50;
x460.lo = 0; x460.up = 50;
x461.lo = 0; x461.up = 50;
x462.lo = 0; x462.up = 50;
x463.lo = 0; x463.up = 50;
x464.lo = 0; x464.up = 50;
x465.lo = 0; x465.up = 50;
x466.lo = 0; x466.up = 50;
x467.lo = 0; x467.up = 50;
x468.lo = 0; x468.up = 50;
x469.lo = 0; x469.up = 50;
x470.lo = 0; x470.up = 50;
x471.lo = 0; x471.up = 50;
x472.lo = 0; x472.up = 50;
x473.lo = 0; x473.up = 50;
x474.lo = 0; x474.up = 50;
x475.lo = 0; x475.up = 50;
x476.lo = 0; x476.up = 50;
x477.lo = 0; x477.up = 50;
x478.lo = 0; x478.up = 50;
x479.lo = 0; x479.up = 50;
x480.lo = 0; x480.up = 50;
x481.lo = 0; x481.up = 2.95;
x482.lo = 0; x482.up = 2.95;
x483.lo = 0; x483.up = 2.95;
x484.lo = 0; x484.up = 2.95;
x485.lo = 0; x485.up = 2.95;
x486.lo = 0; x486.up = 2.95;
x487.lo = 0; x487.up = 2.95;
x488.lo = 0; x488.up = 2.95;
x489.lo = 0; x489.up = 2.95;
x490.lo = 0; x490.up = 2.95;
x491.lo = 0; x491.up = 2.95;
x492.lo = 0; x492.up = 2.95;
x493.lo = 0; x493.up = 2.95;
x494.lo = 0; x494.up = 2.95;
x495.lo = 0; x495.up = 2.95;
x496.lo = 0; x496.up = 2.95;
x497.lo = 0; x497.up = 2.95;
x498.lo = 0; x498.up = 2.95;
x499.lo = 0; x499.up = 2.95;
x500.lo = 0; x500.up = 2.95;
x501.lo = 0; x501.up = 3.01;
x502.lo = 0; x502.up = 3.01;
x503.lo = 0; x503.up = 3.01;
x504.lo = 0; x504.up = 3.01;
x505.lo = 0; x505.up = 3.01;
x506.lo = 0; x506.up = 3.01;
x507.lo = 0; x507.up = 3.01;
x508.lo = 0; x508.up = 3.01;
x509.lo = 0; x509.up = 3.01;
x510.lo = 0; x510.up = 3.01;
x511.lo = 0; x511.up = 3.01;
x512.lo = 0; x512.up = 3.01;
x513.lo = 0; x513.up = 3.01;
x514.lo = 0; x514.up = 3.01;
x515.lo = 0; x515.up = 3.01;
x516.lo = 0; x516.up = 3.01;
x517.lo = 0; x517.up = 3.01;
x518.lo = 0; x518.up = 3.01;
x519.lo = 0; x519.up = 3.01;
x520.lo = 0; x520.up = 3.01;
x521.lo = 0; x521.up = 3.58;
x522.lo = 0; x522.up = 3.58;
x523.lo = 0; x523.up = 3.58;
x524.lo = 0; x524.up = 3.58;
x525.lo = 0; x525.up = 3.58;
x526.lo = 0; x526.up = 3.58;
x527.lo = 0; x527.up = 3.58;
x528.lo = 0; x528.up = 3.58;
x529.lo = 0; x529.up = 3.58;
x530.lo = 0; x530.up = 3.58;
x531.lo = 0; x531.up = 3.58;
x532.lo = 0; x532.up = 3.58;
x533.lo = 0; x533.up = 3.58;
x534.lo = 0; x534.up = 3.58;
x535.lo = 0; x535.up = 3.58;
x536.lo = 0; x536.up = 3.58;
x537.lo = 0; x537.up = 3.58;
x538.lo = 0; x538.up = 3.58;
x539.lo = 0; x539.up = 3.58;
x540.lo = 0; x540.up = 3.58;
x541.lo = 0; x541.up = 4.35;
x542.lo = 0; x542.up = 4.35;
x543.lo = 0; x543.up = 4.35;
x544.lo = 0; x544.up = 4.35;
x545.lo = 0; x545.up = 4.35;
x546.lo = 0; x546.up = 4.35;
x547.lo = 0; x547.up = 4.35;
x548.lo = 0; x548.up = 4.35;
x549.lo = 0; x549.up = 4.35;
x550.lo = 0; x550.up = 4.35;
x551.lo = 0; x551.up = 4.35;
x552.lo = 0; x552.up = 4.35;
x553.lo = 0; x553.up = 4.35;
x554.lo = 0; x554.up = 4.35;
x555.lo = 0; x555.up = 4.35;
x556.lo = 0; x556.up = 4.35;
x557.lo = 0; x557.up = 4.35;
x558.lo = 0; x558.up = 4.35;
x559.lo = 0; x559.up = 4.35;
x560.lo = 0; x560.up = 4.35;
x561.lo = 0; x561.up = 3.79;
x562.lo = 0; x562.up = 3.79;
x563.lo = 0; x563.up = 3.79;
x564.lo = 0; x564.up = 3.79;
x565.lo = 0; x565.up = 3.79;
x566.lo = 0; x566.up = 3.79;
x567.lo = 0; x567.up = 3.79;
x568.lo = 0; x568.up = 3.79;
x569.lo = 0; x569.up = 3.79;
x570.lo = 0; x570.up = 3.79;
x571.lo = 0; x571.up = 3.79;
x572.lo = 0; x572.up = 3.79;
x573.lo = 0; x573.up = 3.79;
x574.lo = 0; x574.up = 3.79;
x575.lo = 0; x575.up = 3.79;
x576.lo = 0; x576.up = 3.79;
x577.lo = 0; x577.up = 3.79;
x578.lo = 0; x578.up = 3.79;
x579.lo = 0; x579.up = 3.79;
x580.lo = 0; x580.up = 3.79;
x581.lo = 0; x581.up = 3.82;
x582.lo = 0; x582.up = 3.82;
x583.lo = 0; x583.up = 3.82;
x584.lo = 0; x584.up = 3.82;
x585.lo = 0; x585.up = 3.82;
x586.lo = 0; x586.up = 3.82;
x587.lo = 0; x587.up = 3.82;
x588.lo = 0; x588.up = 3.82;
x589.lo = 0; x589.up = 3.82;
x590.lo = 0; x590.up = 3.82;
x591.lo = 0; x591.up = 3.82;
x592.lo = 0; x592.up = 3.82;
x593.lo = 0; x593.up = 3.82;
x594.lo = 0; x594.up = 3.82;
x595.lo = 0; x595.up = 3.82;
x596.lo = 0; x596.up = 3.82;
x597.lo = 0; x597.up = 3.82;
x598.lo = 0; x598.up = 3.82;
x599.lo = 0; x599.up = 3.82;
x600.lo = 0; x600.up = 3.82;
x601.fx = 0;
x602.fx = 0;
x603.fx = 0;
x604.fx = 0;
x605.fx = 0;
x606.fx = 0;
x607.fx = 0;
x608.fx = 0;
x609.fx = 0;
x610.fx = 0;
x611.fx = 0;
x612.fx = 0;
x613.fx = 0;
x614.fx = 0;
x615.fx = 0;
x616.fx = 0;
x617.fx = 0;
x618.fx = 0;
x619.lo = 0; x619.up = 41;
x620.lo = 0; x620.up = 41;
x621.lo = 0; x621.up = 41;
x622.lo = 0; x622.up = 41;
x623.lo = 0; x623.up = 41;
x624.lo = 0; x624.up = 41;
x625.lo = 0; x625.up = 47;
x626.lo = 0; x626.up = 47;
x627.lo = 0; x627.up = 47;
x628.lo = 0; x628.up = 47;
x629.lo = 0; x629.up = 47;
x630.lo = 0; x630.up = 47;
x631.lo = 0; x631.up = 49;
x632.lo = 0; x632.up = 49;
x633.lo = 0; x633.up = 49;
x634.lo = 0; x634.up = 49;
x635.lo = 0; x635.up = 49;
x636.lo = 0; x636.up = 49;
x637.lo = 0; x637.up = 42;
x638.lo = 0; x638.up = 42;
x639.lo = 0; x639.up = 42;
x640.lo = 0; x640.up = 42;
x641.lo = 0; x641.up = 42;
x642.lo = 0; x642.up = 42;
x643.lo = 0; x643.up = 47;
x644.lo = 0; x644.up = 47;
x645.lo = 0; x645.up = 47;
x646.lo = 0; x646.up = 47;
x647.lo = 0; x647.up = 47;
x648.lo = 0; x648.up = 47;
x649.lo = 0; x649.up = 43;
x650.lo = 0; x650.up = 43;
x651.lo = 0; x651.up = 43;
x652.lo = 0; x652.up = 43;
x653.lo = 0; x653.up = 43;
x654.lo = 0; x654.up = 43;
x655.lo = 0; x655.up = 52;
x656.lo = 0; x656.up = 52;
x657.lo = 0; x657.up = 52;
x658.lo = 0; x658.up = 52;
x659.lo = 0; x659.up = 52;
x660.lo = 0; x660.up = 52;
x661.lo = 0; x661.up = 48;
x662.lo = 0; x662.up = 48;
x663.lo = 0; x663.up = 48;
x664.lo = 0; x664.up = 48;
x665.lo = 0; x665.up = 48;
x666.lo = 0; x666.up = 48;
x667.lo = 0; x667.up = 54;
x668.lo = 0; x668.up = 54;
x669.lo = 0; x669.up = 54;
x670.lo = 0; x670.up = 54;
x671.lo = 0; x671.up = 54;
x672.lo = 0; x672.up = 54;
x673.lo = 0; x673.up = 60;
x674.lo = 0; x674.up = 60;
x675.lo = 0; x675.up = 60;
x676.lo = 0; x676.up = 60;
x677.lo = 0; x677.up = 60;
x678.lo = 0; x678.up = 60;
x679.fx = 0;
x680.lo = 0; x680.up = 50;
x681.fx = 0;
x682.lo = 0; x682.up = 50;
x683.fx = 0;
x684.lo = 0; x684.up = 50;
x685.fx = 0;
x686.fx = 0;
x687.fx = 0;
x688.fx = 0;
x689.lo = 0; x689.up = 50;
x690.fx = 0;
x691.lo = 0; x691.up = 50;
x692.fx = 0;
x693.lo = 0; x693.up = 50;
x694.fx = 0;
x695.fx = 0;
x696.fx = 0;
x697.fx = 0;
x698.lo = 0; x698.up = 50;
x699.fx = 0;
x700.lo = 0; x700.up = 50;
x701.fx = 0;
x702.lo = 0; x702.up = 50;
x703.fx = 0;
x704.lo = 0; x704.up = 50;
x705.fx = 0;
x706.lo = 0; x706.up = 50;
x707.fx = 0;
x708.lo = 0; x708.up = 50;
x709.lo = 0; x709.up = 2.95;
x710.lo = 0; x710.up = 2.95;
x711.lo = 0; x711.up = 2.95;
x712.lo = 0; x712.up = 2.95;
x713.lo = 0; x713.up = 2.95;
x714.lo = 0; x714.up = 2.95;
x715.lo = 0; x715.up = 2.95;
x716.lo = 0; x716.up = 2.95;
x717.lo = 0; x717.up = 2.95;
x718.lo = 0; x718.up = 2.95;
x719.lo = 0; x719.up = 2.95;
x720.lo = 0; x720.up = 2.95;
x721.lo = 0; x721.up = 2.95;
x722.lo = 0; x722.up = 2.95;
x723.lo = 0; x723.up = 2.95;
x724.lo = 0; x724.up = 2.95;
x725.lo = 0; x725.up = 2.95;
x726.lo = 0; x726.up = 2.95;
x727.lo = 0; x727.up = 2.95;
x728.lo = 0; x728.up = 2.95;
x729.lo = 0; x729.up = 2.95;
x730.lo = 0; x730.up = 2.95;
x731.lo = 0; x731.up = 2.95;
x732.lo = 0; x732.up = 2.95;
x733.lo = 0; x733.up = 2.95;
x734.lo = 0; x734.up = 2.95;
x735.lo = 0; x735.up = 2.95;
x736.lo = 0; x736.up = 2.95;
x737.lo = 0; x737.up = 2.95;
x738.lo = 0; x738.up = 2.95;
x739.lo = 0; x739.up = 2.95;
x740.lo = 0; x740.up = 2.95;
x741.lo = 0; x741.up = 2.95;
x742.lo = 0; x742.up = 2.95;
x743.lo = 0; x743.up = 2.95;
x744.lo = 0; x744.up = 2.95;
x745.lo = 0; x745.up = 2.95;
x746.lo = 0; x746.up = 2.95;
x747.lo = 0; x747.up = 2.95;
x748.lo = 0; x748.up = 2.95;
x749.lo = 0; x749.up = 3.01;
x750.lo = 0; x750.up = 3.01;
x751.lo = 0; x751.up = 3.01;
x752.lo = 0; x752.up = 3.01;
x753.lo = 0; x753.up = 3.01;
x754.lo = 0; x754.up = 3.01;
x755.lo = 0; x755.up = 3.01;
x756.lo = 0; x756.up = 3.01;
x757.lo = 0; x757.up = 3.01;
x758.lo = 0; x758.up = 3.01;
x759.lo = 0; x759.up = 3.01;
x760.lo = 0; x760.up = 3.01;
x761.lo = 0; x761.up = 3.01;
x762.lo = 0; x762.up = 3.01;
x763.lo = 0; x763.up = 3.01;
x764.lo = 0; x764.up = 3.01;
x765.lo = 0; x765.up = 3.01;
x766.lo = 0; x766.up = 3.01;
x767.lo = 0; x767.up = 3.01;
x768.lo = 0; x768.up = 3.01;
x769.lo = 0; x769.up = 3.01;
x770.lo = 0; x770.up = 3.01;
x771.lo = 0; x771.up = 3.01;
x772.lo = 0; x772.up = 3.01;
x773.lo = 0; x773.up = 3.01;
x774.lo = 0; x774.up = 3.01;
x775.lo = 0; x775.up = 3.01;
x776.lo = 0; x776.up = 3.01;
x777.lo = 0; x777.up = 3.01;
x778.lo = 0; x778.up = 3.01;
x779.lo = 0; x779.up = 3.01;
x780.lo = 0; x780.up = 3.01;
x781.lo = 0; x781.up = 3.01;
x782.lo = 0; x782.up = 3.01;
x783.lo = 0; x783.up = 3.01;
x784.lo = 0; x784.up = 3.01;
x785.lo = 0; x785.up = 3.01;
x786.lo = 0; x786.up = 3.01;
x787.lo = 0; x787.up = 3.01;
x788.lo = 0; x788.up = 3.01;
x789.lo = 0; x789.up = 3.58;
x790.lo = 0; x790.up = 3.58;
x791.lo = 0; x791.up = 3.58;
x792.lo = 0; x792.up = 3.58;
x793.lo = 0; x793.up = 3.58;
x794.lo = 0; x794.up = 3.58;
x795.lo = 0; x795.up = 3.58;
x796.lo = 0; x796.up = 3.58;
x797.lo = 0; x797.up = 3.58;
x798.lo = 0; x798.up = 3.58;
x799.lo = 0; x799.up = 3.58;
x800.lo = 0; x800.up = 3.58;
x801.lo = 0; x801.up = 3.58;
x802.lo = 0; x802.up = 3.58;
x803.lo = 0; x803.up = 3.58;
x804.lo = 0; x804.up = 3.58;
x805.lo = 0; x805.up = 3.58;
x806.lo = 0; x806.up = 3.58;
x807.lo = 0; x807.up = 3.58;
x808.lo = 0; x808.up = 3.58;
x809.lo = 0; x809.up = 3.58;
x810.lo = 0; x810.up = 3.58;
x811.lo = 0; x811.up = 3.58;
x812.lo = 0; x812.up = 3.58;
x813.lo = 0; x813.up = 3.58;
x814.lo = 0; x814.up = 3.58;
x815.lo = 0; x815.up = 3.58;
x816.lo = 0; x816.up = 3.58;
x817.lo = 0; x817.up = 3.58;
x818.lo = 0; x818.up = 3.58;
x819.lo = 0; x819.up = 3.58;
x820.lo = 0; x820.up = 3.58;
x821.lo = 0; x821.up = 3.58;
x822.lo = 0; x822.up = 3.58;
x823.lo = 0; x823.up = 3.58;
x824.lo = 0; x824.up = 3.58;
x825.lo = 0; x825.up = 3.58;
x826.lo = 0; x826.up = 3.58;
x827.lo = 0; x827.up = 3.58;
x828.lo = 0; x828.up = 3.58;
x829.lo = 0; x829.up = 4.35;
x830.lo = 0; x830.up = 4.35;
x831.lo = 0; x831.up = 4.35;
x832.lo = 0; x832.up = 4.35;
x833.lo = 0; x833.up = 4.35;
x834.lo = 0; x834.up = 4.35;
x835.lo = 0; x835.up = 4.35;
x836.lo = 0; x836.up = 4.35;
x837.lo = 0; x837.up = 4.35;
x838.lo = 0; x838.up = 4.35;
x839.lo = 0; x839.up = 4.35;
x840.lo = 0; x840.up = 4.35;
x841.lo = 0; x841.up = 4.35;
x842.lo = 0; x842.up = 4.35;
x843.lo = 0; x843.up = 4.35;
x844.lo = 0; x844.up = 4.35;
x845.lo = 0; x845.up = 4.35;
x846.lo = 0; x846.up = 4.35;
x847.lo = 0; x847.up = 4.35;
x848.lo = 0; x848.up = 4.35;
x849.lo = 0; x849.up = 4.35;
x850.lo = 0; x850.up = 4.35;
x851.lo = 0; x851.up = 4.35;
x852.lo = 0; x852.up = 4.35;
x853.lo = 0; x853.up = 4.35;
x854.lo = 0; x854.up = 4.35;
x855.lo = 0; x855.up = 4.35;
x856.lo = 0; x856.up = 4.35;
x857.lo = 0; x857.up = 4.35;
x858.lo = 0; x858.up = 4.35;
x859.lo = 0; x859.up = 4.35;
x860.lo = 0; x860.up = 4.35;
x861.lo = 0; x861.up = 4.35;
x862.lo = 0; x862.up = 4.35;
x863.lo = 0; x863.up = 4.35;
x864.lo = 0; x864.up = 4.35;
x865.lo = 0; x865.up = 4.35;
x866.lo = 0; x866.up = 4.35;
x867.lo = 0; x867.up = 4.35;
x868.lo = 0; x868.up = 4.35;
x869.lo = 0; x869.up = 3.79;
x870.lo = 0; x870.up = 3.79;
x871.lo = 0; x871.up = 3.79;
x872.lo = 0; x872.up = 3.79;
x873.lo = 0; x873.up = 3.79;
x874.lo = 0; x874.up = 3.79;
x875.lo = 0; x875.up = 3.79;
x876.lo = 0; x876.up = 3.79;
x877.lo = 0; x877.up = 3.79;
x878.lo = 0; x878.up = 3.79;
x879.lo = 0; x879.up = 3.79;
x880.lo = 0; x880.up = 3.79;
x881.lo = 0; x881.up = 3.79;
x882.lo = 0; x882.up = 3.79;
x883.lo = 0; x883.up = 3.79;
x884.lo = 0; x884.up = 3.79;
x885.lo = 0; x885.up = 3.79;
x886.lo = 0; x886.up = 3.79;
x887.lo = 0; x887.up = 3.79;
x888.lo = 0; x888.up = 3.79;
x889.lo = 0; x889.up = 3.79;
x890.lo = 0; x890.up = 3.79;
x891.lo = 0; x891.up = 3.79;
x892.lo = 0; x892.up = 3.79;
x893.lo = 0; x893.up = 3.79;
x894.lo = 0; x894.up = 3.79;
x895.lo = 0; x895.up = 3.79;
x896.lo = 0; x896.up = 3.79;
x897.lo = 0; x897.up = 3.79;
x898.lo = 0; x898.up = 3.79;
x899.lo = 0; x899.up = 3.79;
x900.lo = 0; x900.up = 3.79;
x901.lo = 0; x901.up = 3.79;
x902.lo = 0; x902.up = 3.79;
x903.lo = 0; x903.up = 3.79;
x904.lo = 0; x904.up = 3.79;
x905.lo = 0; x905.up = 3.79;
x906.lo = 0; x906.up = 3.79;
x907.lo = 0; x907.up = 3.79;
x908.lo = 0; x908.up = 3.79;
x909.lo = 0; x909.up = 3.82;
x910.lo = 0; x910.up = 3.82;
x911.lo = 0; x911.up = 3.82;
x912.lo = 0; x912.up = 3.82;
x913.lo = 0; x913.up = 3.82;
x914.lo = 0; x914.up = 3.82;
x915.lo = 0; x915.up = 3.82;
x916.lo = 0; x916.up = 3.82;
x917.lo = 0; x917.up = 3.82;
x918.lo = 0; x918.up = 3.82;
x919.lo = 0; x919.up = 3.82;
x920.lo = 0; x920.up = 3.82;
x921.lo = 0; x921.up = 3.82;
x922.lo = 0; x922.up = 3.82;
x923.lo = 0; x923.up = 3.82;
x924.lo = 0; x924.up = 3.82;
x925.lo = 0; x925.up = 3.82;
x926.lo = 0; x926.up = 3.82;
x927.lo = 0; x927.up = 3.82;
x928.lo = 0; x928.up = 3.82;
x929.lo = 0; x929.up = 3.82;
x930.lo = 0; x930.up = 3.82;
x931.lo = 0; x931.up = 3.82;
x932.lo = 0; x932.up = 3.82;
x933.lo = 0; x933.up = 3.82;
x934.lo = 0; x934.up = 3.82;
x935.lo = 0; x935.up = 3.82;
x936.lo = 0; x936.up = 3.82;
x937.lo = 0; x937.up = 3.82;
x938.lo = 0; x938.up = 3.82;
x939.lo = 0; x939.up = 3.82;
x940.lo = 0; x940.up = 3.82;
x941.lo = 0; x941.up = 3.82;
x942.lo = 0; x942.up = 3.82;
x943.lo = 0; x943.up = 3.82;
x944.lo = 0; x944.up = 3.82;
x945.lo = 0; x945.up = 3.82;
x946.lo = 0; x946.up = 3.82;
x947.lo = 0; x947.up = 3.82;
x948.lo = 0; x948.up = 3.82;
x950.lo = 6; x950.up = 50;
x951.lo = 6; x951.up = 50;
x952.lo = 11; x952.up = 50;
x953.lo = 6; x953.up = 50;
x954.lo = 10; x954.up = 50;
x955.lo = 10; x955.up = 50;
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: 2026-03-18 Git hash: de427236