椭圆与函数的几何作图

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

2017-03-29 07:40

函数解析几何

所属专题 Tessellations

本范例演示了如何使用GeoGebra绘制椭圆和函数图形。核心数学概念包括椭圆的几何性质和函数的图像表示。通过使用Segment, OrthogonalLine, Point, Intersect, Vector, Translate, Polygon, Circle, Semicircle等命令，可以构造出复杂的几何图形。适合高中数学教学和学习使用。

GeoGebra 命令及参数

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