F = (0, -2)
G = (15, -2)
l = Line(F, G)
puntx = 0 (slider from -5 to 5, step 0.1)
punty = 1 (slider from -2.5 to 3, step 0.1)
B: (4 + puntx, 1 + punty)
straal = 5.2 (slider from punty + 3.5 to (25 + (punty + 3)^(2))^(0.5), step 0.1)
c = Circle(B, straal)
H, I = Intersect(c, l)
g_1 = Circle(H, I)
e_1 = Circle(I, H)
O = Intersect(e_1, g_1, 1)
R = Intersect(e_1, g_1, 2)
stap = 9 (slider from 0 to 9, step 1)
D: (10, -2)
E: (11.5, -2)
j = Segment(D, E)
M: (13, -2)
k = Segment(E, M)
h_1 = Segment(O, R)
S = Intersect(h_1, l)
e = Segment(B, S)
d = CircleArc(B, H, I)
f = Segment(H, B)
g = Segment(B, I)
h = Segment(H, S)
γ = Angle(B, S, H)
i = Segment(S, I)
δ = Angle(B, S, I)
p = Circle(I, 1)
q = Circle(H, 1)
A, C = Intersect(q, l)
J, K = Intersect(p, l)
b = Segment(I, K)
s = Segment(H, A)
r = Circle(H, 1.5)
t = Circle(I, 1.5)
L, N = Intersect(c, r)
Q, T = Intersect(c, t)
d_1 = CircleArc(B, I, Q)
c_1 = CircleArc(B, N, H)