C = Point(xAxis)
C' = Point(xAxis)
f = OrthogonalLine(C, xAxis)
g = OrthogonalLine(C', xAxis)
C_{1} = Point(f)
D = Point(g)
c = Circle(C, C_{1})
d = Circle(C', D)
i = Line(C, C')
j = Segment(C_{1}, C)
k = Segment(D, C')
E = Intersect(c, i, 2)
l = Segment(C_{1}, E)
A = (-0.3615822307262289, 4.786206111771984)
h = Line(C_{1}, D)
S = Intersect(i, h)
m = Segment(C_{1}, E)
n = Line(D, m)
F_2 = Intersect(n, i)
F = Mirror(F_2, C')
E_2 = Mirror(E, C)
e = Circle(A, E, F)
I = Center(e)
p = Segment(C, I)
N = Mirror(E, p)
q = Line(A, S)
r = OrthogonalLine(E, p)
M = Intersect(q, r)
s = Semicircle(C, M)
T = Intersect(s, c)
t = LineBisector(T, A)
a = Line(C, T)
O = Intersect(t, a)
c_1 = Circle(O, A)
b = Segment(M, C)
T' = Mirror(T, b)
f_1 = LineBisector(A, T')
g_1 = Line(C, T')
O' = Intersect(g_1, f_1)
d_1 = Circle(O', A)
h_1 = Segment(T, M)
i_1 = Segment(T, A)
D' = Mirror(D, C')
j_1 = Segment(C', D')
k_1 = Line(C_{1}, D')
S_2 = Intersect(i, k_1)
e_1 = Circle(A, E, F_2)
I_2 = Center(e_1)
l_1 = Segment(C, I_2)
N_2 = Mirror(E, l_1)
m_1 = OrthogonalLine(E, l_1)
n_1 = Line(A, S_2)
M_2 = Intersect(m_1, n_1)
p_1 = Semicircle(M_2, C)
T_2 = Intersect(c, p_1, 1)
q_1 = Line(T_2, C)
r_1 = LineBisector(T_2, A)
O_2 = Intersect(q_1, r_1)
s_1 = Circle(O_2, A)
t_1 = Segment(C, M_2)
T'_2 = Mirror(T_2, t_1)
a_1 = Line(C, T'_2)
b_1 = LineBisector(A, T'_2)
O'_2 = Intersect(a_1, b_1)
c_2 = Circle(O'_2, A)