min(629532/35 abs((27 x)/(28 a) + (11 y)/(42 a) + 1/28)^(73/25) + 25331/39 abs((11 x)/(42 a) - (27 y)/(28 a) + 3/22)^(65/33) - 1, max(-38561/6 abs(-(39 x)/(41 a) - (13 y)/(42 a) + 1/14)^(37/10) - 9524/23 abs(-(13 x)/(42 a) + (39 y)/(41 a) + 1/4)^(3/2) + 1, min(-318/43 abs(-(2 x)/(3 a) - (38 y)/(51 a) + 20/31)^(59/21) - 102/19 abs((35 x)/(47 a) - (2 y)/(3 a) + 15/41)^(125/62) + 1, -75/31 abs((32 x)/(53 a) - (55 y)/(69 a) + 15/76)^(8/3) - 113/24 abs((51 x)/(64 a) + (32 y)/(53 a) + 19/75)^(70/31) + 1), min(-92/27 abs((3 x)/(34 a) - (219 y)/(220 a) + 16/23)^(93/41) - 323/40 abs(-(219 x)/(220 a) - (3 y)/(34 a) + 1/28)^(143/72) + 1, -38/15 abs(-(41 x)/(44 a) - (17 y)/(47 a) + 9/10)^(61/21) - 88/31 abs(-(17 x)/(47 a) + (41 y)/(44 a) + 1/18)^(65/29) + 1), min(-173537317/47 abs(-(37 x)/(41 a) - (16 y)/(37 a) + 1/16)^(73/10) - 3384/37 abs(-(16 x)/(37 a) + (37 y)/(41 a) + 5/28)^(13/10) + 1, (2 x)/(27 a) - y/(296 a) - 1/183), min(-(x/a - 1/42)^2 - (y/a + 5/33)^2 + 1/145, -(3 x)/(31 a) + (8 y)/(43 a) + 1/32), min(1/294 - (4 x)/(35 a), x/(31 a) - y/(14 a) - 1/71, x/(29 a) - y/(892 a) + 1/881, x/(21 a) + y/(14 a) + 1/50), min(-x/(33 a) - y/(13 a) - 1/55, -x/(29 a) + y/(892 a) - 1/881, (3 x)/(32 a) + y/(126 a) + 1/79, -x/(34 a) + (2 y)/(29 a) + 1/62), -12921 (x/a - 1/21)^10 - 516 (x/a - 1/21)^9 - 64604 (y/a - 1/17)^2 (x/a - 1/21)^8 - 887 (y/a - 1/17) (x/a - 1/21)^8 + 735 (x/a - 1/21)^8 - 396 (y/a - 1/17)^2 (x/a - 1/21)^7 - 9 (y/a - 1/17) (x/a - 1/21)^7 - 129209 (y/a - 1/17)^4 (x/a - 1/21)^6 - 2556 (y/a - 1/17)^3 (x/a - 1/21)^6 + 2848 (y/a - 1/17)^2 (x/a - 1/21)^6 + 1907 (y/a - 1/17)^4 (x/a - 1/21)^5 - 107 (y/a - 1/17)^3 (x/a - 1/21)^5 - 129209 (y/a - 1/17)^6 (x/a - 1/21)^4 - 2343 (y/a - 1/17)^5 (x/a - 1/21)^4 + 3826 (y/a - 1/17)^4 (x/a - 1/21)^4 + 2938 (y/a - 1/17)^6 (x/a - 1/21)^3 - 243 (y/a - 1/17)^5 (x/a - 1/21)^3 - 64604 (y/a - 1/17)^8 (x/a - 1/21)^2 - 568 (y/a - 1/17)^7 (x/a - 1/21)^2 + 2110 (y/a - 1/17)^6 (x/a - 1/21)^2 + 1151 (y/a - 1/17)^8 (x/a - 1/21) - 116 (y/a - 1/17)^7 (x/a - 1/21) - 12921 (y/a - 1/17)^10 + 106 (y/a - 1/17)^9 + 412 (y/a - 1/17)^8))>=0
-----