CAR TANGRAM

GeoGebra 命令及参数

1. Polygon(A, B, C, D) → poly1, a, b, c, d
2. Polygon(A, E, F, G) → poly2, a_1, e, f, g
3. Circle(H, I) → h
4. Point(h) → J
5. Circle(H_1, I_1) → h_1
6. Point(h_1) → J_1
7. Polygon(A_1, E_1, F_1, G_1) → poly2_1, a_2, e_1, f_1, g_1
8. Point(h) → K
9. Point(d) → M
10. Point(d) → N
11. Polygon(K, L, M, N) → poly3, k, l, m, n
12. Point(d) → O
13. Polygon(L, O, M) → poly4, m_1, l_1, o
14. Polygon(A_2, B_1, C_1, D_1) → poly1_1, a_3, b_1, c_1, d_1
15. Point(d_1) → M_1
16. Point(d_1) → N_1
17. Point(d_1) → O_1
18. Polygon(L_1, O_1, M_1) → poly4_1, m_2, l_2, o_1
19. Polygon(A_3, B_2, C_2, D_2) → poly1_2, a_4, b_2, c_2, d_2
20. Point(d_2) → M_2
21. Point(d_2) → N_2
22. Point(d_2) → O_2
23. Polygon(L_2, O_2, M_2) → poly4_2, m_3, l_3, o_2
24. Polygon(A_4, B_3, C_3, D_3) → poly1_3, a_6, b_4, c_4, d_3
25. Point(d_3) → M_4
26. Point(d_3) → N_3
27. Point(d_3) → O_4
28. Polygon(A_5, B_4, C_4, D_4) → poly1_4, a_5, b_3, c_3, d_4
29. Point(d_4) → N_4
30. Polygon(A_6, B_5, C_5, D_6) → poly1_5, a_8, b_6, c_6, d_5
31. Point(d_5) → M_6
32. Point(d_5) → N_5
33. Point(d_5) → O_6
34. Polygon(A_7, B_6, C_6, D_7) → poly1_6, a_7, b_5, c_5, d_6
35. Point(d_6) → M_5
36. Point(d_6) → N_6
37. Point(d_6) → O_5
38. Polygon(L_4, O_5, M_5) → poly4_4, m_5, l_5, o_4
39. Point(m_2) → P
40. Point(m_5) → Q
41. Polygon(P, Q, O_5, O_1) → poly5, p, q, o_5, o_6
42. Polygon(A_8, B_7, C_7, D_9) → poly1_7, a_{13}, b_{11}, c_{11}, d_7
43. Circle(H_2, I_2) → h_2
44. Point(h_2) → J_2
45. Point(h_2) → K_1
46. Point(d_7) → M_{11}
47. Point(d_7) → N_7
48. Point(d_7) → O_{11}
49. Polygon(A_9, B_8, C_8, D_{10}) → poly1_8, a_{12}, b_{10}, c_{10}, d_8
50. Point(d_8) → M_7
51. Point(d_8) → N_{11}
52. Point(d_8) → O_8
53. Polygon(L_5, O_8, M_7) → poly4_5, m_6, l_7, o_{10}
54. Polygon(A_{10}, B_9, C_9, D_{11}) → poly1_9, a_{11}, b_9, c_9, d_9
55. Point(d_9) → M_{10}
56. Point(d_9) → N_8
57. Point(d_9) → O_{10}
58. Polygon(A_{11}, B_{10}, C_{10}, D_{12}) → poly1_{10}, a_{10}, b_8, c_8, d_{10}
59. Point(d_{10}) → M_9
60. Point(d_{10}) → N_9
61. Point(d_{10}) → O_9
62. Polygon(A_{12}, B_{11}, C_{11}, D_{13}) → poly1_{11}, a_9, b_7, c_7, d_{11}
63. Point(d_{11}) → M_8
64. Point(d_{11}) → N_{10}
65. Point(d_{11}) → O_7
66. Polygon(L_6, O_7, M_8) → poly4_6, m_7, l_6, o_9
67. Point(m_6) → P_1
68. Point(m_7) → Q_1
69. Polygon(P_1, Q_1, O_7, O_8) → poly5_1, p_1, q_1, o_7, o_8
70. Intersect(h, m_2, 2) → R
71. Point(p) → S
72. Polygon(R, S, P) → poly6, p_2, r, s
73. Polygon(A_{13}, B_{12}, C_{12}, D_{15}) → poly1_{12}, a_{18}, b_{16}, c_{16}, d_{12}
74. Circle(H_3, I_3) → h_3
75. Point(h_3) → J_3
76. Point(h_3) → K_2
77. Point(d_{12}) → M_{16}
78. Point(d_{12}) → N_{12}
79. Point(d_{12}) → O_{16}
80. Polygon(A_{14}, B_{13}, C_{13}, D_{16}) → poly1_{13}, a_{17}, b_{15}, c_{15}, d_{13}
81. Point(d_{13}) → M_{12}
82. Point(d_{13}) → N_{16}
83. Point(d_{13}) → O_{12}
84. Polygon(L_7, O_{12}, M_{12}) → poly4_7, m_8, l_9, o_{14}
85. Polygon(A_{15}, B_{14}, C_{14}, D_{17}) → poly1_{14}, a_{16}, b_{14}, c_{14}, d_{14}
86. Point(d_{14}) → M_{15}
87. Point(d_{14}) → N_{13}
88. Point(d_{14}) → O_{15}
89. Polygon(A_{16}, B_{15}, C_{15}, D_{18}) → poly1_{15}, a_{15}, b_{13}, c_{13}, d_{15}
90. Point(d_{15}) → M_{14}
91. Point(d_{15}) → N_{14}
92. Point(d_{15}) → O_{14}
93. Polygon(A_{17}, B_{16}, C_{16}, D_{19}) → poly1_{16}, a_{14}, b_{12}, c_{12}, d_{16}
94. Point(d_{16}) → M_{13}
95. Point(d_{16}) → N_{15}
96. Point(d_{16}) → O_{13}
97. Polygon(L_8, O_{13}, M_{13}) → poly4_8, m_9, l_8, o_{13}
98. Point(m_8) → P_2
99. Point(m_9) → Q_2
100. Polygon(P_2, Q_2, O_{13}, O_{12}) → poly5_2, p_4, q_2, o_{11}, o_{12}
101. Intersect(h_3, m_8, 2) → R_1
102. Point(p_4) → S_1
103. Polygon(R_1, S_1, P_2) → poly6_1, p_3, r_1, s_1
104. Polygon(A_{19}, B_{20}, C_{18}, D_{21}) → poly1_{17}, a_{23}, b_{21}, c_{21}, d_{17}
105. Circle(H_4, I_4) → h_4
106. Point(h_4) → J_4
107. Point(h_4) → K_3
108. Point(d_{17}) → M_{21}
109. Point(d_{17}) → N_{17}
110. Point(d_{17}) → O_{21}
111. Polygon(A_{20}, B_{21}, C_{19}, D_{22}) → poly1_{18}, a_{22}, b_{20}, c_{20}, d_{18}
112. Point(d_{18}) → M_{17}
113. Point(d_{18}) → N_{21}
114. Point(d_{18}) → O_{17}
115. Polygon(L_9, O_{17}, M_{17}) → poly4_9, m_{10}, l_{11}, o_{18}
116. Polygon(A_{21}, B_{22}, C_{20}, D_{23}) → poly1_{19}, a_{21}, b_{19}, c_{19}, d_{19}
117. Point(d_{19}) → M_{20}
118. Point(d_{19}) → N_{18}
119. Point(d_{19}) → O_{20}
120. Polygon(A_{22}, B_{23}, C_{21}, D_{24}) → poly1_{20}, a_{20}, b_{18}, c_{18}, d_{20}
121. Point(d_{20}) → M_{19}
122. Point(d_{20}) → N_{19}
123. Point(d_{20}) → O_{19}
124. Polygon(A_{23}, B_{24}, C_{22}, D_{25}) → poly1_{21}, a_{19}, b_{17}, c_{17}, d_{21}
125. Point(d_{21}) → M_{18}
126. Point(d_{21}) → N_{20}
127. Point(d_{21}) → O_{18}
128. Polygon(L_{10}, O_{18}, M_{18}) → poly4_{10}, m_{11}, l_{10}, o_{17}
129. Point(m_{10}) → P_3
130. Point(m_{11}) → Q_3
131. Polygon(P_3, Q_3, O_{18}, O_{17}) → poly5_3, p_6, q_3, o_{15}, o_{16}
132. Intersect(h_4, m_{10}, 2) → R_2
133. Point(p_6) → S_2
134. Polygon(R_2, S_2, P_3) → poly6_2, p_5, r_2, s_2
135. Point(p) → T
136. Intersect(h, m_5, 2) → U
137. Polygon(T, U, Q) → poly7, q_4, t, u
138. Polygon(A_{25}, B_{28}, C_{24}, D_{27}) → poly1_{22}, a_{28}, b_{26}, c_{26}, d_{22}
139. Circle(H_5, I_5) → h_5
140. Point(h_5) → J_5
141. Point(h_5) → K_4
142. Point(d_{22}) → M_{26}
143. Point(d_{22}) → N_{22}
144. Point(d_{22}) → O_{26}
145. Polygon(A_{26}, B_{29}, C_{25}, D_{28}) → poly1_{23}, a_{27}, b_{25}, c_{25}, d_{23}
146. Point(d_{23}) → M_{22}
147. Point(d_{23}) → N_{26}
148. Point(d_{23}) → O_{22}
149. Polygon(L_{11}, O_{22}, M_{22}) → poly4_{11}, m_{12}, l_{13}, o_{22}
150. Polygon(A_{27}, B_{30}, C_{26}, D_{29}) → poly1_{24}, a_{26}, b_{24}, c_{24}, d_{24}
151. Point(d_{24}) → M_{25}
152. Point(d_{24}) → N_{23}
153. Point(d_{24}) → O_{25}
154. Polygon(A_{28}, B_{31}, C_{27}, D_{30}) → poly1_{25}, a_{25}, b_{23}, c_{23}, d_{25}
155. Point(d_{25}) → M_{24}
156. Point(d_{25}) → N_{24}
157. Point(d_{25}) → O_{24}
158. Polygon(A_{29}, B_{32}, C_{28}, D_{31}) → poly1_{26}, a_{24}, b_{22}, c_{22}, d_{26}
159. Point(d_{26}) → M_{23}
160. Point(d_{26}) → N_{25}
161. Point(d_{26}) → O_{23}
162. Polygon(L_{12}, O_{23}, M_{23}) → poly4_{12}, m_{13}, l_{12}, o_{21}
163. Point(m_{12}) → P_4
164. Point(m_{13}) → Q_4
165. Polygon(P_4, Q_4, O_{23}, O_{22}) → poly5_4, p_7, q_6, o_{19}, o_{20}
166. Point(p_7) → S_3
167. Point(p_7) → T_1
168. Intersect(h_5, m_{13}, 2) → U_1
169. Polygon(T_1, U_1, Q_4) → poly7_1, q_5, t_1, u_1
170. Polygon(A_{34}, B_{43}, C_{34}, D_{35}) → poly1_{27}, a_{29}, b_{27}, c_{27}, d_{27}
171. Point(d_{27}) → M_3
172. Point(d_{27}) → N_{27}
173. Point(d_{27}) → O_3
174. Polygon(A_{39}, E_{29}, F_8, G_7) → poly2_2, a_{30}, e_2, f_2, g_2
175. Polygon(A_{40}, E_{30}, F_9, G_8) → poly2_3, a_{31}, e_3, f_3, g_3
176. Circle(H_7, I_7) → h_6
177. Point(h_6) → J_6
178. Point(h_6) → K_5
179. Circle(H_9, I_9) → h_7
180. Point(h_7) → J_7
181. Polygon(A_{45}, B_{48}, C_{40}, D_{39}) → poly1_{28}, a_{32}, b_{28}, c_{28}, d_{28}
182. Circle(H_{13}, I_{13}) → h_8
183. Point(h_8) → J_8
184. Point(h_8) → K_6
185. Point(d_{28}) → M_{27}
186. Point(d_{28}) → N_{28}
187. Polygon(K_6, L_{15}, M_{27}, N_{28}) → poly3_1, k_1, l_4, m_4, n_1
188. Point(d_{28}) → O_{27}
189. Polygon(A_{54}, B_{53}, C_{46}, D_{43}) → poly1_{29}, a_{34}, b_{30}, c_{30}, d_{29}
190. Point(d_{29}) → M_{29}
191. Point(d_{29}) → N_{29}
192. Point(d_{29}) → O_{29}
193. Polygon(A_{55}, B_{54}, C_{47}, D_{44}) → poly1_{30}, a_{33}, b_{29}, c_{29}, d_{30}
194. Point(d_{30}) → M_{28}
195. Point(d_{30}) → N_{30}
196. Point(d_{30}) → O_{28}
197. Polygon(L_{16}, O_{28}, M_{28}) → poly4_3, m_{14}, l_{14}, o_3
198. Point(m_{14}) → P_5
199. Polygon(A_{63}, B_{61}, C_{55}, D_{47}) → poly1_{31}, a_{38}, b_{34}, c_{34}, d_{31}
200. Circle(H_{15}, I_{15}) → h_9
201. Point(h_9) → J_9
202. Point(h_9) → K_7
203. Point(d_{31}) → M_{33}
204. Point(d_{31}) → N_{31}
205. Point(d_{31}) → O_{33}
206. Polygon(A_{65}, B_{63}, C_{57}, D_{48}) → poly1_{32}, a_{37}, b_{33}, c_{33}, d_{32}
207. Point(d_{32}) → M_{32}
208. Point(d_{32}) → N_{32}
209. Point(d_{32}) → O_{32}
210. Polygon(A_{66}, B_{64}, C_{58}, D_{49}) → poly1_{33}, a_{36}, b_{32}, c_{32}, d_{33}
211. Point(d_{33}) → M_{31}
212. Point(d_{33}) → N_{33}
213. Point(d_{33}) → O_{31}
214. Polygon(A_{67}, B_{65}, C_{59}, D_{50}) → poly1_{34}, a_{35}, b_{31}, c_{31}, d_{34}
215. Point(d_{34}) → M_{30}
216. Point(d_{34}) → N_{34}
217. Point(d_{34}) → O_{30}
218. Polygon(L_{17}, O_{30}, M_{30}) → poly4_{13}, m_{15}, l_{15}, o_{23}
219. Point(m_{15}) → Q_5
220. Polygon(A_{73}, B_{79}, C_{66}, D_{55}) → poly1_{35}, a_{40}, b_{36}, c_{36}, d_{35}
221. Point(d_{35}) → M_{35}
222. Point(d_{35}) → N_{35}
223. Point(d_{35}) → O_{35}
224. Polygon(A_{74}, B_{80}, C_{67}, D_{56}) → poly1_{36}, a_{39}, b_{35}, c_{35}, d_{36}
225. Point(d_{36}) → M_{34}
226. Point(d_{36}) → N_{36}
227. Point(d_{36}) → O_{34}
228. Polygon(L_{18}, O_{34}, M_{34}) → poly4_{14}, m_{16}, l_{16}, o_{24}
229. Polygon(A_{79}, B_{92}, C_{74}, D_{61}) → poly1_{37}, a_{41}, b_{37}, c_{37}, d_{37}
230. Point(d_{37}) → M_{36}
231. Point(d_{37}) → N_{37}
232. Point(d_{37}) → O_{36}
233. Polygon(L_{19}, O_{36}, M_{36}) → poly4_{15}, m_{17}, l_{17}, o_{25}
234. Polygon(A_{87}, B_{97}, C_{80}, D_{63}) → poly1_{38}, a_{47}, b_{43}, c_{43}, d_{38}
235. Circle(H_{17}, I_{17}) → h_{11}
236. Point(d_{38}) → M_{37}
237. Point(d_{38}) → N_{43}
238. Point(d_{38}) → O_{42}
239. Polygon(A_{88}, B_{99}, C_{82}, D_{64}) → poly1_{39}, a_{46}, b_{42}, c_{42}, d_{39}
240. Circle(H_{18}, I_{18}) → h_{10}
241. Point(h_{10}) → J_{10}
242. Point(h_{10}) → K_8
243. Point(d_{39}) → M_{42}
244. Point(d_{39}) → N_{38}
245. Point(d_{39}) → O_{41}
246. Polygon(A_{89}, B_{100}, C_{83}, D_{65}) → poly1_{40}, a_{45}, b_{41}, c_{41}, d_{40}
247. Point(d_{40}) → M_{38}
248. Point(d_{40}) → N_{42}
249. Point(d_{40}) → O_{38}
250. Polygon(L_{21}, O_{38}, M_{38}) → poly4_{16}, m_{18}, l_{19}, o_{29}
251. Polygon(A_{90}, B_{101}, C_{84}, D_{66}) → poly1_{41}, a_{44}, b_{40}, c_{40}, d_{41}
252. Point(d_{41}) → M_{41}
253. Point(d_{41}) → N_{39}
254. Point(d_{41}) → O_{40}
255. Polygon(A_{91}, B_{102}, C_{85}, D_{67}) → poly1_{42}, a_{43}, b_{39}, c_{39}, d_{42}
256. Point(d_{42}) → M_{40}
257. Point(d_{42}) → N_{40}
258. Point(d_{42}) → O_{39}
259. Polygon(A_{92}, B_{103}, C_{86}, D_{68}) → poly1_{43}, a_{42}, b_{38}, c_{38}, d_{43}
260. Point(d_{43}) → M_{39}
261. Point(d_{43}) → N_{41}
262. Point(d_{43}) → O_{37}
263. Polygon(L_{22}, O_{37}, M_{39}) → poly4_{17}, m_{19}, l_{18}, o_{28}
264. Point(m_{18}) → P_6
265. Point(m_{19}) → Q_6
266. Polygon(P_6, Q_6, O_{37}, O_{38}) → poly5_5, p_8, q_7, o_{26}, o_{27}
267. Polygon(A_{98}, B_{114}, C_{96}, D_{75}) → poly1_{44}, a_{52}, b_{48}, c_{48}, d_{44}
268. Circle(H_{21}, I_{21}) → h_{12}
269. Point(h_{12}) → J_{11}
270. Point(h_{12}) → K_9
271. Point(d_{44}) → M_{47}
272. Point(d_{44}) → N_{44}
273. Point(d_{44}) → O_{47}
274. Polygon(A_{99}, B_{115}, C_{97}, D_{76}) → poly1_{45}, a_{51}, b_{47}, c_{47}, d_{45}
275. Point(d_{45}) → M_{43}
276. Point(d_{45}) → N_{48}
277. Point(d_{45}) → O_{44}
278. Polygon(L_{23}, O_{44}, M_{43}) → poly4_{18}, m_{20}, l_{21}, o_{33}
279. Polygon(A_{100}, B_{116}, C_{98}, D_{77}) → poly1_{46}, a_{50}, b_{46}, c_{46}, d_{46}
280. Point(d_{46}) → M_{46}
281. Point(d_{46}) → N_{45}
282. Point(d_{46}) → O_{46}
283. Polygon(A_{101}, B_{117}, C_{99}, D_{78}) → poly1_{47}, a_{49}, b_{45}, c_{45}, d_{47}
284. Point(d_{47}) → M_{45}
285. Point(d_{47}) → N_{46}
286. Point(d_{47}) → O_{45}
287. Polygon(A_{102}, B_{118}, C_{100}, D_{79}) → poly1_{48}, a_{48}, b_{44}, c_{44}, d_{48}
288. Point(d_{48}) → M_{44}
289. Point(d_{48}) → N_{47}
290. Point(d_{48}) → O_{43}
291. Polygon(L_{24}, O_{43}, M_{44}) → poly4_{19}, m_{21}, l_{20}, o_{32}
292. Point(m_{20}) → P_7
293. Point(m_{21}) → Q_7
294. Polygon(P_7, Q_7, O_{43}, O_{44}) → poly5_6, p_9, q_8, o_{30}, o_{31}
295. Point(p_9) → S_4
296. Point(p_9) → T_2
297. Polygon(A_{108}, B_{132}, C_{107}, D_{83}) → poly1_{49}, a_{58}, b_{54}, c_{54}, d_{49}
298. Circle(H_{23}, I_{23}) → h_{14}
299. Point(d_{49}) → M_{48}
300. Point(d_{49}) → N_{54}
301. Point(d_{49}) → O_{53}
302. Polygon(A_{109}, B_{135}, C_{111}, D_{86}) → poly1_{50}, a_{57}, b_{53}, c_{53}, d_{50}
303. Circle(H_{24}, I_{24}) → h_{13}
304. Point(h_{13}) → J_{12}
305. Point(h_{13}) → K_{10}
306. Point(d_{50}) → M_{53}
307. Point(d_{50}) → N_{49}
308. Point(d_{50}) → O_{52}
309. Polygon(A_{110}, B_{136}, C_{112}, D_{87}) → poly1_{51}, a_{56}, b_{52}, c_{52}, d_{51}
310. Point(d_{51}) → M_{49}
311. Point(d_{51}) → N_{53}
312. Point(d_{51}) → O_{48}
313. Polygon(L_{26}, O_{48}, M_{49}) → poly4_{20}, m_{22}, l_{23}, o_{37}
314. Polygon(A_{111}, B_{137}, C_{113}, D_{88}) → poly1_{52}, a_{55}, b_{51}, c_{51}, d_{52}
315. Point(d_{52}) → M_{52}
316. Point(d_{52}) → N_{50}
317. Point(d_{52}) → O_{51}
318. Polygon(A_{112}, B_{138}, C_{114}, D_{89}) → poly1_{53}, a_{54}, b_{50}, c_{50}, d_{53}
319. Point(d_{53}) → M_{51}
320. Point(d_{53}) → N_{51}
321. Point(d_{53}) → O_{50}
322. Polygon(A_{113}, B_{139}, C_{115}, D_{90}) → poly1_{54}, a_{53}, b_{49}, c_{49}, d_{54}
323. Point(d_{54}) → M_{50}
324. Point(d_{54}) → N_{52}
325. Point(d_{54}) → O_{49}
326. Polygon(L_{27}, O_{49}, M_{50}) → poly4_{21}, m_{23}, l_{22}, o_{36}
327. Point(m_{22}) → P_8
328. Polygon(A_{123}, B_{159}, C_{128}, D_{97}) → poly1_{55}, a_{64}, b_{60}, c_{60}, d_{55}
329. Circle(H_{28}, I_{28}) → h_{16}
330. Point(d_{55}) → M_{54}
331. Point(d_{55}) → N_{60}
332. Point(d_{55}) → O_{59}
333. Polygon(A_{124}, B_{162}, C_{132}, D_{100}) → poly1_{56}, a_{63}, b_{59}, c_{59}, d_{56}
334. Circle(H_{29}, I_{29}) → h_{15}
335. Point(h_{15}) → J_{13}
336. Point(h_{15}) → K_{11}
337. Point(d_{56}) → M_{59}
338. Point(d_{56}) → N_{55}
339. Point(d_{56}) → O_{58}
340. Polygon(A_{125}, B_{163}, C_{133}, D_{101}) → poly1_{57}, a_{62}, b_{58}, c_{58}, d_{57}
341. Point(d_{57}) → M_{55}
342. Point(d_{57}) → N_{59}
343. Point(d_{57}) → O_{54}
344. Polygon(L_{29}, O_{54}, M_{55}) → poly4_{22}, m_{24}, l_{25}, o_{41}
345. Polygon(A_{126}, B_{164}, C_{134}, D_{102}) → poly1_{58}, a_{61}, b_{57}, c_{57}, d_{58}
346. Point(d_{58}) → M_{58}
347. Point(d_{58}) → N_{56}
348. Point(d_{58}) → O_{57}
349. Polygon(A_{127}, B_{165}, C_{135}, D_{103}) → poly1_{59}, a_{60}, b_{56}, c_{56}, d_{59}
350. Point(d_{59}) → M_{57}
351. Point(d_{59}) → N_{57}
352. Point(d_{59}) → O_{56}
353. Polygon(A_{128}, B_{166}, C_{136}, D_{104}) → poly1_{60}, a_{59}, b_{55}, c_{55}, d_{60}
354. Point(d_{60}) → M_{56}
355. Point(d_{60}) → N_{58}
356. Point(d_{60}) → O_{55}
357. Polygon(L_{30}, O_{55}, M_{56}) → poly4_{23}, m_{25}, l_{24}, o_{40}
358. Point(m_{24}) → P_9
359. Point(m_{25}) → Q_9
360. Polygon(P_9, Q_9, O_{55}, O_{54}) → poly5_8, p_{11}, q_{12}, o_{38}, o_{39}
361. Point(p_{11}) → S_6
362. Point(p_{11}) → T_4
363. Intersect(h_{15}, m_{25}, 2) → U_3
364. Polygon(T_4, U_3, Q_9) → poly7_3, q_{11}, t_3, u_3
365. Circle(H_{33}, I_{33}) → h_{18}
366. Circle(H_{34}, I_{34}) → h_{17}
367. Point(h_{17}) → J_{14}
368. Point(h_{17}) → K_{12}
369. Polygon(A_{153}, B_{213}, C_{170}, D_{125}) → poly1_{66}, a_{75}, b_{71}, c_{71}, d_{66}
370. Circle(H_{38}, I_{38}) → h_{20}
371. Point(d_{66}) → M_{65}
372. Point(d_{66}) → N_{71}
373. Point(d_{66}) → O_{70}
374. Polygon(A_{154}, B_{216}, C_{174}, D_{128}) → poly1_{67}, a_{74}, b_{70}, c_{70}, d_{67}
375. Circle(H_{39}, I_{39}) → h_{19}
376. Point(h_{19}) → J_{15}
377. Point(h_{19}) → K_{13}
378. Point(d_{67}) → M_{70}
379. Point(d_{67}) → N_{66}
380. Point(d_{67}) → O_{69}
381. Polygon(A_{155}, B_{217}, C_{175}, D_{129}) → poly1_{68}, a_{73}, b_{69}, c_{69}, d_{68}
382. Point(d_{68}) → M_{66}
383. Point(d_{68}) → N_{70}
384. Point(d_{68}) → O_{65}
385. Polygon(L_{33}, O_{65}, M_{66}) → poly4_{25}, m_{27}, l_{28}, o_{46}
386. Polygon(A_{156}, B_{218}, C_{176}, D_{130}) → poly1_{69}, a_{72}, b_{68}, c_{68}, d_{69}
387. Point(d_{69}) → M_{69}
388. Point(d_{69}) → N_{67}
389. Point(d_{69}) → O_{68}
390. Polygon(A_{157}, B_{219}, C_{177}, D_{131}) → poly1_{70}, a_{71}, b_{67}, c_{67}, d_{70}
391. Point(d_{70}) → M_{68}
392. Point(d_{70}) → N_{68}
393. Point(d_{70}) → O_{67}
394. Polygon(A_{158}, B_{220}, C_{178}, D_{132}) → poly1_{71}, a_{70}, b_{66}, c_{66}, d_{71}
395. Point(d_{71}) → M_{67}
396. Point(d_{71}) → N_{69}
397. Point(d_{71}) → O_{66}
398. Polygon(L_{34}, O_{66}, M_{67}) → poly4_{26}, m_{28}, l_{27}, o_{45}
399. Point(m_{27}) → P_{10}
400. Polygon(A_{138}, B_{240}, C_{191}, D_{116}) → poly1_{61}, a_{76}, b_{72}, c_{72}, d_{61}
401. Circle(H_{43}, I_{43}) → h_{22}
402. Point(d_{61}) → M_{60}
403. Point(d_{61}) → N_{72}
404. Point(d_{61}) → O_{71}
405. Polygon(A_{139}, B_{243}, C_{195}, D_{120}) → poly1_{62}, a_{69}, b_{65}, c_{65}, d_{62}
406. Circle(H_{44}, I_{44}) → h_{21}
407. Point(h_{21}) → J_{16}
408. Point(h_{21}) → K_{14}
409. Point(d_{62}) → M_{71}
410. Point(d_{62}) → N_{61}
411. Point(d_{62}) → O_{64}
412. Polygon(A_{140}, B_{244}, C_{196}, D_{139}) → poly1_{63}, a_{68}, b_{64}, c_{64}, d_{63}
413. Point(d_{63}) → M_{61}
414. Point(d_{63}) → N_{65}
415. Point(d_{63}) → O_{60}
416. Polygon(L_{36}, O_{60}, M_{61}) → poly4_{24}, m_{26}, l_{29}, o_{43}
417. Polygon(A_{141}, B_{245}, C_{197}, D_{140}) → poly1_{64}, a_{67}, b_{63}, c_{63}, d_{64}
418. Point(d_{64}) → M_{64}
419. Point(d_{64}) → N_{62}
420. Point(d_{64}) → O_{63}
421. Polygon(A_{142}, B_{246}, C_{198}, D_{141}) → poly1_{65}, a_{66}, b_{62}, c_{62}, d_{65}
422. Point(d_{65}) → M_{63}
423. Point(d_{65}) → N_{63}
424. Point(d_{65}) → O_{62}
425. Polygon(A_{143}, B_{247}, C_{199}, D_{142}) → poly1_{72}, a_{65}, b_{61}, c_{61}, d_{72}
426. Point(d_{72}) → M_{62}
427. Point(d_{72}) → N_{64}
428. Point(d_{72}) → O_{61}
429. Polygon(L_{37}, O_{61}, M_{62}) → poly4_{27}, m_{29}, l_{26}, o_{42}
430. Point(m_{29}) → Q_8
431. Point(p_9) → V
432. Polygon(P_7, V, W) → poly8, w, p_{10}, v
433. Polygon(V, Q_7, Z) → poly9, z, v_1, q_9
434. Polygon(P_6, T_4, V_1) → poly10, v_2, p_{12}, t_4