Algorithm Walter Randelshofer 2006
R F' R' (TL' U2 TL NU TL' U2 TL NU') R F R'
TD (TL TU' NL2 TU TL' TB' NL2 TB) TD'
F' (VD' NR U2 NR' VD NR U2 NR') F (34 btm, 44 ftm, 52 qtm)
Algorithm Per Kristen Fredlund 2013
F' R F (NU' TB U2 TB' NU TB U2 TB') F' R'
(VD' NR U2 NR' VD NR U2 NR') F
NB (TD TF' ND2 TF TD' TL' ND2 TL) NB' (32 btm, 44 ftm, 52 qtm)
Algorithm Walter Randelshofer 2014
F' R F (NF' U2 NF WD NF' U2 NF · VU' VD2 · TL U TL' NU TL U' F' TL' ND TL F TL' NU) F' R' F (28 btm, 38 ftm, 42 qtm)