平移镶嵌10

GeoGebra 命令及参数

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