鸭群铺砖

几何画板及绘图内容加载中，请稍等……

2015-01-11 03:54

立体几何矩阵几何作图

①本范例演示了利用几何图形进行平面铺砖的设计与组合；②涉及的核心数学概念包括勾股定理、组合数学、分数运算、矩阵应用、立体几何体与线段；③作图要点——从下方『构造摘要』提炼用到了 Line（线）、OrthogonalLine（垂线）、Point（点）、Segment（线段）、Intersect（交点）、Polygon（多边形）、Semicircle（半圆）等 GeoGebra 命令/对象；④适合高中数学教学，用于几何作图、矩阵变换及组合优化等课题的实践。

GeoGebra 命令及参数

Line(A, B) → a
OrthogonalLine(A, a) → b
OrthogonalLine(C, b) → c
Point(c) → D
Line(D, B) → d
Segment(E, F) → e
Segment(F, G) → f
Segment(G, H) → g
Point(e) → I
Segment(H, I) → h
Segment(G, J) → i
Segment(J, K) → j
Segment(L, J) → k
Point(i) → M
OrthogonalLine(O, c) → m
Segment(P, L) → n
Point(a) → Q
Segment(Q, R) → p
Segment(R, S) → q
Segment(S, T) → r
OrthogonalLine(V, a) → t
Segment(S, W) → a_1
Point(a) → Z
Segment(Z, W) → b_1
Segment(S, A_1) → c_1
Segment(A_1, B_1) → d_1
Segment(B_1, C_1) → e_1
Point(c_1) → D_1
Segment(C_1, D_1) → f_1
Segment(E_1, G_1) → j_1
Segment(G_1, F_1) → k_1
Segment(G, H_1) → l_1
Segment(H_1, I_1) → m_1
Segment(I_1, F_1) → n_1
OrthogonalLine(J_1, d) → p_1
Segment(K_1, H_1) → q_1
Segment(K_1, L_1) → r_1
Segment(L_1, I_1) → s_1
Segment(L_1, M_1) → t_1
Segment(M_1, N_1) → a_2
Segment(N_1, G_1) → b_2
OrthogonalLine(O_1, a) → c_2
Segment(W, P_1) → d_2
Segment(P_1, Q_1) → e_2
Point(a_1) → R_1
Segment(Q_1, R_1) → f_2
OrthogonalLine(S_1, a) → g_2
Segment(P_1, T_1) → h_2
Segment(T_1, V_1) → j_2
Segment(V_1, W_1) → k_2
Point(h_2) → Z_1
Segment(W_1, Z_1) → l_2
OrthogonalLine(A_2, a) → m_2
Segment(V_1, B_2) → n_2
Point(n_2) → E_2
Segment(E_2, F_2) → r_2
Segment(B_2, G_2) → s_2
Segment(F_2, H_2) → t_2
Point(a) → I_2
Segment(I_2, J_2) → a_3
Segment(J_2, K_2) → b_3
Point(t_2) → L_2
Segment(L_2, K_2) → c_3
Segment(K_2, M_2) → d_3
Segment(J_2, N_2) → e_3
OrthogonalLine(N_2, a) → f_3
Point(d_3) → P_2
Segment(O_2, P_2) → g_3
Segment(M_2, Q_2) → h_3
Segment(Q_2, R_2) → i_3
Point(g_3) → S_2
Segment(S_2, R_2) → j_3
Segment(W_1, T_2) → k_3
Segment(T_2, U_2) → l_3
Segment(U_2, F_2) → m_3
Segment(Q_1, V_2) → n_3
Point(k_3) → W_2
Segment(V_2, W_2) → p_3
Point(n_3) → Z_2
Segment(A_1, Z_2) → q_3
Segment(A_3, N_1) → r_3
Segment(A_3, B_3) → s_3
Segment(B_3, B_1) → t_3
Point(a_2) → C_3
Segment(C_3, D_3) → a_4
Segment(D_3, A_3) → b_4
Segment(D_3, E_3) → c_4
OrthogonalLine(F_3, d) → d_4
Point(s_3) → G_3
Segment(G_3, H_3) → e_4
Segment(H_3, I_3) → f_4
Point(f_4) → J_3
Segment(B_3, J_3) → g_4
Point(q_3) → K_3
Segment(K_3, L_3) → h_4
Segment(V_2, L_3) → i_4
Point(p_3) → M_3
Segment(M_3, N_3) → j_4
Segment(N_3, T_2) → k_4
Point(l_3) → O_3
Segment(O_3, O_2) → l_4
Point(g_3) → P_3
Segment(U_2, P_3) → m_4
Segment(L_3, I_3) → n_4
Point(f_4) → Q_3
Point(c_2) → R_3
Segment(R_3, S_3) → p_4
Point(d_4) → T_3
Segment(Q_3, T_3) → q_4
Segment(T_3, S_3) → r_4
Segment(N_3, U_3) → s_4
Point(s_4) → V_3
Segment(V_3, W_3) → t_4
Segment(W_3, I_3) → a_5
Point(t_4) → Z_3
Segment(Z_3, A_4) → b_5
Segment(U_3, A_4) → c_5
Point(q_4) → B_4
Segment(B_4, W_3) → d_5
Segment(A_4, C_4) → e_5
Segment(C_4, R_3) → f_5
Segment(U_3, D_4) → g_5
Segment(D_4, O_2) → h_5
Segment(D_4, E_4) → i_5
Segment(E_4, F_4) → j_5
Point(g_5) → G_4
Segment(F_4, G_4) → k_5
Segment(E_4, H_4) → l_5
Segment(H_4, R_2) → m_5
Segment(Q_2, I_4) → n_5
Segment(I_4, J_4) → p_5
Segment(N_2, K_4) → q_5
Segment(K_4, J_4) → r_5
Segment(H_4, L_4) → s_5
Segment(L_4, M_4) → t_5
Point(l_5) → N_4
Segment(N_4, M_4) → a_6
Segment(L_4, O_4) → b_6
Point(n_5) → P_4
Segment(O_4, P_4) → c_6
Point(c_6) → Q_4
Segment(Q_4, R_4) → d_6
Segment(R_4, I_4) → e_6
Segment(C_4, S_4) → f_6
Segment(S_4, T_4) → g_6
Segment(T_4, F_4) → h_6
Segment(M_4, U_4) → i_6
Point(i_6) → V_4
Segment(V_4, W_4) → j_6
Point(g_6) → Z_4
Segment(W_4, Z_4) → k_6
Point(j_6) → A_5
Segment(T_4, A_5) → l_6
Segment(U_4, B_5) → m_6
Point(b_6) → C_5
Segment(B_5, C_5) → n_6
Point(n_6) → D_5
Segment(D_5, E_5) → p_6
Segment(E_5, O_4) → q_6
OrthogonalLine(F_5, c) → r_6
Segment(K_4, H_5) → t_6
Point(a) → I_5
Segment(H_5, I_5) → a_7
Segment(H_5, J_5) → b_7
Segment(J_4, J_5) → c_7
Segment(J_5, K_5) → d_7
Point(d_7) → L_5
Segment(E_3, O_5) → h_7
Point(b) → R_5
Segment(H_1, R_5) → l_7
Point(b) → S_5
Point(t_1) → T_5
Segment(S_5, T_5) → m_7
Segment(U_5, V_5) → n_7
Segment(V_5, M_1) → p_7
Segment(V_5, W_5) → q_7
Point(h_7) → Z_5
Segment(W_5, Z_5) → r_7
Point(q_7) → B_6
Segment(A_6, B_6) → s_7
Segment(A_6, C_6) → t_7
Segment(C_6, W_5) → a_8
Point(b) → D_6
Segment(A_6, D_6) → b_8
Segment(F_6, G_6) → e_8
Point(r_7) → H_6
Segment(G_6, H_6) → f_8
Segment(O_5, P_5) → i_7
Segment(P_5, I_6) → j_7
Segment(P_5, J_6) → g_8
Segment(J_6, H_3) → h_8
Segment(J_6, K_6) → i_8
Segment(K_6, L_6) → j_8
Point(g_8) → M_6
Segment(L_6, M_6) → k_8
Segment(O_6, P_6) → n_8
Segment(P_6, G_6) → p_8
Point(e_8) → Q_6
Segment(Q_6, R_6) → q_8
Segment(P_6, R_6) → r_8
Point(r_4) → S_6
Segment(K_6, S_6) → s_8
Point(f_5) → T_6
Segment(T_6, U_6) → t_8
Segment(U_6, S_4) → a_9
Segment(W_6, Z_6) → d_9
Segment(Z_6, W_4) → e_9
Segment(W_6, C_7) → g_9
Segment(C_7, A_7) → h_9
Segment(S_3, D_7) → i_9
Point(s_8) → E_7
Segment(E_7, D_7) → j_9
Segment(D_7, F_7) → k_9
Segment(F_7, G_7) → l_9
Segment(G_7, H_7) → m_9
Point(k_9) → I_7
Segment(I_7, J_7) → n_9
Segment(J_7, O_6) → p_9
Point(n_8) → K_7
Segment(K_7, L_7) → q_9
Segment(L_7, J_7) → r_9
Segment(F_7, A_7) → s_9
Point(j_6) → M_7
Segment(M_7, N_7) → t_9
Segment(U_4, N_7) → a_{10}
Segment(N_7, O_7) → b_{10}
Segment(T_7, B_5) → h_{10}
Point(m_6) → U_7
Segment(Z_7, O_7) → m_{10}
Intersect(c, g_2) → A_8
Segment(A_8, T_2) → n_{10}
Segment(A_8, U_2) → p_{10}
Intersect(p_1, g_2) → B_8
Segment(B_8, O_3) → q_{10}
Segment(B_8, D_4) → r_{10}
Segment(T_2, U_2) → s_{10}
Segment(D_4, O_3) → t_{10}
Intersect(p_1, m_2) → C_8
Segment(C_8, O_2) → a_{11}
Segment(C_8, S_2) → b_{11}
Segment(S_2, O_2) → c_{11}
Intersect(c, m_2) → D_8
Segment(D_8, F_2) → d_{11}
Segment(D_8, P_3) → e_{11}
Segment(F_2, P_3) → f_{11}
Segment(D_8, L_2) → g_{11}
Segment(D_8, P_2) → h_{11}
Segment(L_2, P_2) → i_{11}
Segment(F_2, L_2) → j_{11}
Intersect(c, f_3) → E_8
Segment(E_8, K_2) → k_{11}
Segment(E_8, Q_2) → l_{11}
Segment(Q_2, P_2) → m_{11}
Segment(E_8, I_4) → n_{11}
Segment(I_4, Q_2) → p_{11}
Intersect(p_1, f_3) → F_8
Segment(F_8, R_2) → q_{11}
Segment(F_8, P_4) → r_{11}
Segment(R_2, Q_2) → s_{11}
Segment(C_8, H_4) → t_{11}
Segment(H_4, S_2) → a_{12}
Segment(F_8, L_4) → b_{12}
Segment(L_4, H_4) → c_{12}
Segment(L_4, O_4) → d_{12}
Segment(O_4, F_8) → e_{12}
Segment(P_4, O_4) → f_{12}
Segment(A_8, W_1) → g_{12}
Segment(A_8, E_2) → h_{12}
Segment(E_2, F_2) → i_{12}
Segment(W_1, E_2) → j_{12}
Segment(Z_1, T_2) → k_{12}
Intersect(c, c_2) → G_8
Segment(G_8, Z_1) → l_{12}
Segment(G_8, W_2) → m_{12}
Segment(G_8, V_2) → n_{12}
Segment(V_2, W_2) → p_{12}
Segment(G_8, Q_1) → q_{12}
Segment(Q_1, V_2) → r_{12}
Segment(Q_1, Z_1) → s_{12}
Intersect(p_1, c_2) → H_8
Segment(H_8, M_3) → t_{12}
Segment(H_8, V_3) → a_{13}
Segment(V_3, M_3) → b_{13}
Segment(B_8, N_3) → c_{13}
Segment(H_8, L_3) → d_{13}
Segment(L_3, V_2) → e_{13}
Segment(H_8, W_3) → f_{13}
Segment(L_3, W_3) → g_{13}
Intersect(c, t) → I_8
Segment(I_8, A_1) → h_{13}
Segment(A_1, Z_2) → i_{13}
Segment(Z_2, I_8) → j_{13}
Intersect(t, p_1) → J_8
Segment(J_8, K_3) → k_{13}
Segment(J_8, I_3) → l_{13}
Segment(J_8, B_1) → m_{13}
Segment(J_8, J_3) → n_{13}
Segment(B_1, J_3) → p_{13}
Intersect(m, p_1) → K_8
Segment(K_8, C_1) → q_{13}
Segment(C_1, B_1) → r_{13}
Segment(K_8, B_3) → s_{13}
Segment(D, I_1) → t_{13}
Intersect(d, p_1) → L_8
Segment(L_8, F_1) → c_{14}
Segment(L_8, N_1) → d_{14}
Segment(L_8, L_1) → f_{14}
Segment(L_8, M_1) → g_{14}
Segment(M_1, L_1) → h_{14}
Segment(L_1, I_1) → i_{14}
Intersect(c, m) → M_8
Segment(M_8, T) → j_{14}
Segment(M_8, D_1) → k_{14}
Segment(D_1, T) → l_{14}
Segment(M_8, E_1) → p_{14}
Segment(E_1, D_1) → r_{14}
Segment(D, M) → s_{14}
Segment(D, G) → a_{15}
Segment(K_8, G_1) → b_{15}
Segment(G_1, E_1) → c_{15}
Segment(K_8, A_3) → d_{15}
Segment(A_3, N_1) → e_{15}
Segment(A_3, B_3) → f_{15}
Intersect(m, d_4) → N_8
Segment(N_8, G_3) → g_{15}
Segment(N_8, J_6) → h_{15}
Segment(J_6, G_3) → i_{15}
Intersect(t, d_4) → O_8
Segment(O_8, H_3) → j_{15}
Segment(O_8, Q_3) → k_{15}
Segment(Q_3, H_3) → l_{15}
Segment(O_8, S_6) → m_{15}
Segment(S_6, Q_3) → n_{15}
Intersect(c_2, d_4) → P_8
Segment(P_8, B_4) → p_{15}
Segment(P_8, Z_3) → q_{15}
Segment(B_4, Z_3) → r_{15}
Segment(I_3, Q_3) → s_{15}
Segment(O_8, K_6) → t_{15}
Segment(K_6, S_6) → a_{16}
Segment(P_8, S_3) → b_{16}
Segment(S_3, S_6) → c_{16}
Segment(K_6, L_6) → f_{16}
Segment(J_6, K_6) → g_{16}
Intersect(d, d_4) → R_8
Segment(R_8, C_3) → h_{16}
Segment(N_1, V_5) → i_{16}
Segment(R_8, V_5) → j_{16}
Segment(U_5, W_5) → k_{16}
Intersect(b, d_4) → S_8
Segment(S_8, U_5) → l_{16}
Segment(S_8, B_6) → m_{16}
Segment(R_8, W_5) → n_{16}
Segment(R_8, Z_5) → p_{16}
Segment(Z_5, C_3) → q_{16}
Segment(N_8, D_3) → r_{16}
Segment(A_3, D_3) → s_{16}
Segment(C_6, Z_5) → t_{16}
Segment(H_6, P_6) → c_{17}
Segment(M_6, I_6) → g_{17}
Segment(Z_5, P_5) → h_{17}
Segment(O_6, M_6) → k_{17}
Segment(J_7, O_6) → m_{17}
Segment(I_7, J_7) → p_{17}
Segment(J_7, L_7) → q_{17}
Segment(E_7, I_7) → r_{17}
Segment(D_7, C_4) → s_{17}
Segment(F_7, I_7) → c_{18}
Segment(H_7, G_7) → g_{18}
Segment(G_7, F_7) → h_{18}
Segment(P_8, C_4) → i_{18}
Segment(C_4, Z_3) → j_{18}
Intersect(g_2, d_4) → W_8
Segment(W_8, A_4) → k_{18}
Segment(A_4, D_4) → l_{18}
Segment(B_8, U_3) → m_{18}
Segment(U_3, V_3) → n_{18}
Segment(Z_3, V_3) → p_{18}
Segment(W_8, G_4) → q_{18}
Segment(W_8, S_4) → r_{18}
Segment(C_4, S_4) → s_{18}
Segment(W_8, T_4) → t_{18}
Segment(T_4, G_4) → a_{19}
Segment(D_4, E_4) → b_{19}
Segment(E_4, C_8) → c_{19}
Segment(E_4, H_4) → d_{19}
Segment(E_4, F_4) → e_{19}
Intersect(m_2, d_4) → Z_8
Segment(Z_8, F_4) → f_{19}
Segment(Z_8, N_4) → g_{19}
Segment(N_4, V_4) → h_{19}
Segment(V_4, Z_8) → i_{19}
Segment(T_4, A_5) → j_{19}
Segment(W_4, V_4) → k_{19}
Segment(Z_8, A_5) → l_{19}
Segment(M_4, L_4) → m_{19}
Intersect(f_3, d_4) → A_9
Segment(A_9, M_4) → n_{19}
Segment(A_9, C_5) → p_{19}
Segment(A_9, U_4) → q_{19}
Segment(U_4, V_4) → r_{19}
Segment(A_9, B_5) → s_{19}
Segment(C_5, B_5) → t_{19}
Segment(U_4, B_5) → a_{20}
Segment(N_7, U_4) → d_{20}
Segment(N_7, M_7) → e_{20}
Segment(I_8, S) → f_{20}
Segment(I_8, R_1) → g_{20}
Segment(S, W) → h_{20}
Segment(R_1, Q_1) → i_{20}
Segment(R_6, Q_6) → j_{20}
Segment(R_6, O_6) → k_{20}
Segment(Z_6, Z_4) → r_{20}
Segment(U_6, T_4) → s_{20}
Segment(C_7, Z_6) → t_{20}
Segment(A_7, C_7) → a_{21}
Segment(K_3, L_3) → b_{21}
Segment(B_1, A_1) → c_{21}
Segment(D_1, A_1) → d_{21}
Segment(N_3, T_2) → e_{21}
Segment(C_1, B_1) → f_{21}
Segment(B_1, A_1) → g_{21}
Segment(A_1, D_1) → h_{21}
Segment(C_1, D_1) → i_{21}
Segment(C_1, D_1) → j_{21}
Segment(G_3, H_3) → k_{21}
Segment(H_3, J_3) → l_{21}
Segment(J_3, B_3) → m_{21}
Segment(B_3, G_3) → n_{21}
Segment(K_3, L_3) → p_{21}
Segment(L_3, V_2) → q_{21}
Segment(V_2, Z_2) → r_{21}
Segment(Z_2, K_3) → s_{21}
Segment(M_3, N_3) → t_{21}
Segment(N_3, T_2) → a_{22}
Segment(T_2, W_2) → b_{22}
Segment(W_2, M_3) → c_{22}
Segment(O_3, O_2) → d_{22}
Segment(O_2, P_3) → e_{22}
Segment(P_3, U_2) → f_{22}
Segment(U_2, O_3) → g_{22}
Segment(Q_3, B_4) → h_{22}
Segment(B_4, W_3) → i_{22}
Segment(I_3, W_3) → j_{22}
Segment(I_3, Q_3) → k_{22}
Segment(Z_3, A_4) → l_{22}
Segment(A_4, U_3) → m_{22}
Segment(U_3, V_3) → n_{22}
Segment(V_3, Z_3) → p_{22}
Segment(F_1, G_1) → q_{22}
Segment(E_1, G_1) → r_{22}
Segment(C_3, D_3) → a_{23}
Segment(A_3, D_3) → b_{23}
Segment(A_3, N_1) → c_{23}
Segment(N_1, C_3) → d_{23}
Segment(H_6, I_6) → e_{23}
Segment(P_5, Z_5) → f_{23}
Segment(Z_5, H_6) → g_{23}
Segment(M_6, J_6) → h_{23}
Segment(M_6, L_6) → i_{23}
Segment(L_6, K_6) → j_{23}
Segment(J_6, K_6) → k_{23}
Segment(S_6, E_7) → l_{23}
Segment(E_7, D_7) → m_{23}
Segment(D_7, S_3) → n_{23}
Segment(S_3, S_6) → p_{23}
Segment(Q_6, G_6) → q_{23}
Segment(Q_6, R_6) → r_{23}
Segment(R_6, P_6) → s_{23}
Segment(P_6, G_6) → t_{23}
Segment(K_7, L_7) → a_{24}
Segment(L_7, J_7) → b_{24}
Segment(J_7, O_6) → c_{24}
Segment(K_7, O_6) → d_{24}
Segment(H_7, I_7) → e_{24}
Segment(I_7, F_7) → f_{24}
Segment(F_7, G_7) → g_{24}
Segment(G_7, H_7) → h_{24}
Segment(A_7, C_7) → i_{24}
Segment(C_7, W_6) → j_{24}
Segment(T_6, U_6) → m_{24}
Segment(U_6, S_4) → n_{24}
Segment(C_4, S_4) → p_{24}
Segment(T_6, C_4) → q_{24}
Segment(Z_4, W_4) → r_{24}
Segment(W_4, A_5) → s_{24}
Segment(A_5, T_4) → t_{24}
Segment(T_4, Z_4) → a_{25}
Segment(G_4, F_4) → b_{25}
Segment(G_4, D_4) → c_{25}
Segment(D_4, E_4) → d_{25}
Segment(E_4, F_4) → e_{25}
Segment(P_2, S_2) → f_{25}
Segment(R_2, S_2) → g_{25}
Segment(R_2, Q_2) → h_{25}
Segment(Q_2, P_2) → i_{25}
Segment(N_4, H_4) → j_{25}
Segment(H_4, L_4) → k_{25}
Segment(L_4, M_4) → l_{25}
Segment(M_4, N_4) → m_{25}
Segment(M_7, N_7) → n_{25}
Segment(N_7, U_4) → p_{25}
Segment(U_4, V_4) → q_{25}
Segment(V_4, M_7) → r_{25}
Segment(E_2, B_2) → s_{25}
Segment(B_2, G_2) → t_{25}
Segment(G_2, F_2) → a_{26}
Segment(F_2, E_2) → b_{26}
Segment(Z_1, T_1) → e_{26}
Segment(V_1, T_1) → f_{26}
Point(t) → F_9
Point(t) → G_9
Line(G_9, H_9) → h_{26}
Point(t) → I_9
Point(m) → J_9
Line(I_9, J_9) → i_{26}
Point(c_2) → K_9
Point(t) → L_9
Line(K_9, L_9) → j_{26}
Segment(M_9, N_9) → k_{26}
Segment(N_9, O_9) → l_{26}
Segment(O_9, P_9) → m_{26}
Segment(P_9, M_9) → n_{26}
Segment(M_9, Q_9) → p_{26}
Segment(Q_9, R_9) → q_{26}
Segment(R_9, V_9) → r_{26}
Point(p_{26}) → W_9
Segment(V_9, W_9) → s_{26}
Segment(Z_9, A_{10}) → t_{26}
Segment(R_9, A_{10}) → a_{27}
Segment(B_{10}, Z_9) → b_{27}
Segment(B_{10}, C_{10}) → c_{27}
Segment(D_{10}, E_{10}) → d_{27}
Segment(Z_9, E_{10}) → e_{27}
Segment(F_{10}, D_{10}) → f_{27}
Segment(F_{10}, G_{10}) → g_{27}
Point(b) → H_{10}
Segment(D_{10}, H_{10}) → h_{27}
Segment(J_{10}, K_{10}) → j_{27}
Segment(K_{10}, F_6) → k_{27}
Point(b) → L_{10}
Segment(J_{10}, L_{10}) → l_{27}
Segment(K_{10}, F_{10}) → m_{27}
Point(b) → M_{10}
Segment(H, M_{10}) → n_{27}
Segment(T_1, C_2) → i_2
Segment(B_2, D_2) → p_2
Segment(R_4, G_5) → q_2
Segment(E_5, M_5) → s_6
Segment(T_7, N_5) → e_7
Segment(Z_6, N_{10}) → d_{10}
Segment(N_{10}, O_{10}) → e_{10}
Point(f_3) → P_{10}
Point(m_2) → Q_{10}
Line(P_{10}, Q_{10}) → f_{10}
Point(f_{10}) → R_{10}
Segment(R_{10}, S_{10}) → g_{10}
Segment(S_{10}, Z_7) → c_{26}
Segment(S_{10}, T_{10}) → d_{26}
Segment(R_{10}, U_{10}) → g_{26}
Segment(Q_7, V_{10}) → p_{27}
Point(k_3) → W_{10}
Segment(V_{10}, Z_{10}) → q_{27}
Point(q_{27}) → A_{11}
Segment(A_{11}, B_{11}) → r_{27}
Point(r_{27}) → C_{11}
Segment(C_{11}, D_{11}) → s_{27}
Segment(V_{10}, D_{11}) → t_{27}
Segment(D_{11}, E_{11}) → a_{28}
Segment(Z_{10}, F_{11}) → b_{28}
Point(g_{26}) → G_{11}
Segment(G_{11}, H_{11}) → c_{28}
Segment(I_{11}, J_{11}) → d_{28}
Segment(J_{11}, K_{11}) → e_{28}
Segment(H_{11}, L_{11}) → f_{28}
Segment(L_{11}, M_{11}) → g_{28}
Segment(N_{11}, O_{11}) → h_{28}
Segment(O_{11}, P_{11}) → i_{28}
Segment(P_{11}, C_7) → j_{28}
Segment(P_{11}, O_9) → k_{28}
Point(b_{15}) → R_{11}
Segment(Q_{11}, U_{11}) → l_{28}
Segment(U_{11}, V_{11}) → m_{28}
Segment(L_{11}, W_{11}) → n_{28}
Segment(W_{11}, V_{11}) → p_{28}
Segment(Z_{10}, Z_{11}) → q_{28}
Segment(B_{11}, A_{12}) → r_{28}
Segment(A_{12}, B_{12}) → s_{28}
Segment(B_{12}, C_{12}) → t_{28}
Segment(C_{12}, D_{12}) → a_{29}
Segment(D_{12}, Z_{11}) → b_{29}
Segment(C_{12}, E_{12}) → c_{29}
Segment(A_{12}, F_{12}) → d_{29}
Segment(B_{12}, G_{12}) → e_{29}
Segment(W_{11}, H_{12}) → f_{29}
Segment(I_{12}, J_{12}) → g_{29}
Point(q_{28}) → L_{12}
Segment(K_{12}, L_{12}) → h_{29}
Segment(G_{12}, M_{12}) → i_{29}
Segment(M_{12}, N_{12}) → j_{29}
Segment(M_{12}, O_{12}) → k_{29}
Segment(O_{12}, P_{12}) → l_{29}
Segment(O_{12}, Q_{12}) → m_{29}
Point(i_{29}) → R_{12}
Segment(R_{12}, S_{12}) → n_{29}
Segment(T_{12}, U_{12}) → p_{29}
Segment(D_{12}, V_{12}) → q_{29}
Segment(U_{12}, W_{12}) → r_{29}
Segment(Z_{12}, A_{13}) → s_{29}
Segment(A_{13}, S_{12}) → t_{29}
Segment(S_{12}, B_{13}) → a_{30}
Segment(A_{13}, C_{13}) → b_{30}
Segment(I_{12}, D_{13}) → c_{30}
Segment(D_{13}, C_{13}) → d_{30}
Segment(D_{13}, E_{13}) → e_{30}
Segment(E_{13}, F_{13}) → f_{30}
Segment(E_{13}, I_{13}) → g_{30}
Segment(G_{13}, J_{13}) → h_{30}
Segment(J_{13}, K_{13}) → i_{30}
Segment(K_{13}, L_{13}) → j_{30}
Segment(L_{13}, M_{13}) → k_{30}
Point(e) → N_{13}
Segment(K_{13}, O_{13}) → l_{30}
Segment(U_{11}, P_{13}) → m_{30}
Segment(V_{11}, Q_{13}) → n_{30}
Point(m_{30}) → R_{13}
Segment(R_{13}, L_{13}) → p_{30}
Segment(P_{13}, S_{13}) → q_{30}
Segment(S_{13}, T_{13}) → r_{30}
Segment(T_{13}, U_{13}) → s_{30}
Segment(U_{13}, V_{13}) → t_{30}
Segment(S_{13}, W_{13}) → a_{31}
Segment(N_9, U_{13}) → b_{31}
Point(l_1) → Z_{13}
Segment(T_{13}, A_{14}) → c_{31}
Segment(Q_9, B_{14}) → d_{31}
Segment(A_{14}, C_{14}) → e_{31}
Segment(C_{14}, D_{14}) → f_{31}
Segment(B_{14}, E_{14}) → g_{31}
Point(g_{31}) → F_{14}
Point(l_2) → G_{14}
Point(l_2) → H_{14}
Point(n_{27}) → I_{14}
Point(n_{27}) → J_{14}
Segment(F_{14}, K_{14}) → h_{31}
Segment(C_{14}, L_{14}) → i_{31}
Segment(B_{10}, R_6) → j_{31}
Segment(L_7, V_9) → k_{31}
Segment(G_7, P_9) → l_{31}
Segment(N_{10}, E_9) → m_{31}
Segment(J_{13}, M_{14}) → n_{31}
Segment(O_{13}, N_{14}) → p_{31}
Segment(N_{14}, O_{14}) → q_{31}
Segment(W_{13}, P_{14}) → r_{31}
Segment(N_{14}, Q_{14}) → s_{31}
Segment(Q_{14}, R_{14}) → t_{31}
Segment(Q_{14}, S_{14}) → a_{32}
Segment(S_{14}, T_{14}) → b_{32}
Segment(T_{14}, U_{14}) → c_{32}
Segment(U_{14}, V_{14}) → d_{32}
Segment(S_{14}, W_{14}) → e_{32}
Segment(D_{14}, U_{14}) → f_{32}
Segment(T_{14}, Z_{14}) → g_{32}
Segment(Z_{14}, A_{15}) → h_{32}
Point(h_{29}) → B_{15}
Segment(A_{15}, C_{15}) → i_{32}
Segment(C_{15}, D_{15}) → j_{32}
Segment(Z_{14}, E_{15}) → k_{32}
Segment(A_{10}, F_{15}) → l_{32}
Segment(F_{15}, K_{14}) → m_{32}
Point(d_3) → H_{15}
Point(e_{28}) → I_{15}
Point(d) → K_{15}
Segment(G_{15}, K_{15}) → n_{32}
Segment(F_{15}, L_{15}) → p_{32}
Point(i_{26}) → N_{15}
Segment(M_{15}, N_{15}) → q_{32}
Segment(N_{15}, O_{15}) → r_{32}
Segment(A_{15}, P_{15}) → s_{32}
Segment(P_{15}, Q_{15}) → t_{32}
Segment(P_{15}, R_{15}) → a_{33}
Segment(S_{15}, R_{15}) → b_{33}
Segment(T_{15}, S_{15}) → c_{33}
Segment(K_{15}, U_{15}) → d_{33}
Segment(U_{15}, S_{15}) → e_{33}
Segment(U_{15}, V_{15}) → f_{33}
Segment(V_{15}, W_{15}) → g_{33}
Segment(Z_{15}, A_{16}) → h_{33}
Segment(E_{10}, A_{16}) → i_{33}
Segment(V_{15}, B_{16}) → j_{33}
Segment(N_8, C_{16}) → k_{33}
Segment(M, E_1) → l
Point(l) → N
Segment(F_1, N) → s
Segment(D, N) → g_1
Segment(L, S_9) → h_1
Segment(M_8, T_9) → i_1
Point(f_3) → E_6
Point(r_6) → N_6
Point(f_3) → V_6
Line(N_6, V_6) → g_7
Point(g_7) → B_7
Segment(U_7, B_7) → f_7
Segment(T_7, P_7) → k_7
Segment(B_7, R_7) → c_8
Segment(D_9, S_7) → d_8
Segment(S_7, Q_7) → l_8
Segment(Z_7, V_7) → m_8
Segment(W_7, S_7) → b_9
Segment(U_6, W_6) → c_9
Segment(A_7, Q_8) → f_9
Segment(C_6, F_6) → c_{10}
Segment(J_{10}, T_8) → i_{10}
Point(l_{28}) → U_8
Segment(O_{11}, U_8) → j_{10}
Polygon(G, D, M) → poly1, m_{14}, g_{34}, d_{16}
Polygon(T_9, M_8, T) → poly2, t_{14}, t_{17}, m_{20}
Polygon(S, I_8, R_1) → poly3, r_{33}, s_{22}, i_{17}
Polygon(Q_1, G_8, H_{14}) → poly4, h_{34}, q_{14}, g_{35}
Polygon(G_{14}, A_8, E_2) → poly5, e_{14}, g_{36}, a_{14}
Polygon(F_2, D_8, L_2) → poly6, l_{10}, f_{17}, d_{17}
Polygon(K_2, E_8, K_4) → poly7, k_{10}, k_{24}, e_{16}
Polygon(R_2, F_8, P_4) → poly8, p_{20}, r_{34}, f_{18}
Polygon(O_2, C_8, S_2) → poly9, s_{33}, o_2, c_{20}
Polygon(N_3, B_8, O_3) → poly10, o_3, n_{14}, b_{14}
Polygon(L_3, H_8, M_3) → poly11, m_{33}, l_{17}, h_{35}
Polygon(B_1, J_8, K_3) → poly12, k_{34}, b_{17}, j_{17}
Polygon(G_1, R_{11}, C_1) → poly13, c_{34}, g_{37}, r_{35}
Polygon(L_1, J_1, F_1) → poly14, f_{34}, l_{20}, j_{34}
Polygon(V_5, R_8, C_3) → poly15, c_{35}, v_5, r_{36}
Polygon(D_3, N_8, G_3) → poly16, g_{38}, d_{18}, n_{17}
Polygon(H_3, O_8, Q_3) → poly17, q_{20}, h_{36}, o_8
Polygon(B_4, P_8, Z_3) → poly18, z_3, b_{18}, p_{33}
Polygon(A_4, W_8, G_4) → poly19, g_{39}, a_{17}, w_8
Polygon(F_4, Z_8, N_4) → poly20, n_{20}, f_{35}, z_8
Polygon(M_4, A_9, C_5) → poly21, c_{36}, m_{34}, a_{18}
Polygon(N_7, V_6, U_7) → poly22, u_7, n_{33}, v_6
Intersect(m_2, g_7) → V_8
Polygon(W_4, V_8, M_7) → poly23, m_{35}, w_4, v_8
Intersect(g_2, g_7) → B_9
Polygon(U_6, B_9, Z_4) → poly24, z_4, u_6, b_{20}
Segment(L_6, I_7) → e_{17}
Segment(J_7, E_7) → e_{18}
Segment(T_6, F_7) → t_{22}
Segment(D_7, Q_8) → l_{24}
Segment(U_6, Z_6) → i_{27}
Segment(W_6, Z_4) → l_{33}
Segment(W_4, O_{10}) → q_{33}
Segment(N_{10}, M_7) → t_{33}
Segment(N_7, V_7) → a_{34}
Segment(Z_7, U_7) → b_{34}
Segment(P_7, N_6) → d_{34}
Intersect(d_4, r_6) → C_9
Segment(T_7, C_9) → e_{34}
Segment(C_9, D_5) → i_{34}
Segment(N_6, R_7) → l_{34}
Segment(S_{10}, V_{10}) → n_{34}
Intersect(r_6, f_{10}) → U_9
Segment(D_{11}, U_9) → p_{34}
Segment(U_9, S_7) → q_{34}
Segment(U_{10}, W_7) → s_{34}
Segment(K_{11}, T_{10}) → t_{34}
Segment(E_9, G_{11}) → a_{35}
Segment(O_{11}, I_{11}) → b_{35}
Segment(C_7, N_{11}) → d_{35}
Segment(G_7, P_{11}) → e_{35}
Segment(O_9, A_7) → i_{35}
Segment(L_7, P_9) → j_{35}
Segment(W_9, H_7) → k_{35}
Segment(R_6, V_9) → l_{35}
Segment(C_{10}, K_7) → n_{35}
Segment(K_{10}, B_{10}) → p_{35}
Segment(G_{10}, Q_6) → q_{35}
Intersect(b, f_{10}) → Q_5
Segment(J_{10}, Q_5) → s_{35}
Segment(Q_5, F_{10}) → t_{35}
Segment(T_8, I_{10}) → a_{36}
Segment(I_{10}, A_6) → b_{36}
Intersect(d, g_7) → S_{11}
Segment(G_6, S_{11}) → d_{36}
Segment(H_6, S_{11}) → e_{36}
Segment(F_6, S_{11}) → f_{36}
Segment(S_{11}, C_6) → i_{36}
Segment(O_6, I_6) → j_{36}
Segment(P_6, M_6) → k_{36}
Intersect(b, h_{26}) → T_{11}
Segment(D_{10}, T_{11}) → l_{36}
Segment(T_{11}, W_{15}) → m_{36}
Segment(Z_{15}, Z_9) → n_{36}
Segment(E_{10}, G_{15}) → p_{36}
Segment(A_{10}, F_{14}) → q_{36}
Segment(F_{15}, R_9) → s_{36}
Segment(Q_9, U_{13}) → t_{36}
Segment(E_{14}, M_9) → a_{37}
Segment(N_9, U_{11}) → b_{37}
Segment(V_{13}, Q_{11}) → c_{37}
Segment(U_8, W_{11}) → d_{37}
Segment(V_{11}, M_{11}) → e_{37}
Segment(L_{11}, L_{12}) → f_{37}
Segment(H_{12}, F_{11}) → h_{37}
Segment(Z_{10}, E_{12}) → i_{37}
Segment(D_{12}, A_{11}) → j_{37}
Intersect(r_6, h_{26}) → J_{15}
Segment(A_{12}, J_{15}) → k_{37}
Segment(J_{15}, C_{11}) → l_{37}
Segment(B_{12}, D_{16}) → m_{37}
Segment(D_{16}, M_{12}) → n_{37}
Segment(V_{12}, R_{12}) → p_{37}
Segment(W_{12}, C_{12}) → q_{37}
Segment(B_{15}, Z_{12}) → r_{37}
Segment(D_{13}, T_{12}) → s_{37}
Segment(Q_{13}, G_{13}) → t_{37}
Segment(M_{13}, J_{12}) → a_{38}
Segment(P_{14}, R_{13}) → b_{38}
Segment(S_{13}, L_{13}) → c_{38}
Segment(V_{14}, T_{13}) → d_{38}
Segment(C_{14}, R_{14}) → e_{38}
Segment(D_{15}, L_{14}) → f_{38}
Segment(L_{15}, U_{14}) → h_{38}
Segment(T_{15}, M_{15}) → i_{38}
Segment(U_{15}, O_{15}) → j_{38}
Point(b) → E_{16}
Segment(R_{15}, E_{16}) → k_{38}
Point(i_{26}) → F_{16}
Intersect(b, j_{26}) → G_{16}
Intersect(b, i_{26}) → H_{16}
Segment(H_{16}, V_{15}) → l_{38}
Segment(H_{16}, S_{15}) → m_{38}
Segment(R_{15}, G_{16}) → n_{38}
Intersect(d, j_{26}) → I_{16}
Segment(P_{15}, I_{16}) → p_{38}
Segment(I_{16}, A_{15}) → q_{38}
Point(j_{26}) → J_{16}
Segment(Z_{14}, J_{16}) → r_{38}
Segment(J_{16}, T_{14}) → s_{38}
Segment(S_{14}, L_9) → t_{38}
Segment(L_9, Q_{14}) → a_{39}
Segment(N_{14}, K_9) → b_{39}
Segment(K_9, K_{13}) → c_{39}
Intersect(g_2, j_{26}) → L_{16}
Segment(J_{13}, L_{16}) → d_{39}
Segment(L_{16}, F_{13}) → e_{39}
Intersect(m_2, j_{26}) → M_{16}
Segment(E_{13}, M_{16}) → f_{39}
Segment(M_{16}, A_{13}) → h_{39}
Intersect(f_3, j_{26}) → N_{16}
Segment(S_{12}, N_{16}) → i_{39}
Segment(N_{16}, Q_{12}) → j_{39}
Intersect(r_6, j_{26}) → O_{16}
Segment(O_{12}, O_{16}) → k_{39}
Intersect(c_2, g_7) → P_{16}
Polygon(T_6, P_{16}, D_7) → poly25, d_{40}, t_{39}, p_{39}
Intersect(t, g_7) → Q_{16}
Polygon(L_6, Q_{16}, E_7) → poly26, e_{40}, l_{39}, q_{39}
Intersect(m, g_7) → R_{16}
Polygon(I_6, R_{16}, M_6) → poly27, m_{39}, i_{40}, r_{39}
Polygon(C_6, S_{11}, H_6) → poly28, h_{40}, c_{40}, s_{39}
Intersect(d, f_{10}) → S_{16}
Segment(K_{10}, S_{16}) → n_{39}
Segment(S_{16}, Q_6) → a_{40}
Segment(Q_6, K_{10}) → b_{40}
Polygon(Q_6, K_{10}, S_{16}) → poly29, s_{40}, q_{40}, k_{40}
Intersect(m, f_{10}) → T_{16}
Polygon(R_6, T_{16}, K_7) → poly30, k_{41}, r_{40}, t_{40}
Polygon(L_7, F_9, H_7) → poly31, h_{41}, l_{40}, f_{40}
Intersect(c_2, f_{10}) → V_{16}
Polygon(G_7, V_{16}, A_7) → poly32, a_{41}, g_{40}, v_{16}
Polygon(G_7, V_{16}, A_7) → poly33, a_{42}, g_{41}, v_1
Intersect(g_2, f_{10}) → W_{16}
Polygon(C_7, W_{16}, I_{11}) → poly34, i_{41}, c_{41}, w_{16}
Polygon(E_9, Q_{10}, T_{10}) → poly35, t_{41}, e_{41}, q_{41}
Polygon(S_{10}, P_{10}, W_7) → poly36, w_7, s_{41}, p_{40}
Intersect(f_3, h_{26}) → Z_{16}
Polygon(Z_{10}, Z_{16}, A_{11}) → poly37, a_{43}, z_{10}, z_{16}
Intersect(m_2, h_{26}) → A_{17}
Polygon(F_{11}, A_{17}, L_{11}) → poly38, l_{41}, f_{41}, a_{44}
Intersect(g_2, h_{26}) → B_{17}
Polygon(M_{11}, B_{17}, U_8) → poly39, u_8, m_{40}, b_{41}
Intersect(c_2, h_{26}) → C_{17}
Polygon(Q_{11}, C_{17}, N_9) → poly40, n_{40}, q_{42}, c_{42}
Polygon(M_9, G_9, Q_9) → poly41, q_{43}, m_{41}, g_{42}
Polygon(R_9, H_9, A_{10}) → poly42, a_{45}, r_{41}, h_{42}
Intersect(d, h_{26}) → D_{17}
Polygon(Z_9, D_{17}, E_{10}) → poly43, e_{42}, z_9, d_{41}
Intersect(d, i_{26}) → E_{17}
Polygon(U_{15}, E_{17}, M_{15}) → poly44, m_{42}, u_{15}, e_{43}
Polygon(L_{15}, J_9, L_{14}) → poly45, l_{42}, l_{43}, j_{40}
Polygon(C_{14}, I_9, T_{13}) → poly46, t_{42}, c_{43}, i_{42}
Intersect(c_2, b_{38}) → F_{17}
Polygon(R_{13}, F_{17}, S_{13}) → poly47, s_{42}, r_{42}, f_{42}
Intersect(g_2, i_{26}) → G_{17}
Polygon(Q_{13}, G_{17}, J_{12}) → poly48, j_{41}, q_{44}, g_{43}
Intersect(m_2, i_{26}) → H_{17}
Polygon(B_{15}, H_{17}, T_{12}) → poly49, t_{43}, b_{42}, h_{43}
Intersect(i_{26}, p_{37}) → I_{17}
Polygon(V_{12}, I_{17}, C_{12}) → poly50, c_{44}, v_{12}, i_{43}
Polygon(S_{12}, N_{16}, Q_{12}) → poly51, q_{45}, s_{43}, n_{41}
Polygon(E_{13}, M_{16}, A_{13}) → poly52, a_{46}, e_{44}, m_{43}
Polygon(J_{13}, L_{16}, F_{13}) → poly53, f_{43}, j_{42}, l_{44}
Polygon(K_{13}, K_9, N_{14}) → poly54, n_{42}, k_{42}, k_{43}
Polygon(S_{14}, L_9, Q_{14}) → poly55, q_{46}, s_{44}, l_{45}
Polygon(T_{14}, J_{16}, Z_{14}) → poly56, z_{14}, t_{44}, j_{43}
Polygon(A_{15}, I_{16}, P_{15}) → poly57, p_{41}, a_{47}, i_{44}
Polygon(M, D, N) → poly58, n_{43}, m_{44}, d_{42}
Polygon(T, M_8, D_1) → poly59, d_{43}, t_{45}, m_{45}
Polygon(R_1, I_8, Z_2) → poly60, z_2, r_{43}, i_{45}
Polygon(H_{14}, G_8, W_2) → poly61, w_2, h_{44}, g_{44}
Polygon(E_2, A_8, U_2) → poly62, u_2, e_{45}, a_{48}
Polygon(L_2, D_8, P_2) → poly63, p_{42}, l_{46}, d_{44}
Polygon(K_4, E_8, I_4) → poly64, i_{46}, k_{44}, e_{46}
Polygon(P_4, F_8, O_4) → poly65, o_4, p_{43}, f_{44}
Polygon(S_2, C_8, H_4) → poly66, h_{45}, s_{45}, c_{45}
Polygon(O_3, B_8, D_4) → poly67, d_{45}, o_1, b_{43}
Polygon(M_3, H_8, V_3) → poly68, v_3, m_{46}, h_{46}
Polygon(K_3, J_8, I_3) → poly69, i_{47}, k_{45}, j_{44}
Polygon(C_1, R_{11}, B_3) → poly70, b_{44}, c_{46}, r_{44}
Polygon(F_1, J_1, N_1) → poly71, n_{44}, f_{45}, j_{45}
Intersect(b, p_1) → U_1
Segment(U_1, T_5) → p_{44}
Segment(U_1, K_1) → b_{45}
Intersect(b, c) → J_{17}
Segment(Z_{13}, J_{17}) → g_{45}
Segment(J_{14}, J_{17}) → n_{45}
Polygon(J_{14}, J_{17}, Z_{13}) → poly72, z_{13}, j_{46}, j_{47}
Polygon(K_1, U_1, T_5) → poly73, t_{46}, k_{46}, u_1
Polygon(U_5, S_8, B_6) → poly74, b_{46}, u_5, s_{46}
Polygon(C_3, R_8, Z_5) → poly75, z_5, c_{47}, r_{45}
Polygon(G_3, N_8, J_6) → poly76, j_{48}, g_{46}, n_{46}
Polygon(Q_3, O_8, S_6) → poly77, s_{47}, q_{47}, o_5
Polygon(Z_3, P_8, C_4) → poly78, c_{48}, z_1, p_{45}
Polygon(G_4, W_8, T_4) → poly79, t_{47}, g_{47}, w_1
Polygon(N_4, Z_8, V_4) → poly80, v_4, n_{47}, z_6
Polygon(C_5, A_9, B_5) → poly81, b_{47}, c_{49}, a_{49}
Polygon(U_7, V_6, V_7) → poly82, v_7, u_3, v_2
Polygon(M_7, V_8, O_{10}) → poly83, o_{10}, m_{47}, v_9
Polygon(Z_4, B_9, Z_6) → poly84, z_7, z_{11}, b_{48}
Polygon(T_6, P_{16}, Q_8) → poly85, q_{48}, t_{48}, p_{46}
Polygon(E_7, Q_{16}, I_7) → poly86, i_{48}, e_{47}, q_{49}
Polygon(M_6, R_{16}, O_6) → poly87, o_6, m_{48}, r_{46}
Polygon(H_6, S_{11}, G_6) → poly88, g_{48}, h_{47}, s_{48}
Polygon(A_6, I_{10}, T_8) → poly89, t_{49}, a_{50}, i_{49}
Polygon(J_{10}, Q_5, F_{10}) → poly90, f_{46}, j_{49}, q_{50}
Polygon(Q_6, S_{16}, B_{10}) → poly91, b_{49}, q_{51}, s_{49}
Polygon(K_7, T_{16}, V_9) → poly92, v_{10}, k_{47}, t_{50}
Polygon(H_7, F_9, P_9) → poly93, p_{47}, h_{48}, f_{47}
Polygon(A_7, V_{16}, P_{11}) → poly94, p_{48}, a_{51}, v_{11}
Polygon(I_{11}, W_{16}, N_{11}) → poly95, n_{48}, i_{50}, w_3
Polygon(T_{10}, Q_{10}, G_{11}) → poly96, g_{49}, t_{51}, q_{52}
Polygon(W_7, P_{10}, V_{10}) → poly97, v_{13}, w_5, p_{49}
Polygon(A_{11}, Z_{16}, E_{12}) → poly98, e_{48}, a_{52}, z_{12}
Polygon(F_{11}, A_{17}, L_{12}) → poly99, l_{47}, f_{48}, a_{53}
Polygon(M_{11}, B_{17}, W_{11}) → poly100, w_{11}, m_{49}, b_{50}
Polygon(Q_{11}, C_{17}, U_{11}) → poly101, u_{11}, q_{53}, c_{50}
Polygon(M_9, G_9, U_{13}) → poly102, u_{13}, m_{50}, g_{50}
Polygon(R_9, H_9, F_{14}) → poly103, f_{49}, r_{47}, h_{49}
Polygon(Z_9, D_{17}, G_{15}) → poly104, g_{51}, z_{15}, d_{46}
Polygon(D_{10}, T_{11}, W_{15}) → poly105, w_{15}, d_{47}, t_{52}
Polygon(V_{15}, H_{16}, S_{15}) → poly106, s_{50}, v_{15}, h_{50}
Polygon(M_{15}, E_{17}, O_{15}) → poly107, o_{15}, m_{51}, e_{49}
Polygon(L_{14}, J_9, U_{14}) → poly108, u_{14}, l_{48}, j_{50}
Polygon(T_{13}, I_9, R_{14}) → poly109, r_{48}, t_{53}, i_{51}
Polygon(R_{13}, F_{17}, L_{13}) → poly110, l_{49}, r_{49}, f_{50}
Polygon(J_{12}, G_{17}, G_{13}) → poly111, g_{52}, j_{51}, g_{53}
Polygon(T_{12}, H_{17}, Z_{12}) → poly112, z_{17}, t_{54}, h_{51}
Polygon(C_{12}, I_{17}, R_{12}) → poly113, r_{50}, c_{51}, i_{52}
Polygon(Q_{12}, N_{16}, K_{17}, P_{12}) → poly114, q_{54}, n_{49}, k_{48}, p_{50}
Polygon(A_{13}, M_{16}, L_{17}) → poly115, l_{50}, a_{54}, m_{52}
Polygon(F_{13}, L_{16}, M_{17}, I_{13}) → poly116, f_{51}, l_{51}, m_{53}, i_{53}
Polygon(K_{13}, K_9, M_{14}, N_{17}, K_{16}) → poly117, k_{49}, k_{50}, m_{54}, n_{50}, k_{51}
Polygon(M_{14}, K_{13}, K_9) → poly118, k_{52}, m_{55}, k_{53}
Polygon(N_{17}, M_{14}, K_9) → poly119, k_{54}, n_{51}, m_{56}
Polygon(Q_{14}, L_9, O_{17}, O_{14}) → poly120, q_{55}, l_{52}, o_{17}, o_{14}
Polygon(T_{14}, J_{16}, P_{17}) → poly121, p_{51}, t_{55}, j_{52}
Polygon(A_{15}, I_{16}, Q_{17}) → poly122, q_{56}, a_{55}, i_{54}
Polygon(R_{15}, G_{16}, R_{17}) → poly123, r_{51}, r_{52}, g_{54}
Intersect(a, m) → S_{17}
Segment(B, N_{13}) → d_{48}
Segment(B, J) → d_{49}
Segment(S_{17}, L) → d_{50}
Segment(S_{17}, P) → e_{50}
Intersect(a, t) → T_{17}
Segment(T_{17}, R) → b_{51}
Segment(T_{17}, W) → d_{51}
Intersect(a, c_2) → U_{17}
Segment(U_{17}, P_1) → e_{51}
Segment(U_{17}, T_1) → s_{51}
Segment(S_1, V_1) → b_{52}
Segment(S_1, B_2) → c_{52}
Segment(A_2, G_2) → d_{52}
Segment(A_2, H_2) → e_{52}
Intersect(a, f_3) → V_{17}
Segment(V_{17}, J_2) → f_{52}
Segment(V_{17}, H_5) → h_{52}
Polygon(G, D, I_1) → poly124, i_{55}, g_{55}, d_{53}
Polygon(T_9, M_8, E_1) → poly125, e_{53}, t_{56}, m_{57}
Polygon(S, I_8, A_1) → poly126, a_{56}, s_{52}, i_{56}
Polygon(Q_1, G_8, V_2) → poly127, v_{14}, q_{57}, g_{56}
Polygon(G_{14}, A_8, W_{10}) → poly128, w_{10}, g_{57}, a_{57}
Polygon(F_2, D_8, P_3) → poly129, p_{52}, f_{53}, d_{54}
Polygon(K_2, E_8, Q_2) → poly130, q_{58}, k_{55}, e_{54}
Polygon(R_2, F_8, L_4) → poly131, l_{53}, r_{53}, f_{54}
Polygon(O_2, C_8, E_4) → poly132, e_{55}, o_7, c_{53}
Polygon(N_3, B_8, U_3) → poly133, u_4, n_{52}, b_{53}
Polygon(L_3, H_8, W_3) → poly134, w_6, l_{54}, h_{53}
Polygon(B_1, J_8, J_3) → poly135, j_{53}, b_{54}, j_{54}
Polygon(G_1, R_{11}, A_3) → poly136, a_{58}, g_{58}, r_{54}
Polygon(L_1, M_1, J_1, L_8) → poly137, l_{55}, m_{58}, j_{55}, l_{56}
Polygon(V_5, R_8, W_5) → poly138, w_9, v_{17}, r_{55}
Polygon(D_3, N_8, W_{17}) → poly139, w_{17}, d_{55}, n_{53}
Polygon(H_3, O_8, K_6) → poly140, k_{56}, h_{54}, o_9
Polygon(B_4, P_8, S_3) → poly141, s_{53}, b_{55}, p_{53}
Polygon(A_4, W_8, S_4) → poly142, s_{54}, a_{59}, w_{12}
Polygon(F_4, Z_8, A_5) → poly143, a_{60}, f_{55}, z_{18}
Polygon(M_4, A_9, U_4) → poly144, u_9, m_{59}, a_{61}
Polygon(D_5, C_9, T_7) → poly145, t_{57}, d_{56}, c_{54}
Polygon(P_7, N_6, R_7) → poly146, r_{56}, p_{54}, n_{54}
Polygon(N_7, V_6, Z_7) → poly147, z_{19}, n_{55}, v_{18}
Polygon(W_4, V_8, N_{10}) → poly148, n_{56}, w_{13}, v_{19}
Polygon(U_6, B_9, W_6) → poly149, w_{14}, u_{10}, b_{56}
Polygon(D_7, P_{16}, F_7) → poly150, f_{56}, d_{57}, p_{55}
Polygon(L_6, Q_{16}, J_7) → poly151, j_{56}, l_{57}, q_{59}
Polygon(I_6, R_{16}, P_6) → poly152, p_{56}, i_{57}, r_{57}
Polygon(C_6, S_{11}, F_6) → poly153, f_{57}, c_{55}, s_{55}
Polygon(K_{10}, S_{16}, G_{10}) → poly154, g_{59}, k_{57}, s_{56}
Polygon(R_6, T_{16}, C_{10}) → poly155, c_{56}, r_{58}, t_{58}
Polygon(U_{16}, F_9, W_9) → poly156, w_{18}, u_{16}, f_{58}
Polygon(G_7, V_{16}, O_9) → poly157, o_{11}, g_{60}, v_{20}
Polygon(C_7, W_{16}, O_{11}) → poly158, o_{12}, c_{57}, w_{19}
Polygon(E_9, Q_{10}, K_{11}) → poly159, k_{58}, e_{56}, q_{60}
Polygon(S_{10}, P_{10}, U_{10}) → poly160, u_{12}, s_{57}, p_{57}
Polygon(S_7, U_9, D_{11}) → poly161, d_{58}, s_{58}, u_{17}
Polygon(C_{11}, J_{15}, A_{12}) → poly162, a_{62}, c_{58}, j_{57}
Polygon(Z_{10}, Z_{16}, D_{12}) → poly163, d_{59}, z_{20}, z_{21}
Polygon(L_{11}, A_{17}, H_{12}) → poly164, h_{55}, l_{58}, a_{63}
Polygon(U_8, B_{17}, V_{11}) → poly165, v_{21}, u_{18}, b_{57}
Polygon(N_9, C_{17}, V_{13}) → poly166, v_{22}, n_{57}, c_{59}
Polygon(Q_9, G_9, E_{14}) → poly167, e_{57}, q_{61}, g_{61}
Polygon(A_{10}, H_9, F_{15}) → poly168, f_{59}, a_{64}, h_{56}
Polygon(E_{10}, D_{17}, Z_{15}) → poly169, z_{22}, e_{58}, d_{60}
Polygon(U_{15}, E_{17}, T_{15}) → poly170, t_{59}, u_{19}, e_{59}
Polygon(L_{15}, J_9, D_{15}) → poly171, d_{61}, l_{59}, j_{58}
Polygon(C_{14}, I_9, V_{14}) → poly172, v_{23}, c_{60}, i_{58}
Polygon(S_{13}, F_{17}, P_{14}) → poly173, p_{58}, s_{59}, f_{60}
Polygon(Q_{13}, G_{17}, M_{13}) → poly174, m_{60}, q_{62}, g_{62}
Polygon(B_{15}, H_{17}, D_{13}) → poly175, d_{62}, b_{58}, h_{57}
Polygon(V_{12}, I_{17}, W_{12}) → poly176, w_{20}, v_{24}, i_{59}
Polygon(B_{12}, D_{16}, M_{12}) → poly177, m_{61}, b_{59}, d_{63}
Polygon(N_{13}, B, J) → poly186, j_{61}, n_{60}, b_{61}
Polygon(L, S_{17}, P) → poly187, p_{60}, l_{62}, s_{62}
Polygon(R, T_{17}, W) → poly188, w, r_{59}, t_{60}
Polygon(P_1, U_{17}, T_1) → poly189, t_{61}, p_{61}, u_{20}
Polygon(V_1, S_1, B_2) → poly190, b_{62}, v_{25}, s_{63}
Polygon(G_2, A_2, H_2) → poly191, h_{58}, g_{64}, a_{66}
Polygon(J_2, V_{17}, H_5) → poly192, h_{59}, j_{62}, v_{26}
Polygon(Q_2, E_8, I_4) → poly193, i_{61}, q_{63}, e_{62}
Polygon(P_3, D_8, H_{15}) → poly194, h_{60}, p_{62}, d_{65}
Polygon(W_{10}, A_8, U_2) → poly195, u_{21}, w_{21}, a_{67}
Polygon(V_2, G_8, W_2) → poly196, w_{22}, v_{27}, g_{65}
Polygon(A_1, I_8, Z_2) → poly197, z_{25}, a_{68}, i_{62}
Polygon(E_1, M_8, D_1) → poly198, d_{66}, e_{63}, m_{63}
Polygon(I_1, D, N) → poly199, n_{61}, i_{63}, d_{67}
Polygon(Z_{13}, J_{17}, H_{18}) → poly200, h_{61}, z_{26}, j_{63}
Polygon(T_5, U_1, I_{18}) → poly201, i_{64}, t_{62}, u_{22}
Polygon(M_1, J_1, N_1) → poly202, n_{62}, m_{64}, j_{64}
Polygon(A_3, R_{11}, B_3) → poly203, b_{63}, a_{69}, r_{60}
Polygon(J_3, J_8, I_3) → poly204, i_{65}, j_{65}, j_{66}
Polygon(W_3, H_8, V_3) → poly205, v_{28}, w_{23}, h_{62}
Polygon(U_3, B_8, D_4) → poly206, d_{68}, u_{23}, b_{64}
Polygon(E_4, C_8, H_4) → poly207, h_{63}, e_{64}, c_{62}
Polygon(L_4, F_8, O_4) → poly208, o_{18}, l_{63}, f_{62}
Polygon(U_4, A_9, B_5) → poly209, b_{65}, u_{24}, a_{70}
Polygon(A_5, Z_8, V_4) → poly210, v_{29}, a_{71}, z_{27}
Polygon(S_4, W_8, T_4) → poly211, t_{63}, s_{64}, w_{24}
Polygon(S_3, P_8, C_4) → poly212, c_{63}, s_{65}, p_{63}
Polygon(K_6, O_8, S_6) → poly213, s_{66}, k_{60}, o_{19}
Polygon(W_{17}, N_8, J_6) → poly214, j_{67}, w_{25}, n_{63}
Polygon(W_5, R_8, Z_5) → poly215, z_{28}, w_{26}, r_{61}
Polygon(B_6, S_8, J_{18}) → poly216, j_{68}, b_{66}, s_{67}
Polygon(T_8, I_{10}, K_{18}) → poly217, k_{61}, t_{64}, i_{66}
Polygon(G_6, S_{11}, F_6) → poly218, f_{63}, g_{66}, s_{68}
Polygon(O_6, R_{16}, P_6) → poly219, p_{64}, o_{20}, r_{62}
Polygon(I_7, Q_{16}, J_7) → poly220, j_{69}, i_{67}, q_{64}
Polygon(P_{16}, F_7, Q_8) → poly221, q_{65}, p_{65}, f_{64}
Polygon(W_6, Z_6, B_9) → poly222, b_{67}, w_{27}, z_{29}
Polygon(N_{10}, O_{10}, V_8) → poly223, v_{30}, n_{64}, o_{21}
Polygon(Z_7, V_7, V_6) → poly224, v_{31}, z_{30}, v_{32}
Polygon(U_{10}, P_{10}, V_{10}) → poly225, v_{33}, u_{25}, p_{66}
Polygon(K_{11}, Q_{10}, G_{11}) → poly226, g_{67}, k_{62}, q_{66}
Polygon(O_{11}, W_{16}, N_{11}) → poly227, n_{65}, o_{22}, w_{28}
Polygon(O_9, V_{16}, P_{11}) → poly228, p_{67}, o_{23}, v_{34}
Polygon(W_9, F_9, P_9) → poly229, p_{68}, w_{29}, f_{65}
Polygon(C_{10}, T_{16}, V_9) → poly230, v_{35}, c_{64}, t_{65}
Polygon(G_{10}, S_{16}, B_{10}) → poly231, b_{68}, g_{68}, s_{69}
Polygon(F_{10}, Q_5, L_{18}) → poly232, l_{64}, f_{66}, q_{67}
Polygon(F_{10}, Q_5, L_{18}) → poly233, l_{65}, f_{67}, q_{68}
Polygon(W_{15}, T_{11}, M_{18}) → poly234, m_{65}, w_{30}, t_{66}
Polygon(W_{15}, T_{11}, M_{18}) → poly235, m_{66}, w_{31}, t_{67}
Polygon(Z_{15}, D_{17}, G_{15}) → poly236, g_{69}, z_{31}, d_{69}
Polygon(F_{15}, H_9, F_{14}) → poly237, f_{68}, f_{69}, h_{64}
Polygon(E_{14}, G_9, U_{13}) → poly238, u_{26}, e_{65}, g_{70}
Polygon(V_{13}, C_{17}, U_{11}) → poly239, u_{27}, v_{36}, c_{65}
Polygon(V_{11}, B_{17}, W_{11}) → poly240, w_{32}, v_{37}, b_{69}
Polygon(H_{12}, A_{17}, L_{12}) → poly241, l_{66}, h_{65}, a_{72}
Polygon(D_{12}, Z_{16}, E_{12}) → poly242, e_{66}, d_{70}, z_{32}
Polygon(I_{17}, W_{12}, R_{12}) → poly245, r_{63}, i_{68}, w_{33}
Polygon(D_{13}, H_{17}, Z_{12}) → poly246, z_{33}, d_{72}, h_{66}
Polygon(M_{13}, G_{17}, G_{13}) → poly247, g_{71}, m_{68}, g_{72}
Polygon(P_{14}, F_{17}, L_{13}) → poly248, l_{67}, p_{69}, f_{70}
Polygon(V_{14}, I_9, R_{14}) → poly249, r_{64}, v_{38}, i_{69}
Polygon(D_{15}, J_9, U_{14}) → poly250, u_{28}, d_{73}, j_{71}
Polygon(T_{15}, E_{17}, O_{15}) → poly251, o_{25}, t_{68}, e_{67}
Polygon(S_{15}, H_{16}, P_{18}) → poly252, p_{70}, s_{70}, h_{67}
Polygon(N_{13}, B, Q_{18}) → poly253, q_{69}, n_{67}, b_{70}
Polygon(I, A, R_{18}) → poly254, r_{65}, i_{70}, a_{74}
Polygon(L, S_{17}, S_{18}) → poly255, s_{71}, l_{68}, s_{72}
Polygon(R, T_{17}, T_{18}) → poly256, t_{69}, r_{66}, t_{70}
Polygon(P_1, U_{17}, U_{18}) → poly257, u_{29}, p_{71}, u_{30}
Polygon(V_1, S_1, V_{18}) → poly258, v_{39}, v_{40}, s_{73}
Polygon(G_2, A_2, W_{18}) → poly259, w_{34}, g_{73}, a_{75}
Polygon(J_2, V_{17}, Z_{18}) → poly260, z_{34}, j_{72}, v_{41}
Intersect(a, r_6) → A_{19}
Polygon(J_5, A_{19}, B_{19}) → poly261, b_{71}, j_{73}, a_{76}
Polygon(J_4, F_5, C_{19}) → poly262, c_{66}, j_{74}, f_{71}
Intersect(p_1, r_6) → D_{19}
Polygon(Q_4, D_{19}, E_{19}) → poly263, e_{68}, q_{70}, d_{74}
Polygon(D_5, C_9, F_{19}) → poly264, f_{72}, d_{75}, c_{67}
Polygon(P_7, N_6, G_{19}) → poly265, g_{74}, p_{72}, n_{68}
Polygon(S_7, U_9, H_{19}) → poly266, h_{68}, s_{74}, u_{31}
Polygon(C_{11}, J_{15}, I_{19}) → poly267, i_{71}, c_{68}, j_{75}
Polygon(J_4, F_5, R_4) → poly270, r_{67}, j_{77}, f_{73}
Polygon(Q_4, D_{19}, E_5) → poly271, e_{69}, q_{71}, d_{77}
Polygon(T_5, U_5, V_5, M_1) → poly272, t_{71}, u_{32}, v_{42}, m_{69}
Polygon(C_3, D_3, A_3, N_1) → poly273, c_{69}, d_{78}, a_{77}, n_{69}
Polygon(U_5, V_5, M_1, T_5) → poly274, u_{33}, v_{43}, m_{70}, t_{72}
Polygon(C_3, D_3, A_3, N_1) → poly275, c_{70}, d_{79}, a_{78}, n_{70}
Polygon(G_3, B_3, J_3, H_3) → poly276, g_{75}, b_{73}, j_{78}, h_{69}
Polygon(J_{14}, G, N_{13}, I) → poly277, j_{79}, g_{76}, n_{71}, i_{72}
Polygon(M, J, L, T_9) → poly278, m_{71}, j_{80}, l_{69}, t_{73}
Polygon(T, P, R, S) → poly279, t_{74}, p_{73}, r_{68}, s_{75}
Polygon(R_1, Q_1, P_1, W) → poly280, r_{69}, q_{72}, p_{74}, w_{35}
Polygon(H_{14}, G_{14}, V_1, T_1) → poly281, h_{70}, g_{77}, v_{44}, t_{75}
Polygon(E_2, F_2, G_2, B_2) → poly282, e_{70}, f_{74}, g_{78}, b_{74}
Polygon(L_2, K_2, J_2, H_2) → poly283, l_{70}, k_{64}, j_{81}, h_{71}
Polygon(K_4, J_4, J_5, H_5) → poly284, k_{65}, j_{82}, j_{83}, h_{72}
Polygon(I_4, R_4, Q_4, P_4) → poly285, i_{73}, r_{70}, q_{73}, p_{75}
Polygon(H_{15}, S_2, R_2, Q_2) → poly286, h_{73}, s_{76}, r_{71}, q_{74}
Polygon(O_3, O_2, P_3, U_2) → poly287, o_{28}, o_{29}, p_{76}, u_{34}
Polygon(M_3, N_3, W_{10}, W_2) → poly288, m_{72}, n_{72}, w_{36}, w_{37}
Polygon(K_3, L_3, V_2, Z_2) → poly289, k_{66}, l_{71}, v_{45}, z_{35}
Polygon(D_1, C_1, B_1, A_1) → poly290, d_{80}, c_{71}, b_{75}, a_{79}
Polygon(N, F_1, G_1, E_1) → poly291, n_{73}, f_{75}, g_{79}, e_{71}
Polygon(Z_{13}, K_1, L_1, I_1) → poly292, z_{36}, k_{67}, l_{72}, i_{74}
Polygon(B_6, A_6, C_6, W_5) → poly293, b_{76}, a_{80}, c_{72}, w_{38}
Polygon(Z_5, H_6, I_6, W_{17}) → poly294, z_{37}, h_{74}, i_{75}, w_{39}
Polygon(J_6, M_6, L_6, K_6) → poly295, j_{84}, m_{73}, l_{73}, k_{68}
Polygon(I_3, Q_3, B_4, W_3) → poly296, i_{76}, q_{75}, b_{77}, w_{40}
Polygon(V_3, Z_3, A_4, U_3) → poly297, v_{46}, z_{38}, a_{81}, u_{35}
Polygon(F_4, E_4, D_4, G_4) → poly298, f_{76}, e_{72}, d_{81}, g_{80}
Polygon(H_4, N_4, M_4, L_4) → poly299, h_{75}, n_{74}, m_{74}, l_{74}
Polygon(O_4, C_5, D_5, E_5) → poly300, o_{30}, c_{73}, d_{82}, e_{73}
Polygon(C_5, D_5, E_5, O_4) → poly301, c_{74}, d_{83}, e_{74}, o_{31}
Polygon(B_5, U_7, P_7, T_7) → poly302, b_{78}, u_{36}, p_{77}, t_{76}
Polygon(M_7, N_7, U_4, V_4) → poly303, m_{75}, n_{75}, u_{37}, v_{47}
Polygon(T_4, Z_4, W_4, A_5) → poly304, t_{77}, z_{39}, w_{41}, a_{82}
Polygon(C_4, T_6, U_6, S_4) → poly305, c_{75}, t_{78}, u_{38}, s_{77}
Polygon(S_3, S_6, E_7, D_7) → poly306, s_{78}, s_{79}, e_{75}, d_{84}
Polygon(T_8, J_{10}, K_{10}, F_6) → poly307, t_{79}, j_{85}, k_{69}, f_{77}
Polygon(G_6, Q_6, R_6, P_6) → poly308, g_{81}, q_{76}, r_{72}, p_{78}
Polygon(O_6, K_7, U_{16}, J_7) → poly309, o_{32}, k_{70}, u_{39}, j_{86}
Polygon(I_7, H_7, G_7, F_7) → poly310, i_{77}, h_{76}, g_{82}, f_{78}
Polygon(Q_8, A_7, C_7, W_6) → poly311, q_{77}, a_{83}, c_{76}, w_{42}
Polygon(Z_6, I_{11}, E_9, N_{10}) → poly312, z_{40}, i_{78}, e_{76}, n_{76}
Polygon(O_{10}, T_{10}, S_{10}, Z_7) → poly313, o_{33}, t_{80}, s_{80}, z_{41}
Polygon(V_7, W_7, S_7, R_7) → poly314, v_{48}, w_{43}, s_{81}, r_{73}
Polygon(V_{10}, A_{11}, C_{11}, D_{11}) → poly315, v_{49}, a_{84}, c_{77}, d_{85}
Polygon(Z_{10}, U_{10}, G_{11}, F_{11}) → poly316, z_{42}, u_{40}, g_{83}, f_{79}
Polygon(N_{11}, M_{11}, L_{11}, K_{11}) → poly317, n_{77}, m_{76}, l_{75}, k_{71}
Polygon(O_{11}, P_{11}, Q_{11}, U_8) → poly318, o_{34}, p_{79}, q_{78}, u_{41}
Polygon(P_9, M_9, N_9, O_9) → poly319, p_{80}, m_{77}, n_{78}, o_{35}
Polygon(V_9, R_9, Q_9, W_9) → poly320, v_{50}, r_{74}, q_{79}, w_{44}
Polygon(B_{10}, Z_9, A_{10}, C_{10}) → poly321, b_{79}, z_{43}, a_{85}, c_{78}
Polygon(F_{10}, D_{10}, E_{10}, G_{10}) → poly322, f_{80}, d_{86}, e_{77}, g_{84}
Polygon(W_{15}, V_{15}, U_{15}, Z_{15}) → poly323, w_{45}, v_{51}, u_{42}, z_{44}
Polygon(G_{15}, M_{15}, L_{15}, F_{15}) → poly324, g_{85}, m_{78}, l_{76}, f_{81}
Polygon(F_{14}, L_{14}, C_{14}, E_{14}) → poly325, f_{82}, l_{77}, c_{79}, e_{78}
Polygon(U_{13}, T_{13}, S_{13}, V_{13}) → poly326, u_{43}, t_{81}, s_{82}, v_{52}
Polygon(U_{11}, R_{13}, Q_{13}, V_{11}) → poly327, u_{44}, r_{75}, q_{80}, v_{53}
Polygon(W_{11}, J_{12}, B_{15}, H_{12}) → poly328, w_{46}, j_{87}, b_{80}, h_{77}
Polygon(L_{12}, T_{12}, V_{12}, D_{12}) → poly329, l_{78}, t_{82}, v_{54}, d_{87}
Polygon(E_{12}, C_{12}, B_{12}, A_{12}) → poly330, e_{79}, c_{80}, b_{81}, a_{86}
Polygon(R_{12}, Q_{12}, O_{12}, M_{12}) → poly331, r_{76}, q_{81}, o_{36}, m_{79}
Polygon(Z_{12}, A_{13}, S_{12}, W_{12}) → poly332, z_{45}, a_{87}, s_{83}, w_{47}
Polygon(G_{13}, F_{13}, E_{13}, D_{13}) → poly333, g_{86}, f_{83}, e_{80}, d_{88}
Polygon(L_{13}, K_{13}, J_{13}, M_{13}) → poly334, l_{79}, k_{72}, j_{88}, m_{80}
Polygon(R_{14}, Q_{14}, N_{14}, P_{14}) → poly335, r_{77}, q_{82}, n_{79}, p_{81}
Polygon(U_{14}, T_{14}, S_{14}, V_{14}) → poly336, u_{45}, t_{83}, s_{84}, v_{55}
Polygon(S_{15}, R_{15}, P_{15}, T_{15}) → poly337, s_{85}, r_{78}, p_{82}, t_{84}
Polygon(O_{15}, A_{15}, Z_{14}, D_{15}) → poly338, o_{37}, a_{88}, z_{46}, d_{89}
Polygon(O_{12}, O_{16}, Z_{17}) → poly178, z_{23}, o_{13}, o_{16}
Polygon(B_{12}, D_{16}, A_{18}) → poly179, a_{65}, b_{72}, d_{64}
Intersect(l_{28}, m_{30}) → B_{18}
Intersect(m_{30}, b_{38}) → C_{18}
Point(n_{30}) → D_{18}
Intersect(n_{30}, e_{37}) → E_{18}
Polygon(B_{18}, C_{18}, D_{18}, E_{18}) → poly180, b_{60}, c_{61}, d_{71}, e_{60}
Point(i_{37}) → F_{18}
Intersect(f_3, h_{26}) → G_{18}
Point(b_{29}) → N_{18}
Polygon(F_{18}, G_{18}, N_{18}) → poly181, n_{58}, f_{61}, g_{63}
Intersect(c_{28}, a_{35}) → J_{19}
Intersect(c_{28}, h_{37}) → K_{19}
Point(i_{37}) → L_{19}
Point(s_{34}) → M_{19}
Polygon(J_{19}, K_{19}, L_{19}, M_{19}) → poly182, j_{59}, k_{59}, l_{60}, m_{62}
Point(c_{77}) → O_{19}
Intersect(g_2, d_4) → Q_{19}
Point(m) → R_{19}
Point(t) → S_{19}
Line(R_{19}, S_{19}) → n_{59}
Intersect(m, f_{10}) → K_{20}
Intersect(r_6, g_7) → C_{21}
Intersect(r_6, h_{26}) → L_{22}
Intersect(f_3, h_{26}) → U_{22}
Intersect(f_3, j_{26}) → C_{23}
Intersect(b, i_{26}) → E_{24}
Point(b) → O_{24}
Point(d) → P_{24}
Line(O_{24}, P_{24}) → b_{87}
Point(d) → T_{19}
Point(m) → U_{19}
Intersect(c, m) → A_{20}
Intersect(a, d) → D_{20}
Intersect(c, m) → V_{19}
Intersect(c, t) → B_{20}
Semicircle(V_{19}, B_{20}) → p_{59}
Point(p_{59}) → C_{20}
Semicircle(C_{20}, V_{19}) → s_{60}
Semicircle(B_{20}, C_{20}) → e_{61}
Segment(V_{19}, C_{20}) → i_{60}
Segment(C_{20}, B_{20}) → j_{60}
Segment(J_{20}, L_{20}) → j_{70}
Segment(Q_{20}, N_{20}) → j_{76}
Segment(S_{20}, T_{20}) → k_{77}
Segment(T_{20}, U_{20}) → h_{78}
Segment(N_{20}, L_{20}) → r_{79}
Segment(Q_{20}, J_{20}) → n_{81}
Segment(U_{20}, C_{20}) → i_{82}
Segment(L_{21}, M_{21}) → l_{82}
Segment(M_{21}, N_{21}) → m_{82}
Segment(O_{21}, P_{21}) → c_{83}
Segment(P_{21}, Q_{21}) → e_{83}
Segment(Q_{21}, R_{21}) → h_{83}
Segment(R_{21}, O_{21}) → i_{83}
Segment(S_{21}, T_{21}) → k_{83}
Segment(T_{21}, U_{21}) → l_{83}
Segment(U_{21}, V_{21}) → m_{83}
Segment(V_{21}, S_{21}) → n_{83}
Segment(S_{20}, V_{21}) → c_{84}
Intersect(c, c_2) → E_{20}
Segment(E_{20}, N_{21}) → k_{78}
Intersect(b, c) → R_{20}
Intersect(b, b_{87}) → V_{20}
Segment(V_{20}, P_{21}) → k_{82}
Intersect(m, b_{87}) → B_{22}
Segment(P_{21}, C_{22}) → h_{84}
Segment(C_{22}, R_{21}) → k_{84}
Intersect(b, n_{59}) → D_{22}
Segment(D_{22}, P_{21}) → l_{84}
Intersect(d, n_{59}) → E_{22}
Segment(R_{21}, E_{22}) → p_{84}
Segment(E_{22}, F_{22}) → q_{84}
Segment(F_{22}, G_{22}) → r_{84}
Segment(G_{22}, H_{22}) → b_{85}
Segment(H_{22}, D_{22}) → c_{85}
Segment(E_{22}, T_{21}) → e_{85}
Intersect(m, n_{59}) → I_{22}
Segment(V_{21}, I_{22}) → f_{85}
Segment(I_{22}, J_{22}) → h_{85}
Segment(J_{22}, K_{22}) → i_{85}
Segment(K_{22}, M_{22}) → k_{85}
Segment(M_{22}, E_{22}) → l_{85}
Segment(M_{22}, N_{22}) → m_{85}
Segment(N_{22}, J_{22}) → n_{85}
Segment(H_{22}, P_{22}) → p_{85}
Segment(P_{22}, F_{22}) → q_{85}
Segment(Q_{22}, R_{22}) → r_{85}
Segment(Q_{22}, S_{22}) → t_{85}
Segment(S_{22}, T_{22}) → b_{86}
Segment(R_{22}, T_{22}) → c_{86}
Segment(S_{20}, V_{22}) → e_{86}
Point(h_{78}) → W_{22}
Segment(V_{22}, W_{22}) → f_{86}
Intersect(t, b_{87}) → Z_{22}
Segment(W_{22}, Z_{22}) → h_{86}
Segment(Z_{22}, S_{22}) → i_{86}
Segment(R_{22}, B_{22}) → k_{86}
Segment(I_{22}, R_{22}) → l_{86}
Intersect(t, n_{59}) → A_{23}
Segment(S_{22}, A_{23}) → m_{86}
Segment(A_{23}, B_{23}) → n_{86}
Segment(B_{23}, D_{23}) → p_{86}
Segment(D_{23}, E_{23}) → q_{86}
Segment(E_{23}, F_{23}) → r_{86}
Segment(F_{23}, B_{23}) → s_{86}
Segment(I_{22}, E_{23}) → t_{86}
Segment(L_{21}, M_{23}) → m_{87}
Segment(M_{23}, N_{21}) → n_{87}
Segment(Z_{22}, L_{21}) → p_{87}
Segment(N_{23}, O_{23}) → q_{87}
Segment(O_{23}, P_{23}) → r_{87}
Segment(P_{23}, Q_{23}) → s_{87}
Segment(Q_{23}, N_{23}) → t_{87}
Segment(Z_{22}, N_{23}) → b_{88}
Segment(A_{23}, N_{23}) → c_{88}
Intersect(c_2, b_{87}) → R_{23}
Segment(N_{21}, R_{23}) → e_{88}
Segment(R_{23}, S_{23}) → f_{88}
Intersect(c_2, n_{59}) → T_{23}
Segment(S_{23}, T_{23}) → g_{88}
Segment(P_{23}, R_{23}) → h_{88}
Segment(U_{23}, V_{23}) → i_{88}
Segment(V_{23}, W_{23}) → k_{88}
Segment(W_{23}, Z_{23}) → l_{88}
Segment(Z_{23}, U_{23}) → m_{88}
Segment(A_{23}, V_{23}) → n_{88}
Segment(Z_{23}, T_{23}) → p_{88}
Intersect(b, g_7) → A_{24}
Segment(A_{24}, H_{22}) → q_{88}
Intersect(d, g_7) → B_{24}
Segment(F_{22}, B_{24}) → r_{88}
Segment(B_{24}, C_{24}) → s_{88}
Intersect(d, f_{10}) → D_{24}
Segment(C_{24}, D_{24}) → t_{88}
Segment(D_{24}, F_{24}) → a_{89}
Segment(M_{22}, B_{24}) → b_{89}
Segment(B_{24}, G_{24}) → c_{89}
Segment(G_{24}, H_{24}) → e_{89}
Segment(H_{24}, I_{24}) → f_{89}
Segment(I_{24}, J_{24}) → g_{89}
Segment(J_{24}, G_{24}) → h_{89}
Intersect(b, f_{10}) → K_{24}
Segment(K_{24}, I_{24}) → i_{89}
Segment(A_{24}, I_{24}) → j_{89}
Segment(G_{24}, D_{24}) → k_{89}
Segment(C_{24}, L_{24}) → l_{89}
Segment(L_{24}, M_{24}) → m_{89}
Segment(M_{24}, N_{24}) → n_{89}
Segment(N_{24}, C_{24}) → p_{89}
Intersect(m, g_7) → Q_{24}
Segment(J_{22}, Q_{24}) → q_{89}
Segment(Q_{24}, R_{24}) → r_{89}
Intersect(m, f_{10}) → S_{24}
Segment(R_{24}, S_{24}) → s_{89}
Segment(M_{24}, E_{23}) → t_{89}
Segment(R_{24}, U_{24}) → a_{90}
Segment(U_{24}, V_{24}) → b_{90}
Segment(V_{24}, V_{23}) → c_{90}
Segment(B_{23}, W_{24}) → d_{90}
Intersect(t, f_{10}) → Z_{24}
Segment(W_{24}, Z_{24}) → e_{90}
Segment(V_{24}, A_{25}) → f_{90}
Segment(A_{25}, R_{24}) → g_{90}
Segment(V_{24}, Z_{24}) → h_{90}
Intersect(a, d) → B_{25}
Intersect(a, b) → C_{25}
Intersect(a, m) → D_{25}
Intersect(a, t) → E_{25}
Intersect(a, c_2) → F_{25}
Intersect(a, g_2) → K_{25}
Intersect(c, g_2) → L_{25}
Segment(L_{25}, M_{25}) → f_{91}
Segment(M_{25}, N_{25}) → g_{91}
Segment(N_{25}, O_{25}) → h_{91}
Segment(O_{25}, E_{20}) → i_{91}
Segment(R_{23}, O_{25}) → j_{91}
Segment(O_{25}, P_{25}) → k_{91}
Segment(P_{25}, M_{25}) → l_{91}
Intersect(g_2, b_{87}) → Q_{25}
Segment(M_{25}, Q_{25}) → m_{91}
Segment(Q_{25}, R_{25}) → n_{91}
Intersect(g_2, n_{59}) → S_{25}
Segment(R_{25}, S_{25}) → p_{91}
Segment(S_{25}, T_{25}) → q_{91}
Segment(T_{25}, U_{25}) → r_{91}
Segment(U_{25}, S_{23}) → s_{91}
Segment(S_{23}, V_{25}) → t_{91}
Segment(V_{25}, T_{25}) → a_{92}
Segment(T_{25}, Q_{25}) → b_{92}
Segment(L_{25}, A_{26}) → f_{92}
Intersect(a, m_2) → C_{26}
Intersect(c, m_2) → E_{26}
Segment(A_{26}, G_{26}) → n_{92}
Segment(G_{26}, H_{26}) → p_{92}
Segment(H_{26}, I_{26}) → q_{92}
Segment(I_{26}, A_{26}) → r_{92}
Segment(Q_{25}, A_{26}) → s_{92}
Segment(E_{26}, H_{26}) → t_{92}
Segment(E_{26}, J_{26}) → a_{93}
Segment(J_{26}, K_{26}) → b_{93}
Segment(K_{26}, L_{26}) → c_{93}
Intersect(c, f_3) → M_{26}
Segment(L_{26}, M_{26}) → d_{93}
Intersect(a, f_3) → O_{26}
Segment(S_{26}, M_{26}) → m_{93}
Intersect(f_3, b_{87}) → T_{26}
Segment(T_{26}, S_{26}) → n_{93}
Segment(J_{26}, U_{26}) → p_{93}
Segment(U_{26}, L_{26}) → q_{93}
Segment(H_{26}, V_{26}) → r_{93}
Intersect(m_2, b_{87}) → W_{26}
Segment(W_{26}, J_{26}) → s_{93}
Segment(W_{26}, Z_{26}) → t_{93}
Segment(Z_{26}, A_{27}) → a_{94}
Segment(A_{27}, R_{25}) → b_{94}
Segment(R_{25}, B_{27}) → c_{94}
Segment(B_{27}, Z_{26}) → d_{94}
Intersect(m_2, n_{59}) → C_{27}
Segment(Z_{26}, C_{27}) → e_{94}
Segment(C_{27}, V_{26}) → f_{94}
Segment(V_{26}, D_{27}) → g_{94}
Segment(D_{27}, E_{27}) → h_{94}
Segment(E_{27}, T_{26}) → i_{94}
Intersect(f_3, n_{59}) → F_{27}
Segment(E_{27}, F_{27}) → j_{94}
Segment(L_{26}, G_{27}) → k_{94}
Segment(G_{27}, F_{27}) → l_{94}
Segment(V_{26}, H_{27}) → m_{94}
Segment(H_{27}, E_{27}) → n_{94}
Point(g_2) → I_{27}
Segment(H_{27}, E_{27}) → p_{94}
Intersect(a, r_6) → L_{27}
Intersect(c, r_6) → N_{27}
Segment(N_{27}, P_{27}) → e_{95}
Intersect(r_6, b_{87}) → Q_{27}
Segment(P_{27}, Q_{27}) → f_{95}
Segment(S_{26}, R_{27}) → g_{95}
Segment(T_{27}, S_{26}) → k_{95}
Intersect(r_6, b_{87}) → V_{27}
Segment(U_{27}, V_{27}) → n_{95}
Segment(P_{27}, V_{27}) → p_{95}
Segment(V_{27}, W_{27}) → q_{95}
Segment(W_{27}, Z_{27}) → r_{95}
Segment(Z_{27}, G_{27}) → s_{95}
Segment(W_{27}, A_{28}) → t_{95}
Segment(A_{28}, G_{27}) → a_{96}
Intersect(r_6, n_{59}) → B_{28}
Segment(B_{28}, W_{27}) → b_{96}
Segment(U_{27}, B_{28}) → c_{96}
Segment(F_{27}, C_{28}) → d_{96}
Segment(C_{28}, D_{28}) → e_{96}
Segment(D_{28}, E_{28}) → f_{96}
Segment(E_{28}, B_{28}) → g_{96}
Segment(E_{28}, F_{28}) → h_{96}
Segment(F_{28}, C_{28}) → i_{96}
Segment(F_{27}, G_{28}) → j_{96}
Intersect(f_3, g_7) → H_{28}
Segment(G_{28}, H_{28}) → k_{96}
Segment(G_{28}, I_{28}) → l_{96}
Segment(I_{28}, J_{28}) → m_{96}
Segment(J_{28}, K_{28}) → n_{96}
Segment(K_{28}, G_{28}) → p_{96}
Segment(C_{27}, J_{28}) → q_{96}
Intersect(m_2, g_7) → L_{28}
Segment(L_{28}, J_{28}) → r_{96}
Segment(H_{28}, C_{28}) → s_{96}
Intersect(r_6, g_7) → M_{28}
Segment(M_{28}, E_{28}) → t_{96}
Segment(P_{23}, T_{23}) → a_{97}
Segment(T_{23}, N_{28}) → b_{97}
Intersect(c_2, g_7) → O_{28}
Segment(N_{28}, O_{28}) → c_{97}
Segment(O_{28}, Z_{23}) → d_{97}
Segment(W_{24}, P_{28}) → e_{97}
Segment(P_{28}, Q_{28}) → f_{97}
Segment(Q_{28}, R_{28}) → g_{97}
Segment(R_{28}, W_{24}) → h_{97}
Segment(O_{28}, Q_{28}) → i_{97}
Segment(O_{28}, S_{28}) → j_{97}
Intersect(c_2, f_{10}) → T_{28}
Segment(S_{28}, T_{28}) → k_{97}
Segment(T_{28}, Q_{28}) → l_{97}
Segment(N_{28}, U_{28}) → m_{97}
Segment(U_{28}, V_{28}) → n_{97}
Segment(V_{28}, W_{28}) → p_{97}
Segment(W_{28}, N_{28}) → q_{97}
Segment(S_{25}, V_{28}) → r_{97}
Segment(Z_{28}, S_{25}) → s_{97}
Intersect(g_2, g_7) → A_{29}
Segment(A_{29}, Z_{28}) → t_{97}
Segment(A_{29}, B_{29}) → a_{98}
Segment(B_{29}, C_{29}) → b_{98}
Segment(C_{29}, S_{28}) → c_{98}
Segment(Z_{28}, D_{29}) → d_{98}
Segment(D_{29}, E_{29}) → e_{98}
Segment(E_{29}, C_{27}) → f_{98}
Segment(E_{29}, F_{29}) → g_{98}
Segment(F_{29}, Z_{28}) → h_{98}
Segment(L_{28}, E_{29}) → i_{98}
Segment(A_{29}, V_{28}) → j_{98}
Segment(G_{29}, A_{29}) → k_{98}
Segment(H_{29}, B_{29}) → l_{98}
Segment(H_{29}, S_{28}) → m_{98}
Segment(I_{29}, B_{29}) → n_{98}
Intersect(g_2, f_{10}) → J_{29}
Segment(J_{29}, G_{29}) → p_{98}
Segment(G_{29}, K_{29}) → q_{98}
Segment(K_{29}, L_{29}) → r_{98}
Segment(L_{29}, L_{28}) → s_{98}
Segment(L_{29}, M_{29}) → t_{98}
Segment(M_{29}, G_{29}) → a_{99}
Segment(L_{28}, N_{29}) → b_{99}
Intersect(m_2, f_{10}) → O_{29}
Segment(N_{29}, O_{29}) → c_{99}
Segment(O_{29}, P_{29}) → d_{99}
Segment(Q_{29}, I_{29}) → f_{99}
Segment(I_{29}, R_{29}) → g_{99}
Segment(R_{29}, P_{29}) → h_{99}
Segment(L_{29}, O_{29}) → i_{99}
Segment(O_{29}, S_{29}) → j_{99}
Intersect(m_2, h_{26}) → T_{29}
Segment(S_{29}, T_{29}) → k_{99}
Segment(T_{29}, P_{29}) → l_{99}
Segment(N_{29}, U_{29}) → m_{99}
Segment(U_{29}, V_{29}) → n_{99}
Segment(V_{29}, W_{29}) → p_{99}
Segment(W_{29}, N_{29}) → q_{99}
Segment(V_{29}, H_{28}) → r_{99}
Intersect(f_3, f_{10}) → Z_{29}
Segment(V_{29}, Z_{29}) → s_{99}
Segment(S_{29}, A_{30}) → t_{99}
Segment(A_{30}, B_{30}) → a_{100}
Segment(B_{30}, Z_{29}) → b_{100}
Segment(Z_{29}, C_{30}) → c_{100}
Segment(C_{30}, H_{28}) → d_{100}
Segment(C_{30}, D_{30}) → e_{100}
Segment(D_{30}, E_{30}) → f_{100}
Segment(E_{30}, M_{28}) → g_{100}
Segment(E_{30}, F_{30}) → h_{100}
Segment(F_{30}, C_{30}) → i_{100}
Intersect(r_6, f_{10}) → G_{30}
Segment(G_{30}, E_{30}) → j_{100}
Segment(H_{30}, Z_{29}) → k_{100}
Segment(B_{30}, I_{30}) → l_{100}
Segment(I_{30}, S_{29}) → m_{100}
Intersect(f_3, h_{26}) → J_{30}
Segment(B_{30}, J_{30}) → n_{100}
Segment(J_{30}, H_{30}) → p_{100}
Segment(H_{30}, K_{30}) → q_{100}
Segment(K_{30}, L_{30}) → r_{100}
Segment(L_{30}, G_{30}) → s_{100}
Intersect(r_6, h_{26}) → M_{30}
Segment(L_{30}, M_{30}) → t_{100}
Segment(L_{30}, N_{30}) → a_{101}
Segment(N_{30}, H_{30}) → b_{101}
Segment(Q_{28}, W_{23}) → l_{61}
Segment(R_{28}, V_{23}) → s_{61}
Segment(U_{23}, N_{23}) → k_{63}
Segment(Z_{23}, Q_{23}) → n_{66}
Segment(C_{29}, N_{28}) → m_{67}
Segment(B_{29}, W_{28}) → a_{73}
Segment(U_{28}, S_{23}) → k_{73}
Segment(V_{28}, V_{25}) → k_{74}
Segment(D_{29}, R_{25}) → k_{75}
Segment(E_{29}, B_{27}) → d_{76}
Segment(Z_{26}, I_{26}) → k_{76}
Segment(K_{29}, Z_{28}) → h_{79}
Segment(V_{24}, D_{23}) → i_{79}
Segment(U_{24}, E_{23}) → k_{79}
Segment(B_{23}, T_{22}) → h_{80}
Segment(H_{24}, H_{22}) → i_{80}
Segment(G_{24}, G_{22}) → k_{80}
Segment(P_{22}, P_{21}) → l_{80}
Segment(F_{22}, Q_{21}) → n_{80}
Segment(N_{22}, T_{21}) → r_{80}
Segment(J_{22}, U_{21}) → c_{81}
Segment(M_{24}, K_{22}) → e_{81}
Segment(L_{24}, M_{22}) → h_{81}
Segment(F_{23}, R_{22}) → i_{81}
Segment(L_{29}, F_{29}) → k_{81}
Segment(P_{29}, Q_{29}) → l_{81}
Segment(Q_{29}, G_{29}) → m_{81}
Segment(P_{29}, M_{29}) → r_{81}
Segment(A_{30}, N_{29}) → b_{82}
Segment(J_{28}, U_{29}) → c_{82}
Segment(K_{28}, V_{29}) → e_{82}
Segment(B_{30}, W_{29}) → h_{82}
Segment(D_{30}, C_{28}) → n_{82}
Segment(K_{30}, C_{30}) → r_{82}
Segment(L_{30}, F_{30}) → b_{83}
Segment(E_{30}, F_{28}) → p_{83}
Segment(E_{28}, A_{28}) → q_{83}
Segment(D_{28}, G_{27}) → r_{83}
Segment(W_{27}, T_{27}) → b_{84}
Segment(T_{27}, F_{20}) → e_{84}
Segment(F_{20}, R_{27}) → f_{84}
Segment(Z_{27}, S_{26}) → i_{84}
Segment(V_{27}, F_{20}) → m_{84}
Segment(D_{27}, J_{26}) → n_{84}
Segment(E_{27}, U_{26}) → c_{87}
Segment(I_{28}, V_{26}) → e_{87}
Segment(G_{28}, H_{27}) → f_{87}
Segment(U_{25}, O_{25}) → g_{87}
Segment(P_{23}, M_{21}) → h_{87}
Segment(A_{27}, A_{26}) → i_{87}
Segment(O_{23}, L_{21}) → k_{87}
Segment(S_{22}, T_{20}) → l_{87}
Segment(T_{25}, P_{25}) → i_{90}
Segment(Q_{22}, S_{20}) → j_{90}
Intersect(d, b_{87}) → G_{20}
Segment(T_{21}, G_{20}) → k_{90}
Segment(R_{21}, M_{20}) → l_{90}
Segment(M_{20}, O_{20}) → m_{90}
Segment(M_{20}, P_{20}) → n_{90}
Segment(P_{20}, W_{20}) → p_{90}
Segment(W_{20}, O_{20}) → q_{90}
Segment(C_{22}, O_{20}) → r_{90}
Segment(G_{20}, P_{20}) → s_{90}
Segment(R_{21}, G_{20}) → t_{90}
Segment(V_{21}, A_{21}) → a_{91}
Segment(A_{21}, B_{21}) → b_{91}
Segment(B_{21}, D_{21}) → c_{91}
Segment(D_{21}, E_{21}) → d_{91}
Segment(E_{21}, A_{21}) → e_{91}
Segment(S_{21}, B_{21}) → c_{92}
Segment(G_{20}, B_{21}) → d_{92}
Segment(B_{22}, E_{21}) → e_{92}
Segment(V_{20}, O_{20}) → g_{92}
Intersect(c, m) → F_{21}
Segment(E_{21}, F_{21}) → h_{92}
Segment(W_{22}, B_{20}) → i_{92}
Segment(S_{20}, F_{21}) → j_{92}
Intersect(c, d) → J_{21}
Segment(P_{20}, J_{21}) → k_{92}
Segment(O_{20}, R_{20}) → l_{92}
Segment(B_{21}, J_{21}) → m_{92}
Segment(S_{20}, F_{21}) → e_{93}
Segment(P_{20}, K_{21}) → f_{93}
Segment(E_{21}, W_{21}) → g_{93}
Segment(W_{22}, Z_{21}) → h_{93}
Segment(N_{21}, A_{22}) → i_{93}
Segment(M_{25}, G_{23}) → j_{93}
Segment(H_{26}, H_{23}) → k_{93}
Segment(L_{26}, J_{23}) → l_{93}
Segment(F_{20}, K_{23}) → q_{94}
Segment(K_{21}, G_{25}) → r_{94}
Segment(K_{21}, I_{25}) → a_{95}
Segment(J_{21}, I_{25}) → b_{95}
Segment(W_{20}, G_{25}) → c_{95}
Segment(G_{25}, C_{25}) → d_{95}
Segment(I_{25}, B_{25}) → h_{95}
Segment(W_{21}, W_{25}) → i_{95}
Segment(B_{26}, W_{21}) → m_{95}
Segment(F_{21}, B_{26}) → e_{99}
Segment(D_{21}, W_{25}) → c_{101}
Segment(W_{25}, B_{25}) → d_{101}
Segment(J_{21}, W_{25}) → e_{101}
Segment(B_{26}, D_{25}) → f_{101}
Segment(Z_{21}, D_{26}) → g_{101}
Segment(P_{26}, Z_{21}) → j_{101}
Segment(V_{22}, D_{26}) → k_{101}
Segment(D_{26}, D_{25}) → l_{101}
Segment(P_{26}, B_{20}) → m_{101}
Segment(P_{26}, E_{25}) → n_{101}
Point(a) → Q_{26}
Point(a) → R_{26}
Point(a) → K_{27}
Segment(K_{27}, N_{26}) → r_{101}
Segment(R_{20}, G_{25}) → s_{101}
Segment(A_{22}, M_{27}) → t_{101}
Segment(S_{27}, A_{22}) → c_{102}
Segment(E_{20}, S_{27}) → d_{102}
Segment(M_{23}, M_{27}) → e_{102}
Segment(B_{20}, M_{27}) → f_{102}
Segment(E_{25}, M_{27}) → g_{102}
Segment(S_{27}, F_{25}) → h_{102}
Point(a) → O_{30}
Segment(G_{23}, P_{30}) → j_{102}
Segment(R_{30}, G_{23}) → m_{102}
Segment(N_{25}, P_{30}) → n_{102}
Segment(P_{30}, E_{20}) → p_{102}
Segment(P_{30}, F_{25}) → q_{102}
Segment(R_{30}, L_{25}) → r_{102}
Segment(R_{30}, K_{25}) → s_{102}
Segment(S_{30}, H_{23}) → t_{102}
Segment(H_{23}, T_{30}) → a_{103}
Segment(S_{30}, G_{26}) → d_{103}
Segment(K_{25}, S_{30}) → e_{103}
Segment(T_{30}, E_{26}) → f_{103}
Segment(T_{30}, C_{26}) → g_{103}
Segment(J_{23}, V_{30}) → h_{103}
Segment(Z_{30}, J_{23}) → k_{103}
Segment(K_{26}, V_{30}) → l_{103}
Segment(V_{30}, C_{26}) → m_{103}
Segment(E_{26}, V_{30}) → n_{103}
Segment(M_{26}, Z_{30}) → p_{103}
Segment(Z_{30}, O_{26}) → q_{103}
Segment(K_{23}, A_{31}) → r_{103}
Segment(C_{31}, K_{23}) → a_{104}
Segment(N_{27}, C_{31}) → b_{104}
Segment(N_{27}, F_{20}) → c_{104}
Segment(R_{27}, A_{31}) → d_{104}
Segment(A_{31}, M_{26}) → e_{104}
Segment(A_{31}, O_{26}) → f_{104}
Segment(C_{31}, D_{31}) → g_{104}
Segment(E_{31}, F_{31}) → h_{104}
Segment(F_{31}, G_{31}) → i_{104}
Segment(G_{31}, H_{31}) → j_{104}
Segment(H_{31}, E_{31}) → k_{104}
Segment(G_{31}, S_{28}) → l_{104}
Segment(F_{31}, T_{28}) → m_{104}
Segment(H_{31}, H_{29}) → n_{104}
Segment(H_{31}, J_{29}) → p_{104}
Segment(I_{31}, J_{31}) → q_{104}
Segment(J_{31}, K_{31}) → r_{104}
Segment(I_{31}, L_{31}) → s_{104}
Segment(L_{31}, K_{31}) → t_{104}
Segment(J_{31}, Z_{24}) → a_{105}
Segment(K_{31}, W_{24}) → b_{105}
Segment(L_{31}, P_{28}) → c_{105}
Segment(L_{31}, T_{28}) → d_{105}
Segment(M_{31}, N_{31}) → e_{105}
Segment(N_{31}, O_{31}) → f_{105}
Segment(O_{31}, P_{31}) → g_{105}
Segment(P_{31}, M_{31}) → h_{105}
Segment(O_{31}, R_{24}) → i_{105}
Segment(N_{31}, Q_{31}) → j_{105}
Segment(P_{31}, A_{25}) → k_{105}
Segment(P_{31}, Z_{24}) → l_{105}
Segment(R_{31}, S_{31}) → m_{105}
Segment(S_{31}, T_{31}) → n_{105}
Segment(T_{31}, U_{31}) → p_{105}
Segment(U_{31}, R_{31}) → q_{105}
Segment(T_{31}, C_{24}) → r_{105}
Segment(S_{31}, D_{24}) → s_{105}
Segment(U_{31}, N_{24}) → t_{105}
Segment(U_{31}, Q_{31}) → a_{106}
Segment(M_{24}, Q_{31}) → b_{106}
Segment(V_{31}, W_{31}) → c_{106}
Segment(W_{31}, Z_{31}) → d_{106}
Segment(Z_{31}, A_{32}) → e_{106}
Segment(A_{32}, V_{31}) → f_{106}
Segment(A_{32}, D_{24}) → g_{106}
Segment(Z_{31}, I_{24}) → h_{106}
Segment(W_{31}, K_{24}) → i_{106}
Segment(A_{32}, J_{24}) → j_{106}
Segment(C_{32}, D_{32}) → l_{106}
Segment(D_{32}, E_{32}) → m_{106}
Segment(C_{32}, J_{30}) → p_{106}
Segment(D_{32}, H_{30}) → q_{106}
Segment(E_{32}, N_{30}) → r_{106}
Segment(E_{32}, M_{30}) → s_{106}
Segment(G_{32}, H_{32}) → a_{107}
Segment(H_{32}, I_{32}) → b_{107}
Point(g_{91}) → J_{32}
Segment(H_{32}, S_{29}) → d_{107}
Segment(G_{32}, T_{29}) → e_{107}
Segment(I_{32}, I_{30}) → f_{107}
Segment(L_{32}, M_{32}) → h_{107}
Segment(M_{32}, N_{32}) → i_{107}
Segment(M_{32}, I_{29}) → k_{107}
Segment(N_{32}, R_{29}) → l_{107}
Segment(N_{32}, T_{29}) → m_{107}
Intersect(g_2, h_{26}) → O_{32}
Segment(L_{32}, O_{32}) → n_{107}
Segment(O_{32}, H_{31}) → p_{107}
Segment(O_{32}, I_{29}) → q_{107}
Segment(Q_{32}, R_{32}) → s_{107}
Segment(R_{32}, S_{32}) → t_{107}
Segment(R_{32}, F_{31}) → b_{108}
Segment(S_{32}, E_{31}) → c_{108}
Segment(S_{32}, O_{32}) → d_{108}
Intersect(c_2, h_{26}) → T_{32}
Segment(Q_{32}, T_{32}) → e_{108}
Segment(T_{32}, L_{31}) → f_{108}
Segment(V_{32}, W_{32}) → h_{108}
Segment(W_{32}, Z_{32}) → i_{108}
Segment(W_{32}, J_{31}) → k_{108}
Segment(Z_{32}, I_{31}) → l_{108}
Segment(Z_{32}, T_{32}) → m_{108}
Segment(T_{32}, F_{31}) → n_{108}
Segment(B_{33}, C_{33}) → q_{108}
Segment(C_{33}, D_{33}) → r_{108}
Segment(D_{33}, J_{31}) → t_{108}
Segment(D_{33}, M_{31}) → a_{109}
Segment(C_{33}, N_{31}) → b_{109}
Segment(U_{31}, B_{33}) → c_{109}
Intersect(t, h_{26}) → E_{33}
Segment(E_{33}, P_{31}) → d_{109}
Intersect(m, h_{26}) → F_{33}
Segment(F_{33}, N_{31}) → e_{109}
Segment(H_{33}, I_{33}) → g_{109}
Segment(I_{33}, J_{33}) → h_{109}
Segment(J_{33}, F_{33}) → j_{109}
Segment(J_{33}, R_{31}) → k_{109}
Segment(I_{33}, S_{31}) → l_{109}
Intersect(d, h_{26}) → K_{33}
Segment(H_{33}, K_{33}) → m_{109}
Segment(K_{33}, A_{32}) → n_{109}
Segment(K_{33}, S_{31}) → p_{109}
Intersect(b, h_{26}) → L_{33}
Segment(L_{33}, W_{31}) → q_{109}
Segment(N_{33}, O_{33}) → s_{109}
Segment(O_{33}, P_{33}) → t_{109}
Segment(P_{33}, M_{33}) → a_{110}
Segment(V_{31}, P_{33}) → b_{110}
Segment(P_{33}, K_{33}) → c_{110}
Segment(O_{33}, W_{31}) → d_{110}
Segment(N_{33}, L_{33}) → e_{110}
Segment(V_{32}, E_{33}) → f_{110}
Polygon(A_{24}, I_{24}, H_{24}, G_{24}, B_{24}, M_{22}, N_{22}, T_{21}, G_{22}, H_{22}) → poly183, a_{111}, h_{111}, i_{110}, h_{110}, g_{110}, b_{111}, m_{110}, n_{110}, t_{110}, g_{111}
Segment(A_{24}, I_{24}) → j_{110}
Segment(H_{24}, H_{22}) → k_{110}
Segment(G_{24}, G_{22}) → l_{110}
Segment(B_{24}, F_{22}) → p_{110}
Segment(M_{22}, E_{22}) → q_{110}
Segment(N_{22}, T_{21}) → r_{110}
Polygon(T_{21}, N_{22}, J_{22}, Q_{22}, S_{20}, U_{21}) → poly184, t_{111}, n_{111}, j_{111}, q_{111}, s_{110}, u_{46}
Polygon(S_{20}, Q_{22}, S_{22}, T_{20}) → poly185, s_{111}, q_{112}, s_{112}, t_{112}
Polygon(S_{22}, M_{23}, M_{27}, T_{20}) → poly243, s_{113}, m_{111}, m_{112}, t_{113}
Polygon(M_{27}, M_{23}, N_{21}, A_{22}) → poly244, m_{113}, m_{114}, n_{112}, a_{112}
Point(a) → R_{33}
Polygon(W_{31}, K_{24}, I_{24}, Z_{31}) → poly269, w_{48}, k_{111}, i_{111}, z_{24}
Polygon(Z_{31}, A_{32}, L_{24}, M_{22}, J_{24}, I_{24}) → poly339, z_{47}, a_{114}, l_{111}, m_{115}, j_{112}, i_{112}
Polygon(M_{22}, L_{24}, M_{24}, F_{23}, R_{22}, K_{22}) → poly340, m_{116}, l_{112}, m_{117}, f_{112}, r_{112}, k_{112}
Point(a) → S_{33}
Polygon(L_{33}, N_{33}, D_{23}, E_{23}, N_{24}, C_{24}, V_{31}, W_{31}, O_{33}, P_{33}, T_{31}, U_{31}, U_{24}, V_{24}, U_{23}, N_{23}) → poly342, l_{114}, n_{116}, d_{111}, e_{111}, n_{117}, c_{111}, v_{57}, w_{49}, n_{115}, o_{26}, p_{114}, t_{115}, u_{48}, u_{49}, v_{56}, u_{50}
Point(a) → T_{33}
Intersect(d, i_{26}) → U_{33}
Intersect(d, h_{26}) → V_{33}
Polygon(P_{33}, U_{33}, H_{33}, V_{33}) → poly344, p_{116}, u_{53}, h_{114}, v_{58}
Polygon(H_{33}, I_{33}, S_{31}, V_{33}) → poly345, h_{115}, i_{113}, s_{117}, v_{59}
Polygon(S_{31}, I_{33}, V_{23}, A_{25}, R_{24}, R_{31}, J_{33}, O_{31}, P_{31}, R_{28}, Q_{28}, U_{28}, S_{23}, W_{23}) → poly346, s_{118}, w_{51}, v_{60}, a_{115}, r_{115}, r_{116}, i_{114}, j_{114}, o_{38}, p_{117}, r_{114}, q_{115}, u_{54}, s_{119}
Segment(J_{22}, U_{21}) → d_{112}
Point(a) → W_{33}
Intersect(m, i_{26}) → Z_{33}
Polygon(F_{33}, B_{33}, Z_{33}, J_{33}) → poly348, f_{114}, b_{114}, z_{50}, j_{116}
Polygon(F_{33}, B_{33}, W_{28}, N_{28}, P_{28}, W_{24}, M_{31}, N_{31}, C_{33}, D_{33}, K_{31}, L_{31}, C_{29}, B_{29}, D_{29}, R_{25}) → poly349, f_{115}, r_{117}, w_{53}, n_{119}, p_{118}, w_{54}, m_{119}, n_{120}, b_{115}, c_{113}, d_{113}, k_{115}, l_{116}, c_{114}, b_{116}, d_{114}
Polygon(R_{25}, D_{29}, A_{31}, U_{26}, J_{26}, B_{27}, E_{29}, D_{27}, E_{27}, R_{27}, F_{20}, N_{27}, D_{31}, K_{23}) → poly350, r_{118}, k_{116}, a_{118}, u_{56}, j_{117}, b_{117}, d_{115}, e_{112}, d_{116}, e_{113}, r_{119}, f_{116}, n_{121}, d_{117}
Polygon(E_{33}, V_{32}, W_{32}, A_{34}, D_{33}) → poly351, e_{114}, v_{64}, w_{55}, a_{119}, d_{118}
Polygon(V_{32}, A_{34}, D_{33}, E_{33}) → poly352, v_{65}, a_{120}, d_{119}, e_{115}
Polygon(E_{33}, V_{32}, F_{29}, Z_{28}, H_{29}, S_{28}, I_{31}, J_{31}, W_{32}, Z_{32}, G_{31}, H_{31}, K_{29}, L_{29}, I_{28}, V_{26}) → poly353, e_{116}, v_{67}, f_{117}, z_{52}, h_{117}, s_{121}, i_{117}, j_{118}, v_{66}, w_{56}, z_{51}, g_{114}, h_{116}, k_{117}, l_{117}, i_{116}
Polygon(V_{26}, I_{28}, H_{27}, G_{28}, Z_{27}, W_{27}, P_{27}, N_{27}, T_{27}, S_{26}, E_{27}) → poly354, v_{68}, e_{117}, h_{118}, i_{118}, g_{115}, z_{53}, w_{57}, p_{119}, n_{122}, t_{118}, s_{122}
Polygon(T_{32}, Q_{32}, K_{28}, J_{28}, M_{29}, G_{29}, E_{31}, F_{31}, R_{32}, S_{32}, Q_{29}, P_{29}, U_{29}, V_{29}, D_{28}, G_{27}) → poly355, t_{119}, g_{116}, k_{118}, j_{119}, m_{120}, g_{117}, e_{118}, f_{118}, q_{116}, r_{120}, s_{123}, q_{117}, p_{120}, u_{57}, v_{69}, d_{120}
Polygon(G_{27}, D_{28}, E_{28}, U_{27}, V_{27}, A_{28}) → poly356, g_{118}, d_{121}, e_{119}, u_{58}, v_{70}, a_{121}
Point(n_{95}) → B_{34}
Polygon(B_{34}, A_{28}, G_{27}, D_{28}, E_{28}, B_{28}, U_{27}) → poly357, b_{118}, a_{122}, g_{119}, d_{122}, e_{120}, b_{119}, u_{59}
Polygon(S_{32}, C_{34}, L_{32}, O_{32}) → poly358, s_{124}, c_{115}, l_{118}, o_{40}
Polygon(O_{32}, L_{32}, F_{28}, C_{28}, W_{29}, N_{29}, R_{29}, I_{29}, M_{32}, N_{32}, A_{30}, B_{30}, D_{30}, E_{30}, M_{28}, E_{28}) → poly359, o_{41}, e_{122}, f_{119}, c_{116}, w_{58}, n_{124}, r_{121}, i_{119}, l_{119}, m_{121}, n_{123}, a_{123}, b_{120}, d_{123}, e_{121}, m_{122}
Segment(F_{21}, D_{26}) → c_{117}
Polygon(D_{22}, H_{22}, A_{21}, B_{21}, Q_{21}, P_{21}, P_{22}, F_{22}, E_{22}, T_{21}, S_{21}, V_{21}, V_{22}, D_{26}) → poly360, d_{124}, d_{125}, a_{124}, b_{121}, q_{118}, p_{122}, h_{119}, p_{121}, f_{120}, e_{123}, t_{120}, s_{125}, v_{71}, v_{72}
Polygon(V_{20}, P_{21}, W_{25}, M_{20}, O_{20}, C_{22}, R_{21}, D_{21}, E_{21}, N_{26}, K_{27}, D_{25}, W_{21}) → poly362, v_{74}, w_{60}, w_{61}, m_{123}, o_{44}, p_{123}, c_{118}, r_{122}, d_{127}, e_{125}, n_{125}, k_{119}, d_{128}
Polygon(N_{32}, D_{34}, G_{32}, T_{29}) → poly364, n_{126}, d_{129}, g_{121}, t_{121}
Polygon(T_{29}, G_{32}, I_{30}, S_{29}, H_{32}, I_{32}, K_{30}, L_{30}, G_{30}, E_{30}, F_{30}, C_{30}) → poly365, t_{122}, c_{119}, i_{121}, s_{126}, g_{122}, h_{120}, i_{120}, k_{121}, l_{120}, g_{123}, e_{126}, f_{121}
Intersect(n_{100}, p_{100}) → F_{34}
Polygon(I_{32}, E_{34}, C_{32}, F_{34}) → poly366, i_{122}, e_{127}, c_{120}, f_{122}
Polygon(C_{32}, D_{32}, E_{32}, M_{30}, L_{30}, N_{30}, H_{30}, F_{34}) → poly367, c_{121}, d_{130}, e_{128}, m_{124}, l_{121}, n_{127}, h_{121}, f_{123}
Polygon(R_{25}, D_{29}, A_{31}, U_{26}, J_{26}, B_{27}, E_{29}, D_{27}, E_{27}, R_{27}, F_{20}, N_{27}, C_{31}, K_{23}) → poly368, r_{125}, k_{122}, a_{125}, u_{60}, j_{120}, b_{123}, d_{131}, e_{129}, d_{132}, e_{130}, r_{126}, f_{124}, n_{128}, c_{122}
Point(f_{104}) → G_{34}
Segment(Z_{30}, G_{34}) → q_{119}
Polygon(S_{23}, U_{28}, V_{30}, I_{26}, A_{26}, V_{25}, V_{28}, A_{27}, Z_{26}, K_{26}, L_{26}, A_{31}, G_{34}, J_{23}) → poly369, s_{127}, j_{121}, v_{76}, i_{123}, a_{128}, v_{77}, u_{61}, v_{75}, a_{126}, z_{56}, k_{123}, l_{122}, a_{127}, g_{124}
Segment(Q_{23}, N_{23}) → q_{120}
Polygon(N_{23}, U_{23}, S_{30}, P_{25}, O_{25}, Q_{23}, Z_{23}, U_{25}, T_{25}, G_{26}, H_{26}, V_{30}, C_{26}, H_{23}) → poly370, n_{129}, h_{123}, s_{128}, p_{125}, o_{46}, q_{121}, u_{62}, z_{57}, u_{63}, t_{123}, g_{125}, h_{122}, v_{78}, c_{123}
Segment(T_{22}, S_{22}) → j_{122}
Polygon(R_{22}, F_{23}, P_{30}, M_{21}, L_{21}, T_{22}, B_{23}, O_{23}, P_{23}, N_{25}, J_{32}, S_{30}, K_{25}, G_{23}) → poly371, r_{127}, g_{126}, p_{127}, m_{125}, l_{123}, t_{124}, f_{125}, b_{124}, o_{47}, p_{126}, n_{130}, j_{123}, s_{129}, k_{124}
Polygon(A_{22}, N_{21}, P_{30}, F_{25}) → poly372, a_{129}, n_{131}, p_{128}, f_{126}
Polygon(D_{26}, V_{22}, W_{22}, M_{27}, E_{25}, Z_{21}) → poly373, d_{133}, v_{79}, w_{63}, m_{126}, e_{131}, z_{58}
Polygon(V_{20}, P_{21}, M_{20}, O_{20}, C_{22}, R_{21}, D_{21}, E_{21}, D_{26}, D_{25}, W_{21}, W_{25}) → poly374, v_{80}, w_{65}, m_{127}, o_{48}, p_{129}, c_{124}, r_{128}, d_{134}, e_{132}, d_{135}, d_{136}, w_{64}
Polygon(R_{20}, O_{20}, W_{20}, P_{20}, W_{25}, B_{25}, K_{21}, G_{25}) → poly375, r_{129}, o_{49}, w_{66}, p_{130}, w_{67}, b_{125}, k_{125}, g_{127}
Polygon(H_{25}, Z_{25}, O_{27}, Q_{30}, U_{30}, W_{30}, B_{31}, B_{32}) → poly268, h_{101}, z_{48}, o_{27}, q_{101}, u_{47}, w_{50}, b_{102}, b_{103}
Polygon(F_{32}, K_{32}, U_{30}, L_{34}, Z_{25}, P_{32}, U_{32}, A_{33}, G_{33}, H_{34}, I_{34}, J_{34}, K_{34}) → poly341, f_{109}, k_{106}, u_{52}, l_{95}, z_{49}, k_{102}, p_{101}, u_{51}, a_{102}, g_{107}, h_{112}, i_{101}, j_{95}
Polygon(M_{34}, N_{34}, W_{34}, Z_{34}, I_{34}, A_{35}, A_{33}, B_{35}, K_{32}, O_{34}, P_{34}, Q_{34}, R_{34}, S_{34}, T_{34}, U_{34}, V_{34}) → poly343, m_{118}, v_{61}, w_{52}, z_{54}, i_{102}, a_{108}, a_{113}, b_{112}, k_{113}, n_{106}, o_{24}, p_{108}, q_{113}, r_{107}, s_{94}, t_{94}, u_{55}
Point(p_{108}) → R_{35}
Polygon(C_{35}, D_{35}, M_{35}, N_{35}, O_{35}, V_{34}, P_{35}, S_{34}, Q_{35}, R_{35}, S_{35}, N_{34}, E_{35}, F_{35}, G_{35}, H_{35}, I_{35}, J_{35}, K_{35}, L_{35}) → poly347, c_{103}, l_{102}, m_{128}, n_{113}, o_{39}, v_{62}, p_{111}, s_{103}, q_{114}, r_{109}, s_{108}, d_{126}, n_{114}, e_{124}, f_{111}, g_{108}, h_{113}, i_{103}, j_{103}, k_{114}
Point(j_{103}) → L_{36}
Point(h_{113}) → N_{36}
Point(f_{111}) → P_{36}
Polygon(T_{35}, U_{35}, F_{36}, G_{36}, H_{36}, I_{36}, J_{36}, M_{35}, K_{36}, L_{36}, J_{35}, M_{36}, V_{35}, N_{36}, H_{35}, O_{36}, P_{36}, Q_{36}, D_{35}, W_{35}, Z_{35}, A_{36}, B_{36}, C_{36}, D_{36}, E_{36}) → poly361, t_{103}, e_{133}, f_{113}, g_{112}, h_{124}, i_{109}, j_{107}, m_{129}, k_{120}, l_{113}, j_{108}, u_{64}, m_{130}, n_{118}, h_{125}, o_{42}, p_{112}, q_{122}, d_{138}, v_{63}, w_{59}, z_{55}, a_{116}, b_{113}, c_{107}, d_{137}
Point(e_{133}) → L_{37}
Point(c_{107}) → N_{37}
Point(a_{116}) → P_{37}
Point(w_{59}) → R_{37}
Polygon(R_{36}, S_{36}, D_{37}, E_{37}, F_{37}, G_{37}, H_{37}, I_{37}, J_{37}, H_{36}, K_{37}, L_{37}, T_{36}, M_{37}, N_{37}, O_{37}, P_{37}, Q_{37}, R_{37}, S_{37}, U_{35}, U_{36}, V_{36}, W_{36}, Z_{36}, A_{37}, B_{37}, C_{37}) → poly363, r_{111}, c_{112}, d_{139}, e_{134}, f_{127}, g_{113}, h_{126}, i_{115}, j_{113}, h_{127}, k_{126}, s_{114}, l_{115}, m_{131}, n_{132}, o_{43}, p_{113}, q_{123}, r_{113}, s_{115}, u_{66}, t_{106}, u_{65}, v_{73}, w_{62}, z_{59}, a_{117}, b_{122}
Point(u_{65}) → T_{37}
Point(e_{134}) → N_{38}
Point(c_{112}) → P_{38}
Point(a_{117}) → R_{38}
Point(w_{62}) → T_{38}
Point(u_{65}) → V_{38}
Polygon(T_{37}, U_{37}, F_{38}, G_{38}, H_{38}, I_{38}, J_{38}, K_{38}, L_{38}, H_{37}, G_{37}, M_{38}, V_{37}, N_{38}, O_{38}, P_{38}, Q_{38}, R_{38}, S_{38}, T_{38}, U_{38}, V_{38}, W_{37}, Z_{37}, A_{38}, B_{38}, C_{38}, D_{38}, E_{38}) → poly376, t_{114}, e_{135}, f_{128}, g_{120}, h_{128}, i_{124}, j_{115}, k_{127}, l_{124}, h_{129}, g_{128}, u_{67}, m_{132}, n_{133}, o_{45}, p_{115}, q_{124}, r_{123}, s_{116}, t_{116}, u_{68}, v_{82}, v_{81}, w_{68}, z_{60}, a_{130}, b_{126}, c_{125}, d_{140}
Point(w_{68}) → W_{38}
Point(g_{120}) → Q_{39}
Point(c_{125}) → U_{39}
Point(a_{130}) → W_{39}
Point(w_{68}) → A_{40}
Polygon(W_{38}, Z_{38}, I_{39}, J_{39}, K_{39}, L_{39}, M_{39}, N_{39}, O_{39}, J_{38}, P_{39}, Q_{39}, A_{39}, R_{39}, S_{39}, T_{39}, U_{39}, V_{39}, W_{39}, Z_{39}, A_{40}, B_{39}, C_{39}, D_{39}, E_{39}, F_{39}, G_{39}, H_{39}) → poly377, w_{69}, h_{130}, i_{125}, j_{124}, k_{128}, l_{125}, m_{133}, n_{134}, o_{50}, j_{125}, p_{124}, z_{61}, q_{125}, r_{124}, s_{120}, t_{117}, u_{69}, v_{83}, w_{70}, z_{62}, a_{132}, a_{131}, b_{127}, c_{126}, d_{141}, e_{136}, f_{129}, g_{129}
Point(b_{127}) → B_{40}
Point(j_{124}) → P_{40}
Point(b_{127}) → Z_{40}
Polygon(B_{40}, C_{40}, L_{40}, M_{40}, N_{40}, M_{39}, O_{40}, P_{40}, Q_{40}, R_{40}, S_{40}, T_{40}, D_{40}, U_{40}, V_{40}, D_{39}, W_{40}, Z_{40}, E_{40}, F_{40}, G_{40}, H_{40}, I_{40}, J_{40}, K_{40}) → poly378, b_{128}, k_{129}, l_{126}, m_{134}, n_{135}, m_{135}, o_{51}, p_{131}, q_{126}, r_{130}, s_{130}, c_{127}, t_{125}, u_{70}, v_{84}, d_{143}, w_{71}, z_{63}, d_{142}, e_{137}, f_{130}, g_{130}, h_{131}, i_{126}, j_{126}
Point(e_{137}) → A_{41}
Point(m_{134}) → L_{41}
Point(k_{129}) → N_{41}
Point(i_{126}) → P_{41}
Point(e_{137}) → T_{41}
Polygon(A_{41}, B_{41}, K_{41}, L_{41}, M_{41}, N_{41}, O_{41}, P_{41}, Q_{41}, R_{41}, S_{41}, T_{41}, C_{41}, D_{41}, E_{41}, F_{41}, G_{41}, H_{41}, I_{41}, J_{41}) → poly379, a_{133}, j_{127}, k_{130}, l_{127}, m_{136}, n_{136}, o_{52}, p_{132}, q_{127}, r_{131}, s_{131}, b_{129}, t_{126}, c_{128}, d_{144}, e_{138}, f_{131}, g_{131}, h_{132}, i_{127}
Point(d_{144}) → U_{41}
Point(d_{144}) → V_{41}
Point(f_{131}) → Z_{41}
Point(h_{132}) → B_{42}
Polygon(U_{41}, V_{41}, F_{42}, G_{42}, H_{42}, I_{42}, J_{42}, K_{42}, W_{41}, Z_{41}, A_{42}, B_{42}, C_{42}, J_{41}, D_{42}, E_{42}) → poly380, u_{71}, e_{139}, f_{132}, g_{132}, h_{133}, i_{128}, j_{129}, k_{131}, v_{85}, w_{72}, z_{64}, a_{134}, b_{130}, c_{129}, j_{128}, d_{145}
Point(h_{133}) → L_{42}
Point(f_{132}) → T_{42}
Point(h_{133}) → V_{42}
Polygon(L_{42}, M_{42}, G_{42}, U_{42}, V_{42}, N_{42}, O_{42}, P_{42}, Q_{42}, R_{42}, E_{42}, S_{42}, T_{42}) → poly381, l_{128}, t_{127}, g_{133}, u_{72}, v_{86}, m_{137}, n_{137}, o_{53}, p_{133}, q_{128}, r_{132}, e_{140}, s_{132}
Point(o_{53}) → W_{42}
Point(o_{53}) → E_{43}
Polygon(W_{42}, Z_{42}, A_{43}, B_{43}, C_{43}, Q_{42}, D_{43}, E_{43}) → poly382, w_{73}, z_{65}, a_{135}, b_{131}, c_{130}, q_{129}, d_{146}, e_{141}
Point(m_{115}) → C_{44}
Point(m_{115}) → D_{44}
Polygon(F_{43}, G_{43}, P_{43}, Q_{43}, R_{43}, S_{43}, T_{43}, U_{43}, V_{43}, W_{43}, Z_{43}, A_{44}, H_{43}, B_{44}, C_{44}, D_{44}, E_{44}, I_{43}, J_{43}, K_{43}, L_{43}, M_{43}, N_{43}, O_{43}) → poly383, f_{133}, o_{54}, p_{134}, q_{130}, r_{133}, s_{133}, t_{128}, u_{73}, v_{87}, w_{74}, z_{66}, g_{134}, a_{136}, b_{132}, c_{131}, d_{147}, e_{142}, h_{134}, i_{129}, j_{130}, k_{132}, l_{129}, m_{138}, n_{138}
Segment(S_{44}, T_{44}) → t_{129}
Point(t_{129}) → U_{44}
Segment(V_{44}, W_{44}) → i_{130}
Segment(Z_{44}, A_{45}) → l_{130}
Segment(B_{45}, C_{45}) → t_{130}
Segment(D_{45}, E_{45}) → i_{131}
Segment(F_{45}, G_{45}) → j_{131}
Segment(H_{45}, I_{45}) → l_{131}
Segment(I_{45}, J_{45}) → q_{131}
Segment(J_{45}, K_{45}) → t_{131}
Segment(K_{45}, L_{45}) → c_{132}
Segment(L_{45}, M_{45}) → i_{132}
Segment(M_{45}, N_{45}) → j_{132}
Segment(N_{45}, O_{45}) → l_{132}
Segment(O_{45}, H_{45}) → q_{132}
Segment(P_{45}, Q_{45}) → t_{132}
Segment(Q_{45}, I_{45}) → b_{133}
Segment(I_{45}, R_{45}) → c_{133}
Intersect(t_{129}, l_{132}) → S_{45}
Segment(R_{45}, S_{45}) → i_{133}
Point(t_{129}) → T_{45}
Segment(T_{45}, U_{45}) → j_{133}
Segment(U_{45}, V_{45}) → k_{133}
Segment(V_{45}, P_{45}) → l_{133}
Segment(N_{45}, W_{45}) → q_{133}
Segment(W_{45}, Z_{45}) → t_{133}
Segment(Z_{45}, A_{46}) → b_{134}
Segment(A_{46}, B_{46}) → c_{134}
Segment(B_{46}, C_{46}) → f_{134}
Segment(C_{46}, T_{45}) → i_{134}
Point(i_{130}) → E_{46}
Segment(E_{46}, F_{46}) → j_{134}
Segment(F_{46}, G_{46}) → k_{134}
Segment(G_{46}, H_{46}) → l_{134}
Segment(H_{46}, I_{46}) → q_{134}
Intersect(t_{132}, l_{133}) → J_{46}
Segment(I_{46}, J_{46}) → r_{134}
Segment(J_{46}, K_{46}) → s_{134}
Point(i_{130}) → L_{46}
Segment(K_{46}, L_{46}) → t_{134}
Segment(F_{46}, E_{46}) → b_{135}
Segment(F_{44}, H_{44}) → c_{135}
Segment(H_{44}, M_{46}) → f_{135}
Segment(M_{46}, N_{46}) → g_{135}
Segment(N_{46}, O_{46}) → h_{135}
Segment(O_{46}, P_{46}) → i_{135}
Segment(P_{46}, Q_{46}) → j_{135}
Segment(Q_{46}, R_{46}) → k_{135}
Segment(R_{46}, F_{44}) → l_{135}
Segment(S_{46}, T_{46}) → p_{135}
Segment(T_{46}, U_{46}) → q_{135}
Segment(U_{46}, V_{46}) → r_{135}
Segment(W_{46}, Z_{46}) → s_{135}
Segment(Z_{46}, A_{47}) → t_{135}
Segment(A_{47}, B_{47}) → b_{136}
Segment(B_{47}, S_{46}) → c_{136}
Segment(W_{46}, V_{46}) → f_{136}
Point(l_{134}) → C_{47}
Segment(C_{47}, D_{47}) → g_{136}
Segment(D_{47}, H_{44}) → h_{136}
Segment(H_{44}, E_{47}) → i_{136}
Point(j_{134}) → F_{47}
Point(h_{135}) → G_{47}
Segment(F_{47}, G_{47}) → j_{136}
Segment(N_{46}, E_{47}) → k_{136}
Intersect(j_{134}, k_{134}) → H_{47}
Segment(F_{47}, H_{47}) → l_{136}
Intersect(k_{134}, l_{134}) → I_{47}
Segment(H_{47}, I_{47}) → p_{136}
Segment(I_{47}, C_{47}) → q_{136}
Point(j_{134}) → J_{47}
Point(h_{135}) → K_{47}
Segment(J_{47}, K_{47}) → r_{136}
Segment(K_{47}, S_{46}) → s_{136}
Segment(S_{46}, L_{47}) → t_{136}
Segment(L_{47}, A_{47}) → a_{137}
Point(t_{135}) → N_{47}
Segment(M_{47}, N_{47}) → b_{137}
Segment(N_{47}, A_{47}) → c_{137}
Segment(A_{47}, L_{47}) → f_{137}
Segment(J_{47}, O_{47}) → g_{137}
Segment(O_{47}, P_{47}) → h_{137}
Segment(P_{47}, M_{47}) → i_{137}
Point(t_{135}) → R_{47}
Segment(Q_{47}, R_{47}) → j_{137}
Segment(R_{47}, S_{47}) → k_{137}
Segment(Q_{47}, T_{47}) → l_{137}
Segment(T_{47}, U_{47}) → p_{137}
Segment(U_{47}, V_{47}) → q_{137}
Segment(V_{47}, W_{47}) → r_{137}
Segment(W_{47}, Z_{47}) → s_{137}
Segment(Z_{47}, S_{47}) → t_{137}
Segment(S_{47}, R_{47}) → a_{138}
Segment(A_{48}, B_{48}) → b_{138}
Segment(B_{48}, C_{48}) → c_{138}
Segment(C_{48}, D_{48}) → f_{138}
Segment(A_{48}, C_{47}) → g_{138}
Segment(E_{48}, C_{47}) → h_{138}
Segment(E_{48}, H_{47}) → i_{138}
Segment(D_{48}, F_{48}) → j_{138}
Point(l_{136}) → G_{48}
Segment(F_{48}, G_{48}) → k_{138}
Point(l_{136}) → I_{48}
Segment(H_{48}, I_{48}) → l_{138}
Segment(J_{47}, I_{48}) → p_{138}
Segment(H_{48}, J_{48}) → q_{138}
Segment(K_{48}, J_{48}) → r_{138}
Segment(L_{48}, K_{48}) → s_{138}
Point(i_{137}) → M_{48}
Segment(L_{48}, M_{48}) → t_{138}
Segment(P_{47}, N_{48}) → a_{139}
Segment(N_{48}, J_{47}) → b_{139}
Point(i_{137}) → P_{48}
Segment(O_{48}, P_{48}) → c_{139}
Segment(P_{48}, Q_{47}) → f_{139}
Segment(Q_{48}, O_{48}) → g_{139}
Segment(Q_{48}, R_{48}) → h_{139}
Segment(R_{48}, S_{48}) → i_{139}
Point(q_{137}) → T_{48}
Segment(S_{48}, T_{48}) → j_{139}
Segment(U_{47}, U_{48}) → k_{139}
Segment(U_{48}, Q_{47}) → l_{139}
Segment(P_{47}, M_{47}) → m_{139}
Point(q_{137}) → W_{48}
Segment(V_{48}, W_{48}) → n_{139}
Segment(V_{48}, Z_{48}) → p_{139}
Segment(Z_{48}, A_{49}) → q_{139}
Segment(A_{49}, B_{49}) → r_{139}
Segment(B_{49}, C_{49}) → s_{139}
Segment(C_{49}, D_{49}) → t_{139}
Segment(D_{49}, E_{49}) → a_{140}
Segment(E_{49}, V_{47}) → b_{140}
Segment(M_{47}, T_{47}) → c_{140}
Segment(O_{49}, B_{48}) → f_{140}
Segment(P_{49}, O_{49}) → g_{140}
Segment(P_{49}, Q_{49}) → h_{140}
Segment(Q_{49}, R_{49}) → i_{140}
Segment(R_{49}, S_{49}) → j_{140}
Point(j_{138}) → T_{49}
Segment(S_{49}, T_{49}) → k_{140}
Point(j_{138}) → V_{49}
Segment(U_{49}, V_{49}) → l_{140}
Segment(U_{49}, W_{49}) → m_{140}
Segment(W_{49}, Z_{49}) → n_{140}
Segment(Z_{49}, A_{50}) → p_{140}
Segment(B_{50}, H_{48}) → q_{140}
Segment(B_{50}, K_{48}) → r_{140}
Point(s_{138}) → C_{50}
Segment(A_{50}, C_{50}) → s_{140}
Point(s_{138}) → D_{50}
Segment(D_{50}, E_{50}) → t_{140}
Segment(E_{50}, F_{50}) → a_{141}
Segment(F_{50}, G_{50}) → b_{141}
Segment(G_{50}, H_{50}) → c_{141}
Point(i_{139}) → I_{50}
Segment(H_{50}, I_{50}) → f_{141}
Segment(J_{50}, R_{48}) → g_{141}
Segment(J_{50}, O_{48}) → h_{141}
Segment(F_{48}, H_{48}) → i_{141}
Segment(L_{48}, O_{48}) → j_{141}
Point(i_{139}) → L_{50}
Segment(K_{50}, L_{50}) → k_{141}
Segment(L_{50}, V_{48}) → l_{141}
Segment(V_{48}, M_{50}) → m_{141}
Segment(N_{50}, K_{50}) → n_{141}
Segment(O_{50}, N_{50}) → p_{141}
Segment(P_{50}, K_{50}) → q_{141}
Segment(P_{50}, O_{50}) → r_{141}
Segment(O_{50}, Q_{50}) → s_{141}
Point(r_{139}) → R_{50}
Segment(Q_{50}, R_{50}) → t_{141}
Segment(R_{50}, M_{50}) → a_{142}
Point(r_{139}) → T_{50}
Segment(S_{50}, T_{50}) → b_{142}
Segment(U_{50}, B_{49}) → c_{142}
Segment(V_{50}, S_{50}) → f_{142}
Segment(W_{50}, S_{50}) → g_{142}
Segment(Z_{50}, W_{50}) → h_{142}
Segment(Z_{50}, V_{50}) → i_{142}
Segment(Z_{50}, A_{51}) → j_{142}
Segment(A_{51}, B_{51}) → k_{142}
Segment(B_{51}, C_{51}) → l_{142}
Segment(C_{51}, U_{50}) → m_{142}
Segment(D_{51}, D_{48}) → n_{142}
Segment(D_{51}, B_{48}) → p_{142}
Segment(E_{51}, P_{49}) → q_{142}
Segment(F_{51}, E_{51}) → r_{142}
Segment(F_{51}, G_{51}) → s_{142}
Segment(G_{51}, H_{51}) → t_{142}
Segment(H_{51}, I_{51}) → a_{143}
Segment(I_{51}, J_{51}) → b_{143}
Point(j_{140}) → K_{51}
Segment(J_{51}, K_{51}) → c_{143}
Segment(R_{49}, L_{51}) → e_{143}
Segment(L_{51}, P_{49}) → f_{143}
Point(j_{140}) → N_{51}
Segment(M_{51}, N_{51}) → g_{143}
Segment(M_{51}, O_{51}) → h_{143}
Segment(O_{51}, P_{51}) → i_{143}
Segment(P_{51}, Q_{51}) → j_{143}
Point(p_{140}) → R_{51}
Segment(Q_{51}, R_{51}) → k_{143}
Segment(Z_{49}, S_{51}) → l_{143}
Segment(S_{51}, U_{49}) → m_{143}
Segment(U_{49}, S_{49}) → n_{143}
Segment(M_{51}, J_{51}) → p_{143}
Segment(T_{51}, E_{50}) → q_{143}
Segment(E_{50}, A_{50}) → r_{143}
Segment(Q_{51}, U_{51}) → s_{143}
Point(p_{140}) → V_{51}
Segment(U_{51}, V_{51}) → t_{143}
Segment(U_{51}, W_{51}) → a_{144}
Segment(W_{51}, Z_{51}) → b_{144}
Segment(Z_{51}, A_{52}) → c_{144}
Segment(A_{52}, U_{51}) → e_{144}
Segment(Z_{51}, B_{52}) → f_{144}
Point(c_{141}) → C_{52}
Segment(B_{52}, C_{52}) → g_{144}
Segment(C_{52}, G_{50}) → h_{144}
Segment(G_{50}, T_{51}) → i_{144}
Segment(K_{50}, H_{50}) → j_{144}
Segment(B_{52}, D_{52}) → k_{144}
Point(c_{141}) → E_{52}
Segment(D_{52}, E_{52}) → l_{144}
Segment(F_{52}, D_{52}) → m_{144}
Segment(G_{52}, F_{52}) → n_{144}
Segment(G_{52}, H_{52}) → p_{144}
Point(s_{141}) → I_{52}
Segment(H_{52}, I_{52}) → q_{144}
Point(s_{141}) → K_{52}
Segment(J_{52}, K_{52}) → r_{144}
Segment(J_{52}, L_{52}) → s_{144}
Segment(L_{52}, M_{52}) → t_{144}
Segment(S_{50}, Q_{50}) → a_{145}
Segment(M_{52}, N_{52}) → b_{145}
Point(j_{142}) → O_{52}
Segment(N_{52}, O_{52}) → c_{145}
Point(j_{142}) → Q_{52}
Segment(P_{52}, Q_{52}) → e_{145}
Segment(N_{52}, P_{52}) → f_{145}
Segment(P_{52}, R_{52}) → g_{145}
Segment(R_{52}, S_{52}) → h_{145}
Segment(S_{52}, T_{52}) → i_{145}
Segment(T_{52}, P_{52}) → j_{145}
Segment(S_{52}, U_{52}) → k_{145}
Segment(U_{52}, V_{52}) → l_{145}
Segment(V_{52}, W_{52}) → m_{145}
Segment(W_{52}, A_{51}) → n_{145}
Segment(Z_{52}, I_{51}) → p_{145}
Segment(Z_{52}, A_{53}) → q_{145}
Segment(A_{53}, B_{53}) → r_{145}
Segment(B_{53}, C_{53}) → s_{145}
Segment(C_{53}, D_{53}) → t_{145}
Point(j_{143}) → E_{53}
Segment(D_{53}, E_{53}) → a_{146}
Segment(F_{53}, P_{51}) → b_{146}
Segment(F_{53}, M_{51}) → c_{146}
Segment(G_{53}, H_{53}) → e_{146}
Segment(I_{53}, G_{53}) → f_{146}
Segment(G_{53}, D_{53}) → g_{146}
Segment(J_{53}, G_{53}) → h_{146}
Segment(J_{53}, K_{53}) → i_{146}
Segment(K_{53}, I_{53}) → j_{146}
Segment(L_{53}, K_{53}) → k_{146}
Point(f_{144}) → M_{53}
Segment(M_{53}, L_{53}) → l_{146}
Point(f_{144}) → O_{53}
Segment(N_{53}, O_{53}) → m_{146}
Segment(N_{53}, P_{53}) → n_{146}
Segment(P_{53}, Q_{53}) → p_{146}
Segment(D_{52}, R_{53}) → q_{146}
Segment(R_{53}, G_{52}) → r_{146}
Segment(J_{52}, H_{52}) → s_{146}
Segment(S_{53}, J_{52}) → t_{146}
Segment(M_{52}, S_{53}) → a_{147}
Segment(T_{53}, Q_{53}) → b_{147}
Point(p_{144}) → U_{53}
Segment(U_{53}, T_{53}) → c_{147}
Point(p_{144}) → V_{53}
Segment(V_{53}, W_{53}) → e_{147}
Segment(W_{53}, Z_{53}) → f_{147}
Segment(Z_{53}, A_{54}) → g_{147}
Segment(A_{54}, B_{54}) → h_{147}
Segment(B_{54}, W_{53}) → i_{147}
Segment(W_{53}, T_{53}) → j_{147}
Segment(A_{54}, C_{54}) → k_{147}
Point(b_{145}) → D_{54}
Segment(C_{54}, D_{54}) → l_{147}
Point(b_{145}) → F_{54}
Segment(E_{54}, F_{54}) → m_{147}
Segment(E_{54}, C_{54}) → n_{147}
Segment(E_{54}, G_{54}) → p_{147}
Segment(H_{54}, G_{54}) → q_{147}
Segment(H_{54}, I_{54}) → r_{147}
Point(k_{145}) → J_{54}
Segment(I_{54}, J_{54}) → s_{147}
Point(k_{145}) → K_{54}
Segment(K_{54}, L_{54}) → t_{147}
Segment(L_{54}, I_{54}) → a_{148}
Segment(L_{54}, M_{54}) → b_{148}
Segment(M_{54}, N_{54}) → c_{148}
Segment(N_{54}, O_{54}) → d_{148}
Segment(O_{54}, L_{54}) → e_{148}
Segment(N_{54}, P_{54}) → f_{148}
Segment(P_{54}, Q_{54}) → g_{148}
Segment(Q_{54}, R_{54}) → h_{148}
Segment(R_{54}, U_{52}) → i_{148}
Segment(S_{54}, R_{54}) → j_{148}
Segment(S_{54}, U_{52}) → k_{148}
Point(j_{142}) → T_{54}
Segment(T_{54}, B_{51}) → l_{148}
Segment(P_{46}, T_{46}) → m_{148}
Segment(U_{54}, C_{53}) → n_{148}
Segment(U_{54}, V_{54}) → p_{148}
Segment(V_{54}, W_{54}) → q_{148}
Segment(W_{54}, Z_{54}) → r_{148}
Segment(Z_{54}, A_{55}) → s_{148}
Segment(Z_{54}, B_{55}) → t_{148}
Segment(B_{55}, C_{55}) → a_{149}
Point(t_{148}) → D_{55}
Point(k_{146}) → E_{55}
Segment(D_{55}, E_{55}) → b_{149}
Point(k_{146}) → F_{55}
Segment(B_{55}, F_{55}) → c_{149}
Segment(G_{55}, N_{53}) → d_{149}
Segment(Q_{53}, G_{55}) → e_{149}
Segment(H_{55}, C_{55}) → f_{149}
Segment(H_{55}, I_{55}) → g_{149}
Point(b_{147}) → J_{55}
Segment(I_{55}, J_{55}) → h_{149}
Segment(K_{55}, I_{55}) → i_{149}
Point(b_{147}) → L_{55}
Segment(L_{55}, K_{55}) → j_{149}
Segment(K_{55}, M_{55}) → k_{149}
Segment(N_{55}, K_{55}) → l_{149}
Segment(N_{55}, O_{55}) → m_{149}
Segment(O_{55}, M_{55}) → n_{149}
Segment(O_{55}, P_{55}) → p_{149}
Point(k_{147}) → Q_{55}
Segment(P_{55}, Q_{55}) → q_{149}
Segment(R_{55}, P_{55}) → r_{149}
Point(k_{147}) → S_{55}
Segment(R_{55}, S_{55}) → s_{149}
Segment(T_{55}, R_{55}) → t_{149}
Segment(U_{55}, E_{54}) → a_{150}
Segment(H_{54}, U_{55}) → b_{150}
Segment(V_{55}, T_{55}) → c_{150}
Segment(V_{55}, W_{55}) → d_{150}
Point(r_{147}) → Z_{55}
Segment(W_{55}, Z_{55}) → e_{150}
Segment(A_{56}, W_{55}) → f_{150}
Point(r_{147}) → B_{56}
Segment(B_{56}, A_{56}) → g_{150}
Segment(A_{56}, C_{56}) → h_{150}
Segment(C_{56}, D_{56}) → i_{150}
Segment(D_{56}, E_{56}) → j_{150}
Segment(E_{56}, A_{56}) → k_{150}
Segment(D_{56}, F_{56}) → l_{150}
Point(f_{148}) → G_{56}
Segment(F_{56}, G_{56}) → m_{150}
Point(f_{148}) → I_{56}
Segment(H_{56}, I_{56}) → n_{150}
Segment(H_{56}, F_{56}) → p_{150}
Segment(J_{56}, H_{56}) → q_{150}
Segment(H_{56}, K_{56}) → r_{150}
Segment(K_{56}, L_{56}) → s_{150}
Segment(L_{56}, J_{56}) → t_{150}
Segment(L_{56}, M_{56}) → a_{151}
Segment(M_{56}, N_{56}) → b_{151}
Segment(N_{56}, O_{56}) → c_{151}
Segment(P_{56}, P_{54}) → d_{151}
Segment(P_{56}, O_{56}) → e_{151}
Segment(Q_{56}, N_{56}) → f_{151}
Segment(R_{56}, M_{56}) → g_{151}
Segment(Q_{56}, R_{56}) → h_{151}
Segment(L_{53}, N_{53}) → i_{151}
Segment(A_{55}, S_{56}) → j_{151}
Segment(S_{56}, T_{56}) → k_{151}
Segment(T_{56}, U_{56}) → l_{151}
Segment(U_{56}, V_{56}) → m_{151}
Segment(W_{56}, H_{55}) → n_{151}
Segment(W_{56}, B_{55}) → p_{151}
Point(g_{149}) → Z_{56}
Segment(V_{56}, Z_{56}) → q_{151}
Segment(A_{57}, V_{56}) → r_{151}
Point(g_{149}) → B_{57}
Segment(B_{57}, A_{57}) → s_{151}
Segment(C_{57}, A_{57}) → t_{151}
Segment(D_{57}, C_{57}) → a_{152}
Segment(E_{57}, D_{57}) → b_{152}
Segment(E_{57}, A_{57}) → c_{152}
Segment(D_{57}, O_{44}) → d_{152}
Point(p_{149}) → F_{57}
Segment(O_{44}, F_{57}) → e_{152}
Segment(G_{57}, O_{44}) → f_{152}
Point(p_{149}) → H_{57}
Segment(H_{57}, G_{57}) → g_{152}
Segment(G_{57}, I_{57}) → h_{152}
Segment(I_{57}, J_{57}) → i_{152}
Segment(J_{57}, K_{57}) → j_{152}
Segment(K_{57}, G_{57}) → k_{152}
Segment(J_{57}, L_{57}) → l_{152}
Segment(V_{55}, M_{57}) → m_{152}
Segment(M_{57}, R_{55}) → n_{152}
Point(d_{150}) → N_{57}
Segment(L_{57}, N_{57}) → p_{152}
Point(d_{150}) → O_{57}
Segment(O_{57}, P_{57}) → q_{152}
Segment(P_{57}, L_{57}) → r_{152}
Segment(P_{57}, Q_{57}) → s_{152}
Segment(Q_{57}, R_{57}) → t_{152}
Segment(S_{57}, P_{57}) → a_{153}
Segment(S_{57}, R_{57}) → b_{153}
Segment(T_{57}, R_{57}) → c_{153}
Point(l_{150}) → U_{57}
Segment(T_{57}, U_{57}) → d_{153}
Point(l_{150}) → W_{57}
Segment(V_{57}, W_{57}) → e_{153}
Segment(V_{57}, T_{57}) → f_{153}
Segment(V_{57}, Z_{57}) → g_{153}
Segment(Z_{57}, A_{58}) → h_{153}
Segment(A_{58}, B_{58}) → i_{153}
Segment(B_{58}, V_{57}) → j_{153}
Segment(A_{58}, C_{58}) → k_{153}
Point(a_{151}) → D_{58}
Segment(C_{58}, D_{58}) → l_{153}
Segment(E_{58}, U_{56}) → m_{153}
Segment(F_{58}, E_{58}) → n_{153}
Segment(F_{58}, G_{58}) → p_{153}
Segment(G_{58}, H_{58}) → q_{153}
Segment(H_{58}, I_{58}) → r_{153}
Point(d_{152}) → J_{58}
Segment(I_{58}, J_{58}) → s_{153}
Point(d_{152}) → K_{58}
Segment(K_{58}, L_{58}) → t_{153}
Segment(L_{58}, I_{58}) → a_{154}
Segment(L_{58}, M_{58}) → b_{154}
Segment(M_{58}, N_{58}) → c_{154}
Segment(N_{58}, O_{58}) → d_{154}
Segment(O_{58}, L_{58}) → e_{154}
Segment(P_{58}, N_{58}) → f_{154}
Point(l_{152}) → Q_{58}
Segment(Q_{58}, P_{58}) → g_{154}
Point(l_{152}) → R_{58}
Segment(R_{58}, S_{58}) → h_{154}
Segment(S_{58}, P_{58}) → i_{154}
Segment(T_{58}, S_{58}) → j_{154}
Segment(U_{58}, S_{58}) → k_{154}
Segment(U_{58}, V_{58}) → l_{154}
Segment(V_{58}, T_{58}) → m_{154}
Segment(V_{58}, W_{58}) → n_{154}
Point(c_{153}) → Z_{58}
Segment(Z_{58}, W_{58}) → p_{154}
Segment(A_{59}, W_{58}) → q_{154}
Point(q_{154}) → B_{59}
Point(c_{153}) → C_{59}
Segment(B_{59}, C_{59}) → r_{154}
Segment(D_{59}, A_{59}) → s_{154}
Segment(D_{59}, E_{59}) → t_{154}
Segment(E_{59}, B_{59}) → a_{155}
Segment(D_{59}, F_{59}) → b_{155}
Point(k_{153}) → G_{59}
Segment(F_{59}, G_{59}) → c_{155}
Segment(H_{59}, H_{58}) → d_{155}
Segment(I_{59}, H_{59}) → e_{155}
Segment(J_{59}, I_{59}) → f_{155}
Segment(K_{59}, J_{59}) → g_{155}
Segment(K_{59}, L_{59}) → h_{155}
Point(f_{154}) → M_{59}
Segment(L_{59}, M_{59}) → i_{155}
Point(f_{154}) → N_{59}
Segment(N_{59}, O_{59}) → j_{155}
Segment(O_{59}, P_{59}) → k_{155}
Segment(P_{59}, Q_{59}) → l_{155}
Segment(R_{59}, Q_{59}) → m_{155}
Segment(R_{59}, O_{59}) → n_{155}
Segment(Q_{59}, S_{59}) → p_{155}
Point(n_{154}) → T_{59}
Segment(S_{59}, T_{59}) → q_{155}
Point(n_{154}) → U_{59}
Segment(U_{59}, V_{59}) → r_{155}
Segment(V_{59}, S_{59}) → s_{155}
Segment(V_{59}, W_{59}) → t_{155}
Segment(W_{59}, Z_{59}) → a_{156}
Segment(Z_{59}, A_{60}) → b_{156}
Segment(A_{60}, V_{59}) → c_{156}
Segment(Z_{59}, B_{60}) → d_{156}
Point(b_{155}) → C_{60}
Segment(B_{60}, C_{60}) → e_{156}
Segment(L_{59}, O_{59}) → f_{156}
Segment(K_{59}, D_{60}) → g_{156}
Segment(D_{60}, E_{60}) → h_{156}
Segment(E_{60}, F_{60}) → i_{156}
Segment(F_{60}, G_{60}) → j_{156}
Point(p_{155}) → H_{60}
Segment(G_{60}, H_{60}) → k_{156}
Point(p_{155}) → I_{60}
Segment(I_{60}, J_{60}) → l_{156}
Segment(J_{60}, G_{60}) → m_{156}
Segment(J_{60}, K_{60}) → n_{156}
Segment(K_{60}, L_{60}) → p_{156}
Segment(L_{60}, M_{60}) → q_{156}
Point(d_{156}) → N_{60}
Segment(M_{60}, N_{60}) → r_{156}
Polygon(P_{46}, Q_{46}, R_{46}, F_{44}, H_{44}, M_{46}, N_{46}, O_{46}) → poly384, p_{157}, q_{157}, r_{157}, f_{157}, h_{157}, m_{157}, n_{157}, o_{55}
Polygon(T_{46}, S_{46}, B_{47}, A_{47}, S_{47}, Z_{46}, W_{46}, V_{46}, U_{46}) → poly385, t_{156}, s_{156}, b_{157}, a_{157}, s_{157}, z_{67}, w_{75}, v_{88}, u_{74}
Polygon(T_{46}, S_{46}, B_{47}, A_{47}, Z_{46}, W_{46}, V_{46}, U_{46}) → poly386, t_{157}, s_{158}, b_{158}, a_{158}, z_{68}, w_{76}, v_{89}, u_{75}
Polygon(H_{44}, D_{47}, C_{47}, I_{47}, H_{47}, F_{47}, G_{47}, E_{47}) → poly387, h_{158}, d_{157}, c_{157}, i_{157}, h_{159}, f_{158}, g_{157}, e_{157}
Polygon(T_{46}, P_{46}, O_{46}, S_{46}) → poly388, t_{158}, p_{158}, o_{56}, s_{159}
Polygon(K_{47}, J_{47}, O_{47}, P_{47}, M_{47}, N_{47}, L_{47}, S_{46}) → poly389, k_{157}, j_{157}, o_{57}, p_{159}, m_{158}, n_{158}, l_{157}, s_{160}
Point(r_{137}) → S_{60}
Polygon(R_{47}, Q_{47}, T_{47}, U_{47}, V_{47}, S_{60}, Z_{47}, S_{47}) → poly390, r_{158}, q_{158}, t_{159}, u_{76}, v_{90}, s_{161}, z_{69}, s_{162}
Polygon(A_{48}, B_{48}, C_{48}, D_{48}, F_{48}, G_{48}, H_{47}, E_{48}, C_{47}) → poly391, a_{159}, b_{159}, c_{158}, d_{158}, f_{159}, g_{158}, h_{160}, e_{158}, c_{159}
Polygon(I_{48}, H_{48}, J_{48}, K_{48}, L_{48}, M_{48}, P_{47}, N_{48}, J_{47}) → poly392, i_{158}, h_{161}, j_{158}, k_{158}, l_{158}, m_{159}, p_{160}, n_{159}, j_{159}
Polygon(P_{48}, O_{48}, Q_{48}, R_{48}, S_{48}, T_{48}, U_{48}, Q_{47}) → poly393, p_{161}, o_{58}, q_{159}, r_{159}, s_{163}, t_{160}, u_{77}, q_{160}
Polygon(W_{48}, V_{48}, Z_{48}, A_{49}, B_{49}, C_{49}, D_{49}, E_{49}) → poly394, w_{77}, v_{91}, z_{70}, a_{160}, b_{160}, c_{160}, d_{159}, e_{159}
Polygon(O_{49}, P_{49}, Q_{49}, R_{49}, S_{49}, T_{49}, D_{51}, B_{48}) → poly395, o_{59}, p_{162}, q_{161}, r_{160}, s_{164}, t_{161}, d_{160}, b_{161}
Polygon(V_{49}, U_{49}, F_{61}, Z_{49}, A_{50}, C_{50}, B_{50}, H_{48}) → poly396, v_{92}, u_{78}, f_{160}, z_{71}, a_{161}, c_{161}, b_{162}, h_{162}
Polygon(D_{50}, E_{50}, F_{50}, G_{50}, H_{50}, I_{50}, J_{50}, O_{48}) → poly397, d_{161}, e_{160}, f_{161}, g_{159}, h_{163}, i_{159}, j_{160}, o_{60}
Polygon(L_{50}, K_{50}, N_{50}, O_{50}, Q_{50}, R_{50}, M_{50}, V_{48}) → poly398, l_{159}, k_{159}, n_{160}, o_{61}, q_{162}, r_{161}, m_{160}, v_{93}
Polygon(T_{50}, S_{50}, V_{50}, Z_{50}, T_{54}, B_{51}, C_{51}, U_{50}) → poly399, t_{162}, s_{165}, v_{94}, z_{72}, t_{163}, b_{163}, c_{162}, u_{79}
Polygon(E_{51}, F_{51}, G_{51}, H_{51}, J_{51}, K_{51}, L_{51}, P_{49}) → poly400, e_{161}, f_{162}, g_{160}, h_{164}, j_{161}, k_{160}, l_{160}, p_{163}
Polygon(N_{51}, M_{51}, O_{51}, P_{51}, Q_{51}, R_{51}, S_{51}, U_{49}) → poly401, n_{161}, m_{161}, o_{62}, p_{164}, q_{163}, r_{162}, s_{166}, u_{80}
Polygon(V_{51}, U_{51}, W_{51}, Z_{51}, B_{52}, T_{51}, E_{50}) → poly402, v_{95}, u_{81}, w_{78}, z_{73}, b_{164}, t_{164}, e_{162}
Polygon(V_{51}, U_{51}, W_{51}, Z_{51}, B_{52}, C_{52}, T_{51}, E_{50}) → poly403, v_{96}, u_{82}, w_{79}, z_{74}, b_{165}, c_{163}, t_{165}, e_{163}
Polygon(E_{52}, D_{52}, F_{52}, G_{52}, H_{52}, I_{52}, P_{50}, K_{50}) → poly404, e_{164}, d_{162}, f_{163}, g_{161}, h_{165}, i_{160}, p_{165}, k_{161}
Polygon(K_{52}, J_{52}, M_{61}, M_{52}, N_{52}, O_{52}, W_{50}, S_{50}) → poly405, k_{162}, j_{162}, m_{162}, m_{163}, n_{162}, o_{63}, w_{80}, s_{167}
Polygon(Q_{52}, P_{52}, R_{52}, S_{52}, U_{52}, W_{52}, A_{51}) → poly406, q_{164}, p_{166}, r_{163}, s_{168}, u_{83}, w_{81}, a_{162}
Polygon(Q_{52}, P_{52}, R_{52}, S_{52}, U_{52}, V_{52}, W_{52}, A_{51}) → poly407, q_{165}, p_{167}, r_{164}, s_{169}, u_{84}, v_{97}, w_{82}, a_{163}
Polygon(I_{51}, Z_{52}, A_{53}, B_{53}, D_{53}, E_{53}, F_{53}, M_{51}) → poly408, i_{161}, z_{75}, a_{164}, b_{166}, d_{163}, e_{165}, f_{164}, m_{164}
Polygon(H_{53}, G_{53}, I_{53}, K_{53}, L_{53}, M_{53}, A_{52}, U_{51}) → poly409, h_{166}, g_{162}, i_{162}, k_{163}, l_{161}, m_{165}, a_{165}, u_{85}
Polygon(O_{53}, N_{53}, P_{53}, Q_{53}, T_{53}, U_{53}, R_{53}, D_{52}) → poly410, o_{64}, n_{163}, p_{168}, q_{166}, t_{166}, u_{86}, r_{165}, d_{164}
Polygon(V_{53}, W_{53}, Z_{53}, A_{54}, C_{54}, D_{54}, S_{53}, J_{52}) → poly411, v_{98}, w_{83}, z_{76}, a_{166}, c_{164}, d_{165}, s_{170}, j_{163}
Polygon(F_{54}, E_{54}, G_{54}, H_{54}, I_{54}, J_{54}, T_{52}, P_{52}) → poly412, f_{165}, e_{166}, g_{163}, h_{167}, i_{163}, j_{164}, t_{167}, p_{169}
Polygon(K_{54}, L_{54}, M_{54}, N_{54}, P_{54}, Q_{54}, R_{54}, S_{54}) → poly413, k_{164}, l_{162}, m_{166}, n_{164}, p_{170}, q_{167}, r_{166}, s_{171}
Polygon(C_{53}, U_{54}, V_{54}, W_{54}, D_{55}, E_{55}, J_{53}, G_{53}) → poly414, c_{165}, u_{87}, v_{99}, w_{84}, d_{166}, e_{167}, j_{165}, g_{164}
Polygon(F_{55}, B_{55}, C_{55}, H_{55}, I_{55}, J_{55}, G_{55}, N_{53}) → poly415, f_{166}, b_{167}, c_{166}, h_{168}, i_{164}, j_{166}, g_{165}, n_{165}
Polygon(L_{55}, K_{55}, N_{55}, O_{55}, P_{55}, Q_{55}, B_{54}, W_{53}) → poly416, l_{163}, k_{165}, n_{166}, o_{65}, p_{171}, q_{168}, b_{168}, w_{85}
Point(e_{150}) → P_{62}
Polygon(S_{55}, R_{55}, T_{55}, V_{55}, W_{55}, P_{62}, U_{55}, E_{54}) → poly417, s_{172}, r_{167}, t_{168}, v_{100}, w_{86}, p_{172}, u_{88}, e_{168}
Intersect(f_{148}, m_{150}) → Q_{62}
Polygon(B_{56}, A_{56}, E_{56}, D_{56}, F_{56}, Q_{62}, O_{54}, L_{54}) → poly418, b_{169}, a_{167}, e_{169}, d_{167}, f_{167}, q_{169}, o_{66}, l_{164}
Intersect(f_{148}, n_{150}) → R_{62}
Polygon(R_{62}, H_{56}, K_{56}, L_{56}, R_{56}, Q_{56}, O_{56}, P_{56}) → poly419, r_{168}, h_{169}, k_{166}, l_{165}, r_{169}, q_{170}, o_{67}, p_{173}
Polygon(Z_{54}, A_{55}, S_{56}, T_{56}, V_{56}, Z_{56}, W_{56}, B_{55}) → poly420, z_{77}, a_{168}, s_{173}, t_{169}, v_{101}, z_{78}, w_{87}, b_{170}
Polygon(B_{57}, A_{57}, C_{57}, D_{57}, O_{44}, F_{57}, M_{55}, K_{55}) → poly421, b_{171}, a_{169}, c_{167}, d_{168}, o_{68}, f_{168}, m_{167}, k_{167}
Polygon(H_{57}, G_{57}, K_{57}, J_{57}, L_{57}, N_{57}, M_{57}, R_{55}) → poly422, h_{170}, g_{166}, k_{168}, j_{167}, l_{166}, n_{167}, m_{168}, r_{170}
Polygon(O_{57}, P_{57}, Q_{57}, R_{57}, T_{57}, U_{57}, C_{56}, A_{56}) → poly423, o_{69}, p_{174}, q_{171}, r_{171}, t_{170}, u_{89}, c_{168}, a_{170}
Polygon(W_{57}, V_{57}, Z_{57}, A_{58}, C_{58}, D_{58}, J_{56}, H_{56}) → poly424, w_{88}, v_{102}, z_{79}, a_{171}, c_{169}, d_{169}, j_{168}, h_{171}
Polygon(U_{56}, E_{58}, F_{58}, G_{58}, I_{58}, J_{58}, E_{57}, A_{57}) → poly425, u_{90}, e_{170}, f_{169}, g_{167}, i_{165}, j_{169}, e_{171}, a_{172}
Intersect(g_{152}, h_{152}) → S_{62}
Polygon(K_{58}, L_{58}, M_{58}, N_{58}, P_{58}, Q_{58}, I_{57}, S_{62}) → poly426, k_{169}, l_{167}, m_{169}, n_{168}, p_{175}, q_{172}, i_{166}, s_{174}
Polygon(R_{58}, S_{58}, T_{58}, V_{58}, W_{58}, Z_{58}, S_{57}, P_{57}) → poly427, r_{172}, s_{175}, t_{171}, v_{103}, w_{89}, z_{80}, s_{176}, p_{176}
Polygon(C_{59}, B_{59}, A_{59}, D_{59}, F_{59}, G_{59}, B_{58}, V_{57}) → poly428, c_{170}, b_{172}, a_{173}, d_{170}, f_{170}, g_{168}, b_{173}, v_{104}
Polygon(H_{58}, H_{59}, I_{59}, J_{59}, L_{59}, M_{59}, O_{58}, L_{58}) → poly429, h_{172}, h_{173}, i_{167}, j_{170}, l_{168}, m_{170}, o_{70}, l_{169}
Polygon(K_{59}, D_{60}, E_{60}, F_{60}, G_{60}, H_{60}, R_{59}, O_{59}) → poly430, k_{170}, d_{171}, e_{172}, f_{171}, g_{169}, h_{174}, r_{173}, o_{71}
Polygon(N_{59}, O_{59}, P_{59}, Q_{59}, S_{59}, T_{59}, U_{58}, S_{58}) → poly431, n_{169}, o_{72}, p_{177}, q_{173}, s_{177}, t_{172}, u_{91}, s_{178}
Polygon(U_{59}, V_{59}, W_{59}, Z_{59}, B_{60}, C_{60}, E_{59}, B_{59}) → poly432, u_{92}, v_{105}, w_{90}, z_{81}, b_{174}, c_{171}, e_{173}, b_{175}
Polygon(I_{60}, J_{60}, K_{60}, L_{60}, M_{60}, N_{60}, A_{60}, V_{59}) → poly433, i_{168}, j_{171}, k_{171}, l_{170}, m_{171}, n_{170}, a_{174}, v_{106}

AI 绘图提示语参考

画一个由多个几何图形组成的平面铺砖设计，展示直角三角形、正方形和半圆的组合。首先绘制两条互相垂直的线段，然后在这两条线段上分别找到交点和垂足，接着用这些点构造多个正方形和半圆，最后将这些图形组合成一个复杂的铺砖图案，体现几何构造和矩阵变换的思想。

以上提示语为根据原始绘图命令整理而来，仅供参考。