MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


Instance p_ball_40b_5p_4d_h

Select 5-points in 4-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 40 balls with radius one.
This is a convex-hull formulation.
Formats ams gms mod nl osil py
Primal Bounds (infeas ≤ 1e-08)
30.13272108 p1 ( gdx sol )
(infeas: 5e-11)
Other points (infeas > 1e-08)  
Dual Bounds
0.00000000 (ALPHAECP)
30.13272105 (ANTIGONE)
30.13269101 (BARON)
7.54067876 (BONMIN)
20.97533281 (COUENNE)
0.00000000 (LINDO)
30.13271353 (SCIP)
0.00000000 (SHOT)
References Kronqvist, Jan and Misener, Ruth, A disjunctive cut strengthening technique for convex MINLP, Tech. Rep., 2020.
Source p_ball_40b_5p_4d_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 1060
#Binary Variables 200
#Integer Variables 0
#Nonlinear Variables 1000
#Nonlinear Binary Variables 200
#Nonlinear Integer Variables 0
Objective Sense min
Objective type linear
Objective curvature linear
#Nonzeros in Objective 40
#Nonlinear Nonzeros in Objective 0
#Constraints 1149
#Linear Constraints 949
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 200
Operands in Gen. Nonlin. Functions div mul sqr
Constraints curvature convex
#Nonzeros in Jacobian 4068
#Nonlinear Nonzeros in Jacobian 1000
#Nonzeros in (Upper-Left) Hessian of Lagrangian 2600
#Nonzeros in Diagonal of Hessian of Lagrangian 1000
#Blocks in Hessian of Lagrangian 200
Minimal blocksize in Hessian of Lagrangian 5
Maximal blocksize in Hessian of Lagrangian 5
Average blocksize in Hessian of Lagrangian 5.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 of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*       1150       26        0     1124        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*       1061      861      200        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*       4109     3109     1000        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,x201,x202,x203,x204,x205,x206,x207
          ,x208,x209,x210,x211,x212,x213,x214,x215,x216,x217,x218,x219,x220
          ,x221,x222,x223,x224,x225,x226,x227,x228,x229,x230,x231,x232,x233
          ,x234,x235,x236,x237,x238,x239,x240,x241,x242,x243,x244,x245,x246
          ,x247,x248,x249,x250,x251,x252,x253,x254,x255,x256,x257,x258,x259
          ,x260,x261,x262,x263,x264,x265,x266,x267,x268,x269,x270,x271,x272
          ,x273,x274,x275,x276,x277,x278,x279,x280,x281,x282,x283,x284,x285
          ,x286,x287,x288,x289,x290,x291,x292,x293,x294,x295,x296,x297,x298
          ,x299,x300,x301,x302,x303,x304,x305,x306,x307,x308,x309,x310,x311
          ,x312,x313,x314,x315,x316,x317,x318,x319,x320,x321,x322,x323,x324
          ,x325,x326,x327,x328,x329,x330,x331,x332,x333,x334,x335,x336,x337
          ,x338,x339,x340,x341,x342,x343,x344,x345,x346,x347,x348,x349,x350
          ,x351,x352,x353,x354,x355,x356,x357,x358,x359,x360,x361,x362,x363
          ,x364,x365,x366,x367,x368,x369,x370,x371,x372,x373,x374,x375,x376
          ,x377,x378,x379,x380,x381,x382,x383,x384,x385,x386,x387,x388,x389
          ,x390,x391,x392,x393,x394,x395,x396,x397,x398,x399,x400,x401,x402
          ,x403,x404,x405,x406,x407,x408,x409,x410,x411,x412,x413,x414,x415
          ,x416,x417,x418,x419,x420,x421,x422,x423,x424,x425,x426,x427,x428
          ,x429,x430,x431,x432,x433,x434,x435,x436,x437,x438,x439,x440,x441
          ,x442,x443,x444,x445,x446,x447,x448,x449,x450,x451,x452,x453,x454
          ,x455,x456,x457,x458,x459,x460,x461,x462,x463,x464,x465,x466,x467
          ,x468,x469,x470,x471,x472,x473,x474,x475,x476,x477,x478,x479,x480
          ,x481,x482,x483,x484,x485,x486,x487,x488,x489,x490,x491,x492,x493
          ,x494,x495,x496,x497,x498,x499,x500,x501,x502,x503,x504,x505,x506
          ,x507,x508,x509,x510,x511,x512,x513,x514,x515,x516,x517,x518,x519
          ,x520,x521,x522,x523,x524,x525,x526,x527,x528,x529,x530,x531,x532
          ,x533,x534,x535,x536,x537,x538,x539,x540,x541,x542,x543,x544,x545
          ,x546,x547,x548,x549,x550,x551,x552,x553,x554,x555,x556,x557,x558
          ,x559,x560,x561,x562,x563,x564,x565,x566,x567,x568,x569,x570,x571
          ,x572,x573,x574,x575,x576,x577,x578,x579,x580,x581,x582,x583,x584
          ,x585,x586,x587,x588,x589,x590,x591,x592,x593,x594,x595,x596,x597
          ,x598,x599,x600,x601,x602,x603,x604,x605,x606,x607,x608,x609,x610
          ,x611,x612,x613,x614,x615,x616,x617,x618,x619,x620,x621,x622,x623
          ,x624,x625,x626,x627,x628,x629,x630,x631,x632,x633,x634,x635,x636
          ,x637,x638,x639,x640,x641,x642,x643,x644,x645,x646,x647,x648,x649
          ,x650,x651,x652,x653,x654,x655,x656,x657,x658,x659,x660,x661,x662
          ,x663,x664,x665,x666,x667,x668,x669,x670,x671,x672,x673,x674,x675
          ,x676,x677,x678,x679,x680,x681,x682,x683,x684,x685,x686,x687,x688
          ,x689,x690,x691,x692,x693,x694,x695,x696,x697,x698,x699,x700,x701
          ,x702,x703,x704,x705,x706,x707,x708,x709,x710,x711,x712,x713,x714
          ,x715,x716,x717,x718,x719,x720,x721,x722,x723,x724,x725,x726,x727
          ,x728,x729,x730,x731,x732,x733,x734,x735,x736,x737,x738,x739,x740
          ,x741,x742,x743,x744,x745,x746,x747,x748,x749,x750,x751,x752,x753
          ,x754,x755,x756,x757,x758,x759,x760,x761,x762,x763,x764,x765,x766
          ,x767,x768,x769,x770,x771,x772,x773,x774,x775,x776,x777,x778,x779
          ,x780,x781,x782,x783,x784,x785,x786,x787,x788,x789,x790,x791,x792
          ,x793,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,x1011
          ,x1012,x1013,x1014,x1015,x1016,x1017,x1018,x1019,x1020,x1021,x1022
          ,x1023,x1024,x1025,x1026,x1027,x1028,x1029,x1030,x1031,x1032,x1033
          ,x1034,x1035,x1036,x1037,x1038,x1039,x1040,x1041,x1042,x1043,x1044
          ,x1045,x1046,x1047,x1048,x1049,x1050,x1051,x1052,x1053,x1054,x1055
          ,x1056,x1057,x1058,x1059,x1060,objvar;

Positive Variables  x201,x202,x203,x204,x205,x206,x207,x208,x209,x210,x211
          ,x212,x213,x214,x215,x216,x217,x218,x219,x220,x221,x222,x223,x224
          ,x225,x226,x227,x228,x229,x230,x231,x232,x233,x234,x235,x236,x237
          ,x238,x239,x240,x241,x242,x243,x244,x245,x246,x247,x248,x249,x250
          ,x251,x252,x253,x254,x255,x256,x257,x258,x259,x260,x261,x262,x263
          ,x264,x265,x266,x267,x268,x269,x270,x271,x272,x273,x274,x275,x276
          ,x277,x278,x279,x280,x281,x282,x283,x284,x285,x286,x287,x288,x289
          ,x290,x291,x292,x293,x294,x295,x296,x297,x298,x299,x300,x301,x302
          ,x303,x304,x305,x306,x307,x308,x309,x310,x311,x312,x313,x314,x315
          ,x316,x317,x318,x319,x320,x321,x322,x323,x324,x325,x326,x327,x328
          ,x329,x330,x331,x332,x333,x334,x335,x336,x337,x338,x339,x340,x341
          ,x342,x343,x344,x345,x346,x347,x348,x349,x350,x351,x352,x353,x354
          ,x355,x356,x357,x358,x359,x360,x361,x362,x363,x364,x365,x366,x367
          ,x368,x369,x370,x371,x372,x373,x374,x375,x376,x377,x378,x379,x380
          ,x381,x382,x383,x384,x385,x386,x387,x388,x389,x390,x391,x392,x393
          ,x394,x395,x396,x397,x398,x399,x400,x401,x402,x403,x404,x405,x406
          ,x407,x408,x409,x410,x411,x412,x413,x414,x415,x416,x417,x418,x419
          ,x420,x421,x422,x423,x424,x425,x426,x427,x428,x429,x430,x431,x432
          ,x433,x434,x435,x436,x437,x438,x439,x440,x441,x442,x443,x444,x445
          ,x446,x447,x448,x449,x450,x451,x452,x453,x454,x455,x456,x457,x458
          ,x459,x460,x461,x462,x463,x464,x465,x466,x467,x468,x469,x470,x471
          ,x472,x473,x474,x475,x476,x477,x478,x479,x480,x481,x482,x483,x484
          ,x485,x486,x487,x488,x489,x490,x491,x492,x493,x494,x495,x496,x497
          ,x498,x499,x500,x501,x502,x503,x504,x505,x506,x507,x508,x509,x510
          ,x511,x512,x513,x514,x515,x516,x517,x518,x519,x520,x521,x522,x523
          ,x524,x525,x526,x527,x528,x529,x530,x531,x532,x533,x534,x535,x536
          ,x537,x538,x539,x540,x541,x542,x543,x544,x545,x546,x547,x548,x549
          ,x550,x551,x552,x553,x554,x555,x556,x557,x558,x559,x560,x561,x562
          ,x563,x564,x565,x566,x567,x568,x569,x570,x571,x572,x573,x574,x575
          ,x576,x577,x578,x579,x580,x581,x582,x583,x584,x585,x586,x587,x588
          ,x589,x590,x591,x592,x593,x594,x595,x596,x597,x598,x599,x600,x601
          ,x602,x603,x604,x605,x606,x607,x608,x609,x610,x611,x612,x613,x614
          ,x615,x616,x617,x618,x619,x620,x621,x622,x623,x624,x625,x626,x627
          ,x628,x629,x630,x631,x632,x633,x634,x635,x636,x637,x638,x639,x640
          ,x641,x642,x643,x644,x645,x646,x647,x648,x649,x650,x651,x652,x653
          ,x654,x655,x656,x657,x658,x659,x660,x661,x662,x663,x664,x665,x666
          ,x667,x668,x669,x670,x671,x672,x673,x674,x675,x676,x677,x678,x679
          ,x680,x681,x682,x683,x684,x685,x686,x687,x688,x689,x690,x691,x692
          ,x693,x694,x695,x696,x697,x698,x699,x700,x701,x702,x703,x704,x705
          ,x706,x707,x708,x709,x710,x711,x712,x713,x714,x715,x716,x717,x718
          ,x719,x720,x721,x722,x723,x724,x725,x726,x727,x728,x729,x730,x731
          ,x732,x733,x734,x735,x736,x737,x738,x739,x740,x741,x742,x743,x744
          ,x745,x746,x747,x748,x749,x750,x751,x752,x753,x754,x755,x756,x757
          ,x758,x759,x760,x761,x762,x763,x764,x765,x766,x767,x768,x769,x770
          ,x771,x772,x773,x774,x775,x776,x777,x778,x779,x780,x781,x782,x783
          ,x784,x785,x786,x787,x788,x789,x790,x791,x792,x793,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,x1011,x1012,x1013,x1014
          ,x1015,x1016,x1017,x1018,x1019,x1020,x1021,x1022,x1023,x1024,x1025
          ,x1026,x1027,x1028,x1029,x1030,x1031,x1032,x1033,x1034,x1035,x1036
          ,x1037,x1038,x1039,x1040,x1041,x1042,x1043,x1044,x1045,x1046,x1047
          ,x1048,x1049,x1050,x1051,x1052,x1053,x1054,x1055,x1056,x1057,x1058
          ,x1059,x1060;

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;

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..    x201 - x202 - x203 =L= 0;

e2..  - x201 + x202 - x203 =L= 0;

e3..    x204 - x205 - x206 =L= 0;

e4..  - x204 + x205 - x206 =L= 0;

e5..    x207 - x208 - x209 =L= 0;

e6..  - x207 + x208 - x209 =L= 0;

e7..    x210 - x211 - x212 =L= 0;

e8..  - x210 + x211 - x212 =L= 0;

e9..    x201 - x213 - x214 =L= 0;

e10..  - x201 + x213 - x214 =L= 0;

e11..    x204 - x215 - x216 =L= 0;

e12..  - x204 + x215 - x216 =L= 0;

e13..    x207 - x217 - x218 =L= 0;

e14..  - x207 + x217 - x218 =L= 0;

e15..    x210 - x219 - x220 =L= 0;

e16..  - x210 + x219 - x220 =L= 0;

e17..    x201 - x221 - x222 =L= 0;

e18..  - x201 + x221 - x222 =L= 0;

e19..    x204 - x223 - x224 =L= 0;

e20..  - x204 + x223 - x224 =L= 0;

e21..    x207 - x225 - x226 =L= 0;

e22..  - x207 + x225 - x226 =L= 0;

e23..    x210 - x227 - x228 =L= 0;

e24..  - x210 + x227 - x228 =L= 0;

e25..    x201 - x229 - x230 =L= 0;

e26..  - x201 + x229 - x230 =L= 0;

e27..    x204 - x231 - x232 =L= 0;

e28..  - x204 + x231 - x232 =L= 0;

e29..    x207 - x233 - x234 =L= 0;

e30..  - x207 + x233 - x234 =L= 0;

e31..    x210 - x235 - x236 =L= 0;

e32..  - x210 + x235 - x236 =L= 0;

e33..    x202 - x213 - x237 =L= 0;

e34..  - x202 + x213 - x237 =L= 0;

e35..    x205 - x215 - x238 =L= 0;

e36..  - x205 + x215 - x238 =L= 0;

e37..    x208 - x217 - x239 =L= 0;

e38..  - x208 + x217 - x239 =L= 0;

e39..    x211 - x219 - x240 =L= 0;

e40..  - x211 + x219 - x240 =L= 0;

e41..    x202 - x221 - x241 =L= 0;

e42..  - x202 + x221 - x241 =L= 0;

e43..    x205 - x223 - x242 =L= 0;

e44..  - x205 + x223 - x242 =L= 0;

e45..    x208 - x225 - x243 =L= 0;

e46..  - x208 + x225 - x243 =L= 0;

e47..    x211 - x227 - x244 =L= 0;

e48..  - x211 + x227 - x244 =L= 0;

e49..    x202 - x229 - x245 =L= 0;

e50..  - x202 + x229 - x245 =L= 0;

e51..    x205 - x231 - x246 =L= 0;

e52..  - x205 + x231 - x246 =L= 0;

e53..    x208 - x233 - x247 =L= 0;

e54..  - x208 + x233 - x247 =L= 0;

e55..    x211 - x235 - x248 =L= 0;

e56..  - x211 + x235 - x248 =L= 0;

e57..    x213 - x221 - x249 =L= 0;

e58..  - x213 + x221 - x249 =L= 0;

e59..    x215 - x223 - x250 =L= 0;

e60..  - x215 + x223 - x250 =L= 0;

e61..    x217 - x225 - x251 =L= 0;

e62..  - x217 + x225 - x251 =L= 0;

e63..    x219 - x227 - x252 =L= 0;

e64..  - x219 + x227 - x252 =L= 0;

e65..    x213 - x229 - x253 =L= 0;

e66..  - x213 + x229 - x253 =L= 0;

e67..    x215 - x231 - x254 =L= 0;

e68..  - x215 + x231 - x254 =L= 0;

e69..    x217 - x233 - x255 =L= 0;

e70..  - x217 + x233 - x255 =L= 0;

e71..    x219 - x235 - x256 =L= 0;

e72..  - x219 + x235 - x256 =L= 0;

e73..    x221 - x229 - x257 =L= 0;

e74..  - x221 + x229 - x257 =L= 0;

e75..    x223 - x231 - x258 =L= 0;

e76..  - x223 + x231 - x258 =L= 0;

e77..    x225 - x233 - x259 =L= 0;

e78..  - x225 + x233 - x259 =L= 0;

e79..    x227 - x235 - x260 =L= 0;

e80..  - x227 + x235 - x260 =L= 0;

e81.. (-1 + sqr(4.04180710023322 - x261/(0.0001 + 0.9999*b1)) + sqr(
      0.0638120906615358 - x262/(0.0001 + 0.9999*b1)) + sqr(9.31163964055327 - 
      x263/(0.0001 + 0.9999*b1)) + sqr(9.59399362610548 - x264/(0.0001 + 0.9999
      *b1)))*(0.0001 + 0.9999*b1) + 0.0194091623111686*b1
       =L= 0.0194091623111686;

e82.. (-1 + sqr(7.58630473662528 - x265/(0.0001 + 0.9999*b2)) + sqr(
      9.81696808234314 - x266/(0.0001 + 0.9999*b2)) + sqr(6.80594062551012 - 
      x267/(0.0001 + 0.9999*b2)) + sqr(5.73941560922778 - x268/(0.0001 + 0.9999
      *b2)))*(0.0001 + 0.9999*b2) + 0.0232186601220104*b2
       =L= 0.0232186601220104;

e83.. (-1 + sqr(4.73576208695481 - x269/(0.0001 + 0.9999*b3)) + sqr(
      2.81737915136856 - x270/(0.0001 + 0.9999*b3)) + sqr(0.919919756378161 - 
      x271/(0.0001 + 0.9999*b3)) + sqr(0.427396562561213 - x272/(0.0001 + 
      0.9999*b3)))*(0.0001 + 0.9999*b3) + 0.00303939880066688*b3
       =L= 0.00303939880066688;

e84.. (-1 + sqr(0.428853030190813 - x273/(0.0001 + 0.9999*b4)) + sqr(
      5.71294529671424 - x274/(0.0001 + 0.9999*b4)) + sqr(2.06079707847737 - 
      x275/(0.0001 + 0.9999*b4)) + sqr(3.87755584734058 - x276/(0.0001 + 0.9999
      *b4)))*(0.0001 + 0.9999*b4) + 0.00511039828326592*b4
       =L= 0.00511039828326592;

e85.. (-1 + sqr(1.0774677742481 - x277/(0.0001 + 0.9999*b5)) + sqr(
      0.802343324640142 - x278/(0.0001 + 0.9999*b5)) + sqr(5.05560926630768 - 
      x279/(0.0001 + 0.9999*b5)) + sqr(6.38583388950109 - x280/(0.0001 + 0.9999
      *b5)))*(0.0001 + 0.9999*b5) + 0.00671427511330145*b5
       =L= 0.00671427511330145;

e86.. (-1 + sqr(1.12638621393495 - x281/(0.0001 + 0.9999*b6)) + sqr(
      1.60465763780203 - x282/(0.0001 + 0.9999*b6)) + sqr(4.07986801140447 - 
      x283/(0.0001 + 0.9999*b6)) + sqr(2.17037731980447 - x284/(0.0001 + 0.9999
      *b6)))*(0.0001 + 0.9999*b6) + 0.00241995327383022*b6
       =L= 0.00241995327383022;

e87.. (-1 + sqr(1.82688019388165 - x285/(0.0001 + 0.9999*b7)) + sqr(
      4.63411239877442 - x286/(0.0001 + 0.9999*b7)) + sqr(5.05145431164509 - 
      x287/(0.0001 + 0.9999*b7)) + sqr(3.74855986966667 - x288/(0.0001 + 0.9999
      *b7)))*(0.0001 + 0.9999*b7) + 0.00633813807263851*b7
       =L= 0.00633813807263851;

e88.. (-1 + sqr(8.44017389324234 - x289/(0.0001 + 0.9999*b8)) + sqr(
      3.82403068466693 - x290/(0.0001 + 0.9999*b8)) + sqr(8.92353737043929 - 
      x291/(0.0001 + 0.9999*b8)) + sqr(4.64273943517454 - x292/(0.0001 + 0.9999
      *b8)))*(0.0001 + 0.9999*b8) + 0.0186044294689995*b8
       =L= 0.0186044294689995;

e89.. (-1 + sqr(5.87176386853829 - x293/(0.0001 + 0.9999*b9)) + sqr(
      1.44175632208916 - x294/(0.0001 + 0.9999*b9)) + sqr(3.18165222878213 - 
      x295/(0.0001 + 0.9999*b9)) + sqr(5.19789554578514 - x296/(0.0001 + 0.9999
      *b9)))*(0.0001 + 0.9999*b9) + 0.00726973012299631*b9
       =L= 0.00726973012299631;

e90.. (-1 + sqr(6.76013297629122 - x297/(0.0001 + 0.9999*b10)) + sqr(
      3.21254997009641 - x298/(0.0001 + 0.9999*b10)) + sqr(9.46706727409796 - 
      x299/(0.0001 + 0.9999*b10)) + sqr(0.816604516799142 - x300/(0.0001 + 
      0.9999*b10)))*(0.0001 + 0.9999*b10) + 0.014531208087666*b10
       =L= 0.014531208087666;

e91.. (-1 + sqr(3.24901644799959 - x301/(0.0001 + 0.9999*b11)) + sqr(
      7.51480516788174 - x302/(0.0001 + 0.9999*b11)) + sqr(4.01508707364147 - 
      x303/(0.0001 + 0.9999*b11)) + sqr(4.50822439140953 - x304/(0.0001 + 
      0.9999*b11)))*(0.0001 + 0.9999*b11) + 0.0102473415962817*b11
       =L= 0.0102473415962817;

