MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance syn30m04hfsg
Selection of optimal configuration and parameters for a processing system selected from a superstructure containing alternative processing units and interconnections. Equivalent perspective reformulation of syn30m04.
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 865.81197910 (ALPHAECP) 865.80857330 (ANTIGONE) 865.72466680 (BARON) 865.72200180 (BONMIN) 4135.52809800 (COUENNE) 3707.63976300 (LINDO) 865.72380880 (SCIP) 4453.77120300 (SHOT) |
| Referencesⓘ | Duran, Marco A and Grossmann, I E, An Outer-Approximation Algorithm for a Class of Mixed-integer Nonlinear Programs, Mathematical Programming, 36:3, 1986, 307-339. Türkay, Metin and Grossmann, I E, Logic-based MINLP Algorithms for optimal synthesis of process networks, Computers and Chemical Engineering, 20:8, 1996, 959-978. Kevin C. Furman, Nicolas W. Sawaya, Ignacio E. Grossmann, A computationally useful algebraic representation of nonlinear disjunctive convex sets using the perspective function, Tech. Rep., 2019. |
| Applicationⓘ | Synthesis of processing system |
| Added to libraryⓘ | 25 Sep 2019 |
| Problem typeⓘ | MBNLP |
| #Variablesⓘ | 1152 |
| #Binary Variablesⓘ | 240 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 232 |
| #Nonlinear Binary Variablesⓘ | 76 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | max |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 204 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 2160 |
| #Linear Constraintsⓘ | 2080 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 80 |
| Operands in Gen. Nonlin. Functionsⓘ | div log mul |
| Constraints curvatureⓘ | convex |
| #Nonzeros in Jacobianⓘ | 4712 |
| #Nonlinear Nonzeros in Jacobianⓘ | 240 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 468 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 156 |
| #Blocks in Hessian of Lagrangianⓘ | 76 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 3 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 4 |
| Average blocksize in Hessian of Lagrangianⓘ | 3.052632 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e-03 |
| Maximal coefficientⓘ | 4.3000e+02 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ | ![]() |
| Sparsity Hessian of Lagrangianⓘ | ![]() |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 2161 761 148 1252 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1153 913 240 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 4917 4677 240 0
*
* Solve m using MINLP maximizing objvar;
Variables objvar,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18
,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35
,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52
,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68,x69
,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85,x86
,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101,x102
,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114,x115
,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127,x128
,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140,x141
,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153,x154
,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166,x167
,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179,x180
,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192,x193
,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205,x206
,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219
,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232
,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245
,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258
,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271
,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284
,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297
,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310
,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323
,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336
,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349
,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362
,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375
,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388
,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401
,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414
,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427
,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440
,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453
,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466
,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479
,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492
,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505
,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518
,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531
,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544
,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557
,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570
,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583
,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596
,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609
,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622
,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635
,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648
,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661
,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674
,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687
,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700
,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713
,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726
,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739
,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752
,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765
,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778
,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791
,x792,x793,b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804
,b805,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817
,b818,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830
,b831,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842,b843
,b844,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855,b856
,b857,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868,b869
,b870,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881,b882
,b883,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894,b895
,b896,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907,b908
,b909,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920,b921
,b922,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933,b934
,b935,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946,b947
,b948,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959,b960
,b961,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972,b973
,b974,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985,b986
,b987,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998,b999
,b1000,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009,b1010
,b1011,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020,b1021
,b1022,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031,b1032
,b1033,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043
,x1044,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054
,x1055,x1056,x1057,x1058,x1059,x1060,x1061,x1062,x1063,x1064,x1065
,x1066,x1067,x1068,x1069,x1070,x1071,x1072,x1073,x1074,x1075,x1076
,x1077,x1078,x1079,x1080,x1081,x1082,x1083,x1084,x1085,x1086,x1087
,x1088,x1089,x1090,x1091,x1092,x1093,x1094,x1095,x1096,x1097,x1098
,x1099,x1100,x1101,x1102,x1103,x1104,x1105,x1106,x1107,x1108,x1109
,x1110,x1111,x1112,x1113,x1114,x1115,x1116,x1117,x1118,x1119,x1120
,x1121,x1122,x1123,x1124,x1125,x1126,x1127,x1128,x1129,x1130,x1131
,x1132,x1133,x1134,x1135,x1136,x1137,x1138,x1139,x1140,x1141,x1142
,x1143,x1144,x1145,x1146,x1147,x1148,x1149,x1150,x1151,x1152,x1153;
Positive Variables x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17
,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34
,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51
,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63,x64,x65,x66,x67,x68
,x69,x70,x71,x72,x73,x74,x75,x76,x77,x78,x79,x80,x81,x82,x83,x84,x85
,x86,x87,x88,x89,x90,x91,x92,x93,x94,x95,x96,x97,x98,x99,x100,x101
,x102,x103,x104,x105,x106,x107,x108,x109,x110,x111,x112,x113,x114
,x115,x116,x117,x118,x119,x120,x121,x122,x123,x124,x125,x126,x127
,x128,x129,x130,x131,x132,x133,x134,x135,x136,x137,x138,x139,x140
,x141,x142,x143,x144,x145,x146,x147,x148,x149,x150,x151,x152,x153
,x154,x155,x156,x157,x158,x159,x160,x161,x162,x163,x164,x165,x166
,x167,x168,x169,x170,x171,x172,x173,x174,x175,x176,x177,x178,x179
,x180,x181,x182,x183,x184,x185,x186,x187,x188,x189,x190,x191,x192
,x193,x194,x195,x196,x197,x198,x199,x200,x201,x202,x203,x204,x205
,x206,x207,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218
,x219,x220,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231
,x232,x233,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244
,x245,x246,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257
,x258,x259,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270
,x271,x272,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283
,x284,x285,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296
,x297,x298,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309
,x310,x311,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322
,x323,x324,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335
,x336,x337,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348
,x349,x350,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361
,x362,x363,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374
,x375,x376,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387
,x388,x389,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400
,x401,x402,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413
,x414,x415,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426
,x427,x428,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439
,x440,x441,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452
,x453,x454,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465
,x466,x467,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478
,x479,x480,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491
,x492,x493,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504
,x505,x506,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517
,x518,x519,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530
,x531,x532,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543
,x544,x545,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556
,x557,x558,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569
,x570,x571,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582
,x583,x584,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595
,x596,x597,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608
,x609,x610,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621
,x622,x623,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634
,x635,x636,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647
,x648,x649,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660
,x661,x662,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673
,x674,x675,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686
,x687,x688,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699
,x700,x701,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712
,x713,x714,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725
,x726,x727,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738
,x739,x740,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751
,x752,x753,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764
,x765,x766,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777
,x778,x779,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790
,x791,x792,x793;
Binary Variables b794,b795,b796,b797,b798,b799,b800,b801,b802,b803,b804,b805
,b806,b807,b808,b809,b810,b811,b812,b813,b814,b815,b816,b817,b818
,b819,b820,b821,b822,b823,b824,b825,b826,b827,b828,b829,b830,b831
,b832,b833,b834,b835,b836,b837,b838,b839,b840,b841,b842,b843,b844
,b845,b846,b847,b848,b849,b850,b851,b852,b853,b854,b855,b856,b857
,b858,b859,b860,b861,b862,b863,b864,b865,b866,b867,b868,b869,b870
,b871,b872,b873,b874,b875,b876,b877,b878,b879,b880,b881,b882,b883
,b884,b885,b886,b887,b888,b889,b890,b891,b892,b893,b894,b895,b896
,b897,b898,b899,b900,b901,b902,b903,b904,b905,b906,b907,b908,b909
,b910,b911,b912,b913,b914,b915,b916,b917,b918,b919,b920,b921,b922
,b923,b924,b925,b926,b927,b928,b929,b930,b931,b932,b933,b934,b935
,b936,b937,b938,b939,b940,b941,b942,b943,b944,b945,b946,b947,b948
,b949,b950,b951,b952,b953,b954,b955,b956,b957,b958,b959,b960,b961
,b962,b963,b964,b965,b966,b967,b968,b969,b970,b971,b972,b973,b974
,b975,b976,b977,b978,b979,b980,b981,b982,b983,b984,b985,b986,b987
,b988,b989,b990,b991,b992,b993,b994,b995,b996,b997,b998,b999,b1000
,b1001,b1002,b1003,b1004,b1005,b1006,b1007,b1008,b1009,b1010,b1011
,b1012,b1013,b1014,b1015,b1016,b1017,b1018,b1019,b1020,b1021,b1022
,b1023,b1024,b1025,b1026,b1027,b1028,b1029,b1030,b1031,b1032,b1033;
Equations e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82,e83,e84,e85,e86,e87
,e88,e89,e90,e91,e92,e93,e94,e95,e96,e97,e98,e99,e100,e101,e102,e103
,e104,e105,e106,e107,e108,e109,e110,e111,e112,e113,e114,e115,e116
,e117,e118,e119,e120,e121,e122,e123,e124,e125,e126,e127,e128,e129
,e130,e131,e132,e133,e134,e135,e136,e137,e138,e139,e140,e141,e142
,e143,e144,e145,e146,e147,e148,e149,e150,e151,e152,e153,e154,e155
,e156,e157,e158,e159,e160,e161,e162,e163,e164,e165,e166,e167,e168
,e169,e170,e171,e172,e173,e174,e175,e176,e177,e178,e179,e180,e181
,e182,e183,e184,e185,e186,e187,e188,e189,e190,e191,e192,e193,e194
,e195,e196,e197,e198,e199,e200,e201,e202,e203,e204,e205,e206,e207
,e208,e209,e210,e211,e212,e213,e214,e215,e216,e217,e218,e219,e220
,e221,e222,e223,e224,e225,e226,e227,e228,e229,e230,e231,e232,e233
,e234,e235,e236,e237,e238,e239,e240,e241,e242,e243,e244,e245,e246
,e247,e248,e249,e250,e251,e252,e253,e254,e255,e256,e257,e258,e259
,e260,e261,e262,e263,e264,e265,e266,e267,e268,e269,e270,e271,e272
,e273,e274,e275,e276,e277,e278,e279,e280,e281,e282,e283,e284,e285
,e286,e287,e288,e289,e290,e291,e292,e293,e294,e295,e296,e297,e298
,e299,e300,e301,e302,e303,e304,e305,e306,e307,e308,e309,e310,e311
,e312,e313,e314,e315,e316,e317,e318,e319,e320,e321,e322,e323,e324
,e325,e326,e327,e328,e329,e330,e331,e332,e333,e334,e335,e336,e337
,e338,e339,e340,e341,e342,e343,e344,e345,e346,e347,e348,e349,e350
,e351,e352,e353,e354,e355,e356,e357,e358,e359,e360,e361,e362,e363
,e364,e365,e366,e367,e368,e369,e370,e371,e372,e373,e374,e375,e376
,e377,e378,e379,e380,e381,e382,e383,e384,e385,e386,e387,e388,e389
,e390,e391,e392,e393,e394,e395,e396,e397,e398,e399,e400,e401,e402
,e403,e404,e405,e406,e407,e408,e409,e410,e411,e412,e413,e414,e415
,e416,e417,e418,e419,e420,e421,e422,e423,e424,e425,e426,e427,e428
,e429,e430,e431,e432,e433,e434,e435,e436,e437,e438,e439,e440,e441
,e442,e443,e444,e445,e446,e447,e448,e449,e450,e451,e452,e453,e454
,e455,e456,e457,e458,e459,e460,e461,e462,e463,e464,e465,e466,e467
,e468,e469,e470,e471,e472,e473,e474,e475,e476,e477,e478,e479,e480
,e481,e482,e483,e484,e485,e486,e487,e488,e489,e490,e491,e492,e493
,e494,e495,e496,e497,e498,e499,e500,e501,e502,e503,e504,e505,e506
,e507,e508,e509,e510,e511,e512,e513,e514,e515,e516,e517,e518,e519
,e520,e521,e522,e523,e524,e525,e526,e527,e528,e529,e530,e531,e532
,e533,e534,e535,e536,e537,e538,e539,e540,e541,e542,e543,e544,e545
,e546,e547,e548,e549,e550,e551,e552,e553,e554,e555,e556,e557,e558
,e559,e560,e561,e562,e563,e564,e565,e566,e567,e568,e569,e570,e571
,e572,e573,e574,e575,e576,e577,e578,e579,e580,e581,e582,e583,e584
,e585,e586,e587,e588,e589,e590,e591,e592,e593,e594,e595,e596,e597
,e598,e599,e600,e601,e602,e603,e604,e605,e606,e607,e608,e609,e610
,e611,e612,e613,e614,e615,e616,e617,e618,e619,e620,e621,e622,e623
,e624,e625,e626,e627,e628,e629,e630,e631,e632,e633,e634,e635,e636
,e637,e638,e639,e640,e641,e642,e643,e644,e645,e646,e647,e648,e649
,e650,e651,e652,e653,e654,e655,e656,e657,e658,e659,e660,e661,e662
,e663,e664,e665,e666,e667,e668,e669,e670,e671,e672,e673,e674,e675
,e676,e677,e678,e679,e680,e681,e682,e683,e684,e685,e686,e687,e688
,e689,e690,e691,e692,e693,e694,e695,e696,e697,e698,e699,e700,e701
,e702,e703,e704,e705,e706,e707,e708,e709,e710,e711,e712,e713,e714
,e715,e716,e717,e718,e719,e720,e721,e722,e723,e724,e725,e726,e727
,e728,e729,e730,e731,e732,e733,e734,e735,e736,e737,e738,e739,e740
,e741,e742,e743,e744,e745,e746,e747,e748,e749,e750,e751,e752,e753
,e754,e755,e756,e757,e758,e759,e760,e761,e762,e763,e764,e765,e766
,e767,e768,e769,e770,e771,e772,e773,e774,e775,e776,e777,e778,e779
,e780,e781,e782,e783,e784,e785,e786,e787,e788,e789,e790,e791,e792
,e793,e794,e795,e796,e797,e798,e799,e800,e801,e802,e803,e804,e805
,e806,e807,e808,e809,e810,e811,e812,e813,e814,e815,e816,e817,e818
,e819,e820,e821,e822,e823,e824,e825,e826,e827,e828,e829,e830,e831
,e832,e833,e834,e835,e836,e837,e838,e839,e840,e841,e842,e843,e844
,e845,e846,e847,e848,e849,e850,e851,e852,e853,e854,e855,e856,e857
,e858,e859,e860,e861,e862,e863,e864,e865,e866,e867,e868,e869,e870
,e871,e872,e873,e874,e875,e876,e877,e878,e879,e880,e881,e882,e883
,e884,e885,e886,e887,e888,e889,e890,e891,e892,e893,e894,e895,e896
,e897,e898,e899,e900,e901,e902,e903,e904,e905,e906,e907,e908,e909
,e910,e911,e912,e913,e914,e915,e916,e917,e918,e919,e920,e921,e922
,e923,e924,e925,e926,e927,e928,e929,e930,e931,e932,e933,e934,e935
,e936,e937,e938,e939,e940,e941,e942,e943,e944,e945,e946,e947,e948
,e949,e950,e951,e952,e953,e954,e955,e956,e957,e958,e959,e960,e961
,e962,e963,e964,e965,e966,e967,e968,e969,e970,e971,e972,e973,e974
,e975,e976,e977,e978,e979,e980,e981,e982,e983,e984,e985,e986,e987
,e988,e989,e990,e991,e992,e993,e994,e995,e996,e997,e998,e999,e1000
,e1001,e1002,e1003,e1004,e1005,e1006,e1007,e1008,e1009,e1010,e1011
,e1012,e1013,e1014,e1015,e1016,e1017,e1018,e1019,e1020,e1021,e1022
,e1023,e1024,e1025,e1026,e1027,e1028,e1029,e1030,e1031,e1032,e1033
,e1034,e1035,e1036,e1037,e1038,e1039,e1040,e1041,e1042,e1043,e1044
,e1045,e1046,e1047,e1048,e1049,e1050,e1051,e1052,e1053,e1054,e1055
,e1056,e1057,e1058,e1059,e1060,e1061,e1062,e1063,e1064,e1065,e1066
,e1067,e1068,e1069,e1070,e1071,e1072,e1073,e1074,e1075,e1076,e1077
,e1078,e1079,e1080,e1081,e1082,e1083,e1084,e1085,e1086,e1087,e1088
,e1089,e1090,e1091,e1092,e1093,e1094,e1095,e1096,e1097,e1098,e1099
,e1100,e1101,e1102,e1103,e1104,e1105,e1106,e1107,e1108,e1109,e1110
,e1111,e1112,e1113,e1114,e1115,e1116,e1117,e1118,e1119,e1120,e1121
,e1122,e1123,e1124,e1125,e1126,e1127,e1128,e1129,e1130,e1131,e1132
,e1133,e1134,e1135,e1136,e1137,e1138,e1139,e1140,e1141,e1142,e1143
,e1144,e1145,e1146,e1147,e1148,e1149,e1150,e1151,e1152,e1153,e1154
,e1155,e1156,e1157,e1158,e1159,e1160,e1161,e1162,e1163,e1164,e1165
,e1166,e1167,e1168,e1169,e1170,e1171,e1172,e1173,e1174,e1175,e1176
,e1177,e1178,e1179,e1180,e1181,e1182,e1183,e1184,e1185,e1186,e1187
,e1188,e1189,e1190,e1191,e1192,e1193,e1194,e1195,e1196,e1197,e1198
,e1199,e1200,e1201,e1202,e1203,e1204,e1205,e1206,e1207,e1208,e1209
,e1210,e1211,e1212,e1213,e1214,e1215,e1216,e1217,e1218,e1219,e1220
,e1221,e1222,e1223,e1224,e1225,e1226,e1227,e1228,e1229,e1230,e1231
,e1232,e1233,e1234,e1235,e1236,e1237,e1238,e1239,e1240,e1241,e1242
,e1243,e1244,e1245,e1246,e1247,e1248,e1249,e1250,e1251,e1252,e1253
,e1254,e1255,e1256,e1257,e1258,e1259,e1260,e1261,e1262,e1263,e1264
,e1265,e1266,e1267,e1268,e1269,e1270,e1271,e1272,e1273,e1274,e1275
,e1276,e1277,e1278,e1279,e1280,e1281,e1282,e1283,e1284,e1285,e1286
,e1287,e1288,e1289,e1290,e1291,e1292,e1293,e1294,e1295,e1296,e1297
,e1298,e1299,e1300,e1301,e1302,e1303,e1304,e1305,e1306,e1307,e1308
,e1309,e1310,e1311,e1312,e1313,e1314,e1315,e1316,e1317,e1318,e1319
,e1320,e1321,e1322,e1323,e1324,e1325,e1326,e1327,e1328,e1329,e1330
,e1331,e1332,e1333,e1334,e1335,e1336,e1337,e1338,e1339,e1340,e1341
,e1342,e1343,e1344,e1345,e1346,e1347,e1348,e1349,e1350,e1351,e1352
,e1353,e1354,e1355,e1356,e1357,e1358,e1359,e1360,e1361,e1362,e1363
,e1364,e1365,e1366,e1367,e1368,e1369,e1370,e1371,e1372,e1373,e1374
,e1375,e1376,e1377,e1378,e1379,e1380,e1381,e1382,e1383,e1384,e1385
,e1386,e1387,e1388,e1389,e1390,e1391,e1392,e1393,e1394,e1395,e1396
,e1397,e1398,e1399,e1400,e1401,e1402,e1403,e1404,e1405,e1406,e1407
,e1408,e1409,e1410,e1411,e1412,e1413,e1414,e1415,e1416,e1417,e1418
,e1419,e1420,e1421,e1422,e1423,e1424,e1425,e1426,e1427,e1428,e1429
,e1430,e1431,e1432,e1433,e1434,e1435,e1436,e1437,e1438,e1439,e1440
,e1441,e1442,e1443,e1444,e1445,e1446,e1447,e1448,e1449,e1450,e1451
,e1452,e1453,e1454,e1455,e1456,e1457,e1458,e1459,e1460,e1461,e1462
,e1463,e1464,e1465,e1466,e1467,e1468,e1469,e1470,e1471,e1472,e1473
,e1474,e1475,e1476,e1477,e1478,e1479,e1480,e1481,e1482,e1483,e1484
,e1485,e1486,e1487,e1488,e1489,e1490,e1491,e1492,e1493,e1494,e1495
,e1496,e1497,e1498,e1499,e1500,e1501,e1502,e1503,e1504,e1505,e1506
,e1507,e1508,e1509,e1510,e1511,e1512,e1513,e1514,e1515,e1516,e1517
,e1518,e1519,e1520,e1521,e1522,e1523,e1524,e1525,e1526,e1527,e1528
,e1529,e1530,e1531,e1532,e1533,e1534,e1535,e1536,e1537,e1538,e1539
,e1540,e1541,e1542,e1543,e1544,e1545,e1546,e1547,e1548,e1549,e1550
,e1551,e1552,e1553,e1554,e1555,e1556,e1557,e1558,e1559,e1560,e1561
,e1562,e1563,e1564,e1565,e1566,e1567,e1568,e1569,e1570,e1571,e1572
,e1573,e1574,e1575,e1576,e1577,e1578,e1579,e1580,e1581,e1582,e1583
,e1584,e1585,e1586,e1587,e1588,e1589,e1590,e1591,e1592,e1593,e1594
,e1595,e1596,e1597,e1598,e1599,e1600,e1601,e1602,e1603,e1604,e1605
,e1606,e1607,e1608,e1609,e1610,e1611,e1612,e1613,e1614,e1615,e1616
,e1617,e1618,e1619,e1620,e1621,e1622,e1623,e1624,e1625,e1626,e1627
,e1628,e1629,e1630,e1631,e1632,e1633,e1634,e1635,e1636,e1637,e1638
,e1639,e1640,e1641,e1642,e1643,e1644,e1645,e1646,e1647,e1648,e1649
,e1650,e1651,e1652,e1653,e1654,e1655,e1656,e1657,e1658,e1659,e1660
,e1661,e1662,e1663,e1664,e1665,e1666,e1667,e1668,e1669,e1670,e1671
,e1672,e1673,e1674,e1675,e1676,e1677,e1678,e1679,e1680,e1681,e1682
,e1683,e1684,e1685,e1686,e1687,e1688,e1689,e1690,e1691,e1692,e1693
,e1694,e1695,e1696,e1697,e1698,e1699,e1700,e1701,e1702,e1703,e1704
,e1705,e1706,e1707,e1708,e1709,e1710,e1711,e1712,e1713,e1714,e1715
,e1716,e1717,e1718,e1719,e1720,e1721,e1722,e1723,e1724,e1725,e1726
,e1727,e1728,e1729,e1730,e1731,e1732,e1733,e1734,e1735,e1736,e1737
,e1738,e1739,e1740,e1741,e1742,e1743,e1744,e1745,e1746,e1747,e1748
,e1749,e1750,e1751,e1752,e1753,e1754,e1755,e1756,e1757,e1758,e1759
,e1760,e1761,e1762,e1763,e1764,e1765,e1766,e1767,e1768,e1769,e1770
,e1771,e1772,e1773,e1774,e1775,e1776,e1777,e1778,e1779,e1780,e1781
,e1782,e1783,e1784,e1785,e1786,e1787,e1788,e1789,e1790,e1791,e1792
,e1793,e1794,e1795,e1796,e1797,e1798,e1799,e1800,e1801,e1802,e1803
,e1804,e1805,e1806,e1807,e1808,e1809,e1810,e1811,e1812,e1813,e1814
,e1815,e1816,e1817,e1818,e1819,e1820,e1821,e1822,e1823,e1824,e1825
,e1826,e1827,e1828,e1829,e1830,e1831,e1832,e1833,e1834,e1835,e1836
,e1837,e1838,e1839,e1840,e1841,e1842,e1843,e1844,e1845,e1846,e1847
,e1848,e1849,e1850,e1851,e1852,e1853,e1854,e1855,e1856,e1857,e1858
,e1859,e1860,e1861,e1862,e1863,e1864,e1865,e1866,e1867,e1868,e1869
,e1870,e1871,e1872,e1873,e1874,e1875,e1876,e1877,e1878,e1879,e1880
,e1881,e1882,e1883,e1884,e1885,e1886,e1887,e1888,e1889,e1890,e1891
,e1892,e1893,e1894,e1895,e1896,e1897,e1898,e1899,e1900,e1901,e1902
,e1903,e1904,e1905,e1906,e1907,e1908,e1909,e1910,e1911,e1912,e1913
,e1914,e1915,e1916,e1917,e1918,e1919,e1920,e1921,e1922,e1923,e1924
,e1925,e1926,e1927,e1928,e1929,e1930,e1931,e1932,e1933,e1934,e1935
,e1936,e1937,e1938,e1939,e1940,e1941,e1942,e1943,e1944,e1945,e1946
,e1947,e1948,e1949,e1950,e1951,e1952,e1953,e1954,e1955,e1956,e1957
,e1958,e1959,e1960,e1961,e1962,e1963,e1964,e1965,e1966,e1967,e1968
,e1969,e1970,e1971,e1972,e1973,e1974,e1975,e1976,e1977,e1978,e1979
,e1980,e1981,e1982,e1983,e1984,e1985,e1986,e1987,e1988,e1989,e1990
,e1991,e1992,e1993,e1994,e1995,e1996,e1997,e1998,e1999,e2000,e2001
,e2002,e2003,e2004,e2005,e2006,e2007,e2008,e2009,e2010,e2011,e2012
,e2013,e2014,e2015,e2016,e2017,e2018,e2019,e2020,e2021,e2022,e2023
,e2024,e2025,e2026,e2027,e2028,e2029,e2030,e2031,e2032,e2033,e2034
,e2035,e2036,e2037,e2038,e2039,e2040,e2041,e2042,e2043,e2044,e2045
,e2046,e2047,e2048,e2049,e2050,e2051,e2052,e2053,e2054,e2055,e2056
,e2057,e2058,e2059,e2060,e2061,e2062,e2063,e2064,e2065,e2066,e2067
,e2068,e2069,e2070,e2071,e2072,e2073,e2074,e2075,e2076,e2077,e2078
,e2079,e2080,e2081,e2082,e2083,e2084,e2085,e2086,e2087,e2088,e2089
,e2090,e2091,e2092,e2093,e2094,e2095,e2096,e2097,e2098,e2099,e2100
,e2101,e2102,e2103,e2104,e2105,e2106,e2107,e2108,e2109,e2110,e2111
,e2112,e2113,e2114,e2115,e2116,e2117,e2118,e2119,e2120,e2121,e2122
,e2123,e2124,e2125,e2126,e2127,e2128,e2129,e2130,e2131,e2132,e2133
,e2134,e2135,e2136,e2137,e2138,e2139,e2140,e2141,e2142,e2143,e2144
,e2145,e2146,e2147,e2148,e2149,e2150,e2151,e2152,e2153,e2154,e2155
,e2156,e2157,e2158,e2159,e2160,e2161;
e1.. objvar + x2 + x3 + x4 + x5 - 5*x26 - 10*x27 - 5*x28 - 10*x29 + 2*x46
+ x47 + 2*x48 + x49 + 10*x114 + 5*x115 + 5*x116 + 10*x117 + 5*x118
+ 5*x119 + 5*x120 + 10*x121 - 40*x146 - 30*x147 - 15*x148 - 10*x149
- 15*x150 - 20*x151 - 25*x152 - 30*x153 - 10*x154 - 30*x155 - 40*x156
- 40*x157 - 30*x158 - 20*x159 - 20*x160 - 25*x161 - 35*x162 - 50*x163
- 20*x164 - 50*x165 - 20*x166 - 30*x167 - 35*x168 - 10*x169 - 25*x170
- 50*x171 - 10*x172 - 35*x173 - 15*x174 - 20*x175 - 20*x176 - 30*x177
- 30*x206 - 40*x207 - 40*x208 - 35*x209 + x226 + x227 + x228 + x229
- 80*x258 - 90*x259 - 120*x260 - 100*x261 - 285*x262 - 390*x263
- 350*x264 - 300*x265 - 290*x266 - 405*x267 - 190*x268 - 340*x269
- 280*x270 - 400*x271 - 430*x272 - 260*x273 - 290*x274 - 300*x275
- 240*x276 - 310*x277 - 350*x278 - 250*x279 - 300*x280 - 400*x281
+ 5*b914 + 4*b915 + 6*b916 + 3*b917 + 8*b918 + 7*b919 + 6*b920 + 5*b921
+ 6*b922 + 9*b923 + 4*b924 + 3*b925 + 10*b926 + 9*b927 + 5*b928 + 6*b929
+ 6*b930 + 10*b931 + 6*b932 + 9*b933 + 7*b934 + 7*b935 + 4*b936 + 2*b937
+ 4*b938 + 3*b939 + 2*b940 + 8*b941 + 5*b942 + 6*b943 + 7*b944 + 4*b945
+ 2*b946 + 5*b947 + 2*b948 + 6*b949 + 4*b950 + 7*b951 + 4*b952 + 7*b953
+ 3*b954 + 9*b955 + 3*b956 + 6*b957 + 7*b958 + 2*b959 + 9*b960 + 6*b961
+ 3*b962 + b963 + 9*b964 + 10*b965 + 2*b966 + 6*b967 + 3*b968 + 7*b969
+ 4*b970 + 8*b971 + b972 + 4*b973 + 2*b974 + 5*b975 + 2*b976 + 5*b977
+ 3*b978 + 4*b979 + 3*b980 + 7*b981 + 5*b982 + 7*b983 + 6*b984 + 2*b985
+ 2*b986 + 8*b987 + 4*b988 + 2*b989 + b990 + 4*b991 + b992 + b993
+ 2*b994 + 5*b995 + 2*b996 + 7*b997 + 9*b998 + 2*b999 + 9*b1000 + 6*b1001
+ 5*b1002 + 8*b1003 + 4*b1004 + 3*b1005 + 2*b1006 + 3*b1007 + 8*b1008
+ 9*b1009 + 10*b1010 + 6*b1011 + 3*b1012 + 6*b1013 + 4*b1014 + 8*b1015
+ 7*b1016 + 7*b1017 + 7*b1018 + 3*b1019 + 9*b1020 + 3*b1021 + 4*b1022
+ 8*b1023 + 6*b1024 + 8*b1025 + 2*b1026 + b1027 + 3*b1028 + 9*b1029
+ 8*b1030 + 3*b1031 + 4*b1032 + 3*b1033 =E= 0;
e2.. x2 - x6 - x10 =E= 0;
e3.. x3 - x7 - x11 =E= 0;
e4.. x4 - x8 - x12 =E= 0;
e5.. x5 - x9 - x13 =E= 0;
e6.. - x14 - x18 + x22 =E= 0;
e7.. - x15 - x19 + x23 =E= 0;
e8.. - x16 - x20 + x24 =E= 0;
e9.. - x17 - x21 + x25 =E= 0;
e10.. x22 - x26 - x30 =E= 0;
e11.. x23 - x27 - x31 =E= 0;
e12.. x24 - x28 - x32 =E= 0;
e13.. x25 - x29 - x33 =E= 0;
e14.. x30 - x34 - x38 - x42 =E= 0;
e15.. x31 - x35 - x39 - x43 =E= 0;
e16.. x32 - x36 - x40 - x44 =E= 0;
e17.. x33 - x37 - x41 - x45 =E= 0;
e18.. x50 - x62 - x66 =E= 0;
e19.. x51 - x63 - x67 =E= 0;
e20.. x52 - x64 - x68 =E= 0;
e21.. x53 - x65 - x69 =E= 0;
e22.. x58 - x70 - x74 - x78 =E= 0;
e23.. x59 - x71 - x75 - x79 =E= 0;
e24.. x60 - x72 - x76 - x80 =E= 0;
e25.. x61 - x73 - x77 - x81 =E= 0;
e26.. x90 - x106 - x110 =E= 0;
e27.. x91 - x107 - x111 =E= 0;
e28.. x92 - x108 - x112 =E= 0;
e29.. x93 - x109 - x113 =E= 0;
e30.. - x94 - x118 + x122 =E= 0;
e31.. - x95 - x119 + x123 =E= 0;
e32.. - x96 - x120 + x124 =E= 0;
e33.. - x97 - x121 + x125 =E= 0;
e34.. x98 - x126 - x130 =E= 0;
e35.. x99 - x127 - x131 =E= 0;
e36.. x100 - x128 - x132 =E= 0;
e37.. x101 - x129 - x133 =E= 0;
e38.. x102 - x134 - x138 - x142 =E= 0;
e39.. x103 - x135 - x139 - x143 =E= 0;
e40.. x104 - x136 - x140 - x144 =E= 0;
e41.. x105 - x137 - x141 - x145 =E= 0;
e42.. x178 - x182 =E= 0;
e43.. x179 - x183 =E= 0;
e44.. x180 - x184 =E= 0;
e45.. x181 - x185 =E= 0;
e46.. x182 - x186 - x190 =E= 0;
e47.. x183 - x187 - x191 =E= 0;
e48.. x184 - x188 - x192 =E= 0;
e49.. x185 - x189 - x193 =E= 0;
e50.. - x194 - x198 + x202 =E= 0;
e51.. - x195 - x199 + x203 =E= 0;
e52.. - x196 - x200 + x204 =E= 0;
e53.. - x197 - x201 + x205 =E= 0;
e54.. x202 - x206 - x210 =E= 0;
e55.. x203 - x207 - x211 =E= 0;
e56.. x204 - x208 - x212 =E= 0;
e57.. x205 - x209 - x213 =E= 0;
e58.. x210 - x214 - x218 - x222 =E= 0;
e59.. x211 - x215 - x219 - x223 =E= 0;
e60.. x212 - x216 - x220 - x224 =E= 0;
e61.. x213 - x217 - x221 - x225 =E= 0;
e62.. x230 - x242 - x246 =E= 0;
e63.. x231 - x243 - x247 =E= 0;
e64.. x232 - x244 - x248 =E= 0;
e65.. x233 - x245 - x249 =E= 0;
e66.. x238 - x250 - x254 - x258 =E= 0;
e67.. x239 - x251 - x255 - x259 =E= 0;
e68.. x240 - x252 - x256 - x260 =E= 0;
e69.. x241 - x253 - x257 - x261 =E= 0;
e70.. (x298/(0.001 + 0.999*b794) - log(1 + x282/(0.001 + 0.999*b794)))*(0.001
+ 0.999*b794) =L= 0;
e71.. (x299/(0.001 + 0.999*b795) - log(1 + x283/(0.001 + 0.999*b795)))*(0.001
+ 0.999*b795) =L= 0;
e72.. (x300/(0.001 + 0.999*b796) - log(1 + x284/(0.001 + 0.999*b796)))*(0.001
+ 0.999*b796) =L= 0;
e73.. (x301/(0.001 + 0.999*b797) - log(1 + x285/(0.001 + 0.999*b797)))*(0.001
+ 0.999*b797) =L= 0;
e74.. x286 =E= 0;
e75.. x287 =E= 0;
e76.. x288 =E= 0;
e77.. x289 =E= 0;
e78.. x302 =E= 0;
e79.. x303 =E= 0;
e80.. x304 =E= 0;
e81.. x305 =E= 0;
e82.. x6 - x282 - x286 =E= 0;
e83.. x7 - x283 - x287 =E= 0;
e84.. x8 - x284 - x288 =E= 0;
e85.. x9 - x285 - x289 =E= 0;
e86.. x14 - x298 - x302 =E= 0;
e87.. x15 - x299 - x303 =E= 0;
e88.. x16 - x300 - x304 =E= 0;
e89.. x17 - x301 - x305 =E= 0;
e90.. x282 - 40*b794 =L= 0;
e91.. x283 - 40*b795 =L= 0;
e92.. x284 - 40*b796 =L= 0;
e93.. x285 - 40*b797 =L= 0;
e94.. x286 + 40*b794 =L= 40;
e95.. x287 + 40*b795 =L= 40;
e96.. x288 + 40*b796 =L= 40;
e97.. x289 + 40*b797 =L= 40;
e98.. x298 - 3.71357206670431*b794 =L= 0;
e99.. x299 - 3.71357206670431*b795 =L= 0;
e100.. x300 - 3.71357206670431*b796 =L= 0;
e101.. x301 - 3.71357206670431*b797 =L= 0;
e102.. x302 + 3.71357206670431*b794 =L= 3.71357206670431;
e103.. x303 + 3.71357206670431*b795 =L= 3.71357206670431;
e104.. x304 + 3.71357206670431*b796 =L= 3.71357206670431;
e105.. x305 + 3.71357206670431*b797 =L= 3.71357206670431;
e106.. (x306/(0.001 + 0.999*b798) - 1.2*log(1 + x290/(0.001 + 0.999*b798)))*(
0.001 + 0.999*b798) =L= 0;
e107.. (x307/(0.001 + 0.999*b799) - 1.2*log(1 + x291/(0.001 + 0.999*b799)))*(
0.001 + 0.999*b799) =L= 0;
e108.. (x308/(0.001 + 0.999*b800) - 1.2*log(1 + x292/(0.001 + 0.999*b800)))*(
0.001 + 0.999*b800) =L= 0;
e109.. (x309/(0.001 + 0.999*b801) - 1.2*log(1 + x293/(0.001 + 0.999*b801)))*(
0.001 + 0.999*b801) =L= 0;
e110.. x294 =E= 0;
e111.. x295 =E= 0;
e112.. x296 =E= 0;
e113.. x297 =E= 0;
e114.. x310 =E= 0;
e115.. x311 =E= 0;
e116.. x312 =E= 0;
e117.. x313 =E= 0;
e118.. x10 - x290 - x294 =E= 0;
e119.. x11 - x291 - x295 =E= 0;
e120.. x12 - x292 - x296 =E= 0;
e121.. x13 - x293 - x297 =E= 0;
e122.. x18 - x306 - x310 =E= 0;
e123.. x19 - x307 - x311 =E= 0;
e124.. x20 - x308 - x312 =E= 0;
e125.. x21 - x309 - x313 =E= 0;
e126.. x290 - 40*b798 =L= 0;
e127.. x291 - 40*b799 =L= 0;
e128.. x292 - 40*b800 =L= 0;
e129.. x293 - 40*b801 =L= 0;
e130.. x294 + 40*b798 =L= 40;
e131.. x295 + 40*b799 =L= 40;
e132.. x296 + 40*b800 =L= 40;
e133.. x297 + 40*b801 =L= 40;
e134.. x306 - 4.45628648004517*b798 =L= 0;
e135.. x307 - 4.45628648004517*b799 =L= 0;
e136.. x308 - 4.45628648004517*b800 =L= 0;
e137.. x309 - 4.45628648004517*b801 =L= 0;
e138.. x310 + 4.45628648004517*b798 =L= 4.45628648004517;
e139.. x311 + 4.45628648004517*b799 =L= 4.45628648004517;
e140.. x312 + 4.45628648004517*b800 =L= 4.45628648004517;
e141.. x313 + 4.45628648004517*b801 =L= 4.45628648004517;
e142.. - 0.75*x314 + x346 =E= 0;
e143.. - 0.75*x315 + x347 =E= 0;
e144.. - 0.75*x316 + x348 =E= 0;
e145.. - 0.75*x317 + x349 =E= 0;
e146.. x318 =E= 0;
e147.. x319 =E= 0;
e148.. x320 =E= 0;
e149.. x321 =E= 0;
e150.. x350 =E= 0;
e151.. x351 =E= 0;
e152.. x352 =E= 0;
e153.. x353 =E= 0;
e154.. x34 - x314 - x318 =E= 0;
e155.. x35 - x315 - x319 =E= 0;
e156.. x36 - x316 - x320 =E= 0;
e157.. x37 - x317 - x321 =E= 0;
e158.. x50 - x346 - x350 =E= 0;
e159.. x51 - x347 - x351 =E= 0;
e160.. x52 - x348 - x352 =E= 0;
e161.. x53 - x349 - x353 =E= 0;
e162.. x314 - 4.45628648004517*b802 =L= 0;
e163.. x315 - 4.45628648004517*b803 =L= 0;
e164.. x316 - 4.45628648004517*b804 =L= 0;
e165.. x317 - 4.45628648004517*b805 =L= 0;
e166.. x318 + 4.45628648004517*b802 =L= 4.45628648004517;
e167.. x319 + 4.45628648004517*b803 =L= 4.45628648004517;
e168.. x320 + 4.45628648004517*b804 =L= 4.45628648004517;
e169.. x321 + 4.45628648004517*b805 =L= 4.45628648004517;
e170.. x346 - 3.34221486003388*b802 =L= 0;
e171.. x347 - 3.34221486003388*b803 =L= 0;
e172.. x348 - 3.34221486003388*b804 =L= 0;
e173.. x349 - 3.34221486003388*b805 =L= 0;
e174.. x350 + 3.34221486003388*b802 =L= 3.34221486003388;
e175.. x351 + 3.34221486003388*b803 =L= 3.34221486003388;
e176.. x352 + 3.34221486003388*b804 =L= 3.34221486003388;
e177.. x353 + 3.34221486003388*b805 =L= 3.34221486003388;
e178.. (x354/(0.001 + 0.999*b806) - 1.5*log(1 + x322/(0.001 + 0.999*b806)))*(
0.001 + 0.999*b806) =L= 0;
e179.. (x355/(0.001 + 0.999*b807) - 1.5*log(1 + x323/(0.001 + 0.999*b807)))*(
0.001 + 0.999*b807) =L= 0;
e180.. (x356/(0.001 + 0.999*b808) - 1.5*log(1 + x324/(0.001 + 0.999*b808)))*(
0.001 + 0.999*b808) =L= 0;
e181.. (x357/(0.001 + 0.999*b809) - 1.5*log(1 + x325/(0.001 + 0.999*b809)))*(
0.001 + 0.999*b809) =L= 0;
e182.. x326 =E= 0;
e183.. x327 =E= 0;
e184.. x328 =E= 0;
e185.. x329 =E= 0;
e186.. x362 =E= 0;
e187.. x363 =E= 0;
e188.. x364 =E= 0;
e189.. x365 =E= 0;
e190.. x38 - x322 - x326 =E= 0;
e191.. x39 - x323 - x327 =E= 0;
e192.. x40 - x324 - x328 =E= 0;
e193.. x41 - x325 - x329 =E= 0;
e194.. x54 - x354 - x362 =E= 0;
e195.. x55 - x355 - x363 =E= 0;
e196.. x56 - x356 - x364 =E= 0;
e197.. x57 - x357 - x365 =E= 0;
e198.. x322 - 4.45628648004517*b806 =L= 0;
e199.. x323 - 4.45628648004517*b807 =L= 0;
e200.. x324 - 4.45628648004517*b808 =L= 0;
e201.. x325 - 4.45628648004517*b809 =L= 0;
e202.. x326 + 4.45628648004517*b806 =L= 4.45628648004517;
e203.. x327 + 4.45628648004517*b807 =L= 4.45628648004517;
e204.. x328 + 4.45628648004517*b808 =L= 4.45628648004517;
e205.. x329 + 4.45628648004517*b809 =L= 4.45628648004517;
e206.. x354 - 2.54515263975353*b806 =L= 0;
e207.. x355 - 2.54515263975353*b807 =L= 0;
e208.. x356 - 2.54515263975353*b808 =L= 0;
e209.. x357 - 2.54515263975353*b809 =L= 0;
e210.. x362 + 2.54515263975353*b806 =L= 2.54515263975353;
e211.. x363 + 2.54515263975353*b807 =L= 2.54515263975353;
e212.. x364 + 2.54515263975353*b808 =L= 2.54515263975353;
e213.. x365 + 2.54515263975353*b809 =L= 2.54515263975353;
e214.. - x330 + x370 =E= 0;
e215.. - x331 + x371 =E= 0;
e216.. - x332 + x372 =E= 0;
e217.. - x333 + x373 =E= 0;
e218.. - 0.5*x338 + x370 =E= 0;
e219.. - 0.5*x339 + x371 =E= 0;
e220.. - 0.5*x340 + x372 =E= 0;
e221.. - 0.5*x341 + x373 =E= 0;
e222.. x334 =E= 0;
e223.. x335 =E= 0;
e224.. x336 =E= 0;
e225.. x337 =E= 0;
e226.. x342 =E= 0;
e227.. x343 =E= 0;
e228.. x344 =E= 0;
e229.. x345 =E= 0;
e230.. x374 =E= 0;
e231.. x375 =E= 0;
e232.. x376 =E= 0;
e233.. x377 =E= 0;
e234.. x42 - x330 - x334 =E= 0;
e235.. x43 - x331 - x335 =E= 0;
e236.. x44 - x332 - x336 =E= 0;
e237.. x45 - x333 - x337 =E= 0;
e238.. x46 - x338 - x342 =E= 0;
e239.. x47 - x339 - x343 =E= 0;
e240.. x48 - x340 - x344 =E= 0;
e241.. x49 - x341 - x345 =E= 0;
e242.. x58 - x370 - x374 =E= 0;
e243.. x59 - x371 - x375 =E= 0;
e244.. x60 - x372 - x376 =E= 0;
e245.. x61 - x373 - x377 =E= 0;
e246.. x330 - 4.45628648004517*b810 =L= 0;
e247.. x331 - 4.45628648004517*b811 =L= 0;
e248.. x332 - 4.45628648004517*b812 =L= 0;
e249.. x333 - 4.45628648004517*b813 =L= 0;
e250.. x334 + 4.45628648004517*b810 =L= 4.45628648004517;
e251.. x335 + 4.45628648004517*b811 =L= 4.45628648004517;
e252.. x336 + 4.45628648004517*b812 =L= 4.45628648004517;
e253.. x337 + 4.45628648004517*b813 =L= 4.45628648004517;
e254.. x338 - 30*b810 =L= 0;
e255.. x339 - 30*b811 =L= 0;
e256.. x340 - 30*b812 =L= 0;
e257.. x341 - 30*b813 =L= 0;
e258.. x342 + 30*b810 =L= 30;
e259.. x343 + 30*b811 =L= 30;
e260.. x344 + 30*b812 =L= 30;
e261.. x345 + 30*b813 =L= 30;
e262.. x370 - 15*b810 =L= 0;
e263.. x371 - 15*b811 =L= 0;
e264.. x372 - 15*b812 =L= 0;
e265.. x373 - 15*b813 =L= 0;
e266.. x374 + 15*b810 =L= 15;
e267.. x375 + 15*b811 =L= 15;
e268.. x376 + 15*b812 =L= 15;
e269.. x377 + 15*b813 =L= 15;
e270.. (x418/(0.001 + 0.999*b814) - 1.25*log(1 + x378/(0.001 + 0.999*b814)))*(
0.001 + 0.999*b814) =L= 0;
e271.. (x419/(0.001 + 0.999*b815) - 1.25*log(1 + x379/(0.001 + 0.999*b815)))*(
0.001 + 0.999*b815) =L= 0;
e272.. (x420/(0.001 + 0.999*b816) - 1.25*log(1 + x380/(0.001 + 0.999*b816)))*(
0.001 + 0.999*b816) =L= 0;
e273.. (x421/(0.001 + 0.999*b817) - 1.25*log(1 + x381/(0.001 + 0.999*b817)))*(
0.001 + 0.999*b817) =L= 0;
e274.. x382 =E= 0;
e275.. x383 =E= 0;
e276.. x384 =E= 0;
e277.. x385 =E= 0;
e278.. x426 =E= 0;
e279.. x427 =E= 0;
e280.. x428 =E= 0;
e281.. x429 =E= 0;
e282.. x62 - x378 - x382 =E= 0;
e283.. x63 - x379 - x383 =E= 0;
e284.. x64 - x380 - x384 =E= 0;
e285.. x65 - x381 - x385 =E= 0;
e286.. x82 - x418 - x426 =E= 0;
e287.. x83 - x419 - x427 =E= 0;
e288.. x84 - x420 - x428 =E= 0;
e289.. x85 - x421 - x429 =E= 0;
e290.. x378 - 3.34221486003388*b814 =L= 0;
e291.. x379 - 3.34221486003388*b815 =L= 0;
e292.. x380 - 3.34221486003388*b816 =L= 0;
e293.. x381 - 3.34221486003388*b817 =L= 0;
e294.. x382 + 3.34221486003388*b814 =L= 3.34221486003388;
e295.. x383 + 3.34221486003388*b815 =L= 3.34221486003388;
e296.. x384 + 3.34221486003388*b816 =L= 3.34221486003388;
e297.. x385 + 3.34221486003388*b817 =L= 3.34221486003388;
e298.. x418 - 1.83548069293539*b814 =L= 0;
e299.. x419 - 1.83548069293539*b815 =L= 0;
e300.. x420 - 1.83548069293539*b816 =L= 0;
e301.. x421 - 1.83548069293539*b817 =L= 0;
e302.. x426 + 1.83548069293539*b814 =L= 1.83548069293539;
e303.. x427 + 1.83548069293539*b815 =L= 1.83548069293539;
e304.. x428 + 1.83548069293539*b816 =L= 1.83548069293539;
e305.. x429 + 1.83548069293539*b817 =L= 1.83548069293539;
e306.. (x434/(0.001 + 0.999*b818) - 0.9*log(1 + x386/(0.001 + 0.999*b818)))*(
0.001 + 0.999*b818) =L= 0;
e307.. (x435/(0.001 + 0.999*b819) - 0.9*log(1 + x387/(0.001 + 0.999*b819)))*(
0.001 + 0.999*b819) =L= 0;
e308.. (x436/(0.001 + 0.999*b820) - 0.9*log(1 + x388/(0.001 + 0.999*b820)))*(
0.001 + 0.999*b820) =L= 0;
e309.. (x437/(0.001 + 0.999*b821) - 0.9*log(1 + x389/(0.001 + 0.999*b821)))*(
0.001 + 0.999*b821) =L= 0;
e310.. x390 =E= 0;
e311.. x391 =E= 0;
e312.. x392 =E= 0;
e313.. x393 =E= 0;
e314.. x442 =E= 0;
e315.. x443 =E= 0;
e316.. x444 =E= 0;
e317.. x445 =E= 0;
e318.. x66 - x386 - x390 =E= 0;
e319.. x67 - x387 - x391 =E= 0;
e320.. x68 - x388 - x392 =E= 0;
e321.. x69 - x389 - x393 =E= 0;
e322.. x86 - x434 - x442 =E= 0;
e323.. x87 - x435 - x443 =E= 0;
e324.. x88 - x436 - x444 =E= 0;
e325.. x89 - x437 - x445 =E= 0;
e326.. x386 - 3.34221486003388*b818 =L= 0;
e327.. x387 - 3.34221486003388*b819 =L= 0;
e328.. x388 - 3.34221486003388*b820 =L= 0;
e329.. x389 - 3.34221486003388*b821 =L= 0;
e330.. x390 + 3.34221486003388*b818 =L= 3.34221486003388;
e331.. x391 + 3.34221486003388*b819 =L= 3.34221486003388;
e332.. x392 + 3.34221486003388*b820 =L= 3.34221486003388;
e333.. x393 + 3.34221486003388*b821 =L= 3.34221486003388;
e334.. x434 - 1.32154609891348*b818 =L= 0;
e335.. x435 - 1.32154609891348*b819 =L= 0;
e336.. x436 - 1.32154609891348*b820 =L= 0;
e337.. x437 - 1.32154609891348*b821 =L= 0;
e338.. x442 + 1.32154609891348*b818 =L= 1.32154609891348;
e339.. x443 + 1.32154609891348*b819 =L= 1.32154609891348;
e340.. x444 + 1.32154609891348*b820 =L= 1.32154609891348;
e341.. x445 + 1.32154609891348*b821 =L= 1.32154609891348;
e342.. (x450/(0.001 + 0.999*b822) - log(1 + x358/(0.001 + 0.999*b822)))*(0.001
+ 0.999*b822) =L= 0;
e343.. (x451/(0.001 + 0.999*b823) - log(1 + x359/(0.001 + 0.999*b823)))*(0.001
+ 0.999*b823) =L= 0;
e344.. (x452/(0.001 + 0.999*b824) - log(1 + x360/(0.001 + 0.999*b824)))*(0.001
+ 0.999*b824) =L= 0;
e345.. (x453/(0.001 + 0.999*b825) - log(1 + x361/(0.001 + 0.999*b825)))*(0.001
+ 0.999*b825) =L= 0;
e346.. x366 =E= 0;
e347.. x367 =E= 0;
e348.. x368 =E= 0;
e349.. x369 =E= 0;
e350.. x454 =E= 0;
e351.. x455 =E= 0;
e352.. x456 =E= 0;
e353.. x457 =E= 0;
e354.. x54 - x358 - x366 =E= 0;
e355.. x55 - x359 - x367 =E= 0;
e356.. x56 - x360 - x368 =E= 0;
e357.. x57 - x361 - x369 =E= 0;
e358.. x90 - x450 - x454 =E= 0;
e359.. x91 - x451 - x455 =E= 0;
e360.. x92 - x452 - x456 =E= 0;
e361.. x93 - x453 - x457 =E= 0;
e362.. x358 - 2.54515263975353*b822 =L= 0;
e363.. x359 - 2.54515263975353*b823 =L= 0;
e364.. x360 - 2.54515263975353*b824 =L= 0;
e365.. x361 - 2.54515263975353*b825 =L= 0;
e366.. x366 + 2.54515263975353*b822 =L= 2.54515263975353;
e367.. x367 + 2.54515263975353*b823 =L= 2.54515263975353;
e368.. x368 + 2.54515263975353*b824 =L= 2.54515263975353;
e369.. x369 + 2.54515263975353*b825 =L= 2.54515263975353;
e370.. x450 - 1.26558121681553*b822 =L= 0;
e371.. x451 - 1.26558121681553*b823 =L= 0;
e372.. x452 - 1.26558121681553*b824 =L= 0;
e373.. x453 - 1.26558121681553*b825 =L= 0;
e374.. x454 + 1.26558121681553*b822 =L= 1.26558121681553;
e375.. x455 + 1.26558121681553*b823 =L= 1.26558121681553;
e376.. x456 + 1.26558121681553*b824 =L= 1.26558121681553;
e377.. x457 + 1.26558121681553*b825 =L= 1.26558121681553;
e378.. - 0.9*x394 + x458 =E= 0;
e379.. - 0.9*x395 + x459 =E= 0;
e380.. - 0.9*x396 + x460 =E= 0;
e381.. - 0.9*x397 + x461 =E= 0;
e382.. x398 =E= 0;
e383.. x399 =E= 0;
e384.. x400 =E= 0;
e385.. x401 =E= 0;
e386.. x462 =E= 0;
e387.. x463 =E= 0;
e388.. x464 =E= 0;
e389.. x465 =E= 0;
e390.. x70 - x394 - x398 =E= 0;
e391.. x71 - x395 - x399 =E= 0;
e392.. x72 - x396 - x400 =E= 0;
e393.. x73 - x397 - x401 =E= 0;
e394.. x94 - x458 - x462 =E= 0;
e395.. x95 - x459 - x463 =E= 0;
e396.. x96 - x460 - x464 =E= 0;
e397.. x97 - x461 - x465 =E= 0;
e398.. x394 - 15*b826 =L= 0;
e399.. x395 - 15*b827 =L= 0;
e400.. x396 - 15*b828 =L= 0;
e401.. x397 - 15*b829 =L= 0;
e402.. x398 + 15*b826 =L= 15;
e403.. x399 + 15*b827 =L= 15;
e404.. x400 + 15*b828 =L= 15;
e405.. x401 + 15*b829 =L= 15;
e406.. x458 - 13.5*b826 =L= 0;
e407.. x459 - 13.5*b827 =L= 0;
e408.. x460 - 13.5*b828 =L= 0;
e409.. x461 - 13.5*b829 =L= 0;
e410.. x462 + 13.5*b826 =L= 13.5;
e411.. x463 + 13.5*b827 =L= 13.5;
e412.. x464 + 13.5*b828 =L= 13.5;
e413.. x465 + 13.5*b829 =L= 13.5;
e414.. - 0.6*x402 + x466 =E= 0;
e415.. - 0.6*x403 + x467 =E= 0;
e416.. - 0.6*x404 + x468 =E= 0;
e417.. - 0.6*x405 + x469 =E= 0;
e418.. x406 =E= 0;
e419.. x407 =E= 0;
e420.. x408 =E= 0;
e421.. x409 =E= 0;
e422.. x470 =E= 0;
e423.. x471 =E= 0;
e424.. x472 =E= 0;
e425.. x473 =E= 0;
e426.. x74 - x402 - x406 =E= 0;
e427.. x75 - x403 - x407 =E= 0;
e428.. x76 - x404 - x408 =E= 0;
e429.. x77 - x405 - x409 =E= 0;
e430.. x98 - x466 - x470 =E= 0;
e431.. x99 - x467 - x471 =E= 0;
e432.. x100 - x468 - x472 =E= 0;
e433.. x101 - x469 - x473 =E= 0;
e434.. x402 - 15*b830 =L= 0;
e435.. x403 - 15*b831 =L= 0;
e436.. x404 - 15*b832 =L= 0;
e437.. x405 - 15*b833 =L= 0;
e438.. x406 + 15*b830 =L= 15;
e439.. x407 + 15*b831 =L= 15;
e440.. x408 + 15*b832 =L= 15;
e441.. x409 + 15*b833 =L= 15;
e442.. x466 - 9*b830 =L= 0;
e443.. x467 - 9*b831 =L= 0;
e444.. x468 - 9*b832 =L= 0;
e445.. x469 - 9*b833 =L= 0;
e446.. x470 + 9*b830 =L= 9;
e447.. x471 + 9*b831 =L= 9;
e448.. x472 + 9*b832 =L= 9;
e449.. x473 + 9*b833 =L= 9;
e450.. (x474/(0.001 + 0.999*b834) - 1.1*log(1 + x410/(0.001 + 0.999*b834)))*(
0.001 + 0.999*b834) =L= 0;
e451.. (x475/(0.001 + 0.999*b835) - 1.1*log(1 + x411/(0.001 + 0.999*b835)))*(
0.001 + 0.999*b835) =L= 0;
e452.. (x476/(0.001 + 0.999*b836) - 1.1*log(1 + x412/(0.001 + 0.999*b836)))*(
0.001 + 0.999*b836) =L= 0;
e453.. (x477/(0.001 + 0.999*b837) - 1.1*log(1 + x413/(0.001 + 0.999*b837)))*(
0.001 + 0.999*b837) =L= 0;
e454.. x414 =E= 0;
e455.. x415 =E= 0;
e456.. x416 =E= 0;
e457.. x417 =E= 0;
e458.. x478 =E= 0;
e459.. x479 =E= 0;
e460.. x480 =E= 0;
e461.. x481 =E= 0;
e462.. x78 - x410 - x414 =E= 0;
e463.. x79 - x411 - x415 =E= 0;
e464.. x80 - x412 - x416 =E= 0;
e465.. x81 - x413 - x417 =E= 0;
e466.. x102 - x474 - x478 =E= 0;
e467.. x103 - x475 - x479 =E= 0;
e468.. x104 - x476 - x480 =E= 0;
e469.. x105 - x477 - x481 =E= 0;
e470.. x410 - 15*b834 =L= 0;
e471.. x411 - 15*b835 =L= 0;
e472.. x412 - 15*b836 =L= 0;
e473.. x413 - 15*b837 =L= 0;
e474.. x414 + 15*b834 =L= 15;
e475.. x415 + 15*b835 =L= 15;
e476.. x416 + 15*b836 =L= 15;
e477.. x417 + 15*b837 =L= 15;
e478.. x474 - 3.04984759446376*b834 =L= 0;
e479.. x475 - 3.04984759446376*b835 =L= 0;
e480.. x476 - 3.04984759446376*b836 =L= 0;
e481.. x477 - 3.04984759446376*b837 =L= 0;
e482.. x478 + 3.04984759446376*b834 =L= 3.04984759446376;
e483.. x479 + 3.04984759446376*b835 =L= 3.04984759446376;
e484.. x480 + 3.04984759446376*b836 =L= 3.04984759446376;
e485.. x481 + 3.04984759446376*b837 =L= 3.04984759446376;
e486.. - 0.9*x422 + x554 =E= 0;
e487.. - 0.9*x423 + x555 =E= 0;
e488.. - 0.9*x424 + x556 =E= 0;
e489.. - 0.9*x425 + x557 =E= 0;
e490.. - x498 + x554 =E= 0;
e491.. - x499 + x555 =E= 0;
e492.. - x500 + x556 =E= 0;
e493.. - x501 + x557 =E= 0;
e494.. x430 =E= 0;
e495.. x431 =E= 0;
e496.. x432 =E= 0;
e497.. x433 =E= 0;
e498.. x502 =E= 0;
e499.. x503 =E= 0;
e500.. x504 =E= 0;
e501.. x505 =E= 0;
e502.. x558 =E= 0;
e503.. x559 =E= 0;
e504.. x560 =E= 0;
e505.. x561 =E= 0;
e506.. x82 - x422 - x430 =E= 0;
e507.. x83 - x423 - x431 =E= 0;
e508.. x84 - x424 - x432 =E= 0;
e509.. x85 - x425 - x433 =E= 0;
e510.. x114 - x498 - x502 =E= 0;
e511.. x115 - x499 - x503 =E= 0;
e512.. x116 - x500 - x504 =E= 0;
e513.. x117 - x501 - x505 =E= 0;
e514.. x146 - x554 - x558 =E= 0;
e515.. x147 - x555 - x559 =E= 0;
e516.. x148 - x556 - x560 =E= 0;
e517.. x149 - x557 - x561 =E= 0;
e518.. x422 - 1.83548069293539*b838 =L= 0;
e519.. x423 - 1.83548069293539*b839 =L= 0;
e520.. x424 - 1.83548069293539*b840 =L= 0;
e521.. x425 - 1.83548069293539*b841 =L= 0;
e522.. x430 + 1.83548069293539*b838 =L= 1.83548069293539;
e523.. x431 + 1.83548069293539*b839 =L= 1.83548069293539;
e524.. x432 + 1.83548069293539*b840 =L= 1.83548069293539;
e525.. x433 + 1.83548069293539*b841 =L= 1.83548069293539;
e526.. x498 - 20*b838 =L= 0;
e527.. x499 - 20*b839 =L= 0;
e528.. x500 - 20*b840 =L= 0;
e529.. x501 - 20*b841 =L= 0;
e530.. x502 + 20*b838 =L= 20;
e531.. x503 + 20*b839 =L= 20;
e532.. x504 + 20*b840 =L= 20;
e533.. x505 + 20*b841 =L= 20;
e534.. x554 - 20*b838 =L= 0;
e535.. x555 - 20*b839 =L= 0;
e536.. x556 - 20*b840 =L= 0;
e537.. x557 - 20*b841 =L= 0;
e538.. x558 + 20*b838 =L= 20;
e539.. x559 + 20*b839 =L= 20;
e540.. x560 + 20*b840 =L= 20;
e541.. x561 + 20*b841 =L= 20;
e542.. (x562/(0.001 + 0.999*b842) - log(1 + x438/(0.001 + 0.999*b842)))*(0.001
+ 0.999*b842) =L= 0;
e543.. (x563/(0.001 + 0.999*b843) - log(1 + x439/(0.001 + 0.999*b843)))*(0.001
+ 0.999*b843) =L= 0;
e544.. (x564/(0.001 + 0.999*b844) - log(1 + x440/(0.001 + 0.999*b844)))*(0.001
+ 0.999*b844) =L= 0;
e545.. (x565/(0.001 + 0.999*b845) - log(1 + x441/(0.001 + 0.999*b845)))*(0.001
+ 0.999*b845) =L= 0;
e546.. x446 =E= 0;
e547.. x447 =E= 0;
e548.. x448 =E= 0;
e549.. x449 =E= 0;
e550.. x566 =E= 0;
e551.. x567 =E= 0;
e552.. x568 =E= 0;
e553.. x569 =E= 0;
e554.. x86 - x438 - x446 =E= 0;
e555.. x87 - x439 - x447 =E= 0;
e556.. x88 - x440 - x448 =E= 0;
e557.. x89 - x441 - x449 =E= 0;
e558.. x150 - x562 - x566 =E= 0;
e559.. x151 - x563 - x567 =E= 0;
e560.. x152 - x564 - x568 =E= 0;
e561.. x153 - x565 - x569 =E= 0;
e562.. x438 - 1.32154609891348*b842 =L= 0;
e563.. x439 - 1.32154609891348*b843 =L= 0;
e564.. x440 - 1.32154609891348*b844 =L= 0;
e565.. x441 - 1.32154609891348*b845 =L= 0;
e566.. x446 + 1.32154609891348*b842 =L= 1.32154609891348;
e567.. x447 + 1.32154609891348*b843 =L= 1.32154609891348;
e568.. x448 + 1.32154609891348*b844 =L= 1.32154609891348;
e569.. x449 + 1.32154609891348*b845 =L= 1.32154609891348;
e570.. x562 - 0.842233385663186*b842 =L= 0;
e571.. x563 - 0.842233385663186*b843 =L= 0;
e572.. x564 - 0.842233385663186*b844 =L= 0;
e573.. x565 - 0.842233385663186*b845 =L= 0;
e574.. x566 + 0.842233385663186*b842 =L= 0.842233385663186;
e575.. x567 + 0.842233385663186*b843 =L= 0.842233385663186;
e576.. x568 + 0.842233385663186*b844 =L= 0.842233385663186;
e577.. x569 + 0.842233385663186*b845 =L= 0.842233385663186;
e578.. (x570/(0.001 + 0.999*b846) - 0.7*log(1 + x482/(0.001 + 0.999*b846)))*(
0.001 + 0.999*b846) =L= 0;
e579.. (x571/(0.001 + 0.999*b847) - 0.7*log(1 + x483/(0.001 + 0.999*b847)))*(
0.001 + 0.999*b847) =L= 0;
e580.. (x572/(0.001 + 0.999*b848) - 0.7*log(1 + x484/(0.001 + 0.999*b848)))*(
0.001 + 0.999*b848) =L= 0;
e581.. (x573/(0.001 + 0.999*b849) - 0.7*log(1 + x485/(0.001 + 0.999*b849)))*(
0.001 + 0.999*b849) =L= 0;
e582.. x486 =E= 0;
e583.. x487 =E= 0;
e584.. x488 =E= 0;
e585.. x489 =E= 0;
e586.. x574 =E= 0;
e587.. x575 =E= 0;
e588.. x576 =E= 0;
e589.. x577 =E= 0;
e590.. x106 - x482 - x486 =E= 0;
e591.. x107 - x483 - x487 =E= 0;
e592.. x108 - x484 - x488 =E= 0;
e593.. x109 - x485 - x489 =E= 0;
e594.. x154 - x570 - x574 =E= 0;
e595.. x155 - x571 - x575 =E= 0;
e596.. x156 - x572 - x576 =E= 0;
e597.. x157 - x573 - x577 =E= 0;
e598.. x482 - 1.26558121681553*b846 =L= 0;
e599.. x483 - 1.26558121681553*b847 =L= 0;
e600.. x484 - 1.26558121681553*b848 =L= 0;
e601.. x485 - 1.26558121681553*b849 =L= 0;
e602.. x486 + 1.26558121681553*b846 =L= 1.26558121681553;
e603.. x487 + 1.26558121681553*b847 =L= 1.26558121681553;
e604.. x488 + 1.26558121681553*b848 =L= 1.26558121681553;
e605.. x489 + 1.26558121681553*b849 =L= 1.26558121681553;
e606.. x570 - 0.572481933717686*b846 =L= 0;
e607.. x571 - 0.572481933717686*b847 =L= 0;
e608.. x572 - 0.572481933717686*b848 =L= 0;
e609.. x573 - 0.572481933717686*b849 =L= 0;
e610.. x574 + 0.572481933717686*b846 =L= 0.572481933717686;
e611.. x575 + 0.572481933717686*b847 =L= 0.572481933717686;
e612.. x576 + 0.572481933717686*b848 =L= 0.572481933717686;
e613.. x577 + 0.572481933717686*b849 =L= 0.572481933717686;
e614.. (x578/(0.001 + 0.999*b850) - 0.65*log(1 + x490/(0.001 + 0.999*b850)))*(
0.001 + 0.999*b850) =L= 0;
e615.. (x579/(0.001 + 0.999*b851) - 0.65*log(1 + x491/(0.001 + 0.999*b851)))*(
0.001 + 0.999*b851) =L= 0;
e616.. (x580/(0.001 + 0.999*b852) - 0.65*log(1 + x492/(0.001 + 0.999*b852)))*(
0.001 + 0.999*b852) =L= 0;
e617.. (x581/(0.001 + 0.999*b853) - 0.65*log(1 + x493/(0.001 + 0.999*b853)))*(
0.001 + 0.999*b853) =L= 0;
e618.. (x578/(0.001 + 0.999*b850) - 0.65*log(1 + x506/(0.001 + 0.999*b850)))*(
0.001 + 0.999*b850) =L= 0;
e619.. (x579/(0.001 + 0.999*b851) - 0.65*log(1 + x507/(0.001 + 0.999*b851)))*(
0.001 + 0.999*b851) =L= 0;
e620.. (x580/(0.001 + 0.999*b852) - 0.65*log(1 + x508/(0.001 + 0.999*b852)))*(
0.001 + 0.999*b852) =L= 0;
e621.. (x581/(0.001 + 0.999*b853) - 0.65*log(1 + x509/(0.001 + 0.999*b853)))*(
0.001 + 0.999*b853) =L= 0;
e622.. x494 =E= 0;
e623.. x495 =E= 0;
e624.. x496 =E= 0;
e625.. x497 =E= 0;
e626.. x510 =E= 0;
e627.. x511 =E= 0;
e628.. x512 =E= 0;
e629.. x513 =E= 0;
e630.. x582 =E= 0;
e631.. x583 =E= 0;
e632.. x584 =E= 0;
e633.. x585 =E= 0;
e634.. x110 - x490 - x494 =E= 0;
e635.. x111 - x491 - x495 =E= 0;
e636.. x112 - x492 - x496 =E= 0;
e637.. x113 - x493 - x497 =E= 0;
e638.. x122 - x506 - x510 =E= 0;
e639.. x123 - x507 - x511 =E= 0;
e640.. x124 - x508 - x512 =E= 0;
e641.. x125 - x509 - x513 =E= 0;
e642.. x158 - x578 - x582 =E= 0;
e643.. x159 - x579 - x583 =E= 0;
e644.. x160 - x580 - x584 =E= 0;
e645.. x161 - x581 - x585 =E= 0;
e646.. x490 - 1.26558121681553*b850 =L= 0;
e647.. x491 - 1.26558121681553*b851 =L= 0;
e648.. x492 - 1.26558121681553*b852 =L= 0;
e649.. x493 - 1.26558121681553*b853 =L= 0;
e650.. x494 + 1.26558121681553*b850 =L= 1.26558121681553;
e651.. x495 + 1.26558121681553*b851 =L= 1.26558121681553;
e652.. x496 + 1.26558121681553*b852 =L= 1.26558121681553;
e653.. x497 + 1.26558121681553*b853 =L= 1.26558121681553;
e654.. x506 - 33.5*b850 =L= 0;
e655.. x507 - 33.5*b851 =L= 0;
e656.. x508 - 33.5*b852 =L= 0;
e657.. x509 - 33.5*b853 =L= 0;
e658.. x510 + 33.5*b850 =L= 33.5;
e659.. x511 + 33.5*b851 =L= 33.5;
e660.. x512 + 33.5*b852 =L= 33.5;
e661.. x513 + 33.5*b853 =L= 33.5;
e662.. x578 - 2.30162356062425*b850 =L= 0;
e663.. x579 - 2.30162356062425*b851 =L= 0;
e664.. x580 - 2.30162356062425*b852 =L= 0;
e665.. x581 - 2.30162356062425*b853 =L= 0;
e666.. x582 + 2.30162356062425*b850 =L= 2.30162356062425;
e667.. x583 + 2.30162356062425*b851 =L= 2.30162356062425;
e668.. x584 + 2.30162356062425*b852 =L= 2.30162356062425;
e669.. x585 + 2.30162356062425*b853 =L= 2.30162356062425;
e670.. - x514 + x586 =E= 0;
e671.. - x515 + x587 =E= 0;
e672.. - x516 + x588 =E= 0;
e673.. - x517 + x589 =E= 0;
e674.. x518 =E= 0;
e675.. x519 =E= 0;
e676.. x520 =E= 0;
e677.. x521 =E= 0;
e678.. x590 =E= 0;
e679.. x591 =E= 0;
e680.. x592 =E= 0;
e681.. x593 =E= 0;
e682.. x126 - x514 - x518 =E= 0;
e683.. x127 - x515 - x519 =E= 0;
e684.. x128 - x516 - x520 =E= 0;
e685.. x129 - x517 - x521 =E= 0;
e686.. x162 - x586 - x590 =E= 0;
e687.. x163 - x587 - x591 =E= 0;
e688.. x164 - x588 - x592 =E= 0;
e689.. x165 - x589 - x593 =E= 0;
e690.. x514 - 9*b854 =L= 0;
e691.. x515 - 9*b855 =L= 0;
e692.. x516 - 9*b856 =L= 0;
e693.. x517 - 9*b857 =L= 0;
e694.. x518 + 9*b854 =L= 9;
e695.. x519 + 9*b855 =L= 9;
e696.. x520 + 9*b856 =L= 9;
e697.. x521 + 9*b857 =L= 9;
e698.. x586 - 9*b854 =L= 0;
e699.. x587 - 9*b855 =L= 0;
e700.. x588 - 9*b856 =L= 0;
e701.. x589 - 9*b857 =L= 0;
e702.. x590 + 9*b854 =L= 9;
e703.. x591 + 9*b855 =L= 9;
e704.. x592 + 9*b856 =L= 9;
e705.. x593 + 9*b857 =L= 9;
e706.. - x522 + x594 =E= 0;
e707.. - x523 + x595 =E= 0;
e708.. - x524 + x596 =E= 0;
e709.. - x525 + x597 =E= 0;
e710.. x526 =E= 0;
e711.. x527 =E= 0;
e712.. x528 =E= 0;
e713.. x529 =E= 0;
e714.. x598 =E= 0;
e715.. x599 =E= 0;
e716.. x600 =E= 0;
e717.. x601 =E= 0;
e718.. x130 - x522 - x526 =E= 0;
e719.. x131 - x523 - x527 =E= 0;
e720.. x132 - x524 - x528 =E= 0;
e721.. x133 - x525 - x529 =E= 0;
e722.. x166 - x594 - x598 =E= 0;
e723.. x167 - x595 - x599 =E= 0;
e724.. x168 - x596 - x600 =E= 0;
e725.. x169 - x597 - x601 =E= 0;
e726.. x522 - 9*b858 =L= 0;
e727.. x523 - 9*b859 =L= 0;
e728.. x524 - 9*b860 =L= 0;
e729.. x525 - 9*b861 =L= 0;
e730.. x526 + 9*b858 =L= 9;
e731.. x527 + 9*b859 =L= 9;
e732.. x528 + 9*b860 =L= 9;
e733.. x529 + 9*b861 =L= 9;
e734.. x594 - 9*b858 =L= 0;
e735.. x595 - 9*b859 =L= 0;
e736.. x596 - 9*b860 =L= 0;
e737.. x597 - 9*b861 =L= 0;
e738.. x598 + 9*b858 =L= 9;
e739.. x599 + 9*b859 =L= 9;
e740.. x600 + 9*b860 =L= 9;
e741.. x601 + 9*b861 =L= 9;
e742.. (x602/(0.001 + 0.999*b862) - 0.75*log(1 + x530/(0.001 + 0.999*b862)))*(
0.001 + 0.999*b862) =L= 0;
e743.. (x603/(0.001 + 0.999*b863) - 0.75*log(1 + x531/(0.001 + 0.999*b863)))*(
0.001 + 0.999*b863) =L= 0;
e744.. (x604/(0.001 + 0.999*b864) - 0.75*log(1 + x532/(0.001 + 0.999*b864)))*(
0.001 + 0.999*b864) =L= 0;
e745.. (x605/(0.001 + 0.999*b865) - 0.75*log(1 + x533/(0.001 + 0.999*b865)))*(
0.001 + 0.999*b865) =L= 0;
e746.. x534 =E= 0;
e747.. x535 =E= 0;
e748.. x536 =E= 0;
e749.. x537 =E= 0;
e750.. x606 =E= 0;
e751.. x607 =E= 0;
e752.. x608 =E= 0;
e753.. x609 =E= 0;
e754.. x134 - x530 - x534 =E= 0;
e755.. x135 - x531 - x535 =E= 0;
e756.. x136 - x532 - x536 =E= 0;
e757.. x137 - x533 - x537 =E= 0;
e758.. x170 - x602 - x606 =E= 0;
e759.. x171 - x603 - x607 =E= 0;
e760.. x172 - x604 - x608 =E= 0;
e761.. x173 - x605 - x609 =E= 0;
e762.. x530 - 3.04984759446376*b862 =L= 0;
e763.. x531 - 3.04984759446376*b863 =L= 0;
e764.. x532 - 3.04984759446376*b864 =L= 0;
e765.. x533 - 3.04984759446376*b865 =L= 0;
e766.. x534 + 3.04984759446376*b862 =L= 3.04984759446376;
e767.. x535 + 3.04984759446376*b863 =L= 3.04984759446376;
e768.. x536 + 3.04984759446376*b864 =L= 3.04984759446376;
e769.. x537 + 3.04984759446376*b865 =L= 3.04984759446376;
e770.. x602 - 1.04900943706034*b862 =L= 0;
e771.. x603 - 1.04900943706034*b863 =L= 0;
e772.. x604 - 1.04900943706034*b864 =L= 0;
e773.. x605 - 1.04900943706034*b865 =L= 0;
e774.. x606 + 1.04900943706034*b862 =L= 1.04900943706034;
e775.. x607 + 1.04900943706034*b863 =L= 1.04900943706034;
e776.. x608 + 1.04900943706034*b864 =L= 1.04900943706034;
e777.. x609 + 1.04900943706034*b865 =L= 1.04900943706034;
e778.. (x610/(0.001 + 0.999*b866) - 0.8*log(1 + x538/(0.001 + 0.999*b866)))*(
0.001 + 0.999*b866) =L= 0;
e779.. (x611/(0.001 + 0.999*b867) - 0.8*log(1 + x539/(0.001 + 0.999*b867)))*(
0.001 + 0.999*b867) =L= 0;
e780.. (x612/(0.001 + 0.999*b868) - 0.8*log(1 + x540/(0.001 + 0.999*b868)))*(
0.001 + 0.999*b868) =L= 0;
e781.. (x613/(0.001 + 0.999*b869) - 0.8*log(1 + x541/(0.001 + 0.999*b869)))*(
0.001 + 0.999*b869) =L= 0;
e782.. x542 =E= 0;
e783.. x543 =E= 0;
e784.. x544 =E= 0;
e785.. x545 =E= 0;
e786.. x614 =E= 0;
e787.. x615 =E= 0;
e788.. x616 =E= 0;
e789.. x617 =E= 0;
e790.. x138 - x538 - x542 =E= 0;
e791.. x139 - x539 - x543 =E= 0;
e792.. x140 - x540 - x544 =E= 0;
e793.. x141 - x541 - x545 =E= 0;
e794.. x174 - x610 - x614 =E= 0;
e795.. x175 - x611 - x615 =E= 0;
e796.. x176 - x612 - x616 =E= 0;
e797.. x177 - x613 - x617 =E= 0;
e798.. x538 - 3.04984759446376*b866 =L= 0;
e799.. x539 - 3.04984759446376*b867 =L= 0;
e800.. x540 - 3.04984759446376*b868 =L= 0;
e801.. x541 - 3.04984759446376*b869 =L= 0;
e802.. x542 + 3.04984759446376*b866 =L= 3.04984759446376;
e803.. x543 + 3.04984759446376*b867 =L= 3.04984759446376;
e804.. x544 + 3.04984759446376*b868 =L= 3.04984759446376;
e805.. x545 + 3.04984759446376*b869 =L= 3.04984759446376;
e806.. x610 - 1.11894339953103*b866 =L= 0;
e807.. x611 - 1.11894339953103*b867 =L= 0;
e808.. x612 - 1.11894339953103*b868 =L= 0;
e809.. x613 - 1.11894339953103*b869 =L= 0;
e810.. x614 + 1.11894339953103*b866 =L= 1.11894339953103;
e811.. x615 + 1.11894339953103*b867 =L= 1.11894339953103;
e812.. x616 + 1.11894339953103*b868 =L= 1.11894339953103;
e813.. x617 + 1.11894339953103*b869 =L= 1.11894339953103;
e814.. (x618/(0.001 + 0.999*b870) - 0.85*log(1 + x546/(0.001 + 0.999*b870)))*(
0.001 + 0.999*b870) =L= 0;
e815.. (x619/(0.001 + 0.999*b871) - 0.85*log(1 + x547/(0.001 + 0.999*b871)))*(
0.001 + 0.999*b871) =L= 0;
e816.. (x620/(0.001 + 0.999*b872) - 0.85*log(1 + x548/(0.001 + 0.999*b872)))*(
0.001 + 0.999*b872) =L= 0;
e817.. (x621/(0.001 + 0.999*b873) - 0.85*log(1 + x549/(0.001 + 0.999*b873)))*(
0.001 + 0.999*b873) =L= 0;
e818.. x550 =E= 0;
e819.. x551 =E= 0;
e820.. x552 =E= 0;
e821.. x553 =E= 0;
e822.. x622 =E= 0;
e823.. x623 =E= 0;
e824.. x624 =E= 0;
e825.. x625 =E= 0;
e826.. x142 - x546 - x550 =E= 0;
e827.. x143 - x547 - x551 =E= 0;
e828.. x144 - x548 - x552 =E= 0;
e829.. x145 - x549 - x553 =E= 0;
e830.. x178 - x618 - x622 =E= 0;
e831.. x179 - x619 - x623 =E= 0;
e832.. x180 - x620 - x624 =E= 0;
e833.. x181 - x621 - x625 =E= 0;
e834.. x546 - 3.04984759446376*b870 =L= 0;
e835.. x547 - 3.04984759446376*b871 =L= 0;
e836.. x548 - 3.04984759446376*b872 =L= 0;
e837.. x549 - 3.04984759446376*b873 =L= 0;
e838.. x550 + 3.04984759446376*b870 =L= 3.04984759446376;
e839.. x551 + 3.04984759446376*b871 =L= 3.04984759446376;
e840.. x552 + 3.04984759446376*b872 =L= 3.04984759446376;
e841.. x553 + 3.04984759446376*b873 =L= 3.04984759446376;
e842.. x618 - 1.18887736200171*b870 =L= 0;
e843.. x619 - 1.18887736200171*b871 =L= 0;
e844.. x620 - 1.18887736200171*b872 =L= 0;
e845.. x621 - 1.18887736200171*b873 =L= 0;
e846.. x622 + 1.18887736200171*b870 =L= 1.18887736200171;
e847.. x623 + 1.18887736200171*b871 =L= 1.18887736200171;
e848.. x624 + 1.18887736200171*b872 =L= 1.18887736200171;
e849.. x625 + 1.18887736200171*b873 =L= 1.18887736200171;
e850.. (x642/(0.001 + 0.999*b874) - log(1 + x626/(0.001 + 0.999*b874)))*(0.001
+ 0.999*b874) =L= 0;
e851.. (x643/(0.001 + 0.999*b875) - log(1 + x627/(0.001 + 0.999*b875)))*(0.001
+ 0.999*b875) =L= 0;
e852.. (x644/(0.001 + 0.999*b876) - log(1 + x628/(0.001 + 0.999*b876)))*(0.001
+ 0.999*b876) =L= 0;
e853.. (x645/(0.001 + 0.999*b877) - log(1 + x629/(0.001 + 0.999*b877)))*(0.001
+ 0.999*b877) =L= 0;
e854.. x630 =E= 0;
e855.. x631 =E= 0;
e856.. x632 =E= 0;
e857.. x633 =E= 0;
e858.. x646 =E= 0;
e859.. x647 =E= 0;
e860.. x648 =E= 0;
e861.. x649 =E= 0;
e862.. x186 - x626 - x630 =E= 0;
e863.. x187 - x627 - x631 =E= 0;
e864.. x188 - x628 - x632 =E= 0;
e865.. x189 - x629 - x633 =E= 0;
e866.. x194 - x642 - x646 =E= 0;
e867.. x195 - x643 - x647 =E= 0;
e868.. x196 - x644 - x648 =E= 0;
e869.. x197 - x645 - x649 =E= 0;
e870.. x626 - 1.18887736200171*b874 =L= 0;
e871.. x627 - 1.18887736200171*b875 =L= 0;
e872.. x628 - 1.18887736200171*b876 =L= 0;
e873.. x629 - 1.18887736200171*b877 =L= 0;
e874.. x630 + 1.18887736200171*b874 =L= 1.18887736200171;
e875.. x631 + 1.18887736200171*b875 =L= 1.18887736200171;
e876.. x632 + 1.18887736200171*b876 =L= 1.18887736200171;
e877.. x633 + 1.18887736200171*b877 =L= 1.18887736200171;
e878.. x642 - 0.78338879230327*b874 =L= 0;
e879.. x643 - 0.78338879230327*b875 =L= 0;
e880.. x644 - 0.78338879230327*b876 =L= 0;
e881.. x645 - 0.78338879230327*b877 =L= 0;
e882.. x646 + 0.78338879230327*b874 =L= 0.78338879230327;
e883.. x647 + 0.78338879230327*b875 =L= 0.78338879230327;
e884.. x648 + 0.78338879230327*b876 =L= 0.78338879230327;
e885.. x649 + 0.78338879230327*b877 =L= 0.78338879230327;
e886.. (x650/(0.001 + 0.999*b878) - 1.2*log(1 + x634/(0.001 + 0.999*b878)))*(
0.001 + 0.999*b878) =L= 0;
e887.. (x651/(0.001 + 0.999*b879) - 1.2*log(1 + x635/(0.001 + 0.999*b879)))*(
0.001 + 0.999*b879) =L= 0;
e888.. (x652/(0.001 + 0.999*b880) - 1.2*log(1 + x636/(0.001 + 0.999*b880)))*(
0.001 + 0.999*b880) =L= 0;
e889.. (x653/(0.001 + 0.999*b881) - 1.2*log(1 + x637/(0.001 + 0.999*b881)))*(
0.001 + 0.999*b881) =L= 0;
e890.. x638 =E= 0;
e891.. x639 =E= 0;
e892.. x640 =E= 0;
e893.. x641 =E= 0;
e894.. x654 =E= 0;
e895.. x655 =E= 0;
e896.. x656 =E= 0;
e897.. x657 =E= 0;
e898.. x190 - x634 - x638 =E= 0;
e899.. x191 - x635 - x639 =E= 0;
e900.. x192 - x636 - x640 =E= 0;
e901.. x193 - x637 - x641 =E= 0;
e902.. x198 - x650 - x654 =E= 0;
e903.. x199 - x651 - x655 =E= 0;
e904.. x200 - x652 - x656 =E= 0;
e905.. x201 - x653 - x657 =E= 0;
e906.. x634 - 1.18887736200171*b878 =L= 0;
e907.. x635 - 1.18887736200171*b879 =L= 0;
e908.. x636 - 1.18887736200171*b880 =L= 0;
e909.. x637 - 1.18887736200171*b881 =L= 0;
e910.. x638 + 1.18887736200171*b878 =L= 1.18887736200171;
e911.. x639 + 1.18887736200171*b879 =L= 1.18887736200171;
e912.. x640 + 1.18887736200171*b880 =L= 1.18887736200171;
e913.. x641 + 1.18887736200171*b881 =L= 1.18887736200171;
e914.. x650 - 0.940066550763924*b878 =L= 0;
e915.. x651 - 0.940066550763924*b879 =L= 0;
e916.. x652 - 0.940066550763924*b880 =L= 0;
e917.. x653 - 0.940066550763924*b881 =L= 0;
e918.. x654 + 0.940066550763924*b878 =L= 0.940066550763924;
e919.. x655 + 0.940066550763924*b879 =L= 0.940066550763924;
e920.. x656 + 0.940066550763924*b880 =L= 0.940066550763924;
e921.. x657 + 0.940066550763924*b881 =L= 0.940066550763924;
e922.. - 0.75*x658 + x690 =E= 0;
e923.. - 0.75*x659 + x691 =E= 0;
e924.. - 0.75*x660 + x692 =E= 0;
e925.. - 0.75*x661 + x693 =E= 0;
e926.. x662 =E= 0;
e927.. x663 =E= 0;
e928.. x664 =E= 0;
e929.. x665 =E= 0;
e930.. x694 =E= 0;
e931.. x695 =E= 0;
e932.. x696 =E= 0;
e933.. x697 =E= 0;
e934.. x214 - x658 - x662 =E= 0;
e935.. x215 - x659 - x663 =E= 0;
e936.. x216 - x660 - x664 =E= 0;
e937.. x217 - x661 - x665 =E= 0;
e938.. x230 - x690 - x694 =E= 0;
e939.. x231 - x691 - x695 =E= 0;
e940.. x232 - x692 - x696 =E= 0;
e941.. x233 - x693 - x697 =E= 0;
e942.. x658 - 0.940066550763924*b882 =L= 0;
e943.. x659 - 0.940066550763924*b883 =L= 0;
e944.. x660 - 0.940066550763924*b884 =L= 0;
e945.. x661 - 0.940066550763924*b885 =L= 0;
e946.. x662 + 0.940066550763924*b882 =L= 0.940066550763924;
e947.. x663 + 0.940066550763924*b883 =L= 0.940066550763924;
e948.. x664 + 0.940066550763924*b884 =L= 0.940066550763924;
e949.. x665 + 0.940066550763924*b885 =L= 0.940066550763924;
e950.. x690 - 0.705049913072943*b882 =L= 0;
e951.. x691 - 0.705049913072943*b883 =L= 0;
e952.. x692 - 0.705049913072943*b884 =L= 0;
e953.. x693 - 0.705049913072943*b885 =L= 0;
e954.. x694 + 0.705049913072943*b882 =L= 0.705049913072943;
e955.. x695 + 0.705049913072943*b883 =L= 0.705049913072943;
e956.. x696 + 0.705049913072943*b884 =L= 0.705049913072943;
e957.. x697 + 0.705049913072943*b885 =L= 0.705049913072943;
e958.. (x698/(0.001 + 0.999*b886) - 1.5*log(1 + x666/(0.001 + 0.999*b886)))*(
0.001 + 0.999*b886) =L= 0;
e959.. (x699/(0.001 + 0.999*b887) - 1.5*log(1 + x667/(0.001 + 0.999*b887)))*(
0.001 + 0.999*b887) =L= 0;
e960.. (x700/(0.001 + 0.999*b888) - 1.5*log(1 + x668/(0.001 + 0.999*b888)))*(
0.001 + 0.999*b888) =L= 0;
e961.. (x701/(0.001 + 0.999*b889) - 1.5*log(1 + x669/(0.001 + 0.999*b889)))*(
0.001 + 0.999*b889) =L= 0;
e962.. x670 =E= 0;
e963.. x671 =E= 0;
e964.. x672 =E= 0;
e965.. x673 =E= 0;
e966.. x706 =E= 0;
e967.. x707 =E= 0;
e968.. x708 =E= 0;
e969.. x709 =E= 0;
e970.. x218 - x666 - x670 =E= 0;
e971.. x219 - x667 - x671 =E= 0;
e972.. x220 - x668 - x672 =E= 0;
e973.. x221 - x669 - x673 =E= 0;
e974.. x234 - x698 - x706 =E= 0;
e975.. x235 - x699 - x707 =E= 0;
e976.. x236 - x700 - x708 =E= 0;
e977.. x237 - x701 - x709 =E= 0;
e978.. x666 - 0.940066550763924*b886 =L= 0;
e979.. x667 - 0.940066550763924*b887 =L= 0;
e980.. x668 - 0.940066550763924*b888 =L= 0;
e981.. x669 - 0.940066550763924*b889 =L= 0;
e982.. x670 + 0.940066550763924*b886 =L= 0.940066550763924;
e983.. x671 + 0.940066550763924*b887 =L= 0.940066550763924;
e984.. x672 + 0.940066550763924*b888 =L= 0.940066550763924;
e985.. x673 + 0.940066550763924*b889 =L= 0.940066550763924;
e986.. x698 - 0.994083415506506*b886 =L= 0;
e987.. x699 - 0.994083415506506*b887 =L= 0;
e988.. x700 - 0.994083415506506*b888 =L= 0;
e989.. x701 - 0.994083415506506*b889 =L= 0;
e990.. x706 + 0.994083415506506*b886 =L= 0.994083415506506;
e991.. x707 + 0.994083415506506*b887 =L= 0.994083415506506;
e992.. x708 + 0.994083415506506*b888 =L= 0.994083415506506;
e993.. x709 + 0.994083415506506*b889 =L= 0.994083415506506;
e994.. - x674 + x714 =E= 0;
e995.. - x675 + x715 =E= 0;
e996.. - x676 + x716 =E= 0;
e997.. - x677 + x717 =E= 0;
e998.. - 0.5*x682 + x714 =E= 0;
e999.. - 0.5*x683 + x715 =E= 0;
e1000.. - 0.5*x684 + x716 =E= 0;
e1001.. - 0.5*x685 + x717 =E= 0;
e1002.. x678 =E= 0;
e1003.. x679 =E= 0;
e1004.. x680 =E= 0;
e1005.. x681 =E= 0;
e1006.. x686 =E= 0;
e1007.. x687 =E= 0;
e1008.. x688 =E= 0;
e1009.. x689 =E= 0;
e1010.. x718 =E= 0;
e1011.. x719 =E= 0;
e1012.. x720 =E= 0;
e1013.. x721 =E= 0;
e1014.. x222 - x674 - x678 =E= 0;
e1015.. x223 - x675 - x679 =E= 0;
e1016.. x224 - x676 - x680 =E= 0;
e1017.. x225 - x677 - x681 =E= 0;
e1018.. x226 - x682 - x686 =E= 0;
e1019.. x227 - x683 - x687 =E= 0;
e1020.. x228 - x684 - x688 =E= 0;
e1021.. x229 - x685 - x689 =E= 0;
e1022.. x238 - x714 - x718 =E= 0;
e1023.. x239 - x715 - x719 =E= 0;
e1024.. x240 - x716 - x720 =E= 0;
e1025.. x241 - x717 - x721 =E= 0;
e1026.. x674 - 0.940066550763924*b890 =L= 0;
e1027.. x675 - 0.940066550763924*b891 =L= 0;
e1028.. x676 - 0.940066550763924*b892 =L= 0;
e1029.. x677 - 0.940066550763924*b893 =L= 0;
e1030.. x678 + 0.940066550763924*b890 =L= 0.940066550763924;
e1031.. x679 + 0.940066550763924*b891 =L= 0.940066550763924;
e1032.. x680 + 0.940066550763924*b892 =L= 0.940066550763924;
e1033.. x681 + 0.940066550763924*b893 =L= 0.940066550763924;
e1034.. x682 - 30*b890 =L= 0;
e1035.. x683 - 30*b891 =L= 0;
e1036.. x684 - 30*b892 =L= 0;
e1037.. x685 - 30*b893 =L= 0;
e1038.. x686 + 30*b890 =L= 30;
e1039.. x687 + 30*b891 =L= 30;
e1040.. x688 + 30*b892 =L= 30;
e1041.. x689 + 30*b893 =L= 30;
e1042.. x714 - 15*b890 =L= 0;
e1043.. x715 - 15*b891 =L= 0;
e1044.. x716 - 15*b892 =L= 0;
e1045.. x717 - 15*b893 =L= 0;
e1046.. x718 + 15*b890 =L= 15;
e1047.. x719 + 15*b891 =L= 15;
e1048.. x720 + 15*b892 =L= 15;
e1049.. x721 + 15*b893 =L= 15;
e1050.. (x754/(0.001 + 0.999*b894) - 1.25*log(1 + x722/(0.001 + 0.999*b894)))*(
0.001 + 0.999*b894) =L= 0;
e1051.. (x755/(0.001 + 0.999*b895) - 1.25*log(1 + x723/(0.001 + 0.999*b895)))*(
0.001 + 0.999*b895) =L= 0;
e1052.. (x756/(0.001 + 0.999*b896) - 1.25*log(1 + x724/(0.001 + 0.999*b896)))*(
0.001 + 0.999*b896) =L= 0;
e1053.. (x757/(0.001 + 0.999*b897) - 1.25*log(1 + x725/(0.001 + 0.999*b897)))*(
0.001 + 0.999*b897) =L= 0;
e1054.. x726 =E= 0;
e1055.. x727 =E= 0;
e1056.. x728 =E= 0;
e1057.. x729 =E= 0;
e1058.. x758 =E= 0;
e1059.. x759 =E= 0;
e1060.. x760 =E= 0;
e1061.. x761 =E= 0;
e1062.. x242 - x722 - x726 =E= 0;
e1063.. x243 - x723 - x727 =E= 0;
e1064.. x244 - x724 - x728 =E= 0;
e1065.. x245 - x725 - x729 =E= 0;
e1066.. x262 - x754 - x758 =E= 0;
e1067.. x263 - x755 - x759 =E= 0;
e1068.. x264 - x756 - x760 =E= 0;
e1069.. x265 - x757 - x761 =E= 0;
e1070.. x722 - 0.705049913072943*b894 =L= 0;
e1071.. x723 - 0.705049913072943*b895 =L= 0;
e1072.. x724 - 0.705049913072943*b896 =L= 0;
e1073.. x725 - 0.705049913072943*b897 =L= 0;
e1074.. x726 + 0.705049913072943*b894 =L= 0.705049913072943;
e1075.. x727 + 0.705049913072943*b895 =L= 0.705049913072943;
e1076.. x728 + 0.705049913072943*b896 =L= 0.705049913072943;
e1077.. x729 + 0.705049913072943*b897 =L= 0.705049913072943;
e1078.. x754 - 0.666992981045719*b894 =L= 0;
e1079.. x755 - 0.666992981045719*b895 =L= 0;
e1080.. x756 - 0.666992981045719*b896 =L= 0;
e1081.. x757 - 0.666992981045719*b897 =L= 0;
e1082.. x758 + 0.666992981045719*b894 =L= 0.666992981045719;
e1083.. x759 + 0.666992981045719*b895 =L= 0.666992981045719;
e1084.. x760 + 0.666992981045719*b896 =L= 0.666992981045719;
e1085.. x761 + 0.666992981045719*b897 =L= 0.666992981045719;
e1086.. (x762/(0.001 + 0.999*b898) - 0.9*log(1 + x730/(0.001 + 0.999*b898)))*(
0.001 + 0.999*b898) =L= 0;
e1087.. (x763/(0.001 + 0.999*b899) - 0.9*log(1 + x731/(0.001 + 0.999*b899)))*(
0.001 + 0.999*b899) =L= 0;
e1088.. (x764/(0.001 + 0.999*b900) - 0.9*log(1 + x732/(0.001 + 0.999*b900)))*(
0.001 + 0.999*b900) =L= 0;
e1089.. (x765/(0.001 + 0.999*b901) - 0.9*log(1 + x733/(0.001 + 0.999*b901)))*(
0.001 + 0.999*b901) =L= 0;
e1090.. x734 =E= 0;
e1091.. x735 =E= 0;
e1092.. x736 =E= 0;
e1093.. x737 =E= 0;
e1094.. x766 =E= 0;
e1095.. x767 =E= 0;
e1096.. x768 =E= 0;
e1097.. x769 =E= 0;
e1098.. x246 - x730 - x734 =E= 0;
e1099.. x247 - x731 - x735 =E= 0;
e1100.. x248 - x732 - x736 =E= 0;
e1101.. x249 - x733 - x737 =E= 0;
e1102.. x266 - x762 - x766 =E= 0;
e1103.. x267 - x763 - x767 =E= 0;
e1104.. x268 - x764 - x768 =E= 0;
e1105.. x269 - x765 - x769 =E= 0;
e1106.. x730 - 0.705049913072943*b898 =L= 0;
e1107.. x731 - 0.705049913072943*b899 =L= 0;
e1108.. x732 - 0.705049913072943*b900 =L= 0;
e1109.. x733 - 0.705049913072943*b901 =L= 0;
e1110.. x734 + 0.705049913072943*b898 =L= 0.705049913072943;
e1111.. x735 + 0.705049913072943*b899 =L= 0.705049913072943;
e1112.. x736 + 0.705049913072943*b900 =L= 0.705049913072943;
e1113.. x737 + 0.705049913072943*b901 =L= 0.705049913072943;
e1114.. x762 - 0.480234946352917*b898 =L= 0;
e1115.. x763 - 0.480234946352917*b899 =L= 0;
e1116.. x764 - 0.480234946352917*b900 =L= 0;
e1117.. x765 - 0.480234946352917*b901 =L= 0;
e1118.. x766 + 0.480234946352917*b898 =L= 0.480234946352917;
e1119.. x767 + 0.480234946352917*b899 =L= 0.480234946352917;
e1120.. x768 + 0.480234946352917*b900 =L= 0.480234946352917;
e1121.. x769 + 0.480234946352917*b901 =L= 0.480234946352917;
e1122.. (x770/(0.001 + 0.999*b902) - log(1 + x702/(0.001 + 0.999*b902)))*(0.001
+ 0.999*b902) =L= 0;
e1123.. (x771/(0.001 + 0.999*b903) - log(1 + x703/(0.001 + 0.999*b903)))*(0.001
+ 0.999*b903) =L= 0;
e1124.. (x772/(0.001 + 0.999*b904) - log(1 + x704/(0.001 + 0.999*b904)))*(0.001
+ 0.999*b904) =L= 0;
e1125.. (x773/(0.001 + 0.999*b905) - log(1 + x705/(0.001 + 0.999*b905)))*(0.001
+ 0.999*b905) =L= 0;
e1126.. x710 =E= 0;
e1127.. x711 =E= 0;
e1128.. x712 =E= 0;
e1129.. x713 =E= 0;
e1130.. x774 =E= 0;
e1131.. x775 =E= 0;
e1132.. x776 =E= 0;
e1133.. x777 =E= 0;
e1134.. x234 - x702 - x710 =E= 0;
e1135.. x235 - x703 - x711 =E= 0;
e1136.. x236 - x704 - x712 =E= 0;
e1137.. x237 - x705 - x713 =E= 0;
e1138.. x270 - x770 - x774 =E= 0;
e1139.. x271 - x771 - x775 =E= 0;
e1140.. x272 - x772 - x776 =E= 0;
e1141.. x273 - x773 - x777 =E= 0;
e1142.. x702 - 0.994083415506506*b902 =L= 0;
e1143.. x703 - 0.994083415506506*b903 =L= 0;
e1144.. x704 - 0.994083415506506*b904 =L= 0;
e1145.. x705 - 0.994083415506506*b905 =L= 0;
e1146.. x710 + 0.994083415506506*b902 =L= 0.994083415506506;
e1147.. x711 + 0.994083415506506*b903 =L= 0.994083415506506;
e1148.. x712 + 0.994083415506506*b904 =L= 0.994083415506506;
e1149.. x713 + 0.994083415506506*b905 =L= 0.994083415506506;
e1150.. x770 - 0.690184503917672*b902 =L= 0;
e1151.. x771 - 0.690184503917672*b903 =L= 0;
e1152.. x772 - 0.690184503917672*b904 =L= 0;
e1153.. x773 - 0.690184503917672*b905 =L= 0;
e1154.. x774 + 0.690184503917672*b902 =L= 0.690184503917672;
e1155.. x775 + 0.690184503917672*b903 =L= 0.690184503917672;
e1156.. x776 + 0.690184503917672*b904 =L= 0.690184503917672;
e1157.. x777 + 0.690184503917672*b905 =L= 0.690184503917672;
e1158.. - 0.9*x738 + x778 =E= 0;
e1159.. - 0.9*x739 + x779 =E= 0;
e1160.. - 0.9*x740 + x780 =E= 0;
e1161.. - 0.9*x741 + x781 =E= 0;
e1162.. x742 =E= 0;
e1163.. x743 =E= 0;
e1164.. x744 =E= 0;
e1165.. x745 =E= 0;
e1166.. x782 =E= 0;
e1167.. x783 =E= 0;
e1168.. x784 =E= 0;
e1169.. x785 =E= 0;
e1170.. x250 - x738 - x742 =E= 0;
e1171.. x251 - x739 - x743 =E= 0;
e1172.. x252 - x740 - x744 =E= 0;
e1173.. x253 - x741 - x745 =E= 0;
e1174.. x274 - x778 - x782 =E= 0;
e1175.. x275 - x779 - x783 =E= 0;
e1176.. x276 - x780 - x784 =E= 0;
e1177.. x277 - x781 - x785 =E= 0;
e1178.. x738 - 15*b906 =L= 0;
e1179.. x739 - 15*b907 =L= 0;
e1180.. x740 - 15*b908 =L= 0;
e1181.. x741 - 15*b909 =L= 0;
e1182.. x742 + 15*b906 =L= 15;
e1183.. x743 + 15*b907 =L= 15;
e1184.. x744 + 15*b908 =L= 15;
e1185.. x745 + 15*b909 =L= 15;
e1186.. x778 - 13.5*b906 =L= 0;
e1187.. x779 - 13.5*b907 =L= 0;
e1188.. x780 - 13.5*b908 =L= 0;
e1189.. x781 - 13.5*b909 =L= 0;
e1190.. x782 + 13.5*b906 =L= 13.5;
e1191.. x783 + 13.5*b907 =L= 13.5;
e1192.. x784 + 13.5*b908 =L= 13.5;
e1193.. x785 + 13.5*b909 =L= 13.5;
e1194.. - 0.6*x746 + x786 =E= 0;
e1195.. - 0.6*x747 + x787 =E= 0;
e1196.. - 0.6*x748 + x788 =E= 0;
e1197.. - 0.6*x749 + x789 =E= 0;
e1198.. x750 =E= 0;
e1199.. x751 =E= 0;
e1200.. x752 =E= 0;
e1201.. x753 =E= 0;
e1202.. x790 =E= 0;
e1203.. x791 =E= 0;
e1204.. x792 =E= 0;
e1205.. x793 =E= 0;
e1206.. x254 - x746 - x750 =E= 0;
e1207.. x255 - x747 - x751 =E= 0;
e1208.. x256 - x748 - x752 =E= 0;
e1209.. x257 - x749 - x753 =E= 0;
e1210.. x278 - x786 - x790 =E= 0;
e1211.. x279 - x787 - x791 =E= 0;
e1212.. x280 - x788 - x792 =E= 0;
e1213.. x281 - x789 - x793 =E= 0;
e1214.. x746 - 15*b910 =L= 0;
e1215.. x747 - 15*b911 =L= 0;
e1216.. x748 - 15*b912 =L= 0;
e1217.. x749 - 15*b913 =L= 0;
e1218.. x750 + 15*b910 =L= 15;
e1219.. x751 + 15*b911 =L= 15;
e1220.. x752 + 15*b912 =L= 15;
e1221.. x753 + 15*b913 =L= 15;
e1222.. x786 - 9*b910 =L= 0;
e1223.. x787 - 9*b911 =L= 0;
e1224.. x788 - 9*b912 =L= 0;
e1225.. x789 - 9*b913 =L= 0;
e1226.. x790 + 9*b910 =L= 9;
e1227.. x791 + 9*b911 =L= 9;
e1228.. x792 + 9*b912 =L= 9;
e1229.. x793 + 9*b913 =L= 9;
e1230.. 5*b914 + x1034 =E= 0;
e1231.. 4*b915 + x1035 =E= 0;
e1232.. 6*b916 + x1036 =E= 0;
e1233.. 3*b917 + x1037 =E= 0;
e1234.. 8*b918 + x1038 =E= 0;
e1235.. 7*b919 + x1039 =E= 0;
e1236.. 6*b920 + x1040 =E= 0;
e1237.. 5*b921 + x1041 =E= 0;
e1238.. 6*b922 + x1042 =E= 0;
e1239.. 9*b923 + x1043 =E= 0;
e1240.. 4*b924 + x1044 =E= 0;
e1241.. 3*b925 + x1045 =E= 0;
e1242.. 10*b926 + x1046 =E= 0;
e1243.. 9*b927 + x1047 =E= 0;
e1244.. 5*b928 + x1048 =E= 0;
e1245.. 6*b929 + x1049 =E= 0;
e1246.. 6*b930 + x1050 =E= 0;
e1247.. 10*b931 + x1051 =E= 0;
e1248.. 6*b932 + x1052 =E= 0;
e1249.. 9*b933 + x1053 =E= 0;
e1250.. 7*b934 + x1054 =E= 0;
e1251.. 7*b935 + x1055 =E= 0;
e1252.. 4*b936 + x1056 =E= 0;
e1253.. 2*b937 + x1057 =E= 0;
e1254.. 4*b938 + x1058 =E= 0;
e1255.. 3*b939 + x1059 =E= 0;
e1256.. 2*b940 + x1060 =E= 0;
e1257.. 8*b941 + x1061 =E= 0;
e1258.. 5*b942 + x1062 =E= 0;
e1259.. 6*b943 + x1063 =E= 0;
e1260.. 7*b944 + x1064 =E= 0;
e1261.. 4*b945 + x1065 =E= 0;
e1262.. 2*b946 + x1066 =E= 0;
e1263.. 5*b947 + x1067 =E= 0;
e1264.. 2*b948 + x1068 =E= 0;
e1265.. 6*b949 + x1069 =E= 0;
e1266.. 4*b950 + x1070 =E= 0;
e1267.. 7*b951 + x1071 =E= 0;
e1268.. 4*b952 + x1072 =E= 0;
e1269.. 7*b953 + x1073 =E= 0;
e1270.. 3*b954 + x1074 =E= 0;
e1271.. 9*b955 + x1075 =E= 0;
e1272.. 3*b956 + x1076 =E= 0;
e1273.. 6*b957 + x1077 =E= 0;
e1274.. 7*b958 + x1078 =E= 0;
e1275.. 2*b959 + x1079 =E= 0;
e1276.. 9*b960 + x1080 =E= 0;
e1277.. 6*b961 + x1081 =E= 0;
e1278.. 3*b962 + x1082 =E= 0;
e1279.. b963 + x1083 =E= 0;
e1280.. 9*b964 + x1084 =E= 0;
e1281.. 10*b965 + x1085 =E= 0;
e1282.. 2*b966 + x1086 =E= 0;
e1283.. 6*b967 + x1087 =E= 0;
e1284.. 3*b968 + x1088 =E= 0;
e1285.. 7*b969 + x1089 =E= 0;
e1286.. 4*b970 + x1090 =E= 0;
e1287.. 8*b971 + x1091 =E= 0;
e1288.. b972 + x1092 =E= 0;
e1289.. 4*b973 + x1093 =E= 0;
e1290.. 2*b974 + x1094 =E= 0;
e1291.. 5*b975 + x1095 =E= 0;
e1292.. 2*b976 + x1096 =E= 0;
e1293.. 5*b977 + x1097 =E= 0;
e1294.. 3*b978 + x1098 =E= 0;
e1295.. 4*b979 + x1099 =E= 0;
e1296.. 3*b980 + x1100 =E= 0;
e1297.. 7*b981 + x1101 =E= 0;
e1298.. 5*b982 + x1102 =E= 0;
e1299.. 7*b983 + x1103 =E= 0;
e1300.. 6*b984 + x1104 =E= 0;
e1301.. 2*b985 + x1105 =E= 0;
e1302.. 2*b986 + x1106 =E= 0;
e1303.. 8*b987 + x1107 =E= 0;
e1304.. 4*b988 + x1108 =E= 0;
e1305.. 2*b989 + x1109 =E= 0;
e1306.. b990 + x1110 =E= 0;
e1307.. 4*b991 + x1111 =E= 0;
e1308.. b992 + x1112 =E= 0;
e1309.. b993 + x1113 =E= 0;
e1310.. 2*b994 + x1114 =E= 0;
e1311.. 5*b995 + x1115 =E= 0;
e1312.. 2*b996 + x1116 =E= 0;
e1313.. 7*b997 + x1117 =E= 0;
e1314.. 9*b998 + x1118 =E= 0;
e1315.. 2*b999 + x1119 =E= 0;
e1316.. 9*b1000 + x1120 =E= 0;
e1317.. 6*b1001 + x1121 =E= 0;
e1318.. 5*b1002 + x1122 =E= 0;
e1319.. 8*b1003 + x1123 =E= 0;
e1320.. 4*b1004 + x1124 =E= 0;
e1321.. 3*b1005 + x1125 =E= 0;
e1322.. 2*b1006 + x1126 =E= 0;
e1323.. 3*b1007 + x1127 =E= 0;
e1324.. 8*b1008 + x1128 =E= 0;
e1325.. 9*b1009 + x1129 =E= 0;
e1326.. 10*b1010 + x1130 =E= 0;
e1327.. 6*b1011 + x1131 =E= 0;
e1328.. 3*b1012 + x1132 =E= 0;
e1329.. 6*b1013 + x1133 =E= 0;
e1330.. 4*b1014 + x1134 =E= 0;
e1331.. 8*b1015 + x1135 =E= 0;
e1332.. 7*b1016 + x1136 =E= 0;
e1333.. 7*b1017 + x1137 =E= 0;
e1334.. 7*b1018 + x1138 =E= 0;
e1335.. 3*b1019 + x1139 =E= 0;
e1336.. 9*b1020 + x1140 =E= 0;
e1337.. 3*b1021 + x1141 =E= 0;
e1338.. 4*b1022 + x1142 =E= 0;
e1339.. 8*b1023 + x1143 =E= 0;
e1340.. 6*b1024 + x1144 =E= 0;
e1341.. 8*b1025 + x1145 =E= 0;
e1342.. 2*b1026 + x1146 =E= 0;
e1343.. b1027 + x1147 =E= 0;
e1344.. 3*b1028 + x1148 =E= 0;
e1345.. 9*b1029 + x1149 =E= 0;
e1346.. 8*b1030 + x1150 =E= 0;
e1347.. 3*b1031 + x1151 =E= 0;
e1348.. 4*b1032 + x1152 =E= 0;
e1349.. 3*b1033 + x1153 =E= 0;
e1350.. b794 - b795 =L= 0;
e1351.. b794 - b796 =L= 0;
e1352.. b794 - b797 =L= 0;
e1353.. b795 - b796 =L= 0;
e1354.. b795 - b797 =L= 0;
e1355.. b796 - b797 =L= 0;
e1356.. b798 - b799 =L= 0;
e1357.. b798 - b800 =L= 0;
e1358.. b798 - b801 =L= 0;
e1359.. b799 - b800 =L= 0;
e1360.. b799 - b801 =L= 0;
e1361.. b800 - b801 =L= 0;
e1362.. b802 - b803 =L= 0;
e1363.. b802 - b804 =L= 0;
e1364.. b802 - b805 =L= 0;
e1365.. b803 - b804 =L= 0;
e1366.. b803 - b805 =L= 0;
e1367.. b804 - b805 =L= 0;
e1368.. b806 - b807 =L= 0;
e1369.. b806 - b808 =L= 0;
e1370.. b806 - b809 =L= 0;
e1371.. b807 - b808 =L= 0;
e1372.. b807 - b809 =L= 0;
e1373.. b808 - b809 =L= 0;
e1374.. b810 - b811 =L= 0;
e1375.. b810 - b812 =L= 0;
e1376.. b810 - b813 =L= 0;
e1377.. b811 - b812 =L= 0;
e1378.. b811 - b813 =L= 0;
e1379.. b812 - b813 =L= 0;
e1380.. b814 - b815 =L= 0;
e1381.. b814 - b816 =L= 0;
e1382.. b814 - b817 =L= 0;
e1383.. b815 - b816 =L= 0;
e1384.. b815 - b817 =L= 0;
e1385.. b816 - b817 =L= 0;
e1386.. b818 - b819 =L= 0;
e1387.. b818 - b820 =L= 0;
e1388.. b818 - b821 =L= 0;
e1389.. b819 - b820 =L= 0;
e1390.. b819 - b821 =L= 0;
e1391.. b820 - b821 =L= 0;
e1392.. b822 - b823 =L= 0;
e1393.. b822 - b824 =L= 0;
e1394.. b822 - b825 =L= 0;
e1395.. b823 - b824 =L= 0;
e1396.. b823 - b825 =L= 0;
e1397.. b824 - b825 =L= 0;
e1398.. b826 - b827 =L= 0;
e1399.. b826 - b828 =L= 0;
e1400.. b826 - b829 =L= 0;
e1401.. b827 - b828 =L= 0;
e1402.. b827 - b829 =L= 0;
e1403.. b828 - b829 =L= 0;
e1404.. b830 - b831 =L= 0;
e1405.. b830 - b832 =L= 0;
e1406.. b830 - b833 =L= 0;
e1407.. b831 - b832 =L= 0;
e1408.. b831 - b833 =L= 0;
e1409.. b832 - b833 =L= 0;
e1410.. b834 - b835 =L= 0;
e1411.. b834 - b836 =L= 0;
e1412.. b834 - b837 =L= 0;
e1413.. b835 - b836 =L= 0;
e1414.. b835 - b837 =L= 0;
e1415.. b836 - b837 =L= 0;
e1416.. b838 - b839 =L= 0;
e1417.. b838 - b840 =L= 0;
e1418.. b838 - b841 =L= 0;
e1419.. b839 - b840 =L= 0;
e1420.. b839 - b841 =L= 0;
e1421.. b840 - b841 =L= 0;
e1422.. b842 - b843 =L= 0;
e1423.. b842 - b844 =L= 0;
e1424.. b842 - b845 =L= 0;
e1425.. b843 - b844 =L= 0;
e1426.. b843 - b845 =L= 0;
e1427.. b844 - b845 =L= 0;
e1428.. b846 - b847 =L= 0;
e1429.. b846 - b848 =L= 0;
e1430.. b846 - b849 =L= 0;
e1431.. b847 - b848 =L= 0;
e1432.. b847 - b849 =L= 0;
e1433.. b848 - b849 =L= 0;
e1434.. b850 - b851 =L= 0;
e1435.. b850 - b852 =L= 0;
e1436.. b850 - b853 =L= 0;
e1437.. b851 - b852 =L= 0;
e1438.. b851 - b853 =L= 0;
e1439.. b852 - b853 =L= 0;
e1440.. b854 - b855 =L= 0;
e1441.. b854 - b856 =L= 0;
e1442.. b854 - b857 =L= 0;
e1443.. b855 - b856 =L= 0;
e1444.. b855 - b857 =L= 0;
e1445.. b856 - b857 =L= 0;
e1446.. b858 - b859 =L= 0;
e1447.. b858 - b860 =L= 0;
e1448.. b858 - b861 =L= 0;
e1449.. b859 - b860 =L= 0;
e1450.. b859 - b861 =L= 0;
e1451.. b860 - b861 =L= 0;
e1452.. b862 - b863 =L= 0;
e1453.. b862 - b864 =L= 0;
e1454.. b862 - b865 =L= 0;
e1455.. b863 - b864 =L= 0;
e1456.. b863 - b865 =L= 0;
e1457.. b864 - b865 =L= 0;
e1458.. b866 - b867 =L= 0;
e1459.. b866 - b868 =L= 0;
e1460.. b866 - b869 =L= 0;
e1461.. b867 - b868 =L= 0;
e1462.. b867 - b869 =L= 0;
e1463.. b868 - b869 =L= 0;
e1464.. b870 - b871 =L= 0;
e1465.. b870 - b872 =L= 0;
e1466.. b870 - b873 =L= 0;
e1467.. b871 - b872 =L= 0;
e1468.. b871 - b873 =L= 0;
e1469.. b872 - b873 =L= 0;
e1470.. b874 - b875 =L= 0;
e1471.. b874 - b876 =L= 0;
e1472.. b874 - b877 =L= 0;
e1473.. b875 - b876 =L= 0;
e1474.. b875 - b877 =L= 0;
e1475.. b876 - b877 =L= 0;
e1476.. b878 - b879 =L= 0;
e1477.. b878 - b880 =L= 0;
e1478.. b878 - b881 =L= 0;
e1479.. b879 - b880 =L= 0;
e1480.. b879 - b881 =L= 0;
e1481.. b880 - b881 =L= 0;
e1482.. b882 - b883 =L= 0;
e1483.. b882 - b884 =L= 0;
e1484.. b882 - b885 =L= 0;
e1485.. b883 - b884 =L= 0;
e1486.. b883 - b885 =L= 0;
e1487.. b884 - b885 =L= 0;
e1488.. b886 - b887 =L= 0;
e1489.. b886 - b888 =L= 0;
e1490.. b886 - b889 =L= 0;
e1491.. b887 - b888 =L= 0;
e1492.. b887 - b889 =L= 0;
e1493.. b888 - b889 =L= 0;
e1494.. b890 - b891 =L= 0;
e1495.. b890 - b892 =L= 0;
e1496.. b890 - b893 =L= 0;
e1497.. b891 - b892 =L= 0;
e1498.. b891 - b893 =L= 0;
e1499.. b892 - b893 =L= 0;
e1500.. b894 - b895 =L= 0;
e1501.. b894 - b896 =L= 0;
e1502.. b894 - b897 =L= 0;
e1503.. b895 - b896 =L= 0;
e1504.. b895 - b897 =L= 0;
e1505.. b896 - b897 =L= 0;
e1506.. b898 - b899 =L= 0;
e1507.. b898 - b900 =L= 0;
e1508.. b898 - b901 =L= 0;
e1509.. b899 - b900 =L= 0;
e1510.. b899 - b901 =L= 0;
e1511.. b900 - b901 =L= 0;
e1512.. b902 - b903 =L= 0;
e1513.. b902 - b904 =L= 0;
e1514.. b902 - b905 =L= 0;
e1515.. b903 - b904 =L= 0;
e1516.. b903 - b905 =L= 0;
e1517.. b904 - b905 =L= 0;
e1518.. b906 - b907 =L= 0;
e1519.. b906 - b908 =L= 0;
e1520.. b906 - b909 =L= 0;
e1521.. b907 - b908 =L= 0;
e1522.. b907 - b909 =L= 0;
e1523.. b908 - b909 =L= 0;
e1524.. b910 - b911 =L= 0;
e1525.. b910 - b912 =L= 0;
e1526.. b910 - b913 =L= 0;
e1527.. b911 - b912 =L= 0;
e1528.. b911 - b913 =L= 0;
e1529.. b912 - b913 =L= 0;
e1530.. b914 + b915 =L= 1;
e1531.. b914 + b916 =L= 1;
e1532.. b914 + b917 =L= 1;
e1533.. b914 + b915 =L= 1;
e1534.. b915 + b916 =L= 1;
e1535.. b915 + b917 =L= 1;
e1536.. b914 + b916 =L= 1;
e1537.. b915 + b916 =L= 1;
e1538.. b916 + b917 =L= 1;
e1539.. b914 + b917 =L= 1;
e1540.. b915 + b917 =L= 1;
e1541.. b916 + b917 =L= 1;
e1542.. b918 + b919 =L= 1;
e1543.. b918 + b920 =L= 1;
e1544.. b918 + b921 =L= 1;
e1545.. b918 + b919 =L= 1;
e1546.. b919 + b920 =L= 1;
e1547.. b919 + b921 =L= 1;
e1548.. b918 + b920 =L= 1;
e1549.. b919 + b920 =L= 1;
e1550.. b920 + b921 =L= 1;
e1551.. b918 + b921 =L= 1;
e1552.. b919 + b921 =L= 1;
e1553.. b920 + b921 =L= 1;
e1554.. b922 + b923 =L= 1;
e1555.. b922 + b924 =L= 1;
e1556.. b922 + b925 =L= 1;
e1557.. b922 + b923 =L= 1;
e1558.. b923 + b924 =L= 1;
e1559.. b923 + b925 =L= 1;
e1560.. b922 + b924 =L= 1;
e1561.. b923 + b924 =L= 1;
e1562.. b924 + b925 =L= 1;
e1563.. b922 + b925 =L= 1;
e1564.. b923 + b925 =L= 1;
e1565.. b924 + b925 =L= 1;
e1566.. b926 + b927 =L= 1;
e1567.. b926 + b928 =L= 1;
e1568.. b926 + b929 =L= 1;
e1569.. b926 + b927 =L= 1;
e1570.. b927 + b928 =L= 1;
e1571.. b927 + b929 =L= 1;
e1572.. b926 + b928 =L= 1;
e1573.. b927 + b928 =L= 1;
e1574.. b928 + b929 =L= 1;
e1575.. b926 + b929 =L= 1;
e1576.. b927 + b929 =L= 1;
e1577.. b928 + b929 =L= 1;
e1578.. b930 + b931 =L= 1;
e1579.. b930 + b932 =L= 1;
e1580.. b930 + b933 =L= 1;
e1581.. b930 + b931 =L= 1;
e1582.. b931 + b932 =L= 1;
e1583.. b931 + b933 =L= 1;
e1584.. b930 + b932 =L= 1;
e1585.. b931 + b932 =L= 1;
e1586.. b932 + b933 =L= 1;
e1587.. b930 + b933 =L= 1;
e1588.. b931 + b933 =L= 1;
e1589.. b932 + b933 =L= 1;
e1590.. b934 + b935 =L= 1;
e1591.. b934 + b936 =L= 1;
e1592.. b934 + b937 =L= 1;
e1593.. b934 + b935 =L= 1;
e1594.. b935 + b936 =L= 1;
e1595.. b935 + b937 =L= 1;
e1596.. b934 + b936 =L= 1;
e1597.. b935 + b936 =L= 1;
e1598.. b936 + b937 =L= 1;
e1599.. b934 + b937 =L= 1;
e1600.. b935 + b937 =L= 1;
e1601.. b936 + b937 =L= 1;
e1602.. b938 + b939 =L= 1;
e1603.. b938 + b940 =L= 1;
e1604.. b938 + b941 =L= 1;
e1605.. b938 + b939 =L= 1;
e1606.. b939 + b940 =L= 1;
e1607.. b939 + b941 =L= 1;
e1608.. b938 + b940 =L= 1;
e1609.. b939 + b940 =L= 1;
e1610.. b940 + b941 =L= 1;
e1611.. b938 + b941 =L= 1;
e1612.. b939 + b941 =L= 1;
e1613.. b940 + b941 =L= 1;
e1614.. b942 + b943 =L= 1;
e1615.. b942 + b944 =L= 1;
e1616.. b942 + b945 =L= 1;
e1617.. b942 + b943 =L= 1;
e1618.. b943 + b944 =L= 1;
e1619.. b943 + b945 =L= 1;
e1620.. b942 + b944 =L= 1;
e1621.. b943 + b944 =L= 1;
e1622.. b944 + b945 =L= 1;
e1623.. b942 + b945 =L= 1;
e1624.. b943 + b945 =L= 1;
e1625.. b944 + b945 =L= 1;
e1626.. b946 + b947 =L= 1;
e1627.. b946 + b948 =L= 1;
e1628.. b946 + b949 =L= 1;
e1629.. b946 + b947 =L= 1;
e1630.. b947 + b948 =L= 1;
e1631.. b947 + b949 =L= 1;
e1632.. b946 + b948 =L= 1;
e1633.. b947 + b948 =L= 1;
e1634.. b948 + b949 =L= 1;
e1635.. b946 + b949 =L= 1;
e1636.. b947 + b949 =L= 1;
e1637.. b948 + b949 =L= 1;
e1638.. b950 + b951 =L= 1;
e1639.. b950 + b952 =L= 1;
e1640.. b950 + b953 =L= 1;
e1641.. b950 + b951 =L= 1;
e1642.. b951 + b952 =L= 1;
e1643.. b951 + b953 =L= 1;
e1644.. b950 + b952 =L= 1;
e1645.. b951 + b952 =L= 1;
e1646.. b952 + b953 =L= 1;
e1647.. b950 + b953 =L= 1;
e1648.. b951 + b953 =L= 1;
e1649.. b952 + b953 =L= 1;
e1650.. b954 + b955 =L= 1;
e1651.. b954 + b956 =L= 1;
e1652.. b954 + b957 =L= 1;
e1653.. b954 + b955 =L= 1;
e1654.. b955 + b956 =L= 1;
e1655.. b955 + b957 =L= 1;
e1656.. b954 + b956 =L= 1;
e1657.. b955 + b956 =L= 1;
e1658.. b956 + b957 =L= 1;
e1659.. b954 + b957 =L= 1;
e1660.. b955 + b957 =L= 1;
e1661.. b956 + b957 =L= 1;
e1662.. b958 + b959 =L= 1;
e1663.. b958 + b960 =L= 1;
e1664.. b958 + b961 =L= 1;
e1665.. b958 + b959 =L= 1;
e1666.. b959 + b960 =L= 1;
e1667.. b959 + b961 =L= 1;
e1668.. b958 + b960 =L= 1;
e1669.. b959 + b960 =L= 1;
e1670.. b960 + b961 =L= 1;
e1671.. b958 + b961 =L= 1;
e1672.. b959 + b961 =L= 1;
e1673.. b960 + b961 =L= 1;
e1674.. b962 + b963 =L= 1;
e1675.. b962 + b964 =L= 1;
e1676.. b962 + b965 =L= 1;
e1677.. b962 + b963 =L= 1;
e1678.. b963 + b964 =L= 1;
e1679.. b963 + b965 =L= 1;
e1680.. b962 + b964 =L= 1;
e1681.. b963 + b964 =L= 1;
e1682.. b964 + b965 =L= 1;
e1683.. b962 + b965 =L= 1;
e1684.. b963 + b965 =L= 1;
e1685.. b964 + b965 =L= 1;
e1686.. b966 + b967 =L= 1;
e1687.. b966 + b968 =L= 1;
e1688.. b966 + b969 =L= 1;
e1689.. b966 + b967 =L= 1;
e1690.. b967 + b968 =L= 1;
e1691.. b967 + b969 =L= 1;
e1692.. b966 + b968 =L= 1;
e1693.. b967 + b968 =L= 1;
e1694.. b968 + b969 =L= 1;
e1695.. b966 + b969 =L= 1;
e1696.. b967 + b969 =L= 1;
e1697.. b968 + b969 =L= 1;
e1698.. b970 + b971 =L= 1;
e1699.. b970 + b972 =L= 1;
e1700.. b970 + b973 =L= 1;
e1701.. b970 + b971 =L= 1;
e1702.. b971 + b972 =L= 1;
e1703.. b971 + b973 =L= 1;
e1704.. b970 + b972 =L= 1;
e1705.. b971 + b972 =L= 1;
e1706.. b972 + b973 =L= 1;
e1707.. b970 + b973 =L= 1;
e1708.. b971 + b973 =L= 1;
e1709.. b972 + b973 =L= 1;
e1710.. b974 + b975 =L= 1;
e1711.. b974 + b976 =L= 1;
e1712.. b974 + b977 =L= 1;
e1713.. b974 + b975 =L= 1;
e1714.. b975 + b976 =L= 1;
e1715.. b975 + b977 =L= 1;
e1716.. b974 + b976 =L= 1;
e1717.. b975 + b976 =L= 1;
e1718.. b976 + b977 =L= 1;
e1719.. b974 + b977 =L= 1;
e1720.. b975 + b977 =L= 1;
e1721.. b976 + b977 =L= 1;
e1722.. b978 + b979 =L= 1;
e1723.. b978 + b980 =L= 1;
e1724.. b978 + b981 =L= 1;
e1725.. b978 + b979 =L= 1;
e1726.. b979 + b980 =L= 1;
e1727.. b979 + b981 =L= 1;
e1728.. b978 + b980 =L= 1;
e1729.. b979 + b980 =L= 1;
e1730.. b980 + b981 =L= 1;
e1731.. b978 + b981 =L= 1;
e1732.. b979 + b981 =L= 1;
e1733.. b980 + b981 =L= 1;
e1734.. b982 + b983 =L= 1;
e1735.. b982 + b984 =L= 1;
e1736.. b982 + b985 =L= 1;
e1737.. b982 + b983 =L= 1;
e1738.. b983 + b984 =L= 1;
e1739.. b983 + b985 =L= 1;
e1740.. b982 + b984 =L= 1;
e1741.. b983 + b984 =L= 1;
e1742.. b984 + b985 =L= 1;
e1743.. b982 + b985 =L= 1;
e1744.. b983 + b985 =L= 1;
e1745.. b984 + b985 =L= 1;
e1746.. b986 + b987 =L= 1;
e1747.. b986 + b988 =L= 1;
e1748.. b986 + b989 =L= 1;
e1749.. b986 + b987 =L= 1;
e1750.. b987 + b988 =L= 1;
e1751.. b987 + b989 =L= 1;
e1752.. b986 + b988 =L= 1;
e1753.. b987 + b988 =L= 1;
e1754.. b988 + b989 =L= 1;
e1755.. b986 + b989 =L= 1;
e1756.. b987 + b989 =L= 1;
e1757.. b988 + b989 =L= 1;
e1758.. b990 + b991 =L= 1;
e1759.. b990 + b992 =L= 1;
e1760.. b990 + b993 =L= 1;
e1761.. b990 + b991 =L= 1;
e1762.. b991 + b992 =L= 1;
e1763.. b991 + b993 =L= 1;
e1764.. b990 + b992 =L= 1;
e1765.. b991 + b992 =L= 1;
e1766.. b992 + b993 =L= 1;
e1767.. b990 + b993 =L= 1;
e1768.. b991 + b993 =L= 1;
e1769.. b992 + b993 =L= 1;
e1770.. b994 + b995 =L= 1;
e1771.. b994 + b996 =L= 1;
e1772.. b994 + b997 =L= 1;
e1773.. b994 + b995 =L= 1;
e1774.. b995 + b996 =L= 1;
e1775.. b995 + b997 =L= 1;
e1776.. b994 + b996 =L= 1;
e1777.. b995 + b996 =L= 1;
e1778.. b996 + b997 =L= 1;
e1779.. b994 + b997 =L= 1;
e1780.. b995 + b997 =L= 1;
e1781.. b996 + b997 =L= 1;
e1782.. b998 + b999 =L= 1;
e1783.. b998 + b1000 =L= 1;
e1784.. b998 + b1001 =L= 1;
e1785.. b998 + b999 =L= 1;
e1786.. b999 + b1000 =L= 1;
e1787.. b999 + b1001 =L= 1;
e1788.. b998 + b1000 =L= 1;
e1789.. b999 + b1000 =L= 1;
e1790.. b1000 + b1001 =L= 1;
e1791.. b998 + b1001 =L= 1;
e1792.. b999 + b1001 =L= 1;
e1793.. b1000 + b1001 =L= 1;
e1794.. b1002 + b1003 =L= 1;
e1795.. b1002 + b1004 =L= 1;
e1796.. b1002 + b1005 =L= 1;
e1797.. b1002 + b1003 =L= 1;
e1798.. b1003 + b1004 =L= 1;
e1799.. b1003 + b1005 =L= 1;
e1800.. b1002 + b1004 =L= 1;
e1801.. b1003 + b1004 =L= 1;
e1802.. b1004 + b1005 =L= 1;
e1803.. b1002 + b1005 =L= 1;
e1804.. b1003 + b1005 =L= 1;
e1805.. b1004 + b1005 =L= 1;
e1806.. b1006 + b1007 =L= 1;
e1807.. b1006 + b1008 =L= 1;
e1808.. b1006 + b1009 =L= 1;
e1809.. b1006 + b1007 =L= 1;
e1810.. b1007 + b1008 =L= 1;
e1811.. b1007 + b1009 =L= 1;
e1812.. b1006 + b1008 =L= 1;
e1813.. b1007 + b1008 =L= 1;
e1814.. b1008 + b1009 =L= 1;
e1815.. b1006 + b1009 =L= 1;
e1816.. b1007 + b1009 =L= 1;
e1817.. b1008 + b1009 =L= 1;
e1818.. b1010 + b1011 =L= 1;
e1819.. b1010 + b1012 =L= 1;
e1820.. b1010 + b1013 =L= 1;
e1821.. b1010 + b1011 =L= 1;
e1822.. b1011 + b1012 =L= 1;
e1823.. b1011 + b1013 =L= 1;
e1824.. b1010 + b1012 =L= 1;
e1825.. b1011 + b1012 =L= 1;
e1826.. b1012 + b1013 =L= 1;
e1827.. b1010 + b1013 =L= 1;
e1828.. b1011 + b1013 =L= 1;
e1829.. b1012 + b1013 =L= 1;
e1830.. b1014 + b1015 =L= 1;
e1831.. b1014 + b1016 =L= 1;
e1832.. b1014 + b1017 =L= 1;
e1833.. b1014 + b1015 =L= 1;
e1834.. b1015 + b1016 =L= 1;
e1835.. b1015 + b1017 =L= 1;
e1836.. b1014 + b1016 =L= 1;
e1837.. b1015 + b1016 =L= 1;
e1838.. b1016 + b1017 =L= 1;
e1839.. b1014 + b1017 =L= 1;
e1840.. b1015 + b1017 =L= 1;
e1841.. b1016 + b1017 =L= 1;
e1842.. b1018 + b1019 =L= 1;
e1843.. b1018 + b1020 =L= 1;
e1844.. b1018 + b1021 =L= 1;
e1845.. b1018 + b1019 =L= 1;
e1846.. b1019 + b1020 =L= 1;
e1847.. b1019 + b1021 =L= 1;
e1848.. b1018 + b1020 =L= 1;
e1849.. b1019 + b1020 =L= 1;
e1850.. b1020 + b1021 =L= 1;
e1851.. b1018 + b1021 =L= 1;
e1852.. b1019 + b1021 =L= 1;
e1853.. b1020 + b1021 =L= 1;
e1854.. b1022 + b1023 =L= 1;
e1855.. b1022 + b1024 =L= 1;
e1856.. b1022 + b1025 =L= 1;
e1857.. b1022 + b1023 =L= 1;
e1858.. b1023 + b1024 =L= 1;
e1859.. b1023 + b1025 =L= 1;
e1860.. b1022 + b1024 =L= 1;
e1861.. b1023 + b1024 =L= 1;
e1862.. b1024 + b1025 =L= 1;
e1863.. b1022 + b1025 =L= 1;
e1864.. b1023 + b1025 =L= 1;
e1865.. b1024 + b1025 =L= 1;
e1866.. b1026 + b1027 =L= 1;
e1867.. b1026 + b1028 =L= 1;
e1868.. b1026 + b1029 =L= 1;
e1869.. b1026 + b1027 =L= 1;
e1870.. b1027 + b1028 =L= 1;
e1871.. b1027 + b1029 =L= 1;
e1872.. b1026 + b1028 =L= 1;
e1873.. b1027 + b1028 =L= 1;
e1874.. b1028 + b1029 =L= 1;
e1875.. b1026 + b1029 =L= 1;
e1876.. b1027 + b1029 =L= 1;
e1877.. b1028 + b1029 =L= 1;
e1878.. b1030 + b1031 =L= 1;
e1879.. b1030 + b1032 =L= 1;
e1880.. b1030 + b1033 =L= 1;
e1881.. b1030 + b1031 =L= 1;
e1882.. b1031 + b1032 =L= 1;
e1883.. b1031 + b1033 =L= 1;
e1884.. b1030 + b1032 =L= 1;
e1885.. b1031 + b1032 =L= 1;
e1886.. b1032 + b1033 =L= 1;
e1887.. b1030 + b1033 =L= 1;
e1888.. b1031 + b1033 =L= 1;
e1889.. b1032 + b1033 =L= 1;
e1890.. b794 - b914 =L= 0;
e1891.. - b794 + b795 - b915 =L= 0;
e1892.. - b794 - b795 + b796 - b916 =L= 0;
e1893.. - b794 - b795 - b796 + b797 - b917 =L= 0;
e1894.. b798 - b918 =L= 0;
e1895.. - b798 + b799 - b919 =L= 0;
e1896.. - b798 - b799 + b800 - b920 =L= 0;
e1897.. - b798 - b799 - b800 + b801 - b921 =L= 0;
e1898.. b802 - b922 =L= 0;
e1899.. - b802 + b803 - b923 =L= 0;
e1900.. - b802 - b803 + b804 - b924 =L= 0;
e1901.. - b802 - b803 - b804 + b805 - b925 =L= 0;
e1902.. b806 - b926 =L= 0;
e1903.. - b806 + b807 - b927 =L= 0;
e1904.. - b806 - b807 + b808 - b928 =L= 0;
e1905.. - b806 - b807 - b808 + b809 - b929 =L= 0;
e1906.. b810 - b930 =L= 0;
e1907.. - b810 + b811 - b931 =L= 0;
e1908.. - b810 - b811 + b812 - b932 =L= 0;
e1909.. - b810 - b811 - b812 + b813 - b933 =L= 0;
e1910.. b814 - b934 =L= 0;
e1911.. - b814 + b815 - b935 =L= 0;
e1912.. - b814 - b815 + b816 - b936 =L= 0;
e1913.. - b814 - b815 - b816 + b817 - b937 =L= 0;
e1914.. b818 - b938 =L= 0;
e1915.. - b818 + b819 - b939 =L= 0;
e1916.. - b818 - b819 + b820 - b940 =L= 0;
e1917.. - b818 - b819 - b820 + b821 - b941 =L= 0;
e1918.. b822 - b942 =L= 0;
e1919.. - b822 + b823 - b943 =L= 0;
e1920.. - b822 - b823 + b824 - b944 =L= 0;
e1921.. - b822 - b823 - b824 + b825 - b945 =L= 0;
e1922.. b826 - b946 =L= 0;
e1923.. - b826 + b827 - b947 =L= 0;
e1924.. - b826 - b827 + b828 - b948 =L= 0;
e1925.. - b826 - b827 - b828 + b829 - b949 =L= 0;
e1926.. b830 - b950 =L= 0;
e1927.. - b830 + b831 - b951 =L= 0;
e1928.. - b830 - b831 + b832 - b952 =L= 0;
e1929.. - b830 - b831 - b832 + b833 - b953 =L= 0;
e1930.. b834 - b954 =L= 0;
e1931.. - b834 + b835 - b955 =L= 0;
e1932.. - b834 - b835 + b836 - b956 =L= 0;
e1933.. - b834 - b835 - b836 + b837 - b957 =L= 0;
e1934.. b838 - b958 =L= 0;
e1935.. - b838 + b839 - b959 =L= 0;
e1936.. - b838 - b839 + b840 - b960 =L= 0;
e1937.. - b838 - b839 - b840 + b841 - b961 =L= 0;
e1938.. b842 - b962 =L= 0;
e1939.. - b842 + b843 - b963 =L= 0;
e1940.. - b842 - b843 + b844 - b964 =L= 0;
e1941.. - b842 - b843 - b844 + b845 - b965 =L= 0;
e1942.. b846 - b966 =L= 0;
e1943.. - b846 + b847 - b967 =L= 0;
e1944.. - b846 - b847 + b848 - b968 =L= 0;
e1945.. - b846 - b847 - b848 + b849 - b969 =L= 0;
e1946.. b850 - b970 =L= 0;
e1947.. - b850 + b851 - b971 =L= 0;
e1948.. - b850 - b851 + b852 - b972 =L= 0;
e1949.. - b850 - b851 - b852 + b853 - b973 =L= 0;
e1950.. b854 - b974 =L= 0;
e1951.. - b854 + b855 - b975 =L= 0;
e1952.. - b854 - b855 + b856 - b976 =L= 0;
e1953.. - b854 - b855 - b856 + b857 - b977 =L= 0;
e1954.. b858 - b978 =L= 0;
e1955.. - b858 + b859 - b979 =L= 0;
e1956.. - b858 - b859 + b860 - b980 =L= 0;
e1957.. - b858 - b859 - b860 + b861 - b981 =L= 0;
e1958.. b862 - b982 =L= 0;
e1959.. - b862 + b863 - b983 =L= 0;
e1960.. - b862 - b863 + b864 - b984 =L= 0;
e1961.. - b862 - b863 - b864 + b865 - b985 =L= 0;
e1962.. b866 - b986 =L= 0;
e1963.. - b866 + b867 - b987 =L= 0;
e1964.. - b866 - b867 + b868 - b988 =L= 0;
e1965.. - b866 - b867 - b868 + b869 - b989 =L= 0;
e1966.. b870 - b990 =L= 0;
e1967.. - b870 + b871 - b991 =L= 0;
e1968.. - b870 - b871 + b872 - b992 =L= 0;
e1969.. - b870 - b871 - b872 + b873 - b993 =L= 0;
e1970.. b874 - b994 =L= 0;
e1971.. - b874 + b875 - b995 =L= 0;
e1972.. - b874 - b875 + b876 - b996 =L= 0;
e1973.. - b874 - b875 - b876 + b877 - b997 =L= 0;
e1974.. b878 - b998 =L= 0;
e1975.. - b878 + b879 - b999 =L= 0;
e1976.. - b878 - b879 + b880 - b1000 =L= 0;
e1977.. - b878 - b879 - b880 + b881 - b1001 =L= 0;
e1978.. b882 - b1002 =L= 0;
e1979.. - b882 + b883 - b1003 =L= 0;
e1980.. - b882 - b883 + b884 - b1004 =L= 0;
e1981.. - b882 - b883 - b884 + b885 - b1005 =L= 0;
e1982.. b886 - b1006 =L= 0;
e1983.. - b886 + b887 - b1007 =L= 0;
e1984.. - b886 - b887 + b888 - b1008 =L= 0;
e1985.. - b886 - b887 - b888 + b889 - b1009 =L= 0;
e1986.. b890 - b1010 =L= 0;
e1987.. - b890 + b891 - b1011 =L= 0;
e1988.. - b890 - b891 + b892 - b1012 =L= 0;
e1989.. - b890 - b891 - b892 + b893 - b1013 =L= 0;
e1990.. b894 - b1014 =L= 0;
e1991.. - b894 + b895 - b1015 =L= 0;
e1992.. - b894 - b895 + b896 - b1016 =L= 0;
e1993.. - b894 - b895 - b896 + b897 - b1017 =L= 0;
e1994.. b898 - b1018 =L= 0;
e1995.. - b898 + b899 - b1019 =L= 0;
e1996.. - b898 - b899 + b900 - b1020 =L= 0;
e1997.. - b898 - b899 - b900 + b901 - b1021 =L= 0;
e1998.. b902 - b1022 =L= 0;
e1999.. - b902 + b903 - b1023 =L= 0;
e2000.. - b902 - b903 + b904 - b1024 =L= 0;
e2001.. - b902 - b903 - b904 + b905 - b1025 =L= 0;
e2002.. b906 - b1026 =L= 0;
e2003.. - b906 + b907 - b1027 =L= 0;
e2004.. - b906 - b907 + b908 - b1028 =L= 0;
e2005.. - b906 - b907 - b908 + b909 - b1029 =L= 0;
e2006.. b910 - b1030 =L= 0;
e2007.. - b910 + b911 - b1031 =L= 0;
e2008.. - b910 - b911 + b912 - b1032 =L= 0;
e2009.. - b910 - b911 - b912 + b913 - b1033 =L= 0;
e2010.. b794 + b798 =E= 1;
e2011.. b795 + b799 =E= 1;
e2012.. b796 + b800 =E= 1;
e2013.. b797 + b801 =E= 1;
e2014.. - b802 + b814 + b818 =G= 0;
e2015.. - b803 + b815 + b819 =G= 0;
e2016.. - b804 + b816 + b820 =G= 0;
e2017.. - b805 + b817 + b821 =G= 0;
e2018.. - b814 + b838 =G= 0;
e2019.. - b815 + b839 =G= 0;
e2020.. - b816 + b840 =G= 0;
e2021.. - b817 + b841 =G= 0;
e2022.. - b818 + b842 =G= 0;
e2023.. - b819 + b843 =G= 0;
e2024.. - b820 + b844 =G= 0;
e2025.. - b821 + b845 =G= 0;
e2026.. - b806 + b822 =G= 0;
e2027.. - b807 + b823 =G= 0;
e2028.. - b808 + b824 =G= 0;
e2029.. - b809 + b825 =G= 0;
e2030.. - b822 + b846 + b850 =G= 0;
e2031.. - b823 + b847 + b851 =G= 0;
e2032.. - b824 + b848 + b852 =G= 0;
e2033.. - b825 + b849 + b853 =G= 0;
e2034.. - b810 + b826 + b830 + b834 =G= 0;
e2035.. - b811 + b827 + b831 + b835 =G= 0;
e2036.. - b812 + b828 + b832 + b836 =G= 0;
e2037.. - b813 + b829 + b833 + b837 =G= 0;
e2038.. - b826 + b850 =G= 0;
e2039.. - b827 + b851 =G= 0;
e2040.. - b828 + b852 =G= 0;
e2041.. - b829 + b853 =G= 0;
e2042.. - b830 + b854 + b858 =G= 0;
e2043.. - b831 + b855 + b859 =G= 0;
e2044.. - b832 + b856 + b860 =G= 0;
e2045.. - b833 + b857 + b861 =G= 0;
e2046.. - b834 + b862 + b866 + b870 =G= 0;
e2047.. - b835 + b863 + b867 + b871 =G= 0;
e2048.. - b836 + b864 + b868 + b872 =G= 0;
e2049.. - b837 + b865 + b869 + b873 =G= 0;
e2050.. b794 + b798 - b802 =G= 0;
e2051.. b795 + b799 - b803 =G= 0;
e2052.. b796 + b800 - b804 =G= 0;
e2053.. b797 + b801 - b805 =G= 0;
e2054.. b794 + b798 - b806 =G= 0;
e2055.. b795 + b799 - b807 =G= 0;
e2056.. b796 + b800 - b808 =G= 0;
e2057.. b797 + b801 - b809 =G= 0;
e2058.. b794 + b798 - b810 =G= 0;
e2059.. b795 + b799 - b811 =G= 0;
e2060.. b796 + b800 - b812 =G= 0;
e2061.. b797 + b801 - b813 =G= 0;
e2062.. b802 - b814 =G= 0;
e2063.. b803 - b815 =G= 0;
e2064.. b804 - b816 =G= 0;
e2065.. b805 - b817 =G= 0;
e2066.. b802 - b818 =G= 0;
e2067.. b803 - b819 =G= 0;
e2068.. b804 - b820 =G= 0;
e2069.. b805 - b821 =G= 0;
e2070.. b806 - b822 =G= 0;
e2071.. b807 - b823 =G= 0;
e2072.. b808 - b824 =G= 0;
e2073.. b809 - b825 =G= 0;
e2074.. b810 - b826 =G= 0;
e2075.. b811 - b827 =G= 0;
e2076.. b812 - b828 =G= 0;
e2077.. b813 - b829 =G= 0;
e2078.. b810 - b830 =G= 0;
e2079.. b811 - b831 =G= 0;
e2080.. b812 - b832 =G= 0;
e2081.. b813 - b833 =G= 0;
e2082.. b810 - b834 =G= 0;
e2083.. b811 - b835 =G= 0;
e2084.. b812 - b836 =G= 0;
e2085.. b813 - b837 =G= 0;
e2086.. b814 - b838 =G= 0;
e2087.. b815 - b839 =G= 0;
e2088.. b816 - b840 =G= 0;
e2089.. b817 - b841 =G= 0;
e2090.. b818 - b842 =G= 0;
e2091.. b819 - b843 =G= 0;
e2092.. b820 - b844 =G= 0;
e2093.. b821 - b845 =G= 0;
e2094.. b822 - b846 =G= 0;
e2095.. b823 - b847 =G= 0;
e2096.. b824 - b848 =G= 0;
e2097.. b825 - b849 =G= 0;
e2098.. b822 - b850 =G= 0;
e2099.. b823 - b851 =G= 0;
e2100.. b824 - b852 =G= 0;
e2101.. b825 - b853 =G= 0;
e2102.. b830 - b854 =G= 0;
e2103.. b831 - b855 =G= 0;
e2104.. b832 - b856 =G= 0;
e2105.. b833 - b857 =G= 0;
e2106.. b830 - b858 =G= 0;
e2107.. b831 - b859 =G= 0;
e2108.. b832 - b860 =G= 0;
e2109.. b833 - b861 =G= 0;
e2110.. b834 - b862 =G= 0;
e2111.. b835 - b863 =G= 0;
e2112.. b836 - b864 =G= 0;
e2113.. b837 - b865 =G= 0;
e2114.. b834 - b866 =G= 0;
e2115.. b835 - b867 =G= 0;
e2116.. b836 - b868 =G= 0;
e2117.. b837 - b869 =G= 0;
e2118.. b834 - b870 =G= 0;
e2119.. b835 - b871 =G= 0;
e2120.. b836 - b872 =G= 0;
e2121.. b837 - b873 =G= 0;
e2122.. - b870 + b874 + b878 =G= 0;
e2123.. - b871 + b875 + b879 =G= 0;
e2124.. - b872 + b876 + b880 =G= 0;
e2125.. - b873 + b877 + b881 =G= 0;
e2126.. - b882 + b894 + b898 =G= 0;
e2127.. - b883 + b895 + b899 =G= 0;
e2128.. - b884 + b896 + b900 =G= 0;
e2129.. - b885 + b897 + b901 =G= 0;
e2130.. - b886 + b902 =G= 0;
e2131.. - b887 + b903 =G= 0;
e2132.. - b888 + b904 =G= 0;
e2133.. - b889 + b905 =G= 0;
e2134.. b870 - b874 =G= 0;
e2135.. b871 - b875 =G= 0;
e2136.. b872 - b876 =G= 0;
e2137.. b873 - b877 =G= 0;
e2138.. b870 - b878 =G= 0;
e2139.. b871 - b879 =G= 0;
e2140.. b872 - b880 =G= 0;
e2141.. b873 - b881 =G= 0;
e2142.. b882 - b894 =G= 0;
e2143.. b883 - b895 =G= 0;
e2144.. b884 - b896 =G= 0;
e2145.. b885 - b897 =G= 0;
e2146.. b882 - b898 =G= 0;
e2147.. b883 - b899 =G= 0;
e2148.. b884 - b900 =G= 0;
e2149.. b885 - b901 =G= 0;
e2150.. b886 - b902 =G= 0;
e2151.. b887 - b903 =G= 0;
e2152.. b888 - b904 =G= 0;
e2153.. b889 - b905 =G= 0;
e2154.. b890 - b906 =G= 0;
e2155.. b891 - b907 =G= 0;
e2156.. b892 - b908 =G= 0;
e2157.. b893 - b909 =G= 0;
e2158.. b890 - b910 =G= 0;
e2159.. b891 - b911 =G= 0;
e2160.. b892 - b912 =G= 0;
e2161.. b893 - b913 =G= 0;
* set non-default bounds
x2.up = 40;
x3.up = 40;
x4.up = 40;
x5.up = 40;
x46.up = 30;
x47.up = 30;
x48.up = 30;
x49.up = 30;
x114.up = 20;
x115.up = 20;
x116.up = 20;
x117.up = 20;
x118.up = 20;
x119.up = 20;
x120.up = 20;
x121.up = 20;
x226.up = 30;
x227.up = 30;
x228.up = 30;
x229.up = 30;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% maximizing objvar;
Last updated: 2025-08-07 Git hash: e62cedfc

