多边形镶嵌与几何构造

GeoGebra 命令及参数

1. Vector(G, H) → u
2. Vector(G, I) → v
3. Translate(A, v) → A'
4. Translate(B, v) → B'
5. Translate(C, v) → C'
6. Translate(D, Vector[(0, 0)]) → D'
7. Translate(D, v) → D'_1
8. Translate(E, u) → E'
9. Translate(F, u) → F'
10. Polygon(D, C, F, E, B, A, E', F', A', B', C', D'_1) → poly1, d, d'_1, f, e, c, b, a, e', f', a', b', c'
11. Translate(D, v) → D'_2
12. Translate(C, v) → C'_1
13. Translate(B, v) → B'_1
14. Translate(A, v) → A'_1
15. Translate(E', v) → E''
16. Translate(F', v) → F''
17. Translate(A', v) → A''
18. Translate(B', v) → B''
19. Translate(C', v) → C''
20. Translate(D'_1, v) → J
21. Translate(F, v) → F'_1
22. Translate(E, v) → E'_1
23. Polygon(D'_2, C'_1, F'_1, E'_1, B'_1, A'_1, E'', F'', A'', B'', C'', J) → poly1', d'_2, j, f'_1, e'_1, c'_1, b'_1, a'_1, e'', f'', a'', b'', c''
24. Translate(D'_2, v) → K
25. Translate(C'_1, v) → L
26. Translate(B'_1, v) → M
27. Translate(A'_1, v) → N
28. Translate(E'', v) → E'''
29. Translate(F'', v) → F'''
30. Translate(A'', v) → A'''
31. Translate(B'', v) → B'''
32. Translate(C'', v) → C'''
33. Translate(J, v) → J'
34. Translate(F'_1, v) → O
35. Translate(E'_1, v) → P
36. Polygon(K, L, O, P, M, N, E''', F''', A''', B''', C''', J') → poly1'', k, j', o, p, l, m, n, e''', f''', a''', b''', c'''
37. Translate(K, v) → K'
38. Translate(L, v) → L'
39. Translate(M, v) → M'
40. Translate(N, v) → N'
41. Translate(E''', v) → Q
42. Translate(F''', v) → R
43. Translate(A''', v) → S
44. Translate(B''', v) → T
45. Translate(C''', v) → U
46. Translate(J', v) → J''
47. Translate(O, v) → O'
48. Translate(P, v) → P'
49. Polygon(K', L', O', P', M', N', Q, R, S, T, U, J'') → poly1''', k', j'', o', p', l', m', n', q, r, s, t, u_1
50. Translate(D, u) → D'_3
51. Translate(C, u) → C'_2
52. Translate(B, u) → B'_2
53. Translate(A, u) → A'_2
54. Translate(E', u) → E''_1
55. Translate(F', u) → F''_1
56. Translate(A', u) → A''_1
57. Translate(B', u) → B''_1
58. Translate(C', u) → C''_1
59. Translate(D'_1, u) → V
60. Translate(F, u) → F'_2
61. Translate(E, u) → E'_2
62. Translate(D'_2, u) → W
63. Translate(C'_1, u) → Z
64. Translate(B'_1, u) → A_1
65. Translate(A'_1, u) → B_1
66. Translate(E'', u) → E'''_1
67. Translate(F'', u) → F'''_1
68. Translate(A'', u) → A'''_1
69. Translate(B'', u) → B'''_1
70. Translate(C'', u) → C'''_1
71. Translate(J, u) → J'_1
72. Translate(F'_1, u) → C_1
73. Translate(E'_1, u) → D_1
74. Translate(K, u) → K'_1
75. Translate(L, u) → L'_1
76. Translate(M, u) → M'_1
77. Translate(N, u) → N'_1
78. Translate(E''', u) → E_1
79. Translate(F''', u) → F_1
80. Translate(A''', u) → G_1
81. Translate(B''', u) → H_1
82. Translate(C''', u) → I_1
83. Translate(J', u) → J''_1
84. Translate(O, u) → O'_1
85. Translate(P, u) → P'_1
86. Translate(K', u) → K''
87. Translate(L', u) → L''
88. Translate(M', u) → M''
89. Translate(N', u) → N''
90. Translate(Q, u) → Q'
91. Translate(R, u) → R'
92. Translate(S, u) → S'
93. Translate(T, u) → T'
94. Translate(U, u) → U'
95. Translate(J'', u) → J'''
96. Translate(O', u) → O''
97. Translate(P', u) → P''
98. Translate(D'_2, u) → J_1
99. Translate(C'_1, u) → K_1
100. Translate(B'_1, u) → L_1
101. Translate(A'_1, u) → M_1
102. Translate(E'', u) → E'''_2
103. Translate(F'', u) → F'''_2
104. Translate(A'', u) → A'''_2
105. Translate(B'', u) → B'''_2
106. Translate(C'', u) → C'''_2
107. Translate(J, u) → J'_2
108. Translate(F'_1, u) → N_1
109. Translate(E'_1, u) → O_1
110. Polygon(J_1, K_1, N_1, O_1, L_1, M_1, E'''_2, F'''_2, A'''_2, B'''_2, C'''_2, J'_2) → poly1''_1, j_1, j'_2, n_1, o_1, k_1, l_1, m_1, e'''_2, f'''_2, a'''_2, b'''_2, c'''_2
111. Translate(K, u) → K'_2
112. Translate(L, u) → L'_2
113. Translate(M, u) → M'_2
114. Translate(N, u) → N'_2
115. Translate(E''', u) → P_1
116. Translate(F''', u) → Q_1
117. Translate(A''', u) → R_1
118. Translate(B''', u) → S_1
119. Translate(C''', u) → T_1
120. Translate(J', u) → J''_2
121. Translate(O, u) → O'_2
122. Translate(P, u) → P'_2
123. Polygon(K'_2, L'_2, O'_2, P'_2, M'_2, N'_2, P_1, Q_1, R_1, S_1, T_1, J''_2) → poly1'''_1, k'_2, j''_2, o'_2, p'_2, l'_2, m'_2, n'_2, p_1, q_1, r_1, s_1, t_1
124. Translate(K', u) → K''_1
125. Translate(L', u) → L''_1
126. Translate(M', u) → M''_1
127. Translate(N', u) → N''_1
128. Translate(Q, u) → Q'_1
129. Translate(R, u) → R'_1
130. Translate(S, u) → S'_1
131. Translate(T, u) → T'_1
132. Translate(U, u) → U'_1
133. Translate(J'', u) → J'''_1
134. Translate(O', u) → O''_1
135. Translate(P', u) → P''_1
136. Polygon(K''_1, L''_1, O''_1, P''_1, M''_1, N''_1, Q'_1, R'_1, S'_1, T'_1, U'_1, J'''_1) → poly2, k''_1, j'''_1, o''_1, p''_1, l''_1, m''_1, n''_1, q'_1, r'_1, s'_1, t'_1, u'_1
137. Translate(D, u) → D'_4
138. Translate(C, u) → C'_3
139. Translate(B, u) → B'_3
140. Translate(A, u) → A'_3
141. Translate(E', u) → E''_2
142. Translate(F', u) → F''_2
143. Translate(A', u) → A''_2
144. Translate(B', u) → B''_2
145. Translate(C', u) → C''_2
146. Translate(D'_1, u) → U_1
147. Translate(F, u) → F'_3
148. Translate(E, u) → E'_3
149. Polygon(D'_4, C'_3, F'_3, E'_3, B'_3, A'_3, E''_2, F''_2, A''_2, B''_2, C''_2, U_1) → poly1'_1, d'_4, u_2, f'_3, e'_3, c'_3, b'_3, a'_3, e''_2, f''_2, a''_2, b''_2, c''_2
150. Translate(E''_2, w) → B_2
151. Translate(F''_2, w) → C_2
152. Translate(A''_2, w) → D_2
153. Translate(B''_2, w) → E_2
154. Translate(C''_2, w) → F_2
155. Translate(U_1, w) → G_2
156. Translate(D'_4, u) → V_1
157. Translate(C'_3, u) → W_1
158. Translate(B'_3, u) → Z_1
159. Translate(A'_3, u) → A_2
160. Translate(E''_2, u) → H_2
161. Translate(F''_2, u) → I_2
162. Translate(A''_2, u) → J_2
163. Translate(B''_2, u) → K_2
164. Translate(C''_2, u) → L_2
165. Translate(U_1, u) → M_2
166. Translate(F'_3, u) → N_2
167. Translate(E'_3, u) → O_2
168. Polygon(V_1, W_1, N_2, O_2, Z_1, A_2, H_2, I_2, J_2, K_2, L_2, M_2) → poly3, v_1, m_2, n_2, o_2, w_1, z_1, a_2, h_2, i_2, j_2, k_2, l_2
169. Translate(V_1, v) → P_2
170. Translate(W_1, v) → Q_2
171. Translate(Z_1, v) → R_2
172. Translate(A_2, v) → S_2
173. Translate(H_2, v) → T_2
174. Translate(I_2, v) → U_2
175. Translate(J_2, v) → V_2
176. Translate(K_2, v) → W_2
177. Translate(L_2, v) → Z_2
178. Translate(M_2, v) → A_3
179. Translate(N_2, v) → B_3
180. Translate(O_2, v) → C_3
181. Polygon(P_2, Q_2, B_3, C_3, R_2, S_2, T_2, U_2, V_2, W_2, Z_2, A_3) → poly3', p_2, a_3, b_3, c_3, q_2, r_2, s_2, t_2, u_3, v_2, w_2, z_2
182. Translate(P_2, v) → D_3
183. Translate(Q_2, v) → E_3
184. Translate(R_2, v) → F_3
185. Translate(S_2, v) → G_3
186. Translate(T_2, v) → H_3
187. Translate(U_2, v) → I_3
188. Translate(V_2, v) → J_3
189. Translate(W_2, v) → K_3
190. Translate(Z_2, v) → L_3
191. Translate(A_3, v) → M_3
192. Translate(B_3, v) → N_3
193. Translate(C_3, v) → O_3
194. Polygon(D_3, E_3, N_3, O_3, F_3, G_3, H_3, I_3, J_3, K_3, L_3, M_3) → poly3'', d_3, m_3, n_3, o_3, e_3, f_3, g_3, h_3, i_3, j_3, k_3, l_3
195. Translate(D_3, z) → P_3
196. Translate(E_3, z) → Q_3
197. Translate(F_3, z) → R_3
198. Translate(G_3, z) → S_3
199. Translate(H_3, z) → T_3
200. Translate(I_3, z) → U_3
201. Translate(J_3, z) → V_3
202. Translate(K_3, z) → W_3
203. Translate(L_3, z) → Z_3
204. Translate(M_3, z) → A_4
205. Translate(N_3, z) → B_4
206. Translate(O_3, z) → C_4
207. Translate(P_3, v) → D_4
208. Translate(Q_3, v) → E_4
209. Translate(R_3, v) → F_4
210. Translate(S_3, v) → G_4
211. Translate(T_3, v) → H_4
212. Translate(U_3, v) → I_4
213. Translate(V_3, v) → J_4
214. Translate(W_3, v) → K_4
215. Translate(Z_3, v) → L_4
216. Translate(A_4, v) → M_4
217. Translate(B_4, v) → N_4
218. Translate(C_4, v) → O_4
219. Polygon(D_4, E_4, N_4, O_4, F_4, G_4, H_4, I_4, J_4, K_4, L_4, M_4) → poly4, d_4, m_4, n_4, o_4, e_4, f_4, g_4, h_4, i_4, j_4, k_4, l_4
220. Translate(D_4, g) → P_4
221. Translate(E_4, g) → Q_4
222. Translate(F_4, g) → R_4
223. Translate(G_4, g) → S_4
224. Translate(H_4, g) → T_4
225. Translate(I_4, g) → U_4
226. Translate(J_4, g) → V_4
227. Translate(K_4, g) → W_4
228. Translate(L_4, g) → Z_4
229. Translate(M_4, g) → A_5
230. Translate(N_4, g) → B_5
231. Translate(O_4, g) → C_5
232. Translate(D_4, v) → D_5
233. Translate(E_4, v) → E_5
234. Translate(F_4, v) → F_5
235. Translate(G_4, v) → G_5
236. Translate(H_4, v) → H_5
237. Translate(I_4, v) → I_5
238. Translate(J_4, v) → J_5
239. Translate(K_4, v) → K_5
240. Translate(L_4, v) → L_5
241. Translate(M_4, v) → M_5
242. Translate(N_4, v) → N_5
243. Translate(O_4, v) → O_5
244. Polygon(D_5, E_5, N_5, O_5, F_5, G_5, H_5, I_5, J_5, K_5, L_5, M_5) → poly4', d_5, m_5, n_5, o_5, e_5, f_5, g_5, h_5, i_5, j_5, k_5, l_5
245. Translate(D_5, v) → P_5
246. Translate(E_5, v) → Q_5
247. Translate(F_5, v) → R_5
248. Translate(G_5, v) → S_5
249. Translate(H_5, v) → T_5
250. Translate(I_5, v) → U_5
251. Translate(J_5, v) → V_5
252. Translate(K_5, v) → W_5
253. Translate(L_5, v) → Z_5
254. Translate(M_5, v) → A_6
255. Translate(N_5, v) → B_6
256. Translate(O_5, v) → C_6
257. Polygon(P_5, Q_5, B_6, C_6, R_5, S_5, T_5, U_5, V_5, W_5, Z_5, A_6) → poly4'', p_5, a_6, b_6, c_6, q_5, r_5, s_5, t_5, u_5, v_5, w_5, z_5
258. Translate(K''_1, v) → D_6
259. Translate(L''_1, v) → E_6
260. Translate(M''_1, v) → F_6
261. Translate(N''_1, v) → G_6
262. Translate(Q'_1, v) → H_6
263. Translate(R'_1, v) → I_6
264. Translate(S'_1, v) → J_6
265. Translate(T'_1, v) → K_6
266. Translate(U'_1, v) → L_6
267. Translate(J'''_1, v) → M_6
268. Translate(O''_1, v) → N_6
269. Translate(P''_1, v) → O_6
270. Polygon(D_6, E_6, N_6, O_6, F_6, G_6, H_6, I_6, J_6, K_6, L_6, M_6) → poly2', d_6, m_6, n_6, o_6, e_6, f_6, g_6, h_6, i_6, j_6, k_6, l_6
271. Translate(K', v) → K''_2
272. Translate(L', v) → L''_2
273. Translate(M', v) → M''_2
274. Translate(N', v) → N''_2
275. Translate(Q, v) → Q'_2
276. Translate(R, v) → R'_2
277. Translate(S, v) → S'_2
278. Translate(T, v) → T'_2
279. Translate(U, v) → U'_2
280. Translate(J'', v) → J'''_2
281. Translate(O', v) → O''_2
282. Translate(P', v) → P''_2
283. Polygon(K''_2, L''_2, O''_2, P''_2, M''_2, N''_2, Q'_2, R'_2, S'_2, T'_2, U'_2, J'''_2) → poly5, k''_2, j'''_2, o''_2, p''_2, l''_2, m''_2, n''_2, q'_2, r'_2, s'_2, t'_2, u'_2
284. Translate(D_6, v) → P_6
285. Translate(E_6, v) → Q_6
286. Translate(F_6, v) → R_6
287. Translate(G_6, v) → S_6
288. Translate(H_6, v) → T_6
289. Translate(I_6, v) → U_6
290. Translate(J_6, v) → V_6
291. Translate(K_6, v) → W_6
292. Translate(L_6, v) → Z_6
293. Translate(M_6, v) → A_7
294. Translate(N_6, v) → B_7
295. Translate(O_6, v) → C_7
296. Polygon(P_6, Q_6, B_7, C_7, R_6, S_6, T_6, U_6, V_6, W_6, Z_6, A_7) → poly2'', p_6, a_7, b_7, c_7, q_6, r_6, s_6, t_6, u_6, v_6, w_6, z_6
297. Translate(K''_2, v) → D_7
298. Translate(L''_2, v) → E_7
299. Translate(M''_2, v) → F_7
300. Translate(N''_2, v) → G_7
301. Translate(Q'_2, v) → H_7
302. Translate(R'_2, v) → I_7
303. Translate(S'_2, v) → J_7
304. Translate(T'_2, v) → K_7
305. Translate(U'_2, v) → L_7
306. Translate(J'''_2, v) → M_7
307. Translate(O''_2, v) → N_7
308. Translate(P''_2, v) → O_7
309. Polygon(D_7, E_7, N_7, O_7, F_7, G_7, H_7, I_7, J_7, K_7, L_7, M_7) → poly5', d_7, m_7, n_7, o_7, e_7, f_7, g_7, h_7, i_7, j_7, k_7, l_7
310. Translate(P_5, v) → P_7
311. Translate(Q_5, v) → Q_7
312. Translate(R_5, v) → R_7
313. Translate(S_5, v) → S_7
314. Translate(T_5, v) → T_7
315. Translate(U_5, v) → U_7
316. Translate(V_5, v) → V_7
317. Translate(W_5, v) → W_7
318. Translate(Z_5, v) → Z_7
319. Translate(A_6, v) → A_8
320. Translate(B_6, v) → B_8
321. Translate(C_6, v) → C_8
322. Translate(P_6, h) → D_8
323. Translate(Q_6, h) → E_8
324. Translate(R_6, h) → F_8
325. Translate(S_6, h) → G_8
326. Translate(T_6, h) → H_8
327. Translate(U_6, h) → I_8
328. Translate(V_6, h) → J_8
329. Translate(W_6, h) → K_8
330. Translate(Z_6, h) → L_8
331. Translate(A_7, h) → M_8
332. Translate(B_7, h) → N_8
333. Translate(C_7, h) → O_8
334. Translate(D_8, v) → P_8
335. Translate(E_8, v) → Q_8
336. Translate(F_8, v) → R_8
337. Translate(G_8, v) → S_8
338. Translate(H_8, v) → T_8
339. Translate(I_8, v) → U_8
340. Translate(J_8, v) → V_8
341. Translate(K_8, v) → W_8
342. Translate(L_8, v) → Z_8
343. Translate(M_8, v) → A_9
344. Translate(N_8, v) → B_9
345. Translate(O_8, v) → C_9
346. Translate(P_6, v) → D_9
347. Translate(Q_6, v) → E_9
348. Translate(R_6, v) → F_9
349. Translate(S_6, v) → G_9
350. Translate(T_6, v) → H_9
351. Translate(U_6, v) → I_9
352. Translate(V_6, v) → J_9
353. Translate(W_6, v) → K_9
354. Translate(Z_6, v) → L_9
355. Translate(A_7, v) → M_9
356. Translate(B_7, v) → N_9
357. Translate(C_7, v) → O_9
358. Translate(D_7, v) → P_9
359. Translate(E_7, v) → Q_9
360. Translate(F_7, v) → R_9
361. Translate(G_7, v) → S_9
362. Translate(H_7, v) → T_9
363. Translate(I_7, v) → U_9
364. Translate(J_7, v) → V_9
365. Translate(K_7, v) → W_9
366. Translate(L_7, v) → Z_9
367. Translate(M_7, v) → A_{10}
368. Translate(N_7, v) → B_{10}
369. Translate(O_7, v) → C_{10}
370. Translate(D_3, u) → D_{10}
371. Translate(E_3, u) → E_{10}
372. Translate(F_3, u) → F_{10}
373. Translate(G_3, u) → G_{10}
374. Translate(H_3, u) → H_{10}
375. Translate(I_3, u) → I_{10}
376. Translate(J_3, u) → J_{10}
377. Translate(K_3, u) → K_{10}
378. Translate(L_3, u) → L_{10}
379. Translate(M_3, u) → M_{10}
380. Translate(N_3, u) → N_{10}
381. Translate(O_3, u) → O_{10}
382. Polygon(D_{10}, E_{10}, N_{10}, O_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}, L_{10}, M_{10}) → poly3''', d_{10}, m_{10}, n_{10}, o_{10}, e_{10}, f_{10}, g_{10}, h_{10}, i_{10}, j_{10}, k_{10}, l_{10}
383. Translate(V_1, u) → P_{10}
384. Translate(W_1, u) → Q_{10}
385. Translate(Z_1, u) → R_{10}
386. Translate(A_2, u) → S_{10}
387. Translate(H_2, u) → T_{10}
388. Translate(I_2, u) → U_{10}
389. Translate(J_2, u) → V_{10}
390. Translate(K_2, u) → W_{10}
391. Translate(L_2, u) → Z_{10}
392. Translate(M_2, u) → A_{11}
393. Translate(N_2, u) → B_{11}
394. Translate(O_2, u) → C_{11}
395. Polygon(P_{10}, Q_{10}, B_{11}, C_{11}, R_{10}, S_{10}, T_{10}, U_{10}, V_{10}, W_{10}, Z_{10}, A_{11}) → poly3'_1, p_{10}, a_{11}, b_{11}, c_{11}, q_{10}, r_{10}, s_{10}, t_{10}, u_{10}, v_{10}, w_{10}, z_{10}
396. Translate(P_2, u) → D_{11}
397. Translate(Q_2, u) → E_{11}
398. Translate(R_2, u) → F_{11}
399. Translate(S_2, u) → G_{11}
400. Translate(T_2, u) → H_{11}
401. Translate(U_2, u) → I_{11}
402. Translate(V_2, u) → J_{11}
403. Translate(W_2, u) → K_{11}
404. Translate(Z_2, u) → L_{11}
405. Translate(A_3, u) → M_{11}
406. Translate(B_3, u) → N_{11}
407. Translate(C_3, u) → O_{11}
408. Polygon(D_{11}, E_{11}, N_{11}, O_{11}, F_{11}, G_{11}, H_{11}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}) → poly3''_1, d_{11}, m_{11}, n_{11}, o_{11}, e_{11}, f_{11}, g_{11}, h_{11}, i_{11}, j_{11}, k_{11}, l_{11}
409. Translate(D_4, i) → P_{11}
410. Translate(E_4, i) → Q_{11}
411. Translate(F_4, i) → R_{11}
412. Translate(G_4, i) → S_{11}
413. Translate(H_4, i) → T_{11}
414. Translate(I_4, i) → U_{11}
415. Translate(J_4, i) → V_{11}
416. Translate(K_4, i) → W_{11}
417. Translate(L_4, i) → Z_{11}
418. Translate(M_4, i) → A_{12}
419. Translate(N_4, i) → B_{12}
420. Translate(O_4, i) → C_{12}
421. Translate(D_4, u) → D_{12}
422. Translate(E_4, u) → E_{12}
423. Translate(F_4, u) → F_{12}
424. Translate(G_4, u) → G_{12}
425. Translate(H_4, u) → H_{12}
426. Translate(I_4, u) → I_{12}
427. Translate(J_4, u) → J_{12}
428. Translate(K_4, u) → K_{12}
429. Translate(L_4, u) → L_{12}
430. Translate(M_4, u) → M_{12}
431. Translate(N_4, u) → N_{12}
432. Translate(O_4, u) → O_{12}
433. Polygon(D_{12}, E_{12}, N_{12}, O_{12}, F_{12}, G_{12}, H_{12}, I_{12}, J_{12}, K_{12}, L_{12}, M_{12}) → poly4'_1, d_{12}, m_{12}, n_{12}, o_{12}, e_{12}, f_{12}, g_{12}, h_{12}, i_{12}, j_{12}, k_{12}, l_{12}
434. Translate(D_5, a_1) → P_{12}
435. Translate(E_5, a_1) → Q_{12}
436. Translate(F_5, a_1) → R_{12}
437. Translate(G_5, a_1) → S_{12}
438. Translate(H_5, a_1) → T_{12}
439. Translate(I_5, a_1) → U_{12}
440. Translate(J_5, a_1) → V_{12}
441. Translate(K_5, a_1) → W_{12}
442. Translate(L_5, a_1) → Z_{12}
443. Translate(M_5, a_1) → A_{13}
444. Translate(N_5, a_1) → B_{13}
445. Translate(O_5, a_1) → C_{13}
446. Translate(D_5, u) → D_{13}
447. Translate(E_5, u) → E_{13}
448. Translate(F_5, u) → F_{13}
449. Translate(G_5, u) → G_{13}
450. Translate(H_5, u) → H_{13}
451. Translate(I_5, u) → I_{13}
452. Translate(J_5, u) → J_{13}
453. Translate(K_5, u) → K_{13}
454. Translate(L_5, u) → L_{13}
455. Translate(M_5, u) → M_{13}
456. Translate(N_5, u) → N_{13}
457. Translate(O_5, u) → O_{13}
458. Polygon(D_{13}, E_{13}, N_{13}, O_{13}, F_{13}, G_{13}, H_{13}, I_{13}, J_{13}, K_{13}, L_{13}, M_{13}) → poly4''_1, d_{13}, m_{13}, n_{13}, o_{13}, e_{13}, f_{13}, g_{13}, h_{13}, i_{13}, j_{13}, k_{13}, l_{13}
459. Translate(P_5, b_1) → P_{13}
460. Translate(Q_5, b_1) → Q_{13}
461. Translate(R_5, b_1) → R_{13}
462. Translate(S_5, b_1) → S_{13}
463. Translate(T_5, b_1) → T_{13}
464. Translate(U_5, b_1) → U_{13}
465. Translate(V_5, b_1) → V_{13}
466. Translate(W_5, b_1) → W_{13}
467. Translate(Z_5, b_1) → Z_{13}
468. Translate(A_6, b_1) → A_{14}
469. Translate(B_6, b_1) → B_{14}
470. Translate(C_6, b_1) → C_{14}
471. Translate(P_5, c_1) → D_{14}
472. Translate(Q_5, c_1) → E_{14}
473. Translate(R_5, c_1) → F_{14}
474. Translate(S_5, c_1) → G_{14}
475. Translate(T_5, c_1) → H_{14}
476. Translate(U_5, c_1) → I_{14}
477. Translate(V_5, c_1) → J_{14}
478. Translate(W_5, c_1) → K_{14}
479. Translate(Z_5, c_1) → L_{14}
480. Translate(A_6, c_1) → M_{14}
481. Translate(B_6, c_1) → N_{14}
482. Translate(C_6, c_1) → O_{14}
483. Translate(P_5, u) → P_{14}
484. Translate(Q_5, u) → Q_{14}
485. Translate(R_5, u) → R_{14}
486. Translate(S_5, u) → S_{14}
487. Translate(T_5, u) → T_{14}
488. Translate(U_5, u) → U_{14}
489. Translate(V_5, u) → V_{14}
490. Translate(W_5, u) → W_{14}
491. Translate(Z_5, u) → Z_{14}
492. Translate(A_6, u) → A_{15}
493. Translate(B_6, u) → B_{15}
494. Translate(C_6, u) → C_{15}
495. Polygon(P_{14}, Q_{14}, B_{15}, C_{15}, R_{14}, S_{14}, T_{14}, U_{14}, V_{14}, W_{14}, Z_{14}, A_{15}) → poly4'''_1, p_{14}, a_{15}, b_{15}, c_{15}, q_{14}, r_{14}, s_{14}, t_{14}, u_{14}, v_{14}, w_{14}, z_{14}
496. Translate(P_7, u) → D_{15}
497. Translate(Q_7, u) → E_{15}
498. Translate(R_7, u) → F_{15}
499. Translate(S_7, u) → G_{15}
500. Translate(T_7, u) → H_{15}
501. Translate(U_7, u) → I_{15}
502. Translate(V_7, u) → J_{15}
503. Translate(W_7, u) → K_{15}
504. Translate(Z_7, u) → L_{15}
505. Translate(A_8, u) → M_{15}
506. Translate(B_8, u) → N_{15}
507. Translate(C_8, u) → O_{15}
508. Translate(D_{15}, v) → P_{15}
509. Translate(E_{15}, v) → Q_{15}
510. Translate(F_{15}, v) → R_{15}
511. Translate(G_{15}, v) → S_{15}
512. Translate(H_{15}, v) → T_{15}
513. Translate(I_{15}, v) → U_{15}
514. Translate(J_{15}, v) → V_{15}
515. Translate(K_{15}, v) → W_{15}
516. Translate(L_{15}, v) → Z_{15}
517. Translate(M_{15}, v) → A_{16}
518. Translate(N_{15}, v) → B_{16}
519. Translate(O_{15}, v) → C_{16}
520. Translate(P_7, d_1) → D_{16}
521. Translate(Q_7, d_1) → E_{16}
522. Translate(R_7, d_1) → F_{16}
523. Translate(S_7, d_1) → G_{16}
524. Translate(T_7, d_1) → H_{16}
525. Translate(U_7, d_1) → I_{16}
526. Translate(V_7, d_1) → J_{16}
527. Translate(W_7, d_1) → K_{16}
528. Translate(Z_7, d_1) → L_{16}
529. Translate(A_8, d_1) → M_{16}
530. Translate(B_8, d_1) → N_{16}
531. Translate(C_8, d_1) → O_{16}
532. Translate(P_7, v) → P_{16}
533. Translate(Q_7, v) → Q_{16}
534. Translate(R_7, v) → R_{16}
535. Translate(S_7, v) → S_{16}
536. Translate(T_7, v) → T_{16}
537. Translate(U_7, v) → U_{16}
538. Translate(V_7, v) → V_{16}
539. Translate(W_7, v) → W_{16}
540. Translate(Z_7, v) → Z_{16}
541. Translate(A_8, v) → A_{17}
542. Translate(B_8, v) → B_{17}
543. Translate(C_8, v) → C_{17}
544. Translate(D_9, v) → D_{17}
545. Translate(E_9, v) → E_{17}
546. Translate(F_9, v) → F_{17}
547. Translate(G_9, v) → G_{17}
548. Translate(H_9, v) → H_{17}
549. Translate(I_9, v) → I_{17}
550. Translate(J_9, v) → J_{17}
551. Translate(K_9, v) → K_{17}
552. Translate(L_9, v) → L_{17}
553. Translate(M_9, v) → M_{17}
554. Translate(N_9, v) → N_{17}
555. Translate(O_9, v) → O_{17}
556. Translate(P_9, v) → P_{17}
557. Translate(Q_9, v) → Q_{17}
558. Translate(R_9, v) → R_{17}
559. Translate(S_9, v) → S_{17}
560. Translate(T_9, v) → T_{17}
561. Translate(U_9, v) → U_{17}
562. Translate(V_9, v) → V_{17}
563. Translate(W_9, v) → W_{17}
564. Translate(Z_9, v) → Z_{17}
565. Translate(A_{10}, v) → A_{18}
566. Translate(B_{10}, v) → B_{18}
567. Translate(C_{10}, v) → C_{18}