平移 tessellation 第13步

几何画板及绘图内容加载中，请稍等……

2014-03-28 10:18

多边形变换几何作图

所属专题 Translation Tesselation

这个范例演示了如何通过平移操作构建 tessellation 图形。涉及的核心数学概念包括向量、多边形和几何变换。作图要点使用了 GeoGebra 命令如 Polygon（多边形）、Segment（线段）、Vector（向量）、Translate（平移）、Intersect（交点）、Point（点）、Circle（圆）等对象。适合高中数学教学，用于理解几何变换和 tessellation 的构造方法。

GeoGebra 命令及参数

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

AI 绘图提示语参考

画一个四边形，然后从其中一个顶点出发画四条线段，连接到对边上的点，形成闭合图形。接着，用向量表示从一个顶点到对角顶点的方向，并以此向量平移四边形，创建多个副本。最后，用平移向量的另一方向平移这些副本，形成复杂的几何图案，展示平移变换的规律。

以上提示语为根据原始绘图命令整理而来，仅供参考。