Geometric Tiling: Exploring Area and Ratio

Loading the math board and drawing, please wait…

2015-01-11 03:59

This example demonstrates how to understand area and ratio through geometric tiling. Key mathematical concepts include Pythagoras or Pythagorean Theorem, Arithmetic Operations, Ratios, Numbers, and Exponential Functions. Construction involves GeoGebra commands such as Line, Point, OrthogonalLine, LineBisector, Intersect, Segment, and Polygon. Suitable for middle school students or math enthusiasts to learn geometric intuition about area and ratio.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Start with a horizontal line and place a point on it, then draw a perpendicular line through that point. Continue adding points and drawing perpendiculars to create a grid of intersecting vertical and horizontal lines. Select several intersection points and connect them with segments to form polygons such as triangles and quadrilaterals, creating a tiling-like pattern that emphasizes area and ratio relationships.

The prompt above was compiled from the original drawing commands and is for reference only.