Translation Tessellation Example by mikaelpn (3)

Loading the math board and drawing, please wait…

2013-07-17 11:27

Polygon Vector Transformation

In collections Translation Tessellations

This example demonstrates creating a translation tessellation through translation operations. Core math concepts include transformation, polygon construction, and vector application. It uses commands like Polygon, Segment, Point, Vector, and Translate in GeoGebra. Suitable for middle school students and above to learn geometric transformations and constructions, or for teaching demonstrations.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Create a translation tessellation pattern using multiple squares. Start by drawing a square ABCD, then use vector u (from B to C) to translate the vertices of the square to create a new square A'B'C'D'. Connect A' and B' to form a new side a'. Repeat this process to translate and connect other vertices to create more squares, ultimately forming a translation tessellation pattern.

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