e92.. (-1 + sqr(0.388900076234485 - x305/(0.0001 + 0.9999*b12)) + sqr(
      5.87163371055414 - x306/(0.0001 + 0.9999*b12)) + sqr(3.83580726436302 - 
      x307/(0.0001 + 0.9999*b12)) + sqr(3.02326353201313 - x308/(0.0001 + 
      0.9999*b12)))*(0.0001 + 0.9999*b12) + 0.00574808654535516*b12
       =L= 0.00574808654535516;

e93.. (-1 + sqr(0.790446136347066 - x309/(0.0001 + 0.9999*b13)) + sqr(
      8.25540861746511 - x310/(0.0001 + 0.9999*b13)) + sqr(8.76325441282356 - 
      x311/(0.0001 + 0.9999*b13)) + sqr(3.16275732090416 - x312/(0.0001 + 
      0.9999*b13)))*(0.0001 + 0.9999*b13) + 0.0154574238310588*b13
       =L= 0.0154574238310588;

e94.. (-1 + sqr(2.24835841067941 - x313/(0.0001 + 0.9999*b14)) + sqr(
      1.49328376014994 - x314/(0.0001 + 0.9999*b14)) + sqr(6.05269717076173 - 
      x315/(0.0001 + 0.9999*b14)) + sqr(9.30035396512944 - x316/(0.0001 + 
      0.9999*b14)))*(0.0001 + 0.9999*b14) + 0.0129416738848846*b14
       =L= 0.0129416738848846;

e95.. (-1 + sqr(9.00506853532299 - x317/(0.0001 + 0.9999*b15)) + sqr(
      4.84258207392989 - x318/(0.0001 + 0.9999*b15)) + sqr(5.30242448190069 - 
      x319/(0.0001 + 0.9999*b15)) + sqr(1.96947429895047 - x320/(0.0001 + 
      0.9999*b15)))*(0.0001 + 0.9999*b15) + 0.0135536394869098*b15
       =L= 0.0135536394869098;

e96.. (-1 + sqr(7.06852474736736 - x321/(0.0001 + 0.9999*b16)) + sqr(
      0.403068662414334 - x322/(0.0001 + 0.9999*b16)) + sqr(0.20219913526021 - 
      x323/(0.0001 + 0.9999*b16)) + sqr(1.72727050657669 - x324/(0.0001 + 
      0.9999*b16)))*(0.0001 + 0.9999*b16) + 0.0052150854343955*b16
       =L= 0.0052150854343955;

e97.. (-1 + sqr(2.04415436610942 - x325/(0.0001 + 0.9999*b17)) + sqr(
      9.79340385699591 - x326/(0.0001 + 0.9999*b17)) + sqr(1.37229670501157 - 
      x327/(0.0001 + 0.9999*b17)) + sqr(6.1403045098624 - x328/(0.0001 + 0.9999
      *b17)))*(0.0001 + 0.9999*b17) + 0.0138675863899129*b17
       =L= 0.0138675863899129;

e98.. (-1 + sqr(7.57624032466962 - x329/(0.0001 + 0.9999*b18)) + sqr(
      7.76217255967217 - x330/(0.0001 + 0.9999*b18)) + sqr(0.355128375706556 - 
      x331/(0.0001 + 0.9999*b18)) + sqr(1.44611951386816 - x332/(0.0001 + 
      0.9999*b18)))*(0.0001 + 0.9999*b18) + 0.01188681181149*b18
       =L= 0.01188681181149;

e99.. (-1 + sqr(5.27432353822418 - x333/(0.0001 + 0.9999*b19)) + sqr(
      8.94703040209787 - x334/(0.0001 + 0.9999*b19)) + sqr(6.2373757380993 - 
      x335/(0.0001 + 0.9999*b19)) + sqr(9.23461806871597 - x336/(0.0001 + 
      0.9999*b19)))*(0.0001 + 0.9999*b19) + 0.0231050868775215*b19
       =L= 0.0231050868775215;

e100.. (-1 + sqr(0.996186045951476 - x337/(0.0001 + 0.9999*b20)) + sqr(
       1.36457455477018 - x338/(0.0001 + 0.9999*b20)) + sqr(1.56471044095596 - 
       x339/(0.0001 + 0.9999*b20)) + sqr(3.36816773533039 - x340/(0.0001 + 
       0.9999*b20)))*(0.0001 + 0.9999*b20) + 0.00156473230110319*b20
        =L= 0.00156473230110319;

e101.. (-1 + sqr(4.02233509809877 - x341/(0.0001 + 0.9999*b21)) + sqr(
       8.45745652401958 - x342/(0.0001 + 0.9999*b21)) + sqr(9.01254148426443 - 
       x343/(0.0001 + 0.9999*b21)) + sqr(8.74685412361603 - x344/(0.0001 + 
       0.9999*b21)))*(0.0001 + 0.9999*b21) + 0.0244441111562485*b21
        =L= 0.0244441111562485;

e102.. (-1 + sqr(8.70857268900905 - x345/(0.0001 + 0.9999*b22)) + sqr(
       1.11796994384596 - x346/(0.0001 + 0.9999*b22)) + sqr(5.00432053303839 - 
       x347/(0.0001 + 0.9999*b22)) + sqr(2.40385817397397 - x348/(0.0001 + 
       0.9999*b22)))*(0.0001 + 0.9999*b22) + 0.0106910853193068*b22
        =L= 0.0106910853193068;

e103.. (-1 + sqr(7.54765700959199 - x349/(0.0001 + 0.9999*b23)) + sqr(
       4.80143075267339 - x350/(0.0001 + 0.9999*b23)) + sqr(8.40046817462899 - 
       x351/(0.0001 + 0.9999*b23)) + sqr(8.29113964786696 - x352/(0.0001 + 
       0.9999*b23)))*(0.0001 + 0.9999*b23) + 0.0218331725820547*b23
        =L= 0.0218331725820547;

e104.. (-1 + sqr(0.966865551002543 - x353/(0.0001 + 0.9999*b24)) + sqr(
       9.92855620143344 - x354/(0.0001 + 0.9999*b24)) + sqr(5.74951319729978 - 
       x355/(0.0001 + 0.9999*b24)) + sqr(3.53637928232447 - x356/(0.0001 + 
       0.9999*b24)))*(0.0001 + 0.9999*b24) + 0.0144073937673116*b24
        =L= 0.0144073937673116;

e105.. (-1 + sqr(0.45538917132773 - x357/(0.0001 + 0.9999*b25)) + sqr(
       1.48603663213761 - x358/(0.0001 + 0.9999*b25)) + sqr(9.82188246465487 - 
       x359/(0.0001 + 0.9999*b25)) + sqr(7.4461736036308 - x360/(0.0001 + 
       0.9999*b25)))*(0.0001 + 0.9999*b25) + 0.015333056065432*b25
        =L= 0.015333056065432;

e106.. (-1 + sqr(6.75415604579508 - x361/(0.0001 + 0.9999*b26)) + sqr(
       4.56383909220998 - x362/(0.0001 + 0.9999*b26)) + sqr(5.80815448731129 - 
       x363/(0.0001 + 0.9999*b26)) + sqr(1.39230685391611 - x364/(0.0001 + 
       0.9999*b26)))*(0.0001 + 0.9999*b26) + 0.010112042807447*b26
        =L= 0.010112042807447;

e107.. (-1 + sqr(8.85890029315383 - x365/(0.0001 + 0.9999*b27)) + sqr(
       6.16141864425327 - x366/(0.0001 + 0.9999*b27)) + sqr(2.25373679776979 - 
       x367/(0.0001 + 0.9999*b27)) + sqr(2.60508233041854 - x368/(0.0001 + 
       0.9999*b27)))*(0.0001 + 0.9999*b27) + 0.0127308977615673*b27
        =L= 0.0127308977615673;

e108.. (-1 + sqr(5.3549498366276 - x369/(0.0001 + 0.9999*b28)) + sqr(
       6.5028620799581 - x370/(0.0001 + 0.9999*b28)) + sqr(3.77860881416883 - 
       x371/(0.0001 + 0.9999*b28)) + sqr(3.88773754222155 - x372/(0.0001 + 
       0.9999*b28)))*(0.0001 + 0.9999*b28) + 0.00993550907514682*b28
        =L= 0.00993550907514682;

e109.. (-1 + sqr(0.113259012567859 - x373/(0.0001 + 0.9999*b29)) + sqr(
       4.95866301539607 - x374/(0.0001 + 0.9999*b29)) + sqr(8.39278608004883 - 
       x375/(0.0001 + 0.9999*b29)) + sqr(2.33998997152253 - x376/(0.0001 + 
       0.9999*b29)))*(0.0001 + 0.9999*b29) + 0.00995155777564721*b29
        =L= 0.00995155777564721;

e110.. (-1 + sqr(4.01186017931937 - x377/(0.0001 + 0.9999*b30)) + sqr(
       1.58505280271348 - x378/(0.0001 + 0.9999*b30)) + sqr(6.66701704740187 - 
       x379/(0.0001 + 0.9999*b30)) + sqr(6.15579863983494 - x380/(0.0001 + 
       0.9999*b30)))*(0.0001 + 0.9999*b30) + 0.00999503876903392*b30
        =L= 0.00999503876903392;

e111.. (-1 + sqr(6.96869478428464 - x381/(0.0001 + 0.9999*b31)) + sqr(
       4.10398909952988 - x382/(0.0001 + 0.9999*b31)) + sqr(6.0102827867986 - 
       x383/(0.0001 + 0.9999*b31)) + sqr(2.74411959285283 - x384/(0.0001 + 
       0.9999*b31)))*(0.0001 + 0.9999*b31) + 0.0108059125042742*b31
        =L= 0.0108059125042742;

e112.. (-1 + sqr(4.87285195085022 - x385/(0.0001 + 0.9999*b32)) + sqr(
       9.86295765077007 - x386/(0.0001 + 0.9999*b32)) + sqr(0.143489359365916
        - x387/(0.0001 + 0.9999*b32)) + sqr(8.80632332989694 - x388/(0.0001 + 
       0.9999*b32)))*(0.0001 + 0.9999*b32) + 0.0197594539542727*b32
        =L= 0.0197594539542727;

e113.. (-1 + sqr(7.83131209913544 - x389/(0.0001 + 0.9999*b33)) + sqr(
       1.43609337392774 - x390/(0.0001 + 0.9999*b33)) + sqr(3.30054263355244 - 
       x391/(0.0001 + 0.9999*b33)) + sqr(0.00125718557078214 - x392/(0.0001 + 
       0.9999*b33)))*(0.0001 + 0.9999*b33) + 0.00732853966291172*b33
        =L= 0.00732853966291172;

e114.. (-1 + sqr(5.66454764000128 - x393/(0.0001 + 0.9999*b34)) + sqr(
       5.56331545204103 - x394/(0.0001 + 0.9999*b34)) + sqr(1.14993711831163 - 
       x395/(0.0001 + 0.9999*b34)) + sqr(4.5715891663462 - x396/(0.0001 + 
       0.9999*b34)))*(0.0001 + 0.9999*b34) + 0.00842593616666874*b34
        =L= 0.00842593616666874;

e115.. (-1 + sqr(3.33190103022031 - x397/(0.0001 + 0.9999*b35)) + sqr(
       4.9445883792678 - x398/(0.0001 + 0.9999*b35)) + sqr(7.30728727625694 - 
       x399/(0.0001 + 0.9999*b35)) + sqr(8.01246235442081 - x400/(0.0001 + 
       0.9999*b35)))*(0.0001 + 0.9999*b35) + 0.0152146519034331*b35
        =L= 0.0152146519034331;

e116.. (-1 + sqr(9.33298244503801 - x401/(0.0001 + 0.9999*b36)) + sqr(
       0.723851580512842 - x402/(0.0001 + 0.9999*b36)) + sqr(8.42864317892565
        - x403/(0.0001 + 0.9999*b36)) + sqr(4.32119007374061 - x404/(0.0001 + 
       0.9999*b36)))*(0.0001 + 0.9999*b36) + 0.0176343231921043*b36
        =L= 0.0176343231921043;

e117.. (-1 + sqr(5.08063287228698 - x405/(0.0001 + 0.9999*b37)) + sqr(
       8.38761519865226 - x406/(0.0001 + 0.9999*b37)) + sqr(1.4027356086197 - 
       x407/(0.0001 + 0.9999*b37)) + sqr(6.86412480592018 - x408/(0.0001 + 
       0.9999*b37)))*(0.0001 + 0.9999*b37) + 0.0144248795642564*b37
        =L= 0.0144248795642564;

e118.. (-1 + sqr(2.37234068047016 - x409/(0.0001 + 0.9999*b38)) + sqr(
       7.05084260559812 - x410/(0.0001 + 0.9999*b38)) + sqr(9.48571415448197 - 
       x411/(0.0001 + 0.9999*b38)) + sqr(5.77659906719162 - x412/(0.0001 + 
       0.9999*b38)))*(0.0001 + 0.9999*b38) + 0.017769025155675*b38
        =L= 0.017769025155675;

e119.. (-1 + sqr(4.16198173364841 - x413/(0.0001 + 0.9999*b39)) + sqr(
       5.45114144772148 - x414/(0.0001 + 0.9999*b39)) + sqr(9.00182905163397 - 
       x415/(0.0001 + 0.9999*b39)) + sqr(3.4826499770368 - x416/(0.0001 + 
       0.9999*b39)))*(0.0001 + 0.9999*b39) + 0.0139198812171686*b39
        =L= 0.0139198812171686;

e120.. (-1 + sqr(4.45933786757702 - x417/(0.0001 + 0.9999*b40)) + sqr(
       4.47805189258463 - x418/(0.0001 + 0.9999*b40)) + sqr(6.61692822015399 - 
       x419/(0.0001 + 0.9999*b40)) + sqr(5.6343120215581 - x420/(0.0001 + 
       0.9999*b40)))*(0.0001 + 0.9999*b40) + 0.0114467853996832*b40
        =L= 0.0114467853996832;

e121..    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 =E= 1;

e122.. (-1 + sqr(4.04180710023322 - x421/(0.0001 + 0.9999*b41)) + sqr(
       0.0638120906615358 - x422/(0.0001 + 0.9999*b41)) + sqr(9.31163964055327
        - x423/(0.0001 + 0.9999*b41)) + sqr(9.59399362610548 - x424/(0.0001 + 
       0.9999*b41)))*(0.0001 + 0.9999*b41) + 0.0194091623111686*b41
        =L= 0.0194091623111686;

e123.. (-1 + sqr(7.58630473662528 - x425/(0.0001 + 0.9999*b42)) + sqr(
       9.81696808234314 - x426/(0.0001 + 0.9999*b42)) + sqr(6.80594062551012 - 
       x427/(0.0001 + 0.9999*b42)) + sqr(5.73941560922778 - x428/(0.0001 + 
       0.9999*b42)))*(0.0001 + 0.9999*b42) + 0.0232186601220104*b42
        =L= 0.0232186601220104;

e124.. (-1 + sqr(4.73576208695481 - x429/(0.0001 + 0.9999*b43)) + sqr(
       2.81737915136856 - x430/(0.0001 + 0.9999*b43)) + sqr(0.919919756378161
        - x431/(0.0001 + 0.9999*b43)) + sqr(0.427396562561213 - x432/(0.0001 + 
       0.9999*b43)))*(0.0001 + 0.9999*b43) + 0.00303939880066688*b43
        =L= 0.00303939880066688;

e125.. (-1 + sqr(0.428853030190813 - x433/(0.0001 + 0.9999*b44)) + sqr(
       5.71294529671424 - x434/(0.0001 + 0.9999*b44)) + sqr(2.06079707847737 - 
       x435/(0.0001 + 0.9999*b44)) + sqr(3.87755584734058 - x436/(0.0001 + 
       0.9999*b44)))*(0.0001 + 0.9999*b44) + 0.00511039828326592*b44
        =L= 0.00511039828326592;

e126.. (-1 + sqr(1.0774677742481 - x437/(0.0001 + 0.9999*b45)) + sqr(
       0.802343324640142 - x438/(0.0001 + 0.9999*b45)) + sqr(5.05560926630768
        - x439/(0.0001 + 0.9999*b45)) + sqr(6.38583388950109 - x440/(0.0001 + 
       0.9999*b45)))*(0.0001 + 0.9999*b45) + 0.00671427511330145*b45
        =L= 0.00671427511330145;

e127.. (-1 + sqr(1.12638621393495 - x441/(0.0001 + 0.9999*b46)) + sqr(
       1.60465763780203 - x442/(0.0001 + 0.9999*b46)) + sqr(4.07986801140447 - 
       x443/(0.0001 + 0.9999*b46)) + sqr(2.17037731980447 - x444/(0.0001 + 
       0.9999*b46)))*(0.0001 + 0.9999*b46) + 0.00241995327383022*b46
        =L= 0.00241995327383022;

e128.. (-1 + sqr(1.82688019388165 - x445/(0.0001 + 0.9999*b47)) + sqr(
       4.63411239877442 - x446/(0.0001 + 0.9999*b47)) + sqr(5.05145431164509 - 
       x447/(0.0001 + 0.9999*b47)) + sqr(3.74855986966667 - x448/(0.0001 + 
       0.9999*b47)))*(0.0001 + 0.9999*b47) + 0.00633813807263851*b47
        =L= 0.00633813807263851;

e129.. (-1 + sqr(8.44017389324234 - x449/(0.0001 + 0.9999*b48)) + sqr(
       3.82403068466693 - x450/(0.0001 + 0.9999*b48)) + sqr(8.92353737043929 - 
       x451/(0.0001 + 0.9999*b48)) + sqr(4.64273943517454 - x452/(0.0001 + 
       0.9999*b48)))*(0.0001 + 0.9999*b48) + 0.0186044294689995*b48
        =L= 0.0186044294689995;

e130.. (-1 + sqr(5.87176386853829 - x453/(0.0001 + 0.9999*b49)) + sqr(
       1.44175632208916 - x454/(0.0001 + 0.9999*b49)) + sqr(3.18165222878213 - 
       x455/(0.0001 + 0.9999*b49)) + sqr(5.19789554578514 - x456/(0.0001 + 
       0.9999*b49)))*(0.0001 + 0.9999*b49) + 0.00726973012299631*b49
        =L= 0.00726973012299631;

e131.. (-1 + sqr(6.76013297629122 - x457/(0.0001 + 0.9999*b50)) + sqr(
       3.21254997009641 - x458/(0.0001 + 0.9999*b50)) + sqr(9.46706727409796 - 
       x459/(0.0001 + 0.9999*b50)) + sqr(0.816604516799142 - x460/(0.0001 + 
       0.9999*b50)))*(0.0001 + 0.9999*b50) + 0.014531208087666*b50
        =L= 0.014531208087666;

e132.. (-1 + sqr(3.24901644799959 - x461/(0.0001 + 0.9999*b51)) + sqr(
       7.51480516788174 - x462/(0.0001 + 0.9999*b51)) + sqr(4.01508707364147 - 
       x463/(0.0001 + 0.9999*b51)) + sqr(4.50822439140953 - x464/(0.0001 + 
       0.9999*b51)))*(0.0001 + 0.9999*b51) + 0.0102473415962817*b51
        =L= 0.0102473415962817;

e133.. (-1 + sqr(0.388900076234485 - x465/(0.0001 + 0.9999*b52)) + sqr(
       5.87163371055414 - x466/(0.0001 + 0.9999*b52)) + sqr(3.83580726436302 - 
       x467/(0.0001 + 0.9999*b52)) + sqr(3.02326353201313 - x468/(0.0001 + 
       0.9999*b52)))*(0.0001 + 0.9999*b52) + 0.00574808654535516*b52
        =L= 0.00574808654535516;

e134.. (-1 + sqr(0.790446136347066 - x469/(0.0001 + 0.9999*b53)) + sqr(
       8.25540861746511 - x470/(0.0001 + 0.9999*b53)) + sqr(8.76325441282356 - 
       x471/(0.0001 + 0.9999*b53)) + sqr(3.16275732090416 - x472/(0.0001 + 
       0.9999*b53)))*(0.0001 + 0.9999*b53) + 0.0154574238310588*b53
        =L= 0.0154574238310588;

e135.. (-1 + sqr(2.24835841067941 - x473/(0.0001 + 0.9999*b54)) + sqr(
       1.49328376014994 - x474/(0.0001 + 0.9999*b54)) + sqr(6.05269717076173 - 
       x475/(0.0001 + 0.9999*b54)) + sqr(9.30035396512944 - x476/(0.0001 + 
       0.9999*b54)))*(0.0001 + 0.9999*b54) + 0.0129416738848846*b54
        =L= 0.0129416738848846;

e136.. (-1 + sqr(9.00506853532299 - x477/(0.0001 + 0.9999*b55)) + sqr(
       4.84258207392989 - x478/(0.0001 + 0.9999*b55)) + sqr(5.30242448190069 - 
       x479/(0.0001 + 0.9999*b55)) + sqr(1.96947429895047 - x480/(0.0001 + 
       0.9999*b55)))*(0.0001 + 0.9999*b55) + 0.0135536394869098*b55
        =L= 0.0135536394869098;

e137.. (-1 + sqr(7.06852474736736 - x481/(0.0001 + 0.9999*b56)) + sqr(
       0.403068662414334 - x482/(0.0001 + 0.9999*b56)) + sqr(0.20219913526021
        - x483/(0.0001 + 0.9999*b56)) + sqr(1.72727050657669 - x484/(0.0001 + 
       0.9999*b56)))*(0.0001 + 0.9999*b56) + 0.0052150854343955*b56
        =L= 0.0052150854343955;

