S_1 = (14.24, -5.02)
B = (10.549560595489561, -3.010013660180101)
k_1 = Circle(S_1, B)
S_2 = (24.12, -7.7)
D = (15.74, -6.18)
k_2 = Circle(S_2, D)
C = Intersect(k_1, k_2, 2)
F = (26.74, -12.72)
p = Line(C, F)
A = (10.14, -6.3)
ω = Circle(C, A)
E = Intersect(k_2, ω, 2)
G = Intersect(k_2, ω, 1)
f = Line(E, G)
H = Intersect(k_1, ω, 2)
I = Intersect(k_1, ω, 1)
g = Line(H, I)
h, i = AngularBisector(f, g)
j, k = AngularBisector(f, p)
l, m = AngularBisector(p, g)
J = Intersect(h, j)
n = OrthogonalLine(J, g)
K = Intersect(h, k)
q = OrthogonalLine(K, f)
L = Intersect(i, k)
r = OrthogonalLine(L, p)
M = Intersect(i, j)
s = OrthogonalLine(M, g)
N = Intersect(g, s)
c = Circle(M, N)
O = Intersect(f, q)
d = Circle(K, O)
P = Intersect(g, n)
e = Circle(J, P)
Q = Intersect(p, r)
t = Circle(L, Q)
k_3 = Mirror(e, ω)
k_5 = Mirror(c, ω)
k_4 = Mirror(d, ω)
k_6 = Mirror(t, ω)
S_6 = Center(k_6)
S_5 = Center(k_5)
S_3 = Center(k_3)
S_4 = Center(k_4)
a = 0 (slider from 0 to 6, step 1)