4.22 p4g 阿尔罕布拉骨

GeoGebra 命令及参数

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