MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance mpbp_46

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 870
#Binary Variables 336
#Integer Variables 0
#Nonlinear Variables 364
#Nonlinear Binary Variables 0
#Nonlinear Integer Variables 0
Objective Sense max
Objective type linear
Objective curvature linear
#Nonzeros in Objective 672
#Nonlinear Nonzeros in Objective 0
#Constraints 1932
#Linear Constraints 1860
#Quadratic Constraints 72
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature indefinite
#Nonzeros in Jacobian 5268
#Nonlinear Nonzeros in Jacobian 804
#Nonzeros in (Upper-Left) Hessian of Lagrangian 584
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 72
Minimal blocksize in Hessian of Lagrangian 2
Maximal blocksize in Hessian of Lagrangian 6
Average blocksize in Hessian of Lagrangian 5.055556
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.5000e-01
Maximal coefficient 6.0911e+01
Infeasibility of initial point 40
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
*      1933      181        0     1752        0        0        0        0
*
* Variable counts
*                  x        b        i      s1s      s2s       sc       si
*     Total     cont   binary  integer     sos1     sos2    scont     sint
*       871      535      336        0        0        0        0        0
* FX     36
*
* Nonzero counts
*     Total    const       NL
*      5941     5137      804

* Solve m using MINLP maximizing objvar;

Variables
    b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
    b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
    b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54,b55,b56,b57,b58,b59,
    b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,
    b79,b80,b81,b82,b83,b84,b85,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,
    b98,b99,b100,b101,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,
    b113,b114,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,
    b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142,
    b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155,b156,b157,
    b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168,b169,b170,b171,b172,
    b173,b174,b175,b176,b177,b178,b179,b180,b181,b182,b183,b184,b185,b186,b187,
    b188,b189,b190,b191,b192,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,
    b203,b204,b205,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,
    b218,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,
    b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246,b247,
    b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259,b260,b261,b262,
    b263,b264,b265,b266,b267,b268,b269,b270,b271,b272,b273,b274,b275,b276,b277,
    b278,b279,b280,b281,b282,b283,b284,b285,b286,b287,b288,b289,b290,b291,b292,
    b293,b294,b295,b296,b297,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,
    b308,b309,b310,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,
    b323,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336,x337,
    x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351,x352,
    x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366,x367,
    x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381,x382,
    x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397,
    x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,
    x413,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,
    x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442,
    x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456,x457,
    x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471,x472,
    x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484,x485,x486,x487,
    x488,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,
    x503,x504,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,
    x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532,
    x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546,x547,
    x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561,x562,
    x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576,x577,
    x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592,
    x593,x594,x595,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,
    x608,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,
    x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636,x637,
    x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650,x651,x652,
    x653,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663,x664,x665,x666,x667,
    x668,x669,x670,x671,x672,x673,x674,x675,x676,x677,x678,x679,x680,x681,x682,
    x683,x684,x685,x686,x687,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,
    x698,x699,x700,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,
    x713,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726,x727,
    x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740,x741,x742,
    x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753,x754,x755,x756,x757,
    x758,x759,x760,x761,x762,x763,x764,x765,x766,x767,x768,x769,x770,x771,x772,
    x773,x774,x775,x776,x777,x778,x779,x780,x781,x782,x783,x784,x785,x786,x787,
    x788,x789,x790,x791,x792,x793,x794,x795,x796,x797,x798,x799,x800,x801,x802,
    x803,x804,x805,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,
    x818,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831,x832,
    x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844,x845,x846,x847,
    x848,x849,x850,x851,x852,x853,x854,x855,x856,x857,x858,x859,x860,x861,x862,
    x863,x864,objvar,x866,x867,x868,x869,x870,x871;

Binary Variables
    b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,b21,
    b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
    b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53,b54,b55,b56,b57,b58,b59,
    b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,
    b79,b80,b81,b82,b83,b84,b85,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,
    b98,b99,b100,b101,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,
    b113,b114,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,
    b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142,
    b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155,b156,b157,
    b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168,b169,b170,b171,b172,
    b173,b174,b175,b176,b177,b178,b179,b180,b181,b182,b183,b184,b185,b186,b187,
    b188,b189,b190,b191,b192,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,
    b203,b204,b205,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,
    b218,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,
    b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246,b247,
    b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259,b260,b261,b262,
    b263,b264,b265,b266,b267,b268,b269,b270,b271,b272,b273,b274,b275,b276,b277,
    b278,b279,b280,b281,b282,b283,b284,b285,b286,b287,b288,b289,b290,b291,b292,
    b293,b294,b295,b296,b297,b298,b299,b300,b301,b302,b303,b304,b305,b306,b307,
    b308,b309,b310,b311,b312,b313,b314,b315,b316,b317,b318,b319,b320,b321,b322,
    b323,b324,b325,b326,b327,b328,b329,b330,b331,b332,b333,b334,b335,b336;

Equations
    e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19,e20,e21,
    e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36,e37,e38,e39,e40,
    e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53,e54,e55,e56,e57,e58,e59,
    e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70,e71,e72,e73,e74,e75,e76,e77,e78,
    e79,e80,e81,e82,e83,e84,e85,e86,e87,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,
    e98,e99,e100,e101,e102,e103,e104,e105,e106,e107,e108,e109,e110,e111,e112,
    e113,e114,e115,e116,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,
    e128,e129,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142,
    e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155,e156,e157,
    e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168,e169,e170,e171,e172,
    e173,e174,e175,e176,e177,e178,e179,e180,e181,e182,e183,e184,e185,e186,e187,
    e188,e189,e190,e191,e192,e193,e194,e195,e196,e197,e198,e199,e200,e201,e202,
    e203,e204,e205,e206,e207,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,
    e218,e219,e220,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,
    e233,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246,e247,
    e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259,e260,e261,e262,
    e263,e264,e265,e266,e267,e268,e269,e270,e271,e272,e273,e274,e275,e276,e277,
    e278,e279,e280,e281,e282,e283,e284,e285,e286,e287,e288,e289,e290,e291,e292,
    e293,e294,e295,e296,e297,e298,e299,e300,e301,e302,e303,e304,e305,e306,e307,
    e308,e309,e310,e311,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,
    e323,e324,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337,
    e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350,e351,e352,
    e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363,e364,e365,e366,e367,
    e368,e369,e370,e371,e372,e373,e374,e375,e376,e377,e378,e379,e380,e381,e382,
    e383,e384,e385,e386,e387,e388,e389,e390,e391,e392,e393,e394,e395,e396,e397,
    e398,e399,e400,e401,e402,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,
    e413,e414,e415,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,
    e428,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441,e442,
    e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454,e455,e456,e457,
    e458,e459,e460,e461,e462,e463,e464,e465,e466,e467,e468,e469,e470,e471,e472,
    e473,e474,e475,e476,e477,e478,e479,e480,e481,e482,e483,e484,e485,e486,e487,
    e488,e489,e490,e491,e492,e493,e494,e495,e496,e497,e498,e499,e500,e501,e502,
    e503,e504,e505,e506,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,
    e518,e519,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532,
    e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545,e546,e547,
    e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558,e559,e560,e561,e562,
    e563,e564,e565,e566,e567,e568,e569,e570,e571,e572,e573,e574,e575,e576,e577,
    e578,e579,e580,e581,e582,e583,e584,e585,e586,e587,e588,e589,e590,e591,e592,
    e593,e594,e595,e596,e597,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,
    e608,e609,e610,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,
    e623,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636,e637,
    e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649,e650,e651,e652,
    e653,e654,e655,e656,e657,e658,e659,e660,e661,e662,e663,e664,e665,e666,e667,
    e668,e669,e670,e671,e672,e673,e674,e675,e676,e677,e678,e679,e680,e681,e682,
    e683,e684,e685,e686,e687,e688,e689,e690,e691,e692,e693,e694,e695,e696,e697,
    e698,e699,e700,e701,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,
    e713,e714,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727,
    e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740,e741,e742,
    e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753,e754,e755,e756,e757,
    e758,e759,e760,e761,e762,e763,e764,e765,e766,e767,e768,e769,e770,e771,e772,
    e773,e774,e775,e776,e777,e778,e779,e780,e781,e782,e783,e784,e785,e786,e787,
    e788,e789,e790,e791,e792,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,
    e803,e804,e805,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,
    e818,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831,e832,
    e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844,e845,e846,e847,
    e848,e849,e850,e851,e852,e853,e854,e855,e856,e857,e858,e859,e860,e861,e862,
    e863,e864,e865,e866,e867,e868,e869,e870,e871,e872,e873,e874,e875,e876,e877,
    e878,e879,e880,e881,e882,e883,e884,e885,e886,e887,e888,e889,e890,e891,e892,
    e893,e894,e895,e896,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,
    e908,e909,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922,
    e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935,e936,e937,
    e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948,e949,e950,e951,e952,
    e953,e954,e955,e956,e957,e958,e959,e960,e961,e962,e963,e964,e965,e966,e967,
    e968,e969,e970,e971,e972,e973,e974,e975,e976,e977,e978,e979,e980,e981,e982,
    e983,e984,e985,e986,e987,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,
    e998,e999,e1000,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,
    e1011,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022,
    e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033,e1034,
    e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044,e1045,e1046,
    e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055,e1056,e1057,e1058,
    e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066,e1067,e1068,e1069,e1070,
    e1071,e1072,e1073,e1074,e1075,e1076,e1077,e1078,e1079,e1080,e1081,e1082,
    e1083,e1084,e1085,e1086,e1087,e1088,e1089,e1090,e1091,e1092,e1093,e1094,
    e1095,e1096,e1097,e1098,e1099,e1100,e1101,e1102,e1103,e1104,e1105,e1106,
    e1107,e1108,e1109,e1110,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,
    e1119,e1120,e1121,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,
    e1131,e1132,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,
    e1143,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154,
    e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165,e1166,
    e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176,e1177,e1178,
    e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187,e1188,e1189,e1190,
    e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198,e1199,e1200,e1201,e1202,
    e1203,e1204,e1205,e1206,e1207,e1208,e1209,e1210,e1211,e1212,e1213,e1214,
    e1215,e1216,e1217,e1218,e1219,e1220,e1221,e1222,e1223,e1224,e1225,e1226,
    e1227,e1228,e1229,e1230,e1231,e1232,e1233,e1234,e1235,e1236,e1237,e1238,
    e1239,e1240,e1241,e1242,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,
    e1251,e1252,e1253,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,
    e1263,e1264,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,
    e1275,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286,
    e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297,e1298,
    e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308,e1309,e1310,
    e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319,e1320,e1321,e1322,
    e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330,e1331,e1332,e1333,e1334,
    e1335,e1336,e1337,e1338,e1339,e1340,e1341,e1342,e1343,e1344,e1345,e1346,
    e1347,e1348,e1349,e1350,e1351,e1352,e1353,e1354,e1355,e1356,e1357,e1358,
    e1359,e1360,e1361,e1362,e1363,e1364,e1365,e1366,e1367,e1368,e1369,e1370,
    e1371,e1372,e1373,e1374,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,
    e1383,e1384,e1385,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,
    e1395,e1396,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,
    e1407,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418,
    e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429,e1430,
    e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440,e1441,e1442,
    e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451,e1452,e1453,e1454,
    e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462,e1463,e1464,e1465,e1466,
    e1467,e1468,e1469,e1470,e1471,e1472,e1473,e1474,e1475,e1476,e1477,e1478,
    e1479,e1480,e1481,e1482,e1483,e1484,e1485,e1486,e1487,e1488,e1489,e1490,
    e1491,e1492,e1493,e1494,e1495,e1496,e1497,e1498,e1499,e1500,e1501,e1502,
    e1503,e1504,e1505,e1506,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,
    e1515,e1516,e1517,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,
    e1527,e1528,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,
    e1539,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550,
    e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561,e1562,
    e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572,e1573,e1574,
    e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583,e1584,e1585,e1586,
    e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594,e1595,e1596,e1597,e1598,
    e1599,e1600,e1601,e1602,e1603,e1604,e1605,e1606,e1607,e1608,e1609,e1610,
    e1611,e1612,e1613,e1614,e1615,e1616,e1617,e1618,e1619,e1620,e1621,e1622,
    e1623,e1624,e1625,e1626,e1627,e1628,e1629,e1630,e1631,e1632,e1633,e1634,
    e1635,e1636,e1637,e1638,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,
    e1647,e1648,e1649,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,
    e1659,e1660,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,
    e1671,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682,
    e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693,e1694,
    e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704,e1705,e1706,
    e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715,e1716,e1717,e1718,
    e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726,e1727,e1728,e1729,e1730,
    e1731,e1732,e1733,e1734,e1735,e1736,e1737,e1738,e1739,e1740,e1741,e1742,
    e1743,e1744,e1745,e1746,e1747,e1748,e1749,e1750,e1751,e1752,e1753,e1754,
    e1755,e1756,e1757,e1758,e1759,e1760,e1761,e1762,e1763,e1764,e1765,e1766,
    e1767,e1768,e1769,e1770,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,
    e1779,e1780,e1781,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,
    e1791,e1792,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,
    e1803,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814,
    e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825,e1826,
    e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836,e1837,e1838,
    e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847,e1848,e1849,e1850,
    e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858,e1859,e1860,e1861,e1862,
    e1863,e1864,e1865,e1866,e1867,e1868,e1869,e1870,e1871,e1872,e1873,e1874,
    e1875,e1876,e1877,e1878,e1879,e1880,e1881,e1882,e1883,e1884,e1885,e1886,
    e1887,e1888,e1889,e1890,e1891,e1892,e1893,e1894,e1895,e1896,e1897,e1898,
    e1899,e1900,e1901,e1902,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,
    e1911,e1912,e1913,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,
    e1923,e1924,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933;

