A = (8.5, -3.74)
B = (10.42, -2.5800000000000027)
C = (9.52, 0.6799999999999999)
poly1, c, a, b = Polygon(A, B, C)
D = (4.24, -5.96)
E = (7.68, 1.5)
d = Line(D, E)
A' = Mirror(A, d)
B' = Mirror(B, d)
C' = Mirror(C, d)
poly1', c', a', b' = Polygon(A', B', C')
α = 0.5585053606381855 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
F = Rotate(E, -α, D)
β = Angle(F, D, E)
e = Line(D, F)
A'' = Mirror(A', e)
B'' = Mirror(B', e)
C'' = Mirror(C', e)
poly1'', c'', a'', b'' = Polygon(A'', B'', C'')