B = (-0.14, -2.12)
C = (7.24, -2)
f = Segment(B, C)
g = LineBisector(B, C)
A = Point(g)
h = Segment(A, C)
H = Intersect(g, f)
E = Midpoint(A, H)
j = Segment(E, C)
k = OrthogonalLine(H, j)
F = Intersect(k, j)
l = Segment(A, F)
m = Segment(F, B)
n = Segment(E, A)
p = Segment(E, H)
q = Segment(F, H)
α = Angle(H, F, C)
β = Angle(A, H, B)
G = Midpoint(A, B)
I = Midpoint(H, C)
c = Circle(I, C)
r = Segment(G, I)
γ = Angle(A, F, B)
i = Segment(A, G)
s = Segment(G, B)
t = Segment(B, H)
a = Segment(H, I)
b = Segment(I, C)
D = Intersect(p, r)
e = Circle(G, A)
c_1 = Circle(E, F, H)