O = Point(yAxis)
c = Circle(O, 0.850650808)
A = Intersect(c, yAxis, 1)
d_{3} = Circle(A, 1)
B = Intersect(c, d_{3}, 2)
E = Intersect(c, d_{3}, 1)
e = Circle(B, 1)
f_{1} = Circle(E, 1)
C = Intersect(c, e, 2)
D = Intersect(c, f_{1}, 1)
g = Segment(A, B)
l = Segment(B, C)
i = Segment(C, D)
j = Segment(D, E)
k = Segment(E, A)
l_{1} = Segment(A, D)
m = Segment(E, C)
n = Segment(A, C)
α = Angle(A, B, C)
h = Segment(B, D)
F = Intersect(l_{1}, m)
G = Intersect(n, h)
q = Segment(A, F)
r = Segment(F, C)
s = Segment(C, B)
t = Segment(B, A)
a = Segment(G, A)
H = Intersect(m, h)
p = Segment(H, F)
d_1 = Segment(H, F)
d_2 = Segment(C, H)
β = Angle(E, A, F)
γ = Angle(C, F, A)
δ = Angle(B, C, F)
δ_{ } = Angle(F, A, B)
β_{ } = Angle(F, A, G)
β_{  } = Angle(G, A, B)
d_{2 } = Segment(F, E)
d_{2  } = Segment(F, D)
f = OrthogonalLine(A, m)
J = Intersect(f, m)
b = Segment(A, J)
ε = Angle(A, J, E)
θ = Angle(E, A, J)