A = (1.2, -0.8)
B = (13.46, -1.5)
p = Line(A, B)
C = Point(p)
g = OrthogonalLine(C, p)
S_1 = Point(g)
k_1 = Circle(S_1, C)
S_2 = (13.089512255619152, 6.043935096501086)
F = (11.156770100790963, 5.822145013160146)
k_2 = Circle(S_2, F)
D = Point(g)
ω = Circle(C, D)
d = Mirror(k_1, ω)
E = Intersect(d, g)
f = OrthogonalLine(E, g)
c = Mirror(k_2, ω)
G = Midpoint(C, E)
h = OrthogonalLine(G, g)
a = 0 (slider from 0 to 6, step 1)
H = Center(c)
i = OrthogonalLine(H, g)
I = Intersect(c, i, 2)
e = Circle(I, Segment[G, E])
J, K = Intersect(e, i)
k = Circle(H, K)
q = Circle(H, J)
j, l = Tangent(h, c)
L, M = Intersect(k, h)
N, O = Intersect(q, h)
r = Circle(M, Segment[E, G])
s = Circle(O, Segment[E, G])
t = Circle(N, Segment[E, G])
c_1 = Circle(L, Segment[E, G])
k_5 = Mirror(r, ω)
k_6 = Mirror(s, ω)
k_4 = Mirror(t, ω)
k_3 = Mirror(c_1, ω)
k_7 = Mirror(l, ω)
k_8 = Mirror(j, ω)
S_3 = Center(k_3)
S_4 = Center(k_4)
S_7 = Center(k_7)
S_5 = Center(k_5)
S_6 = Center(k_6)
S_8 = Center(k_8)