$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;