平面镶嵌 by Edgardo Alandete (2)

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

2015-01-11 05:53

多边形变换几何作图

这个范例演示了平面镶嵌的构造方法。它涉及的核心数学概念包括几何构造、多边形和变换。通过使用GeoGebra命令如Line、Polygon和Semicircle等，可以创建各种多边形并进行变换操作。适合初中及以上学生学习几何作图和变换。

GeoGebra 命令及参数

Line(A, B) → a
OrthogonalLine(B, a) → b
OrthogonalLine(A, a) → c
Point(b) → C
OrthogonalLine(C, b) → d
Point(b) → D
OrthogonalLine(D, b) → e
Point(b) → E
OrthogonalLine(E, b) → f
Point(b) → F
OrthogonalLine(F, b) → g
Point(b) → G
OrthogonalLine(G, b) → h
Point(b) → H
OrthogonalLine(H, b) → i
Point(b) → I
OrthogonalLine(I, b) → j
Point(b) → J
OrthogonalLine(J, b) → k
Point(b) → K
OrthogonalLine(K, b) → l
Point(h) → L
OrthogonalLine(L, h) → m
Point(h) → M
OrthogonalLine(M, h) → n
Point(l) → N
OrthogonalLine(N, l) → p
Point(l) → O
OrthogonalLine(O, l) → q
Point(j) → P
OrthogonalLine(P, j) → r
Point(h) → Q
OrthogonalLine(Q, h) → s
Point(h) → R
OrthogonalLine(R, h) → t
Segment(S, T) → a_1
Segment(T, U) → b_1
Segment(U, V) → c_1
Segment(V, S) → d_1
Segment(W, Z) → e_1
Intersect(h, r) → A_1
Intersect(i, r) → B_1
Semicircle(A_1, B_1) → f_1
Point(f_1) → C_1
Segment(A_1, C_1) → g_1
Segment(D_1, E_1) → h_1
Segment(E_1, F_1) → i_1
Segment(F_1, G_1) → j_1
Segment(G_1, D_1) → k_1
Segment(H_1, I_1) → l_1
Segment(K_1, H_1) → p_1
Segment(L_1, M_1) → q_1
Segment(M_1, N_1) → r_1
Segment(N_1, O_1) → s_1
Segment(O_1, L_1) → t_1
Segment(P_1, Q_1) → a_2
Segment(Q_1, R_1) → b_2
Segment(R_1, S_1) → c_2
Segment(S_1, P_1) → d_2
Segment(T_1, U_1) → e_2
Segment(U_1, V_1) → f_2
Segment(V_1, W_1) → g_2
Segment(W_1, T_1) → h_2
Segment(Z_1, A_2) → i_2
Segment(A_2, B_2) → j_2
Segment(B_2, C_2) → k_2
Segment(C_2, Z_1) → l_2
Segment(D_2, E_2) → m_2
Segment(E_2, F_2) → n_2
Segment(F_2, G_2) → p_2
Segment(G_2, D_2) → q_2
Segment(I_2, H_2) → r_2
Segment(H_2, J_2) → s_2
Segment(J_2, K_2) → t_2
Segment(K_2, I_2) → a_3
Segment(L_2, M_2) → b_3
Segment(M_2, N_2) → c_3
Segment(N_2, O_2) → d_3
Segment(O_2, L_2) → e_3
Segment(Q_2, P_2) → f_3
Segment(Q_2, R_2) → g_3
Segment(R_2, S_2) → h_3
Segment(S_2, P_2) → i_3
Segment(T_2, U_2) → j_3
Segment(U_2, V_2) → k_3
Segment(V_2, W_2) → l_3
Segment(W_2, T_2) → m_3
Segment(A_3, Z_2) → n_3
Segment(A_3, B_3) → p_3
Segment(B_3, C_3) → q_3
Segment(C_3, Z_2) → r_3
Segment(E_3, D_3) → s_3
Segment(D_3, F_3) → t_3
Segment(E_3, G_3) → a_4
Segment(G_3, F_3) → b_4
Segment(I_3, H_3) → c_4
Segment(I_3, J_3) → d_4
Segment(J_3, K_3) → e_4
Segment(K_3, H_3) → f_4
Segment(T_3, U_3) → p_4
Segment(U_3, V_3) → q_4
Segment(V_3, W_3) → r_4
Segment(W_3, T_3) → s_4
Segment(Z_3, A_4) → t_4
Segment(A_4, B_4) → a_5
Segment(B_4, C_4) → b_5
Segment(C_4, Z_3) → c_5
Segment(E_4, D_4) → d_5
Segment(E_4, F_4) → e_5
Segment(F_4, G_4) → f_5
Segment(G_4, D_4) → g_5
Segment(H_4, I_4) → h_5
Segment(I_4, J_4) → i_5
Segment(J_4, K_4) → j_5
Segment(K_4, H_4) → k_5
Segment(M_4, L_4) → l_5
Segment(M_4, N_4) → m_5
Segment(N_4, O_4) → n_5
Segment(O_4, L_4) → p_5
Segment(P_4, Q_4) → q_5
Segment(Q_4, R_4) → r_5
Segment(R_4, S_4) → s_5
Segment(S_4, P_4) → t_5
Segment(T_4, U_4) → a_6
Segment(U_4, V_4) → b_6
Segment(V_4, W_4) → c_6
Segment(W_4, T_4) → d_6
Segment(L_3, M_3) → g_4
Segment(M_3, N_3) → h_4
Segment(N_3, O_3) → i_4
Segment(O_3, L_3) → j_4
Segment(P_3, Q_3) → k_4
Segment(Q_3, R_3) → l_4
Segment(R_3, S_3) → m_4
Segment(S_3, P_3) → n_4
Segment(A_5, Z_4) → e_6
Segment(A_5, B_5) → f_6
Segment(B_5, C_5) → g_6
Segment(C_5, Z_4) → h_6
Segment(D_5, G_5) → i_6
Segment(G_5, F_5) → j_6
Segment(F_5, E_5) → k_6
Segment(E_5, D_5) → l_6
Segment(I_5, H_5) → m_6
Segment(I_5, J_5) → n_6
Segment(J_5, K_5) → p_6
Segment(K_5, H_5) → q_6
Segment(L_5, O_5) → r_6
Segment(O_5, N_5) → s_6
Segment(N_5, M_5) → t_6
Segment(M_5, L_5) → a_7
Segment(Q_5, P_5) → b_7
Segment(Q_5, R_5) → c_7
Segment(R_5, S_5) → d_7
Segment(S_5, P_5) → e_7
Segment(U_5, T_5) → f_7
Segment(U_5, V_5) → g_7
Segment(V_5, W_5) → h_7
Segment(W_5, T_5) → i_7
Segment(Z_5, A_6) → j_7
Segment(A_6, B_6) → k_7
Segment(B_6, C_6) → l_7
Segment(C_6, Z_5) → m_7
Segment(D_6, E_6) → n_7
Segment(E_6, F_6) → p_7
Segment(F_6, G_6) → q_7
Segment(G_6, D_6) → r_7
Segment(H_6, I_6) → s_7
Segment(I_6, J_6) → t_7
Segment(J_6, K_6) → a_8
Segment(K_6, H_6) → b_8
Segment(L_6, M_6) → c_8
Segment(M_6, N_6) → d_8
Segment(N_6, O_6) → e_8
Segment(O_6, L_6) → f_8
Segment(Q_6, P_6) → g_8
Segment(R_6, Q_6) → h_8
Segment(R_6, S_6) → i_8
Segment(S_6, P_6) → j_8
Segment(U_6, T_6) → k_8
Segment(U_6, V_6) → l_8
Segment(V_6, W_6) → m_8
Segment(W_6, T_6) → n_8
Segment(A_7, Z_6) → p_8
Segment(A_7, B_7) → q_8
Segment(B_7, C_7) → r_8
Segment(C_7, Z_6) → s_8
Segment(E_7, D_7) → t_8
Segment(F_7, E_7) → a_9
Segment(G_7, F_7) → b_9
Segment(G_7, D_7) → c_9
Segment(H_7, I_7) → d_9
Segment(I_7, J_7) → e_9
Segment(J_7, K_7) → f_9
Segment(K_7, H_7) → g_9
Segment(L_7, M_7) → h_9
Segment(M_7, N_7) → i_9
Segment(O_7, N_7) → j_9
Segment(O_7, L_7) → k_9
Segment(P_7, Q_7) → l_9
Segment(Q_7, R_7) → m_9
Segment(R_7, S_7) → n_9
Segment(S_7, P_7) → p_9
Segment(T_7, U_7) → q_9
Segment(U_7, V_7) → r_9
Segment(V_7, W_7) → s_9
Segment(W_7, T_7) → t_9
Segment(Z_7, A_8) → a_{10}
Segment(A_8, B_8) → b_{10}
Segment(B_8, C_8) → c_{10}
Segment(C_8, Z_7) → d_{10}
Segment(E_8, D_8) → e_{10}
Segment(E_8, F_8) → f_{10}
Segment(F_8, G_8) → g_{10}
Segment(G_8, D_8) → h_{10}
Segment(H_8, I_8) → i_{10}
Segment(I_8, J_8) → j_{10}
Segment(J_8, K_8) → k_{10}
Segment(K_8, H_8) → l_{10}
Segment(L_8, M_8) → m_{10}
Segment(M_8, N_8) → n_{10}
Segment(N_8, O_8) → p_{10}
Segment(O_8, L_8) → q_{10}
Segment(P_8, Q_8) → r_{10}
Segment(Q_8, R_8) → s_{10}
Segment(R_8, S_8) → t_{10}
Segment(S_8, P_8) → a_{11}
Segment(T_8, U_8) → b_{11}
Segment(U_8, V_8) → c_{11}
Segment(V_8, W_8) → d_{11}
Segment(W_8, T_8) → e_{11}
Segment(Z_8, A_9) → f_{11}
Segment(A_9, B_9) → g_{11}
Segment(B_9, C_9) → h_{11}
Segment(C_9, Z_8) → i_{11}
Segment(D_9, E_9) → j_{11}
Segment(E_9, F_9) → k_{11}
Segment(F_9, G_9) → l_{11}
Segment(G_9, D_9) → m_{11}
Segment(I_9, H_9) → n_{11}
Segment(J_9, I_9) → p_{11}
Segment(J_9, K_9) → q_{11}
Segment(H_9, K_9) → r_{11}
Segment(M_9, L_9) → s_{11}
Segment(N_9, M_9) → t_{11}
Segment(N_9, O_9) → a_{12}
Segment(L_9, O_9) → b_{12}
Segment(P_9, Q_9) → c_{12}
Segment(R_9, S_9) → d_{12}
Segment(S_9, P_9) → e_{12}
Segment(R_9, Q_9) → f_{12}
Segment(T_9, U_9) → g_{12}
Segment(U_9, V_9) → h_{12}
Segment(V_9, W_9) → i_{12}
Segment(W_9, T_9) → j_{12}
Segment(A_{10}, Z_9) → k_{12}
Segment(A_{10}, B_{10}) → l_{12}
Segment(B_{10}, C_{10}) → m_{12}
Segment(C_{10}, Z_9) → n_{12}
Segment(E_{10}, D_{10}) → p_{12}
Segment(E_{10}, F_{10}) → q_{12}
Segment(F_{10}, G_{10}) → r_{12}
Segment(G_{10}, D_{10}) → s_{12}
Segment(H_{10}, I_{10}) → t_{12}
Segment(I_{10}, J_{10}) → a_{13}
Segment(J_{10}, K_{10}) → b_{13}
Segment(K_{10}, H_{10}) → c_{13}
Segment(L_{10}, M_{10}) → d_{13}
Segment(M_{10}, N_{10}) → e_{13}
Segment(N_{10}, O_{10}) → f_{13}
Segment(O_{10}, L_{10}) → g_{13}
Segment(P_{10}, Q_{10}) → h_{13}
Segment(Q_{10}, R_{10}) → i_{13}
Segment(S_{10}, R_{10}) → j_{13}
Segment(S_{10}, P_{10}) → k_{13}
Segment(T_{10}, U_{10}) → l_{13}
Segment(U_{10}, V_{10}) → m_{13}
Segment(W_{10}, V_{10}) → n_{13}
Segment(W_{10}, T_{10}) → p_{13}
Segment(Z_{10}, A_{11}) → q_{13}
Segment(A_{11}, B_{11}) → r_{13}
Segment(B_{11}, C_{11}) → s_{13}
Segment(C_{11}, Z_{10}) → t_{13}
Segment(D_{11}, E_{11}) → a_{14}
Segment(E_{11}, F_{11}) → b_{14}
Segment(F_{11}, G_{11}) → c_{14}
Segment(G_{11}, D_{11}) → d_{14}
Segment(I_{11}, H_{11}) → e_{14}
Segment(I_{11}, J_{11}) → f_{14}
Segment(J_{11}, K_{11}) → g_{14}
Segment(K_{11}, H_{11}) → h_{14}
Segment(L_{11}, M_{11}) → i_{14}
Segment(M_{11}, N_{11}) → j_{14}
Segment(N_{11}, O_{11}) → k_{14}
Segment(O_{11}, L_{11}) → l_{14}
Segment(P_{11}, Q_{11}) → m_{14}
Segment(Q_{11}, R_{11}) → n_{14}
Segment(R_{11}, S_{11}) → p_{14}
Segment(S_{11}, P_{11}) → q_{14}
Segment(U_{11}, T_{11}) → r_{14}
Segment(U_{11}, V_{11}) → s_{14}
Segment(V_{11}, W_{11}) → t_{14}
Segment(W_{11}, T_{11}) → a_{15}
Segment(Z_{11}, A_{12}) → b_{15}
Segment(A_{12}, B_{12}) → c_{15}
Segment(B_{12}, C_{12}) → d_{15}
Segment(C_{12}, Z_{11}) → e_{15}
Segment(D_{12}, E_{12}) → f_{15}
Segment(E_{12}, F_{12}) → g_{15}
Segment(F_{12}, G_{12}) → h_{15}
Segment(G_{12}, H_{12}) → i_{15}
Segment(H_{12}, E_{12}) → j_{15}
Segment(I_{12}, J_{12}) → k_{15}
Segment(J_{12}, K_{12}) → l_{15}
Segment(K_{12}, L_{12}) → m_{15}
Segment(L_{12}, I_{12}) → n_{15}
Segment(N_{12}, M_{12}) → p_{15}
Segment(N_{12}, O_{12}) → q_{15}
Segment(O_{12}, P_{12}) → r_{15}
Segment(P_{12}, M_{12}) → s_{15}
Segment(R_{12}, Q_{12}) → t_{15}
Segment(R_{12}, S_{12}) → a_{16}
Segment(S_{12}, T_{12}) → b_{16}
Segment(T_{12}, Q_{12}) → c_{16}
Segment(V_{12}, U_{12}) → d_{16}
Segment(V_{12}, W_{12}) → e_{16}
Segment(L_{11}, K_{12}) → f_{16}
Segment(S_{10}, D_6) → g_{16}
Segment(C_6, E_6) → h_{16}
Segment(O_{11}, C_{11}) → i_{16}
Segment(P_{10}, F) → j_{16}
Segment(J_{12}, F) → k_{16}
Segment(L_{10}, R_{10}) → l_{16}
Segment(H_{12}, M_{11}) → m_{16}
Segment(L_{12}, Q_{11}) → n_{16}
Segment(G_6, I_6) → p_{16}
Segment(H_{11}, N_{11}) → q_{16}
Segment(C_{12}, I_{11}) → r_{16}
Segment(O_{10}, Z_5) → s_{16}
Segment(Z_{10}, T_{10}) → t_{16}
Segment(K_{11}, U_{10}) → a_{17}
Segment(A_6, W_5) → b_{17}
Segment(B_6, D_{11}) → c_{17}
Segment(U_{11}, G_{11}) → d_{17}
Segment(I_4, A_{11}) → e_{17}
Segment(B_{11}, R_{11}) → f_{17}
Segment(F_6, T_{11}) → g_{17}
Segment(E_{12}, E) → h_{17}
Segment(E, Q_{10}) → i_{17}
Segment(I_{12}, G) → j_{17}
Segment(G, H_6) → k_{17}
Segment(G_{12}, Z_{11}) → l_{17}
Segment(M_{10}, B_{10}) → m_{17}
Segment(C_{10}, D) → n_{17}
Segment(D, F_{12}) → p_{17}
Segment(A_{12}, G_{10}) → q_{17}
Segment(W_9, A_{10}) → r_{17}
Segment(C, D_{10}) → s_{17}
Segment(C, Z_9) → t_{17}
Segment(B_{12}, H_3) → a_{18}
Segment(V_9, H_{10}) → b_{18}
Segment(A, T_9) → c_{18}
Segment(F_{10}, A) → d_{18}
Intersect(a, m) → A_{13}
Segment(A_{13}, U_9) → e_{18}
Segment(H_3, A_{13}) → f_{18}
Segment(A_{13}, I_3) → g_{18}
Segment(E_{10}, B) → h_{18}
Segment(K_3, E_3) → i_{18}
Segment(O_5, I_{10}) → j_{18}
Intersect(a, n) → B_{13}
Segment(I_3, B_{13}) → k_{18}
Segment(J_3, B_{13}) → l_{18}
Segment(B_{13}, L_5) → m_{18}
Segment(K_{10}, N_{10}) → n_{18}
Segment(T_5, J_{10}) → p_{18}
Segment(D_3, J_{11}) → q_{18}
Point(m) → C_{13}
Intersect(d, m) → D_{13}
Intersect(f, m) → E_{13}
Intersect(e, m) → F_{13}
Intersect(c, e) → G_{13}
Intersect(e, n) → H_{13}
Intersect(g, m) → I_{13}
Intersect(c, f) → J_{13}
Intersect(f, n) → K_{13}
Intersect(d, n) → L_{13}
Intersect(c, d) → M_{13}
Intersect(c, g) → N_{13}
Segment(G_{10}, A_{12}) → r_{18}
Segment(Z_{11}, A_{12}) → s_{18}
Segment(Z_{11}, G_{13}) → p_{19}
Segment(G_{13}, A) → q_{19}
Segment(A, F_{10}) → r_{19}
Segment(F_{10}, G_{10}) → s_{19}
Segment(A_{10}, W_9) → p_{20}
Segment(T_9, W_9) → q_{20}
Segment(T_9, A) → r_{20}
Segment(A_{10}, B_{10}) → s_{20}
Segment(B_{10}, G_{13}) → t_{20}
Point(b) → O_{13}
Polygon(I_{13}, N_{13}, S_{10}, R_{10}, J_{13}, P_{13}, K_{12}, J_{12}, F) → poly28, i_{25}, n_{23}, s_{22}, r_{22}, j_{27}, p_{22}, k_{25}, j_{28}, f_{25}
Segment(K_6, H) → t_{21}
Segment(H, T_{12}) → t_{22}
Segment(Q_{12}, P_{11}) → q_{23}
Segment(J_6, M_{12}) → r_{23}
Segment(S_{11}, M_4) → s_{23}
Segment(N_{12}, W_{11}) → t_{23}
Segment(Z_3, O_{12}) → n_{24}
Segment(L_4, R_4) → q_{24}
Segment(U_{12}, Z_{12}) → r_{24}
Segment(Z_{12}, W_{12}) → s_{24}
Segment(S_{12}, I) → t_{24}
Segment(I, U_{12}) → l_{25}
Segment(V_{12}, P_{12}) → m_{25}
Segment(R_{12}, Q_4) → n_{25}
Segment(W_{12}, D_4) → p_{25}
Segment(T_4, K) → q_{25}
Segment(J, U_4) → r_{25}
Segment(J, Z_{12}) → s_{25}
Segment(P_4, V_4) → t_{25}
Intersect(c, l) → Q_{13}
Segment(W_4, Q_{13}) → b_{26}
Segment(Q_{13}, G_4) → k_{26}
Intersect(l, m) → R_{13}
Segment(F_4, R_{13}) → l_{26}
Segment(C_4, E_4) → m_{26}
Segment(U_6, S_4) → n_{26}
Segment(T_6, R_{13}) → p_{26}
Segment(O_4, Q_6) → q_{26}
Segment(W_3, A_4) → r_{26}
Segment(B_4, Z_6) → s_{26}
Segment(R_6, L_6) → t_{26}
Segment(V_{11}, T_3) → b_{27}
Segment(J_4, M_4) → c_{27}
Segment(H_4, N_4) → f_{27}
Segment(U_3, K_2) → i_{27}
Segment(K_4, M_6) → k_{27}
Segment(F_{11}, J_2) → l_{27}
Segment(J_4, P_2) → m_{27}
Segment(S_2, E_1) → n_{27}
Segment(K_1, H_2) → p_{27}
Segment(P_7, I_2) → q_{27}
Segment(N_6, D_1) → r_{27}
Segment(S_7, I_7) → s_{27}
Segment(M_7, O_6) → t_{27}
Segment(I_7, V_3) → b_{28}
Segment(V_3, H_7) → c_{28}
Segment(A_7, K_7) → f_{28}
Segment(E_7, S_6) → i_{28}
Segment(B_7, N) → k_{28}
Segment(D_7, N) → l_{28}
Segment(P_6, V_6) → m_{28}
Intersect(l, n) → S_{13}
Segment(C_7, S_{13}) → n_{28}
Segment(S_{13}, W_6) → p_{28}
Segment(Q_2, W_{10}) → q_{28}
Segment(O_2, E_{11}) → r_{28}
Segment(V_{10}, Z_2) → s_{28}
Segment(V_5, L_2) → t_{28}
Segment(C_3, E_2) → b_{29}
Segment(E_5, O_2) → c_{29}
Segment(E_5, C_9) → f_{29}
Segment(G_5, M_2) → h_{29}
Segment(J_5, D_5) → i_{29}
Segment(H_9, B_3) → j_{29}
Segment(F_2, L_3) → k_{29}
Segment(H_1, N_2) → l_{29}
Segment(D_2, R_2) → m_{29}
Segment(F_5, T_{13}) → n_{29}
Segment(G_2, M_1) → p_{29}
Segment(W_1, I_1) → q_{29}
Segment(L_1, F_1) → r_{29}
Segment(Q_7, U) → t_{29}
Segment(U_7, G_1) → b_{30}
Segment(L_7, F_7) → c_{30}
Segment(J_7, T_8) → e_{30}
Segment(Z_7, R_7) → f_{30}
Segment(T_7, N_7) → h_{30}
Segment(U_8, C_8) → i_{30}
Segment(O_7, Q_8) → j_{30}
Segment(A_8, G_8) → k_{30}
Segment(W_7, I_8) → l_{30}
Segment(H_8, R_8) → m_{30}
Segment(B_8, L_8) → n_{30}
Segment(G_{10}, A_{12}) → m_1
Segment(V_7, T_2) → n_1
Segment(D_8, T) → t_{18}
Intersect(k, t) → J_1
Segment(K_8, J_1) → a_{19}
Segment(J_1, M_8) → b_{19}
Intersect(j, t) → U_{13}
Segment(J_8, U_{13}) → c_{19}
Segment(U_{13}, F_8) → d_{19}
Intersect(i, t) → V_{13}
Segment(E_8, V_{13}) → e_{19}
Segment(V_{13}, W_2) → f_{19}
Segment(V_2, R) → g_{19}
Segment(R, B_2) → h_{19}
Segment(U_2, W_{13}) → i_{19}
Segment(A_2, S) → j_{19}
Segment(Z_{13}, I_1) → k_{19}
Segment(Z_{13}, K_1) → l_{19}
Segment(Z_1, V_1) → m_{19}
Segment(P_1, N_1) → n_{19}
Segment(Z_{13}, V) → t_{19}
Segment(C_5, U_1) → a_{20}
Segment(O_3, Q_1) → b_{20}
Intersect(g, t) → A_{14}
Segment(S_1, A_{14}) → c_{20}
Segment(A_{14}, C_2) → d_{20}
Intersect(f, t) → B_{14}
Segment(R_1, B_{14}) → e_{20}
Segment(B_{14}, B_5) → f_{20}
Segment(B_9, Z_4) → g_{20}
Segment(N_3, Q_3) → h_{20}
Intersect(e, t) → C_{14}
Segment(P_3, C_{14}) → i_{20}
Intersect(d, t) → D_{14}
Segment(S_3, D_{14}) → j_{20}
Segment(D_{14}, R_9) → k_{20}
Segment(R_3, O_9) → l_{20}
Segment(S_9, A_9) → m_{20}
Intersect(a, t) → E_{14}
Segment(Q_9, E_{14}) → n_{20}
Intersect(a, s) → F_{14}
Segment(F_{14}, P_9) → a_{21}
Segment(F_{14}, L_9) → b_{21}
Segment(N_9, F_{14}) → c_{21}
Segment(A_5, C_{14}) → d_{21}
Segment(M_3, G_{14}) → e_{21}
Segment(J_9, L_9) → f_{21}
Segment(F_9, Z_8) → g_{21}
Segment(G_9, I_5) → h_{21}
Segment(S_5, I_9) → i_{21}
Intersect(a, q) → H_{14}
Segment(D_9, H_{14}) → j_{21}
Segment(H_{14}, R_5) → k_{21}
Intersect(a, r) → I_{14}
Segment(M_9, I_{14}) → l_{21}
Segment(I_{14}, E_9) → m_{21}
Segment(A_3, F_3) → n_{21}
Segment(K_5, U_5) → p_{21}
Segment(H_5, N_5) → q_{21}
Segment(P_5, G_3) → r_{21}
Intersect(a, p) → J_{14}
Segment(Q_5, J_{14}) → s_{21}
Segment(J_{14}, M_5) → a_{22}
Segment(G_7, O) → b_{22}
Intersect(l, r) → K_{14}
Segment(T_8, K_{14}) → c_{22}
Intersect(l, s) → L_{14}
Segment(S_8, L_{14}) → d_{22}
Segment(W_8, O) → e_{22}
Intersect(l, r) → M_{14}
Segment(V_8, M_{14}) → f_{22}
Segment(M_{14}, P_8) → g_{22}
Segment(O_8, L_{14}) → h_{22}
Intersect(l, t) → N_{14}
Segment(N_8, N_{14}) → i_{22}
Segment(E_{14}, B) → j_{22}
Segment(D_{14}, C) → k_{22}
Segment(B, K) → l_{22}
Segment(C_{14}, D) → m_{22}
Segment(B_{14}, E) → n_{22}
Segment(R, G) → q_{22}
Segment(A, Q_{13}) → a_{23}
Segment(R_{13}, A_{13}) → b_{23}
Segment(B_{13}, S_{13}) → c_{23}
Segment(N, J_{14}) → d_{23}
Segment(H_{14}, O) → e_{23}
Segment(M_{14}, I_{14}) → f_{23}
Segment(F_{14}, L_{14}) → g_{23}
Segment(N_{14}, E_{14}) → h_{23}
Segment(V_{13}, H) → i_{23}
Segment(U_{13}, I) → j_{23}
Segment(J_1, J) → k_{23}
Segment(A_{14}, F) → l_{23}
Segment(N_{14}, K) → m_{23}
Segment(G_{10}, M_{13}) → p_{23}
Segment(M_{13}, W_9) → a_{24}
Segment(W_9, T_9) → b_{24}
Segment(T_9, A) → c_{24}
Segment(A, F_{10}) → d_{24}
Segment(F_{10}, G_{10}) → e_{24}
Segment(G_{10}, D_{10}) → f_{24}
Segment(C, D_{10}) → g_{24}
Segment(C, Z_9) → h_{24}
Segment(Z_9, A_{10}) → i_{24}
Segment(A_{10}, B_{10}) → j_{24}
Segment(B_{10}, G_{13}) → k_{24}
Segment(G_{13}, Z_{11}) → l_{24}
Segment(Z_{11}, A_{12}) → m_{24}
Segment(A_{12}, M_{13}) → p_{24}
Segment(M_{13}, A_{10}) → a_{25}
Segment(W_9, V_9) → b_{25}
Segment(V_9, D_{13}) → c_{25}
Segment(D_{13}, B_{12}) → d_{25}
Segment(A_{12}, B_{12}) → e_{25}
Segment(U_9, A_{13}) → g_{25}
Segment(A_{13}, I_3) → h_{25}
Segment(I_3, H_3) → j_{25}
Segment(H_3, D_{13}) → a_{26}
Segment(F_{13}, C_{12}) → c_{26}
Segment(C_{12}, Z_{11}) → d_{26}
Segment(B_{12}, C_{12}) → e_{26}
Segment(F_{10}, E_{10}) → f_{26}
Segment(E_{10}, D_{10}) → g_{26}
Segment(E_{10}, B) → h_{26}
Segment(C_{10}, Z_9) → i_{26}
Segment(C_{10}, B_{10}) → j_{26}
Segment(C_{10}, D) → a_{27}
Segment(D, F_{12}) → d_{27}
Segment(G_{12}, G_{13}) → e_{27}
Segment(F_{12}, G_{12}) → g_{27}
Segment(G_{12}, H_{12}) → h_{27}
Segment(H_{12}, E_{12}) → a_{28}
Segment(E_{12}, F_{12}) → d_{28}
Segment(G_{13}, M_{10}) → e_{28}
Segment(L_{10}, R_{10}) → g_{28}
Segment(M_{11}, H_{12}) → h_{28}
Segment(E_{12}, E) → a_{29}
Segment(E, Q_{10}) → d_{29}
Segment(P_{10}, F) → e_{29}
Segment(J_{12}, F) → g_{29}
Segment(J_{12}, K_{12}) → s_{29}
Segment(K_{12}, L_{11}) → a_{30}
Segment(D_6, S_{10}) → d_{30}
Segment(S_{10}, R_{10}) → g_{30}
Segment(R_{10}, Q_{10}) → p_{30}
Segment(Q_{10}, P_{10}) → q_{30}
Segment(P_{10}, S_{10}) → r_{30}
Segment(L_{10}, M_{10}) → s_{30}
Segment(M_{10}, N_{10}) → t_{30}
Segment(O_{10}, L_{10}) → a_{31}
Segment(O_{10}, N_{10}) → b_{31}
Segment(F_{13}, I_{11}) → c_{31}
Segment(I_{11}, H_{11}) → d_{31}
Segment(H_{11}, N_{11}) → e_{31}
Segment(N_{11}, O_{11}) → f_{31}
Segment(O_{11}, C_{11}) → g_{31}
Segment(C_{11}, B_{11}) → h_{31}
Segment(B_{11}, R_{11}) → i_{31}
Segment(R_{11}, S_{11}) → j_{31}
Segment(S_{11}, M_4) → k_{31}
Segment(M_4, L_4) → l_{31}
Segment(L_4, R_4) → m_{31}
Segment(R_4, S_4) → n_{31}
Segment(S_4, U_6) → p_{31}
Segment(U_6, T_6) → q_{31}
Segment(T_6, W_6) → r_{31}
Segment(W_6, S_{13}) → s_{31}
Segment(T_6, R_{13}) → t_{31}
Segment(R_{13}, F_4) → a_{32}
Segment(E_4, F_4) → b_{32}
Segment(E_4, C_4) → c_{32}
Segment(C_4, Z_3) → d_{32}
Segment(Z_3, O_{12}) → e_{32}
Segment(O_{12}, N_{12}) → f_{32}
Segment(N_{12}, W_{11}) → g_{32}
Segment(W_{11}, T_{11}) → h_{32}
Segment(T_{11}, F_6) → i_{32}
Segment(F_6, E_6) → j_{32}
Segment(E_6, C_6) → k_{32}
Segment(C_6, Z_5) → l_{32}
Segment(Z_5, O_{10}) → m_{32}
Segment(O_{11}, L_{11}) → n_{32}
Segment(L_{11}, M_{11}) → p_{32}
Segment(M_{11}, N_{11}) → q_{32}
Segment(E_6, D_6) → r_{32}
Segment(D_6, G_6) → s_{32}
Segment(G_6, F_6) → t_{32}
Segment(G_6, I_6) → a_{33}
Segment(L_{12}, Q_{11}) → b_{33}
Segment(P_{11}, Q_{12}) → c_{33}
Segment(M_{12}, J_6) → d_{33}
Segment(R_{12}, Q_4) → e_{33}
Segment(P_{12}, V_{12}) → f_{33}
Segment(W_{12}, D_4) → g_{33}
Segment(P_4, V_4) → h_{33}
Segment(W_4, Q_{13}) → i_{33}
Segment(G_4, Q_{13}) → j_{33}
Segment(D_{13}, H_{10}) → k_{33}
Segment(H_{10}, K_{10}) → l_{33}
Segment(K_{10}, N_{10}) → m_{33}
Segment(K_3, E_3) → n_{33}
Segment(O_5, I_{10}) → p_{33}
Segment(J_{10}, T_5) → q_{33}
Segment(D_3, J_{11}) → r_{33}
Segment(K_{11}, U_{10}) → s_{33}
Segment(W_5, A_6) → t_{33}
Segment(B_6, D_{11}) → a_{34}
Segment(T_{10}, Z_{10}) → b_{34}
Segment(A_{11}, I_4) → c_{34}
Segment(G_{11}, U_{11}) → d_{34}
Segment(V_{11}, T_3) → e_{34}
Segment(H_4, N_4) → f_{34}
Segment(W_3, A_4) → g_{34}
Segment(Q_6, O_4) → h_{34}
Segment(B_4, Z_6) → i_{34}
Segment(P_6, V_6) → j_{34}
Segment(A_7, K_7) → k_{34}
Segment(E_7, S_6) → l_{34}
Segment(R_6, L_6) → m_{34}
Segment(H_7, V_3) → n_{34}
Segment(U_3, K_2) → p_{34}
Segment(K_4, M_6) → q_{34}
Segment(J_4, P_2) → r_{34}
Segment(J_2, F_{11}) → s_{34}
Segment(E_{11}, O_2) → t_{34}
Segment(Q_2, W_{10}) → a_{35}
Segment(L_2, V_5) → b_{35}
Segment(Z_2, V_{10}) → c_{35}
Segment(A_3, F_3) → d_{35}
Segment(K_5, U_5) → e_{35}
Segment(H_5, N_5) → f_{35}
Segment(P_5, G_3) → g_{35}
Segment(S_5, I_9) → h_{35}
Segment(G_9, I_5) → i_{35}
Segment(H_9, B_3) → j_{35}
Segment(D_5, J_5) → k_{35}
Segment(G_5, M_2) → l_{35}
Segment(E_2, C_3) → m_{35}
Segment(N_2, H_1) → n_{35}
Segment(D_2, R_2) → p_{35}
Segment(S_2, E_1) → q_{35}
Segment(K_1, H_2) → r_{35}
Segment(I_2, P_7) → s_{35}
Segment(D_1, N_6) → t_{35}
Segment(S_7, I_7) → a_{36}
Segment(O_6, M_7) → b_{36}
Segment(L_7, F_7) → c_{36}
Segment(T_8, J_7) → d_{36}
Segment(G_7, O) → e_{36}
Segment(O, W_8) → f_{36}
Segment(D_7, N) → g_{36}
Segment(N, B_7) → h_{36}
Segment(D_7, E_7) → i_{36}
Segment(E_7, F_7) → j_{36}
Segment(F_7, G_7) → k_{36}
Segment(G_7, D_7) → l_{36}
Segment(K_7, J_7) → m_{36}
Segment(J_7, I_7) → n_{36}
Segment(I_7, H_7) → p_{36}
Segment(K_7, H_7) → q_{36}
Segment(N_6, O_6) → r_{36}
Segment(O_6, L_6) → s_{36}
Segment(L_6, M_6) → t_{36}
Segment(M_6, N_6) → a_{37}
Segment(W_8, V_8) → b_{37}
Segment(V_8, U_8) → c_{37}
Segment(U_8, T_8) → d_{37}
Segment(T_8, W_8) → e_{37}
Segment(O_7, N_7) → f_{37}
Segment(N_7, M_7) → g_{37}
Segment(M_7, L_7) → h_{37}
Segment(L_7, O_7) → i_{37}
Segment(S_7, R_7) → j_{37}
Segment(R_7, Q_7) → k_{37}
Segment(Q_7, P_7) → l_{37}
Segment(P_7, S_7) → m_{37}
Segment(Q_8, O_7) → n_{37}
Segment(C_8, U_8) → p_{37}
Segment(Z_7, R_7) → q_{37}
Segment(T_7, N_7) → r_{37}
Segment(U_7, G_1) → s_{37}
Segment(U, Q_7) → t_{37}
Segment(V, Z_{13}) → a_{38}
Segment(L_1, F_1) → b_{38}
Segment(G_1, D_1) → c_{38}
Segment(D_1, E_1) → d_{38}
Segment(E_1, F_1) → e_{38}
Segment(G_1, F_1) → f_{38}
Segment(V, S) → g_{38}
Segment(S, Q) → h_{38}
Segment(Q, O_1) → i_{38}
Segment(O_1, N_1) → j_{38}
Segment(N_1, M_1) → k_{38}
Segment(M_1, L_1) → l_{38}
Segment(L_1, O_1) → m_{38}
Segment(M_1, G_2) → n_{38}
Segment(W_1, I_1) → p_{38}
Segment(I_1, H_1) → q_{38}
Segment(H_1, K_1) → r_{38}
Segment(K_1, Z_{13}) → s_{38}
Segment(Z_{13}, I_1) → t_{38}
Point(n_{29}) → O_{14}
Segment(T_{13}, F_5) → a_{39}
Segment(L_3, F_2) → b_{39}
Segment(M_3, G_{14}) → c_{39}
Segment(C_9, E_5) → d_{39}
Segment(Z_8, F_9) → e_{39}
Segment(L_9, J_9) → f_{39}
Segment(M_9, I_{14}) → g_{39}
Segment(I_{14}, E_9) → h_{39}
Segment(D_9, H_{14}) → i_{39}
Segment(H_{14}, R_5) → j_{39}
Segment(R_5, Q_5) → k_{39}
Segment(Q_5, J_{14}) → l_{39}
Segment(J_{14}, M_5) → m_{39}
Segment(M_5, L_5) → n_{39}
Segment(L_5, B_{13}) → p_{39}
Segment(B_{13}, J_3) → q_{39}
Segment(J_3, I_3) → r_{39}
Segment(J_3, K_3) → s_{39}
Segment(K_3, H_3) → t_{39}
Segment(N_5, M_5) → a_{40}
Segment(N_5, O_5) → b_{40}
Segment(O_5, L_5) → c_{40}
Segment(H_{10}, I_{10}) → d_{40}
Segment(I_{10}, J_{10}) → e_{40}
Segment(J_{10}, K_{10}) → f_{40}
Segment(K_{11}, H_{11}) → g_{40}
Segment(I_{11}, J_{11}) → h_{40}
Segment(J_{11}, K_{11}) → i_{40}
Segment(W_5, T_5) → j_{40}
Segment(T_5, U_5) → k_{40}
Segment(U_5, V_5) → l_{40}
Segment(V_5, W_5) → m_{40}
Segment(G_3, E_3) → n_{40}
Segment(G_3, F_3) → p_{40}
Segment(F_3, D_3) → q_{40}
Segment(D_3, E_3) → r_{40}
Segment(A_6, B_6) → s_{40}
Segment(B_6, C_6) → t_{40}
Segment(C_6, Z_5) → a_{41}
Segment(A_6, Z_5) → b_{41}
Segment(U_9, V_9) → c_{41}
Segment(U_9, T_9) → d_{41}
Segment(Q_5, P_5) → e_{41}
Segment(P_5, S_5) → f_{41}
Segment(S_5, R_5) → g_{41}
Segment(J_5, I_5) → h_{41}
Segment(I_5, H_5) → i_{41}
Segment(K_5, H_5) → j_{41}
Segment(K_5, J_5) → k_{41}
Segment(A_3, Z_2) → l_{41}
Segment(Z_2, C_3) → m_{41}
Segment(C_3, B_3) → n_{41}
Segment(B_3, A_3) → p_{41}
Segment(V_{10}, U_{10}) → q_{41}
Segment(U_{10}, T_{10}) → r_{41}
Segment(T_{10}, W_{10}) → s_{41}
Segment(W_{10}, V_{10}) → t_{41}
Segment(F_{11}, E_{11}) → a_{42}
Segment(E_{11}, D_{11}) → b_{42}
Segment(D_{11}, G_{11}) → c_{42}
Segment(G_{11}, F_{11}) → d_{42}
Segment(Z_{10}, C_{11}) → e_{42}
Segment(Z_{10}, A_{11}) → f_{42}
Segment(A_{11}, B_{11}) → g_{42}
Segment(U_{11}, T_{11}) → h_{42}
Segment(W_{11}, V_{11}) → i_{42}
Segment(V_{11}, U_{11}) → j_{42}
Segment(R_{11}, Q_{11}) → k_{42}
Segment(Q_{11}, P_{11}) → l_{42}
Segment(P_{11}, S_{11}) → m_{42}
Segment(N_{12}, M_{12}) → n_{42}
Segment(M_{12}, P_{12}) → p_{42}
Segment(P_{12}, O_{12}) → q_{42}
Segment(L_4, O_4) → r_{42}
Segment(O_4, N_4) → s_{42}
Segment(N_4, M_4) → t_{42}
Segment(A_4, B_4) → a_{43}
Segment(B_4, C_4) → b_{43}
Segment(Z_3, A_4) → c_{43}
Segment(R_4, Q_4) → d_{43}
Segment(Q_4, P_4) → e_{43}
Segment(P_4, S_4) → f_{43}
Segment(E_4, D_4) → g_{43}
Segment(D_4, G_4) → h_{43}
Segment(G_4, F_4) → i_{43}
Segment(V_3, U_3) → j_{43}
Segment(U_3, T_3) → k_{43}
Segment(T_3, W_3) → l_{43}
Segment(W_3, V_3) → m_{43}
Segment(J_4, I_4) → n_{43}
Segment(I_4, H_4) → p_{43}
Segment(H_4, K_4) → q_{43}
Segment(J_4, K_4) → r_{43}
Segment(R_6, Q_6) → s_{43}
Segment(Q_6, P_6) → t_{43}
Segment(P_6, S_6) → a_{44}
Segment(S_6, R_6) → b_{44}
Segment(B_7, A_7) → c_{44}
Segment(A_7, Z_6) → d_{44}
Segment(Z_6, C_7) → e_{44}
Segment(C_7, S_{13}) → f_{44}
Segment(C_7, B_7) → g_{44}
Segment(H_2, I_2) → h_{44}
Segment(I_2, K_2) → i_{44}
Segment(K_2, J_2) → j_{44}
Segment(J_2, H_2) → k_{44}
Segment(T, D_8) → l_{44}
Segment(T_2, V_7) → m_{44}
Segment(Q, U_2) → n_{44}
Segment(A_2, Q) → p_{44}
Segment(Z_1, V_1) → q_{44}
Segment(P_1, N_1) → r_{44}
Segment(O_3, Q_1) → s_{44}
Segment(C_5, U_1) → t_{44}
Segment(O_9, R_3) → a_{45}
Segment(S_9, A_9) → b_{45}
Segment(B_9, Z_4) → c_{45}
Segment(Q_3, N_3) → d_{45}
Segment(P_9, F_{14}) → e_{45}
Segment(F_{14}, N_9) → f_{45}
Segment(N_9, M_9) → g_{45}
Segment(M_9, L_9) → h_{45}
Segment(L_9, O_9) → i_{45}
Segment(N_9, O_9) → j_{45}
Segment(B_9, A_9) → k_{45}
Segment(A_9, Z_8) → l_{45}
Segment(Z_8, C_9) → m_{45}
Segment(C_9, B_9) → n_{45}
Segment(D_{14}, R_9) → p_{45}
Segment(R_9, S_9) → q_{45}
Segment(S_9, P_9) → r_{45}
Segment(P_9, Q_9) → s_{45}
Segment(Q_9, R_9) → t_{45}
Segment(Q_9, E_{14}) → a_{46}
Segment(D_{14}, S_3) → b_{46}
Segment(S_3, P_3) → c_{46}
Segment(P_3, Q_3) → d_{46}
Segment(R_3, Q_3) → e_{46}
Segment(S_3, R_3) → f_{46}
Segment(P_3, C_{14}) → g_{46}
Segment(C_{14}, A_5) → h_{46}
Segment(A_5, B_5) → i_{46}
Segment(B_5, C_5) → j_{46}
Segment(C_5, Z_4) → k_{46}
Segment(Z_4, A_5) → l_{46}
Segment(B_{14}, B_5) → m_{46}
Segment(B_{14}, R_1) → n_{46}
Segment(R_1, Q_1) → p_{46}
Segment(Q_1, P_1) → q_{46}
Segment(P_1, S_1) → r_{46}
Segment(S_1, A_{14}) → s_{46}
Segment(A_{14}, C_2) → t_{46}
Segment(U_1, V_1) → a_{47}
Segment(V_1, W_1) → b_{47}
Segment(W_1, T_{13}) → c_{47}
Segment(T_{13}, U_1) → d_{47}
Segment(T_1, U_1) → e_{47}
Segment(O_3, L_3) → f_{47}
Segment(L_3, M_3) → g_{47}
Segment(M_3, N_3) → h_{47}
Segment(N_3, O_3) → i_{47}
Segment(R_1, S_1) → j_{47}
Segment(B_2, C_2) → k_{47}
Segment(C_2, Z_1) → l_{47}
Segment(B_2, A_2) → m_{47}
Segment(B_2, R) → n_{47}
Segment(R, V_2) → p_{47}
Segment(V_2, U_2) → q_{47}
Segment(U_2, T_2) → r_{47}
Segment(T_2, W_2) → s_{47}
Segment(W_2, V_2) → t_{47}
Segment(T, S) → a_{48}
Segment(U, V) → b_{48}
Segment(U, T) → c_{48}
Segment(T_7, U_7) → d_{48}
Segment(U_7, V_7) → e_{48}
Segment(D_8, E_8) → f_{48}
Segment(E_8, F_8) → g_{48}
Segment(F_8, G_8) → h_{48}
Segment(G_8, D_8) → i_{48}
Segment(Z_1, A_2) → j_{48}
Segment(W_2, V_{13}) → k_{48}
Segment(V_{13}, E_8) → l_{48}
Segment(F_8, U_{13}) → m_{48}
Segment(U_{13}, J_8) → n_{48}
Segment(J_8, K_8) → p_{48}
Segment(K_8, H_8) → q_{48}
Segment(I_8, W_7) → r_{48}
Segment(W_7, T_7) → s_{48}
Segment(V_7, W_7) → t_{48}
Segment(G_8, A_8) → a_{49}
Segment(B_8, A_8) → b_{49}
Segment(A_8, Z_7) → c_{49}
Segment(Z_7, C_8) → d_{49}
Segment(C_8, B_8) → e_{49}
Segment(B_8, L_8) → f_{49}
Segment(H_8, R_8) → g_{49}
Segment(O_8, L_{14}) → h_{49}
Segment(L_{14}, S_8) → i_{49}
Segment(S_8, R_8) → j_{49}
Segment(R_8, Q_8) → k_{49}
Segment(Q_8, P_8) → l_{49}
Segment(P_8, S_8) → m_{49}
Segment(P_8, M_{14}) → n_{49}
Segment(M_{14}, V_8) → p_{49}
Segment(O_8, L_8) → q_{49}
Segment(L_8, M_8) → r_{49}
Segment(M_8, N_8) → s_{49}
Segment(O_8, N_8) → t_{49}
Segment(J_1, M_8) → a_{50}
Segment(J_1, K_8) → b_{50}
Segment(J_8, I_8) → c_{50}
Segment(I_8, H_8) → d_{50}
Segment(N_8, N_{14}) → e_{50}
Segment(U_6, V_6) → f_{50}
Segment(V_6, W_6) → g_{50}
Segment(J_{12}, I_{12}) → h_{50}
Segment(I_{12}, G) → i_{50}
Segment(G, H_6) → j_{50}
Segment(H_6, I_6) → k_{50}
Segment(K_{12}, L_{12}) → l_{50}
Segment(I_{12}, L_{12}) → m_{50}
Segment(I_6, J_6) → n_{50}
Segment(J_6, K_6) → p_{50}
Segment(K_6, H_6) → q_{50}
Segment(K_6, H) → r_{50}
Segment(H, T_{12}) → s_{50}
Segment(T_{12}, S_{12}) → t_{50}
Segment(S_{12}, R_{12}) → a_{51}
Segment(R_{12}, Q_{12}) → b_{51}
Segment(Q_{12}, T_{12}) → c_{51}
Segment(S_{12}, I) → d_{51}
Segment(I, U_{12}) → e_{51}
Segment(U_{12}, V_{12}) → f_{51}
Segment(V_{12}, W_{12}) → g_{51}
Segment(W_{12}, Z_{12}) → h_{51}
Segment(Z_{12}, U_{12}) → i_{51}
Segment(Z_{12}, J) → j_{51}
Segment(J, U_4) → k_{51}
Segment(U_4, T_4) → l_{51}
Segment(V_4, U_4) → m_{51}
Segment(V_4, W_4) → n_{51}
Segment(W_4, T_4) → p_{51}
Segment(T_4, K) → q_{51}
Segment(L_2, M_2) → r_{51}
Segment(N_2, M_2) → s_{51}
Segment(N_2, O_2) → t_{51}
Segment(O_2, L_2) → a_{52}
Segment(Q_2, P_2) → b_{52}
Segment(P_2, S_2) → c_{52}
Segment(S_2, R_2) → d_{52}
Segment(R_2, Q_2) → e_{52}
Segment(F_2, G_2) → f_{52}
Segment(G_2, D_2) → g_{52}
Segment(D_2, E_2) → h_{52}
Segment(E_2, F_2) → i_{52}
Segment(E_5, F_5) → j_{52}
Segment(F_5, G_5) → k_{52}
Segment(G_5, D_5) → l_{52}
Segment(D_5, E_5) → m_{52}
Intersect(q_{11}, r_{11}) → P_{14}
Segment(P_{14}, H_9) → n_{52}
Segment(H_9, I_9) → p_{52}
Segment(I_9, J_9) → q_{52}
Segment(J_9, P_{14}) → r_{52}
Segment(G_9, D_9) → s_{52}
Segment(D_9, E_9) → t_{52}
Segment(E_9, F_9) → a_{53}
Segment(F_9, G_9) → b_{53}
Point(l_{24}) → Q_{14}
Point(p_{24}) → R_{14}
Segment(Q_{14}, R_{14}) → c_{53}
Point(d_{25}) → S_{14}
Segment(R_{14}, S_{14}) → d_{53}
Point(c_{26}) → T_{14}
Segment(S_{14}, T_{14}) → e_{53}
Segment(T_{14}, Q_{14}) → f_{53}
Intersect(m_{22}, a_{23}) → U_{14}
Point(k_{24}) → V_{14}
Point(a_{25}) → W_{14}
Intersect(k_{22}, a_{23}) → Z_{14}
Polygon(U_{14}, V_{14}, W_{14}, Z_{14}, R_{14}, Q_{14}) → poly1, u_{14}, v_{14}, w_{14}, z_{14}, r_{53}, q_{53}
Point(e_{27}) → A_{15}
Point(h_{28}) → B_{15}
Intersect(n_{22}, a_{23}) → C_{15}
Point(g_{28}) → D_{15}
Point(e_{28}) → E_{15}
Polygon(U_{14}, A_{15}, B_{15}, C_{15}, D_{15}, E_{15}) → poly2, u_1, a_{54}, b_{54}, c_{54}, d_{54}, e_{54}
Intersect(p_{17}, l_{22}) → F_{15}
Point(a_{27}) → G_{15}
Point(p_{17}) → H_{15}
Polygon(F_{15}, G_{15}, V_{14}, U_{14}, A_{15}, H_{15}) → poly3, f_{54}, g_{53}, v_1, u_2, a_{55}, h_{53}
Intersect(m_{22}, c_{31}) → I_{15}
Point(m_{33}) → J_{15}
Intersect(l_{24}, c_{53}) → K_{15}
Polygon(I_{15}, J_{15}, E_{15}, U_{14}, K_{15}, T_{14}) → poly4, i_{53}, j_{53}, e_{55}, u_3, k_{53}, t_{53}
Point(a_{24}) → L_{15}
Point(c_{25}) → M_{15}
Intersect(k_{22}, b_{23}) → N_{15}
Polygon(Z_{14}, L_{15}, M_{15}, N_{15}, S_{14}, R_{14}) → poly5, z_1, l_{53}, m_{53}, n_{53}, s_{53}, r_{54}
Point(h_{24}) → O_{15}
Intersect(k_{22}, l_{22}) → P_{15}
Point(g_{24}) → Q_{15}
Point(p_{23}) → R_{15}
Polygon(Z_{14}, W_{14}, O_{15}, P_{15}, Q_{15}, R_{15}) → poly6, z_2, w_1, o_{15}, p_{53}, q_{54}, r_{55}
Point(g_{28}) → S_{15}
Point(i_{17}) → T_{15}
Intersect(i_{17}, l_{22}) → U_{15}
Point(a_{29}) → V_{15}
Polygon(C_{15}, S_{15}, T_{15}, U_{15}, V_{15}, B_{15}) → poly7, c_{55}, s_{54}, t_{54}, u_{15}, v_{15}, b_{55}
Intersect(l_{22}, l_{23}) → W_{15}
Point(e_{29}) → Z_{15}
Point(g_{16}) → A_{16}
Intersect(g_{16}, a_{23}) → B_{16}
Point(a_{30}) → C_{16}
Point(g_{29}) → D_{16}
Polygon(W_{15}, Z_{15}, A_{16}, B_{16}, C_{16}, D_{16}) → poly8, w_{15}, z_{15}, a_{56}, b_{56}, c_{56}, d_{55}
Intersect(i_{16}, b_{23}) → E_{16}
Point(k_{32}) → F_{16}
Point(g_{16}) → G_{16}
Point(a_{30}) → H_{16}
Point(i_{16}) → I_{16}
Polygon(E_{16}, F_{16}, G_{16}, B_{16}, H_{16}, I_{16}) → poly9, e_{56}, f_{55}, g_{54}, b_{57}, h_{54}, i_{54}
Point(m_{32}) → J_{16}
Intersect(n_{22}, b_{23}) → K_{16}
Point(e_{31}) → L_{16}
Point(h_{28}) → M_{16}
Polygon(C_{15}, D_{15}, J_{16}, K_{16}, L_{16}, M_{16}) → poly10, c_{57}, d_{56}, j_{54}, k_{54}, l_{54}, m_{54}
Segment(L_{16}, H_{16}) → n_{54}
Segment(M_{16}, I_{16}) → p_{54}
Segment(Z_{15}, S_{15}) → g_{55}
Segment(A_{16}, T_{15}) → h_{55}
Segment(B_{15}, H_{15}) → i_{55}
Segment(V_{15}, A_{15}) → j_{55}
Segment(G_{15}, W_{14}) → k_{55}
Segment(O_{15}, V_{14}) → l_{55}
Segment(R_{15}, N_{16}) → m_{55}
Point(d_{24}) → O_{16}
Segment(Q_{15}, O_{16}) → n_{55}
Point(g_{25}) → P_{16}
Segment(L_{15}, P_{16}) → p_{55}
Point(c_{24}) → Q_{16}
Segment(M_{15}, Q_{16}) → q_{55}
Segment(T_{14}, R_{14}) → s_{55}
Segment(K_{15}, S_{14}) → t_{55}
Segment(J_{15}, D_{15}) → f_{56}
Segment(J_{16}, E_{15}) → g_{56}
Segment(L_{16}, H_{16}) → h_{56}
Segment(M_{16}, I_{16}) → i_{56}
Point(p_{16}) → R_{16}
Segment(F_{16}, R_{16}) → j_{56}
Point(g_{17}) → S_{16}
Segment(S_{16}, G_{16}) → k_{56}
Segment(T_{16}, D_{16}) → l_{56}
Point(i_{50}) → U_{16}
Segment(C_{16}, U_{16}) → m_{56}
Point(i_{18}) → V_{16}
Point(g_{18}) → W_{16}
Segment(V_{16}, W_{16}) → n_{56}
Point(a_{26}) → Z_{16}
Point(q_{39}) → A_{17}
Segment(Z_{16}, A_{17}) → p_{56}
Point(p_{33}) → B_{17}
Point(m_{33}) → C_{17}
Segment(B_{17}, C_{17}) → q_{56}
Point(p_{18}) → D_{17}
Point(k_{33}) → E_{17}
Segment(D_{17}, E_{17}) → r_{56}
Point(c_{31}) → F_{17}
Point(s_{33}) → G_{17}
Segment(F_{17}, G_{17}) → s_{56}
Point(r_{33}) → H_{17}
Point(e_{31}) → I_{17}
Segment(H_{17}, I_{17}) → t_{56}
Point(k_{32}) → J_{17}
Point(t_{33}) → K_{17}
Segment(J_{17}, K_{17}) → a_{57}
Point(a_{34}) → L_{17}
Point(m_{32}) → M_{17}
Segment(L_{17}, M_{17}) → d_{57}
Point(r_{50}) → N_{17}
Point(p_{16}) → O_{17}
Segment(N_{17}, O_{17}) → e_{57}
Point(j_{50}) → P_{17}
Point(d_{33}) → Q_{17}
Segment(P_{17}, Q_{17}) → f_{57}
Point(c_{33}) → R_{17}
Point(i_{31}) → S_{17}
Segment(R_{17}, S_{17}) → g_{57}
Point(b_{33}) → T_{17}
Point(k_{31}) → U_{17}
Segment(T_{17}, U_{17}) → h_{57}
Point(g_{32}) → V_{17}
Point(f_{33}) → W_{17}
Segment(V_{17}, W_{17}) → i_{57}
Point(e_{32}) → Z_{17}
Point(d_{33}) → A_{18}
Segment(Z_{17}, A_{18}) → j_{57}
Point(s_{50}) → B_{18}
Point(e_{33}) → C_{18}
Segment(B_{18}, C_{18}) → k_{57}
Point(c_{33}) → D_{18}
Point(k_{57}) → E_{18}
Segment(D_{18}, E_{18}) → l_{57}
Segment(F_{18}, E_{18}) → m_{57}
Intersect(l_{25}, l_{22}) → G_{18}
Segment(F_{18}, G_{18}) → n_{57}
Point(l_{25}) → H_{18}
Point(p_{25}) → I_{18}
Segment(H_{18}, I_{18}) → p_{57}
Point(j_{51}) → J_{18}
Point(f_{33}) → K_{18}
Segment(J_{18}, K_{18}) → q_{57}
Point(q_{51}) → L_{18}
Point(h_{33}) → M_{18}
Segment(L_{18}, M_{18}) → r_{57}
Point(i_{33}) → N_{18}
Point(k_{51}) → O_{18}
Segment(N_{18}, O_{18}) → s_{57}
Point(k_{26}) → P_{18}
Point(c_{32}) → Q_{18}
Segment(P_{18}, Q_{18}) → t_{57}
Point(l_{26}) → R_{18}
Point(p_{25}) → S_{18}
Segment(R_{18}, S_{18}) → a_{58}
Point(p_{31}) → T_{18}
Point(e_{33}) → U_{18}
Segment(T_{18}, U_{18}) → b_{58}
Point(m_{31}) → V_{18}
Point(h_{33}) → W_{18}
Segment(V_{18}, W_{18}) → c_{58}
Point(c_{32}) → Z_{18}
Point(g_{34}) → A_{19}
Segment(Z_{18}, A_{19}) → d_{58}
Point(i_{34}) → B_{19}
Point(e_{32}) → C_{19}
Segment(B_{19}, C_{19}) → e_{58}
Point(p_{31}) → D_{19}
Point(p_{28}) → E_{19}
Segment(D_{19}, E_{19}) → f_{58}
Point(j_{34}) → F_{19}
Point(p_{26}) → G_{19}
Segment(F_{19}, G_{19}) → g_{58}
Point(h_{34}) → H_{19}
Point(k_{31}) → I_{19}
Segment(H_{19}, I_{19}) → h_{58}
Point(f_{34}) → J_{19}
Point(m_{31}) → K_{19}
Segment(J_{19}, K_{19}) → i_{58}
Point(g_{32}) → L_{19}
Point(d_{34}) → M_{19}
Segment(L_{19}, M_{19}) → j_{58}
Point(e_{34}) → N_{19}
Point(g_{17}) → O_{19}
Segment(N_{19}, O_{19}) → k_{58}
Point(c_{34}) → P_{19}
Point(i_{16}) → Q_{19}
Segment(P_{19}, Q_{19}) → l_{58}
Point(b_{34}) → R_{19}
Point(i_{31}) → S_{19}
Segment(R_{19}, S_{19}) → m_{58}
Point(c_{34}) → T_{19}
Point(k_{27}) → U_{19}
Segment(T_{19}, U_{19}) → n_{58}
Point(r_{34}) → V_{19}
Point(f_{34}) → W_{19}
Segment(V_{19}, W_{19}) → p_{58}
Point(i_{27}) → Z_{19}
Point(g_{34}) → A_{20}
Segment(Z_{19}, A_{20}) → q_{58}
Point(c_{28}) → B_{20}
Segment(B_{20}, C_{20}) → r_{58}
Point(p_{33}) → D_{20}
Point(m_{39}) → E_{20}
Segment(D_{20}, E_{20}) → s_{58}
Point(f_{35}) → F_{20}
Point(p_{39}) → G_{20}
Segment(F_{20}, G_{20}) → t_{58}
Point(i_{18}) → H_{20}
Point(d_{35}) → I_{20}
Segment(H_{20}, I_{20}) → a_{59}
Point(g_{35}) → J_{20}
Point(r_{33}) → K_{20}
Segment(J_{20}, K_{20}) → b_{59}
Point(p_{21}) → L_{20}
Point(t_{33}) → M_{20}
Segment(L_{20}, M_{20}) → c_{59}
Point(b_{35}) → N_{20}
Point(p_{18}) → O_{20}
Segment(N_{20}, O_{20}) → d_{59}
Point(s_{33}) → P_{20}
Point(a_{35}) → Q_{20}
Segment(P_{20}, Q_{20}) → e_{59}
Point(c_{35}) → R_{20}
Segment(R_{20}, S_{20}) → f_{59}
Point(a_{34}) → T_{20}
Point(l_{27}) → U_{20}
Segment(T_{20}, U_{20}) → g_{59}
Point(d_{34}) → V_{20}
Point(t_{34}) → W_{20}
Segment(V_{20}, W_{20}) → h_{59}
Point(m_{35}) → Z_{20}
Point(d_{35}) → A_{21}
Segment(Z_{20}, A_{21}) → i_{59}
Point(j_{29}) → B_{21}
Point(c_{35}) → C_{21}
Segment(B_{21}, C_{21}) → j_{59}
Point(l_{29}) → D_{21}
Point(b_{35}) → E_{21}
Segment(D_{21}, E_{21}) → k_{59}
Point(t_{34}) → F_{21}
Point(h_{29}) → G_{21}
Segment(F_{21}, G_{21}) → l_{59}
Point(p_{21}) → H_{21}
Point(i_{35}) → I_{21}
Segment(H_{21}, I_{21}) → m_{59}
Point(i_{29}) → J_{21}
Point(f_{35}) → K_{21}
Segment(J_{21}, K_{21}) → n_{59}
Point(i_{21}) → L_{21}
Point(s_{21}) → M_{21}
Segment(L_{21}, M_{21}) → p_{59}
Point(j_{39}) → N_{21}
Segment(N_{21}, O_{21}) → q_{59}
Point(i_{35}) → P_{21}
Point(h_{39}) → Q_{21}
Segment(P_{21}, Q_{21}) → r_{59}
Point(g_{21}) → R_{21}
Point(i_{39}) → S_{21}
Segment(R_{21}, S_{21}) → s_{59}
Point(f_{39}) → T_{21}
Point(j_{29}) → U_{21}
Segment(T_{21}, U_{21}) → t_{59}
Point(c_{39}) → V_{21}
Point(i_{21}) → W_{21}
Segment(V_{21}, W_{21}) → a_{60}
Point(d_{39}) → Z_{21}
Point(h_{29}) → A_{22}
Segment(Z_{21}, A_{22}) → b_{60}
Point(a_{39}) → B_{22}
Point(i_{29}) → C_{22}
Segment(B_{22}, C_{22}) → c_{60}
Point(m_{35}) → D_{22}
Point(p_{29}) → E_{22}
Segment(D_{22}, E_{22}) → d_{60}
Point(p_{35}) → F_{22}
Point(k_{29}) → G_{22}
Segment(F_{22}, G_{22}) → e_{60}
Point(k_{29}) → H_{22}
Point(d_{45}) → I_{22}
Segment(H_{22}, I_{22}) → f_{60}
Point(s_{44}) → J_{22}
Point(c_{39}) → K_{22}
Segment(J_{22}, K_{22}) → g_{60}
Point(d_{39}) → L_{22}
Point(b_{45}) → M_{22}
Segment(L_{22}, M_{22}) → h_{60}
Point(g_{20}) → N_{22}
Point(g_{21}) → O_{22}
Segment(N_{22}, O_{22}) → i_{60}
Point(l_{20}) → P_{22}
Point(l_{21}) → Q_{22}
Segment(P_{22}, Q_{22}) → j_{60}
Point(f_{45}) → R_{22}
Point(f_{39}) → S_{22}
Segment(S_{22}, R_{22}) → k_{60}
Point(q_{35}) → T_{22}
Point(a_{35}) → U_{22}
Segment(T_{22}, U_{22}) → l_{60}
Point(r_{34}) → V_{22}
Point(p_{35}) → W_{22}
Segment(V_{22}, W_{22}) → m_{60}
Point(p_{27}) → Z_{22}
Segment(Z_{22}, A_{23}) → n_{60}
Point(a_{38}) → B_{23}
Point(l_{29}) → C_{23}
Segment(B_{23}, C_{23}) → p_{60}
Point(p_{27}) → D_{23}
Point(i_{27}) → E_{23}
Segment(D_{23}, E_{23}) → q_{60}
Point(s_{35}) → F_{23}
Point(l_{27}) → G_{23}
Segment(F_{23}, G_{23}) → r_{60}
Point(a_{39}) → H_{23}
Point(q_{44}) → I_{23}
Segment(H_{23}, I_{23}) → s_{60}
Point(p_{38}) → J_{23}
Point(t_{44}) → K_{23}
Segment(J_{23}, K_{23}) → t_{60}
Point(p_{29}) → L_{23}
Point(i_{38}) → M_{23}
Segment(L_{23}, M_{23}) → a_{61}
Point(r_{44}) → N_{23}
Point(b_{38}) → O_{23}
Segment(N_{23}, O_{23}) → b_{61}
Point(a_{38}) → P_{23}
Point(l_{44}) → Q_{23}
Segment(P_{23}, Q_{23}) → c_{61}
Point(t_{37}) → R_{23}
Point(h_{38}) → S_{23}
Segment(R_{23}, S_{23}) → d_{61}
Point(b_{38}) → T_{23}
Point(t_{35}) → U_{23}
Segment(T_{23}, U_{23}) → e_{61}
Point(q_{35}) → V_{23}
Point(s_{37}) → W_{23}
Segment(V_{23}, W_{23}) → f_{61}
Point(t_{35}) → Z_{23}
Point(m_{34}) → A_{24}
Segment(Z_{23}, A_{24}) → g_{61}
Point(k_{27}) → B_{24}
Point(b_{36}) → C_{24}
Segment(B_{24}, C_{24}) → h_{61}
Point(a_{36}) → D_{24}
Point(k_{34}) → E_{24}
Segment(D_{24}, E_{24}) → i_{61}
Point(e_{30}) → F_{24}
Point(c_{28}) → G_{24}
Segment(F_{24}, G_{24}) → j_{61}
Point(a_{36}) → H_{24}
Point(t_{37}) → I_{24}
Segment(H_{24}, I_{24}) → k_{61}
Point(q_{37}) → J_{24}
Point(s_{35}) → K_{24}
Segment(J_{24}, K_{24}) → l_{61}
Point(b_{36}) → L_{24}
Point(j_{30}) → M_{24}
Segment(L_{24}, M_{24}) → m_{61}
Point(c_{30}) → N_{24}
Point(h_{30}) → O_{24}
Segment(N_{24}, O_{24}) → n_{61}
Point(l_{30}) → P_{24}
Point(s_{37}) → Q_{24}
Segment(P_{24}, Q_{24}) → p_{61}
Point(m_{44}) → R_{24}
Point(h_{30}) → S_{24}
Segment(R_{24}, S_{24}) → q_{61}
Point(s_{46}) → T_{24}
Point(s_{44}) → U_{24}
Segment(T_{24}, U_{24}) → r_{61}
Point(n_{46}) → V_{24}
Point(r_{44}) → W_{24}
Segment(V_{24}, W_{24}) → s_{61}
Point(t_{44}) → Z_{24}
Point(h_{46}) → A_{25}
Segment(Z_{24}, A_{25}) → t_{61}
Point(m_{46}) → B_{25}
Point(g_{20}) → C_{25}
Segment(B_{25}, C_{25}) → a_{62}
Point(j_{34}) → D_{25}
Point(m_{34}) → E_{25}
Segment(D_{25}, E_{25}) → b_{62}
Point(h_{34}) → F_{25}
Point(i_{28}) → G_{25}
Segment(F_{25}, G_{25}) → c_{62}
Point(k_{34}) → H_{25}
Point(f_{44}) → I_{25}
Segment(H_{25}, I_{25}) → d_{62}
Point(k_{28}) → J_{25}
Point(i_{34}) → K_{25}
Segment(J_{25}, K_{25}) → e_{62}
Point(i_{28}) → L_{25}
Point(e_{36}) → M_{25}
Segment(L_{25}, M_{25}) → f_{62}
Point(c_{30}) → N_{25}
Point(l_{28}) → O_{25}
Segment(N_{25}, O_{25}) → g_{62}
Point(p_{49}) → P_{25}
Point(e_{30}) → Q_{25}
Segment(P_{25}, Q_{25}) → h_{62}
Point(f_{36}) → R_{25}
Point(i_{30}) → S_{25}
Segment(R_{25}, S_{25}) → i_{62}
Point(g_{22}) → T_{25}
Point(g_{49}) → U_{25}
Segment(T_{25}, U_{25}) → j_{62}
Point(j_{30}) → V_{25}
Point(i_{49}) → W_{25}
Segment(V_{25}, W_{25}) → k_{62}
Point(i_{30}) → Z_{25}
Point(k_{30}) → A_{26}
Segment(Z_{25}, A_{26}) → l_{62}
Point(f_{49}) → B_{26}
Point(q_{37}) → C_{26}
Segment(B_{26}, C_{26}) → m_{62}
Point(b_{50}) → D_{26}
Point(l_{30}) → E_{26}
Segment(D_{26}, E_{26}) → n_{62}
Point(g_{49}) → G_{26}
Segment(F_{26}, G_{26}) → p_{62}
Point(i_{22}) → H_{26}
Point(f_{49}) → I_{26}
Segment(H_{26}, I_{26}) → q_{62}
Point(h_{49}) → J_{26}
Point(a_{50}) → K_{26}
Segment(J_{26}, K_{26}) → r_{62}
Point(m_{48}) → L_{26}
Point(l_{44}) → M_{26}
Segment(L_{26}, M_{26}) → s_{62}
Point(k_{30}) → N_{26}
Point(l_{48}) → O_{26}
Segment(N_{26}, O_{26}) → t_{62}
Point(k_{48}) → P_{26}
Intersect(i_{19}, n_{44}) → Q_{26}
Segment(P_{26}, Q_{26}) → a_{63}
Point(g_{19}) → S_{26}
Segment(R_{26}, S_{26}) → b_{63}
Point(n_{47}) → T_{26}
Point(q_{44}) → U_{26}
Segment(T_{26}, U_{26}) → c_{63}
Point(p_{44}) → V_{26}
Point(t_{46}) → W_{26}
Segment(V_{26}, W_{26}) → d_{63}
Point(b_{45}) → Z_{26}
Segment(Z_{26}, A_{27}) → e_{63}
Point(p_{45}) → B_{27}
Point(e_{45}) → C_{27}
Segment(B_{27}, C_{27}) → f_{63}
Point(l_{20}) → D_{27}
Point(i_{20}) → E_{27}
Segment(D_{27}, E_{27}) → g_{63}
Point(b_{46}) → F_{27}
Point(d_{45}) → G_{27}
Segment(F_{27}, G_{27}) → h_{63}
Intersect(m_{55}, n_{55}) → H_{27}
Intersect(j_{22}, l_{22}) → I_{27}
Polygon(H_{27}, N_{16}, I_{27}, P_{15}, Q_{15}) → poly11, h_{64}, n_{63}, i_{63}, p_{63}, q_{63}
Intersect(k_{55}, l_{55}) → J_{27}
Polygon(P_{15}, O_{15}, J_{27}, G_{15}, F_{15}) → poly12, p_{64}, o_1, j_{63}, g_{64}, f_{64}
Intersect(i_{55}, j_{55}) → K_{27}
Polygon(U_{15}, F_{15}, H_{15}, K_{27}, V_{15}) → poly13, u_4, f_{65}, h_{65}, k_{63}, v_2
Intersect(p_{55}, q_{55}) → L_{27}
Intersect(j_{22}, a_{23}) → M_{27}
Polygon(R_{15}, Z_{14}, L_{15}, L_{27}, Q_{16}, M_{27}, O_{16}, H_{27}) → poly14, r_{63}, z_3, l_{63}, l_{64}, q_{64}, m_{63}, o_{16}, h_{66}
Intersect(s_{55}, t_{55}) → N_{27}
Polygon(N_{27}, R_{14}, Z_{14}, W_{14}, J_{27}, V_{14}, U_{14}, K_{15}) → poly15, n_{64}, r_{64}, z_4, w_2, j_{64}, v_3, u_5, k_{64}
Polygon(P_{15}, Q_{15}, L_{27}, L_{15}, W_{14}, J_{27}, O_{15}, H_{27}, R_{15}, Z_{14}, R_{14}, N_{27}, S_{14}, N_{15}, M_{15}) → poly16, p_{65}, m_{64}, l_{65}, l_{66}, w_3, j_{65}, o_2, q_{65}, h_{67}, r_{65}, z_5, r_{66}, n_{65}, s_{63}, n_{66}
Intersect(g_{18}, j_{22}) → O_{27}
Polygon(I_{27}, O_{27}, P_{16}, L_{27}, Q_{16}, M_{27}, O_{16}, H_{27}, N_{16}) → poly17, i_{64}, o_{27}, p_{66}, l_{67}, q_{66}, m_{65}, o_3, h_{68}, n_{67}
Intersect(f_{56}, g_{56}) → P_{27}
Polygon(F_{15}, G_{15}, K_{15}, U_{14}, A_{15}, K_{27}, H_{15}, J_{27}, V_{14}, E_{15}, P_{27}, J_{15}, I_{15}, T_{14}, N_{27}) → poly18, f_{66}, n_{68}, k_{65}, u_6, a_{64}, k_{66}, h_{69}, g_{65}, j_{66}, v_4, e_{64}, p_{67}, j_{67}, i_{65}, t_{63}
Intersect(h_{56}, i_{56}) → Q_{27}
Intersect(g_{55}, h_{55}) → R_{27}
Polygon(U_{15}, V_{15}, D_{15}, C_{15}, S_{15}, R_{27}, T_{15}, K_{27}, B_{15}, M_{16}, Q_{27}, L_{16}, K_{16}, J_{16}, P_{27}) → poly19, u_7, p_{68}, d_{64}, c_{64}, s_{64}, r_{67}, t_{64}, v_5, k_{67}, b_{64}, m_{66}, q_{67}, l_{68}, k_{68}, j_{68}
Polygon(U_{14}, E_{15}, M_{16}, C_{15}, B_{15}, K_{27}, A_{15}, P_{27}, D_{15}, S_{15}, R_{27}, A_{16}, B_{16}, H_{16}, Q_{27}) → poly20, u_8, q_{68}, m_{67}, c_{65}, b_{66}, k_{69}, a_{66}, e_{65}, p_{69}, d_{65}, s_{65}, r_{68}, a_{65}, b_{65}, h_{70}
Intersect(a_{23}, i_{23}) → S_{27}
Intersect(e_{57}, f_{57}) → T_{27}
Intersect(j_{56}, k_{56}) → U_{27}
Intersect(l_{56}, m_{56}) → V_{27}
Intersect(g_{57}, h_{57}) → W_{27}
Polygon(S_{27}, Q_{17}, T_{16}, T_{17}, W_{27}, R_{17}, T_{27}, O_{17}, R_{16}, U_{27}, G_{16}, B_{16}, C_{16}, V_{27}) → poly21, s_{66}, v_{27}, t_{66}, t_{67}, w_{27}, r_{70}, q_{69}, t_{65}, o_{17}, r_{69}, u_{27}, g_{66}, b_{67}, c_{66}
Intersect(n_{56}, p_{56}) → Z_{27}
Intersect(q_{56}, r_{56}) → A_{28}
Polygon(M_{15}, L_{27}, I_{15}, C_{17}, A_{28}, E_{17}, N_{15}, P_{16}, O_{27}, W_{16}, Z_{27}, Z_{16}, S_{14}, N_{27}, T_{14}) → poly22, m_{68}, t_{68}, i_{66}, c_{67}, a_{67}, e_{66}, n_{70}, l_{69}, p_{70}, o_4, w_{16}, z_{27}, z_{16}, s_{67}, n_{69}
Intersect(a_{57}, d_{57}) → B_{28}
Intersect(s_{56}, t_{56}) → C_{28}
Polygon(I_{17}, L_{16}, P_{27}, J_{15}, I_{15}, F_{17}, C_{28}, Q_{27}, I_{16}, E_{16}, J_{17}, B_{28}, M_{17}, K_{16}, J_{16}) → poly23, i_{67}, j_{70}, p_{71}, j_{71}, i_{69}, f_{67}, c_{68}, l_{70}, q_{70}, i_{68}, e_{67}, j_{69}, b_{68}, m_{69}, k_{70}
Polygon(D_{16}, W_{15}, Q_{27}, H_{16}, C_{16}, V_{27}, Z_{15}, R_{27}, A_{16}, G_{16}, U_{27}, F_{16}, E_{16}, I_{16}) → poly24, d_{66}, i_{70}, q_{71}, h_{71}, c_{69}, v_6, w_4, z_6, r_{71}, a_{68}, g_{67}, u_9, f_{68}, e_{68}
Intersect(l_{22}, i_{23}) → D_{28}
Polygon(S_{27}, D_{18}, E_{18}, B_{18}, D_{28}, N_{17}, T_{27}, Q_{17}) → poly25, s_{68}, d_{67}, e_{69}, b_{69}, d_{68}, n_{71}, t_{69}, q_{72}
Intersect(h_{58}, i_{58}) → E_{28}
Intersect(c_{23}, i_{23}) → F_{28}
Intersect(j_{58}, k_{58}) → G_{28}
Intersect(b_{23}, i_{23}) → H_{28}
Intersect(i_{57}, j_{57}) → I_{28}
Polygon(S_{27}, R_{17}, G_{28}, L_{19}, V_{17}, I_{28}, A_{18}, W_{27}, U_{17}, H_{28}, I_{19}, E_{28}, J_{19}, F_{28}, N_{19}) → poly26, s_{69}, n_{72}, g_{68}, l_{71}, v_{17}, i_{72}, a_{69}, r_{72}, w_5, u_{17}, h_{72}, i_{71}, e_{70}, j_{72}, f_{69}
Intersect(l_{22}, q_{22}) → J_{28}
Intersect(g_{17}, q_{22}) → K_{28}
Intersect(p_{16}, q_{22}) → L_{28}
Polygon(J_{28}, U_{16}, R_{16}, L_{28}, O_{17}, T_{27}, P_{17}, V_{27}, T_{16}, T_{17}, W_{27}, S_{17}, K_{28}, S_{16}, U_{27}) → poly27, j_{73}, u_{10}, r_{73}, l_{72}, o_5, t_{72}, p_{72}, u_{16}, v_7, t_{70}, t_{71}, w_6, s_{70}, k_{71}, s_{71}
Polygon(U_{15}, J_{28}, U_{16}, V_{27}, D_{16}, W_{15}, Z_{15}, R_{27}, T_{15}) → poly29, u_{11}, j_{74}, u_{12}, v_8, d_{69}, w_7, z_7, r_{74}, t_{73}
Polygon(J_{28}, G_{18}, F_{18}, E_{18}, B_{18}, D_{28}, N_{17}, T_{27}, P_{17}) → poly30, j_{75}, g_{69}, f_{70}, e_{71}, b_{70}, d_{70}, n_{73}, t_{74}, p_{73}
Intersect(l_{22}, m_{23}) → M_{28}
Intersect(r_{57}, s_{57}) → N_{28}
Intersect(l_{22}, k_{23}) → O_{28}
Intersect(p_{57}, q_{57}) → P_{28}
Polygon(G_{18}, M_{28}, L_{18}, N_{28}, O_{18}, O_{28}, J_{18}, P_{28}, H_{18}) → poly31, g_{70}, m_{70}, l_{73}, n_{74}, o_{18}, o_{28}, j_{76}, p_{74}, h_{73}
Intersect(b_{58}, c_{58}) → Q_{28}
Intersect(b_{23}, j_{23}) → R_{28}
Polygon(G_{18}, F_{18}, W_{17}, K_{18}, P_{28}, H_{18}, E_{18}, C_{18}, U_{18}, Q_{28}, V_{18}, R_{28}, Z_{17}, I_{28}) → poly32, g_{71}, i_{73}, w_{17}, k_{72}, p_{75}, h_{74}, f_{71}, e_{72}, c_{70}, u_{18}, q_{73}, v_{18}, r_{75}, z_{17}
Intersect(t_{57}, a_{58}) → S_{28}
Intersect(b_{23}, k_{23}) → T_{28}
Polygon(O_{28}, J_{18}, W_{18}, M_{18}, N_{28}, O_{18}, P_{28}, I_{18}, S_{18}, S_{28}, Q_{18}, T_{28}, T_{18}, Q_{28}) → poly33, o_6, q_{75}, w_{18}, m_{71}, n_{75}, o_7, j_{77}, p_{76}, i_{74}, s_{72}, s_{73}, q_{74}, t_{75}, t_{76}
Intersect(l_{26}, p_{26}) → U_{28}
Intersect(k_{26}, a_{23}) → V_{28}
Polygon(M_{28}, U_{28}, R_{18}, S_{28}, P_{18}, V_{28}, N_{18}, N_{28}, L_{18}) → poly34, m_{72}, u_{28}, r_{76}, s_{74}, p_{77}, v_{28}, n_{76}, n_{77}, l_{74}
Polygon(S_{27}, A_{18}, V_{28}, N_{18}, N_{28}, M_{18}, W_{18}, Q_{28}, U_{18}, C_{18}, E_{18}, D_{18}, I_{28}, W_{17}, K_{18}, P_{28}, I_{18}, S_{18}, S_{28}, P_{18}) → poly35, s_{75}, p_{79}, v_9, n_{78}, n_{79}, m_{73}, w_9, q_{76}, u_{13}, c_{71}, e_{73}, a_{70}, d_{71}, i_{75}, w_8, k_{73}, p_{78}, i_{76}, s_{76}, s_{77}
Intersect(l_{58}, m_{58}) → W_{28}
Polygon(E_{16}, Q_{19}, O_{19}, K_{28}, S_{16}, U_{27}, F_{16}, W_{28}, S_{19}, S_{17}, W_{27}, U_{17}, H_{28}, L_{19}, G_{28}) → poly36, e_{74}, g_{72}, o_{19}, k_{74}, s_{80}, u_{20}, f_{72}, q_{77}, w_{28}, s_{78}, s_{79}, w_{10}, u_{19}, h_{75}, l_{75}
Intersect(d_{58}, e_{58}) → Z_{28}
Polygon(H_{28}, I_{19}, C_{19}, R_{28}, Z_{17}, I_{28}, V_{17}, E_{28}, K_{19}, V_{18}, Q_{28}, T_{18}, T_{28}, Z_{18}, Z_{28}) → poly37, h_{76}, z_{28}, c_{72}, r_{77}, z_8, i_{78}, v_{11}, i_{77}, e_{75}, k_{75}, v_{10}, q_{78}, t_{77}, t_{78}, z_{18}
Intersect(f_{58}, g_{58}) → A_{29}
Polygon(T_{28}, D_{19}, A_{29}, G_{19}, U_{28}, R_{18}, S_{28}, Q_{18}) → poly38, t_{79}, d_{72}, a_{71}, g_{73}, u_{21}, r_{78}, s_{81}, q_{79}
Intersect(j_{22}, c_{23}) → B_{29}
Intersect(s_{58}, t_{58}) → C_{29}
Intersect(p_{18}, m_{22}) → D_{29}
Intersect(a_{59}, b_{59}) → E_{29}
Polygon(B_{29}, G_{20}, H_{20}, V_{16}, Z_{27}, A_{17}, C_{29}, D_{20}, B_{17}, A_{28}, D_{17}, D_{29}, K_{20}, E_{29}) → poly39, b_{71}, e_{76}, h_{77}, v_{16}, z_9, a_{73}, g_{74}, c_{73}, d_{73}, b_{72}, a_{72}, d_{74}, d_{75}, k_{76}
Intersect(c_{59}, d_{59}) → F_{29}
Intersect(g_{59}, h_{59}) → G_{29}
Intersect(q_{22}, c_{23}) → H_{29}
Intersect(c_{23}, l_{23}) → I_{29}
Intersect(e_{59}, f_{59}) → J_{29}
Intersect(n_{22}, c_{23}) → K_{29}
Polygon(D_{29}, O_{20}, H_{29}, P_{19}, W_{28}, R_{19}, I_{29}, S_{20}, J_{29}, P_{20}, K_{29}, G_{17}, F_{29}, C_{28}, H_{17}, M_{20}, K_{17}, B_{28}, L_{17}, T_{20}, G_{29}, V_{20}) → poly40, d_{76}, v_{20}, h_{78}, p_{80}, w_{11}, r_{79}, i_{79}, s_{82}, j_{78}, p_{81}, k_{78}, o_{20}, g_{76}, c_{74}, h_{79}, f_{73}, m_{74}, k_{77}, b_{73}, l_{76}, t_{80}, g_{75}
Intersect(q_{58}, r_{58}) → L_{29}
Intersect(d_{62}, e_{62}) → M_{29}
Intersect(c_{23}, f_{44}) → N_{29}
Intersect(b_{62}, c_{62}) → O_{29}
Polygon(F_{28}, C_{20}, N_{29}, E_{19}, A_{29}, F_{19}, D_{25}, O_{29}, F_{25}, H_{19}, E_{28}, J_{19}, L_{29}, A_{20}, A_{19}, Z_{28}, B_{19}, K_{25}, M_{29}, I_{25}) → poly41, f_{74}, i_{80}, n_{80}, e_{77}, a_{76}, f_{75}, d_{77}, o_{29}, f_{76}, h_{80}, e_{78}, c_{75}, j_{79}, l_{77}, a_{74}, a_{75}, z_{10}, b_{74}, k_{79}, m_{75}
Intersect(s_{21}, j_{22}) → P_{29}
Polygon(O_{27}, P_{29}, E_{20}, C_{29}, G_{20}, B_{29}, A_{17}, Z_{27}, W_{16}) → poly42, o_8, p_{82}, e_{79}, c_{76}, g_{77}, b_{75}, a_{77}, z_{11}, w_{12}
Intersect(k_{22}, d_{23}) → Q_{29}
Polygon(N_{15}, Z_{16}, D_{20}, B_{17}, A_{28}, E_{17}, Z_{27}, V_{16}, H_{20}, E_{29}, J_{20}, Q_{29}, F_{20}, C_{29}) → poly43, n_{81}, c_{77}, d_{78}, b_{76}, a_{78}, e_{81}, z_{12}, z_{13}, v_{12}, h_{81}, e_{80}, j_{80}, q_{80}, f_{77}
Intersect(p_{21}, m_{22}) → R_{29}
Polygon(I_{15}, C_{17}, E_{29}, K_{20}, H_{17}, C_{28}, F_{17}, A_{28}, D_{17}, D_{29}, O_{20}, F_{29}, L_{20}, R_{29}, I_{20}) → poly44, i_{81}, i_{82}, e_{82}, k_{80}, h_{82}, c_{79}, f_{79}, c_{78}, a_{79}, d_{79}, d_{80}, o_9, f_{78}, l_{78}, r_{80}
Intersect(n_{22}, d_{23}) → S_{29}
Polygon(K_{16}, I_{17}, F_{29}, M_{20}, K_{17}, B_{28}, M_{17}, C_{28}, G_{17}, K_{29}, P_{20}, J_{29}, R_{20}, S_{29}, N_{20}) → poly45, k_{81}, n_{82}, f_{80}, m_{76}, k_{83}, b_{77}, m_{77}, i_{83}, c_{80}, g_{78}, k_{82}, p_{83}, j_{81}, r_{81}, s_{83}
Intersect(d_{23}, l_{23}) → U_{29}
Polygon(E_{16}, J_{17}, J_{29}, S_{20}, R_{19}, W_{28}, Q_{19}, B_{28}, L_{17}, I_{29}, T_{20}, G_{29}, W_{20}, U_{29}, Q_{20}) → poly46, e_{83}, q_{81}, j_{83}, s_{84}, r_{82}, w_{13}, q_{82}, j_{82}, b_{78}, l_{79}, i_{84}, t_{81}, g_{79}, w_{20}, u_{29}
Intersect(n_{58}, p_{58}) → V_{29}
Intersect(l_{27}, q_{22}) → W_{29}
Polygon(K_{28}, S_{19}, G_{29}, V_{20}, M_{19}, G_{28}, O_{19}, W_{28}, P_{19}, H_{29}, T_{19}, V_{29}, V_{19}, W_{29}, U_{20}) → poly47, k_{84}, u_{22}, g_{80}, v_{13}, m_{78}, g_{81}, o_{10}, s_{85}, w_{19}, p_{84}, h_{83}, t_{82}, v_{29}, v_{19}, w_{29}
Intersect(i_{27}, k_{27}) → Z_{29}
Polygon(F_{28}, W_{19}, V_{29}, U_{19}, Z_{29}, Z_{19}, L_{29}, C_{20}) → poly48, f_{81}, w_{21}, v_{21}, u_{23}, z_{29}, z_{19}, l_{80}, c_{81}
Polygon(F_{28}, W_{19}, V_{29}, T_{19}, H_{29}, M_{19}, G_{28}, N_{19}) → poly49, f_{82}, w_{22}, v_{22}, t_{83}, h_{84}, m_{79}, g_{82}, n_{83}
Intersect(c_{28}, d_{23}) → A_{30}
Intersect(c_{23}, j_{23}) → B_{30}
Polygon(R_{28}, K_{19}, A_{20}, B_{30}, A_{19}, Z_{28}, C_{19}, E_{28}, H_{19}, F_{25}, O_{29}, E_{25}, A_{30}, B_{20}, L_{29}) → poly50, r_{83}, l_{81}, a_{81}, b_{80}, a_{82}, z_{20}, c_{82}, k_{85}, e_{84}, h_{85}, f_{83}, o_{11}, e_{85}, a_{80}, b_{79}
Intersect(i_{28}, d_{23}) → C_{30}
Polygon(T_{28}, Z_{18}, D_{25}, F_{19}, A_{29}, D_{19}, Z_{28}, B_{19}, K_{25}, M_{29}, H_{25}, C_{30}, G_{25}, O_{29}) → poly51, t_{84}, o_{12}, d_{81}, f_{84}, a_{83}, d_{82}, z_{21}, z_{22}, b_{81}, k_{86}, m_{80}, h_{86}, c_{83}, g_{83}
Intersect(k_{28}, l_{28}) → D_{30}
Polygon(U_{28}, D_{30}, J_{25}, M_{29}, I_{25}, N_{29}, E_{19}, A_{29}, G_{19}) → poly52, u_{24}, d_{83}, j_{84}, m_{81}, i_{85}, n_{84}, e_{86}, a_{84}, g_{84}
Intersect(p_{59}, q_{59}) → E_{30}
Intersect(i_{59}, j_{59}) → F_{30}
Intersect(k_{59}, l_{59}) → G_{30}
Intersect(m_{59}, n_{59}) → H_{30}
Polygon(P_{29}, M_{21}, F_{30}, C_{21}, S_{29}, R_{20}, J_{29}, Q_{20}, U_{29}, F_{21}, G_{30}, E_{21}, E_{30}, N_{20}, F_{29}, L_{20}, H_{21}, H_{30}, K_{21}, F_{20}, C_{29}, E_{20}, O_{21}, Q_{29}, J_{20}, E_{29}, I_{20}, R_{29}, A_{21}) → poly53, p_{85}, a_{85}, f_{85}, c_{84}, s_{86}, r_{85}, j_{86}, q_{84}, u_{25}, f_{86}, g_{85}, m_{82}, e_{89}, n_{85}, f_{87}, l_{82}, h_{87}, h_{88}, k_{87}, f_{88}, c_{85}, e_{90}, e_{87}, o_{21}, q_{83}, j_{85}, e_{88}, i_{86}, r_{84}
Intersect(l_{60}, m_{60}) → J_{30}
Intersect(g_{61}, h_{61}) → K_{30}
Intersect(f_{62}, g_{62}) → L_{30}
Intersect(i_{61}, j_{61}) → M_{30}
Intersect(q_{60}, r_{60}) → N_{30}
Polygon(U_{29}, U_{22}, E_{25}, O_{29}, G_{25}, L_{25}, L_{30}, O_{25}, D_{30}, J_{25}, M_{29}, H_{25}, J_{30}, C_{30}, E_{24}, M_{30}, G_{24}, B_{20}, L_{29}, Z_{19}, E_{23}, N_{30}, G_{23}, V_{22}, U_{20}, G_{29}, W_{20}, V_{19}, V_{29}, U_{19}, B_{24}, K_{30}, A_{24}) → poly54, u_{26}, a_{86}, e_{91}, o_{13}, g_{86}, l_{83}, l_{84}, o_{25}, d_{84}, j_{88}, m_{83}, u_{30}, h_{89}, c_{86}, e_{92}, m_{84}, g_{87}, b_{83}, l_{85}, z_{23}, e_{93}, n_{86}, j_{87}, g_{88}, u_{32}, g_{89}, w_{23}, v_{23}, v_{24}, v_{25}, u_{31}, b_{82}, k_{88}
Intersect(j_{22}, e_{23}) → O_{30}
Intersect(r_{59}, s_{59}) → P_{30}
Intersect(b_{60}, c_{60}) → Q_{30}
Intersect(h_{29}, n_{22}) → R_{30}
Intersect(t_{59}, a_{60}) → S_{30}
Polygon(O_{30}, S_{21}, R_{30}, Z_{20}, F_{30}, B_{21}, U_{21}, S_{30}, W_{21}, L_{21}, E_{30}, N_{21}, P_{30}, P_{21}, I_{21}, H_{30}, J_{21}, C_{22}, Q_{30}, A_{22}) → poly55, o_{30}, a_{87}, r_{86}, z_{24}, f_{89}, b_{84}, u_{33}, s_{88}, w_{24}, l_{86}, e_{94}, s_{87}, n_{87}, p_{86}, p_{87}, i_{87}, h_{90}, j_{89}, c_{87}, q_{85}
Intersect(d_{60}, e_{60}) → T_{30}
Intersect(p_{27}, q_{22}) → U_{30}
Intersect(n_{60}, p_{60}) → V_{30}
Polygon(R_{30}, D_{22}, C_{23}, D_{21}, G_{30}, G_{21}, T_{30}, F_{22}, W_{22}, J_{30}, T_{22}, U_{30}, Z_{22}, V_{30}) → poly56, r_{87}, v_{30}, c_{88}, d_{86}, g_{90}, g_{91}, d_{85}, t_{85}, f_{90}, w_{25}, j_{90}, t_{86}, u_{34}, z_{25}
Intersect(e_{61}, f_{61}) → W_{30}
Intersect(m_{61}, n_{61}) → Z_{30}
Intersect(e_{23}, m_{23}) → A_{31}
Intersect(h_{62}, i_{62}) → B_{31}
Intersect(k_{61}, l_{61}) → C_{31}
Polygon(U_{30}, V_{23}, N_{25}, L_{30}, M_{25}, A_{31}, R_{25}, B_{31}, Q_{25}, F_{24}, M_{30}, D_{24}, W_{30}, H_{24}, C_{31}, K_{24}, F_{23}, N_{30}, D_{23}, U_{23}, Z_{23}, K_{30}, C_{24}, L_{24}, Z_{30}, N_{24}) → poly57, u_{35}, n_{88}, n_{89}, l_{88}, m_{85}, a_{88}, r_{88}, b_{85}, q_{86}, f_{91}, m_{86}, v_{26}, d_{87}, h_{91}, c_{90}, k_{90}, f_{92}, n_{90}, d_{88}, w_{30}, u_{36}, z_{26}, k_{89}, c_{89}, l_{87}, z_{30}
Intersect(l_{21}, j_{22}) → D_{31}
Polygon(P_{29}, D_{31}, Q_{21}, P_{30}, S_{21}, O_{30}, N_{21}, E_{30}, M_{21}) → poly58, p_{88}, d_{89}, q_{87}, p_{89}, s_{89}, o_{14}, n_{91}, e_{95}, m_{87}
Intersect(g_{21}, k_{22}) → E_{31}
Polygon(Q_{29}, O_{21}, P_{21}, I_{21}, H_{30}, K_{21}, E_{30}, L_{21}, W_{21}, S_{30}, T_{21}, E_{31}, R_{21}, P_{30}) → poly59, q_{88}, p_{90}, p_{91}, i_{88}, h_{92}, k_{91}, o_{22}, e_{96}, l_{89}, w_{26}, s_{90}, t_{87}, e_{97}, r_{89}
Intersect(m_{22}, f_{23}) → F_{31}
Polygon(R_{29}, H_{21}, U_{21}, B_{21}, F_{30}, A_{21}, H_{30}, J_{21}, C_{22}, Q_{30}, Z_{21}, F_{31}, V_{21}, S_{30}) → poly60, r_{90}, s_{91}, u_{37}, b_{86}, f_{94}, a_{89}, h_{93}, h_{94}, j_{91}, c_{91}, q_{89}, z_{31}, f_{93}, v_{31}
Intersect(k_{29}, n_{22}) → G_{31}
Polygon(S_{29}, C_{21}, Q_{30}, A_{22}, G_{21}, G_{30}, E_{21}, F_{30}, Z_{20}, R_{30}, D_{22}, T_{30}, G_{22}, G_{31}, B_{22}) → poly61, s_{92}, b_{87}, q_{90}, a_{90}, g_{94}, g_{95}, e_{98}, c_{92}, f_{95}, z_{32}, r_{91}, d_{90}, t_{88}, g_{92}, g_{93}
Intersect(p_{29}, f_{23}) → H_{31}
Polygon(U_{29}, F_{21}, F_{22}, W_{22}, J_{30}, U_{22}, G_{30}, D_{21}, C_{23}, V_{30}, A_{23}, H_{31}, E_{22}, T_{30}) → poly62, u_{38}, t_{89}, f_{97}, w_{31}, j_{92}, u_{39}, f_{96}, g_{96}, d_{91}, c_{93}, v_{32}, a_{91}, h_{95}, e_{99}
Intersect(q_{22}, f_{23}) → I_{31}
Polygon(W_{29}, V_{22}, V_{30}, Z_{22}, D_{23}, N_{30}, G_{23}, J_{30}, T_{22}, U_{30}, V_{23}, W_{30}, T_{23}, I_{31}, B_{23}) → poly63, w_{32}, b_{88}, v_{35}, z_{33}, d_{92}, n_{92}, g_{97}, v_{33}, j_{93}, t_{90}, u_{40}, v_{34}, w_{33}, t_{91}, i_{89}
Point(k_{27}) → J_{31}
Intersect(f_{23}, i_{23}) → K_{31}
Intersect(e_{23}, i_{23}) → L_{31}
Polygon(J_{31}, E_{23}, U_{23}, L_{31}, Z_{23}, K_{30}, B_{24}, N_{30}, F_{23}, K_{24}, C_{31}, I_{24}, K_{31}, W_{23}, W_{30}) → poly64, j_{94}, w_{35}, u_{41}, l_{90}, z_{34}, k_{94}, b_{89}, e_{100}, n_{93}, f_{98}, k_{92}, c_{94}, i_{90}, k_{93}, w_{34}
Intersect(h_{30}, f_{23}) → M_{31}
Polygon(A_{30}, A_{24}, H_{24}, D_{24}, M_{30}, G_{24}, K_{30}, C_{24}, L_{24}, Z_{30}, O_{24}, M_{31}, J_{24}, C_{31}) → poly65, a_{92}, c_{96}, h_{96}, d_{93}, m_{89}, g_{98}, a_{93}, k_{95}, c_{95}, l_{91}, z_{35}, o_{24}, m_{88}, j_{95}
Intersect(i_{30}, j_{30}) → N_{31}
Polygon(C_{30}, E_{24}, N_{24}, N_{25}, L_{30}, L_{25}, M_{30}, F_{24}, Q_{25}, B_{31}, S_{25}, N_{31}, M_{24}, Z_{30}) → poly66, c_{97}, z_{36}, n_{95}, n_{96}, l_{92}, l_{93}, e_{101}, m_{90}, f_{99}, q_{91}, b_{90}, s_{93}, n_{94}, m_{91}
Intersect(g_{22}, f_{23}) → O_{31}
Polygon(D_{30}, O_{31}, P_{25}, B_{31}, R_{25}, A_{31}, M_{25}, L_{30}, O_{25}) → poly67, d_{94}, o_{31}, p_{92}, b_{91}, r_{92}, a_{94}, m_{92}, l_{94}, o_{23}
Intersect(j_{60}, k_{60}) → P_{31}
Intersect(f_{60}, g_{60}) → Q_{31}
Intersect(h_{60}, i_{60}) → R_{31}
Polygon(D_{31}, Q_{22}, H_{22}, G_{31}, B_{22}, Q_{30}, Z_{21}, L_{22}, R_{31}, O_{22}, E_{31}, R_{21}, P_{31}, P_{30}, Q_{21}, S_{22}, T_{21}, S_{30}, V_{21}, F_{31}, K_{22}, Q_{31}) → poly68, d_{95}, q_{93}, h_{97}, g_{99}, b_{92}, q_{94}, z_{37}, l_{95}, r_{93}, o_{26}, e_{102}, q_{92}, r_{94}, p_{94}, q_{95}, p_{93}, s_{94}, t_{92}, s_{95}, v_{36}, f_{100}, k_{96}
Intersect(j_{22}, g_{23}) → S_{31}
Intersect(e_{63}, f_{63}) → T_{31}
Intersect(t_{61}, a_{62}) → U_{31}
Intersect(n_{22}, g_{23}) → V_{31}
Intersect(g_{63}, h_{63}) → W_{31}
Polygon(S_{31}, C_{27}, V_{31}, J_{22}, Q_{31}, I_{22}, G_{27}, W_{31}, D_{27}, P_{22}, P_{31}, R_{22}, T_{31}, Z_{26}, M_{22}, R_{31}, N_{22}, C_{25}, U_{31}, Z_{24}) → poly69, s_{96}, z_{39}, v_{37}, j_{96}, q_{96}, i_{91}, g_{100}, w_{36}, d_{96}, p_{95}, p_{96}, c_{98}, r_{96}, t_{93}, z_{38}, m_{93}, r_{95}, n_{97}, c_{99}, u_{42}
Intersect(r_{61}, s_{61}) → Z_{31}
Intersect(a_{61}, b_{61}) → A_{32}
Intersect(a_{63}, b_{63}) → B_{32}
Intersect(p_{61}, q_{61}) → C_{32}
Intersect(k_{30}, l_{30}) → D_{32}
Intersect(s_{62}, t_{62}) → E_{32}
Intersect(c_{61}, d_{61}) → F_{32}
Intersect(c_{63}, d_{63}) → G_{32}
Intersect(s_{60}, t_{60}) → H_{32}
Polygon(V_{31}, U_{24}, R_{24}, C_{32}, P_{24}, D_{32}, N_{26}, E_{32}, M_{26}, Q_{23}, F_{32}, S_{23}, Z_{31}, V_{26}, G_{32}, U_{26}, I_{23}, H_{32}, K_{23}, W_{24}, N_{23}, A_{32}, M_{23}, Q_{26}, B_{32}, R_{26}) → poly70, v_{38}, r_{97}, r_{98}, c_{100}, p_{97}, d_{97}, n_{99}, e_{103}, m_{95}, q_{98}, f_{101}, u_{43}, s_{97}, v_{39}, g_{101}, u_{44}, i_{92}, h_{98}, k_{97}, z_{40}, w_{37}, n_{98}, a_{95}, m_{94}, q_{97}, b_{93}
Intersect(n_{62}, p_{62}) → I_{32}
Intersect(j_{62}, k_{62}) → J_{32}
Intersect(g_{23}, m_{23}) → K_{32}
Intersect(q_{62}, r_{62}) → L_{32}
Intersect(l_{62}, m_{62}) → M_{32}
Polygon(D_{32}, E_{26}, I_{26}, B_{26}, M_{32}, A_{26}, I_{32}, G_{26}, U_{25}, J_{32}, W_{25}, K_{32}, J_{26}, L_{32}) → poly71, d_{98}, l_{96}, i_{94}, b_{94}, m_{96}, a_{96}, e_{104}, i_{93}, g_{102}, u_{45}, j_{97}, w_{38}, k_{98}, j_{98}
Polygon(G_{31}, H_{23}, R_{23}, K_{31}, W_{23}, W_{30}, T_{23}, O_{23}, A_{32}, L_{23}, H_{31}, E_{22}, H_{32}, T_{30}, G_{22}, J_{23}, A_{23}, V_{30}, B_{23}, I_{31}, P_{23}, F_{32}) → poly72, g_{103}, f_{102}, r_{99}, k_{99}, w_{39}, w_{40}, t_{94}, o_{32}, a_{98}, l_{97}, h_{101}, h_{99}, e_{105}, t_{95}, g_{104}, h_{100}, j_{99}, a_{97}, v_{40}, b_{95}, i_{95}, p_{98}
Polygon(K_{31}, Q_{24}, J_{32}, T_{25}, O_{31}, P_{25}, B_{31}, S_{25}, Z_{25}, M_{32}, C_{26}, J_{24}, C_{32}, C_{31}, I_{24}, S_{24}, M_{31}, O_{24}, Z_{30}, M_{24}, N_{31}, V_{25}) → poly73, k_{100}, v_{41}, j_{100}, t_{96}, o_{34}, p_{99}, b_{96}, s_{99}, z_{42}, m_{99}, c_{102}, q_{99}, j_{101}, c_{103}, i_{96}, c_{101}, s_{98}, m_{97}, o_{33}, z_{41}, m_{98}, n_{100}
Intersect(j_{22}, h_{23}) → N_{32}
Point(j_{60}) → O_{32}
Polygon(D_{31}, N_{32}, A_{27}, T_{31}, C_{27}, S_{31}, R_{22}, P_{31}, O_{32}) → poly74, d_{99}, n_{101}, a_{99}, t_{97}, c_{104}, s_{100}, r_{100}, p_{100}, o_{35}
Intersect(k_{22}, h_{23}) → P_{32}
Polygon(E_{31}, S_{22}, Z_{26}, M_{22}, R_{31}, O_{22}, P_{31}, P_{22}, D_{27}, W_{31}, F_{27}, P_{32}, B_{27}, T_{31}) → poly75, e_{106}, t_{98}, z_{43}, m_{100}, r_{101}, o_{36}, s_{101}, p_{101}, p_{102}, d_{100}, w_{41}, f_{103}, p_{103}, b_{97}
Intersect(i_{20}, m_{22}) → Q_{32}
Polygon(F_{31}, L_{22}, G_{27}, I_{22}, Q_{31}, K_{22}, R_{31}, N_{22}, C_{25}, U_{31}, A_{25}, Q_{32}, E_{27}, W_{31}) → poly76, f_{104}, w_{42}, g_{105}, i_{97}, q_{101}, k_{101}, l_{98}, r_{102}, n_{102}, c_{105}, u_{46}, a_{100}, q_{100}, e_{107}
Intersect(n_{22}, h_{23}) → R_{32}
Polygon(G_{31}, H_{22}, U_{31}, Z_{24}, K_{23}, H_{32}, H_{23}, Q_{31}, J_{22}, V_{31}, U_{24}, Z_{31}, V_{24}, R_{32}, B_{25}) → poly77, g_{106}, b_{98}, u_{48}, z_{45}, k_{102}, h_{103}, h_{104}, h_{102}, q_{102}, j_{102}, v_{42}, u_{47}, z_{44}, v_{43}, r_{103}
Intersect(h_{23}, l_{23}) → S_{32}
Polygon(H_{31}, J_{23}, W_{24}, N_{23}, A_{32}, L_{23}, H_{32}, I_{23}, U_{26}, G_{32}, W_{26}, S_{32}, T_{24}, Z_{31}) → poly78, h_{105}, z_{46}, w_{44}, n_{103}, a_{101}, l_{99}, j_{103}, h_{106}, i_{98}, u_{49}, g_{107}, w_{43}, s_{102}, t_{99}
Intersect(g_{19}, q_{22}) → T_{32}
Polygon(I_{31}, O_{23}, V_{26}, S_{23}, F_{32}, P_{23}, A_{32}, M_{23}, Q_{26}, B_{32}, S_{26}, T_{32}, T_{26}, G_{32}) → poly79, i_{99}, g_{108}, v_{44}, s_{104}, f_{105}, p_{104}, o_{37}, a_{102}, m_{101}, q_{103}, b_{99}, s_{103}, t_{100}, t_{101}
Intersect(h_{23}, i_{23}) → U_{32}
Polygon(K_{31}, R_{23}, R_{26}, R_{24}, C_{32}, Q_{24}, F_{32}, Q_{23}, M_{26}, E_{32}, O_{26}, U_{32}, P_{26}, B_{32}) → poly80, k_{103}, b_{100}, r_{105}, r_{106}, c_{106}, q_{105}, r_{104}, f_{106}, q_{104}, m_{102}, e_{108}, o_{38}, u_{50}, p_{105}
Intersect(h_{23}, j_{23}) → V_{32}
Polygon(M_{31}, S_{24}, N_{26}, D_{32}, A_{26}, M_{32}, C_{26}, C_{32}, P_{24}, E_{26}, I_{32}, F_{26}, V_{32}, L_{26}, E_{32}) → poly81, m_{103}, e_{110}, n_{104}, d_{101}, a_{103}, m_{104}, c_{108}, s_{105}, c_{107}, p_{106}, e_{109}, i_{100}, f_{107}, v_{45}, l_{100}
Intersect(h_{23}, k_{23}) → W_{32}
Polygon(N_{31}, Z_{25}, G_{26}, U_{25}, J_{32}, V_{25}, M_{32}, B_{26}, I_{26}, L_{32}, K_{26}, W_{32}, D_{26}, I_{32}) → poly82, n_{105}, i_{102}, g_{109}, u_{51}, j_{104}, v_{46}, z_{47}, m_{105}, b_{101}, i_{101}, l_{101}, k_{104}, w_{45}, d_{102}
Intersect(i_{22}, h_{23}) → Z_{32}
Polygon(O_{31}, Z_{32}, H_{26}, L_{32}, J_{26}, K_{32}, W_{25}, J_{32}, T_{25}) → poly83, o_{39}, z_{48}, h_{107}, l_{102}, j_{105}, k_{105}, w_{46}, j_{106}, t_{102}
Polygon(N_{32}, Q_{32}, E_{27}, W_{31}, F_{27}, P_{32}, B_{27}, T_{31}, A_{27}) → poly84, n_{106}, q_{106}, e_{111}, w_{47}, f_{108}, p_{107}, b_{102}, t_{103}, a_{104}
Polygon(Q_{32}, S_{32}, T_{24}, Z_{31}, V_{24}, R_{32}, B_{25}, U_{31}, A_{25}) → poly85, q_{107}, s_{106}, t_{104}, z_{49}, v_{47}, r_{107}, b_{103}, u_{52}, a_{105}
Polygon(S_{32}, U_{32}, P_{26}, B_{32}, S_{26}, T_{32}, T_{26}, G_{32}, W_{26}) → poly86, s_{107}, u_{53}, p_{108}, b_{104}, s_{108}, t_{105}, t_{106}, g_{110}, w_{48}
Polygon(U_{32}, Z_{32}, L_{26}, E_{32}, O_{26}, H_{26}, L_{32}, K_{26}, W_{32}, D_{26}, I_{32}, F_{26}, V_{32}) → poly87, u_{54}, v_{48}, l_{104}, e_{112}, o_{40}, z_{50}, h_{108}, l_{103}, k_{106}, w_{49}, d_{103}, i_{103}, f_{109}

AI 绘图提示语参考

画一个几何图形，包含多个正多边形和半圆，通过正交线段和点构建。首先绘制一条线段，然后从线段两端分别作垂线，得到四个点。以这些点为基础，继续作垂线和取点，形成多个正多边形。最后，在两个正多边形之间绘制半圆，完成整个图形的拼接和装饰。

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