MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance mpbp_19

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 730
#Binary Variables 225
#Integer Variables 0
#Nonlinear Variables 390
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 450
#Nonlinear Nonzeros in Objective 0
#Constraints 1540
#Linear Constraints 1340
#Quadratic Constraints 200
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 5406
#Nonlinear Nonzeros in Jacobian 2080
#Nonzeros in (Upper-Left) Hessian of Lagrangian 1520
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 50
Minimal blocksize in Hessian of Lagrangian 5
Maximal blocksize in Hessian of Lagrangian 10
Average blocksize in Hessian of Lagrangian 7.8
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 7.4000e-01
Maximal coefficient 5.7894e+01
Infeasibility of initial point 33
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*
* Equation counts
*     Total        E        G        L        N        X        C        B
*      1541      271        0     1270        0        0        0        0
*
* Variable counts
*                  x        b        i      s1s      s2s       sc       si
*     Total     cont   binary  integer     sos1     sos2    scont     sint
*       731      506      225        0        0        0        0        0
* FX     20
*
* Nonzero counts
*     Total    const       NL
*      5857     3777     2080

* 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,x226,x227,x228,x229,x230,x231,x232,
    x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247,
    x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261,x262,
    x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276,x277,
    x278,x279,x280,x281,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,
    objvar,x729,x730,x731;

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;

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;

