平铺图形构造

GeoGebra 命令及参数

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