E_1 = (-6.057978163022511, -11.480476279221453)
A = (-2.919930074258818, -3.124511019606499)
D = (9.449817624472493, -3.379933538459358)
a = Segment(A, D)
c = Semicircle(A, D)
B = Point(c)
b = Segment(A, B)
d = Segment(B, D)
C = Mirror(B, a)
e = Segment(A, C)
f = Segment(D, C)
α = Angle(D, A, B)
β = Angle(C, A, D)
γ = Angle(A, B, D)
δ = Angle(D, C, A)
g = Line(A, B)
h = Line(A, C)
i = Line(B, D)
j = Line(D, C)
E = Intersect(g, j)
H = Intersect(h, i)
k = Segment(E, B)
l = Segment(E, D)
m = Segment(D, H)
n = Segment(H, C)