e1..  b1 - x226 =L= 0;
e2..  b2 - x227 =L= 0;
e3..  b3 - x228 =L= 0;
e4..  b4 - x229 =L= 0;
e5..  b5 - x230 =L= 0;
e6..  b6 - x231 =L= 0;
e7..  b7 - x232 =L= 0;
e8..  b8 - x233 =L= 0;
e9..  b9 - x234 =L= 0;
e10..  b10 - x235 =L= 0;
e11..  b11 - x236 =L= 0;
e12..  b12 - x237 =L= 0;
e13..  b13 - x238 =L= 0;
e14..  b14 - x239 =L= 0;
e15..  b15 - x240 =L= 0;
e16..  b16 - x241 =L= 0;
e17..  b17 - x242 =L= 0;
e18..  b18 - x243 =L= 0;
e19..  b19 - x244 =L= 0;
e20..  b20 - x245 =L= 0;
e21..  b21 - x246 =L= 0;
e22..  b22 - x247 =L= 0;
e23..  b23 - x248 =L= 0;
e24..  b24 - x249 =L= 0;
e25..  b25 - x250 =L= 0;
e26..  b26 - x251 =L= 0;
e27..  b27 - x252 =L= 0;
e28..  b28 - x253 =L= 0;
e29..  b29 - x254 =L= 0;
e30..  b30 - x255 =L= 0;
e31..  b31 - x256 =L= 0;
e32..  b32 - x257 =L= 0;
e33..  b33 - x258 =L= 0;
e34..  b34 - x259 =L= 0;
e35..  b35 - x260 =L= 0;
e36..  b36 - x261 =L= 0;
e37..  b37 - x262 =L= 0;
e38..  b38 - x263 =L= 0;
e39..  b39 - x264 =L= 0;
e40..  b40 - x265 =L= 0;
e41..  b41 - x266 =L= 0;
e42..  b42 - x267 =L= 0;
e43..  b43 - x268 =L= 0;
e44..  b44 - x269 =L= 0;
e45..  b45 - x270 =L= 0;
e46..  b46 - x271 =L= 0;
e47..  b47 - x272 =L= 0;
e48..  b48 - x273 =L= 0;
e49..  b49 - x274 =L= 0;
e50..  b50 - x275 =L= 0;
e51..  b51 - x276 =L= 0;
e52..  b52 - x277 =L= 0;
e53..  b53 - x278 =L= 0;
e54..  b54 - x279 =L= 0;
e55..  b55 - x280 =L= 0;
e56..  b56 - x281 =L= 0;
e57..  b57 - x282 =L= 0;
e58..  b58 - x283 =L= 0;
e59..  b59 - x284 =L= 0;
e60..  b60 - x285 =L= 0;
e61..  b61 - x286 =L= 0;
e62..  b62 - x287 =L= 0;
e63..  b63 - x288 =L= 0;
e64..  b64 - x289 =L= 0;
e65..  b65 - x290 =L= 0;
e66..  b66 - x291 =L= 0;
e67..  b67 - x292 =L= 0;
e68..  b68 - x293 =L= 0;
e69..  b69 - x294 =L= 0;
e70..  b70 - x295 =L= 0;
e71..  b71 - x296 =L= 0;
e72..  b72 - x297 =L= 0;
e73..  b73 - x298 =L= 0;
e74..  b74 - x299 =L= 0;
e75..  b75 - x300 =L= 0;
e76..  b76 - x301 =L= 0;
e77..  b77 - x302 =L= 0;
e78..  b78 - x303 =L= 0;
e79..  b79 - x304 =L= 0;
e80..  b80 - x305 =L= 0;
e81..  b81 - x306 =L= 0;
e82..  b82 - x307 =L= 0;
e83..  b83 - x308 =L= 0;
e84..  b84 - x309 =L= 0;
e85..  b85 - x310 =L= 0;
e86..  b86 - x311 =L= 0;
e87..  b87 - x312 =L= 0;
e88..  b88 - x313 =L= 0;
e89..  b89 - x314 =L= 0;
e90..  b90 - x315 =L= 0;
e91..  b91 - x316 =L= 0;
e92..  b92 - x317 =L= 0;
e93..  b93 - x318 =L= 0;
e94..  b94 - x319 =L= 0;
e95..  b95 - x320 =L= 0;
e96..  b96 - x321 =L= 0;
e97..  b97 - x322 =L= 0;
e98..  b98 - x323 =L= 0;
e99..  b99 - x324 =L= 0;
e100..  b100 - x325 =L= 0;
e101..  b101 - x326 =L= 0;
e102..  b102 - x327 =L= 0;
e103..  b103 - x328 =L= 0;
e104..  b104 - x329 =L= 0;
e105..  b105 - x330 =L= 0;
e106..  b106 - x331 =L= 0;
e107..  b107 - x332 =L= 0;
e108..  b108 - x333 =L= 0;
e109..  b109 - x334 =L= 0;
e110..  b110 - x335 =L= 0;
e111..  b111 - x336 =L= 0;
e112..  b112 - x337 =L= 0;
e113..  b113 - x338 =L= 0;
e114..  b114 - x339 =L= 0;
e115..  b115 - x340 =L= 0;
e116..  b116 - x341 =L= 0;
e117..  b117 - x342 =L= 0;
e118..  b118 - x343 =L= 0;
e119..  b119 - x344 =L= 0;
e120..  b120 - x345 =L= 0;
e121..  b121 - x346 =L= 0;
e122..  b122 - x347 =L= 0;
e123..  b123 - x348 =L= 0;
e124..  b124 - x349 =L= 0;
e125..  b125 - x350 =L= 0;
e126..  b126 - x351 =L= 0;
e127..  b127 - x352 =L= 0;
e128..  b128 - x353 =L= 0;
e129..  b129 - x354 =L= 0;
e130..  b130 - x355 =L= 0;
e131..  b131 - x356 =L= 0;
e132..  b132 - x357 =L= 0;
e133..  b133 - x358 =L= 0;
e134..  b134 - x359 =L= 0;
e135..  b135 - x360 =L= 0;
e136..  b136 - x361 =L= 0;
e137..  b137 - x362 =L= 0;
e138..  b138 - x363 =L= 0;
e139..  b139 - x364 =L= 0;
e140..  b140 - x365 =L= 0;
e141..  b141 - x366 =L= 0;
e142..  b142 - x367 =L= 0;
e143..  b143 - x368 =L= 0;
e144..  b144 - x369 =L= 0;
e145..  b145 - x370 =L= 0;
e146..  b146 - x371 =L= 0;
e147..  b147 - x372 =L= 0;
e148..  b148 - x373 =L= 0;
e149..  b149 - x374 =L= 0;
e150..  b150 - x375 =L= 0;
e151..  b151 - x376 =L= 0;
e152..  b152 - x377 =L= 0;
e153..  b153 - x378 =L= 0;
e154..  b154 - x379 =L= 0;
e155..  b155 - x380 =L= 0;
e156..  b156 - x381 =L= 0;
e157..  b157 - x382 =L= 0;
e158..  b158 - x383 =L= 0;
e159..  b159 - x384 =L= 0;
e160..  b160 - x385 =L= 0;
e161..  b161 - x386 =L= 0;
e162..  b162 - x387 =L= 0;
e163..  b163 - x388 =L= 0;
e164..  b164 - x389 =L= 0;
e165..  b165 - x390 =L= 0;
e166..  b166 - x391 =L= 0;
e167..  b167 - x392 =L= 0;
e168..  b168 - x393 =L= 0;
e169..  b169 - x394 =L= 0;
e170..  b170 - x395 =L= 0;
e171..  b171 - x396 =L= 0;
e172..  b172 - x397 =L= 0;
e173..  b173 - x398 =L= 0;
e174..  b174 - x399 =L= 0;
e175..  b175 - x400 =L= 0;
e176..  b176 - x401 =L= 0;
e177..  b177 - x402 =L= 0;
e178..  b178 - x403 =L= 0;
e179..  b179 - x404 =L= 0;
e180..  b180 - x405 =L= 0;
e181..  b181 - x406 =L= 0;
e182..  b182 - x407 =L= 0;
e183..  b183 - x408 =L= 0;
e184..  b184 - x409 =L= 0;
e185..  b185 - x410 =L= 0;
e186..  b186 - x411 =L= 0;
e187..  b187 - x412 =L= 0;
e188..  b188 - x413 =L= 0;
e189..  b189 - x414 =L= 0;
e190..  b190 - x415 =L= 0;
e191..  b191 - x416 =L= 0;
e192..  b192 - x417 =L= 0;
e193..  b193 - x418 =L= 0;
e194..  b194 - x419 =L= 0;
e195..  b195 - x420 =L= 0;
e196..  b196 - x421 =L= 0;
e197..  b197 - x422 =L= 0;
e198..  b198 - x423 =L= 0;
e199..  b199 - x424 =L= 0;
e200..  b200 - x425 =L= 0;
e201..  b201 - x426 =L= 0;
e202..  b202 - x427 =L= 0;
e203..  b203 - x428 =L= 0;
e204..  b204 - x429 =L= 0;
e205..  b205 - x430 =L= 0;
e206..  b206 - x431 =L= 0;
e207..  b207 - x432 =L= 0;
e208..  b208 - x433 =L= 0;
e209..  b209 - x434 =L= 0;
e210..  b210 - x435 =L= 0;
e211..  b211 - x436 =L= 0;
e212..  b212 - x437 =L= 0;
e213..  b213 - x438 =L= 0;
e214..  b214 - x439 =L= 0;
e215..  b215 - x440 =L= 0;
e216..  b216 - x441 =L= 0;
e217..  b217 - x442 =L= 0;
e218..  b218 - x443 =L= 0;
e219..  b219 - x444 =L= 0;
e220..  b220 - x445 =L= 0;
e221..  b221 - x446 =L= 0;
e222..  b222 - x447 =L= 0;
e223..  b223 - x448 =L= 0;
e224..  b224 - x449 =L= 0;
e225..  b225 - x450 =L= 0;
e226..  -50 * b1 + x226 =L= 0;
e227..  -50 * b2 + x227 =L= 0;
e228..  -50 * b3 + x228 =L= 0;
e229..  -50 * b4 + x229 =L= 0;
e230..  -50 * b5 + x230 =L= 0;
e231..  -50 * b6 + x231 =L= 0;
e232..  -50 * b7 + x232 =L= 0;
e233..  -50 * b8 + x233 =L= 0;
e234..  -50 * b9 + x234 =L= 0;
e235..  -50 * b10 + x235 =L= 0;
e236..  -50 * b11 + x236 =L= 0;
e237..  -50 * b12 + x237 =L= 0;
e238..  -50 * b13 + x238 =L= 0;
e239..  -50 * b14 + x239 =L= 0;
e240..  -50 * b15 + x240 =L= 0;
e241..  -50 * b16 + x241 =L= 0;
e242..  -50 * b17 + x242 =L= 0;
e243..  -50 * b18 + x243 =L= 0;
e244..  -50 * b19 + x244 =L= 0;
e245..  -50 * b20 + x245 =L= 0;
e246..  -50 * b21 + x246 =L= 0;
e247..  -50 * b22 + x247 =L= 0;
e248..  -50 * b23 + x248 =L= 0;
e249..  -50 * b24 + x249 =L= 0;
e250..  -50 * b25 + x250 =L= 0;
e251..  -50 * b26 + x251 =L= 0;
e252..  -50 * b27 + x252 =L= 0;
e253..  -50 * b28 + x253 =L= 0;
e254..  -50 * b29 + x254 =L= 0;
e255..  -50 * b30 + x255 =L= 0;
e256..  -50 * b31 + x256 =L= 0;
e257..  -50 * b32 + x257 =L= 0;
e258..  -50 * b33 + x258 =L= 0;
e259..  -50 * b34 + x259 =L= 0;
e260..  -50 * b35 + x260 =L= 0;
e261..  -50 * b36 + x261 =L= 0;
e262..  -50 * b37 + x262 =L= 0;
e263..  -50 * b38 + x263 =L= 0;
e264..  -50 * b39 + x264 =L= 0;
e265..  -50 * b40 + x265 =L= 0;
e266..  -50 * b41 + x266 =L= 0;
e267..  -50 * b42 + x267 =L= 0;
e268..  -50 * b43 + x268 =L= 0;
e269..  -50 * b44 + x269 =L= 0;
e270..  -50 * b45 + x270 =L= 0;
e271..  -50 * b46 + x271 =L= 0;
e272..  -50 * b47 + x272 =L= 0;
e273..  -50 * b48 + x273 =L= 0;
e274..  -50 * b49 + x274 =L= 0;
e275..  -50 * b50 + x275 =L= 0;
e276..  -50 * b51 + x276 =L= 0;
e277..  -50 * b52 + x277 =L= 0;
e278..  -50 * b53 + x278 =L= 0;
e279..  -50 * b54 + x279 =L= 0;
e280..  -50 * b55 + x280 =L= 0;
e281..  -50 * b56 + x281 =L= 0;
e282..  -50 * b57 + x282 =L= 0;
e283..  -50 * b58 + x283 =L= 0;
e284..  -50 * b59 + x284 =L= 0;
e285..  -50 * b60 + x285 =L= 0;
e286..  -50 * b61 + x286 =L= 0;
e287..  -50 * b62 + x287 =L= 0;
e288..  -50 * b63 + x288 =L= 0;
e289..  -50 * b64 + x289 =L= 0;
e290..  -50 * b65 + x290 =L= 0;
e291..  -50 * b66 + x291 =L= 0;
e292..  -50 * b67 + x292 =L= 0;
e293..  -50 * b68 + x293 =L= 0;
e294..  -50 * b69 + x294 =L= 0;
e295..  -50 * b70 + x295 =L= 0;
e296..  -50 * b71 + x296 =L= 0;
e297..  -50 * b72 + x297 =L= 0;
e298..  -50 * b73 + x298 =L= 0;
e299..  -50 * b74 + x299 =L= 0;
e300..  -50 * b75 + x300 =L= 0;
e301..  -50 * b76 + x301 =L= 0;
e302..  -50 * b77 + x302 =L= 0;
e303..  -50 * b78 + x303 =L= 0;
e304..  -50 * b79 + x304 =L= 0;
e305..  -50 * b80 + x305 =L= 0;
e306..  -50 * b81 + x306 =L= 0;
e307..  -50 * b82 + x307 =L= 0;
e308..  -50 * b83 + x308 =L= 0;
e309..  -50 * b84 + x309 =L= 0;
e310..  -50 * b85 + x310 =L= 0;
e311..  -50 * b86 + x311 =L= 0;
e312..  -50 * b87 + x312 =L= 0;
e313..  -50 * b88 + x313 =L= 0;
e314..  -50 * b89 + x314 =L= 0;
e315..  -50 * b90 + x315 =L= 0;
e316..  -50 * b91 + x316 =L= 0;
e317..  -50 * b92 + x317 =L= 0;
e318..  -50 * b93 + x318 =L= 0;
e319..  -50 * b94 + x319 =L= 0;
e320..  -50 * b95 + x320 =L= 0;
e321..  -50 * b96 + x321 =L= 0;
e322..  -50 * b97 + x322 =L= 0;
e323..  -50 * b98 + x323 =L= 0;
e324..  -50 * b99 + x324 =L= 0;
e325..  -50 * b100 + x325 =L= 0;
e326..  -50 * b101 + x326 =L= 0;
e327..  -50 * b102 + x327 =L= 0;
e328..  -50 * b103 + x328 =L= 0;
e329..  -50 * b104 + x329 =L= 0;
e330..  -50 * b105 + x330 =L= 0;
e331..  -50 * b106 + x331 =L= 0;
e332..  -50 * b107 + x332 =L= 0;
e333..  -50 * b108 + x333 =L= 0;
e334..  -50 * b109 + x334 =L= 0;
e335..  -50 * b110 + x335 =L= 0;
e336..  -50 * b111 + x336 =L= 0;
e337..  -50 * b112 + x337 =L= 0;
e338..  -50 * b113 + x338 =L= 0;
e339..  -50 * b114 + x339 =L= 0;
e340..  -50 * b115 + x340 =L= 0;
e341..  -50 * b116 + x341 =L= 0;
e342..  -50 * b117 + x342 =L= 0;
e343..  -50 * b118 + x343 =L= 0;
e344..  -50 * b119 + x344 =L= 0;
e345..  -50 * b120 + x345 =L= 0;
e346..  -50 * b121 + x346 =L= 0;
e347..  -50 * b122 + x347 =L= 0;
e348..  -50 * b123 + x348 =L= 0;
e349..  -50 * b124 + x349 =L= 0;
e350..  -50 * b125 + x350 =L= 0;
e351..  -50 * b126 + x351 =L= 0;
e352..  -50 * b127 + x352 =L= 0;
e353..  -50 * b128 + x353 =L= 0;
e354..  -50 * b129 + x354 =L= 0;
e355..  -50 * b130 + x355 =L= 0;
e356..  -50 * b131 + x356 =L= 0;
e357..  -50 * b132 + x357 =L= 0;
e358..  -50 * b133 + x358 =L= 0;
e359..  -50 * b134 + x359 =L= 0;
e360..  -50 * b135 + x360 =L= 0;
e361..  -50 * b136 + x361 =L= 0;
e362..  -50 * b137 + x362 =L= 0;
e363..  -50 * b138 + x363 =L= 0;
e364..  -50 * b139 + x364 =L= 0;
e365..  -50 * b140 + x365 =L= 0;
e366..  -50 * b141 + x366 =L= 0;
e367..  -50 * b142 + x367 =L= 0;
e368..  -50 * b143 + x368 =L= 0;
e369..  -50 * b144 + x369 =L= 0;
e370..  -50 * b145 + x370 =L= 0;
e371..  -50 * b146 + x371 =L= 0;
e372..  -50 * b147 + x372 =L= 0;
e373..  -50 * b148 + x373 =L= 0;
e374..  -50 * b149 + x374 =L= 0;
e375..  -50 * b150 + x375 =L= 0;
e376..  -50 * b151 + x376 =L= 0;
e377..  -50 * b152 + x377 =L= 0;
e378..  -50 * b153 + x378 =L= 0;
e379..  -50 * b154 + x379 =L= 0;
e380..  -50 * b155 + x380 =L= 0;
e381..  -50 * b156 + x381 =L= 0;
e382..  -50 * b157 + x382 =L= 0;
e383..  -50 * b158 + x383 =L= 0;
e384..  -50 * b159 + x384 =L= 0;
e385..  -50 * b160 + x385 =L= 0;
e386..  -50 * b161 + x386 =L= 0;
e387..  -50 * b162 + x387 =L= 0;
e388..  -50 * b163 + x388 =L= 0;
e389..  -50 * b164 + x389 =L= 0;
e390..  -50 * b165 + x390 =L= 0;
e391..  -50 * b166 + x391 =L= 0;
e392..  -50 * b167 + x392 =L= 0;
e393..  -50 * b168 + x393 =L= 0;
e394..  -50 * b169 + x394 =L= 0;
e395..  -50 * b170 + x395 =L= 0;
e396..  -50 * b171 + x396 =L= 0;
e397..  -50 * b172 + x397 =L= 0;
e398..  -50 * b173 + x398 =L= 0;
e399..  -50 * b174 + x399 =L= 0;
e400..  -50 * b175 + x400 =L= 0;
e401..  -50 * b176 + x401 =L= 0;
e402..  -50 * b177 + x402 =L= 0;
e403..  -50 * b178 + x403 =L= 0;
e404..  -50 * b179 + x404 =L= 0;
e405..  -50 * b180 + x405 =L= 0;
e406..  -50 * b181 + x406 =L= 0;
e407..  -50 * b182 + x407 =L= 0;
e408..  -50 * b183 + x408 =L= 0;
e409..  -50 * b184 + x409 =L= 0;
e410..  -50 * b185 + x410 =L= 0;
e411..  -50 * b186 + x411 =L= 0;
e412..  -50 * b187 + x412 =L= 0;
e413..  -50 * b188 + x413 =L= 0;
e414..  -50 * b189 + x414 =L= 0;
e415..  -50 * b190 + x415 =L= 0;
e416..  -50 * b191 + x416 =L= 0;
e417..  -50 * b192 + x417 =L= 0;
e418..  -50 * b193 + x418 =L= 0;
e419..  -50 * b194 + x419 =L= 0;
e420..  -50 * b195 + x420 =L= 0;
e421..  -50 * b196 + x421 =L= 0;
e422..  -50 * b197 + x422 =L= 0;
e423..  -50 * b198 + x423 =L= 0;
e424..  -50 * b199 + x424 =L= 0;
e425..  -50 * b200 + x425 =L= 0;
e426..  -50 * b201 + x426 =L= 0;
e427..  -50 * b202 + x427 =L= 0;
e428..  -50 * b203 + x428 =L= 0;
e429..  -50 * b204 + x429 =L= 0;
e430..  -50 * b205 + x430 =L= 0;
e431..  -50 * b206 + x431 =L= 0;
e432..  -50 * b207 + x432 =L= 0;
e433..  -50 * b208 + x433 =L= 0;
e434..  -50 * b209 + x434 =L= 0;
e435..  -50 * b210 + x435 =L= 0;
e436..  -50 * b211 + x436 =L= 0;
e437..  -50 * b212 + x437 =L= 0;
e438..  -50 * b213 + x438 =L= 0;
e439..  -50 * b214 + x439 =L= 0;
e440..  -50 * b215 + x440 =L= 0;
e441..  -50 * b216 + x441 =L= 0;
e442..  -50 * b217 + x442 =L= 0;
e443..  -50 * b218 + x443 =L= 0;
e444..  -50 * b219 + x444 =L= 0;
e445..  -50 * b220 + x445 =L= 0;
e446..  -50 * b221 + x446 =L= 0;
e447..  -50 * b222 + x447 =L= 0;
e448..  -50 * b223 + x448 =L= 0;
e449..  -50 * b224 + x449 =L= 0;
e450..  -50 * b225 + x450 =L= 0;
e451..  4.98 * b127 - x451 =L= 4.98;
e452..  4.98 * b128 - x452 =L= 4.98;
e453..  4.98 * b129 - x453 =L= 4.98;
e454..  4.98 * b130 - x454 =L= 4.98;
e455..  4.98 * b132 - x451 =L= 4.98;
e456..  4.98 * b133 - x452 =L= 4.98;
e457..  4.98 * b134 - x453 =L= 4.98;
e458..  4.98 * b135 - x454 =L= 4.98;
e459..  4.98 * b137 - x455 =L= 4.98;
e460..  4.98 * b138 - x456 =L= 4.98;
e461..  4.98 * b139 - x457 =L= 4.98;
e462..  4.98 * b140 - x458 =L= 4.98;
e463..  4.98 * b142 - x455 =L= 4.98;
e464..  4.98 * b143 - x456 =L= 4.98;
e465..  4.98 * b144 - x457 =L= 4.98;
e466..  4.98 * b145 - x458 =L= 4.98;
e467..  4.98 * b147 - x459 =L= 4.98;
e468..  4.98 * b148 - x460 =L= 4.98;
e469..  4.98 * b149 - x461 =L= 4.98;
e470..  4.98 * b150 - x462 =L= 4.98;
e471..  4.98 * b152 - x459 =L= 4.98;
e472..  4.98 * b153 - x460 =L= 4.98;
e473..  4.98 * b154 - x461 =L= 4.98;
e474..  4.98 * b155 - x462 =L= 4.98;
e475..  4.98 * b157 - x463 =L= 4.98;
e476..  4.98 * b158 - x464 =L= 4.98;
e477..  4.98 * b159 - x465 =L= 4.98;
e478..  4.98 * b160 - x466 =L= 4.98;
e479..  4.98 * b162 - x463 =L= 4.98;
e480..  4.98 * b163 - x464 =L= 4.98;
e481..  4.98 * b164 - x465 =L= 4.98;
e482..  4.98 * b165 - x466 =L= 4.98;
e483..  4.98 * b167 - x467 =L= 4.98;
e484..  4.98 * b168 - x468 =L= 4.98;
e485..  4.98 * b169 - x469 =L= 4.98;
e486..  4.98 * b170 - x470 =L= 4.98;
e487..  4.98 * b172 - x467 =L= 4.98;
e488..  4.98 * b173 - x468 =L= 4.98;
e489..  4.98 * b174 - x469 =L= 4.98;
e490..  4.98 * b175 - x470 =L= 4.98;
e491..  1.45 * b127 - x471 =L= 1.45;
e492..  1.45 * b128 - x472 =L= 1.45;
e493..  1.45 * b129 - x473 =L= 1.45;
e494..  1.45 * b130 - x474 =L= 1.45;
e495..  1.45 * b132 - x471 =L= 1.45;
e496..  1.45 * b133 - x472 =L= 1.45;
e497..  1.45 * b134 - x473 =L= 1.45;
e498..  1.45 * b135 - x474 =L= 1.45;
e499..  1.45 * b137 - x475 =L= 1.45;
e500..  1.45 * b138 - x476 =L= 1.45;
e501..  1.45 * b139 - x477 =L= 1.45;
e502..  1.45 * b140 - x478 =L= 1.45;
e503..  1.45 * b142 - x475 =L= 1.45;
e504..  1.45 * b143 - x476 =L= 1.45;
e505..  1.45 * b144 - x477 =L= 1.45;
e506..  1.45 * b145 - x478 =L= 1.45;
e507..  1.45 * b147 - x479 =L= 1.45;
e508..  1.45 * b148 - x480 =L= 1.45;
e509..  1.45 * b149 - x481 =L= 1.45;
e510..  1.45 * b150 - x482 =L= 1.45;
e511..  1.45 * b152 - x479 =L= 1.45;
e512..  1.45 * b153 - x480 =L= 1.45;
e513..  1.45 * b154 - x481 =L= 1.45;
e514..  1.45 * b155 - x482 =L= 1.45;
e515..  1.45 * b157 - x483 =L= 1.45;
e516..  1.45 * b158 - x484 =L= 1.45;
e517..  1.45 * b159 - x485 =L= 1.45;
e518..  1.45 * b160 - x486 =L= 1.45;
e519..  1.45 * b162 - x483 =L= 1.45;
e520..  1.45 * b163 - x484 =L= 1.45;
e521..  1.45 * b164 - x485 =L= 1.45;
e522..  1.45 * b165 - x486 =L= 1.45;
e523..  1.45 * b167 - x487 =L= 1.45;
e524..  1.45 * b168 - x488 =L= 1.45;
e525..  1.45 * b169 - x489 =L= 1.45;
e526..  1.45 * b170 - x490 =L= 1.45;
e527..  1.45 * b172 - x487 =L= 1.45;
e528..  1.45 * b173 - x488 =L= 1.45;
e529..  1.45 * b174 - x489 =L= 1.45;
e530..  1.45 * b175 - x490 =L= 1.45;
e531..  1.31 * b127 - x491 =L= 1.31;
e532..  1.31 * b128 - x492 =L= 1.31;
e533..  1.31 * b129 - x493 =L= 1.31;
e534..  1.31 * b130 - x494 =L= 1.31;
e535..  1.31 * b132 - x491 =L= 1.31;
e536..  1.31 * b133 - x492 =L= 1.31;
e537..  1.31 * b134 - x493 =L= 1.31;
e538..  1.31 * b135 - x494 =L= 1.31;
e539..  1.31 * b137 - x495 =L= 1.31;
e540..  1.31 * b138 - x496 =L= 1.31;
e541..  1.31 * b139 - x497 =L= 1.31;
e542..  1.31 * b140 - x498 =L= 1.31;
e543..  1.31 * b142 - x495 =L= 1.31;
e544..  1.31 * b143 - x496 =L= 1.31;
e545..  1.31 * b144 - x497 =L= 1.31;
e546..  1.31 * b145 - x498 =L= 1.31;
e547..  1.31 * b147 - x499 =L= 1.31;
e548..  1.31 * b148 - x500 =L= 1.31;
e549..  1.31 * b149 - x501 =L= 1.31;
e550..  1.31 * b150 - x502 =L= 1.31;
e551..  1.31 * b152 - x499 =L= 1.31;
e552..  1.31 * b153 - x500 =L= 1.31;
e553..  1.31 * b154 - x501 =L= 1.31;
e554..  1.31 * b155 - x502 =L= 1.31;
e555..  1.31 * b157 - x503 =L= 1.31;
e556..  1.31 * b158 - x504 =L= 1.31;
e557..  1.31 * b159 - x505 =L= 1.31;
e558..  1.31 * b160 - x506 =L= 1.31;
e559..  1.31 * b162 - x503 =L= 1.31;
e560..  1.31 * b163 - x504 =L= 1.31;
e561..  1.31 * b164 - x505 =L= 1.31;
e562..  1.31 * b165 - x506 =L= 1.31;
e563..  1.31 * b167 - x507 =L= 1.31;
e564..  1.31 * b168 - x508 =L= 1.31;
e565..  1.31 * b169 - x509 =L= 1.31;
e566..  1.31 * b170 - x510 =L= 1.31;
e567..  1.31 * b172 - x507 =L= 1.31;
e568..  1.31 * b173 - x508 =L= 1.31;
e569..  1.31 * b174 - x509 =L= 1.31;
e570..  1.31 * b175 - x510 =L= 1.31;
e571..  1.64 * b127 - x511 =L= 1.64;
e572..  1.64 * b128 - x512 =L= 1.64;
e573..  1.64 * b129 - x513 =L= 1.64;
e574..  1.64 * b130 - x514 =L= 1.64;
e575..  1.64 * b132 - x511 =L= 1.64;
e576..  1.64 * b133 - x512 =L= 1.64;
e577..  1.64 * b134 - x513 =L= 1.64;
e578..  1.64 * b135 - x514 =L= 1.64;
e579..  1.64 * b137 - x515 =L= 1.64;
e580..  1.64 * b138 - x516 =L= 1.64;
e581..  1.64 * b139 - x517 =L= 1.64;
e582..  1.64 * b140 - x518 =L= 1.64;
e583..  1.64 * b142 - x515 =L= 1.64;
e584..  1.64 * b143 - x516 =L= 1.64;
e585..  1.64 * b144 - x517 =L= 1.64;
e586..  1.64 * b145 - x518 =L= 1.64;
e587..  1.64 * b147 - x519 =L= 1.64;
e588..  1.64 * b148 - x520 =L= 1.64;
e589..  1.64 * b149 - x521 =L= 1.64;
e590..  1.64 * b150 - x522 =L= 1.64;
e591..  1.64 * b152 - x519 =L= 1.64;
e592..  1.64 * b153 - x520 =L= 1.64;
e593..  1.64 * b154 - x521 =L= 1.64;
e594..  1.64 * b155 - x522 =L= 1.64;
e595..  1.64 * b157 - x523 =L= 1.64;
e596..  1.64 * b158 - x524 =L= 1.64;
e597..  1.64 * b159 - x525 =L= 1.64;
e598..  1.64 * b160 - x526 =L= 1.64;
e599..  1.64 * b162 - x523 =L= 1.64;
e600..  1.64 * b163 - x524 =L= 1.64;
e601..  1.64 * b164 - x525 =L= 1.64;
e602..  1.64 * b165 - x526 =L= 1.64;
e603..  1.64 * b167 - x527 =L= 1.64;
e604..  1.64 * b168 - x528 =L= 1.64;
e605..  1.64 * b169 - x529 =L= 1.64;
e606..  1.64 * b170 - x530 =L= 1.64;
e607..  1.64 * b172 - x527 =L= 1.64;
e608..  1.64 * b173 - x528 =L= 1.64;
e609..  1.64 * b174 - x529 =L= 1.64;
e610..  1.64 * b175 - x530 =L= 1.64;
e611..  4.98 * b127 + x451 =L= 9.96;
e612..  4.98 * b128 + x452 =L= 9.96;
e613..  4.98 * b129 + x453 =L= 9.96;
e614..  4.98 * b130 + x454 =L= 9.96;
e615..  4.98 * b132 + x451 =L= 7.890000000000001;
e616..  4.98 * b133 + x452 =L= 7.890000000000001;
e617..  4.98 * b134 + x453 =L= 7.890000000000001;
e618..  4.98 * b135 + x454 =L= 7.890000000000001;
e619..  4.98 * b137 + x455 =L= 9.96;
e620..  4.98 * b138 + x456 =L= 9.96;
e621..  4.98 * b139 + x457 =L= 9.96;
e622..  4.98 * b140 + x458 =L= 9.96;
e623..  4.98 * b142 + x455 =L= 7.890000000000001;
e624..  4.98 * b143 + x456 =L= 7.890000000000001;
e625..  4.98 * b144 + x457 =L= 7.890000000000001;
e626..  4.98 * b145 + x458 =L= 7.890000000000001;
e627..  4.98 * b147 + x459 =L= 9.96;
e628..  4.98 * b148 + x460 =L= 9.96;
e629..  4.98 * b149 + x461 =L= 9.96;
e630..  4.98 * b150 + x462 =L= 9.96;
e631..  4.98 * b152 + x459 =L= 7.890000000000001;
e632..  4.98 * b153 + x460 =L= 7.890000000000001;
e633..  4.98 * b154 + x461 =L= 7.890000000000001;
e634..  4.98 * b155 + x462 =L= 7.890000000000001;
e635..  4.98 * b157 + x463 =L= 9.96;
e636..  4.98 * b158 + x464 =L= 9.96;
e637..  4.98 * b159 + x465 =L= 9.96;
e638..  4.98 * b160 + x466 =L= 9.96;
e639..  4.98 * b162 + x463 =L= 7.890000000000001;
e640..  4.98 * b163 + x464 =L= 7.890000000000001;
e641..  4.98 * b164 + x465 =L= 7.890000000000001;
e642..  4.98 * b165 + x466 =L= 7.890000000000001;
e643..  4.98 * b167 + x467 =L= 9.96;
e644..  4.98 * b168 + x468 =L= 9.96;
e645..  4.98 * b169 + x469 =L= 9.96;
e646..  4.98 * b170 + x470 =L= 9.96;
e647..  4.98 * b172 + x467 =L= 7.890000000000001;
e648..  4.98 * b173 + x468 =L= 7.890000000000001;
e649..  4.98 * b174 + x469 =L= 7.890000000000001;
e650..  4.98 * b175 + x470 =L= 7.890000000000001;
e651..  1.45 * b127 + x471 =L= 6.430000000000001;
e652..  1.45 * b128 + x472 =L= 6.430000000000001;
e653..  1.45 * b129 + x473 =L= 6.430000000000001;
e654..  1.45 * b130 + x474 =L= 6.430000000000001;
e655..  1.45 * b132 + x471 =L= 5.62;
e656..  1.45 * b133 + x472 =L= 5.62;
e657..  1.45 * b134 + x473 =L= 5.62;
e658..  1.45 * b135 + x474 =L= 5.62;
e659..  1.45 * b137 + x475 =L= 6.430000000000001;
e660..  1.45 * b138 + x476 =L= 6.430000000000001;
e661..  1.45 * b139 + x477 =L= 6.430000000000001;
e662..  1.45 * b140 + x478 =L= 6.430000000000001;
e663..  1.45 * b142 + x475 =L= 5.62;
e664..  1.45 * b143 + x476 =L= 5.62;
e665..  1.45 * b144 + x477 =L= 5.62;
e666..  1.45 * b145 + x478 =L= 5.62;
e667..  1.45 * b147 + x479 =L= 6.430000000000001;
e668..  1.45 * b148 + x480 =L= 6.430000000000001;
e669..  1.45 * b149 + x481 =L= 6.430000000000001;
e670..  1.45 * b150 + x482 =L= 6.430000000000001;
e671..  1.45 * b152 + x479 =L= 5.62;
e672..  1.45 * b153 + x480 =L= 5.62;
e673..  1.45 * b154 + x481 =L= 5.62;
e674..  1.45 * b155 + x482 =L= 5.62;
e675..  1.45 * b157 + x483 =L= 6.430000000000001;
e676..  1.45 * b158 + x484 =L= 6.430000000000001;
e677..  1.45 * b159 + x485 =L= 6.430000000000001;
e678..  1.45 * b160 + x486 =L= 6.430000000000001;
e679..  1.45 * b162 + x483 =L= 5.62;
e680..  1.45 * b163 + x484 =L= 5.62;
e681..  1.45 * b164 + x485 =L= 5.62;
e682..  1.45 * b165 + x486 =L= 5.62;
e683..  1.45 * b167 + x487 =L= 6.430000000000001;
e684..  1.45 * b168 + x488 =L= 6.430000000000001;
e685..  1.45 * b169 + x489 =L= 6.430000000000001;
e686..  1.45 * b170 + x490 =L= 6.430000000000001;
e687..  1.45 * b172 + x487 =L= 5.62;
e688..  1.45 * b173 + x488 =L= 5.62;
e689..  1.45 * b174 + x489 =L= 5.62;
e690..  1.45 * b175 + x490 =L= 5.62;
e691..  1.31 * b127 + x491 =L= 6.290000000000001;
e692..  1.31 * b128 + x492 =L= 6.290000000000001;
e693..  1.31 * b129 + x493 =L= 6.290000000000001;
e694..  1.31 * b130 + x494 =L= 6.290000000000001;
e695..  1.31 * b132 + x491 =L= 6.029999999999999;
e696..  1.31 * b133 + x492 =L= 6.029999999999999;
e697..  1.31 * b134 + x493 =L= 6.029999999999999;
e698..  1.31 * b135 + x494 =L= 6.029999999999999;
e699..  1.31 * b137 + x495 =L= 6.290000000000001;
e700..  1.31 * b138 + x496 =L= 6.290000000000001;
e701..  1.31 * b139 + x497 =L= 6.290000000000001;
e702..  1.31 * b140 + x498 =L= 6.290000000000001;
e703..  1.31 * b142 + x495 =L= 6.029999999999999;
e704..  1.31 * b143 + x496 =L= 6.029999999999999;
e705..  1.31 * b144 + x497 =L= 6.029999999999999;
e706..  1.31 * b145 + x498 =L= 6.029999999999999;
e707..  1.31 * b147 + x499 =L= 6.290000000000001;
e708..  1.31 * b148 + x500 =L= 6.290000000000001;
e709..  1.31 * b149 + x501 =L= 6.290000000000001;
e710..  1.31 * b150 + x502 =L= 6.290000000000001;
e711..  1.31 * b152 + x499 =L= 6.029999999999999;
e712..  1.31 * b153 + x500 =L= 6.029999999999999;
e713..  1.31 * b154 + x501 =L= 6.029999999999999;
e714..  1.31 * b155 + x502 =L= 6.029999999999999;
e715..  1.31 * b157 + x503 =L= 6.290000000000001;
e716..  1.31 * b158 + x504 =L= 6.290000000000001;
e717..  1.31 * b159 + x505 =L= 6.290000000000001;
e718..  1.31 * b160 + x506 =L= 6.290000000000001;
e719..  1.31 * b162 + x503 =L= 6.029999999999999;
e720..  1.31 * b163 + x504 =L= 6.029999999999999;
e721..  1.31 * b164 + x505 =L= 6.029999999999999;
e722..  1.31 * b165 + x506 =L= 6.029999999999999;
e723..  1.31 * b167 + x507 =L= 6.290000000000001;
e724..  1.31 * b168 + x508 =L= 6.290000000000001;
e725..  1.31 * b169 + x509 =L= 6.290000000000001;
e726..  1.31 * b170 + x510 =L= 6.290000000000001;
e727..  1.31 * b172 + x507 =L= 6.029999999999999;
e728..  1.31 * b173 + x508 =L= 6.029999999999999;
e729..  1.31 * b174 + x509 =L= 6.029999999999999;
e730..  1.31 * b175 + x510 =L= 6.029999999999999;
e731..  1.64 * b127 + x511 =L= 6.62;
e732..  1.64 * b128 + x512 =L= 6.62;
e733..  1.64 * b129 + x513 =L= 6.62;
e734..  1.64 * b130 + x514 =L= 6.62;
e735..  1.64 * b132 + x511 =L= 6.449999999999999;
e736..  1.64 * b133 + x512 =L= 6.449999999999999;
e737..  1.64 * b134 + x513 =L= 6.449999999999999;
e738..  1.64 * b135 + x514 =L= 6.449999999999999;
e739..  1.64 * b137 + x515 =L= 6.62;
e740..  1.64 * b138 + x516 =L= 6.62;
e741..  1.64 * b139 + x517 =L= 6.62;
e742..  1.64 * b140 + x518 =L= 6.62;
e743..  1.64 * b142 + x515 =L= 6.449999999999999;
e744..  1.64 * b143 + x516 =L= 6.449999999999999;
e745..  1.64 * b144 + x517 =L= 6.449999999999999;
e746..  1.64 * b145 + x518 =L= 6.449999999999999;
e747..  1.64 * b147 + x519 =L= 6.62;
e748..  1.64 * b148 + x520 =L= 6.62;
e749..  1.64 * b149 + x521 =L= 6.62;
e750..  1.64 * b150 + x522 =L= 6.62;
e751..  1.64 * b152 + x519 =L= 6.449999999999999;
e752..  1.64 * b153 + x520 =L= 6.449999999999999;
e753..  1.64 * b154 + x521 =L= 6.449999999999999;
e754..  1.64 * b155 + x522 =L= 6.449999999999999;
e755..  1.64 * b157 + x523 =L= 6.62;
e756..  1.64 * b158 + x524 =L= 6.62;
e757..  1.64 * b159 + x525 =L= 6.62;
e758..  1.64 * b160 + x526 =L= 6.62;
e759..  1.64 * b162 + x523 =L= 6.449999999999999;
e760..  1.64 * b163 + x524 =L= 6.449999999999999;
e761..  1.64 * b164 + x525 =L= 6.449999999999999;
e762..  1.64 * b165 + x526 =L= 6.449999999999999;
e763..  1.64 * b167 + x527 =L= 6.62;
e764..  1.64 * b168 + x528 =L= 6.62;
e765..  1.64 * b169 + x529 =L= 6.62;
e766..  1.64 * b170 + x530 =L= 6.62;
e767..  1.64 * b172 + x527 =L= 6.449999999999999;
e768..  1.64 * b173 + x528 =L= 6.449999999999999;
e769..  1.64 * b174 + x529 =L= 6.449999999999999;
e770..  1.64 * b175 + x530 =L= 6.449999999999999;
e771..  x401 + x406 + x411 + x416 + x421 + x531 =E= 33;
e772..  x402 + x407 + x412 + x417 + x422 - x531 + x532 =E= 7;
e773..  x403 + x408 + x413 + x418 + x423 - x532 + x533 =E= 0;
e774..  x404 + x409 + x414 + x419 + x424 - x533 + x534 =E= 0;
e775..  x405 + x410 + x415 + x420 + x425 - x534 + x535 =E= 0;
e776..  x426 + x431 + x436 + x441 + x446 + x536 =E= 32;
e777..  x427 + x432 + x437 + x442 + x447 - x536 + x537 =E= 12;
e778..  x428 + x433 + x438 + x443 + x448 - x537 + x538 =E= 0;
e779..  x429 + x434 + x439 + x444 + x449 - x538 + x539 =E= 0;
e780..  x430 + x435 + x440 + x445 + x450 - x539 + x540 =E= 0;
e781..  x226 + x231 + x236 + x241 + x246 - x401 - x426 + x541 =E= 0;
e782..  x227 + x232 + x237 + x242 + x247 - x402 - x427 - x541 + x542 =E= 0;
e783..  x228 + x233 + x238 + x243 + x248 - x403 - x428 - x542 + x543 =E= 0;
e784..  x229 + x234 + x239 + x244 + x249 - x404 - x429 - x543 + x544 =E= 0;
e785..  x230 + x235 + x240 + x245 + x250 - x405 - x430 - x544 + x545 =E= 0;
e786..  x251 + x256 + x261 + x266 + x271 - x406 - x431 + x546 =E= 0;
e787..  x252 + x257 + x262 + x267 + x272 - x407 - x432 - x546 + x547 =E= 0;
e788..  x253 + x258 + x263 + x268 + x273 - x408 - x433 - x547 + x548 =E= 0;
e789..  x254 + x259 + x264 + x269 + x274 - x409 - x434 - x548 + x549 =E= 0;
e790..  x255 + x260 + x265 + x270 + x275 - x410 - x435 - x549 + x550 =E= 0;
e791..  x276 + x281 + x286 + x291 + x296 - x411 - x436 + x551 =E= 0;
e792..  x277 + x282 + x287 + x292 + x297 - x412 - x437 - x551 + x552 =E= 0;
e793..  x278 + x283 + x288 + x293 + x298 - x413 - x438 - x552 + x553 =E= 0;
e794..  x279 + x284 + x289 + x294 + x299 - x414 - x439 - x553 + x554 =E= 0;
e795..  x280 + x285 + x290 + x295 + x300 - x415 - x440 - x554 + x555 =E= 0;
e796..  x301 + x306 + x311 + x316 + x321 - x416 - x441 + x556 =E= 0;
e797..  x302 + x307 + x312 + x317 + x322 - x417 - x442 - x556 + x557 =E= 0;
e798..  x303 + x308 + x313 + x318 + x323 - x418 - x443 - x557 + x558 =E= 0;
e799..  x304 + x309 + x314 + x319 + x324 - x419 - x444 - x558 + x559 =E= 0;
e800..  x305 + x310 + x315 + x320 + x325 - x420 - x445 - x559 + x560 =E= 0;
e801..  x326 + x331 + x336 + x341 + x346 - x421 - x446 + x561 =E= 0;
e802..  x327 + x332 + x337 + x342 + x347 - x422 - x447 - x561 + x562 =E= 0;
e803..  x328 + x333 + x338 + x343 + x348 - x423 - x448 - x562 + x563 =E= 0;
e804..  x329 + x334 + x339 + x344 + x349 - x424 - x449 - x563 + x564 =E= 0;
e805..  x330 + x335 + x340 + x345 + x350 - x425 - x450 - x564 + x565 =E= 0;
e806..  -x226 - x251 - x276 - x301 - x326 + x351 + x356 + x566 =E= 0;
e807..  -x227 - x252 - x277 - x302 - x327 + x352 + x357 - x566 + x567 =E= 0;
e808..  -x228 - x253 - x278 - x303 - x328 + x353 + x358 - x567 + x568 =E= 0;
e809..  -x229 - x254 - x279 - x304 - x329 + x354 + x359 - x568 + x569 =E= 0;
e810..  -x230 - x255 - x280 - x305 - x330 + x355 + x360 - x569 + x570 =E= 0;
e811..  -x231 - x256 - x281 - x306 - x331 + x361 + x366 + x571 =E= 0;
e812..  -x232 - x257 - x282 - x307 - x332 + x362 + x367 - x571 + x572 =E= 0;
e813..  -x233 - x258 - x283 - x308 - x333 + x363 + x368 - x572 + x573 =E= 0;
e814..  -x234 - x259 - x284 - x309 - x334 + x364 + x369 - x573 + x574 =E= 0;
e815..  -x235 - x260 - x285 - x310 - x335 + x365 + x370 - x574 + x575 =E= 0;
e816..  -x236 - x261 - x286 - x311 - x336 + x371 + x376 + x576 =E= 0;
e817..  -x237 - x262 - x287 - x312 - x337 + x372 + x377 - x576 + x577 =E= 0;
e818..  -x238 - x263 - x288 - x313 - x338 + x373 + x378 - x577 + x578 =E= 0;
e819..  -x239 - x264 - x289 - x314 - x339 + x374 + x379 - x578 + x579 =E= 0;
e820..  -x240 - x265 - x290 - x315 - x340 + x375 + x380 - x579 + x580 =E= 0;
e821..  -x241 - x266 - x291 - x316 - x341 + x381 + x386 + x581 =E= 0;
e822..  -x242 - x267 - x292 - x317 - x342 + x382 + x387 - x581 + x582 =E= 0;
e823..  -x243 - x268 - x293 - x318 - x343 + x383 + x388 - x582 + x583 =E= 0;
e824..  -x244 - x269 - x294 - x319 - x344 + x384 + x389 - x583 + x584 =E= 0;
e825..  -x245 - x270 - x295 - x320 - x345 + x385 + x390 - x584 + x585 =E= 0;
e826..  -x246 - x271 - x296 - x321 - x346 + x391 + x396 + x586 =E= 0;
e827..  -x247 - x272 - x297 - x322 - x347 + x392 + x397 - x586 + x587 =E= 0;
e828..  -x248 - x273 - x298 - x323 - x348 + x393 + x398 - x587 + x588 =E= 0;
e829..  -x249 - x274 - x299 - x324 - x349 + x394 + x399 - x588 + x589 =E= 0;
e830..  -x250 - x275 - x300 - x325 - x350 + x395 + x400 - x589 + x590 =E= 0;
e831..  -x351 - x361 - x371 - x381 - x391 + x591 + x592 =E= 0;
e832..  -x352 - x362 - x372 - x382 - x392 - x591 + x593 + x594 =E= 0;
e833..  -x353 - x363 - x373 - x383 - x393 - x593 + x595 + x596 =E= 0;
e834..  -x354 - x364 - x374 - x384 - x394 - x595 + x597 + x598 =E= 0;
e835..  -x355 - x365 - x375 - x385 - x395 - x597 + x599 + x600 =E= 0;
e836..  -x356 - x366 - x376 - x386 - x396 + x601 + x602 =E= 0;
e837..  -x357 - x367 - x377 - x387 - x397 - x601 + x603 + x604 =E= 0;
e838..  -x358 - x368 - x378 - x388 - x398 - x603 + x605 + x729 =E= 0;
e839..  -x359 - x369 - x379 - x389 - x399 - x605 + x606 + x730 =E= 0;
e840..  -x360 - x370 - x380 - x390 - x400 - x606 + x607 + x731 =E= 0;
e841..  x541 * x608 - 1.97 * x401 - 4.98 * x426 =E= 0;
e842..  x542 * x609 - x541 * x608 + x227 * x608 + x232 * x608 + x237 * x608 +
        x242 * x608 + x247 * x608 - 1.97 * x402 - 4.98 * x427 =E= 0;
