A = (10, 10)
B: (10, 2.5)
c = Circle(A, B)
B' = Rotate(B, 30°, A)
α = Angle(B, A, B')
B'' = Rotate(B', 30°, A)
β = Angle(B', A, B'')
B''' = Rotate(B'', 30°, A)
γ = Angle(B'', A, B''')
C = Rotate(B''', 30°, A)
δ = Angle(B''', A, C)
C' = Rotate(C, 30°, A)
ε = Angle(C, A, C')
C'' = Rotate(C', 30°, A)
ζ = Angle(C', A, C'')
C''' = Rotate(C'', 30°, A)
η = Angle(C'', A, C''')
D = Rotate(C''', 30°, A)
θ = Angle(C''', A, D)
D' = Rotate(D, 30°, A)
ι = Angle(D, A, D')
D'' = Rotate(D', 30°, A)
κ = Angle(D', A, D'')
D''' = Rotate(D'', 30°, A)
λ = Angle(D'', A, D''')
f = Segment(A, C'')
g = Segment(A, C')
h = Segment(A, C)
i = Segment(A, B''')
j = Segment(A, B'')
k = Segment(A, B')
l = Segment(A, B)
m = Segment(C''', A)
n = Segment(D, A)
p = Segment(D', A)
q = Segment(D'', A)
r = Segment(D''', A)
B'_{1} = Rotate(B, 45°, A)
μ = Angle(B, A, B'_{1})
E = Rotate(B''', 45°, A)
ν = Angle(B''', A, E)
C'''_{1} = Rotate(C'', 45°, A)
ξ = Angle(C'', A, C'''_{1})
B'_{2} = Rotate(B, -45°, A)
ο = Angle(B'_{2}, A, B)
F = Intersect(f, i)
s = Segment(F, E)
t = Segment(F, B'_{1})
a = Segment(F, B'_{2})
b = Segment(F, C'''_{1})