e138.. (-1 + sqr(2.04415436610942 - x485/(0.0001 + 0.9999*b57)) + sqr(
       9.79340385699591 - x486/(0.0001 + 0.9999*b57)) + sqr(1.37229670501157 - 
       x487/(0.0001 + 0.9999*b57)) + sqr(6.1403045098624 - x488/(0.0001 + 
       0.9999*b57)))*(0.0001 + 0.9999*b57) + 0.0138675863899129*b57
        =L= 0.0138675863899129;

e139.. (-1 + sqr(7.57624032466962 - x489/(0.0001 + 0.9999*b58)) + sqr(
       7.76217255967217 - x490/(0.0001 + 0.9999*b58)) + sqr(0.355128375706556
        - x491/(0.0001 + 0.9999*b58)) + sqr(1.44611951386816 - x492/(0.0001 + 
       0.9999*b58)))*(0.0001 + 0.9999*b58) + 0.01188681181149*b58
        =L= 0.01188681181149;

e140.. (-1 + sqr(5.27432353822418 - x493/(0.0001 + 0.9999*b59)) + sqr(
       8.94703040209787 - x494/(0.0001 + 0.9999*b59)) + sqr(6.2373757380993 - 
       x495/(0.0001 + 0.9999*b59)) + sqr(9.23461806871597 - x496/(0.0001 + 
       0.9999*b59)))*(0.0001 + 0.9999*b59) + 0.0231050868775215*b59
        =L= 0.0231050868775215;

e141.. (-1 + sqr(0.996186045951476 - x497/(0.0001 + 0.9999*b60)) + sqr(
       1.36457455477018 - x498/(0.0001 + 0.9999*b60)) + sqr(1.56471044095596 - 
       x499/(0.0001 + 0.9999*b60)) + sqr(3.36816773533039 - x500/(0.0001 + 
       0.9999*b60)))*(0.0001 + 0.9999*b60) + 0.00156473230110319*b60
        =L= 0.00156473230110319;

e142.. (-1 + sqr(4.02233509809877 - x501/(0.0001 + 0.9999*b61)) + sqr(
       8.45745652401958 - x502/(0.0001 + 0.9999*b61)) + sqr(9.01254148426443 - 
       x503/(0.0001 + 0.9999*b61)) + sqr(8.74685412361603 - x504/(0.0001 + 
       0.9999*b61)))*(0.0001 + 0.9999*b61) + 0.0244441111562485*b61
        =L= 0.0244441111562485;

e143.. (-1 + sqr(8.70857268900905 - x505/(0.0001 + 0.9999*b62)) + sqr(
       1.11796994384596 - x506/(0.0001 + 0.9999*b62)) + sqr(5.00432053303839 - 
       x507/(0.0001 + 0.9999*b62)) + sqr(2.40385817397397 - x508/(0.0001 + 
       0.9999*b62)))*(0.0001 + 0.9999*b62) + 0.0106910853193068*b62
        =L= 0.0106910853193068;

e144.. (-1 + sqr(7.54765700959199 - x509/(0.0001 + 0.9999*b63)) + sqr(
       4.80143075267339 - x510/(0.0001 + 0.9999*b63)) + sqr(8.40046817462899 - 
       x511/(0.0001 + 0.9999*b63)) + sqr(8.29113964786696 - x512/(0.0001 + 
       0.9999*b63)))*(0.0001 + 0.9999*b63) + 0.0218331725820547*b63
        =L= 0.0218331725820547;

e145.. (-1 + sqr(0.966865551002543 - x513/(0.0001 + 0.9999*b64)) + sqr(
       9.92855620143344 - x514/(0.0001 + 0.9999*b64)) + sqr(5.74951319729978 - 
       x515/(0.0001 + 0.9999*b64)) + sqr(3.53637928232447 - x516/(0.0001 + 
       0.9999*b64)))*(0.0001 + 0.9999*b64) + 0.0144073937673116*b64
        =L= 0.0144073937673116;

e146.. (-1 + sqr(0.45538917132773 - x517/(0.0001 + 0.9999*b65)) + sqr(
       1.48603663213761 - x518/(0.0001 + 0.9999*b65)) + sqr(9.82188246465487 - 
       x519/(0.0001 + 0.9999*b65)) + sqr(7.4461736036308 - x520/(0.0001 + 
       0.9999*b65)))*(0.0001 + 0.9999*b65) + 0.015333056065432*b65
        =L= 0.015333056065432;

e147.. (-1 + sqr(6.75415604579508 - x521/(0.0001 + 0.9999*b66)) + sqr(
       4.56383909220998 - x522/(0.0001 + 0.9999*b66)) + sqr(5.80815448731129 - 
       x523/(0.0001 + 0.9999*b66)) + sqr(1.39230685391611 - x524/(0.0001 + 
       0.9999*b66)))*(0.0001 + 0.9999*b66) + 0.010112042807447*b66
        =L= 0.010112042807447;

e148.. (-1 + sqr(8.85890029315383 - x525/(0.0001 + 0.9999*b67)) + sqr(
       6.16141864425327 - x526/(0.0001 + 0.9999*b67)) + sqr(2.25373679776979 - 
       x527/(0.0001 + 0.9999*b67)) + sqr(2.60508233041854 - x528/(0.0001 + 
       0.9999*b67)))*(0.0001 + 0.9999*b67) + 0.0127308977615673*b67
        =L= 0.0127308977615673;

e149.. (-1 + sqr(5.3549498366276 - x529/(0.0001 + 0.9999*b68)) + sqr(
       6.5028620799581 - x530/(0.0001 + 0.9999*b68)) + sqr(3.77860881416883 - 
       x531/(0.0001 + 0.9999*b68)) + sqr(3.88773754222155 - x532/(0.0001 + 
       0.9999*b68)))*(0.0001 + 0.9999*b68) + 0.00993550907514682*b68
        =L= 0.00993550907514682;

e150.. (-1 + sqr(0.113259012567859 - x533/(0.0001 + 0.9999*b69)) + sqr(
       4.95866301539607 - x534/(0.0001 + 0.9999*b69)) + sqr(8.39278608004883 - 
       x535/(0.0001 + 0.9999*b69)) + sqr(2.33998997152253 - x536/(0.0001 + 
       0.9999*b69)))*(0.0001 + 0.9999*b69) + 0.00995155777564721*b69
        =L= 0.00995155777564721;

e151.. (-1 + sqr(4.01186017931937 - x537/(0.0001 + 0.9999*b70)) + sqr(
       1.58505280271348 - x538/(0.0001 + 0.9999*b70)) + sqr(6.66701704740187 - 
       x539/(0.0001 + 0.9999*b70)) + sqr(6.15579863983494 - x540/(0.0001 + 
       0.9999*b70)))*(0.0001 + 0.9999*b70) + 0.00999503876903392*b70
        =L= 0.00999503876903392;

e152.. (-1 + sqr(6.96869478428464 - x541/(0.0001 + 0.9999*b71)) + sqr(
       4.10398909952988 - x542/(0.0001 + 0.9999*b71)) + sqr(6.0102827867986 - 
       x543/(0.0001 + 0.9999*b71)) + sqr(2.74411959285283 - x544/(0.0001 + 
       0.9999*b71)))*(0.0001 + 0.9999*b71) + 0.0108059125042742*b71
        =L= 0.0108059125042742;

e153.. (-1 + sqr(4.87285195085022 - x545/(0.0001 + 0.9999*b72)) + sqr(
       9.86295765077007 - x546/(0.0001 + 0.9999*b72)) + sqr(0.143489359365916
        - x547/(0.0001 + 0.9999*b72)) + sqr(8.80632332989694 - x548/(0.0001 + 
       0.9999*b72)))*(0.0001 + 0.9999*b72) + 0.0197594539542727*b72
        =L= 0.0197594539542727;

e154.. (-1 + sqr(7.83131209913544 - x549/(0.0001 + 0.9999*b73)) + sqr(
       1.43609337392774 - x550/(0.0001 + 0.9999*b73)) + sqr(3.30054263355244 - 
       x551/(0.0001 + 0.9999*b73)) + sqr(0.00125718557078214 - x552/(0.0001 + 
       0.9999*b73)))*(0.0001 + 0.9999*b73) + 0.00732853966291172*b73
        =L= 0.00732853966291172;

e155.. (-1 + sqr(5.66454764000128 - x553/(0.0001 + 0.9999*b74)) + sqr(
       5.56331545204103 - x554/(0.0001 + 0.9999*b74)) + sqr(1.14993711831163 - 
       x555/(0.0001 + 0.9999*b74)) + sqr(4.5715891663462 - x556/(0.0001 + 
       0.9999*b74)))*(0.0001 + 0.9999*b74) + 0.00842593616666874*b74
        =L= 0.00842593616666874;

e156.. (-1 + sqr(3.33190103022031 - x557/(0.0001 + 0.9999*b75)) + sqr(
       4.9445883792678 - x558/(0.0001 + 0.9999*b75)) + sqr(7.30728727625694 - 
       x559/(0.0001 + 0.9999*b75)) + sqr(8.01246235442081 - x560/(0.0001 + 
       0.9999*b75)))*(0.0001 + 0.9999*b75) + 0.0152146519034331*b75
        =L= 0.0152146519034331;

e157.. (-1 + sqr(9.33298244503801 - x561/(0.0001 + 0.9999*b76)) + sqr(
       0.723851580512842 - x562/(0.0001 + 0.9999*b76)) + sqr(8.42864317892565
        - x563/(0.0001 + 0.9999*b76)) + sqr(4.32119007374061 - x564/(0.0001 + 
       0.9999*b76)))*(0.0001 + 0.9999*b76) + 0.0176343231921043*b76
        =L= 0.0176343231921043;

e158.. (-1 + sqr(5.08063287228698 - x565/(0.0001 + 0.9999*b77)) + sqr(
       8.38761519865226 - x566/(0.0001 + 0.9999*b77)) + sqr(1.4027356086197 - 
       x567/(0.0001 + 0.9999*b77)) + sqr(6.86412480592018 - x568/(0.0001 + 
       0.9999*b77)))*(0.0001 + 0.9999*b77) + 0.0144248795642564*b77
        =L= 0.0144248795642564;

e159.. (-1 + sqr(2.37234068047016 - x569/(0.0001 + 0.9999*b78)) + sqr(
       7.05084260559812 - x570/(0.0001 + 0.9999*b78)) + sqr(9.48571415448197 - 
       x571/(0.0001 + 0.9999*b78)) + sqr(5.77659906719162 - x572/(0.0001 + 
       0.9999*b78)))*(0.0001 + 0.9999*b78) + 0.017769025155675*b78
        =L= 0.017769025155675;

e160.. (-1 + sqr(4.16198173364841 - x573/(0.0001 + 0.9999*b79)) + sqr(
       5.45114144772148 - x574/(0.0001 + 0.9999*b79)) + sqr(9.00182905163397 - 
       x575/(0.0001 + 0.9999*b79)) + sqr(3.4826499770368 - x576/(0.0001 + 
       0.9999*b79)))*(0.0001 + 0.9999*b79) + 0.0139198812171686*b79
        =L= 0.0139198812171686;

e161.. (-1 + sqr(4.45933786757702 - x577/(0.0001 + 0.9999*b80)) + sqr(
       4.47805189258463 - x578/(0.0001 + 0.9999*b80)) + sqr(6.61692822015399 - 
       x579/(0.0001 + 0.9999*b80)) + sqr(5.6343120215581 - x580/(0.0001 + 
       0.9999*b80)))*(0.0001 + 0.9999*b80) + 0.0114467853996832*b80
        =L= 0.0114467853996832;

e162..    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 =E= 1;

e163.. (-1 + sqr(4.04180710023322 - x581/(0.0001 + 0.9999*b81)) + sqr(
       0.0638120906615358 - x582/(0.0001 + 0.9999*b81)) + sqr(9.31163964055327
        - x583/(0.0001 + 0.9999*b81)) + sqr(9.59399362610548 - x584/(0.0001 + 
       0.9999*b81)))*(0.0001 + 0.9999*b81) + 0.0194091623111686*b81
        =L= 0.0194091623111686;

e164.. (-1 + sqr(7.58630473662528 - x585/(0.0001 + 0.9999*b82)) + sqr(
       9.81696808234314 - x586/(0.0001 + 0.9999*b82)) + sqr(6.80594062551012 - 
       x587/(0.0001 + 0.9999*b82)) + sqr(5.73941560922778 - x588/(0.0001 + 
       0.9999*b82)))*(0.0001 + 0.9999*b82) + 0.0232186601220104*b82
        =L= 0.0232186601220104;

e165.. (-1 + sqr(4.73576208695481 - x589/(0.0001 + 0.9999*b83)) + sqr(
       2.81737915136856 - x590/(0.0001 + 0.9999*b83)) + sqr(0.919919756378161
        - x591/(0.0001 + 0.9999*b83)) + sqr(0.427396562561213 - x592/(0.0001 + 
       0.9999*b83)))*(0.0001 + 0.9999*b83) + 0.00303939880066688*b83
        =L= 0.00303939880066688;

e166.. (-1 + sqr(0.428853030190813 - x593/(0.0001 + 0.9999*b84)) + sqr(
       5.71294529671424 - x594/(0.0001 + 0.9999*b84)) + sqr(2.06079707847737 - 
       x595/(0.0001 + 0.9999*b84)) + sqr(3.87755584734058 - x596/(0.0001 + 
       0.9999*b84)))*(0.0001 + 0.9999*b84) + 0.00511039828326592*b84
        =L= 0.00511039828326592;

e167.. (-1 + sqr(1.0774677742481 - x597/(0.0001 + 0.9999*b85)) + sqr(
       0.802343324640142 - x598/(0.0001 + 0.9999*b85)) + sqr(5.05560926630768
        - x599/(0.0001 + 0.9999*b85)) + sqr(6.38583388950109 - x600/(0.0001 + 
       0.9999*b85)))*(0.0001 + 0.9999*b85) + 0.00671427511330145*b85
        =L= 0.00671427511330145;

e168.. (-1 + sqr(1.12638621393495 - x601/(0.0001 + 0.9999*b86)) + sqr(
       1.60465763780203 - x602/(0.0001 + 0.9999*b86)) + sqr(4.07986801140447 - 
       x603/(0.0001 + 0.9999*b86)) + sqr(2.17037731980447 - x604/(0.0001 + 
       0.9999*b86)))*(0.0001 + 0.9999*b86) + 0.00241995327383022*b86
        =L= 0.00241995327383022;

e169.. (-1 + sqr(1.82688019388165 - x605/(0.0001 + 0.9999*b87)) + sqr(
       4.63411239877442 - x606/(0.0001 + 0.9999*b87)) + sqr(5.05145431164509 - 
       x607/(0.0001 + 0.9999*b87)) + sqr(3.74855986966667 - x608/(0.0001 + 
       0.9999*b87)))*(0.0001 + 0.9999*b87) + 0.00633813807263851*b87
        =L= 0.00633813807263851;

e170.. (-1 + sqr(8.44017389324234 - x609/(0.0001 + 0.9999*b88)) + sqr(
       3.82403068466693 - x610/(0.0001 + 0.9999*b88)) + sqr(8.92353737043929 - 
       x611/(0.0001 + 0.9999*b88)) + sqr(4.64273943517454 - x612/(0.0001 + 
       0.9999*b88)))*(0.0001 + 0.9999*b88) + 0.0186044294689995*b88
        =L= 0.0186044294689995;

e171.. (-1 + sqr(5.87176386853829 - x613/(0.0001 + 0.9999*b89)) + sqr(
       1.44175632208916 - x614/(0.0001 + 0.9999*b89)) + sqr(3.18165222878213 - 
       x615/(0.0001 + 0.9999*b89)) + sqr(5.19789554578514 - x616/(0.0001 + 
       0.9999*b89)))*(0.0001 + 0.9999*b89) + 0.00726973012299631*b89
        =L= 0.00726973012299631;

e172.. (-1 + sqr(6.76013297629122 - x617/(0.0001 + 0.9999*b90)) + sqr(
       3.21254997009641 - x618/(0.0001 + 0.9999*b90)) + sqr(9.46706727409796 - 
       x619/(0.0001 + 0.9999*b90)) + sqr(0.816604516799142 - x620/(0.0001 + 
       0.9999*b90)))*(0.0001 + 0.9999*b90) + 0.014531208087666*b90
        =L= 0.014531208087666;

e173.. (-1 + sqr(3.24901644799959 - x621/(0.0001 + 0.9999*b91)) + sqr(
       7.51480516788174 - x622/(0.0001 + 0.9999*b91)) + sqr(4.01508707364147 - 
       x623/(0.0001 + 0.9999*b91)) + sqr(4.50822439140953 - x624/(0.0001 + 
       0.9999*b91)))*(0.0001 + 0.9999*b91) + 0.0102473415962817*b91
        =L= 0.0102473415962817;

e174.. (-1 + sqr(0.388900076234485 - x625/(0.0001 + 0.9999*b92)) + sqr(
       5.87163371055414 - x626/(0.0001 + 0.9999*b92)) + sqr(3.83580726436302 - 
       x627/(0.0001 + 0.9999*b92)) + sqr(3.02326353201313 - x628/(0.0001 + 
       0.9999*b92)))*(0.0001 + 0.9999*b92) + 0.00574808654535516*b92
        =L= 0.00574808654535516;

e175.. (-1 + sqr(0.790446136347066 - x629/(0.0001 + 0.9999*b93)) + sqr(
       8.25540861746511 - x630/(0.0001 + 0.9999*b93)) + sqr(8.76325441282356 - 
       x631/(0.0001 + 0.9999*b93)) + sqr(3.16275732090416 - x632/(0.0001 + 
       0.9999*b93)))*(0.0001 + 0.9999*b93) + 0.0154574238310588*b93
        =L= 0.0154574238310588;

e176.. (-1 + sqr(2.24835841067941 - x633/(0.0001 + 0.9999*b94)) + sqr(
       1.49328376014994 - x634/(0.0001 + 0.9999*b94)) + sqr(6.05269717076173 - 
       x635/(0.0001 + 0.9999*b94)) + sqr(9.30035396512944 - x636/(0.0001 + 
       0.9999*b94)))*(0.0001 + 0.9999*b94) + 0.0129416738848846*b94
        =L= 0.0129416738848846;

e177.. (-1 + sqr(9.00506853532299 - x637/(0.0001 + 0.9999*b95)) + sqr(
       4.84258207392989 - x638/(0.0001 + 0.9999*b95)) + sqr(5.30242448190069 - 
       x639/(0.0001 + 0.9999*b95)) + sqr(1.96947429895047 - x640/(0.0001 + 
       0.9999*b95)))*(0.0001 + 0.9999*b95) + 0.0135536394869098*b95
        =L= 0.0135536394869098;

e178.. (-1 + sqr(7.06852474736736 - x641/(0.0001 + 0.9999*b96)) + sqr(
       0.403068662414334 - x642/(0.0001 + 0.9999*b96)) + sqr(0.20219913526021
        - x643/(0.0001 + 0.9999*b96)) + sqr(1.72727050657669 - x644/(0.0001 + 
       0.9999*b96)))*(0.0001 + 0.9999*b96) + 0.0052150854343955*b96
        =L= 0.0052150854343955;

e179.. (-1 + sqr(2.04415436610942 - x645/(0.0001 + 0.9999*b97)) + sqr(
       9.79340385699591 - x646/(0.0001 + 0.9999*b97)) + sqr(1.37229670501157 - 
       x647/(0.0001 + 0.9999*b97)) + sqr(6.1403045098624 - x648/(0.0001 + 
       0.9999*b97)))*(0.0001 + 0.9999*b97) + 0.0138675863899129*b97
        =L= 0.0138675863899129;

e180.. (-1 + sqr(7.57624032466962 - x649/(0.0001 + 0.9999*b98)) + sqr(
       7.76217255967217 - x650/(0.0001 + 0.9999*b98)) + sqr(0.355128375706556
        - x651/(0.0001 + 0.9999*b98)) + sqr(1.44611951386816 - x652/(0.0001 + 
       0.9999*b98)))*(0.0001 + 0.9999*b98) + 0.01188681181149*b98
        =L= 0.01188681181149;

e181.. (-1 + sqr(5.27432353822418 - x653/(0.0001 + 0.9999*b99)) + sqr(
       8.94703040209787 - x654/(0.0001 + 0.9999*b99)) + sqr(6.2373757380993 - 
       x655/(0.0001 + 0.9999*b99)) + sqr(9.23461806871597 - x656/(0.0001 + 
       0.9999*b99)))*(0.0001 + 0.9999*b99) + 0.0231050868775215*b99
        =L= 0.0231050868775215;

e182.. (-1 + sqr(0.996186045951476 - x657/(0.0001 + 0.9999*b100)) + sqr(
       1.36457455477018 - x658/(0.0001 + 0.9999*b100)) + sqr(1.56471044095596
        - x659/(0.0001 + 0.9999*b100)) + sqr(3.36816773533039 - x660/(0.0001 + 
       0.9999*b100)))*(0.0001 + 0.9999*b100) + 0.00156473230110319*b100
        =L= 0.00156473230110319;

e183.. (-1 + sqr(4.02233509809877 - x661/(0.0001 + 0.9999*b101)) + sqr(
       8.45745652401958 - x662/(0.0001 + 0.9999*b101)) + sqr(9.01254148426443
        - x663/(0.0001 + 0.9999*b101)) + sqr(8.74685412361603 - x664/(0.0001 + 
       0.9999*b101)))*(0.0001 + 0.9999*b101) + 0.0244441111562485*b101
        =L= 0.0244441111562485;

e184.. (-1 + sqr(8.70857268900905 - x665/(0.0001 + 0.9999*b102)) + sqr(
       1.11796994384596 - x666/(0.0001 + 0.9999*b102)) + sqr(5.00432053303839
        - x667/(0.0001 + 0.9999*b102)) + sqr(2.40385817397397 - x668/(0.0001 + 
       0.9999*b102)))*(0.0001 + 0.9999*b102) + 0.0106910853193068*b102
        =L= 0.0106910853193068;

