MathPlotAI Logo MathPlotAI

Imagine: Splitting a Circle

Imagine: Splitting a Circle
Loading the math board and drawing, please wait…
2019-09-28 00:41
CircleAngleVectorOptimizationGeometric Construction
This example demonstrates how to dynamically split a circle and observe its geometric properties. It involves core mathematical concepts such as geometric construction, angles, vectors, function graphing, and optimization. GeoGebra commands and objects used include Intersect, Point, Circle, Rotate, Segment, Ray, OrthogonalLine, Angle, Line, Vector, and CircleSector. Suitable for high school and above learners to understand geometric transformations and optimization problems.

GeoGebra Commands & Parameters

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