R' U' F B R2 B D2 B' L2 D2 B2 U2 F' L2 F' U' B R2 B2 D U R' D' B R' U' F
L2 U2 L2 F2 U' R2 F D2 F B2 L2 F R2 U2 B2 U R' D2 L' D
(D' L D2 R, U') L2 U2 L2 F2 U' // 2c3 (10) R2 F D2 B' D2 B L2 D2 F2 // slice (19) +1 -> 20 other: R2 B' L D2 R, F2 U2 F2 U' F // 2c3 (10) R2 B' R F2 L, F2 U2 F2 U' F // 2c3 (10) (D' L D2 R, U) D' L2 D2 F2 D // 2c4 (10) (D) B U, F' R' F2 L2 B D2 L // 4c3 (10) (D) D2 B U, F' L' U2 L U2 L' B // 4b2 (11)
R' U' F L2 U2 L2 D' B2 D B2 L2 D B2 L2 U' L F' U' R F2 L D' L2 F' R' U' F
L D2 L2 F' U' L' D2 L2 D' R D' R' B2 R B2 D2 L D2 L B2 D2 L2 F2
L D2 L2 F', U' L' D2 L2 D' R D' // 2c4 (11) L' D2 L B2 D2 L D2 L // htr (19) B2 D2 L2 F2 // slice (23) +0 -> 23 sad F D2 R F (R2 U L U' R) // 2c4 (9) F D2 R F (R2 U' R U' L) // 4b2 (9), 21 from (L2 B2 U) switch which i checked but didn't find D B2 L' F, D (B2 U B2 U' B2 U) // 4b2 (11) D L' F' (U L) R' F2 U2 R D2 R' // 4c3 (11) D L' F (R U', D2 B2 L' R D) // miscounted parity and didn't check, it's 4c3 with easy 19
R' U' F D2 R2 F2 R' D2 R' B2 L' F2 U2 L D2 F' L' D R F D R D R' U' F
DNF
L R2 U' R, B' U B' U B2 D' F (D R' U F) L (D2 R D B2 U L) (D R' U F) D L (D2 R D B2 U) (F' D L' U', L B R' F' L B R)
R' U' F D B2 U2 F2 D' B2 U' B2 R2 D2 L2 D2 R B2 F' L D B2 U R' U2 R' U' F
R' F2 L F2 R B2 R' B2 U2 D2 F B U2 F' L F2 B' L2 U F' R' U
(U' R F U') // eo (4) (L2 F2 B L' B') // 4b2 (9) R' F2 L F2 R B2 R' // htr (16) B2 U2 D2 B F U2 F' B' // solved (24-2=22)
R' U' F U R2 F2 D R2 U' L2 F2 D2 F2 R' U2 L' U R' B U2 R2 D R' U' F
R' U' R2 L D' L2 F2 U2 D F2 U2 R2 B2 L D2 R2 L D2 R' U2 R B' R2 D'
(D R2 B) R' U' L R2 D' L2 F2 D (R' U2 R D2 L U2 L') (F2 L2 U2 F2 U2) +1
R' U' F U' L2 B L' B2 U2 R2 U' F L2 D2 F2 L2 B2 L2 B2 D F2 D' B2 U' R' U' F
U R L2 F' U2 R2 D F D2 R2 B L2 F U2 R2 F2 U2 R' B U
U R (U' B' R) // eo (5) L2 F' U2 R2 D // 2c3 (10) B^ R2 U2 B D2 B^ // htr (16) D2 L2 B^2 U2 // slice (20) ^ w other: L2 B' R D L, B L2 F' D2 F2 B D' // 4b2 R2 U2 F' U2 B' U2 D2 R2 D2 R2 // slice in 22 but it's doomed (R L2 D F, D) L2 U2 R' F2 R2 D // 2c4 L' F2 R' U2 R U2 R // slice+2e in 18, 2e is preserved in htr before R U2 R so we can do: L' F2 R (R' U2 R) // htr (B2 U2 R2 U2 B2) // slice in 22, doesn't +0
R' U' F D2 L D2 R D2 R' F2 R D2 R' U2 R' B2 L' U' L2 R' F' D' U F' R' U' F
L U' D B2 R2 D2 R2 U' R2 B' R2 D2 R2 D2 F L2 F' B2 D' F' R' L2 B'
L (B R) // eo (3) (L2 F D) // jzp (6) R2 [D2 F2 D] // 2c3 (10) (B' D2 B' D2 R2 D2 R2 B) // htr (18) [] = F2 U2 B2 D' R2 // extend, S+E (20) +1/+2 should have found 22 off the 15 to htrs but i did not want to do 7 HT finish dr is 20 optimal but honestly unfindable (R2 F U2 D2 R2 B' R2 D2 F) can't really switch after (R2 F) because you have to blocky fish the other side to find the correct variation 21 seems somewhat findable but you have to do (U2 F D2 B) and switch (L) F R B' L, D2 B' R2 B' D // 2c3 (10), annoying not to find the 22 from this
R' U' F L2 B2 U' R2 F2 L2 F2 D L2 D' U2 B2 F' D B R D F2 D L2 R' U' F
F D L B R D' R' U R L F2 L D2 R' L D R2 U B2 U F2 U2 B'
(B) F D L B, R D' R U2 L // 2c4 using cool 5c6e case (10) i found optimal after the first 7 moves (23) but none of the optimals use that dr (B) F D L B, R D' R' U L2 D2 L // 2c3 with extension trick (12) (U2 F2 D^' R2 D^' L2 D' F2) // M+E (20) ^ w // M in 20, but it's +3 -> 23
R' U' F D' B' L2 D2 F2 D' R B' L U' R2 F U2 L2 F' L2 U2 F' L2 B' D2 R' U' F
R D B2 L2 F D' B2 L2 B2 D2 B2 U D2 F2 B2 L2 D R F2 U L'
R (L U' F2 R) // eo (5) D B2 L2 F // 2c3 (9) (U') D' B2 L2 B2 D2 B2 D' // htr (17) R2 L2 F2 // slice (20) +1 there is a unique 20 off this dr but it's hard enough that i don't feel bad for missing it other: L2 D' R' L F', U' F2 L2 D R // 4b2 (10), 23 optimal somehow