Dynamic Trapezoid and Fractal Sequence Demonstration

Loading the math board and drawing, please wait…

2013-04-10 01:41

Sequence Geometric Construction

In collections Square Translation Tessalation

This example dynamically demonstrates the construction and evolution of a trapezoid sequence, illustrating the principles of fractal geometry. The core mathematical concepts involved include trapezoid properties, sequences and series, fractal geometry, and triangle congruence. The construction highlights the use of Polygon, Segment, Vector, and Translate commands in GeoGebra. It is suitable for high school and above students to understand the generation process of complex geometric figures and the practical application of mathematical concepts.

GeoGebra Commands & Parameters

Polygon(A, B, 4) → poly1, a, b, c, d, C, D
Segment(C, E) → e
Segment(E, F) → f
Segment(F, G) → g
Segment(G, H) → h
Segment(H, I) → i
Segment(I, J) → j
Segment(J, B) → k
Vector(C, D) → u
Translate(B, u) → B'
Translate(C, u) → C'
Segment(B', C') → b'
Translate(C, u) → C'_1
Translate(E, u) → E'
Segment(C'_1, E') → e'
Translate(E, u) → E'_1
Translate(F, u) → F'
Segment(E'_1, F') → f'
Translate(F, u) → F'_1
Translate(G, u) → G'
Segment(F'_1, G') → g'
Translate(G, u) → G'_1
Translate(H, u) → H'
Segment(G'_1, H') → h'
Translate(H, u) → H'_1
Translate(I, u) → I'
Segment(H'_1, I') → i'
Translate(I, u) → I'_1
Translate(J, u) → J'
Segment(I'_1, J') → j'
Translate(J, u) → J'_1
Translate(B, u) → B'_1
Segment(J'_1, B'_1) → k'
Segment(D, K) → l
Segment(K, L) → m
Segment(L, M) → n
Segment(M, N) → p
Segment(N, O) → q
Segment(O, P) → r
Segment(P, Q) → s
Segment(Q, R) → t
Segment(R, C) → a_1
Vector(D, A) → v
Translate(C, v) → C'_2
Translate(D, v) → D'
Translate(D, v) → D'_1
Translate(C, v) → C'_3
Translate(u, v) → u'
Translate(C', v) → C''
Translate(C'_1, v) → S
Vector(D, A) → w
Translate(C, w) → C'_4
Translate(D, w) → D'_2
Segment(C'_4, D'_2) → c'_1
Translate(D, w) → D'_3
Translate(K, w) → K'
Segment(D'_3, K') → l'
Translate(K, w) → K'_1
Translate(L, w) → L'
Segment(K'_1, L') → m'
Translate(L, w) → L'_1
Translate(M, w) → M'
Segment(L'_1, M') → n'
Translate(M, w) → M'_1
Translate(N, w) → N'
Segment(M'_1, N') → p'
Translate(N, w) → N'_1
Translate(O, w) → O'
Segment(N'_1, O') → q'
Translate(O, w) → O'_1
Translate(P, w) → P'
Segment(O'_1, P') → r'
Translate(P, w) → P'_1
Translate(Q, w) → Q'
Segment(P'_1, Q') → s'
Translate(Q, w) → Q'_1
Translate(R, w) → R'
Segment(Q'_1, R') → t'
Translate(R, w) → R'_1
Translate(C, w) → C'_5
Segment(R'_1, C'_5) → b_1
Translate(u, w) → u'_1
Translate(u', w) → u''
Translate(C', w) → C''_1
Translate(C'_1, w) → T
Polygon(I', O', N', M', L', K', A, J') → poly2, i'_1, o', n'_1, m'_1, l'_1, k'_1, a_2, j'_1
Polygon(R', Q', G, H, I, J, B) → poly3, r'_1, q'_1, g_1, h_1, i_1, j_1, b_2
Polygon(O, P, N) → poly4, n_1, o, p_1
Segment(P, U) → c_1
Segment(U, V) → d_1
Segment(V, W) → e_1
Segment(W, Z) → f_1
Segment(Z, C) → k_1
Segment(Z, A_1) → l_1
Segment(A_1, B_1) → m_1
Segment(B_1, C_1) → q_1
Segment(C_1, G) → r_1
Segment(M, D_1) → s_1
Segment(D_1, E_1) → t_1
Segment(E_1, F_1) → c_2
Segment(F_1, Z) → d_2
Segment(M, G_1) → e_2
Segment(G_1, H_1) → f_2
Segment(H_1, F') → g_2
Segment(F', I_1) → h_2
Segment(I_1, J_1) → i_2
Segment(J_1, I') → j_2
Polygon(D, K, L, M, G_1, H_1, F', E') → poly5, d_3, k_2, l_2, m_2, g_3, h_3, f'_1, e'_1
Polygon(M, D_1, P', O', I', J_1, I_1, F', H_1, G_1, E_1, F_1, Z, A_1, B_1, C_1, G, Q') → poly6, m_3, q'_2, p'_1, o'_1, i'_2, j_3, i_3, f'_2, h_4, g_5, d_4, e_3, f_3, z, a_3, b_3, c_3, g_4
Polygon(M, D_1, E_1, F_1, Z, W, V, U, P, N) → poly7, m_4, n_2, d_5, e_4, f_4, z_1, w_1, v_1, u_1, p_2
Polygon(C, Z, W, V, U, P, Q, R) → poly8, c_4, z_2, w_2, v_2, u_2, p_3, q_2, r_2
Polygon(Z, C, E, F, G, C_1, B_1, A_1) → poly9, z_3, c_5, e_5, f_5, g_6, c_6, b_4, a_4
Polygon(F', I_1, J_1, I', H', G') → poly10, f'_3, i_4, j_4, i'_3, h'_1, g'_1
Vector(C, D) → s_2
Translate(I', s_2) → I''
Translate(O', s_2) → O''
Translate(N', s_2) → N''
Translate(M', s_2) → M''
Translate(L', s_2) → L''
Translate(K', s_2) → K''
Translate(A, s_2) → A'
Translate(J', s_2) → J''
Polygon(I'', O'', N'', M'', L'', K'', A', J'') → poly2', i'', o'', n'', m'', l'', k'', a', j''
Translate(R', s_2) → R''
Translate(Q', s_2) → Q''
Translate(G, s_2) → G'_2
Translate(H, s_2) → H'_2
Translate(I, s_2) → I'_2
Translate(J, s_2) → J'_2
Translate(B, s_2) → B'_2
Polygon(R'', Q'', G'_2, H'_2, I'_2, J'_2, B'_2) → poly3', r'', q'', g'_2, h'_2, i'_4, j'_2, b'_2
Translate(O, s_2) → O'_2
Translate(P, s_2) → P'_2
Translate(N, s_2) → N'_2
Polygon(O'_2, P'_2, N'_2) → poly4', n'_2, o'_2, p'_2
Translate(D, s_2) → D'_4
Translate(K, s_2) → K'_2
Translate(L, s_2) → L'_2
Translate(M, s_2) → M'_2
Translate(G_1, s_2) → N_1
Translate(H_1, s_2) → O_1
Translate(F', s_2) → F''
Translate(E', s_2) → E''
Polygon(D'_4, K'_2, L'_2, M'_2, N_1, O_1, F'', E'') → poly5', d'_4, k'_2, l'_2, m'_2, n_3, o_1, f'', e''
Translate(M, s_2) → M'_3
Translate(D_1, s_2) → P_1
Translate(E_1, s_2) → Q_1
Translate(F_1, s_2) → R_1
Translate(Z, s_2) → Z'
Translate(A_1, s_2) → S_1
Translate(B_1, s_2) → T_1
Translate(C_1, s_2) → U_1
Translate(G, s_2) → G'_3
Translate(Q', s_2) → Q''_1
Translate(P', s_2) → P''
Translate(O', s_2) → O''_1
Translate(I', s_2) → I''_1
Translate(J_1, s_2) → V_1
Translate(I_1, s_2) → W_1
Translate(F', s_2) → F''_1
Translate(H_1, s_2) → Z_1
Translate(G_1, s_2) → A_2
Polygon(M'_3, P_1, P'', O''_1, I''_1, V_1, W_1, F''_1, Z_1, A_2, Q_1, R_1, Z', S_1, T_1, U_1, G'_3, Q''_1) → poly6', m'_3, q''_1, p'', o''_1, i''_1, v_3, w_3, f''_1, z_4, a_5, p_4, q_3, r_3, z', s_3, t_2, u_3, g'_3
Translate(M, s_2) → M'_4
Translate(D_1, s_2) → B_2
Translate(E_1, s_2) → C_2
Translate(F_1, s_2) → D_2
Translate(Z, s_2) → Z'_1
Translate(W, s_2) → W'
Translate(V, s_2) → V'
Translate(U, s_2) → U'
Translate(P, s_2) → P'_3
Translate(N, s_2) → N'_3
Polygon(M'_4, B_2, C_2, D_2, Z'_1, W', V', U', P'_3, N'_3) → poly7', m'_4, n'_3, b_5, c_7, d_6, z'_1, w', v', u'_2, p'_3
Translate(C, s_2) → C'_6
Translate(Z, s_2) → Z'_2
Translate(W, s_2) → W'_1
Translate(V, s_2) → V'_1
Translate(U, s_2) → U'_1
Translate(P, s_2) → P'_4
Translate(Q, s_2) → Q'_2
Translate(R, s_2) → R'_2
Polygon(C'_6, Z'_2, W'_1, V'_1, U'_1, P'_4, Q'_2, R'_2) → poly8', c'_6, z'_2, w'_1, v'_1, u'_3, p'_4, q'_3, r'_2
Translate(Z, s_2) → Z'_3
Translate(C, s_2) → C'_7
Translate(E, s_2) → E'_2
Translate(F, s_2) → F'_2
Translate(G, s_2) → G'_4
Translate(C_1, s_2) → E_2
Translate(B_1, s_2) → F_2
Translate(A_1, s_2) → G_2
Polygon(Z'_3, C'_7, E'_2, F'_2, G'_4, E_2, F_2, G_2) → poly9', z'_3, c'_7, e'_2, f'_4, g'_4, e_6, f_6, g_7
Translate(F', s_2) → F''_2
Translate(I_1, s_2) → H_2
Translate(J_1, s_2) → I_2
Translate(I', s_2) → I''_2
Translate(H', s_2) → H''
Translate(G', s_2) → G''
Polygon(F''_2, H_2, I_2, I''_2, H'', G'') → poly10', f''_2, h_5, i_5, i''_2, h'', g''
Translate(C, s_2) → C'_8
Translate(B, s_2) → B'_3
Translate(C'_1, s_2) → J_2
Translate(E', s_2) → E''_1
Segment(J_2, E''_1) → e''_1
Translate(E'_1, s_2) → K_2
Translate(F', s_2) → F''_3
Segment(K_2, F''_3) → f''_3
Translate(I', s_2) → I''_3
Translate(I'_1, s_2) → O_2
Translate(B'_1, s_2) → Q_2
Translate(D, s_2) → D'_5
Translate(K, s_2) → K'_3
Segment(D'_5, K'_3) → l'_3
Translate(K, s_2) → K'_4
Translate(L, s_2) → L'_3
Segment(K'_4, L'_3) → m'_5
Translate(L, s_2) → L'_4
Translate(C, s_2) → C'_9
Translate(D'_3, s_2) → R_2
Translate(C'_5, s_2) → C_3
Translate(C, s_2) → C'_{10}
Translate(G_1, s_2) → P_3
Translate(G_1, s_2) → Q_3
Translate(B', s_2) → B''
Translate(C', s_2) → C''_2
Translate(C'_2, s_2) → Z_3
Translate(D', s_2) → D''
Translate(D'_1, s_2) → A_4
Translate(C'_3, s_2) → B_4
Translate(C'', s_2) → C'''
Translate(S, s_2) → S'
Translate(C'_4, s_2) → C_4
Translate(D'_2, s_2) → D_4
Translate(C''_1, s_2) → E_4
Translate(T, s_2) → T'
Translate(K_1, s_2) → F_4
Vector(D'_4, Q_2) → k_3
Translate(I', k_3) → I''_4
Translate(O', k_3) → O''_2
Translate(N', k_3) → N''_1
Translate(M', k_3) → M''_1
Translate(L', k_3) → L''_1
Translate(K', k_3) → K''_1
Translate(A, k_3) → A'_1
Translate(J', k_3) → J''_1
Polygon(I''_4, O''_2, N''_1, M''_1, L''_1, K''_1, A'_1, J''_1) → poly2'_1, i''_4, o''_2, n''_1, m''_1, l''_1, k''_1, a'_1, j''_1
Translate(R', k_3) → R''_1
Translate(Q', k_3) → Q''_2
Translate(G, k_3) → G'_5
Translate(H, k_3) → H'_3
Translate(I, k_3) → I'_3
Translate(J, k_3) → J'_3
Translate(B, k_3) → B'_4
Polygon(R''_1, Q''_2, G'_5, H'_3, I'_3, J'_3, B'_4) → poly3'_1, r''_1, q''_2, g'_5, h'_3, i'_5, j'_3, b'_4
Translate(O, k_3) → O'_3
Translate(P, k_3) → P'_5
Translate(N, k_3) → N'_4
Polygon(O'_3, P'_5, N'_4) → poly4'_1, n'_4, o'_3, p'_5
Translate(D, k_3) → D'_6
Translate(K, k_3) → K'_5
Translate(L, k_3) → L'_5
Translate(M, k_3) → M'_5
Translate(G_1, k_3) → L_2
Translate(H_1, k_3) → N_2
Translate(F', k_3) → F''_4
Translate(E', k_3) → E''_2
Polygon(D'_6, K'_5, L'_5, M'_5, L_2, N_2, F''_4, E''_2) → poly5'_1, d'_6, k'_5, l'_5, m'_6, l_3, n_4, f''_4, e''_2
Translate(M, k_3) → M'_6
Translate(D_1, k_3) → P_2
Translate(E_1, k_3) → S_2
Translate(F_1, k_3) → T_2
Translate(Z, k_3) → Z'_4
Translate(A_1, k_3) → U_2
Translate(B_1, k_3) → V_2
Translate(C_1, k_3) → W_2
Translate(G, k_3) → G'_6
Translate(Q', k_3) → Q''_3
Translate(P', k_3) → P''_1
Translate(O', k_3) → O''_3
Translate(I', k_3) → I''_5
Translate(J_1, k_3) → Z_2
Translate(I_1, k_3) → A_3
Translate(F', k_3) → F''_5
Translate(H_1, k_3) → B_3
Translate(G_1, k_3) → D_3
Polygon(M'_6, P_2, P''_1, O''_3, I''_5, Z_2, A_3, F''_5, B_3, D_3, S_2, T_2, Z'_4, U_2, V_2, W_2, G'_6, Q''_3) → poly6'_1, m'_7, q''_3, p''_1, o''_3, i''_5, z_5, a_6, f''_5, b_6, d_7, p_5, s_4, t_3, z'_4, u_4, v_4, w_4, g'_6
Translate(M, k_3) → M'_7
Translate(D_1, k_3) → E_3
Translate(E_1, k_3) → F_3
Translate(F_1, k_3) → G_3
Translate(Z, k_3) → Z'_5
Translate(W, k_3) → W'_2
Translate(V, k_3) → V'_2
Translate(U, k_3) → U'_2
Translate(P, k_3) → P'_6
Translate(N, k_3) → N'_5
Polygon(M'_7, E_3, F_3, G_3, Z'_5, W'_2, V'_2, U'_2, P'_6, N'_5) → poly7'_1, m'_8, n'_5, e_7, f_7, g_8, z'_5, w'_2, v'_2, u'_4, p'_6
Translate(C, k_3) → C'_{11}
Translate(Z, k_3) → Z'_6
Translate(W, k_3) → W'_3
Translate(V, k_3) → V'_3
Translate(U, k_3) → U'_3
Translate(P, k_3) → P'_7
Translate(Q, k_3) → Q'_3
Translate(R, k_3) → R'_3
Polygon(C'_{11}, Z'_6, W'_3, V'_3, U'_3, P'_7, Q'_3, R'_3) → poly8'_1, c'_{11}, z'_6, w'_3, v'_3, u'_5, p'_7, q'_4, r'_3
Translate(Z, k_3) → Z'_7
Translate(C, k_3) → C'_{12}
Translate(E, k_3) → E'_3
Translate(F, k_3) → F'_3
Translate(G, k_3) → G'_7
Translate(C_1, k_3) → H_3
Translate(B_1, k_3) → I_3
Translate(A_1, k_3) → J_3
Polygon(Z'_7, C'_{12}, E'_3, F'_3, G'_7, H_3, I_3, J_3) → poly9'_1, z'_7, c'_{12}, e'_3, f'_5, g'_7, h_6, i_6, j_5
Translate(F', k_3) → F''_6
Translate(I_1, k_3) → K_3
Translate(J_1, k_3) → L_3
Translate(I', k_3) → I''_6
Translate(H', k_3) → H''_1
Translate(G', k_3) → G''_1
Polygon(F''_6, K_3, L_3, I''_6, H''_1, G''_1) → poly10'_1, f''_6, k_4, l_4, i''_6, h''_1, g''_1
Translate(I'', k_3) → I'''
Translate(O'', k_3) → O'''
Translate(N'', k_3) → N'''
Translate(M'', k_3) → M'''
Translate(L'', k_3) → L'''
Translate(K'', k_3) → K'''
Translate(A', k_3) → A''
Translate(J'', k_3) → J'''
Polygon(I''', O''', N''', M''', L''', K''', A'', J''') → poly2'', i''', o''', n''', m''', l''', k''', a'', j'''
Translate(R'', k_3) → R'''
Translate(Q'', k_3) → Q'''
Translate(G'_2, k_3) → M_3
Translate(H'_2, k_3) → N_3
Translate(I'_2, k_3) → O_3
Translate(J'_2, k_3) → R_3
Translate(B'_2, k_3) → S_3
Polygon(R''', Q''', M_3, N_3, O_3, R_3, S_3) → poly3'', r''', q''', m_5, n_5, o_3, r_4, s_5
Translate(O'_2, k_3) → T_3
Translate(P'_2, k_3) → U_3
Translate(N'_2, k_3) → V_3
Polygon(T_3, U_3, V_3) → poly4'', v_5, t_4, u_5
Translate(D'_4, k_3) → W_3
Translate(K'_2, k_3) → G_4
Translate(L'_2, k_3) → H_4
Translate(M'_2, k_3) → I_4
Translate(N_1, k_3) → J_4
Translate(O_1, k_3) → K_4
Translate(F'', k_3) → F'''
Translate(E'', k_3) → E'''
Polygon(W_3, G_4, H_4, I_4, J_4, K_4, F''', E''') → poly5'', w_5, g_9, h_7, i_7, j_6, k_5, f''', e'''
Translate(M'_3, k_3) → L_4
Translate(P_1, k_3) → M_4
Translate(Q_1, k_3) → N_4
Translate(R_1, k_3) → O_4
Translate(Z', k_3) → Z''
Translate(S_1, k_3) → P_4
Translate(T_1, k_3) → Q_4
Translate(U_1, k_3) → R_4
Translate(G'_3, k_3) → S_4
Translate(Q''_1, k_3) → T_4
Translate(P'', k_3) → P'''
Translate(O''_1, k_3) → U_4
Translate(I''_1, k_3) → V_4
Translate(V_1, k_3) → W_4
Translate(W_1, k_3) → Z_4
Translate(F''_1, k_3) → A_5
Translate(Z_1, k_3) → B_5
Translate(A_2, k_3) → C_5
Polygon(L_4, M_4, P''', U_4, V_4, W_4, Z_4, A_5, B_5, C_5, N_4, O_4, Z'', P_4, Q_4, R_4, S_4, T_4) → poly6'', l_5, t_5, p''', u_6, v_6, w_6, z_6, a_7, b_7, c_8, m_6, n_6, o_4, z'', p_6, q_4, r_5, s_6
Translate(M'_4, k_3) → D_5
Translate(B_2, k_3) → E_5
Translate(C_2, k_3) → F_5
Translate(D_2, k_3) → G_5
Translate(Z'_1, k_3) → H_5
Translate(W', k_3) → W''
Translate(V', k_3) → V''
Translate(U', k_3) → U''
Translate(P'_3, k_3) → I_5
Translate(N'_3, k_3) → J_5
Polygon(D_5, E_5, F_5, G_5, H_5, W'', V'', U'', I_5, J_5) → poly7'', d_8, j_7, e_8, f_8, g_{10}, h_8, w'', v'', u''_1, i_8
Translate(C'_6, k_3) → K_5
Translate(Z'_2, k_3) → L_5
Translate(W'_1, k_3) → M_5
Translate(V'_1, k_3) → N_5
Translate(U'_1, k_3) → O_5
Translate(P'_4, k_3) → P_5
Translate(Q'_2, k_3) → Q_5
Translate(R'_2, k_3) → R_5
Polygon(K_5, L_5, M_5, N_5, O_5, P_5, Q_5, R_5) → poly8'', k_6, l_6, m_7, n_7, o_5, p_7, q_5, r_6
Translate(Z'_3, k_3) → S_5
Translate(C'_7, k_3) → T_5
Translate(E'_2, k_3) → U_5
Translate(F'_2, k_3) → V_5
Translate(G'_4, k_3) → W_5
Translate(E_2, k_3) → Z_5
Translate(F_2, k_3) → A_6
Translate(G_2, k_3) → B_6
Polygon(S_5, T_5, U_5, V_5, W_5, Z_5, A_6, B_6) → poly9'', s_7, t_6, u_7, v_7, w_7, z_7, a_8, b_8
Translate(F''_2, k_3) → C_6
Translate(H_2, k_3) → D_6
Translate(I_2, k_3) → E_6
Translate(I''_2, k_3) → F_6
Translate(H'', k_3) → H'''
Translate(G'', k_3) → G'''
Polygon(C_6, D_6, E_6, F_6, H''', G''') → poly10'', c_9, d_9, e_9, f_9, h''', g'''
Translate(C, k_3) → C'_{13}
Translate(B, k_3) → B'_5
Translate(C'_1, k_3) → G_6
Translate(B'_1, k_3) → N_6
Translate(D, k_3) → D'_7
Translate(C, k_3) → C'_{14}
Translate(D'_3, k_3) → O_6
Translate(C'_5, k_3) → Z_6
Translate(C, k_3) → C'_{15}
Translate(J_2, k_3) → U_7
Translate(E''_1, k_3) → V_7
Segment(U_7, V_7) → k_9
Translate(K_2, k_3) → W_7
Translate(D'_5, k_3) → A_8
Translate(K'_3, k_3) → B_8
Segment(A_8, B_8) → m_9
Translate(K'_4, k_3) → C_8
Translate(s_2, k_3) → u_8
Translate(B', k_3) → B''_1
Translate(C', k_3) → C''_3
Translate(C'_2, k_3) → E_8
Translate(D', k_3) → D''_1
Translate(D'_1, k_3) → F_8
Translate(C'_3, k_3) → G_8
Translate(C'', k_3) → C'''_1
Translate(S, k_3) → S'_1
Translate(C'_4, k_3) → H_8
Translate(D'_2, k_3) → I_8
Translate(C''_1, k_3) → J_8
Translate(T, k_3) → T'_1
Translate(K_1, k_3) → K_8
Translate(C'_8, k_3) → L_8
Translate(B'_3, k_3) → M_8
Translate(C'_9, k_3) → O_8
Translate(R_2, k_3) → P_8
Translate(C_3, k_3) → Q_8
Translate(C'_{10}, k_3) → R_8
Translate(B'', k_3) → B'''
Translate(C''_2, k_3) → S_8
Translate(Z_3, k_3) → T_8
Translate(D'', k_3) → D'''
Translate(A_4, k_3) → U_8
Translate(B_4, k_3) → V_8
Translate(C''', k_3) → W_8
Translate(S', k_3) → S''
Translate(C_4, k_3) → Z_8
Translate(D_4, k_3) → A_9
Translate(E_4, k_3) → B_9
Translate(T', k_3) → T''
Translate(F_4, k_3) → C_9
Vector(D'_4, C) → q_6
Translate(I', q_6) → I''_7
Translate(O', q_6) → O''_4
Translate(N', q_6) → N''_2
Translate(M', q_6) → M''_2
Translate(L', q_6) → L''_2
Translate(K', q_6) → K''_2
Translate(A, q_6) → A'_2
Translate(J', q_6) → J''_2
Polygon(I''_7, O''_4, N''_2, M''_2, L''_2, K''_2, A'_2, J''_2) → poly2'_2, i''_7, o''_4, n''_2, m''_2, l''_2, k''_2, a'_2, j''_2
Translate(R', q_6) → R''_2
Translate(Q', q_6) → Q''_4
Translate(G, q_6) → G'_8
Translate(H, q_6) → H'_4
Translate(I, q_6) → I'_4
Translate(J, q_6) → J'_4
Translate(B, q_6) → B'_6
Polygon(R''_2, Q''_4, G'_8, H'_4, I'_4, J'_4, B'_6) → poly3'_2, r''_2, q''_4, g'_8, h'_4, i'_6, j'_4, b'_6
Translate(O, q_6) → O'_4
Translate(P, q_6) → P'_8
Translate(N, q_6) → N'_6
Polygon(O'_4, P'_8, N'_6) → poly4'_2, n'_6, o'_4, p'_8
Translate(D, q_6) → D'_8
Translate(K, q_6) → K'_6
Translate(L, q_6) → L'_6
Translate(M, q_6) → M'_8
Translate(G_1, q_6) → H_6
Translate(H_1, q_6) → I_6
Translate(F', q_6) → F''_7
Translate(E', q_6) → E''_3
Polygon(D'_8, K'_6, L'_6, M'_8, H_6, I_6, F''_7, E''_3) → poly5'_2, d'_8, k'_6, l'_6, m'_9, h_9, i_9, f''_7, e''_3
Translate(M, q_6) → M'_9
Translate(D_1, q_6) → J_6
Translate(E_1, q_6) → K_6
Translate(F_1, q_6) → L_6
Translate(Z, q_6) → Z'_8
Translate(A_1, q_6) → M_6
Translate(B_1, q_6) → P_6
Translate(C_1, q_6) → Q_6
Translate(G, q_6) → G'_9
Translate(Q', q_6) → Q''_5
Translate(P', q_6) → P''_2
Translate(O', q_6) → O''_5
Translate(I', q_6) → I''_8
Translate(J_1, q_6) → R_6
Translate(I_1, q_6) → S_6
Translate(F', q_6) → F''_8
Translate(H_1, q_6) → T_6
Translate(G_1, q_6) → U_6
Polygon(M'_9, J_6, P''_2, O''_5, I''_8, R_6, S_6, F''_8, T_6, U_6, K_6, L_6, Z'_8, M_6, P_6, Q_6, G'_9, Q''_5) → poly6'_2, m'_{10}, q''_5, p''_2, o''_5, i''_8, r_7, s_8, f''_8, t_7, u_9, j_8, k_7, l_7, z'_8, m_8, p_8, q_7, g'_9
Translate(M, q_6) → M'_{10}
Translate(D_1, q_6) → V_6
Translate(E_1, q_6) → W_6
Translate(F_1, q_6) → A_7
Translate(Z, q_6) → Z'_9
Translate(W, q_6) → W'_4
Translate(V, q_6) → V'_4
Translate(U, q_6) → U'_4
Translate(P, q_6) → P'_9
Translate(N, q_6) → N'_7
Polygon(M'_{10}, V_6, W_6, A_7, Z'_9, W'_4, V'_4, U'_4, P'_9, N'_7) → poly7'_2, m'_{11}, n'_7, v_8, w_8, a_9, z'_9, w'_4, v'_4, u'_6, p'_9
Translate(C, q_6) → C'_{16}
Translate(Z, q_6) → Z'_{10}
Translate(W, q_6) → W'_5
Translate(V, q_6) → V'_5
Translate(U, q_6) → U'_5
Translate(P, q_6) → P'_{10}
Translate(Q, q_6) → Q'_4
Translate(R, q_6) → R'_4
Polygon(C'_{16}, Z'_{10}, W'_5, V'_5, U'_5, P'_{10}, Q'_4, R'_4) → poly8'_2, c'_{16}, z'_{10}, w'_5, v'_5, u'_7, p'_{10}, q'_5, r'_4
Translate(Z, q_6) → Z'_{11}
Translate(C, q_6) → C'_{17}
Translate(E, q_6) → E'_4
Translate(F, q_6) → F'_4
Translate(G, q_6) → G'_{10}
Translate(C_1, q_6) → B_7
Translate(B_1, q_6) → C_7
Translate(A_1, q_6) → D_7
Polygon(Z'_{11}, C'_{17}, E'_4, F'_4, G'_{10}, B_7, C_7, D_7) → poly9'_2, z'_{11}, c'_{17}, e'_4, f'_6, g'_{10}, b_9, c_{10}, d_{10}
Translate(F', q_6) → F''_9
Translate(I_1, q_6) → E_7
Translate(J_1, q_6) → F_7
Translate(I', q_6) → I''_9
Translate(H', q_6) → H''_2
Translate(G', q_6) → G''_2
Polygon(F''_9, E_7, F_7, I''_9, H''_2, G''_2) → poly10'_2, f''_9, e_{10}, f_{10}, i''_9, h''_2, g''_2
Translate(I'', q_6) → I'''_1
Translate(O'', q_6) → O'''_1
Translate(N'', q_6) → N'''_1
Translate(M'', q_6) → M'''_1
Translate(L'', q_6) → L'''_1
Translate(K'', q_6) → K'''_1
Translate(A', q_6) → A''_1
Translate(J'', q_6) → J'''_1
Polygon(I'''_1, O'''_1, N'''_1, M'''_1, L'''_1, K'''_1, A''_1, J'''_1) → poly2''_1, i'''_1, o'''_1, n'''_1, m'''_1, l'''_1, k'''_1, a''_1, j'''_1
Translate(R'', q_6) → R'''_1
Translate(Q'', q_6) → Q'''_1
Translate(G'_2, q_6) → G_7
Translate(H'_2, q_6) → H_7
Translate(I'_2, q_6) → I_7
Translate(J'_2, q_6) → J_7
Translate(B'_2, q_6) → K_7
Polygon(R'''_1, Q'''_1, G_7, H_7, I_7, J_7, K_7) → poly3''_1, r'''_1, q'''_1, g_{11}, h_{10}, i_{10}, j_9, k_8
Translate(O'_2, q_6) → L_7
Translate(P'_2, q_6) → M_7
Translate(N'_2, q_6) → N_7
Polygon(L_7, M_7, N_7) → poly4''_1, n_8, l_8, m_{10}
Translate(D'_4, q_6) → O_7
Translate(K'_2, q_6) → P_7
Translate(L'_2, q_6) → Q_7
Translate(M'_2, q_6) → R_7
Translate(N_1, q_6) → S_7
Translate(O_1, q_6) → T_7
Translate(F'', q_6) → F'''_1
Translate(E'', q_6) → E'''_1
Polygon(O_7, P_7, Q_7, R_7, S_7, T_7, F'''_1, E'''_1) → poly5''_1, o_7, p_9, q_8, r_8, s_9, t_8, f'''_1, e'''_1
Translate(M'_3, q_6) → Z_7
Translate(P_1, q_6) → D_8
Translate(Q_1, q_6) → N_8
Translate(R_1, q_6) → D_9
Translate(Z', q_6) → Z''_1
Translate(S_1, q_6) → E_9
Translate(T_1, q_6) → F_9
Translate(U_1, q_6) → G_9
Translate(G'_3, q_6) → H_9
Translate(Q''_1, q_6) → I_9
Translate(P'', q_6) → P'''_1
Translate(O''_1, q_6) → J_9
Translate(I''_1, q_6) → K_9
Translate(V_1, q_6) → L_9
Translate(W_1, q_6) → M_9
Translate(F''_1, q_6) → N_9
Translate(Z_1, q_6) → O_9
Translate(A_2, q_6) → P_9
Polygon(Z_7, D_8, P'''_1, J_9, K_9, L_9, M_9, N_9, O_9, P_9, N_8, D_9, Z''_1, E_9, F_9, G_9, H_9, I_9) → poly6''_1, z_8, i_{11}, p'''_1, j_{10}, k_{10}, l_9, m_{11}, n_{10}, o_9, p_{10}, d_{11}, n_9, d_{12}, z''_1, e_{11}, f_{11}, g_{12}, h_{11}
Translate(M'_4, q_6) → Q_9
Translate(B_2, q_6) → R_9
Translate(C_2, q_6) → S_9
Translate(D_2, q_6) → T_9
Translate(Z'_1, q_6) → U_9
Translate(W', q_6) → W''_1
Translate(V', q_6) → V''_1
Translate(U', q_6) → U''_1
Translate(P'_3, q_6) → V_9
Translate(N'_3, q_6) → W_9
Polygon(Q_9, R_9, S_9, T_9, U_9, W''_1, V''_1, U''_1, V_9, W_9) → poly7''_1, q_9, w_9, r_9, s_{10}, t_9, u_{10}, w''_1, v''_1, u''_2, v_9
Translate(C'_6, q_6) → Z_9
Translate(Z'_2, q_6) → A_{10}
Translate(W'_1, q_6) → B_{10}
Translate(V'_1, q_6) → C_{10}
Translate(U'_1, q_6) → D_{10}
Translate(P'_4, q_6) → E_{10}
Translate(Q'_2, q_6) → F_{10}
Translate(R'_2, q_6) → G_{10}
Polygon(Z_9, A_{10}, B_{10}, C_{10}, D_{10}, E_{10}, F_{10}, G_{10}) → poly8''_1, z_9, a_{10}, b_{10}, c_{11}, d_{13}, e_{12}, f_{12}, g_{13}
Translate(Z'_3, q_6) → H_{10}
Translate(C'_7, q_6) → I_{10}
Translate(E'_2, q_6) → J_{10}
Translate(F'_2, q_6) → K_{10}
Translate(G'_4, q_6) → L_{10}
Translate(E_2, q_6) → M_{10}
Translate(F_2, q_6) → N_{10}
Translate(G_2, q_6) → O_{10}
Polygon(H_{10}, I_{10}, J_{10}, K_{10}, L_{10}, M_{10}, N_{10}, O_{10}) → poly9''_1, h_{12}, i_{12}, j_{11}, k_{11}, l_{10}, m_{12}, n_{11}, o_{10}
Translate(F''_2, q_6) → P_{10}
Translate(H_2, q_6) → Q_{10}
Translate(I_2, q_6) → R_{10}
Translate(I''_2, q_6) → S_{10}
Translate(H'', q_6) → H'''_1
Translate(G'', q_6) → G'''_1
Polygon(P_{10}, Q_{10}, R_{10}, S_{10}, H'''_1, G'''_1) → poly10''_1, p_{11}, q_{10}, r_{10}, s_{11}, h'''_1, g'''_1
Translate(I''_4, q_6) → T_{10}
Translate(O''_2, q_6) → U_{10}
Translate(N''_1, q_6) → V_{10}
Translate(M''_1, q_6) → W_{10}
Translate(L''_1, q_6) → Z_{10}
Translate(K''_1, q_6) → A_{11}
Translate(A'_1, q_6) → B_{11}
Translate(J''_1, q_6) → C_{11}
Polygon(T_{10}, U_{10}, V_{10}, W_{10}, Z_{10}, A_{11}, B_{11}, C_{11}) → poly11, t_{10}, u_{11}, v_{10}, w_{10}, z_{10}, a_{11}, b_{11}, c_{12}
Translate(R''_1, q_6) → D_{11}
Translate(Q''_2, q_6) → E_{11}
Translate(G'_5, q_6) → F_{11}
Translate(H'_3, q_6) → G_{11}
Translate(I'_3, q_6) → H_{11}
Translate(J'_3, q_6) → I_{11}
Translate(B'_4, q_6) → J_{11}
Polygon(D_{11}, E_{11}, F_{11}, G_{11}, H_{11}, I_{11}, J_{11}) → poly12, d_{14}, e_{13}, f_{13}, g_{14}, h_{13}, i_{13}, j_{12}
Translate(O'_3, q_6) → K_{11}
Translate(P'_5, q_6) → L_{11}
Translate(N'_4, q_6) → M_{11}
Polygon(K_{11}, L_{11}, M_{11}) → poly13, m_{13}, k_{12}, l_{11}
Translate(D'_6, q_6) → N_{11}
Translate(K'_5, q_6) → O_{11}
Translate(L'_5, q_6) → P_{11}
Translate(M'_5, q_6) → Q_{11}
Translate(L_2, q_6) → R_{11}
Translate(N_2, q_6) → S_{11}
Translate(F''_4, q_6) → T_{11}
Translate(E''_2, q_6) → U_{11}
Polygon(N_{11}, O_{11}, P_{11}, Q_{11}, R_{11}, S_{11}, T_{11}, U_{11}) → poly14, n_{12}, o_{11}, p_{12}, q_{11}, r_{11}, s_{12}, t_{11}, u_{12}
Translate(M'_6, q_6) → V_{11}
Translate(P_2, q_6) → W_{11}
Translate(S_2, q_6) → Z_{11}
Translate(T_2, q_6) → A_{12}
Translate(Z'_4, q_6) → B_{12}
Translate(U_2, q_6) → C_{12}
Translate(V_2, q_6) → D_{12}
Translate(W_2, q_6) → E_{12}
Translate(G'_6, q_6) → F_{12}
Translate(Q''_3, q_6) → G_{12}
Translate(P''_1, q_6) → H_{12}
Translate(O''_3, q_6) → I_{12}
Translate(I''_5, q_6) → J_{12}
Translate(Z_2, q_6) → K_{12}
Translate(A_3, q_6) → L_{12}
Translate(F''_5, q_6) → M_{12}
Translate(B_3, q_6) → N_{12}
Translate(D_3, q_6) → O_{12}
Polygon(V_{11}, W_{11}, H_{12}, I_{12}, J_{12}, K_{12}, L_{12}, M_{12}, N_{12}, O_{12}, Z_{11}, A_{12}, B_{12}, C_{12}, D_{12}, E_{12}, F_{12}, G_{12}) → poly15, v_{11}, g_{15}, h_{14}, i_{14}, j_{13}, k_{13}, l_{12}, m_{14}, n_{13}, o_{12}, w_{11}, z_{11}, a_{12}, b_{12}, c_{13}, d_{15}, e_{14}, f_{14}
Translate(M'_7, q_6) → P_{12}
Translate(E_3, q_6) → Q_{12}
Translate(F_3, q_6) → R_{12}
Translate(G_3, q_6) → S_{12}
Translate(Z'_5, q_6) → T_{12}
Translate(W'_2, q_6) → U_{12}
Translate(V'_2, q_6) → V_{12}
Translate(U'_2, q_6) → W_{12}
Translate(P'_6, q_6) → Z_{12}
Translate(N'_5, q_6) → A_{13}
Polygon(P_{12}, Q_{12}, R_{12}, S_{12}, T_{12}, U_{12}, V_{12}, W_{12}, Z_{12}, A_{13}) → poly16, p_{13}, a_{13}, q_{12}, r_{12}, s_{13}, t_{12}, u_{13}, v_{12}, w_{12}, z_{12}
Translate(C'_{11}, q_6) → B_{13}
Translate(Z'_6, q_6) → C_{13}
Translate(W'_3, q_6) → D_{13}
Translate(V'_3, q_6) → E_{13}
Translate(U'_3, q_6) → F_{13}
Translate(P'_7, q_6) → G_{13}
Translate(Q'_3, q_6) → H_{13}
Translate(R'_3, q_6) → I_{13}
Polygon(B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}) → poly17, b_{13}, c_{14}, d_{16}, e_{15}, f_{15}, g_{16}, h_{15}, i_{15}
Translate(Z'_7, q_6) → J_{13}
Translate(C'_{12}, q_6) → K_{13}
Translate(E'_3, q_6) → L_{13}
Translate(F'_3, q_6) → M_{13}
Translate(G'_7, q_6) → N_{13}
Translate(H_3, q_6) → O_{13}
Translate(I_3, q_6) → P_{13}
Translate(J_3, q_6) → Q_{13}
Polygon(J_{13}, K_{13}, L_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}) → poly18, j_{14}, k_{14}, l_{13}, m_{15}, n_{14}, o_{13}, p_{14}, q_{13}
Translate(F''_6, q_6) → R_{13}
Translate(K_3, q_6) → S_{13}
Translate(L_3, q_6) → T_{13}
Translate(I''_6, q_6) → U_{13}
Translate(H''_1, q_6) → V_{13}
Translate(G''_1, q_6) → W_{13}
Polygon(R_{13}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}) → poly19, r_{13}, s_{14}, t_{13}, u_{14}, v_{13}, w_{13}
Translate(I''', q_6) → Z_{13}
Translate(O''', q_6) → A_{14}
Translate(N''', q_6) → B_{14}
Translate(M''', q_6) → C_{14}
Translate(L''', q_6) → D_{14}
Translate(K''', q_6) → E_{14}
Translate(A'', q_6) → A'''
Translate(J''', q_6) → F_{14}
Polygon(Z_{13}, A_{14}, B_{14}, C_{14}, D_{14}, E_{14}, A''', F_{14}) → poly2''', z_{13}, a_{14}, b_{14}, c_{15}, d_{17}, e_{16}, a''', f_{16}
Translate(R''', q_6) → G_{14}
Translate(Q''', q_6) → H_{14}
Translate(M_3, q_6) → I_{14}
Translate(N_3, q_6) → J_{14}
Translate(O_3, q_6) → K_{14}
Translate(R_3, q_6) → L_{14}
Translate(S_3, q_6) → M_{14}
Polygon(G_{14}, H_{14}, I_{14}, J_{14}, K_{14}, L_{14}, M_{14}) → poly3''', g_{17}, h_{16}, i_{16}, j_{15}, k_{15}, l_{14}, m_{16}
Translate(T_3, q_6) → N_{14}
Translate(U_3, q_6) → O_{14}
Translate(V_3, q_6) → P_{14}
Polygon(N_{14}, O_{14}, P_{14}) → poly4''', p_{15}, n_{15}, o_{14}
Translate(W_3, q_6) → Q_{14}
Translate(G_4, q_6) → R_{14}
Translate(H_4, q_6) → S_{14}
Translate(I_4, q_6) → T_{14}
Translate(J_4, q_6) → U_{14}
Translate(K_4, q_6) → V_{14}
Translate(F''', q_6) → W_{14}
Translate(E''', q_6) → Z_{14}
Polygon(Q_{14}, R_{14}, S_{14}, T_{14}, U_{14}, V_{14}, W_{14}, Z_{14}) → poly5''', q_{14}, r_{14}, s_{15}, t_{14}, u_{15}, v_{14}, w_{14}, z_{14}
Translate(L_4, q_6) → A_{15}
Translate(M_4, q_6) → B_{15}
Translate(N_4, q_6) → C_{15}
Translate(O_4, q_6) → D_{15}
Translate(Z'', q_6) → Z'''
Translate(P_4, q_6) → E_{15}
Translate(Q_4, q_6) → F_{15}
Translate(R_4, q_6) → G_{15}
Translate(S_4, q_6) → H_{15}
Translate(T_4, q_6) → I_{15}
Translate(P''', q_6) → J_{15}
Translate(U_4, q_6) → K_{15}
Translate(V_4, q_6) → L_{15}
Translate(W_4, q_6) → M_{15}
Translate(Z_4, q_6) → N_{15}
Translate(A_5, q_6) → O_{15}
Translate(B_5, q_6) → P_{15}
Translate(C_5, q_6) → Q_{15}
Polygon(A_{15}, B_{15}, J_{15}, K_{15}, L_{15}, M_{15}, N_{15}, O_{15}, P_{15}, Q_{15}, C_{15}, D_{15}, Z''', E_{15}, F_{15}, G_{15}, H_{15}, I_{15}) → poly6''', a_{15}, i_{17}, j_{16}, k_{16}, l_{15}, m_{17}, n_{16}, o_{15}, p_{16}, q_{15}, b_{15}, c_{16}, d_{18}, z''', e_{17}, f_{17}, g_{18}, h_{17}
Translate(D_5, q_6) → R_{15}
Translate(E_5, q_6) → S_{15}
Translate(F_5, q_6) → T_{15}
Translate(G_5, q_6) → U_{15}
Translate(H_5, q_6) → V_{15}
Translate(W'', q_6) → W'''
Translate(V'', q_6) → V'''
Translate(U'', q_6) → U'''
Translate(I_5, q_6) → W_{15}
Translate(J_5, q_6) → Z_{15}
Polygon(R_{15}, S_{15}, T_{15}, U_{15}, V_{15}, W''', V''', U''', W_{15}, Z_{15}) → poly7''', r_{15}, z_{15}, s_{16}, t_{15}, u_{16}, v_{15}, w''', v''', u''', w_{15}
Translate(K_5, q_6) → A_{16}
Translate(L_5, q_6) → B_{16}
Translate(M_5, q_6) → C_{16}
Translate(N_5, q_6) → D_{16}
Translate(O_5, q_6) → E_{16}
Translate(P_5, q_6) → F_{16}
Translate(Q_5, q_6) → G_{16}
Translate(R_5, q_6) → H_{16}
Polygon(A_{16}, B_{16}, C_{16}, D_{16}, E_{16}, F_{16}, G_{16}, H_{16}) → poly8''', a_{16}, b_{16}, c_{17}, d_{19}, e_{18}, f_{18}, g_{19}, h_{18}
Translate(S_5, q_6) → I_{16}
Translate(T_5, q_6) → J_{16}
Translate(U_5, q_6) → K_{16}
Translate(V_5, q_6) → L_{16}
Translate(W_5, q_6) → M_{16}
Translate(Z_5, q_6) → N_{16}
Translate(A_6, q_6) → O_{16}
Translate(B_6, q_6) → P_{16}
Polygon(I_{16}, J_{16}, K_{16}, L_{16}, M_{16}, N_{16}, O_{16}, P_{16}) → poly9''', i_{18}, j_{17}, k_{17}, l_{16}, m_{18}, n_{17}, o_{16}, p_{17}
Translate(C_6, q_6) → Q_{16}
Translate(D_6, q_6) → R_{16}
Translate(E_6, q_6) → S_{16}
Translate(F_6, q_6) → T_{16}
Translate(H''', q_6) → U_{16}
Translate(G''', q_6) → V_{16}
Polygon(Q_{16}, R_{16}, S_{16}, T_{16}, U_{16}, V_{16}) → poly10''', q_{16}, r_{16}, s_{17}, t_{16}, u_{17}, v_{16}
Translate(C, q_6) → C'_{18}
Translate(B, q_6) → B'_7
Translate(C'_1, q_6) → W_{16}
Translate(B'_1, q_6) → F_{17}
Translate(D, q_6) → D'_9
Translate(C, q_6) → C'_{19}
Translate(D'_3, q_6) → G_{17}
Translate(C'_5, q_6) → P_{17}
Translate(C, q_6) → C'_{20}
Translate(J_2, q_6) → M_{18}
Translate(D'_5, q_6) → Q_{18}
Translate(U_7, q_6) → U_{18}
Translate(A_8, q_6) → W_{18}
Translate(s_2, q_6) → w_{16}
Translate(k_3, q_6) → z_{16}
Translate(u_8, q_6) → v_{17}
Translate(B', q_6) → B''_2
Translate(C', q_6) → C''_4
Translate(C'_2, q_6) → A_{19}
Translate(D', q_6) → D''_2
Translate(D'_1, q_6) → B_{19}
Translate(C'_3, q_6) → C_{19}
Translate(C'', q_6) → C'''_2
Translate(S, q_6) → S'_2
Translate(C'_4, q_6) → D_{19}
Translate(D'_2, q_6) → E_{19}
Translate(C''_1, q_6) → F_{19}
Translate(T, q_6) → T'_2
Translate(K_1, q_6) → G_{19}
Translate(C'_8, q_6) → H_{19}
Translate(B'_3, q_6) → I_{19}
Translate(Q_2, q_6) → K_{19}
Translate(C'_9, q_6) → L_{19}
Translate(R_2, q_6) → M_{19}
Translate(C_3, q_6) → N_{19}
Translate(C'_{10}, q_6) → O_{19}
Translate(B'', q_6) → B'''_1
Translate(C''_2, q_6) → P_{19}
Translate(Z_3, q_6) → Q_{19}
Translate(D'', q_6) → D'''_1
Translate(A_4, q_6) → R_{19}
Translate(B_4, q_6) → S_{19}
Translate(C''', q_6) → T_{19}
Translate(S', q_6) → S''_1
Translate(C_4, q_6) → U_{19}
Translate(D_4, q_6) → V_{19}
Translate(E_4, q_6) → W_{19}
Translate(T', q_6) → T''_1
Translate(F_4, q_6) → Z_{19}
Translate(C'_{13}, q_6) → A_{20}
Translate(B'_5, q_6) → B_{20}
Translate(G_6, q_6) → C_{20}
Translate(N_6, q_6) → D_{20}
Translate(D'_7, q_6) → E_{20}
Translate(C'_{14}, q_6) → F_{20}
Translate(O_6, q_6) → G_{20}
Translate(Z_6, q_6) → H_{20}
Translate(C'_{15}, q_6) → I_{20}
Translate(B''_1, q_6) → J_{20}
Translate(C''_3, q_6) → K_{20}
Translate(E_8, q_6) → L_{20}
Translate(D''_1, q_6) → M_{20}
Translate(F_8, q_6) → N_{20}
Translate(G_8, q_6) → O_{20}
Translate(C'''_1, q_6) → P_{20}
Translate(S'_1, q_6) → Q_{20}
Translate(H_8, q_6) → R_{20}
Translate(I_8, q_6) → S_{20}
Translate(J_8, q_6) → T_{20}
Translate(T'_1, q_6) → U_{20}
Translate(K_8, q_6) → V_{20}
Translate(L_8, q_6) → W_{20}
Translate(M_8, q_6) → Z_{20}
Translate(O_8, q_6) → A_{21}
Translate(P_8, q_6) → B_{21}
Translate(Q_8, q_6) → C_{21}
Translate(R_8, q_6) → D_{21}
Translate(B''', q_6) → E_{21}
Translate(S_8, q_6) → F_{21}
Translate(T_8, q_6) → G_{21}
Translate(D''', q_6) → H_{21}
Translate(U_8, q_6) → I_{21}
Translate(V_8, q_6) → J_{21}
Translate(W_8, q_6) → K_{21}
Translate(S'', q_6) → S'''
Translate(Z_8, q_6) → L_{21}
Translate(A_9, q_6) → M_{21}
Translate(B_9, q_6) → N_{21}
Translate(T'', q_6) → T'''
Translate(C_9, q_6) → O_{21}
Vector(D'_4, P_8) → w_{17}
Translate(I', w_{17}) → I''_{12}
Translate(O', w_{17}) → O''_7
Translate(N', w_{17}) → N''_4
Translate(M', w_{17}) → M''_4
Translate(L', w_{17}) → L''_4
Translate(K', w_{17}) → K''_4
Translate(A, w_{17}) → A'_3
Translate(J', w_{17}) → J''_4
Polygon(I''_{12}, O''_7, N''_4, M''_4, L''_4, K''_4, A'_3, J''_4) → poly2'_3, i''_{12}, o''_7, n''_4, m''_4, l''_4, k''_4, a'_3, j''_4
Translate(R', w_{17}) → R''_4
Translate(Q', w_{17}) → Q''_7
Translate(G, w_{17}) → G'_{14}
Translate(H, w_{17}) → H'_7
Translate(I, w_{17}) → I'_7
Translate(J, w_{17}) → J'_7
Translate(B, w_{17}) → B'_8
Polygon(R''_4, Q''_7, G'_{14}, H'_7, I'_7, J'_7, B'_8) → poly3'_3, r''_4, q''_7, g'_{14}, h'_7, i'_8, j'_7, b'_8
Translate(O, w_{17}) → O'_7
Translate(P, w_{17}) → P'_{14}
Translate(N, w_{17}) → N'_{10}
Polygon(O'_7, P'_{14}, N'_{10}) → poly4'_3, n'_{10}, o'_7, p'_{14}
Translate(D, w_{17}) → D'_{10}
Translate(K, w_{17}) → K'_9
Translate(L, w_{17}) → L'_9
Translate(M, w_{17}) → M'_{15}
Translate(G_1, w_{17}) → P_{21}
Translate(H_1, w_{17}) → Q_{21}
Translate(F', w_{17}) → F''_{13}
Translate(E', w_{17}) → E''_5
Polygon(D'_{10}, K'_9, L'_9, M'_{15}, P_{21}, Q_{21}, F''_{13}, E''_5) → poly5'_3, d'_{10}, k'_9, l'_9, m'_{15}, p_{21}, q_{21}, f''_{13}, e''_5
Translate(M, w_{17}) → M'_{16}
Translate(D_1, w_{17}) → R_{21}
Translate(E_1, w_{17}) → S_{21}
Translate(F_1, w_{17}) → T_{21}
Translate(Z, w_{17}) → Z'_{16}
Translate(A_1, w_{17}) → U_{21}
Translate(B_1, w_{17}) → V_{21}
Translate(C_1, w_{17}) → W_{21}
Translate(G, w_{17}) → G'_{15}
Translate(Q', w_{17}) → Q''_8
Translate(P', w_{17}) → P''_4
Translate(O', w_{17}) → O''_8
Translate(I', w_{17}) → I''_{13}
Translate(J_1, w_{17}) → Z_{21}
Translate(I_1, w_{17}) → A_{22}
Translate(F', w_{17}) → F''_{14}
Translate(H_1, w_{17}) → B_{22}
Translate(G_1, w_{17}) → C_{22}
Polygon(M'_{16}, R_{21}, P''_4, O''_8, I''_{13}, Z_{21}, A_{22}, F''_{14}, B_{22}, C_{22}, S_{21}, T_{21}, Z'_{16}, U_{21}, V_{21}, W_{21}, G'_{15}, Q''_8) → poly6'_3, m'_{16}, q''_8, p''_4, o''_8, i''_{13}, z_{21}, a_{22}, f''_{14}, b_{22}, c_{22}, r_{21}, s_{21}, t_{21}, z'_{16}, u_{21}, v_{21}, w_{21}, g'_{15}
Translate(M, w_{17}) → M'_{17}
Translate(D_1, w_{17}) → D_{22}
Translate(E_1, w_{17}) → E_{22}
Translate(F_1, w_{17}) → F_{22}
Translate(Z, w_{17}) → Z'_{17}
Translate(W, w_{17}) → W'_8
Translate(V, w_{17}) → V'_8
Translate(U, w_{17}) → U'_8
Translate(P, w_{17}) → P'_{15}
Translate(N, w_{17}) → N'_{11}
Polygon(M'_{17}, D_{22}, E_{22}, F_{22}, Z'_{17}, W'_8, V'_8, U'_8, P'_{15}, N'_{11}) → poly7'_3, m'_{17}, n'_{11}, d_{22}, e_{22}, f_{22}, z'_{17}, w'_8, v'_8, u'_8, p'_{15}
Translate(C, w_{17}) → C'_{21}
Translate(Z, w_{17}) → Z'_{18}
Translate(W, w_{17}) → W'_9
Translate(V, w_{17}) → V'_9
Translate(U, w_{17}) → U'_9
Translate(P, w_{17}) → P'_{16}
Translate(Q, w_{17}) → Q'_7
Translate(R, w_{17}) → R'_7
Polygon(C'_{21}, Z'_{18}, W'_9, V'_9, U'_9, P'_{16}, Q'_7, R'_7) → poly8'_3, c'_{21}, z'_{18}, w'_9, v'_9, u'_9, p'_{16}, q'_7, r'_7
Translate(Z, w_{17}) → Z'_{19}
Translate(C, w_{17}) → C'_{22}
Translate(E, w_{17}) → E'_7
Translate(F, w_{17}) → F'_7
Translate(G, w_{17}) → G'_{16}
Translate(C_1, w_{17}) → G_{22}
Translate(B_1, w_{17}) → H_{22}
Translate(A_1, w_{17}) → I_{22}
Polygon(Z'_{19}, C'_{22}, E'_7, F'_7, G'_{16}, G_{22}, H_{22}, I_{22}) → poly9'_3, z'_{19}, c'_{22}, e'_7, f'_8, g'_{16}, g_{22}, h_{22}, i_{22}
Translate(F', w_{17}) → F''_{15}
Translate(I_1, w_{17}) → J_{22}
Translate(J_1, w_{17}) → K_{22}
Translate(I', w_{17}) → I''_{14}
Translate(H', w_{17}) → H''_4
Translate(G', w_{17}) → G''_4
Polygon(F''_{15}, J_{22}, K_{22}, I''_{14}, H''_4, G''_4) → poly10'_3, f''_{15}, j_{22}, k_{22}, i''_{14}, h''_4, g''_4
Translate(I'', w_{17}) → I'''_2
Translate(O'', w_{17}) → O'''_2
Translate(N'', w_{17}) → N'''_2
Translate(M'', w_{17}) → M'''_2
Translate(L'', w_{17}) → L'''_2
Translate(K'', w_{17}) → K'''_2
Translate(A', w_{17}) → A''_2
Translate(J'', w_{17}) → J'''_2
Polygon(I'''_2, O'''_2, N'''_2, M'''_2, L'''_2, K'''_2, A''_2, J'''_2) → poly2''_2, i'''_2, o'''_2, n'''_2, m'''_2, l'''_2, k'''_2, a''_2, j'''_2
Translate(R'', w_{17}) → R'''_2
Translate(Q'', w_{17}) → Q'''_2
Translate(G'_2, w_{17}) → L_{22}
Translate(H'_2, w_{17}) → M_{22}
Translate(I'_2, w_{17}) → N_{22}
Translate(J'_2, w_{17}) → O_{22}
Translate(B'_2, w_{17}) → P_{22}
Polygon(R'''_2, Q'''_2, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}) → poly3''_2, r'''_2, q'''_2, l_{22}, m_{22}, n_{22}, o_{22}, p_{22}
Translate(O'_2, w_{17}) → Q_{22}
Translate(P'_2, w_{17}) → R_{22}
Translate(N'_2, w_{17}) → S_{22}
Polygon(Q_{22}, R_{22}, S_{22}) → poly4''_2, s_{22}, q_{22}, r_{22}
Translate(D'_4, w_{17}) → T_{22}
Translate(K'_2, w_{17}) → U_{22}
Translate(L'_2, w_{17}) → V_{22}
Translate(M'_2, w_{17}) → W_{22}
Translate(N_1, w_{17}) → Z_{22}
Translate(O_1, w_{17}) → A_{23}
Translate(F'', w_{17}) → F'''_2
Translate(E'', w_{17}) → E'''_2
Polygon(T_{22}, U_{22}, V_{22}, W_{22}, Z_{22}, A_{23}, F'''_2, E'''_2) → poly5''_2, t_{22}, u_{22}, v_{22}, w_{22}, z_{22}, a_{23}, f'''_2, e'''_2
Translate(M'_3, w_{17}) → B_{23}
Translate(P_1, w_{17}) → C_{23}
Translate(Q_1, w_{17}) → D_{23}
Translate(R_1, w_{17}) → E_{23}
Translate(Z', w_{17}) → Z''_2
Translate(S_1, w_{17}) → F_{23}
Translate(T_1, w_{17}) → G_{23}
Translate(U_1, w_{17}) → H_{23}
Translate(G'_3, w_{17}) → I_{23}
Translate(Q''_1, w_{17}) → J_{23}
Translate(P'', w_{17}) → P'''_2
Translate(O''_1, w_{17}) → K_{23}
Translate(I''_1, w_{17}) → L_{23}
Translate(V_1, w_{17}) → M_{23}
Translate(W_1, w_{17}) → N_{23}
Translate(F''_1, w_{17}) → O_{23}
Translate(Z_1, w_{17}) → P_{23}
Translate(A_2, w_{17}) → Q_{23}
Polygon(B_{23}, C_{23}, P'''_2, K_{23}, L_{23}, M_{23}, N_{23}, O_{23}, P_{23}, Q_{23}, D_{23}, E_{23}, Z''_2, F_{23}, G_{23}, H_{23}, I_{23}, J_{23}) → poly6''_2, b_{23}, j_{23}, p'''_2, k_{23}, l_{23}, m_{23}, n_{23}, o_{23}, p_{23}, q_{23}, c_{23}, d_{23}, e_{23}, z''_2, f_{23}, g_{23}, h_{23}, i_{23}
Translate(M'_4, w_{17}) → R_{23}
Translate(B_2, w_{17}) → S_{23}
Translate(C_2, w_{17}) → T_{23}
Translate(D_2, w_{17}) → U_{23}
Translate(Z'_1, w_{17}) → V_{23}
Translate(W', w_{17}) → W''_2
Translate(V', w_{17}) → V''_2
Translate(U', w_{17}) → U''_2
Translate(P'_3, w_{17}) → W_{23}
Translate(N'_3, w_{17}) → Z_{23}
Polygon(R_{23}, S_{23}, T_{23}, U_{23}, V_{23}, W''_2, V''_2, U''_2, W_{23}, Z_{23}) → poly7''_2, r_{23}, z_{23}, s_{23}, t_{23}, u_{23}, v_{23}, w''_2, v''_2, u''_3, w_{23}
Translate(C'_6, w_{17}) → A_{24}
Translate(Z'_2, w_{17}) → B_{24}
Translate(W'_1, w_{17}) → C_{24}
Translate(V'_1, w_{17}) → D_{24}
Translate(U'_1, w_{17}) → E_{24}
Translate(P'_4, w_{17}) → F_{24}
Translate(Q'_2, w_{17}) → G_{24}
Translate(R'_2, w_{17}) → H_{24}
Polygon(A_{24}, B_{24}, C_{24}, D_{24}, E_{24}, F_{24}, G_{24}, H_{24}) → poly8''_2, a_{24}, b_{24}, c_{24}, d_{24}, e_{24}, f_{24}, g_{24}, h_{24}
Translate(Z'_3, w_{17}) → I_{24}
Translate(C'_7, w_{17}) → J_{24}
Translate(E'_2, w_{17}) → K_{24}
Translate(F'_2, w_{17}) → L_{24}
Translate(G'_4, w_{17}) → M_{24}
Translate(E_2, w_{17}) → N_{24}
Translate(F_2, w_{17}) → O_{24}
Translate(G_2, w_{17}) → P_{24}
Polygon(I_{24}, J_{24}, K_{24}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}) → poly9''_2, i_{24}, j_{24}, k_{24}, l_{24}, m_{24}, n_{24}, o_{24}, p_{24}
Translate(F''_2, w_{17}) → Q_{24}
Translate(H_2, w_{17}) → R_{24}
Translate(I_2, w_{17}) → S_{24}
Translate(I''_2, w_{17}) → T_{24}
Translate(H'', w_{17}) → H'''_2
Translate(G'', w_{17}) → G'''_2
Polygon(Q_{24}, R_{24}, S_{24}, T_{24}, H'''_2, G'''_2) → poly10''_2, q_{24}, r_{24}, s_{24}, t_{24}, h'''_2, g'''_2
Translate(I''_4, w_{17}) → U_{24}
Translate(O''_2, w_{17}) → V_{24}
Translate(N''_1, w_{17}) → W_{24}
Translate(M''_1, w_{17}) → Z_{24}
Translate(L''_1, w_{17}) → A_{25}
Translate(K''_1, w_{17}) → B_{25}
Translate(A'_1, w_{17}) → C_{25}
Translate(J''_1, w_{17}) → D_{25}
Polygon(U_{24}, V_{24}, W_{24}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}) → poly20, u_{24}, v_{24}, w_{24}, z_{24}, a_{25}, b_{25}, c_{25}, d_{25}
Translate(R''_1, w_{17}) → E_{25}
Translate(Q''_2, w_{17}) → F_{25}
Translate(G'_5, w_{17}) → G_{25}
Translate(H'_3, w_{17}) → H_{25}
Translate(I'_3, w_{17}) → I_{25}
Translate(J'_3, w_{17}) → J_{25}
Translate(B'_4, w_{17}) → K_{25}
Polygon(E_{25}, F_{25}, G_{25}, H_{25}, I_{25}, J_{25}, K_{25}) → poly21, e_{25}, f_{25}, g_{25}, h_{25}, i_{25}, j_{25}, k_{25}
Translate(O'_3, w_{17}) → L_{25}
Translate(P'_5, w_{17}) → M_{25}
Translate(N'_4, w_{17}) → N_{25}
Polygon(L_{25}, M_{25}, N_{25}) → poly22, n_{25}, l_{25}, m_{25}
Translate(D'_6, w_{17}) → O_{25}
Translate(K'_5, w_{17}) → P_{25}
Translate(L'_5, w_{17}) → Q_{25}
Translate(M'_5, w_{17}) → R_{25}
Translate(L_2, w_{17}) → S_{25}
Translate(N_2, w_{17}) → T_{25}
Translate(F''_4, w_{17}) → U_{25}
Translate(E''_2, w_{17}) → V_{25}
Polygon(O_{25}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}) → poly23, o_{25}, p_{25}, q_{25}, r_{25}, s_{25}, t_{25}, u_{25}, v_{25}
Translate(M'_6, w_{17}) → W_{25}
Translate(P_2, w_{17}) → Z_{25}
Translate(S_2, w_{17}) → A_{26}
Translate(T_2, w_{17}) → B_{26}
Translate(Z'_4, w_{17}) → C_{26}
Translate(U_2, w_{17}) → D_{26}
Translate(V_2, w_{17}) → E_{26}
Translate(W_2, w_{17}) → F_{26}
Translate(G'_6, w_{17}) → G_{26}
Translate(Q''_3, w_{17}) → H_{26}
Translate(P''_1, w_{17}) → I_{26}
Translate(O''_3, w_{17}) → J_{26}
Translate(I''_5, w_{17}) → K_{26}
Translate(Z_2, w_{17}) → L_{26}
Translate(A_3, w_{17}) → M_{26}
Translate(F''_5, w_{17}) → N_{26}
Translate(B_3, w_{17}) → O_{26}
Translate(D_3, w_{17}) → P_{26}
Polygon(W_{25}, Z_{25}, I_{26}, J_{26}, K_{26}, L_{26}, M_{26}, N_{26}, O_{26}, P_{26}, A_{26}, B_{26}, C_{26}, D_{26}, E_{26}, F_{26}, G_{26}, H_{26}) → poly24, w_{25}, h_{26}, i_{26}, j_{26}, k_{26}, l_{26}, m_{26}, n_{26}, o_{26}, p_{26}, z_{25}, a_{26}, b_{26}, c_{26}, d_{26}, e_{26}, f_{26}, g_{26}
Translate(M'_7, w_{17}) → Q_{26}
Translate(E_3, w_{17}) → R_{26}
Translate(F_3, w_{17}) → S_{26}
Translate(G_3, w_{17}) → T_{26}
Translate(Z'_5, w_{17}) → U_{26}
Translate(W'_2, w_{17}) → V_{26}
Translate(V'_2, w_{17}) → W_{26}
Translate(U'_2, w_{17}) → Z_{26}
Translate(P'_6, w_{17}) → A_{27}
Translate(N'_5, w_{17}) → B_{27}
Polygon(Q_{26}, R_{26}, S_{26}, T_{26}, U_{26}, V_{26}, W_{26}, Z_{26}, A_{27}, B_{27}) → poly25, q_{26}, b_{27}, r_{26}, s_{26}, t_{26}, u_{26}, v_{26}, w_{26}, z_{26}, a_{27}
Translate(C'_{11}, w_{17}) → C_{27}
Translate(Z'_6, w_{17}) → D_{27}
Translate(W'_3, w_{17}) → E_{27}
Translate(V'_3, w_{17}) → F_{27}
Translate(U'_3, w_{17}) → G_{27}
Translate(P'_7, w_{17}) → H_{27}
Translate(Q'_3, w_{17}) → I_{27}
Translate(R'_3, w_{17}) → J_{27}
Polygon(C_{27}, D_{27}, E_{27}, F_{27}, G_{27}, H_{27}, I_{27}, J_{27}) → poly26, c_{27}, d_{27}, e_{27}, f_{27}, g_{27}, h_{27}, i_{27}, j_{27}
Translate(Z'_7, w_{17}) → K_{27}
Translate(C'_{12}, w_{17}) → L_{27}
Translate(E'_3, w_{17}) → M_{27}
Translate(F'_3, w_{17}) → N_{27}
Translate(G'_7, w_{17}) → O_{27}
Translate(H_3, w_{17}) → P_{27}
Translate(I_3, w_{17}) → Q_{27}
Translate(J_3, w_{17}) → R_{27}
Polygon(K_{27}, L_{27}, M_{27}, N_{27}, O_{27}, P_{27}, Q_{27}, R_{27}) → poly27, k_{27}, l_{27}, m_{27}, n_{27}, o_{27}, p_{27}, q_{27}, r_{27}
Translate(F''_6, w_{17}) → S_{27}
Translate(K_3, w_{17}) → T_{27}
Translate(L_3, w_{17}) → U_{27}
Translate(I''_6, w_{17}) → V_{27}
Translate(H''_1, w_{17}) → W_{27}
Translate(G''_1, w_{17}) → Z_{27}
Polygon(S_{27}, T_{27}, U_{27}, V_{27}, W_{27}, Z_{27}) → poly28, s_{27}, t_{27}, u_{27}, v_{27}, w_{27}, z_{27}
Translate(I''', w_{17}) → A_{28}
Translate(O''', w_{17}) → B_{28}
Translate(N''', w_{17}) → C_{28}
Translate(M''', w_{17}) → D_{28}
Translate(L''', w_{17}) → E_{28}
Translate(K''', w_{17}) → F_{28}
Translate(A'', w_{17}) → A'''_1
Translate(J''', w_{17}) → G_{28}
Polygon(A_{28}, B_{28}, C_{28}, D_{28}, E_{28}, F_{28}, A'''_1, G_{28}) → poly2'''_1, a_{28}, b_{28}, c_{28}, d_{28}, e_{28}, f_{28}, a'''_1, g_{28}
Translate(R''', w_{17}) → H_{28}
Translate(Q''', w_{17}) → I_{28}
Translate(M_3, w_{17}) → J_{28}
Translate(N_3, w_{17}) → K_{28}
Translate(O_3, w_{17}) → L_{28}
Translate(R_3, w_{17}) → M_{28}
Translate(S_3, w_{17}) → N_{28}
Polygon(H_{28}, I_{28}, J_{28}, K_{28}, L_{28}, M_{28}, N_{28}) → poly3'''_1, h_{28}, i_{28}, j_{28}, k_{28}, l_{28}, m_{28}, n_{28}
Translate(T_3, w_{17}) → O_{28}
Translate(U_3, w_{17}) → P_{28}
Translate(V_3, w_{17}) → Q_{28}
Polygon(O_{28}, P_{28}, Q_{28}) → poly4'''_1, q_{28}, o_{28}, p_{28}
Translate(W_3, w_{17}) → R_{28}
Translate(G_4, w_{17}) → S_{28}
Translate(H_4, w_{17}) → T_{28}
Translate(I_4, w_{17}) → U_{28}
Translate(J_4, w_{17}) → V_{28}
Translate(K_4, w_{17}) → W_{28}
Translate(F''', w_{17}) → Z_{28}
Translate(E''', w_{17}) → A_{29}
Polygon(R_{28}, S_{28}, T_{28}, U_{28}, V_{28}, W_{28}, Z_{28}, A_{29}) → poly5'''_1, r_{28}, s_{28}, t_{28}, u_{28}, v_{28}, w_{28}, z_{28}, a_{29}
Translate(L_4, w_{17}) → B_{29}
Translate(M_4, w_{17}) → C_{29}
Translate(N_4, w_{17}) → D_{29}
Translate(O_4, w_{17}) → E_{29}
Translate(Z'', w_{17}) → Z'''_1
Translate(P_4, w_{17}) → F_{29}
Translate(Q_4, w_{17}) → G_{29}
Translate(R_4, w_{17}) → H_{29}
Translate(S_4, w_{17}) → I_{29}
Translate(T_4, w_{17}) → J_{29}
Translate(P''', w_{17}) → K_{29}
Translate(U_4, w_{17}) → L_{29}
Translate(V_4, w_{17}) → M_{29}
Translate(W_4, w_{17}) → N_{29}
Translate(Z_4, w_{17}) → O_{29}
Translate(A_5, w_{17}) → P_{29}
Translate(B_5, w_{17}) → Q_{29}
Translate(C_5, w_{17}) → R_{29}
Polygon(B_{29}, C_{29}, K_{29}, L_{29}, M_{29}, N_{29}, O_{29}, P_{29}, Q_{29}, R_{29}, D_{29}, E_{29}, Z'''_1, F_{29}, G_{29}, H_{29}, I_{29}, J_{29}) → poly6'''_1, b_{29}, j_{29}, k_{29}, l_{29}, m_{29}, n_{29}, o_{29}, p_{29}, q_{29}, r_{29}, c_{29}, d_{29}, e_{29}, z'''_1, f_{29}, g_{29}, h_{29}, i_{29}
Translate(D_5, w_{17}) → S_{29}
Translate(E_5, w_{17}) → T_{29}
Translate(F_5, w_{17}) → U_{29}
Translate(G_5, w_{17}) → V_{29}
Translate(H_5, w_{17}) → W_{29}
Translate(W'', w_{17}) → W'''_1
Translate(V'', w_{17}) → V'''_1
Translate(U'', w_{17}) → U'''_1
Translate(I_5, w_{17}) → Z_{29}
Translate(J_5, w_{17}) → A_{30}
Polygon(S_{29}, T_{29}, U_{29}, V_{29}, W_{29}, W'''_1, V'''_1, U'''_1, Z_{29}, A_{30}) → poly7'''_1, s_{29}, a_{30}, t_{29}, u_{29}, v_{29}, w_{29}, w'''_1, v'''_1, u'''_1, z_{29}
Translate(K_5, w_{17}) → B_{30}
Translate(L_5, w_{17}) → C_{30}
Translate(M_5, w_{17}) → D_{30}
Translate(N_5, w_{17}) → E_{30}
Translate(O_5, w_{17}) → F_{30}
Translate(P_5, w_{17}) → G_{30}
Translate(Q_5, w_{17}) → H_{30}
Translate(R_5, w_{17}) → I_{30}
Polygon(B_{30}, C_{30}, D_{30}, E_{30}, F_{30}, G_{30}, H_{30}, I_{30}) → poly8'''_1, b_{30}, c_{30}, d_{30}, e_{30}, f_{30}, g_{30}, h_{30}, i_{30}
Translate(S_5, w_{17}) → J_{30}
Translate(T_5, w_{17}) → K_{30}
Translate(U_5, w_{17}) → L_{30}
Translate(V_5, w_{17}) → M_{30}
Translate(W_5, w_{17}) → N_{30}
Translate(Z_5, w_{17}) → O_{30}
Translate(A_6, w_{17}) → P_{30}
Translate(B_6, w_{17}) → Q_{30}
Polygon(J_{30}, K_{30}, L_{30}, M_{30}, N_{30}, O_{30}, P_{30}, Q_{30}) → poly9'''_1, j_{30}, k_{30}, l_{30}, m_{30}, n_{30}, o_{30}, p_{30}, q_{30}
Translate(C_6, w_{17}) → R_{30}
Translate(D_6, w_{17}) → S_{30}
Translate(E_6, w_{17}) → T_{30}
Translate(F_6, w_{17}) → U_{30}
Translate(H''', w_{17}) → V_{30}
Translate(G''', w_{17}) → W_{30}
Polygon(R_{30}, S_{30}, T_{30}, U_{30}, V_{30}, W_{30}) → poly10'''_1, r_{30}, s_{30}, t_{30}, u_{30}, v_{30}, w_{30}
Translate(I''_7, w_{17}) → Z_{30}
Translate(O''_4, w_{17}) → A_{31}
Translate(N''_2, w_{17}) → B_{31}
Translate(M''_2, w_{17}) → C_{31}
Translate(L''_2, w_{17}) → D_{31}
Translate(K''_2, w_{17}) → E_{31}
Translate(A'_2, w_{17}) → F_{31}
Translate(J''_2, w_{17}) → G_{31}
Polygon(Z_{30}, A_{31}, B_{31}, C_{31}, D_{31}, E_{31}, F_{31}, G_{31}) → poly29, z_{30}, a_{31}, b_{31}, c_{31}, d_{31}, e_{31}, f_{31}, g_{31}
Translate(R''_2, w_{17}) → H_{31}
Translate(Q''_4, w_{17}) → I_{31}
Translate(G'_8, w_{17}) → J_{31}
Translate(H'_4, w_{17}) → K_{31}
Translate(I'_4, w_{17}) → L_{31}
Translate(J'_4, w_{17}) → M_{31}
Translate(B'_6, w_{17}) → N_{31}
Polygon(H_{31}, I_{31}, J_{31}, K_{31}, L_{31}, M_{31}, N_{31}) → poly30, h_{31}, i_{31}, j_{31}, k_{31}, l_{31}, m_{31}, n_{31}
Translate(O'_4, w_{17}) → O_{31}
Translate(P'_8, w_{17}) → P_{31}
Translate(N'_6, w_{17}) → Q_{31}
Polygon(O_{31}, P_{31}, Q_{31}) → poly31, q_{31}, o_{31}, p_{31}
Translate(D'_8, w_{17}) → R_{31}
Translate(K'_6, w_{17}) → S_{31}
Translate(L'_6, w_{17}) → T_{31}
Translate(M'_8, w_{17}) → U_{31}
Translate(H_6, w_{17}) → V_{31}
Translate(I_6, w_{17}) → W_{31}
Translate(F''_7, w_{17}) → Z_{31}
Translate(E''_3, w_{17}) → A_{32}
Polygon(R_{31}, S_{31}, T_{31}, U_{31}, V_{31}, W_{31}, Z_{31}, A_{32}) → poly32, r_{31}, s_{31}, t_{31}, u_{31}, v_{31}, w_{31}, z_{31}, a_{32}
Translate(M'_9, w_{17}) → B_{32}
Translate(J_6, w_{17}) → C_{32}
Translate(K_6, w_{17}) → D_{32}
Translate(L_6, w_{17}) → E_{32}
Translate(Z'_8, w_{17}) → F_{32}
Translate(M_6, w_{17}) → G_{32}
Translate(P_6, w_{17}) → H_{32}
Translate(Q_6, w_{17}) → I_{32}
Translate(G'_9, w_{17}) → J_{32}
Translate(Q''_5, w_{17}) → K_{32}
Translate(P''_2, w_{17}) → L_{32}
Translate(O''_5, w_{17}) → M_{32}
Translate(I''_8, w_{17}) → N_{32}
Translate(R_6, w_{17}) → O_{32}
Translate(S_6, w_{17}) → P_{32}
Translate(F''_8, w_{17}) → Q_{32}
Translate(T_6, w_{17}) → R_{32}
Translate(U_6, w_{17}) → S_{32}
Polygon(B_{32}, C_{32}, L_{32}, M_{32}, N_{32}, O_{32}, P_{32}, Q_{32}, R_{32}, S_{32}, D_{32}, E_{32}, F_{32}, G_{32}, H_{32}, I_{32}, J_{32}, K_{32}) → poly33, b_{32}, k_{32}, l_{32}, m_{32}, n_{32}, o_{32}, p_{32}, q_{32}, r_{32}, s_{32}, c_{32}, d_{32}, e_{32}, f_{32}, g_{32}, h_{32}, i_{32}, j_{32}
Translate(M'_{10}, w_{17}) → T_{32}
Translate(V_6, w_{17}) → U_{32}
Translate(W_6, w_{17}) → V_{32}
Translate(A_7, w_{17}) → W_{32}
Translate(Z'_9, w_{17}) → Z_{32}
Translate(W'_4, w_{17}) → A_{33}
Translate(V'_4, w_{17}) → B_{33}
Translate(U'_4, w_{17}) → C_{33}
Translate(P'_9, w_{17}) → D_{33}
Translate(N'_7, w_{17}) → E_{33}
Polygon(T_{32}, U_{32}, V_{32}, W_{32}, Z_{32}, A_{33}, B_{33}, C_{33}, D_{33}, E_{33}) → poly34, t_{32}, e_{33}, u_{32}, v_{32}, w_{32}, z_{32}, a_{33}, b_{33}, c_{33}, d_{33}
Translate(C'_{16}, w_{17}) → F_{33}
Translate(Z'_{10}, w_{17}) → G_{33}
Translate(W'_5, w_{17}) → H_{33}
Translate(V'_5, w_{17}) → I_{33}
Translate(U'_5, w_{17}) → J_{33}
Translate(P'_{10}, w_{17}) → K_{33}
Translate(Q'_4, w_{17}) → L_{33}
Translate(R'_4, w_{17}) → M_{33}
Polygon(F_{33}, G_{33}, H_{33}, I_{33}, J_{33}, K_{33}, L_{33}, M_{33}) → poly35, f_{33}, g_{33}, h_{33}, i_{33}, j_{33}, k_{33}, l_{33}, m_{33}
Translate(Z'_{11}, w_{17}) → N_{33}
Translate(C'_{17}, w_{17}) → O_{33}
Translate(E'_4, w_{17}) → P_{33}
Translate(F'_4, w_{17}) → Q_{33}
Translate(G'_{10}, w_{17}) → R_{33}
Translate(B_7, w_{17}) → S_{33}
Translate(C_7, w_{17}) → T_{33}
Translate(D_7, w_{17}) → U_{33}
Polygon(N_{33}, O_{33}, P_{33}, Q_{33}, R_{33}, S_{33}, T_{33}, U_{33}) → poly36, n_{33}, o_{33}, p_{33}, q_{33}, r_{33}, s_{33}, t_{33}, u_{33}
Translate(F''_9, w_{17}) → V_{33}
Translate(E_7, w_{17}) → W_{33}
Translate(F_7, w_{17}) → Z_{33}
Translate(I''_9, w_{17}) → A_{34}
Translate(H''_2, w_{17}) → B_{34}
Translate(G''_2, w_{17}) → C_{34}
Polygon(V_{33}, W_{33}, Z_{33}, A_{34}, B_{34}, C_{34}) → poly37, v_{33}, w_{33}, z_{33}, a_{34}, b_{34}, c_{34}
Translate(I'''_1, w_{17}) → D_{34}
Translate(O'''_1, w_{17}) → E_{34}
Translate(N'''_1, w_{17}) → F_{34}
Translate(M'''_1, w_{17}) → G_{34}
Translate(L'''_1, w_{17}) → H_{34}
Translate(K'''_1, w_{17}) → I_{34}
Translate(A''_1, w_{17}) → J_{34}
Translate(J'''_1, w_{17}) → K_{34}
Polygon(D_{34}, E_{34}, F_{34}, G_{34}, H_{34}, I_{34}, J_{34}, K_{34}) → poly38, d_{34}, e_{34}, f_{34}, g_{34}, h_{34}, i_{34}, j_{34}, k_{34}
Translate(R'''_1, w_{17}) → L_{34}
Translate(Q'''_1, w_{17}) → M_{34}
Translate(G_7, w_{17}) → N_{34}
Translate(H_7, w_{17}) → O_{34}
Translate(I_7, w_{17}) → P_{34}
Translate(J_7, w_{17}) → Q_{34}
Translate(K_7, w_{17}) → R_{34}
Polygon(L_{34}, M_{34}, N_{34}, O_{34}, P_{34}, Q_{34}, R_{34}) → poly39, l_{34}, m_{34}, n_{34}, o_{34}, p_{34}, q_{34}, r_{34}
Translate(L_7, w_{17}) → S_{34}
Translate(M_7, w_{17}) → T_{34}
Translate(N_7, w_{17}) → U_{34}
Polygon(S_{34}, T_{34}, U_{34}) → poly40, u_{34}, s_{34}, t_{34}
Translate(O_7, w_{17}) → V_{34}
Translate(P_7, w_{17}) → W_{34}
Translate(Q_7, w_{17}) → Z_{34}
Translate(R_7, w_{17}) → A_{35}
Translate(S_7, w_{17}) → B_{35}
Translate(T_7, w_{17}) → C_{35}
Translate(F'''_1, w_{17}) → D_{35}
Translate(E'''_1, w_{17}) → E_{35}
Polygon(V_{34}, W_{34}, Z_{34}, A_{35}, B_{35}, C_{35}, D_{35}, E_{35}) → poly41, v_{34}, w_{34}, z_{34}, a_{35}, b_{35}, c_{35}, d_{35}, e_{35}
Translate(Z_7, w_{17}) → F_{35}
Translate(D_8, w_{17}) → G_{35}
Translate(N_8, w_{17}) → H_{35}
Translate(D_9, w_{17}) → I_{35}
Translate(Z''_1, w_{17}) → J_{35}
Translate(E_9, w_{17}) → K_{35}
Translate(F_9, w_{17}) → L_{35}
Translate(G_9, w_{17}) → M_{35}
Translate(H_9, w_{17}) → N_{35}
Translate(I_9, w_{17}) → O_{35}
Translate(P'''_1, w_{17}) → P_{35}
Translate(J_9, w_{17}) → Q_{35}
Translate(K_9, w_{17}) → R_{35}
Translate(L_9, w_{17}) → S_{35}
Translate(M_9, w_{17}) → T_{35}
Translate(N_9, w_{17}) → U_{35}
Translate(O_9, w_{17}) → V_{35}
Translate(P_9, w_{17}) → W_{35}
Polygon(F_{35}, G_{35}, P_{35}, Q_{35}, R_{35}, S_{35}, T_{35}, U_{35}, V_{35}, W_{35}, H_{35}, I_{35}, J_{35}, K_{35}, L_{35}, M_{35}, N_{35}, O_{35}) → poly42, f_{35}, o_{35}, p_{35}, q_{35}, r_{35}, s_{35}, t_{35}, u_{35}, v_{35}, w_{35}, g_{35}, h_{35}, i_{35}, j_{35}, k_{35}, l_{35}, m_{35}, n_{35}
Translate(Q_9, w_{17}) → Z_{35}
Translate(R_9, w_{17}) → A_{36}
Translate(S_9, w_{17}) → B_{36}
Translate(T_9, w_{17}) → C_{36}
Translate(U_9, w_{17}) → D_{36}
Translate(W''_1, w_{17}) → E_{36}
Translate(V''_1, w_{17}) → F_{36}
Translate(U''_1, w_{17}) → G_{36}
Translate(V_9, w_{17}) → H_{36}
Translate(W_9, w_{17}) → I_{36}
Polygon(Z_{35}, A_{36}, B_{36}, C_{36}, D_{36}, E_{36}, F_{36}, G_{36}, H_{36}, I_{36}) → poly43, z_{35}, i_{36}, a_{36}, b_{36}, c_{36}, d_{36}, e_{36}, f_{36}, g_{36}, h_{36}
Translate(Z_9, w_{17}) → J_{36}
Translate(A_{10}, w_{17}) → K_{36}
Translate(B_{10}, w_{17}) → L_{36}
Translate(C_{10}, w_{17}) → M_{36}
Translate(D_{10}, w_{17}) → N_{36}
Translate(E_{10}, w_{17}) → O_{36}
Translate(F_{10}, w_{17}) → P_{36}
Translate(G_{10}, w_{17}) → Q_{36}
Polygon(J_{36}, K_{36}, L_{36}, M_{36}, N_{36}, O_{36}, P_{36}, Q_{36}) → poly44, j_{36}, k_{36}, l_{36}, m_{36}, n_{36}, o_{36}, p_{36}, q_{36}
Translate(H_{10}, w_{17}) → R_{36}
Translate(I_{10}, w_{17}) → S_{36}
Translate(J_{10}, w_{17}) → T_{36}
Translate(K_{10}, w_{17}) → U_{36}
Translate(L_{10}, w_{17}) → V_{36}
Translate(M_{10}, w_{17}) → W_{36}
Translate(N_{10}, w_{17}) → Z_{36}
Translate(O_{10}, w_{17}) → A_{37}
Polygon(R_{36}, S_{36}, T_{36}, U_{36}, V_{36}, W_{36}, Z_{36}, A_{37}) → poly45, r_{36}, s_{36}, t_{36}, u_{36}, v_{36}, w_{36}, z_{36}, a_{37}
Translate(P_{10}, w_{17}) → B_{37}
Translate(Q_{10}, w_{17}) → C_{37}
Translate(R_{10}, w_{17}) → D_{37}
Translate(S_{10}, w_{17}) → E_{37}
Translate(H'''_1, w_{17}) → F_{37}
Translate(G'''_1, w_{17}) → G_{37}
Polygon(B_{37}, C_{37}, D_{37}, E_{37}, F_{37}, G_{37}) → poly46, b_{37}, c_{37}, d_{37}, e_{37}, f_{37}, g_{37}
Translate(T_{10}, w_{17}) → H_{37}
Translate(U_{10}, w_{17}) → I_{37}
Translate(V_{10}, w_{17}) → J_{37}
Translate(W_{10}, w_{17}) → K_{37}
Translate(Z_{10}, w_{17}) → L_{37}
Translate(A_{11}, w_{17}) → M_{37}
Translate(B_{11}, w_{17}) → N_{37}
Translate(C_{11}, w_{17}) → O_{37}
Polygon(H_{37}, I_{37}, J_{37}, K_{37}, L_{37}, M_{37}, N_{37}, O_{37}) → poly11', h_{37}, i_{37}, j_{37}, k_{37}, l_{37}, m_{37}, n_{37}, o_{37}
Translate(D_{11}, w_{17}) → P_{37}
Translate(E_{11}, w_{17}) → Q_{37}
Translate(F_{11}, w_{17}) → R_{37}
Translate(G_{11}, w_{17}) → S_{37}
Translate(H_{11}, w_{17}) → T_{37}
Translate(I_{11}, w_{17}) → U_{37}
Translate(J_{11}, w_{17}) → V_{37}
Polygon(P_{37}, Q_{37}, R_{37}, S_{37}, T_{37}, U_{37}, V_{37}) → poly12', p_{37}, q_{37}, r_{37}, s_{37}, t_{37}, u_{37}, v_{37}
Translate(K_{11}, w_{17}) → W_{37}
Translate(L_{11}, w_{17}) → Z_{37}
Translate(M_{11}, w_{17}) → A_{38}
Polygon(W_{37}, Z_{37}, A_{38}) → poly13', a_{38}, w_{37}, z_{37}
Translate(N_{11}, w_{17}) → B_{38}
Translate(O_{11}, w_{17}) → C_{38}
Translate(P_{11}, w_{17}) → D_{38}
Translate(Q_{11}, w_{17}) → E_{38}
Translate(R_{11}, w_{17}) → F_{38}
Translate(S_{11}, w_{17}) → G_{38}
Translate(T_{11}, w_{17}) → H_{38}
Translate(U_{11}, w_{17}) → I_{38}
Polygon(B_{38}, C_{38}, D_{38}, E_{38}, F_{38}, G_{38}, H_{38}, I_{38}) → poly14', b_{38}, c_{38}, d_{38}, e_{38}, f_{38}, g_{38}, h_{38}, i_{38}
Translate(V_{11}, w_{17}) → J_{38}
Translate(W_{11}, w_{17}) → K_{38}
Translate(Z_{11}, w_{17}) → L_{38}
Translate(A_{12}, w_{17}) → M_{38}
Translate(B_{12}, w_{17}) → N_{38}
Translate(C_{12}, w_{17}) → O_{38}
Translate(D_{12}, w_{17}) → P_{38}
Translate(E_{12}, w_{17}) → Q_{38}
Translate(F_{12}, w_{17}) → R_{38}
Translate(G_{12}, w_{17}) → S_{38}
Translate(H_{12}, w_{17}) → T_{38}
Translate(I_{12}, w_{17}) → U_{38}
Translate(J_{12}, w_{17}) → V_{38}
Translate(K_{12}, w_{17}) → W_{38}
Translate(L_{12}, w_{17}) → Z_{38}
Translate(M_{12}, w_{17}) → A_{39}
Translate(N_{12}, w_{17}) → B_{39}
Translate(O_{12}, w_{17}) → C_{39}
Polygon(J_{38}, K_{38}, T_{38}, U_{38}, V_{38}, W_{38}, Z_{38}, A_{39}, B_{39}, C_{39}, L_{38}, M_{38}, N_{38}, O_{38}, P_{38}, Q_{38}, R_{38}, S_{38}) → poly15', j_{38}, s_{38}, t_{38}, u_{38}, v_{38}, w_{38}, z_{38}, a_{39}, b_{39}, c_{39}, k_{38}, l_{38}, m_{38}, n_{38}, o_{38}, p_{38}, q_{38}, r_{38}
Translate(P_{12}, w_{17}) → D_{39}
Translate(Q_{12}, w_{17}) → E_{39}
Translate(R_{12}, w_{17}) → F_{39}
Translate(S_{12}, w_{17}) → G_{39}
Translate(T_{12}, w_{17}) → H_{39}
Translate(U_{12}, w_{17}) → I_{39}
Translate(V_{12}, w_{17}) → J_{39}
Translate(W_{12}, w_{17}) → K_{39}
Translate(Z_{12}, w_{17}) → L_{39}
Translate(A_{13}, w_{17}) → M_{39}
Polygon(D_{39}, E_{39}, F_{39}, G_{39}, H_{39}, I_{39}, J_{39}, K_{39}, L_{39}, M_{39}) → poly16', d_{39}, m_{39}, e_{39}, f_{39}, g_{39}, h_{39}, i_{39}, j_{39}, k_{39}, l_{39}
Translate(B_{13}, w_{17}) → N_{39}
Translate(C_{13}, w_{17}) → O_{39}
Translate(D_{13}, w_{17}) → P_{39}
Translate(E_{13}, w_{17}) → Q_{39}
Translate(F_{13}, w_{17}) → R_{39}
Translate(G_{13}, w_{17}) → S_{39}
Translate(H_{13}, w_{17}) → T_{39}
Translate(I_{13}, w_{17}) → U_{39}
Polygon(N_{39}, O_{39}, P_{39}, Q_{39}, R_{39}, S_{39}, T_{39}, U_{39}) → poly17', n_{39}, o_{39}, p_{39}, q_{39}, r_{39}, s_{39}, t_{39}, u_{39}
Translate(J_{13}, w_{17}) → V_{39}
Translate(K_{13}, w_{17}) → W_{39}
Translate(L_{13}, w_{17}) → Z_{39}
Translate(M_{13}, w_{17}) → A_{40}
Translate(N_{13}, w_{17}) → B_{40}
Translate(O_{13}, w_{17}) → C_{40}
Translate(P_{13}, w_{17}) → D_{40}
Translate(Q_{13}, w_{17}) → E_{40}
Polygon(V_{39}, W_{39}, Z_{39}, A_{40}, B_{40}, C_{40}, D_{40}, E_{40}) → poly18', v_{39}, w_{39}, z_{39}, a_{40}, b_{40}, c_{40}, d_{40}, e_{40}
Translate(R_{13}, w_{17}) → F_{40}
Translate(S_{13}, w_{17}) → G_{40}
Translate(T_{13}, w_{17}) → H_{40}
Translate(U_{13}, w_{17}) → I_{40}
Translate(V_{13}, w_{17}) → J_{40}
Translate(W_{13}, w_{17}) → K_{40}
Polygon(F_{40}, G_{40}, H_{40}, I_{40}, J_{40}, K_{40}) → poly19', f_{40}, g_{40}, h_{40}, i_{40}, j_{40}, k_{40}
Translate(Z_{13}, w_{17}) → L_{40}
Translate(A_{14}, w_{17}) → M_{40}
Translate(B_{14}, w_{17}) → N_{40}
Translate(C_{14}, w_{17}) → O_{40}
Translate(D_{14}, w_{17}) → P_{40}
Translate(E_{14}, w_{17}) → Q_{40}
Translate(A''', w_{17}) → R_{40}
Translate(F_{14}, w_{17}) → S_{40}
Polygon(L_{40}, M_{40}, N_{40}, O_{40}, P_{40}, Q_{40}, R_{40}, S_{40}) → poly47, l_{40}, m_{40}, n_{40}, o_{40}, p_{40}, q_{40}, r_{40}, s_{40}
Translate(G_{14}, w_{17}) → T_{40}
Translate(H_{14}, w_{17}) → U_{40}
Translate(I_{14}, w_{17}) → V_{40}
Translate(J_{14}, w_{17}) → W_{40}
Translate(K_{14}, w_{17}) → Z_{40}
Translate(L_{14}, w_{17}) → A_{41}
Translate(M_{14}, w_{17}) → B_{41}
Polygon(T_{40}, U_{40}, V_{40}, W_{40}, Z_{40}, A_{41}, B_{41}) → poly48, t_{40}, u_{40}, v_{40}, w_{40}, z_{40}, a_{41}, b_{41}
Translate(N_{14}, w_{17}) → C_{41}
Translate(O_{14}, w_{17}) → D_{41}
Translate(P_{14}, w_{17}) → E_{41}
Polygon(C_{41}, D_{41}, E_{41}) → poly49, e_{41}, c_{41}, d_{41}
Translate(Q_{14}, w_{17}) → F_{41}
Translate(R_{14}, w_{17}) → G_{41}
Translate(S_{14}, w_{17}) → H_{41}
Translate(T_{14}, w_{17}) → I_{41}
Translate(U_{14}, w_{17}) → J_{41}
Translate(V_{14}, w_{17}) → K_{41}
Translate(W_{14}, w_{17}) → L_{41}
Translate(Z_{14}, w_{17}) → M_{41}
Polygon(F_{41}, G_{41}, H_{41}, I_{41}, J_{41}, K_{41}, L_{41}, M_{41}) → poly50, f_{41}, g_{41}, h_{41}, i_{41}, j_{41}, k_{41}, l_{41}, m_{41}
Translate(A_{15}, w_{17}) → N_{41}
Translate(B_{15}, w_{17}) → O_{41}
Translate(C_{15}, w_{17}) → P_{41}
Translate(D_{15}, w_{17}) → Q_{41}
Translate(Z''', w_{17}) → R_{41}
Translate(E_{15}, w_{17}) → S_{41}
Translate(F_{15}, w_{17}) → T_{41}
Translate(G_{15}, w_{17}) → U_{41}
Translate(H_{15}, w_{17}) → V_{41}
Translate(I_{15}, w_{17}) → W_{41}
Translate(J_{15}, w_{17}) → Z_{41}
Translate(K_{15}, w_{17}) → A_{42}
Translate(L_{15}, w_{17}) → B_{42}
Translate(M_{15}, w_{17}) → C_{42}
Translate(N_{15}, w_{17}) → D_{42}
Translate(O_{15}, w_{17}) → E_{42}
Translate(P_{15}, w_{17}) → F_{42}
Translate(Q_{15}, w_{17}) → G_{42}
Polygon(N_{41}, O_{41}, Z_{41}, A_{42}, B_{42}, C_{42}, D_{42}, E_{42}, F_{42}, G_{42}, P_{41}, Q_{41}, R_{41}, S_{41}, T_{41}, U_{41}, V_{41}, W_{41}) → poly51, n_{41}, w_{41}, z_{41}, a_{42}, b_{42}, c_{42}, d_{42}, e_{42}, f_{42}, g_{42}, o_{41}, p_{41}, q_{41}, r_{41}, s_{41}, t_{41}, u_{41}, v_{41}
Translate(R_{15}, w_{17}) → H_{42}
Translate(S_{15}, w_{17}) → I_{42}
Translate(T_{15}, w_{17}) → J_{42}
Translate(U_{15}, w_{17}) → K_{42}
Translate(V_{15}, w_{17}) → L_{42}
Translate(W''', w_{17}) → M_{42}
Translate(V''', w_{17}) → N_{42}
Translate(U''', w_{17}) → O_{42}
Translate(W_{15}, w_{17}) → P_{42}
Translate(Z_{15}, w_{17}) → Q_{42}
Polygon(H_{42}, I_{42}, J_{42}, K_{42}, L_{42}, M_{42}, N_{42}, O_{42}, P_{42}, Q_{42}) → poly52, h_{42}, q_{42}, i_{42}, j_{42}, k_{42}, l_{42}, m_{42}, n_{42}, o_{42}, p_{42}
Translate(A_{16}, w_{17}) → R_{42}
Translate(B_{16}, w_{17}) → S_{42}
Translate(C_{16}, w_{17}) → T_{42}
Translate(D_{16}, w_{17}) → U_{42}
Translate(E_{16}, w_{17}) → V_{42}
Translate(F_{16}, w_{17}) → W_{42}
Translate(G_{16}, w_{17}) → Z_{42}
Translate(H_{16}, w_{17}) → A_{43}
Polygon(R_{42}, S_{42}, T_{42}, U_{42}, V_{42}, W_{42}, Z_{42}, A_{43}) → poly53, r_{42}, s_{42}, t_{42}, u_{42}, v_{42}, w_{42}, z_{42}, a_{43}
Translate(I_{16}, w_{17}) → B_{43}
Translate(J_{16}, w_{17}) → C_{43}
Translate(K_{16}, w_{17}) → D_{43}
Translate(L_{16}, w_{17}) → E_{43}
Translate(M_{16}, w_{17}) → F_{43}
Translate(N_{16}, w_{17}) → G_{43}
Translate(O_{16}, w_{17}) → H_{43}
Translate(P_{16}, w_{17}) → I_{43}
Polygon(B_{43}, C_{43}, D_{43}, E_{43}, F_{43}, G_{43}, H_{43}, I_{43}) → poly54, b_{43}, c_{43}, d_{43}, e_{43}, f_{43}, g_{43}, h_{43}, i_{43}
Translate(Q_{16}, w_{17}) → J_{43}
Translate(R_{16}, w_{17}) → K_{43}
Translate(S_{16}, w_{17}) → L_{43}
Translate(T_{16}, w_{17}) → M_{43}
Translate(U_{16}, w_{17}) → N_{43}
Translate(V_{16}, w_{17}) → O_{43}
Polygon(J_{43}, K_{43}, L_{43}, M_{43}, N_{43}, O_{43}) → poly55, j_{43}, k_{43}, l_{43}, m_{43}, n_{43}, o_{43}
Translate(C, w_{17}) → C'_{23}
Translate(B, w_{17}) → B'_9
Translate(C'_1, w_{17}) → P_{43}
Translate(B'_1, w_{17}) → W_{43}
Translate(D, w_{17}) → D'_{11}
Translate(C, w_{17}) → C'_{24}
Translate(D'_3, w_{17}) → Z_{43}
Translate(C'_5, w_{17}) → I_{44}
Translate(C, w_{17}) → C'_{25}
Translate(J_2, w_{17}) → F_{45}
Translate(D'_5, w_{17}) → J_{45}
Translate(U_7, w_{17}) → N_{45}
Translate(A_8, w_{17}) → P_{45}
Translate(C'_{18}, w_{17}) → R_{45}
Translate(B'_7, w_{17}) → G_{46}
Translate(W_{16}, w_{17}) → H_{46}
Translate(F_{17}, w_{17}) → U_{46}
Translate(D'_9, w_{17}) → V_{46}
Translate(C'_{19}, w_{17}) → O_{47}
Translate(G_{17}, w_{17}) → P_{47}
Translate(P_{17}, w_{17}) → I_{48}
Translate(C'_{20}, w_{17}) → S_{48}
Translate(M_{18}, w_{17}) → Z_{49}
Translate(Q_{18}, w_{17}) → D_{50}
Translate(U_{18}, w_{17}) → H_{50}
Translate(W_{18}, w_{17}) → J_{50}
Translate(s_2, w_{17}) → z_{17}
Translate(k_3, w_{17}) → u_{18}
Translate(u_8, w_{17}) → v_{18}
Translate(q_6, w_{17}) → w_{18}
Translate(w_{16}, w_{17}) → z_{18}
Translate(z_{16}, w_{17}) → u_{19}
Translate(v_{17}, w_{17}) → v_{19}
Translate(B', w_{17}) → B''_3
Translate(C', w_{17}) → C''_5
Translate(C'_2, w_{17}) → L_{50}
Translate(D', w_{17}) → D''_3
Translate(D'_1, w_{17}) → M_{50}
Translate(C'_3, w_{17}) → N_{50}
Translate(C'', w_{17}) → C'''_3
Translate(S, w_{17}) → S'_3
Translate(C'_4, w_{17}) → O_{50}
Translate(D'_2, w_{17}) → P_{50}
Translate(C''_1, w_{17}) → Q_{50}
Translate(T, w_{17}) → T'_3
Translate(K_1, w_{17}) → R_{50}
Translate(C'_8, w_{17}) → S_{50}
Translate(B'_3, w_{17}) → T_{50}
Translate(Q_2, w_{17}) → V_{50}
Translate(C'_9, w_{17}) → W_{50}
Translate(R_2, w_{17}) → Z_{50}
Translate(C_3, w_{17}) → A_{51}
Translate(C'_{10}, w_{17}) → B_{51}
Translate(B'', w_{17}) → B'''_2
Translate(C''_2, w_{17}) → C_{51}
Translate(Z_3, w_{17}) → D_{51}
Translate(D'', w_{17}) → D'''_2
Translate(A_4, w_{17}) → E_{51}
Translate(B_4, w_{17}) → F_{51}
Translate(C''', w_{17}) → G_{51}
Translate(S', w_{17}) → S''_2
Translate(C_4, w_{17}) → H_{51}
Translate(D_4, w_{17}) → I_{51}
Translate(E_4, w_{17}) → J_{51}
Translate(T', w_{17}) → T''_2
Translate(F_4, w_{17}) → K_{51}
Translate(C'_{13}, w_{17}) → L_{51}
Translate(B'_5, w_{17}) → M_{51}
Translate(G_6, w_{17}) → N_{51}
Translate(N_6, w_{17}) → O_{51}
Translate(D'_7, w_{17}) → P_{51}
Translate(C'_{14}, w_{17}) → Q_{51}
Translate(O_6, w_{17}) → R_{51}
Translate(Z_6, w_{17}) → S_{51}
Translate(C'_{15}, w_{17}) → T_{51}
Translate(B''_1, w_{17}) → U_{51}
Translate(C''_3, w_{17}) → V_{51}
Translate(E_8, w_{17}) → W_{51}
Translate(D''_1, w_{17}) → Z_{51}
Translate(F_8, w_{17}) → A_{52}
Translate(G_8, w_{17}) → B_{52}
Translate(C'''_1, w_{17}) → C_{52}
Translate(S'_1, w_{17}) → D_{52}
Translate(H_8, w_{17}) → E_{52}
Translate(I_8, w_{17}) → F_{52}
Translate(J_8, w_{17}) → G_{52}
Translate(T'_1, w_{17}) → H_{52}
Translate(K_8, w_{17}) → I_{52}
Translate(L_8, w_{17}) → J_{52}
Translate(M_8, w_{17}) → K_{52}
Translate(O_8, w_{17}) → L_{52}
Translate(Q_8, w_{17}) → M_{52}
Translate(R_8, w_{17}) → N_{52}
Translate(B''', w_{17}) → O_{52}
Translate(S_8, w_{17}) → P_{52}
Translate(T_8, w_{17}) → Q_{52}
Translate(D''', w_{17}) → R_{52}
Translate(U_8, w_{17}) → S_{52}
Translate(V_8, w_{17}) → T_{52}
Translate(W_8, w_{17}) → U_{52}
Translate(S'', w_{17}) → S'''_1
Translate(Z_8, w_{17}) → V_{52}
Translate(A_9, w_{17}) → W_{52}
Translate(B_9, w_{17}) → Z_{52}
Translate(T'', w_{17}) → T'''_1
Translate(C_9, w_{17}) → A_{53}
Translate(B''_2, w_{17}) → B_{53}
Translate(C''_4, w_{17}) → C_{53}
Translate(A_{19}, w_{17}) → D_{53}
Translate(D''_2, w_{17}) → E_{53}
Translate(B_{19}, w_{17}) → F_{53}
Translate(C_{19}, w_{17}) → G_{53}
Translate(C'''_2, w_{17}) → H_{53}
Translate(S'_2, w_{17}) → I_{53}
Translate(D_{19}, w_{17}) → J_{53}
Translate(E_{19}, w_{17}) → K_{53}
Translate(F_{19}, w_{17}) → L_{53}
Translate(T'_2, w_{17}) → M_{53}
Translate(G_{19}, w_{17}) → N_{53}
Translate(H_{19}, w_{17}) → O_{53}
Translate(I_{19}, w_{17}) → P_{53}
Translate(K_{19}, w_{17}) → R_{53}
Translate(L_{19}, w_{17}) → S_{53}
Translate(M_{19}, w_{17}) → T_{53}
Translate(N_{19}, w_{17}) → U_{53}
Translate(O_{19}, w_{17}) → V_{53}
Translate(B'''_1, w_{17}) → W_{53}
Translate(P_{19}, w_{17}) → Z_{53}
Translate(Q_{19}, w_{17}) → A_{54}
Translate(D'''_1, w_{17}) → B_{54}
Translate(R_{19}, w_{17}) → C_{54}
Translate(S_{19}, w_{17}) → D_{54}
Translate(T_{19}, w_{17}) → E_{54}
Translate(S''_1, w_{17}) → F_{54}
Translate(U_{19}, w_{17}) → G_{54}
Translate(V_{19}, w_{17}) → H_{54}
Translate(W_{19}, w_{17}) → I_{54}
Translate(T''_1, w_{17}) → J_{54}
Translate(Z_{19}, w_{17}) → K_{54}
Translate(A_{20}, w_{17}) → L_{54}
Translate(B_{20}, w_{17}) → M_{54}
Translate(C_{20}, w_{17}) → N_{54}
Translate(D_{20}, w_{17}) → O_{54}
Translate(E_{20}, w_{17}) → P_{54}
Translate(F_{20}, w_{17}) → Q_{54}
Translate(G_{20}, w_{17}) → R_{54}
Translate(H_{20}, w_{17}) → S_{54}
Translate(I_{20}, w_{17}) → T_{54}
Translate(J_{20}, w_{17}) → U_{54}
Translate(K_{20}, w_{17}) → V_{54}
Translate(L_{20}, w_{17}) → W_{54}
Translate(M_{20}, w_{17}) → Z_{54}
Translate(N_{20}, w_{17}) → A_{55}
Translate(O_{20}, w_{17}) → B_{55}
Translate(P_{20}, w_{17}) → C_{55}
Translate(Q_{20}, w_{17}) → D_{55}
Translate(R_{20}, w_{17}) → E_{55}
Translate(S_{20}, w_{17}) → F_{55}
Translate(T_{20}, w_{17}) → G_{55}
Translate(U_{20}, w_{17}) → H_{55}
Translate(V_{20}, w_{17}) → I_{55}
Translate(W_{20}, w_{17}) → J_{55}
Translate(Z_{20}, w_{17}) → K_{55}
Translate(A_{21}, w_{17}) → L_{55}
Translate(B_{21}, w_{17}) → M_{55}
Translate(C_{21}, w_{17}) → N_{55}
Translate(D_{21}, w_{17}) → O_{55}
Translate(E_{21}, w_{17}) → P_{55}
Translate(F_{21}, w_{17}) → Q_{55}
Translate(G_{21}, w_{17}) → R_{55}
Translate(H_{21}, w_{17}) → S_{55}
Translate(I_{21}, w_{17}) → T_{55}
Translate(J_{21}, w_{17}) → U_{55}
Translate(K_{21}, w_{17}) → V_{55}
Translate(S''', w_{17}) → W_{55}
Translate(L_{21}, w_{17}) → Z_{55}
Translate(M_{21}, w_{17}) → A_{56}
Translate(N_{21}, w_{17}) → B_{56}
Translate(T''', w_{17}) → C_{56}
Translate(O_{21}, w_{17}) → D_{56}
Translate(P_8, u_{19}) → E_{56}

AI Drawing Prompt Reference

Draw a dynamic trapezoid sequence to demonstrate the construction and evolution of trapezoids, illustrating fractal geometry principles. Start with a base trapezoid, then generate a series of smaller trapezoids by translating it using a vector. Connect the corresponding vertices of these trapezoids to form a continuous sequence. Highlight the translation vector's role and the connections between new trapezoids, creating a complex fractal pattern that clearly shows trapezoid properties, sequence generation, and triangle congruence.

The prompt above was compiled from the original drawing commands and is for reference only.