MathPlotAI Logo MathPlotAI

A Special Kite (Icosidodecahedron)

A Special Kite (Icosidodecahedron)
Loading the math board and drawing, please wait…
2020-08-08 06:05
PolygonSolid GeometryGeometric Construction
This example is a special kite inspired by the Baravelle Spiral World, created by Eli and Shula Shavit. It demonstrates the geometric construction of an icosidodecahedron, involving kite, polygon, and solid geometry concepts. Using GeoGebra commands such as Intersect, Point, Polygon, and Dodecahedron, one can visually understand the application of kites in solid geometry. Suitable for middle school and above students learning solid geometry and geometric construction.

GeoGebra Commands & Parameters

  1. Intersect(xAxis, yAxis) → A
  2. Point(xAxis) → B
  3. Polygon(A, B, 5) → poly1, f, g, h, i, j, C, D, E
  4. Dodecahedron(A, B, C) → a, F, O, P, Q, R, S, T, U, V, faceABCFG, faceAGKQL, G, faceABHML, faceBCINH, faceCFJOI, faceFGKPJ, faceKPUVQ, faceLMRVQ, faceHMRSN, faceINSTO, faceJOTUP, faceRSTUV, H, edgeAG, edgeAB, edgeBC, edgeCF, edgeFG, edgeAL, edgeGK, edgeKQ, edgeLQ, edgeLM, I, edgeHM, edgeBH, edgeHN, edgeIN, edgeCI, edgeIO, edgeJO, edgeFJ, edgeJP, edgeKP, J, edgePU, edgeUV, edgeQV, edgeRV, edgeMR, edgeRS, edgeNS, edgeST, edgeOT, edgeTU, K, L, M, N
  5. Net(a, n) → b, W, H_1, I_1, J_1, K_1, L_1, M_1, N_1, O_1, P_1, Q_1, Z, R_1, S_1, T_1, U_1, V_1, W_1, Z_1, A_2, B_2, C_2, A_1, D_2, E_2, F_2, G_2, H_2, I_2, J_2, K_2, L_2, face1, B_1, face2, face3, face4, face5, face6, face7, face8, face9, face10, face11, C_1, face12, edge1, edge2, edge3, edge4, edge5, edge6, edge7, edge8, edge9, D_1, edge10, edge11, edge12, edge13, edge14, edge15, edge16, edge17, edge18, edge19, E_1, edge20, edge21, edge22, edge23, edge24, edge25, edge26, edge27, edge28, edge29, F_1, edge30, edge31, edge32, edge33, edge34, edge35, edge36, edge37, edge38, edge39, G_1, edge40, edge41, edge42, edge43, edge44, edge45, edge46, edge47, edge48, edge49
  6. Midpoint(edge35) → M_2
  7. Midpoint(edge34) → N_2
  8. Midpoint(edge12) → O_2
  9. Midpoint(edge37) → P_2
  10. Midpoint(edge36) → Q_2
  11. Polygon(M_2, N_2, O_2, P_2, Q_2) → poly2, m_2, n_2, o_2, p_2, q_2
  12. Midpoint(N_2, O_2) → R_2
  13. Midpoint(edge6) → I_4
  14. Midpoint(o_2) → J_4
  15. Midpoint(P_2, Q_2) → K_4
  16. Midpoint(q_2) → L_4
  17. Midpoint(N_2, M_2) → M_4
  18. Polygon(M_4, R_2, J_4, K_4, L_4) → poly3, m_4, r_2, j_4, k_4, l_4
  19. Midpoint(m_4) → S_2
  20. Midpoint(edge43) → T_2
  21. Midpoint(l_4) → U_2
  22. Midpoint(r_2) → V_2
  23. Midpoint(k_4) → Z_2
  24. Midpoint(K_4, J_4) → W_2
  25. Polygon(S_2, V_2, W_2, Z_2, U_2) → poly4, s_2, v_2, w_2, z_2, u_2
  26. Midpoint(v_2) → A_3
  27. Midpoint(w_2) → B_3
  28. Midpoint(z_2) → C_3
  29. Midpoint(u_2) → D_3
  30. Midpoint(s_2) → E_3
  31. Polygon(E_3, A_3, B_3, C_3, D_3) → poly5, e_3, a_3, b_3, c_3, d_3
  32. Midpoint(d_3) → F_3
  33. Midpoint(c_3) → G_3
  34. Midpoint(b_3) → H_3
  35. Midpoint(a_3) → I_3
  36. Midpoint(e_3) → J_3
  37. Polygon(F_3, J_3, I_3, H_3, G_3) → poly6, f_3, j_3, i_3, h_3, g_3
  38. Midpoint(F_3, J_3) → K_3
  39. Midpoint(J_3, I_3) → L_3
  40. Midpoint(I_3, H_3) → M_3
  41. Midpoint(H_3, G_3) → N_3
  42. Midpoint(G_3, F_3) → O_3
  43. Polygon(O_3, K_3, L_3, M_3, N_3) → poly7, o_3, k_3, l_3, m_3, n_3
  44. Midpoint(o_3) → P_3
  45. Midpoint(k_3) → Q_3
  46. Midpoint(l_3) → R_3
  47. Midpoint(m_3) → S_3
  48. Midpoint(n_3) → T_3
  49. Polygon(T_3, P_3, Q_3, R_3, S_3) → poly8, t_3, p_3, q_3, r_3, s_3
  50. Midpoint(t_3) → U_3
  51. Midpoint(s_3) → V_3
  52. Midpoint(r_3) → W_3
  53. Midpoint(q_3) → Z_3
  54. Midpoint(p_3) → A_4
  55. Polygon(U_3, A_4, Z_3, W_3, V_3) → poly9, u_3, a_4, z_3, w_3, v_3
  56. Midpoint(v_3) → B_4
  57. Midpoint(u_3) → C_4
  58. Midpoint(a_4) → D_4
  59. Midpoint(z_3) → E_4
  60. Midpoint(w_3) → F_4
  61. Polygon(C_4, D_4, E_4, F_4, B_4) → poly10, c_4, d_4, e_4, f_4, b_4
  62. Polygon(O_2, R_1, P_2) → t1, p_1, o_1, r_1
  63. Polygon(J_4, P_2, K_4) → t2, k_1, j_1, p_4
  64. Polygon(W_2, K_4, Z_2) → t3, z_1, w_1, k_2
  65. Polygon(B_3, Z_2, C_3) → t4, c_1, b_1, z_4
  66. Polygon(H_3, C_3, G_3) → t5, g_1, h_1, c_2
  67. Polygon(G_3, O_3, N_3) → t6, n_1, g_2, o_4
  68. Polygon(O_3, P_3, T_3) → t7, t_1, o_5, p_5
  69. Polygon(P_3, U_3, A_4) → t8, a_1, p_6, u_1
  70. Polygon(C_4, A_4, D_4) → t9, d_1, c_5, a_2
  71. Polygon(N_2, Q_1, O_2) → t10, o_6, n_4, q_1
  72. Polygon(R_2, O_2, J_4) → t11, j_2, r_4, o_7
  73. Polygon(V_2, W_2, J_4) → t12, j_5, v_1, w_4
  74. Polygon(A_3, B_3, W_2) → t13, w_5, a_5, b_2
  75. Polygon(I_3, H_3, B_3) → t14, b_5, i_1, h_2
  76. Polygon(M_3, N_3, H_3) → t15, h_4, m_1, n_5
  77. Polygon(T_3, S_3, N_3) → t16, n_6, t_2, s_1
  78. Polygon(U_3, V_3, T_3) → t17, t_4, u_4, v_4
  79. Polygon(U_3, C_4, B_4) → t18, b_6, u_5, c_6
  80. Polygon(N_2, M_4, R_2) → t20, r_5, n_8, m_6
  81. Polygon(S_2, V_2, R_2) → t21, r_6, s_5, v_5
  82. Polygon(E_3, A_3, V_2) → t22, v_6, e_1, a_6
  83. Polygon(J_3, I_3, A_3) → t23, a_7, j_6, i_2
  84. Polygon(L_3, M_3, I_3) → t24, i_4, l_1, m_7
  85. Polygon(R_3, S_3, M_3) → t25, m_8, r_7, s_6
  86. Polygon(W_3, V_3, S_3) → t26, s_7, w_6, v_7
  87. Polygon(F_4, B_4, V_3) → t27, v_8, f_1, b_7
  88. Polygon(M_4, M_2, L_4) → t29, l_2, m_{10}, m_{11}
  89. Polygon(U_2, M_4, S_2) → t30, s_8, u_6, m_{12}
  90. Polygon(D_3, S_2, E_3) → t31, e_2, d_2, s_9
  91. Polygon(F_3, E_3, J_3) → t32, j_7, f_2, e_5
  92. Polygon(K_3, J_3, L_3) → t33, l_5, k_5, j_8
  93. Polygon(Q_3, R_3, L_3) → t34, l_6, q_5, r_8
  94. Polygon(Z_3, W_3, R_3) → t35, r_9, z_5, w_7
  95. Polygon(E_4, F_4, W_3) → t36, w_8, e_6, f_5
  96. Polygon(Q_2, P_2, U_1) → t37, u_7, q_6, p_7
  97. Polygon(L_4, K_4, Q_2) → t38, q_7, l_7, k_6
  98. Polygon(U_2, L_4, Z_2) → t39, z_6, u_8, l_8
  99. Polygon(D_3, U_2, C_3) → t40, c_7, d_5, u_9
  100. Polygon(D_3, G_3, F_3) → t41, f_6, d_6, g_4
  101. Polygon(F_3, O_3, K_3) → t42, k_7, f_7, o_8
  102. Polygon(P_3, K_3, Q_3) → t43, q_8, p_8, k_8
  103. Polygon(A_4, Q_3, Z_3) → t44, z_7, a_8, q_9
  104. Polygon(D_4, Z_3, E_4) → t45, e_7, d_7, z_8
  105. Midpoint(D_4, E_4) → G_4
  106. Midpoint(E_4, F_4) → H_4
  107. Midpoint(F_4, B_4) → N_4
  108. Midpoint(B_4, C_4) → O_4
  109. Midpoint(C_4, D_4) → P_4
  110. Polygon(G_4, E_4, H_4) → t46, h_5, g_5, e_8
  111. Polygon(H_4, F_4, N_4) → t47, n_9, h_6, f_8
  112. Polygon(N_4, B_4, O_4) → t48, o_9, n_{10}, b_8
  113. Polygon(O_4, C_4, P_4) → t49, p_9, o_{10}, c_8
  114. Polygon(P_4, D_4, G_4) → t50, g_6, p_{10}, d_8
  115. Midpoint(edge46) → Q_4
  116. Midpoint(edge28) → R_4
  117. Midpoint(edge49) → S_4
  118. Midpoint(edge48) → T_4
  119. Midpoint(edge47) → U_4
  120. Midpoint(edge44) → V_4
  121. Midpoint(edge45) → W_4
  122. Midpoint(edge20) → Z_4
  123. Midpoint(E_2, G_2) → A_5
  124. Midpoint(edge2) → B_5
  125. Midpoint(edge13) → C_5
  126. Midpoint(edge11) → D_5
  127. Midpoint(edge10) → E_5
  128. Midpoint(edge23) → F_5
  129. Midpoint(edge24) → G_5
  130. Midpoint(edge25) → H_5
  131. Midpoint(edge5) → I_5
  132. Midpoint(edge22) → J_5
  133. Midpoint(edge21) → K_5
  134. Midpoint(edge19) → L_5
  135. Midpoint(edge18) → M_5
  136. Midpoint(edge4) → N_5
  137. Midpoint(edge3) → O_5
  138. Midpoint(edge17) → P_5
  139. Midpoint(edge16) → Q_5
  140. Midpoint(edge15) → R_5
  141. Midpoint(edge14) → S_5
  142. Midpoint(edge41) → T_5
  143. Midpoint(edge40) → U_5
  144. Midpoint(edge39) → V_5
  145. Midpoint(edge38) → W_5
  146. Midpoint(edge7) → Z_5
  147. Midpoint(edge9) → A_6
  148. Midpoint(edge8) → B_6
  149. Midpoint(edge26) → C_6
  150. Midpoint(edge27) → D_6
  151. Midpoint(edge29) → E_6
  152. Midpoint(edge30) → F_6
  153. Midpoint(edge31) → G_6
  154. Midpoint(edge32) → H_6
  155. Midpoint(edge33) → I_6
  156. Polygon(Z_4, E_2, A_5) → t51, a_9, z_9, e_9
  157. Polygon(Z_4, L_5, E_2) → t52, e_{10}, z_{10}, l_9
  158. Polygon(T_5, C_2, U_5) → t53, u_{10}, t_6, c_9
  159. Midpoint(edge1) → J_6
  160. Polygon(I_4, J_6, C_1) → t54, c_{10}, i_5, j_9
  161. Polygon(H_5, C_1, I_5) → t55, i_6, h_7, c_{11}
  162. Polygon(I_5, C_1, J_6) → t56, j_{10}, i_7, c_{12}
  163. Polygon(R_4, S_4, I_1) → t57, i_8, r_{10}, s_{10}
  164. Polygon(R_4, I_1, E_6) → t58, e_{11}, r_{11}, i_9
  165. Polygon(F_6, M_1, G_6) → t59, g_7, f_9, m_{13}
  166. Polygon(C_5, R_1, O_2) → t60, o_{11}, c_{13}, r_{12}
  167. Polygon(S_5, V_1, R_5) → t61, r_{13}, s_{11}, v_9
  168. Polygon(T_4, L_1, S_4) → t62, s_{12}, t_7, l_{10}
  169. Polygon(G_6, N_1, H_6) → t63, h_8, g_8, n_{11}
  170. Polygon(D_6, G_1, C_6) → t64, c_{14}, d_9, g_9
  171. Polygon(K_2, G_5, F_5) → t65, f_{10}, k_9, g_{10}
  172. Polygon(L_5, M_5, D_2) → t66, d_{10}, l_{11}, m_{14}
  173. Polygon(V_4, I_2, W_4) → t67, w_9, v_{10}, i_{10}
  174. Polygon(T_5, Z_1, Q_5) → t68, q_{10}, t_8, z_{11}
  175. Polygon(P_5, Z_1, Q_5) → t69, q_{11}, p_{11}, z_{12}
  176. Polygon(A_6, A, J_6) → t70, j_{11}, a_{10}, a_{11}
  177. Polygon(J_6, A, B_5) → t71, b_9, j_{12}, a_{12}
  178. Polygon(A, E_5, B_5) → t72, b_{10}, a_{13}, e_{12}
  179. Midpoint(i_{10}) → K_6
  180. Midpoint(e_9) → L_6
  181. Midpoint(e_{10}) → M_6
  182. Midpoint(d_{10}) → N_6
  183. Midpoint(z_{11}) → O_6
  184. Midpoint(c_9) → P_6
  185. Midpoint(z_{12}) → Q_6
  186. Midpoint(k_9) → R_6
  187. Midpoint(c_{11}) → S_6
  188. Midpoint(c_{12}) → T_6
  189. Midpoint(v_9) → U_6
  190. Midpoint(a_{13}) → V_6
  191. Midpoint(a_{12}) → W_6
  192. Midpoint(a_{11}) → Z_6
  193. Midpoint(c_{10}) → A_7
  194. Midpoint(g_9) → B_7
  195. Midpoint(i_9) → C_7
  196. Midpoint(i_8) → D_7
  197. Midpoint(l_{10}) → E_7
  198. Midpoint(n_{11}) → F_7
  199. Midpoint(m_{13}) → G_7
  200. Midpoint(r_{12}) → H_7
  201. Polygon(G_5, L_2, H_5) → t73, h_9, g_{11}, l_{12}
  202. Polygon(N_5, A_1, O_5) → t74, o_{12}, n_{12}, a_{14}
  203. Polygon(M_5, A_1, N_5) → t75, n_{13}, m_{15}, a_{15}
  204. Polygon(A_1, P_5, O_5) → t76, o_{13}, a_{16}, p_{12}
  205. Polygon(U_5, B_2, V_5) → t77, v_{11}, u_{11}, b_{11}
  206. Polygon(T_2, G_2, A_5) → t78, a_{17}, t_9, g_{12}
  207. Polygon(O_2, Q_1, D_5) → t79, d_{11}, o_{14}, q_{12}
  208. Polygon(I_6, O_1, H_6) → t80, h_{10}, i_{11}, o_{15}
  209. Polygon(U_4, J_1, Q_4) → t81, q_{13}, u_{12}, j_{13}
  210. Polygon(C_6, E_1, Z_5) → t82, z_{13}, c_{15}, e_{13}
  211. Polygon(U_4, K_1, T_4) → t83, t_{10}, u_{13}, k_{10}
  212. Polygon(F_6, F_1, B_6) → t84, b_{12}, f_{11}, f_{12}
  213. Polygon(Z_5, F_1, B_6) → t85, b_{13}, z_{14}, f_{13}
  214. Polygon(E_6, F_1, Z_5) → t86, z_{15}, e_{14}, f_{14}
  215. Polygon(O_5, B, S_5) → t87, s_{13}, o_{16}, b_{14}
  216. Polygon(B_5, B, O_5) → t88, o_{17}, b_{15}, b_{16}
  217. Polygon(B_5, B, C_5) → t89, c_{16}, b_{17}, b_{18}
  218. Polygon(Z_4, F_2, K_5) → t90, k_{11}, z_{16}, f_{15}
  219. Polygon(F_5, J_2, J_5) → t91, j_{14}, f_{16}, j_{15}
  220. Polygon(W_4, F_2, Z_4) → t92, z_{17}, w_{10}, f_{17}
  221. Polygon(V_5, A_2, W_5) → t93, w_{11}, v_{12}, a_{18}
  222. Polygon(Z_5, E_1, I_4) → t94, i_{12}, z_{18}, e_{15}
  223. Polygon(J_5, I_5, B_1) → t95, b_{19}, j_{16}, i_{13}
  224. Polygon(K_5, B_1, N_5) → t96, n_{14}, k_{12}, b_{20}
  225. Polygon(B_1, I_5, N_5) → t97, n_{15}, b_{21}, i_{14}
  226. Polygon(V_4, H_2, T_2) → t98, t_{11}, v_{13}, h_{11}
  227. Polygon(Q_5, W_5, W_1) → t99, w_{12}, q_{14}, w_{13}
  228. Polygon(Q_5, W_1, R_5) → t100, r_{14}, q_{15}, w_{14}
  229. Polygon(E_5, D_5, P_1) → t101, p_{13}, e_{16}, d_{12}
  230. Polygon(A_6, B_6, D_1) → t102, d_{13}, a_{19}, b_{22}
  231. Polygon(B_6, D_1, I_6) → t103, i_{15}, b_{23}, d_{14}
  232. Polygon(D_6, R_4, H_1) → t104, h_{12}, d_{15}, r_{15}
  233. Polygon(Q_4, H_1, R_4) → t105, r_{16}, q_{16}, h_{13}
  234. Midpoint(h_{11}) → I_7
  235. Midpoint(g_{12}) → J_7
  236. Midpoint(f_{17}) → K_7
  237. Midpoint(f_{15}) → L_7
  238. Midpoint(b_{20}) → M_7
  239. Midpoint(a_{15}) → N_7
  240. Midpoint(b_{11}) → O_7
  241. Midpoint(a_{18}) → P_7
  242. Midpoint(w_{12}) → Q_7
  243. Midpoint(a_{16}) → R_7
  244. Midpoint(b_{14}) → S_7
  245. Midpoint(w_{14}) → T_7
  246. Midpoint(b_{21}) → U_7
  247. Midpoint(b_{19}) → V_7
  248. Midpoint(j_{15}) → W_7
  249. Midpoint(l_{12}) → Z_7
  250. Midpoint(b_{16}) → A_8
  251. Midpoint(b_{18}) → B_8
  252. Midpoint(p_{13}) → C_8
  253. Midpoint(q_{12}) → D_8
  254. Midpoint(e_{15}) → E_8
  255. Midpoint(e_{13}) → F_8
  256. Midpoint(h_{12}) → G_8
  257. Midpoint(h_{13}) → H_8
  258. Midpoint(j_{13}) → I_8
  259. Midpoint(k_{10}) → J_8
  260. Midpoint(f_{12}) → K_8
  261. Midpoint(d_{14}) → L_8
  262. Midpoint(f_{13}) → M_8
  263. Midpoint(f_{14}) → N_8
  264. Midpoint(d_{13}) → O_8
  265. Midpoint(o_{15}) → P_8
  266. Midpoint(a_{14}) → Q_8
  267. Polygon(D_8, C_8, D_5) → t106, d_{16}, d_{17}, c_{17}
  268. Polygon(Q_8, O_5, A_8) → t107, a_{20}, q_{17}, o_{18}
  269. Polygon(N_7, M_7, N_5) → t108, n_{16}, n_{17}, m_{16}
  270. Polygon(R_7, Q_6, P_5) → t109, p_{14}, r_{17}, q_{18}
  271. Polygon(O_7, V_5, P_7) → t110, p_{15}, o_{19}, v_{14}
  272. Polygon(J_7, A_5, L_6) → t111, l_{13}, j_{17}, a_{21}
  273. Polygon(Z_7, G_5, R_6) → t112, r_{18}, z_{19}, g_{13}
  274. Polygon(E_8, I_4, A_7) → t113, a_{22}, e_{17}, i_{16}
  275. Polygon(F_8, Z_5, N_8) → t114, n_{18}, f_{18}, z_{20}
  276. Polygon(P_8, F_7, H_6) → t115, h_{14}, p_{16}, f_{19}
  277. Polygon(I_8, H_8, Q_4) → t116, q_{19}, i_{17}, h_{15}
  278. Polygon(H_8, R_4, D_7) → t117, d_{18}, h_{16}, r_{19}
  279. Polygon(G_8, D_6, B_7) → t118, b_{24}, g_{14}, d_{19}
  280. Polygon(V_7, S_6, I_5) → t119, i_{18}, v_{15}, s_{14}
  281. Polygon(U_7, N_5, Q_8) → t120, q_{20}, u_{14}, n_{19}
  282. Polygon(I_7, T_2, J_7) → t121, j_{18}, i_{19}, t_{12}
  283. Polygon(M_7, K_5, L_7) → t122, l_{14}, m_{17}, k_{13}
  284. Polygon(T_7, U_6, R_5) → t123, r_{20}, t_{13}, u_{15}
  285. Polygon(Q_7, Q_5, O_6) → t124, o_{20}, q_{21}, q_{22}
  286. Polygon(C_8, E_5, V_6) → t125, v_{16}, c_{18}, e_{18}
  287. Polygon(L_8, I_6, P_8) → t126, p_{17}, l_{15}, i_{20}
  288. Polygon(O_8, B_6, M_8) → t127, m_{18}, o_{21}, b_{25}
  289. Polygon(J_8, E_7, T_4) → t128, t_{14}, j_{19}, e_{19}
  290. Polygon(B_7, C_6, F_8) → t129, f_{20}, b_{26}, c_{19}
  291. Polygon(F_7, G_6, G_7) → t130, g_{15}, f_{21}, g_{16}
  292. Polygon(Z_6, O_8, A_6) → t131, a_{23}, z_{21}, o_{22}
  293. Polygon(W_6, J_6, T_6) → t132, t_{15}, w_{15}, j_{20}
  294. Polygon(R_6, W_7, F_5) → t133, f_{22}, r_{21}, w_{16}
  295. Polygon(K_6, I_7, V_4) → t134, v_{17}, k_{14}, i_{21}
  296. Polygon(N_6, N_7, M_5) → t135, m_{19}, n_{20}, n_{21}
  297. Polygon(Q_6, Q_5, T_7) → t136, t_{16}, q_{23}, q_{24}
  298. Polygon(V_6, B_8, B_5) → t137, b_{27}, v_{18}, b_{28}
  299. Polygon(O_6, T_5, P_6) → t138, p_{18}, o_{23}, t_{17}
  300. Polygon(J_8, U_4, I_8) → t139, i_{22}, j_{21}, u_{16}
  301. Polygon(N_8, C_7, E_6) → t140, e_{20}, n_{22}, c_{20}
  302. Polygon(K_8, B_6, L_8) → t141, l_{16}, k_{15}, b_{29}
  303. Polygon(M_8, E_8, Z_5) → t142, z_{22}, m_{20}, e_{21}
  304. Polygon(W_7, J_5, V_7) → t143, v_{19}, w_{17}, j_{22}
  305. Polygon(A_8, W_6, B_5) → t144, b_{30}, a_{24}, w_{18}
  306. Polygon(B_8, C_5, H_7) → t145, h_{17}, b_{31}, c_{21}
  307. Polygon(S_7, R_7, O_5) → t146, o_{24}, s_{15}, r_{22}
  308. Polygon(L_7, M_6, Z_4) → t147, z_{23}, l_{17}, m_{21}
  309. Polygon(K_7, K_6, W_4) → t148, w_{19}, k_{16}, k_{17}
  310. Polygon(P_7, Q_7, W_5) → t149, w_{20}, p_{19}, q_{25}
  311. Polygon(D_7, E_7, S_4) → t150, s_{16}, d_{20}, e_{22}
  312. Polygon(G_8, C_7, R_4) → t151, r_{23}, g_{17}, c_{22}
  313. Polygon(G_7, K_8, F_6) → t152, f_{23}, g_{18}, k_{18}
  314. Polygon(A_7, J_6, Z_6) → t153, z_{24}, a_{25}, j_{23}
  315. Polygon(S_6, Z_7, H_5) → t154, h_{18}, s_{17}, z_{25}
  316. Polygon(T_6, I_5, U_7) → t155, u_{17}, t_{18}, i_{23}
  317. Polygon(M_6, L_5, N_6) → t156, n_{23}, m_{22}, l_{18}
  318. Polygon(L_6, K_7, Z_4) → t157, z_{26}, l_{19}, k_{19}
  319. Polygon(U_5, O_7, P_6) → t158, p_{20}, u_{18}, o_{25}
  320. Polygon(U_6, S_7, S_5) → t159, s_{18}, u_{19}, s_{19}
  321. Polygon(H_7, D_8, O_2) → t160, o_{26}, h_{19}, d_{21}
  322. Midpoint(q_{19}) → R_8
  323. Midpoint(u_{16}) → S_8
  324. Midpoint(t_{14}) → T_8
  325. Midpoint(s_{16}) → U_8
  326. Midpoint(r_{19}) → V_8
  327. Midpoint(r_{23}) → W_8
  328. Midpoint(d_{19}) → Z_8
  329. Midpoint(c_{19}) → A_9
  330. Midpoint(z_{20}) → B_9
  331. Midpoint(e_{20}) → C_9
  332. Midpoint(f_{23}) → D_9
  333. Midpoint(b_{29}) → E_9
  334. Midpoint(i_{20}) → F_9
  335. Midpoint(h_{14}) → G_9
  336. Midpoint(g_{16}) → H_9
  337. Midpoint(z_{22}) → I_9
  338. Midpoint(i_{16}) → J_9
  339. Midpoint(j_{23}) → K_9
  340. Midpoint(a_{23}) → L_9
  341. Midpoint(b_{25}) → M_9
  342. Midpoint(g_{13}) → N_9
  343. Midpoint(f_{22}) → O_9
  344. Midpoint(j_{22}) → P_9
  345. Midpoint(i_{18}) → Q_9
  346. Midpoint(h_{18}) → R_9
  347. Midpoint(w_{19}) → S_9
  348. Midpoint(v_{17}) → T_9
  349. Midpoint(t_{12}) → U_9
  350. Midpoint(a_{21}) → V_9
  351. Midpoint(z_{26}) → W_9
  352. Midpoint(i_{23}) → Z_9
  353. Midpoint(n_{19}) → A_{10}
  354. Midpoint(o_{18}) → B_{10}
  355. Midpoint(b_{30}) → C_{10}
  356. Midpoint(j_{20}) → D_{10}
  357. Midpoint(k_{13}) → E_{10}
  358. Midpoint(z_{23}) → F_{10}
  359. Midpoint(l_{18}) → G_{10}
  360. Midpoint(m_{19}) → H_{10}
  361. Midpoint(n_{16}) → I_{10}
  362. Midpoint(t_{17}) → J_{10}
  363. Midpoint(u_{18}) → K_{10}
  364. Midpoint(d_{16}) → L_{10}
  365. Midpoint(e_{18}) → M_{10}
  366. Midpoint(b_{27}) → N_{10}
  367. Midpoint(c_{21}) → O_{10}
  368. Midpoint(o_{26}) → P_{10}
  369. Midpoint(o_{24}) → Q_{10}
  370. Midpoint(p_{14}) → R_{10}
  371. Midpoint(q_{24}) → S_{10}
  372. Midpoint(r_{20}) → T_{10}
  373. Midpoint(s_{18}) → U_{10}
  374. Midpoint(q_{22}) → V_{10}
  375. Midpoint(w_{20}) → W_{10}
  376. Midpoint(v_{14}) → Z_{10}
  377. Polygon(C_9, W_8, C_7) → t161, c_{23}, c_{24}, w_{21}
  378. Polygon(S_8, R_8, I_8) → t162, i_{24}, s_{20}, r_{24}
  379. Polygon(I_9, J_9, E_8) → t163, e_{23}, i_{25}, j_{24}
  380. Polygon(E_9, L_8, F_9) → t164, f_{24}, e_{24}, l_{20}
  381. Polygon(P_9, V_7, Q_9) → t165, q_{26}, p_{21}, v_{20}
  382. Polygon(S_9, T_9, K_6) → t166, k_{20}, s_{21}, t_{19}
  383. Polygon(F_{10}, M_6, G_{10}) → t167, g_{19}, f_{25}, m_{23}
  384. Polygon(W_{10}, V_{10}, Q_7) → t168, q_{27}, w_{22}, v_{21}
  385. Polygon(Q_{10}, R_{10}, R_7) → t169, r_{25}, q_{28}, r_{26}
  386. Polygon(O_{10}, H_7, P_{10}) → t170, p_{22}, o_{27}, h_{20}
  387. Polygon(T_8, S_8, J_8) → t171, j_{25}, t_{20}, s_{22}
  388. Polygon(A_9, F_8, B_9) → t172, b_{32}, a_{26}, f_{26}
  389. Polygon(H_9, D_9, G_7) → t173, g_{20}, h_{21}, d_{22}
  390. Polygon(O_9, W_7, P_9) → t174, p_{23}, o_{28}, w_{23}
  391. Polygon(L_9, M_9, O_8) → t175, o_{29}, l_{21}, m_{24}
  392. Polygon(N_{10}, B_8, O_{10}) → t176, o_{30}, n_{24}, b_{33}
  393. Polygon(S_{10}, T_7, T_{10}) → t177, t_{21}, s_{23}, t_{22}
  394. Polygon(J_{10}, K_{10}, P_6) → t178, p_{24}, j_{26}, k_{21}
  395. Polygon(H_{10}, I_{10}, N_7) → t179, n_{25}, h_{22}, i_{26}
  396. Polygon(T_9, U_9, I_7) → t180, i_{27}, t_{23}, u_{20}
  397. Polygon(D_{10}, Z_9, T_6) → t181, t_{24}, d_{23}, z_{27}
  398. Polygon(U_8, T_8, E_7) → t182, e_{25}, u_{21}, t_{25}
  399. Polygon(W_8, Z_8, G_8) → t183, g_{21}, w_{24}, z_{28}
  400. Polygon(D_9, K_8, E_9) → t184, e_{26}, d_{24}, k_{22}
  401. Polygon(K_9, Z_6, L_9) → t185, l_{22}, k_{23}, z_{29}
  402. Polygon(R_9, N_9, Z_7) → t186, z_{30}, r_{27}, n_{26}
  403. Polygon(W_9, S_9, K_7) → t187, k_{24}, w_{25}, s_{24}
  404. Polygon(G_{10}, N_6, H_{10}) → t188, h_{23}, g_{22}, n_{27}
  405. Polygon(K_{10}, O_7, Z_{10}) → t189, z_{31}, k_{25}, o_{31}
  406. Polygon(U_{10}, Q_{10}, S_7) → t190, s_{25}, u_{22}, q_{29}
  407. Polygon(Z_9, A_{10}, U_7) → t191, u_{23}, z_{32}, a_{27}
  408. Polygon(B_9, C_9, N_8) → t192, n_{28}, b_{34}, c_{25}
  409. Polygon(R_8, V_8, H_8) → t193, h_{24}, r_{28}, v_{22}
  410. Polygon(J_9, K_9, A_7) → t194, a_{28}, j_{27}, k_{26}
  411. Polygon(G_9, H_9, F_7) → t195, f_{27}, g_{23}, h_{25}
  412. Polygon(N_9, O_9, R_6) → t196, r_{29}, n_{29}, o_{32}
  413. Polygon(V_9, W_9, L_6) → t197, l_{23}, v_{23}, w_{26}
  414. Polygon(I_{10}, E_{10}, M_7) → t198, m_{25}, i_{28}, e_{27}
  415. Polygon(B_{10}, C_{10}, A_8) → t199, a_{29}, b_{35}, c_{26}
  416. Polygon(L_{10}, M_{10}, C_8) → t200, c_{27}, l_{24}, m_{26}
  417. Polygon(R_{10}, Q_6, S_{10}) → t201, s_{26}, r_{30}, q_{30}
  418. Polygon(Z_{10}, W_{10}, P_7) → t202, p_{25}, z_{33}, w_{27}
  419. Polygon(V_8, D_7, U_8) → t203, u_{24}, v_{24}, d_{25}
  420. Polygon(Z_8, A_9, B_7) → t204, b_{36}, z_{34}, a_{30}
  421. Polygon(Q_9, R_9, S_6) → t205, s_{27}, q_{31}, r_{31}
  422. Polygon(U_9, J_7, V_9) → t206, v_{25}, u_{25}, j_{28}
  423. Polygon(E_{10}, F_{10}, L_7) → t207, l_{25}, e_{28}, f_{28}
  424. Polygon(A_{10}, Q_8, B_{10}) → t208, b_{37}, a_{31}, q_{32}
  425. Polygon(T_{10}, U_{10}, U_6) → t209, u_{26}, t_{26}, u_{27}
  426. Polygon(V_{10}, J_{10}, O_6) → t210, o_{33}, v_{26}, j_{29}
  427. Polygon(M_{10}, N_{10}, V_6) → t211, v_{27}, m_{27}, n_{30}
  428. Polygon(F_9, G_9, P_8) → t212, p_{26}, f_{29}, g_{24}
  429. Polygon(M_9, I_9, M_8) → t213, m_{28}, m_{29}, i_{29}
  430. Polygon(D_{10}, C_{10}, W_6) → t214, w_{28}, d_{26}, c_{28}
  431. Polygon(L_{10}, D_8, P_{10}) → t215, p_{27}, l_{26}, d_{27}
  432. Midpoint(j_{25}) → A_{11}
  433. Midpoint(i_{24}) → B_{11}
  434. Midpoint(h_{24}) → C_{11}
  435. Midpoint(d_{25}) → D_{11}
  436. Midpoint(e_{25}) → E_{11}
  437. Midpoint(g_{21}) → F_{11}
  438. Midpoint(b_{36}) → G_{11}
  439. Midpoint(f_{26}) → H_{11}
  440. Midpoint(n_{28}) → I_{11}
  441. Midpoint(c_{23}) → J_{11}
  442. Midpoint(m_{28}) → K_{11}
  443. Midpoint(e_{23}) → L_{11}
  444. Midpoint(a_{28}) → M_{11}
  445. Midpoint(z_{29}) → N_{11}
  446. Midpoint(o_{29}) → O_{11}
  447. Midpoint(z_{30}) → P_{11}
  448. Midpoint(r_{29}) → Q_{11}
  449. Midpoint(w_{23}) → R_{11}
  450. Midpoint(v_{20}) → S_{11}
  451. Midpoint(s_{27}) → T_{11}
  452. Midpoint(k_{20}) → U_{11}
  453. Midpoint(i_{27}) → V_{11}
  454. Midpoint(j_{28}) → W_{11}
  455. Midpoint(l_{23}) → Z_{11}
  456. Midpoint(k_{24}) → A_{12}
  457. Midpoint(l_{25}) → B_{12}
  458. Midpoint(m_{23}) → C_{12}
  459. Midpoint(n_{27}) → D_{12}
  460. Midpoint(n_{25}) → E_{12}
  461. Midpoint(m_{25}) → F_{12}
  462. Midpoint(p_{24}) → G_{12}
  463. Midpoint(o_{31}) → H_{12}
  464. Midpoint(p_{25}) → I_{12}
  465. Midpoint(q_{27}) → J_{12}
  466. Midpoint(o_{33}) → K_{12}
  467. Midpoint(q_{30}) → L_{12}
  468. Midpoint(r_{25}) → M_{12}
  469. Midpoint(s_{25}) → N_{12}
  470. Midpoint(u_{26}) → O_{12}
  471. Midpoint(t_{22}) → P_{12}
  472. Midpoint(q_{32}) → Q_{12}
  473. Midpoint(u_{23}) → R_{12}
  474. Midpoint(t_{24}) → S_{12}
  475. Midpoint(w_{28}) → T_{12}
  476. Midpoint(a_{29}) → U_{12}
  477. Midpoint(b_{33}) → V_{12}
  478. Midpoint(v_{27}) → W_{12}
  479. Midpoint(c_{27}) → Z_{12}
  480. Midpoint(d_{27}) → A_{13}
  481. Midpoint(h_{20}) → B_{13}
  482. Midpoint(l_{20}) → C_{13}
  483. Midpoint(k_{22}) → D_{13}
  484. Midpoint(g_{20}) → E_{13}
  485. Midpoint(f_{27}) → F_{13}
  486. Midpoint(p_{26}) → G_{13}
  487. Polygon(T_8, A_{11}, E_{11}) → t216, e_{29}, t_{27}, a_{32}
  488. Polygon(Z_8, F_{11}, G_{11}) → t217, g_{25}, z_{35}, f_{30}
  489. Polygon(N_9, Q_{11}, P_{11}) → t218, p_{28}, n_{31}, q_{33}
  490. Polygon(S_9, U_{11}, A_{12}) → t219, a_{33}, s_{28}, u_{28}
  491. Polygon(H_{10}, E_{12}, D_{12}) → t220, d_{28}, h_{26}, e_{30}
  492. Polygon(A_{10}, Q_{12}, R_{12}) → t221, r_{32}, a_{34}, q_{34}
  493. Polygon(L_9, O_{11}, N_{11}) → t222, n_{32}, l_{27}, o_{34}
  494. Polygon(E_9, C_{13}, D_{13}) → t223, d_{29}, e_{31}, c_{29}
  495. Polygon(L_{10}, Z_{12}, A_{13}) → t224, a_{35}, l_{28}, z_{36}
  496. Polygon(Q_{10}, M_{12}, N_{12}) → t225, n_{33}, q_{35}, m_{30}
  497. Polygon(Z_{10}, I_{12}, H_{12}) → t226, h_{27}, z_{37}, i_{30}
  498. Polygon(B_{11}, C_{11}, R_8) → t227, r_{33}, b_{38}, c_{30}
  499. Polygon(W_8, F_{11}, J_{11}) → t228, j_{30}, w_{29}, f_{31}
  500. Polygon(Q_9, T_{11}, S_{11}) → t229, s_{29}, q_{36}, t_{28}
  501. Polygon(T_9, V_{11}, U_{11}) → t230, u_{29}, t_{29}, v_{28}
  502. Polygon(G_{10}, D_{12}, C_{12}) → t231, c_{31}, g_{26}, d_{30}
  503. Polygon(R_{10}, M_{12}, L_{12}) → t232, l_{29}, r_{34}, m_{31}
  504. Polygon(D_{10}, S_{12}, T_{12}) → t233, t_{30}, d_{31}, s_{30}
  505. Polygon(V_{10}, K_{12}, J_{12}) → t234, j_{31}, v_{29}, k_{27}
  506. Polygon(P_{10}, A_{13}, B_{13}) → t235, b_{39}, p_{29}, a_{36}
  507. Polygon(F_9, G_{13}, C_{13}) → t236, c_{32}, f_{32}, g_{27}
  508. Polygon(J_9, M_{11}, L_{11}) → t237, l_{30}, j_{32}, m_{32}
  509. Polygon(S_8, B_{11}, A_{11}) → t238, a_{37}, s_{31}, b_{40}
  510. Polygon(B_9, I_{11}, H_{11}) → t239, h_{28}, b_{41}, i_{31}
  511. Polygon(P_9, S_{11}, R_{11}) → t240, r_{35}, p_{30}, s_{32}
  512. Polygon(U_9, W_{11}, V_{11}) → t241, v_{30}, u_{30}, w_{30}
  513. Polygon(I_{10}, F_{12}, E_{12}) → t242, e_{32}, i_{32}, f_{33}
  514. Polygon(Z_9, R_{12}, S_{12}) → t243, s_{33}, z_{38}, r_{36}
  515. Polygon(K_{10}, H_{12}, G_{12}) → t244, g_{28}, k_{28}, h_{29}
  516. Polygon(P_{12}, O_{12}, T_{10}) → t245, t_{31}, p_{31}, o_{35}
  517. Polygon(O_{10}, B_{13}, V_{12}) → t246, v_{31}, o_{36}, b_{42}
  518. Polygon(E_{13}, D_{13}, D_9) → t247, d_{32}, e_{33}, d_{33}
  519. Polygon(M_9, K_{11}, O_{11}) → t248, o_{37}, m_{33}, k_{29}
  520. Polygon(C_{11}, V_8, D_{11}) → t249, d_{34}, c_{33}, v_{32}
  521. Polygon(I_{11}, J_{11}, C_9) → t250, c_{34}, i_{33}, j_{33}
  522. Polygon(M_{11}, K_9, N_{11}) → t251, n_{34}, m_{34}, k_{30}
  523. Polygon(Q_{11}, R_{11}, O_9) → t252, o_{38}, q_{37}, r_{37}
  524. Polygon(Z_{11}, A_{12}, W_9) → t253, w_{31}, z_{39}, a_{38}
  525. Polygon(U_{12}, T_{12}, C_{10}) → t254, c_{35}, u_{31}, t_{32}
  526. Polygon(W_{12}, Z_{12}, M_{10}) → t255, m_{35}, w_{32}, z_{40}
  527. Polygon(L_{12}, S_{10}, P_{12}) → t256, p_{32}, l_{31}, s_{34}
  528. Polygon(I_{12}, J_{12}, W_{10}) → t257, w_{33}, i_{34}, j_{34}
  529. Polygon(H_9, E_{13}, F_{13}) → t258, f_{34}, h_{30}, e_{34}
  530. Polygon(E_{10}, B_{12}, F_{12}) → t259, f_{35}, e_{35}, b_{43}
  531. Polygon(G_{12}, K_{12}, J_{10}) → t260, j_{35}, g_{29}, k_{31}
  532. Polygon(O_{12}, U_{10}, N_{12}) → t261, n_{35}, o_{39}, u_{32}
  533. Polygon(V_{12}, W_{12}, N_{10}) → t262, n_{36}, v_{33}, w_{34}
  534. Polygon(Q_{12}, B_{10}, U_{12}) → t263, u_{33}, q_{38}, b_{44}
  535. Polygon(B_{12}, C_{12}, F_{10}) → t264, f_{36}, b_{45}, c_{36}
  536. Polygon(W_{11}, Z_{11}, V_9) → t265, v_{34}, w_{35}, z_{41}
  537. Polygon(T_{11}, R_9, P_{11}) → t266, p_{33}, t_{33}, r_{38}
  538. Polygon(K_{11}, L_{11}, I_9) → t267, i_{35}, k_{32}, l_{32}
  539. Polygon(G_{13}, F_{13}, G_9) → t268, g_{30}, g_{31}, f_{37}
  540. Polygon(H_{11}, G_{11}, A_9) → t269, a_{39}, h_{31}, g_{32}
  541. Polygon(D_{11}, E_{11}, U_8) → t270, u_{34}, d_{35}, e_{36}
  542. Midpoint(u_{30}) → H_{13}
  543. Midpoint(v_{34}) → I_{13}
  544. Midpoint(w_{31}) → J_{13}
  545. Midpoint(s_{28}) → K_{13}
  546. Midpoint(t_{29}) → L_{13}
  547. Midpoint(f_{36}) → M_{13}
  548. Midpoint(g_{26}) → N_{13}
  549. Midpoint(h_{26}) → O_{13}
  550. Midpoint(i_{32}) → P_{13}
  551. Midpoint(e_{35}) → Q_{13}
  552. Midpoint(p_{30}) → R_{13}
  553. Midpoint(q_{36}) → S_{13}
  554. Midpoint(r_{38}) → T_{13}
  555. Midpoint(n_{31}) → U_{13}
  556. Midpoint(o_{38}) → V_{13}
  557. Midpoint(a_{34}) → W_{13}
  558. Midpoint(b_{44}) → Z_{13}
  559. Midpoint(c_{35}) → A_{14}
  560. Midpoint(d_{31}) → B_{14}
  561. Midpoint(z_{38}) → C_{14}
  562. Midpoint(r_{34}) → D_{14}
  563. Midpoint(s_{34}) → E_{14}
  564. Midpoint(t_{31}) → F_{14}
  565. Midpoint(u_{32}) → G_{14}
  566. Midpoint(q_{35}) → H_{14}
  567. Midpoint(z_{37}) → I_{14}
  568. Midpoint(w_{33}) → J_{14}
  569. Midpoint(v_{29}) → K_{14}
  570. Midpoint(j_{35}) → L_{14}
  571. Midpoint(k_{28}) → M_{14}
  572. Midpoint(o_{36}) → N_{14}
  573. Midpoint(p_{29}) → O_{14}
  574. Midpoint(l_{28}) → P_{14}
  575. Midpoint(m_{35}) → Q_{14}
  576. Midpoint(n_{36}) → R_{14}
  577. Midpoint(k_{30}) → S_{14}
  578. Midpoint(e_{31}) → T_{14}
  579. Midpoint(l_{27}) → U_{14}
  580. Midpoint(m_{33}) → V_{14}
  581. Midpoint(i_{35}) → W_{14}
  582. Midpoint(j_{32}) → Z_{14}
  583. Midpoint(f_{32}) → A_{15}
  584. Midpoint(g_{30}) → B_{15}
  585. Midpoint(h_{30}) → C_{15}
  586. Midpoint(d_{32}) → D_{15}
  587. Midpoint(b_{41}) → E_{15}
  588. Midpoint(c_{34}) → F_{15}
  589. Midpoint(w_{29}) → G_{15}
  590. Midpoint(z_{35}) → H_{15}
  591. Midpoint(a_{39}) → I_{15}
  592. Midpoint(u_{34}) → J_{15}
  593. Midpoint(t_{27}) → K_{15}
  594. Midpoint(s_{31}) → L_{15}
  595. Midpoint(r_{33}) → M_{15}
  596. Midpoint(v_{32}) → N_{15}
  597. Polygon(H_{13}, L_{13}, V_{11}) → t271, v_{35}, h_{32}, l_{33}
  598. Polygon(K_{14}, L_{14}, K_{12}) → t272, k_{33}, k_{34}, l_{34}
  599. Polygon(N_{13}, D_{12}, O_{13}) → t273, o_{40}, n_{37}, d_{36}
  600. Polygon(D_{14}, L_{12}, E_{14}) → t274, e_{37}, d_{37}, l_{35}
  601. Polygon(O_{14}, A_{13}, P_{14}) → t275, p_{34}, o_{41}, a_{40}
  602. Polygon(B_{14}, C_{14}, S_{12}) → t276, s_{35}, b_{46}, c_{37}
  603. Polygon(S_{13}, T_{11}, T_{13}) → t277, t_{34}, s_{36}, t_{35}
  604. Polygon(Z_{14}, S_{14}, M_{11}) → t278, m_{36}, z_{42}, s_{37}
  605. Polygon(A_{15}, G_{13}, B_{15}) → t279, b_{47}, a_{41}, g_{33}
  606. Polygon(G_{15}, H_{15}, F_{11}) → t280, f_{38}, g_{34}, h_{33}
  607. Polygon(M_{15}, N_{15}, C_{11}) → t281, c_{38}, m_{37}, n_{38}
  608. Polygon(I_{13}, Z_{11}, J_{13}) → t282, j_{36}, i_{36}, z_{43}
  609. Polygon(M_{13}, N_{13}, C_{12}) → t283, c_{39}, m_{38}, n_{39}
  610. Polygon(Z_{13}, U_{12}, A_{14}) → t284, a_{42}, z_{44}, u_{35}
  611. Polygon(G_{14}, H_{14}, N_{12}) → t285, n_{40}, g_{35}, h_{34}
  612. Polygon(L_{14}, M_{14}, G_{12}) → t286, g_{36}, l_{36}, m_{39}
  613. Polygon(R_{14}, N_{14}, V_{12}) → t287, v_{36}, r_{39}, n_{41}
  614. Polygon(W_{14}, Z_{14}, L_{11}) → t288, l_{37}, w_{36}, z_{45}
  615. Polygon(B_{15}, C_{15}, F_{13}) → t289, f_{39}, b_{48}, c_{40}
  616. Polygon(I_{15}, E_{15}, H_{11}) → t290, h_{35}, i_{37}, e_{38}
  617. Polygon(J_{15}, E_{11}, K_{15}) → t291, k_{35}, j_{37}, e_{39}
  618. Polygon(R_{13}, S_{13}, S_{11}) → t292, s_{38}, r_{40}, s_{39}
  619. Polygon(V_{14}, W_{14}, K_{11}) → t293, k_{36}, v_{37}, w_{37}
  620. Polygon(S_{14}, U_{14}, N_{11}) → t294, n_{42}, s_{40}, u_{36}
  621. Polygon(U_{14}, O_{11}, V_{14}) → t295, v_{38}, u_{37}, o_{42}
  622. Polygon(T_{14}, A_{15}, C_{13}) → t296, c_{41}, t_{36}, a_{43}
  623. Polygon(D_{15}, T_{14}, D_{13}) → t297, d_{38}, d_{39}, t_{37}
  624. Polygon(C_{15}, D_{15}, E_{13}) → t298, e_{40}, c_{42}, d_{40}
  625. Polygon(E_{15}, F_{15}, I_{11}) → t299, i_{38}, e_{41}, f_{40}
  626. Polygon(I_{15}, H_{15}, G_{11}) → t300, g_{37}, i_{39}, h_{36}
  627. Polygon(F_{15}, J_{11}, G_{15}) → t301, g_{38}, f_{41}, j_{38}
  628. Polygon(R_{13}, V_{13}, R_{11}) → t302, r_{41}, r_{42}, v_{39}
  629. Polygon(V_{13}, U_{13}, Q_{11}) → t303, q_{39}, v_{40}, u_{38}
  630. Polygon(T_{13}, U_{13}, P_{11}) → t304, p_{35}, t_{38}, u_{39}
  631. Polygon(N_{15}, J_{15}, D_{11}) → t305, d_{41}, n_{43}, j_{39}
  632. Polygon(M_{15}, L_{15}, B_{11}) → t306, b_{49}, m_{40}, l_{38}
  633. Polygon(K_{15}, L_{15}, A_{11}) → t307, a_{44}, k_{37}, l_{39}
  634. Polygon(M_{14}, I_{14}, H_{12}) → t308, h_{37}, m_{41}, i_{40}
  635. Polygon(I_{14}, J_{14}, I_{12}) → t309, i_{41}, i_{42}, j_{40}
  636. Polygon(J_{14}, J_{12}, K_{14}) → t310, k_{38}, j_{41}, j_{42}
  637. Polygon(E_{14}, F_{14}, P_{12}) → t311, p_{36}, e_{42}, f_{42}
  638. Polygon(F_{14}, O_{12}, G_{14}) → t312, g_{39}, f_{43}, o_{43}
  639. Polygon(D_{14}, H_{14}, M_{12}) → t313, m_{42}, d_{42}, h_{38}
  640. Polygon(N_{14}, O_{14}, B_{13}) → t314, b_{50}, n_{44}, o_{44}
  641. Polygon(P_{14}, Q_{14}, Z_{12}) → t315, z_{46}, p_{37}, q_{40}
  642. Polygon(R_{14}, Q_{14}, W_{12}) → t316, w_{38}, r_{43}, q_{41}
  643. Polygon(W_{13}, Z_{13}, Q_{12}) → t317, q_{42}, w_{39}, z_{47}
  644. Polygon(A_{14}, T_{12}, B_{14}) → t318, b_{51}, a_{45}, t_{39}
  645. Polygon(C_{14}, W_{13}, R_{12}) → t319, r_{44}, c_{43}, w_{40}
  646. Polygon(O_{13}, P_{13}, E_{12}) → t320, e_{43}, o_{45}, p_{38}
  647. Polygon(P_{13}, Q_{13}, F_{12}) → t321, f_{44}, p_{39}, q_{43}
  648. Polygon(Q_{13}, M_{13}, B_{12}) → t322, b_{52}, q_{44}, m_{43}
  649. Polygon(H_{13}, I_{13}, W_{11}) → t323, w_{41}, h_{39}, i_{43}
  650. Polygon(J_{13}, K_{13}, A_{12}) → t324, a_{46}, j_{43}, k_{39}
  651. Polygon(L_{13}, K_{13}, U_{11}) → t325, u_{40}, l_{40}, k_{40}
  652. Midpoint(i_{41}) → O_{15}
  653. Midpoint(j_{42}) → P_{15}
  654. Midpoint(k_{33}) → Q_{15}
  655. Midpoint(g_{36}) → R_{15}
  656. Midpoint(h_{37}) → S_{15}
  657. Midpoint(p_{36}) → T_{15}
  658. Midpoint(o_{43}) → U_{15}
  659. Midpoint(n_{40}) → V_{15}
  660. Midpoint(m_{42}) → W_{15}
  661. Midpoint(l_{35}) → Z_{15}
  662. Midpoint(b_{50}) → A_{16}
  663. Midpoint(a_{40}) → B_{16}
  664. Midpoint(z_{46}) → C_{16}
  665. Midpoint(w_{38}) → D_{16}
  666. Midpoint(v_{36}) → E_{16}
  667. Midpoint(u_{35}) → F_{16}
  668. Midpoint(t_{39}) → G_{16}
  669. Midpoint(s_{35}) → H_{16}
  670. Midpoint(r_{44}) → I_{16}
  671. Midpoint(q_{42}) → J_{16}
  672. Midpoint(n_{42}) → K_{16}
  673. Midpoint(o_{42}) → L_{16}
  674. Midpoint(k_{36}) → M_{16}
  675. Midpoint(l_{37}) → N_{16}
  676. Midpoint(m_{36}) → O_{16}
  677. Midpoint(t_{35}) → P_{16}
  678. Midpoint(p_{35}) → Q_{16}
  679. Midpoint(q_{39}) → R_{16}
  680. Midpoint(r_{41}) → S_{16}
  681. Midpoint(s_{38}) → T_{16}
  682. Midpoint(e_{43}) → U_{16}
  683. Midpoint(f_{44}) → V_{16}
  684. Midpoint(b_{52}) → W_{16}
  685. Midpoint(c_{39}) → Z_{16}
  686. Midpoint(d_{36}) → A_{17}
  687. Midpoint(i_{38}) → B_{17}
  688. Midpoint(j_{38}) → C_{17}
  689. Midpoint(f_{38}) → D_{17}
  690. Midpoint(g_{37}) → E_{17}
  691. Midpoint(h_{35}) → F_{17}
  692. Midpoint(d_{38}) → G_{17}
  693. Midpoint(c_{41}) → H_{17}
  694. Midpoint(g_{33}) → I_{17}
  695. Midpoint(f_{39}) → J_{17}
  696. Midpoint(e_{40}) → K_{17}
  697. Midpoint(d_{41}) → L_{17}
  698. Midpoint(e_{39}) → M_{17}
  699. Midpoint(a_{44}) → N_{17}
  700. Midpoint(b_{49}) → O_{17}
  701. Midpoint(c_{38}) → P_{17}
  702. Midpoint(v_{35}) → Q_{17}
  703. Midpoint(w_{41}) → R_{17}
  704. Midpoint(z_{43}) → S_{17}
  705. Midpoint(a_{46}) → T_{17}
  706. Midpoint(u_{40}) → U_{17}
  707. Polygon(A_{16}, O_{14}, B_{16}) → t326, b_{53}, a_{47}, o_{46}
  708. Polygon(A_{16}, N_{14}, E_{16}) → t327, e_{44}, a_{48}, n_{45}
  709. Polygon(E_{16}, D_{16}, R_{14}) → t328, r_{45}, e_{45}, d_{43}
  710. Polygon(B_{16}, C_{16}, P_{14}) → t329, p_{40}, b_{54}, c_{44}
  711. Polygon(C_{16}, Q_{14}, D_{16}) → t330, d_{44}, c_{45}, q_{45}
  712. Polygon(U_{15}, G_{14}, V_{15}) → t331, v_{41}, u_{41}, g_{40}
  713. Polygon(F_{14}, U_{15}, T_{15}) → t332, t_{40}, f_{45}, u_{42}
  714. Polygon(T_{15}, E_{14}, Z_{15}) → t333, z_{48}, t_{41}, e_{46}
  715. Polygon(Z_{15}, D_{14}, W_{15}) → t334, w_{42}, z_{49}, d_{45}
  716. Polygon(W_{15}, H_{14}, V_{15}) → t335, v_{42}, w_{43}, h_{40}
  717. Polygon(Z_{13}, F_{16}, J_{16}) → t336, j_{44}, z_{50}, f_{46}
  718. Polygon(F_{16}, A_{14}, G_{16}) → t337, g_{41}, f_{47}, a_{49}
  719. Polygon(G_{16}, B_{14}, H_{16}) → t338, h_{41}, g_{42}, b_{55}
  720. Polygon(H_{16}, C_{14}, I_{16}) → t339, i_{44}, h_{42}, c_{46}
  721. Polygon(J_{16}, I_{16}, W_{13}) → t340, w_{44}, j_{45}, i_{45}
  722. Midpoint(o_{46}) → V_{17}
  723. Midpoint(p_{40}) → W_{17}
  724. Midpoint(q_{45}) → Z_{17}
  725. Midpoint(r_{45}) → A_{18}
  726. Midpoint(n_{45}) → B_{18}
  727. Midpoint(g_{40}) → C_{18}
  728. Midpoint(f_{45}) → D_{18}
  729. Midpoint(e_{46}) → E_{18}
  730. Midpoint(d_{45}) → F_{18}
  731. Midpoint(h_{40}) → G_{18}
  732. Midpoint(a_{49}) → H_{18}
  733. Midpoint(b_{55}) → I_{18}
  734. Midpoint(c_{46}) → J_{18}
  735. Midpoint(w_{44}) → K_{18}
  736. Midpoint(z_{50}) → L_{18}
  737. Polygon(I_{14}, O_{15}, S_{15}) → t341, s_{41}, i_{46}, o_{47}
  738. Polygon(O_{15}, J_{14}, P_{15}) → t342, p_{41}, o_{48}, j_{46}
  739. Polygon(P_{15}, K_{14}, Q_{15}) → t343, q_{46}, p_{42}, k_{41}
  740. Polygon(Q_{15}, R_{15}, L_{14}) → t344, l_{41}, q_{47}, r_{46}
  741. Polygon(S_{15}, R_{15}, M_{14}) → t345, m_{44}, s_{42}, r_{47}
  742. Polygon(A_{17}, U_{16}, O_{13}) → t346, o_{49}, a_{50}, u_{43}
  743. Polygon(U_{16}, V_{16}, P_{13}) → t347, p_{43}, u_{44}, v_{43}
  744. Polygon(V_{16}, Q_{13}, W_{16}) → t348, w_{45}, v_{44}, q_{48}
  745. Polygon(A_{17}, Z_{16}, N_{13}) → t349, n_{46}, a_{51}, z_{51}
  746. Polygon(W_{16}, Z_{16}, M_{13}) → t350, m_{45}, w_{46}, z_{52}
  747. Polygon(S_{17}, T_{17}, J_{13}) → t351, j_{47}, s_{43}, t_{42}
  748. Polygon(T_{17}, K_{13}, U_{17}) → t352, u_{45}, t_{43}, k_{42}
  749. Polygon(U_{17}, L_{13}, Q_{17}) → t353, q_{49}, u_{46}, l_{42}
  750. Polygon(Q_{17}, R_{17}, H_{13}) → t354, h_{43}, q_{50}, r_{48}
  751. Polygon(R_{17}, S_{17}, I_{13}) → t355, i_{47}, r_{49}, s_{44}
  752. Polygon(T_{16}, S_{16}, R_{13}) → t356, r_{50}, t_{44}, s_{45}
  753. Polygon(S_{13}, P_{16}, T_{16}) → t357, t_{45}, s_{46}, p_{44}
  754. Polygon(P_{16}, T_{13}, Q_{16}) → t358, q_{51}, p_{45}, t_{46}
  755. Polygon(Q_{16}, U_{13}, R_{16}) → t359, r_{51}, q_{52}, u_{47}
  756. Polygon(R_{16}, S_{16}, V_{13}) → t360, v_{45}, r_{52}, s_{47}
  757. Polygon(I_{17}, J_{17}, B_{15}) → t361, b_{56}, i_{48}, j_{48}
  758. Polygon(I_{17}, H_{17}, A_{15}) → t362, a_{52}, i_{49}, h_{44}
  759. Polygon(H_{17}, G_{17}, T_{14}) → t363, t_{47}, h_{45}, g_{43}
  760. Polygon(J_{17}, C_{15}, K_{17}) → t364, k_{43}, j_{49}, c_{47}
  761. Polygon(K_{17}, D_{15}, G_{17}) → t365, g_{44}, k_{44}, d_{46}
  762. Polygon(L_{17}, M_{17}, J_{15}) → t366, j_{50}, l_{43}, m_{46}
  763. Polygon(L_{17}, P_{17}, N_{15}) → t367, n_{47}, l_{44}, p_{46}
  764. Polygon(M_{17}, N_{17}, K_{15}) → t368, k_{45}, m_{47}, n_{48}
  765. Polygon(N_{17}, L_{15}, O_{17}) → t369, o_{50}, n_{49}, l_{45}
  766. Polygon(O_{17}, P_{17}, M_{15}) → t370, m_{48}, o_{51}, p_{47}
  767. Polygon(C_{17}, D_{17}, G_{15}) → t371, g_{45}, c_{48}, d_{47}
  768. Polygon(F_{15}, B_{17}, C_{17}) → t372, c_{49}, f_{48}, b_{57}
  769. Polygon(B_{17}, F_{17}, E_{15}) → t373, e_{47}, b_{58}, f_{49}
  770. Polygon(F_{17}, E_{17}, I_{15}) → t374, i_{50}, f_{50}, e_{48}
  771. Polygon(E_{17}, D_{17}, H_{15}) → t375, h_{46}, e_{49}, d_{48}
  772. Polygon(K_{16}, L_{16}, U_{14}) → t376, u_{48}, k_{46}, l_{46}
  773. Polygon(K_{16}, S_{14}, O_{16}) → t377, o_{52}, k_{47}, s_{48}
  774. Polygon(O_{16}, N_{16}, Z_{14}) → t378, z_{53}, o_{53}, n_{50}
  775. Polygon(N_{16}, M_{16}, W_{14}) → t379, w_{47}, n_{51}, m_{49}
  776. Polygon(V_{14}, M_{16}, L_{16}) → t380, l_{47}, v_{46}, m_{50}
  777. Midpoint(i_{46}) → M_{18}
  778. Midpoint(j_{46}) → N_{18}
  779. Midpoint(k_{41}) → O_{18}
  780. Midpoint(l_{41}) → P_{18}
  781. Midpoint(m_{44}) → Q_{18}
  782. Midpoint(o_{49}) → R_{18}
  783. Midpoint(p_{43}) → S_{18}
  784. Midpoint(q_{48}) → T_{18}
  785. Midpoint(m_{45}) → U_{18}
  786. Midpoint(n_{46}) → V_{18}
  787. Midpoint(s_{46}) → W_{18}
  788. Midpoint(t_{46}) → Z_{18}
  789. Midpoint(u_{47}) → A_{19}
  790. Midpoint(r_{50}) → B_{19}
  791. Midpoint(v_{45}) → C_{19}
  792. Midpoint(j_{47}) → D_{19}
  793. Midpoint(k_{42}) → E_{19}
  794. Midpoint(l_{42}) → F_{19}
  795. Midpoint(h_{43}) → G_{19}
  796. Midpoint(i_{47}) → H_{19}
  797. Midpoint(l_{45}) → I_{19}
  798. Midpoint(m_{48}) → J_{19}
  799. Midpoint(n_{47}) → K_{19}
  800. Midpoint(j_{50}) → L_{19}
  801. Midpoint(k_{45}) → M_{19}
  802. Midpoint(h_{46}) → N_{19}
  803. Midpoint(i_{50}) → O_{19}
  804. Midpoint(e_{47}) → P_{19}
  805. Midpoint(f_{48}) → Q_{19}
  806. Midpoint(g_{45}) → R_{19}
  807. Midpoint(w_{47}) → S_{19}
  808. Midpoint(z_{53}) → T_{19}
  809. Midpoint(s_{48}) → U_{19}
  810. Midpoint(u_{48}) → V_{19}
  811. Midpoint(v_{46}) → W_{19}
  812. Midpoint(a_{52}) → Z_{19}
  813. Midpoint(t_{47}) → A_{20}
  814. Midpoint(d_{46}) → B_{20}
  815. Midpoint(c_{47}) → C_{20}
  816. Midpoint(b_{56}) → D_{20}
  817. Polygon(M_{19}, I_{19}, N_{17}) → t381, n_{52}, m_{51}, i_{51}
  818. Polygon(I_{19}, J_{19}, O_{17}) → t382, o_{54}, i_{52}, j_{51}
  819. Polygon(J_{19}, P_{17}, K_{19}) → t383, k_{48}, j_{52}, p_{48}
  820. Polygon(K_{19}, L_{17}, L_{19}) → t384, l_{48}, k_{49}, l_{49}
  821. Polygon(L_{19}, M_{19}, M_{17}) → t385, m_{52}, l_{50}, m_{53}
  822. Polygon(D_{17}, R_{19}, N_{19}) → t386, n_{53}, d_{49}, r_{53}
  823. Polygon(N_{19}, O_{19}, E_{17}) → t387, e_{50}, n_{54}, o_{55}
  824. Polygon(O_{19}, F_{17}, P_{19}) → t388, p_{49}, o_{56}, f_{51}
  825. Polygon(P_{19}, Q_{19}, B_{17}) → t389, b_{59}, p_{50}, q_{53}
  826. Polygon(Q_{19}, R_{19}, C_{17}) → t390, c_{50}, q_{54}, r_{54}
  827. Polygon(S_{19}, T_{19}, N_{16}) → t391, n_{55}, s_{49}, t_{48}
  828. Polygon(S_{19}, M_{16}, W_{19}) → t392, w_{48}, s_{50}, m_{54}
  829. Polygon(W_{19}, V_{19}, L_{16}) → t393, l_{51}, w_{49}, v_{47}
  830. Polygon(V_{19}, U_{19}, K_{16}) → t394, k_{50}, v_{48}, u_{49}
  831. Polygon(T_{19}, U_{19}, O_{16}) → t395, o_{57}, t_{49}, u_{50}
  832. Polygon(A_{19}, Z_{18}, Q_{16}) → t396, q_{55}, a_{53}, z_{54}
  833. Polygon(R_{16}, C_{19}, A_{19}) → t397, a_{54}, r_{55}, c_{51}
  834. Polygon(C_{19}, S_{16}, B_{19}) → t398, b_{60}, c_{52}, s_{51}
  835. Polygon(B_{19}, T_{16}, W_{18}) → t399, w_{50}, b_{61}, t_{50}
  836. Polygon(W_{18}, Z_{18}, P_{16}) → t400, p_{51}, w_{51}, z_{55}
  837. Polygon(B_{20}, A_{20}, G_{17}) → t401, g_{46}, b_{62}, a_{55}
  838. Polygon(B_{20}, C_{20}, K_{17}) → t402, k_{51}, b_{63}, c_{53}
  839. Polygon(A_{20}, H_{17}, Z_{19}) → t403, z_{56}, a_{56}, h_{47}
  840. Polygon(Z_{19}, I_{17}, D_{20}) → t404, d_{50}, z_{57}, i_{53}
  841. Polygon(C_{20}, D_{20}, J_{17}) → t405, j_{53}, c_{54}, d_{51}
  842. Polygon(I_{18}, H_{18}, G_{16}) → t406, g_{47}, i_{54}, h_{48}
  843. Polygon(H_{16}, I_{18}, J_{18}) → t407, j_{54}, h_{49}, i_{55}
  844. Polygon(J_{18}, K_{18}, I_{16}) → t408, i_{56}, j_{55}, k_{52}
  845. Polygon(K_{18}, J_{16}, L_{18}) → t409, l_{52}, k_{53}, j_{56}
  846. Polygon(L_{18}, H_{18}, F_{16}) → t410, f_{52}, l_{53}, h_{50}
  847. Polygon(D_{16}, Z_{17}, A_{18}) → t411, a_{57}, d_{52}, z_{58}
  848. Polygon(A_{18}, E_{16}, B_{18}) → t412, b_{64}, a_{58}, e_{51}
  849. Polygon(B_{18}, V_{17}, A_{16}) → t413, a_{59}, b_{65}, v_{49}
  850. Polygon(V_{17}, W_{17}, B_{16}) → t414, b_{66}, v_{50}, w_{52}
  851. Polygon(W_{17}, Z_{17}, C_{16}) → t415, c_{55}, w_{53}, z_{59}
  852. Polygon(V_{15}, G_{18}, C_{18}) → t416, c_{56}, v_{51}, g_{48}
  853. Polygon(G_{18}, W_{15}, F_{18}) → t417, f_{53}, g_{49}, w_{54}
  854. Polygon(F_{18}, Z_{15}, E_{18}) → t418, e_{52}, f_{54}, z_{60}
  855. Polygon(E_{18}, T_{15}, D_{18}) → t419, d_{53}, e_{53}, t_{51}
  856. Polygon(D_{18}, C_{18}, U_{15}) → t420, u_{51}, d_{54}, c_{57}
  857. Polygon(T_{18}, U_{18}, W_{16}) → t421, w_{55}, t_{52}, u_{52}
  858. Polygon(T_{18}, V_{16}, S_{18}) → t422, s_{52}, t_{53}, v_{52}
  859. Polygon(S_{18}, R_{18}, U_{16}) → t423, u_{53}, s_{53}, r_{56}
  860. Polygon(R_{18}, V_{18}, A_{17}) → t424, a_{60}, r_{57}, v_{53}
  861. Polygon(U_{18}, V_{18}, Z_{16}) → t425, z_{61}, u_{54}, v_{54}
  862. Polygon(U_{17}, E_{19}, F_{19}) → t426, f_{55}, u_{55}, e_{54}
  863. Polygon(F_{19}, Q_{17}, G_{19}) → t427, g_{50}, f_{56}, q_{56}
  864. Polygon(G_{19}, R_{17}, H_{19}) → t428, h_{51}, g_{51}, r_{58}
  865. Polygon(H_{19}, D_{19}, S_{17}) → t429, s_{54}, h_{52}, d_{55}
  866. Polygon(D_{19}, E_{19}, T_{17}) → t430, t_{54}, d_{56}, e_{55}
  867. Polygon(P_{18}, Q_{18}, R_{15}) → t431, r_{59}, p_{52}, q_{57}
  868. Polygon(P_{18}, Q_{15}, O_{18}) → t432, o_{58}, p_{53}, q_{58}
  869. Polygon(O_{18}, N_{18}, P_{15}) → t433, p_{54}, o_{59}, n_{56}
  870. Polygon(Q_{18}, M_{18}, S_{15}) → t434, s_{55}, q_{59}, m_{55}
  871. Polygon(M_{18}, N_{18}, O_{15}) → t435, o_{60}, m_{56}, n_{57}
  872. Midpoint(n_{52}) → E_{20}
  873. Midpoint(o_{54}) → F_{20}
  874. Midpoint(p_{48}) → G_{20}
  875. Midpoint(l_{49}) → H_{20}
  876. Midpoint(m_{52}) → I_{20}
  877. Midpoint(d_{49}) → J_{20}
  878. Midpoint(e_{50}) → K_{20}
  879. Midpoint(f_{51}) → L_{20}
  880. Midpoint(b_{59}) → M_{20}
  881. Midpoint(c_{50}) → N_{20}
  882. Midpoint(k_{50}) → O_{20}
  883. Midpoint(o_{57}) → P_{20}
  884. Midpoint(n_{55}) → Q_{20}
  885. Midpoint(m_{54}) → R_{20}
  886. Midpoint(l_{51}) → S_{20}
  887. Midpoint(g_{46}) → T_{20}
  888. Midpoint(h_{47}) → U_{20}
  889. Midpoint(k_{51}) → V_{20}
  890. Midpoint(j_{53}) → W_{20}
  891. Midpoint(i_{53}) → Z_{20}
  892. Polygon(F_{20}, I_{19}, E_{20}) → t436, e_{56}, f_{57}, i_{57}
  893. Polygon(F_{20}, J_{19}, G_{20}) → t437, g_{52}, f_{58}, j_{57}
  894. Polygon(G_{20}, K_{19}, H_{20}) → t438, h_{53}, g_{53}, k_{54}
  895. Polygon(H_{20}, I_{20}, L_{19}) → t439, l_{54}, h_{54}, i_{58}
  896. Polygon(E_{20}, I_{20}, M_{19}) → t440, m_{57}, e_{57}, i_{59}
  897. Polygon(J_{20}, N_{20}, R_{19}) → t441, r_{60}, j_{58}, n_{58}
  898. Polygon(N_{19}, K_{20}, J_{20}) → t442, j_{59}, n_{59}, k_{55}
  899. Polygon(K_{20}, L_{20}, O_{19}) → t443, o_{61}, k_{56}, l_{55}
  900. Polygon(L_{20}, M_{20}, P_{19}) → t444, p_{55}, l_{56}, m_{58}
  901. Polygon(N_{20}, M_{20}, Q_{19}) → t445, q_{60}, n_{60}, m_{59}
  902. Polygon(R_{20}, Q_{20}, S_{19}) → t446, s_{56}, r_{61}, q_{61}
  903. Polygon(R_{20}, W_{19}, S_{20}) → t447, s_{57}, r_{62}, w_{56}
  904. Polygon(Q_{20}, P_{20}, T_{19}) → t448, t_{55}, q_{62}, p_{56}
  905. Polygon(P_{20}, O_{20}, U_{19}) → t449, u_{56}, p_{57}, o_{62}
  906. Polygon(O_{20}, S_{20}, V_{19}) → t450, v_{55}, o_{63}, s_{58}
  907. Polygon(T_{20}, U_{20}, A_{20}) → t451, a_{61}, t_{56}, u_{57}
  908. Polygon(T_{20}, B_{20}, V_{20}) → t452, v_{56}, t_{57}, b_{67}
  909. Polygon(V_{20}, W_{20}, C_{20}) → t453, c_{58}, v_{57}, w_{57}
  910. Polygon(W_{20}, Z_{20}, D_{20}) → t454, d_{57}, w_{58}, z_{62}
  911. Polygon(Z_{20}, U_{20}, Z_{19}) → t455, z_{63}, z_{64}, u_{58}
  912. Midpoint(r_{55}) → A_{21}
  913. Midpoint(s_{51}) → B_{21}
  914. Midpoint(t_{50}) → C_{21}
  915. Midpoint(p_{51}) → D_{21}
  916. Midpoint(q_{55}) → E_{21}
  917. Midpoint(u_{55}) → F_{21}
  918. Midpoint(q_{56}) → G_{21}
  919. Midpoint(r_{58}) → H_{21}
  920. Midpoint(s_{54}) → I_{21}
  921. Midpoint(t_{54}) → J_{21}
  922. Midpoint(w_{55}) → K_{21}
  923. Midpoint(z_{61}) → L_{21}
  924. Midpoint(a_{60}) → M_{21}
  925. Midpoint(u_{53}) → N_{21}
  926. Midpoint(v_{52}) → O_{21}
  927. Midpoint(q_{58}) → P_{21}
  928. Midpoint(r_{59}) → Q_{21}
  929. Midpoint(s_{55}) → R_{21}
  930. Midpoint(o_{60}) → S_{21}
  931. Midpoint(p_{54}) → T_{21}
  932. Midpoint(z_{60}) → U_{21}
  933. Midpoint(w_{54}) → V_{21}
  934. Midpoint(v_{51}) → W_{21}
  935. Midpoint(u_{51}) → Z_{21}
  936. Midpoint(t_{51}) → A_{22}
  937. Midpoint(d_{52}) → B_{22}
  938. Midpoint(e_{51}) → C_{22}
  939. Midpoint(c_{55}) → D_{22}
  940. Midpoint(b_{66}) → E_{22}
  941. Midpoint(a_{59}) → F_{22}
  942. Midpoint(h_{49}) → G_{22}
  943. Midpoint(i_{56}) → H_{22}
  944. Midpoint(j_{56}) → I_{22}
  945. Midpoint(f_{52}) → J_{22}
  946. Midpoint(g_{47}) → K_{22}
  947. Polygon(A_{19}, E_{21}, A_{21}) → t456, a_{62}, a_{63}, e_{58}
  948. Polygon(E_{21}, D_{21}, Z_{18}) → t457, z_{65}, e_{59}, d_{58}
  949. Intersect(r_{55}, s_{51}) → L_{22}
  950. Polygon(A_{21}, B_{21}, L_{22}) → t458, l_{57}, a_{64}, b_{68}
  951. Polygon(B_{21}, B_{19}, C_{21}) → t459, c_{59}, b_{69}, b_{70}
  952. Polygon(D_{21}, C_{21}, W_{18}) → t460, w_{59}, d_{59}, c_{60}
  953. Polygon(F_{19}, F_{21}, G_{21}) → t461, g_{54}, f_{59}, f_{60}
  954. Polygon(F_{21}, J_{21}, E_{19}) → t462, e_{60}, f_{61}, j_{60}
  955. Polygon(J_{21}, I_{21}, D_{19}) → t463, d_{60}, j_{61}, i_{60}
  956. Polygon(I_{21}, H_{21}, H_{19}) → t464, h_{55}, i_{61}, h_{56}
  957. Polygon(H_{21}, G_{21}, G_{19}) → t465, g_{55}, h_{57}, g_{56}
  958. Polygon(K_{21}, L_{21}, U_{18}) → t466, u_{59}, k_{57}, l_{58}
  959. Polygon(K_{21}, T_{18}, O_{21}) → t467, o_{64}, k_{58}, t_{58}
  960. Polygon(O_{21}, N_{21}, S_{18}) → t468, s_{59}, o_{65}, n_{61}
  961. Polygon(N_{21}, M_{21}, R_{18}) → t469, r_{63}, n_{62}, m_{60}
  962. Polygon(V_{18}, L_{21}, M_{21}) → t470, m_{61}, v_{58}, l_{59}
  963. Polygon(J_{18}, G_{22}, H_{22}) → t471, h_{58}, j_{62}, g_{57}
  964. Polygon(H_{22}, I_{22}, K_{18}) → t472, k_{59}, h_{59}, i_{62}
  965. Polygon(G_{22}, I_{18}, K_{22}) → t473, k_{60}, g_{58}, i_{63}
  966. Polygon(I_{22}, L_{18}, J_{22}) → t474, j_{63}, i_{64}, l_{60}
  967. Polygon(K_{22}, J_{22}, H_{18}) → t475, h_{60}, k_{61}, j_{64}
  968. Polygon(W_{17}, D_{22}, E_{22}) → t476, e_{61}, w_{60}, d_{61}
  969. Polygon(D_{22}, B_{22}, Z_{17}) → t477, z_{66}, d_{62}, b_{71}
  970. Polygon(B_{22}, C_{22}, A_{18}) → t478, a_{65}, b_{72}, c_{61}
  971. Polygon(C_{22}, F_{22}, B_{18}) → t479, b_{73}, c_{62}, f_{62}
  972. Polygon(F_{22}, E_{22}, V_{17}) → t480, v_{59}, f_{63}, e_{62}
  973. Polygon(V_{21}, W_{21}, G_{18}) → t481, g_{59}, v_{60}, w_{61}
  974. Polygon(F_{18}, V_{21}, U_{21}) → t482, u_{60}, f_{64}, v_{61}
  975. Polygon(U_{21}, A_{22}, E_{18}) → t483, e_{63}, u_{61}, a_{66}
  976. Polygon(A_{22}, Z_{21}, D_{18}) → t484, d_{63}, a_{67}, z_{67}
  977. Polygon(W_{21}, Z_{21}, C_{18}) → t485, c_{63}, w_{62}, z_{68}
  978. Polygon(Q_{21}, P_{21}, P_{18}) → t486, p_{58}, q_{63}, p_{59}
  979. Polygon(Q_{21}, R_{21}, Q_{18}) → t487, q_{64}, q_{65}, r_{64}
  980. Polygon(P_{21}, T_{21}, O_{18}) → t488, o_{66}, p_{60}, t_{59}
  981. Polygon(T_{21}, S_{21}, N_{18}) → t489, n_{63}, t_{60}, s_{60}
  982. Polygon(R_{21}, S_{21}, M_{18}) → t490, m_{62}, r_{65}, s_{61}
  983. Midpoint(j_{62}) → M_{22}
  984. Midpoint(k_{59}) → N_{22}
  985. Midpoint(l_{60}) → O_{22}
  986. Midpoint(h_{60}) → P_{22}
  987. Midpoint(i_{63}) → Q_{22}
  988. Midpoint(a_{65}) → R_{22}
  989. Midpoint(z_{66}) → S_{22}
  990. Midpoint(w_{60}) → T_{22}
  991. Midpoint(v_{59}) → U_{22}
  992. Midpoint(b_{73}) → V_{22}
  993. Midpoint(t_{55}) → W_{22}
  994. Midpoint(u_{56}) → Z_{22}
  995. Midpoint(v_{55}) → A_{23}
  996. Midpoint(w_{56}) → B_{23}
  997. Midpoint(s_{56}) → D_{23}
  998. Midpoint(a_{61}) → E_{23}
  999. Midpoint(z_{63}) → F_{23}
  1000. Midpoint(d_{57}) → G_{23}
  1001. Midpoint(c_{58}) → H_{23}
  1002. Midpoint(b_{67}) → I_{23}
  1003. Midpoint(a_{63}) → J_{23}
  1004. Midpoint(l_{57}) → K_{23}
  1005. Midpoint(b_{70}) → L_{23}
  1006. Midpoint(w_{59}) → M_{23}
  1007. Midpoint(z_{65}) → N_{23}
  1008. Midpoint(t_{58}) → O_{23}
  1009. Midpoint(u_{59}) → P_{23}
  1010. Midpoint(v_{58}) → Q_{23}
  1011. Midpoint(r_{63}) → R_{23}
  1012. Midpoint(s_{59}) → S_{23}
  1013. Midpoint(e_{63}) → T_{23}
  1014. Midpoint(f_{64}) → U_{23}
  1015. Midpoint(g_{59}) → V_{23}
  1016. Midpoint(c_{63}) → W_{23}
  1017. Midpoint(d_{63}) → Z_{23}
  1018. Midpoint(p_{58}) → A_{24}
  1019. Midpoint(q_{64}) → B_{24}
  1020. Midpoint(m_{62}) → C_{24}
  1021. Midpoint(n_{63}) → D_{24}
  1022. Midpoint(o_{66}) → E_{24}
  1023. Midpoint(f_{59}) → F_{24}
  1024. Midpoint(g_{55}) → G_{24}
  1025. Midpoint(h_{55}) → H_{24}
  1026. Midpoint(d_{60}) → I_{24}
  1027. Midpoint(e_{60}) → J_{24}
  1028. Midpoint(n_{59}) → K_{24}
  1029. Midpoint(o_{61}) → L_{24}
  1030. Midpoint(p_{55}) → M_{24}
  1031. Midpoint(q_{60}) → N_{24}
  1032. Midpoint(r_{60}) → O_{24}
  1033. Midpoint(k_{54}) → P_{24}
  1034. Midpoint(j_{57}) → Q_{24}
  1035. Midpoint(i_{57}) → R_{24}
  1036. Midpoint(m_{57}) → S_{24}
  1037. Midpoint(l_{54}) → T_{24}
  1038. Net(a, 3) → c, C_{23}, E_{25}, F_{25}, G_{25}, H_{25}, I_{25}, J_{25}, K_{25}, L_{25}, M_{25}, N_{25}, U_{24}, O_{25}, P_{25}, Q_{25}, R_{25}, S_{25}, T_{25}, U_{25}, V_{25}, W_{25}, Z_{25}, V_{24}, A_{26}, B_{26}, C_{26}, D_{26}, E_{26}, F_{26}, G_{26}, H_{26}, I_{26}, face13, W_{24}, face15, face14, face16, face17, face18, face20, face19, face22, face23, face24, Z_{24}, face21, edge51, edge50, edge54, edge57, edge60, edge63, edge67, edge65, edge52, A_{25}, edge53, edge79, edge80, edge55, edge56, edge85, edge86, edge58, edge59, edge91, B_{25}, edge92, edge61, edge62, edge97, edge98, edge64, edge68, edge71, edge72, edge69, C_{25}, edge70, edge77, edge78, edge66, edge81, edge83, edge84, edge82, edge87, edge89, D_{25}, edge90, edge88, edge93, edge95, edge96, edge94, edge73, edge75, edge76, edge74
  1039. Polygon(B_{24}, C_{24}, R_{21}) → t491, r_{66}, b_{74}, c_{64}
  1040. Polygon(C_{24}, D_{24}, S_{21}) → t492, s_{62}, c_{65}, d_{64}
  1041. Polygon(D_{24}, E_{24}, T_{21}) → t493, t_{61}, d_{65}, e_{64}
  1042. Polygon(E_{24}, A_{24}, P_{21}) → t494, p_{61}, e_{65}, a_{68}
  1043. Polygon(A_{24}, B_{24}, Q_{21}) → t495, q_{66}, a_{69}, b_{75}
  1044. Polygon(A_{22}, T_{23}, Z_{23}) → t496, z_{69}, a_{70}, t_{62}
  1045. Polygon(Z_{23}, W_{23}, Z_{21}) → t497, z_{70}, z_{71}, w_{63}
  1046. Polygon(T_{23}, U_{23}, U_{21}) → t498, u_{62}, t_{63}, u_{63}
  1047. Polygon(W_{23}, V_{23}, W_{21}) → t499, w_{64}, w_{65}, v_{62}
  1048. Polygon(V_{23}, U_{23}, V_{21}) → t500, v_{63}, v_{64}, u_{64}
  1049. Polygon(O_{22}, P_{22}, J_{22}) → t501, j_{65}, o_{67}, p_{62}
  1050. Polygon(O_{22}, N_{22}, I_{22}) → t502, i_{65}, o_{68}, n_{64}
  1051. Polygon(N_{22}, M_{22}, H_{22}) → t503, h_{61}, n_{65}, m_{63}
  1052. Polygon(P_{22}, Q_{22}, K_{22}) → t504, k_{62}, p_{63}, q_{67}
  1053. Polygon(Q_{22}, M_{22}, G_{22}) → t505, g_{60}, q_{68}, m_{64}
  1054. Polygon(F_{22}, V_{22}, U_{22}) → t506, u_{65}, f_{65}, v_{65}
  1055. Polygon(U_{22}, T_{22}, E_{22}) → t507, e_{66}, u_{66}, t_{64}
  1056. Polygon(V_{22}, R_{22}, C_{22}) → t508, c_{66}, v_{66}, r_{67}
  1057. Polygon(R_{22}, S_{22}, B_{22}) → t509, b_{76}, r_{68}, s_{63}
  1058. Polygon(T_{22}, S_{22}, D_{22}) → t510, d_{66}, t_{65}, s_{64}
  1059. Polygon(F_{23}, E_{23}, U_{20}) → t511, u_{67}, f_{66}, e_{67}
  1060. Polygon(Z_{20}, G_{23}, F_{23}) → t512, f_{67}, z_{72}, g_{61}
  1061. Polygon(G_{23}, W_{20}, H_{23}) → t513, h_{62}, g_{62}, w_{66}
  1062. Polygon(I_{23}, H_{23}, V_{20}) → t514, v_{67}, i_{66}, h_{63}
  1063. Polygon(I_{23}, E_{23}, T_{20}) → t515, t_{66}, i_{67}, e_{68}
  1064. Polygon(A_{23}, B_{23}, S_{20}) → t516, s_{65}, a_{71}, b_{77}
  1065. Polygon(A_{23}, O_{20}, Z_{22}) → t517, z_{73}, a_{72}, o_{69}
  1066. Polygon(Z_{22}, W_{22}, P_{20}) → t518, p_{64}, z_{74}, w_{67}
  1067. Polygon(W_{22}, D_{23}, Q_{20}) → t519, q_{69}, w_{68}, d_{67}
  1068. Polygon(D_{23}, B_{23}, R_{20}) → t520, r_{69}, d_{68}, b_{78}
  1069. Polygon(M_{24}, N_{24}, M_{20}) → t521, m_{65}, m_{66}, n_{66}
  1070. Polygon(M_{24}, L_{24}, L_{20}) → t522, l_{61}, m_{67}, l_{62}
  1071. Polygon(N_{24}, O_{24}, N_{20}) → t523, n_{67}, n_{68}, o_{70}
  1072. Polygon(K_{24}, O_{24}, J_{20}) → t524, j_{66}, k_{63}, o_{71}
  1073. Polygon(K_{24}, L_{24}, K_{20}) → t525, k_{64}, k_{65}, l_{63}
  1074. Polygon(P_{24}, Q_{24}, G_{20}) → t526, g_{63}, p_{65}, q_{70}
  1075. Polygon(P_{24}, T_{24}, H_{20}) → t527, h_{64}, p_{66}, t_{67}
  1076. Polygon(T_{24}, S_{24}, I_{20}) → t528, i_{68}, t_{68}, s_{66}
  1077. Polygon(S_{24}, R_{24}, E_{20}) → t529, e_{69}, s_{67}, r_{70}
  1078. Polygon(R_{24}, Q_{24}, F_{20}) → t530, f_{68}, r_{71}, q_{71}
  1079. Polygon(H_{24}, H_{21}, G_{24}) → t531, g_{64}, h_{65}, h_{66}
  1080. Polygon(H_{24}, I_{24}, I_{21}) → t532, i_{69}, h_{67}, i_{70}
  1081. Polygon(I_{24}, J_{21}, J_{24}) → t533, j_{67}, i_{71}, j_{68}
  1082. Polygon(J_{24}, F_{24}, F_{21}) → t534, f_{69}, j_{69}, f_{70}
  1083. Polygon(F_{24}, G_{24}, G_{21}) → t535, g_{65}, f_{71}, g_{66}
  1084. Polygon(Q_{23}, P_{23}, L_{21}) → t536, l_{64}, q_{72}, p_{67}
  1085. Polygon(Q_{23}, R_{23}, M_{21}) → t537, m_{68}, q_{73}, r_{72}
  1086. Polygon(R_{23}, S_{23}, N_{21}) → t538, n_{69}, r_{73}, s_{68}
  1087. Polygon(S_{23}, O_{21}, O_{23}) → t539, o_{72}, s_{69}, o_{73}
  1088. Polygon(O_{23}, P_{23}, K_{21}) → t540, k_{66}, o_{74}, p_{68}
  1089. Polygon(L_{23}, M_{23}, C_{21}) → t541, c_{67}, l_{65}, m_{69}
  1090. Polygon(L_{23}, K_{23}, B_{21}) → t542, b_{79}, l_{66}, k_{67}
  1091. Polygon(M_{23}, N_{23}, D_{21}) → t543, d_{69}, m_{70}, n_{70}
  1092. Polygon(N_{23}, E_{21}, J_{23}) → t544, j_{70}, n_{71}, e_{70}
  1093. Polygon(J_{23}, K_{23}, A_{21}) → t545, a_{73}, j_{71}, k_{68}
  1094. Midpoint(edgeRV) → J_{26}
  1095. Midpoint(edgeUV) → K_{26}
  1096. Midpoint(edgeTU) → L_{26}
  1097. Midpoint(edgeST) → M_{26}
  1098. Midpoint(edgeOT) → N_{26}
  1099. Midpoint(edgeIO) → O_{26}
  1100. Midpoint(edgeIN) → P_{26}
  1101. Midpoint(edgeNS) → Q_{26}
  1102. Midpoint(edgeRS) → R_{26}
  1103. Midpoint(edgePU) → S_{26}
  1104. Midpoint(edgeKP) → T_{26}
  1105. Midpoint(edgeKQ) → U_{26}
  1106. Midpoint(edgeQV) → V_{26}
  1107. Midpoint(edgeLQ) → W_{26}
  1108. Midpoint(edgeLM) → Z_{26}
  1109. Midpoint(edgeHM) → A_{27}
  1110. Midpoint(edgeMR) → B_{27}
  1111. Midpoint(edgeHN) → C_{27}
  1112. Midpoint(edgeJO) → D_{27}
  1113. Midpoint(edgeJP) → E_{27}
  1114. Midpoint(edgeFJ) → F_{27}
  1115. Midpoint(edgeCF) → G_{27}
  1116. Midpoint(edgeFG) → H_{27}
  1117. Midpoint(edgeGK) → I_{27}
  1118. Midpoint(edgeAG) → J_{27}
  1119. Midpoint(edgeAL) → K_{27}
  1120. Midpoint(edgeAB) → L_{27}
  1121. Midpoint(edgeBC) → M_{27}
  1122. Midpoint(edgeCI) → N_{27}
  1123. Midpoint(edgeBH) → O_{27}
  1124. Polygon(F_{27}, G_{27}, H_{27}) → t19, k, l, m
  1125. Polygon(D_{27}, F_{27}, E_{27}) → t28, p, q, r
  1126. Polygon(E_{27}, S_{26}, T_{26}) → t546, s, t, d
  1127. Polygon(L_{26}, S_{26}, K_{26}) → t547, e, q_4, s_4
  1128. Polygon(M_{26}, N_{26}, L_{26}) → t548, m_5, t_5, n_7
  1129. Polygon(R_{26}, Q_{26}, M_{26}) → t549, m_9, g_{67}, l_{67}
  1130. Polygon(Q_{26}, C_{27}, P_{26}) → t550, g_{68}, h_{68}, l_{68}
  1131. Polygon(A_{27}, O_{27}, C_{27}) → t551, c_{68}, g_{69}, h_{69}
  1132. Polygon(P_{26}, N_{27}, O_{26}) → t552, k_{69}, l_{69}, p_{69}
  1133. Polygon(O_{26}, N_{26}, D_{27}) → t553, t_{69}, c_{69}, g_{70}
  1134. Polygon(J_{26}, B_{27}, R_{26}) → t554, h_{70}, k_{70}, l_{70}
  1135. Polygon(Z_{26}, A_{27}, B_{27}) → t555, p_{70}, s_{70}, t_{70}
  1136. Polygon(K_{26}, V_{26}, J_{26}) → t556, c_{70}, d_{70}, g_{71}
  1137. Polygon(K_{26}, V_{26}, J_{26}) → t557, h_{71}, k_{71}, l_{71}
  1138. Polygon(T_{26}, I_{27}, U_{26}) → t558, m_{71}, p_{71}, s_{71}
  1139. Polygon(I_{27}, H_{27}, J_{27}) → t559, t_{71}, c_{71}, d_{71}
  1140. Polygon(V_{26}, U_{26}, W_{26}) → t560, e_{71}, f_{72}, g_{72}
  1141. Polygon(W_{26}, Z_{26}, K_{27}) → t561, h_{72}, i_{72}, j_{72}
  1142. Polygon(K_{27}, J_{27}, L_{27}) → t562, k_{72}, l_{72}, m_{72}
  1143. Polygon(L_{27}, O_{27}, M_{27}) → t563, n_{72}, p_{72}, s_{72}
  1144. Polygon(M_{27}, G_{27}, N_{27}) → t564, t_{72}, c_{72}, d_{72}

AI Drawing Prompt Reference

Draw a geometric solid formed by kites and pentagons, showcasing its relationship with an icosidodecahedron. Start by plotting the intersection point of the coordinate axes and a point on one axis, then create a pentagon using these two points and five equally spaced points. Build a model of the icosidodecahedron based on this pentagon, and then unfold its surface. Find the midpoints of each edge in the unfolded figure, connect these midpoints to form new pentagons, and add them to the unfolded surface to complete the solid.
The prompt above was compiled from the original drawing commands and is for reference only.