   F'

f: y = 0
C = (-2.3803278688524583, 4.032129911624122)
g = OrthogonalLine(C, f)
D = Point(g)
c = Circle(C, D)
E = Mirror(D, C)
F = Intersect(f, g)
h = OrthogonalLine(F, f)
A = Point(h)
F' = Point(f)
F'_{2} = Line(D, F')
i = Line(A, f)
A' = Intersect(F'_{2}, i)
j = Segment(E, A')
k = Line(F', j)
P = Intersect(h, k)
P'_{1} = Dilate(P, 1.2, F')
l = Segment(P'_{1}, F')
m = LineBisector(A, P)
I = Midpoint(A, P)
d = Circle(A, Segment[I, F])
O', O = Intersect(d, m)
e = Circle(O', A)
p = Circle(O, A)
F'_1 = Point(f)
F'_{3} = Line(E, F'_1)
A'_1 = Intersect(i, F'_{3})
n = Segment(D, A'_1)
q = Line(F'_1, n)
P' = Intersect(h, q)
r = LineBisector(P', A)
I_1 = Intersect(h, r)
s = Circle(A, Segment[I_1, F])
O_1 = Intersect(s, r, 1)
O'_1 = Intersect(s, r, 2)
t = Circle(O_1, A)
c_1 = Circle(O'_1, A)