4.4 p1 Escher128 Gallos 数学构造范例

GeoGebra 命令及参数

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