Pythagorean Tessellation Demo

GeoGebra Commands & Parameters

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