e1..  b1 - x337 =L= 0;
e2..  b2 - x338 =L= 0;
e3..  b3 - x339 =L= 0;
e4..  b4 - x340 =L= 0;
e5..  b5 - x341 =L= 0;
e6..  b6 - x342 =L= 0;
e7..  b7 - x343 =L= 0;
e8..  b8 - x344 =L= 0;
e9..  b9 - x345 =L= 0;
e10..  b10 - x346 =L= 0;
e11..  b11 - x347 =L= 0;
e12..  b12 - x348 =L= 0;
e13..  b13 - x349 =L= 0;
e14..  b14 - x350 =L= 0;
e15..  b15 - x351 =L= 0;
e16..  b16 - x352 =L= 0;
e17..  b17 - x353 =L= 0;
e18..  b18 - x354 =L= 0;
e19..  b19 - x355 =L= 0;
e20..  b20 - x356 =L= 0;
e21..  b21 - x357 =L= 0;
e22..  b22 - x358 =L= 0;
e23..  b23 - x359 =L= 0;
e24..  b24 - x360 =L= 0;
e25..  b25 - x361 =L= 0;
e26..  b26 - x362 =L= 0;
e27..  b27 - x363 =L= 0;
e28..  b28 - x364 =L= 0;
e29..  b29 - x365 =L= 0;
e30..  b30 - x366 =L= 0;
e31..  b31 - x367 =L= 0;
e32..  b32 - x368 =L= 0;
e33..  b33 - x369 =L= 0;
e34..  b34 - x370 =L= 0;
e35..  b35 - x371 =L= 0;
e36..  b36 - x372 =L= 0;
e37..  b37 - x373 =L= 0;
e38..  b38 - x374 =L= 0;
e39..  b39 - x375 =L= 0;
e40..  b40 - x376 =L= 0;
e41..  b41 - x377 =L= 0;
e42..  b42 - x378 =L= 0;
e43..  b43 - x379 =L= 0;
e44..  b44 - x380 =L= 0;
e45..  b45 - x381 =L= 0;
e46..  b46 - x382 =L= 0;
e47..  b47 - x383 =L= 0;
e48..  b48 - x384 =L= 0;
e49..  b49 - x385 =L= 0;
e50..  b50 - x386 =L= 0;
e51..  b51 - x387 =L= 0;
e52..  b52 - x388 =L= 0;
e53..  b53 - x389 =L= 0;
e54..  b54 - x390 =L= 0;
e55..  b55 - x391 =L= 0;
e56..  b56 - x392 =L= 0;
e57..  b57 - x393 =L= 0;
e58..  b58 - x394 =L= 0;
e59..  b59 - x395 =L= 0;
e60..  b60 - x396 =L= 0;
e61..  b61 - x397 =L= 0;
e62..  b62 - x398 =L= 0;
e63..  b63 - x399 =L= 0;
e64..  b64 - x400 =L= 0;
e65..  b65 - x401 =L= 0;
e66..  b66 - x402 =L= 0;
e67..  b67 - x403 =L= 0;
e68..  b68 - x404 =L= 0;
e69..  b69 - x405 =L= 0;
e70..  b70 - x406 =L= 0;
e71..  b71 - x407 =L= 0;
e72..  b72 - x408 =L= 0;
e73..  b73 - x409 =L= 0;
e74..  b74 - x410 =L= 0;
e75..  b75 - x411 =L= 0;
e76..  b76 - x412 =L= 0;
e77..  b77 - x413 =L= 0;
e78..  b78 - x414 =L= 0;
e79..  b79 - x415 =L= 0;
e80..  b80 - x416 =L= 0;
e81..  b81 - x417 =L= 0;
e82..  b82 - x418 =L= 0;
e83..  b83 - x419 =L= 0;
e84..  b84 - x420 =L= 0;
e85..  b85 - x421 =L= 0;
e86..  b86 - x422 =L= 0;
e87..  b87 - x423 =L= 0;
e88..  b88 - x424 =L= 0;
e89..  b89 - x425 =L= 0;
e90..  b90 - x426 =L= 0;
e91..  b91 - x427 =L= 0;
e92..  b92 - x428 =L= 0;
e93..  b93 - x429 =L= 0;
e94..  b94 - x430 =L= 0;
e95..  b95 - x431 =L= 0;
e96..  b96 - x432 =L= 0;
e97..  b97 - x433 =L= 0;
e98..  b98 - x434 =L= 0;
e99..  b99 - x435 =L= 0;
e100..  b100 - x436 =L= 0;
e101..  b101 - x437 =L= 0;
e102..  b102 - x438 =L= 0;
e103..  b103 - x439 =L= 0;
e104..  b104 - x440 =L= 0;
e105..  b105 - x441 =L= 0;
e106..  b106 - x442 =L= 0;
e107..  b107 - x443 =L= 0;
e108..  b108 - x444 =L= 0;
e109..  b109 - x445 =L= 0;
e110..  b110 - x446 =L= 0;
e111..  b111 - x447 =L= 0;
e112..  b112 - x448 =L= 0;
e113..  b113 - x449 =L= 0;
e114..  b114 - x450 =L= 0;
e115..  b115 - x451 =L= 0;
e116..  b116 - x452 =L= 0;
e117..  b117 - x453 =L= 0;
e118..  b118 - x454 =L= 0;
e119..  b119 - x455 =L= 0;
e120..  b120 - x456 =L= 0;
e121..  b121 - x457 =L= 0;
e122..  b122 - x458 =L= 0;
e123..  b123 - x459 =L= 0;
e124..  b124 - x460 =L= 0;
e125..  b125 - x461 =L= 0;
e126..  b126 - x462 =L= 0;
e127..  b127 - x463 =L= 0;
e128..  b128 - x464 =L= 0;
e129..  b129 - x465 =L= 0;
e130..  b130 - x466 =L= 0;
e131..  b131 - x467 =L= 0;
e132..  b132 - x468 =L= 0;
e133..  b133 - x469 =L= 0;
e134..  b134 - x470 =L= 0;
e135..  b135 - x471 =L= 0;
e136..  b136 - x472 =L= 0;
e137..  b137 - x473 =L= 0;
e138..  b138 - x474 =L= 0;
e139..  b139 - x475 =L= 0;
e140..  b140 - x476 =L= 0;
e141..  b141 - x477 =L= 0;
e142..  b142 - x478 =L= 0;
e143..  b143 - x479 =L= 0;
e144..  b144 - x480 =L= 0;
e145..  b145 - x481 =L= 0;
e146..  b146 - x482 =L= 0;
e147..  b147 - x483 =L= 0;
e148..  b148 - x484 =L= 0;
e149..  b149 - x485 =L= 0;
e150..  b150 - x486 =L= 0;
e151..  b151 - x487 =L= 0;
e152..  b152 - x488 =L= 0;
e153..  b153 - x489 =L= 0;
e154..  b154 - x490 =L= 0;
e155..  b155 - x491 =L= 0;
e156..  b156 - x492 =L= 0;
e157..  b157 - x493 =L= 0;
e158..  b158 - x494 =L= 0;
e159..  b159 - x495 =L= 0;
e160..  b160 - x496 =L= 0;
e161..  b161 - x497 =L= 0;
e162..  b162 - x498 =L= 0;
e163..  b163 - x499 =L= 0;
e164..  b164 - x500 =L= 0;
e165..  b165 - x501 =L= 0;
e166..  b166 - x502 =L= 0;
e167..  b167 - x503 =L= 0;
e168..  b168 - x504 =L= 0;
e169..  b169 - x505 =L= 0;
e170..  b170 - x506 =L= 0;
e171..  b171 - x507 =L= 0;
e172..  b172 - x508 =L= 0;
e173..  b173 - x509 =L= 0;
e174..  b174 - x510 =L= 0;
e175..  b175 - x511 =L= 0;
e176..  b176 - x512 =L= 0;
e177..  b177 - x513 =L= 0;
e178..  b178 - x514 =L= 0;
e179..  b179 - x515 =L= 0;
e180..  b180 - x516 =L= 0;
e181..  b181 - x517 =L= 0;
e182..  b182 - x518 =L= 0;
e183..  b183 - x519 =L= 0;
e184..  b184 - x520 =L= 0;
e185..  b185 - x521 =L= 0;
e186..  b186 - x522 =L= 0;
e187..  b187 - x523 =L= 0;
e188..  b188 - x524 =L= 0;
e189..  b189 - x525 =L= 0;
e190..  b190 - x526 =L= 0;
e191..  b191 - x527 =L= 0;
e192..  b192 - x528 =L= 0;
e193..  b193 - x529 =L= 0;
e194..  b194 - x530 =L= 0;
e195..  b195 - x531 =L= 0;
e196..  b196 - x532 =L= 0;
e197..  b197 - x533 =L= 0;
e198..  b198 - x534 =L= 0;
e199..  b199 - x535 =L= 0;
e200..  b200 - x536 =L= 0;
e201..  b201 - x537 =L= 0;
e202..  b202 - x538 =L= 0;
e203..  b203 - x539 =L= 0;
e204..  b204 - x540 =L= 0;
e205..  b205 - x541 =L= 0;
e206..  b206 - x542 =L= 0;
e207..  b207 - x543 =L= 0;
e208..  b208 - x544 =L= 0;
e209..  b209 - x545 =L= 0;
e210..  b210 - x546 =L= 0;
e211..  b211 - x547 =L= 0;
e212..  b212 - x548 =L= 0;
e213..  b213 - x549 =L= 0;
e214..  b214 - x550 =L= 0;
e215..  b215 - x551 =L= 0;
e216..  b216 - x552 =L= 0;
e217..  b217 - x553 =L= 0;
e218..  b218 - x554 =L= 0;
e219..  b219 - x555 =L= 0;
e220..  b220 - x556 =L= 0;
e221..  b221 - x557 =L= 0;
e222..  b222 - x558 =L= 0;
e223..  b223 - x559 =L= 0;
e224..  b224 - x560 =L= 0;
e225..  b225 - x561 =L= 0;
e226..  b226 - x562 =L= 0;
e227..  b227 - x563 =L= 0;
e228..  b228 - x564 =L= 0;
e229..  b229 - x565 =L= 0;
e230..  b230 - x566 =L= 0;
e231..  b231 - x567 =L= 0;
e232..  b232 - x568 =L= 0;
e233..  b233 - x569 =L= 0;
e234..  b234 - x570 =L= 0;
e235..  b235 - x571 =L= 0;
e236..  b236 - x572 =L= 0;
e237..  b237 - x573 =L= 0;
e238..  b238 - x574 =L= 0;
e239..  b239 - x575 =L= 0;
e240..  b240 - x576 =L= 0;
e241..  b241 - x577 =L= 0;
e242..  b242 - x578 =L= 0;
e243..  b243 - x579 =L= 0;
e244..  b244 - x580 =L= 0;
e245..  b245 - x581 =L= 0;
e246..  b246 - x582 =L= 0;
e247..  b247 - x583 =L= 0;
e248..  b248 - x584 =L= 0;
e249..  b249 - x585 =L= 0;
e250..  b250 - x586 =L= 0;
e251..  b251 - x587 =L= 0;
e252..  b252 - x588 =L= 0;
e253..  b253 - x589 =L= 0;
e254..  b254 - x590 =L= 0;
e255..  b255 - x591 =L= 0;
e256..  b256 - x592 =L= 0;
e257..  b257 - x593 =L= 0;
e258..  b258 - x594 =L= 0;
e259..  b259 - x595 =L= 0;
e260..  b260 - x596 =L= 0;
e261..  b261 - x597 =L= 0;
e262..  b262 - x598 =L= 0;
e263..  b263 - x599 =L= 0;
e264..  b264 - x600 =L= 0;
e265..  b265 - x601 =L= 0;
e266..  b266 - x602 =L= 0;
e267..  b267 - x603 =L= 0;
e268..  b268 - x604 =L= 0;
e269..  b269 - x605 =L= 0;
e270..  b270 - x606 =L= 0;
e271..  b271 - x607 =L= 0;
e272..  b272 - x608 =L= 0;
e273..  b273 - x609 =L= 0;
e274..  b274 - x610 =L= 0;
e275..  b275 - x611 =L= 0;
e276..  b276 - x612 =L= 0;
e277..  b277 - x613 =L= 0;
e278..  b278 - x614 =L= 0;
e279..  b279 - x615 =L= 0;
e280..  b280 - x616 =L= 0;
e281..  b281 - x617 =L= 0;
e282..  b282 - x618 =L= 0;
e283..  b283 - x619 =L= 0;
e284..  b284 - x620 =L= 0;
e285..  b285 - x621 =L= 0;
e286..  b286 - x622 =L= 0;
e287..  b287 - x623 =L= 0;
e288..  b288 - x624 =L= 0;
e289..  b289 - x625 =L= 0;
e290..  b290 - x626 =L= 0;
e291..  b291 - x627 =L= 0;
e292..  b292 - x628 =L= 0;
e293..  b293 - x629 =L= 0;
e294..  b294 - x630 =L= 0;
e295..  b295 - x631 =L= 0;
e296..  b296 - x632 =L= 0;
e297..  b297 - x633 =L= 0;
e298..  b298 - x634 =L= 0;
e299..  b299 - x635 =L= 0;
e300..  b300 - x636 =L= 0;
e301..  b301 - x637 =L= 0;
e302..  b302 - x638 =L= 0;
e303..  b303 - x639 =L= 0;
e304..  b304 - x640 =L= 0;
e305..  b305 - x641 =L= 0;
e306..  b306 - x642 =L= 0;
e307..  b307 - x643 =L= 0;
e308..  b308 - x644 =L= 0;
e309..  b309 - x645 =L= 0;
e310..  b310 - x646 =L= 0;
e311..  b311 - x647 =L= 0;
e312..  b312 - x648 =L= 0;
e313..  b313 - x649 =L= 0;
e314..  b314 - x650 =L= 0;
e315..  b315 - x651 =L= 0;
e316..  b316 - x652 =L= 0;
e317..  b317 - x653 =L= 0;
e318..  b318 - x654 =L= 0;
e319..  b319 - x655 =L= 0;
e320..  b320 - x656 =L= 0;
e321..  b321 - x657 =L= 0;
e322..  b322 - x658 =L= 0;
e323..  b323 - x659 =L= 0;
e324..  b324 - x660 =L= 0;
e325..  b325 - x661 =L= 0;
e326..  b326 - x662 =L= 0;
e327..  b327 - x663 =L= 0;
e328..  b328 - x664 =L= 0;
e329..  b329 - x665 =L= 0;
e330..  b330 - x666 =L= 0;
e331..  b331 - x667 =L= 0;
e332..  b332 - x668 =L= 0;
e333..  b333 - x669 =L= 0;
e334..  b334 - x670 =L= 0;
e335..  b335 - x671 =L= 0;
e336..  b336 - x672 =L= 0;
e337..  -50 * b1 + x337 =L= 0;
e338..  -50 * b2 + x338 =L= 0;
e339..  -50 * b3 + x339 =L= 0;
e340..  -50 * b4 + x340 =L= 0;
e341..  -50 * b5 + x341 =L= 0;
e342..  -50 * b6 + x342 =L= 0;
e343..  -50 * b7 + x343 =L= 0;
e344..  -50 * b8 + x344 =L= 0;
e345..  -50 * b9 + x345 =L= 0;
e346..  -50 * b10 + x346 =L= 0;
e347..  -50 * b11 + x347 =L= 0;
e348..  -50 * b12 + x348 =L= 0;
e349..  -50 * b13 + x349 =L= 0;
e350..  -50 * b14 + x350 =L= 0;
e351..  -50 * b15 + x351 =L= 0;
e352..  -50 * b16 + x352 =L= 0;
e353..  -50 * b17 + x353 =L= 0;
e354..  -50 * b18 + x354 =L= 0;
e355..  -50 * b19 + x355 =L= 0;
e356..  -50 * b20 + x356 =L= 0;
e357..  -50 * b21 + x357 =L= 0;
e358..  -50 * b22 + x358 =L= 0;
e359..  -50 * b23 + x359 =L= 0;
e360..  -50 * b24 + x360 =L= 0;
e361..  -50 * b25 + x361 =L= 0;
e362..  -50 * b26 + x362 =L= 0;
e363..  -50 * b27 + x363 =L= 0;
e364..  -50 * b28 + x364 =L= 0;
e365..  -50 * b29 + x365 =L= 0;
e366..  -50 * b30 + x366 =L= 0;
e367..  -50 * b31 + x367 =L= 0;
e368..  -50 * b32 + x368 =L= 0;
e369..  -50 * b33 + x369 =L= 0;
e370..  -50 * b34 + x370 =L= 0;
e371..  -50 * b35 + x371 =L= 0;
e372..  -50 * b36 + x372 =L= 0;
e373..  -50 * b37 + x373 =L= 0;
e374..  -50 * b38 + x374 =L= 0;
e375..  -50 * b39 + x375 =L= 0;
e376..  -50 * b40 + x376 =L= 0;
e377..  -50 * b41 + x377 =L= 0;
e378..  -50 * b42 + x378 =L= 0;
e379..  -50 * b43 + x379 =L= 0;
e380..  -50 * b44 + x380 =L= 0;
e381..  -50 * b45 + x381 =L= 0;
e382..  -50 * b46 + x382 =L= 0;
e383..  -50 * b47 + x383 =L= 0;
e384..  -50 * b48 + x384 =L= 0;
e385..  -50 * b49 + x385 =L= 0;
e386..  -50 * b50 + x386 =L= 0;
e387..  -50 * b51 + x387 =L= 0;
e388..  -50 * b52 + x388 =L= 0;
e389..  -50 * b53 + x389 =L= 0;
e390..  -50 * b54 + x390 =L= 0;
e391..  -50 * b55 + x391 =L= 0;
e392..  -50 * b56 + x392 =L= 0;
e393..  -50 * b57 + x393 =L= 0;
e394..  -50 * b58 + x394 =L= 0;
e395..  -50 * b59 + x395 =L= 0;
e396..  -50 * b60 + x396 =L= 0;
e397..  -50 * b61 + x397 =L= 0;
e398..  -50 * b62 + x398 =L= 0;
e399..  -50 * b63 + x399 =L= 0;
e400..  -50 * b64 + x400 =L= 0;
e401..  -50 * b65 + x401 =L= 0;
e402..  -50 * b66 + x402 =L= 0;
e403..  -50 * b67 + x403 =L= 0;
e404..  -50 * b68 + x404 =L= 0;
e405..  -50 * b69 + x405 =L= 0;
e406..  -50 * b70 + x406 =L= 0;
e407..  -50 * b71 + x407 =L= 0;
e408..  -50 * b72 + x408 =L= 0;
e409..  -50 * b73 + x409 =L= 0;
e410..  -50 * b74 + x410 =L= 0;
e411..  -50 * b75 + x411 =L= 0;
e412..  -50 * b76 + x412 =L= 0;
e413..  -50 * b77 + x413 =L= 0;
e414..  -50 * b78 + x414 =L= 0;
e415..  -50 * b79 + x415 =L= 0;
e416..  -50 * b80 + x416 =L= 0;
e417..  -50 * b81 + x417 =L= 0;
e418..  -50 * b82 + x418 =L= 0;
e419..  -50 * b83 + x419 =L= 0;
e420..  -50 * b84 + x420 =L= 0;
e421..  -50 * b85 + x421 =L= 0;
e422..  -50 * b86 + x422 =L= 0;
e423..  -50 * b87 + x423 =L= 0;
e424..  -50 * b88 + x424 =L= 0;
e425..  -50 * b89 + x425 =L= 0;
e426..  -50 * b90 + x426 =L= 0;
e427..  -50 * b91 + x427 =L= 0;
e428..  -50 * b92 + x428 =L= 0;
e429..  -50 * b93 + x429 =L= 0;
e430..  -50 * b94 + x430 =L= 0;
e431..  -50 * b95 + x431 =L= 0;
e432..  -50 * b96 + x432 =L= 0;
e433..  -50 * b97 + x433 =L= 0;
e434..  -50 * b98 + x434 =L= 0;
e435..  -50 * b99 + x435 =L= 0;
e436..  -50 * b100 + x436 =L= 0;
e437..  -50 * b101 + x437 =L= 0;
e438..  -50 * b102 + x438 =L= 0;
e439..  -50 * b103 + x439 =L= 0;
e440..  -50 * b104 + x440 =L= 0;
e441..  -50 * b105 + x441 =L= 0;
e442..  -50 * b106 + x442 =L= 0;
e443..  -50 * b107 + x443 =L= 0;
e444..  -50 * b108 + x444 =L= 0;
e445..  -50 * b109 + x445 =L= 0;
e446..  -50 * b110 + x446 =L= 0;
e447..  -50 * b111 + x447 =L= 0;
e448..  -50 * b112 + x448 =L= 0;
e449..  -50 * b113 + x449 =L= 0;
e450..  -50 * b114 + x450 =L= 0;
e451..  -50 * b115 + x451 =L= 0;
e452..  -50 * b116 + x452 =L= 0;
e453..  -50 * b117 + x453 =L= 0;
e454..  -50 * b118 + x454 =L= 0;
e455..  -50 * b119 + x455 =L= 0;
e456..  -50 * b120 + x456 =L= 0;
e457..  -50 * b121 + x457 =L= 0;
e458..  -50 * b122 + x458 =L= 0;
e459..  -50 * b123 + x459 =L= 0;
e460..  -50 * b124 + x460 =L= 0;
e461..  -50 * b125 + x461 =L= 0;
e462..  -50 * b126 + x462 =L= 0;
e463..  -50 * b127 + x463 =L= 0;
e464..  -50 * b128 + x464 =L= 0;
e465..  -50 * b129 + x465 =L= 0;
e466..  -50 * b130 + x466 =L= 0;
e467..  -50 * b131 + x467 =L= 0;
e468..  -50 * b132 + x468 =L= 0;
e469..  -50 * b133 + x469 =L= 0;
e470..  -50 * b134 + x470 =L= 0;
e471..  -50 * b135 + x471 =L= 0;
e472..  -50 * b136 + x472 =L= 0;
e473..  -50 * b137 + x473 =L= 0;
e474..  -50 * b138 + x474 =L= 0;
e475..  -50 * b139 + x475 =L= 0;
e476..  -50 * b140 + x476 =L= 0;
e477..  -50 * b141 + x477 =L= 0;
e478..  -50 * b142 + x478 =L= 0;
e479..  -50 * b143 + x479 =L= 0;
e480..  -50 * b144 + x480 =L= 0;
e481..  -50 * b145 + x481 =L= 0;
e482..  -50 * b146 + x482 =L= 0;
e483..  -50 * b147 + x483 =L= 0;
e484..  -50 * b148 + x484 =L= 0;
e485..  -50 * b149 + x485 =L= 0;
e486..  -50 * b150 + x486 =L= 0;
e487..  -50 * b151 + x487 =L= 0;
e488..  -50 * b152 + x488 =L= 0;
e489..  -50 * b153 + x489 =L= 0;
e490..  -50 * b154 + x490 =L= 0;
e491..  -50 * b155 + x491 =L= 0;
e492..  -50 * b156 + x492 =L= 0;
e493..  -50 * b157 + x493 =L= 0;
e494..  -50 * b158 + x494 =L= 0;
e495..  -50 * b159 + x495 =L= 0;
e496..  -50 * b160 + x496 =L= 0;
e497..  -50 * b161 + x497 =L= 0;
e498..  -50 * b162 + x498 =L= 0;
e499..  -50 * b163 + x499 =L= 0;
e500..  -50 * b164 + x500 =L= 0;
e501..  -50 * b165 + x501 =L= 0;
e502..  -50 * b166 + x502 =L= 0;
e503..  -50 * b167 + x503 =L= 0;
e504..  -50 * b168 + x504 =L= 0;
e505..  -50 * b169 + x505 =L= 0;
e506..  -50 * b170 + x506 =L= 0;
e507..  -50 * b171 + x507 =L= 0;
e508..  -50 * b172 + x508 =L= 0;
e509..  -50 * b173 + x509 =L= 0;
e510..  -50 * b174 + x510 =L= 0;
e511..  -50 * b175 + x511 =L= 0;
e512..  -50 * b176 + x512 =L= 0;
e513..  -50 * b177 + x513 =L= 0;
e514..  -50 * b178 + x514 =L= 0;
e515..  -50 * b179 + x515 =L= 0;
e516..  -50 * b180 + x516 =L= 0;
e517..  -50 * b181 + x517 =L= 0;
e518..  -50 * b182 + x518 =L= 0;
e519..  -50 * b183 + x519 =L= 0;
e520..  -50 * b184 + x520 =L= 0;
e521..  -50 * b185 + x521 =L= 0;
e522..  -50 * b186 + x522 =L= 0;
e523..  -50 * b187 + x523 =L= 0;
e524..  -50 * b188 + x524 =L= 0;
e525..  -50 * b189 + x525 =L= 0;
e526..  -50 * b190 + x526 =L= 0;
e527..  -50 * b191 + x527 =L= 0;
e528..  -50 * b192 + x528 =L= 0;
e529..  -50 * b193 + x529 =L= 0;
e530..  -50 * b194 + x530 =L= 0;
e531..  -50 * b195 + x531 =L= 0;
e532..  -50 * b196 + x532 =L= 0;
e533..  -50 * b197 + x533 =L= 0;
e534..  -50 * b198 + x534 =L= 0;
e535..  -50 * b199 + x535 =L= 0;
e536..  -50 * b200 + x536 =L= 0;
e537..  -50 * b201 + x537 =L= 0;
e538..  -50 * b202 + x538 =L= 0;
e539..  -50 * b203 + x539 =L= 0;
e540..  -50 * b204 + x540 =L= 0;
e541..  -50 * b205 + x541 =L= 0;
e542..  -50 * b206 + x542 =L= 0;
e543..  -50 * b207 + x543 =L= 0;
e544..  -50 * b208 + x544 =L= 0;
e545..  -50 * b209 + x545 =L= 0;
e546..  -50 * b210 + x546 =L= 0;
e547..  -50 * b211 + x547 =L= 0;
e548..  -50 * b212 + x548 =L= 0;
e549..  -50 * b213 + x549 =L= 0;
e550..  -50 * b214 + x550 =L= 0;
e551..  -50 * b215 + x551 =L= 0;
e552..  -50 * b216 + x552 =L= 0;
e553..  -50 * b217 + x553 =L= 0;
e554..  -50 * b218 + x554 =L= 0;
e555..  -50 * b219 + x555 =L= 0;
e556..  -50 * b220 + x556 =L= 0;
e557..  -50 * b221 + x557 =L= 0;
e558..  -50 * b222 + x558 =L= 0;
e559..  -50 * b223 + x559 =L= 0;
e560..  -50 * b224 + x560 =L= 0;
e561..  -50 * b225 + x561 =L= 0;
e562..  -50 * b226 + x562 =L= 0;
e563..  -50 * b227 + x563 =L= 0;
e564..  -50 * b228 + x564 =L= 0;
e565..  -50 * b229 + x565 =L= 0;
e566..  -50 * b230 + x566 =L= 0;
e567..  -50 * b231 + x567 =L= 0;
e568..  -50 * b232 + x568 =L= 0;
e569..  -50 * b233 + x569 =L= 0;
e570..  -50 * b234 + x570 =L= 0;
e571..  -50 * b235 + x571 =L= 0;
e572..  -50 * b236 + x572 =L= 0;
e573..  -50 * b237 + x573 =L= 0;
e574..  -50 * b238 + x574 =L= 0;
e575..  -50 * b239 + x575 =L= 0;
e576..  -50 * b240 + x576 =L= 0;
e577..  -50 * b241 + x577 =L= 0;
e578..  -50 * b242 + x578 =L= 0;
e579..  -50 * b243 + x579 =L= 0;
e580..  -50 * b244 + x580 =L= 0;
e581..  -50 * b245 + x581 =L= 0;
e582..  -50 * b246 + x582 =L= 0;
e583..  -50 * b247 + x583 =L= 0;
e584..  -50 * b248 + x584 =L= 0;
e585..  -50 * b249 + x585 =L= 0;
e586..  -50 * b250 + x586 =L= 0;
e587..  -50 * b251 + x587 =L= 0;
e588..  -50 * b252 + x588 =L= 0;
e589..  -50 * b253 + x589 =L= 0;
e590..  -50 * b254 + x590 =L= 0;
e591..  -50 * b255 + x591 =L= 0;
e592..  -50 * b256 + x592 =L= 0;
e593..  -50 * b257 + x593 =L= 0;
e594..  -50 * b258 + x594 =L= 0;
e595..  -50 * b259 + x595 =L= 0;
e596..  -50 * b260 + x596 =L= 0;
e597..  -50 * b261 + x597 =L= 0;
e598..  -50 * b262 + x598 =L= 0;
e599..  -50 * b263 + x599 =L= 0;
e600..  -50 * b264 + x600 =L= 0;
e601..  -50 * b265 + x601 =L= 0;
e602..  -50 * b266 + x602 =L= 0;
e603..  -50 * b267 + x603 =L= 0;
e604..  -50 * b268 + x604 =L= 0;
e605..  -50 * b269 + x605 =L= 0;
e606..  -50 * b270 + x606 =L= 0;
e607..  -50 * b271 + x607 =L= 0;
e608..  -50 * b272 + x608 =L= 0;
e609..  -50 * b273 + x609 =L= 0;
e610..  -50 * b274 + x610 =L= 0;
e611..  -50 * b275 + x611 =L= 0;
e612..  -50 * b276 + x612 =L= 0;
e613..  -50 * b277 + x613 =L= 0;
e614..  -50 * b278 + x614 =L= 0;
e615..  -50 * b279 + x615 =L= 0;
e616..  -50 * b280 + x616 =L= 0;
e617..  -50 * b281 + x617 =L= 0;
e618..  -50 * b282 + x618 =L= 0;
e619..  -50 * b283 + x619 =L= 0;
e620..  -50 * b284 + x620 =L= 0;
e621..  -50 * b285 + x621 =L= 0;
e622..  -50 * b286 + x622 =L= 0;
e623..  -50 * b287 + x623 =L= 0;
e624..  -50 * b288 + x624 =L= 0;
e625..  -50 * b289 + x625 =L= 0;
e626..  -50 * b290 + x626 =L= 0;
e627..  -50 * b291 + x627 =L= 0;
e628..  -50 * b292 + x628 =L= 0;
e629..  -50 * b293 + x629 =L= 0;
e630..  -50 * b294 + x630 =L= 0;
e631..  -50 * b295 + x631 =L= 0;
e632..  -50 * b296 + x632 =L= 0;
e633..  -50 * b297 + x633 =L= 0;
e634..  -50 * b298 + x634 =L= 0;
e635..  -50 * b299 + x635 =L= 0;
e636..  -50 * b300 + x636 =L= 0;
e637..  -50 * b301 + x637 =L= 0;
e638..  -50 * b302 + x638 =L= 0;
e639..  -50 * b303 + x639 =L= 0;
e640..  -50 * b304 + x640 =L= 0;
e641..  -50 * b305 + x641 =L= 0;
e642..  -50 * b306 + x642 =L= 0;
e643..  -50 * b307 + x643 =L= 0;
e644..  -50 * b308 + x644 =L= 0;
e645..  -50 * b309 + x645 =L= 0;
e646..  -50 * b310 + x646 =L= 0;
e647..  -50 * b311 + x647 =L= 0;
e648..  -50 * b312 + x648 =L= 0;
e649..  -50 * b313 + x649 =L= 0;
e650..  -50 * b314 + x650 =L= 0;
e651..  -50 * b315 + x651 =L= 0;
e652..  -50 * b316 + x652 =L= 0;
e653..  -50 * b317 + x653 =L= 0;
e654..  -50 * b318 + x654 =L= 0;
e655..  -50 * b319 + x655 =L= 0;
e656..  -50 * b320 + x656 =L= 0;
e657..  -50 * b321 + x657 =L= 0;
e658..  -50 * b322 + x658 =L= 0;
e659..  -50 * b323 + x659 =L= 0;
e660..  -50 * b324 + x660 =L= 0;
e661..  -50 * b325 + x661 =L= 0;
e662..  -50 * b326 + x662 =L= 0;
e663..  -50 * b327 + x663 =L= 0;
e664..  -50 * b328 + x664 =L= 0;
e665..  -50 * b329 + x665 =L= 0;
e666..  -50 * b330 + x666 =L= 0;
e667..  -50 * b331 + x667 =L= 0;
e668..  -50 * b332 + x668 =L= 0;
e669..  -50 * b333 + x669 =L= 0;
e670..  -50 * b334 + x670 =L= 0;
e671..  -50 * b335 + x671 =L= 0;
e672..  -50 * b336 + x672 =L= 0;
e673..  4.01 * b194 - x673 =L= 4.01;
e674..  4.01 * b195 - x674 =L= 4.01;
e675..  4.01 * b196 - x675 =L= 4.01;
e676..  4.01 * b197 - x676 =L= 4.01;
e677..  4.01 * b198 - x677 =L= 4.01;
e678..  4.01 * b200 - x673 =L= 4.01;
e679..  4.01 * b201 - x674 =L= 4.01;
e680..  4.01 * b202 - x675 =L= 4.01;
e681..  4.01 * b203 - x676 =L= 4.01;
e682..  4.01 * b204 - x677 =L= 4.01;
e683..  4.01 * b206 - x673 =L= 4.01;
e684..  4.01 * b207 - x674 =L= 4.01;
e685..  4.01 * b208 - x675 =L= 4.01;
e686..  4.01 * b209 - x676 =L= 4.01;
e687..  4.01 * b210 - x677 =L= 4.01;
e688..  4.01 * b212 - x678 =L= 4.01;
e689..  4.01 * b213 - x679 =L= 4.01;
e690..  4.01 * b214 - x680 =L= 4.01;
e691..  4.01 * b215 - x681 =L= 4.01;
e692..  4.01 * b216 - x682 =L= 4.01;
e693..  4.01 * b218 - x678 =L= 4.01;
e694..  4.01 * b219 - x679 =L= 4.01;
e695..  4.01 * b220 - x680 =L= 4.01;
e696..  4.01 * b221 - x681 =L= 4.01;
e697..  4.01 * b222 - x682 =L= 4.01;
e698..  4.01 * b224 - x678 =L= 4.01;
e699..  4.01 * b225 - x679 =L= 4.01;
e700..  4.01 * b226 - x680 =L= 4.01;
e701..  4.01 * b227 - x681 =L= 4.01;
e702..  4.01 * b228 - x682 =L= 4.01;
e703..  4.01 * b230 - x683 =L= 4.01;
e704..  4.01 * b231 - x684 =L= 4.01;
e705..  4.01 * b232 - x685 =L= 4.01;
e706..  4.01 * b233 - x686 =L= 4.01;
e707..  4.01 * b234 - x687 =L= 4.01;
e708..  4.01 * b236 - x683 =L= 4.01;
e709..  4.01 * b237 - x684 =L= 4.01;
e710..  4.01 * b238 - x685 =L= 4.01;
e711..  4.01 * b239 - x686 =L= 4.01;
e712..  4.01 * b240 - x687 =L= 4.01;
e713..  4.01 * b242 - x683 =L= 4.01;
e714..  4.01 * b243 - x684 =L= 4.01;
e715..  4.01 * b244 - x685 =L= 4.01;
e716..  4.01 * b245 - x686 =L= 4.01;
e717..  4.01 * b246 - x687 =L= 4.01;
e718..  4.01 * b248 - x688 =L= 4.01;
e719..  4.01 * b249 - x689 =L= 4.01;
e720..  4.01 * b250 - x690 =L= 4.01;
e721..  4.01 * b251 - x691 =L= 4.01;
e722..  4.01 * b252 - x692 =L= 4.01;
e723..  4.01 * b254 - x688 =L= 4.01;
e724..  4.01 * b255 - x689 =L= 4.01;
e725..  4.01 * b256 - x690 =L= 4.01;
e726..  4.01 * b257 - x691 =L= 4.01;
e727..  4.01 * b258 - x692 =L= 4.01;
e728..  4.01 * b260 - x688 =L= 4.01;
e729..  4.01 * b261 - x689 =L= 4.01;
e730..  4.01 * b262 - x690 =L= 4.01;
e731..  4.01 * b263 - x691 =L= 4.01;
e732..  4.01 * b264 - x692 =L= 4.01;
e733..  4.01 * b194 + x673 =L= 8.02;
e734..  4.01 * b195 + x674 =L= 8.02;
e735..  4.01 * b196 + x675 =L= 8.02;
e736..  4.01 * b197 + x676 =L= 8.02;
e737..  4.01 * b198 + x677 =L= 8.02;
e738..  4.01 * b200 + x673 =L= 7.859999999999999;
e739..  4.01 * b201 + x674 =L= 7.859999999999999;
e740..  4.01 * b202 + x675 =L= 7.859999999999999;
e741..  4.01 * b203 + x676 =L= 7.859999999999999;
e742..  4.01 * b204 + x677 =L= 7.859999999999999;
e743..  4.01 * b206 + x673 =L= 7.109999999999999;
e744..  4.01 * b207 + x674 =L= 7.109999999999999;
e745..  4.01 * b208 + x675 =L= 7.109999999999999;
e746..  4.01 * b209 + x676 =L= 7.109999999999999;
e747..  4.01 * b210 + x677 =L= 7.109999999999999;
e748..  4.01 * b212 + x678 =L= 8.02;
e749..  4.01 * b213 + x679 =L= 8.02;
e750..  4.01 * b214 + x680 =L= 8.02;
e751..  4.01 * b215 + x681 =L= 8.02;
e752..  4.01 * b216 + x682 =L= 8.02;
e753..  4.01 * b218 + x678 =L= 7.859999999999999;
e754..  4.01 * b219 + x679 =L= 7.859999999999999;
e755..  4.01 * b220 + x680 =L= 7.859999999999999;
e756..  4.01 * b221 + x681 =L= 7.859999999999999;
e757..  4.01 * b222 + x682 =L= 7.859999999999999;
e758..  4.01 * b224 + x678 =L= 7.109999999999999;
e759..  4.01 * b225 + x679 =L= 7.109999999999999;
e760..  4.01 * b226 + x680 =L= 7.109999999999999;
e761..  4.01 * b227 + x681 =L= 7.109999999999999;
e762..  4.01 * b228 + x682 =L= 7.109999999999999;
e763..  4.01 * b230 + x683 =L= 8.02;
e764..  4.01 * b231 + x684 =L= 8.02;
e765..  4.01 * b232 + x685 =L= 8.02;
e766..  4.01 * b233 + x686 =L= 8.02;
e767..  4.01 * b234 + x687 =L= 8.02;
e768..  4.01 * b236 + x683 =L= 7.859999999999999;
e769..  4.01 * b237 + x684 =L= 7.859999999999999;
e770..  4.01 * b238 + x685 =L= 7.859999999999999;
e771..  4.01 * b239 + x686 =L= 7.859999999999999;
e772..  4.01 * b240 + x687 =L= 7.859999999999999;
e773..  4.01 * b242 + x683 =L= 7.109999999999999;
e774..  4.01 * b243 + x684 =L= 7.109999999999999;
e775..  4.01 * b244 + x685 =L= 7.109999999999999;
e776..  4.01 * b245 + x686 =L= 7.109999999999999;
e777..  4.01 * b246 + x687 =L= 7.109999999999999;
e778..  4.01 * b248 + x688 =L= 8.02;
e779..  4.01 * b249 + x689 =L= 8.02;
e780..  4.01 * b250 + x690 =L= 8.02;
e781..  4.01 * b251 + x691 =L= 8.02;
e782..  4.01 * b252 + x692 =L= 8.02;
e783..  4.01 * b254 + x688 =L= 7.859999999999999;
e784..  4.01 * b255 + x689 =L= 7.859999999999999;
e785..  4.01 * b256 + x690 =L= 7.859999999999999;
e786..  4.01 * b257 + x691 =L= 7.859999999999999;
e787..  4.01 * b258 + x692 =L= 7.859999999999999;
e788..  4.01 * b260 + x688 =L= 7.109999999999999;
e789..  4.01 * b261 + x689 =L= 7.109999999999999;
e790..  4.01 * b262 + x690 =L= 7.109999999999999;
e791..  4.01 * b263 + x691 =L= 7.109999999999999;
e792..  4.01 * b264 + x692 =L= 7.109999999999999;
e793..  x601 + x607 + x613 + x619 + x693 =E= 25;
e794..  x602 + x608 + x614 + x620 - x693 + x694 =E= 2;
e795..  x603 + x609 + x615 + x621 - x694 + x695 =E= 37;
e796..  x604 + x610 + x616 + x622 - x695 + x696 =E= 0;
e797..  x605 + x611 + x617 + x623 - x696 + x697 =E= 0;
e798..  x606 + x612 + x618 + x624 - x697 + x698 =E= 0;
e799..  x625 + x631 + x637 + x643 + x699 =E= 37;
e800..  x626 + x632 + x638 + x644 - x699 + x700 =E= 14;
e801..  x627 + x633 + x639 + x645 - x700 + x701 =E= 40;
e802..  x628 + x634 + x640 + x646 - x701 + x702 =E= 0;
e803..  x629 + x635 + x641 + x647 - x702 + x703 =E= 0;
e804..  x630 + x636 + x642 + x648 - x703 + x704 =E= 0;
e805..  x649 + x655 + x661 + x667 + x705 =E= 33;
e806..  x650 + x656 + x662 + x668 - x705 + x706 =E= 9;
e807..  x651 + x657 + x663 + x669 - x706 + x707 =E= 37;
e808..  x652 + x658 + x664 + x670 - x707 + x708 =E= 0;
e809..  x653 + x659 + x665 + x671 - x708 + x709 =E= 0;
e810..  x654 + x660 + x666 + x672 - x709 + x710 =E= 0;
e811..  x337 + x343 + x349 + x355 - x601 - x625 - x649 + x711 =E= 0;
e812..  x338 + x344 + x350 + x356 - x602 - x626 - x650 - x711 + x712 =E= 0;
e813..  x339 + x345 + x351 + x357 - x603 - x627 - x651 - x712 + x713 =E= 0;
e814..  x340 + x346 + x352 + x358 - x604 - x628 - x652 - x713 + x714 =E= 0;
e815..  x341 + x347 + x353 + x359 - x605 - x629 - x653 - x714 + x715 =E= 0;
e816..  x342 + x348 + x354 + x360 - x606 - x630 - x654 - x715 + x716 =E= 0;
e817..  x361 + x367 + x373 + x379 - x607 - x631 - x655 + x717 =E= 0;
e818..  x362 + x368 + x374 + x380 - x608 - x632 - x656 - x717 + x718 =E= 0;
e819..  x363 + x369 + x375 + x381 - x609 - x633 - x657 - x718 + x719 =E= 0;
e820..  x364 + x370 + x376 + x382 - x610 - x634 - x658 - x719 + x720 =E= 0;
e821..  x365 + x371 + x377 + x383 - x611 - x635 - x659 - x720 + x721 =E= 0;
e822..  x366 + x372 + x378 + x384 - x612 - x636 - x660 - x721 + x722 =E= 0;
e823..  x385 + x391 + x397 + x403 - x613 - x637 - x661 + x723 =E= 0;
e824..  x386 + x392 + x398 + x404 - x614 - x638 - x662 - x723 + x724 =E= 0;
e825..  x387 + x393 + x399 + x405 - x615 - x639 - x663 - x724 + x725 =E= 0;
e826..  x388 + x394 + x400 + x406 - x616 - x640 - x664 - x725 + x726 =E= 0;
e827..  x389 + x395 + x401 + x407 - x617 - x641 - x665 - x726 + x727 =E= 0;
e828..  x390 + x396 + x402 + x408 - x618 - x642 - x666 - x727 + x728 =E= 0;
e829..  x409 + x415 + x421 + x427 - x619 - x643 - x667 + x729 =E= 0;
e830..  x410 + x416 + x422 + x428 - x620 - x644 - x668 - x729 + x730 =E= 0;
e831..  x411 + x417 + x423 + x429 - x621 - x645 - x669 - x730 + x731 =E= 0;
e832..  x412 + x418 + x424 + x430 - x622 - x646 - x670 - x731 + x732 =E= 0;
e833..  x413 + x419 + x425 + x431 - x623 - x647 - x671 - x732 + x733 =E= 0;
e834..  x414 + x420 + x426 + x432 - x624 - x648 - x672 - x733 + x734 =E= 0;
e835..  -x337 - x361 - x385 - x409 + x433 + x439 + x445 + x451 + x735 =E= 0;
e836..  -x338 - x362 - x386 - x410 + x434 + x440 + x446 + x452 - x735 + x736
        =E= 0;
