MathPlotAI Logo MathPlotAI

Comparing Fractions by sonom

Comparing Fractions by sonom
Loading the math board and drawing, please wait…
2014-07-07 05:48
Geometric Construction
In collections CBSE Class VI Maths Fraction Skills
This example dynamically demonstrates the comparison of different fractions, involving core math concepts like fractions, percentages, secant lines, rectangles, quadratic equations, and conditional probability. It constructs using commands such as Vector, Translate, Rotate, Circle, Segment, and CircleSector, making it suitable for middle school and above students to understand fraction comparison and geometric transformations.

GeoGebra Commands & Parameters

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

AI Drawing Prompt Reference

Draw a dynamic illustration comparing fractions, incorporating core math concepts like fractions, percentages, secant lines, rectangles, quadratic equations, and conditional probability. The construction involves vectors, translations, rotations, circles, segments, and sectors, suitable for middle school and above students to understand fraction comparison and geometric transformations.
The prompt above was compiled from the original drawing commands and is for reference only.