A_1 = (12.961702127659576, 1.307446808510638)
B = (10.65744680851064, -0.006382978723404437)
a = Line(A_1, B)
u = Vector(A_1, B)
A = (9.363829787234044, 0.9840425531914893)
C'_1 = Mirror(A, a)
C' = Mirror(A, a)
C'' = Translate(C', u)