x

A_1 = (4, 5)
B_1 = (6, 9)
C_1 = (6, 1)
D_1 = (8, 3)
E_1 = (8, -1)
F_1 = (10, 4)
G = (10, 0)
H = (10, 2)
I = (10, -2)
J = (8, 7)
K = (8, 11)
L = (10, 12)
M_1 = (10, 10)
N = (10, 6)
O = (10, 8)
A = (-4, 2)
B = (2, 2)
a = Segment(A, B)
Q' = Rotate(B, 25°, A)
α = Angle(B, A, Q')
b = Ray(A, Q')
P' = Rotate(A, (-(20°)), B)
β = Angle(P', B, A)
d = OrthogonalLine(A, a)
e = OrthogonalLine(B, a)
F = Intersect(e, b)
c = Ray(B, P')
E = Intersect(d, c)
f = Line(E, b)
g = Line(F, c)
D = Intersect(d, g)
C = Intersect(e, f)
h = Segment(D, C)
i = Segment(B, E)
j = Segment(A, F)
k = Segment(F, D)
l = Segment(E, C)
m = Ray(A, F)
n = Segment(A, D)
p = Segment(C, B)
M = Intersect(k, l)
P = (-3.265926200000007, 2.6332962000000086)
Q = (-2.1824922000000075, 2.6332962000000086)
R = (-0.044906200000006946, 2.574732200000009)
S = (1.0385277999999927, 2.574732200000009)
γ = Angle(C, M, D)
δ = Angle(C, B, E)
q = Ray(B, E)
T = Point(q)
ε = Angle(D, E, T)
ζ = Angle(T, B, A)
η = Angle(F, A, D)
θ = Angle(C, E, D)