椭圆与矩阵变换演示

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

2017-03-29 07:38

向量解析几何微积分矩阵

所属专题 Tessellations

①本范例演示椭圆的几何性质及其在矩阵变换下的变化；②涉及核心数学概念包括椭圆方程、矩阵运算、向量变换；③作图要点：使用Segment、OrthogonalLine、Point、Intersect、Vector、Translate、Polygon、Circle、Semicircle等GeoGebra命令构建图形，并通过A_{42}, B, f, g, h, C_{16}, i, D, j, k, l, m, E, n, F, p, G, q, H, r, s, u, C_{42}, E', n', F', E'_1, p', F'_1, G', q', H', G'_1, r', H'_1, B', s', I, t, J等对象进行变换与演示；④适合高中及以上学生学习和理解矩阵变换对几何图形的影响。

GeoGebra 命令及参数

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

AI 绘图提示语参考

绘制一个椭圆及其在矩阵变换下的图形。首先，画出线段AB和它的垂线g、h，交点C16是垂线的交点。接着，通过C16画垂线i，与h的交点D是关键点。然后，连接A42、B、C16、D形成四边形。接着，通过A42、E、F、G、H、B画线段，再通过向量u平移这些点，得到C42、E'、F'、E'_1、F'_1、G'、H'、G'_1、H'_1、B'。最后，通过A42、I、J、K、L、M、N、O、P画线段，再通过向量v平移这些点，得到A'_1、I'、I'_1、J'、J'_1、K'。

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