global color=blue
circle(47.7522734267d, 1.4489087886d, 48.77")
-circle(47.7522734267d, 1.4489087886d, 19.51")