A = (1.24, 6.0600000000000005)
B = Point(Circle[A, 8.0])
a = Segment(A, B)
B' = Rotate(B, 45.0*°, A)
α = Angle(B, A, B')
b_1 = Segment(A, B')
c_1 = Circle(A, 4.0)
C = Intersect(c_1, b_1)
d = Segment(A, C)
D = Point(Circle[C, 8.0])
c = Segment(C, D)
b = Segment(B, D)
e = Circle(C, 4.0)
E = Intersect(e, a, 2.0)
f = Circle(A, 3.0)
g = Circle(E, 3.0)
F, G = Intersect(f, g)
h = Line(C, G)
H_a = Intersect(h, a)
h_a = Segment(C, H_a)
β = Angle(C, H_a, A)
i = OrthogonalLine(B, d)
j = Line(A, C)
k = OrthogonalLine(C, b)
l = Line(B, D)
H_b = Intersect(l, k)
m = Segment(H_b, B)
h_b = Segment(H_b, C)
n = Distance(d, a)
o = Distance(h_a, h_b)