第十一步

GeoGebra 命令及参数

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