4.20 p4m 阿尔罕布拉菱形

GeoGebra 命令及参数

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