MathPlotAI Logo MathPlotAI

Comparing Fractions by Rob

Comparing Fractions by Rob
Loading the math board and drawing, please wait…
2013-12-01 21:18
Geometric ConstructionSlider Animation
Find equivalent fractions to compare two fractions. The demonstration visually shows the two fractions. Commands used include Rotate, Circle, Segment, and CircleSector. Suitable for upper elementary and middle school students to learn basic fraction concepts.

GeoGebra Commands & Parameters

  1. Rotate(B, -a_1, A) → B'
  2. Circle(A, B) → c
  3. Circle(C, D) → d
  4. Segment(A, B) → a
  5. Segment(C, D) → b
  6. CircleSector(A, B', B) → e
  7. Segment(A, B') → f
  8. Rotate(B, -b_1, A) → B'_1
  9. Rotate(B'_1, -b_1, A) → E
  10. Rotate(E, -b_1, A) → E'
  11. Rotate(E', -b_1, A) → E''
  12. Rotate(E'', -b_1, A) → E'''
  13. Rotate(E''', -b_1, A) → F
  14. Segment(A, E) → g
  15. Segment(A, E') → h
  16. Segment(A, E'') → i
  17. Segment(A, E''') → j
  18. Segment(A, F) → k
  19. Segment(A, B'_1) → c_1
  20. Rotate(D, -a_2, C) → D'
  21. CircleSector(C, D', D) → e_1
  22. Rotate(D, -b_2, C) → D'_1
  23. Rotate(D'_1, -b_2, C) → I
  24. Rotate(I, -b_2, C) → I'
  25. Rotate(I', -b_2, C) → I''
  26. Rotate(I'', -b_2, C) → I'''
  27. Rotate(I''', -b_2, C) → J
  28. Rotate(J, -b_2, C) → J'
  29. Rotate(J', -b_2, C) → J''
  30. Rotate(J'', -b_2, C) → J'''
  31. Rotate(J''', -b_2, C) → K
  32. Rotate(K, -b_2, C) → K'
  33. Rotate(K', -b_2, C) → K''
  34. Rotate(K'', -b_2, C) → K'''
  35. Rotate(K''', -b_2, C) → L
  36. Segment(C, D'_1) → f_1
  37. Segment(C, I) → g_1
  38. Segment(C, I') → h_1
  39. Segment(C, I'') → i_1
  40. Segment(C, I''') → j_1
  41. Segment(C, J) → k_1
  42. Segment(C, J') → l_1
  43. Segment(C, J'') → m_3
  44. Segment(C, J''') → p_1
  45. Segment(C, K) → q_1
  46. Segment(C, K') → r_1
  47. Segment(C, K'') → s_1
  48. Segment(C, K''') → t_1
  49. Segment(C, L) → c_2
  50. Rotate(A, -(b_1 * 6), A) → A'
  51. Rotate(B', -(b_1 * 6), A) → B''
  52. Rotate(A, -(b_1 * 6), A) → A'_1
  53. Rotate(E''', -(b_1 * 6), A) → G
  54. Segment(A'_1, G) → j'
  55. Rotate(A, -(b_1 * 6), A) → A'_2
  56. Rotate(E'', -(b_1 * 6), A) → E'''_1
  57. Segment(A'_2, E'''_1) → i'
  58. Rotate(A, -(b_1 * 6), A) → A'_3
  59. Rotate(E', -(b_1 * 6), A) → E''_1
  60. Segment(A'_3, E''_1) → h'
  61. Rotate(A, -(b_1 * 6), A) → A'_4
  62. Rotate(E, -(b_1 * 6), A) → E'_1
  63. Segment(A'_4, E'_1) → g'
  64. Rotate(A, -(b_1 * 6), A) → A'_5
  65. Rotate(B'_1, -(b_1 * 6), A) → H
  66. Segment(A'_5, H) → l
  67. Rotate(A', -(b_1 * 12), A) → A''
  68. Rotate(B'', -(b_1 * 12), A) → B'''
  69. Rotate(A'_1, -(b_1 * 12), A) → M
  70. Rotate(G, -(b_1 * 12), A) → G'
  71. Segment(M, G') → j''
  72. Rotate(A'_2, -(b_1 * 12), A) → N
  73. Rotate(E'''_1, -(b_1 * 12), A) → O
  74. Segment(N, O) → i''
  75. Rotate(A'_3, -(b_1 * 12), A) → P
  76. Rotate(E''_1, -(b_1 * 12), A) → Q
  77. Segment(P, Q) → h''
  78. Rotate(A'_4, -(b_1 * 12), A) → R
  79. Rotate(E'_1, -(b_1 * 12), A) → S
  80. Segment(R, S) → g''
  81. Rotate(A'_5, -(b_1 * 12), A) → T
  82. Rotate(H, -(b_1 * 12), A) → H'
  83. Segment(T, H') → l'
  84. Rotate(A, -(b_1 * 12), A) → A'_6
  85. Rotate(B', -(b_1 * 12), A) → B''_1
  86. Rotate(A, -(b_1 * 12), A) → A'_7
  87. Rotate(E''', -(b_1 * 12), A) → U
  88. Segment(A'_7, U) → j'_1
  89. Rotate(A, -(b_1 * 12), A) → A'_8
  90. Rotate(E'', -(b_1 * 12), A) → E'''_2
  91. Segment(A'_8, E'''_2) → i'_1
  92. Rotate(A, -(b_1 * 12), A) → A'_9
  93. Rotate(E', -(b_1 * 12), A) → E''_2
  94. Segment(A'_9, E''_2) → h'_1
  95. Rotate(A, -(b_1 * 12), A) → A'_{10}
  96. Rotate(E, -(b_1 * 12), A) → E'_2
  97. Segment(A'_{10}, E'_2) → g'_1
  98. Rotate(A, -(b_1 * 12), A) → A'_{11}
  99. Rotate(B'_1, -(b_1 * 12), A) → V
  100. Segment(A'_{11}, V) → m
  101. Rotate(A'', -(b_1 * 24), A) → A'''
  102. Rotate(B''', -(b_1 * 24), A) → W
  103. Rotate(M, -(b_1 * 24), A) → M'
  104. Rotate(G', -(b_1 * 24), A) → G''
  105. Segment(M', G'') → j'''
  106. Rotate(N, -(b_1 * 24), A) → N'
  107. Rotate(O, -(b_1 * 24), A) → O'
  108. Segment(N', O') → i'''
  109. Rotate(P, -(b_1 * 24), A) → P'
  110. Rotate(Q, -(b_1 * 24), A) → Q'
  111. Segment(P', Q') → h'''
  112. Rotate(R, -(b_1 * 24), A) → R'
  113. Rotate(S, -(b_1 * 24), A) → S'
  114. Segment(R', S') → g'''
  115. Rotate(T, -(b_1 * 24), A) → T'
  116. Rotate(H', -(b_1 * 24), A) → H''
  117. Segment(T', H'') → l''
  118. Rotate(A'_6, -(b_1 * 24), A) → Z
  119. Rotate(B''_1, -(b_1 * 24), A) → A_1
  120. Rotate(A'_7, -(b_1 * 24), A) → B_1
  121. Rotate(U, -(b_1 * 24), A) → U'
  122. Segment(B_1, U') → p
  123. Rotate(A'_8, -(b_1 * 24), A) → C_1
  124. Rotate(E'''_2, -(b_1 * 24), A) → D_1
  125. Segment(C_1, D_1) → q
  126. Rotate(A'_9, -(b_1 * 24), A) → E_1
  127. Rotate(E''_2, -(b_1 * 24), A) → F_1
  128. Segment(E_1, F_1) → r
  129. Rotate(A'_{10}, -(b_1 * 24), A) → G_1
  130. Rotate(E'_2, -(b_1 * 24), A) → H_1
  131. Segment(G_1, H_1) → s
  132. Rotate(A'_{11}, -(b_1 * 24), A) → I_1
  133. Rotate(V, -(b_1 * 24), A) → V'
  134. Segment(I_1, V') → m'
  135. Rotate(A', -(b_1 * 24), A) → A''_1
  136. Rotate(B'', -(b_1 * 24), A) → B'''_1
  137. Rotate(A'_1, -(b_1 * 24), A) → J_1
  138. Rotate(G, -(b_1 * 24), A) → G'_1
  139. Segment(J_1, G'_1) → j''_1
  140. Rotate(A'_2, -(b_1 * 24), A) → K_1
  141. Rotate(E'''_1, -(b_1 * 24), A) → L_1
  142. Segment(K_1, L_1) → i''_1
  143. Rotate(A'_3, -(b_1 * 24), A) → M_1
  144. Rotate(E''_1, -(b_1 * 24), A) → N_1
  145. Segment(M_1, N_1) → h''_1
  146. Rotate(A'_4, -(b_1 * 24), A) → O_1
  147. Rotate(E'_1, -(b_1 * 24), A) → P_1
  148. Segment(O_1, P_1) → g''_1
  149. Rotate(A'_5, -(b_1 * 24), A) → Q_1
  150. Rotate(H, -(b_1 * 24), A) → H'_1
  151. Segment(Q_1, H'_1) → l'_1
  152. Rotate(A, -(b_1 * 24), A) → A'_{12}
  153. Rotate(B', -(b_1 * 24), A) → B''_2
  154. Rotate(A, -(b_1 * 24), A) → A'_{13}
  155. Rotate(E''', -(b_1 * 24), A) → R_1
  156. Segment(A'_{13}, R_1) → j'_2
  157. Rotate(A, -(b_1 * 24), A) → A'_{14}
  158. Rotate(E'', -(b_1 * 24), A) → E'''_3
  159. Segment(A'_{14}, E'''_3) → i'_2
  160. Rotate(A, -(b_1 * 24), A) → A'_{15}
  161. Rotate(E', -(b_1 * 24), A) → E''_3
  162. Segment(A'_{15}, E''_3) → h'_2
  163. Rotate(A, -(b_1 * 24), A) → A'_{16}
  164. Rotate(E, -(b_1 * 24), A) → E'_3
  165. Segment(A'_{16}, E'_3) → g'_2
  166. Rotate(A, -(b_1 * 24), A) → A'_{17}
  167. Rotate(B'_1, -(b_1 * 24), A) → S_1
  168. Segment(A'_{17}, S_1) → t
  169. Rotate(A''', -(b_1 * 20), A) → T_1
  170. Rotate(M', -(b_1 * 20), A) → M''
  171. Rotate(G'', -(b_1 * 20), A) → G'''
  172. Segment(M'', G''') → f_2
  173. Rotate(N', -(b_1 * 20), A) → N''
  174. Rotate(O', -(b_1 * 20), A) → O''
  175. Segment(N'', O'') → g_2
  176. Rotate(P', -(b_1 * 20), A) → P''
  177. Rotate(Q', -(b_1 * 20), A) → Q''
  178. Segment(P'', Q'') → h_2
  179. Rotate(R', -(b_1 * 20), A) → R''
  180. Rotate(S', -(b_1 * 20), A) → S''
  181. Segment(R'', S'') → i_2
  182. Rotate(T', -(b_1 * 20), A) → T''
  183. Rotate(H'', -(b_1 * 20), A) → H'''
  184. Segment(T'', H''') → l'''
  185. Rotate(Z, -(b_1 * 20), A) → Z'
  186. Rotate(A_1, -(b_1 * 20), A) → U_1
  187. Rotate(B_1, -(b_1 * 20), A) → V_1
  188. Rotate(U', -(b_1 * 20), A) → U''
  189. Segment(V_1, U'') → p'
  190. Rotate(C_1, -(b_1 * 20), A) → W_1
  191. Rotate(D_1, -(b_1 * 20), A) → Z_1
  192. Segment(W_1, Z_1) → q'
  193. Rotate(E_1, -(b_1 * 20), A) → A_2
  194. Rotate(F_1, -(b_1 * 20), A) → B_2
  195. Segment(A_2, B_2) → r'
  196. Rotate(G_1, -(b_1 * 20), A) → C_2
  197. Rotate(H_1, -(b_1 * 20), A) → D_2
  198. Segment(C_2, D_2) → s'
  199. Rotate(I_1, -(b_1 * 20), A) → E_2
  200. Rotate(V', -(b_1 * 20), A) → V''
  201. Segment(E_2, V'') → m''
  202. Rotate(A''_1, -(b_1 * 20), A) → F_2
  203. Rotate(B'''_1, -(b_1 * 20), A) → G_2
  204. Rotate(J_1, -(b_1 * 20), A) → H_2
  205. Rotate(G'_1, -(b_1 * 20), A) → I_2
  206. Segment(H_2, I_2) → k_2
  207. Rotate(K_1, -(b_1 * 20), A) → J_2
  208. Rotate(L_1, -(b_1 * 20), A) → K_2
  209. Segment(J_2, K_2) → l_2
  210. Rotate(M_1, -(b_1 * 20), A) → L_2
  211. Rotate(N_1, -(b_1 * 20), A) → M_2
  212. Segment(L_2, M_2) → p_2
  213. Rotate(O_1, -(b_1 * 20), A) → N_2
  214. Rotate(P_1, -(b_1 * 20), A) → O_2
  215. Segment(N_2, O_2) → q_2
  216. Rotate(Q_1, -(b_1 * 20), A) → P_2
  217. Rotate(H'_1, -(b_1 * 20), A) → Q_2
  218. Segment(P_2, Q_2) → r_2
  219. Rotate(A'_{12}, -(b_1 * 20), A) → R_2
  220. Rotate(B''_2, -(b_1 * 20), A) → S_2
  221. Rotate(A'_{13}, -(b_1 * 20), A) → T_2
  222. Rotate(R_1, -(b_1 * 20), A) → U_2
  223. Segment(T_2, U_2) → t_2
  224. Rotate(T_1, -(b_1 * 22), A) → V_2
  225. Rotate(M'', -(b_1 * 22), A) → M'''
  226. Rotate(G''', -(b_1 * 22), A) → W_2
  227. Segment(M''', W_2) → b_3
  228. Rotate(N'', -(b_1 * 22), A) → N'''
  229. Rotate(O'', -(b_1 * 22), A) → O'''
  230. Segment(N''', O''') → c_3
  231. Rotate(P'', -(b_1 * 22), A) → P'''
  232. Rotate(Q'', -(b_1 * 22), A) → Q'''
  233. Segment(P''', Q''') → e_3
  234. Rotate(R'', -(b_1 * 22), A) → R'''
  235. Rotate(S'', -(b_1 * 22), A) → S'''
  236. Segment(R''', S''') → f_3
  237. Rotate(T'', -(b_1 * 22), A) → T'''
  238. Rotate(H''', -(b_1 * 22), A) → Z_2
  239. Segment(T''', Z_2) → g_3
  240. Rotate(Z', -(b_1 * 22), A) → Z''
  241. Rotate(V_1, -(b_1 * 22), A) → B_3
  242. Rotate(U'', -(b_1 * 22), A) → U'''
  243. Segment(B_3, U''') → p''
  244. Rotate(W_1, -(b_1 * 22), A) → C_3
  245. Rotate(Z_1, -(b_1 * 22), A) → D_3
  246. Segment(C_3, D_3) → q''
  247. Rotate(A_2, -(b_1 * 22), A) → E_3
  248. Rotate(B_2, -(b_1 * 22), A) → F_3
  249. Segment(E_3, F_3) → r''
  250. Rotate(C_2, -(b_1 * 22), A) → G_3
  251. Rotate(D_2, -(b_1 * 22), A) → H_3
  252. Segment(G_3, H_3) → s''
  253. Rotate(E_2, -(b_1 * 22), A) → I_3
  254. Rotate(V'', -(b_1 * 22), A) → V'''
  255. Segment(I_3, V''') → m'''
  256. Rotate(F_2, -(b_1 * 22), A) → J_3
  257. Rotate(H_2, -(b_1 * 22), A) → L_3
  258. Rotate(I_2, -(b_1 * 22), A) → M_3
  259. Segment(L_3, M_3) → i_3
  260. Rotate(J_2, -(b_1 * 22), A) → N_3
  261. Rotate(K_2, -(b_1 * 22), A) → O_3
  262. Segment(N_3, O_3) → j_3
  263. Rotate(L_2, -(b_1 * 22), A) → P_3
  264. Rotate(M_2, -(b_1 * 22), A) → Q_3
  265. Segment(P_3, Q_3) → k_3
  266. Rotate(N_2, -(b_1 * 22), A) → R_3
  267. Rotate(O_2, -(b_1 * 22), A) → S_3
  268. Segment(R_3, S_3) → l_3
  269. Rotate(P_2, -(b_1 * 22), A) → T_3
  270. Rotate(Q_2, -(b_1 * 22), A) → U_3
  271. Segment(T_3, U_3) → p_3
  272. Rotate(R_2, -(b_1 * 22), A) → V_3
  273. Rotate(S_2, -(b_1 * 22), A) → W_3
  274. Segment(V_3, W_3) → q_3
  275. Rotate(T_2, -(b_1 * 22), A) → Z_3
  276. Rotate(U_2, -(b_1 * 22), A) → A_4
  277. Segment(Z_3, A_4) → r_3
  278. Rotate(A''', -(b_1 * 22), A) → B_4
  279. Rotate(W, -(b_1 * 22), A) → W'_1
  280. Segment(B_4, W'_1) → s_3
  281. Rotate(M', -(b_1 * 22), A) → M''_1
  282. Rotate(G'', -(b_1 * 22), A) → G'''_1
  283. Segment(M''_1, G'''_1) → t_3
  284. Rotate(C, -(b_2 * 15), C) → C'
  285. Rotate(L, -(b_2 * 15), C) → L'
  286. Segment(C', L') → a_4
  287. Rotate(C, -(b_2 * 15), C) → C'_1
  288. Rotate(K''', -(b_2 * 15), C) → C_4
  289. Segment(C'_1, C_4) → b_4
  290. Rotate(C, -(b_2 * 15), C) → C'_2
  291. Rotate(K'', -(b_2 * 15), C) → K'''_1
  292. Segment(C'_2, K'''_1) → c_4
  293. Rotate(C, -(b_2 * 15), C) → C'_3
  294. Rotate(K', -(b_2 * 15), C) → K''_1
  295. Segment(C'_3, K''_1) → e_4
  296. Rotate(C, -(b_2 * 15), C) → C'_4
  297. Rotate(K, -(b_2 * 15), C) → K'_1
  298. Segment(C'_4, K'_1) → f_4
  299. Rotate(C, -(b_2 * 15), C) → C'_5
  300. Rotate(J''', -(b_2 * 15), C) → D_4
  301. Segment(C'_5, D_4) → g_4
  302. Rotate(C, -(b_2 * 15), C) → C'_6
  303. Rotate(J'', -(b_2 * 15), C) → J'''_1
  304. Segment(C'_6, J'''_1) → h_4
  305. Rotate(C, -(b_2 * 15), C) → C'_7
  306. Rotate(J', -(b_2 * 15), C) → J''_1
  307. Segment(C'_7, J''_1) → i_4
  308. Rotate(C, -(b_2 * 15), C) → C'_8
  309. Rotate(J, -(b_2 * 15), C) → J'_1
  310. Segment(C'_8, J'_1) → j_4
  311. Rotate(C, -(b_2 * 15), C) → C'_9
  312. Rotate(I''', -(b_2 * 15), C) → E_4
  313. Segment(C'_9, E_4) → k_4
  314. Rotate(C, -(b_2 * 15), C) → C'_{10}
  315. Rotate(I'', -(b_2 * 15), C) → I'''_1
  316. Segment(C'_{10}, I'''_1) → l_4
  317. Rotate(C, -(b_2 * 15), C) → C'_{11}
  318. Rotate(I', -(b_2 * 15), C) → I''_1
  319. Segment(C'_{11}, I''_1) → m_4
  320. Rotate(C, -(b_2 * 15), C) → C'_{12}
  321. Rotate(I, -(b_2 * 15), C) → I'_1
  322. Segment(C'_{12}, I'_1) → p_4
  323. Rotate(C, -(b_2 * 15), C) → C'_{13}
  324. Rotate(D'_1, -(b_2 * 15), C) → F_4
  325. Segment(C'_{13}, F_4) → q_4
  326. Rotate(C, -(b_2 * 15), C) → C'_{14}
  327. Rotate(D, -(b_2 * 15), C) → D'_2
  328. Segment(C'_{14}, D'_2) → b'
  329. Rotate(C', -(b_2 * 30), C) → C''
  330. Rotate(L', -(b_2 * 30), C) → L''
  331. Segment(C'', L'') → r_4
  332. Rotate(C'_1, -(b_2 * 30), C) → G_4
  333. Rotate(C_4, -(b_2 * 30), C) → H_4
  334. Segment(G_4, H_4) → s_4
  335. Rotate(C'_2, -(b_2 * 30), C) → I_4
  336. Rotate(K'''_1, -(b_2 * 30), C) → J_4
  337. Segment(I_4, J_4) → t_4
  338. Rotate(C'_3, -(b_2 * 30), C) → K_4
  339. Rotate(K''_1, -(b_2 * 30), C) → L_4
  340. Segment(K_4, L_4) → a_5
  341. Rotate(C'_4, -(b_2 * 30), C) → M_4
  342. Rotate(K'_1, -(b_2 * 30), C) → N_4
  343. Segment(M_4, N_4) → b_5
  344. Rotate(C'_5, -(b_2 * 30), C) → O_4
  345. Rotate(D_4, -(b_2 * 30), C) → P_4
  346. Segment(O_4, P_4) → c_5
  347. Rotate(C'_6, -(b_2 * 30), C) → Q_4
  348. Rotate(J'''_1, -(b_2 * 30), C) → R_4
  349. Segment(Q_4, R_4) → d_5
  350. Rotate(C'_7, -(b_2 * 30), C) → S_4
  351. Rotate(J''_1, -(b_2 * 30), C) → T_4
  352. Segment(S_4, T_4) → e_5
  353. Rotate(C'_8, -(b_2 * 30), C) → U_4
  354. Rotate(J'_1, -(b_2 * 30), C) → V_4
  355. Segment(U_4, V_4) → f_5
  356. Rotate(C'_9, -(b_2 * 30), C) → W_4
  357. Rotate(E_4, -(b_2 * 30), C) → Z_4
  358. Segment(W_4, Z_4) → g_5
  359. Rotate(C'_{10}, -(b_2 * 30), C) → A_5
  360. Rotate(I'''_1, -(b_2 * 30), C) → B_5
  361. Segment(A_5, B_5) → h_5
  362. Rotate(C'_{11}, -(b_2 * 30), C) → C_5
  363. Rotate(I''_1, -(b_2 * 30), C) → D_5
  364. Segment(C_5, D_5) → i_5
  365. Rotate(C'_{12}, -(b_2 * 30), C) → E_5
  366. Rotate(I'_1, -(b_2 * 30), C) → F_5
  367. Segment(E_5, F_5) → j_5
  368. Rotate(C'_{13}, -(b_2 * 30), C) → G_5
  369. Rotate(F_4, -(b_2 * 30), C) → H_5
  370. Segment(G_5, H_5) → k_5
  371. Rotate(C'_{14}, -(b_2 * 30), C) → I_5
  372. Rotate(D'_2, -(b_2 * 30), C) → J_5
  373. Segment(I_5, J_5) → b''
  374. Rotate(C, -(b_2 * 30), C) → C'_{15}
  375. Rotate(L, -(b_2 * 30), C) → L'_1
  376. Segment(C'_{15}, L'_1) → l_5
  377. Rotate(C, -(b_2 * 30), C) → C'_{16}
  378. Rotate(K''', -(b_2 * 30), C) → K_5
  379. Segment(C'_{16}, K_5) → m_5
  380. Rotate(C, -(b_2 * 30), C) → C'_{17}
  381. Rotate(K'', -(b_2 * 30), C) → K'''_2
  382. Segment(C'_{17}, K'''_2) → n_5
  383. Rotate(C, -(b_2 * 30), C) → C'_{18}
  384. Rotate(K', -(b_2 * 30), C) → K''_2
  385. Segment(C'_{18}, K''_2) → p_5
  386. Rotate(C, -(b_2 * 30), C) → C'_{19}
  387. Rotate(K, -(b_2 * 30), C) → K'_2
  388. Segment(C'_{19}, K'_2) → q_5
  389. Rotate(C, -(b_2 * 30), C) → C'_{20}
  390. Rotate(J''', -(b_2 * 30), C) → L_5
  391. Segment(C'_{20}, L_5) → r_5
  392. Rotate(C, -(b_2 * 30), C) → C'_{21}
  393. Rotate(J'', -(b_2 * 30), C) → J'''_2
  394. Segment(C'_{21}, J'''_2) → s_5
  395. Rotate(C, -(b_2 * 30), C) → C'_{22}
  396. Rotate(J', -(b_2 * 30), C) → J''_2
  397. Segment(C'_{22}, J''_2) → t_5
  398. Rotate(C, -(b_2 * 30), C) → C'_{23}
  399. Rotate(J, -(b_2 * 30), C) → J'_2
  400. Segment(C'_{23}, J'_2) → a_6
  401. Rotate(C, -(b_2 * 30), C) → C'_{24}
  402. Rotate(I''', -(b_2 * 30), C) → M_5
  403. Segment(C'_{24}, M_5) → b_6
  404. Rotate(C, -(b_2 * 30), C) → C'_{25}
  405. Rotate(I'', -(b_2 * 30), C) → I'''_2
  406. Segment(C'_{25}, I'''_2) → c_6
  407. Rotate(C, -(b_2 * 30), C) → C'_{26}
  408. Rotate(I', -(b_2 * 30), C) → I''_2
  409. Segment(C'_{26}, I''_2) → d_6
  410. Rotate(C, -(b_2 * 30), C) → C'_{27}
  411. Rotate(I, -(b_2 * 30), C) → I'_2
  412. Segment(C'_{27}, I'_2) → e_6
  413. Rotate(C, -(b_2 * 30), C) → C'_{28}
  414. Rotate(D'_1, -(b_2 * 30), C) → N_5
  415. Segment(C'_{28}, N_5) → f_6
  416. Rotate(C, -(b_2 * 30), C) → C'_{29}
  417. Rotate(D, -(b_2 * 30), C) → D'_3
  418. Segment(C'_{29}, D'_3) → b'_1
  419. Rotate(C'', -(b_2 * 30), C) → C'''
  420. Rotate(L'', -(b_2 * 30), C) → L'''
  421. Segment(C''', L''') → g_6
  422. Rotate(G_4, -(b_2 * 30), C) → O_5
  423. Rotate(H_4, -(b_2 * 30), C) → P_5
  424. Segment(O_5, P_5) → h_6
  425. Rotate(I_4, -(b_2 * 30), C) → Q_5
  426. Rotate(J_4, -(b_2 * 30), C) → R_5
  427. Segment(Q_5, R_5) → i_6
  428. Rotate(K_4, -(b_2 * 30), C) → S_5
  429. Rotate(L_4, -(b_2 * 30), C) → T_5
  430. Segment(S_5, T_5) → j_6
  431. Rotate(M_4, -(b_2 * 30), C) → U_5
  432. Rotate(N_4, -(b_2 * 30), C) → V_5
  433. Segment(U_5, V_5) → k_6
  434. Rotate(O_4, -(b_2 * 30), C) → W_5
  435. Rotate(P_4, -(b_2 * 30), C) → Z_5
  436. Segment(W_5, Z_5) → l_6
  437. Rotate(Q_4, -(b_2 * 30), C) → A_6
  438. Rotate(R_4, -(b_2 * 30), C) → B_6
  439. Segment(A_6, B_6) → m_6
  440. Rotate(S_4, -(b_2 * 30), C) → C_6
  441. Rotate(T_4, -(b_2 * 30), C) → D_6
  442. Segment(C_6, D_6) → n_6
  443. Rotate(U_4, -(b_2 * 30), C) → E_6
  444. Rotate(V_4, -(b_2 * 30), C) → F_6
  445. Segment(E_6, F_6) → p_6
  446. Rotate(W_4, -(b_2 * 30), C) → G_6
  447. Rotate(Z_4, -(b_2 * 30), C) → H_6
  448. Segment(G_6, H_6) → q_6
  449. Rotate(A_5, -(b_2 * 30), C) → I_6
  450. Rotate(B_5, -(b_2 * 30), C) → J_6
  451. Segment(I_6, J_6) → r_6
  452. Rotate(C_5, -(b_2 * 30), C) → K_6
  453. Rotate(D_5, -(b_2 * 30), C) → L_6
  454. Segment(K_6, L_6) → s_6
  455. Rotate(E_5, -(b_2 * 30), C) → M_6
  456. Rotate(F_5, -(b_2 * 30), C) → N_6
  457. Segment(M_6, N_6) → t_6
  458. Rotate(G_5, -(b_2 * 30), C) → O_6
  459. Rotate(H_5, -(b_2 * 30), C) → P_6
  460. Segment(O_6, P_6) → a_7
  461. Rotate(I_5, -(b_2 * 30), C) → Q_6
  462. Rotate(J_5, -(b_2 * 30), C) → R_6
  463. Segment(Q_6, R_6) → b'''
  464. Rotate(C'_{15}, -(b_2 * 30), C) → S_6
  465. Rotate(L'_1, -(b_2 * 30), C) → T_6
  466. Segment(S_6, T_6) → b_7
  467. Rotate(C'_{16}, -(b_2 * 30), C) → U_6
  468. Rotate(K_5, -(b_2 * 30), C) → V_6
  469. Segment(U_6, V_6) → c_7
  470. Rotate(C'_{17}, -(b_2 * 30), C) → W_6
  471. Rotate(K'''_2, -(b_2 * 30), C) → Z_6
  472. Segment(W_6, Z_6) → d_7
  473. Rotate(C'_{18}, -(b_2 * 30), C) → A_7
  474. Rotate(K''_2, -(b_2 * 30), C) → B_7
  475. Segment(A_7, B_7) → e_7
  476. Rotate(C'_{19}, -(b_2 * 30), C) → C_7
  477. Rotate(K'_2, -(b_2 * 30), C) → D_7
  478. Segment(C_7, D_7) → f_7
  479. Rotate(C'_{20}, -(b_2 * 30), C) → E_7
  480. Rotate(L_5, -(b_2 * 30), C) → F_7
  481. Segment(E_7, F_7) → g_7
  482. Rotate(C'_{21}, -(b_2 * 30), C) → G_7
  483. Rotate(J'''_2, -(b_2 * 30), C) → H_7
  484. Segment(G_7, H_7) → h_7
  485. Rotate(C'_{22}, -(b_2 * 30), C) → I_7
  486. Rotate(J''_2, -(b_2 * 30), C) → J_7
  487. Segment(I_7, J_7) → i_7
  488. Rotate(C'_{23}, -(b_2 * 30), C) → K_7
  489. Rotate(J'_2, -(b_2 * 30), C) → L_7
  490. Segment(K_7, L_7) → j_7
  491. Rotate(C'_{24}, -(b_2 * 30), C) → M_7
  492. Rotate(M_5, -(b_2 * 30), C) → N_7
  493. Segment(M_7, N_7) → k_7
  494. Rotate(C'_{25}, -(b_2 * 30), C) → O_7
  495. Rotate(I'''_2, -(b_2 * 30), C) → P_7
  496. Segment(O_7, P_7) → l_7
  497. Rotate(C'_{26}, -(b_2 * 30), C) → Q_7
  498. Rotate(I''_2, -(b_2 * 30), C) → R_7
  499. Segment(Q_7, R_7) → m_7
  500. Rotate(C'_{27}, -(b_2 * 30), C) → S_7
  501. Rotate(I'_2, -(b_2 * 30), C) → T_7
  502. Segment(S_7, T_7) → n_7
  503. Rotate(C'_{28}, -(b_2 * 30), C) → U_7
  504. Rotate(N_5, -(b_2 * 30), C) → V_7
  505. Segment(U_7, V_7) → p_7
  506. Rotate(C'_{29}, -(b_2 * 30), C) → W_7
  507. Rotate(D'_3, -(b_2 * 30), C) → Z_7
  508. Segment(W_7, Z_7) → q_7
  509. Rotate(C''', -(45 * b_2), C) → A_8
  510. Rotate(L''', -(45 * b_2), C) → B_8
  511. Segment(A_8, B_8) → r_7
  512. Rotate(O_5, -(45 * b_2), C) → C_8
  513. Rotate(P_5, -(45 * b_2), C) → D_8
  514. Segment(C_8, D_8) → s_7
  515. Rotate(Q_5, -(45 * b_2), C) → E_8
  516. Rotate(R_5, -(45 * b_2), C) → F_8
  517. Segment(E_8, F_8) → t_7
  518. Rotate(S_5, -(45 * b_2), C) → G_8
  519. Rotate(T_5, -(45 * b_2), C) → H_8
  520. Segment(G_8, H_8) → a_8
  521. Rotate(U_5, -(45 * b_2), C) → I_8
  522. Rotate(V_5, -(45 * b_2), C) → J_8
  523. Segment(I_8, J_8) → b_8
  524. Rotate(W_5, -(45 * b_2), C) → K_8
  525. Rotate(Z_5, -(45 * b_2), C) → L_8
  526. Segment(K_8, L_8) → c_8
  527. Rotate(A_6, -(45 * b_2), C) → M_8
  528. Rotate(B_6, -(45 * b_2), C) → N_8
  529. Segment(M_8, N_8) → d_8
  530. Rotate(C_6, -(45 * b_2), C) → O_8
  531. Rotate(D_6, -(45 * b_2), C) → P_8
  532. Segment(O_8, P_8) → e_8
  533. Rotate(E_6, -(45 * b_2), C) → Q_8
  534. Rotate(F_6, -(45 * b_2), C) → R_8
  535. Segment(Q_8, R_8) → f_8
  536. Rotate(G_6, -(45 * b_2), C) → S_8
  537. Rotate(H_6, -(45 * b_2), C) → T_8
  538. Segment(S_8, T_8) → g_8
  539. Rotate(I_6, -(45 * b_2), C) → U_8
  540. Rotate(J_6, -(45 * b_2), C) → V_8
  541. Segment(U_8, V_8) → h_8
  542. Rotate(K_6, -(45 * b_2), C) → W_8
  543. Rotate(L_6, -(45 * b_2), C) → Z_8
  544. Segment(W_8, Z_8) → i_8
  545. Rotate(M_6, -(45 * b_2), C) → A_9
  546. Rotate(N_6, -(45 * b_2), C) → B_9
  547. Segment(A_9, B_9) → j_8
  548. Rotate(O_6, -(45 * b_2), C) → C_9
  549. Rotate(P_6, -(45 * b_2), C) → D_9
  550. Segment(C_9, D_9) → k_8
  551. Rotate(Q_6, -(45 * b_2), C) → E_9
  552. Rotate(R_6, -(45 * b_2), C) → F_9
  553. Segment(E_9, F_9) → l_8
  554. Rotate(S_6, -(45 * b_2), C) → G_9
  555. Rotate(T_6, -(45 * b_2), C) → H_9
  556. Segment(G_9, H_9) → m_8
  557. Rotate(U_6, -(45 * b_2), C) → I_9
  558. Rotate(V_6, -(45 * b_2), C) → J_9
  559. Segment(I_9, J_9) → n_8
  560. Rotate(W_6, -(45 * b_2), C) → K_9
  561. Rotate(Z_6, -(45 * b_2), C) → L_9
  562. Segment(K_9, L_9) → p_8
  563. Rotate(A_7, -(45 * b_2), C) → M_9
  564. Rotate(B_7, -(45 * b_2), C) → N_9
  565. Segment(M_9, N_9) → q_8
  566. Rotate(C_7, -(45 * b_2), C) → O_9
  567. Rotate(D_7, -(45 * b_2), C) → P_9
  568. Segment(O_9, P_9) → r_8
  569. Rotate(E_7, -(45 * b_2), C) → Q_9
  570. Rotate(F_7, -(45 * b_2), C) → R_9
  571. Segment(Q_9, R_9) → s_8
  572. Rotate(G_7, -(45 * b_2), C) → S_9
  573. Rotate(H_7, -(45 * b_2), C) → T_9
  574. Segment(S_9, T_9) → t_8
  575. Rotate(I_7, -(45 * b_2), C) → U_9
  576. Rotate(J_7, -(45 * b_2), C) → V_9
  577. Segment(U_9, V_9) → a_9
  578. Rotate(K_7, -(45 * b_2), C) → W_9
  579. Rotate(L_7, -(45 * b_2), C) → Z_9
  580. Segment(W_9, Z_9) → b_9
  581. Rotate(M_7, -(45 * b_2), C) → A_{10}
  582. Rotate(N_7, -(45 * b_2), C) → B_{10}
  583. Segment(A_{10}, B_{10}) → c_9
  584. Rotate(O_7, -(45 * b_2), C) → C_{10}
  585. Rotate(P_7, -(45 * b_2), C) → D_{10}
  586. Segment(C_{10}, D_{10}) → d_9
  587. Rotate(Q_7, -(45 * b_2), C) → E_{10}
  588. Rotate(R_7, -(45 * b_2), C) → F_{10}
  589. Segment(E_{10}, F_{10}) → e_9
  590. Rotate(S_7, -(45 * b_2), C) → G_{10}
  591. Rotate(T_7, -(45 * b_2), C) → H_{10}
  592. Segment(G_{10}, H_{10}) → f_9
  593. Rotate(U_7, -(45 * b_2), C) → I_{10}
  594. Rotate(V_7, -(45 * b_2), C) → J_{10}
  595. Segment(I_{10}, J_{10}) → g_9
  596. Rotate(W_7, -(45 * b_2), C) → K_{10}
  597. Rotate(Z_7, -(45 * b_2), C) → L_{10}
  598. Segment(K_{10}, L_{10}) → h_9
  599. Rotate(C'', -(45 * b_2), C) → C'''_1
  600. Rotate(L'', -(45 * b_2), C) → L'''_1
  601. Segment(C'''_1, L'''_1) → i_9
  602. Rotate(G_4, -(45 * b_2), C) → M_{10}
  603. Rotate(H_4, -(45 * b_2), C) → N_{10}
  604. Segment(M_{10}, N_{10}) → j_9
  605. Rotate(I_4, -(45 * b_2), C) → O_{10}
  606. Rotate(J_4, -(45 * b_2), C) → P_{10}
  607. Segment(O_{10}, P_{10}) → k_9
  608. Rotate(K_4, -(45 * b_2), C) → Q_{10}
  609. Rotate(L_4, -(45 * b_2), C) → R_{10}
  610. Segment(Q_{10}, R_{10}) → l_9
  611. Rotate(M_4, -(45 * b_2), C) → S_{10}
  612. Rotate(N_4, -(45 * b_2), C) → T_{10}
  613. Segment(S_{10}, T_{10}) → m_9
  614. Rotate(O_4, -(45 * b_2), C) → U_{10}
  615. Rotate(P_4, -(45 * b_2), C) → V_{10}
  616. Segment(U_{10}, V_{10}) → n_9
  617. Rotate(Q_4, -(45 * b_2), C) → W_{10}
  618. Rotate(R_4, -(45 * b_2), C) → Z_{10}
  619. Segment(W_{10}, Z_{10}) → p_9
  620. Rotate(S_4, -(45 * b_2), C) → A_{11}
  621. Rotate(T_4, -(45 * b_2), C) → B_{11}
  622. Segment(A_{11}, B_{11}) → q_9
  623. Rotate(U_4, -(45 * b_2), C) → C_{11}
  624. Rotate(V_4, -(45 * b_2), C) → D_{11}
  625. Segment(C_{11}, D_{11}) → r_9
  626. Rotate(W_4, -(45 * b_2), C) → E_{11}
  627. Rotate(Z_4, -(45 * b_2), C) → F_{11}
  628. Segment(E_{11}, F_{11}) → s_9
  629. Rotate(A_5, -(45 * b_2), C) → G_{11}
  630. Rotate(B_5, -(45 * b_2), C) → H_{11}
  631. Segment(G_{11}, H_{11}) → t_9
  632. Rotate(C_5, -(45 * b_2), C) → I_{11}
  633. Rotate(D_5, -(45 * b_2), C) → J_{11}
  634. Segment(I_{11}, J_{11}) → a_{10}
  635. Rotate(E_5, -(45 * b_2), C) → K_{11}
  636. Rotate(F_5, -(45 * b_2), C) → L_{11}
  637. Segment(K_{11}, L_{11}) → b_{10}
  638. Rotate(G_5, -(45 * b_2), C) → M_{11}
  639. Rotate(H_5, -(45 * b_2), C) → N_{11}
  640. Segment(M_{11}, N_{11}) → c_{10}
  641. Rotate(I_5, -(45 * b_2), C) → O_{11}
  642. Rotate(J_5, -(45 * b_2), C) → P_{11}
  643. Segment(O_{11}, P_{11}) → b'''_1
  644. Rotate(A'_1, -b_1, A) → A_3
  645. Rotate(G, -b_1, A) → G'_2
  646. Segment(A_3, G'_2) → j''_2
  647. Rotate(A'_7, -b_1, A) → K_3
  648. Rotate(U, -b_1, A) → U'_1
  649. Segment(K_3, U'_1) → n
  650. Rotate(M, -b_1, A) → M'_1
  651. Rotate(G', -b_1, A) → G''_1
  652. Segment(M'_1, G''_1) → j'''_1
  653. Rotate(A'_{13}, -b_1, A) → Q_{11}
  654. Rotate(R_1, -b_1, A) → R_{11}
  655. Segment(Q_{11}, R_{11}) → e_2
  656. Rotate(J_1, -b_1, A) → S_{11}
  657. Rotate(G'_1, -b_1, A) → T_{11}
  658. Segment(S_{11}, T_{11}) → j_2
  659. Rotate(B_1, -b_1, A) → U_{11}
  660. Rotate(U', -b_1, A) → U''_1
  661. Segment(U_{11}, U''_1) → p'_1
  662. Rotate(M', -b_1, A) → M''_2
  663. Rotate(G'', -b_1, A) → G'''_2
  664. Segment(M''_2, G'''_2) → s_2
  665. Rotate(T_2, -b_1, A) → V_{11}
  666. Rotate(U_2, -b_1, A) → W_{11}
  667. Segment(V_{11}, W_{11}) → a_3
  668. Rotate(H_2, -b_1, A) → Z_{11}
  669. Rotate(I_2, -b_1, A) → A_{12}
  670. Segment(Z_{11}, A_{12}) → h_3
  671. Rotate(V_1, -b_1, A) → B_{12}
  672. Rotate(U'', -b_1, A) → U'''_1
  673. Segment(B_{12}, U'''_1) → p''_1
  674. Rotate(M'', -b_1, A) → M'''_1
  675. Rotate(G''', -b_1, A) → C_{12}
  676. Segment(M'''_1, C_{12}) → d_{10}
  677. Rotate(M''_1, -b_1, A) → D_{12}
  678. Rotate(G'''_1, -b_1, A) → E_{12}
  679. Segment(D_{12}, E_{12}) → e_{10}
  680. Rotate(Z_3, -b_1, A) → F_{12}
  681. Rotate(A_4, -b_1, A) → G_{12}
  682. Segment(F_{12}, G_{12}) → f_{10}
  683. Rotate(L_3, -b_1, A) → H_{12}
  684. Rotate(M_3, -b_1, A) → I_{12}
  685. Segment(H_{12}, I_{12}) → g_{10}
  686. Rotate(B_3, -b_1, A) → J_{12}
  687. Rotate(U''', -b_1, A) → K_{12}
  688. Segment(J_{12}, K_{12}) → p'''
  689. Rotate(M''', -b_1, A) → L_{12}
  690. Rotate(W_2, -b_1, A) → M_{12}
  691. Segment(L_{12}, M_{12}) → h_{10}
  692. Rotate(B_4, -b_1, A) → N_{12}
  693. Rotate(W'_1, -b_1, A) → O_{12}
  694. Segment(N_{12}, O_{12}) → i_{10}
  695. Rotate(V_3, -b_1, A) → P_{12}
  696. Rotate(W_3, -b_1, A) → Q_{12}
  697. Segment(P_{12}, Q_{12}) → j_{10}
  698. Rotate(P_{12}, -(4 * b_1), A) → R_{12}
  699. Rotate(Q_{12}, -(4 * b_1), A) → S_{12}
  700. Segment(R_{12}, S_{12}) → k_{10}
  701. Rotate(V_3, -(4 * b_1), A) → T_{12}
  702. Rotate(W_3, -(4 * b_1), A) → U_{12}
  703. Segment(T_{12}, U_{12}) → l_{10}
  704. Rotate(N_{12}, -(4 * b_1), A) → V_{12}
  705. Rotate(O_{12}, -(4 * b_1), A) → W_{12}
  706. Segment(V_{12}, W_{12}) → m_{10}
  707. Rotate(B_4, -(4 * b_1), A) → Z_{12}
  708. Rotate(W'_1, -(4 * b_1), A) → A_{13}
  709. Segment(Z_{12}, A_{13}) → n_{10}
  710. Rotate(R_{12}, -(35 * b_1), A) → B_{13}
  711. Rotate(S_{12}, -(35 * b_1), A) → C_{13}
  712. Segment(B_{13}, C_{13}) → p_{10}
  713. Rotate(T_{12}, -(35 * b_1), A) → D_{13}
  714. Rotate(U_{12}, -(35 * b_1), A) → E_{13}
  715. Segment(D_{13}, E_{13}) → q_{10}
  716. Rotate(V_{12}, -(35 * b_1), A) → F_{13}
  717. Rotate(W_{12}, -(35 * b_1), A) → G_{13}
  718. Segment(F_{13}, G_{13}) → r_{10}
  719. Rotate(Z_{12}, -(35 * b_1), A) → H_{13}
  720. Rotate(A_{13}, -(35 * b_1), A) → I_{13}
  721. Segment(H_{13}, I_{13}) → s_{10}
  722. Rotate(P_{12}, -(35 * b_1), A) → J_{13}
  723. Rotate(Q_{12}, -(35 * b_1), A) → K_{13}
  724. Segment(J_{13}, K_{13}) → t_{10}
  725. Rotate(V_3, -(35 * b_1), A) → L_{13}
  726. Rotate(W_3, -(35 * b_1), A) → M_{13}
  727. Segment(L_{13}, M_{13}) → a_{11}
  728. Rotate(N_{12}, -(35 * b_1), A) → N_{13}
  729. Rotate(O_{12}, -(35 * b_1), A) → O_{13}
  730. Segment(N_{13}, O_{13}) → b_{11}
  731. Rotate(B_4, -(35 * b_1), A) → P_{13}
  732. Rotate(W'_1, -(35 * b_1), A) → Q_{13}
  733. Segment(P_{13}, Q_{13}) → c_{11}
  734. Rotate(L_{12}, -(35 * b_1), A) → R_{13}
  735. Rotate(M_{12}, -(35 * b_1), A) → S_{13}
  736. Segment(R_{13}, S_{13}) → d_{11}
  737. Rotate(M''', -(35 * b_1), A) → T_{13}
  738. Rotate(W_2, -(35 * b_1), A) → U_{13}
  739. Segment(T_{13}, U_{13}) → e_{11}
  740. Rotate(N''', -(35 * b_1), A) → V_{13}
  741. Rotate(O''', -(35 * b_1), A) → W_{13}
  742. Segment(V_{13}, W_{13}) → f_{11}
  743. Rotate(P''', -(35 * b_1), A) → Z_{13}
  744. Rotate(Q''', -(35 * b_1), A) → A_{14}
  745. Segment(Z_{13}, A_{14}) → g_{11}
  746. Rotate(R''', -(35 * b_1), A) → B_{14}
  747. Rotate(S''', -(35 * b_1), A) → C_{14}
  748. Segment(B_{14}, C_{14}) → h_{11}
  749. Rotate(T''', -(35 * b_1), A) → D_{14}
  750. Rotate(Z_2, -(35 * b_1), A) → E_{14}
  751. Segment(D_{14}, E_{14}) → i_{11}
  752. Rotate(J_{12}, -(35 * b_1), A) → F_{14}
  753. Rotate(K_{12}, -(35 * b_1), A) → G_{14}
  754. Segment(F_{14}, G_{14}) → j_{11}
  755. Rotate(B_3, -(35 * b_1), A) → H_{14}
  756. Rotate(U''', -(35 * b_1), A) → I_{14}
  757. Segment(H_{14}, I_{14}) → p'''_1
  758. Rotate(C_3, -(35 * b_1), A) → J_{14}
  759. Rotate(D_3, -(35 * b_1), A) → K_{14}
  760. Segment(J_{14}, K_{14}) → q'''
  761. Rotate(E_3, -(35 * b_1), A) → L_{14}
  762. Rotate(F_3, -(35 * b_1), A) → M_{14}
  763. Segment(L_{14}, M_{14}) → r'''
  764. Rotate(G_3, -(35 * b_1), A) → N_{14}
  765. Rotate(H_3, -(35 * b_1), A) → O_{14}
  766. Segment(N_{14}, O_{14}) → s'''
  767. Rotate(I_3, -(35 * b_1), A) → P_{14}
  768. Rotate(V''', -(35 * b_1), A) → Q_{14}
  769. Segment(P_{14}, Q_{14}) → k_{11}
  770. Rotate(H_{12}, -(35 * b_1), A) → R_{14}
  771. Rotate(I_{12}, -(35 * b_1), A) → S_{14}
  772. Segment(R_{14}, S_{14}) → l_{11}
  773. Rotate(L_3, -(35 * b_1), A) → T_{14}
  774. Rotate(M_3, -(35 * b_1), A) → U_{14}
  775. Segment(T_{14}, U_{14}) → m_{11}
  776. Rotate(N_3, -(35 * b_1), A) → V_{14}
  777. Rotate(O_3, -(35 * b_1), A) → W_{14}
  778. Segment(V_{14}, W_{14}) → n_{11}
  779. Rotate(P_3, -(35 * b_1), A) → Z_{14}
  780. Rotate(Q_3, -(35 * b_1), A) → A_{15}
  781. Segment(Z_{14}, A_{15}) → p_{11}
  782. Rotate(R_3, -(35 * b_1), A) → B_{15}
  783. Rotate(S_3, -(35 * b_1), A) → C_{15}
  784. Segment(B_{15}, C_{15}) → q_{11}
  785. Rotate(T_3, -(35 * b_1), A) → D_{15}
  786. Rotate(U_3, -(35 * b_1), A) → E_{15}
  787. Segment(D_{15}, E_{15}) → r_{11}
  788. Rotate(F_{12}, -(35 * b_1), A) → F_{15}
  789. Rotate(G_{12}, -(35 * b_1), A) → G_{15}
  790. Segment(F_{15}, G_{15}) → s_{11}
  791. Rotate(Z_3, -(35 * b_1), A) → H_{15}
  792. Rotate(A_4, -(35 * b_1), A) → I_{15}
  793. Segment(H_{15}, I_{15}) → t_{11}
  794. Rotate(D_{12}, -(35 * b_1), A) → J_{15}
  795. Rotate(E_{12}, -(35 * b_1), A) → K_{15}
  796. Segment(J_{15}, K_{15}) → a_{12}
  797. Rotate(M''_1, -(35 * b_1), A) → L_{15}
  798. Rotate(G'''_1, -(35 * b_1), A) → M_{15}
  799. Segment(L_{15}, M_{15}) → b_{12}
  800. Rotate(M'''_1, -(35 * b_1), A) → N_{15}
  801. Rotate(C_{12}, -(35 * b_1), A) → O_{15}
  802. Segment(N_{15}, O_{15}) → c_{12}
  803. Rotate(M'', -(35 * b_1), A) → M'''_2
  804. Rotate(G''', -(35 * b_1), A) → P_{15}
  805. Segment(M'''_2, P_{15}) → d_{12}
  806. Rotate(N'', -(35 * b_1), A) → N'''_1
  807. Rotate(O'', -(35 * b_1), A) → O'''_1
  808. Segment(N'''_1, O'''_1) → e_{12}
  809. Rotate(P'', -(35 * b_1), A) → P'''_1
  810. Rotate(Q'', -(35 * b_1), A) → Q'''_1
  811. Segment(P'''_1, Q'''_1) → f_{12}
  812. Rotate(R'', -(35 * b_1), A) → R'''_1
  813. Rotate(S'', -(35 * b_1), A) → S'''_1
  814. Segment(R'''_1, S'''_1) → g_{12}
  815. Rotate(B_{13}, -b_1, A) → Q_{15}
  816. Rotate(C_{13}, -b_1, A) → R_{15}
  817. Segment(Q_{15}, R_{15}) → h_{12}

AI Drawing Prompt Reference

Draw two circles and two arcs to represent two fractions. First, draw two circles, then draw two arcs by rotating them. Finally, draw multiple line segments to show the equivalent forms and comparison of the fractions.
The prompt above was compiled from the original drawing commands and is for reference only.