几何作图示例

GeoGebra 命令及参数

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