e837..  -x339 - x363 - x387 - x411 + x435 + x441 + x447 + x453 - x736 + x737
        =E= 0;
e838..  -x340 - x364 - x388 - x412 + x436 + x442 + x448 + x454 - x737 + x738
        =E= 0;
e839..  -x341 - x365 - x389 - x413 + x437 + x443 + x449 + x455 - x738 + x739
        =E= 0;
e840..  -x342 - x366 - x390 - x414 + x438 + x444 + x450 + x456 - x739 + x740
        =E= 0;
e841..  -x343 - x367 - x391 - x415 + x457 + x463 + x469 + x475 + x741 =E= 0;
e842..  -x344 - x368 - x392 - x416 + x458 + x464 + x470 + x476 - x741 + x742
        =E= 0;
e843..  -x345 - x369 - x393 - x417 + x459 + x465 + x471 + x477 - x742 + x743
        =E= 0;
e844..  -x346 - x370 - x394 - x418 + x460 + x466 + x472 + x478 - x743 + x744
        =E= 0;
e845..  -x347 - x371 - x395 - x419 + x461 + x467 + x473 + x479 - x744 + x745
        =E= 0;
e846..  -x348 - x372 - x396 - x420 + x462 + x468 + x474 + x480 - x745 + x746
        =E= 0;
e847..  -x349 - x373 - x397 - x421 + x481 + x487 + x493 + x499 + x747 =E= 0;
e848..  -x350 - x374 - x398 - x422 + x482 + x488 + x494 + x500 - x747 + x748
        =E= 0;
e849..  -x351 - x375 - x399 - x423 + x483 + x489 + x495 + x501 - x748 + x749
        =E= 0;
e850..  -x352 - x376 - x400 - x424 + x484 + x490 + x496 + x502 - x749 + x750
        =E= 0;
e851..  -x353 - x377 - x401 - x425 + x485 + x491 + x497 + x503 - x750 + x751
        =E= 0;
e852..  -x354 - x378 - x402 - x426 + x486 + x492 + x498 + x504 - x751 + x752
        =E= 0;
e853..  -x355 - x379 - x403 - x427 + x505 + x511 + x517 + x523 + x753 =E= 0;
e854..  -x356 - x380 - x404 - x428 + x506 + x512 + x518 + x524 - x753 + x754
        =E= 0;
e855..  -x357 - x381 - x405 - x429 + x507 + x513 + x519 + x525 - x754 + x755
        =E= 0;
e856..  -x358 - x382 - x406 - x430 + x508 + x514 + x520 + x526 - x755 + x756
        =E= 0;
e857..  -x359 - x383 - x407 - x431 + x509 + x515 + x521 + x527 - x756 + x757
        =E= 0;
e858..  -x360 - x384 - x408 - x432 + x510 + x516 + x522 + x528 - x757 + x758
        =E= 0;
