global color=blue
circle(51.5448779160d, 2.2269099796d, 76.47")
-circle(51.5448779160d, 2.2269099796d, 38.24")