e185.. (-1 + sqr(7.54765700959199 - x669/(0.0001 + 0.9999*b103)) + sqr(
       4.80143075267339 - x670/(0.0001 + 0.9999*b103)) + sqr(8.40046817462899
        - x671/(0.0001 + 0.9999*b103)) + sqr(8.29113964786696 - x672/(0.0001 + 
       0.9999*b103)))*(0.0001 + 0.9999*b103) + 0.0218331725820547*b103
        =L= 0.0218331725820547;

e186.. (-1 + sqr(0.966865551002543 - x673/(0.0001 + 0.9999*b104)) + sqr(
       9.92855620143344 - x674/(0.0001 + 0.9999*b104)) + sqr(5.74951319729978
        - x675/(0.0001 + 0.9999*b104)) + sqr(3.53637928232447 - x676/(0.0001 + 
       0.9999*b104)))*(0.0001 + 0.9999*b104) + 0.0144073937673116*b104
        =L= 0.0144073937673116;

e187.. (-1 + sqr(0.45538917132773 - x677/(0.0001 + 0.9999*b105)) + sqr(
       1.48603663213761 - x678/(0.0001 + 0.9999*b105)) + sqr(9.82188246465487
        - x679/(0.0001 + 0.9999*b105)) + sqr(7.4461736036308 - x680/(0.0001 + 
       0.9999*b105)))*(0.0001 + 0.9999*b105) + 0.015333056065432*b105
        =L= 0.015333056065432;

e188.. (-1 + sqr(6.75415604579508 - x681/(0.0001 + 0.9999*b106)) + sqr(
       4.56383909220998 - x682/(0.0001 + 0.9999*b106)) + sqr(5.80815448731129
        - x683/(0.0001 + 0.9999*b106)) + sqr(1.39230685391611 - x684/(0.0001 + 
       0.9999*b106)))*(0.0001 + 0.9999*b106) + 0.010112042807447*b106
        =L= 0.010112042807447;

e189.. (-1 + sqr(8.85890029315383 - x685/(0.0001 + 0.9999*b107)) + sqr(
       6.16141864425327 - x686/(0.0001 + 0.9999*b107)) + sqr(2.25373679776979
        - x687/(0.0001 + 0.9999*b107)) + sqr(2.60508233041854 - x688/(0.0001 + 
       0.9999*b107)))*(0.0001 + 0.9999*b107) + 0.0127308977615673*b107
        =L= 0.0127308977615673;

e190.. (-1 + sqr(5.3549498366276 - x689/(0.0001 + 0.9999*b108)) + sqr(
       6.5028620799581 - x690/(0.0001 + 0.9999*b108)) + sqr(3.77860881416883 - 
       x691/(0.0001 + 0.9999*b108)) + sqr(3.88773754222155 - x692/(0.0001 + 
       0.9999*b108)))*(0.0001 + 0.9999*b108) + 0.00993550907514682*b108
        =L= 0.00993550907514682;

e191.. (-1 + sqr(0.113259012567859 - x693/(0.0001 + 0.9999*b109)) + sqr(
       4.95866301539607 - x694/(0.0001 + 0.9999*b109)) + sqr(8.39278608004883
        - x695/(0.0001 + 0.9999*b109)) + sqr(2.33998997152253 - x696/(0.0001 + 
       0.9999*b109)))*(0.0001 + 0.9999*b109) + 0.00995155777564721*b109
        =L= 0.00995155777564721;

e192.. (-1 + sqr(4.01186017931937 - x697/(0.0001 + 0.9999*b110)) + sqr(
       1.58505280271348 - x698/(0.0001 + 0.9999*b110)) + sqr(6.66701704740187
        - x699/(0.0001 + 0.9999*b110)) + sqr(6.15579863983494 - x700/(0.0001 + 
       0.9999*b110)))*(0.0001 + 0.9999*b110) + 0.00999503876903392*b110
        =L= 0.00999503876903392;

e193.. (-1 + sqr(6.96869478428464 - x701/(0.0001 + 0.9999*b111)) + sqr(
       4.10398909952988 - x702/(0.0001 + 0.9999*b111)) + sqr(6.0102827867986 - 
       x703/(0.0001 + 0.9999*b111)) + sqr(2.74411959285283 - x704/(0.0001 + 
       0.9999*b111)))*(0.0001 + 0.9999*b111) + 0.0108059125042742*b111
        =L= 0.0108059125042742;

e194.. (-1 + sqr(4.87285195085022 - x705/(0.0001 + 0.9999*b112)) + sqr(
       9.86295765077007 - x706/(0.0001 + 0.9999*b112)) + sqr(0.143489359365916
        - x707/(0.0001 + 0.9999*b112)) + sqr(8.80632332989694 - x708/(0.0001 + 
       0.9999*b112)))*(0.0001 + 0.9999*b112) + 0.0197594539542727*b112
        =L= 0.0197594539542727;

e195.. (-1 + sqr(7.83131209913544 - x709/(0.0001 + 0.9999*b113)) + sqr(
       1.43609337392774 - x710/(0.0001 + 0.9999*b113)) + sqr(3.30054263355244
        - x711/(0.0001 + 0.9999*b113)) + sqr(0.00125718557078214 - x712/(0.0001
        + 0.9999*b113)))*(0.0001 + 0.9999*b113) + 0.00732853966291172*b113
        =L= 0.00732853966291172;

e196.. (-1 + sqr(5.66454764000128 - x713/(0.0001 + 0.9999*b114)) + sqr(
       5.56331545204103 - x714/(0.0001 + 0.9999*b114)) + sqr(1.14993711831163
        - x715/(0.0001 + 0.9999*b114)) + sqr(4.5715891663462 - x716/(0.0001 + 
       0.9999*b114)))*(0.0001 + 0.9999*b114) + 0.00842593616666874*b114
        =L= 0.00842593616666874;

e197.. (-1 + sqr(3.33190103022031 - x717/(0.0001 + 0.9999*b115)) + sqr(
       4.9445883792678 - x718/(0.0001 + 0.9999*b115)) + sqr(7.30728727625694 - 
       x719/(0.0001 + 0.9999*b115)) + sqr(8.01246235442081 - x720/(0.0001 + 
       0.9999*b115)))*(0.0001 + 0.9999*b115) + 0.0152146519034331*b115
        =L= 0.0152146519034331;

e198.. (-1 + sqr(9.33298244503801 - x721/(0.0001 + 0.9999*b116)) + sqr(
       0.723851580512842 - x722/(0.0001 + 0.9999*b116)) + sqr(8.42864317892565
        - x723/(0.0001 + 0.9999*b116)) + sqr(4.32119007374061 - x724/(0.0001 + 
       0.9999*b116)))*(0.0001 + 0.9999*b116) + 0.0176343231921043*b116
        =L= 0.0176343231921043;

e199.. (-1 + sqr(5.08063287228698 - x725/(0.0001 + 0.9999*b117)) + sqr(
       8.38761519865226 - x726/(0.0001 + 0.9999*b117)) + sqr(1.4027356086197 - 
       x727/(0.0001 + 0.9999*b117)) + sqr(6.86412480592018 - x728/(0.0001 + 
       0.9999*b117)))*(0.0001 + 0.9999*b117) + 0.0144248795642564*b117
        =L= 0.0144248795642564;

e200.. (-1 + sqr(2.37234068047016 - x729/(0.0001 + 0.9999*b118)) + sqr(
       7.05084260559812 - x730/(0.0001 + 0.9999*b118)) + sqr(9.48571415448197
        - x731/(0.0001 + 0.9999*b118)) + sqr(5.77659906719162 - x732/(0.0001 + 
       0.9999*b118)))*(0.0001 + 0.9999*b118) + 0.017769025155675*b118
        =L= 0.017769025155675;

e201.. (-1 + sqr(4.16198173364841 - x733/(0.0001 + 0.9999*b119)) + sqr(
       5.45114144772148 - x734/(0.0001 + 0.9999*b119)) + sqr(9.00182905163397
        - x735/(0.0001 + 0.9999*b119)) + sqr(3.4826499770368 - x736/(0.0001 + 
       0.9999*b119)))*(0.0001 + 0.9999*b119) + 0.0139198812171686*b119
        =L= 0.0139198812171686;

e202.. (-1 + sqr(4.45933786757702 - x737/(0.0001 + 0.9999*b120)) + sqr(
       4.47805189258463 - x738/(0.0001 + 0.9999*b120)) + sqr(6.61692822015399
        - x739/(0.0001 + 0.9999*b120)) + sqr(5.6343120215581 - x740/(0.0001 + 
       0.9999*b120)))*(0.0001 + 0.9999*b120) + 0.0114467853996832*b120
        =L= 0.0114467853996832;

e203..    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 =E= 1;

e204.. (-1 + sqr(4.04180710023322 - x741/(0.0001 + 0.9999*b121)) + sqr(
       0.0638120906615358 - x742/(0.0001 + 0.9999*b121)) + sqr(9.31163964055327
        - x743/(0.0001 + 0.9999*b121)) + sqr(9.59399362610548 - x744/(0.0001 + 
       0.9999*b121)))*(0.0001 + 0.9999*b121) + 0.0194091623111686*b121
        =L= 0.0194091623111686;

e205.. (-1 + sqr(7.58630473662528 - x745/(0.0001 + 0.9999*b122)) + sqr(
       9.81696808234314 - x746/(0.0001 + 0.9999*b122)) + sqr(6.80594062551012
        - x747/(0.0001 + 0.9999*b122)) + sqr(5.73941560922778 - x748/(0.0001 + 
       0.9999*b122)))*(0.0001 + 0.9999*b122) + 0.0232186601220104*b122
        =L= 0.0232186601220104;

e206.. (-1 + sqr(4.73576208695481 - x749/(0.0001 + 0.9999*b123)) + sqr(
       2.81737915136856 - x750/(0.0001 + 0.9999*b123)) + sqr(0.919919756378161
        - x751/(0.0001 + 0.9999*b123)) + sqr(0.427396562561213 - x752/(0.0001
        + 0.9999*b123)))*(0.0001 + 0.9999*b123) + 0.00303939880066688*b123
        =L= 0.00303939880066688;

e207.. (-1 + sqr(0.428853030190813 - x753/(0.0001 + 0.9999*b124)) + sqr(
       5.71294529671424 - x754/(0.0001 + 0.9999*b124)) + sqr(2.06079707847737
        - x755/(0.0001 + 0.9999*b124)) + sqr(3.87755584734058 - x756/(0.0001 + 
       0.9999*b124)))*(0.0001 + 0.9999*b124) + 0.00511039828326592*b124
        =L= 0.00511039828326592;

e208.. (-1 + sqr(1.0774677742481 - x757/(0.0001 + 0.9999*b125)) + sqr(
       0.802343324640142 - x758/(0.0001 + 0.9999*b125)) + sqr(5.05560926630768
        - x759/(0.0001 + 0.9999*b125)) + sqr(6.38583388950109 - x760/(0.0001 + 
       0.9999*b125)))*(0.0001 + 0.9999*b125) + 0.00671427511330145*b125
        =L= 0.00671427511330145;

e209.. (-1 + sqr(1.12638621393495 - x761/(0.0001 + 0.9999*b126)) + sqr(
       1.60465763780203 - x762/(0.0001 + 0.9999*b126)) + sqr(4.07986801140447
        - x763/(0.0001 + 0.9999*b126)) + sqr(2.17037731980447 - x764/(0.0001 + 
       0.9999*b126)))*(0.0001 + 0.9999*b126) + 0.00241995327383022*b126
        =L= 0.00241995327383022;

e210.. (-1 + sqr(1.82688019388165 - x765/(0.0001 + 0.9999*b127)) + sqr(
       4.63411239877442 - x766/(0.0001 + 0.9999*b127)) + sqr(5.05145431164509
        - x767/(0.0001 + 0.9999*b127)) + sqr(3.74855986966667 - x768/(0.0001 + 
       0.9999*b127)))*(0.0001 + 0.9999*b127) + 0.00633813807263851*b127
        =L= 0.00633813807263851;

e211.. (-1 + sqr(8.44017389324234 - x769/(0.0001 + 0.9999*b128)) + sqr(
       3.82403068466693 - x770/(0.0001 + 0.9999*b128)) + sqr(8.92353737043929
        - x771/(0.0001 + 0.9999*b128)) + sqr(4.64273943517454 - x772/(0.0001 + 
       0.9999*b128)))*(0.0001 + 0.9999*b128) + 0.0186044294689995*b128
        =L= 0.0186044294689995;

e212.. (-1 + sqr(5.87176386853829 - x773/(0.0001 + 0.9999*b129)) + sqr(
       1.44175632208916 - x774/(0.0001 + 0.9999*b129)) + sqr(3.18165222878213
        - x775/(0.0001 + 0.9999*b129)) + sqr(5.19789554578514 - x776/(0.0001 + 
       0.9999*b129)))*(0.0001 + 0.9999*b129) + 0.00726973012299631*b129
        =L= 0.00726973012299631;

e213.. (-1 + sqr(6.76013297629122 - x777/(0.0001 + 0.9999*b130)) + sqr(
       3.21254997009641 - x778/(0.0001 + 0.9999*b130)) + sqr(9.46706727409796
        - x779/(0.0001 + 0.9999*b130)) + sqr(0.816604516799142 - x780/(0.0001
        + 0.9999*b130)))*(0.0001 + 0.9999*b130) + 0.014531208087666*b130
        =L= 0.014531208087666;

e214.. (-1 + sqr(3.24901644799959 - x781/(0.0001 + 0.9999*b131)) + sqr(
       7.51480516788174 - x782/(0.0001 + 0.9999*b131)) + sqr(4.01508707364147
        - x783/(0.0001 + 0.9999*b131)) + sqr(4.50822439140953 - x784/(0.0001 + 
       0.9999*b131)))*(0.0001 + 0.9999*b131) + 0.0102473415962817*b131
        =L= 0.0102473415962817;

e215.. (-1 + sqr(0.388900076234485 - x785/(0.0001 + 0.9999*b132)) + sqr(
       5.87163371055414 - x786/(0.0001 + 0.9999*b132)) + sqr(3.83580726436302
        - x787/(0.0001 + 0.9999*b132)) + sqr(3.02326353201313 - x788/(0.0001 + 
       0.9999*b132)))*(0.0001 + 0.9999*b132) + 0.00574808654535516*b132
        =L= 0.00574808654535516;

e216.. (-1 + sqr(0.790446136347066 - x789/(0.0001 + 0.9999*b133)) + sqr(
       8.25540861746511 - x790/(0.0001 + 0.9999*b133)) + sqr(8.76325441282356
        - x791/(0.0001 + 0.9999*b133)) + sqr(3.16275732090416 - x792/(0.0001 + 
       0.9999*b133)))*(0.0001 + 0.9999*b133) + 0.0154574238310588*b133
        =L= 0.0154574238310588;

e217.. (-1 + sqr(2.24835841067941 - x793/(0.0001 + 0.9999*b134)) + sqr(
       1.49328376014994 - x794/(0.0001 + 0.9999*b134)) + sqr(6.05269717076173
        - x795/(0.0001 + 0.9999*b134)) + sqr(9.30035396512944 - x796/(0.0001 + 
       0.9999*b134)))*(0.0001 + 0.9999*b134) + 0.0129416738848846*b134
        =L= 0.0129416738848846;

e218.. (-1 + sqr(9.00506853532299 - x797/(0.0001 + 0.9999*b135)) + sqr(
       4.84258207392989 - x798/(0.0001 + 0.9999*b135)) + sqr(5.30242448190069
        - x799/(0.0001 + 0.9999*b135)) + sqr(1.96947429895047 - x800/(0.0001 + 
       0.9999*b135)))*(0.0001 + 0.9999*b135) + 0.0135536394869098*b135
        =L= 0.0135536394869098;

e219.. (-1 + sqr(7.06852474736736 - x801/(0.0001 + 0.9999*b136)) + sqr(
       0.403068662414334 - x802/(0.0001 + 0.9999*b136)) + sqr(0.20219913526021
        - x803/(0.0001 + 0.9999*b136)) + sqr(1.72727050657669 - x804/(0.0001 + 
       0.9999*b136)))*(0.0001 + 0.9999*b136) + 0.0052150854343955*b136
        =L= 0.0052150854343955;

e220.. (-1 + sqr(2.04415436610942 - x805/(0.0001 + 0.9999*b137)) + sqr(
       9.79340385699591 - x806/(0.0001 + 0.9999*b137)) + sqr(1.37229670501157
        - x807/(0.0001 + 0.9999*b137)) + sqr(6.1403045098624 - x808/(0.0001 + 
       0.9999*b137)))*(0.0001 + 0.9999*b137) + 0.0138675863899129*b137
        =L= 0.0138675863899129;

e221.. (-1 + sqr(7.57624032466962 - x809/(0.0001 + 0.9999*b138)) + sqr(
       7.76217255967217 - x810/(0.0001 + 0.9999*b138)) + sqr(0.355128375706556
        - x811/(0.0001 + 0.9999*b138)) + sqr(1.44611951386816 - x812/(0.0001 + 
       0.9999*b138)))*(0.0001 + 0.9999*b138) + 0.01188681181149*b138
        =L= 0.01188681181149;

e222.. (-1 + sqr(5.27432353822418 - x813/(0.0001 + 0.9999*b139)) + sqr(
       8.94703040209787 - x814/(0.0001 + 0.9999*b139)) + sqr(6.2373757380993 - 
       x815/(0.0001 + 0.9999*b139)) + sqr(9.23461806871597 - x816/(0.0001 + 
       0.9999*b139)))*(0.0001 + 0.9999*b139) + 0.0231050868775215*b139
        =L= 0.0231050868775215;

e223.. (-1 + sqr(0.996186045951476 - x817/(0.0001 + 0.9999*b140)) + sqr(
       1.36457455477018 - x818/(0.0001 + 0.9999*b140)) + sqr(1.56471044095596
        - x819/(0.0001 + 0.9999*b140)) + sqr(3.36816773533039 - x820/(0.0001 + 
       0.9999*b140)))*(0.0001 + 0.9999*b140) + 0.00156473230110319*b140
        =L= 0.00156473230110319;

e224.. (-1 + sqr(4.02233509809877 - x821/(0.0001 + 0.9999*b141)) + sqr(
       8.45745652401958 - x822/(0.0001 + 0.9999*b141)) + sqr(9.01254148426443
        - x823/(0.0001 + 0.9999*b141)) + sqr(8.74685412361603 - x824/(0.0001 + 
       0.9999*b141)))*(0.0001 + 0.9999*b141) + 0.0244441111562485*b141
        =L= 0.0244441111562485;

e225.. (-1 + sqr(8.70857268900905 - x825/(0.0001 + 0.9999*b142)) + sqr(
       1.11796994384596 - x826/(0.0001 + 0.9999*b142)) + sqr(5.00432053303839
        - x827/(0.0001 + 0.9999*b142)) + sqr(2.40385817397397 - x828/(0.0001 + 
       0.9999*b142)))*(0.0001 + 0.9999*b142) + 0.0106910853193068*b142
        =L= 0.0106910853193068;

e226.. (-1 + sqr(7.54765700959199 - x829/(0.0001 + 0.9999*b143)) + sqr(
       4.80143075267339 - x830/(0.0001 + 0.9999*b143)) + sqr(8.40046817462899
        - x831/(0.0001 + 0.9999*b143)) + sqr(8.29113964786696 - x832/(0.0001 + 
       0.9999*b143)))*(0.0001 + 0.9999*b143) + 0.0218331725820547*b143
        =L= 0.0218331725820547;

e227.. (-1 + sqr(0.966865551002543 - x833/(0.0001 + 0.9999*b144)) + sqr(
       9.92855620143344 - x834/(0.0001 + 0.9999*b144)) + sqr(5.74951319729978
        - x835/(0.0001 + 0.9999*b144)) + sqr(3.53637928232447 - x836/(0.0001 + 
       0.9999*b144)))*(0.0001 + 0.9999*b144) + 0.0144073937673116*b144
        =L= 0.0144073937673116;

e228.. (-1 + sqr(0.45538917132773 - x837/(0.0001 + 0.9999*b145)) + sqr(
       1.48603663213761 - x838/(0.0001 + 0.9999*b145)) + sqr(9.82188246465487
        - x839/(0.0001 + 0.9999*b145)) + sqr(7.4461736036308 - x840/(0.0001 + 
       0.9999*b145)))*(0.0001 + 0.9999*b145) + 0.015333056065432*b145
        =L= 0.015333056065432;

e229.. (-1 + sqr(6.75415604579508 - x841/(0.0001 + 0.9999*b146)) + sqr(
       4.56383909220998 - x842/(0.0001 + 0.9999*b146)) + sqr(5.80815448731129
        - x843/(0.0001 + 0.9999*b146)) + sqr(1.39230685391611 - x844/(0.0001 + 
       0.9999*b146)))*(0.0001 + 0.9999*b146) + 0.010112042807447*b146
        =L= 0.010112042807447;

e230.. (-1 + sqr(8.85890029315383 - x845/(0.0001 + 0.9999*b147)) + sqr(
       6.16141864425327 - x846/(0.0001 + 0.9999*b147)) + sqr(2.25373679776979
        - x847/(0.0001 + 0.9999*b147)) + sqr(2.60508233041854 - x848/(0.0001 + 
       0.9999*b147)))*(0.0001 + 0.9999*b147) + 0.0127308977615673*b147
        =L= 0.0127308977615673;

e231.. (-1 + sqr(5.3549498366276 - x849/(0.0001 + 0.9999*b148)) + sqr(
       6.5028620799581 - x850/(0.0001 + 0.9999*b148)) + sqr(3.77860881416883 - 
       x851/(0.0001 + 0.9999*b148)) + sqr(3.88773754222155 - x852/(0.0001 + 
       0.9999*b148)))*(0.0001 + 0.9999*b148) + 0.00993550907514682*b148
        =L= 0.00993550907514682;

