S_2 = (19.44411266418254, -1.2472062847518257)
T = (7.4719569846428415, -1.8)
k_2 = Circle(S_2, T)
W = Point(k_2)
n = Line(S_2, W)
C = (17.955396534595792, 1.9854344537793893)
f = Line(T, S_2)
S_1 = Point(f)
k_1 = Circle(S_1, T)
E = (19.699321143540274, 1.4324827485043132)
S_3 = Point(n)
k_3 = Circle(S_3, W)
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, ω)
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])
t = Circle(P, Radius[g_1])
c_1 = Circle(Q, Radius[g_1])
b = OrthogonalLine(D, h)
k_7 = Mirror(t, ω)
k_4 = Mirror(g_1, ω)
k_6 = Mirror(c_1, ω)
S_7 = Center(k_7)
S_4 = Center(k_4)
S_6 = Center(k_6)