 |
                                             |
bs1 = s' R B² R² e' F m D R² U' - basic sequence (bs) + UF <=> UR = bs |
               |
bs2 = UF <=> DF |
               |
bs3 = FR <=> FL |
                     |
  bs + e' |
                                     |
  R F' D R' U' B' U B' R' B' R B R' D' R' F R' Us + (LUB,LBD) |
                               |
  B' D R D' Rs F R' F' R' F' Us L B R + (BU,LU) |
                               |
  F L B Us R' U' B' U Fs R' B R F' L' + (BU,LU) |
                               |
  R' B D F' Rs U F' D' F' D' Ls B U F + (LU,LB) |
                 |
   |
                                |
  bs + D' · M'' U² s'' · D · M'' U² S'' + e' |
               |
   |
                              |
  bs + D · M'' U² S'' · D' · M'' U² S'' |
               |
   |
                             |
  B F D² B² L' B F U B F' D U' F' U² L' R' U' |
                        |
  D F² D' B² F² U B' L U' F D' U L' U B' R' U' |
                           |
  bs + S² R² F² M'' B² R² + e' |
               |
|
                               |
  bs + U' F² U² B² L'' Ua L'' F² U² B² D' |
                              |
  bs + U F² U² B² R² U'a R² F² U² B² D |
 |
  |