正方形7

GeoGebra 命令及参数

1. Polygon(A, B, 4) → poly1, a, b, c, d, C, D
2. Segment(C, E) → e
3. Segment(E, F) → f
4. Segment(F, G) → g
5. Segment(G, H) → h
6. Segment(H, B) → i
7. Polygon(A_1, B_1, 4) → poly1_1, a_1, b_1, c_1, d_1, C_1, D_1
8. Segment(C_1, E_1) → e_1
9. Segment(E_1, F_1) → f_1
10. Segment(F_1, G_1) → g_1
11. Segment(G_1, H_1) → h_1
12. Segment(H_1, B_1) → i_1
13. Segment(D, I) → j
14. Point(c) → J
15. Segment(I, J) → k
16. Segment(K, J) → l
17. Segment(K, L) → m
18. Segment(L, M) → n
19. Point(c) → N
20. Segment(M, N) → p
21. Segment(C, N) → q
22. Polygon(A_2, B_2, 4) → poly1_2, a_3, b_3, c_2, d_3, C_2, D_2
23. Polygon(A_3, B_3, 4) → poly1_3, a_2, b_2, c_3, d_2, C_3, D_3
24. Segment(D_2, I_1) → j_1
25. Point(c_2) → J_1
26. Segment(I_1, J_1) → k_1
27. Segment(K_1, J_1) → l_1
28. Segment(K_1, L_1) → m_1
29. Segment(L_1, M_1) → n_1
30. Point(c_2) → N_1
31. Segment(M_1, N_1) → p_1
32. Segment(C_2, N_1) → q_1
33. Polygon(E, C, F_1, G_1, H_1, A, I_1, J_1, K_1, L_1, M_1, N_1, N, B, H, G, F, M, L, K, J, I, D, E_1) → poly2, e_2, e_3, f_2, g_2, h_2, a_4, i_3, j_3, k_3, l_3, m_3, c_4, n_3, b_4, h_3, g_3, f_3, n_2, m_2, l_2, k_2, j_2, i_2, d_4
34. Polygon(A_4, B_4, 4) → poly1_4, a_9, b_9, c_6, d_9, C_4, D_4
35. Segment(C_4, E_2) → e_4
36. Segment(E_2, F_2) → f_4
37. Segment(F_2, G_2) → g_4
38. Segment(G_2, H_2) → h_4
39. Segment(H_2, B_4) → i_4
40. Polygon(A_6, B_5, 4) → poly1_7, a_7, b_7, c_9, d_7, C_5, D_7
41. Segment(C_5, E_3) → e_5
42. Segment(E_3, F_3) → f_5
43. Segment(F_3, G_3) → g_5
44. Segment(G_3, H_3) → h_5
45. Segment(H_3, B_5) → i_5
46. Segment(D_4, I_2) → j_4
47. Point(c_6) → J_2
48. Segment(I_2, J_2) → k_4
49. Segment(K_2, J_2) → l_4
50. Segment(K_2, L_2) → m_4
51. Segment(L_2, M_2) → n_4
52. Point(c_6) → N_2
53. Segment(M_2, N_2) → p_2
54. Segment(C_4, N_2) → q_2
55. Polygon(A_5, B_6, 4) → poly1_5, a_8, b_8, c_7, d_8, C_6, D_5
56. Polygon(A_7, B_7, 4) → poly1_6, a_6, b_6, c_8, d_6, C_7, D_6
57. Segment(D_5, I_3) → j_5
58. Point(c_7) → J_3
59. Segment(I_3, J_3) → k_5
60. Segment(K_3, J_3) → l_5
61. Segment(K_3, L_3) → m_5
62. Segment(L_3, M_3) → n_5
63. Point(c_7) → N_3
64. Segment(M_3, N_3) → p_3
65. Segment(C_6, N_3) → q_3
66. Polygon(E_2, C_4, F_3, G_3, H_3, A_4, I_3, J_3, K_3, L_3, M_3, N_3, N_2, B_4, H_2, G_2, F_2, M_2, L_2, K_2, J_2, I_2, D_4, E_3) → poly2_1, e_7, e_6, f_7, g_7, h_7, a_5, i_6, j_6, k_6, l_6, m_6, c_5, n_6, b_5, h_6, g_6, f_6, n_7, m_7, l_7, k_7, j_7, i_7, d_5
67. Polygon(A_8, B_8, 4) → poly1_8, a_{14}, b_{14}, c_{11}, d_{14}, C_8, D_8
68. Segment(C_8, E_4) → e_8
69. Segment(E_4, F_4) → f_8
70. Segment(F_4, G_4) → g_8
71. Segment(G_4, H_4) → h_8
72. Segment(H_4, B_8) → i_8
73. Polygon(A_{10}, B_9, 4) → poly1_{11}, a_{12}, b_{12}, c_{14}, d_{12}, C_9, D_{11}
74. Segment(C_9, E_5) → e_9
75. Segment(E_5, F_5) → f_9
76. Segment(F_5, G_5) → g_9
77. Segment(G_5, H_5) → h_9
78. Segment(H_5, B_9) → i_9
79. Segment(D_8, I_4) → j_8
80. Point(c_{11}) → J_4
81. Segment(I_4, J_4) → k_8
82. Segment(K_4, J_4) → l_8
83. Segment(K_4, L_4) → m_8
84. Segment(L_4, M_4) → n_8
85. Point(c_{11}) → N_4
86. Segment(M_4, N_4) → p_4
87. Segment(C_8, N_4) → q_4
88. Polygon(A_9, B_{10}, 4) → poly1_9, a_{13}, b_{13}, c_{12}, d_{13}, C_{10}, D_9
89. Polygon(A_{11}, B_{11}, 4) → poly1_{10}, a_{11}, b_{11}, c_{13}, d_{11}, C_{11}, D_{10}
90. Segment(D_9, I_5) → j_9
91. Point(c_{12}) → J_5
92. Segment(I_5, J_5) → k_9
93. Segment(K_5, J_5) → l_9
94. Segment(K_5, L_5) → m_9
95. Segment(L_5, M_5) → n_9
96. Point(c_{12}) → N_5
97. Segment(M_5, N_5) → p_5
98. Segment(C_{10}, N_5) → q_5
99. Polygon(E_4, C_8, F_5, G_5, H_5, A_8, I_5, J_5, K_5, L_5, M_5, N_5, N_4, B_8, H_4, G_4, F_4, M_4, L_4, K_4, J_4, I_4, D_8, E_5) → poly2_2, e_{11}, e_{10}, f_{11}, g_{11}, h_{11}, a_{10}, i_{10}, j_{10}, k_{10}, l_{10}, m_{10}, c_{10}, n_{10}, b_{10}, h_{10}, g_{10}, f_{10}, n_{11}, m_{11}, l_{11}, k_{11}, j_{11}, i_{11}, d_{10}
100. Polygon(A_{12}, B_{12}, 4) → poly1_{12}, a_{19}, b_{19}, c_{16}, d_{19}, C_{12}, D_{12}
101. Segment(C_{12}, E_6) → e_{12}
102. Segment(E_6, F_6) → f_{12}
103. Segment(F_6, G_6) → g_{12}
104. Segment(G_6, H_6) → h_{12}
105. Segment(H_6, B_{12}) → i_{12}
106. Polygon(A_{14}, B_{13}, 4) → poly1_{15}, a_{17}, b_{17}, c_{19}, d_{17}, C_{13}, D_{15}
107. Segment(C_{13}, E_7) → e_{13}
108. Segment(E_7, F_7) → f_{13}
109. Segment(F_7, G_7) → g_{13}
110. Segment(G_7, H_7) → h_{13}
111. Segment(H_7, B_{13}) → i_{13}
112. Segment(D_{12}, I_6) → j_{12}
113. Point(c_{16}) → J_6
114. Segment(I_6, J_6) → k_{12}
115. Segment(K_6, J_6) → l_{12}
116. Segment(K_6, L_6) → m_{12}
117. Segment(L_6, M_6) → n_{12}
118. Point(c_{16}) → N_6
119. Segment(M_6, N_6) → p_6
120. Segment(C_{12}, N_6) → q_6
121. Polygon(A_{13}, B_{14}, 4) → poly1_{13}, a_{18}, b_{18}, c_{17}, d_{18}, C_{14}, D_{13}
122. Polygon(A_{15}, B_{15}, 4) → poly1_{14}, a_{16}, b_{16}, c_{18}, d_{16}, C_{15}, D_{14}
123. Segment(D_{13}, I_7) → j_{13}
124. Point(c_{17}) → J_7
125. Segment(I_7, J_7) → k_{13}
126. Segment(K_7, J_7) → l_{13}
127. Segment(K_7, L_7) → m_{13}
128. Segment(L_7, M_7) → n_{13}
129. Point(c_{17}) → N_7
130. Segment(M_7, N_7) → p_7
131. Segment(C_{14}, N_7) → q_7
132. Polygon(E_6, C_{12}, F_7, G_7, H_7, A_{12}, I_7, J_7, K_7, L_7, M_7, N_7, N_6, B_{12}, H_6, G_6, F_6, M_6, L_6, K_6, J_6, I_6, D_{12}, E_7) → poly2_3, e_{15}, e_{14}, f_{15}, g_{15}, h_{15}, a_{15}, i_{14}, j_{14}, k_{14}, l_{14}, m_{14}, c_{15}, n_{14}, b_{15}, h_{14}, g_{14}, f_{14}, n_{15}, m_{15}, l_{15}, k_{15}, j_{15}, i_{15}, d_{15}
133. Polygon(A_{16}, B_{16}, 4) → poly1_{16}, a_{24}, b_{24}, c_{21}, d_{24}, C_{16}, D_{16}
134. Segment(C_{16}, E_8) → e_{16}
135. Segment(E_8, F_8) → f_{16}
136. Segment(F_8, G_8) → g_{16}
137. Segment(G_8, H_8) → h_{16}
138. Segment(H_8, B_{16}) → i_{16}
139. Polygon(A_{18}, B_{17}, 4) → poly1_{19}, a_{22}, b_{22}, c_{24}, d_{22}, C_{17}, D_{19}
140. Segment(C_{17}, E_9) → e_{17}
141. Segment(E_9, F_9) → f_{17}
142. Segment(F_9, G_9) → g_{17}
143. Segment(G_9, H_9) → h_{17}
144. Segment(H_9, B_{17}) → i_{17}
145. Segment(D_{16}, I_8) → j_{16}
146. Point(c_{21}) → J_8
147. Segment(I_8, J_8) → k_{16}
148. Segment(K_8, J_8) → l_{16}
149. Segment(K_8, L_8) → m_{16}
150. Segment(L_8, M_8) → n_{16}
151. Point(c_{21}) → N_8
152. Segment(M_8, N_8) → p_8
153. Segment(C_{16}, N_8) → q_8
154. Polygon(A_{17}, B_{18}, 4) → poly1_{17}, a_{23}, b_{23}, c_{22}, d_{23}, C_{18}, D_{17}
155. Polygon(A_{19}, B_{19}, 4) → poly1_{18}, a_{21}, b_{21}, c_{23}, d_{21}, C_{19}, D_{18}
156. Segment(D_{17}, I_9) → j_{17}
157. Point(c_{22}) → J_9
158. Segment(I_9, J_9) → k_{17}
159. Segment(K_9, J_9) → l_{17}
160. Segment(K_9, L_9) → m_{17}
161. Segment(L_9, M_9) → n_{17}
162. Point(c_{22}) → N_9
163. Segment(M_9, N_9) → p_9
164. Segment(C_{18}, N_9) → q_9
165. Polygon(E_8, C_{16}, F_9, G_9, H_9, A_{16}, I_9, J_9, K_9, L_9, M_9, N_9, N_8, B_{16}, H_8, G_8, F_8, M_8, L_8, K_8, J_8, I_8, D_{16}, E_9) → poly2_4, e_{19}, e_{18}, f_{19}, g_{19}, h_{19}, a_{20}, i_{18}, j_{18}, k_{18}, l_{18}, m_{18}, c_{20}, n_{18}, b_{20}, h_{18}, g_{18}, f_{18}, n_{19}, m_{19}, l_{19}, k_{19}, j_{19}, i_{19}, d_{20}
166. Polygon(A_{20}, B_{20}, 4) → poly1_{20}, a_{29}, b_{29}, c_{26}, d_{29}, C_{20}, D_{20}
167. Segment(C_{20}, E_{10}) → e_{20}
168. Segment(E_{10}, F_{10}) → f_{20}
169. Segment(F_{10}, G_{10}) → g_{20}
170. Segment(G_{10}, H_{10}) → h_{20}
171. Segment(H_{10}, B_{20}) → i_{20}
172. Polygon(A_{22}, B_{21}, 4) → poly1_{23}, a_{27}, b_{27}, c_{29}, d_{27}, C_{21}, D_{23}
173. Segment(C_{21}, E_{11}) → e_{21}
174. Segment(E_{11}, F_{11}) → f_{21}
175. Segment(F_{11}, G_{11}) → g_{21}
176. Segment(G_{11}, H_{11}) → h_{21}
177. Segment(H_{11}, B_{21}) → i_{21}
178. Segment(D_{20}, I_{10}) → j_{20}
179. Point(c_{26}) → J_{10}
180. Segment(I_{10}, J_{10}) → k_{20}
181. Segment(K_{10}, J_{10}) → l_{20}
182. Segment(K_{10}, L_{10}) → m_{20}
183. Segment(L_{10}, M_{10}) → n_{20}
184. Point(c_{26}) → N_{10}
185. Segment(M_{10}, N_{10}) → p_{10}
186. Segment(C_{20}, N_{10}) → q_{10}
187. Polygon(A_{21}, B_{22}, 4) → poly1_{21}, a_{28}, b_{28}, c_{27}, d_{28}, C_{22}, D_{21}
188. Polygon(A_{23}, B_{23}, 4) → poly1_{22}, a_{26}, b_{26}, c_{28}, d_{26}, C_{23}, D_{22}
189. Segment(D_{21}, I_{11}) → j_{21}
190. Point(c_{27}) → J_{11}
191. Segment(I_{11}, J_{11}) → k_{21}
192. Segment(K_{11}, J_{11}) → l_{21}
193. Segment(K_{11}, L_{11}) → m_{21}
194. Segment(L_{11}, M_{11}) → n_{21}
195. Point(c_{27}) → N_{11}
196. Segment(M_{11}, N_{11}) → p_{11}
197. Segment(C_{22}, N_{11}) → q_{11}
198. Polygon(E_{10}, C_{20}, F_{11}, G_{11}, H_{11}, A_{20}, I_{11}, J_{11}, K_{11}, L_{11}, M_{11}, N_{11}, N_{10}, B_{20}, H_{10}, G_{10}, F_{10}, M_{10}, L_{10}, K_{10}, J_{10}, I_{10}, D_{20}, E_{11}) → poly2_5, e_{23}, e_{22}, f_{23}, g_{23}, h_{23}, a_{25}, i_{22}, j_{22}, k_{22}, l_{22}, m_{22}, c_{25}, n_{22}, b_{25}, h_{22}, g_{22}, f_{22}, n_{23}, m_{23}, l_{23}, k_{23}, j_{23}, i_{23}, d_{25}
199. Polygon(A_{24}, B_{24}, 4) → poly1_{24}, a_{34}, b_{34}, c_{31}, d_{34}, C_{24}, D_{24}
200. Segment(C_{24}, E_{12}) → e_{24}
201. Segment(E_{12}, F_{12}) → f_{24}
202. Segment(F_{12}, G_{12}) → g_{24}
203. Segment(G_{12}, H_{12}) → h_{24}
204. Segment(H_{12}, B_{24}) → i_{24}
205. Polygon(A_{26}, B_{25}, 4) → poly1_{27}, a_{32}, b_{32}, c_{34}, d_{32}, C_{25}, D_{27}
206. Segment(C_{25}, E_{13}) → e_{25}
207. Segment(E_{13}, F_{13}) → f_{25}
208. Segment(F_{13}, G_{13}) → g_{25}
209. Segment(G_{13}, H_{13}) → h_{25}
210. Segment(H_{13}, B_{25}) → i_{25}
211. Segment(D_{24}, I_{12}) → j_{24}
212. Point(c_{31}) → J_{12}
213. Segment(I_{12}, J_{12}) → k_{24}
214. Segment(K_{12}, J_{12}) → l_{24}
215. Segment(K_{12}, L_{12}) → m_{24}
216. Segment(L_{12}, M_{12}) → n_{24}
217. Point(c_{31}) → N_{12}
218. Segment(M_{12}, N_{12}) → p_{12}
219. Segment(C_{24}, N_{12}) → q_{12}
220. Polygon(A_{25}, B_{26}, 4) → poly1_{25}, a_{33}, b_{33}, c_{32}, d_{33}, C_{26}, D_{25}
221. Polygon(A_{27}, B_{27}, 4) → poly1_{26}, a_{31}, b_{31}, c_{33}, d_{31}, C_{27}, D_{26}
222. Segment(D_{25}, I_{13}) → j_{25}
223. Point(c_{32}) → J_{13}
224. Segment(I_{13}, J_{13}) → k_{25}
225. Segment(K_{13}, J_{13}) → l_{25}
226. Segment(K_{13}, L_{13}) → m_{25}
227. Segment(L_{13}, M_{13}) → n_{25}
228. Point(c_{32}) → N_{13}
229. Segment(M_{13}, N_{13}) → p_{13}
230. Segment(C_{26}, N_{13}) → q_{13}
231. Polygon(E_{12}, C_{24}, F_{13}, G_{13}, H_{13}, A_{24}, I_{13}, J_{13}, K_{13}, L_{13}, M_{13}, N_{13}, N_{12}, B_{24}, H_{12}, G_{12}, F_{12}, M_{12}, L_{12}, K_{12}, J_{12}, I_{12}, D_{24}, E_{13}) → poly2_6, e_{27}, e_{26}, f_{27}, g_{27}, h_{27}, a_{30}, i_{26}, j_{26}, k_{26}, l_{26}, m_{26}, c_{30}, n_{26}, b_{30}, h_{26}, g_{26}, f_{26}, n_{27}, m_{27}, l_{27}, k_{27}, j_{27}, i_{27}, d_{30}
232. Polygon(A_{28}, B_{28}, 4) → poly1_{28}, a_{39}, b_{39}, c_{36}, d_{39}, C_{28}, D_{28}
233. Segment(C_{28}, E_{14}) → e_{28}
234. Segment(E_{14}, F_{14}) → f_{28}
235. Segment(F_{14}, G_{14}) → g_{28}
236. Segment(G_{14}, H_{14}) → h_{28}
237. Segment(H_{14}, B_{28}) → i_{28}
238. Polygon(A_{30}, B_{29}, 4) → poly1_{31}, a_{37}, b_{37}, c_{39}, d_{37}, C_{29}, D_{31}
239. Segment(C_{29}, E_{15}) → e_{29}
240. Segment(E_{15}, F_{15}) → f_{29}
241. Segment(F_{15}, G_{15}) → g_{29}
242. Segment(G_{15}, H_{15}) → h_{29}
243. Segment(H_{15}, B_{29}) → i_{29}
244. Segment(D_{28}, I_{14}) → j_{28}
245. Point(c_{36}) → J_{14}
246. Segment(I_{14}, J_{14}) → k_{28}
247. Segment(K_{14}, J_{14}) → l_{28}
248. Segment(K_{14}, L_{14}) → m_{28}
249. Segment(L_{14}, M_{14}) → n_{28}
250. Point(c_{36}) → N_{14}
251. Segment(M_{14}, N_{14}) → p_{14}
252. Segment(C_{28}, N_{14}) → q_{14}
253. Polygon(A_{29}, B_{30}, 4) → poly1_{29}, a_{38}, b_{38}, c_{37}, d_{38}, C_{30}, D_{29}
254. Polygon(A_{31}, B_{31}, 4) → poly1_{30}, a_{36}, b_{36}, c_{38}, d_{36}, C_{31}, D_{30}
255. Segment(D_{29}, I_{15}) → j_{29}
256. Point(c_{37}) → J_{15}
257. Segment(I_{15}, J_{15}) → k_{29}
258. Segment(K_{15}, J_{15}) → l_{29}
259. Segment(K_{15}, L_{15}) → m_{29}
260. Segment(L_{15}, M_{15}) → n_{29}
261. Point(c_{37}) → N_{15}
262. Segment(M_{15}, N_{15}) → p_{15}
263. Segment(C_{30}, N_{15}) → q_{15}
264. Polygon(E_{14}, C_{28}, F_{15}, G_{15}, H_{15}, A_{28}, I_{15}, J_{15}, K_{15}, L_{15}, M_{15}, N_{15}, N_{14}, B_{28}, H_{14}, G_{14}, F_{14}, M_{14}, L_{14}, K_{14}, J_{14}, I_{14}, D_{28}, E_{15}) → poly2_7, e_{31}, e_{30}, f_{31}, g_{31}, h_{31}, a_{35}, i_{30}, j_{30}, k_{30}, l_{30}, m_{30}, c_{35}, n_{30}, b_{35}, h_{30}, g_{30}, f_{30}, n_{31}, m_{31}, l_{31}, k_{31}, j_{31}, i_{31}, d_{35}
265. Polygon(A_{32}, B_{32}, 4) → poly1_{32}, a_{44}, b_{44}, c_{41}, d_{44}, C_{32}, D_{32}
266. Segment(C_{32}, E_{16}) → e_{32}
267. Segment(E_{16}, F_{16}) → f_{32}
268. Segment(F_{16}, G_{16}) → g_{32}
269. Segment(G_{16}, H_{16}) → h_{32}
270. Segment(H_{16}, B_{32}) → i_{32}
271. Polygon(A_{34}, B_{33}, 4) → poly1_{35}, a_{42}, b_{42}, c_{44}, d_{42}, C_{33}, D_{35}
272. Segment(C_{33}, E_{17}) → e_{33}
273. Segment(E_{17}, F_{17}) → f_{33}
274. Segment(F_{17}, G_{17}) → g_{33}
275. Segment(G_{17}, H_{17}) → h_{33}
276. Segment(H_{17}, B_{33}) → i_{33}
277. Segment(D_{32}, I_{16}) → j_{32}
278. Point(c_{41}) → J_{16}
279. Segment(I_{16}, J_{16}) → k_{32}
280. Segment(K_{16}, J_{16}) → l_{32}
281. Segment(K_{16}, L_{16}) → m_{32}
282. Segment(L_{16}, M_{16}) → n_{32}
283. Point(c_{41}) → N_{16}
284. Segment(M_{16}, N_{16}) → p_{16}
285. Segment(C_{32}, N_{16}) → q_{16}
286. Polygon(A_{33}, B_{34}, 4) → poly1_{33}, a_{43}, b_{43}, c_{42}, d_{43}, C_{34}, D_{33}
287. Polygon(A_{35}, B_{35}, 4) → poly1_{34}, a_{41}, b_{41}, c_{43}, d_{41}, C_{35}, D_{34}
288. Segment(D_{33}, I_{17}) → j_{33}
289. Point(c_{42}) → J_{17}
290. Segment(I_{17}, J_{17}) → k_{33}
291. Segment(K_{17}, J_{17}) → l_{33}
292. Segment(K_{17}, L_{17}) → m_{33}
293. Segment(L_{17}, M_{17}) → n_{33}
294. Point(c_{42}) → N_{17}
295. Segment(M_{17}, N_{17}) → p_{17}
296. Segment(C_{34}, N_{17}) → q_{17}
297. Polygon(E_{16}, C_{32}, F_{17}, G_{17}, H_{17}, A_{32}, I_{17}, J_{17}, K_{17}, L_{17}, M_{17}, N_{17}, N_{16}, B_{32}, H_{16}, G_{16}, F_{16}, M_{16}, L_{16}, K_{16}, J_{16}, I_{16}, D_{32}, E_{17}) → poly2_8, e_{35}, e_{34}, f_{35}, g_{35}, h_{35}, a_{40}, i_{34}, j_{34}, k_{34}, l_{34}, m_{34}, c_{40}, n_{34}, b_{40}, h_{34}, g_{34}, f_{34}, n_{35}, m_{35}, l_{35}, k_{35}, j_{35}, i_{35}, d_{40}
298. Polygon(A_{36}, B_{36}, 4) → poly1_{36}, a_{49}, b_{49}, c_{46}, d_{49}, C_{36}, D_{36}
299. Segment(C_{36}, E_{18}) → e_{36}
300. Segment(E_{18}, F_{18}) → f_{36}
301. Segment(F_{18}, G_{18}) → g_{36}
302. Segment(G_{18}, H_{18}) → h_{36}
303. Segment(H_{18}, B_{36}) → i_{36}
304. Polygon(A_{38}, B_{37}, 4) → poly1_{39}, a_{47}, b_{47}, c_{49}, d_{47}, C_{37}, D_{39}
305. Segment(C_{37}, E_{19}) → e_{37}
306. Segment(E_{19}, F_{19}) → f_{37}
307. Segment(F_{19}, G_{19}) → g_{37}
308. Segment(G_{19}, H_{19}) → h_{37}
309. Segment(H_{19}, B_{37}) → i_{37}
310. Segment(D_{36}, I_{18}) → j_{36}
311. Point(c_{46}) → J_{18}
312. Segment(I_{18}, J_{18}) → k_{36}
313. Segment(K_{18}, J_{18}) → l_{36}
314. Segment(K_{18}, L_{18}) → m_{36}
315. Segment(L_{18}, M_{18}) → n_{36}
316. Point(c_{46}) → N_{18}
317. Segment(M_{18}, N_{18}) → p_{18}
318. Segment(C_{36}, N_{18}) → q_{18}
319. Polygon(A_{37}, B_{38}, 4) → poly1_{37}, a_{48}, b_{48}, c_{47}, d_{48}, C_{38}, D_{37}
320. Polygon(A_{39}, B_{39}, 4) → poly1_{38}, a_{46}, b_{46}, c_{48}, d_{46}, C_{39}, D_{38}
321. Segment(D_{37}, I_{19}) → j_{37}
322. Point(c_{47}) → J_{19}
323. Segment(I_{19}, J_{19}) → k_{37}
324. Segment(K_{19}, J_{19}) → l_{37}
325. Segment(K_{19}, L_{19}) → m_{37}
326. Segment(L_{19}, M_{19}) → n_{37}
327. Point(c_{47}) → N_{19}
328. Segment(M_{19}, N_{19}) → p_{19}
329. Segment(C_{38}, N_{19}) → q_{19}
330. Polygon(E_{18}, C_{36}, F_{19}, G_{19}, H_{19}, A_{36}, I_{19}, J_{19}, K_{19}, L_{19}, M_{19}, N_{19}, N_{18}, B_{36}, H_{18}, G_{18}, F_{18}, M_{18}, L_{18}, K_{18}, J_{18}, I_{18}, D_{36}, E_{19}) → poly2_9, e_{39}, e_{38}, f_{39}, g_{39}, h_{39}, a_{45}, i_{38}, j_{38}, k_{38}, l_{38}, m_{38}, c_{45}, n_{38}, b_{45}, h_{38}, g_{38}, f_{38}, n_{39}, m_{39}, l_{39}, k_{39}, j_{39}, i_{39}, d_{45}