e843..  x543 * x610 - x542 * x609 + x228 * x609 + x233 * x609 + x238 * x609 +
        x243 * x609 + x248 * x609 - 1.97 * x403 - 4.98 * x428 =E= 0;
e844..  x544 * x611 - x543 * x610 + x229 * x610 + x234 * x610 + x239 * x610 +
        x244 * x610 + x249 * x610 - 1.97 * x404 - 4.98 * x429 =E= 0;
e845..  x545 * x612 - x544 * x611 + x230 * x611 + x235 * x611 + x240 * x611 +
        x245 * x611 + x250 * x611 - 1.97 * x405 - 4.98 * x430 =E= 0;
e846..  x546 * x613 - 1.97 * x406 - 4.98 * x431 =E= 0;
e847..  x547 * x614 - x546 * x613 + x252 * x613 + x257 * x613 + x262 * x613 +
        x267 * x613 + x272 * x613 - 1.97 * x407 - 4.98 * x432 =E= 0;
e848..  x548 * x615 - x547 * x614 + x253 * x614 + x258 * x614 + x263 * x614 +
        x268 * x614 + x273 * x614 - 1.97 * x408 - 4.98 * x433 =E= 0;
e849..  x549 * x616 - x548 * x615 + x254 * x615 + x259 * x615 + x264 * x615 +
        x269 * x615 + x274 * x615 - 1.97 * x409 - 4.98 * x434 =E= 0;
