MathPlotAI Logo MathPlotAI

Seahorse Tiling

Seahorse Tiling
Loading the math board and drawing, please wait…
2015-01-11 03:45
CirclePolygonTrigonometryGeometric Construction
This example demonstrates the geometric construction of a seahorse tiling, involving concepts like Pythagorean Theorem, addition, tangent function, correlation, LCM and GCD. It uses commands such as Line, OrthogonalLine, Point, Intersect, Segment, Semicircle, and Polygon in GeoGebra. Suitable for high school mathematics education to understand the integration of geometric construction and algebraic relationships.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a geometric construction of a seahorse tiling, involving multiple perpendicular lines and points, constructing several semicircles and polygons through these points and lines to demonstrate the integration of geometry and algebra, starting from basic line segments and gradually adding perpendicular lines, intersection points, line segments, and semicircles to form a complex tiling pattern.
The prompt above was compiled from the original drawing commands and is for reference only.