埃舍尔风格独角兽

GeoGebra 命令及参数

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