e850..  x550 * x617 - x549 * x616 + x255 * x616 + x260 * x616 + x265 * x616 +
        x270 * x616 + x275 * x616 - 1.97 * x410 - 4.98 * x435 =E= 0;
e851..  x551 * x618 - 1.97 * x411 - 4.98 * x436 =E= 0;
e852..  x552 * x619 - x551 * x618 + x277 * x618 + x282 * x618 + x287 * x618 +
        x292 * x618 + x297 * x618 - 1.97 * x412 - 4.98 * x437 =E= 0;
e853..  x553 * x620 - x552 * x619 + x278 * x619 + x283 * x619 + x288 * x619 +
        x293 * x619 + x298 * x619 - 1.97 * x413 - 4.98 * x438 =E= 0;
e854..  x554 * x621 - x553 * x620 + x279 * x620 + x284 * x620 + x289 * x620 +
        x294 * x620 + x299 * x620 - 1.97 * x414 - 4.98 * x439 =E= 0;
e855..  x555 * x622 - x554 * x621 + x280 * x621 + x285 * x621 + x290 * x621 +
        x295 * x621 + x300 * x621 - 1.97 * x415 - 4.98 * x440 =E= 0;
e856..  x556 * x623 - 1.97 * x416 - 4.98 * x441 =E= 0;
e857..  x557 * x624 - x556 * x623 + x302 * x623 + x307 * x623 + x312 * x623 +
        x317 * x623 + x322 * x623 - 1.97 * x417 - 4.98 * x442 =E= 0;
e858..  x558 * x625 - x557 * x624 + x303 * x624 + x308 * x624 + x313 * x624 +
        x318 * x624 + x323 * x624 - 1.97 * x418 - 4.98 * x443 =E= 0;
e859..  x559 * x626 - x558 * x625 + x304 * x625 + x309 * x625 + x314 * x625 +
        x319 * x625 + x324 * x625 - 1.97 * x419 - 4.98 * x444 =E= 0;
e860..  x560 * x627 - x559 * x626 + x305 * x626 + x310 * x626 + x315 * x626 +
        x320 * x626 + x325 * x626 - 1.97 * x420 - 4.98 * x445 =E= 0;
e861..  x561 * x628 - 1.97 * x421 - 4.98 * x446 =E= 0;
e862..  x562 * x629 - x561 * x628 + x327 * x628 + x332 * x628 + x337 * x628 +
        x342 * x628 + x347 * x628 - 1.97 * x422 - 4.98 * x447 =E= 0;
e863..  x563 * x630 - x562 * x629 + x328 * x629 + x333 * x629 + x338 * x629 +
        x343 * x629 + x348 * x629 - 1.97 * x423 - 4.98 * x448 =E= 0;
e864..  x564 * x631 - x563 * x630 + x329 * x630 + x334 * x630 + x339 * x630 +
        x344 * x630 + x349 * x630 - 1.97 * x424 - 4.98 * x449 =E= 0;
e865..  x565 * x632 - x564 * x631 + x330 * x631 + x335 * x631 + x340 * x631 +
        x345 * x631 + x350 * x631 - 1.97 * x425 - 4.98 * x450 =E= 0;
e866..  x566 * x451 =E= 0;
e867..  x567 * x452 - x227 * x608 - x252 * x613 - x277 * x618 - x302 * x623 -
        x327 * x628 - x566 * x451 - (-x352 * x451 - x357 * x451) =E= 0;
e868..  x568 * x453 - x228 * x609 - x253 * x614 - x278 * x619 - x303 * x624 -
        x328 * x629 - x567 * x452 - (-x353 * x452 - x358 * x452) =E= 0;
e869..  x569 * x454 - x229 * x610 - x254 * x615 - x279 * x620 - x304 * x625 -
        x329 * x630 - x568 * x453 - (-x354 * x453 - x359 * x453) =E= 0;
e870..  x570 * x633 - x230 * x611 - x255 * x616 - x280 * x621 - x305 * x626 -
        x330 * x631 - x569 * x454 - (-x355 * x454 - x360 * x454) =E= 0;
e871..  x571 * x455 =E= 0;
e872..  x572 * x456 - x232 * x608 - x257 * x613 - x282 * x618 - x307 * x623 -
        x332 * x628 - x571 * x455 - (-x362 * x455 - x367 * x455) =E= 0;
e873..  x573 * x457 - x233 * x609 - x258 * x614 - x283 * x619 - x308 * x624 -
        x333 * x629 - x572 * x456 - (-x363 * x456 - x368 * x456) =E= 0;
e874..  x574 * x458 - x234 * x610 - x259 * x615 - x284 * x620 - x309 * x625 -
        x334 * x630 - x573 * x457 - (-x364 * x457 - x369 * x457) =E= 0;
e875..  x575 * x634 - x235 * x611 - x260 * x616 - x285 * x621 - x310 * x626 -
        x335 * x631 - x574 * x458 - (-x365 * x458 - x370 * x458) =E= 0;
e876..  x576 * x459 =E= 0;
e877..  x577 * x460 - x237 * x608 - x262 * x613 - x287 * x618 - x312 * x623 -
        x337 * x628 - x576 * x459 - (-x372 * x459 - x377 * x459) =E= 0;
e878..  x578 * x461 - x238 * x609 - x263 * x614 - x288 * x619 - x313 * x624 -
        x338 * x629 - x577 * x460 - (-x373 * x460 - x378 * x460) =E= 0;
e879..  x579 * x462 - x239 * x610 - x264 * x615 - x289 * x620 - x314 * x625 -
        x339 * x630 - x578 * x461 - (-x374 * x461 - x379 * x461) =E= 0;
e880..  x580 * x635 - x240 * x611 - x265 * x616 - x290 * x621 - x315 * x626 -
        x340 * x631 - x579 * x462 - (-x375 * x462 - x380 * x462) =E= 0;
e881..  x581 * x463 =E= 0;
e882..  x582 * x464 - x242 * x608 - x267 * x613 - x292 * x618 - x317 * x623 -
        x342 * x628 - x581 * x463 - (-x382 * x463 - x387 * x463) =E= 0;
e883..  x583 * x465 - x243 * x609 - x268 * x614 - x293 * x619 - x318 * x624 -
        x343 * x629 - x582 * x464 - (-x383 * x464 - x388 * x464) =E= 0;
e884..  x584 * x466 - x244 * x610 - x269 * x615 - x294 * x620 - x319 * x625 -
        x344 * x630 - x583 * x465 - (-x384 * x465 - x389 * x465) =E= 0;
e885..  x585 * x636 - x245 * x611 - x270 * x616 - x295 * x621 - x320 * x626 -
        x345 * x631 - x584 * x466 - (-x385 * x466 - x390 * x466) =E= 0;
e886..  x586 * x467 =E= 0;
e887..  x587 * x468 - x247 * x608 - x272 * x613 - x297 * x618 - x322 * x623 -
        x347 * x628 - x586 * x467 - (-x392 * x467 - x397 * x467) =E= 0;
e888..  x588 * x469 - x248 * x609 - x273 * x614 - x298 * x619 - x323 * x624 -
        x348 * x629 - x587 * x468 - (-x393 * x468 - x398 * x468) =E= 0;
e889..  x589 * x470 - x249 * x610 - x274 * x615 - x299 * x620 - x324 * x625 -
        x349 * x630 - x588 * x469 - (-x394 * x469 - x399 * x469) =E= 0;
e890..  x590 * x637 - x250 * x611 - x275 * x616 - x300 * x621 - x325 * x626 -
        x350 * x631 - x589 * x470 - (-x395 * x470 - x400 * x470) =E= 0;
e891..  x541 * x638 - 1.45 * x401 - 0.74 * x426 =E= 0;
e892..  x542 * x639 - x541 * x638 + x227 * x638 + x232 * x638 + x237 * x638 +
        x242 * x638 + x247 * x638 - 1.45 * x402 - 0.74 * x427 =E= 0;
e893..  x543 * x640 - x542 * x639 + x228 * x639 + x233 * x639 + x238 * x639 +
        x243 * x639 + x248 * x639 - 1.45 * x403 - 0.74 * x428 =E= 0;
e894..  x544 * x641 - x543 * x640 + x229 * x640 + x234 * x640 + x239 * x640 +
        x244 * x640 + x249 * x640 - 1.45 * x404 - 0.74 * x429 =E= 0;
e895..  x545 * x642 - x544 * x641 + x230 * x641 + x235 * x641 + x240 * x641 +
        x245 * x641 + x250 * x641 - 1.45 * x405 - 0.74 * x430 =E= 0;
e896..  x546 * x643 - 1.45 * x406 - 0.74 * x431 =E= 0;
e897..  x547 * x644 - x546 * x643 + x252 * x643 + x257 * x643 + x262 * x643 +
        x267 * x643 + x272 * x643 - 1.45 * x407 - 0.74 * x432 =E= 0;
e898..  x548 * x645 - x547 * x644 + x253 * x644 + x258 * x644 + x263 * x644 +
        x268 * x644 + x273 * x644 - 1.45 * x408 - 0.74 * x433 =E= 0;
e899..  x549 * x646 - x548 * x645 + x254 * x645 + x259 * x645 + x264 * x645 +
        x269 * x645 + x274 * x645 - 1.45 * x409 - 0.74 * x434 =E= 0;
e900..  x550 * x647 - x549 * x646 + x255 * x646 + x260 * x646 + x265 * x646 +
        x270 * x646 + x275 * x646 - 1.45 * x410 - 0.74 * x435 =E= 0;
e901..  x551 * x648 - 1.45 * x411 - 0.74 * x436 =E= 0;
e902..  x552 * x649 - x551 * x648 + x277 * x648 + x282 * x648 + x287 * x648 +
        x292 * x648 + x297 * x648 - 1.45 * x412 - 0.74 * x437 =E= 0;
e903..  x553 * x650 - x552 * x649 + x278 * x649 + x283 * x649 + x288 * x649 +
        x293 * x649 + x298 * x649 - 1.45 * x413 - 0.74 * x438 =E= 0;
e904..  x554 * x651 - x553 * x650 + x279 * x650 + x284 * x650 + x289 * x650 +
        x294 * x650 + x299 * x650 - 1.45 * x414 - 0.74 * x439 =E= 0;
e905..  x555 * x652 - x554 * x651 + x280 * x651 + x285 * x651 + x290 * x651 +
        x295 * x651 + x300 * x651 - 1.45 * x415 - 0.74 * x440 =E= 0;
e906..  x556 * x653 - 1.45 * x416 - 0.74 * x441 =E= 0;
e907..  x557 * x654 - x556 * x653 + x302 * x653 + x307 * x653 + x312 * x653 +
        x317 * x653 + x322 * x653 - 1.45 * x417 - 0.74 * x442 =E= 0;
e908..  x558 * x655 - x557 * x654 + x303 * x654 + x308 * x654 + x313 * x654 +
        x318 * x654 + x323 * x654 - 1.45 * x418 - 0.74 * x443 =E= 0;
e909..  x559 * x656 - x558 * x655 + x304 * x655 + x309 * x655 + x314 * x655 +
        x319 * x655 + x324 * x655 - 1.45 * x419 - 0.74 * x444 =E= 0;
e910..  x560 * x657 - x559 * x656 + x305 * x656 + x310 * x656 + x315 * x656 +
        x320 * x656 + x325 * x656 - 1.45 * x420 - 0.74 * x445 =E= 0;
e911..  x561 * x658 - 1.45 * x421 - 0.74 * x446 =E= 0;
e912..  x562 * x659 - x561 * x658 + x327 * x658 + x332 * x658 + x337 * x658 +
        x342 * x658 + x347 * x658 - 1.45 * x422 - 0.74 * x447 =E= 0;
e913..  x563 * x660 - x562 * x659 + x328 * x659 + x333 * x659 + x338 * x659 +
        x343 * x659 + x348 * x659 - 1.45 * x423 - 0.74 * x448 =E= 0;
e914..  x564 * x661 - x563 * x660 + x329 * x660 + x334 * x660 + x339 * x660 +
        x344 * x660 + x349 * x660 - 1.45 * x424 - 0.74 * x449 =E= 0;
e915..  x565 * x662 - x564 * x661 + x330 * x661 + x335 * x661 + x340 * x661 +
        x345 * x661 + x350 * x661 - 1.45 * x425 - 0.74 * x450 =E= 0;
e916..  x566 * x471 =E= 0;
e917..  x567 * x472 - x227 * x638 - x252 * x643 - x277 * x648 - x302 * x653 -
        x327 * x658 - x566 * x471 - (-x352 * x471 - x357 * x471) =E= 0;
e918..  x568 * x473 - x228 * x639 - x253 * x644 - x278 * x649 - x303 * x654 -
        x328 * x659 - x567 * x472 - (-x353 * x472 - x358 * x472) =E= 0;
e919..  x569 * x474 - x229 * x640 - x254 * x645 - x279 * x650 - x304 * x655 -
        x329 * x660 - x568 * x473 - (-x354 * x473 - x359 * x473) =E= 0;
e920..  x570 * x663 - x230 * x641 - x255 * x646 - x280 * x651 - x305 * x656 -
        x330 * x661 - x569 * x474 - (-x355 * x474 - x360 * x474) =E= 0;
e921..  x571 * x475 =E= 0;
e922..  x572 * x476 - x232 * x638 - x257 * x643 - x282 * x648 - x307 * x653 -
        x332 * x658 - x571 * x475 - (-x362 * x475 - x367 * x475) =E= 0;
e923..  x573 * x477 - x233 * x639 - x258 * x644 - x283 * x649 - x308 * x654 -
        x333 * x659 - x572 * x476 - (-x363 * x476 - x368 * x476) =E= 0;
e924..  x574 * x478 - x234 * x640 - x259 * x645 - x284 * x650 - x309 * x655 -
        x334 * x660 - x573 * x477 - (-x364 * x477 - x369 * x477) =E= 0;
e925..  x575 * x664 - x235 * x641 - x260 * x646 - x285 * x651 - x310 * x656 -
        x335 * x661 - x574 * x478 - (-x365 * x478 - x370 * x478) =E= 0;
e926..  x576 * x479 =E= 0;
e927..  x577 * x480 - x237 * x638 - x262 * x643 - x287 * x648 - x312 * x653 -
        x337 * x658 - x576 * x479 - (-x372 * x479 - x377 * x479) =E= 0;
e928..  x578 * x481 - x238 * x639 - x263 * x644 - x288 * x649 - x313 * x654 -
        x338 * x659 - x577 * x480 - (-x373 * x480 - x378 * x480) =E= 0;
e929..  x579 * x482 - x239 * x640 - x264 * x645 - x289 * x650 - x314 * x655 -
        x339 * x660 - x578 * x481 - (-x374 * x481 - x379 * x481) =E= 0;
e930..  x580 * x665 - x240 * x641 - x265 * x646 - x290 * x651 - x315 * x656 -
        x340 * x661 - x579 * x482 - (-x375 * x482 - x380 * x482) =E= 0;
e931..  x581 * x483 =E= 0;
e932..  x582 * x484 - x242 * x638 - x267 * x643 - x292 * x648 - x317 * x653 -
        x342 * x658 - x581 * x483 - (-x382 * x483 - x387 * x483) =E= 0;
e933..  x583 * x485 - x243 * x639 - x268 * x644 - x293 * x649 - x318 * x654 -
        x343 * x659 - x582 * x484 - (-x383 * x484 - x388 * x484) =E= 0;
e934..  x584 * x486 - x244 * x640 - x269 * x645 - x294 * x650 - x319 * x655 -
        x344 * x660 - x583 * x485 - (-x384 * x485 - x389 * x485) =E= 0;
e935..  x585 * x666 - x245 * x641 - x270 * x646 - x295 * x651 - x320 * x656 -
        x345 * x661 - x584 * x486 - (-x385 * x486 - x390 * x486) =E= 0;
