S_2 = (16.94, -5.02)
S_1 = (12.2, -0.42)
f = Line(S_1, S_2)
E = Point(f)
C = Point(f)
k_1 = Circle(S_1, C)
k_2 = Circle(S_2, E)
D = (8.48, -3.6)
p, h = Tangent(D, k_2)
T = Intersect(k_2, p)
A = (10.86, -7.02)
ω = Circle(T, A)
c = Mirror(k_2, ω)
d = Mirror(k_1, ω)
g = Line(T, S_2)
B = Intersect(c, g, 1)
i = OrthogonalLine(B, g)
F = Center(d)
G = Midpoint(T, B)
H = Point(d)
j = Line(F, H)
e = Circle(H, Segment[G, T])
I = Intersect(e, j, 1)
J = Intersect(e, j, 2)
l = Line(G, p)
k = Circle(F, I)
q = Circle(F, J)
K, L = Intersect(q, l)
M, N = Intersect(k, l)
r = Circle(L, Segment[T, G])
s = Circle(N, Radius[r])
t = Circle(M, Radius[s])
c_1 = Circle(K, Radius[t])
k_5 = Mirror(c_1, ω)
k_4 = Mirror(t, ω)
k_7 = Mirror(s, ω)
k_8 = Mirror(r, ω)
m, n = Tangent(p, d)
k_6 = Mirror(m, ω)
k_3 = Mirror(n, ω)
S_3 = Center(k_3)
S_4 = Center(k_4)
S_5 = Center(k_5)
S_6 = Center(k_6)
S_7 = Center(k_7)
S_8 = Center(k_8)
a = 0 (slider from 0 to 6, step 1)