PLL
x [(R' U R') D2] [(R U' R') D2] R2 x'
x' [(R U' R) D2] [(R' U R) D2] R2 x
x' (R U' R') D (R U R') u2 (R' U R) D (R' U' R) x'
M2 U M2 U M' U2 M2 U2 M' U2
M2 U M2 U2 M2 U M2
[R U'] [R U] [R U] [R U'] R' U' R2
R2 U [R U R' U'] (R' U') (R' U R')
[R' U L'] [U2 R U' R' U2] [R L U']
[R U R' F'] [R U R' U'] [R' F] [R2 U' R'] U'
[R U R' U'] [R' F] [R2 U' R'] U' [R U R' F']
[R' U2 R U2] [R' F] [R U R' U'] [R' F'] R2 U'
[L U2' L' U2'] [L F'] [L' U' L U] [L F] L2' U
[R' U2 R' d'] [R' F'] [R2 U' R' U] [R' F R U' F]
R2 u' R U' R U R' u R2 [y R U' R']
R2 u R' U R' U' R u' R2 [y' R' U R]
[R' U' R] y R2 u R' U R U' R u' R2
R2 u' R U' R U R' u R2 [y R U' R']
[R' U R' d'] [R' F'] [R2 U' R' U] [R' F R F]
{(L U' R) U2 (L' U R')} {(L U' R) U2 (L' U R')} U
{(R' U L') U2 (R U' L)} {(R' U L') U2 (R U' L)} U'
F R U' R' U' [R U R' F'] {[R U R' U'] [R' F R F']}