A = (1, 1)
B = (2, 1)
C = (1, 0)
D = (2, 0)
E = (2.5, 1.5)
a = Segment(A, B)
b = Segment(D, C)
c = Segment(C, A)
d = Segment(D, B)
e = Segment(B, E)
F = (1.5, 1.5)
f = Segment(F, A)
g = Segment(F, E)
B' = Mirror(B, E)
A' = Mirror(A, F)
G = (1.5, 2.5)
H = (2.5, 2.5)
G' = Mirror(G, H)
h = Segment(F, G)
i = Segment(G, H)
j = Segment(H, E)
k = Segment(E, B')
I = (3, 3)
J = (2, 3)
l = Segment(I, J)
m = Segment(G, J)
n = Segment(H, I)
p = Segment(I, B')
K = (2.5, 0.5)
L = (3, 1)
q = Segment(D, K)
r = Segment(K, L)
s = Segment(K, E)
t = Segment(L, B')
M = (3.5, 3.5)
a_1 = Segment(H, M)
N = (2.5, 3.5)
b_1 = Segment(M, N)
c_1 = Segment(J, N)
O = (2, 4)
d_1 = Segment(J, O)
P = (3, 4)
e_1 = Segment(I, P)
f_1 = Segment(O, P)
Q = (3.5, 4.5)
R = (2.5, 4.5)
g_1 = Segment(Q, R)
h_1 = Segment(Q, R)
i_1 = Segment(R, O)
j_1 = Segment(P, Q)
k_1 = Segment(Q, M)
l_1 = Segment(M, G')
m_1 = Segment(G', B')