Hexagonal Pattern

Hexagonal Pattern
Loading the math board and drawing, please wait…
2015-11-25 16:57
This example demonstrates how to construct a hexagonal pattern through geometric constructions. The core mathematical concepts involved include polygons, symmetry, and geometric transformations. The construction utilizes GeoGebra commands such as Polygon, Midpoint, Rotate, Segment, Vector, Translate, Circle, and Point. It is suitable for middle school mathematics education, showcasing geometric constructions and the principles of symmetry.

GeoGebra Commands & Parameters

  1. Polygon(A, B, 6) → poly1, a, F, b, c, d, e, f, C, D, E
  2. Midpoint(f) → J
  3. Midpoint(a) → K
  4. Midpoint(b) → L
  5. Rotate(G, 180°, J) → G'
  6. Rotate(H, 180°, K) → H'
  7. Segment(G, G') → g
  8. Segment(H, H') → h
  9. Segment(F, G') → j
  10. Segment(A, G) → k
  11. Segment(A, H') → l
  12. Segment(B, H) → m
  13. Vector(A, C) → u
  14. Vector(A, E) → v
  15. Translate(F, u) → F'
  16. Translate(G', u) → G''
  17. Segment(F', G'') → j'
  18. Translate(G, u) → G'_1
  19. Translate(G', u) → G''_1
  20. Segment(G'_1, G''_1) → g'
  21. Translate(A, u) → A'
  22. Translate(G, u) → G'_2
  23. Segment(A', G'_2) → k'
  24. Translate(A, v) → A'_1
  25. Translate(H', v) → H''
  26. Segment(A'_1, H'') → l'
  27. Translate(H, v) → H'_1
  28. Translate(H', v) → H''_1
  29. Segment(H'_1, H''_1) → h'
  30. Translate(B, v) → B'
  31. Translate(H, v) → H'_2
  32. Segment(B', H'_2) → m'
  33. Translate(B, Vector[(-u) + v]) → B'_2
  34. Translate(C, Vector[(-u) + v]) → C'
  35. Circle(M, N) → q
  36. Circle(M, N) → r
  37. Midpoint(b) → O
  38. Point(m) → Q
  39. Rotate(P, 180°, O) → P'
  40. Segment(P, P') → i
  41. Segment(Q, P) → n
  42. Point(k') → R
  43. Segment(R, P') → p
  44. Translate(P, Vector[u - v]) → P'_1
  45. Translate(Q, Vector[(-u) + v]) → Q'_1
  46. Translate(P, Vector[(-u) + v]) → P'_2
  47. Segment(Q'_1, P'_2) → n'_1
  48. Translate(P, Vector[(-u) + v]) → P'_3
  49. Translate(P', Vector[(-u) + v]) → P''
  50. Segment(P'_3, P'') → i'
  51. Translate(R, Vector[(-u) + v]) → R'
  52. Translate(P', Vector[(-u) + v]) → P''_1
  53. Segment(R', P''_1) → p'
  54. Polygon(A, H', H'_2, H''_1, A'_1, P''_1, P'_3, B'_2, G', G, A, H, B, P, P', A', G'_2, G''_1, B') → poly2, a_1, b', h'_2, h''_1, a'_1, p''_1, p'_3, b'_2, g'_1, g_1, a_2, h'_1, h_1, b_1, p_1, p'_1, a', g'_2, g''_1
  55. Midpoint(b) → I
  56. Polygon(A, H', H'_2, H''_1, A'_1, P''_1, P'_3, B'_2, G', G, A, H, B, P, P', A', G'_2, G''_1, B') → poly3, a_3, b'_1, h'_4, h''_2, a'_3, p''_2, p'_4, b'_3, g'_4, g_2, a_4, h'_3, h_2, b_2, p_2, p'_2, a'_2, g'_3, g''_2
  57. Translate(A, u) → A'_2
  58. Translate(H', u) → H''_2
  59. Translate(H, u) → H'_3
  60. Translate(B, u) → B'_1
  61. Translate(P, u) → P'_4
  62. Translate(P', u) → P''_2
  63. Translate(A', u) → A''
  64. Translate(G'_2, u) → S
  65. Translate(G''_1, u) → T
  66. Translate(B', u) → B''
  67. Translate(H'_2, u) → U
  68. Translate(H''_1, u) → V
  69. Translate(A'_1, u) → W
  70. Translate(P''_1, u) → Z
  71. Translate(P'_3, u) → A_1
  72. Translate(B'_2, u) → B_1
  73. Translate(G', u) → G''_2
  74. Translate(G, u) → G'_3
  75. Translate(A, u) → A'_3
  76. Polygon(A'_2, H''_2, U, V, W, Z, A_1, B_1, G''_2, G'_3, A'_3, H'_3, B'_1, P'_4, P''_2, A'', S, T, B'') → poly2', a'_4, b'', u_1, v_1, w, z_1, a_5, b_3, g''_3, g'_5, a'_5, h''_3, h'_5, b'_4, p'_5, p''_3, a'', s, t
  77. Translate(A, u) → A'_4
  78. Translate(H', u) → H''_3
  79. Translate(H, u) → H'_4
  80. Translate(B, u) → B'_3
  81. Translate(P, u) → P'_5
  82. Translate(P', u) → P''_3
  83. Translate(A', u) → A''_1
  84. Translate(G'_2, u) → C_1
  85. Translate(G''_1, u) → D_1
  86. Translate(B', u) → B''_1
  87. Translate(H'_2, u) → E_1
  88. Translate(H''_1, u) → F_1
  89. Translate(A'_1, u) → G_1
  90. Translate(P''_1, u) → H_1
  91. Translate(P'_3, u) → I_1
  92. Translate(B'_2, u) → J_1
  93. Translate(G', u) → G''_3
  94. Translate(G, u) → G'_4
  95. Translate(A, u) → A'_5
  96. Polygon(A'_4, H''_3, E_1, F_1, G_1, H_1, I_1, J_1, G''_3, G'_4, A'_5, H'_4, B'_3, P'_5, P''_3, A''_1, C_1, D_1, B''_1) → poly3', a'_6, b''_1, e_1, f_1, g_3, h_3, i_1, j_1, g''_4, g'_6, a'_7, h''_4, h'_6, b'_5, p'_6, p''_4, a''_1, c_1, d_1
  97. Translate(A, Vector[(u * 2)]) → A'_6
  98. Translate(H', Vector[(u * 2)]) → H''_4
  99. Translate(H, Vector[(u * 2)]) → H'_5
  100. Translate(B, Vector[(u * 2)]) → B'_4
  101. Translate(P, Vector[(u * 2)]) → P'_6
  102. Translate(P', Vector[(u * 2)]) → P''_4
  103. Translate(A', Vector[(u * 2)]) → A''_2
  104. Translate(G'_2, Vector[(u * 2)]) → K_1
  105. Translate(G''_1, Vector[(u * 2)]) → L_1
  106. Translate(B', Vector[(u * 2)]) → B''_2
  107. Translate(H'_2, Vector[(u * 2)]) → M_1
  108. Translate(H''_1, Vector[(u * 2)]) → N_1
  109. Translate(A'_1, Vector[(u * 2)]) → O_1
  110. Translate(P''_1, Vector[(u * 2)]) → P_1
  111. Translate(P'_3, Vector[(u * 2)]) → Q_1
  112. Translate(B'_2, Vector[(u * 2)]) → R_1
  113. Translate(G', Vector[(u * 2)]) → G''_4
  114. Translate(G, Vector[(u * 2)]) → G'_5
  115. Translate(A, Vector[(u * 2)]) → A'_7
  116. Polygon(A'_6, H''_4, M_1, N_1, O_1, P_1, Q_1, R_1, G''_4, G'_5, A'_7, H'_5, B'_4, P'_6, P''_4, A''_2, K_1, L_1, B''_2) → poly3'_1, a'_8, b''_2, m_1, n_1, o_1, p_3, q_1, r_1, g''_5, g'_7, a'_9, h''_5, h'_7, b'_6, p'_7, p''_5, a''_2, k_1, l_1
  117. Translate(A, Vector[(u * 2)]) → A'_8
  118. Translate(H', Vector[(u * 2)]) → H''_5
  119. Translate(H, Vector[(u * 2)]) → H'_6
  120. Translate(B, Vector[(u * 2)]) → B'_5
  121. Translate(P, Vector[(u * 2)]) → P'_7
  122. Translate(P', Vector[(u * 2)]) → P''_5
  123. Translate(A', Vector[(u * 2)]) → A''_3
  124. Translate(G'_2, Vector[(u * 2)]) → S_1
  125. Translate(G''_1, Vector[(u * 2)]) → T_1
  126. Translate(B', Vector[(u * 2)]) → B''_3
  127. Translate(H'_2, Vector[(u * 2)]) → U_1
  128. Translate(H''_1, Vector[(u * 2)]) → V_1
  129. Translate(A'_1, Vector[(u * 2)]) → W_1
  130. Translate(P''_1, Vector[(u * 2)]) → Z_1
  131. Translate(P'_3, Vector[(u * 2)]) → A_2
  132. Translate(B'_2, Vector[(u * 2)]) → B_2
  133. Translate(G', Vector[(u * 2)]) → G''_5
  134. Translate(G, Vector[(u * 2)]) → G'_6
  135. Translate(A, Vector[(u * 2)]) → A'_9
  136. Polygon(A'_8, H''_5, U_1, V_1, W_1, Z_1, A_2, B_2, G''_5, G'_6, A'_9, H'_6, B'_5, P'_7, P''_5, A''_3, S_1, T_1, B''_3) → poly2'_1, a'_{10}, b''_3, u_2, v_2, w_1, z_2, a_6, b_4, g''_6, g'_8, a'_{11}, h''_6, h'_8, b'_7, p'_8, p''_6, a''_3, s_1, t_1
  137. Translate(A, Vector[(u * 3)]) → A'_{10}
  138. Translate(A'_1, Vector[(u * 3)]) → G_2
  139. Translate(P''_1, Vector[(u * 3)]) → H_2
  140. Translate(P'_3, Vector[(u * 3)]) → I_2
  141. Translate(B'_2, Vector[(u * 3)]) → J_2
  142. Translate(G', Vector[(u * 3)]) → G''_6
  143. Translate(G, Vector[(u * 3)]) → G'_7
  144. Translate(A, Vector[(u * 3)]) → A'_{11}
  145. Translate(A, Vector[(u * 3)]) → A'_{12}
  146. Translate(A'_1, Vector[(u * 3)]) → O_2
  147. Translate(P''_1, Vector[(u * 3)]) → P_2
  148. Translate(P'_3, Vector[(u * 3)]) → Q_2
  149. Translate(B'_2, Vector[(u * 3)]) → R_2
  150. Translate(G', Vector[(u * 3)]) → G''_7
  151. Translate(G, Vector[(u * 3)]) → G'_8
  152. Translate(A, Vector[(u * 3)]) → A'_{13}
  153. Translate(A, Vector[(-u)]) → A'_{18}
  154. Translate(H', Vector[(-u)]) → H''_{10}
  155. Translate(H, Vector[(-u)]) → H'_{11}
  156. Translate(B, Vector[(-u)]) → B'_{10}
  157. Translate(P, Vector[(-u)]) → P'_{12}
  158. Translate(P', Vector[(-u)]) → P''_{10}
  159. Translate(A', Vector[(-u)]) → A''_8
  160. Translate(G'_2, Vector[(-u)]) → K_3
  161. Translate(G''_1, Vector[(-u)]) → L_3
  162. Translate(B', Vector[(-u)]) → B''_8
  163. Translate(H'_2, Vector[(-u)]) → M_3
  164. Translate(H''_1, Vector[(-u)]) → N_3
  165. Translate(A'_1, Vector[(-u)]) → O_3
  166. Translate(P''_1, Vector[(-u)]) → P_3
  167. Translate(P'_3, Vector[(-u)]) → Q_3
  168. Translate(B'_2, Vector[(-u)]) → R_3
  169. Translate(G', Vector[(-u)]) → G''_{10}
  170. Translate(G, Vector[(-u)]) → G'_{11}
  171. Translate(A, Vector[(-u)]) → A'_{19}
  172. Polygon(A'_{18}, H''_{10}, M_3, N_3, O_3, P_3, Q_3, R_3, G''_{10}, G'_{11}, A'_{19}, H'_{11}, B'_{10}, P'_{12}, P''_{10}, A''_8, K_3, L_3, B''_8) → poly2'_4, a'_{20}, b''_8, m_3, n_3, o_3, p_5, q_3, r_3, g''_{11}, g'_{13}, a'_{21}, h''_{11}, h'_{13}, b'_{12}, p'_{13}, p''_{11}, a''_8, k_3, l_3
  173. Translate(A, Vector[(-u)]) → A'_{20}
  174. Translate(H', Vector[(-u)]) → H''_{11}
  175. Translate(H, Vector[(-u)]) → H'_{12}
  176. Translate(B, Vector[(-u)]) → B'_{11}
  177. Translate(P, Vector[(-u)]) → P'_{13}
  178. Translate(P', Vector[(-u)]) → P''_{11}
  179. Translate(A', Vector[(-u)]) → A''_9
  180. Translate(G'_2, Vector[(-u)]) → S_3
  181. Translate(G''_1, Vector[(-u)]) → T_3
  182. Translate(B', Vector[(-u)]) → B''_9
  183. Translate(H'_2, Vector[(-u)]) → U_3
  184. Translate(H''_1, Vector[(-u)]) → V_3
  185. Translate(A'_1, Vector[(-u)]) → W_3
  186. Translate(P''_1, Vector[(-u)]) → Z_3
  187. Translate(P'_3, Vector[(-u)]) → A_4
  188. Translate(B'_2, Vector[(-u)]) → B_4
  189. Translate(G', Vector[(-u)]) → G''_{11}
  190. Translate(G, Vector[(-u)]) → G'_{12}
  191. Translate(A, Vector[(-u)]) → A'_{21}
  192. Polygon(A'_{20}, H''_{11}, U_3, V_3, W_3, Z_3, A_4, B_4, G''_{11}, G'_{12}, A'_{21}, H'_{12}, B'_{11}, P'_{13}, P''_{11}, A''_9, S_3, T_3, B''_9) → poly3'_4, a'_{22}, b''_9, u_4, v_4, w_3, z_4, a_8, b_6, g''_{12}, g'_{14}, a'_{23}, h''_{12}, h'_{14}, b'_{13}, p'_{14}, p''_{12}, a''_9, s_3, t_3
  193. Translate(A, Vector[(-2 * u)]) → A'_{22}
  194. Translate(H', Vector[(-2 * u)]) → H''_{12}
  195. Translate(H, Vector[(-2 * u)]) → H'_{13}
  196. Translate(B, Vector[(-2 * u)]) → B'_{12}
  197. Translate(P, Vector[(-2 * u)]) → P'_{14}
  198. Translate(P', Vector[(-2 * u)]) → P''_{12}
  199. Translate(A', Vector[(-2 * u)]) → A''_{10}
  200. Translate(G'_2, Vector[(-2 * u)]) → C_4
  201. Translate(G''_1, Vector[(-2 * u)]) → D_4
  202. Translate(B', Vector[(-2 * u)]) → B''_{10}
  203. Translate(H'_2, Vector[(-2 * u)]) → E_4
  204. Translate(H''_1, Vector[(-2 * u)]) → F_4
  205. Translate(A'_1, Vector[(-2 * u)]) → G_4
  206. Translate(P''_1, Vector[(-2 * u)]) → H_4
  207. Translate(P'_3, Vector[(-2 * u)]) → I_4
  208. Translate(B'_2, Vector[(-2 * u)]) → J_4
  209. Translate(G', Vector[(-2 * u)]) → G''_{12}
  210. Translate(G, Vector[(-2 * u)]) → G'_{13}
  211. Translate(A, Vector[(-2 * u)]) → A'_{23}
  212. Polygon(A'_{22}, H''_{12}, E_4, F_4, G_4, H_4, I_4, J_4, G''_{12}, G'_{13}, A'_{23}, H'_{13}, B'_{12}, P'_{14}, P''_{12}, A''_{10}, C_4, D_4, B''_{10}) → poly2'_5, a'_{24}, b''_{10}, e_4, f_4, g_6, h_6, i_4, j_4, g''_{13}, g'_{15}, a'_{25}, h''_{13}, h'_{15}, b'_{14}, p'_{15}, p''_{13}, a''_{10}, c_4, d_4
  213. Translate(A, Vector[(-2 * u)]) → A'_{24}
  214. Translate(H', Vector[(-2 * u)]) → H''_{13}
  215. Translate(H, Vector[(-2 * u)]) → H'_{14}
  216. Translate(B, Vector[(-2 * u)]) → B'_{13}
  217. Translate(P, Vector[(-2 * u)]) → P'_{15}
  218. Translate(P', Vector[(-2 * u)]) → P''_{13}
  219. Translate(A', Vector[(-2 * u)]) → A''_{11}
  220. Translate(G'_2, Vector[(-2 * u)]) → K_4
  221. Translate(G''_1, Vector[(-2 * u)]) → L_4
  222. Translate(B', Vector[(-2 * u)]) → B''_{11}
  223. Translate(H'_2, Vector[(-2 * u)]) → M_4
  224. Translate(H''_1, Vector[(-2 * u)]) → N_4
  225. Translate(A'_1, Vector[(-2 * u)]) → O_4
  226. Translate(P''_1, Vector[(-2 * u)]) → P_4
  227. Translate(P'_3, Vector[(-2 * u)]) → Q_4
  228. Translate(B'_2, Vector[(-2 * u)]) → R_4
  229. Translate(G', Vector[(-2 * u)]) → G''_{13}
  230. Translate(G, Vector[(-2 * u)]) → G'_{14}
  231. Translate(A, Vector[(-2 * u)]) → A'_{25}
  232. Polygon(A'_{24}, H''_{13}, M_4, N_4, O_4, P_4, Q_4, R_4, G''_{13}, G'_{14}, A'_{25}, H'_{14}, B'_{13}, P'_{15}, P''_{13}, A''_{11}, K_4, L_4, B''_{11}) → poly3'_5, a'_{26}, b''_{11}, m_4, n_4, o_4, p_6, q_4, r_4, g''_{14}, g'_{16}, a'_{27}, h''_{14}, h'_{16}, b'_{15}, p'_{16}, p''_{14}, a''_{11}, k_4, l_4
  233. Translate(B, Vector[(-3 * u)]) → B'_{14}
  234. Translate(P, Vector[(-3 * u)]) → P'_{16}
  235. Translate(P', Vector[(-3 * u)]) → P''_{14}
  236. Translate(A', Vector[(-3 * u)]) → A''_{12}
  237. Translate(G'_2, Vector[(-3 * u)]) → S_4
  238. Translate(G''_1, Vector[(-3 * u)]) → T_4
  239. Translate(B', Vector[(-3 * u)]) → B''_{12}
  240. Translate(B, Vector[(-3 * u)]) → B'_{15}
  241. Translate(P, Vector[(-3 * u)]) → P'_{17}
  242. Translate(P', Vector[(-3 * u)]) → P''_{15}
  243. Translate(A', Vector[(-3 * u)]) → A''_{13}
  244. Translate(G'_2, Vector[(-3 * u)]) → C_5
  245. Translate(G''_1, Vector[(-3 * u)]) → D_5
  246. Translate(B', Vector[(-3 * u)]) → B''_{13}
  247. Translate(A, v) → A'_{34}
  248. Translate(H', v) → H''_{18}
  249. Translate(H, v) → H'_{19}
  250. Translate(B, v) → B'_{18}
  251. Translate(P, v) → P'_{20}
  252. Translate(P', v) → P''_{18}
  253. Translate(A', v) → A''_{16}
  254. Translate(G'_2, v) → C_6
  255. Translate(G''_1, v) → D_6
  256. Translate(B', v) → B''_{16}
  257. Translate(H'_2, v) → E_6
  258. Translate(H''_1, v) → F_6
  259. Translate(A'_1, v) → G_6
  260. Translate(P''_1, v) → H_6
  261. Translate(P'_3, v) → I_6
  262. Translate(B'_2, v) → J_6
  263. Translate(G', v) → G''_{18}
  264. Translate(G, v) → G'_{19}
  265. Translate(A, v) → A'_{35}
  266. Polygon(A'_{34}, H''_{18}, E_6, F_6, G_6, H_6, I_6, J_6, G''_{18}, G'_{19}, A'_{35}, H'_{19}, B'_{18}, P'_{20}, P''_{18}, A''_{16}, C_6, D_6, B''_{16}) → poly2'_8, a'_{36}, b''_{16}, e_6, f_6, g_8, h_8, i_6, j_6, g''_{19}, g'_{21}, a'_{37}, h''_{19}, h'_{21}, b'_{20}, p'_{21}, p''_{19}, a''_{16}, c_6, d_6
  267. Translate(A, v) → A'_{36}
  268. Translate(H', v) → H''_{19}
  269. Translate(H, v) → H'_{20}
  270. Translate(B, v) → B'_{19}
  271. Translate(P, v) → P'_{21}
  272. Translate(P', v) → P''_{19}
  273. Translate(A', v) → A''_{17}
  274. Translate(G'_2, v) → K_6
  275. Translate(G''_1, v) → L_6
  276. Translate(B', v) → B''_{17}
  277. Translate(H'_2, v) → M_6
  278. Translate(H''_1, v) → N_6
  279. Translate(A'_1, v) → O_6
  280. Translate(P''_1, v) → P_6
  281. Translate(P'_3, v) → Q_6
  282. Translate(B'_2, v) → R_6
  283. Translate(G', v) → G''_{19}
  284. Translate(G, v) → G'_{20}
  285. Translate(A, v) → A'_{37}
  286. Polygon(A'_{36}, H''_{19}, M_6, N_6, O_6, P_6, Q_6, R_6, G''_{19}, G'_{20}, A'_{37}, H'_{20}, B'_{19}, P'_{21}, P''_{19}, A''_{17}, K_6, L_6, B''_{17}) → poly3'_8, a'_{38}, b''_{17}, m_6, n_6, o_6, p_8, q_6, r_6, g''_{20}, g'_{22}, a'_{39}, h''_{20}, h'_{22}, b'_{21}, p'_{22}, p''_{20}, a''_{17}, k_6, l_6
  287. Translate(A'_{34}, u) → S_6
  288. Translate(H''_{18}, u) → T_6
  289. Translate(H'_{19}, u) → U_6
  290. Translate(B'_{18}, u) → V_6
  291. Translate(P'_{20}, u) → W_6
  292. Translate(P''_{18}, u) → Z_6
  293. Translate(A''_{16}, u) → A_7
  294. Translate(C_6, u) → B_7
  295. Translate(D_6, u) → C_7
  296. Translate(B''_{16}, u) → D_7
  297. Translate(E_6, u) → E_7
  298. Translate(F_6, u) → F_7
  299. Translate(G_6, u) → G_7
  300. Translate(H_6, u) → H_7
  301. Translate(I_6, u) → I_7
  302. Translate(J_6, u) → J_7
  303. Translate(G''_{18}, u) → K_7
  304. Translate(G'_{19}, u) → L_7
  305. Translate(A'_{35}, u) → M_7
  306. Polygon(S_6, T_6, E_7, F_7, G_7, H_7, I_7, J_7, K_7, L_7, M_7, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7) → poly4, s_6, d_7, e_7, f_7, g_9, h_9, i_7, j_7, k_7, l_7, m_7, t_6, u_7, v_7, w_6, z_7, a_{11}, b_9, c_7
  307. Translate(A'_{36}, u) → N_7
  308. Translate(H''_{19}, u) → O_7
  309. Translate(H'_{20}, u) → P_7
  310. Translate(B'_{19}, u) → Q_7
  311. Translate(P'_{21}, u) → R_7
  312. Translate(P''_{19}, u) → S_7
  313. Translate(A''_{17}, u) → T_7
  314. Translate(K_6, u) → U_7
  315. Translate(L_6, u) → V_7
  316. Translate(B''_{17}, u) → W_7
  317. Translate(M_6, u) → Z_7
  318. Translate(N_6, u) → A_8
  319. Translate(O_6, u) → B_8
  320. Translate(P_6, u) → C_8
  321. Translate(Q_6, u) → D_8
  322. Translate(R_6, u) → E_8
  323. Translate(G''_{19}, u) → F_8
  324. Translate(G'_{20}, u) → G_8
  325. Translate(A'_{37}, u) → H_8
  326. Polygon(N_7, O_7, Z_7, A_8, B_8, C_8, D_8, E_8, F_8, G_8, H_8, P_7, Q_7, R_7, S_7, T_7, U_7, V_7, W_7) → poly5, n_7, w_7, z_8, a_{12}, b_{10}, c_8, d_8, e_8, f_8, g_{10}, h_{10}, o_7, p_9, q_7, r_7, s_7, t_7, u_8, v_8
  327. Translate(A'_{34}, Vector[(2 * u)]) → I_8
  328. Translate(H''_{18}, Vector[(2 * u)]) → J_8
  329. Translate(H'_{19}, Vector[(2 * u)]) → K_8
  330. Translate(B'_{18}, Vector[(2 * u)]) → L_8
  331. Translate(P'_{20}, Vector[(2 * u)]) → M_8
  332. Translate(P''_{18}, Vector[(2 * u)]) → N_8
  333. Translate(A''_{16}, Vector[(2 * u)]) → O_8
  334. Translate(C_6, Vector[(2 * u)]) → P_8
  335. Translate(D_6, Vector[(2 * u)]) → Q_8
  336. Translate(B''_{16}, Vector[(2 * u)]) → R_8
  337. Translate(E_6, Vector[(2 * u)]) → S_8
  338. Translate(F_6, Vector[(2 * u)]) → T_8
  339. Translate(G_6, Vector[(2 * u)]) → U_8
  340. Translate(H_6, Vector[(2 * u)]) → V_8
  341. Translate(I_6, Vector[(2 * u)]) → W_8
  342. Translate(J_6, Vector[(2 * u)]) → Z_8
  343. Translate(G''_{18}, Vector[(2 * u)]) → A_9
  344. Translate(G'_{19}, Vector[(2 * u)]) → B_9
  345. Translate(A'_{35}, Vector[(2 * u)]) → C_9
  346. Polygon(I_8, J_8, S_8, T_8, U_8, V_8, W_8, Z_8, A_9, B_9, C_9, K_8, L_8, M_8, N_8, O_8, P_8, Q_8, R_8) → poly6, i_8, r_8, s_8, t_8, u_9, v_9, w_8, z_9, a_{13}, b_{11}, c_9, j_8, k_8, l_8, m_8, n_8, o_8, p_{10}, q_8
  347. Translate(A'_{36}, Vector[(2 * u)]) → D_9
  348. Translate(H''_{19}, Vector[(2 * u)]) → E_9
  349. Translate(H'_{20}, Vector[(2 * u)]) → F_9
  350. Translate(B'_{19}, Vector[(2 * u)]) → G_9
  351. Translate(P'_{21}, Vector[(2 * u)]) → H_9
  352. Translate(P''_{19}, Vector[(2 * u)]) → I_9
  353. Translate(A''_{17}, Vector[(2 * u)]) → J_9
  354. Translate(K_6, Vector[(2 * u)]) → K_9
  355. Translate(L_6, Vector[(2 * u)]) → L_9
  356. Translate(B''_{17}, Vector[(2 * u)]) → M_9
  357. Translate(M_6, Vector[(2 * u)]) → N_9
  358. Translate(N_6, Vector[(2 * u)]) → O_9
  359. Translate(O_6, Vector[(2 * u)]) → P_9
  360. Translate(P_6, Vector[(2 * u)]) → Q_9
  361. Translate(Q_6, Vector[(2 * u)]) → R_9
  362. Translate(R_6, Vector[(2 * u)]) → S_9
  363. Translate(G''_{19}, Vector[(2 * u)]) → T_9
  364. Translate(G'_{20}, Vector[(2 * u)]) → U_9
  365. Translate(A'_{37}, Vector[(2 * u)]) → V_9
  366. Polygon(D_9, E_9, N_9, O_9, P_9, Q_9, R_9, S_9, T_9, U_9, V_9, F_9, G_9, H_9, I_9, J_9, K_9, L_9, M_9) → poly7, d_9, m_9, n_9, o_9, p_{11}, q_9, r_9, s_9, t_9, u_{10}, v_{10}, e_9, f_9, g_{11}, h_{11}, i_9, j_9, k_9, l_9
  367. Translate(A'_{34}, Vector[(3 * u)]) → W_9
  368. Translate(G_6, Vector[(3 * u)]) → K_{10}
  369. Translate(H_6, Vector[(3 * u)]) → L_{10}
  370. Translate(I_6, Vector[(3 * u)]) → M_{10}
  371. Translate(J_6, Vector[(3 * u)]) → N_{10}
  372. Translate(G''_{18}, Vector[(3 * u)]) → O_{10}
  373. Translate(G'_{19}, Vector[(3 * u)]) → P_{10}
  374. Translate(A'_{35}, Vector[(3 * u)]) → Q_{10}
  375. Translate(A'_{36}, Vector[(3 * u)]) → R_{10}
  376. Translate(O_6, Vector[(3 * u)]) → F_{11}
  377. Translate(P_6, Vector[(3 * u)]) → G_{11}
  378. Translate(Q_6, Vector[(3 * u)]) → H_{11}
  379. Translate(R_6, Vector[(3 * u)]) → I_{11}
  380. Translate(G''_{19}, Vector[(3 * u)]) → J_{11}
  381. Translate(G'_{20}, Vector[(3 * u)]) → K_{11}
  382. Translate(A'_{37}, Vector[(3 * u)]) → L_{11}
  383. Translate(A'_{34}, Vector[(-u)]) → C_{13}
  384. Translate(H''_{18}, Vector[(-u)]) → D_{13}
  385. Translate(H'_{19}, Vector[(-u)]) → E_{13}
  386. Translate(B'_{18}, Vector[(-u)]) → F_{13}
  387. Translate(P'_{20}, Vector[(-u)]) → G_{13}
  388. Translate(P''_{18}, Vector[(-u)]) → H_{13}
  389. Translate(A''_{16}, Vector[(-u)]) → I_{13}
  390. Translate(C_6, Vector[(-u)]) → J_{13}
  391. Translate(D_6, Vector[(-u)]) → K_{13}
  392. Translate(B''_{16}, Vector[(-u)]) → L_{13}
  393. Translate(E_6, Vector[(-u)]) → M_{13}
  394. Translate(F_6, Vector[(-u)]) → N_{13}
  395. Translate(G_6, Vector[(-u)]) → O_{13}
  396. Translate(H_6, Vector[(-u)]) → P_{13}
  397. Translate(I_6, Vector[(-u)]) → Q_{13}
  398. Translate(J_6, Vector[(-u)]) → R_{13}
  399. Translate(G''_{18}, Vector[(-u)]) → S_{13}
  400. Translate(G'_{19}, Vector[(-u)]) → T_{13}
  401. Translate(A'_{35}, Vector[(-u)]) → U_{13}
  402. Polygon(C_{13}, D_{13}, M_{13}, N_{13}, O_{13}, P_{13}, Q_{13}, R_{13}, S_{13}, T_{13}, U_{13}, E_{13}, F_{13}, G_{13}, H_{13}, I_{13}, J_{13}, K_{13}, L_{13}) → poly12, c_{13}, l_{13}, m_{13}, n_{13}, o_{13}, p_{15}, q_{13}, r_{13}, s_{13}, t_{13}, u_{14}, d_{13}, e_{13}, f_{13}, g_{15}, h_{15}, i_{13}, j_{13}, k_{13}
  403. Translate(A'_{36}, Vector[(-u)]) → V_{13}
  404. Translate(H''_{19}, Vector[(-u)]) → W_{13}
  405. Translate(H'_{20}, Vector[(-u)]) → Z_{13}
  406. Translate(B'_{19}, Vector[(-u)]) → A_{14}
  407. Translate(P'_{21}, Vector[(-u)]) → B_{14}
  408. Translate(P''_{19}, Vector[(-u)]) → C_{14}
  409. Translate(A''_{17}, Vector[(-u)]) → D_{14}
  410. Translate(K_6, Vector[(-u)]) → E_{14}
  411. Translate(L_6, Vector[(-u)]) → F_{14}
  412. Translate(B''_{17}, Vector[(-u)]) → G_{14}
  413. Translate(M_6, Vector[(-u)]) → H_{14}
  414. Translate(N_6, Vector[(-u)]) → I_{14}
  415. Translate(O_6, Vector[(-u)]) → J_{14}
  416. Translate(P_6, Vector[(-u)]) → K_{14}
  417. Translate(Q_6, Vector[(-u)]) → L_{14}
  418. Translate(R_6, Vector[(-u)]) → M_{14}
  419. Translate(G''_{19}, Vector[(-u)]) → N_{14}
  420. Translate(G'_{20}, Vector[(-u)]) → O_{14}
  421. Translate(A'_{37}, Vector[(-u)]) → P_{14}
  422. Polygon(V_{13}, W_{13}, H_{14}, I_{14}, J_{14}, K_{14}, L_{14}, M_{14}, N_{14}, O_{14}, P_{14}, Z_{13}, A_{14}, B_{14}, C_{14}, D_{14}, E_{14}, F_{14}, G_{14}) → poly13, v_{14}, g_{16}, h_{16}, i_{14}, j_{14}, k_{14}, l_{14}, m_{14}, n_{14}, o_{14}, p_{16}, w_{13}, z_{14}, a_{18}, b_{16}, c_{14}, d_{14}, e_{14}, f_{14}
  423. Translate(A'_{34}, Vector[(-2 * u)]) → Q_{14}
  424. Translate(H''_{18}, Vector[(-2 * u)]) → R_{14}
  425. Translate(H'_{19}, Vector[(-2 * u)]) → S_{14}
  426. Translate(B'_{18}, Vector[(-2 * u)]) → T_{14}
  427. Translate(P'_{20}, Vector[(-2 * u)]) → U_{14}
  428. Translate(P''_{18}, Vector[(-2 * u)]) → V_{14}
  429. Translate(A''_{16}, Vector[(-2 * u)]) → W_{14}
  430. Translate(C_6, Vector[(-2 * u)]) → Z_{14}
  431. Translate(D_6, Vector[(-2 * u)]) → A_{15}
  432. Translate(B''_{16}, Vector[(-2 * u)]) → B_{15}
  433. Translate(E_6, Vector[(-2 * u)]) → C_{15}
  434. Translate(F_6, Vector[(-2 * u)]) → D_{15}
  435. Translate(G_6, Vector[(-2 * u)]) → E_{15}
  436. Translate(H_6, Vector[(-2 * u)]) → F_{15}
  437. Translate(I_6, Vector[(-2 * u)]) → G_{15}
  438. Translate(J_6, Vector[(-2 * u)]) → H_{15}
  439. Translate(G''_{18}, Vector[(-2 * u)]) → I_{15}
  440. Translate(G'_{19}, Vector[(-2 * u)]) → J_{15}
  441. Translate(A'_{35}, Vector[(-2 * u)]) → K_{15}
  442. Polygon(Q_{14}, R_{14}, C_{15}, D_{15}, E_{15}, F_{15}, G_{15}, H_{15}, I_{15}, J_{15}, K_{15}, S_{14}, T_{14}, U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}, B_{15}) → poly14, q_{14}, b_{17}, c_{15}, d_{15}, e_{15}, f_{15}, g_{17}, h_{17}, i_{15}, j_{15}, k_{15}, r_{14}, s_{14}, t_{14}, u_{15}, v_{15}, w_{14}, z_{15}, a_{19}
  443. Translate(A'_{36}, Vector[(-2 * u)]) → L_{15}
  444. Translate(H''_{19}, Vector[(-2 * u)]) → M_{15}
  445. Translate(H'_{20}, Vector[(-2 * u)]) → N_{15}
  446. Translate(B'_{19}, Vector[(-2 * u)]) → O_{15}
  447. Translate(P'_{21}, Vector[(-2 * u)]) → P_{15}
  448. Translate(P''_{19}, Vector[(-2 * u)]) → Q_{15}
  449. Translate(A''_{17}, Vector[(-2 * u)]) → R_{15}
  450. Translate(K_6, Vector[(-2 * u)]) → S_{15}
  451. Translate(L_6, Vector[(-2 * u)]) → T_{15}
  452. Translate(B''_{17}, Vector[(-2 * u)]) → U_{15}
  453. Translate(M_6, Vector[(-2 * u)]) → V_{15}
  454. Translate(N_6, Vector[(-2 * u)]) → W_{15}
  455. Translate(O_6, Vector[(-2 * u)]) → Z_{15}
  456. Translate(P_6, Vector[(-2 * u)]) → A_{16}
  457. Translate(Q_6, Vector[(-2 * u)]) → B_{16}
  458. Translate(R_6, Vector[(-2 * u)]) → C_{16}
  459. Translate(G''_{19}, Vector[(-2 * u)]) → D_{16}
  460. Translate(G'_{20}, Vector[(-2 * u)]) → E_{16}
  461. Translate(A'_{37}, Vector[(-2 * u)]) → F_{16}
  462. Polygon(L_{15}, M_{15}, V_{15}, W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, D_{16}, E_{16}, F_{16}, N_{15}, O_{15}, P_{15}, Q_{15}, R_{15}, S_{15}, T_{15}, U_{15}) → poly15, l_{15}, u_{16}, v_{16}, w_{15}, z_{16}, a_{20}, b_{18}, c_{16}, d_{16}, e_{16}, f_{16}, m_{15}, n_{15}, o_{15}, p_{17}, q_{15}, r_{15}, s_{15}, t_{15}
  463. Translate(B'_{18}, Vector[(-3 * u)]) → J_{16}
  464. Translate(P'_{20}, Vector[(-3 * u)]) → K_{16}
  465. Translate(P''_{18}, Vector[(-3 * u)]) → L_{16}
  466. Translate(A''_{16}, Vector[(-3 * u)]) → M_{16}
  467. Translate(C_6, Vector[(-3 * u)]) → N_{16}
  468. Translate(D_6, Vector[(-3 * u)]) → O_{16}
  469. Translate(B''_{16}, Vector[(-3 * u)]) → P_{16}
  470. Translate(B'_{19}, Vector[(-3 * u)]) → E_{17}
  471. Translate(P'_{21}, Vector[(-3 * u)]) → F_{17}
  472. Translate(P''_{19}, Vector[(-3 * u)]) → G_{17}
  473. Translate(A''_{17}, Vector[(-3 * u)]) → H_{17}
  474. Translate(K_6, Vector[(-3 * u)]) → I_{17}
  475. Translate(L_6, Vector[(-3 * u)]) → J_{17}
  476. Translate(B''_{17}, Vector[(-3 * u)]) → K_{17}
  477. Translate(A, Vector[(2 * v)]) → A'_{38}
  478. Translate(H', Vector[(2 * v)]) → H''_{20}
  479. Translate(H, Vector[(2 * v)]) → H'_{21}
  480. Translate(B, Vector[(2 * v)]) → B'_{20}
  481. Translate(P, Vector[(2 * v)]) → P'_{22}
  482. Translate(P', Vector[(2 * v)]) → P''_{20}
  483. Translate(A', Vector[(2 * v)]) → A''_{18}
  484. Translate(G'_2, Vector[(2 * v)]) → K_{19}
  485. Translate(G''_1, Vector[(2 * v)]) → L_{19}
  486. Translate(B', Vector[(2 * v)]) → B''_{18}
  487. Translate(H'_2, Vector[(2 * v)]) → M_{19}
  488. Translate(H''_1, Vector[(2 * v)]) → N_{19}
  489. Translate(A'_1, Vector[(2 * v)]) → O_{19}
  490. Translate(P''_1, Vector[(2 * v)]) → P_{19}
  491. Translate(P'_3, Vector[(2 * v)]) → Q_{19}
  492. Translate(B'_2, Vector[(2 * v)]) → R_{19}
  493. Translate(G', Vector[(2 * v)]) → G''_{20}
  494. Translate(G, Vector[(2 * v)]) → G'_{21}
  495. Translate(A, Vector[(2 * v)]) → A'_{39}
  496. Polygon(A'_{38}, H''_{20}, M_{19}, N_{19}, O_{19}, P_{19}, Q_{19}, R_{19}, G''_{20}, G'_{21}, A'_{39}, H'_{21}, B'_{20}, P'_{22}, P''_{20}, A''_{18}, K_{19}, L_{19}, B''_{18}) → poly2'_9, a'_{40}, b''_{18}, m_{19}, n_{19}, o_{19}, p_{21}, q_{19}, r_{19}, g''_{21}, g'_{23}, a'_{41}, h''_{21}, h'_{23}, b'_{22}, p'_{23}, p''_{21}, a''_{18}, k_{19}, l_{19}
  497. Translate(A, Vector[(2 * v)]) → A'_{40}
  498. Translate(H', Vector[(2 * v)]) → H''_{21}
  499. Translate(H, Vector[(2 * v)]) → H'_{22}
  500. Translate(B, Vector[(2 * v)]) → B'_{21}
  501. Translate(P, Vector[(2 * v)]) → P'_{23}
  502. Translate(P', Vector[(2 * v)]) → P''_{21}
  503. Translate(A', Vector[(2 * v)]) → A''_{19}
  504. Translate(G'_2, Vector[(2 * v)]) → S_{19}
  505. Translate(G''_1, Vector[(2 * v)]) → T_{19}
  506. Translate(B', Vector[(2 * v)]) → B''_{19}
  507. Translate(H'_2, Vector[(2 * v)]) → U_{19}
  508. Translate(H''_1, Vector[(2 * v)]) → V_{19}
  509. Translate(A'_1, Vector[(2 * v)]) → W_{19}
  510. Translate(P''_1, Vector[(2 * v)]) → Z_{19}
  511. Translate(P'_3, Vector[(2 * v)]) → A_{20}
  512. Translate(B'_2, Vector[(2 * v)]) → B_{20}
  513. Translate(G', Vector[(2 * v)]) → G''_{21}
  514. Translate(G, Vector[(2 * v)]) → G'_{22}
  515. Translate(A, Vector[(2 * v)]) → A'_{41}
  516. Polygon(A'_{40}, H''_{21}, U_{19}, V_{19}, W_{19}, Z_{19}, A_{20}, B_{20}, G''_{21}, G'_{22}, A'_{41}, H'_{22}, B'_{21}, P'_{23}, P''_{21}, A''_{19}, S_{19}, T_{19}, B''_{19}) → poly3'_9, a'_{42}, b''_{19}, u_{20}, v_{20}, w_{19}, z_{20}, a_{24}, b_{22}, g''_{22}, g'_{24}, a'_{43}, h''_{22}, h'_{24}, b'_{23}, p'_{24}, p''_{22}, a''_{19}, s_{19}, t_{19}
  517. Translate(A'_{38}, u) → C_{20}
  518. Translate(H''_{20}, u) → D_{20}
  519. Translate(H'_{21}, u) → E_{20}
  520. Translate(B'_{20}, u) → F_{20}
  521. Translate(P'_{22}, u) → G_{20}
  522. Translate(P''_{20}, u) → H_{20}
  523. Translate(A''_{18}, u) → I_{20}
  524. Translate(K_{19}, u) → J_{20}
  525. Translate(L_{19}, u) → K_{20}
  526. Translate(B''_{18}, u) → L_{20}
  527. Translate(M_{19}, u) → M_{20}
  528. Translate(N_{19}, u) → N_{20}
  529. Translate(O_{19}, u) → O_{20}
  530. Translate(P_{19}, u) → P_{20}
  531. Translate(Q_{19}, u) → Q_{20}
  532. Translate(R_{19}, u) → R_{20}
  533. Translate(G''_{20}, u) → S_{20}
  534. Translate(G'_{21}, u) → T_{20}
  535. Translate(A'_{39}, u) → U_{20}
  536. Polygon(C_{20}, D_{20}, M_{20}, N_{20}, O_{20}, P_{20}, Q_{20}, R_{20}, S_{20}, T_{20}, U_{20}, E_{20}, F_{20}, G_{20}, H_{20}, I_{20}, J_{20}, K_{20}, L_{20}) → poly20, c_{20}, l_{20}, m_{20}, n_{20}, o_{20}, p_{22}, q_{20}, r_{20}, s_{20}, t_{20}, u_{21}, d_{20}, e_{20}, f_{20}, g_{22}, h_{22}, i_{20}, j_{20}, k_{20}
  537. Translate(A'_{40}, u) → V_{20}
  538. Translate(H''_{21}, u) → W_{20}
  539. Translate(H'_{22}, u) → Z_{20}
  540. Translate(B'_{21}, u) → A_{21}
  541. Translate(P'_{23}, u) → B_{21}
  542. Translate(P''_{21}, u) → C_{21}
  543. Translate(A''_{19}, u) → D_{21}
  544. Translate(S_{19}, u) → E_{21}
  545. Translate(T_{19}, u) → F_{21}
  546. Translate(B''_{19}, u) → G_{21}
  547. Translate(U_{19}, u) → H_{21}
  548. Translate(V_{19}, u) → I_{21}
  549. Translate(W_{19}, u) → J_{21}
  550. Translate(Z_{19}, u) → K_{21}
  551. Translate(A_{20}, u) → L_{21}
  552. Translate(B_{20}, u) → M_{21}
  553. Translate(G''_{21}, u) → N_{21}
  554. Translate(G'_{22}, u) → O_{21}
  555. Translate(A'_{41}, u) → P_{21}
  556. Polygon(V_{20}, W_{20}, H_{21}, I_{21}, J_{21}, K_{21}, L_{21}, M_{21}, N_{21}, O_{21}, P_{21}, Z_{20}, A_{21}, B_{21}, C_{21}, D_{21}, E_{21}, F_{21}, G_{21}) → poly21, v_{21}, g_{23}, h_{23}, i_{21}, j_{21}, k_{21}, l_{21}, m_{21}, n_{21}, o_{21}, p_{23}, w_{20}, z_{21}, a_{25}, b_{23}, c_{21}, d_{21}, e_{21}, f_{21}
  557. Translate(A'_{38}, Vector[(2 * u)]) → Q_{21}
  558. Translate(H''_{20}, Vector[(2 * u)]) → R_{21}
  559. Translate(H'_{21}, Vector[(2 * u)]) → S_{21}
  560. Translate(B'_{20}, Vector[(2 * u)]) → T_{21}
  561. Translate(P'_{22}, Vector[(2 * u)]) → U_{21}
  562. Translate(P''_{20}, Vector[(2 * u)]) → V_{21}
  563. Translate(A''_{18}, Vector[(2 * u)]) → W_{21}
  564. Translate(K_{19}, Vector[(2 * u)]) → Z_{21}
  565. Translate(L_{19}, Vector[(2 * u)]) → A_{22}
  566. Translate(B''_{18}, Vector[(2 * u)]) → B_{22}
  567. Translate(M_{19}, Vector[(2 * u)]) → C_{22}
  568. Translate(N_{19}, Vector[(2 * u)]) → D_{22}
  569. Translate(O_{19}, Vector[(2 * u)]) → E_{22}
  570. Translate(P_{19}, Vector[(2 * u)]) → F_{22}
  571. Translate(Q_{19}, Vector[(2 * u)]) → G_{22}
  572. Translate(R_{19}, Vector[(2 * u)]) → H_{22}
  573. Translate(G''_{20}, Vector[(2 * u)]) → I_{22}
  574. Translate(G'_{21}, Vector[(2 * u)]) → J_{22}
  575. Translate(A'_{39}, Vector[(2 * u)]) → K_{22}
  576. Polygon(Q_{21}, R_{21}, C_{22}, D_{22}, E_{22}, F_{22}, G_{22}, H_{22}, I_{22}, J_{22}, K_{22}, S_{21}, T_{21}, U_{21}, V_{21}, W_{21}, Z_{21}, A_{22}, B_{22}) → poly22, q_{21}, b_{24}, c_{22}, d_{22}, e_{22}, f_{22}, g_{24}, h_{24}, i_{22}, j_{22}, k_{22}, r_{21}, s_{21}, t_{21}, u_{22}, v_{22}, w_{21}, z_{22}, a_{26}
  577. Translate(A'_{40}, Vector[(2 * u)]) → L_{22}
  578. Translate(H''_{21}, Vector[(2 * u)]) → M_{22}
  579. Translate(H'_{22}, Vector[(2 * u)]) → N_{22}
  580. Translate(B'_{21}, Vector[(2 * u)]) → O_{22}
  581. Translate(P'_{23}, Vector[(2 * u)]) → P_{22}
  582. Translate(P''_{21}, Vector[(2 * u)]) → Q_{22}
  583. Translate(A''_{19}, Vector[(2 * u)]) → R_{22}
  584. Translate(S_{19}, Vector[(2 * u)]) → S_{22}
  585. Translate(T_{19}, Vector[(2 * u)]) → T_{22}
  586. Translate(B''_{19}, Vector[(2 * u)]) → U_{22}
  587. Translate(U_{19}, Vector[(2 * u)]) → V_{22}
  588. Translate(V_{19}, Vector[(2 * u)]) → W_{22}
  589. Translate(W_{19}, Vector[(2 * u)]) → Z_{22}
  590. Translate(Z_{19}, Vector[(2 * u)]) → A_{23}
  591. Translate(A_{20}, Vector[(2 * u)]) → B_{23}
  592. Translate(B_{20}, Vector[(2 * u)]) → C_{23}
  593. Translate(G''_{21}, Vector[(2 * u)]) → D_{23}
  594. Translate(G'_{22}, Vector[(2 * u)]) → E_{23}
  595. Translate(A'_{41}, Vector[(2 * u)]) → F_{23}
  596. Polygon(L_{22}, M_{22}, V_{22}, W_{22}, Z_{22}, A_{23}, B_{23}, C_{23}, D_{23}, E_{23}, F_{23}, N_{22}, O_{22}, P_{22}, Q_{22}, R_{22}, S_{22}, T_{22}, U_{22}) → poly23, l_{22}, u_{23}, v_{23}, w_{22}, z_{23}, a_{27}, b_{25}, c_{23}, d_{23}, e_{23}, f_{23}, m_{22}, n_{22}, o_{22}, p_{24}, q_{22}, r_{22}, s_{22}, t_{22}
  597. Translate(A'_{38}, Vector[(3 * u)]) → G_{23}
  598. Translate(R_{19}, Vector[(3 * u)]) → V_{23}
  599. Translate(G''_{20}, Vector[(3 * u)]) → W_{23}
  600. Translate(G'_{21}, Vector[(3 * u)]) → Z_{23}
  601. Translate(A'_{39}, Vector[(3 * u)]) → A_{24}
  602. Translate(A'_{40}, Vector[(3 * u)]) → B_{24}
  603. Translate(B_{20}, Vector[(3 * u)]) → Q_{24}
  604. Translate(G''_{21}, Vector[(3 * u)]) → R_{24}
  605. Translate(G'_{22}, Vector[(3 * u)]) → S_{24}
  606. Translate(A'_{41}, Vector[(3 * u)]) → T_{24}
  607. Translate(A'_{38}, Vector[(-u)]) → K_{26}
  608. Translate(H''_{20}, Vector[(-u)]) → L_{26}
  609. Translate(H'_{21}, Vector[(-u)]) → M_{26}
  610. Translate(B'_{20}, Vector[(-u)]) → N_{26}
  611. Translate(P'_{22}, Vector[(-u)]) → O_{26}
  612. Translate(P''_{20}, Vector[(-u)]) → P_{26}
  613. Translate(A''_{18}, Vector[(-u)]) → Q_{26}
  614. Translate(K_{19}, Vector[(-u)]) → R_{26}
  615. Translate(L_{19}, Vector[(-u)]) → S_{26}
  616. Translate(B''_{18}, Vector[(-u)]) → T_{26}
  617. Translate(M_{19}, Vector[(-u)]) → U_{26}
  618. Translate(N_{19}, Vector[(-u)]) → V_{26}
  619. Translate(O_{19}, Vector[(-u)]) → W_{26}
  620. Translate(P_{19}, Vector[(-u)]) → Z_{26}
  621. Translate(Q_{19}, Vector[(-u)]) → A_{27}
  622. Translate(R_{19}, Vector[(-u)]) → B_{27}
  623. Translate(G''_{20}, Vector[(-u)]) → C_{27}
  624. Translate(G'_{21}, Vector[(-u)]) → D_{27}
  625. Translate(A'_{39}, Vector[(-u)]) → E_{27}
  626. Polygon(K_{26}, L_{26}, U_{26}, V_{26}, W_{26}, Z_{26}, A_{27}, B_{27}, C_{27}, D_{27}, E_{27}, M_{26}, N_{26}, O_{26}, P_{26}, Q_{26}, R_{26}, S_{26}, T_{26}) → poly28, k_{26}, t_{26}, u_{27}, v_{27}, w_{26}, z_{27}, a_{31}, b_{29}, c_{27}, d_{27}, e_{27}, l_{26}, m_{26}, n_{26}, o_{26}, p_{28}, q_{26}, r_{26}, s_{26}
  627. Translate(A'_{40}, Vector[(-u)]) → F_{27}
  628. Translate(H''_{21}, Vector[(-u)]) → G_{27}
  629. Translate(H'_{22}, Vector[(-u)]) → H_{27}
  630. Translate(B'_{21}, Vector[(-u)]) → I_{27}
  631. Translate(P'_{23}, Vector[(-u)]) → J_{27}
  632. Translate(P''_{21}, Vector[(-u)]) → K_{27}
  633. Translate(A''_{19}, Vector[(-u)]) → L_{27}
  634. Translate(S_{19}, Vector[(-u)]) → M_{27}
  635. Translate(T_{19}, Vector[(-u)]) → N_{27}
  636. Translate(B''_{19}, Vector[(-u)]) → O_{27}
  637. Translate(U_{19}, Vector[(-u)]) → P_{27}
  638. Translate(V_{19}, Vector[(-u)]) → Q_{27}
  639. Translate(W_{19}, Vector[(-u)]) → R_{27}
  640. Translate(Z_{19}, Vector[(-u)]) → S_{27}
  641. Translate(A_{20}, Vector[(-u)]) → T_{27}
  642. Translate(B_{20}, Vector[(-u)]) → U_{27}
  643. Translate(G''_{21}, Vector[(-u)]) → V_{27}
  644. Translate(G'_{22}, Vector[(-u)]) → W_{27}
  645. Translate(A'_{41}, Vector[(-u)]) → Z_{27}
  646. Polygon(F_{27}, G_{27}, P_{27}, Q_{27}, R_{27}, S_{27}, T_{27}, U_{27}, V_{27}, W_{27}, Z_{27}, H_{27}, I_{27}, J_{27}, K_{27}, L_{27}, M_{27}, N_{27}, O_{27}) → poly29, f_{27}, o_{27}, p_{29}, q_{27}, r_{27}, s_{27}, t_{27}, u_{28}, v_{28}, w_{27}, z_{28}, g_{29}, h_{29}, i_{27}, j_{27}, k_{27}, l_{27}, m_{27}, n_{27}
  647. Translate(A'_{38}, Vector[(-2 * u)]) → A_{28}
  648. Translate(H''_{20}, Vector[(-2 * u)]) → B_{28}
  649. Translate(H'_{21}, Vector[(-2 * u)]) → C_{28}
  650. Translate(B'_{20}, Vector[(-2 * u)]) → D_{28}
  651. Translate(P'_{22}, Vector[(-2 * u)]) → E_{28}
  652. Translate(P''_{20}, Vector[(-2 * u)]) → F_{28}
  653. Translate(A''_{18}, Vector[(-2 * u)]) → G_{28}
  654. Translate(K_{19}, Vector[(-2 * u)]) → H_{28}
  655. Translate(L_{19}, Vector[(-2 * u)]) → I_{28}
  656. Translate(B''_{18}, Vector[(-2 * u)]) → J_{28}
  657. Translate(M_{19}, Vector[(-2 * u)]) → K_{28}
  658. Translate(N_{19}, Vector[(-2 * u)]) → L_{28}
  659. Translate(O_{19}, Vector[(-2 * u)]) → M_{28}
  660. Translate(P_{19}, Vector[(-2 * u)]) → N_{28}
  661. Translate(Q_{19}, Vector[(-2 * u)]) → O_{28}
  662. Translate(R_{19}, Vector[(-2 * u)]) → P_{28}
  663. Translate(G''_{20}, Vector[(-2 * u)]) → Q_{28}
  664. Translate(G'_{21}, Vector[(-2 * u)]) → R_{28}
  665. Translate(A'_{39}, Vector[(-2 * u)]) → S_{28}
  666. Polygon(A_{28}, B_{28}, K_{28}, L_{28}, M_{28}, N_{28}, O_{28}, P_{28}, Q_{28}, R_{28}, S_{28}, C_{28}, D_{28}, E_{28}, F_{28}, G_{28}, H_{28}, I_{28}, J_{28}) → poly30, a_{32}, j_{28}, k_{28}, l_{28}, m_{28}, n_{28}, o_{28}, p_{30}, q_{28}, r_{28}, s_{28}, b_{30}, c_{28}, d_{28}, e_{28}, f_{28}, g_{30}, h_{30}, i_{28}
  667. Translate(A'_{40}, Vector[(-2 * u)]) → T_{28}
  668. Translate(H''_{21}, Vector[(-2 * u)]) → U_{28}
  669. Translate(H'_{22}, Vector[(-2 * u)]) → V_{28}
  670. Translate(B'_{21}, Vector[(-2 * u)]) → W_{28}
  671. Translate(P'_{23}, Vector[(-2 * u)]) → Z_{28}
  672. Translate(P''_{21}, Vector[(-2 * u)]) → A_{29}
  673. Translate(A''_{19}, Vector[(-2 * u)]) → B_{29}
  674. Translate(S_{19}, Vector[(-2 * u)]) → C_{29}
  675. Translate(T_{19}, Vector[(-2 * u)]) → D_{29}
  676. Translate(B''_{19}, Vector[(-2 * u)]) → E_{29}
  677. Translate(U_{19}, Vector[(-2 * u)]) → F_{29}
  678. Translate(V_{19}, Vector[(-2 * u)]) → G_{29}
  679. Translate(W_{19}, Vector[(-2 * u)]) → H_{29}
  680. Translate(Z_{19}, Vector[(-2 * u)]) → I_{29}
  681. Translate(A_{20}, Vector[(-2 * u)]) → J_{29}
  682. Translate(B_{20}, Vector[(-2 * u)]) → K_{29}
  683. Translate(G''_{21}, Vector[(-2 * u)]) → L_{29}
  684. Translate(G'_{22}, Vector[(-2 * u)]) → M_{29}
  685. Translate(A'_{41}, Vector[(-2 * u)]) → N_{29}
  686. Polygon(T_{28}, U_{28}, F_{29}, G_{29}, H_{29}, I_{29}, J_{29}, K_{29}, L_{29}, M_{29}, N_{29}, V_{28}, W_{28}, Z_{28}, A_{29}, B_{29}, C_{29}, D_{29}, E_{29}) → poly31, t_{28}, e_{29}, f_{29}, g_{31}, h_{31}, i_{29}, j_{29}, k_{29}, l_{29}, m_{29}, n_{29}, u_{29}, v_{29}, w_{28}, z_{29}, a_{33}, b_{31}, c_{29}, d_{29}
  687. Translate(B'_{20}, Vector[(-3 * u)]) → R_{29}
  688. Translate(P'_{22}, Vector[(-3 * u)]) → S_{29}
  689. Translate(P''_{20}, Vector[(-3 * u)]) → T_{29}
  690. Translate(A''_{18}, Vector[(-3 * u)]) → U_{29}
  691. Translate(K_{19}, Vector[(-3 * u)]) → V_{29}
  692. Translate(L_{19}, Vector[(-3 * u)]) → W_{29}
  693. Translate(B''_{18}, Vector[(-3 * u)]) → Z_{29}
  694. Translate(B'_{21}, Vector[(-3 * u)]) → M_{30}
  695. Translate(P'_{23}, Vector[(-3 * u)]) → N_{30}
  696. Translate(P''_{21}, Vector[(-3 * u)]) → O_{30}
  697. Translate(A''_{19}, Vector[(-3 * u)]) → P_{30}
  698. Translate(S_{19}, Vector[(-3 * u)]) → Q_{30}
  699. Translate(T_{19}, Vector[(-3 * u)]) → R_{30}
  700. Translate(B''_{19}, Vector[(-3 * u)]) → S_{30}
  701. Translate(A'_{34}, Vector[(-2 * v)]) → S_{32}
  702. Translate(H''_{18}, Vector[(-2 * v)]) → T_{32}
  703. Translate(H'_{19}, Vector[(-2 * v)]) → U_{32}
  704. Translate(B'_{18}, Vector[(-2 * v)]) → V_{32}
  705. Translate(P'_{20}, Vector[(-2 * v)]) → W_{32}
  706. Translate(P''_{18}, Vector[(-2 * v)]) → Z_{32}
  707. Translate(A''_{16}, Vector[(-2 * v)]) → A_{33}
  708. Translate(C_6, Vector[(-2 * v)]) → B_{33}
  709. Translate(D_6, Vector[(-2 * v)]) → C_{33}
  710. Translate(B''_{16}, Vector[(-2 * v)]) → D_{33}
  711. Translate(E_6, Vector[(-2 * v)]) → E_{33}
  712. Translate(F_6, Vector[(-2 * v)]) → F_{33}
  713. Translate(G_6, Vector[(-2 * v)]) → G_{33}
  714. Translate(H_6, Vector[(-2 * v)]) → H_{33}
  715. Translate(I_6, Vector[(-2 * v)]) → I_{33}
  716. Translate(J_6, Vector[(-2 * v)]) → J_{33}
  717. Translate(G''_{18}, Vector[(-2 * v)]) → K_{33}
  718. Translate(G'_{19}, Vector[(-2 * v)]) → L_{33}
  719. Translate(A'_{35}, Vector[(-2 * v)]) → M_{33}
  720. Polygon(S_{32}, T_{32}, E_{33}, F_{33}, G_{33}, H_{33}, I_{33}, J_{33}, K_{33}, L_{33}, M_{33}, U_{32}, V_{32}, W_{32}, Z_{32}, A_{33}, B_{33}, C_{33}, D_{33}) → poly36, s_{32}, d_{33}, e_{33}, f_{33}, g_{35}, h_{35}, i_{33}, j_{33}, k_{33}, l_{33}, m_{33}, t_{32}, u_{33}, v_{33}, w_{32}, z_{33}, a_{37}, b_{35}, c_{33}
  721. Translate(A'_{36}, Vector[(-2 * v)]) → N_{33}
  722. Translate(H''_{19}, Vector[(-2 * v)]) → O_{33}
  723. Translate(H'_{20}, Vector[(-2 * v)]) → P_{33}
  724. Translate(B'_{19}, Vector[(-2 * v)]) → Q_{33}
  725. Translate(P'_{21}, Vector[(-2 * v)]) → R_{33}
  726. Translate(P''_{19}, Vector[(-2 * v)]) → S_{33}
  727. Translate(A''_{17}, Vector[(-2 * v)]) → T_{33}
  728. Translate(K_6, Vector[(-2 * v)]) → U_{33}
  729. Translate(L_6, Vector[(-2 * v)]) → V_{33}
  730. Translate(B''_{17}, Vector[(-2 * v)]) → W_{33}
  731. Translate(M_6, Vector[(-2 * v)]) → Z_{33}
  732. Translate(N_6, Vector[(-2 * v)]) → A_{34}
  733. Translate(O_6, Vector[(-2 * v)]) → B_{34}
  734. Translate(P_6, Vector[(-2 * v)]) → C_{34}
  735. Translate(Q_6, Vector[(-2 * v)]) → D_{34}
  736. Translate(R_6, Vector[(-2 * v)]) → E_{34}
  737. Translate(G''_{19}, Vector[(-2 * v)]) → F_{34}
  738. Translate(G'_{20}, Vector[(-2 * v)]) → G_{34}
  739. Translate(A'_{37}, Vector[(-2 * v)]) → H_{34}
  740. Polygon(N_{33}, O_{33}, Z_{33}, A_{34}, B_{34}, C_{34}, D_{34}, E_{34}, F_{34}, G_{34}, H_{34}, P_{33}, Q_{33}, R_{33}, S_{33}, T_{33}, U_{33}, V_{33}, W_{33}) → poly37, n_{33}, w_{33}, z_{34}, a_{38}, b_{36}, c_{34}, d_{34}, e_{34}, f_{34}, g_{36}, h_{36}, o_{33}, p_{35}, q_{33}, r_{33}, s_{33}, t_{33}, u_{34}, v_{34}
  741. Translate(S_{32}, u) → I_{34}
  742. Translate(T_{32}, u) → J_{34}
  743. Translate(U_{32}, u) → K_{34}
  744. Translate(V_{32}, u) → L_{34}
  745. Translate(W_{32}, u) → M_{34}
  746. Translate(Z_{32}, u) → N_{34}
  747. Translate(A_{33}, u) → O_{34}
  748. Translate(B_{33}, u) → P_{34}
  749. Translate(C_{33}, u) → Q_{34}
  750. Translate(D_{33}, u) → R_{34}
  751. Translate(E_{33}, u) → S_{34}
  752. Translate(F_{33}, u) → T_{34}
  753. Translate(G_{33}, u) → U_{34}
  754. Translate(H_{33}, u) → V_{34}
  755. Translate(I_{33}, u) → W_{34}
  756. Translate(J_{33}, u) → Z_{34}
  757. Translate(K_{33}, u) → A_{35}
  758. Translate(L_{33}, u) → B_{35}
  759. Translate(M_{33}, u) → C_{35}
  760. Polygon(I_{34}, J_{34}, S_{34}, T_{34}, U_{34}, V_{34}, W_{34}, Z_{34}, A_{35}, B_{35}, C_{35}, K_{34}, L_{34}, M_{34}, N_{34}, O_{34}, P_{34}, Q_{34}, R_{34}) → poly36', i_{34}, r_{34}, s_{34}, t_{34}, u_{35}, v_{35}, w_{34}, z_{35}, a_{39}, b_{37}, c_{35}, j_{34}, k_{34}, l_{34}, m_{34}, n_{34}, o_{34}, p_{36}, q_{34}
  761. Translate(N_{33}, u) → D_{35}
  762. Translate(O_{33}, u) → E_{35}
  763. Translate(P_{33}, u) → F_{35}
  764. Translate(Q_{33}, u) → G_{35}
  765. Translate(R_{33}, u) → H_{35}
  766. Translate(S_{33}, u) → I_{35}
  767. Translate(T_{33}, u) → J_{35}
  768. Translate(U_{33}, u) → K_{35}
  769. Translate(V_{33}, u) → L_{35}
  770. Translate(W_{33}, u) → M_{35}
  771. Translate(Z_{33}, u) → N_{35}
  772. Translate(A_{34}, u) → O_{35}
  773. Translate(B_{34}, u) → P_{35}
  774. Translate(C_{34}, u) → Q_{35}
  775. Translate(D_{34}, u) → R_{35}
  776. Translate(E_{34}, u) → S_{35}
  777. Translate(F_{34}, u) → T_{35}
  778. Translate(G_{34}, u) → U_{35}
  779. Translate(H_{34}, u) → V_{35}
  780. Polygon(D_{35}, E_{35}, N_{35}, O_{35}, P_{35}, Q_{35}, R_{35}, S_{35}, T_{35}, U_{35}, V_{35}, F_{35}, G_{35}, H_{35}, I_{35}, J_{35}, K_{35}, L_{35}, M_{35}) → poly37', d_{35}, m_{35}, n_{35}, o_{35}, p_{37}, q_{35}, r_{35}, s_{35}, t_{35}, u_{36}, v_{36}, e_{35}, f_{35}, g_{37}, h_{37}, i_{35}, j_{35}, k_{35}, l_{35}
  781. Translate(S_{32}, Vector[(2 * u)]) → W_{35}
  782. Translate(T_{32}, Vector[(2 * u)]) → Z_{35}
  783. Translate(U_{32}, Vector[(2 * u)]) → A_{36}
  784. Translate(V_{32}, Vector[(2 * u)]) → B_{36}
  785. Translate(W_{32}, Vector[(2 * u)]) → C_{36}
  786. Translate(Z_{32}, Vector[(2 * u)]) → D_{36}
  787. Translate(A_{33}, Vector[(2 * u)]) → E_{36}
  788. Translate(B_{33}, Vector[(2 * u)]) → F_{36}
  789. Translate(C_{33}, Vector[(2 * u)]) → G_{36}
  790. Translate(D_{33}, Vector[(2 * u)]) → H_{36}
  791. Translate(E_{33}, Vector[(2 * u)]) → I_{36}
  792. Translate(F_{33}, Vector[(2 * u)]) → J_{36}
  793. Translate(G_{33}, Vector[(2 * u)]) → K_{36}
  794. Translate(H_{33}, Vector[(2 * u)]) → L_{36}
  795. Translate(I_{33}, Vector[(2 * u)]) → M_{36}
  796. Translate(J_{33}, Vector[(2 * u)]) → N_{36}
  797. Translate(K_{33}, Vector[(2 * u)]) → O_{36}
  798. Translate(L_{33}, Vector[(2 * u)]) → P_{36}
  799. Translate(M_{33}, Vector[(2 * u)]) → Q_{36}
  800. Polygon(W_{35}, Z_{35}, I_{36}, J_{36}, K_{36}, L_{36}, M_{36}, N_{36}, O_{36}, P_{36}, Q_{36}, A_{36}, B_{36}, C_{36}, D_{36}, E_{36}, F_{36}, G_{36}, H_{36}) → poly36'_1, w_{35}, h_{38}, i_{36}, j_{36}, k_{36}, l_{36}, m_{36}, n_{36}, o_{36}, p_{38}, q_{36}, z_{36}, a_{40}, b_{38}, c_{36}, d_{36}, e_{36}, f_{36}, g_{38}
  801. Translate(N_{33}, Vector[(2 * u)]) → R_{36}
  802. Translate(O_{33}, Vector[(2 * u)]) → S_{36}
  803. Translate(P_{33}, Vector[(2 * u)]) → T_{36}
  804. Translate(Q_{33}, Vector[(2 * u)]) → U_{36}
  805. Translate(R_{33}, Vector[(2 * u)]) → V_{36}
  806. Translate(S_{33}, Vector[(2 * u)]) → W_{36}
  807. Translate(T_{33}, Vector[(2 * u)]) → Z_{36}
  808. Translate(U_{33}, Vector[(2 * u)]) → A_{37}
  809. Translate(V_{33}, Vector[(2 * u)]) → B_{37}
  810. Translate(W_{33}, Vector[(2 * u)]) → C_{37}
  811. Translate(Z_{33}, Vector[(2 * u)]) → D_{37}
  812. Translate(A_{34}, Vector[(2 * u)]) → E_{37}
  813. Translate(B_{34}, Vector[(2 * u)]) → F_{37}
  814. Translate(C_{34}, Vector[(2 * u)]) → G_{37}
  815. Translate(D_{34}, Vector[(2 * u)]) → H_{37}
  816. Translate(E_{34}, Vector[(2 * u)]) → I_{37}
  817. Translate(F_{34}, Vector[(2 * u)]) → J_{37}
  818. Translate(G_{34}, Vector[(2 * u)]) → K_{37}
  819. Translate(H_{34}, Vector[(2 * u)]) → L_{37}
  820. Polygon(R_{36}, S_{36}, D_{37}, E_{37}, F_{37}, G_{37}, H_{37}, I_{37}, J_{37}, K_{37}, L_{37}, T_{36}, U_{36}, V_{36}, W_{36}, Z_{36}, A_{37}, B_{37}, C_{37}) → poly37'_1, r_{36}, c_{37}, d_{37}, e_{37}, f_{37}, g_{39}, h_{39}, i_{37}, j_{37}, k_{37}, l_{37}, s_{36}, t_{36}, u_{37}, v_{37}, w_{36}, z_{37}, a_{41}, b_{39}
  821. Translate(S_{32}, Vector[(3 * u)]) → M_{37}
  822. Translate(G_{33}, Vector[(3 * u)]) → A_{38}
  823. Translate(H_{33}, Vector[(3 * u)]) → B_{38}
  824. Translate(I_{33}, Vector[(3 * u)]) → C_{38}
  825. Translate(J_{33}, Vector[(3 * u)]) → D_{38}
  826. Translate(K_{33}, Vector[(3 * u)]) → E_{38}
  827. Translate(L_{33}, Vector[(3 * u)]) → F_{38}
  828. Translate(M_{33}, Vector[(3 * u)]) → G_{38}
  829. Translate(N_{33}, Vector[(3 * u)]) → H_{38}
  830. Translate(B_{34}, Vector[(3 * u)]) → T_{38}
  831. Translate(C_{34}, Vector[(3 * u)]) → U_{38}
  832. Translate(D_{34}, Vector[(3 * u)]) → V_{38}
  833. Translate(E_{34}, Vector[(3 * u)]) → W_{38}
  834. Translate(F_{34}, Vector[(3 * u)]) → Z_{38}
  835. Translate(G_{34}, Vector[(3 * u)]) → A_{39}
  836. Translate(H_{34}, Vector[(3 * u)]) → B_{39}
  837. Translate(S_{32}, Vector[(-u)]) → Q_{40}
  838. Translate(T_{32}, Vector[(-u)]) → R_{40}
  839. Translate(U_{32}, Vector[(-u)]) → S_{40}
  840. Translate(V_{32}, Vector[(-u)]) → T_{40}
  841. Translate(W_{32}, Vector[(-u)]) → U_{40}
  842. Translate(Z_{32}, Vector[(-u)]) → V_{40}
  843. Translate(A_{33}, Vector[(-u)]) → W_{40}
  844. Translate(B_{33}, Vector[(-u)]) → Z_{40}
  845. Translate(C_{33}, Vector[(-u)]) → A_{41}
  846. Translate(D_{33}, Vector[(-u)]) → B_{41}
  847. Translate(E_{33}, Vector[(-u)]) → C_{41}
  848. Translate(F_{33}, Vector[(-u)]) → D_{41}
  849. Translate(G_{33}, Vector[(-u)]) → E_{41}
  850. Translate(H_{33}, Vector[(-u)]) → F_{41}
  851. Translate(I_{33}, Vector[(-u)]) → G_{41}
  852. Translate(J_{33}, Vector[(-u)]) → H_{41}
  853. Translate(K_{33}, Vector[(-u)]) → I_{41}
  854. Translate(L_{33}, Vector[(-u)]) → J_{41}
  855. Translate(M_{33}, Vector[(-u)]) → K_{41}
  856. Polygon(Q_{40}, R_{40}, C_{41}, D_{41}, E_{41}, F_{41}, G_{41}, H_{41}, I_{41}, J_{41}, K_{41}, S_{40}, T_{40}, U_{40}, V_{40}, W_{40}, Z_{40}, A_{41}, B_{41}) → poly36'_4, q_{40}, b_{43}, c_{41}, d_{41}, e_{41}, f_{41}, g_{43}, h_{43}, i_{41}, j_{41}, k_{41}, r_{40}, s_{40}, t_{40}, u_{41}, v_{41}, w_{40}, z_{41}, a_{45}
  857. Translate(N_{33}, Vector[(-u)]) → L_{41}
  858. Translate(O_{33}, Vector[(-u)]) → M_{41}
  859. Translate(P_{33}, Vector[(-u)]) → N_{41}
  860. Translate(Q_{33}, Vector[(-u)]) → O_{41}
  861. Translate(R_{33}, Vector[(-u)]) → P_{41}
  862. Translate(S_{33}, Vector[(-u)]) → Q_{41}
  863. Translate(T_{33}, Vector[(-u)]) → R_{41}
  864. Translate(U_{33}, Vector[(-u)]) → S_{41}
  865. Translate(V_{33}, Vector[(-u)]) → T_{41}
  866. Translate(W_{33}, Vector[(-u)]) → U_{41}
  867. Translate(Z_{33}, Vector[(-u)]) → V_{41}
  868. Translate(A_{34}, Vector[(-u)]) → W_{41}
  869. Translate(B_{34}, Vector[(-u)]) → Z_{41}
  870. Translate(C_{34}, Vector[(-u)]) → A_{42}
  871. Translate(D_{34}, Vector[(-u)]) → B_{42}
  872. Translate(E_{34}, Vector[(-u)]) → C_{42}
  873. Translate(F_{34}, Vector[(-u)]) → D_{42}
  874. Translate(G_{34}, Vector[(-u)]) → E_{42}
  875. Translate(H_{34}, Vector[(-u)]) → F_{42}
  876. Polygon(L_{41}, M_{41}, V_{41}, W_{41}, Z_{41}, A_{42}, B_{42}, C_{42}, D_{42}, E_{42}, F_{42}, N_{41}, O_{41}, P_{41}, Q_{41}, R_{41}, S_{41}, T_{41}, U_{41}) → poly37'_4, l_{41}, u_{42}, v_{42}, w_{41}, z_{42}, a_{46}, b_{44}, c_{42}, d_{42}, e_{42}, f_{42}, m_{41}, n_{41}, o_{41}, p_{43}, q_{41}, r_{41}, s_{41}, t_{41}
  877. Translate(S_{32}, Vector[(-2 * u)]) → G_{42}
  878. Translate(T_{32}, Vector[(-2 * u)]) → H_{42}
  879. Translate(U_{32}, Vector[(-2 * u)]) → I_{42}
  880. Translate(V_{32}, Vector[(-2 * u)]) → J_{42}
  881. Translate(W_{32}, Vector[(-2 * u)]) → K_{42}
  882. Translate(Z_{32}, Vector[(-2 * u)]) → L_{42}
  883. Translate(A_{33}, Vector[(-2 * u)]) → M_{42}
  884. Translate(B_{33}, Vector[(-2 * u)]) → N_{42}
  885. Translate(C_{33}, Vector[(-2 * u)]) → O_{42}
  886. Translate(D_{33}, Vector[(-2 * u)]) → P_{42}
  887. Translate(E_{33}, Vector[(-2 * u)]) → Q_{42}
  888. Translate(F_{33}, Vector[(-2 * u)]) → R_{42}
  889. Translate(G_{33}, Vector[(-2 * u)]) → S_{42}
  890. Translate(H_{33}, Vector[(-2 * u)]) → T_{42}
  891. Translate(I_{33}, Vector[(-2 * u)]) → U_{42}
  892. Translate(J_{33}, Vector[(-2 * u)]) → V_{42}
  893. Translate(K_{33}, Vector[(-2 * u)]) → W_{42}
  894. Translate(L_{33}, Vector[(-2 * u)]) → Z_{42}
  895. Translate(M_{33}, Vector[(-2 * u)]) → A_{43}
  896. Polygon(G_{42}, H_{42}, Q_{42}, R_{42}, S_{42}, T_{42}, U_{42}, V_{42}, W_{42}, Z_{42}, A_{43}, I_{42}, J_{42}, K_{42}, L_{42}, M_{42}, N_{42}, O_{42}, P_{42}) → poly36'_5, g_{44}, p_{44}, q_{42}, r_{42}, s_{42}, t_{42}, u_{43}, v_{43}, w_{42}, z_{43}, a_{47}, h_{44}, i_{42}, j_{42}, k_{42}, l_{42}, m_{42}, n_{42}, o_{42}
  897. Translate(N_{33}, Vector[(-2 * u)]) → B_{43}
  898. Translate(O_{33}, Vector[(-2 * u)]) → C_{43}
  899. Translate(P_{33}, Vector[(-2 * u)]) → D_{43}
  900. Translate(Q_{33}, Vector[(-2 * u)]) → E_{43}
  901. Translate(R_{33}, Vector[(-2 * u)]) → F_{43}
  902. Translate(S_{33}, Vector[(-2 * u)]) → G_{43}
  903. Translate(T_{33}, Vector[(-2 * u)]) → H_{43}
  904. Translate(U_{33}, Vector[(-2 * u)]) → I_{43}
  905. Translate(V_{33}, Vector[(-2 * u)]) → J_{43}
  906. Translate(W_{33}, Vector[(-2 * u)]) → K_{43}
  907. Translate(Z_{33}, Vector[(-2 * u)]) → L_{43}
  908. Translate(A_{34}, Vector[(-2 * u)]) → M_{43}
  909. Translate(B_{34}, Vector[(-2 * u)]) → N_{43}
  910. Translate(C_{34}, Vector[(-2 * u)]) → O_{43}
  911. Translate(D_{34}, Vector[(-2 * u)]) → P_{43}
  912. Translate(E_{34}, Vector[(-2 * u)]) → Q_{43}
  913. Translate(F_{34}, Vector[(-2 * u)]) → R_{43}
  914. Translate(G_{34}, Vector[(-2 * u)]) → S_{43}
  915. Translate(H_{34}, Vector[(-2 * u)]) → T_{43}
  916. Polygon(B_{43}, C_{43}, L_{43}, M_{43}, N_{43}, O_{43}, P_{43}, Q_{43}, R_{43}, S_{43}, T_{43}, D_{43}, E_{43}, F_{43}, G_{43}, H_{43}, I_{43}, J_{43}, K_{43}) → poly37'_5, b_{45}, k_{43}, l_{43}, m_{43}, n_{43}, o_{43}, p_{45}, q_{43}, r_{43}, s_{43}, t_{43}, c_{43}, d_{43}, e_{43}, f_{43}, g_{45}, h_{45}, i_{43}, j_{43}
  917. Translate(V_{32}, Vector[(-3 * u)]) → Z_{43}
  918. Translate(W_{32}, Vector[(-3 * u)]) → A_{44}
  919. Translate(Z_{32}, Vector[(-3 * u)]) → B_{44}
  920. Translate(A_{33}, Vector[(-3 * u)]) → C_{44}
  921. Translate(B_{33}, Vector[(-3 * u)]) → D_{44}
  922. Translate(C_{33}, Vector[(-3 * u)]) → E_{44}
  923. Translate(D_{33}, Vector[(-3 * u)]) → F_{44}
  924. Translate(Q_{33}, Vector[(-3 * u)]) → S_{44}
  925. Translate(R_{33}, Vector[(-3 * u)]) → T_{44}
  926. Translate(S_{33}, Vector[(-3 * u)]) → U_{44}
  927. Translate(T_{33}, Vector[(-3 * u)]) → V_{44}
  928. Translate(U_{33}, Vector[(-3 * u)]) → W_{44}
  929. Translate(V_{33}, Vector[(-3 * u)]) → Z_{44}
  930. Translate(W_{33}, Vector[(-3 * u)]) → A_{45}
  931. Translate(A, Vector[(-2 * v)]) → A'_{42}
  932. Translate(H', Vector[(-2 * v)]) → H''_{22}
  933. Translate(H, Vector[(-2 * v)]) → H'_{23}
  934. Translate(B, Vector[(-2 * v)]) → B'_{22}
  935. Translate(P, Vector[(-2 * v)]) → P'_{24}
  936. Translate(P', Vector[(-2 * v)]) → P''_{22}
  937. Translate(A', Vector[(-2 * v)]) → A''_{20}
  938. Translate(G'_2, Vector[(-2 * v)]) → A_{47}
  939. Translate(G''_1, Vector[(-2 * v)]) → B_{47}
  940. Translate(B', Vector[(-2 * v)]) → B''_{20}
  941. Translate(H'_2, Vector[(-2 * v)]) → C_{47}
  942. Translate(H''_1, Vector[(-2 * v)]) → D_{47}
  943. Translate(A'_1, Vector[(-2 * v)]) → E_{47}
  944. Translate(P''_1, Vector[(-2 * v)]) → F_{47}
  945. Translate(P'_3, Vector[(-2 * v)]) → G_{47}
  946. Translate(B'_2, Vector[(-2 * v)]) → H_{47}
  947. Translate(G', Vector[(-2 * v)]) → G''_{22}
  948. Translate(G, Vector[(-2 * v)]) → G'_{23}
  949. Translate(A, Vector[(-2 * v)]) → A'_{43}
  950. Polygon(A'_{42}, H''_{22}, C_{47}, D_{47}, E_{47}, F_{47}, G_{47}, H_{47}, G''_{22}, G'_{23}, A'_{43}, H'_{23}, B'_{22}, P'_{24}, P''_{22}, A''_{20}, A_{47}, B_{47}, B''_{20}) → poly2'_{10}, a'_{44}, b''_{20}, c_{47}, d_{47}, e_{47}, f_{47}, g_{49}, h_{49}, g''_{23}, g'_{25}, a'_{45}, h''_{23}, h'_{25}, b'_{24}, p'_{25}, p''_{23}, a''_{20}, a_{51}, b_{49}
  951. Translate(A, Vector[(-2 * v)]) → A'_{44}
  952. Translate(H', Vector[(-2 * v)]) → H''_{23}
  953. Translate(H, Vector[(-2 * v)]) → H'_{24}
  954. Translate(B, Vector[(-2 * v)]) → B'_{23}
  955. Translate(P, Vector[(-2 * v)]) → P'_{25}
  956. Translate(P', Vector[(-2 * v)]) → P''_{23}
  957. Translate(A', Vector[(-2 * v)]) → A''_{21}
  958. Translate(G'_2, Vector[(-2 * v)]) → I_{47}
  959. Translate(G''_1, Vector[(-2 * v)]) → J_{47}
  960. Translate(B', Vector[(-2 * v)]) → B''_{21}
  961. Translate(H'_2, Vector[(-2 * v)]) → K_{47}
  962. Translate(H''_1, Vector[(-2 * v)]) → L_{47}
  963. Translate(A'_1, Vector[(-2 * v)]) → M_{47}
  964. Translate(P''_1, Vector[(-2 * v)]) → N_{47}
  965. Translate(P'_3, Vector[(-2 * v)]) → O_{47}
  966. Translate(B'_2, Vector[(-2 * v)]) → P_{47}
  967. Translate(G', Vector[(-2 * v)]) → G''_{23}
  968. Translate(G, Vector[(-2 * v)]) → G'_{24}
  969. Translate(A, Vector[(-2 * v)]) → A'_{45}
  970. Polygon(A'_{44}, H''_{23}, K_{47}, L_{47}, M_{47}, N_{47}, O_{47}, P_{47}, G''_{23}, G'_{24}, A'_{45}, H'_{24}, B'_{23}, P'_{25}, P''_{23}, A''_{21}, I_{47}, J_{47}, B''_{21}) → poly3'_{10}, a'_{46}, b''_{21}, k_{47}, l_{47}, m_{47}, n_{47}, o_{47}, p_{49}, g''_{24}, g'_{26}, a'_{47}, h''_{24}, h'_{26}, b'_{25}, p'_{26}, p''_{24}, a''_{21}, i_{47}, j_{47}
  971. Translate(A'_{42}, u) → Q_{47}
  972. Translate(H''_{22}, u) → R_{47}
  973. Translate(H'_{23}, u) → S_{47}
  974. Translate(B'_{22}, u) → T_{47}
  975. Translate(P'_{24}, u) → U_{47}
  976. Translate(P''_{22}, u) → V_{47}
  977. Translate(A''_{20}, u) → W_{47}
  978. Translate(A_{47}, u) → Z_{47}
  979. Translate(B_{47}, u) → A_{48}
  980. Translate(B''_{20}, u) → B_{48}
  981. Translate(C_{47}, u) → C_{48}
  982. Translate(D_{47}, u) → D_{48}
  983. Translate(E_{47}, u) → E_{48}
  984. Translate(F_{47}, u) → F_{48}
  985. Translate(G_{47}, u) → G_{48}
  986. Translate(H_{47}, u) → H_{48}
  987. Translate(G''_{22}, u) → I_{48}
  988. Translate(G'_{23}, u) → J_{48}
  989. Translate(A'_{43}, u) → K_{48}
  990. Polygon(Q_{47}, R_{47}, C_{48}, D_{48}, E_{48}, F_{48}, G_{48}, H_{48}, I_{48}, J_{48}, K_{48}, S_{47}, T_{47}, U_{47}, V_{47}, W_{47}, Z_{47}, A_{48}, B_{48}) → poly38, q_{47}, b_{50}, c_{48}, d_{48}, e_{48}, f_{48}, g_{50}, h_{50}, i_{48}, j_{48}, k_{48}, r_{47}, s_{47}, t_{47}, u_{48}, v_{48}, w_{47}, z_{48}, a_{52}
  991. Translate(A'_{44}, u) → L_{48}
  992. Translate(H''_{23}, u) → M_{48}
  993. Translate(H'_{24}, u) → N_{48}
  994. Translate(B'_{23}, u) → O_{48}
  995. Translate(P'_{25}, u) → P_{48}
  996. Translate(P''_{23}, u) → Q_{48}
  997. Translate(A''_{21}, u) → R_{48}
  998. Translate(I_{47}, u) → S_{48}
  999. Translate(J_{47}, u) → T_{48}
  1000. Translate(B''_{21}, u) → U_{48}
  1001. Translate(K_{47}, u) → V_{48}
  1002. Translate(L_{47}, u) → W_{48}
  1003. Translate(M_{47}, u) → Z_{48}
  1004. Translate(N_{47}, u) → A_{49}
  1005. Translate(O_{47}, u) → B_{49}
  1006. Translate(P_{47}, u) → C_{49}
  1007. Translate(G''_{23}, u) → D_{49}
  1008. Translate(G'_{24}, u) → E_{49}
  1009. Translate(A'_{45}, u) → F_{49}
  1010. Polygon(L_{48}, M_{48}, V_{48}, W_{48}, Z_{48}, A_{49}, B_{49}, C_{49}, D_{49}, E_{49}, F_{49}, N_{48}, O_{48}, P_{48}, Q_{48}, R_{48}, S_{48}, T_{48}, U_{48}) → poly39, l_{48}, u_{49}, v_{49}, w_{48}, z_{49}, a_{53}, b_{51}, c_{49}, d_{49}, e_{49}, f_{49}, m_{48}, n_{48}, o_{48}, p_{50}, q_{48}, r_{48}, s_{48}, t_{48}
  1011. Translate(A'_{42}, Vector[(2 * u)]) → G_{49}
  1012. Translate(H''_{22}, Vector[(2 * u)]) → H_{49}
  1013. Translate(H'_{23}, Vector[(2 * u)]) → I_{49}
  1014. Translate(B'_{22}, Vector[(2 * u)]) → J_{49}
  1015. Translate(P'_{24}, Vector[(2 * u)]) → K_{49}
  1016. Translate(P''_{22}, Vector[(2 * u)]) → L_{49}
  1017. Translate(A''_{20}, Vector[(2 * u)]) → M_{49}
  1018. Translate(A_{47}, Vector[(2 * u)]) → N_{49}
  1019. Translate(B_{47}, Vector[(2 * u)]) → O_{49}
  1020. Translate(B''_{20}, Vector[(2 * u)]) → P_{49}
  1021. Translate(C_{47}, Vector[(2 * u)]) → Q_{49}
  1022. Translate(D_{47}, Vector[(2 * u)]) → R_{49}
  1023. Translate(E_{47}, Vector[(2 * u)]) → S_{49}
  1024. Translate(F_{47}, Vector[(2 * u)]) → T_{49}
  1025. Translate(G_{47}, Vector[(2 * u)]) → U_{49}
  1026. Translate(H_{47}, Vector[(2 * u)]) → V_{49}
  1027. Translate(G''_{22}, Vector[(2 * u)]) → W_{49}
  1028. Translate(G'_{23}, Vector[(2 * u)]) → Z_{49}
  1029. Translate(A'_{43}, Vector[(2 * u)]) → A_{50}
  1030. Polygon(G_{49}, H_{49}, Q_{49}, R_{49}, S_{49}, T_{49}, U_{49}, V_{49}, W_{49}, Z_{49}, A_{50}, I_{49}, J_{49}, K_{49}, L_{49}, M_{49}, N_{49}, O_{49}, P_{49}) → poly40, g_{51}, p_{51}, q_{49}, r_{49}, s_{49}, t_{49}, u_{50}, v_{50}, w_{49}, z_{50}, a_{54}, h_{51}, i_{49}, j_{49}, k_{49}, l_{49}, m_{49}, n_{49}, o_{49}
  1031. Translate(A'_{44}, Vector[(2 * u)]) → B_{50}
  1032. Translate(H''_{23}, Vector[(2 * u)]) → C_{50}
  1033. Translate(H'_{24}, Vector[(2 * u)]) → D_{50}
  1034. Translate(B'_{23}, Vector[(2 * u)]) → E_{50}
  1035. Translate(P'_{25}, Vector[(2 * u)]) → F_{50}
  1036. Translate(P''_{23}, Vector[(2 * u)]) → G_{50}
  1037. Translate(A''_{21}, Vector[(2 * u)]) → H_{50}
  1038. Translate(I_{47}, Vector[(2 * u)]) → I_{50}
  1039. Translate(J_{47}, Vector[(2 * u)]) → J_{50}
  1040. Translate(B''_{21}, Vector[(2 * u)]) → K_{50}
  1041. Translate(K_{47}, Vector[(2 * u)]) → L_{50}
  1042. Translate(L_{47}, Vector[(2 * u)]) → M_{50}
  1043. Translate(M_{47}, Vector[(2 * u)]) → N_{50}
  1044. Translate(N_{47}, Vector[(2 * u)]) → O_{50}
  1045. Translate(O_{47}, Vector[(2 * u)]) → P_{50}
  1046. Translate(P_{47}, Vector[(2 * u)]) → Q_{50}
  1047. Translate(G''_{23}, Vector[(2 * u)]) → R_{50}
  1048. Translate(G'_{24}, Vector[(2 * u)]) → S_{50}
  1049. Translate(A'_{45}, Vector[(2 * u)]) → T_{50}
  1050. Polygon(B_{50}, C_{50}, L_{50}, M_{50}, N_{50}, O_{50}, P_{50}, Q_{50}, R_{50}, S_{50}, T_{50}, D_{50}, E_{50}, F_{50}, G_{50}, H_{50}, I_{50}, J_{50}, K_{50}) → poly41, b_{52}, k_{50}, l_{50}, m_{50}, n_{50}, o_{50}, p_{52}, q_{50}, r_{50}, s_{50}, t_{50}, c_{50}, d_{50}, e_{50}, f_{50}, g_{52}, h_{52}, i_{50}, j_{50}
  1051. Translate(A'_{42}, Vector[(3 * u)]) → U_{50}
  1052. Translate(E_{47}, Vector[(3 * u)]) → I_{51}
  1053. Translate(F_{47}, Vector[(3 * u)]) → J_{51}
  1054. Translate(G_{47}, Vector[(3 * u)]) → K_{51}
  1055. Translate(H_{47}, Vector[(3 * u)]) → L_{51}
  1056. Translate(G''_{22}, Vector[(3 * u)]) → M_{51}
  1057. Translate(G'_{23}, Vector[(3 * u)]) → N_{51}
  1058. Translate(A'_{43}, Vector[(3 * u)]) → O_{51}
  1059. Translate(A'_{44}, Vector[(3 * u)]) → P_{51}
  1060. Translate(M_{47}, Vector[(3 * u)]) → D_{52}
  1061. Translate(N_{47}, Vector[(3 * u)]) → E_{52}
  1062. Translate(O_{47}, Vector[(3 * u)]) → F_{52}
  1063. Translate(P_{47}, Vector[(3 * u)]) → G_{52}
  1064. Translate(G''_{23}, Vector[(3 * u)]) → H_{52}
  1065. Translate(G'_{24}, Vector[(3 * u)]) → I_{52}
  1066. Translate(A'_{45}, Vector[(3 * u)]) → J_{52}
  1067. Translate(A'_{42}, Vector[(-u)]) → A_{54}
  1068. Translate(H''_{22}, Vector[(-u)]) → B_{54}
  1069. Translate(H'_{23}, Vector[(-u)]) → C_{54}
  1070. Translate(B'_{22}, Vector[(-u)]) → D_{54}
  1071. Translate(P'_{24}, Vector[(-u)]) → E_{54}
  1072. Translate(P''_{22}, Vector[(-u)]) → F_{54}
  1073. Translate(A''_{20}, Vector[(-u)]) → G_{54}
  1074. Translate(A_{47}, Vector[(-u)]) → H_{54}
  1075. Translate(B_{47}, Vector[(-u)]) → I_{54}
  1076. Translate(B''_{20}, Vector[(-u)]) → J_{54}
  1077. Translate(C_{47}, Vector[(-u)]) → K_{54}
  1078. Translate(D_{47}, Vector[(-u)]) → L_{54}
  1079. Translate(E_{47}, Vector[(-u)]) → M_{54}
  1080. Translate(F_{47}, Vector[(-u)]) → N_{54}
  1081. Translate(G_{47}, Vector[(-u)]) → O_{54}
  1082. Translate(H_{47}, Vector[(-u)]) → P_{54}
  1083. Translate(G''_{22}, Vector[(-u)]) → Q_{54}
  1084. Translate(G'_{23}, Vector[(-u)]) → R_{54}
  1085. Translate(A'_{43}, Vector[(-u)]) → S_{54}
  1086. Polygon(A_{54}, B_{54}, K_{54}, L_{54}, M_{54}, N_{54}, O_{54}, P_{54}, Q_{54}, R_{54}, S_{54}, C_{54}, D_{54}, E_{54}, F_{54}, G_{54}, H_{54}, I_{54}, J_{54}) → poly46, a_{58}, j_{54}, k_{54}, l_{54}, m_{54}, n_{54}, o_{54}, p_{56}, q_{54}, r_{54}, s_{54}, b_{56}, c_{54}, d_{54}, e_{54}, f_{54}, g_{56}, h_{56}, i_{54}
  1087. Translate(A'_{44}, Vector[(-u)]) → T_{54}
  1088. Translate(H''_{23}, Vector[(-u)]) → U_{54}
  1089. Translate(H'_{24}, Vector[(-u)]) → V_{54}
  1090. Translate(B'_{23}, Vector[(-u)]) → W_{54}
  1091. Translate(P'_{25}, Vector[(-u)]) → Z_{54}
  1092. Translate(P''_{23}, Vector[(-u)]) → A_{55}
  1093. Translate(A''_{21}, Vector[(-u)]) → B_{55}
  1094. Translate(I_{47}, Vector[(-u)]) → C_{55}
  1095. Translate(J_{47}, Vector[(-u)]) → D_{55}
  1096. Translate(B''_{21}, Vector[(-u)]) → E_{55}
  1097. Translate(K_{47}, Vector[(-u)]) → F_{55}
  1098. Translate(L_{47}, Vector[(-u)]) → G_{55}
  1099. Translate(M_{47}, Vector[(-u)]) → H_{55}
  1100. Translate(N_{47}, Vector[(-u)]) → I_{55}
  1101. Translate(O_{47}, Vector[(-u)]) → J_{55}
  1102. Translate(P_{47}, Vector[(-u)]) → K_{55}
  1103. Translate(G''_{23}, Vector[(-u)]) → L_{55}
  1104. Translate(G'_{24}, Vector[(-u)]) → M_{55}
  1105. Translate(A'_{45}, Vector[(-u)]) → N_{55}
  1106. Polygon(T_{54}, U_{54}, F_{55}, G_{55}, H_{55}, I_{55}, J_{55}, K_{55}, L_{55}, M_{55}, N_{55}, V_{54}, W_{54}, Z_{54}, A_{55}, B_{55}, C_{55}, D_{55}, E_{55}) → poly47, t_{54}, e_{55}, f_{55}, g_{57}, h_{57}, i_{55}, j_{55}, k_{55}, l_{55}, m_{55}, n_{55}, u_{55}, v_{55}, w_{54}, z_{55}, a_{59}, b_{57}, c_{55}, d_{55}
  1107. Translate(A'_{42}, Vector[(-2 * u)]) → O_{55}
  1108. Translate(H''_{22}, Vector[(-2 * u)]) → P_{55}
  1109. Translate(H'_{23}, Vector[(-2 * u)]) → Q_{55}
  1110. Translate(B'_{22}, Vector[(-2 * u)]) → R_{55}
  1111. Translate(P'_{24}, Vector[(-2 * u)]) → S_{55}
  1112. Translate(P''_{22}, Vector[(-2 * u)]) → T_{55}
  1113. Translate(A''_{20}, Vector[(-2 * u)]) → U_{55}
  1114. Translate(A_{47}, Vector[(-2 * u)]) → V_{55}
  1115. Translate(B_{47}, Vector[(-2 * u)]) → W_{55}
  1116. Translate(B''_{20}, Vector[(-2 * u)]) → Z_{55}
  1117. Translate(C_{47}, Vector[(-2 * u)]) → A_{56}
  1118. Translate(D_{47}, Vector[(-2 * u)]) → B_{56}
  1119. Translate(E_{47}, Vector[(-2 * u)]) → C_{56}
  1120. Translate(F_{47}, Vector[(-2 * u)]) → D_{56}
  1121. Translate(G_{47}, Vector[(-2 * u)]) → E_{56}
  1122. Translate(H_{47}, Vector[(-2 * u)]) → F_{56}
  1123. Translate(G''_{22}, Vector[(-2 * u)]) → G_{56}
  1124. Translate(G'_{23}, Vector[(-2 * u)]) → H_{56}
  1125. Translate(A'_{43}, Vector[(-2 * u)]) → I_{56}
  1126. Polygon(O_{55}, P_{55}, A_{56}, B_{56}, C_{56}, D_{56}, E_{56}, F_{56}, G_{56}, H_{56}, I_{56}, Q_{55}, R_{55}, S_{55}, T_{55}, U_{55}, V_{55}, W_{55}, Z_{55}) → poly48, o_{55}, z_{56}, a_{60}, b_{58}, c_{56}, d_{56}, e_{56}, f_{56}, g_{58}, h_{58}, i_{56}, p_{57}, q_{55}, r_{55}, s_{55}, t_{55}, u_{56}, v_{56}, w_{55}
  1127. Translate(A'_{44}, Vector[(-2 * u)]) → J_{56}
  1128. Translate(H''_{23}, Vector[(-2 * u)]) → K_{56}
  1129. Translate(H'_{24}, Vector[(-2 * u)]) → L_{56}
  1130. Translate(B'_{23}, Vector[(-2 * u)]) → M_{56}
  1131. Translate(P'_{25}, Vector[(-2 * u)]) → N_{56}
  1132. Translate(P''_{23}, Vector[(-2 * u)]) → O_{56}
  1133. Translate(A''_{21}, Vector[(-2 * u)]) → P_{56}
  1134. Translate(I_{47}, Vector[(-2 * u)]) → Q_{56}
  1135. Translate(J_{47}, Vector[(-2 * u)]) → R_{56}
  1136. Translate(B''_{21}, Vector[(-2 * u)]) → S_{56}
  1137. Translate(K_{47}, Vector[(-2 * u)]) → T_{56}
  1138. Translate(L_{47}, Vector[(-2 * u)]) → U_{56}
  1139. Translate(M_{47}, Vector[(-2 * u)]) → V_{56}
  1140. Translate(N_{47}, Vector[(-2 * u)]) → W_{56}
  1141. Translate(O_{47}, Vector[(-2 * u)]) → Z_{56}
  1142. Translate(P_{47}, Vector[(-2 * u)]) → A_{57}
  1143. Translate(G''_{23}, Vector[(-2 * u)]) → B_{57}
  1144. Translate(G'_{24}, Vector[(-2 * u)]) → C_{57}
  1145. Translate(A'_{45}, Vector[(-2 * u)]) → D_{57}
  1146. Polygon(J_{56}, K_{56}, T_{56}, U_{56}, V_{56}, W_{56}, Z_{56}, A_{57}, B_{57}, C_{57}, D_{57}, L_{56}, M_{56}, N_{56}, O_{56}, P_{56}, Q_{56}, R_{56}, S_{56}) → poly49, j_{56}, s_{56}, t_{56}, u_{57}, v_{57}, w_{56}, z_{57}, a_{61}, b_{59}, c_{57}, d_{57}, k_{56}, l_{56}, m_{56}, n_{56}, o_{56}, p_{58}, q_{56}, r_{56}
  1147. Translate(A''_{20}, Vector[(-3 * u)]) → K_{57}
  1148. Translate(A_{47}, Vector[(-3 * u)]) → L_{57}
  1149. Translate(B_{47}, Vector[(-3 * u)]) → M_{57}
  1150. Translate(B''_{20}, Vector[(-3 * u)]) → N_{57}
  1151. Translate(A''_{21}, Vector[(-3 * u)]) → F_{58}
  1152. Translate(I_{47}, Vector[(-3 * u)]) → G_{58}
  1153. Translate(J_{47}, Vector[(-3 * u)]) → H_{58}
  1154. Translate(B''_{21}, Vector[(-3 * u)]) → I_{58}