S_2 = (3.814496942323115, 1.882619654542105)
B = (6.722393197902752, 3.7040491772678084)
k_2 = Circle(S_2, B)
a = 0 (slider from 0 to 7, step 1)
P = (7.712995219034277, 4.0875080241574295)
S_1 = (5.7801808231046525, 3.3526560925819515)
k_1 = Circle(S_1, P)
T = Point(k_1)
g = Line(S_1, T)
S_3 = Point(g)
k_3 = Circle(S_3, T)
A = (7.5250080474756205, 3.2717941662572576)
ω = Circle(T, A)
E = Intersect(k_1, ω, 2)
F = Intersect(k_1, ω, 1)
i = Line(E, F)
C = Intersect(k_3, ω, 1)
D = Intersect(k_3, ω, 2)
h = Line(C, D)
c = Mirror(k_2, ω)
G = Center(c)
H, I = Intersect(c, i)
j = OrthogonalLine(H, i)
J = Intersect(h, j)
K = Midpoint(H, J)
k = Line(K, h)
L = Intersect(c, j, 2)
M = Point(c)
f = Line(G, M)
d = Circle(M, Segment[J, K])
N = Intersect(d, f, 2)
e = Circle(G, N)
O = Intersect(d, f, 1)
p = Circle(G, O)
Q, R = Intersect(e, k)
S, U = Intersect(p, k)
q = Circle(Q, Segment[J, K])
r = Circle(S, Radius[q])
s = Circle(U, Radius[q])
t = Circle(R, Radius[q])
l, m = Tangent(i, c)
k_4 = Mirror(q, ω)
k_9 = Mirror(r, ω)
k_8 = Mirror(s, ω)
k_7 = Mirror(t, ω)
k_5 = Mirror(l, ω)
k_6 = Mirror(m, ω)
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)
S_9 = Center(k_9)