Algorithm Walter Randelshofer 2025
((UR NBR' (F' TR TDL' NDR' TDL TR' F TR TDL' NDR TDL TR') NBR UR'
U2 TR' TUL NUR TUL' TR U2' TR' TUL NUR' TUL' TR · CF2 CL)2
CUR2' CF')3
((NDR (UR2 R' TB NBR TB' R UR2' R' TB NBR' TB' R) NDR2'
(F2 U2 NR' U2' F2 U2 NR U2' F)
NBR' (F2' R NDR' R' F2 R NDR R') NBR NDR · CF2 CL)2
CUR2' CF')3 (372 btm)
Algorithm Per Kristen Fredlund 2025
((UR2 (F2' TU TDR' NR2' TDR TU' F2 TU TDR' NR2 TDR TU')
(U' TR2 TL2' NF' TL2 TR2' U TR2 TL2' NF TL2 TR2') UR2' · CF2 CL)2
CUR2' CF')3
((NDR (UR2 R' TB NBR TB' R UR2' R' TB NBR' TB' R) NDR2'
(F2 U2 NR' U2' F2 U2 NR U2' F)
NBR' (F2' R NDR' R' F2 R NDR R') NBR NDR · CF2 CL)2
CUR2' CF')3 (360 btm)
Algorithm Per Kristen Fredlund 2025
((NUL' NL' (U NUL' U' UR2' U NUL U' UR R2 NU' R2' UR2' R2 NU R2' UR2')
NL NUL U TR' TUL NUR TUL' TR U TR' TUL NUR' TUL' TR U2'
F' NDR TR' B NBR B' TR UR TR' B NBR' B' TR
TBR TU' NR2 TU TBR' UR2 TBR TU' NR2' TU TBR' UR2 NDR' F · CF2 CL)2
CUR2' CF')3 (360 btm)
Algorithm Per Kristen Fredlund 2025
((NUL' NL' (U NUL' U' UR2' U NUL U' UR R2 NU' R2' UR2' R2 NU R2' UR2') NL NUL
U TUL TR' NUR TR TUL' U TUL TR' NUR' TR U'
TDL NL TDL' U F2 U' TDL NL' TDL' U
UR2 TR TUL NU2' TUL' TR' (UR) TR TUL NU2 TUL' TR' UR2
F2' TUL' U2' · CF2 CL)2
CUR2' CF')3 (348 btm)