fk5
point(257.100834,-41.099524) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(214.685301,-60.972794) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(266.384711,-29.013214) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(295.972037,21.326123) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(273.334330,-17.847479) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(296.506576,23.581046) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(246.491494,-49.064181) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(8.967760,59.837588) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(195.677486,-63.819540) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(228.317867,-59.085150) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(284.314912,2.673801) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(266.849435,-28.149520) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(257.964289,-39.534573) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(350.829326,58.816056) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(289.386152,16.418327) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(250.146359,-46.565826) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.570647,-14.803373) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(244.064721,-50.898887) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(275.477062,-12.430037) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(216.984865,-60.825071) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.551824,-13.550654) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(257.996601,-39.924292) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(260.696117,-35.614146) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(279.484976,-6.935089) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(278.714558,-8.735773) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(290.949978,16.470036) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.501375,-13.750880) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.345889,-13.501554) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.733894,-13.643834) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(257.863309,-39.725495) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(128.812694,-45.217454) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(271.113662,-21.720263) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.378928,-39.519919) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(272.038800,-19.969527) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(278.206274,-9.376506) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.487316,-13.348017) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(22.782136,61.330698) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.693145,-13.397009) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(287.773898,9.113848) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(40.164394,61.264932) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(250.277828,-46.312268) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.740739,-39.474656) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.295275,-13.701747) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(274.514727,-15.446182) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.173994,-39.652416) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(264.826146,-31.000372) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(132.287700,-45.660544) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.426763,-38.189095) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(243.465052,-51.809788) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(273.499005,-22.371658) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(279.306011,-6.843260) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.683585,-13.844089) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.604032,-39.706810) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(132.710004,-45.547818) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(214.261997,-60.991124) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.169277,-39.402443) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(271.175218,-21.924553) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(271.333490,-21.663015) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(248.485310,-47.224803) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(252.601492,-44.093402) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.269784,-39.891327) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(243.780686,-51.001259) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(277.527293,-10.550299) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(244.342443,-51.007937) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(227.481280,-58.354504) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(155.744897,-57.427479) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(284.178987,2.518680) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(195.735025,-63.267868) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(292.631080,18.900531) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(267.014340,-28.295765) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(271.172315,-21.521450) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(270.893660,-21.777222) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(243.902482,-50.720030) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(284.136764,2.765097) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(266.848134,-28.441065) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(261.394327,-35.758703) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(279.302954,-7.066846) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(270.415748,-23.366327) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.557448,-39.927525) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(255.732428,-41.954235) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(258.676886,-38.515477) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(267.180490,-27.858719) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(243.754827,-51.708174) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(155.830787,-57.634538) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(293.740333,20.379929) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(244.347507,-50.795830) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(195.494712,-63.072329) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(244.058355,-51.110980) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(288.247512,10.223811) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(128.638205,-45.806602) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.628567,-13.194408) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.875148,-13.490097) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(154.785221,-58.946247) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(243.746935,-51.920243) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(276.281569,-13.298863) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(267.082957,-28.098680) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(266.215170,-30.212480) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(259.493671,-37.439369) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(248.101587,-47.871264) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"
point(255.514580,-42.081928) # point=circle 12 color=yellow width=2 font="helvetica 12 normal roman"