e936..  x586 * x487 =E= 0;
e937..  x587 * x488 - x247 * x638 - x272 * x643 - x297 * x648 - x322 * x653 -
        x347 * x658 - x586 * x487 - (-x392 * x487 - x397 * x487) =E= 0;
e938..  x588 * x489 - x248 * x639 - x273 * x644 - x298 * x649 - x323 * x654 -
        x348 * x659 - x587 * x488 - (-x393 * x488 - x398 * x488) =E= 0;
e939..  x589 * x490 - x249 * x640 - x274 * x645 - x299 * x650 - x324 * x655 -
        x349 * x660 - x588 * x489 - (-x394 * x489 - x399 * x489) =E= 0;
e940..  x590 * x667 - x250 * x641 - x275 * x646 - x300 * x651 - x325 * x656 -
        x350 * x661 - x589 * x490 - (-x395 * x490 - x400 * x490) =E= 0;
e941..  x541 * x668 - 1.31 * x401 - 1.3 * x426 =E= 0;
e942..  x542 * x669 - x541 * x668 + x227 * x668 + x232 * x668 + x237 * x668 +
        x242 * x668 + x247 * x668 - 1.31 * x402 - 1.3 * x427 =E= 0;
e943..  x543 * x670 - x542 * x669 + x228 * x669 + x233 * x669 + x238 * x669 +
        x243 * x669 + x248 * x669 - 1.31 * x403 - 1.3 * x428 =E= 0;
e944..  x544 * x671 - x543 * x670 + x229 * x670 + x234 * x670 + x239 * x670 +
        x244 * x670 + x249 * x670 - 1.31 * x404 - 1.3 * x429 =E= 0;
e945..  x545 * x672 - x544 * x671 + x230 * x671 + x235 * x671 + x240 * x671 +
        x245 * x671 + x250 * x671 - 1.31 * x405 - 1.3 * x430 =E= 0;
e946..  x546 * x673 - 1.31 * x406 - 1.3 * x431 =E= 0;
e947..  x547 * x674 - x546 * x673 + x252 * x673 + x257 * x673 + x262 * x673 +
        x267 * x673 + x272 * x673 - 1.31 * x407 - 1.3 * x432 =E= 0;
e948..  x548 * x675 - x547 * x674 + x253 * x674 + x258 * x674 + x263 * x674 +
        x268 * x674 + x273 * x674 - 1.31 * x408 - 1.3 * x433 =E= 0;
e949..  x549 * x676 - x548 * x675 + x254 * x675 + x259 * x675 + x264 * x675 +
        x269 * x675 + x274 * x675 - 1.31 * x409 - 1.3 * x434 =E= 0;
e950..  x550 * x677 - x549 * x676 + x255 * x676 + x260 * x676 + x265 * x676 +
        x270 * x676 + x275 * x676 - 1.31 * x410 - 1.3 * x435 =E= 0;
e951..  x551 * x678 - 1.31 * x411 - 1.3 * x436 =E= 0;
e952..  x552 * x679 - x551 * x678 + x277 * x678 + x282 * x678 + x287 * x678 +
        x292 * x678 + x297 * x678 - 1.31 * x412 - 1.3 * x437 =E= 0;
e953..  x553 * x680 - x552 * x679 + x278 * x679 + x283 * x679 + x288 * x679 +
        x293 * x679 + x298 * x679 - 1.31 * x413 - 1.3 * x438 =E= 0;
e954..  x554 * x681 - x553 * x680 + x279 * x680 + x284 * x680 + x289 * x680 +
        x294 * x680 + x299 * x680 - 1.31 * x414 - 1.3 * x439 =E= 0;
e955..  x555 * x682 - x554 * x681 + x280 * x681 + x285 * x681 + x290 * x681 +
        x295 * x681 + x300 * x681 - 1.31 * x415 - 1.3 * x440 =E= 0;
e956..  x556 * x683 - 1.31 * x416 - 1.3 * x441 =E= 0;
e957..  x557 * x684 - x556 * x683 + x302 * x683 + x307 * x683 + x312 * x683 +
        x317 * x683 + x322 * x683 - 1.31 * x417 - 1.3 * x442 =E= 0;
e958..  x558 * x685 - x557 * x684 + x303 * x684 + x308 * x684 + x313 * x684 +
        x318 * x684 + x323 * x684 - 1.31 * x418 - 1.3 * x443 =E= 0;
e959..  x559 * x686 - x558 * x685 + x304 * x685 + x309 * x685 + x314 * x685 +
        x319 * x685 + x324 * x685 - 1.31 * x419 - 1.3 * x444 =E= 0;
e960..  x560 * x687 - x559 * x686 + x305 * x686 + x310 * x686 + x315 * x686 +
        x320 * x686 + x325 * x686 - 1.31 * x420 - 1.3 * x445 =E= 0;
e961..  x561 * x688 - 1.31 * x421 - 1.3 * x446 =E= 0;
e962..  x562 * x689 - x561 * x688 + x327 * x688 + x332 * x688 + x337 * x688 +
        x342 * x688 + x347 * x688 - 1.31 * x422 - 1.3 * x447 =E= 0;
e963..  x563 * x690 - x562 * x689 + x328 * x689 + x333 * x689 + x338 * x689 +
        x343 * x689 + x348 * x689 - 1.31 * x423 - 1.3 * x448 =E= 0;
e964..  x564 * x691 - x563 * x690 + x329 * x690 + x334 * x690 + x339 * x690 +
        x344 * x690 + x349 * x690 - 1.31 * x424 - 1.3 * x449 =E= 0;
e965..  x565 * x692 - x564 * x691 + x330 * x691 + x335 * x691 + x340 * x691 +
        x345 * x691 + x350 * x691 - 1.31 * x425 - 1.3 * x450 =E= 0;
e966..  x566 * x491 =E= 0;
e967..  x567 * x492 - x227 * x668 - x252 * x673 - x277 * x678 - x302 * x683 -
        x327 * x688 - x566 * x491 - (-x352 * x491 - x357 * x491) =E= 0;
e968..  x568 * x493 - x228 * x669 - x253 * x674 - x278 * x679 - x303 * x684 -
        x328 * x689 - x567 * x492 - (-x353 * x492 - x358 * x492) =E= 0;
e969..  x569 * x494 - x229 * x670 - x254 * x675 - x279 * x680 - x304 * x685 -
        x329 * x690 - x568 * x493 - (-x354 * x493 - x359 * x493) =E= 0;
e970..  x570 * x693 - x230 * x671 - x255 * x676 - x280 * x681 - x305 * x686 -
        x330 * x691 - x569 * x494 - (-x355 * x494 - x360 * x494) =E= 0;
e971..  x571 * x495 =E= 0;
e972..  x572 * x496 - x232 * x668 - x257 * x673 - x282 * x678 - x307 * x683 -
        x332 * x688 - x571 * x495 - (-x362 * x495 - x367 * x495) =E= 0;
e973..  x573 * x497 - x233 * x669 - x258 * x674 - x283 * x679 - x308 * x684 -
        x333 * x689 - x572 * x496 - (-x363 * x496 - x368 * x496) =E= 0;
e974..  x574 * x498 - x234 * x670 - x259 * x675 - x284 * x680 - x309 * x685 -
        x334 * x690 - x573 * x497 - (-x364 * x497 - x369 * x497) =E= 0;
e975..  x575 * x694 - x235 * x671 - x260 * x676 - x285 * x681 - x310 * x686 -
        x335 * x691 - x574 * x498 - (-x365 * x498 - x370 * x498) =E= 0;
e976..  x576 * x499 =E= 0;
e977..  x577 * x500 - x237 * x668 - x262 * x673 - x287 * x678 - x312 * x683 -
        x337 * x688 - x576 * x499 - (-x372 * x499 - x377 * x499) =E= 0;
e978..  x578 * x501 - x238 * x669 - x263 * x674 - x288 * x679 - x313 * x684 -
        x338 * x689 - x577 * x500 - (-x373 * x500 - x378 * x500) =E= 0;
e979..  x579 * x502 - x239 * x670 - x264 * x675 - x289 * x680 - x314 * x685 -
        x339 * x690 - x578 * x501 - (-x374 * x501 - x379 * x501) =E= 0;
e980..  x580 * x695 - x240 * x671 - x265 * x676 - x290 * x681 - x315 * x686 -
        x340 * x691 - x579 * x502 - (-x375 * x502 - x380 * x502) =E= 0;
e981..  x581 * x503 =E= 0;
e982..  x582 * x504 - x242 * x668 - x267 * x673 - x292 * x678 - x317 * x683 -
        x342 * x688 - x581 * x503 - (-x382 * x503 - x387 * x503) =E= 0;
e983..  x583 * x505 - x243 * x669 - x268 * x674 - x293 * x679 - x318 * x684 -
        x343 * x689 - x582 * x504 - (-x383 * x504 - x388 * x504) =E= 0;
e984..  x584 * x506 - x244 * x670 - x269 * x675 - x294 * x680 - x319 * x685 -
        x344 * x690 - x583 * x505 - (-x384 * x505 - x389 * x505) =E= 0;
e985..  x585 * x696 - x245 * x671 - x270 * x676 - x295 * x681 - x320 * x686 -
        x345 * x691 - x584 * x506 - (-x385 * x506 - x390 * x506) =E= 0;
e986..  x586 * x507 =E= 0;
e987..  x587 * x508 - x247 * x668 - x272 * x673 - x297 * x678 - x322 * x683 -
        x347 * x688 - x586 * x507 - (-x392 * x507 - x397 * x507) =E= 0;
e988..  x588 * x509 - x248 * x669 - x273 * x674 - x298 * x679 - x323 * x684 -
        x348 * x689 - x587 * x508 - (-x393 * x508 - x398 * x508) =E= 0;
e989..  x589 * x510 - x249 * x670 - x274 * x675 - x299 * x680 - x324 * x685 -
        x349 * x690 - x588 * x509 - (-x394 * x509 - x399 * x509) =E= 0;
e990..  x590 * x697 - x250 * x671 - x275 * x676 - x300 * x681 - x325 * x686 -
        x350 * x691 - x589 * x510 - (-x395 * x510 - x400 * x510) =E= 0;
e991..  x541 * x698 - 1.64 * x401 - 1.34 * x426 =E= 0;
e992..  x542 * x699 - x541 * x698 + x227 * x698 + x232 * x698 + x237 * x698 +
        x242 * x698 + x247 * x698 - 1.64 * x402 - 1.34 * x427 =E= 0;
e993..  x543 * x700 - x542 * x699 + x228 * x699 + x233 * x699 + x238 * x699 +
        x243 * x699 + x248 * x699 - 1.64 * x403 - 1.34 * x428 =E= 0;
e994..  x544 * x701 - x543 * x700 + x229 * x700 + x234 * x700 + x239 * x700 +
        x244 * x700 + x249 * x700 - 1.64 * x404 - 1.34 * x429 =E= 0;
e995..  x545 * x702 - x544 * x701 + x230 * x701 + x235 * x701 + x240 * x701 +
        x245 * x701 + x250 * x701 - 1.64 * x405 - 1.34 * x430 =E= 0;
e996..  x546 * x703 - 1.64 * x406 - 1.34 * x431 =E= 0;
e997..  x547 * x704 - x546 * x703 + x252 * x703 + x257 * x703 + x262 * x703 +
        x267 * x703 + x272 * x703 - 1.64 * x407 - 1.34 * x432 =E= 0;
e998..  x548 * x705 - x547 * x704 + x253 * x704 + x258 * x704 + x263 * x704 +
        x268 * x704 + x273 * x704 - 1.64 * x408 - 1.34 * x433 =E= 0;
e999..  x549 * x706 - x548 * x705 + x254 * x705 + x259 * x705 + x264 * x705 +
        x269 * x705 + x274 * x705 - 1.64 * x409 - 1.34 * x434 =E= 0;
e1000..  x550 * x707 - x549 * x706 + x255 * x706 + x260 * x706 + x265 * x706 +
         x270 * x706 + x275 * x706 - 1.64 * x410 - 1.34 * x435 =E= 0;
e1001..  x551 * x708 - 1.64 * x411 - 1.34 * x436 =E= 0;
e1002..  x552 * x709 - x551 * x708 + x277 * x708 + x282 * x708 + x287 * x708 +
         x292 * x708 + x297 * x708 - 1.64 * x412 - 1.34 * x437 =E= 0;
e1003..  x553 * x710 - x552 * x709 + x278 * x709 + x283 * x709 + x288 * x709 +
         x293 * x709 + x298 * x709 - 1.64 * x413 - 1.34 * x438 =E= 0;
e1004..  x554 * x711 - x553 * x710 + x279 * x710 + x284 * x710 + x289 * x710 +
         x294 * x710 + x299 * x710 - 1.64 * x414 - 1.34 * x439 =E= 0;
e1005..  x555 * x712 - x554 * x711 + x280 * x711 + x285 * x711 + x290 * x711 +
         x295 * x711 + x300 * x711 - 1.64 * x415 - 1.34 * x440 =E= 0;
e1006..  x556 * x713 - 1.64 * x416 - 1.34 * x441 =E= 0;
e1007..  x557 * x714 - x556 * x713 + x302 * x713 + x307 * x713 + x312 * x713 +
         x317 * x713 + x322 * x713 - 1.64 * x417 - 1.34 * x442 =E= 0;
e1008..  x558 * x715 - x557 * x714 + x303 * x714 + x308 * x714 + x313 * x714 +
         x318 * x714 + x323 * x714 - 1.64 * x418 - 1.34 * x443 =E= 0;
e1009..  x559 * x716 - x558 * x715 + x304 * x715 + x309 * x715 + x314 * x715 +
         x319 * x715 + x324 * x715 - 1.64 * x419 - 1.34 * x444 =E= 0;
e1010..  x560 * x717 - x559 * x716 + x305 * x716 + x310 * x716 + x315 * x716 +
         x320 * x716 + x325 * x716 - 1.64 * x420 - 1.34 * x445 =E= 0;
e1011..  x561 * x718 - 1.64 * x421 - 1.34 * x446 =E= 0;
e1012..  x562 * x719 - x561 * x718 + x327 * x718 + x332 * x718 + x337 * x718 +
         x342 * x718 + x347 * x718 - 1.64 * x422 - 1.34 * x447 =E= 0;
e1013..  x563 * x720 - x562 * x719 + x328 * x719 + x333 * x719 + x338 * x719 +
         x343 * x719 + x348 * x719 - 1.64 * x423 - 1.34 * x448 =E= 0;
e1014..  x564 * x721 - x563 * x720 + x329 * x720 + x334 * x720 + x339 * x720 +
         x344 * x720 + x349 * x720 - 1.64 * x424 - 1.34 * x449 =E= 0;
e1015..  x565 * x722 - x564 * x721 + x330 * x721 + x335 * x721 + x340 * x721 +
         x345 * x721 + x350 * x721 - 1.64 * x425 - 1.34 * x450 =E= 0;
e1016..  x566 * x511 =E= 0;
e1017..  x567 * x512 - x227 * x698 - x252 * x703 - x277 * x708 - x302 * x713 -
         x327 * x718 - x566 * x511 - (-x352 * x511 - x357 * x511) =E= 0;
e1018..  x568 * x513 - x228 * x699 - x253 * x704 - x278 * x709 - x303 * x714 -
         x328 * x719 - x567 * x512 - (-x353 * x512 - x358 * x512) =E= 0;
e1019..  x569 * x514 - x229 * x700 - x254 * x705 - x279 * x710 - x304 * x715 -
         x329 * x720 - x568 * x513 - (-x354 * x513 - x359 * x513) =E= 0;
e1020..  x570 * x723 - x230 * x701 - x255 * x706 - x280 * x711 - x305 * x716 -
         x330 * x721 - x569 * x514 - (-x355 * x514 - x360 * x514) =E= 0;
e1021..  x571 * x515 =E= 0;
e1022..  x572 * x516 - x232 * x698 - x257 * x703 - x282 * x708 - x307 * x713 -
         x332 * x718 - x571 * x515 - (-x362 * x515 - x367 * x515) =E= 0;
e1023..  x573 * x517 - x233 * x699 - x258 * x704 - x283 * x709 - x308 * x714 -
         x333 * x719 - x572 * x516 - (-x363 * x516 - x368 * x516) =E= 0;
e1024..  x574 * x518 - x234 * x700 - x259 * x705 - x284 * x710 - x309 * x715 -
         x334 * x720 - x573 * x517 - (-x364 * x517 - x369 * x517) =E= 0;
e1025..  x575 * x724 - x235 * x701 - x260 * x706 - x285 * x711 - x310 * x716 -
         x335 * x721 - x574 * x518 - (-x365 * x518 - x370 * x518) =E= 0;
e1026..  x576 * x519 =E= 0;
e1027..  x577 * x520 - x237 * x698 - x262 * x703 - x287 * x708 - x312 * x713 -
         x337 * x718 - x576 * x519 - (-x372 * x519 - x377 * x519) =E= 0;
e1028..  x578 * x521 - x238 * x699 - x263 * x704 - x288 * x709 - x313 * x714 -
         x338 * x719 - x577 * x520 - (-x373 * x520 - x378 * x520) =E= 0;
