A = (1.84, -1.5)
B = (7.84, -1.38)
a = Segment(A, B)
C = (6.4, 2.34)
b = Segment(B, C)
c = Line(C, a)
d = Line(A, b)
D = Intersect(c, d)
e = Segment(A, D)
f = Segment(D, C)
α = Angle(B, A, D)
β = Angle(A, D, C)
γ = Angle(D, C, B)
δ = Angle(C, B, A)
E = (13.32, -0.96)
F = (19.32, -0.9)
g = Segment(E, F)
h = OrthogonalLine(F, g)
i = OrthogonalLine(E, g)
G = Point(h)
j = OrthogonalLine(G, h)
H = Intersect(i, j)
k = Segment(E, H)
l = Segment(H, G)
m = Segment(G, F)
I = (1.08, -8.04)
J = (5.86, -9.56)
n = Segment(I, J)
p = Circle(I, J)
L = Point(p)
q = Circle(L, I)
r = Circle(J, I)
K = Intersect(q, r, 2)
s = Segment(I, L)
t = Segment(L, K)
a_1 = Segment(K, J)
M = (15.76, -8.88)
N = (20.74, -8.86)
poly1, b_1, c_1, d_1, e_1, O, P = Polygon(M, N, 4)
ε = Angle(E, H, G)
ζ = Angle(H, G, F)
η = Angle(G, F, E)
θ = Angle(F, E, H)
ι = Angle(J, I, L)
κ = Angle(I, L, K)
λ = Angle(L, K, J)
μ = Angle(K, J, I)
ν = Angle(M, P, O)
ξ = Angle(P, O, N)
ο = Angle(O, N, M)
ρ = Angle(N, M, P)
f_1 = Segment(D, B)
g_1 = Segment(C, A)
h_1 = Segment(H, F)
i_1 = Segment(G, E)
j_1 = Segment(I, K)
k_1 = Segment(L, J)
l_1 = Segment(P, N)
m_1 = Segment(O, M)