Algorithm Walter Randelshofer 2017
(NR B' ND2 B · U MD' · B' ND2 B · U' MD · NR'
L' NF U2 NF' VD' NF U2 NF' VD L · CR CD')3
D R (TB' NU' NB NU NF ND NF' ND' B) R' D'
(NB2 NR2 NB2 D2 NR2)2
NU R2 TF2 (NU ND' · NF2 · NU' ND) F2 R2 NU' (100 btm, 158 ftm, 200 qtm)
Algorithm Per Kristen Fredlund 2017
(NR B' ND2 B · U MD' · B' ND2 B U' MD NR'
L' NF U2 NF' VD' NF U2 NF' VD L · CR CD')3
NR2 NB2 NR2 NB2 D2 NR2 NB2 NR2 NB2 D'
R (TF ND' NF' ND NB' NU NB NU' F') R' D' (88 btm, 139 ftm, 174 qtm)
Algorithm Per Kristen Fredlund 2019
F (NR2 NB2 NR SF' NL NB2 NL' SF TR)
TD NR' ND' NR NU' NL NU NL' D' R'
VD NL' U2 NL VD' NL' U2 NL F'
(NB' · U' MD · R ND2 R' · U MD' · R ND2 R' NB) CR CD'
((F VD NL' U2 NL VD' NL' U2 NL F')
(NB' · U' MD · R ND2 R' · U MD' · R ND2 R' NB) CR CD')2 (85 btm, 136 ftm, 160 qtm)