MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
Instance p_ball_30b_10p_2d_h
Select 10-points in 2-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 30 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) 0.00000000 (ANTIGONE) 0.00000000 (BARON) -0.00000001 (BONMIN) 0.00000000 (COUENNE) 0.00000000 (LINDO) 0.00000000 (SCIP) 0.00000000 (SHOT) |
| Referencesⓘ | Kronqvist, Jan and Misener, Ruth, A disjunctive cut strengthening technique for convex MINLP, Tech. Rep., 2020. |
| Sourceⓘ | p_ball_30b_10p_2d_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ⓘ | 1010 |
| #Binary Variablesⓘ | 300 |
| #Integer Variablesⓘ | 0 |
| #Nonlinear Variablesⓘ | 900 |
| #Nonlinear Binary Variablesⓘ | 300 |
| #Nonlinear Integer Variablesⓘ | 0 |
| Objective Senseⓘ | min |
| Objective typeⓘ | linear |
| Objective curvatureⓘ | linear |
| #Nonzeros in Objectiveⓘ | 90 |
| #Nonlinear Nonzeros in Objectiveⓘ | 0 |
| #Constraintsⓘ | 1149 |
| #Linear Constraintsⓘ | 849 |
| #Quadratic Constraintsⓘ | 0 |
| #Polynomial Constraintsⓘ | 0 |
| #Signomial Constraintsⓘ | 0 |
| #General Nonlinear Constraintsⓘ | 300 |
| Operands in Gen. Nonlin. Functionsⓘ | div mul sqr |
| Constraints curvatureⓘ | convex |
| #Nonzeros in Jacobianⓘ | 3878 |
| #Nonlinear Nonzeros in Jacobianⓘ | 900 |
| #Nonzeros in (Upper-Left) Hessian of Lagrangianⓘ | 2100 |
| #Nonzeros in Diagonal of Hessian of Lagrangianⓘ | 900 |
| #Blocks in Hessian of Lagrangianⓘ | 300 |
| Minimal blocksize in Hessian of Lagrangianⓘ | 3 |
| Maximal blocksize in Hessian of Lagrangianⓘ | 3 |
| Average blocksize in Hessian of Lagrangianⓘ | 3.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
* 1150 31 0 1119 0 0 0 0
*
* Variable counts
* x b i s1s s2s sc si
* Total cont binary integer sos1 sos2 scont sint
* 1011 711 300 0 0 0 0 0
* FX 0
*
* Nonzero counts
* Total const NL DLL
* 3969 3069 900 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,b101,b102,b103
,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244,b245,b246
,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257,b258,b259
,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270,b271,b272
,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283,b284,b285
,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296,b297,b298
,b299,b300,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,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804,x805
,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,x818
,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831
,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844
,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856,x857
,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869,x870
,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882,x883
,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895,x896
,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908,x909
,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921,x922
,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934,x935
,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947,x948
,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960,x961
,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973,x974
,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986,x987
,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999,x1000
,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010,objvar;
Positive Variables 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,x794,x795,x796,x797,x798,x799,x800,x801,x802,x803,x804,x805
,x806,x807,x808,x809,x810,x811,x812,x813,x814,x815,x816,x817,x818
,x819,x820,x821,x822,x823,x824,x825,x826,x827,x828,x829,x830,x831
,x832,x833,x834,x835,x836,x837,x838,x839,x840,x841,x842,x843,x844
,x845,x846,x847,x848,x849,x850,x851,x852,x853,x854,x855,x856,x857
,x858,x859,x860,x861,x862,x863,x864,x865,x866,x867,x868,x869,x870
,x871,x872,x873,x874,x875,x876,x877,x878,x879,x880,x881,x882,x883
,x884,x885,x886,x887,x888,x889,x890,x891,x892,x893,x894,x895,x896
,x897,x898,x899,x900,x901,x902,x903,x904,x905,x906,x907,x908,x909
,x910,x911,x912,x913,x914,x915,x916,x917,x918,x919,x920,x921,x922
,x923,x924,x925,x926,x927,x928,x929,x930,x931,x932,x933,x934,x935
,x936,x937,x938,x939,x940,x941,x942,x943,x944,x945,x946,x947,x948
,x949,x950,x951,x952,x953,x954,x955,x956,x957,x958,x959,x960,x961
,x962,x963,x964,x965,x966,x967,x968,x969,x970,x971,x972,x973,x974
,x975,x976,x977,x978,x979,x980,x981,x982,x983,x984,x985,x986,x987
,x988,x989,x990,x991,x992,x993,x994,x995,x996,x997,x998,x999,x1000
,x1001,x1002,x1003,x1004,x1005,x1006,x1007,x1008,x1009,x1010;
Binary Variables b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218
,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231
,b232,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,b244
,b245,b246,b247,b248,b249,b250,b251,b252,b253,b254,b255,b256,b257
,b258,b259,b260,b261,b262,b263,b264,b265,b266,b267,b268,b269,b270
,b271,b272,b273,b274,b275,b276,b277,b278,b279,b280,b281,b282,b283
,b284,b285,b286,b287,b288,b289,b290,b291,b292,b293,b294,b295,b296
,b297,b298,b299,b300;
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;
e1.. x301 - x302 - x303 =L= 0;
e2.. - x301 + x302 - x303 =L= 0;
e3.. x304 - x305 - x306 =L= 0;
e4.. - x304 + x305 - x306 =L= 0;
e5.. x301 - x307 - x308 =L= 0;
e6.. - x301 + x307 - x308 =L= 0;
e7.. x304 - x309 - x310 =L= 0;
e8.. - x304 + x309 - x310 =L= 0;
e9.. x301 - x311 - x312 =L= 0;
e10.. - x301 + x311 - x312 =L= 0;
e11.. x304 - x313 - x314 =L= 0;
e12.. - x304 + x313 - x314 =L= 0;
e13.. x301 - x315 - x316 =L= 0;
e14.. - x301 + x315 - x316 =L= 0;
e15.. x304 - x317 - x318 =L= 0;
e16.. - x304 + x317 - x318 =L= 0;
e17.. x301 - x319 - x320 =L= 0;
e18.. - x301 + x319 - x320 =L= 0;
e19.. x304 - x321 - x322 =L= 0;
e20.. - x304 + x321 - x322 =L= 0;
e21.. x301 - x323 - x324 =L= 0;
e22.. - x301 + x323 - x324 =L= 0;
e23.. x304 - x325 - x326 =L= 0;
e24.. - x304 + x325 - x326 =L= 0;
e25.. x301 - x327 - x328 =L= 0;
e26.. - x301 + x327 - x328 =L= 0;
e27.. x304 - x329 - x330 =L= 0;
e28.. - x304 + x329 - x330 =L= 0;
e29.. x301 - x331 - x332 =L= 0;
e30.. - x301 + x331 - x332 =L= 0;
e31.. x304 - x333 - x334 =L= 0;
e32.. - x304 + x333 - x334 =L= 0;
e33.. x301 - x335 - x336 =L= 0;
e34.. - x301 + x335 - x336 =L= 0;
e35.. x304 - x337 - x338 =L= 0;
e36.. - x304 + x337 - x338 =L= 0;
e37.. x302 - x307 - x339 =L= 0;
e38.. - x302 + x307 - x339 =L= 0;
e39.. x305 - x309 - x340 =L= 0;
e40.. - x305 + x309 - x340 =L= 0;
e41.. x302 - x311 - x341 =L= 0;
e42.. - x302 + x311 - x341 =L= 0;
e43.. x305 - x313 - x342 =L= 0;
e44.. - x305 + x313 - x342 =L= 0;
e45.. x302 - x315 - x343 =L= 0;
e46.. - x302 + x315 - x343 =L= 0;
e47.. x305 - x317 - x344 =L= 0;
e48.. - x305 + x317 - x344 =L= 0;
e49.. x302 - x319 - x345 =L= 0;
e50.. - x302 + x319 - x345 =L= 0;
e51.. x305 - x321 - x346 =L= 0;
e52.. - x305 + x321 - x346 =L= 0;
e53.. x302 - x323 - x347 =L= 0;
e54.. - x302 + x323 - x347 =L= 0;
e55.. x305 - x325 - x348 =L= 0;
e56.. - x305 + x325 - x348 =L= 0;
e57.. x302 - x327 - x349 =L= 0;
e58.. - x302 + x327 - x349 =L= 0;
e59.. x305 - x329 - x350 =L= 0;
e60.. - x305 + x329 - x350 =L= 0;
e61.. x302 - x331 - x351 =L= 0;
e62.. - x302 + x331 - x351 =L= 0;
e63.. x305 - x333 - x352 =L= 0;
e64.. - x305 + x333 - x352 =L= 0;
e65.. x302 - x335 - x353 =L= 0;
e66.. - x302 + x335 - x353 =L= 0;
e67.. x305 - x337 - x354 =L= 0;
e68.. - x305 + x337 - x354 =L= 0;
e69.. x307 - x311 - x355 =L= 0;
e70.. - x307 + x311 - x355 =L= 0;
e71.. x309 - x313 - x356 =L= 0;
e72.. - x309 + x313 - x356 =L= 0;
e73.. x307 - x315 - x357 =L= 0;
e74.. - x307 + x315 - x357 =L= 0;
e75.. x309 - x317 - x358 =L= 0;
e76.. - x309 + x317 - x358 =L= 0;
e77.. x307 - x319 - x359 =L= 0;
e78.. - x307 + x319 - x359 =L= 0;
e79.. x309 - x321 - x360 =L= 0;
e80.. - x309 + x321 - x360 =L= 0;
e81.. x307 - x323 - x361 =L= 0;
e82.. - x307 + x323 - x361 =L= 0;
e83.. x309 - x325 - x362 =L= 0;
e84.. - x309 + x325 - x362 =L= 0;
e85.. x307 - x327 - x363 =L= 0;
e86.. - x307 + x327 - x363 =L= 0;
e87.. x309 - x329 - x364 =L= 0;
e88.. - x309 + x329 - x364 =L= 0;
e89.. x307 - x331 - x365 =L= 0;
e90.. - x307 + x331 - x365 =L= 0;
e91.. x309 - x333 - x366 =L= 0;
e92.. - x309 + x333 - x366 =L= 0;
e93.. x307 - x335 - x367 =L= 0;
e94.. - x307 + x335 - x367 =L= 0;
e95.. x309 - x337 - x368 =L= 0;
e96.. - x309 + x337 - x368 =L= 0;
e97.. x311 - x315 - x369 =L= 0;
e98.. - x311 + x315 - x369 =L= 0;
e99.. x313 - x317 - x370 =L= 0;
e100.. - x313 + x317 - x370 =L= 0;
e101.. x311 - x319 - x371 =L= 0;
e102.. - x311 + x319 - x371 =L= 0;
e103.. x313 - x321 - x372 =L= 0;
e104.. - x313 + x321 - x372 =L= 0;
e105.. x311 - x323 - x373 =L= 0;
e106.. - x311 + x323 - x373 =L= 0;
e107.. x313 - x325 - x374 =L= 0;
e108.. - x313 + x325 - x374 =L= 0;
e109.. x311 - x327 - x375 =L= 0;
e110.. - x311 + x327 - x375 =L= 0;
e111.. x313 - x329 - x376 =L= 0;
e112.. - x313 + x329 - x376 =L= 0;
e113.. x311 - x331 - x377 =L= 0;
e114.. - x311 + x331 - x377 =L= 0;
e115.. x313 - x333 - x378 =L= 0;
e116.. - x313 + x333 - x378 =L= 0;
e117.. x311 - x335 - x379 =L= 0;
e118.. - x311 + x335 - x379 =L= 0;
e119.. x313 - x337 - x380 =L= 0;
e120.. - x313 + x337 - x380 =L= 0;
e121.. x315 - x319 - x381 =L= 0;
e122.. - x315 + x319 - x381 =L= 0;
e123.. x317 - x321 - x382 =L= 0;
e124.. - x317 + x321 - x382 =L= 0;
e125.. x315 - x323 - x383 =L= 0;
e126.. - x315 + x323 - x383 =L= 0;
e127.. x317 - x325 - x384 =L= 0;
e128.. - x317 + x325 - x384 =L= 0;
e129.. x315 - x327 - x385 =L= 0;
e130.. - x315 + x327 - x385 =L= 0;
e131.. x317 - x329 - x386 =L= 0;
e132.. - x317 + x329 - x386 =L= 0;
e133.. x315 - x331 - x387 =L= 0;
e134.. - x315 + x331 - x387 =L= 0;
e135.. x317 - x333 - x388 =L= 0;
e136.. - x317 + x333 - x388 =L= 0;
e137.. x315 - x335 - x389 =L= 0;
e138.. - x315 + x335 - x389 =L= 0;
e139.. x317 - x337 - x390 =L= 0;
e140.. - x317 + x337 - x390 =L= 0;
e141.. x319 - x323 - x391 =L= 0;
e142.. - x319 + x323 - x391 =L= 0;
e143.. x321 - x325 - x392 =L= 0;
e144.. - x321 + x325 - x392 =L= 0;
e145.. x319 - x327 - x393 =L= 0;
e146.. - x319 + x327 - x393 =L= 0;
e147.. x321 - x329 - x394 =L= 0;
e148.. - x321 + x329 - x394 =L= 0;
e149.. x319 - x331 - x395 =L= 0;
e150.. - x319 + x331 - x395 =L= 0;
e151.. x321 - x333 - x396 =L= 0;
e152.. - x321 + x333 - x396 =L= 0;
e153.. x319 - x335 - x397 =L= 0;
e154.. - x319 + x335 - x397 =L= 0;
e155.. x321 - x337 - x398 =L= 0;
e156.. - x321 + x337 - x398 =L= 0;
e157.. x323 - x327 - x399 =L= 0;
e158.. - x323 + x327 - x399 =L= 0;
e159.. x325 - x329 - x400 =L= 0;
e160.. - x325 + x329 - x400 =L= 0;
e161.. x323 - x331 - x401 =L= 0;
e162.. - x323 + x331 - x401 =L= 0;
e163.. x325 - x333 - x402 =L= 0;
e164.. - x325 + x333 - x402 =L= 0;
e165.. x323 - x335 - x403 =L= 0;
e166.. - x323 + x335 - x403 =L= 0;
e167.. x325 - x337 - x404 =L= 0;
e168.. - x325 + x337 - x404 =L= 0;
e169.. x327 - x331 - x405 =L= 0;
e170.. - x327 + x331 - x405 =L= 0;
e171.. x329 - x333 - x406 =L= 0;
e172.. - x329 + x333 - x406 =L= 0;
e173.. x327 - x335 - x407 =L= 0;
e174.. - x327 + x335 - x407 =L= 0;
e175.. x329 - x337 - x408 =L= 0;
e176.. - x329 + x337 - x408 =L= 0;
e177.. x331 - x335 - x409 =L= 0;
e178.. - x331 + x335 - x409 =L= 0;
e179.. x333 - x337 - x410 =L= 0;
e180.. - x333 + x337 - x410 =L= 0;
e181.. (-1 + sqr(2.84746945184196 - x411/(0.0001 + 0.9999*b1)) + sqr(
6.74779851669768 - x412/(0.0001 + 0.9999*b1)))*(0.0001 + 0.9999*b1) +
0.00526408671011206*b1 =L= 0.00526408671011206;
e182.. (-1 + sqr(6.63261133839597 - x413/(0.0001 + 0.9999*b2)) + sqr(
7.58930814907984 - x414/(0.0001 + 0.9999*b2)))*(0.0001 + 0.9999*b2) +
0.0100589131347908*b2 =L= 0.0100589131347908;
e183.. (-1 + sqr(2.78008351564232 - x415/(0.0001 + 0.9999*b3)) + sqr(
5.62089512941063 - x416/(0.0001 + 0.9999*b3)))*(0.0001 + 0.9999*b3) +
0.00383233264097783*b3 =L= 0.00383233264097783;
e184.. (-1 + sqr(3.36345404799715 - x417/(0.0001 + 0.9999*b4)) + sqr(
5.61693710344635 - x418/(0.0001 + 0.9999*b4)))*(0.0001 + 0.9999*b4) +
0.00418628055570607*b4 =L= 0.00418628055570607;
e185.. (-1 + sqr(1.46574263591158 - x419/(0.0001 + 0.9999*b5)) + sqr(
0.14249643071642 - x420/(0.0001 + 0.9999*b5)))*(0.0001 + 0.9999*b5) +
0.000116870670749595*b5 =L= 0.000116870670749595;
e186.. (-1 + sqr(6.59824950993792 - x421/(0.0001 + 0.9999*b6)) + sqr(
1.91438252349491 - x422/(0.0001 + 0.9999*b6)))*(0.0001 + 0.9999*b6) +
0.00462017570416588*b6 =L= 0.00462017570416588;
e187.. (-1 + sqr(2.02515523263325 - x423/(0.0001 + 0.9999*b7)) + sqr(
3.62141731303869 - x424/(0.0001 + 0.9999*b7)))*(0.0001 + 0.9999*b7) +
0.00162159170714382*b7 =L= 0.00162159170714382;
e188.. (-1 + sqr(8.97152199819966 - x425/(0.0001 + 0.9999*b8)) + sqr(
8.78133845105015 - x426/(0.0001 + 0.9999*b8)))*(0.0001 + 0.9999*b8) +
0.0156600111956072*b8 =L= 0.0156600111956072;
e189.. (-1 + sqr(1.87485423601802 - x427/(0.0001 + 0.9999*b9)) + sqr(
8.96274662253461 - x428/(0.0001 + 0.9999*b9)))*(0.0001 + 0.9999*b9) +
0.00828459054260703*b9 =L= 0.00828459054260703;
e190.. (-1 + sqr(7.52025674966412 - x429/(0.0001 + 0.9999*b10)) + sqr(
8.80268658264247 - x430/(0.0001 + 0.9999*b10)))*(0.0001 + 0.9999*b10) +
0.0133041552653103*b10 =L= 0.0133041552653103;
e191.. (-1 + sqr(3.85704114235832 - x431/(0.0001 + 0.9999*b11)) + sqr(
6.36674450874035 - x432/(0.0001 + 0.9999*b11)))*(0.0001 + 0.9999*b11) +
0.00544122020134202*b11 =L= 0.00544122020134202;
e192.. (-1 + sqr(8.48963678940351 - x433/(0.0001 + 0.9999*b12)) + sqr(
5.48402210821562 - x434/(0.0001 + 0.9999*b12)))*(0.0001 + 0.9999*b12) +
0.0101148431299391*b12 =L= 0.0101148431299391;
e193.. (-1 + sqr(6.03160481727421 - x435/(0.0001 + 0.9999*b13)) + sqr(
1.276552921829 - x436/(0.0001 + 0.9999*b13)))*(0.0001 + 0.9999*b13) +
0.00370098440339957*b13 =L= 0.00370098440339957;
e194.. (-1 + sqr(6.90662266429413 - x437/(0.0001 + 0.9999*b14)) + sqr(
8.78931785429954 - x438/(0.0001 + 0.9999*b14)))*(0.0001 + 0.9999*b14) +
0.012395354497085*b14 =L= 0.012395354497085;
e195.. (-1 + sqr(3.71078725250056 - x439/(0.0001 + 0.9999*b15)) + sqr(
4.66415664133948 - x440/(0.0001 + 0.9999*b15)))*(0.0001 + 0.9999*b15) +
0.00345242992082719*b15 =L= 0.00345242992082719;
e196.. (-1 + sqr(0.107239833314705 - x441/(0.0001 + 0.9999*b16)) + sqr(
9.26202525440128 - x442/(0.0001 + 0.9999*b16)))*(0.0001 + 0.9999*b16) +
0.00847966121950165*b16 =L= 0.00847966121950165;
e197.. (-1 + sqr(8.04739319923014 - x443/(0.0001 + 0.9999*b17)) + sqr(
3.59305161391794 - x444/(0.0001 + 0.9999*b17)))*(0.0001 + 0.9999*b17) +
0.00766705572032937*b17 =L= 0.00766705572032937;
e198.. (-1 + sqr(5.28411061001579 - x445/(0.0001 + 0.9999*b18)) + sqr(
9.36648183133357 - x446/(0.0001 + 0.9999*b18)))*(0.0001 + 0.9999*b18) +
0.0114652806835583*b18 =L= 0.0114652806835583;
e199.. (-1 + sqr(1.06171481272944 - x447/(0.0001 + 0.9999*b19)) + sqr(
3.65844432398946 - x448/(0.0001 + 0.9999*b19)))*(0.0001 + 0.9999*b19) +
0.00135114532152998*b19 =L= 0.00135114532152998;
e200.. (-1 + sqr(9.05099582793631 - x449/(0.0001 + 0.9999*b20)) + sqr(
3.98215513024397 - x450/(0.0001 + 0.9999*b20)))*(0.0001 + 0.9999*b20) +
0.00967780849586488*b20 =L= 0.00967780849586488;
e201.. (-1 + sqr(9.08772707393705 - x451/(0.0001 + 0.9999*b21)) + sqr(
3.01388234113091 - x452/(0.0001 + 0.9999*b21)))*(0.0001 + 0.9999*b21) +
0.00906702701365492*b21 =L= 0.00906702701365492;
e202.. (-1 + sqr(8.83910845171846 - x453/(0.0001 + 0.9999*b22)) + sqr(
8.26686922455514 - x454/(0.0001 + 0.9999*b22)))*(0.0001 + 0.9999*b22) +
0.0145470964997138*b22 =L= 0.0145470964997138;
e203.. (-1 + sqr(3.41090111187451 - x455/(0.0001 + 0.9999*b23)) + sqr(
6.48985541572597 - x456/(0.0001 + 0.9999*b23)))*(0.0001 + 0.9999*b23) +
0.00527524697120144*b23 =L= 0.00527524697120144;
e204.. (-1 + sqr(1.22004189182266 - x457/(0.0001 + 0.9999*b24)) + sqr(
2.52276995748249 - x458/(0.0001 + 0.9999*b24)))*(0.0001 + 0.9999*b24) +
0.000685287047617839*b24 =L= 0.000685287047617839;
e205.. (-1 + sqr(3.94802045665365 - x459/(0.0001 + 0.9999*b25)) + sqr(
6.40339456473198 - x460/(0.0001 + 0.9999*b25)))*(0.0001 + 0.9999*b25) +
0.00555903274777947*b25 =L= 0.00555903274777947;
e206.. (-1 + sqr(4.9104301706676 - x461/(0.0001 + 0.9999*b26)) + sqr(
3.1538945754034 - x462/(0.0001 + 0.9999*b26)))*(0.0001 + 0.9999*b26) +
0.00330593754537616*b26 =L= 0.00330593754537616;
e207.. (-1 + sqr(3.23176530143453 - x463/(0.0001 + 0.9999*b27)) + sqr(
7.03644502956294 - x464/(0.0001 + 0.9999*b27)))*(0.0001 + 0.9999*b27) +
0.00589558656176173*b27 =L= 0.00589558656176173;
e208.. (-1 + sqr(0.39249886515424 - x465/(0.0001 + 0.9999*b28)) + sqr(
1.58871179600639 - x466/(0.0001 + 0.9999*b28)))*(0.0001 + 0.9999*b28) +
0.000167806052991721*b28 =L= 0.000167806052991721;
e209.. (-1 + sqr(4.42690021019308 - x467/(0.0001 + 0.9999*b29)) + sqr(
8.74244441962606 - x468/(0.0001 + 0.9999*b29)))*(0.0001 + 0.9999*b29) +
0.00950277799012584*b29 =L= 0.00950277799012584;
e210.. (-1 + sqr(2.59382124128511 - x469/(0.0001 + 0.9999*b30)) + sqr(
9.98780114819833 - x470/(0.0001 + 0.9999*b30)))*(0.0001 + 0.9999*b30) +
0.0105484080407694*b30 =L= 0.0105484080407694;
e211.. 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 =E= 1;
e212.. (-1 + sqr(2.84746945184196 - x471/(0.0001 + 0.9999*b31)) + sqr(
6.74779851669768 - x472/(0.0001 + 0.9999*b31)))*(0.0001 + 0.9999*b31) +
0.00526408671011206*b31 =L= 0.00526408671011206;
e213.. (-1 + sqr(6.63261133839597 - x473/(0.0001 + 0.9999*b32)) + sqr(
7.58930814907984 - x474/(0.0001 + 0.9999*b32)))*(0.0001 + 0.9999*b32) +
0.0100589131347908*b32 =L= 0.0100589131347908;
e214.. (-1 + sqr(2.78008351564232 - x475/(0.0001 + 0.9999*b33)) + sqr(
5.62089512941063 - x476/(0.0001 + 0.9999*b33)))*(0.0001 + 0.9999*b33) +
0.00383233264097783*b33 =L= 0.00383233264097783;
e215.. (-1 + sqr(3.36345404799715 - x477/(0.0001 + 0.9999*b34)) + sqr(
5.61693710344635 - x478/(0.0001 + 0.9999*b34)))*(0.0001 + 0.9999*b34) +
0.00418628055570607*b34 =L= 0.00418628055570607;
e216.. (-1 + sqr(1.46574263591158 - x479/(0.0001 + 0.9999*b35)) + sqr(
0.14249643071642 - x480/(0.0001 + 0.9999*b35)))*(0.0001 + 0.9999*b35) +
0.000116870670749595*b35 =L= 0.000116870670749595;
e217.. (-1 + sqr(6.59824950993792 - x481/(0.0001 + 0.9999*b36)) + sqr(
1.91438252349491 - x482/(0.0001 + 0.9999*b36)))*(0.0001 + 0.9999*b36) +
0.00462017570416588*b36 =L= 0.00462017570416588;
e218.. (-1 + sqr(2.02515523263325 - x483/(0.0001 + 0.9999*b37)) + sqr(
3.62141731303869 - x484/(0.0001 + 0.9999*b37)))*(0.0001 + 0.9999*b37) +
0.00162159170714382*b37 =L= 0.00162159170714382;
e219.. (-1 + sqr(8.97152199819966 - x485/(0.0001 + 0.9999*b38)) + sqr(
8.78133845105015 - x486/(0.0001 + 0.9999*b38)))*(0.0001 + 0.9999*b38) +
0.0156600111956072*b38 =L= 0.0156600111956072;
e220.. (-1 + sqr(1.87485423601802 - x487/(0.0001 + 0.9999*b39)) + sqr(
8.96274662253461 - x488/(0.0001 + 0.9999*b39)))*(0.0001 + 0.9999*b39) +
0.00828459054260703*b39 =L= 0.00828459054260703;
e221.. (-1 + sqr(7.52025674966412 - x489/(0.0001 + 0.9999*b40)) + sqr(
8.80268658264247 - x490/(0.0001 + 0.9999*b40)))*(0.0001 + 0.9999*b40) +
0.0133041552653103*b40 =L= 0.0133041552653103;
e222.. (-1 + sqr(3.85704114235832 - x491/(0.0001 + 0.9999*b41)) + sqr(
6.36674450874035 - x492/(0.0001 + 0.9999*b41)))*(0.0001 + 0.9999*b41) +
0.00544122020134202*b41 =L= 0.00544122020134202;
e223.. (-1 + sqr(8.48963678940351 - x493/(0.0001 + 0.9999*b42)) + sqr(
5.48402210821562 - x494/(0.0001 + 0.9999*b42)))*(0.0001 + 0.9999*b42) +
0.0101148431299391*b42 =L= 0.0101148431299391;
e224.. (-1 + sqr(6.03160481727421 - x495/(0.0001 + 0.9999*b43)) + sqr(
1.276552921829 - x496/(0.0001 + 0.9999*b43)))*(0.0001 + 0.9999*b43) +
0.00370098440339957*b43 =L= 0.00370098440339957;
e225.. (-1 + sqr(6.90662266429413 - x497/(0.0001 + 0.9999*b44)) + sqr(
8.78931785429954 - x498/(0.0001 + 0.9999*b44)))*(0.0001 + 0.9999*b44) +
0.012395354497085*b44 =L= 0.012395354497085;
e226.. (-1 + sqr(3.71078725250056 - x499/(0.0001 + 0.9999*b45)) + sqr(
4.66415664133948 - x500/(0.0001 + 0.9999*b45)))*(0.0001 + 0.9999*b45) +
0.00345242992082719*b45 =L= 0.00345242992082719;
e227.. (-1 + sqr(0.107239833314705 - x501/(0.0001 + 0.9999*b46)) + sqr(
9.26202525440128 - x502/(0.0001 + 0.9999*b46)))*(0.0001 + 0.9999*b46) +
0.00847966121950165*b46 =L= 0.00847966121950165;
e228.. (-1 + sqr(8.04739319923014 - x503/(0.0001 + 0.9999*b47)) + sqr(
3.59305161391794 - x504/(0.0001 + 0.9999*b47)))*(0.0001 + 0.9999*b47) +
0.00766705572032937*b47 =L= 0.00766705572032937;
e229.. (-1 + sqr(5.28411061001579 - x505/(0.0001 + 0.9999*b48)) + sqr(
9.36648183133357 - x506/(0.0001 + 0.9999*b48)))*(0.0001 + 0.9999*b48) +
0.0114652806835583*b48 =L= 0.0114652806835583;
e230.. (-1 + sqr(1.06171481272944 - x507/(0.0001 + 0.9999*b49)) + sqr(
3.65844432398946 - x508/(0.0001 + 0.9999*b49)))*(0.0001 + 0.9999*b49) +
0.00135114532152998*b49 =L= 0.00135114532152998;
e231.. (-1 + sqr(9.05099582793631 - x509/(0.0001 + 0.9999*b50)) + sqr(
3.98215513024397 - x510/(0.0001 + 0.9999*b50)))*(0.0001 + 0.9999*b50) +
0.00967780849586488*b50 =L= 0.00967780849586488;
e232.. (-1 + sqr(9.08772707393705 - x511/(0.0001 + 0.9999*b51)) + sqr(
3.01388234113091 - x512/(0.0001 + 0.9999*b51)))*(0.0001 + 0.9999*b51) +
0.00906702701365492*b51 =L= 0.00906702701365492;
e233.. (-1 + sqr(8.83910845171846 - x513/(0.0001 + 0.9999*b52)) + sqr(
8.26686922455514 - x514/(0.0001 + 0.9999*b52)))*(0.0001 + 0.9999*b52) +
0.0145470964997138*b52 =L= 0.0145470964997138;
e234.. (-1 + sqr(3.41090111187451 - x515/(0.0001 + 0.9999*b53)) + sqr(
6.48985541572597 - x516/(0.0001 + 0.9999*b53)))*(0.0001 + 0.9999*b53) +
0.00527524697120144*b53 =L= 0.00527524697120144;
e235.. (-1 + sqr(1.22004189182266 - x517/(0.0001 + 0.9999*b54)) + sqr(
2.52276995748249 - x518/(0.0001 + 0.9999*b54)))*(0.0001 + 0.9999*b54) +
0.000685287047617839*b54 =L= 0.000685287047617839;
e236.. (-1 + sqr(3.94802045665365 - x519/(0.0001 + 0.9999*b55)) + sqr(
6.40339456473198 - x520/(0.0001 + 0.9999*b55)))*(0.0001 + 0.9999*b55) +
0.00555903274777947*b55 =L= 0.00555903274777947;
e237.. (-1 + sqr(4.9104301706676 - x521/(0.0001 + 0.9999*b56)) + sqr(
3.1538945754034 - x522/(0.0001 + 0.9999*b56)))*(0.0001 + 0.9999*b56) +
0.00330593754537616*b56 =L= 0.00330593754537616;
e238.. (-1 + sqr(3.23176530143453 - x523/(0.0001 + 0.9999*b57)) + sqr(
7.03644502956294 - x524/(0.0001 + 0.9999*b57)))*(0.0001 + 0.9999*b57) +
0.00589558656176173*b57 =L= 0.00589558656176173;
e239.. (-1 + sqr(0.39249886515424 - x525/(0.0001 + 0.9999*b58)) + sqr(
1.58871179600639 - x526/(0.0001 + 0.9999*b58)))*(0.0001 + 0.9999*b58) +
0.000167806052991721*b58 =L= 0.000167806052991721;
e240.. (-1 + sqr(4.42690021019308 - x527/(0.0001 + 0.9999*b59)) + sqr(
8.74244441962606 - x528/(0.0001 + 0.9999*b59)))*(0.0001 + 0.9999*b59) +
0.00950277799012584*b59 =L= 0.00950277799012584;
e241.. (-1 + sqr(2.59382124128511 - x529/(0.0001 + 0.9999*b60)) + sqr(
9.98780114819833 - x530/(0.0001 + 0.9999*b60)))*(0.0001 + 0.9999*b60) +
0.0105484080407694*b60 =L= 0.0105484080407694;
e242.. 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 =E= 1;
e243.. (-1 + sqr(2.84746945184196 - x531/(0.0001 + 0.9999*b61)) + sqr(
6.74779851669768 - x532/(0.0001 + 0.9999*b61)))*(0.0001 + 0.9999*b61) +
0.00526408671011206*b61 =L= 0.00526408671011206;
e244.. (-1 + sqr(6.63261133839597 - x533/(0.0001 + 0.9999*b62)) + sqr(
7.58930814907984 - x534/(0.0001 + 0.9999*b62)))*(0.0001 + 0.9999*b62) +
0.0100589131347908*b62 =L= 0.0100589131347908;
e245.. (-1 + sqr(2.78008351564232 - x535/(0.0001 + 0.9999*b63)) + sqr(
5.62089512941063 - x536/(0.0001 + 0.9999*b63)))*(0.0001 + 0.9999*b63) +
0.00383233264097783*b63 =L= 0.00383233264097783;
e246.. (-1 + sqr(3.36345404799715 - x537/(0.0001 + 0.9999*b64)) + sqr(
5.61693710344635 - x538/(0.0001 + 0.9999*b64)))*(0.0001 + 0.9999*b64) +
0.00418628055570607*b64 =L= 0.00418628055570607;
e247.. (-1 + sqr(1.46574263591158 - x539/(0.0001 + 0.9999*b65)) + sqr(
0.14249643071642 - x540/(0.0001 + 0.9999*b65)))*(0.0001 + 0.9999*b65) +
0.000116870670749595*b65 =L= 0.000116870670749595;
e248.. (-1 + sqr(6.59824950993792 - x541/(0.0001 + 0.9999*b66)) + sqr(
1.91438252349491 - x542/(0.0001 + 0.9999*b66)))*(0.0001 + 0.9999*b66) +
0.00462017570416588*b66 =L= 0.00462017570416588;
e249.. (-1 + sqr(2.02515523263325 - x543/(0.0001 + 0.9999*b67)) + sqr(
3.62141731303869 - x544/(0.0001 + 0.9999*b67)))*(0.0001 + 0.9999*b67) +
0.00162159170714382*b67 =L= 0.00162159170714382;
e250.. (-1 + sqr(8.97152199819966 - x545/(0.0001 + 0.9999*b68)) + sqr(
8.78133845105015 - x546/(0.0001 + 0.9999*b68)))*(0.0001 + 0.9999*b68) +
0.0156600111956072*b68 =L= 0.0156600111956072;
e251.. (-1 + sqr(1.87485423601802 - x547/(0.0001 + 0.9999*b69)) + sqr(
8.96274662253461 - x548/(0.0001 + 0.9999*b69)))*(0.0001 + 0.9999*b69) +
0.00828459054260703*b69 =L= 0.00828459054260703;
e252.. (-1 + sqr(7.52025674966412 - x549/(0.0001 + 0.9999*b70)) + sqr(
8.80268658264247 - x550/(0.0001 + 0.9999*b70)))*(0.0001 + 0.9999*b70) +
0.0133041552653103*b70 =L= 0.0133041552653103;
e253.. (-1 + sqr(3.85704114235832 - x551/(0.0001 + 0.9999*b71)) + sqr(
6.36674450874035 - x552/(0.0001 + 0.9999*b71)))*(0.0001 + 0.9999*b71) +
0.00544122020134202*b71 =L= 0.00544122020134202;
e254.. (-1 + sqr(8.48963678940351 - x553/(0.0001 + 0.9999*b72)) + sqr(
5.48402210821562 - x554/(0.0001 + 0.9999*b72)))*(0.0001 + 0.9999*b72) +
0.0101148431299391*b72 =L= 0.0101148431299391;
e255.. (-1 + sqr(6.03160481727421 - x555/(0.0001 + 0.9999*b73)) + sqr(
1.276552921829 - x556/(0.0001 + 0.9999*b73)))*(0.0001 + 0.9999*b73) +
0.00370098440339957*b73 =L= 0.00370098440339957;
e256.. (-1 + sqr(6.90662266429413 - x557/(0.0001 + 0.9999*b74)) + sqr(
8.78931785429954 - x558/(0.0001 + 0.9999*b74)))*(0.0001 + 0.9999*b74) +
0.012395354497085*b74 =L= 0.012395354497085;
e257.. (-1 + sqr(3.71078725250056 - x559/(0.0001 + 0.9999*b75)) + sqr(
4.66415664133948 - x560/(0.0001 + 0.9999*b75)))*(0.0001 + 0.9999*b75) +
0.00345242992082719*b75 =L= 0.00345242992082719;
e258.. (-1 + sqr(0.107239833314705 - x561/(0.0001 + 0.9999*b76)) + sqr(
9.26202525440128 - x562/(0.0001 + 0.9999*b76)))*(0.0001 + 0.9999*b76) +
0.00847966121950165*b76 =L= 0.00847966121950165;
e259.. (-1 + sqr(8.04739319923014 - x563/(0.0001 + 0.9999*b77)) + sqr(
3.59305161391794 - x564/(0.0001 + 0.9999*b77)))*(0.0001 + 0.9999*b77) +
0.00766705572032937*b77 =L= 0.00766705572032937;
e260.. (-1 + sqr(5.28411061001579 - x565/(0.0001 + 0.9999*b78)) + sqr(
9.36648183133357 - x566/(0.0001 + 0.9999*b78)))*(0.0001 + 0.9999*b78) +
0.0114652806835583*b78 =L= 0.0114652806835583;
e261.. (-1 + sqr(1.06171481272944 - x567/(0.0001 + 0.9999*b79)) + sqr(
3.65844432398946 - x568/(0.0001 + 0.9999*b79)))*(0.0001 + 0.9999*b79) +
0.00135114532152998*b79 =L= 0.00135114532152998;
e262.. (-1 + sqr(9.05099582793631 - x569/(0.0001 + 0.9999*b80)) + sqr(
3.98215513024397 - x570/(0.0001 + 0.9999*b80)))*(0.0001 + 0.9999*b80) +
0.00967780849586488*b80 =L= 0.00967780849586488;
e263.. (-1 + sqr(9.08772707393705 - x571/(0.0001 + 0.9999*b81)) + sqr(
3.01388234113091 - x572/(0.0001 + 0.9999*b81)))*(0.0001 + 0.9999*b81) +
0.00906702701365492*b81 =L= 0.00906702701365492;
e264.. (-1 + sqr(8.83910845171846 - x573/(0.0001 + 0.9999*b82)) + sqr(
8.26686922455514 - x574/(0.0001 + 0.9999*b82)))*(0.0001 + 0.9999*b82) +
0.0145470964997138*b82 =L= 0.0145470964997138;
e265.. (-1 + sqr(3.41090111187451 - x575/(0.0001 + 0.9999*b83)) + sqr(
6.48985541572597 - x576/(0.0001 + 0.9999*b83)))*(0.0001 + 0.9999*b83) +
0.00527524697120144*b83 =L= 0.00527524697120144;
e266.. (-1 + sqr(1.22004189182266 - x577/(0.0001 + 0.9999*b84)) + sqr(
2.52276995748249 - x578/(0.0001 + 0.9999*b84)))*(0.0001 + 0.9999*b84) +
0.000685287047617839*b84 =L= 0.000685287047617839;
e267.. (-1 + sqr(3.94802045665365 - x579/(0.0001 + 0.9999*b85)) + sqr(
6.40339456473198 - x580/(0.0001 + 0.9999*b85)))*(0.0001 + 0.9999*b85) +
0.00555903274777947*b85 =L= 0.00555903274777947;
e268.. (-1 + sqr(4.9104301706676 - x581/(0.0001 + 0.9999*b86)) + sqr(
3.1538945754034 - x582/(0.0001 + 0.9999*b86)))*(0.0001 + 0.9999*b86) +
0.00330593754537616*b86 =L= 0.00330593754537616;
e269.. (-1 + sqr(3.23176530143453 - x583/(0.0001 + 0.9999*b87)) + sqr(
7.03644502956294 - x584/(0.0001 + 0.9999*b87)))*(0.0001 + 0.9999*b87) +
0.00589558656176173*b87 =L= 0.00589558656176173;
e270.. (-1 + sqr(0.39249886515424 - x585/(0.0001 + 0.9999*b88)) + sqr(
1.58871179600639 - x586/(0.0001 + 0.9999*b88)))*(0.0001 + 0.9999*b88) +
0.000167806052991721*b88 =L= 0.000167806052991721;
e271.. (-1 + sqr(4.42690021019308 - x587/(0.0001 + 0.9999*b89)) + sqr(
8.74244441962606 - x588/(0.0001 + 0.9999*b89)))*(0.0001 + 0.9999*b89) +
0.00950277799012584*b89 =L= 0.00950277799012584;
e272.. (-1 + sqr(2.59382124128511 - x589/(0.0001 + 0.9999*b90)) + sqr(
9.98780114819833 - x590/(0.0001 + 0.9999*b90)))*(0.0001 + 0.9999*b90) +
0.0105484080407694*b90 =L= 0.0105484080407694;
e273.. 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 =E= 1;
e274.. (-1 + sqr(2.84746945184196 - x591/(0.0001 + 0.9999*b91)) + sqr(
6.74779851669768 - x592/(0.0001 + 0.9999*b91)))*(0.0001 + 0.9999*b91) +
0.00526408671011206*b91 =L= 0.00526408671011206;
e275.. (-1 + sqr(6.63261133839597 - x593/(0.0001 + 0.9999*b92)) + sqr(
7.58930814907984 - x594/(0.0001 + 0.9999*b92)))*(0.0001 + 0.9999*b92) +
0.0100589131347908*b92 =L= 0.0100589131347908;
e276.. (-1 + sqr(2.78008351564232 - x595/(0.0001 + 0.9999*b93)) + sqr(
5.62089512941063 - x596/(0.0001 + 0.9999*b93)))*(0.0001 + 0.9999*b93) +
0.00383233264097783*b93 =L= 0.00383233264097783;
e277.. (-1 + sqr(3.36345404799715 - x597/(0.0001 + 0.9999*b94)) + sqr(
5.61693710344635 - x598/(0.0001 + 0.9999*b94)))*(0.0001 + 0.9999*b94) +
0.00418628055570607*b94 =L= 0.00418628055570607;
e278.. (-1 + sqr(1.46574263591158 - x599/(0.0001 + 0.9999*b95)) + sqr(
0.14249643071642 - x600/(0.0001 + 0.9999*b95)))*(0.0001 + 0.9999*b95) +
0.000116870670749595*b95 =L= 0.000116870670749595;
e279.. (-1 + sqr(6.59824950993792 - x601/(0.0001 + 0.9999*b96)) + sqr(
1.91438252349491 - x602/(0.0001 + 0.9999*b96)))*(0.0001 + 0.9999*b96) +
0.00462017570416588*b96 =L= 0.00462017570416588;
e280.. (-1 + sqr(2.02515523263325 - x603/(0.0001 + 0.9999*b97)) + sqr(
3.62141731303869 - x604/(0.0001 + 0.9999*b97)))*(0.0001 + 0.9999*b97) +
0.00162159170714382*b97 =L= 0.00162159170714382;
e281.. (-1 + sqr(8.97152199819966 - x605/(0.0001 + 0.9999*b98)) + sqr(
8.78133845105015 - x606/(0.0001 + 0.9999*b98)))*(0.0001 + 0.9999*b98) +
0.0156600111956072*b98 =L= 0.0156600111956072;
e282.. (-1 + sqr(1.87485423601802 - x607/(0.0001 + 0.9999*b99)) + sqr(
8.96274662253461 - x608/(0.0001 + 0.9999*b99)))*(0.0001 + 0.9999*b99) +
0.00828459054260703*b99 =L= 0.00828459054260703;
e283.. (-1 + sqr(7.52025674966412 - x609/(0.0001 + 0.9999*b100)) + sqr(
8.80268658264247 - x610/(0.0001 + 0.9999*b100)))*(0.0001 + 0.9999*b100)
+ 0.0133041552653103*b100 =L= 0.0133041552653103;
e284.. (-1 + sqr(3.85704114235832 - x611/(0.0001 + 0.9999*b101)) + sqr(
6.36674450874035 - x612/(0.0001 + 0.9999*b101)))*(0.0001 + 0.9999*b101)
+ 0.00544122020134202*b101 =L= 0.00544122020134202;
e285.. (-1 + sqr(8.48963678940351 - x613/(0.0001 + 0.9999*b102)) + sqr(
5.48402210821562 - x614/(0.0001 + 0.9999*b102)))*(0.0001 + 0.9999*b102)
+ 0.0101148431299391*b102 =L= 0.0101148431299391;
e286.. (-1 + sqr(6.03160481727421 - x615/(0.0001 + 0.9999*b103)) + sqr(
1.276552921829 - x616/(0.0001 + 0.9999*b103)))*(0.0001 + 0.9999*b103) +
0.00370098440339957*b103 =L= 0.00370098440339957;
e287.. (-1 + sqr(6.90662266429413 - x617/(0.0001 + 0.9999*b104)) + sqr(
8.78931785429954 - x618/(0.0001 + 0.9999*b104)))*(0.0001 + 0.9999*b104)
+ 0.012395354497085*b104 =L= 0.012395354497085;
e288.. (-1 + sqr(3.71078725250056 - x619/(0.0001 + 0.9999*b105)) + sqr(
4.66415664133948 - x620/(0.0001 + 0.9999*b105)))*(0.0001 + 0.9999*b105)
+ 0.00345242992082719*b105 =L= 0.00345242992082719;
e289.. (-1 + sqr(0.107239833314705 - x621/(0.0001 + 0.9999*b106)) + sqr(
9.26202525440128 - x622/(0.0001 + 0.9999*b106)))*(0.0001 + 0.9999*b106)
+ 0.00847966121950165*b106 =L= 0.00847966121950165;
e290.. (-1 + sqr(8.04739319923014 - x623/(0.0001 + 0.9999*b107)) + sqr(
3.59305161391794 - x624/(0.0001 + 0.9999*b107)))*(0.0001 + 0.9999*b107)
+ 0.00766705572032937*b107 =L= 0.00766705572032937;
e291.. (-1 + sqr(5.28411061001579 - x625/(0.0001 + 0.9999*b108)) + sqr(
9.36648183133357 - x626/(0.0001 + 0.9999*b108)))*(0.0001 + 0.9999*b108)
+ 0.0114652806835583*b108 =L= 0.0114652806835583;
e292.. (-1 + sqr(1.06171481272944 - x627/(0.0001 + 0.9999*b109)) + sqr(
3.65844432398946 - x628/(0.0001 + 0.9999*b109)))*(0.0001 + 0.9999*b109)
+ 0.00135114532152998*b109 =L= 0.00135114532152998;
e293.. (-1 + sqr(9.05099582793631 - x629/(0.0001 + 0.9999*b110)) + sqr(
3.98215513024397 - x630/(0.0001 + 0.9999*b110)))*(0.0001 + 0.9999*b110)
+ 0.00967780849586488*b110 =L= 0.00967780849586488;
e294.. (-1 + sqr(9.08772707393705 - x631/(0.0001 + 0.9999*b111)) + sqr(
3.01388234113091 - x632/(0.0001 + 0.9999*b111)))*(0.0001 + 0.9999*b111)
+ 0.00906702701365492*b111 =L= 0.00906702701365492;
e295.. (-1 + sqr(8.83910845171846 - x633/(0.0001 + 0.9999*b112)) + sqr(
8.26686922455514 - x634/(0.0001 + 0.9999*b112)))*(0.0001 + 0.9999*b112)
+ 0.0145470964997138*b112 =L= 0.0145470964997138;
e296.. (-1 + sqr(3.41090111187451 - x635/(0.0001 + 0.9999*b113)) + sqr(
6.48985541572597 - x636/(0.0001 + 0.9999*b113)))*(0.0001 + 0.9999*b113)
+ 0.00527524697120144*b113 =L= 0.00527524697120144;
e297.. (-1 + sqr(1.22004189182266 - x637/(0.0001 + 0.9999*b114)) + sqr(
2.52276995748249 - x638/(0.0001 + 0.9999*b114)))*(0.0001 + 0.9999*b114)
+ 0.000685287047617839*b114 =L= 0.000685287047617839;
e298.. (-1 + sqr(3.94802045665365 - x639/(0.0001 + 0.9999*b115)) + sqr(
6.40339456473198 - x640/(0.0001 + 0.9999*b115)))*(0.0001 + 0.9999*b115)
+ 0.00555903274777947*b115 =L= 0.00555903274777947;
e299.. (-1 + sqr(4.9104301706676 - x641/(0.0001 + 0.9999*b116)) + sqr(
3.1538945754034 - x642/(0.0001 + 0.9999*b116)))*(0.0001 + 0.9999*b116)
+ 0.00330593754537616*b116 =L= 0.00330593754537616;
e300.. (-1 + sqr(3.23176530143453 - x643/(0.0001 + 0.9999*b117)) + sqr(
7.03644502956294 - x644/(0.0001 + 0.9999*b117)))*(0.0001 + 0.9999*b117)
+ 0.00589558656176173*b117 =L= 0.00589558656176173;
e301.. (-1 + sqr(0.39249886515424 - x645/(0.0001 + 0.9999*b118)) + sqr(
1.58871179600639 - x646/(0.0001 + 0.9999*b118)))*(0.0001 + 0.9999*b118)
+ 0.000167806052991721*b118 =L= 0.000167806052991721;
e302.. (-1 + sqr(4.42690021019308 - x647/(0.0001 + 0.9999*b119)) + sqr(
8.74244441962606 - x648/(0.0001 + 0.9999*b119)))*(0.0001 + 0.9999*b119)
+ 0.00950277799012584*b119 =L= 0.00950277799012584;
e303.. (-1 + sqr(2.59382124128511 - x649/(0.0001 + 0.9999*b120)) + sqr(
9.98780114819833 - x650/(0.0001 + 0.9999*b120)))*(0.0001 + 0.9999*b120)
+ 0.0105484080407694*b120 =L= 0.0105484080407694;
e304.. b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101
+ b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111
+ b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 =E= 1;
e305.. (-1 + sqr(2.84746945184196 - x651/(0.0001 + 0.9999*b121)) + sqr(
6.74779851669768 - x652/(0.0001 + 0.9999*b121)))*(0.0001 + 0.9999*b121)
+ 0.00526408671011206*b121 =L= 0.00526408671011206;
e306.. (-1 + sqr(6.63261133839597 - x653/(0.0001 + 0.9999*b122)) + sqr(
7.58930814907984 - x654/(0.0001 + 0.9999*b122)))*(0.0001 + 0.9999*b122)
+ 0.0100589131347908*b122 =L= 0.0100589131347908;
e307.. (-1 + sqr(2.78008351564232 - x655/(0.0001 + 0.9999*b123)) + sqr(
5.62089512941063 - x656/(0.0001 + 0.9999*b123)))*(0.0001 + 0.9999*b123)
+ 0.00383233264097783*b123 =L= 0.00383233264097783;
e308.. (-1 + sqr(3.36345404799715 - x657/(0.0001 + 0.9999*b124)) + sqr(
5.61693710344635 - x658/(0.0001 + 0.9999*b124)))*(0.0001 + 0.9999*b124)
+ 0.00418628055570607*b124 =L= 0.00418628055570607;
e309.. (-1 + sqr(1.46574263591158 - x659/(0.0001 + 0.9999*b125)) + sqr(
0.14249643071642 - x660/(0.0001 + 0.9999*b125)))*(0.0001 + 0.9999*b125)
+ 0.000116870670749595*b125 =L= 0.000116870670749595;
e310.. (-1 + sqr(6.59824950993792 - x661/(0.0001 + 0.9999*b126)) + sqr(
1.91438252349491 - x662/(0.0001 + 0.9999*b126)))*(0.0001 + 0.9999*b126)
+ 0.00462017570416588*b126 =L= 0.00462017570416588;
e311.. (-1 + sqr(2.02515523263325 - x663/(0.0001 + 0.9999*b127)) + sqr(
3.62141731303869 - x664/(0.0001 + 0.9999*b127)))*(0.0001 + 0.9999*b127)
+ 0.00162159170714382*b127 =L= 0.00162159170714382;
e312.. (-1 + sqr(8.97152199819966 - x665/(0.0001 + 0.9999*b128)) + sqr(
8.78133845105015 - x666/(0.0001 + 0.9999*b128)))*(0.0001 + 0.9999*b128)
+ 0.0156600111956072*b128 =L= 0.0156600111956072;
e313.. (-1 + sqr(1.87485423601802 - x667/(0.0001 + 0.9999*b129)) + sqr(
8.96274662253461 - x668/(0.0001 + 0.9999*b129)))*(0.0001 + 0.9999*b129)
+ 0.00828459054260703*b129 =L= 0.00828459054260703;
e314.. (-1 + sqr(7.52025674966412 - x669/(0.0001 + 0.9999*b130)) + sqr(
8.80268658264247 - x670/(0.0001 + 0.9999*b130)))*(0.0001 + 0.9999*b130)
+ 0.0133041552653103*b130 =L= 0.0133041552653103;
e315.. (-1 + sqr(3.85704114235832 - x671/(0.0001 + 0.9999*b131)) + sqr(
6.36674450874035 - x672/(0.0001 + 0.9999*b131)))*(0.0001 + 0.9999*b131)
+ 0.00544122020134202*b131 =L= 0.00544122020134202;
e316.. (-1 + sqr(8.48963678940351 - x673/(0.0001 + 0.9999*b132)) + sqr(
5.48402210821562 - x674/(0.0001 + 0.9999*b132)))*(0.0001 + 0.9999*b132)
+ 0.0101148431299391*b132 =L= 0.0101148431299391;
e317.. (-1 + sqr(6.03160481727421 - x675/(0.0001 + 0.9999*b133)) + sqr(
1.276552921829 - x676/(0.0001 + 0.9999*b133)))*(0.0001 + 0.9999*b133) +
0.00370098440339957*b133 =L= 0.00370098440339957;
e318.. (-1 + sqr(6.90662266429413 - x677/(0.0001 + 0.9999*b134)) + sqr(
8.78931785429954 - x678/(0.0001 + 0.9999*b134)))*(0.0001 + 0.9999*b134)
+ 0.012395354497085*b134 =L= 0.012395354497085;
e319.. (-1 + sqr(3.71078725250056 - x679/(0.0001 + 0.9999*b135)) + sqr(
4.66415664133948 - x680/(0.0001 + 0.9999*b135)))*(0.0001 + 0.9999*b135)
+ 0.00345242992082719*b135 =L= 0.00345242992082719;
e320.. (-1 + sqr(0.107239833314705 - x681/(0.0001 + 0.9999*b136)) + sqr(
9.26202525440128 - x682/(0.0001 + 0.9999*b136)))*(0.0001 + 0.9999*b136)
+ 0.00847966121950165*b136 =L= 0.00847966121950165;
e321.. (-1 + sqr(8.04739319923014 - x683/(0.0001 + 0.9999*b137)) + sqr(
3.59305161391794 - x684/(0.0001 + 0.9999*b137)))*(0.0001 + 0.9999*b137)
+ 0.00766705572032937*b137 =L= 0.00766705572032937;
e322.. (-1 + sqr(5.28411061001579 - x685/(0.0001 + 0.9999*b138)) + sqr(
9.36648183133357 - x686/(0.0001 + 0.9999*b138)))*(0.0001 + 0.9999*b138)
+ 0.0114652806835583*b138 =L= 0.0114652806835583;
e323.. (-1 + sqr(1.06171481272944 - x687/(0.0001 + 0.9999*b139)) + sqr(
3.65844432398946 - x688/(0.0001 + 0.9999*b139)))*(0.0001 + 0.9999*b139)
+ 0.00135114532152998*b139 =L= 0.00135114532152998;
e324.. (-1 + sqr(9.05099582793631 - x689/(0.0001 + 0.9999*b140)) + sqr(
3.98215513024397 - x690/(0.0001 + 0.9999*b140)))*(0.0001 + 0.9999*b140)
+ 0.00967780849586488*b140 =L= 0.00967780849586488;
e325.. (-1 + sqr(9.08772707393705 - x691/(0.0001 + 0.9999*b141)) + sqr(
3.01388234113091 - x692/(0.0001 + 0.9999*b141)))*(0.0001 + 0.9999*b141)
+ 0.00906702701365492*b141 =L= 0.00906702701365492;
e326.. (-1 + sqr(8.83910845171846 - x693/(0.0001 + 0.9999*b142)) + sqr(
8.26686922455514 - x694/(0.0001 + 0.9999*b142)))*(0.0001 + 0.9999*b142)
+ 0.0145470964997138*b142 =L= 0.0145470964997138;
e327.. (-1 + sqr(3.41090111187451 - x695/(0.0001 + 0.9999*b143)) + sqr(
6.48985541572597 - x696/(0.0001 + 0.9999*b143)))*(0.0001 + 0.9999*b143)
+ 0.00527524697120144*b143 =L= 0.00527524697120144;
e328.. (-1 + sqr(1.22004189182266 - x697/(0.0001 + 0.9999*b144)) + sqr(
2.52276995748249 - x698/(0.0001 + 0.9999*b144)))*(0.0001 + 0.9999*b144)
+ 0.000685287047617839*b144 =L= 0.000685287047617839;
e329.. (-1 + sqr(3.94802045665365 - x699/(0.0001 + 0.9999*b145)) + sqr(
6.40339456473198 - x700/(0.0001 + 0.9999*b145)))*(0.0001 + 0.9999*b145)
+ 0.00555903274777947*b145 =L= 0.00555903274777947;
e330.. (-1 + sqr(4.9104301706676 - x701/(0.0001 + 0.9999*b146)) + sqr(
3.1538945754034 - x702/(0.0001 + 0.9999*b146)))*(0.0001 + 0.9999*b146)
+ 0.00330593754537616*b146 =L= 0.00330593754537616;
e331.. (-1 + sqr(3.23176530143453 - x703/(0.0001 + 0.9999*b147)) + sqr(
7.03644502956294 - x704/(0.0001 + 0.9999*b147)))*(0.0001 + 0.9999*b147)
+ 0.00589558656176173*b147 =L= 0.00589558656176173;
e332.. (-1 + sqr(0.39249886515424 - x705/(0.0001 + 0.9999*b148)) + sqr(
1.58871179600639 - x706/(0.0001 + 0.9999*b148)))*(0.0001 + 0.9999*b148)
+ 0.000167806052991721*b148 =L= 0.000167806052991721;
e333.. (-1 + sqr(4.42690021019308 - x707/(0.0001 + 0.9999*b149)) + sqr(
8.74244441962606 - x708/(0.0001 + 0.9999*b149)))*(0.0001 + 0.9999*b149)
+ 0.00950277799012584*b149 =L= 0.00950277799012584;
e334.. (-1 + sqr(2.59382124128511 - x709/(0.0001 + 0.9999*b150)) + sqr(
9.98780114819833 - x710/(0.0001 + 0.9999*b150)))*(0.0001 + 0.9999*b150)
+ 0.0105484080407694*b150 =L= 0.0105484080407694;
e335.. b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130
+ b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140
+ b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150
=E= 1;
e336.. (-1 + sqr(2.84746945184196 - x711/(0.0001 + 0.9999*b151)) + sqr(
6.74779851669768 - x712/(0.0001 + 0.9999*b151)))*(0.0001 + 0.9999*b151)
+ 0.00526408671011206*b151 =L= 0.00526408671011206;
e337.. (-1 + sqr(6.63261133839597 - x713/(0.0001 + 0.9999*b152)) + sqr(
7.58930814907984 - x714/(0.0001 + 0.9999*b152)))*(0.0001 + 0.9999*b152)
+ 0.0100589131347908*b152 =L= 0.0100589131347908;
e338.. (-1 + sqr(2.78008351564232 - x715/(0.0001 + 0.9999*b153)) + sqr(
5.62089512941063 - x716/(0.0001 + 0.9999*b153)))*(0.0001 + 0.9999*b153)
+ 0.00383233264097783*b153 =L= 0.00383233264097783;
e339.. (-1 + sqr(3.36345404799715 - x717/(0.0001 + 0.9999*b154)) + sqr(
5.61693710344635 - x718/(0.0001 + 0.9999*b154)))*(0.0001 + 0.9999*b154)
+ 0.00418628055570607*b154 =L= 0.00418628055570607;
e340.. (-1 + sqr(1.46574263591158 - x719/(0.0001 + 0.9999*b155)) + sqr(
0.14249643071642 - x720/(0.0001 + 0.9999*b155)))*(0.0001 + 0.9999*b155)
+ 0.000116870670749595*b155 =L= 0.000116870670749595;
e341.. (-1 + sqr(6.59824950993792 - x721/(0.0001 + 0.9999*b156)) + sqr(
1.91438252349491 - x722/(0.0001 + 0.9999*b156)))*(0.0001 + 0.9999*b156)
+ 0.00462017570416588*b156 =L= 0.00462017570416588;
e342.. (-1 + sqr(2.02515523263325 - x723/(0.0001 + 0.9999*b157)) + sqr(
3.62141731303869 - x724/(0.0001 + 0.9999*b157)))*(0.0001 + 0.9999*b157)
+ 0.00162159170714382*b157 =L= 0.00162159170714382;
e343.. (-1 + sqr(8.97152199819966 - x725/(0.0001 + 0.9999*b158)) + sqr(
8.78133845105015 - x726/(0.0001 + 0.9999*b158)))*(0.0001 + 0.9999*b158)
+ 0.0156600111956072*b158 =L= 0.0156600111956072;
e344.. (-1 + sqr(1.87485423601802 - x727/(0.0001 + 0.9999*b159)) + sqr(
8.96274662253461 - x728/(0.0001 + 0.9999*b159)))*(0.0001 + 0.9999*b159)
+ 0.00828459054260703*b159 =L= 0.00828459054260703;
e345.. (-1 + sqr(7.52025674966412 - x729/(0.0001 + 0.9999*b160)) + sqr(
8.80268658264247 - x730/(0.0001 + 0.9999*b160)))*(0.0001 + 0.9999*b160)
+ 0.0133041552653103*b160 =L= 0.0133041552653103;
e346.. (-1 + sqr(3.85704114235832 - x731/(0.0001 + 0.9999*b161)) + sqr(
6.36674450874035 - x732/(0.0001 + 0.9999*b161)))*(0.0001 + 0.9999*b161)
+ 0.00544122020134202*b161 =L= 0.00544122020134202;
e347.. (-1 + sqr(8.48963678940351 - x733/(0.0001 + 0.9999*b162)) + sqr(
5.48402210821562 - x734/(0.0001 + 0.9999*b162)))*(0.0001 + 0.9999*b162)
+ 0.0101148431299391*b162 =L= 0.0101148431299391;
e348.. (-1 + sqr(6.03160481727421 - x735/(0.0001 + 0.9999*b163)) + sqr(
1.276552921829 - x736/(0.0001 + 0.9999*b163)))*(0.0001 + 0.9999*b163) +
0.00370098440339957*b163 =L= 0.00370098440339957;
e349.. (-1 + sqr(6.90662266429413 - x737/(0.0001 + 0.9999*b164)) + sqr(
8.78931785429954 - x738/(0.0001 + 0.9999*b164)))*(0.0001 + 0.9999*b164)
+ 0.012395354497085*b164 =L= 0.012395354497085;
e350.. (-1 + sqr(3.71078725250056 - x739/(0.0001 + 0.9999*b165)) + sqr(
4.66415664133948 - x740/(0.0001 + 0.9999*b165)))*(0.0001 + 0.9999*b165)
+ 0.00345242992082719*b165 =L= 0.00345242992082719;
e351.. (-1 + sqr(0.107239833314705 - x741/(0.0001 + 0.9999*b166)) + sqr(
9.26202525440128 - x742/(0.0001 + 0.9999*b166)))*(0.0001 + 0.9999*b166)
+ 0.00847966121950165*b166 =L= 0.00847966121950165;
e352.. (-1 + sqr(8.04739319923014 - x743/(0.0001 + 0.9999*b167)) + sqr(
3.59305161391794 - x744/(0.0001 + 0.9999*b167)))*(0.0001 + 0.9999*b167)
+ 0.00766705572032937*b167 =L= 0.00766705572032937;
e353.. (-1 + sqr(5.28411061001579 - x745/(0.0001 + 0.9999*b168)) + sqr(
9.36648183133357 - x746/(0.0001 + 0.9999*b168)))*(0.0001 + 0.9999*b168)
+ 0.0114652806835583*b168 =L= 0.0114652806835583;
e354.. (-1 + sqr(1.06171481272944 - x747/(0.0001 + 0.9999*b169)) + sqr(
3.65844432398946 - x748/(0.0001 + 0.9999*b169)))*(0.0001 + 0.9999*b169)
+ 0.00135114532152998*b169 =L= 0.00135114532152998;
e355.. (-1 + sqr(9.05099582793631 - x749/(0.0001 + 0.9999*b170)) + sqr(
3.98215513024397 - x750/(0.0001 + 0.9999*b170)))*(0.0001 + 0.9999*b170)
+ 0.00967780849586488*b170 =L= 0.00967780849586488;
e356.. (-1 + sqr(9.08772707393705 - x751/(0.0001 + 0.9999*b171)) + sqr(
3.01388234113091 - x752/(0.0001 + 0.9999*b171)))*(0.0001 + 0.9999*b171)
+ 0.00906702701365492*b171 =L= 0.00906702701365492;
e357.. (-1 + sqr(8.83910845171846 - x753/(0.0001 + 0.9999*b172)) + sqr(
8.26686922455514 - x754/(0.0001 + 0.9999*b172)))*(0.0001 + 0.9999*b172)
+ 0.0145470964997138*b172 =L= 0.0145470964997138;
e358.. (-1 + sqr(3.41090111187451 - x755/(0.0001 + 0.9999*b173)) + sqr(
6.48985541572597 - x756/(0.0001 + 0.9999*b173)))*(0.0001 + 0.9999*b173)
+ 0.00527524697120144*b173 =L= 0.00527524697120144;
e359.. (-1 + sqr(1.22004189182266 - x757/(0.0001 + 0.9999*b174)) + sqr(
2.52276995748249 - x758/(0.0001 + 0.9999*b174)))*(0.0001 + 0.9999*b174)
+ 0.000685287047617839*b174 =L= 0.000685287047617839;
e360.. (-1 + sqr(3.94802045665365 - x759/(0.0001 + 0.9999*b175)) + sqr(
6.40339456473198 - x760/(0.0001 + 0.9999*b175)))*(0.0001 + 0.9999*b175)
+ 0.00555903274777947*b175 =L= 0.00555903274777947;
e361.. (-1 + sqr(4.9104301706676 - x761/(0.0001 + 0.9999*b176)) + sqr(
3.1538945754034 - x762/(0.0001 + 0.9999*b176)))*(0.0001 + 0.9999*b176)
+ 0.00330593754537616*b176 =L= 0.00330593754537616;
e362.. (-1 + sqr(3.23176530143453 - x763/(0.0001 + 0.9999*b177)) + sqr(
7.03644502956294 - x764/(0.0001 + 0.9999*b177)))*(0.0001 + 0.9999*b177)
+ 0.00589558656176173*b177 =L= 0.00589558656176173;
e363.. (-1 + sqr(0.39249886515424 - x765/(0.0001 + 0.9999*b178)) + sqr(
1.58871179600639 - x766/(0.0001 + 0.9999*b178)))*(0.0001 + 0.9999*b178)
+ 0.000167806052991721*b178 =L= 0.000167806052991721;
e364.. (-1 + sqr(4.42690021019308 - x767/(0.0001 + 0.9999*b179)) + sqr(
8.74244441962606 - x768/(0.0001 + 0.9999*b179)))*(0.0001 + 0.9999*b179)
+ 0.00950277799012584*b179 =L= 0.00950277799012584;
e365.. (-1 + sqr(2.59382124128511 - x769/(0.0001 + 0.9999*b180)) + sqr(
9.98780114819833 - x770/(0.0001 + 0.9999*b180)))*(0.0001 + 0.9999*b180)
+ 0.0105484080407694*b180 =L= 0.0105484080407694;
e366.. b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160
+ b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170
+ b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180
=E= 1;
e367.. (-1 + sqr(2.84746945184196 - x771/(0.0001 + 0.9999*b181)) + sqr(
6.74779851669768 - x772/(0.0001 + 0.9999*b181)))*(0.0001 + 0.9999*b181)
+ 0.00526408671011206*b181 =L= 0.00526408671011206;
e368.. (-1 + sqr(6.63261133839597 - x773/(0.0001 + 0.9999*b182)) + sqr(
7.58930814907984 - x774/(0.0001 + 0.9999*b182)))*(0.0001 + 0.9999*b182)
+ 0.0100589131347908*b182 =L= 0.0100589131347908;
e369.. (-1 + sqr(2.78008351564232 - x775/(0.0001 + 0.9999*b183)) + sqr(
5.62089512941063 - x776/(0.0001 + 0.9999*b183)))*(0.0001 + 0.9999*b183)
+ 0.00383233264097783*b183 =L= 0.00383233264097783;
e370.. (-1 + sqr(3.36345404799715 - x777/(0.0001 + 0.9999*b184)) + sqr(
5.61693710344635 - x778/(0.0001 + 0.9999*b184)))*(0.0001 + 0.9999*b184)
+ 0.00418628055570607*b184 =L= 0.00418628055570607;
e371.. (-1 + sqr(1.46574263591158 - x779/(0.0001 + 0.9999*b185)) + sqr(
0.14249643071642 - x780/(0.0001 + 0.9999*b185)))*(0.0001 + 0.9999*b185)
+ 0.000116870670749595*b185 =L= 0.000116870670749595;
e372.. (-1 + sqr(6.59824950993792 - x781/(0.0001 + 0.9999*b186)) + sqr(
1.91438252349491 - x782/(0.0001 + 0.9999*b186)))*(0.0001 + 0.9999*b186)
+ 0.00462017570416588*b186 =L= 0.00462017570416588;
e373.. (-1 + sqr(2.02515523263325 - x783/(0.0001 + 0.9999*b187)) + sqr(
3.62141731303869 - x784/(0.0001 + 0.9999*b187)))*(0.0001 + 0.9999*b187)
+ 0.00162159170714382*b187 =L= 0.00162159170714382;
e374.. (-1 + sqr(8.97152199819966 - x785/(0.0001 + 0.9999*b188)) + sqr(
8.78133845105015 - x786/(0.0001 + 0.9999*b188)))*(0.0001 + 0.9999*b188)
+ 0.0156600111956072*b188 =L= 0.0156600111956072;
e375.. (-1 + sqr(1.87485423601802 - x787/(0.0001 + 0.9999*b189)) + sqr(
8.96274662253461 - x788/(0.0001 + 0.9999*b189)))*(0.0001 + 0.9999*b189)
+ 0.00828459054260703*b189 =L= 0.00828459054260703;
e376.. (-1 + sqr(7.52025674966412 - x789/(0.0001 + 0.9999*b190)) + sqr(
8.80268658264247 - x790/(0.0001 + 0.9999*b190)))*(0.0001 + 0.9999*b190)
+ 0.0133041552653103*b190 =L= 0.0133041552653103;
e377.. (-1 + sqr(3.85704114235832 - x791/(0.0001 + 0.9999*b191)) + sqr(
6.36674450874035 - x792/(0.0001 + 0.9999*b191)))*(0.0001 + 0.9999*b191)
+ 0.00544122020134202*b191 =L= 0.00544122020134202;
e378.. (-1 + sqr(8.48963678940351 - x793/(0.0001 + 0.9999*b192)) + sqr(
5.48402210821562 - x794/(0.0001 + 0.9999*b192)))*(0.0001 + 0.9999*b192)
+ 0.0101148431299391*b192 =L= 0.0101148431299391;
e379.. (-1 + sqr(6.03160481727421 - x795/(0.0001 + 0.9999*b193)) + sqr(
1.276552921829 - x796/(0.0001 + 0.9999*b193)))*(0.0001 + 0.9999*b193) +
0.00370098440339957*b193 =L= 0.00370098440339957;
e380.. (-1 + sqr(6.90662266429413 - x797/(0.0001 + 0.9999*b194)) + sqr(
8.78931785429954 - x798/(0.0001 + 0.9999*b194)))*(0.0001 + 0.9999*b194)
+ 0.012395354497085*b194 =L= 0.012395354497085;
e381.. (-1 + sqr(3.71078725250056 - x799/(0.0001 + 0.9999*b195)) + sqr(
4.66415664133948 - x800/(0.0001 + 0.9999*b195)))*(0.0001 + 0.9999*b195)
+ 0.00345242992082719*b195 =L= 0.00345242992082719;
e382.. (-1 + sqr(0.107239833314705 - x801/(0.0001 + 0.9999*b196)) + sqr(
9.26202525440128 - x802/(0.0001 + 0.9999*b196)))*(0.0001 + 0.9999*b196)
+ 0.00847966121950165*b196 =L= 0.00847966121950165;
e383.. (-1 + sqr(8.04739319923014 - x803/(0.0001 + 0.9999*b197)) + sqr(
3.59305161391794 - x804/(0.0001 + 0.9999*b197)))*(0.0001 + 0.9999*b197)
+ 0.00766705572032937*b197 =L= 0.00766705572032937;
e384.. (-1 + sqr(5.28411061001579 - x805/(0.0001 + 0.9999*b198)) + sqr(
9.36648183133357 - x806/(0.0001 + 0.9999*b198)))*(0.0001 + 0.9999*b198)
+ 0.0114652806835583*b198 =L= 0.0114652806835583;
e385.. (-1 + sqr(1.06171481272944 - x807/(0.0001 + 0.9999*b199)) + sqr(
3.65844432398946 - x808/(0.0001 + 0.9999*b199)))*(0.0001 + 0.9999*b199)
+ 0.00135114532152998*b199 =L= 0.00135114532152998;
e386.. (-1 + sqr(9.05099582793631 - x809/(0.0001 + 0.9999*b200)) + sqr(
3.98215513024397 - x810/(0.0001 + 0.9999*b200)))*(0.0001 + 0.9999*b200)
+ 0.00967780849586488*b200 =L= 0.00967780849586488;
e387.. (-1 + sqr(9.08772707393705 - x811/(0.0001 + 0.9999*b201)) + sqr(
3.01388234113091 - x812/(0.0001 + 0.9999*b201)))*(0.0001 + 0.9999*b201)
+ 0.00906702701365492*b201 =L= 0.00906702701365492;
e388.. (-1 + sqr(8.83910845171846 - x813/(0.0001 + 0.9999*b202)) + sqr(
8.26686922455514 - x814/(0.0001 + 0.9999*b202)))*(0.0001 + 0.9999*b202)
+ 0.0145470964997138*b202 =L= 0.0145470964997138;
e389.. (-1 + sqr(3.41090111187451 - x815/(0.0001 + 0.9999*b203)) + sqr(
6.48985541572597 - x816/(0.0001 + 0.9999*b203)))*(0.0001 + 0.9999*b203)
+ 0.00527524697120144*b203 =L= 0.00527524697120144;
e390.. (-1 + sqr(1.22004189182266 - x817/(0.0001 + 0.9999*b204)) + sqr(
2.52276995748249 - x818/(0.0001 + 0.9999*b204)))*(0.0001 + 0.9999*b204)
+ 0.000685287047617839*b204 =L= 0.000685287047617839;
e391.. (-1 + sqr(3.94802045665365 - x819/(0.0001 + 0.9999*b205)) + sqr(
6.40339456473198 - x820/(0.0001 + 0.9999*b205)))*(0.0001 + 0.9999*b205)
+ 0.00555903274777947*b205 =L= 0.00555903274777947;
e392.. (-1 + sqr(4.9104301706676 - x821/(0.0001 + 0.9999*b206)) + sqr(
3.1538945754034 - x822/(0.0001 + 0.9999*b206)))*(0.0001 + 0.9999*b206)
+ 0.00330593754537616*b206 =L= 0.00330593754537616;
e393.. (-1 + sqr(3.23176530143453 - x823/(0.0001 + 0.9999*b207)) + sqr(
7.03644502956294 - x824/(0.0001 + 0.9999*b207)))*(0.0001 + 0.9999*b207)
+ 0.00589558656176173*b207 =L= 0.00589558656176173;
e394.. (-1 + sqr(0.39249886515424 - x825/(0.0001 + 0.9999*b208)) + sqr(
1.58871179600639 - x826/(0.0001 + 0.9999*b208)))*(0.0001 + 0.9999*b208)
+ 0.000167806052991721*b208 =L= 0.000167806052991721;
e395.. (-1 + sqr(4.42690021019308 - x827/(0.0001 + 0.9999*b209)) + sqr(
8.74244441962606 - x828/(0.0001 + 0.9999*b209)))*(0.0001 + 0.9999*b209)
+ 0.00950277799012584*b209 =L= 0.00950277799012584;
e396.. (-1 + sqr(2.59382124128511 - x829/(0.0001 + 0.9999*b210)) + sqr(
9.98780114819833 - x830/(0.0001 + 0.9999*b210)))*(0.0001 + 0.9999*b210)
+ 0.0105484080407694*b210 =L= 0.0105484080407694;
e397.. b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190
+ b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200
+ b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210
=E= 1;
e398.. (-1 + sqr(2.84746945184196 - x831/(0.0001 + 0.9999*b211)) + sqr(
6.74779851669768 - x832/(0.0001 + 0.9999*b211)))*(0.0001 + 0.9999*b211)
+ 0.00526408671011206*b211 =L= 0.00526408671011206;
e399.. (-1 + sqr(6.63261133839597 - x833/(0.0001 + 0.9999*b212)) + sqr(
7.58930814907984 - x834/(0.0001 + 0.9999*b212)))*(0.0001 + 0.9999*b212)
+ 0.0100589131347908*b212 =L= 0.0100589131347908;
e400.. (-1 + sqr(2.78008351564232 - x835/(0.0001 + 0.9999*b213)) + sqr(
5.62089512941063 - x836/(0.0001 + 0.9999*b213)))*(0.0001 + 0.9999*b213)
+ 0.00383233264097783*b213 =L= 0.00383233264097783;
e401.. (-1 + sqr(3.36345404799715 - x837/(0.0001 + 0.9999*b214)) + sqr(
5.61693710344635 - x838/(0.0001 + 0.9999*b214)))*(0.0001 + 0.9999*b214)
+ 0.00418628055570607*b214 =L= 0.00418628055570607;
e402.. (-1 + sqr(1.46574263591158 - x839/(0.0001 + 0.9999*b215)) + sqr(
0.14249643071642 - x840/(0.0001 + 0.9999*b215)))*(0.0001 + 0.9999*b215)
+ 0.000116870670749595*b215 =L= 0.000116870670749595;
e403.. (-1 + sqr(6.59824950993792 - x841/(0.0001 + 0.9999*b216)) + sqr(
1.91438252349491 - x842/(0.0001 + 0.9999*b216)))*(0.0001 + 0.9999*b216)
+ 0.00462017570416588*b216 =L= 0.00462017570416588;
e404.. (-1 + sqr(2.02515523263325 - x843/(0.0001 + 0.9999*b217)) + sqr(
3.62141731303869 - x844/(0.0001 + 0.9999*b217)))*(0.0001 + 0.9999*b217)
+ 0.00162159170714382*b217 =L= 0.00162159170714382;
e405.. (-1 + sqr(8.97152199819966 - x845/(0.0001 + 0.9999*b218)) + sqr(
8.78133845105015 - x846/(0.0001 + 0.9999*b218)))*(0.0001 + 0.9999*b218)
+ 0.0156600111956072*b218 =L= 0.0156600111956072;
e406.. (-1 + sqr(1.87485423601802 - x847/(0.0001 + 0.9999*b219)) + sqr(
8.96274662253461 - x848/(0.0001 + 0.9999*b219)))*(0.0001 + 0.9999*b219)
+ 0.00828459054260703*b219 =L= 0.00828459054260703;
e407.. (-1 + sqr(7.52025674966412 - x849/(0.0001 + 0.9999*b220)) + sqr(
8.80268658264247 - x850/(0.0001 + 0.9999*b220)))*(0.0001 + 0.9999*b220)
+ 0.0133041552653103*b220 =L= 0.0133041552653103;
e408.. (-1 + sqr(3.85704114235832 - x851/(0.0001 + 0.9999*b221)) + sqr(
6.36674450874035 - x852/(0.0001 + 0.9999*b221)))*(0.0001 + 0.9999*b221)
+ 0.00544122020134202*b221 =L= 0.00544122020134202;
e409.. (-1 + sqr(8.48963678940351 - x853/(0.0001 + 0.9999*b222)) + sqr(
5.48402210821562 - x854/(0.0001 + 0.9999*b222)))*(0.0001 + 0.9999*b222)
+ 0.0101148431299391*b222 =L= 0.0101148431299391;
e410.. (-1 + sqr(6.03160481727421 - x855/(0.0001 + 0.9999*b223)) + sqr(
1.276552921829 - x856/(0.0001 + 0.9999*b223)))*(0.0001 + 0.9999*b223) +
0.00370098440339957*b223 =L= 0.00370098440339957;
e411.. (-1 + sqr(6.90662266429413 - x857/(0.0001 + 0.9999*b224)) + sqr(
8.78931785429954 - x858/(0.0001 + 0.9999*b224)))*(0.0001 + 0.9999*b224)
+ 0.012395354497085*b224 =L= 0.012395354497085;
e412.. (-1 + sqr(3.71078725250056 - x859/(0.0001 + 0.9999*b225)) + sqr(
4.66415664133948 - x860/(0.0001 + 0.9999*b225)))*(0.0001 + 0.9999*b225)
+ 0.00345242992082719*b225 =L= 0.00345242992082719;
e413.. (-1 + sqr(0.107239833314705 - x861/(0.0001 + 0.9999*b226)) + sqr(
9.26202525440128 - x862/(0.0001 + 0.9999*b226)))*(0.0001 + 0.9999*b226)
+ 0.00847966121950165*b226 =L= 0.00847966121950165;
e414.. (-1 + sqr(8.04739319923014 - x863/(0.0001 + 0.9999*b227)) + sqr(
3.59305161391794 - x864/(0.0001 + 0.9999*b227)))*(0.0001 + 0.9999*b227)
+ 0.00766705572032937*b227 =L= 0.00766705572032937;
e415.. (-1 + sqr(5.28411061001579 - x865/(0.0001 + 0.9999*b228)) + sqr(
9.36648183133357 - x866/(0.0001 + 0.9999*b228)))*(0.0001 + 0.9999*b228)
+ 0.0114652806835583*b228 =L= 0.0114652806835583;
e416.. (-1 + sqr(1.06171481272944 - x867/(0.0001 + 0.9999*b229)) + sqr(
3.65844432398946 - x868/(0.0001 + 0.9999*b229)))*(0.0001 + 0.9999*b229)
+ 0.00135114532152998*b229 =L= 0.00135114532152998;
e417.. (-1 + sqr(9.05099582793631 - x869/(0.0001 + 0.9999*b230)) + sqr(
3.98215513024397 - x870/(0.0001 + 0.9999*b230)))*(0.0001 + 0.9999*b230)
+ 0.00967780849586488*b230 =L= 0.00967780849586488;
e418.. (-1 + sqr(9.08772707393705 - x871/(0.0001 + 0.9999*b231)) + sqr(
3.01388234113091 - x872/(0.0001 + 0.9999*b231)))*(0.0001 + 0.9999*b231)
+ 0.00906702701365492*b231 =L= 0.00906702701365492;
e419.. (-1 + sqr(8.83910845171846 - x873/(0.0001 + 0.9999*b232)) + sqr(
8.26686922455514 - x874/(0.0001 + 0.9999*b232)))*(0.0001 + 0.9999*b232)
+ 0.0145470964997138*b232 =L= 0.0145470964997138;
e420.. (-1 + sqr(3.41090111187451 - x875/(0.0001 + 0.9999*b233)) + sqr(
6.48985541572597 - x876/(0.0001 + 0.9999*b233)))*(0.0001 + 0.9999*b233)
+ 0.00527524697120144*b233 =L= 0.00527524697120144;
e421.. (-1 + sqr(1.22004189182266 - x877/(0.0001 + 0.9999*b234)) + sqr(
2.52276995748249 - x878/(0.0001 + 0.9999*b234)))*(0.0001 + 0.9999*b234)
+ 0.000685287047617839*b234 =L= 0.000685287047617839;
e422.. (-1 + sqr(3.94802045665365 - x879/(0.0001 + 0.9999*b235)) + sqr(
6.40339456473198 - x880/(0.0001 + 0.9999*b235)))*(0.0001 + 0.9999*b235)
+ 0.00555903274777947*b235 =L= 0.00555903274777947;
e423.. (-1 + sqr(4.9104301706676 - x881/(0.0001 + 0.9999*b236)) + sqr(
3.1538945754034 - x882/(0.0001 + 0.9999*b236)))*(0.0001 + 0.9999*b236)
+ 0.00330593754537616*b236 =L= 0.00330593754537616;
e424.. (-1 + sqr(3.23176530143453 - x883/(0.0001 + 0.9999*b237)) + sqr(
7.03644502956294 - x884/(0.0001 + 0.9999*b237)))*(0.0001 + 0.9999*b237)
+ 0.00589558656176173*b237 =L= 0.00589558656176173;
e425.. (-1 + sqr(0.39249886515424 - x885/(0.0001 + 0.9999*b238)) + sqr(
1.58871179600639 - x886/(0.0001 + 0.9999*b238)))*(0.0001 + 0.9999*b238)
+ 0.000167806052991721*b238 =L= 0.000167806052991721;
e426.. (-1 + sqr(4.42690021019308 - x887/(0.0001 + 0.9999*b239)) + sqr(
8.74244441962606 - x888/(0.0001 + 0.9999*b239)))*(0.0001 + 0.9999*b239)
+ 0.00950277799012584*b239 =L= 0.00950277799012584;
e427.. (-1 + sqr(2.59382124128511 - x889/(0.0001 + 0.9999*b240)) + sqr(
9.98780114819833 - x890/(0.0001 + 0.9999*b240)))*(0.0001 + 0.9999*b240)
+ 0.0105484080407694*b240 =L= 0.0105484080407694;
e428.. b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220
+ b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230
+ b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240
=E= 1;
e429.. (-1 + sqr(2.84746945184196 - x891/(0.0001 + 0.9999*b241)) + sqr(
6.74779851669768 - x892/(0.0001 + 0.9999*b241)))*(0.0001 + 0.9999*b241)
+ 0.00526408671011206*b241 =L= 0.00526408671011206;
e430.. (-1 + sqr(6.63261133839597 - x893/(0.0001 + 0.9999*b242)) + sqr(
7.58930814907984 - x894/(0.0001 + 0.9999*b242)))*(0.0001 + 0.9999*b242)
+ 0.0100589131347908*b242 =L= 0.0100589131347908;
e431.. (-1 + sqr(2.78008351564232 - x895/(0.0001 + 0.9999*b243)) + sqr(
5.62089512941063 - x896/(0.0001 + 0.9999*b243)))*(0.0001 + 0.9999*b243)
+ 0.00383233264097783*b243 =L= 0.00383233264097783;
e432.. (-1 + sqr(3.36345404799715 - x897/(0.0001 + 0.9999*b244)) + sqr(
5.61693710344635 - x898/(0.0001 + 0.9999*b244)))*(0.0001 + 0.9999*b244)
+ 0.00418628055570607*b244 =L= 0.00418628055570607;
e433.. (-1 + sqr(1.46574263591158 - x899/(0.0001 + 0.9999*b245)) + sqr(
0.14249643071642 - x900/(0.0001 + 0.9999*b245)))*(0.0001 + 0.9999*b245)
+ 0.000116870670749595*b245 =L= 0.000116870670749595;
e434.. (-1 + sqr(6.59824950993792 - x901/(0.0001 + 0.9999*b246)) + sqr(
1.91438252349491 - x902/(0.0001 + 0.9999*b246)))*(0.0001 + 0.9999*b246)
+ 0.00462017570416588*b246 =L= 0.00462017570416588;
e435.. (-1 + sqr(2.02515523263325 - x903/(0.0001 + 0.9999*b247)) + sqr(
3.62141731303869 - x904/(0.0001 + 0.9999*b247)))*(0.0001 + 0.9999*b247)
+ 0.00162159170714382*b247 =L= 0.00162159170714382;
e436.. (-1 + sqr(8.97152199819966 - x905/(0.0001 + 0.9999*b248)) + sqr(
8.78133845105015 - x906/(0.0001 + 0.9999*b248)))*(0.0001 + 0.9999*b248)
+ 0.0156600111956072*b248 =L= 0.0156600111956072;
e437.. (-1 + sqr(1.87485423601802 - x907/(0.0001 + 0.9999*b249)) + sqr(
8.96274662253461 - x908/(0.0001 + 0.9999*b249)))*(0.0001 + 0.9999*b249)
+ 0.00828459054260703*b249 =L= 0.00828459054260703;
e438.. (-1 + sqr(7.52025674966412 - x909/(0.0001 + 0.9999*b250)) + sqr(
8.80268658264247 - x910/(0.0001 + 0.9999*b250)))*(0.0001 + 0.9999*b250)
+ 0.0133041552653103*b250 =L= 0.0133041552653103;
e439.. (-1 + sqr(3.85704114235832 - x911/(0.0001 + 0.9999*b251)) + sqr(
6.36674450874035 - x912/(0.0001 + 0.9999*b251)))*(0.0001 + 0.9999*b251)
+ 0.00544122020134202*b251 =L= 0.00544122020134202;
e440.. (-1 + sqr(8.48963678940351 - x913/(0.0001 + 0.9999*b252)) + sqr(
5.48402210821562 - x914/(0.0001 + 0.9999*b252)))*(0.0001 + 0.9999*b252)
+ 0.0101148431299391*b252 =L= 0.0101148431299391;
e441.. (-1 + sqr(6.03160481727421 - x915/(0.0001 + 0.9999*b253)) + sqr(
1.276552921829 - x916/(0.0001 + 0.9999*b253)))*(0.0001 + 0.9999*b253) +
0.00370098440339957*b253 =L= 0.00370098440339957;
e442.. (-1 + sqr(6.90662266429413 - x917/(0.0001 + 0.9999*b254)) + sqr(
8.78931785429954 - x918/(0.0001 + 0.9999*b254)))*(0.0001 + 0.9999*b254)
+ 0.012395354497085*b254 =L= 0.012395354497085;
e443.. (-1 + sqr(3.71078725250056 - x919/(0.0001 + 0.9999*b255)) + sqr(
4.66415664133948 - x920/(0.0001 + 0.9999*b255)))*(0.0001 + 0.9999*b255)
+ 0.00345242992082719*b255 =L= 0.00345242992082719;
e444.. (-1 + sqr(0.107239833314705 - x921/(0.0001 + 0.9999*b256)) + sqr(
9.26202525440128 - x922/(0.0001 + 0.9999*b256)))*(0.0001 + 0.9999*b256)
+ 0.00847966121950165*b256 =L= 0.00847966121950165;
e445.. (-1 + sqr(8.04739319923014 - x923/(0.0001 + 0.9999*b257)) + sqr(
3.59305161391794 - x924/(0.0001 + 0.9999*b257)))*(0.0001 + 0.9999*b257)
+ 0.00766705572032937*b257 =L= 0.00766705572032937;
e446.. (-1 + sqr(5.28411061001579 - x925/(0.0001 + 0.9999*b258)) + sqr(
9.36648183133357 - x926/(0.0001 + 0.9999*b258)))*(0.0001 + 0.9999*b258)
+ 0.0114652806835583*b258 =L= 0.0114652806835583;
e447.. (-1 + sqr(1.06171481272944 - x927/(0.0001 + 0.9999*b259)) + sqr(
3.65844432398946 - x928/(0.0001 + 0.9999*b259)))*(0.0001 + 0.9999*b259)
+ 0.00135114532152998*b259 =L= 0.00135114532152998;
e448.. (-1 + sqr(9.05099582793631 - x929/(0.0001 + 0.9999*b260)) + sqr(
3.98215513024397 - x930/(0.0001 + 0.9999*b260)))*(0.0001 + 0.9999*b260)
+ 0.00967780849586488*b260 =L= 0.00967780849586488;
e449.. (-1 + sqr(9.08772707393705 - x931/(0.0001 + 0.9999*b261)) + sqr(
3.01388234113091 - x932/(0.0001 + 0.9999*b261)))*(0.0001 + 0.9999*b261)
+ 0.00906702701365492*b261 =L= 0.00906702701365492;
e450.. (-1 + sqr(8.83910845171846 - x933/(0.0001 + 0.9999*b262)) + sqr(
8.26686922455514 - x934/(0.0001 + 0.9999*b262)))*(0.0001 + 0.9999*b262)
+ 0.0145470964997138*b262 =L= 0.0145470964997138;
e451.. (-1 + sqr(3.41090111187451 - x935/(0.0001 + 0.9999*b263)) + sqr(
6.48985541572597 - x936/(0.0001 + 0.9999*b263)))*(0.0001 + 0.9999*b263)
+ 0.00527524697120144*b263 =L= 0.00527524697120144;
e452.. (-1 + sqr(1.22004189182266 - x937/(0.0001 + 0.9999*b264)) + sqr(
2.52276995748249 - x938/(0.0001 + 0.9999*b264)))*(0.0001 + 0.9999*b264)
+ 0.000685287047617839*b264 =L= 0.000685287047617839;
e453.. (-1 + sqr(3.94802045665365 - x939/(0.0001 + 0.9999*b265)) + sqr(
6.40339456473198 - x940/(0.0001 + 0.9999*b265)))*(0.0001 + 0.9999*b265)
+ 0.00555903274777947*b265 =L= 0.00555903274777947;
e454.. (-1 + sqr(4.9104301706676 - x941/(0.0001 + 0.9999*b266)) + sqr(
3.1538945754034 - x942/(0.0001 + 0.9999*b266)))*(0.0001 + 0.9999*b266)
+ 0.00330593754537616*b266 =L= 0.00330593754537616;
e455.. (-1 + sqr(3.23176530143453 - x943/(0.0001 + 0.9999*b267)) + sqr(
7.03644502956294 - x944/(0.0001 + 0.9999*b267)))*(0.0001 + 0.9999*b267)
+ 0.00589558656176173*b267 =L= 0.00589558656176173;
e456.. (-1 + sqr(0.39249886515424 - x945/(0.0001 + 0.9999*b268)) + sqr(
1.58871179600639 - x946/(0.0001 + 0.9999*b268)))*(0.0001 + 0.9999*b268)
+ 0.000167806052991721*b268 =L= 0.000167806052991721;
e457.. (-1 + sqr(4.42690021019308 - x947/(0.0001 + 0.9999*b269)) + sqr(
8.74244441962606 - x948/(0.0001 + 0.9999*b269)))*(0.0001 + 0.9999*b269)
+ 0.00950277799012584*b269 =L= 0.00950277799012584;
e458.. (-1 + sqr(2.59382124128511 - x949/(0.0001 + 0.9999*b270)) + sqr(
9.98780114819833 - x950/(0.0001 + 0.9999*b270)))*(0.0001 + 0.9999*b270)
+ 0.0105484080407694*b270 =L= 0.0105484080407694;
e459.. b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250
+ b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260
+ b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270
=E= 1;
e460.. (-1 + sqr(2.84746945184196 - x951/(0.0001 + 0.9999*b271)) + sqr(
6.74779851669768 - x952/(0.0001 + 0.9999*b271)))*(0.0001 + 0.9999*b271)
+ 0.00526408671011206*b271 =L= 0.00526408671011206;
e461.. (-1 + sqr(6.63261133839597 - x953/(0.0001 + 0.9999*b272)) + sqr(
7.58930814907984 - x954/(0.0001 + 0.9999*b272)))*(0.0001 + 0.9999*b272)
+ 0.0100589131347908*b272 =L= 0.0100589131347908;
e462.. (-1 + sqr(2.78008351564232 - x955/(0.0001 + 0.9999*b273)) + sqr(
5.62089512941063 - x956/(0.0001 + 0.9999*b273)))*(0.0001 + 0.9999*b273)
+ 0.00383233264097783*b273 =L= 0.00383233264097783;
e463.. (-1 + sqr(3.36345404799715 - x957/(0.0001 + 0.9999*b274)) + sqr(
5.61693710344635 - x958/(0.0001 + 0.9999*b274)))*(0.0001 + 0.9999*b274)
+ 0.00418628055570607*b274 =L= 0.00418628055570607;
e464.. (-1 + sqr(1.46574263591158 - x959/(0.0001 + 0.9999*b275)) + sqr(
0.14249643071642 - x960/(0.0001 + 0.9999*b275)))*(0.0001 + 0.9999*b275)
+ 0.000116870670749595*b275 =L= 0.000116870670749595;
e465.. (-1 + sqr(6.59824950993792 - x961/(0.0001 + 0.9999*b276)) + sqr(
1.91438252349491 - x962/(0.0001 + 0.9999*b276)))*(0.0001 + 0.9999*b276)
+ 0.00462017570416588*b276 =L= 0.00462017570416588;
e466.. (-1 + sqr(2.02515523263325 - x963/(0.0001 + 0.9999*b277)) + sqr(
3.62141731303869 - x964/(0.0001 + 0.9999*b277)))*(0.0001 + 0.9999*b277)
+ 0.00162159170714382*b277 =L= 0.00162159170714382;
e467.. (-1 + sqr(8.97152199819966 - x965/(0.0001 + 0.9999*b278)) + sqr(
8.78133845105015 - x966/(0.0001 + 0.9999*b278)))*(0.0001 + 0.9999*b278)
+ 0.0156600111956072*b278 =L= 0.0156600111956072;
e468.. (-1 + sqr(1.87485423601802 - x967/(0.0001 + 0.9999*b279)) + sqr(
8.96274662253461 - x968/(0.0001 + 0.9999*b279)))*(0.0001 + 0.9999*b279)
+ 0.00828459054260703*b279 =L= 0.00828459054260703;
e469.. (-1 + sqr(7.52025674966412 - x969/(0.0001 + 0.9999*b280)) + sqr(
8.80268658264247 - x970/(0.0001 + 0.9999*b280)))*(0.0001 + 0.9999*b280)
+ 0.0133041552653103*b280 =L= 0.0133041552653103;
e470.. (-1 + sqr(3.85704114235832 - x971/(0.0001 + 0.9999*b281)) + sqr(
6.36674450874035 - x972/(0.0001 + 0.9999*b281)))*(0.0001 + 0.9999*b281)
+ 0.00544122020134202*b281 =L= 0.00544122020134202;
e471.. (-1 + sqr(8.48963678940351 - x973/(0.0001 + 0.9999*b282)) + sqr(
5.48402210821562 - x974/(0.0001 + 0.9999*b282)))*(0.0001 + 0.9999*b282)
+ 0.0101148431299391*b282 =L= 0.0101148431299391;
e472.. (-1 + sqr(6.03160481727421 - x975/(0.0001 + 0.9999*b283)) + sqr(
1.276552921829 - x976/(0.0001 + 0.9999*b283)))*(0.0001 + 0.9999*b283) +
0.00370098440339957*b283 =L= 0.00370098440339957;
e473.. (-1 + sqr(6.90662266429413 - x977/(0.0001 + 0.9999*b284)) + sqr(
8.78931785429954 - x978/(0.0001 + 0.9999*b284)))*(0.0001 + 0.9999*b284)
+ 0.012395354497085*b284 =L= 0.012395354497085;
e474.. (-1 + sqr(3.71078725250056 - x979/(0.0001 + 0.9999*b285)) + sqr(
4.66415664133948 - x980/(0.0001 + 0.9999*b285)))*(0.0001 + 0.9999*b285)
+ 0.00345242992082719*b285 =L= 0.00345242992082719;
e475.. (-1 + sqr(0.107239833314705 - x981/(0.0001 + 0.9999*b286)) + sqr(
9.26202525440128 - x982/(0.0001 + 0.9999*b286)))*(0.0001 + 0.9999*b286)
+ 0.00847966121950165*b286 =L= 0.00847966121950165;
e476.. (-1 + sqr(8.04739319923014 - x983/(0.0001 + 0.9999*b287)) + sqr(
3.59305161391794 - x984/(0.0001 + 0.9999*b287)))*(0.0001 + 0.9999*b287)
+ 0.00766705572032937*b287 =L= 0.00766705572032937;
e477.. (-1 + sqr(5.28411061001579 - x985/(0.0001 + 0.9999*b288)) + sqr(
9.36648183133357 - x986/(0.0001 + 0.9999*b288)))*(0.0001 + 0.9999*b288)
+ 0.0114652806835583*b288 =L= 0.0114652806835583;
e478.. (-1 + sqr(1.06171481272944 - x987/(0.0001 + 0.9999*b289)) + sqr(
3.65844432398946 - x988/(0.0001 + 0.9999*b289)))*(0.0001 + 0.9999*b289)
+ 0.00135114532152998*b289 =L= 0.00135114532152998;
e479.. (-1 + sqr(9.05099582793631 - x989/(0.0001 + 0.9999*b290)) + sqr(
3.98215513024397 - x990/(0.0001 + 0.9999*b290)))*(0.0001 + 0.9999*b290)
+ 0.00967780849586488*b290 =L= 0.00967780849586488;
e480.. (-1 + sqr(9.08772707393705 - x991/(0.0001 + 0.9999*b291)) + sqr(
3.01388234113091 - x992/(0.0001 + 0.9999*b291)))*(0.0001 + 0.9999*b291)
+ 0.00906702701365492*b291 =L= 0.00906702701365492;
e481.. (-1 + sqr(8.83910845171846 - x993/(0.0001 + 0.9999*b292)) + sqr(
8.26686922455514 - x994/(0.0001 + 0.9999*b292)))*(0.0001 + 0.9999*b292)
+ 0.0145470964997138*b292 =L= 0.0145470964997138;
e482.. (-1 + sqr(3.41090111187451 - x995/(0.0001 + 0.9999*b293)) + sqr(
6.48985541572597 - x996/(0.0001 + 0.9999*b293)))*(0.0001 + 0.9999*b293)
+ 0.00527524697120144*b293 =L= 0.00527524697120144;
e483.. (-1 + sqr(1.22004189182266 - x997/(0.0001 + 0.9999*b294)) + sqr(
2.52276995748249 - x998/(0.0001 + 0.9999*b294)))*(0.0001 + 0.9999*b294)
+ 0.000685287047617839*b294 =L= 0.000685287047617839;
e484.. (-1 + sqr(3.94802045665365 - x999/(0.0001 + 0.9999*b295)) + sqr(
6.40339456473198 - x1000/(0.0001 + 0.9999*b295)))*(0.0001 + 0.9999*b295)
+ 0.00555903274777947*b295 =L= 0.00555903274777947;
e485.. (-1 + sqr(4.9104301706676 - x1001/(0.0001 + 0.9999*b296)) + sqr(
3.1538945754034 - x1002/(0.0001 + 0.9999*b296)))*(0.0001 + 0.9999*b296)
+ 0.00330593754537616*b296 =L= 0.00330593754537616;
e486.. (-1 + sqr(3.23176530143453 - x1003/(0.0001 + 0.9999*b297)) + sqr(
7.03644502956294 - x1004/(0.0001 + 0.9999*b297)))*(0.0001 + 0.9999*b297)
+ 0.00589558656176173*b297 =L= 0.00589558656176173;
e487.. (-1 + sqr(0.39249886515424 - x1005/(0.0001 + 0.9999*b298)) + sqr(
1.58871179600639 - x1006/(0.0001 + 0.9999*b298)))*(0.0001 + 0.9999*b298)
+ 0.000167806052991721*b298 =L= 0.000167806052991721;
e488.. (-1 + sqr(4.42690021019308 - x1007/(0.0001 + 0.9999*b299)) + sqr(
8.74244441962606 - x1008/(0.0001 + 0.9999*b299)))*(0.0001 + 0.9999*b299)
+ 0.00950277799012584*b299 =L= 0.00950277799012584;
e489.. (-1 + sqr(2.59382124128511 - x1009/(0.0001 + 0.9999*b300)) + sqr(
9.98780114819833 - x1010/(0.0001 + 0.9999*b300)))*(0.0001 + 0.9999*b300)
+ 0.0105484080407694*b300 =L= 0.0105484080407694;
e490.. b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280
+ b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290
+ b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300
=E= 1;
e491.. b1 + b31 + b61 + b91 + b121 + b151 + b181 + b211 + b241 + b271 =L= 1;
e492.. b2 + b32 + b62 + b92 + b122 + b152 + b182 + b212 + b242 + b272 =L= 1;
e493.. b3 + b33 + b63 + b93 + b123 + b153 + b183 + b213 + b243 + b273 =L= 1;
e494.. b4 + b34 + b64 + b94 + b124 + b154 + b184 + b214 + b244 + b274 =L= 1;
e495.. b5 + b35 + b65 + b95 + b125 + b155 + b185 + b215 + b245 + b275 =L= 1;
e496.. b6 + b36 + b66 + b96 + b126 + b156 + b186 + b216 + b246 + b276 =L= 1;
e497.. b7 + b37 + b67 + b97 + b127 + b157 + b187 + b217 + b247 + b277 =L= 1;
e498.. b8 + b38 + b68 + b98 + b128 + b158 + b188 + b218 + b248 + b278 =L= 1;
e499.. b9 + b39 + b69 + b99 + b129 + b159 + b189 + b219 + b249 + b279 =L= 1;
e500.. b10 + b40 + b70 + b100 + b130 + b160 + b190 + b220 + b250 + b280
=L= 1;
e501.. b11 + b41 + b71 + b101 + b131 + b161 + b191 + b221 + b251 + b281
=L= 1;
e502.. b12 + b42 + b72 + b102 + b132 + b162 + b192 + b222 + b252 + b282
=L= 1;
e503.. b13 + b43 + b73 + b103 + b133 + b163 + b193 + b223 + b253 + b283
=L= 1;
e504.. b14 + b44 + b74 + b104 + b134 + b164 + b194 + b224 + b254 + b284
=L= 1;
e505.. b15 + b45 + b75 + b105 + b135 + b165 + b195 + b225 + b255 + b285
=L= 1;
e506.. b16 + b46 + b76 + b106 + b136 + b166 + b196 + b226 + b256 + b286
=L= 1;
e507.. b17 + b47 + b77 + b107 + b137 + b167 + b197 + b227 + b257 + b287
=L= 1;
e508.. b18 + b48 + b78 + b108 + b138 + b168 + b198 + b228 + b258 + b288
=L= 1;
e509.. b19 + b49 + b79 + b109 + b139 + b169 + b199 + b229 + b259 + b289
=L= 1;
e510.. b20 + b50 + b80 + b110 + b140 + b170 + b200 + b230 + b260 + b290
=L= 1;
e511.. b21 + b51 + b81 + b111 + b141 + b171 + b201 + b231 + b261 + b291
=L= 1;
e512.. b22 + b52 + b82 + b112 + b142 + b172 + b202 + b232 + b262 + b292
=L= 1;
e513.. b23 + b53 + b83 + b113 + b143 + b173 + b203 + b233 + b263 + b293
=L= 1;
e514.. b24 + b54 + b84 + b114 + b144 + b174 + b204 + b234 + b264 + b294
=L= 1;
e515.. b25 + b55 + b85 + b115 + b145 + b175 + b205 + b235 + b265 + b295
=L= 1;
e516.. b26 + b56 + b86 + b116 + b146 + b176 + b206 + b236 + b266 + b296
=L= 1;
e517.. b27 + b57 + b87 + b117 + b147 + b177 + b207 + b237 + b267 + b297
=L= 1;
e518.. b28 + b58 + b88 + b118 + b148 + b178 + b208 + b238 + b268 + b298
=L= 1;
e519.. b29 + b59 + b89 + b119 + b149 + b179 + b209 + b239 + b269 + b299
=L= 1;
e520.. b30 + b60 + b90 + b120 + b150 + b180 + b210 + b240 + b270 + b300
=L= 1;
e521.. - x301 + x411 + x413 + x415 + x417 + x419 + x421 + x423 + x425 + x427
+ x429 + x431 + x433 + x435 + x437 + x439 + x441 + x443 + x445 + x447
+ x449 + x451 + x453 + x455 + x457 + x459 + x461 + x463 + x465 + x467
+ x469 =E= 0;
e522.. - x304 + x412 + x414 + x416 + x418 + x420 + x422 + x424 + x426 + x428
+ x430 + x432 + x434 + x436 + x438 + x440 + x442 + x444 + x446 + x448
+ x450 + x452 + x454 + x456 + x458 + x460 + x462 + x464 + x466 + x468
+ x470 =E= 0;
e523.. - x302 + x471 + x473 + x475 + x477 + x479 + x481 + x483 + x485 + x487
+ x489 + x491 + x493 + x495 + x497 + x499 + x501 + x503 + x505 + x507
+ x509 + x511 + x513 + x515 + x517 + x519 + x521 + x523 + x525 + x527
+ x529 =E= 0;
e524.. - x305 + x472 + x474 + x476 + x478 + x480 + x482 + x484 + x486 + x488
+ x490 + x492 + x494 + x496 + x498 + x500 + x502 + x504 + x506 + x508
+ x510 + x512 + x514 + x516 + x518 + x520 + x522 + x524 + x526 + x528
+ x530 =E= 0;
e525.. - x307 + x531 + x533 + x535 + x537 + x539 + x541 + x543 + x545 + x547
+ x549 + x551 + x553 + x555 + x557 + x559 + x561 + x563 + x565 + x567
+ x569 + x571 + x573 + x575 + x577 + x579 + x581 + x583 + x585 + x587
+ x589 =E= 0;
e526.. - x309 + x532 + x534 + x536 + x538 + x540 + x542 + x544 + x546 + x548
+ x550 + x552 + x554 + x556 + x558 + x560 + x562 + x564 + x566 + x568
+ x570 + x572 + x574 + x576 + x578 + x580 + x582 + x584 + x586 + x588
+ x590 =E= 0;
e527.. - x311 + x591 + x593 + x595 + x597 + x599 + x601 + x603 + x605 + x607
+ x609 + x611 + x613 + x615 + x617 + x619 + x621 + x623 + x625 + x627
+ x629 + x631 + x633 + x635 + x637 + x639 + x641 + x643 + x645 + x647
+ x649 =E= 0;
e528.. - x313 + x592 + x594 + x596 + x598 + x600 + x602 + x604 + x606 + x608
+ x610 + x612 + x614 + x616 + x618 + x620 + x622 + x624 + x626 + x628
+ x630 + x632 + x634 + x636 + x638 + x640 + x642 + x644 + x646 + x648
+ x650 =E= 0;
e529.. - x315 + x651 + x653 + x655 + x657 + x659 + x661 + x663 + x665 + x667
+ x669 + x671 + x673 + x675 + x677 + x679 + x681 + x683 + x685 + x687
+ x689 + x691 + x693 + x695 + x697 + x699 + x701 + x703 + x705 + x707
+ x709 =E= 0;
e530.. - x317 + x652 + x654 + x656 + x658 + x660 + x662 + x664 + x666 + x668
+ x670 + x672 + x674 + x676 + x678 + x680 + x682 + x684 + x686 + x688
+ x690 + x692 + x694 + x696 + x698 + x700 + x702 + x704 + x706 + x708
+ x710 =E= 0;
e531.. - x319 + x711 + x713 + x715 + x717 + x719 + x721 + x723 + x725 + x727
+ x729 + x731 + x733 + x735 + x737 + x739 + x741 + x743 + x745 + x747
+ x749 + x751 + x753 + x755 + x757 + x759 + x761 + x763 + x765 + x767
+ x769 =E= 0;
e532.. - x321 + x712 + x714 + x716 + x718 + x720 + x722 + x724 + x726 + x728
+ x730 + x732 + x734 + x736 + x738 + x740 + x742 + x744 + x746 + x748
+ x750 + x752 + x754 + x756 + x758 + x760 + x762 + x764 + x766 + x768
+ x770 =E= 0;
e533.. - x323 + x771 + x773 + x775 + x777 + x779 + x781 + x783 + x785 + x787
+ x789 + x791 + x793 + x795 + x797 + x799 + x801 + x803 + x805 + x807
+ x809 + x811 + x813 + x815 + x817 + x819 + x821 + x823 + x825 + x827
+ x829 =E= 0;
e534.. - x325 + x772 + x774 + x776 + x778 + x780 + x782 + x784 + x786 + x788
+ x790 + x792 + x794 + x796 + x798 + x800 + x802 + x804 + x806 + x808
+ x810 + x812 + x814 + x816 + x818 + x820 + x822 + x824 + x826 + x828
+ x830 =E= 0;
e535.. - x327 + x831 + x833 + x835 + x837 + x839 + x841 + x843 + x845 + x847
+ x849 + x851 + x853 + x855 + x857 + x859 + x861 + x863 + x865 + x867
+ x869 + x871 + x873 + x875 + x877 + x879 + x881 + x883 + x885 + x887
+ x889 =E= 0;
e536.. - x329 + x832 + x834 + x836 + x838 + x840 + x842 + x844 + x846 + x848
+ x850 + x852 + x854 + x856 + x858 + x860 + x862 + x864 + x866 + x868
+ x870 + x872 + x874 + x876 + x878 + x880 + x882 + x884 + x886 + x888
+ x890 =E= 0;
e537.. - x331 + x891 + x893 + x895 + x897 + x899 + x901 + x903 + x905 + x907
+ x909 + x911 + x913 + x915 + x917 + x919 + x921 + x923 + x925 + x927
+ x929 + x931 + x933 + x935 + x937 + x939 + x941 + x943 + x945 + x947
+ x949 =E= 0;
e538.. - x333 + x892 + x894 + x896 + x898 + x900 + x902 + x904 + x906 + x908
+ x910 + x912 + x914 + x916 + x918 + x920 + x922 + x924 + x926 + x928
+ x930 + x932 + x934 + x936 + x938 + x940 + x942 + x944 + x946 + x948
+ x950 =E= 0;
e539.. - x335 + x951 + x953 + x955 + x957 + x959 + x961 + x963 + x965 + x967
+ x969 + x971 + x973 + x975 + x977 + x979 + x981 + x983 + x985 + x987
+ x989 + x991 + x993 + x995 + x997 + x999 + x1001 + x1003 + x1005
+ x1007 + x1009 =E= 0;
e540.. - x337 + x952 + x954 + x956 + x958 + x960 + x962 + x964 + x966 + x968
+ x970 + x972 + x974 + x976 + x978 + x980 + x982 + x984 + x986 + x988
+ x990 + x992 + x994 + x996 + x998 + x1000 + x1002 + x1004 + x1006
+ x1008 + x1010 =E= 0;
e541.. - 10*b1 + x411 =L= 0;
e542.. - 10*b2 + x413 =L= 0;
e543.. - 10*b3 + x415 =L= 0;
e544.. - 10*b4 + x417 =L= 0;
e545.. - 10*b5 + x419 =L= 0;
e546.. - 10*b6 + x421 =L= 0;
e547.. - 10*b7 + x423 =L= 0;
e548.. - 10*b8 + x425 =L= 0;
e549.. - 10*b9 + x427 =L= 0;
e550.. - 10*b10 + x429 =L= 0;
e551.. - 10*b11 + x431 =L= 0;
e552.. - 10*b12 + x433 =L= 0;
e553.. - 10*b13 + x435 =L= 0;
e554.. - 10*b14 + x437 =L= 0;
e555.. - 10*b15 + x439 =L= 0;
e556.. - 10*b16 + x441 =L= 0;
e557.. - 10*b17 + x443 =L= 0;
e558.. - 10*b18 + x445 =L= 0;
e559.. - 10*b19 + x447 =L= 0;
e560.. - 10*b20 + x449 =L= 0;
e561.. - 10*b21 + x451 =L= 0;
e562.. - 10*b22 + x453 =L= 0;
e563.. - 10*b23 + x455 =L= 0;
e564.. - 10*b24 + x457 =L= 0;
e565.. - 10*b25 + x459 =L= 0;
e566.. - 10*b26 + x461 =L= 0;
e567.. - 10*b27 + x463 =L= 0;
e568.. - 10*b28 + x465 =L= 0;
e569.. - 10*b29 + x467 =L= 0;
e570.. - 10*b30 + x469 =L= 0;
e571.. - 10*b1 + x412 =L= 0;
e572.. - 10*b2 + x414 =L= 0;
e573.. - 10*b3 + x416 =L= 0;
e574.. - 10*b4 + x418 =L= 0;
e575.. - 10*b5 + x420 =L= 0;
e576.. - 10*b6 + x422 =L= 0;
e577.. - 10*b7 + x424 =L= 0;
e578.. - 10*b8 + x426 =L= 0;
e579.. - 10*b9 + x428 =L= 0;
e580.. - 10*b10 + x430 =L= 0;
e581.. - 10*b11 + x432 =L= 0;
e582.. - 10*b12 + x434 =L= 0;
e583.. - 10*b13 + x436 =L= 0;
e584.. - 10*b14 + x438 =L= 0;
e585.. - 10*b15 + x440 =L= 0;
e586.. - 10*b16 + x442 =L= 0;
e587.. - 10*b17 + x444 =L= 0;
e588.. - 10*b18 + x446 =L= 0;
e589.. - 10*b19 + x448 =L= 0;
e590.. - 10*b20 + x450 =L= 0;
e591.. - 10*b21 + x452 =L= 0;
e592.. - 10*b22 + x454 =L= 0;
e593.. - 10*b23 + x456 =L= 0;
e594.. - 10*b24 + x458 =L= 0;
e595.. - 10*b25 + x460 =L= 0;
e596.. - 10*b26 + x462 =L= 0;
e597.. - 10*b27 + x464 =L= 0;
e598.. - 10*b28 + x466 =L= 0;
e599.. - 10*b29 + x468 =L= 0;
e600.. - 10*b30 + x470 =L= 0;
e601.. - 10*b31 + x471 =L= 0;
e602.. - 10*b32 + x473 =L= 0;
e603.. - 10*b33 + x475 =L= 0;
e604.. - 10*b34 + x477 =L= 0;
e605.. - 10*b35 + x479 =L= 0;
e606.. - 10*b36 + x481 =L= 0;
e607.. - 10*b37 + x483 =L= 0;
e608.. - 10*b38 + x485 =L= 0;
e609.. - 10*b39 + x487 =L= 0;
e610.. - 10*b40 + x489 =L= 0;
e611.. - 10*b41 + x491 =L= 0;
e612.. - 10*b42 + x493 =L= 0;
e613.. - 10*b43 + x495 =L= 0;
e614.. - 10*b44 + x497 =L= 0;
e615.. - 10*b45 + x499 =L= 0;
e616.. - 10*b46 + x501 =L= 0;
e617.. - 10*b47 + x503 =L= 0;
e618.. - 10*b48 + x505 =L= 0;
e619.. - 10*b49 + x507 =L= 0;
e620.. - 10*b50 + x509 =L= 0;
e621.. - 10*b51 + x511 =L= 0;
e622.. - 10*b52 + x513 =L= 0;
e623.. - 10*b53 + x515 =L= 0;
e624.. - 10*b54 + x517 =L= 0;
e625.. - 10*b55 + x519 =L= 0;
e626.. - 10*b56 + x521 =L= 0;
e627.. - 10*b57 + x523 =L= 0;
e628.. - 10*b58 + x525 =L= 0;
e629.. - 10*b59 + x527 =L= 0;
e630.. - 10*b60 + x529 =L= 0;
e631.. - 10*b31 + x472 =L= 0;
e632.. - 10*b32 + x474 =L= 0;
e633.. - 10*b33 + x476 =L= 0;
e634.. - 10*b34 + x478 =L= 0;
e635.. - 10*b35 + x480 =L= 0;
e636.. - 10*b36 + x482 =L= 0;
e637.. - 10*b37 + x484 =L= 0;
e638.. - 10*b38 + x486 =L= 0;
e639.. - 10*b39 + x488 =L= 0;
e640.. - 10*b40 + x490 =L= 0;
e641.. - 10*b41 + x492 =L= 0;
e642.. - 10*b42 + x494 =L= 0;
e643.. - 10*b43 + x496 =L= 0;
e644.. - 10*b44 + x498 =L= 0;
e645.. - 10*b45 + x500 =L= 0;
e646.. - 10*b46 + x502 =L= 0;
e647.. - 10*b47 + x504 =L= 0;
e648.. - 10*b48 + x506 =L= 0;
e649.. - 10*b49 + x508 =L= 0;
e650.. - 10*b50 + x510 =L= 0;
e651.. - 10*b51 + x512 =L= 0;
e652.. - 10*b52 + x514 =L= 0;
e653.. - 10*b53 + x516 =L= 0;
e654.. - 10*b54 + x518 =L= 0;
e655.. - 10*b55 + x520 =L= 0;
e656.. - 10*b56 + x522 =L= 0;
e657.. - 10*b57 + x524 =L= 0;
e658.. - 10*b58 + x526 =L= 0;
e659.. - 10*b59 + x528 =L= 0;
e660.. - 10*b60 + x530 =L= 0;
e661.. - 10*b61 + x531 =L= 0;
e662.. - 10*b62 + x533 =L= 0;
e663.. - 10*b63 + x535 =L= 0;
e664.. - 10*b64 + x537 =L= 0;
e665.. - 10*b65 + x539 =L= 0;
e666.. - 10*b66 + x541 =L= 0;
e667.. - 10*b67 + x543 =L= 0;
e668.. - 10*b68 + x545 =L= 0;
e669.. - 10*b69 + x547 =L= 0;
e670.. - 10*b70 + x549 =L= 0;
e671.. - 10*b71 + x551 =L= 0;
e672.. - 10*b72 + x553 =L= 0;
e673.. - 10*b73 + x555 =L= 0;
e674.. - 10*b74 + x557 =L= 0;
e675.. - 10*b75 + x559 =L= 0;
e676.. - 10*b76 + x561 =L= 0;
e677.. - 10*b77 + x563 =L= 0;
e678.. - 10*b78 + x565 =L= 0;
e679.. - 10*b79 + x567 =L= 0;
e680.. - 10*b80 + x569 =L= 0;
e681.. - 10*b81 + x571 =L= 0;
e682.. - 10*b82 + x573 =L= 0;
e683.. - 10*b83 + x575 =L= 0;
e684.. - 10*b84 + x577 =L= 0;
e685.. - 10*b85 + x579 =L= 0;
e686.. - 10*b86 + x581 =L= 0;
e687.. - 10*b87 + x583 =L= 0;
e688.. - 10*b88 + x585 =L= 0;
e689.. - 10*b89 + x587 =L= 0;
e690.. - 10*b90 + x589 =L= 0;
e691.. - 10*b61 + x532 =L= 0;
e692.. - 10*b62 + x534 =L= 0;
e693.. - 10*b63 + x536 =L= 0;
e694.. - 10*b64 + x538 =L= 0;
e695.. - 10*b65 + x540 =L= 0;
e696.. - 10*b66 + x542 =L= 0;
e697.. - 10*b67 + x544 =L= 0;
e698.. - 10*b68 + x546 =L= 0;
e699.. - 10*b69 + x548 =L= 0;
e700.. - 10*b70 + x550 =L= 0;
e701.. - 10*b71 + x552 =L= 0;
e702.. - 10*b72 + x554 =L= 0;
e703.. - 10*b73 + x556 =L= 0;
e704.. - 10*b74 + x558 =L= 0;
e705.. - 10*b75 + x560 =L= 0;
e706.. - 10*b76 + x562 =L= 0;
e707.. - 10*b77 + x564 =L= 0;
e708.. - 10*b78 + x566 =L= 0;
e709.. - 10*b79 + x568 =L= 0;
e710.. - 10*b80 + x570 =L= 0;
e711.. - 10*b81 + x572 =L= 0;
e712.. - 10*b82 + x574 =L= 0;
e713.. - 10*b83 + x576 =L= 0;
e714.. - 10*b84 + x578 =L= 0;
e715.. - 10*b85 + x580 =L= 0;
e716.. - 10*b86 + x582 =L= 0;
e717.. - 10*b87 + x584 =L= 0;
e718.. - 10*b88 + x586 =L= 0;
e719.. - 10*b89 + x588 =L= 0;
e720.. - 10*b90 + x590 =L= 0;
e721.. - 10*b91 + x591 =L= 0;
e722.. - 10*b92 + x593 =L= 0;
e723.. - 10*b93 + x595 =L= 0;
e724.. - 10*b94 + x597 =L= 0;
e725.. - 10*b95 + x599 =L= 0;
e726.. - 10*b96 + x601 =L= 0;
e727.. - 10*b97 + x603 =L= 0;
e728.. - 10*b98 + x605 =L= 0;
e729.. - 10*b99 + x607 =L= 0;
e730.. - 10*b100 + x609 =L= 0;
e731.. - 10*b101 + x611 =L= 0;
e732.. - 10*b102 + x613 =L= 0;
e733.. - 10*b103 + x615 =L= 0;
e734.. - 10*b104 + x617 =L= 0;
e735.. - 10*b105 + x619 =L= 0;
e736.. - 10*b106 + x621 =L= 0;
e737.. - 10*b107 + x623 =L= 0;
e738.. - 10*b108 + x625 =L= 0;
e739.. - 10*b109 + x627 =L= 0;
e740.. - 10*b110 + x629 =L= 0;
e741.. - 10*b111 + x631 =L= 0;
e742.. - 10*b112 + x633 =L= 0;
e743.. - 10*b113 + x635 =L= 0;
e744.. - 10*b114 + x637 =L= 0;
e745.. - 10*b115 + x639 =L= 0;
e746.. - 10*b116 + x641 =L= 0;
e747.. - 10*b117 + x643 =L= 0;
e748.. - 10*b118 + x645 =L= 0;
e749.. - 10*b119 + x647 =L= 0;
e750.. - 10*b120 + x649 =L= 0;
e751.. - 10*b91 + x592 =L= 0;
e752.. - 10*b92 + x594 =L= 0;
e753.. - 10*b93 + x596 =L= 0;
e754.. - 10*b94 + x598 =L= 0;
e755.. - 10*b95 + x600 =L= 0;
e756.. - 10*b96 + x602 =L= 0;
e757.. - 10*b97 + x604 =L= 0;
e758.. - 10*b98 + x606 =L= 0;
e759.. - 10*b99 + x608 =L= 0;
e760.. - 10*b100 + x610 =L= 0;
e761.. - 10*b101 + x612 =L= 0;
e762.. - 10*b102 + x614 =L= 0;
e763.. - 10*b103 + x616 =L= 0;
e764.. - 10*b104 + x618 =L= 0;
e765.. - 10*b105 + x620 =L= 0;
e766.. - 10*b106 + x622 =L= 0;
e767.. - 10*b107 + x624 =L= 0;
e768.. - 10*b108 + x626 =L= 0;
e769.. - 10*b109 + x628 =L= 0;
e770.. - 10*b110 + x630 =L= 0;
e771.. - 10*b111 + x632 =L= 0;
e772.. - 10*b112 + x634 =L= 0;
e773.. - 10*b113 + x636 =L= 0;
e774.. - 10*b114 + x638 =L= 0;
e775.. - 10*b115 + x640 =L= 0;
e776.. - 10*b116 + x642 =L= 0;
e777.. - 10*b117 + x644 =L= 0;
e778.. - 10*b118 + x646 =L= 0;
e779.. - 10*b119 + x648 =L= 0;
e780.. - 10*b120 + x650 =L= 0;
e781.. - 10*b121 + x651 =L= 0;
e782.. - 10*b122 + x653 =L= 0;
e783.. - 10*b123 + x655 =L= 0;
e784.. - 10*b124 + x657 =L= 0;
e785.. - 10*b125 + x659 =L= 0;
e786.. - 10*b126 + x661 =L= 0;
e787.. - 10*b127 + x663 =L= 0;
e788.. - 10*b128 + x665 =L= 0;
e789.. - 10*b129 + x667 =L= 0;
e790.. - 10*b130 + x669 =L= 0;
e791.. - 10*b131 + x671 =L= 0;
e792.. - 10*b132 + x673 =L= 0;
e793.. - 10*b133 + x675 =L= 0;
e794.. - 10*b134 + x677 =L= 0;
e795.. - 10*b135 + x679 =L= 0;
e796.. - 10*b136 + x681 =L= 0;
e797.. - 10*b137 + x683 =L= 0;
e798.. - 10*b138 + x685 =L= 0;
e799.. - 10*b139 + x687 =L= 0;
e800.. - 10*b140 + x689 =L= 0;
e801.. - 10*b141 + x691 =L= 0;
e802.. - 10*b142 + x693 =L= 0;
e803.. - 10*b143 + x695 =L= 0;
e804.. - 10*b144 + x697 =L= 0;
e805.. - 10*b145 + x699 =L= 0;
e806.. - 10*b146 + x701 =L= 0;
e807.. - 10*b147 + x703 =L= 0;
e808.. - 10*b148 + x705 =L= 0;
e809.. - 10*b149 + x707 =L= 0;
e810.. - 10*b150 + x709 =L= 0;
e811.. - 10*b121 + x652 =L= 0;
e812.. - 10*b122 + x654 =L= 0;
e813.. - 10*b123 + x656 =L= 0;
e814.. - 10*b124 + x658 =L= 0;
e815.. - 10*b125 + x660 =L= 0;
e816.. - 10*b126 + x662 =L= 0;
e817.. - 10*b127 + x664 =L= 0;
e818.. - 10*b128 + x666 =L= 0;
e819.. - 10*b129 + x668 =L= 0;
e820.. - 10*b130 + x670 =L= 0;
e821.. - 10*b131 + x672 =L= 0;
e822.. - 10*b132 + x674 =L= 0;
e823.. - 10*b133 + x676 =L= 0;
e824.. - 10*b134 + x678 =L= 0;
e825.. - 10*b135 + x680 =L= 0;
e826.. - 10*b136 + x682 =L= 0;
e827.. - 10*b137 + x684 =L= 0;
e828.. - 10*b138 + x686 =L= 0;
e829.. - 10*b139 + x688 =L= 0;
e830.. - 10*b140 + x690 =L= 0;
e831.. - 10*b141 + x692 =L= 0;
e832.. - 10*b142 + x694 =L= 0;
e833.. - 10*b143 + x696 =L= 0;
e834.. - 10*b144 + x698 =L= 0;
e835.. - 10*b145 + x700 =L= 0;
e836.. - 10*b146 + x702 =L= 0;
e837.. - 10*b147 + x704 =L= 0;
e838.. - 10*b148 + x706 =L= 0;
e839.. - 10*b149 + x708 =L= 0;
e840.. - 10*b150 + x710 =L= 0;
e841.. - 10*b151 + x711 =L= 0;
e842.. - 10*b152 + x713 =L= 0;
e843.. - 10*b153 + x715 =L= 0;
e844.. - 10*b154 + x717 =L= 0;
e845.. - 10*b155 + x719 =L= 0;
e846.. - 10*b156 + x721 =L= 0;
e847.. - 10*b157 + x723 =L= 0;
e848.. - 10*b158 + x725 =L= 0;
e849.. - 10*b159 + x727 =L= 0;
e850.. - 10*b160 + x729 =L= 0;
e851.. - 10*b161 + x731 =L= 0;
e852.. - 10*b162 + x733 =L= 0;
e853.. - 10*b163 + x735 =L= 0;
e854.. - 10*b164 + x737 =L= 0;
e855.. - 10*b165 + x739 =L= 0;
e856.. - 10*b166 + x741 =L= 0;
e857.. - 10*b167 + x743 =L= 0;
e858.. - 10*b168 + x745 =L= 0;
e859.. - 10*b169 + x747 =L= 0;
e860.. - 10*b170 + x749 =L= 0;
e861.. - 10*b171 + x751 =L= 0;
e862.. - 10*b172 + x753 =L= 0;
e863.. - 10*b173 + x755 =L= 0;
e864.. - 10*b174 + x757 =L= 0;
e865.. - 10*b175 + x759 =L= 0;
e866.. - 10*b176 + x761 =L= 0;
e867.. - 10*b177 + x763 =L= 0;
e868.. - 10*b178 + x765 =L= 0;
e869.. - 10*b179 + x767 =L= 0;
e870.. - 10*b180 + x769 =L= 0;
e871.. - 10*b151 + x712 =L= 0;
e872.. - 10*b152 + x714 =L= 0;
e873.. - 10*b153 + x716 =L= 0;
e874.. - 10*b154 + x718 =L= 0;
e875.. - 10*b155 + x720 =L= 0;
e876.. - 10*b156 + x722 =L= 0;
e877.. - 10*b157 + x724 =L= 0;
e878.. - 10*b158 + x726 =L= 0;
e879.. - 10*b159 + x728 =L= 0;
e880.. - 10*b160 + x730 =L= 0;
e881.. - 10*b161 + x732 =L= 0;
e882.. - 10*b162 + x734 =L= 0;
e883.. - 10*b163 + x736 =L= 0;
e884.. - 10*b164 + x738 =L= 0;
e885.. - 10*b165 + x740 =L= 0;
e886.. - 10*b166 + x742 =L= 0;
e887.. - 10*b167 + x744 =L= 0;
e888.. - 10*b168 + x746 =L= 0;
e889.. - 10*b169 + x748 =L= 0;
e890.. - 10*b170 + x750 =L= 0;
e891.. - 10*b171 + x752 =L= 0;
e892.. - 10*b172 + x754 =L= 0;
e893.. - 10*b173 + x756 =L= 0;
e894.. - 10*b174 + x758 =L= 0;
e895.. - 10*b175 + x760 =L= 0;
e896.. - 10*b176 + x762 =L= 0;
e897.. - 10*b177 + x764 =L= 0;
e898.. - 10*b178 + x766 =L= 0;
e899.. - 10*b179 + x768 =L= 0;
e900.. - 10*b180 + x770 =L= 0;
e901.. - 10*b181 + x771 =L= 0;
e902.. - 10*b182 + x773 =L= 0;
e903.. - 10*b183 + x775 =L= 0;
e904.. - 10*b184 + x777 =L= 0;
e905.. - 10*b185 + x779 =L= 0;
e906.. - 10*b186 + x781 =L= 0;
e907.. - 10*b187 + x783 =L= 0;
e908.. - 10*b188 + x785 =L= 0;
e909.. - 10*b189 + x787 =L= 0;
e910.. - 10*b190 + x789 =L= 0;
e911.. - 10*b191 + x791 =L= 0;
e912.. - 10*b192 + x793 =L= 0;
e913.. - 10*b193 + x795 =L= 0;
e914.. - 10*b194 + x797 =L= 0;
e915.. - 10*b195 + x799 =L= 0;
e916.. - 10*b196 + x801 =L= 0;
e917.. - 10*b197 + x803 =L= 0;
e918.. - 10*b198 + x805 =L= 0;
e919.. - 10*b199 + x807 =L= 0;
e920.. - 10*b200 + x809 =L= 0;
e921.. - 10*b201 + x811 =L= 0;
e922.. - 10*b202 + x813 =L= 0;
e923.. - 10*b203 + x815 =L= 0;
e924.. - 10*b204 + x817 =L= 0;
e925.. - 10*b205 + x819 =L= 0;
e926.. - 10*b206 + x821 =L= 0;
e927.. - 10*b207 + x823 =L= 0;
e928.. - 10*b208 + x825 =L= 0;
e929.. - 10*b209 + x827 =L= 0;
e930.. - 10*b210 + x829 =L= 0;
e931.. - 10*b181 + x772 =L= 0;
e932.. - 10*b182 + x774 =L= 0;
e933.. - 10*b183 + x776 =L= 0;
e934.. - 10*b184 + x778 =L= 0;
e935.. - 10*b185 + x780 =L= 0;
e936.. - 10*b186 + x782 =L= 0;
e937.. - 10*b187 + x784 =L= 0;
e938.. - 10*b188 + x786 =L= 0;
e939.. - 10*b189 + x788 =L= 0;
e940.. - 10*b190 + x790 =L= 0;
e941.. - 10*b191 + x792 =L= 0;
e942.. - 10*b192 + x794 =L= 0;
e943.. - 10*b193 + x796 =L= 0;
e944.. - 10*b194 + x798 =L= 0;
e945.. - 10*b195 + x800 =L= 0;
e946.. - 10*b196 + x802 =L= 0;
e947.. - 10*b197 + x804 =L= 0;
e948.. - 10*b198 + x806 =L= 0;
e949.. - 10*b199 + x808 =L= 0;
e950.. - 10*b200 + x810 =L= 0;
e951.. - 10*b201 + x812 =L= 0;
e952.. - 10*b202 + x814 =L= 0;
e953.. - 10*b203 + x816 =L= 0;
e954.. - 10*b204 + x818 =L= 0;
e955.. - 10*b205 + x820 =L= 0;
e956.. - 10*b206 + x822 =L= 0;
e957.. - 10*b207 + x824 =L= 0;
e958.. - 10*b208 + x826 =L= 0;
e959.. - 10*b209 + x828 =L= 0;
e960.. - 10*b210 + x830 =L= 0;
e961.. - 10*b211 + x831 =L= 0;
e962.. - 10*b212 + x833 =L= 0;
e963.. - 10*b213 + x835 =L= 0;
e964.. - 10*b214 + x837 =L= 0;
e965.. - 10*b215 + x839 =L= 0;
e966.. - 10*b216 + x841 =L= 0;
e967.. - 10*b217 + x843 =L= 0;
e968.. - 10*b218 + x845 =L= 0;
e969.. - 10*b219 + x847 =L= 0;
e970.. - 10*b220 + x849 =L= 0;
e971.. - 10*b221 + x851 =L= 0;
e972.. - 10*b222 + x853 =L= 0;
e973.. - 10*b223 + x855 =L= 0;
e974.. - 10*b224 + x857 =L= 0;
e975.. - 10*b225 + x859 =L= 0;
e976.. - 10*b226 + x861 =L= 0;
e977.. - 10*b227 + x863 =L= 0;
e978.. - 10*b228 + x865 =L= 0;
e979.. - 10*b229 + x867 =L= 0;
e980.. - 10*b230 + x869 =L= 0;
e981.. - 10*b231 + x871 =L= 0;
e982.. - 10*b232 + x873 =L= 0;
e983.. - 10*b233 + x875 =L= 0;
e984.. - 10*b234 + x877 =L= 0;
e985.. - 10*b235 + x879 =L= 0;
e986.. - 10*b236 + x881 =L= 0;
e987.. - 10*b237 + x883 =L= 0;
e988.. - 10*b238 + x885 =L= 0;
e989.. - 10*b239 + x887 =L= 0;
e990.. - 10*b240 + x889 =L= 0;
e991.. - 10*b211 + x832 =L= 0;
e992.. - 10*b212 + x834 =L= 0;
e993.. - 10*b213 + x836 =L= 0;
e994.. - 10*b214 + x838 =L= 0;
e995.. - 10*b215 + x840 =L= 0;
e996.. - 10*b216 + x842 =L= 0;
e997.. - 10*b217 + x844 =L= 0;
e998.. - 10*b218 + x846 =L= 0;
e999.. - 10*b219 + x848 =L= 0;
e1000.. - 10*b220 + x850 =L= 0;
e1001.. - 10*b221 + x852 =L= 0;
e1002.. - 10*b222 + x854 =L= 0;
e1003.. - 10*b223 + x856 =L= 0;
e1004.. - 10*b224 + x858 =L= 0;
e1005.. - 10*b225 + x860 =L= 0;
e1006.. - 10*b226 + x862 =L= 0;
e1007.. - 10*b227 + x864 =L= 0;
e1008.. - 10*b228 + x866 =L= 0;
e1009.. - 10*b229 + x868 =L= 0;
e1010.. - 10*b230 + x870 =L= 0;
e1011.. - 10*b231 + x872 =L= 0;
e1012.. - 10*b232 + x874 =L= 0;
e1013.. - 10*b233 + x876 =L= 0;
e1014.. - 10*b234 + x878 =L= 0;
e1015.. - 10*b235 + x880 =L= 0;
e1016.. - 10*b236 + x882 =L= 0;
e1017.. - 10*b237 + x884 =L= 0;
e1018.. - 10*b238 + x886 =L= 0;
e1019.. - 10*b239 + x888 =L= 0;
e1020.. - 10*b240 + x890 =L= 0;
e1021.. - 10*b241 + x891 =L= 0;
e1022.. - 10*b242 + x893 =L= 0;
e1023.. - 10*b243 + x895 =L= 0;
e1024.. - 10*b244 + x897 =L= 0;
e1025.. - 10*b245 + x899 =L= 0;
e1026.. - 10*b246 + x901 =L= 0;
e1027.. - 10*b247 + x903 =L= 0;
e1028.. - 10*b248 + x905 =L= 0;
e1029.. - 10*b249 + x907 =L= 0;
e1030.. - 10*b250 + x909 =L= 0;
e1031.. - 10*b251 + x911 =L= 0;
e1032.. - 10*b252 + x913 =L= 0;
e1033.. - 10*b253 + x915 =L= 0;
e1034.. - 10*b254 + x917 =L= 0;
e1035.. - 10*b255 + x919 =L= 0;
e1036.. - 10*b256 + x921 =L= 0;
e1037.. - 10*b257 + x923 =L= 0;
e1038.. - 10*b258 + x925 =L= 0;
e1039.. - 10*b259 + x927 =L= 0;
e1040.. - 10*b260 + x929 =L= 0;
e1041.. - 10*b261 + x931 =L= 0;
e1042.. - 10*b262 + x933 =L= 0;
e1043.. - 10*b263 + x935 =L= 0;
e1044.. - 10*b264 + x937 =L= 0;
e1045.. - 10*b265 + x939 =L= 0;
e1046.. - 10*b266 + x941 =L= 0;
e1047.. - 10*b267 + x943 =L= 0;
e1048.. - 10*b268 + x945 =L= 0;
e1049.. - 10*b269 + x947 =L= 0;
e1050.. - 10*b270 + x949 =L= 0;
e1051.. - 10*b241 + x892 =L= 0;
e1052.. - 10*b242 + x894 =L= 0;
e1053.. - 10*b243 + x896 =L= 0;
e1054.. - 10*b244 + x898 =L= 0;
e1055.. - 10*b245 + x900 =L= 0;
e1056.. - 10*b246 + x902 =L= 0;
e1057.. - 10*b247 + x904 =L= 0;
e1058.. - 10*b248 + x906 =L= 0;
e1059.. - 10*b249 + x908 =L= 0;
e1060.. - 10*b250 + x910 =L= 0;
e1061.. - 10*b251 + x912 =L= 0;
e1062.. - 10*b252 + x914 =L= 0;
e1063.. - 10*b253 + x916 =L= 0;
e1064.. - 10*b254 + x918 =L= 0;
e1065.. - 10*b255 + x920 =L= 0;
e1066.. - 10*b256 + x922 =L= 0;
e1067.. - 10*b257 + x924 =L= 0;
e1068.. - 10*b258 + x926 =L= 0;
e1069.. - 10*b259 + x928 =L= 0;
e1070.. - 10*b260 + x930 =L= 0;
e1071.. - 10*b261 + x932 =L= 0;
e1072.. - 10*b262 + x934 =L= 0;
e1073.. - 10*b263 + x936 =L= 0;
e1074.. - 10*b264 + x938 =L= 0;
e1075.. - 10*b265 + x940 =L= 0;
e1076.. - 10*b266 + x942 =L= 0;
e1077.. - 10*b267 + x944 =L= 0;
e1078.. - 10*b268 + x946 =L= 0;
e1079.. - 10*b269 + x948 =L= 0;
e1080.. - 10*b270 + x950 =L= 0;
e1081.. - 10*b271 + x951 =L= 0;
e1082.. - 10*b272 + x953 =L= 0;
e1083.. - 10*b273 + x955 =L= 0;
e1084.. - 10*b274 + x957 =L= 0;
e1085.. - 10*b275 + x959 =L= 0;
e1086.. - 10*b276 + x961 =L= 0;
e1087.. - 10*b277 + x963 =L= 0;
e1088.. - 10*b278 + x965 =L= 0;
e1089.. - 10*b279 + x967 =L= 0;
e1090.. - 10*b280 + x969 =L= 0;
e1091.. - 10*b281 + x971 =L= 0;
e1092.. - 10*b282 + x973 =L= 0;
e1093.. - 10*b283 + x975 =L= 0;
e1094.. - 10*b284 + x977 =L= 0;
e1095.. - 10*b285 + x979 =L= 0;
e1096.. - 10*b286 + x981 =L= 0;
e1097.. - 10*b287 + x983 =L= 0;
e1098.. - 10*b288 + x985 =L= 0;
e1099.. - 10*b289 + x987 =L= 0;
e1100.. - 10*b290 + x989 =L= 0;
e1101.. - 10*b291 + x991 =L= 0;
e1102.. - 10*b292 + x993 =L= 0;
e1103.. - 10*b293 + x995 =L= 0;
e1104.. - 10*b294 + x997 =L= 0;
e1105.. - 10*b295 + x999 =L= 0;
e1106.. - 10*b296 + x1001 =L= 0;
e1107.. - 10*b297 + x1003 =L= 0;
e1108.. - 10*b298 + x1005 =L= 0;
e1109.. - 10*b299 + x1007 =L= 0;
e1110.. - 10*b300 + x1009 =L= 0;
e1111.. - 10*b271 + x952 =L= 0;
e1112.. - 10*b272 + x954 =L= 0;
e1113.. - 10*b273 + x956 =L= 0;
e1114.. - 10*b274 + x958 =L= 0;
e1115.. - 10*b275 + x960 =L= 0;
e1116.. - 10*b276 + x962 =L= 0;
e1117.. - 10*b277 + x964 =L= 0;
e1118.. - 10*b278 + x966 =L= 0;
e1119.. - 10*b279 + x968 =L= 0;
e1120.. - 10*b280 + x970 =L= 0;
e1121.. - 10*b281 + x972 =L= 0;
e1122.. - 10*b282 + x974 =L= 0;
e1123.. - 10*b283 + x976 =L= 0;
e1124.. - 10*b284 + x978 =L= 0;
e1125.. - 10*b285 + x980 =L= 0;
e1126.. - 10*b286 + x982 =L= 0;
e1127.. - 10*b287 + x984 =L= 0;
e1128.. - 10*b288 + x986 =L= 0;
e1129.. - 10*b289 + x988 =L= 0;
e1130.. - 10*b290 + x990 =L= 0;
e1131.. - 10*b291 + x992 =L= 0;
e1132.. - 10*b292 + x994 =L= 0;
e1133.. - 10*b293 + x996 =L= 0;
e1134.. - 10*b294 + x998 =L= 0;
e1135.. - 10*b295 + x1000 =L= 0;
e1136.. - 10*b296 + x1002 =L= 0;
e1137.. - 10*b297 + x1004 =L= 0;
e1138.. - 10*b298 + x1006 =L= 0;
e1139.. - 10*b299 + x1008 =L= 0;
e1140.. - 10*b300 + x1010 =L= 0;
e1141.. x301 - x302 =L= 0;
e1142.. x302 - x307 =L= 0;
e1143.. x307 - x311 =L= 0;
e1144.. x311 - x315 =L= 0;
e1145.. x315 - x319 =L= 0;
e1146.. x319 - x323 =L= 0;
e1147.. x323 - x327 =L= 0;
e1148.. x327 - x331 =L= 0;
e1149.. x331 - x335 =L= 0;
e1150.. - x303 - x306 - x308 - x310 - x312 - x314 - x316 - x318 - x320 - x322
- x324 - x326 - x328 - x330 - x332 - x334 - x336 - 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
+ objvar =E= 0;
* set non-default bounds
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;
x446.up = 10;
x447.up = 10;
x448.up = 10;
x449.up = 10;
x450.up = 10;
x451.up = 10;
x452.up = 10;
x453.up = 10;
x454.up = 10;
x455.up = 10;
x456.up = 10;
x457.up = 10;
x458.up = 10;
x459.up = 10;
x460.up = 10;
x461.up = 10;
x462.up = 10;
x463.up = 10;
x464.up = 10;
x465.up = 10;
x466.up = 10;
x467.up = 10;
x468.up = 10;
x469.up = 10;
x470.up = 10;
x471.up = 10;
x472.up = 10;
x473.up = 10;
x474.up = 10;
x475.up = 10;
x476.up = 10;
x477.up = 10;
x478.up = 10;
x479.up = 10;
x480.up = 10;
x481.up = 10;
x482.up = 10;
x483.up = 10;
x484.up = 10;
x485.up = 10;
x486.up = 10;
x487.up = 10;
x488.up = 10;
x489.up = 10;
x490.up = 10;
x491.up = 10;
x492.up = 10;
x493.up = 10;
x494.up = 10;
x495.up = 10;
x496.up = 10;
x497.up = 10;
x498.up = 10;
x499.up = 10;
x500.up = 10;
x501.up = 10;
x502.up = 10;
x503.up = 10;
x504.up = 10;
x505.up = 10;
x506.up = 10;
x507.up = 10;
x508.up = 10;
x509.up = 10;
x510.up = 10;
x511.up = 10;
x512.up = 10;
x513.up = 10;
x514.up = 10;
x515.up = 10;
x516.up = 10;
x517.up = 10;
x518.up = 10;
x519.up = 10;
x520.up = 10;
x521.up = 10;
x522.up = 10;
x523.up = 10;
x524.up = 10;
x525.up = 10;
x526.up = 10;
x527.up = 10;
x528.up = 10;
x529.up = 10;
x530.up = 10;
x531.up = 10;
x532.up = 10;
x533.up = 10;
x534.up = 10;
x535.up = 10;
x536.up = 10;
x537.up = 10;
x538.up = 10;
x539.up = 10;
x540.up = 10;
x541.up = 10;
x542.up = 10;
x543.up = 10;
x544.up = 10;
x545.up = 10;
x546.up = 10;
x547.up = 10;
x548.up = 10;
x549.up = 10;
x550.up = 10;
x551.up = 10;
x552.up = 10;
x553.up = 10;
x554.up = 10;
x555.up = 10;
x556.up = 10;
x557.up = 10;
x558.up = 10;
x559.up = 10;
x560.up = 10;
x561.up = 10;
x562.up = 10;
x563.up = 10;
x564.up = 10;
x565.up = 10;
x566.up = 10;
x567.up = 10;
x568.up = 10;
x569.up = 10;
x570.up = 10;
x571.up = 10;
x572.up = 10;
x573.up = 10;
x574.up = 10;
x575.up = 10;
x576.up = 10;
x577.up = 10;
x578.up = 10;
x579.up = 10;
x580.up = 10;
x581.up = 10;
x582.up = 10;
x583.up = 10;
x584.up = 10;
x585.up = 10;
x586.up = 10;
x587.up = 10;
x588.up = 10;
x589.up = 10;
x590.up = 10;
x591.up = 10;
x592.up = 10;
x593.up = 10;
x594.up = 10;
x595.up = 10;
x596.up = 10;
x597.up = 10;
x598.up = 10;
x599.up = 10;
x600.up = 10;
x601.up = 10;
x602.up = 10;
x603.up = 10;
x604.up = 10;
x605.up = 10;
x606.up = 10;
x607.up = 10;
x608.up = 10;
x609.up = 10;
x610.up = 10;
x611.up = 10;
x612.up = 10;
x613.up = 10;
x614.up = 10;
x615.up = 10;
x616.up = 10;
x617.up = 10;
x618.up = 10;
x619.up = 10;
x620.up = 10;
x621.up = 10;
x622.up = 10;
x623.up = 10;
x624.up = 10;
x625.up = 10;
x626.up = 10;
x627.up = 10;
x628.up = 10;
x629.up = 10;
x630.up = 10;
x631.up = 10;
x632.up = 10;
x633.up = 10;
x634.up = 10;
x635.up = 10;
x636.up = 10;
x637.up = 10;
x638.up = 10;
x639.up = 10;
x640.up = 10;
x641.up = 10;
x642.up = 10;
x643.up = 10;
x644.up = 10;
x645.up = 10;
x646.up = 10;
x647.up = 10;
x648.up = 10;
x649.up = 10;
x650.up = 10;
x651.up = 10;
x652.up = 10;
x653.up = 10;
x654.up = 10;
x655.up = 10;
x656.up = 10;
x657.up = 10;
x658.up = 10;
x659.up = 10;
x660.up = 10;
x661.up = 10;
x662.up = 10;
x663.up = 10;
x664.up = 10;
x665.up = 10;
x666.up = 10;
x667.up = 10;
x668.up = 10;
x669.up = 10;
x670.up = 10;
x671.up = 10;
x672.up = 10;
x673.up = 10;
x674.up = 10;
x675.up = 10;
x676.up = 10;
x677.up = 10;
x678.up = 10;
x679.up = 10;
x680.up = 10;
x681.up = 10;
x682.up = 10;
x683.up = 10;
x684.up = 10;
x685.up = 10;
x686.up = 10;
x687.up = 10;
x688.up = 10;
x689.up = 10;
x690.up = 10;
x691.up = 10;
x692.up = 10;
x693.up = 10;
x694.up = 10;
x695.up = 10;
x696.up = 10;
x697.up = 10;
x698.up = 10;
x699.up = 10;
x700.up = 10;
x701.up = 10;
x702.up = 10;
x703.up = 10;
x704.up = 10;
x705.up = 10;
x706.up = 10;
x707.up = 10;
x708.up = 10;
x709.up = 10;
x710.up = 10;
x711.up = 10;
x712.up = 10;
x713.up = 10;
x714.up = 10;
x715.up = 10;
x716.up = 10;
x717.up = 10;
x718.up = 10;
x719.up = 10;
x720.up = 10;
x721.up = 10;
x722.up = 10;
x723.up = 10;
x724.up = 10;
x725.up = 10;
x726.up = 10;
x727.up = 10;
x728.up = 10;
x729.up = 10;
x730.up = 10;
x731.up = 10;
x732.up = 10;
x733.up = 10;
x734.up = 10;
x735.up = 10;
x736.up = 10;
x737.up = 10;
x738.up = 10;
x739.up = 10;
x740.up = 10;
x741.up = 10;
x742.up = 10;
x743.up = 10;
x744.up = 10;
x745.up = 10;
x746.up = 10;
x747.up = 10;
x748.up = 10;
x749.up = 10;
x750.up = 10;
x751.up = 10;
x752.up = 10;
x753.up = 10;
x754.up = 10;
x755.up = 10;
x756.up = 10;
x757.up = 10;
x758.up = 10;
x759.up = 10;
x760.up = 10;
x761.up = 10;
x762.up = 10;
x763.up = 10;
x764.up = 10;
x765.up = 10;
x766.up = 10;
x767.up = 10;
x768.up = 10;
x769.up = 10;
x770.up = 10;
x771.up = 10;
x772.up = 10;
x773.up = 10;
x774.up = 10;
x775.up = 10;
x776.up = 10;
x777.up = 10;
x778.up = 10;
x779.up = 10;
x780.up = 10;
x781.up = 10;
x782.up = 10;
x783.up = 10;
x784.up = 10;
x785.up = 10;
x786.up = 10;
x787.up = 10;
x788.up = 10;
x789.up = 10;
x790.up = 10;
x791.up = 10;
x792.up = 10;
x793.up = 10;
x794.up = 10;
x795.up = 10;
x796.up = 10;
x797.up = 10;
x798.up = 10;
x799.up = 10;
x800.up = 10;
x801.up = 10;
x802.up = 10;
x803.up = 10;
x804.up = 10;
x805.up = 10;
x806.up = 10;
x807.up = 10;
x808.up = 10;
x809.up = 10;
x810.up = 10;
x811.up = 10;
x812.up = 10;
x813.up = 10;
x814.up = 10;
x815.up = 10;
x816.up = 10;
x817.up = 10;
x818.up = 10;
x819.up = 10;
x820.up = 10;
x821.up = 10;
x822.up = 10;
x823.up = 10;
x824.up = 10;
x825.up = 10;
x826.up = 10;
x827.up = 10;
x828.up = 10;
x829.up = 10;
x830.up = 10;
x831.up = 10;
x832.up = 10;
x833.up = 10;
x834.up = 10;
x835.up = 10;
x836.up = 10;
x837.up = 10;
x838.up = 10;
x839.up = 10;
x840.up = 10;
x841.up = 10;
x842.up = 10;
x843.up = 10;
x844.up = 10;
x845.up = 10;
x846.up = 10;
x847.up = 10;
x848.up = 10;
x849.up = 10;
x850.up = 10;
x851.up = 10;
x852.up = 10;
x853.up = 10;
x854.up = 10;
x855.up = 10;
x856.up = 10;
x857.up = 10;
x858.up = 10;
x859.up = 10;
x860.up = 10;
x861.up = 10;
x862.up = 10;
x863.up = 10;
x864.up = 10;
x865.up = 10;
x866.up = 10;
x867.up = 10;
x868.up = 10;
x869.up = 10;
x870.up = 10;
x871.up = 10;
x872.up = 10;
x873.up = 10;
x874.up = 10;
x875.up = 10;
x876.up = 10;
x877.up = 10;
x878.up = 10;
x879.up = 10;
x880.up = 10;
x881.up = 10;
x882.up = 10;
x883.up = 10;
x884.up = 10;
x885.up = 10;
x886.up = 10;
x887.up = 10;
x888.up = 10;
x889.up = 10;
x890.up = 10;
x891.up = 10;
x892.up = 10;
x893.up = 10;
x894.up = 10;
x895.up = 10;
x896.up = 10;
x897.up = 10;
x898.up = 10;
x899.up = 10;
x900.up = 10;
x901.up = 10;
x902.up = 10;
x903.up = 10;
x904.up = 10;
x905.up = 10;
x906.up = 10;
x907.up = 10;
x908.up = 10;
x909.up = 10;
x910.up = 10;
x911.up = 10;
x912.up = 10;
x913.up = 10;
x914.up = 10;
x915.up = 10;
x916.up = 10;
x917.up = 10;
x918.up = 10;
x919.up = 10;
x920.up = 10;
x921.up = 10;
x922.up = 10;
x923.up = 10;
x924.up = 10;
x925.up = 10;
x926.up = 10;
x927.up = 10;
x928.up = 10;
x929.up = 10;
x930.up = 10;
x931.up = 10;
x932.up = 10;
x933.up = 10;
x934.up = 10;
x935.up = 10;
x936.up = 10;
x937.up = 10;
x938.up = 10;
x939.up = 10;
x940.up = 10;
x941.up = 10;
x942.up = 10;
x943.up = 10;
x944.up = 10;
x945.up = 10;
x946.up = 10;
x947.up = 10;
x948.up = 10;
x949.up = 10;
x950.up = 10;
x951.up = 10;
x952.up = 10;
x953.up = 10;
x954.up = 10;
x955.up = 10;
x956.up = 10;
x957.up = 10;
x958.up = 10;
x959.up = 10;
x960.up = 10;
x961.up = 10;
x962.up = 10;
x963.up = 10;
x964.up = 10;
x965.up = 10;
x966.up = 10;
x967.up = 10;
x968.up = 10;
x969.up = 10;
x970.up = 10;
x971.up = 10;
x972.up = 10;
x973.up = 10;
x974.up = 10;
x975.up = 10;
x976.up = 10;
x977.up = 10;
x978.up = 10;
x979.up = 10;
x980.up = 10;
x981.up = 10;
x982.up = 10;
x983.up = 10;
x984.up = 10;
x985.up = 10;
x986.up = 10;
x987.up = 10;
x988.up = 10;
x989.up = 10;
x990.up = 10;
x991.up = 10;
x992.up = 10;
x993.up = 10;
x994.up = 10;
x995.up = 10;
x996.up = 10;
x997.up = 10;
x998.up = 10;
x999.up = 10;
x1000.up = 10;
x1001.up = 10;
x1002.up = 10;
x1003.up = 10;
x1004.up = 10;
x1005.up = 10;
x1006.up = 10;
x1007.up = 10;
x1008.up = 10;
x1009.up = 10;
x1010.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: 2024-04-02 Git hash: 1dd5fb9b