commit a2dd09be6f7d96b1e49665ba8cb326a8a5254af2
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Mon Feb 27 16:01:19 2023 +0100

    Pyraminx solver: progress

diff --git a/src/main/java/org/distorted/solvers/SolverPyraminx.java b/src/main/java/org/distorted/solvers/SolverPyraminx.java
index 11c5c940..c4812596 100644
--- a/src/main/java/org/distorted/solvers/SolverPyraminx.java
+++ b/src/main/java/org/distorted/solvers/SolverPyraminx.java
@@ -241,15 +241,9 @@ public class SolverPyraminx extends SolverTablebase
       {
       int pos   = locateEdge(edges,edgeColors[i]);
       int twist = edgeTwist(edges[pos],edgeColors[i]);
-
-//android.util.Log.e("D", "edge "+i+" pos: "+pos+" twist: "+twist);
-
       quats[i]  = TablebasesPyraminx.EDGE_QUATS[pos][twist];
       }
-/*
-for(int i=0; i<6; i++)
-  android.util.Log.e("D", "edge "+i+" : "+quats[i]);
-*/
+
     return quats;
     }
 
@@ -361,7 +355,7 @@ for(int i=0; i<4; i++)
       {
       corner_twist[i] = computePieceTwist(i,corners[i],faces1);
 
-      android.util.Log.e("D", "corner twist "+i+" : "+corner_twist[i]);
+      //android.util.Log.e("D", "corner twist "+i+" : "+corner_twist[i]);
 
       if( corner_twist[i]<0 ) return ERROR_CORNERS_CANNOT;
       }
@@ -383,6 +377,14 @@ for(int i=0; i<6; i++)
     if( !even ) return ERROR_TWO_EDGES;
     int[] edge_twist = new int[6];
     TablebasesPyraminx.getEdgeTwist(edge_twist,quats,0);
+/*
+for(int i=0; i<6; i++)
+  android.util.Log.e("D", "q edge "+i+" : "+quats[i]);
+
+for(int i=0; i<6; i++)
+  android.util.Log.e("D", "p edge "+i+" : "+permutation[i]);
+*/
+
 /*
 for(int i=0; i<6; i++)
   android.util.Log.e("D", "edge twist "+i+" : "+edge_twist[i]);
@@ -395,7 +397,7 @@ for(int i=0; i<6; i++)
     int edgeTwist = edge_twist[0]+ 2*(edge_twist[1]+ 2*(edge_twist[2]+ 2*(edge_twist[3]+ 2*edge_twist[4])));
     int perm_num = TablebaseHelpers.computeEvenPermutationNum(permutation);
 
-android.util.Log.e("D", "vertexTwist: : "+vertexTwist+" edgeTwist: "+edgeTwist+" perm_num: "+perm_num );
+//android.util.Log.e("D", "vertexTwist: : "+vertexTwist+" edgeTwist: "+edgeTwist+" perm_num: "+perm_num );
 
     return vertexTwist + 81*(edgeTwist + 32*perm_num);
     }