(TXT) 6000circles.asy
 (TXT) map.asy
 (TXT) set.asy