O = (120.83801103039498, 176.6519489862473)
X = (226.27263332468067, 177.3548464682092)
a = Segment(O, X)
Y = (193.5879004134521, 238.5069273988949)
b = Segment(O, Y)
Z = (84.99023945033785, 270.1373140871806)
c = Segment(O, Z)
α = Angle(X, O, Y)
β = Angle(Y, O, Z)
γ = Angle(X, O, Z)
A = (310.62033116010923, 239.2098248808568)
B = (360.1746036384235, 237.804029916933)
d = Segment(A, B)
A' = Rotate(A, α, A)
B' = Rotate(B, α, A)
d' = Segment(A', B')
δ = Angle(B, A, B')
C = (311.3232286420712, 195.98162974019968)
D = (347.87389770409015, 195.27873225823777)
e = Segment(C, D)
E = (315.5406135338426, 146.77880600286633)
F = (362.98619356627114, 145.37301103894254)
f = Segment(E, F)
C' = Rotate(C, β, C)
D' = Rotate(D, β, C)
e' = Segment(C', D')
ε = Angle(D, C, D')
E' = Rotate(E, γ, E)
F' = Rotate(F, γ, E)
f' = Segment(E', F')
ζ = Angle(F, E, F')