D' L F // EO(3/3)
(L2 U' D' R D' L D' U L) // DR(10/13)
(U F2 U') F2 U' R2 U' // HTR(7-1/19)
D2 F2 R2 D2 R2 @ F2 R2 // L3E(7/26)
R2 F2 D2 B2 L2 B2 D2 F2 +8-4

U F R' B // EO(4/4)
R U R2 L U' L // DR(6/10)
U R2 U (F2 U2 L2 D L2 D) // HTR(9/19)
(F2 R2 @ B2 R2 U2) // L3E(5-1/23)
@:R2 B F' U2 B' F +6-4

(R' U2 D' L') // EO(4/4)
(D' B' R2 B2 F U' F) // DR(7/11)
D2 L2 D B2 D2 R2 B2 L2 B2 @ D //HTR(10/21)
L2 D2 F2 # R2 B2 // L3E3E(5/26)
@: U B2 U' D L2 D' +6-5
#: F' B U2 F B' R2 +6-6

(L F L') // EO(3/3)
D2 U' B'(D' L2 U2 D2 F D2 F') // DR(10/13)
(D B2 U R2 B2 D L2 D') // HTR(8/21)
(B2 R2 F2 D2 L2 @ D2) // L2E2E(6/27)
@:L2 D2 R2 B2 D2 L2 U2 F2 +8-4

L' F2 D' B' R // EO(5/5)
(F2 B2 U D' F) // DR(5/10)
(D R2 D R2 D F2 L2 D2 L2 U F2 U') // HTR(12/22)
(B2 U2 F2 D2 B2 @ L2 B2) // L2E2E(7/29)
@:R2 U2 L2 R2 D2 L2 +6-2

D' L F R' // EO(4/4)
F2 U' D' F' U L2 U2 F2 B U B' // DR(11/15)
([U @ B2 F2 & U2 R2 D B2 D' #]) // HTR(8/23)
([L2 B2 L2 F2 B2 U2 &]) // slice(6/29)
@:E'  #:E &:E2
[D L2 R2 D2 F2 U F2 D'] // HTR(8/23)
[R2 F2 R2 B2 F2 D2] // FINISH(6/29)