积极 AI Logo 积极 AI

波利亚剧院厅

波利亚剧院厅
几何画板及绘图内容加载中，请稍等……
2016-07-05 04:37
多边形函数解析几何微积分几何作图
①本范例演示了波利亚剧院厅的几何构造与多边形分割现象；②涉及的核心数学概念包括算术运算、分段函数、曲面、多边形、差值与斜率、切线；③作图要点提炼自构造摘要，使用了Intersect（相交）、Point（点）、Polygon（多边形）、Segment（线段）等GeoGebra命令与对象；④适合高中及以上数学学习者，用于理解几何作图与函数应用。

GeoGebra 命令及参数

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