勾股定理平铺 #135

GeoGebra 命令及参数

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