Algorithm Walter Randelshofer 2025
TU2' TUR TB2' TUR' TU2 TF' TU2 TUR TB2 TUR' TU2' TB
S2U2 S2L' S2F S2L S2F' S2U' S2F S2L' S2F' S2L S2U'
S2UR (S2U2' S2R S2F' S2R' S2F S2U2' S2F' S2R S2F S2R' S2U') S2UR'
S2F
ML (S2F2' S2UL S2R S2UL' S2R' S2F2' S2R S2UL S2R' S2UL' S2F') ML'
NF' U2 NF2 NDL NF' NU' NF' U2' NF NU NF NDL' NF'
NR' NBR' NR NU NR U2' NR' NU' NR' NBR NR2 U2 NR'
NUL2 NF2 NU' NDL NF2' NDL' NU L2 NU' NDL NF2 NDL' NU NF2' L2' NUL
UR2 NBR2 NR' NB NBR2' NB' NR UR2' NR' NB NBR2 NB' NR NBR2' NUL2
NU2' (NBL ND' NBL' L2' NBL ND NBL' L2) NU2
CR CL2'
NU2' (L2' NBL ND' NBL' L2 NBL ND NBL') NU2
NUL2' NBR2 NR' NB NBR2' NB' NR UR2 NR' NB NBR2 NB' NR NBR2' UR2'
NUL' L2 NF2 NU' NDL NF2' NDL' NU L2' NU' NDL NF2 NDL' NU NF2' NUL2'
NR U2' NR2' NBR' NR NU NR U2 NR' NU' NR' NBR NR
NF NDL NF' NU' NF' U2 NF NU NF NDL' NF2' U2' NF
CL2 CR'
SF' (NR NBL' · NF NB' · SR · NF' NB · NBL NR' · NF NB' · SR' · NF' NB) SF (200 btm)