A = (-1, 5)
B = (-2, 2)
C = (0, 2)
poly1, d, b, c, D = Polygon(C, B, 3)
a = Line(B, C)
C' = Mirror(C, a)
B' = Mirror(B, a)
D' = Mirror(D, a)
poly1', d', c', b' = Polygon(C', B', D')
e = LineBisector(B, C)
E = Intersect(d', e)
f = Segment(D', E)
poly2, d'_1, b'_1, e_1 = Polygon(B', E, D')
g = Segment(D', C')
h = Segment(C', E)
i = Segment(D', B')
j = Segment(B', E)
F = (1, 2)
G = (3, 2)
poly3, k, l, m, H = Polygon(F, G, 3)
n = Segment(H, G)
p = Segment(G, F)
q = Segment(H, F)
I = Midpoint(H, G)
J = Midpoint(H, F)
r = Segment(J, I)
K = Midpoint(I, G)
L = Midpoint(J, F)
s = Segment(L, K)
M = Midpoint(I, H)
N = Midpoint(H, J)
t = Segment(N, M)
poly4, k_1, h_1, l_1 = Polygon(H, L, K)
a1 = Segment(L, K)