Tiling

Loading the math board and drawing, please wait…

2015-01-21 06:24

This example demonstrates the concept of tiling. It involves geometric transformations, specifically translations. Using GeoGebra commands such as Line, Point, OrthogonalLine, Segment, Intersect, and Polygon, various tiling patterns of polygons can be constructed. Suitable for middle school and above students to learn about geometric transformations and tiling patterns.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a geometric pattern by starting with a line segment, marking multiple points along it, and drawing perpendicular lines from these points. Continue marking points on the perpendiculars and draw more perpendiculars to create a series of intersections. Finally, connect these intersections to form a complex geometric design that demonstrates transformations like translation and symmetry.

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