e232.. (-1 + sqr(0.113259012567859 - x853/(0.0001 + 0.9999*b149)) + sqr(
       4.95866301539607 - x854/(0.0001 + 0.9999*b149)) + sqr(8.39278608004883
        - x855/(0.0001 + 0.9999*b149)) + sqr(2.33998997152253 - x856/(0.0001 + 
       0.9999*b149)))*(0.0001 + 0.9999*b149) + 0.00995155777564721*b149
        =L= 0.00995155777564721;

e233.. (-1 + sqr(4.01186017931937 - x857/(0.0001 + 0.9999*b150)) + sqr(
       1.58505280271348 - x858/(0.0001 + 0.9999*b150)) + sqr(6.66701704740187
        - x859/(0.0001 + 0.9999*b150)) + sqr(6.15579863983494 - x860/(0.0001 + 
       0.9999*b150)))*(0.0001 + 0.9999*b150) + 0.00999503876903392*b150
        =L= 0.00999503876903392;

e234.. (-1 + sqr(6.96869478428464 - x861/(0.0001 + 0.9999*b151)) + sqr(
       4.10398909952988 - x862/(0.0001 + 0.9999*b151)) + sqr(6.0102827867986 - 
       x863/(0.0001 + 0.9999*b151)) + sqr(2.74411959285283 - x864/(0.0001 + 
       0.9999*b151)))*(0.0001 + 0.9999*b151) + 0.0108059125042742*b151
        =L= 0.0108059125042742;

e235.. (-1 + sqr(4.87285195085022 - x865/(0.0001 + 0.9999*b152)) + sqr(
       9.86295765077007 - x866/(0.0001 + 0.9999*b152)) + sqr(0.143489359365916
        - x867/(0.0001 + 0.9999*b152)) + sqr(8.80632332989694 - x868/(0.0001 + 
       0.9999*b152)))*(0.0001 + 0.9999*b152) + 0.0197594539542727*b152
        =L= 0.0197594539542727;

e236.. (-1 + sqr(7.83131209913544 - x869/(0.0001 + 0.9999*b153)) + sqr(
       1.43609337392774 - x870/(0.0001 + 0.9999*b153)) + sqr(3.30054263355244
        - x871/(0.0001 + 0.9999*b153)) + sqr(0.00125718557078214 - x872/(0.0001
        + 0.9999*b153)))*(0.0001 + 0.9999*b153) + 0.00732853966291172*b153
        =L= 0.00732853966291172;

e237.. (-1 + sqr(5.66454764000128 - x873/(0.0001 + 0.9999*b154)) + sqr(
       5.56331545204103 - x874/(0.0001 + 0.9999*b154)) + sqr(1.14993711831163
        - x875/(0.0001 + 0.9999*b154)) + sqr(4.5715891663462 - x876/(0.0001 + 
       0.9999*b154)))*(0.0001 + 0.9999*b154) + 0.00842593616666874*b154
        =L= 0.00842593616666874;

e238.. (-1 + sqr(3.33190103022031 - x877/(0.0001 + 0.9999*b155)) + sqr(
       4.9445883792678 - x878/(0.0001 + 0.9999*b155)) + sqr(7.30728727625694 - 
       x879/(0.0001 + 0.9999*b155)) + sqr(8.01246235442081 - x880/(0.0001 + 
       0.9999*b155)))*(0.0001 + 0.9999*b155) + 0.0152146519034331*b155
        =L= 0.0152146519034331;

e239.. (-1 + sqr(9.33298244503801 - x881/(0.0001 + 0.9999*b156)) + sqr(
       0.723851580512842 - x882/(0.0001 + 0.9999*b156)) + sqr(8.42864317892565
        - x883/(0.0001 + 0.9999*b156)) + sqr(4.32119007374061 - x884/(0.0001 + 
       0.9999*b156)))*(0.0001 + 0.9999*b156) + 0.0176343231921043*b156
        =L= 0.0176343231921043;

e240.. (-1 + sqr(5.08063287228698 - x885/(0.0001 + 0.9999*b157)) + sqr(
       8.38761519865226 - x886/(0.0001 + 0.9999*b157)) + sqr(1.4027356086197 - 
       x887/(0.0001 + 0.9999*b157)) + sqr(6.86412480592018 - x888/(0.0001 + 
       0.9999*b157)))*(0.0001 + 0.9999*b157) + 0.0144248795642564*b157
        =L= 0.0144248795642564;

e241.. (-1 + sqr(2.37234068047016 - x889/(0.0001 + 0.9999*b158)) + sqr(
       7.05084260559812 - x890/(0.0001 + 0.9999*b158)) + sqr(9.48571415448197
        - x891/(0.0001 + 0.9999*b158)) + sqr(5.77659906719162 - x892/(0.0001 + 
       0.9999*b158)))*(0.0001 + 0.9999*b158) + 0.017769025155675*b158
        =L= 0.017769025155675;

e242.. (-1 + sqr(4.16198173364841 - x893/(0.0001 + 0.9999*b159)) + sqr(
       5.45114144772148 - x894/(0.0001 + 0.9999*b159)) + sqr(9.00182905163397
        - x895/(0.0001 + 0.9999*b159)) + sqr(3.4826499770368 - x896/(0.0001 + 
       0.9999*b159)))*(0.0001 + 0.9999*b159) + 0.0139198812171686*b159
        =L= 0.0139198812171686;

e243.. (-1 + sqr(4.45933786757702 - x897/(0.0001 + 0.9999*b160)) + sqr(
       4.47805189258463 - x898/(0.0001 + 0.9999*b160)) + sqr(6.61692822015399
        - x899/(0.0001 + 0.9999*b160)) + sqr(5.6343120215581 - x900/(0.0001 + 
       0.9999*b160)))*(0.0001 + 0.9999*b160) + 0.0114467853996832*b160
        =L= 0.0114467853996832;

e244..    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
        =E= 1;

e245.. (-1 + sqr(4.04180710023322 - x901/(0.0001 + 0.9999*b161)) + sqr(
       0.0638120906615358 - x902/(0.0001 + 0.9999*b161)) + sqr(9.31163964055327
        - x903/(0.0001 + 0.9999*b161)) + sqr(9.59399362610548 - x904/(0.0001 + 
       0.9999*b161)))*(0.0001 + 0.9999*b161) + 0.0194091623111686*b161
        =L= 0.0194091623111686;

e246.. (-1 + sqr(7.58630473662528 - x905/(0.0001 + 0.9999*b162)) + sqr(
       9.81696808234314 - x906/(0.0001 + 0.9999*b162)) + sqr(6.80594062551012
        - x907/(0.0001 + 0.9999*b162)) + sqr(5.73941560922778 - x908/(0.0001 + 
       0.9999*b162)))*(0.0001 + 0.9999*b162) + 0.0232186601220104*b162
        =L= 0.0232186601220104;

e247.. (-1 + sqr(4.73576208695481 - x909/(0.0001 + 0.9999*b163)) + sqr(
       2.81737915136856 - x910/(0.0001 + 0.9999*b163)) + sqr(0.919919756378161
        - x911/(0.0001 + 0.9999*b163)) + sqr(0.427396562561213 - x912/(0.0001
        + 0.9999*b163)))*(0.0001 + 0.9999*b163) + 0.00303939880066688*b163
        =L= 0.00303939880066688;

e248.. (-1 + sqr(0.428853030190813 - x913/(0.0001 + 0.9999*b164)) + sqr(
       5.71294529671424 - x914/(0.0001 + 0.9999*b164)) + sqr(2.06079707847737
        - x915/(0.0001 + 0.9999*b164)) + sqr(3.87755584734058 - x916/(0.0001 + 
       0.9999*b164)))*(0.0001 + 0.9999*b164) + 0.00511039828326592*b164
        =L= 0.00511039828326592;

e249.. (-1 + sqr(1.0774677742481 - x917/(0.0001 + 0.9999*b165)) + sqr(
       0.802343324640142 - x918/(0.0001 + 0.9999*b165)) + sqr(5.05560926630768
        - x919/(0.0001 + 0.9999*b165)) + sqr(6.38583388950109 - x920/(0.0001 + 
       0.9999*b165)))*(0.0001 + 0.9999*b165) + 0.00671427511330145*b165
        =L= 0.00671427511330145;

e250.. (-1 + sqr(1.12638621393495 - x921/(0.0001 + 0.9999*b166)) + sqr(
       1.60465763780203 - x922/(0.0001 + 0.9999*b166)) + sqr(4.07986801140447
        - x923/(0.0001 + 0.9999*b166)) + sqr(2.17037731980447 - x924/(0.0001 + 
       0.9999*b166)))*(0.0001 + 0.9999*b166) + 0.00241995327383022*b166
        =L= 0.00241995327383022;

e251.. (-1 + sqr(1.82688019388165 - x925/(0.0001 + 0.9999*b167)) + sqr(
       4.63411239877442 - x926/(0.0001 + 0.9999*b167)) + sqr(5.05145431164509
        - x927/(0.0001 + 0.9999*b167)) + sqr(3.74855986966667 - x928/(0.0001 + 
       0.9999*b167)))*(0.0001 + 0.9999*b167) + 0.00633813807263851*b167
        =L= 0.00633813807263851;

e252.. (-1 + sqr(8.44017389324234 - x929/(0.0001 + 0.9999*b168)) + sqr(
       3.82403068466693 - x930/(0.0001 + 0.9999*b168)) + sqr(8.92353737043929
        - x931/(0.0001 + 0.9999*b168)) + sqr(4.64273943517454 - x932/(0.0001 + 
       0.9999*b168)))*(0.0001 + 0.9999*b168) + 0.0186044294689995*b168
        =L= 0.0186044294689995;

e253.. (-1 + sqr(5.87176386853829 - x933/(0.0001 + 0.9999*b169)) + sqr(
       1.44175632208916 - x934/(0.0001 + 0.9999*b169)) + sqr(3.18165222878213
        - x935/(0.0001 + 0.9999*b169)) + sqr(5.19789554578514 - x936/(0.0001 + 
       0.9999*b169)))*(0.0001 + 0.9999*b169) + 0.00726973012299631*b169
        =L= 0.00726973012299631;

e254.. (-1 + sqr(6.76013297629122 - x937/(0.0001 + 0.9999*b170)) + sqr(
       3.21254997009641 - x938/(0.0001 + 0.9999*b170)) + sqr(9.46706727409796
        - x939/(0.0001 + 0.9999*b170)) + sqr(0.816604516799142 - x940/(0.0001
        + 0.9999*b170)))*(0.0001 + 0.9999*b170) + 0.014531208087666*b170
        =L= 0.014531208087666;

e255.. (-1 + sqr(3.24901644799959 - x941/(0.0001 + 0.9999*b171)) + sqr(
       7.51480516788174 - x942/(0.0001 + 0.9999*b171)) + sqr(4.01508707364147
        - x943/(0.0001 + 0.9999*b171)) + sqr(4.50822439140953 - x944/(0.0001 + 
       0.9999*b171)))*(0.0001 + 0.9999*b171) + 0.0102473415962817*b171
        =L= 0.0102473415962817;

e256.. (-1 + sqr(0.388900076234485 - x945/(0.0001 + 0.9999*b172)) + sqr(
       5.87163371055414 - x946/(0.0001 + 0.9999*b172)) + sqr(3.83580726436302
        - x947/(0.0001 + 0.9999*b172)) + sqr(3.02326353201313 - x948/(0.0001 + 
       0.9999*b172)))*(0.0001 + 0.9999*b172) + 0.00574808654535516*b172
        =L= 0.00574808654535516;

e257.. (-1 + sqr(0.790446136347066 - x949/(0.0001 + 0.9999*b173)) + sqr(
       8.25540861746511 - x950/(0.0001 + 0.9999*b173)) + sqr(8.76325441282356
        - x951/(0.0001 + 0.9999*b173)) + sqr(3.16275732090416 - x952/(0.0001 + 
       0.9999*b173)))*(0.0001 + 0.9999*b173) + 0.0154574238310588*b173
        =L= 0.0154574238310588;

e258.. (-1 + sqr(2.24835841067941 - x953/(0.0001 + 0.9999*b174)) + sqr(
       1.49328376014994 - x954/(0.0001 + 0.9999*b174)) + sqr(6.05269717076173
        - x955/(0.0001 + 0.9999*b174)) + sqr(9.30035396512944 - x956/(0.0001 + 
       0.9999*b174)))*(0.0001 + 0.9999*b174) + 0.0129416738848846*b174
        =L= 0.0129416738848846;

e259.. (-1 + sqr(9.00506853532299 - x957/(0.0001 + 0.9999*b175)) + sqr(
       4.84258207392989 - x958/(0.0001 + 0.9999*b175)) + sqr(5.30242448190069
        - x959/(0.0001 + 0.9999*b175)) + sqr(1.96947429895047 - x960/(0.0001 + 
       0.9999*b175)))*(0.0001 + 0.9999*b175) + 0.0135536394869098*b175
        =L= 0.0135536394869098;

e260.. (-1 + sqr(7.06852474736736 - x961/(0.0001 + 0.9999*b176)) + sqr(
       0.403068662414334 - x962/(0.0001 + 0.9999*b176)) + sqr(0.20219913526021
        - x963/(0.0001 + 0.9999*b176)) + sqr(1.72727050657669 - x964/(0.0001 + 
       0.9999*b176)))*(0.0001 + 0.9999*b176) + 0.0052150854343955*b176
        =L= 0.0052150854343955;

e261.. (-1 + sqr(2.04415436610942 - x965/(0.0001 + 0.9999*b177)) + sqr(
       9.79340385699591 - x966/(0.0001 + 0.9999*b177)) + sqr(1.37229670501157
        - x967/(0.0001 + 0.9999*b177)) + sqr(6.1403045098624 - x968/(0.0001 + 
       0.9999*b177)))*(0.0001 + 0.9999*b177) + 0.0138675863899129*b177
        =L= 0.0138675863899129;

e262.. (-1 + sqr(7.57624032466962 - x969/(0.0001 + 0.9999*b178)) + sqr(
       7.76217255967217 - x970/(0.0001 + 0.9999*b178)) + sqr(0.355128375706556
        - x971/(0.0001 + 0.9999*b178)) + sqr(1.44611951386816 - x972/(0.0001 + 
       0.9999*b178)))*(0.0001 + 0.9999*b178) + 0.01188681181149*b178
        =L= 0.01188681181149;

e263.. (-1 + sqr(5.27432353822418 - x973/(0.0001 + 0.9999*b179)) + sqr(
       8.94703040209787 - x974/(0.0001 + 0.9999*b179)) + sqr(6.2373757380993 - 
       x975/(0.0001 + 0.9999*b179)) + sqr(9.23461806871597 - x976/(0.0001 + 
       0.9999*b179)))*(0.0001 + 0.9999*b179) + 0.0231050868775215*b179
        =L= 0.0231050868775215;

e264.. (-1 + sqr(0.996186045951476 - x977/(0.0001 + 0.9999*b180)) + sqr(
       1.36457455477018 - x978/(0.0001 + 0.9999*b180)) + sqr(1.56471044095596
        - x979/(0.0001 + 0.9999*b180)) + sqr(3.36816773533039 - x980/(0.0001 + 
       0.9999*b180)))*(0.0001 + 0.9999*b180) + 0.00156473230110319*b180
        =L= 0.00156473230110319;

e265.. (-1 + sqr(4.02233509809877 - x981/(0.0001 + 0.9999*b181)) + sqr(
       8.45745652401958 - x982/(0.0001 + 0.9999*b181)) + sqr(9.01254148426443
        - x983/(0.0001 + 0.9999*b181)) + sqr(8.74685412361603 - x984/(0.0001 + 
       0.9999*b181)))*(0.0001 + 0.9999*b181) + 0.0244441111562485*b181
        =L= 0.0244441111562485;

e266.. (-1 + sqr(8.70857268900905 - x985/(0.0001 + 0.9999*b182)) + sqr(
       1.11796994384596 - x986/(0.0001 + 0.9999*b182)) + sqr(5.00432053303839
        - x987/(0.0001 + 0.9999*b182)) + sqr(2.40385817397397 - x988/(0.0001 + 
       0.9999*b182)))*(0.0001 + 0.9999*b182) + 0.0106910853193068*b182
        =L= 0.0106910853193068;

e267.. (-1 + sqr(7.54765700959199 - x989/(0.0001 + 0.9999*b183)) + sqr(
       4.80143075267339 - x990/(0.0001 + 0.9999*b183)) + sqr(8.40046817462899
        - x991/(0.0001 + 0.9999*b183)) + sqr(8.29113964786696 - x992/(0.0001 + 
       0.9999*b183)))*(0.0001 + 0.9999*b183) + 0.0218331725820547*b183
        =L= 0.0218331725820547;

e268.. (-1 + sqr(0.966865551002543 - x993/(0.0001 + 0.9999*b184)) + sqr(
       9.92855620143344 - x994/(0.0001 + 0.9999*b184)) + sqr(5.74951319729978
        - x995/(0.0001 + 0.9999*b184)) + sqr(3.53637928232447 - x996/(0.0001 + 
       0.9999*b184)))*(0.0001 + 0.9999*b184) + 0.0144073937673116*b184
        =L= 0.0144073937673116;

e269.. (-1 + sqr(0.45538917132773 - x997/(0.0001 + 0.9999*b185)) + sqr(
       1.48603663213761 - x998/(0.0001 + 0.9999*b185)) + sqr(9.82188246465487
        - x999/(0.0001 + 0.9999*b185)) + sqr(7.4461736036308 - x1000/(0.0001 + 
       0.9999*b185)))*(0.0001 + 0.9999*b185) + 0.015333056065432*b185
        =L= 0.015333056065432;

e270.. (-1 + sqr(6.75415604579508 - x1001/(0.0001 + 0.9999*b186)) + sqr(
       4.56383909220998 - x1002/(0.0001 + 0.9999*b186)) + sqr(5.80815448731129
        - x1003/(0.0001 + 0.9999*b186)) + sqr(1.39230685391611 - x1004/(0.0001
        + 0.9999*b186)))*(0.0001 + 0.9999*b186) + 0.010112042807447*b186
        =L= 0.010112042807447;

e271.. (-1 + sqr(8.85890029315383 - x1005/(0.0001 + 0.9999*b187)) + sqr(
       6.16141864425327 - x1006/(0.0001 + 0.9999*b187)) + sqr(2.25373679776979
        - x1007/(0.0001 + 0.9999*b187)) + sqr(2.60508233041854 - x1008/(0.0001
        + 0.9999*b187)))*(0.0001 + 0.9999*b187) + 0.0127308977615673*b187
        =L= 0.0127308977615673;

e272.. (-1 + sqr(5.3549498366276 - x1009/(0.0001 + 0.9999*b188)) + sqr(
       6.5028620799581 - x1010/(0.0001 + 0.9999*b188)) + sqr(3.77860881416883
        - x1011/(0.0001 + 0.9999*b188)) + sqr(3.88773754222155 - x1012/(0.0001
        + 0.9999*b188)))*(0.0001 + 0.9999*b188) + 0.00993550907514682*b188
        =L= 0.00993550907514682;

e273.. (-1 + sqr(0.113259012567859 - x1013/(0.0001 + 0.9999*b189)) + sqr(
       4.95866301539607 - x1014/(0.0001 + 0.9999*b189)) + sqr(8.39278608004883
        - x1015/(0.0001 + 0.9999*b189)) + sqr(2.33998997152253 - x1016/(0.0001
        + 0.9999*b189)))*(0.0001 + 0.9999*b189) + 0.00995155777564721*b189
        =L= 0.00995155777564721;

e274.. (-1 + sqr(4.01186017931937 - x1017/(0.0001 + 0.9999*b190)) + sqr(
       1.58505280271348 - x1018/(0.0001 + 0.9999*b190)) + sqr(6.66701704740187
        - x1019/(0.0001 + 0.9999*b190)) + sqr(6.15579863983494 - x1020/(0.0001
        + 0.9999*b190)))*(0.0001 + 0.9999*b190) + 0.00999503876903392*b190
        =L= 0.00999503876903392;

e275.. (-1 + sqr(6.96869478428464 - x1021/(0.0001 + 0.9999*b191)) + sqr(
       4.10398909952988 - x1022/(0.0001 + 0.9999*b191)) + sqr(6.0102827867986
        - x1023/(0.0001 + 0.9999*b191)) + sqr(2.74411959285283 - x1024/(0.0001
        + 0.9999*b191)))*(0.0001 + 0.9999*b191) + 0.0108059125042742*b191
        =L= 0.0108059125042742;

e276.. (-1 + sqr(4.87285195085022 - x1025/(0.0001 + 0.9999*b192)) + sqr(
       9.86295765077007 - x1026/(0.0001 + 0.9999*b192)) + sqr(0.143489359365916
        - x1027/(0.0001 + 0.9999*b192)) + sqr(8.80632332989694 - x1028/(0.0001
        + 0.9999*b192)))*(0.0001 + 0.9999*b192) + 0.0197594539542727*b192
        =L= 0.0197594539542727;

e277.. (-1 + sqr(7.83131209913544 - x1029/(0.0001 + 0.9999*b193)) + sqr(
       1.43609337392774 - x1030/(0.0001 + 0.9999*b193)) + sqr(3.30054263355244
        - x1031/(0.0001 + 0.9999*b193)) + sqr(0.00125718557078214 - x1032/(
       0.0001 + 0.9999*b193)))*(0.0001 + 0.9999*b193) + 0.00732853966291172*
       b193 =L= 0.00732853966291172;

e278.. (-1 + sqr(5.66454764000128 - x1033/(0.0001 + 0.9999*b194)) + sqr(
       5.56331545204103 - x1034/(0.0001 + 0.9999*b194)) + sqr(1.14993711831163
        - x1035/(0.0001 + 0.9999*b194)) + sqr(4.5715891663462 - x1036/(0.0001
        + 0.9999*b194)))*(0.0001 + 0.9999*b194) + 0.00842593616666874*b194
        =L= 0.00842593616666874;

