积极 AI Logo 积极 AI

平面四重对称镶嵌艺术与数学

平面四重对称镶嵌艺术与数学
几何画板及绘图内容加载中，请稍等……
2017-07-10 02:04
多边形向量几何作图
本范例展示了基于正方形基础的四重对称平面镶嵌艺术。它涉及对称性、几何作图等核心数学概念。通过使用Polygon、Rotate、Segment、Vector、Translate等GeoGebra命令，可以构造出具有四重对称性的镶嵌图案。适合初中及以上学生学习几何变换与对称性。

GeoGebra 命令及参数

  1. Polygon(A, B, 4) → poly1, f, g, h, i, C, D
  2. Point(f) → E
  3. Rotate(G, (-(90°)), B) → G'
  4. Rotate(E, (-(90°)), B) → E'
  5. Point(f) → F
  6. Rotate(F, (-(90°)), B) → F'
  7. Polygon(D, A, E, G, F, B, F', G', E', C) → poly2, d, c, a, e, g_1, f_1, b, f', g', e'
  8. Rotate(D, (-(90°)), B) → D'
  9. Rotate(A, (-(90°)), B) → A'
  10. Rotate(E, (-(90°)), B) → E'_1
  11. Rotate(G, (-(90°)), B) → G'_1
  12. Rotate(F, (-(90°)), B) → F'_1
  13. Rotate(B, (-(90°)), B) → B'
  14. Rotate(F', (-(90°)), B) → F''
  15. Rotate(G', (-(90°)), B) → G''
  16. Rotate(E', (-(90°)), B) → E''
  17. Rotate(C, (-(90°)), B) → C'
  18. Polygon(D', A', E'_1, G'_1, F'_1, B', F'', G'', E'', C') → poly2', d', c', a', e'_1, g'_1, f'_1, b', f'', g'', e''
  19. Rotate(D', (-(90°)), B) → D''
  20. Rotate(A', (-(90°)), B) → A''
  21. Rotate(E'_1, (-(90°)), B) → H
  22. Rotate(G'_1, (-(90°)), B) → I
  23. Rotate(F'_1, (-(90°)), B) → J
  24. Rotate(B', (-(90°)), B) → B''
  25. Rotate(F'', (-(90°)), B) → F'''
  26. Rotate(G'', (-(90°)), B) → G'''
  27. Rotate(E'', (-(90°)), B) → E'''
  28. Rotate(C', (-(90°)), B) → C''
  29. Polygon(D'', A'', H, I, J, B'', F''', G''', E''', C'') → poly2'', d'', c'', a'', h_1, i_1, j, b'', f''', g''', e'''
  30. Rotate(D'', (-(90°)), B) → D'''
  31. Rotate(A'', (-(90°)), B) → A'''
  32. Rotate(H, (-(90°)), B) → H'
  33. Rotate(I, (-(90°)), B) → I'
  34. Rotate(J, (-(90°)), B) → J'
  35. Rotate(B'', (-(90°)), B) → B'''
  36. Rotate(F''', (-(90°)), B) → K
  37. Rotate(G''', (-(90°)), B) → L
  38. Rotate(E''', (-(90°)), B) → M
  39. Rotate(C'', (-(90°)), B) → C'''
  40. Polygon(D''', A''', H', I', J', B''', K, L, M, C''') → poly2''', d''', c''', a''', h', i', j', b''', k, l, m
  41. Rotate(D, (-(90°)), D'') → D'_1
  42. Rotate(A, (-(90°)), D'') → A'_1
  43. Rotate(E, (-(90°)), D'') → E'_2
  44. Rotate(G, (-(90°)), D'') → G'_2
  45. Rotate(F, (-(90°)), D'') → F'_2
  46. Rotate(B, (-(90°)), D'') → B'_1
  47. Rotate(F', (-(90°)), D'') → F''_1
  48. Rotate(G', (-(90°)), D'') → G''_1
  49. Rotate(E', (-(90°)), D'') → E''_1
  50. Rotate(C, (-(90°)), D'') → C'_1
  51. Polygon(D'_1, A'_1, E'_2, G'_2, F'_2, B'_1, F''_1, G''_1, E''_1, C'_1) → poly2'_1, d'_1, c'_1, a'_1, e'_2, g'_2, f'_2, b'_1, f''_1, g''_1, e''_1
  52. Rotate(D', (-(90°)), D'') → D''_1
  53. Rotate(A', (-(90°)), D'') → A''_1
  54. Rotate(E'_1, (-(90°)), D'') → N
  55. Rotate(G'_1, (-(90°)), D'') → O
  56. Rotate(F'_1, (-(90°)), D'') → P
  57. Rotate(B', (-(90°)), D'') → B''_1
  58. Rotate(F'', (-(90°)), D'') → F'''_1
  59. Rotate(G'', (-(90°)), D'') → G'''_1
  60. Rotate(E'', (-(90°)), D'') → E'''_1
  61. Rotate(C', (-(90°)), D'') → C''_1
  62. Polygon(D''_1, A''_1, N, O, P, B''_1, F'''_1, G'''_1, E'''_1, C''_1) → poly2''_1, d''_1, c''_1, a''_1, n, o, p, b''_1, f'''_1, g'''_1, e'''_1
  63. Rotate(D'', (-(90°)), D'') → D'''_1
  64. Rotate(A'', (-(90°)), D'') → A'''_1
  65. Rotate(H, (-(90°)), D'') → H'_1
  66. Rotate(I, (-(90°)), D'') → I'_1
  67. Rotate(J, (-(90°)), D'') → J'_1
  68. Rotate(B'', (-(90°)), D'') → B'''_1
  69. Rotate(F''', (-(90°)), D'') → Q
  70. Rotate(G''', (-(90°)), D'') → R
  71. Rotate(E''', (-(90°)), D'') → S
  72. Rotate(C'', (-(90°)), D'') → C'''_1
  73. Polygon(D'''_1, A'''_1, H'_1, I'_1, J'_1, B'''_1, Q, R, S, C'''_1) → poly2'''_1, d'''_1, c'''_1, a'''_1, h'_1, i'_1, j'_1, b'''_1, q, r, s
  74. Rotate(D''', (-(90°)), D'') → T
  75. Rotate(A''', (-(90°)), D'') → U
  76. Rotate(H', (-(90°)), D'') → H''
  77. Rotate(I', (-(90°)), D'') → I''
  78. Rotate(J', (-(90°)), D'') → J''
  79. Rotate(B''', (-(90°)), D'') → V
  80. Rotate(K, (-(90°)), D'') → K'
  81. Rotate(L, (-(90°)), D'') → L'
  82. Rotate(M, (-(90°)), D'') → M'
  83. Rotate(C''', (-(90°)), D'') → W
  84. Polygon(T, U, H'', I'', J'', V, K', L', M', W) → poly3, t, w, u, h'', i'', j'', v, k', l', m'
  85. Rotate(D'_1, (-(90°)), D'') → Z
  86. Rotate(A'_1, (-(90°)), D'') → A_1
  87. Rotate(E'_2, (-(90°)), D'') → B_1
  88. Rotate(G'_2, (-(90°)), D'') → C_1
  89. Rotate(F'_2, (-(90°)), D'') → D_1
  90. Rotate(B'_1, (-(90°)), D'') → E_1
  91. Rotate(F''_1, (-(90°)), D'') → F_1
  92. Rotate(G''_1, (-(90°)), D'') → G_1
  93. Rotate(E''_1, (-(90°)), D'') → H_1
  94. Rotate(C'_1, (-(90°)), D'') → I_1
  95. Polygon(Z, A_1, B_1, C_1, D_1, E_1, F_1, G_1, H_1, I_1) → poly4, z_1, i_2, a_1, b_1, c_1, d_1, e_1, f_2, g_2, h_2
  96. Rotate(D''_1, (-(90°)), D'') → J_1
  97. Rotate(A''_1, (-(90°)), D'') → K_1
  98. Rotate(N, (-(90°)), D'') → N'
  99. Rotate(O, (-(90°)), D'') → O'
  100. Rotate(P, (-(90°)), D'') → P'
  101. Rotate(B''_1, (-(90°)), D'') → L_1
  102. Rotate(F'''_1, (-(90°)), D'') → M_1
  103. Rotate(G'''_1, (-(90°)), D'') → N_1
  104. Rotate(E'''_1, (-(90°)), D'') → O_1
  105. Rotate(C''_1, (-(90°)), D'') → P_1
  106. Polygon(J_1, K_1, N', O', P', L_1, M_1, N_1, O_1, P_1) → poly5, j_1, p_1, k_1, n', o', p', l_1, m_1, n_1, o_1
  107. Rotate(D'''_1, (-(90°)), D'') → Q_1
  108. Rotate(A'''_1, (-(90°)), D'') → R_1
  109. Rotate(H'_1, (-(90°)), D'') → S_1
  110. Rotate(I'_1, (-(90°)), D'') → T_1
  111. Rotate(J'_1, (-(90°)), D'') → U_1
  112. Rotate(B'''_1, (-(90°)), D'') → V_1
  113. Rotate(Q, (-(90°)), D'') → Q'
  114. Rotate(R, (-(90°)), D'') → R'
  115. Rotate(S, (-(90°)), D'') → S'
  116. Rotate(C'''_1, (-(90°)), D'') → W_1
  117. Polygon(Q_1, R_1, S_1, T_1, U_1, V_1, Q', R', S', W_1) → poly6, q_1, w_1, r_1, s_1, t_1, u_1, v_1, q', r', s'
  118. Rotate(T, (-(90°)), D'') → T'
  119. Rotate(U, (-(90°)), D'') → U'
  120. Rotate(H'', (-(90°)), D'') → H'''
  121. Rotate(I'', (-(90°)), D'') → I'''
  122. Rotate(J'', (-(90°)), D'') → J'''
  123. Rotate(V, (-(90°)), D'') → V'
  124. Rotate(K', (-(90°)), D'') → K''
  125. Rotate(L', (-(90°)), D'') → L''
  126. Rotate(M', (-(90°)), D'') → M''
  127. Rotate(W, (-(90°)), D'') → W'
  128. Polygon(T', U', H''', I''', J''', V', K'', L'', M'', W') → poly3', t', w', u', h''', i''', j''', v', k'', l'', m''
  129. Rotate(C', (-(90°)), D'') → C''_2
  130. Rotate(D', (-(90°)), D'') → D''_2
  131. Segment(C''_2, D''_2) → c''_2
  132. Rotate(D'', (-(90°)), D'') → D'''_2
  133. Rotate(A'', (-(90°)), D'') → A'''_2
  134. Segment(D'''_2, A'''_2) → d'''_2
  135. Rotate(D, 90°, D'') → D'_2
  136. Rotate(A, 90°, D'') → A'_2
  137. Rotate(E, 90°, D'') → E'_3
  138. Rotate(G, 90°, D'') → G'_3
  139. Rotate(F, 90°, D'') → F'_3
  140. Rotate(B, 90°, D'') → B'_2
  141. Rotate(F', 90°, D'') → F''_2
  142. Rotate(G', 90°, D'') → G''_2
  143. Rotate(E', 90°, D'') → E''_2
  144. Rotate(C, 90°, D'') → C'_2
  145. Polygon(D'_2, A'_2, E'_3, G'_3, F'_3, B'_2, F''_2, G''_2, E''_2, C'_2) → poly2'_2, d'_2, c'_2, a'_2, e'_3, g'_3, f'_3, b'_2, f''_2, g''_2, e''_2
  146. Rotate(D', 90°, D'') → D''_3
  147. Rotate(A', 90°, D'') → A''_2
  148. Rotate(E'_1, 90°, D'') → Z_1
  149. Rotate(G'_1, 90°, D'') → A_2
  150. Rotate(F'_1, 90°, D'') → B_2
  151. Rotate(B', 90°, D'') → B''_2
  152. Rotate(F'', 90°, D'') → F'''_2
  153. Rotate(G'', 90°, D'') → G'''_2
  154. Rotate(E'', 90°, D'') → E'''_2
  155. Rotate(C', 90°, D'') → C''_3
  156. Polygon(D''_3, A''_2, Z_1, A_2, B_2, B''_2, F'''_2, G'''_2, E'''_2, C''_3) → poly2''_2, d''_3, c''_3, a''_2, z_2, a_2, b_2, b''_2, f'''_2, g'''_2, e'''_2
  157. Rotate(D'', 90°, D'') → D'''_3
  158. Rotate(A'', 90°, D'') → A'''_3
  159. Rotate(H, 90°, D'') → H'_2
  160. Rotate(I, 90°, D'') → I'_2
  161. Rotate(J, 90°, D'') → J'_2
  162. Rotate(B'', 90°, D'') → B'''_2
  163. Rotate(F''', 90°, D'') → C_2
  164. Rotate(G''', 90°, D'') → D_2
  165. Rotate(E''', 90°, D'') → E_2
  166. Rotate(C'', 90°, D'') → C'''_2
  167. Polygon(D'''_3, A'''_3, H'_2, I'_2, J'_2, B'''_2, C_2, D_2, E_2, C'''_2) → poly2'''_2, d'''_3, c'''_2, a'''_3, h'_2, i'_2, j'_2, b'''_2, c_2, d_2, e_2
  168. Rotate(D''', 90°, D'') → F_2
  169. Rotate(A''', 90°, D'') → G_2
  170. Rotate(H', 90°, D'') → H''_1
  171. Rotate(I', 90°, D'') → I''_1
  172. Rotate(J', 90°, D'') → J''_1
  173. Rotate(B''', 90°, D'') → H_2
  174. Rotate(K, 90°, D'') → K'_1
  175. Rotate(L, 90°, D'') → L'_1
  176. Rotate(M, 90°, D'') → M'_1
  177. Rotate(C''', 90°, D'') → I_2
  178. Polygon(F_2, G_2, H''_1, I''_1, J''_1, H_2, K'_1, L'_1, M'_1, I_2) → poly7, f_3, i_3, g_3, h''_1, i''_1, j''_1, h_3, k'_1, l'_1, m'_1
  179. Rotate(C'''_1, 90°, D'') → J_2
  180. Rotate(D'''_1, 90°, D'') → K_2
  181. Segment(J_2, K_2) → j_2
  182. Rotate(T, 90°, D'') → T'_1
  183. Rotate(U, 90°, D'') → U'_1
  184. Segment(T'_1, U'_1) → t'_1
  185. Rotate(Q_1, 90°, D'') → L_2
  186. Rotate(D'''_2, 90°, D'') → M_2
  187. Vector(D, D'_1) → u_2
  188. Vector(D'_2, D) → v_2
  189. Translate(D, v_2) → D'_3
  190. Translate(A, v_2) → A'_3
  191. Translate(E, v_2) → E'_4
  192. Translate(G, v_2) → G'_4
  193. Translate(F, v_2) → F'_4
  194. Translate(B, v_2) → B'_3
  195. Translate(F', v_2) → F''_3
  196. Translate(G', v_2) → G''_3
  197. Translate(E', v_2) → E''_3
  198. Translate(C, v_2) → C'_3
  199. Polygon(D'_3, A'_3, E'_4, G'_4, F'_4, B'_3, F''_3, G''_3, E''_3, C'_3) → poly2'_3, d'_3, c'_3, a'_3, e'_4, g'_4, f'_4, b'_3, f''_3, g''_3, e''_3
  200. Translate(D''', v_2) → N_2
  201. Translate(A''', v_2) → O_2
  202. Translate(H', v_2) → H''_2
  203. Translate(I', v_2) → I''_2
  204. Translate(J', v_2) → J''_2
  205. Translate(B''', v_2) → P_2
  206. Translate(K, v_2) → K'_2
  207. Translate(L, v_2) → L'_2
  208. Translate(M, v_2) → M'_2
  209. Translate(C''', v_2) → Q_2
  210. Polygon(N_2, O_2, H''_2, I''_2, J''_2, P_2, K'_2, L'_2, M'_2, Q_2) → poly8, n_2, q_2, o_2, h''_2, i''_2, j''_2, p_2, k'_2, l'_2, m'_2
  211. Translate(D'', v_2) → D'''_4
  212. Translate(A'', v_2) → A'''_4
  213. Translate(H, v_2) → H'_3
  214. Translate(I, v_2) → I'_3
  215. Translate(J, v_2) → J'_3
  216. Translate(B'', v_2) → B'''_3
  217. Translate(F''', v_2) → R_2
  218. Translate(G''', v_2) → S_2
  219. Translate(E''', v_2) → T_2
  220. Translate(C'', v_2) → C'''_3
  221. Polygon(D'''_4, A'''_4, H'_3, I'_3, J'_3, B'''_3, R_2, S_2, T_2, C'''_3) → poly2'''_3, d'''_4, c'''_3, a'''_4, h'_3, i'_3, j'_3, b'''_3, r_2, s_2, t_2
  222. Translate(D', v_2) → D''_4
  223. Translate(A', v_2) → A''_3
  224. Translate(E'_1, v_2) → U_2
  225. Translate(G'_1, v_2) → V_2
  226. Translate(F'_1, v_2) → W_2
  227. Translate(B', v_2) → B''_3
  228. Translate(F'', v_2) → F'''_3
  229. Translate(G'', v_2) → G'''_3
  230. Translate(E'', v_2) → E'''_3
  231. Translate(C', v_2) → C''_4
  232. Polygon(D''_4, A''_3, U_2, V_2, W_2, B''_3, F'''_3, G'''_3, E'''_3, C''_4) → poly2''_3, d''_4, c''_4, a''_3, u_3, v_3, w_2, b''_3, f'''_3, g'''_3, e'''_3
  233. Translate(D''_3, k_2) → Z_2
  234. Translate(A''_2, k_2) → A_3
  235. Translate(Z_1, k_2) → B_3
  236. Translate(A_2, k_2) → C_3
  237. Translate(B_2, k_2) → D_3
  238. Translate(B''_2, k_2) → E_3
  239. Translate(F'''_2, k_2) → F_3
  240. Translate(G'''_2, k_2) → G_3
  241. Translate(E'''_2, k_2) → H_3
  242. Translate(C''_3, k_2) → I_3
  243. Translate(Z_2, v_2) → J_3
  244. Translate(A_3, v_2) → K_3
  245. Translate(B_3, v_2) → L_3
  246. Translate(C_3, v_2) → M_3
  247. Translate(D_3, v_2) → N_3
  248. Translate(E_3, v_2) → O_3
  249. Translate(F_3, v_2) → P_3
  250. Translate(G_3, v_2) → Q_3
  251. Translate(H_3, v_2) → R_3
  252. Translate(I_3, v_2) → S_3
  253. Polygon(J_3, K_3, L_3, M_3, N_3, O_3, P_3, Q_3, R_3, S_3) → poly9', j_3, s_3, k_3, l_3, m_3, n_3, o_3, p_3, q_3, r_3
  254. Translate(D'_2, v_2) → T_3
  255. Translate(A'_2, v_2) → U_3
  256. Translate(E'_3, v_2) → V_3
  257. Translate(G'_3, v_2) → W_3
  258. Translate(F'_3, v_2) → Z_3
  259. Translate(B'_2, v_2) → A_4
  260. Translate(F''_2, v_2) → B_4
  261. Translate(G''_2, v_2) → C_4
  262. Translate(E''_2, v_2) → D_4
  263. Translate(C'_2, v_2) → E_4
  264. Polygon(T_3, U_3, V_3, W_3, Z_3, A_4, B_4, C_4, D_4, E_4) → poly10, t_3, e_4, u_4, v_4, w_3, z_4, a_4, b_4, c_4, d_4
  265. Translate(F_2, v_2) → F_4
  266. Translate(G_2, v_2) → G_4
  267. Translate(H''_1, v_2) → H_4
  268. Translate(I''_1, v_2) → I_4
  269. Translate(J''_1, v_2) → J_4
  270. Translate(H_2, v_2) → K_4
  271. Translate(K'_1, v_2) → L_4
  272. Translate(L'_1, v_2) → M_4
  273. Translate(M'_1, v_2) → N_4
  274. Translate(I_2, v_2) → O_4
  275. Polygon(F_4, G_4, H_4, I_4, J_4, K_4, L_4, M_4, N_4, O_4) → poly7', f_5, o_4, g_5, h_5, i_5, j_4, k_4, l_4, m_4, n_4
  276. Translate(D'''_3, v_2) → P_4
  277. Translate(A'''_3, v_2) → Q_4
  278. Translate(H'_2, v_2) → R_4
  279. Translate(I'_2, v_2) → S_4
  280. Translate(J'_2, v_2) → T_4
  281. Translate(B'''_2, v_2) → U_4
  282. Translate(C_2, v_2) → V_4
  283. Translate(D_2, v_2) → W_4
  284. Translate(E_2, v_2) → Z_4
  285. Translate(C'''_2, v_2) → A_5
  286. Polygon(P_4, Q_4, R_4, S_4, T_4, U_4, V_4, W_4, Z_4, A_5) → poly11, p_4, a_5, q_4, r_4, s_4, t_4, u_5, v_5, w_4, z_5
  287. Translate(D'''_1, v_2) → B_5
  288. Translate(A'''_1, v_2) → C_5
  289. Translate(H'_1, v_2) → D_5
  290. Translate(I'_1, v_2) → E_5
  291. Translate(J'_1, v_2) → F_5
  292. Translate(B'''_1, v_2) → G_5
  293. Translate(Q, v_2) → Q'_1
  294. Translate(R, v_2) → R'_1
  295. Translate(S, v_2) → S'_1
  296. Translate(C'''_1, v_2) → H_5
  297. Polygon(B_5, C_5, D_5, E_5, F_5, G_5, Q'_1, R'_1, S'_1, H_5) → poly12, b_5, h_6, c_5, d_5, e_5, f_6, g_6, q'_1, r'_1, s'_1
  298. Translate(Q_1, v_2) → I_5
  299. Translate(R_1, v_2) → J_5
  300. Translate(S_1, v_2) → K_5
  301. Translate(T_1, v_2) → L_5
  302. Translate(U_1, v_2) → M_5
  303. Translate(V_1, v_2) → N_5
  304. Translate(Q', v_2) → Q''
  305. Translate(R', v_2) → R''
  306. Translate(S', v_2) → S''
  307. Translate(W_1, v_2) → O_5
  308. Polygon(I_5, J_5, K_5, L_5, M_5, N_5, Q'', R'', S'', O_5) → poly6', i_6, o_5, j_5, k_5, l_5, m_5, n_5, q'', r'', s''
  309. Translate(J_1, v_2) → P_5
  310. Translate(K_1, v_2) → Q_5
  311. Translate(N', v_2) → N''
  312. Translate(O', v_2) → O''
  313. Translate(P', v_2) → P''
  314. Translate(L_1, v_2) → R_5
  315. Translate(M_1, v_2) → S_5
  316. Translate(N_1, v_2) → T_5
  317. Translate(O_1, v_2) → U_5
  318. Translate(P_1, v_2) → V_5
  319. Polygon(P_5, Q_5, N'', O'', P'', R_5, S_5, T_5, U_5, V_5) → poly5', p_5, v_6, q_5, n'', o'', p'', r_5, s_5, t_5, u_6
  320. Translate(T, v_2) → T'_2
  321. Translate(U, v_2) → U'_2
  322. Translate(H'', v_2) → H'''_1
  323. Translate(I'', v_2) → I'''_1
  324. Translate(J'', v_2) → J'''_1
  325. Translate(V, v_2) → V'_1
  326. Translate(K', v_2) → K''_1
  327. Translate(L', v_2) → L''_1
  328. Translate(M', v_2) → M''_1
  329. Translate(W, v_2) → W'_1
  330. Polygon(T'_2, U'_2, H'''_1, I'''_1, J'''_1, V'_1, K''_1, L''_1, M''_1, W'_1) → poly3'_1, t'_2, w'_1, u'_2, h'''_1, i'''_1, j'''_1, v'_1, k''_1, l''_1, m''_1
  331. Translate(T', v_2) → T''
  332. Translate(U', v_2) → U''
  333. Translate(H''', v_2) → W_5
  334. Translate(I''', v_2) → Z_5
  335. Translate(J''', v_2) → A_6
  336. Translate(V', v_2) → V''
  337. Translate(K'', v_2) → K'''
  338. Translate(L'', v_2) → L'''
  339. Translate(M'', v_2) → M'''
  340. Translate(W', v_2) → W''
  341. Polygon(T'', U'', W_5, Z_5, A_6, V'', K''', L''', M''', W'') → poly3'', t'', w'', u'', w_5, z_6, a_6, v'', k''', l''', m'''
  342. Translate(Z, v_2) → Z'
  343. Translate(A_1, v_2) → B_6
  344. Translate(B_1, v_2) → C_6
  345. Translate(C_1, v_2) → D_6
  346. Translate(D_1, v_2) → E_6
  347. Translate(E_1, v_2) → F_6
  348. Translate(F_1, v_2) → G_6
  349. Translate(G_1, v_2) → H_6
  350. Translate(H_1, v_2) → I_6
  351. Translate(I_1, v_2) → J_6
  352. Polygon(Z', B_6, C_6, D_6, E_6, F_6, G_6, H_6, I_6, J_6) → poly4', z', j_6, b_6, c_6, d_6, e_6, f_7, g_7, h_7, i_7
  353. Translate(D'_1, v_2) → K_6
  354. Translate(A'_1, v_2) → L_6
  355. Translate(E'_2, v_2) → M_6
  356. Translate(G'_2, v_2) → N_6
  357. Translate(F'_2, v_2) → O_6
  358. Translate(B'_1, v_2) → P_6
  359. Translate(F''_1, v_2) → Q_6
  360. Translate(G''_1, v_2) → R_6
  361. Translate(E''_1, v_2) → S_6
  362. Translate(C'_1, v_2) → T_6
  363. Polygon(K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, S_6, T_6) → poly13, k_6, t_6, l_6, m_6, n_6, o_6, p_6, q_6, r_6, s_6
  364. Translate(D''_1, v_2) → U_6
  365. Translate(A''_1, v_2) → V_6
  366. Translate(N, v_2) → N'_1
  367. Translate(O, v_2) → O'_1
  368. Translate(P, v_2) → P'_1
  369. Translate(B''_1, v_2) → W_6
  370. Translate(F'''_1, v_2) → Z_6
  371. Translate(G'''_1, v_2) → A_7
  372. Translate(E'''_1, v_2) → B_7
  373. Translate(C''_1, v_2) → C_7
  374. Polygon(U_6, V_6, N'_1, O'_1, P'_1, W_6, Z_6, A_7, B_7, C_7) → poly14, u_7, c_7, v_7, n'_1, o'_1, p'_1, w_6, z_7, a_7, b_7
  375. Translate(D', u_2) → D''_5
  376. Translate(A', u_2) → A''_4
  377. Translate(E'_1, u_2) → D_7
  378. Translate(G'_1, u_2) → E_7
  379. Translate(F'_1, u_2) → F_7
  380. Translate(B', u_2) → B''_4
  381. Translate(F'', u_2) → F'''_4
  382. Translate(G'', u_2) → G'''_4
  383. Translate(E'', u_2) → E'''_4
  384. Translate(C', u_2) → C''_5
  385. Polygon(D''_5, A''_4, D_7, E_7, F_7, B''_4, F'''_4, G'''_4, E'''_4, C''_5) → poly2''_4, d''_5, c''_5, a''_4, d_7, e_7, f_8, b''_4, f'''_4, g'''_4, e'''_4
  386. Translate(D, u_2) → D'_4
  387. Translate(A, u_2) → A'_4
  388. Translate(E, u_2) → E'_5
  389. Translate(G, u_2) → G'_5
  390. Translate(F, u_2) → F'_5
  391. Translate(B, u_2) → B'_4
  392. Translate(F', u_2) → F''_4
  393. Translate(G', u_2) → G''_4
  394. Translate(E', u_2) → E''_4
  395. Translate(C, u_2) → C'_4
  396. Polygon(D'_4, A'_4, E'_5, G'_5, F'_5, B'_4, F''_4, G''_4, E''_4, C'_4) → poly2'_4, d'_4, c'_4, a'_4, e'_5, g'_5, f'_5, b'_4, f''_4, g''_4, e''_4
  397. Translate(D''', u_2) → G_7
  398. Translate(A''', u_2) → H_7
  399. Translate(H', u_2) → H''_3
  400. Translate(I', u_2) → I''_3
  401. Translate(J', u_2) → J''_3
  402. Translate(B''', u_2) → I_7
  403. Translate(K, u_2) → K'_3
  404. Translate(L, u_2) → L'_3
  405. Translate(M, u_2) → M'_3
  406. Translate(C''', u_2) → J_7
  407. Polygon(G_7, H_7, H''_3, I''_3, J''_3, I_7, K'_3, L'_3, M'_3, J_7) → poly15, g_8, j_7, h_8, h''_3, i''_3, j''_3, i_8, k'_3, l'_3, m'_3
  408. Translate(D'', u_2) → D'''_5
  409. Translate(A'', u_2) → A'''_5
  410. Translate(H, u_2) → H'_4
  411. Translate(I, u_2) → I'_4
  412. Translate(J, u_2) → J'_4
  413. Translate(B'', u_2) → B'''_4
  414. Translate(F''', u_2) → K_7
  415. Translate(G''', u_2) → L_7
  416. Translate(E''', u_2) → M_7
  417. Translate(C'', u_2) → C'''_4
  418. Polygon(D'''_5, A'''_5, H'_4, I'_4, J'_4, B'''_4, K_7, L_7, M_7, C'''_4) → poly2'''_4, d'''_5, c'''_4, a'''_5, h'_4, i'_4, j'_4, b'''_4, k_7, l_7, m_7
  419. Translate(Z_2, u_2) → N_7
  420. Translate(A_3, u_2) → O_7
  421. Translate(B_3, u_2) → P_7
  422. Translate(C_3, u_2) → Q_7
  423. Translate(D_3, u_2) → R_7
  424. Translate(E_3, u_2) → S_7
  425. Translate(F_3, u_2) → T_7
  426. Translate(G_3, u_2) → U_7
  427. Translate(H_3, u_2) → V_7
  428. Translate(I_3, u_2) → W_7
  429. Polygon(N_7, O_7, P_7, Q_7, R_7, S_7, T_7, U_7, V_7, W_7) → poly9'_1, n_7, w_7, o_7, p_7, q_7, r_7, s_7, t_7, u_8, v_8
  430. Translate(D'_2, u_2) → Z_7
  431. Translate(A'_2, u_2) → A_8
  432. Translate(E'_3, u_2) → B_8
  433. Translate(G'_3, u_2) → C_8
  434. Translate(F'_3, u_2) → D_8
  435. Translate(B'_2, u_2) → E_8
  436. Translate(F''_2, u_2) → F_8
  437. Translate(G''_2, u_2) → G_8
  438. Translate(E''_2, u_2) → H_8
  439. Translate(C'_2, u_2) → I_8
  440. Polygon(Z_7, A_8, B_8, C_8, D_8, E_8, F_8, G_8, H_8, I_8) → poly16, z_8, i_9, a_8, b_8, c_8, d_8, e_8, f_9, g_9, h_9
  441. Translate(D'''_3, u_2) → J_8
  442. Translate(A'''_3, u_2) → K_8
  443. Translate(H'_2, u_2) → L_8
  444. Translate(I'_2, u_2) → M_8
  445. Translate(J'_2, u_2) → N_8
  446. Translate(B'''_2, u_2) → O_8
  447. Translate(C_2, u_2) → P_8
  448. Translate(D_2, u_2) → Q_8
  449. Translate(E_2, u_2) → R_8
  450. Translate(C'''_2, u_2) → S_8
  451. Polygon(J_8, K_8, L_8, M_8, N_8, O_8, P_8, Q_8, R_8, S_8) → poly17, j_8, s_8, k_8, l_8, m_8, n_8, o_8, p_8, q_8, r_8
  452. Translate(F_2, u_2) → T_8
  453. Translate(G_2, u_2) → U_8
  454. Translate(H''_1, u_2) → V_8
  455. Translate(I''_1, u_2) → W_8
  456. Translate(J''_1, u_2) → Z_8
  457. Translate(H_2, u_2) → A_9
  458. Translate(K'_1, u_2) → B_9
  459. Translate(L'_1, u_2) → C_9
  460. Translate(M'_1, u_2) → D_9
  461. Translate(I_2, u_2) → E_9
  462. Polygon(T_8, U_8, V_8, W_8, Z_8, A_9, B_9, C_9, D_9, E_9) → poly7'_1, t_8, e_9, u_9, v_9, w_8, z_9, a_9, b_9, c_9, d_9
  463. Translate(D'_3, u_2) → F_9
  464. Translate(A'_3, u_2) → G_9
  465. Translate(E'_4, u_2) → H_9
  466. Translate(G'_4, u_2) → I_9
  467. Translate(F'_4, u_2) → J_9
  468. Translate(B'_3, u_2) → K_9
  469. Translate(F''_3, u_2) → L_9
  470. Translate(G''_3, u_2) → M_9
  471. Translate(E''_3, u_2) → N_9
  472. Translate(C'_3, u_2) → O_9
  473. Polygon(F_9, G_9, H_9, I_9, J_9, K_9, L_9, M_9, N_9, O_9) → poly9, f_4, o_9, g_4, h_4, i_4, j_9, k_9, l_9, m_9, n_9
  474. Translate(D''_4, u_2) → P_9
  475. Translate(A''_3, u_2) → Q_9
  476. Translate(U_2, u_2) → R_9
  477. Translate(V_2, u_2) → S_9
  478. Translate(W_2, u_2) → T_9
  479. Translate(B''_3, u_2) → U_9
  480. Translate(F'''_3, u_2) → V_9
  481. Translate(G'''_3, u_2) → W_9
  482. Translate(E'''_3, u_2) → Z_9
  483. Translate(C''_4, u_2) → A_{10}
  484. Polygon(P_9, Q_9, R_9, S_9, T_9, U_9, V_9, W_9, Z_9, A_{10}) → poly18, p_9, a_{10}, q_9, r_9, s_9, t_9, u_{10}, v_{10}, w_9, z_3
  485. Translate(N_2, u_2) → B_{10}
  486. Translate(O_2, u_2) → C_{10}
  487. Translate(H''_2, u_2) → D_{10}
  488. Translate(I''_2, u_2) → E_{10}
  489. Translate(J''_2, u_2) → F_{10}
  490. Translate(P_2, u_2) → G_{10}
  491. Translate(K'_2, u_2) → H_{10}
  492. Translate(L'_2, u_2) → I_{10}
  493. Translate(M'_2, u_2) → J_{10}
  494. Translate(Q_2, u_2) → K_{10}
  495. Polygon(B_{10}, C_{10}, D_{10}, E_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}) → poly8', b_{10}, k_{10}, c_{10}, d_{10}, e_{10}, f_{10}, g_{10}, h_{10}, i_{10}, j_{10}
  496. Translate(D'''_4, u_2) → L_{10}
  497. Translate(A'''_4, u_2) → M_{10}
  498. Translate(H'_3, u_2) → N_{10}
  499. Translate(I'_3, u_2) → O_{10}
  500. Translate(J'_3, u_2) → P_{10}
  501. Translate(B'''_3, u_2) → Q_{10}
  502. Translate(R_2, u_2) → R_{10}
  503. Translate(S_2, u_2) → S_{10}
  504. Translate(T_2, u_2) → T_{10}
  505. Translate(C'''_3, u_2) → U_{10}
  506. Polygon(L_{10}, M_{10}, N_{10}, O_{10}, P_{10}, Q_{10}, R_{10}, S_{10}, T_{10}, U_{10}) → poly19, l_{10}, u_{11}, m_{10}, n_{10}, o_{10}, p_{10}, q_{10}, r_{10}, s_{10}, t_{10}
  507. Translate(P_4, u_2) → V_{10}
  508. Translate(Q_4, u_2) → W_{10}
  509. Translate(R_4, u_2) → Z_{10}
  510. Translate(S_4, u_2) → A_{11}
  511. Translate(T_4, u_2) → B_{11}
  512. Translate(U_4, u_2) → C_{11}
  513. Translate(V_4, u_2) → D_{11}
  514. Translate(W_4, u_2) → E_{11}
  515. Translate(Z_4, u_2) → F_{11}
  516. Translate(A_5, u_2) → G_{11}
  517. Polygon(V_{10}, W_{10}, Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}, F_{11}, G_{11}) → poly11', v_{11}, g_{11}, w_{10}, z_{10}, a_{11}, b_{11}, c_{11}, d_{11}, e_{11}, f_{11}
  518. Translate(J_3, u_2) → H_{11}
  519. Translate(K_3, u_2) → I_{11}
  520. Translate(L_3, u_2) → J_{11}
  521. Translate(M_3, u_2) → K_{11}
  522. Translate(N_3, u_2) → L_{11}
  523. Translate(O_3, u_2) → M_{11}
  524. Translate(P_3, u_2) → N_{11}
  525. Translate(Q_3, u_2) → O_{11}
  526. Translate(R_3, u_2) → P_{11}
  527. Translate(S_3, u_2) → Q_{11}
  528. Polygon(H_{11}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}, O_{11}, P_{11}, Q_{11}) → poly9'', h_{11}, q_{11}, i_{11}, j_{11}, k_{11}, l_{11}, m_{11}, n_{11}, o_{11}, p_{11}
  529. Translate(F_4, u_2) → R_{11}
  530. Translate(G_4, u_2) → S_{11}
  531. Translate(H_4, u_2) → T_{11}
  532. Translate(I_4, u_2) → U_{11}
  533. Translate(J_4, u_2) → V_{11}
  534. Translate(K_4, u_2) → W_{11}
  535. Translate(L_4, u_2) → Z_{11}
  536. Translate(M_4, u_2) → A_{12}
  537. Translate(N_4, u_2) → B_{12}
  538. Translate(O_4, u_2) → C_{12}
  539. Polygon(R_{11}, S_{11}, T_{11}, U_{11}, V_{11}, W_{11}, Z_{11}, A_{12}, B_{12}, C_{12}) → poly7'', r_{11}, c_{12}, s_{11}, t_{11}, u_{12}, v_{12}, w_{11}, z_{11}, a_{12}, b_{12}
  540. Translate(T_3, u_2) → D_{12}
  541. Translate(U_3, u_2) → E_{12}
  542. Translate(V_3, u_2) → F_{12}
  543. Translate(W_3, u_2) → G_{12}
  544. Translate(Z_3, u_2) → H_{12}
  545. Translate(A_4, u_2) → I_{12}
  546. Translate(B_4, u_2) → J_{12}
  547. Translate(C_4, u_2) → K_{12}
  548. Translate(D_4, u_2) → L_{12}
  549. Translate(E_4, u_2) → M_{12}
  550. Polygon(D_{12}, E_{12}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, L_{12}, M_{12}) → poly10', d_{12}, m_{12}, e_{12}, f_{12}, g_{12}, h_{12}, i_{12}, j_{12}, k_{12}, l_{12}
  551. Translate(T'_2, u_2) → N_{12}
  552. Translate(U'_2, u_2) → O_{12}
  553. Translate(H'''_1, u_2) → P_{12}
  554. Translate(I'''_1, u_2) → Q_{12}
  555. Translate(J'''_1, u_2) → R_{12}
  556. Translate(V'_1, u_2) → S_{12}
  557. Translate(K''_1, u_2) → T_{12}
  558. Translate(L''_1, u_2) → U_{12}
  559. Translate(M''_1, u_2) → V_{12}
  560. Translate(W'_1, u_2) → W_{12}
  561. Polygon(N_{12}, O_{12}, P_{12}, Q_{12}, R_{12}, S_{12}, T_{12}, U_{12}, V_{12}, W_{12}) → poly20, n_{12}, w_{12}, o_{12}, p_{12}, q_{12}, r_{12}, s_{12}, t_{12}, u_{13}, v_{13}
  562. Translate(B_5, u_2) → Z_{12}
  563. Translate(C_5, u_2) → A_{13}
  564. Translate(D_5, u_2) → B_{13}
  565. Translate(E_5, u_2) → C_{13}
  566. Translate(F_5, u_2) → D_{13}
  567. Translate(G_5, u_2) → E_{13}
  568. Translate(Q'_1, u_2) → F_{13}
  569. Translate(R'_1, u_2) → G_{13}
  570. Translate(S'_1, u_2) → H_{13}
  571. Translate(H_5, u_2) → I_{13}
  572. Polygon(Z_{12}, A_{13}, B_{13}, C_{13}, D_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}) → poly12', z_{12}, i_{13}, a_{13}, b_{13}, c_{13}, d_{13}, e_{13}, f_{13}, g_{13}, h_{13}
  573. Translate(I_5, u_2) → J_{13}
  574. Translate(J_5, u_2) → K_{13}
  575. Translate(K_5, u_2) → L_{13}
  576. Translate(L_5, u_2) → M_{13}
  577. Translate(M_5, u_2) → N_{13}
  578. Translate(N_5, u_2) → O_{13}
  579. Translate(Q'', u_2) → Q'''
  580. Translate(R'', u_2) → R'''
  581. Translate(S'', u_2) → S'''
  582. Translate(O_5, u_2) → P_{13}
  583. Polygon(J_{13}, K_{13}, L_{13}, M_{13}, N_{13}, O_{13}, Q''', R''', S''', P_{13}) → poly6'', j_{13}, p_{13}, k_{13}, l_{13}, m_{13}, n_{13}, o_{13}, q''', r''', s'''
  584. Translate(P_5, u_2) → Q_{13}
  585. Translate(Q_5, u_2) → R_{13}
  586. Translate(N'', u_2) → N'''
  587. Translate(O'', u_2) → O'''
  588. Translate(P'', u_2) → P'''
  589. Translate(R_5, u_2) → S_{13}
  590. Translate(S_5, u_2) → T_{13}
  591. Translate(T_5, u_2) → U_{13}
  592. Translate(U_5, u_2) → V_{13}
  593. Translate(V_5, u_2) → W_{13}
  594. Polygon(Q_{13}, R_{13}, N''', O''', P''', S_{13}, T_{13}, U_{13}, V_{13}, W_{13}) → poly5'', q_{13}, w_{13}, r_{13}, n''', o''', p''', s_{13}, t_{13}, u_{14}, v_{14}
  595. Translate(T, u_2) → T'_3
  596. Translate(U, u_2) → U'_3
  597. Translate(H'', u_2) → H'''_2
  598. Translate(I'', u_2) → I'''_2
  599. Translate(J'', u_2) → J'''_2
  600. Translate(V, u_2) → V'_2
  601. Translate(K', u_2) → K''_2
  602. Translate(L', u_2) → L''_2
  603. Translate(M', u_2) → M''_2
  604. Translate(W, u_2) → W'_2
  605. Polygon(T'_3, U'_3, H'''_2, I'''_2, J'''_2, V'_2, K''_2, L''_2, M''_2, W'_2) → poly3'_2, t'_3, w'_2, u'_3, h'''_2, i'''_2, j'''_2, v'_2, k''_2, l''_2, m''_2
  606. Translate(D'''_1, u_2) → Z_{13}
  607. Translate(A'''_1, u_2) → A_{14}
  608. Translate(H'_1, u_2) → B_{14}
  609. Translate(I'_1, u_2) → C_{14}
  610. Translate(J'_1, u_2) → D_{14}
  611. Translate(B'''_1, u_2) → E_{14}
  612. Translate(Q, u_2) → Q'_2
  613. Translate(R, u_2) → R'_2
  614. Translate(S, u_2) → S'_2
  615. Translate(C'''_1, u_2) → F_{14}
  616. Polygon(Z_{13}, A_{14}, B_{14}, C_{14}, D_{14}, E_{14}, Q'_2, R'_2, S'_2, F_{14}) → poly21, z_{13}, f_{14}, a_{14}, b_{14}, c_{14}, d_{14}, e_{14}, q'_2, r'_2, s'_2
  617. Translate(Q_1, u_2) → G_{14}
  618. Translate(R_1, u_2) → H_{14}
  619. Translate(S_1, u_2) → I_{14}
  620. Translate(T_1, u_2) → J_{14}
  621. Translate(U_1, u_2) → K_{14}
  622. Translate(V_1, u_2) → L_{14}
  623. Translate(Q', u_2) → Q''_1
  624. Translate(R', u_2) → R''_1
  625. Translate(S', u_2) → S''_1
  626. Translate(W_1, u_2) → M_{14}
  627. Polygon(G_{14}, H_{14}, I_{14}, J_{14}, K_{14}, L_{14}, Q''_1, R''_1, S''_1, M_{14}) → poly6'_1, g_{14}, m_{14}, h_{14}, i_{14}, j_{14}, k_{14}, l_{14}, q''_1, r''_1, s''_1
  628. Translate(J_1, u_2) → N_{14}
  629. Translate(K_1, u_2) → O_{14}
  630. Translate(N', u_2) → N''_1
  631. Translate(O', u_2) → O''_1
  632. Translate(P', u_2) → P''_1
  633. Translate(L_1, u_2) → P_{14}
  634. Translate(M_1, u_2) → Q_{14}
  635. Translate(N_1, u_2) → R_{14}
  636. Translate(O_1, u_2) → S_{14}
  637. Translate(P_1, u_2) → T_{14}
  638. Polygon(N_{14}, O_{14}, N''_1, O''_1, P''_1, P_{14}, Q_{14}, R_{14}, S_{14}, T_{14}) → poly5'_1, n_{14}, t_{14}, o_{14}, n''_1, o''_1, p''_1, p_{14}, q_{14}, r_{14}, s_{14}
  639. Translate(K_6, u_2) → U_{14}
  640. Translate(L_6, u_2) → V_{14}
  641. Translate(M_6, u_2) → W_{14}
  642. Translate(N_6, u_2) → Z_{14}
  643. Translate(O_6, u_2) → A_{15}
  644. Translate(P_6, u_2) → B_{15}
  645. Translate(Q_6, u_2) → C_{15}
  646. Translate(R_6, u_2) → D_{15}
  647. Translate(S_6, u_2) → E_{15}
  648. Translate(T_6, u_2) → F_{15}
  649. Polygon(U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}, B_{15}, C_{15}, D_{15}, E_{15}, F_{15}) → poly13', u_{15}, f_{15}, v_{15}, w_{14}, z_{14}, a_{15}, b_{15}, c_{15}, d_{15}, e_{15}
  650. Translate(U_6, u_2) → G_{15}
  651. Translate(V_6, u_2) → H_{15}
  652. Translate(N'_1, u_2) → I_{15}
  653. Translate(O'_1, u_2) → J_{15}
  654. Translate(P'_1, u_2) → K_{15}
  655. Translate(W_6, u_2) → L_{15}
  656. Translate(Z_6, u_2) → M_{15}
  657. Translate(A_7, u_2) → N_{15}
  658. Translate(B_7, u_2) → O_{15}
  659. Translate(C_7, u_2) → P_{15}
  660. Polygon(G_{15}, H_{15}, I_{15}, J_{15}, K_{15}, L_{15}, M_{15}, N_{15}, O_{15}, P_{15}) → poly14', g_{15}, p_{15}, h_{15}, i_{15}, j_{15}, k_{15}, l_{15}, m_{15}, n_{15}, o_{15}
  661. Translate(T'', u_2) → T'''
  662. Translate(U'', u_2) → U'''
  663. Translate(W_5, u_2) → Q_{15}
  664. Translate(Z_5, u_2) → R_{15}
  665. Translate(A_6, u_2) → S_{15}
  666. Translate(V'', u_2) → V'''
  667. Translate(K''', u_2) → T_{15}
  668. Translate(L''', u_2) → U_{15}
  669. Translate(M''', u_2) → V_{15}
  670. Translate(W'', u_2) → W'''
  671. Polygon(T''', U''', Q_{15}, R_{15}, S_{15}, V''', T_{15}, U_{15}, V_{15}, W''') → poly3''', t''', w''', u''', q_{15}, r_{15}, s_{15}, v''', t_{15}, u_{16}, v_{16}
  672. Translate(Z', u_2) → Z''
  673. Translate(B_6, u_2) → W_{15}
  674. Translate(C_6, u_2) → Z_{15}
  675. Translate(D_6, u_2) → A_{16}
  676. Translate(E_6, u_2) → B_{16}
  677. Translate(F_6, u_2) → C_{16}
  678. Translate(G_6, u_2) → D_{16}
  679. Translate(H_6, u_2) → E_{16}
  680. Translate(I_6, u_2) → F_{16}
  681. Translate(J_6, u_2) → G_{16}
  682. Polygon(Z'', W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, D_{16}, E_{16}, F_{16}, G_{16}) → poly4'', z'', g_{16}, w_{15}, z_{15}, a_{16}, b_{16}, c_{16}, d_{16}, e_{16}, f_{16}
  683. Translate(D'_1, u_2) → H_{16}
  684. Translate(A'_1, u_2) → I_{16}
  685. Translate(E'_2, u_2) → J_{16}
  686. Translate(G'_2, u_2) → K_{16}
  687. Translate(F'_2, u_2) → L_{16}
  688. Translate(B'_1, u_2) → M_{16}
  689. Translate(F''_1, u_2) → N_{16}
  690. Translate(G''_1, u_2) → O_{16}
  691. Translate(E''_1, u_2) → P_{16}
  692. Translate(C'_1, u_2) → Q_{16}
  693. Polygon(H_{16}, I_{16}, J_{16}, K_{16}, L_{16}, M_{16}, N_{16}, O_{16}, P_{16}, Q_{16}) → poly22, h_{16}, q_{16}, i_{16}, j_{16}, k_{16}, l_{16}, m_{16}, n_{16}, o_{16}, p_{16}
  694. Translate(D''_1, u_2) → R_{16}
  695. Translate(A''_1, u_2) → S_{16}
  696. Translate(N, u_2) → N'_2
  697. Translate(O, u_2) → O'_2
  698. Translate(P, u_2) → P'_2
  699. Translate(B''_1, u_2) → T_{16}
  700. Translate(F'''_1, u_2) → U_{16}
  701. Translate(G'''_1, u_2) → V_{16}
  702. Translate(E'''_1, u_2) → W_{16}
  703. Translate(C''_1, u_2) → Z_{16}
  704. Polygon(R_{16}, S_{16}, N'_2, O'_2, P'_2, T_{16}, U_{16}, V_{16}, W_{16}, Z_{16}) → poly23, r_{16}, z_{16}, s_{16}, n'_2, o'_2, p'_2, t_{16}, u_{17}, v_{17}, w_{16}
  705. Translate(T', u_2) → T''_1
  706. Translate(U', u_2) → U''_1
  707. Translate(H''', u_2) → A_{17}
  708. Translate(I''', u_2) → B_{17}
  709. Translate(J''', u_2) → C_{17}
  710. Translate(V', u_2) → V''_1
  711. Translate(K'', u_2) → K'''_1
  712. Translate(L'', u_2) → L'''_1
  713. Translate(M'', u_2) → M'''_1
  714. Translate(W', u_2) → W''_1
  715. Polygon(T''_1, U''_1, A_{17}, B_{17}, C_{17}, V''_1, K'''_1, L'''_1, M'''_1, W''_1) → poly3''_1, t''_1, w''_1, u''_1, a_{17}, b_{17}, c_{17}, v''_1, k'''_1, l'''_1, m'''_1
  716. Translate(Z, u_2) → Z'_1
  717. Translate(A_1, u_2) → D_{17}
  718. Translate(B_1, u_2) → E_{17}
  719. Translate(C_1, u_2) → F_{17}
  720. Translate(D_1, u_2) → G_{17}
  721. Translate(E_1, u_2) → H_{17}
  722. Translate(F_1, u_2) → I_{17}
  723. Translate(G_1, u_2) → J_{17}
  724. Translate(H_1, u_2) → K_{17}
  725. Translate(I_1, u_2) → L_{17}
  726. Polygon(Z'_1, D_{17}, E_{17}, F_{17}, G_{17}, H_{17}, I_{17}, J_{17}, K_{17}, L_{17}) → poly4'_1, z'_1, l_{17}, d_{17}, e_{17}, f_{17}, g_{17}, h_{17}, i_{17}, j_{17}, k_{17}