Algorithm Walter Randelshofer 2023
T4U N4R' N4U N4R T4U' N4B' N4U' N4B'
N4U' N4B' T4U' N4L N4U N4L' T4U (15 btm)
Order 2
Algorithm Walter Randelshofer 2023
T4U N4R' N4U N4R T4U' N4B' N4U' N4B'
N4U' N4B' T4U' N4L N4U N4L' T4U (15 btm)