commit 6184781dbc28669a52de8a3bd95e5815a09fa674
parent e201ec3b7001a2652560bfa845d41abe0bc9f181
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 31 Jul 2025 14:16:48 +0200
Added solvetest tools, found bug in DR
Diffstat:
7 files changed, 2467 insertions(+), 0 deletions(-)
diff --git a/tools/402_solvetest_opt0_EO_RL/scrambles.h b/tools/402_solvetest_opt0_EO_RL/scrambles.h
@@ -0,0 +1,326 @@
+struct {
+ char *scramble;
+ char *solutions;
+} s[] = {
+[0] = {
+ .scramble = "D' F U' B2 R' B D' L2 B D' F2 D' R2 F2 U' R2 D R2 U' R2 B2 D",
+ .solutions =
+ "(U D L)\n"
+},
+[1] = {
+ .scramble = "L2 B R' B2 R D2 F D L U R2 U2 R2 F2 U' F2 U' L2 U' L2",
+ .solutions =
+ "U L\n"
+},
+[2] = {
+ .scramble = "U L D B R' B' D F' R2 B D R2 U' F2 R2 D R2 U B2 D' F2",
+ .solutions =
+ "B F L D R\n"
+ "B F L' D R\n"
+ "B' F L D R\n"
+ "B' F L' D R\n"
+ "D' B R F' L\n"
+ "D' B R' F' L\n"
+ "D' B' R F' L\n"
+ "D' B' R' F' L\n"
+ "F D' B R L\n"
+ "F D' B' R L\n"
+ "(U D2 L B R)\n"
+ "(U D2 L' B R)\n"
+ "(U R2 L F' R)\n"
+ "(U R2 L' F' R)\n"
+ "(U L D B R)\n"
+ "(U L' D B R)\n"
+ "(U' D2 L B R)\n"
+ "(U' D2 L' B R)\n"
+ "(U' R2 L F' R)\n"
+ "(U' R2 L' F' R)\n"
+ "(U' L D B R)\n"
+ "(U' L' D B R)\n"
+ "(R U L F' R)\n"
+ "(R U L' F' R)\n"
+ "(R U' L F' R)\n"
+ "(R U' L' F' R)\n"
+ "(D2 B' U R L)\n"
+ "(D2 B' U' R L)\n"
+ "(R F U R L)\n"
+ "(R F U' R L)\n"
+},
+[3] = {
+ .scramble = "B' R' F' R' L U' L2 U F L U2 B2 D F2 D' L2 B2 D2 L2 F2 D' B2",
+ .solutions =
+ "L U D' B R\n"
+ "L U B D2 R\n"
+ "L' U D' B' R\n"
+ "L' D' B' U2 R\n"
+ "B L' U2 D' R\n"
+ "B' L U D2 R\n"
+ "L U' B' F2 L\n"
+ "L F2 U' B' L\n"
+ "L' D B F2 L\n"
+ "L' F2 D B L\n"
+ "(L' D B2 F R)\n"
+ "(L' B2 D F R)\n"
+ "(F' L' D B2 R)\n"
+ "(F' L' B2 D R)\n"
+ "(R' F R U L)\n"
+ "(R' F R' U L)\n"
+ "(L U2 D' B L)\n"
+ "(L U2 B D' L)\n"
+ "(L' U D' F' L)\n"
+ "(L' D' F' U2 L)\n"
+ "U2 F' L (F L)\n"
+ "D L (U D L)\n"
+ "L (U D F L)\n"
+ "L (U L2 B' L)\n"
+ "L (L U B' L)\n"
+ "L (L B' U L)\n"
+ "L (L' D F' L)\n"
+ "L (L' F' D L)\n"
+ "L (F' L2 D L)\n"
+ "L (B' F' U' L)\n"
+ "L U2 F' L (L)\n"
+ "L2 U' B L (L)\n"
+ "L2 B U2 L (L)\n"
+ "L' B L (U2 L)\n"
+ "F2 L (L' F' L)\n"
+},
+[4] = {
+ .scramble = "D L F2 B' U' F D' B2 U L' F2 U B2 U2 L2 U' L2 D' R2 D2 F2 U F2",
+ .solutions =
+ "(U D' L B2 R)\n"
+ "(U L D' B2 R)\n"
+ "(U L B D' R)\n"
+ "(U' D' L B2 R)\n"
+ "(U' L D' B2 R)\n"
+ "(U' L B D' R)\n"
+ "(U D' R D2 L)\n"
+ "(U' D' R D2 L)\n"
+ "(R U R D L)\n"
+ "(R U R' D L)\n"
+ "(R U' R D L)\n"
+ "(R U' R' D L)\n"
+ "(D R U R L)\n"
+ "(D R U' R L)\n"
+ "U' D R (D L)\n"
+ "B' U' R (U L)\n"
+ "D' L (U B R)\n"
+},
+[5] = {
+ .scramble = "F2 U F2 U2 B D B2 R F2 D2 B L2 D2 B2 U2 D2 B' L2 F L2",
+ .solutions =
+ "R2 D2 F L\n"
+ "L2 U2 B' L\n"
+ "L2 B' U2 L\n"
+ "(U' D B' R)\n"
+ "(U' B' D R)\n"
+ "(D R2 F R)\n"
+ "(R2 U' F' R)\n"
+ "(R' D F R)\n"
+ "U2 L (B' R)\n"
+ "L (B' F R)\n"
+},
+[6] = {
+ .scramble = "L F2 R' D L U' R' B' D B2 D2 L2 U2 F' L2 F B R2 B' R2",
+ .solutions =
+ "R B D F2 R\n"
+ "R B F' D R\n"
+ "R' F2 U' B R\n"
+ "R' B F2 U' R\n"
+ "L D' L F' R\n"
+ "L D' L' F' R\n"
+ "D R U2 B' L\n"
+ "D R B' U2 L\n"
+ "R U2 B' D' L\n"
+ "R B' U2 D' L\n"
+ "(U D L U2 R)\n"
+ "(U D' L U2 R)\n"
+ "(L D L U' R)\n"
+ "(L D L' U' R)\n"
+ "(L D' L U' R)\n"
+ "(L D' L' U' R)\n"
+ "(U D R B2 L)\n"
+ "(U D' R B2 L)\n"
+ "(D R U B2 L)\n"
+ "(D R B2 U L)\n"
+ "(D' R U B2 L)\n"
+ "(D' R B2 U L)\n"
+ "(U' L D R L)\n"
+ "(U' L D' R L)\n"
+ "R (U2 F' D' R)\n"
+ "R (F' U2 D' R)\n"
+ "R (F D B2 L)\n"
+ "R (B' F D L)\n"
+ "F' R (R D R)\n"
+ "B R (U2 D' R)\n"
+ "B2 F' R (D R)\n"
+},
+[7] = {
+ .scramble = "B2 L' F' U' R' L2 D' B R L2 F' B' U2 L2 B U2 F' U2 R2 B' U2",
+ .solutions =
+ "L2 U L F R\n"
+ "L2 U L' F R\n"
+ "(R2 B L D R)\n"
+ "(R2 B L' D R)\n"
+ "(R2 B' L D R)\n"
+ "(R2 B' L' D R)\n"
+ "(B L U F' R)\n"
+ "(B L F' U R)\n"
+ "(B L' U F' R)\n"
+ "(B L' F' U R)\n"
+ "(R2 D' B R L)\n"
+ "(R2 D' B' R L)\n"
+ "F R (D B' L)\n"
+ "F R (B' D2 L)\n"
+ "F2 R (D B L)\n"
+ "F2 D R (B' L)\n"
+},
+[8] = {
+ .scramble = "D2 L U F B2 D L' U B' R F2 B2 L D2 L' D2 L2 D2 F2 R2 L'",
+ .solutions =
+ "L F R U' L\n"
+ "L F R' U' L\n"
+ "L F' R U' L\n"
+ "L F' R' U' L\n"
+ "F R L2 U' L\n"
+ "F R B D L\n"
+ "F R' L2 U' L\n"
+ "F R' B D L\n"
+ "F' R L2 U' L\n"
+ "F' R B D L\n"
+ "F' R' L2 U' L\n"
+ "F' R' B D L\n"
+ "B2 F R D L\n"
+ "B2 F R' D L\n"
+ "B2 F' R D L\n"
+ "B2 F' R' D L\n"
+ "L U F R L\n"
+ "L U F' R L\n"
+ "B2 D' F R L\n"
+ "B2 D' F' R L\n"
+ "(R2 F' R D' L)\n"
+ "(R2 F' R' D' L)\n"
+ "D F R (B2 R)\n"
+ "R (U' L' B2 R)\n"
+ "R (L' U' B2 R)\n"
+ "R (L' B2 U' R)\n"
+ "R (U' R' U2 L)\n"
+ "F' R (U' B2 R)\n"
+ "F' R (B2 U' R)\n"
+ "L U R L (L)\n"
+ "L U' R L (L)\n"
+},
+[9] = {
+ .scramble = "U' L B R L U2 D R' U2 F R2 D2 F R2 F' B' D2 R2 L2",
+ .solutions =
+ "D' F' R\n"
+ "R2 B R\n"
+},
+[10] = {
+ .scramble = "D L U' F R2 L' U2 L' U2 B U' F2 R2 U L2 D B2 D' L2 D2 F2",
+ .solutions =
+ "R U' R (L)\n"
+},
+[11] = {
+ .scramble = "R B R' U B' L' B R2 U' L' U' F2 U L2 U2 F2 D' L2 U B2 U2 F2 D'",
+ .solutions =
+ "(B L' F2 D R)\n"
+ "(B' L' F2 D R)\n"
+ "D' L (D' B' R)\n"
+},
+[12] = {
+ .scramble = "F U2 F R' D' L' U L' F L2 F2 R2 F2 D2 L F2 R' D2 L F2 L",
+ .solutions =
+ "(L2 U L D2 R)\n"
+ "(L2 U' L D2 R)\n"
+ "(L' U L' D2 R)\n"
+ "(L' U' L' D2 R)\n"
+ "(U R' B2 D L)\n"
+ "(L2 U R F2 L)\n"
+ "(L2 U' R F2 L)\n"
+ "(L' U R' B2 L)\n"
+ "(L' U' R' B2 L)\n"
+ "U R (U2 F2 R)\n"
+ "U R (F2 U2 R)\n"
+ "U R (D2 B2 L)\n"
+ "U R (B2 D2 L)\n"
+ "U D R (B2 L)\n"
+ "U' F2 R (U R)\n"
+ "R (R D' B2 L)\n"
+ "R (R B2 D' L)\n"
+ "L U' R (B R)\n"
+ "L' U' R (B R)\n"
+ "F U' R (U R)\n"
+},
+[13] = {
+ .scramble = "R2 D F L2 B D L2 F' R' U2 F2 B2 L' D2 B2 L' U2 R U2 B2 R'",
+ .solutions =
+ "F2 L\n"
+},
+[14] = {
+ .scramble = "U R' D' L B' D B U B R2 F2 L' B2 U2 R2 U2 R' U2 F2 R U2",
+ .solutions =
+ "L (L D R)\n"
+ "L (L' D R)\n"
+},
+[15] = {
+ .scramble = "D F2 R' U L2 B' D B2 U R2 L2 F' D2 R2 L2 F2 D2 F R2 D2 L2",
+ .solutions =
+ "(D F2 R)\n"
+ "(F' D R)\n"
+},
+[16] = {
+ .scramble = "F2 R D F L' B' D' L' U2 D' F L2 D2 F' B2 D2 B' R2 B2",
+ .solutions =
+ "(R2 D2 L)\n"
+ "(L2 U2 L)\n"
+},
+[17] = {
+ .scramble = "B U' F' D' L2 D' L' B' R F L2 F2 U2 F D2 F' R2 B L2 F2 D2",
+ .solutions =
+ "U2 B R L\n"
+ "U2 B' R L\n"
+},
+[18] = {
+ .scramble = "L2 F U2 R' D' F B' L' B2 L U2 F2 D' L2 D2 R2 B2 D' R2 L2 D2",
+ .solutions =
+ "(F' L F2 R)\n"
+ "(R U F' L)\n"
+ "(R F' U2 L)\n"
+ "(F' R U2 L)\n"
+ "D' L (R L)\n"
+},
+[19] = {
+ .scramble = "R2 D F' U2 R2 L' U' D R B' R U2 F2 R' L2 F2 R F2 U2 F2 U2",
+ .solutions =
+ "U' B R D' L\n"
+ "U' B R' D' L\n"
+ "U' B' R D' L\n"
+ "U' B' R' D' L\n"
+ "D B R U L\n"
+ "D B R' U L\n"
+ "D B' R U L\n"
+ "D B' R' U L\n"
+ "B R U D' L\n"
+ "B R' U D' L\n"
+ "B' R U D' L\n"
+ "B' R' U D' L\n"
+ "U' D B R L\n"
+ "U' D B' R L\n"
+ "(D' F L U R)\n"
+ "(D' F L' U R)\n"
+ "(D' F' L U R)\n"
+ "(D' F' L' U R)\n"
+ "(U' F R D L)\n"
+ "(U' F R' D L)\n"
+ "(U' F' R D L)\n"
+ "(U' F' R' D L)\n"
+ "(U' D' F R L)\n"
+ "(U' D' F' R L)\n"
+ "R (L U R L)\n"
+ "R (L U' R L)\n"
+},
+{
+ .scramble = "", /* End-of-list signal */
+}
+};
diff --git a/tools/402_solvetest_opt0_EO_RL/solvetest.c b/tools/402_solvetest_opt0_EO_RL/solvetest.c
@@ -0,0 +1,8 @@
+#define NISSFLAG NISSY_NISSFLAG_ALL
+#define MINMOVES 0
+#define MAXMOVES 20
+#define MAXSOLUTIONS 500
+#define OPTIMAL 0
+
+#include "scrambles.h"
+#include "../solvetest.h"
diff --git a/tools/403_solvetest_opt0_EO_UD/scrambles.h b/tools/403_solvetest_opt0_EO_UD/scrambles.h
@@ -0,0 +1,550 @@
+struct {
+ char *scramble;
+ char *solutions;
+} s[] = {
+[0] = {
+ .scramble = "B L' U' F2 D R F R F2 B' U D2 R2 F2 L2 B2 R2 F2 U F2",
+ .solutions =
+ "F D L B' U\n"
+ "F D B' L2 U\n"
+ "F B' D L2 U\n"
+ "F' D L B' U\n"
+ "F' D B' L2 U\n"
+ "F' B' D L2 U\n"
+ "U F U B D\n"
+ "U F U' B D\n"
+ "U F' U B D\n"
+ "U F' U' B D\n"
+ "F B' U B2 D\n"
+ "F' B' U B2 D\n"
+ "B U F D U\n"
+ "B U F' D U\n"
+ "(D' F D L U)\n"
+ "(D' F D' L U)\n"
+ "(D' F' D L U)\n"
+ "(D' F' D' L U)\n"
+ "(F L' D L2 U)\n"
+ "(F' L' D L2 U)\n"
+ "(F U L' B2 D)\n"
+ "(F U B L' D)\n"
+ "(F L' U B2 D)\n"
+ "(F' U L' B2 D)\n"
+ "(F' U B L' D)\n"
+ "(F' L' U B2 D)\n"
+ "(D' L' F D U)\n"
+ "(D' L' F' D U)\n"
+ "U (L U B D)\n"
+ "U (L U' B D)\n"
+ "D L' F U (U)\n"
+ "D F L2 U (U)\n"
+ "L' F U (L U)\n"
+ "F L2 U (L U)\n"
+ "U B' D (D U)\n"
+ "U' B' D (D U)\n"
+ "D2 F' D (F' U)\n"
+ "L B D (F' U)\n"
+ "B U F D (D)\n"
+ "B U' F D (D)\n"
+ "B' U F D (D)\n"
+ "B' U' F D (D)\n"
+ "D U (U B' D)\n"
+ "D U (U' B' D)\n"
+},
+[1] = {
+ .scramble = "L' U' D' F' R2 L F2 D L F2 L2 F2 L2 U L2 D F2 U2 B2 U'",
+ .solutions =
+ "U (R2 L' U)\n"
+ "D R' U (D)\n"
+ "D' R' U (D)\n"
+},
+[2] = {
+ .scramble = "F2 L F' B2 D F R' U2 B R2 U' R2 D' L2 D2 B2 U' L2 U2",
+ .solutions =
+ "B U (F' D)\n"
+ "B2 U (F D)\n"
+},
+[3] = {
+ .scramble = "R2 U' F2 R L' U D' B R' F R2 B U2 R2 B U2 B' L2 F' D2 F' L2",
+ .solutions =
+ "(R L D U)\n"
+ "(R L' D U)\n"
+ "(R' L D U)\n"
+ "(R' L' D U)\n"
+},
+[4] = {
+ .scramble = "B' U' R U' B L' B' U F' L U F2 R2 F2 D F2 B2 D2 L2 U' B2 U'",
+ .solutions =
+ "D L U (B' U)\n"
+ "D' L U (B' U)\n"
+ "L U B D (U)\n"
+ "L U' B D (U)\n"
+ "D U (R B' U)\n"
+ "D U (B' R U)\n"
+},
+[5] = {
+ .scramble = "D R' F' D' B' R B' U' F R' B2 R F2 R' D2 B2 L B2 L2 U2 D2 L'",
+ .solutions =
+ "F D L2 B U\n"
+ "F D B L2 U\n"
+ "F B D L2 U\n"
+ "F' D L2 B U\n"
+ "F' D B L2 U\n"
+ "F' B D L2 U\n"
+ "U F U B' D\n"
+ "U F U' B' D\n"
+ "U F' U B' D\n"
+ "U F' U' B' D\n"
+ "F B U B2 D\n"
+ "F' B U B2 D\n"
+ "B' U F D U\n"
+ "B' U F' D U\n"
+ "(F U R2 L D)\n"
+ "(F' U' R' L2 D)\n"
+ "L B' D (B2 U)\n"
+ "B' D (U2 F U)\n"
+ "B' D (L' B' U)\n"
+ "B' L D (B2 U)\n"
+},
+[6] = {
+ .scramble = "B U' F L D' R2 F2 R' F2 U' D2 B L2 F' R2 B' U2 B U2 R2",
+ .solutions =
+ "U L F B' D\n"
+ "U B' L F D\n"
+ "U' L F B' D\n"
+ "U' B' L F D\n"
+ "F' U L B' D\n"
+ "F' U B' L D\n"
+ "F' U' L B' D\n"
+ "F' U' B' L D\n"
+ "(B L D R U)\n"
+ "(B L D' R U)\n"
+ "(B L' D R U)\n"
+ "(B L' D' R U)\n"
+ "(R' L U B' D)\n"
+ "(R' L U' B' D)\n"
+ "(R' L' U B' D)\n"
+ "(R' L' U' B' D)\n"
+ "(R' B L D U)\n"
+ "(R' B L' D U)\n"
+ "U (R F2 L' U)\n"
+ "U (F2 R2 L' U)\n"
+ "U (D R' B2 D)\n"
+ "U (D B2 R' D)\n"
+ "U (R' B2 L' D)\n"
+ "U (F L B2 D)\n"
+ "U (F B2 L D)\n"
+ "U (B2 D2 R' D)\n"
+ "R2 U (L B2 D)\n"
+ "R2 U (B2 L D)\n"
+ "U F' L' D (D)\n"
+ "U B' D (F2 U)\n"
+ "U' F' L' D (D)\n"
+ "U' B' D (F2 U)\n"
+ "L U F' D (D)\n"
+ "L U' F' D (D)\n"
+},
+[7] = {
+ .scramble = "U2 D' F' U' R' U B' R D2 F U2 D F2 U2 B2 D' B2 L2 U2 D'",
+ .solutions =
+ "L' D F' B' U\n"
+ "L' D' F' B' U\n"
+ "F L' D B' U\n"
+ "F L' D' B' U\n"
+ "(U' R D B' U)\n"
+ "(U' R D' B' U)\n"
+ "(U' R' D B' U)\n"
+ "(U' R' D' B' U)\n"
+ "(R D L B U)\n"
+ "(R D' L B U)\n"
+ "(R B' D L U)\n"
+ "(R B' D' L U)\n"
+ "(U' B R D U)\n"
+ "(U' B R' D U)\n"
+ "(B U2 R D U)\n"
+ "(B U2 R' D U)\n"
+ "D B' U (F' D)\n"
+ "D' F2 B' U (D)\n"
+ "D' B' U (F' D)\n"
+ "F2 B2 U (R D)\n"
+ "F2 B' U (R2 D)\n"
+ "R2 L2 D (R D)\n"
+ "R2 L' D (R' D)\n"
+},
+[8] = {
+ .scramble = "L D R D2 B D R U B' D B2 D' L2 U2 R2 D L2 U L2 U2 F2",
+ .solutions =
+ "(F B' L' U)\n"
+ "(B' L' F2 U)\n"
+ "(R2 B L D)\n"
+ "(B R2 L D)\n"
+ "R U (L' U)\n"
+},
+[9] = {
+ .scramble = "R' D2 L B2 U B D F2 L U L2 U2 L2 U R2 U' F2 D2 F2 U2 B2",
+ .solutions =
+ "D (U' R2 U)\n"
+ "D (D' F2 D)\n"
+},
+[10] = {
+ .scramble = "F' B2 U2 D R' U F R D R' U2 B2 R U2 R U2 R' D2 R' B2 L'",
+ .solutions =
+ "U' R2 F' B U\n"
+ "U' F' R' B U\n"
+ "U' F' B R2 U\n"
+ "U' B R F' U\n"
+ "U' L2 F B' D\n"
+ "U' F L2 B' D\n"
+ "U' F B' L2 D\n"
+ "U' B' L2 F D\n"
+ "B D' U F D\n"
+ "B D' U' F D\n"
+ "B' U' L2 F D\n"
+ "B' U' F L2 D\n"
+ "(L2 F D B2 U)\n"
+ "(L2 F' D B2 U)\n"
+ "(F D' F2 B' U)\n"
+ "(L2 F U R2 D)\n"
+ "(L2 F' U R2 D)\n"
+ "U (U R B' U)\n"
+ "U (U B' R U)\n"
+ "U (U' L F' U)\n"
+ "U (U' F' L U)\n"
+ "U (R U2 B' U)\n"
+ "U (R L F U)\n"
+ "U (F' U2 L U)\n"
+ "U (F' B' R' U)\n"
+ "F' U (U2 B' U)\n"
+ "F' U (L F U)\n"
+ "D (U2 F D U)\n"
+ "D (U2 F' D U)\n"
+ "F2 B' D (F D)\n"
+ "B2 D (U F D)\n"
+ "B2 D (U' F D)\n"
+},
+[11] = {
+ .scramble = "D2 R' U F' D' R2 D' L2 F R D2 R' F2 R2 U2 R U2 B2 R2 U2 B2",
+ .solutions =
+ "L F' U\n"
+ "F' L U\n"
+},
+[12] = {
+ .scramble = "F' U' D B2 U2 F R2 D' R U R2 L2 F2 D F2 U L2 D' R2 F2",
+ .solutions =
+ "B' D R2 B U\n"
+ "B U' F B2 D\n"
+ "D R' L2 U (D)\n"
+ "R' U (R' B2 D)\n"
+ "R' U (B2 R' D)\n"
+ "R' L2 U (R' D)\n"
+ "U2 B2 D (F' D)\n"
+ "D2 F2 D (F' D)\n"
+ "F2 D (F2 R' D)\n"
+ "B' D (D2 B D)\n"
+ "B' D (L' F' D)\n"
+},
+[13] = {
+ .scramble = "R2 U2 B' D2 R' D2 L' B2 U2 D' B' L2 B2 L2 B' L2 F' U2 L2 F U2 B",
+ .solutions =
+ "(R2 L' D)\n"
+},
+[14] = {
+ .scramble = "R2 L' F' R B' U F D2 R' B R2 B L2 D2 L2 B' U2 F D2 B2 D2",
+ .solutions =
+ "R2 F B' U\n"
+ "F R2 B' U\n"
+ "F B' R2 U\n"
+ "B' R2 F U\n"
+ "L2 F' B D\n"
+ "F' L' B D\n"
+ "F' B L2 D\n"
+ "B L F' D\n"
+ "(F2 B R U)\n"
+ "(R L2 B D)\n"
+},
+[15] = {
+ .scramble = "U' L' U L2 D2 F D L' U B2 L2 B' R2 U2 B U2 R2 L2 B' D2",
+ .solutions =
+ "D (R2 D)\n"
+},
+[16] = {
+ .scramble = "F U2 F R2 U' D' B R' U2 R' U2 L2 U2 B2 R' D2 B2 R B2 L' F2",
+ .solutions =
+ "(D U2 F U)\n"
+ "(D L' B' U)\n"
+ "(D' U2 F U)\n"
+ "(D' L' B' U)\n"
+ "(L2 D B' U)\n"
+ "(L2 D' B' U)\n"
+},
+[17] = {
+ .scramble = "U F2 R' L F' U2 F D' L' U D2 B' R2 F' D2 B' L2 B'",
+ .solutions =
+ "U2 R' B D' L2 U\n"
+ "U2 R' B' D' L2 U\n"
+ "U2 B D' R L2 U\n"
+ "U2 B' D' R L2 U\n"
+ "R L' F D L2 U\n"
+ "R L' F' D L2 U\n"
+ "R F D L2 F U\n"
+ "R' U2 B D R2 U\n"
+ "R' U2 B' D R2 U\n"
+ "R' U' B D' L2 U\n"
+ "R' U' B' D' L2 U\n"
+ "R' B D' L2 F U\n"
+ "L2 D' F D R' U\n"
+ "L2 D' F D' R' U\n"
+ "L2 D' F' D R' U\n"
+ "L2 D' F' D' R' U\n"
+ "L' F D R' L2 U\n"
+ "L' F' D R' L2 U\n"
+ "F U B' D R' U\n"
+ "F U B' D' R' U\n"
+ "F U' B D L U\n"
+ "F U' B D' L U\n"
+ "F D R' L2 F U\n"
+ "F D L2 F R' U\n"
+ "F D' R2 L F' U\n"
+ "F D' R2 F' L U\n"
+ "F B D U' L U\n"
+ "F B D' U' L U\n"
+ "F B' D U R' U\n"
+ "F B' D' U R' U\n"
+ "F' B D R2 L U\n"
+ "F' B' D' R' L2 U\n"
+ "B D R L F' U\n"
+ "B D R F' L U\n"
+ "B D L F' R2 U\n"
+ "B D F' R2 L U\n"
+ "B D' R L2 F U\n"
+ "B' D' L2 F' R' U\n"
+ "B' D' F' R' L2 U\n"
+ "B' R D' L2 F' U\n"
+ "B' R D' F' L2 U\n"
+ "B' R F' D' L2 U\n"
+ "U R U F B D\n"
+ "U R U' F B D\n"
+ "U B' R U F D\n"
+ "U B' R U' F D\n"
+ "U2 R' B U' F2 D\n"
+ "U2 R' B' U' F2 D\n"
+ "R L' F U B2 D\n"
+ "R L' F' U B2 D\n"
+ "R F' U' F2 B D\n"
+ "R' U2 B U F2 D\n"
+ "R' U2 B' U F2 D\n"
+ "R' U' B U' F2 D\n"
+ "R' U' B' U' F2 D\n"
+ "L2 F U' B2 L' D\n"
+ "L2 F' U' B2 L' D\n"
+ "B D L' F B2 D\n"
+ "B D F L' B2 D\n"
+ "B D F B L' D\n"
+ "B D B L' F D\n"
+ "B D' F B2 R D\n"
+ "B2 D L' F B' D\n"
+ "B2 D F L' B' D\n"
+ "B2 D' F R B D\n"
+ "B' U R U F D\n"
+ "B' U R U' F D\n"
+ "B' D F B2 L' D\n"
+ "B' D B2 L' F D\n"
+ "B' D' F R B2 D\n"
+ "B' D' F B' R D\n"
+ "B' R F' U' F2 D\n"
+ "R L2 D' F D U\n"
+ "R L2 D' F' D U\n"
+ "L2 D' R F D U\n"
+ "L2 D' R F' D U\n"
+ "(U2 L D F' B2 U)\n"
+ "(U2 L' D F' B2 U)\n"
+ "(U2 F L D B2 U)\n"
+ "(U2 F L' D B2 U)\n"
+ "(R L D F B2 U)\n"
+ "(R L' D' F2 B' U)\n"
+ "(R' U L' D B' U)\n"
+ "(R' U L' D' B' U)\n"
+ "(R' U' L D F U)\n"
+ "(R' U' L D' F U)\n"
+ "(R' D F2 R B' U)\n"
+ "(R' D F2 B' R U)\n"
+ "(R' D' F B2 R' U)\n"
+ "(R' D' B2 R' F U)\n"
+ "(R' L D U' F U)\n"
+ "(R' L D' U' F U)\n"
+ "(R' L' D U B' U)\n"
+ "(R' L' D' U B' U)\n"
+ "(L D R F B2 U)\n"
+ "(L D B2 R F U)\n"
+ "(L F' D R B2 U)\n"
+ "(L F' D B2 R U)\n"
+ "(L F' R D B2 U)\n"
+ "(L' D F' B2 R' U)\n"
+ "(L' D' R F2 B' U)\n"
+ "(L' D' F' R B' U)\n"
+ "(L' D' F' B' R U)\n"
+ "(L' D' B' R F2 U)\n"
+ "(F U L D B2 U)\n"
+ "(F U L' D B2 U)\n"
+ "(F U2 L D' F2 U)\n"
+ "(F U2 L' D' F2 U)\n"
+ "(F L' D B2 R' U)\n"
+ "(F' R' D' B2 R' U)\n"
+ "(F' B R D' B2 U)\n"
+ "(F' B R' D' B2 U)\n"
+ "(B R D' F B2 U)\n"
+ "(B R' D' F B2 U)\n"
+ "(B2 D R D F U)\n"
+ "(B2 D R D' F U)\n"
+ "(B2 D R' D F U)\n"
+ "(B2 D R' D' F U)\n"
+ "(U2 F L U R2 D)\n"
+ "(U2 F L' U R2 D)\n"
+ "(U' L F' U R' D)\n"
+ "(U' L F' U' R' D)\n"
+ "(U' F' U R' L' D)\n"
+ "(U' F' U' R' L' D)\n"
+ "(L U' F' U R' D)\n"
+ "(L U' F' U' R' D)\n"
+ "(L D R' L F' D)\n"
+ "(L D R' F' L2 D)\n"
+ "(L D' R' L2 B D)\n"
+ "(L D' L2 B R' D)\n"
+ "(L F' R U R2 D)\n"
+ "(L2 D R' F' L' D)\n"
+ "(L2 D' R' B L D)\n"
+ "(L2 D' B R' L D)\n"
+ "(L' D R' L2 F' D)\n"
+ "(L' D' R' L' B D)\n"
+ "(L' D' R' B L2 D)\n"
+ "(L' D' L' B R' D)\n"
+ "(L' D' B R' L2 D)\n"
+ "(F U L U R2 D)\n"
+ "(F U L' U R2 D)\n"
+ "(F U2 L U' R2 D)\n"
+ "(F U2 L' U' R2 D)\n"
+ "(F' R U R2 L' D)\n"
+ "(F' B R U' L2 D)\n"
+ "(F' B R' U' L2 D)\n"
+ "(B2 R U L2 B D)\n"
+ "(B2 R' U L2 B D)\n"
+ "(F' B2 D R D U)\n"
+ "(F' B2 D R' D U)\n"
+ "(B2 D F' R D U)\n"
+ "(B2 D F' R' D U)\n"
+ "U (R' D U2 L' U)\n"
+ "U (R' D F R U)\n"
+ "U (R' D' U2 L' U)\n"
+ "U (R' D' F R U)\n"
+ "U (R' F2 D R U)\n"
+ "U (R' F2 D' R U)\n"
+ "U (R U F' R' D)\n"
+ "U (R U' F' R' D)\n"
+ "U (R D2 U L D)\n"
+ "U (R D2 U' L D)\n"
+ "U (R F2 U R' D)\n"
+ "U (R F2 U' R' D)\n"
+ "U (R2 F2 R D U)\n"
+ "U (R2 F2 R' D U)\n"
+ "U (L2 B2 R D U)\n"
+ "U (L2 B2 R' D U)\n"
+ "U R' U (R' L2 D)\n"
+ "U2 R' B' U (R' D)\n"
+ "U' L U (R' L D)\n"
+ "U' L B U (R' D)\n"
+ "R L F2 U (L D)\n"
+ "R F2 L U (L D)\n"
+ "R F' U (F2 R U)\n"
+ "R2 F' U (R F2 U)\n"
+ "R2 F' U (F' R U)\n"
+ "R' L F' U (R' D)\n"
+ "R' L2 U (R B2 U)\n"
+ "R' L2 U (B2 R U)\n"
+ "R' F' L U (R' D)\n"
+ "L U2 B U (R' D)\n"
+ "L F' U (D2 L D)\n"
+ "L F' U (F' R' D)\n"
+ "L F' R U (L D)\n"
+ "L2 F U (R' F' D)\n"
+ "F U (F' U R' D)\n"
+ "F U (F' U' R' D)\n"
+ "F D' R2 U (F U)\n"
+ "F2 U (D R F U)\n"
+ "F2 U (D' R F U)\n"
+ "F2 U (F' D R U)\n"
+ "F2 U (F' D' R U)\n"
+ "F2 R' L' U (L2 D)\n"
+ "F' U (D' F2 R U)\n"
+ "F' D' R2 U (F U)\n"
+ "F' R L U (L D)\n"
+ "F' R2 U (F2 R U)\n"
+ "F' L U (D2 L D)\n"
+ "F' L U (F' R' D)\n"
+ "B U (B2 R D U)\n"
+ "B U (B2 R' D U)\n"
+ "U F2 B' D (R U)\n"
+ "R U F D (R' U)\n"
+ "R U' F D (R' U)\n"
+ "R B D (L' F D)\n"
+ "R B D (F L' D)\n"
+ "R B2 D (L2 F D)\n"
+ "R B2 D (F L2 D)\n"
+ "R' U F' B' D (U)\n"
+ "R' U B' D (R2 U)\n"
+ "R' U' F' B' D (U)\n"
+ "R' U' B' D (R2 U)\n"
+ "R' L' B2 D (L D)\n"
+ "R' B D (F' L' D)\n"
+ "R' B L' D (L D)\n"
+ "R' B2 D (L F' D)\n"
+ "R' B2 D (F' L2 D)\n"
+ "L' B2 R' D (L D)\n"
+ "L' B' R' D (L' D)\n"
+ "F D (R' F B' U)\n"
+ "F D (F R' B' U)\n"
+ "F U' B2 D (F U)\n"
+ "F R' U B' D (U)\n"
+ "F R' U' B' D (U)\n"
+ "F B2 D (U' F U)\n"
+ "F B' D (U B' U)\n"
+ "F2 B' D (R B' U)\n"
+ "F2 B' D (B' R U)\n"
+ "F' U' B2 D (F U)\n"
+ "F' B' D (F' B' U)\n"
+ "B D (B L F D)\n"
+ "B R' D (F' L' D)\n"
+ "B R' L' D (L D)\n"
+ "B2 D (R2 F B U)\n"
+ "B2 D (L2 F B D)\n"
+ "B2 R D (L F D)\n"
+ "B2 R' D (L F' D)\n"
+ "B2 R' D (F' L2 D)\n"
+ "B2 R' L' D (L2 D)\n"
+ "B' D (R F' B' U)\n"
+ "B' D (F' R2 B' U)\n"
+ "B' D (F' B' R2 U)\n"
+ "B' D (B' R F' U)\n"
+ "B' D (L' F B D)\n"
+ "B' D (F L' B D)\n"
+ "B' D (F B L2 D)\n"
+ "B' D (B L2 F D)\n"
+ "B' R D (L2 F D)\n"
+ "B' R D (F L2 D)\n"
+ "B' R' D (L2 F' D)\n"
+},
+[18] = {
+ .scramble = "D2 R D B2 U2 B R F U2 L' D2 R2 D2 R2 D' F2 L2 F2 U R2 D'",
+ .solutions =
+ "U (D R D)\n"
+ "B U (R D)\n"
+},
+[19] = {
+ .scramble = "B' D' F B' U' R U' R' D' F' D2 B2 R' L2 D2 L' B2 L' B2 L2 U2 F2",
+ .solutions =
+ "U (R2 F U)\n"
+ "U (F R2 U)\n"
+ "F U (R2 U)\n"
+},
+{
+ .scramble = "", /* End-of-list signal */
+}
+};
diff --git a/tools/403_solvetest_opt0_EO_UD/solvetest.c b/tools/403_solvetest_opt0_EO_UD/solvetest.c
@@ -0,0 +1,8 @@
+#define NISSFLAG NISSY_NISSFLAG_ALL
+#define MINMOVES 0
+#define MAXMOVES 20
+#define MAXSOLUTIONS 500
+#define OPTIMAL 0
+
+#include "scrambles.h"
+#include "../solvetest.h"
diff --git a/tools/404_solvetest_opt1_DR_UD/scrambles.h b/tools/404_solvetest_opt1_DR_UD/scrambles.h
@@ -0,0 +1,1563 @@
+struct {
+ char *scramble;
+ char *solutions;
+} s[] = {
+[0] = {
+ .scramble = "U2 D' B U B' R L2 F L F2 R2 B U2 L2 F' U2 R2 B2 L2 B2 L2",
+ .solutions =
+ "R' D F' R2 L' D2 F' U R\n"
+ "R' U2 L' F L2 B' R L' U F\n"
+ "U F D2 R U B U2 F L B\n"
+ "D F' D' F2 B' R D R2 L B\n"
+ "D2 L F' R' B L B' U D2 B\n"
+ "R' D2 R' B R2 F' R' L U B\n"
+ "B' D2 F' R' L' D' B L2 U' B\n"
+ "U R L' U' B' D2 F' L' F2 R\n"
+ "D L' F B D B D' L' B' R\n"
+ "F D' R' F2 B L2 D2 F U' R\n"
+ "F' L' D' R' F' R D' F' U R\n"
+ "U R L' U' B' D2 F' R' D2 L\n"
+ "R U2 L' B L U2 B2 D F L\n"
+ "R' U2 D' B' R' L2 D2 B' U L\n"
+ "L2 D2 F' U2 L2 U2 R' U' F' L\n"
+ "F D' R' F B2 D2 R2 B D' L\n"
+ "(F2 U' D' R D' B L B D' F)\n"
+ "(D L' B R' U B2 U F D2 R)\n"
+ "(L2 D R F L' U2 F B D' R)\n"
+ "(D L' B R' U2 F D F2 U L)\n"
+ "(D L' B R' U2 F' U L2 D L)\n"
+},
+[1] = {
+ .scramble = "B' R D2 L2 B' D2 F U' L' B U R2 D' F2 L2 D2 F2 D' B2 U' B2 D'",
+ .solutions =
+ "(B' R F' D2 B L2 U R' F)\n"
+ "R' B' U2 R B R' L B' D' F\n"
+ "L U2 L2 D2 L2 B' R U L2 F\n"
+ "L' U' F2 B' U2 B2 L B2 D F\n"
+ "B L U' F B D' B2 D2 R' F\n"
+ "R L F R F U2 F2 R' U' B\n"
+ "R2 L' F L2 U2 R U' R2 U' B\n"
+ "B' R' F2 D L F' R' F' L B\n"
+ "L' F B' R2 D R2 L2 B D R\n"
+ "(B' R U2 R2 F' D2 B U' R' F)\n"
+ "(U' B U2 R L2 D' F L U' B)\n"
+ "(B' R D2 L2 B' D2 F U' L' B)\n"
+ "(L U2 B' U' F' R B' U' F' R)\n"
+},
+[2] = {
+ .scramble = "F2 L U' F U' L' U' F R D L2 F2 U B2 D R2 U F2 U F2 B2 D2",
+ .solutions =
+ "F R' D R F' U' L' D' R\n"
+ "F' L' F B2 L' F2 U D' R\n"
+ "F' L' F B2 L' B2 U' D L\n"
+ "(F2 L U' F U' L' U' F R)\n"
+ "(R L U2 B2 U B L2 B L)\n"
+ "(F2 U2 F2 R' D F D2 F L)\n"
+ "D L D F' U F' R' U' R2 F\n"
+ "D2 F' U R' U L' D' L D2 B\n"
+ "R D' R' L U' L2 B' U' L' B\n"
+ "U' L' F B2 U F D2 R B2 R\n"
+ "U' F2 D F' R' F' R' L U' R\n"
+ "U' F2 L' U' D' F U2 F' U' R\n"
+ "U' F2 L' U' D' B L2 B' U' R\n"
+ "D F2 R F U F L F' D R\n"
+ "D' R D' F R F D' B2 D' R\n"
+ "R' F D R F U' L U D' R\n"
+ "L U F' B' U B U' F' D' R\n"
+ "F U' R2 D2 B2 R U2 D F' R\n"
+ "F U' R2 B2 R U2 F2 D F' R\n"
+ "F U' R2 B2 R' L2 U D2 B' R\n"
+ "F R' D R F' B2 U' L' D' R\n"
+ "F B2 R' D R F' U' L' D' R\n"
+ "F2 U' F L' F' U R' U D' R\n"
+ "F' U' L U L2 F U2 F2 D' R\n"
+ "F' L' F U2 F2 R B2 U D R\n"
+ "F' L' F B2 L' U D F2 D2 R\n"
+ "F' L' F B2 L' U' D' F2 U2 R\n"
+ "F' L' F' D F2 U' R' L U' R\n"
+ "F' B2 L' F B2 L' F2 U D' R\n"
+ "U2 D2 B' R' F2 B R' U D' L\n"
+ "U' L' F B2 U F D2 L U2 L\n"
+ "R' F D R F' D' R U' D L\n"
+ "L D' F' D2 R2 U2 B' U F2 L\n"
+ "L D' B' L2 D2 R2 F' U F2 L\n"
+ "F U' L' D2 R' D2 B2 U' F' L\n"
+ "F R' D R F' U D2 R' D' L\n"
+ "F2 D2 B R' B' D' R F2 U' L\n"
+ "F' U' L U L2 F D2 B2 D' L\n"
+ "F' L' F U2 F2 R F2 U D L\n"
+ "F' L' F U' L U L2 B2 U' L\n"
+ "F' L' F B2 L' U D B2 U2 L\n"
+ "F' L' F B2 L' U' D' B2 D2 L\n"
+ "F' L' F' U L2 D' R L' U' L\n"
+ "F' B2 L' F B2 L' B2 U' D L\n"
+ "(U R' U2 F' U' D2 L' U D2 F)\n"
+ "(U2 R' B D F' B' L' B2 U' F)\n"
+ "(F' L U2 D2 L' U' F R D2 F)\n"
+ "(F' R D F U' F' B D L B)\n"
+ "(D R B2 R B U B' U D' R)\n"
+ "(D' L U2 L F D F' U' D R)\n"
+ "(R L U2 B2 U D2 F U2 F R)\n"
+ "(R L D2 F D B2 U D' F R)\n"
+ "(R2 B2 D2 B L' D' B L D2 R)\n"
+ "(R' L' U D' B D2 B D' F2 R)\n"
+ "(F2 U2 F2 R' U2 D B R2 B R)\n"
+ "(F2 U2 F2 R' D F' B2 U2 F R)\n"
+ "(F2 L' B' U B L' U' L' F2 R)\n"
+ "(F' U' F D2 L B2 D' B2 U R)\n"
+ "(F' U' F' U2 R' F2 D B2 U R)\n"
+ "(F' U' F' R L' U F2 L2 D R)\n"
+ "(F' U' F' L' F2 D R' U D' R)\n"
+ "(F' L D2 R D' B2 U D' F R)\n"
+ "(F' B' R' U2 R' U B U' F R)\n"
+ "(U' D R' U R F' U' F' D L)\n"
+ "(D F2 R' U R F U2 F' D L)\n"
+ "(D F' U' R' U R U' F' D L)\n"
+ "(D' F2 R2 B2 R' F' L D F' L)\n"
+ "(R U2 R2 D' L2 F L' F' U L)\n"
+ "(R L U' B R B2 R' L2 B L)\n"
+ "(R L' U2 B' U2 L2 U' L2 B L)\n"
+ "(R F2 L U2 B2 U B L2 B L)\n"
+ "(R B2 R' D2 F2 U B L2 B L)\n"
+ "(R2 B2 D2 B L' D' B R F2 L)\n"
+ "(R2 B2 R L' F2 D F L2 F L)\n"
+ "(R' U L B L2 B2 R' B D2 L)\n"
+ "(L U R' D2 F' D F U D L)\n"
+ "(L D2 R U2 B2 U B L2 B L)\n"
+ "(L2 U2 F B2 D' R' D' R F' L)\n"
+ "(L2 F2 U2 R L' U B L2 B L)\n"
+ "(F2 U2 F2 D F R' D' F D2 L)\n"
+ "(F2 U2 F2 B2 R' D F D2 F L)\n"
+ "(F2 L U R' U F' D F D L)\n"
+ "(F2 L' B' U B L' U' R' D2 L)\n"
+ "(F' U2 B2 R U R2 F' L2 U' L)\n"
+ "(F' U' F R2 L2 U R' B2 U L)\n"
+ "(F' U' F R' D' L2 U' R2 B2 L)\n"
+ "(F' U' F R' D' L2 U' L2 F2 L)\n"
+},
+[3] = {
+ .scramble = "B U R' U F' B2 R F2 L F2 L2 U D2 R2 F2 D L2 U R2 D2 L2 U'",
+ .solutions =
+ "U F2 R' D L F' U2 L2 F\n"
+ "U F2 R' D L B' L2 D2 F\n"
+ "U F2 R' D L F' D2 R2 B\n"
+ "U F2 R' D L B' R2 U2 B\n"
+ "(B R2 U2 R U' F U2 L F)\n"
+ "(B L2 D2 R D' B D2 L B)\n"
+ "(B U R' U F' B2 L D2 R)\n"
+ "(B U R' U F' B2 R F2 L)\n"
+ "U F2 R' D L F B2 D2 R2 F\n"
+ "U F2 R' D L F2 B R2 U2 F\n"
+ "U2 B U D' B D B' R' L F\n"
+ "U' D2 B2 L' D R F' L2 U2 F\n"
+ "U' D2 B2 L' D R B' D2 L2 F\n"
+ "U' L F R U2 F2 D F' L' F\n"
+ "U' L F R' U2 B2 U F' R' F\n"
+ "U' L' U2 D L U2 D' R' L2 F\n"
+ "L2 U2 L' U' F2 R' D L' D2 F\n"
+ "F D B2 D2 F' U' F2 R L' F\n"
+ "F D' F2 U2 F U' R L' U2 F\n"
+ "F2 L2 B L2 U' R2 D' R L F\n"
+ "F2 L2 B L2 D' F2 U' R L F\n"
+ "B L U F2 R D2 R2 D' L' F\n"
+ "B2 R2 B' L2 U F2 D R' L' F\n"
+ "B2 R2 B' L2 D R2 U R' L' F\n"
+ "B' L B' L U F2 R' D L' F\n"
+ "U F2 R' D L F B2 U2 L2 B\n"
+ "U F2 R' D L F2 B L2 D2 B\n"
+ "U' D2 B2 L' D R F' R2 D2 B\n"
+ "U' D2 B2 L' D R B' U2 R2 B\n"
+ "U' L F' R U2 L2 U' B' L' B\n"
+ "U' F2 R D L' U2 B L2 D B\n"
+ "D2 F U D' F D F' R L' B\n"
+ "D' R U D' L' B2 R B2 R B\n"
+ "L B U' D' R D' L' U R2 B\n"
+ "L2 D2 R' U' B2 L' D R' D2 B\n"
+ "F D' F2 U2 F U' R' L D2 B\n"
+ "U' F' L' F' D R D L2 F L\n"
+ "B L U R F' D2 R2 F D L\n"
+ "(U2 F' L' D2 R' D R F R F)\n"
+ "(D' L B U2 R' F' L' B2 U F)\n"
+ "(L' U2 B D F R D' B L' F)\n"
+ "(B R2 U2 B2 R U' F U2 L F)\n"
+ "(U2 L F U D' B U R L B)\n"
+ "(D' B L2 B2 U2 L B R U B)\n"
+ "(R L2 D' B' L' U L2 U R B)\n"
+ "(B L2 D2 F2 R D' B D2 L B)\n"
+ "(B' L2 B' L U2 B' D' F2 L B)\n"
+ "(U2 R L F D R L F' U2 R)\n"
+ "(D' R D2 B L2 D F2 B U' R)\n"
+ "(D' R' F2 R2 D' B' R' B2 U2 R)\n"
+ "(D' R' F2 R2 D' B' L' U2 F2 R)\n"
+ "(R L2 D' B L' B U L2 B' R)\n"
+ "(L U D' R L B R' L U' R)\n"
+ "(L F B L F B' D F2 D2 R)\n"
+ "(F U' R' D R' U B' L' D R)\n"
+ "(F U' L2 F2 D F U' L' U' R)\n"
+ "(F L F U2 F2 R' U2 F' D' R)\n"
+ "(F L F B2 L D2 F' B2 D' R)\n"
+ "(F B' R F2 D R' L' D F R)\n"
+ "(B U R' U F' B2 R2 L' U2 R)\n"
+ "(D' R D B U2 R2 F R2 U2 L)\n"
+ "(D' R D B U2 R2 F L2 D2 L)\n"
+ "(D' R D B R' L2 D2 R B' L)\n"
+ "(D' R D' L2 U2 F' R2 U2 B' L)\n"
+ "(D' R' F2 R2 D' B' R' F2 D2 L)\n"
+ "(D' R' F2 R2 D' B' L' D2 B2 L)\n"
+ "(D' B2 L2 U B L2 F2 R' D' L)\n"
+ "(D' B2 L2 U B' L2 F2 R D' L)\n"
+ "(R B R2 U2 F' U' R F2 U' L)\n"
+ "(L D' R L B L' B L' B L)\n"
+ "(L F B L F B' D B2 U2 L)\n"
+ "(F' D' B2 L' U L' B' R' U L)\n"
+ "(B U R2 F U F' R U F L)\n"
+ "(B U R' U F' B2 R' L2 B2 L)\n"
+ "(B' L' D2 R' B' L' D2 B' D' L)\n"
+},
+[4] = {
+ .scramble = "U' D2 B2 L2 D F2 R' D B D2 R' D2 B2 L2 F2 R' D2 L D2 F2 U2 L",
+ .solutions =
+ "R D' F R D2 L B2 U2 L' F\n"
+ "R2 L' D2 L2 B2 D R D' L' F\n"
+ "R' B R' U2 B U R' U' D F\n"
+ "L' F2 R L B2 U2 R' U' R' F\n"
+ "F2 L D2 L F2 D2 R2 U' R' F\n"
+ "B2 L' U R U' R2 D2 L D F\n"
+ "R D' F2 U R' D2 F2 U2 L B\n"
+ "R L B U B2 U' L F2 D2 B\n"
+ "R L B U B2 U' L B2 U2 B\n"
+ "R L B' U' L' B U' F2 R2 B\n"
+ "R L B' U' L' B U' B2 L2 B\n"
+ "L U2 R2 B2 L2 B2 L' D' R' B\n"
+ "L F2 R2 B2 D2 F2 R' U' L' B\n"
+ "L B2 R U' L U' F2 D R2 B\n"
+ "L B2 R U' L D F2 U' R2 B\n"
+ "L B2 L2 F2 D2 B2 L' D' R' B\n"
+ "F2 R L U' D B L2 D L' B\n"
+ "U' R2 D' F' R D2 F B2 D' R\n"
+ "R' D2 R F R' B2 U2 F2 U' R\n"
+ "R' D2 R2 B2 R' F U F2 U' R\n"
+ "R' D2 L2 F2 U2 R' D2 B' D' R\n"
+ "L U2 R2 B2 L B D B2 D' R\n"
+ "L D2 L2 D' F2 L' F L2 D R\n"
+ "L2 D2 B2 R' F R' L F U' R\n"
+ "F2 D2 L2 F D2 L' F R2 U' R\n"
+ "F2 R2 B' U2 R2 L' F R2 U' R\n"
+ "F' L U2 R2 B L D2 L2 D R\n"
+ "R' D2 R F R' B2 D2 B2 U' L\n"
+ "R' D' R F R2 U2 F' D2 F' L\n"
+ "F' L D2 L2 F R D2 L2 U L\n"
+ "(R2 B2 U2 F' L' F2 D2 R2 U R)\n"
+ "(R' L2 D R2 U R L' D F' R)\n"
+ "(L U' F2 R L' D' R F' B2 R)\n"
+ "(L U' B' R' L D2 R F2 B' R)\n"
+ "(L B' L D2 B D2 L' U' B2 R)\n"
+ "(L2 U' R' D2 R F' B' R2 F' R)\n"
+ "(F2 L U' B' R2 D B2 R2 B R)\n"
+ "(B2 R D' B' L2 U B2 L2 B L)\n"
+ "(B' L B' D2 R' B' U F2 B2 L)\n"
+ "U B2 R U B2 R2 B2 U2 R D F\n"
+ "U B2 R U' R2 B U2 B R' D F\n"
+ "U2 L2 U' R B2 U' L D' R2 D' F\n"
+ "U2 L2 B2 L' F2 L U' D2 R2 L F\n"
+ "U2 B R' U2 F R' F' D' R D2 F\n"
+ "U2 B2 R' U D' B2 D' R U2 R2 F\n"
+ "U2 B2 R' B R' U2 D R F2 L' F\n"
+ "D2 R2 U R D' L2 D B2 R2 L F\n"
+ "D2 R' L D2 R U' F2 U D' R F\n"
+ "D2 F2 R2 L' B R2 F D' R L2 F\n"
+ "D2 F2 L' D2 F2 D2 R2 B2 U R' F\n"
+ "D2 F2 L' D' L2 F L2 F D R F\n"
+ "D2 F2 L' D' F2 R2 B2 R2 D R F\n"
+ "D2 F2 L' F' R2 B' L2 B' U R' F\n"
+ "D' B' R D L2 U2 R2 F B R F\n"
+ "D' B' R L2 D B' L2 D2 B2 L F\n"
+ "R U' L' D2 F2 D F' L2 U L' F\n"
+ "R D2 R2 L' D' L U F2 U' L2 F\n"
+ "R D2 L2 U' L D' L' F L2 U F\n"
+ "R D' F R2 L' F2 L D2 B2 R' F\n"
+ "R D' F L B2 L U2 F2 R L2 F\n"
+ "R L U' L2 D L' F2 L2 U D F\n"
+ "R L B U B2 U' L F B R2 F\n"
+ "R L B U B2 U' L F' B' L2 F\n"
+ "R L B U B2 D R2 U' D' L' F\n"
+ "R L B' U' L' B U' F B U2 F\n"
+ "R L B' U' L' B U' F' B' D2 F\n"
+ "R L2 U L D L U2 F2 L2 U' F\n"
+ "R L2 U L D L' U2 F2 L2 U F\n"
+ "R L2 U2 L D L' U F2 L2 U F\n"
+ "R L' U L2 U' D L U' F2 L2 F\n"
+ "R L' U L2 U' D L U' B2 R2 F\n"
+ "R L' D L' F U L2 U2 F2 L2 F\n"
+ "R L' D L' F U L2 U2 B2 R2 F\n"
+ "R L' D2 R2 D' L' D' F' L2 D F\n"
+ "R F B2 U F' B' R B R D F\n"
+ "R F' B2 R2 F2 U R' F2 R' D F\n"
+ "R B U2 R D' R' B U F U' F\n"
+ "R B U2 R D' R' B' U F U' F\n"
+ "R2 D' R L' D' L' F D' F2 L2 F\n"
+ "R2 D' R L' D' L' F D' B2 R2 F\n"
+ "R2 D' B2 L' B' D B' D2 R L F\n"
+ "R2 L B2 D2 R U' L F2 U D' F\n"
+ "R2 L' D2 L2 B2 R2 F2 L' U' R' F\n"
+ "R2 L' F2 U2 R2 F2 D' R D' L' F\n"
+ "R2 B2 D2 R U B2 D2 R' U' D' F\n"
+ "R' U2 R2 B R' U2 R2 D' R D2 F\n"
+ "R' D F' R2 B2 R D2 R' F R2 F\n"
+ "R' D F' R2 B2 L B2 L' F R2 F\n"
+ "R' D2 R2 B U' B' L F U L' F\n"
+ "R' D2 R2 B2 R L D R D' L' F\n"
+ "R' D2 R2 B2 R' L F2 L' U' R' F\n"
+ "R' D2 R' L D2 L2 D' R D' L' F\n"
+ "R' D2 L U2 R U2 F2 L' U' R' F\n"
+ "R' D2 L2 D' L2 F2 U' L U L F\n"
+ "R' D2 F2 R2 U R2 U' L U L F\n"
+ "R' D' L' F' D' F L' D' F2 L2 F\n"
+ "R' D' L' F' D' F L' D' B2 R2 F\n"
+ "R' D' B R' U2 B U2 R F U2 F\n"
+ "R' L' D' F2 U2 B2 R B2 L2 U F\n"
+ "R' L' D' B2 D2 B2 L B2 R2 D F\n"
+ "R' B R D' R U F U B' D2 F\n"
+ "R' B2 U' R' U2 R' B2 D F2 D2 F\n"
+ "R' B2 U' R' U2 R' B2 D B2 U2 F\n"
+ "R' B2 U' R' U2 R' B2 D' F2 D2 F\n"
+ "R' B2 U' R' U2 R' B2 D' B2 U2 F\n"
+ "R' B2 R2 F2 U B2 R' F2 R D F\n"
+ "R' B2 R' U R' F B2 D B2 U' F\n"
+ "R' B2 R' B' R2 D' R U2 B' D2 F\n"
+ "R' B' L U' L' B' U R2 B2 D F\n"
+ "L U2 L' B' R' D' B2 R U2 D2 F\n"
+ "L U2 F2 R2 L' D' R' U2 R2 D2 F\n"
+ "L U2 F2 R2 L' D' R' D2 R2 U2 F\n"
+ "L D F2 R2 D L2 D' L' U' R' F\n"
+ "L F2 D2 F2 L2 D2 R2 L' U' R' F\n"
+ "L B2 R U' R2 L' U B2 D' R2 F\n"
+ "L B2 R U' R2 L' D' B2 U R2 F\n"
+ "L B2 R U' L U' F2 U2 D' L2 F\n"
+ "L B2 R U' L D F2 U D2 L2 F\n"
+ "L B2 R U' L' U' F2 U2 L2 D' F\n"
+ "L B2 R U' L' D F2 D2 L2 U F\n"
+ "L2 D2 B2 R' F R' U' L F2 R' F\n"
+ "L2 F2 L F' D' F R L F2 D F\n"
+ "L2 B2 R L U' D' F L2 U L' F\n"
+ "L' D F D F' R2 B2 R' L D F\n"
+ "L' F2 R D L B2 R2 D' B2 U F\n"
+ "L' F2 R2 L F' R' F B2 U R' F\n"
+ "L' F2 L U R' F2 D L2 D2 L F\n"
+ "L' F2 L U2 F2 D' L' F2 U' R F\n"
+ "L' F2 L U2 B2 U' R' F2 D' L F\n"
+ "L' F' D' F R L' U' F' L2 U F\n"
+ "F U2 L2 B2 U' R L' F' R L2 F\n"
+ "F D R2 D F2 L' F D' B2 R' F\n"
+ "F B2 R F2 B D F' U2 R2 L' F\n"
+ "F2 R2 L' U2 L B2 U2 L2 U' R' F\n"
+ "F2 R' L U' F2 D L' D F2 L' F\n"
+ "F2 R' L F2 R' D' B2 R D' L2 F\n"
+ "F2 R' L' U D' F' B2 R2 D R' F\n"
+ "F2 R' F' D F2 L' F D2 F L' F\n"
+ "F2 L U2 D2 L F2 D2 R' U' R' F\n"
+ "F2 L U' D' L2 U' L' F2 U' R F\n"
+ "F2 L D2 L F' D R' D R2 U' F\n"
+ "F2 L D2 L' U2 L2 F2 U' D2 R' F\n"
+ "F' D2 R2 F2 U R L' F' R L2 F\n"
+ "B D2 R' B L2 B D' L' D R2 F\n"
+ "B2 U R U' L U2 L' U2 R2 D F\n"
+ "B2 U' L F U' L' F' U2 R' D F\n"
+ "B2 D2 R2 U2 R' B2 R U' D2 R' F\n"
+ "B2 R U2 D L U L' F L2 U F\n"
+ "B2 R D L U' L' U' F U2 L2 F\n"
+ "B2 R D L U' L' U' B R2 U2 F\n"
+ "B2 R D L U' L' F2 U L2 D F\n"
+ "B2 R L' F2 R D2 L U D2 R' F\n"
+ "B2 R2 U R' B2 D2 R' U' R D' F\n"
+ "B2 R2 F R F' D B2 D' R D F\n"
+ "B2 R2 F' D' B2 D' R F' U2 L F\n"
+ "B2 R' D R2 U B' R B' R U' F\n"
+ "B2 L U2 L U2 L F2 L U R' F\n"
+ "B2 L' U R U' R L B2 R D F\n"
+ "B' D' L2 B2 R D B' L2 D2 L F\n"
+ "B' R B U2 R2 D' B2 R' B D2 F\n"
+ "B' R' D L B' D2 F2 R' B L2 F\n"
+ "U B2 R U' F L2 D2 F2 R' U B\n"
+ "U2 L2 U2 B2 L' F2 L U' D2 L' B\n"
+ "U2 L' F' D' F' R2 L' D2 R D B\n"
+ "U2 L' F' D' F' R' L2 F2 L D B\n"
+ "U2 F2 R2 D L U' D2 R U R' B\n"
+ "U2 B2 R' U D' B2 D' R D2 L2 B\n"
+ "D R' D L2 F' U' R2 U' D R' B\n"
+ "D2 R' D2 R D' L2 U2 D2 B2 L B\n"
+ "D2 R' B2 U R2 F2 U L' D' R2 B\n"
+ "D' B' R D L2 D2 L2 F B L B\n"
+ "D' B' R L2 D B' R2 U2 F2 L B\n"
+ "R U2 D B2 U L D2 F2 U2 R' B\n"
+ "R D2 L' F' L B2 L2 U2 D R' B\n"
+ "R D' F2 U R2 L B2 D2 F2 R B\n"
+ "R D' F2 U L' F2 U2 B2 R' L2 B\n"
+ "R D' F' D2 L U2 D2 R F2 R B\n"
+ "R L U L2 D L' F R2 U D2 B\n"
+ "R L U L' U2 B' L U' L U B\n"
+ "R L U' L2 D L U' D' F2 R2 B\n"
+ "R L U' L2 D L U' D' B2 L2 B\n"
+ "R L U' L2 D L' F2 R2 U D B\n"
+ "R L B U B2 U' L U2 F2 D2 B\n"
+ "R L B U B2 U' L U2 B2 U2 B\n"
+ "R L B U B2 U' L D F2 D2 B\n"
+ "R L B U B2 U' L D B2 U2 B\n"
+ "R L B U B2 U' L D2 F2 D2 B\n"
+ "R L B U B2 U' L D2 B2 U2 B\n"
+ "R L B U B2 U' L D' F2 D2 B\n"
+ "R L B U B2 U' L D' B2 U2 B\n"
+ "R L B U' F D2 F2 U' F' R' B\n"
+ "R L B' U' L' F2 B R2 B2 D B\n"
+ "R L B' U' L' B U' R2 F2 R2 B\n"
+ "R L B' U' L' B U' R2 B2 L2 B\n"
+ "R L B' U' L' B U' L2 F2 R2 B\n"
+ "R L B' U' L' B U' L2 B2 L2 B\n"
+ "R L B' U' L' B R2 B2 L2 D B\n"
+ "R L' U2 D' F2 B2 R F2 L2 U' B\n"
+ "R L' D L' F U R2 D2 F2 R2 B\n"
+ "R L' D L' F U R2 D2 B2 L2 B\n"
+ "R B2 U2 D L2 D2 R' U' R U B\n"
+ "R B' L U' R2 L' D' F R2 U' B\n"
+ "R2 D' B2 L' B' D B' U2 R L B\n"
+ "R2 L B2 U2 R2 F2 D' L D' R' B\n"
+ "R2 L B2 R' U' L' B' U' F2 R2 B\n"
+ "R2 L B2 R' U' L' B' U' B2 L2 B\n"
+ "R2 L' U D B2 R2 U L D' R' B\n"
+ "R2 B2 L2 D' R' D' F2 U D2 R B\n"
+ "R' D F' R2 B2 R D2 R' B U2 B\n"
+ "R' D F' R2 B2 L B2 L' B U2 B\n"
+ "R' D2 F D2 B D' F R F R B\n"
+ "R' D' B R' U2 B U2 R B L2 B\n"
+ "R' F' R2 L' D L D2 B' U2 D B\n"
+ "R' B U' R2 U F' D' R F R B\n"
+ "R' B D' B' R' B R' U2 F2 R2 B\n"
+ "R' B D' B' R' B R' U2 B2 L2 B\n"
+ "R' B R D' R U F U F' R2 B\n"
+ "R' B R' U2 B U R L2 U D' B\n"
+ "R' B2 U' L' B2 L' F2 U F2 D2 B\n"
+ "R' B2 U' L' B2 L' F2 U B2 U2 B\n"
+ "R' B2 U' L' B2 L' F2 U' F2 D2 B\n"
+ "R' B2 U' L' B2 L' F2 U' B2 U2 B\n"
+ "R' B2 D' R2 U2 R L2 U' R U B\n"
+ "R' B2 R' B' R2 D' R U2 F' R2 B\n"
+ "L U L2 F2 U R2 D' R' U' L' B\n"
+ "L U2 R2 B2 R2 L2 U R U' L' B\n"
+ "L U2 R' L' D2 L2 D2 R' D' R' B\n"
+ "L U2 L2 F2 L2 F2 R2 L D' R' B\n"
+ "L U2 F2 R2 L' U D' L2 U' R' B\n"
+ "L U2 F2 R2 L' D' R' U2 L2 U2 B\n"
+ "L U2 F2 R2 L' D' R' D2 L2 D2 B\n"
+ "L U2 F2 L2 B2 L U R L2 U B\n"
+ "L U2 F2 L' U2 D2 L2 U2 D R' B\n"
+ "L U' R2 B2 L2 D B2 L' D' R' B\n"
+ "L F2 D' L D R U2 B' U' L B\n"
+ "L F2 D' L D R' U2 B' U' L B\n"
+ "L F2 R L U2 B2 D2 L' U' L' B\n"
+ "L F2 L2 F2 U2 B2 R L2 U' L' B\n"
+ "L B R' B2 U F2 D' B R' U B\n"
+ "L B2 R U' L U' R2 B2 U' L2 B\n"
+ "L B2 R U' L U' L2 F2 D R2 B\n"
+ "L B2 R U' L D R2 B2 D L2 B\n"
+ "L B2 R U' L D L2 F2 U' R2 B\n"
+ "L B2 R U' L' U' F2 D2 R2 D' B\n"
+ "L B2 R U' L' D F2 U2 R2 U B\n"
+ "L B2 R L U2 F2 D2 R' D' R' B\n"
+ "L B2 R2 U B2 R' U L D R2 B\n"
+ "L B2 R2 B2 U2 F2 R2 L D' R' B\n"
+ "L B2 L2 F2 D2 R2 U R U' L' B\n"
+ "L2 D2 R' D2 R U2 B2 L2 U' L' B\n"
+ "L' F2 U2 F2 L2 U2 R2 L' D' R' B\n"
+ "L' F2 R D L B2 L2 U' F2 D B\n"
+ "L' F2 L U R' F2 D R2 U2 L B\n"
+ "L' F' D' F' R' L D B' L2 D B\n"
+ "F R F2 D' B L2 F B R' L2 B\n"
+ "F2 U2 R2 D' L D' B2 D R' U' B\n"
+ "F2 R F2 L U2 F2 R' L' D' R' B\n"
+ "F2 R F2 B2 R B2 U2 R' D' R' B\n"
+ "F2 R' L U' F2 U B' U B2 R' B\n"
+ "F2 L U' D' R2 D' L' B2 D' R B\n"
+ "F2 L' F R' L2 U' R2 F2 B R B\n"
+ "F2 L' B R' U2 F U' B R' D2 B\n"
+ "F2 B' U2 R2 L' F R U' B R' B\n"
+ "F' U D F D2 R' B2 U2 D R B\n"
+ "F' B2 U' L2 U' R' L B' U2 R' B\n"
+ "B2 U R U' L U2 L' D2 L2 D B\n"
+ "B2 U2 L2 B2 R' D2 R U D2 L' B\n"
+ "B2 U' B2 D2 L' U2 D R' U R2 B\n"
+ "B2 D2 R B2 L2 D2 R' U2 D R' B\n"
+ "B2 R D L U' L' U' F D2 R2 B\n"
+ "B2 R D L U' L' U' B L2 D2 B\n"
+ "B2 R2 F2 D2 R D2 R U' D2 L' B\n"
+ "B2 R' B2 L2 D F2 R D2 R' U B\n"
+ "B2 L2 U2 L F2 L' D2 B2 U' L' B\n"
+ "B' D' L2 B2 R D B' R2 U2 L B\n"
+ "B' R B U2 R2 D' B2 R' F L2 B\n"
+ "B' R' D L B' D2 F2 R' F U2 B\n"
+ "U2 L2 U2 R U2 F2 B' D' B2 U R\n"
+ "U2 F2 R2 L B U2 D2 R U2 D R\n"
+ "U2 B' L2 F2 B L' U' B' U B R\n"
+ "U' R2 D' F' R F B' L2 B' D' R\n"
+ "U' L U' R2 B2 L B D' B2 D' R\n"
+ "U' B R B' D' R2 B' L2 B' D' R\n"
+ "D R U' L' F R' F D' L F' R\n"
+ "D B U2 B' D R F' D2 L' U' R\n"
+ "D2 R U2 L' U2 F2 B2 R' F U' R\n"
+ "D2 R F B2 U F2 U2 R U D2 R\n"
+ "D2 R2 B2 U2 F R2 L' D2 B D' R\n"
+ "D2 L U2 F2 B2 R' U2 L B' D' R\n"
+ "D2 F2 U2 D2 R' B R' L B D' R\n"
+ "D' F R' B' U2 R2 F R' F2 D R\n"
+ "D' B R2 D R F' D F' D2 B' R\n"
+ "R U' B2 R2 D2 R' D' L2 B' D' R\n"
+ "R D F R F' D2 R D2 F B2 R\n"
+ "R D2 L2 U2 D F' R2 B R' F' R\n"
+ "R D2 L2 U2 F' R' B R2 F' U R\n"
+ "R D' B D' L2 U2 R' B R2 F' R\n"
+ "R L2 U2 R2 F2 R' B U R2 U' R\n"
+ "R F2 R2 B' D2 B2 R' B L2 U R\n"
+ "R B U2 R2 D2 R' B R2 F' U R\n"
+ "R B R2 D2 R' L2 B R2 F' U R\n"
+ "R B2 D2 B2 D' B' U2 B' R F R\n"
+ "R2 U2 R' D F L' U2 F R' F2 R\n"
+ "R2 U' L B' U' L B' U B2 U R\n"
+ "R2 L B2 L2 D2 F2 L' D2 B' D' R\n"
+ "R2 L2 B2 L2 B U2 L B R2 D' R\n"
+ "R2 L' D2 R2 F2 L F D R2 D' R\n"
+ "R' D2 R F R B2 D2 F2 L2 D' R\n"
+ "R' D2 R F B2 R' B2 U2 F2 U' R\n"
+ "R' D2 L2 D' L2 F' U2 B' R B' R\n"
+ "R' D2 L2 F2 R L2 F D R2 D' R\n"
+ "R' D2 F2 R L2 F2 R' F' R' D R\n"
+ "R' D2 F2 L2 F2 R F U F2 U' R\n"
+ "R' D2 F2 L2 F' U F' R F' U' R\n"
+ "R' D2 B2 R F R2 U2 R F2 U' R\n"
+ "R' D' R F R2 U2 F B2 U2 F' R\n"
+ "R' D' R' F D' R2 D B2 U F' R\n"
+ "R' D' B D' F U2 F R L2 F R\n"
+ "R' L2 F2 R2 U2 B R D2 B' D' R\n"
+ "R' F L2 F2 R2 U2 R B' D' B2 R\n"
+ "R' B D' B' R2 U2 L2 D' R' B R\n"
+ "R' B2 R2 B2 D2 R F U F2 U' R\n"
+ "L U B' U' F2 B' U2 R2 L' F R\n"
+ "L U2 R2 D' R' B U D' F2 U R\n"
+ "L U2 L2 F2 R2 L' B U R2 U' R\n"
+ "L F2 R2 B' U2 F2 R2 D L' F' R\n"
+ "L B2 L2 F2 D2 L' B D B2 D' R\n"
+ "L2 U2 R B' R2 L' U D' R F2 R\n"
+ "L2 U2 R B' L' U D F2 R' D2 R\n"
+ "L2 U2 R B' L' F2 U D R' D2 R\n"
+ "L2 U2 R B' L' B2 U D R' F2 R\n"
+ "L' U2 B2 R' D F' U2 B2 D F R\n"
+ "L' F2 L F2 D' L' D' L F' D R\n"
+ "L' F2 L2 U2 B2 R2 L D2 B' D' R\n"
+ "L' F' D F' B' U' L F U B R\n"
+ "L' F' L D2 F' L2 F2 D L' D' R\n"
+ "F D' R' U' F2 U2 B2 R2 D' B R\n"
+ "F R U' B2 R2 D R' D2 L2 B' R\n"
+ "F R2 D2 B2 R2 F U' L U2 F' R\n"
+ "F R2 D2 B2 L2 B D' L D2 B' R\n"
+ "F2 U2 R' D2 F2 R' U2 L B' D' R\n"
+ "F2 R F2 L U2 R' B2 L' B' D' R\n"
+ "F2 R' L F2 D' R L2 F' R2 D R\n"
+ "F2 L F' L2 F2 R' D' R L2 F R\n"
+ "F2 B L' F R2 L B' U L' U' R\n"
+ "F' U D' R' U B2 R' B U2 D R\n"
+ "F' D L' F U D R U' L D2 R\n"
+ "F' D L' F' U L' U' L' F2 D' R\n"
+ "F' D' L F' D' L2 F D' L F R\n"
+ "F' R2 L' D2 R2 F L U2 L2 U R\n"
+ "F' R' U' F2 R U' B2 R2 D' B' R\n"
+ "F' L U2 R2 B U2 L D2 L2 D R\n"
+ "F' L U2 R2 B R2 L U2 R2 D' R\n"
+ "F' L U2 R2 B L U2 R2 U2 D' R\n"
+ "F' L D2 L2 F D2 L' D2 R2 U' R\n"
+ "B U2 R2 B2 D2 F D' L D2 B' R\n"
+ "B U' D' F' R' D' F U D B' R\n"
+ "B D2 F D R' F U2 F B' U' R\n"
+ "B D2 F D R' B L2 F2 B2 U' R\n"
+ "B R U' D' F U' R2 B R' F R\n"
+ "B R U' D' F U' R2 B' R' F R\n"
+ "B R U' F L2 U F' D' R' B R\n"
+ "B R U' F L2 U' F' D' R' B R\n"
+ "B2 R2 U2 R' B2 D2 R F U2 D R\n"
+ "B' L2 F D F' D B L F' D R\n"
+ "B' L' B D2 F L2 F L' F D R\n"
+ "B' L' B' R2 B2 D2 F2 L F D R\n"
+ "U L2 U2 L U2 R U B' L2 U' L\n"
+ "U B2 D' L' U B D B' R B L\n"
+ "U2 R2 U2 L U2 B2 L F2 B U' L\n"
+ "U2 R2 U2 B U2 B' D' R D2 F' L\n"
+ "U2 F' R B' D' B' R' B D2 F' L\n"
+ "U2 B2 R' B R' U2 D2 R F D' L\n"
+ "D B U2 B' D R F' U2 R' U' L\n"
+ "D2 L2 F2 D R' U2 B U2 L2 U L\n"
+ "D2 F D' L U2 B D2 B L2 U' L\n"
+ "D2 F2 R L B2 U L F D' F2 L\n"
+ "D2 F2 L' F2 L F' R L' F D' L\n"
+ "D' R D2 F R B2 L F2 R U' L\n"
+ "D' R D2 F L U2 L D2 L D' L\n"
+ "D' F D' R' L' U R2 U2 F D' L\n"
+ "D' B L F' B L F' R' B' U L\n"
+ "R U' F2 L2 U2 L' U' R2 B' U' L\n"
+ "R D2 L2 U2 D B' D2 F L' F' L\n"
+ "R L' D F2 L2 U2 L' U F' U L\n"
+ "R L' D' R2 D2 F2 L U F' U L\n"
+ "R L' F' D L2 B2 D L F D L\n"
+ "R L' B2 U' R2 F' D L D2 F' L\n"
+ "R F2 R2 D' L D B2 D' B U' L\n"
+ "R B2 L2 B' U B2 L' B R2 D L\n"
+ "R2 U2 R' D F L' U2 F L' U2 L\n"
+ "R2 U2 B2 L2 F2 U2 R U2 B U' L\n"
+ "R2 D2 F2 R L U L F D' F2 L\n"
+ "R2 D2 F2 R2 B2 D2 R U2 B U' L\n"
+ "R2 L' D2 L2 D R L2 F R2 U L\n"
+ "R' D2 R F R B2 U2 B2 R2 D' L\n"
+ "R' D2 R F B2 R' B2 D2 B2 U' L\n"
+ "R' D2 R2 B2 R' F U' D2 B2 U' L\n"
+ "R' D2 F2 R L2 F2 R' F L' U L\n"
+ "R' D2 F2 L2 F' U D' F L' F' L\n"
+ "R' D2 B2 L2 D2 B' L U2 B' U' L\n"
+ "R' D' R' L2 B R2 D2 B' U2 B' L\n"
+ "R' L2 F L F2 B' L' F B D' L\n"
+ "R' F D2 F2 D2 L' F D' F2 D' L\n"
+ "R' F' R2 U B' D' L' B R2 D L\n"
+ "R' B D' B' R2 U2 L2 B2 L B L\n"
+ "R' B D' B' L2 D2 B2 R2 L' F L\n"
+ "R' B R2 D F' B2 L2 U L' B L\n"
+ "R' B R2 B2 D F D' F2 L B L\n"
+ "R' B2 D2 L2 F2 R' D2 F2 B U' L\n"
+ "R' B2 R D2 L2 F2 R' D2 B U' L\n"
+ "L U2 R L' D2 R U2 F B2 D' L\n"
+ "L U2 R2 D' R' B U' D B2 U L\n"
+ "L U2 R2 B2 L B U2 D' F2 D' L\n"
+ "L U2 B2 R F2 R' L F2 B U' L\n"
+ "L F2 U2 R2 B D2 R' B R2 D' L\n"
+ "L2 U2 R B' R2 L' U D' L D2 L\n"
+ "L2 U2 R B' L' U D F2 L' F2 L\n"
+ "L2 U2 R B' L' F2 U D L' F2 L\n"
+ "L2 U2 R B' L' B2 U D L' U2 L\n"
+ "L2 D2 R' F2 L F2 L F B2 D' L\n"
+ "L2 D2 L2 B2 R' F2 L' F' B2 D' L\n"
+ "L' U' R2 D' B2 R F U F2 D L\n"
+ "L' D2 L' F2 R2 U2 R D2 B U' L\n"
+ "L' F2 L F2 D2 F' D R L' D' L\n"
+ "F R U2 B2 D R' D2 L2 F2 B L\n"
+ "F B2 U F' R' D F R2 L U L\n"
+ "F B2 R2 D2 B R' L2 B' R2 D L\n"
+ "F B2 L2 U2 F R' L2 F' R2 U L\n"
+ "F2 U2 D B' L' F2 D F' L B L\n"
+ "F2 R U2 F2 L U2 F2 R2 B' U' L\n"
+ "F' D L' F U D R U' R F2 L\n"
+ "F' D F2 D R F D' L U2 D L\n"
+ "F' R2 L' U2 L2 B R U2 L2 D L\n"
+ "F' L U2 R2 B D2 R D2 R2 D L\n"
+ "F' L D2 L2 F U2 R' D2 L2 U' L\n"
+ "F' L D2 L2 F R U2 R2 U' D2 L\n"
+ "F' L D2 L2 F R L2 U2 R2 U' L\n"
+ "F' L D2 L2 F L B2 R L U L\n"
+ "F' L D2 L2 F L' F2 R L D' L\n"
+ "B U2 R2 B2 U2 B D' R D2 F' L\n"
+ "B U2 B' U R' D' R U' D2 F' L\n"
+ "B D2 R L2 U' B' U F B D' L\n"
+ "B D2 R L2 F U' B' U B D' L\n"
+ "B D2 R L2 F D' L2 B L2 B' L\n"
+ "B R U' F L2 U F' B2 L B L\n"
+ "B R U' F L2 U' F' B2 L B L\n"
+ "B R D R U2 F D2 R' F2 B' L\n"
+ "B2 D' B R U' F2 L U D2 F L\n"
+ "B2 R L F2 D2 R' F2 B U2 D L\n"
+ "B2 R F2 D' B R2 F2 L B' U' L\n"
+ "B2 R2 U2 F2 L' U2 F B2 U D2 L\n"
+ "B2 R' L' F2 U' L F' B2 U B2 L\n"
+ "B' L' F2 B L2 F2 D2 R F U L\n"
+ "B' L' F2 B' U2 L2 F2 R' F U L\n"
+ "U2 R' B2 L' D2 F U' L F R L\n"
+ "U2 R' B2 L' D2 F U' L F' R L\n"
+ "(U2 F2 U F2 B' R D' F U' L F)\n"
+ "(U2 F2 U B R L2 U F' D L' F)\n"
+ "(U' R' U' D2 F' D2 B2 D' R D F)\n"
+ "(U' R' U' B' R2 B U B2 U R' F)\n"
+ "(U' F B2 R' D F R' L2 B' R F)\n"
+ "(D2 R' F' L' D2 F2 R' F2 U' R' F)\n"
+ "(D2 F' R2 U2 L B' U2 D B2 L' F)\n"
+ "(D2 F' B L' D2 F' R U' F2 R' F)\n"
+ "(D2 B2 D2 R B' D F' L D L2 F)\n"
+ "(R U2 R' B U2 R' B2 U R' U F)\n"
+ "(R U2 F R2 B L B2 R' U' L F)\n"
+ "(R U2 F R2 B' L U R' U L F)\n"
+ "(R U' F B' L B' R U' L U2 F)\n"
+ "(R2 U' F D' R L U' L' F' U2 F)\n"
+ "(R2 F D R' L' F' D' L' B2 L F)\n"
+ "(R' U F' L D F2 R2 U' F L' F)\n"
+ "(R' U' F2 B' D' B2 L D' F2 R F)\n"
+ "(L U2 L' B U2 R' F2 L' D L' F)\n"
+ "(L U2 L' B U2 R' B2 R' U R' F)\n"
+ "(L2 F' L' D R F' B2 R U' L' F)\n"
+ "(L' U' R U' D2 F2 R' F D2 R F)\n"
+ "(L' U' R U' D2 B2 L' F U2 L F)\n"
+ "(F2 L B2 U L2 F' R U D R2 F)\n"
+ "(F2 L' F2 R2 F D' R U2 F' U' F)\n"
+ "(B U R F2 B D2 L' B2 D L' F)\n"
+ "(B U2 R' U' F2 L' B' L' B D2 F)\n"
+ "(B R' F2 B D' B2 L' F D2 R2 F)\n"
+ "(B R' F2 B D' B2 L' B L2 D2 F)\n"
+ "(B L' U' R U B' L U2 B' R2 F)\n"
+ "(B L' U' R' U B' L U2 B' R2 F)\n"
+ "(B L' D2 B2 R U L F' U R' F)\n"
+ "(B L' D2 B2 R U L' F' U R' F)\n"
+ "(B2 R B2 D R2 F' L U D L2 F)\n"
+ "(B2 R' F2 L2 F U' L D2 F' D' F)\n"
+ "(B' U L U R L' D2 F' L' D2 F)\n"
+ "(B' D2 B R2 L U' F2 D2 F' R F)\n"
+ "(U F' R2 F B2 L' B' L' D' R' B)\n"
+ "(U B' R F L D2 R2 B2 D' R' B)\n"
+ "(U2 L' B' R' D2 B2 L' B2 U' L' B)\n"
+ "(U2 F B' R' D2 B' L U' B2 L' B)\n"
+ "(U2 F2 D2 L F' D B' R D R2 B)\n"
+ "(U2 B' L2 U2 R F' U2 D F2 R' B)\n"
+ "(U' R2 B2 U' F R L2 U' B L B)\n"
+ "(D2 B2 U F R2 L U B' D R' B)\n"
+ "(D2 B2 U F' B2 L D' B U' R B)\n"
+ "(D' R2 U2 D F R L2 U' B L B)\n"
+ "(R F U2 L' D' R D' L U' R2 B)\n"
+ "(R2 U' F D' R L U' L' B' R2 B)\n"
+ "(R2 F D R L B' U' L' F2 L B)\n"
+ "(R' U F' L U L2 F2 D' B R' B)\n"
+ "(R' F' L U2 L' D' B D2 L D' B)\n"
+ "(R' B' R2 U R' U2 F B2 R' D B)\n"
+ "(R' B' R' U' F R' L' B2 D L B)\n"
+ "(R' B' R' U' F' R' L' F2 U R B)\n"
+ "(L U F' L2 F' L F' B U2 R B)\n"
+ "(L' D' B' D' L' B' U' D2 B R' B)\n"
+ "(F2 R2 L F L2 D2 L' U2 D' L B)\n"
+ "(F2 L B2 U L2 F' R U' D' L2 B)\n"
+ "(B U L2 U R' F B R D2 R B)\n"
+ "(B U2 R' U' F2 L' B' L' F L2 B)\n"
+ "(B U' R' L2 B' L U L F2 U2 B)\n"
+ "(B U' R' L2 B' L U L B2 D2 B)\n"
+ "(B R' F U2 B R' D' R D2 R' B)\n"
+ "(B R' F2 B D' B2 L' F U2 L2 B)\n"
+ "(B R' F2 B D' B2 L' B R2 U2 B)\n"
+ "(B L' U' R U B' L U2 F' U2 B)\n"
+ "(B L' U' R' U B' L U2 F' U2 B)\n"
+ "(B2 R L2 F R2 U2 R' U' D2 R B)\n"
+ "(B2 R B2 D R2 F' L U' D' R2 B)\n"
+ "(B' U2 F R L2 U' B2 D2 B' L B)\n"
+ "(B' R' U' F2 D' L F' R B' R B)\n"
+ "(U L2 U' R' B2 U' L' D2 B' U' R)\n"
+ "(U B' R U2 R F' D2 F2 D B2 R)\n"
+ "(U2 R L' U' F' R D L' D' F' R)\n"
+ "(U2 R2 B2 D2 R F2 R U' L' B' R)\n"
+ "(U2 R' U' R2 U2 B2 U R' U' F R)\n"
+ "(U2 L F2 L U2 B L' U L U2 R)\n"
+ "(U2 F' U2 L2 B L' U2 L2 F2 U R)\n"
+ "(U2 F' L U2 L B' R' U B2 U2 R)\n"
+ "(U' D' R' D' L2 U' F2 B' L2 D R)\n"
+ "(U' R2 U' F' R' F2 U B R2 B R)\n"
+ "(U' F B2 D R' D B' U R D2 R)\n"
+ "(U' F2 R D R2 L' D' R F' B2 R)\n"
+ "(U' F2 R' D R2 L' D' R F' B2 R)\n"
+ "(D R2 U R2 L U2 D' B' U' B2 R)\n"
+ "(D R2 U2 R2 L' D L' U D' B' R)\n"
+ "(D R2 U2 L U' R2 L U D' B' R)\n"
+ "(D R2 F D B2 U F' U' L D2 R)\n"
+ "(D L2 D R2 L U' D2 F' D' F2 R)\n"
+ "(D L2 D2 R2 L' U L' U' D F' R)\n"
+ "(D L2 D2 L D' R2 L U' D F' R)\n"
+ "(D L2 B U F2 D B' D' L U2 R)\n"
+ "(D L' D L' U B L D' R' D' R)\n"
+ "(D L' D' R' U R2 U' R' U' F R)\n"
+ "(D2 R B2 R U2 F R' U L F2 R)\n"
+ "(D2 L U F' L B' L U2 D2 B' R)\n"
+ "(D2 B' R U2 R F' L' U B2 D2 R)\n"
+ "(R U2 D' R' L2 F2 U2 B2 U' B R)\n"
+ "(R U2 D' L' D R' L' F2 U B R)\n"
+ "(R U2 D' B2 L' F' D' F2 L F R)\n"
+ "(R U' R' U R2 B' R2 B' U2 F R)\n"
+ "(R U' R' U' F B2 L' U2 L' F R)\n"
+ "(R D B2 U L' U2 D' R' U' F R)\n"
+ "(R D' R L U2 R2 L U D2 B R)\n"
+ "(R D' F2 B2 D2 L' D' F' U2 F2 R)\n"
+ "(R D' B2 U2 R F2 D2 B2 D' F R)\n"
+ "(R2 U R U F2 D' B2 L' D' F' R)\n"
+ "(R2 U R U2 F2 D' B2 L D' F' R)\n"
+ "(R2 U2 F2 D2 F L' F2 D2 R2 U R)\n"
+ "(R2 U' F2 D2 L' D B2 L D' F' R)\n"
+ "(R2 D2 B2 U2 F L' F2 D2 R2 U R)\n"
+ "(R2 L U' B2 L' U2 F' L' D' F2 R)\n"
+ "(R2 L B2 R2 L D2 B L' U' B2 R)\n"
+ "(R2 L' F D' R' D B U2 R B' R)\n"
+ "(R2 L' B2 L U2 F U R U B2 R)\n"
+ "(R2 F U2 R L B R B U D2 R)\n"
+ "(R2 F R B2 R' F D F2 U2 F R)\n"
+ "(R2 F R2 L' D B L U B' D' R)\n"
+ "(R2 F2 D2 F B2 L' F2 D2 R2 U R)\n"
+ "(R2 F' D' F' D' F B2 D2 L' F2 R)\n"
+ "(R2 F' L U B D' R' B' L2 U' R)\n"
+ "(R2 B2 U B2 U F' L' U F2 D' R)\n"
+ "(R2 B2 U2 F U R U R B2 U2 R)\n"
+ "(R2 B2 U2 F U R U L D2 B2 R)\n"
+ "(R2 B2 U2 F U' D2 L U L D2 R)\n"
+ "(R2 B2 U2 F R' B2 L' D' F2 U2 R)\n"
+ "(R2 B2 U2 F L D2 L U2 L' U' R)\n"
+ "(R2 B2 U2 F' R2 L' U2 L2 B2 U' R)\n"
+ "(R2 B2 U2 F' L' F2 U2 L2 U' D2 R)\n"
+ "(R2 B2 U2 F' L' F2 R2 U2 L2 U' R)\n"
+ "(R2 B2 U' F2 D' B2 L D F' D2 R)\n"
+ "(R' U' F' D' F R U2 F U B2 R)\n"
+ "(R' D2 L2 D2 B2 L' U' D2 L' B' R)\n"
+ "(R' F U2 L B2 U2 F' L' U' D2 R)\n"
+ "(R' F B2 R' D' L' U2 F' D2 F2 R)\n"
+ "(R' B R' B U2 L' B2 L F D' R)\n"
+ "(R' B2 U R' U2 L2 D2 R2 B' U' R)\n"
+ "(R' B2 D' L2 U R D2 B2 U2 B' R)\n"
+ "(R' B2 R' U2 F D' L2 D' R2 U R)\n"
+ "(R' B2 R' U2 F R2 L U' L U' R)\n"
+ "(R' B2 R' L' F' L' U R D2 B R)\n"
+ "(R' B2 L2 U' R' U R' L2 U2 F R)\n"
+ "(R' B2 L2 U' L' B R2 L' U2 F R)\n"
+ "(L U2 L' B' R2 U2 F' L' F2 D R)\n"
+ "(L U' F2 B R L' D2 R F' B2 R)\n"
+ "(L U' B2 R' L U D2 R F2 B' R)\n"
+ "(L F2 U2 L B R' B2 R F2 U' R)\n"
+ "(L F2 D2 R L D' L' F L F2 R)\n"
+ "(L F2 D2 R L F2 R F R' D' R)\n"
+ "(L F2 R D R U2 D' R' L B R)\n"
+ "(L F2 R D R D R L' F' B2 R)\n"
+ "(L B' R' U R' U2 L D2 R2 B' R)\n"
+ "(L B' R' U L' B2 R' F R2 U2 R)\n"
+ "(L B' R' U L' B2 R' F L2 D2 R)\n"
+ "(L2 U' R' D2 R D2 B2 D2 F2 B' R)\n"
+ "(L2 U' R' D2 R F B L2 F B2 R)\n"
+ "(L2 U' R' D2 R F2 U2 B U2 B2 R)\n"
+ "(L2 U' R' D2 R F' L2 B' R2 F' R)\n"
+ "(L2 U' R' D2 R B2 D2 B D2 F2 R)\n"
+ "(L2 F L' F R2 L D2 L2 F' D' R)\n"
+ "(L2 F2 U2 B R' D F2 R U' F2 R)\n"
+ "(L2 F2 L D' R' F2 L' U' D2 B' R)\n"
+ "(L' D2 B2 R' L' D2 R' B R' U' R)\n"
+ "(L' D2 B' L' D2 R2 U' R2 U B R)\n"
+ "(L' F2 U R U' D' B2 R L F' R)\n"
+ "(L' F2 D' R2 F B2 L D R' F R)\n"
+ "(L' F2 D' B2 L2 F L' U' R F' R)\n"
+ "(L' F2 L' D2 R2 L2 F L' D' F2 R)\n"
+ "(F2 D2 F2 R2 F' R B2 R2 L' U R)\n"
+ "(F2 D2 F2 R2 F' L U2 D2 R D R)\n"
+ "(F2 D2 F2 R' B2 R' F' R' L' U R)\n"
+ "(F2 D2 B2 L2 F' R' B2 L' U2 D' R)\n"
+ "(F2 D' B2 L2 D' F' R2 L' U2 D' R)\n"
+ "(F2 R U2 D R U2 L' D2 R' F' R)\n"
+ "(F2 R2 L B U2 B D F' U2 F R)\n"
+ "(F2 R' F' D' F R' B2 L' D F' R)\n"
+ "(F2 L U' B' R2 D L2 F2 L2 B' R)\n"
+ "(F2 L U' B' R2 D F2 L2 F2 B' R)\n"
+ "(F2 L' D' R2 D2 F2 U R2 F D' R)\n"
+ "(F2 B R B' U2 L' B' D F2 B2 R)\n"
+ "(F' U2 L' D2 L' D2 B L2 D' F2 R)\n"
+ "(F' U2 L' D2 L' D2 B' R2 U B2 R)\n"
+ "(B D L' D' B2 U' F2 L F' B2 R)\n"
+ "(B R L2 U' L2 B' R2 B2 U2 F R)\n"
+ "(B R B L2 D' F2 D L2 U2 F R)\n"
+ "(B R' F2 L2 U F2 U' D2 F' B2 R)\n"
+ "(B R' F2 L2 D F2 L' B2 U' F R)\n"
+ "(B R' B2 R2 U2 F D' R2 L2 U R)\n"
+ "(B L' B2 L2 U' F2 L B2 R2 F' R)\n"
+ "(B2 R U L D2 R' U B2 R2 B R)\n"
+ "(B2 R U2 F2 L2 F' R' D' R' U R)\n"
+ "(B2 R L2 F L2 F D F' U2 F R)\n"
+ "(B2 R' L U' R' U2 R' L' U2 F R)\n"
+ "(B' U' F2 D' B' L' D B' L2 F' R)\n"
+ "(B' D' R' U2 B2 D F2 B2 L F' R)\n"
+ "(B' R' U F2 D' R' B2 L' D' F' R)\n"
+ "(B' R' U F2 D' L' B2 R' D' F' R)\n"
+ "(U D L' D' R2 U' F' B2 R2 D L)\n"
+ "(U R' U2 B2 U2 R' F B2 D F2 L)\n"
+ "(U L' B2 D2 B2 L' F2 B U B2 L)\n"
+ "(U F' U L' U B' U' R' U' D2 L)\n"
+ "(U2 R U B' R F' R U2 D2 F' L)\n"
+ "(U2 L F2 L U2 B L' U R B2 L)\n"
+ "(U2 F' L U2 L B' R' U F2 D2 L)\n"
+ "(U' R2 U' F' R' F2 U' F D2 F L)\n"
+ "(U' F B2 D R' D B' U L B2 L)\n"
+ "(U' B' R U2 R F' U R' U D2 L)\n"
+ "(D R D2 F2 L' D' B2 U' F U2 L)\n"
+ "(D R2 U2 L U' L' U' D F B2 L)\n"
+ "(D R2 F D B2 U F' U' R F2 L)\n"
+ "(D L D2 R L2 D' B2 U' F U2 L)\n"
+ "(D L2 D2 L D' L' U D' F2 B L)\n"
+ "(D L2 B U F2 D B' D' R B2 L)\n"
+ "(D2 R B2 R U2 F R' U R U2 L)\n"
+ "(D2 R' L U' B' L D R' D' B' L)\n"
+ "(D2 L2 F2 D2 L B2 L U' R' F' L)\n"
+ "(D2 L' U' L2 U2 F2 U L' U' B L)\n"
+ "(D2 B' U2 R2 F R' U2 R2 B2 U L)\n"
+ "(D2 B' R U2 R F' L' U F2 U2 L)\n"
+ "(R U' D2 F' D2 R F D L U L)\n"
+ "(R U' F' B2 R' F L2 D2 B U L)\n"
+ "(R U' F' B2 R' B D2 R2 F U L)\n"
+ "(R D' F2 B2 D2 L' D' F' D2 B2 L)\n"
+ "(R F2 D2 B2 L' F' R2 F2 B2 D L)\n"
+ "(R F2 D2 B2 L' B' D2 F B' D L)\n"
+ "(R2 U R U2 F2 D' F2 R U' F' L)\n"
+ "(R2 U R L2 D R2 U' R' D' B' L)\n"
+ "(R2 U F2 D L' D2 F2 U' F' B2 L)\n"
+ "(R2 U2 D L' F' U' D' F' B2 D L)\n"
+ "(R2 U' F2 D2 L' D F2 R U' F' L)\n"
+ "(R2 D2 F U2 F2 R D' F' D' F' L)\n"
+ "(R2 D' R D B2 U F' D' B2 D L)\n"
+ "(R2 L' B L' B L U L2 U F' L)\n"
+ "(R2 L' B2 U L' U' L' U2 L2 F' L)\n"
+ "(R2 L' B2 L U2 F U' L U F2 L)\n"
+ "(R2 L' B2 L U' L' U2 L2 U F' L)\n"
+ "(R2 F U D' R' U' R F D' F L)\n"
+ "(R2 F R B2 R2 B' R' F2 B' D L)\n"
+ "(R2 F R B2 R' F D B2 D2 F L)\n"
+ "(R2 F' D' F' D' F B2 D2 R' D2 L)\n"
+ "(R2 B R' B U2 R F' U' L2 U' L)\n"
+ "(R2 B2 U2 F U R U R F2 D2 L)\n"
+ "(R2 B2 U2 F U R U L U2 F2 L)\n"
+ "(R2 B2 U2 F U' D2 L U R F2 L)\n"
+ "(R2 B2 U2 F R' B2 L' D' B2 D2 L)\n"
+ "(R2 B2 U2 F L D2 L D2 R' U' L)\n"
+ "(R2 B2 L' U2 F2 D' R' B2 D F L)\n"
+ "(R' F U2 L F2 D2 F' R' U2 D' L)\n"
+ "(R' F R F2 U2 L' B' R' U' D2 L)\n"
+ "(R' F B2 R' D' L' U2 F' U2 B2 L)\n"
+ "(R' F B2 R' D' L' F' B L2 B L)\n"
+ "(R' F2 U2 D2 L' U2 L2 F L2 D L)\n"
+ "(R' F' D2 F2 B2 R' D' L' F' B2 L)\n"
+ "(R' B2 U R' F D2 R2 F2 B2 D L)\n"
+ "(R' B2 U R' F R D' B2 D F2 L)\n"
+ "(R' B2 D' L2 U R D2 F2 D2 B' L)\n"
+ "(R' B2 R2 U2 R F' D R2 L' U' L)\n"
+ "(R' B2 R' U2 F U' F2 D' B2 D L)\n"
+ "(R' B2 R' U2 F R2 L U R U' L)\n"
+ "(L U' F2 D' B L2 D' R F U2 L)\n"
+ "(L D' F D2 F L' D' R2 U F' L)\n"
+ "(L F2 D2 R L D' L' F R U2 L)\n"
+ "(L B' L D2 B D2 L' U D2 F2 L)\n"
+ "(L B' L D2 B L D2 L' U F2 L)\n"
+ "(L2 U B R2 L' U2 F L' F B2 L)\n"
+ "(L2 U' R' D2 R D2 F2 U2 F2 B' L)\n"
+ "(L2 U' R' D2 R F2 U2 B D2 F2 L)\n"
+ "(L2 U' R' D2 R B2 D2 B U2 B2 L)\n"
+ "(L2 U' R' D2 R B' U2 B' D2 B' L)\n"
+ "(L2 B2 R' D2 R B D' L' U D' L)\n"
+ "(L' F2 U R U D F2 R L B' L)\n"
+ "(L' B' D2 F L' D2 B' L F' U L)\n"
+ "(F2 R L' D' L' D2 R' L' D2 F L)\n"
+ "(F2 R2 L F R2 F U F' D2 F L)\n"
+ "(F2 L D R U2 L' D B2 L2 B L)\n"
+ "(F2 L D2 F2 R2 F' L' U' L' D L)\n"
+ "(F' U2 B L' B' L' B' R' U' D2 L)\n"
+ "(F' U' R' D' L2 U2 L U' D' F L)\n"
+ "(F' U' B' D' L2 U' L' D' B U2 L)\n"
+ "(B R U F2 L' D L' F U' B2 L)\n"
+ "(B R U B2 R2 L U2 L' F' D L)\n"
+ "(B R L2 U' L2 B' R2 F2 D2 F L)\n"
+ "(B R' B2 R2 U2 F U' F2 B2 D L)\n"
+ "(B2 U2 F2 L2 F' R U2 D2 L U L)\n"
+ "(B2 U2 F2 L2 F' L B2 R' L2 D L)\n"
+ "(B2 U2 F2 L' B2 L' F' R' L' D L)\n"
+ "(B2 U2 B2 R2 F' L' B2 R' U' D2 L)\n"
+ "(B2 U' B2 R2 U' F' R' L2 U' D2 L)\n"
+ "(B2 R D' B' L2 U R2 F2 R2 B' L)\n"
+ "(B2 R D' B' L2 U F2 R2 F2 B' L)\n"
+ "(B2 R L2 B D2 B U F' D2 F L)\n"
+ "(B2 R' U' L2 U2 F2 D L2 F U' L)\n"
+ "(B2 L U D2 L D2 R' U2 L' F' L)\n"
+ "(B2 L' F' U' F L' B2 R' U F' L)\n"
+ "(B' D' B' L' D' L' U R F2 B' L)\n"
+ "(B' R2 U2 F' D R2 U R U' D2 L)\n"
+ "(B' R2 L U2 L2 U' F2 R' F B2 L)\n"
+ "(B' R' D2 B2 D R L F2 D' B' L)\n"
+ "(B' R' B2 R' U F2 D B2 D F L)\n"
+ "(B' L B' D2 R' B' U R2 F2 B2 L)\n"
+ "(B' L B' D2 R' B' U L2 F2 B2 L)\n"
+},
+[5] = {
+ .scramble = "R F D' R2 F' L U L B' D' F2 R B2 U2 F2 L2 U2 R L2 F2 L2 B2 D2",
+ .solutions =
+ "U2 B2 R' U' L' F U R2 D F\n"
+ "U' F' R' B2 U' D2 R B' L' F\n"
+ "D2 L' F' U' R B2 U B' D' F\n"
+ "U B' U' R2 L' F' D' F R B\n"
+ "L F R' B2 R U F' R' U' B\n"
+ "L2 B2 L' U R D2 F' B D B\n"
+ "L2 B2 L' U R F B' L2 U B\n"
+ "R' D' L' F' U F' U' B U' R\n"
+ "R' B2 D L' F U L' D F' R\n"
+ "L' D F2 D2 B U F2 R2 F R\n"
+ "L' F' R2 D' F' B2 U' F2 B' R\n"
+ "(L U' D B R' D' L F' L2 F)\n"
+ "(L U' D B R' D' L B' U2 B)\n"
+ "(R2 B L U' D R2 B' L F' R)\n"
+ "(F2 U D' F D L' D R2 F R)\n"
+ "(F2 U L' D F D2 B' D2 B R)\n"
+ "(F2 U L' D B R2 B' R2 F R)\n"
+ "(B2 D R' U' F R2 B' R2 U2 L)\n"
+ "(B2 D R' U' F R2 B' L2 D2 L)\n"
+ "U D2 B2 R' B' R F2 U R L' F\n"
+ "U2 D2 R' U L B' L D' L D2 F\n"
+ "U2 D2 R' F U L F' D B' L2 F\n"
+ "U2 R D' B' U2 F' R2 U2 D' L' F\n"
+ "U2 B2 R' U' L' F' B2 D L2 U F\n"
+ "U' F U2 B2 L F2 U' R B' L' F\n"
+ "U' F2 U L2 D L B U R D2 F\n"
+ "U' F2 D F2 U L B U R D2 F\n"
+ "U' F' R' U2 F2 B2 U' R B' L' F\n"
+ "U' F' R' F2 B2 U' D2 R B' L' F\n"
+ "U' F' R' B2 U' R2 D2 R B' L' F\n"
+ "U' B2 U D2 R L' F D L2 U2 F\n"
+ "U' B2 U D2 R' L B U R2 U2 F\n"
+ "U' B2 U R' B D B2 L2 F L' F\n"
+ "U' B2 U R' B' L2 F2 U' F' L' F\n"
+ "U' B2 U' R L' F' B2 D L2 U2 F\n"
+ "U' B2 U' R' L F2 B' U R2 U2 F\n"
+ "U' B2 R' U2 D2 B' L' U R L' F\n"
+ "D L D L2 U2 R' U B' L2 D F\n"
+ "D L' F U' B U' B2 D' L' D' F\n"
+ "D' R L' U' B' D' R2 U2 L' U F\n"
+ "D' R2 U2 D R L' F U R2 D2 F\n"
+ "D' R2 U2 D R' L B D L2 D2 F\n"
+ "D' R2 D F2 R' L F' U2 B D F\n"
+ "D' R2 D' R L' F' B2 U R2 D2 F\n"
+ "D' R2 D' R' L F2 B' D L2 D2 F\n"
+ "D' L2 D L2 D L B U R D2 F\n"
+ "D' L' B U R' L' U' F U L F\n"
+ "R2 U2 L' D' R F R2 F D' L2 F\n"
+ "R2 U2 L' D' R B U2 B U' R2 F\n"
+ "R2 L' D2 R' F' D' B R U R' F\n"
+ "R' D2 R2 B' R B R' D' L U F\n"
+ "L D' F B U' D2 B' L' F' U2 F\n"
+ "L2 B2 L' U R D2 B D2 B' D F\n"
+ "L2 B2 L' U R' L2 U2 F B' U F\n"
+ "L2 B2 L' U R' L2 F' B L2 D F\n"
+ "L' F' R2 U' L2 D' B' R' F2 D' F\n"
+ "L' F' R2 D' B2 U' B' R' F2 D' F\n"
+ "L' B U R' F' B' R2 D' B' L2 F\n"
+ "L' B2 U' B' U' B U2 B' R D' F\n"
+ "F U' F R' L' B R D' R' U F\n"
+ "F U' F' B2 R' B' U' B2 L' D F\n"
+ "F D2 F L' B L2 U R D L2 F\n"
+ "F2 D' R2 D F2 R' L F' B D F\n"
+ "F2 D' R2 D F2 R' L' F B' U' F\n"
+ "F2 R2 D' R D L' B R2 U D' F\n"
+ "F2 R2 L' D' R D B R2 U D' F\n"
+ "F2 R2 L' D' R' U F L2 U D' F\n"
+ "F' U R2 U' F D' B' L U R' F\n"
+ "B2 R' L U' B' L F2 L' U' R2 F\n"
+ "B2 L U' L' F2 B' L B U2 R F\n"
+ "B2 L2 U' L U' R' B L2 U' D F\n"
+ "B2 L' U R B D' L2 U2 B' D2 F\n"
+ "B' R L' B R' U2 B2 U' R D F\n"
+ "B' R' B D2 R' D' L U2 R2 U' F\n"
+ "B' L' F B2 U' F D B' L' U2 F\n"
+ "U2 D2 R' F U L F' D F' D2 B\n"
+ "U2 R U2 F L' D2 R2 D' F' L' B\n"
+ "U2 R D F' U D' F2 L2 D L' B\n"
+ "U2 R' D F U L' B U' B U' B\n"
+ "U2 R' B' U' L F2 U F B2 U' B\n"
+ "U2 B2 R' U' L' F U' D2 L2 D B\n"
+ "U' F' R' U D' R2 D L F' R' B\n"
+ "U' F' R' U' L2 D' R2 L F' R' B\n"
+ "U' B D' B U B D B R' L' B\n"
+ "U' B D' B U B D B' R' L' B\n"
+ "U' B2 U D2 R L' F D R2 D2 B\n"
+ "U' B2 U D2 R' L B U L2 D2 B\n"
+ "U' B2 U' R L' F' B2 D R2 D2 B\n"
+ "U' B2 U' R' L F2 B' U L2 D2 B\n"
+ "D2 L' F' U' R B2 U' D2 F' D' B\n"
+ "D' R2 U2 D R L' F U L2 U2 B\n"
+ "D' R2 U2 D R' L B D R2 U2 B\n"
+ "D' R2 D F2 R' L F' D2 F D B\n"
+ "D' R2 D' R L' F' B2 U L2 U2 B\n"
+ "D' R2 D' R' L F2 B' D R2 U2 B\n"
+ "R2 U2 L' D' R' D2 F' B D' R2 B\n"
+ "R2 L' D F' D2 F R D B2 U' B\n"
+ "R' L B' U' L' F D' F' R2 L' B\n"
+ "R' L' F B R D R B' D L2 B\n"
+ "R' L' F' B' U' R2 D' L' D' L' B\n"
+ "L D' F B U' D2 B' L' B' R2 B\n"
+ "L F R' B2 R U L2 F' R' U' B\n"
+ "L F2 R' B2 R F' U F' R' U' B\n"
+ "L2 B2 L' U R D2 B U2 F' D B\n"
+ "L' D' R2 F' D' L2 F D R' D B\n"
+ "L' B U R' F' B' R2 D' F' D2 B\n"
+ "L' B' D' F' U' R D' L' D' L' B\n"
+ "F2 R2 U2 L' D' R' U2 F D R2 B\n"
+ "F2 R2 D' R D L' B L2 U' D B\n"
+ "F2 R2 L' U D' R2 F D R' U' B\n"
+ "F2 R2 L' D' R D B L2 U' D B\n"
+ "F2 R2 L' D' R' U F R2 U' D B\n"
+ "B2 U' L U' R' B' U B2 R2 U B\n"
+ "B2 D F L2 U D L F' R' D' B\n"
+ "B2 L2 U' L U' R' B R2 U D' B\n"
+ "B2 L' U R B D' L2 U2 F' R2 B\n"
+ "B' R' B D2 R' D' L D2 L2 U' B\n"
+ "B' L F' R2 D' F B' R U D2 B\n"
+ "D2 R2 L D R' U' R2 F U F B\n"
+ "D2 R2 L D R' U' R2 F U' F B\n"
+ "L2 U D2 F U' L F' R D F B\n"
+ "L2 U D2 F U' L F' R D' F B\n"
+ "L' D R2 F2 U2 L B' D L F B\n"
+ "L' D R2 F2 U2 L B' D L' F B\n"
+ "U' D B' U' L' F' R' L2 F D' R\n"
+ "U' R' L' D' B D' R2 D' F D2 R\n"
+ "U' L' B R' D' R' B2 R' D' F R\n"
+ "D B' U' L U' R2 U' R F' D' R\n"
+ "D2 L D' B' L2 B2 U2 R2 U' F' R\n"
+ "D' F U L F U' L' B U F2 R\n"
+ "D' B' L' D' L' U R' D F' B2 R\n"
+ "R D' L' U2 F U2 B L2 U F2 R\n"
+ "R D' L' U2 F U2 B' R2 D' B2 R\n"
+ "R D' L' U2 B L2 F L2 U F2 R\n"
+ "R D' L' U2 B L2 F' L2 U F2 R\n"
+ "R2 F D' F L' D R D' B U2 R\n"
+ "R' D L' B' U L2 F' U R U2 R\n"
+ "R' D' B D2 L U F U D F2 R\n"
+ "R' L F R D2 B R' U D F' R\n"
+ "R' F' L U2 L2 F' B2 U D' B' R\n"
+ "L U L F D R' F' L' U' B R\n"
+ "L U2 L' D' B' U' R2 D' L' F R\n"
+ "L U' D L2 F' U2 D' B' D' F' R\n"
+ "L D L2 D2 R B U R2 U F' R\n"
+ "L F2 R' U2 D' F' U' R2 L2 F' R\n"
+ "L F2 L2 D' L2 B U F2 R2 F R\n"
+ "L B' U2 D' L2 F' B2 R2 D F R\n"
+ "L2 U F' D' L B U B2 L F' R\n"
+ "L' U2 D R2 F' U2 D2 L2 U F' R\n"
+ "L' D F U D2 F U' B U F2 R\n"
+ "L' D F L2 B U F' U R2 U' R\n"
+ "L' D F B' D2 B2 R2 L2 D B' R\n"
+ "L' D F2 D2 B U L2 B2 L2 F' R\n"
+ "L' D F2 D2 B U B2 L2 F' B2 R\n"
+ "L' D B2 L2 B' U2 R2 F U' F' R\n"
+ "L' D B2 L2 B' U2 L2 B D' B' R\n"
+ "L' D2 R L2 B U2 D L2 U' B' R\n"
+ "L' D2 R L2 B D2 L2 U D' B R\n"
+ "L' D' F' R2 F' B' R2 U' F2 B R\n"
+ "L' D' B' L2 F B2 U F2 R2 F R\n"
+ "L' B2 U B' R D' F' U2 R U' R\n"
+ "F2 L U' D' B' U2 B2 U R2 F' R\n"
+ "F2 L' U' D B' L' D' B' U B' R\n"
+ "B L' D' R2 F U L D' L F R\n"
+ "D L2 D' B L U' R' F2 B' D' L\n"
+ "D2 B' D L' B R' U2 L' F D' L\n"
+ "D' L' B U R' U F L F' D' L\n"
+ "D' L' B' R2 D' L B D2 B U2 L\n"
+ "R B U B' R' L' D L2 B' D L\n"
+ "R2 L' D F R F U2 F U B L\n"
+ "R' D L' B' U L2 F' U L F2 L\n"
+ "R' D' L' F' U' D2 B' U' F U' L\n"
+ "R' D' B D2 L U F U' D' B2 L\n"
+ "R' F' L D2 R2 F2 B' U D' F' L\n"
+ "R' B R D F U L' F B U' L\n"
+ "R' B2 D L' F U' D2 R' D B' L\n"
+ "L U D R2 F B2 L2 D B D2 L\n"
+ "L U D' B U F U D2 B' U L\n"
+ "L D2 B U' F2 L2 F2 L2 D' B' L\n"
+ "L' U2 D R2 F' R2 U2 F2 U' B' L\n"
+ "L' D F U F U' B' U' L2 D L\n"
+ "L' D F U' B' L B2 L' U' F L\n"
+ "L' D F2 B U F U2 B L2 B L\n"
+ "L' D B2 U2 B' R2 F2 U' F B2 L\n"
+ "L' D' R' F R2 D B' D L D L\n"
+ "L' D' F2 B' R2 U2 F2 D F2 B L\n"
+ "L' D' B' L2 U2 D2 F2 R2 U B' L\n"
+ "L' D' B' L2 B2 L2 D2 F2 U' B' L\n"
+ "L' B D' R2 U2 R B2 U F D' L\n"
+ "F B U F' B' R' D' L' B' D2 L\n"
+ "B U2 R' F' L' U' R2 F B' U' L\n"
+ "B2 U B' U2 R' L B' D' F2 D' L\n"
+ "B2 R' B U2 D' R U' B' U' D2 L\n"
+ "D' L' U2 R2 F U2 R B' D R L\n"
+ "D' L' U2 R2 F U2 R B' D' R L\n"
+ "(D F' B' R' U L2 U2 L' U2 D F)\n"
+ "(R2 U' D R2 B D' R' F L' U' F)\n"
+ "(L U' D B D R' D L F R2 F)\n"
+ "(L U' D B R' D' L F B2 R2 F)\n"
+ "(L D B R' U D' L U' L2 D F)\n"
+ "(L D2 B R U L' F' D' B' U2 F)\n"
+ "(F2 U L' D B R2 U' B' R' U F)\n"
+ "(F' L F R' B' U' R D B' R' F)\n"
+ "(B' U F R U L' F U' L' D' F)\n"
+ "(U D' R2 F L F2 B U F2 R B)\n"
+ "(U2 R2 F2 D F' B2 R D L' U B)\n"
+ "(U2 R' F' L B2 R' D' F R U B)\n"
+ "(U2 L2 F2 R U' L2 F' R' L' D B)\n"
+ "(D2 R2 F2 U F B2 R' U' L D' B)\n"
+ "(R D L' U' D L' F B R' U' B)\n"
+ "(R2 L F U D' L F D' R' L' B)\n"
+ "(R2 F2 D F B' R' U' D R2 L B)\n"
+ "(R2 F' R U' L' D' B' R2 L2 D' B)\n"
+ "(L U' D B D R' D L B U2 B)\n"
+ "(L U' D B R' D' L F2 B D2 B)\n"
+ "(L U' L' D2 R D' F' U B R B)\n"
+ "(L D B' D F R' U F D L' B)\n"
+ "(L D2 B R U L' F' D' F' L2 B)\n"
+ "(F2 U L D' F R' U B2 U L' B)\n"
+ "(F' R2 L F R D' F R U R' B)\n"
+ "(B' D2 R F' D L' U' F L U2 B)\n"
+ "(U2 D' F L2 F' L2 U B' L D R)\n"
+ "(U2 R F L U F D F R2 B R)\n"
+ "(U2 L' F2 D' B L U' F R' F2 R)\n"
+ "(D B' U' D2 L2 B R2 U' L' U' R)\n"
+ "(D' B U F2 L2 F R L U' D' R)\n"
+ "(D' B U F2 L2 F R L' U' D' R)\n"
+ "(D' B U F2 L2 F R' L U' D' R)\n"
+ "(D' B U F2 L2 F R' L' U' D' R)\n"
+ "(D' B U B2 R2 F R L U D R)\n"
+ "(D' B U B2 R2 F R L' U D R)\n"
+ "(D' B U B2 R2 F R' L U D R)\n"
+ "(D' B U B2 R2 F R' L' U D R)\n"
+ "(D' B' U' F L F' D2 L2 B' D' R)\n"
+ "(R D L U L' F' D' L2 D B R)\n"
+ "(R2 U2 F U R' F' D F' B' U R)\n"
+ "(L2 F2 U' R' B U2 D L' F2 B' R)\n"
+ "(L' D' F R2 L' F2 B' R D' F R)\n"
+ "(F U F' U2 L B' U D B U R)\n"
+ "(F2 U L' D R2 F R2 B R2 B' R)\n"
+ "(B D B U B2 R2 F' B2 L D' R)\n"
+ "(B2 D R' U' F R2 B' R L F2 R)\n"
+ "(B2 D R' U' F R2 B' R' L' B2 R)\n"
+ "(B2 D R' U' F' B2 L2 B' R2 U2 R)\n"
+ "(B2 D R' U' F' B2 L2 B' L2 D2 R)\n"
+ "(B2 D R' F U' R2 B D2 F2 U R)\n"
+ "(B' R2 D' R U F' U2 B' L D2 R)\n"
+ "(U2 L' F2 D' B L U' F L' U2 L)\n"
+ "(U' D2 B2 D' B' R F2 D' F' D2 L)\n"
+ "(D F2 B' L' F2 U R2 F R D' L)\n"
+ "(D B U2 L2 F L2 U' F' R D L)\n"
+ "(D B U2 F L U' F' R' D F2 L)\n"
+ "(D B2 U2 F' U R' B2 L' U' B' L)\n"
+ "(D2 L2 U D2 B D R2 F' R D' L)\n"
+ "(D2 F' U2 L' D R' U R F' B' L)\n"
+ "(D2 F' U2 L' D R' U R' F' B' L)\n"
+ "(R U D L2 B R F U L2 F' L)\n"
+ "(R2 L' U' F' R2 B' D' R B D' L)\n"
+ "(R2 F' U' D' B U2 F D R' U L)\n"
+ "(R2 F' U' D' B U2 F D' R' U L)\n"
+ "(R2 B L F2 R2 U D F R B' L)\n"
+ "(R2 B L F2 R2 U D' F R B' L)\n"
+ "(R2 B L' U D' B2 L2 F' R B' L)\n"
+ "(R2 B' R L F2 U D' B R F' L)\n"
+ "(R2 B' R L F2 U' D' B R F' L)\n"
+ "(L D R U R F2 B' R D2 F' L)\n"
+ "(L' U' B2 R F' D2 F D' L2 F' L)\n"
+ "(L' B' D L2 B' R D R2 U F L)\n"
+ "(F U2 L D2 R2 U' B' D F U2 L)\n"
+ "(F2 U L' D F D2 F2 B U2 B L)\n"
+ "(B2 D R' U' F R2 B' U R2 U2 L)\n"
+ "(B2 D R' U' F R2 B' U L2 D2 L)\n"
+ "(B2 D R' U' F R2 B' U2 R2 U2 L)\n"
+ "(B2 D R' U' F R2 B' U2 L2 D2 L)\n"
+ "(B2 D R' U' F R2 B' U' R2 U2 L)\n"
+ "(B2 D R' U' F R2 B' U' L2 D2 L)\n"
+ "(B2 D R' U' F R2 B' D2 R2 U2 L)\n"
+ "(B2 D R' U' F R2 B' D2 L2 D2 L)\n"
+ "(B2 D R' F U' R2 B U2 B2 U L)\n"
+ "(B2 D R' B' U' D2 B' U2 F' D2 L)\n"
+ "(B2 L2 D R' U' F' R2 B' R2 U2 L)\n"
+ "(B2 L2 D R' U' F' R2 B' L2 D2 L)\n"
+ "(B' U F D' B' R' F' D R' F L)\n"
+ "(B' R2 D' R U F' U2 B' R F2 L)\n"
+ "(R2 U' R' F' D F B R D R L)\n"
+ "(R2 U' R' F' D F B R D' R L)\n"
+},
+[6] = {
+ .scramble = "U B2 U F L F' B' D L' B2 L2 B L2 U2 D2 B' U2 B L2 F U2",
+ .solutions =
+ "(D R L' F2 L2 U' B' R F)\n"
+ "(D' L2 D2 L' F2 U' B' R F)\n"
+ "(D2 R' L B L2 D' F' R B)\n"
+ "R D2 L' D2 B2 R U' B L F\n"
+ "R' L F' B' D' F L' B U2 F\n"
+ "L F2 D' L' B2 D2 L' B R' F\n"
+ "F' D R B' U2 F L' B2 U' F\n"
+ "R' L F' B' D' F L' F R2 B\n"
+ "L B' L' U F B' U' B2 R' B\n"
+ "B2 D2 R2 U' R L' U F R' B\n"
+ "F B' U' B' R2 U2 L' U2 B' R\n"
+ "F B' U' B' R2 U' L' B' U2 R\n"
+ "R B' U F' R' F2 B2 R' U L\n"
+ "R B' U F' L' U2 D2 L' D L\n"
+ "F2 D2 R2 U R' U F D' B' L\n"
+ "(U L2 U' D' R L' U' B' R F)\n"
+ "(U2 D' R2 B2 R' L U B' R F)\n"
+ "(U2 R L' F' B2 L2 U' B' R F)\n"
+ "(U2 L' B2 R F' L2 U' B' R F)\n"
+ "(U' B2 U' D' R F2 D' B R' F)\n"
+ "(D' R U2 F2 D2 L' D B R' F)\n"
+ "(D' R U2 B2 U2 R' U B L' F)\n"
+ "(D' R' L U' D' R2 D B' R F)\n"
+ "(D' L U2 B2 U2 R U' B' R F)\n"
+ "(D' L D2 F2 D2 R U' B' R F)\n"
+ "(D' L F2 D2 F2 R U' B' R F)\n"
+ "(D' L2 D2 R L' F2 U' B' R F)\n"
+ "(D' L2 D2 R2 L' F2 U' B' R F)\n"
+ "(D' L2 D2 R' L' F2 U' B' R F)\n"
+ "(R' L' F' L2 U2 B U B' R F)\n"
+ "(U2 D' R' L F2 L2 D' F' R B)\n"
+ "(D' R2 L' D F' L B' L' D B)\n"
+ "(D' R' U2 L F2 L2 D' F' R B)\n"
+ "(D' R' L U2 B2 U' D2 F' L B)\n"
+ "(D' R' F2 U2 F2 L' D' F' R B)\n"
+ "(D' R' F2 U2 B2 R' U' F' L B)\n"
+ "(D' R' B2 D2 F2 R' U' F' L B)\n"
+ "(D' R' B2 D2 B2 L' D' F' R B)\n"
+ "(D' L U F' U B2 L' U' L B)\n"
+ "(D' L U2 B2 D2 L U' F' L B)\n"
+ "(D' L D2 F2 U2 L U' F' L B)\n"
+ "(D' L F2 U2 B2 L U' F' L B)\n"
+ "(D' L2 U2 R' L F2 D' F' R B)\n"
+ "(D' L2 D' R' L B D' F' R B)\n"
+ "(D' B2 D2 F2 R' L U' F' L B)\n"
+ "(L2 U' B' D L' U' L' F' R' B)\n"
+ "(F2 D R2 D2 L' U' F D' R B)\n"
+},
+[7] = {
+ .scramble = "D2 B' D2 F' L' U' F L2 U' B' U B2 R2 U' R2 B2 D' B2 U B2 U",
+ .solutions =
+ "(R2 B' U F' L2 U B' D2 R)\n"
+ "(F' B' U2 D L2 D2 B D' R)\n"
+ "U' B' R' F2 R' F' B2 D' L' B\n"
+ "F' L2 D B' U' R U' F' U' B\n"
+ "(L U D F D' B D' L' D2 F)\n"
+ "(L B U' B2 D F' R2 F2 R' F)\n"
+ "(L B2 D2 B U B2 D2 F L' F)\n"
+ "(L' U' D' B D2 F R L2 U' F)\n"
+ "(F2 L2 F L D2 R U2 R U F)\n"
+ "(F' L D' B R' L2 D2 R D' F)\n"
+ "(B R2 F' U' L' U' F2 U2 L' F)\n"
+ "(B' U' R' L' F' R L D R2 F)\n"
+ "(B' L' U L2 F B L F2 R2 F)\n"
+ "(B' L' U L2 F B L B2 L2 F)\n"
+ "(B' L' U L2 F B L' F2 R2 F)\n"
+ "(B' L' U L2 F B L' B2 L2 F)\n"
+ "(B' L' U F B L F2 D2 R2 F)\n"
+ "(B' L' U F B L B2 U2 L2 F)\n"
+ "(B' L' U F B L' F2 D2 R2 F)\n"
+ "(B' L' U F B L' B2 U2 L2 F)\n"
+ "(D2 B' D2 F' L' U' F L2 U' B)\n"
+ "(R D2 R' B2 R2 F' B L D' B)\n"
+ "(R2 F L U' R L2 U' R L2 B)\n"
+ "(L F B2 L2 D F D' L' D2 B)\n"
+ "(L B U L' D' B' L2 B2 L' B)\n"
+ "(L' U D F D2 B R2 L U' B)\n"
+ "(F2 L' D2 F' B U2 F2 R' U' B)\n"
+ "(F' B' U2 D L2 D B2 R' U' B)\n"
+ "(B D' F' B' L' U' F U' L2 B)\n"
+ "(B' D' F' B' L' F B U L2 B)\n"
+ "(B' L' U R2 F B L F2 L2 B)\n"
+ "(B' L' U R2 F B L B2 R2 B)\n"
+ "(B' L' U R2 F B L' F2 L2 B)\n"
+ "(B' L' U R2 F B L' B2 R2 B)\n"
+ "(B' L' U F B L F2 U2 L2 B)\n"
+ "(B' L' U F B L B2 D2 R2 B)\n"
+ "(B' L' U F B L' F2 U2 L2 B)\n"
+ "(B' L' U F B L' B2 D2 R2 B)\n"
+ "(R2 L2 F' B' U' R2 D2 F U' R)\n"
+ "(R2 F' L U D2 R' D2 B' D' R)\n"
+ "(L U' F2 U2 B R' F L' F' R)\n"
+ "(L B U D R' D2 B' L D2 R)\n"
+ "(L B U D2 R' B' D2 L D2 R)\n"
+ "(F2 B2 L' F L D' B R U2 R)\n"
+ "(B U' D2 R2 B' U' L2 F2 B' R)\n"
+ "(B D2 F U R U' B U2 F R)\n"
+ "(B' L' U R2 U2 B D2 F B R)\n"
+ "(B' L' U R2 U2 B' D2 F B R)\n"
+ "(B' L' U L2 D2 F U2 F B R)\n"
+ "(B' L' U L2 D2 F' U2 F B R)\n"
+ "(D2 B' R2 U F D F2 L2 U' L)\n"
+ "(R2 B' U F' L2 U F2 B U2 L)\n"
+ "(L U' D' B' L' D L2 U2 B L)\n"
+ "(L B U D R' D2 B' R F2 L)\n"
+ "(L B U D2 R' B' D2 R F2 L)\n"
+ "(L B U2 D' B' L U' B U' L)\n"
+ "(L B L' D' R2 B' L2 U B L)\n"
+ "(L2 F U' B L2 F L F2 U L)\n"
+ "(L2 B L U2 F L' U F' U2 L)\n"
+ "(L' F' U L D' F' B D' F' L)\n"
+ "(F U B L' F2 D F' L' D' L)\n"
+ "(F2 L2 F2 B U B U2 F U2 L)\n"
+ "(F2 L2 F' B U' R2 U2 B U' L)\n"
+ "(F2 B2 L' F L D' B L F2 L)\n"
+ "(B2 R2 L2 B' U B U2 F U2 L)\n"
+ "(B' L' U R2 U2 B U2 F B L)\n"
+ "(B' L' U R2 U2 B' U2 F B L)\n"
+ "(B' L' U L2 D2 F D2 F B L)\n"
+ "(B' L' U L2 D2 F' D2 F B L)\n"
+},
+[8] = {
+ .scramble = "R' B' D2 L U' F2 B' L' D' F' B2 U R2 U2 F2 R2 U' F2 U' F2 L2 D'",
+ .solutions =
+ "R D' R' L D' L2 F2 B' D F\n"
+ "B U2 F2 R' U' F' D' R' U F\n"
+ "B D R2 B' R' B2 L' U R2 B\n"
+ "B D2 R D' R B L' U R2 B\n"
+ "D R2 L U B R' D F D R\n"
+ "D R2 L U B' R' D F D R\n"
+ "(R' B' D2 L U' F2 B' L' D' F)\n"
+ "(R' B' U2 R U' F' B2 R' D' B)\n"
+ "(B2 U R F' B2 D' R' F U' B)\n"
+ "(D2 R2 U F' B U L' U2 D' R)\n"
+ "U D L U F2 R B U' F2 D F\n"
+ "U2 F B L2 U F' L' D' F2 R' F\n"
+ "D R2 B' L D' L2 B' D2 R' U F\n"
+ "D R' U L' U B2 R U2 B D F\n"
+ "D F2 R' U B' R2 U D2 R D F\n"
+ "D' L B2 L2 U R F2 R B' D F\n"
+ "D' F2 L F B L2 D' F B L F\n"
+ "R D F2 R L' B2 U' R2 B D F\n"
+ "R D B2 R' L B2 D' L2 B U F\n"
+ "R D' R L B2 L2 U R2 B' D F\n"
+ "R D' R' L D' R2 L2 F2 B' D F\n"
+ "R D' R' L D' L2 F2 U2 B' D F\n"
+ "R D' R' L F D' B2 U B' U F\n"
+ "R D' R' L F2 U R2 D' B U F\n"
+ "R D' F2 R L B2 U' R2 B' D F\n"
+ "R D' F2 R' L D L2 F2 B' D F\n"
+ "R D' B2 R L B2 D' L2 B' U F\n"
+ "R D' B2 R L' U R2 F2 B' U F\n"
+ "L' F U B' D L F L2 U D2 F\n"
+ "F D' L U F U L2 F2 U R F\n"
+ "F2 R' F2 L U F' B U D' R F\n"
+ "F' U B R2 L2 U' D' L U2 R' F\n"
+ "B D R2 B' R2 L U2 R' D R2 F\n"
+ "B D R2 B' R' B2 L' U' D2 L2 F\n"
+ "B D2 R D' R B L' U' D2 L2 F\n"
+ "B2 L' U B2 U' B' U' D' B2 L' F\n"
+ "U2 B L2 U L' D' L F R U B\n"
+ "U' D' F R2 U L B2 U F2 L' B\n"
+ "D R F' L' B U D F B' R B\n"
+ "D R' U L' U B2 R D2 F D B\n"
+ "D R' U2 L' B2 R D F' B2 U B\n"
+ "D F2 L' F D2 F2 D F B2 L' B\n"
+ "D F' L' B U2 D F L2 B R B\n"
+ "D B' R' B' R' L B D' L2 U' B\n"
+ "D' R' U2 L' B2 R F' U F2 D' B\n"
+ "D' F R U2 F2 L U F D2 R' B\n"
+ "R U D2 L' U D R' L F' D B\n"
+ "R U D2 L' U' D R' L F D B\n"
+ "R D R L U F B D' L2 U' B\n"
+ "R D R L U F' B' U' R2 D' B\n"
+ "R D F2 U2 R' L D' R2 F U B\n"
+ "R D B2 D2 R L' U' L2 F D B\n"
+ "R D' R L U' F' B' U R2 D' B\n"
+ "R D' R' L U2 D R2 F' B2 D B\n"
+ "R D' R' L D' L2 F2 D2 F' D B\n"
+ "R D' R' L F U' L2 D F' U B\n"
+ "R D' R' L F U' L2 D' F' U B\n"
+ "R D' R' L F D' B2 U' F' U B\n"
+ "R D' R' L F2 U' L2 D' F U B\n"
+ "R D' R' L F2 D B2 U' F U B\n"
+ "R D' R' L F2 D' B2 U' F U B\n"
+ "R D' L2 U2 R' L' D R2 F' U B\n"
+ "R' D L B L D2 L U R' D' B\n"
+ "F U B' D R' F2 L' U R' L2 B\n"
+ "F D' B' U B R' F2 B2 U2 R' B\n"
+ "F2 D' F D B R' D F2 B L' B\n"
+ "B U' B2 L D' R2 F' U' L U' B\n"
+ "B D R2 B' R L2 F2 L' D' L2 B\n"
+ "B D R2 B' L' D2 R L2 D' L2 B\n"
+ "B D F2 R B2 L2 B' L U' R2 B\n"
+ "U' D' F R' U D' B R' U2 D' R\n"
+ "D R2 L B2 U B R' D F D R\n"
+ "D R2 L B2 U B' R' D F D R\n"
+ "D R2 L' U B R' D F L2 D R\n"
+ "D2 F U L F' U F' R B D' R\n"
+ "R2 D L D' R B U' R F' U2 R\n"
+ "R2 D' L D' R B U' R F' U2 R\n"
+ "R2 F U F2 B R' F D L' U2 R\n"
+ "R2 F2 R2 B' D L D2 F R U R\n"
+ "L2 B2 L F' B' D F' R D2 F R\n"
+ "F2 U2 L' B' D L' F R B' D R\n"
+ "F2 D2 F D' B2 L' B' R' L2 D' R\n"
+ "F' R2 L2 B U R' D F U' F2 R\n"
+ "B L D' L B2 L' B' U2 F B2 R\n"
+ "B' L D2 B2 D F' R' L2 B' U2 R\n"
+ "B' L F2 R F' U D L' F D' R\n"
+ "U2 R' F' B2 D B' U' R' D F2 L\n"
+ "U2 F D R L U B L2 U F2 L\n"
+ "U2 F D R L U B' L2 U F2 L\n"
+ "U2 F2 R F' U' B' L U' L2 U' L\n"
+ "U2 F2 R F' U' B' L' U' L2 U' L\n"
+ "U' F D R' B U D' R B' D2 L\n"
+ "D R2 L U F2 B L' U F U L\n"
+ "D R2 L U F2 B' L' U F U L\n"
+ "D2 R' U2 R' B2 R2 F D' B U L\n"
+ "D2 R' L' U2 R' F B2 D' B U L\n"
+ "R2 F U F2 B R' F D R' F2 L\n"
+ "R' B R U' F L D' R' F2 D' L\n"
+ "F2 U2 R' U2 B' D' F' L U' D2 L\n"
+ "F2 U' B L2 D F R F2 B U L\n"
+ "B R' U' R2 L' F L2 D R' F' L\n"
+ "B' U2 D2 F D L' U F D' F2 L\n"
+ "(U D2 R B L' U2 F D' R' L F)\n"
+ "(U2 F' U L2 B L' U' R' L' D F)\n"
+ "(U' F' R2 B' D R L' U B2 R F)\n"
+ "(D2 F L2 D F' B2 L' U2 D R' F)\n"
+ "(R D L2 F2 R' B2 D' L' B' L' F)\n"
+ "(R D L2 B2 L' B2 U' R' B' R' F)\n"
+ "(R' F2 B U2 R D' F2 B' R' U' F)\n"
+ "(F2 D F' L' B2 L U' L' D R2 F)\n"
+ "(B2 U R F' B2 D' R' U2 B U' F)\n"
+ "(B2 U R' L2 F2 B' U' R' B D' F)\n"
+ "(B2 L' D' B2 L' B U' R D R' F)\n"
+ "(U2 R' B' U F R' F2 B2 R D' B)\n"
+ "(U2 F' U R2 F L' D' R' L' U B)\n"
+ "(U' L' F' D' R2 D R D' L' U' B)\n"
+ "(D2 L' D F2 B' D' F' B U2 R B)\n"
+ "(D' B' D R' B' R' U F U' L' B)\n"
+ "(D' B' D' R' B' R' U F U' L' B)\n"
+ "(R' F2 B D2 L D' F' B2 L' U' B)\n"
+ "(R' B R' U2 R' F' D' R F2 U2 B)\n"
+ "(R' B R' U2 R' F' D' R B2 D2 B)\n"
+ "(L F' R D B' U' F B' L D2 B)\n"
+ "(L2 D' F2 D' R U' F' D' R' D2 B)\n"
+ "(L2 F' R' F2 U' B' U R2 U L B)\n"
+ "(F' B R' D' B D2 F2 L' D' R2 B)\n"
+ "(B2 U R F' B2 D' R' D2 F U' B)\n"
+ "(B2 U R B2 D2 F' D' R' F U' B)\n"
+ "(U2 L2 D R' F2 U' D' F' B U' R)\n"
+ "(U' D2 B' L2 D2 B L' D F U' R)\n"
+ "(D R L' U' F R' D' B U B2 R)\n"
+ "(D2 R2 U R2 F' B U' L' U2 D' R)\n"
+ "(D2 R2 U' L2 F B D' L' U' D2 R)\n"
+ "(D2 R2 U' F' B L' U L' U2 D' R)\n"
+ "(D' L F' B2 L F D B U' F' R)\n"
+ "(D' L F' B2 L F' D B U' F' R)\n"
+ "(R D2 R2 B R' U2 F' U' D' B' R)\n"
+ "(R L2 F2 U' F D2 R F' D' B' R)\n"
+ "(R2 L U R2 B L' U' F' L D' R)\n"
+ "(R' D' B' D B2 U R' F' D' B' R)\n"
+ "(L F' B R B2 U L D' F2 B R)\n"
+ "(L2 B2 L D' F' B' U' D F' U' R)\n"
+ "(B L' F D L U' F' D L' D2 R)\n"
+ "(B2 D' R2 L B' D2 F' U' D' F' R)\n"
+ "(U2 D F2 R' B2 D F U' B' D L)\n"
+ "(U' F2 L' F B2 U R D' B D L)\n"
+ "(D2 R2 U' D2 F B' U R' U2 D' L)\n"
+ "(R L2 B2 D' F U2 L F' U' B' L)\n"
+ "(R' D' B' D F2 D L' F' U' B' L)\n"
+ "(B L' F D L U' F' D R' B2 L)\n"
+},
+[9] = {
+ .scramble = "D F' L' D' B' R' U F' L' F' R2 U' B2 D2 L2 D' B2 U' L2 U",
+ .solutions =
+ "L' D2 F2 B U' L F2 U F\n"
+ "L F2 B2 R2 U2 D L B' L2 F\n"
+ "L' D' L2 D' R2 B U' F2 L F\n"
+ "B2 U2 B D L D R' B L F\n"
+ "L F2 B2 R2 U2 D L F' D2 B\n"
+ "R L' F L F U' L D2 F R\n"
+ "L2 U' L2 F' D2 R L F D' R\n"
+ "L2 B L' D F2 R2 B2 U' B' L\n"
+ "(D F' L' D' B' R' U F' L' F)\n"
+},
+{
+ .scramble = "", /* End-of-list signal */
+}
+};
diff --git a/tools/404_solvetest_opt1_DR_UD/solvetest.c b/tools/404_solvetest_opt1_DR_UD/solvetest.c
@@ -0,0 +1,8 @@
+#define NISSFLAG NISSY_NISSFLAG_LINEAR
+#define MINMOVES 0
+#define MAXMOVES 20
+#define MAXSOLUTIONS 500
+#define OPTIMAL 1
+
+#include "scrambles.h"
+#include "../solvetest.h"
diff --git a/utils/solvetest_gen.sh b/utils/solvetest_gen.sh
@@ -1,5 +1,9 @@
#!/bin/sh
+# use like e.g.
+# nissy scramble -n 20 | ./utils/solvetest_gen.sh eofb -o -N | \
+# tee tools/401_solvetest_opt0_EO_FB/scrambles.h
+
args="$@"
getsolutions() {