(D)                 // 1p (1/1)
(F U F)             // EO on FB-axis (3/4)
U' L2 R' F2 # D' L' // 2x2x3 on UL (6/10)
D' R                // F2L-1p on U-BR (2/12)
R D R' @ D          // all edges, leaving 5c (4-1/15)
@ = [R, D' L' D]    // insert 3c comm (8-5/18)
# = [F2, L B2 L']   // insert 3c comm (8-3/23)

(U D2 L' % D2 R2 U') // pseudo 2x2x2 on UBR (6/6)
B'                   // premove to fix pseudo (1/7)
(D2 L)               // 2x2x3 on UB (2/9)
(D' R @ F2 # R')     // sq on Dbr, giving F2L-1p on B-DL (4/13)
@ = L' F L           // insert to give all corners, leaving 2e2e (3/16)
# = F2 L' F' L' B' U2 B L F L  // insert 3e alg (10-7/19)
% = L D2 U2 R' F R U2 D2 L' B' // insert 3e comm (10-5/24)

U' L            // X-Cross on B\DL (2/2)
L F2 L' U' F' U // 2nd pair on ULb (6-1/7)
(U F U')        // corner on UBR + EO on FB-axis (3/10)
(R F2 R')       // 3rd pair on DRb, giving F2L-1e on B-UR (3/13)
(R U' R' U)     // all edges, leaving 5c (4-2/15)

skel: U' L2 F2 L' U' F' @ R U F2 R' U F' U' // NISS cancel [U]-[U'} (15-2/13)
@ = [D, R U R'] D' R U' R' // insert 3c comm (8-4/17)
rewrite: U' L2 F2 L' U' F' D # R U R' D' R F2 R' U F' U'
# = [U: %]         // insert conj for below (2/19)
% = [B, U' R U R'] // insert 3c comm (10-8/21)

final: U' L2 F2 L' U' F' D U B U' R U R' B' D' R F2 R' U F' U' // (21)
============================================================
(R2 U')                   // EO on UD-axis (2/2)
(F' L' R')                // X-Cross on D\FL (3/5)
B' R2 B2 R @ B R2 B' R B' // F2L-1p on D-BR using 2-gen magic + EO on LR-axis (9/14)
B U2 B'                   // all edges, leaving 5c (3-2/15)
B L F' L' B' L F L'       // 3c comm (8-2/21)
@ = [L2, B R2 B']         // insert 3c comm (8-6/23)

final: B' R2 B2 R L2 B R2 B' L2 R U2 L F' L' B' L F R F U R2 // NISS cancel [L']-[L] (23-2/21)
============================================================
L R F                // 2x2x3-1c on DL-F // (3/3)
(R2 F' R' F2)        // 4p (4/7)
(U R2 F' R' F)       // F2L-1p on D-FL (5/12)
(U2 F U' R U2 R' F') // all edges, leaving 3c+1tc (7/19)

skel: R L F2 R U2 R' @ U F' U2 F' R F R2 U' F2 R F R2 // NISS cancel [F]-[F] (19-1/18)
@ = R U2 R' F2 L2 $ B L' F L' F L' B' L // insert 3tc alg (13-9/22)
$ = [L' F L, B] // insert 3c comm (8-8/22)

final: R L2 F L B L2 F L' B' L U F' U2 F' R F R2 U' F2 R F R2 // (22)

D B L' B2 D'            // 2x2x2 on DBR (5/5)
D' U' L' D              // sq on Ldf (4-1/8)
B L2 F2 L2 B'           // F2L-1p on D-BL (5/13)
L2 B2 (L2 B2)           // rNISS shift, leaving 5c3e (2+2/17)
L' U2 L' U2 L2          // all corners using 2-gen, leaving 2e2e (5/22)
L2 U' L2 B2 R2 D' R2 B2 // 3e alg (8-3/27)

skel: D B L' B2 D2 U' L' D B L2 F2 L2 B' $ L2 B2 L' U2 L' U L2 B2 R2 D' R2 L2 // NISS cancel [B2]-[B2] (27-2/25)
$ = B L2 F2 L2 B' F' U2 F // insert 2e2e alg (8-10/23)

(F2 D L')       // EO on LR-axis (3/3)
D R2 B' @ L2 B' // X-Cross on U\FL (5/8)
@ = F D' F' D   // insert Sledge for F2L-1p on U-BL (4/12)
D B D B'        // all edges, leaving 3c+1tc (4/16)
[B R B', L]     // 3c comm (8-2/22)

rewrite: D R2 B' F D' F' D L2 B' D B D R B' L B R' B' # D' F2 // NISS cancel [L']-[L] (22-2/20)
# = [B2, D' F2 D] // insert 3c comm (8-5/23)

(R U D B L F2 D')            // X-Cross on R\DF (7/7)
B' U' L' B2 U' B2 U B'       // 2nd pair on DBr (8/15)
B L2 B'                      // 3rd pair on UBr (3-2/16)
L' @ U L' U'                 // all corners, leaving 5e (4/20)
@ = L' D U' F U F' D' U L U' // insert 3e comm (10-7/23)

rewrite: B' U' L' B2 U' B2 U L2 B' L2 D U' F # U F L' B' D' U' R' // NISS cancel [F' D']-[D F2] (23-3/20)
# = F2 U D' L2 D U' // insert 3e comm (6-3/23)

D F2 L F (F @)     // EO on FB-axis (4+1/5)
(L R' B2 D' R')    // X-Cross on D\BL (5/10)
([R D' U' L': U']) // F2L-1p on D-FL using long conj (9-3/16)
(U' L' U' L U2)    // ZBLS, leaving 3c on LL/U (5/21)
@ = [F2, L B' L']  // insert 3c comm (8-3/26)

U D B' (B)     // EO on FB-axis + sq on U (3+1/4)
(U2 D' R B2 U) // 2x2x2 on UBL + edge on UR (5/9)
(R D R')       // pair on BRu (3/12)
(R) R          // rNISS shift (1-2+1/12)
U L' U L U2 F' // F2L on B + all corners using wrong ZBLS, leaving 2e2e (6/18)
F U D' L' D U' // 5e comm to reduce to 3e (6-3/21)

skel: U D B' R U @ L' U L U' D' L' U' R' U' B2 R' D U2 B' // NISS cancel [D]-[D'] (21-2/19)
@ = U' D F2 D' U L2 // insert 3e comm (6-3/22)

(F D' F)             // EO on FB-axis + sq on L (3/3)
(B2 D R' D2 R' D L2) // XX-Cross on D\B (7/10)
(U R U' R')          // 3rd pair on FRd (4/14)
(U2 L' U2 $ L U2)    // F2L on D, leaving 2tc on U (5/19)
$ = U2 L U2 R U L' U2 R B2 R' B2 U R' // insert 2tc alg (13-10/22)

(F L2 D B' R' F L')  // X-Cross on U\BL (7/7)
R F' L' F' L D2 R' F // F2L-1p on U-FL using multislotting (8/15)
F' D F D2            // F2L on U, leaving 3c on LL/D (4-2/17)

skel: R F' L' F' L D2 R' D F D2 L F' @ R B D' L2 F'
@ = [F D' F', U2] // insert 3c comm (8-2/23)

(U')               // 2p (1/1)
F D2 B2 F R2 F' L' // 2x2x3 on UF (7/8)
B' L' D2 L2 B' L'  // sq on Bur + EO on LR-axis, giving F2L-1p on U-BL (6/14)
L2 U' (L2 U')      // shift using rNISS (2-1+2/17)
F D' F2 D F'       // direct solve using conj (5/22)

U' L U F'         // EO on FB-axis + sq on L (4/4)
R2 U # B2 U' L2   // 2x2x3 on UL + pair on BRu (5/9)
B2 U @ R U' R' B2 // all edges, leaving 5c (6/15)
@ = [D, R U' R']  // insert 3c comm (8-6/17)
# = [R F R', B2]  // insert 3c comm (8-2/23)

(D B' D)         // +3p -1p (3/3)
U' B U2 B2 D2    // 1x2x3 on B (5/8)
L B2 F           // F2L-1c on L-UF (3/11)
D R B R' B' @ D' // OLL solves LL edges, leaving 3c (6/17)
@ = [B' L2 B, R] // insert 3c comm (8-1/24)

final: U' B U2 B2 D2 L B2 F D R B R' B2 L2 B R B' L2 B R' D2 B D' // NISS cancel [D']-[D'] (24-1/23)

B2 L' F' L $       // 2x2x2 on DBL (4/4)
U R' U2            // prep free pair belonging to DRb (3/7)
R' B U B' R        // 2x2x3 on DB + EO on LR-axis + sq on F (5/12)
F % U F' U2 F'     // all edges, leaving 5c (5/17)
$ = [L' F L F', U] // insert 3c comm (10-8/19)
% = [B', U F' U']  // insert 3c comm ( 8-5/22)

(L U2 F')          // sq on U (3/3)
(L2 B U') F'       // X-Cross on U\BL + 1c (3+1/7)
R' F' R' D F R     // F2L-1p on U-FR (6/13)
@ # F D2 F'        // F2L on U (3/16)
@ = D' R' D' R D   // insert for all edges, leaving 3c on D (5/21)
# = [D' R D R', F] // insert 3c comm (10-6/25)

(L' F' U' D B2) D2        // 2x2x2 on DBR (5+1/6)
U @ L2 U2 F               // 2x2x3 on DR (4/10)
F' L F                    // EO on FB-axis (3-2/11)
U' L2 U2 L'               // all edges, leaving 5c (4/15)
D F2 U2 D F2 D B2 U2 D B2 // 3c alg (10-5/20)
@ = [U' R U, L2]          // insert 3c comm (8-5/23)

U' B' R F                    // EO on FB-axis (4/4)
(U' B2 R F2 U')              // X-Cross on R\UF (5/9)
L B2 D2 B2 D2                // F2L-1p on R-DF (5/14)
L2 D2 @ B D B' L D           // all corners but breaks EO, leaving 3e (7/21)
@ = D U' L D L' U D' B D' B' // insert 3e comm (10-7/24)

L @ F D B' L' B F'     // X-Cross on D\BL (7/7)
B' F2 R2 D' R D F2 R B // F2L-1p on D-BR (9-3/13)
R L' D B D' L R' U'    // alt ZBLS, leaving 3c on LL/U (8/21)
@ = [D B2 D', F]       // insert 3c comm (8-5/24)

(L2 F' R' U' D F2 R') // pseudo X-Cross on F\DR (7/7)
F                     // premove to fix pseudo (1/8)
D L' D' L             // 2nd pair on DLf (4/12)
L' B L                // 3rd pair on ULf, giving F2L-1e on F-UR (3-2/13)
U' B U R' U R U' B    // ZBLS, leaving 3c on LL/B (8/21)

skel: F D L' D' B L U' B U R' U R U' B R F2 D' U @ R F L2
@ = [F L2 F', R] // insert 3c comm (8-6/23)

(L2 F2 U2 R')     // sq on F (4/4)
(B D F2)          // 2x2x2 on DFL + sq on Lub (3/7)
(F R' F')         // EO on LR-axis + 1p (3-1/9)
(B D B @ D' B')   // F2L-1p on L-UF + EO on FB-axis (5/14)
(U' R2 U R2)      // all edges, leaving 3c (4/18)
@ = [B' D' B, U2] // insert 3c comm (8-5/21)

D' B' R' B'    // pseudo X-Cross on B\DL (4/4)
B U B'         // make pair belonging to DLb (3-2/5)
F2 L           // 2x2x3 on BL (2/7)
(R2 F' R')     // sets up a corners case (3/10)
(L' B U' B' L) // F2L-1fe on B-DR (5/15)
(F')           // all corners, leaving 3e+1fe (1/16)

skel: D' B' R' U B' F2 $ L F L' B U % B' L R F R2
$ = F2 B2 R F R' F2 B2 L F' L' // insert 3e comm (10-10/16)
% = U' F' U B2 F2 D' F D F2 B2 // insert 3e comm (10- 4/22)

(L2 F') B'                   // EO on FB-axis + 5p (2+1/3) 
R' D2 B2 R U'                // 2x2x3-1e on UL-UF (5/8)
(L' F2 L)                    // edge on UF for 2x2x3 on UL (3/11)
(D2 R' @ D' R')              // all edges, leaving separable 3c3c (4/15)
@ = R D R' U' # R D' R' U    // insert 3c comm ( 8-3/20)
# = F' R D' R' D F D' R D R' // insert 3c comm (10-6/24)

(L' B' D F)       // EO on FB-axis + 2p - 1p (4/4)
(R D2 L' R2 F2)   // 2x2x2 on UFR (5/9)
B2                // XX-Cross on U\R (1/10)
L2 D L2 @ D' L2 D // all edges using 2-gen, leaving 2c2c (6/16)
@ = [R U' R', D'] // insert 3c comm (8-2/22)

rewrite: B2 L2 D L2 R U' R' D' R U R' L2 D F2 R2 L D2 R' # F' D' B L
# = [D' B D, F'] // insert 3c comm (8-6/24)

U' R U R'       // EO on LR-axis (4/4)
(D2)            // 3p (1/5)
D2              // 2p (1/6)
U' L2 F         // 2x2x2 on UFR (3/9)
F' U R2 U' (F') // 2x2x3 on UF (4-2+1/12)
B' D' B'        // all edges, leaving 5c (3/15)

skel: U' R U R' D2 U' L2 $ U R2 U' @ B' D' B' F D2
@ = [D' F' D, B'] // insert 3c comm (8-5/18)
$ = [L, U R2 U']  // insert 3c comm (8-7/19)

L (B' R')        // EO on LR-axis + sq on F + 1p (1+2/3)
(D2 B' D')       // 2p (3/6)
(R2 B' @ D2 F')  // 2x2x3 on DF (4/10)
(U2 B')          // F2L-1e on D-BL (2/12)
(B' U' B U2)     // all edges, leaving 3c (4-1/15)
@ = [B R' B', L] // insert 3c comm (8-3/20)

R' D2                      // sq on R (2/2)
L' U' R2                   // 2x2x2 on UFR (3/5)
L2 D' @ L2 D2 L'           // XX-Cross on F\U (5/10)
L B L' B2                  // 3rd pair on DLf + all edges, leaving 5c (4-2/12)
@ = D' R D L2 D' R' # D L2 // insert 3c comm (8-4/16)
# = F' D' B' D F D' B D    // insert 3c comm (8-3/21)

(F' U R' B L)    // EO on LR-axis (5/5)
(U D')           // line on FE for FM (2/7)
(R2)             // line on DS + 1x1x3 on DB (1/8)
(F B2 U2 F2)     // 2x2x3 on FD (4/12)
(U')             // sq on Ufl, giving F2L-1p on F-UR (1/13)
(D' B U' @ B' D) // 1p using a conj (5/18)
(B' U B)         // all corners, leaving U-perm on LL/B (3/21)
@ = U B' U' B2 F2 D B D' F2 B2 // insert 3e comm (10-6/25)

(B2 D' L2 U')   // ext EO on UD-axis (4/4)
(L F' R B L' B) // XX-Cross on D (6/10)
B' U2 B F' U2 F // 3rd pair on FRd (6/16)
B' R B' R' B    // 1x2x3 on Ub using 2-gen (5/21)
U2 B U2         // direct solve (3/24)

D B D2 F (B')  // EO on FB-axis (4+1/5)
R' L' D        // pseudo 2x2x2 on DBL (3/8)
F2 U' L'       // 2x2x3 on DL (3/11)
(R' U')        // sq on Ubl, giving F2L-1p on L-UF (2/13)
(R2 U' R U R') // ZBLS, leaving 3c on LL/R (5/18)

skel: D B D2 F R' L' D F2 U' R @ L' U' R' U R2 U R B
@ = [R' U R U', F'] // insert 3c comm (10-4/24)

R F' D @ L' B       // EO on FB-axis (5/5)
(R' U2 B2)          // 2x2x2 on DBL (3/8)
(R' F')             // 2p for F2L on B (2/10)
(U R2 U' R2 U)      // obvious F2L-1p on B-UL (5/15)
(U' F U' R U R' U)  // ZBLS, leaving 3c on LL/F (7-2/20)
@ = [D' F D F', L'] // insert 3c comm (10-6/24)

F @ L2          // 3p (2/2)
U B R2          // 2x2x2 on UFR + 1p (3/5)
L2 D            // Cross on F (2/7)
R' B' L' B' L R // 2nd pair on ULf (6/13)
R' L' D L D' R  // 3rd pair on DLf, giving F2L-1tc on F-DR (6-4/15)
D B2 D' R' B2 R // all corners, leaving 3e (6/21)
@ = B2 U D' R2 B2 D U' L2 // insert 3e (8-4/25)

D' U F D' R2 D' U // X-Cross on F\DR (7/7)
(R L U B2)        // sq on L + sq on U (4/11)
(U2 L' U R')      // F2L-1p on F-UR (4/15)
(B U' B2 U B)     // ZBLS, leaving 3c+1tc on LL/B (5/20)

skel: D' U F D' R2 U $ D' B' U' B2 U B' R % U' L U2 B2 U' L' R'
$ = [B' U' B, D'] // insert 3c comm (8-7/21)
% = [R2, U' L U]  // insert 3c comm (8-6/23)

(D L' B')            // EO on FB-axis (3/3)
(F2 R2 L2 U2 R U' L) // X-Cross on U\FL (7/10)
(L' R D @ R' L)      // 2nd pair on BLu (5-2/13)
(R' D R)             // 3rd pair on FRu (3-1/15)
(R D2 R' D')         // ZBLS, leaving A-perm on LL/D (4-1/18)
@ = [D, R' U' R]     // insert 3c comm (8-2/24)

(D' U2 R U)    // EO on UD-axis + 4p (4/4)
U2 B L         // 2x2x3-1e on FL-DF (3/7)
(U2 L F L' U2) // 2x2x3 on FL using a conj (5-1/11)
(R' B' R')     // F2L-1e on F-UR (3/14)
(B R B2 R')    // all edges, leaving 5c (4/18)

skel: U2 B L R B2 R' B' # R B R U2 L F' @ L' U R' U2 D
@ = [U R' U', L'] // insert 3c comm (8-7/19)
# = [B' L' B, R]  // insert 3c comm (8-4/23)

(U2 F' D')      // ext EO on UD-axis (3/3)
F B' D2 U2 F2 L // 2x2x3 on BL (6/9)
F2 R F' R2 F2   // all edges using 2-gen, leaving 2c4c (5/14)

skel: F B' D2 U2 F2 L @ F2 R F' R2 F2 D F U2
@ = [R B R', F2] // insert 3c comm to reduce to 2c2c (8-4/18)

rewrite: F B' D2 U2 F2 L R B % R' F2 # R F' B' R2 F2 D F U2
# = [F' L' F, R] // insert 3c comm (8-5/21)
% = [F L F', R'] // insert 3c comm (8-5/24)

D R'                // EO on LR-axis (2/2)
(R2 F' D' R2 U2 B') // X-Cross on B\UR (6/8)
(U L2 U' L2)        // 2nd pair on ULb (4/12)
(D' F D)            // 3rd pair on DRb (3/15)
(D @ F2 D')         // 4th pair on DLb, leaving 3c on LL/F (3-1/17)
@ = [D2, R' U2 R]   // insert 3c comm (8-2/23)

(F R2 D' U2 % B' L2) U2 // 2x2x3 on FL (6+1/7)
B' U R' U' $            // sq on Bul giving F2L-1p on L-DB (4/11)
R D' R' D2 B' D' B      // ZBLS, leaving 3c+1tc (7/18)
$ = [U', R D' R']       // insert 3c comm (8-7/19)
% = [U2, B D2 B']       // insert 3c comm (8-3/24)

D' L2 U            // sq on Lub (3/3)
U L2 D F2 U'       // 2x2x3 on FL (5-1/7)
(B' R2 B' R2)      // F2L-1c on F-DR (4/11)
(U' B' L' @ B L U) // F2L on L instead using conj Sexy, leaving 3c on R (6/17)
@ = [U' F2 U, B']  // insert 3c comm (8-1/24)
                   // NISS cancel [U']-[U'] (24-1/23)

(D' F')                     // sq on Ufr (2/2)
(D' B2 L B' L)              // 2x2x2 on UFL + Cross on U (5/7)
(L' U2 B2 @ D2 R' B U2 F2)  // F2L-1p on U-BR (8-2/13)
(R' B R2 D R' D' B' D)      // leaves 2e2e (8/21)
@ = B2 U2 F2 L2 D2 F2 U2 R2 // insert 2e2e HTR alg (8-4/25)

(U' B R2 F) F          // EO on FB-axis (4+1/5)
D' B2 D2 L U R         // X-Cross on F\DR (6/11)
(F' R2 B' U B U' R2 F) // F2L-1p on F-UL (8-8/11)
(U B' U' B' L U' L' U) // sq on Bdl + all edges, leaving 2c2c (8/19)

skel: F D' B2 D2 $ L U R U' L U % L' B U B U' F' R2 U B'
$ = U R U' L U R' U' L' // insert 3c comm (8-9/18)
% = F L' B' L F' L' B L // insert 3c comm (8-3/23)

(F' R D2 B')   // EO on FB-axis + sq on R + 1p (4/4)
L D R'         // 2x2x2 on DFR (3/7)
B2 L' F' L2 F  // 2x2x3 on DF + EO on LR-axis (5/12)
U' B2 U B U2 B // F2L on L instead using 2-gen, leaving 3c on R (6/18)

skel: L D R' B2 L' F' L2 F U' B2 U B U2 B2 D2 @ R' F // NISS cancel [B]-[B] (18-1/17)
@ = [B', R' F' R] // (8-3/22)

(L2 D' L' D2 B2)      // 2x2x2 on UBL (5/5)
R2 D2 R' U F' U' D R2 // 2x2x3 on UB + EO on LR-axis (8/13)
D2 F' D F @ D2 F2     // F2L on L instead, leaving A-perm on LL/R (6/19)
@ = [F U F', D2]      // insert 3c comm (8-4/23)

(B R2 F) B           // EO on FB-axis (3+1/4)
R2 D L @ D' U' L' B2 // X-Cross on D\BR + 2c (7/11)
B2 U2 L' D2 F2 R' D2 // F2L on D (7-2/16)
U2                   // AUF, leaving 3c on LL/U (1/17)
@ = U2 # U2          // conj below (2-1/18)
# = [R2, D' L2 D]    // insert 3c domino comm (8-2/24)

@ F' R' U2          // sq on B (3/3)
F D2 B' U2          // X-Cross on B\DR (4/7)
(R2 D' L D R2 L')   // 2nd pair on DLb (5/13)
(L F L')            // 3rd pair on ULb (3-2/14)
(F2 R' F R)         // all corners, leaving 3e (4/18)
@ = B2 D U' L2 U D' // insert 3e comm (6/24)

(L' F' R2 F U B2)         // X-Cross on U\FL (6/6)
(B' D' B2 D2 B')          // 2nd pair on BLu (5-1/10)
(R' D2 R)                 // 3rd pair on FRu (3/13)
(R2 D R2 B U' B U B2)     // all corners, leaving 3e (8-1/20)
(B2 U2 F2 R' D2 F2 U2 L') // 3e alg (8-3/25)

(U L2 D')                // EO on UD-axis (3/3)
B D2 L2 B                // 2x2x2 on DBR (4/7)
L % U2 $                 // Cross on R (2/9)
F U2 F' U2               // F2L-1c on R-DF (4/13)
D L D' L D L2 D'         // LL EP using Sune, leaving 5c (7/20)
$ = D F U2 F' D' F U2 F' // insert 3c comm (8-8/20)
% = L2 D R D' L2 D R' D' // insert 3c comm (8-3/25)

final: B D2 L2 B L' D R D' L2 D R' U2 F U2 F' U2 L D' L D U' // NISS cancel [L2 D']-[D L2] (25-4/21)

(B' F D2 L' F)     // EO on FB-axis (5/5)
(B2 D' L' F2 U D') // pseudo XX-Cross on R\U (6/11)
(D2 L' D' L D2 R2) // F2L-1e on R-DB (6-1/16)
(L' D L2 D')       // all edges, leaving 3c (4/20)

skel: D L2 D' L R2 D2 L' D L U' D' @ F2 L D B2 F' L D2 F' B
@ = [D B' D', F2] // insert 3c comm (8-4/24)

(R2 D')         // 2p (2/2)
R2 D' L D F     // 2x2x2 on DFL (5/7)
U' R' U2 B' U'  // sq on Ufl keeping UR+UB edges (5/12)
B R2 @ B' R2    // leaves 3c on B (4/16)
@ = [D' F D, B] // insert 3c comm (8-1/23)

R' F' R' F            // sq on D (4/4)
B2 D2                 // pseudo 2x2x2 on DBL (2/6)
(U' F D F)            // pseudo 2x2x3 on DL + 2p (4/10)
(R' U2 F')            // F2L-1p on D-BR (3/13)
(R' U R U R' U' R U2) // all edges using 2-gen, leaving 3c (8/21)

skel: R' F' R' F B2 D2 U2 R' U R U' @ R' U' R F U2 R F' D' F' U
@ = U' # U         // insert conj of below (2-1/22)
# = [F, U R' U' R] // insert 3c comm (10-10) (!!)

(U B R' D F')     // EO on FB-axis + sq on R (5/5)
(B2 R')           // 2x2x2 on DBR (2/7)
(L2 @ U' L2 U F2) // 2x2x3 on DR (5/12)
(L U L)           // F2L-1p on D-BL (3/15)
(L U L' U2)       // ZBLS gives all edges, leaving 3c on LL/U (4-1/18)
@ = [L U L', D2]  // insert 3c comm (8-1/25)