fk5
-circle(08:20:56.320,+31:54:59.23,20.5447") # color=black
-circle(08:21:00.422,+31:55:53.08,6") # color=black
-circle(08:20:57.986,+31:56:07.71,6") # color=black
-circle(08:21:00.111,+31:55:19.58,6") # color=black
-circle(08:20:55.429,+31:56:01.33,6") # color=black
-circle(08:20:57.811,+31:56:14.57,6") # color=black
-circle(08:20:58.360,+31:56:03.69,6") # color=black
annulus(08:20:58.107,+31:55:32.01,27.5",35") # color=black