e1029..  x579 * x522 - x239 * x700 - x264 * x705 - x289 * x710 - x314 * x715 -
         x339 * x720 - x578 * x521 - (-x374 * x521 - x379 * x521) =E= 0;
e1030..  x580 * x725 - x240 * x701 - x265 * x706 - x290 * x711 - x315 * x716 -
         x340 * x721 - x579 * x522 - (-x375 * x522 - x380 * x522) =E= 0;
e1031..  x581 * x523 =E= 0;
e1032..  x582 * x524 - x242 * x698 - x267 * x703 - x292 * x708 - x317 * x713 -
         x342 * x718 - x581 * x523 - (-x382 * x523 - x387 * x523) =E= 0;
e1033..  x583 * x525 - x243 * x699 - x268 * x704 - x293 * x709 - x318 * x714 -
         x343 * x719 - x582 * x524 - (-x383 * x524 - x388 * x524) =E= 0;
e1034..  x584 * x526 - x244 * x700 - x269 * x705 - x294 * x710 - x319 * x715 -
         x344 * x720 - x583 * x525 - (-x384 * x525 - x389 * x525) =E= 0;
e1035..  x585 * x726 - x245 * x701 - x270 * x706 - x295 * x711 - x320 * x716 -
         x345 * x721 - x584 * x526 - (-x385 * x526 - x390 * x526) =E= 0;
e1036..  x586 * x527 =E= 0;
e1037..  x587 * x528 - x247 * x698 - x272 * x703 - x297 * x708 - x322 * x713 -
         x347 * x718 - x586 * x527 - (-x392 * x527 - x397 * x527) =E= 0;
e1038..  x588 * x529 - x248 * x699 - x273 * x704 - x298 * x709 - x323 * x714 -
         x348 * x719 - x587 * x528 - (-x393 * x528 - x398 * x528) =E= 0;
e1039..  x589 * x530 - x249 * x700 - x274 * x705 - x299 * x710 - x324 * x715 -
         x349 * x720 - x588 * x529 - (-x394 * x529 - x399 * x529) =E= 0;
e1040..  x590 * x727 - x250 * x701 - x275 * x706 - x300 * x711 - x325 * x716 -
         x350 * x721 - x589 * x530 - (-x395 * x530 - x400 * x530) =E= 0;
