A = (-8.377342939957668, -3.3496670456549316)
B = (12.189262004931, -3.1753737834101123)
a = Line(A, B)
C = (10.359182751360398, -5.7026260859599915)
D = (5.56611803962787, 11.203820351787474)
b = Line(C, D)
E = (5.783984617433894, 12.380299871940004)
F = (-7.593023259855982, -0.6916947964214384)
c = Line(E, F)
G = (-4.455744539449236, 1.486970981638802)
H = Point(a)
d = Line(G, H)
e = OrthogonalLine(H, a)
d' = Mirror(d, e)
I = Intersect(b, d')
f = OrthogonalLine(I, b)
d'' = Mirror(d', f)
J = Intersect(c, d'')
g = OrthogonalLine(J, c)
d''' = Mirror(d'', g)
K = Intersect(a, d''')
h = OrthogonalLine(K, a)
i = Mirror(d''', h)
L = Intersect(b, i)
j = OrthogonalLine(L, b)
i' = Mirror(i, j)
M = Intersect(c, i')
k = OrthogonalLine(M, c)