埃舍尔蜥蜴镶嵌:几何变换与多边形平移旋转演示

埃舍尔蜥蜴镶嵌:几何变换与多边形平移旋转演示
几何画板及绘图内容加载中,请稍等……
2016-04-30 02:44
所属专题 Regularity
本范例演示埃舍尔风格的蜥蜴几何镶嵌图案生成过程。涉及的核心数学概念包括平面几何、刚体变换(平移与旋转)以及多边形构造。作图要点在于利用 GeoGebra 的 Polygon、Point、Rotate、Vector、Translate 命令,通过点 A、B 及多边形对象 polígono1 等构建基础单元并进行复制变换。适合中学几何教学或数学艺术欣赏,帮助学生理解对称与密铺原理。

GeoGebra 命令及参数

  1. Polygon(A, B, 6) → polígono1, a, F, b, c, d, e, f, C, D, E
  2. Point(d) → I
  3. Polygon(D, G, H, I) → polígono2, d_1, g, h, i
  4. Rotate(D, 120°, D) → D'
  5. Rotate(G, 120°, D) → G'
  6. Rotate(H, 120°, D) → H'
  7. Rotate(I, 120°, D) → I'
  8. Polygon(D', G', H', I') → polígono2', d', g', h', i'
  9. Point(e) → M
  10. Polygon(E, J, K, L, M) → polígono3, e_1, j, k, l, m
  11. Rotate(E, 240°, F) → E'
  12. Rotate(J, 240°, F) → J'
  13. Rotate(K, 240°, F) → K'
  14. Rotate(L, 240°, F) → L'
  15. Rotate(M, 240°, F) → M'
  16. Polygon(E', J', K', L', M') → polígono3', e', j', k', l', m'
  17. Point(e) → N
  18. Polygon(N, O, P, Q, M', F) → polígono4, n, o, p, q, m'_1, f_1
  19. Rotate(N, 120°, F) → N'
  20. Rotate(O, 120°, F) → O'
  21. Rotate(P, 120°, F) → P'
  22. Rotate(Q, 120°, F) → Q'
  23. Rotate(M', 120°, F) → M''
  24. Rotate(F, 120°, F) → F'
  25. Polygon(N', O', P', Q', M'', F') → polígono4', n', o', p', q', m'', f'
  26. Point(a) → T
  27. Polygon(A, R, S, T) → polígono5, a_1, r, s, t
  28. Rotate(A, 240°, B) → A'
  29. Rotate(R, 240°, B) → R'
  30. Rotate(S, 240°, B) → S'
  31. Rotate(T, 240°, B) → T'
  32. Polygon(A', R', S', T') → polígono5', a', r', s', t'
  33. Polygon(T', U, V, W, B) → polígono6, t'_1, u, v, w, b_1
  34. Rotate(T', 120°, B) → T''
  35. Rotate(U, 120°, B) → U'
  36. Rotate(V, 120°, B) → V'
  37. Rotate(W, 120°, B) → W'
  38. Rotate(B, 120°, B) → B'
  39. Polygon(T'', U', V', W', B') → polígono6', t'', u', v', w', b'
  40. Polygon(I', Z, A_1, B_1, C_1, C) → polígono7, i'_1, z, a_2, b_2, c_1, c_2
  41. Rotate(I', 240°, D) → I''
  42. Rotate(Z, 240°, D) → Z'
  43. Rotate(A_1, 240°, D) → D_1
  44. Rotate(B_1, 240°, D) → E_1
  45. Rotate(C_1, 240°, D) → F_1
  46. Rotate(C, 240°, D) → C'
  47. Polygon(I'', Z', D_1, E_1, F_1, C') → polígono7', i'', z', d_2, e_2, f_2, c'
  48. Polygon(H', G', E, J, K, L, M, Q', P', O', N', F, D, N, O, P, Q, M', L', K', J', A, R, G, S, T, U', V', W', B, W, V, U, T', H, S', R', C, C_1, B_1, A_1, Z, I', I, Z', D_1, E_1, F_1) → polígono8, h'_1, f_3, e_4, j_1, k_1, l_1, m_1, q'_1, p'_1, o'_1, n'_1, g'_1, f_4, n_1, o_1, p_1, q_1, m'_2, l'_1, k'_1, j'_1, a_3, d_3, r_1, s_1, t_1, u'_1, v'_1, w'_1, b_3, w_1, v_1, u_1, g_1, t'_2, s'_1, r'_1, c_3, c_4, b_4, a_4, z_1, i'_2, h_1, i_1, z'_1, d_4, e_3
  49. Rotate(H', 240°, D) → H''
  50. Rotate(G', 240°, D) → G''
  51. Rotate(D, 240°, D) → D'_1
  52. Rotate(C, 240°, D) → C'_1
  53. Rotate(C_1, 240°, D) → J_1
  54. Rotate(B_1, 240°, D) → K_1
  55. Rotate(A_1, 240°, D) → L_1
  56. Rotate(Z, 240°, D) → Z'_1
  57. Rotate(I', 240°, D) → I''_1
  58. Rotate(H', 120°, D) → H''_1
  59. Rotate(G', 120°, D) → G''_1
  60. Rotate(D, 120°, D) → D'_2
  61. Rotate(G, 120°, D) → G'_1
  62. Rotate(H, 120°, D) → H'_1
  63. Rotate(I, 120°, D) → I'_1
  64. Rotate(Z', 120°, D) → Z''
  65. Rotate(D_1, 120°, D) → G_1
  66. Rotate(E_1, 120°, D) → H_1
  67. Rotate(F_1, 120°, D) → I_1
  68. Rotate(E, 120°, D) → E'_1
  69. Rotate(J, 120°, D) → J'_1
  70. Rotate(K, 120°, D) → K'_1
  71. Rotate(L, 120°, D) → L'_1
  72. Rotate(M, 120°, D) → M'_1
  73. Rotate(Q', 120°, D) → Q''
  74. Rotate(P', 120°, D) → P''
  75. Rotate(O', 120°, D) → O''
  76. Rotate(N', 120°, D) → N''
  77. Rotate(F, 120°, D) → F'_1
  78. Rotate(N, 120°, D) → N'_1
  79. Rotate(O, 120°, D) → O'_1
  80. Rotate(P, 120°, D) → P'_1
  81. Rotate(Q, 120°, D) → Q'_1
  82. Rotate(M', 120°, D) → M''_1
  83. Rotate(L', 120°, D) → L''
  84. Rotate(K', 120°, D) → K''
  85. Rotate(J', 120°, D) → J''
  86. Rotate(A, 120°, D) → A'_1
  87. Rotate(R, 120°, D) → R'_1
  88. Rotate(S, 120°, D) → S'_1
  89. Rotate(T, 120°, D) → T'_1
  90. Rotate(U', 120°, D) → U''
  91. Rotate(V', 120°, D) → V''
  92. Rotate(W', 120°, D) → W''
  93. Rotate(B, 120°, D) → B'_1
  94. Rotate(W, 120°, D) → W'_1
  95. Rotate(V, 120°, D) → V'_1
  96. Rotate(U, 120°, D) → U'_1
  97. Rotate(T', 120°, D) → T''_1
  98. Rotate(S', 120°, D) → S''
  99. Rotate(R', 120°, D) → R''
  100. Rotate(C, 120°, D) → C'_2
  101. Rotate(C_1, 120°, D) → O_1
  102. Rotate(B_1, 120°, D) → P_1
  103. Rotate(A_1, 120°, D) → Q_1
  104. Rotate(Z, 120°, D) → Z'_2
  105. Rotate(I', 120°, D) → I''_2
  106. Polygon(H''_1, G''_1, E'_1, J'_1, K'_1, L'_1, M'_1, Q'', P'', O'', N'', F'_1, D'_2, N'_1, O'_1, P'_1, Q'_1, M''_1, L'', K'', J'', A'_1, R'_1, G'_1, S'_1, T'_1, U'', V'', W'', B'_1, W'_1, V'_1, U'_1, T''_1, H'_1, S'', R'', C'_2, O_1, P_1, Q_1, Z'_2, I''_2, I'_1, Z'', G_1, H_1, I_1) → polígono8', h''_1, i_2, e'_1, j'_2, k'_2, l'_2, m'_3, q'', p'', o'', n'', g''_1, f'_1, n'_2, o'_2, p'_2, q'_2, m''_1, l'', k'', j'', a'_1, d'_2, r'_2, s'_2, t'_3, u'', v'', w'', b'_1, w'_2, v'_2, u'_2, g'_2, t''_1, s'', r'', c'_2, o_2, p_2, q_2, z'_2, i''_2, h'_2, i'_3, z'', g_2, h_2
  107. Rotate(H', 120°, B') → H''_2
  108. Rotate(G', 120°, B') → G''_2
  109. Rotate(D, 120°, B') → D'_3
  110. Rotate(G, 120°, B') → G'_2
  111. Rotate(H, 120°, B') → H'_2
  112. Rotate(I, 120°, B') → I'_2
  113. Rotate(Z', 120°, B') → Z''_1
  114. Rotate(D_1, 120°, B') → R_1
  115. Rotate(E_1, 120°, B') → S_1
  116. Rotate(F_1, 120°, B') → T_1
  117. Rotate(E, 120°, B') → E'_2
  118. Rotate(J, 120°, B') → J'_2
  119. Rotate(K, 120°, B') → K'_2
  120. Rotate(L, 120°, B') → L'_2
  121. Rotate(M, 120°, B') → M'_2
  122. Rotate(Q', 120°, B') → Q''_1
  123. Rotate(P', 120°, B') → P''_1
  124. Rotate(O', 120°, B') → O''_1
  125. Rotate(N', 120°, B') → N''_1
  126. Rotate(F, 120°, B') → F'_2
  127. Rotate(N, 120°, B') → N'_2
  128. Rotate(O, 120°, B') → O'_2
  129. Rotate(P, 120°, B') → P'_2
  130. Rotate(Q, 120°, B') → Q'_2
  131. Rotate(M', 120°, B') → M''_2
  132. Rotate(L', 120°, B') → L''_1
  133. Rotate(K', 120°, B') → K''_1
  134. Rotate(J', 120°, B') → J''_1
  135. Rotate(A, 120°, B') → A'_2
  136. Rotate(R, 120°, B') → R'_2
  137. Rotate(S, 120°, B') → S'_2
  138. Rotate(T, 120°, B') → T'_2
  139. Rotate(U', 120°, B') → U''_1
  140. Rotate(V', 120°, B') → V''_1
  141. Rotate(W', 120°, B') → W''_1
  142. Rotate(B, 120°, B') → B'_2
  143. Rotate(W, 120°, B') → W'_2
  144. Rotate(V, 120°, B') → V'_2
  145. Rotate(U, 120°, B') → U'_2
  146. Rotate(T', 120°, B') → T''_2
  147. Rotate(S', 120°, B') → S''_1
  148. Rotate(R', 120°, B') → R''_1
  149. Rotate(C, 120°, B') → C'_3
  150. Rotate(C_1, 120°, B') → U_1
  151. Rotate(B_1, 120°, B') → V_1
  152. Rotate(A_1, 120°, B') → W_1
  153. Rotate(Z, 120°, B') → Z'_3
  154. Rotate(I', 120°, B') → I''_3
  155. Polygon(H''_2, G''_2, E'_2, J'_2, K'_2, L'_2, M'_2, Q''_1, P''_1, O''_1, N''_1, F'_2, D'_3, N'_2, O'_2, P'_2, Q'_2, M''_2, L''_1, K''_1, J''_1, A'_2, R'_2, G'_2, S'_2, T'_2, U''_1, V''_1, W''_1, B'_2, W'_2, V'_2, U'_2, T''_2, H'_2, S''_1, R''_1, C'_3, U_1, V_1, W_1, Z'_3, I''_3, I'_2, Z''_1, R_1, S_1, T_1) → polígono8'_1, h''_2, t_2, e'_2, j'_3, k'_3, l'_3, m'_4, q''_1, p''_1, o''_1, n''_1, g''_2, f'_2, n'_3, o'_3, p'_3, q'_3, m''_2, l''_1, k''_1, j''_1, a'_2, d'_3, r'_3, s'_3, t'_4, u''_1, v''_1, w''_1, b'_2, w'_3, v'_3, u'_3, g'_3, t''_2, s''_1, r''_1, c'_3, u_2, v_2, w_2, z'_3, i''_3, h'_3, i'_4, z''_1, r_2, s_2
  156. Rotate(H', (-(120°)), B') → H''_3
  157. Rotate(G', (-(120°)), B') → G''_3
  158. Rotate(D, (-(120°)), B') → D'_4
  159. Rotate(G, (-(120°)), B') → G'_3
  160. Rotate(H, (-(120°)), B') → H'_3
  161. Rotate(I, (-(120°)), B') → I'_3
  162. Rotate(Z', (-(120°)), B') → Z''_2
  163. Rotate(D_1, (-(120°)), B') → A_2
  164. Rotate(E_1, (-(120°)), B') → B_2
  165. Rotate(F_1, (-(120°)), B') → C_2
  166. Rotate(E, (-(120°)), B') → E'_3
  167. Rotate(J, (-(120°)), B') → J'_3
  168. Rotate(K, (-(120°)), B') → K'_3
  169. Rotate(L, (-(120°)), B') → L'_3
  170. Rotate(M, (-(120°)), B') → M'_3
  171. Rotate(Q', (-(120°)), B') → Q''_2
  172. Rotate(P', (-(120°)), B') → P''_2
  173. Rotate(O', (-(120°)), B') → O''_2
  174. Rotate(N', (-(120°)), B') → N''_2
  175. Rotate(F, (-(120°)), B') → F'_3
  176. Rotate(N, (-(120°)), B') → N'_3
  177. Rotate(O, (-(120°)), B') → O'_3
  178. Rotate(P, (-(120°)), B') → P'_3
  179. Rotate(Q, (-(120°)), B') → Q'_3
  180. Rotate(M', (-(120°)), B') → M''_3
  181. Rotate(L', (-(120°)), B') → L''_2
  182. Rotate(K', (-(120°)), B') → K''_2
  183. Rotate(J', (-(120°)), B') → J''_2
  184. Rotate(A, (-(120°)), B') → A'_3
  185. Rotate(R, (-(120°)), B') → R'_3
  186. Rotate(S, (-(120°)), B') → S'_3
  187. Rotate(T, (-(120°)), B') → T'_3
  188. Rotate(U', (-(120°)), B') → U''_2
  189. Rotate(V', (-(120°)), B') → V''_2
  190. Rotate(W', (-(120°)), B') → W''_2
  191. Rotate(B, (-(120°)), B') → B'_3
  192. Rotate(W, (-(120°)), B') → W'_3
  193. Rotate(V, (-(120°)), B') → V'_3
  194. Rotate(U, (-(120°)), B') → U'_3
  195. Rotate(T', (-(120°)), B') → T''_3
  196. Rotate(S', (-(120°)), B') → S''_2
  197. Rotate(R', (-(120°)), B') → R''_2
  198. Rotate(C, (-(120°)), B') → C'_4
  199. Rotate(C_1, (-(120°)), B') → D_2
  200. Rotate(B_1, (-(120°)), B') → E_2
  201. Rotate(A_1, (-(120°)), B') → F_2
  202. Rotate(Z, (-(120°)), B') → Z'_4
  203. Rotate(I', (-(120°)), B') → I''_4
  204. Polygon(H''_3, G''_3, E'_3, J'_3, K'_3, L'_3, M'_3, Q''_2, P''_2, O''_2, N''_2, F'_3, D'_4, N'_3, O'_3, P'_3, Q'_3, M''_3, L''_2, K''_2, J''_2, A'_3, R'_3, G'_3, S'_3, T'_3, U''_2, V''_2, W''_2, B'_3, W'_3, V'_3, U'_3, T''_3, H'_3, S''_2, R''_2, C'_4, D_2, E_2, F_2, Z'_4, I''_4, I'_3, Z''_2, A_2, B_2, C_2) → polígono8'_2, h''_3, c_5, e'_3, j'_4, k'_4, l'_4, m'_5, q''_2, p''_2, o''_2, n''_2, g''_3, f'_3, n'_4, o'_4, p'_4, q'_4, m''_3, l''_2, k''_2, j''_2, a'_3, d'_4, r'_4, s'_4, t'_5, u''_2, v''_2, w''_2, b'_3, w'_4, v'_4, u'_4, g'_4, t''_3, s''_2, r''_2, c'_4, d_5, e_5, f_5, z'_4, i''_4, h'_4, i'_5, z''_2, a_5, b_5
  205. Vector(A_2, W_1) → k_2
  206. Vector(N', N'_1) → l_2
  207. Translate(H''_1, k_2) → H_2
  208. Translate(G''_1, k_2) → I_2
  209. Translate(D'_2, k_2) → J_2
  210. Translate(G'_1, k_2) → K_2
  211. Translate(H'_1, k_2) → L_2
  212. Translate(I'_1, k_2) → M_2
  213. Translate(Z'', k_2) → Z'''
  214. Translate(G_1, k_2) → N_2
  215. Translate(H_1, k_2) → O_2
  216. Translate(I_1, k_2) → P_2
  217. Translate(E'_1, k_2) → Q_2
  218. Translate(J'_1, k_2) → R_2
  219. Translate(K'_1, k_2) → S_2
  220. Translate(L'_1, k_2) → T_2
  221. Translate(M'_1, k_2) → U_2
  222. Translate(Q'', k_2) → Q'''
  223. Translate(P'', k_2) → P'''
  224. Translate(O'', k_2) → O'''
  225. Translate(N'', k_2) → N'''
  226. Translate(F'_1, k_2) → V_2
  227. Translate(N'_1, k_2) → W_2
  228. Translate(O'_1, k_2) → Z_2
  229. Translate(P'_1, k_2) → A_3
  230. Translate(Q'_1, k_2) → B_3
  231. Translate(M''_1, k_2) → C_3
  232. Translate(L'', k_2) → L'''
  233. Translate(K'', k_2) → K'''
  234. Translate(J'', k_2) → J'''
  235. Translate(A'_1, k_2) → D_3
  236. Translate(R'_1, k_2) → E_3
  237. Translate(S'_1, k_2) → F_3
  238. Translate(T'_1, k_2) → G_3
  239. Translate(U'', k_2) → U'''
  240. Translate(V'', k_2) → V'''
  241. Translate(W'', k_2) → W'''
  242. Translate(B'_1, k_2) → H_3
  243. Translate(W'_1, k_2) → I_3
  244. Translate(V'_1, k_2) → J_3
  245. Translate(U'_1, k_2) → K_3
  246. Translate(T''_1, k_2) → L_3
  247. Translate(S'', k_2) → S'''
  248. Translate(R'', k_2) → R'''
  249. Translate(C'_2, k_2) → M_3
  250. Translate(O_1, k_2) → N_3
  251. Translate(P_1, k_2) → O_3
  252. Translate(Q_1, k_2) → P_3
  253. Translate(Z'_2, k_2) → Q_3
  254. Translate(I''_2, k_2) → R_3
  255. Polygon(H_2, I_2, Q_2, R_2, S_2, T_2, U_2, Q''', P''', O''', N''', V_2, J_2, W_2, Z_2, A_3, B_3, C_3, L''', K''', J''', D_3, E_3, K_2, F_3, G_3, U''', V''', W''', H_3, I_3, J_3, K_3, L_3, L_2, S''', R''', M_3, N_3, O_3, P_3, Q_3, R_3, M_2, Z''', N_2, O_2, P_2) → polígono8'', h_3, p_3, q_3, r_3, s_3, t_3, u_3, q''', p''', o''', n''', i_3, v_3, w_3, z_2, a_6, b_6, c_6, l''', k''', j''', d_6, j_3, e_6, f_6, g_3, u''', v''', w''', h_4, i_4, j_4, k_4, k_3, l_4, s''', r''', m_3, n_3, o_4, p_4, q_4, r_4, l_3, m_2, z''', n_2, o_3
  256. Translate(H', l_2) → H''_4
  257. Translate(G', l_2) → G''_4
  258. Translate(D, l_2) → D'_5
  259. Translate(G, l_2) → G'_4
  260. Translate(H, l_2) → H'_4
  261. Translate(I, l_2) → I'_4
  262. Translate(Z', l_2) → Z''_3
  263. Translate(D_1, l_2) → S_3
  264. Translate(E_1, l_2) → T_3
  265. Translate(F_1, l_2) → U_3
  266. Translate(E, l_2) → E'_4
  267. Translate(J, l_2) → J'_4
  268. Translate(K, l_2) → K'_4
  269. Translate(L, l_2) → L'_4
  270. Translate(M, l_2) → M'_4
  271. Translate(Q', l_2) → Q''_3
  272. Translate(P', l_2) → P''_3
  273. Translate(O', l_2) → O''_3
  274. Translate(N', l_2) → N''_3
  275. Translate(F, l_2) → F'_4
  276. Translate(N, l_2) → N'_4
  277. Translate(O, l_2) → O'_4
  278. Translate(P, l_2) → P'_4
  279. Translate(Q, l_2) → Q'_4
  280. Translate(M', l_2) → M''_4
  281. Translate(L', l_2) → L''_3
  282. Translate(K', l_2) → K''_3
  283. Translate(J', l_2) → J''_3
  284. Translate(A, l_2) → A'_4
  285. Translate(R, l_2) → R'_4
  286. Translate(S, l_2) → S'_4
  287. Translate(T, l_2) → T'_4
  288. Translate(U', l_2) → U''_3
  289. Translate(V', l_2) → V''_3
  290. Translate(W', l_2) → W''_3
  291. Translate(B, l_2) → B'_4
  292. Translate(W, l_2) → W'_4
  293. Translate(V, l_2) → V'_4
  294. Translate(U, l_2) → U'_4
  295. Translate(T', l_2) → T''_4
  296. Translate(S', l_2) → S''_3
  297. Translate(R', l_2) → R''_3
  298. Translate(C, l_2) → C'_5
  299. Translate(C_1, l_2) → V_3
  300. Translate(B_1, l_2) → W_3
  301. Translate(A_1, l_2) → Z_3
  302. Translate(Z, l_2) → Z'_5
  303. Translate(I', l_2) → I''_5
  304. Polygon(H''_4, G''_4, E'_4, J'_4, K'_4, L'_4, M'_4, Q''_3, P''_3, O''_3, N''_3, F'_4, D'_5, N'_4, O'_4, P'_4, Q'_4, M''_4, L''_3, K''_3, J''_3, A'_4, R'_4, G'_4, S'_4, T'_4, U''_3, V''_3, W''_3, B'_4, W'_4, V'_4, U'_4, T''_4, H'_4, S''_3, R''_3, C'_5, V_3, W_3, Z_3, Z'_5, I''_5, I'_4, Z''_3, S_3, T_3, U_3) → polígono8'_3, h''_4, u_4, e'_4, j'_5, k'_5, l'_5, m'_6, q''_3, p''_3, o''_3, n''_3, g''_4, f'_4, n'_5, o'_5, p'_5, q'_5, m''_4, l''_3, k''_3, j''_3, a'_4, d'_5, r'_5, s'_5, t'_6, u''_3, v''_3, w''_3, b'_4, w'_5, v'_5, u'_5, g'_5, t''_4, s''_3, r''_3, c'_5, v_4, w_4, z_3, z'_5, i''_5, h'_5, i'_6, z''_3, s_4, t_4
  305. Translate(H''_3, k_2) → A_4
  306. Translate(G''_3, k_2) → B_4
  307. Translate(D'_4, k_2) → C_4
  308. Translate(G'_3, k_2) → D_4
  309. Translate(H'_3, k_2) → E_4
  310. Translate(I'_3, k_2) → F_4
  311. Translate(Z''_2, k_2) → G_4
  312. Translate(A_2, k_2) → H_4
  313. Translate(B_2, k_2) → I_4
  314. Translate(C_2, k_2) → J_4
  315. Translate(E'_3, k_2) → K_4
  316. Translate(J'_3, k_2) → L_4
  317. Translate(K'_3, k_2) → M_4
  318. Translate(L'_3, k_2) → N_4
  319. Translate(M'_3, k_2) → O_4
  320. Translate(Q''_2, k_2) → P_4
  321. Translate(P''_2, k_2) → Q_4
  322. Translate(O''_2, k_2) → R_4
  323. Translate(N''_2, k_2) → S_4
  324. Translate(F'_3, k_2) → T_4
  325. Translate(N'_3, k_2) → U_4
  326. Translate(O'_3, k_2) → V_4
  327. Translate(P'_3, k_2) → W_4
  328. Translate(Q'_3, k_2) → Z_4
  329. Translate(M''_3, k_2) → A_5
  330. Translate(L''_2, k_2) → B_5
  331. Translate(K''_2, k_2) → C_5
  332. Translate(J''_2, k_2) → D_5
  333. Translate(A'_3, k_2) → E_5
  334. Translate(R'_3, k_2) → F_5
  335. Translate(S'_3, k_2) → G_5
  336. Translate(T'_3, k_2) → H_5
  337. Translate(U''_2, k_2) → I_5
  338. Translate(V''_2, k_2) → J_5
  339. Translate(W''_2, k_2) → K_5
  340. Translate(B'_3, k_2) → L_5
  341. Translate(W'_3, k_2) → M_5
  342. Translate(V'_3, k_2) → N_5
  343. Translate(U'_3, k_2) → O_5
  344. Translate(T''_3, k_2) → P_5
  345. Translate(S''_2, k_2) → Q_5
  346. Translate(R''_2, k_2) → R_5
  347. Translate(C'_4, k_2) → S_5
  348. Translate(D_2, k_2) → T_5
  349. Translate(E_2, k_2) → U_5
  350. Translate(F_2, k_2) → V_5
  351. Translate(Z'_4, k_2) → W_5
  352. Translate(I''_4, k_2) → Z_5
  353. Polygon(A_4, B_4, K_4, L_4, M_4, N_4, O_4, P_4, Q_4, R_4, S_4, T_4, C_4, U_4, V_4, W_4, Z_4, A_5, B_5, C_5, D_5, E_5, F_5, D_4, G_5, H_5, I_5, J_5, K_5, L_5, M_5, N_5, O_5, P_5, E_4, Q_5, R_5, S_5, T_5, U_5, V_5, W_5, Z_5, F_4, G_4, H_4, I_4, J_4) → polígono9, a_7, j_5, k_5, l_5, m_4, n_4, o_5, p_5, q_5, r_5, s_5, b_7, t_5, u_5, v_5, w_5, z_4, a_8, b_8, c_8, d_8, e_8, c_7, f_8, g_5, h_6, i_6, j_6, k_6, l_6, m_5, n_5, o_6, d_7, p_6, q_6, r_6, s_6, t_6, u_6, v_6, w_6, z_5, e_7, f_7, g_4, h_5, i_5
  354. Translate(H''_4, l_2) → A_6
  355. Translate(G''_4, l_2) → B_6
  356. Translate(D'_5, l_2) → C_6
  357. Translate(G'_4, l_2) → D_6
  358. Translate(H'_4, l_2) → E_6
  359. Translate(I'_4, l_2) → F_6
  360. Translate(Z''_3, l_2) → G_6
  361. Translate(S_3, l_2) → H_6
  362. Translate(T_3, l_2) → I_6
  363. Translate(U_3, l_2) → J_6
  364. Translate(E'_4, l_2) → K_6
  365. Translate(J'_4, l_2) → L_6
  366. Translate(K'_4, l_2) → M_6
  367. Translate(L'_4, l_2) → N_6
  368. Translate(M'_4, l_2) → O_6
  369. Translate(Q''_3, l_2) → P_6
  370. Translate(P''_3, l_2) → Q_6
  371. Translate(O''_3, l_2) → R_6
  372. Translate(N''_3, l_2) → S_6
  373. Translate(F'_4, l_2) → T_6
  374. Translate(N'_4, l_2) → U_6
  375. Translate(O'_4, l_2) → V_6
  376. Translate(P'_4, l_2) → W_6
  377. Translate(Q'_4, l_2) → Z_6
  378. Translate(M''_4, l_2) → A_7
  379. Translate(L''_3, l_2) → B_7
  380. Translate(K''_3, l_2) → C_7
  381. Translate(J''_3, l_2) → D_7
  382. Translate(A'_4, l_2) → E_7
  383. Translate(R'_4, l_2) → F_7
  384. Translate(S'_4, l_2) → G_7
  385. Translate(T'_4, l_2) → H_7
  386. Translate(U''_3, l_2) → I_7
  387. Translate(V''_3, l_2) → J_7
  388. Translate(W''_3, l_2) → K_7
  389. Translate(B'_4, l_2) → L_7
  390. Translate(W'_4, l_2) → M_7
  391. Translate(V'_4, l_2) → N_7
  392. Translate(U'_4, l_2) → O_7
  393. Translate(T''_4, l_2) → P_7
  394. Translate(S''_3, l_2) → Q_7
  395. Translate(R''_3, l_2) → R_7
  396. Translate(C'_5, l_2) → S_7
  397. Translate(V_3, l_2) → T_7
  398. Translate(W_3, l_2) → U_7
  399. Translate(Z_3, l_2) → V_7
  400. Translate(Z'_5, l_2) → W_7
  401. Translate(I''_5, l_2) → Z_7
  402. Polygon(A_6, B_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, S_6, T_6, C_6, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7, E_7, F_7, D_6, G_7, H_7, I_7, J_7, K_7, L_7, M_7, N_7, O_7, P_7, E_6, Q_7, R_7, S_7, T_7, U_7, V_7, W_7, Z_7, F_6, G_6, H_6, I_6, J_6) → polígono10, a_9, j_7, k_7, l_7, m_6, n_6, o_7, p_7, q_7, r_7, s_7, b_9, t_7, u_7, v_7, w_7, z_6, a_{10}, b_{10}, c_{10}, d_{10}, e_{10}, c_9, f_{10}, g_7, h_8, i_8, j_8, k_8, l_8, m_7, n_7, o_8, d_9, p_8, q_8, r_8, s_8, t_8, u_8, v_8, w_8, z_7, e_9, f_9, g_6, h_7, i_7
  403. Translate(H', k_2) → H''_5
  404. Translate(G', k_2) → G''_5
  405. Translate(D, k_2) → D'_6
  406. Translate(G, k_2) → G'_5
  407. Translate(H, k_2) → H'_5
  408. Translate(I, k_2) → I'_5
  409. Translate(Z', k_2) → Z''_4
  410. Translate(D_1, k_2) → A_8
  411. Translate(E_1, k_2) → B_8
  412. Translate(F_1, k_2) → C_8
  413. Translate(E, k_2) → E'_5
  414. Translate(J, k_2) → J'_5
  415. Translate(K, k_2) → K'_5
  416. Translate(L, k_2) → L'_5
  417. Translate(M, k_2) → M'_5
  418. Translate(Q', k_2) → Q''_4
  419. Translate(P', k_2) → P''_4
  420. Translate(O', k_2) → O''_4
  421. Translate(N', k_2) → N''_4
  422. Translate(F, k_2) → F'_5
  423. Translate(N, k_2) → N'_5
  424. Translate(O, k_2) → O'_5
  425. Translate(P, k_2) → P'_5
  426. Translate(Q, k_2) → Q'_5
  427. Translate(M', k_2) → M''_5
  428. Translate(L', k_2) → L''_4
  429. Translate(K', k_2) → K''_4
  430. Translate(J', k_2) → J''_4
  431. Translate(A, k_2) → A'_5
  432. Translate(R, k_2) → R'_5
  433. Translate(S, k_2) → S'_5
  434. Translate(T, k_2) → T'_5
  435. Translate(U', k_2) → U''_4
  436. Translate(V', k_2) → V''_4
  437. Translate(W', k_2) → W''_4
  438. Translate(B, k_2) → B'_5
  439. Translate(W, k_2) → W'_5
  440. Translate(V, k_2) → V'_5
  441. Translate(U, k_2) → U'_5
  442. Translate(T', k_2) → T''_5
  443. Translate(S', k_2) → S''_4
  444. Translate(R', k_2) → R''_4
  445. Translate(C, k_2) → C'_6
  446. Translate(C_1, k_2) → D_8
  447. Translate(B_1, k_2) → E_8
  448. Translate(A_1, k_2) → F_8
  449. Translate(Z, k_2) → Z'_6
  450. Translate(I', k_2) → I''_6
  451. Polygon(H''_5, G''_5, E'_5, J'_5, K'_5, L'_5, M'_5, Q''_4, P''_4, O''_4, N''_4, F'_5, D'_6, N'_5, O'_5, P'_5, Q'_5, M''_5, L''_4, K''_4, J''_4, A'_5, R'_5, G'_5, S'_5, T'_5, U''_4, V''_4, W''_4, B'_5, W'_5, V'_5, U'_5, T''_5, H'_5, S''_4, R''_4, C'_6, D_8, E_8, F_8, Z'_6, I''_6, I'_5, Z''_4, A_8, B_8, C_8) → polígono8'_4, h''_5, c_{11}, e'_5, j'_6, k'_6, l'_6, m'_7, q''_4, p''_4, o''_4, n''_4, g''_5, f'_5, n'_6, o'_6, p'_6, q'_6, m''_5, l''_4, k''_4, j''_4, a'_5, d'_6, r'_6, s'_6, t'_7, u''_4, v''_4, w''_4, b'_5, w'_6, v'_6, u'_6, g'_6, t''_5, s''_4, r''_4, c'_6, d_{11}, e_{11}, f_{11}, z'_6, i''_6, h'_6, i'_7, z''_4, a_{11}, b_{11}
  452. Vector(B', H_3) → g_8
  453. Translate(H''_3, g_8) → G_8
  454. Translate(G''_3, g_8) → H_8
  455. Translate(D'_4, g_8) → I_8
  456. Translate(G'_3, g_8) → J_8
  457. Translate(H'_3, g_8) → K_8
  458. Translate(I'_3, g_8) → L_8
  459. Translate(Z''_2, g_8) → M_8
  460. Translate(A_2, g_8) → N_8
  461. Translate(B_2, g_8) → O_8
  462. Translate(C_2, g_8) → P_8
  463. Translate(E'_3, g_8) → Q_8
  464. Translate(J'_3, g_8) → R_8
  465. Translate(K'_3, g_8) → S_8
  466. Translate(L'_3, g_8) → T_8
  467. Translate(M'_3, g_8) → U_8
  468. Translate(Q''_2, g_8) → V_8
  469. Translate(P''_2, g_8) → W_8
  470. Translate(O''_2, g_8) → Z_8
  471. Translate(N''_2, g_8) → A_9
  472. Translate(F'_3, g_8) → B_9
  473. Translate(N'_3, g_8) → C_9
  474. Translate(O'_3, g_8) → D_9
  475. Translate(P'_3, g_8) → E_9
  476. Translate(Q'_3, g_8) → F_9
  477. Translate(M''_3, g_8) → G_9
  478. Translate(L''_2, g_8) → H_9
  479. Translate(K''_2, g_8) → I_9
  480. Translate(J''_2, g_8) → J_9
  481. Translate(A'_3, g_8) → K_9
  482. Translate(R'_3, g_8) → L_9
  483. Translate(S'_3, g_8) → M_9
  484. Translate(T'_3, g_8) → N_9
  485. Translate(U''_2, g_8) → O_9
  486. Translate(V''_2, g_8) → P_9
  487. Translate(W''_2, g_8) → Q_9
  488. Translate(B'_3, g_8) → R_9
  489. Translate(W'_3, g_8) → S_9
  490. Translate(V'_3, g_8) → T_9
  491. Translate(U'_3, g_8) → U_9
  492. Translate(T''_3, g_8) → V_9
  493. Translate(S''_2, g_8) → W_9
  494. Translate(R''_2, g_8) → Z_9
  495. Translate(C'_4, g_8) → A_{10}
  496. Translate(D_2, g_8) → B_{10}
  497. Translate(E_2, g_8) → C_{10}
  498. Translate(F_2, g_8) → D_{10}
  499. Translate(Z'_4, g_8) → E_{10}
  500. Translate(I''_4, g_8) → F_{10}
  501. Polygon(G_8, H_8, Q_8, R_8, S_8, T_8, U_8, V_8, W_8, Z_8, A_9, B_9, I_8, C_9, D_9, E_9, F_9, G_9, H_9, I_9, J_9, K_9, L_9, J_8, M_9, N_9, O_9, P_9, Q_9, R_9, S_9, T_9, U_9, V_9, K_8, W_9, Z_9, A_{10}, B_{10}, C_{10}, D_{10}, E_{10}, F_{10}, L_8, M_8, N_8, O_8, P_8) → polígono11, g_9, p_9, q_9, r_9, s_9, t_9, u_9, v_9, w_9, z_8, a_{12}, h_9, b_{12}, c_{12}, d_{12}, e_{12}, f_{12}, g_{10}, h_{10}, i_{10}, j_{10}, k_{10}, i_9, l_{10}, m_9, n_9, o_{10}, p_{10}, q_{10}, r_{10}, s_{10}, t_{10}, u_{10}, j_9, v_{10}, w_{10}, z_9, a_{13}, b_{13}, c_{13}, d_{13}, e_{13}, f_{13}, k_9, l_9, m_8, n_8, o_9
  502. Translate(H', g_8) → H''_6
  503. Translate(G', g_8) → G''_6
  504. Translate(D, g_8) → D'_7
  505. Translate(G, g_8) → G'_6
  506. Translate(H, g_8) → H'_6
  507. Translate(I, g_8) → I'_6
  508. Translate(Z', g_8) → Z''_5
  509. Translate(D_1, g_8) → G_{10}
  510. Translate(E_1, g_8) → H_{10}
  511. Translate(F_1, g_8) → I_{10}
  512. Translate(E, g_8) → E'_6
  513. Translate(J, g_8) → J'_6
  514. Translate(K, g_8) → K'_6
  515. Translate(L, g_8) → L'_6
  516. Translate(M, g_8) → M'_6
  517. Translate(Q', g_8) → Q''_5
  518. Translate(P', g_8) → P''_5
  519. Translate(O', g_8) → O''_5
  520. Translate(N', g_8) → N''_5
  521. Translate(F, g_8) → F'_6
  522. Translate(N, g_8) → N'_6
  523. Translate(O, g_8) → O'_6
  524. Translate(P, g_8) → P'_6
  525. Translate(Q, g_8) → Q'_6
  526. Translate(M', g_8) → M''_6
  527. Translate(L', g_8) → L''_5
  528. Translate(K', g_8) → K''_5
  529. Translate(J', g_8) → J''_5
  530. Translate(A, g_8) → A'_6
  531. Translate(R, g_8) → R'_6
  532. Translate(S, g_8) → S'_6
  533. Translate(T, g_8) → T'_6
  534. Translate(U', g_8) → U''_5
  535. Translate(V', g_8) → V''_5
  536. Translate(W', g_8) → W''_5
  537. Translate(B, g_8) → B'_6
  538. Translate(W, g_8) → W'_6
  539. Translate(V, g_8) → V'_6
  540. Translate(U, g_8) → U'_6
  541. Translate(T', g_8) → T''_6
  542. Translate(S', g_8) → S''_5
  543. Translate(R', g_8) → R''_5
  544. Translate(C, g_8) → C'_7
  545. Translate(C_1, g_8) → J_{10}
  546. Translate(B_1, g_8) → K_{10}
  547. Translate(A_1, g_8) → L_{10}
  548. Translate(Z, g_8) → Z'_7
  549. Translate(I', g_8) → I''_7
  550. Polygon(H''_6, G''_6, E'_6, J'_6, K'_6, L'_6, M'_6, Q''_5, P''_5, O''_5, N''_5, F'_6, D'_7, N'_6, O'_6, P'_6, Q'_6, M''_6, L''_5, K''_5, J''_5, A'_6, R'_6, G'_6, S'_6, T'_6, U''_5, V''_5, W''_5, B'_6, W'_6, V'_6, U'_6, T''_6, H'_6, S''_5, R''_5, C'_7, J_{10}, K_{10}, L_{10}, Z'_7, I''_7, I'_6, Z''_5, G_{10}, H_{10}, I_{10}) → polígono8'_5, h''_6, i_{11}, e'_6, j'_7, k'_7, l'_7, m'_8, q''_5, p''_5, o''_5, n''_5, g''_6, f'_6, n'_7, o'_7, p'_7, q'_7, m''_6, l''_5, k''_5, j''_5, a'_6, d'_7, r'_7, s'_7, t'_8, u''_5, v''_5, w''_5, b'_6, w'_7, v'_7, u'_7, g'_7, t''_6, s''_5, r''_5, c'_7, j_{11}, k_{11}, l_{11}, z'_7, i''_7, h'_7, i'_8, z''_5, g_{11}, h_{11}
  551. Translate(H''_6, g_8) → M_{10}
  552. Translate(G''_6, g_8) → N_{10}
  553. Translate(D'_7, g_8) → O_{10}
  554. Translate(G'_6, g_8) → P_{10}
  555. Translate(H'_6, g_8) → Q_{10}
  556. Translate(I'_6, g_8) → R_{10}
  557. Translate(Z''_5, g_8) → S_{10}
  558. Translate(G_{10}, g_8) → T_{10}
  559. Translate(H_{10}, g_8) → U_{10}
  560. Translate(I_{10}, g_8) → V_{10}
  561. Translate(E'_6, g_8) → W_{10}
  562. Translate(J'_6, g_8) → Z_{10}
  563. Translate(K'_6, g_8) → A_{11}
  564. Translate(L'_6, g_8) → B_{11}
  565. Translate(M'_6, g_8) → C_{11}
  566. Translate(Q''_5, g_8) → D_{11}
  567. Translate(P''_5, g_8) → E_{11}
  568. Translate(O''_5, g_8) → F_{11}
  569. Translate(N''_5, g_8) → G_{11}
  570. Translate(F'_6, g_8) → H_{11}
  571. Translate(N'_6, g_8) → I_{11}
  572. Translate(O'_6, g_8) → J_{11}
  573. Translate(P'_6, g_8) → K_{11}
  574. Translate(Q'_6, g_8) → L_{11}
  575. Translate(M''_6, g_8) → M_{11}
  576. Translate(L''_5, g_8) → N_{11}
  577. Translate(K''_5, g_8) → O_{11}
  578. Translate(J''_5, g_8) → P_{11}
  579. Translate(A'_6, g_8) → Q_{11}
  580. Translate(R'_6, g_8) → R_{11}
  581. Translate(S'_6, g_8) → S_{11}
  582. Translate(T'_6, g_8) → T_{11}
  583. Translate(U''_5, g_8) → U_{11}
  584. Translate(V''_5, g_8) → V_{11}
  585. Translate(W''_5, g_8) → W_{11}
  586. Translate(B'_6, g_8) → Z_{11}
  587. Translate(W'_6, g_8) → A_{12}
  588. Translate(V'_6, g_8) → B_{12}
  589. Translate(U'_6, g_8) → C_{12}
  590. Translate(T''_6, g_8) → D_{12}
  591. Translate(S''_5, g_8) → E_{12}
  592. Translate(R''_5, g_8) → F_{12}
  593. Translate(C'_7, g_8) → G_{12}
  594. Translate(J_{10}, g_8) → H_{12}
  595. Translate(K_{10}, g_8) → I_{12}
  596. Translate(L_{10}, g_8) → J_{12}
  597. Translate(Z'_7, g_8) → K_{12}
  598. Translate(I''_7, g_8) → L_{12}
  599. Polygon(M_{10}, N_{10}, W_{10}, Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}, F_{11}, G_{11}, H_{11}, O_{10}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}, O_{11}, P_{11}, Q_{11}, R_{11}, P_{10}, S_{11}, T_{11}, U_{11}, V_{11}, W_{11}, Z_{11}, A_{12}, B_{12}, C_{12}, D_{12}, Q_{10}, E_{12}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, L_{12}, R_{10}, S_{10}, T_{10}, U_{10}, V_{10}) → polígono12, m_{10}, v_{11}, w_{11}, z_{10}, a_{14}, b_{14}, c_{14}, d_{14}, e_{14}, f_{14}, g_{12}, n_{10}, h_{12}, i_{12}, j_{12}, k_{12}, l_{12}, m_{11}, n_{11}, o_{12}, p_{12}, q_{12}, o_{11}, r_{12}, s_{12}, t_{12}, u_{12}, v_{12}, w_{12}, z_{11}, a_{15}, b_{15}, c_{15}, p_{11}, d_{15}, e_{15}, f_{15}, g_{13}, h_{13}, i_{13}, j_{13}, k_{13}, l_{13}, q_{11}, r_{11}, s_{11}, t_{11}, u_{11}
  600. Translate(H_2, g_8) → M_{12}
  601. Translate(I_2, g_8) → N_{12}
  602. Translate(J_2, g_8) → O_{12}
  603. Translate(K_2, g_8) → P_{12}
  604. Translate(L_2, g_8) → Q_{12}
  605. Translate(M_2, g_8) → R_{12}
  606. Translate(Z''', g_8) → S_{12}
  607. Translate(N_2, g_8) → T_{12}
  608. Translate(O_2, g_8) → U_{12}
  609. Translate(P_2, g_8) → V_{12}
  610. Translate(Q_2, g_8) → W_{12}
  611. Translate(R_2, g_8) → Z_{12}
  612. Translate(S_2, g_8) → A_{13}
  613. Translate(T_2, g_8) → B_{13}
  614. Translate(U_2, g_8) → C_{13}
  615. Translate(Q''', g_8) → D_{13}
  616. Translate(P''', g_8) → E_{13}
  617. Translate(O''', g_8) → F_{13}
  618. Translate(N''', g_8) → G_{13}
  619. Translate(V_2, g_8) → H_{13}
  620. Translate(W_2, g_8) → I_{13}
  621. Translate(Z_2, g_8) → J_{13}
  622. Translate(A_3, g_8) → K_{13}
  623. Translate(B_3, g_8) → L_{13}
  624. Translate(C_3, g_8) → M_{13}
  625. Translate(L''', g_8) → N_{13}
  626. Translate(K''', g_8) → O_{13}
  627. Translate(J''', g_8) → P_{13}
  628. Translate(D_3, g_8) → Q_{13}
  629. Translate(E_3, g_8) → R_{13}
  630. Translate(F_3, g_8) → S_{13}
  631. Translate(G_3, g_8) → T_{13}
  632. Translate(U''', g_8) → U_{13}
  633. Translate(V''', g_8) → V_{13}
  634. Translate(W''', g_8) → W_{13}
  635. Translate(H_3, g_8) → Z_{13}
  636. Translate(I_3, g_8) → A_{14}
  637. Translate(J_3, g_8) → B_{14}
  638. Translate(K_3, g_8) → C_{14}
  639. Translate(L_3, g_8) → D_{14}
  640. Translate(S''', g_8) → E_{14}
  641. Translate(R''', g_8) → F_{14}
  642. Translate(M_3, g_8) → G_{14}
  643. Translate(N_3, g_8) → H_{14}
  644. Translate(O_3, g_8) → I_{14}
  645. Translate(P_3, g_8) → J_{14}
  646. Translate(Q_3, g_8) → K_{14}
  647. Translate(R_3, g_8) → L_{14}
  648. Polygon(M_{12}, N_{12}, W_{12}, Z_{12}, A_{13}, B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, O_{12}, I_{13}, J_{13}, K_{13}, L_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}, R_{13}, P_{12}, S_{13}, T_{13}, U_{13}, V_{13}, W_{13}, Z_{13}, A_{14}, B_{14}, C_{14}, D_{14}, Q_{12}, E_{14}, F_{14}, G_{14}, H_{14}, I_{14}, J_{14}, K_{14}, L_{14}, R_{12}, S_{12}, T_{12}, U_{12}, V_{12}) → polígono8''', m_{12}, v_{13}, w_{13}, z_{12}, a_{16}, b_{16}, c_{16}, d_{16}, e_{16}, f_{16}, g_{14}, n_{12}, h_{14}, i_{14}, j_{14}, k_{14}, l_{14}, m_{13}, n_{13}, o_{14}, p_{14}, q_{14}, o_{13}, r_{14}, s_{14}, t_{14}, u_{14}, v_{14}, w_{14}, z_{13}, a_{17}, b_{17}, c_{17}, p_{13}, d_{17}, e_{17}, f_{17}, g_{15}, h_{15}, i_{15}, j_{15}, k_{15}, l_{15}, q_{13}, r_{13}, s_{13}, t_{13}, u_{13}
  649. Translate(G_8, g_8) → M_{14}
  650. Translate(H_8, g_8) → N_{14}
  651. Translate(I_8, g_8) → O_{14}
  652. Translate(J_8, g_8) → P_{14}
  653. Translate(K_8, g_8) → Q_{14}
  654. Translate(L_8, g_8) → R_{14}
  655. Translate(M_8, g_8) → S_{14}
  656. Translate(N_8, g_8) → T_{14}
  657. Translate(O_8, g_8) → U_{14}
  658. Translate(P_8, g_8) → V_{14}
  659. Translate(Q_8, g_8) → W_{14}
  660. Translate(R_8, g_8) → Z_{14}
  661. Translate(S_8, g_8) → A_{15}
  662. Translate(T_8, g_8) → B_{15}
  663. Translate(U_8, g_8) → C_{15}
  664. Translate(V_8, g_8) → D_{15}
  665. Translate(W_8, g_8) → E_{15}
  666. Translate(Z_8, g_8) → F_{15}
  667. Translate(A_9, g_8) → G_{15}
  668. Translate(B_9, g_8) → H_{15}
  669. Translate(C_9, g_8) → I_{15}
  670. Translate(D_9, g_8) → J_{15}
  671. Translate(E_9, g_8) → K_{15}
  672. Translate(F_9, g_8) → L_{15}
  673. Translate(G_9, g_8) → M_{15}
  674. Translate(H_9, g_8) → N_{15}
  675. Translate(I_9, g_8) → O_{15}
  676. Translate(J_9, g_8) → P_{15}
  677. Translate(K_9, g_8) → Q_{15}
  678. Translate(L_9, g_8) → R_{15}
  679. Translate(M_9, g_8) → S_{15}
  680. Translate(N_9, g_8) → T_{15}
  681. Translate(O_9, g_8) → U_{15}
  682. Translate(P_9, g_8) → V_{15}
  683. Translate(Q_9, g_8) → W_{15}
  684. Translate(R_9, g_8) → Z_{15}
  685. Translate(S_9, g_8) → A_{16}
  686. Translate(T_9, g_8) → B_{16}
  687. Translate(U_9, g_8) → C_{16}
  688. Translate(V_9, g_8) → D_{16}
  689. Translate(W_9, g_8) → E_{16}
  690. Translate(Z_9, g_8) → F_{16}
  691. Translate(A_{10}, g_8) → G_{16}
  692. Translate(B_{10}, g_8) → H_{16}
  693. Translate(C_{10}, g_8) → I_{16}
  694. Translate(D_{10}, g_8) → J_{16}
  695. Translate(E_{10}, g_8) → K_{16}
  696. Translate(F_{10}, g_8) → L_{16}
  697. Polygon(M_{14}, N_{14}, W_{14}, Z_{14}, A_{15}, B_{15}, C_{15}, D_{15}, E_{15}, F_{15}, G_{15}, H_{15}, O_{14}, I_{15}, J_{15}, K_{15}, L_{15}, M_{15}, N_{15}, O_{15}, P_{15}, Q_{15}, R_{15}, P_{14}, S_{15}, T_{15}, U_{15}, V_{15}, W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, D_{16}, Q_{14}, E_{16}, F_{16}, G_{16}, H_{16}, I_{16}, J_{16}, K_{16}, L_{16}, R_{14}, S_{14}, T_{14}, U_{14}, V_{14}) → polígono11', m_{14}, v_{15}, w_{15}, z_{14}, a_{18}, b_{18}, c_{18}, d_{18}, e_{18}, f_{18}, g_{16}, n_{14}, h_{16}, i_{16}, j_{16}, k_{16}, l_{16}, m_{15}, n_{15}, o_{16}, p_{16}, q_{16}, o_{15}, r_{16}, s_{16}, t_{16}, u_{16}, v_{16}, w_{16}, z_{15}, a_{19}, b_{19}, c_{19}, p_{15}, d_{19}, e_{19}, f_{19}, g_{17}, h_{17}, i_{17}, j_{17}, k_{17}, l_{17}, q_{15}, r_{15}, s_{15}, t_{15}, u_{15}
  698. Translate(H''_1, g_8) → M_{16}
  699. Translate(G''_1, g_8) → N_{16}
  700. Translate(D'_2, g_8) → O_{16}
  701. Translate(G'_1, g_8) → P_{16}
  702. Translate(H'_1, g_8) → Q_{16}
  703. Translate(I'_1, g_8) → R_{16}
  704. Translate(Z'', g_8) → Z'''_1
  705. Translate(G_1, g_8) → S_{16}
  706. Translate(H_1, g_8) → T_{16}
  707. Translate(I_1, g_8) → U_{16}
  708. Translate(E'_1, g_8) → V_{16}
  709. Translate(J'_1, g_8) → W_{16}
  710. Translate(K'_1, g_8) → Z_{16}
  711. Translate(L'_1, g_8) → A_{17}
  712. Translate(M'_1, g_8) → B_{17}
  713. Translate(Q'', g_8) → Q'''_1
  714. Translate(P'', g_8) → P'''_1
  715. Translate(O'', g_8) → O'''_1
  716. Translate(N'', g_8) → N'''_1
  717. Translate(F'_1, g_8) → C_{17}
  718. Translate(N'_1, g_8) → D_{17}
  719. Translate(O'_1, g_8) → E_{17}
  720. Translate(P'_1, g_8) → F_{17}
  721. Translate(Q'_1, g_8) → G_{17}
  722. Translate(M''_1, g_8) → H_{17}
  723. Translate(L'', g_8) → L'''_1
  724. Translate(K'', g_8) → K'''_1
  725. Translate(J'', g_8) → J'''_1
  726. Translate(A'_1, g_8) → I_{17}
  727. Translate(R'_1, g_8) → J_{17}
  728. Translate(S'_1, g_8) → K_{17}
  729. Translate(T'_1, g_8) → L_{17}
  730. Translate(U'', g_8) → U'''_1
  731. Translate(V'', g_8) → V'''_1
  732. Translate(W'', g_8) → W'''_1
  733. Translate(B'_1, g_8) → M_{17}
  734. Translate(W'_1, g_8) → N_{17}
  735. Translate(V'_1, g_8) → O_{17}
  736. Translate(U'_1, g_8) → P_{17}
  737. Translate(T''_1, g_8) → Q_{17}
  738. Translate(S'', g_8) → S'''_1
  739. Translate(R'', g_8) → R'''_1
  740. Translate(C'_2, g_8) → R_{17}
  741. Translate(O_1, g_8) → S_{17}
  742. Translate(P_1, g_8) → T_{17}
  743. Translate(Q_1, g_8) → U_{17}
  744. Translate(Z'_2, g_8) → V_{17}
  745. Translate(I''_2, g_8) → W_{17}
  746. Polygon(M_{16}, N_{16}, V_{16}, W_{16}, Z_{16}, A_{17}, B_{17}, Q'''_1, P'''_1, O'''_1, N'''_1, C_{17}, O_{16}, D_{17}, E_{17}, F_{17}, G_{17}, H_{17}, L'''_1, K'''_1, J'''_1, I_{17}, J_{17}, P_{16}, K_{17}, L_{17}, U'''_1, V'''_1, W'''_1, M_{17}, N_{17}, O_{17}, P_{17}, Q_{17}, Q_{16}, S'''_1, R'''_1, R_{17}, S_{17}, T_{17}, U_{17}, V_{17}, W_{17}, R_{16}, Z'''_1, S_{16}, T_{16}, U_{16}) → polígono8''_1, m_{16}, u_{17}, v_{17}, w_{17}, z_{16}, a_{20}, b_{20}, q'''_1, p'''_1, o'''_1, n'''_1, n_{16}, c_{20}, d_{20}, e_{20}, f_{20}, g_{18}, h_{18}, l'''_1, k'''_1, j'''_1, i_{18}, o_{17}, j_{18}, k_{18}, l_{18}, u'''_1, v'''_1, w'''_1, m_{17}, n_{17}, o_{18}, p_{18}, p_{17}, q_{18}, s'''_1, r'''_1, r_{18}, s_{18}, t_{18}, u_{18}, v_{18}, w_{18}, q_{17}, r_{17}, z'''_1, s_{17}, t_{17}
  747. Translate(A_4, g_8) → Z_{17}
  748. Translate(B_4, g_8) → A_{18}
  749. Translate(C_4, g_8) → B_{18}
  750. Translate(D_4, g_8) → C_{18}
  751. Translate(E_4, g_8) → D_{18}
  752. Translate(F_4, g_8) → E_{18}
  753. Translate(G_4, g_8) → F_{18}
  754. Translate(H_4, g_8) → G_{18}
  755. Translate(I_4, g_8) → H_{18}
  756. Translate(J_4, g_8) → I_{18}
  757. Translate(K_4, g_8) → J_{18}
  758. Translate(L_4, g_8) → K_{18}
  759. Translate(M_4, g_8) → L_{18}
  760. Translate(N_4, g_8) → M_{18}
  761. Translate(O_4, g_8) → N_{18}
  762. Translate(P_4, g_8) → O_{18}
  763. Translate(Q_4, g_8) → P_{18}
  764. Translate(R_4, g_8) → Q_{18}
  765. Translate(S_4, g_8) → R_{18}
  766. Translate(T_4, g_8) → S_{18}
  767. Translate(U_4, g_8) → T_{18}
  768. Translate(V_4, g_8) → U_{18}
  769. Translate(W_4, g_8) → V_{18}
  770. Translate(Z_4, g_8) → W_{18}
  771. Translate(A_5, g_8) → Z_{18}
  772. Translate(B_5, g_8) → A_{19}
  773. Translate(C_5, g_8) → B_{19}
  774. Translate(D_5, g_8) → C_{19}
  775. Translate(E_5, g_8) → D_{19}
  776. Translate(F_5, g_8) → E_{19}
  777. Translate(G_5, g_8) → F_{19}
  778. Translate(H_5, g_8) → G_{19}
  779. Translate(I_5, g_8) → H_{19}
  780. Translate(J_5, g_8) → I_{19}
  781. Translate(K_5, g_8) → J_{19}
  782. Translate(L_5, g_8) → K_{19}
  783. Translate(M_5, g_8) → L_{19}
  784. Translate(N_5, g_8) → M_{19}
  785. Translate(O_5, g_8) → N_{19}
  786. Translate(P_5, g_8) → O_{19}
  787. Translate(Q_5, g_8) → P_{19}
  788. Translate(R_5, g_8) → Q_{19}
  789. Translate(S_5, g_8) → R_{19}
  790. Translate(T_5, g_8) → S_{19}
  791. Translate(U_5, g_8) → T_{19}
  792. Translate(V_5, g_8) → U_{19}
  793. Translate(W_5, g_8) → V_{19}
  794. Translate(Z_5, g_8) → W_{19}
  795. Polygon(Z_{17}, A_{18}, J_{18}, K_{18}, L_{18}, M_{18}, N_{18}, O_{18}, P_{18}, Q_{18}, R_{18}, S_{18}, B_{18}, T_{18}, U_{18}, V_{18}, W_{18}, Z_{18}, A_{19}, B_{19}, C_{19}, D_{19}, E_{19}, C_{18}, F_{19}, G_{19}, H_{19}, I_{19}, J_{19}, K_{19}, L_{19}, M_{19}, N_{19}, O_{19}, D_{18}, P_{19}, Q_{19}, R_{19}, S_{19}, T_{19}, U_{19}, V_{19}, W_{19}, E_{18}, F_{18}, G_{18}, H_{18}, I_{18}) → polígono9', z_{17}, i_{19}, j_{19}, k_{19}, l_{19}, m_{18}, n_{18}, o_{19}, p_{19}, q_{19}, r_{19}, a_{21}, s_{19}, t_{19}, u_{19}, v_{19}, w_{19}, z_{18}, a_{22}, b_{22}, c_{22}, d_{22}, b_{21}, e_{22}, f_{22}, g_{20}, h_{20}, i_{20}, j_{20}, k_{20}, l_{20}, m_{19}, n_{19}, c_{21}, o_{20}, p_{20}, q_{20}, r_{20}, s_{20}, t_{20}, u_{20}, v_{20}, w_{20}, d_{21}, e_{21}, f_{21}, g_{19}, h_{19}
  796. Translate(H_2, k_2) → Z_{19}
  797. Translate(I_2, k_2) → A_{20}
  798. Translate(J_2, k_2) → B_{20}
  799. Translate(K_2, k_2) → C_{20}
  800. Translate(L_2, k_2) → D_{20}
  801. Translate(M_2, k_2) → E_{20}
  802. Translate(Z''', k_2) → F_{20}
  803. Translate(N_2, k_2) → G_{20}
  804. Translate(O_2, k_2) → H_{20}
  805. Translate(P_2, k_2) → I_{20}
  806. Translate(Q_2, k_2) → J_{20}
  807. Translate(R_2, k_2) → K_{20}
  808. Translate(S_2, k_2) → L_{20}
  809. Translate(T_2, k_2) → M_{20}
  810. Translate(U_2, k_2) → N_{20}
  811. Translate(Q''', k_2) → O_{20}
  812. Translate(P''', k_2) → P_{20}
  813. Translate(O''', k_2) → Q_{20}
  814. Translate(N''', k_2) → R_{20}
  815. Translate(V_2, k_2) → S_{20}
  816. Translate(W_2, k_2) → T_{20}
  817. Translate(Z_2, k_2) → U_{20}
  818. Translate(A_3, k_2) → V_{20}
  819. Translate(B_3, k_2) → W_{20}
  820. Translate(C_3, k_2) → Z_{20}
  821. Translate(L''', k_2) → A_{21}
  822. Translate(K''', k_2) → B_{21}
  823. Translate(J''', k_2) → C_{21}
  824. Translate(D_3, k_2) → D_{21}
  825. Translate(E_3, k_2) → E_{21}
  826. Translate(F_3, k_2) → F_{21}
  827. Translate(G_3, k_2) → G_{21}
  828. Translate(U''', k_2) → H_{21}
  829. Translate(V''', k_2) → I_{21}
  830. Translate(W''', k_2) → J_{21}
  831. Translate(H_3, k_2) → K_{21}
  832. Translate(I_3, k_2) → L_{21}
  833. Translate(J_3, k_2) → M_{21}
  834. Translate(K_3, k_2) → N_{21}
  835. Translate(L_3, k_2) → O_{21}
  836. Translate(S''', k_2) → P_{21}
  837. Translate(R''', k_2) → Q_{21}
  838. Translate(M_3, k_2) → R_{21}
  839. Translate(N_3, k_2) → S_{21}
  840. Translate(O_3, k_2) → T_{21}
  841. Translate(P_3, k_2) → U_{21}
  842. Translate(Q_3, k_2) → V_{21}
  843. Translate(R_3, k_2) → W_{21}
  844. Polygon(Z_{19}, A_{20}, J_{20}, K_{20}, L_{20}, M_{20}, N_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, B_{20}, T_{20}, U_{20}, V_{20}, W_{20}, Z_{20}, A_{21}, B_{21}, C_{21}, D_{21}, E_{21}, C_{20}, F_{21}, G_{21}, H_{21}, I_{21}, J_{21}, K_{21}, L_{21}, M_{21}, N_{21}, O_{21}, D_{20}, P_{21}, Q_{21}, R_{21}, S_{21}, T_{21}, U_{21}, V_{21}, W_{21}, E_{20}, F_{20}, G_{20}, H_{20}, I_{20}) → polígono8'''_1, z_{19}, i_{21}, j_{21}, k_{21}, l_{21}, m_{20}, n_{20}, o_{21}, p_{21}, q_{21}, r_{21}, a_{23}, s_{21}, t_{21}, u_{21}, v_{21}, w_{21}, z_{20}, a_{24}, b_{24}, c_{24}, d_{24}, b_{23}, e_{24}, f_{24}, g_{22}, h_{22}, i_{22}, j_{22}, k_{22}, l_{22}, m_{21}, n_{21}, c_{23}, o_{22}, p_{22}, q_{22}, r_{22}, s_{22}, t_{22}, u_{22}, v_{22}, w_{22}, d_{23}, e_{23}, f_{23}, g_{21}, h_{21}
  845. Translate(G_8, l_2) → Z_{21}
  846. Translate(H_8, l_2) → A_{22}
  847. Translate(I_8, l_2) → B_{22}
  848. Translate(J_8, l_2) → C_{22}
  849. Translate(K_8, l_2) → D_{22}
  850. Translate(L_8, l_2) → E_{22}
  851. Translate(M_8, l_2) → F_{22}
  852. Translate(N_8, l_2) → G_{22}
  853. Translate(O_8, l_2) → H_{22}
  854. Translate(P_8, l_2) → I_{22}
  855. Translate(Q_8, l_2) → J_{22}
  856. Translate(R_8, l_2) → K_{22}
  857. Translate(S_8, l_2) → L_{22}
  858. Translate(T_8, l_2) → M_{22}
  859. Translate(U_8, l_2) → N_{22}
  860. Translate(V_8, l_2) → O_{22}
  861. Translate(W_8, l_2) → P_{22}
  862. Translate(Z_8, l_2) → Q_{22}
  863. Translate(A_9, l_2) → R_{22}
  864. Translate(B_9, l_2) → S_{22}
  865. Translate(C_9, l_2) → T_{22}
  866. Translate(D_9, l_2) → U_{22}
  867. Translate(E_9, l_2) → V_{22}
  868. Translate(F_9, l_2) → W_{22}
  869. Translate(G_9, l_2) → Z_{22}
  870. Translate(H_9, l_2) → A_{23}
  871. Translate(I_9, l_2) → B_{23}
  872. Translate(J_9, l_2) → C_{23}
  873. Translate(K_9, l_2) → D_{23}
  874. Translate(L_9, l_2) → E_{23}
  875. Translate(M_9, l_2) → F_{23}
  876. Translate(N_9, l_2) → G_{23}
  877. Translate(O_9, l_2) → H_{23}
  878. Translate(P_9, l_2) → I_{23}
  879. Translate(Q_9, l_2) → J_{23}
  880. Translate(R_9, l_2) → K_{23}
  881. Translate(S_9, l_2) → L_{23}
  882. Translate(T_9, l_2) → M_{23}
  883. Translate(U_9, l_2) → N_{23}
  884. Translate(V_9, l_2) → O_{23}
  885. Translate(W_9, l_2) → P_{23}
  886. Translate(Z_9, l_2) → Q_{23}
  887. Translate(A_{10}, l_2) → R_{23}
  888. Translate(B_{10}, l_2) → S_{23}
  889. Translate(C_{10}, l_2) → T_{23}
  890. Translate(D_{10}, l_2) → U_{23}
  891. Translate(E_{10}, l_2) → V_{23}
  892. Translate(F_{10}, l_2) → W_{23}
  893. Polygon(Z_{21}, A_{22}, J_{22}, K_{22}, L_{22}, M_{22}, N_{22}, O_{22}, P_{22}, Q_{22}, R_{22}, S_{22}, B_{22}, T_{22}, U_{22}, V_{22}, W_{22}, Z_{22}, A_{23}, B_{23}, C_{23}, D_{23}, E_{23}, C_{22}, F_{23}, G_{23}, H_{23}, I_{23}, J_{23}, K_{23}, L_{23}, M_{23}, N_{23}, O_{23}, D_{22}, P_{23}, Q_{23}, R_{23}, S_{23}, T_{23}, U_{23}, V_{23}, W_{23}, E_{22}, F_{22}, G_{22}, H_{22}, I_{22}) → polígono11'_1, z_{21}, i_{23}, j_{23}, k_{23}, l_{23}, m_{22}, n_{22}, o_{23}, p_{23}, q_{23}, r_{23}, a_{25}, s_{23}, t_{23}, u_{23}, v_{23}, w_{23}, z_{22}, a_{26}, b_{26}, c_{26}, d_{26}, b_{25}, e_{26}, f_{26}, g_{24}, h_{24}, i_{24}, j_{24}, k_{24}, l_{24}, m_{23}, n_{23}, c_{25}, o_{24}, p_{24}, q_{24}, r_{24}, s_{24}, t_{24}, u_{24}, v_{24}, w_{24}, d_{25}, e_{25}, f_{25}, g_{23}, h_{23}
  894. Translate(H''_6, l_2) → Z_{23}
  895. Translate(G''_6, l_2) → A_{24}
  896. Translate(D'_7, l_2) → B_{24}
  897. Translate(G'_6, l_2) → C_{24}
  898. Translate(H'_6, l_2) → D_{24}
  899. Translate(I'_6, l_2) → E_{24}
  900. Translate(Z''_5, l_2) → F_{24}
  901. Translate(G_{10}, l_2) → G_{24}
  902. Translate(H_{10}, l_2) → H_{24}
  903. Translate(I_{10}, l_2) → I_{24}
  904. Translate(E'_6, l_2) → J_{24}
  905. Translate(J'_6, l_2) → K_{24}
  906. Translate(K'_6, l_2) → L_{24}
  907. Translate(L'_6, l_2) → M_{24}
  908. Translate(M'_6, l_2) → N_{24}
  909. Translate(Q''_5, l_2) → O_{24}
  910. Translate(P''_5, l_2) → P_{24}
  911. Translate(O''_5, l_2) → Q_{24}
  912. Translate(N''_5, l_2) → R_{24}
  913. Translate(F'_6, l_2) → S_{24}
  914. Translate(N'_6, l_2) → T_{24}
  915. Translate(O'_6, l_2) → U_{24}
  916. Translate(P'_6, l_2) → V_{24}
  917. Translate(Q'_6, l_2) → W_{24}
  918. Translate(M''_6, l_2) → Z_{24}
  919. Translate(L''_5, l_2) → A_{25}
  920. Translate(K''_5, l_2) → B_{25}
  921. Translate(J''_5, l_2) → C_{25}
  922. Translate(A'_6, l_2) → D_{25}
  923. Translate(R'_6, l_2) → E_{25}
  924. Translate(S'_6, l_2) → F_{25}
  925. Translate(T'_6, l_2) → G_{25}
  926. Translate(U''_5, l_2) → H_{25}
  927. Translate(V''_5, l_2) → I_{25}
  928. Translate(W''_5, l_2) → J_{25}
  929. Translate(B'_6, l_2) → K_{25}
  930. Translate(W'_6, l_2) → L_{25}
  931. Translate(V'_6, l_2) → M_{25}
  932. Translate(U'_6, l_2) → N_{25}
  933. Translate(T''_6, l_2) → O_{25}
  934. Translate(S''_5, l_2) → P_{25}
  935. Translate(R''_5, l_2) → Q_{25}
  936. Translate(C'_7, l_2) → R_{25}
  937. Translate(J_{10}, l_2) → S_{25}
  938. Translate(K_{10}, l_2) → T_{25}
  939. Translate(L_{10}, l_2) → U_{25}
  940. Translate(Z'_7, l_2) → V_{25}
  941. Translate(I''_7, l_2) → W_{25}
  942. Polygon(Z_{23}, A_{24}, J_{24}, K_{24}, L_{24}, M_{24}, N_{24}, O_{24}, P_{24}, Q_{24}, R_{24}, S_{24}, B_{24}, T_{24}, U_{24}, V_{24}, W_{24}, Z_{24}, A_{25}, B_{25}, C_{25}, D_{25}, E_{25}, C_{24}, F_{25}, G_{25}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, O_{25}, D_{24}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}, W_{25}, E_{24}, F_{24}, G_{24}, H_{24}, I_{24}) → polígono13, z_{23}, i_{25}, j_{25}, k_{25}, l_{25}, m_{24}, n_{24}, o_{25}, p_{25}, q_{25}, r_{25}, a_{27}, s_{25}, t_{25}, u_{25}, v_{25}, w_{25}, z_{24}, a_{28}, b_{28}, c_{28}, d_{28}, b_{27}, e_{28}, f_{28}, g_{26}, h_{26}, i_{26}, j_{26}, k_{26}, l_{26}, m_{25}, n_{25}, c_{27}, o_{26}, p_{26}, q_{26}, r_{26}, s_{26}, t_{26}, u_{26}, v_{26}, w_{26}, d_{27}, e_{27}, f_{27}, g_{25}, h_{25}
  943. Translate(M_{16}, l_2) → Z_{25}
  944. Translate(N_{16}, l_2) → A_{26}
  945. Translate(O_{16}, l_2) → B_{26}
  946. Translate(P_{16}, l_2) → C_{26}
  947. Translate(Q_{16}, l_2) → D_{26}
  948. Translate(R_{16}, l_2) → E_{26}
  949. Translate(Z'''_1, l_2) → F_{26}
  950. Translate(S_{16}, l_2) → G_{26}
  951. Translate(T_{16}, l_2) → H_{26}
  952. Translate(U_{16}, l_2) → I_{26}
  953. Translate(V_{16}, l_2) → J_{26}
  954. Translate(W_{16}, l_2) → K_{26}
  955. Translate(Z_{16}, l_2) → L_{26}
  956. Translate(A_{17}, l_2) → M_{26}
  957. Translate(B_{17}, l_2) → N_{26}
  958. Translate(Q'''_1, l_2) → O_{26}
  959. Translate(P'''_1, l_2) → P_{26}
  960. Translate(O'''_1, l_2) → Q_{26}
  961. Translate(N'''_1, l_2) → R_{26}
  962. Translate(C_{17}, l_2) → S_{26}
  963. Translate(D_{17}, l_2) → T_{26}
  964. Translate(E_{17}, l_2) → U_{26}
  965. Translate(F_{17}, l_2) → V_{26}
  966. Translate(G_{17}, l_2) → W_{26}
  967. Translate(H_{17}, l_2) → Z_{26}
  968. Translate(L'''_1, l_2) → A_{27}
  969. Translate(K'''_1, l_2) → B_{27}
  970. Translate(J'''_1, l_2) → C_{27}
  971. Translate(I_{17}, l_2) → D_{27}
  972. Translate(J_{17}, l_2) → E_{27}
  973. Translate(K_{17}, l_2) → F_{27}
  974. Translate(L_{17}, l_2) → G_{27}
  975. Translate(U'''_1, l_2) → H_{27}
  976. Translate(V'''_1, l_2) → I_{27}
  977. Translate(W'''_1, l_2) → J_{27}
  978. Translate(M_{17}, l_2) → K_{27}
  979. Translate(N_{17}, l_2) → L_{27}
  980. Translate(O_{17}, l_2) → M_{27}
  981. Translate(P_{17}, l_2) → N_{27}
  982. Translate(Q_{17}, l_2) → O_{27}
  983. Translate(S'''_1, l_2) → P_{27}
  984. Translate(R'''_1, l_2) → Q_{27}
  985. Translate(R_{17}, l_2) → R_{27}
  986. Translate(S_{17}, l_2) → S_{27}
  987. Translate(T_{17}, l_2) → T_{27}
  988. Translate(U_{17}, l_2) → U_{27}
  989. Translate(V_{17}, l_2) → V_{27}
  990. Translate(W_{17}, l_2) → W_{27}
  991. Polygon(Z_{25}, A_{26}, J_{26}, K_{26}, L_{26}, M_{26}, N_{26}, O_{26}, P_{26}, Q_{26}, R_{26}, S_{26}, B_{26}, T_{26}, U_{26}, V_{26}, W_{26}, Z_{26}, A_{27}, B_{27}, C_{27}, D_{27}, E_{27}, C_{26}, F_{27}, G_{27}, H_{27}, I_{27}, J_{27}, K_{27}, L_{27}, M_{27}, N_{27}, O_{27}, D_{26}, P_{27}, Q_{27}, R_{27}, S_{27}, T_{27}, U_{27}, V_{27}, W_{27}, E_{26}, F_{26}, G_{26}, H_{26}, I_{26}) → polígono14, z_{25}, i_{27}, j_{27}, k_{27}, l_{27}, m_{26}, n_{26}, o_{27}, p_{27}, q_{27}, r_{27}, a_{29}, s_{27}, t_{27}, u_{27}, v_{27}, w_{27}, z_{26}, a_{30}, b_{30}, c_{30}, d_{30}, b_{29}, e_{30}, f_{30}, g_{28}, h_{28}, i_{28}, j_{28}, k_{28}, l_{28}, m_{27}, n_{27}, c_{29}, o_{28}, p_{28}, q_{28}, r_{28}, s_{28}, t_{28}, u_{28}, v_{28}, w_{28}, d_{29}, e_{29}, f_{29}, g_{27}, h_{27}
  992. Translate(Z_{23}, l_2) → Z_{27}
  993. Translate(A_{24}, l_2) → A_{28}
  994. Translate(B_{24}, l_2) → B_{28}
  995. Translate(C_{24}, l_2) → C_{28}
  996. Translate(D_{24}, l_2) → D_{28}
  997. Translate(E_{24}, l_2) → E_{28}
  998. Translate(F_{24}, l_2) → F_{28}
  999. Translate(G_{24}, l_2) → G_{28}
  1000. Translate(H_{24}, l_2) → H_{28}
  1001. Translate(I_{24}, l_2) → I_{28}
  1002. Translate(J_{24}, l_2) → J_{28}
  1003. Translate(K_{24}, l_2) → K_{28}
  1004. Translate(L_{24}, l_2) → L_{28}
  1005. Translate(M_{24}, l_2) → M_{28}
  1006. Translate(N_{24}, l_2) → N_{28}
  1007. Translate(O_{24}, l_2) → O_{28}
  1008. Translate(P_{24}, l_2) → P_{28}
  1009. Translate(Q_{24}, l_2) → Q_{28}
  1010. Translate(R_{24}, l_2) → R_{28}
  1011. Translate(S_{24}, l_2) → S_{28}
  1012. Translate(T_{24}, l_2) → T_{28}
  1013. Translate(U_{24}, l_2) → U_{28}
  1014. Translate(V_{24}, l_2) → V_{28}
  1015. Translate(W_{24}, l_2) → W_{28}
  1016. Translate(Z_{24}, l_2) → Z_{28}
  1017. Translate(A_{25}, l_2) → A_{29}
  1018. Translate(B_{25}, l_2) → B_{29}
  1019. Translate(C_{25}, l_2) → C_{29}
  1020. Translate(D_{25}, l_2) → D_{29}
  1021. Translate(E_{25}, l_2) → E_{29}
  1022. Translate(F_{25}, l_2) → F_{29}
  1023. Translate(G_{25}, l_2) → G_{29}
  1024. Translate(H_{25}, l_2) → H_{29}
  1025. Translate(I_{25}, l_2) → I_{29}
  1026. Translate(J_{25}, l_2) → J_{29}
  1027. Translate(K_{25}, l_2) → K_{29}
  1028. Translate(L_{25}, l_2) → L_{29}
  1029. Translate(M_{25}, l_2) → M_{29}
  1030. Translate(N_{25}, l_2) → N_{29}
  1031. Translate(O_{25}, l_2) → O_{29}
  1032. Translate(P_{25}, l_2) → P_{29}
  1033. Translate(Q_{25}, l_2) → Q_{29}
  1034. Translate(R_{25}, l_2) → R_{29}
  1035. Translate(S_{25}, l_2) → S_{29}
  1036. Translate(T_{25}, l_2) → T_{29}
  1037. Translate(U_{25}, l_2) → U_{29}
  1038. Translate(V_{25}, l_2) → V_{29}
  1039. Translate(W_{25}, l_2) → W_{29}
  1040. Polygon(Z_{27}, A_{28}, J_{28}, K_{28}, L_{28}, M_{28}, N_{28}, O_{28}, P_{28}, Q_{28}, R_{28}, S_{28}, B_{28}, T_{28}, U_{28}, V_{28}, W_{28}, Z_{28}, A_{29}, B_{29}, C_{29}, D_{29}, E_{29}, C_{28}, F_{29}, G_{29}, H_{29}, I_{29}, J_{29}, K_{29}, L_{29}, M_{29}, N_{29}, O_{29}, D_{28}, P_{29}, Q_{29}, R_{29}, S_{29}, T_{29}, U_{29}, V_{29}, W_{29}, E_{28}, F_{28}, G_{28}, H_{28}, I_{28}) → polígono13', z_{27}, i_{29}, j_{29}, k_{29}, l_{29}, m_{28}, n_{28}, o_{29}, p_{29}, q_{29}, r_{29}, a_{31}, s_{29}, t_{29}, u_{29}, v_{29}, w_{29}, z_{28}, a_{32}, b_{32}, c_{32}, d_{32}, b_{31}, e_{32}, f_{32}, g_{30}, h_{30}, i_{30}, j_{30}, k_{30}, l_{30}, m_{29}, n_{29}, c_{31}, o_{30}, p_{30}, q_{30}, r_{30}, s_{30}, t_{30}, u_{30}, v_{30}, w_{30}, d_{31}, e_{31}, f_{31}, g_{29}, h_{29}
  1041. Translate(H''_1, l_2) → Z_{29}
  1042. Translate(G''_1, l_2) → A_{30}
  1043. Translate(D'_2, l_2) → B_{30}
  1044. Translate(G'_1, l_2) → C_{30}
  1045. Translate(H'_1, l_2) → D_{30}
  1046. Translate(I'_1, l_2) → E_{30}
  1047. Translate(Z'', l_2) → Z'''_2
  1048. Translate(G_1, l_2) → F_{30}
  1049. Translate(H_1, l_2) → G_{30}
  1050. Translate(I_1, l_2) → H_{30}
  1051. Translate(E'_1, l_2) → I_{30}
  1052. Translate(J'_1, l_2) → J_{30}
  1053. Translate(K'_1, l_2) → K_{30}
  1054. Translate(L'_1, l_2) → L_{30}
  1055. Translate(M'_1, l_2) → M_{30}
  1056. Translate(Q'', l_2) → Q'''_2
  1057. Translate(P'', l_2) → P'''_2
  1058. Translate(O'', l_2) → O'''_2
  1059. Translate(N'', l_2) → N'''_2
  1060. Translate(F'_1, l_2) → N_{30}
  1061. Translate(N'_1, l_2) → O_{30}
  1062. Translate(O'_1, l_2) → P_{30}
  1063. Translate(P'_1, l_2) → Q_{30}
  1064. Translate(Q'_1, l_2) → R_{30}
  1065. Translate(M''_1, l_2) → S_{30}
  1066. Translate(L'', l_2) → L'''_2
  1067. Translate(K'', l_2) → K'''_2
  1068. Translate(J'', l_2) → J'''_2
  1069. Translate(A'_1, l_2) → T_{30}
  1070. Translate(R'_1, l_2) → U_{30}
  1071. Translate(S'_1, l_2) → V_{30}
  1072. Translate(T'_1, l_2) → W_{30}
  1073. Translate(U'', l_2) → U'''_2
  1074. Translate(V'', l_2) → V'''_2
  1075. Translate(W'', l_2) → W'''_2
  1076. Translate(B'_1, l_2) → Z_{30}
  1077. Translate(W'_1, l_2) → A_{31}
  1078. Translate(V'_1, l_2) → B_{31}
  1079. Translate(U'_1, l_2) → C_{31}
  1080. Translate(T''_1, l_2) → D_{31}
  1081. Translate(S'', l_2) → S'''_2
  1082. Translate(R'', l_2) → R'''_2
  1083. Translate(C'_2, l_2) → E_{31}
  1084. Translate(O_1, l_2) → F_{31}
  1085. Translate(P_1, l_2) → G_{31}
  1086. Translate(Q_1, l_2) → H_{31}
  1087. Translate(Z'_2, l_2) → I_{31}
  1088. Translate(I''_2, l_2) → J_{31}
  1089. Polygon(Z_{29}, A_{30}, I_{30}, J_{30}, K_{30}, L_{30}, M_{30}, Q'''_2, P'''_2, O'''_2, N'''_2, N_{30}, B_{30}, O_{30}, P_{30}, Q_{30}, R_{30}, S_{30}, L'''_2, K'''_2, J'''_2, T_{30}, U_{30}, C_{30}, V_{30}, W_{30}, U'''_2, V'''_2, W'''_2, Z_{30}, A_{31}, B_{31}, C_{31}, D_{31}, D_{30}, S'''_2, R'''_2, E_{31}, F_{31}, G_{31}, H_{31}, I_{31}, J_{31}, E_{30}, Z'''_2, F_{30}, G_{30}, H_{30}) → polígono8''_2, z_{29}, h_{31}, i_{31}, j_{31}, k_{31}, l_{31}, m_{30}, q'''_2, p'''_2, o'''_2, n'''_2, a_{33}, n_{30}, o_{31}, p_{31}, q_{31}, r_{31}, s_{31}, l'''_2, k'''_2, j'''_2, t_{31}, b_{33}, u_{31}, v_{31}, w_{31}, u'''_2, v'''_2, w'''_2, z_{30}, a_{34}, b_{34}, c_{34}, c_{33}, d_{34}, s'''_2, r'''_2, e_{34}, f_{34}, g_{32}, h_{32}, i_{32}, j_{32}, d_{33}, e_{33}, z'''_2, f_{33}, g_{31}
  1090. Translate(M_{14}, l_2) → K_{31}
  1091. Translate(N_{14}, l_2) → L_{31}
  1092. Translate(O_{14}, l_2) → M_{31}
  1093. Translate(P_{14}, l_2) → N_{31}
  1094. Translate(Q_{14}, l_2) → O_{31}
  1095. Translate(R_{14}, l_2) → P_{31}
  1096. Translate(S_{14}, l_2) → Q_{31}
  1097. Translate(T_{14}, l_2) → R_{31}
  1098. Translate(U_{14}, l_2) → S_{31}
  1099. Translate(V_{14}, l_2) → T_{31}
  1100. Translate(W_{14}, l_2) → U_{31}
  1101. Translate(Z_{14}, l_2) → V_{31}
  1102. Translate(A_{15}, l_2) → W_{31}
  1103. Translate(B_{15}, l_2) → Z_{31}
  1104. Translate(C_{15}, l_2) → A_{32}
  1105. Translate(D_{15}, l_2) → B_{32}
  1106. Translate(E_{15}, l_2) → C_{32}
  1107. Translate(F_{15}, l_2) → D_{32}
  1108. Translate(G_{15}, l_2) → E_{32}
  1109. Translate(H_{15}, l_2) → F_{32}
  1110. Translate(I_{15}, l_2) → G_{32}
  1111. Translate(J_{15}, l_2) → H_{32}
  1112. Translate(K_{15}, l_2) → I_{32}
  1113. Translate(L_{15}, l_2) → J_{32}
  1114. Translate(M_{15}, l_2) → K_{32}
  1115. Translate(N_{15}, l_2) → L_{32}
  1116. Translate(O_{15}, l_2) → M_{32}
  1117. Translate(P_{15}, l_2) → N_{32}
  1118. Translate(Q_{15}, l_2) → O_{32}
  1119. Translate(R_{15}, l_2) → P_{32}
  1120. Translate(S_{15}, l_2) → Q_{32}
  1121. Translate(T_{15}, l_2) → R_{32}
  1122. Translate(U_{15}, l_2) → S_{32}
  1123. Translate(V_{15}, l_2) → T_{32}
  1124. Translate(W_{15}, l_2) → U_{32}
  1125. Translate(Z_{15}, l_2) → V_{32}
  1126. Translate(A_{16}, l_2) → W_{32}
  1127. Translate(B_{16}, l_2) → Z_{32}
  1128. Translate(C_{16}, l_2) → A_{33}
  1129. Translate(D_{16}, l_2) → B_{33}
  1130. Translate(E_{16}, l_2) → C_{33}
  1131. Translate(F_{16}, l_2) → D_{33}
  1132. Translate(G_{16}, l_2) → E_{33}
  1133. Translate(H_{16}, l_2) → F_{33}
  1134. Translate(I_{16}, l_2) → G_{33}
  1135. Translate(J_{16}, l_2) → H_{33}
  1136. Translate(K_{16}, l_2) → I_{33}
  1137. Translate(L_{16}, l_2) → J_{33}
  1138. Polygon(K_{31}, L_{31}, U_{31}, V_{31}, W_{31}, Z_{31}, A_{32}, B_{32}, C_{32}, D_{32}, E_{32}, F_{32}, M_{31}, G_{32}, H_{32}, I_{32}, J_{32}, K_{32}, L_{32}, M_{32}, N_{32}, O_{32}, P_{32}, N_{31}, Q_{32}, R_{32}, S_{32}, T_{32}, U_{32}, V_{32}, W_{32}, Z_{32}, A_{33}, B_{33}, O_{31}, C_{33}, D_{33}, E_{33}, F_{33}, G_{33}, H_{33}, I_{33}, J_{33}, P_{31}, Q_{31}, R_{31}, S_{31}, T_{31}) → polígono11'', k_{32}, t_{32}, u_{32}, v_{32}, w_{32}, z_{31}, a_{35}, b_{35}, c_{35}, d_{35}, e_{35}, l_{32}, f_{35}, g_{33}, h_{33}, i_{33}, j_{33}, k_{33}, l_{33}, m_{32}, n_{32}, o_{33}, m_{31}, p_{33}, q_{33}, r_{33}, s_{33}, t_{33}, u_{33}, v_{33}, w_{33}, z_{32}, a_{36}, n_{31}, b_{36}, c_{36}, d_{36}, e_{36}, f_{36}, g_{34}, h_{34}, i_{34}, j_{34}, o_{32}, p_{32}, q_{32}, r_{32}, s_{32}
  1139. Translate(M_{10}, l_2) → K_{33}
  1140. Translate(N_{10}, l_2) → L_{33}
  1141. Translate(O_{10}, l_2) → M_{33}
  1142. Translate(P_{10}, l_2) → N_{33}
  1143. Translate(Q_{10}, l_2) → O_{33}
  1144. Translate(R_{10}, l_2) → P_{33}
  1145. Translate(S_{10}, l_2) → Q_{33}
  1146. Translate(T_{10}, l_2) → R_{33}
  1147. Translate(U_{10}, l_2) → S_{33}
  1148. Translate(V_{10}, l_2) → T_{33}
  1149. Translate(W_{10}, l_2) → U_{33}
  1150. Translate(Z_{10}, l_2) → V_{33}
  1151. Translate(A_{11}, l_2) → W_{33}
  1152. Translate(B_{11}, l_2) → Z_{33}
  1153. Translate(C_{11}, l_2) → A_{34}
  1154. Translate(D_{11}, l_2) → B_{34}
  1155. Translate(E_{11}, l_2) → C_{34}
  1156. Translate(F_{11}, l_2) → D_{34}
  1157. Translate(G_{11}, l_2) → E_{34}
  1158. Translate(H_{11}, l_2) → F_{34}
  1159. Translate(I_{11}, l_2) → G_{34}
  1160. Translate(J_{11}, l_2) → H_{34}
  1161. Translate(K_{11}, l_2) → I_{34}
  1162. Translate(L_{11}, l_2) → J_{34}
  1163. Translate(M_{11}, l_2) → K_{34}
  1164. Translate(N_{11}, l_2) → L_{34}
  1165. Translate(O_{11}, l_2) → M_{34}
  1166. Translate(P_{11}, l_2) → N_{34}
  1167. Translate(Q_{11}, l_2) → O_{34}
  1168. Translate(R_{11}, l_2) → P_{34}
  1169. Translate(S_{11}, l_2) → Q_{34}
  1170. Translate(T_{11}, l_2) → R_{34}
  1171. Translate(U_{11}, l_2) → S_{34}
  1172. Translate(V_{11}, l_2) → T_{34}
  1173. Translate(W_{11}, l_2) → U_{34}
  1174. Translate(Z_{11}, l_2) → V_{34}
  1175. Translate(A_{12}, l_2) → W_{34}
  1176. Translate(B_{12}, l_2) → Z_{34}
  1177. Translate(C_{12}, l_2) → A_{35}
  1178. Translate(D_{12}, l_2) → B_{35}
  1179. Translate(E_{12}, l_2) → C_{35}
  1180. Translate(F_{12}, l_2) → D_{35}
  1181. Translate(G_{12}, l_2) → E_{35}
  1182. Translate(H_{12}, l_2) → F_{35}
  1183. Translate(I_{12}, l_2) → G_{35}
  1184. Translate(J_{12}, l_2) → H_{35}
  1185. Translate(K_{12}, l_2) → I_{35}
  1186. Translate(L_{12}, l_2) → J_{35}
  1187. Polygon(K_{33}, L_{33}, U_{33}, V_{33}, W_{33}, Z_{33}, A_{34}, B_{34}, C_{34}, D_{34}, E_{34}, F_{34}, M_{33}, G_{34}, H_{34}, I_{34}, J_{34}, K_{34}, L_{34}, M_{34}, N_{34}, O_{34}, P_{34}, N_{33}, Q_{34}, R_{34}, S_{34}, T_{34}, U_{34}, V_{34}, W_{34}, Z_{34}, A_{35}, B_{35}, O_{33}, C_{35}, D_{35}, E_{35}, F_{35}, G_{35}, H_{35}, I_{35}, J_{35}, P_{33}, Q_{33}, R_{33}, S_{33}, T_{33}) → polígono12', k_{34}, t_{34}, u_{34}, v_{34}, w_{34}, z_{33}, a_{37}, b_{37}, c_{37}, d_{37}, e_{37}, l_{34}, f_{37}, g_{35}, h_{35}, i_{35}, j_{35}, k_{35}, l_{35}, m_{34}, n_{34}, o_{35}, m_{33}, p_{35}, q_{35}, r_{35}, s_{35}, t_{35}, u_{35}, v_{35}, w_{35}, z_{34}, a_{38}, n_{33}, b_{38}, c_{38}, d_{38}, e_{38}, f_{38}, g_{36}, h_{36}, i_{36}, j_{36}, o_{34}, p_{34}, q_{34}, r_{34}, s_{34}
  1188. Translate(H''_6, k_2) → K_{35}
  1189. Translate(G''_6, k_2) → L_{35}
  1190. Translate(D'_7, k_2) → M_{35}
  1191. Translate(G'_6, k_2) → N_{35}
  1192. Translate(H'_6, k_2) → O_{35}
  1193. Translate(I'_6, k_2) → P_{35}
  1194. Translate(Z''_5, k_2) → Q_{35}
  1195. Translate(G_{10}, k_2) → R_{35}
  1196. Translate(H_{10}, k_2) → S_{35}
  1197. Translate(I_{10}, k_2) → T_{35}
  1198. Translate(E'_6, k_2) → U_{35}
  1199. Translate(J'_6, k_2) → V_{35}
  1200. Translate(K'_6, k_2) → W_{35}
  1201. Translate(L'_6, k_2) → Z_{35}
  1202. Translate(M'_6, k_2) → A_{36}
  1203. Translate(Q''_5, k_2) → B_{36}
  1204. Translate(P''_5, k_2) → C_{36}
  1205. Translate(O''_5, k_2) → D_{36}
  1206. Translate(N''_5, k_2) → E_{36}
  1207. Translate(F'_6, k_2) → F_{36}
  1208. Translate(N'_6, k_2) → G_{36}
  1209. Translate(O'_6, k_2) → H_{36}
  1210. Translate(P'_6, k_2) → I_{36}
  1211. Translate(Q'_6, k_2) → J_{36}
  1212. Translate(M''_6, k_2) → K_{36}
  1213. Translate(L''_5, k_2) → L_{36}
  1214. Translate(K''_5, k_2) → M_{36}
  1215. Translate(J''_5, k_2) → N_{36}
  1216. Translate(A'_6, k_2) → O_{36}
  1217. Translate(R'_6, k_2) → P_{36}
  1218. Translate(S'_6, k_2) → Q_{36}
  1219. Translate(T'_6, k_2) → R_{36}
  1220. Translate(U''_5, k_2) → S_{36}
  1221. Translate(V''_5, k_2) → T_{36}
  1222. Translate(W''_5, k_2) → U_{36}
  1223. Translate(B'_6, k_2) → V_{36}
  1224. Translate(W'_6, k_2) → W_{36}
  1225. Translate(V'_6, k_2) → Z_{36}
  1226. Translate(U'_6, k_2) → A_{37}
  1227. Translate(T''_6, k_2) → B_{37}
  1228. Translate(S''_5, k_2) → C_{37}
  1229. Translate(R''_5, k_2) → D_{37}
  1230. Translate(C'_7, k_2) → E_{37}
  1231. Translate(J_{10}, k_2) → F_{37}
  1232. Translate(K_{10}, k_2) → G_{37}
  1233. Translate(L_{10}, k_2) → H_{37}
  1234. Translate(Z'_7, k_2) → I_{37}
  1235. Translate(I''_7, k_2) → J_{37}
  1236. Polygon(K_{35}, L_{35}, U_{35}, V_{35}, W_{35}, Z_{35}, A_{36}, B_{36}, C_{36}, D_{36}, E_{36}, F_{36}, M_{35}, G_{36}, H_{36}, I_{36}, J_{36}, K_{36}, L_{36}, M_{36}, N_{36}, O_{36}, P_{36}, N_{35}, Q_{36}, R_{36}, S_{36}, T_{36}, U_{36}, V_{36}, W_{36}, Z_{36}, A_{37}, B_{37}, O_{35}, C_{37}, D_{37}, E_{37}, F_{37}, G_{37}, H_{37}, I_{37}, J_{37}, P_{35}, Q_{35}, R_{35}, S_{35}, T_{35}) → polígono15, k_{36}, t_{36}, u_{36}, v_{36}, w_{36}, z_{35}, a_{39}, b_{39}, c_{39}, d_{39}, e_{39}, l_{36}, f_{39}, g_{37}, h_{37}, i_{37}, j_{37}, k_{37}, l_{37}, m_{36}, n_{36}, o_{37}, m_{35}, p_{37}, q_{37}, r_{37}, s_{37}, t_{37}, u_{37}, v_{37}, w_{37}, z_{36}, a_{40}, n_{35}, b_{40}, c_{40}, d_{40}, e_{40}, f_{40}, g_{38}, h_{38}, i_{38}, j_{38}, o_{36}, p_{36}, q_{36}, r_{36}, s_{36}
  1237. Translate(M_{14}, k_2) → K_{37}
  1238. Translate(N_{14}, k_2) → L_{37}
  1239. Translate(O_{14}, k_2) → M_{37}
  1240. Translate(P_{14}, k_2) → N_{37}
  1241. Translate(Q_{14}, k_2) → O_{37}
  1242. Translate(R_{14}, k_2) → P_{37}
  1243. Translate(S_{14}, k_2) → Q_{37}
  1244. Translate(T_{14}, k_2) → R_{37}
  1245. Translate(U_{14}, k_2) → S_{37}
  1246. Translate(V_{14}, k_2) → T_{37}
  1247. Translate(W_{14}, k_2) → U_{37}
  1248. Translate(Z_{14}, k_2) → V_{37}
  1249. Translate(A_{15}, k_2) → W_{37}
  1250. Translate(B_{15}, k_2) → Z_{37}
  1251. Translate(C_{15}, k_2) → A_{38}
  1252. Translate(D_{15}, k_2) → B_{38}
  1253. Translate(E_{15}, k_2) → C_{38}
  1254. Translate(F_{15}, k_2) → D_{38}
  1255. Translate(G_{15}, k_2) → E_{38}
  1256. Translate(H_{15}, k_2) → F_{38}
  1257. Translate(I_{15}, k_2) → G_{38}
  1258. Translate(J_{15}, k_2) → H_{38}
  1259. Translate(K_{15}, k_2) → I_{38}
  1260. Translate(L_{15}, k_2) → J_{38}
  1261. Translate(M_{15}, k_2) → K_{38}
  1262. Translate(N_{15}, k_2) → L_{38}
  1263. Translate(O_{15}, k_2) → M_{38}
  1264. Translate(P_{15}, k_2) → N_{38}
  1265. Translate(Q_{15}, k_2) → O_{38}
  1266. Translate(R_{15}, k_2) → P_{38}
  1267. Translate(S_{15}, k_2) → Q_{38}
  1268. Translate(T_{15}, k_2) → R_{38}
  1269. Translate(U_{15}, k_2) → S_{38}
  1270. Translate(V_{15}, k_2) → T_{38}
  1271. Translate(W_{15}, k_2) → U_{38}
  1272. Translate(Z_{15}, k_2) → V_{38}
  1273. Translate(A_{16}, k_2) → W_{38}
  1274. Translate(B_{16}, k_2) → Z_{38}
  1275. Translate(C_{16}, k_2) → A_{39}
  1276. Translate(D_{16}, k_2) → B_{39}
  1277. Translate(E_{16}, k_2) → C_{39}
  1278. Translate(F_{16}, k_2) → D_{39}
  1279. Translate(G_{16}, k_2) → E_{39}
  1280. Translate(H_{16}, k_2) → F_{39}
  1281. Translate(I_{16}, k_2) → G_{39}
  1282. Translate(J_{16}, k_2) → H_{39}
  1283. Translate(K_{16}, k_2) → I_{39}
  1284. Translate(L_{16}, k_2) → J_{39}
  1285. Polygon(K_{37}, L_{37}, U_{37}, V_{37}, W_{37}, Z_{37}, A_{38}, B_{38}, C_{38}, D_{38}, E_{38}, F_{38}, M_{37}, G_{38}, H_{38}, I_{38}, J_{38}, K_{38}, L_{38}, M_{38}, N_{38}, O_{38}, P_{38}, N_{37}, Q_{38}, R_{38}, S_{38}, T_{38}, U_{38}, V_{38}, W_{38}, Z_{38}, A_{39}, B_{39}, O_{37}, C_{39}, D_{39}, E_{39}, F_{39}, G_{39}, H_{39}, I_{39}, J_{39}, P_{37}, Q_{37}, R_{37}, S_{37}, T_{37}) → polígono11''_1, k_{38}, t_{38}, u_{38}, v_{38}, w_{38}, z_{37}, a_{41}, b_{41}, c_{41}, d_{41}, e_{41}, l_{38}, f_{41}, g_{39}, h_{39}, i_{39}, j_{39}, k_{39}, l_{39}, m_{38}, n_{38}, o_{39}, m_{37}, p_{39}, q_{39}, r_{39}, s_{39}, t_{39}, u_{39}, v_{39}, w_{39}, z_{38}, a_{42}, n_{37}, b_{42}, c_{42}, d_{42}, e_{42}, f_{42}, g_{40}, h_{40}, i_{40}, j_{40}, o_{38}, p_{38}, q_{38}, r_{38}, s_{38}
  1286. Translate(M_{16}, g_8) → K_{39}
  1287. Translate(N_{16}, g_8) → L_{39}
  1288. Translate(O_{16}, g_8) → M_{39}
  1289. Translate(P_{16}, g_8) → N_{39}
  1290. Translate(Q_{16}, g_8) → O_{39}
  1291. Translate(R_{16}, g_8) → P_{39}
  1292. Translate(Z'''_1, g_8) → Q_{39}
  1293. Translate(S_{16}, g_8) → R_{39}
  1294. Translate(T_{16}, g_8) → S_{39}
  1295. Translate(U_{16}, g_8) → T_{39}
  1296. Translate(V_{16}, g_8) → U_{39}
  1297. Translate(W_{16}, g_8) → V_{39}
  1298. Translate(Z_{16}, g_8) → W_{39}
  1299. Translate(A_{17}, g_8) → Z_{39}
  1300. Translate(B_{17}, g_8) → A_{40}
  1301. Translate(Q'''_1, g_8) → B_{40}
  1302. Translate(P'''_1, g_8) → C_{40}
  1303. Translate(O'''_1, g_8) → D_{40}
  1304. Translate(N'''_1, g_8) → E_{40}
  1305. Translate(C_{17}, g_8) → F_{40}
  1306. Translate(D_{17}, g_8) → G_{40}
  1307. Translate(E_{17}, g_8) → H_{40}
  1308. Translate(F_{17}, g_8) → I_{40}
  1309. Translate(G_{17}, g_8) → J_{40}
  1310. Translate(H_{17}, g_8) → K_{40}
  1311. Translate(L'''_1, g_8) → L_{40}
  1312. Translate(K'''_1, g_8) → M_{40}
  1313. Translate(J'''_1, g_8) → N_{40}
  1314. Translate(I_{17}, g_8) → O_{40}
  1315. Translate(J_{17}, g_8) → P_{40}
  1316. Translate(K_{17}, g_8) → Q_{40}
  1317. Translate(L_{17}, g_8) → R_{40}
  1318. Translate(U'''_1, g_8) → S_{40}
  1319. Translate(V'''_1, g_8) → T_{40}
  1320. Translate(W'''_1, g_8) → U_{40}
  1321. Translate(M_{17}, g_8) → V_{40}
  1322. Translate(N_{17}, g_8) → W_{40}
  1323. Translate(O_{17}, g_8) → Z_{40}
  1324. Translate(P_{17}, g_8) → A_{41}
  1325. Translate(Q_{17}, g_8) → B_{41}
  1326. Translate(S'''_1, g_8) → C_{41}
  1327. Translate(R'''_1, g_8) → D_{41}
  1328. Translate(R_{17}, g_8) → E_{41}
  1329. Translate(S_{17}, g_8) → F_{41}
  1330. Translate(T_{17}, g_8) → G_{41}
  1331. Translate(U_{17}, g_8) → H_{41}
  1332. Translate(V_{17}, g_8) → I_{41}
  1333. Translate(W_{17}, g_8) → J_{41}
  1334. Polygon(K_{39}, L_{39}, U_{39}, V_{39}, W_{39}, Z_{39}, A_{40}, B_{40}, C_{40}, D_{40}, E_{40}, F_{40}, M_{39}, G_{40}, H_{40}, I_{40}, J_{40}, K_{40}, L_{40}, M_{40}, N_{40}, O_{40}, P_{40}, N_{39}, Q_{40}, R_{40}, S_{40}, T_{40}, U_{40}, V_{40}, W_{40}, Z_{40}, A_{41}, B_{41}, O_{39}, C_{41}, D_{41}, E_{41}, F_{41}, G_{41}, H_{41}, I_{41}, J_{41}, P_{39}, Q_{39}, R_{39}, S_{39}, T_{39}) → polígono16, k_{40}, t_{40}, u_{40}, v_{40}, w_{40}, z_{39}, a_{43}, b_{43}, c_{43}, d_{43}, e_{43}, l_{40}, f_{43}, g_{41}, h_{41}, i_{41}, j_{41}, k_{41}, l_{41}, m_{40}, n_{40}, o_{41}, m_{39}, p_{41}, q_{41}, r_{41}, s_{41}, t_{41}, u_{41}, v_{41}, w_{41}, z_{40}, a_{44}, n_{39}, b_{44}, c_{44}, d_{44}, e_{44}, f_{44}, g_{42}, h_{42}, i_{42}, j_{42}, o_{40}, p_{40}, q_{40}, r_{40}, s_{40}
  1335. Translate(M_{12}, g_8) → K_{41}
  1336. Translate(N_{12}, g_8) → L_{41}
  1337. Translate(O_{12}, g_8) → M_{41}
  1338. Translate(P_{12}, g_8) → N_{41}
  1339. Translate(Q_{12}, g_8) → O_{41}
  1340. Translate(R_{12}, g_8) → P_{41}
  1341. Translate(S_{12}, g_8) → Q_{41}
  1342. Translate(T_{12}, g_8) → R_{41}
  1343. Translate(U_{12}, g_8) → S_{41}
  1344. Translate(V_{12}, g_8) → T_{41}
  1345. Translate(W_{12}, g_8) → U_{41}
  1346. Translate(Z_{12}, g_8) → V_{41}
  1347. Translate(A_{13}, g_8) → W_{41}
  1348. Translate(B_{13}, g_8) → Z_{41}
  1349. Translate(C_{13}, g_8) → A_{42}
  1350. Translate(D_{13}, g_8) → B_{42}
  1351. Translate(E_{13}, g_8) → C_{42}
  1352. Translate(F_{13}, g_8) → D_{42}
  1353. Translate(G_{13}, g_8) → E_{42}
  1354. Translate(H_{13}, g_8) → F_{42}
  1355. Translate(I_{13}, g_8) → G_{42}
  1356. Translate(J_{13}, g_8) → H_{42}
  1357. Translate(K_{13}, g_8) → I_{42}
  1358. Translate(L_{13}, g_8) → J_{42}
  1359. Translate(M_{13}, g_8) → K_{42}
  1360. Translate(N_{13}, g_8) → L_{42}
  1361. Translate(O_{13}, g_8) → M_{42}
  1362. Translate(P_{13}, g_8) → N_{42}
  1363. Translate(Q_{13}, g_8) → O_{42}
  1364. Translate(R_{13}, g_8) → P_{42}
  1365. Translate(S_{13}, g_8) → Q_{42}
  1366. Translate(T_{13}, g_8) → R_{42}
  1367. Translate(U_{13}, g_8) → S_{42}
  1368. Translate(V_{13}, g_8) → T_{42}
  1369. Translate(W_{13}, g_8) → U_{42}
  1370. Translate(Z_{13}, g_8) → V_{42}
  1371. Translate(A_{14}, g_8) → W_{42}
  1372. Translate(B_{14}, g_8) → Z_{42}
  1373. Translate(C_{14}, g_8) → A_{43}
  1374. Translate(D_{14}, g_8) → B_{43}
  1375. Translate(E_{14}, g_8) → C_{43}
  1376. Translate(F_{14}, g_8) → D_{43}
  1377. Translate(G_{14}, g_8) → E_{43}
  1378. Translate(H_{14}, g_8) → F_{43}
  1379. Translate(I_{14}, g_8) → G_{43}
  1380. Translate(J_{14}, g_8) → H_{43}
  1381. Translate(K_{14}, g_8) → I_{43}
  1382. Translate(L_{14}, g_8) → J_{43}
  1383. Polygon(K_{41}, L_{41}, U_{41}, V_{41}, W_{41}, Z_{41}, A_{42}, B_{42}, C_{42}, D_{42}, E_{42}, F_{42}, M_{41}, G_{42}, H_{42}, I_{42}, J_{42}, K_{42}, L_{42}, M_{42}, N_{42}, O_{42}, P_{42}, N_{41}, Q_{42}, R_{42}, S_{42}, T_{42}, U_{42}, V_{42}, W_{42}, Z_{42}, A_{43}, B_{43}, O_{41}, C_{43}, D_{43}, E_{43}, F_{43}, G_{43}, H_{43}, I_{43}, J_{43}, P_{41}, Q_{41}, R_{41}, S_{41}, T_{41}) → polígono17, k_{42}, t_{42}, u_{42}, v_{42}, w_{42}, z_{41}, a_{45}, b_{45}, c_{45}, d_{45}, e_{45}, l_{42}, f_{45}, g_{43}, h_{43}, i_{43}, j_{43}, k_{43}, l_{43}, m_{42}, n_{42}, o_{43}, m_{41}, p_{43}, q_{43}, r_{43}, s_{43}, t_{43}, u_{43}, v_{43}, w_{43}, z_{42}, a_{46}, n_{41}, b_{46}, c_{46}, d_{46}, e_{46}, f_{46}, g_{44}, h_{44}, i_{44}, j_{44}, o_{42}, p_{42}, q_{42}, r_{42}, s_{42}
  1384. Translate(M_{14}, g_8) → K_{43}
  1385. Translate(N_{14}, g_8) → L_{43}
  1386. Translate(O_{14}, g_8) → M_{43}
  1387. Translate(P_{14}, g_8) → N_{43}
  1388. Translate(Q_{14}, g_8) → O_{43}
  1389. Translate(R_{14}, g_8) → P_{43}
  1390. Translate(S_{14}, g_8) → Q_{43}
  1391. Translate(T_{14}, g_8) → R_{43}
  1392. Translate(U_{14}, g_8) → S_{43}
  1393. Translate(V_{14}, g_8) → T_{43}
  1394. Translate(W_{14}, g_8) → U_{43}
  1395. Translate(Z_{14}, g_8) → V_{43}
  1396. Translate(A_{15}, g_8) → W_{43}
  1397. Translate(B_{15}, g_8) → Z_{43}
  1398. Translate(C_{15}, g_8) → A_{44}
  1399. Translate(D_{15}, g_8) → B_{44}
  1400. Translate(E_{15}, g_8) → C_{44}
  1401. Translate(F_{15}, g_8) → D_{44}
  1402. Translate(G_{15}, g_8) → E_{44}
  1403. Translate(H_{15}, g_8) → F_{44}
  1404. Translate(I_{15}, g_8) → G_{44}
  1405. Translate(J_{15}, g_8) → H_{44}
  1406. Translate(K_{15}, g_8) → I_{44}
  1407. Translate(L_{15}, g_8) → J_{44}
  1408. Translate(M_{15}, g_8) → K_{44}
  1409. Translate(N_{15}, g_8) → L_{44}
  1410. Translate(O_{15}, g_8) → M_{44}
  1411. Translate(P_{15}, g_8) → N_{44}
  1412. Translate(Q_{15}, g_8) → O_{44}
  1413. Translate(R_{15}, g_8) → P_{44}
  1414. Translate(S_{15}, g_8) → Q_{44}
  1415. Translate(T_{15}, g_8) → R_{44}
  1416. Translate(U_{15}, g_8) → S_{44}
  1417. Translate(V_{15}, g_8) → T_{44}
  1418. Translate(W_{15}, g_8) → U_{44}
  1419. Translate(Z_{15}, g_8) → V_{44}
  1420. Translate(A_{16}, g_8) → W_{44}
  1421. Translate(B_{16}, g_8) → Z_{44}
  1422. Translate(C_{16}, g_8) → A_{45}
  1423. Translate(D_{16}, g_8) → B_{45}
  1424. Translate(E_{16}, g_8) → C_{45}
  1425. Translate(F_{16}, g_8) → D_{45}
  1426. Translate(G_{16}, g_8) → E_{45}
  1427. Translate(H_{16}, g_8) → F_{45}
  1428. Translate(I_{16}, g_8) → G_{45}
  1429. Translate(J_{16}, g_8) → H_{45}
  1430. Translate(K_{16}, g_8) → I_{45}
  1431. Translate(L_{16}, g_8) → J_{45}
  1432. Polygon(K_{43}, L_{43}, U_{43}, V_{43}, W_{43}, Z_{43}, A_{44}, B_{44}, C_{44}, D_{44}, E_{44}, F_{44}, M_{43}, G_{44}, H_{44}, I_{44}, J_{44}, K_{44}, L_{44}, M_{44}, N_{44}, O_{44}, P_{44}, N_{43}, Q_{44}, R_{44}, S_{44}, T_{44}, U_{44}, V_{44}, W_{44}, Z_{44}, A_{45}, B_{45}, O_{43}, C_{45}, D_{45}, E_{45}, F_{45}, G_{45}, H_{45}, I_{45}, J_{45}, P_{43}, Q_{43}, R_{43}, S_{43}, T_{43}) → polígono11''_2, k_{44}, t_{44}, u_{44}, v_{44}, w_{44}, z_{43}, a_{47}, b_{47}, c_{47}, d_{47}, e_{47}, l_{44}, f_{47}, g_{45}, h_{45}, i_{45}, j_{45}, k_{45}, l_{45}, m_{44}, n_{44}, o_{45}, m_{43}, p_{45}, q_{45}, r_{45}, s_{45}, t_{45}, u_{45}, v_{45}, w_{45}, z_{44}, a_{48}, n_{43}, b_{48}, c_{48}, d_{48}, e_{48}, f_{48}, g_{46}, h_{46}, i_{46}, j_{46}, o_{44}, p_{44}, q_{44}, r_{44}, s_{44}
  1433. Translate(Z_{17}, k_2) → K_{45}
  1434. Translate(A_{18}, k_2) → L_{45}
  1435. Translate(B_{18}, k_2) → M_{45}
  1436. Translate(C_{18}, k_2) → N_{45}
  1437. Translate(D_{18}, k_2) → O_{45}
  1438. Translate(E_{18}, k_2) → P_{45}
  1439. Translate(F_{18}, k_2) → Q_{45}
  1440. Translate(G_{18}, k_2) → R_{45}
  1441. Translate(H_{18}, k_2) → S_{45}
  1442. Translate(I_{18}, k_2) → T_{45}
  1443. Translate(J_{18}, k_2) → U_{45}
  1444. Translate(K_{18}, k_2) → V_{45}
  1445. Translate(L_{18}, k_2) → W_{45}
  1446. Translate(M_{18}, k_2) → Z_{45}
  1447. Translate(N_{18}, k_2) → A_{46}
  1448. Translate(O_{18}, k_2) → B_{46}
  1449. Translate(P_{18}, k_2) → C_{46}
  1450. Translate(Q_{18}, k_2) → D_{46}
  1451. Translate(R_{18}, k_2) → E_{46}
  1452. Translate(S_{18}, k_2) → F_{46}
  1453. Translate(T_{18}, k_2) → G_{46}
  1454. Translate(U_{18}, k_2) → H_{46}
  1455. Translate(V_{18}, k_2) → I_{46}
  1456. Translate(W_{18}, k_2) → J_{46}
  1457. Translate(Z_{18}, k_2) → K_{46}
  1458. Translate(A_{19}, k_2) → L_{46}
  1459. Translate(B_{19}, k_2) → M_{46}
  1460. Translate(C_{19}, k_2) → N_{46}
  1461. Translate(D_{19}, k_2) → O_{46}
  1462. Translate(E_{19}, k_2) → P_{46}
  1463. Translate(F_{19}, k_2) → Q_{46}
  1464. Translate(G_{19}, k_2) → R_{46}
  1465. Translate(H_{19}, k_2) → S_{46}
  1466. Translate(I_{19}, k_2) → T_{46}
  1467. Translate(J_{19}, k_2) → U_{46}
  1468. Translate(K_{19}, k_2) → V_{46}
  1469. Translate(L_{19}, k_2) → W_{46}
  1470. Translate(M_{19}, k_2) → Z_{46}
  1471. Translate(N_{19}, k_2) → A_{47}
  1472. Translate(O_{19}, k_2) → B_{47}
  1473. Translate(P_{19}, k_2) → C_{47}
  1474. Translate(Q_{19}, k_2) → D_{47}
  1475. Translate(R_{19}, k_2) → E_{47}
  1476. Translate(S_{19}, k_2) → F_{47}
  1477. Translate(T_{19}, k_2) → G_{47}
  1478. Translate(U_{19}, k_2) → H_{47}
  1479. Translate(V_{19}, k_2) → I_{47}
  1480. Translate(W_{19}, k_2) → J_{47}
  1481. Polygon(K_{45}, L_{45}, U_{45}, V_{45}, W_{45}, Z_{45}, A_{46}, B_{46}, C_{46}, D_{46}, E_{46}, F_{46}, M_{45}, G_{46}, H_{46}, I_{46}, J_{46}, K_{46}, L_{46}, M_{46}, N_{46}, O_{46}, P_{46}, N_{45}, Q_{46}, R_{46}, S_{46}, T_{46}, U_{46}, V_{46}, W_{46}, Z_{46}, A_{47}, B_{47}, O_{45}, C_{47}, D_{47}, E_{47}, F_{47}, G_{47}, H_{47}, I_{47}, J_{47}, P_{45}, Q_{45}, R_{45}, S_{45}, T_{45}) → polígono9'', k_{46}, t_{46}, u_{46}, v_{46}, w_{46}, z_{45}, a_{49}, b_{49}, c_{49}, d_{49}, e_{49}, l_{46}, f_{49}, g_{47}, h_{47}, i_{47}, j_{47}, k_{47}, l_{47}, m_{46}, n_{46}, o_{47}, m_{45}, p_{47}, q_{47}, r_{47}, s_{47}, t_{47}, u_{47}, v_{47}, w_{47}, z_{46}, a_{50}, n_{45}, b_{50}, c_{50}, d_{50}, e_{50}, f_{50}, g_{48}, h_{48}, i_{48}, j_{48}, o_{46}, p_{46}, q_{46}, r_{46}, s_{46}
  1482. Translate(M_{12}, k_2) → K_{47}
  1483. Translate(N_{12}, k_2) → L_{47}
  1484. Translate(O_{12}, k_2) → M_{47}
  1485. Translate(P_{12}, k_2) → N_{47}
  1486. Translate(Q_{12}, k_2) → O_{47}
  1487. Translate(R_{12}, k_2) → P_{47}
  1488. Translate(S_{12}, k_2) → Q_{47}
  1489. Translate(T_{12}, k_2) → R_{47}
  1490. Translate(U_{12}, k_2) → S_{47}
  1491. Translate(V_{12}, k_2) → T_{47}
  1492. Translate(W_{12}, k_2) → U_{47}
  1493. Translate(Z_{12}, k_2) → V_{47}
  1494. Translate(A_{13}, k_2) → W_{47}
  1495. Translate(B_{13}, k_2) → Z_{47}
  1496. Translate(C_{13}, k_2) → A_{48}
  1497. Translate(D_{13}, k_2) → B_{48}
  1498. Translate(E_{13}, k_2) → C_{48}
  1499. Translate(F_{13}, k_2) → D_{48}
  1500. Translate(G_{13}, k_2) → E_{48}
  1501. Translate(H_{13}, k_2) → F_{48}
  1502. Translate(I_{13}, k_2) → G_{48}
  1503. Translate(J_{13}, k_2) → H_{48}
  1504. Translate(K_{13}, k_2) → I_{48}
  1505. Translate(L_{13}, k_2) → J_{48}
  1506. Translate(M_{13}, k_2) → K_{48}
  1507. Translate(N_{13}, k_2) → L_{48}
  1508. Translate(O_{13}, k_2) → M_{48}
  1509. Translate(P_{13}, k_2) → N_{48}
  1510. Translate(Q_{13}, k_2) → O_{48}
  1511. Translate(R_{13}, k_2) → P_{48}
  1512. Translate(S_{13}, k_2) → Q_{48}
  1513. Translate(T_{13}, k_2) → R_{48}
  1514. Translate(U_{13}, k_2) → S_{48}
  1515. Translate(V_{13}, k_2) → T_{48}
  1516. Translate(W_{13}, k_2) → U_{48}
  1517. Translate(Z_{13}, k_2) → V_{48}
  1518. Translate(A_{14}, k_2) → W_{48}
  1519. Translate(B_{14}, k_2) → Z_{48}
  1520. Translate(C_{14}, k_2) → A_{49}
  1521. Translate(D_{14}, k_2) → B_{49}
  1522. Translate(E_{14}, k_2) → C_{49}
  1523. Translate(F_{14}, k_2) → D_{49}
  1524. Translate(G_{14}, k_2) → E_{49}
  1525. Translate(H_{14}, k_2) → F_{49}
  1526. Translate(I_{14}, k_2) → G_{49}
  1527. Translate(J_{14}, k_2) → H_{49}
  1528. Translate(K_{14}, k_2) → I_{49}
  1529. Translate(L_{14}, k_2) → J_{49}
  1530. Polygon(K_{47}, L_{47}, U_{47}, V_{47}, W_{47}, Z_{47}, A_{48}, B_{48}, C_{48}, D_{48}, E_{48}, F_{48}, M_{47}, G_{48}, H_{48}, I_{48}, J_{48}, K_{48}, L_{48}, M_{48}, N_{48}, O_{48}, P_{48}, N_{47}, Q_{48}, R_{48}, S_{48}, T_{48}, U_{48}, V_{48}, W_{48}, Z_{48}, A_{49}, B_{49}, O_{47}, C_{49}, D_{49}, E_{49}, F_{49}, G_{49}, H_{49}, I_{49}, J_{49}, P_{47}, Q_{47}, R_{47}, S_{47}, T_{47}) → polígono18, k_{48}, t_{48}, u_{48}, v_{48}, w_{48}, z_{47}, a_{51}, b_{51}, c_{51}, d_{51}, e_{51}, l_{48}, f_{51}, g_{49}, h_{49}, i_{49}, j_{49}, k_{49}, l_{49}, m_{48}, n_{48}, o_{49}, m_{47}, p_{49}, q_{49}, r_{49}, s_{49}, t_{49}, u_{49}, v_{49}, w_{49}, z_{48}, a_{52}, n_{47}, b_{52}, c_{52}, d_{52}, e_{52}, f_{52}, g_{50}, h_{50}, i_{50}, j_{50}, o_{48}, p_{48}, q_{48}, r_{48}, s_{48}
  1531. Translate(M_{10}, k_2) → K_{49}
  1532. Translate(N_{10}, k_2) → L_{49}
  1533. Translate(O_{10}, k_2) → M_{49}
  1534. Translate(P_{10}, k_2) → N_{49}
  1535. Translate(Q_{10}, k_2) → O_{49}
  1536. Translate(R_{10}, k_2) → P_{49}
  1537. Translate(S_{10}, k_2) → Q_{49}
  1538. Translate(T_{10}, k_2) → R_{49}
  1539. Translate(U_{10}, k_2) → S_{49}
  1540. Translate(V_{10}, k_2) → T_{49}
  1541. Translate(W_{10}, k_2) → U_{49}
  1542. Translate(Z_{10}, k_2) → V_{49}
  1543. Translate(A_{11}, k_2) → W_{49}
  1544. Translate(B_{11}, k_2) → Z_{49}
  1545. Translate(C_{11}, k_2) → A_{50}
  1546. Translate(D_{11}, k_2) → B_{50}
  1547. Translate(E_{11}, k_2) → C_{50}
  1548. Translate(F_{11}, k_2) → D_{50}
  1549. Translate(G_{11}, k_2) → E_{50}
  1550. Translate(H_{11}, k_2) → F_{50}
  1551. Translate(I_{11}, k_2) → G_{50}
  1552. Translate(J_{11}, k_2) → H_{50}
  1553. Translate(K_{11}, k_2) → I_{50}
  1554. Translate(L_{11}, k_2) → J_{50}
  1555. Translate(M_{11}, k_2) → K_{50}
  1556. Translate(N_{11}, k_2) → L_{50}
  1557. Translate(O_{11}, k_2) → M_{50}
  1558. Translate(P_{11}, k_2) → N_{50}
  1559. Translate(Q_{11}, k_2) → O_{50}
  1560. Translate(R_{11}, k_2) → P_{50}
  1561. Translate(S_{11}, k_2) → Q_{50}
  1562. Translate(T_{11}, k_2) → R_{50}
  1563. Translate(U_{11}, k_2) → S_{50}
  1564. Translate(V_{11}, k_2) → T_{50}
  1565. Translate(W_{11}, k_2) → U_{50}
  1566. Translate(Z_{11}, k_2) → V_{50}
  1567. Translate(A_{12}, k_2) → W_{50}
  1568. Translate(B_{12}, k_2) → Z_{50}
  1569. Translate(C_{12}, k_2) → A_{51}
  1570. Translate(D_{12}, k_2) → B_{51}
  1571. Translate(E_{12}, k_2) → C_{51}
  1572. Translate(F_{12}, k_2) → D_{51}
  1573. Translate(G_{12}, k_2) → E_{51}
  1574. Translate(H_{12}, k_2) → F_{51}
  1575. Translate(I_{12}, k_2) → G_{51}
  1576. Translate(J_{12}, k_2) → H_{51}
  1577. Translate(K_{12}, k_2) → I_{51}
  1578. Translate(L_{12}, k_2) → J_{51}
  1579. Polygon(K_{49}, L_{49}, U_{49}, V_{49}, W_{49}, Z_{49}, A_{50}, B_{50}, C_{50}, D_{50}, E_{50}, F_{50}, M_{49}, G_{50}, H_{50}, I_{50}, J_{50}, K_{50}, L_{50}, M_{50}, N_{50}, O_{50}, P_{50}, N_{49}, Q_{50}, R_{50}, S_{50}, T_{50}, U_{50}, V_{50}, W_{50}, Z_{50}, A_{51}, B_{51}, O_{49}, C_{51}, D_{51}, E_{51}, F_{51}, G_{51}, H_{51}, I_{51}, J_{51}, P_{49}, Q_{49}, R_{49}, S_{49}, T_{49}) → polígono12'_1, k_{50}, t_{50}, u_{50}, v_{50}, w_{50}, z_{49}, a_{53}, b_{53}, c_{53}, d_{53}, e_{53}, l_{50}, f_{53}, g_{51}, h_{51}, i_{51}, j_{51}, k_{51}, l_{51}, m_{50}, n_{50}, o_{51}, m_{49}, p_{51}, q_{51}, r_{51}, s_{51}, t_{51}, u_{51}, v_{51}, w_{51}, z_{50}, a_{54}, n_{49}, b_{54}, c_{54}, d_{54}, e_{54}, f_{54}, g_{52}, h_{52}, i_{52}, j_{52}, o_{50}, p_{50}, q_{50}, r_{50}, s_{50}
  1580. Translate(K_{37}, g_8) → K_{51}
  1581. Translate(L_{37}, g_8) → L_{51}
  1582. Translate(M_{37}, g_8) → M_{51}
  1583. Translate(N_{37}, g_8) → N_{51}
  1584. Translate(O_{37}, g_8) → O_{51}
  1585. Translate(P_{37}, g_8) → P_{51}
  1586. Translate(Q_{37}, g_8) → Q_{51}
  1587. Translate(R_{37}, g_8) → R_{51}
  1588. Translate(S_{37}, g_8) → S_{51}
  1589. Translate(T_{37}, g_8) → T_{51}
  1590. Translate(U_{37}, g_8) → U_{51}
  1591. Translate(V_{37}, g_8) → V_{51}
  1592. Translate(W_{37}, g_8) → W_{51}
  1593. Translate(Z_{37}, g_8) → Z_{51}
  1594. Translate(A_{38}, g_8) → A_{52}
  1595. Translate(B_{38}, g_8) → B_{52}
  1596. Translate(C_{38}, g_8) → C_{52}
  1597. Translate(D_{38}, g_8) → D_{52}
  1598. Translate(E_{38}, g_8) → E_{52}
  1599. Translate(F_{38}, g_8) → F_{52}
  1600. Translate(G_{38}, g_8) → G_{52}
  1601. Translate(H_{38}, g_8) → H_{52}
  1602. Translate(I_{38}, g_8) → I_{52}
  1603. Translate(J_{38}, g_8) → J_{52}
  1604. Translate(K_{38}, g_8) → K_{52}
  1605. Translate(L_{38}, g_8) → L_{52}
  1606. Translate(M_{38}, g_8) → M_{52}
  1607. Translate(N_{38}, g_8) → N_{52}
  1608. Translate(O_{38}, g_8) → O_{52}
  1609. Translate(P_{38}, g_8) → P_{52}
  1610. Translate(Q_{38}, g_8) → Q_{52}
  1611. Translate(R_{38}, g_8) → R_{52}
  1612. Translate(S_{38}, g_8) → S_{52}
  1613. Translate(T_{38}, g_8) → T_{52}
  1614. Translate(U_{38}, g_8) → U_{52}
  1615. Translate(V_{38}, g_8) → V_{52}
  1616. Translate(W_{38}, g_8) → W_{52}
  1617. Translate(Z_{38}, g_8) → Z_{52}
  1618. Translate(A_{39}, g_8) → A_{53}
  1619. Translate(B_{39}, g_8) → B_{53}
  1620. Translate(C_{39}, g_8) → C_{53}
  1621. Translate(D_{39}, g_8) → D_{53}
  1622. Translate(E_{39}, g_8) → E_{53}
  1623. Translate(F_{39}, g_8) → F_{53}
  1624. Translate(G_{39}, g_8) → G_{53}
  1625. Translate(H_{39}, g_8) → H_{53}
  1626. Translate(I_{39}, g_8) → I_{53}
  1627. Translate(J_{39}, g_8) → J_{53}
  1628. Polygon(K_{51}, L_{51}, U_{51}, V_{51}, W_{51}, Z_{51}, A_{52}, B_{52}, C_{52}, D_{52}, E_{52}, F_{52}, M_{51}, G_{52}, H_{52}, I_{52}, J_{52}, K_{52}, L_{52}, M_{52}, N_{52}, O_{52}, P_{52}, N_{51}, Q_{52}, R_{52}, S_{52}, T_{52}, U_{52}, V_{52}, W_{52}, Z_{52}, A_{53}, B_{53}, O_{51}, C_{53}, D_{53}, E_{53}, F_{53}, G_{53}, H_{53}, I_{53}, J_{53}, P_{51}, Q_{51}, R_{51}, S_{51}, T_{51}) → polígono19, k_{52}, t_{52}, u_{52}, v_{52}, w_{52}, z_{51}, a_{55}, b_{55}, c_{55}, d_{55}, e_{55}, l_{52}, f_{55}, g_{53}, h_{53}, i_{53}, j_{53}, k_{53}, l_{53}, m_{52}, n_{52}, o_{53}, m_{51}, p_{53}, q_{53}, r_{53}, s_{53}, t_{53}, u_{53}, v_{53}, w_{53}, z_{52}, a_{56}, n_{51}, b_{56}, c_{56}, d_{56}, e_{56}, f_{56}, g_{54}, h_{54}, i_{54}, j_{54}, o_{52}, p_{52}, q_{52}, r_{52}, s_{52}
  1629. Translate(H', m_{53}) → H''_7
  1630. Translate(G', m_{53}) → G''_7
  1631. Translate(D, m_{53}) → D'_8
  1632. Translate(G, m_{53}) → G'_7
  1633. Translate(H, m_{53}) → H'_7
  1634. Translate(I, m_{53}) → I'_7
  1635. Translate(Z', m_{53}) → Z''_6
  1636. Translate(D_1, m_{53}) → K_{53}
  1637. Translate(E_1, m_{53}) → L_{53}
  1638. Translate(F_1, m_{53}) → M_{53}
  1639. Translate(E, m_{53}) → E'_7
  1640. Translate(J, m_{53}) → J'_7
  1641. Translate(K, m_{53}) → K'_7
  1642. Translate(L, m_{53}) → L'_7
  1643. Translate(M, m_{53}) → M'_7
  1644. Translate(Q', m_{53}) → Q''_6
  1645. Translate(P', m_{53}) → P''_6
  1646. Translate(O', m_{53}) → O''_6
  1647. Translate(N', m_{53}) → N''_6
  1648. Translate(F, m_{53}) → F'_7
  1649. Translate(N, m_{53}) → N'_7
  1650. Translate(O, m_{53}) → O'_7
  1651. Translate(P, m_{53}) → P'_7
  1652. Translate(Q, m_{53}) → Q'_7
  1653. Translate(M', m_{53}) → M''_7
  1654. Translate(L', m_{53}) → L''_6
  1655. Translate(K', m_{53}) → K''_6
  1656. Translate(J', m_{53}) → J''_6
  1657. Translate(A, m_{53}) → A'_7
  1658. Translate(R, m_{53}) → R'_7
  1659. Translate(S, m_{53}) → S'_7
  1660. Translate(T, m_{53}) → T'_7
  1661. Translate(U', m_{53}) → U''_6
  1662. Translate(V', m_{53}) → V''_6
  1663. Translate(W', m_{53}) → W''_6
  1664. Translate(B, m_{53}) → B'_7
  1665. Translate(W, m_{53}) → W'_7
  1666. Translate(V, m_{53}) → V'_7
  1667. Translate(U, m_{53}) → U'_7
  1668. Translate(T', m_{53}) → T''_7
  1669. Translate(S', m_{53}) → S''_6
  1670. Translate(R', m_{53}) → R''_6
  1671. Translate(C, m_{53}) → C'_8
  1672. Translate(C_1, m_{53}) → N_{53}
  1673. Translate(B_1, m_{53}) → O_{53}
  1674. Translate(A_1, m_{53}) → P_{53}
  1675. Translate(Z, m_{53}) → Z'_8
  1676. Translate(I', m_{53}) → I''_8
  1677. Polygon(H''_7, G''_7, E'_7, J'_7, K'_7, L'_7, M'_7, Q''_6, P''_6, O''_6, N''_6, F'_7, D'_8, N'_7, O'_7, P'_7, Q'_7, M''_7, L''_6, K''_6, J''_6, A'_7, R'_7, G'_7, S'_7, T'_7, U''_6, V''_6, W''_6, B'_7, W'_7, V'_7, U'_7, T''_7, H'_7, S''_6, R''_6, C'_8, N_{53}, O_{53}, P_{53}, Z'_8, I''_8, I'_7, Z''_6, K_{53}, L_{53}, M_{53}) → polígono8'_6, h''_7, m_{54}, e'_7, j'_8, k'_8, l'_8, m'_9, q''_6, p''_6, o''_6, n''_6, g''_7, f'_7, n'_8, o'_8, p'_8, q'_8, m''_7, l''_6, k''_6, j''_6, a'_7, d'_8, r'_8, s'_8, t'_9, u''_6, v''_6, w''_6, b'_7, w'_8, v'_8, u'_8, g'_8, t''_7, s''_6, r''_6, c'_8, n_{53}, o_{54}, p_{54}, z'_8, i''_8, h'_8, i'_9, z''_6, k_{54}, l_{54}
  1678. Translate(H''_1, m_{53}) → Q_{53}
  1679. Translate(G''_1, m_{53}) → R_{53}
  1680. Translate(D'_2, m_{53}) → S_{53}
  1681. Translate(G'_1, m_{53}) → T_{53}
  1682. Translate(H'_1, m_{53}) → U_{53}
  1683. Translate(I'_1, m_{53}) → V_{53}
  1684. Translate(Z'', m_{53}) → Z'''_3
  1685. Translate(G_1, m_{53}) → W_{53}
  1686. Translate(H_1, m_{53}) → Z_{53}
  1687. Translate(I_1, m_{53}) → A_{54}
  1688. Translate(E'_1, m_{53}) → B_{54}
  1689. Translate(J'_1, m_{53}) → C_{54}
  1690. Translate(K'_1, m_{53}) → D_{54}
  1691. Translate(L'_1, m_{53}) → E_{54}
  1692. Translate(M'_1, m_{53}) → F_{54}
  1693. Translate(Q'', m_{53}) → Q'''_3
  1694. Translate(P'', m_{53}) → P'''_3
  1695. Translate(O'', m_{53}) → O'''_3
  1696. Translate(N'', m_{53}) → N'''_3
  1697. Translate(F'_1, m_{53}) → G_{54}
  1698. Translate(N'_1, m_{53}) → H_{54}
  1699. Translate(O'_1, m_{53}) → I_{54}
  1700. Translate(P'_1, m_{53}) → J_{54}
  1701. Translate(Q'_1, m_{53}) → K_{54}
  1702. Translate(M''_1, m_{53}) → L_{54}
  1703. Translate(L'', m_{53}) → L'''_3
  1704. Translate(K'', m_{53}) → K'''_3
  1705. Translate(J'', m_{53}) → J'''_3
  1706. Translate(A'_1, m_{53}) → M_{54}
  1707. Translate(R'_1, m_{53}) → N_{54}
  1708. Translate(S'_1, m_{53}) → O_{54}
  1709. Translate(T'_1, m_{53}) → P_{54}
  1710. Translate(U'', m_{53}) → U'''_3
  1711. Translate(V'', m_{53}) → V'''_3
  1712. Translate(W'', m_{53}) → W'''_3
  1713. Translate(B'_1, m_{53}) → Q_{54}
  1714. Translate(W'_1, m_{53}) → R_{54}
  1715. Translate(V'_1, m_{53}) → S_{54}
  1716. Translate(U'_1, m_{53}) → T_{54}
  1717. Translate(T''_1, m_{53}) → U_{54}
  1718. Translate(S'', m_{53}) → S'''_3
  1719. Translate(R'', m_{53}) → R'''_3
  1720. Translate(C'_2, m_{53}) → V_{54}
  1721. Translate(O_1, m_{53}) → W_{54}
  1722. Translate(P_1, m_{53}) → Z_{54}
  1723. Translate(Q_1, m_{53}) → A_{55}
  1724. Translate(Z'_2, m_{53}) → B_{55}
  1725. Translate(I''_2, m_{53}) → C_{55}
  1726. Polygon(Q_{53}, R_{53}, B_{54}, C_{54}, D_{54}, E_{54}, F_{54}, Q'''_3, P'''_3, O'''_3, N'''_3, G_{54}, S_{53}, H_{54}, I_{54}, J_{54}, K_{54}, L_{54}, L'''_3, K'''_3, J'''_3, M_{54}, N_{54}, T_{53}, O_{54}, P_{54}, U'''_3, V'''_3, W'''_3, Q_{54}, R_{54}, S_{54}, T_{54}, U_{54}, U_{53}, S'''_3, R'''_3, V_{54}, W_{54}, Z_{54}, A_{55}, B_{55}, C_{55}, V_{53}, Z'''_3, W_{53}, Z_{53}, A_{54}) → polígono8''_3, q_{54}, a_{57}, b_{57}, c_{57}, d_{57}, e_{57}, f_{57}, q'''_3, p'''_3, o'''_3, n'''_3, r_{54}, g_{55}, h_{55}, i_{55}, j_{55}, k_{55}, l_{55}, l'''_3, k'''_3, j'''_3, m_{55}, s_{54}, n_{54}, o_{55}, p_{55}, u'''_3, v'''_3, w'''_3, q_{55}, r_{55}, s_{55}, t_{55}, t_{54}, u_{55}, s'''_3, r'''_3, v_{55}, w_{55}, z_{54}, a_{58}, b_{58}, c_{58}, u_{54}, v_{54}, z'''_3, w_{54}, z_{53}
  1727. Translate(Z_{19}, m_{53}) → D_{55}
  1728. Translate(A_{20}, m_{53}) → E_{55}
  1729. Translate(B_{20}, m_{53}) → F_{55}
  1730. Translate(C_{20}, m_{53}) → G_{55}
  1731. Translate(D_{20}, m_{53}) → H_{55}
  1732. Translate(E_{20}, m_{53}) → I_{55}
  1733. Translate(F_{20}, m_{53}) → J_{55}
  1734. Translate(G_{20}, m_{53}) → K_{55}
  1735. Translate(H_{20}, m_{53}) → L_{55}
  1736. Translate(I_{20}, m_{53}) → M_{55}
  1737. Translate(J_{20}, m_{53}) → N_{55}
  1738. Translate(K_{20}, m_{53}) → O_{55}
  1739. Translate(L_{20}, m_{53}) → P_{55}
  1740. Translate(M_{20}, m_{53}) → Q_{55}
  1741. Translate(N_{20}, m_{53}) → R_{55}
  1742. Translate(O_{20}, m_{53}) → S_{55}
  1743. Translate(P_{20}, m_{53}) → T_{55}
  1744. Translate(Q_{20}, m_{53}) → U_{55}
  1745. Translate(R_{20}, m_{53}) → V_{55}
  1746. Translate(S_{20}, m_{53}) → W_{55}
  1747. Translate(T_{20}, m_{53}) → Z_{55}
  1748. Translate(U_{20}, m_{53}) → A_{56}
  1749. Translate(V_{20}, m_{53}) → B_{56}
  1750. Translate(W_{20}, m_{53}) → C_{56}
  1751. Translate(Z_{20}, m_{53}) → D_{56}
  1752. Translate(A_{21}, m_{53}) → E_{56}
  1753. Translate(B_{21}, m_{53}) → F_{56}
  1754. Translate(C_{21}, m_{53}) → G_{56}
  1755. Translate(D_{21}, m_{53}) → H_{56}
  1756. Translate(E_{21}, m_{53}) → I_{56}
  1757. Translate(F_{21}, m_{53}) → J_{56}
  1758. Translate(G_{21}, m_{53}) → K_{56}
  1759. Translate(H_{21}, m_{53}) → L_{56}
  1760. Translate(I_{21}, m_{53}) → M_{56}
  1761. Translate(J_{21}, m_{53}) → N_{56}
  1762. Translate(K_{21}, m_{53}) → O_{56}
  1763. Translate(L_{21}, m_{53}) → P_{56}
  1764. Translate(M_{21}, m_{53}) → Q_{56}
  1765. Translate(N_{21}, m_{53}) → R_{56}
  1766. Translate(O_{21}, m_{53}) → S_{56}
  1767. Translate(P_{21}, m_{53}) → T_{56}
  1768. Translate(Q_{21}, m_{53}) → U_{56}
  1769. Translate(R_{21}, m_{53}) → V_{56}
  1770. Translate(S_{21}, m_{53}) → W_{56}
  1771. Translate(T_{21}, m_{53}) → Z_{56}
  1772. Translate(U_{21}, m_{53}) → A_{57}
  1773. Translate(V_{21}, m_{53}) → B_{57}
  1774. Translate(W_{21}, m_{53}) → C_{57}
  1775. Polygon(D_{55}, E_{55}, N_{55}, O_{55}, P_{55}, Q_{55}, R_{55}, S_{55}, T_{55}, U_{55}, V_{55}, W_{55}, F_{55}, Z_{55}, A_{56}, B_{56}, C_{56}, D_{56}, E_{56}, F_{56}, G_{56}, H_{56}, I_{56}, G_{55}, J_{56}, K_{56}, L_{56}, M_{56}, N_{56}, O_{56}, P_{56}, Q_{56}, R_{56}, S_{56}, H_{55}, T_{56}, U_{56}, V_{56}, W_{56}, Z_{56}, A_{57}, B_{57}, C_{57}, I_{55}, J_{55}, K_{55}, L_{55}, M_{55}) → polígono20, d_{58}, m_{56}, n_{55}, o_{56}, p_{56}, q_{56}, r_{56}, s_{56}, t_{56}, u_{56}, v_{56}, e_{58}, w_{56}, z_{55}, a_{59}, b_{59}, c_{59}, d_{59}, e_{59}, f_{59}, g_{57}, h_{57}, f_{58}, i_{57}, j_{57}, k_{57}, l_{57}, m_{57}, n_{56}, o_{57}, p_{57}, q_{57}, r_{57}, g_{56}, s_{57}, t_{57}, u_{57}, v_{57}, w_{57}, z_{56}, a_{60}, b_{60}, c_{60}, h_{56}, i_{56}, j_{56}, k_{56}, l_{56}
  1776. Translate(H''_5, m_{53}) → D_{57}
  1777. Translate(G''_5, m_{53}) → E_{57}
  1778. Translate(D'_6, m_{53}) → F_{57}
  1779. Translate(G'_5, m_{53}) → G_{57}
  1780. Translate(H'_5, m_{53}) → H_{57}
  1781. Translate(I'_5, m_{53}) → I_{57}
  1782. Translate(Z''_4, m_{53}) → J_{57}
  1783. Translate(A_8, m_{53}) → K_{57}
  1784. Translate(B_8, m_{53}) → L_{57}
  1785. Translate(C_8, m_{53}) → M_{57}
  1786. Translate(E'_5, m_{53}) → N_{57}
  1787. Translate(J'_5, m_{53}) → O_{57}
  1788. Translate(K'_5, m_{53}) → P_{57}
  1789. Translate(L'_5, m_{53}) → Q_{57}
  1790. Translate(M'_5, m_{53}) → R_{57}
  1791. Translate(Q''_4, m_{53}) → S_{57}
  1792. Translate(P''_4, m_{53}) → T_{57}
  1793. Translate(O''_4, m_{53}) → U_{57}
  1794. Translate(N''_4, m_{53}) → V_{57}
  1795. Translate(F'_5, m_{53}) → W_{57}
  1796. Translate(N'_5, m_{53}) → Z_{57}
  1797. Translate(O'_5, m_{53}) → A_{58}
  1798. Translate(P'_5, m_{53}) → B_{58}
  1799. Translate(Q'_5, m_{53}) → C_{58}
  1800. Translate(M''_5, m_{53}) → D_{58}
  1801. Translate(L''_4, m_{53}) → E_{58}
  1802. Translate(K''_4, m_{53}) → F_{58}
  1803. Translate(J''_4, m_{53}) → G_{58}
  1804. Translate(A'_5, m_{53}) → H_{58}
  1805. Translate(R'_5, m_{53}) → I_{58}
  1806. Translate(S'_5, m_{53}) → J_{58}
  1807. Translate(T'_5, m_{53}) → K_{58}
  1808. Translate(U''_4, m_{53}) → L_{58}
  1809. Translate(V''_4, m_{53}) → M_{58}
  1810. Translate(W''_4, m_{53}) → N_{58}
  1811. Translate(B'_5, m_{53}) → O_{58}
  1812. Translate(W'_5, m_{53}) → P_{58}
  1813. Translate(V'_5, m_{53}) → Q_{58}
  1814. Translate(U'_5, m_{53}) → R_{58}
  1815. Translate(T''_5, m_{53}) → S_{58}
  1816. Translate(S''_4, m_{53}) → T_{58}
  1817. Translate(R''_4, m_{53}) → U_{58}
  1818. Translate(C'_6, m_{53}) → V_{58}
  1819. Translate(D_8, m_{53}) → W_{58}
  1820. Translate(E_8, m_{53}) → Z_{58}
  1821. Translate(F_8, m_{53}) → A_{59}
  1822. Translate(Z'_6, m_{53}) → B_{59}
  1823. Translate(I''_6, m_{53}) → C_{59}
  1824. Polygon(D_{57}, E_{57}, N_{57}, O_{57}, P_{57}, Q_{57}, R_{57}, S_{57}, T_{57}, U_{57}, V_{57}, W_{57}, F_{57}, Z_{57}, A_{58}, B_{58}, C_{58}, D_{58}, E_{58}, F_{58}, G_{58}, H_{58}, I_{58}, G_{57}, J_{58}, K_{58}, L_{58}, M_{58}, N_{58}, O_{58}, P_{58}, Q_{58}, R_{58}, S_{58}, H_{57}, T_{58}, U_{58}, V_{58}, W_{58}, Z_{58}, A_{59}, B_{59}, C_{59}, I_{57}, J_{57}, K_{57}, L_{57}, M_{57}) → polígono21, d_{60}, m_{58}, n_{57}, o_{58}, p_{58}, q_{58}, r_{58}, s_{58}, t_{58}, u_{58}, v_{58}, e_{60}, w_{58}, z_{57}, a_{61}, b_{61}, c_{61}, d_{61}, e_{61}, f_{61}, g_{59}, h_{59}, f_{60}, i_{59}, j_{59}, k_{59}, l_{59}, m_{59}, n_{58}, o_{59}, p_{59}, q_{59}, r_{59}, g_{58}, s_{59}, t_{59}, u_{59}, v_{59}, w_{59}, z_{58}, a_{62}, b_{62}, c_{62}, h_{58}, i_{58}, j_{58}, k_{58}, l_{58}
  1825. Translate(D_{57}, m_{53}) → D_{59}
  1826. Translate(E_{57}, m_{53}) → E_{59}
  1827. Translate(F_{57}, m_{53}) → F_{59}
  1828. Translate(G_{57}, m_{53}) → G_{59}
  1829. Translate(H_{57}, m_{53}) → H_{59}
  1830. Translate(I_{57}, m_{53}) → I_{59}
  1831. Translate(J_{57}, m_{53}) → J_{59}
  1832. Translate(K_{57}, m_{53}) → K_{59}
  1833. Translate(L_{57}, m_{53}) → L_{59}
  1834. Translate(M_{57}, m_{53}) → M_{59}
  1835. Translate(N_{57}, m_{53}) → N_{59}
  1836. Translate(O_{57}, m_{53}) → O_{59}
  1837. Translate(P_{57}, m_{53}) → P_{59}
  1838. Translate(Q_{57}, m_{53}) → Q_{59}
  1839. Translate(R_{57}, m_{53}) → R_{59}
  1840. Translate(S_{57}, m_{53}) → S_{59}
  1841. Translate(T_{57}, m_{53}) → T_{59}
  1842. Translate(U_{57}, m_{53}) → U_{59}
  1843. Translate(V_{57}, m_{53}) → V_{59}
  1844. Translate(W_{57}, m_{53}) → W_{59}
  1845. Translate(Z_{57}, m_{53}) → Z_{59}
  1846. Translate(A_{58}, m_{53}) → A_{60}
  1847. Translate(B_{58}, m_{53}) → B_{60}
  1848. Translate(C_{58}, m_{53}) → C_{60}
  1849. Translate(D_{58}, m_{53}) → D_{60}
  1850. Translate(E_{58}, m_{53}) → E_{60}
  1851. Translate(F_{58}, m_{53}) → F_{60}
  1852. Translate(G_{58}, m_{53}) → G_{60}
  1853. Translate(H_{58}, m_{53}) → H_{60}
  1854. Translate(I_{58}, m_{53}) → I_{60}
  1855. Translate(J_{58}, m_{53}) → J_{60}
  1856. Translate(K_{58}, m_{53}) → K_{60}
  1857. Translate(L_{58}, m_{53}) → L_{60}
  1858. Translate(M_{58}, m_{53}) → M_{60}
  1859. Translate(N_{58}, m_{53}) → N_{60}
  1860. Translate(O_{58}, m_{53}) → O_{60}
  1861. Translate(P_{58}, m_{53}) → P_{60}
  1862. Translate(Q_{58}, m_{53}) → Q_{60}
  1863. Translate(R_{58}, m_{53}) → R_{60}
  1864. Translate(S_{58}, m_{53}) → S_{60}
  1865. Translate(T_{58}, m_{53}) → T_{60}
  1866. Translate(U_{58}, m_{53}) → U_{60}
  1867. Translate(V_{58}, m_{53}) → V_{60}
  1868. Translate(W_{58}, m_{53}) → W_{60}
  1869. Translate(Z_{58}, m_{53}) → Z_{60}
  1870. Translate(A_{59}, m_{53}) → A_{61}
  1871. Translate(B_{59}, m_{53}) → B_{61}
  1872. Translate(C_{59}, m_{53}) → C_{61}
  1873. Polygon(D_{59}, E_{59}, N_{59}, O_{59}, P_{59}, Q_{59}, R_{59}, S_{59}, T_{59}, U_{59}, V_{59}, W_{59}, F_{59}, Z_{59}, A_{60}, B_{60}, C_{60}, D_{60}, E_{60}, F_{60}, G_{60}, H_{60}, I_{60}, G_{59}, J_{60}, K_{60}, L_{60}, M_{60}, N_{60}, O_{60}, P_{60}, Q_{60}, R_{60}, S_{60}, H_{59}, T_{60}, U_{60}, V_{60}, W_{60}, Z_{60}, A_{61}, B_{61}, C_{61}, I_{59}, J_{59}, K_{59}, L_{59}, M_{59}) → polígono21', d_{62}, m_{60}, n_{59}, o_{60}, p_{60}, q_{60}, r_{60}, s_{60}, t_{60}, u_{60}, v_{60}, e_{62}, w_{60}, z_{59}, a_{63}, b_{63}, c_{63}, d_{63}, e_{63}, f_{63}, g_{61}, h_{61}, f_{62}, i_{61}, j_{61}, k_{61}, l_{61}, m_{61}, n_{60}, o_{61}, p_{61}, q_{61}, r_{61}, g_{60}, s_{61}, t_{61}, u_{61}, v_{61}, w_{61}, z_{60}, a_{64}, b_{64}, c_{64}, h_{60}, i_{60}, j_{60}, k_{60}, l_{60}
  1874. Translate(A_4, m_{53}) → D_{61}
  1875. Translate(B_4, m_{53}) → E_{61}
  1876. Translate(C_4, m_{53}) → F_{61}
  1877. Translate(D_4, m_{53}) → G_{61}
  1878. Translate(E_4, m_{53}) → H_{61}
  1879. Translate(F_4, m_{53}) → I_{61}
  1880. Translate(G_4, m_{53}) → J_{61}
  1881. Translate(H_4, m_{53}) → K_{61}
  1882. Translate(I_4, m_{53}) → L_{61}
  1883. Translate(J_4, m_{53}) → M_{61}
  1884. Translate(K_4, m_{53}) → N_{61}
  1885. Translate(L_4, m_{53}) → O_{61}
  1886. Translate(M_4, m_{53}) → P_{61}
  1887. Translate(N_4, m_{53}) → Q_{61}
  1888. Translate(O_4, m_{53}) → R_{61}
  1889. Translate(P_4, m_{53}) → S_{61}
  1890. Translate(Q_4, m_{53}) → T_{61}
  1891. Translate(R_4, m_{53}) → U_{61}
  1892. Translate(S_4, m_{53}) → V_{61}
  1893. Translate(T_4, m_{53}) → W_{61}
  1894. Translate(U_4, m_{53}) → Z_{61}
  1895. Translate(V_4, m_{53}) → A_{62}
  1896. Translate(W_4, m_{53}) → B_{62}
  1897. Translate(Z_4, m_{53}) → C_{62}
  1898. Translate(A_5, m_{53}) → D_{62}
  1899. Translate(B_5, m_{53}) → E_{62}
  1900. Translate(C_5, m_{53}) → F_{62}
  1901. Translate(D_5, m_{53}) → G_{62}
  1902. Translate(E_5, m_{53}) → H_{62}
  1903. Translate(F_5, m_{53}) → I_{62}
  1904. Translate(G_5, m_{53}) → J_{62}
  1905. Translate(H_5, m_{53}) → K_{62}
  1906. Translate(I_5, m_{53}) → L_{62}
  1907. Translate(J_5, m_{53}) → M_{62}
  1908. Translate(K_5, m_{53}) → N_{62}
  1909. Translate(L_5, m_{53}) → O_{62}
  1910. Translate(M_5, m_{53}) → P_{62}
  1911. Translate(N_5, m_{53}) → Q_{62}
  1912. Translate(O_5, m_{53}) → R_{62}
  1913. Translate(P_5, m_{53}) → S_{62}
  1914. Translate(Q_5, m_{53}) → T_{62}
  1915. Translate(R_5, m_{53}) → U_{62}
  1916. Translate(S_5, m_{53}) → V_{62}
  1917. Translate(T_5, m_{53}) → W_{62}
  1918. Translate(U_5, m_{53}) → Z_{62}
  1919. Translate(V_5, m_{53}) → A_{63}
  1920. Translate(W_5, m_{53}) → B_{63}
  1921. Translate(Z_5, m_{53}) → C_{63}
  1922. Polygon(D_{61}, E_{61}, N_{61}, O_{61}, P_{61}, Q_{61}, R_{61}, S_{61}, T_{61}, U_{61}, V_{61}, W_{61}, F_{61}, Z_{61}, A_{62}, B_{62}, C_{62}, D_{62}, E_{62}, F_{62}, G_{62}, H_{62}, I_{62}, G_{61}, J_{62}, K_{62}, L_{62}, M_{62}, N_{62}, O_{62}, P_{62}, Q_{62}, R_{62}, S_{62}, H_{61}, T_{62}, U_{62}, V_{62}, W_{62}, Z_{62}, A_{63}, B_{63}, C_{63}, I_{61}, J_{61}, K_{61}, L_{61}, M_{61}) → polígono9'_1, d_{64}, m_{62}, n_{61}, o_{62}, p_{62}, q_{62}, r_{62}, s_{62}, t_{62}, u_{62}, v_{62}, e_{64}, w_{62}, z_{61}, a_{65}, b_{65}, c_{65}, d_{65}, e_{65}, f_{65}, g_{63}, h_{63}, f_{64}, i_{63}, j_{63}, k_{63}, l_{63}, m_{63}, n_{62}, o_{63}, p_{63}, q_{63}, r_{63}, g_{62}, s_{63}, t_{63}, u_{63}, v_{63}, w_{63}, z_{62}, a_{66}, b_{66}, c_{66}, h_{62}, i_{62}, j_{62}, k_{62}, l_{62}
  1923. Translate(H''_2, m_{53}) → D_{63}
  1924. Translate(G''_2, m_{53}) → E_{63}
  1925. Translate(D'_3, m_{53}) → F_{63}
  1926. Translate(G'_2, m_{53}) → G_{63}
  1927. Translate(H'_2, m_{53}) → H_{63}
  1928. Translate(I'_2, m_{53}) → I_{63}
  1929. Translate(Z''_1, m_{53}) → J_{63}
  1930. Translate(R_1, m_{53}) → K_{63}
  1931. Translate(S_1, m_{53}) → L_{63}
  1932. Translate(T_1, m_{53}) → M_{63}
  1933. Translate(E'_2, m_{53}) → N_{63}
  1934. Translate(J'_2, m_{53}) → O_{63}
  1935. Translate(K'_2, m_{53}) → P_{63}
  1936. Translate(L'_2, m_{53}) → Q_{63}
  1937. Translate(M'_2, m_{53}) → R_{63}
  1938. Translate(Q''_1, m_{53}) → S_{63}
  1939. Translate(P''_1, m_{53}) → T_{63}
  1940. Translate(O''_1, m_{53}) → U_{63}
  1941. Translate(N''_1, m_{53}) → V_{63}
  1942. Translate(F'_2, m_{53}) → W_{63}
  1943. Translate(N'_2, m_{53}) → Z_{63}
  1944. Translate(O'_2, m_{53}) → A_{64}
  1945. Translate(P'_2, m_{53}) → B_{64}
  1946. Translate(Q'_2, m_{53}) → C_{64}
  1947. Translate(M''_2, m_{53}) → D_{64}
  1948. Translate(L''_1, m_{53}) → E_{64}
  1949. Translate(K''_1, m_{53}) → F_{64}
  1950. Translate(J''_1, m_{53}) → G_{64}
  1951. Translate(A'_2, m_{53}) → H_{64}
  1952. Translate(R'_2, m_{53}) → I_{64}
  1953. Translate(S'_2, m_{53}) → J_{64}
  1954. Translate(T'_2, m_{53}) → K_{64}
  1955. Translate(U''_1, m_{53}) → L_{64}
  1956. Translate(V''_1, m_{53}) → M_{64}
  1957. Translate(W''_1, m_{53}) → N_{64}
  1958. Translate(B'_2, m_{53}) → O_{64}
  1959. Translate(W'_2, m_{53}) → P_{64}
  1960. Translate(V'_2, m_{53}) → Q_{64}
  1961. Translate(U'_2, m_{53}) → R_{64}
  1962. Translate(T''_2, m_{53}) → S_{64}
  1963. Translate(S''_1, m_{53}) → T_{64}
  1964. Translate(R''_1, m_{53}) → U_{64}
  1965. Translate(C'_3, m_{53}) → V_{64}
  1966. Translate(U_1, m_{53}) → W_{64}
  1967. Translate(V_1, m_{53}) → Z_{64}
  1968. Translate(W_1, m_{53}) → A_{65}
  1969. Translate(Z'_3, m_{53}) → B_{65}
  1970. Translate(I''_3, m_{53}) → C_{65}
  1971. Polygon(D_{63}, E_{63}, N_{63}, O_{63}, P_{63}, Q_{63}, R_{63}, S_{63}, T_{63}, U_{63}, V_{63}, W_{63}, F_{63}, Z_{63}, A_{64}, B_{64}, C_{64}, D_{64}, E_{64}, F_{64}, G_{64}, H_{64}, I_{64}, G_{63}, J_{64}, K_{64}, L_{64}, M_{64}, N_{64}, O_{64}, P_{64}, Q_{64}, R_{64}, S_{64}, H_{63}, T_{64}, U_{64}, V_{64}, W_{64}, Z_{64}, A_{65}, B_{65}, C_{65}, I_{63}, J_{63}, K_{63}, L_{63}, M_{63}) → polígono22, d_{66}, m_{64}, n_{63}, o_{64}, p_{64}, q_{64}, r_{64}, s_{64}, t_{64}, u_{64}, v_{64}, e_{66}, w_{64}, z_{63}, a_{67}, b_{67}, c_{67}, d_{67}, e_{67}, f_{67}, g_{65}, h_{65}, f_{66}, i_{65}, j_{65}, k_{65}, l_{65}, m_{65}, n_{64}, o_{65}, p_{65}, q_{65}, r_{65}, g_{64}, s_{65}, t_{65}, u_{65}, v_{65}, w_{65}, z_{64}, a_{68}, b_{68}, c_{68}, h_{64}, i_{64}, j_{64}, k_{64}, l_{64}
  1972. Translate(D_{55}, m_{53}) → D_{65}
  1973. Translate(E_{55}, m_{53}) → E_{65}
  1974. Translate(F_{55}, m_{53}) → F_{65}
  1975. Translate(G_{55}, m_{53}) → G_{65}
  1976. Translate(H_{55}, m_{53}) → H_{65}
  1977. Translate(I_{55}, m_{53}) → I_{65}
  1978. Translate(J_{55}, m_{53}) → J_{65}
  1979. Translate(K_{55}, m_{53}) → K_{65}
  1980. Translate(L_{55}, m_{53}) → L_{65}
  1981. Translate(M_{55}, m_{53}) → M_{65}
  1982. Translate(N_{55}, m_{53}) → N_{65}
  1983. Translate(O_{55}, m_{53}) → O_{65}
  1984. Translate(P_{55}, m_{53}) → P_{65}
  1985. Translate(Q_{55}, m_{53}) → Q_{65}
  1986. Translate(R_{55}, m_{53}) → R_{65}
  1987. Translate(S_{55}, m_{53}) → S_{65}
  1988. Translate(T_{55}, m_{53}) → T_{65}
  1989. Translate(U_{55}, m_{53}) → U_{65}
  1990. Translate(V_{55}, m_{53}) → V_{65}
  1991. Translate(W_{55}, m_{53}) → W_{65}
  1992. Translate(Z_{55}, m_{53}) → Z_{65}
  1993. Translate(A_{56}, m_{53}) → A_{66}
  1994. Translate(B_{56}, m_{53}) → B_{66}
  1995. Translate(C_{56}, m_{53}) → C_{66}
  1996. Translate(D_{56}, m_{53}) → D_{66}
  1997. Translate(E_{56}, m_{53}) → E_{66}
  1998. Translate(F_{56}, m_{53}) → F_{66}
  1999. Translate(G_{56}, m_{53}) → G_{66}
  2000. Translate(H_{56}, m_{53}) → H_{66}
  2001. Translate(I_{56}, m_{53}) → I_{66}
  2002. Translate(J_{56}, m_{53}) → J_{66}
  2003. Translate(K_{56}, m_{53}) → K_{66}
  2004. Translate(L_{56}, m_{53}) → L_{66}
  2005. Translate(M_{56}, m_{53}) → M_{66}
  2006. Translate(N_{56}, m_{53}) → N_{66}
  2007. Translate(O_{56}, m_{53}) → O_{66}
  2008. Translate(P_{56}, m_{53}) → P_{66}
  2009. Translate(Q_{56}, m_{53}) → Q_{66}
  2010. Translate(R_{56}, m_{53}) → R_{66}
  2011. Translate(S_{56}, m_{53}) → S_{66}
  2012. Translate(T_{56}, m_{53}) → T_{66}
  2013. Translate(U_{56}, m_{53}) → U_{66}
  2014. Translate(V_{56}, m_{53}) → V_{66}
  2015. Translate(W_{56}, m_{53}) → W_{66}
  2016. Translate(Z_{56}, m_{53}) → Z_{66}
  2017. Translate(A_{57}, m_{53}) → A_{67}
  2018. Translate(B_{57}, m_{53}) → B_{67}
  2019. Translate(C_{57}, m_{53}) → C_{67}
  2020. Polygon(D_{65}, E_{65}, N_{65}, O_{65}, P_{65}, Q_{65}, R_{65}, S_{65}, T_{65}, U_{65}, V_{65}, W_{65}, F_{65}, Z_{65}, A_{66}, B_{66}, C_{66}, D_{66}, E_{66}, F_{66}, G_{66}, H_{66}, I_{66}, G_{65}, J_{66}, K_{66}, L_{66}, M_{66}, N_{66}, O_{66}, P_{66}, Q_{66}, R_{66}, S_{66}, H_{65}, T_{66}, U_{66}, V_{66}, W_{66}, Z_{66}, A_{67}, B_{67}, C_{67}, I_{65}, J_{65}, K_{65}, L_{65}, M_{65}) → polígono20', d_{68}, m_{66}, n_{65}, o_{66}, p_{66}, q_{66}, r_{66}, s_{66}, t_{66}, u_{66}, v_{66}, e_{68}, w_{66}, z_{65}, a_{69}, b_{69}, c_{69}, d_{69}, e_{69}, f_{69}, g_{67}, h_{67}, f_{68}, i_{67}, j_{67}, k_{67}, l_{67}, m_{67}, n_{66}, o_{67}, p_{67}, q_{67}, r_{67}, g_{66}, s_{67}, t_{67}, u_{67}, v_{67}, w_{67}, z_{66}, a_{70}, b_{70}, c_{70}, h_{66}, i_{66}, j_{66}, k_{66}, l_{66}
  2021. Translate(D_{61}, k_2) → D_{67}
  2022. Translate(E_{61}, k_2) → E_{67}
  2023. Translate(F_{61}, k_2) → F_{67}
  2024. Translate(G_{61}, k_2) → G_{67}
  2025. Translate(H_{61}, k_2) → H_{67}
  2026. Translate(I_{61}, k_2) → I_{67}
  2027. Translate(J_{61}, k_2) → J_{67}
  2028. Translate(K_{61}, k_2) → K_{67}
  2029. Translate(L_{61}, k_2) → L_{67}
  2030. Translate(M_{61}, k_2) → M_{67}
  2031. Translate(N_{61}, k_2) → N_{67}
  2032. Translate(O_{61}, k_2) → O_{67}
  2033. Translate(P_{61}, k_2) → P_{67}
  2034. Translate(Q_{61}, k_2) → Q_{67}
  2035. Translate(R_{61}, k_2) → R_{67}
  2036. Translate(S_{61}, k_2) → S_{67}
  2037. Translate(T_{61}, k_2) → T_{67}
  2038. Translate(U_{61}, k_2) → U_{67}
  2039. Translate(V_{61}, k_2) → V_{67}
  2040. Translate(W_{61}, k_2) → W_{67}
  2041. Translate(Z_{61}, k_2) → Z_{67}
  2042. Translate(A_{62}, k_2) → A_{68}
  2043. Translate(B_{62}, k_2) → B_{68}
  2044. Translate(C_{62}, k_2) → C_{68}
  2045. Translate(D_{62}, k_2) → D_{68}
  2046. Translate(E_{62}, k_2) → E_{68}
  2047. Translate(F_{62}, k_2) → F_{68}
  2048. Translate(G_{62}, k_2) → G_{68}
  2049. Translate(H_{62}, k_2) → H_{68}
  2050. Translate(I_{62}, k_2) → I_{68}
  2051. Translate(J_{62}, k_2) → J_{68}
  2052. Translate(K_{62}, k_2) → K_{68}
  2053. Translate(L_{62}, k_2) → L_{68}
  2054. Translate(M_{62}, k_2) → M_{68}
  2055. Translate(N_{62}, k_2) → N_{68}
  2056. Translate(O_{62}, k_2) → O_{68}
  2057. Translate(P_{62}, k_2) → P_{68}
  2058. Translate(Q_{62}, k_2) → Q_{68}
  2059. Translate(R_{62}, k_2) → R_{68}
  2060. Translate(S_{62}, k_2) → S_{68}
  2061. Translate(T_{62}, k_2) → T_{68}
  2062. Translate(U_{62}, k_2) → U_{68}
  2063. Translate(V_{62}, k_2) → V_{68}
  2064. Translate(W_{62}, k_2) → W_{68}
  2065. Translate(Z_{62}, k_2) → Z_{68}
  2066. Translate(A_{63}, k_2) → A_{69}
  2067. Translate(B_{63}, k_2) → B_{69}
  2068. Translate(C_{63}, k_2) → C_{69}
  2069. Polygon(D_{67}, E_{67}, N_{67}, O_{67}, P_{67}, Q_{67}, R_{67}, S_{67}, T_{67}, U_{67}, V_{67}, W_{67}, F_{67}, Z_{67}, A_{68}, B_{68}, C_{68}, D_{68}, E_{68}, F_{68}, G_{68}, H_{68}, I_{68}, G_{67}, J_{68}, K_{68}, L_{68}, M_{68}, N_{68}, O_{68}, P_{68}, Q_{68}, R_{68}, S_{68}, H_{67}, T_{68}, U_{68}, V_{68}, W_{68}, Z_{68}, A_{69}, B_{69}, C_{69}, I_{67}, J_{67}, K_{67}, L_{67}, M_{67}) → polígono23, d_{70}, m_{68}, n_{67}, o_{68}, p_{68}, q_{68}, r_{68}, s_{68}, t_{68}, u_{68}, v_{68}, e_{70}, w_{68}, z_{67}, a_{71}, b_{71}, c_{71}, d_{71}, e_{71}, f_{71}, g_{69}, h_{69}, f_{70}, i_{69}, j_{69}, k_{69}, l_{69}, m_{69}, n_{68}, o_{69}, p_{69}, q_{69}, r_{69}, g_{68}, s_{69}, t_{69}, u_{69}, v_{69}, w_{69}, z_{68}, a_{72}, b_{72}, c_{72}, h_{68}, i_{68}, j_{68}, k_{68}, l_{68}
  2070. Translate(A_4, k_2) → D_{69}
  2071. Translate(B_4, k_2) → E_{69}
  2072. Translate(C_4, k_2) → F_{69}
  2073. Translate(D_4, k_2) → G_{69}
  2074. Translate(E_4, k_2) → H_{69}
  2075. Translate(F_4, k_2) → I_{69}
  2076. Translate(G_4, k_2) → J_{69}
  2077. Translate(H_4, k_2) → K_{69}
  2078. Translate(I_4, k_2) → L_{69}
  2079. Translate(J_4, k_2) → M_{69}
  2080. Translate(K_4, k_2) → N_{69}
  2081. Translate(L_4, k_2) → O_{69}
  2082. Translate(M_4, k_2) → P_{69}
  2083. Translate(N_4, k_2) → Q_{69}
  2084. Translate(O_4, k_2) → R_{69}
  2085. Translate(P_4, k_2) → S_{69}
  2086. Translate(Q_4, k_2) → T_{69}
  2087. Translate(R_4, k_2) → U_{69}
  2088. Translate(S_4, k_2) → V_{69}
  2089. Translate(T_4, k_2) → W_{69}
  2090. Translate(U_4, k_2) → Z_{69}
  2091. Translate(V_4, k_2) → A_{70}
  2092. Translate(W_4, k_2) → B_{70}
  2093. Translate(Z_4, k_2) → C_{70}
  2094. Translate(A_5, k_2) → D_{70}
  2095. Translate(B_5, k_2) → E_{70}
  2096. Translate(C_5, k_2) → F_{70}
  2097. Translate(D_5, k_2) → G_{70}
  2098. Translate(E_5, k_2) → H_{70}
  2099. Translate(F_5, k_2) → I_{70}
  2100. Translate(G_5, k_2) → J_{70}
  2101. Translate(H_5, k_2) → K_{70}
  2102. Translate(I_5, k_2) → L_{70}
  2103. Translate(J_5, k_2) → M_{70}
  2104. Translate(K_5, k_2) → N_{70}
  2105. Translate(L_5, k_2) → O_{70}
  2106. Translate(M_5, k_2) → P_{70}
  2107. Translate(N_5, k_2) → Q_{70}
  2108. Translate(O_5, k_2) → R_{70}
  2109. Translate(P_5, k_2) → S_{70}
  2110. Translate(Q_5, k_2) → T_{70}
  2111. Translate(R_5, k_2) → U_{70}
  2112. Translate(S_5, k_2) → V_{70}
  2113. Translate(T_5, k_2) → W_{70}
  2114. Translate(U_5, k_2) → Z_{70}
  2115. Translate(V_5, k_2) → A_{71}
  2116. Translate(W_5, k_2) → B_{71}
  2117. Translate(Z_5, k_2) → C_{71}
  2118. Polygon(D_{69}, E_{69}, N_{69}, O_{69}, P_{69}, Q_{69}, R_{69}, S_{69}, T_{69}, U_{69}, V_{69}, W_{69}, F_{69}, Z_{69}, A_{70}, B_{70}, C_{70}, D_{70}, E_{70}, F_{70}, G_{70}, H_{70}, I_{70}, G_{69}, J_{70}, K_{70}, L_{70}, M_{70}, N_{70}, O_{70}, P_{70}, Q_{70}, R_{70}, S_{70}, H_{69}, T_{70}, U_{70}, V_{70}, W_{70}, Z_{70}, A_{71}, B_{71}, C_{71}, I_{69}, J_{69}, K_{69}, L_{69}, M_{69}) → polígono9'_2, d_{72}, m_{70}, n_{69}, o_{70}, p_{70}, q_{70}, r_{70}, s_{70}, t_{70}, u_{70}, v_{70}, e_{72}, w_{70}, z_{69}, a_{73}, b_{73}, c_{73}, d_{73}, e_{73}, f_{73}, g_{71}, h_{71}, f_{72}, i_{71}, j_{71}, k_{71}, l_{71}, m_{71}, n_{70}, o_{71}, p_{71}, q_{71}, r_{71}, g_{70}, s_{71}, t_{71}, u_{71}, v_{71}, w_{71}, z_{70}, a_{74}, b_{74}, c_{74}, h_{70}, i_{70}, j_{70}, k_{70}, l_{70}
  2119. Translate(D_{57}, k_2) → D_{71}
  2120. Translate(E_{57}, k_2) → E_{71}
  2121. Translate(F_{57}, k_2) → F_{71}
  2122. Translate(G_{57}, k_2) → G_{71}
  2123. Translate(H_{57}, k_2) → H_{71}
  2124. Translate(I_{57}, k_2) → I_{71}
  2125. Translate(J_{57}, k_2) → J_{71}
  2126. Translate(K_{57}, k_2) → K_{71}
  2127. Translate(L_{57}, k_2) → L_{71}
  2128. Translate(M_{57}, k_2) → M_{71}
  2129. Translate(N_{57}, k_2) → N_{71}
  2130. Translate(O_{57}, k_2) → O_{71}
  2131. Translate(P_{57}, k_2) → P_{71}
  2132. Translate(Q_{57}, k_2) → Q_{71}
  2133. Translate(R_{57}, k_2) → R_{71}
  2134. Translate(S_{57}, k_2) → S_{71}
  2135. Translate(T_{57}, k_2) → T_{71}
  2136. Translate(U_{57}, k_2) → U_{71}
  2137. Translate(V_{57}, k_2) → V_{71}
  2138. Translate(W_{57}, k_2) → W_{71}
  2139. Translate(Z_{57}, k_2) → Z_{71}
  2140. Translate(A_{58}, k_2) → A_{72}
  2141. Translate(B_{58}, k_2) → B_{72}
  2142. Translate(C_{58}, k_2) → C_{72}
  2143. Translate(D_{58}, k_2) → D_{72}
  2144. Translate(E_{58}, k_2) → E_{72}
  2145. Translate(F_{58}, k_2) → F_{72}
  2146. Translate(G_{58}, k_2) → G_{72}
  2147. Translate(H_{58}, k_2) → H_{72}
  2148. Translate(I_{58}, k_2) → I_{72}
  2149. Translate(J_{58}, k_2) → J_{72}
  2150. Translate(K_{58}, k_2) → K_{72}
  2151. Translate(L_{58}, k_2) → L_{72}
  2152. Translate(M_{58}, k_2) → M_{72}
  2153. Translate(N_{58}, k_2) → N_{72}
  2154. Translate(O_{58}, k_2) → O_{72}
  2155. Translate(P_{58}, k_2) → P_{72}
  2156. Translate(Q_{58}, k_2) → Q_{72}
  2157. Translate(R_{58}, k_2) → R_{72}
  2158. Translate(S_{58}, k_2) → S_{72}
  2159. Translate(T_{58}, k_2) → T_{72}
  2160. Translate(U_{58}, k_2) → U_{72}
  2161. Translate(V_{58}, k_2) → V_{72}
  2162. Translate(W_{58}, k_2) → W_{72}
  2163. Translate(Z_{58}, k_2) → Z_{72}
  2164. Translate(A_{59}, k_2) → A_{73}
  2165. Translate(B_{59}, k_2) → B_{73}
  2166. Translate(C_{59}, k_2) → C_{73}
  2167. Polygon(D_{71}, E_{71}, N_{71}, O_{71}, P_{71}, Q_{71}, R_{71}, S_{71}, T_{71}, U_{71}, V_{71}, W_{71}, F_{71}, Z_{71}, A_{72}, B_{72}, C_{72}, D_{72}, E_{72}, F_{72}, G_{72}, H_{72}, I_{72}, G_{71}, J_{72}, K_{72}, L_{72}, M_{72}, N_{72}, O_{72}, P_{72}, Q_{72}, R_{72}, S_{72}, H_{71}, T_{72}, U_{72}, V_{72}, W_{72}, Z_{72}, A_{73}, B_{73}, C_{73}, I_{71}, J_{71}, K_{71}, L_{71}, M_{71}) → polígono21'_1, d_{74}, m_{72}, n_{71}, o_{72}, p_{72}, q_{72}, r_{72}, s_{72}, t_{72}, u_{72}, v_{72}, e_{74}, w_{72}, z_{71}, a_{75}, b_{75}, c_{75}, d_{75}, e_{75}, f_{75}, g_{73}, h_{73}, f_{74}, i_{73}, j_{73}, k_{73}, l_{73}, m_{73}, n_{72}, o_{73}, p_{73}, q_{73}, r_{73}, g_{72}, s_{73}, t_{73}, u_{73}, v_{73}, w_{73}, z_{72}, a_{76}, b_{76}, c_{76}, h_{72}, i_{72}, j_{72}, k_{72}, l_{72}
  2168. Translate(D_{61}, l_2) → D_{73}
  2169. Translate(E_{61}, l_2) → E_{73}
  2170. Translate(F_{61}, l_2) → F_{73}
  2171. Translate(G_{61}, l_2) → G_{73}
  2172. Translate(H_{61}, l_2) → H_{73}
  2173. Translate(I_{61}, l_2) → I_{73}
  2174. Translate(J_{61}, l_2) → J_{73}
  2175. Translate(K_{61}, l_2) → K_{73}
  2176. Translate(L_{61}, l_2) → L_{73}
  2177. Translate(M_{61}, l_2) → M_{73}
  2178. Translate(N_{61}, l_2) → N_{73}
  2179. Translate(O_{61}, l_2) → O_{73}
  2180. Translate(P_{61}, l_2) → P_{73}
  2181. Translate(Q_{61}, l_2) → Q_{73}
  2182. Translate(R_{61}, l_2) → R_{73}
  2183. Translate(S_{61}, l_2) → S_{73}
  2184. Translate(T_{61}, l_2) → T_{73}
  2185. Translate(U_{61}, l_2) → U_{73}
  2186. Translate(V_{61}, l_2) → V_{73}
  2187. Translate(W_{61}, l_2) → W_{73}
  2188. Translate(Z_{61}, l_2) → Z_{73}
  2189. Translate(A_{62}, l_2) → A_{74}
  2190. Translate(B_{62}, l_2) → B_{74}
  2191. Translate(C_{62}, l_2) → C_{74}
  2192. Translate(D_{62}, l_2) → D_{74}
  2193. Translate(E_{62}, l_2) → E_{74}
  2194. Translate(F_{62}, l_2) → F_{74}
  2195. Translate(G_{62}, l_2) → G_{74}
  2196. Translate(H_{62}, l_2) → H_{74}
  2197. Translate(I_{62}, l_2) → I_{74}
  2198. Translate(J_{62}, l_2) → J_{74}
  2199. Translate(K_{62}, l_2) → K_{74}
  2200. Translate(L_{62}, l_2) → L_{74}
  2201. Translate(M_{62}, l_2) → M_{74}
  2202. Translate(N_{62}, l_2) → N_{74}
  2203. Translate(O_{62}, l_2) → O_{74}
  2204. Translate(P_{62}, l_2) → P_{74}
  2205. Translate(Q_{62}, l_2) → Q_{74}
  2206. Translate(R_{62}, l_2) → R_{74}
  2207. Translate(S_{62}, l_2) → S_{74}
  2208. Translate(T_{62}, l_2) → T_{74}
  2209. Translate(U_{62}, l_2) → U_{74}
  2210. Translate(V_{62}, l_2) → V_{74}
  2211. Translate(W_{62}, l_2) → W_{74}
  2212. Translate(Z_{62}, l_2) → Z_{74}
  2213. Translate(A_{63}, l_2) → A_{75}
  2214. Translate(B_{63}, l_2) → B_{75}
  2215. Translate(C_{63}, l_2) → C_{75}
  2216. Polygon(D_{73}, E_{73}, N_{73}, O_{73}, P_{73}, Q_{73}, R_{73}, S_{73}, T_{73}, U_{73}, V_{73}, W_{73}, F_{73}, Z_{73}, A_{74}, B_{74}, C_{74}, D_{74}, E_{74}, F_{74}, G_{74}, H_{74}, I_{74}, G_{73}, J_{74}, K_{74}, L_{74}, M_{74}, N_{74}, O_{74}, P_{74}, Q_{74}, R_{74}, S_{74}, H_{73}, T_{74}, U_{74}, V_{74}, W_{74}, Z_{74}, A_{75}, B_{75}, C_{75}, I_{73}, J_{73}, K_{73}, L_{73}, M_{73}) → polígono24, d_{76}, m_{74}, n_{73}, o_{74}, p_{74}, q_{74}, r_{74}, s_{74}, t_{74}, u_{74}, v_{74}, e_{76}, w_{74}, z_{73}, a_{77}, b_{77}, c_{77}, d_{77}, e_{77}, f_{77}, g_{75}, h_{75}, f_{76}, i_{75}, j_{75}, k_{75}, l_{75}, m_{75}, n_{74}, o_{75}, p_{75}, q_{75}, r_{75}, g_{74}, s_{75}, t_{75}, u_{75}, v_{75}, w_{75}, z_{74}, a_{78}, b_{78}, c_{78}, h_{74}, i_{74}, j_{74}, k_{74}, l_{74}
  2217. Translate(H''_7, l_2) → D_{75}
  2218. Translate(G''_7, l_2) → E_{75}
  2219. Translate(D'_8, l_2) → F_{75}
  2220. Translate(G'_7, l_2) → G_{75}
  2221. Translate(H'_7, l_2) → H_{75}
  2222. Translate(I'_7, l_2) → I_{75}
  2223. Translate(Z''_6, l_2) → J_{75}
  2224. Translate(K_{53}, l_2) → K_{75}
  2225. Translate(L_{53}, l_2) → L_{75}
  2226. Translate(M_{53}, l_2) → M_{75}
  2227. Translate(E'_7, l_2) → N_{75}
  2228. Translate(J'_7, l_2) → O_{75}
  2229. Translate(K'_7, l_2) → P_{75}
  2230. Translate(L'_7, l_2) → Q_{75}
  2231. Translate(M'_7, l_2) → R_{75}
  2232. Translate(Q''_6, l_2) → S_{75}
  2233. Translate(P''_6, l_2) → T_{75}
  2234. Translate(O''_6, l_2) → U_{75}
  2235. Translate(N''_6, l_2) → V_{75}
  2236. Translate(F'_7, l_2) → W_{75}
  2237. Translate(N'_7, l_2) → Z_{75}
  2238. Translate(O'_7, l_2) → A_{76}
  2239. Translate(P'_7, l_2) → B_{76}
  2240. Translate(Q'_7, l_2) → C_{76}
  2241. Translate(M''_7, l_2) → D_{76}
  2242. Translate(L''_6, l_2) → E_{76}
  2243. Translate(K''_6, l_2) → F_{76}
  2244. Translate(J''_6, l_2) → G_{76}
  2245. Translate(A'_7, l_2) → H_{76}
  2246. Translate(R'_7, l_2) → I_{76}
  2247. Translate(S'_7, l_2) → J_{76}
  2248. Translate(T'_7, l_2) → K_{76}
  2249. Translate(U''_6, l_2) → L_{76}
  2250. Translate(V''_6, l_2) → M_{76}
  2251. Translate(W''_6, l_2) → N_{76}
  2252. Translate(B'_7, l_2) → O_{76}
  2253. Translate(W'_7, l_2) → P_{76}
  2254. Translate(V'_7, l_2) → Q_{76}
  2255. Translate(U'_7, l_2) → R_{76}
  2256. Translate(T''_7, l_2) → S_{76}
  2257. Translate(S''_6, l_2) → T_{76}
  2258. Translate(R''_6, l_2) → U_{76}
  2259. Translate(C'_8, l_2) → V_{76}
  2260. Translate(N_{53}, l_2) → W_{76}
  2261. Translate(O_{53}, l_2) → Z_{76}
  2262. Translate(P_{53}, l_2) → A_{77}
  2263. Translate(Z'_8, l_2) → B_{77}
  2264. Translate(I''_8, l_2) → C_{77}
  2265. Polygon(D_{75}, E_{75}, N_{75}, O_{75}, P_{75}, Q_{75}, R_{75}, S_{75}, T_{75}, U_{75}, V_{75}, W_{75}, F_{75}, Z_{75}, A_{76}, B_{76}, C_{76}, D_{76}, E_{76}, F_{76}, G_{76}, H_{76}, I_{76}, G_{75}, J_{76}, K_{76}, L_{76}, M_{76}, N_{76}, O_{76}, P_{76}, Q_{76}, R_{76}, S_{76}, H_{75}, T_{76}, U_{76}, V_{76}, W_{76}, Z_{76}, A_{77}, B_{77}, C_{77}, I_{75}, J_{75}, K_{75}, L_{75}, M_{75}) → polígono25, d_{78}, m_{76}, n_{75}, o_{76}, p_{76}, q_{76}, r_{76}, s_{76}, t_{76}, u_{76}, v_{76}, e_{78}, w_{76}, z_{75}, a_{79}, b_{79}, c_{79}, d_{79}, e_{79}, f_{79}, g_{77}, h_{77}, f_{78}, i_{77}, j_{77}, k_{77}, l_{77}, m_{77}, n_{76}, o_{77}, p_{77}, q_{77}, r_{77}, g_{76}, s_{77}, t_{77}, u_{77}, v_{77}, w_{77}, z_{76}, a_{80}, b_{80}, c_{80}, h_{76}, i_{76}, j_{76}, k_{76}, l_{76}
  2266. Translate(H''_3, l_2) → D_{77}
  2267. Translate(G''_3, l_2) → E_{77}
  2268. Translate(D'_4, l_2) → F_{77}
  2269. Translate(G'_3, l_2) → G_{77}
  2270. Translate(H'_3, l_2) → H_{77}
  2271. Translate(I'_3, l_2) → I_{77}
  2272. Translate(Z''_2, l_2) → J_{77}
  2273. Translate(A_2, l_2) → K_{77}
  2274. Translate(B_2, l_2) → L_{77}
  2275. Translate(C_2, l_2) → M_{77}
  2276. Translate(E'_3, l_2) → N_{77}
  2277. Translate(J'_3, l_2) → O_{77}
  2278. Translate(K'_3, l_2) → P_{77}
  2279. Translate(L'_3, l_2) → Q_{77}
  2280. Translate(M'_3, l_2) → R_{77}
  2281. Translate(Q''_2, l_2) → S_{77}
  2282. Translate(P''_2, l_2) → T_{77}
  2283. Translate(O''_2, l_2) → U_{77}
  2284. Translate(N''_2, l_2) → V_{77}
  2285. Translate(F'_3, l_2) → W_{77}
  2286. Translate(N'_3, l_2) → Z_{77}
  2287. Translate(O'_3, l_2) → A_{78}
  2288. Translate(P'_3, l_2) → B_{78}
  2289. Translate(Q'_3, l_2) → C_{78}
  2290. Translate(M''_3, l_2) → D_{78}
  2291. Translate(L''_2, l_2) → E_{78}
  2292. Translate(K''_2, l_2) → F_{78}
  2293. Translate(J''_2, l_2) → G_{78}
  2294. Translate(A'_3, l_2) → H_{78}
  2295. Translate(R'_3, l_2) → I_{78}
  2296. Translate(S'_3, l_2) → J_{78}
  2297. Translate(T'_3, l_2) → K_{78}
  2298. Translate(U''_2, l_2) → L_{78}
  2299. Translate(V''_2, l_2) → M_{78}
  2300. Translate(W''_2, l_2) → N_{78}
  2301. Translate(B'_3, l_2) → O_{78}
  2302. Translate(W'_3, l_2) → P_{78}
  2303. Translate(V'_3, l_2) → Q_{78}
  2304. Translate(U'_3, l_2) → R_{78}
  2305. Translate(T''_3, l_2) → S_{78}
  2306. Translate(S''_2, l_2) → T_{78}
  2307. Translate(R''_2, l_2) → U_{78}
  2308. Translate(C'_4, l_2) → V_{78}
  2309. Translate(D_2, l_2) → W_{78}
  2310. Translate(E_2, l_2) → Z_{78}
  2311. Translate(F_2, l_2) → A_{79}
  2312. Translate(Z'_4, l_2) → B_{79}
  2313. Translate(I''_4, l_2) → C_{79}
  2314. Polygon(D_{77}, E_{77}, N_{77}, O_{77}, P_{77}, Q_{77}, R_{77}, S_{77}, T_{77}, U_{77}, V_{77}, W_{77}, F_{77}, Z_{77}, A_{78}, B_{78}, C_{78}, D_{78}, E_{78}, F_{78}, G_{78}, H_{78}, I_{78}, G_{77}, J_{78}, K_{78}, L_{78}, M_{78}, N_{78}, O_{78}, P_{78}, Q_{78}, R_{78}, S_{78}, H_{77}, T_{78}, U_{78}, V_{78}, W_{78}, Z_{78}, A_{79}, B_{79}, C_{79}, I_{77}, J_{77}, K_{77}, L_{77}, M_{77}) → polígono26, d_{80}, m_{78}, n_{77}, o_{78}, p_{78}, q_{78}, r_{78}, s_{78}, t_{78}, u_{78}, v_{78}, e_{80}, w_{78}, z_{77}, a_{81}, b_{81}, c_{81}, d_{81}, e_{81}, f_{81}, g_{79}, h_{79}, f_{80}, i_{79}, j_{79}, k_{79}, l_{79}, m_{79}, n_{78}, o_{79}, p_{79}, q_{79}, r_{79}, g_{78}, s_{79}, t_{79}, u_{79}, v_{79}, w_{79}, z_{78}, a_{82}, b_{82}, c_{82}, h_{78}, i_{78}, j_{78}, k_{78}, l_{78}
  2315. Translate(H''_7, m_{53}) → D_{79}
  2316. Translate(G''_7, m_{53}) → E_{79}
  2317. Translate(D'_8, m_{53}) → F_{79}
  2318. Translate(G'_7, m_{53}) → G_{79}
  2319. Translate(H'_7, m_{53}) → H_{79}
  2320. Translate(I'_7, m_{53}) → I_{79}
  2321. Translate(Z''_6, m_{53}) → J_{79}
  2322. Translate(K_{53}, m_{53}) → K_{79}
  2323. Translate(L_{53}, m_{53}) → L_{79}
  2324. Translate(M_{53}, m_{53}) → M_{79}
  2325. Translate(E'_7, m_{53}) → N_{79}
  2326. Translate(J'_7, m_{53}) → O_{79}
  2327. Translate(K'_7, m_{53}) → P_{79}
  2328. Translate(L'_7, m_{53}) → Q_{79}
  2329. Translate(M'_7, m_{53}) → R_{79}
  2330. Translate(Q''_6, m_{53}) → S_{79}
  2331. Translate(P''_6, m_{53}) → T_{79}
  2332. Translate(O''_6, m_{53}) → U_{79}
  2333. Translate(N''_6, m_{53}) → V_{79}
  2334. Translate(F'_7, m_{53}) → W_{79}
  2335. Translate(N'_7, m_{53}) → Z_{79}
  2336. Translate(O'_7, m_{53}) → A_{80}
  2337. Translate(P'_7, m_{53}) → B_{80}
  2338. Translate(Q'_7, m_{53}) → C_{80}
  2339. Translate(M''_7, m_{53}) → D_{80}
  2340. Translate(L''_6, m_{53}) → E_{80}
  2341. Translate(K''_6, m_{53}) → F_{80}
  2342. Translate(J''_6, m_{53}) → G_{80}
  2343. Translate(A'_7, m_{53}) → H_{80}
  2344. Translate(R'_7, m_{53}) → I_{80}
  2345. Translate(S'_7, m_{53}) → J_{80}
  2346. Translate(T'_7, m_{53}) → K_{80}
  2347. Translate(U''_6, m_{53}) → L_{80}
  2348. Translate(V''_6, m_{53}) → M_{80}
  2349. Translate(W''_6, m_{53}) → N_{80}
  2350. Translate(B'_7, m_{53}) → O_{80}
  2351. Translate(W'_7, m_{53}) → P_{80}
  2352. Translate(V'_7, m_{53}) → Q_{80}
  2353. Translate(U'_7, m_{53}) → R_{80}
  2354. Translate(T''_7, m_{53}) → S_{80}
  2355. Translate(S''_6, m_{53}) → T_{80}
  2356. Translate(R''_6, m_{53}) → U_{80}
  2357. Translate(C'_8, m_{53}) → V_{80}
  2358. Translate(N_{53}, m_{53}) → W_{80}
  2359. Translate(O_{53}, m_{53}) → Z_{80}
  2360. Translate(P_{53}, m_{53}) → A_{81}
  2361. Translate(Z'_8, m_{53}) → B_{81}
  2362. Translate(I''_8, m_{53}) → C_{81}
  2363. Polygon(D_{79}, E_{79}, N_{79}, O_{79}, P_{79}, Q_{79}, R_{79}, S_{79}, T_{79}, U_{79}, V_{79}, W_{79}, F_{79}, Z_{79}, A_{80}, B_{80}, C_{80}, D_{80}, E_{80}, F_{80}, G_{80}, H_{80}, I_{80}, G_{79}, J_{80}, K_{80}, L_{80}, M_{80}, N_{80}, O_{80}, P_{80}, Q_{80}, R_{80}, S_{80}, H_{79}, T_{80}, U_{80}, V_{80}, W_{80}, Z_{80}, A_{81}, B_{81}, C_{81}, I_{79}, J_{79}, K_{79}, L_{79}, M_{79}) → polígono27, d_{82}, m_{80}, n_{79}, o_{80}, p_{80}, q_{80}, r_{80}, s_{80}, t_{80}, u_{80}, v_{80}, e_{82}, w_{80}, z_{79}, a_{83}, b_{83}, c_{83}, d_{83}, e_{83}, f_{83}, g_{81}, h_{81}, f_{82}, i_{81}, j_{81}, k_{81}, l_{81}, m_{81}, n_{80}, o_{81}, p_{81}, q_{81}, r_{81}, g_{80}, s_{81}, t_{81}, u_{81}, v_{81}, w_{81}, z_{80}, a_{84}, b_{84}, c_{84}, h_{80}, i_{80}, j_{80}, k_{80}, l_{80}
  2364. Translate(Q_{53}, m_{53}) → D_{81}
  2365. Translate(R_{53}, m_{53}) → E_{81}
  2366. Translate(S_{53}, m_{53}) → F_{81}
  2367. Translate(T_{53}, m_{53}) → G_{81}
  2368. Translate(U_{53}, m_{53}) → H_{81}
  2369. Translate(V_{53}, m_{53}) → I_{81}
  2370. Translate(Z'''_3, m_{53}) → J_{81}
  2371. Translate(W_{53}, m_{53}) → K_{81}
  2372. Translate(Z_{53}, m_{53}) → L_{81}
  2373. Translate(A_{54}, m_{53}) → M_{81}
  2374. Translate(B_{54}, m_{53}) → N_{81}
  2375. Translate(C_{54}, m_{53}) → O_{81}
  2376. Translate(D_{54}, m_{53}) → P_{81}
  2377. Translate(E_{54}, m_{53}) → Q_{81}
  2378. Translate(F_{54}, m_{53}) → R_{81}
  2379. Translate(Q'''_3, m_{53}) → S_{81}
  2380. Translate(P'''_3, m_{53}) → T_{81}
  2381. Translate(O'''_3, m_{53}) → U_{81}
  2382. Translate(N'''_3, m_{53}) → V_{81}
  2383. Translate(G_{54}, m_{53}) → W_{81}
  2384. Translate(H_{54}, m_{53}) → Z_{81}
  2385. Translate(I_{54}, m_{53}) → A_{82}
  2386. Translate(J_{54}, m_{53}) → B_{82}
  2387. Translate(K_{54}, m_{53}) → C_{82}
  2388. Translate(L_{54}, m_{53}) → D_{82}
  2389. Translate(L'''_3, m_{53}) → E_{82}
  2390. Translate(K'''_3, m_{53}) → F_{82}
  2391. Translate(J'''_3, m_{53}) → G_{82}
  2392. Translate(M_{54}, m_{53}) → H_{82}
  2393. Translate(N_{54}, m_{53}) → I_{82}
  2394. Translate(O_{54}, m_{53}) → J_{82}
  2395. Translate(P_{54}, m_{53}) → K_{82}
  2396. Translate(U'''_3, m_{53}) → L_{82}
  2397. Translate(V'''_3, m_{53}) → M_{82}
  2398. Translate(W'''_3, m_{53}) → N_{82}
  2399. Translate(Q_{54}, m_{53}) → O_{82}
  2400. Translate(R_{54}, m_{53}) → P_{82}
  2401. Translate(S_{54}, m_{53}) → Q_{82}
  2402. Translate(T_{54}, m_{53}) → R_{82}
  2403. Translate(U_{54}, m_{53}) → S_{82}
  2404. Translate(S'''_3, m_{53}) → T_{82}
  2405. Translate(R'''_3, m_{53}) → U_{82}
  2406. Translate(V_{54}, m_{53}) → V_{82}
  2407. Translate(W_{54}, m_{53}) → W_{82}
  2408. Translate(Z_{54}, m_{53}) → Z_{82}
  2409. Translate(A_{55}, m_{53}) → A_{83}
  2410. Translate(B_{55}, m_{53}) → B_{83}
  2411. Translate(C_{55}, m_{53}) → C_{83}
  2412. Polygon(D_{81}, E_{81}, N_{81}, O_{81}, P_{81}, Q_{81}, R_{81}, S_{81}, T_{81}, U_{81}, V_{81}, W_{81}, F_{81}, Z_{81}, A_{82}, B_{82}, C_{82}, D_{82}, E_{82}, F_{82}, G_{82}, H_{82}, I_{82}, G_{81}, J_{82}, K_{82}, L_{82}, M_{82}, N_{82}, O_{82}, P_{82}, Q_{82}, R_{82}, S_{82}, H_{81}, T_{82}, U_{82}, V_{82}, W_{82}, Z_{82}, A_{83}, B_{83}, C_{83}, I_{81}, J_{81}, K_{81}, L_{81}, M_{81}) → polígono28, d_{84}, m_{82}, n_{81}, o_{82}, p_{82}, q_{82}, r_{82}, s_{82}, t_{82}, u_{82}, v_{82}, e_{84}, w_{82}, z_{81}, a_{85}, b_{85}, c_{85}, d_{85}, e_{85}, f_{85}, g_{83}, h_{83}, f_{84}, i_{83}, j_{83}, k_{83}, l_{83}, m_{83}, n_{82}, o_{83}, p_{83}, q_{83}, r_{83}, g_{82}, s_{83}, t_{83}, u_{83}, v_{83}, w_{83}, z_{82}, a_{86}, b_{86}, c_{86}, h_{82}, i_{82}, j_{82}, k_{82}, l_{82}
  2413. Translate(Q_{53}, l_2) → D_{83}
  2414. Translate(R_{53}, l_2) → E_{83}
  2415. Translate(S_{53}, l_2) → F_{83}
  2416. Translate(T_{53}, l_2) → G_{83}
  2417. Translate(U_{53}, l_2) → H_{83}
  2418. Translate(V_{53}, l_2) → I_{83}
  2419. Translate(Z'''_3, l_2) → J_{83}
  2420. Translate(W_{53}, l_2) → K_{83}
  2421. Translate(Z_{53}, l_2) → L_{83}
  2422. Translate(A_{54}, l_2) → M_{83}
  2423. Translate(B_{54}, l_2) → N_{83}
  2424. Translate(C_{54}, l_2) → O_{83}
  2425. Translate(D_{54}, l_2) → P_{83}
  2426. Translate(E_{54}, l_2) → Q_{83}
  2427. Translate(F_{54}, l_2) → R_{83}
  2428. Translate(Q'''_3, l_2) → S_{83}
  2429. Translate(P'''_3, l_2) → T_{83}
  2430. Translate(O'''_3, l_2) → U_{83}
  2431. Translate(N'''_3, l_2) → V_{83}
  2432. Translate(G_{54}, l_2) → W_{83}
  2433. Translate(H_{54}, l_2) → Z_{83}
  2434. Translate(I_{54}, l_2) → A_{84}
  2435. Translate(J_{54}, l_2) → B_{84}
  2436. Translate(K_{54}, l_2) → C_{84}
  2437. Translate(L_{54}, l_2) → D_{84}
  2438. Translate(L'''_3, l_2) → E_{84}
  2439. Translate(K'''_3, l_2) → F_{84}
  2440. Translate(J'''_3, l_2) → G_{84}
  2441. Translate(M_{54}, l_2) → H_{84}
  2442. Translate(N_{54}, l_2) → I_{84}
  2443. Translate(O_{54}, l_2) → J_{84}
  2444. Translate(P_{54}, l_2) → K_{84}
  2445. Translate(U'''_3, l_2) → L_{84}
  2446. Translate(V'''_3, l_2) → M_{84}
  2447. Translate(W'''_3, l_2) → N_{84}
  2448. Translate(Q_{54}, l_2) → O_{84}
  2449. Translate(R_{54}, l_2) → P_{84}
  2450. Translate(S_{54}, l_2) → Q_{84}
  2451. Translate(T_{54}, l_2) → R_{84}
  2452. Translate(U_{54}, l_2) → S_{84}
  2453. Translate(S'''_3, l_2) → T_{84}
  2454. Translate(R'''_3, l_2) → U_{84}
  2455. Translate(V_{54}, l_2) → V_{84}
  2456. Translate(W_{54}, l_2) → W_{84}
  2457. Translate(Z_{54}, l_2) → Z_{84}
  2458. Translate(A_{55}, l_2) → A_{85}
  2459. Translate(B_{55}, l_2) → B_{85}
  2460. Translate(C_{55}, l_2) → C_{85}
  2461. Polygon(D_{83}, E_{83}, N_{83}, O_{83}, P_{83}, Q_{83}, R_{83}, S_{83}, T_{83}, U_{83}, V_{83}, W_{83}, F_{83}, Z_{83}, A_{84}, B_{84}, C_{84}, D_{84}, E_{84}, F_{84}, G_{84}, H_{84}, I_{84}, G_{83}, J_{84}, K_{84}, L_{84}, M_{84}, N_{84}, O_{84}, P_{84}, Q_{84}, R_{84}, S_{84}, H_{83}, T_{84}, U_{84}, V_{84}, W_{84}, Z_{84}, A_{85}, B_{85}, C_{85}, I_{83}, J_{83}, K_{83}, L_{83}, M_{83}) → polígono29, d_{86}, m_{84}, n_{83}, o_{84}, p_{84}, q_{84}, r_{84}, s_{84}, t_{84}, u_{84}, v_{84}, e_{86}, w_{84}, z_{83}, a_{87}, b_{87}, c_{87}, d_{87}, e_{87}, f_{87}, g_{85}, h_{85}, f_{86}, i_{85}, j_{85}, k_{85}, l_{85}, m_{85}, n_{84}, o_{85}, p_{85}, q_{85}, r_{85}, g_{84}, s_{85}, t_{85}, u_{85}, v_{85}, w_{85}, z_{84}, a_{88}, b_{88}, c_{88}, h_{84}, i_{84}, j_{84}, k_{84}, l_{84}
  2462. Translate(H''_5, k_2) → D_{85}
  2463. Translate(G''_5, k_2) → E_{85}
  2464. Translate(D'_6, k_2) → F_{85}
  2465. Translate(G'_5, k_2) → G_{85}
  2466. Translate(H'_5, k_2) → H_{85}
  2467. Translate(I'_5, k_2) → I_{85}
  2468. Translate(Z''_4, k_2) → J_{85}
  2469. Translate(A_8, k_2) → K_{85}
  2470. Translate(B_8, k_2) → L_{85}
  2471. Translate(C_8, k_2) → M_{85}
  2472. Translate(E'_5, k_2) → N_{85}
  2473. Translate(J'_5, k_2) → O_{85}
  2474. Translate(K'_5, k_2) → P_{85}
  2475. Translate(L'_5, k_2) → Q_{85}
  2476. Translate(M'_5, k_2) → R_{85}
  2477. Translate(Q''_4, k_2) → S_{85}
  2478. Translate(P''_4, k_2) → T_{85}
  2479. Translate(O''_4, k_2) → U_{85}
  2480. Translate(N''_4, k_2) → V_{85}
  2481. Translate(F'_5, k_2) → W_{85}
  2482. Translate(N'_5, k_2) → Z_{85}
  2483. Translate(O'_5, k_2) → A_{86}
  2484. Translate(P'_5, k_2) → B_{86}
  2485. Translate(Q'_5, k_2) → C_{86}
  2486. Translate(M''_5, k_2) → D_{86}
  2487. Translate(L''_4, k_2) → E_{86}
  2488. Translate(K''_4, k_2) → F_{86}
  2489. Translate(J''_4, k_2) → G_{86}
  2490. Translate(A'_5, k_2) → H_{86}
  2491. Translate(R'_5, k_2) → I_{86}
  2492. Translate(S'_5, k_2) → J_{86}
  2493. Translate(T'_5, k_2) → K_{86}
  2494. Translate(U''_4, k_2) → L_{86}
  2495. Translate(V''_4, k_2) → M_{86}
  2496. Translate(W''_4, k_2) → N_{86}
  2497. Translate(B'_5, k_2) → O_{86}
  2498. Translate(W'_5, k_2) → P_{86}
  2499. Translate(V'_5, k_2) → Q_{86}
  2500. Translate(U'_5, k_2) → R_{86}
  2501. Translate(T''_5, k_2) → S_{86}
  2502. Translate(S''_4, k_2) → T_{86}
  2503. Translate(R''_4, k_2) → U_{86}
  2504. Translate(C'_6, k_2) → V_{86}
  2505. Translate(D_8, k_2) → W_{86}
  2506. Translate(E_8, k_2) → Z_{86}
  2507. Translate(F_8, k_2) → A_{87}
  2508. Translate(Z'_6, k_2) → B_{87}
  2509. Translate(I''_6, k_2) → C_{87}
  2510. Polygon(D_{85}, E_{85}, N_{85}, O_{85}, P_{85}, Q_{85}, R_{85}, S_{85}, T_{85}, U_{85}, V_{85}, W_{85}, F_{85}, Z_{85}, A_{86}, B_{86}, C_{86}, D_{86}, E_{86}, F_{86}, G_{86}, H_{86}, I_{86}, G_{85}, J_{86}, K_{86}, L_{86}, M_{86}, N_{86}, O_{86}, P_{86}, Q_{86}, R_{86}, S_{86}, H_{85}, T_{86}, U_{86}, V_{86}, W_{86}, Z_{86}, A_{87}, B_{87}, C_{87}, I_{85}, J_{85}, K_{85}, L_{85}, M_{85}) → polígono30, d_{88}, m_{86}, n_{85}, o_{86}, p_{86}, q_{86}, r_{86}, s_{86}, t_{86}, u_{86}, v_{86}, e_{88}, w_{86}, z_{85}, a_{89}, b_{89}, c_{89}, d_{89}, e_{89}, f_{89}, g_{87}, h_{87}, f_{88}, i_{87}, j_{87}, k_{87}, l_{87}, m_{87}, n_{86}, o_{87}, p_{87}, q_{87}, r_{87}, g_{86}, s_{87}, t_{87}, u_{87}, v_{87}, w_{87}, z_{86}, a_{90}, b_{90}, c_{90}, h_{86}, i_{86}, j_{86}, k_{86}, l_{86}
  2511. Translate(D_{55}, k_2) → D_{87}
  2512. Translate(E_{55}, k_2) → E_{87}
  2513. Translate(F_{55}, k_2) → F_{87}
  2514. Translate(G_{55}, k_2) → G_{87}
  2515. Translate(H_{55}, k_2) → H_{87}
  2516. Translate(I_{55}, k_2) → I_{87}
  2517. Translate(J_{55}, k_2) → J_{87}
  2518. Translate(K_{55}, k_2) → K_{87}
  2519. Translate(L_{55}, k_2) → L_{87}
  2520. Translate(M_{55}, k_2) → M_{87}
  2521. Translate(N_{55}, k_2) → N_{87}
  2522. Translate(O_{55}, k_2) → O_{87}
  2523. Translate(P_{55}, k_2) → P_{87}
  2524. Translate(Q_{55}, k_2) → Q_{87}
  2525. Translate(R_{55}, k_2) → R_{87}
  2526. Translate(S_{55}, k_2) → S_{87}
  2527. Translate(T_{55}, k_2) → T_{87}
  2528. Translate(U_{55}, k_2) → U_{87}
  2529. Translate(V_{55}, k_2) → V_{87}
  2530. Translate(W_{55}, k_2) → W_{87}
  2531. Translate(Z_{55}, k_2) → Z_{87}
  2532. Translate(A_{56}, k_2) → A_{88}
  2533. Translate(B_{56}, k_2) → B_{88}
  2534. Translate(C_{56}, k_2) → C_{88}
  2535. Translate(D_{56}, k_2) → D_{88}
  2536. Translate(E_{56}, k_2) → E_{88}
  2537. Translate(F_{56}, k_2) → F_{88}
  2538. Translate(G_{56}, k_2) → G_{88}
  2539. Translate(H_{56}, k_2) → H_{88}
  2540. Translate(I_{56}, k_2) → I_{88}
  2541. Translate(J_{56}, k_2) → J_{88}
  2542. Translate(K_{56}, k_2) → K_{88}
  2543. Translate(L_{56}, k_2) → L_{88}
  2544. Translate(M_{56}, k_2) → M_{88}
  2545. Translate(N_{56}, k_2) → N_{88}
  2546. Translate(O_{56}, k_2) → O_{88}
  2547. Translate(P_{56}, k_2) → P_{88}
  2548. Translate(Q_{56}, k_2) → Q_{88}
  2549. Translate(R_{56}, k_2) → R_{88}
  2550. Translate(S_{56}, k_2) → S_{88}
  2551. Translate(T_{56}, k_2) → T_{88}
  2552. Translate(U_{56}, k_2) → U_{88}
  2553. Translate(V_{56}, k_2) → V_{88}
  2554. Translate(W_{56}, k_2) → W_{88}
  2555. Translate(Z_{56}, k_2) → Z_{88}
  2556. Translate(A_{57}, k_2) → A_{89}
  2557. Translate(B_{57}, k_2) → B_{89}
  2558. Translate(C_{57}, k_2) → C_{89}
  2559. Polygon(D_{87}, E_{87}, N_{87}, O_{87}, P_{87}, Q_{87}, R_{87}, S_{87}, T_{87}, U_{87}, V_{87}, W_{87}, F_{87}, Z_{87}, A_{88}, B_{88}, C_{88}, D_{88}, E_{88}, F_{88}, G_{88}, H_{88}, I_{88}, G_{87}, J_{88}, K_{88}, L_{88}, M_{88}, N_{88}, O_{88}, P_{88}, Q_{88}, R_{88}, S_{88}, H_{87}, T_{88}, U_{88}, V_{88}, W_{88}, Z_{88}, A_{89}, B_{89}, C_{89}, I_{87}, J_{87}, K_{87}, L_{87}, M_{87}) → polígono20'_1, d_{90}, m_{88}, n_{87}, o_{88}, p_{88}, q_{88}, r_{88}, s_{88}, t_{88}, u_{88}, v_{88}, e_{90}, w_{88}, z_{87}, a_{91}, b_{91}, c_{91}, d_{91}, e_{91}, f_{91}, g_{89}, h_{89}, f_{90}, i_{89}, j_{89}, k_{89}, l_{89}, m_{89}, n_{88}, o_{89}, p_{89}, q_{89}, r_{89}, g_{88}, s_{89}, t_{89}, u_{89}, v_{89}, w_{89}, z_{88}, a_{92}, b_{92}, c_{92}, h_{88}, i_{88}, j_{88}, k_{88}, l_{88}
  2560. Translate(Z_{19}, k_2) → D_{89}
  2561. Translate(A_{20}, k_2) → E_{89}
  2562. Translate(B_{20}, k_2) → F_{89}
  2563. Translate(C_{20}, k_2) → G_{89}
  2564. Translate(D_{20}, k_2) → H_{89}
  2565. Translate(E_{20}, k_2) → I_{89}
  2566. Translate(F_{20}, k_2) → J_{89}
  2567. Translate(G_{20}, k_2) → K_{89}
  2568. Translate(H_{20}, k_2) → L_{89}
  2569. Translate(I_{20}, k_2) → M_{89}
  2570. Translate(J_{20}, k_2) → N_{89}
  2571. Translate(K_{20}, k_2) → O_{89}
  2572. Translate(L_{20}, k_2) → P_{89}
  2573. Translate(M_{20}, k_2) → Q_{89}
  2574. Translate(N_{20}, k_2) → R_{89}
  2575. Translate(O_{20}, k_2) → S_{89}
  2576. Translate(P_{20}, k_2) → T_{89}
  2577. Translate(Q_{20}, k_2) → U_{89}
  2578. Translate(R_{20}, k_2) → V_{89}
  2579. Translate(S_{20}, k_2) → W_{89}
  2580. Translate(T_{20}, k_2) → Z_{89}
  2581. Translate(U_{20}, k_2) → A_{90}
  2582. Translate(V_{20}, k_2) → B_{90}
  2583. Translate(W_{20}, k_2) → C_{90}
  2584. Translate(Z_{20}, k_2) → D_{90}
  2585. Translate(A_{21}, k_2) → E_{90}
  2586. Translate(B_{21}, k_2) → F_{90}
  2587. Translate(C_{21}, k_2) → G_{90}
  2588. Translate(D_{21}, k_2) → H_{90}
  2589. Translate(E_{21}, k_2) → I_{90}
  2590. Translate(F_{21}, k_2) → J_{90}
  2591. Translate(G_{21}, k_2) → K_{90}
  2592. Translate(H_{21}, k_2) → L_{90}
  2593. Translate(I_{21}, k_2) → M_{90}
  2594. Translate(J_{21}, k_2) → N_{90}
  2595. Translate(K_{21}, k_2) → O_{90}
  2596. Translate(L_{21}, k_2) → P_{90}
  2597. Translate(M_{21}, k_2) → Q_{90}
  2598. Translate(N_{21}, k_2) → R_{90}
  2599. Translate(O_{21}, k_2) → S_{90}
  2600. Translate(P_{21}, k_2) → T_{90}
  2601. Translate(Q_{21}, k_2) → U_{90}
  2602. Translate(R_{21}, k_2) → V_{90}
  2603. Translate(S_{21}, k_2) → W_{90}
  2604. Translate(T_{21}, k_2) → Z_{90}
  2605. Translate(U_{21}, k_2) → A_{91}
  2606. Translate(V_{21}, k_2) → B_{91}
  2607. Translate(W_{21}, k_2) → C_{91}
  2608. Polygon(D_{89}, E_{89}, N_{89}, O_{89}, P_{89}, Q_{89}, R_{89}, S_{89}, T_{89}, U_{89}, V_{89}, W_{89}, F_{89}, Z_{89}, A_{90}, B_{90}, C_{90}, D_{90}, E_{90}, F_{90}, G_{90}, H_{90}, I_{90}, G_{89}, J_{90}, K_{90}, L_{90}, M_{90}, N_{90}, O_{90}, P_{90}, Q_{90}, R_{90}, S_{90}, H_{89}, T_{90}, U_{90}, V_{90}, W_{90}, Z_{90}, A_{91}, B_{91}, C_{91}, I_{89}, J_{89}, K_{89}, L_{89}, M_{89}) → polígono31, d_{92}, m_{90}, n_{89}, o_{90}, p_{90}, q_{90}, r_{90}, s_{90}, t_{90}, u_{90}, v_{90}, e_{92}, w_{90}, z_{89}, a_{93}, b_{93}, c_{93}, d_{93}, e_{93}, f_{93}, g_{91}, h_{91}, f_{92}, i_{91}, j_{91}, k_{91}, l_{91}, m_{91}, n_{90}, o_{91}, p_{91}, q_{91}, r_{91}, g_{90}, s_{91}, t_{91}, u_{91}, v_{91}, w_{91}, z_{90}, a_{94}, b_{94}, c_{94}, h_{90}, i_{90}, j_{90}, k_{90}, l_{90}
  2609. Translate(D_{69}, k_2) → D_{91}
  2610. Translate(E_{69}, k_2) → E_{91}
  2611. Translate(F_{69}, k_2) → F_{91}
  2612. Translate(G_{69}, k_2) → G_{91}
  2613. Translate(H_{69}, k_2) → H_{91}
  2614. Translate(I_{69}, k_2) → I_{91}
  2615. Translate(J_{69}, k_2) → J_{91}
  2616. Translate(K_{69}, k_2) → K_{91}
  2617. Translate(L_{69}, k_2) → L_{91}
  2618. Translate(M_{69}, k_2) → M_{91}
  2619. Translate(N_{69}, k_2) → N_{91}
  2620. Translate(O_{69}, k_2) → O_{91}
  2621. Translate(P_{69}, k_2) → P_{91}
  2622. Translate(Q_{69}, k_2) → Q_{91}
  2623. Translate(R_{69}, k_2) → R_{91}
  2624. Translate(S_{69}, k_2) → S_{91}
  2625. Translate(T_{69}, k_2) → T_{91}
  2626. Translate(U_{69}, k_2) → U_{91}
  2627. Translate(V_{69}, k_2) → V_{91}
  2628. Translate(W_{69}, k_2) → W_{91}
  2629. Translate(Z_{69}, k_2) → Z_{91}
  2630. Translate(A_{70}, k_2) → A_{92}
  2631. Translate(B_{70}, k_2) → B_{92}
  2632. Translate(C_{70}, k_2) → C_{92}
  2633. Translate(D_{70}, k_2) → D_{92}
  2634. Translate(E_{70}, k_2) → E_{92}
  2635. Translate(F_{70}, k_2) → F_{92}
  2636. Translate(G_{70}, k_2) → G_{92}
  2637. Translate(H_{70}, k_2) → H_{92}
  2638. Translate(I_{70}, k_2) → I_{92}
  2639. Translate(J_{70}, k_2) → J_{92}
  2640. Translate(K_{70}, k_2) → K_{92}
  2641. Translate(L_{70}, k_2) → L_{92}
  2642. Translate(M_{70}, k_2) → M_{92}
  2643. Translate(N_{70}, k_2) → N_{92}
  2644. Translate(O_{70}, k_2) → O_{92}
  2645. Translate(P_{70}, k_2) → P_{92}
  2646. Translate(Q_{70}, k_2) → Q_{92}
  2647. Translate(R_{70}, k_2) → R_{92}
  2648. Translate(S_{70}, k_2) → S_{92}
  2649. Translate(T_{70}, k_2) → T_{92}
  2650. Translate(U_{70}, k_2) → U_{92}
  2651. Translate(V_{70}, k_2) → V_{92}
  2652. Translate(W_{70}, k_2) → W_{92}
  2653. Translate(Z_{70}, k_2) → Z_{92}
  2654. Translate(A_{71}, k_2) → A_{93}
  2655. Translate(B_{71}, k_2) → B_{93}
  2656. Translate(C_{71}, k_2) → C_{93}
  2657. Polygon(D_{91}, E_{91}, N_{91}, O_{91}, P_{91}, Q_{91}, R_{91}, S_{91}, T_{91}, U_{91}, V_{91}, W_{91}, F_{91}, Z_{91}, A_{92}, B_{92}, C_{92}, D_{92}, E_{92}, F_{92}, G_{92}, H_{92}, I_{92}, G_{91}, J_{92}, K_{92}, L_{92}, M_{92}, N_{92}, O_{92}, P_{92}, Q_{92}, R_{92}, S_{92}, H_{91}, T_{92}, U_{92}, V_{92}, W_{92}, Z_{92}, A_{93}, B_{93}, C_{93}, I_{91}, J_{91}, K_{91}, L_{91}, M_{91}) → polígono32, d_{94}, m_{92}, n_{91}, o_{92}, p_{92}, q_{92}, r_{92}, s_{92}, t_{92}, u_{92}, v_{92}, e_{94}, w_{92}, z_{91}, a_{95}, b_{95}, c_{95}, d_{95}, e_{95}, f_{95}, g_{93}, h_{93}, f_{94}, i_{93}, j_{93}, k_{93}, l_{93}, m_{93}, n_{92}, o_{93}, p_{93}, q_{93}, r_{93}, g_{92}, s_{93}, t_{93}, u_{93}, v_{93}, w_{93}, z_{92}, a_{96}, b_{96}, c_{96}, h_{92}, i_{92}, j_{92}, k_{92}, l_{92}
  2658. Translate(K_{35}, k_2) → D_{93}
  2659. Translate(L_{35}, k_2) → E_{93}
  2660. Translate(M_{35}, k_2) → F_{93}
  2661. Translate(N_{35}, k_2) → G_{93}
  2662. Translate(O_{35}, k_2) → H_{93}
  2663. Translate(P_{35}, k_2) → I_{93}
  2664. Translate(Q_{35}, k_2) → J_{93}
  2665. Translate(R_{35}, k_2) → K_{93}
  2666. Translate(S_{35}, k_2) → L_{93}
  2667. Translate(T_{35}, k_2) → M_{93}
  2668. Translate(U_{35}, k_2) → N_{93}
  2669. Translate(V_{35}, k_2) → O_{93}
  2670. Translate(W_{35}, k_2) → P_{93}
  2671. Translate(Z_{35}, k_2) → Q_{93}
  2672. Translate(A_{36}, k_2) → R_{93}
  2673. Translate(B_{36}, k_2) → S_{93}
  2674. Translate(C_{36}, k_2) → T_{93}
  2675. Translate(D_{36}, k_2) → U_{93}
  2676. Translate(E_{36}, k_2) → V_{93}
  2677. Translate(F_{36}, k_2) → W_{93}
  2678. Translate(G_{36}, k_2) → Z_{93}
  2679. Translate(H_{36}, k_2) → A_{94}
  2680. Translate(I_{36}, k_2) → B_{94}
  2681. Translate(J_{36}, k_2) → C_{94}
  2682. Translate(K_{36}, k_2) → D_{94}
  2683. Translate(L_{36}, k_2) → E_{94}
  2684. Translate(M_{36}, k_2) → F_{94}
  2685. Translate(N_{36}, k_2) → G_{94}
  2686. Translate(O_{36}, k_2) → H_{94}
  2687. Translate(P_{36}, k_2) → I_{94}
  2688. Translate(Q_{36}, k_2) → J_{94}
  2689. Translate(R_{36}, k_2) → K_{94}
  2690. Translate(S_{36}, k_2) → L_{94}
  2691. Translate(T_{36}, k_2) → M_{94}
  2692. Translate(U_{36}, k_2) → N_{94}
  2693. Translate(V_{36}, k_2) → O_{94}
  2694. Translate(W_{36}, k_2) → P_{94}
  2695. Translate(Z_{36}, k_2) → Q_{94}
  2696. Translate(A_{37}, k_2) → R_{94}
  2697. Translate(B_{37}, k_2) → S_{94}
  2698. Translate(C_{37}, k_2) → T_{94}
  2699. Translate(D_{37}, k_2) → U_{94}
  2700. Translate(E_{37}, k_2) → V_{94}
  2701. Translate(F_{37}, k_2) → W_{94}
  2702. Translate(G_{37}, k_2) → Z_{94}
  2703. Translate(H_{37}, k_2) → A_{95}
  2704. Translate(I_{37}, k_2) → B_{95}
  2705. Translate(J_{37}, k_2) → C_{95}
  2706. Polygon(D_{93}, E_{93}, N_{93}, O_{93}, P_{93}, Q_{93}, R_{93}, S_{93}, T_{93}, U_{93}, V_{93}, W_{93}, F_{93}, Z_{93}, A_{94}, B_{94}, C_{94}, D_{94}, E_{94}, F_{94}, G_{94}, H_{94}, I_{94}, G_{93}, J_{94}, K_{94}, L_{94}, M_{94}, N_{94}, O_{94}, P_{94}, Q_{94}, R_{94}, S_{94}, H_{93}, T_{94}, U_{94}, V_{94}, W_{94}, Z_{94}, A_{95}, B_{95}, C_{95}, I_{93}, J_{93}, K_{93}, L_{93}, M_{93}) → polígono15', d_{96}, m_{94}, n_{93}, o_{94}, p_{94}, q_{94}, r_{94}, s_{94}, t_{94}, u_{94}, v_{94}, e_{96}, w_{94}, z_{93}, a_{97}, b_{97}, c_{97}, d_{97}, e_{97}, f_{97}, g_{95}, h_{95}, f_{96}, i_{95}, j_{95}, k_{95}, l_{95}, m_{95}, n_{94}, o_{95}, p_{95}, q_{95}, r_{95}, g_{94}, s_{95}, t_{95}, u_{95}, v_{95}, w_{95}, z_{94}, a_{98}, b_{98}, c_{98}, h_{94}, i_{94}, j_{94}, k_{94}, l_{94}
  2707. Translate(Z_{21}, l_2) → D_{95}
  2708. Translate(A_{22}, l_2) → E_{95}
  2709. Translate(B_{22}, l_2) → F_{95}
  2710. Translate(C_{22}, l_2) → G_{95}
  2711. Translate(D_{22}, l_2) → H_{95}
  2712. Translate(E_{22}, l_2) → I_{95}
  2713. Translate(F_{22}, l_2) → J_{95}
  2714. Translate(G_{22}, l_2) → K_{95}
  2715. Translate(H_{22}, l_2) → L_{95}
  2716. Translate(I_{22}, l_2) → M_{95}
  2717. Translate(J_{22}, l_2) → N_{95}
  2718. Translate(K_{22}, l_2) → O_{95}
  2719. Translate(L_{22}, l_2) → P_{95}
  2720. Translate(M_{22}, l_2) → Q_{95}
  2721. Translate(N_{22}, l_2) → R_{95}
  2722. Translate(O_{22}, l_2) → S_{95}
  2723. Translate(P_{22}, l_2) → T_{95}
  2724. Translate(Q_{22}, l_2) → U_{95}
  2725. Translate(R_{22}, l_2) → V_{95}
  2726. Translate(S_{22}, l_2) → W_{95}
  2727. Translate(T_{22}, l_2) → Z_{95}
  2728. Translate(U_{22}, l_2) → A_{96}
  2729. Translate(V_{22}, l_2) → B_{96}
  2730. Translate(W_{22}, l_2) → C_{96}
  2731. Translate(Z_{22}, l_2) → D_{96}
  2732. Translate(A_{23}, l_2) → E_{96}
  2733. Translate(B_{23}, l_2) → F_{96}
  2734. Translate(C_{23}, l_2) → G_{96}
  2735. Translate(D_{23}, l_2) → H_{96}
  2736. Translate(E_{23}, l_2) → I_{96}
  2737. Translate(F_{23}, l_2) → J_{96}
  2738. Translate(G_{23}, l_2) → K_{96}
  2739. Translate(H_{23}, l_2) → L_{96}
  2740. Translate(I_{23}, l_2) → M_{96}
  2741. Translate(J_{23}, l_2) → N_{96}
  2742. Translate(K_{23}, l_2) → O_{96}
  2743. Translate(L_{23}, l_2) → P_{96}
  2744. Translate(M_{23}, l_2) → Q_{96}
  2745. Translate(N_{23}, l_2) → R_{96}
  2746. Translate(O_{23}, l_2) → S_{96}
  2747. Translate(P_{23}, l_2) → T_{96}
  2748. Translate(Q_{23}, l_2) → U_{96}
  2749. Translate(R_{23}, l_2) → V_{96}
  2750. Translate(S_{23}, l_2) → W_{96}
  2751. Translate(T_{23}, l_2) → Z_{96}
  2752. Translate(U_{23}, l_2) → A_{97}
  2753. Translate(V_{23}, l_2) → B_{97}
  2754. Translate(W_{23}, l_2) → C_{97}
  2755. Polygon(D_{95}, E_{95}, N_{95}, O_{95}, P_{95}, Q_{95}, R_{95}, S_{95}, T_{95}, U_{95}, V_{95}, W_{95}, F_{95}, Z_{95}, A_{96}, B_{96}, C_{96}, D_{96}, E_{96}, F_{96}, G_{96}, H_{96}, I_{96}, G_{95}, J_{96}, K_{96}, L_{96}, M_{96}, N_{96}, O_{96}, P_{96}, Q_{96}, R_{96}, S_{96}, H_{95}, T_{96}, U_{96}, V_{96}, W_{96}, Z_{96}, A_{97}, B_{97}, C_{97}, I_{95}, J_{95}, K_{95}, L_{95}, M_{95}) → polígono33, d_{98}, m_{96}, n_{95}, o_{96}, p_{96}, q_{96}, r_{96}, s_{96}, t_{96}, u_{96}, v_{96}, e_{98}, w_{96}, z_{95}, a_{99}, b_{99}, c_{99}, d_{99}, e_{99}, f_{99}, g_{97}, h_{97}, f_{98}, i_{97}, j_{97}, k_{97}, l_{97}, m_{97}, n_{96}, o_{97}, p_{97}, q_{97}, r_{97}, g_{96}, s_{97}, t_{97}, u_{97}, v_{97}, w_{97}, z_{96}, a_{100}, b_{100}, c_{100}, h_{96}, i_{96}, j_{96}, k_{96}, l_{96}