Algorithm Walter Randelshofer 2025
S2R' S2F2' S2R2' S2F' (SU2 NBL2 NR2' SU2 NBL2' NR2 SU) S2F S2R2 S2F2 S2R
NBL' NR SU S2R' NB NF' S2R SU' S2R' NB' NF S2R NBL NR'
SF' (NBL NR' SF SR ND' NU SR' SF2' SR ND NU' SR' SF NBL' NR) SF
U (TBR2' MF TBR2 DR' F2' DR TBR2' MF' TBR2 DR' F2 DR) U'
F' (TDR2' MU TDR2 R U2' R' TDR2' MU' TDR2 R U2 R') F
CF CL2 · F' (R U2' R' TDR2' MU TDR2 R U2 R' TDR2' MU' TDR2) F
U (DR' F2' DR TBR2' MF TBR2 DR' F2 DR TBR2' MF' TBR2) U' · CL2' CF' (102 btm)