A = (21.94, -14.38)
S_3 = (24.86, -7.58)
S_1 = (16.22, -7.2)
B = (22.66, -9.72)
k_1 = Circle(S_1, B)
f = Line(B, S_1)
S_2 = Point(f)
k_2 = Circle(S_2, B)
E = (15.8, -11.1)
g = Circle(B, E)
c' = Mirror(k_1, g)
d' = Mirror(k_2, g)
k_3 = Circle(S_3, A)
e' = Mirror(k_3, g)
h = Line(B, S_2)
i = Line(B, S_3)
F = Intersect(e', i, 1)
G = Intersect(c', h, 1)
H = Intersect(d', h, 1)
j = OrthogonalLine(G, h)
k = OrthogonalLine(H, h)
a = 0 (slider from 0 to 6, step 1)
C = Center(e')
D = Intersect(f, k)
I = Intersect(f, j)
J = Midpoint(D, I)
K = Point(e')
l = Line(C, K)
c = Circle(K, Segment[D, J])
L, M = Intersect(c, l)
d = Circle(C, L)
e = Circle(C, M)
m = Line(J, k)
N = Intersect(e, m, 1)
p = Circle(N, Segment[J, H])
O = Intersect(d, m, 1)
q = Circle(O, Segment[J, H])
P = Intersect(d, m, 2)
r = Circle(P, Radius[q])
Q = Intersect(e, m, 2)
s = Circle(Q, Radius[r])
n, t = Tangent(k, e')
k_7 = Mirror(s, g)
k_6 = Mirror(r, g)
k_5 = Mirror(q, g)
k_4 = Mirror(p, g)
k_9 = Mirror(t, g)
k_8 = Mirror(n, g)
S_4 = Center(k_4)
S_5 = Center(k_5)
S_6 = Center(k_6)
S_7 = Center(k_7)
S_9 = Center(k_9)
S_8 = Center(k_8)