e279.. (-1 + sqr(3.33190103022031 - x1037/(0.0001 + 0.9999*b195)) + sqr(
       4.9445883792678 - x1038/(0.0001 + 0.9999*b195)) + sqr(7.30728727625694
        - x1039/(0.0001 + 0.9999*b195)) + sqr(8.01246235442081 - x1040/(0.0001
        + 0.9999*b195)))*(0.0001 + 0.9999*b195) + 0.0152146519034331*b195
        =L= 0.0152146519034331;

e280.. (-1 + sqr(9.33298244503801 - x1041/(0.0001 + 0.9999*b196)) + sqr(
       0.723851580512842 - x1042/(0.0001 + 0.9999*b196)) + sqr(8.42864317892565
        - x1043/(0.0001 + 0.9999*b196)) + sqr(4.32119007374061 - x1044/(0.0001
        + 0.9999*b196)))*(0.0001 + 0.9999*b196) + 0.0176343231921043*b196
        =L= 0.0176343231921043;

e281.. (-1 + sqr(5.08063287228698 - x1045/(0.0001 + 0.9999*b197)) + sqr(
       8.38761519865226 - x1046/(0.0001 + 0.9999*b197)) + sqr(1.4027356086197
        - x1047/(0.0001 + 0.9999*b197)) + sqr(6.86412480592018 - x1048/(0.0001
        + 0.9999*b197)))*(0.0001 + 0.9999*b197) + 0.0144248795642564*b197
        =L= 0.0144248795642564;

e282.. (-1 + sqr(2.37234068047016 - x1049/(0.0001 + 0.9999*b198)) + sqr(
       7.05084260559812 - x1050/(0.0001 + 0.9999*b198)) + sqr(9.48571415448197
        - x1051/(0.0001 + 0.9999*b198)) + sqr(5.77659906719162 - x1052/(0.0001
        + 0.9999*b198)))*(0.0001 + 0.9999*b198) + 0.017769025155675*b198
        =L= 0.017769025155675;

e283.. (-1 + sqr(4.16198173364841 - x1053/(0.0001 + 0.9999*b199)) + sqr(
       5.45114144772148 - x1054/(0.0001 + 0.9999*b199)) + sqr(9.00182905163397
        - x1055/(0.0001 + 0.9999*b199)) + sqr(3.4826499770368 - x1056/(0.0001
        + 0.9999*b199)))*(0.0001 + 0.9999*b199) + 0.0139198812171686*b199
        =L= 0.0139198812171686;

e284.. (-1 + sqr(4.45933786757702 - x1057/(0.0001 + 0.9999*b200)) + sqr(
       4.47805189258463 - x1058/(0.0001 + 0.9999*b200)) + sqr(6.61692822015399
        - x1059/(0.0001 + 0.9999*b200)) + sqr(5.6343120215581 - x1060/(0.0001
        + 0.9999*b200)))*(0.0001 + 0.9999*b200) + 0.0114467853996832*b200
        =L= 0.0114467853996832;

e285..    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
        =E= 1;

e286..    b1 + b41 + b81 + b121 + b161 =L= 1;

e287..    b2 + b42 + b82 + b122 + b162 =L= 1;

e288..    b3 + b43 + b83 + b123 + b163 =L= 1;

e289..    b4 + b44 + b84 + b124 + b164 =L= 1;

e290..    b5 + b45 + b85 + b125 + b165 =L= 1;

e291..    b6 + b46 + b86 + b126 + b166 =L= 1;

e292..    b7 + b47 + b87 + b127 + b167 =L= 1;

e293..    b8 + b48 + b88 + b128 + b168 =L= 1;

e294..    b9 + b49 + b89 + b129 + b169 =L= 1;

e295..    b10 + b50 + b90 + b130 + b170 =L= 1;

e296..    b11 + b51 + b91 + b131 + b171 =L= 1;

e297..    b12 + b52 + b92 + b132 + b172 =L= 1;

e298..    b13 + b53 + b93 + b133 + b173 =L= 1;

e299..    b14 + b54 + b94 + b134 + b174 =L= 1;

e300..    b15 + b55 + b95 + b135 + b175 =L= 1;

e301..    b16 + b56 + b96 + b136 + b176 =L= 1;

e302..    b17 + b57 + b97 + b137 + b177 =L= 1;

e303..    b18 + b58 + b98 + b138 + b178 =L= 1;

e304..    b19 + b59 + b99 + b139 + b179 =L= 1;

e305..    b20 + b60 + b100 + b140 + b180 =L= 1;

e306..    b21 + b61 + b101 + b141 + b181 =L= 1;

e307..    b22 + b62 + b102 + b142 + b182 =L= 1;

e308..    b23 + b63 + b103 + b143 + b183 =L= 1;

e309..    b24 + b64 + b104 + b144 + b184 =L= 1;

e310..    b25 + b65 + b105 + b145 + b185 =L= 1;

e311..    b26 + b66 + b106 + b146 + b186 =L= 1;

e312..    b27 + b67 + b107 + b147 + b187 =L= 1;

e313..    b28 + b68 + b108 + b148 + b188 =L= 1;

e314..    b29 + b69 + b109 + b149 + b189 =L= 1;

e315..    b30 + b70 + b110 + b150 + b190 =L= 1;

e316..    b31 + b71 + b111 + b151 + b191 =L= 1;

e317..    b32 + b72 + b112 + b152 + b192 =L= 1;

e318..    b33 + b73 + b113 + b153 + b193 =L= 1;

e319..    b34 + b74 + b114 + b154 + b194 =L= 1;

e320..    b35 + b75 + b115 + b155 + b195 =L= 1;

e321..    b36 + b76 + b116 + b156 + b196 =L= 1;

e322..    b37 + b77 + b117 + b157 + b197 =L= 1;

e323..    b38 + b78 + b118 + b158 + b198 =L= 1;

e324..    b39 + b79 + b119 + b159 + b199 =L= 1;

e325..    b40 + b80 + b120 + b160 + b200 =L= 1;

e326..  - x201 + x261 + x265 + x269 + x273 + x277 + x281 + x285 + x289 + x293
        + x297 + x301 + x305 + x309 + x313 + x317 + x321 + x325 + x329 + x333
        + x337 + x341 + x345 + x349 + x353 + x357 + x361 + x365 + x369 + x373
        + x377 + x381 + x385 + x389 + x393 + x397 + x401 + x405 + x409 + x413
        + x417 =E= 0;

e327..  - x204 + x262 + x266 + x270 + x274 + x278 + x282 + x286 + x290 + x294
        + x298 + x302 + x306 + x310 + x314 + x318 + x322 + x326 + x330 + x334
        + x338 + x342 + x346 + x350 + x354 + x358 + x362 + x366 + x370 + x374
        + x378 + x382 + x386 + x390 + x394 + x398 + x402 + x406 + x410 + x414
        + x418 =E= 0;

e328..  - x207 + x263 + x267 + x271 + x275 + x279 + x283 + x287 + x291 + x295
        + x299 + x303 + x307 + x311 + x315 + x319 + x323 + x327 + x331 + x335
        + x339 + x343 + x347 + x351 + x355 + x359 + x363 + x367 + x371 + x375
        + x379 + x383 + x387 + x391 + x395 + x399 + x403 + x407 + x411 + x415
        + x419 =E= 0;

e329..  - x210 + x264 + x268 + x272 + x276 + x280 + x284 + x288 + x292 + x296
        + x300 + x304 + x308 + x312 + x316 + x320 + x324 + x328 + x332 + x336
        + x340 + x344 + x348 + x352 + x356 + x360 + x364 + x368 + x372 + x376
        + x380 + x384 + x388 + x392 + x396 + x400 + x404 + x408 + x412 + x416
        + x420 =E= 0;

e330..  - x202 + x421 + x425 + x429 + x433 + x437 + x441 + x445 + x449 + x453
        + x457 + x461 + x465 + x469 + x473 + x477 + x481 + x485 + x489 + x493
        + x497 + x501 + x505 + x509 + x513 + x517 + x521 + x525 + x529 + x533
        + x537 + x541 + x545 + x549 + x553 + x557 + x561 + x565 + x569 + x573
        + x577 =E= 0;

e331..  - x205 + x422 + x426 + x430 + x434 + x438 + x442 + x446 + x450 + x454
        + x458 + x462 + x466 + x470 + x474 + x478 + x482 + x486 + x490 + x494
        + x498 + x502 + x506 + x510 + x514 + x518 + x522 + x526 + x530 + x534
        + x538 + x542 + x546 + x550 + x554 + x558 + x562 + x566 + x570 + x574
        + x578 =E= 0;

e332..  - x208 + x423 + x427 + x431 + x435 + x439 + x443 + x447 + x451 + x455
        + x459 + x463 + x467 + x471 + x475 + x479 + x483 + x487 + x491 + x495
        + x499 + x503 + x507 + x511 + x515 + x519 + x523 + x527 + x531 + x535
        + x539 + x543 + x547 + x551 + x555 + x559 + x563 + x567 + x571 + x575
        + x579 =E= 0;

e333..  - x211 + x424 + x428 + x432 + x436 + x440 + x444 + x448 + x452 + x456
        + x460 + x464 + x468 + x472 + x476 + x480 + x484 + x488 + x492 + x496
        + x500 + x504 + x508 + x512 + x516 + x520 + x524 + x528 + x532 + x536
        + x540 + x544 + x548 + x552 + x556 + x560 + x564 + x568 + x572 + x576
        + x580 =E= 0;

e334..  - x213 + x581 + x585 + x589 + x593 + x597 + x601 + x605 + x609 + x613
        + x617 + x621 + x625 + x629 + x633 + x637 + x641 + x645 + x649 + x653
        + x657 + x661 + x665 + x669 + x673 + x677 + x681 + x685 + x689 + x693
        + x697 + x701 + x705 + x709 + x713 + x717 + x721 + x725 + x729 + x733
        + x737 =E= 0;

e335..  - x215 + x582 + x586 + x590 + x594 + x598 + x602 + x606 + x610 + x614
        + x618 + x622 + x626 + x630 + x634 + x638 + x642 + x646 + x650 + x654
        + x658 + x662 + x666 + x670 + x674 + x678 + x682 + x686 + x690 + x694
        + x698 + x702 + x706 + x710 + x714 + x718 + x722 + x726 + x730 + x734
        + x738 =E= 0;

e336..  - x217 + x583 + x587 + x591 + x595 + x599 + x603 + x607 + x611 + x615
        + x619 + x623 + x627 + x631 + x635 + x639 + x643 + x647 + x651 + x655
        + x659 + x663 + x667 + x671 + x675 + x679 + x683 + x687 + x691 + x695
        + x699 + x703 + x707 + x711 + x715 + x719 + x723 + x727 + x731 + x735
        + x739 =E= 0;

e337..  - x219 + x584 + x588 + x592 + x596 + x600 + x604 + x608 + x612 + x616
        + x620 + x624 + x628 + x632 + x636 + x640 + x644 + x648 + x652 + x656
        + x660 + x664 + x668 + x672 + x676 + x680 + x684 + x688 + x692 + x696
        + x700 + x704 + x708 + x712 + x716 + x720 + x724 + x728 + x732 + x736
        + x740 =E= 0;

e338..  - x221 + x741 + x745 + x749 + x753 + x757 + x761 + x765 + x769 + x773
        + x777 + x781 + x785 + x789 + x793 + x797 + x801 + x805 + x809 + x813
        + x817 + x821 + x825 + x829 + x833 + x837 + x841 + x845 + x849 + x853
        + x857 + x861 + x865 + x869 + x873 + x877 + x881 + x885 + x889 + x893
        + x897 =E= 0;

e339..  - x223 + x742 + x746 + x750 + x754 + x758 + x762 + x766 + x770 + x774
        + x778 + x782 + x786 + x790 + x794 + x798 + x802 + x806 + x810 + x814
        + x818 + x822 + x826 + x830 + x834 + x838 + x842 + x846 + x850 + x854
        + x858 + x862 + x866 + x870 + x874 + x878 + x882 + x886 + x890 + x894
        + x898 =E= 0;

e340..  - x225 + x743 + x747 + x751 + x755 + x759 + x763 + x767 + x771 + x775
        + x779 + x783 + x787 + x791 + x795 + x799 + x803 + x807 + x811 + x815
        + x819 + x823 + x827 + x831 + x835 + x839 + x843 + x847 + x851 + x855
        + x859 + x863 + x867 + x871 + x875 + x879 + x883 + x887 + x891 + x895
        + x899 =E= 0;

e341..  - x227 + x744 + x748 + x752 + x756 + x760 + x764 + x768 + x772 + x776
        + x780 + x784 + x788 + x792 + x796 + x800 + x804 + x808 + x812 + x816
        + x820 + x824 + x828 + x832 + x836 + x840 + x844 + x848 + x852 + x856
        + x860 + x864 + x868 + x872 + x876 + x880 + x884 + x888 + x892 + x896
        + x900 =E= 0;

e342..  - x229 + x901 + x905 + x909 + x913 + x917 + x921 + x925 + x929 + x933
        + x937 + x941 + x945 + x949 + x953 + x957 + x961 + x965 + x969 + x973
        + x977 + x981 + x985 + x989 + x993 + x997 + x1001 + x1005 + x1009
        + x1013 + x1017 + x1021 + x1025 + x1029 + x1033 + x1037 + x1041 + x1045
        + x1049 + x1053 + x1057 =E= 0;

e343..  - x231 + x902 + x906 + x910 + x914 + x918 + x922 + x926 + x930 + x934
        + x938 + x942 + x946 + x950 + x954 + x958 + x962 + x966 + x970 + x974
        + x978 + x982 + x986 + x990 + x994 + x998 + x1002 + x1006 + x1010
        + x1014 + x1018 + x1022 + x1026 + x1030 + x1034 + x1038 + x1042 + x1046
        + x1050 + x1054 + x1058 =E= 0;

e344..  - x233 + x903 + x907 + x911 + x915 + x919 + x923 + x927 + x931 + x935
        + x939 + x943 + x947 + x951 + x955 + x959 + x963 + x967 + x971 + x975
        + x979 + x983 + x987 + x991 + x995 + x999 + x1003 + x1007 + x1011
        + x1015 + x1019 + x1023 + x1027 + x1031 + x1035 + x1039 + x1043 + x1047
        + x1051 + x1055 + x1059 =E= 0;

e345..  - x235 + x904 + x908 + x912 + x916 + x920 + x924 + x928 + x932 + x936
        + x940 + x944 + x948 + x952 + x956 + x960 + x964 + x968 + x972 + x976
        + x980 + x984 + x988 + x992 + x996 + x1000 + x1004 + x1008 + x1012
        + x1016 + x1020 + x1024 + x1028 + x1032 + x1036 + x1040 + x1044 + x1048
        + x1052 + x1056 + x1060 =E= 0;

e346..  - 10*b1 + x261 =L= 0;

e347..  - 10*b2 + x265 =L= 0;

e348..  - 10*b3 + x269 =L= 0;

e349..  - 10*b4 + x273 =L= 0;

e350..  - 10*b5 + x277 =L= 0;

e351..  - 10*b6 + x281 =L= 0;

e352..  - 10*b7 + x285 =L= 0;

e353..  - 10*b8 + x289 =L= 0;

e354..  - 10*b9 + x293 =L= 0;

e355..  - 10*b10 + x297 =L= 0;

e356..  - 10*b11 + x301 =L= 0;

e357..  - 10*b12 + x305 =L= 0;

e358..  - 10*b13 + x309 =L= 0;

e359..  - 10*b14 + x313 =L= 0;

e360..  - 10*b15 + x317 =L= 0;

e361..  - 10*b16 + x321 =L= 0;

e362..  - 10*b17 + x325 =L= 0;

e363..  - 10*b18 + x329 =L= 0;

e364..  - 10*b19 + x333 =L= 0;

e365..  - 10*b20 + x337 =L= 0;

e366..  - 10*b21 + x341 =L= 0;

e367..  - 10*b22 + x345 =L= 0;

e368..  - 10*b23 + x349 =L= 0;

e369..  - 10*b24 + x353 =L= 0;

e370..  - 10*b25 + x357 =L= 0;

e371..  - 10*b26 + x361 =L= 0;

e372..  - 10*b27 + x365 =L= 0;

e373..  - 10*b28 + x369 =L= 0;

e374..  - 10*b29 + x373 =L= 0;

e375..  - 10*b30 + x377 =L= 0;

e376..  - 10*b31 + x381 =L= 0;

e377..  - 10*b32 + x385 =L= 0;

e378..  - 10*b33 + x389 =L= 0;

e379..  - 10*b34 + x393 =L= 0;

e380..  - 10*b35 + x397 =L= 0;

e381..  - 10*b36 + x401 =L= 0;

e382..  - 10*b37 + x405 =L= 0;

e383..  - 10*b38 + x409 =L= 0;

e384..  - 10*b39 + x413 =L= 0;

e385..  - 10*b40 + x417 =L= 0;

e386..  - 10*b1 + x262 =L= 0;

e387..  - 10*b2 + x266 =L= 0;

e388..  - 10*b3 + x270 =L= 0;

e389..  - 10*b4 + x274 =L= 0;

e390..  - 10*b5 + x278 =L= 0;

e391..  - 10*b6 + x282 =L= 0;

e392..  - 10*b7 + x286 =L= 0;

e393..  - 10*b8 + x290 =L= 0;

e394..  - 10*b9 + x294 =L= 0;

e395..  - 10*b10 + x298 =L= 0;

e396..  - 10*b11 + x302 =L= 0;

e397..  - 10*b12 + x306 =L= 0;

e398..  - 10*b13 + x310 =L= 0;

e399..  - 10*b14 + x314 =L= 0;

e400..  - 10*b15 + x318 =L= 0;

e401..  - 10*b16 + x322 =L= 0;

e402..  - 10*b17 + x326 =L= 0;

e403..  - 10*b18 + x330 =L= 0;

e404..  - 10*b19 + x334 =L= 0;

e405..  - 10*b20 + x338 =L= 0;

e406..  - 10*b21 + x342 =L= 0;

e407..  - 10*b22 + x346 =L= 0;

e408..  - 10*b23 + x350 =L= 0;

e409..  - 10*b24 + x354 =L= 0;

e410..  - 10*b25 + x358 =L= 0;

e411..  - 10*b26 + x362 =L= 0;

e412..  - 10*b27 + x366 =L= 0;

e413..  - 10*b28 + x370 =L= 0;

e414..  - 10*b29 + x374 =L= 0;

e415..  - 10*b30 + x378 =L= 0;

e416..  - 10*b31 + x382 =L= 0;

e417..  - 10*b32 + x386 =L= 0;

e418..  - 10*b33 + x390 =L= 0;

e419..  - 10*b34 + x394 =L= 0;

e420..  - 10*b35 + x398 =L= 0;

e421..  - 10*b36 + x402 =L= 0;

e422..  - 10*b37 + x406 =L= 0;

e423..  - 10*b38 + x410 =L= 0;

e424..  - 10*b39 + x414 =L= 0;

e425..  - 10*b40 + x418 =L= 0;

e426..  - 10*b1 + x263 =L= 0;

e427..  - 10*b2 + x267 =L= 0;

e428..  - 10*b3 + x271 =L= 0;

e429..  - 10*b4 + x275 =L= 0;

e430..  - 10*b5 + x279 =L= 0;

e431..  - 10*b6 + x283 =L= 0;

e432..  - 10*b7 + x287 =L= 0;

e433..  - 10*b8 + x291 =L= 0;

e434..  - 10*b9 + x295 =L= 0;

e435..  - 10*b10 + x299 =L= 0;

e436..  - 10*b11 + x303 =L= 0;

e437..  - 10*b12 + x307 =L= 0;

e438..  - 10*b13 + x311 =L= 0;

e439..  - 10*b14 + x315 =L= 0;

e440..  - 10*b15 + x319 =L= 0;

e441..  - 10*b16 + x323 =L= 0;

e442..  - 10*b17 + x327 =L= 0;

e443..  - 10*b18 + x331 =L= 0;

e444..  - 10*b19 + x335 =L= 0;

e445..  - 10*b20 + x339 =L= 0;

e446..  - 10*b21 + x343 =L= 0;

e447..  - 10*b22 + x347 =L= 0;

e448..  - 10*b23 + x351 =L= 0;

e449..  - 10*b24 + x355 =L= 0;

e450..  - 10*b25 + x359 =L= 0;

e451..  - 10*b26 + x363 =L= 0;

e452..  - 10*b27 + x367 =L= 0;

e453..  - 10*b28 + x371 =L= 0;

e454..  - 10*b29 + x375 =L= 0;

e455..  - 10*b30 + x379 =L= 0;

e456..  - 10*b31 + x383 =L= 0;

e457..  - 10*b32 + x387 =L= 0;

e458..  - 10*b33 + x391 =L= 0;

e459..  - 10*b34 + x395 =L= 0;

e460..  - 10*b35 + x399 =L= 0;

e461..  - 10*b36 + x403 =L= 0;

e462..  - 10*b37 + x407 =L= 0;

e463..  - 10*b38 + x411 =L= 0;

e464..  - 10*b39 + x415 =L= 0;

e465..  - 10*b40 + x419 =L= 0;

e466..  - 10*b1 + x264 =L= 0;

e467..  - 10*b2 + x268 =L= 0;

e468..  - 10*b3 + x272 =L= 0;

e469..  - 10*b4 + x276 =L= 0;

e470..  - 10*b5 + x280 =L= 0;

e471..  - 10*b6 + x284 =L= 0;

e472..  - 10*b7 + x288 =L= 0;

e473..  - 10*b8 + x292 =L= 0;

e474..  - 10*b9 + x296 =L= 0;

e475..  - 10*b10 + x300 =L= 0;

e476..  - 10*b11 + x304 =L= 0;

