R' U' F B U2 F2 R2 B' L2 B L2 F U2 F U2 F' U' L' B' D L B' U R' U' F
U' L F' R U2 D' B2 D2 L' F2 R' U2 F2 U2 L2 U2 F2 L2 F R L U2 L'
U' L F' R D' (L U2 R' L' F') //10 4b2 (U2 * L2 U2 L^ D2 R^) (D2 B2 U2) * = U2 L2 F2 U2 L2 U2 F2 L2 //+4 ^ = w
R' U' F D B2 U2 F2 D' B2 U' B2 R2 D2 L2 D2 R B2 F' L D B2 U R' U2 R' U' F
U2 D2 L2 B2 L2 F2 L F2 B2 R' B2 R B2 R' B L F2 B' L2 U F' R' U
(U' R F U') (L2 F2 B L' B') //9 4b2 4e (R B2 R') //htr-4e (B2 R F2 B2 L') //htr (F2 L2 B2 L2 U2 D2)
R' U' F U R2 F2 D R2 U' L2 F2 D2 F2 R' U2 L' U R' B U2 R2 D R' U' F
R2 D2 R2 B2 U2 R' F2 R' U2 R' L' F2 D L2 D R U2 B2 R' D' B' R2 D'
(D R2 B) (D, R B2 U2 R' D' L2 D') //11 4b2 (F2 R2 #' B2 R U2 L #) (U2 B2 R2 D2 R2) # = M //+1
R' U' F R' L U' F L U R2 F L F2 U2 L2 F U2 B L2 B D2 B' L2 D2 R' U' F
L U' D' L2 U' D' F2 U D' R2 F' U2 R2 B' D F L' D B U' B' D' B
L (U B' * L) (F', D' B R2 U2 F) //10 6c3 8e (R2 [L2 D2] L2 U D) //slice+3c []->U' D F2 U D //+3 * = B U' B' D B U B' D' //+4
R' U' F L2 B2 U' R2 F2 L2 F2 D L2 D' U2 B2 F' D B R D F2 D L2 R' U' F
D2 F2 R' L B2 R L' U' R2 U F2 R2 B U F2 B D2 F D R' U D' F2 R
(R' F2 U' D R) (D' F', D2 F2 B' U' B') //12 4b2 (R2 F2 U' R2 U) (R' L B2 R L' F2 D2)
R' U' F B' U' R2 U2 F' U R' F2 L' F U2 B' L2 B U2 B D2 R2 F' B' U2 R' U' F
D