e859..  -x433 - x457 - x481 - x505 + x529 + x535 + x541 + x759 =E= 0;
e860..  -x434 - x458 - x482 - x506 + x530 + x536 + x542 - x759 + x760 =E= 0;
e861..  -x435 - x459 - x483 - x507 + x531 + x537 + x543 - x760 + x761 =E= 0;
e862..  -x436 - x460 - x484 - x508 + x532 + x538 + x544 - x761 + x762 =E= 0;
e863..  -x437 - x461 - x485 - x509 + x533 + x539 + x545 - x762 + x763 =E= 0;
e864..  -x438 - x462 - x486 - x510 + x534 + x540 + x546 - x763 + x764 =E= 0;
e865..  -x439 - x463 - x487 - x511 + x547 + x553 + x559 + x765 =E= 0;
e866..  -x440 - x464 - x488 - x512 + x548 + x554 + x560 - x765 + x766 =E= 0;
e867..  -x441 - x465 - x489 - x513 + x549 + x555 + x561 - x766 + x767 =E= 0;
e868..  -x442 - x466 - x490 - x514 + x550 + x556 + x562 - x767 + x768 =E= 0;
e869..  -x443 - x467 - x491 - x515 + x551 + x557 + x563 - x768 + x769 =E= 0;
e870..  -x444 - x468 - x492 - x516 + x552 + x558 + x564 - x769 + x770 =E= 0;
e871..  -x445 - x469 - x493 - x517 + x565 + x571 + x577 + x771 =E= 0;
e872..  -x446 - x470 - x494 - x518 + x566 + x572 + x578 - x771 + x772 =E= 0;
e873..  -x447 - x471 - x495 - x519 + x567 + x573 + x579 - x772 + x773 =E= 0;
e874..  -x448 - x472 - x496 - x520 + x568 + x574 + x580 - x773 + x774 =E= 0;
e875..  -x449 - x473 - x497 - x521 + x569 + x575 + x581 - x774 + x775 =E= 0;
e876..  -x450 - x474 - x498 - x522 + x570 + x576 + x582 - x775 + x776 =E= 0;
e877..  -x451 - x475 - x499 - x523 + x583 + x589 + x595 + x777 =E= 0;
e878..  -x452 - x476 - x500 - x524 + x584 + x590 + x596 - x777 + x778 =E= 0;
e879..  -x453 - x477 - x501 - x525 + x585 + x591 + x597 - x778 + x779 =E= 0;
e880..  -x454 - x478 - x502 - x526 + x586 + x592 + x598 - x779 + x780 =E= 0;
e881..  -x455 - x479 - x503 - x527 + x587 + x593 + x599 - x780 + x781 =E= 0;
e882..  -x456 - x480 - x504 - x528 + x588 + x594 + x600 - x781 + x782 =E= 0;
e883..  -x529 - x547 - x565 - x583 + x783 + x784 =E= 0;
e884..  -x530 - x548 - x566 - x584 - x783 + x785 + x786 =E= 0;
e885..  -x531 - x549 - x567 - x585 - x785 + x787 + x788 =E= 0;
e886..  -x532 - x550 - x568 - x586 - x787 + x789 + x790 =E= 0;
e887..  -x533 - x551 - x569 - x587 - x789 + x791 + x792 =E= 0;
e888..  -x534 - x552 - x570 - x588 - x791 + x793 + x794 =E= 0;
e889..  -x535 - x553 - x571 - x589 + x795 + x796 =E= 0;
e890..  -x536 - x554 - x572 - x590 - x795 + x797 + x798 =E= 0;
e891..  -x537 - x555 - x573 - x591 - x797 + x799 + x800 =E= 0;
e892..  -x538 - x556 - x574 - x592 - x799 + x801 + x866 =E= 0;
e893..  -x539 - x557 - x575 - x593 - x801 + x802 + x867 =E= 0;
e894..  -x540 - x558 - x576 - x594 - x802 + x803 + x868 =E= 0;
e895..  -x541 - x559 - x577 - x595 + x804 + x805 =E= 0;
e896..  -x542 - x560 - x578 - x596 - x804 + x806 + x807 =E= 0;
e897..  -x543 - x561 - x579 - x597 - x806 + x808 + x809 =E= 0;
e898..  -x544 - x562 - x580 - x598 - x808 + x810 + x869 =E= 0;
e899..  -x545 - x563 - x581 - x599 - x810 + x811 + x870 =E= 0;
e900..  -x546 - x564 - x582 - x600 - x811 + x812 + x871 =E= 0;
e901..  x711 * x813 - 2.69 * x601 - 4.01 * x625 - 0.15 * x649 =E= 0;
e902..  x712 * x814 - x711 * x813 + x338 * x813 + x344 * x813 + x350 * x813 +
        x356 * x813 - 2.69 * x602 - 4.01 * x626 - 0.15 * x650 =E= 0;
e903..  x713 * x815 - x712 * x814 + x339 * x814 + x345 * x814 + x351 * x814 +
        x357 * x814 - 2.69 * x603 - 4.01 * x627 - 0.15 * x651 =E= 0;
e904..  x714 * x816 - x713 * x815 + x340 * x815 + x346 * x815 + x352 * x815 +
        x358 * x815 - 2.69 * x604 - 4.01 * x628 - 0.15 * x652 =E= 0;
e905..  x715 * x817 - x714 * x816 + x341 * x816 + x347 * x816 + x353 * x816 +
        x359 * x816 - 2.69 * x605 - 4.01 * x629 - 0.15 * x653 =E= 0;
e906..  x716 * x818 - x715 * x817 + x342 * x817 + x348 * x817 + x354 * x817 +
        x360 * x817 - 2.69 * x606 - 4.01 * x630 - 0.15 * x654 =E= 0;
e907..  x717 * x819 - 2.69 * x607 - 4.01 * x631 - 0.15 * x655 =E= 0;
e908..  x718 * x820 - x717 * x819 + x362 * x819 + x368 * x819 + x374 * x819 +
        x380 * x819 - 2.69 * x608 - 4.01 * x632 - 0.15 * x656 =E= 0;
e909..  x719 * x821 - x718 * x820 + x363 * x820 + x369 * x820 + x375 * x820 +
        x381 * x820 - 2.69 * x609 - 4.01 * x633 - 0.15 * x657 =E= 0;
e910..  x720 * x822 - x719 * x821 + x364 * x821 + x370 * x821 + x376 * x821 +
        x382 * x821 - 2.69 * x610 - 4.01 * x634 - 0.15 * x658 =E= 0;
e911..  x721 * x823 - x720 * x822 + x365 * x822 + x371 * x822 + x377 * x822 +
        x383 * x822 - 2.69 * x611 - 4.01 * x635 - 0.15 * x659 =E= 0;
e912..  x722 * x824 - x721 * x823 + x366 * x823 + x372 * x823 + x378 * x823 +
        x384 * x823 - 2.69 * x612 - 4.01 * x636 - 0.15 * x660 =E= 0;
e913..  x723 * x825 - 2.69 * x613 - 4.01 * x637 - 0.15 * x661 =E= 0;
e914..  x724 * x826 - x723 * x825 + x386 * x825 + x392 * x825 + x398 * x825 +
        x404 * x825 - 2.69 * x614 - 4.01 * x638 - 0.15 * x662 =E= 0;
e915..  x725 * x827 - x724 * x826 + x387 * x826 + x393 * x826 + x399 * x826 +
        x405 * x826 - 2.69 * x615 - 4.01 * x639 - 0.15 * x663 =E= 0;
e916..  x726 * x828 - x725 * x827 + x388 * x827 + x394 * x827 + x400 * x827 +
        x406 * x827 - 2.69 * x616 - 4.01 * x640 - 0.15 * x664 =E= 0;
e917..  x727 * x829 - x726 * x828 + x389 * x828 + x395 * x828 + x401 * x828 +
        x407 * x828 - 2.69 * x617 - 4.01 * x641 - 0.15 * x665 =E= 0;
e918..  x728 * x830 - x727 * x829 + x390 * x829 + x396 * x829 + x402 * x829 +
        x408 * x829 - 2.69 * x618 - 4.01 * x642 - 0.15 * x666 =E= 0;
e919..  x729 * x831 - 2.69 * x619 - 4.01 * x643 - 0.15 * x667 =E= 0;
e920..  x730 * x832 - x729 * x831 + x410 * x831 + x416 * x831 + x422 * x831 +
        x428 * x831 - 2.69 * x620 - 4.01 * x644 - 0.15 * x668 =E= 0;
e921..  x731 * x833 - x730 * x832 + x411 * x832 + x417 * x832 + x423 * x832 +
        x429 * x832 - 2.69 * x621 - 4.01 * x645 - 0.15 * x669 =E= 0;
e922..  x732 * x834 - x731 * x833 + x412 * x833 + x418 * x833 + x424 * x833 +
        x430 * x833 - 2.69 * x622 - 4.01 * x646 - 0.15 * x670 =E= 0;
e923..  x733 * x835 - x732 * x834 + x413 * x834 + x419 * x834 + x425 * x834 +
        x431 * x834 - 2.69 * x623 - 4.01 * x647 - 0.15 * x671 =E= 0;
e924..  x734 * x836 - x733 * x835 + x414 * x835 + x420 * x835 + x426 * x835 +
        x432 * x835 - 2.69 * x624 - 4.01 * x648 - 0.15 * x672 =E= 0;
e925..  x735 * x837 =E= 0;
e926..  x736 * x838 - x338 * x813 - x362 * x819 - x386 * x825 - x410 * x831 -
        x735 * x837 - (-x434 * x837 - x440 * x837 - x446 * x837 - x452 * x837)
        =E= 0;
e927..  x737 * x839 - x339 * x814 - x363 * x820 - x387 * x826 - x411 * x832 -
        x736 * x838 - (-x435 * x838 - x441 * x838 - x447 * x838 - x453 * x838)
        =E= 0;
e928..  x738 * x840 - x340 * x815 - x364 * x821 - x388 * x827 - x412 * x833 -
        x737 * x839 - (-x436 * x839 - x442 * x839 - x448 * x839 - x454 * x839)
        =E= 0;
e929..  x739 * x841 - x341 * x816 - x365 * x822 - x389 * x828 - x413 * x834 -
        x738 * x840 - (-x437 * x840 - x443 * x840 - x449 * x840 - x455 * x840)
        =E= 0;
e930..  x740 * x842 - x342 * x817 - x366 * x823 - x390 * x829 - x414 * x835 -
        x739 * x841 - (-x438 * x841 - x444 * x841 - x450 * x841 - x456 * x841)
        =E= 0;
e931..  x741 * x843 =E= 0;
e932..  x742 * x844 - x344 * x813 - x368 * x819 - x392 * x825 - x416 * x831 -
        x741 * x843 - (-x458 * x843 - x464 * x843 - x470 * x843 - x476 * x843)
        =E= 0;
e933..  x743 * x845 - x345 * x814 - x369 * x820 - x393 * x826 - x417 * x832 -
        x742 * x844 - (-x459 * x844 - x465 * x844 - x471 * x844 - x477 * x844)
        =E= 0;
e934..  x744 * x846 - x346 * x815 - x370 * x821 - x394 * x827 - x418 * x833 -
        x743 * x845 - (-x460 * x845 - x466 * x845 - x472 * x845 - x478 * x845)
        =E= 0;
e935..  x745 * x847 - x347 * x816 - x371 * x822 - x395 * x828 - x419 * x834 -
        x744 * x846 - (-x461 * x846 - x467 * x846 - x473 * x846 - x479 * x846)
        =E= 0;
e936..  x746 * x848 - x348 * x817 - x372 * x823 - x396 * x829 - x420 * x835 -
        x745 * x847 - (-x462 * x847 - x468 * x847 - x474 * x847 - x480 * x847)
        =E= 0;
e937..  x747 * x849 =E= 0;
e938..  x748 * x850 - x350 * x813 - x374 * x819 - x398 * x825 - x422 * x831 -
        x747 * x849 - (-x482 * x849 - x488 * x849 - x494 * x849 - x500 * x849)
        =E= 0;
e939..  x749 * x851 - x351 * x814 - x375 * x820 - x399 * x826 - x423 * x832 -
        x748 * x850 - (-x483 * x850 - x489 * x850 - x495 * x850 - x501 * x850)
        =E= 0;
e940..  x750 * x852 - x352 * x815 - x376 * x821 - x400 * x827 - x424 * x833 -
        x749 * x851 - (-x484 * x851 - x490 * x851 - x496 * x851 - x502 * x851)
        =E= 0;
e941..  x751 * x853 - x353 * x816 - x377 * x822 - x401 * x828 - x425 * x834 -
        x750 * x852 - (-x485 * x852 - x491 * x852 - x497 * x852 - x503 * x852)
        =E= 0;
e942..  x752 * x854 - x354 * x817 - x378 * x823 - x402 * x829 - x426 * x835 -
        x751 * x853 - (-x486 * x853 - x492 * x853 - x498 * x853 - x504 * x853)
        =E= 0;
e943..  x753 * x855 =E= 0;
e944..  x754 * x856 - x356 * x813 - x380 * x819 - x404 * x825 - x428 * x831 -
        x753 * x855 - (-x506 * x855 - x512 * x855 - x518 * x855 - x524 * x855)
        =E= 0;
e945..  x755 * x857 - x357 * x814 - x381 * x820 - x405 * x826 - x429 * x832 -
        x754 * x856 - (-x507 * x856 - x513 * x856 - x519 * x856 - x525 * x856)
        =E= 0;
e946..  x756 * x858 - x358 * x815 - x382 * x821 - x406 * x827 - x430 * x833 -
        x755 * x857 - (-x508 * x857 - x514 * x857 - x520 * x857 - x526 * x857)
        =E= 0;
e947..  x757 * x859 - x359 * x816 - x383 * x822 - x407 * x828 - x431 * x834 -
        x756 * x858 - (-x509 * x858 - x515 * x858 - x521 * x858 - x527 * x858)
        =E= 0;
e948..  x758 * x860 - x360 * x817 - x384 * x823 - x408 * x829 - x432 * x835 -
        x757 * x859 - (-x510 * x859 - x516 * x859 - x522 * x859 - x528 * x859)
        =E= 0;
e949..  x759 * x673 =E= 0;
e950..  x760 * x674 - x434 * x837 - x458 * x843 - x482 * x849 - x506 * x855 -
        x759 * x673 - (-x530 * x673 - x536 * x673 - x542 * x673) =E= 0;
e951..  x761 * x675 - x435 * x838 - x459 * x844 - x483 * x850 - x507 * x856 -
        x760 * x674 - (-x531 * x674 - x537 * x674 - x543 * x674) =E= 0;
e952..  x762 * x676 - x436 * x839 - x460 * x845 - x484 * x851 - x508 * x857 -
        x761 * x675 - (-x532 * x675 - x538 * x675 - x544 * x675) =E= 0;
e953..  x763 * x677 - x437 * x840 - x461 * x846 - x485 * x852 - x509 * x858 -
        x762 * x676 - (-x533 * x676 - x539 * x676 - x545 * x676) =E= 0;
e954..  x764 * x861 - x438 * x841 - x462 * x847 - x486 * x853 - x510 * x859 -
        x763 * x677 - (-x534 * x677 - x540 * x677 - x546 * x677) =E= 0;
e955..  x765 * x678 =E= 0;
e956..  x766 * x679 - x440 * x837 - x464 * x843 - x488 * x849 - x512 * x855 -
        x765 * x678 - (-x548 * x678 - x554 * x678 - x560 * x678) =E= 0;
e957..  x767 * x680 - x441 * x838 - x465 * x844 - x489 * x850 - x513 * x856 -
        x766 * x679 - (-x549 * x679 - x555 * x679 - x561 * x679) =E= 0;
e958..  x768 * x681 - x442 * x839 - x466 * x845 - x490 * x851 - x514 * x857 -
        x767 * x680 - (-x550 * x680 - x556 * x680 - x562 * x680) =E= 0;
e959..  x769 * x682 - x443 * x840 - x467 * x846 - x491 * x852 - x515 * x858 -
        x768 * x681 - (-x551 * x681 - x557 * x681 - x563 * x681) =E= 0;
e960..  x770 * x862 - x444 * x841 - x468 * x847 - x492 * x853 - x516 * x859 -
        x769 * x682 - (-x552 * x682 - x558 * x682 - x564 * x682) =E= 0;
e961..  x771 * x683 =E= 0;
e962..  x772 * x684 - x446 * x837 - x470 * x843 - x494 * x849 - x518 * x855 -
        x771 * x683 - (-x566 * x683 - x572 * x683 - x578 * x683) =E= 0;
e963..  x773 * x685 - x447 * x838 - x471 * x844 - x495 * x850 - x519 * x856 -
        x772 * x684 - (-x567 * x684 - x573 * x684 - x579 * x684) =E= 0;
e964..  x774 * x686 - x448 * x839 - x472 * x845 - x496 * x851 - x520 * x857 -
        x773 * x685 - (-x568 * x685 - x574 * x685 - x580 * x685) =E= 0;
e965..  x775 * x687 - x449 * x840 - x473 * x846 - x497 * x852 - x521 * x858 -
        x774 * x686 - (-x569 * x686 - x575 * x686 - x581 * x686) =E= 0;
e966..  x776 * x863 - x450 * x841 - x474 * x847 - x498 * x853 - x522 * x859 -
        x775 * x687 - (-x570 * x687 - x576 * x687 - x582 * x687) =E= 0;
e967..  x777 * x688 =E= 0;
e968..  x778 * x689 - x452 * x837 - x476 * x843 - x500 * x849 - x524 * x855 -
        x777 * x688 - (-x584 * x688 - x590 * x688 - x596 * x688) =E= 0;
e969..  x779 * x690 - x453 * x838 - x477 * x844 - x501 * x850 - x525 * x856 -
        x778 * x689 - (-x585 * x689 - x591 * x689 - x597 * x689) =E= 0;
e970..  x780 * x691 - x454 * x839 - x478 * x845 - x502 * x851 - x526 * x857 -
        x779 * x690 - (-x586 * x690 - x592 * x690 - x598 * x690) =E= 0;
e971..  x781 * x692 - x455 * x840 - x479 * x846 - x503 * x852 - x527 * x858 -
        x780 * x691 - (-x587 * x691 - x593 * x691 - x599 * x691) =E= 0;
e972..  x782 * x864 - x456 * x841 - x480 * x847 - x504 * x853 - x528 * x859 -
        x781 * x692 - (-x588 * x692 - x594 * x692 - x600 * x692) =E= 0;
