A_1 = (-1.6, -0.76)
B_1 = (9.18, -0.72)
f = Line(A_1, B_1)
C_1 = (5.72, -1.82)
D_1 = (8.98, 4.86)
g = Line(C_1, D_1)
E_1 = (-1.02, -1.32)
h = Line(E_1, g)
F_1 = (4.84, 3.14)
i = Line(F_1, f)
A = Intersect(h, i)
B = Intersect(g, i)
C = Intersect(f, g)
D = Intersect(f, h)
K_1 = (4.58, 4.78)
j = Line(D, K_1)
L = (-0.94, 0.18)
k = Line(B, L)
α = Angle(C, D, K_1)
β = Angle(L, B, C)
E = Intersect(j, k)
γ = Angle(E, A, B)
δ = Angle(E, C, B)
ε = Angle(B, C, E)
l = Segment(D, C)
m = Segment(C, B)
n = Segment(B, A)
p = Segment(A, D)
N = Point(j)
q = Segment(D, N)
O = Point(k)
r = Segment(B, O)
s = Segment(A, E)
t = Segment(E, C)
P = Midpoint(E, B)
c = Circle(P, A)
e = Circle(D, C, B)
J = Intersect(n, q)
K = Intersect(p, r)
a = Line(E, l)
I = Intersect(a, p)
G = Intersect(a, m)
b = Line(E, p)
F = Intersect(b, n)
H = Intersect(b, l)
d = Segment(I, G)
f_1 = Segment(F, H)
g_1 = AngularBisector(B, E, J)
N' = Mirror(N, g_1)
J' = Mirror(J, g_1)
A' = Mirror(A, g_1)
K' = Mirror(K, g_1)
A'_1 = Mirror(A, g_1)
D'_1 = Mirror(D, g_1)
B' = Mirror(B, g_1)
A'_2 = Mirror(A, g_1)
n' = Segment(B', A'_2)