MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance kan_r5_h1_n3
Optimization of a trained Kolmogorov-Arnold Network as a surrogate model of the 5-dimensional Rosenbrock function
Formatsⓘ | ams gms mod nl osil py |
Primal Bounds (infeas ≤ 1e-08)ⓘ | |
Other points (infeas > 1e-08)ⓘ | |
Dual Boundsⓘ | -7131.61842700 (SCIP) |
Referencesⓘ | Karia, Tanuj, Lastrucci, Giacomo, and Schweidtmann, Artur M., Deterministic Global Optimization over trained Kolmogorov Arnold Networks, Tech. Rep., 2025. |
Applicationⓘ | Machine Learning |
Added to libraryⓘ | 07 May 2025 |
Problem typeⓘ | MBNLP |
#Variablesⓘ | 838 |
#Binary Variablesⓘ | 216 |
#Integer Variablesⓘ | 0 |
#Nonlinear Variablesⓘ | 612 |
#Nonlinear Binary Variablesⓘ | 216 |
#Nonlinear Integer Variablesⓘ | 0 |
Objective Senseⓘ | min |
Objective typeⓘ | linear |
Objective curvatureⓘ | linear |
#Nonzeros in Objectiveⓘ | 1 |
#Nonlinear Nonzeros in Objectiveⓘ | 0 |
#Constraintsⓘ | 1121 |
#Linear Constraintsⓘ | 563 |
#Quadratic Constraintsⓘ | 540 |
#Polynomial Constraintsⓘ | 0 |
#Signomial Constraintsⓘ | 0 |
#General Nonlinear Constraintsⓘ | 18 |
Operands in Gen. Nonlin. Functionsⓘ | div exp |
Constraints curvatureⓘ | indefinite |
#Nonzeros in Jacobianⓘ | 4074 |
#Nonlinear Nonzeros in Jacobianⓘ | 1638 |
#Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1206 |
#Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 18 |
#Blocks in Hessian of Lagrangianⓘ | 18 |
Minimal blocksize in Hessian of Lagrangianⓘ | 34 |
Maximal blocksize in Hessian of Lagrangianⓘ | 34 |
Average blocksize in Hessian of Lagrangianⓘ | 34.0 |
#Semicontinuitiesⓘ | 0 |
#Nonlinear Semicontinuitiesⓘ | 0 |
#SOS type 1ⓘ | 0 |
#SOS type 2ⓘ | 0 |
Minimal coefficientⓘ | 1.0885e-03 |
Maximal coefficientⓘ | 1.4396e+03 |
Infeasibility of initial pointⓘ | 1976 |
Sparsity Jacobianⓘ | ![]() |
Sparsity Hessian of Lagrangianⓘ | ![]() |
$offlisting * * Equation counts * Total E G L N X C B * 1122 690 0 432 0 0 0 0 * * Variable counts * x b i s1s s2s sc si * Total cont binary integer sos1 sos2 scont sint * 839 623 216 0 0 0 0 0 * FX 0 * * Nonzero counts * Total const NL * 4076 2438 1638 * Solve m using MINLP minimizing 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,x217, x218,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232, x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247, x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261,x262, x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276,x277, x278,x279,x280,x281,x282,x283,x284,x285,x286,x287,x288,x289,x290,x291,x292, x293,x294,x295,x296,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307, x308,x309,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322, x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337, x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351,x352, x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366,x367, x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381,x382, x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397, x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412, x413,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427, x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442, x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456,x457, x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471,x472, x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484,x485,x486,x487, x488,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502, x503,x504,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517, x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532, x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546,x547, x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561,x562, x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576,x577, x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592, x593,x594,x595,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607, x608,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622, x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636,x637, x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650,x651,x652, x653,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663,x664,x665,x666,x667, x668,x669,x670,x671,x672,x673,x674,x675,x676,x677,x678,x679,x680,x681,x682, x683,x684,x685,x686,x687,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697, x698,x699,x700,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712, x713,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726,x727, x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740,x741,x742, x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753,x754,x755,x756, objvar,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; Positive Variables x217,x218,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231, x232,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246, x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261, x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276, x277,x278,x279,x280,x281,x282,x283,x284,x285,x286,x287,x288,x289,x290,x291, x292,x293,x294,x295,x296,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306, x307,x308,x309,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321, x322,x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336, x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351, x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366, x367,x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380,x381, x382,x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393,x394,x395,x396, x397,x398,x399,x400,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411, x412,x413,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426, x427,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441, x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456, x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471, x472,x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484,x485,x486, x487,x488,x489,x490,x491,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501, x502,x503,x504,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516, x517,x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531, x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546, x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561, x562,x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575,x576, x577,x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588,x589,x590,x591, x592,x593,x594,x595,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606, x607,x608,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621, x622,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636, x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650,x651, x652,x653,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663,x664,x665,x666, x667,x668,x669,x670,x671,x672,x673,x674,x675,x676,x677,x678,x679,x680,x681, x682,x683,x684,x685,x686,x687,x688,x689,x690,x691,x692,x693,x694,x695,x696, x697,x698,x699,x700,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711, x712,x713,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726, x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740,x741, x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753,x754,x755,x756; 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; 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; e1.. x758 - x759 - x760 - x761 - x762 - x763 =E= 1.6306037511346265; e2.. x764 - x765 - x766 - x767 - x768 - x769 =E= 0.7829793421435316; e3.. x770 - x771 - x772 - x773 - x774 - x775 =E= 0.08793407097968728; e4.. 1.1796167609850992 * x776 - x777 =E= -0.003910886333986257; e5.. 1.1906582391996827 * x778 - x779 =E= -0.040581535671445436; e6.. 1.1875939143242935 * x780 - x781 =E= 0.007639655534799856; e7.. 1.1834323270778877 * x782 - x783 =E= 0.0015423189556109812; e8.. 1.1904312355434152 * x784 - x785 =E= -0.003935472016709817; e9.. -x776 + x786 =E= 0; e10.. -x776 + x787 =E= 0; e11.. -x778 + x788 =E= 0; e12.. -x778 + x789 =E= 0; e13.. -x780 + x790 =E= 0; e14.. -x780 + x791 =E= 0; e15.. -x782 + x792 =E= 0; e16.. -x782 + x793 =E= 0; e17.. -x784 + x794 =E= 0; e18.. -x784 + x795 =E= 0; e19.. -x776 =L= 3.494577894146449; e20.. 6.399364317783533 * b1 + x776 =L= 3.4865468161628597; e21.. 0.5817603925257755 * b2 - x776 =L= 3.494577894146449; e22.. 5.817603925257757 * b2 + x776 =L= 3.4865468161628597; e23.. 1.1635207850515514 * b3 - x776 =L= 3.494577894146449; e24.. 5.235843532731981 * b3 + x776 =L= 3.4865468161628597; e25.. 1.7452811775773271 * b4 - x776 =L= 3.494577894146449; e26.. 4.654083140206206 * b4 + x776 =L= 3.4865468161628597; e27.. 2.327041570103103 * b5 - x776 =L= 3.494577894146449; e28.. 4.07232274768043 * b5 + x776 =L= 3.4865468161628597; e29.. 2.9088019626288784 * b6 - x776 =L= 3.494577894146449; e30.. 3.4905623551546543 * b6 + x776 =L= 3.4865468161628597; e31.. 3.4905623551546543 * b7 - x776 =L= 3.494577894146449; e32.. 2.9088019626288784 * b7 + x776 =L= 3.4865468161628597; e33.. 4.07232274768043 * b8 - x776 =L= 3.494577894146449; e34.. 2.327041570103103 * b8 + x776 =L= 3.4865468161628597; e35.. 4.654083140206206 * b9 - x776 =L= 3.494577894146449; e36.. 1.7452811775773271 * b9 + x776 =L= 3.4865468161628597; e37.. 5.235843532731981 * b10 - x776 =L= 3.494577894146449; e38.. 1.1635207850515514 * b10 + x776 =L= 3.4865468161628597; e39.. 5.817603925257757 * b11 - x776 =L= 3.494577894146449; e40.. 0.5817603925257755 * b11 + x776 =L= 3.4865468161628597; e41.. 6.399364317783533 * b12 - x776 =L= 3.494577894146449; e42.. x776 =L= 3.4865468161628597; e43.. b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 =E= 1; e44.. -b1 * (6.006902393224746 + 1.7189207323970477 * x776) - b2 * ( -4.006902393224743 - 1.7189207323970463 * x776) + x217 =E= 0; e45.. -b2 * (5.006902393224743 + 1.7189207323970463 * x776) - b3 * ( -3.0069023932247445 - 1.718920732397047 * x776) + x218 =E= 0; e46.. -b3 * (4.0069023932247445 + 1.718920732397047 * x776) - b4 * ( -2.0069023932247445 - 1.718920732397047 * x776) + x219 =E= 0; e47.. -b4 * (3.0069023932247445 + 1.718920732397047 * x776) - b5 * ( -1.0069023932247445 - 1.718920732397047 * x776) + x220 =E= 0; e48.. -b5 * (2.0069023932247445 + 1.718920732397047 * x776) - b6 * ( -0.006902393224744528 - 1.718920732397047 * x776) + x221 =E= 0; e49.. -b6 * (1.0069023932247445 + 1.718920732397047 * x776) - b7 * ( 0.9930976067752554 - 1.718920732397047 * x776) + x222 =E= 0; e50.. -b7 * (0.006902393224744528 + 1.718920732397047 * x776) - b8 * ( 1.9930976067752557 - 1.7189207323970477 * x776) + x223 =E= 0; e51.. -b8 * (-0.9930976067752558 + 1.7189207323970477 * x776) - b9 * ( 2.993097606775254 - 1.7189207323970463 * x776) + x224 =E= 0; e52.. -b9 * (-1.9930976067752542 + 1.7189207323970463 * x776) - b10 * ( 3.993097606775255 - 1.718920732397047 * x776) + x225 =E= 0; e53.. -b10 * (-2.9930976067752555 + 1.718920732397047 * x776) - b11 * ( 4.993097606775254 - 1.7189207323970463 * x776) + x226 =E= 0; e54.. -b11 * (-3.9930976067752537 + 1.7189207323970463 * x776) - b12 * ( 5.993097606775257 - 1.7189207323970477 * x776) + x227 =E= 0; e55.. -x217 * (3.0034511966123723 + 0.8594603661985235 * x776) - x218 * ( -1.503451196612372 - 0.8594603661985234 * x776) + x228 =E= 0; e56.. -x218 * (2.503451196612372 + 0.8594603661985234 * x776) - x219 * ( -1.0034511966123723 - 0.8594603661985235 * x776) + x229 =E= 0; e57.. -x219 * (2.0034511966123723 + 0.8594603661985235 * x776) - x220 * ( -0.5034511966123723 - 0.8594603661985235 * x776) + x230 =E= 0; e58.. -x220 * (1.5034511966123723 + 0.8594603661985235 * x776) - x221 * ( -0.003451196612372264 - 0.8594603661985235 * x776) + x231 =E= 0; e59.. -x221 * (1.0034511966123723 + 0.8594603661985235 * x776) - x222 * ( 0.4965488033876277 - 0.8594603661985235 * x776) + x232 =E= 0; e60.. -x222 * (0.5034511966123723 + 0.8594603661985235 * x776) - x223 * ( 0.9965488033876277 - 0.8594603661985237 * x776) + x233 =E= 0; e61.. -x223 * (0.003451196612372265 + 0.8594603661985237 * x776) - x224 * ( 1.4965488033876277 - 0.8594603661985235 * x776) + x234 =E= 0; e62.. -x224 * (-0.4965488033876277 + 0.8594603661985235 * x776) - x225 * ( 1.9965488033876273 - 0.8594603661985234 * x776) + x235 =E= 0; e63.. -x225 * (-0.9965488033876274 + 0.8594603661985234 * x776) - x226 * ( 2.4965488033876273 - 0.8594603661985234 * x776) + x236 =E= 0; e64.. -x226 * (-1.4965488033876275 + 0.8594603661985234 * x776) - x227 * ( 2.9965488033876277 - 0.8594603661985235 * x776) + x237 =E= 0; e65.. -x228 * (2.002300797741581 + 0.5729735774656823 * x776) - x229 * ( -0.6689674644082482 - 0.5729735774656823 * x776) + x238 =E= 0; e66.. -x229 * (1.6689674644082482 + 0.5729735774656823 * x776) - x230 * ( -0.3356341310749148 - 0.5729735774656823 * x776) + x239 =E= 0; e67.. -x230 * (1.3356341310749147 + 0.5729735774656823 * x776) - x231 * ( -0.002300797741581509 - 0.5729735774656823 * x776) + x240 =E= 0; e68.. -x231 * (1.0023007977415814 + 0.5729735774656823 * x776) - x232 * ( 0.33103253559175183 - 0.5729735774656823 * x776) + x241 =E= 0; e69.. -x232 * (0.6689674644082482 + 0.5729735774656823 * x776) - x233 * ( 0.6643658689250851 - 0.5729735774656824 * x776) + x242 =E= 0; e70.. -x233 * (0.3356341310749149 + 0.5729735774656824 * x776) - x234 * ( 0.9976992022584185 - 0.5729735774656823 * x776) + x243 =E= 0; e71.. -x234 * (0.002300797741581509 + 0.5729735774656823 * x776) - x235 * ( 1.3310325355917518 - 0.5729735774656823 * x776) + x244 =E= 0; e72.. -x235 * (-0.33103253559175183 + 0.5729735774656823 * x776) - x236 * ( 1.6643658689250849 - 0.5729735774656822 * x776) + x245 =E= 0; e73.. -x236 * (-0.6643658689250849 + 0.5729735774656822 * x776) - x237 * ( 1.9976992022584183 - 0.5729735774656823 * x776) + x246 =E= 0; e74.. 0.8105441867479718 * x238 - 0.13082742282301005 * x239 - 0.5007919986999992 * x240 - 0.6389881770187696 * x241 - 0.6269615276184964 * x242 - 0.56384896765125 * x243 - 0.35616076246858436 * x244 + 0.14087212567164245 * x245 + 0.7966896667187185 * x246 - x796 =E= 0; e75.. -x776 / (exp(-x776) + 1) + x797 =E= 0; e76.. x759 - 1.1038951863754716 * x796 + 0.1461246953520612 * x797 =E= 0; e77.. x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 =E= 1; e78.. x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 =E= 1; e79.. x238 + x239 + x240 + x241 + x242 + x243 + x244 + x245 + x246 =E= 1; e80.. -x778 =L= 3.4933883986386065; e81.. 6.3420594008629205 * b13 + x778 =L= 3.4252218568482165; e82.. 0.576550854623902 * b14 - x778 =L= 3.4933883986386065; e83.. 5.765508546239019 * b14 + x778 =L= 3.4252218568482165; e84.. 1.153101709247804 * b15 - x778 =L= 3.4933883986386065; e85.. 5.188957691615117 * b15 + x778 =L= 3.4252218568482165; e86.. 1.7296525638717057 * b16 - x778 =L= 3.4933883986386065; e87.. 4.612406836991216 * b16 + x778 =L= 3.4252218568482165; e88.. 2.3062034184956075 * b17 - x778 =L= 3.4933883986386065; e89.. 4.0358559823673135 * b17 + x778 =L= 3.4252218568482165; e90.. 2.8827542731195095 * b18 - x778 =L= 3.4933883986386065; e91.. 3.4593051277434115 * b18 + x778 =L= 3.4252218568482165; e92.. 3.4593051277434115 * b19 - x778 =L= 3.4933883986386065; e93.. 2.8827542731195095 * b19 + x778 =L= 3.4252218568482165; e94.. 4.0358559823673135 * b20 - x778 =L= 3.4933883986386065; e95.. 2.306203418495608 * b20 + x778 =L= 3.4252218568482165; e96.. 4.612406836991215 * b21 - x778 =L= 3.4933883986386065; e97.. 1.7296525638717057 * b21 + x778 =L= 3.4252218568482165; e98.. 5.188957691615117 * b22 - x778 =L= 3.4933883986386065; e99.. 1.153101709247804 * b22 + x778 =L= 3.4252218568482165; e100.. 5.765508546239019 * b23 - x778 =L= 3.4933883986386065; e101.. 0.576550854623902 * b23 + x778 =L= 3.4252218568482165; e102.. 6.3420594008629205 * b24 - x778 =L= 3.4933883986386065; e103.. x778 =L= 3.4252218568482165; e104.. b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 =E= 1; e105.. -b13 * (6.05911581020451 + 1.7344523765424371 * x778) - b14 * ( -4.05911581020451 - 1.7344523765424371 * x778) + x247 =E= 0; e106.. -b14 * (5.05911581020451 + 1.7344523765424371 * x778) - b15 * ( -3.0591158102045113 - 1.7344523765424378 * x778) + x248 =E= 0; e107.. -b15 * (4.059115810204512 + 1.7344523765424378 * x778) - b16 * ( -2.0591158102045113 - 1.7344523765424378 * x778) + x249 =E= 0; e108.. -b16 * (3.0591158102045113 + 1.7344523765424378 * x778) - b17 * ( -1.0591158102045106 - 1.7344523765424371 * x778) + x250 =E= 0; e109.. -b17 * (2.059115810204511 + 1.7344523765424371 * x778) - b18 * ( -0.0591158102045107 - 1.7344523765424371 * x778) + x251 =E= 0; e110.. -b18 * (1.0591158102045106 + 1.7344523765424371 * x778) - b19 * ( 0.9408841897954893 - 1.7344523765424378 * x778) + x252 =E= 0; e111.. -b19 * (0.05911581020451072 + 1.7344523765424378 * x778) - b20 * ( 1.940884189795489 - 1.7344523765424371 * x778) + x253 =E= 0; e112.. -b20 * (-0.9408841897954889 + 1.7344523765424371 * x778) - b21 * ( 2.9408841897954887 - 1.7344523765424371 * x778) + x254 =E= 0; e113.. -b21 * (-1.940884189795489 + 1.7344523765424371 * x778) - b22 * ( 3.94088418979549 - 1.7344523765424378 * x778) + x255 =E= 0; e114.. -b22 * (-2.94088418979549 + 1.7344523765424378 * x778) - b23 * ( 4.940884189795488 - 1.7344523765424371 * x778) + x256 =E= 0; e115.. -b23 * (-3.9408841897954883 + 1.7344523765424371 * x778) - b24 * ( 5.940884189795488 - 1.7344523765424371 * x778) + x257 =E= 0; e116.. -x247 * (3.029557905102255 + 0.8672261882712186 * x778) - x248 * ( -1.5295579051022554 - 0.8672261882712188 * x778) + x258 =E= 0; e117.. -x248 * (2.5295579051022554 + 0.8672261882712188 * x778) - x249 * ( -1.0295579051022556 - 0.8672261882712189 * x778) + x259 =E= 0; e118.. -x249 * (2.029557905102256 + 0.8672261882712189 * x778) - x250 * ( -0.5295579051022554 - 0.8672261882712188 * x778) + x260 =E= 0; e119.. -x250 * (1.5295579051022554 + 0.8672261882712188 * x778) - x251 * ( -0.02955790510225535 - 0.8672261882712186 * x778) + x261 =E= 0; e120.. -x251 * (1.0295579051022554 + 0.8672261882712186 * x778) - x252 * ( 0.4704420948977446 - 0.8672261882712188 * x778) + x262 =E= 0; e121.. -x252 * (0.5295579051022554 + 0.8672261882712188 * x778) - x253 * ( 0.9704420948977447 - 0.8672261882712188 * x778) + x263 =E= 0; e122.. -x253 * (0.029557905102255356 + 0.8672261882712188 * x778) - x254 * ( 1.4704420948977444 - 0.8672261882712186 * x778) + x264 =E= 0; e123.. -x254 * (-0.47044209489774447 + 0.8672261882712186 * x778) - x255 * ( 1.9704420948977448 - 0.8672261882712188 * x778) + x265 =E= 0; e124.. -x255 * (-0.9704420948977447 + 0.8672261882712188 * x778) - x256 * ( 2.470442094897745 - 0.8672261882712188 * x778) + x266 =E= 0; e125.. -x256 * (-1.4704420948977448 + 0.8672261882712188 * x778) - x257 * ( 2.970442094897744 - 0.8672261882712186 * x778) + x267 =E= 0; e126.. -x258 * (2.01970527006817 + 0.5781507921808124 * x778) - x259 * ( -0.6863719367348371 - 0.5781507921808126 * x778) + x268 =E= 0; e127.. -x259 * (1.686371936734837 + 0.5781507921808126 * x778) - x260 * ( -0.35303860340150367 - 0.5781507921808126 * x778) + x269 =E= 0; e128.. -x260 * (1.3530386034015036 + 0.5781507921808126 * x778) - x261 * ( -0.019705270068170234 - 0.5781507921808124 * x778) + x270 =E= 0; e129.. -x261 * (1.0197052700681701 + 0.5781507921808124 * x778) - x262 * ( 0.313628063265163 - 0.5781507921808124 * x778) + x271 =E= 0; e130.. -x262 * (0.686371936734837 + 0.5781507921808124 * x778) - x263 * ( 0.6469613965984964 - 0.5781507921808124 * x778) + x272 =E= 0; e131.. -x263 * (0.3530386034015036 + 0.5781507921808124 * x778) - x264 * ( 0.9802947299318298 - 0.5781507921808124 * x778) + x273 =E= 0; e132.. -x264 * (0.019705270068170234 + 0.5781507921808124 * x778) - x265 * ( 1.313628063265163 - 0.5781507921808124 * x778) + x274 =E= 0; e133.. -x265 * (-0.313628063265163 + 0.5781507921808124 * x778) - x266 * ( 1.6469613965984964 - 0.5781507921808124 * x778) + x275 =E= 0; e134.. -x266 * (-0.6469613965984964 + 0.5781507921808124 * x778) - x267 * ( 1.9802947299318296 - 0.5781507921808124 * x778) + x276 =E= 0; e135.. 0.7741951499872595 * x268 + 1.2645227598534905 * x269 + 0.48350632836918433 * x270 + 0.2250200503260894 * x271 - 0.10143796971238421 * x272 - 0.18804149225167505 * x273 - 0.5495456633641814 * x274 - 1.1087027257969848 * x275 + 0.3186863702514337 * x276 - x798 =E= 0; e136.. -x778 / (exp(-x778) + 1) + x799 =E= 0; e137.. x760 - 0.6656794530100663 * x798 - 0.25433596582340423 * x799 =E= 0; e138.. x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 =E= 1; e139.. x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 =E= 1; e140.. x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 =E= 1; e141.. -x780 =L= 3.4622426273917184; e142.. 6.359219297851837 * b25 + x780 =L= 3.4750875157193764; e143.. 0.5781108452592578 * b26 - x780 =L= 3.4622426273917184; e144.. 5.781108452592579 * b26 + x780 =L= 3.4750875157193764; e145.. 1.1562216905185156 * b27 - x780 =L= 3.4622426273917184; e146.. 5.202997607333321 * b27 + x780 =L= 3.4750875157193764; e147.. 1.7343325357777737 * b28 - x780 =L= 3.4622426273917184; e148.. 4.6248867620740635 * b28 + x780 =L= 3.4750875157193764; e149.. 2.3124433810370313 * b29 - x780 =L= 3.4622426273917184; e150.. 4.046775916814806 * b29 + x780 =L= 3.4750875157193764; e151.. 2.890554226296289 * b30 - x780 =L= 3.4622426273917184; e152.. 3.4686650715555474 * b30 + x780 =L= 3.4750875157193764; e153.. 3.4686650715555474 * b31 - x780 =L= 3.4622426273917184; e154.. 2.89055422629629 * b31 + x780 =L= 3.4750875157193764; e155.. 4.046775916814805 * b32 - x780 =L= 3.4622426273917184; e156.. 2.312443381037032 * b32 + x780 =L= 3.4750875157193764; e157.. 4.624886762074063 * b33 - x780 =L= 3.4622426273917184; e158.. 1.7343325357777737 * b33 + x780 =L= 3.4750875157193764; e159.. 5.202997607333321 * b34 - x780 =L= 3.4622426273917184; e160.. 1.1562216905185156 * b34 + x780 =L= 3.4750875157193764; e161.. 5.781108452592579 * b35 - x780 =L= 3.4622426273917184; e162.. 0.5781108452592578 * b35 + x780 =L= 3.4750875157193764; e163.. 6.359219297851837 * b36 - x780 =L= 3.4622426273917184; e164.. x780 =L= 3.4750875157193764; e165.. b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 =E= 1; e166.. -b25 * (5.988890635391993 + 1.729772081254665 * x780) - b26 * ( -3.9888906353919924 - 1.729772081254665 * x780) + x277 =E= 0; e167.. -b26 * (4.988890635391993 + 1.729772081254665 * x780) - b27 * ( -2.988890635391991 - 1.7297720812546644 * x780) + x278 =E= 0; e168.. -b27 * (3.988890635391991 + 1.7297720812546644 * x780) - b28 * ( -1.9888906353919922 - 1.729772081254665 * x780) + x279 =E= 0; e169.. -b28 * (2.988890635391992 + 1.729772081254665 * x780) - b29 * ( -0.9888906353919921 - 1.729772081254665 * x780) + x280 =E= 0; e170.. -b29 * (1.9888906353919922 + 1.729772081254665 * x780) - b30 * ( 0.011109364608008323 - 1.7297720812546644 * x780) + x281 =E= 0; e171.. -b30 * (0.9888906353919917 + 1.7297720812546644 * x780) - b31 * ( 1.0111093646080083 - 1.7297720812546657 * x780) + x282 =E= 0; e172.. -b31 * (-0.011109364608008331 + 1.7297720812546657 * x780) - b32 * ( 2.011109364608008 - 1.729772081254665 * x780) + x283 =E= 0; e173.. -b32 * (-1.011109364608008 + 1.729772081254665 * x780) - b33 * ( 3.0111093646080067 - 1.7297720812546638 * x780) + x284 =E= 0; e174.. -b33 * (-2.0111093646080063 + 1.7297720812546638 * x780) - b34 * ( 4.011109364608008 - 1.7297720812546644 * x780) + x285 =E= 0; e175.. -b34 * (-3.0111093646080076 + 1.7297720812546644 * x780) - b35 * ( 5.011109364608009 - 1.729772081254665 * x780) + x286 =E= 0; e176.. -b35 * (-4.011109364608009 + 1.729772081254665 * x780) - b36 * ( 6.011109364608009 - 1.729772081254665 * x780) + x287 =E= 0; e177.. -x277 * (2.9944453176959964 + 0.8648860406273325 * x780) - x278 * ( -1.4944453176959958 - 0.8648860406273323 * x780) + x288 =E= 0; e178.. -x278 * (2.4944453176959955 + 0.8648860406273323 * x780) - x279 * ( -0.9944453176959958 - 0.8648860406273323 * x780) + x289 =E= 0; e179.. -x279 * (1.9944453176959958 + 0.8648860406273323 * x780) - x280 * ( -0.49444531769599603 - 0.8648860406273325 * x780) + x290 =E= 0; e180.. -x280 * (1.494445317695996 + 0.8648860406273325 * x780) - x281 * ( 0.005554682304004162 - 0.8648860406273323 * x780) + x291 =E= 0; e181.. -x281 * (0.9944453176959958 + 0.8648860406273323 * x780) - x282 * ( 0.505554682304004 - 0.8648860406273325 * x780) + x292 =E= 0; e182.. -x282 * (0.49444531769599603 + 0.8648860406273325 * x780) - x283 * ( 1.0055546823040042 - 0.8648860406273327 * x780) + x293 =E= 0; e183.. -x283 * (-0.005554682304004165 + 0.8648860406273327 * x780) - x284 * ( 1.5055546823040038 - 0.8648860406273322 * x780) + x294 =E= 0; e184.. -x284 * (-0.5055546823040038 + 0.8648860406273322 * x780) - x285 * ( 2.005554682304003 - 0.864886040627332 * x780) + x295 =E= 0; e185.. -x285 * (-1.0055546823040034 + 0.864886040627332 * x780) - x286 * ( 2.505554682304004 - 0.8648860406273323 * x780) + x296 =E= 0; e186.. -x286 * (-1.505554682304004 + 0.8648860406273323 * x780) - x287 * ( 3.0055546823040045 - 0.8648860406273325 * x780) + x297 =E= 0; e187.. -x288 * (1.9962968784639972 + 0.5765906937515549 * x780) - x289 * ( -0.6629635451306639 - 0.5765906937515549 * x780) + x298 =E= 0; e188.. -x289 * (1.662963545130664 + 0.5765906937515549 * x780) - x290 * ( -0.32963021179733065 - 0.5765906937515549 * x780) + x299 =E= 0; e189.. -x290 * (1.3296302117973307 + 0.5765906937515549 * x780) - x291 * ( 0.0037031215360027753 - 0.5765906937515549 * x780) + x300 =E= 0; e190.. -x291 * (0.9962968784639972 + 0.5765906937515549 * x780) - x292 * ( 0.337036454869336 - 0.576590693751555 * x780) + x301 =E= 0; e191.. -x292 * (0.662963545130664 + 0.576590693751555 * x780) - x293 * ( 0.6703697882026693 - 0.576590693751555 * x780) + x302 =E= 0; e192.. -x293 * (0.3296302117973307 + 0.576590693751555 * x780) - x294 * ( 1.0037031215360028 - 0.5765906937515549 * x780) + x303 =E= 0; e193.. -x294 * (-0.0037031215360027753 + 0.5765906937515549 * x780) - x295 * ( 1.3370364548693359 - 0.5765906937515548 * x780) + x304 =E= 0; e194.. -x295 * (-0.33703645486933587 + 0.5765906937515548 * x780) - x296 * ( 1.6703697882026691 - 0.5765906937515548 * x780) + x305 =E= 0; e195.. -x296 * (-0.6703697882026691 + 0.5765906937515548 * x780) - x297 * ( 2.003703121536003 - 0.5765906937515549 * x780) + x306 =E= 0; e196.. 1.0898420756547922 * x298 + 0.5109547727324621 * x299 + 0.17767512836347013 * x300 + 0.003878105746356297 * x301 - 0.15352070907240264 * x302 - 0.36668540388910126 * x303 - 0.49898659208484253 * x304 - 0.4170652240470894 * x305 + 0.13647679434322102 * x306 - x800 =E= 0; e197.. -x780 / (exp(-x780) + 1) + x801 =E= 0; e198.. x761 - 1.1431188049269319 * x800 - 0.4559559528748354 * x801 =E= 0; e199.. x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 =E= 1; e200.. x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 =E= 1; e201.. x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 =E= 1; e202.. -x782 =L= 3.4778852110870773; e203.. 6.379594998703661 * b37 + x782 =L= 3.481672969316916; e204.. 0.5799631817003328 * b38 - x782 =L= 3.4778852110870773; e205.. 5.799631817003328 * b38 + x782 =L= 3.481672969316916; e206.. 1.1599263634006656 * b39 - x782 =L= 3.4778852110870773; e207.. 5.219668635302995 * b39 + x782 =L= 3.481672969316916; e208.. 1.7398895451009986 * b40 - x782 =L= 3.4778852110870773; e209.. 4.639705453602662 * b40 + x782 =L= 3.481672969316916; e210.. 2.319852726801331 * b41 - x782 =L= 3.4778852110870773; e211.. 4.059742271902329 * b41 + x782 =L= 3.481672969316916; e212.. 2.8998159085016644 * b42 - x782 =L= 3.4778852110870773; e213.. 3.4797790902019967 * b42 + x782 =L= 3.481672969316916; e214.. 3.4797790902019967 * b43 - x782 =L= 3.4778852110870773; e215.. 2.8998159085016635 * b43 + x782 =L= 3.481672969316916; e216.. 4.05974227190233 * b44 - x782 =L= 3.4778852110870773; e217.. 2.319852726801331 * b44 + x782 =L= 3.481672969316916; e218.. 4.639705453602662 * b45 - x782 =L= 3.4778852110870773; e219.. 1.7398895451009981 * b45 + x782 =L= 3.481672969316916; e220.. 5.2196686353029955 * b46 - x782 =L= 3.4778852110870773; e221.. 1.1599263634006656 * b46 + x782 =L= 3.481672969316916; e222.. 5.799631817003328 * b47 - x782 =L= 3.4778852110870773; e223.. 0.5799631817003328 * b47 + x782 =L= 3.481672969316916; e224.. 6.379594998703661 * b48 - x782 =L= 3.4778852110870773; e225.. x782 =L= 3.481672969316916; e226.. b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 =E= 1; e227.. -b37 * (5.996734483886776 + 1.7242473859602703 * x782) - b38 * ( -3.9967344838867755 - 1.7242473859602703 * x782) + x307 =E= 0; e228.. -b38 * (4.996734483886776 + 1.7242473859602703 * x782) - b39 * ( -2.996734483886774 - 1.7242473859602696 * x782) + x308 =E= 0; e229.. -b39 * (3.996734483886774 + 1.7242473859602696 * x782) - b40 * ( -1.996734483886775 - 1.7242473859602703 * x782) + x309 =E= 0; e230.. -b40 * (2.996734483886775 + 1.7242473859602703 * x782) - b41 * ( -0.9967344838867751 - 1.7242473859602703 * x782) + x310 =E= 0; e231.. -b41 * (1.996734483886775 + 1.7242473859602703 * x782) - b42 * ( 0.003265516113224995 - 1.7242473859602703 * x782) + x311 =E= 0; e232.. -b42 * (0.9967344838867751 + 1.7242473859602703 * x782) - b43 * ( 1.0032655161132251 - 1.7242473859602703 * x782) + x312 =E= 0; e233.. -b43 * (-0.003265516113224995 + 1.7242473859602703 * x782) - b44 * ( 2.003265516113226 - 1.7242473859602714 * x782) + x313 =E= 0; e234.. -b44 * (-1.0032655161132258 + 1.7242473859602714 * x782) - b45 * ( 3.0032655161132227 - 1.724247385960269 * x782) + x314 =E= 0; e235.. -b45 * (-2.0032655161132227 + 1.724247385960269 * x782) - b46 * ( 4.003265516113226 - 1.7242473859602707 * x782) + x315 =E= 0; e236.. -b46 * (-3.003265516113226 + 1.7242473859602707 * x782) - b47 * ( 5.003265516113225 - 1.7242473859602703 * x782) + x316 =E= 0; e237.. -b47 * (-4.003265516113225 + 1.7242473859602703 * x782) - b48 * ( 6.003265516113225 - 1.7242473859602703 * x782) + x317 =E= 0; e238.. -x307 * (2.998367241943388 + 0.8621236929801351 * x782) - x308 * ( -1.498367241943387 - 0.8621236929801349 * x782) + x318 =E= 0; e239.. -x308 * (2.498367241943387 + 0.8621236929801349 * x782) - x309 * ( -0.9983672419433873 - 0.8621236929801349 * x782) + x319 =E= 0; e240.. -x309 * (1.9983672419433873 + 0.8621236929801349 * x782) - x310 * ( -0.49836724194338755 - 0.8621236929801351 * x782) + x320 =E= 0; e241.. -x310 * (1.4983672419433876 + 0.8621236929801351 * x782) - x311 * ( 0.0016327580566124975 - 0.8621236929801351 * x782) + x321 =E= 0; e242.. -x311 * (0.9983672419433876 + 0.8621236929801351 * x782) - x312 * ( 0.5016327580566126 - 0.8621236929801351 * x782) + x322 =E= 0; e243.. -x312 * (0.49836724194338755 + 0.8621236929801351 * x782) - x313 * ( 1.0016327580566124 - 0.8621236929801354 * x782) + x323 =E= 0; e244.. -x313 * (-0.0016327580566124979 + 0.8621236929801354 * x782) - x314 * ( 1.5016327580566127 - 0.8621236929801351 * x782) + x324 =E= 0; e245.. -x314 * (-0.5016327580566126 + 0.8621236929801351 * x782) - x315 * ( 2.001632758056612 - 0.8621236929801349 * x782) + x325 =E= 0; e246.. -x315 * (-1.001632758056612 + 0.8621236929801349 * x782) - x316 * ( 2.501632758056613 - 0.8621236929801352 * x782) + x326 =E= 0; e247.. -x316 * (-1.501632758056613 + 0.8621236929801352 * x782) - x317 * ( 3.0016327580566124 - 0.8621236929801351 * x782) + x327 =E= 0; e248.. -x318 * (1.9989114946289248 + 0.5747491286534233 * x782) - x319 * ( -0.6655781612955916 - 0.5747491286534233 * x782) + x328 =E= 0; e249.. -x319 * (1.6655781612955916 + 0.5747491286534233 * x782) - x320 * ( -0.3322448279622583 - 0.5747491286534233 * x782) + x329 =E= 0; e250.. -x320 * (1.3322448279622583 + 0.5747491286534233 * x782) - x321 * ( 0.0010885053710749982 - 0.5747491286534234 * x782) + x330 =E= 0; e251.. -x321 * (0.998911494628925 + 0.5747491286534234 * x782) - x322 * ( 0.33442183870440834 - 0.5747491286534234 * x782) + x331 =E= 0; e252.. -x322 * (0.6655781612955917 + 0.5747491286534234 * x782) - x323 * ( 0.6677551720377416 - 0.5747491286534235 * x782) + x332 =E= 0; e253.. -x323 * (0.3322448279622584 + 0.5747491286534235 * x782) - x324 * ( 1.001088505371075 - 0.5747491286534234 * x782) + x333 =E= 0; e254.. -x324 * (-0.0010885053710749982 + 0.5747491286534234 * x782) - x325 * ( 1.3344218387044082 - 0.5747491286534234 * x782) + x334 =E= 0; e255.. -x325 * (-0.33442183870440834 + 0.5747491286534234 * x782) - x326 * ( 1.6677551720377413 - 0.5747491286534233 * x782) + x335 =E= 0; e256.. -x326 * (-0.6677551720377414 + 0.5747491286534233 * x782) - x327 * ( 2.001088505371075 - 0.5747491286534234 * x782) + x336 =E= 0; e257.. 0.6585867721917743 * x328 + 0.38668681941304506 * x329 - 0.04036577670805974 * x330 - 0.12768508981615137 * x331 - 0.21753479341071358 * x332 - 0.41961595535017554 * x333 - 0.7813403119500787 * x334 - 0.65239272163159 * x335 + 0.5606731745529712 * x336 - x802 =E= 0; e258.. -x782 / (exp(-x782) + 1) + x803 =E= 0; e259.. x762 - 0.6763376708857359 * x802 - 0.1419459859580056 * x803 =E= 0; e260.. x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 =E= 1; e261.. x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 =E= 1; e262.. x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 =E= 1; e263.. -x784 =L= 3.463397684894318; e264.. 6.3437878097384 * b49 + x784 =L= 3.4570981075475724; e265.. 0.5767079827034909 * b50 - x784 =L= 3.463397684894318; e266.. 5.767079827034909 * b50 + x784 =L= 3.4570981075475724; e267.. 1.1534159654069818 * b51 - x784 =L= 3.463397684894318; e268.. 5.190371844331418 * b51 + x784 =L= 3.4570981075475724; e269.. 1.7301239481104727 * b52 - x784 =L= 3.463397684894318; e270.. 4.613663861627927 * b52 + x784 =L= 3.4570981075475724; e271.. 2.3068319308139635 * b53 - x784 =L= 3.463397684894318; e272.. 4.036955878924436 * b53 + x784 =L= 3.4570981075475724; e273.. 2.8835399135174544 * b54 - x784 =L= 3.463397684894318; e274.. 3.4602478962209453 * b54 + x784 =L= 3.4570981075475724; e275.. 3.4602478962209453 * b55 - x784 =L= 3.463397684894318; e276.. 2.8835399135174544 * b55 + x784 =L= 3.4570981075475724; e277.. 4.036955878924436 * b56 - x784 =L= 3.463397684894318; e278.. 2.306831930813964 * b56 + x784 =L= 3.4570981075475724; e279.. 4.613663861627927 * b57 - x784 =L= 3.463397684894318; e280.. 1.7301239481104727 * b57 + x784 =L= 3.4570981075475724; e281.. 5.190371844331418 * b58 - x784 =L= 3.463397684894318; e282.. 1.1534159654069818 * b58 + x784 =L= 3.4570981075475724; e283.. 5.767079827034909 * b59 - x784 =L= 3.463397684894318; e284.. 0.5767079827034909 * b59 + x784 =L= 3.4570981075475724; e285.. 6.3437878097384 * b60 - x784 =L= 3.463397684894318; e286.. x784 =L= 3.4570981075475724; e287.. b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 =E= 1; e288.. -b49 * (6.005461669974824 + 1.7339798129933999 * x784) - b50 * ( -4.005461669974824 - 1.7339798129933999 * x784) + x337 =E= 0; e289.. -b50 * (5.005461669974824 + 1.7339798129933999 * x784) - b51 * ( -3.005461669974824 - 1.7339798129933999 * x784) + x338 =E= 0; e290.. -b51 * (4.005461669974824 + 1.7339798129933999 * x784) - b52 * ( -2.005461669974824 - 1.7339798129933999 * x784) + x339 =E= 0; e291.. -b52 * (3.005461669974824 + 1.7339798129933999 * x784) - b53 * ( -1.0054616699748238 - 1.7339798129933999 * x784) + x340 =E= 0; e292.. -b53 * (2.005461669974824 + 1.7339798129933999 * x784) - b54 * ( -0.00546166997482387 - 1.7339798129933999 * x784) + x341 =E= 0; e293.. -b54 * (1.0054616699748238 + 1.7339798129933999 * x784) - b55 * ( 0.9945383300251761 - 1.7339798129933999 * x784) + x342 =E= 0; e294.. -b55 * (0.00546166997482387 + 1.7339798129933999 * x784) - b56 * ( 1.9945383300251769 - 1.7339798129934012 * x784) + x343 =E= 0; e295.. -b56 * (-0.9945383300251769 + 1.7339798129934012 * x784) - b57 * ( 2.9945383300251738 - 1.7339798129933985 * x784) + x344 =E= 0; e296.. -b57 * (-1.9945383300251738 + 1.7339798129933985 * x784) - b58 * ( 3.994538330025176 - 1.7339798129933999 * x784) + x345 =E= 0; e297.. -b58 * (-2.994538330025176 + 1.7339798129933999 * x784) - b59 * ( 4.994538330025176 - 1.7339798129933999 * x784) + x346 =E= 0; e298.. -b59 * (-3.994538330025176 + 1.7339798129933999 * x784) - b60 * ( 5.994538330025176 - 1.7339798129933999 * x784) + x347 =E= 0; e299.. -x337 * (3.002730834987412 + 0.8669899064966999 * x784) - x338 * ( -1.502730834987412 - 0.8669899064966999 * x784) + x348 =E= 0; e300.. -x338 * (2.502730834987412 + 0.8669899064966999 * x784) - x339 * ( -1.002730834987412 - 0.8669899064966999 * x784) + x349 =E= 0; e301.. -x339 * (2.002730834987412 + 0.8669899064966999 * x784) - x340 * ( -0.5027308349874119 - 0.8669899064966999 * x784) + x350 =E= 0; e302.. -x340 * (1.502730834987412 + 0.8669899064966999 * x784) - x341 * ( -0.002730834987411935 - 0.8669899064966999 * x784) + x351 =E= 0; e303.. -x341 * (1.002730834987412 + 0.8669899064966999 * x784) - x342 * ( 0.49726916501258805 - 0.8669899064966999 * x784) + x352 =E= 0; e304.. -x342 * (0.5027308349874119 + 0.8669899064966999 * x784) - x343 * ( 0.9972691650125881 - 0.8669899064967003 * x784) + x353 =E= 0; e305.. -x343 * (0.0027308349874119358 + 0.8669899064967003 * x784) - x344 * ( 1.497269165012588 - 0.8669899064966999 * x784) + x354 =E= 0; e306.. -x344 * (-0.49726916501258805 + 0.8669899064966999 * x784) - x345 * ( 1.9972691650125873 - 0.8669899064966996 * x784) + x355 =E= 0; e307.. -x345 * (-0.9972691650125873 + 0.8669899064966996 * x784) - x346 * ( 2.497269165012588 - 0.8669899064966999 * x784) + x356 =E= 0; e308.. -x346 * (-1.497269165012588 + 0.8669899064966999 * x784) - x347 * ( 2.997269165012588 - 0.8669899064966999 * x784) + x357 =E= 0; e309.. -x348 * (2.0018205566582745 + 0.5779932709978 * x784) - x349 * ( -0.6684872233249413 - 0.5779932709978 * x784) + x358 =E= 0; e310.. -x349 * (1.6684872233249413 + 0.5779932709978 * x784) - x350 * ( -0.33515388999160795 - 0.5779932709978 * x784) + x359 =E= 0; e311.. -x350 * (1.335153889991608 + 0.5779932709978 * x784) - x351 * ( -0.0018205566582746233 - 0.5779932709978 * x784) + x360 =E= 0; e312.. -x351 * (1.0018205566582747 + 0.5779932709978 * x784) - x352 * ( 0.33151277667505874 - 0.5779932709978 * x784) + x361 =E= 0; e313.. -x352 * (0.6684872233249413 + 0.5779932709978 * x784) - x353 * ( 0.6648461100083919 - 0.5779932709978001 * x784) + x362 =E= 0; e314.. -x353 * (0.335153889991608 + 0.5779932709978001 * x784) - x354 * ( 0.9981794433417254 - 0.5779932709978 * x784) + x363 =E= 0; e315.. -x354 * (0.0018205566582746233 + 0.5779932709978 * x784) - x355 * ( 1.3315127766750587 - 0.5779932709978 * x784) + x364 =E= 0; e316.. -x355 * (-0.33151277667505874 + 0.5779932709978 * x784) - x356 * ( 1.6648461100083918 - 0.5779932709977998 * x784) + x365 =E= 0; e317.. -x356 * (-0.6648461100083917 + 0.5779932709977998 * x784) - x357 * ( 1.9981794433417255 - 0.5779932709978 * x784) + x366 =E= 0; e318.. 1.4515451873228122 * x358 + 0.7373071182469465 * x359 + 0.578170373446112 * x360 + 0.9120356691071075 * x361 - 0.617639891526855 * x362 - 0.7006826781168103 * x363 - 1.2451617825797798 * x364 - 0.7051212734396554 * x365 + 0.3059244199703936 * x366 - x804 =E= 0; e319.. -x784 / (exp(-x784) + 1) + x805 =E= 0; e320.. x763 - 0.7306669717011363 * x804 + 0.8006915816938945 * x805 =E= 0; e321.. x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 =E= 1; e322.. x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 =E= 1; e323.. x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 =E= 1; e324.. -x786 =L= 3.494577894146449; e325.. 6.399364317783533 * b61 + x786 =L= 3.4865468161628597; e326.. 0.5817603925257755 * b62 - x786 =L= 3.494577894146449; e327.. 5.817603925257757 * b62 + x786 =L= 3.4865468161628597; e328.. 1.1635207850515514 * b63 - x786 =L= 3.494577894146449; e329.. 5.235843532731981 * b63 + x786 =L= 3.4865468161628597; e330.. 1.7452811775773271 * b64 - x786 =L= 3.494577894146449; e331.. 4.654083140206206 * b64 + x786 =L= 3.4865468161628597; e332.. 2.327041570103103 * b65 - x786 =L= 3.494577894146449; e333.. 4.07232274768043 * b65 + x786 =L= 3.4865468161628597; e334.. 2.9088019626288784 * b66 - x786 =L= 3.494577894146449; e335.. 3.4905623551546543 * b66 + x786 =L= 3.4865468161628597; e336.. 3.4905623551546543 * b67 - x786 =L= 3.494577894146449; e337.. 2.9088019626288784 * b67 + x786 =L= 3.4865468161628597; e338.. 4.07232274768043 * b68 - x786 =L= 3.494577894146449; e339.. 2.327041570103103 * b68 + x786 =L= 3.4865468161628597; e340.. 4.654083140206206 * b69 - x786 =L= 3.494577894146449; e341.. 1.7452811775773271 * b69 + x786 =L= 3.4865468161628597; e342.. 5.235843532731981 * b70 - x786 =L= 3.494577894146449; e343.. 1.1635207850515514 * b70 + x786 =L= 3.4865468161628597; e344.. 5.817603925257757 * b71 - x786 =L= 3.494577894146449; e345.. 0.5817603925257755 * b71 + x786 =L= 3.4865468161628597; e346.. 6.399364317783533 * b72 - x786 =L= 3.494577894146449; e347.. x786 =L= 3.4865468161628597; e348.. b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 =E= 1; e349.. -b61 * (6.006902393224746 + 1.7189207323970477 * x786) - b62 * ( -4.006902393224743 - 1.7189207323970463 * x786) + x367 =E= 0; e350.. -b62 * (5.006902393224743 + 1.7189207323970463 * x786) - b63 * ( -3.0069023932247445 - 1.718920732397047 * x786) + x368 =E= 0; e351.. -b63 * (4.0069023932247445 + 1.718920732397047 * x786) - b64 * ( -2.0069023932247445 - 1.718920732397047 * x786) + x369 =E= 0; e352.. -b64 * (3.0069023932247445 + 1.718920732397047 * x786) - b65 * ( -1.0069023932247445 - 1.718920732397047 * x786) + x370 =E= 0; e353.. -b65 * (2.0069023932247445 + 1.718920732397047 * x786) - b66 * ( -0.006902393224744528 - 1.718920732397047 * x786) + x371 =E= 0; e354.. -b66 * (1.0069023932247445 + 1.718920732397047 * x786) - b67 * ( 0.9930976067752554 - 1.718920732397047 * x786) + x372 =E= 0; e355.. -b67 * (0.006902393224744528 + 1.718920732397047 * x786) - b68 * ( 1.9930976067752557 - 1.7189207323970477 * x786) + x373 =E= 0; e356.. -b68 * (-0.9930976067752558 + 1.7189207323970477 * x786) - b69 * ( 2.993097606775254 - 1.7189207323970463 * x786) + x374 =E= 0; e357.. -b69 * (-1.9930976067752542 + 1.7189207323970463 * x786) - b70 * ( 3.993097606775255 - 1.718920732397047 * x786) + x375 =E= 0; e358.. -b70 * (-2.9930976067752555 + 1.718920732397047 * x786) - b71 * ( 4.993097606775254 - 1.7189207323970463 * x786) + x376 =E= 0; e359.. -b71 * (-3.9930976067752537 + 1.7189207323970463 * x786) - b72 * ( 5.993097606775257 - 1.7189207323970477 * x786) + x377 =E= 0; e360.. -x367 * (3.0034511966123723 + 0.8594603661985235 * x786) - x368 * ( -1.503451196612372 - 0.8594603661985234 * x786) + x378 =E= 0; e361.. -x368 * (2.503451196612372 + 0.8594603661985234 * x786) - x369 * ( -1.0034511966123723 - 0.8594603661985235 * x786) + x379 =E= 0; e362.. -x369 * (2.0034511966123723 + 0.8594603661985235 * x786) - x370 * ( -0.5034511966123723 - 0.8594603661985235 * x786) + x380 =E= 0; e363.. -x370 * (1.5034511966123723 + 0.8594603661985235 * x786) - x371 * ( -0.003451196612372264 - 0.8594603661985235 * x786) + x381 =E= 0; e364.. -x371 * (1.0034511966123723 + 0.8594603661985235 * x786) - x372 * ( 0.4965488033876277 - 0.8594603661985235 * x786) + x382 =E= 0; e365.. -x372 * (0.5034511966123723 + 0.8594603661985235 * x786) - x373 * ( 0.9965488033876277 - 0.8594603661985237 * x786) + x383 =E= 0; e366.. -x373 * (0.003451196612372265 + 0.8594603661985237 * x786) - x374 * ( 1.4965488033876277 - 0.8594603661985235 * x786) + x384 =E= 0; e367.. -x374 * (-0.4965488033876277 + 0.8594603661985235 * x786) - x375 * ( 1.9965488033876273 - 0.8594603661985234 * x786) + x385 =E= 0; e368.. -x375 * (-0.9965488033876274 + 0.8594603661985234 * x786) - x376 * ( 2.4965488033876273 - 0.8594603661985234 * x786) + x386 =E= 0; e369.. -x376 * (-1.4965488033876275 + 0.8594603661985234 * x786) - x377 * ( 2.9965488033876277 - 0.8594603661985235 * x786) + x387 =E= 0; e370.. -x378 * (2.002300797741581 + 0.5729735774656823 * x786) - x379 * ( -0.6689674644082482 - 0.5729735774656823 * x786) + x388 =E= 0; e371.. -x379 * (1.6689674644082482 + 0.5729735774656823 * x786) - x380 * ( -0.3356341310749148 - 0.5729735774656823 * x786) + x389 =E= 0; e372.. -x380 * (1.3356341310749147 + 0.5729735774656823 * x786) - x381 * ( -0.002300797741581509 - 0.5729735774656823 * x786) + x390 =E= 0; e373.. -x381 * (1.0023007977415814 + 0.5729735774656823 * x786) - x382 * ( 0.33103253559175183 - 0.5729735774656823 * x786) + x391 =E= 0; e374.. -x382 * (0.6689674644082482 + 0.5729735774656823 * x786) - x383 * ( 0.6643658689250851 - 0.5729735774656824 * x786) + x392 =E= 0; e375.. -x383 * (0.3356341310749149 + 0.5729735774656824 * x786) - x384 * ( 0.9976992022584185 - 0.5729735774656823 * x786) + x393 =E= 0; e376.. -x384 * (0.002300797741581509 + 0.5729735774656823 * x786) - x385 * ( 1.3310325355917518 - 0.5729735774656823 * x786) + x394 =E= 0; e377.. -x385 * (-0.33103253559175183 + 0.5729735774656823 * x786) - x386 * ( 1.6643658689250849 - 0.5729735774656822 * x786) + x395 =E= 0; e378.. -x386 * (-0.6643658689250849 + 0.5729735774656822 * x786) - x387 * ( 1.9976992022584183 - 0.5729735774656823 * x786) + x396 =E= 0; e379.. 1.5813286865896925 * x388 + 0.6319065596168415 * x389 - 0.5158546482129852 * x390 - 1.0283281523933459 * x391 - 1.3504314881821728 * x392 - 1.4959943898416708 * x393 - 1.440481907658325 * x394 - 0.7123008410186321 * x395 - 0.31842603528769975 * x396 - x806 =E= 0; e380.. -x786 / (exp(-x786) + 1) + x807 =E= 0; e381.. x765 - 0.08354747463814821 * x806 - 0.06566117911225101 * x807 =E= 0; e382.. x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 =E= 1; e383.. x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 =E= 1; e384.. x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 =E= 1; e385.. -x788 =L= 3.4933883986386065; e386.. 6.3420594008629205 * b73 + x788 =L= 3.4252218568482165; e387.. 0.576550854623902 * b74 - x788 =L= 3.4933883986386065; e388.. 5.765508546239019 * b74 + x788 =L= 3.4252218568482165; e389.. 1.153101709247804 * b75 - x788 =L= 3.4933883986386065; e390.. 5.188957691615117 * b75 + x788 =L= 3.4252218568482165; e391.. 1.7296525638717057 * b76 - x788 =L= 3.4933883986386065; e392.. 4.612406836991216 * b76 + x788 =L= 3.4252218568482165; e393.. 2.3062034184956075 * b77 - x788 =L= 3.4933883986386065; e394.. 4.0358559823673135 * b77 + x788 =L= 3.4252218568482165; e395.. 2.8827542731195095 * b78 - x788 =L= 3.4933883986386065; e396.. 3.4593051277434115 * b78 + x788 =L= 3.4252218568482165; e397.. 3.4593051277434115 * b79 - x788 =L= 3.4933883986386065; e398.. 2.8827542731195095 * b79 + x788 =L= 3.4252218568482165; e399.. 4.0358559823673135 * b80 - x788 =L= 3.4933883986386065; e400.. 2.306203418495608 * b80 + x788 =L= 3.4252218568482165; e401.. 4.612406836991215 * b81 - x788 =L= 3.4933883986386065; e402.. 1.7296525638717057 * b81 + x788 =L= 3.4252218568482165; e403.. 5.188957691615117 * b82 - x788 =L= 3.4933883986386065; e404.. 1.153101709247804 * b82 + x788 =L= 3.4252218568482165; e405.. 5.765508546239019 * b83 - x788 =L= 3.4933883986386065; e406.. 0.576550854623902 * b83 + x788 =L= 3.4252218568482165; e407.. 6.3420594008629205 * b84 - x788 =L= 3.4933883986386065; e408.. x788 =L= 3.4252218568482165; e409.. b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 =E= 1; e410.. -b73 * (6.05911581020451 + 1.7344523765424371 * x788) - b74 * ( -4.05911581020451 - 1.7344523765424371 * x788) + x397 =E= 0; e411.. -b74 * (5.05911581020451 + 1.7344523765424371 * x788) - b75 * ( -3.0591158102045113 - 1.7344523765424378 * x788) + x398 =E= 0; e412.. -b75 * (4.059115810204512 + 1.7344523765424378 * x788) - b76 * ( -2.0591158102045113 - 1.7344523765424378 * x788) + x399 =E= 0; e413.. -b76 * (3.0591158102045113 + 1.7344523765424378 * x788) - b77 * ( -1.0591158102045106 - 1.7344523765424371 * x788) + x400 =E= 0; e414.. -b77 * (2.059115810204511 + 1.7344523765424371 * x788) - b78 * ( -0.0591158102045107 - 1.7344523765424371 * x788) + x401 =E= 0; e415.. -b78 * (1.0591158102045106 + 1.7344523765424371 * x788) - b79 * ( 0.9408841897954893 - 1.7344523765424378 * x788) + x402 =E= 0; e416.. -b79 * (0.05911581020451072 + 1.7344523765424378 * x788) - b80 * ( 1.940884189795489 - 1.7344523765424371 * x788) + x403 =E= 0; e417.. -b80 * (-0.9408841897954889 + 1.7344523765424371 * x788) - b81 * ( 2.9408841897954887 - 1.7344523765424371 * x788) + x404 =E= 0; e418.. -b81 * (-1.940884189795489 + 1.7344523765424371 * x788) - b82 * ( 3.94088418979549 - 1.7344523765424378 * x788) + x405 =E= 0; e419.. -b82 * (-2.94088418979549 + 1.7344523765424378 * x788) - b83 * ( 4.940884189795488 - 1.7344523765424371 * x788) + x406 =E= 0; e420.. -b83 * (-3.9408841897954883 + 1.7344523765424371 * x788) - b84 * ( 5.940884189795488 - 1.7344523765424371 * x788) + x407 =E= 0; e421.. -x397 * (3.029557905102255 + 0.8672261882712186 * x788) - x398 * ( -1.5295579051022554 - 0.8672261882712188 * x788) + x408 =E= 0; e422.. -x398 * (2.5295579051022554 + 0.8672261882712188 * x788) - x399 * ( -1.0295579051022556 - 0.8672261882712189 * x788) + x409 =E= 0; e423.. -x399 * (2.029557905102256 + 0.8672261882712189 * x788) - x400 * ( -0.5295579051022554 - 0.8672261882712188 * x788) + x410 =E= 0; e424.. -x400 * (1.5295579051022554 + 0.8672261882712188 * x788) - x401 * ( -0.02955790510225535 - 0.8672261882712186 * x788) + x411 =E= 0; e425.. -x401 * (1.0295579051022554 + 0.8672261882712186 * x788) - x402 * ( 0.4704420948977446 - 0.8672261882712188 * x788) + x412 =E= 0; e426.. -x402 * (0.5295579051022554 + 0.8672261882712188 * x788) - x403 * ( 0.9704420948977447 - 0.8672261882712188 * x788) + x413 =E= 0; e427.. -x403 * (0.029557905102255356 + 0.8672261882712188 * x788) - x404 * ( 1.4704420948977444 - 0.8672261882712186 * x788) + x414 =E= 0; e428.. -x404 * (-0.47044209489774447 + 0.8672261882712186 * x788) - x405 * ( 1.9704420948977448 - 0.8672261882712188 * x788) + x415 =E= 0; e429.. -x405 * (-0.9704420948977447 + 0.8672261882712188 * x788) - x406 * ( 2.470442094897745 - 0.8672261882712188 * x788) + x416 =E= 0; e430.. -x406 * (-1.4704420948977448 + 0.8672261882712188 * x788) - x407 * ( 2.970442094897744 - 0.8672261882712186 * x788) + x417 =E= 0; e431.. -x408 * (2.01970527006817 + 0.5781507921808124 * x788) - x409 * ( -0.6863719367348371 - 0.5781507921808126 * x788) + x418 =E= 0; e432.. -x409 * (1.686371936734837 + 0.5781507921808126 * x788) - x410 * ( -0.35303860340150367 - 0.5781507921808126 * x788) + x419 =E= 0; e433.. -x410 * (1.3530386034015036 + 0.5781507921808126 * x788) - x411 * ( -0.019705270068170234 - 0.5781507921808124 * x788) + x420 =E= 0; e434.. -x411 * (1.0197052700681701 + 0.5781507921808124 * x788) - x412 * ( 0.313628063265163 - 0.5781507921808124 * x788) + x421 =E= 0; e435.. -x412 * (0.686371936734837 + 0.5781507921808124 * x788) - x413 * ( 0.6469613965984964 - 0.5781507921808124 * x788) + x422 =E= 0; e436.. -x413 * (0.3530386034015036 + 0.5781507921808124 * x788) - x414 * ( 0.9802947299318298 - 0.5781507921808124 * x788) + x423 =E= 0; e437.. -x414 * (0.019705270068170234 + 0.5781507921808124 * x788) - x415 * ( 1.313628063265163 - 0.5781507921808124 * x788) + x424 =E= 0; e438.. -x415 * (-0.313628063265163 + 0.5781507921808124 * x788) - x416 * ( 1.6469613965984964 - 0.5781507921808124 * x788) + x425 =E= 0; e439.. -x416 * (-0.6469613965984964 + 0.5781507921808124 * x788) - x417 * ( 1.9802947299318296 - 0.5781507921808124 * x788) + x426 =E= 0; e440.. -0.7433673673789364 * x418 + 0.41981413615098423 * x419 + 0.7045971322529708 * x420 + 0.8365340071876204 * x421 + 0.8814068818593959 * x422 + 0.8617351675107375 * x423 + 0.47644595775376025 * x424 + 0.25181660602433137 * x425 + 0.009749797248744304 * x426 - x808 =E= 0; e441.. -x788 / (exp(-x788) + 1) + x809 =E= 0; e442.. x766 - 0.6606929921371255 * x808 + 0.10829421481135411 * x809 =E= 0; e443.. x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 =E= 1; e444.. x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 =E= 1; e445.. x418 + x419 + x420 + x421 + x422 + x423 + x424 + x425 + x426 =E= 1; e446.. -x790 =L= 3.4622426273917184; e447.. 6.359219297851837 * b85 + x790 =L= 3.4750875157193764; e448.. 0.5781108452592578 * b86 - x790 =L= 3.4622426273917184; e449.. 5.781108452592579 * b86 + x790 =L= 3.4750875157193764; e450.. 1.1562216905185156 * b87 - x790 =L= 3.4622426273917184; e451.. 5.202997607333321 * b87 + x790 =L= 3.4750875157193764; e452.. 1.7343325357777737 * b88 - x790 =L= 3.4622426273917184; e453.. 4.6248867620740635 * b88 + x790 =L= 3.4750875157193764; e454.. 2.3124433810370313 * b89 - x790 =L= 3.4622426273917184; e455.. 4.046775916814806 * b89 + x790 =L= 3.4750875157193764; e456.. 2.890554226296289 * b90 - x790 =L= 3.4622426273917184; e457.. 3.4686650715555474 * b90 + x790 =L= 3.4750875157193764; e458.. 3.4686650715555474 * b91 - x790 =L= 3.4622426273917184; e459.. 2.89055422629629 * b91 + x790 =L= 3.4750875157193764; e460.. 4.046775916814805 * b92 - x790 =L= 3.4622426273917184; e461.. 2.312443381037032 * b92 + x790 =L= 3.4750875157193764; e462.. 4.624886762074063 * b93 - x790 =L= 3.4622426273917184; e463.. 1.7343325357777737 * b93 + x790 =L= 3.4750875157193764; e464.. 5.202997607333321 * b94 - x790 =L= 3.4622426273917184; e465.. 1.1562216905185156 * b94 + x790 =L= 3.4750875157193764; e466.. 5.781108452592579 * b95 - x790 =L= 3.4622426273917184; e467.. 0.5781108452592578 * b95 + x790 =L= 3.4750875157193764; e468.. 6.359219297851837 * b96 - x790 =L= 3.4622426273917184; e469.. x790 =L= 3.4750875157193764; e470.. b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 =E= 1; e471.. -b85 * (5.988890635391993 + 1.729772081254665 * x790) - b86 * ( -3.9888906353919924 - 1.729772081254665 * x790) + x427 =E= 0; e472.. -b86 * (4.988890635391993 + 1.729772081254665 * x790) - b87 * ( -2.988890635391991 - 1.7297720812546644 * x790) + x428 =E= 0; e473.. -b87 * (3.988890635391991 + 1.7297720812546644 * x790) - b88 * ( -1.9888906353919922 - 1.729772081254665 * x790) + x429 =E= 0; e474.. -b88 * (2.988890635391992 + 1.729772081254665 * x790) - b89 * ( -0.9888906353919921 - 1.729772081254665 * x790) + x430 =E= 0; e475.. -b89 * (1.9888906353919922 + 1.729772081254665 * x790) - b90 * ( 0.011109364608008323 - 1.7297720812546644 * x790) + x431 =E= 0; e476.. -b90 * (0.9888906353919917 + 1.7297720812546644 * x790) - b91 * ( 1.0111093646080083 - 1.7297720812546657 * x790) + x432 =E= 0; e477.. -b91 * (-0.011109364608008331 + 1.7297720812546657 * x790) - b92 * ( 2.011109364608008 - 1.729772081254665 * x790) + x433 =E= 0; e478.. -b92 * (-1.011109364608008 + 1.729772081254665 * x790) - b93 * ( 3.0111093646080067 - 1.7297720812546638 * x790) + x434 =E= 0; e479.. -b93 * (-2.0111093646080063 + 1.7297720812546638 * x790) - b94 * ( 4.011109364608008 - 1.7297720812546644 * x790) + x435 =E= 0; e480.. -b94 * (-3.0111093646080076 + 1.7297720812546644 * x790) - b95 * ( 5.011109364608009 - 1.729772081254665 * x790) + x436 =E= 0; e481.. -b95 * (-4.011109364608009 + 1.729772081254665 * x790) - b96 * ( 6.011109364608009 - 1.729772081254665 * x790) + x437 =E= 0; e482.. -x427 * (2.9944453176959964 + 0.8648860406273325 * x790) - x428 * ( -1.4944453176959958 - 0.8648860406273323 * x790) + x438 =E= 0; e483.. -x428 * (2.4944453176959955 + 0.8648860406273323 * x790) - x429 * ( -0.9944453176959958 - 0.8648860406273323 * x790) + x439 =E= 0; e484.. -x429 * (1.9944453176959958 + 0.8648860406273323 * x790) - x430 * ( -0.49444531769599603 - 0.8648860406273325 * x790) + x440 =E= 0; e485.. -x430 * (1.494445317695996 + 0.8648860406273325 * x790) - x431 * ( 0.005554682304004162 - 0.8648860406273323 * x790) + x441 =E= 0; e486.. -x431 * (0.9944453176959958 + 0.8648860406273323 * x790) - x432 * ( 0.505554682304004 - 0.8648860406273325 * x790) + x442 =E= 0; e487.. -x432 * (0.49444531769599603 + 0.8648860406273325 * x790) - x433 * ( 1.0055546823040042 - 0.8648860406273327 * x790) + x443 =E= 0; e488.. -x433 * (-0.005554682304004165 + 0.8648860406273327 * x790) - x434 * ( 1.5055546823040038 - 0.8648860406273322 * x790) + x444 =E= 0; e489.. -x434 * (-0.5055546823040038 + 0.8648860406273322 * x790) - x435 * ( 2.005554682304003 - 0.864886040627332 * x790) + x445 =E= 0; e490.. -x435 * (-1.0055546823040034 + 0.864886040627332 * x790) - x436 * ( 2.505554682304004 - 0.8648860406273323 * x790) + x446 =E= 0; e491.. -x436 * (-1.505554682304004 + 0.8648860406273323 * x790) - x437 * ( 3.0055546823040045 - 0.8648860406273325 * x790) + x447 =E= 0; e492.. -x438 * (1.9962968784639972 + 0.5765906937515549 * x790) - x439 * ( -0.6629635451306639 - 0.5765906937515549 * x790) + x448 =E= 0; e493.. -x439 * (1.662963545130664 + 0.5765906937515549 * x790) - x440 * ( -0.32963021179733065 - 0.5765906937515549 * x790) + x449 =E= 0; e494.. -x440 * (1.3296302117973307 + 0.5765906937515549 * x790) - x441 * ( 0.0037031215360027753 - 0.5765906937515549 * x790) + x450 =E= 0; e495.. -x441 * (0.9962968784639972 + 0.5765906937515549 * x790) - x442 * ( 0.337036454869336 - 0.576590693751555 * x790) + x451 =E= 0; e496.. -x442 * (0.662963545130664 + 0.576590693751555 * x790) - x443 * ( 0.6703697882026693 - 0.576590693751555 * x790) + x452 =E= 0; e497.. -x443 * (0.3296302117973307 + 0.576590693751555 * x790) - x444 * ( 1.0037031215360028 - 0.5765906937515549 * x790) + x453 =E= 0; e498.. -x444 * (-0.0037031215360027753 + 0.5765906937515549 * x790) - x445 * ( 1.3370364548693359 - 0.5765906937515548 * x790) + x454 =E= 0; e499.. -x445 * (-0.33703645486933587 + 0.5765906937515548 * x790) - x446 * ( 1.6703697882026691 - 0.5765906937515548 * x790) + x455 =E= 0; e500.. -x446 * (-0.6703697882026691 + 0.5765906937515548 * x790) - x447 * ( 2.003703121536003 - 0.5765906937515549 * x790) + x456 =E= 0; e501.. -0.40512246512080236 * x448 - 0.007054149453661022 * x449 + 0.23906368147722964 * x450 + 0.37191737040390277 * x451 + 0.5067734703328522 * x452 + 0.689410240510258 * x453 + 0.7392248632387745 * x454 + 1.1795265652181515 * x455 - 0.28817342685893776 * x456 - x810 =E= 0; e502.. -x790 / (exp(-x790) + 1) + x811 =E= 0; e503.. x767 - 0.38591990382060876 * x810 + 0.04384696566410438 * x811 =E= 0; e504.. x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 =E= 1; e505.. x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 =E= 1; e506.. x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 =E= 1; e507.. -x792 =L= 3.4778852110870773; e508.. 6.379594998703661 * b97 + x792 =L= 3.481672969316916; e509.. 0.5799631817003328 * b98 - x792 =L= 3.4778852110870773; e510.. 5.799631817003328 * b98 + x792 =L= 3.481672969316916; e511.. 1.1599263634006656 * b99 - x792 =L= 3.4778852110870773; e512.. 5.219668635302995 * b99 + x792 =L= 3.481672969316916; e513.. 1.7398895451009986 * b100 - x792 =L= 3.4778852110870773; e514.. 4.639705453602662 * b100 + x792 =L= 3.481672969316916; e515.. 2.319852726801331 * b101 - x792 =L= 3.4778852110870773; e516.. 4.059742271902329 * b101 + x792 =L= 3.481672969316916; e517.. 2.8998159085016644 * b102 - x792 =L= 3.4778852110870773; e518.. 3.4797790902019967 * b102 + x792 =L= 3.481672969316916; e519.. 3.4797790902019967 * b103 - x792 =L= 3.4778852110870773; e520.. 2.8998159085016635 * b103 + x792 =L= 3.481672969316916; e521.. 4.05974227190233 * b104 - x792 =L= 3.4778852110870773; e522.. 2.319852726801331 * b104 + x792 =L= 3.481672969316916; e523.. 4.639705453602662 * b105 - x792 =L= 3.4778852110870773; e524.. 1.7398895451009981 * b105 + x792 =L= 3.481672969316916; e525.. 5.2196686353029955 * b106 - x792 =L= 3.4778852110870773; e526.. 1.1599263634006656 * b106 + x792 =L= 3.481672969316916; e527.. 5.799631817003328 * b107 - x792 =L= 3.4778852110870773; e528.. 0.5799631817003328 * b107 + x792 =L= 3.481672969316916; e529.. 6.379594998703661 * b108 - x792 =L= 3.4778852110870773; e530.. x792 =L= 3.481672969316916; e531.. b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 =E= 1; e532.. -b97 * (5.996734483886776 + 1.7242473859602703 * x792) - b98 * ( -3.9967344838867755 - 1.7242473859602703 * x792) + x457 =E= 0; e533.. -b98 * (4.996734483886776 + 1.7242473859602703 * x792) - b99 * ( -2.996734483886774 - 1.7242473859602696 * x792) + x458 =E= 0; e534.. -b99 * (3.996734483886774 + 1.7242473859602696 * x792) - b100 * ( -1.996734483886775 - 1.7242473859602703 * x792) + x459 =E= 0; e535.. -b100 * (2.996734483886775 + 1.7242473859602703 * x792) - b101 * ( -0.9967344838867751 - 1.7242473859602703 * x792) + x460 =E= 0; e536.. -b101 * (1.996734483886775 + 1.7242473859602703 * x792) - b102 * ( 0.003265516113224995 - 1.7242473859602703 * x792) + x461 =E= 0; e537.. -b102 * (0.9967344838867751 + 1.7242473859602703 * x792) - b103 * ( 1.0032655161132251 - 1.7242473859602703 * x792) + x462 =E= 0; e538.. -b103 * (-0.003265516113224995 + 1.7242473859602703 * x792) - b104 * ( 2.003265516113226 - 1.7242473859602714 * x792) + x463 =E= 0; e539.. -b104 * (-1.0032655161132258 + 1.7242473859602714 * x792) - b105 * ( 3.0032655161132227 - 1.724247385960269 * x792) + x464 =E= 0; e540.. -b105 * (-2.0032655161132227 + 1.724247385960269 * x792) - b106 * ( 4.003265516113226 - 1.7242473859602707 * x792) + x465 =E= 0; e541.. -b106 * (-3.003265516113226 + 1.7242473859602707 * x792) - b107 * ( 5.003265516113225 - 1.7242473859602703 * x792) + x466 =E= 0; e542.. -b107 * (-4.003265516113225 + 1.7242473859602703 * x792) - b108 * ( 6.003265516113225 - 1.7242473859602703 * x792) + x467 =E= 0; e543.. -x457 * (2.998367241943388 + 0.8621236929801351 * x792) - x458 * ( -1.498367241943387 - 0.8621236929801349 * x792) + x468 =E= 0; e544.. -x458 * (2.498367241943387 + 0.8621236929801349 * x792) - x459 * ( -0.9983672419433873 - 0.8621236929801349 * x792) + x469 =E= 0; e545.. -x459 * (1.9983672419433873 + 0.8621236929801349 * x792) - x460 * ( -0.49836724194338755 - 0.8621236929801351 * x792) + x470 =E= 0; e546.. -x460 * (1.4983672419433876 + 0.8621236929801351 * x792) - x461 * ( 0.0016327580566124975 - 0.8621236929801351 * x792) + x471 =E= 0; e547.. -x461 * (0.9983672419433876 + 0.8621236929801351 * x792) - x462 * ( 0.5016327580566126 - 0.8621236929801351 * x792) + x472 =E= 0; e548.. -x462 * (0.49836724194338755 + 0.8621236929801351 * x792) - x463 * ( 1.0016327580566124 - 0.8621236929801354 * x792) + x473 =E= 0; e549.. -x463 * (-0.0016327580566124979 + 0.8621236929801354 * x792) - x464 * ( 1.5016327580566127 - 0.8621236929801351 * x792) + x474 =E= 0; e550.. -x464 * (-0.5016327580566126 + 0.8621236929801351 * x792) - x465 * ( 2.001632758056612 - 0.8621236929801349 * x792) + x475 =E= 0; e551.. -x465 * (-1.001632758056612 + 0.8621236929801349 * x792) - x466 * ( 2.501632758056613 - 0.8621236929801352 * x792) + x476 =E= 0; e552.. -x466 * (-1.501632758056613 + 0.8621236929801352 * x792) - x467 * ( 3.0016327580566124 - 0.8621236929801351 * x792) + x477 =E= 0; e553.. -x468 * (1.9989114946289248 + 0.5747491286534233 * x792) - x469 * ( -0.6655781612955916 - 0.5747491286534233 * x792) + x478 =E= 0; e554.. -x469 * (1.6655781612955916 + 0.5747491286534233 * x792) - x470 * ( -0.3322448279622583 - 0.5747491286534233 * x792) + x479 =E= 0; e555.. -x470 * (1.3322448279622583 + 0.5747491286534233 * x792) - x471 * ( 0.0010885053710749982 - 0.5747491286534234 * x792) + x480 =E= 0; e556.. -x471 * (0.998911494628925 + 0.5747491286534234 * x792) - x472 * ( 0.33442183870440834 - 0.5747491286534234 * x792) + x481 =E= 0; e557.. -x472 * (0.6655781612955917 + 0.5747491286534234 * x792) - x473 * ( 0.6677551720377416 - 0.5747491286534235 * x792) + x482 =E= 0; e558.. -x473 * (0.3322448279622584 + 0.5747491286534235 * x792) - x474 * ( 1.001088505371075 - 0.5747491286534234 * x792) + x483 =E= 0; e559.. -x474 * (-0.0010885053710749982 + 0.5747491286534234 * x792) - x475 * ( 1.3344218387044082 - 0.5747491286534234 * x792) + x484 =E= 0; e560.. -x475 * (-0.33442183870440834 + 0.5747491286534234 * x792) - x476 * ( 1.6677551720377413 - 0.5747491286534233 * x792) + x485 =E= 0; e561.. -x476 * (-0.6677551720377414 + 0.5747491286534233 * x792) - x477 * ( 2.001088505371075 - 0.5747491286534234 * x792) + x486 =E= 0; e562.. -0.7817454010634988 * x478 + 1.453438820325385 * x479 - 0.4961886448582311 * x480 + 0.13652369602255218 * x481 - 0.17515419670961885 * x482 - 0.5157711579454612 * x483 - 0.5929241257261818 * x484 + 0.5074791717672578 * x485 - 1.6490696576840247 * x486 - x812 =E= 0; e563.. -x792 / (exp(-x792) + 1) + x813 =E= 0; e564.. x768 + 0.02690707651750911 * x812 - 0.0049708430268360195 * x813 =E= 0; e565.. x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 =E= 1; e566.. x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 =E= 1; e567.. x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 =E= 1; e568.. -x794 =L= 3.463397684894318; e569.. 6.3437878097384 * b109 + x794 =L= 3.4570981075475724; e570.. 0.5767079827034909 * b110 - x794 =L= 3.463397684894318; e571.. 5.767079827034909 * b110 + x794 =L= 3.4570981075475724; e572.. 1.1534159654069818 * b111 - x794 =L= 3.463397684894318; e573.. 5.190371844331418 * b111 + x794 =L= 3.4570981075475724; e574.. 1.7301239481104727 * b112 - x794 =L= 3.463397684894318; e575.. 4.613663861627927 * b112 + x794 =L= 3.4570981075475724; e576.. 2.3068319308139635 * b113 - x794 =L= 3.463397684894318; e577.. 4.036955878924436 * b113 + x794 =L= 3.4570981075475724; e578.. 2.8835399135174544 * b114 - x794 =L= 3.463397684894318; e579.. 3.4602478962209453 * b114 + x794 =L= 3.4570981075475724; e580.. 3.4602478962209453 * b115 - x794 =L= 3.463397684894318; e581.. 2.8835399135174544 * b115 + x794 =L= 3.4570981075475724; e582.. 4.036955878924436 * b116 - x794 =L= 3.463397684894318; e583.. 2.306831930813964 * b116 + x794 =L= 3.4570981075475724; e584.. 4.613663861627927 * b117 - x794 =L= 3.463397684894318; e585.. 1.7301239481104727 * b117 + x794 =L= 3.4570981075475724; e586.. 5.190371844331418 * b118 - x794 =L= 3.463397684894318; e587.. 1.1534159654069818 * b118 + x794 =L= 3.4570981075475724; e588.. 5.767079827034909 * b119 - x794 =L= 3.463397684894318; e589.. 0.5767079827034909 * b119 + x794 =L= 3.4570981075475724; e590.. 6.3437878097384 * b120 - x794 =L= 3.463397684894318; e591.. x794 =L= 3.4570981075475724; e592.. b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 =E= 1; e593.. -b109 * (6.005461669974824 + 1.7339798129933999 * x794) - b110 * ( -4.005461669974824 - 1.7339798129933999 * x794) + x487 =E= 0; e594.. -b110 * (5.005461669974824 + 1.7339798129933999 * x794) - b111 * ( -3.005461669974824 - 1.7339798129933999 * x794) + x488 =E= 0; e595.. -b111 * (4.005461669974824 + 1.7339798129933999 * x794) - b112 * ( -2.005461669974824 - 1.7339798129933999 * x794) + x489 =E= 0; e596.. -b112 * (3.005461669974824 + 1.7339798129933999 * x794) - b113 * ( -1.0054616699748238 - 1.7339798129933999 * x794) + x490 =E= 0; e597.. -b113 * (2.005461669974824 + 1.7339798129933999 * x794) - b114 * ( -0.00546166997482387 - 1.7339798129933999 * x794) + x491 =E= 0; e598.. -b114 * (1.0054616699748238 + 1.7339798129933999 * x794) - b115 * ( 0.9945383300251761 - 1.7339798129933999 * x794) + x492 =E= 0; e599.. -b115 * (0.00546166997482387 + 1.7339798129933999 * x794) - b116 * ( 1.9945383300251769 - 1.7339798129934012 * x794) + x493 =E= 0; e600.. -b116 * (-0.9945383300251769 + 1.7339798129934012 * x794) - b117 * ( 2.9945383300251738 - 1.7339798129933985 * x794) + x494 =E= 0; e601.. -b117 * (-1.9945383300251738 + 1.7339798129933985 * x794) - b118 * ( 3.994538330025176 - 1.7339798129933999 * x794) + x495 =E= 0; e602.. -b118 * (-2.994538330025176 + 1.7339798129933999 * x794) - b119 * ( 4.994538330025176 - 1.7339798129933999 * x794) + x496 =E= 0; e603.. -b119 * (-3.994538330025176 + 1.7339798129933999 * x794) - b120 * ( 5.994538330025176 - 1.7339798129933999 * x794) + x497 =E= 0; e604.. -x487 * (3.002730834987412 + 0.8669899064966999 * x794) - x488 * ( -1.502730834987412 - 0.8669899064966999 * x794) + x498 =E= 0; e605.. -x488 * (2.502730834987412 + 0.8669899064966999 * x794) - x489 * ( -1.002730834987412 - 0.8669899064966999 * x794) + x499 =E= 0; e606.. -x489 * (2.002730834987412 + 0.8669899064966999 * x794) - x490 * ( -0.5027308349874119 - 0.8669899064966999 * x794) + x500 =E= 0; e607.. -x490 * (1.502730834987412 + 0.8669899064966999 * x794) - x491 * ( -0.002730834987411935 - 0.8669899064966999 * x794) + x501 =E= 0; e608.. -x491 * (1.002730834987412 + 0.8669899064966999 * x794) - x492 * ( 0.49726916501258805 - 0.8669899064966999 * x794) + x502 =E= 0; e609.. -x492 * (0.5027308349874119 + 0.8669899064966999 * x794) - x493 * ( 0.9972691650125881 - 0.8669899064967003 * x794) + x503 =E= 0; e610.. -x493 * (0.0027308349874119358 + 0.8669899064967003 * x794) - x494 * ( 1.497269165012588 - 0.8669899064966999 * x794) + x504 =E= 0; e611.. -x494 * (-0.49726916501258805 + 0.8669899064966999 * x794) - x495 * ( 1.9972691650125873 - 0.8669899064966996 * x794) + x505 =E= 0; e612.. -x495 * (-0.9972691650125873 + 0.8669899064966996 * x794) - x496 * ( 2.497269165012588 - 0.8669899064966999 * x794) + x506 =E= 0; e613.. -x496 * (-1.497269165012588 + 0.8669899064966999 * x794) - x497 * ( 2.997269165012588 - 0.8669899064966999 * x794) + x507 =E= 0; e614.. -x498 * (2.0018205566582745 + 0.5779932709978 * x794) - x499 * ( -0.6684872233249413 - 0.5779932709978 * x794) + x508 =E= 0; e615.. -x499 * (1.6684872233249413 + 0.5779932709978 * x794) - x500 * ( -0.33515388999160795 - 0.5779932709978 * x794) + x509 =E= 0; e616.. -x500 * (1.335153889991608 + 0.5779932709978 * x794) - x501 * ( -0.0018205566582746233 - 0.5779932709978 * x794) + x510 =E= 0; e617.. -x501 * (1.0018205566582747 + 0.5779932709978 * x794) - x502 * ( 0.33151277667505874 - 0.5779932709978 * x794) + x511 =E= 0; e618.. -x502 * (0.6684872233249413 + 0.5779932709978 * x794) - x503 * ( 0.6648461100083919 - 0.5779932709978001 * x794) + x512 =E= 0; e619.. -x503 * (0.335153889991608 + 0.5779932709978001 * x794) - x504 * ( 0.9981794433417254 - 0.5779932709978 * x794) + x513 =E= 0; e620.. -x504 * (0.0018205566582746233 + 0.5779932709978 * x794) - x505 * ( 1.3315127766750587 - 0.5779932709978 * x794) + x514 =E= 0; e621.. -x505 * (-0.33151277667505874 + 0.5779932709978 * x794) - x506 * ( 1.6648461100083918 - 0.5779932709977998 * x794) + x515 =E= 0; e622.. -x506 * (-0.6648461100083917 + 0.5779932709977998 * x794) - x507 * ( 1.9981794433417255 - 0.5779932709978 * x794) + x516 =E= 0; e623.. 0.5436905998546406 * x508 + 0.12034398033511944 * x509 + 0.6577337686073154 * x510 + 0.5662521717091421 * x511 - 0.1623267545561584 * x512 + 0.35859599640182377 * x513 + 0.19644003251106124 * x514 - 0.0362546925171018 * x515 + 0.6208816140779966 * x516 - x814 =E= 0; e624.. -x794 / (exp(-x794) + 1) + x815 =E= 0; e625.. x769 - 0.024895535163555034 * x814 - 0.0034716957555371215 * x815 =E= 0; e626.. x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 =E= 1; e627.. x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 =E= 1; e628.. x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 =E= 1; e629.. -x787 =L= 3.494577894146449; e630.. 6.399364317783533 * b121 + x787 =L= 3.4865468161628597; e631.. 0.5817603925257755 * b122 - x787 =L= 3.494577894146449; e632.. 5.817603925257757 * b122 + x787 =L= 3.4865468161628597; e633.. 1.1635207850515514 * b123 - x787 =L= 3.494577894146449; e634.. 5.235843532731981 * b123 + x787 =L= 3.4865468161628597; e635.. 1.7452811775773271 * b124 - x787 =L= 3.494577894146449; e636.. 4.654083140206206 * b124 + x787 =L= 3.4865468161628597; e637.. 2.327041570103103 * b125 - x787 =L= 3.494577894146449; e638.. 4.07232274768043 * b125 + x787 =L= 3.4865468161628597; e639.. 2.9088019626288784 * b126 - x787 =L= 3.494577894146449; e640.. 3.4905623551546543 * b126 + x787 =L= 3.4865468161628597; e641.. 3.4905623551546543 * b127 - x787 =L= 3.494577894146449; e642.. 2.9088019626288784 * b127 + x787 =L= 3.4865468161628597; e643.. 4.07232274768043 * b128 - x787 =L= 3.494577894146449; e644.. 2.327041570103103 * b128 + x787 =L= 3.4865468161628597; e645.. 4.654083140206206 * b129 - x787 =L= 3.494577894146449; e646.. 1.7452811775773271 * b129 + x787 =L= 3.4865468161628597; e647.. 5.235843532731981 * b130 - x787 =L= 3.494577894146449; e648.. 1.1635207850515514 * b130 + x787 =L= 3.4865468161628597; e649.. 5.817603925257757 * b131 - x787 =L= 3.494577894146449; e650.. 0.5817603925257755 * b131 + x787 =L= 3.4865468161628597; e651.. 6.399364317783533 * b132 - x787 =L= 3.494577894146449; e652.. x787 =L= 3.4865468161628597; e653.. b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 =E= 1; e654.. -b121 * (6.006902393224746 + 1.7189207323970477 * x787) - b122 * ( -4.006902393224743 - 1.7189207323970463 * x787) + x517 =E= 0; e655.. -b122 * (5.006902393224743 + 1.7189207323970463 * x787) - b123 * ( -3.0069023932247445 - 1.718920732397047 * x787) + x518 =E= 0; e656.. -b123 * (4.0069023932247445 + 1.718920732397047 * x787) - b124 * ( -2.0069023932247445 - 1.718920732397047 * x787) + x519 =E= 0; e657.. -b124 * (3.0069023932247445 + 1.718920732397047 * x787) - b125 * ( -1.0069023932247445 - 1.718920732397047 * x787) + x520 =E= 0; e658.. -b125 * (2.0069023932247445 + 1.718920732397047 * x787) - b126 * ( -0.006902393224744528 - 1.718920732397047 * x787) + x521 =E= 0; e659.. -b126 * (1.0069023932247445 + 1.718920732397047 * x787) - b127 * ( 0.9930976067752554 - 1.718920732397047 * x787) + x522 =E= 0; e660.. -b127 * (0.006902393224744528 + 1.718920732397047 * x787) - b128 * ( 1.9930976067752557 - 1.7189207323970477 * x787) + x523 =E= 0; e661.. -b128 * (-0.9930976067752558 + 1.7189207323970477 * x787) - b129 * ( 2.993097606775254 - 1.7189207323970463 * x787) + x524 =E= 0; e662.. -b129 * (-1.9930976067752542 + 1.7189207323970463 * x787) - b130 * ( 3.993097606775255 - 1.718920732397047 * x787) + x525 =E= 0; e663.. -b130 * (-2.9930976067752555 + 1.718920732397047 * x787) - b131 * ( 4.993097606775254 - 1.7189207323970463 * x787) + x526 =E= 0; e664.. -b131 * (-3.9930976067752537 + 1.7189207323970463 * x787) - b132 * ( 5.993097606775257 - 1.7189207323970477 * x787) + x527 =E= 0; e665.. -x517 * (3.0034511966123723 + 0.8594603661985235 * x787) - x518 * ( -1.503451196612372 - 0.8594603661985234 * x787) + x528 =E= 0; e666.. -x518 * (2.503451196612372 + 0.8594603661985234 * x787) - x519 * ( -1.0034511966123723 - 0.8594603661985235 * x787) + x529 =E= 0; e667.. -x519 * (2.0034511966123723 + 0.8594603661985235 * x787) - x520 * ( -0.5034511966123723 - 0.8594603661985235 * x787) + x530 =E= 0; e668.. -x520 * (1.5034511966123723 + 0.8594603661985235 * x787) - x521 * ( -0.003451196612372264 - 0.8594603661985235 * x787) + x531 =E= 0; e669.. -x521 * (1.0034511966123723 + 0.8594603661985235 * x787) - x522 * ( 0.4965488033876277 - 0.8594603661985235 * x787) + x532 =E= 0; e670.. -x522 * (0.5034511966123723 + 0.8594603661985235 * x787) - x523 * ( 0.9965488033876277 - 0.8594603661985237 * x787) + x533 =E= 0; e671.. -x523 * (0.003451196612372265 + 0.8594603661985237 * x787) - x524 * ( 1.4965488033876277 - 0.8594603661985235 * x787) + x534 =E= 0; e672.. -x524 * (-0.4965488033876277 + 0.8594603661985235 * x787) - x525 * ( 1.9965488033876273 - 0.8594603661985234 * x787) + x535 =E= 0; e673.. -x525 * (-0.9965488033876274 + 0.8594603661985234 * x787) - x526 * ( 2.4965488033876273 - 0.8594603661985234 * x787) + x536 =E= 0; e674.. -x526 * (-1.4965488033876275 + 0.8594603661985234 * x787) - x527 * ( 2.9965488033876277 - 0.8594603661985235 * x787) + x537 =E= 0; e675.. -x528 * (2.002300797741581 + 0.5729735774656823 * x787) - x529 * ( -0.6689674644082482 - 0.5729735774656823 * x787) + x538 =E= 0; e676.. -x529 * (1.6689674644082482 + 0.5729735774656823 * x787) - x530 * ( -0.3356341310749148 - 0.5729735774656823 * x787) + x539 =E= 0; e677.. -x530 * (1.3356341310749147 + 0.5729735774656823 * x787) - x531 * ( -0.002300797741581509 - 0.5729735774656823 * x787) + x540 =E= 0; e678.. -x531 * (1.0023007977415814 + 0.5729735774656823 * x787) - x532 * ( 0.33103253559175183 - 0.5729735774656823 * x787) + x541 =E= 0; e679.. -x532 * (0.6689674644082482 + 0.5729735774656823 * x787) - x533 * ( 0.6643658689250851 - 0.5729735774656824 * x787) + x542 =E= 0; e680.. -x533 * (0.3356341310749149 + 0.5729735774656824 * x787) - x534 * ( 0.9976992022584185 - 0.5729735774656823 * x787) + x543 =E= 0; e681.. -x534 * (0.002300797741581509 + 0.5729735774656823 * x787) - x535 * ( 1.3310325355917518 - 0.5729735774656823 * x787) + x544 =E= 0; e682.. -x535 * (-0.33103253559175183 + 0.5729735774656823 * x787) - x536 * ( 1.6643658689250849 - 0.5729735774656822 * x787) + x545 =E= 0; e683.. -x536 * (-0.6643658689250849 + 0.5729735774656822 * x787) - x537 * ( 1.9976992022584183 - 0.5729735774656823 * x787) + x546 =E= 0; e684.. 0.7218337110242209 * x538 + 0.3974553943008279 * x539 + 0.31295877621519474 * x540 + 0.22017711871245546 * x541 + 0.07262308085203349 * x542 - 0.18417306005842551 * x543 - 0.5013892252323415 * x544 - 0.7951585880704686 * x545 - 1.0725124073777004 * x546 - x816 =E= 0; e685.. -x787 / (exp(-x787) + 1) + x817 =E= 0; e686.. x771 - 1.2556756055293903 * x816 - 0.877214706316262 * x817 =E= 0; e687.. x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 =E= 1; e688.. x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 =E= 1; e689.. x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 =E= 1; e690.. -x789 =L= 3.4933883986386065; e691.. 6.3420594008629205 * b133 + x789 =L= 3.4252218568482165; e692.. 0.576550854623902 * b134 - x789 =L= 3.4933883986386065; e693.. 5.765508546239019 * b134 + x789 =L= 3.4252218568482165; e694.. 1.153101709247804 * b135 - x789 =L= 3.4933883986386065; e695.. 5.188957691615117 * b135 + x789 =L= 3.4252218568482165; e696.. 1.7296525638717057 * b136 - x789 =L= 3.4933883986386065; e697.. 4.612406836991216 * b136 + x789 =L= 3.4252218568482165; e698.. 2.3062034184956075 * b137 - x789 =L= 3.4933883986386065; e699.. 4.0358559823673135 * b137 + x789 =L= 3.4252218568482165; e700.. 2.8827542731195095 * b138 - x789 =L= 3.4933883986386065; e701.. 3.4593051277434115 * b138 + x789 =L= 3.4252218568482165; e702.. 3.4593051277434115 * b139 - x789 =L= 3.4933883986386065; e703.. 2.8827542731195095 * b139 + x789 =L= 3.4252218568482165; e704.. 4.0358559823673135 * b140 - x789 =L= 3.4933883986386065; e705.. 2.306203418495608 * b140 + x789 =L= 3.4252218568482165; e706.. 4.612406836991215 * b141 - x789 =L= 3.4933883986386065; e707.. 1.7296525638717057 * b141 + x789 =L= 3.4252218568482165; e708.. 5.188957691615117 * b142 - x789 =L= 3.4933883986386065; e709.. 1.153101709247804 * b142 + x789 =L= 3.4252218568482165; e710.. 5.765508546239019 * b143 - x789 =L= 3.4933883986386065; e711.. 0.576550854623902 * b143 + x789 =L= 3.4252218568482165; e712.. 6.3420594008629205 * b144 - x789 =L= 3.4933883986386065; e713.. x789 =L= 3.4252218568482165; e714.. b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 =E= 1; e715.. -b133 * (6.05911581020451 + 1.7344523765424371 * x789) - b134 * ( -4.05911581020451 - 1.7344523765424371 * x789) + x547 =E= 0; e716.. -b134 * (5.05911581020451 + 1.7344523765424371 * x789) - b135 * ( -3.0591158102045113 - 1.7344523765424378 * x789) + x548 =E= 0; e717.. -b135 * (4.059115810204512 + 1.7344523765424378 * x789) - b136 * ( -2.0591158102045113 - 1.7344523765424378 * x789) + x549 =E= 0; e718.. -b136 * (3.0591158102045113 + 1.7344523765424378 * x789) - b137 * ( -1.0591158102045106 - 1.7344523765424371 * x789) + x550 =E= 0; e719.. -b137 * (2.059115810204511 + 1.7344523765424371 * x789) - b138 * ( -0.0591158102045107 - 1.7344523765424371 * x789) + x551 =E= 0; e720.. -b138 * (1.0591158102045106 + 1.7344523765424371 * x789) - b139 * ( 0.9408841897954893 - 1.7344523765424378 * x789) + x552 =E= 0; e721.. -b139 * (0.05911581020451072 + 1.7344523765424378 * x789) - b140 * ( 1.940884189795489 - 1.7344523765424371 * x789) + x553 =E= 0; e722.. -b140 * (-0.9408841897954889 + 1.7344523765424371 * x789) - b141 * ( 2.9408841897954887 - 1.7344523765424371 * x789) + x554 =E= 0; e723.. -b141 * (-1.940884189795489 + 1.7344523765424371 * x789) - b142 * ( 3.94088418979549 - 1.7344523765424378 * x789) + x555 =E= 0; e724.. -b142 * (-2.94088418979549 + 1.7344523765424378 * x789) - b143 * ( 4.940884189795488 - 1.7344523765424371 * x789) + x556 =E= 0; e725.. -b143 * (-3.9408841897954883 + 1.7344523765424371 * x789) - b144 * ( 5.940884189795488 - 1.7344523765424371 * x789) + x557 =E= 0; e726.. -x547 * (3.029557905102255 + 0.8672261882712186 * x789) - x548 * ( -1.5295579051022554 - 0.8672261882712188 * x789) + x558 =E= 0; e727.. -x548 * (2.5295579051022554 + 0.8672261882712188 * x789) - x549 * ( -1.0295579051022556 - 0.8672261882712189 * x789) + x559 =E= 0; e728.. -x549 * (2.029557905102256 + 0.8672261882712189 * x789) - x550 * ( -0.5295579051022554 - 0.8672261882712188 * x789) + x560 =E= 0; e729.. -x550 * (1.5295579051022554 + 0.8672261882712188 * x789) - x551 * ( -0.02955790510225535 - 0.8672261882712186 * x789) + x561 =E= 0; e730.. -x551 * (1.0295579051022554 + 0.8672261882712186 * x789) - x552 * ( 0.4704420948977446 - 0.8672261882712188 * x789) + x562 =E= 0; e731.. -x552 * (0.5295579051022554 + 0.8672261882712188 * x789) - x553 * ( 0.9704420948977447 - 0.8672261882712188 * x789) + x563 =E= 0; e732.. -x553 * (0.029557905102255356 + 0.8672261882712188 * x789) - x554 * ( 1.4704420948977444 - 0.8672261882712186 * x789) + x564 =E= 0; e733.. -x554 * (-0.47044209489774447 + 0.8672261882712186 * x789) - x555 * ( 1.9704420948977448 - 0.8672261882712188 * x789) + x565 =E= 0; e734.. -x555 * (-0.9704420948977447 + 0.8672261882712188 * x789) - x556 * ( 2.470442094897745 - 0.8672261882712188 * x789) + x566 =E= 0; e735.. -x556 * (-1.4704420948977448 + 0.8672261882712188 * x789) - x557 * ( 2.970442094897744 - 0.8672261882712186 * x789) + x567 =E= 0; e736.. -x558 * (2.01970527006817 + 0.5781507921808124 * x789) - x559 * ( -0.6863719367348371 - 0.5781507921808126 * x789) + x568 =E= 0; e737.. -x559 * (1.686371936734837 + 0.5781507921808126 * x789) - x560 * ( -0.35303860340150367 - 0.5781507921808126 * x789) + x569 =E= 0; e738.. -x560 * (1.3530386034015036 + 0.5781507921808126 * x789) - x561 * ( -0.019705270068170234 - 0.5781507921808124 * x789) + x570 =E= 0; e739.. -x561 * (1.0197052700681701 + 0.5781507921808124 * x789) - x562 * ( 0.313628063265163 - 0.5781507921808124 * x789) + x571 =E= 0; e740.. -x562 * (0.686371936734837 + 0.5781507921808124 * x789) - x563 * ( 0.6469613965984964 - 0.5781507921808124 * x789) + x572 =E= 0; e741.. -x563 * (0.3530386034015036 + 0.5781507921808124 * x789) - x564 * ( 0.9802947299318298 - 0.5781507921808124 * x789) + x573 =E= 0; e742.. -x564 * (0.019705270068170234 + 0.5781507921808124 * x789) - x565 * ( 1.313628063265163 - 0.5781507921808124 * x789) + x574 =E= 0; e743.. -x565 * (-0.313628063265163 + 0.5781507921808124 * x789) - x566 * ( 1.6469613965984964 - 0.5781507921808124 * x789) + x575 =E= 0; e744.. -x566 * (-0.6469613965984964 + 0.5781507921808124 * x789) - x567 * ( 1.9802947299318296 - 0.5781507921808124 * x789) + x576 =E= 0; e745.. 0.054125555876341006 * x568 + 0.5101031698632487 * x569 - 0.22947730706078232 * x570 - 0.41927014102520327 * x571 - 0.6688638637462687 * x572 - 0.6287172032208381 * x573 - 0.814160023399598 * x574 - 1.1439111659705394 * x575 + 0.6022159849190166 * x576 - x818 =E= 0; e746.. -x789 / (exp(-x789) + 1) + x819 =E= 0; e747.. x772 - 0.26058626589663847 * x818 - 0.005787194338576888 * x819 =E= 0; e748.. x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 =E= 1; e749.. x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 =E= 1; e750.. x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 =E= 1; e751.. -x791 =L= 3.4622426273917184; e752.. 6.359219297851837 * b145 + x791 =L= 3.4750875157193764; e753.. 0.5781108452592578 * b146 - x791 =L= 3.4622426273917184; e754.. 5.781108452592579 * b146 + x791 =L= 3.4750875157193764; e755.. 1.1562216905185156 * b147 - x791 =L= 3.4622426273917184; e756.. 5.202997607333321 * b147 + x791 =L= 3.4750875157193764; e757.. 1.7343325357777737 * b148 - x791 =L= 3.4622426273917184; e758.. 4.6248867620740635 * b148 + x791 =L= 3.4750875157193764; e759.. 2.3124433810370313 * b149 - x791 =L= 3.4622426273917184; e760.. 4.046775916814806 * b149 + x791 =L= 3.4750875157193764; e761.. 2.890554226296289 * b150 - x791 =L= 3.4622426273917184; e762.. 3.4686650715555474 * b150 + x791 =L= 3.4750875157193764; e763.. 3.4686650715555474 * b151 - x791 =L= 3.4622426273917184; e764.. 2.89055422629629 * b151 + x791 =L= 3.4750875157193764; e765.. 4.046775916814805 * b152 - x791 =L= 3.4622426273917184; e766.. 2.312443381037032 * b152 + x791 =L= 3.4750875157193764; e767.. 4.624886762074063 * b153 - x791 =L= 3.4622426273917184; e768.. 1.7343325357777737 * b153 + x791 =L= 3.4750875157193764; e769.. 5.202997607333321 * b154 - x791 =L= 3.4622426273917184; e770.. 1.1562216905185156 * b154 + x791 =L= 3.4750875157193764; e771.. 5.781108452592579 * b155 - x791 =L= 3.4622426273917184; e772.. 0.5781108452592578 * b155 + x791 =L= 3.4750875157193764; e773.. 6.359219297851837 * b156 - x791 =L= 3.4622426273917184; e774.. x791 =L= 3.4750875157193764; e775.. b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 =E= 1; e776.. -b145 * (5.988890635391993 + 1.729772081254665 * x791) - b146 * ( -3.9888906353919924 - 1.729772081254665 * x791) + x577 =E= 0; e777.. -b146 * (4.988890635391993 + 1.729772081254665 * x791) - b147 * ( -2.988890635391991 - 1.7297720812546644 * x791) + x578 =E= 0; e778.. -b147 * (3.988890635391991 + 1.7297720812546644 * x791) - b148 * ( -1.9888906353919922 - 1.729772081254665 * x791) + x579 =E= 0; e779.. -b148 * (2.988890635391992 + 1.729772081254665 * x791) - b149 * ( -0.9888906353919921 - 1.729772081254665 * x791) + x580 =E= 0; e780.. -b149 * (1.9888906353919922 + 1.729772081254665 * x791) - b150 * ( 0.011109364608008323 - 1.7297720812546644 * x791) + x581 =E= 0; e781.. -b150 * (0.9888906353919917 + 1.7297720812546644 * x791) - b151 * ( 1.0111093646080083 - 1.7297720812546657 * x791) + x582 =E= 0; e782.. -b151 * (-0.011109364608008331 + 1.7297720812546657 * x791) - b152 * ( 2.011109364608008 - 1.729772081254665 * x791) + x583 =E= 0; e783.. -b152 * (-1.011109364608008 + 1.729772081254665 * x791) - b153 * ( 3.0111093646080067 - 1.7297720812546638 * x791) + x584 =E= 0; e784.. -b153 * (-2.0111093646080063 + 1.7297720812546638 * x791) - b154 * ( 4.011109364608008 - 1.7297720812546644 * x791) + x585 =E= 0; e785.. -b154 * (-3.0111093646080076 + 1.7297720812546644 * x791) - b155 * ( 5.011109364608009 - 1.729772081254665 * x791) + x586 =E= 0; e786.. -b155 * (-4.011109364608009 + 1.729772081254665 * x791) - b156 * ( 6.011109364608009 - 1.729772081254665 * x791) + x587 =E= 0; e787.. -x577 * (2.9944453176959964 + 0.8648860406273325 * x791) - x578 * ( -1.4944453176959958 - 0.8648860406273323 * x791) + x588 =E= 0; e788.. -x578 * (2.4944453176959955 + 0.8648860406273323 * x791) - x579 * ( -0.9944453176959958 - 0.8648860406273323 * x791) + x589 =E= 0; e789.. -x579 * (1.9944453176959958 + 0.8648860406273323 * x791) - x580 * ( -0.49444531769599603 - 0.8648860406273325 * x791) + x590 =E= 0; e790.. -x580 * (1.494445317695996 + 0.8648860406273325 * x791) - x581 * ( 0.005554682304004162 - 0.8648860406273323 * x791) + x591 =E= 0; e791.. -x581 * (0.9944453176959958 + 0.8648860406273323 * x791) - x582 * ( 0.505554682304004 - 0.8648860406273325 * x791) + x592 =E= 0; e792.. -x582 * (0.49444531769599603 + 0.8648860406273325 * x791) - x583 * ( 1.0055546823040042 - 0.8648860406273327 * x791) + x593 =E= 0; e793.. -x583 * (-0.005554682304004165 + 0.8648860406273327 * x791) - x584 * ( 1.5055546823040038 - 0.8648860406273322 * x791) + x594 =E= 0; e794.. -x584 * (-0.5055546823040038 + 0.8648860406273322 * x791) - x585 * ( 2.005554682304003 - 0.864886040627332 * x791) + x595 =E= 0; e795.. -x585 * (-1.0055546823040034 + 0.864886040627332 * x791) - x586 * ( 2.505554682304004 - 0.8648860406273323 * x791) + x596 =E= 0; e796.. -x586 * (-1.505554682304004 + 0.8648860406273323 * x791) - x587 * ( 3.0055546823040045 - 0.8648860406273325 * x791) + x597 =E= 0; e797.. -x588 * (1.9962968784639972 + 0.5765906937515549 * x791) - x589 * ( -0.6629635451306639 - 0.5765906937515549 * x791) + x598 =E= 0; e798.. -x589 * (1.662963545130664 + 0.5765906937515549 * x791) - x590 * ( -0.32963021179733065 - 0.5765906937515549 * x791) + x599 =E= 0; e799.. -x590 * (1.3296302117973307 + 0.5765906937515549 * x791) - x591 * ( 0.0037031215360027753 - 0.5765906937515549 * x791) + x600 =E= 0; e800.. -x591 * (0.9962968784639972 + 0.5765906937515549 * x791) - x592 * ( 0.337036454869336 - 0.576590693751555 * x791) + x601 =E= 0; e801.. -x592 * (0.662963545130664 + 0.576590693751555 * x791) - x593 * ( 0.6703697882026693 - 0.576590693751555 * x791) + x602 =E= 0; e802.. -x593 * (0.3296302117973307 + 0.576590693751555 * x791) - x594 * ( 1.0037031215360028 - 0.5765906937515549 * x791) + x603 =E= 0; e803.. -x594 * (-0.0037031215360027753 + 0.5765906937515549 * x791) - x595 * ( 1.3370364548693359 - 0.5765906937515548 * x791) + x604 =E= 0; e804.. -x595 * (-0.33703645486933587 + 0.5765906937515548 * x791) - x596 * ( 1.6703697882026691 - 0.5765906937515548 * x791) + x605 =E= 0; e805.. -x596 * (-0.6703697882026691 + 0.5765906937515548 * x791) - x597 * ( 2.003703121536003 - 0.5765906937515549 * x791) + x606 =E= 0; e806.. 0.4807583517520226 * x598 + 0.033426067213102366 * x599 - 0.3077445896248505 * x600 - 0.47421334700826384 * x601 - 0.6013701731205872 * x602 - 0.7604250436589819 * x603 - 0.8168675995305613 * x604 - 0.6494015145702796 * x605 - 0.21542598789501785 * x606 - x820 =E= 0; e807.. -x791 / (exp(-x791) + 1) + x821 =E= 0; e808.. x773 - 0.40806282179997716 * x820 - 0.1029631994002745 * x821 =E= 0; e809.. x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 =E= 1; e810.. x588 + x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 =E= 1; e811.. x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 =E= 1; e812.. -x793 =L= 3.4778852110870773; e813.. 6.379594998703661 * b157 + x793 =L= 3.481672969316916; e814.. 0.5799631817003328 * b158 - x793 =L= 3.4778852110870773; e815.. 5.799631817003328 * b158 + x793 =L= 3.481672969316916; e816.. 1.1599263634006656 * b159 - x793 =L= 3.4778852110870773; e817.. 5.219668635302995 * b159 + x793 =L= 3.481672969316916; e818.. 1.7398895451009986 * b160 - x793 =L= 3.4778852110870773; e819.. 4.639705453602662 * b160 + x793 =L= 3.481672969316916; e820.. 2.319852726801331 * b161 - x793 =L= 3.4778852110870773; e821.. 4.059742271902329 * b161 + x793 =L= 3.481672969316916; e822.. 2.8998159085016644 * b162 - x793 =L= 3.4778852110870773; e823.. 3.4797790902019967 * b162 + x793 =L= 3.481672969316916; e824.. 3.4797790902019967 * b163 - x793 =L= 3.4778852110870773; e825.. 2.8998159085016635 * b163 + x793 =L= 3.481672969316916; e826.. 4.05974227190233 * b164 - x793 =L= 3.4778852110870773; e827.. 2.319852726801331 * b164 + x793 =L= 3.481672969316916; e828.. 4.639705453602662 * b165 - x793 =L= 3.4778852110870773; e829.. 1.7398895451009981 * b165 + x793 =L= 3.481672969316916; e830.. 5.2196686353029955 * b166 - x793 =L= 3.4778852110870773; e831.. 1.1599263634006656 * b166 + x793 =L= 3.481672969316916; e832.. 5.799631817003328 * b167 - x793 =L= 3.4778852110870773; e833.. 0.5799631817003328 * b167 + x793 =L= 3.481672969316916; e834.. 6.379594998703661 * b168 - x793 =L= 3.4778852110870773; e835.. x793 =L= 3.481672969316916; e836.. b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 =E= 1; e837.. -b157 * (5.996734483886776 + 1.7242473859602703 * x793) - b158 * ( -3.9967344838867755 - 1.7242473859602703 * x793) + x607 =E= 0; e838.. -b158 * (4.996734483886776 + 1.7242473859602703 * x793) - b159 * ( -2.996734483886774 - 1.7242473859602696 * x793) + x608 =E= 0; e839.. -b159 * (3.996734483886774 + 1.7242473859602696 * x793) - b160 * ( -1.996734483886775 - 1.7242473859602703 * x793) + x609 =E= 0; e840.. -b160 * (2.996734483886775 + 1.7242473859602703 * x793) - b161 * ( -0.9967344838867751 - 1.7242473859602703 * x793) + x610 =E= 0; e841.. -b161 * (1.996734483886775 + 1.7242473859602703 * x793) - b162 * ( 0.003265516113224995 - 1.7242473859602703 * x793) + x611 =E= 0; e842.. -b162 * (0.9967344838867751 + 1.7242473859602703 * x793) - b163 * ( 1.0032655161132251 - 1.7242473859602703 * x793) + x612 =E= 0; e843.. -b163 * (-0.003265516113224995 + 1.7242473859602703 * x793) - b164 * ( 2.003265516113226 - 1.7242473859602714 * x793) + x613 =E= 0; e844.. -b164 * (-1.0032655161132258 + 1.7242473859602714 * x793) - b165 * ( 3.0032655161132227 - 1.724247385960269 * x793) + x614 =E= 0; e845.. -b165 * (-2.0032655161132227 + 1.724247385960269 * x793) - b166 * ( 4.003265516113226 - 1.7242473859602707 * x793) + x615 =E= 0; e846.. -b166 * (-3.003265516113226 + 1.7242473859602707 * x793) - b167 * ( 5.003265516113225 - 1.7242473859602703 * x793) + x616 =E= 0; e847.. -b167 * (-4.003265516113225 + 1.7242473859602703 * x793) - b168 * ( 6.003265516113225 - 1.7242473859602703 * x793) + x617 =E= 0; e848.. -x607 * (2.998367241943388 + 0.8621236929801351 * x793) - x608 * ( -1.498367241943387 - 0.8621236929801349 * x793) + x618 =E= 0; e849.. -x608 * (2.498367241943387 + 0.8621236929801349 * x793) - x609 * ( -0.9983672419433873 - 0.8621236929801349 * x793) + x619 =E= 0; e850.. -x609 * (1.9983672419433873 + 0.8621236929801349 * x793) - x610 * ( -0.49836724194338755 - 0.8621236929801351 * x793) + x620 =E= 0; e851.. -x610 * (1.4983672419433876 + 0.8621236929801351 * x793) - x611 * ( 0.0016327580566124975 - 0.8621236929801351 * x793) + x621 =E= 0; e852.. -x611 * (0.9983672419433876 + 0.8621236929801351 * x793) - x612 * ( 0.5016327580566126 - 0.8621236929801351 * x793) + x622 =E= 0; e853.. -x612 * (0.49836724194338755 + 0.8621236929801351 * x793) - x613 * ( 1.0016327580566124 - 0.8621236929801354 * x793) + x623 =E= 0; e854.. -x613 * (-0.0016327580566124979 + 0.8621236929801354 * x793) - x614 * ( 1.5016327580566127 - 0.8621236929801351 * x793) + x624 =E= 0; e855.. -x614 * (-0.5016327580566126 + 0.8621236929801351 * x793) - x615 * ( 2.001632758056612 - 0.8621236929801349 * x793) + x625 =E= 0; e856.. -x615 * (-1.001632758056612 + 0.8621236929801349 * x793) - x616 * ( 2.501632758056613 - 0.8621236929801352 * x793) + x626 =E= 0; e857.. -x616 * (-1.501632758056613 + 0.8621236929801352 * x793) - x617 * ( 3.0016327580566124 - 0.8621236929801351 * x793) + x627 =E= 0; e858.. -x618 * (1.9989114946289248 + 0.5747491286534233 * x793) - x619 * ( -0.6655781612955916 - 0.5747491286534233 * x793) + x628 =E= 0; e859.. -x619 * (1.6655781612955916 + 0.5747491286534233 * x793) - x620 * ( -0.3322448279622583 - 0.5747491286534233 * x793) + x629 =E= 0; e860.. -x620 * (1.3322448279622583 + 0.5747491286534233 * x793) - x621 * ( 0.0010885053710749982 - 0.5747491286534234 * x793) + x630 =E= 0; e861.. -x621 * (0.998911494628925 + 0.5747491286534234 * x793) - x622 * ( 0.33442183870440834 - 0.5747491286534234 * x793) + x631 =E= 0; e862.. -x622 * (0.6655781612955917 + 0.5747491286534234 * x793) - x623 * ( 0.6677551720377416 - 0.5747491286534235 * x793) + x632 =E= 0; e863.. -x623 * (0.3322448279622584 + 0.5747491286534235 * x793) - x624 * ( 1.001088505371075 - 0.5747491286534234 * x793) + x633 =E= 0; e864.. -x624 * (-0.0010885053710749982 + 0.5747491286534234 * x793) - x625 * ( 1.3344218387044082 - 0.5747491286534234 * x793) + x634 =E= 0; e865.. -x625 * (-0.33442183870440834 + 0.5747491286534234 * x793) - x626 * ( 1.6677551720377413 - 0.5747491286534233 * x793) + x635 =E= 0; e866.. -x626 * (-0.6677551720377414 + 0.5747491286534233 * x793) - x627 * ( 2.001088505371075 - 0.5747491286534234 * x793) + x636 =E= 0; e867.. -0.1863797898166067 * x628 + 0.8880970900272306 * x629 + 0.4970124257859867 * x630 + 0.5445496898010109 * x631 + 0.3867272799132992 * x632 - 0.1912228231415876 * x633 - 1.3515759059980024 * x634 - 1.8654349023268566 * x635 - 0.3172011579850725 * x636 - x822 =E= 0; e868.. -x793 / (exp(-x793) + 1) + x823 =E= 0; e869.. x774 - 0.13962551108491317 * x822 - 0.11461290655375639 * x823 =E= 0; e870.. x607 + x608 + x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 =E= 1; e871.. x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 =E= 1; e872.. x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 =E= 1; e873.. -x795 =L= 3.463397684894318; e874.. 6.3437878097384 * b169 + x795 =L= 3.4570981075475724; e875.. 0.5767079827034909 * b170 - x795 =L= 3.463397684894318; e876.. 5.767079827034909 * b170 + x795 =L= 3.4570981075475724; e877.. 1.1534159654069818 * b171 - x795 =L= 3.463397684894318; e878.. 5.190371844331418 * b171 + x795 =L= 3.4570981075475724; e879.. 1.7301239481104727 * b172 - x795 =L= 3.463397684894318; e880.. 4.613663861627927 * b172 + x795 =L= 3.4570981075475724; e881.. 2.3068319308139635 * b173 - x795 =L= 3.463397684894318; e882.. 4.036955878924436 * b173 + x795 =L= 3.4570981075475724; e883.. 2.8835399135174544 * b174 - x795 =L= 3.463397684894318; e884.. 3.4602478962209453 * b174 + x795 =L= 3.4570981075475724; e885.. 3.4602478962209453 * b175 - x795 =L= 3.463397684894318; e886.. 2.8835399135174544 * b175 + x795 =L= 3.4570981075475724; e887.. 4.036955878924436 * b176 - x795 =L= 3.463397684894318; e888.. 2.306831930813964 * b176 + x795 =L= 3.4570981075475724; e889.. 4.613663861627927 * b177 - x795 =L= 3.463397684894318; e890.. 1.7301239481104727 * b177 + x795 =L= 3.4570981075475724; e891.. 5.190371844331418 * b178 - x795 =L= 3.463397684894318; e892.. 1.1534159654069818 * b178 + x795 =L= 3.4570981075475724; e893.. 5.767079827034909 * b179 - x795 =L= 3.463397684894318; e894.. 0.5767079827034909 * b179 + x795 =L= 3.4570981075475724; e895.. 6.3437878097384 * b180 - x795 =L= 3.463397684894318; e896.. x795 =L= 3.4570981075475724; e897.. b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 =E= 1; e898.. -b169 * (6.005461669974824 + 1.7339798129933999 * x795) - b170 * ( -4.005461669974824 - 1.7339798129933999 * x795) + x637 =E= 0; e899.. -b170 * (5.005461669974824 + 1.7339798129933999 * x795) - b171 * ( -3.005461669974824 - 1.7339798129933999 * x795) + x638 =E= 0; e900.. -b171 * (4.005461669974824 + 1.7339798129933999 * x795) - b172 * ( -2.005461669974824 - 1.7339798129933999 * x795) + x639 =E= 0; e901.. -b172 * (3.005461669974824 + 1.7339798129933999 * x795) - b173 * ( -1.0054616699748238 - 1.7339798129933999 * x795) + x640 =E= 0; e902.. -b173 * (2.005461669974824 + 1.7339798129933999 * x795) - b174 * ( -0.00546166997482387 - 1.7339798129933999 * x795) + x641 =E= 0; e903.. -b174 * (1.0054616699748238 + 1.7339798129933999 * x795) - b175 * ( 0.9945383300251761 - 1.7339798129933999 * x795) + x642 =E= 0; e904.. -b175 * (0.00546166997482387 + 1.7339798129933999 * x795) - b176 * ( 1.9945383300251769 - 1.7339798129934012 * x795) + x643 =E= 0; e905.. -b176 * (-0.9945383300251769 + 1.7339798129934012 * x795) - b177 * ( 2.9945383300251738 - 1.7339798129933985 * x795) + x644 =E= 0; e906.. -b177 * (-1.9945383300251738 + 1.7339798129933985 * x795) - b178 * ( 3.994538330025176 - 1.7339798129933999 * x795) + x645 =E= 0; e907.. -b178 * (-2.994538330025176 + 1.7339798129933999 * x795) - b179 * ( 4.994538330025176 - 1.7339798129933999 * x795) + x646 =E= 0; e908.. -b179 * (-3.994538330025176 + 1.7339798129933999 * x795) - b180 * ( 5.994538330025176 - 1.7339798129933999 * x795) + x647 =E= 0; e909.. -x637 * (3.002730834987412 + 0.8669899064966999 * x795) - x638 * ( -1.502730834987412 - 0.8669899064966999 * x795) + x648 =E= 0; e910.. -x638 * (2.502730834987412 + 0.8669899064966999 * x795) - x639 * ( -1.002730834987412 - 0.8669899064966999 * x795) + x649 =E= 0; e911.. -x639 * (2.002730834987412 + 0.8669899064966999 * x795) - x640 * ( -0.5027308349874119 - 0.8669899064966999 * x795) + x650 =E= 0; e912.. -x640 * (1.502730834987412 + 0.8669899064966999 * x795) - x641 * ( -0.002730834987411935 - 0.8669899064966999 * x795) + x651 =E= 0; e913.. -x641 * (1.002730834987412 + 0.8669899064966999 * x795) - x642 * ( 0.49726916501258805 - 0.8669899064966999 * x795) + x652 =E= 0; e914.. -x642 * (0.5027308349874119 + 0.8669899064966999 * x795) - x643 * ( 0.9972691650125881 - 0.8669899064967003 * x795) + x653 =E= 0; e915.. -x643 * (0.0027308349874119358 + 0.8669899064967003 * x795) - x644 * ( 1.497269165012588 - 0.8669899064966999 * x795) + x654 =E= 0; e916.. -x644 * (-0.49726916501258805 + 0.8669899064966999 * x795) - x645 * ( 1.9972691650125873 - 0.8669899064966996 * x795) + x655 =E= 0; e917.. -x645 * (-0.9972691650125873 + 0.8669899064966996 * x795) - x646 * ( 2.497269165012588 - 0.8669899064966999 * x795) + x656 =E= 0; e918.. -x646 * (-1.497269165012588 + 0.8669899064966999 * x795) - x647 * ( 2.997269165012588 - 0.8669899064966999 * x795) + x657 =E= 0; e919.. -x648 * (2.0018205566582745 + 0.5779932709978 * x795) - x649 * ( -0.6684872233249413 - 0.5779932709978 * x795) + x658 =E= 0; e920.. -x649 * (1.6684872233249413 + 0.5779932709978 * x795) - x650 * ( -0.33515388999160795 - 0.5779932709978 * x795) + x659 =E= 0; e921.. -x650 * (1.335153889991608 + 0.5779932709978 * x795) - x651 * ( -0.0018205566582746233 - 0.5779932709978 * x795) + x660 =E= 0; e922.. -x651 * (1.0018205566582747 + 0.5779932709978 * x795) - x652 * ( 0.33151277667505874 - 0.5779932709978 * x795) + x661 =E= 0; e923.. -x652 * (0.6684872233249413 + 0.5779932709978 * x795) - x653 * ( 0.6648461100083919 - 0.5779932709978001 * x795) + x662 =E= 0; e924.. -x653 * (0.335153889991608 + 0.5779932709978001 * x795) - x654 * ( 0.9981794433417254 - 0.5779932709978 * x795) + x663 =E= 0; e925.. -x654 * (0.0018205566582746233 + 0.5779932709978 * x795) - x655 * ( 1.3315127766750587 - 0.5779932709978 * x795) + x664 =E= 0; e926.. -x655 * (-0.33151277667505874 + 0.5779932709978 * x795) - x656 * ( 1.6648461100083918 - 0.5779932709977998 * x795) + x665 =E= 0; e927.. -x656 * (-0.6648461100083917 + 0.5779932709977998 * x795) - x657 * ( 1.9981794433417255 - 0.5779932709978 * x795) + x666 =E= 0; e928.. 0.49312916416169245 * x658 - 0.09230723184195685 * x659 - 0.2530678707743597 * x660 + 0.18605382349817315 * x661 - 0.2440356594867059 * x662 + 0.640074065107753 * x663 + 1.4728526266546738 * x664 + 0.36634880188374347 * x665 - 1.0444288084131932 * x666 - x824 =E= 0; e929.. -x795 / (exp(-x795) + 1) + x825 =E= 0; e930.. x775 - 0.5084344614229435 * x824 + 1.8818890699605484 * x825 =E= 0; e931.. x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 + x645 + x646 + x647 =E= 1; e932.. x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 =E= 1; e933.. x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 =E= 1; e934.. x826 - x827 - x828 - x829 =E= 0.9592255465994355; e935.. -x758 + x830 =E= 0; e936.. -x764 + x831 =E= 0; e937.. -x770 + x832 =E= 0; e938.. 1439.6298856740555 * x826 - x833 =E= -1975.955959593862; e939.. -x830 =L= 3.6800621410309895; e940.. 8.271223772020484 * b181 + x830 =L= 5.343091064809539; e941.. 0.751929433820044 * b182 - x830 =L= 3.6800621410309895; e942.. 7.5192943382004405 * b182 + x830 =L= 5.343091064809539; e943.. 1.503858867640088 * b183 - x830 =L= 3.6800621410309895; e944.. 6.767364904380397 * b183 + x830 =L= 5.343091064809539; e945.. 2.2557883014601323 * b184 - x830 =L= 3.6800621410309895; e946.. 6.0154354705603525 * b184 + x830 =L= 5.343091064809539; e947.. 3.0077177352801763 * b185 - x830 =L= 3.6800621410309895; e948.. 5.263506036740308 * b185 + x830 =L= 5.343091064809539; e949.. 3.7596471691002202 * b186 - x830 =L= 3.6800621410309895; e950.. 4.511576602920265 * b186 + x830 =L= 5.343091064809539; e951.. 4.511576602920265 * b187 - x830 =L= 3.6800621410309895; e952.. 3.7596471691002202 * b187 + x830 =L= 5.343091064809539; e953.. 5.263506036740308 * b188 - x830 =L= 3.6800621410309895; e954.. 3.0077177352801767 * b188 + x830 =L= 5.343091064809539; e955.. 6.015435470560352 * b189 - x830 =L= 3.6800621410309895; e956.. 2.2557883014601323 * b189 + x830 =L= 5.343091064809539; e957.. 6.767364904380397 * b190 - x830 =L= 3.6800621410309895; e958.. 1.5038588676400884 * b190 + x830 =L= 5.343091064809539; e959.. 7.5192943382004405 * b191 - x830 =L= 3.6800621410309895; e960.. 0.7519294338200444 * b191 + x830 =L= 5.343091064809539; e961.. 8.271223772020484 * b192 - x830 =L= 3.6800621410309895; e962.. x830 =L= 5.343091064809539; e963.. b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 =E= 1; e964.. -b181 * (4.89415891373621 + 1.329912030334652 * x830) - b182 * ( -2.89415891373621 - 1.329912030334652 * x830) + x667 =E= 0; e965.. -b182 * (3.89415891373621 + 1.329912030334652 * x830) - b183 * ( -1.894158913736209 - 1.3299120303346517 * x830) + x668 =E= 0; e966.. -b183 * (2.894158913736209 + 1.3299120303346517 * x830) - b184 * ( -0.8941589137362091 - 1.3299120303346519 * x830) + x669 =E= 0; e967.. -b184 * (1.8941589137362091 + 1.3299120303346519 * x830) - b185 * ( 0.1058410862637909 - 1.3299120303346519 * x830) + x670 =E= 0; e968.. -b185 * (0.8941589137362091 + 1.3299120303346519 * x830) - b186 * ( 1.1058410862637909 - 1.3299120303346517 * x830) + x671 =E= 0; e969.. -b186 * (-0.10584108626379089 + 1.3299120303346517 * x830) - b187 * ( 2.1058410862637915 - 1.329912030334652 * x830) + x672 =E= 0; e970.. -b187 * (-1.1058410862637913 + 1.329912030334652 * x830) - b188 * ( 3.1058410862637915 - 1.3299120303346523 * x830) + x673 =E= 0; e971.. -b188 * (-2.1058410862637915 + 1.3299120303346523 * x830) - b189 * ( 4.105841086263789 - 1.3299120303346512 * x830) + x674 =E= 0; e972.. -b189 * (-3.1058410862637893 + 1.3299120303346512 * x830) - b190 * ( 5.1058410862637915 - 1.329912030334652 * x830) + x675 =E= 0; e973.. -b190 * (-4.1058410862637915 + 1.329912030334652 * x830) - b191 * ( 6.105841086263792 - 1.329912030334652 * x830) + x676 =E= 0; e974.. -b191 * (-5.1058410862637915 + 1.329912030334652 * x830) - b192 * ( 7.105841086263788 - 1.3299120303346512 * x830) + x677 =E= 0; e975.. -x667 * (2.447079456868105 + 0.664956015167326 * x830) - x668 * ( -0.9470794568681046 - 0.6649560151673259 * x830) + x678 =E= 0; e976.. -x668 * (1.9470794568681047 + 0.6649560151673259 * x830) - x669 * ( -0.4470794568681045 - 0.6649560151673258 * x830) + x679 =E= 0; e977.. -x669 * (1.4470794568681045 + 0.6649560151673258 * x830) - x670 * ( 0.05292054313189545 - 0.6649560151673259 * x830) + x680 =E= 0; e978.. -x670 * (0.9470794568681046 + 0.6649560151673259 * x830) - x671 * ( 0.5529205431318954 - 0.6649560151673258 * x830) + x681 =E= 0; e979.. -x671 * (0.4470794568681045 + 0.6649560151673258 * x830) - x672 * ( 1.0529205431318955 - 0.6649560151673259 * x830) + x682 =E= 0; e980.. -x672 * (-0.05292054313189545 + 0.6649560151673259 * x830) - x673 * ( 1.5529205431318955 - 0.664956015167326 * x830) + x683 =E= 0; e981.. -x673 * (-0.5529205431318956 + 0.664956015167326 * x830) - x674 * ( 2.0529205431318958 - 0.6649560151673259 * x830) + x684 =E= 0; e982.. -x674 * (-1.0529205431318955 + 0.6649560151673259 * x830) - x675 * ( 2.5529205431318953 - 0.6649560151673258 * x830) + x685 =E= 0; e983.. -x675 * (-1.552920543131895 + 0.6649560151673258 * x830) - x676 * ( 3.052920543131896 - 0.664956015167326 * x830) + x686 =E= 0; e984.. -x676 * (-2.0529205431318958 + 0.664956015167326 * x830) - x677 * ( 3.5529205431318953 - 0.6649560151673258 * x830) + x687 =E= 0; e985.. -x678 * (1.6313863045787362 + 0.4433040101115506 * x830) - x679 * ( -0.29805297124540303 - 0.4433040101115506 * x830) + x688 =E= 0; e986.. -x679 * (1.298052971245403 + 0.4433040101115506 * x830) - x680 * ( 0.0352803620879303 - 0.4433040101115506 * x830) + x689 =E= 0; e987.. -x680 * (0.9647196379120697 + 0.4433040101115506 * x830) - x681 * ( 0.36861369542126365 - 0.4433040101115506 * x830) + x690 =E= 0; e988.. -x681 * (0.6313863045787363 + 0.4433040101115506 * x830) - x682 * ( 0.7019470287545969 - 0.4433040101115506 * x830) + x691 =E= 0; e989.. -x682 * (0.29805297124540303 + 0.4433040101115506 * x830) - x683 * ( 1.0352803620879303 - 0.4433040101115507 * x830) + x692 =E= 0; e990.. -x683 * (-0.035280362087930305 + 0.4433040101115507 * x830) - x684 * ( 1.3686136954212635 - 0.4433040101115506 * x830) + x693 =E= 0; e991.. -x684 * (-0.36861369542126365 + 0.4433040101115506 * x830) - x685 * ( 1.7019470287545968 - 0.4433040101115506 * x830) + x694 =E= 0; e992.. -x685 * (-0.7019470287545969 + 0.4433040101115506 * x830) - x686 * ( 2.03528036208793 - 0.4433040101115506 * x830) + x695 =E= 0; e993.. -x686 * (-1.03528036208793 + 0.4433040101115506 * x830) - x687 * ( 2.3686136954212635 - 0.4433040101115506 * x830) + x696 =E= 0; e994.. 2.86253099600669 * x688 - 0.8239941963723394 * x689 + 1.5235050434681834 * x690 + 1.0711411211746777 * x691 - 1.2129498618740444 * x692 - 2.379132259897847 * x693 - 1.0425940168261312 * x694 + 3.0930123450906923 * x695 - 14.84384135594212 * x696 - x834 =E= 0; e995.. -x830 / (exp(-x830) + 1) + x835 =E= 0; e996.. x827 - 0.279844599780854 * x834 - 7.262282077670091 * x835 =E= 0; e997.. x667 + x668 + x669 + x670 + x671 + x672 + x673 + x674 + x675 + x676 + x677 =E= 1; e998.. x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 + x687 =E= 1; e999.. x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 =E= 1; e1000.. -x831 =L= -0.1591321327343166; e1001.. 1.9947619638450154 * b193 + x831 =L= 2.335236093292515; e1002.. 0.18134199671318318 * b194 - x831 =L= -0.1591321327343166; e1003.. 1.813419967131832 * b194 + x831 =L= 2.335236093292515; e1004.. 0.36268399342636637 * b195 - x831 =L= -0.1591321327343166; e1005.. 1.632077970418649 * b195 + x831 =L= 2.335236093292515; e1006.. 0.5440259901395496 * b196 - x831 =L= -0.1591321327343166; e1007.. 1.450735973705466 * b196 + x831 =L= 2.335236093292515; e1008.. 0.7253679868527327 * b197 - x831 =L= -0.1591321327343166; e1009.. 1.2693939769922826 * b197 + x831 =L= 2.335236093292515; e1010.. 0.9067099835659159 * b198 - x831 =L= -0.1591321327343166; e1011.. 1.0880519802790993 * b198 + x831 =L= 2.335236093292515; e1012.. 1.0880519802790993 * b199 - x831 =L= -0.1591321327343166; e1013.. 0.9067099835659163 * b199 + x831 =L= 2.335236093292515; e1014.. 1.2693939769922822 * b200 - x831 =L= -0.1591321327343166; e1015.. 0.7253679868527332 * b200 + x831 =L= 2.335236093292515; e1016.. 1.4507359737054655 * b201 - x831 =L= -0.1591321327343166; e1017.. 0.5440259901395499 * b201 + x831 =L= 2.335236093292515; e1018.. 1.6320779704186488 * b202 - x831 =L= -0.1591321327343166; e1019.. 0.3626839934263666 * b202 + x831 =L= 2.335236093292515; e1020.. 1.813419967131832 * b203 - x831 =L= -0.1591321327343166; e1021.. 0.1813419967131833 * b203 + x831 =L= 2.335236093292515; e1022.. 1.9947619638450154 * b204 - x831 =L= -0.1591321327343166; e1023.. x831 =L= 2.335236093292515; e1024.. b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 =E= 1; e1025.. -b193 * (-0.8775249838348561 + 5.514442424396787 * x831) - b194 * ( 2.877524983834856 - 5.514442424396787 * x831) + x697 =E= 0; e1026.. -b194 * (-1.877524983834856 + 5.514442424396787 * x831) - b195 * ( 3.877524983834856 - 5.514442424396787 * x831) + x698 =E= 0; e1027.. -b195 * (-2.877524983834856 + 5.514442424396787 * x831) - b196 * ( 4.877524983834856 - 5.514442424396787 * x831) + x699 =E= 0; e1028.. -b196 * (-3.877524983834856 + 5.514442424396787 * x831) - b197 * ( 5.877524983834856 - 5.514442424396787 * x831) + x700 =E= 0; e1029.. -b197 * (-4.877524983834856 + 5.514442424396787 * x831) - b198 * ( 6.877524983834853 - 5.514442424396783 * x831) + x701 =E= 0; e1030.. -b198 * (-5.877524983834853 + 5.514442424396783 * x831) - b199 * ( 7.877524983834862 - 5.51444242439679 * x831) + x702 =E= 0; e1031.. -b199 * (-6.877524983834862 + 5.51444242439679 * x831) - b200 * ( 8.877524983834862 - 5.51444242439679 * x831) + x703 =E= 0; e1032.. -b200 * (-7.877524983834862 + 5.51444242439679 * x831) - b201 * ( 9.87752498383485 - 5.514442424396783 * x831) + x704 =E= 0; e1033.. -b201 * (-8.87752498383485 + 5.514442424396783 * x831) - b202 * ( 10.87752498383485 - 5.514442424396783 * x831) + x705 =E= 0; e1034.. -b202 * (-9.87752498383485 + 5.514442424396783 * x831) - b203 * ( 11.87752498383485 - 5.514442424396783 * x831) + x706 =E= 0; e1035.. -b203 * (-10.87752498383485 + 5.514442424396783 * x831) - b204 * ( 12.87752498383485 - 5.514442424396783 * x831) + x707 =E= 0; e1036.. -x697 * (-0.43876249191742805 + 2.7572212121983934 * x831) - x698 * ( 1.938762491917428 - 2.7572212121983934 * x831) + x708 =E= 0; e1037.. -x698 * (-0.938762491917428 + 2.7572212121983934 * x831) - x699 * ( 2.438762491917428 - 2.7572212121983934 * x831) + x709 =E= 0; e1038.. -x699 * (-1.438762491917428 + 2.7572212121983934 * x831) - x700 * ( 2.938762491917428 - 2.7572212121983934 * x831) + x710 =E= 0; e1039.. -x700 * (-1.938762491917428 + 2.7572212121983934 * x831) - x701 * ( 3.4387624919174273 - 2.7572212121983926 * x831) + x711 =E= 0; e1040.. -x701 * (-2.4387624919174273 + 2.7572212121983926 * x831) - x702 * ( 3.938762491917428 - 2.7572212121983934 * x831) + x712 =E= 0; e1041.. -x702 * (-2.938762491917428 + 2.7572212121983934 * x831) - x703 * ( 4.438762491917431 - 2.757221212198395 * x831) + x713 =E= 0; e1042.. -x703 * (-3.438762491917431 + 2.757221212198395 * x831) - x704 * ( 4.938762491917428 - 2.7572212121983934 * x831) + x714 =E= 0; e1043.. -x704 * (-3.938762491917428 + 2.7572212121983934 * x831) - x705 * ( 5.438762491917425 - 2.7572212121983917 * x831) + x715 =E= 0; e1044.. -x705 * (-4.438762491917425 + 2.7572212121983917 * x831) - x706 * ( 5.938762491917425 - 2.7572212121983917 * x831) + x716 =E= 0; e1045.. -x706 * (-4.938762491917425 + 2.7572212121983917 * x831) - x707 * ( 6.438762491917425 - 2.7572212121983917 * x831) + x717 =E= 0; e1046.. -x708 * (-0.292508327944952 + 1.8381474747989288 * x831) - x709 * ( 1.6258416612782853 - 1.8381474747989288 * x831) + x718 =E= 0; e1047.. -x709 * (-0.6258416612782853 + 1.8381474747989288 * x831) - x710 * ( 1.9591749946116186 - 1.8381474747989288 * x831) + x719 =E= 0; e1048.. -x710 * (-0.9591749946116186 + 1.8381474747989288 * x831) - x711 * ( 2.292508327944952 - 1.8381474747989286 * x831) + x720 =E= 0; e1049.. -x711 * (-1.2925083279449519 + 1.8381474747989286 * x831) - x712 * ( 2.6258416612782853 - 1.8381474747989288 * x831) + x721 =E= 0; e1050.. -x712 * (-1.6258416612782853 + 1.8381474747989288 * x831) - x713 * ( 2.9591749946116193 - 1.8381474747989293 * x831) + x722 =E= 0; e1051.. -x713 * (-1.959174994611619 + 1.8381474747989293 * x831) - x714 * ( 3.2925083279449527 - 1.8381474747989293 * x831) + x723 =E= 0; e1052.. -x714 * (-2.2925083279449527 + 1.8381474747989293 * x831) - x715 * ( 3.625841661278285 - 1.8381474747989286 * x831) + x724 =E= 0; e1053.. -x715 * (-2.625841661278285 + 1.8381474747989286 * x831) - x716 * ( 3.9591749946116166 - 1.8381474747989277 * x831) + x725 =E= 0; e1054.. -x716 * (-2.9591749946116166 + 1.8381474747989277 * x831) - x717 * ( 4.29250832794495 - 1.8381474747989277 * x831) + x726 =E= 0; e1055.. 3.00400737551094 * x718 - 0.8752579187398144 * x719 - 1.4962374456731309 * x720 - 1.9996907445308794 * x721 - 1.8834212202955396 * x722 - 1.8309970735792935 * x723 - 1.023640833103469 * x724 - 0.756774708722449 * x725 - 1.3104543439771539 * x726 - x836 =E= 0; e1056.. -x831 / (exp(-x831) + 1) + x837 =E= 0; e1057.. x828 - 1.4756296805363023 * x836 + 2.668193465546587 * x837 =E= 0; e1058.. x697 + x698 + x699 + x700 + x701 + x702 + x703 + x704 + x705 + x706 + x707 =E= 1; e1059.. x708 + x709 + x710 + x711 + x712 + x713 + x714 + x715 + x716 + x717 =E= 1; e1060.. x718 + x719 + x720 + x721 + x722 + x723 + x724 + x725 + x726 =E= 1; e1061.. -x832 =L= 5.0528114900838235; e1062.. 7.181803052616441 * b205 + x832 =L= 2.7818827491341125; e1063.. 0.6528911866014946 * b206 - x832 =L= 5.0528114900838235; e1064.. 6.528911866014946 * b206 + x832 =L= 2.7818827491341125; e1065.. 1.3057823732029896 * b207 - x832 =L= 5.0528114900838235; e1066.. 5.876020679413452 * b207 + x832 =L= 2.7818827491341125; e1067.. 1.9586735598044842 * b208 - x832 =L= 5.0528114900838235; e1068.. 5.223129492811957 * b208 + x832 =L= 2.7818827491341125; e1069.. 2.611564746405979 * b209 - x832 =L= 5.0528114900838235; e1070.. 4.570238306210463 * b209 + x832 =L= 2.7818827491341125; e1071.. 3.2644559330074734 * b210 - x832 =L= 5.0528114900838235; e1072.. 3.9173471196089675 * b210 + x832 =L= 2.7818827491341125; e1073.. 3.9173471196089684 * b211 - x832 =L= 5.0528114900838235; e1074.. 3.2644559330074734 * b211 + x832 =L= 2.7818827491341125; e1075.. 4.570238306210463 * b212 - x832 =L= 5.0528114900838235; e1076.. 2.611564746405979 * b212 + x832 =L= 2.7818827491341125; e1077.. 5.223129492811957 * b213 - x832 =L= 5.0528114900838235; e1078.. 1.9586735598044838 * b213 + x832 =L= 2.7818827491341125; e1079.. 5.876020679413452 * b214 - x832 =L= 5.0528114900838235; e1080.. 1.3057823732029892 * b214 + x832 =L= 2.7818827491341125; e1081.. 6.528911866014947 * b215 - x832 =L= 5.0528114900838235; e1082.. 0.6528911866014946 * b215 + x832 =L= 2.7818827491341125; e1083.. 7.181803052616441 * b216 - x832 =L= 5.0528114900838235; e1084.. x832 =L= 2.7818827491341125; e1085.. b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 =E= 1; e1086.. -b205 * (7.739132636152292 + 1.531648796188101 * x832) - b206 * ( -5.739132636152289 - 1.5316487961881 * x832) + x727 =E= 0; e1087.. -b206 * (6.739132636152289 + 1.5316487961881 * x832) - b207 * ( -4.739132636152292 - 1.531648796188101 * x832) + x728 =E= 0; e1088.. -b207 * (5.739132636152292 + 1.531648796188101 * x832) - b208 * ( -3.7391326361522923 - 1.531648796188101 * x832) + x729 =E= 0; e1089.. -b208 * (4.739132636152292 + 1.531648796188101 * x832) - b209 * ( -2.7391326361522923 - 1.531648796188101 * x832) + x730 =E= 0; e1090.. -b209 * (3.7391326361522923 + 1.531648796188101 * x832) - b210 * ( -1.7391326361522914 - 1.5316487961881005 * x832) + x731 =E= 0; e1091.. -b210 * (2.7391326361522914 + 1.5316487961881005 * x832) - b211 * ( -0.7391326361522926 - 1.5316487961881016 * x832) + x732 =E= 0; e1092.. -b211 * (1.7391326361522927 + 1.5316487961881016 * x832) - b212 * ( 0.26086736384770765 - 1.531648796188101 * x832) + x733 =E= 0; e1093.. -b212 * (0.7391326361522923 + 1.531648796188101 * x832) - b213 * ( 1.2608673638477075 - 1.5316487961881 * x832) + x734 =E= 0; e1094.. -b213 * (-0.2608673638477075 + 1.5316487961881 * x832) - b214 * ( 2.260867363847708 - 1.531648796188101 * x832) + x735 =E= 0; e1095.. -b214 * (-1.2608673638477084 + 1.531648796188101 * x832) - b215 * ( 3.260867363847708 - 1.531648796188101 * x832) + x736 =E= 0; e1096.. -b215 * (-2.260867363847708 + 1.531648796188101 * x832) - b216 * ( 4.260867363847708 - 1.531648796188101 * x832) + x737 =E= 0; e1097.. -x727 * (3.8695663180761453 + 0.7658243980940502 * x832) - x728 * ( -2.3695663180761453 - 0.7658243980940502 * x832) + x738 =E= 0; e1098.. -x728 * (3.3695663180761453 + 0.7658243980940502 * x832) - x729 * ( -1.8695663180761461 - 0.7658243980940505 * x832) + x739 =E= 0; e1099.. -x729 * (2.869566318076146 + 0.7658243980940505 * x832) - x730 * ( -1.3695663180761461 - 0.7658243980940505 * x832) + x740 =E= 0; e1100.. -x730 * (2.369566318076146 + 0.7658243980940505 * x832) - x731 * ( -0.8695663180761458 - 0.7658243980940503 * x832) + x741 =E= 0; e1101.. -x731 * (1.8695663180761457 + 0.7658243980940503 * x832) - x732 * ( -0.36956631807614615 - 0.7658243980940505 * x832) + x742 =E= 0; e1102.. -x732 * (1.3695663180761461 + 0.7658243980940505 * x832) - x733 * ( 0.13043368192385385 - 0.7658243980940507 * x832) + x743 =E= 0; e1103.. -x733 * (0.8695663180761461 + 0.7658243980940507 * x832) - x734 * ( 0.630433681923854 - 0.7658243980940502 * x832) + x744 =E= 0; e1104.. -x734 * (0.36956631807614604 + 0.7658243980940502 * x832) - x735 * ( 1.1304336819238539 - 0.7658243980940502 * x832) + x745 =E= 0; e1105.. -x735 * (-0.1304336819238538 + 0.7658243980940502 * x832) - x736 * ( 1.630433681923854 - 0.7658243980940505 * x832) + x746 =E= 0; e1106.. -x736 * (-0.6304336819238542 + 0.7658243980940505 * x832) - x737 * ( 2.130433681923854 - 0.7658243980940505 * x832) + x747 =E= 0; e1107.. -x738 * (2.5797108787174303 + 0.5105495987293669 * x832) - x739 * ( -1.2463775453840973 - 0.5105495987293669 * x832) + x748 =E= 0; e1108.. -x739 * (2.2463775453840973 + 0.5105495987293669 * x832) - x740 * ( -0.9130442120507641 - 0.510549598729367 * x832) + x749 =E= 0; e1109.. -x740 * (1.913044212050764 + 0.510549598729367 * x832) - x741 * ( -0.5797108787174305 - 0.5105495987293669 * x832) + x750 =E= 0; e1110.. -x741 * (1.5797108787174305 + 0.5105495987293669 * x832) - x742 * ( -0.24637754538409745 - 0.510549598729367 * x832) + x751 =E= 0; e1111.. -x742 * (1.2463775453840975 + 0.510549598729367 * x832) - x743 * ( 0.08695578794923589 - 0.510549598729367 * x832) + x752 =E= 0; e1112.. -x743 * (0.9130442120507641 + 0.510549598729367 * x832) - x744 * ( 0.42028912128256934 - 0.5105495987293669 * x832) + x753 =E= 0; e1113.. -x744 * (0.5797108787174305 + 0.5105495987293669 * x832) - x745 * ( 0.7536224546159026 - 0.5105495987293669 * x832) + x754 =E= 0; e1114.. -x745 * (0.2463775453840974 + 0.5105495987293669 * x832) - x746 * ( 1.086955787949236 - 0.5105495987293669 * x832) + x755 =E= 0; e1115.. -x746 * (-0.08695578794923588 + 0.5105495987293669 * x832) - x747 * ( 1.4202891212825695 - 0.510549598729367 * x832) + x756 =E= 0; e1116.. 1.3450927728268987 * x748 + 1.2791804128297333 * x749 + 1.1981547079041335 * x750 + 1.135374351233089 * x751 + 1.0548284396736372 * x752 + 0.8926083281385037 * x753 - 0.155529370290256 * x754 - 3.3982407105386603 * x755 - 2.257678764295639 * x756 - x838 =E= 0; e1117.. -x832 / (exp(-x832) + 1) + x839 =E= 0; e1118.. x829 - 3.7987850721444496 * x838 + 3.7533339357006903 * x839 =E= 0; e1119.. x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 =E= 1; e1120.. x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 + x746 + x747 =E= 1; e1121.. x748 + x749 + x750 + x751 + x752 + x753 + x754 + x755 + x756 =E= 1; e1122.. objvar - x833 =E= 0; * set non-default bounds x758.lo = -1.5124259573897072; x758.up = 3.7655273638236517; x759.lo = -0.6824194868381539; x759.up = -0.013668117950805449; x760.lo = -0.24083985517298628; x760.up = 0.6330863659318876; x761.lo = -0.2327909927932535; x761.up = 0.5027283748949252; x762.lo = -0.3475322783132593; x762.up = 0.20295142887859205; x763.lo = -1.6394470954066809; x763.up = 0.8098255609344255; x764.lo = 0.666101008771102; x764.up = 1.7346362473600376; x765.lo = -0.11050354120999703; x765.up = 0.03160123629677705; x766.lo = 0.013129769873726493; x766.up = 0.5808729216699087; x767.lo = 0.0011056031647838221; x767.up = 0.3081284582513347; x768.lo = -0.02170722659009515; x768.up = 0.017226192795328756; x769.lo = 0.0010970613891522797; x769.up = 0.013828096203156849; x770.lo = -2.9992658239412378; x770.up = 1.0171131206476978; x771.lo = 0.06656804443390071; x771.up = 0.31696040712465096; x772.lo = -0.23829429102585026; x772.up = 0.07881638538298781; x773.lo = -0.2647222008238393; x773.up = -0.00882715587298757; x774.lo = -0.08312932285492361; x774.up = 0.0652779583458456; x775.lo = -2.5676221246502124; x775.up = 0.47695145468751365; x776.lo = -1.7492967165691218; x776.up = 1.7412656385855325; x777.lo = -2.048; x777.up = 2.048; x778.lo = -1.7637358347669008; x778.up = 1.6955692929765107; x779.lo = -2.048; x779.up = 2.048; x780.lo = -1.7279100916139447; x780.up = 1.7407549799416027; x781.lo = -2.048; x781.up = 2.048; x782.lo = -1.7379956659860787; x782.up = 1.741783424215918; x783.lo = -2.048; x783.up = 2.048; x784.lo = -1.7332737367838456; x784.up = 1.7269741594370998; x785.lo = -2.048; x785.up = 2.048; x786.lo = -1.7492967165691218; x786.up = 1.7412656385855325; x787.lo = -1.7492967165691218; x787.up = 1.7412656385855325; x788.lo = -1.7637358347669008; x788.up = 1.6955692929765107; x789.lo = -1.7637358347669008; x789.up = 1.6955692929765107; x790.lo = -1.7279100916139447; x790.up = 1.7407549799416027; x791.lo = -1.7279100916139447; x791.up = 1.7407549799416027; x792.lo = -1.7379956659860787; x792.up = 1.741783424215918; x793.lo = -1.7379956659860787; x793.up = 1.741783424215918; x794.lo = -1.7332737367838456; x794.up = 1.7269741594370998; x795.lo = -1.7332737367838456; x795.up = 1.7269741594370998; x797.lo = -0.278464596867598; x799.lo = -0.278464596867598; x801.lo = -0.278464596867598; x803.lo = -0.278464596867598; x805.lo = -0.278464596867598; x807.lo = -0.278464596867598; x809.lo = -0.278464596867598; x811.lo = -0.278464596867598; x813.lo = -0.278464596867598; x815.lo = -0.278464596867598; x817.lo = -0.278464596867598; x819.lo = -0.278464596867598; x821.lo = -0.278464596867598; x823.lo = -0.278464596867598; x825.lo = -0.278464596867598; x826.lo = -19.1361588979307; x826.up = 25.68706160885342; x827.lo = -1.9810084213764199; x827.up = 21.36556389558011; x828.lo = -5.599783946850762; x828.up = -1.9697968801798003; x829.lo = -12.51459207630295; x829.up = 5.332069046853675; x830.lo = -1.4242738395708574; x830.up = 3.087302763349407; x831.lo = 0.7031581228738661; x831.up = 1.7912101031529652; x832.lo = -3.0941379302793393; x832.up = 0.8232091893296287; x835.lo = -0.278464596867598; x837.lo = -0.278464596867598; x839.lo = -0.278464596867598; 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% minimizing objvar;
Last updated: 2025-05-08 Git hash: 2f1d9c1a