e477..  - 10*b12 + x308 =L= 0;

e478..  - 10*b13 + x312 =L= 0;

e479..  - 10*b14 + x316 =L= 0;

e480..  - 10*b15 + x320 =L= 0;

e481..  - 10*b16 + x324 =L= 0;

e482..  - 10*b17 + x328 =L= 0;

e483..  - 10*b18 + x332 =L= 0;

e484..  - 10*b19 + x336 =L= 0;

e485..  - 10*b20 + x340 =L= 0;

e486..  - 10*b21 + x344 =L= 0;

e487..  - 10*b22 + x348 =L= 0;

e488..  - 10*b23 + x352 =L= 0;

e489..  - 10*b24 + x356 =L= 0;

e490..  - 10*b25 + x360 =L= 0;

e491..  - 10*b26 + x364 =L= 0;

e492..  - 10*b27 + x368 =L= 0;

e493..  - 10*b28 + x372 =L= 0;

e494..  - 10*b29 + x376 =L= 0;

e495..  - 10*b30 + x380 =L= 0;

e496..  - 10*b31 + x384 =L= 0;

e497..  - 10*b32 + x388 =L= 0;

e498..  - 10*b33 + x392 =L= 0;

e499..  - 10*b34 + x396 =L= 0;

e500..  - 10*b35 + x400 =L= 0;

e501..  - 10*b36 + x404 =L= 0;

e502..  - 10*b37 + x408 =L= 0;

e503..  - 10*b38 + x412 =L= 0;

e504..  - 10*b39 + x416 =L= 0;

e505..  - 10*b40 + x420 =L= 0;

e506..  - 10*b41 + x421 =L= 0;

e507..  - 10*b42 + x425 =L= 0;

e508..  - 10*b43 + x429 =L= 0;

e509..  - 10*b44 + x433 =L= 0;

e510..  - 10*b45 + x437 =L= 0;

e511..  - 10*b46 + x441 =L= 0;

e512..  - 10*b47 + x445 =L= 0;

e513..  - 10*b48 + x449 =L= 0;

e514..  - 10*b49 + x453 =L= 0;

e515..  - 10*b50 + x457 =L= 0;

e516..  - 10*b51 + x461 =L= 0;

e517..  - 10*b52 + x465 =L= 0;

e518..  - 10*b53 + x469 =L= 0;

e519..  - 10*b54 + x473 =L= 0;

e520..  - 10*b55 + x477 =L= 0;

e521..  - 10*b56 + x481 =L= 0;

e522..  - 10*b57 + x485 =L= 0;

e523..  - 10*b58 + x489 =L= 0;

e524..  - 10*b59 + x493 =L= 0;

e525..  - 10*b60 + x497 =L= 0;

e526..  - 10*b61 + x501 =L= 0;

e527..  - 10*b62 + x505 =L= 0;

e528..  - 10*b63 + x509 =L= 0;

e529..  - 10*b64 + x513 =L= 0;

e530..  - 10*b65 + x517 =L= 0;

e531..  - 10*b66 + x521 =L= 0;

e532..  - 10*b67 + x525 =L= 0;

e533..  - 10*b68 + x529 =L= 0;

e534..  - 10*b69 + x533 =L= 0;

e535..  - 10*b70 + x537 =L= 0;

e536..  - 10*b71 + x541 =L= 0;

e537..  - 10*b72 + x545 =L= 0;

e538..  - 10*b73 + x549 =L= 0;

e539..  - 10*b74 + x553 =L= 0;

e540..  - 10*b75 + x557 =L= 0;

e541..  - 10*b76 + x561 =L= 0;

e542..  - 10*b77 + x565 =L= 0;

e543..  - 10*b78 + x569 =L= 0;

e544..  - 10*b79 + x573 =L= 0;

e545..  - 10*b80 + x577 =L= 0;

e546..  - 10*b41 + x422 =L= 0;

e547..  - 10*b42 + x426 =L= 0;

e548..  - 10*b43 + x430 =L= 0;

e549..  - 10*b44 + x434 =L= 0;

e550..  - 10*b45 + x438 =L= 0;

e551..  - 10*b46 + x442 =L= 0;

e552..  - 10*b47 + x446 =L= 0;

e553..  - 10*b48 + x450 =L= 0;

e554..  - 10*b49 + x454 =L= 0;

e555..  - 10*b50 + x458 =L= 0;

e556..  - 10*b51 + x462 =L= 0;

e557..  - 10*b52 + x466 =L= 0;

e558..  - 10*b53 + x470 =L= 0;

e559..  - 10*b54 + x474 =L= 0;

e560..  - 10*b55 + x478 =L= 0;

e561..  - 10*b56 + x482 =L= 0;

e562..  - 10*b57 + x486 =L= 0;

e563..  - 10*b58 + x490 =L= 0;

e564..  - 10*b59 + x494 =L= 0;

e565..  - 10*b60 + x498 =L= 0;

e566..  - 10*b61 + x502 =L= 0;

e567..  - 10*b62 + x506 =L= 0;

e568..  - 10*b63 + x510 =L= 0;

e569..  - 10*b64 + x514 =L= 0;

e570..  - 10*b65 + x518 =L= 0;

e571..  - 10*b66 + x522 =L= 0;

e572..  - 10*b67 + x526 =L= 0;

e573..  - 10*b68 + x530 =L= 0;

e574..  - 10*b69 + x534 =L= 0;

e575..  - 10*b70 + x538 =L= 0;

e576..  - 10*b71 + x542 =L= 0;

e577..  - 10*b72 + x546 =L= 0;

e578..  - 10*b73 + x550 =L= 0;

e579..  - 10*b74 + x554 =L= 0;

e580..  - 10*b75 + x558 =L= 0;

e581..  - 10*b76 + x562 =L= 0;

e582..  - 10*b77 + x566 =L= 0;

e583..  - 10*b78 + x570 =L= 0;

e584..  - 10*b79 + x574 =L= 0;

e585..  - 10*b80 + x578 =L= 0;

e586..  - 10*b41 + x423 =L= 0;

e587..  - 10*b42 + x427 =L= 0;

e588..  - 10*b43 + x431 =L= 0;

e589..  - 10*b44 + x435 =L= 0;

e590..  - 10*b45 + x439 =L= 0;

e591..  - 10*b46 + x443 =L= 0;

e592..  - 10*b47 + x447 =L= 0;

e593..  - 10*b48 + x451 =L= 0;

e594..  - 10*b49 + x455 =L= 0;

e595..  - 10*b50 + x459 =L= 0;

e596..  - 10*b51 + x463 =L= 0;

e597..  - 10*b52 + x467 =L= 0;

e598..  - 10*b53 + x471 =L= 0;

e599..  - 10*b54 + x475 =L= 0;

e600..  - 10*b55 + x479 =L= 0;

e601..  - 10*b56 + x483 =L= 0;

e602..  - 10*b57 + x487 =L= 0;

e603..  - 10*b58 + x491 =L= 0;

e604..  - 10*b59 + x495 =L= 0;

e605..  - 10*b60 + x499 =L= 0;

e606..  - 10*b61 + x503 =L= 0;

e607..  - 10*b62 + x507 =L= 0;

e608..  - 10*b63 + x511 =L= 0;

e609..  - 10*b64 + x515 =L= 0;

e610..  - 10*b65 + x519 =L= 0;

e611..  - 10*b66 + x523 =L= 0;

e612..  - 10*b67 + x527 =L= 0;

e613..  - 10*b68 + x531 =L= 0;

e614..  - 10*b69 + x535 =L= 0;

e615..  - 10*b70 + x539 =L= 0;

e616..  - 10*b71 + x543 =L= 0;

e617..  - 10*b72 + x547 =L= 0;

e618..  - 10*b73 + x551 =L= 0;

e619..  - 10*b74 + x555 =L= 0;

e620..  - 10*b75 + x559 =L= 0;

e621..  - 10*b76 + x563 =L= 0;

e622..  - 10*b77 + x567 =L= 0;

e623..  - 10*b78 + x571 =L= 0;

e624..  - 10*b79 + x575 =L= 0;

e625..  - 10*b80 + x579 =L= 0;

e626..  - 10*b41 + x424 =L= 0;

e627..  - 10*b42 + x428 =L= 0;

e628..  - 10*b43 + x432 =L= 0;

e629..  - 10*b44 + x436 =L= 0;

e630..  - 10*b45 + x440 =L= 0;

e631..  - 10*b46 + x444 =L= 0;

e632..  - 10*b47 + x448 =L= 0;

e633..  - 10*b48 + x452 =L= 0;

e634..  - 10*b49 + x456 =L= 0;

e635..  - 10*b50 + x460 =L= 0;

e636..  - 10*b51 + x464 =L= 0;

e637..  - 10*b52 + x468 =L= 0;

e638..  - 10*b53 + x472 =L= 0;

e639..  - 10*b54 + x476 =L= 0;

e640..  - 10*b55 + x480 =L= 0;

e641..  - 10*b56 + x484 =L= 0;

e642..  - 10*b57 + x488 =L= 0;

e643..  - 10*b58 + x492 =L= 0;

e644..  - 10*b59 + x496 =L= 0;

e645..  - 10*b60 + x500 =L= 0;

e646..  - 10*b61 + x504 =L= 0;

e647..  - 10*b62 + x508 =L= 0;

e648..  - 10*b63 + x512 =L= 0;

e649..  - 10*b64 + x516 =L= 0;

e650..  - 10*b65 + x520 =L= 0;

e651..  - 10*b66 + x524 =L= 0;

e652..  - 10*b67 + x528 =L= 0;

e653..  - 10*b68 + x532 =L= 0;

e654..  - 10*b69 + x536 =L= 0;

e655..  - 10*b70 + x540 =L= 0;

e656..  - 10*b71 + x544 =L= 0;

e657..  - 10*b72 + x548 =L= 0;

e658..  - 10*b73 + x552 =L= 0;

e659..  - 10*b74 + x556 =L= 0;

e660..  - 10*b75 + x560 =L= 0;

e661..  - 10*b76 + x564 =L= 0;

e662..  - 10*b77 + x568 =L= 0;

e663..  - 10*b78 + x572 =L= 0;

e664..  - 10*b79 + x576 =L= 0;

e665..  - 10*b80 + x580 =L= 0;

e666..  - 10*b81 + x581 =L= 0;

e667..  - 10*b82 + x585 =L= 0;

e668..  - 10*b83 + x589 =L= 0;

e669..  - 10*b84 + x593 =L= 0;

e670..  - 10*b85 + x597 =L= 0;

e671..  - 10*b86 + x601 =L= 0;

e672..  - 10*b87 + x605 =L= 0;

e673..  - 10*b88 + x609 =L= 0;

e674..  - 10*b89 + x613 =L= 0;

e675..  - 10*b90 + x617 =L= 0;

e676..  - 10*b91 + x621 =L= 0;

e677..  - 10*b92 + x625 =L= 0;

e678..  - 10*b93 + x629 =L= 0;

e679..  - 10*b94 + x633 =L= 0;

e680..  - 10*b95 + x637 =L= 0;

e681..  - 10*b96 + x641 =L= 0;

e682..  - 10*b97 + x645 =L= 0;

e683..  - 10*b98 + x649 =L= 0;

e684..  - 10*b99 + x653 =L= 0;

e685..  - 10*b100 + x657 =L= 0;

e686..  - 10*b101 + x661 =L= 0;

e687..  - 10*b102 + x665 =L= 0;

e688..  - 10*b103 + x669 =L= 0;

e689..  - 10*b104 + x673 =L= 0;

e690..  - 10*b105 + x677 =L= 0;

e691..  - 10*b106 + x681 =L= 0;

e692..  - 10*b107 + x685 =L= 0;

e693..  - 10*b108 + x689 =L= 0;

e694..  - 10*b109 + x693 =L= 0;

e695..  - 10*b110 + x697 =L= 0;

e696..  - 10*b111 + x701 =L= 0;

e697..  - 10*b112 + x705 =L= 0;

e698..  - 10*b113 + x709 =L= 0;

e699..  - 10*b114 + x713 =L= 0;

e700..  - 10*b115 + x717 =L= 0;

e701..  - 10*b116 + x721 =L= 0;

e702..  - 10*b117 + x725 =L= 0;

e703..  - 10*b118 + x729 =L= 0;

e704..  - 10*b119 + x733 =L= 0;

e705..  - 10*b120 + x737 =L= 0;

e706..  - 10*b81 + x582 =L= 0;

e707..  - 10*b82 + x586 =L= 0;

e708..  - 10*b83 + x590 =L= 0;

e709..  - 10*b84 + x594 =L= 0;

e710..  - 10*b85 + x598 =L= 0;

e711..  - 10*b86 + x602 =L= 0;

e712..  - 10*b87 + x606 =L= 0;

e713..  - 10*b88 + x610 =L= 0;

e714..  - 10*b89 + x614 =L= 0;

e715..  - 10*b90 + x618 =L= 0;

e716..  - 10*b91 + x622 =L= 0;

e717..  - 10*b92 + x626 =L= 0;

e718..  - 10*b93 + x630 =L= 0;

e719..  - 10*b94 + x634 =L= 0;

e720..  - 10*b95 + x638 =L= 0;

e721..  - 10*b96 + x642 =L= 0;

e722..  - 10*b97 + x646 =L= 0;

e723..  - 10*b98 + x650 =L= 0;

e724..  - 10*b99 + x654 =L= 0;

e725..  - 10*b100 + x658 =L= 0;

e726..  - 10*b101 + x662 =L= 0;

e727..  - 10*b102 + x666 =L= 0;

e728..  - 10*b103 + x670 =L= 0;

e729..  - 10*b104 + x674 =L= 0;

e730..  - 10*b105 + x678 =L= 0;

e731..  - 10*b106 + x682 =L= 0;

e732..  - 10*b107 + x686 =L= 0;

e733..  - 10*b108 + x690 =L= 0;

e734..  - 10*b109 + x694 =L= 0;

e735..  - 10*b110 + x698 =L= 0;

e736..  - 10*b111 + x702 =L= 0;

e737..  - 10*b112 + x706 =L= 0;

e738..  - 10*b113 + x710 =L= 0;

e739..  - 10*b114 + x714 =L= 0;

e740..  - 10*b115 + x718 =L= 0;

e741..  - 10*b116 + x722 =L= 0;

e742..  - 10*b117 + x726 =L= 0;

e743..  - 10*b118 + x730 =L= 0;

e744..  - 10*b119 + x734 =L= 0;

e745..  - 10*b120 + x738 =L= 0;

e746..  - 10*b81 + x583 =L= 0;

e747..  - 10*b82 + x587 =L= 0;

e748..  - 10*b83 + x591 =L= 0;

e749..  - 10*b84 + x595 =L= 0;

e750..  - 10*b85 + x599 =L= 0;

e751..  - 10*b86 + x603 =L= 0;

e752..  - 10*b87 + x607 =L= 0;

e753..  - 10*b88 + x611 =L= 0;

e754..  - 10*b89 + x615 =L= 0;

e755..  - 10*b90 + x619 =L= 0;

e756..  - 10*b91 + x623 =L= 0;

e757..  - 10*b92 + x627 =L= 0;

e758..  - 10*b93 + x631 =L= 0;

e759..  - 10*b94 + x635 =L= 0;

e760..  - 10*b95 + x639 =L= 0;

e761..  - 10*b96 + x643 =L= 0;

e762..  - 10*b97 + x647 =L= 0;

e763..  - 10*b98 + x651 =L= 0;

e764..  - 10*b99 + x655 =L= 0;

e765..  - 10*b100 + x659 =L= 0;

e766..  - 10*b101 + x663 =L= 0;

e767..  - 10*b102 + x667 =L= 0;

e768..  - 10*b103 + x671 =L= 0;

e769..  - 10*b104 + x675 =L= 0;

e770..  - 10*b105 + x679 =L= 0;

e771..  - 10*b106 + x683 =L= 0;

e772..  - 10*b107 + x687 =L= 0;

e773..  - 10*b108 + x691 =L= 0;

e774..  - 10*b109 + x695 =L= 0;

e775..  - 10*b110 + x699 =L= 0;

e776..  - 10*b111 + x703 =L= 0;

e777..  - 10*b112 + x707 =L= 0;

e778..  - 10*b113 + x711 =L= 0;

e779..  - 10*b114 + x715 =L= 0;

e780..  - 10*b115 + x719 =L= 0;

e781..  - 10*b116 + x723 =L= 0;

e782..  - 10*b117 + x727 =L= 0;

e783..  - 10*b118 + x731 =L= 0;

e784..  - 10*b119 + x735 =L= 0;

e785..  - 10*b120 + x739 =L= 0;

e786..  - 10*b81 + x584 =L= 0;

e787..  - 10*b82 + x588 =L= 0;

e788..  - 10*b83 + x592 =L= 0;

e789..  - 10*b84 + x596 =L= 0;

e790..  - 10*b85 + x600 =L= 0;

e791..  - 10*b86 + x604 =L= 0;

e792..  - 10*b87 + x608 =L= 0;

e793..  - 10*b88 + x612 =L= 0;

e794..  - 10*b89 + x616 =L= 0;

e795..  - 10*b90 + x620 =L= 0;

e796..  - 10*b91 + x624 =L= 0;

e797..  - 10*b92 + x628 =L= 0;

e798..  - 10*b93 + x632 =L= 0;

e799..  - 10*b94 + x636 =L= 0;

e800..  - 10*b95 + x640 =L= 0;

e801..  - 10*b96 + x644 =L= 0;

e802..  - 10*b97 + x648 =L= 0;

e803..  - 10*b98 + x652 =L= 0;

e804..  - 10*b99 + x656 =L= 0;

e805..  - 10*b100 + x660 =L= 0;

e806..  - 10*b101 + x664 =L= 0;

e807..  - 10*b102 + x668 =L= 0;

e808..  - 10*b103 + x672 =L= 0;

e809..  - 10*b104 + x676 =L= 0;

e810..  - 10*b105 + x680 =L= 0;

e811..  - 10*b106 + x684 =L= 0;

e812..  - 10*b107 + x688 =L= 0;

e813..  - 10*b108 + x692 =L= 0;

e814..  - 10*b109 + x696 =L= 0;

e815..  - 10*b110 + x700 =L= 0;

e816..  - 10*b111 + x704 =L= 0;

e817..  - 10*b112 + x708 =L= 0;

e818..  - 10*b113 + x712 =L= 0;

e819..  - 10*b114 + x716 =L= 0;

e820..  - 10*b115 + x720 =L= 0;

e821..  - 10*b116 + x724 =L= 0;

e822..  - 10*b117 + x728 =L= 0;

e823..  - 10*b118 + x732 =L= 0;

e824..  - 10*b119 + x736 =L= 0;

e825..  - 10*b120 + x740 =L= 0;

e826..  - 10*b121 + x741 =L= 0;

e827..  - 10*b122 + x745 =L= 0;

e828..  - 10*b123 + x749 =L= 0;

e829..  - 10*b124 + x753 =L= 0;

e830..  - 10*b125 + x757 =L= 0;

e831..  - 10*b126 + x761 =L= 0;

e832..  - 10*b127 + x765 =L= 0;

e833..  - 10*b128 + x769 =L= 0;

e834..  - 10*b129 + x773 =L= 0;

e835..  - 10*b130 + x777 =L= 0;

e836..  - 10*b131 + x781 =L= 0;

e837..  - 10*b132 + x785 =L= 0;

e838..  - 10*b133 + x789 =L= 0;

e839..  - 10*b134 + x793 =L= 0;

e840..  - 10*b135 + x797 =L= 0;

e841..  - 10*b136 + x801 =L= 0;

e842..  - 10*b137 + x805 =L= 0;

e843..  - 10*b138 + x809 =L= 0;

e844..  - 10*b139 + x813 =L= 0;

e845..  - 10*b140 + x817 =L= 0;

e846..  - 10*b141 + x821 =L= 0;

e847..  - 10*b142 + x825 =L= 0;

e848..  - 10*b143 + x829 =L= 0;

e849..  - 10*b144 + x833 =L= 0;

e850..  - 10*b145 + x837 =L= 0;

e851..  - 10*b146 + x841 =L= 0;

e852..  - 10*b147 + x845 =L= 0;

e853..  - 10*b148 + x849 =L= 0;

e854..  - 10*b149 + x853 =L= 0;

e855..  - 10*b150 + x857 =L= 0;

e856..  - 10*b151 + x861 =L= 0;

e857..  - 10*b152 + x865 =L= 0;

e858..  - 10*b153 + x869 =L= 0;

e859..  - 10*b154 + x873 =L= 0;

e860..  - 10*b155 + x877 =L= 0;

e861..  - 10*b156 + x881 =L= 0;

e862..  - 10*b157 + x885 =L= 0;

e863..  - 10*b158 + x889 =L= 0;

e864..  - 10*b159 + x893 =L= 0;

e865..  - 10*b160 + x897 =L= 0;

e866..  - 10*b121 + x742 =L= 0;

e867..  - 10*b122 + x746 =L= 0;

e868..  - 10*b123 + x750 =L= 0;

e869..  - 10*b124 + x754 =L= 0;

e870..  - 10*b125 + x758 =L= 0;

e871..  - 10*b126 + x762 =L= 0;

e872..  - 10*b127 + x766 =L= 0;

e873..  - 10*b128 + x770 =L= 0;

e874..  - 10*b129 + x774 =L= 0;

e875..  - 10*b130 + x778 =L= 0;

e876..  - 10*b131 + x782 =L= 0;

e877..  - 10*b132 + x786 =L= 0;

e878..  - 10*b133 + x790 =L= 0;

e879..  - 10*b134 + x794 =L= 0;

e880..  - 10*b135 + x798 =L= 0;

e881..  - 10*b136 + x802 =L= 0;

e882..  - 10*b137 + x806 =L= 0;

e883..  - 10*b138 + x810 =L= 0;

e884..  - 10*b139 + x814 =L= 0;

