Construct an Angle

GeoGebra Commands & Parameters

1. Intersect(xAxis, yAxis) → A
2. Point(xAxis) → B
3. Circle(A, B) → c
4. Point(c) → D
5. Segment(A, D) → i
6. OrthogonalLine(A, i) → k
7. Intersect(c, k, 2) → F
8. Intersect(c, k, 1) → G
9. Segment(F, G) → l
10. Intersect(c, l, 1) → I
11. Intersect(c, i, 1) → J
12. Intersect(c, l, 2) → L
13. OrthogonalLine(A, l) → f
14. Rotate(F, 30°, A) → F'
15. Angle(F, A, F') → α
16. Line(F', A) → j
17. Rotate(F', 30°, A) → F''
18. Angle(F', A, F'') → β
19. Line(F'', A) → m
20. Rotate(F, 10°, A) → F'_{1}
21. Angle(F, A, F'_{1}) → γ
22. Rotate(F'_{1}, 10°, A) → E
23. Angle(F'_{1}, A, E) → δ
24. Rotate(F', 10°, A) → F''_{1}
25. Angle(F', A, F''_{1}) → ε
26. Rotate(F''_{1}, 10°, A) → H
27. Angle(F''_{1}, A, H) → ζ
28. Rotate(F'', 10°, A) → F'''
29. Angle(F'', A, F''') → η
30. Rotate(F''', 10°, A) → K
31. Angle(F''', A, K) → θ
32. Line(F'_{1}, A) → n
33. Line(E, A) → p
34. Line(F''_{1}, A) → q
35. Line(H, A) → r
36. Line(F''', A) → s
37. Line(K, A) → t
38. Rotate(F, 1°, A) → F'_{2}
39. Angle(F, A, F'_{2}) → ι
40. Line(A, F'_{2}) → a
41. Rotate(F'_{2}, 1°, A) → M
42. Angle(F'_{2}, A, M) → κ
43. Rotate(M, 1°, A) → M'
44. Angle(M, A, M') → λ
45. Rotate(M', 1°, A) → M''
46. Angle(M', A, M'') → μ
47. Rotate(M'', 1°, A) → M'''
48. Angle(M'', A, M''') → ν
49. Rotate(M''', 1°, A) → N
50. Angle(M''', A, N) → ξ
51. Rotate(N, 1°, A) → N'
52. Angle(N, A, N') → ο
53. Rotate(N', 1°, A) → N''
54. Angle(N', A, N'') → ρ
55. Rotate(N'', 1°, A) → N'''
56. Angle(N'', A, N''') → σ
57. Rotate(F'_{1}, 1°, A) → O
58. Angle(F'_{1}, A, O) → τ
59. Rotate(O, 1°, A) → O'
60. Angle(O, A, O') → υ
61. Rotate(O', 1°, A) → O''
62. Angle(O', A, O'') → ϕ
63. Rotate(O'', 1°, A) → O'''
64. Angle(O'', A, O''') → χ
65. Rotate(O''', 1°, A) → P
66. Angle(O''', A, P) → ψ
67. Rotate(P, 1°, A) → P'
68. Angle(P, A, P') → ω
69. Rotate(P', 1°, A) → P''
70. Angle(P', A, P'') → α_1
71. Rotate(P'', 1°, A) → P'''
72. Angle(P'', A, P''') → β_1
73. Rotate(P''', 1°, A) → Q
74. Angle(P''', A, Q) → γ_1
75. Rotate(E, 1°, A) → E'
76. Angle(E, A, E') → δ_1
77. Rotate(E', 1°, A) → E''
78. Angle(E', A, E'') → ε_1
79. Rotate(E'', 1°, A) → E'''
80. Angle(E'', A, E''') → ζ_1
81. Rotate(E''', 1°, A) → R
82. Angle(E''', A, R) → η_1
83. Rotate(R, 1°, A) → R'
84. Angle(R, A, R') → θ_1
85. Rotate(R', 1°, A) → R''
86. Angle(R', A, R'') → ι_1
87. Rotate(R'', 1°, A) → R'''
88. Angle(R'', A, R''') → κ_1
89. Rotate(R''', 1°, A) → S
90. Angle(R''', A, S) → λ_1
91. Rotate(S, 1°, A) → S'
92. Angle(S, A, S') → μ_1
93. Rotate(F', 1°, A) → F''_{2}
94. Angle(F', A, F''_{2}) → ν_1
95. Rotate(F''_{2}, 1°, A) → T
96. Angle(F''_{2}, A, T) → ξ_1
97. Rotate(T, 1°, A) → T'
98. Angle(T, A, T') → ο_1
99. Rotate(T', 1°, A) → T''
100. Angle(T', A, T'') → ρ_1
101. Rotate(T'', 1°, A) → T'''
102. Angle(T'', A, T''') → σ_1
103. Rotate(T''', 1°, A) → U
104. Angle(T''', A, U) → τ_1
105. Rotate(U, 1°, A) → U'
106. Angle(U, A, U') → υ_1
107. Rotate(U', 1°, A) → U''
108. Angle(U', A, U'') → ϕ_1
109. Rotate(U'', 1°, A) → U'''
110. Angle(U'', A, U''') → χ_1
111. Rotate(F''_{1}, 1°, A) → V
112. Angle(F''_{1}, A, V) → ψ_1
113. Rotate(V, 1°, A) → V'
114. Angle(V, A, V') → ω_1
115. Rotate(V', 1°, A) → V''
116. Angle(V', A, V'') → α_2
117. Rotate(V'', 1°, A) → V'''
118. Angle(V'', A, V''') → β_2
119. Rotate(V''', 1°, A) → W
120. Angle(V''', A, W) → γ_2
121. Rotate(W, 1°, A) → W'
122. Angle(W, A, W') → δ_2
123. Rotate(W', 1°, A) → W''
124. Angle(W', A, W'') → ε_2
125. Rotate(W'', 1°, A) → W'''
126. Angle(W'', A, W''') → ζ_2
127. Rotate(W''', 1°, A) → Z
128. Angle(W''', A, Z) → η_2
129. Rotate(H, 1°, A) → H'
130. Angle(H, A, H') → ι_2
131. Rotate(H', 1°, A) → H''
132. Angle(H', A, H'') → κ_2
133. Rotate(H'', 1°, A) → H'''
134. Angle(H'', A, H''') → λ_2
135. Rotate(H''', 1°, A) → A_1
136. Angle(H''', A, A_1) → μ_2
137. Rotate(A_1, 1°, A) → B_1
138. Angle(A_1, A, B_1) → ν_2
139. Rotate(B_1, 1°, A) → C_1
140. Angle(B_1, A, C_1) → ξ_2
141. Rotate(C_1, 1°, A) → D_1
142. Angle(C_1, A, D_1) → ο_2
143. Rotate(D_1, 1°, A) → E_1
144. Angle(D_1, A, E_1) → ρ_2
145. Rotate(E_1, 1°, A) → F_1
146. Angle(E_1, A, F_1) → σ_2
147. Rotate(F'', 1°, A) → F'''_{1}
148. Angle(F'', A, F'''_{1}) → τ_2
149. Rotate(F'''_{1}, 1°, A) → G_1
150. Angle(F'''_{1}, A, G_1) → υ_2
151. Rotate(G_1, 1°, A) → H_1
152. Angle(G_1, A, H_1) → ϕ_2
153. Rotate(H_1, 1°, A) → I_1
154. Angle(H_1, A, I_1) → χ_2
155. Rotate(I_1, 1°, A) → J_1
156. Angle(I_1, A, J_1) → ψ_2
157. Rotate(J_1, 1°, A) → K_1
158. Angle(J_1, A, K_1) → ω_2
159. Rotate(K_1, 1°, A) → L_1
160. Angle(K_1, A, L_1) → α_3
161. Rotate(L_1, 1°, A) → M_1
162. Angle(L_1, A, M_1) → β_3
163. Rotate(M_1, 1°, A) → N_1
164. Angle(M_1, A, N_1) → γ_3
165. Rotate(F''', 1°, A) → O_1
166. Angle(F''', A, O_1) → δ_3
167. Rotate(O_1, 1°, A) → P_1
168. Angle(O_1, A, P_1) → ε_3
169. Rotate(P_1, 1°, A) → Q_1
170. Angle(P_1, A, Q_1) → ζ_3
171. Rotate(Q_1, 1°, A) → R_1
172. Angle(Q_1, A, R_1) → η_3
173. Rotate(R_1, 1°, A) → S_1
174. Angle(R_1, A, S_1) → θ_3
175. Rotate(S_1, 1°, A) → T_1
176. Angle(S_1, A, T_1) → ι_3
177. Rotate(T_1, 1°, A) → U_1
178. Angle(T_1, A, U_1) → κ_3
179. Rotate(U_1, 1°, A) → V_1
180. Angle(U_1, A, V_1) → λ_3
181. Rotate(V_1, 1°, A) → W_1
182. Angle(V_1, A, W_1) → μ_3
183. Rotate(K, 1°, A) → K'
184. Angle(K, A, K') → ν_3
185. Rotate(K', 1°, A) → K''
186. Angle(K', A, K'') → ξ_3
187. Rotate(K'', 1°, A) → K'''
188. Angle(K'', A, K''') → ο_3
189. Rotate(K''', 1°, A) → Z_1
190. Angle(K''', A, Z_1) → ρ_3
191. Rotate(Z_1, 1°, A) → A_2
192. Angle(Z_1, A, A_2) → σ_3
193. Rotate(A_2, 1°, A) → B_2
194. Angle(A_2, A, B_2) → τ_3
195. Rotate(B_2, 1°, A) → C_2
196. Angle(B_2, A, C_2) → υ_3
197. Rotate(C_2, 1°, A) → D_2
198. Angle(C_2, A, D_2) → ϕ_3
199. Rotate(D_2, 1°, A) → E_2
200. Angle(D_2, A, E_2) → χ_3
201. Rotate(E_2, 1°, A) → F_2
202. Angle(E_2, A, F_2) → ψ_3
203. Line(M, A) → d
204. Line(M'', A) → e
205. Line(M', A) → f_1
206. Line(M''', A) → g_1
207. Line(N, A) → h_1
208. Line(N', A) → i_1
209. Line(N'', A) → j_1
210. Line(O', A) → k_1
211. Line(N''', A) → l_1
212. Line(O, A) → m_1
213. Line(O'', A) → n_1
214. Line(O''', A) → p_1
215. Line(P, A) → q_1
216. Line(P', A) → r_1
217. Line(P'', A) → s_1
218. Line(P''', A) → t_1
219. Line(Q, A) → a_1
220. Line(E', A) → b_1
221. Line(E'', A) → c_1
222. Line(E''', A) → d_1
223. Line(R, A) → e_1
224. Line(R', A) → f_2
225. Line(R'', A) → g_2
226. Line(R''', A) → h_2
227. Line(S, A) → i_2
228. Line(S', A) → j_2
229. Line(F''_{2}, A) → k_2
230. Line(T', A) → l_2
231. Line(T, A) → m_2
232. Line(T'', A) → n_2
233. Line(T''', A) → p_2
234. Line(U, A) → q_2
235. Line(U', A) → r_2
236. Line(U'', A) → s_2
237. Line(U''', A) → t_2
238. Line(V, A) → a_2
239. Line(V', A) → b_2
240. Line(V'', A) → c_2
241. Line(V''', A) → d_2
242. Line(W, A) → e_2
243. Line(W', A) → f_3
244. Line(W'', A) → g_3
245. Line(W''', A) → h_3
246. Line(Z, A) → i_3
247. Line(H', A) → j_3
248. Line(H'', A) → k_3
249. Line(H''', A) → l_3
250. Line(A_1, A) → m_3
251. Line(B_1, A) → n_3
252. Line(C_1, A) → p_3
253. Line(D_1, A) → q_3
254. Line(E_1, A) → r_3
255. Line(F_1, A) → s_3
256. Line(F'''_{1}, A) → t_3
257. Line(G_1, A) → a_3
258. Line(H_1, A) → b_3
259. Line(I_1, A) → c_3
260. Line(J_1, A) → d_3
261. Line(K_1, A) → e_3
262. Line(L_1, A) → f_4
263. Line(M_1, A) → g_4
264. Line(N_1, A) → h_4
265. Line(O_1, A) → i_4
266. Line(P_1, A) → j_4
267. Line(Q_1, A) → k_4
268. Line(R_1, A) → l_4
269. Line(S_1, A) → m_4
270. Line(T_1, A) → n_4
271. Line(U_1, A) → p_4
272. Line(V_1, A) → q_4
273. Line(W_1, A) → r_4
274. Line(K', A) → s_4
275. Line(K'', A) → t_4
276. Line(K''', A) → a_4
277. Line(Z_1, A) → b_4
278. Line(A_2, A) → c_4
279. Line(B_2, A) → d_4
280. Line(C_2, A) → e_4
281. Line(D_2, A) → f_5
282. Line(E_2, A) → g_5
283. Rotate(F, -30°, A) → F'_{3}
284. Angle(F'_{3}, A, F) → ω_3
285. Rotate(F'_{3}, -30°, A) → G_2
286. Angle(G_2, A, F'_{3}) → α_4
287. Rotate(F, -10°, A) → F'_{4}
288. Angle(F'_{4}, A, F) → β_4
289. Rotate(F'_{4}, -10°, A) → H_2
290. Angle(H_2, A, F'_{4}) → γ_4
291. Rotate(F'_{3}, -10°, A) → I_2
292. Angle(I_2, A, F'_{3}) → δ_4
293. Rotate(I_2, -10°, A) → J_2
294. Angle(J_2, A, I_2) → ε_4
295. Rotate(G_2, -10°, A) → K_2
296. Angle(K_2, A, G_2) → ζ_4
297. Rotate(K_2, -10°, A) → L_2
298. Angle(L_2, A, K_2) → η_4
299. Rotate(D, 1°, A) → D'
300. Angle(D, A, D') → θ_4
301. Rotate(D', 1°, A) → D''
302. Angle(D', A, D'') → ι_4
303. Rotate(D'', 1°, A) → D'''
304. Angle(D'', A, D''') → κ_4
305. Rotate(D''', 1°, A) → M_2
306. Angle(D''', A, M_2) → λ_4
307. Rotate(M_2, 1°, A) → N_2
308. Angle(M_2, A, N_2) → μ_4
309. Rotate(N_2, 1°, A) → O_2
310. Angle(N_2, A, O_2) → ν_4
311. Rotate(O_2, 1°, A) → P_2
312. Angle(O_2, A, P_2) → ξ_4
313. Rotate(P_2, 1°, A) → Q_2
314. Angle(P_2, A, Q_2) → ο_4
315. Rotate(Q_2, 1°, A) → R_2
316. Angle(Q_2, A, R_2) → ρ_4
317. Rotate(L_2, 1°, A) → S_2
318. Angle(L_2, A, S_2) → σ_4
319. Rotate(S_2, 1°, A) → T_2
320. Angle(S_2, A, T_2) → τ_4
321. Rotate(T_2, 1°, A) → U_2
322. Angle(T_2, A, U_2) → υ_4
323. Rotate(U_2, 1°, A) → V_2
324. Angle(U_2, A, V_2) → ϕ_4
325. Rotate(V_2, 1°, A) → W_2
326. Angle(V_2, A, W_2) → χ_4
327. Rotate(W_2, 1°, A) → Z_2
328. Angle(W_2, A, Z_2) → ψ_4
329. Rotate(Z_2, 1°, A) → A_3
330. Angle(Z_2, A, A_3) → ω_4
331. Rotate(A_3, 1°, A) → B_3
332. Angle(A_3, A, B_3) → α_5
333. Rotate(B_3, 1°, A) → C_3
334. Angle(B_3, A, C_3) → β_5
335. Rotate(K_2, 1°, A) → D_3
336. Angle(K_2, A, D_3) → γ_5
337. Rotate(D_3, 1°, A) → E_3
338. Angle(D_3, A, E_3) → δ_5
339. Rotate(E_3, 1°, A) → F_3
340. Angle(E_3, A, F_3) → ε_5
341. Rotate(F_3, 1°, A) → G_3
342. Angle(F_3, A, G_3) → ζ_5
343. Rotate(G_3, 1°, A) → H_3
344. Angle(G_3, A, H_3) → η_5
345. Rotate(H_3, 1°, A) → I_3
346. Angle(H_3, A, I_3) → θ_5
347. Rotate(I_3, 1°, A) → J_3
348. Angle(I_3, A, J_3) → ι_5
349. Rotate(J_3, 1°, A) → K_3
350. Angle(J_3, A, K_3) → κ_5
351. Rotate(G_2, 1°, A) → L_3
352. Angle(G_2, A, L_3) → λ_5
353. Rotate(K_3, 1°, A) → M_3
354. Angle(K_3, A, M_3) → μ_5
355. Rotate(L_3, 1°, A) → N_3
356. Angle(L_3, A, N_3) → ν_5
357. Rotate(N_3, 1°, A) → O_3
358. Angle(N_3, A, O_3) → ξ_5
359. Rotate(O_3, 1°, A) → P_3
360. Angle(O_3, A, P_3) → ο_5
361. Rotate(P_3, 1°, A) → Q_3
362. Angle(P_3, A, Q_3) → ρ_5
363. Rotate(Q_3, 1°, A) → R_3
364. Angle(Q_3, A, R_3) → σ_5
365. Rotate(R_3, 1°, A) → S_3
366. Angle(R_3, A, S_3) → τ_5
367. Rotate(S_3, 1°, A) → T_3
368. Angle(S_3, A, T_3) → υ_5
369. Rotate(T_3, 1°, A) → U_3
370. Angle(T_3, A, U_3) → ϕ_5
371. Rotate(J_2, 1°, A) → V_3
372. Angle(J_2, A, V_3) → χ_5
373. Line(G_2, A) → h_5
374. Line(F'_{3}, A) → i_5
375. Rotate(V_3, 1°, A) → W_3
376. Angle(V_3, A, W_3) → ψ_5
377. Rotate(W_3, 1°, A) → Z_3
378. Angle(W_3, A, Z_3) → ω_5
379. Rotate(Z_3, 1°, A) → A_4
380. Angle(Z_3, A, A_4) → α_6
381. Rotate(A_4, 1°, A) → B_4
382. Angle(A_4, A, B_4) → β_6
383. Rotate(B_4, 1°, A) → C_4
384. Angle(B_4, A, C_4) → γ_6
385. Rotate(C_4, 1°, A) → D_4
386. Angle(C_4, A, D_4) → δ_6
387. Rotate(D_4, 1°, A) → E_4
388. Angle(D_4, A, E_4) → ε_6
389. Rotate(E_4, 1°, A) → F_4
390. Angle(E_4, A, F_4) → ζ_6
391. Rotate(I_2, 1°, A) → G_4
392. Angle(I_2, A, G_4) → η_6
393. Rotate(G_4, 1°, A) → H_4
394. Angle(G_4, A, H_4) → θ_6
395. Rotate(H_4, 1°, A) → I_4
396. Angle(H_4, A, I_4) → ι_6
397. Rotate(I_4, 1°, A) → J_4
398. Angle(I_4, A, J_4) → κ_6
399. Rotate(J_4, 1°, A) → K_4
400. Angle(J_4, A, K_4) → λ_6
401. Rotate(K_4, 1°, A) → L_4
402. Angle(K_4, A, L_4) → μ_6
403. Rotate(L_4, 1°, A) → M_4
404. Angle(L_4, A, M_4) → ν_6
405. Rotate(M_4, 1°, A) → N_4
406. Angle(M_4, A, N_4) → ξ_6
407. Rotate(N_4, 1°, A) → O_4
408. Angle(N_4, A, O_4) → ο_6
409. Rotate(F'_{3}, 1°, A) → P_4
410. Angle(F'_{3}, A, P_4) → ρ_6
411. Rotate(P_4, 1°, A) → Q_4
412. Angle(P_4, A, Q_4) → σ_6
413. Rotate(Q_4, 1°, A) → R_4
414. Angle(Q_4, A, R_4) → τ_6
415. Rotate(R_4, 1°, A) → S_4
416. Angle(R_4, A, S_4) → υ_6
417. Rotate(S_4, 1°, A) → T_4
418. Angle(S_4, A, T_4) → ϕ_6
419. Rotate(T_4, 1°, A) → U_4
420. Angle(T_4, A, U_4) → χ_6
421. Rotate(U_4, 1°, A) → V_4
422. Angle(U_4, A, V_4) → ψ_6
423. Rotate(V_4, 1°, A) → W_4
424. Angle(V_4, A, W_4) → ω_6
425. Rotate(W_4, 1°, A) → Z_4
426. Angle(W_4, A, Z_4) → α_7
427. Rotate(H_2, 1°, A) → A_5
428. Angle(H_2, A, A_5) → β_7
429. Rotate(A_5, 1°, A) → B_5
430. Angle(A_5, A, B_5) → γ_7
431. Rotate(B_5, 1°, A) → C_5
432. Angle(B_5, A, C_5) → δ_7
433. Rotate(C_5, 1°, A) → D_5
434. Angle(C_5, A, D_5) → ε_7
435. Rotate(D_5, 1°, A) → E_5
436. Angle(D_5, A, E_5) → ζ_7
437. Rotate(E_5, 1°, A) → F_5
438. Angle(E_5, A, F_5) → η_7
439. Rotate(F_5, 1°, A) → G_5
440. Angle(F_5, A, G_5) → θ_7
441. Rotate(G_5, 1°, A) → H_5
442. Angle(G_5, A, H_5) → ι_7
443. Rotate(H_5, 1°, A) → I_5
444. Angle(H_5, A, I_5) → κ_7
445. Rotate(F'_{4}, 1°, A) → J_5
446. Angle(F'_{4}, A, J_5) → λ_7
447. Rotate(J_5, 1°, A) → K_5
448. Angle(J_5, A, K_5) → μ_7
449. Rotate(K_5, 1°, A) → L_5
450. Angle(K_5, A, L_5) → ν_7
451. Rotate(L_5, 1°, A) → M_5
452. Angle(L_5, A, M_5) → ξ_7
453. Rotate(M_5, 1°, A) → N_5
454. Angle(M_5, A, N_5) → ο_7
455. Rotate(N_5, 1°, A) → O_5
456. Angle(N_5, A, O_5) → ρ_7
457. Rotate(O_5, 1°, A) → P_5
458. Angle(O_5, A, P_5) → σ_7
459. Rotate(P_5, 1°, A) → Q_5
460. Angle(P_5, A, Q_5) → τ_7
461. Rotate(Q_5, 1°, A) → R_5
462. Angle(Q_5, A, R_5) → υ_7
463. Line(Q_5, A) → j_5
464. Line(R_5, A) → k_5
465. Line(P_5, A) → l_5
466. Line(N_5, A) → m_5
467. Line(O_5, A) → n_5
468. Line(M_5, A) → p_5
469. Line(L_5, A) → q_5
470. Line(K_5, A) → r_5
471. Line(J_5, A) → s_5
472. Line(F'_{4}, A) → t_5
473. Line(I_5, A) → a_5
474. Line(H_5, A) → b_5
475. Line(G_5, A) → c_5
476. Line(F_5, A) → d_5
477. Line(E_5, A) → e_5
478. Line(D_5, A) → f_6
479. Line(C_5, A) → g_6
480. Line(B_5, A) → h_6
481. Line(A_5, A) → i_6
482. Line(H_2, A) → j_6
483. Line(W_4, A) → k_6
484. Line(Z_4, A) → l_6
485. Line(V_4, A) → m_6
486. Line(U_4, A) → n_6
487. Line(T_4, A) → p_6
488. Line(R_4, A) → q_6
489. Line(S_4, A) → r_6
490. Line(Q_4, A) → s_6
491. Line(P_4, A) → t_6
492. Line(N_4, A) → a_6
493. Line(O_4, A) → b_6
494. Line(M_4, A) → c_6
495. Line(L_4, A) → d_6
496. Line(K_4, A) → e_6
497. Line(J_4, A) → f_7
498. Line(I_4, A) → g_7
499. Line(H_4, A) → h_7
500. Line(G_4, A) → i_7
501. Line(I_2, A) → j_7
502. Line(F_4, A) → k_7
503. Line(E_4, A) → l_7
504. Line(D_4, A) → m_7
505. Line(C_4, A) → n_7
506. Line(B_4, A) → p_7
507. Line(A_4, A) → q_7
508. Line(Z_3, A) → r_7
509. Line(W_3, A) → s_7
510. Line(V_3, A) → t_7
511. Line(J_2, A) → a_7
512. Line(U_3, A) → b_7
513. Line(T_3, A) → c_7
514. Line(S_3, A) → d_7
515. Line(R_3, A) → e_7
516. Line(Q_3, A) → f_8
517. Line(P_3, A) → g_8
518. Line(N_3, A) → h_8
519. Line(O_3, A) → i_8
520. Line(L_3, A) → j_8
521. Line(M_3, A) → k_8
522. Line(K_3, A) → l_8
523. Line(I_3, A) → m_8
524. Line(J_3, A) → n_8
525. Line(H_3, A) → p_8
526. Line(G_3, A) → q_8
527. Line(F_3, A) → r_8
528. Line(E_3, A) → s_8
529. Line(D_3, A) → t_8
530. Line(K_2, A) → a_8
531. Line(C_3, A) → b_8
532. Line(B_3, A) → c_8
533. Line(A_3, A) → d_8
534. Line(Z_2, A) → e_8
535. Line(V_2, A) → f_9
536. Line(W_2, A) → g_9
537. Line(T_2, A) → h_9
538. Line(U_2, A) → i_9
539. Line(S_2, A) → j_9
540. Line(L_2, A) → k_9
541. Line(Q_2, A) → l_9
542. Line(R_2, A) → m_9
543. Line(P_2, A) → n_9
544. Line(O_2, A) → p_9
545. Line(N_2, A) → q_9
546. Line(M_2, A) → r_9
547. Line(D''', A) → s_9
548. Line(D'', A) → t_9
549. Line(D', A) → a_9
550. Intersect(c, a_9) → S_5, T_5
551. Intersect(c, t_9) → U_5, V_5
552. Intersect(c, s_9) → W_5, Z_5
553. Intersect(c, r_9) → A_6, B_6
554. Intersect(c, q_9, 2) → C_6
555. Intersect(c, p_9, 2) → D_6
556. Intersect(c, n_9) → E_6, F_6
557. Intersect(c, l_9, 2) → G_6
558. Intersect(c, m_9) → H_6, I_6
559. Intersect(c, k_9, 2) → J_6
560. Intersect(c, j_9) → K_6, L_6
561. Intersect(c, h_9, 2) → M_6
562. Intersect(c, i_9, 2) → N_6
563. Intersect(c, f_9, 2) → O_6
564. Intersect(c, g_9) → P_6, Q_6
565. Intersect(c, e_8, 2) → R_6
566. Intersect(c, d_8) → S_6, T_6
567. Intersect(c, c_8, 2) → U_6
568. Intersect(c, b_8, 2) → V_6
569. Intersect(c, a_8, 2) → W_6
570. Intersect(g_9, d_8) → Z_6
571. Intersect(c, t_8) → A_7, B_7
572. Intersect(c, s_8, 2) → C_7
573. Intersect(c, r_8, 2) → D_7
574. Intersect(c, q_8, 2) → E_7
575. Intersect(c, p_8, 2) → F_7
576. Intersect(c, m_8, 2) → G_7
577. Intersect(c, n_8, 2) → H_7
578. Intersect(c, l_8, 2) → I_7
579. Intersect(c, k_8, 2) → J_7
580. Intersect(c, h_5, 2) → K_7
581. Intersect(c, j_8, 2) → L_7
582. Intersect(c, h_8, 2) → M_7
583. Intersect(c, i_8, 2) → N_7
584. Intersect(c, g_8, 2) → O_7
585. Intersect(c, f_8, 2) → P_7
586. Intersect(c, e_7, 2) → Q_7
587. Intersect(c, d_7, 2) → R_7
588. Intersect(c, c_7, 2) → S_7
589. Intersect(c, b_7) → T_7, U_7
590. Intersect(c, a_7) → V_7, W_7
591. Intersect(c, t_7) → Z_7, A_8
592. Intersect(c, s_7, 2) → B_8
593. Intersect(c, r_7, 2) → C_8
594. Intersect(c, q_7, 2) → D_8
595. Intersect(c, p_7, 2) → E_8
596. Intersect(c, n_7, 2) → F_8
597. Intersect(c, m_7, 2) → G_8
598. Intersect(c, l_7, 2) → H_8
599. Intersect(c, k_7) → I_8, J_8
600. Intersect(c, j_7, 2) → K_8
601. Intersect(c, i_7, 2) → L_8
602. Intersect(c, h_7, 2) → M_8
603. Intersect(c, g_7, 2) → N_8
604. Intersect(c, f_7, 2) → O_8
605. Intersect(c, e_6, 2) → P_8
606. Intersect(c, d_6, 2) → Q_8
607. Intersect(c, c_6, 2) → R_8
608. Intersect(c, a_6, 2) → S_8
609. Intersect(c, b_6, 2) → T_8
610. Intersect(c, i_5, 2) → U_8
611. Intersect(c, t_6, 2) → V_8
612. Intersect(c, s_6, 2) → W_8
613. Intersect(c, q_6, 2) → Z_8
614. Intersect(c, r_6, 2) → A_9
615. Intersect(c, p_6, 2) → B_9
616. Intersect(c, n_6, 2) → C_9
617. Intersect(c, m_6, 2) → D_9
618. Intersect(c, k_6, 2) → E_9
619. Intersect(c, l_6, 2) → F_9
620. Intersect(c, j_6) → G_9, H_9
621. Intersect(c, i_6, 2) → I_9
622. Intersect(c, h_6) → J_9, K_9
623. Intersect(c, g_6, 2) → L_9
624. Intersect(c, f_6, 2) → M_9
625. Intersect(c, e_5, 2) → N_9
626. Intersect(c, d_5, 2) → O_9
627. Intersect(c, c_5, 2) → P_9
628. Intersect(c, b_5) → Q_9, R_9
629. Intersect(c, a_5) → S_9, T_9
630. Intersect(c, t_5, 2) → U_9
631. Intersect(c, t_5, 2) → V_9
632. Intersect(c, s_5, 2) → W_9
633. Intersect(c, r_5, 2) → Z_9
634. Intersect(c, q_5) → A_{10}, B_{10}
635. Intersect(c, p_5, 2) → C_{10}
636. Intersect(c, m_5, 2) → D_{10}
637. Intersect(c, n_5, 2) → E_{10}
638. Intersect(c, l_5, 2) → F_{10}
639. Intersect(c, j_5) → G_{10}, H_{10}
640. Intersect(c, k_5, 2) → I_{10}
641. Intersect(c, a, 1) → J_{10}
642. Intersect(c, d, 2) → K_{10}
643. Intersect(c, f_1, 2) → L_{10}
644. Intersect(c, e) → M_{10}, N_{10}
645. Intersect(c, g_1) → O_{10}, P_{10}
646. Intersect(c, h_1, 2) → Q_{10}
647. Intersect(a, i_1) → R_{10}
648. Intersect(c, i_1) → S_{10}, T_{10}
649. Intersect(c, j_1) → U_{10}, V_{10}
650. Intersect(c, l_1, 2) → W_{10}
651. Intersect(c, l_1, 2) → Z_{10}
652. Intersect(c, n) → A_{11}, B_{11}
653. Intersect(c, m_1) → C_{11}, D_{11}
654. Intersect(c, k_1, 2) → E_{11}
655. Intersect(c, n_1, 2) → F_{11}
656. Intersect(c, p_1, 2) → G_{11}
657. Intersect(c, q_1) → H_{11}, I_{11}
658. Intersect(c, r_1, 2) → J_{11}
659. Intersect(c, s_1, 2) → K_{11}
660. Intersect(c, t_1) → L_{11}, M_{11}
661. Intersect(c, a_1, 2) → N_{11}
662. Intersect(c, p, 2) → O_{11}
663. Intersect(c, b_1, 2) → P_{11}
664. Intersect(c, c_1, 2) → Q_{11}
665. Intersect(c, d_1, 2) → R_{11}
666. Intersect(c, e_1) → S_{11}, T_{11}
667. Intersect(c, f_2, 2) → U_{11}
668. Intersect(c, g_2, 2) → V_{11}
669. Intersect(c, h_2, 2) → W_{11}
670. Intersect(c, i_2, 2) → Z_{11}
671. Intersect(c, j_2, 2) → A_{12}
672. Intersect(c, j) → B_{12}, C_{12}
673. Intersect(c, k_2, 2) → D_{12}
674. Intersect(c, m_2, 2) → E_{12}
675. Intersect(c, l_2) → F_{12}, G_{12}
676. Intersect(c, n_2, 2) → H_{12}
677. Intersect(c, p_2, 2) → I_{12}
678. Intersect(c, q_2, 2) → J_{12}
679. Intersect(c, r_2, 2) → K_{12}
680. Intersect(c, s_2, 2) → L_{12}
681. Intersect(c, t_2, 2) → M_{12}
682. Intersect(c, q, 2) → N_{12}
683. Intersect(c, a_2, 2) → O_{12}
684. Intersect(c, b_2, 2) → P_{12}
685. Intersect(c, c_2, 2) → Q_{12}
686. Intersect(c, d_2, 2) → R_{12}
687. Intersect(c, e_2, 2) → S_{12}
688. Intersect(c, f_3, 2) → T_{12}
689. Intersect(c, g_3, 2) → U_{12}
690. Intersect(c, h_3, 2) → V_{12}
691. Intersect(c, i_3) → W_{12}, Z_{12}
692. Intersect(c, r, 2) → A_{13}
693. Intersect(c, j_3) → B_{13}, C_{13}
694. Intersect(c, k_3, 2) → D_{13}
695. Intersect(c, l_3, 2) → E_{13}
696. Intersect(c, m_3, 2) → F_{13}
697. Intersect(c, n_3) → G_{13}, H_{13}
698. Intersect(c, p_3, 2) → I_{13}
699. Intersect(c, q_3, 2) → J_{13}
700. Intersect(c, r_3, 2) → K_{13}
701. Intersect(c, s_3) → L_{13}, M_{13}
702. Intersect(c, m, 2) → N_{13}
703. Intersect(c, t_3, 2) → O_{13}
704. Intersect(c, a_3, 2) → P_{13}
705. Intersect(c, b_3, 2) → Q_{13}
706. Intersect(c, c_3, 2) → R_{13}
707. Intersect(c, d_3) → S_{13}, T_{13}
708. Intersect(c, e_3, 2) → U_{13}
709. Intersect(c, f_4, 2) → V_{13}
710. Intersect(c, g_4, 2) → W_{13}
711. Intersect(c, h_4) → Z_{13}, A_{14}
712. Intersect(c, s, 2) → B_{14}
713. Intersect(c, i_4, 2) → C_{14}
714. Intersect(c, j_4, 2) → D_{14}
715. Intersect(c, k_4, 2) → E_{14}
716. Intersect(c, l_4, 2) → F_{14}
717. Intersect(c, m_4, 2) → G_{14}
718. Intersect(c, n_4, 2) → H_{14}
719. Intersect(c, p_4, 2) → I_{14}
720. Intersect(c, q_4) → J_{14}, K_{14}
721. Intersect(c, r_4, 2) → L_{14}
722. Intersect(c, t, 2) → M_{14}
723. Intersect(c, s_4, 2) → N_{14}
724. Intersect(c, t_4) → O_{14}, P_{14}
725. Intersect(c, a_4) → Q_{14}, R_{14}
726. Intersect(c, b_4, 2) → S_{14}
727. Intersect(c, c_4, 2) → T_{14}
728. Intersect(c, d_4, 2) → U_{14}
729. Intersect(c, e_4, 2) → V_{14}
730. Intersect(c, f_5, 2) → W_{14}
731. Intersect(c, g_5, 2) → Z_{14}
732. Segment(D', A) → b_9
733. Segment(A, D'') → c_9
734. Segment(D''', A) → d_9
735. Segment(A, M_2) → e_9
736. Segment(A, N_2) → f_{10}
737. Segment(O_2, A) → g_{10}
738. Segment(P_2, A) → h_{10}
739. Segment(A, Q_2) → i_{10}
740. Segment(L_2, A) → j_{10}
741. Segment(A, R_2) → k_{10}
742. Segment(S_2, A) → l_{10}
743. Segment(A, T_2) → m_{10}
744. Segment(U_2, A) → n_{10}
745. Segment(A, V_2) → p_{10}
746. Segment(W_2, A) → q_{10}
747. Segment(A, Z_2) → r_{10}
748. Segment(A_3, A) → s_{10}
749. Segment(A, B_3) → t_{10}
750. Segment(K_2, A) → a_{10}
751. Segment(C_3, A) → b_{10}
752. Segment(A, D_3) → c_{10}
753. Segment(E_3, A) → d_{10}
754. Segment(A, F_3) → e_{10}
755. Segment(G_3, A) → f_{11}
756. Segment(A, H_3) → g_{11}
757. Segment(I_3, A) → h_{11}
758. Segment(A, J_3) → i_{11}
759. Segment(K_3, A) → j_{11}
760. Segment(A, M_3) → k_{11}
761. Segment(L_3, A) → l_{11}
762. Segment(A, N_3) → m_{11}
763. Segment(O_3, A) → n_{11}
764. Segment(P_3, A) → p_{11}
765. Segment(Q_3, A) → q_{11}
766. Segment(A, R_3) → r_{11}
767. Segment(S_3, A) → s_{11}
768. Segment(A, T_3) → t_{11}
769. Segment(J_2, A) → a_{11}
770. Segment(A, U_3) → b_{11}
771. Segment(V_3, A) → c_{11}
772. Segment(A, W_3) → d_{11}
773. Segment(Z_3, A) → e_{11}
774. Segment(A, A_4) → f_{12}
775. Segment(B_4, A) → g_{12}
776. Segment(A, C_4) → h_{12}
777. Segment(D_4, A) → i_{12}
778. Segment(A, E_4) → j_{12}
779. Segment(I_2, A) → k_{12}
780. Segment(A, F_4) → l_{12}
781. Segment(G_4, A) → m_{12}
782. Segment(A, H_4) → n_{12}
783. Segment(I_4, A) → p_{12}
784. Segment(A, J_4) → q_{12}
785. Segment(K_4, A) → r_{12}
786. Segment(A, L_4) → s_{12}
787. Segment(M_4, A) → t_{12}
788. Segment(N_4, A) → a_{12}
789. Segment(A, O_4) → b_{12}
790. Segment(P_4, A) → c_{12}
791. Segment(A, Q_4) → d_{12}
792. Segment(R_4, A) → e_{12}
793. Segment(A, S_4) → f_{13}
794. Segment(T_4, A) → g_{13}
795. Segment(A, U_4) → h_{13}
796. Segment(V_4, A) → i_{13}
797. Segment(A, W_4) → j_{13}
798. Segment(H_2, A) → k_{13}
799. Segment(A, Z_4) → l_{13}
800. Segment(A_5, A) → m_{13}
801. Segment(A, B_5) → n_{13}
802. Segment(C_5, A) → p_{13}
803. Segment(D_5, A) → q_{13}
804. Segment(E_5, A) → r_{13}
805. Segment(F_5, A) → s_{13}
806. Segment(A, G_5) → t_{13}
807. Segment(H_5, A) → a_{13}
808. Segment(A, F'_{4}) → b_{13}
809. Segment(I_5, A) → c_{13}
810. Segment(A, J_5) → d_{13}
811. Segment(K_5, A) → e_{13}
812. Segment(A, L_5) → f_{14}
813. Segment(M_5, A) → g_{14}
814. Segment(A, N_5) → h_{14}
815. Segment(O_5, A) → i_{14}
816. Segment(A, P_5) → j_{14}
817. Segment(Q_5, A) → k_{14}
818. Segment(A, R_5) → l_{14}
819. Segment(A, Z_{14}) → m_{14}
820. Segment(W_{14}, A) → n_{14}
821. Segment(A, V_{14}) → p_{14}
822. Segment(U_{14}, A) → q_{14}
823. Segment(A, T_{14}) → r_{14}
824. Segment(S_{14}, A) → s_{14}
825. Segment(A, R_{14}) → t_{14}
826. Segment(N_{14}, A) → a_{14}
827. Segment(A, P_{14}) → b_{14}
828. Segment(M_{14}, A) → c_{14}
829. Segment(A, L_{14}) → d_{14}
830. Segment(I_{14}, A) → e_{14}
831. Segment(A, K_{14}) → f_{15}
832. Segment(H_{14}, A) → g_{15}
833. Segment(A, G_{14}) → h_{15}
834. Segment(D_{14}, A) → i_{15}
835. Segment(A, C_{14}) → j_{15}
836. Segment(B_{14}, A) → k_{15}
837. Segment(A, A_{14}) → l_{15}
838. Segment(V_{13}, A) → m_{15}
839. Segment(A, W_{13}) → n_{15}
840. Segment(T_{13}, A) → p_{15}
841. Segment(A, U_{13}) → q_{15}
842. Segment(Q_{13}, A) → r_{15}
843. Segment(R_{13}, A) → s_{15}
844. Segment(O_{13}, A) → t_{15}
845. Segment(A, P_{13}) → a_{15}
846. Segment(A, F_{14}) → b_{15}
847. Segment(A, E_{14}) → c_{15}
848. Segment(K_{13}, A) → d_{15}
849. Segment(A, M_{13}) → e_{15}
850. Segment(I_{13}, A) → f_{16}
851. Segment(A, J_{13}) → g_{16}
852. Segment(F_{13}, A) → h_{16}
853. Segment(A, H_{13}) → i_{16}
854. Segment(D_{13}, A) → j_{16}
855. Segment(E_{13}, A) → k_{16}
856. Segment(A, C_{13}) → l_{16}
857. Segment(Z_{12}, A) → m_{16}
858. Segment(A, A_{13}) → n_{16}
859. Segment(U_{12}, A) → p_{16}
860. Segment(A, V_{12}) → q_{16}
861. Segment(S_{12}, A) → r_{16}
862. Segment(A, T_{12}) → s_{16}
863. Segment(Q_{12}, A) → t_{16}
864. Segment(A, R_{12}) → a_{16}
865. Segment(O_{12}, A) → b_{16}
866. Segment(A, P_{12}) → c_{16}
867. Segment(M_{12}, A) → d_{16}
868. Segment(A, N_{12}) → e_{16}
869. Segment(K_{12}, A) → f_{17}
870. Segment(H_{12}, A) → g_{17}
871. Segment(A, I_{12}) → h_{17}
872. Segment(J_{12}, A) → i_{17}
873. Segment(A, L_{12}) → j_{17}
874. Segment(E_{12}, A) → k_{17}
875. Segment(A, G_{12}) → l_{17}
876. Segment(D_{12}, A) → m_{17}
877. Segment(A, A_{12}) → n_{17}
878. Segment(W_{11}, A) → p_{17}
879. Segment(A, Z_{11}) → q_{17}
880. Segment(V_{11}, A) → s_{17}
881. Segment(A, U_{11}) → t_{17}
882. Segment(R_{11}, A) → a_{17}
883. Segment(A, T_{11}) → b_{17}
884. Segment(P_{11}, A) → c_{17}
885. Segment(A, Q_{11}) → d_{17}
886. Segment(N_{11}, A) → e_{17}
887. Segment(A, O_{11}) → f_{18}
888. Segment(M_{11}, A) → g_{18}
889. Segment(K_{11}, A) → h_{18}
890. Segment(A, J_{11}) → i_{18}
891. Segment(G_{11}, A) → j_{18}
892. Segment(A, I_{11}) → k_{18}
893. Segment(E_{11}, A) → l_{18}
894. Segment(A, F_{11}) → m_{18}
895. Segment(B_{11}, A) → n_{18}
896. Segment(A, D_{11}) → p_{18}
897. Segment(V_{10}, A) → q_{18}
898. Segment(A, W_{10}) → r_{18}
899. Segment(Q_{10}, A) → s_{18}
900. Segment(A, T_{10}) → t_{18}
901. Segment(N_{10}, A) → a_{18}
902. Segment(A, P_{10}) → b_{18}
903. Segment(L_{10}, A) → c_{18}
904. Segment(A, K_{10}) → d_{18}
905. Segment(J_{10}, A) → e_{18}
906. Segment(H_{10}, A) → f_{19}
907. Segment(A, I_{10}) → g_{19}
908. Segment(E_{10}, A) → h_{19}
909. Segment(A, F_{10}) → i_{19}
910. Segment(C_{10}, A) → j_{19}
911. Segment(A, Z_9) → k_{19}
912. Segment(U_9, A) → l_{19}
913. Segment(A, P_9) → m_{19}
914. Segment(R_9, A) → n_{19}
915. Segment(A, T_9) → p_{19}
916. Segment(W_9, A) → q_{19}
917. Segment(A, B_{10}) → r_{19}
918. Segment(D_{10}, A) → s_{19}
919. Segment(A, O_9) → t_{19}
920. Segment(N_9, A) → a_{19}
921. Segment(A, M_9) → b_{19}
922. Segment(K_9, A) → c_{19}
923. Segment(A, L_9) → d_{19}
924. Segment(H_9, A) → e_{19}
925. Segment(A, I_9) → f_{20}
926. Segment(F_9, A) → g_{20}
927. Segment(A, E_9) → h_{20}
928. Segment(C_9, A) → i_{20}
929. Segment(A, D_9) → j_{20}
930. Segment(A_9, A) → k_{20}
931. Segment(A, B_9) → l_{20}
932. Segment(W_8, A) → m_{20}
933. Segment(A, Z_8) → n_{20}
934. Segment(V_8, A) → p_{20}
935. Segment(A, T_8) → q_{20}
936. Segment(R_8, A) → r_{20}
937. Segment(A, S_8) → s_{20}
938. Segment(A, Q_8) → t_{20}
939. Segment(O_8, A) → a_{20}
940. Segment(P_8, A) → b_{20}
941. Segment(A, M_8) → c_{20}
942. Segment(N_8, A) → d_{20}
943. Segment(A, L_8) → e_{20}
944. Segment(K_8, A) → f_{21}
945. Segment(A, J_8) → g_{21}
946. Segment(G_8, A) → h_{21}
947. Segment(A, H_8) → i_{21}
948. Segment(F_8, A) → j_{21}
949. Segment(A, E_8) → k_{21}
950. Segment(D_8, A) → l_{21}
951. Segment(A, C_8) → m_{21}
952. Segment(B_8, A) → n_{21}
953. Segment(A, A_8) → p_{21}
954. Segment(U_7, A) → q_{21}
955. Segment(A, W_7) → r_{21}
956. Segment(S_7, A) → s_{21}
957. Segment(A, R_7) → t_{21}
958. Segment(P_7, A) → a_{21}
959. Segment(A, Q_7) → b_{21}
960. Segment(O_7, A) → c_{21}
961. Segment(A, N_7) → d_{21}
962. Segment(M_7, A) → e_{21}
963. Segment(A, L_7) → f_{22}
964. Segment(I_7, A) → g_{22}
965. Segment(J_7, A) → i_{22}
966. Segment(H_7, A) → h_{22}
967. Segment(F_7, A) → j_{22}
968. Segment(A, E_7) → k_{22}
969. Segment(G_7, A) → l_{22}
970. Segment(A, D_7) → m_{22}
971. Segment(C_7, A) → n_{22}
972. Segment(A, W_6) → p_{22}
973. Segment(B_7, A) → q_{22}
974. Segment(A, U_6) → r_{22}
975. Segment(V_6, A) → s_{22}
976. Segment(A, T_6) → t_{22}
977. Segment(Q_6, A) → a_{22}
978. Segment(A, R_6) → b_{22}
979. Segment(O_6, A) → c_{22}
980. Segment(A, M_6) → d_{22}
981. Segment(N_6, A) → e_{22}
982. Segment(A, L_6) → f_{23}
983. Segment(I_6, A) → g_{23}
984. Segment(A, J_6) → h_{23}
985. Segment(F_6, A) → i_{23}
986. Segment(G_6, A) → j_{23}
987. Segment(A, D_6) → k_{23}
988. Segment(C_6, A) → l_{23}
989. Segment(A, B_6) → m_{23}
990. Segment(V_5, A) → n_{23}
991. Segment(A, Z_5) → p_{23}
992. Segment(T_5, A) → q_{23}
993. Segment(A, E_2) → r_{23}
994. Segment(C_2, A) → s_{23}
995. Segment(A, D_2) → t_{23}
996. Segment(A_2, A) → a_{23}
997. Segment(A, B_2) → b_{23}
998. Segment(K''', A) → c_{23}
999. Segment(Z_1, A) → d_{23}
1000. Segment(A, K') → e_{23}
1001. Segment(K'', A) → f_{24}
1002. Segment(A, K) → g_{24}
1003. Segment(V_1, A) → h_{24}
1004. Segment(A, W_1) → i_{24}
1005. Segment(U_1, A) → j_{24}
1006. Segment(A, T_1) → k_{24}
1007. Segment(R_1, A) → l_{24}
1008. Segment(A, S_1) → m_{24}
1009. Segment(P_1, A) → n_{24}
1010. Segment(A, Q_1) → p_{24}
1011. Segment(O_1, A) → q_{24}
1012. Segment(A, F''') → r_{24}
1013. Segment(M_1, A) → s_{24}
1014. Segment(A, N_1) → t_{24}
1015. Segment(K_1, A) → a_{24}
1016. Segment(L_1, A) → b_{24}
1017. Segment(A, J_1) → c_{24}
1018. Segment(H_1, A) → d_{24}
1019. Segment(A, I_1) → e_{24}
1020. Segment(F'''_{1}, A) → f_{25}
1021. Segment(A, G_1) → g_{25}
1022. Segment(E_1, A) → h_{25}
1023. Segment(A, F_1) → i_{25}
1024. Segment(D_1, A) → j_{25}
1025. Segment(A, B_1) → k_{25}
1026. Segment(C_1, A) → l_{25}
1027. Segment(A, A_1) → m_{25}
1028. Segment(H''', A) → n_{25}
1029. Segment(A, H'') → p_{25}
1030. Segment(H', A) → q_{25}
1031. Segment(A, H) → r_{25}
1032. Segment(W''', A) → s_{25}
1033. Segment(A, Z) → t_{25}
1034. Segment(W'', A) → a_{25}
1035. Segment(A, W') → b_{25}
1036. Segment(W, A) → c_{25}
1037. Segment(A, V''') → d_{25}
1038. Segment(V'', A) → e_{25}
1039. Segment(A, V) → f_{26}
1040. Segment(V', A) → g_{26}
1041. Segment(A, F''_{1}) → h_{26}
1042. Segment(U'', A) → i_{26}
1043. Segment(A, U''') → j_{26}
1044. Segment(U, A) → k_{26}
1045. Segment(A, U') → l_{26}
1046. Segment(T''', A) → m_{26}
1047. Segment(A, T'') → n_{26}
1048. Segment(T', A) → p_{26}
1049. Segment(A, T) → q_{26}
1050. Segment(F''_{2}, A) → r_{26}
1051. Segment(A, S) → s_{26}
1052. Segment(A, S') → t_{26}
1053. Segment(R''', A) → a_{26}
1054. Segment(A, R'') → b_{26}
1055. Segment(R, A) → c_{26}
1056. Segment(A, R') → d_{26}
1057. Segment(E''', A) → e_{26}
1058. Segment(A, E'') → f_{27}
1059. Segment(E', A) → g_{27}
1060. Segment(A, E) → h_{27}
1061. Segment(P''', A) → i_{27}
1062. Segment(A, Q) → j_{27}
1063. Segment(P'', A) → k_{27}
1064. Segment(A, P') → l_{27}
1065. Segment(P, A) → m_{27}
1066. Segment(A, O''') → n_{27}
1067. Segment(O'', A) → p_{27}
1068. Segment(A, O') → q_{27}
1069. Segment(F'_{1}, A) → r_{27}
1070. Segment(A, O) → s_{27}
1071. Segment(A, N''') → a_{27}
1072. Segment(N', A) → b_{27}
1073. Segment(A, N'') → c_{27}
1074. Segment(N, A) → d_{27}
1075. Segment(A, M''') → e_{27}
1076. Segment(M'', A) → f_{28}
1077. Segment(A, M') → g_{28}
1078. Segment(M, A) → h_{28}
1079. Segment(A, F'_{2}) → i_{28}
1080. Segment(F', C_{12}) → j_{28}
1081. Segment(F'', N_{13}) → k_{28}
1082. Segment(G, F) → l_{28}
1083. Segment(F'_{3}, U_8) → m_{28}
1084. Segment(G_2, K_7) → n_{28}
1085. Segment(D, F_2) → p_{28}
1086. Intersect(i, b_9) → B_{15}
1087. Point(i) → C_{15}
1088. Vector(G_{15}, H_{15}) → v
1089. Segment(F_2, D) → t_{27}
1090. Rotate(F_2, 45°, B_{15}) → K_{15}
1091. Angle(F_2, B_{15}, K_{15}) → ψ_7
1092. Rotate(G, 45°, B_{15}) → G'
1093. Angle(G, B_{15}, G') → ω_7
1094. Segment(D, F_2) → b
1095. Rotate(D, 120°, B_{15}) → D'_{1}
1096. Angle(D, B_{15}, D'_{1}) → ϕ_7
1097. Rotate(D'_{1}, 120°, B_{15}) → F_{15}
1098. Angle(D'_{1}, B_{15}, F_{15}) → χ_7
1099. Segment(B_{15}, D'_{1}) → s_{28}
1100. Segment(B_{15}, D) → a_{28}
1101. Segment(B_{15}, F_{15}) → b_{28}
1102. Rotate(D, 60°, B_{15}) → D'_{2}
1103. Angle(D, B_{15}, D'_{2}) → α_8
1104. Rotate(D'_{1}, 60°, B_{15}) → I_{15}
1105. Angle(D'_{1}, B_{15}, I_{15}) → β_8
1106. Rotate(F_{15}, 60°, B_{15}) → J_{15}
1107. Angle(F_{15}, B_{15}, J_{15}) → γ_8
1108. Segment(D, I_{15}) → d_{28}
1109. Segment(D'_{2}, F_{15}) → e_{28}
1110. Segment(D'_{1}, J_{15}) → f_{29}
1111. Rotate(D, 30°, B_{15}) → D'_{3}
1112. Angle(D, B_{15}, D'_{3}) → δ_8
1113. Rotate(D'_{1}, 30°, B_{15}) → L_{15}
1114. Angle(D'_{1}, B_{15}, L_{15}) → ε_8
1115. Rotate(I_{15}, 30°, B_{15}) → M_{15}
1116. Angle(I_{15}, B_{15}, M_{15}) → ζ_8
1117. Rotate(J_{15}, 30°, B_{15}) → N_{15}
1118. Angle(J_{15}, B_{15}, N_{15}) → η_8
1119. Segment(D'_{1}, J_{15}) → j_{29}
1120. Segment(D'_{2}, F_{15}) → k_{29}
1121. Segment(I_{15}, D) → l_{29}
1122. Segment(B_{15}, D) → m_{29}
1123. Circle(B_{15}, 3.5) → g
1124. Circle(B_{15}, 4.5) → h
1125. Point(g) → C
1126. Vector(B_{15}, C) → u
1127. Point(h) → A_{15}
1128. Vector(B_{15}, A_{15}) → w
1129. Point(u) → D_{15}
1130. Angle(D_{15}, B_{15}, A_{15}) → θ_2
1131. Point(w) → E_{15}
1132. CircleSector(B_{15}, D_{15}, E_{15}) → r_{17}
1133. Segment(G_3, B_{15}) → q_{28}
1134. Segment(E_3, B_{15}) → r_{28}
1135. Segment(D', B_{15}) → t_{28}
1136. Segment(D'', B_{15}) → c_{28}
1137. Segment(D''', B_{15}) → g_{29}
1138. Segment(M_2, B_{15}) → h_{29}
1139. Segment(N_2, B_{15}) → i_{29}
1140. Segment(O_2, B_{15}) → n_{29}
1141. Segment(P_2, B_{15}) → p_{29}
1142. Segment(Q_2, B_{15}) → q_{29}
1143. Segment(R_2, B_{15}) → r_{29}
1144. Segment(L_2, B_{15}) → s_{29}
1145. Segment(S_2, B_{15}) → t_{29}
1146. Segment(T_2, B_{15}) → a_{29}
1147. Segment(U_2, B_{15}) → b_{29}
1148. Segment(V_2, B_{15}) → c_{29}
1149. Segment(B_{15}, W_2) → d_{29}
1150. Segment(Z_2, B_{15}) → e_{29}
1151. Segment(B_{15}, A_3) → f_{30}
1152. Segment(B_3, B_{15}) → g_{30}
1153. Segment(B_{15}, C_3) → h_{30}
1154. Segment(K_2, B_{15}) → i_{30}
1155. Segment(B_{15}, D_3) → j_{30}
1156. Segment(F_3, B_{15}) → k_{30}
1157. Segment(B_{15}, H_3) → l_{30}
1158. Segment(I_3, B_{15}) → m_{30}
1159. Segment(J_3, B_{15}) → n_{30}
1160. Segment(B_{15}, K_3) → p_{30}
1161. Segment(D'_{3}, B_{15}) → q_{30}
1162. Segment(B_{15}, M_3) → r_{30}
1163. Segment(L_3, B_{15}) → s_{30}
1164. Segment(B_{15}, N_3) → t_{30}
1165. Segment(O_3, B_{15}) → a_{30}
1166. Segment(B_{15}, P_3) → b_{30}
1167. Segment(Q_3, B_{15}) → c_{30}
1168. Segment(B_{15}, R_3) → d_{30}
1169. Segment(S_3, B_{15}) → e_{30}
1170. Segment(B_{15}, T_3) → f_{31}
1171. Segment(U_3, B_{15}) → g_{31}
1172. Segment(B_{15}, J_2) → h_{31}
1173. Segment(V_3, B_{15}) → i_{31}
1174. Segment(B_{15}, W_3) → j_{31}
1175. Segment(Z_3, B_{15}) → k_{31}
1176. Segment(B_{15}, A_4) → l_{31}
1177. Segment(B_4, B_{15}) → m_{31}
1178. Segment(B_{15}, C_4) → n_{31}
1179. Segment(D_4, B_{15}) → p_{31}
1180. Segment(B_{15}, E_4) → q_{31}
1181. Segment(F_4, B_{15}) → r_{31}
1182. Segment(B_{15}, I_2) → s_{31}
1183. Segment(G_4, B_{15}) → t_{31}
1184. Segment(H_4, B_{15}) → a_{31}
1185. Segment(B_{15}, I_4) → b_{31}
1186. Segment(K_4, B_{15}) → c_{31}
1187. Segment(B_{15}, J_4) → d_{31}
1188. Segment(L_4, B_{15}) → e_{31}
1189. Segment(B_{15}, M_4) → f_{32}
1190. Segment(B_{15}, N_4) → g_{32}
1191. Segment(B_{15}, O_4) → h_{32}