Algorithm Walter Randelshofer 2015
TB' (NL' TD TR2 TD' NL TD TR2 TD')
TB2 MB · D' VB' MU' VB D VB' MU (T3F' D' T3F ND T3F' D T3F ND') B2
(MU' L2 MU M2L MU' L2 MU M2L') B (36 btm, 52 ftm, 58 qtm)
Algorithm Per Kristen Fredlund 2015
TB' (TL' ND T3R2 ND' TL ND T3R2 ND')
(NL' D T3R2 D' NL D T3R2 D')
(MU' L2 MU M2L MU' L2 MU M2L')
(MD L2 MD' ML MD L2 MD' ML') TB (34 btm, 52 ftm, 60 qtm)
Algorithm Walter Randelshofer 2015
TB' NL' D T3R2 D' NL D T3R2 D'
MD L2 · MD' MU' · L2 MU M2L MU' L2 MU MR MD L2 MD'
T3L' ND T3R2 ND' TL ND T3R2 ND' TB (32 btm, 48 ftm, 56 qtm)