A = (11, 0)
B = (11, -3)
C = (13, -3)
D = (13, -2)
E = (12, -2)
F = (12, 0)
poly1, a, b, c, d, e, f = Polygon(A, B, C, D, E, F)
G = (8, -1)
H = (12, -7)
g = Line(G, H)
A' = Mirror(A, g)
B' = Mirror(B, g)
C' = Mirror(C, g)
D' = Mirror(D, g)
E' = Mirror(E, g)
F' = Mirror(F, g)
poly1', a', b', c', d', e', f' = Polygon(A', B', C', D', E', F')