C = (18.89116095890747, 1.985434453779387)
T = (7.4719569846428415, -1.8)
S_2 = (19.359043171063306, -1.6300190037884217)
k_2 = Circle(S_2, T)
f = Line(T, S_2)
S_1 = Point(f)
k_1 = Circle(S_1, T)
S_3 = (19.57171690386141, -4.182103797365694)
E = (21.570849992163613, 2.0705039468986297)
k_3 = Circle(S_3, E)
F = Intersect(k_1, f, 2)
G = Midpoint(F, S_1)
ω = Circle(T, C)
c = Mirror(k_1, ω)
d = Mirror(k_2, ω)
e = Mirror(k_3, ω)
A = Intersect(c, f, 1)
B = Intersect(d, f, 1)
g = OrthogonalLine(A, f)
h = OrthogonalLine(B, f)
a = 0 (slider from 0 to 6, step 1)
i, j = Tangent(h, e)
k_5 = Mirror(i, ω)
k_4 = Mirror(j, ω)
S_4 = Center(k_4)
S_5 = Center(k_5)
D = Center(e)
k = OrthogonalLine(D, g)
H = Intersect(g, k)
I = Intersect(e, k, 2)
p = Circle(I, Segment[D, H])
J = Intersect(p, k, 1)
K = Intersect(p, k, 2)
L = Intersect(h, k)
M = Midpoint(H, L)
l = OrthogonalLine(M, k)
q = Circle(I, Segment[M, H])
N, O = Intersect(q, k)
r = Circle(D, N)
s = Circle(D, O)
P, Q = Intersect(r, l)
R, S = Intersect(s, l)
m = OrthogonalLine(D, l)
U = Intersect(l, m)
V = Intersect(g, m)
f_1 = Circle(R, Segment[U, V])
g_1 = Circle(S, Radius[f_1])
k_9 = Mirror(f_1, ω)
k_8 = Mirror(g_1, ω)
S_8 = Center(k_8)
S_9 = Center(k_9)