A_1 = (-5.324401785479994, 0.07097871839698633)
B_1 = (13.067456874680198, -0.02620415431191824)
d = Line(A_1, B_1)
A = (-1.3884954407693608, 2.0146361725750794)
B = (6.507612966829136, 4.2498422448798845)
a = Segment(A, B)
A' = Mirror(A, d)
B' = Mirror(B, d)
a' = Segment(A', B')
C = Point(a)
C' = Mirror(C, d)
b = Line(A, A')
c = Line(C, C')
e = Line(B, B')
D = Intersect(d, b)
E = Intersect(d, c)
F = Intersect(d, e)
f = Segment(A, D)
g = Segment(D, A')
h = Segment(C, E)
i = Segment(E, C')
j = Segment(B, F)
k = Segment(F, B')
α = Angle(E, D, A)
β = Angle(F, E, C)
γ = Angle(B, F, E)