S_1 = (11.7830289384197, -3.2493704998785513)
A_1 = (16.913665354896466, -4.01722084792269)
k_1 = Circle(S_1, A_1)
S_2 = (20.089773612715415, -9.811000746801195)
A_2 = (13.283827345960521, -3.4587842311633166)
k_2 = Circle(S_2, A_2)
S_3 = (15.8375804259648, -9.694394857921333)
A_3 = (0.09076227502026518, -5.692530698200812)
k_3 = Circle(S_3, A_3)
a = 0 (slider from 0 to 9, step 1)
A = Intersect(k_1, k_2, 2)
B = (18.894692925876043, -4.7328538944996055)
ω = Circle(A, B)
c = Mirror(k_1, ω)
d = Mirror(k_2, ω)
e = Mirror(k_3, ω)
f = Line(A, S_1)
g = Line(A, S_2)
C = Intersect(c, f, 1)
D = Intersect(d, g, 1)
h = OrthogonalLine(C, f)
i = OrthogonalLine(D, g)
j, k = Tangent(h, e)
l, m = Tangent(i, e)
E = Center(e)
F = Intersect(k, m)
G = Intersect(h, i)
n = Line(F, G)
H = Intersect(j, l)
p = Line(H, G)
I, J = Intersect(e, n)
K, L = Intersect(e, p)
q, r = AngularBisector(h, i)
s = Line(E, I)
t = Line(K, E)
b = Line(E, L)
f_1 = Line(E, J)
M = Intersect(s, r)
N = Intersect(t, r)
O = Intersect(f_1, r)
P = Intersect(b, r)
c_1 = Circle(P, L)
d_1 = Circle(M, I)
e_1 = Circle(O, J)
g_1 = Circle(N, K)
k_4 = Mirror(c_1, ω)
k_6 = Mirror(d_1, ω)
k_7 = Mirror(e_1, ω)
k_{5} = Mirror(g_1, ω)
S_7 = Center(k_7)
S_{5} = Center(k_{5})
S_6 = Center(k_6)
S_4 = Center(k_4)