勾股定理平铺 by Edgardo Alandete (2)

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

2015-01-11 04:15

①本范例演示了利用勾股定理构建的直角三角形平铺图案；②涉及核心数学概念包括勾股定理、多边形构造、解析几何；③作图要点：使用Line, OrthogonalLine, Point, Segment, Intersect, Polygon等命令创建几何图形；④适合高中数学教学，用于理解勾股定理的应用与几何作图。

GeoGebra 命令及参数

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

AI 绘图提示语参考

画一个基于勾股定理的几何图形，包含多个直角三角形，通过正交线段和交点构造，展示坐标几何的应用。首先绘制一个直角三角形，然后从直角顶点出发绘制正交线段，形成多个交点，再连接这些交点构成新的多边形，最终形成复杂的几何图案，体现勾股定理和几何构造的原理。

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