e885..  - 10*b140 + x818 =L= 0;

e886..  - 10*b141 + x822 =L= 0;

e887..  - 10*b142 + x826 =L= 0;

e888..  - 10*b143 + x830 =L= 0;

e889..  - 10*b144 + x834 =L= 0;

e890..  - 10*b145 + x838 =L= 0;

e891..  - 10*b146 + x842 =L= 0;

e892..  - 10*b147 + x846 =L= 0;

e893..  - 10*b148 + x850 =L= 0;

e894..  - 10*b149 + x854 =L= 0;

e895..  - 10*b150 + x858 =L= 0;

e896..  - 10*b151 + x862 =L= 0;

e897..  - 10*b152 + x866 =L= 0;

e898..  - 10*b153 + x870 =L= 0;

e899..  - 10*b154 + x874 =L= 0;

e900..  - 10*b155 + x878 =L= 0;

e901..  - 10*b156 + x882 =L= 0;

e902..  - 10*b157 + x886 =L= 0;

e903..  - 10*b158 + x890 =L= 0;

e904..  - 10*b159 + x894 =L= 0;

e905..  - 10*b160 + x898 =L= 0;

e906..  - 10*b121 + x743 =L= 0;

e907..  - 10*b122 + x747 =L= 0;

e908..  - 10*b123 + x751 =L= 0;

e909..  - 10*b124 + x755 =L= 0;

e910..  - 10*b125 + x759 =L= 0;

e911..  - 10*b126 + x763 =L= 0;

e912..  - 10*b127 + x767 =L= 0;

e913..  - 10*b128 + x771 =L= 0;

e914..  - 10*b129 + x775 =L= 0;

e915..  - 10*b130 + x779 =L= 0;

e916..  - 10*b131 + x783 =L= 0;

e917..  - 10*b132 + x787 =L= 0;

e918..  - 10*b133 + x791 =L= 0;

e919..  - 10*b134 + x795 =L= 0;

e920..  - 10*b135 + x799 =L= 0;

e921..  - 10*b136 + x803 =L= 0;

e922..  - 10*b137 + x807 =L= 0;

e923..  - 10*b138 + x811 =L= 0;

e924..  - 10*b139 + x815 =L= 0;

e925..  - 10*b140 + x819 =L= 0;

e926..  - 10*b141 + x823 =L= 0;

e927..  - 10*b142 + x827 =L= 0;

e928..  - 10*b143 + x831 =L= 0;

e929..  - 10*b144 + x835 =L= 0;

e930..  - 10*b145 + x839 =L= 0;

e931..  - 10*b146 + x843 =L= 0;

e932..  - 10*b147 + x847 =L= 0;

e933..  - 10*b148 + x851 =L= 0;

e934..  - 10*b149 + x855 =L= 0;

e935..  - 10*b150 + x859 =L= 0;

e936..  - 10*b151 + x863 =L= 0;

e937..  - 10*b152 + x867 =L= 0;

e938..  - 10*b153 + x871 =L= 0;

e939..  - 10*b154 + x875 =L= 0;

e940..  - 10*b155 + x879 =L= 0;

e941..  - 10*b156 + x883 =L= 0;

e942..  - 10*b157 + x887 =L= 0;

e943..  - 10*b158 + x891 =L= 0;

e944..  - 10*b159 + x895 =L= 0;

e945..  - 10*b160 + x899 =L= 0;

e946..  - 10*b121 + x744 =L= 0;

e947..  - 10*b122 + x748 =L= 0;

e948..  - 10*b123 + x752 =L= 0;

e949..  - 10*b124 + x756 =L= 0;

e950..  - 10*b125 + x760 =L= 0;

e951..  - 10*b126 + x764 =L= 0;

e952..  - 10*b127 + x768 =L= 0;

e953..  - 10*b128 + x772 =L= 0;

e954..  - 10*b129 + x776 =L= 0;

e955..  - 10*b130 + x780 =L= 0;

e956..  - 10*b131 + x784 =L= 0;

e957..  - 10*b132 + x788 =L= 0;

e958..  - 10*b133 + x792 =L= 0;

e959..  - 10*b134 + x796 =L= 0;

e960..  - 10*b135 + x800 =L= 0;

e961..  - 10*b136 + x804 =L= 0;

e962..  - 10*b137 + x808 =L= 0;

e963..  - 10*b138 + x812 =L= 0;

e964..  - 10*b139 + x816 =L= 0;

e965..  - 10*b140 + x820 =L= 0;

e966..  - 10*b141 + x824 =L= 0;

e967..  - 10*b142 + x828 =L= 0;

e968..  - 10*b143 + x832 =L= 0;

e969..  - 10*b144 + x836 =L= 0;

e970..  - 10*b145 + x840 =L= 0;

e971..  - 10*b146 + x844 =L= 0;

e972..  - 10*b147 + x848 =L= 0;

e973..  - 10*b148 + x852 =L= 0;

e974..  - 10*b149 + x856 =L= 0;

e975..  - 10*b150 + x860 =L= 0;

e976..  - 10*b151 + x864 =L= 0;

e977..  - 10*b152 + x868 =L= 0;

e978..  - 10*b153 + x872 =L= 0;

e979..  - 10*b154 + x876 =L= 0;

e980..  - 10*b155 + x880 =L= 0;

e981..  - 10*b156 + x884 =L= 0;

e982..  - 10*b157 + x888 =L= 0;

e983..  - 10*b158 + x892 =L= 0;

e984..  - 10*b159 + x896 =L= 0;

e985..  - 10*b160 + x900 =L= 0;

e986..  - 10*b161 + x901 =L= 0;

e987..  - 10*b162 + x905 =L= 0;

e988..  - 10*b163 + x909 =L= 0;

e989..  - 10*b164 + x913 =L= 0;

e990..  - 10*b165 + x917 =L= 0;

e991..  - 10*b166 + x921 =L= 0;

e992..  - 10*b167 + x925 =L= 0;

e993..  - 10*b168 + x929 =L= 0;

e994..  - 10*b169 + x933 =L= 0;

e995..  - 10*b170 + x937 =L= 0;

e996..  - 10*b171 + x941 =L= 0;

e997..  - 10*b172 + x945 =L= 0;

e998..  - 10*b173 + x949 =L= 0;

e999..  - 10*b174 + x953 =L= 0;

e1000..  - 10*b175 + x957 =L= 0;

e1001..  - 10*b176 + x961 =L= 0;

e1002..  - 10*b177 + x965 =L= 0;

e1003..  - 10*b178 + x969 =L= 0;

e1004..  - 10*b179 + x973 =L= 0;

e1005..  - 10*b180 + x977 =L= 0;

e1006..  - 10*b181 + x981 =L= 0;

e1007..  - 10*b182 + x985 =L= 0;

e1008..  - 10*b183 + x989 =L= 0;

e1009..  - 10*b184 + x993 =L= 0;

e1010..  - 10*b185 + x997 =L= 0;

e1011..  - 10*b186 + x1001 =L= 0;

e1012..  - 10*b187 + x1005 =L= 0;

e1013..  - 10*b188 + x1009 =L= 0;

e1014..  - 10*b189 + x1013 =L= 0;

e1015..  - 10*b190 + x1017 =L= 0;

e1016..  - 10*b191 + x1021 =L= 0;

e1017..  - 10*b192 + x1025 =L= 0;

e1018..  - 10*b193 + x1029 =L= 0;

e1019..  - 10*b194 + x1033 =L= 0;

e1020..  - 10*b195 + x1037 =L= 0;

e1021..  - 10*b196 + x1041 =L= 0;

e1022..  - 10*b197 + x1045 =L= 0;

e1023..  - 10*b198 + x1049 =L= 0;

e1024..  - 10*b199 + x1053 =L= 0;

e1025..  - 10*b200 + x1057 =L= 0;

e1026..  - 10*b161 + x902 =L= 0;

e1027..  - 10*b162 + x906 =L= 0;

e1028..  - 10*b163 + x910 =L= 0;

e1029..  - 10*b164 + x914 =L= 0;

e1030..  - 10*b165 + x918 =L= 0;

e1031..  - 10*b166 + x922 =L= 0;

e1032..  - 10*b167 + x926 =L= 0;

e1033..  - 10*b168 + x930 =L= 0;

e1034..  - 10*b169 + x934 =L= 0;

e1035..  - 10*b170 + x938 =L= 0;

e1036..  - 10*b171 + x942 =L= 0;

e1037..  - 10*b172 + x946 =L= 0;

e1038..  - 10*b173 + x950 =L= 0;

e1039..  - 10*b174 + x954 =L= 0;

e1040..  - 10*b175 + x958 =L= 0;

e1041..  - 10*b176 + x962 =L= 0;

e1042..  - 10*b177 + x966 =L= 0;

e1043..  - 10*b178 + x970 =L= 0;

e1044..  - 10*b179 + x974 =L= 0;

e1045..  - 10*b180 + x978 =L= 0;

e1046..  - 10*b181 + x982 =L= 0;

e1047..  - 10*b182 + x986 =L= 0;

e1048..  - 10*b183 + x990 =L= 0;

e1049..  - 10*b184 + x994 =L= 0;

e1050..  - 10*b185 + x998 =L= 0;

e1051..  - 10*b186 + x1002 =L= 0;

e1052..  - 10*b187 + x1006 =L= 0;

e1053..  - 10*b188 + x1010 =L= 0;

e1054..  - 10*b189 + x1014 =L= 0;

e1055..  - 10*b190 + x1018 =L= 0;

e1056..  - 10*b191 + x1022 =L= 0;

e1057..  - 10*b192 + x1026 =L= 0;

e1058..  - 10*b193 + x1030 =L= 0;

e1059..  - 10*b194 + x1034 =L= 0;

e1060..  - 10*b195 + x1038 =L= 0;

e1061..  - 10*b196 + x1042 =L= 0;

e1062..  - 10*b197 + x1046 =L= 0;

e1063..  - 10*b198 + x1050 =L= 0;

e1064..  - 10*b199 + x1054 =L= 0;

e1065..  - 10*b200 + x1058 =L= 0;

e1066..  - 10*b161 + x903 =L= 0;

e1067..  - 10*b162 + x907 =L= 0;

e1068..  - 10*b163 + x911 =L= 0;

e1069..  - 10*b164 + x915 =L= 0;

e1070..  - 10*b165 + x919 =L= 0;

e1071..  - 10*b166 + x923 =L= 0;

e1072..  - 10*b167 + x927 =L= 0;

e1073..  - 10*b168 + x931 =L= 0;

e1074..  - 10*b169 + x935 =L= 0;

e1075..  - 10*b170 + x939 =L= 0;

e1076..  - 10*b171 + x943 =L= 0;

e1077..  - 10*b172 + x947 =L= 0;

e1078..  - 10*b173 + x951 =L= 0;

e1079..  - 10*b174 + x955 =L= 0;

e1080..  - 10*b175 + x959 =L= 0;

e1081..  - 10*b176 + x963 =L= 0;

e1082..  - 10*b177 + x967 =L= 0;

e1083..  - 10*b178 + x971 =L= 0;

e1084..  - 10*b179 + x975 =L= 0;

e1085..  - 10*b180 + x979 =L= 0;

e1086..  - 10*b181 + x983 =L= 0;

e1087..  - 10*b182 + x987 =L= 0;

e1088..  - 10*b183 + x991 =L= 0;

e1089..  - 10*b184 + x995 =L= 0;

e1090..  - 10*b185 + x999 =L= 0;

e1091..  - 10*b186 + x1003 =L= 0;

e1092..  - 10*b187 + x1007 =L= 0;

e1093..  - 10*b188 + x1011 =L= 0;

e1094..  - 10*b189 + x1015 =L= 0;

e1095..  - 10*b190 + x1019 =L= 0;

e1096..  - 10*b191 + x1023 =L= 0;

e1097..  - 10*b192 + x1027 =L= 0;

e1098..  - 10*b193 + x1031 =L= 0;

e1099..  - 10*b194 + x1035 =L= 0;

e1100..  - 10*b195 + x1039 =L= 0;

e1101..  - 10*b196 + x1043 =L= 0;

e1102..  - 10*b197 + x1047 =L= 0;

e1103..  - 10*b198 + x1051 =L= 0;

e1104..  - 10*b199 + x1055 =L= 0;

e1105..  - 10*b200 + x1059 =L= 0;

e1106..  - 10*b161 + x904 =L= 0;

e1107..  - 10*b162 + x908 =L= 0;

e1108..  - 10*b163 + x912 =L= 0;

e1109..  - 10*b164 + x916 =L= 0;

e1110..  - 10*b165 + x920 =L= 0;

e1111..  - 10*b166 + x924 =L= 0;

e1112..  - 10*b167 + x928 =L= 0;

e1113..  - 10*b168 + x932 =L= 0;

e1114..  - 10*b169 + x936 =L= 0;

e1115..  - 10*b170 + x940 =L= 0;

e1116..  - 10*b171 + x944 =L= 0;

e1117..  - 10*b172 + x948 =L= 0;

e1118..  - 10*b173 + x952 =L= 0;

e1119..  - 10*b174 + x956 =L= 0;

e1120..  - 10*b175 + x960 =L= 0;

e1121..  - 10*b176 + x964 =L= 0;

e1122..  - 10*b177 + x968 =L= 0;

e1123..  - 10*b178 + x972 =L= 0;

e1124..  - 10*b179 + x976 =L= 0;

e1125..  - 10*b180 + x980 =L= 0;

e1126..  - 10*b181 + x984 =L= 0;

e1127..  - 10*b182 + x988 =L= 0;

e1128..  - 10*b183 + x992 =L= 0;

e1129..  - 10*b184 + x996 =L= 0;

e1130..  - 10*b185 + x1000 =L= 0;

e1131..  - 10*b186 + x1004 =L= 0;

e1132..  - 10*b187 + x1008 =L= 0;

e1133..  - 10*b188 + x1012 =L= 0;

e1134..  - 10*b189 + x1016 =L= 0;

e1135..  - 10*b190 + x1020 =L= 0;

e1136..  - 10*b191 + x1024 =L= 0;

e1137..  - 10*b192 + x1028 =L= 0;

e1138..  - 10*b193 + x1032 =L= 0;

e1139..  - 10*b194 + x1036 =L= 0;

e1140..  - 10*b195 + x1040 =L= 0;

e1141..  - 10*b196 + x1044 =L= 0;

e1142..  - 10*b197 + x1048 =L= 0;

e1143..  - 10*b198 + x1052 =L= 0;

e1144..  - 10*b199 + x1056 =L= 0;

e1145..  - 10*b200 + x1060 =L= 0;

e1146..    x201 - x202 =L= 0;

e1147..    x202 - x213 =L= 0;

e1148..    x213 - x221 =L= 0;

e1149..    x221 - x229 =L= 0;

e1150..  - x203 - x206 - x209 - x212 - x214 - x216 - x218 - x220 - x222 - x224
         - x226 - x228 - x230 - x232 - x234 - x236 - x237 - x238 - x239 - x240
         - x241 - x242 - x243 - x244 - x245 - x246 - x247 - x248 - x249 - x250
         - x251 - x252 - x253 - x254 - x255 - x256 - x257 - x258 - x259 - x260
         + objvar =E= 0;

* set non-default bounds
x201.up = 10;
x202.up = 10;
x203.up = 10;
x204.up = 10;
x205.up = 10;
x206.up = 10;
x207.up = 10;
x208.up = 10;
x209.up = 10;
x210.up = 10;
x211.up = 10;
x212.up = 10;
x213.up = 10;
x214.up = 10;
x215.up = 10;
x216.up = 10;
x217.up = 10;
x218.up = 10;
x219.up = 10;
x220.up = 10;
x221.up = 10;
x222.up = 10;
x223.up = 10;
x224.up = 10;
x225.up = 10;
x226.up = 10;
x227.up = 10;
x228.up = 10;
x229.up = 10;
x230.up = 10;
x231.up = 10;
x232.up = 10;
x233.up = 10;
x234.up = 10;
x235.up = 10;
x236.up = 10;
x237.up = 10;
x238.up = 10;
x239.up = 10;
x240.up = 10;
x241.up = 10;
x242.up = 10;
x243.up = 10;
x244.up = 10;
x245.up = 10;
x246.up = 10;
x247.up = 10;
x248.up = 10;
x249.up = 10;
x250.up = 10;
x251.up = 10;
x252.up = 10;
x253.up = 10;
x254.up = 10;
x255.up = 10;
x256.up = 10;
x257.up = 10;
x258.up = 10;
x259.up = 10;
x260.up = 10;
x261.up = 10;
x262.up = 10;
x263.up = 10;
x264.up = 10;
x265.up = 10;
x266.up = 10;
x267.up = 10;
x268.up = 10;
x269.up = 10;
x270.up = 10;
x271.up = 10;
x272.up = 10;
x273.up = 10;
x274.up = 10;
x275.up = 10;
x276.up = 10;
x277.up = 10;
x278.up = 10;
x279.up = 10;
x280.up = 10;
x281.up = 10;
x282.up = 10;
x283.up = 10;
x284.up = 10;
x285.up = 10;
x286.up = 10;
x287.up = 10;
x288.up = 10;
x289.up = 10;
x290.up = 10;
x291.up = 10;
x292.up = 10;
x293.up = 10;
x294.up = 10;
x295.up = 10;
x296.up = 10;
x297.up = 10;
x298.up = 10;
x299.up = 10;
x300.up = 10;
x301.up = 10;
x302.up = 10;
x303.up = 10;
x304.up = 10;
x305.up = 10;
x306.up = 10;
x307.up = 10;
x308.up = 10;
x309.up = 10;
x310.up = 10;
x311.up = 10;
x312.up = 10;
x313.up = 10;
x314.up = 10;
x315.up = 10;
x316.up = 10;
x317.up = 10;
x318.up = 10;
x319.up = 10;
x320.up = 10;
x321.up = 10;
x322.up = 10;
x323.up = 10;
x324.up = 10;
x325.up = 10;
x326.up = 10;
x327.up = 10;
x328.up = 10;
x329.up = 10;
x330.up = 10;
x331.up = 10;
x332.up = 10;
x333.up = 10;
x334.up = 10;
x335.up = 10;
x336.up = 10;
x337.up = 10;
x338.up = 10;
x339.up = 10;
x340.up = 10;
x341.up = 10;
x342.up = 10;
x343.up = 10;
x344.up = 10;
x345.up = 10;
x346.up = 10;
x347.up = 10;
x348.up = 10;
x349.up = 10;
x350.up = 10;
x351.up = 10;
x352.up = 10;
x353.up = 10;
x354.up = 10;
x355.up = 10;
x356.up = 10;
x357.up = 10;
x358.up = 10;
x359.up = 10;
x360.up = 10;
x361.up = 10;
x362.up = 10;
x363.up = 10;
x364.up = 10;
x365.up = 10;
x366.up = 10;
x367.up = 10;
x368.up = 10;
x369.up = 10;
x370.up = 10;
x371.up = 10;
x372.up = 10;
x373.up = 10;
x374.up = 10;
x375.up = 10;
x376.up = 10;
x377.up = 10;
x378.up = 10;
x379.up = 10;
x380.up = 10;
x381.up = 10;
x382.up = 10;
x383.up = 10;
x384.up = 10;
x385.up = 10;
x386.up = 10;
x387.up = 10;
x388.up = 10;
x389.up = 10;
x390.up = 10;
x391.up = 10;
x392.up = 10;
x393.up = 10;
x394.up = 10;
x395.up = 10;
x396.up = 10;
x397.up = 10;
x398.up = 10;
x399.up = 10;
x400.up = 10;
x401.up = 10;
x402.up = 10;
x403.up = 10;
x404.up = 10;
x405.up = 10;
x406.up = 10;
x407.up = 10;
x408.up = 10;
x409.up = 10;
x410.up = 10;
x411.up = 10;
x412.up = 10;
x413.up = 10;
x414.up = 10;
x415.up = 10;
x416.up = 10;
x417.up = 10;
x418.up = 10;
x419.up = 10;
x420.up = 10;
x421.up = 10;
x422.up = 10;
x423.up = 10;
x424.up = 10;
x425.up = 10;
x426.up = 10;
x427.up = 10;
x428.up = 10;
x429.up = 10;
x430.up = 10;
x431.up = 10;
x432.up = 10;
x433.up = 10;
x434.up = 10;
x435.up = 10;
x436.up = 10;
x437.up = 10;
x438.up = 10;
x439.up = 10;
x440.up = 10;
x441.up = 10;
x442.up = 10;
x443.up = 10;
x444.up = 10;
x445.up = 10;
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;
x1011.up = 10;
x1012.up = 10;
x1013.up = 10;
x1014.up = 10;
x1015.up = 10;
x1016.up = 10;
x1017.up = 10;
x1018.up = 10;
x1019.up = 10;
x1020.up = 10;
x1021.up = 10;
x1022.up = 10;
x1023.up = 10;
x1024.up = 10;
x1025.up = 10;
x1026.up = 10;
x1027.up = 10;
x1028.up = 10;
x1029.up = 10;
x1030.up = 10;
x1031.up = 10;
x1032.up = 10;
x1033.up = 10;
x1034.up = 10;
x1035.up = 10;
x1036.up = 10;
x1037.up = 10;
x1038.up = 10;
x1039.up = 10;
x1040.up = 10;
x1041.up = 10;
x1042.up = 10;
x1043.up = 10;
x1044.up = 10;
x1045.up = 10;
x1046.up = 10;
x1047.up = 10;
x1048.up = 10;
x1049.up = 10;
x1050.up = 10;
x1051.up = 10;
x1052.up = 10;
x1053.up = 10;
x1054.up = 10;
x1055.up = 10;
x1056.up = 10;
x1057.up = 10;
x1058.up = 10;
x1059.up = 10;
x1060.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: 2022-08-11 Git hash: f176bd52
Imprint / Privacy Policy / License: CC-BY 4.0