a = 19.4 (slider from 0 to 20, step 0.1)
h = 10.7 (slider from 0 to 15, step 0.1)
A = (-0.7, -4.16)
b_1: abs(a)
B = Point(Circle[A, abs(a)])
b_3 = Segment(A, B)
c_2 = OrthogonalLine(B, b_3)
d = OrthogonalLine(A, b_3)
e = Circle(B, h)
C = Intersect(e, c_2, 2)
f = Line(C, b_3)
D = Intersect(d, f)
H = Point(f)
g = OrthogonalLine(H, b_3)
F = Intersect(g, b_3)
E = Midpoint(D, A)
G = Midpoint(C, B)
I = Midpoint(H, F)
i = Segment(A, H)
j = Segment(H, B)
k = Line(E, G)
J = Intersect(k, i)
K = Intersect(k, j)
l = OrthogonalLine(J, b_3)
m = OrthogonalLine(K, b_3)
L = Intersect(l, b_3)
M = Intersect(m, b_3)
n = Segment(J, F)
p = Segment(F, K)
α = Angle(L, A, J)
β = Angle(J, F, L)
γ = Angle(K, B, M)
δ = Angle(M, F, K)
ε = Angle(F, L, J)
ζ = Angle(B, M, K)
b = Segment(J, K)
r = Segment(J, F)
s = Segment(F, K)
c = Segment(L, J)
a_1 = Segment(M, K)
Vieleck2, k_1, j_1, f_1 = Polygon(J, F, K)
c_1 = Segment(H, I)