S = (7.44, 1.26)
B = (4.9716945763576, 2.19128990226906)
k_2 = Circle(S, B)
C = (2.076003236168948, 4.297247240588087)
k_1 = Circle(S, C)
T = Point(k_2)
p = Tangent(T, k_2)
f = OrthogonalLine(T, p)
a = 0 (slider from 0 to 8, step 1)
E = Intersect(k_1, f, 2)
F = Intersect(k_1, f, 1)
S_3 = Midpoint(F, T)
S_4 = Midpoint(T, E)
c = Circle(S, S_3)
d = Circle(S, S_4)
h = Line(S_4, p)
h' = Mirror(h, p)
k_4 = Circle(S_4, E)
k_3 = Circle(S_3, T)
S_5 = Intersect(d, h', 1)
q = Circle(S_5, Radius[k_4])
S_6 = Intersect(d, h', 2)
r = Circle(S_6, Radius[k_4])