e1041..  b1 + b126 =L= 1;
e1042..  b2 + b127 =L= 1;
e1043..  b3 + b128 =L= 1;
e1044..  b4 + b129 =L= 1;
e1045..  b5 + b130 =L= 1;
e1046..  b1 + b131 =L= 1;
e1047..  b2 + b132 =L= 1;
e1048..  b3 + b133 =L= 1;
e1049..  b4 + b134 =L= 1;
e1050..  b5 + b135 =L= 1;
e1051..  b6 + b136 =L= 1;
e1052..  b7 + b137 =L= 1;
e1053..  b8 + b138 =L= 1;
e1054..  b9 + b139 =L= 1;
e1055..  b10 + b140 =L= 1;
e1056..  b6 + b141 =L= 1;
e1057..  b7 + b142 =L= 1;
e1058..  b8 + b143 =L= 1;
e1059..  b9 + b144 =L= 1;
e1060..  b10 + b145 =L= 1;
e1061..  b11 + b146 =L= 1;
e1062..  b12 + b147 =L= 1;
e1063..  b13 + b148 =L= 1;
e1064..  b14 + b149 =L= 1;
e1065..  b15 + b150 =L= 1;
e1066..  b11 + b151 =L= 1;
e1067..  b12 + b152 =L= 1;
e1068..  b13 + b153 =L= 1;
e1069..  b14 + b154 =L= 1;
e1070..  b15 + b155 =L= 1;
e1071..  b16 + b156 =L= 1;
e1072..  b17 + b157 =L= 1;
e1073..  b18 + b158 =L= 1;
e1074..  b19 + b159 =L= 1;
e1075..  b20 + b160 =L= 1;
e1076..  b16 + b161 =L= 1;
e1077..  b17 + b162 =L= 1;
e1078..  b18 + b163 =L= 1;
e1079..  b19 + b164 =L= 1;
e1080..  b20 + b165 =L= 1;
e1081..  b21 + b166 =L= 1;
e1082..  b22 + b167 =L= 1;
e1083..  b23 + b168 =L= 1;
e1084..  b24 + b169 =L= 1;
e1085..  b25 + b170 =L= 1;
e1086..  b21 + b171 =L= 1;
e1087..  b22 + b172 =L= 1;
e1088..  b23 + b173 =L= 1;
e1089..  b24 + b174 =L= 1;
e1090..  b25 + b175 =L= 1;
e1091..  b26 + b126 =L= 1;
e1092..  b27 + b127 =L= 1;
e1093..  b28 + b128 =L= 1;
e1094..  b29 + b129 =L= 1;
e1095..  b30 + b130 =L= 1;
e1096..  b26 + b131 =L= 1;
e1097..  b27 + b132 =L= 1;
e1098..  b28 + b133 =L= 1;
e1099..  b29 + b134 =L= 1;
e1100..  b30 + b135 =L= 1;
e1101..  b31 + b136 =L= 1;
e1102..  b32 + b137 =L= 1;
e1103..  b33 + b138 =L= 1;
e1104..  b34 + b139 =L= 1;
e1105..  b35 + b140 =L= 1;
e1106..  b31 + b141 =L= 1;
e1107..  b32 + b142 =L= 1;
e1108..  b33 + b143 =L= 1;
e1109..  b34 + b144 =L= 1;
e1110..  b35 + b145 =L= 1;
e1111..  b36 + b146 =L= 1;
e1112..  b37 + b147 =L= 1;
e1113..  b38 + b148 =L= 1;
e1114..  b39 + b149 =L= 1;
e1115..  b40 + b150 =L= 1;
e1116..  b36 + b151 =L= 1;
e1117..  b37 + b152 =L= 1;
e1118..  b38 + b153 =L= 1;
e1119..  b39 + b154 =L= 1;
e1120..  b40 + b155 =L= 1;
e1121..  b41 + b156 =L= 1;
e1122..  b42 + b157 =L= 1;
e1123..  b43 + b158 =L= 1;
e1124..  b44 + b159 =L= 1;
e1125..  b45 + b160 =L= 1;
e1126..  b41 + b161 =L= 1;
e1127..  b42 + b162 =L= 1;
e1128..  b43 + b163 =L= 1;
e1129..  b44 + b164 =L= 1;
e1130..  b45 + b165 =L= 1;
e1131..  b46 + b166 =L= 1;
e1132..  b47 + b167 =L= 1;
e1133..  b48 + b168 =L= 1;
e1134..  b49 + b169 =L= 1;
e1135..  b50 + b170 =L= 1;
e1136..  b46 + b171 =L= 1;
e1137..  b47 + b172 =L= 1;
e1138..  b48 + b173 =L= 1;
e1139..  b49 + b174 =L= 1;
e1140..  b50 + b175 =L= 1;
e1141..  b51 + b126 =L= 1;
e1142..  b52 + b127 =L= 1;
e1143..  b53 + b128 =L= 1;
e1144..  b54 + b129 =L= 1;
e1145..  b55 + b130 =L= 1;
e1146..  b51 + b131 =L= 1;
e1147..  b52 + b132 =L= 1;
e1148..  b53 + b133 =L= 1;
e1149..  b54 + b134 =L= 1;
e1150..  b55 + b135 =L= 1;
e1151..  b56 + b136 =L= 1;
e1152..  b57 + b137 =L= 1;
e1153..  b58 + b138 =L= 1;
e1154..  b59 + b139 =L= 1;
e1155..  b60 + b140 =L= 1;
e1156..  b56 + b141 =L= 1;
e1157..  b57 + b142 =L= 1;
e1158..  b58 + b143 =L= 1;
e1159..  b59 + b144 =L= 1;
e1160..  b60 + b145 =L= 1;
e1161..  b61 + b146 =L= 1;
e1162..  b62 + b147 =L= 1;
e1163..  b63 + b148 =L= 1;
e1164..  b64 + b149 =L= 1;
e1165..  b65 + b150 =L= 1;
e1166..  b61 + b151 =L= 1;
e1167..  b62 + b152 =L= 1;
e1168..  b63 + b153 =L= 1;
e1169..  b64 + b154 =L= 1;
e1170..  b65 + b155 =L= 1;
e1171..  b66 + b156 =L= 1;
e1172..  b67 + b157 =L= 1;
e1173..  b68 + b158 =L= 1;
e1174..  b69 + b159 =L= 1;
e1175..  b70 + b160 =L= 1;
e1176..  b66 + b161 =L= 1;
e1177..  b67 + b162 =L= 1;
e1178..  b68 + b163 =L= 1;
e1179..  b69 + b164 =L= 1;
e1180..  b70 + b165 =L= 1;
e1181..  b71 + b166 =L= 1;
e1182..  b72 + b167 =L= 1;
e1183..  b73 + b168 =L= 1;
e1184..  b74 + b169 =L= 1;
e1185..  b75 + b170 =L= 1;
e1186..  b71 + b171 =L= 1;
e1187..  b72 + b172 =L= 1;
e1188..  b73 + b173 =L= 1;
e1189..  b74 + b174 =L= 1;
e1190..  b75 + b175 =L= 1;
e1191..  b76 + b126 =L= 1;
e1192..  b77 + b127 =L= 1;
e1193..  b78 + b128 =L= 1;
e1194..  b79 + b129 =L= 1;
e1195..  b80 + b130 =L= 1;
e1196..  b76 + b131 =L= 1;
e1197..  b77 + b132 =L= 1;
e1198..  b78 + b133 =L= 1;
e1199..  b79 + b134 =L= 1;
e1200..  b80 + b135 =L= 1;
e1201..  b81 + b136 =L= 1;
e1202..  b82 + b137 =L= 1;
e1203..  b83 + b138 =L= 1;
e1204..  b84 + b139 =L= 1;
e1205..  b85 + b140 =L= 1;
e1206..  b81 + b141 =L= 1;
e1207..  b82 + b142 =L= 1;
e1208..  b83 + b143 =L= 1;
e1209..  b84 + b144 =L= 1;
e1210..  b85 + b145 =L= 1;
e1211..  b86 + b146 =L= 1;
e1212..  b87 + b147 =L= 1;
e1213..  b88 + b148 =L= 1;
e1214..  b89 + b149 =L= 1;
e1215..  b90 + b150 =L= 1;
e1216..  b86 + b151 =L= 1;
e1217..  b87 + b152 =L= 1;
e1218..  b88 + b153 =L= 1;
e1219..  b89 + b154 =L= 1;
e1220..  b90 + b155 =L= 1;
e1221..  b91 + b156 =L= 1;
e1222..  b92 + b157 =L= 1;
e1223..  b93 + b158 =L= 1;
e1224..  b94 + b159 =L= 1;
e1225..  b95 + b160 =L= 1;
e1226..  b91 + b161 =L= 1;
e1227..  b92 + b162 =L= 1;
e1228..  b93 + b163 =L= 1;
e1229..  b94 + b164 =L= 1;
e1230..  b95 + b165 =L= 1;
e1231..  b96 + b166 =L= 1;
e1232..  b97 + b167 =L= 1;
e1233..  b98 + b168 =L= 1;
e1234..  b99 + b169 =L= 1;
e1235..  b100 + b170 =L= 1;
e1236..  b96 + b171 =L= 1;
e1237..  b97 + b172 =L= 1;
e1238..  b98 + b173 =L= 1;
e1239..  b99 + b174 =L= 1;
e1240..  b100 + b175 =L= 1;
e1241..  b101 + b126 =L= 1;
e1242..  b102 + b127 =L= 1;
e1243..  b103 + b128 =L= 1;
e1244..  b104 + b129 =L= 1;
e1245..  b105 + b130 =L= 1;
e1246..  b101 + b131 =L= 1;
e1247..  b102 + b132 =L= 1;
e1248..  b103 + b133 =L= 1;
e1249..  b104 + b134 =L= 1;
e1250..  b105 + b135 =L= 1;
e1251..  b106 + b136 =L= 1;
e1252..  b107 + b137 =L= 1;
e1253..  b108 + b138 =L= 1;
e1254..  b109 + b139 =L= 1;
e1255..  b110 + b140 =L= 1;
e1256..  b106 + b141 =L= 1;
e1257..  b107 + b142 =L= 1;
e1258..  b108 + b143 =L= 1;
e1259..  b109 + b144 =L= 1;
e1260..  b110 + b145 =L= 1;
e1261..  b111 + b146 =L= 1;
e1262..  b112 + b147 =L= 1;
e1263..  b113 + b148 =L= 1;
e1264..  b114 + b149 =L= 1;
e1265..  b115 + b150 =L= 1;
e1266..  b111 + b151 =L= 1;
e1267..  b112 + b152 =L= 1;
e1268..  b113 + b153 =L= 1;
e1269..  b114 + b154 =L= 1;
e1270..  b115 + b155 =L= 1;
e1271..  b116 + b156 =L= 1;
e1272..  b117 + b157 =L= 1;
e1273..  b118 + b158 =L= 1;
e1274..  b119 + b159 =L= 1;
e1275..  b120 + b160 =L= 1;
e1276..  b116 + b161 =L= 1;
e1277..  b117 + b162 =L= 1;
e1278..  b118 + b163 =L= 1;
e1279..  b119 + b164 =L= 1;
e1280..  b120 + b165 =L= 1;
e1281..  b121 + b166 =L= 1;
e1282..  b122 + b167 =L= 1;
e1283..  b123 + b168 =L= 1;
e1284..  b124 + b169 =L= 1;
e1285..  b125 + b170 =L= 1;
e1286..  b121 + b171 =L= 1;
e1287..  b122 + b172 =L= 1;
e1288..  b123 + b173 =L= 1;
e1289..  b124 + b174 =L= 1;
e1290..  b125 + b175 =L= 1;
e1291..  b1 + b176 =L= 1;
e1292..  b2 + b177 =L= 1;
e1293..  b3 + b178 =L= 1;
e1294..  b4 + b179 =L= 1;
e1295..  b5 + b180 =L= 1;
e1296..  b6 + b176 =L= 1;
e1297..  b7 + b177 =L= 1;
e1298..  b8 + b178 =L= 1;
e1299..  b9 + b179 =L= 1;
e1300..  b10 + b180 =L= 1;
e1301..  b11 + b176 =L= 1;
e1302..  b12 + b177 =L= 1;
e1303..  b13 + b178 =L= 1;
e1304..  b14 + b179 =L= 1;
e1305..  b15 + b180 =L= 1;
e1306..  b16 + b176 =L= 1;
e1307..  b17 + b177 =L= 1;
e1308..  b18 + b178 =L= 1;
e1309..  b19 + b179 =L= 1;
e1310..  b20 + b180 =L= 1;
e1311..  b21 + b176 =L= 1;
e1312..  b22 + b177 =L= 1;
e1313..  b23 + b178 =L= 1;
e1314..  b24 + b179 =L= 1;
e1315..  b25 + b180 =L= 1;
e1316..  b26 + b181 =L= 1;
e1317..  b27 + b182 =L= 1;
e1318..  b28 + b183 =L= 1;
e1319..  b29 + b184 =L= 1;
e1320..  b30 + b185 =L= 1;
e1321..  b31 + b181 =L= 1;
e1322..  b32 + b182 =L= 1;
e1323..  b33 + b183 =L= 1;
e1324..  b34 + b184 =L= 1;
e1325..  b35 + b185 =L= 1;
e1326..  b36 + b181 =L= 1;
e1327..  b37 + b182 =L= 1;
e1328..  b38 + b183 =L= 1;
e1329..  b39 + b184 =L= 1;
e1330..  b40 + b185 =L= 1;
e1331..  b41 + b181 =L= 1;
e1332..  b42 + b182 =L= 1;
e1333..  b43 + b183 =L= 1;
e1334..  b44 + b184 =L= 1;
e1335..  b45 + b185 =L= 1;
e1336..  b46 + b181 =L= 1;
e1337..  b47 + b182 =L= 1;
e1338..  b48 + b183 =L= 1;
e1339..  b49 + b184 =L= 1;
e1340..  b50 + b185 =L= 1;
e1341..  b51 + b186 =L= 1;
e1342..  b52 + b187 =L= 1;
e1343..  b53 + b188 =L= 1;
e1344..  b54 + b189 =L= 1;
e1345..  b55 + b190 =L= 1;
e1346..  b56 + b186 =L= 1;
e1347..  b57 + b187 =L= 1;
e1348..  b58 + b188 =L= 1;
e1349..  b59 + b189 =L= 1;
e1350..  b60 + b190 =L= 1;
e1351..  b61 + b186 =L= 1;
e1352..  b62 + b187 =L= 1;
e1353..  b63 + b188 =L= 1;
e1354..  b64 + b189 =L= 1;
e1355..  b65 + b190 =L= 1;
e1356..  b66 + b186 =L= 1;
e1357..  b67 + b187 =L= 1;
e1358..  b68 + b188 =L= 1;
e1359..  b69 + b189 =L= 1;
e1360..  b70 + b190 =L= 1;
e1361..  b71 + b186 =L= 1;
e1362..  b72 + b187 =L= 1;
e1363..  b73 + b188 =L= 1;
e1364..  b74 + b189 =L= 1;
e1365..  b75 + b190 =L= 1;
e1366..  b76 + b191 =L= 1;
e1367..  b77 + b192 =L= 1;
e1368..  b78 + b193 =L= 1;
e1369..  b79 + b194 =L= 1;
e1370..  b80 + b195 =L= 1;
e1371..  b81 + b191 =L= 1;
e1372..  b82 + b192 =L= 1;
e1373..  b83 + b193 =L= 1;
e1374..  b84 + b194 =L= 1;
e1375..  b85 + b195 =L= 1;
e1376..  b86 + b191 =L= 1;
e1377..  b87 + b192 =L= 1;
e1378..  b88 + b193 =L= 1;
e1379..  b89 + b194 =L= 1;
e1380..  b90 + b195 =L= 1;
e1381..  b91 + b191 =L= 1;
e1382..  b92 + b192 =L= 1;
e1383..  b93 + b193 =L= 1;
e1384..  b94 + b194 =L= 1;
e1385..  b95 + b195 =L= 1;
e1386..  b96 + b191 =L= 1;
e1387..  b97 + b192 =L= 1;
e1388..  b98 + b193 =L= 1;
e1389..  b99 + b194 =L= 1;
e1390..  b100 + b195 =L= 1;
e1391..  b101 + b196 =L= 1;
e1392..  b102 + b197 =L= 1;
e1393..  b103 + b198 =L= 1;
e1394..  b104 + b199 =L= 1;
e1395..  b105 + b200 =L= 1;
e1396..  b106 + b196 =L= 1;
e1397..  b107 + b197 =L= 1;
e1398..  b108 + b198 =L= 1;
e1399..  b109 + b199 =L= 1;
e1400..  b110 + b200 =L= 1;
e1401..  b111 + b196 =L= 1;
e1402..  b112 + b197 =L= 1;
e1403..  b113 + b198 =L= 1;
e1404..  b114 + b199 =L= 1;
e1405..  b115 + b200 =L= 1;
e1406..  b116 + b196 =L= 1;
e1407..  b117 + b197 =L= 1;
e1408..  b118 + b198 =L= 1;
e1409..  b119 + b199 =L= 1;
e1410..  b120 + b200 =L= 1;
e1411..  b121 + b196 =L= 1;
e1412..  b122 + b197 =L= 1;
e1413..  b123 + b198 =L= 1;
e1414..  b124 + b199 =L= 1;
e1415..  b125 + b200 =L= 1;
e1416..  b1 + b201 =L= 1;
e1417..  b2 + b202 =L= 1;
e1418..  b3 + b203 =L= 1;
e1419..  b4 + b204 =L= 1;
e1420..  b5 + b205 =L= 1;
e1421..  b6 + b201 =L= 1;
e1422..  b7 + b202 =L= 1;
e1423..  b8 + b203 =L= 1;
e1424..  b9 + b204 =L= 1;
e1425..  b10 + b205 =L= 1;
e1426..  b11 + b201 =L= 1;
e1427..  b12 + b202 =L= 1;
e1428..  b13 + b203 =L= 1;
e1429..  b14 + b204 =L= 1;
e1430..  b15 + b205 =L= 1;
e1431..  b16 + b201 =L= 1;
e1432..  b17 + b202 =L= 1;
e1433..  b18 + b203 =L= 1;
e1434..  b19 + b204 =L= 1;
e1435..  b20 + b205 =L= 1;
e1436..  b21 + b201 =L= 1;
e1437..  b22 + b202 =L= 1;
e1438..  b23 + b203 =L= 1;
e1439..  b24 + b204 =L= 1;
e1440..  b25 + b205 =L= 1;
e1441..  b26 + b206 =L= 1;
e1442..  b27 + b207 =L= 1;
e1443..  b28 + b208 =L= 1;
e1444..  b29 + b209 =L= 1;
e1445..  b30 + b210 =L= 1;
e1446..  b31 + b206 =L= 1;
e1447..  b32 + b207 =L= 1;
e1448..  b33 + b208 =L= 1;
e1449..  b34 + b209 =L= 1;
e1450..  b35 + b210 =L= 1;
e1451..  b36 + b206 =L= 1;
e1452..  b37 + b207 =L= 1;
e1453..  b38 + b208 =L= 1;
e1454..  b39 + b209 =L= 1;
e1455..  b40 + b210 =L= 1;
e1456..  b41 + b206 =L= 1;
e1457..  b42 + b207 =L= 1;
e1458..  b43 + b208 =L= 1;
e1459..  b44 + b209 =L= 1;
e1460..  b45 + b210 =L= 1;
e1461..  b46 + b206 =L= 1;
e1462..  b47 + b207 =L= 1;
e1463..  b48 + b208 =L= 1;
e1464..  b49 + b209 =L= 1;
e1465..  b50 + b210 =L= 1;
e1466..  b51 + b211 =L= 1;
e1467..  b52 + b212 =L= 1;
e1468..  b53 + b213 =L= 1;
e1469..  b54 + b214 =L= 1;
e1470..  b55 + b215 =L= 1;
e1471..  b56 + b211 =L= 1;
e1472..  b57 + b212 =L= 1;
e1473..  b58 + b213 =L= 1;
e1474..  b59 + b214 =L= 1;
e1475..  b60 + b215 =L= 1;
e1476..  b61 + b211 =L= 1;
e1477..  b62 + b212 =L= 1;
e1478..  b63 + b213 =L= 1;
e1479..  b64 + b214 =L= 1;
e1480..  b65 + b215 =L= 1;
e1481..  b66 + b211 =L= 1;
e1482..  b67 + b212 =L= 1;
e1483..  b68 + b213 =L= 1;
e1484..  b69 + b214 =L= 1;
e1485..  b70 + b215 =L= 1;
e1486..  b71 + b211 =L= 1;
e1487..  b72 + b212 =L= 1;
e1488..  b73 + b213 =L= 1;
e1489..  b74 + b214 =L= 1;
e1490..  b75 + b215 =L= 1;
e1491..  b76 + b216 =L= 1;
e1492..  b77 + b217 =L= 1;
e1493..  b78 + b218 =L= 1;
e1494..  b79 + b219 =L= 1;
e1495..  b80 + b220 =L= 1;
e1496..  b81 + b216 =L= 1;
e1497..  b82 + b217 =L= 1;
e1498..  b83 + b218 =L= 1;
e1499..  b84 + b219 =L= 1;
e1500..  b85 + b220 =L= 1;
e1501..  b86 + b216 =L= 1;
e1502..  b87 + b217 =L= 1;
e1503..  b88 + b218 =L= 1;
e1504..  b89 + b219 =L= 1;
e1505..  b90 + b220 =L= 1;
e1506..  b91 + b216 =L= 1;
e1507..  b92 + b217 =L= 1;
e1508..  b93 + b218 =L= 1;
e1509..  b94 + b219 =L= 1;
e1510..  b95 + b220 =L= 1;
e1511..  b96 + b216 =L= 1;
e1512..  b97 + b217 =L= 1;
e1513..  b98 + b218 =L= 1;
e1514..  b99 + b219 =L= 1;
e1515..  b100 + b220 =L= 1;
e1516..  b101 + b221 =L= 1;
e1517..  b102 + b222 =L= 1;
e1518..  b103 + b223 =L= 1;
e1519..  b104 + b224 =L= 1;
e1520..  b105 + b225 =L= 1;
e1521..  b106 + b221 =L= 1;
e1522..  b107 + b222 =L= 1;
e1523..  b108 + b223 =L= 1;
e1524..  b109 + b224 =L= 1;
e1525..  b110 + b225 =L= 1;
e1526..  b111 + b221 =L= 1;
e1527..  b112 + b222 =L= 1;
e1528..  b113 + b223 =L= 1;
e1529..  b114 + b224 =L= 1;
e1530..  b115 + b225 =L= 1;
e1531..  b116 + b221 =L= 1;
e1532..  b117 + b222 =L= 1;
e1533..  b118 + b223 =L= 1;
e1534..  b119 + b224 =L= 1;
e1535..  b120 + b225 =L= 1;
e1536..  b121 + b221 =L= 1;
e1537..  b122 + b222 =L= 1;
e1538..  b123 + b223 =L= 1;
e1539..  b124 + b224 =L= 1;
e1540..  b125 + b225 =L= 1;
e1541..  33.92 * b1 + 33.92 * b2 + 33.92 * b3 + 33.92 * b4 + 33.92 * b5 + 33.92
         * b6 + 33.92 * b7 + 33.92 * b8 + 33.92 * b9 + 33.92 * b10 + 33.92 *
         b11 + 33.92 * b12 + 33.92 * b13 + 33.92 * b14 + 33.92 * b15 + 33.92 *
         b16 + 33.92 * b17 + 33.92 * b18 + 33.92 * b19 + 33.92 * b20 + 33.92 *
         b21 + 33.92 * b22 + 33.92 * b23 + 33.92 * b24 + 33.92 * b25 + 33.92 *
         b26 + 33.92 * b27 + 33.92 * b28 + 33.92 * b29 + 33.92 * b30 + 33.92 *
         b31 + 33.92 * b32 + 33.92 * b33 + 33.92 * b34 + 33.92 * b35 + 33.92 *
         b36 + 33.92 * b37 + 33.92 * b38 + 33.92 * b39 + 33.92 * b40 + 33.92 *
         b41 + 33.92 * b42 + 33.92 * b43 + 33.92 * b44 + 33.92 * b45 + 33.92 *
         b46 + 33.92 * b47 + 33.92 * b48 + 33.92 * b49 + 33.92 * b50 + 33.92 *
         b51 + 33.92 * b52 + 33.92 * b53 + 33.92 * b54 + 33.92 * b55 + 33.92 *
         b56 + 33.92 * b57 + 33.92 * b58 + 33.92 * b59 + 33.92 * b60 + 33.92 *
         b61 + 33.92 * b62 + 33.92 * b63 + 33.92 * b64 + 33.92 * b65 + 33.92 *
         b66 + 33.92 * b67 + 33.92 * b68 + 33.92 * b69 + 33.92 * b70 + 33.92 *
         b71 + 33.92 * b72 + 33.92 * b73 + 33.92 * b74 + 33.92 * b75 + 33.92 *
         b76 + 33.92 * b77 + 33.92 * b78 + 33.92 * b79 + 33.92 * b80 + 33.92 *
         b81 + 33.92 * b82 + 33.92 * b83 + 33.92 * b84 + 33.92 * b85 + 33.92 *
         b86 + 33.92 * b87 + 33.92 * b88 + 33.92 * b89 + 33.92 * b90 + 33.92 *
         b91 + 33.92 * b92 + 33.92 * b93 + 33.92 * b94 + 33.92 * b95 + 33.92 *
         b96 + 33.92 * b97 + 33.92 * b98 + 33.92 * b99 + 33.92 * b100 + 33.92 *
         b101 + 33.92 * b102 + 33.92 * b103 + 33.92 * b104 + 33.92 * b105 +
         33.92 * b106 + 33.92 * b107 + 33.92 * b108 + 33.92 * b109 + 33.92 *
         b110 + 33.92 * b111 + 33.92 * b112 + 33.92 * b113 + 33.92 * b114 +
         33.92 * b115 + 33.92 * b116 + 33.92 * b117 + 33.92 * b118 + 33.92 *
         b119 + 33.92 * b120 + 33.92 * b121 + 33.92 * b122 + 33.92 * b123 +
         33.92 * b124 + 33.92 * b125 + 33.92 * b126 + 33.92 * b127 + 33.92 *
         b128 + 33.92 * b129 + 33.92 * b130 + 33.92 * b131 + 33.92 * b132 +
         33.92 * b133 + 33.92 * b134 + 33.92 * b135 + 33.92 * b136 + 33.92 *
         b137 + 33.92 * b138 + 33.92 * b139 + 33.92 * b140 + 33.92 * b141 +
         33.92 * b142 + 33.92 * b143 + 33.92 * b144 + 33.92 * b145 + 33.92 *
         b146 + 33.92 * b147 + 33.92 * b148 + 33.92 * b149 + 33.92 * b150 +
         33.92 * b151 + 33.92 * b152 + 33.92 * b153 + 33.92 * b154 + 33.92 *
         b155 + 33.92 * b156 + 33.92 * b157 + 33.92 * b158 + 33.92 * b159 +
         33.92 * b160 + 33.92 * b161 + 33.92 * b162 + 33.92 * b163 + 33.92 *
         b164 + 33.92 * b165 + 33.92 * b166 + 33.92 * b167 + 33.92 * b168 +
         33.92 * b169 + 33.92 * b170 + 33.92 * b171 + 33.92 * b172 + 33.92 *
         b173 + 33.92 * b174 + 33.92 * b175 + 33.92 * b176 + 33.92 * b177 +
         33.92 * b178 + 33.92 * b179 + 33.92 * b180 + 33.92 * b181 + 33.92 *
         b182 + 33.92 * b183 + 33.92 * b184 + 33.92 * b185 + 33.92 * b186 +
         33.92 * b187 + 33.92 * b188 + 33.92 * b189 + 33.92 * b190 + 33.92 *
         b191 + 33.92 * b192 + 33.92 * b193 + 33.92 * b194 + 33.92 * b195 +
         33.92 * b196 + 33.92 * b197 + 33.92 * b198 + 33.92 * b199 + 33.92 *
         b200 + 33.92 * b201 + 33.92 * b202 + 33.92 * b203 + 33.92 * b204 +
         33.92 * b205 + 33.92 * b206 + 33.92 * b207 + 33.92 * b208 + 33.92 *
         b209 + 33.92 * b210 + 33.92 * b211 + 33.92 * b212 + 33.92 * b213 +
         33.92 * b214 + 33.92 * b215 + 33.92 * b216 + 33.92 * b217 + 33.92 *
         b218 + 33.92 * b219 + 33.92 * b220 + 33.92 * b221 + 33.92 * b222 +
         33.92 * b223 + 33.92 * b224 + 33.92 * b225 + 14.2464 * x226 + 14.2464
         * x227 + 14.2464 * x228 + 14.2464 * x229 + 14.2464 * x230 +
         15.603200000000001 * x231 + 15.603200000000001 * x232 +
         15.603200000000001 * x233 + 15.603200000000001 * x234 +
         15.603200000000001 * x235 + 13.228800000000001 * x236 +
         13.228800000000001 * x237 + 13.228800000000001 * x238 +
         13.228800000000001 * x239 + 13.228800000000001 * x240 + 26.1184 * x241
         + 26.1184 * x242 + 26.1184 * x243 + 26.1184 * x244 + 26.1184 * x245
         + 24.7616 * x246 + 24.7616 * x247 + 24.7616 * x248 + 24.7616 * x249
         + 24.7616 * x250 + 16.96 * x251 + 16.96 * x252 + 16.96 * x253 + 16.96
         * x254 + 16.96 * x255 + 14.924800000000001 * x256 +
         14.924800000000001 * x257 + 14.924800000000001 * x258 +
         14.924800000000001 * x259 + 14.924800000000001 * x260 + 22.7264 * x261
         + 22.7264 * x262 + 22.7264 * x263 + 22.7264 * x264 + 22.7264 * x265
         + 14.2464 * x266 + 14.2464 * x267 + 14.2464 * x268 + 14.2464 * x269
         + 14.2464 * x270 + 12.5504 * x271 + 12.5504 * x272 + 12.5504 * x273
         + 12.5504 * x274 + 12.5504 * x275 + 15.603200000000001 * x276 +
         15.603200000000001 * x277 + 15.603200000000001 * x278 +
         15.603200000000001 * x279 + 15.603200000000001 * x280 +
         6.444800000000001 * x281 + 6.444800000000001 * x282 +
         6.444800000000001 * x283 + 6.444800000000001 * x284 +
         6.444800000000001 * x285 + 1.6960000000000002 * x286 +
         1.6960000000000002 * x287 + 1.6960000000000002 * x288 +
         1.6960000000000002 * x289 + 1.6960000000000002 * x290 + 4.0704 * x291
         + 4.0704 * x292 + 4.0704 * x293 + 4.0704 * x294 + 4.0704 * x295 +
         13.568000000000001 * x296 + 13.568000000000001 * x297 +
         13.568000000000001 * x298 + 13.568000000000001 * x299 +
         13.568000000000001 * x300 + 13.228800000000001 * x301 +
         13.228800000000001 * x302 + 13.228800000000001 * x303 +
         13.228800000000001 * x304 + 13.228800000000001 * x305 +
         18.995200000000004 * x306 + 18.995200000000004 * x307 +
         18.995200000000004 * x308 + 18.995200000000004 * x309 +
         18.995200000000004 * x310 + 18.3168 * x311 + 18.3168 * x312 + 18.3168
         * x313 + 18.3168 * x314 + 18.3168 * x315 + 25.44 * x316 + 25.44 * x317
         + 25.44 * x318 + 25.44 * x319 + 25.44 * x320 + 13.9072 * x321 +
         13.9072 * x322 + 13.9072 * x323 + 13.9072 * x324 + 13.9072 * x325 +
         13.228800000000001 * x326 + 13.228800000000001 * x327 +
         13.228800000000001 * x328 + 13.228800000000001 * x329 +
         13.228800000000001 * x330 + 9.1584 * x331 + 9.1584 * x332 + 9.1584 *
         x333 + 9.1584 * x334 + 9.1584 * x335 + 6.1056 * x336 + 6.1056 * x337
         + 6.1056 * x338 + 6.1056 * x339 + 6.1056 * x340 + 12.889600000000002
         * x341 + 12.889600000000002 * x342 + 12.889600000000002 * x343 +
         12.889600000000002 * x344 + 12.889600000000002 * x345 +
         9.497600000000002 * x346 + 9.497600000000002 * x347 +
         9.497600000000002 * x348 + 9.497600000000002 * x349 +
         9.497600000000002 * x350 + 27.0304 * x351 + 27.0304 * x352 + 27.0304 *
         x353 + 27.0304 * x354 + 27.0304 * x355 - 50.432 * x356 - 50.432 *
         x357 - 50.432 * x358 - 50.432 * x359 - 50.432 * x360 +
         9.731200000000001 * x361 + 9.731200000000001 * x362 +
         9.731200000000001 * x363 + 9.731200000000001 * x364 +
         9.731200000000001 * x365 - 50.432 * x366 - 50.432 * x367 - 50.432 *
         x368 - 50.432 * x369 - 50.432 * x370 + 15.497600000000002 * x371 +
         15.497600000000002 * x372 + 15.497600000000002 * x373 +
         15.497600000000002 * x374 + 15.497600000000002 * x375 - 50.7712 * x376
         - 50.7712 * x377 - 50.7712 * x378 - 50.7712 * x379 - 50.7712 * x380
         + 32.1184 * x381 + 32.1184 * x382 + 32.1184 * x383 + 32.1184 * x384
         + 32.1184 * x385 - 37.8816 * x386 - 37.8816 * x387 - 37.8816 * x388
         - 37.8816 * x389 - 37.8816 * x390 + 18.5504 * x391 + 18.5504 * x392
         + 18.5504 * x393 + 18.5504 * x394 + 18.5504 * x395 - 57.8944 * x396
         - 57.8944 * x397 - 57.8944 * x398 - 57.8944 * x399 - 57.8944 * x400
         + 21.5856 * x401 + 21.5856 * x402 + 21.5856 * x403 + 21.5856 * x404
         + 21.5856 * x405 + 12.7664 * x406 + 12.7664 * x407 + 12.7664 * x408
         + 12.7664 * x409 + 12.7664 * x410 + 24.977600000000002 * x411 +
         24.977600000000002 * x412 + 24.977600000000002 * x413 +
         24.977600000000002 * x414 + 24.977600000000002 * x415 + 18.872 * x416
         + 18.872 * x417 + 18.872 * x418 + 18.872 * x419 + 18.872 * x420 +
         28.369600000000002 * x421 + 28.369600000000002 * x422 +
         28.369600000000002 * x423 + 28.369600000000002 * x424 +
         28.369600000000002 * x425 + 23.2816 * x426 + 23.2816 * x427 + 23.2816
         * x428 + 23.2816 * x429 + 23.2816 * x430 + 11.409600000000001 * x431
         + 11.409600000000001 * x432 + 11.409600000000001 * x433 +
         11.409600000000001 * x434 + 11.409600000000001 * x435 + 14.1232 * x436
         + 14.1232 * x437 + 14.1232 * x438 + 14.1232 * x439 + 14.1232 * x440
         + 13.4448 * x441 + 13.4448 * x442 + 13.4448 * x443 + 13.4448 * x444
         + 13.4448 * x445 + 12.088000000000001 * x446 + 12.088000000000001 *
         x447 + 12.088000000000001 * x448 + 12.088000000000001 * x449 +
         12.088000000000001 * x450 + objvar =E= 0;

