Algorithm Walter Randelshofer 2015
F L2 (U WF SD B WR B' D') L2
WD L2 D' WR2 U2 B WD B' U' B2
SD L' (NF2 L2 NF2 TL2 NF2 NL2) L SD' NL
TB2 TU TB MD' TB' TU2 MR2 TD TL2 MD' TF2
(TR TU2 TL' NU' TL TU2 TR' NU) NF
(U' NF' U2 NF U NL' U2 NL) F (60 btm, 83 ftm, 110 qtm)
Algorithm Walter Randelshofer 2015
U' SF2 U L F' L2 WD' L' SD' B' D WF D'
(NB2 L2 NB2 T3R2 NF2 NL2) L SD' NL
TB2 TU TB MD' TB' TU2 MR2 TD TL2 MD' TF2
(TR TU2 TL' NU' TL TU2 TR' NU) NF
(U' NF' U2 NF U NL' U2 NL) F (51 btm, 71 ftm, 94 qtm)