e973..  b1 + b97 =L= 1;
e974..  b2 + b98 =L= 1;
e975..  b3 + b99 =L= 1;
e976..  b4 + b100 =L= 1;
e977..  b5 + b101 =L= 1;
e978..  b6 + b102 =L= 1;
e979..  b1 + b103 =L= 1;
e980..  b2 + b104 =L= 1;
e981..  b3 + b105 =L= 1;
e982..  b4 + b106 =L= 1;
e983..  b5 + b107 =L= 1;
e984..  b6 + b108 =L= 1;
e985..  b1 + b109 =L= 1;
e986..  b2 + b110 =L= 1;
e987..  b3 + b111 =L= 1;
e988..  b4 + b112 =L= 1;
e989..  b5 + b113 =L= 1;
e990..  b6 + b114 =L= 1;
e991..  b1 + b115 =L= 1;
e992..  b2 + b116 =L= 1;
e993..  b3 + b117 =L= 1;
e994..  b4 + b118 =L= 1;
e995..  b5 + b119 =L= 1;
e996..  b6 + b120 =L= 1;
e997..  b7 + b121 =L= 1;
e998..  b8 + b122 =L= 1;
e999..  b9 + b123 =L= 1;
e1000..  b10 + b124 =L= 1;
e1001..  b11 + b125 =L= 1;
e1002..  b12 + b126 =L= 1;
e1003..  b7 + b127 =L= 1;
e1004..  b8 + b128 =L= 1;
e1005..  b9 + b129 =L= 1;
e1006..  b10 + b130 =L= 1;
e1007..  b11 + b131 =L= 1;
e1008..  b12 + b132 =L= 1;
e1009..  b7 + b133 =L= 1;
e1010..  b8 + b134 =L= 1;
e1011..  b9 + b135 =L= 1;
e1012..  b10 + b136 =L= 1;
e1013..  b11 + b137 =L= 1;
e1014..  b12 + b138 =L= 1;
e1015..  b7 + b139 =L= 1;
e1016..  b8 + b140 =L= 1;
e1017..  b9 + b141 =L= 1;
e1018..  b10 + b142 =L= 1;
e1019..  b11 + b143 =L= 1;
e1020..  b12 + b144 =L= 1;
e1021..  b13 + b145 =L= 1;
e1022..  b14 + b146 =L= 1;
e1023..  b15 + b147 =L= 1;
e1024..  b16 + b148 =L= 1;
e1025..  b17 + b149 =L= 1;
e1026..  b18 + b150 =L= 1;
e1027..  b13 + b151 =L= 1;
e1028..  b14 + b152 =L= 1;
e1029..  b15 + b153 =L= 1;
e1030..  b16 + b154 =L= 1;
e1031..  b17 + b155 =L= 1;
e1032..  b18 + b156 =L= 1;
e1033..  b13 + b157 =L= 1;
e1034..  b14 + b158 =L= 1;
e1035..  b15 + b159 =L= 1;
e1036..  b16 + b160 =L= 1;
e1037..  b17 + b161 =L= 1;
e1038..  b18 + b162 =L= 1;
e1039..  b13 + b163 =L= 1;
e1040..  b14 + b164 =L= 1;
e1041..  b15 + b165 =L= 1;
e1042..  b16 + b166 =L= 1;
e1043..  b17 + b167 =L= 1;
e1044..  b18 + b168 =L= 1;
e1045..  b19 + b169 =L= 1;
e1046..  b20 + b170 =L= 1;
e1047..  b21 + b171 =L= 1;
e1048..  b22 + b172 =L= 1;
e1049..  b23 + b173 =L= 1;
e1050..  b24 + b174 =L= 1;
e1051..  b19 + b175 =L= 1;
e1052..  b20 + b176 =L= 1;
e1053..  b21 + b177 =L= 1;
e1054..  b22 + b178 =L= 1;
e1055..  b23 + b179 =L= 1;
e1056..  b24 + b180 =L= 1;
e1057..  b19 + b181 =L= 1;
e1058..  b20 + b182 =L= 1;
e1059..  b21 + b183 =L= 1;
e1060..  b22 + b184 =L= 1;
e1061..  b23 + b185 =L= 1;
e1062..  b24 + b186 =L= 1;
e1063..  b19 + b187 =L= 1;
e1064..  b20 + b188 =L= 1;
e1065..  b21 + b189 =L= 1;
e1066..  b22 + b190 =L= 1;
e1067..  b23 + b191 =L= 1;
e1068..  b24 + b192 =L= 1;
e1069..  b25 + b97 =L= 1;
e1070..  b26 + b98 =L= 1;
e1071..  b27 + b99 =L= 1;
e1072..  b28 + b100 =L= 1;
e1073..  b29 + b101 =L= 1;
e1074..  b30 + b102 =L= 1;
e1075..  b25 + b103 =L= 1;
e1076..  b26 + b104 =L= 1;
e1077..  b27 + b105 =L= 1;
e1078..  b28 + b106 =L= 1;
e1079..  b29 + b107 =L= 1;
e1080..  b30 + b108 =L= 1;
e1081..  b25 + b109 =L= 1;
e1082..  b26 + b110 =L= 1;
e1083..  b27 + b111 =L= 1;
e1084..  b28 + b112 =L= 1;
e1085..  b29 + b113 =L= 1;
e1086..  b30 + b114 =L= 1;
e1087..  b25 + b115 =L= 1;
e1088..  b26 + b116 =L= 1;
e1089..  b27 + b117 =L= 1;
e1090..  b28 + b118 =L= 1;
e1091..  b29 + b119 =L= 1;
e1092..  b30 + b120 =L= 1;
e1093..  b31 + b121 =L= 1;
e1094..  b32 + b122 =L= 1;
e1095..  b33 + b123 =L= 1;
e1096..  b34 + b124 =L= 1;
e1097..  b35 + b125 =L= 1;
e1098..  b36 + b126 =L= 1;
e1099..  b31 + b127 =L= 1;
e1100..  b32 + b128 =L= 1;
e1101..  b33 + b129 =L= 1;
e1102..  b34 + b130 =L= 1;
e1103..  b35 + b131 =L= 1;
e1104..  b36 + b132 =L= 1;
e1105..  b31 + b133 =L= 1;
e1106..  b32 + b134 =L= 1;
e1107..  b33 + b135 =L= 1;
e1108..  b34 + b136 =L= 1;
e1109..  b35 + b137 =L= 1;
e1110..  b36 + b138 =L= 1;
e1111..  b31 + b139 =L= 1;
e1112..  b32 + b140 =L= 1;
e1113..  b33 + b141 =L= 1;
e1114..  b34 + b142 =L= 1;
e1115..  b35 + b143 =L= 1;
e1116..  b36 + b144 =L= 1;
e1117..  b37 + b145 =L= 1;
e1118..  b38 + b146 =L= 1;
e1119..  b39 + b147 =L= 1;
e1120..  b40 + b148 =L= 1;
e1121..  b41 + b149 =L= 1;
e1122..  b42 + b150 =L= 1;
e1123..  b37 + b151 =L= 1;
e1124..  b38 + b152 =L= 1;
e1125..  b39 + b153 =L= 1;
e1126..  b40 + b154 =L= 1;
e1127..  b41 + b155 =L= 1;
e1128..  b42 + b156 =L= 1;
e1129..  b37 + b157 =L= 1;
e1130..  b38 + b158 =L= 1;
e1131..  b39 + b159 =L= 1;
e1132..  b40 + b160 =L= 1;
e1133..  b41 + b161 =L= 1;
e1134..  b42 + b162 =L= 1;
e1135..  b37 + b163 =L= 1;
e1136..  b38 + b164 =L= 1;
e1137..  b39 + b165 =L= 1;
e1138..  b40 + b166 =L= 1;
e1139..  b41 + b167 =L= 1;
e1140..  b42 + b168 =L= 1;
e1141..  b43 + b169 =L= 1;
e1142..  b44 + b170 =L= 1;
e1143..  b45 + b171 =L= 1;
e1144..  b46 + b172 =L= 1;
e1145..  b47 + b173 =L= 1;
e1146..  b48 + b174 =L= 1;
e1147..  b43 + b175 =L= 1;
e1148..  b44 + b176 =L= 1;
e1149..  b45 + b177 =L= 1;
e1150..  b46 + b178 =L= 1;
e1151..  b47 + b179 =L= 1;
e1152..  b48 + b180 =L= 1;
e1153..  b43 + b181 =L= 1;
e1154..  b44 + b182 =L= 1;
e1155..  b45 + b183 =L= 1;
e1156..  b46 + b184 =L= 1;
e1157..  b47 + b185 =L= 1;
e1158..  b48 + b186 =L= 1;
e1159..  b43 + b187 =L= 1;
e1160..  b44 + b188 =L= 1;
e1161..  b45 + b189 =L= 1;
e1162..  b46 + b190 =L= 1;
e1163..  b47 + b191 =L= 1;
e1164..  b48 + b192 =L= 1;
e1165..  b49 + b97 =L= 1;
e1166..  b50 + b98 =L= 1;
e1167..  b51 + b99 =L= 1;
e1168..  b52 + b100 =L= 1;
e1169..  b53 + b101 =L= 1;
e1170..  b54 + b102 =L= 1;
e1171..  b49 + b103 =L= 1;
e1172..  b50 + b104 =L= 1;
e1173..  b51 + b105 =L= 1;
e1174..  b52 + b106 =L= 1;
e1175..  b53 + b107 =L= 1;
e1176..  b54 + b108 =L= 1;
e1177..  b49 + b109 =L= 1;
e1178..  b50 + b110 =L= 1;
e1179..  b51 + b111 =L= 1;
e1180..  b52 + b112 =L= 1;
e1181..  b53 + b113 =L= 1;
e1182..  b54 + b114 =L= 1;
e1183..  b49 + b115 =L= 1;
e1184..  b50 + b116 =L= 1;
e1185..  b51 + b117 =L= 1;
e1186..  b52 + b118 =L= 1;
e1187..  b53 + b119 =L= 1;
e1188..  b54 + b120 =L= 1;
e1189..  b55 + b121 =L= 1;
e1190..  b56 + b122 =L= 1;
e1191..  b57 + b123 =L= 1;
e1192..  b58 + b124 =L= 1;
e1193..  b59 + b125 =L= 1;
e1194..  b60 + b126 =L= 1;
e1195..  b55 + b127 =L= 1;
e1196..  b56 + b128 =L= 1;
e1197..  b57 + b129 =L= 1;
e1198..  b58 + b130 =L= 1;
e1199..  b59 + b131 =L= 1;
e1200..  b60 + b132 =L= 1;
e1201..  b55 + b133 =L= 1;
e1202..  b56 + b134 =L= 1;
e1203..  b57 + b135 =L= 1;
e1204..  b58 + b136 =L= 1;
e1205..  b59 + b137 =L= 1;
e1206..  b60 + b138 =L= 1;
e1207..  b55 + b139 =L= 1;
e1208..  b56 + b140 =L= 1;
e1209..  b57 + b141 =L= 1;
e1210..  b58 + b142 =L= 1;
e1211..  b59 + b143 =L= 1;
e1212..  b60 + b144 =L= 1;
e1213..  b61 + b145 =L= 1;
e1214..  b62 + b146 =L= 1;
e1215..  b63 + b147 =L= 1;
e1216..  b64 + b148 =L= 1;
e1217..  b65 + b149 =L= 1;
e1218..  b66 + b150 =L= 1;
e1219..  b61 + b151 =L= 1;
e1220..  b62 + b152 =L= 1;
e1221..  b63 + b153 =L= 1;
e1222..  b64 + b154 =L= 1;
e1223..  b65 + b155 =L= 1;
e1224..  b66 + b156 =L= 1;
e1225..  b61 + b157 =L= 1;
e1226..  b62 + b158 =L= 1;
e1227..  b63 + b159 =L= 1;
e1228..  b64 + b160 =L= 1;
e1229..  b65 + b161 =L= 1;
e1230..  b66 + b162 =L= 1;
e1231..  b61 + b163 =L= 1;
e1232..  b62 + b164 =L= 1;
e1233..  b63 + b165 =L= 1;
e1234..  b64 + b166 =L= 1;
e1235..  b65 + b167 =L= 1;
e1236..  b66 + b168 =L= 1;
e1237..  b67 + b169 =L= 1;
e1238..  b68 + b170 =L= 1;
e1239..  b69 + b171 =L= 1;
e1240..  b70 + b172 =L= 1;
e1241..  b71 + b173 =L= 1;
e1242..  b72 + b174 =L= 1;
e1243..  b67 + b175 =L= 1;
e1244..  b68 + b176 =L= 1;
e1245..  b69 + b177 =L= 1;
e1246..  b70 + b178 =L= 1;
e1247..  b71 + b179 =L= 1;
e1248..  b72 + b180 =L= 1;
e1249..  b67 + b181 =L= 1;
e1250..  b68 + b182 =L= 1;
e1251..  b69 + b183 =L= 1;
e1252..  b70 + b184 =L= 1;
e1253..  b71 + b185 =L= 1;
e1254..  b72 + b186 =L= 1;
e1255..  b67 + b187 =L= 1;
e1256..  b68 + b188 =L= 1;
e1257..  b69 + b189 =L= 1;
e1258..  b70 + b190 =L= 1;
e1259..  b71 + b191 =L= 1;
e1260..  b72 + b192 =L= 1;
e1261..  b73 + b97 =L= 1;
e1262..  b74 + b98 =L= 1;
e1263..  b75 + b99 =L= 1;
e1264..  b76 + b100 =L= 1;
e1265..  b77 + b101 =L= 1;
e1266..  b78 + b102 =L= 1;
e1267..  b73 + b103 =L= 1;
e1268..  b74 + b104 =L= 1;
e1269..  b75 + b105 =L= 1;
e1270..  b76 + b106 =L= 1;
e1271..  b77 + b107 =L= 1;
e1272..  b78 + b108 =L= 1;
e1273..  b73 + b109 =L= 1;
e1274..  b74 + b110 =L= 1;
e1275..  b75 + b111 =L= 1;
e1276..  b76 + b112 =L= 1;
e1277..  b77 + b113 =L= 1;
e1278..  b78 + b114 =L= 1;
e1279..  b73 + b115 =L= 1;
e1280..  b74 + b116 =L= 1;
e1281..  b75 + b117 =L= 1;
e1282..  b76 + b118 =L= 1;
e1283..  b77 + b119 =L= 1;
e1284..  b78 + b120 =L= 1;
e1285..  b79 + b121 =L= 1;
e1286..  b80 + b122 =L= 1;
e1287..  b81 + b123 =L= 1;
e1288..  b82 + b124 =L= 1;
e1289..  b83 + b125 =L= 1;
e1290..  b84 + b126 =L= 1;
e1291..  b79 + b127 =L= 1;
e1292..  b80 + b128 =L= 1;
e1293..  b81 + b129 =L= 1;
e1294..  b82 + b130 =L= 1;
e1295..  b83 + b131 =L= 1;
e1296..  b84 + b132 =L= 1;
e1297..  b79 + b133 =L= 1;
e1298..  b80 + b134 =L= 1;
e1299..  b81 + b135 =L= 1;
e1300..  b82 + b136 =L= 1;
e1301..  b83 + b137 =L= 1;
e1302..  b84 + b138 =L= 1;
e1303..  b79 + b139 =L= 1;
e1304..  b80 + b140 =L= 1;
e1305..  b81 + b141 =L= 1;
e1306..  b82 + b142 =L= 1;
e1307..  b83 + b143 =L= 1;
e1308..  b84 + b144 =L= 1;
e1309..  b85 + b145 =L= 1;
e1310..  b86 + b146 =L= 1;
e1311..  b87 + b147 =L= 1;
e1312..  b88 + b148 =L= 1;
e1313..  b89 + b149 =L= 1;
e1314..  b90 + b150 =L= 1;
e1315..  b85 + b151 =L= 1;
e1316..  b86 + b152 =L= 1;
e1317..  b87 + b153 =L= 1;
e1318..  b88 + b154 =L= 1;
e1319..  b89 + b155 =L= 1;
e1320..  b90 + b156 =L= 1;
e1321..  b85 + b157 =L= 1;
e1322..  b86 + b158 =L= 1;
e1323..  b87 + b159 =L= 1;
e1324..  b88 + b160 =L= 1;
e1325..  b89 + b161 =L= 1;
e1326..  b90 + b162 =L= 1;
e1327..  b85 + b163 =L= 1;
e1328..  b86 + b164 =L= 1;
e1329..  b87 + b165 =L= 1;
e1330..  b88 + b166 =L= 1;
e1331..  b89 + b167 =L= 1;
e1332..  b90 + b168 =L= 1;
e1333..  b91 + b169 =L= 1;
e1334..  b92 + b170 =L= 1;
e1335..  b93 + b171 =L= 1;
e1336..  b94 + b172 =L= 1;
e1337..  b95 + b173 =L= 1;
e1338..  b96 + b174 =L= 1;
e1339..  b91 + b175 =L= 1;
e1340..  b92 + b176 =L= 1;
e1341..  b93 + b177 =L= 1;
e1342..  b94 + b178 =L= 1;
e1343..  b95 + b179 =L= 1;
e1344..  b96 + b180 =L= 1;
e1345..  b91 + b181 =L= 1;
e1346..  b92 + b182 =L= 1;
e1347..  b93 + b183 =L= 1;
e1348..  b94 + b184 =L= 1;
e1349..  b95 + b185 =L= 1;
e1350..  b96 + b186 =L= 1;
e1351..  b91 + b187 =L= 1;
e1352..  b92 + b188 =L= 1;
e1353..  b93 + b189 =L= 1;
e1354..  b94 + b190 =L= 1;
e1355..  b95 + b191 =L= 1;
e1356..  b96 + b192 =L= 1;
e1357..  b97 + b193 =L= 1;
e1358..  b98 + b194 =L= 1;
e1359..  b99 + b195 =L= 1;
e1360..  b100 + b196 =L= 1;
e1361..  b101 + b197 =L= 1;
e1362..  b102 + b198 =L= 1;
e1363..  b97 + b199 =L= 1;
e1364..  b98 + b200 =L= 1;
e1365..  b99 + b201 =L= 1;
e1366..  b100 + b202 =L= 1;
e1367..  b101 + b203 =L= 1;
e1368..  b102 + b204 =L= 1;
e1369..  b97 + b205 =L= 1;
e1370..  b98 + b206 =L= 1;
e1371..  b99 + b207 =L= 1;
e1372..  b100 + b208 =L= 1;
e1373..  b101 + b209 =L= 1;
e1374..  b102 + b210 =L= 1;
e1375..  b103 + b211 =L= 1;
e1376..  b104 + b212 =L= 1;
e1377..  b105 + b213 =L= 1;
e1378..  b106 + b214 =L= 1;
e1379..  b107 + b215 =L= 1;
e1380..  b108 + b216 =L= 1;
e1381..  b103 + b217 =L= 1;
e1382..  b104 + b218 =L= 1;
e1383..  b105 + b219 =L= 1;
e1384..  b106 + b220 =L= 1;
e1385..  b107 + b221 =L= 1;
e1386..  b108 + b222 =L= 1;
e1387..  b103 + b223 =L= 1;
e1388..  b104 + b224 =L= 1;
e1389..  b105 + b225 =L= 1;
e1390..  b106 + b226 =L= 1;
e1391..  b107 + b227 =L= 1;
e1392..  b108 + b228 =L= 1;
e1393..  b109 + b229 =L= 1;
e1394..  b110 + b230 =L= 1;
e1395..  b111 + b231 =L= 1;
e1396..  b112 + b232 =L= 1;
e1397..  b113 + b233 =L= 1;
e1398..  b114 + b234 =L= 1;
e1399..  b109 + b235 =L= 1;
e1400..  b110 + b236 =L= 1;
e1401..  b111 + b237 =L= 1;
e1402..  b112 + b238 =L= 1;
e1403..  b113 + b239 =L= 1;
e1404..  b114 + b240 =L= 1;
e1405..  b109 + b241 =L= 1;
e1406..  b110 + b242 =L= 1;
e1407..  b111 + b243 =L= 1;
e1408..  b112 + b244 =L= 1;
e1409..  b113 + b245 =L= 1;
e1410..  b114 + b246 =L= 1;
e1411..  b115 + b247 =L= 1;
e1412..  b116 + b248 =L= 1;
e1413..  b117 + b249 =L= 1;
e1414..  b118 + b250 =L= 1;
e1415..  b119 + b251 =L= 1;
e1416..  b120 + b252 =L= 1;
e1417..  b115 + b253 =L= 1;
e1418..  b116 + b254 =L= 1;
e1419..  b117 + b255 =L= 1;
e1420..  b118 + b256 =L= 1;
e1421..  b119 + b257 =L= 1;
e1422..  b120 + b258 =L= 1;
e1423..  b115 + b259 =L= 1;
e1424..  b116 + b260 =L= 1;
e1425..  b117 + b261 =L= 1;
e1426..  b118 + b262 =L= 1;
e1427..  b119 + b263 =L= 1;
e1428..  b120 + b264 =L= 1;
e1429..  b121 + b193 =L= 1;
e1430..  b122 + b194 =L= 1;
e1431..  b123 + b195 =L= 1;
e1432..  b124 + b196 =L= 1;
e1433..  b125 + b197 =L= 1;
e1434..  b126 + b198 =L= 1;
e1435..  b121 + b199 =L= 1;
e1436..  b122 + b200 =L= 1;
e1437..  b123 + b201 =L= 1;
e1438..  b124 + b202 =L= 1;
e1439..  b125 + b203 =L= 1;
e1440..  b126 + b204 =L= 1;
e1441..  b121 + b205 =L= 1;
e1442..  b122 + b206 =L= 1;
e1443..  b123 + b207 =L= 1;
e1444..  b124 + b208 =L= 1;
e1445..  b125 + b209 =L= 1;
e1446..  b126 + b210 =L= 1;
e1447..  b127 + b211 =L= 1;
e1448..  b128 + b212 =L= 1;
e1449..  b129 + b213 =L= 1;
e1450..  b130 + b214 =L= 1;
e1451..  b131 + b215 =L= 1;
e1452..  b132 + b216 =L= 1;
e1453..  b127 + b217 =L= 1;
e1454..  b128 + b218 =L= 1;
e1455..  b129 + b219 =L= 1;
e1456..  b130 + b220 =L= 1;
e1457..  b131 + b221 =L= 1;
e1458..  b132 + b222 =L= 1;
e1459..  b127 + b223 =L= 1;
e1460..  b128 + b224 =L= 1;
e1461..  b129 + b225 =L= 1;
e1462..  b130 + b226 =L= 1;
e1463..  b131 + b227 =L= 1;
e1464..  b132 + b228 =L= 1;
e1465..  b133 + b229 =L= 1;
e1466..  b134 + b230 =L= 1;
e1467..  b135 + b231 =L= 1;
e1468..  b136 + b232 =L= 1;
e1469..  b137 + b233 =L= 1;
e1470..  b138 + b234 =L= 1;
e1471..  b133 + b235 =L= 1;
e1472..  b134 + b236 =L= 1;
e1473..  b135 + b237 =L= 1;
e1474..  b136 + b238 =L= 1;
e1475..  b137 + b239 =L= 1;
e1476..  b138 + b240 =L= 1;
e1477..  b133 + b241 =L= 1;
e1478..  b134 + b242 =L= 1;
e1479..  b135 + b243 =L= 1;
e1480..  b136 + b244 =L= 1;
e1481..  b137 + b245 =L= 1;
e1482..  b138 + b246 =L= 1;
e1483..  b139 + b247 =L= 1;
e1484..  b140 + b248 =L= 1;
e1485..  b141 + b249 =L= 1;
e1486..  b142 + b250 =L= 1;
e1487..  b143 + b251 =L= 1;
e1488..  b144 + b252 =L= 1;
e1489..  b139 + b253 =L= 1;
e1490..  b140 + b254 =L= 1;
e1491..  b141 + b255 =L= 1;
e1492..  b142 + b256 =L= 1;
e1493..  b143 + b257 =L= 1;
e1494..  b144 + b258 =L= 1;
e1495..  b139 + b259 =L= 1;
e1496..  b140 + b260 =L= 1;
e1497..  b141 + b261 =L= 1;
e1498..  b142 + b262 =L= 1;
e1499..  b143 + b263 =L= 1;
e1500..  b144 + b264 =L= 1;
e1501..  b145 + b193 =L= 1;
e1502..  b146 + b194 =L= 1;
e1503..  b147 + b195 =L= 1;
e1504..  b148 + b196 =L= 1;
e1505..  b149 + b197 =L= 1;
e1506..  b150 + b198 =L= 1;
e1507..  b145 + b199 =L= 1;
e1508..  b146 + b200 =L= 1;
e1509..  b147 + b201 =L= 1;
e1510..  b148 + b202 =L= 1;
e1511..  b149 + b203 =L= 1;
e1512..  b150 + b204 =L= 1;
e1513..  b145 + b205 =L= 1;
e1514..  b146 + b206 =L= 1;
e1515..  b147 + b207 =L= 1;
e1516..  b148 + b208 =L= 1;
e1517..  b149 + b209 =L= 1;
e1518..  b150 + b210 =L= 1;
e1519..  b151 + b211 =L= 1;
e1520..  b152 + b212 =L= 1;
e1521..  b153 + b213 =L= 1;
e1522..  b154 + b214 =L= 1;
e1523..  b155 + b215 =L= 1;
e1524..  b156 + b216 =L= 1;
e1525..  b151 + b217 =L= 1;
e1526..  b152 + b218 =L= 1;
e1527..  b153 + b219 =L= 1;
e1528..  b154 + b220 =L= 1;
e1529..  b155 + b221 =L= 1;
e1530..  b156 + b222 =L= 1;
e1531..  b151 + b223 =L= 1;
e1532..  b152 + b224 =L= 1;
e1533..  b153 + b225 =L= 1;
e1534..  b154 + b226 =L= 1;
e1535..  b155 + b227 =L= 1;
e1536..  b156 + b228 =L= 1;
e1537..  b157 + b229 =L= 1;
e1538..  b158 + b230 =L= 1;
e1539..  b159 + b231 =L= 1;
e1540..  b160 + b232 =L= 1;
e1541..  b161 + b233 =L= 1;
e1542..  b162 + b234 =L= 1;
e1543..  b157 + b235 =L= 1;
e1544..  b158 + b236 =L= 1;
e1545..  b159 + b237 =L= 1;
e1546..  b160 + b238 =L= 1;
e1547..  b161 + b239 =L= 1;
e1548..  b162 + b240 =L= 1;
e1549..  b157 + b241 =L= 1;
e1550..  b158 + b242 =L= 1;
e1551..  b159 + b243 =L= 1;
e1552..  b160 + b244 =L= 1;
e1553..  b161 + b245 =L= 1;
e1554..  b162 + b246 =L= 1;
e1555..  b163 + b247 =L= 1;
e1556..  b164 + b248 =L= 1;
e1557..  b165 + b249 =L= 1;
e1558..  b166 + b250 =L= 1;
e1559..  b167 + b251 =L= 1;
e1560..  b168 + b252 =L= 1;
e1561..  b163 + b253 =L= 1;
e1562..  b164 + b254 =L= 1;
e1563..  b165 + b255 =L= 1;
e1564..  b166 + b256 =L= 1;
e1565..  b167 + b257 =L= 1;
e1566..  b168 + b258 =L= 1;
e1567..  b163 + b259 =L= 1;
e1568..  b164 + b260 =L= 1;
e1569..  b165 + b261 =L= 1;
e1570..  b166 + b262 =L= 1;
e1571..  b167 + b263 =L= 1;
e1572..  b168 + b264 =L= 1;
e1573..  b169 + b193 =L= 1;
e1574..  b170 + b194 =L= 1;
e1575..  b171 + b195 =L= 1;
e1576..  b172 + b196 =L= 1;
e1577..  b173 + b197 =L= 1;
e1578..  b174 + b198 =L= 1;
e1579..  b169 + b199 =L= 1;
e1580..  b170 + b200 =L= 1;
e1581..  b171 + b201 =L= 1;
e1582..  b172 + b202 =L= 1;
e1583..  b173 + b203 =L= 1;
e1584..  b174 + b204 =L= 1;
e1585..  b169 + b205 =L= 1;
e1586..  b170 + b206 =L= 1;
e1587..  b171 + b207 =L= 1;
e1588..  b172 + b208 =L= 1;
e1589..  b173 + b209 =L= 1;
e1590..  b174 + b210 =L= 1;
e1591..  b175 + b211 =L= 1;
e1592..  b176 + b212 =L= 1;
e1593..  b177 + b213 =L= 1;
e1594..  b178 + b214 =L= 1;
e1595..  b179 + b215 =L= 1;
e1596..  b180 + b216 =L= 1;
e1597..  b175 + b217 =L= 1;
e1598..  b176 + b218 =L= 1;
e1599..  b177 + b219 =L= 1;
e1600..  b178 + b220 =L= 1;
e1601..  b179 + b221 =L= 1;
e1602..  b180 + b222 =L= 1;
e1603..  b175 + b223 =L= 1;
e1604..  b176 + b224 =L= 1;
e1605..  b177 + b225 =L= 1;
e1606..  b178 + b226 =L= 1;
e1607..  b179 + b227 =L= 1;
e1608..  b180 + b228 =L= 1;
e1609..  b181 + b229 =L= 1;
e1610..  b182 + b230 =L= 1;
e1611..  b183 + b231 =L= 1;
e1612..  b184 + b232 =L= 1;
e1613..  b185 + b233 =L= 1;
e1614..  b186 + b234 =L= 1;
e1615..  b181 + b235 =L= 1;
e1616..  b182 + b236 =L= 1;
e1617..  b183 + b237 =L= 1;
e1618..  b184 + b238 =L= 1;
e1619..  b185 + b239 =L= 1;
e1620..  b186 + b240 =L= 1;
e1621..  b181 + b241 =L= 1;
e1622..  b182 + b242 =L= 1;
e1623..  b183 + b243 =L= 1;
e1624..  b184 + b244 =L= 1;
e1625..  b185 + b245 =L= 1;
e1626..  b186 + b246 =L= 1;
e1627..  b187 + b247 =L= 1;
e1628..  b188 + b248 =L= 1;
e1629..  b189 + b249 =L= 1;
e1630..  b190 + b250 =L= 1;
e1631..  b191 + b251 =L= 1;
e1632..  b192 + b252 =L= 1;
e1633..  b187 + b253 =L= 1;
e1634..  b188 + b254 =L= 1;
e1635..  b189 + b255 =L= 1;
e1636..  b190 + b256 =L= 1;
e1637..  b191 + b257 =L= 1;
e1638..  b192 + b258 =L= 1;
e1639..  b187 + b259 =L= 1;
e1640..  b188 + b260 =L= 1;
e1641..  b189 + b261 =L= 1;
e1642..  b190 + b262 =L= 1;
e1643..  b191 + b263 =L= 1;
e1644..  b192 + b264 =L= 1;
e1645..  b1 + b265 =L= 1;
e1646..  b2 + b266 =L= 1;
e1647..  b3 + b267 =L= 1;
e1648..  b4 + b268 =L= 1;
e1649..  b5 + b269 =L= 1;
e1650..  b6 + b270 =L= 1;
e1651..  b7 + b265 =L= 1;
e1652..  b8 + b266 =L= 1;
e1653..  b9 + b267 =L= 1;
e1654..  b10 + b268 =L= 1;
e1655..  b11 + b269 =L= 1;
e1656..  b12 + b270 =L= 1;
e1657..  b13 + b265 =L= 1;
e1658..  b14 + b266 =L= 1;
e1659..  b15 + b267 =L= 1;
e1660..  b16 + b268 =L= 1;
e1661..  b17 + b269 =L= 1;
e1662..  b18 + b270 =L= 1;
e1663..  b19 + b265 =L= 1;
e1664..  b20 + b266 =L= 1;
e1665..  b21 + b267 =L= 1;
e1666..  b22 + b268 =L= 1;
e1667..  b23 + b269 =L= 1;
e1668..  b24 + b270 =L= 1;
e1669..  b25 + b271 =L= 1;
e1670..  b26 + b272 =L= 1;
e1671..  b27 + b273 =L= 1;
e1672..  b28 + b274 =L= 1;
e1673..  b29 + b275 =L= 1;
e1674..  b30 + b276 =L= 1;
e1675..  b31 + b271 =L= 1;
e1676..  b32 + b272 =L= 1;
e1677..  b33 + b273 =L= 1;
e1678..  b34 + b274 =L= 1;
e1679..  b35 + b275 =L= 1;
e1680..  b36 + b276 =L= 1;
e1681..  b37 + b271 =L= 1;
e1682..  b38 + b272 =L= 1;
e1683..  b39 + b273 =L= 1;
e1684..  b40 + b274 =L= 1;
e1685..  b41 + b275 =L= 1;
e1686..  b42 + b276 =L= 1;
e1687..  b43 + b271 =L= 1;
e1688..  b44 + b272 =L= 1;
e1689..  b45 + b273 =L= 1;
e1690..  b46 + b274 =L= 1;
e1691..  b47 + b275 =L= 1;
e1692..  b48 + b276 =L= 1;
e1693..  b49 + b277 =L= 1;
e1694..  b50 + b278 =L= 1;
e1695..  b51 + b279 =L= 1;
e1696..  b52 + b280 =L= 1;
e1697..  b53 + b281 =L= 1;
e1698..  b54 + b282 =L= 1;
e1699..  b55 + b277 =L= 1;
e1700..  b56 + b278 =L= 1;
e1701..  b57 + b279 =L= 1;
e1702..  b58 + b280 =L= 1;
e1703..  b59 + b281 =L= 1;
e1704..  b60 + b282 =L= 1;
e1705..  b61 + b277 =L= 1;
e1706..  b62 + b278 =L= 1;
e1707..  b63 + b279 =L= 1;
e1708..  b64 + b280 =L= 1;
e1709..  b65 + b281 =L= 1;
e1710..  b66 + b282 =L= 1;
e1711..  b67 + b277 =L= 1;
e1712..  b68 + b278 =L= 1;
e1713..  b69 + b279 =L= 1;
e1714..  b70 + b280 =L= 1;
e1715..  b71 + b281 =L= 1;
e1716..  b72 + b282 =L= 1;
e1717..  b73 + b283 =L= 1;
e1718..  b74 + b284 =L= 1;
e1719..  b75 + b285 =L= 1;
e1720..  b76 + b286 =L= 1;
e1721..  b77 + b287 =L= 1;
e1722..  b78 + b288 =L= 1;
e1723..  b79 + b283 =L= 1;
e1724..  b80 + b284 =L= 1;
e1725..  b81 + b285 =L= 1;
e1726..  b82 + b286 =L= 1;
e1727..  b83 + b287 =L= 1;
e1728..  b84 + b288 =L= 1;
e1729..  b85 + b283 =L= 1;
e1730..  b86 + b284 =L= 1;
e1731..  b87 + b285 =L= 1;
e1732..  b88 + b286 =L= 1;
e1733..  b89 + b287 =L= 1;
e1734..  b90 + b288 =L= 1;
e1735..  b91 + b283 =L= 1;
e1736..  b92 + b284 =L= 1;
e1737..  b93 + b285 =L= 1;
e1738..  b94 + b286 =L= 1;
e1739..  b95 + b287 =L= 1;
e1740..  b96 + b288 =L= 1;
e1741..  b1 + b289 =L= 1;
e1742..  b2 + b290 =L= 1;
e1743..  b3 + b291 =L= 1;
e1744..  b4 + b292 =L= 1;
e1745..  b5 + b293 =L= 1;
e1746..  b6 + b294 =L= 1;
e1747..  b7 + b289 =L= 1;
e1748..  b8 + b290 =L= 1;
e1749..  b9 + b291 =L= 1;
e1750..  b10 + b292 =L= 1;
e1751..  b11 + b293 =L= 1;
e1752..  b12 + b294 =L= 1;
e1753..  b13 + b289 =L= 1;
e1754..  b14 + b290 =L= 1;
e1755..  b15 + b291 =L= 1;
e1756..  b16 + b292 =L= 1;
e1757..  b17 + b293 =L= 1;
e1758..  b18 + b294 =L= 1;
e1759..  b19 + b289 =L= 1;
e1760..  b20 + b290 =L= 1;
e1761..  b21 + b291 =L= 1;
e1762..  b22 + b292 =L= 1;
e1763..  b23 + b293 =L= 1;
e1764..  b24 + b294 =L= 1;
e1765..  b25 + b295 =L= 1;
e1766..  b26 + b296 =L= 1;
e1767..  b27 + b297 =L= 1;
e1768..  b28 + b298 =L= 1;
e1769..  b29 + b299 =L= 1;
e1770..  b30 + b300 =L= 1;
e1771..  b31 + b295 =L= 1;
e1772..  b32 + b296 =L= 1;
e1773..  b33 + b297 =L= 1;
e1774..  b34 + b298 =L= 1;
e1775..  b35 + b299 =L= 1;
e1776..  b36 + b300 =L= 1;
e1777..  b37 + b295 =L= 1;
e1778..  b38 + b296 =L= 1;
e1779..  b39 + b297 =L= 1;
e1780..  b40 + b298 =L= 1;
e1781..  b41 + b299 =L= 1;
e1782..  b42 + b300 =L= 1;
e1783..  b43 + b295 =L= 1;
e1784..  b44 + b296 =L= 1;
e1785..  b45 + b297 =L= 1;
e1786..  b46 + b298 =L= 1;
e1787..  b47 + b299 =L= 1;
e1788..  b48 + b300 =L= 1;
e1789..  b49 + b301 =L= 1;
e1790..  b50 + b302 =L= 1;
e1791..  b51 + b303 =L= 1;
e1792..  b52 + b304 =L= 1;
e1793..  b53 + b305 =L= 1;
e1794..  b54 + b306 =L= 1;
e1795..  b55 + b301 =L= 1;
e1796..  b56 + b302 =L= 1;
e1797..  b57 + b303 =L= 1;
e1798..  b58 + b304 =L= 1;
e1799..  b59 + b305 =L= 1;
e1800..  b60 + b306 =L= 1;
e1801..  b61 + b301 =L= 1;
e1802..  b62 + b302 =L= 1;
e1803..  b63 + b303 =L= 1;
e1804..  b64 + b304 =L= 1;
e1805..  b65 + b305 =L= 1;
e1806..  b66 + b306 =L= 1;
e1807..  b67 + b301 =L= 1;
e1808..  b68 + b302 =L= 1;
e1809..  b69 + b303 =L= 1;
e1810..  b70 + b304 =L= 1;
e1811..  b71 + b305 =L= 1;
e1812..  b72 + b306 =L= 1;
e1813..  b73 + b307 =L= 1;
e1814..  b74 + b308 =L= 1;
e1815..  b75 + b309 =L= 1;
e1816..  b76 + b310 =L= 1;
e1817..  b77 + b311 =L= 1;
e1818..  b78 + b312 =L= 1;
e1819..  b79 + b307 =L= 1;
e1820..  b80 + b308 =L= 1;
e1821..  b81 + b309 =L= 1;
e1822..  b82 + b310 =L= 1;
e1823..  b83 + b311 =L= 1;
e1824..  b84 + b312 =L= 1;
e1825..  b85 + b307 =L= 1;
e1826..  b86 + b308 =L= 1;
e1827..  b87 + b309 =L= 1;
e1828..  b88 + b310 =L= 1;
e1829..  b89 + b311 =L= 1;
e1830..  b90 + b312 =L= 1;
e1831..  b91 + b307 =L= 1;
e1832..  b92 + b308 =L= 1;
e1833..  b93 + b309 =L= 1;
e1834..  b94 + b310 =L= 1;
e1835..  b95 + b311 =L= 1;
e1836..  b96 + b312 =L= 1;
e1837..  b1 + b313 =L= 1;
e1838..  b2 + b314 =L= 1;
e1839..  b3 + b315 =L= 1;
e1840..  b4 + b316 =L= 1;
e1841..  b5 + b317 =L= 1;
e1842..  b6 + b318 =L= 1;
e1843..  b7 + b313 =L= 1;
e1844..  b8 + b314 =L= 1;
e1845..  b9 + b315 =L= 1;
e1846..  b10 + b316 =L= 1;
e1847..  b11 + b317 =L= 1;
e1848..  b12 + b318 =L= 1;
e1849..  b13 + b313 =L= 1;
e1850..  b14 + b314 =L= 1;
e1851..  b15 + b315 =L= 1;
e1852..  b16 + b316 =L= 1;
e1853..  b17 + b317 =L= 1;
e1854..  b18 + b318 =L= 1;
e1855..  b19 + b313 =L= 1;
e1856..  b20 + b314 =L= 1;
e1857..  b21 + b315 =L= 1;
e1858..  b22 + b316 =L= 1;
e1859..  b23 + b317 =L= 1;
e1860..  b24 + b318 =L= 1;
e1861..  b25 + b319 =L= 1;
e1862..  b26 + b320 =L= 1;
e1863..  b27 + b321 =L= 1;
e1864..  b28 + b322 =L= 1;
e1865..  b29 + b323 =L= 1;
e1866..  b30 + b324 =L= 1;
e1867..  b31 + b319 =L= 1;
e1868..  b32 + b320 =L= 1;
e1869..  b33 + b321 =L= 1;
e1870..  b34 + b322 =L= 1;
e1871..  b35 + b323 =L= 1;
e1872..  b36 + b324 =L= 1;
e1873..  b37 + b319 =L= 1;
e1874..  b38 + b320 =L= 1;
e1875..  b39 + b321 =L= 1;
e1876..  b40 + b322 =L= 1;
e1877..  b41 + b323 =L= 1;
e1878..  b42 + b324 =L= 1;
e1879..  b43 + b319 =L= 1;
e1880..  b44 + b320 =L= 1;
e1881..  b45 + b321 =L= 1;
e1882..  b46 + b322 =L= 1;
e1883..  b47 + b323 =L= 1;
e1884..  b48 + b324 =L= 1;
e1885..  b49 + b325 =L= 1;
e1886..  b50 + b326 =L= 1;
e1887..  b51 + b327 =L= 1;
e1888..  b52 + b328 =L= 1;
e1889..  b53 + b329 =L= 1;
e1890..  b54 + b330 =L= 1;
e1891..  b55 + b325 =L= 1;
e1892..  b56 + b326 =L= 1;
e1893..  b57 + b327 =L= 1;
e1894..  b58 + b328 =L= 1;
e1895..  b59 + b329 =L= 1;
e1896..  b60 + b330 =L= 1;
e1897..  b61 + b325 =L= 1;
e1898..  b62 + b326 =L= 1;
e1899..  b63 + b327 =L= 1;
e1900..  b64 + b328 =L= 1;
e1901..  b65 + b329 =L= 1;
e1902..  b66 + b330 =L= 1;
e1903..  b67 + b325 =L= 1;
e1904..  b68 + b326 =L= 1;
e1905..  b69 + b327 =L= 1;
e1906..  b70 + b328 =L= 1;
e1907..  b71 + b329 =L= 1;
e1908..  b72 + b330 =L= 1;
e1909..  b73 + b331 =L= 1;
e1910..  b74 + b332 =L= 1;
e1911..  b75 + b333 =L= 1;
e1912..  b76 + b334 =L= 1;
e1913..  b77 + b335 =L= 1;
e1914..  b78 + b336 =L= 1;
e1915..  b79 + b331 =L= 1;
e1916..  b80 + b332 =L= 1;
e1917..  b81 + b333 =L= 1;
e1918..  b82 + b334 =L= 1;
e1919..  b83 + b335 =L= 1;
e1920..  b84 + b336 =L= 1;
e1921..  b85 + b331 =L= 1;
e1922..  b86 + b332 =L= 1;
e1923..  b87 + b333 =L= 1;
e1924..  b88 + b334 =L= 1;
e1925..  b89 + b335 =L= 1;
e1926..  b90 + b336 =L= 1;
e1927..  b91 + b331 =L= 1;
e1928..  b92 + b332 =L= 1;
e1929..  b93 + b333 =L= 1;
e1930..  b94 + b334 =L= 1;
e1931..  b95 + b335 =L= 1;
e1932..  b96 + b336 =L= 1;
e1933..  23.759999999999998 * b1 + 23.759999999999998 * b2 + 23.759999999999998
         * b3 + 23.759999999999998 * b4 + 23.759999999999998 * b5 +
         23.759999999999998 * b6 + 23.759999999999998 * b7 + 23.759999999999998
         * b8 + 23.759999999999998 * b9 + 23.759999999999998 * b10 +
         23.759999999999998 * b11 + 23.759999999999998 * b12 +
         23.759999999999998 * b13 + 23.759999999999998 * b14 +
         23.759999999999998 * b15 + 23.759999999999998 * b16 +
         23.759999999999998 * b17 + 23.759999999999998 * b18 +
         23.759999999999998 * b19 + 23.759999999999998 * b20 +
         23.759999999999998 * b21 + 23.759999999999998 * b22 +
         23.759999999999998 * b23 + 23.759999999999998 * b24 +
         23.759999999999998 * b25 + 23.759999999999998 * b26 +
         23.759999999999998 * b27 + 23.759999999999998 * b28 +
         23.759999999999998 * b29 + 23.759999999999998 * b30 +
         23.759999999999998 * b31 + 23.759999999999998 * b32 +
         23.759999999999998 * b33 + 23.759999999999998 * b34 +
         23.759999999999998 * b35 + 23.759999999999998 * b36 +
         23.759999999999998 * b37 + 23.759999999999998 * b38 +
         23.759999999999998 * b39 + 23.759999999999998 * b40 +
         23.759999999999998 * b41 + 23.759999999999998 * b42 +
         23.759999999999998 * b43 + 23.759999999999998 * b44 +
         23.759999999999998 * b45 + 23.759999999999998 * b46 +
         23.759999999999998 * b47 + 23.759999999999998 * b48 +
         23.759999999999998 * b49 + 23.759999999999998 * b50 +
         23.759999999999998 * b51 + 23.759999999999998 * b52 +
         23.759999999999998 * b53 + 23.759999999999998 * b54 +
         23.759999999999998 * b55 + 23.759999999999998 * b56 +
         23.759999999999998 * b57 + 23.759999999999998 * b58 +
         23.759999999999998 * b59 + 23.759999999999998 * b60 +
         23.759999999999998 * b61 + 23.759999999999998 * b62 +
         23.759999999999998 * b63 + 23.759999999999998 * b64 +
         23.759999999999998 * b65 + 23.759999999999998 * b66 +
         23.759999999999998 * b67 + 23.759999999999998 * b68 +
         23.759999999999998 * b69 + 23.759999999999998 * b70 +
         23.759999999999998 * b71 + 23.759999999999998 * b72 +
         23.759999999999998 * b73 + 23.759999999999998 * b74 +
         23.759999999999998 * b75 + 23.759999999999998 * b76 +
         23.759999999999998 * b77 + 23.759999999999998 * b78 +
         23.759999999999998 * b79 + 23.759999999999998 * b80 +
         23.759999999999998 * b81 + 23.759999999999998 * b82 +
         23.759999999999998 * b83 + 23.759999999999998 * b84 +
         23.759999999999998 * b85 + 23.759999999999998 * b86 +
         23.759999999999998 * b87 + 23.759999999999998 * b88 +
         23.759999999999998 * b89 + 23.759999999999998 * b90 +
         23.759999999999998 * b91 + 23.759999999999998 * b92 +
         23.759999999999998 * b93 + 23.759999999999998 * b94 +
         23.759999999999998 * b95 + 23.759999999999998 * b96 +
         23.759999999999998 * b97 + 23.759999999999998 * b98 +
         23.759999999999998 * b99 + 23.759999999999998 * b100 +
         23.759999999999998 * b101 + 23.759999999999998 * b102 +
         23.759999999999998 * b103 + 23.759999999999998 * b104 +
         23.759999999999998 * b105 + 23.759999999999998 * b106 +
         23.759999999999998 * b107 + 23.759999999999998 * b108 +
         23.759999999999998 * b109 + 23.759999999999998 * b110 +
         23.759999999999998 * b111 + 23.759999999999998 * b112 +
         23.759999999999998 * b113 + 23.759999999999998 * b114 +
         23.759999999999998 * b115 + 23.759999999999998 * b116 +
         23.759999999999998 * b117 + 23.759999999999998 * b118 +
         23.759999999999998 * b119 + 23.759999999999998 * b120 +
         23.759999999999998 * b121 + 23.759999999999998 * b122 +
         23.759999999999998 * b123 + 23.759999999999998 * b124 +
         23.759999999999998 * b125 + 23.759999999999998 * b126 +
         23.759999999999998 * b127 + 23.759999999999998 * b128 +
         23.759999999999998 * b129 + 23.759999999999998 * b130 +
         23.759999999999998 * b131 + 23.759999999999998 * b132 +
         23.759999999999998 * b133 + 23.759999999999998 * b134 +
         23.759999999999998 * b135 + 23.759999999999998 * b136 +
         23.759999999999998 * b137 + 23.759999999999998 * b138 +
         23.759999999999998 * b139 + 23.759999999999998 * b140 +
         23.759999999999998 * b141 + 23.759999999999998 * b142 +
         23.759999999999998 * b143 + 23.759999999999998 * b144 +
         23.759999999999998 * b145 + 23.759999999999998 * b146 +
         23.759999999999998 * b147 + 23.759999999999998 * b148 +
         23.759999999999998 * b149 + 23.759999999999998 * b150 +
         23.759999999999998 * b151 + 23.759999999999998 * b152 +
         23.759999999999998 * b153 + 23.759999999999998 * b154 +
         23.759999999999998 * b155 + 23.759999999999998 * b156 +
         23.759999999999998 * b157 + 23.759999999999998 * b158 +
         23.759999999999998 * b159 + 23.759999999999998 * b160 +
         23.759999999999998 * b161 + 23.759999999999998 * b162 +
         23.759999999999998 * b163 + 23.759999999999998 * b164 +
         23.759999999999998 * b165 + 23.759999999999998 * b166 +
         23.759999999999998 * b167 + 23.759999999999998 * b168 +
         23.759999999999998 * b169 + 23.759999999999998 * b170 +
         23.759999999999998 * b171 + 23.759999999999998 * b172 +
         23.759999999999998 * b173 + 23.759999999999998 * b174 +
         23.759999999999998 * b175 + 23.759999999999998 * b176 +
         23.759999999999998 * b177 + 23.759999999999998 * b178 +
         23.759999999999998 * b179 + 23.759999999999998 * b180 +
         23.759999999999998 * b181 + 23.759999999999998 * b182 +
         23.759999999999998 * b183 + 23.759999999999998 * b184 +
         23.759999999999998 * b185 + 23.759999999999998 * b186 +
         23.759999999999998 * b187 + 23.759999999999998 * b188 +
         23.759999999999998 * b189 + 23.759999999999998 * b190 +
         23.759999999999998 * b191 + 23.759999999999998 * b192 +
         23.759999999999998 * b193 + 23.759999999999998 * b194 +
         23.759999999999998 * b195 + 23.759999999999998 * b196 +
         23.759999999999998 * b197 + 23.759999999999998 * b198 +
         23.759999999999998 * b199 + 23.759999999999998 * b200 +
         23.759999999999998 * b201 + 23.759999999999998 * b202 +
         23.759999999999998 * b203 + 23.759999999999998 * b204 +
         23.759999999999998 * b205 + 23.759999999999998 * b206 +
         23.759999999999998 * b207 + 23.759999999999998 * b208 +
         23.759999999999998 * b209 + 23.759999999999998 * b210 +
         23.759999999999998 * b211 + 23.759999999999998 * b212 +
         23.759999999999998 * b213 + 23.759999999999998 * b214 +
         23.759999999999998 * b215 + 23.759999999999998 * b216 +
         23.759999999999998 * b217 + 23.759999999999998 * b218 +
         23.759999999999998 * b219 + 23.759999999999998 * b220 +
         23.759999999999998 * b221 + 23.759999999999998 * b222 +
         23.759999999999998 * b223 + 23.759999999999998 * b224 +
         23.759999999999998 * b225 + 23.759999999999998 * b226 +
         23.759999999999998 * b227 + 23.759999999999998 * b228 +
         23.759999999999998 * b229 + 23.759999999999998 * b230 +
         23.759999999999998 * b231 + 23.759999999999998 * b232 +
         23.759999999999998 * b233 + 23.759999999999998 * b234 +
         23.759999999999998 * b235 + 23.759999999999998 * b236 +
         23.759999999999998 * b237 + 23.759999999999998 * b238 +
         23.759999999999998 * b239 + 23.759999999999998 * b240 +
         23.759999999999998 * b241 + 23.759999999999998 * b242 +
         23.759999999999998 * b243 + 23.759999999999998 * b244 +
         23.759999999999998 * b245 + 23.759999999999998 * b246 +
         23.759999999999998 * b247 + 23.759999999999998 * b248 +
         23.759999999999998 * b249 + 23.759999999999998 * b250 +
         23.759999999999998 * b251 + 23.759999999999998 * b252 +
         23.759999999999998 * b253 + 23.759999999999998 * b254 +
         23.759999999999998 * b255 + 23.759999999999998 * b256 +
         23.759999999999998 * b257 + 23.759999999999998 * b258 +
         23.759999999999998 * b259 + 23.759999999999998 * b260 +
         23.759999999999998 * b261 + 23.759999999999998 * b262 +
         23.759999999999998 * b263 + 23.759999999999998 * b264 +
         23.759999999999998 * b265 + 23.759999999999998 * b266 +
         23.759999999999998 * b267 + 23.759999999999998 * b268 +
         23.759999999999998 * b269 + 23.759999999999998 * b270 +
         23.759999999999998 * b271 + 23.759999999999998 * b272 +
         23.759999999999998 * b273 + 23.759999999999998 * b274 +
         23.759999999999998 * b275 + 23.759999999999998 * b276 +
         23.759999999999998 * b277 + 23.759999999999998 * b278 +
         23.759999999999998 * b279 + 23.759999999999998 * b280 +
         23.759999999999998 * b281 + 23.759999999999998 * b282 +
         23.759999999999998 * b283 + 23.759999999999998 * b284 +
         23.759999999999998 * b285 + 23.759999999999998 * b286 +
         23.759999999999998 * b287 + 23.759999999999998 * b288 +
         23.759999999999998 * b289 + 23.759999999999998 * b290 +
         23.759999999999998 * b291 + 23.759999999999998 * b292 +
         23.759999999999998 * b293 + 23.759999999999998 * b294 +
         23.759999999999998 * b295 + 23.759999999999998 * b296 +
         23.759999999999998 * b297 + 23.759999999999998 * b298 +
         23.759999999999998 * b299 + 23.759999999999998 * b300 +
         23.759999999999998 * b301 + 23.759999999999998 * b302 +
         23.759999999999998 * b303 + 23.759999999999998 * b304 +
         23.759999999999998 * b305 + 23.759999999999998 * b306 +
         23.759999999999998 * b307 + 23.759999999999998 * b308 +
         23.759999999999998 * b309 + 23.759999999999998 * b310 +
         23.759999999999998 * b311 + 23.759999999999998 * b312 +
         23.759999999999998 * b313 + 23.759999999999998 * b314 +
         23.759999999999998 * b315 + 23.759999999999998 * b316 +
         23.759999999999998 * b317 + 23.759999999999998 * b318 +
         23.759999999999998 * b319 + 23.759999999999998 * b320 +
         23.759999999999998 * b321 + 23.759999999999998 * b322 +
         23.759999999999998 * b323 + 23.759999999999998 * b324 +
         23.759999999999998 * b325 + 23.759999999999998 * b326 +
         23.759999999999998 * b327 + 23.759999999999998 * b328 +
         23.759999999999998 * b329 + 23.759999999999998 * b330 +
         23.759999999999998 * b331 + 23.759999999999998 * b332 +
         23.759999999999998 * b333 + 23.759999999999998 * b334 +
         23.759999999999998 * b335 + 23.759999999999998 * b336 +
         13.780799999999997 * x337 + 13.780799999999997 * x338 +
         13.780799999999997 * x339 + 13.780799999999997 * x340 +
         13.780799999999997 * x341 + 13.780799999999997 * x342 +
         6.890399999999999 * x343 + 6.890399999999999 * x344 +
         6.890399999999999 * x345 + 6.890399999999999 * x346 +
         6.890399999999999 * x347 + 6.890399999999999 * x348 + 14.7312 * x349
         + 14.7312 * x350 + 14.7312 * x351 + 14.7312 * x352 + 14.7312 * x353
         + 14.7312 * x354 + 15.6816 * x355 + 15.6816 * x356 + 15.6816 * x357
         + 15.6816 * x358 + 15.6816 * x359 + 15.6816 * x360 + 7.8408 * x361 +
         7.8408 * x362 + 7.8408 * x363 + 7.8408 * x364 + 7.8408 * x365 + 7.8408
         * x366 + 4.514399999999999 * x367 + 4.514399999999999 * x368 +
         4.514399999999999 * x369 + 4.514399999999999 * x370 +
         4.514399999999999 * x371 + 4.514399999999999 * x372 + 10.692 * x373 +
         10.692 * x374 + 10.692 * x375 + 10.692 * x376 + 10.692 * x377 + 10.692
         * x378 + 13.068 * x379 + 13.068 * x380 + 13.068 * x381 + 13.068 *
         x382 + 13.068 * x383 + 13.068 * x384 + 12.5928 * x385 + 12.5928 * x386
         + 12.5928 * x387 + 12.5928 * x388 + 12.5928 * x389 + 12.5928 * x390
         + 15.9192 * x391 + 15.9192 * x392 + 15.9192 * x393 + 15.9192 * x394
         + 15.9192 * x395 + 15.9192 * x396 + 14.018399999999998 * x397 +
         14.018399999999998 * x398 + 14.018399999999998 * x399 +
         14.018399999999998 * x400 + 14.018399999999998 * x401 +
         14.018399999999998 * x402 + 4.514399999999999 * x403 +
         4.514399999999999 * x404 + 4.514399999999999 * x405 +
         4.514399999999999 * x406 + 4.514399999999999 * x407 +
         4.514399999999999 * x408 + 8.315999999999999 * x409 +
         8.315999999999999 * x410 + 8.315999999999999 * x411 +
         8.315999999999999 * x412 + 8.315999999999999 * x413 +
         8.315999999999999 * x414 + 14.493599999999999 * x415 +
         14.493599999999999 * x416 + 14.493599999999999 * x417 +
         14.493599999999999 * x418 + 14.493599999999999 * x419 +
         14.493599999999999 * x420 + 7.127999999999999 * x421 +
         7.127999999999999 * x422 + 7.127999999999999 * x423 +
         7.127999999999999 * x424 + 7.127999999999999 * x425 +
         7.127999999999999 * x426 + 11.404799999999998 * x427 +
         11.404799999999998 * x428 + 11.404799999999998 * x429 +
         11.404799999999998 * x430 + 11.404799999999998 * x431 +
         11.404799999999998 * x432 + 13.068 * x433 + 13.068 * x434 + 13.068 *
         x435 + 13.068 * x436 + 13.068 * x437 + 13.068 * x438 + 17.1072 * x439
         + 17.1072 * x440 + 17.1072 * x441 + 17.1072 * x442 + 17.1072 * x443
         + 17.1072 * x444 + 16.631999999999998 * x445 + 16.631999999999998 *
         x446 + 16.631999999999998 * x447 + 16.631999999999998 * x448 +
         16.631999999999998 * x449 + 16.631999999999998 * x450 +
         8.315999999999999 * x451 + 8.315999999999999 * x452 +
         8.315999999999999 * x453 + 8.315999999999999 * x454 +
         8.315999999999999 * x455 + 8.315999999999999 * x456 + 13.068 * x457 +
         13.068 * x458 + 13.068 * x459 + 13.068 * x460 + 13.068 * x461 + 13.068
         * x462 + 18.295199999999998 * x463 + 18.295199999999998 * x464 +
         18.295199999999998 * x465 + 18.295199999999998 * x466 +
         18.295199999999998 * x467 + 18.295199999999998 * x468 + 10.4544 * x469
         + 10.4544 * x470 + 10.4544 * x471 + 10.4544 * x472 + 10.4544 * x473
         + 10.4544 * x474 + 14.255999999999998 * x475 + 14.255999999999998 *
         x476 + 14.255999999999998 * x477 + 14.255999999999998 * x478 +
         14.255999999999998 * x479 + 14.255999999999998 * x480 + 4.752 * x481
         + 4.752 * x482 + 4.752 * x483 + 4.752 * x484 + 4.752 * x485 + 4.752 *
         x486 + 5.464799999999999 * x487 + 5.464799999999999 * x488 +
         5.464799999999999 * x489 + 5.464799999999999 * x490 +
         5.464799999999999 * x491 + 5.464799999999999 * x492 + 17.82 * x493 +
         17.82 * x494 + 17.82 * x495 + 17.82 * x496 + 17.82 * x497 + 17.82 *
         x498 + 2.6136 * x499 + 2.6136 * x500 + 2.6136 * x501 + 2.6136 * x502
         + 2.6136 * x503 + 2.6136 * x504 + 9.028799999999999 * x505 +
         9.028799999999999 * x506 + 9.028799999999999 * x507 +
         9.028799999999999 * x508 + 9.028799999999999 * x509 +
         9.028799999999999 * x510 + 4.2768 * x511 + 4.2768 * x512 + 4.2768 *
         x513 + 4.2768 * x514 + 4.2768 * x515 + 4.2768 * x516 + 14.7312 * x517
         + 14.7312 * x518 + 14.7312 * x519 + 14.7312 * x520 + 14.7312 * x521
         + 14.7312 * x522 + 10.929599999999999 * x523 + 10.929599999999999 *
         x524 + 10.929599999999999 * x525 + 10.929599999999999 * x526 +
         10.929599999999999 * x527 + 10.929599999999999 * x528 +
         22.394399999999997 * x529 + 22.394399999999997 * x530 +
         22.394399999999997 * x531 + 22.394399999999997 * x532 +
         22.394399999999997 * x533 + 22.394399999999997 * x534 -
         47.229600000000005 * x535 - 47.229600000000005 * x536 -
         47.229600000000005 * x537 - 47.229600000000005 * x538 -
         47.229600000000005 * x539 - 47.229600000000005 * x540 - 55.9216 * x541
         - 55.9216 * x542 - 55.9216 * x543 - 55.9216 * x544 - 55.9216 * x545
         - 55.9216 * x546 + 12.1776 * x547 + 12.1776 * x548 + 12.1776 * x549
         + 12.1776 * x550 + 12.1776 * x551 + 12.1776 * x552 - 50.7936 * x553
         - 50.7936 * x554 - 50.7936 * x555 - 50.7936 * x556 - 50.7936 * x557
         - 50.7936 * x558 - 60.9112 * x559 - 60.9112 * x560 - 60.9112 * x561
         - 60.9112 * x562 - 60.9112 * x563 - 60.9112 * x564 +
         19.067999999999998 * x565 + 19.067999999999998 * x566 +
         19.067999999999998 * x567 + 19.067999999999998 * x568 +
         19.067999999999998 * x569 + 19.067999999999998 * x570 - 53.1696 * x571
         - 53.1696 * x572 - 53.1696 * x573 - 53.1696 * x574 - 53.1696 * x575
         - 53.1696 * x576 - 59.248 * x577 - 59.248 * x578 - 59.248 * x579 -
         59.248 * x580 - 59.248 * x581 - 59.248 * x582 + 13.8408 * x583 +
         13.8408 * x584 + 13.8408 * x585 + 13.8408 * x586 + 13.8408 * x587 +
         13.8408 * x588 - 58.1592 * x589 - 58.1592 * x590 - 58.1592 * x591 -
         58.1592 * x592 - 58.1592 * x593 - 58.1592 * x594 - 60.6736 * x595 -
         60.6736 * x596 - 60.6736 * x597 - 60.6736 * x598 - 60.6736 * x599 -
         60.6736 * x600 + 18.88 * x601 + 18.88 * x602 + 18.88 * x603 + 18.88 *
         x604 + 18.88 * x605 + 18.88 * x606 + 23.8696 * x607 + 23.8696 * x608
         + 23.8696 * x609 + 23.8696 * x610 + 23.8696 * x611 + 23.8696 * x612
         + 19.1176 * x613 + 19.1176 * x614 + 19.1176 * x615 + 19.1176 * x616
         + 19.1176 * x617 + 19.1176 * x618 + 16.503999999999998 * x619 +
         16.503999999999998 * x620 + 16.503999999999998 * x621 +
         16.503999999999998 * x622 + 16.503999999999998 * x623 +
         16.503999999999998 * x624 + 12.315999999999999 * x625 +
         12.315999999999999 * x626 + 12.315999999999999 * x627 +
         12.315999999999999 * x628 + 12.315999999999999 * x629 +
         12.315999999999999 * x630 + 12.0784 * x631 + 12.0784 * x632 + 12.0784
         * x633 + 12.0784 * x634 + 12.0784 * x635 + 12.0784 * x636 + 11.6032 *
         x637 + 11.6032 * x638 + 11.6032 * x639 + 11.6032 * x640 + 11.6032 *
         x641 + 11.6032 * x642 + 18.968799999999998 * x643 + 18.968799999999998
         * x644 + 18.968799999999998 * x645 + 18.968799999999998 * x646 +
         18.968799999999998 * x647 + 18.968799999999998 * x648 + 21.9192 * x649
         + 21.9192 * x650 + 21.9192 * x651 + 21.9192 * x652 + 21.9192 * x653
         + 21.9192 * x654 + 17.6424 * x655 + 17.6424 * x656 + 17.6424 * x657
         + 17.6424 * x658 + 17.6424 * x659 + 17.6424 * x660 + 25.008 * x661 +
         25.008 * x662 + 25.008 * x663 + 25.008 * x664 + 25.008 * x665 + 25.008
         * x666 + 20.0184 * x667 + 20.0184 * x668 + 20.0184 * x669 + 20.0184 *
         x670 + 20.0184 * x671 + 20.0184 * x672 + objvar =E= 0;

