积极 AI Logo 积极 AI

几何拼接演示

几何拼接演示
几何画板及绘图内容加载中，请稍等……
2015-01-11 04:29
测试改名0圆多边形几何作图
①本范例演示了利用三角形和圆进行几何拼接的图形现象；②涉及的核心数学概念包括勾股定理、圆的 circumcircle、交点计算、根号运算、乘法、中值等；③作图要点提炼自 GeoGebra 命令：Line（线）、OrthogonalLine（垂线）、Point（点）、Circle（圆）、Segment（线段）、Intersect（交点）、Polygon（多边形）；④适合高中阶段学习几何作图与空间关系的学员使用。

GeoGebra 命令及参数

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

AI 绘图提示语参考

请绘制一个由三角形和圆形组成的几何铺砌图案。图案中包含一个正三角形和一个圆，圆与三角形的顶点相交。构造时，先画一条直线，然后通过垂直线生成多个点。接着，以这些点为圆心画圆，并用线段连接圆与三角形的交点。最后，用线段连接这些交点，形成一个多边形图案。确保图形清晰，线条简洁，适合展示几何构造和空间关系。
以上提示语为根据原始绘图命令整理而来，仅供参考。