global color=blue
circle(248.9937889065d, 56.7047970992d, 139.52")
-circle(248.9937889065d, 56.7047970992d, 55.81")