global color=blue
circle(47.8754545814d, 1.5091868805d, 56.46")
-circle(47.8754545814d, 1.5091868805d, 22.58")