Algorithm Walter Randelshofer 2025
CU2 (SF' SUR' (SF2' SUL SR SUL' SR' SF2 SR SUL SR' SUL') SUR SF) CU2'
SF' SUR' (SF2' SUL SR SUL' SR' SF2 SR SUL SR' SUL') SUR
SF2' (SU SF2' SR2' SF2 SR2 SU SR2' SF2' SR2 SF2 SU2') SF2'
SF2
SR2 SUR2 SUL2 SL2
SF2 (NU2 ND2' · SF2' SR2' SF2 SR2 · NU' ND · SR2' SF2' SR2 SF2 · NU' ND) SF2'
S2F2 (NU ND' · S2F2' S2R2' S2F2 S2R2 · NU ND' · S2R2' S2F2' S2R2 S2F2 · NU2' ND2) S2F2'
SL2' SUL2' SUR2' SR2'
(NU2 ND2' · SF2' SR2' SF2 SR2 · NU' ND · SR2' SF2' SR2 SF2 · NU' ND) SF2'
S2F2 (NU ND' · S2F2' S2R2' S2F2 S2R2 · NU ND' · S2R2' S2F2' S2R2 S2F2 · NU2' ND2) S2F2'
CU2 · F (NDL NDR R2 NDR' NDL' NDR R2' NDR') F' · CU2'
F (NDL NDR R2 NDR' NDL' NDR R2' NDR') F'
CF2' CR'
CU2' · F' (NF2' L2 NF2 NDR NF2' L2' NF2 NDR') F · CU2
F' (NF2' L2 NF2 NDR NF2' L2' NF2 NDR') F
CR CF2
(MU MUL2' MU MF' MR2' ML' · CU2)4 CU (176 btm)