Cosine Theorem and Plane Geometry Demonstration

Loading the math board and drawing, please wait…

2014-03-30 13:56

In collections Phebe Tanner Translation Tessallation

①This example demonstrates the application of the Cosine Theorem in plane geometry, integrating vector operations and polygon construction to analyze analytical geometry problems; ②Core concepts include the Cosine Theorem, vector operations, plane equations, cylindrical geometric properties, and logarithmic function graphs; ③Construction utilizes commands/objects such as Line, OrthogonalLine, Point, Intersect, Segment, Angle, Vector, Translate, and Polygon; ④Suitable for high school solid geometry and analytical geometry teaching, demonstrating the integration of spatial vectors and plane geometry.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a plane geometry diagram to demonstrate the Cosine Theorem. Start by drawing a line segment, then draw perpendicular lines from both endpoints of the segment and find their intersection point. Connect the intersection point to the endpoints to form a triangle. Next, translate the line segment along its direction from the intersection point multiple times, creating a series of connected segments. Finally, label the interior angles of the triangle and show the process of translation construction.

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