A = (0.8, 3.8)
B = (-1.9333333333333333, -1.7333333333333334)
C = (6.633333333333333, 7.1)
a = Line(B, C)
c = OrthogonalLine(A, a)
D = (10.633333333333333, 3.966666666666667)
b = Line(D, a)
pic2 = Mirror(pic1, a)
pic3 = Mirror(pic2, b)
E = Mirror(A, a)
pic4 = Mirror(pic2, b)
F = Mirror(E, b)
G = Point(c)