三片式六边形镶嵌

GeoGebra 命令及参数

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