C = (-3.94, -0.3842)
c_1 = Circle(C, 5)
D = Point(c_1)
D' = Rotate(D, 60°, C)
α = Angle(D, C, D')
f = Line(D', C)
c = Circle(C, D)
d = Circle(D', C)
e = Circle(D, C)
E = Intersect(d, e, 2)
g = Segment(E, D')
h = Segment(E, D)
i = Segment(D', C)
F = Midpoint(g)
G = Midpoint(i)
k = Semicircle(F, D')
p = Semicircle(G, D')
H = Midpoint(h)
j = Segment(C, D)
I = Midpoint(j)
l = Segment(C, G)
m = Segment(F, E)
B4: m
q = Circle(C, (m / 2 * 3))
r = Circle(E, (m / 2 * 3))
s = Circle(D, I)
J = Intersect(q, s, 2)
n = Segment(C, J)
t = Segment(J, I)
K = Intersect(r, s, 2)
a = Segment(E, K)
b = Segment(K, H)
f_1 = Segment(H, D)
g_1 = Segment(D, I)