Если приглядеться, то можно увидеть, что все эти перестановки базируются на коммутаторе
[x, y, x', y'] с добавлением промежуточных ходов:
l' U
r U'
l U
r' U'
l' U'
r U
l U'
r' U
r2 f2 r2 f2l2 U
r2 U'
l2 U
r2 U'
U
r2 U'
l' U
r2 U'
lb D'
l' D
b' D'
l D
(
l' r u
l r') U2 (
l' r u'
l r') U2
