settings.outformat = "png";
settings.render = 3;
unitsize(0.5cm);
import graph;

xaxis(Ticks(), EndArrow);
yaxis(Ticks(), EndArrow);

void mydot(string label, pair pos) {
  dot(Label(label, align=NE), pos, red);
}
pair A1 = (0, 9);
pair B1 = (6, 3);
pair A2 = (7, 6);
pair B2 = (13, 0);

pair C1 = (10, 3);
draw(circle(C1, length(A2 - C1)), magenta + dashed);
draw(A2..A1, blue, arrow=Arrow());
draw(B2..B1, blue, arrow=Arrow());

pair C2 = (15, 3);
draw(circle(C2, length(A2 - C2)), blue);
draw(box(A1, B1), blue);
clip(box((-2, -2), (15, 11)));

mydot("0", A1);
mydot("1", B1);
mydot("2", A2);
mydot("3", B2);