A = Point(xAxis)
B = Point(xAxis)
a = Line(A, B)
C = Rotate(B, 55°, A)
α = Angle(B, A, C)
b = Ray(A, C)
c = 3
d = Circle(A, c)
e = 13
f = Circle(A, e)
D = Intersect(d, b, 1)
E = Intersect(f, b, 1)
g = Segment(D, E)
F = Rotate(D, 279°, E)
β = Angle(F, E, D)
h = Line(F, E)
w = Angle(E, B, A)
w' = Angle(D, E, B)
i = Line(D, h)
j = Segment(A, D)
k = Line(D, a)
G = Intersect(h, k)
l = Line(G, g)
u = Vector(D, G)
D' = Translate(D, u)
E' = Translate(E, u)
m = Segment(D', E')
A' = Translate(A, u)
D'_1 = Translate(D, u)
n = Segment(A', D'_1)
v = Vector(D, A)
z = Vector(G, A')