MathPlotAI Logo MathPlotAI

4Dframe Dome Edges Version

4Dframe Dome Edges Version
Loading the math board and drawing, please wait…
2016-06-01 00:50
Solid GeometryTransformationGeometric Construction
This example demonstrates the edge construction of a 4Dframe dome. Key mathematical concepts include solid geometry and geometric construction. Using GeoGebra commands such as Intersect, OrthogonalPlane, Point, etc., multiple faces and edges are constructed. Suitable for high school or university students studying solid geometry.

GeoGebra Commands & Parameters

  1. Intersect(xAxis, zAxis) → D
  2. OrthogonalPlane(D, zAxis) → a
  3. Point(Circle[A, r]) → B
  4. Polygon(A, B, 3) → poly1, g, h, i, C
  5. Point(Circle[Midpoint[A, B], (Distance[A, B] * sqrt(3) / 2), Segment[A, B]]) → E
  6. Icosahedron(A, B, E) → b, F, faceABE, faceAEH, faceAHI, faceAFI, faceABF, faceBFJ, faceBGJ, faceBEG, faceEGK, faceEHK, G, faceGJM, faceGKM, faceKMN, faceHKN, faceJLM, faceLMN, faceILN, faceHIN, faceFJL, faceFIL, H, edgeAE, edgeAB, edgeBE, edgeAH, edgeEH, edgeAI, edgeHI, edgeAF, edgeFI, edgeBF, I, edgeBJ, edgeFJ, edgeBG, edgeGJ, edgeEG, edgeEK, edgeGK, edgeHK, edgeGM, edgeJM, J, edgeKM, edgeKN, edgeMN, edgeHN, edgeLM, edgeJL, edgeLN, edgeIN, edgeIL, edgeFL, N, L, M, K
  7. Midpoint(K, B) → O
  8. Segment(K, O) → j
  9. Segment(O, L) → k
  10. Segment(O, M) → l
  11. Midpoint(edgeLN) → P_3
  12. Midpoint(edgeLM) → Q
  13. Segment(Q, K) → m
  14. Segment(P_3, M) → n_7
  15. Intersect(m, n_7) → R
  16. CircleArc(O, M, L) → c
  17. CircleArc(O, L, K) → d
  18. CircleArc(O, K, M) → e
  19. Ray(O, R) → p
  20. Sphere(O, M) → o
  21. Intersect(p, o) → T, S
  22. Ray(O, L) → q
  23. Ray(O, K) → s
  24. Intersect(n_7, edgeMN) → V
  25. Ray(O, M) → t
  26. Midpoint(edgeMN) → U
  27. Polygon(P_3, U, Q) → poly2, q_1, p_1, u
  28. Segment(T, M) → g_1
  29. Segment(T, K) → h_1
  30. Midpoint(h_1) → Z
  31. Midpoint(g_1) → A_1
  32. Segment(U, L) → i_1
  33. Intersect(m, q_1) → C_1
  34. Intersect(n_7, p_1) → D_1
  35. Intersect(u, i_1) → E_1
  36. Ray(O, C_1) → j_1
  37. Ray(O, D_1) → k_1
  38. Ray(O, E_1) → l_1
  39. Intersect(j_1, o) → G_1, F_1
  40. Intersect(k_1, o) → I_1, H_1
  41. Intersect(l_1, o) → K_1, J_1
  42. Polygon(G_1, I_1, K_1) → poly4, k_2, g_2, i_2
  43. Ray(O, Q) → m_1
  44. Ray(O, P_3) → n_1
  45. Ray(O, U) → r_1
  46. Intersect(n_1, d) → L_1,
  47. Intersect(r_1, e) → M_1,
  48. Intersect(m_1, c) → N_1,
  49. Polygon(K_1, N_1, I_1) → poly5, i_3, k_3, n_2
  50. Polygon(G_1, M_1, I_1) → poly6, i_4, g_3, m_2
  51. Polygon(G_1, L_1, K_1) → poly7, k_4, g_4, l_2
  52. Midpoint(M, M_1) → O_1
  53. Midpoint(M_1, K) → P_1
  54. Ray(O, O_1) → s_1
  55. Ray(O, P_1) → t_1
  56. Midpoint(K, L_1) → Q_1
  57. Midpoint(L_1, L) → R_1
  58. Ray(O, Q_1) → c_1
  59. Ray(O, R_1) → d_1
  60. Midpoint(N_1, M) → T_1
  61. Ray(O, T_1) → f_2
  62. Intersect(f_2, c) → V_1,
  63. Intersect(s_1, e) → W_1,
  64. Intersect(t_1, e) → Z_1,
  65. Intersect(c_1, d) → A_2,
  66. Intersect(d_1, d) → B_2,
  67. Midpoint(N_1, L) → W
  68. Ray(O, W) → e_1
  69. Intersect(e_1, c) → S_1,
  70. Polygon(B_2, K_1, L_1) → poly8, l_3, b_2, r_{3a}
  71. Polygon(K_1, S_1, N_1) → poly9, n_3, r_{4_a_2}, s_2
  72. Polygon(K_1, S_1, B_2) → poly10, b_3, k_7, s_3
  73. Polygon(B_2, S_1, L) → poly11, l_4, r_{4_a_1}, r_{4a}
  74. Polygon(Z_1, A_2, K) → poly12, p_{1a}, z_2, r_{1b}
  75. Polygon(W_1, V_1, M) → poly13, m_3, r_{4_a_4}, r_{4b}
  76. Polygon(A_2, G_1, L_1) → poly14, l_5, a_3, r_{2a}
  77. Polygon(I_1, N_1, V_1) → poly15, v_2, r_{4_a_3}, n_5
  78. Polygon(M_1, I_1, W_1) → poly16, w_2, m_4, r_{3b}
  79. Polygon(Z_1, G_1, M_1) → poly17, m_5, z_3, r_{2b}
  80. Polygon(A_2, Z_1, G_1) → poly18, g_7, a_4, z_4
  81. Polygon(I_1, W_1, V_1) → poly19, v_3, i_7, w_3
  82. CircleArc(O, N, M) → c_2
  83. CircleArc(O, M, K) → d_2
  84. CircleArc(O, K, N) → e_2
  85. Midpoint(edgeMN) → U_1
  86. Midpoint(edgeKN) → C_2
  87. Midpoint(edgeKM) → D_2
  88. Segment(K, D_2) → h_2
  89. Segment(U_1, N) → j_2
  90. Segment(M, C_2) → p_2
  91. Intersect(h_2, j_2) → E_2
  92. Ray(O, D_2) → q_2
  93. Ray(O, U_1) → r_2
  94. Ray(O, C_2) → t_2
  95. Intersect(r_2, d_2) → F_2,
  96. Intersect(t_2, e_2) → G_2,
  97. Intersect(q_2, c_2) → H_2,
  98. Ray(O, E_2) → f_3
  99. Intersect(f_3, o) → J_2, I_2
  100. Midpoint(K, J_2) → K_2
  101. Midpoint(M, J_2) → L_2
  102. Midpoint(J_2, N) → M_2
  103. Polygon(L_2, M_2, K_2) → poly20, k_8, l_6, m_6
  104. Polygon(U_1, C_2, D_2) → poly21, d_3, u_1, c_3
  105. Intersect(p_2, c_3) → N_2
  106. Intersect(u_1, j_2) → O_2
  107. Intersect(h_2, d_3) → P_2
  108. Ray(O, P_2) → h_3
  109. Ray(O, O_2) → j_3
  110. Ray(O, N_2) → p_3
  111. Intersect(p_3, o) → R_2, Q_2
  112. Intersect(h_3, o) → T_2, S_2
  113. Intersect(j_3, o) → V_2, U_2
  114. Polygon(R_2, T_2, V_2) → poly22, v_4, r_3, t_3
  115. Polygon(R_2, H_2, V_2) → poly23, v_5, r_4, h_4
  116. Polygon(R_2, F_2, T_2) → poly24, t_4, r_5, f_4
  117. Polygon(T_2, G_2, V_2) → poly25, q_3, e_3, j_4
  118. Midpoint(M, H_2) → W_2
  119. Midpoint(H_2, N) → Z_2
  120. Midpoint(N, G_2) → A_3
  121. Midpoint(G_2, K) → B_3
  122. Ray(O, A_3) → p_4
  123. Ray(O, B_3) → q_4
  124. Ray(O, Z_2) → c_4
  125. Ray(O, W_2) → d_4
  126. Intersect(d_4, c_2) → C_3,
  127. Intersect(c_4, c_2) → D_3,
  128. Intersect(p_4, e_2) → E_3,
  129. Intersect(q_4, e_2) → F_3,
  130. Midpoint(M, F_2) → G_3
  131. Midpoint(F_2, K) → H_3
  132. Ray(O, G_3) → e_4
  133. Ray(O, H_3) → f_5
  134. Intersect(e_4, d_2) → I_3,
  135. Intersect(f_5, poly17) → J_3
  136. Polygon(M, C_3, I_3) → poly26, r_{4_b_(old)}, m_7, c_5
  137. Polygon(D_3, E_3, N) → poly27, k_9, r_{4c}, r_{4_b_4}
  138. Polygon(J_3, F_3, K) → poly28, n_6, r_{1c}, f_6
  139. Polygon(C_3, R_2, H_2) → poly29, h_5, c_6, r_{4_b_2}
  140. Polygon(H_2, V_2, D_3) → poly30, d_6, h_6, r_{4_b_3}
  141. Polygon(V_2, E_3, G_2) → poly31, g_8, r_{3c}, e_6
  142. Polygon(T_2, G_2, F_3) → poly32, f_7, r_{2c}, g_9
  143. Polygon(T_2, J_3, F_2) → poly33, f_8, t_6, j_6
  144. Polygon(F_2, I_3, R_2) → poly34, r_7, f_9, i_9
  145. Polygon(I_3, R_2, C_3) → poly35, c_7, i_{10}, r_8
  146. Polygon(V_2, E_3, D_3) → poly36, d_7, v_8, e_7
  147. Polygon(J_3, F_3, T_2) → poly37, p_{1b}, j_7, f_{10}
  148. Pyramid(poly26, O) → P_{verm}, face1, face3, face2, edgeMO, edge1, edge2
  149. Pyramid(poly22, O) → P_{amar}, face4, face6, face5, edge3, edge4, edge5
  150. Pyramid(poly34, O) → P_{azul}, face8, face9, face7, edge6, edge8, edge7
  151. Pyramid(poly25, O) → P_{verde}, face10, face11, face12, edge10, edge9, edge11
  152. Pyramid(poly36, O) → P_{rosa}, face14, face15, face13, edge12, edge14, edge13
  153. Volume(o) → V_{esfera}
  154. Point(Circle[P, n_6]) → K_3
  155. Segment(P, K_3) → p_5
  156. LineBisector(p_5) → q_5
  157. Circle(P, f_8) → s_5
  158. Intersect(s_5, q_5, 1) → L_3
  159. Polygon(P, K_3, L_3) → poly38, l_7, p_6, k_{10}
  160. Element(matrix1, n, 2) → n_{purple}
  161. Rotate(poly28, 72°, s) → poly28'
  162. Rotate(poly37, 72°, s) → poly37'
  163. Rotate(poly33, 72°, s) → poly33'
  164. Rotate(poly32, 72°, s) → poly32'
  165. Rotate(poly34, 72°, s) → poly34'
  166. Rotate(poly24, 72°, s) → poly24'
  167. Rotate(poly22, 72°, s) → poly22'
  168. Rotate(poly25, 72°, s) → poly25'
  169. Rotate(poly31, 72°, s) → poly31'
  170. Rotate(poly26, 72°, s) → poly26'
  171. Rotate(poly35, 72°, s) → poly35'
  172. Rotate(poly29, 72°, s) → poly29'
  173. Rotate(poly23, 72°, s) → poly23'
  174. Rotate(poly30, 72°, s) → poly30'
  175. Rotate(poly36, 72°, s) → poly36'
  176. Rotate(poly27, 72°, s) → poly27'
  177. Rotate(poly28', 72°, s) → poly28''
  178. Rotate(poly37', 72°, s) → poly37''
  179. Rotate(poly33', 72°, s) → poly33''
  180. Rotate(poly32', 72°, s) → poly32''
  181. Rotate(poly24', 72°, s) → poly24''
  182. Rotate(poly34', 72°, s) → poly34''
  183. Rotate(poly22', 72°, s) → poly22''
  184. Rotate(poly25', 72°, s) → poly25''
  185. Rotate(poly31', 72°, s) → poly31''
  186. Rotate(poly26', 72°, s) → poly26''
  187. Rotate(poly35', 72°, s) → poly35''
  188. Rotate(poly29', 72°, s) → poly29''
  189. Rotate(poly23', 72°, s) → poly23''
  190. Rotate(poly30', 72°, s) → poly30''
  191. Rotate(poly36', 72°, s) → poly36''
  192. Rotate(poly27', 72°, s) → poly27''
  193. Rotate(poly28'', 72°, s) → poly28'''
  194. Rotate(poly33'', 72°, s) → poly33'''
  195. Rotate(poly37'', 72°, s) → poly37'''
  196. Rotate(poly32'', 72°, s) → poly32'''
  197. Rotate(poly34'', 72°, s) → poly34'''
  198. Rotate(poly24'', 72°, s) → poly24'''
  199. Rotate(poly22'', 72°, s) → poly22'''
  200. Rotate(poly25'', 72°, s) → poly25'''
  201. Rotate(poly31'', 72°, s) → poly31'''
  202. Rotate(poly27'', 72°, s) → poly27'''
  203. Rotate(poly36'', 72°, s) → poly36'''
  204. Rotate(poly30'', 72°, s) → poly30'''
  205. Rotate(poly23'', 72°, s) → poly23'''
  206. Rotate(poly29'', 72°, s) → poly29'''
  207. Rotate(poly35'', 72°, s) → poly35'''
  208. Rotate(poly26'', 72°, s) → poly26'''
  209. Plane(H, I, O) → v
  210. Mirror(poly28'', v) → poly28'''_1
  211. Mirror(poly33'', v) → poly33'''_1
  212. Mirror(poly37'', v) → poly37'''_1
  213. Mirror(poly32'', v) → poly32'''_1
  214. Mirror(poly34'', v) → poly34'''_1
  215. Mirror(poly24'', v) → poly24'''_1
  216. Mirror(poly22'', v) → poly22'''_1
  217. Mirror(poly25'', v) → poly25'''_1
  218. Mirror(poly31'', v) → poly31'''_1
  219. Mirror(poly26'', v) → poly26'''_1
  220. Mirror(poly35'', v) → poly35'''_1
  221. Mirror(poly29'', v) → poly29'''_1
  222. Mirror(poly23'', v) → poly23'''_1
  223. Mirror(poly30'', v) → poly30'''_1
  224. Mirror(poly36'', v) → poly36'''_1
  225. Mirror(poly27'', v) → poly27'''_1
  226. Plane(I, L, O) → w
  227. Mirror(poly28''', w) → poly39
  228. Mirror(poly37''', w) → poly40
  229. Mirror(poly22''', w) → poly41
  230. Mirror(poly23''', w) → poly42
  231. Mirror(poly33''', w) → poly43
  232. Mirror(poly24''', w) → poly44
  233. Mirror(poly34''', w) → poly45
  234. Mirror(poly35''', w) → poly46
  235. Mirror(poly26''', w) → poly47
  236. Mirror(poly29''', w) → poly48
  237. Mirror(poly30''', w) → poly49
  238. Mirror(poly36''', w) → poly50
  239. Mirror(poly27''', w) → poly51
  240. Mirror(poly31''', w) → poly52
  241. Mirror(poly25''', w) → poly53
  242. Mirror(poly32''', w) → poly54
  243. Rotate(poly51, 72°, q) → poly51'
  244. Rotate(poly50, 72°, q) → poly50'
  245. Rotate(poly49, 72°, q) → poly49'
  246. Rotate(poly52, 72°, q) → poly52'
  247. Rotate(poly48, 72°, q) → poly48'
  248. Rotate(poly42, 72°, q) → poly42'
  249. Rotate(poly41, 72°, q) → poly41'
  250. Rotate(poly53, 72°, q) → poly53'
  251. Rotate(poly54, 72°, q) → poly54'
  252. Rotate(poly47, 72°, q) → poly47'
  253. Rotate(poly46, 72°, q) → poly46'
  254. Rotate(poly45, 72°, q) → poly45'
  255. Rotate(poly44, 72°, q) → poly44'
  256. Rotate(poly43, 72°, q) → poly43'
  257. Rotate(poly40, 72°, q) → poly40'
  258. Rotate(poly39, 72°, q) → poly39'
  259. Rotate(poly51, 144°, q) → poly51'_1
  260. Rotate(poly49, 144°, q) → poly49'_1
  261. Rotate(poly50, 144°, q) → poly50'_1
  262. Rotate(poly52, 144°, q) → poly52'_1
  263. Rotate(poly48, 144°, q) → poly48'_1
  264. Rotate(poly42, 144°, q) → poly42'_1
  265. Rotate(poly41, 144°, q) → poly41'_1
  266. Rotate(poly53, 144°, q) → poly53'_1
  267. Rotate(poly54, 144°, q) → poly54'_1
  268. Rotate(poly46', 144°, q) → poly46''
  269. Rotate(poly47, 144°, q) → poly47'_1
  270. Rotate(poly46, 144°, q) → poly46'_1
  271. Rotate(poly45, 144°, q) → poly45'_1
  272. Rotate(poly44, 144°, q) → poly44'_1
  273. Rotate(poly43, 144°, q) → poly43'_1
  274. Rotate(poly40, 144°, q) → poly40'_1
  275. Rotate(poly39, 144°, q) → poly39'_1
  276. Plane(O, I, A) → o_1
  277. Mirror(poly27'''_1, o_1) → poly55
  278. Mirror(poly30'''_1, o_1) → poly56
  279. Mirror(poly36'''_1, o_1) → poly57
  280. Mirror(poly31'''_1, o_1) → poly58
  281. Mirror(poly32'''_1, o_1) → poly59
  282. Mirror(poly25'''_1, o_1) → poly60
  283. Mirror(poly22'''_1, o_1) → poly61
  284. Mirror(poly23'''_1, o_1) → poly62
  285. Mirror(poly29'''_1, o_1) → poly63
  286. Mirror(poly26'''_1, o_1) → poly64
  287. Mirror(poly35'''_1, o_1) → poly65
  288. Mirror(poly34'''_1, o_1) → poly66
  289. Mirror(poly24'''_1, o_1) → poly67
  290. Mirror(poly33'''_1, o_1) → poly68
  291. Mirror(poly37'''_1, o_1) → poly69
  292. Mirror(poly28'''_1, o_1) → poly70
  293. Rotate(poly39'_1, 144°, t) → poly71
  294. Rotate(poly54'_1, 144°, t) → poly72
  295. Rotate(poly40'_1, 144°, t) → poly73
  296. Rotate(poly43'_1, 144°, t) → poly74
  297. Rotate(poly52'_1, 144°, t) → poly75
  298. Rotate(poly53'_1, 144°, t) → poly76
  299. Rotate(poly41'_1, 144°, t) → poly77
  300. Rotate(poly44'_1, 144°, t) → poly78
  301. Rotate(poly45'_1, 144°, t) → poly79
  302. Rotate(poly51'_1, 144°, t) → poly80
  303. Rotate(poly50'_1, 144°, t) → poly81
  304. Rotate(poly49'_1, 144°, t) → poly82
  305. Rotate(poly42'_1, 144°, t) → poly83
  306. Rotate(poly48'_1, 144°, t) → poly84
  307. Rotate(poly46'_1, 144°, t) → poly85
  308. Rotate(poly47'_1, 144°, t) → poly86
  309. Rotate(E_3, 72°, t) → M_3
  310. Rotate(N, 72°, t) → K'
  311. Segment(M_3, K') → r_{1a}
  312. Rotate(poly39'_1, 72°, t) → poly87
  313. Rotate(poly54'_1, 72°, t) → poly88
  314. Rotate(poly40'_1, 72°, t) → poly89
  315. Rotate(poly43'_1, 72°, t) → poly90
  316. Rotate(poly53'_1, 72°, t) → poly91
  317. Rotate(poly52'_1, 72°, t) → poly92
  318. Rotate(poly41'_1, 72°, t) → poly93
  319. Rotate(poly44'_1, 72°, t) → poly94
  320. Rotate(poly45'_1, 72°, t) → poly95
  321. Rotate(poly51'_1, 72°, t) → poly96
  322. Rotate(poly50'_1, 72°, t) → poly97
  323. Rotate(poly49'_1, 72°, t) → poly98
  324. Rotate(poly42'_1, 72°, t) → poly99
  325. Rotate(poly48'_1, 72°, t) → poly100
  326. Rotate(poly46'_1, 72°, t) → poly101
  327. Rotate(poly47'_1, 72°, t) → poly102
  328. Ray(O, N) → b_5
  329. Rotate(poly86, 72°, b_5) → poly86'
  330. Rotate(poly79, 72°, b_5) → poly79'
  331. Rotate(poly85, 72°, b_5) → poly85'
  332. Rotate(poly84, 72°, b_5) → poly84'
  333. Rotate(poly74, 72°, b_5) → poly74'
  334. Rotate(poly78, 72°, b_5) → poly78'
  335. Rotate(poly77, 72°, b_5) → poly77'
  336. Rotate(poly83, 72°, b_5) → poly83'
  337. Rotate(poly82, 72°, b_5) → poly82'
  338. Rotate(poly71, 72°, b_5) → poly71'
  339. Rotate(poly73, 72°, b_5) → poly73'
  340. Rotate(poly72, 72°, b_5) → poly72'
  341. Rotate(poly76, 72°, b_5) → poly76'
  342. Rotate(poly75, 72°, b_5) → poly75'
  343. Rotate(poly81, 72°, b_5) → poly81'
  344. Rotate(poly80, 72°, b_5) → poly80'
  345. Rotate(poly86, 144°, b_5) → poly86'_1
  346. Rotate(poly79, 144°, b_5) → poly79'_1
  347. Rotate(poly85, 144°, b_5) → poly85'_1
  348. Rotate(poly84, 144°, b_5) → poly84'_1
  349. Rotate(poly74, 144°, b_5) → poly74'_1
  350. Rotate(poly78, 144°, b_5) → poly78'_1
  351. Rotate(poly77, 144°, b_5) → poly77'_1
  352. Rotate(poly83, 144°, b_5) → poly83'_1
  353. Rotate(poly82, 144°, b_5) → poly82'_1
  354. Rotate(poly73, 144°, b_5) → poly73'_1
  355. Rotate(poly72, 144°, b_5) → poly72'_2
  356. Rotate(poly76, 144°, b_5) → poly76'_1
  357. Rotate(poly71, 144°, b_5) → poly71'_1
  358. Rotate(poly75, 144°, b_5) → poly75'_1
  359. Rotate(poly81, 144°, b_5) → poly81'_1
  360. Rotate(poly80, 144°, b_5) → poly80'_1
  361. Ray(O, H) → q_6
  362. Rotate(L, 72°, q_6) → L'
  363. Rotate(K, 72°, q_6) → N'
  364. Segment(L', N') → edgeLN'
  365. Rotate(poly80'_1, 72°, q_6) → poly103
  366. Rotate(poly82'_1, 72°, q_6) → poly104
  367. Rotate(poly81'_1, 72°, q_6) → poly105
  368. Rotate(poly75'_1, 72°, q_6) → poly106
  369. Rotate(poly84'_1, 72°, q_6) → poly107
  370. Rotate(poly83'_1, 72°, q_6) → poly108
  371. Rotate(poly77'_1, 72°, q_6) → poly109
  372. Rotate(poly76'_1, 72°, q_6) → poly110
  373. Rotate(poly72'_2, 72°, q_6) → poly111
  374. Rotate(poly86'_1, 72°, q_6) → poly112
  375. Rotate(poly85'_1, 72°, q_6) → poly113
  376. Rotate(poly79'_1, 72°, q_6) → poly114
  377. Rotate(poly78'_1, 72°, q_6) → poly115
  378. Rotate(poly74'_1, 72°, q_6) → poly116
  379. Rotate(poly73'_1, 72°, q_6) → poly117
  380. Rotate(poly71'_1, 72°, q_6) → poly118
  381. Plane(L, M, L') → o_2
  382. Plane(N', L, L') → u_2
  383. Plane(F, J, O) → o_3
  384. Mirror(poly51', o_3) → poly51''
  385. Mirror(poly47', o_3) → poly47''
  386. Mirror(poly46', o_3) → poly46''_1
  387. Mirror(poly45', o_3) → poly45''
  388. Mirror(poly44', o_3) → poly44''
  389. Mirror(poly43', o_3) → poly43''
  390. Mirror(poly40', o_3) → poly40''
  391. Mirror(poly39', o_3) → poly39''
  392. Mirror(poly53', o_3) → poly53''
  393. Mirror(poly41', o_3) → poly41''
  394. Mirror(poly42', o_3) → poly42''
  395. Mirror(poly48', o_3) → poly48''
  396. Mirror(poly49', o_3) → poly49''
  397. Mirror(poly50', o_3) → poly50''
  398. Mirror(poly52', o_3) → poly52''
  399. Ray(O, J) → s_6
  400. Mirror(poly54', o_3) → poly54''
  401. Ray(O, B) → a_6
  402. Rotate(poly39'', (-(72°)), a_6) → poly39'''
  403. Rotate(poly43'', (-(72°)), a_6) → poly43'''
  404. Rotate(poly45'', (-(72°)), a_6) → poly45'''
  405. Rotate(poly47'', (-(72°)), a_6) → poly47'''
  406. Rotate(poly40'', (-(72°)), a_6) → poly40'''
  407. Rotate(poly44'', (-(72°)), a_6) → poly44'''
  408. Rotate(poly46''_1, (-(72°)), a_6) → poly119
  409. Rotate(poly54'', (-(72°)), a_6) → poly54'''
  410. Rotate(poly53'', (-(72°)), a_6) → poly53'''
  411. Rotate(poly41'', (-(72°)), a_6) → poly41'''
  412. Rotate(poly42'', (-(72°)), a_6) → poly42'''
  413. Rotate(poly48'', (-(72°)), a_6) → poly48'''
  414. Rotate(poly52'', (-(72°)), a_6) → poly52'''
  415. Rotate(poly50'', (-(72°)), a_6) → poly50'''
  416. Rotate(poly49'', (-(72°)), a_6) → poly49'''
  417. Rotate(poly51'', (-(72°)), a_6) → poly51'''
  418. Rotate(poly54'', 72°, a_6) → poly54'''_1
  419. Rotate(poly52'', 72°, a_6) → poly52'''_1
  420. Rotate(poly51'', 72°, a_6) → poly51'''_1
  421. Rotate(poly50'', 72°, a_6) → poly50'''_1
  422. Rotate(poly53'', 72°, a_6) → poly53'''_1
  423. Rotate(poly41'', 72°, a_6) → poly41'''_1
  424. Rotate(poly42'', 72°, a_6) → poly42'''_1
  425. Rotate(poly49'', 72°, a_6) → poly49'''_1
  426. Rotate(poly48'', 72°, a_6) → poly48'''_1
  427. Rotate(poly51'''_1, 72°, a_6) → poly120
  428. Rotate(poly50'''_1, 72°, a_6) → poly121
  429. Rotate(poly52'''_1, 72°, a_6) → poly122
  430. Rotate(poly49'''_1, 72°, a_6) → poly123
  431. Rotate(poly54'''_1, 72°, a_6) → poly124
  432. Rotate(poly53'''_1, 72°, a_6) → poly125
  433. Rotate(poly41'''_1, 72°, a_6) → poly126
  434. Rotate(poly42'''_1, 72°, a_6) → poly127
  435. Rotate(poly48'''_1, 72°, a_6) → poly128
  436. Rotate(poly120, 72°, a_6) → poly120'
  437. Rotate(poly122, 72°, a_6) → poly122'
  438. Rotate(poly121, 72°, a_6) → poly121'
  439. Rotate(poly123, 72°, a_6) → poly123'
  440. Rotate(poly124, 72°, a_6) → poly124'
  441. Rotate(poly125, 72°, a_6) → poly125'
  442. Rotate(poly126, 72°, a_6) → poly126'
  443. Rotate(poly127, 72°, a_6) → poly127'
  444. Rotate(poly128, 72°, a_6) → poly128'
  445. Rotate(poly39''', (-(72°)), a_6) → poly129
  446. Rotate(poly40''', (-(72°)), a_6) → poly130
  447. Rotate(poly43''', (-(72°)), a_6) → poly131
  448. Rotate(poly44''', (-(72°)), a_6) → poly132
  449. Rotate(poly45''', (-(72°)), a_6) → poly133
  450. Rotate(poly119, (-(72°)), a_6) → poly119'
  451. Rotate(poly47''', (-(72°)), a_6) → poly134
  452. Rotate(poly134, (-(72°)), a_6) → poly134'
  453. Rotate(poly119', (-(72°)), a_6) → poly119''
  454. Rotate(poly133, (-(72°)), a_6) → poly133'
  455. Rotate(poly132, (-(72°)), a_6) → poly132'
  456. Rotate(poly131, (-(72°)), a_6) → poly131'
  457. Rotate(poly130, (-(72°)), a_6) → poly130'
  458. Rotate(poly129, (-(72°)), a_6) → poly129'
  459. Rotate(poly129', (-(72°)), a_6) → poly129''
  460. Rotate(poly130', (-(72°)), a_6) → poly130''
  461. Rotate(poly131', (-(72°)), a_6) → poly131''
  462. Rotate(poly132', (-(72°)), a_6) → poly132''
  463. Rotate(poly133', (-(72°)), a_6) → poly133''
  464. Rotate(poly119'', (-(72°)), a_6) → poly119'''
  465. Rotate(poly134', (-(72°)), a_6) → poly134''
  466. Line(O, K) → b_6
  467. Element(matrix1, n, 1) → n_{red}
  468. Element(matrix1, n, 3) → n_{blue}
  469. Element(matrix1, n, 4) → n_{green}
  470. Element(matrix1, n, 5) → n_{yellow}
  471. Segment(O, K) → h_7
  472. Rotate(A_2, 144°, s) → N_3
  473. Rotate(Z_1, 144°, s) → O_3
  474. Segment(N_3, O_3) → p_{1c}
  475. Rotate(G_1, 144°, s) → Q_3
  476. Rotate(A_2, 144°, s) → R_3
  477. Segment(Q_3, R_3) → q_7
  478. Rotate(Z_1, 144°, s) → S_3
  479. Rotate(G_1, 144°, s) → T_3
  480. Segment(S_3, T_3) → s_7
  481. Rotate(K, 144°, s) → N'_1
  482. Rotate(Z_1, 144°, s) → U_3
  483. Segment(N'_1, U_3) → r_{1d}
  484. Rotate(M_1, 144°, s) → V_3
  485. Rotate(Z_1, 144°, s) → W_3
  486. Segment(V_3, W_3) → r_{2d}
  487. Rotate(G_1, 144°, s) → Z_3
  488. Rotate(L_1, 144°, s) → A_4
  489. Segment(Z_3, A_4) → h_8
  490. Rotate(G_1, 144°, s) → B_4
  491. Rotate(M_1, 144°, s) → C_4
  492. Segment(B_4, C_4) → j_8
  493. Rotate(W_1, 144°, s) → D_4
  494. Rotate(M_1, 144°, s) → E_4
  495. Segment(D_4, E_4) → r_{3d}
  496. Rotate(L_1, 144°, s) → F_4
  497. Rotate(K_1, 144°, s) → G_4
  498. Segment(F_4, G_4) → m_8
  499. Rotate(K_1, 144°, s) → H_4
  500. Rotate(G_1, 144°, s) → I_4
  501. Segment(H_4, I_4) → n_8
  502. Rotate(G_1, 144°, s) → J_4
  503. Rotate(I_1, 144°, s) → K_4
  504. Segment(J_4, K_4) → p_8
  505. Rotate(M_1, 144°, s) → L_4
  506. Rotate(I_1, 144°, s) → M_4
  507. Segment(L_4, M_4) → q_8
  508. Rotate(M, 144°, s) → M'
  509. Rotate(W_1, 144°, s) → N_4
  510. Segment(M', N_4) → r_{4d}
  511. Rotate(V_1, 144°, s) → O_4
  512. Rotate(M, 144°, s) → M'_1
  513. Segment(O_4, M'_1) → r_{4_c_4}
  514. Rotate(W_1, 144°, s) → P_4
  515. Rotate(V_1, 144°, s) → Q_4
  516. Segment(P_4, Q_4) → a_8
  517. Rotate(V_1, 144°, s) → R_4
  518. Rotate(I_1, 144°, s) → S_4
  519. Segment(R_4, S_4) → b_8
  520. Rotate(I_1, 144°, s) → T_4
  521. Rotate(W_1, 144°, s) → U_4
  522. Segment(T_4, U_4) → c_8
  523. Rotate(N_1, 144°, s) → V_4
  524. Rotate(V_1, 144°, s) → W_4
  525. Segment(V_4, W_4) → r_{4_c_3}
  526. Rotate(N_1, 144°, s) → Z_4
  527. Rotate(I_1, 144°, s) → A_5
  528. Segment(Z_4, A_5) → e_8
  529. Rotate(I_1, 144°, s) → B_5
  530. Rotate(K_1, 144°, s) → C_5
  531. Segment(B_5, C_5) → h_9
  532. Rotate(N_1, 144°, s) → D_5
  533. Rotate(K_1, 144°, s) → E_5
  534. Segment(D_5, E_5) → j_9
  535. Rotate(B_2, 144°, s) → F_5
  536. Rotate(K_1, 144°, s) → G_5
  537. Segment(F_5, G_5) → l_9
  538. Rotate(K_1, 144°, s) → H_5
  539. Rotate(S_1, 144°, s) → I_5
  540. Segment(H_5, I_5) → m_9
  541. Rotate(B_2, 144°, s) → J_5
  542. Rotate(S_1, 144°, s) → K_5
  543. Segment(J_5, K_5) → n_9
  544. Rotate(S_1, 144°, s) → L_5
  545. Rotate(N_1, 144°, s) → M_5
  546. Segment(L_5, M_5) → r_{4_c_2}
  547. Rotate(S_1, 144°, s) → N_5
  548. Rotate(L, 144°, s) → L'_1
  549. Segment(N_5, L'_1) → r_{4_c_1}
  550. Rotate(N'_1, 72°, s) → O_5
  551. Rotate(U_3, 72°, s) → P_5
  552. Segment(O_5, P_5) → r_{1e}
  553. Rotate(V_3, 72°, s) → Q_5
  554. Rotate(W_3, 72°, s) → R_5
  555. Segment(Q_5, R_5) → r_{2e}
  556. Rotate(D_4, 72°, s) → S_5
  557. Rotate(E_4, 72°, s) → T_5
  558. Segment(S_5, T_5) → r_{3e}
  559. Rotate(D_4, 72°, s) → U_5
  560. Rotate(E_4, 72°, s) → V_5
  561. Rotate(M', 72°, s) → M''
  562. Rotate(N_4, 72°, s) → W_5
  563. Segment(M'', W_5) → r_{4e}
  564. Rotate(O_4, 72°, s) → Z_5
  565. Rotate(M'_1, 72°, s) → A_6
  566. Segment(Z_5, A_6) → r_{4_d_4}
  567. Rotate(V_4, 72°, s) → B_6
  568. Rotate(W_4, 72°, s) → C_6
  569. Segment(B_6, C_6) → r_{4_d_3}
  570. Rotate(L_5, 72°, s) → D_6
  571. Rotate(M_5, 72°, s) → E_6
  572. Segment(D_6, E_6) → r_{4_d_2}
  573. Rotate(N_5, 72°, s) → F_6
  574. Rotate(L'_1, 72°, s) → G_6
  575. Segment(F_6, G_6) → r_{4_d_1}
  576. Rotate(J_5, 72°, s) → H_6
  577. Rotate(K_5, 72°, s) → I_6
  578. Segment(H_6, I_6) → h_{10}
  579. Rotate(H_5, 72°, s) → J_6
  580. Rotate(I_5, 72°, s) → K_6
  581. Segment(J_6, K_6) → j_{10}
  582. Rotate(D_5, 72°, s) → L_6
  583. Rotate(E_5, 72°, s) → M_6
  584. Segment(L_6, M_6) → l_{10}
  585. Rotate(Z_4, 72°, s) → N_6
  586. Rotate(A_5, 72°, s) → O_6
  587. Segment(N_6, O_6) → m_{10}
  588. Rotate(R_4, 72°, s) → P_6
  589. Rotate(S_4, 72°, s) → Q_6
  590. Segment(P_6, Q_6) → n_{10}
  591. Rotate(P_4, 72°, s) → R_6
  592. Rotate(Q_4, 72°, s) → S_6
  593. Segment(R_6, S_6) → p_{10}
  594. Rotate(F_5, 72°, s) → T_6
  595. Rotate(G_5, 72°, s) → U_6
  596. Segment(T_6, U_6) → q_{10}
  597. Rotate(B_5, 72°, s) → V_6
  598. Rotate(C_5, 72°, s) → W_6
  599. Segment(V_6, W_6) → r_{10}
  600. Rotate(T_4, 72°, s) → Z_6
  601. Rotate(U_4, 72°, s) → A_7
  602. Segment(Z_6, A_7) → s_{10}
  603. Rotate(F_4, 72°, s) → B_7
  604. Rotate(G_4, 72°, s) → C_7
  605. Segment(B_7, C_7) → t_{10}
  606. Rotate(H_4, 72°, s) → D_7
  607. Rotate(I_4, 72°, s) → E_7
  608. Segment(D_7, E_7) → a_{10}
  609. Rotate(J_4, 72°, s) → F_7
  610. Rotate(K_4, 72°, s) → G_7
  611. Segment(F_7, G_7) → b_{10}
  612. Rotate(L_4, 72°, s) → H_7
  613. Rotate(M_4, 72°, s) → I_7
  614. Segment(H_7, I_7) → c_{10}
  615. Rotate(Z_3, 72°, s) → J_7
  616. Rotate(A_4, 72°, s) → K_7
  617. Segment(J_7, K_7) → d_{10}
  618. Rotate(B_4, 72°, s) → L_7
  619. Rotate(C_4, 72°, s) → M_7
  620. Segment(L_7, M_7) → e_{10}
  621. Rotate(Q_3, 72°, s) → N_7
  622. Rotate(R_3, 72°, s) → O_7
  623. Segment(N_7, O_7) → f_{11}
  624. Rotate(S_3, 72°, s) → P_7
  625. Rotate(T_3, 72°, s) → Q_7
  626. Segment(P_7, Q_7) → g_{11}
  627. Rotate(N_3, 72°, s) → R_7
  628. Rotate(O_3, 72°, s) → S_7
  629. Segment(R_7, S_7) → p_{1d}
  630. Rotate(N_3, 144°, s) → T_7
  631. Rotate(O_3, 144°, s) → U_7
  632. Segment(T_7, U_7) → p_{1e}
  633. Rotate(Q_3, 144°, s) → V_7
  634. Rotate(R_3, 144°, s) → W_7
  635. Segment(V_7, W_7) → j_{11}
  636. Rotate(S_3, 144°, s) → Z_7
  637. Rotate(T_3, 144°, s) → A_8
  638. Segment(Z_7, A_8) → k_{11}
  639. Rotate(Z_3, 144°, s) → B_8
  640. Rotate(A_4, 144°, s) → C_8
  641. Segment(B_8, C_8) → l_{11}
  642. Rotate(B_4, 144°, s) → D_8
  643. Rotate(C_4, 144°, s) → E_8
  644. Segment(D_8, E_8) → m_{11}
  645. Rotate(F_4, 144°, s) → F_8
  646. Rotate(G_4, 144°, s) → G_8
  647. Segment(F_8, G_8) → n_{11}
  648. Rotate(H_4, 144°, s) → H_8
  649. Rotate(I_4, 144°, s) → I_8
  650. Segment(H_8, I_8) → p_{11}
  651. Rotate(J_4, 144°, s) → J_8
  652. Rotate(K_4, 144°, s) → K_8
  653. Segment(J_8, K_8) → q_{11}
  654. Rotate(L_4, 144°, s) → L_8
  655. Rotate(M_4, 144°, s) → M_8
  656. Segment(L_8, M_8) → r_{11}
  657. Rotate(T_4, 144°, s) → N_8
  658. Rotate(U_4, 144°, s) → O_8
  659. Segment(N_8, O_8) → s_{11}
  660. Rotate(B_5, 144°, s) → P_8
  661. Rotate(C_5, 144°, s) → Q_8
  662. Segment(P_8, Q_8) → t_{11}
  663. Rotate(F_5, 144°, s) → R_8
  664. Rotate(G_5, 144°, s) → S_8
  665. Segment(R_8, S_8) → a_{11}
  666. Rotate(J_5, 144°, s) → T_8
  667. Rotate(K_5, 144°, s) → U_8
  668. Segment(T_8, U_8) → b_{11}
  669. Rotate(H_5, 144°, s) → V_8
  670. Rotate(I_5, 144°, s) → W_8
  671. Segment(V_8, W_8) → c_{11}
  672. Rotate(D_5, 144°, s) → Z_8
  673. Rotate(E_5, 144°, s) → A_9
  674. Segment(Z_8, A_9) → d_{11}
  675. Rotate(Z_4, 144°, s) → B_9
  676. Rotate(A_5, 144°, s) → C_9
  677. Segment(B_9, C_9) → e_{11}
  678. Rotate(R_4, 144°, s) → D_9
  679. Rotate(S_4, 144°, s) → E_9
  680. Segment(D_9, E_9) → f_{12}
  681. Rotate(O_4, 144°, s) → F_9
  682. Rotate(M'_1, 144°, s) → G_9
  683. Segment(F_9, G_9) → r_{4_e_4}
  684. Rotate(P_4, 144°, s) → H_9
  685. Rotate(Q_4, 144°, s) → I_9
  686. Segment(H_9, I_9) → h_{12}
  687. Rotate(V_4, 144°, s) → J_9
  688. Rotate(W_4, 144°, s) → K_9
  689. Segment(J_9, K_9) → r_{4_e_3}
  690. Rotate(L_5, 144°, s) → L_9
  691. Rotate(M_5, 144°, s) → M_9
  692. Segment(L_9, M_9) → r_{4_e_2}
  693. Rotate(N_5, 144°, s) → N_9
  694. Rotate(L'_1, 144°, s) → O_9
  695. Segment(N_9, O_9) → r_{4_e_1}
  696. Rotate(J_3, 72°, b_5) → P_9
  697. Rotate(F_3, 72°, b_5) → Q_9
  698. Segment(P_9, Q_9) → a_9
  699. Rotate(K, 72°, b_5) → N'_2
  700. Rotate(Z_1, 72°, b_5) → R_9
  701. Segment(N'_2, R_9) → r_{5_c}
  702. Rotate(M_1, 72°, b_5) → S_9
  703. Rotate(Z_1, 72°, b_5) → T_9
  704. Segment(S_9, T_9) → r_{6_c}
  705. Rotate(W_1, 72°, b_5) → U_9
  706. Rotate(M_1, 72°, b_5) → V_9
  707. Segment(U_9, V_9) → r_{7_c}
  708. Rotate(M, 72°, b_5) → M'_2
  709. Rotate(W_1, 72°, b_5) → W_9
  710. Segment(M'_2, W_9) → p_{12}
  711. Rotate(M, 72°, b_5) → M'_3
  712. Rotate(C_3, 72°, b_5) → Z_9
  713. Segment(M'_3, Z_9) → q_{12}
  714. Rotate(H_2, 72°, b_5) → A_{10}
  715. Rotate(C_3, 72°, b_5) → B_{10}
  716. Segment(A_{10}, B_{10}) → r_{7_d}
  717. Rotate(D_3, 72°, b_5) → C_{10}
  718. Rotate(H_2, 72°, b_5) → D_{10}
  719. Segment(C_{10}, D_{10}) → r_{6_d}
  720. Rotate(N, 72°, b_5) → K'_1
  721. Rotate(D_3, 72°, b_5) → E_{10}
  722. Segment(K'_1, E_{10}) → r_{5_d}
  723. Rotate(D_3, 72°, b_5) → F_{10}
  724. Rotate(E_3, 72°, b_5) → G_{10}
  725. Segment(F_{10}, G_{10}) → a_{12}
  726. Rotate(V_2, 72°, b_5) → H_{10}
  727. Rotate(D_3, 72°, b_5) → I_{10}
  728. Segment(H_{10}, I_{10}) → b_{12}
  729. Rotate(V_2, 72°, b_5) → J_{10}
  730. Rotate(E_3, 72°, b_5) → K_{10}
  731. Segment(J_{10}, K_{10}) → c_{12}
  732. Rotate(G_2, 72°, b_5) → L_{10}
  733. Rotate(V_2, 72°, b_5) → M_{10}
  734. Segment(L_{10}, M_{10}) → d_{12}
  735. Rotate(H_2, 72°, b_5) → N_{10}
  736. Rotate(V_2, 72°, b_5) → O_{10}
  737. Segment(N_{10}, O_{10}) → e_{12}
  738. Rotate(T_2, 72°, b_5) → P_{10}
  739. Rotate(G_2, 72°, b_5) → Q_{10}
  740. Segment(P_{10}, Q_{10}) → f_{13}
  741. Rotate(T_2, 72°, b_5) → R_{10}
  742. Rotate(V_2, 72°, b_5) → S_{10}
  743. Segment(R_{10}, S_{10}) → g_{13}
  744. Rotate(V_2, 72°, b_5) → T_{10}
  745. Rotate(R_2, 72°, b_5) → U_{10}
  746. Segment(T_{10}, U_{10}) → h_{13}
  747. Rotate(T_2, 72°, b_5) → V_{10}
  748. Rotate(R_2, 72°, b_5) → W_{10}
  749. Segment(V_{10}, W_{10}) → i_{13}
  750. Rotate(C_3, 72°, b_5) → Z_{10}
  751. Rotate(R_2, 72°, b_5) → A_{11}
  752. Segment(Z_{10}, A_{11}) → j_{13}
  753. Rotate(R_2, 72°, b_5) → B_{11}
  754. Rotate(H_2, 72°, b_5) → C_{11}
  755. Segment(B_{11}, C_{11}) → k_{13}
  756. Rotate(F_3, 72°, b_5) → D_{11}
  757. Rotate(T_2, 72°, b_5) → E_{11}
  758. Segment(D_{11}, E_{11}) → l_{13}
  759. Rotate(T_2, 72°, b_5) → F_{11}
  760. Rotate(J_3, 72°, b_5) → G_{11}
  761. Segment(F_{11}, G_{11}) → m_{13}
  762. Rotate(F_2, 72°, b_5) → H_{11}
  763. Rotate(T_2, 72°, b_5) → I_{11}
  764. Segment(H_{11}, I_{11}) → n_{13}
  765. Rotate(R_2, 72°, b_5) → J_{11}
  766. Rotate(F_2, 72°, b_5) → K_{11}
  767. Segment(J_{11}, K_{11}) → p_{13}
  768. Rotate(I_3, 72°, b_5) → L_{11}
  769. Rotate(R_2, 72°, b_5) → M_{11}
  770. Segment(L_{11}, M_{11}) → q_{13}
  771. Rotate(C_3, 72°, b_5) → N_{11}
  772. Rotate(I_3, 72°, b_5) → O_{11}
  773. Segment(N_{11}, O_{11}) → r_{13}
  774. Rotate(K'_1, 72°, b_5) → P_{11}
  775. Rotate(E_{10}, 72°, b_5) → Q_{11}
  776. Segment(P_{11}, Q_{11}) → r_{5_e}
  777. Rotate(C_{10}, 72°, b_5) → R_{11}
  778. Rotate(D_{10}, 72°, b_5) → S_{11}
  779. Segment(R_{11}, S_{11}) → r_{6_e}
  780. Rotate(A_{10}, 72°, b_5) → T_{11}
  781. Rotate(B_{10}, 72°, b_5) → U_{11}
  782. Segment(T_{11}, U_{11}) → r_{7_e}
  783. Rotate(M'_3, 72°, b_5) → V_{11}
  784. Rotate(Z_9, 72°, b_5) → W_{11}
  785. Segment(V_{11}, W_{11}) → b_{13}
  786. Rotate(M'_2, 72°, b_5) → Z_{11}
  787. Rotate(W_9, 72°, b_5) → A_{12}
  788. Segment(Z_{11}, A_{12}) → c_{13}
  789. Rotate(U_9, 72°, b_5) → B_{12}
  790. Rotate(V_9, 72°, b_5) → C_{12}
  791. Segment(B_{12}, C_{12}) → d_{13}
  792. Rotate(S_9, 72°, b_5) → D_{12}
  793. Rotate(T_9, 72°, b_5) → E_{12}
  794. Segment(D_{12}, E_{12}) → e_{13}
  795. Rotate(N'_2, 72°, b_5) → F_{12}
  796. Rotate(R_9, 72°, b_5) → G_{12}
  797. Segment(F_{12}, G_{12}) → f_{14}
  798. Rotate(P_9, 72°, b_5) → H_{12}
  799. Rotate(Q_9, 72°, b_5) → I_{12}
  800. Segment(H_{12}, I_{12}) → g_{14}
  801. Rotate(F_{11}, 72°, b_5) → J_{12}
  802. Rotate(G_{11}, 72°, b_5) → K_{12}
  803. Segment(J_{12}, K_{12}) → h_{14}
  804. Rotate(D_{11}, 72°, b_5) → L_{12}
  805. Rotate(E_{11}, 72°, b_5) → M_{12}
  806. Segment(L_{12}, M_{12}) → i_{14}
  807. Rotate(P_{10}, 72°, b_5) → N_{12}
  808. Rotate(Q_{10}, 72°, b_5) → O_{12}
  809. Segment(N_{12}, O_{12}) → j_{14}
  810. Rotate(R_{10}, 72°, b_5) → P_{12}
  811. Rotate(S_{10}, 72°, b_5) → Q_{12}
  812. Segment(P_{12}, Q_{12}) → k_{14}
  813. Rotate(L_{10}, 72°, b_5) → R_{12}
  814. Rotate(M_{10}, 72°, b_5) → S_{12}
  815. Segment(R_{12}, S_{12}) → l_{14}
  816. Rotate(J_{10}, 72°, b_5) → T_{12}
  817. Rotate(K_{10}, 72°, b_5) → U_{12}
  818. Segment(T_{12}, U_{12}) → m_{14}
  819. Rotate(F_{10}, 72°, b_5) → V_{12}
  820. Rotate(G_{10}, 72°, b_5) → W_{12}
  821. Segment(V_{12}, W_{12}) → n_{14}
  822. Rotate(H_{10}, 72°, b_5) → Z_{12}
  823. Rotate(I_{10}, 72°, b_5) → A_{13}
  824. Segment(Z_{12}, A_{13}) → p_{14}
  825. Rotate(N_{10}, 72°, b_5) → B_{13}
  826. Rotate(O_{10}, 72°, b_5) → C_{13}
  827. Segment(B_{13}, C_{13}) → q_{14}
  828. Rotate(T_{10}, 72°, b_5) → D_{13}
  829. Rotate(U_{10}, 72°, b_5) → E_{13}
  830. Segment(D_{13}, E_{13}) → r_{14}
  831. Rotate(B_{11}, 72°, b_5) → F_{13}
  832. Rotate(C_{11}, 72°, b_5) → G_{13}
  833. Segment(F_{13}, G_{13}) → s_{14}
  834. Rotate(Z_{10}, 72°, b_5) → H_{13}
  835. Rotate(A_{11}, 72°, b_5) → I_{13}
  836. Segment(H_{13}, I_{13}) → t_{14}
  837. Rotate(N_{11}, 72°, b_5) → J_{13}
  838. Rotate(O_{11}, 72°, b_5) → K_{13}
  839. Segment(J_{13}, K_{13}) → a_{14}
  840. Rotate(L_{11}, 72°, b_5) → L_{13}
  841. Rotate(M_{11}, 72°, b_5) → M_{13}
  842. Segment(L_{13}, M_{13}) → b_{14}
  843. Rotate(J_{11}, 72°, b_5) → N_{13}
  844. Rotate(K_{11}, 72°, b_5) → O_{13}
  845. Segment(N_{13}, O_{13}) → c_{14}
  846. Rotate(V_{10}, 72°, b_5) → P_{13}
  847. Rotate(W_{10}, 72°, b_5) → Q_{13}
  848. Segment(P_{13}, Q_{13}) → d_{14}
  849. Rotate(H_{11}, 72°, b_5) → R_{13}
  850. Rotate(I_{11}, 72°, b_5) → S_{13}
  851. Segment(R_{13}, S_{13}) → e_{14}
  852. Rotate(F_{10}, 144°, b_5) → T_{13}
  853. Rotate(G_{10}, 144°, b_5) → U_{13}
  854. Segment(T_{13}, U_{13}) → f_{15}
  855. Rotate(H_{10}, 144°, b_5) → V_{13}
  856. Rotate(I_{10}, 144°, b_5) → W_{13}
  857. Segment(V_{13}, W_{13}) → g_{15}
  858. Rotate(J_{10}, 144°, b_5) → Z_{13}
  859. Rotate(K_{10}, 144°, b_5) → A_{14}
  860. Segment(Z_{13}, A_{14}) → h_{15}
  861. Rotate(L_{10}, 144°, b_5) → B_{14}
  862. Rotate(M_{10}, 144°, b_5) → C_{14}
  863. Segment(B_{14}, C_{14}) → i_{15}
  864. Rotate(N_{10}, 144°, b_5) → D_{14}
  865. Rotate(O_{10}, 144°, b_5) → E_{14}
  866. Segment(D_{14}, E_{14}) → j_{15}
  867. Rotate(R_{10}, 144°, b_5) → F_{14}
  868. Rotate(S_{10}, 144°, b_5) → G_{14}
  869. Segment(F_{14}, G_{14}) → k_{15}
  870. Rotate(T_{10}, 144°, b_5) → H_{14}
  871. Rotate(U_{10}, 144°, b_5) → I_{14}
  872. Segment(H_{14}, I_{14}) → l_{15}
  873. Rotate(V_{10}, 144°, b_5) → J_{14}
  874. Rotate(W_{10}, 144°, b_5) → K_{14}
  875. Segment(J_{14}, K_{14}) → m_{15}
  876. Rotate(B_{11}, 144°, b_5) → L_{14}
  877. Rotate(C_{11}, 144°, b_5) → M_{14}
  878. Segment(L_{14}, M_{14}) → n_{15}
  879. Rotate(P_{10}, 144°, b_5) → N_{14}
  880. Rotate(Q_{10}, 144°, b_5) → O_{14}
  881. Segment(N_{14}, O_{14}) → p_{15}
  882. Rotate(D_{11}, 144°, b_5) → P_{14}
  883. Rotate(E_{11}, 144°, b_5) → Q_{14}
  884. Segment(P_{14}, Q_{14}) → q_{15}
  885. Rotate(Z_{10}, 144°, b_5) → R_{14}
  886. Rotate(A_{11}, 144°, b_5) → S_{14}
  887. Segment(R_{14}, S_{14}) → r_{15}
  888. Rotate(P_9, 144°, b_5) → T_{14}
  889. Rotate(Q_9, 144°, b_5) → U_{14}
  890. Segment(T_{14}, U_{14}) → s_{15}
  891. Rotate(F_{11}, 144°, b_5) → V_{14}
  892. Rotate(G_{11}, 144°, b_5) → W_{14}
  893. Segment(V_{14}, W_{14}) → t_{15}
  894. Rotate(H_{11}, 144°, b_5) → Z_{14}
  895. Rotate(I_{11}, 144°, b_5) → A_{15}
  896. Segment(Z_{14}, A_{15}) → a_{15}
  897. Rotate(J_{11}, 144°, b_5) → B_{15}
  898. Rotate(K_{11}, 144°, b_5) → C_{15}
  899. Segment(B_{15}, C_{15}) → b_{15}
  900. Rotate(L_{11}, 144°, b_5) → D_{15}
  901. Rotate(M_{11}, 144°, b_5) → E_{15}
  902. Segment(D_{15}, E_{15}) → c_{15}
  903. Rotate(N_{11}, 144°, b_5) → F_{15}
  904. Rotate(O_{11}, 144°, b_5) → G_{15}
  905. Segment(F_{15}, G_{15}) → d_{15}
  906. Rotate(M'_2, 144°, b_5) → H_{15}
  907. Rotate(W_9, 144°, b_5) → I_{15}
  908. Segment(H_{15}, I_{15}) → r_{5_f}
  909. Rotate(U_9, 144°, b_5) → J_{15}
  910. Rotate(V_9, 144°, b_5) → K_{15}
  911. Segment(J_{15}, K_{15}) → r_{6_f}
  912. Rotate(S_9, 144°, b_5) → L_{15}
  913. Rotate(T_9, 144°, b_5) → M_{15}
  914. Segment(L_{15}, M_{15}) → r_{7_f}
  915. Rotate(poly55, 144°, b_5) → poly55'
  916. Rotate(N'_2, 144°, b_5) → N_{15}
  917. Rotate(R_9, 144°, b_5) → O_{15}
  918. Segment(N_{15}, O_{15}) → h_{16}
  919. Ray(O, N'_2) → i_{16}
  920. Rotate(V_1, 72°, i_{16}) → P_{15}
  921. Rotate(M, 72°, i_{16}) → M'_4
  922. Segment(P_{15}, M'_4) → r_{5_b}
  923. Rotate(N_1, 72°, i_{16}) → Q_{15}
  924. Rotate(V_1, 72°, i_{16}) → R_{15}
  925. Segment(Q_{15}, R_{15}) → r_{6_b}
  926. Rotate(S_1, 72°, i_{16}) → S_{15}
  927. Rotate(N_1, 72°, i_{16}) → T_{15}
  928. Segment(S_{15}, T_{15}) → r_{7_b}
  929. Rotate(S_1, 72°, i_{16}) → U_{15}
  930. Rotate(L, 72°, i_{16}) → L'_2
  931. Segment(U_{15}, L'_2) → m_{16}
  932. Rotate(A_2, 72°, i_{16}) → V_{15}
  933. Rotate(K, 72°, i_{16}) → N'_3
  934. Segment(V_{15}, N'_3) → r_{5_a}
  935. Rotate(L_1, 72°, i_{16}) → W_{15}
  936. Rotate(A_2, 72°, i_{16}) → Z_{15}
  937. Segment(W_{15}, Z_{15}) → r_{6_a}
  938. Rotate(L_1, 72°, i_{16}) → A_{16}
  939. Rotate(B_2, 72°, i_{16}) → B_{16}
  940. Segment(A_{16}, B_{16}) → r_{7_a}
  941. Rotate(L, 72°, i_{16}) → L'_3
  942. Rotate(B_2, 72°, i_{16}) → C_{16}
  943. Segment(L'_3, C_{16}) → r_{16}
  944. Rotate(V_{15}, 72°, i_{16}) → D_{16}
  945. Rotate(N'_3, 72°, i_{16}) → E_{16}
  946. Segment(D_{16}, E_{16}) → s_{16}
  947. Rotate(W_{15}, 72°, i_{16}) → F_{16}
  948. Rotate(Z_{15}, 72°, i_{16}) → G_{16}
  949. Segment(F_{16}, G_{16}) → t_{16}
  950. Rotate(A_{16}, 72°, i_{16}) → H_{16}
  951. Rotate(B_{16}, 72°, i_{16}) → I_{16}
  952. Segment(H_{16}, I_{16}) → a_{16}
  953. Rotate(L'_3, 72°, i_{16}) → J_{16}
  954. Rotate(C_{16}, 72°, i_{16}) → K_{16}
  955. Segment(J_{16}, K_{16}) → b_{16}
  956. Rotate(Z_1, 72°, i_{16}) → L_{16}
  957. Rotate(G_1, 72°, i_{16}) → M_{16}
  958. Segment(L_{16}, M_{16}) → c_{16}
  959. Rotate(K_1, 72°, i_{16}) → N_{16}
  960. Rotate(G_1, 72°, i_{16}) → O_{16}
  961. Segment(N_{16}, O_{16}) → d_{16}
  962. Rotate(K_1, 72°, i_{16}) → P_{16}
  963. Rotate(S_1, 72°, i_{16}) → Q_{16}
  964. Segment(P_{16}, Q_{16}) → e_{16}
  965. Rotate(M_1, 72°, i_{16}) → R_{16}
  966. Rotate(I_1, 72°, i_{16}) → S_{16}
  967. Segment(R_{16}, S_{16}) → f_{17}
  968. Rotate(N_1, 72°, i_{16}) → T_{16}
  969. Rotate(I_1, 72°, i_{16}) → U_{16}
  970. Segment(T_{16}, U_{16}) → g_{17}
  971. Rotate(R_{16}, 72°, i_{16}) → V_{16}
  972. Rotate(S_{16}, 72°, i_{16}) → W_{16}
  973. Segment(V_{16}, W_{16}) → h_{17}
  974. Rotate(T_{16}, 72°, i_{16}) → Z_{16}
  975. Rotate(U_{16}, 72°, i_{16}) → A_{17}
  976. Segment(Z_{16}, A_{17}) → i_{17}
  977. Rotate(L_{16}, 72°, i_{16}) → B_{17}
  978. Rotate(M_{16}, 72°, i_{16}) → C_{17}
  979. Segment(B_{17}, C_{17}) → j_{17}
  980. Rotate(N_{16}, 72°, i_{16}) → D_{17}
  981. Rotate(O_{16}, 72°, i_{16}) → E_{17}
  982. Segment(D_{17}, E_{17}) → k_{17}
  983. Rotate(P_{16}, 72°, i_{16}) → F_{17}
  984. Rotate(Q_{16}, 72°, i_{16}) → G_{17}
  985. Segment(F_{17}, G_{17}) → l_{17}
  986. Rotate(W_1, 72°, i_{16}) → H_{17}
  987. Rotate(V_1, 72°, i_{16}) → I_{17}
  988. Segment(H_{17}, I_{17}) → m_{17}
  989. Rotate(H_{17}, 72°, i_{16}) → J_{17}
  990. Rotate(I_{17}, 72°, i_{16}) → K_{17}
  991. Segment(J_{17}, K_{17}) → n_{17}
  992. Rotate(I_1, 72°, i_{16}) → L_{17}
  993. Rotate(W_1, 72°, i_{16}) → M_{17}
  994. Segment(L_{17}, M_{17}) → p_{17}
  995. Rotate(V_1, 72°, i_{16}) → N_{17}
  996. Rotate(I_1, 72°, i_{16}) → O_{17}
  997. Segment(N_{17}, O_{17}) → q_{17}
  998. Rotate(G_1, 72°, i_{16}) → P_{17}
  999. Rotate(M_1, 72°, i_{16}) → Q_{17}
  1000. Segment(P_{17}, Q_{17}) → r_{17}
  1001. Rotate(G_1, 72°, i_{16}) → R_{17}
  1002. Rotate(I_1, 72°, i_{16}) → S_{17}
  1003. Segment(R_{17}, S_{17}) → s_{17}
  1004. Rotate(I_1, 72°, i_{16}) → T_{17}
  1005. Rotate(K_1, 72°, i_{16}) → U_{17}
  1006. Segment(T_{17}, U_{17}) → t_{17}
  1007. Rotate(K_1, 72°, i_{16}) → V_{17}
  1008. Rotate(N_1, 72°, i_{16}) → W_{17}
  1009. Segment(V_{17}, W_{17}) → a_{17}
  1010. Rotate(A_2, 72°, i_{16}) → Z_{17}
  1011. Rotate(Z_1, 72°, i_{16}) → A_{18}
  1012. Segment(Z_{17}, A_{18}) → b_{17}
  1013. Rotate(A_2, 72°, i_{16}) → B_{18}
  1014. Rotate(G_1, 72°, i_{16}) → C_{18}
  1015. Segment(B_{18}, C_{18}) → c_{17}
  1016. Rotate(G_1, 72°, i_{16}) → D_{18}
  1017. Rotate(L_1, 72°, i_{16}) → E_{18}
  1018. Segment(D_{18}, E_{18}) → d_{17}
  1019. Rotate(L_1, 72°, i_{16}) → F_{18}
  1020. Rotate(K_1, 72°, i_{16}) → G_{18}
  1021. Segment(F_{18}, G_{18}) → e_{17}
  1022. Rotate(B_2, 72°, i_{16}) → H_{18}
  1023. Rotate(K_1, 72°, i_{16}) → I_{18}
  1024. Segment(H_{18}, I_{18}) → f_{18}
  1025. Rotate(B_2, 72°, i_{16}) → J_{18}
  1026. Rotate(S_1, 72°, i_{16}) → K_{18}
  1027. Segment(J_{18}, K_{18}) → g_{18}
  1028. Rotate(L_{17}, 72°, i_{16}) → L_{18}
  1029. Rotate(M_{17}, 72°, i_{16}) → M_{18}
  1030. Segment(L_{18}, M_{18}) → h_{18}
  1031. Rotate(N_{17}, 72°, i_{16}) → N_{18}
  1032. Rotate(O_{17}, 72°, i_{16}) → O_{18}
  1033. Segment(N_{18}, O_{18}) → i_{18}
  1034. Rotate(P_{17}, 72°, i_{16}) → P_{18}
  1035. Rotate(Q_{17}, 72°, i_{16}) → Q_{18}
  1036. Segment(P_{18}, Q_{18}) → j_{18}
  1037. Rotate(R_{17}, 72°, i_{16}) → R_{18}
  1038. Rotate(S_{17}, 72°, i_{16}) → S_{18}
  1039. Segment(R_{18}, S_{18}) → k_{18}
  1040. Rotate(T_{17}, 72°, i_{16}) → T_{18}
  1041. Rotate(U_{17}, 72°, i_{16}) → U_{18}
  1042. Segment(T_{18}, U_{18}) → l_{18}
  1043. Rotate(V_{17}, 72°, i_{16}) → V_{18}
  1044. Rotate(W_{17}, 72°, i_{16}) → W_{18}
  1045. Segment(V_{18}, W_{18}) → m_{18}
  1046. Rotate(Z_{17}, 72°, i_{16}) → Z_{18}
  1047. Rotate(A_{18}, 72°, i_{16}) → A_{19}
  1048. Segment(Z_{18}, A_{19}) → n_{18}
  1049. Rotate(B_{18}, 72°, i_{16}) → B_{19}
  1050. Rotate(C_{18}, 72°, i_{16}) → C_{19}
  1051. Segment(B_{19}, C_{19}) → p_{18}
  1052. Rotate(D_{18}, 72°, i_{16}) → D_{19}
  1053. Rotate(E_{18}, 72°, i_{16}) → E_{19}
  1054. Segment(D_{19}, E_{19}) → q_{18}
  1055. Rotate(F_{18}, 72°, i_{16}) → F_{19}
  1056. Rotate(G_{18}, 72°, i_{16}) → G_{19}
  1057. Segment(F_{19}, G_{19}) → r_{18}
  1058. Rotate(H_{18}, 72°, i_{16}) → H_{19}
  1059. Rotate(I_{18}, 72°, i_{16}) → I_{19}
  1060. Segment(H_{19}, I_{19}) → s_{18}
  1061. Rotate(J_{18}, 72°, i_{16}) → J_{19}
  1062. Rotate(K_{18}, 72°, i_{16}) → K_{19}
  1063. Segment(J_{19}, K_{19}) → t_{18}
  1064. Ray(O, N'_3) → a_{18}
  1065. Rotate(O_5, 72°, a_{18}) → L_{19}
  1066. Rotate(P_5, 72°, a_{18}) → M_{19}
  1067. Segment(L_{19}, M_{19}) → r_{5_i}
  1068. Rotate(Q_5, 72°, a_{18}) → N_{19}
  1069. Rotate(R_5, 72°, a_{18}) → O_{19}
  1070. Segment(N_{19}, O_{19}) → r_{6_i}
  1071. Rotate(S_5, 72°, a_{18}) → P_{19}
  1072. Rotate(T_5, 72°, a_{18}) → Q_{19}
  1073. Segment(P_{19}, Q_{19}) → r_{7_i}
  1074. Rotate(M'', 72°, a_{18}) → M'''
  1075. Rotate(W_5, 72°, a_{18}) → R_{19}
  1076. Segment(M''', R_{19}) → e_{18}
  1077. Rotate(F_9, 72°, a_{18}) → S_{19}
  1078. Rotate(G_9, 72°, a_{18}) → T_{19}
  1079. Segment(S_{19}, T_{19}) → r_{5_j}
  1080. Rotate(J_9, 72°, a_{18}) → U_{19}
  1081. Rotate(K_9, 72°, a_{18}) → V_{19}
  1082. Segment(U_{19}, V_{19}) → r_{6_j}
  1083. Rotate(L_9, 72°, a_{18}) → W_{19}
  1084. Rotate(M_9, 72°, a_{18}) → Z_{19}
  1085. Segment(W_{19}, Z_{19}) → r_{7_j}
  1086. Rotate(N_9, 72°, a_{18}) → A_{20}
  1087. Rotate(O_9, 72°, a_{18}) → B_{20}
  1088. Segment(A_{20}, B_{20}) → i_{19}
  1089. Rotate(H_9, 72°, a_{18}) → C_{20}
  1090. Rotate(I_9, 72°, a_{18}) → D_{20}
  1091. Segment(C_{20}, D_{20}) → j_{19}
  1092. Rotate(D_9, 72°, a_{18}) → E_{20}
  1093. Rotate(E_9, 72°, a_{18}) → F_{20}
  1094. Segment(E_{20}, F_{20}) → k_{19}
  1095. Rotate(N_8, 72°, a_{18}) → G_{20}
  1096. Rotate(O_8, 72°, a_{18}) → H_{20}
  1097. Segment(G_{20}, H_{20}) → l_{19}
  1098. Rotate(L_8, 72°, a_{18}) → I_{20}
  1099. Rotate(M_8, 72°, a_{18}) → J_{20}
  1100. Segment(I_{20}, J_{20}) → m_{19}
  1101. Rotate(B_9, 72°, a_{18}) → K_{20}
  1102. Rotate(C_9, 72°, a_{18}) → L_{20}
  1103. Segment(K_{20}, L_{20}) → n_{19}
  1104. Rotate(D_8, 72°, a_{18}) → M_{20}
  1105. Rotate(E_8, 72°, a_{18}) → N_{20}
  1106. Segment(M_{20}, N_{20}) → p_{19}
  1107. Rotate(J_8, 72°, a_{18}) → O_{20}
  1108. Rotate(K_8, 72°, a_{18}) → P_{20}
  1109. Segment(O_{20}, P_{20}) → q_{19}
  1110. Rotate(P_8, 72°, a_{18}) → Q_{20}
  1111. Rotate(Q_8, 72°, a_{18}) → R_{20}
  1112. Segment(Q_{20}, R_{20}) → r_{19}
  1113. Rotate(Z_8, 72°, a_{18}) → S_{20}
  1114. Rotate(A_9, 72°, a_{18}) → T_{20}
  1115. Segment(S_{20}, T_{20}) → s_{19}
  1116. Rotate(V_8, 72°, a_{18}) → U_{20}
  1117. Rotate(W_8, 72°, a_{18}) → V_{20}
  1118. Segment(U_{20}, V_{20}) → t_{19}
  1119. Rotate(H_8, 72°, a_{18}) → W_{20}
  1120. Rotate(I_8, 72°, a_{18}) → Z_{20}
  1121. Segment(W_{20}, Z_{20}) → a_{19}
  1122. Rotate(Z_7, 72°, a_{18}) → A_{21}
  1123. Rotate(A_8, 72°, a_{18}) → B_{21}
  1124. Segment(A_{21}, B_{21}) → b_{19}
  1125. Rotate(T_7, 72°, a_{18}) → C_{21}
  1126. Rotate(U_7, 72°, a_{18}) → D_{21}
  1127. Segment(C_{21}, D_{21}) → c_{19}
  1128. Rotate(V_7, 72°, a_{18}) → E_{21}
  1129. Rotate(W_7, 72°, a_{18}) → F_{21}
  1130. Segment(E_{21}, F_{21}) → d_{19}
  1131. Rotate(B_8, 72°, a_{18}) → G_{21}
  1132. Rotate(C_8, 72°, a_{18}) → H_{21}
  1133. Segment(G_{21}, H_{21}) → e_{19}
  1134. Rotate(F_8, 72°, a_{18}) → I_{21}
  1135. Rotate(G_8, 72°, a_{18}) → J_{21}
  1136. Segment(I_{21}, J_{21}) → f_{20}
  1137. Rotate(R_8, 72°, a_{18}) → K_{21}
  1138. Rotate(S_8, 72°, a_{18}) → L_{21}
  1139. Segment(K_{21}, L_{21}) → g_{20}
  1140. Rotate(T_8, 72°, a_{18}) → M_{21}
  1141. Rotate(U_8, 72°, a_{18}) → N_{21}
  1142. Segment(M_{21}, N_{21}) → h_{20}
  1143. Rotate(C_{20}, 72°, a_{18}) → O_{21}
  1144. Rotate(D_{20}, 72°, a_{18}) → P_{21}
  1145. Segment(O_{21}, P_{21}) → i_{20}
  1146. Rotate(G_{20}, 72°, a_{18}) → Q_{21}
  1147. Rotate(H_{20}, 72°, a_{18}) → R_{21}
  1148. Segment(Q_{21}, R_{21}) → j_{20}
  1149. Rotate(E_{20}, 72°, a_{18}) → S_{21}
  1150. Rotate(F_{20}, 72°, a_{18}) → T_{21}
  1151. Segment(S_{21}, T_{21}) → k_{20}
  1152. Rotate(I_{20}, 72°, a_{18}) → U_{21}
  1153. Rotate(J_{20}, 72°, a_{18}) → V_{21}
  1154. Segment(U_{21}, V_{21}) → l_{20}
  1155. Rotate(K_{20}, 72°, a_{18}) → W_{21}
  1156. Rotate(L_{20}, 72°, a_{18}) → Z_{21}
  1157. Segment(W_{21}, Z_{21}) → m_{20}
  1158. Rotate(M_{20}, 72°, a_{18}) → A_{22}
  1159. Rotate(N_{20}, 72°, a_{18}) → B_{22}
  1160. Segment(A_{22}, B_{22}) → n_{20}
  1161. Rotate(O_{20}, 72°, a_{18}) → C_{22}
  1162. Rotate(P_{20}, 72°, a_{18}) → D_{22}
  1163. Segment(C_{22}, D_{22}) → p_{20}
  1164. Rotate(Q_{20}, 72°, a_{18}) → E_{22}
  1165. Rotate(R_{20}, 72°, a_{18}) → F_{22}
  1166. Segment(E_{22}, F_{22}) → q_{20}
  1167. Rotate(W_{20}, 72°, a_{18}) → G_{22}
  1168. Rotate(Z_{20}, 72°, a_{18}) → H_{22}
  1169. Segment(G_{22}, H_{22}) → r_{20}
  1170. Rotate(A_{21}, 72°, a_{18}) → I_{22}
  1171. Rotate(B_{21}, 72°, a_{18}) → J_{22}
  1172. Segment(I_{22}, J_{22}) → s_{20}
  1173. Rotate(U_{20}, 72°, a_{18}) → K_{22}
  1174. Rotate(V_{20}, 72°, a_{18}) → L_{22}
  1175. Segment(K_{22}, L_{22}) → t_{20}
  1176. Rotate(C_{21}, 72°, a_{18}) → M_{22}
  1177. Rotate(D_{21}, 72°, a_{18}) → N_{22}
  1178. Segment(M_{22}, N_{22}) → a_{20}
  1179. Rotate(E_{21}, 72°, a_{18}) → O_{22}
  1180. Rotate(F_{21}, 72°, a_{18}) → P_{22}
  1181. Segment(O_{22}, P_{22}) → b_{20}
  1182. Rotate(G_{21}, 72°, a_{18}) → Q_{22}
  1183. Rotate(H_{21}, 72°, a_{18}) → R_{22}
  1184. Segment(Q_{22}, R_{22}) → c_{20}
  1185. Rotate(I_{21}, 72°, a_{18}) → S_{22}
  1186. Rotate(J_{21}, 72°, a_{18}) → T_{22}
  1187. Segment(S_{22}, T_{22}) → d_{20}
  1188. Rotate(K_{21}, 72°, a_{18}) → U_{22}
  1189. Rotate(L_{21}, 72°, a_{18}) → V_{22}
  1190. Segment(U_{22}, V_{22}) → e_{20}
  1191. Rotate(M_{21}, 72°, a_{18}) → W_{22}
  1192. Rotate(N_{21}, 72°, a_{18}) → Z_{22}
  1193. Segment(W_{22}, Z_{22}) → f_{21}
  1194. Rotate(L_{19}, 72°, a_{18}) → A_{23}
  1195. Rotate(M_{19}, 72°, a_{18}) → B_{23}
  1196. Segment(A_{23}, B_{23}) → g_{21}
  1197. Rotate(N_{19}, 72°, a_{18}) → C_{23}
  1198. Rotate(O_{19}, 72°, a_{18}) → D_{23}
  1199. Segment(C_{23}, D_{23}) → h_{21}
  1200. Rotate(P_{19}, 72°, a_{18}) → E_{23}
  1201. Rotate(Q_{19}, 72°, a_{18}) → F_{23}
  1202. Segment(E_{23}, F_{23}) → i_{21}
  1203. Rotate(M''', 72°, a_{18}) → G_{23}
  1204. Rotate(R_{19}, 72°, a_{18}) → H_{23}
  1205. Segment(G_{23}, H_{23}) → j_{21}
  1206. Rotate(S_{20}, 72°, a_{18}) → I_{23}
  1207. Rotate(T_{20}, 72°, a_{18}) → J_{23}
  1208. Segment(I_{23}, J_{23}) → k_{21}
  1209. Ray(O, H_{15}) → l_{21}
  1210. Rotate(P_{11}, 72°, l_{21}) → K_{23}
  1211. Rotate(Q_{11}, 72°, l_{21}) → L_{23}
  1212. Segment(K_{23}, L_{23}) → m_{21}
  1213. Rotate(R_{11}, 72°, l_{21}) → M_{23}
  1214. Rotate(S_{11}, 72°, l_{21}) → N_{23}
  1215. Segment(M_{23}, N_{23}) → n_{21}
  1216. Rotate(T_{11}, 72°, l_{21}) → O_{23}
  1217. Rotate(U_{11}, 72°, l_{21}) → P_{23}
  1218. Segment(O_{23}, P_{23}) → p_{21}
  1219. Rotate(V_{11}, 72°, l_{21}) → Q_{23}
  1220. Rotate(W_{11}, 72°, l_{21}) → R_{23}
  1221. Segment(Q_{23}, R_{23}) → q_{21}
  1222. Rotate(N_{15}, 72°, l_{21}) → S_{23}
  1223. Rotate(O_{15}, 72°, l_{21}) → T_{23}
  1224. Segment(S_{23}, T_{23}) → r_{21}
  1225. Rotate(L_{15}, 72°, l_{21}) → U_{23}
  1226. Rotate(M_{15}, 72°, l_{21}) → V_{23}
  1227. Segment(U_{23}, V_{23}) → r_{7_g}
  1228. Rotate(J_{15}, 72°, l_{21}) → W_{23}
  1229. Rotate(K_{15}, 72°, l_{21}) → Z_{23}
  1230. Segment(W_{23}, Z_{23}) → r_{6_g}
  1231. Rotate(H_{15}, 72°, l_{21}) → A_{24}
  1232. Rotate(I_{15}, 72°, l_{21}) → B_{24}
  1233. Segment(A_{24}, B_{24}) → r_{5_g}
  1234. Rotate(F_{15}, 72°, l_{21}) → C_{24}
  1235. Rotate(G_{15}, 72°, l_{21}) → D_{24}
  1236. Segment(C_{24}, D_{24}) → b_{21}
  1237. Rotate(R_{14}, 72°, l_{21}) → E_{24}
  1238. Rotate(S_{14}, 72°, l_{21}) → F_{24}
  1239. Segment(E_{24}, F_{24}) → c_{21}
  1240. Rotate(D_{15}, 72°, l_{21}) → G_{24}
  1241. Rotate(E_{15}, 72°, l_{21}) → H_{24}
  1242. Segment(G_{24}, H_{24}) → d_{21}
  1243. Rotate(L_{14}, 72°, l_{21}) → I_{24}
  1244. Rotate(M_{14}, 72°, l_{21}) → J_{24}
  1245. Segment(I_{24}, J_{24}) → e_{21}
  1246. Rotate(B_{15}, 72°, l_{21}) → K_{24}
  1247. Rotate(C_{15}, 72°, l_{21}) → L_{24}
  1248. Segment(K_{24}, L_{24}) → f_{22}
  1249. Rotate(D_{14}, 72°, l_{21}) → M_{24}
  1250. Rotate(E_{14}, 72°, l_{21}) → N_{24}
  1251. Segment(M_{24}, N_{24}) → g_{22}
  1252. Rotate(H_{14}, 72°, l_{21}) → O_{24}
  1253. Rotate(I_{14}, 72°, l_{21}) → P_{24}
  1254. Segment(O_{24}, P_{24}) → h_{22}
  1255. Rotate(J_{14}, 72°, l_{21}) → Q_{24}
  1256. Rotate(K_{14}, 72°, l_{21}) → R_{24}
  1257. Segment(Q_{24}, R_{24}) → i_{22}
  1258. Rotate(Z_{14}, 72°, l_{21}) → S_{24}
  1259. Rotate(A_{15}, 72°, l_{21}) → T_{24}
  1260. Segment(S_{24}, T_{24}) → j_{22}
  1261. Rotate(V_{14}, 72°, l_{21}) → U_{24}
  1262. Rotate(W_{14}, 72°, l_{21}) → V_{24}
  1263. Segment(U_{24}, V_{24}) → k_{22}
  1264. Rotate(F_{14}, 72°, l_{21}) → W_{24}
  1265. Rotate(G_{14}, 72°, l_{21}) → Z_{24}
  1266. Segment(W_{24}, Z_{24}) → l_{22}
  1267. Rotate(V_{13}, 72°, l_{21}) → A_{25}
  1268. Rotate(W_{13}, 72°, l_{21}) → B_{25}
  1269. Segment(A_{25}, B_{25}) → m_{22}
  1270. Rotate(T_{13}, 72°, l_{21}) → C_{25}
  1271. Rotate(U_{13}, 72°, l_{21}) → D_{25}
  1272. Segment(C_{25}, D_{25}) → n_{22}
  1273. Rotate(Z_{13}, 72°, l_{21}) → E_{25}
  1274. Rotate(A_{14}, 72°, l_{21}) → F_{25}
  1275. Segment(E_{25}, F_{25}) → p_{22}
  1276. Rotate(B_{14}, 72°, l_{21}) → G_{25}
  1277. Rotate(C_{14}, 72°, l_{21}) → H_{25}
  1278. Segment(G_{25}, H_{25}) → q_{22}
  1279. Rotate(N_{14}, 72°, l_{21}) → I_{25}
  1280. Rotate(O_{14}, 72°, l_{21}) → J_{25}
  1281. Segment(I_{25}, J_{25}) → r_{22}
  1282. Rotate(P_{14}, 72°, l_{21}) → K_{25}
  1283. Rotate(Q_{14}, 72°, l_{21}) → L_{25}
  1284. Segment(K_{25}, L_{25}) → s_{22}
  1285. Rotate(T_{14}, 72°, l_{21}) → M_{25}
  1286. Rotate(U_{14}, 72°, l_{21}) → N_{25}
  1287. Segment(M_{25}, N_{25}) → t_{22}
  1288. Rotate(C_{24}, 72°, l_{21}) → O_{25}
  1289. Rotate(D_{24}, 72°, l_{21}) → P_{25}
  1290. Segment(O_{25}, P_{25}) → a_{22}
  1291. Rotate(E_{24}, 72°, l_{21}) → Q_{25}
  1292. Rotate(F_{24}, 72°, l_{21}) → R_{25}
  1293. Segment(Q_{25}, R_{25}) → b_{22}
  1294. Rotate(G_{24}, 72°, l_{21}) → S_{25}
  1295. Rotate(H_{24}, 72°, l_{21}) → T_{25}
  1296. Segment(S_{25}, T_{25}) → c_{22}
  1297. Rotate(I_{24}, 72°, l_{21}) → U_{25}
  1298. Rotate(J_{24}, 72°, l_{21}) → V_{25}
  1299. Segment(U_{25}, V_{25}) → d_{22}
  1300. Rotate(K_{24}, 72°, l_{21}) → W_{25}
  1301. Rotate(L_{24}, 72°, l_{21}) → Z_{25}
  1302. Segment(W_{25}, Z_{25}) → e_{22}
  1303. Rotate(M_{24}, 72°, l_{21}) → A_{26}
  1304. Rotate(N_{24}, 72°, l_{21}) → B_{26}
  1305. Segment(A_{26}, B_{26}) → f_{23}
  1306. Rotate(O_{24}, 72°, l_{21}) → C_{26}
  1307. Rotate(P_{24}, 72°, l_{21}) → D_{26}
  1308. Segment(C_{26}, D_{26}) → g_{23}
  1309. Rotate(Q_{24}, 72°, l_{21}) → E_{26}
  1310. Rotate(R_{24}, 72°, l_{21}) → F_{26}
  1311. Segment(E_{26}, F_{26}) → h_{23}
  1312. Rotate(W_{24}, 72°, l_{21}) → G_{26}
  1313. Rotate(Z_{24}, 72°, l_{21}) → H_{26}
  1314. Segment(G_{26}, H_{26}) → i_{23}
  1315. Rotate(S_{24}, 72°, l_{21}) → I_{26}
  1316. Rotate(T_{24}, 72°, l_{21}) → J_{26}
  1317. Segment(I_{26}, J_{26}) → j_{23}
  1318. Rotate(I_{25}, 72°, l_{21}) → K_{26}
  1319. Rotate(J_{25}, 72°, l_{21}) → L_{26}
  1320. Segment(K_{26}, L_{26}) → k_{23}
  1321. Rotate(G_{25}, 72°, l_{21}) → M_{26}
  1322. Rotate(H_{25}, 72°, l_{21}) → N_{26}
  1323. Segment(M_{26}, N_{26}) → l_{23}
  1324. Rotate(K_{23}, 72°, l_{21}) → O_{26}
  1325. Rotate(L_{23}, 72°, l_{21}) → P_{26}
  1326. Segment(O_{26}, P_{26}) → m_{23}
  1327. Rotate(M_{23}, 72°, l_{21}) → Q_{26}
  1328. Rotate(N_{23}, 72°, l_{21}) → R_{26}
  1329. Segment(Q_{26}, R_{26}) → r_{7_h}
  1330. Rotate(O_{23}, 72°, l_{21}) → S_{26}
  1331. Rotate(P_{23}, 72°, l_{21}) → T_{26}
  1332. Segment(S_{26}, T_{26}) → r_{6_h}
  1333. Rotate(Q_{23}, 72°, l_{21}) → U_{26}
  1334. Rotate(R_{23}, 72°, l_{21}) → V_{26}
  1335. Segment(U_{26}, V_{26}) → r_{5_h}
  1336. Rotate(U_{24}, 72°, l_{21}) → W_{26}
  1337. Rotate(V_{24}, 72°, l_{21}) → Z_{26}
  1338. Segment(W_{26}, Z_{26}) → r_{23}
  1339. Rotate(M_{25}, 72°, l_{21}) → A_{27}
  1340. Rotate(N_{25}, 72°, l_{21}) → B_{27}
  1341. Segment(A_{27}, B_{27}) → s_{23}
  1342. Rotate(K_{25}, 72°, l_{21}) → C_{27}
  1343. Rotate(L_{25}, 72°, l_{21}) → D_{27}
  1344. Segment(C_{27}, D_{27}) → t_{23}
  1345. Rotate(C_{25}, 72°, l_{21}) → E_{27}
  1346. Rotate(D_{25}, 72°, l_{21}) → F_{27}
  1347. Segment(E_{27}, F_{27}) → a_{23}
  1348. Rotate(A_{25}, 72°, l_{21}) → G_{27}
  1349. Rotate(B_{25}, 72°, l_{21}) → H_{27}
  1350. Segment(G_{27}, H_{27}) → b_{23}
  1351. Rotate(E_{25}, 72°, l_{21}) → I_{27}
  1352. Rotate(F_{25}, 72°, l_{21}) → J_{27}
  1353. Segment(I_{27}, J_{27}) → c_{23}
  1354. Ray(O, L_{19}) → d_{23}
  1355. Rotate(A_{27}, 72°, d_{23}) → K_{27}
  1356. Rotate(B_{27}, 72°, d_{23}) → L_{27}
  1357. Segment(K_{27}, L_{27}) → e_{23}
  1358. Rotate(W_{26}, 72°, d_{23}) → M_{27}
  1359. Rotate(Z_{26}, 72°, d_{23}) → N_{27}
  1360. Segment(M_{27}, N_{27}) → f_{24}
  1361. Rotate(C_{27}, 72°, d_{23}) → O_{27}
  1362. Rotate(D_{27}, 72°, d_{23}) → P_{27}
  1363. Segment(O_{27}, P_{27}) → g_{24}
  1364. Rotate(I_{26}, 72°, d_{23}) → Q_{27}
  1365. Rotate(J_{26}, 72°, d_{23}) → R_{27}
  1366. Segment(Q_{27}, R_{27}) → h_{24}
  1367. Rotate(K_{26}, 72°, d_{23}) → S_{27}
  1368. Rotate(L_{26}, 72°, d_{23}) → T_{27}
  1369. Segment(S_{27}, T_{27}) → i_{24}
  1370. Rotate(W_{25}, 72°, d_{23}) → U_{27}
  1371. Rotate(Z_{25}, 72°, d_{23}) → V_{27}
  1372. Segment(U_{27}, V_{27}) → j_{24}
  1373. Rotate(E_{26}, 72°, d_{23}) → W_{27}
  1374. Rotate(F_{26}, 72°, d_{23}) → Z_{27}
  1375. Segment(W_{27}, Z_{27}) → k_{24}
  1376. Rotate(G_{26}, 72°, d_{23}) → A_{28}
  1377. Rotate(H_{26}, 72°, d_{23}) → B_{28}
  1378. Segment(A_{28}, B_{28}) → l_{24}
  1379. Rotate(M_{26}, 72°, d_{23}) → C_{28}
  1380. Rotate(N_{26}, 72°, d_{23}) → D_{28}
  1381. Segment(C_{28}, D_{28}) → m_{24}
  1382. Rotate(I_{27}, 72°, d_{23}) → E_{28}
  1383. Rotate(J_{27}, 72°, d_{23}) → F_{28}
  1384. Segment(E_{28}, F_{28}) → n_{24}
  1385. Rotate(C_{26}, 72°, d_{23}) → G_{28}
  1386. Rotate(D_{26}, 72°, d_{23}) → H_{28}
  1387. Segment(G_{28}, H_{28}) → p_{24}
  1388. Rotate(S_{25}, 72°, d_{23}) → I_{28}
  1389. Rotate(T_{25}, 72°, d_{23}) → J_{28}
  1390. Segment(I_{28}, J_{28}) → q_{24}
  1391. Rotate(E_{27}, 72°, d_{23}) → K_{28}
  1392. Rotate(F_{27}, 72°, d_{23}) → L_{28}
  1393. Segment(K_{28}, L_{28}) → r_{24}
  1394. Rotate(G_{27}, 72°, d_{23}) → M_{28}
  1395. Rotate(H_{27}, 72°, d_{23}) → N_{28}
  1396. Segment(M_{28}, N_{28}) → s_{24}
  1397. Rotate(A_{26}, 72°, d_{23}) → O_{28}
  1398. Rotate(B_{26}, 72°, d_{23}) → P_{28}
  1399. Segment(O_{28}, P_{28}) → t_{24}
  1400. Rotate(U_{25}, 72°, d_{23}) → Q_{28}
  1401. Rotate(V_{25}, 72°, d_{23}) → R_{28}
  1402. Segment(Q_{28}, R_{28}) → a_{24}
  1403. Rotate(Q_{25}, 72°, d_{23}) → S_{28}
  1404. Rotate(R_{25}, 72°, d_{23}) → T_{28}
  1405. Segment(S_{28}, T_{28}) → b_{24}
  1406. Rotate(O_{25}, 72°, d_{23}) → U_{28}
  1407. Rotate(P_{25}, 72°, d_{23}) → V_{28}
  1408. Segment(U_{28}, V_{28}) → c_{24}
  1409. Rotate(A_{24}, 72°, d_{23}) → W_{28}
  1410. Rotate(B_{24}, 72°, d_{23}) → Z_{28}
  1411. Segment(W_{28}, Z_{28}) → d_{24}
  1412. Rotate(W_{23}, 72°, d_{23}) → A_{29}
  1413. Rotate(Z_{23}, 72°, d_{23}) → B_{29}
  1414. Segment(A_{29}, B_{29}) → e_{24}
  1415. Rotate(U_{23}, 72°, d_{23}) → C_{29}
  1416. Rotate(V_{23}, 72°, d_{23}) → D_{29}
  1417. Segment(C_{29}, D_{29}) → f_{25}
  1418. Rotate(S_{23}, 72°, d_{23}) → E_{29}
  1419. Rotate(T_{23}, 72°, d_{23}) → F_{29}
  1420. Segment(E_{29}, F_{29}) → g_{25}
  1421. Plane(Q_{23}, O, K_{23}) → o_4
  1422. Mirror(H_{15}, o_4) → G_{29}
  1423. Mirror(I_{15}, o_4) → H_{29}
  1424. Segment(G_{29}, H_{29}) → h_{25}
  1425. Mirror(A_{24}, o_4) → I_{29}
  1426. Mirror(B_{24}, o_4) → J_{29}
  1427. Segment(I_{29}, J_{29}) → i_{25}
  1428. Mirror(C_{24}, o_4) → K_{29}
  1429. Mirror(D_{24}, o_4) → L_{29}
  1430. Segment(K_{29}, L_{29}) → j_{25}
  1431. Mirror(J_{15}, o_4) → M_{29}
  1432. Mirror(K_{15}, o_4) → N_{29}
  1433. Segment(M_{29}, N_{29}) → k_{25}
  1434. Mirror(L_{15}, o_4) → O_{29}
  1435. Mirror(M_{15}, o_4) → P_{29}
  1436. Segment(O_{29}, P_{29}) → l_{25}
  1437. Mirror(N_{15}, o_4) → Q_{29}
  1438. Mirror(O_{15}, o_4) → R_{29}
  1439. Segment(Q_{29}, R_{29}) → m_{25}
  1440. Mirror(A_{25}, o_4) → S_{29}
  1441. Mirror(B_{25}, o_4) → T_{29}
  1442. Segment(S_{29}, T_{29}) → n_{25}
  1443. Mirror(W_{24}, o_4) → U_{29}
  1444. Mirror(Z_{24}, o_4) → V_{29}
  1445. Segment(U_{29}, V_{29}) → p_{25}
  1446. Mirror(U_{24}, o_4) → W_{29}
  1447. Mirror(V_{24}, o_4) → Z_{29}
  1448. Segment(W_{29}, Z_{29}) → q_{25}
  1449. Mirror(S_{23}, o_4) → A_{30}
  1450. Mirror(T_{23}, o_4) → B_{30}
  1451. Segment(A_{30}, B_{30}) → r_{25}
  1452. Mirror(E_{25}, o_4) → C_{30}
  1453. Mirror(F_{25}, o_4) → D_{30}
  1454. Segment(C_{30}, D_{30}) → s_{25}
  1455. Mirror(C_{25}, o_4) → E_{30}
  1456. Mirror(D_{25}, o_4) → F_{30}
  1457. Segment(E_{30}, F_{30}) → t_{25}
  1458. Mirror(I_{25}, o_4) → G_{30}
  1459. Mirror(J_{25}, o_4) → H_{30}
  1460. Segment(G_{30}, H_{30}) → a_{25}
  1461. Mirror(G_{25}, o_4) → I_{30}
  1462. Mirror(H_{25}, o_4) → J_{30}
  1463. Segment(I_{30}, J_{30}) → b_{25}
  1464. Mirror(M_{25}, o_4) → K_{30}
  1465. Mirror(N_{25}, o_4) → L_{30}
  1466. Segment(K_{30}, L_{30}) → c_{25}
  1467. Mirror(K_{25}, o_4) → M_{30}
  1468. Mirror(L_{25}, o_4) → N_{30}
  1469. Segment(M_{30}, N_{30}) → d_{25}
  1470. Mirror(U_{23}, o_4) → O_{30}
  1471. Mirror(V_{23}, o_4) → P_{30}
  1472. Segment(O_{30}, P_{30}) → e_{25}
  1473. Mirror(W_{23}, o_4) → Q_{30}
  1474. Mirror(Z_{23}, o_4) → R_{30}
  1475. Segment(Q_{30}, R_{30}) → f_{26}
  1476. Mirror(S_{24}, o_4) → S_{30}
  1477. Mirror(T_{24}, o_4) → T_{30}
  1478. Segment(S_{30}, T_{30}) → g_{26}
  1479. Mirror(Q_{24}, o_4) → U_{30}
  1480. Mirror(R_{24}, o_4) → V_{30}
  1481. Segment(U_{30}, V_{30}) → h_{26}
  1482. Mirror(O_{24}, o_4) → W_{30}
  1483. Mirror(P_{24}, o_4) → Z_{30}
  1484. Segment(W_{30}, Z_{30}) → i_{26}
  1485. Mirror(M_{24}, o_4) → A_{31}
  1486. Mirror(N_{24}, o_4) → B_{31}
  1487. Segment(A_{31}, B_{31}) → j_{26}
  1488. Mirror(I_{24}, o_4) → C_{31}
  1489. Mirror(J_{24}, o_4) → D_{31}
  1490. Segment(C_{31}, D_{31}) → k_{26}
  1491. Mirror(K_{24}, o_4) → E_{31}
  1492. Mirror(L_{24}, o_4) → F_{31}
  1493. Segment(E_{31}, F_{31}) → l_{26}
  1494. Mirror(E_{24}, o_4) → G_{31}
  1495. Mirror(F_{24}, o_4) → H_{31}
  1496. Segment(G_{31}, H_{31}) → m_{26}
  1497. Mirror(G_{24}, o_4) → I_{31}
  1498. Mirror(H_{24}, o_4) → J_{31}
  1499. Segment(I_{31}, J_{31}) → n_{26}
  1500. Ray(O, I_{29}) → p_{26}
  1501. Rotate(K_{29}, 72°, p_{26}) → K_{31}
  1502. Rotate(L_{29}, 72°, p_{26}) → L_{31}
  1503. Segment(K_{31}, L_{31}) → q_{26}
  1504. Rotate(I_{31}, 72°, p_{26}) → M_{31}
  1505. Rotate(J_{31}, 72°, p_{26}) → N_{31}
  1506. Segment(M_{31}, N_{31}) → r_{26}
  1507. Rotate(G_{31}, 72°, p_{26}) → O_{31}
  1508. Rotate(H_{31}, 72°, p_{26}) → P_{31}
  1509. Segment(O_{31}, P_{31}) → s_{26}
  1510. Rotate(E_{31}, 72°, p_{26}) → Q_{31}
  1511. Rotate(F_{31}, 72°, p_{26}) → R_{31}
  1512. Segment(Q_{31}, R_{31}) → t_{26}
  1513. Rotate(C_{31}, 72°, p_{26}) → S_{31}
  1514. Rotate(D_{31}, 72°, p_{26}) → T_{31}
  1515. Segment(S_{31}, T_{31}) → a_{26}
  1516. Rotate(S_{30}, 72°, p_{26}) → U_{31}
  1517. Rotate(T_{30}, 72°, p_{26}) → V_{31}
  1518. Segment(U_{31}, V_{31}) → b_{26}
  1519. Rotate(U_{30}, 72°, p_{26}) → W_{31}
  1520. Rotate(V_{30}, 72°, p_{26}) → Z_{31}
  1521. Segment(W_{31}, Z_{31}) → c_{26}
  1522. Rotate(W_{30}, 72°, p_{26}) → A_{32}
  1523. Rotate(Z_{30}, 72°, p_{26}) → B_{32}
  1524. Segment(A_{32}, B_{32}) → d_{26}
  1525. Rotate(A_{31}, 72°, p_{26}) → C_{32}
  1526. Rotate(B_{31}, 72°, p_{26}) → D_{32}
  1527. Segment(C_{32}, D_{32}) → e_{26}
  1528. Rotate(U_{29}, 72°, p_{26}) → E_{32}
  1529. Rotate(V_{29}, 72°, p_{26}) → F_{32}
  1530. Segment(E_{32}, F_{32}) → f_{27}
  1531. Rotate(W_{29}, 72°, p_{26}) → G_{32}
  1532. Rotate(Z_{29}, 72°, p_{26}) → H_{32}
  1533. Segment(G_{32}, H_{32}) → g_{27}
  1534. Rotate(S_{29}, 72°, p_{26}) → I_{32}
  1535. Rotate(T_{29}, 72°, p_{26}) → J_{32}
  1536. Segment(I_{32}, J_{32}) → h_{27}
  1537. Rotate(G_{29}, 72°, p_{26}) → K_{32}
  1538. Rotate(H_{29}, 72°, p_{26}) → L_{32}
  1539. Segment(K_{32}, L_{32}) → i_{27}
  1540. Rotate(M_{29}, 72°, p_{26}) → M_{32}
  1541. Rotate(N_{29}, 72°, p_{26}) → N_{32}
  1542. Segment(M_{32}, N_{32}) → j_{27}
  1543. Rotate(O_{29}, 72°, p_{26}) → O_{32}
  1544. Rotate(P_{29}, 72°, p_{26}) → P_{32}
  1545. Segment(O_{32}, P_{32}) → k_{27}
  1546. Rotate(Q_{29}, 72°, p_{26}) → Q_{32}
  1547. Rotate(R_{29}, 72°, p_{26}) → R_{32}
  1548. Segment(Q_{32}, R_{32}) → l_{27}
  1549. Rotate(E_{30}, 72°, p_{26}) → S_{32}
  1550. Rotate(F_{30}, 72°, p_{26}) → T_{32}
  1551. Segment(S_{32}, T_{32}) → m_{27}
  1552. Rotate(C_{30}, 72°, p_{26}) → U_{32}
  1553. Rotate(D_{30}, 72°, p_{26}) → V_{32}
  1554. Segment(U_{32}, V_{32}) → n_{27}
  1555. Rotate(I_{30}, 72°, p_{26}) → W_{32}
  1556. Rotate(J_{30}, 72°, p_{26}) → Z_{32}
  1557. Segment(W_{32}, Z_{32}) → p_{27}
  1558. Rotate(G_{30}, 72°, p_{26}) → A_{33}
  1559. Rotate(H_{30}, 72°, p_{26}) → B_{33}
  1560. Segment(A_{33}, B_{33}) → q_{27}
  1561. Rotate(M_{30}, 72°, p_{26}) → C_{33}
  1562. Rotate(N_{30}, 72°, p_{26}) → D_{33}
  1563. Segment(C_{33}, D_{33}) → r_{27}
  1564. Rotate(K_{30}, 72°, p_{26}) → E_{33}
  1565. Rotate(L_{30}, 72°, p_{26}) → F_{33}
  1566. Segment(E_{33}, F_{33}) → s_{27}
  1567. Rotate(K_{29}, 144°, p_{26}) → G_{33}
  1568. Rotate(L_{29}, 144°, p_{26}) → H_{33}
  1569. Segment(G_{33}, H_{33}) → t_{27}
  1570. Rotate(I_{31}, 144°, p_{26}) → I_{33}
  1571. Rotate(J_{31}, 144°, p_{26}) → J_{33}
  1572. Segment(I_{33}, J_{33}) → a_{27}
  1573. Rotate(G_{31}, 144°, p_{26}) → K_{33}
  1574. Rotate(H_{31}, 144°, p_{26}) → L_{33}
  1575. Segment(K_{33}, L_{33}) → b_{27}
  1576. Rotate(G_{29}, 144°, p_{26}) → M_{33}
  1577. Rotate(H_{29}, 144°, p_{26}) → N_{33}
  1578. Segment(M_{33}, N_{33}) → c_{27}
  1579. Rotate(M_{29}, 144°, p_{26}) → O_{33}
  1580. Rotate(N_{29}, 144°, p_{26}) → P_{33}
  1581. Segment(O_{33}, P_{33}) → d_{27}
  1582. Rotate(O_{29}, 144°, p_{26}) → Q_{33}
  1583. Rotate(P_{29}, 144°, p_{26}) → R_{33}
  1584. Segment(Q_{33}, R_{33}) → e_{27}
  1585. Rotate(Q_{29}, 144°, p_{26}) → S_{33}
  1586. Rotate(R_{29}, 144°, p_{26}) → T_{33}
  1587. Segment(S_{33}, T_{33}) → f_{28}
  1588. Rotate(E_{31}, 144°, p_{26}) → U_{33}
  1589. Rotate(F_{31}, 144°, p_{26}) → V_{33}
  1590. Segment(U_{33}, V_{33}) → g_{28}
  1591. Rotate(U_{30}, 144°, p_{26}) → W_{33}
  1592. Rotate(V_{30}, 144°, p_{26}) → Z_{33}
  1593. Segment(W_{33}, Z_{33}) → h_{28}
  1594. Rotate(W_{30}, 144°, p_{26}) → A_{34}
  1595. Rotate(Z_{30}, 144°, p_{26}) → B_{34}
  1596. Segment(A_{34}, B_{34}) → i_{28}
  1597. Rotate(A_{31}, 144°, p_{26}) → C_{34}
  1598. Rotate(B_{31}, 144°, p_{26}) → D_{34}
  1599. Segment(C_{34}, D_{34}) → j_{28}
  1600. Rotate(C_{31}, 144°, p_{26}) → E_{34}
  1601. Rotate(D_{31}, 144°, p_{26}) → F_{34}
  1602. Segment(E_{34}, F_{34}) → k_{28}
  1603. Rotate(U_{29}, 144°, p_{26}) → G_{34}
  1604. Rotate(V_{29}, 144°, p_{26}) → H_{34}
  1605. Segment(G_{34}, H_{34}) → l_{28}
  1606. Rotate(S_{29}, 144°, p_{26}) → I_{34}
  1607. Rotate(T_{29}, 144°, p_{26}) → J_{34}
  1608. Segment(I_{34}, J_{34}) → m_{28}
  1609. Rotate(W_{29}, 144°, p_{26}) → K_{34}
  1610. Rotate(Z_{29}, 144°, p_{26}) → L_{34}
  1611. Segment(K_{34}, L_{34}) → n_{28}
  1612. Rotate(S_{30}, 144°, p_{26}) → M_{34}
  1613. Rotate(T_{30}, 144°, p_{26}) → N_{34}
  1614. Segment(M_{34}, N_{34}) → p_{28}
  1615. Rotate(K_{30}, 144°, p_{26}) → O_{34}
  1616. Rotate(L_{30}, 144°, p_{26}) → P_{34}
  1617. Segment(O_{34}, P_{34}) → q_{28}
  1618. Rotate(M_{30}, 144°, p_{26}) → Q_{34}
  1619. Rotate(N_{30}, 144°, p_{26}) → R_{34}
  1620. Segment(Q_{34}, R_{34}) → r_{28}
  1621. Rotate(G_{30}, 144°, p_{26}) → S_{34}
  1622. Rotate(H_{30}, 144°, p_{26}) → T_{34}
  1623. Segment(S_{34}, T_{34}) → s_{28}
  1624. Rotate(I_{30}, 144°, p_{26}) → U_{34}
  1625. Rotate(J_{30}, 144°, p_{26}) → V_{34}
  1626. Segment(U_{34}, V_{34}) → t_{28}
  1627. Rotate(C_{30}, 144°, p_{26}) → W_{34}
  1628. Rotate(D_{30}, 144°, p_{26}) → Z_{34}
  1629. Segment(W_{34}, Z_{34}) → a_{28}
  1630. Rotate(E_{30}, 144°, p_{26}) → A_{35}
  1631. Rotate(F_{30}, 144°, p_{26}) → B_{35}
  1632. Segment(A_{35}, B_{35}) → b_{28}
  1633. Rotate(K_{29}, 216°, p_{26}) → C_{35}
  1634. Rotate(L_{29}, 216°, p_{26}) → D_{35}
  1635. Segment(C_{35}, D_{35}) → c_{28}
  1636. Rotate(G_{29}, 216°, p_{26}) → E_{35}
  1637. Rotate(H_{29}, 216°, p_{26}) → F_{35}
  1638. Segment(E_{35}, F_{35}) → d_{28}
  1639. Rotate(M_{29}, 216°, p_{26}) → G_{35}
  1640. Rotate(N_{29}, 216°, p_{26}) → H_{35}
  1641. Segment(G_{35}, H_{35}) → e_{28}
  1642. Rotate(O_{29}, 216°, p_{26}) → I_{35}
  1643. Rotate(P_{29}, 216°, p_{26}) → J_{35}
  1644. Segment(I_{35}, J_{35}) → f_{29}
  1645. Rotate(Q_{29}, 216°, p_{26}) → K_{35}
  1646. Rotate(R_{29}, 216°, p_{26}) → L_{35}
  1647. Segment(K_{35}, L_{35}) → g_{29}
  1648. Rotate(E_{30}, 216°, p_{26}) → M_{35}
  1649. Rotate(F_{30}, 216°, p_{26}) → N_{35}
  1650. Segment(M_{35}, N_{35}) → h_{29}
  1651. Rotate(S_{29}, 216°, p_{26}) → O_{35}
  1652. Rotate(T_{29}, 216°, p_{26}) → P_{35}
  1653. Segment(O_{35}, P_{35}) → i_{29}
  1654. Rotate(A_{31}, 216°, p_{26}) → Q_{35}
  1655. Rotate(B_{31}, 216°, p_{26}) → R_{35}
  1656. Segment(Q_{35}, R_{35}) → j_{29}
  1657. Rotate(C_{31}, 216°, p_{26}) → S_{35}
  1658. Rotate(D_{31}, 216°, p_{26}) → T_{35}
  1659. Segment(S_{35}, T_{35}) → k_{29}
  1660. Rotate(G_{31}, 216°, p_{26}) → U_{35}
  1661. Rotate(H_{31}, 216°, p_{26}) → V_{35}
  1662. Segment(U_{35}, V_{35}) → l_{29}
  1663. Rotate(I_{31}, 216°, p_{26}) → W_{35}
  1664. Rotate(J_{31}, 216°, p_{26}) → Z_{35}
  1665. Segment(W_{35}, Z_{35}) → m_{29}
  1666. Rotate(W_{30}, 216°, p_{26}) → A_{36}
  1667. Rotate(Z_{30}, 216°, p_{26}) → B_{36}
  1668. Segment(A_{36}, B_{36}) → n_{29}
  1669. Rotate(C_{30}, 216°, p_{26}) → C_{36}
  1670. Rotate(D_{30}, 216°, p_{26}) → D_{36}
  1671. Segment(C_{36}, D_{36}) → p_{29}
  1672. Rotate(I_{30}, 216°, p_{26}) → E_{36}
  1673. Rotate(J_{30}, 216°, p_{26}) → F_{36}
  1674. Segment(E_{36}, F_{36}) → q_{29}
  1675. Rotate(G_{30}, 216°, p_{26}) → G_{36}
  1676. Rotate(H_{30}, 216°, p_{26}) → H_{36}
  1677. Segment(G_{36}, H_{36}) → r_{29}
  1678. Rotate(M_{30}, 216°, p_{26}) → I_{36}
  1679. Rotate(N_{30}, 216°, p_{26}) → J_{36}
  1680. Segment(I_{36}, J_{36}) → s_{29}
  1681. Rotate(K_{30}, 216°, p_{26}) → K_{36}
  1682. Rotate(L_{30}, 216°, p_{26}) → L_{36}
  1683. Segment(K_{36}, L_{36}) → t_{29}
  1684. Rotate(U_{29}, 216°, p_{26}) → M_{36}
  1685. Rotate(V_{29}, 216°, p_{26}) → N_{36}
  1686. Segment(M_{36}, N_{36}) → a_{29}
  1687. Rotate(W_{29}, 216°, p_{26}) → O_{36}
  1688. Rotate(Z_{29}, 216°, p_{26}) → P_{36}
  1689. Segment(O_{36}, P_{36}) → b_{29}
  1690. Rotate(S_{30}, 216°, p_{26}) → Q_{36}
  1691. Rotate(T_{30}, 216°, p_{26}) → R_{36}
  1692. Segment(Q_{36}, R_{36}) → c_{29}
  1693. Rotate(U_{30}, 216°, p_{26}) → S_{36}
  1694. Rotate(V_{30}, 216°, p_{26}) → T_{36}
  1695. Segment(S_{36}, T_{36}) → d_{29}
  1696. Rotate(E_{31}, 216°, p_{26}) → U_{36}
  1697. Rotate(F_{31}, 216°, p_{26}) → V_{36}
  1698. Segment(U_{36}, V_{36}) → e_{29}
  1699. Rotate(K_{29}, 288°, p_{26}) → W_{36}
  1700. Rotate(L_{29}, 288°, p_{26}) → Z_{36}
  1701. Segment(W_{36}, Z_{36}) → f_{30}
  1702. Rotate(I_{31}, 288°, p_{26}) → A_{37}
  1703. Rotate(J_{31}, 288°, p_{26}) → B_{37}
  1704. Segment(A_{37}, B_{37}) → g_{30}
  1705. Rotate(G_{31}, 288°, p_{26}) → C_{37}
  1706. Rotate(H_{31}, 288°, p_{26}) → D_{37}
  1707. Segment(C_{37}, D_{37}) → h_{30}
  1708. Rotate(E_{31}, 288°, p_{26}) → E_{37}
  1709. Rotate(F_{31}, 288°, p_{26}) → F_{37}
  1710. Segment(E_{37}, F_{37}) → i_{30}
  1711. Rotate(C_{31}, 288°, p_{26}) → G_{37}
  1712. Rotate(D_{31}, 288°, p_{26}) → H_{37}
  1713. Segment(G_{37}, H_{37}) → j_{30}
  1714. Rotate(S_{30}, 288°, p_{26}) → I_{37}
  1715. Rotate(T_{30}, 288°, p_{26}) → J_{37}
  1716. Segment(I_{37}, J_{37}) → k_{30}
  1717. Rotate(U_{30}, 288°, p_{26}) → K_{37}
  1718. Rotate(V_{30}, 288°, p_{26}) → L_{37}
  1719. Segment(K_{37}, L_{37}) → l_{30}
  1720. Rotate(W_{30}, 288°, p_{26}) → M_{37}
  1721. Rotate(Z_{30}, 288°, p_{26}) → N_{37}
  1722. Segment(M_{37}, N_{37}) → m_{30}
  1723. Rotate(A_{31}, 288°, p_{26}) → O_{37}
  1724. Rotate(B_{31}, 288°, p_{26}) → P_{37}
  1725. Segment(O_{37}, P_{37}) → n_{30}
  1726. Rotate(S_{29}, 288°, p_{26}) → Q_{37}
  1727. Rotate(T_{29}, 288°, p_{26}) → R_{37}
  1728. Segment(Q_{37}, R_{37}) → p_{30}
  1729. Rotate(U_{29}, 288°, p_{26}) → S_{37}
  1730. Rotate(V_{29}, 288°, p_{26}) → T_{37}
  1731. Segment(S_{37}, T_{37}) → q_{30}
  1732. Rotate(W_{29}, 288°, p_{26}) → U_{37}
  1733. Rotate(Z_{29}, 288°, p_{26}) → V_{37}
  1734. Segment(U_{37}, V_{37}) → r_{30}
  1735. Rotate(K_{30}, 288°, p_{26}) → W_{37}
  1736. Rotate(L_{30}, 288°, p_{26}) → Z_{37}
  1737. Segment(W_{37}, Z_{37}) → s_{30}
  1738. Rotate(M_{30}, 288°, p_{26}) → A_{38}
  1739. Rotate(N_{30}, 288°, p_{26}) → B_{38}
  1740. Segment(A_{38}, B_{38}) → t_{30}
  1741. Rotate(G_{30}, 288°, p_{26}) → C_{38}
  1742. Rotate(H_{30}, 288°, p_{26}) → D_{38}
  1743. Segment(C_{38}, D_{38}) → a_{30}
  1744. Rotate(I_{30}, 288°, p_{26}) → E_{38}
  1745. Rotate(J_{30}, 288°, p_{26}) → F_{38}
  1746. Segment(E_{38}, F_{38}) → b_{30}
  1747. Rotate(C_{30}, 288°, p_{26}) → G_{38}
  1748. Rotate(D_{30}, 288°, p_{26}) → H_{38}
  1749. Segment(G_{38}, H_{38}) → c_{30}
  1750. Rotate(E_{30}, 288°, p_{26}) → I_{38}
  1751. Rotate(F_{30}, 288°, p_{26}) → J_{38}
  1752. Segment(I_{38}, J_{38}) → d_{30}
  1753. Element(matrix2, n, 1) → n_{A}
  1754. Element(matrix2, n, 2) → n_B
  1755. Element(matrix2, n, 3) → n_C
  1756. Element(matrix2, n, 4) → n_D
  1757. Element(matrix2, n, 5) → n_E
  1758. Point(Circle[A_{40}, r]) → B_{40}
  1759. Segment(A_{40}, B_{40}) → f_{34}
  1760. Point(Circle[Midpoint[A_{40}, B_{40}], (Distance[A_{40}, B_{40}] * sqrt(3) / 2), Segment[A_{40}, B_{40}]]) → E_{40}
  1761. Icosahedron(A_{40}, B_{40}, E_{40}) → b_{34}, F_{42}, faceABE_2, faceAEH_2, faceAHI_2, faceAFI_2, faceABF_2, faceBFJ_2, faceBGJ_2, faceBEG_2, faceEGK_2, faceEHK_2, G_{42}, faceGJM_2, faceGKM_2, faceKMN_2, faceHKN_2, faceJLM_2, faceLMN_2, faceILN_2, faceHIN_2, faceFJL_2, faceFIL_2, H_{42}, edgeAE_2, edgeAB_2, edgeBE_2, edgeAH_2, edgeEH_2, edgeAI_2, edgeHI_2, edgeAF_2, edgeFI_2, edgeBF_2, I_{40}, edgeBJ_2, edgeFJ_2, edgeBG_2, edgeGJ_2, edgeEG_2, edgeEK_2, edgeGK_2, edgeHK_2, edgeGM_2, edgeJM_2, J_{41}, edgeKM_2, edgeKN_2, edgeMN_2, edgeHN_2, edgeLM_2, edgeJL_2, edgeLN_2, edgeIN_2, edgeIL_2, edgeFL_2, K_{39}, L_{39}, M_{40}, N_{39}
  1762. Midpoint(N_{39}, B_{40}) → O_{40}
  1763. Segment(N_{39}, O_{40}) → j_{37}
  1764. Segment(O_{40}, M_{40}) → l_{32}
  1765. CircleArc(O_{40}, N_{39}, M_{40}) → e_{33}
  1766. Sphere(O_{40}, M_{40}) → o_6
  1767. Ray(O_{40}, N_{39}) → s_{32}
  1768. Ray(O_{40}, M_{40}) → t_{36}
  1769. Midpoint(edgeMN_2) → U_{42}
  1770. CircleArc(O_{40}, K_{39}, M_{40}) → c_{34}
  1771. CircleArc(O_{40}, M_{40}, N_{39}) → d_{35}
  1772. CircleArc(O_{40}, N_{39}, K_{39}) → e_{34}
  1773. Midpoint(edgeMN_2) → U_{40}
  1774. Midpoint(edgeKN_2) → C_{41}
  1775. Midpoint(edgeKM_2) → D_{40}
  1776. Segment(N_{39}, D_{40}) → h_{34}
  1777. Segment(U_{40}, K_{39}) → j_{35}
  1778. Segment(M_{40}, C_{41}) → p_{33}
  1779. Ray(O_{40}, D_{40}) → q_{34}
  1780. Ray(O_{40}, U_{40}) → r_{33}
  1781. Ray(O_{40}, C_{41}) → t_{35}
  1782. Intersect(q_{34}, c_{34}) → H_{41},
  1783. Polygon(U_{40}, C_{41}, D_{40}) → poly21_2, d_{34}, u_5, c_{35}
  1784. Intersect(u_5, j_{35}) → O_{41}
  1785. Ray(O_{40}, O_{41}) → j_{36}
  1786. Intersect(j_{36}, o_6) → U_{41}, V_{39}
  1787. Midpoint(M_{40}, H_{41}) → W_{38}
  1788. Midpoint(H_{41}, K_{39}) → Z_{39}
  1789. Volume(o_6) → V_{40}
  1790. Ray(O_{40}, K_{39}) → b_{35}
  1791. Ray(O_{40}, B_{40}) → a_{32}
  1792. Line(O_{40}, N_{39}) → b_{36}
  1793. Segment(O_{40}, N_{39}) → h_{35}
  1794. Rotate(H_{41}, 72°, b_{35}) → N_{40}
  1795. Rotate(V_{39}, 72°, b_{35}) → O_{42}
  1796. Rotate(N_{40}, 72°, b_{35}) → B_{41}
  1797. Rotate(O_{42}, 72°, b_{35}) → C_{42}
  1798. Segment(B_{41}, C_{42}) → q_{35}
  1799. Point(Circle[T_{39}, m_7]) → W_{39}
  1800. Segment(T_{39}, W_{39}) → f
  1801. Circle(T_{39}, r_{4_b_(old)}) → f_1
  1802. Circle(W_{39}, r_{4_b_(old)}) → s_4
  1803. Intersect(f_1, s_4, 1) → K_{40}
  1804. Segment(T_{39}, K_{40}) → a_1
  1805. Segment(K_{40}, W_{39}) → b_1
  1806. Angle(W_{39}, T_{39}, K_{40}) → α
  1807. Angle(K_{40}, W_{39}, T_{39}) → β
  1808. Angle(T_{39}, K_{40}, W_{39}) → γ
  1809. Point(Circle[L_{41}, m_7]) → B_1
  1810. Segment(L_{41}, B_1) → a_2
  1811. Circle(L_{41}, f_8) → d_5
  1812. Circle(B_1, f_8) → e_5
  1813. Intersect(d_5, e_5, 1) → K_{38}
  1814. Segment(L_{41}, K_{38}) → n_4
  1815. Segment(K_{38}, B_1) → b_4
  1816. Angle(B_1, L_{41}, K_{38}) → δ
  1817. Angle(K_{38}, B_1, L_{41}) → ε
  1818. Angle(L_{41}, K_{38}, B_1) → ζ
  1819. Point(Circle[M_{38}, f_8]) → N_{38}
  1820. Segment(M_{38}, N_{38}) → g_5
  1821. Circle(M_{38}, r_{4_b_(old)}) → k_5
  1822. Circle(N_{38}, n_{30}) → t_5
  1823. Intersect(k_5, t_5, 1) → O_{38}
  1824. Segment(M_{38}, O_{38}) → i_5
  1825. Segment(O_{38}, N_{38}) → j_5
  1826. Angle(N_{38}, M_{38}, O_{38}) → η
  1827. Angle(O_{38}, N_{38}, M_{38}) → θ
  1828. Angle(M_{38}, O_{38}, N_{38}) → ι
  1829. Point(Circle[P_{38}, s_{17}]) → L_{38}
  1830. Segment(P_{38}, L_{38}) → a_5
  1831. Circle(P_{38}, n_{30}) → g_6
  1832. Circle(L_{38}, n_{30}) → k_6
  1833. Intersect(g_6, k_6, 1) → Q_{38}
  1834. Segment(P_{38}, Q_{38}) → i_6
  1835. Segment(Q_{38}, L_{38}) → r_6
  1836. Angle(P_{38}, Q_{38}, L_{38}) → κ
  1837. Angle(L_{38}, P_{38}, Q_{38}) → λ
  1838. Angle(Q_{38}, L_{38}, P_{38}) → μ
  1839. Point(Circle[R_{38}, s_{17}]) → S_{38}
  1840. Segment(R_{38}, S_{38}) → p_7
  1841. Segment(T_2, V_2) → t_7
  1842. Circle(R_{38}, s_{17}) → d_8
  1843. Circle(S_{38}, s_{17}) → s_8
  1844. Intersect(d_8, s_8, 1) → T_{38}
  1845. Segment(R_{38}, T_{38}) → a_7
  1846. Segment(T_{38}, S_{38}) → b_7
  1847. Angle(S_{38}, R_{38}, T_{38}) → ν
  1848. Angle(R_{38}, T_{38}, S_{38}) → ξ
  1849. Angle(T_{38}, S_{38}, R_{38}) → ο
  1850. Segment(I_3, C_3) → i_8
  1851. Segment(M, C_3) → r_{4_b_1}

AI Drawing Prompt Reference

Draw the edge structure of a 4Dframe dome. Start by finding the intersection point D of the x-axis and z-axis, then construct a plane a perpendicular to the z-axis. Next, take a point B on the circle to form triangle ABC, and construct an icosahedron b using points A, B, and E. Find the midpoint O of K, and construct line segments JK, KL, and LM. Find the midpoints P3 and Q of MN, and construct polygon P3UQ. Continue by constructing arcs and rays, finding intersection points T, S, V, and U, and forming polygons TSM, TVU, and P3UQ. Finally, use these points to construct polygons G1I1K1 and L1M1N1, completing the edge structure of the 4Dframe dome.
The prompt above was compiled from the original drawing commands and is for reference only.