MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance p_ball_20b_5p_3d_h
Select 5-points in 3-dimensional balls, such that the l1-distance between all points is minimized. Only one point can be assigned to each ball, and in total there are 20 balls with radius one. This is a convex-hull formulation.
| Formatsⓘ | ams gms mod nl osil py |
| Primal Bounds (infeas ≤ 1e-08)ⓘ | |
| Other points (infeas > 1e-08)ⓘ | |
| Dual Boundsⓘ | 0.00000000 (ALPHAECP) 19.73646906 (ANTIGONE) 19.73644795 (BARON) 19.73646902 (BONMIN) 19.73645821 (COUENNE) 7.70500633 (LINDO) 19.73646443 (SCIP) 0.00000000 (SHOT) |
| Referencesⓘ | Kronqvist, Jan and Misener, Ruth, A disjunctive cut strengthening technique for convex MINLP, Tech. Rep., 2020. |
| Sourceⓘ | p_ball_20b_5p_3d_H.gms with the epsilon in the perspective formulation changed to 1e-4, contributed by Jan Kronqvist and Ruth Misener |
| Applicationⓘ | Geometry |
| Added to libraryⓘ | 26 Aug 2020 |
| Problem typeⓘ | MBNLP |
| #Variablesⓘ | 445 |
| #Binary Variablesⓘ | 100 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 400 |
| #Nonlinear Binary Variablesⓘ | 100 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 30 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 504 |
| #Linear Constraintsⓘ | 404 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 100 |
| Operands in Gen. Nonlin. Functionsⓘ | div mul sqr |
| Constraints curvatureⓘ | convex |
| #Nonzeros in Jacobianⓘ | 1703 |
| #Nonlinear Nonzeros in Jacobianⓘ | 400 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 1000 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 400 |
| #Blocks in Hessian of Lagrangianⓘ | 100 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 4 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 4 |
| Average blocksize in Hessian of Lagrangianⓘ | 4.0 |
| #Semicontinuitiesⓘ | 0 |
| #Nonlinear Semicontinuitiesⓘ | 0 |
| #SOS type 1ⓘ | 0 |
| #SOS type 2ⓘ | 0 |
| Minimal coefficientⓘ | 1.0000e-04 |
| Maximal coefficientⓘ | 1.0000e+01 |
| Infeasibility of initial pointⓘ | 1 |
| Sparsity Jacobianⓘ | ![]() |
| Sparsity Hessian of Lagrangianⓘ | ![]() |
$offlisting
*
* Equation counts
* Total E G L N X C B
* 505 21 0 484 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 446 346 100 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 1734 1334 400 0
*
* Solve m using MINLP minimizing objvar;
Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,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,objvar;
Positive Variables 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;
Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100;
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;
e1.. x101 - x102 - x103 =L= 0;
e2.. - x101 + x102 - x103 =L= 0;
e3.. x104 - x105 - x106 =L= 0;
e4.. - x104 + x105 - x106 =L= 0;
e5.. x107 - x108 - x109 =L= 0;
e6.. - x107 + x108 - x109 =L= 0;
e7.. x101 - x110 - x111 =L= 0;
e8.. - x101 + x110 - x111 =L= 0;
e9.. x104 - x112 - x113 =L= 0;
e10.. - x104 + x112 - x113 =L= 0;
e11.. x107 - x114 - x115 =L= 0;
e12.. - x107 + x114 - x115 =L= 0;
e13.. x101 - x116 - x117 =L= 0;
e14.. - x101 + x116 - x117 =L= 0;
e15.. x104 - x118 - x119 =L= 0;
e16.. - x104 + x118 - x119 =L= 0;
e17.. x107 - x120 - x121 =L= 0;
e18.. - x107 + x120 - x121 =L= 0;
e19.. x101 - x122 - x123 =L= 0;
e20.. - x101 + x122 - x123 =L= 0;
e21.. x104 - x124 - x125 =L= 0;
e22.. - x104 + x124 - x125 =L= 0;
e23.. x107 - x126 - x127 =L= 0;
e24.. - x107 + x126 - x127 =L= 0;
e25.. x102 - x110 - x128 =L= 0;
e26.. - x102 + x110 - x128 =L= 0;
e27.. x105 - x112 - x129 =L= 0;
e28.. - x105 + x112 - x129 =L= 0;
e29.. x108 - x114 - x130 =L= 0;
e30.. - x108 + x114 - x130 =L= 0;
e31.. x102 - x116 - x131 =L= 0;
e32.. - x102 + x116 - x131 =L= 0;
e33.. x105 - x118 - x132 =L= 0;
e34.. - x105 + x118 - x132 =L= 0;
e35.. x108 - x120 - x133 =L= 0;
e36.. - x108 + x120 - x133 =L= 0;
e37.. x102 - x122 - x134 =L= 0;
e38.. - x102 + x122 - x134 =L= 0;
e39.. x105 - x124 - x135 =L= 0;
e40.. - x105 + x124 - x135 =L= 0;
e41.. x108 - x126 - x136 =L= 0;
e42.. - x108 + x126 - x136 =L= 0;
e43.. x110 - x116 - x137 =L= 0;
e44.. - x110 + x116 - x137 =L= 0;
e45.. x112 - x118 - x138 =L= 0;
e46.. - x112 + x118 - x138 =L= 0;
e47.. x114 - x120 - x139 =L= 0;
e48.. - x114 + x120 - x139 =L= 0;
e49.. x110 - x122 - x140 =L= 0;
e50.. - x110 + x122 - x140 =L= 0;
e51.. x112 - x124 - x141 =L= 0;
e52.. - x112 + x124 - x141 =L= 0;
e53.. x114 - x126 - x142 =L= 0;
e54.. - x114 + x126 - x142 =L= 0;
e55.. x116 - x122 - x143 =L= 0;
e56.. - x116 + x122 - x143 =L= 0;
e57.. x118 - x124 - x144 =L= 0;
e58.. - x118 + x124 - x144 =L= 0;
e59.. x120 - x126 - x145 =L= 0;
e60.. - x120 + x126 - x145 =L= 0;
e61.. (-1 + sqr(0.483311857356823 - x146/(0.0001 + 0.9999*b1)) + sqr(
0.114242198506904 - x147/(0.0001 + 0.9999*b1)) + sqr(7.12048883659032 -
x148/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) + 0.00499480029033887*b1
=L= 0.00499480029033887;
e62.. (-1 + sqr(5.2590135790233 - x149/(0.0001 + 0.9999*b2)) + sqr(
7.33259189570392 - x150/(0.0001 + 0.9999*b2)) + sqr(5.312333476343 - x151
/(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) + 0.0108645014697169*b2
=L= 0.0108645014697169;
e63.. (-1 + sqr(7.41517046461879 - x152/(0.0001 + 0.9999*b3)) + sqr(
9.62332773098117 - x153/(0.0001 + 0.9999*b3)) + sqr(4.79943898486809 -
x154/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.0169627804206698*b3
=L= 0.0169627804206698;
e64.. (-1 + sqr(6.671843981803 - x155/(0.0001 + 0.9999*b4)) + sqr(
8.10658123259484 - x156/(0.0001 + 0.9999*b4)) + sqr(8.43381689055527 -
x157/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) + 0.0180359428741595*b4
=L= 0.0180359428741595;
e65.. (-1 + sqr(9.05870575338678 - x158/(0.0001 + 0.9999*b5)) + sqr(
8.3311941216586 - x159/(0.0001 + 0.9999*b5)) + sqr(2.43718333261179 -
x160/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) + 0.0156408808015962*b5
=L= 0.0156408808015962;
e66.. (-1 + sqr(2.45247392282192 - x161/(0.0001 + 0.9999*b6)) + sqr(
3.04490781414335 - x162/(0.0001 + 0.9999*b6)) + sqr(3.74797873360784 -
x163/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) + 0.00283334365263293*b6
=L= 0.00283334365263293;
e67.. (-1 + sqr(3.17249885664207 - x164/(0.0001 + 0.9999*b7)) + sqr(
0.899014640298569 - x165/(0.0001 + 0.9999*b7)) + sqr(6.53554769882638 -
x166/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) + 0.00525863600425012*b7
=L= 0.00525863600425012;
e68.. (-1 + sqr(7.19140474364188 - x167/(0.0001 + 0.9999*b8)) + sqr(
6.78752778006733 - x168/(0.0001 + 0.9999*b8)) + sqr(7.10371917668867 -
x169/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) + 0.0147249661693315*b8
=L= 0.0147249661693315;
e69.. (-1 + sqr(0.581905599074722 - x170/(0.0001 + 0.9999*b9)) + sqr(
8.05664566308502 - x171/(0.0001 + 0.9999*b9)) + sqr(0.465270839540525 -
x172/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) + 0.0064464630420868*b9
=L= 0.0064464630420868;
e70.. (-1 + sqr(2.89314656575976 - x173/(0.0001 + 0.9999*b10)) + sqr(
2.98350648433744 - x174/(0.0001 + 0.9999*b10)) + sqr(4.94095686412664 -
x175/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.00406846627262112*
b10 =L= 0.00406846627262112;
e71.. (-1 + sqr(2.18223181481477 - x176/(0.0001 + 0.9999*b11)) + sqr(
6.36734447251869 - x177/(0.0001 + 0.9999*b11)) + sqr(6.99053555821422 -
x178/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.00931727987159614*
b11 =L= 0.00931727987159614;
e72.. (-1 + sqr(8.39213303571845 - x179/(0.0001 + 0.9999*b12)) + sqr(
0.0966493493157039 - x180/(0.0001 + 0.9999*b12)) + sqr(0.992650538147096
- x181/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) +
0.00704225930768039*b12 =L= 0.00704225930768039;
e73.. (-1 + sqr(6.8673656213906 - x182/(0.0001 + 0.9999*b13)) + sqr(
8.47463209326542 - x183/(0.0001 + 0.9999*b13)) + sqr(0.494039939513553 -
x184/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.0118224175155896*
b13 =L= 0.0118224175155896;
e74.. (-1 + sqr(2.07334522686175 - x185/(0.0001 + 0.9999*b14)) + sqr(
0.611759422337085 - x186/(0.0001 + 0.9999*b14)) + sqr(7.49872182399417 -
x187/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.00599038390142151*
b14 =L= 0.00599038390142151;
e75.. (-1 + sqr(5.58287553353321 - x188/(0.0001 + 0.9999*b15)) + sqr(
7.41023187669618 - x189/(0.0001 + 0.9999*b15)) + sqr(5.78186220125907 -
x190/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.0118509966203676*
b15 =L= 0.0118509966203676;
e76.. (-1 + sqr(3.75663662491927 - x191/(0.0001 + 0.9999*b16)) + sqr(
2.16100057183036 - x192/(0.0001 + 0.9999*b16)) + sqr(9.4954261517135 -
x193/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.0107945360005781*
b16 =L= 0.0107945360005781;
e77.. (-1 + sqr(4.04360404243071 - x194/(0.0001 + 0.9999*b17)) + sqr(
7.5903513366217 - x195/(0.0001 + 0.9999*b17)) + sqr(3.71685851137678 -
x196/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) + 0.00867792042589109*
b17 =L= 0.00867792042589109;
e78.. (-1 + sqr(1.45072437530262 - x197/(0.0001 + 0.9999*b18)) + sqr(
1.11420059440894 - x198/(0.0001 + 0.9999*b18)) + sqr(9.42819884441584 -
x199/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.00912369776275226*
b18 =L= 0.00912369776275226;
e79.. (-1 + sqr(8.44626629441698 - x200/(0.0001 + 0.9999*b19)) + sqr(
8.81210793727421 - x201/(0.0001 + 0.9999*b19)) + sqr(9.26767041565757 -
x202/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.023388237554763*
b19 =L= 0.023388237554763;
e80.. (-1 + sqr(4.74415255019913 - x203/(0.0001 + 0.9999*b20)) + sqr(
2.8194183128037 - x204/(0.0001 + 0.9999*b20)) + sqr(1.76655535189797 -
x205/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00325768208534532*
b20 =L= 0.00325768208534532;
e81.. b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13
+ b14 + b15 + b16 + b17 + b18 + b19 + b20 =E= 1;
e82.. (-1 + sqr(0.483311857356823 - x206/(0.0001 + 0.9999*b21)) + sqr(
0.114242198506904 - x207/(0.0001 + 0.9999*b21)) + sqr(7.12048883659032 -
x208/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.00499480029033887*
b21 =L= 0.00499480029033887;
e83.. (-1 + sqr(5.2590135790233 - x209/(0.0001 + 0.9999*b22)) + sqr(
7.33259189570392 - x210/(0.0001 + 0.9999*b22)) + sqr(5.312333476343 -
x211/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.0108645014697169*
b22 =L= 0.0108645014697169;
e84.. (-1 + sqr(7.41517046461879 - x212/(0.0001 + 0.9999*b23)) + sqr(
9.62332773098117 - x213/(0.0001 + 0.9999*b23)) + sqr(4.79943898486809 -
x214/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.0169627804206698*
b23 =L= 0.0169627804206698;
e85.. (-1 + sqr(6.671843981803 - x215/(0.0001 + 0.9999*b24)) + sqr(
8.10658123259484 - x216/(0.0001 + 0.9999*b24)) + sqr(8.43381689055527 -
x217/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.0180359428741595*
b24 =L= 0.0180359428741595;
e86.. (-1 + sqr(9.05870575338678 - x218/(0.0001 + 0.9999*b25)) + sqr(
8.3311941216586 - x219/(0.0001 + 0.9999*b25)) + sqr(2.43718333261179 -
x220/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.0156408808015962*
b25 =L= 0.0156408808015962;
e87.. (-1 + sqr(2.45247392282192 - x221/(0.0001 + 0.9999*b26)) + sqr(
3.04490781414335 - x222/(0.0001 + 0.9999*b26)) + sqr(3.74797873360784 -
x223/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.00283334365263293*
b26 =L= 0.00283334365263293;
e88.. (-1 + sqr(3.17249885664207 - x224/(0.0001 + 0.9999*b27)) + sqr(
0.899014640298569 - x225/(0.0001 + 0.9999*b27)) + sqr(6.53554769882638 -
x226/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.00525863600425012*
b27 =L= 0.00525863600425012;
e89.. (-1 + sqr(7.19140474364188 - x227/(0.0001 + 0.9999*b28)) + sqr(
6.78752778006733 - x228/(0.0001 + 0.9999*b28)) + sqr(7.10371917668867 -
x229/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.0147249661693315*
b28 =L= 0.0147249661693315;
e90.. (-1 + sqr(0.581905599074722 - x230/(0.0001 + 0.9999*b29)) + sqr(
8.05664566308502 - x231/(0.0001 + 0.9999*b29)) + sqr(0.465270839540525 -
x232/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.0064464630420868*
b29 =L= 0.0064464630420868;
e91.. (-1 + sqr(2.89314656575976 - x233/(0.0001 + 0.9999*b30)) + sqr(
2.98350648433744 - x234/(0.0001 + 0.9999*b30)) + sqr(4.94095686412664 -
x235/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00406846627262112*
b30 =L= 0.00406846627262112;
e92.. (-1 + sqr(2.18223181481477 - x236/(0.0001 + 0.9999*b31)) + sqr(
6.36734447251869 - x237/(0.0001 + 0.9999*b31)) + sqr(6.99053555821422 -
x238/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.00931727987159614*
b31 =L= 0.00931727987159614;
e93.. (-1 + sqr(8.39213303571845 - x239/(0.0001 + 0.9999*b32)) + sqr(
0.0966493493157039 - x240/(0.0001 + 0.9999*b32)) + sqr(0.992650538147096
- x241/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) +
0.00704225930768039*b32 =L= 0.00704225930768039;
e94.. (-1 + sqr(6.8673656213906 - x242/(0.0001 + 0.9999*b33)) + sqr(
8.47463209326542 - x243/(0.0001 + 0.9999*b33)) + sqr(0.494039939513553 -
x244/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.0118224175155896*
b33 =L= 0.0118224175155896;
e95.. (-1 + sqr(2.07334522686175 - x245/(0.0001 + 0.9999*b34)) + sqr(
0.611759422337085 - x246/(0.0001 + 0.9999*b34)) + sqr(7.49872182399417 -
x247/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00599038390142151*
b34 =L= 0.00599038390142151;
e96.. (-1 + sqr(5.58287553353321 - x248/(0.0001 + 0.9999*b35)) + sqr(
7.41023187669618 - x249/(0.0001 + 0.9999*b35)) + sqr(5.78186220125907 -
x250/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.0118509966203676*
b35 =L= 0.0118509966203676;
e97.. (-1 + sqr(3.75663662491927 - x251/(0.0001 + 0.9999*b36)) + sqr(
2.16100057183036 - x252/(0.0001 + 0.9999*b36)) + sqr(9.4954261517135 -
x253/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.0107945360005781*
b36 =L= 0.0107945360005781;
e98.. (-1 + sqr(4.04360404243071 - x254/(0.0001 + 0.9999*b37)) + sqr(
7.5903513366217 - x255/(0.0001 + 0.9999*b37)) + sqr(3.71685851137678 -
x256/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.00867792042589109*
b37 =L= 0.00867792042589109;
e99.. (-1 + sqr(1.45072437530262 - x257/(0.0001 + 0.9999*b38)) + sqr(
1.11420059440894 - x258/(0.0001 + 0.9999*b38)) + sqr(9.42819884441584 -
x259/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.00912369776275226*
b38 =L= 0.00912369776275226;
e100.. (-1 + sqr(8.44626629441698 - x260/(0.0001 + 0.9999*b39)) + sqr(
8.81210793727421 - x261/(0.0001 + 0.9999*b39)) + sqr(9.26767041565757 -
x262/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.023388237554763*
b39 =L= 0.023388237554763;
e101.. (-1 + sqr(4.74415255019913 - x263/(0.0001 + 0.9999*b40)) + sqr(
2.8194183128037 - x264/(0.0001 + 0.9999*b40)) + sqr(1.76655535189797 -
x265/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.00325768208534532
*b40 =L= 0.00325768208534532;
e102.. b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32
+ b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 =E= 1;
e103.. (-1 + sqr(0.483311857356823 - x266/(0.0001 + 0.9999*b41)) + sqr(
0.114242198506904 - x267/(0.0001 + 0.9999*b41)) + sqr(7.12048883659032
- x268/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) +
0.00499480029033887*b41 =L= 0.00499480029033887;
e104.. (-1 + sqr(5.2590135790233 - x269/(0.0001 + 0.9999*b42)) + sqr(
7.33259189570392 - x270/(0.0001 + 0.9999*b42)) + sqr(5.312333476343 -
x271/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.0108645014697169*
b42 =L= 0.0108645014697169;
e105.. (-1 + sqr(7.41517046461879 - x272/(0.0001 + 0.9999*b43)) + sqr(
9.62332773098117 - x273/(0.0001 + 0.9999*b43)) + sqr(4.79943898486809 -
x274/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.0169627804206698*
b43 =L= 0.0169627804206698;
e106.. (-1 + sqr(6.671843981803 - x275/(0.0001 + 0.9999*b44)) + sqr(
8.10658123259484 - x276/(0.0001 + 0.9999*b44)) + sqr(8.43381689055527 -
x277/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.0180359428741595*
b44 =L= 0.0180359428741595;
e107.. (-1 + sqr(9.05870575338678 - x278/(0.0001 + 0.9999*b45)) + sqr(
8.3311941216586 - x279/(0.0001 + 0.9999*b45)) + sqr(2.43718333261179 -
x280/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.0156408808015962*
b45 =L= 0.0156408808015962;
e108.. (-1 + sqr(2.45247392282192 - x281/(0.0001 + 0.9999*b46)) + sqr(
3.04490781414335 - x282/(0.0001 + 0.9999*b46)) + sqr(3.74797873360784 -
x283/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.00283334365263293
*b46 =L= 0.00283334365263293;
e109.. (-1 + sqr(3.17249885664207 - x284/(0.0001 + 0.9999*b47)) + sqr(
0.899014640298569 - x285/(0.0001 + 0.9999*b47)) + sqr(6.53554769882638
- x286/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) +
0.00525863600425012*b47 =L= 0.00525863600425012;
e110.. (-1 + sqr(7.19140474364188 - x287/(0.0001 + 0.9999*b48)) + sqr(
6.78752778006733 - x288/(0.0001 + 0.9999*b48)) + sqr(7.10371917668867 -
x289/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.0147249661693315*
b48 =L= 0.0147249661693315;
e111.. (-1 + sqr(0.581905599074722 - x290/(0.0001 + 0.9999*b49)) + sqr(
8.05664566308502 - x291/(0.0001 + 0.9999*b49)) + sqr(0.465270839540525
- x292/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) +
0.0064464630420868*b49 =L= 0.0064464630420868;
e112.. (-1 + sqr(2.89314656575976 - x293/(0.0001 + 0.9999*b50)) + sqr(
2.98350648433744 - x294/(0.0001 + 0.9999*b50)) + sqr(4.94095686412664 -
x295/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.00406846627262112
*b50 =L= 0.00406846627262112;
e113.. (-1 + sqr(2.18223181481477 - x296/(0.0001 + 0.9999*b51)) + sqr(
6.36734447251869 - x297/(0.0001 + 0.9999*b51)) + sqr(6.99053555821422 -
x298/(0.0001 + 0.9999*b51)))*(0.0001 + 0.9999*b51) + 0.00931727987159614
*b51 =L= 0.00931727987159614;
e114.. (-1 + sqr(8.39213303571845 - x299/(0.0001 + 0.9999*b52)) + sqr(
0.0966493493157039 - x300/(0.0001 + 0.9999*b52)) + sqr(0.992650538147096
- x301/(0.0001 + 0.9999*b52)))*(0.0001 + 0.9999*b52) +
0.00704225930768039*b52 =L= 0.00704225930768039;
e115.. (-1 + sqr(6.8673656213906 - x302/(0.0001 + 0.9999*b53)) + sqr(
8.47463209326542 - x303/(0.0001 + 0.9999*b53)) + sqr(0.494039939513553
- x304/(0.0001 + 0.9999*b53)))*(0.0001 + 0.9999*b53) +
0.0118224175155896*b53 =L= 0.0118224175155896;
e116.. (-1 + sqr(2.07334522686175 - x305/(0.0001 + 0.9999*b54)) + sqr(
0.611759422337085 - x306/(0.0001 + 0.9999*b54)) + sqr(7.49872182399417
- x307/(0.0001 + 0.9999*b54)))*(0.0001 + 0.9999*b54) +
0.00599038390142151*b54 =L= 0.00599038390142151;
e117.. (-1 + sqr(5.58287553353321 - x308/(0.0001 + 0.9999*b55)) + sqr(
7.41023187669618 - x309/(0.0001 + 0.9999*b55)) + sqr(5.78186220125907 -
x310/(0.0001 + 0.9999*b55)))*(0.0001 + 0.9999*b55) + 0.0118509966203676*
b55 =L= 0.0118509966203676;
e118.. (-1 + sqr(3.75663662491927 - x311/(0.0001 + 0.9999*b56)) + sqr(
2.16100057183036 - x312/(0.0001 + 0.9999*b56)) + sqr(9.4954261517135 -
x313/(0.0001 + 0.9999*b56)))*(0.0001 + 0.9999*b56) + 0.0107945360005781*
b56 =L= 0.0107945360005781;
e119.. (-1 + sqr(4.04360404243071 - x314/(0.0001 + 0.9999*b57)) + sqr(
7.5903513366217 - x315/(0.0001 + 0.9999*b57)) + sqr(3.71685851137678 -
x316/(0.0001 + 0.9999*b57)))*(0.0001 + 0.9999*b57) + 0.00867792042589109
*b57 =L= 0.00867792042589109;
e120.. (-1 + sqr(1.45072437530262 - x317/(0.0001 + 0.9999*b58)) + sqr(
1.11420059440894 - x318/(0.0001 + 0.9999*b58)) + sqr(9.42819884441584 -
x319/(0.0001 + 0.9999*b58)))*(0.0001 + 0.9999*b58) + 0.00912369776275226
*b58 =L= 0.00912369776275226;
e121.. (-1 + sqr(8.44626629441698 - x320/(0.0001 + 0.9999*b59)) + sqr(
8.81210793727421 - x321/(0.0001 + 0.9999*b59)) + sqr(9.26767041565757 -
x322/(0.0001 + 0.9999*b59)))*(0.0001 + 0.9999*b59) + 0.023388237554763*
b59 =L= 0.023388237554763;
e122.. (-1 + sqr(4.74415255019913 - x323/(0.0001 + 0.9999*b60)) + sqr(
2.8194183128037 - x324/(0.0001 + 0.9999*b60)) + sqr(1.76655535189797 -
x325/(0.0001 + 0.9999*b60)))*(0.0001 + 0.9999*b60) + 0.00325768208534532
*b60 =L= 0.00325768208534532;
e123.. b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52
+ b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 =E= 1;
e124.. (-1 + sqr(0.483311857356823 - x326/(0.0001 + 0.9999*b61)) + sqr(
0.114242198506904 - x327/(0.0001 + 0.9999*b61)) + sqr(7.12048883659032
- x328/(0.0001 + 0.9999*b61)))*(0.0001 + 0.9999*b61) +
0.00499480029033887*b61 =L= 0.00499480029033887;
e125.. (-1 + sqr(5.2590135790233 - x329/(0.0001 + 0.9999*b62)) + sqr(
7.33259189570392 - x330/(0.0001 + 0.9999*b62)) + sqr(5.312333476343 -
x331/(0.0001 + 0.9999*b62)))*(0.0001 + 0.9999*b62) + 0.0108645014697169*
b62 =L= 0.0108645014697169;
e126.. (-1 + sqr(7.41517046461879 - x332/(0.0001 + 0.9999*b63)) + sqr(
9.62332773098117 - x333/(0.0001 + 0.9999*b63)) + sqr(4.79943898486809 -
x334/(0.0001 + 0.9999*b63)))*(0.0001 + 0.9999*b63) + 0.0169627804206698*
b63 =L= 0.0169627804206698;
e127.. (-1 + sqr(6.671843981803 - x335/(0.0001 + 0.9999*b64)) + sqr(
8.10658123259484 - x336/(0.0001 + 0.9999*b64)) + sqr(8.43381689055527 -
x337/(0.0001 + 0.9999*b64)))*(0.0001 + 0.9999*b64) + 0.0180359428741595*
b64 =L= 0.0180359428741595;
e128.. (-1 + sqr(9.05870575338678 - x338/(0.0001 + 0.9999*b65)) + sqr(
8.3311941216586 - x339/(0.0001 + 0.9999*b65)) + sqr(2.43718333261179 -
x340/(0.0001 + 0.9999*b65)))*(0.0001 + 0.9999*b65) + 0.0156408808015962*
b65 =L= 0.0156408808015962;
e129.. (-1 + sqr(2.45247392282192 - x341/(0.0001 + 0.9999*b66)) + sqr(
3.04490781414335 - x342/(0.0001 + 0.9999*b66)) + sqr(3.74797873360784 -
x343/(0.0001 + 0.9999*b66)))*(0.0001 + 0.9999*b66) + 0.00283334365263293
*b66 =L= 0.00283334365263293;
e130.. (-1 + sqr(3.17249885664207 - x344/(0.0001 + 0.9999*b67)) + sqr(
0.899014640298569 - x345/(0.0001 + 0.9999*b67)) + sqr(6.53554769882638
- x346/(0.0001 + 0.9999*b67)))*(0.0001 + 0.9999*b67) +
0.00525863600425012*b67 =L= 0.00525863600425012;
e131.. (-1 + sqr(7.19140474364188 - x347/(0.0001 + 0.9999*b68)) + sqr(
6.78752778006733 - x348/(0.0001 + 0.9999*b68)) + sqr(7.10371917668867 -
x349/(0.0001 + 0.9999*b68)))*(0.0001 + 0.9999*b68) + 0.0147249661693315*
b68 =L= 0.0147249661693315;
e132.. (-1 + sqr(0.581905599074722 - x350/(0.0001 + 0.9999*b69)) + sqr(
8.05664566308502 - x351/(0.0001 + 0.9999*b69)) + sqr(0.465270839540525
- x352/(0.0001 + 0.9999*b69)))*(0.0001 + 0.9999*b69) +
0.0064464630420868*b69 =L= 0.0064464630420868;
e133.. (-1 + sqr(2.89314656575976 - x353/(0.0001 + 0.9999*b70)) + sqr(
2.98350648433744 - x354/(0.0001 + 0.9999*b70)) + sqr(4.94095686412664 -
x355/(0.0001 + 0.9999*b70)))*(0.0001 + 0.9999*b70) + 0.00406846627262112
*b70 =L= 0.00406846627262112;
e134.. (-1 + sqr(2.18223181481477 - x356/(0.0001 + 0.9999*b71)) + sqr(
6.36734447251869 - x357/(0.0001 + 0.9999*b71)) + sqr(6.99053555821422 -
x358/(0.0001 + 0.9999*b71)))*(0.0001 + 0.9999*b71) + 0.00931727987159614
*b71 =L= 0.00931727987159614;
e135.. (-1 + sqr(8.39213303571845 - x359/(0.0001 + 0.9999*b72)) + sqr(
0.0966493493157039 - x360/(0.0001 + 0.9999*b72)) + sqr(0.992650538147096
- x361/(0.0001 + 0.9999*b72)))*(0.0001 + 0.9999*b72) +
0.00704225930768039*b72 =L= 0.00704225930768039;
e136.. (-1 + sqr(6.8673656213906 - x362/(0.0001 + 0.9999*b73)) + sqr(
8.47463209326542 - x363/(0.0001 + 0.9999*b73)) + sqr(0.494039939513553
- x364/(0.0001 + 0.9999*b73)))*(0.0001 + 0.9999*b73) +
0.0118224175155896*b73 =L= 0.0118224175155896;
e137.. (-1 + sqr(2.07334522686175 - x365/(0.0001 + 0.9999*b74)) + sqr(
0.611759422337085 - x366/(0.0001 + 0.9999*b74)) + sqr(7.49872182399417
- x367/(0.0001 + 0.9999*b74)))*(0.0001 + 0.9999*b74) +
0.00599038390142151*b74 =L= 0.00599038390142151;
e138.. (-1 + sqr(5.58287553353321 - x368/(0.0001 + 0.9999*b75)) + sqr(
7.41023187669618 - x369/(0.0001 + 0.9999*b75)) + sqr(5.78186220125907 -
x370/(0.0001 + 0.9999*b75)))*(0.0001 + 0.9999*b75) + 0.0118509966203676*
b75 =L= 0.0118509966203676;
e139.. (-1 + sqr(3.75663662491927 - x371/(0.0001 + 0.9999*b76)) + sqr(
2.16100057183036 - x372/(0.0001 + 0.9999*b76)) + sqr(9.4954261517135 -
x373/(0.0001 + 0.9999*b76)))*(0.0001 + 0.9999*b76) + 0.0107945360005781*
b76 =L= 0.0107945360005781;
e140.. (-1 + sqr(4.04360404243071 - x374/(0.0001 + 0.9999*b77)) + sqr(
7.5903513366217 - x375/(0.0001 + 0.9999*b77)) + sqr(3.71685851137678 -
x376/(0.0001 + 0.9999*b77)))*(0.0001 + 0.9999*b77) + 0.00867792042589109
*b77 =L= 0.00867792042589109;
e141.. (-1 + sqr(1.45072437530262 - x377/(0.0001 + 0.9999*b78)) + sqr(
1.11420059440894 - x378/(0.0001 + 0.9999*b78)) + sqr(9.42819884441584 -
x379/(0.0001 + 0.9999*b78)))*(0.0001 + 0.9999*b78) + 0.00912369776275226
*b78 =L= 0.00912369776275226;
e142.. (-1 + sqr(8.44626629441698 - x380/(0.0001 + 0.9999*b79)) + sqr(
8.81210793727421 - x381/(0.0001 + 0.9999*b79)) + sqr(9.26767041565757 -
x382/(0.0001 + 0.9999*b79)))*(0.0001 + 0.9999*b79) + 0.023388237554763*
b79 =L= 0.023388237554763;
e143.. (-1 + sqr(4.74415255019913 - x383/(0.0001 + 0.9999*b80)) + sqr(
2.8194183128037 - x384/(0.0001 + 0.9999*b80)) + sqr(1.76655535189797 -
x385/(0.0001 + 0.9999*b80)))*(0.0001 + 0.9999*b80) + 0.00325768208534532
*b80 =L= 0.00325768208534532;
e144.. b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72
+ b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 =E= 1;
e145.. (-1 + sqr(0.483311857356823 - x386/(0.0001 + 0.9999*b81)) + sqr(
0.114242198506904 - x387/(0.0001 + 0.9999*b81)) + sqr(7.12048883659032
- x388/(0.0001 + 0.9999*b81)))*(0.0001 + 0.9999*b81) +
0.00499480029033887*b81 =L= 0.00499480029033887;
e146.. (-1 + sqr(5.2590135790233 - x389/(0.0001 + 0.9999*b82)) + sqr(
7.33259189570392 - x390/(0.0001 + 0.9999*b82)) + sqr(5.312333476343 -
x391/(0.0001 + 0.9999*b82)))*(0.0001 + 0.9999*b82) + 0.0108645014697169*
b82 =L= 0.0108645014697169;
e147.. (-1 + sqr(7.41517046461879 - x392/(0.0001 + 0.9999*b83)) + sqr(
9.62332773098117 - x393/(0.0001 + 0.9999*b83)) + sqr(4.79943898486809 -
x394/(0.0001 + 0.9999*b83)))*(0.0001 + 0.9999*b83) + 0.0169627804206698*
b83 =L= 0.0169627804206698;
e148.. (-1 + sqr(6.671843981803 - x395/(0.0001 + 0.9999*b84)) + sqr(
8.10658123259484 - x396/(0.0001 + 0.9999*b84)) + sqr(8.43381689055527 -
x397/(0.0001 + 0.9999*b84)))*(0.0001 + 0.9999*b84) + 0.0180359428741595*
b84 =L= 0.0180359428741595;
e149.. (-1 + sqr(9.05870575338678 - x398/(0.0001 + 0.9999*b85)) + sqr(
8.3311941216586 - x399/(0.0001 + 0.9999*b85)) + sqr(2.43718333261179 -
x400/(0.0001 + 0.9999*b85)))*(0.0001 + 0.9999*b85) + 0.0156408808015962*
b85 =L= 0.0156408808015962;
e150.. (-1 + sqr(2.45247392282192 - x401/(0.0001 + 0.9999*b86)) + sqr(
3.04490781414335 - x402/(0.0001 + 0.9999*b86)) + sqr(3.74797873360784 -
x403/(0.0001 + 0.9999*b86)))*(0.0001 + 0.9999*b86) + 0.00283334365263293
*b86 =L= 0.00283334365263293;
e151.. (-1 + sqr(3.17249885664207 - x404/(0.0001 + 0.9999*b87)) + sqr(
0.899014640298569 - x405/(0.0001 + 0.9999*b87)) + sqr(6.53554769882638
- x406/(0.0001 + 0.9999*b87)))*(0.0001 + 0.9999*b87) +
0.00525863600425012*b87 =L= 0.00525863600425012;
e152.. (-1 + sqr(7.19140474364188 - x407/(0.0001 + 0.9999*b88)) + sqr(
6.78752778006733 - x408/(0.0001 + 0.9999*b88)) + sqr(7.10371917668867 -
x409/(0.0001 + 0.9999*b88)))*(0.0001 + 0.9999*b88) + 0.0147249661693315*
b88 =L= 0.0147249661693315;
e153.. (-1 + sqr(0.581905599074722 - x410/(0.0001 + 0.9999*b89)) + sqr(
8.05664566308502 - x411/(0.0001 + 0.9999*b89)) + sqr(0.465270839540525
- x412/(0.0001 + 0.9999*b89)))*(0.0001 + 0.9999*b89) +
0.0064464630420868*b89 =L= 0.0064464630420868;
e154.. (-1 + sqr(2.89314656575976 - x413/(0.0001 + 0.9999*b90)) + sqr(
2.98350648433744 - x414/(0.0001 + 0.9999*b90)) + sqr(4.94095686412664 -
x415/(0.0001 + 0.9999*b90)))*(0.0001 + 0.9999*b90) + 0.00406846627262112
*b90 =L= 0.00406846627262112;
e155.. (-1 + sqr(2.18223181481477 - x416/(0.0001 + 0.9999*b91)) + sqr(
6.36734447251869 - x417/(0.0001 + 0.9999*b91)) + sqr(6.99053555821422 -
x418/(0.0001 + 0.9999*b91)))*(0.0001 + 0.9999*b91) + 0.00931727987159614
*b91 =L= 0.00931727987159614;
e156.. (-1 + sqr(8.39213303571845 - x419/(0.0001 + 0.9999*b92)) + sqr(
0.0966493493157039 - x420/(0.0001 + 0.9999*b92)) + sqr(0.992650538147096
- x421/(0.0001 + 0.9999*b92)))*(0.0001 + 0.9999*b92) +
0.00704225930768039*b92 =L= 0.00704225930768039;
e157.. (-1 + sqr(6.8673656213906 - x422/(0.0001 + 0.9999*b93)) + sqr(
8.47463209326542 - x423/(0.0001 + 0.9999*b93)) + sqr(0.494039939513553
- x424/(0.0001 + 0.9999*b93)))*(0.0001 + 0.9999*b93) +
0.0118224175155896*b93 =L= 0.0118224175155896;
e158.. (-1 + sqr(2.07334522686175 - x425/(0.0001 + 0.9999*b94)) + sqr(
0.611759422337085 - x426/(0.0001 + 0.9999*b94)) + sqr(7.49872182399417
- x427/(0.0001 + 0.9999*b94)))*(0.0001 + 0.9999*b94) +
0.00599038390142151*b94 =L= 0.00599038390142151;
e159.. (-1 + sqr(5.58287553353321 - x428/(0.0001 + 0.9999*b95)) + sqr(
7.41023187669618 - x429/(0.0001 + 0.9999*b95)) + sqr(5.78186220125907 -
x430/(0.0001 + 0.9999*b95)))*(0.0001 + 0.9999*b95) + 0.0118509966203676*
b95 =L= 0.0118509966203676;
e160.. (-1 + sqr(3.75663662491927 - x431/(0.0001 + 0.9999*b96)) + sqr(
2.16100057183036 - x432/(0.0001 + 0.9999*b96)) + sqr(9.4954261517135 -
x433/(0.0001 + 0.9999*b96)))*(0.0001 + 0.9999*b96) + 0.0107945360005781*
b96 =L= 0.0107945360005781;
e161.. (-1 + sqr(4.04360404243071 - x434/(0.0001 + 0.9999*b97)) + sqr(
7.5903513366217 - x435/(0.0001 + 0.9999*b97)) + sqr(3.71685851137678 -
x436/(0.0001 + 0.9999*b97)))*(0.0001 + 0.9999*b97) + 0.00867792042589109
*b97 =L= 0.00867792042589109;
e162.. (-1 + sqr(1.45072437530262 - x437/(0.0001 + 0.9999*b98)) + sqr(
1.11420059440894 - x438/(0.0001 + 0.9999*b98)) + sqr(9.42819884441584 -
x439/(0.0001 + 0.9999*b98)))*(0.0001 + 0.9999*b98) + 0.00912369776275226
*b98 =L= 0.00912369776275226;
e163.. (-1 + sqr(8.44626629441698 - x440/(0.0001 + 0.9999*b99)) + sqr(
8.81210793727421 - x441/(0.0001 + 0.9999*b99)) + sqr(9.26767041565757 -
x442/(0.0001 + 0.9999*b99)))*(0.0001 + 0.9999*b99) + 0.023388237554763*
b99 =L= 0.023388237554763;
e164.. (-1 + sqr(4.74415255019913 - x443/(0.0001 + 0.9999*b100)) + sqr(
2.8194183128037 - x444/(0.0001 + 0.9999*b100)) + sqr(1.76655535189797 -
x445/(0.0001 + 0.9999*b100)))*(0.0001 + 0.9999*b100) +
0.00325768208534532*b100 =L= 0.00325768208534532;
e165.. b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92
+ b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 =E= 1;
e166.. b1 + b21 + b41 + b61 + b81 =L= 1;
e167.. b2 + b22 + b42 + b62 + b82 =L= 1;
e168.. b3 + b23 + b43 + b63 + b83 =L= 1;
e169.. b4 + b24 + b44 + b64 + b84 =L= 1;
e170.. b5 + b25 + b45 + b65 + b85 =L= 1;
e171.. b6 + b26 + b46 + b66 + b86 =L= 1;
e172.. b7 + b27 + b47 + b67 + b87 =L= 1;
e173.. b8 + b28 + b48 + b68 + b88 =L= 1;
e174.. b9 + b29 + b49 + b69 + b89 =L= 1;
e175.. b10 + b30 + b50 + b70 + b90 =L= 1;
e176.. b11 + b31 + b51 + b71 + b91 =L= 1;
e177.. b12 + b32 + b52 + b72 + b92 =L= 1;
e178.. b13 + b33 + b53 + b73 + b93 =L= 1;
e179.. b14 + b34 + b54 + b74 + b94 =L= 1;
e180.. b15 + b35 + b55 + b75 + b95 =L= 1;
e181.. b16 + b36 + b56 + b76 + b96 =L= 1;
e182.. b17 + b37 + b57 + b77 + b97 =L= 1;
e183.. b18 + b38 + b58 + b78 + b98 =L= 1;
e184.. b19 + b39 + b59 + b79 + b99 =L= 1;
e185.. b20 + b40 + b60 + b80 + b100 =L= 1;
e186.. - x101 + x146 + x149 + x152 + x155 + x158 + x161 + x164 + x167 + x170
+ x173 + x176 + x179 + x182 + x185 + x188 + x191 + x194 + x197 + x200
+ x203 =E= 0;
e187.. - x104 + x147 + x150 + x153 + x156 + x159 + x162 + x165 + x168 + x171
+ x174 + x177 + x180 + x183 + x186 + x189 + x192 + x195 + x198 + x201
+ x204 =E= 0;
e188.. - x107 + x148 + x151 + x154 + x157 + x160 + x163 + x166 + x169 + x172
+ x175 + x178 + x181 + x184 + x187 + x190 + x193 + x196 + x199 + x202
+ x205 =E= 0;
e189.. - x102 + x206 + x209 + x212 + x215 + x218 + x221 + x224 + x227 + x230
+ x233 + x236 + x239 + x242 + x245 + x248 + x251 + x254 + x257 + x260
+ x263 =E= 0;
e190.. - x105 + x207 + x210 + x213 + x216 + x219 + x222 + x225 + x228 + x231
+ x234 + x237 + x240 + x243 + x246 + x249 + x252 + x255 + x258 + x261
+ x264 =E= 0;
e191.. - x108 + x208 + x211 + x214 + x217 + x220 + x223 + x226 + x229 + x232
+ x235 + x238 + x241 + x244 + x247 + x250 + x253 + x256 + x259 + x262
+ x265 =E= 0;
e192.. - x110 + x266 + x269 + x272 + x275 + x278 + x281 + x284 + x287 + x290
+ x293 + x296 + x299 + x302 + x305 + x308 + x311 + x314 + x317 + x320
+ x323 =E= 0;
e193.. - x112 + x267 + x270 + x273 + x276 + x279 + x282 + x285 + x288 + x291
+ x294 + x297 + x300 + x303 + x306 + x309 + x312 + x315 + x318 + x321
+ x324 =E= 0;
e194.. - x114 + x268 + x271 + x274 + x277 + x280 + x283 + x286 + x289 + x292
+ x295 + x298 + x301 + x304 + x307 + x310 + x313 + x316 + x319 + x322
+ x325 =E= 0;
e195.. - x116 + x326 + x329 + x332 + x335 + x338 + x341 + x344 + x347 + x350
+ x353 + x356 + x359 + x362 + x365 + x368 + x371 + x374 + x377 + x380
+ x383 =E= 0;
e196.. - x118 + x327 + x330 + x333 + x336 + x339 + x342 + x345 + x348 + x351
+ x354 + x357 + x360 + x363 + x366 + x369 + x372 + x375 + x378 + x381
+ x384 =E= 0;
e197.. - x120 + x328 + x331 + x334 + x337 + x340 + x343 + x346 + x349 + x352
+ x355 + x358 + x361 + x364 + x367 + x370 + x373 + x376 + x379 + x382
+ x385 =E= 0;
e198.. - x122 + x386 + x389 + x392 + x395 + x398 + x401 + x404 + x407 + x410
+ x413 + x416 + x419 + x422 + x425 + x428 + x431 + x434 + x437 + x440
+ x443 =E= 0;
e199.. - x124 + x387 + x390 + x393 + x396 + x399 + x402 + x405 + x408 + x411
+ x414 + x417 + x420 + x423 + x426 + x429 + x432 + x435 + x438 + x441
+ x444 =E= 0;
e200.. - x126 + x388 + x391 + x394 + x397 + x400 + x403 + x406 + x409 + x412
+ x415 + x418 + x421 + x424 + x427 + x430 + x433 + x436 + x439 + x442
+ x445 =E= 0;
e201.. - 10*b1 + x146 =L= 0;
e202.. - 10*b2 + x149 =L= 0;
e203.. - 10*b3 + x152 =L= 0;
e204.. - 10*b4 + x155 =L= 0;
e205.. - 10*b5 + x158 =L= 0;
e206.. - 10*b6 + x161 =L= 0;
e207.. - 10*b7 + x164 =L= 0;
e208.. - 10*b8 + x167 =L= 0;
e209.. - 10*b9 + x170 =L= 0;
e210.. - 10*b10 + x173 =L= 0;
e211.. - 10*b11 + x176 =L= 0;
e212.. - 10*b12 + x179 =L= 0;
e213.. - 10*b13 + x182 =L= 0;
e214.. - 10*b14 + x185 =L= 0;
e215.. - 10*b15 + x188 =L= 0;
e216.. - 10*b16 + x191 =L= 0;
e217.. - 10*b17 + x194 =L= 0;
e218.. - 10*b18 + x197 =L= 0;
e219.. - 10*b19 + x200 =L= 0;
e220.. - 10*b20 + x203 =L= 0;
e221.. - 10*b1 + x147 =L= 0;
e222.. - 10*b2 + x150 =L= 0;
e223.. - 10*b3 + x153 =L= 0;
e224.. - 10*b4 + x156 =L= 0;
e225.. - 10*b5 + x159 =L= 0;
e226.. - 10*b6 + x162 =L= 0;
e227.. - 10*b7 + x165 =L= 0;
e228.. - 10*b8 + x168 =L= 0;
e229.. - 10*b9 + x171 =L= 0;
e230.. - 10*b10 + x174 =L= 0;
e231.. - 10*b11 + x177 =L= 0;
e232.. - 10*b12 + x180 =L= 0;
e233.. - 10*b13 + x183 =L= 0;
e234.. - 10*b14 + x186 =L= 0;
e235.. - 10*b15 + x189 =L= 0;
e236.. - 10*b16 + x192 =L= 0;
e237.. - 10*b17 + x195 =L= 0;
e238.. - 10*b18 + x198 =L= 0;
e239.. - 10*b19 + x201 =L= 0;
e240.. - 10*b20 + x204 =L= 0;
e241.. - 10*b1 + x148 =L= 0;
e242.. - 10*b2 + x151 =L= 0;
e243.. - 10*b3 + x154 =L= 0;
e244.. - 10*b4 + x157 =L= 0;
e245.. - 10*b5 + x160 =L= 0;
e246.. - 10*b6 + x163 =L= 0;
e247.. - 10*b7 + x166 =L= 0;
e248.. - 10*b8 + x169 =L= 0;
e249.. - 10*b9 + x172 =L= 0;
e250.. - 10*b10 + x175 =L= 0;
e251.. - 10*b11 + x178 =L= 0;
e252.. - 10*b12 + x181 =L= 0;
e253.. - 10*b13 + x184 =L= 0;
e254.. - 10*b14 + x187 =L= 0;
e255.. - 10*b15 + x190 =L= 0;
e256.. - 10*b16 + x193 =L= 0;
e257.. - 10*b17 + x196 =L= 0;
e258.. - 10*b18 + x199 =L= 0;
e259.. - 10*b19 + x202 =L= 0;
e260.. - 10*b20 + x205 =L= 0;
e261.. - 10*b21 + x206 =L= 0;
e262.. - 10*b22 + x209 =L= 0;
e263.. - 10*b23 + x212 =L= 0;
e264.. - 10*b24 + x215 =L= 0;
e265.. - 10*b25 + x218 =L= 0;
e266.. - 10*b26 + x221 =L= 0;
e267.. - 10*b27 + x224 =L= 0;
e268.. - 10*b28 + x227 =L= 0;
e269.. - 10*b29 + x230 =L= 0;
e270.. - 10*b30 + x233 =L= 0;
e271.. - 10*b31 + x236 =L= 0;
e272.. - 10*b32 + x239 =L= 0;
e273.. - 10*b33 + x242 =L= 0;
e274.. - 10*b34 + x245 =L= 0;
e275.. - 10*b35 + x248 =L= 0;
e276.. - 10*b36 + x251 =L= 0;
e277.. - 10*b37 + x254 =L= 0;
e278.. - 10*b38 + x257 =L= 0;
e279.. - 10*b39 + x260 =L= 0;
e280.. - 10*b40 + x263 =L= 0;
e281.. - 10*b21 + x207 =L= 0;
e282.. - 10*b22 + x210 =L= 0;
e283.. - 10*b23 + x213 =L= 0;
e284.. - 10*b24 + x216 =L= 0;
e285.. - 10*b25 + x219 =L= 0;
e286.. - 10*b26 + x222 =L= 0;
e287.. - 10*b27 + x225 =L= 0;
e288.. - 10*b28 + x228 =L= 0;
e289.. - 10*b29 + x231 =L= 0;
e290.. - 10*b30 + x234 =L= 0;
e291.. - 10*b31 + x237 =L= 0;
e292.. - 10*b32 + x240 =L= 0;
e293.. - 10*b33 + x243 =L= 0;
e294.. - 10*b34 + x246 =L= 0;
e295.. - 10*b35 + x249 =L= 0;
e296.. - 10*b36 + x252 =L= 0;
e297.. - 10*b37 + x255 =L= 0;
e298.. - 10*b38 + x258 =L= 0;
e299.. - 10*b39 + x261 =L= 0;
e300.. - 10*b40 + x264 =L= 0;
e301.. - 10*b21 + x208 =L= 0;
e302.. - 10*b22 + x211 =L= 0;
e303.. - 10*b23 + x214 =L= 0;
e304.. - 10*b24 + x217 =L= 0;
e305.. - 10*b25 + x220 =L= 0;
e306.. - 10*b26 + x223 =L= 0;
e307.. - 10*b27 + x226 =L= 0;
e308.. - 10*b28 + x229 =L= 0;
e309.. - 10*b29 + x232 =L= 0;
e310.. - 10*b30 + x235 =L= 0;
e311.. - 10*b31 + x238 =L= 0;
e312.. - 10*b32 + x241 =L= 0;
e313.. - 10*b33 + x244 =L= 0;
e314.. - 10*b34 + x247 =L= 0;
e315.. - 10*b35 + x250 =L= 0;
e316.. - 10*b36 + x253 =L= 0;
e317.. - 10*b37 + x256 =L= 0;
e318.. - 10*b38 + x259 =L= 0;
e319.. - 10*b39 + x262 =L= 0;
e320.. - 10*b40 + x265 =L= 0;
e321.. - 10*b41 + x266 =L= 0;
e322.. - 10*b42 + x269 =L= 0;
e323.. - 10*b43 + x272 =L= 0;
e324.. - 10*b44 + x275 =L= 0;
e325.. - 10*b45 + x278 =L= 0;
e326.. - 10*b46 + x281 =L= 0;
e327.. - 10*b47 + x284 =L= 0;
e328.. - 10*b48 + x287 =L= 0;
e329.. - 10*b49 + x290 =L= 0;
e330.. - 10*b50 + x293 =L= 0;
e331.. - 10*b51 + x296 =L= 0;
e332.. - 10*b52 + x299 =L= 0;
e333.. - 10*b53 + x302 =L= 0;
e334.. - 10*b54 + x305 =L= 0;
e335.. - 10*b55 + x308 =L= 0;
e336.. - 10*b56 + x311 =L= 0;
e337.. - 10*b57 + x314 =L= 0;
e338.. - 10*b58 + x317 =L= 0;
e339.. - 10*b59 + x320 =L= 0;
e340.. - 10*b60 + x323 =L= 0;
e341.. - 10*b41 + x267 =L= 0;
e342.. - 10*b42 + x270 =L= 0;
e343.. - 10*b43 + x273 =L= 0;
e344.. - 10*b44 + x276 =L= 0;
e345.. - 10*b45 + x279 =L= 0;
e346.. - 10*b46 + x282 =L= 0;
e347.. - 10*b47 + x285 =L= 0;
e348.. - 10*b48 + x288 =L= 0;
e349.. - 10*b49 + x291 =L= 0;
e350.. - 10*b50 + x294 =L= 0;
e351.. - 10*b51 + x297 =L= 0;
e352.. - 10*b52 + x300 =L= 0;
e353.. - 10*b53 + x303 =L= 0;
e354.. - 10*b54 + x306 =L= 0;
e355.. - 10*b55 + x309 =L= 0;
e356.. - 10*b56 + x312 =L= 0;
e357.. - 10*b57 + x315 =L= 0;
e358.. - 10*b58 + x318 =L= 0;
e359.. - 10*b59 + x321 =L= 0;
e360.. - 10*b60 + x324 =L= 0;
e361.. - 10*b41 + x268 =L= 0;
e362.. - 10*b42 + x271 =L= 0;
e363.. - 10*b43 + x274 =L= 0;
e364.. - 10*b44 + x277 =L= 0;
e365.. - 10*b45 + x280 =L= 0;
e366.. - 10*b46 + x283 =L= 0;
e367.. - 10*b47 + x286 =L= 0;
e368.. - 10*b48 + x289 =L= 0;
e369.. - 10*b49 + x292 =L= 0;
e370.. - 10*b50 + x295 =L= 0;
e371.. - 10*b51 + x298 =L= 0;
e372.. - 10*b52 + x301 =L= 0;
e373.. - 10*b53 + x304 =L= 0;
e374.. - 10*b54 + x307 =L= 0;
e375.. - 10*b55 + x310 =L= 0;
e376.. - 10*b56 + x313 =L= 0;
e377.. - 10*b57 + x316 =L= 0;
e378.. - 10*b58 + x319 =L= 0;
e379.. - 10*b59 + x322 =L= 0;
e380.. - 10*b60 + x325 =L= 0;
e381.. - 10*b61 + x326 =L= 0;
e382.. - 10*b62 + x329 =L= 0;
e383.. - 10*b63 + x332 =L= 0;
e384.. - 10*b64 + x335 =L= 0;
e385.. - 10*b65 + x338 =L= 0;
e386.. - 10*b66 + x341 =L= 0;
e387.. - 10*b67 + x344 =L= 0;
e388.. - 10*b68 + x347 =L= 0;
e389.. - 10*b69 + x350 =L= 0;
e390.. - 10*b70 + x353 =L= 0;
e391.. - 10*b71 + x356 =L= 0;
e392.. - 10*b72 + x359 =L= 0;
e393.. - 10*b73 + x362 =L= 0;
e394.. - 10*b74 + x365 =L= 0;
e395.. - 10*b75 + x368 =L= 0;
e396.. - 10*b76 + x371 =L= 0;
e397.. - 10*b77 + x374 =L= 0;
e398.. - 10*b78 + x377 =L= 0;
e399.. - 10*b79 + x380 =L= 0;
e400.. - 10*b80 + x383 =L= 0;
e401.. - 10*b61 + x327 =L= 0;
e402.. - 10*b62 + x330 =L= 0;
e403.. - 10*b63 + x333 =L= 0;
e404.. - 10*b64 + x336 =L= 0;
e405.. - 10*b65 + x339 =L= 0;
e406.. - 10*b66 + x342 =L= 0;
e407.. - 10*b67 + x345 =L= 0;
e408.. - 10*b68 + x348 =L= 0;
e409.. - 10*b69 + x351 =L= 0;
e410.. - 10*b70 + x354 =L= 0;
e411.. - 10*b71 + x357 =L= 0;
e412.. - 10*b72 + x360 =L= 0;
e413.. - 10*b73 + x363 =L= 0;
e414.. - 10*b74 + x366 =L= 0;
e415.. - 10*b75 + x369 =L= 0;
e416.. - 10*b76 + x372 =L= 0;
e417.. - 10*b77 + x375 =L= 0;
e418.. - 10*b78 + x378 =L= 0;
e419.. - 10*b79 + x381 =L= 0;
e420.. - 10*b80 + x384 =L= 0;
e421.. - 10*b61 + x328 =L= 0;
e422.. - 10*b62 + x331 =L= 0;
e423.. - 10*b63 + x334 =L= 0;
e424.. - 10*b64 + x337 =L= 0;
e425.. - 10*b65 + x340 =L= 0;
e426.. - 10*b66 + x343 =L= 0;
e427.. - 10*b67 + x346 =L= 0;
e428.. - 10*b68 + x349 =L= 0;
e429.. - 10*b69 + x352 =L= 0;
e430.. - 10*b70 + x355 =L= 0;
e431.. - 10*b71 + x358 =L= 0;
e432.. - 10*b72 + x361 =L= 0;
e433.. - 10*b73 + x364 =L= 0;
e434.. - 10*b74 + x367 =L= 0;
e435.. - 10*b75 + x370 =L= 0;
e436.. - 10*b76 + x373 =L= 0;
e437.. - 10*b77 + x376 =L= 0;
e438.. - 10*b78 + x379 =L= 0;
e439.. - 10*b79 + x382 =L= 0;
e440.. - 10*b80 + x385 =L= 0;
e441.. - 10*b81 + x386 =L= 0;
e442.. - 10*b82 + x389 =L= 0;
e443.. - 10*b83 + x392 =L= 0;
e444.. - 10*b84 + x395 =L= 0;
e445.. - 10*b85 + x398 =L= 0;
e446.. - 10*b86 + x401 =L= 0;
e447.. - 10*b87 + x404 =L= 0;
e448.. - 10*b88 + x407 =L= 0;
e449.. - 10*b89 + x410 =L= 0;
e450.. - 10*b90 + x413 =L= 0;
e451.. - 10*b91 + x416 =L= 0;
e452.. - 10*b92 + x419 =L= 0;
e453.. - 10*b93 + x422 =L= 0;
e454.. - 10*b94 + x425 =L= 0;
e455.. - 10*b95 + x428 =L= 0;
e456.. - 10*b96 + x431 =L= 0;
e457.. - 10*b97 + x434 =L= 0;
e458.. - 10*b98 + x437 =L= 0;
e459.. - 10*b99 + x440 =L= 0;
e460.. - 10*b100 + x443 =L= 0;
e461.. - 10*b81 + x387 =L= 0;
e462.. - 10*b82 + x390 =L= 0;
e463.. - 10*b83 + x393 =L= 0;
e464.. - 10*b84 + x396 =L= 0;
e465.. - 10*b85 + x399 =L= 0;
e466.. - 10*b86 + x402 =L= 0;
e467.. - 10*b87 + x405 =L= 0;
e468.. - 10*b88 + x408 =L= 0;
e469.. - 10*b89 + x411 =L= 0;
e470.. - 10*b90 + x414 =L= 0;
e471.. - 10*b91 + x417 =L= 0;
e472.. - 10*b92 + x420 =L= 0;
e473.. - 10*b93 + x423 =L= 0;
e474.. - 10*b94 + x426 =L= 0;
e475.. - 10*b95 + x429 =L= 0;
e476.. - 10*b96 + x432 =L= 0;
e477.. - 10*b97 + x435 =L= 0;
e478.. - 10*b98 + x438 =L= 0;
e479.. - 10*b99 + x441 =L= 0;
e480.. - 10*b100 + x444 =L= 0;
e481.. - 10*b81 + x388 =L= 0;
e482.. - 10*b82 + x391 =L= 0;
e483.. - 10*b83 + x394 =L= 0;
e484.. - 10*b84 + x397 =L= 0;
e485.. - 10*b85 + x400 =L= 0;
e486.. - 10*b86 + x403 =L= 0;
e487.. - 10*b87 + x406 =L= 0;
e488.. - 10*b88 + x409 =L= 0;
e489.. - 10*b89 + x412 =L= 0;
e490.. - 10*b90 + x415 =L= 0;
e491.. - 10*b91 + x418 =L= 0;
e492.. - 10*b92 + x421 =L= 0;
e493.. - 10*b93 + x424 =L= 0;
e494.. - 10*b94 + x427 =L= 0;
e495.. - 10*b95 + x430 =L= 0;
e496.. - 10*b96 + x433 =L= 0;
e497.. - 10*b97 + x436 =L= 0;
e498.. - 10*b98 + x439 =L= 0;
e499.. - 10*b99 + x442 =L= 0;
e500.. - 10*b100 + x445 =L= 0;
e501.. x101 - x102 =L= 0;
e502.. x102 - x110 =L= 0;
e503.. x110 - x116 =L= 0;
e504.. x116 - x122 =L= 0;
e505.. - x103 - x106 - x109 - x111 - x113 - x115 - x117 - x119 - x121 - x123
- x125 - x127 - x128 - x129 - x130 - x131 - x132 - x133 - x134 - x135
- x136 - x137 - x138 - x139 - x140 - x141 - x142 - x143 - x144 - x145
+ objvar =E= 0;
* set non-default bounds
x101.up = 10;
x102.up = 10;
x103.up = 10;
x104.up = 10;
x105.up = 10;
x106.up = 10;
x107.up = 10;
x108.up = 10;
x109.up = 10;
x110.up = 10;
x111.up = 10;
x112.up = 10;
x113.up = 10;
x114.up = 10;
x115.up = 10;
x116.up = 10;
x117.up = 10;
x118.up = 10;
x119.up = 10;
x120.up = 10;
x121.up = 10;
x122.up = 10;
x123.up = 10;
x124.up = 10;
x125.up = 10;
x126.up = 10;
x127.up = 10;
x128.up = 10;
x129.up = 10;
x130.up = 10;
x131.up = 10;
x132.up = 10;
x133.up = 10;
x134.up = 10;
x135.up = 10;
x136.up = 10;
x137.up = 10;
x138.up = 10;
x139.up = 10;
x140.up = 10;
x141.up = 10;
x142.up = 10;
x143.up = 10;
x144.up = 10;
x145.up = 10;
x146.up = 10;
x147.up = 10;
x148.up = 10;
x149.up = 10;
x150.up = 10;
x151.up = 10;
x152.up = 10;
x153.up = 10;
x154.up = 10;
x155.up = 10;
x156.up = 10;
x157.up = 10;
x158.up = 10;
x159.up = 10;
x160.up = 10;
x161.up = 10;
x162.up = 10;
x163.up = 10;
x164.up = 10;
x165.up = 10;
x166.up = 10;
x167.up = 10;
x168.up = 10;
x169.up = 10;
x170.up = 10;
x171.up = 10;
x172.up = 10;
x173.up = 10;
x174.up = 10;
x175.up = 10;
x176.up = 10;
x177.up = 10;
x178.up = 10;
x179.up = 10;
x180.up = 10;
x181.up = 10;
x182.up = 10;
x183.up = 10;
x184.up = 10;
x185.up = 10;
x186.up = 10;
x187.up = 10;
x188.up = 10;
x189.up = 10;
x190.up = 10;
x191.up = 10;
x192.up = 10;
x193.up = 10;
x194.up = 10;
x195.up = 10;
x196.up = 10;
x197.up = 10;
x198.up = 10;
x199.up = 10;
x200.up = 10;
x201.up = 10;
x202.up = 10;
x203.up = 10;
x204.up = 10;
x205.up = 10;
x206.up = 10;
x207.up = 10;
x208.up = 10;
x209.up = 10;
x210.up = 10;
x211.up = 10;
x212.up = 10;
x213.up = 10;
x214.up = 10;
x215.up = 10;
x216.up = 10;
x217.up = 10;
x218.up = 10;
x219.up = 10;
x220.up = 10;
x221.up = 10;
x222.up = 10;
x223.up = 10;
x224.up = 10;
x225.up = 10;
x226.up = 10;
x227.up = 10;
x228.up = 10;
x229.up = 10;
x230.up = 10;
x231.up = 10;
x232.up = 10;
x233.up = 10;
x234.up = 10;
x235.up = 10;
x236.up = 10;
x237.up = 10;
x238.up = 10;
x239.up = 10;
x240.up = 10;
x241.up = 10;
x242.up = 10;
x243.up = 10;
x244.up = 10;
x245.up = 10;
x246.up = 10;
x247.up = 10;
x248.up = 10;
x249.up = 10;
x250.up = 10;
x251.up = 10;
x252.up = 10;
x253.up = 10;
x254.up = 10;
x255.up = 10;
x256.up = 10;
x257.up = 10;
x258.up = 10;
x259.up = 10;
x260.up = 10;
x261.up = 10;
x262.up = 10;
x263.up = 10;
x264.up = 10;
x265.up = 10;
x266.up = 10;
x267.up = 10;
x268.up = 10;
x269.up = 10;
x270.up = 10;
x271.up = 10;
x272.up = 10;
x273.up = 10;
x274.up = 10;
x275.up = 10;
x276.up = 10;
x277.up = 10;
x278.up = 10;
x279.up = 10;
x280.up = 10;
x281.up = 10;
x282.up = 10;
x283.up = 10;
x284.up = 10;
x285.up = 10;
x286.up = 10;
x287.up = 10;
x288.up = 10;
x289.up = 10;
x290.up = 10;
x291.up = 10;
x292.up = 10;
x293.up = 10;
x294.up = 10;
x295.up = 10;
x296.up = 10;
x297.up = 10;
x298.up = 10;
x299.up = 10;
x300.up = 10;
x301.up = 10;
x302.up = 10;
x303.up = 10;
x304.up = 10;
x305.up = 10;
x306.up = 10;
x307.up = 10;
x308.up = 10;
x309.up = 10;
x310.up = 10;
x311.up = 10;
x312.up = 10;
x313.up = 10;
x314.up = 10;
x315.up = 10;
x316.up = 10;
x317.up = 10;
x318.up = 10;
x319.up = 10;
x320.up = 10;
x321.up = 10;
x322.up = 10;
x323.up = 10;
x324.up = 10;
x325.up = 10;
x326.up = 10;
x327.up = 10;
x328.up = 10;
x329.up = 10;
x330.up = 10;
x331.up = 10;
x332.up = 10;
x333.up = 10;
x334.up = 10;
x335.up = 10;
x336.up = 10;
x337.up = 10;
x338.up = 10;
x339.up = 10;
x340.up = 10;
x341.up = 10;
x342.up = 10;
x343.up = 10;
x344.up = 10;
x345.up = 10;
x346.up = 10;
x347.up = 10;
x348.up = 10;
x349.up = 10;
x350.up = 10;
x351.up = 10;
x352.up = 10;
x353.up = 10;
x354.up = 10;
x355.up = 10;
x356.up = 10;
x357.up = 10;
x358.up = 10;
x359.up = 10;
x360.up = 10;
x361.up = 10;
x362.up = 10;
x363.up = 10;
x364.up = 10;
x365.up = 10;
x366.up = 10;
x367.up = 10;
x368.up = 10;
x369.up = 10;
x370.up = 10;
x371.up = 10;
x372.up = 10;
x373.up = 10;
x374.up = 10;
x375.up = 10;
x376.up = 10;
x377.up = 10;
x378.up = 10;
x379.up = 10;
x380.up = 10;
x381.up = 10;
x382.up = 10;
x383.up = 10;
x384.up = 10;
x385.up = 10;
x386.up = 10;
x387.up = 10;
x388.up = 10;
x389.up = 10;
x390.up = 10;
x391.up = 10;
x392.up = 10;
x393.up = 10;
x394.up = 10;
x395.up = 10;
x396.up = 10;
x397.up = 10;
x398.up = 10;
x399.up = 10;
x400.up = 10;
x401.up = 10;
x402.up = 10;
x403.up = 10;
x404.up = 10;
x405.up = 10;
x406.up = 10;
x407.up = 10;
x408.up = 10;
x409.up = 10;
x410.up = 10;
x411.up = 10;
x412.up = 10;
x413.up = 10;
x414.up = 10;
x415.up = 10;
x416.up = 10;
x417.up = 10;
x418.up = 10;
x419.up = 10;
x420.up = 10;
x421.up = 10;
x422.up = 10;
x423.up = 10;
x424.up = 10;
x425.up = 10;
x426.up = 10;
x427.up = 10;
x428.up = 10;
x429.up = 10;
x430.up = 10;
x431.up = 10;
x432.up = 10;
x433.up = 10;
x434.up = 10;
x435.up = 10;
x436.up = 10;
x437.up = 10;
x438.up = 10;
x439.up = 10;
x440.up = 10;
x441.up = 10;
x442.up = 10;
x443.up = 10;
x444.up = 10;
x445.up = 10;
Model m / all /;
m.limrow=0; m.limcol=0;
m.tolproj=0.0;
$if NOT '%gams.u1%' == '' $include '%gams.u1%'
$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;
Last updated: 2025-08-07 Git hash: e62cedfc

