MathPlotAI Logo MathPlotAI

Truncated Icosidodecahedron by chris cambré

Truncated Icosidodecahedron by chris cambré
Loading the math board and drawing, please wait…
2017-11-21 15:49
PolygonSolid GeometryGeometric Construction
This example demonstrates the geometric construction and properties of a truncated icosidodecahedron. Key math concepts include polyhedra, Euler characteristic, and symmetry. Construction highlights involve commands like Midpoint, Angle, Plane, OrthogonalLine, Rotate, and Polygon from GeoGebra. Suitable for high school and above students studying solid geometry, geometric constructions, and polyhedron theory.

GeoGebra Commands & Parameters

  1. Midpoint(D5, D3) → A
  2. Midpoint(D7, D69) → C
  3. Angle(A, B, C) → δ
  4. Plane(A, B, C) → a
  5. OrthogonalLine(B, a) → b
  6. Rotate(D1, δ, b) → E1
  7. Rotate(D2, δ, b) → E2
  8. Rotate(D3, δ, b) → E3
  9. Rotate(D4, δ, b) → E4
  10. Rotate(D5, δ, b) → E5
  11. Rotate(D6, δ, b) → E6
  12. Rotate(D7, δ, b) → E7
  13. Rotate(D8, δ, b) → E8
  14. Rotate(D9, δ, b) → E9
  15. Rotate(D10, δ, b) → E10
  16. Rotate(D11, δ, b) → E11
  17. Rotate(D12, δ, b) → E12
  18. Rotate(D13, δ, b) → E13
  19. Rotate(D14, δ, b) → E14
  20. Rotate(D15, δ, b) → E15
  21. Rotate(D16, δ, b) → E16
  22. Rotate(D17, δ, b) → E17
  23. Rotate(D18, δ, b) → E18
  24. Rotate(D19, δ, b) → E19
  25. Rotate(D20, δ, b) → E20
  26. Rotate(D21, δ, b) → E21
  27. Rotate(D22, δ, b) → E22
  28. Rotate(D23, δ, b) → E23
  29. Rotate(D24, δ, b) → E24
  30. Rotate(D25, δ, b) → E25
  31. Rotate(D26, δ, b) → E26
  32. Rotate(D27, δ, b) → E27
  33. Rotate(D28, δ, b) → E28
  34. Rotate(D29, δ, b) → E29
  35. Rotate(D30, δ, b) → E30
  36. Rotate(D31, δ, b) → E31
  37. Rotate(D32, δ, b) → E32
  38. Rotate(D33, δ, b) → E33
  39. Rotate(D34, δ, b) → E34
  40. Rotate(D35, δ, b) → E35
  41. Rotate(D36, δ, b) → E36
  42. Rotate(D37, δ, b) → E37
  43. Rotate(D38, δ, b) → E38
  44. Rotate(D39, δ, b) → E39
  45. Rotate(D40, δ, b) → E40
  46. Rotate(D41, δ, b) → E41
  47. Rotate(D42, δ, b) → E42
  48. Rotate(D43, δ, b) → E43
  49. Rotate(D44, δ, b) → E44
  50. Rotate(D45, δ, b) → E45
  51. Rotate(D46, δ, b) → E46
  52. Rotate(D47, δ, b) → E47
  53. Rotate(D48, δ, b) → E48
  54. Rotate(D49, δ, b) → E49
  55. Rotate(D50, δ, b) → E50
  56. Rotate(D51, δ, b) → E51
  57. Rotate(D52, δ, b) → E52
  58. Rotate(D53, δ, b) → E53
  59. Rotate(D54, δ, b) → E54
  60. Rotate(D55, δ, b) → E55
  61. Rotate(D56, δ, b) → E56
  62. Rotate(D57, δ, b) → E57
  63. Rotate(D58, δ, b) → E58
  64. Rotate(D59, δ, b) → E59
  65. Rotate(D60, δ, b) → E60
  66. Rotate(D61, δ, b) → E61
  67. Rotate(D62, δ, b) → E62
  68. Rotate(D63, δ, b) → E63
  69. Rotate(D64, δ, b) → E64
  70. Rotate(D65, δ, b) → E65
  71. Rotate(D66, δ, b) → E66
  72. Rotate(D67, δ, b) → E67
  73. Rotate(D68, δ, b) → E68
  74. Rotate(D69, δ, b) → E69
  75. Rotate(D70, δ, b) → E70
  76. Rotate(D71, δ, b) → E71
  77. Rotate(D72, δ, b) → E72
  78. Rotate(D73, δ, b) → E73
  79. Rotate(D74, δ, b) → E74
  80. Rotate(D75, δ, b) → E75
  81. Rotate(D76, δ, b) → E76
  82. Rotate(D77, δ, b) → E77
  83. Rotate(D78, δ, b) → E78
  84. Rotate(D79, δ, b) → E79
  85. Rotate(D80, δ, b) → E80
  86. Rotate(D81, δ, b) → E81
  87. Rotate(D82, δ, b) → E82
  88. Rotate(D83, δ, b) → E83
  89. Rotate(D84, δ, b) → E84
  90. Rotate(D85, δ, b) → E85
  91. Rotate(D86, δ, b) → E86
  92. Rotate(D87, δ, b) → E87
  93. Rotate(D88, δ, b) → E88
  94. Rotate(D89, δ, b) → E89
  95. Rotate(D90, δ, b) → E90
  96. Rotate(D91, δ, b) → E91
  97. Rotate(D92, δ, b) → E92
  98. Rotate(D93, δ, b) → E93
  99. Rotate(D94, δ, b) → E94
  100. Rotate(D95, δ, b) → E95
  101. Rotate(D96, δ, b) → E96
  102. Rotate(D97, δ, b) → E97
  103. Rotate(D98, δ, b) → E98
  104. Rotate(D99, δ, b) → E99
  105. Rotate(D100, δ, b) → E100
  106. Rotate(D101, δ, b) → E101
  107. Rotate(D102, δ, b) → E102
  108. Rotate(D103, δ, b) → E103
  109. Rotate(D104, δ, b) → E104
  110. Rotate(D105, δ, b) → E105
  111. Rotate(D106, δ, b) → E106
  112. Rotate(D107, δ, b) → E107
  113. Rotate(D108, δ, b) → E108
  114. Rotate(D109, δ, b) → E109
  115. Rotate(D110, δ, b) → E110
  116. Rotate(D111, δ, b) → E111
  117. Rotate(D112, δ, b) → E112
  118. Rotate(D113, δ, b) → E113
  119. Rotate(D114, δ, b) → E114
  120. Rotate(D115, δ, b) → E115
  121. Rotate(D116, δ, b) → E116
  122. Rotate(D117, δ, b) → E117
  123. Rotate(D118, δ, b) → E118
  124. Rotate(D119, δ, b) → E119
  125. Rotate(D120, δ, b) → E120
  126. Polygon(E28, E4, E2, E26, E74, E114, E66, E68, E116, E76) → wielokąt1, e28, e76, e4, e2, e26, e74, e114, e66, e68, e116
  127. Midpoint(E26, E74) → D
  128. Midpoint(E76, E116) → E
  129. Midpoint(E84, E108) → F
  130. Midpoint(E74, E114) → G
  131. Midpoint(E28, E76) → H
  132. Midpoint(E52, E100) → I
  133. Rotate(E100, α, Line[E76, E116]) → E100'
  134. Rotate(E84, α, Line[E76, E116]) → E84'
  135. Rotate(E108, α, Line[E76, E116]) → E108'
  136. Rotate(E92, α, Line[E76, E116]) → E92'
  137. Polygon(E100', E76, E116, E92', E108', E84') → wielokąt2, e100', e76_1, e116_1, e92', e108', e84'
  138. Rotate(E92, β, Line[E116, E68]) → E92'_1
  139. Rotate(E44, β, Line[E116, E68]) → E44'
  140. Polygon(E92'_1, E116, E68, E44') → wielokąt3, e92'_1, e116_2, e68_1, e44'
  141. Rotate(E44, α, Line[E68, E66]) → E44'_1
  142. Rotate(E20, α, Line[E68, E66]) → E20'
  143. Rotate(E18, α, Line[E68, E66]) → E18'
  144. Rotate(E42, α, Line[E68, E66]) → E42'
  145. Polygon(E44'_1, E68, E66, E42', E18', E20') → wielokąt4, e44'_1, e68_2, e66_1, e42', e18', e20'
  146. Rotate(E42, β, Line[E66, E114]) → E42'_1
  147. Rotate(E90, β, Line[E66, E114]) → E90'
  148. Polygon(E42'_1, E66, E114, E90') → wielokąt5, e42'_1, e66_2, e114_1, e90'
  149. Rotate(E90, α, Line[E114, E74]) → E90'_1
  150. Rotate(E106, α, Line[E114, E74]) → E106'
  151. Rotate(E82, α, Line[E114, E74]) → E82'
  152. Rotate(E98, α, Line[E114, E74]) → E98'
  153. Polygon(E90'_1, E114, E74, E98', E82', E106') → wielokąt6, e90'_1, e114_2, e74_1, e98', e82', e106'
  154. Rotate(E98, β, Line[E74, E26]) → E98'_1
  155. Rotate(E50, β, Line[E74, E26]) → E50'
  156. Polygon(E98'_1, E74, E26, E50') → wielokąt7, e98'_1, e74_2, e26_1, e50'
  157. Rotate(E50, α, Line[E26, E2]) → E50'_1
  158. Rotate(E54, α, Line[E26, E2]) → E54'
  159. Rotate(E30, α, Line[E26, E2]) → E30'
  160. Rotate(E6, α, Line[E26, E2]) → E6'
  161. Polygon(E50'_1, E26, E2, E6', E30', E54') → wielokąt8, e50'_1, e26_2, e2_1, e6', e30', e54'
  162. Rotate(E6, β, Line[E2, E4]) → E6'_1
  163. Rotate(E8, β, Line[E2, E4]) → E8'
  164. Polygon(E6'_1, E2, E4, E8') → wielokąt9, e6'_1, e2_2, e4_1, e8'
  165. Rotate(E8, α, Line[E4, E28]) → E8'_1
  166. Rotate(E32, α, Line[E4, E28]) → E32'
  167. Rotate(E56, α, Line[E4, E28]) → E56'
  168. Rotate(E52, α, Line[E4, E28]) → E52'
  169. Polygon(E8'_1, E4, E28, E52', E56', E32') → wielokąt10, e8'_1, e4_2, e28_1, e52', e56', e32'
  170. Rotate(E52, β, Line[E28, E76]) → E52'_1
  171. Rotate(E100, β, Line[E28, E76]) → E100'_1
  172. Polygon(E52'_1, E28, E76, E100'_1) → wielokąt11, e52'_1, e28_2, e76_2, e100'_1
  173. Rotate(Rotate[E56, β, Line[E52, E100]], β, Line[E28, E76]) → J
  174. Rotate(Rotate[E104, β, Line[E52, E100]], β, Line[E28, E76]) → K
  175. Rotate(Rotate[E88, β, Line[E52, E100]], β, Line[E28, E76]) → L
  176. Rotate(Rotate[E40, β, Line[E52, E100]], β, Line[E28, E76]) → M
  177. Rotate(Rotate[E16, β, Line[E52, E100]], β, Line[E28, E76]) → N
  178. Rotate(Rotate[E12, β, Line[E52, E100]], β, Line[E28, E76]) → O
  179. Rotate(Rotate[E36, β, Line[E52, E100]], β, Line[E28, E76]) → P
  180. Rotate(Rotate[E84, β, Line[E52, E100]], β, Line[E28, E76]) → Q
  181. Polygon(E52'_1, E100'_1, Q, P, O, N, M, L, K, J) → wielokąt12, e52'_2, j, e100'_2, q, p, o, n, m, l, k
  182. Rotate(Rotate[E108, β, Line[E92, E44]], β, Line[E116, E68]) → R
  183. Rotate(Rotate[E60, β, Line[E92, E44]], β, Line[E116, E68]) → S
  184. Rotate(Rotate[E59, β, Line[E92, E44]], β, Line[E116, E68]) → T
  185. Rotate(Rotate[E107, β, Line[E92, E44]], β, Line[E116, E68]) → U
  186. Rotate(Rotate[E91, β, Line[E92, E44]], β, Line[E116, E68]) → V
  187. Rotate(Rotate[E43, β, Line[E92, E44]], β, Line[E116, E68]) → W
  188. Rotate(Rotate[E19, β, Line[E92, E44]], β, Line[E116, E68]) → Z
  189. Rotate(Rotate[E20, β, Line[E92, E44]], β, Line[E116, E68]) → A_1
  190. Polygon(E92'_1, R, S, T, U, V, W, Z, A_1, E44') → wielokąt13, e92'_2, e44'_2, r, s_1, t, u, v, w, z_1, a_1
  191. Rotate(Rotate[E18, β, Line[E42, E90]], β, Line[E66, E114]) → B_1
  192. Rotate(Rotate[E17, β, Line[E42, E90]], β, Line[E66, E114]) → C_1
  193. Rotate(Rotate[E41, β, Line[E42, E90]], β, Line[E66, E114]) → D_1
  194. Rotate(Rotate[E89, β, Line[E42, E90]], β, Line[E66, E114]) → E_1
  195. Rotate(Rotate[E105, β, Line[E42, E90]], β, Line[E66, E114]) → F_1
  196. Rotate(Rotate[E57, β, Line[E42, E90]], β, Line[E66, E114]) → G_1
  197. Rotate(Rotate[E58, β, Line[E42, E90]], β, Line[E66, E114]) → H_1
  198. Rotate(Rotate[E106, β, Line[E42, E90]], β, Line[E66, E114]) → I_1
  199. Polygon(E42'_1, E90', I_1, H_1, G_1, F_1, E_1, D_1, C_1, B_1) → wielokąt14, e42'_2, b_1, e90'_2, i_1, h_1, g_1, f_1, e_1, d_1, c_1
  200. Rotate(Rotate[E54, β, Line[E98, E50]], β, Line[E74, E26]) → J_1
  201. Rotate(Rotate[E102, β, Line[E98, E50]], β, Line[E74, E26]) → K_1
  202. Rotate(Rotate[E86, β, Line[E98, E50]], β, Line[E74, E26]) → L_1
  203. Rotate(Rotate[E38, β, Line[E98, E50]], β, Line[E74, E26]) → M_1
  204. Rotate(Rotate[E14, β, Line[E98, E50]], β, Line[E74, E26]) → N_1
  205. Rotate(Rotate[E10, β, Line[E98, E50]], β, Line[E74, E26]) → O_1
  206. Rotate(Rotate[E34, β, Line[E98, E50]], β, Line[E74, E26]) → P_1
  207. Rotate(Rotate[E82, β, Line[E98, E50]], β, Line[E74, E26]) → Q_1
  208. Polygon(E98'_1, E50', J_1, K_1, L_1, M_1, N_1, O_1, P_1, Q_1) → wielokąt15, e98'_2, q_1, e50'_2, j_1, k_1, l_1, m_1, n_1, o_1, p_1
  209. Rotate(Rotate[E30, β, Line[E6, E8]], β, Line[E2, E4]) → R_1
  210. Rotate(Rotate[E78, β, Line[E6, E8]], β, Line[E2, E4]) → S_1
  211. Rotate(Rotate[E118, β, Line[E6, E8]], β, Line[E2, E4]) → T_1
  212. Rotate(Rotate[E70, β, Line[E6, E8]], β, Line[E2, E4]) → U_1
  213. Rotate(Rotate[E72, β, Line[E6, E8]], β, Line[E2, E4]) → V_1
  214. Rotate(Rotate[E120, β, Line[E6, E8]], β, Line[E2, E4]) → W_1
  215. Rotate(Rotate[E80, β, Line[E6, E8]], β, Line[E2, E4]) → Z_1
  216. Rotate(Rotate[E32, β, Line[E6, E8]], β, Line[E2, E4]) → A_2
  217. Polygon(R_1, E6'_1, E8', A_2, Z_1, W_1, V_1, U_1, T_1, S_1) → wielokąt16, r_1, s_2, e6'_2, e8'_2, a_2, z_2, w_1, v_1, u_1, t_1
  218. Rotate(Rotate[Rotate[E78, β, Line[E102, E54]], β, Line[E98, E50]], β, Line[E74, E26]) → B_2
  219. Rotate(Rotate[Rotate[E30, β, Line[E102, E54]], β, Line[E98, E50]], β, Line[E74, E26]) → C_2
  220. Polygon(J_1, C_2, B_2, K_1) → wielokąt17, j_2, c_2, b_2, k_2
  221. Rotate(Rotate[Rotate[E34, β, Line[E58, E106]], β, Line[E42, E90]], β, Line[E66, E114]) → D_2
  222. Rotate(Rotate[Rotate[E82, β, Line[E58, E106]], β, Line[E42, E90]], β, Line[E66, E114]) → E_2
  223. Polygon(I_1, E_2, D_2, H_1) → wielokąt18, i_2, e_2, d_2, h_2
  224. Rotate(Rotate[Rotate[E104, β, Line[E80, E32]], β, Line[E6, E8]], β, Line[E2, E4]) → F_2
  225. Rotate(Rotate[Rotate[E56, β, Line[E80, E32]], β, Line[E6, E8]], β, Line[E2, E4]) → G_2
  226. Polygon(A_2, G_2, F_2, Z_1) → wielokąt19, a_3, g_2, f_2, z_3
  227. Rotate(Rotate[Rotate[E60, β, Line[E36, E84]], β, Line[E52, E100]], β, Line[E28, E76]) → H_2
  228. Rotate(Rotate[Rotate[E108, β, Line[E36, E84]], β, Line[E52, E100]], β, Line[E28, E76]) → I_2
  229. Polygon(Q, I_2, H_2, P) → wielokąt20, q_2, i_3, h_3, p_2
  230. Rotate(Rotate[Rotate[E17, β, Line[E19, E20]], β, Line[E92, E44]], β, Line[E116, E68]) → J_2
  231. Rotate(Rotate[Rotate[E18, β, Line[E19, E20]], β, Line[E92, E44]], β, Line[E116, E68]) → K_2
  232. Polygon(A_1, K_2, J_2, Z) → wielokąt21, a_4, k_3, j_3, z_4
  233. Rotate(Rotate[Rotate[E67, α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → L_2
  234. Rotate(Rotate[Rotate[E65, α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → M_2
  235. Rotate(Rotate[Rotate[E41, α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → N_2
  236. Rotate(Rotate[Rotate[E17, α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → O_2
  237. Polygon(Z, O_2, N_2, M_2, L_2, W) → wielokąt22, z_5, o_2, n_2, m_2, l_2, w_2
  238. Rotate(Rotate[Rotate[E11, α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → P_2
  239. Rotate(Rotate[Rotate[E35, α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → Q_2
  240. Rotate(Rotate[Rotate[E59, α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → R_2
  241. Rotate(Rotate[Rotate[E60, α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → S_2
  242. Polygon(S_2, R_2, Q_2, P_2, O, P) → wielokąt23, s_3, r_2, q_3, p_3, o_3, p_4
  243. Rotate(Rotate[Rotate[E96, α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → T_2
  244. Rotate(Rotate[Rotate[E98, α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → V_2
  245. Rotate(Rotate[Rotate[E112, α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → U_2
  246. Rotate(Rotate[Rotate[E88, α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → W_2
  247. Rotate(Rotate[Rotate[E104, α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → Z_2
  248. Polygon(Z_1, Z_2, W_2, U_2, T_2, W_1) → wielokąt24, z_6, z_7, w_3, u_2, t_2, w_4
  249. Rotate(Rotate[Rotate[E110, α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → A_3
  250. Rotate(Rotate[Rotate[E94, α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → B_3
  251. Rotate(Rotate[Rotate[E118, α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → C_3
  252. Rotate(Rotate[Rotate[E78, α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → D_3
  253. Polygon(K_1, D_3, C_3, B_3, A_3, L_1) → wielokąt25, k_4, d_3, c_3, b_3, a_5, l_3
  254. Rotate(Rotate[Rotate[E33, α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → E_3
  255. Rotate(Rotate[Rotate[E9, α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → F_3
  256. Rotate(Rotate[Rotate[E10, α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → G_3
  257. Rotate(Rotate[Rotate[E34, α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → H_3
  258. Polygon(H_1, H_3, G_3, F_3, E_3, G_1) → wielokąt26, h_4, h_5, g_3, f_3, e_3, g_4
  259. Rotate(Rotate[Rotate[E81, β, Line[E105, E57]], β, Line[E42, E90]], β, Line[E66, E114]) → I_3
  260. Rotate(Rotate[Rotate[E33, β, Line[E105, E57]], β, Line[E42, E90]], β, Line[E66, E114]) → J_3
  261. Polygon(F_1, G_1, J_3, I_3) → wielokąt27, f_4, g_5, j_4, i_4
  262. Rotate(Rotate[Rotate[E115, β, Line[E91, E43]], β, Line[E92, E44]], β, Line[E116, E68]) → K_3
  263. Rotate(Rotate[Rotate[E67, β, Line[E91, E43]], β, Line[E92, E44]], β, Line[E116, E68]) → L_3
  264. Polygon(W, L_3, K_3, V) → wielokąt28, w_5, l_4, k_5, v_2
  265. Rotate(Rotate[Rotate[E15, β, Line[E16, E12]], β, Line[E52, E100]], β, Line[E28, E76]) → M_3
  266. Rotate(Rotate[Rotate[E11, β, Line[E16, E12]], β, Line[E52, E100]], β, Line[E28, E76]) → N_3
  267. Polygon(O, N_3, M_3, N) → wielokąt29, o_4, n_3, m_3, n_4
  268. Rotate(Rotate[Rotate[E48, β, Line[E72, E120]], β, Line[E6, E8]], β, Line[E2, E4]) → O_3
  269. Rotate(Rotate[Rotate[E96, β, Line[E72, E120]], β, Line[E6, E8]], β, Line[E2, E4]) → P_3
  270. Polygon(W_1, P_3, O_3, V_1) → wielokąt30, w_6, p_5, o_5, v_3
  271. Rotate(Rotate[Rotate[E62, β, Line[E38, E86]], β, Line[E98, E50]], β, Line[E74, E26]) → Q_3
  272. Rotate(Rotate[Rotate[E110, β, Line[E38, E86]], β, Line[E98, E50]], β, Line[E74, E26]) → R_3
  273. Polygon(L_1, R_3, Q_3, M_1) → wielokąt31, l_5, r_3, q_4, m_4
  274. Rotate(Rotate[Rotate[E83, α, Line[E107, E91]], β, Line[E92, E44]], β, Line[E116, E68]) → S_3
  275. Rotate(Rotate[Rotate[E99, α, Line[E107, E91]], β, Line[E92, E44]], β, Line[E116, E68]) → T_3
  276. Rotate(Rotate[Rotate[E75, α, Line[E107, E91]], β, Line[E92, E44]], β, Line[E116, E68]) → U_3
  277. Rotate(Rotate[Rotate[E115, α, Line[E107, E91]], β, Line[E92, E44]], β, Line[E116, E68]) → V_3
  278. Polygon(V, V_3, U_3, T_3, S_3, U) → wielokąt32, v_4, v_5, u_3, t_3, s_4, u_4
  279. Rotate(Rotate[Rotate[E64, α, Line[E40, E16]], β, Line[E52, E100]], β, Line[E28, E76]) → W_3
  280. Rotate(Rotate[Rotate[E63, α, Line[E40, E16]], β, Line[E52, E100]], β, Line[E28, E76]) → Z_3
  281. Rotate(Rotate[Rotate[E39, α, Line[E40, E16]], β, Line[E52, E100]], β, Line[E28, E76]) → A_4
  282. Rotate(Rotate[Rotate[E15, α, Line[E40, E16]], β, Line[E52, E100]], β, Line[E28, E76]) → B_4
  283. Polygon(N, B_4, A_4, Z_3, W_3, M) → wielokąt33, n_5, b_4, a_6, z_8, w_7, m_5
  284. Rotate(Rotate[Rotate[E46, α, Line[E70, E72]], β, Line[E6, E8]], β, Line[E2, E4]) → C_4
  285. Rotate(Rotate[Rotate[E22, α, Line[E70, E72]], β, Line[E6, E8]], β, Line[E2, E4]) → D_4
  286. Rotate(Rotate[Rotate[E24, α, Line[E70, E72]], β, Line[E6, E8]], β, Line[E2, E4]) → E_4
  287. Rotate(Rotate[Rotate[E48, α, Line[E70, E72]], β, Line[E6, E8]], β, Line[E2, E4]) → F_4
  288. Polygon(V_1, F_4, E_4, D_4, C_4, U_1) → wielokąt34, v_6, f_5, e_4, d_4, c_4, u_5
  289. Rotate(Rotate[Rotate[E13, α, Line[E14, E38]], β, Line[E98, E50]], β, Line[E74, E26]) → G_4
  290. Rotate(Rotate[Rotate[E37, α, Line[E14, E38]], β, Line[E98, E50]], β, Line[E74, E26]) → H_4
  291. Rotate(Rotate[Rotate[E61, α, Line[E14, E38]], β, Line[E98, E50]], β, Line[E74, E26]) → I_4
  292. Rotate(Rotate[Rotate[E62, α, Line[E14, E38]], β, Line[E98, E50]], β, Line[E74, E26]) → J_4
  293. Polygon(G_4, N_1, M_1, J_4, I_4, H_4) → wielokąt35, g_6, n_6, m_6, j_5, i_5, h_6
  294. Rotate(Rotate[Rotate[E113, α, Line[E89, E105]], β, Line[E42, E90]], β, Line[E66, E114]) → K_4
  295. Rotate(Rotate[Rotate[E73, α, Line[E89, E105]], β, Line[E42, E90]], β, Line[E66, E114]) → L_4
  296. Rotate(Rotate[Rotate[E97, α, Line[E89, E105]], β, Line[E42, E90]], β, Line[E66, E114]) → M_4
  297. Rotate(Rotate[Rotate[E81, α, Line[E89, E105]], β, Line[E42, E90]], β, Line[E66, E114]) → N_4
  298. Polygon(F_1, N_4, M_4, L_4, K_4, E_1) → wielokąt36, f_6, n_7, m_7, l_6, k_6, e_5
  299. Rotate(Rotate[Rotate[E65, β, Line[E41, E89]], β, Line[E42, E90]], β, Line[E66, E114]) → O_4
  300. Rotate(Rotate[Rotate[E113, β, Line[E41, E89]], β, Line[E42, E90]], β, Line[E66, E114]) → P_4
  301. Polygon(O_4, D_1, E_1, P_4) → wielokąt37, o_6, d_5, e_6, p_6
  302. Rotate(Rotate[Rotate[E35, β, Line[E59, E107]], β, Line[E92, E44]], β, Line[E116, E68]) → Q_4
  303. Rotate(Rotate[Rotate[E83, β, Line[E59, E107]], β, Line[E92, E44]], β, Line[E116, E68]) → R_4
  304. Polygon(U, R_4, Q_4, T) → wielokąt38, u_6, r_4, q_5, t_4
  305. Rotate(Rotate[Rotate[E112, β, Line[E88, E40]], β, Line[E52, E100]], β, Line[E28, E76]) → S_4
  306. Rotate(Rotate[Rotate[E64, β, Line[E88, E40]], β, Line[E52, E100]], β, Line[E28, E76]) → T_4
  307. Polygon(M, T_4, S_4, L) → wielokąt39, m_8, t_5, s_5, l_7
  308. Rotate(Rotate[Rotate[E94, β, Line[E118, E70]], β, Line[E6, E8]], β, Line[E2, E4]) → U_4
  309. Rotate(Rotate[Rotate[E46, β, Line[E118, E70]], β, Line[E6, E8]], β, Line[E2, E4]) → V_4
  310. Polygon(U_1, V_4, U_4, T_1) → wielokąt40, u_7, v_7, u_8, t_6
  311. Rotate(Rotate[Rotate[E9, β, Line[E10, E14]], β, Line[E98, E50]], β, Line[E74, E26]) → W_4
  312. Rotate(Rotate[Rotate[E13, β, Line[E10, E14]], β, Line[E98, E50]], β, Line[E74, E26]) → Z_4
  313. Polygon(Z_4, N_1, O_1, W_4) → wielokąt41, z_9, n_8, o_7, w_8
  314. Rotate(Rotate[Rotate[Rotate[E48, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → A_5
  315. Rotate(Rotate[Rotate[Rotate[E24, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → B_5
  316. Rotate(Rotate[Rotate[Rotate[E23, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → C_5
  317. Rotate(Rotate[Rotate[Rotate[E47, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → D_5
  318. Rotate(Rotate[Rotate[Rotate[E95, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → E_5
  319. Rotate(Rotate[Rotate[Rotate[E111, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → F_5
  320. Rotate(Rotate[Rotate[Rotate[E63, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → G_5
  321. Rotate(Rotate[Rotate[Rotate[E64, α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → H_5
  322. Polygon(A_5, T_2, U_2, H_5, G_5, F_5, E_5, D_5, C_5, B_5) → wielokąt42, a_7, b_5, t_7, u_9, h_7, g_7, f_7, e_7, d_6, c_5
  323. Rotate(Rotate[Rotate[Rotate[E15, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → I_5
  324. Rotate(Rotate[Rotate[Rotate[E39, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → J_5
  325. Rotate(Rotate[Rotate[Rotate[E87, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → K_5
  326. Rotate(Rotate[Rotate[Rotate[E103, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → L_5
  327. Rotate(Rotate[Rotate[Rotate[E55, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → M_5
  328. Rotate(Rotate[Rotate[Rotate[E51, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → N_5
  329. Rotate(Rotate[Rotate[Rotate[E99, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → O_5
  330. Rotate(Rotate[Rotate[Rotate[E83, α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → P_5
  331. Polygon(I_5, P_2, Q_2, P_5, O_5, N_5, M_5, L_5, K_5, J_5) → wielokąt43, i_6, j_6, p_7, q_6, p_8, o_8, n_9, m_9, l_8, k_7
  332. Rotate(Rotate[Rotate[Rotate[E115, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → Q_5
  333. Rotate(Rotate[Rotate[Rotate[E75, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → R_5
  334. Rotate(Rotate[Rotate[Rotate[E27, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → S_5
  335. Rotate(Rotate[Rotate[Rotate[E3, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → T_5
  336. Rotate(Rotate[Rotate[Rotate[E1, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → U_5
  337. Rotate(Rotate[Rotate[Rotate[E25, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → V_5
  338. Rotate(Rotate[Rotate[Rotate[E73, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → W_5
  339. Rotate(Rotate[Rotate[Rotate[E113, α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → Z_5
  340. Polygon(Q_5, L_2, M_2, Z_5, W_5, V_5, U_5, T_5, S_5, R_5) → wielokąt44, q_7, r_5, l_9, m_{10}, z_{10}, w_9, v_8, u_{10}, t_8, s_6
  341. Rotate(Rotate[Rotate[Rotate[E81, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → A_6
  342. Rotate(Rotate[Rotate[Rotate[E97, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → B_6
  343. Rotate(Rotate[Rotate[Rotate[E49, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → C_6
  344. Rotate(Rotate[Rotate[Rotate[E53, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → D_6
  345. Rotate(Rotate[Rotate[Rotate[E101, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → E_6
  346. Rotate(Rotate[Rotate[Rotate[E85, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → F_6
  347. Rotate(Rotate[Rotate[Rotate[E37, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → G_6
  348. Rotate(Rotate[Rotate[Rotate[E13, α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → H_6
  349. Polygon(A_6, E_3, F_3, H_6, G_6, F_6, E_6, D_6, C_6, B_6) → wielokąt45, a_8, b_6, e_8, f_8, h_8, g_8, f_9, e_9, d_7, c_6
  350. Rotate(Rotate[Rotate[Rotate[E62, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → I_6
  351. Rotate(Rotate[Rotate[Rotate[E61, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → J_6
  352. Rotate(Rotate[Rotate[Rotate[E109, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → K_6
  353. Rotate(Rotate[Rotate[Rotate[E93, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → L_6
  354. Rotate(Rotate[Rotate[Rotate[E45, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → M_6
  355. Rotate(Rotate[Rotate[Rotate[E21, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → N_6
  356. Rotate(Rotate[Rotate[Rotate[E22, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → O_6
  357. Rotate(Rotate[Rotate[Rotate[E46, α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → P_6
  358. Polygon(I_6, A_3, B_3, P_6, O_6, N_6, M_6, L_6, K_6, J_6) → wielokąt46, i_7, j_7, a_9, b_7, p_9, o_9, n_{10}, m_{11}, l_{10}, k_8
  359. Rotate(Rotate[Rotate[Rotate[Rotate[E23, β, Line[E21, E22]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → Q_6
  360. Rotate(Rotate[Rotate[Rotate[Rotate[E24, β, Line[E21, E22]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → R_6
  361. Polygon(Q_6, N_6, O_6, R_6) → wielokąt47, q_8, n_{11}, o_{10}, r_6
  362. Rotate(Rotate[Rotate[Rotate[Rotate[E87, β, Line[E111, E63]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → S_6
  363. Rotate(Rotate[Rotate[Rotate[Rotate[E39, β, Line[E111, E63]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → T_6
  364. Polygon(S_6, F_5, G_5, T_6) → wielokąt48, s_7, f_{10}, g_9, t_9
  365. Rotate(Rotate[Rotate[Rotate[Rotate[E27, β, Line[E51, E99]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → U_6
  366. Rotate(Rotate[Rotate[Rotate[Rotate[E75, β, Line[E51, E99]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → V_6
  367. Polygon(U_6, N_5, O_5, V_6) → wielokąt49, u_{11}, n_{12}, o_{11}, v_9
  368. Rotate(Rotate[Rotate[Rotate[Rotate[E49, β, Line[E25, E73]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → W_6
  369. Rotate(Rotate[Rotate[Rotate[Rotate[E97, β, Line[E25, E73]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → Z_6
  370. Polygon(W_5, Z_6, W_6, V_5) → wielokąt50, w_{10}, z_{11}, w_{11}, v_{10}
  371. Rotate(Rotate[Rotate[Rotate[Rotate[E109, β, Line[E85, E37]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → A_7
  372. Rotate(Rotate[Rotate[Rotate[Rotate[E61, β, Line[E85, E37]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → B_7
  373. Polygon(A_7, F_6, G_6, B_7) → wielokąt51, a_{10}, f_{11}, g_{10}, b_8
  374. Rotate(Rotate[Rotate[Rotate[Rotate[E77, α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → C_7
  375. Rotate(Rotate[Rotate[Rotate[Rotate[E117, α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → D_7
  376. Rotate(Rotate[Rotate[Rotate[Rotate[E93, α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → E_7
  377. Rotate(Rotate[Rotate[Rotate[Rotate[E109, α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → F_7
  378. Polygon(F_6, F_7, E_7, D_7, C_7, E_6) → wielokąt52, f_{12}, f_{13}, e_{10}, d_8, c_7, e_{11}
  379. Rotate(Rotate[Rotate[Rotate[Rotate[E5, α, Line[E1, E25]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → G_7
  380. Rotate(Rotate[Rotate[Rotate[Rotate[E29, α, Line[E1, E25]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → H_7
  381. Rotate(Rotate[Rotate[Rotate[Rotate[E53, α, Line[E1, E25]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → I_7
  382. Rotate(Rotate[Rotate[Rotate[Rotate[E49, α, Line[E1, E25]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → J_7
  383. Polygon(V_5, J_7, I_7, H_7, G_7, U_5) → wielokąt53, v_{11}, j_8, i_8, h_9, g_{11}, u_{12}
  384. Rotate(Rotate[Rotate[Rotate[Rotate[E31, α, Line[E55, E51]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → K_7
  385. Rotate(Rotate[Rotate[Rotate[Rotate[E7, α, Line[E55, E51]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → L_7
  386. Rotate(Rotate[Rotate[Rotate[Rotate[E3, α, Line[E55, E51]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → M_7
  387. Rotate(Rotate[Rotate[Rotate[Rotate[E27, α, Line[E55, E51]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → N_7
  388. Polygon(N_5, N_7, M_7, L_7, K_7, M_5) → wielokąt54, n_{13}, n_{14}, m_{12}, l_{11}, k_9, m_{13}
  389. Rotate(Rotate[Rotate[Rotate[Rotate[E119, α, Line[E95, E111]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → O_7
  390. Rotate(Rotate[Rotate[Rotate[Rotate[E79, α, Line[E95, E111]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → P_7
  391. Rotate(Rotate[Rotate[Rotate[Rotate[E103, α, Line[E95, E111]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → Q_7
  392. Rotate(Rotate[Rotate[Rotate[Rotate[E87, α, Line[E95, E111]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → R_7
  393. Polygon(F_5, R_7, Q_7, P_7, O_7, E_5) → wielokąt55, f_{14}, r_7, q_9, p_{10}, o_{12}, e_{12}
  394. Rotate(Rotate[Rotate[Rotate[Rotate[E69, α, Line[E45, E21]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → S_7
  395. Rotate(Rotate[Rotate[Rotate[Rotate[E71, α, Line[E45, E21]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → T_7
  396. Rotate(Rotate[Rotate[Rotate[Rotate[E47, α, Line[E45, E21]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → U_7
  397. Rotate(Rotate[Rotate[Rotate[Rotate[E23, α, Line[E45, E21]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → V_7
  398. Polygon(N_6, V_7, U_7, T_7, S_7, M_6) → wielokąt56, n_{15}, v_{12}, u_{13}, t_{10}, s_8, m_{14}
  399. Rotate(Rotate[Rotate[Rotate[Rotate[E117, β, Line[E93, E45]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → W_7
  400. Rotate(Rotate[Rotate[Rotate[Rotate[E69, β, Line[E93, E45]], α, Line[E110, E94]], α, Line[E86, E102]], β, Line[E98, E50]], β, Line[E74, E26]) → Z_7
  401. Polygon(M_6, Z_7, W_7, L_6) → wielokąt57, m_{15}, z_{12}, w_{12}, l_{12}
  402. Rotate(Rotate[Rotate[Rotate[Rotate[E71, β, Line[E47, E95]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → A_8
  403. Rotate(Rotate[Rotate[Rotate[Rotate[E119, β, Line[E47, E95]], α, Line[E96, E112]], α, Line[E120, E80]], β, Line[E6, E8]], β, Line[E2, E4]) → B_8
  404. Polygon(E_5, B_8, A_8, D_5) → wielokąt58, e_{13}, b_9, a_{11}, d_9
  405. Rotate(Rotate[Rotate[Rotate[Rotate[E31, β, Line[E103, E55]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → D_8
  406. Rotate(Rotate[Rotate[Rotate[Rotate[E79, β, Line[E103, E55]], α, Line[E11, E35]], α, Line[E12, E36]], β, Line[E52, E100]], β, Line[E28, E76]) → C_8
  407. Polygon(M_5, D_8, C_8, L_5) → wielokąt59, m_{16}, d_{10}, c_8, l_{13}
  408. Rotate(Rotate[Rotate[Rotate[Rotate[E7, β, Line[E3, E1]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → E_8
  409. Rotate(Rotate[Rotate[Rotate[Rotate[E5, β, Line[E3, E1]], α, Line[E67, E65]], α, Line[E43, E19]], β, Line[E92, E44]], β, Line[E116, E68]) → F_8
  410. Polygon(U_5, F_8, E_8, T_5) → wielokąt60, u_{14}, f_{15}, e_{14}, t_{11}
  411. Rotate(Rotate[Rotate[Rotate[Rotate[E29, β, Line[E53, E101]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → G_8
  412. Rotate(Rotate[Rotate[Rotate[Rotate[E77, β, Line[E53, E101]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → H_8
  413. Polygon(E_6, H_8, G_8, D_6) → wielokąt61, e_{15}, h_{10}, g_{12}, d_{11}
  414. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E29, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → I_8
  415. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E5, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → J_8
  416. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E7, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → K_8
  417. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E31, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → L_8
  418. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E79, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → M_8
  419. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E119, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → N_8
  420. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E71, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → O_8
  421. Rotate(Rotate[Rotate[Rotate[Rotate[Rotate[E69, α, Line[E77, E117]], α, Line[E101, E85]], α, Line[E33, E9]], α, Line[E57, E58]], β, Line[E42, E90]], β, Line[E66, E114]) → P_8
  422. Polygon(I_8, C_7, D_7, P_8, O_8, N_8, M_8, L_8, K_8, J_8) → wielokąt62, i_9, j_9, c_9, d_{12}, p_{11}, o_{13}, n_{16}, m_{17}, l_{14}, k_{10}

AI Drawing Prompt Reference

Draw a truncated icosidodecahedron, a highly symmetric polyhedron. Start by selecting three key points: two are midpoints of edges, and the third lies on another edge. These three points define a plane, and measure an angle within that plane. Then construct a line through the third point perpendicular to the plane, and rotate all original vertices of the polyhedron about this line by the measured angle to obtain a new set of vertices. Use these new vertices together with the original ones to form the truncated polyhedron's faces, showing its complex arrangement of regular polygons and reflecting Euler characteristic and symmetry.
The prompt above was compiled from the original drawing commands and is for reference only.