最后一步：不定积分

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

2015-12-09 07:56

微积分导数积分

所属专题 Hands in the Air: Square Translation Tessellation

这个范例展示了最后一步的不定积分过程。涉及的核心数学概念包括不定积分和导数。通过使用GeoGebra命令如Polygon、Segment、Vector等，可以直观地理解积分和导数之间的关系。适合高中数学教学和学习。

GeoGebra 命令及参数

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

AI 绘图提示语参考

画一个由多个线段组成的封闭多边形，然后从这个多边形的一个顶点出发，绘制一系列向外延伸的线段，形成一条曲折的路径。接着，以多边形的每条边为基准，绘制一系列平行且等长的线段，形成镜像效果。最后，将这些平行线段与原多边形的顶点连接起来，形成一系列三角形，展示积分与导数之间的关系。

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