随机旋转对称问题

GeoGebra 命令及参数

1. Polygon(A1, B1, C1, D1) → E1, F1, G1, H1, I1
2. Polygon(A2, B2, C2, D2) → E2, F2, G2, H2, I2
3. Polygon(A3, B3, C3, D3) → E3, F3, G3, H3, I3
4. Polygon(A4, B4, C4, D4) → E4, F4, G4, H4, I4
5. Polygon(A5, B5, C5, D5) → E5, F5, G5, H5, I5
6. Random(4, 5) → size
7. Polygon(A6, B6, C6, D6) → E6, F6, G6, H6, I6
8. Polygon(A7, B7, C7, D7) → E7, F7, G7, H7, I7
9. Polygon(A8, B8, C8, D8) → E8, F8, G8, H8, I8
10. Polygon(A9, B9, C9, D9) → E9, F9, G9, H9, I9
11. Polygon(A10, B10, C10, D10) → E10, F10, G10, H10, I10
12. Polygon(A11, B11, C11, D11) → E11, F11, G11, H11, I11
13. Polygon(A12, B12, C12, D12) → E12, F12, G12, H12, I12
14. Polygon(A13, B13, C13, D13) → E13, F13, G13, H13, I13
15. Polygon(A14, B14, C14, D14) → E14, F14, G14, H14, I14
16. Polygon(A15, B15, C15, D15) → E15, F15, G15, H15, I15
17. Polygon(A16, B16, C16, D16) → E16, F16, G16, H16, I16
18. Polygon(A17, B17, C17, D17) → E17, F17, G17, H17, I17
19. Polygon(A18, B18, C18, D18) → E18, F18, G18, H18, I18
20. Polygon(A19, B19, C19, D19) → E19, F19, G19, H19, I19
21. Polygon(A20, B20, C20, D20) → E20, F20, G20, H20, I20
22. Polygon(A21, B21, C21, D21) → E21, F21, G21, H21, I21
23. Polygon(A22, B22, C22, D22) → E22, F22, G22, H22, I22
24. Polygon(A23, B23, C23, D23) → E23, F23, G23, H23, I23
25. Polygon(A24, B24, C24, D24) → E24, F24, G24, H24, I24
26. Polygon(A25, B25, C25, D25) → E25, F25, G25, H25, I25
27. If(size ≟ 4, centre_4, centre_5) → centre
28. Rotate(A1, 180*°, centre) → A1'
29. Rotate(B1, 180*°, centre) → B1'
30. Rotate(C1, 180*°, centre) → C1'
31. Rotate(D1, 180*°, centre) → D1'
32. Rotate(A1, 180*°, centre) → J1
33. Rotate(B1, 180*°, centre) → K1
34. Rotate(C1, 180*°, centre) → L1
35. Rotate(D1, 180*°, centre) → M1
36. Polygon(J1, K1, L1, M1) → N1, O1, P1, Q1, R1
37. Rotate(A2, 180*°, centre) → J2
38. Rotate(B2, 180*°, centre) → K2
39. Rotate(C2, 180*°, centre) → L2
40. Rotate(D2, 180*°, centre) → M2
41. Rotate(A3, 180*°, centre) → J3
42. Rotate(B3, 180*°, centre) → K3
43. Rotate(C3, 180*°, centre) → L3
44. Rotate(D3, 180*°, centre) → M3
45. Rotate(A4, 180*°, centre) → J4
46. Rotate(B4, 180*°, centre) → K4
47. Rotate(C4, 180*°, centre) → L4
48. Rotate(D4, 180*°, centre) → M4
49. Rotate(A5, 180*°, centre) → J5
50. Rotate(B5, 180*°, centre) → K5
51. Rotate(C5, 180*°, centre) → L5
52. Rotate(D5, 180*°, centre) → M5
53. Rotate(A6, 180*°, centre) → J6
54. Rotate(B6, 180*°, centre) → K6
55. Rotate(C6, 180*°, centre) → L6
56. Rotate(D6, 180*°, centre) → M6
57. Rotate(A7, 180*°, centre) → J7
58. Rotate(B7, 180*°, centre) → K7
59. Rotate(C7, 180*°, centre) → L7
60. Rotate(D7, 180*°, centre) → M7
61. Rotate(A8, 180*°, centre) → J8
62. Rotate(B8, 180*°, centre) → K8
63. Rotate(C8, 180*°, centre) → L8
64. Rotate(D8, 180*°, centre) → M8
65. Rotate(A9, 180*°, centre) → J9
66. Rotate(B9, 180*°, centre) → K9
67. Rotate(C9, 180*°, centre) → L9
68. Rotate(D9, 180*°, centre) → M9
69. Rotate(A10, 180*°, centre) → J10
70. Rotate(B10, 180*°, centre) → K10
71. Rotate(C10, 180*°, centre) → L10
72. Rotate(D10, 180*°, centre) → M10
73. Rotate(A11, 180*°, centre) → J11
74. Rotate(B11, 180*°, centre) → K11
75. Rotate(C11, 180*°, centre) → L11
76. Rotate(D11, 180*°, centre) → M11
77. Rotate(A12, 180*°, centre) → J12
78. Rotate(B12, 180*°, centre) → K12
79. Rotate(C12, 180*°, centre) → L12
80. Rotate(D12, 180*°, centre) → M12
81. Rotate(A13, 180*°, centre) → J13
82. Rotate(B13, 180*°, centre) → K13
83. Rotate(C13, 180*°, centre) → L13
84. Rotate(D13, 180*°, centre) → M13
85. Rotate(A14, 180*°, centre) → J14
86. Rotate(B14, 180*°, centre) → K14
87. Rotate(C14, 180*°, centre) → L14
88. Rotate(D14, 180*°, centre) → M14
89. Rotate(A15, 180*°, centre) → J15
90. Rotate(B15, 180*°, centre) → K15
91. Rotate(C15, 180*°, centre) → L15
92. Rotate(D15, 180*°, centre) → M15
93. Rotate(A16, 180*°, centre) → J16
94. Rotate(B16, 180*°, centre) → K16
95. Rotate(C16, 180*°, centre) → L16
96. Rotate(D16, 180*°, centre) → M16
97. Rotate(A17, 180*°, centre) → J17
98. Rotate(B17, 180*°, centre) → K17
99. Rotate(C17, 180*°, centre) → L17
100. Rotate(D17, 180*°, centre) → M17
101. Rotate(A18, 180*°, centre) → J18
102. Rotate(B18, 180*°, centre) → K18
103. Rotate(C18, 180*°, centre) → L18
104. Rotate(D18, 180*°, centre) → M18
105. Rotate(A19, 180*°, centre) → J19
106. Rotate(B19, 180*°, centre) → K19
107. Rotate(C19, 180*°, centre) → L19
108. Rotate(D19, 180*°, centre) → M19
109. Rotate(A20, 180*°, centre) → J20
110. Rotate(B20, 180*°, centre) → K20
111. Rotate(C20, 180*°, centre) → L20
112. Rotate(D20, 180*°, centre) → M20
113. Rotate(A21, 180*°, centre) → J21
114. Rotate(B21, 180*°, centre) → K21
115. Rotate(C21, 180*°, centre) → L21
116. Rotate(D21, 180*°, centre) → M21
117. Rotate(A22, 180*°, centre) → J22
118. Rotate(B22, 180*°, centre) → K22
119. Rotate(C22, 180*°, centre) → L22
120. Rotate(D22, 180*°, centre) → M22
121. Rotate(A23, 180*°, centre) → J23
122. Rotate(B23, 180*°, centre) → K23
123. Rotate(C23, 180*°, centre) → L23
124. Rotate(D23, 180*°, centre) → M23
125. Rotate(A24, 180*°, centre) → J24
126. Rotate(B24, 180*°, centre) → K24
127. Rotate(C24, 180*°, centre) → L24
128. Rotate(D24, 180*°, centre) → M24
129. Rotate(A25, 180*°, centre) → J25
130. Rotate(B25, 180*°, centre) → K25
131. Rotate(C25, 180*°, centre) → L25
132. Rotate(D25, 180*°, centre) → M25
133. Polygon(J2, K2, L2, M2) → N2, O2, P2, Q2, R2
134. Polygon(J3, K3, L3, M3) → N3, O3, P3, Q3, R3
135. Polygon(J4, K4, L4, M4) → N4, O4, P4, Q4, R4
136. Polygon(J5, K5, L5, M5) → N5, O5, P5, Q5, R5
137. Polygon(J6, K6, L6, M6) → N6, O6, P6, Q6, R6
138. Polygon(J7, K7, L7, M7) → N7, O7, P7, Q7, R7
139. Polygon(J8, K8, L8, M8) → N8, O8, P8, Q8, R8
140. Polygon(J9, K9, L9, M9) → N9, O9, P9, Q9, R9
141. Polygon(J10, K10, L10, M10) → N10, O10, P10, Q10, R10
142. Polygon(J11, K11, L11, M11) → N11, O11, P11, Q11, R11
143. Polygon(J12, K12, L12, M12) → N12, O12, P12, Q12, R12
144. Polygon(J13, K13, L13, M13) → N13, O13, P13, Q13, R13
145. Polygon(J14, K14, L14, M14) → N14, O14, P14, Q14, R14
146. Polygon(J15, K15, L15, M15) → N15, O15, P15, Q15, R15
147. Polygon(J16, K16, L16, M16) → N16, O16, P16, Q16, R16
148. Polygon(J17, K17, L17, M17) → N17, O17, P17, Q17, R17
149. Polygon(J18, K18, L18, M18) → N18, O18, P18, Q18, R18
150. Polygon(J19, K19, L19, M19) → N19, O19, P19, Q19, R19
151. Polygon(J20, K20, L20, M20) → N20, O20, P20, Q20, R20
152. Polygon(J21, K21, L21, M21) → N21, O21, P21, Q21, R21
153. Polygon(J22, K22, L22, M22) → N22, O22, P22, Q22, R22
154. Polygon(J23, K23, L23, M23) → N23, O23, P23, Q23, R23
155. Polygon(J24, K24, L24, M24) → N24, O24, P24, Q24, R24
156. Polygon(J25, K25, L25, M25) → N25, O25, P25, Q25, R25
157. Polygon((1, 1 + size), (1, 1), 4) → poly1
158. Rotate(A1, 90*°, centre) → T1
159. Rotate(B1, 90*°, centre) → U1
160. Rotate(C1, 90*°, centre) → V1
161. Rotate(D1, 90*°, centre) → W1
162. Polygon(T1, U1, V1, W1) → X1, Y1, Z1, AA1, AB1
163. Rotate(A1, 270*°, centre) → AD1
164. Rotate(B1, 270*°, centre) → AE1
165. Rotate(C1, 270*°, centre) → AF1
166. Rotate(D1, 270*°, centre) → AG1
167. Polygon(AD1, AE1, AF1, AG1) → AH1, AI1, AJ1, AK1, AL1
168. Rotate(A2, 90*°, centre) → T2
169. Rotate(B2, 90*°, centre) → U2
170. Rotate(C2, 90*°, centre) → V2
171. Rotate(D2, 90*°, centre) → W2
172. Rotate(A3, 90*°, centre) → T3
173. Rotate(B3, 90*°, centre) → U3
174. Rotate(C3, 90*°, centre) → V3
175. Rotate(D3, 90*°, centre) → W3
176. Rotate(A4, 90*°, centre) → T4
177. Rotate(B4, 90*°, centre) → U4
178. Rotate(C4, 90*°, centre) → V4
179. Rotate(D4, 90*°, centre) → W4
180. Rotate(A5, 90*°, centre) → T5
181. Rotate(B5, 90*°, centre) → U5
182. Rotate(C5, 90*°, centre) → V5
183. Rotate(D5, 90*°, centre) → W5
184. Rotate(A6, 90*°, centre) → T6
185. Rotate(B6, 90*°, centre) → U6
186. Rotate(C6, 90*°, centre) → V6
187. Rotate(D6, 90*°, centre) → W6
188. Rotate(A7, 90*°, centre) → T7
189. Rotate(B7, 90*°, centre) → U7
190. Rotate(C7, 90*°, centre) → V7
191. Rotate(D7, 90*°, centre) → W7
192. Rotate(A8, 90*°, centre) → T8
193. Rotate(B8, 90*°, centre) → U8
194. Rotate(C8, 90*°, centre) → V8
195. Rotate(D8, 90*°, centre) → W8
196. Rotate(A9, 90*°, centre) → T9
197. Rotate(B9, 90*°, centre) → U9
198. Rotate(C9, 90*°, centre) → V9
199. Rotate(D9, 90*°, centre) → W9
200. Rotate(A10, 90*°, centre) → T10
201. Rotate(B10, 90*°, centre) → U10
202. Rotate(C10, 90*°, centre) → V10
203. Rotate(D10, 90*°, centre) → W10
204. Rotate(A11, 90*°, centre) → T11
205. Rotate(B11, 90*°, centre) → U11
206. Rotate(C11, 90*°, centre) → V11
207. Rotate(D11, 90*°, centre) → W11
208. Rotate(A12, 90*°, centre) → T12
209. Rotate(B12, 90*°, centre) → U12
210. Rotate(C12, 90*°, centre) → V12
211. Rotate(D12, 90*°, centre) → W12
212. Rotate(A13, 90*°, centre) → T13
213. Rotate(B13, 90*°, centre) → U13
214. Rotate(C13, 90*°, centre) → V13
215. Rotate(D13, 90*°, centre) → W13
216. Rotate(A14, 90*°, centre) → T14
217. Rotate(B14, 90*°, centre) → U14
218. Rotate(C14, 90*°, centre) → V14
219. Rotate(D14, 90*°, centre) → W14
220. Rotate(A15, 90*°, centre) → T15
221. Rotate(B15, 90*°, centre) → U15
222. Rotate(C15, 90*°, centre) → V15
223. Rotate(D15, 90*°, centre) → W15
224. Rotate(A16, 90*°, centre) → T16
225. Rotate(B16, 90*°, centre) → U16
226. Rotate(C16, 90*°, centre) → V16
227. Rotate(D16, 90*°, centre) → W16
228. Rotate(A17, 90*°, centre) → T17
229. Rotate(B17, 90*°, centre) → U17
230. Rotate(C17, 90*°, centre) → V17
231. Rotate(D17, 90*°, centre) → W17
232. Rotate(A18, 90*°, centre) → T18
233. Rotate(B18, 90*°, centre) → U18
234. Rotate(C18, 90*°, centre) → V18
235. Rotate(D18, 90*°, centre) → W18
236. Rotate(A19, 90*°, centre) → T19
237. Rotate(B19, 90*°, centre) → U19
238. Rotate(C19, 90*°, centre) → V19
239. Rotate(D19, 90*°, centre) → W19
240. Rotate(A20, 90*°, centre) → T20
241. Rotate(B20, 90*°, centre) → U20
242. Rotate(C20, 90*°, centre) → V20
243. Rotate(D20, 90*°, centre) → W20
244. Rotate(A21, 90*°, centre) → T21
245. Rotate(B21, 90*°, centre) → U21
246. Rotate(C21, 90*°, centre) → V21
247. Rotate(D21, 90*°, centre) → W21
248. Rotate(A22, 90*°, centre) → T22
249. Rotate(B22, 90*°, centre) → U22
250. Rotate(C22, 90*°, centre) → V22
251. Rotate(D22, 90*°, centre) → W22
252. Rotate(A23, 90*°, centre) → T23
253. Rotate(B23, 90*°, centre) → U23
254. Rotate(C23, 90*°, centre) → V23
255. Rotate(D23, 90*°, centre) → W23
256. Rotate(A24, 90*°, centre) → T24
257. Rotate(B24, 90*°, centre) → U24
258. Rotate(C24, 90*°, centre) → V24
259. Rotate(D24, 90*°, centre) → W24
260. Rotate(A25, 90*°, centre) → T25
261. Rotate(B25, 90*°, centre) → U25
262. Rotate(C25, 90*°, centre) → V25
263. Rotate(D25, 90*°, centre) → W25
264. Rotate(A2, 270*°, centre) → AD2
265. Rotate(B2, 270*°, centre) → AE2
266. Rotate(C2, 270*°, centre) → AF2
267. Rotate(D2, 270*°, centre) → AG2
268. Rotate(A3, 270*°, centre) → AD3
269. Rotate(B3, 270*°, centre) → AE3
270. Rotate(C3, 270*°, centre) → AF3
271. Rotate(D3, 270*°, centre) → AG3
272. Rotate(A4, 270*°, centre) → AD4
273. Rotate(B4, 270*°, centre) → AE4
274. Rotate(C4, 270*°, centre) → AF4
275. Rotate(D4, 270*°, centre) → AG4
276. Rotate(A5, 270*°, centre) → AD5
277. Rotate(B5, 270*°, centre) → AE5
278. Rotate(C5, 270*°, centre) → AF5
279. Rotate(D5, 270*°, centre) → AG5
280. Rotate(A6, 270*°, centre) → AD6
281. Rotate(B6, 270*°, centre) → AE6
282. Rotate(C6, 270*°, centre) → AF6
283. Rotate(D6, 270*°, centre) → AG6
284. Rotate(A7, 270*°, centre) → AD7
285. Rotate(B7, 270*°, centre) → AE7
286. Rotate(C7, 270*°, centre) → AF7
287. Rotate(D7, 270*°, centre) → AG7
288. Rotate(A8, 270*°, centre) → AD8
289. Rotate(B8, 270*°, centre) → AE8
290. Rotate(C8, 270*°, centre) → AF8
291. Rotate(D8, 270*°, centre) → AG8
292. Rotate(A9, 270*°, centre) → AD9
293. Rotate(B9, 270*°, centre) → AE9
294. Rotate(C9, 270*°, centre) → AF9
295. Rotate(D9, 270*°, centre) → AG9
296. Rotate(A10, 270*°, centre) → AD10
297. Rotate(B10, 270*°, centre) → AE10
298. Rotate(C10, 270*°, centre) → AF10
299. Rotate(D10, 270*°, centre) → AG10
300. Rotate(A11, 270*°, centre) → AD11
301. Rotate(B11, 270*°, centre) → AE11
302. Rotate(C11, 270*°, centre) → AF11
303. Rotate(D11, 270*°, centre) → AG11
304. Rotate(A12, 270*°, centre) → AD12
305. Rotate(B12, 270*°, centre) → AE12
306. Rotate(C12, 270*°, centre) → AF12
307. Rotate(D12, 270*°, centre) → AG12
308. Rotate(A13, 270*°, centre) → AD13
309. Rotate(B13, 270*°, centre) → AE13
310. Rotate(C13, 270*°, centre) → AF13
311. Rotate(D13, 270*°, centre) → AG13
312. Rotate(A14, 270*°, centre) → AD14
313. Rotate(B14, 270*°, centre) → AE14
314. Rotate(C14, 270*°, centre) → AF14
315. Rotate(D14, 270*°, centre) → AG14
316. Rotate(A15, 270*°, centre) → AD15
317. Rotate(B15, 270*°, centre) → AE15
318. Rotate(C15, 270*°, centre) → AF15
319. Rotate(D15, 270*°, centre) → AG15
320. Rotate(A16, 270*°, centre) → AD16
321. Rotate(B16, 270*°, centre) → AE16
322. Rotate(C16, 270*°, centre) → AF16
323. Rotate(D16, 270*°, centre) → AG16
324. Rotate(A17, 270*°, centre) → AD17
325. Rotate(B17, 270*°, centre) → AE17
326. Rotate(C17, 270*°, centre) → AF17
327. Rotate(D17, 270*°, centre) → AG17
328. Rotate(A18, 270*°, centre) → AD18
329. Rotate(B18, 270*°, centre) → AE18
330. Rotate(C18, 270*°, centre) → AF18
331. Rotate(D18, 270*°, centre) → AG18
332. Rotate(A19, 270*°, centre) → AD19
333. Rotate(B19, 270*°, centre) → AE19
334. Rotate(C19, 270*°, centre) → AF19
335. Rotate(D19, 270*°, centre) → AG19
336. Rotate(A20, 270*°, centre) → AD20
337. Rotate(B20, 270*°, centre) → AE20
338. Rotate(C20, 270*°, centre) → AF20
339. Rotate(D20, 270*°, centre) → AG20
340. Rotate(A21, 270*°, centre) → AD21
341. Rotate(B21, 270*°, centre) → AE21
342. Rotate(C21, 270*°, centre) → AF21
343. Rotate(D21, 270*°, centre) → AG21
344. Rotate(A22, 270*°, centre) → AD22
345. Rotate(B22, 270*°, centre) → AE22
346. Rotate(C22, 270*°, centre) → AF22
347. Rotate(D22, 270*°, centre) → AG22
348. Rotate(A23, 270*°, centre) → AD23
349. Rotate(B23, 270*°, centre) → AE23
350. Rotate(C23, 270*°, centre) → AF23
351. Rotate(D23, 270*°, centre) → AG23
352. Rotate(A24, 270*°, centre) → AD24
353. Rotate(B24, 270*°, centre) → AE24
354. Rotate(C24, 270*°, centre) → AF24
355. Rotate(D24, 270*°, centre) → AG24
356. Rotate(A25, 270*°, centre) → AD25
357. Rotate(B25, 270*°, centre) → AE25
358. Rotate(C25, 270*°, centre) → AF25
359. Rotate(D25, 270*°, centre) → AG25
360. Polygon(AD2, AE2, AF2, AG2) → AH2, AI2, AJ2, AK2, AL2
361. Polygon(AD3, AE3, AF3, AG3) → AH3, AI3, AJ3, AK3, AL3
362. Polygon(AD4, AE4, AF4, AG4) → AH4, AI4, AJ4, AK4, AL4
363. Polygon(AD5, AE5, AF5, AG5) → AH5, AI5, AJ5, AK5, AL5
364. Polygon(AD6, AE6, AF6, AG6) → AH6, AI6, AJ6, AK6, AL6
365. Polygon(AD7, AE7, AF7, AG7) → AH7, AI7, AJ7, AK7, AL7
366. Polygon(AD8, AE8, AF8, AG8) → AH8, AI8, AJ8, AK8, AL8
367. Polygon(AD9, AE9, AF9, AG9) → AH9, AI9, AJ9, AK9, AL9
368. Polygon(AD10, AE10, AF10, AG10) → AH10, AI10, AJ10, AK10, AL10
369. Polygon(AD11, AE11, AF11, AG11) → AH11, AI11, AJ11, AK11, AL11
370. Polygon(AD12, AE12, AF12, AG12) → AH12, AI12, AJ12, AK12, AL12
371. Polygon(AD13, AE13, AF13, AG13) → AH13, AI13, AJ13, AK13, AL13
372. Polygon(AD14, AE14, AF14, AG14) → AH14, AI14, AJ14, AK14, AL14
373. Polygon(AD15, AE15, AF15, AG15) → AH15, AI15, AJ15, AK15, AL15
374. Polygon(AD16, AE16, AF16, AG16) → AH16, AI16, AJ16, AK16, AL16
375. Polygon(AD17, AE17, AF17, AG17) → AH17, AI17, AJ17, AK17, AL17
376. Polygon(AD18, AE18, AF18, AG18) → AH18, AI18, AJ18, AK18, AL18
377. Polygon(AD19, AE19, AF19, AG19) → AH19, AI19, AJ19, AK19, AL19
378. Polygon(AD20, AE20, AF20, AG20) → AH20, AI20, AJ20, AK20, AL20
379. Polygon(AD21, AE21, AF21, AG21) → AH21, AI21, AJ21, AK21, AL21
380. Polygon(AD22, AE22, AF22, AG22) → AH22, AI22, AJ22, AK22, AL22
381. Polygon(AD23, AE23, AF23, AG23) → AH23, AI23, AJ23, AK23, AL23
382. Polygon(AD24, AE24, AF24, AG24) → AH24, AI24, AJ24, AK24, AL24
383. Polygon(AD25, AE25, AF25, AG25) → AH25, AI25, AJ25, AK25, AL25
384. Polygon(T2, U2, V2, W2) → X2, Y2, Z2, AA2, AB2
385. Polygon(T3, U3, V3, W3) → X3, Y3, Z3, AA3, AB3
386. Polygon(T4, U4, V4, W4) → X4, Y4, Z4, AA4, AB4
387. Polygon(T5, U5, V5, W5) → X5, Y5, Z5, AA5, AB5
388. Polygon(T6, U6, V6, W6) → X6, Y6, Z6, AA6, AB6
389. Polygon(T7, U7, V7, W7) → X7, Y7, Z7, AA7, AB7
390. Polygon(T8, U8, V8, W8) → X8, Y8, Z8, AA8, AB8
391. Polygon(T9, U9, V9, W9) → X9, Y9, Z9, AA9, AB9
392. Polygon(T10, U10, V10, W10) → X10, Y10, Z10, AA10, AB10
393. Polygon(T11, U11, V11, W11) → X11, Y11, Z11, AA11, AB11
394. Polygon(T12, U12, V12, W12) → X12, Y12, Z12, AA12, AB12
395. Polygon(T13, U13, V13, W13) → X13, Y13, Z13, AA13, AB13
396. Polygon(T14, U14, V14, W14) → X14, Y14, Z14, AA14, AB14
397. Polygon(T15, U15, V15, W15) → X15, Y15, Z15, AA15, AB15
398. Polygon(T16, U16, V16, W16) → X16, Y16, Z16, AA16, AB16
399. Polygon(T17, U17, V17, W17) → X17, Y17, Z17, AA17, AB17
400. Polygon(T18, U18, V18, W18) → X18, Y18, Z18, AA18, AB18
401. Polygon(T19, U19, V19, W19) → X19, Y19, Z19, AA19, AB19
402. Polygon(T20, U20, V20, W20) → X20, Y20, Z20, AA20, AB20
403. Polygon(T21, U21, V21, W21) → X21, Y21, Z21, AA21, AB21
404. Polygon(T22, U22, V22, W22) → X22, Y22, Z22, AA22, AB22
405. Polygon(T23, U23, V23, W23) → X23, Y23, Z23, AA23, AB23
406. Polygon(T24, U24, V24, W24) → X24, Y24, Z24, AA24, AB24
407. Polygon(T25, U25, V25, W25) → X25, Y25, Z25, AA25, AB25