FROM BREST

(R' U L' U2 R U' L)2

=

z (D' R U' R2 D R' U)2 z'

=

(L' U R' U2' L U' R)2

=

z (U' R D' R2 U R' D)2 z'

R' U R' F R F' R U' R' F' U F R U R' U' R

inv=

R' U R U' R' F' U' F R U R' F R' F' R U' R

L' U' L U' (L' U' L F L' U' L U L F' L2 U L) U2 L' U L

z (U' R2' U) (R U R' F') (R U R' U') (R' F R2 U') (R' U2 R2 U) z'

(r D' r' U2)5

-*-*-*-*-

(R U' L U2 R' U L')2

=

z (D R' U R2 D' R U')2 z'

=

(L U' R U2 L' U R')2

=

z (U R' D R2 U' R D')2 z'

R U R' U (R U R' F' R U R' U' R' F R2 U' R') U2 R U' R'

F' R2 U R2 U' R2 F U2 F' R2 U R2 U' R2 F

(r' D r U2)5

(R' U L' U2 R U' L)2

=

z (D' R U' R2 D R' U)2 z'

=

(L' U R' U2' L U' R)2

=

z (U' R D' R2 U R' D)2 z'

R' U R' F R F' R U' R' F' U F R U R' U' R

inv=

R' U R U' R' F' U' F R U R' F R' F' R U' R

L' U' L U' (L' U' L F L' U' L U L F' L2 U L) U2 L' U L

z (U' R2' U) (R U R' F') (R U R' U') (R' F R2 U') (R' U2 R2 U) z'

(r D' r' U2)5

-*-*-*-*-

(R U' L U2 R' U L')2

=

z (D R' U R2 D' R U')2 z'

=

(L U' R U2 L' U R')2

=

z (U R' D R2 U' R D')2 z'

R U R' U (R U R' F' R U R' U' R' F R2 U' R') U2 R U' R'

F' R2 U R2 U' R2 F U2 F' R2 U R2 U' R2 F

(r' D r U2)5