Pythagorean Tiling by Edgardo Alandete (2)

Loading the math board and drawing, please wait…

2015-01-11 05:21

This example demonstrates the application of the Pythagorean theorem in plane geometry through tilings, dynamically constructing right-angled triangles and their inscribed squares to visually illustrate the relationship between the three sides of a right triangle. Core mathematical concepts include the Pythagorean theorem, analytical geometry, regular polygon construction, definite integral calculation, and centroid determination. GeoGebra commands used in construction include Line, OrthogonalLine, Point, Segment, Intersect, Polygon, and LineBisector. Suitable for high school mathematics teaching to enhance understanding of the Pythagorean theorem and polygon properties.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a plane geometry figure composed of right-angled triangles and squares to illustrate the Pythagorean theorem. The figure should include multiple right triangles, each with an inscribed square, visually demonstrating the relationship between the three sides of a right triangle. Construct by first drawing the triangles, then adding squares inside them, and finally combining multiple figures into a whole. Ensure the figure is clear and easy to understand for mathematical teaching.

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