global color=blue
circle(137.6432985116d, -9.5013511235d, 25.30")
-circle(137.6432985116d, -9.5013511235d, 10.12")
-ellipse(137.6493762707d, -9.5028476191d, 8.24", 7.26", 170.69)