MathPlotAI Logo MathPlotAI

Pythagorean Tiling by Edgardo Alandete

Pythagorean Tiling by Edgardo Alandete
Loading the math board and drawing, please wait…
2015-01-29 12:21
TriangleCirclePolygonGeometric Construction
This example demonstrates the Pythagorean Theorem in plane tiling applications, visually showcasing its geometric significance through dynamic construction of right triangles, incircles, semicircles, etc. Core math concepts include Pythagorean Theorem, equations, piecewise functions, trapezoids, algebra, and correlation. Construction highlights GeoGebra commands like Line, OrthogonalLine, Point, Intersect, Semicircle, Segment, and Polygon. Ideal for high school mathematics education to enhance understanding of the theorem and its applications.

GeoGebra Commands & Parameters

  1. Line(A, B) → a
  2. OrthogonalLine(B, a) → b
  3. OrthogonalLine(A, a) → c
  4. Point(b) → D
  5. OrthogonalLine(D, b) → d
  6. Point(b) → E
  7. OrthogonalLine(E, b) → e
  8. Point(b) → F
  9. OrthogonalLine(F, b) → f
  10. Point(b) → G
  11. OrthogonalLine(G, b) → g
  12. Point(b) → H
  13. OrthogonalLine(H, b) → h
  14. Point(b) → I
  15. OrthogonalLine(I, b) → i
  16. Point(b) → J
  17. OrthogonalLine(J, b) → j
  18. Point(b) → K
  19. OrthogonalLine(K, b) → k
  20. Point(k) → L
  21. OrthogonalLine(L, k) → l
  22. Point(j) → M
  23. OrthogonalLine(M, j) → m
  24. Point(h) → N
  25. OrthogonalLine(N, h) → n
  26. Point(i) → O
  27. OrthogonalLine(O, i) → p
  28. Point(h) → P
  29. OrthogonalLine(P, h) → q
  30. Intersect(g, l) → R_1
  31. Intersect(h, l) → S_1
  32. Semicircle(R_1, S_1) → e_3
  33. Intersect(a, l) → V
  34. Intersect(c, e) → A_1
  35. Point(b) → G_1
  36. Intersect(c, d) → M_1
  37. Point(a) → N_1
  38. Segment(S, G_1) → t
  39. Point(d) → T
  40. Segment(T, S) → a_1
  41. Segment(U, N_1) → b_1
  42. Point(c) → W
  43. Segment(W, U) → c_1
  44. Segment(Z, W) → d_1
  45. Segment(Z, T) → e_1
  46. Segment(C_1, T) → f_1
  47. Point(c) → D_1
  48. Segment(D_1, C_1) → g_1
  49. Segment(D_1, F_1) → h_1
  50. Point(e) → H_1
  51. Segment(F_1, H_1) → i_1
  52. Segment(H_1, K_1) → j_1
  53. Point(b) → O_1
  54. Segment(K_1, O_1) → k_1
  55. Segment(O_1, P_1) → l_1
  56. Segment(P_1, T) → m_1
  57. Segment(Q_1, W) → n_1
  58. Segment(T_1, W) → p_1
  59. Point(a) → U_1
  60. Segment(U_1, Q_1) → q_1
  61. Segment(V_1, U_1) → r_1
  62. Point(l) → Z_1
  63. Segment(W_1, Z_1) → s_1
  64. Segment(Z_1, V_1) → t_1
  65. Point(d) → A_2
  66. Segment(A_2, W_1) → a_2
  67. Segment(A_2, T_1) → b_2
  68. Segment(B_2, D_1) → c_2
  69. Segment(A_2, B_2) → d_2
  70. Segment(C_2, D_1) → e_2
  71. Point(e) → D_2
  72. Segment(D_2, C_2) → f_2
  73. Segment(E_2, A_2) → g_2
  74. Point(l) → F_2
  75. Segment(F_2, E_2) → h_2
  76. Segment(F_2, G_2) → i_2
  77. Segment(G_2, D_2) → j_2
  78. Segment(D_2, H_2) → k_2
  79. Point(c) → I_2
  80. Segment(H_2, I_2) → l_2
  81. Segment(I_2, J_2) → m_2
  82. Point(f) → K_2
  83. Segment(J_2, K_2) → n_2
  84. Segment(K_2, L_2) → p_2
  85. Point(l) → M_2
  86. Segment(L_2, M_2) → q_2
  87. Segment(M_2, N_2) → r_2
  88. Segment(N_2, D_2) → s_2
  89. Segment(O_2, H_1) → t_2
  90. Segment(P_2, H_1) → a_3
  91. Segment(I_2, P_2) → b_3
  92. Segment(I_2, Q_2) → c_3
  93. Point(f) → R_2
  94. Segment(Q_2, R_2) → d_3
  95. Segment(S_2, R_2) → f_3
  96. Point(b) → T_2
  97. Segment(S_2, T_2) → g_3
  98. Segment(T_2, O_2) → h_3
  99. Point(b) → V_2
  100. Segment(U_2, V_2) → i_3
  101. Segment(V_2, W_2) → j_3
  102. Point(g) → Z_2
  103. Segment(W_2, Z_2) → k_3
  104. Segment(Z_2, A_3) → l_3
  105. Point(c) → B_3
  106. Segment(A_3, B_3) → m_3
  107. Segment(B_3, C_3) → n_3
  108. Segment(C_3, R_2) → p_3
  109. Segment(R_2, U_2) → q_3
  110. Segment(D_3, B_3) → r_3
  111. Segment(K_2, D_3) → s_3
  112. Segment(E_3, B_3) → t_3
  113. Point(g) → F_3
  114. Segment(F_3, E_3) → a_4
  115. Segment(G_3, K_2) → b_4
  116. Point(l) → H_3
  117. Segment(G_3, H_3) → c_4
  118. Segment(H_3, I_3) → d_4
  119. Segment(I_3, F_3) → e_4
  120. Segment(J_3, F_3) → f_4
  121. Segment(F_3, K_3) → g_4
  122. Point(l) → L_3
  123. Segment(K_3, L_3) → h_4
  124. Segment(L_3, M_3) → i_4
  125. Point(h) → N_3
  126. Segment(M_3, N_3) → j_4
  127. Segment(N_3, O_3) → k_4
  128. Point(c) → P_3
  129. Segment(O_3, P_3) → l_4
  130. Segment(P_3, J_3) → m_4
  131. Segment(Q_3, Z_2) → n_4
  132. Segment(Z_2, R_3) → p_4
  133. Segment(R_3, P_3) → q_4
  134. Segment(P_3, S_3) → r_4
  135. Point(h) → T_3
  136. Segment(S_3, T_3) → s_4
  137. Segment(T_3, U_3) → t_4
  138. Point(b) → V_3
  139. Segment(U_3, V_3) → a_5
  140. Segment(V_3, Q_3) → b_5
  141. Segment(T_3, W_3) → c_5
  142. Point(b) → Z_3
  143. Segment(W_3, Z_3) → d_5
  144. Segment(Z_3, A_4) → e_5
  145. Point(i) → B_4
  146. Segment(A_4, B_4) → f_5
  147. Segment(B_4, C_4) → g_5
  148. Point(c) → D_4
  149. Segment(C_4, D_4) → h_5
  150. Segment(D_4, E_4) → i_5
  151. Segment(E_4, T_3) → j_5
  152. Segment(N_3, F_4) → k_5
  153. Segment(F_4, D_4) → l_5
  154. Segment(G_4, D_4) → m_5
  155. Point(i) → H_4
  156. Segment(H_4, G_4) → n_5
  157. Segment(I_4, V_3) → p_5
  158. Segment(T_3, I_4) → q_5
  159. Segment(V_3, J_4) → r_5
  160. Segment(J_4, Z_2) → s_5
  161. Segment(Z_2, K_4) → t_5
  162. Segment(K_4, P_3) → a_6
  163. Segment(P_3, L_4) → b_6
  164. Segment(L_4, T_3) → c_6
  165. Segment(P_3, M_4) → d_6
  166. Segment(M_4, F_3) → e_6
  167. Segment(N_4, F_3) → f_6
  168. Segment(N_4, L_3) → g_6
  169. Segment(L_3, O_4) → h_6
  170. Segment(O_4, N_3) → i_6
  171. Segment(N_3, P_4) → j_6
  172. Segment(P_4, P_3) → k_6
  173. Segment(Q_4, Z_3) → l_6
  174. Segment(Q_4, T_3) → m_6
  175. Segment(T_3, R_4) → n_6
  176. Segment(R_4, D_4) → p_6
  177. Segment(D_4, S_4) → q_6
  178. Segment(S_4, B_4) → r_6
  179. Segment(B_4, T_4) → s_6
  180. Segment(T_4, Z_3) → t_6
  181. Segment(U_4, V_2) → a_7
  182. Segment(U_4, R_2) → b_7
  183. Segment(V_4, R_2) → c_7
  184. Segment(V_4, B_3) → d_7
  185. Segment(B_3, W_4) → e_7
  186. Segment(W_4, Z_2) → f_7
  187. Segment(Z_2, Z_4) → g_7
  188. Segment(Z_4, V_2) → h_7
  189. Segment(T_2, A_5) → i_7
  190. Segment(A_5, H_1) → j_7
  191. Segment(H_1, B_5) → k_7
  192. Segment(B_5, I_2) → l_7
  193. Segment(I_2, C_5) → m_7
  194. Segment(C_5, R_2) → n_7
  195. Segment(R_2, D_5) → p_7
  196. Segment(D_5, T_2) → q_7
  197. Segment(E_5, I_2) → r_7
  198. Segment(E_5, D_2) → s_7
  199. Segment(F_5, D_2) → t_7
  200. Segment(F_5, M_2) → a_8
  201. Segment(M_2, G_5) → b_8
  202. Segment(G_5, K_2) → c_8
  203. Segment(K_2, H_5) → d_8
  204. Segment(H_5, I_2) → e_8
  205. Segment(I_5, B_3) → f_8
  206. Segment(I_5, K_2) → g_8
  207. Segment(J_5, K_2) → h_8
  208. Segment(J_5, H_3) → i_8
  209. Segment(H_3, K_5) → j_8
  210. Segment(K_5, F_3) → k_8
  211. Segment(F_3, L_5) → l_8
  212. Segment(L_5, B_3) → m_8
  213. Segment(M_5, O_1) → n_8
  214. Segment(M_5, T) → p_8
  215. Segment(T, N_5) → q_8
  216. Segment(N_5, D_1) → r_8
  217. Segment(D_1, O_5) → s_8
  218. Segment(O_5, H_1) → t_8
  219. Segment(H_1, P_5) → a_9
  220. Segment(P_5, O_1) → b_9
  221. Segment(T, Q_5) → c_9
  222. Segment(Q_5, G_1) → d_9
  223. Segment(N_1, S_5) → g_9
  224. Segment(S_5, W) → h_9
  225. Segment(W, T_5) → i_9
  226. Segment(T_5, T) → j_9
  227. Segment(U_5, W) → k_9
  228. Segment(U_5, U_1) → l_9
  229. Segment(U_1, V_5) → m_9
  230. Segment(V_5, Z_1) → n_9
  231. Segment(Z_1, W_5) → p_9
  232. Segment(W_5, A_2) → q_9
  233. Segment(A_2, Z_5) → r_9
  234. Segment(Z_5, W) → s_9
  235. Segment(D_1, A_6) → t_9
  236. Segment(A_6, A_2) → a_{10}
  237. Segment(A_2, B_6) → b_{10}
  238. Segment(B_6, F_2) → c_{10}
  239. Segment(F_2, C_6) → d_{10}
  240. Segment(C_6, D_2) → e_{10}
  241. Segment(D_2, D_6) → f_{10}
  242. Segment(D_6, D_1) → g_{10}
  243. Point(a) → E_6
  244. Segment(E_6, F_6) → h_{10}
  245. Segment(F_6, Z_1) → i_{10}
  246. Segment(Z_1, G_6) → j_{10}
  247. Point(d) → H_6
  248. Segment(G_6, H_6) → k_{10}
  249. Segment(H_6, I_6) → l_{10}
  250. Point(m) → J_6
  251. Segment(I_6, J_6) → m_{10}
  252. Segment(J_6, K_6) → n_{10}
  253. Segment(E_6, K_6) → p_{10}
  254. Segment(H_6, L_6) → q_{10}
  255. Segment(L_6, F_2) → r_{10}
  256. Segment(F_2, M_6) → s_{10}
  257. Point(e) → N_6
  258. Segment(M_6, N_6) → t_{10}
  259. Segment(N_6, O_6) → a_{11}
  260. Point(m) → P_6
  261. Segment(P_6, O_6) → b_{11}
  262. Segment(P_6, Q_6) → c_{11}
  263. Segment(Q_6, H_6) → d_{11}
  264. Segment(R_6, Z_1) → e_{11}
  265. Segment(R_6, E_6) → f_{11}
  266. Segment(E_6, S_6) → g_{11}
  267. Segment(S_6, J_6) → h_{11}
  268. Segment(J_6, T_6) → i_{11}
  269. Segment(T_6, H_6) → j_{11}
  270. Segment(H_6, U_6) → k_{11}
  271. Segment(U_6, Z_1) → l_{11}
  272. Segment(F_2, V_6) → m_{11}
  273. Segment(V_6, H_6) → n_{11}
  274. Segment(H_6, W_6) → p_{11}
  275. Segment(W_6, P_6) → q_{11}
  276. Segment(P_6, Z_6) → r_{11}
  277. Segment(Z_6, N_6) → s_{11}
  278. Segment(N_6, A_7) → t_{11}
  279. Segment(A_7, F_2) → a_{12}
  280. Segment(B_7, M_2) → b_{12}
  281. Segment(N_6, B_7) → c_{12}
  282. Segment(C_7, M_2) → d_{12}
  283. Segment(C_7, N_6) → e_{12}
  284. Segment(N_6, D_7) → f_{12}
  285. Point(m) → E_7
  286. Segment(D_7, E_7) → g_{12}
  287. Segment(E_7, F_7) → h_{12}
  288. Point(f) → G_7
  289. Segment(F_7, G_7) → i_{12}
  290. Segment(G_7, H_7) → j_{12}
  291. Segment(H_7, M_2) → k_{12}
  292. Segment(I_7, M_2) → l_{12}
  293. Segment(I_7, G_7) → m_{12}
  294. Segment(G_7, J_7) → n_{12}
  295. Segment(J_7, E_7) → p_{12}
  296. Segment(K_7, N_6) → q_{12}
  297. Segment(K_7, E_7) → r_{12}
  298. Segment(L_7, H_3) → s_{12}
  299. Segment(G_7, L_7) → t_{12}
  300. Segment(M_7, H_3) → a_{13}
  301. Segment(M_7, G_7) → b_{13}
  302. Segment(G_7, N_7) → c_{13}
  303. Point(m) → O_7
  304. Segment(N_7, O_7) → d_{13}
  305. Segment(O_7, P_7) → e_{13}
  306. Point(g) → Q_7
  307. Segment(P_7, Q_7) → f_{13}
  308. Segment(Q_7, R_7) → g_{13}
  309. Segment(R_7, H_3) → h_{13}
  310. Segment(H_3, S_7) → i_{13}
  311. Segment(S_7, Q_7) → j_{13}
  312. Segment(G_7, T_7) → k_{13}
  313. Segment(T_7, O_7) → l_{13}
  314. Segment(O_7, U_7) → m_{13}
  315. Segment(U_7, Q_7) → n_{13}
  316. Segment(V_7, N_3) → p_{13}
  317. Point(l) → W_7
  318. Segment(V_7, W_7) → q_{13}
  319. Segment(W_7, Z_7) → r_{13}
  320. Segment(Z_7, H_4) → s_{13}
  321. Segment(H_4, A_8) → t_{13}
  322. Segment(A_8, D_4) → a_{14}
  323. Segment(D_4, B_8) → b_{14}
  324. Segment(N_3, B_8) → c_{14}
  325. Segment(N_3, C_8) → d_{14}
  326. Segment(C_8, W_7) → e_{14}
  327. Segment(W_7, D_8) → f_{14}
  328. Segment(D_8, H_4) → g_{14}
  329. Segment(E_8, L_3) → h_{14}
  330. Segment(Q_7, E_8) → i_{14}
  331. Segment(F_8, Q_7) → j_{14}
  332. Point(m) → G_8
  333. Segment(F_8, G_8) → k_{14}
  334. Segment(G_8, H_8) → l_{14}
  335. Point(h) → I_8
  336. Segment(H_8, I_8) → m_{14}
  337. Segment(I_8, J_8) → n_{14}
  338. Segment(J_8, L_3) → p_{14}
  339. Segment(K_8, L_3) → q_{14}
  340. Segment(K_8, I_8) → r_{14}
  341. Segment(L_3, L_8) → s_{14}
  342. Segment(L_8, Q_7) → t_{14}
  343. Segment(Q_7, M_8) → a_{15}
  344. Segment(M_8, G_8) → b_{15}
  345. Segment(G_8, N_8) → c_{15}
  346. Segment(N_8, I_8) → d_{15}
  347. Segment(O_8, I_8) → e_{15}
  348. Segment(I_8, P_8) → f_{15}
  349. Point(m) → Q_8
  350. Segment(P_8, Q_8) → g_{15}
  351. Segment(Q_8, R_8) → h_{15}
  352. Point(i) → S_8
  353. Segment(R_8, S_8) → i_{15}
  354. Segment(S_8, T_8) → j_{15}
  355. Segment(T_8, W_7) → k_{15}
  356. Segment(W_7, O_8) → l_{15}
  357. Segment(U_8, W_7) → m_{15}
  358. Segment(U_8, I_8) → n_{15}
  359. Segment(I_8, V_8) → p_{15}
  360. Segment(V_8, Q_8) → q_{15}
  361. Segment(Q_8, W_8) → r_{15}
  362. Segment(W_8, S_8) → s_{15}
  363. Segment(S_8, Z_8) → t_{15}
  364. Segment(Z_8, W_7) → a_{16}
  365. Segment(B_4, A_9) → b_{16}
  366. Point(b) → B_9
  367. Segment(A_9, B_9) → c_{16}
  368. Segment(B_9, C_9) → d_{16}
  369. Point(j) → D_9
  370. Segment(C_9, D_9) → e_{16}
  371. Segment(D_9, E_9) → f_{16}
  372. Point(c) → F_9
  373. Segment(E_9, F_9) → g_{16}
  374. Segment(F_9, G_9) → h_{16}
  375. Segment(G_9, B_4) → i_{16}
  376. Segment(H_9, B_9) → j_{16}
  377. Segment(H_9, B_4) → k_{16}
  378. Segment(B_4, I_9) → l_{16}
  379. Segment(I_9, F_9) → m_{16}
  380. Segment(F_9, J_9) → n_{16}
  381. Segment(J_9, D_9) → p_{16}
  382. Segment(D_9, K_9) → q_{16}
  383. Segment(K_9, B_9) → r_{16}
  384. Segment(D_9, L_9) → s_{16}
  385. Point(b) → M_9
  386. Segment(L_9, M_9) → t_{16}
  387. Point(k) → O_9
  388. Segment(O_9, P_9) → c_{17}
  389. Point(c) → Q_9
  390. Segment(P_9, Q_9) → d_{17}
  391. Segment(Q_9, R_9) → e_{17}
  392. Segment(R_9, D_9) → f_{17}
  393. Segment(D_9, S_9) → g_{17}
  394. Segment(S_9, M_9) → h_{17}
  395. Segment(U_9, D_9) → k_{17}
  396. Segment(U_9, Q_9) → l_{17}
  397. Segment(Q_9, V_9) → m_{17}
  398. Segment(V_9, O_9) → n_{17}
  399. Segment(W_9, H_4) → p_{17}
  400. Segment(H_4, Z_9) → q_{17}
  401. Point(l) → A_{10}
  402. Segment(Z_9, A_{10}) → r_{17}
  403. Segment(A_{10}, B_{10}) → s_{17}
  404. Point(j) → C_{10}
  405. Segment(B_{10}, C_{10}) → t_{17}
  406. Segment(C_{10}, D_{10}) → a_{18}
  407. Segment(D_{10}, F_9) → b_{18}
  408. Segment(F_9, W_9) → c_{18}
  409. Segment(E_{10}, F_9) → d_{18}
  410. Segment(E_{10}, H_4) → e_{18}
  411. Segment(H_4, F_{10}) → f_{18}
  412. Segment(F_{10}, A_{10}) → g_{18}
  413. Segment(A_{10}, G_{10}) → h_{18}
  414. Segment(G_{10}, C_{10}) → i_{18}
  415. Segment(C_{10}, H_{10}) → j_{18}
  416. Segment(H_{10}, F_9) → k_{18}
  417. Segment(I_{10}, Q_9) → l_{18}
  418. Segment(I_{10}, C_{10}) → m_{18}
  419. Segment(C_{10}, J_{10}) → n_{18}
  420. Point(l) → K_{10}
  421. Segment(J_{10}, K_{10}) → p_{18}
  422. Segment(K_{10}, L_{10}) → q_{18}
  423. Point(k) → M_{10}
  424. Segment(L_{10}, M_{10}) → r_{18}
  425. Segment(M_{10}, N_{10}) → s_{18}
  426. Segment(N_{10}, Q_9) → t_{18}
  427. Segment(Q_9, O_{10}) → a_{19}
  428. Segment(O_{10}, C_{10}) → b_{19}
  429. Segment(C_{10}, P_{10}) → c_{19}
  430. Segment(P_{10}, K_{10}) → d_{19}
  431. Segment(K_{10}, Q_{10}) → e_{19}
  432. Segment(Q_{10}, M_{10}) → f_{19}
  433. Segment(M_{10}, R_{10}) → g_{19}
  434. Segment(R_{10}, Q_9) → h_{19}
  435. Segment(A_{10}, S_{10}) → i_{19}
  436. Segment(S_{10}, S_8) → j_{19}
  437. Segment(T_{10}, S_8) → k_{19}
  438. Point(m) → U_{10}
  439. Segment(T_{10}, U_{10}) → l_{19}
  440. Segment(U_{10}, V_{10}) → m_{19}
  441. Point(j) → W_{10}
  442. Segment(V_{10}, W_{10}) → n_{19}
  443. Segment(W_{10}, Z_{10}) → p_{19}
  444. Segment(Z_{10}, A_{10}) → q_{19}
  445. Segment(A_{10}, A_{11}) → r_{19}
  446. Segment(A_{11}, S_8) → s_{19}
  447. Segment(S_8, B_{11}) → t_{19}
  448. Segment(B_{11}, U_{10}) → a_{20}
  449. Segment(U_{10}, C_{11}) → b_{20}
  450. Segment(C_{11}, W_{10}) → c_{20}
  451. Segment(W_{10}, D_{11}) → d_{20}
  452. Segment(D_{11}, A_{10}) → e_{20}
  453. Segment(W_{10}, E_{11}) → f_{20}
  454. Segment(E_{11}, K_{10}) → g_{20}
  455. Segment(W_{10}, F_{11}) → h_{20}
  456. Point(m) → G_{11}
  457. Segment(F_{11}, G_{11}) → i_{20}
  458. Segment(G_{11}, H_{11}) → j_{20}
  459. Point(k) → I_{11}
  460. Segment(H_{11}, I_{11}) → k_{20}
  461. Segment(I_{11}, J_{11}) → l_{20}
  462. Segment(J_{11}, K_{10}) → m_{20}
  463. Segment(K_{10}, K_{11}) → n_{20}
  464. Segment(K_{11}, W_{10}) → p_{20}
  465. Segment(W_{10}, L_{11}) → q_{20}
  466. Segment(L_{11}, G_{11}) → r_{20}
  467. Segment(G_{11}, M_{11}) → s_{20}
  468. Segment(M_{11}, I_{11}) → t_{20}
  469. Segment(I_{11}, N_{11}) → a_{21}
  470. Segment(N_{11}, K_{10}) → b_{21}
  471. Point(a) → O_{11}
  472. Segment(O_{11}, P_{11}) → c_{21}
  473. Segment(P_{11}, J_6) → d_{21}
  474. Segment(J_6, Q_{11}) → e_{21}
  475. Point(d) → R_{11}
  476. Segment(Q_{11}, R_{11}) → f_{21}
  477. Segment(R_{11}, S_{11}) → g_{21}
  478. Point(n) → T_{11}
  479. Segment(S_{11}, T_{11}) → h_{21}
  480. Segment(T_{11}, U_{11}) → i_{21}
  481. Segment(U_{11}, O_{11}) → j_{21}
  482. Segment(O_{11}, V_{11}) → k_{21}
  483. Segment(V_{11}, J_6) → l_{21}
  484. Segment(J_6, W_{11}) → m_{21}
  485. Segment(W_{11}, R_{11}) → n_{21}
  486. Segment(R_{11}, Z_{11}) → p_{21}
  487. Segment(Z_{11}, T_{11}) → q_{21}
  488. Segment(T_{11}, A_{12}) → r_{21}
  489. Segment(A_{12}, O_{11}) → s_{21}
  490. Segment(B_{12}, R_{11}) → t_{21}
  491. Segment(B_{12}, P_6) → a_{22}
  492. Segment(P_6, C_{12}) → b_{22}
  493. Point(e) → D_{12}
  494. Segment(C_{12}, D_{12}) → c_{22}
  495. Segment(D_{12}, E_{12}) → d_{22}
  496. Point(n) → F_{12}
  497. Segment(E_{12}, F_{12}) → e_{22}
  498. Segment(F_{12}, G_{12}) → f_{22}
  499. Segment(G_{12}, R_{11}) → g_{22}
  500. Segment(R_{11}, H_{12}) → h_{22}
  501. Segment(H_{12}, P_6) → i_{22}
  502. Segment(P_6, I_{12}) → j_{22}
  503. Segment(I_{12}, D_{12}) → k_{22}
  504. Segment(D_{12}, J_{12}) → l_{22}
  505. Segment(J_{12}, F_{12}) → m_{22}
  506. Segment(F_{12}, K_{12}) → n_{22}
  507. Segment(K_{12}, R_{11}) → p_{22}
  508. Segment(D_{12}, L_{12}) → q_{22}
  509. Segment(L_{12}, E_7) → r_{22}
  510. Segment(E_7, M_{12}) → s_{22}
  511. Point(f) → N_{12}
  512. Segment(M_{12}, N_{12}) → t_{22}
  513. Segment(N_{12}, O_{12}) → a_{23}
  514. Point(n) → P_{12}
  515. Segment(O_{12}, P_{12}) → b_{23}
  516. Segment(P_{12}, Q_{12}) → c_{23}
  517. Segment(Q_{12}, D_{12}) → d_{23}
  518. Segment(D_{12}, R_{12}) → e_{23}
  519. Segment(R_{12}, E_7) → f_{23}
  520. Segment(E_7, S_{12}) → g_{23}
  521. Segment(S_{12}, N_{12}) → h_{23}
  522. Segment(N_{12}, T_{12}) → i_{23}
  523. Segment(T_{12}, P_{12}) → j_{23}
  524. Segment(P_{12}, U_{12}) → k_{23}
  525. Segment(U_{12}, D_{12}) → l_{23}
  526. Segment(N_{12}, V_{12}) → m_{23}
  527. Segment(O_7, V_{12}) → n_{23}
  528. Segment(W_{12}, O_7) → p_{23}
  529. Point(g) → Z_{12}
  530. Segment(W_{12}, Z_{12}) → q_{23}
  531. Segment(Z_{12}, A_{13}) → r_{23}
  532. Point(n) → B_{13}
  533. Segment(A_{13}, B_{13}) → s_{23}
  534. Segment(B_{13}, C_{13}) → t_{23}
  535. Segment(C_{13}, N_{12}) → a_{24}
  536. Segment(O_7, D_{13}) → b_{24}
  537. Segment(D_{13}, N_{12}) → c_{24}
  538. Segment(N_{12}, E_{13}) → d_{24}
  539. Segment(E_{13}, B_{13}) → e_{24}
  540. Segment(B_{13}, F_{13}) → f_{24}
  541. Segment(F_{13}, Z_{12}) → g_{24}
  542. Segment(Z_{12}, G_{13}) → h_{24}
  543. Segment(G_{13}, O_7) → i_{24}
  544. Segment(G_8, H_{13}) → j_{24}
  545. Segment(H_{13}, Z_{12}) → k_{24}
  546. Segment(Z_{12}, I_{13}) → l_{24}
  547. Point(n) → J_{13}
  548. Segment(I_{13}, J_{13}) → m_{24}
  549. Segment(J_{13}, K_{13}) → n_{24}
  550. Point(h) → L_{13}
  551. Segment(K_{13}, L_{13}) → p_{24}
  552. Segment(L_{13}, M_{13}) → q_{24}
  553. Segment(M_{13}, G_8) → r_{24}
  554. Segment(N_{13}, G_8) → s_{24}
  555. Segment(N_{13}, Z_{12}) → t_{24}
  556. Segment(Z_{12}, O_{13}) → a_{25}
  557. Segment(O_{13}, J_{13}) → b_{25}
  558. Segment(J_{13}, P_{13}) → c_{25}
  559. Segment(P_{13}, L_{13}) → d_{25}
  560. Segment(L_{13}, Q_{13}) → e_{25}
  561. Segment(Q_{13}, G_8) → f_{25}
  562. Segment(Q_8, R_{13}) → g_{25}
  563. Segment(R_{13}, L_{13}) → h_{25}
  564. Segment(L_{13}, S_{13}) → i_{25}
  565. Point(n) → T_{13}
  566. Segment(S_{13}, T_{13}) → j_{25}
  567. Segment(U_{13}, T_{13}) → k_{25}
  568. Point(i) → V_{13}
  569. Segment(U_{13}, V_{13}) → l_{25}
  570. Segment(V_{13}, W_{13}) → m_{25}
  571. Segment(W_{13}, Q_8) → n_{25}
  572. Segment(Z_{13}, Q_8) → p_{25}
  573. Segment(Z_{13}, V_{13}) → q_{25}
  574. Segment(V_{13}, A_{14}) → r_{25}
  575. Segment(A_{14}, T_{13}) → s_{25}
  576. Segment(T_{13}, B_{14}) → t_{25}
  577. Segment(B_{14}, L_{13}) → a_{26}
  578. Segment(C_{14}, Q_8) → b_{26}
  579. Segment(C_{14}, L_{13}) → c_{26}
  580. Segment(D_{14}, U_{10}) → d_{26}
  581. Segment(V_{13}, D_{14}) → e_{26}
  582. Segment(E_{14}, V_{13}) → f_{26}
  583. Point(n) → F_{14}
  584. Segment(F_{14}, E_{14}) → g_{26}
  585. Segment(F_{14}, G_{14}) → h_{26}
  586. Point(j) → H_{14}
  587. Segment(G_{14}, H_{14}) → i_{26}
  588. Segment(H_{14}, I_{14}) → j_{26}
  589. Segment(I_{14}, U_{10}) → k_{26}
  590. Segment(U_{10}, J_{14}) → l_{26}
  591. Segment(J_{14}, V_{13}) → m_{26}
  592. Segment(V_{13}, K_{14}) → n_{26}
  593. Segment(K_{14}, F_{14}) → p_{26}
  594. Segment(F_{14}, L_{14}) → q_{26}
  595. Segment(L_{14}, H_{14}) → r_{26}
  596. Segment(H_{14}, M_{14}) → s_{26}
  597. Segment(M_{14}, U_{10}) → t_{26}
  598. Segment(N_{14}, H_{14}) → a_{27}
  599. Segment(N_{14}, G_{11}) → b_{27}
  600. Segment(G_{11}, O_{14}) → c_{27}
  601. Point(k) → P_{14}
  602. Segment(O_{14}, P_{14}) → d_{27}
  603. Segment(P_{14}, Q_{14}) → e_{27}
  604. Point(n) → R_{14}
  605. Segment(Q_{14}, R_{14}) → f_{27}
  606. Segment(R_{14}, S_{14}) → g_{27}
  607. Segment(S_{14}, H_{14}) → h_{27}
  608. Segment(H_{14}, T_{14}) → i_{27}
  609. Segment(T_{14}, G_{11}) → j_{27}
  610. Segment(G_{11}, U_{14}) → k_{27}
  611. Segment(U_{14}, P_{14}) → l_{27}
  612. Segment(P_{14}, V_{14}) → m_{27}
  613. Segment(V_{14}, R_{14}) → n_{27}
  614. Segment(R_{14}, W_{14}) → p_{27}
  615. Segment(W_{14}, H_{14}) → q_{27}
  616. Point(a) → Z_{14}
  617. Segment(Z_{14}, A_{15}) → r_{27}
  618. Segment(A_{15}, T_{11}) → s_{27}
  619. Segment(T_{11}, B_{15}) → t_{27}
  620. Point(d) → C_{15}
  621. Segment(B_{15}, C_{15}) → a_{28}
  622. Segment(D_{15}, C_{15}) → b_{28}
  623. Point(p) → E_{15}
  624. Segment(D_{15}, E_{15}) → c_{28}
  625. Segment(E_{15}, F_{15}) → d_{28}
  626. Segment(F_{15}, Z_{14}) → e_{28}
  627. Segment(G_{15}, T_{11}) → f_{28}
  628. Segment(Z_{14}, G_{15}) → g_{28}
  629. Segment(Z_{14}, H_{15}) → h_{28}
  630. Segment(H_{15}, E_{15}) → i_{28}
  631. Segment(E_{15}, I_{15}) → j_{28}
  632. Segment(I_{15}, C_{15}) → k_{28}
  633. Segment(C_{15}, J_{15}) → l_{28}
  634. Segment(J_{15}, T_{11}) → m_{28}
  635. Segment(K_{15}, C_{15}) → n_{28}
  636. Segment(K_{15}, F_{12}) → p_{28}
  637. Segment(L_{15}, C_{15}) → q_{28}
  638. Point(p) → M_{15}
  639. Segment(M_{15}, L_{15}) → r_{28}
  640. Segment(M_{15}, N_{15}) → s_{28}
  641. Point(e) → O_{15}
  642. Segment(N_{15}, O_{15}) → t_{28}
  643. Segment(O_{15}, P_{15}) → a_{29}
  644. Segment(P_{15}, F_{12}) → b_{29}
  645. Segment(F_{12}, Q_{15}) → c_{29}
  646. Segment(Q_{15}, C_{15}) → d_{29}
  647. Segment(C_{15}, R_{15}) → e_{29}
  648. Segment(R_{15}, M_{15}) → f_{29}
  649. Segment(M_{15}, S_{15}) → g_{29}
  650. Segment(S_{15}, O_{15}) → h_{29}
  651. Segment(O_{15}, T_{15}) → i_{29}
  652. Segment(T_{15}, F_{12}) → j_{29}
  653. Segment(U_{15}, P_{12}) → k_{29}
  654. Segment(O_{15}, U_{15}) → l_{29}
  655. Segment(V_{15}, O_{15}) → m_{29}
  656. Point(p) → W_{15}
  657. Segment(V_{15}, W_{15}) → n_{29}
  658. Segment(W_{15}, Z_{15}) → p_{29}
  659. Point(f) → A_{16}
  660. Segment(Z_{15}, A_{16}) → q_{29}
  661. Segment(A_{16}, B_{16}) → r_{29}
  662. Segment(B_{16}, P_{12}) → s_{29}
  663. Point(p_{11}) → C_{16}
  664. Point(p_{11}) → D_{16}
  665. Segment(A_{16}, E_{16}) → t_{29}
  666. Segment(E_{16}, B_{13}) → a_{30}
  667. Segment(A_{16}, F_{16}) → b_{30}
  668. Point(p) → G_{16}
  669. Segment(F_{16}, G_{16}) → c_{30}
  670. Segment(G_{16}, H_{16}) → d_{30}
  671. Point(g) → I_{16}
  672. Segment(H_{16}, I_{16}) → e_{30}
  673. Segment(I_{16}, J_{16}) → f_{30}
  674. Segment(J_{16}, B_{13}) → g_{30}
  675. Segment(I_{16}, K_{16}) → h_{30}
  676. Segment(K_{16}, J_{13}) → i_{30}
  677. Segment(J_{13}, L_{16}) → j_{30}
  678. Point(h) → M_{16}
  679. Segment(L_{16}, M_{16}) → k_{30}
  680. Segment(M_{16}, N_{16}) → l_{30}
  681. Point(p) → O_{16}
  682. Segment(N_{16}, O_{16}) → m_{30}
  683. Segment(O_{16}, P_{16}) → n_{30}
  684. Segment(P_{16}, I_{16}) → p_{30}
  685. Segment(Q_{16}, P_{12}) → q_{30}
  686. Segment(Q_{16}, O_{15}) → r_{30}
  687. Segment(O_{15}, R_{16}) → s_{30}
  688. Segment(R_{16}, W_{15}) → t_{30}
  689. Segment(W_{15}, S_{16}) → a_{31}
  690. Segment(S_{16}, A_{16}) → b_{31}
  691. Segment(A_{16}, T_{16}) → c_{31}
  692. Segment(T_{16}, P_{12}) → d_{31}
  693. Segment(U_{16}, B_{13}) → e_{31}
  694. Segment(V_{16}, I_{16}) → f_{31}
  695. Segment(V_{16}, B_{13}) → g_{31}
  696. Segment(U_{16}, A_{16}) → h_{31}
  697. Segment(A_{16}, W_{16}) → i_{31}
  698. Segment(W_{16}, G_{16}) → j_{31}
  699. Segment(G_{16}, Z_{16}) → k_{31}
  700. Segment(Z_{16}, I_{16}) → l_{31}
  701. Segment(I_{16}, A_{17}) → m_{31}
  702. Segment(A_{17}, J_{13}) → n_{31}
  703. Segment(B_{17}, J_{13}) → p_{31}
  704. Segment(M_{16}, B_{17}) → q_{31}
  705. Segment(O_{16}, C_{17}) → r_{31}
  706. Segment(C_{17}, I_{16}) → s_{31}
  707. Segment(O_{16}, D_{17}) → t_{31}
  708. Segment(D_{17}, M_{16}) → a_{32}
  709. Point(h_{21}) → E_{17}
  710. Point(h_{21}) → F_{17}
  711. Segment(M_{16}, G_{17}) → b_{32}
  712. Segment(G_{17}, T_{13}) → c_{32}
  713. Segment(T_{13}, H_{17}) → d_{32}
  714. Point(i) → I_{17}
  715. Segment(H_{17}, I_{17}) → e_{32}
  716. Segment(I_{17}, J_{17}) → f_{32}
  717. Point(p) → K_{17}
  718. Segment(J_{17}, K_{17}) → g_{32}
  719. Segment(K_{17}, L_{17}) → h_{32}
  720. Segment(L_{17}, M_{16}) → i_{32}
  721. Segment(M_{16}, M_{17}) → j_{32}
  722. Segment(M_{17}, T_{13}) → k_{32}
  723. Segment(N_{17}, T_{13}) → l_{32}
  724. Segment(N_{17}, I_{17}) → m_{32}
  725. Segment(O_{17}, I_{17}) → n_{32}
  726. Segment(O_{17}, K_{17}) → p_{32}
  727. Segment(P_{17}, M_{16}) → q_{32}
  728. Segment(P_{17}, K_{17}) → r_{32}
  729. Segment(Q_{17}, I_{17}) → s_{32}
  730. Segment(I_{17}, R_{17}) → t_{32}
  731. Segment(F_{14}, Q_{17}) → a_{33}
  732. Segment(F_{14}, S_{17}) → b_{33}
  733. Point(j) → T_{17}
  734. Segment(S_{17}, T_{17}) → c_{33}
  735. Segment(T_{17}, U_{17}) → d_{33}
  736. Point(p) → V_{17}
  737. Segment(U_{17}, V_{17}) → e_{33}
  738. Segment(V_{17}, R_{17}) → f_{33}
  739. Segment(W_{17}, T_{17}) → g_{33}
  740. Segment(Z_{17}, T_{17}) → h_{33}
  741. Segment(R_{14}, W_{17}) → i_{33}
  742. Segment(A_{18}, R_{14}) → j_{33}
  743. Point(k) → B_{18}
  744. Segment(A_{18}, B_{18}) → k_{33}
  745. Segment(B_{18}, C_{18}) → l_{33}
  746. Point(p) → D_{18}
  747. Segment(C_{18}, D_{18}) → m_{33}
  748. Segment(D_{18}, Z_{17}) → n_{33}
  749. Segment(E_{18}, F_{14}) → p_{33}
  750. Segment(E_{18}, I_{17}) → q_{33}
  751. Segment(I_{17}, F_{18}) → r_{33}
  752. Segment(F_{18}, V_{17}) → s_{33}
  753. Segment(V_{17}, G_{18}) → t_{33}
  754. Segment(G_{18}, T_{17}) → a_{34}
  755. Segment(T_{17}, H_{18}) → b_{34}
  756. Segment(H_{18}, R_{14}) → c_{34}
  757. Segment(F_{14}, I_{18}) → d_{34}
  758. Segment(I_{18}, T_{17}) → e_{34}
  759. Segment(T_{17}, J_{18}) → f_{34}
  760. Segment(J_{18}, D_{18}) → g_{34}
  761. Segment(D_{18}, K_{18}) → h_{34}
  762. Segment(K_{18}, B_{18}) → i_{34}
  763. Segment(R_{14}, L_{18}) → j_{34}
  764. Segment(L_{18}, B_{18}) → k_{34}
  765. Point(a) → M_{18}
  766. Segment(M_{18}, N_{18}) → l_{34}
  767. Segment(N_{18}, E_{15}) → m_{34}
  768. Segment(E_{15}, O_{18}) → n_{34}
  769. Point(d) → P_{18}
  770. Segment(O_{18}, P_{18}) → p_{34}
  771. Segment(P_{18}, Q_{18}) → q_{34}
  772. Point(q) → R_{18}
  773. Segment(Q_{18}, R_{18}) → r_{34}
  774. Segment(P_{18}, T_{18}) → a_{35}
  775. Segment(T_{18}, M_{15}) → b_{35}
  776. Segment(M_{15}, U_{18}) → c_{35}
  777. Point(e) → V_{18}
  778. Segment(U_{18}, V_{18}) → d_{35}
  779. Segment(V_{18}, W_{18}) → e_{35}
  780. Point(q) → Z_{18}
  781. Segment(W_{18}, Z_{18}) → f_{35}
  782. Segment(Z_{18}, A_{19}) → g_{35}
  783. Segment(A_{19}, P_{18}) → h_{35}
  784. Segment(B_{19}, V_{18}) → i_{35}
  785. Segment(C_{19}, V_{18}) → j_{35}
  786. Segment(D_{19}, W_{15}) → k_{35}
  787. Segment(W_{15}, B_{19}) → l_{35}
  788. Point(q) → E_{19}
  789. Segment(C_{19}, E_{19}) → m_{35}
  790. Segment(E_{19}, F_{19}) → n_{35}
  791. Point(f) → G_{19}
  792. Segment(F_{19}, G_{19}) → p_{35}
  793. Segment(G_{19}, D_{19}) → q_{35}
  794. Segment(G_{19}, H_{19}) → r_{35}
  795. Segment(H_{19}, G_{16}) → s_{35}
  796. Segment(I_{19}, G_{16}) → t_{35}
  797. Segment(I_{19}, G_{19}) → a_{36}
  798. Segment(J_{19}, G_{19}) → b_{36}
  799. Point(q) → K_{19}
  800. Segment(K_{19}, J_{19}) → c_{36}
  801. Segment(L_{19}, K_{19}) → d_{36}
  802. Point(g) → M_{19}
  803. Segment(L_{19}, M_{19}) → e_{36}
  804. Segment(M_{19}, N_{19}) → f_{36}
  805. Segment(N_{19}, G_{16}) → g_{36}
  806. Segment(G_{16}, O_{19}) → h_{36}
  807. Segment(O_{19}, M_{19}) → i_{36}
  808. Segment(M_{19}, P_{19}) → j_{36}
  809. Segment(P_{19}, K_{19}) → k_{36}
  810. Segment(K_{19}, Q_{19}) → l_{36}
  811. Segment(Q_{19}, G_{19}) → m_{36}
  812. Segment(G_{19}, R_{19}) → n_{36}
  813. Segment(R_{19}, W_{15}) → p_{36}
  814. Segment(W_{15}, S_{19}) → q_{36}
  815. Segment(S_{19}, V_{18}) → r_{36}
  816. Segment(V_{18}, T_{19}) → s_{36}
  817. Segment(T_{19}, E_{19}) → t_{36}
  818. Segment(E_{19}, U_{19}) → a_{37}
  819. Segment(U_{19}, G_{19}) → b_{37}
  820. Segment(V_{18}, V_{19}) → c_{37}
  821. Segment(V_{19}, Z_{18}) → d_{37}
  822. Segment(Z_{18}, W_{19}) → e_{37}
  823. Segment(W_{19}, P_{18}) → f_{37}
  824. Segment(P_{18}, Z_{19}) → g_{37}
  825. Segment(Z_{19}, M_{15}) → h_{37}
  826. Segment(M_{15}, A_{20}) → i_{37}
  827. Segment(A_{20}, V_{18}) → j_{37}
  828. Segment(B_{20}, E_{15}) → k_{37}
  829. Segment(B_{20}, M_{18}) → l_{37}
  830. Segment(R_{18}, D_{20}) → p_{37}
  831. Segment(D_{20}, P_{18}) → q_{37}
  832. Segment(P_{18}, E_{20}) → r_{37}
  833. Segment(E_{20}, E_{15}) → s_{37}
  834. Segment(M_{19}, F_{20}) → t_{37}
  835. Segment(F_{20}, O_{16}) → a_{38}
  836. Segment(O_{16}, G_{20}) → b_{38}
  837. Point(h) → H_{20}
  838. Segment(G_{20}, H_{20}) → c_{38}
  839. Segment(H_{20}, I_{20}) → d_{38}
  840. Point(q) → J_{20}
  841. Segment(I_{20}, J_{20}) → e_{38}
  842. Segment(J_{20}, K_{20}) → f_{38}
  843. Segment(K_{20}, M_{19}) → g_{38}
  844. Segment(M_{19}, L_{20}) → h_{38}
  845. Segment(L_{20}, O_{16}) → i_{38}
  846. Segment(O_{16}, M_{20}) → j_{38}
  847. Segment(M_{20}, H_{20}) → k_{38}
  848. Segment(H_{20}, N_{20}) → l_{38}
  849. Segment(N_{20}, J_{20}) → m_{38}
  850. Segment(J_{20}, O_{20}) → n_{38}
  851. Segment(O_{20}, M_{19}) → p_{38}
  852. Segment(P_{20}, K_{17}) → q_{38}
  853. Segment(H_{20}, P_{20}) → r_{38}
  854. Segment(Q_{20}, H_{20}) → s_{38}
  855. Point(q) → R_{20}
  856. Segment(Q_{20}, R_{20}) → t_{38}
  857. Segment(R_{20}, S_{20}) → a_{39}
  858. Point(i) → T_{20}
  859. Segment(S_{20}, T_{20}) → b_{39}
  860. Segment(T_{20}, U_{20}) → c_{39}
  861. Segment(U_{20}, K_{17}) → d_{39}
  862. Segment(K_{17}, V_{20}) → e_{39}
  863. Segment(V_{20}, H_{20}) → f_{39}
  864. Segment(H_{20}, W_{20}) → g_{39}
  865. Segment(W_{20}, R_{20}) → h_{39}
  866. Segment(R_{20}, Z_{20}) → i_{39}
  867. Segment(Z_{20}, T_{20}) → j_{39}
  868. Segment(T_{20}, A_{21}) → k_{39}
  869. Segment(A_{21}, K_{17}) → l_{39}
  870. Segment(B_{21}, T_{20}) → m_{39}
  871. Segment(B_{21}, V_{17}) → n_{39}
  872. Segment(V_{17}, C_{21}) → p_{39}
  873. Point(j) → D_{21}
  874. Segment(C_{21}, D_{21}) → q_{39}
  875. Segment(D_{21}, E_{21}) → r_{39}
  876. Point(q) → F_{21}
  877. Segment(E_{21}, F_{21}) → s_{39}
  878. Segment(F_{21}, G_{21}) → t_{39}
  879. Segment(G_{21}, T_{20}) → a_{40}
  880. Segment(D_{21}, H_{21}) → b_{40}
  881. Segment(H_{21}, D_{18}) → c_{40}
  882. Segment(D_{18}, I_{21}) → d_{40}
  883. Point(k) → J_{21}
  884. Segment(I_{21}, J_{21}) → e_{40}
  885. Point(q) → L_{21}
  886. Segment(L_{21}, M_{21}) → h_{40}
  887. Segment(M_{21}, D_{21}) → i_{40}
  888. Segment(N_{21}, V_{17}) → j_{40}
  889. Segment(N_{21}, T_{20}) → k_{40}
  890. Segment(T_{20}, O_{21}) → l_{40}
  891. Segment(O_{21}, F_{21}) → m_{40}
  892. Segment(F_{21}, P_{21}) → n_{40}
  893. Segment(P_{21}, D_{21}) → p_{40}
  894. Segment(D_{21}, Q_{21}) → q_{40}
  895. Segment(Q_{21}, V_{17}) → r_{40}
  896. Segment(R_{21}, D_{18}) → s_{40}
  897. Segment(R_{21}, D_{21}) → t_{40}
  898. Segment(D_{21}, S_{21}) → a_{41}
  899. Segment(S_{21}, L_{21}) → b_{41}
  900. Segment(J_{21}, U_{21}) → e_{41}
  901. Segment(U_{21}, D_{18}) → f_{41}
  902. Polygon(O_{11}, P_{11}, I_6, H_6, T_6, J_6, V_{11}) → poly1, o_{11}, p_{41}, i_{41}, h_{41}, t_{41}, j_{41}, v_{11}
  903. Polygon(H_6, D_{16}, I_{12}, D_{12}, C_{12}, Q_6) → poly2, h_{42}, d_{42}, i_{42}, d_{43}, c_{42}, q_{41}
  904. Polygon(O_{11}, U_{11}, B_{15}, C_{15}, J_{15}, A_{12}) → poly3, o_1, u_{11}, b_{42}, c_{43}, j_{42}, a_{42}
  905. Polygon(C_{15}, Q_{15}, F_{12}, J_{12}, D_{12}, E_{12}, K_{15}) → poly4, c_{44}, q_{42}, f_{42}, j_{43}, d_{44}, e_{42}, k_{41}
  906. Polygon(R_{11}, W_{11}, S_6, E_6, K_6, Q_{11}) → poly5, r_{41}, w_{11}, s_{41}, e_{43}, k_{42}, q_{43}
  907. Polygon(R_{11}, H_{12}, Z_6, N_6, O_6, P_6, B_{12}) → poly6, r_{42}, h_{43}, z_6, n_{41}, o_6, p_{42}, b_{43}
  908. Polygon(N_6, M_6, F_2, E_2, A_2, B_6, A_7) → poly7, n_{42}, m_{41}, f_{43}, e_{44}, a_{43}, b_{44}, a_{44}
  909. Polygon(A_2, W_5, R_6, E_6, F_6, Z_1, W_1) → poly8, a_{45}, w_5, r_{43}, e_{45}, f_{44}, z_1, w_1
  910. Polygon(N_6, D_7, E_7, S_{12}, N_{12}, M_{12}) → poly9, n_{43}, d_{45}, e_{46}, s_{42}, n_{44}, m_{42}
  911. Polygon(H_6, U_6, Z_1, V_5, U_1, V_1, G_6) → poly10, h_{44}, u_6, z_2, v_5, u_1, v_1, g_{41}
  912. Polygon(H_6, L_6, F_2, G_2, D_2, C_6, V_6) → poly11, h_{45}, l_{41}, f_{45}, g_{42}, d_{46}, c_{45}, v_6
  913. Polygon(D_2, C_2, D_1, C_1, T, N_5, D_6) → poly12, d_{47}, c_{46}, d_{48}, c_{47}, t_{42}, n_{45}, d_{49}
  914. Polygon(T, T_5, W, U_5, U_1, Q_1, Z) → poly13, t_{43}, t_{44}, w, u_5, u_2, q_{44}, z_3
  915. Polygon(A_2, Z_5, S_5, N_1, U, W, T_1) → poly14, a_{46}, z_5, s_{43}, n_{46}, u, w_2, t_{45}
  916. Point(a) → V_{21}
  917. Point(a) → W_{21}
  918. Segment(W_{21}, Z_{21}) → g_{43}
  919. Polygon(H_1, O_5, A_6, A_2, B_2, D_1, F_1) → poly17, h_{48}, o_5, a_{47}, a_{48}, b_{46}, d_{51}, f_{46}
  920. Polygon(G_1, Q_5, T, S) → poly18, g_{47}, q_{45}, t_{46}, s_{44}
  921. Polygon(T, P_1, O_1, M_5) → poly19, t_{47}, p_{46}, o_3, m_{45}
  922. Polygon(O_1, K_1, P_2, I_2, B_5, H_1, P_5) → poly15, o_2, k_{43}, p_{43}, i_{43}, b_{45}, h_{46}, p_{44}
  923. Polygon(T_2, O_2, H_1, A_5) → poly16, t_{48}, o_4, h_{47}, a_{49}
  924. Polygon(D_2, E_5, I_2, C_5, R_2, Q_2, H_2) → poly20, d_{50}, e_9, i_{44}, c_{48}, r_{44}, q_{46}, h_{49}
  925. Polygon(T_2, D_5, V_4, B_3, C_3, R_2, S_2) → poly21, t_{49}, d_{52}, v_4, b_{47}, c_{49}, r_{45}, s_{45}
  926. Polygon(V_2, U_2, R_2, U_4) → poly22, v_2, u_3, r_{46}, u_4
  927. Polygon(D_2, N_2, M_2, H_7, G_7, I_7, F_5) → poly23, d_{53}, n_{47}, m_{43}, h_{50}, g_{44}, i_{45}, f_9
  928. Polygon(N_6, C_7, G_5, K_2, L_2, B_7) → poly24, n_{48}, c_{50}, g_{45}, k_{44}, l_{42}, b_{48}
  929. Polygon(K_2, D_3, A_3, Z_2, W_4, B_3, I_5) → poly25, k_{45}, d_{54}, a_{50}, z_4, w_4, b_{49}, i_{46}
  930. Polygon(F_3, E_3, B_3, L_5) → poly26, f_{47}, e_{47}, b_{50}, l_{43}
  931. Polygon(R_{11}, Z_{11}, G_{15}, Z_{14}, A_{15}, F_{17}) → poly27, r_{47}, z_{11}, g_{46}, z_{14}, a_{51}, f_{48}
  932. Polygon(R_{11}, G_{12}, P_{15}, O_{15}, T_{15}, F_{12}, K_{12}) → poly28, r_{48}, g_{48}, p_{45}, o_{15}, t_{50}, f_{49}, k_{46}
  933. Polygon(Z_{14}, F_{15}, O_{18}, P_{18}, E_{20}, H_{15}) → poly29, z_7, f_{50}, o_{18}, p_{47}, e_{48}, h_{51}
  934. Polygon(M_{18}, B_{20}, E_{15}, N_{18}) → poly30, m_{44}, b_{51}, e_{49}, n_{49}
  935. Polygon(P_{18}, T_{18}, N_{15}, O_{15}, S_{15}, M_{15}, Z_{19}) → poly31, p_{48}, t_{51}, n_{50}, o_7, s_{46}, m_{46}, z_{19}
  936. Polygon(C_{15}, I_{15}, E_{15}, B_{20}, M_{18}, N_{18}, D_{15}) → poly32, c_{51}, i_{47}, e_{50}, b_{52}, m_{47}, n_{51}, d_{55}
  937. Polygon(M_{15}, R_{15}, C_{15}, L_{15}) → poly33, m_{48}, r_{49}, c_{52}, l_{44}
  938. Polygon(M_{15}, A_{20}, V_{18}, U_{18}) → poly34, m_{49}, a_{52}, v_{18}, u_{18}
  939. Polygon(V_{18}, B_{19}, Z_{15}, A_{16}, S_{16}, W_{15}, S_{19}) → poly35, v_3, b_{53}, z_{15}, a_{53}, s_{47}, w_{15}, s_{48}
  940. Polygon(A_{16}, T_{16}, U_{12}, D_{12}, Q_{12}, P_{12}, B_{16}) → poly36, a_{54}, t_{52}, u_{12}, d_{56}, q_{47}, p_{49}, b_{54}
  941. Polygon(I_2, H_5, K_2, J_2) → poly37, i_{48}, h_{52}, k_{47}, j_{44}
  942. Polygon(P_{18}, D_{20}, R_{18}, Q_{18}) → poly38, p_{50}, d_{57}, r_{50}, q_{48}
  943. Polygon(P_{18}, A_{19}, Z_{18}, W_{19}) → poly39, p_{51}, a_{55}, z_{18}, w_{19}
  944. Polygon(V_{18}, V_{19}, Z_{18}, W_{18}) → poly40, v_7, v_{19}, z_8, w_{18}
  945. Polygon(V_{18}, C_{19}, E_{19}, T_{19}) → poly41, v_8, c_{53}, e_{51}, t_{34}
  946. Polygon(O_{15}, V_{15}, W_{15}, D_{19}, G_{19}, R_{19}, R_{16}) → poly42, o_8, v_{15}, w_3, d_{58}, g_{49}, r_{51}, r_{52}
  947. Polygon(O_{15}, U_{15}, P_{12}, O_{12}, N_{12}, T_{12}, Q_{16}) → poly43, o_9, u_{15}, p_{52}, o_{12}, n_{37}, t_{53}, q_{49}
  948. Polygon(G_{19}, J_{19}, K_{19}, Q_{19}) → poly44, g_{50}, j_{45}, k_{48}, q_{50}
  949. Polygon(E_{19}, F_{19}, G_{19}, H_{19}, G_{16}, I_{19}, U_{19}) → poly45, e_{52}, f_{51}, g_{51}, h_{53}, g_{52}, i_{49}, u_{19}
  950. Polygon(A_{16}, W_{16}, O_{19}, O_{20}, J_{20}, K_{20}, N_{19}, F_{16}) → poly46, a_{56}, w_{16}, o_{19}, o_{20}, j_{46}, k_{49}, n_{52}, f_{52}
  951. Polygon(D_{12}, R_{12}, S_3, J_3, I_3, L_7, F_7, L_{12}, J_7, M_7, K_5, M_4, L_4, Q_4, Z_3, W_3) → poly47, d_{59}, w_6, s_{34}, j_{48}, i_{50}, l_{46}, f_{53}, l_{47}, r_{53}, j_{47}, m_{37}, k_{50}, m_{50}, l_{45}, q_{51}, z_9
  952. Polygon(G_7, N_7, W_{12}, I_{13}, L_{16}, M_{16}, B_{17}, O_{13}, G_{13}, T_7) → poly48, g_{53}, t_{54}, n_{53}, w_{12}, i_{51}, l_{48}, m_{51}, b_{55}, o_{13}, g_{54}
  953. Polygon(A_{16}, U_{16}, W_9, H_4, Z_7, O_8, H_8, H_{13}, A_{13}, E_{16}, F_{13}, N_{13}, N_8, U_8, W_7, D_8, E_{10}, F_9) → poly49, a_{57}, f_{55}, w_9, h_{54}, z_{10}, o_{10}, h_{55}, h_{56}, a_{58}, e_{54}, u_{16}, f_{54}, n_{54}, n_{55}, u_8, w_7, d_{60}, e_{53}
  954. Polygon(M_9, L_9, E_9, F_9, J_9, S_9) → poly50, m_{52}, l_{49}, e_{55}, f_{56}, j_{49}, s_{49}
  955. Polygon(F_3, K_3, J_8, P_8, W_{13}, V_{13}, Z_{13}, V_8, K_8, N_4) → poly51, f_{57}, n_{56}, k_{51}, j_{17}, p_{53}, w_{13}, v_{13}, z_{13}, v_9, k_{52}
  956. Polygon(M_{16}, L_{17}, U_{20}, G_{21}, F_{21}, O_{21}, A_{21}, P_{17}) → poly52, m_{53}, l_{50}, u_{20}, g_{55}, f_{58}, o_{21}, a_{17}, p_{54}
  957. Polygon(F_{21}, E_{21}, H_{21}, C_{18}, B_{18}, K_{18}, D_{18}, R_{21}, P_{21}) → poly53, f_{59}, e_{56}, h_{57}, c_{54}, b_{17}, k_{53}, d_{61}, r_{54}, p_{55}
  958. Polygon(V_{13}, E_{14}, S_{17}, Z_{17}, I_{21}, J_{21}, U_{21}, J_{18}, I_{18}, K_{14}) → poly54, v_{10}, k_{54}, e_{57}, s_{50}, z_{17}, i_{17}, j_{50}, u_{21}, j_{51}, i_{52}
  959. Polygon(R_{20}, Z_{20}, T_{17}, U_{17}, V_{17}, B_{21}, T_{20}, S_{20}, N_{21}, G_{18}, H_{18}, V_{14}, P_{14}, Q_{14}, R_{14}, W_{17}) → poly55, r_{55}, w_{17}, t_{55}, u_{17}, v_{17}, b_{56}, t_{56}, s_{51}, z_{20}, n_{57}, g_{40}, h_{58}, v_{14}, p_{56}, q_{52}, r_{56}
  960. Polygon(N_6, D_7, S_{12}, E_7, K_7, M_{12}, C_{13}, J_{16}, I_{16}, V_{16}, B_{13}, E_{13}, N_{12}) → poly56, n_{58}, n_{59}, s_{52}, e_{59}, k_{55}, d_{41}, m_{54}, c_{41}, j_{52}, i_{53}, v_{16}, b_{57}, e_{58}
  961. Polygon(I_{16}, P_{16}, G_{20}, Q_{20}, R_{20}, W_{20}, H_{20}, M_{20}, O_{16}, C_{17}) → poly57, i_{54}, c_{55}, p_{57}, g_{56}, q_{53}, r_{57}, w_{20}, h_{59}, m_{55}, o_{16}
  962. Polygon(P_{19}, K_{19}, C_{11}, U_{10}, J_{14}, V_{13}, A_{14}, T_{13}, M_{17}, M_{16}, D_{17}, O_{16}, L_{19}, L_{20}, M_{19}, F_{20}, N_{16}, G_{17}, U_{13}, D_{14}, V_{10}, W_{10}) → poly58, p_{58}, w_{10}, c_{56}, u_{10}, j_{53}, v_{20}, a_{59}, t_{57}, m_{56}, m_{57}, d_{63}, k_{56}, o_{14}, l_{52}, m_{58}, l_{51}, f_{40}, n_{60}, g_{57}, u_{13}, d_{62}, v_{12}
  963. Polygon(H_4, Z_9, Z_{10}, F_{11}, O_{14}, P_{14}, U_{14}, L_{11}, D_{11}, F_{10}) → poly59, h_{60}, f_{61}, z_{12}, z_{16}, f_{60}, o_{17}, p_{59}, u_{14}, l_{53}, d_{64}
  964. Polygon(V_3, I_4, R_4, A_8, H_4, G_4, D_4, E_4, T_3, U_3) → poly60, v_{21}, u_7, i_{55}, r_{58}, a_{60}, h_{61}, g_{58}, d_{65}, e_{60}, t_{58}
  965. Polygon(W_{10}, K_{11}, Q_{10}, M_{10}, L_{10}, K_{10}, E_{11}) → poly61, w_8, k_{57}, q_{54}, m_{59}, l_{54}, k_{58}, e_{61}
  966. Polygon(B_9, K_9, U_9, R_{10}, M_{10}, N_{10}, Q_9, R_9, D_9, C_9) → poly62, b_{58}, c_{57}, k_{59}, u_9, r_{59}, m_{60}, n_{61}, q_{55}, r_{60}, d_{66}
  967. Polygon(V_2, Z_4, K_4, P_4, N_3, O_3, P_3, R_3, Z_2, W_2) → poly63, v_{22}, w_{14}, z_{21}, k_{60}, p_{60}, n_{62}, o_{22}, p_{61}, r_{61}, z_{22}
  968. Polygon(Z_2, Q_3, V_3, J_4) → poly64, z_{23}, q_{56}, v_{23}, j_{54}
  969. Polygon(K_2, G_3, S_7, J_5, R_7, F_8, M_{13}, L_{13}, Q_{13}, G_8, M_8, Q_7) → poly65, k_{61}, q_{58}, s_{53}, j_{55}, g_{59}, r_{62}, f_{62}, m_{61}, l_{55}, q_{57}, g_{60}, m_{62}
  970. Polygon(N_{12}, D_{13}, B_4, C_4, D_4, F_4, N_3, M_3, L_3, E_8, Q_7, P_7, U_7, O_7, V_{12}, L_8, O_4, B_8, S_4, H_9, B_9, A_9) → poly66, n_{63}, a_{61}, b_{61}, c_{58}, d_{68}, f_{63}, n_{64}, m_{63}, l_{57}, e_{62}, q_{59}, d_{67}, p_{62}, o_{24}, v_{24}, u_{22}, l_{56}, o_{23}, b_{59}, s_{54}, h_{62}, b_{60}
  971. Polygon(N_3, V_7, S_8, Z_8, C_8, W_7, T_8, T_{10}, I_{14}, H_{14}, M_{14}, U_{10}, B_{11}) → poly67, n_{65}, b_{62}, s_{55}, z_{24}, c_{59}, v_{25}, w_{21}, t_{59}, t_{60}, i_{56}, h_{63}, m_{64}, u_{23}
  972. Polygon(I_{16}, K_{16}, V_9, Q_9, O_{10}, C_{10}, G_{10}, A_{10}, A_{11}, S_8, W_8, Q_8, K_{13}, C_{14}, L_{13}, P_{13}, J_{13}, A_{17}, R_{13}, R_8, S_{10}, B_{10}, I_{10}, P_9, O_9) → poly68, i_{57}, o_{25}, v_{26}, q_{60}, o_{26}, c_{60}, g_{61}, a_{62}, a_{63}, s_{57}, w_{22}, k_{62}, q_{61}, c_{61}, l_{58}, p_{64}, j_{56}, a_{64}, k_{63}, r_{63}, r_{64}, s_{56}, b_{63}, i_{58}, p_{63}
  973. Polygon(Z_{16}, G_{16}, H_{16}, I_{16}) → poly69, z_{25}, g_{62}, h_{64}, i_{59}
  974. Polygon(J_{20}, I_{20}, G_{11}, T_{14}, L_{14}, F_{14}, E_{18}, O_{17}, K_{17}, V_{20}, H_{20}, N_{20}, P_{20}, J_{17}, Q_{17}, G_{14}, N_{14}, H_{11}, I_{11}, M_{11}) → poly70, j_{57}, m_{65}, g_{64}, t_{61}, l_{59}, f_{64}, e_{63}, o_{27}, k_{64}, v_{27}, h_{66}, i_{60}, n_{67}, p_{65}, j_{58}, q_{62}, g_{63}, n_{66}, h_{65}, i_{61}
  975. Polygon(L_{13}, S_{13}, N_{17}, T_{13}, B_{14}, H_{17}, R_{17}, C_{21}, D_{21}, Q_{21}, V_{17}, F_{18}, I_{17}) → poly71, l_{60}, i_{62}, n_{68}, t_{62}, b_{64}, s_{58}, h_{67}, r_{65}, c_{62}, d_{69}, q_{63}, v_{28}, f_{65}
  976. Polygon(B_{18}, A_{18}, S_{14}, H_{14}, W_{14}, R_{14}, L_{18}) → poly72, b_{65}, a_{65}, s_{59}, h_{68}, w_{23}, r_{66}, l_{61}
  977. Polygon(D_{21}, M_{21}, L_{21}, S_{21}) → poly73, d_{70}, m_{66}, l_{62}, s_{60}
  978. Polygon(Z_3, T_4, G_9, B_4, A_4, I_9, H_{10}, P_{10}, K_{10}, J_{10}, C_{10}, D_{10}, F_9) → poly74, z_{26}, f_{66}, g_{65}, b_{66}, a_{66}, t_{63}, i_{63}, h_{69}, p_{66}, k_{65}, j_{59}, c_{63}, d_{71}
  979. Polygon(K_{10}, N_{11}, I_{11}, J_{11}) → poly75, k_{66}, n_{69}, i_{64}, j_{60}
  980. Segment(H_6, L_6) → r
  981. Segment(L_6, F_2) → s
  982. Segment(F_2, M_6) → j_{61}
  983. Segment(M_6, N_6) → s_{61}
  984. Segment(N_6, O_6) → j_{62}
  985. Segment(O_6, P_6) → s_{62}
  986. Segment(P_6, Q_6) → j_{63}
  987. Segment(Q_6, H_6) → l_{63}
  988. Segment(C_{12}, I_{12}) → s_{63}
  989. Segment(I_{12}, H_{12}) → c_{64}
  990. Segment(H_{12}, B_{12}) → e_{64}
  991. Segment(B_{12}, Q_6) → j_{64}
  992. Segment(Q_6, D_{16}) → l_{64}
  993. Segment(D_{16}, Z_6) → q_{64}
  994. Segment(Z_6, O_6) → s_{64}
  995. Segment(O_6, C_{12}) → t_{64}
  996. Segment(M_6, A_7) → c_{65}
  997. Segment(Z_6, A_7) → e_{65}
  998. Segment(M_6, B_7) → i_{65}
  999. Segment(B_7, C_7) → j_{65}
  1000. Segment(C_7, K_7) → l_{65}
  1001. Segment(K_7, D_7) → q_{65}
  1002. Segment(D_7, O_6) → s_{65}
  1003. Segment(Q_6, I_6) → t_{65}
  1004. Segment(I_6, T_6) → c_{66}
  1005. Segment(T_6, U_6) → e_{66}
  1006. Segment(U_6, G_6) → g_{66}
  1007. Segment(G_6, L_6) → i_{66}
  1008. Segment(L_6, V_6) → j_{66}
  1009. Segment(V_6, D_{16}) → l_{66}
  1010. Segment(B_6, E_2) → q_{66}
  1011. Segment(E_2, L_6) → s_{66}
  1012. Segment(B_6, C_6) → t_{66}
  1013. Segment(C_6, G_2) → a_{67}
  1014. Segment(G_2, M_6) → b_{67}
  1015. Segment(A_7, V_6) → c_{67}
  1016. Intersect(d, l) → R
  1017. Point(d) → R_5
  1018. Segment(R, R_5) → e_{67}
  1019. Intersect(e, m) → N_9
  1020. Segment(R_5, N_9) → f_{67}
  1021. Intersect(e, l) → T_9
  1022. Segment(N_9, T_9) → g_{67}
  1023. Segment(T_9, R) → i_{67}
  1024. Segment(D_6, C_6) → j_{67}
  1025. Segment(D_6, C_2) → k_{67}
  1026. Segment(C_2, H_2) → l_{67}
  1027. Segment(H_2, E_5) → m_{67}
  1028. Segment(E_5, F_5) → p_{67}
  1029. Segment(F_5, N_2) → q_{67}
  1030. Segment(N_2, G_2) → r_{67}
  1031. Segment(N_2, B_7) → s_{67}
  1032. Segment(F_5, G_5) → t_{67}
  1033. Segment(G_5, L_2) → a_{68}
  1034. Segment(L_2, H_7) → b_{68}
  1035. Segment(H_7, I_7) → c_{68}
  1036. Segment(I_7, C_7) → e_{68}
  1037. Segment(U_6, R_6) → f_{68}
  1038. Segment(R_6, F_6) → g_{68}
  1039. Segment(F_6, V_1) → i_{68}
  1040. Segment(V_1, V_5) → j_{68}
  1041. Segment(V_5, W_5) → k_{68}
  1042. Segment(W_5, W_1) → l_{68}
  1043. Segment(W_1, G_6) → m_{68}
  1044. Segment(E_2, W_1) → p_{68}
  1045. Segment(D_6, A_6) → q_{68}
  1046. Segment(S_6, R_6) → r_{68}
  1047. Segment(B_{12}, Q_{11}) → s_{68}
  1048. Segment(M_1, R) → t_{68}
  1049. Segment(T_9, A_1) → a_{69}
  1050. Segment(A_1, M_1) → b_{69}
  1051. Intersect(c, f) → S_{18}
  1052. Segment(A_1, S_{18}) → c_{69}
  1053. Intersect(f, l) → C_{20}
  1054. Segment(S_{18}, C_{20}) → e_{69}
  1055. Segment(C_{20}, T_9) → f_{69}
  1056. Intersect(f, m) → K_{21}
  1057. Segment(N_9, K_{21}) → g_{69}
  1058. Segment(K_{21}, C_{20}) → i_{69}
  1059. Segment(W_5, Z_5) → j_{69}
  1060. Segment(Z_5, T_1) → k_{69}
  1061. Segment(T_1, B_2) → l_{69}
  1062. Segment(B_2, A_6) → m_{69}
  1063. Segment(A_6, B_6) → p_{69}
  1064. Segment(T_6, S_6) → q_{69}
  1065. Segment(G_5, H_5) → r_{69}
  1066. Segment(H_5, E_5) → s_{69}
  1067. Segment(K_7, J_7) → t_{69}
  1068. Segment(J_7, I_7) → a_{70}
  1069. Segment(L_{12}, D_7) → b_{70}
  1070. Segment(L_{12}, C_{12}) → c_{70}
  1071. Segment(Q_{11}, I_6) → e_{70}
  1072. Segment(P_{11}, K_6) → f_{70}
  1073. Segment(W_{11}, V_{11}) → g_{70}
  1074. Segment(V_{11}, P_{11}) → h_{70}
  1075. Segment(W_{11}, Q_{11}) → i_{70}
  1076. Segment(S_6, K_6) → j_{70}
  1077. Segment(T_{21}, N_1) → k_{70}
  1078. Segment(T_{21}, G_1) → l_{70}
  1079. Segment(N_1, A_{22}) → m_{70}
  1080. Segment(A_{22}, G_1) → n_{70}
  1081. Segment(B_{22}, M_9) → p_{70}
  1082. Segment(O_9, B_{22}) → q_{70}
  1083. Segment(O_9, C_{22}) → r_{70}
  1084. Segment(C_{22}, M_9) → s_{70}
  1085. Segment(D_{22}, L_{21}) → t_{70}
  1086. Segment(D_{22}, J_{21}) → a_{71}
  1087. Segment(S_{21}, E_{22}) → b_{71}
  1088. Segment(E_{22}, U_{21}) → c_{71}
  1089. Segment(U_{21}, R_{21}) → e_{71}
  1090. Segment(R_{21}, S_{21}) → f_{71}
  1091. Segment(M_{21}, E_{21}) → g_{71}
  1092. Point(q) → F_{22}
  1093. Segment(F_{22}, M_{21}) → h_{71}
  1094. Point(q) → G_{22}
  1095. Segment(G_{22}, E_{21}) → i_{71}
  1096. Segment(L_{21}, E_{22}) → j_{71}
  1097. Segment(E_{22}, J_{21}) → k_{71}
  1098. Segment(S_{21}, M_{21}) → l_{71}
  1099. Segment(E_{21}, P_{21}) → m_{71}
  1100. Segment(P_{21}, Q_{21}) → n_{71}
  1101. Segment(Q_{21}, C_{21}) → p_{71}
  1102. Segment(C_{21}, H_{21}) → q_{71}
  1103. Segment(H_{21}, R_{21}) → r_{71}
  1104. Segment(U_{21}, I_{21}) → s_{71}
  1105. Point(k) → H_{22}
  1106. Segment(I_{21}, H_{22}) → t_{71}
  1107. Segment(E_{22}, D_{22}) → a_{72}
  1108. Point(k) → I_{22}
  1109. Segment(D_{22}, I_{22}) → b_{72}
  1110. Segment(C_{18}, I_{21}) → c_{72}
  1111. Point(k) → J_{22}
  1112. Segment(C_{18}, J_{22}) → d_{72}
  1113. Segment(C_{18}, K_{18}) → e_{72}
  1114. Segment(K_{18}, L_{18}) → f_{72}
  1115. Segment(V_{20}, W_{20}) → g_{72}
  1116. Segment(W_{20}, Z_{20}) → h_{72}
  1117. Segment(Z_{20}, A_{21}) → i_{72}
  1118. Segment(A_{21}, V_{20}) → j_{72}
  1119. Segment(Z_{20}, S_{20}) → k_{72}
  1120. Segment(S_{20}, G_{21}) → l_{72}
  1121. Segment(G_{21}, O_{21}) → m_{72}
  1122. Segment(O_{21}, N_{21}) → n_{72}
  1123. Segment(N_{21}, B_{21}) → p_{72}
  1124. Segment(B_{21}, U_{20}) → q_{72}
  1125. Segment(U_{20}, A_{21}) → r_{72}
  1126. Point(q) → K_{22}
  1127. Segment(S_{20}, K_{22}) → s_{72}
  1128. Point(q) → L_{22}
  1129. Segment(L_{22}, G_{21}) → t_{72}
  1130. Segment(P_{21}, O_{21}) → a_{73}
  1131. Segment(N_{21}, Q_{21}) → b_{73}
  1132. Segment(U_{17}, C_{21}) → c_{73}
  1133. Segment(Z_{17}, U_{17}) → d_{73}
  1134. Segment(H_{21}, Z_{17}) → e_{73}
  1135. Segment(Z_{17}, J_{18}) → f_{73}
  1136. Segment(J_{18}, K_{18}) → g_{73}
  1137. Segment(L_{18}, H_{18}) → h_{73}
  1138. Segment(H_{18}, J_{18}) → i_{73}
  1139. Segment(W_{17}, H_{18}) → j_{73}
  1140. Segment(W_{17}, S_{17}) → k_{73}
  1141. Segment(S_{17}, I_{18}) → l_{73}
  1142. Segment(I_{18}, G_{18}) → m_{73}
  1143. Segment(G_{18}, U_{17}) → n_{73}
  1144. Segment(G_{18}, F_{18}) → p_{73}
  1145. Segment(F_{18}, R_{17}) → q_{73}
  1146. Segment(R_{17}, B_{21}) → r_{73}
  1147. Segment(U_{20}, J_{17}) → s_{73}
  1148. Segment(J_{17}, R_{17}) → t_{73}
  1149. Segment(J_{17}, O_{17}) → a_{74}
  1150. Segment(O_{17}, P_{17}) → b_{74}
  1151. Segment(P_{17}, L_{17}) → c_{74}
  1152. Segment(L_{17}, P_{20}) → d_{74}
  1153. Segment(P_{20}, V_{20}) → e_{74}
  1154. Segment(O_{17}, N_{17}) → f_{74}
  1155. Segment(N_{17}, H_{17}) → g_{74}
  1156. Segment(H_{17}, Q_{17}) → h_{74}
  1157. Segment(Q_{17}, E_{18}) → i_{74}
  1158. Segment(E_{18}, F_{18}) → j_{74}
  1159. Segment(E_{18}, I_{18}) → k_{74}
  1160. Segment(L_{18}, A_{18}) → l_{74}
  1161. Segment(A_{18}, Q_{14}) → m_{74}
  1162. Segment(Q_{14}, V_{14}) → n_{74}
  1163. Segment(V_{14}, W_{14}) → p_{74}
  1164. Segment(W_{14}, S_{14}) → q_{74}
  1165. Segment(S_{14}, W_{17}) → r_{74}
  1166. Segment(S_{14}, G_{14}) → s_{74}
  1167. Segment(G_{14}, S_{17}) → t_{74}
  1168. Segment(G_{14}, L_{14}) → a_{75}
  1169. Segment(L_{14}, K_{14}) → b_{75}
  1170. Segment(K_{14}, E_{14}) → c_{75}
  1171. Segment(E_{14}, Q_{17}) → d_{75}
  1172. Segment(E_{14}, U_{13}) → e_{75}
  1173. Segment(U_{13}, H_{17}) → f_{75}
  1174. Segment(I_{14}, M_{14}) → g_{75}
  1175. Segment(M_{14}, L_{14}) → h_{75}
  1176. Segment(M_{14}, J_{14}) → i_{75}
  1177. Segment(J_{14}, K_{14}) → j_{75}
  1178. Segment(J_{14}, D_{14}) → k_{75}
  1179. Segment(D_{14}, W_{13}) → l_{75}
  1180. Segment(W_{13}, Z_{13}) → m_{75}
  1181. Segment(Z_{13}, A_{14}) → n_{75}
  1182. Segment(A_{14}, U_{13}) → p_{75}
  1183. Segment(I_{14}, V_{10}) → q_{75}
  1184. Segment(V_{10}, C_{11}) → r_{75}
  1185. Segment(C_{11}, B_{11}) → s_{75}
  1186. Segment(B_{11}, T_{10}) → t_{75}
  1187. Segment(T_{10}, D_{14}) → a_{76}
  1188. Segment(C_{11}, D_{11}) → b_{76}
  1189. Segment(D_{11}, A_{11}) → c_{76}
  1190. Segment(A_{11}, B_{11}) → d_{76}
  1191. Segment(F_{11}, V_{10}) → e_{76}
  1192. Segment(N_{14}, F_{11}) → f_{76}
  1193. Segment(N_{14}, I_{14}) → g_{76}
  1194. Segment(N_{14}, T_{14}) → h_{76}
  1195. Segment(T_{14}, W_{14}) → i_{76}
  1196. Segment(V_{14}, U_{14}) → j_{76}
  1197. Segment(U_{14}, T_{14}) → k_{76}
  1198. Segment(O_{14}, H_{11}) → l_{76}
  1199. Segment(H_{11}, M_{11}) → m_{76}
  1200. Segment(M_{11}, L_{11}) → n_{76}
  1201. Segment(L_{11}, F_{11}) → p_{76}
  1202. Segment(U_{14}, O_{14}) → q_{76}
  1203. Segment(K_{11}, L_{11}) → r_{76}
  1204. Segment(M_{11}, N_{11}) → s_{76}
  1205. Segment(N_{11}, K_{11}) → t_{76}
  1206. Segment(K_{11}, E_{11}) → a_{77}
  1207. Segment(E_{11}, J_{10}) → b_{77}
  1208. Segment(J_{10}, P_{10}) → c_{77}
  1209. Segment(P_{10}, Q_{10}) → d_{77}
  1210. Segment(Q_{10}, L_{10}) → e_{77}
  1211. Segment(L_{10}, J_{11}) → f_{77}
  1212. Segment(J_{11}, N_{11}) → g_{77}
  1213. Point(k) → M_{22}
  1214. Segment(M_{22}, H_{11}) → h_{77}
  1215. Point(k) → N_{22}
  1216. Segment(N_{22}, J_{11}) → i_{77}
  1217. Point(k) → O_{22}
  1218. Segment(O_{22}, L_{10}) → j_{77}
  1219. Point(k) → P_{22}
  1220. Segment(P_{22}, O_{14}) → k_{77}
  1221. Point(k) → Q_{22}
  1222. Segment(Q_{22}, Q_{14}) → l_{77}
  1223. Segment(Z_{10}, E_{11}) → m_{77}
  1224. Segment(Z_{10}, D_{11}) → n_{77}
  1225. Segment(Z_{10}, B_{10}) → p_{77}
  1226. Segment(B_{10}, J_{10}) → q_{77}
  1227. Segment(P_{10}, O_{10}) → r_{77}
  1228. Segment(O_{10}, R_{10}) → s_{77}
  1229. Segment(R_{10}, Q_{10}) → t_{77}
  1230. Segment(R_{10}, N_{10}) → a_{78}
  1231. Segment(I_{10}, R_9) → b_{78}
  1232. Segment(R_9, U_9) → c_{78}
  1233. Segment(V_9, U_9) → d_{78}
  1234. Segment(V_9, P_9) → e_{78}
  1235. Segment(P_9, N_{10}) → f_{78}
  1236. Segment(O_{10}, I_{10}) → g_{78}
  1237. Segment(I_{10}, D_{10}) → h_{78}
  1238. Segment(D_{10}, H_{10}) → i_{78}
  1239. Segment(H_{10}, G_{10}) → j_{78}
  1240. Segment(G_{10}, B_{10}) → k_{78}
  1241. Segment(G_{10}, F_{10}) → l_{78}
  1242. Segment(F_{10}, Z_9) → m_{78}
  1243. Segment(S_{10}, Z_9) → n_{78}
  1244. Segment(T_{10}, R_8) → p_{78}
  1245. Segment(R_8, W_8) → q_{78}
  1246. Segment(W_8, Z_8) → r_{78}
  1247. Segment(Z_8, T_8) → s_{78}
  1248. Segment(T_8, S_{10}) → t_{78}
  1249. Segment(S_{10}, A_{11}) → a_{79}
  1250. Segment(T_8, Z_7) → b_{79}
  1251. Segment(Z_7, Z_9) → c_{79}
  1252. Segment(F_{10}, E_{10}) → d_{79}
  1253. Segment(E_{10}, H_{10}) → e_{79}
  1254. Segment(R_9, E_9) → f_{79}
  1255. Segment(E_9, D_{10}) → g_{79}
  1256. Segment(E_9, J_9) → h_{79}
  1257. Segment(J_9, I_9) → i_{79}
  1258. Segment(I_9, G_9) → j_{79}
  1259. Segment(G_9, W_9) → k_{79}
  1260. Segment(W_9, G_4) → l_{79}
  1261. Segment(G_4, A_8) → m_{79}
  1262. Segment(A_8, D_8) → n_{79}
  1263. Segment(D_8, C_8) → p_{79}
  1264. Segment(C_8, B_8) → q_{79}
  1265. Segment(U_8, O_8) → r_{79}
  1266. Segment(O_8, V_7) → s_{79}
  1267. Segment(V_7, M_3) → t_{79}
  1268. Segment(M_3, J_8) → a_{80}
  1269. Segment(J_8, O_8) → b_{80}
  1270. Segment(V_8, U_8) → c_{80}
  1271. Segment(U_8, Z_8) → d_{80}
  1272. Segment(W_8, V_8) → e_{80}
  1273. Segment(R_8, W_{13}) → f_{80}
  1274. Segment(V_8, P_8) → g_{80}
  1275. Segment(P_8, R_{13}) → h_{80}
  1276. Segment(R_{13}, C_{14}) → i_{80}
  1277. Segment(C_{14}, Z_{13}) → j_{80}
  1278. Segment(A_{14}, B_{14}) → k_{80}
  1279. Segment(B_{14}, C_{14}) → l_{80}
  1280. Segment(R_{13}, M_{13}) → m_{80}
  1281. Segment(M_{13}, H_8) → n_{80}
  1282. Segment(H_8, P_8) → p_{80}
  1283. Segment(H_8, N_8) → q_{80}
  1284. Segment(N_8, K_8) → r_{80}
  1285. Segment(K_8, L_8) → s_{80}
  1286. Segment(L_8, M_8) → t_{80}
  1287. Segment(M_8, N_8) → a_{81}
  1288. Segment(M_{13}, Q_{13}) → b_{81}
  1289. Segment(Q_{13}, P_{13}) → c_{81}
  1290. Segment(P_{13}, K_{13}) → d_{81}
  1291. Segment(K_{13}, S_{13}) → e_{81}
  1292. Segment(S_{13}, G_{17}) → f_{81}
  1293. Segment(G_{17}, M_{17}) → g_{81}
  1294. Segment(M_{17}, N_{17}) → h_{81}
  1295. Segment(P_{17}, M_{17}) → i_{81}
  1296. Segment(G_{17}, L_{16}) → j_{81}
  1297. Segment(L_{16}, B_{17}) → k_{81}
  1298. Segment(B_{17}, D_{17}) → l_{81}
  1299. Segment(N_{16}, D_{17}) → m_{81}
  1300. Segment(L_{17}, N_{16}) → n_{81}
  1301. Segment(L_{16}, K_{13}) → p_{81}
  1302. Segment(P_{13}, O_{13}) → q_{81}
  1303. Segment(O_{13}, I_{13}) → r_{81}
  1304. Segment(I_{13}, K_{16}) → s_{81}
  1305. Segment(K_{16}, A_{17}) → t_{81}
  1306. Segment(A_{17}, B_{17}) → a_{82}
  1307. Segment(D_{17}, C_{17}) → b_{82}
  1308. Segment(C_{17}, A_{17}) → c_{82}
  1309. Segment(I_{13}, A_{13}) → d_{82}
  1310. Segment(A_{13}, J_{16}) → e_{82}
  1311. Segment(J_{16}, K_{16}) → f_{82}
  1312. Segment(P_{16}, C_{17}) → g_{82}
  1313. Segment(P_{16}, H_{16}) → h_{82}
  1314. Segment(H_{16}, Z_{16}) → i_{82}
  1315. Segment(V_{16}, Z_{16}) → j_{82}
  1316. Segment(V_{16}, J_{16}) → k_{82}
  1317. Segment(A_{13}, F_{13}) → l_{82}
  1318. Segment(F_{13}, E_{13}) → m_{82}
  1319. Segment(F_{13}, G_{13}) → n_{82}
  1320. Segment(G_{13}, W_{12}) → p_{82}
  1321. Segment(W_{12}, H_{13}) → q_{82}
  1322. Segment(H_{13}, N_{13}) → r_{82}
  1323. Segment(N_{13}, O_{13}) → s_{82}
  1324. Segment(Q_{13}, N_{13}) → t_{82}
  1325. Segment(H_{13}, F_8) → a_{83}
  1326. Segment(F_8, M_8) → b_{83}
  1327. Segment(P_7, W_{12}) → c_{83}
  1328. Intersect(d, n) → R_{22}
  1329. Segment(R_5, R_{22}) → d_{83}
  1330. Intersect(e, n) → S_{22}
  1331. Segment(R_{22}, S_{22}) → e_{83}
  1332. Segment(S_{22}, N_9) → f_{83}
  1333. Intersect(d, p) → T_{22}
  1334. Segment(T_{22}, R_{22}) → g_{83}
  1335. Intersect(e, p) → U_{22}
  1336. Segment(S_{22}, U_{22}) → h_{83}
  1337. Segment(U_{22}, T_{22}) → i_{83}
  1338. Intersect(f, n) → V_{22}
  1339. Segment(V_{22}, S_{22}) → j_{83}
  1340. Segment(V_{22}, K_{21}) → k_{83}
  1341. Segment(R_1, C_{20}) → l_{83}
  1342. Intersect(g, n) → W_{22}
  1343. Intersect(g, m) → Z_{22}
  1344. Segment(W_{22}, Z_{22}) → m_{83}
  1345. Segment(Z_{22}, R_1) → n_{83}
  1346. Segment(Z_{22}, K_{21}) → p_{83}
  1347. Segment(V_{22}, W_{22}) → q_{83}
  1348. Segment(N, W_{22}) → r_{83}
  1349. Intersect(h, m) → A_{23}
  1350. Segment(Z_{22}, A_{23}) → s_{83}
  1351. Segment(A_{23}, N) → t_{83}
  1352. Segment(A_{23}, S_1) → a_{84}
  1353. Segment(S_1, R_1) → b_{84}
  1354. Segment(Z_5, U_5) → c_{84}
  1355. Segment(U_5, V_5) → d_{84}
  1356. Segment(U_5, Q_1) → e_{84}
  1357. Point(a) → B_{23}
  1358. Segment(Q_1, B_{23}) → f_{84}
  1359. Point(a) → C_{23}
  1360. Segment(V_1, C_{23}) → g_{84}
  1361. Point(a) → D_{23}
  1362. Segment(F_6, D_{23}) → h_{84}
  1363. Point(a) → E_{23}
  1364. Segment(K_6, E_{23}) → i_{84}
  1365. Point(a) → F_{23}
  1366. Segment(P_{11}, F_{23}) → j_{84}
  1367. Point(a) → G_{23}
  1368. Segment(U_{11}, G_{23}) → k_{84}
  1369. Segment(U_{11}, A_{12}) → l_{84}
  1370. Segment(A_{12}, V_{11}) → m_{84}
  1371. Segment(Z_{11}, W_{11}) → n_{84}
  1372. Segment(Z_{11}, A_{12}) → p_{84}
  1373. Segment(C_1, B_2) → q_{84}
  1374. Segment(C_1, Z) → r_{84}
  1375. Segment(Z, T_1) → s_{84}
  1376. Segment(C_1, N_5) → t_{84}
  1377. Segment(N_5, O_5) → a_{85}
  1378. Segment(O_5, F_1) → b_{85}
  1379. Segment(F_1, C_2) → c_{85}
  1380. Segment(P_2, H_2) → d_{85}
  1381. Segment(P_2, F_1) → e_{85}
  1382. Segment(H_5, J_2) → f_{85}
  1383. Segment(Q_2, J_2) → g_{85}
  1384. Segment(J_2, D_3) → h_{85}
  1385. Segment(D_3, C_3) → i_{85}
  1386. Segment(C_3, Q_2) → j_{85}
  1387. Segment(Q_2, C_5) → k_{85}
  1388. Segment(C_5, B_5) → l_{85}
  1389. Segment(B_5, P_2) → m_{85}
  1390. Segment(B_5, A_5) → n_{85}
  1391. Segment(Q_1, U) → p_{85}
  1392. Point(a) → H_{23}
  1393. Segment(U, H_{23}) → q_{85}
  1394. Segment(U, S_5) → r_{85}
  1395. Segment(S_5, T_5) → s_{85}
  1396. Segment(T_5, Z) → t_{85}
  1397. Segment(T_5, Q_5) → a_{86}
  1398. Segment(Q_5, S) → b_{86}
  1399. Segment(S, P_1) → c_{86}
  1400. Segment(P_1, M_5) → d_{86}
  1401. Segment(M_5, N_5) → e_{86}
  1402. Segment(O_5, P_5) → f_{86}
  1403. Segment(P_5, M_5) → g_{86}
  1404. Segment(Q_5, A_{22}) → h_{86}
  1405. Segment(A_{22}, S_5) → i_{86}
  1406. Segment(A_{22}, T_{21}) → j_{86}
  1407. Point(a) → I_{23}
  1408. Segment(T_{21}, I_{23}) → k_{86}
  1409. Point(b) → J_{23}
  1410. Segment(T_{21}, J_{23}) → l_{86}
  1411. Point(b) → K_{23}
  1412. Segment(S, K_{23}) → m_{86}
  1413. Point(b) → L_{23}
  1414. Segment(P_1, L_{23}) → n_{86}
  1415. Point(b) → M_{23}
  1416. Segment(K_1, M_{23}) → p_{86}
  1417. Segment(O_2, K_1) → q_{86}
  1418. Point(b) → N_{23}
  1419. Segment(O_2, N_{23}) → r_{86}
  1420. Segment(A_5, O_2) → s_{86}
  1421. Segment(K_1, P_5) → t_{86}
  1422. Segment(D_5, A_5) → a_{87}
  1423. Segment(C_5, D_5) → b_{87}
  1424. Segment(D_5, S_2) → c_{87}
  1425. Segment(S_2, U_2) → d_{87}
  1426. Segment(U_2, U_4) → e_{87}
  1427. Segment(U_4, V_4) → f_{87}
  1428. Segment(V_4, C_3) → g_{87}
  1429. Point(b) → O_{23}
  1430. Segment(S_2, O_{23}) → h_{87}
  1431. Point(b) → P_{23}
  1432. Segment(U_2, P_{23}) → i_{87}
  1433. Segment(Z_4, U_4) → j_{87}
  1434. Segment(W_4, Z_4) → k_{87}
  1435. Segment(W_4, V_4) → l_{87}
  1436. Segment(A_3, W_4) → m_{87}
  1437. Segment(E_3, A_3) → n_{87}
  1438. Segment(I_5, D_3) → p_{87}
  1439. Segment(Z_4, W_2) → q_{87}
  1440. Point(b) → Q_{23}
  1441. Segment(W_2, Q_{23}) → r_{87}
  1442. Point(b) → R_{23}
  1443. Segment(Q_3, R_{23}) → s_{87}
  1444. Segment(Q_3, W_2) → t_{87}
  1445. Segment(J_4, K_4) → a_{88}
  1446. Segment(K_4, R_3) → b_{88}
  1447. Segment(R_3, A_3) → c_{88}
  1448. Segment(J_4, Q_3) → d_{88}
  1449. Segment(I_4, J_4) → e_{88}
  1450. Segment(L_4, K_4) → f_{88}
  1451. Segment(L_4, I_4) → g_{88}
  1452. Segment(S_{18}, F) → h_{88}
  1453. Segment(F, G) → i_{88}
  1454. Segment(G, R_1) → j_{88}
  1455. Intersect(c, h) → S_{23}
  1456. Intersect(c, g) → T_{23}
  1457. Segment(S_{23}, T_{23}) → k_{88}
  1458. Segment(T_{23}, S_{18}) → l_{88}
  1459. Segment(S_{23}, H) → m_{88}
  1460. Segment(H, G) → n_{88}
  1461. Segment(I, H) → p_{88}
  1462. Intersect(c, i) → U_{23}
  1463. Segment(U_{23}, S_{23}) → q_{88}
  1464. Segment(U_{23}, I) → r_{88}
  1465. Segment(L_7, H_7) → s_{88}
  1466. Segment(L_7, G_3) → t_{88}
  1467. Segment(G_3, L_2) → a_{89}
  1468. Segment(G_3, J_5) → b_{89}
  1469. Segment(J_5, I_5) → c_{89}
  1470. Segment(I_5, L_5) → d_{89}
  1471. Segment(L_5, K_5) → e_{89}
  1472. Segment(K_5, J_5) → f_{89}
  1473. Segment(I_3, K_5) → g_{89}
  1474. Segment(R_7, I_3) → h_{89}
  1475. Segment(R_7, S_7) → i_{89}
  1476. Segment(S_7, M_7) → j_{89}
  1477. Segment(M_7, L_7) → k_{89}
  1478. Segment(E_3, L_5) → l_{89}
  1479. Segment(E_3, J_3) → m_{89}
  1480. Segment(J_3, R_3) → n_{89}
  1481. Segment(J_3, M_4) → p_{89}
  1482. Segment(M_4, N_4) → q_{89}
  1483. Segment(N_4, K_3) → r_{89}
  1484. Segment(K_3, I_3) → s_{89}
  1485. Segment(N_4, O_4) → t_{89}
  1486. Segment(O_4, P_4) → a_{90}
  1487. Segment(P_4, M_4) → b_{90}
  1488. Segment(P_4, O_3) → c_{90}
  1489. Segment(O_3, S_3) → d_{90}
  1490. Segment(S_3, L_4) → e_{90}
  1491. Segment(W_3, U_3) → f_{90}
  1492. Segment(U_3, I_4) → g_{90}
  1493. Point(n_{88}) → V_{23}
  1494. Segment(U_3, V_{23}) → h_{90}
  1495. Point(p_{88}) → W_{23}
  1496. Segment(W_3, W_{23}) → i_{90}
  1497. Segment(W_3, Q_4) → j_{90}
  1498. Segment(Q_4, R_4) → k_{90}
  1499. Segment(R_4, E_4) → l_{90}
  1500. Segment(E_4, S_3) → m_{90}
  1501. Segment(O_3, F_4) → n_{90}
  1502. Segment(F_4, E_4) → p_{90}
  1503. Segment(S_4, R_4) → q_{90}
  1504. Segment(B_8, F_4) → r_{90}
  1505. Segment(A_8, B_8) → s_{90}
  1506. Segment(G_4, C_4) → t_{90}
  1507. Segment(C_4, S_4) → a_{91}
  1508. Segment(S_4, T_4) → b_{91}
  1509. Segment(T_4, Q_4) → c_{91}
  1510. Point(p_{88}) → Z_{23}
  1511. Segment(A_4, Z_{23}) → d_{91}
  1512. Segment(A_9, A_4) → e_{91}
  1513. Segment(A_4, T_4) → f_{91}
  1514. Segment(I_9, H_9) → g_{91}
  1515. Segment(H_9, A_9) → h_{91}
  1516. Point(b) → A_{24}
  1517. Segment(A_9, A_{24}) → i_{91}
  1518. Segment(H_9, K_9) → j_{91}
  1519. Segment(K_9, J_9) → k_{91}
  1520. Segment(G_9, C_4) → l_{91}
  1521. Segment(Z_7, D_8) → m_{91}
  1522. Segment(C_8, V_7) → n_{91}
  1523. Segment(M_3, O_4) → p_{91}
  1524. Segment(E_8, K_3) → q_{91}
  1525. Segment(E_8, R_7) → r_{91}
  1526. Segment(S_7, U_7) → s_{91}
  1527. Segment(U_7, T_7) → t_{91}
  1528. Segment(T_7, M_7) → a_{92}
  1529. Segment(T_7, N_7) → b_{92}
  1530. Segment(N_7, F_7) → c_{92}
  1531. Segment(F_7, J_7) → d_{92}
  1532. Segment(M_{12}, F_7) → e_{92}
  1533. Segment(V_{12}, N_7) → f_{92}
  1534. Segment(V_{12}, M_{12}) → g_{92}
  1535. Segment(M_{12}, S_{12}) → h_{92}
  1536. Segment(S_{12}, R_{12}) → i_{92}
  1537. Segment(R_{12}, L_{12}) → j_{92}
  1538. Segment(J_{12}, I_{12}) → k_{92}
  1539. Segment(K_{12}, H_{12}) → l_{92}
  1540. Segment(K_{12}, J_{12}) → m_{92}
  1541. Segment(J_{12}, E_{12}) → n_{92}
  1542. Segment(E_{12}, Q_{12}) → p_{92}
  1543. Segment(Q_{12}, U_{12}) → q_{92}
  1544. Segment(U_{12}, R_{12}) → r_{92}
  1545. Segment(T_{12}, U_{12}) → s_{92}
  1546. Segment(T_{12}, S_{12}) → t_{92}
  1547. Segment(D_{13}, V_{12}) → a_{93}
  1548. Segment(G_{13}, D_{13}) → b_{93}
  1549. Segment(P_7, U_7) → c_{93}
  1550. Segment(F_8, P_7) → d_{93}
  1551. Segment(L_8, E_8) → e_{93}
  1552. Segment(K_8, J_8) → f_{93}
  1553. Segment(V_{16}, U_{16}) → g_{93}
  1554. Segment(U_{16}, E_{16}) → h_{93}
  1555. Segment(E_{16}, C_{13}) → i_{93}
  1556. Segment(C_{13}, O_{12}) → j_{93}
  1557. Segment(O_{12}, B_{16}) → k_{93}
  1558. Segment(B_{16}, E_{16}) → l_{93}
  1559. Segment(B_{16}, T_{16}) → m_{93}
  1560. Segment(T_{16}, S_{16}) → n_{93}
  1561. Segment(S_{16}, Z_{15}) → p_{93}
  1562. Segment(Z_{15}, F_{16}) → q_{93}
  1563. Segment(F_{16}, W_{16}) → r_{93}
  1564. Segment(W_{16}, U_{16}) → s_{93}
  1565. Segment(Z_{16}, W_{16}) → t_{93}
  1566. Segment(H_{19}, F_{16}) → a_{94}
  1567. Segment(D_{19}, Z_{15}) → b_{94}
  1568. Segment(H_{19}, D_{19}) → c_{94}
  1569. Segment(D_{19}, R_{19}) → d_{94}
  1570. Segment(R_{19}, S_{19}) → e_{94}
  1571. Segment(S_{19}, B_{19}) → f_{94}
  1572. Segment(B_{19}, V_{15}) → g_{94}
  1573. Segment(V_{15}, R_{16}) → h_{94}
  1574. Segment(R_{16}, S_{16}) → i_{94}
  1575. Segment(T_{16}, Q_{16}) → j_{94}
  1576. Segment(Q_{16}, U_{15}) → k_{94}
  1577. Segment(U_{15}, Q_{12}) → l_{94}
  1578. Segment(P_{15}, E_{12}) → m_{94}
  1579. Segment(P_{15}, U_{15}) → n_{94}
  1580. Segment(P_{15}, T_{15}) → p_{94}
  1581. Segment(T_{15}, S_{15}) → q_{94}
  1582. Segment(S_{15}, N_{15}) → r_{94}
  1583. Segment(N_{15}, V_{15}) → s_{94}
  1584. Segment(B_{19}, U_{18}) → t_{94}
  1585. Segment(U_{18}, N_{15}) → a_{95}
  1586. Segment(S_{15}, R_{15}) → b_{95}
  1587. Segment(R_{15}, L_{15}) → c_{95}
  1588. Segment(L_{15}, T_{18}) → d_{95}
  1589. Segment(T_{18}, O_{18}) → e_{95}
  1590. Segment(O_{18}, D_{15}) → f_{95}
  1591. Segment(D_{15}, L_{15}) → g_{95}
  1592. Segment(R_{15}, Q_{15}) → h_{95}
  1593. Segment(Q_{15}, T_{15}) → i_{95}
  1594. Segment(Q_{15}, K_{15}) → j_{95}
  1595. Segment(K_{15}, B_{15}) → k_{95}
  1596. Segment(B_{15}, F_{17}) → l_{95}
  1597. Segment(F_{17}, Z_{11}) → m_{95}
  1598. Segment(G_{12}, F_{17}) → n_{95}
  1599. Segment(K_{15}, G_{12}) → p_{95}
  1600. Segment(B_{15}, J_{15}) → q_{95}
  1601. Segment(J_{15}, G_{15}) → r_{95}
  1602. Segment(I_{15}, J_{15}) → s_{95}
  1603. Segment(I_{15}, D_{15}) → t_{95}
  1604. Segment(Z_{19}, T_{18}) → a_{96}
  1605. Segment(Z_{19}, A_{20}) → b_{96}
  1606. Segment(A_{20}, U_{18}) → c_{96}
  1607. Segment(V_{19}, A_{20}) → d_{96}
  1608. Segment(W_{18}, V_{19}) → e_{96}
  1609. Segment(T_{19}, S_{19}) → f_{96}
  1610. Segment(R_{16}, Q_{16}) → g_{96}
  1611. Segment(O_{12}, T_{12}) → h_{96}
  1612. Segment(A_{15}, U_{11}) → i_{96}
  1613. Point(a) → B_{24}
  1614. Segment(A_{15}, B_{24}) → j_{96}
  1615. Segment(F_{15}, H_{15}) → k_{96}
  1616. Segment(H_{15}, G_{15}) → l_{96}
  1617. Segment(H_{15}, I_{15}) → m_{96}
  1618. Point(a) → C_{24}
  1619. Segment(F_{15}, C_{24}) → n_{96}
  1620. Segment(F_{15}, N_{18}) → p_{96}
  1621. Point(a) → D_{24}
  1622. Segment(N_{18}, D_{24}) → q_{96}
  1623. Segment(B_{20}, N_{18}) → r_{96}
  1624. Segment(B_{20}, E_{20}) → s_{96}
  1625. Segment(E_{20}, O_{18}) → t_{96}
  1626. Segment(D_{20}, E_{20}) → a_{97}
  1627. Segment(D_{20}, E_{24}) → b_{97}
  1628. Segment(E_{24}, B_{20}) → c_{97}
  1629. Segment(M_{18}, E_{24}) → d_{97}
  1630. Segment(F_{24}, M_{18}) → e_{97}
  1631. Segment(F_{24}, E_{24}) → f_{97}
  1632. Point(q) → G_{24}
  1633. Segment(F_{24}, G_{24}) → g_{97}
  1634. Segment(R_{18}, E_{24}) → h_{97}
  1635. Segment(R_{18}, F_{24}) → i_{97}
  1636. Segment(Q_{18}, D_{20}) → j_{97}
  1637. Segment(A_{19}, Q_{18}) → k_{97}
  1638. Point(q) → H_{24}
  1639. Segment(Q_{18}, H_{24}) → l_{97}
  1640. Point(q) → I_{24}
  1641. Segment(I_{24}, A_{19}) → m_{97}
  1642. Segment(A_{19}, W_{19}) → n_{97}
  1643. Segment(W_{19}, Z_{19}) → p_{97}
  1644. Segment(W_{19}, V_{19}) → q_{97}
  1645. Segment(C_{19}, W_{18}) → r_{97}
  1646. Point(q) → J_{24}
  1647. Segment(J_{24}, W_{18}) → s_{97}
  1648. Point(q) → K_{24}
  1649. Segment(K_{24}, C_{19}) → t_{97}
  1650. Segment(C_{19}, T_{19}) → a_{98}
  1651. Segment(T_{19}, U_{19}) → b_{98}
  1652. Segment(U_{19}, R_{19}) → c_{98}
  1653. Segment(F_{19}, U_{19}) → d_{98}
  1654. Segment(Q_{19}, I_{19}) → e_{98}
  1655. Segment(I_{19}, O_{19}) → f_{98}
  1656. Segment(I_{19}, H_{19}) → g_{98}
  1657. Segment(N_{19}, O_{19}) → h_{98}
  1658. Segment(P_{19}, O_{19}) → i_{98}
  1659. Segment(P_{19}, Q_{19}) → j_{98}
  1660. Segment(Q_{19}, J_{19}) → k_{98}
  1661. Segment(J_{19}, F_{19}) → l_{98}
  1662. Segment(N_{19}, H_{16}) → m_{98}
  1663. Segment(F_{20}, P_{16}) → n_{98}
  1664. Segment(L_{20}, F_{20}) → p_{98}
  1665. Segment(F_{20}, N_{19}) → q_{98}
  1666. Segment(E_{13}, D_{13}) → r_{98}
  1667. Segment(A_{15}, G_{15}) → s_{98}
  1668. Segment(L_{19}, P_{19}) → t_{98}
  1669. Point(q) → L_{24}
  1670. Segment(L_{24}, J_{19}) → a_{99}
  1671. Point(q) → M_{24}
  1672. Segment(M_{24}, F_{19}) → b_{99}
  1673. Segment(L_{19}, K_{20}) → c_{99}
  1674. Point(q) → N_{24}
  1675. Segment(K_{20}, N_{24}) → d_{99}
  1676. Point(q) → O_{24}
  1677. Segment(O_{24}, L_{19}) → e_{99}
  1678. Segment(K_{20}, O_{20}) → f_{99}
  1679. Segment(O_{20}, N_{20}) → g_{99}
  1680. Segment(N_{20}, M_{20}) → h_{99}
  1681. Segment(M_{20}, L_{20}) → i_{99}
  1682. Segment(L_{20}, O_{20}) → j_{99}
  1683. Segment(N_{16}, G_{20}) → k_{99}
  1684. Segment(G_{20}, M_{20}) → l_{99}
  1685. Segment(G_{20}, P_{20}) → m_{99}
  1686. Segment(W_{20}, Q_{20}) → n_{99}
  1687. Segment(Q_{20}, I_{20}) → p_{99}
  1688. Segment(I_{20}, N_{20}) → q_{99}
  1689. Point(q) → P_{24}
  1690. Segment(P_{24}, I_{20}) → r_{99}
  1691. Point(q) → Q_{24}
  1692. Segment(Q_{24}, Q_{20}) → s_{99}
  1693. Segment(S_{23}, S_1) → t_{99}
  1694. Intersect(j, l) → R_{24}
  1695. Segment(S_1, R_{24}) → a_{100}
  1696. Segment(R_{24}, J) → b_{100}
  1697. Segment(K_9, C_9) → c_{100}
  1698. Segment(C_9, L_9) → d_{100}
  1699. Point(b) → S_{24}
  1700. Segment(L_9, S_{24}) → e_{100}
  1701. Point(b) → T_{24}
  1702. Segment(C_9, T_{24}) → f_{100}
  1703. Segment(S_9, L_9) → g_{100}
  1704. Segment(U_9, S_9) → h_{100}
  1705. Segment(S_9, C_{22}) → i_{100}
  1706. Segment(C_{22}, V_9) → j_{100}
  1707. Segment(B_{22}, C_{22}) → k_{100}
  1708. Point(b) → U_{24}
  1709. Segment(B_{22}, U_{24}) → l_{100}
  1710. Point(k) → V_{24}
  1711. Segment(P_9, V_{24}) → m_{100}
  1712. Point(k) → W_{24}
  1713. Segment(N_{10}, W_{24}) → n_{100}
  1714. Segment(I, K) → p_{100}
  1715. Segment(K, W_{24}) → q_{100}
  1716. Intersect(c, k) → Z_{24}
  1717. Segment(Z_{24}, U_{23}) → r_{100}
  1718. Intersect(i, l) → A_{25}
  1719. Segment(U_{23}, A_{25}) → s_{100}
  1720. Intersect(i, m) → B_{25}
  1721. Segment(B_{25}, A_{23}) → t_{100}
  1722. Segment(B_{25}, A_{25}) → a_{101}
  1723. Segment(L, R_{24}) → b_{101}
  1724. Segment(N_{22}, W_{24}) → c_{101}
  1725. Segment(W_9, E_{10}) → d_{101}
  1726. Segment(M, R_{24}) → e_{101}
  1727. Segment(M, B_{25}) → f_{101}
  1728. Intersect(i, n) → C_{25}
  1729. Segment(C_{25}, B_{25}) → g_{101}
  1730. Segment(C_{25}, N) → h_{101}
  1731. Intersect(h, p) → D_{25}
  1732. Segment(D_{25}, N) → i_{101}
  1733. Intersect(g, p) → E_{25}
  1734. Segment(E_{25}, W_{22}) → j_{101}
  1735. Segment(D_{25}, E_{25}) → k_{101}
  1736. Intersect(k, m) → F_{25}
  1737. Segment(F_{25}, M) → l_{101}
  1738. Segment(F_{25}, N_{22}) → m_{101}
  1739. Segment(Q_{22}, F_{25}) → n_{101}
  1740. Intersect(j, n) → G_{25}
  1741. Segment(G_{25}, M) → p_{101}
  1742. Segment(G_{25}, C_{25}) → q_{101}
  1743. Intersect(k, q) → H_{25}
  1744. Segment(N_{24}, H_{25}) → r_{101}
  1745. Segment(H_{25}, Q_{22}) → s_{101}
  1746. Intersect(k, n) → I_{25}
  1747. Segment(I_{25}, G_{25}) → t_{101}
  1748. Intersect(j, p) → J_{25}
  1749. Segment(J_{25}, G_{25}) → a_{102}
  1750. Segment(O, C_{25}) → b_{102}
  1751. Segment(D_{25}, O) → c_{102}
  1752. Segment(O, J_{25}) → d_{102}
  1753. Intersect(k, p) → K_{25}
  1754. Segment(J_{25}, K_{25}) → e_{102}
  1755. Intersect(j, q) → L_{25}
  1756. Segment(J_{25}, L_{25}) → f_{102}
  1757. Intersect(i, q) → M_{25}
  1758. Segment(M_{25}, O) → g_{102}
  1759. Segment(P, D_{25}) → h_{102}
  1760. Intersect(g, q) → N_{25}
  1761. Segment(N_{25}, E_{25}) → i_{102}
  1762. Intersect(f, q) → O_{25}
  1763. Segment(V_{22}, O_{25}) → j_{102}
  1764. Segment(O_{25}, N_{25}) → k_{102}
  1765. Segment(E_{25}, U_{22}) → l_{102}
  1766. Intersect(e, q) → P_{25}
  1767. Segment(U_{22}, P_{25}) → m_{102}
  1768. Segment(P_{25}, O_{25}) → n_{102}
  1769. Segment(P_{25}, H_{24}) → p_{102}
  1770. Point(c_2) → Q_{25}
  1771. Intersect(d, q) → R_{25}
  1772. Segment(T_{22}, R_{25}) → q_{102}
  1773. Intersect(a, q) → S_{25}
  1774. Segment(H_{24}, S_{25}) → r_{102}
  1775. Intersect(a, n) → T_{25}
  1776. Segment(T_{25}, S_{25}) → s_{102}
  1777. Intersect(a, p) → U_{25}
  1778. Segment(T_{22}, U_{25}) → t_{102}
  1779. Segment(T_{25}, V) → a_{103}
  1780. Segment(R, V) → b_{103}
  1781. Intersect(a, m) → V_{25}
  1782. Segment(R_5, V_{25}) → c_{103}
  1783. Segment(R_{22}, T_{25}) → d_{103}
  1784. Segment(V, B) → e_{103}
  1785. Segment(B, F) → f_{103}
  1786. Segment(A_1, E) → g_{103}
  1787. Segment(D, M_1) → h_{103}
  1788. Segment(M_1, A) → i_{103}
  1789. Intersect(a_{24}, j_{93}) → W_{25}
  1790. Segment(W_{25}, E_{13}) → j_{103}
  1791. Intersect(t_{25}, a_{26}) → Z_{25}
  1792. Segment(S_{13}, Z_{25}) → k_{103}
  1793. Intersect(f_{22}, g_{22}) → A_{26}
  1794. Intersect(n_{22}, p_{22}) → B_{26}
  1795. Segment(A_{26}, B_{26}) → l_{103}
  1796. Intersect(k_{70}, l_{70}) → C_{26}
  1797. Point(f_{103}) → D_{26}
  1798. Segment(C_{26}, D_{26}) → m_{103}
  1799. Point(e_{103}) → E_{26}
  1800. Segment(C_{26}, E_{26}) → n_{103}
  1801. Intersect(p_{70}, q_{70}) → F_{26}
  1802. Point(p_{100}) → G_{26}
  1803. Segment(F_{26}, G_{26}) → p_{103}
  1804. Point(q_{100}) → H_{26}
  1805. Segment(F_{26}, H_{26}) → q_{103}
  1806. Intersect(t_{70}, a_{71}) → I_{26}
  1807. Point(r_{101}) → J_{26}
  1808. Segment(I_{26}, J_{26}) → r_{103}
  1809. Point(s_{101}) → K_{26}
  1810. Segment(I_{26}, K_{26}) → s_{103}
  1811. Intersect(d_{99}, r_{101}) → L_{26}
  1812. Intersect(i_{102}, k_{102}) → M_{26}
  1813. Segment(L_{26}, M_{26}) → t_{103}

AI Drawing Prompt Reference

Draw a Pythagorean tiling pattern consisting of squares and right triangles. Start by drawing two parallel lines a and b, then draw perpendicular lines from b to form right triangles. Next, draw the incircles and semicircles of these triangles. Finally, connect the points to form polygons. The process includes drawing lines, circles, arcs, and polygons.
The prompt above was compiled from the original drawing commands and is for reference only.