A = (1, 2)
k = Circle(A, 4)
i: y = y(A)
C = Point(k)
L_1 = Sequence(Circle[A, k], k, 1, 7)
e = Circle(C, 8)
H, B = Intersect(e, i)
B_1 = (13, 2)
L_2 = Sequence(Circle[C, k], k, 1, 17)
m = Ray(C, B_1)
L_3 = Sequence(Intersect[Element[L_2, k], m], k, 1, Length[L_2])
G = Point(L_3)
f = Segment(A, B_1)
c = Circle(A, C)
g = Segment(A, C)
d = Circle(B_1, g)
l = Segment(A, C)
E = Intersect(d, m, 1)
text2: "" + l + ""
D = Midpoint(l)
n = Segment(C, B)
text3: "" + n + ""
F = Midpoint(n)
h = Segment(A, G)
j = Segment(A, B)
J = Midpoint(j)
text1: "" + j + ""
K: (x(C), y(C))