S_2 = (3.76, 1.78)
B = (6.82, 3.74)
f = Line(S_2, B)
S_1 = Point(f)
k_1 = Circle(S_1, B)
T = Point(k_1)
g = Line(S_1, T)
S_3 = Point(g)
k_3 = Circle(S_3, T)
m = Line(S_1, S_3)
A = (7.703696246555573, 1.8303667529158643)
ω = Circle(T, A)
t = Mirror(k_3, ω)
Q = Intersect(t, m, 1)
s = Mirror(k_1, ω)
P = Intersect(s, m, 1)
k_2 = Circle(S_2, B)
a = 0 (slider from 0 to 7, step 1)
E = Intersect(k_1, ω, 2)
F = Intersect(k_1, ω, 1)
C = Intersect(k_3, ω, 1)
D = Intersect(k_3, ω, 2)
c = Mirror(k_2, ω)
G = Center(c)
i = OrthogonalLine(P, m)
H, I = Intersect(c, i)
j = OrthogonalLine(H, i)
h = OrthogonalLine(Q, m)
J = Intersect(h, j)
K = Midpoint(H, J)
k = Line(K, h)
d = Circle(K, I)
L = Intersect(c, j, 2)
l = Line(L, h)
e = Circle(I, Radius[d])
M = Intersect(e, j, 2)
p = Circle(G, M)
N = Intersect(p, k, 1)
q = Circle(N, Radius[d])
O = Intersect(p, k, 2)
r = Circle(O, Radius[d])
k_4 = Mirror(r, ω)
k_6 = Mirror(q, ω)
k_7 = Mirror(d, ω)
k_5 = Mirror(l, ω)
S_7 = Center(k_7)
S_4 = Center(k_4)
S_5 = Center(k_5)
S_6 = Center(k_6)