* set non-default bounds
x226.lo = 0; x226.up = 50;
x227.lo = 0; x227.up = 50;
x228.lo = 0; x228.up = 50;
x229.lo = 0; x229.up = 50;
x230.lo = 0; x230.up = 50;
x231.lo = 0; x231.up = 50;
x232.lo = 0; x232.up = 50;
x233.lo = 0; x233.up = 50;
x234.lo = 0; x234.up = 50;
x235.lo = 0; x235.up = 50;
x236.lo = 0; x236.up = 50;
x237.lo = 0; x237.up = 50;
x238.lo = 0; x238.up = 50;
x239.lo = 0; x239.up = 50;
x240.lo = 0; x240.up = 50;
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 = 4.98;
x452.lo = 0; x452.up = 4.98;
x453.lo = 0; x453.up = 4.98;
x454.lo = 0; x454.up = 4.98;
x455.lo = 0; x455.up = 4.98;
x456.lo = 0; x456.up = 4.98;
x457.lo = 0; x457.up = 4.98;
x458.lo = 0; x458.up = 4.98;
x459.lo = 0; x459.up = 4.98;
x460.lo = 0; x460.up = 4.98;
x461.lo = 0; x461.up = 4.98;
x462.lo = 0; x462.up = 4.98;
x463.lo = 0; x463.up = 4.98;
x464.lo = 0; x464.up = 4.98;
x465.lo = 0; x465.up = 4.98;
x466.lo = 0; x466.up = 4.98;
x467.lo = 0; x467.up = 4.98;
x468.lo = 0; x468.up = 4.98;
x469.lo = 0; x469.up = 4.98;
x470.lo = 0; x470.up = 4.98;
x471.lo = 0; x471.up = 1.45;
x472.lo = 0; x472.up = 1.45;
x473.lo = 0; x473.up = 1.45;
x474.lo = 0; x474.up = 1.45;
x475.lo = 0; x475.up = 1.45;
x476.lo = 0; x476.up = 1.45;
x477.lo = 0; x477.up = 1.45;
x478.lo = 0; x478.up = 1.45;
x479.lo = 0; x479.up = 1.45;
x480.lo = 0; x480.up = 1.45;
x481.lo = 0; x481.up = 1.45;
x482.lo = 0; x482.up = 1.45;
x483.lo = 0; x483.up = 1.45;
x484.lo = 0; x484.up = 1.45;
x485.lo = 0; x485.up = 1.45;
x486.lo = 0; x486.up = 1.45;
x487.lo = 0; x487.up = 1.45;
x488.lo = 0; x488.up = 1.45;
x489.lo = 0; x489.up = 1.45;
x490.lo = 0; x490.up = 1.45;
x491.lo = 0; x491.up = 1.31;
x492.lo = 0; x492.up = 1.31;
x493.lo = 0; x493.up = 1.31;
x494.lo = 0; x494.up = 1.31;
x495.lo = 0; x495.up = 1.31;
x496.lo = 0; x496.up = 1.31;
x497.lo = 0; x497.up = 1.31;
x498.lo = 0; x498.up = 1.31;
x499.lo = 0; x499.up = 1.31;
x500.lo = 0; x500.up = 1.31;
x501.lo = 0; x501.up = 1.31;
x502.lo = 0; x502.up = 1.31;
x503.lo = 0; x503.up = 1.31;
x504.lo = 0; x504.up = 1.31;
x505.lo = 0; x505.up = 1.31;
x506.lo = 0; x506.up = 1.31;
x507.lo = 0; x507.up = 1.31;
x508.lo = 0; x508.up = 1.31;
x509.lo = 0; x509.up = 1.31;
x510.lo = 0; x510.up = 1.31;
x511.lo = 0; x511.up = 1.64;
x512.lo = 0; x512.up = 1.64;
x513.lo = 0; x513.up = 1.64;
x514.lo = 0; x514.up = 1.64;
x515.lo = 0; x515.up = 1.64;
x516.lo = 0; x516.up = 1.64;
x517.lo = 0; x517.up = 1.64;
x518.lo = 0; x518.up = 1.64;
x519.lo = 0; x519.up = 1.64;
x520.lo = 0; x520.up = 1.64;
x521.lo = 0; x521.up = 1.64;
x522.lo = 0; x522.up = 1.64;
x523.lo = 0; x523.up = 1.64;
x524.lo = 0; x524.up = 1.64;
x525.lo = 0; x525.up = 1.64;
x526.lo = 0; x526.up = 1.64;
x527.lo = 0; x527.up = 1.64;
x528.lo = 0; x528.up = 1.64;
x529.lo = 0; x529.up = 1.64;
x530.lo = 0; x530.up = 1.64;
x531.fx = 0;
x532.fx = 0;
x533.fx = 0;
x534.fx = 0;
x535.fx = 0;
x536.fx = 0;
x537.fx = 0;
x538.fx = 0;
x539.fx = 0;
x540.fx = 0;
x541.lo = 0; x541.up = 43;
x542.lo = 0; x542.up = 43;
x543.lo = 0; x543.up = 43;
x544.lo = 0; x544.up = 43;
x545.lo = 0; x545.up = 43;
x546.lo = 0; x546.up = 57;
x547.lo = 0; x547.up = 57;
x548.lo = 0; x548.up = 57;
x549.lo = 0; x549.up = 57;
x550.lo = 0; x550.up = 57;
x551.lo = 0; x551.up = 54;
x552.lo = 0; x552.up = 54;
x553.lo = 0; x553.up = 54;
x554.lo = 0; x554.up = 54;
x555.lo = 0; x555.up = 54;
x556.lo = 0; x556.up = 52;
x557.lo = 0; x557.up = 52;
x558.lo = 0; x558.up = 52;
x559.lo = 0; x559.up = 52;
x560.lo = 0; x560.up = 52;
x561.lo = 0; x561.up = 42;
x562.lo = 0; x562.up = 42;
x563.lo = 0; x563.up = 42;
x564.lo = 0; x564.up = 42;
x565.lo = 0; x565.up = 42;
x566.lo = 0; x566.up = 43;
x567.lo = 0; x567.up = 43;
x568.lo = 0; x568.up = 43;
x569.lo = 0; x569.up = 43;
x570.lo = 0; x570.up = 43;
x571.lo = 0; x571.up = 53;
x572.lo = 0; x572.up = 53;
x573.lo = 0; x573.up = 53;
x574.lo = 0; x574.up = 53;
x575.lo = 0; x575.up = 53;
x576.lo = 0; x576.up = 40;
x577.lo = 0; x577.up = 40;
x578.lo = 0; x578.up = 40;
x579.lo = 0; x579.up = 40;
x580.lo = 0; x580.up = 40;
x581.lo = 0; x581.up = 43;
x582.lo = 0; x582.up = 43;
x583.lo = 0; x583.up = 43;
x584.lo = 0; x584.up = 43;
x585.lo = 0; x585.up = 43;
x586.lo = 0; x586.up = 58;
x587.lo = 0; x587.up = 58;
x588.lo = 0; x588.up = 58;
x589.lo = 0; x589.up = 58;
x590.lo = 0; x590.up = 58;
x591.fx = 0;
x592.lo = 0; x592.up = 50;
x593.fx = 0;
x594.lo = 0; x594.up = 50;
x595.fx = 0;
x596.lo = 0; x596.up = 50;
x597.fx = 0;
x598.lo = 0; x598.up = 50;
x599.fx = 0;
x600.lo = 0; x600.up = 50;
x601.fx = 0;
x602.lo = 0; x602.up = 50;
x603.fx = 0;
x604.lo = 0; x604.up = 50;
x605.fx = 0;
x606.fx = 0;
x607.fx = 0;
x608.lo = 0; x608.up = 4.98;
x609.lo = 0; x609.up = 4.98;
x610.lo = 0; x610.up = 4.98;
x611.lo = 0; x611.up = 4.98;
x612.lo = 0; x612.up = 4.98;
x613.lo = 0; x613.up = 4.98;
x614.lo = 0; x614.up = 4.98;
x615.lo = 0; x615.up = 4.98;
x616.lo = 0; x616.up = 4.98;
x617.lo = 0; x617.up = 4.98;
x618.lo = 0; x618.up = 4.98;
x619.lo = 0; x619.up = 4.98;
x620.lo = 0; x620.up = 4.98;
x621.lo = 0; x621.up = 4.98;
x622.lo = 0; x622.up = 4.98;
x623.lo = 0; x623.up = 4.98;
x624.lo = 0; x624.up = 4.98;
x625.lo = 0; x625.up = 4.98;
x626.lo = 0; x626.up = 4.98;
x627.lo = 0; x627.up = 4.98;
x628.lo = 0; x628.up = 4.98;
x629.lo = 0; x629.up = 4.98;
x630.lo = 0; x630.up = 4.98;
x631.lo = 0; x631.up = 4.98;
x632.lo = 0; x632.up = 4.98;
x633.lo = 0; x633.up = 4.98;
x634.lo = 0; x634.up = 4.98;
x635.lo = 0; x635.up = 4.98;
x636.lo = 0; x636.up = 4.98;
x637.lo = 0; x637.up = 4.98;
x638.lo = 0; x638.up = 1.45;
x639.lo = 0; x639.up = 1.45;
x640.lo = 0; x640.up = 1.45;
x641.lo = 0; x641.up = 1.45;
x642.lo = 0; x642.up = 1.45;
x643.lo = 0; x643.up = 1.45;
x644.lo = 0; x644.up = 1.45;
x645.lo = 0; x645.up = 1.45;
x646.lo = 0; x646.up = 1.45;
x647.lo = 0; x647.up = 1.45;
x648.lo = 0; x648.up = 1.45;
x649.lo = 0; x649.up = 1.45;
x650.lo = 0; x650.up = 1.45;
x651.lo = 0; x651.up = 1.45;
x652.lo = 0; x652.up = 1.45;
x653.lo = 0; x653.up = 1.45;
x654.lo = 0; x654.up = 1.45;
x655.lo = 0; x655.up = 1.45;
x656.lo = 0; x656.up = 1.45;
x657.lo = 0; x657.up = 1.45;
x658.lo = 0; x658.up = 1.45;
x659.lo = 0; x659.up = 1.45;
x660.lo = 0; x660.up = 1.45;
x661.lo = 0; x661.up = 1.45;
x662.lo = 0; x662.up = 1.45;
x663.lo = 0; x663.up = 1.45;
x664.lo = 0; x664.up = 1.45;
x665.lo = 0; x665.up = 1.45;
x666.lo = 0; x666.up = 1.45;
x667.lo = 0; x667.up = 1.45;
x668.lo = 0; x668.up = 1.31;
x669.lo = 0; x669.up = 1.31;
x670.lo = 0; x670.up = 1.31;
x671.lo = 0; x671.up = 1.31;
x672.lo = 0; x672.up = 1.31;
x673.lo = 0; x673.up = 1.31;
x674.lo = 0; x674.up = 1.31;
x675.lo = 0; x675.up = 1.31;
x676.lo = 0; x676.up = 1.31;
x677.lo = 0; x677.up = 1.31;
x678.lo = 0; x678.up = 1.31;
x679.lo = 0; x679.up = 1.31;
x680.lo = 0; x680.up = 1.31;
x681.lo = 0; x681.up = 1.31;
x682.lo = 0; x682.up = 1.31;
x683.lo = 0; x683.up = 1.31;
x684.lo = 0; x684.up = 1.31;
x685.lo = 0; x685.up = 1.31;
x686.lo = 0; x686.up = 1.31;
x687.lo = 0; x687.up = 1.31;
x688.lo = 0; x688.up = 1.31;
x689.lo = 0; x689.up = 1.31;
x690.lo = 0; x690.up = 1.31;
x691.lo = 0; x691.up = 1.31;
x692.lo = 0; x692.up = 1.31;
x693.lo = 0; x693.up = 1.31;
x694.lo = 0; x694.up = 1.31;
x695.lo = 0; x695.up = 1.31;
x696.lo = 0; x696.up = 1.31;
x697.lo = 0; x697.up = 1.31;
x698.lo = 0; x698.up = 1.64;
x699.lo = 0; x699.up = 1.64;
x700.lo = 0; x700.up = 1.64;
x701.lo = 0; x701.up = 1.64;
x702.lo = 0; x702.up = 1.64;
x703.lo = 0; x703.up = 1.64;
x704.lo = 0; x704.up = 1.64;
x705.lo = 0; x705.up = 1.64;
x706.lo = 0; x706.up = 1.64;
x707.lo = 0; x707.up = 1.64;
x708.lo = 0; x708.up = 1.64;
x709.lo = 0; x709.up = 1.64;
x710.lo = 0; x710.up = 1.64;
x711.lo = 0; x711.up = 1.64;
x712.lo = 0; x712.up = 1.64;
x713.lo = 0; x713.up = 1.64;
x714.lo = 0; x714.up = 1.64;
x715.lo = 0; x715.up = 1.64;
x716.lo = 0; x716.up = 1.64;
x717.lo = 0; x717.up = 1.64;
x718.lo = 0; x718.up = 1.64;
x719.lo = 0; x719.up = 1.64;
x720.lo = 0; x720.up = 1.64;
x721.lo = 0; x721.up = 1.64;
x722.lo = 0; x722.up = 1.64;
x723.lo = 0; x723.up = 1.64;
x724.lo = 0; x724.up = 1.64;
x725.lo = 0; x725.up = 1.64;
x726.lo = 0; x726.up = 1.64;
x727.lo = 0; x727.up = 1.64;
x729.lo = 6; x729.up = 50;
x730.lo = 10; x730.up = 50;
x731.lo = 9; x731.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
Imprint / Privacy Policy / License: CC-BY 4.0