diff --git a/rules/best64.rule b/rules/best64.rule index 9a053835c..cc4936810 100644 --- a/rules/best64.rule +++ b/rules/best64.rule @@ -80,9 +80,9 @@ D4 ## rotates +5 ] } } } } '4 -x02 { { { { { { +O02 { { { { { { } ] ] { -} } -0 x12 +} } -0 O12 } } } } } } } '4 } } } } } '5 @@ -90,13 +90,13 @@ x02 { { { { { { ## unknown *04 +0 '4 -*05 x03 d '3 p1 +*05 O03 d '3 p1 +0 +0 +0 +0 +0 +0 +0 +0 -+0 +0 +0 x12 -Z4 '8 x42 -Z5 '6 x31 ] p1 -Z5 *75 '5 { x02 -d x28 Y4 '4 d -f *A5 '8 x14 -p2 '7 p1 x58 -x14 d p2 '6 ++0 +0 +0 O12 +Z4 '8 O42 +Z5 '6 O31 ] p1 +Z5 *75 '5 { O02 +d O28 Y4 '4 d +f *A5 '8 O14 +p2 '7 p1 O58 +O14 d p2 '6