S_1 = (3.54, 1.84)
B = (6, 2.02)
k_1 = Circle(S_1, B)
f = Line(S_1, B)
S_2 = Point(f)
k_2 = Circle(S_2, B)
S_3 = (6.38, -0.1)
E = Point(k_2)
k_3 = Circle(S_3, B)
F = (9.38, 3.1)
ω = Circle(B, F)
a = 0 (slider from 0 to 6, step 1)
A = Intersect(k_1, ω, 1)
C = Intersect(k_1, ω, 2)
g = Line(A, C)
D = Intersect(k_3, ω, 1)
G = Intersect(k_3, ω, 2)
h = Line(D, G)
H = Intersect(k_2, ω, 1)
I = Intersect(k_2, ω, 2)
i = Line(H, I)
j, k = AngularBisector(g, h)
l, m = AngularBisector(i, h)
J = Intersect(k, m)
K = Intersect(j, l)
n = OrthogonalLine(J, h)
p = OrthogonalLine(K, h)
L = Intersect(h, p)
c = Circle(K, L)
M = Intersect(h, n)
d = Circle(J, M)
k_4 = Mirror(d, ω)
k_5 = Mirror(c, ω)
S_5 = Center(k_5)
S_4 = Center(k_4)
q = OrthogonalLine(J, i)
r = OrthogonalLine(K, i)
N = Intersect(d, i, 1)
s = Segment(J, N)
O = Intersect(c, i, 1)
t = Segment(K, O)