(R' F R F') (R' F R F') (F' U F U') (F' U F U') (F R' F' R) (U' R U R') (U F' U' F)
(R' F R F') (U F' U' F) (U F' U' F) (F R' F' R) (F R' F' R) (F' U F U') (R U' R' U)
(F R' F' R) (F R' F' R) (R U' R' U) (R U' R' U) (R' F R F') (U F' U' F) (U' R U R')
(F R' F' R) (U' R U R') (U' R U R') (R' F R F') (R' F R F') (R U' R' U) (F' U F U')
(U' R U R') (R' F R F') (R' F R F') (R U' R' U) (F' U F U') (F R' F' R) (U' R U R')
(U' R U R') (U' R U R') (U F' U' F) (R' F R F') (R U' R' U) (F' U F U') (F' U F U')
(U' R U R') (U F' U' F) (R' F R F') (R' F R F') (F' U F U') (F' U F U') (F R' F' R)
(R U' R' U) (R' F R F') (U F' U' F) (U' R U R') (F R' F' R) (F R' F' R) (R U' R' U)
(R U' R' U) (F' U F U') (F R' F' R) (U' R U R') (U' R U R') (R' F R F') (R' F R F')
(F' U F U') (F R' F' R) (U' R U R') (U F' U' F) (R' F R F') (R' F R F') (F' U F U')
(F' U F U') (R U' R' U) (R' F R F') (U F' U' F) (U F' U' F) (F R' F' R) (F R' F' R)
(U F' U' F) (F R' F' R) (F R' F' R) (F' U F U') (R U' R' U) (R' F R F') (U F' U' F)
(U F' U' F) (U' R U R') (F R' F' R) (F R' F' R) (R U' R' U) (R U' R' U) (R' F R F')
(U F' U' F) (U F' U' F) (U' R U R') (F R' F' R) (F' U F U') (R U' R' U) (R U' R' U)
I think the alg in efattah's alg list is nicer despite using one more sledgehammer than optimal. Also, this is the only case that needs seven sledges at the minimum; every other case that doesn't have a 3-cycle of corners can be done with six or fewer.