* set non-default bounds
x337.lo = 0; x337.up = 50;
x338.lo = 0; x338.up = 50;
x339.lo = 0; x339.up = 50;
x340.lo = 0; x340.up = 50;
x341.lo = 0; x341.up = 50;
x342.lo = 0; x342.up = 50;
x343.lo = 0; x343.up = 50;
x344.lo = 0; x344.up = 50;
x345.lo = 0; x345.up = 50;
x346.lo = 0; x346.up = 50;
x347.lo = 0; x347.up = 50;
x348.lo = 0; x348.up = 50;
x349.lo = 0; x349.up = 50;
x350.lo = 0; x350.up = 50;
x351.lo = 0; x351.up = 50;
x352.lo = 0; x352.up = 50;
x353.lo = 0; x353.up = 50;
x354.lo = 0; x354.up = 50;
x355.lo = 0; x355.up = 50;
x356.lo = 0; x356.up = 50;
x357.lo = 0; x357.up = 50;
x358.lo = 0; x358.up = 50;
x359.lo = 0; x359.up = 50;
x360.lo = 0; x360.up = 50;
x361.lo = 0; x361.up = 50;
x362.lo = 0; x362.up = 50;
x363.lo = 0; x363.up = 50;
x364.lo = 0; x364.up = 50;
x365.lo = 0; x365.up = 50;
x366.lo = 0; x366.up = 50;
x367.lo = 0; x367.up = 50;
x368.lo = 0; x368.up = 50;
x369.lo = 0; x369.up = 50;
x370.lo = 0; x370.up = 50;
x371.lo = 0; x371.up = 50;
x372.lo = 0; x372.up = 50;
x373.lo = 0; x373.up = 50;
x374.lo = 0; x374.up = 50;
x375.lo = 0; x375.up = 50;
x376.lo = 0; x376.up = 50;
x377.lo = 0; x377.up = 50;
x378.lo = 0; x378.up = 50;
x379.lo = 0; x379.up = 50;
x380.lo = 0; x380.up = 50;
x381.lo = 0; x381.up = 50;
x382.lo = 0; x382.up = 50;
x383.lo = 0; x383.up = 50;
x384.lo = 0; x384.up = 50;
x385.lo = 0; x385.up = 50;
x386.lo = 0; x386.up = 50;
x387.lo = 0; x387.up = 50;
x388.lo = 0; x388.up = 50;
x389.lo = 0; x389.up = 50;
x390.lo = 0; x390.up = 50;
x391.lo = 0; x391.up = 50;
x392.lo = 0; x392.up = 50;
x393.lo = 0; x393.up = 50;
x394.lo = 0; x394.up = 50;
x395.lo = 0; x395.up = 50;
x396.lo = 0; x396.up = 50;
x397.lo = 0; x397.up = 50;
x398.lo = 0; x398.up = 50;
x399.lo = 0; x399.up = 50;
x400.lo = 0; x400.up = 50;
x401.lo = 0; x401.up = 50;
x402.lo = 0; x402.up = 50;
x403.lo = 0; x403.up = 50;
x404.lo = 0; x404.up = 50;
x405.lo = 0; x405.up = 50;
x406.lo = 0; x406.up = 50;
x407.lo = 0; x407.up = 50;
x408.lo = 0; x408.up = 50;
x409.lo = 0; x409.up = 50;
x410.lo = 0; x410.up = 50;
x411.lo = 0; x411.up = 50;
x412.lo = 0; x412.up = 50;
x413.lo = 0; x413.up = 50;
x414.lo = 0; x414.up = 50;
x415.lo = 0; x415.up = 50;
x416.lo = 0; x416.up = 50;
x417.lo = 0; x417.up = 50;
x418.lo = 0; x418.up = 50;
x419.lo = 0; x419.up = 50;
x420.lo = 0; x420.up = 50;
x421.lo = 0; x421.up = 50;
x422.lo = 0; x422.up = 50;
x423.lo = 0; x423.up = 50;
x424.lo = 0; x424.up = 50;
x425.lo = 0; x425.up = 50;
x426.lo = 0; x426.up = 50;
x427.lo = 0; x427.up = 50;
x428.lo = 0; x428.up = 50;
x429.lo = 0; x429.up = 50;
x430.lo = 0; x430.up = 50;
x431.lo = 0; x431.up = 50;
x432.lo = 0; x432.up = 50;
x433.lo = 0; x433.up = 50;
x434.lo = 0; x434.up = 50;
x435.lo = 0; x435.up = 50;
x436.lo = 0; x436.up = 50;
x437.lo = 0; x437.up = 50;
x438.lo = 0; x438.up = 50;
x439.lo = 0; x439.up = 50;
x440.lo = 0; x440.up = 50;
x441.lo = 0; x441.up = 50;
x442.lo = 0; x442.up = 50;
x443.lo = 0; x443.up = 50;
x444.lo = 0; x444.up = 50;
x445.lo = 0; x445.up = 50;
x446.lo = 0; x446.up = 50;
x447.lo = 0; x447.up = 50;
x448.lo = 0; x448.up = 50;
x449.lo = 0; x449.up = 50;
x450.lo = 0; x450.up = 50;
x451.lo = 0; x451.up = 50;
x452.lo = 0; x452.up = 50;
x453.lo = 0; x453.up = 50;
x454.lo = 0; x454.up = 50;
x455.lo = 0; x455.up = 50;
x456.lo = 0; x456.up = 50;
x457.lo = 0; x457.up = 50;
x458.lo = 0; x458.up = 50;
x459.lo = 0; x459.up = 50;
x460.lo = 0; x460.up = 50;
x461.lo = 0; x461.up = 50;
x462.lo = 0; x462.up = 50;
x463.lo = 0; x463.up = 50;
x464.lo = 0; x464.up = 50;
x465.lo = 0; x465.up = 50;
x466.lo = 0; x466.up = 50;
x467.lo = 0; x467.up = 50;
x468.lo = 0; x468.up = 50;
x469.lo = 0; x469.up = 50;
x470.lo = 0; x470.up = 50;
x471.lo = 0; x471.up = 50;
x472.lo = 0; x472.up = 50;
x473.lo = 0; x473.up = 50;
x474.lo = 0; x474.up = 50;
x475.lo = 0; x475.up = 50;
x476.lo = 0; x476.up = 50;
x477.lo = 0; x477.up = 50;
x478.lo = 0; x478.up = 50;
x479.lo = 0; x479.up = 50;
x480.lo = 0; x480.up = 50;
x481.lo = 0; x481.up = 50;
x482.lo = 0; x482.up = 50;
x483.lo = 0; x483.up = 50;
x484.lo = 0; x484.up = 50;
x485.lo = 0; x485.up = 50;
x486.lo = 0; x486.up = 50;
x487.lo = 0; x487.up = 50;
x488.lo = 0; x488.up = 50;
x489.lo = 0; x489.up = 50;
x490.lo = 0; x490.up = 50;
x491.lo = 0; x491.up = 50;
x492.lo = 0; x492.up = 50;
x493.lo = 0; x493.up = 50;
x494.lo = 0; x494.up = 50;
x495.lo = 0; x495.up = 50;
x496.lo = 0; x496.up = 50;
x497.lo = 0; x497.up = 50;
x498.lo = 0; x498.up = 50;
x499.lo = 0; x499.up = 50;
x500.lo = 0; x500.up = 50;
x501.lo = 0; x501.up = 50;
x502.lo = 0; x502.up = 50;
x503.lo = 0; x503.up = 50;
x504.lo = 0; x504.up = 50;
x505.lo = 0; x505.up = 50;
x506.lo = 0; x506.up = 50;
x507.lo = 0; x507.up = 50;
x508.lo = 0; x508.up = 50;
x509.lo = 0; x509.up = 50;
x510.lo = 0; x510.up = 50;
x511.lo = 0; x511.up = 50;
x512.lo = 0; x512.up = 50;
x513.lo = 0; x513.up = 50;
x514.lo = 0; x514.up = 50;
x515.lo = 0; x515.up = 50;
x516.lo = 0; x516.up = 50;
x517.lo = 0; x517.up = 50;
x518.lo = 0; x518.up = 50;
x519.lo = 0; x519.up = 50;
x520.lo = 0; x520.up = 50;
x521.lo = 0; x521.up = 50;
x522.lo = 0; x522.up = 50;
x523.lo = 0; x523.up = 50;
x524.lo = 0; x524.up = 50;
x525.lo = 0; x525.up = 50;
x526.lo = 0; x526.up = 50;
x527.lo = 0; x527.up = 50;
x528.lo = 0; x528.up = 50;
x529.lo = 0; x529.up = 50;
x530.lo = 0; x530.up = 50;
x531.lo = 0; x531.up = 50;
x532.lo = 0; x532.up = 50;
x533.lo = 0; x533.up = 50;
x534.lo = 0; x534.up = 50;
x535.lo = 0; x535.up = 50;
x536.lo = 0; x536.up = 50;
x537.lo = 0; x537.up = 50;
x538.lo = 0; x538.up = 50;
x539.lo = 0; x539.up = 50;
x540.lo = 0; x540.up = 50;
x541.lo = 0; x541.up = 50;
x542.lo = 0; x542.up = 50;
x543.lo = 0; x543.up = 50;
x544.lo = 0; x544.up = 50;
x545.lo = 0; x545.up = 50;
x546.lo = 0; x546.up = 50;
x547.lo = 0; x547.up = 50;
x548.lo = 0; x548.up = 50;
x549.lo = 0; x549.up = 50;
x550.lo = 0; x550.up = 50;
x551.lo = 0; x551.up = 50;
x552.lo = 0; x552.up = 50;
x553.lo = 0; x553.up = 50;
x554.lo = 0; x554.up = 50;
x555.lo = 0; x555.up = 50;
x556.lo = 0; x556.up = 50;
x557.lo = 0; x557.up = 50;
x558.lo = 0; x558.up = 50;
x559.lo = 0; x559.up = 50;
x560.lo = 0; x560.up = 50;
x561.lo = 0; x561.up = 50;
x562.lo = 0; x562.up = 50;
x563.lo = 0; x563.up = 50;
x564.lo = 0; x564.up = 50;
x565.lo = 0; x565.up = 50;
x566.lo = 0; x566.up = 50;
x567.lo = 0; x567.up = 50;
x568.lo = 0; x568.up = 50;
x569.lo = 0; x569.up = 50;
x570.lo = 0; x570.up = 50;
x571.lo = 0; x571.up = 50;
x572.lo = 0; x572.up = 50;
x573.lo = 0; x573.up = 50;
x574.lo = 0; x574.up = 50;
x575.lo = 0; x575.up = 50;
x576.lo = 0; x576.up = 50;
x577.lo = 0; x577.up = 50;
x578.lo = 0; x578.up = 50;
x579.lo = 0; x579.up = 50;
x580.lo = 0; x580.up = 50;
x581.lo = 0; x581.up = 50;
x582.lo = 0; x582.up = 50;
x583.lo = 0; x583.up = 50;
x584.lo = 0; x584.up = 50;
x585.lo = 0; x585.up = 50;
x586.lo = 0; x586.up = 50;
x587.lo = 0; x587.up = 50;
x588.lo = 0; x588.up = 50;
x589.lo = 0; x589.up = 50;
x590.lo = 0; x590.up = 50;
x591.lo = 0; x591.up = 50;
x592.lo = 0; x592.up = 50;
x593.lo = 0; x593.up = 50;
x594.lo = 0; x594.up = 50;
x595.lo = 0; x595.up = 50;
x596.lo = 0; x596.up = 50;
x597.lo = 0; x597.up = 50;
x598.lo = 0; x598.up = 50;
x599.lo = 0; x599.up = 50;
x600.lo = 0; x600.up = 50;
x601.lo = 0; x601.up = 50;
x602.lo = 0; x602.up = 50;
x603.lo = 0; x603.up = 50;
x604.lo = 0; x604.up = 50;
x605.lo = 0; x605.up = 50;
x606.lo = 0; x606.up = 50;
x607.lo = 0; x607.up = 50;
x608.lo = 0; x608.up = 50;
x609.lo = 0; x609.up = 50;
x610.lo = 0; x610.up = 50;
x611.lo = 0; x611.up = 50;
x612.lo = 0; x612.up = 50;
x613.lo = 0; x613.up = 50;
x614.lo = 0; x614.up = 50;
x615.lo = 0; x615.up = 50;
x616.lo = 0; x616.up = 50;
x617.lo = 0; x617.up = 50;
x618.lo = 0; x618.up = 50;
x619.lo = 0; x619.up = 50;
x620.lo = 0; x620.up = 50;
x621.lo = 0; x621.up = 50;
x622.lo = 0; x622.up = 50;
x623.lo = 0; x623.up = 50;
x624.lo = 0; x624.up = 50;
x625.lo = 0; x625.up = 50;
x626.lo = 0; x626.up = 50;
x627.lo = 0; x627.up = 50;
x628.lo = 0; x628.up = 50;
x629.lo = 0; x629.up = 50;
x630.lo = 0; x630.up = 50;
x631.lo = 0; x631.up = 50;
x632.lo = 0; x632.up = 50;
x633.lo = 0; x633.up = 50;
x634.lo = 0; x634.up = 50;
x635.lo = 0; x635.up = 50;
x636.lo = 0; x636.up = 50;
x637.lo = 0; x637.up = 50;
x638.lo = 0; x638.up = 50;
x639.lo = 0; x639.up = 50;
x640.lo = 0; x640.up = 50;
x641.lo = 0; x641.up = 50;
x642.lo = 0; x642.up = 50;
x643.lo = 0; x643.up = 50;
x644.lo = 0; x644.up = 50;
x645.lo = 0; x645.up = 50;
x646.lo = 0; x646.up = 50;
x647.lo = 0; x647.up = 50;
x648.lo = 0; x648.up = 50;
x649.lo = 0; x649.up = 50;
x650.lo = 0; x650.up = 50;
x651.lo = 0; x651.up = 50;
x652.lo = 0; x652.up = 50;
x653.lo = 0; x653.up = 50;
x654.lo = 0; x654.up = 50;
x655.lo = 0; x655.up = 50;
x656.lo = 0; x656.up = 50;
x657.lo = 0; x657.up = 50;
x658.lo = 0; x658.up = 50;
x659.lo = 0; x659.up = 50;
x660.lo = 0; x660.up = 50;
x661.lo = 0; x661.up = 50;
x662.lo = 0; x662.up = 50;
x663.lo = 0; x663.up = 50;
x664.lo = 0; x664.up = 50;
x665.lo = 0; x665.up = 50;
x666.lo = 0; x666.up = 50;
x667.lo = 0; x667.up = 50;
x668.lo = 0; x668.up = 50;
x669.lo = 0; x669.up = 50;
x670.lo = 0; x670.up = 50;
x671.lo = 0; x671.up = 50;
x672.lo = 0; x672.up = 50;
x673.lo = 0; x673.up = 4.01;
x674.lo = 0; x674.up = 4.01;
x675.lo = 0; x675.up = 4.01;
x676.lo = 0; x676.up = 4.01;
x677.lo = 0; x677.up = 4.01;
x678.lo = 0; x678.up = 4.01;
x679.lo = 0; x679.up = 4.01;
x680.lo = 0; x680.up = 4.01;
x681.lo = 0; x681.up = 4.01;
x682.lo = 0; x682.up = 4.01;
x683.lo = 0; x683.up = 4.01;
x684.lo = 0; x684.up = 4.01;
x685.lo = 0; x685.up = 4.01;
x686.lo = 0; x686.up = 4.01;
x687.lo = 0; x687.up = 4.01;
x688.lo = 0; x688.up = 4.01;
x689.lo = 0; x689.up = 4.01;
x690.lo = 0; x690.up = 4.01;
x691.lo = 0; x691.up = 4.01;
x692.lo = 0; x692.up = 4.01;
x693.fx = 0;
x694.fx = 0;
x695.fx = 0;
x696.fx = 0;
x697.fx = 0;
x698.fx = 0;
x699.fx = 0;
x700.fx = 0;
x701.fx = 0;
x702.fx = 0;
x703.fx = 0;
x704.fx = 0;
x705.fx = 0;
x706.fx = 0;
x707.fx = 0;
x708.fx = 0;
x709.fx = 0;
x710.fx = 0;
x711.lo = 0; x711.up = 42;
x712.lo = 0; x712.up = 42;
x713.lo = 0; x713.up = 42;
x714.lo = 0; x714.up = 42;
x715.lo = 0; x715.up = 42;
x716.lo = 0; x716.up = 42;
x717.lo = 0; x717.up = 52;
x718.lo = 0; x718.up = 52;
x719.lo = 0; x719.up = 52;
x720.lo = 0; x720.up = 52;
x721.lo = 0; x721.up = 52;
x722.lo = 0; x722.up = 52;
x723.lo = 0; x723.up = 55;
x724.lo = 0; x724.up = 55;
x725.lo = 0; x725.up = 55;
x726.lo = 0; x726.up = 55;
x727.lo = 0; x727.up = 55;
x728.lo = 0; x728.up = 55;
x729.lo = 0; x729.up = 51;
x730.lo = 0; x730.up = 51;
x731.lo = 0; x731.up = 51;
x732.lo = 0; x732.up = 51;
x733.lo = 0; x733.up = 51;
x734.lo = 0; x734.up = 51;
x735.lo = 0; x735.up = 44;
x736.lo = 0; x736.up = 44;
x737.lo = 0; x737.up = 44;
x738.lo = 0; x738.up = 44;
x739.lo = 0; x739.up = 44;
x740.lo = 0; x740.up = 44;
x741.lo = 0; x741.up = 55;
x742.lo = 0; x742.up = 55;
x743.lo = 0; x743.up = 55;
x744.lo = 0; x744.up = 55;
x745.lo = 0; x745.up = 55;
x746.lo = 0; x746.up = 55;
x747.lo = 0; x747.up = 54;
x748.lo = 0; x748.up = 54;
x749.lo = 0; x749.up = 54;
x750.lo = 0; x750.up = 54;
x751.lo = 0; x751.up = 54;
x752.lo = 0; x752.up = 54;
x753.lo = 0; x753.up = 42;
x754.lo = 0; x754.up = 42;
x755.lo = 0; x755.up = 42;
x756.lo = 0; x756.up = 42;
x757.lo = 0; x757.up = 42;
x758.lo = 0; x758.up = 42;
x759.lo = 0; x759.up = 54;
x760.lo = 0; x760.up = 54;
x761.lo = 0; x761.up = 54;
x762.lo = 0; x762.up = 54;
x763.lo = 0; x763.up = 54;
x764.lo = 0; x764.up = 54;
x765.lo = 0; x765.up = 57;
x766.lo = 0; x766.up = 57;
x767.lo = 0; x767.up = 57;
x768.lo = 0; x768.up = 57;
x769.lo = 0; x769.up = 57;
x770.lo = 0; x770.up = 57;
x771.lo = 0; x771.up = 59;
x772.lo = 0; x772.up = 59;
x773.lo = 0; x773.up = 59;
x774.lo = 0; x774.up = 59;
x775.lo = 0; x775.up = 59;
x776.lo = 0; x776.up = 59;
x777.lo = 0; x777.up = 43;
x778.lo = 0; x778.up = 43;
x779.lo = 0; x779.up = 43;
x780.lo = 0; x780.up = 43;
x781.lo = 0; x781.up = 43;
x782.lo = 0; x782.up = 43;
x783.fx = 0;
x784.lo = 0; x784.up = 50;
x785.fx = 0;
x786.lo = 0; x786.up = 50;
x787.fx = 0;
x788.lo = 0; x788.up = 50;
x789.fx = 0;
x790.lo = 0; x790.up = 50;
x791.fx = 0;
x792.lo = 0; x792.up = 50;
x793.fx = 0;
x794.lo = 0; x794.up = 50;
x795.fx = 0;
x796.lo = 0; x796.up = 50;
x797.fx = 0;
x798.lo = 0; x798.up = 50;
x799.fx = 0;
x800.lo = 0; x800.up = 50;
x801.fx = 0;
x802.fx = 0;
x803.fx = 0;
x804.fx = 0;
x805.lo = 0; x805.up = 50;
x806.fx = 0;
x807.lo = 0; x807.up = 50;
x808.fx = 0;
x809.lo = 0; x809.up = 50;
x810.fx = 0;
x811.fx = 0;
x812.fx = 0;
x813.lo = 0; x813.up = 4.01;
x814.lo = 0; x814.up = 4.01;
x815.lo = 0; x815.up = 4.01;
x816.lo = 0; x816.up = 4.01;
x817.lo = 0; x817.up = 4.01;
x818.lo = 0; x818.up = 4.01;
x819.lo = 0; x819.up = 4.01;
x820.lo = 0; x820.up = 4.01;
x821.lo = 0; x821.up = 4.01;
x822.lo = 0; x822.up = 4.01;
x823.lo = 0; x823.up = 4.01;
x824.lo = 0; x824.up = 4.01;
x825.lo = 0; x825.up = 4.01;
x826.lo = 0; x826.up = 4.01;
x827.lo = 0; x827.up = 4.01;
x828.lo = 0; x828.up = 4.01;
x829.lo = 0; x829.up = 4.01;
x830.lo = 0; x830.up = 4.01;
x831.lo = 0; x831.up = 4.01;
x832.lo = 0; x832.up = 4.01;
x833.lo = 0; x833.up = 4.01;
x834.lo = 0; x834.up = 4.01;
x835.lo = 0; x835.up = 4.01;
x836.lo = 0; x836.up = 4.01;
x837.lo = 0; x837.up = 4.01;
x838.lo = 0; x838.up = 4.01;
x839.lo = 0; x839.up = 4.01;
x840.lo = 0; x840.up = 4.01;
x841.lo = 0; x841.up = 4.01;
x842.lo = 0; x842.up = 4.01;
x843.lo = 0; x843.up = 4.01;
x844.lo = 0; x844.up = 4.01;
x845.lo = 0; x845.up = 4.01;
x846.lo = 0; x846.up = 4.01;
x847.lo = 0; x847.up = 4.01;
x848.lo = 0; x848.up = 4.01;
x849.lo = 0; x849.up = 4.01;
x850.lo = 0; x850.up = 4.01;
x851.lo = 0; x851.up = 4.01;
x852.lo = 0; x852.up = 4.01;
x853.lo = 0; x853.up = 4.01;
x854.lo = 0; x854.up = 4.01;
x855.lo = 0; x855.up = 4.01;
x856.lo = 0; x856.up = 4.01;
x857.lo = 0; x857.up = 4.01;
x858.lo = 0; x858.up = 4.01;
x859.lo = 0; x859.up = 4.01;
x860.lo = 0; x860.up = 4.01;
x861.lo = 0; x861.up = 4.01;
x862.lo = 0; x862.up = 4.01;
x863.lo = 0; x863.up = 4.01;
x864.lo = 0; x864.up = 4.01;
x866.lo = 10; x866.up = 50;
x867.lo = 15; x867.up = 50;
x868.lo = 5; x868.up = 50;
x869.lo = 5; x869.up = 50;
x870.lo = 7; x870.up = 50;
x871.lo = 13; x871.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