z // inspection
U2' R y L' R' D2 R // cross
U R U2' R' // 1st pair
U' (y z) U R' U' // 2nd pair
z' U' R U' R' U y R U' R' // 3rd pair
U r U' z U' R U R' U' x' R // 4th pair
U2' R' U' (x y) U' R U (x' z') R // OLL
U' z' U' (x y) U R' z' R2 z U' U U' U R U' z' U' R2 U' y U' R2