巴瓦雷尔立方体

GeoGebra 命令及参数

1. Intersect(xAxis, zAxis) → A
2. Point(xAxis) → B
3. Midpoint(A, B) → M_{AB}
4. Segment(A + (0.001, 0), M_{AB}) → q_{13}
5. Point(Circle[B, Distance[A, B], Segment[A, B]]) → C
6. Cube(A, B, C) → a, D, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, E, edgeBF, edgeFG, edgeCG, edgeGH, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF
7. Net(a, b) → c, I, R, S, T, U, V, faceIJKL, faceILNM, faceIJRQ, faceJKTS, faceKLVU, J, faceMNOP, edgeIL, edgeIJ, edgeJK, edgeKL, edgeLN, edgeMN, edgeIM, edgeIQ, edgeQR, K, edgeJR, edgeJS, edgeST, edgeKT, edgeKU, edgeUV, edgeLV, edgeNO, edgeOP, edgeMP, L, M, N, O, P, Q
8. Distance(A, W) → AW
9. Polygon(W, W_1, 4, xOyPlane) → poly1, f, g, h, i, Z, A_1
10. Distance(A, B) → AB
11. Circle(W, (r * Distance[W, W_1]), xOyPlane) → d
12. Intersect(f, d) → B_1, U_5
13. Circle(W_1, Radius[d], xOyPlane) → r_2
14. Intersect(g, r_2) → C_1, V_5
15. Polygon(B_1, C_1, 4, xOyPlane) → poly2, j, k, l, m, D_1, E_1
16. Circle(B_1, (r * Distance[B_1, C_1]), xOyPlane) → p
17. Intersect(j, p) → F_1, W_5
18. Circle(C_1, Radius[p], xOyPlane) → r_3
19. Intersect(k, r_3) → G_1, C_6
20. Polygon(F_1, G_1, 4, xOyPlane) → poly3, n, s, t, f_1, H_1, I_1
21. Circle(F_1, (r * Distance[F_1, G_1]), xOyPlane) → c_1
22. Intersect(n, c_1) → J_1, D_6
23. Circle(G_1, Radius[c_1], xOyPlane) → r_4
24. Intersect(s, r_4) → K_1, E_6
25. Polygon(J_1, K_1, 4, xOyPlane) → poly4, g_1, h_1, i_1, j_1, L_1, M_1
26. Polygon(W, B, W_1) → t1_b, w_1, w, b_1
27. Polygon(B_1, W_1, C_1) → t2_b, c_2, b_2, w_2
28. Polygon(F_1, C_1, G_1) → t3_b, g_2, f_2, c_3
29. Polygon(J_1, G_1, K_1) → t4_b, k_1, j_2, g_3
30. Circle(J_1, (r * Distance[J_1, K_1]), xOyPlane) → e_1
31. Intersect(g_1, g_3) → N_1
32. Intersect(g_1, g_3) → O_1
33. Intersect(g_1, g_3) → P_1
34. Intersect(g_1, g_3) → Q_1
35. Intersect(g_1, g_3) → R_1
36. Intersect(g_1, g_3) → S_1
37. Intersect(g_1, g_3) → T_1
38. Intersect(g_1, g_3) → U_1
39. Intersect(g_1, g_3) → V_1
40. Intersect(g_3, e_1) → Z_1, A_2
41. Circle(K_1, Radius[e_1], xOyPlane) → r_5
42. Intersect(h_1, r_5) → B_2, F_6
43. Polygon(A_2, B_2, 4, xOyPlane) → poly5, l_1, m_1, n_1, q_1, C_2, D_2
44. Polygon(B_2, K_1, A_2) → t5_b, a_2, b_3, k_2
45. Circle(B, W_1, faceJKTS) → r_1
46. Circle(S, Radius[r_1], faceJKTS) → s_1
47. Intersect(edgeJS, s_1) → E_2, F_2
48. Polygon(W_1, F_2, 4, faceJKTS) → poly6, t_1, a_1, h_2, i_2, G_2, H_2
49. Polygon(B, F_2, W_1) → t1_b', w_3, b_4, f_3
50. Circle(F_2, Radius[d], faceJKTS) → d_2
51. Circle(W_1, Radius[d_2], faceJKTS) → e_2
52. Intersect(i_2, e_2, 2) → I_2
53. Intersect(t_1, d_2, 2) → J_2
54. Polygon(I_2, J_2, 4, faceJKTS) → poly7, l_2, m_2, n_2, p_2, K_2, L_2
55. Circle(I_2, Radius[p], faceJKTS) → q_2
56. Circle(J_2, Radius[p], faceJKTS) → r_{13}
57. Intersect(p_2, q_2) → M_2, N_2
58. Intersect(l_2, r_{13}) → O_2, P_2
59. Polygon(N_2, P_2, 4, faceJKTS) → poly8, s_2, t_2, h_3, i_3, Q_2, R_2
60. Circle(N_2, Radius[c_1], faceJKTS) → d_3
61. Circle(P_2, Radius[c_1], faceJKTS) → e_3
62. Intersect(i_3, d_3) → S_2, T_2
63. Intersect(s_2, e_3) → U_2, V_2
64. Polygon(T_2, V_2, 4, faceJKTS) → poly9, j_3, k_3, l_3, m_3, W_2, Z_2
65. Circle(T_2, Radius[r_5], faceJKTS) → p_3
66. Circle(V_2, Radius[r_5], faceJKTS) → q_3
67. Intersect(j_3, q_3) → A_3, B_3
68. Intersect(m_3, p_3) → C_3, D_3
69. Polygon(D_3, B_3, 4, faceJKTS) → poly10, n_3, r_{14}, s_3, t_3, E_3, F_3
70. Polygon(I_2, W_1, J_2) → t2_g', j_4, i_4, w_4
71. Polygon(N_2, I_2, P_2) → t3_p', p_4, n_4, i_5
72. Polygon(T_2, N_2, V_2) → t4_y', v_2, t_4, n_5
73. Polygon(D_3, T_2, B_3) → t5_b', b_5, d_4, t_5
74. Circle(A_2, (r * Distance[A_2, B_2]), xOyPlane) → c_4
75. Circle(B_2, Radius[c_4], xOyPlane) → r_6
76. Circle(D_3, Radius[r_6], faceJKTS) → f_4
77. Circle(B_3, Radius[f_4], faceJKTS) → g_4
78. Intersect(t_3, f_4) → G_3, H_3
79. Intersect(n_3, t_5) → I_3
80. Intersect(n_3, t_5) → J_3
81. Intersect(n_3, t_5) → K_3
82. Intersect(n_3, t_5) → L_3
83. Intersect(n_3, t_5) → M_3
84. Intersect(t_5, g_4) → N_3, G_6
85. Polygon(H_3, N_3, 4, faceJKTS) → poly11, a_3, h_4, k_4, l_4, O_3, P_3
86. Intersect(l_1, k_2) → Q_3
87. Intersect(k_2, c_4) → R_3, H_6
88. Intersect(faceIJKL, poly1) → S_3, T_3, U_3, V_3, W_3, Z_5, A_6, B_6
89. Intersect(m_1, r_6) → Z_3, I_6
90. Polygon(R_3, Z_3, 4, xOyPlane) → poly12, m_4, q_4, r_{15}, s_4, A_4, B_4
91. Circle(R_3, (r * Distance[R_3, Z_3]), xOyPlane) → c_5
92. Circle(Z_3, Radius[c_5], xOyPlane) → r_7
93. Intersect(m_4, c_5) → C_4, J_6
94. Intersect(q_4, r_7) → D_4, K_6
95. Polygon(C_4, D_4, 4, xOyPlane) → poly13, a_4, f_5, g_5, h_5, E_4, F_4
96. Circle(H_3, Radius[r_7], faceJKTS) → e_5
97. Circle(N_3, Radius[e_5], faceJKTS) → k_5
98. Intersect(t_5, a_3) → G_4
99. Intersect(a_3, k_5) → H_4, I_4
100. Intersect(l_4, e_5) → J_4, K_4
101. Polygon(K_4, I_4, 4, faceJKTS) → poly14, j_5, l_5, m_5, p_5, L_4, M_4
102. Circle(C_4, (r * Distance[C_4, D_4]), xOyPlane) → q_5
103. Intersect(a_4, q_5) → N_4, L_6
104. Circle(D_4, Radius[q_5], xOyPlane) → r_8
105. Circle(K_4, Radius[r_8], faceJKTS) → s_5
106. Circle(I_4, Radius[s_5], faceJKTS) → c_6
107. Intersect(p_5, s_5) → O_4, P_4
108. Intersect(j_5, c_6) → Q_4, R_4
109. Polygon(P_4, R_4, 4, faceJKTS) → poly15, a_5, f_6, g_6, h_6, S_4, T_4
110. Intersect(f_5, r_8) → U_4, M_6
111. Polygon(N_4, U_4, 4, xOyPlane) → poly16, i_6, j_6, k_6, l_6, V_4, W_4
112. Circle(N_4, (r * Distance[N_4, U_4]), xOyPlane) → d_6
113. Intersect(i_6, d_6) → Z_4, N_6
114. Circle(U_4, Radius[d_6], xOyPlane) → r_9
115. Intersect(j_6, r_9) → A_5, O_6
116. Polygon(Z_4, A_5, 4, xOyPlane) → poly17, m_6, n_6, p_6, q_6, B_5, C_5
117. Circle(P_4, Radius[r_9], faceJKTS) → r_{12}
118. Circle(R_4, Radius[r_{12}], faceJKTS) → s_6
119. Intersect(h_6, r_{12}) → D_5, E_5
120. Intersect(a_5, s_6) → F_5, G_5
121. Polygon(E_5, G_5, 4, faceJKTS) → poly18, t_6, a_6, b_6, f_7, H_5, I_5
122. Circle(Z_4, (r * Distance[Z_4, A_5]), xOyPlane) → c_7
123. Circle(A_5, Radius[c_7], xOyPlane) → r_{10}
124. Circle(E_5, Radius[c_7], faceJKTS) → e_7
125. Circle(G_5, Radius[e_7], faceJKTS) → g_7
126. Intersect(f_7, e_7) → J_5, K_5
127. Intersect(t_6, g_7) → L_5, M_5
128. Polygon(K_5, M_5, 4, faceJKTS) → poly19, h_7, i_7, j_7, k_7, N_5, O_5
129. Intersect(n_6, r_{10}) → P_5, P_6
130. Intersect(m_6, c_7) → Q_5, Q_6
131. Polygon(Q_5, P_5, 4, xOyPlane) → poly20, l_7, m_7, n_7, p_7, R_5, S_5
132. Polygon(R_3, B_2, Z_3) → t6_b, z_3, r_{11}, b_7
133. Polygon(Z_3, D_4, C_4) → t7_b, c_8, z_1, d_8
134. Polygon(D_4, U_4, N_4) → t8_b, n_8, d_9, u_4
135. Polygon(U_4, A_5, Z_4) → t9_b, z_4, u_1, a_7
136. Polygon(A_5, P_5, Q_5) → t10_b, q_7, a_8, p_8
137. Polygon(N_3, D_3, H_3) → t6_g', h_8, n_9, d_1
138. Polygon(I_4, H_3, K_4) → t7_p', k_8, i_8, h_9
139. Polygon(R_4, K_4, P_4) → t8_y', p_1, r_{16}, k_9
140. Polygon(G_5, P_4, E_5) → t9_b', e_4, g_8, p_9
141. Polygon(M_5, E_5, K_5) → t10_g', k_{10}, m_8, e_6
142. Polygon(Z, C, W_1) → t1_g, w_5, z_2, c_9
143. Polygon(D_1, Z, C_1) → t2_g, c_{11}, d_7, z_6
144. Polygon(H_1, D_1, G_1) → t3_g, g_9, h_{10}, d_5
145. Polygon(L_1, H_1, K_1) → t4_g, k_{11}, l_8, h_{11}
146. Polygon(C_2, L_1, B_2) → t5_g, b_8, c_{10}, l_9
147. Polygon(A_4, C_2, Z_3) → t6_g, z_5, a_9, c_{12}
148. Polygon(E_4, A_4, D_4) → t7_g, d_{10}, e_8, a_{10}
149. Polygon(E_4, V_4, U_4) → t8_g, u_2, e_9, v_4
150. Polygon(V_4, B_5, A_5) → t9_g, a_{11}, v_1, b_9
151. Polygon(P_5, B_5, R_5) → t10_g, r_{17}, p_{10}, b_{10}
152. Polygon(W_1, C, H_2) → t1_g', h_{12}, w_6, c_{13}
153. Polygon(H_2, I_2, L_2) → t2_p', l_{10}, h_{13}, i_9
154. Polygon(L_2, N_2, R_2) → t3_y', r_{18}, l_{11}, n_{10}
155. Polygon(R_2, T_2, Z_2) → t4_b', z_7, r_{19}, t_7
156. Polygon(Z_2, D_3, F_3) → t5_g', f_8, z_8, d_{11}
157. Polygon(F_3, H_3, P_3) → t6_p', p_{11}, f_9, h_{14}
158. Polygon(K_4, P_3, M_4) → t7_y', m_9, k_{12}, p_{12}
159. Polygon(P_4, M_4, T_4) → t8_b', t_8, p_{13}, m_{10}
160. Polygon(E_5, T_4, I_5) → t9_g', i_{10}, e_{10}, t_9
161. Polygon(K_5, I_5, O_5) → t10_p', o_5, k_{13}, i_{11}
162. Polygon(A_1, A, W) → t1_p, w_7, a_{12}, a_{13}
163. Polygon(E_1, W, B_1) → t2_p, b_{11}, e_{11}, w_8
164. Polygon(I_1, B_1, F_1) → t3_p, f_{10}, i_{12}, b_{12}
165. Polygon(M_1, F_1, J_1) → t4_p, j_8, m_{11}, f_{11}
166. Polygon(D_2, J_1, A_2) → t5_p, a_{14}, d_{12}, j_9
167. Polygon(B_4, A_2, R_3) → t6_p, r_{20}, b_{13}, a_{15}
168. Polygon(F_4, R_3, C_4) → t7_p, c_{14}, f_{12}, r_{21}
169. Polygon(W_4, C_4, N_4) → t8_p, n_{11}, w_9, c_{15}
170. Polygon(C_5, N_4, Z_4) → t9_p, z_9, c_{16}, n_{12}
171. Polygon(S_5, Z_4, Q_5) → t10_p, q_8, s_7, z_{10}
172. Polygon(G_2, F_2, S) → t1_y', s_8, g_{10}, f_{13}
173. Polygon(K_2, J_2, F_2) → t2_b', f_{14}, k_{14}, j_{10}
174. Polygon(Q_2, P_2, J_2) → t3_g', j_{11}, q_9, p_{14}
175. Polygon(V_2, P_2, W_2) → t4_p', w_{10}, v_3, p_{15}
176. Polygon(B_3, V_2, E_3) → t5_y', e_{12}, b_{14}, v_5
177. Polygon(B_3, N_3, O_3) → t6_b', o_3, b_{15}, n_{13}
178. Polygon(N_3, I_4, L_4) → t7_g', l_{12}, n_{14}, i_{13}
179. Polygon(I_4, R_4, S_4) → t8_p', s_9, i_{14}, r_{22}
180. Polygon(R_4, G_5, H_5) → t9_y', h_{15}, r_{23}, g_{11}
181. Polygon(G_5, M_5, N_5) → t10_b', n_{15}, g_{12}, m_{12}
182. Polygon(Z, D, A_1) → t1_y, a_{16}, z_{11}, d_{13}
183. Polygon(D_1, A_1, E_1) → t2_y, e_{13}, d_{14}, a_{17}
184. Polygon(H_1, E_1, I_1) → t3_y, i_{15}, h_{16}, e_{14}
185. Polygon(L_1, I_1, M_1) → t4_y, m_{13}, l_{13}, i_{16}
186. Polygon(C_2, M_1, D_2) → t5_y, d_{15}, c_{17}, m_{14}
187. Polygon(A_4, D_2, B_4) → t6_y, b_{16}, a_{18}, d_{16}
188. Polygon(E_4, B_4, F_4) → t7_y, f_{15}, e_{15}, b_{17}
189. Polygon(V_4, F_4, W_4) → t8_y, w_{11}, v_6, f_{16}
190. Polygon(B_5, W_4, C_5) → t9_y, c_{18}, b_{18}, w_{12}
191. Polygon(R_5, C_5, S_5) → t10_y, s_{10}, r_{24}, c_{19}
192. Polygon(G_2, T, H_2) → t1_p', q, e, t_{11}
193. Polygon(L_2, G_2, K_2) → t2_y', k_{15}, l_{14}, g_{15}
194. Polygon(R_2, K_2, Q_2) → t3_b', q_{10}, r_{25}, k_{16}
195. Polygon(Z_2, Q_2, W_2) → t4_g', w_{13}, z_{12}, q_{11}
196. Polygon(F_3, W_2, E_3) → t5_p', e_{16}, f_{17}, w_{14}
197. Polygon(P_3, E_3, O_3) → t6_y', o_1, p_{16}, e_{17}
198. Polygon(M_4, O_3, L_4) → t7_b', l_{15}, m_{15}, o_2
199. Polygon(T_4, L_4, S_4) → t8_g', s_{11}, t_{10}, l_{16}
200. Polygon(I_5, S_4, H_5) → t9_p', h_{18}, i_{17}, s_{12}
201. Polygon(H_5, O_5, N_5) → t10_y', n_{16}, h_{19}, o_4
202. Plane(K, B, R) → o
203. Line(K, B) → j_{12}
204. Line(R, B) → q_{12}
205. Angle(K, B, R, o) → α
206. Line(I, B) → t_{12}
207. Rotate(t1_b, α, t_{12}) → t1_b''
208. Rotate(t2_b, α, t_{12}) → t2_y''
209. Rotate(t3_y, α, t_{12}) → t3_b''
210. Rotate(t4_g, α, t_{12}) → t4_b''
211. Rotate(t5_b, α, t_{12}) → t5_b''
212. Rotate(t6_p, α, t_{12}) → t6_b''
213. Rotate(t7_y, α, t_{12}) → t7_b''
214. Rotate(t8_b, α, t_{12}) → t8_p''
215. Rotate(t9_b, α, t_{12}) → t9_b''
216. Rotate(t10_b, α, t_{12}) → t10_y''
217. Rotate(t1_p, α, t_{12}) → t1_p''
218. Rotate(t2_p, α, t_{12}) → t2_b''
219. Rotate(t3_g, α, t_{12}) → t3_p''
220. Rotate(t4_b, α, t_{12}) → t4_p''
221. Rotate(t5_p, α, t_{12}) → t5_p''
222. Rotate(t6_y, α, t_{12}) → t6_p''
223. Rotate(t7_g, α, t_{12}) → t7_p''
224. Rotate(t8_p, α, t_{12}) → t8_g''
225. Rotate(t9_p, α, t_{12}) → t9_p''
226. Rotate(t10_p, α, t_{12}) → t10_b''
227. OrthogonalLine(B, xOyPlane) → g_{13}
228. Rotate(t2_y, α, t_{12}) → t2_p''
229. Rotate(t8_g, α, t_{12}) → t8_b''
230. Rotate(t10_y, α, t_{12}) → t10_p''
231. Rotate(t8_y, α, t_{12}) → t8_y''
232. Rotate(t9_y, α, t_{12}) → t9_g''
233. Rotate(t10_g, α, t_{12}) → t10_g''
234. Rotate(t9_g, α, t_{12}) → t9_y''
235. Rotate(t7_p, α, t_{12}) → t7_y''
236. Rotate(t7_b, α, t_{12}) → t7_g''
237. Rotate(t6_g, α, t_{12}) → t6_g''
238. Rotate(t6_b, α, t_{12}) → t6_y''
239. Rotate(t5_y, α, t_{12}) → t5_g''
240. Rotate(t5_g, α, t_{12}) → t5_y''
241. Rotate(t4_p, α, t_{12}) → t4_g''
242. Rotate(t4_y, α, t_{12}) → t4_y''
243. Rotate(t3_p, α, t_{12}) → t3_y''
244. Rotate(t1_g, α, t_{12}) → t1_y''
245. Rotate(t3_b, α, t_{12}) → t3_g''
246. Rotate(t2_g, α, t_{12}) → t2_g''
247. Rotate(t1_y, α, t_{12}) → t1_g''
248. Line(D, K) → j_{13}
249. Rotate(t1_g, (-α), j_{13}) → t1_g'''
250. Rotate(t2_b, (-α), j_{13}) → t2_g'''
251. Rotate(t3_p, (-α), j_{13}) → t3_g'''
252. Rotate(t4_y, (-α), j_{13}) → t4_g'''
253. Rotate(t5_g, (-α), j_{13}) → t5_g'''
254. Rotate(t6_b, (-α), j_{13}) → t6_g'''
255. Rotate(t7_p, (-α), j_{13}) → t7_g'''
256. Rotate(t8_y, (-α), j_{13}) → t8_g'''
257. Rotate(t9_g, (-α), j_{13}) → t9_g'''
258. Rotate(t10_b, (-α), j_{13}) → t10_g'''
259. Rotate(t1_b, (-α), j_{13}) → t1_p'''
260. Rotate(t2_p, (-α), j_{13}) → t2_p'''
261. Rotate(t3_y, (-α), j_{13}) → t3_p'''
262. Rotate(t4_g, (-α), j_{13}) → t4_p'''
263. Rotate(t5_b, (-α), j_{13}) → t5_p'''
264. Rotate(t6_p, (-α), j_{13}) → t6_p'''
265. Rotate(t7_y, (-α), j_{13}) → t7_p'''
266. Rotate(t8_g, (-α), j_{13}) → t8_p'''
267. Rotate(t9_b, (-α), j_{13}) → t9_p'''
268. Rotate(t10_p, (-α), j_{13}) → t10_p'''
269. Rotate(t1_y, (-α), j_{13}) → t1_y'''
270. Rotate(t2_g, (-α), j_{13}) → t2_y'''
271. Rotate(t3_b, (-α), j_{13}) → t3_y'''
272. Rotate(t4_p, (-α), j_{13}) → t4_y'''
273. Rotate(t5_y, (-α), j_{13}) → t5_y'''
274. Rotate(t6_g, (-α), j_{13}) → t6_y'''
275. Rotate(t7_b, (-α), j_{13}) → t7_y'''
276. Rotate(t8_p, (-α), j_{13}) → t8_y'''
277. Rotate(t9_y, (-α), j_{13}) → t9_y'''
278. Rotate(t10_g, (-α), j_{13}) → t10_y'''
279. Rotate(t1_p, (-α), j_{13}) → t1_b'''
280. Rotate(t2_y, (-α), j_{13}) → t2_b'''
281. Rotate(t3_g, (-α), j_{13}) → t3_b'''
282. Rotate(t4_b, (-α), j_{13}) → t4_b'''
283. Rotate(t5_p, (-α), j_{13}) → t5_b'''
284. Rotate(t6_y, (-α), j_{13}) → t6_b'''
285. Rotate(t7_g, (-α), j_{13}) → t7_b'''
286. Rotate(t8_b, (-α), j_{13}) → t8_b'''
287. Rotate(t9_p, (-α), j_{13}) → t9_b'''
288. Rotate(t10_y, (-α), j_{13}) → t10_b'''
289. Rotate(t1_y, α, edgeAD) → t1_y''''
290. Rotate(t2_g, α, edgeAD) → t2_y''''
291. Rotate(t3_b, α, edgeAD) → t3_y''''
292. Rotate(t4_p, α, edgeAD) → t4_y''''
293. Rotate(t5_y, α, edgeAD) → t5_y''''
294. Rotate(t6_g, α, edgeAD) → t6_y''''
295. Rotate(t7_b, α, edgeAD) → t7_y''''
296. Rotate(t8_p, α, edgeAD) → t8_y''''
297. Rotate(t9_y, α, edgeAD) → t9_y''''
298. Rotate(t10_g, α, edgeAD) → t10_y''''
299. Rotate(t1_g, α, edgeAD) → t1_b''''
300. Rotate(t2_b, α, edgeAD) → t2_b''''
301. Rotate(t3_p, α, edgeAD) → t3_b''''
302. Rotate(t4_y, α, edgeAD) → t4_b''''
303. Rotate(t5_g, α, edgeAD) → t5_b''''
304. Rotate(t6_b, α, edgeAD) → t6_b''''
305. Rotate(t7_p, α, edgeAD) → t7_b''''
306. Rotate(t8_y, α, edgeAD) → t8_b''''
307. Rotate(t9_g, α, edgeAD) → t9_b''''
308. Rotate(t10_b, α, edgeAD) → t10_b''''
309. Rotate(t1_p, α, edgeAD) → t1_p''''
310. Rotate(t2_y, α, edgeAD) → t2_p''''
311. Rotate(t3_g, α, edgeAD) → t3_p''''
312. Rotate(t4_b, α, edgeAD) → t4_p''''
313. Rotate(t5_p, α, edgeAD) → t5_p''''
314. Rotate(t6_y, α, edgeAD) → t6_p''''
315. Rotate(t7_g, α, edgeAD) → t7_p''''
316. Rotate(t8_b, α, edgeAD) → t8_p''''
317. Rotate(t9_p, α, edgeAD) → t9_p''''
318. Rotate(t10_y, α, edgeAD) → t10_p''''
319. Rotate(t1_b, α, edgeAD) → t1_g''''
320. Rotate(t2_p, α, edgeAD) → t2_g''''
321. Rotate(t3_y, α, edgeAD) → t3_g''''
322. Rotate(t4_g, α, edgeAD) → t4_g''''
323. Rotate(t5_b, α, edgeAD) → t5_g''''
324. Rotate(t6_p, α, edgeAD) → t6_g''''
325. Rotate(t7_y, α, edgeAD) → t7_g''''
326. Rotate(t8_g, α, edgeAD) → t8_g''''
327. Rotate(t9_b, α, edgeAD) → t9_g''''
328. Rotate(t10_p, α, edgeAD) → t10_g''''
329. Rotate(t1_b'''', α, edgeMN) → t1_b'''''
330. Rotate(t2_y'''', α, edgeMN) → t2_b'''''
331. Rotate(t3_p'''', α, edgeMN) → t3_b'''''
332. Rotate(t4_g'''', α, edgeMN) → t4_b'''''
333. Rotate(t5_b'''', α, edgeMN) → t5_b'''''
334. Rotate(t6_y'''', α, edgeMN) → t6_b'''''
335. Rotate(t7_p'''', α, edgeMN) → t7_b'''''
336. Rotate(t8_g'''', α, edgeMN) → t8_b'''''
337. Rotate(t9_b'''', α, edgeMN) → t9_b'''''
338. Rotate(t10_y'''', α, edgeMN) → t10_b'''''
339. Rotate(t2_g'''', α, edgeMN) → t2_y'''''
340. Rotate(t1_p'''', α, edgeMN) → t1_y'''''
341. Rotate(t2_b'''', α, edgeMN) → t2_g'''''
342. Rotate(t1_g'''', α, edgeMN) → t1_g'''''
343. Rotate(t3_b'''', α, edgeMN) → t3_y'''''
344. Rotate(t4_y'''', α, edgeMN) → t4_y'''''
345. Rotate(t5_p'''', α, edgeMN) → t5_y'''''
346. Rotate(t6_g'''', α, edgeMN) → t6_y'''''
347. Rotate(t7_b'''', α, edgeMN) → t7_y'''''
348. Rotate(t8_y'''', α, edgeMN) → t8_y'''''
349. Rotate(t9_p'''', α, edgeMN) → t9_y'''''
350. Rotate(t10_g'''', α, edgeMN) → t10_y'''''
351. Rotate(t3_y'''', α, edgeMN) → t3_g'''''
352. Rotate(t4_p'''', α, edgeMN) → t4_g'''''
353. Rotate(t5_g'''', α, edgeMN) → t5_g'''''
354. Rotate(t6_b'''', α, edgeMN) → t6_g'''''
355. Rotate(t7_y'''', α, edgeMN) → t7_g'''''
356. Rotate(t8_p'''', α, edgeMN) → t8_g'''''
357. Rotate(t9_g'''', α, edgeMN) → t9_g'''''
358. Rotate(t10_b'''', α, edgeMN) → t10_g'''''
359. Rotate(t1_y'''', α, edgeMN) → t1_p'''''
360. Rotate(t2_p'''', α, edgeMN) → t2_p'''''
361. Rotate(t3_g'''', α, edgeMN) → t3_p'''''
362. Rotate(t4_b'''', α, edgeMN) → t4_p'''''
363. Rotate(t5_y'''', α, edgeMN) → t5_p'''''
364. Rotate(t6_p'''', α, edgeMN) → t6_p'''''
365. Rotate(t7_g'''', α, edgeMN) → t7_p'''''
366. Rotate(t8_b'''', α, edgeMN) → t8_p'''''
367. Rotate(t9_y'''', α, edgeMN) → t9_p'''''
368. Rotate(t10_p'''', α, edgeMN) → t10_p'''''