黄金飞镖：几何与三角函数的综合应用

GeoGebra 命令及参数

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