Algorithm Walter Randelshofer 2016
(TU TL2 TU' TB TR2 TB')2
SF L2 B2 (U' NR2 U SR U' NR2 U SR') B2 L2
(SR · D WD' · N3L N3R' · NU' MD ND · N3L2 N3R2 WR' · N3U' N3D · NL MR' NR' · U' D' · NL2 MR2 NR2 · U SR' U' · NL2 MR2 NR2 · U D · NL2 MR2 NR2 · D') SF' (59 btm, 90 ftm, 124 qtm)
Algorithm Per Kristen Fredlund 2016
WR (N3F' N3B · NR' MR' NL · NF' N3F MF' N3B' NB · N3R' N3L · MF S2F)
U2 B2 (R · NU2 MD2 ND2 · R' SD' R · NU2 MD2 ND2 · R' SD) B2 U2
L2 B2 (SR U' · MR2 NL2 · U SR' U' · MR2 NL2 · U) B2 L2 SF'
(TB' TU2 TB · TR' TD2 TR)2 (58 btm, 88 ftm, 120 qtm)
Algorithm Walter Randelshofer 2016
WR · N3F' N3B · NR' MR' NL · WF' N3F2 N3B2 · N3R' N3L · S2F MF
U2 B2 (R · NU2 MD2 ND2 · R' SD' R · NU2 MD2 ND2 · R' SD) B2 U2
L2 B2 (SR U' · MR2 NL2 · U SR' U' · MR2 NL2 · U) B2 L2 SF'
(TB' TU2 TB · TR' TD2 TR)2 (56 btm, 84 ftm, 120 qtm)