Non trivial identities

Submitted by mdlazreg on Wed, 04/02/2008 - 02:17.

As you know there is a recurrent formula based on the cube trivial identities that holds true up to level 5 in QTM. It breaks at level 6:

P[0] = 1
P[1] = 12
P[2] = 114
P[3] = 1,068
P[4] = 10,011
P[5] = 93,840
P[6] < 879,624

The real number at level 6 is 878,880 which is 744 shorter than what the formula predicts.

This discrepancy is obviously caused by some identities other than the trivial ones.

Does anyone have the list of all those identities?

The only ones I know about are the ones listed in Jaap's website:

ab'=bc'=ca'=I where:

a= FU'R'FRF'
b= U'FRU'R'U
c= UL'U'LFU'

Are those the only ones? if so how do they account for the missing 744 positions?

Thanks

» login or register to post comments | previous forum topic | next forum topic

With my QTM otimal solver I g

Submitted by Herbert Kociemba on Fri, 04/04/2008 - 11:04.

With my QTM otimal solver I get these nontrivial identities with 12 moves

U U R U R' F' U U L' U' L F (12q*)
U U R B U' B' U U R' F' U F (12q*)
U U R' U' R B U U L U L' B' (12q*)
U U R' F' U F U U R B U' B' (12q*)
U R U U B L U' L' U U B' R' (12q*)
U R U R' F' U U L' U' L F U (12q*)
U R U' B U' L' B L B' U B' R' (12q*)
U R U' B' R R D' R' D B R R (12q*)
U R U' B' R B R' U' B U B' R' (12q*)
U R U' B' R B' D B D' R' B R' (12q*)
U R R F R F' U' R R B' R' B (12q*)
U R R F D R' D' R R F' U' R (12q*)
U R B U' B' U U R' F' U F U (12q*)
U R B B D B D' R' B B U' B' (12q*)
U R B' R D' R' D B R' B U' B' (12q*)
U R B' R' B U R' U' R B U' B' (12q*)
U R B' R' B U' B L U' L' U B' (12q*)
U R B' R' B B U' L' B L B B (12q*)
U R' U F R' F' R U' R B U' B' (12q*)
U R' U F' U' F R U' R B' R' B (12q*)
U R' U' R R B' D' R D R R B (12q*)
U R' U' R B U U L U L' B' U (12q*)
U R' U' R B U' B L' B' L U B' (12q*)
U R' U' R B U' B' U R B' R' B (12q*)
U R' U' R B' R D B' D' B R' B (12q*)
U R' F R F' U' R U' B U B' R' (12q*)
U R' F R' D' F D F' R F' U' R (12q*)
U R' F' U U L' U' L F U U R (12q*)
U R' F' U F U U R B U' B' U (12q*)
U R' F' U F U' R U' B' R B R' (12q*)
U R' F' U F U' R' F R F' U' R (12q*)
U R' F' U F' L F L' U' F U' R (12q*)

There are no other essentially different solutions. All other solutions you can get by applying any of the 48 symmetries of the cube.

» login or register to post comments

Conjugate relationships

Submitted by B MacKenzie on Sun, 04/13/2008 - 11:19.

Looking at Herbert's list there are some comminalities which might shed some light on how these identities arise. Nineteen of the identities share a common form: q [A] q' [B] or its inverse [A] q [B] q'

U U	R U R'F' 	U U	L' U' L F 
U U	R B U' B' 	U U	R' F' U F 
U U	R' U' R B	U U	L U L' B' 
U U	R' F' U F	U U	R B U' B' 
U	R U U B L	U' 	L' U U B' R' 
U R' 	U F R' F'	R U'	R B U' B' 
U R'	U F' U' F	R U'	R B' R' B 
U	R' F' U U L'	U'	L F U U R 
U R'	F R F' U'	R U'	B U B' R' 
U R'	F' U F U'	R U'	B' R B R' 

U R U' B'	R R	D' R' D B	R R 
U R U' B'	R B	R' U' B U	B' R' 
U R U' B'	R B'	D B D' R' 	B R' 
U R' U' R	B' R	D B' D' B	R' B 
U R B B D	B	D' R' B B U'	B' 
U R B' R' 	B U	R' U' R B	U' B' 
U R B' R'	B U'	B L U' L' 	U B' 
U R B' R'	B B	U' L' B L	B B 
U R' U' R R	B'	D' R D R R	B

Seven of the identies share the form: p [A] p' q [B] q'

U	R' U' R B	U'	B	L' B' L U	B' 
U	R' U' R B	U'	B'	U R B' R'	B 
U	R' F' U F	U'	R'	F R F' U'	R 
U	R B U' B'	U'	U'	R' F' U F	U 
U	R' U' R B	U'	U'	L U L' B'	U 
U	R' F' U F	U'	U'	R B U' B'	U 
U	R U R' F'	U'	U'	L' U' L F	U

Leaving six which follow neither pattern:

U R' F' U F' L	F L' U' F U' R
U R U' B U' L' 	B L B' U B' R'
U R R F R F' 	U' R R B' R' B
U R R F D R'  	D' R R F' U' R 
U R B' R D' R'	D B R' B U' B' 
U R' F R' D' F	D F' R F' U' R

So many of the level 6 identities come from conjugate relationships at a lower level.

» login or register to post comments

Actually all identities at 12

Submitted by mdlazreg on Sun, 04/13/2008 - 13:50.

Actually all identities at 12q* can be generated using only the following identities:

I12-1 FR' F'R UF' U'F RU' R'U
I12-2 FR' F'R UF' F'L FL' U'F
I12-3 FR' F'R UF' UL' U'L FU'

Please take a look at:

http://www.math.rwth-aachen.de/~Martin.Schoenert/Cube-Lovers/Dan_Hoey__Results_of_an_exhaustive_search_to_six_quarter-twists.html

It was later proven that I12-3 can be generated using I12-1 and I12-3.

It is amazing, to me at least, that they are only 2 identities essentially at level 12. All the rest can be deduced using symmetry, antisymmetry, shifting and replacement by lower identities...

Unfortunately I know of no code that will generate only "generators identities" at all levels.

This idea of generator identities can be understood by looking at 4q* identities which are up to symmetry:

I4-1 UUUU
I4-2 UDU'D'
I4-3 UD'U'D

The third one however can be deduced from the first two as follow:

UD'U'D = U DDD U' D [thanks to DDDD=I which is I4-1 up to symmetry]
= U DD DU' D
= UD D U'D D [thanks to UDU'D'=I which is I4-2]
= UD DU' D D
= UD U'D D D [thanks to UDU'D'=I which is I4-2]
= UD U'D DD
= UD U' DDD
= UD U' D' [thanks to DDDD=I which is I4-1 up to symmetry]
= I [thanks to UDU'D'=I which is I4-2]

This means that at level 4q* they are only two identities that are essentially different. All the rest can be deduced from them. It is amazing that at level 12q* also they are only two identities that are essentially different.

I am trying to reduce the 14q* identities to their generators only without success so far...

» login or register to post comments

I was unaware that analysis.

Submitted by B MacKenzie on Sun, 04/13/2008 - 17:29.

I was unaware that analysis. That is amazing. All of the different identites can be put in one of these three basic forms, constructed of nested conjugations?

I have a hazy conception of these turn sequences as zig-zag paths through 20D parameter space forming a complex web. Complex but highly ordered and symmetric. Every node is like every other. The web looks exactly the same from every state. All the different 12 turn identities and only three basic shapes.

» login or register to post comments

I am not sure what you mean b

Submitted by mdlazreg on Mon, 04/14/2008 - 01:06.

I am not sure what you mean by nested conjugations but yes it is indeed very amazing that all identities at 12q* are derived from these three basic forms. Thats why I believe God can make miracles:).

If that was not enough, even the third one can be derived from the first two!. This means that if someone tells us only about these two identities at 12q* then he has told us everything. Talk about information compression.

So given these two identities, you can derive all the rest using symmetry, anti-symmetry, shifting and replacement by lower identities.

shifting is when you take the identity: ABCDEFGHIJKL and you deduce out of it identities like:

LABCDEFGHIJK
KLABCDEFGHIJ
JKLABCDEFGHI

The question of what is the smallest dimension of the space where it would be possible to arrange all nodes in such a way that every node is like every other, is yet another unanswered interesting question.

If we imagine that each node is a charged particle, then throw all of them on the surface of a sphere, would they arrange themselves in such a way that every node looks like every other? If so then their parameter space is simply a 2D space. This however is highly unlikely...

I do not know what is the basis of your 20D.

» login or register to post comments

Parameter Space

Submitted by B MacKenzie on Mon, 04/14/2008 - 09:25.

There are twenty cubies which may be in any of 24 states. With twenty degrees of freedom, any state may be mapped to a point in 20D space. It would be a highly non-euclidian space with the dimensions looping back on themselves, UUUU and you're back where you started.

Actually(and I'm going way beyond my level of competence here)I think that you need the same number of dimensions as the order of the group in order to have a completely accurate map, every element being a distance of 1 from every other. With fewer dimensions there will be distortion like mapping the spherical earth onto a plane.

Ah, glad you pointed out what you mean by shifting. Actually, I would describe this as transposing a product: [A][B] to [B][A]. This is a conjugation, really. Since identity is identity's only conjugate one gets another identity. Neat trick.

» login or register to post comments

re. Parameter Space

Submitted by B MacKenzie on Mon, 04/14/2008 - 23:09.

On reflection, only elements of order two generate a dimension per element. A higher order element and its inverse would map to the same dimension thus generating a dimension for each element/inverse element pair. Does that make sense? In this light, the dimensionality of the space generated by the group would be a thorny question.

» login or register to post comments

Dimension in group theory ?

Submitted by Rafoo on Sat, 03/07/2009 - 16:38.

I'm not sure I understand your question and what you mean by 'dimension'.

For me the word 'dimension' is a term of linear algebra. This means the common size of all minimal spanning sets (bases). In case of group theory, there is no theorem about common size of minimal spanning sets; (U, R, L, F, B) is a minimal spanning set of G (i.e. no strict sub-set of it does span G) but (UBLUL'U'B', R2FLD'R) also spans G (we cannot do better since G isn't cyclic). The usual way to represent a group is to draw its Cayley graph according to a given set of generators and you can do it 2D or 3D and it will be as symetrical and uncommutative as you said.

The problem here is that we find an euclidian nD-space easier to imagine than a simple finite group (by the way I think that finite sets are considered to be 0-dimensional aren't they ?)

Is the Cayley graph of G what you mean by your (20 or less)-dimensional space or do you want to know how many different cyclic subgroups there are in G (a cyclic group is a group of the form {g,,gg,...,g^(o(g)-1)=g^(-1)} where o(g) is the order of g) ?

» login or register to post comments

If you look at this way then

Submitted by mdlazreg on Thu, 04/17/2008 - 12:50.

If you look at this way then probably this link will help you put it in mathematical words:

http://en.wikipedia.org/wiki/Order_(group_theory)

» login or register to post comments

h dimensional space

Submitted by B MacKenzie on Thu, 04/17/2008 - 21:02.

My conception of representing group elements as unit vectors in h dimensional space comes from my exposure to the application of group theory to quantum mechanics( which I will not hesitate to admit went right over my head ). See http://en.wikipedia.org/wiki/Great_orthogonality_theorem

» login or register to post comments

Identities and Duplicate Positions

Submitted by Jerry Bryan on Mon, 04/07/2008 - 10:26.

Thanks to Herbert for posting the list of identities. I haven't had time yet to double check his results against the results of my program. I look forward to comparing the results from the two programs.

Just to be sure everybody's on the same page, I thought I would run through how Herbert's identities relate to duplicate positions and my EndsWith function.

Herbert's first identity is UURUR'F'UUL'U'LF=I. We can associate the moves as (UURUR'F')(UUL'U'LF)=I. If we define x=UURUR'F', then we have x'=UUL'U'LF and xx'=I.

That means that we have two processes for x:

x = UURUR'F'
x = (x')' = F'L'ULU'U' (simply inverting the last half of Herbert's process)

Therefore, (UURUR'F') and (F'L'ULU'U') are what my program calls duplicate positions. As a first approximation, it appears that EndsWith(x)={F',U'}. However, F'L'ULU'U' can also be written as F'L'ULUU. So in reality, EndsWith(x)={F',U,U'}, and |EndsWith(x)|=3.

Looked at from the point of view of Herbert's identities, UURUR'F'UUL'U'LF may also be written as U'U'RUR'F'UUL'U'LF, as UURUR'F'U'U'L'U'LF, and as U'U'RUR'F'U'U'L'U'LF. That's simply because the UU part of the process is not prime. So I think a little work may be required in order to do a full comparison of Herbert's results with mine.

The calculation of EndsWith (and also StartsWith) for each position is an artifact of my optimal depth first God's algorithm enumerator that produces positions in lexicographic order. Close to Start, the program simply creates positions such as RL' as both the process RL' and as the process L'R and makes note of the fact that RL' and L'R are duplicate positions. Therefore, EndsWith(RL')={R,L'}. All positions are stored, as are all StartsWith and EndsWith values. Positions are enumerated one level from Start at a time. The current version of the program is able to follow this process out to 6q from Start before it runs out of memory.

Having stored all the data out to 6q from Start, the program can then calculate out to 12q from Start. I've only run it out to 11q from Start so far because the 12q run would take so long. To calculate out to 11q from Start, the program calculates all products of the form s_it_j in lexicographic order, where s_i is a position of length 6q and t_j is a position of length 5q. Because of producing the positions in lexicographic order, the positions don't have to be stored, duplicate positions sort together, and all the instances of a particular duplicate position are only counted once.

In addition to counting positions, the program is able to determine StartsWith and EndsWith values for each position. Suppose for example that s_it_j=s_kt_m and that there are no other duplicate instances. Then, it is the case that EndsWith(s_it_j) = EndsWith(s_kt_m) = EndsWith(t_j) ∪ EndsWith(t_m).

There are other complications, of course. If |s_i|=6 and |t_j|=5, then all we know for sure is that |s_it_j|<=11. In order to assure that |s_it_j|=11, s_it_j must be compared against all products of shorter length, and the shorter length products are also being produced in lexicographic order at the same time. In other words, to calculate out to 11q the program really has to produce all products of the form s_it_j in lexicographic order, where |s_i|=6 and 1<=|t_j|<=5.

» login or register to post comments

Correction

Submitted by Jerry Bryan on Sun, 04/13/2008 - 10:53.

My current program can store out to 7q from Start, and I have run it out to 13q from Start. It is 14q from Start that would currently take too long.

» login or register to post comments

I think I figured out how the

Submitted by mdlazreg on Tue, 04/08/2008 - 19:02.

I think I figured out how the identities posted by Herbert relate to the missing 744 positions.

First of all I hacked Herbert's code to generate the whole list of identities regardless of symmetries:

U U R U R' F' U U L' U' L F  (12q*)
U U R B U' B' U U R' F' U F  (12q*)
U U R' U' R B U U L U L' B'  (12q*)
U U R' F' U F U U R B U' B'  (12q*)
U U F U F' L' U U B' U' B L  (12q*)
U U F R U' R' U U F' L' U L  (12q*)
U U F' U' F R U U B U B' R'  (12q*)
U U F' L' U L U U F R U' R'  (12q*)
U U L U L' B' U U R' U' R B  (12q*)
U U L F U' F' U U L' B' U B  (12q*)
U U L' U' L F U U R U R' F'  (12q*)
U U L' B' U B U U L F U' F'  (12q*)
U U B U B' R' U U F' U' F R  (12q*)
U U B L U' L' U U B' R' U R  (12q*)
U U B' U' B L U U F U F' L'  (12q*)
U U B' R' U R U U B L U' L'  (12q*)
U R U U B L U' L' U U B' R'  (12q*)
U R U R' F' U U L' U' L F U  (12q*)
U R U' B U' L' B L B' U B' R'  (12q*)
U R U' B' R R D' R' D B R R  (12q*)
U R U' B' R B R' U' B U B' R'  (12q*)
U R U' B' R B' D B D' R' B R'  (12q*)
U R R F R F' U' R R B' R' B  (12q*)
U R R F D R' D' R R F' U' R  (12q*)
U R B U' B' U U R' F' U F U  (12q*)
U R B B D B D' R' B B U' B'  (12q*)
U R B' R D' R' D B R' B U' B'  (12q*)
U R B' R' B U R' U' R B U' B'  (12q*)
U R B' R' B U' B L U' L' U B'  (12q*)
U R B' R' B B U' L' B L B B  (12q*)
U R' U F R' F' R U' R B U' B'  (12q*)
U R' U F' U' F R U' R B' R' B  (12q*)
U R' U' R R B' D' R D R R B  (12q*)
U R' U' R B U U L U L' B' U  (12q*)
U R' U' R B U' B L' B' L U B'  (12q*)
U R' U' R B U' B' U R B' R' B  (12q*)
U R' U' R B' R D B' D' B R' B  (12q*)
U R' F R F' U' R U' B U B' R'  (12q*)
U R' F R' D' F D F' R F' U' R  (12q*)
U R' F' U U L' U' L F U U R  (12q*)
U R' F' U F U U R B U' B' U  (12q*)
U R' F' U F U' R U' B' R B R'  (12q*)
U R' F' U F U' R' F R F' U' R  (12q*)
U R' F' U F' L F L' U' F U' R  (12q*)
U F U U R B U' B' U U R' F'  (12q*)
U F U F' L' U U B' U' B L U  (12q*)
U F U' R U' B' R B R' U R' F'  (12q*)
U F U' R' F R F' U' R U R' F'  (12q*)
U F U' R' F R' D R D' F' R F'  (12q*)
U F U' R' F F D' F' D R F F  (12q*)
U F R U' R' U U F' L' U L U  (12q*)
U F R R D R D' F' R R U' R'  (12q*)
U F R' F D' F' D R F' R U' R'  (12q*)
U F R' F' R U F' U' F R U' R'  (12q*)
U F R' F' R U' R B U' B' U R'  (12q*)
U F R' F' R R U' B' R B R R  (12q*)
U F F L F L' U' F F R' F' R  (12q*)
U F F L D F' D' F F L' U' F  (12q*)
U F' U L F' L' F U' F R U' R'  (12q*)
U F' U L' U' L F U' F R' F' R  (12q*)
U F' U' F R U U B U B' R' U  (12q*)
U F' U' F R U' R B' R' B U R'  (12q*)
U F' U' F R U' R' U F R' F' R  (12q*)
U F' U' F R' F D R' D' R F' R  (12q*)
U F' U' F F R' D' F D F F R  (12q*)
U F' L F L' U' F U' R U R' F'  (12q*)
U F' L F' D' L D L' F L' U' F  (12q*)
U F' L' U U B' U' B L U U F  (12q*)
U F' L' U L U U F R U' R' U  (12q*)
U F' L' U L U' F U' R' F R F'  (12q*)
U F' L' U L U' F' L F L' U' F  (12q*)
U F' L' U L' B L B' U' L U' F  (12q*)
U L U U F R U' R' U U F' L'  (12q*)
U L U L' B' U U R' U' R B U  (12q*)
U L U' F U' R' F R F' U F' L'  (12q*)
U L U' F' L F L' U' F U F' L'  (12q*)
U L U' F' L F' D F D' L' F L'  (12q*)
U L U' F' L L D' L' D F L L  (12q*)
U L F U' F' U U L' B' U B U  (12q*)
U L F F D F D' L' F F U' F'  (12q*)
U L F' L D' L' D F L' F U' F'  (12q*)
U L F' L' F U L' U' L F U' F'  (12q*)
U L F' L' F U' F R U' R' U F'  (12q*)
U L F' L' F F U' R' F R F F  (12q*)
U L L B D L' D' L L B' U' L  (12q*)
U L L B L B' U' L L F' L' F  (12q*)
U L' U B L' B' L U' L F U' F'  (12q*)
U L' U B' U' B L U' L F' L' F  (12q*)
U L' U' L F U U R U R' F' U  (12q*)
U L' U' L F U' F R' F' R U F'  (12q*)
U L' U' L F U' F' U L F' L' F  (12q*)
U L' U' L F' L D F' D' F L' F  (12q*)
U L' U' L L F' D' L D L L F  (12q*)
U L' B L B' U' L U' F U F' L'  (12q*)
U L' B L' D' B D B' L B' U' L  (12q*)
U L' B' U U R' U' R B U U L  (12q*)
U L' B' U B U U L F U' F' U  (12q*)
U L' B' U B U' L U' F' L F L'  (12q*)
U L' B' U B U' L' B L B' U' L  (12q*)
U L' B' U B' R B R' U' B U' L  (12q*)
U B U U L F U' F' U U L' B'  (12q*)
U B U B' R' U U F' U' F R U  (12q*)
U B U' L U' F' L F L' U L' B'  (12q*)
U B U' L' B L B' U' L U L' B'  (12q*)
U B U' L' B L' D L D' B' L B'  (12q*)
U B U' L' B B D' B' D L B B  (12q*)
U B L U' L' U U B' R' U R U  (12q*)
U B L L D L D' B' L L U' L'  (12q*)
U B L' B D' B' D L B' L U' L'  (12q*)
U B L' B' L U B' U' B L U' L'  (12q*)
U B L' B' L U' L F U' F' U L'  (12q*)
U B L' B' L L U' F' L F L L  (12q*)
U B B R D B' D' B B R' U' B  (12q*)
U B B R B R' U' B B L' B' L  (12q*)
U B' U R B' R' B U' B L U' L'  (12q*)
U B' U R' U' R B U' B L' B' L  (12q*)
U B' U' B L U U F U F' L' U  (12q*)
U B' U' B L U' L F' L' F U L'  (12q*)
U B' U' B L U' L' U B L' B' L  (12q*)
U B' U' B L' B D L' D' L B' L  (12q*)
U B' U' B B L' D' B D B B L  (12q*)
U B' R B R' U' B U' L U L' B'  (12q*)
U B' R B' D' R D R' B R' U' B  (12q*)
U B' R' U U F' U' F R U U B  (12q*)
U B' R' U R U U B L U' L' U  (12q*)
U B' R' U R U' B U' L' B L B'  (12q*)
U B' R' U R U' B' R B R' U' B  (12q*)
U B' R' U R' F R F' U' R U' B  (12q*)
U' R U R R F D R' D' R R F'  (12q*)
U' R U R' F R' D' F D F' R F'  (12q*)
U' R U R' F' U U L' U' L F U'  (12q*)
U' R U R' F' U F U' R' F R F'  (12q*)
U' R U R' F' U F' L F L' U' F  (12q*)
U' R U' B U B' R' U R' F R F'  (12q*)
U' R U' B' R B R' U R' F' U F  (12q*)
U' R R B' R' B U R R F R F'  (12q*)
U' R R B' D' R D R R B U R'  (12q*)
U' R B U U L U L' B' U U R'  (12q*)
U' R B U' B L' B' L U B' U R'  (12q*)
U' R B U' B' U U R' F' U F U'  (12q*)
U' R B U' B' U R B' R' B U R'  (12q*)
U' R B U' B' U R' U F R' F' R  (12q*)
U' R B' R D B' D' B R' B U R'  (12q*)
U' R B' R' B U R' U F' U' F R  (12q*)
U' R' U U F' L' U L U U F R  (12q*)
U' R' U F R R D R D' F' R R  (12q*)
U' R' U F R' F D' F' D R F' R  (12q*)
U' R' U F R' F' R U F' U' F R  (12q*)
U' R' U F' U L F' L' F U' F R  (12q*)
U' R' U' R B U U L U L' B' U'  (12q*)
U' R' F R F F U L F' L' F F  (12q*)
U' R' F R F' U F' L' U L U' F  (12q*)
U' R' F R F' U' R U R' F' U F  (12q*)
U' R' F R' D R D' F' R F' U F  (12q*)
U' R' F F D' F' D R F F U F  (12q*)
U' R' F' U F U U R B U' B' U'  (12q*)
U' F U F F L D F' D' F F L'  (12q*)
U' F U F' L F' D' L D L' F L'  (12q*)
U' F U F' L' U U B' U' B L U'  (12q*)
U' F U F' L' U L U' F' L F L'  (12q*)
U' F U F' L' U L' B L B' U' L  (12q*)
U' F U' R U R' F' U F' L F L'  (12q*)
U' F U' R' F R F' U F' L' U L  (12q*)
U' F R U U B U B' R' U U F'  (12q*)
U' F R U' R B' R' B U R' U F'  (12q*)
U' F R U' R' U U F' L' U L U'  (12q*)
U' F R U' R' U F R' F' R U F'  (12q*)
U' F R U' R' U F' U L F' L' F  (12q*)
U' F R' F D R' D' R F' R U F'  (12q*)
U' F R' F' R U F' U L' U' L F  (12q*)
U' F F R' F' R U F F L F L'  (12q*)
U' F F R' D' F D F F R U F'  (12q*)
U' F' U U L' B' U B U U L F  (12q*)
U' F' U L F F D F D' L' F F  (12q*)
U' F' U L F' L D' L' D F L' F  (12q*)
U' F' U L F' L' F U L' U' L F  (12q*)
U' F' U L' U B L' B' L U' L F  (12q*)
U' F' U' F R U U B U B' R' U'  (12q*)
U' F' L F L L U B L' B' L L  (12q*)
U' F' L F L' U L' B' U B U' L  (12q*)
U' F' L F L' U' F U F' L' U L  (12q*)
U' F' L F' D F D' L' F L' U L  (12q*)
U' F' L L D' L' D F L L U L  (12q*)
U' F' L' U L U U F R U' R' U'  (12q*)
U' L U L L B D L' D' L L B'  (12q*)
U' L U L' B L' D' B D B' L B'  (12q*)
U' L U L' B' U U R' U' R B U'  (12q*)
U' L U L' B' U B U' L' B L B'  (12q*)
U' L U L' B' U B' R B R' U' B  (12q*)
U' L U' F U F' L' U L' B L B'  (12q*)
U' L U' F' L F L' U L' B' U B  (12q*)
U' L F U U R U R' F' U U L'  (12q*)
U' L F U' F R' F' R U F' U L'  (12q*)
U' L F U' F' U U L' B' U B U'  (12q*)
U' L F U' F' U L F' L' F U L'  (12q*)
U' L F U' F' U L' U B L' B' L  (12q*)
U' L F' L D F' D' F L' F U L'  (12q*)
U' L F' L' F U L' U B' U' B L  (12q*)
U' L L F' D' L D L L F U L'  (12q*)
U' L L F' L' F U L L B L B'  (12q*)
U' L' U U B' R' U R U U B L  (12q*)
U' L' U B L L D L D' B' L L  (12q*)
U' L' U B L' B D' B' D L B' L  (12q*)
U' L' U B L' B' L U B' U' B L  (12q*)
U' L' U B' U R B' R' B U' B L  (12q*)
U' L' U' L F U U R U R' F' U'  (12q*)
U' L' B L B B U R B' R' B B  (12q*)
U' L' B L B' U B' R' U R U' B  (12q*)
U' L' B L B' U' L U L' B' U B  (12q*)
U' L' B L' D L D' B' L B' U B  (12q*)
U' L' B B D' B' D L B B U B  (12q*)
U' L' B' U B U U L F U' F' U'  (12q*)
U' B U B B R D B' D' B B R'  (12q*)
U' B U B' R B' D' R D R' B R'  (12q*)
U' B U B' R' U U F' U' F R U'  (12q*)
U' B U B' R' U R U' B' R B R'  (12q*)
U' B U B' R' U R' F R F' U' R  (12q*)
U' B U' L U L' B' U B' R B R'  (12q*)
U' B U' L' B L B' U B' R' U R  (12q*)
U' B L U U F U F' L' U U B'  (12q*)
U' B L U' L F' L' F U L' U B'  (12q*)
U' B L U' L' U U B' R' U R U'  (12q*)
U' B L U' L' U B L' B' L U B'  (12q*)
U' B L U' L' U B' U R B' R' B  (12q*)
U' B L' B D L' D' L B' L U B'  (12q*)
U' B L' B' L U B' U R' U' R B  (12q*)
U' B B L' D' B D B B L U B'  (12q*)
U' B B L' B' L U B B R B R'  (12q*)
U' B' U U R' F' U F U U R B  (12q*)
U' B' U R B B D B D' R' B B  (12q*)
U' B' U R B' R D' R' D B R' B  (12q*)
U' B' U R B' R' B U R' U' R B  (12q*)
U' B' U R' U F R' F' R U' R B  (12q*)
U' B' U' B L U U F U F' L' U'  (12q*)
U' B' R R D' R' D B R R U R  (12q*)
U' B' R B R R U F R' F' R R  (12q*)
U' B' R B R' U R' F' U F U' R  (12q*)
U' B' R B R' U' B U B' R' U R  (12q*)
U' B' R B' D B D' R' B R' U R  (12q*)
U' B' R' U R U U B L U' L' U'  (12q*)
R U U B U B' R' U U F' U' F  (12q*)
R U U B L U' L' U U B' R' U  (12q*)
R U R U' B' R R D' R' D B R  (12q*)
R U R R F D R' D' R R F' U'  (12q*)
R U R' F R' D' F D F' R F' U'  (12q*)
R U R' F' U U L' U' L F U U  (12q*)
R U R' F' U F U' R' F R F' U'  (12q*)
R U R' F' U F' L F L' U' F U'  (12q*)
R U F R' F' R R U' B' R B R  (12q*)
R U F F L F L' U' F F R' F'  (12q*)
R U F' U L' U' L F U' F R' F'  (12q*)
R U F' U' F R U' R' U F R' F'  (12q*)
R U F' U' F R' F D R' D' R F'  (12q*)
R U F' U' F F R' D' F D F F  (12q*)
R U' R B U' B' U R' U F R' F'  (12q*)
R U' R B' R' B U R' U F' U' F  (12q*)
R U' R' U U F' L' U L U U F  (12q*)
R U' R' U F R R D R D' F' R  (12q*)
R U' R' U F R' F D' F' D R F'  (12q*)
R U' R' U F R' F' R U F' U' F  (12q*)
R U' R' U F' U L F' L' F U' F  (12q*)
R U' B U B' R' U R' F R F' U'  (12q*)
R U' B U' L' B L B' U B' R' U  (12q*)
R U' B' R R D' R' D B R R U  (12q*)
R U' B' R B R R U F R' F' R  (12q*)
R U' B' R B R' U R' F' U F U'  (12q*)
R U' B' R B R' U' B U B' R' U  (12q*)
R U' B' R B' D B D' R' B R' U  (12q*)
R R U R U' B' R R D' R' D B  (12q*)
R R U F R' F' R R U' B' R B  (12q*)
R R U' R' U F R R D R D' F'  (12q*)
R R U' B' R B R R U F R' F'  (12q*)
R R F R F' U' R R B' R' B U  (12q*)
R R F D R' D' R R F' U' R U  (12q*)
R R F' U' R U R R F D R' D'  (12q*)
R R F' R' F D R R B R B' D'  (12q*)
R R D R D' F' R R U' R' U F  (12q*)
R R D B R' B' R R D' F' R F  (12q*)
R R D' R' D B R R U R U' B'  (12q*)
R R D' F' R F R R D B R' B'  (12q*)
R R B U R' U' R R B' D' R D  (12q*)
R R B R B' D' R R F' R' F D  (12q*)
R R B' R' B U R R F R F' U'  (12q*)
R R B' D' R D R R B U R' U'  (12q*)
R F R R D B R' B' R R D' F'  (12q*)
R F R F' U' R R B' R' B U R  (12q*)
R F R' D R' B' D B D' R D' F'  (12q*)
R F R' D' F F L' F' L D F F  (12q*)
R F R' D' F D F' R' D R D' F'  (12q*)
R F R' D' F D' L D L' F' D F'  (12q*)
R F F U F U' R' F F D' F' D  (12q*)
R F F U L F' L' F F U' R' F  (12q*)
R F D R' D' R R F' U' R U R  (12q*)
R F D D L D L' F' D D R' D'  (12q*)
R F D' F L' F' L D F' D R' D'  (12q*)
R F D' F' D R F' R' F D R' D'  (12q*)
R F D' F' D R' D B R' B' R D'  (12q*)
R F D' F' D D R' B' D B D D  (12q*)
R F' U F U' R' F R' D R D' F'  (12q*)
R F' U F' L' U L U' F U' R' F  (12q*)
R F' U' R U R R F D R' D' R  (12q*)
R F' U' R U R' F R' D' F D F'  (12q*)
R F' U' R U R' F' U F U' R' F  (12q*)
R F' U' R U' B U B' R' U R' F  (12q*)
R F' U' R R B' R' B U R R F  (12q*)
R F' R U F' U' F R' F D R' D'  (12q*)
R F' R U' R' U F R' F D' F' D  (12q*)
R F' R' F F D' L' F L F F D  (12q*)
R F' R' F D R R B R B' D' R  (12q*)
R F' R' F D R' D B' D' B R D'  (12q*)
R F' R' F D R' D' R F D' F' D  (12q*)
R F' R' F D' F L D' L' D F' D  (12q*)
R D R R B U R' U' R R B' D'  (12q*)
R D R D' F' R R U' R' U F R  (12q*)
R D R' B R' U' B U B' R B' D'  (12q*)
R D R' B' D D L' D' L B D D  (12q*)
R D R' B' D B D' R' B R B' D'  (12q*)
R D R' B' D B' L B L' D' B D'  (12q*)
R D D F D F' R' D D B' D' B  (12q*)
R D D F L D' L' D D F' R' D  (12q*)
R D B R' B' R R D' F' R F R  (12q*)
R D B B L B L' D' B B R' B'  (12q*)
R D B' D L' D' L B D' B R' B'  (12q*)
R D B' D' B R D' R' D B R' B'  (12q*)
R D B' D' B R' B U R' U' R B'  (12q*)
R D B' D' B B R' U' B U B B  (12q*)
R D' R F D' F' D R' D B R' B'  (12q*)
R D' R F' R' F D R' D B' D' B  (12q*)
R D' R' D D B' L' D L D D B  (12q*)
R D' R' D B R R U R U' B' R  (12q*)
R D' R' D B R' B U' B' U R B'  (12q*)
R D' R' D B R' B' R D B' D' B  (12q*)
R D' R' D B' D L B' L' B D' B  (12q*)
R D' F D F' R' D R' B R B' D'  (12q*)
R D' F D' L' F L F' D F' R' D  (12q*)
R D' F' R R U' R' U F R R D  (12q*)
R D' F' R F R R D B R' B' R  (12q*)
R D' F' R F R' D R' B' D B D'  (12q*)
R D' F' R F R' D' F D F' R' D  (12q*)
R D' F' R F' U F U' R' F R' D  (12q*)
R B U U L U L' B' U U R' U'  (12q*)
R B U R' U' R R B' D' R D R  (12q*)
R B U' B L' B' L U B' U R' U'  (12q*)
R B U' B' U U R' F' U F U U  (12q*)
R B U' B' U R B' R' B U R' U'  (12q*)
R B U' B' U R' U F R' F' R U'  (12q*)
R B R R U F R' F' R R U' B'  (12q*)
R B R B' D' R R F' R' F D R  (12q*)
R B R' U R' F' U F U' R U' B'  (12q*)
R B R' U' B U B' R' U R U' B'  (12q*)
R B R' U' B U' L U L' B' U B'  (12q*)
R B R' U' B B L' B' L U B B  (12q*)
R B B D L B' L' B B D' R' B  (12q*)
R B B D B D' R' B B U' B' U  (12q*)
R B' R D B' D' B R' B U R' U'  (12q*)
R B' R D' R' D B R' B U' B' U  (12q*)
R B' R' B U R R F R F' U' R  (12q*)
R B' R' B U R' U F' U' F R U'  (12q*)
R B' R' B U R' U' R B U' B' U  (12q*)
R B' R' B U' B L U' L' U B' U  (12q*)
R B' R' B B U' L' B L B B U  (12q*)
R B' D B D' R' B R' U R U' B'  (12q*)
R B' D B' L' D L D' B D' R' B  (12q*)
R B' D' R R F' R' F D R R B  (12q*)
R B' D' R D R R B U R' U' R  (12q*)
R B' D' R D R' B R' U' B U B'  (12q*)
R B' D' R D R' B' D B D' R' B  (12q*)
R B' D' R D' F D F' R' D R' B  (12q*)
R' U U F' U' F R U U B U B'  (12q*)
R' U U F' L' U L U U F R U'  (12q*)
R' U R U U B L U' L' U U B'  (12q*)
R' U R U' B U' L' B L B' U B'  (12q*)
R' U R U' B' R R D' R' D B R'  (12q*)
R' U R U' B' R B R' U' B U B'  (12q*)
R' U R U' B' R B' D B D' R' B  (12q*)
R' U R' F R F' U' R U' B U B'  (12q*)
R' U R' F' U F U' R U' B' R B  (12q*)
R' U F R R D R D' F' R R U'  (12q*)
R' U F R' F D' F' D R F' R U'  (12q*)
R' U F R' F' R U F' U' F R U'  (12q*)
R' U F R' F' R U' R B U' B' U  (12q*)
R' U F R' F' R R U' B' R B R'  (12q*)
R' U F' U L F' L' F U' F R U'  (12q*)
R' U F' U' F R U' R B' R' B U  (12q*)
R' U' R R B' D' R D R R B U  (12q*)
R' U' R B U U L U L' B' U U  (12q*)
R' U' R B U' B L' B' L U B' U  (12q*)
R' U' R B U' B' U R B' R' B U  (12q*)
R' U' R B' R D B' D' B R' B U  (12q*)
R' U' R' U F R R D R D' F' R'  (12q*)
R' U' B U B B R D B' D' B B  (12q*)
R' U' B U B' R B' D' R D R' B  (12q*)
R' U' B U B' R' U R U' B' R B  (12q*)
R' U' B U' L U L' B' U B' R B  (12q*)
R' U' B B L' B' L U B B R B  (12q*)
R' U' B' R B R R U F R' F' R'  (12q*)
R' F R F F U L F' L' F F U'  (12q*)
R' F R F' U F' L' U L U' F U'  (12q*)
R' F R F' U' R U R' F' U F U'  (12q*)
R' F R F' U' R U' B U B' R' U  (12q*)
R' F R F' U' R R B' R' B U R'  (12q*)
R' F R' D R D' F' R F' U F U'  (12q*)
R' F R' D' F D F' R F' U' R U  (12q*)
R' F F D' F' D R F F U F U'  (12q*)
R' F F D' L' F L F F D R F'  (12q*)
R' F D R R B R B' D' R R F'  (12q*)
R' F D R' D B' D' B R D' R F'  (12q*)
R' F D R' D' R R F' U' R U R'  (12q*)
R' F D R' D' R F D' F' D R F'  (12q*)
R' F D R' D' R F' R U F' U' F  (12q*)
R' F D' F L D' L' D F' D R F'  (12q*)
R' F D' F' D R F' R U' R' U F  (12q*)
R' F' U U L' U' L F U U R U  (12q*)
R' F' U F U U R B U' B' U U  (12q*)
R' F' U F U' R U' B' R B R' U  (12q*)
R' F' U F U' R' F R F' U' R U  (12q*)
R' F' U F' L F L' U' F U' R U  (12q*)
R' F' U' R U R R F D R' D' R'  (12q*)
R' F' R U F F L F L' U' F F  (12q*)
R' F' R U F' U L' U' L F U' F  (12q*)
R' F' R U F' U' F R U' R' U F  (12q*)
R' F' R U' R B U' B' U R' U F  (12q*)
R' F' R R U' B' R B R R U F  (12q*)
R' F' R' F D R R B R B' D' R'  (12q*)
R' D R D D F L D' L' D D F'  (12q*)
R' D R D' F D' L' F L F' D F'  (12q*)
R' D R D' F' R R U' R' U F R'  (12q*)
R' D R D' F' R F R' D' F D F'  (12q*)
R' D R D' F' R F' U F U' R' F  (12q*)
R' D R' B R B' D' R D' F D F'  (12q*)
R' D R' B' D B D' R D' F' R F  (12q*)
R' D D B' D' B R D D F D F'  (12q*)
R' D D B' L' D L D D B R D'  (12q*)
R' D B R R U R U' B' R R D'  (12q*)
R' D B R' B U' B' U R B' R D'  (12q*)
R' D B R' B' R R D' F' R F R'  (12q*)
R' D B R' B' R D B' D' B R D'  (12q*)
R' D B R' B' R D' R F D' F' D  (12q*)
R' D B' D L B' L' B D' B R D'  (12q*)
R' D B' D' B R D' R F' R' F D  (12q*)
R' D' R R F' U' R U R R F D  (12q*)
R' D' R F D D L D L' F' D D  (12q*)
R' D' R F D' F L' F' L D F' D  (12q*)
R' D' R F D' F' D R F' R' F D  (12q*)
R' D' R F' R U F' U' F R' F D  (12q*)
R' D' R' D B R R U R U' B' R'  (12q*)
R' D' F F L' F' L D F F R F  (12q*)
R' D' F D F F R U F' U' F F  (12q*)
R' D' F D F' R F' U' R U R' F  (12q*)
R' D' F D F' R' D R D' F' R F  (12q*)
R' D' F D' L D L' F' D F' R F  (12q*)
R' D' F' R F R R D B R' B' R'  (12q*)
R' B U R R F R F' U' R R B'  (12q*)
R' B U R' U F' U' F R U' R B'  (12q*)
R' B U R' U' R R B' D' R D R'  (12q*)
R' B U R' U' R B U' B' U R B'  (12q*)
R' B U R' U' R B' R D B' D' B  (12q*)
R' B U' B L U' L' U B' U R B'  (12q*)
R' B U' B' U R B' R D' R' D B  (12q*)
R' B R B B D L B' L' B B D'  (12q*)
R' B R B' D B' L' D L D' B D'  (12q*)
R' B R B' D' R R F' R' F D R'  (12q*)
R' B R B' D' R D R' B' D B D'  (12q*)
R' B R B' D' R D' F D F' R' D  (12q*)
R' B R' U R U' B' R B' D B D'  (12q*)
R' B R' U' B U B' R B' D' R D  (12q*)
R' B B U' L' B L B B U R B'  (12q*)
R' B B U' B' U R B B D B D'  (12q*)
R' B' R R D' F' R F R R D B  (12q*)
R' B' R D B B L B L' D' B B  (12q*)
R' B' R D B' D L' D' L B D' B  (12q*)
R' B' R D B' D' B R D' R' D B  (12q*)
R' B' R D' R F D' F' D R' D B  (12q*)
R' B' R' B U R R F R F' U' R'  (12q*)
R' B' D D L' D' L B D D R D  (12q*)
R' B' D B D D R F D' F' D D  (12q*)
R' B' D B D' R D' F' R F R' D  (12q*)
R' B' D B D' R' B R B' D' R D  (12q*)
R' B' D B' L B L' D' B D' R D  (12q*)
R' B' D' R D R R B U R' U' R'  (12q*)
F U U R U R' F' U U L' U' L  (12q*)
F U U R B U' B' U U R' F' U  (12q*)
F U F U' R' F F D' F' D R F  (12q*)
F U F F L D F' D' F F L' U'  (12q*)
F U F' L F' D' L D L' F L' U'  (12q*)
F U F' L' U U B' U' B L U U  (12q*)
F U F' L' U L U' F' L F L' U'  (12q*)
F U F' L' U L' B L B' U' L U'  (12q*)
F U L F' L' F F U' R' F R F  (12q*)
F U L L B L B' U' L L F' L'  (12q*)
F U L' U B' U' B L U' L F' L'  (12q*)
F U L' U' L F U' F' U L F' L'  (12q*)
F U L' U' L F' L D F' D' F L'  (12q*)
F U L' U' L L F' D' L D L L  (12q*)
F U' R U R' F' U F' L F L' U'  (12q*)
F U' R U' B' R B R' U R' F' U  (12q*)
F U' R' F R F F U L F' L' F  (12q*)
F U' R' F R F' U F' L' U L U'  (12q*)
F U' R' F R F' U' R U R' F' U  (12q*)
F U' R' F R' D R D' F' R F' U  (12q*)
F U' R' F F D' F' D R F F U  (12q*)
F U' F R U' R' U F' U L F' L'  (12q*)
F U' F R' F' R U F' U L' U' L  (12q*)
F U' F' U U L' B' U B U U L  (12q*)
F U' F' U L F F D F D' L' F  (12q*)
F U' F' U L F' L D' L' D F L'  (12q*)
F U' F' U L F' L' F U L' U' L  (12q*)
F U' F' U L' U B L' B' L U' L  (12q*)
F R U U B U B' R' U U F' U'  (12q*)
F R U F' U' F F R' D' F D F  (12q*)
F R U' R B' R' B U R' U F' U'  (12q*)
F R U' R' U U F' L' U L U U  (12q*)
F R U' R' U F R' F' R U F' U'  (12q*)
F R U' R' U F' U L F' L' F U'  (12q*)
F R R D R D' F' R R U' R' U  (12q*)
F R R D B R' B' R R D' F' R  (12q*)
F R F R' D' F F L' F' L D F  (12q*)
F R F F U L F' L' F F U' R'  (12q*)
F R F' U F' L' U L U' F U' R'  (12q*)
F R F' U' R U R' F' U F U' R'  (12q*)
F R F' U' R U' B U B' R' U R'  (12q*)
F R F' U' R R B' R' B U R R  (12q*)
F R' F D R' D' R F' R U F' U'  (12q*)
F R' F D' F' D R F' R U' R' U  (12q*)
F R' F' R U F F L F L' U' F  (12q*)
F R' F' R U F' U L' U' L F U'  (12q*)
F R' F' R U F' U' F R U' R' U  (12q*)
F R' F' R U' R B U' B' U R' U  (12q*)
F R' F' R R U' B' R B R R U  (12q*)
F R' D R D' F' R F' U F U' R'  (12q*)
F R' D R' B' D B D' R D' F' R  (12q*)
F R' D' F F L' F' L D F F R  (12q*)
F R' D' F D F F R U F' U' F  (12q*)
F R' D' F D F' R F' U' R U R'  (12q*)
F R' D' F D F' R' D R D' F' R  (12q*)
F R' D' F D' L D L' F' D F' R  (12q*)
F F U F U' R' F F D' F' D R  (12q*)
F F U L F' L' F F U' R' F R  (12q*)
F F U' R' F R F F U L F' L'  (12q*)
F F U' F' U L F F D F D' L'  (12q*)
F F R U F' U' F F R' D' F D  (12q*)
F F R F R' D' F F L' F' L D  (12q*)
F F R' F' R U F F L F L' U'  (12q*)
F F R' D' F D F F R U F' U'  (12q*)
F F D R F' R' F F D' L' F L  (12q*)
F F D F D' L' F F U' F' U L  (12q*)
F F D' F' D R F F U F U' R'  (12q*)
F F D' L' F L F F D R F' R'  (12q*)
F F L F L' U' F F R' F' R U  (12q*)
F F L D F' D' F F L' U' F U  (12q*)
F F L' U' F U F F L D F' D'  (12q*)
F F L' F' L D F F R F R' D'  (12q*)
F D R R B R B' D' R R F' R'  (12q*)
F D R F' R' F F D' L' F L F  (12q*)
F D R' D B' D' B R D' R F' R'  (12q*)
F D R' D' R R F' U' R U R R  (12q*)
F D R' D' R F D' F' D R F' R'  (12q*)
F D R' D' R F' R U F' U' F R'  (12q*)
F D F F R U F' U' F F R' D'  (12q*)
F D F D' L' F F U' F' U L F  (12q*)
F D F' R F' U' R U R' F R' D'  (12q*)
F D F' R' D R D' F' R F R' D'  (12q*)
F D F' R' D R' B R B' D' R D'  (12q*)
F D F' R' D D B' D' B R D D  (12q*)
F D D L D L' F' D D R' D' R  (12q*)
F D D L B D' B' D D L' F' D  (12q*)
F D' F L D' L' D F' D R F' R'  (12q*)
F D' F L' F' L D F' D R' D' R  (12q*)
F D' F' D R F F U F U' R' F  (12q*)
F D' F' D R F' R U' R' U F R'  (12q*)
F D' F' D R F' R' F D R' D' R  (12q*)
F D' F' D R' D B R' B' R D' R  (12q*)
F D' F' D D R' B' D B D D R  (12q*)
F D' L D L' F' D F' R F R' D'  (12q*)
F D' L D' B' L B L' D L' F' D  (12q*)
F D' L' F F U' F' U L F F D  (12q*)
F D' L' F L F F D R F' R' F  (12q*)
F D' L' F L F' D F' R' D R D'  (12q*)
F D' L' F L F' D' L D L' F' D  (12q*)
F D' L' F L' U L U' F' L F' D  (12q*)
F L F F D R F' R' F F D' L'  (12q*)
F L F L' U' F F R' F' R U F  (12q*)
F L F' D F' R' D R D' F D' L'  (12q*)
F L F' D' L D L' F' D F D' L'  (12q*)
F L F' D' L D' B D B' L' D L'  (12q*)
F L F' D' L L B' L' B D L L  (12q*)
F L D F' D' F F L' U' F U F  (12q*)
F L D D B D B' L' D D F' D'  (12q*)
F L D' L B' L' B D L' D F' D'  (12q*)
F L D' L' D F L' F' L D F' D'  (12q*)
F L D' L' D F' D R F' R' F D'  (12q*)
F L D' L' D D F' R' D R D D  (12q*)
F L L U L U' F' L L D' L' D  (12q*)
F L L U B L' B' L L U' F' L  (12q*)
F L' U L U' F' L F' D F D' L'  (12q*)
F L' U L' B' U B U' L U' F' L  (12q*)
F L' U' F U F F L D F' D' F  (12q*)
F L' U' F U F' L F' D' L D L'  (12q*)
F L' U' F U F' L' U L U' F' L  (12q*)
F L' U' F U' R U R' F' U F' L  (12q*)
F L' U' F F R' F' R U F F L  (12q*)
F L' F U L' U' L F' L D F' D'  (12q*)
F L' F U' F' U L F' L D' L' D  (12q*)
F L' F' L D F F R F R' D' F  (12q*)
F L' F' L D F' D R' D' R F D'  (12q*)
F L' F' L D F' D' F L D' L' D  (12q*)
F L' F' L D' L B D' B' D L' D  (12q*)
F L' F' L L D' B' L B L L D  (12q*)
F' U U L' U' L F U U R U R'  (12q*)
F' U U L' B' U B U U L F U'  (12q*)
F' U F U U R B U' B' U U R'  (12q*)
F' U F U' R U' B' R B R' U R'  (12q*)
F' U F U' R' F R F' U' R U R'  (12q*)
F' U F U' R' F R' D R D' F' R  (12q*)
F' U F U' R' F F D' F' D R F'  (12q*)
F' U F' L F L' U' F U' R U R'  (12q*)
F' U F' L' U L U' F U' R' F R  (12q*)
F' U L F F D F D' L' F F U'  (12q*)
F' U L F' L D' L' D F L' F U'  (12q*)
F' U L F' L' F U L' U' L F U'  (12q*)
F' U L F' L' F U' F R U' R' U  (12q*)
F' U L F' L' F F U' R' F R F'  (12q*)
F' U L' U B L' B' L U' L F U'  (12q*)
F' U L' U' L F U' F R' F' R U  (12q*)
F' U' R U R R F D R' D' R R  (12q*)
F' U' R U R' F R' D' F D F' R  (12q*)
F' U' R U R' F' U F U' R' F R  (12q*)
F' U' R U' B U B' R' U R' F R  (12q*)
F' U' R R B' R' B U R R F R  (12q*)
F' U' R' F R F F U L F' L' F'  (12q*)
F' U' F R U U B U B' R' U U  (12q*)
F' U' F R U' R B' R' B U R' U  (12q*)
F' U' F R U' R' U F R' F' R U  (12q*)
F' U' F R' F D R' D' R F' R U  (12q*)
F' U' F F R' D' F D F F R U  (12q*)
F' U' F' U L F F D F D' L' F'  (12q*)
F' R U F F L F L' U' F F R'  (12q*)
F' R U F' U L' U' L F U' F R'  (12q*)
F' R U F' U' F R U' R' U F R'  (12q*)
F' R U F' U' F R' F D R' D' R  (12q*)
F' R U F' U' F F R' D' F D F'  (12q*)
F' R U' R B U' B' U R' U F R'  (12q*)
F' R U' R' U F R' F D' F' D R  (12q*)
F' R R U' R' U F R R D R D'  (12q*)
F' R R U' B' R B R R U F R'  (12q*)
F' R F R R D B R' B' R R D'  (12q*)
F' R F R' D R' B' D B D' R D'  (12q*)
F' R F R' D' F F L' F' L D F'  (12q*)
F' R F R' D' F D F' R' D R D'  (12q*)
F' R F R' D' F D' L D L' F' D  (12q*)
F' R F' U F U' R' F R' D R D'  (12q*)
F' R F' U' R U R' F R' D' F D  (12q*)
F' R' F F D' L' F L F F D R  (12q*)
F' R' F D R R B R B' D' R R  (12q*)
F' R' F D R' D B' D' B R D' R  (12q*)
F' R' F D R' D' R F D' F' D R  (12q*)
F' R' F D' F L D' L' D F' D R  (12q*)
F' R' F' R U F F L F L' U' F'  (12q*)
F' R' D R D D F L D' L' D D  (12q*)
F' R' D R D' F D' L' F L F' D  (12q*)
F' R' D R D' F' R F R' D' F D  (12q*)
F' R' D R' B R B' D' R D' F D  (12q*)
F' R' D D B' D' B R D D F D  (12q*)
F' R' D' F D F F R U F' U' F'  (12q*)
F' D R F F U F U' R' F F D'  (12q*)
F' D R F' R U' R' U F R' F D'  (12q*)
F' D R F' R' F F D' L' F L F'  (12q*)
F' D R F' R' F D R' D' R F D'  (12q*)
F' D R F' R' F D' F L D' L' D  (12q*)
F' D R' D B R' B' R D' R F D'  (12q*)
F' D R' D' R F D' F L' F' L D  (12q*)
F' D F D D L B D' B' D D L'  (12q*)
F' D F D' L D' B' L B L' D L'  (12q*)
F' D F D' L' F F U' F' U L F'  (12q*)
F' D F D' L' F L F' D' L D L'  (12q*)
F' D F D' L' F L' U L U' F' L  (12q*)
F' D F' R F R' D' F D' L D L'  (12q*)
F' D F' R' D R D' F D' L' F L  (12q*)
F' D D R' D' R F D D L D L'  (12q*)
F' D D R' B' D B D D R F D'  (12q*)
F' D' F F L' U' F U F F L D  (12q*)
F' D' F L D D B D B' L' D D  (12q*)
F' D' F L D' L B' L' B D L' D  (12q*)
F' D' F L D' L' D F L' F' L D  (12q*)
F' D' F L' F U L' U' L F' L D  (12q*)
F' D' F' D R F F U F U' R' F'  (12q*)
F' D' L D L L F U L' U' L L  (12q*)
F' D' L D L' F L' U' F U F' L  (12q*)
F' D' L D L' F' D F D' L' F L  (12q*)
F' D' L D' B D B' L' D L' F L  (12q*)
F' D' L L B' L' B D L L F L  (12q*)
F' D' L' F L F F D R F' R' F'  (12q*)
F' L F L L U B L' B' L L U'  (12q*)
F' L F L' U L' B' U B U' L U'  (12q*)
F' L F L' U' F U F' L' U L U'  (12q*)
F' L F L' U' F U' R U R' F' U  (12q*)
F' L F L' U' F F R' F' R U F'  (12q*)
F' L F' D F D' L' F L' U L U'  (12q*)
F' L F' D' L D L' F L' U' F U  (12q*)
F' L D F F R F R' D' F F L'  (12q*)
F' L D F' D R' D' R F D' F L'  (12q*)
F' L D F' D' F F L' U' F U F'  (12q*)
F' L D F' D' F L D' L' D F L'  (12q*)
F' L D F' D' F L' F U L' U' L  (12q*)
F' L D' L B D' B' D L' D F L'  (12q*)
F' L D' L' D F L' F U' F' U L  (12q*)
F' L L D' L' D F L L U L U'  (12q*)
F' L L D' B' L B L L D F L'  (12q*)
F' L' U U B' U' B L U U F U  (12q*)
F' L' U L U U F R U' R' U U  (12q*)
F' L' U L U' F U' R' F R F' U  (12q*)
F' L' U L U' F' L F L' U' F U  (12q*)
F' L' U L' B L B' U' L U' F U  (12q*)
F' L' U' F U F F L D F' D' F'  (12q*)
F' L' F U L L B L B' U' L L  (12q*)
F' L' F U L' U B' U' B L U' L  (12q*)
F' L' F U L' U' L F U' F' U L  (12q*)
F' L' F U' F R U' R' U F' U L  (12q*)
F' L' F F U' R' F R F F U L  (12q*)
F' L' F' L D F F R F R' D' F'  (12q*)
D R R B U R' U' R R B' D' R  (12q*)
D R R B R B' D' R R F' R' F  (12q*)
D R F F U F U' R' F F D' F'  (12q*)
D R F D' F' D D R' B' D B D  (12q*)
D R F' R U' R' U F R' F D' F'  (12q*)
D R F' R' F F D' L' F L F F  (12q*)
D R F' R' F D R' D' R F D' F'  (12q*)
D R F' R' F D' F L D' L' D F'  (12q*)
D R D R' B' D D L' D' L B D  (12q*)
D R D D F L D' L' D D F' R'  (12q*)
D R D' F D' L' F L F' D F' R'  (12q*)
D R D' F' R R U' R' U F R R  (12q*)
D R D' F' R F R' D' F D F' R'  (12q*)
D R D' F' R F' U F U' R' F R'  (12q*)
D R' D B R' B' R D' R F D' F'  (12q*)
D R' D B' D' B R D' R F' R' F  (12q*)
D R' D' R R F' U' R U R R F  (12q*)
D R' D' R F D D L D L' F' D  (12q*)
D R' D' R F D' F L' F' L D F'  (12q*)
D R' D' R F D' F' D R F' R' F  (12q*)
D R' D' R F' R U F' U' F R' F  (12q*)
D R' B R B' D' R D' F D F' R'  (12q*)
D R' B R' U' B U B' R B' D' R  (12q*)
D R' B' D D L' D' L B D D R  (12q*)
D R' B' D B D D R F D' F' D  (12q*)
D R' B' D B D' R D' F' R F R'  (12q*)
D R' B' D B D' R' B R B' D' R  (12q*)
D R' B' D B' L B L' D' B D' R  (12q*)
D F F R U F' U' F F R' D' F  (12q*)
D F F R F R' D' F F L' F' L  (12q*)
D F D F' R' D D B' D' B R D  (12q*)
D F D D L B D' B' D D L' F'  (12q*)
D F D' L D' B' L B L' D L' F'  (12q*)
D F D' L' F F U' F' U L F F  (12q*)
D F D' L' F L F' D' L D L' F'  (12q*)
D F D' L' F L' U L U' F' L F'  (12q*)
D F L D' L' D D F' R' D R D  (12q*)
D F L L U L U' F' L L D' L'  (12q*)
D F L' F U' F' U L F' L D' L'  (12q*)
D F L' F' L D F' D' F L D' L'  (12q*)
D F L' F' L D' L B D' B' D L'  (12q*)
D F L' F' L L D' B' L B L L  (12q*)
D F' R F R' D' F D' L D L' F'  (12q*)
D F' R F' U' R U R' F R' D' F  (12q*)
D F' R' D R D D F L D' L' D  (12q*)
D F' R' D R D' F D' L' F L F'  (12q*)
D F' R' D R D' F' R F R' D' F  (12q*)
D F' R' D R' B R B' D' R D' F  (12q*)
D F' R' D D B' D' B R D D F  (12q*)
D F' D R F' R' F D' F L D' L'  (12q*)
D F' D R' D' R F D' F L' F' L  (12q*)
D F' D' F F L' U' F U F F L  (12q*)
D F' D' F L D D B D B' L' D  (12q*)
D F' D' F L D' L B' L' B D L'  (12q*)
D F' D' F L D' L' D F L' F' L  (12q*)
D F' D' F L' F U L' U' L F' L  (12q*)
D D R F D' F' D D R' B' D B  (12q*)
D D R D R' B' D D L' D' L B  (12q*)
D D R' D' R F D D L D L' F'  (12q*)
D D R' B' D B D D R F D' F'  (12q*)
D D F D F' R' D D B' D' B R  (12q*)
D D F L D' L' D D F' R' D R  (12q*)
D D F' R' D R D D F L D' L'  (12q*)
D D F' D' F L D D B D B' L'  (12q*)
D D L D L' F' D D R' D' R F  (12q*)
D D L B D' B' D D L' F' D F  (12q*)
D D L' F' D F D D L B D' B'  (12q*)
D D L' D' L B D D R D R' B'  (12q*)
D D B R D' R' D D B' L' D L  (12q*)
D D B D B' L' D D F' D' F L  (12q*)
D D B' D' B R D D F D F' R'  (12q*)
D D B' L' D L D D B R D' R'  (12q*)
D L D D B R D' R' D D B' L'  (12q*)
D L D L' F' D D R' D' R F D  (12q*)
D L D' B D' R' B R B' D B' L'  (12q*)
D L D' B' L L U' L' U B L L  (12q*)
D L D' B' L B L' D' B D B' L'  (12q*)
D L D' B' L B' U B U' L' B L'  (12q*)
D L L F U L' U' L L F' D' L  (12q*)
D L L F L F' D' L L B' L' B  (12q*)
D L B D' B' D D L' F' D F D  (12q*)
D L B B U B U' L' B B D' B'  (12q*)
D L B' L U' L' U B L' B D' B'  (12q*)
D L B' L' B D L' D' L B D' B'  (12q*)
D L B' L' B D' B R D' R' D B'  (12q*)
D L B' L' B B D' R' B R B B  (12q*)
D L' F L F' D' L D' B D B' L'  (12q*)
D L' F L' U' F U F' L F' D' L  (12q*)
D L' F' D F D D L B D' B' D  (12q*)
D L' F' D F D' L D' B' L B L'  (12q*)
D L' F' D F D' L' F L F' D' L  (12q*)
D L' F' D F' R F R' D' F D' L  (12q*)
D L' F' D D R' D' R F D D L  (12q*)
D L' D F L' F' L D' L B D' B'  (12q*)
D L' D F' D' F L D' L B' L' B  (12q*)
D L' D' L L B' U' L U L L B  (12q*)
D L' D' L B D D R D R' B' D  (12q*)
D L' D' L B D' B R' B' R D B'  (12q*)
D L' D' L B D' B' D L B' L' B  (12q*)
D L' D' L B' L U B' U' B L' B  (12q*)
D B R R U R U' B' R R D' R'  (12q*)
D B R D' R' D D B' L' D L D  (12q*)
D B R' B U' B' U R B' R D' R'  (12q*)
D B R' B' R R D' F' R F R R  (12q*)
D B R' B' R D B' D' B R D' R'  (12q*)
D B R' B' R D' R F D' F' D R'  (12q*)
D B D D R F D' F' D D R' B'  (12q*)
D B D B' L' D D F' D' F L D  (12q*)
D B D' R D' F' R F R' D R' B'  (12q*)
D B D' R' B R B' D' R D R' B'  (12q*)
D B D' R' B R' U R U' B' R B'  (12q*)
D B D' R' B B U' B' U R B B  (12q*)
D B B L U B' U' B B L' D' B  (12q*)
D B B L B L' D' B B R' B' R  (12q*)
D B' D L B' L' B D' B R D' R'  (12q*)
D B' D L' D' L B D' B R' B' R  (12q*)
D B' D' B R D D F D F' R' D  (12q*)
D B' D' B R D' R F' R' F D R'  (12q*)
D B' D' B R D' R' D B R' B' R  (12q*)
D B' D' B R' B U R' U' R B' R  (12q*)
D B' D' B B R' U' B U B B R  (12q*)
D B' L B L' D' B D' R D R' B'  (12q*)
D B' L B' U' L U L' B L' D' B  (12q*)
D B' L' D D F' D' F L D D B  (12q*)
D B' L' D L D D B R D' R' D  (12q*)
D B' L' D L D' B D' R' B R B'  (12q*)
D B' L' D L D' B' L B L' D' B  (12q*)
D B' L' D L' F L F' D' L D' B  (12q*)
D' R R F' U' R U R R F D R'  (12q*)
D' R R F' R' F D R R B R B'  (12q*)
D' R F D D L D L' F' D D R'  (12q*)
D' R F D' F L' F' L D F' D R'  (12q*)
D' R F D' F' D R F' R' F D R'  (12q*)
D' R F D' F' D R' D B R' B' R  (12q*)
D' R F D' F' D D R' B' D B D'  (12q*)
D' R F' R U F' U' F R' F D R'  (12q*)
D' R F' R' F D R' D B' D' B R  (12q*)
D' R D R R B U R' U' R R B'  (12q*)
D' R D R' B R' U' B U B' R B'  (12q*)
D' R D R' B' D D L' D' L B D'  (12q*)
D' R D R' B' D B D' R' B R B'  (12q*)
D' R D R' B' D B' L B L' D' B  (12q*)
D' R D' F D F' R' D R' B R B'  (12q*)
D' R D' F' R F R' D R' B' D B  (12q*)
D' R' D D B' L' D L D D B R  (12q*)
D' R' D B R R U R U' B' R R  (12q*)
D' R' D B R' B U' B' U R B' R  (12q*)
D' R' D B R' B' R D B' D' B R  (12q*)
D' R' D B' D L B' L' B D' B R  (12q*)
D' R' D' R F D D L D L' F' D'  (12q*)
D' R' B R B B D L B' L' B B  (12q*)
D' R' B R B' D B' L' D L D' B  (12q*)
D' R' B R B' D' R D R' B' D B  (12q*)
D' R' B R' U R U' B' R B' D B  (12q*)
D' R' B B U' B' U R B B D B  (12q*)
D' R' B' D B D D R F D' F' D'  (12q*)
D' F F L' U' F U F F L D F'  (12q*)
D' F F L' F' L D F F R F R'  (12q*)
D' F D F F R U F' U' F F R'  (12q*)
D' F D F' R F' U' R U R' F R'  (12q*)
D' F D F' R' D R D' F' R F R'  (12q*)
D' F D F' R' D R' B R B' D' R  (12q*)
D' F D F' R' D D B' D' B R D'  (12q*)
D' F D' L D L' F' D F' R F R'  (12q*)
D' F D' L' F L F' D F' R' D R  (12q*)
D' F L D D B D B' L' D D F'  (12q*)
D' F L D' L B' L' B D L' D F'  (12q*)
D' F L D' L' D F L' F' L D F'  (12q*)
D' F L D' L' D F' D R F' R' F  (12q*)
D' F L D' L' D D F' R' D R D'  (12q*)
D' F L' F U L' U' L F' L D F'  (12q*)
D' F L' F' L D F' D R' D' R F  (12q*)
D' F' R R U' R' U F R R D R  (12q*)
D' F' R F R R D B R' B' R R  (12q*)
D' F' R F R' D R' B' D B D' R  (12q*)
D' F' R F R' D' F D F' R' D R  (12q*)
D' F' R F' U F U' R' F R' D R  (12q*)
D' F' R' D R D D F L D' L' D'  (12q*)
D' F' D R F F U F U' R' F F  (12q*)
D' F' D R F' R U' R' U F R' F  (12q*)
D' F' D R F' R' F D R' D' R F  (12q*)
D' F' D R' D B R' B' R D' R F  (12q*)
D' F' D D R' B' D B D D R F  (12q*)
D' F' D' F L D D B D B' L' D'  (12q*)
D' L D L L F U L' U' L L F'  (12q*)
D' L D L' F L' U' F U F' L F'  (12q*)
D' L D L' F' D F D' L' F L F'  (12q*)
D' L D L' F' D F' R F R' D' F  (12q*)
D' L D L' F' D D R' D' R F D'  (12q*)
D' L D' B D B' L' D L' F L F'  (12q*)
D' L D' B' L B L' D L' F' D F  (12q*)
D' L L B' U' L U L L B D L'  (12q*)
D' L L B' L' B D L L F L F'  (12q*)
D' L B D D R D R' B' D D L'  (12q*)
D' L B D' B R' B' R D B' D L'  (12q*)
D' L B D' B' D D L' F' D F D'  (12q*)
D' L B D' B' D L B' L' B D L'  (12q*)
D' L B D' B' D L' D F L' F' L  (12q*)
D' L B' L U B' U' B L' B D L'  (12q*)
D' L B' L' B D L' D F' D' F L  (12q*)
D' L' F F U' F' U L F F D F  (12q*)
D' L' F L F F D R F' R' F F  (12q*)
D' L' F L F' D F' R' D R D' F  (12q*)
D' L' F L F' D' L D L' F' D F  (12q*)
D' L' F L' U L U' F' L F' D F  (12q*)
D' L' F' D F D D L B D' B' D'  (12q*)
D' L' D F L L U L U' F' L L  (12q*)
D' L' D F L' F U' F' U L F' L  (12q*)
D' L' D F L' F' L D F' D' F L  (12q*)
D' L' D F' D R F' R' F D' F L  (12q*)
D' L' D D F' R' D R D D F L  (12q*)
D' L' D' L B D D R D R' B' D'  (12q*)
D' B R D D F D F' R' D D B'  (12q*)
D' B R D' R F' R' F D R' D B'  (12q*)
D' B R D' R' D D B' L' D L D'  (12q*)
D' B R D' R' D B R' B' R D B'  (12q*)
D' B R D' R' D B' D L B' L' B  (12q*)
D' B R' B U R' U' R B' R D B'  (12q*)
D' B R' B' R D B' D L' D' L B  (12q*)
D' B D B B L U B' U' B B L'  (12q*)
D' B D B' L B' U' L U L' B L'  (12q*)
D' B D B' L' D D F' D' F L D'  (12q*)
D' B D B' L' D L D' B' L B L'  (12q*)
D' B D B' L' D L' F L F' D' L  (12q*)
D' B D' R D R' B' D B' L B L'  (12q*)
D' B D' R' B R B' D B' L' D L  (12q*)
D' B B R' U' B U B B R D B'  (12q*)
D' B B R' B' R D B B L B L'  (12q*)
D' B' D D L' F' D F D D L B  (12q*)
D' B' D L B B U B U' L' B B  (12q*)
D' B' D L B' L U' L' U B L' B  (12q*)
D' B' D L B' L' B D L' D' L B  (12q*)
D' B' D L' D F L' F' L D' L B  (12q*)
D' B' D' B R D D F D F' R' D'  (12q*)
D' B' L L U' L' U B L L D L  (12q*)
D' B' L B L L D F L' F' L L  (12q*)
D' B' L B L' D L' F' D F D' L  (12q*)
D' B' L B L' D' B D B' L' D L  (12q*)
D' B' L B' U B U' L' B L' D L  (12q*)
D' B' L' D L D D B R D' R' D'  (12q*)
L U U F U F' L' U U B' U' B  (12q*)
L U U F R U' R' U U F' L' U  (12q*)
L U L U' F' L L D' L' D F L  (12q*)
L U L L B D L' D' L L B' U'  (12q*)
L U L' B L' D' B D B' L B' U'  (12q*)
L U L' B' U U R' U' R B U U  (12q*)
L U L' B' U B U' L' B L B' U'  (12q*)
L U L' B' U B' R B R' U' B U'  (12q*)
L U B L' B' L L U' F' L F L  (12q*)
L U B B R B R' U' B B L' B'  (12q*)
L U B' U R' U' R B U' B L' B'  (12q*)
L U B' U' B L U' L' U B L' B'  (12q*)
L U B' U' B L' B D L' D' L B'  (12q*)
L U B' U' B B L' D' B D B B  (12q*)
L U' F U F' L' U L' B L B' U'  (12q*)
L U' F U' R' F R F' U F' L' U  (12q*)
L U' F' L F L L U B L' B' L  (12q*)
L U' F' L F L' U L' B' U B U'  (12q*)
L U' F' L F L' U' F U F' L' U  (12q*)
L U' F' L F' D F D' L' F L' U  (12q*)
L U' F' L L D' L' D F L L U  (12q*)
L U' L F U' F' U L' U B L' B'  (12q*)
L U' L F' L' F U L' U B' U' B  (12q*)
L U' L' U U B' R' U R U U B  (12q*)
L U' L' U B L L D L D' B' L  (12q*)
L U' L' U B L' B D' B' D L B'  (12q*)
L U' L' U B L' B' L U B' U' B  (12q*)
L U' L' U B' U R B' R' B U' B  (12q*)
L F U U R U R' F' U U L' U'  (12q*)
L F U L' U' L L F' D' L D L  (12q*)
L F U' F R' F' R U F' U L' U'  (12q*)
L F U' F' U U L' B' U B U U  (12q*)
L F U' F' U L F' L' F U L' U'  (12q*)
L F U' F' U L' U B L' B' L U'  (12q*)
L F F D R F' R' F F D' L' F  (12q*)
L F F D F D' L' F F U' F' U  (12q*)
L F L F' D' L L B' L' B D L  (12q*)
L F L L U B L' B' L L U' F'  (12q*)
L F L' U L' B' U B U' L U' F'  (12q*)
L F L' U' F U F' L' U L U' F'  (12q*)
L F L' U' F U' R U R' F' U F'  (12q*)
L F L' U' F F R' F' R U F F  (12q*)
L F' D F D' L' F L' U L U' F'  (12q*)
L F' D F' R' D R D' F D' L' F  (12q*)
L F' D' L D L L F U L' U' L  (12q*)
L F' D' L D L' F L' U' F U F'  (12q*)
L F' D' L D L' F' D F D' L' F  (12q*)
L F' D' L D' B D B' L' D L' F  (12q*)
L F' D' L L B' L' B D L L F  (12q*)
L F' L D F' D' F L' F U L' U'  (12q*)
L F' L D' L' D F L' F U' F' U  (12q*)
L F' L' F U L L B L B' U' L  (12q*)
L F' L' F U L' U B' U' B L U'  (12q*)
L F' L' F U L' U' L F U' F' U  (12q*)
L F' L' F U' F R U' R' U F' U  (12q*)
L F' L' F F U' R' F R F F U  (12q*)
L D F F R F R' D' F F L' F'  (12q*)
L D F L' F' L L D' B' L B L  (12q*)
L D F' D R' D' R F D' F L' F'  (12q*)
L D F' D' F F L' U' F U F F  (12q*)
L D F' D' F L D' L' D F L' F'  (12q*)
L D F' D' F L' F U L' U' L F'  (12q*)
L D D B R D' R' D D B' L' D  (12q*)
L D D B D B' L' D D F' D' F  (12q*)
L D L D' B' L L U' L' U B L  (12q*)
L D L L F U L' U' L L F' D'  (12q*)
L D L' F L' U' F U F' L F' D'  (12q*)
L D L' F' D F D' L' F L F' D'  (12q*)
L D L' F' D F' R F R' D' F D'  (12q*)
L D L' F' D D R' D' R F D D  (12q*)
L D' L B D' B' D L' D F L' F'  (12q*)
L D' L B' L' B D L' D F' D' F  (12q*)
L D' L' D F L L U L U' F' L  (12q*)
L D' L' D F L' F U' F' U L F'  (12q*)
L D' L' D F L' F' L D F' D' F  (12q*)
L D' L' D F' D R F' R' F D' F  (12q*)
L D' L' D D F' R' D R D D F  (12q*)
L D' B D B' L' D L' F L F' D'  (12q*)
L D' B D' R' B R B' D B' L' D  (12q*)
L D' B' L L U' L' U B L L D  (12q*)
L D' B' L B L L D F L' F' L  (12q*)
L D' B' L B L' D L' F' D F D'  (12q*)
L D' B' L B L' D' B D B' L' D  (12q*)
L D' B' L B' U B U' L' B L' D  (12q*)
L L U L U' F' L L D' L' D F  (12q*)
L L U B L' B' L L U' F' L F  (12q*)
L L U' F' L F L L U B L' B'  (12q*)
L L U' L' U B L L D L D' B'  (12q*)
L L F U L' U' L L F' D' L D  (12q*)
L L F L F' D' L L B' L' B D  (12q*)
L L F' D' L D L L F U L' U'  (12q*)
L L F' L' F U L L B L B' U'  (12q*)
L L D F L' F' L L D' B' L B  (12q*)
L L D L D' B' L L U' L' U B  (12q*)
L L D' L' D F L L U L U' F'  (12q*)
L L D' B' L B L L D F L' F'  (12q*)
L L B D L' D' L L B' U' L U  (12q*)
L L B L B' U' L L F' L' F U  (12q*)
L L B' U' L U L L B D L' D'  (12q*)
L L B' L' B D L L F L F' D'  (12q*)
L B D D R D R' B' D D L' D'  (12q*)
L B D L' D' L L B' U' L U L  (12q*)
L B D' B R' B' R D B' D L' D'  (12q*)
L B D' B' D D L' F' D F D D  (12q*)
L B D' B' D L B' L' B D L' D'  (12q*)
L B D' B' D L' D F L' F' L D'  (12q*)
L B L L D F L' F' L L D' B'  (12q*)
L B L B' U' L L F' L' F U L  (12q*)
L B L' D L' F' D F D' L D' B'  (12q*)
L B L' D' B D B' L' D L D' B'  (12q*)
L B L' D' B D' R D R' B' D B'  (12q*)
L B L' D' B B R' B' R D B B  (12q*)
L B B U R B' R' B B U' L' B  (12q*)
L B B U B U' L' B B D' B' D  (12q*)
L B' U B U' L' B L' D L D' B'  (12q*)
L B' U B' R' U R U' B U' L' B  (12q*)
L B' U' L U L L B D L' D' L  (12q*)
L B' U' L U L' B L' D' B D B'  (12q*)
L B' U' L U L' B' U B U' L' B  (12q*)
L B' U' L U' F U F' L' U L' B  (12q*)
L B' U' L L F' L' F U L L B  (12q*)
L B' L U B' U' B L' B D L' D'  (12q*)
L B' L U' L' U B L' B D' B' D  (12q*)
L B' L' B D L L F L F' D' L  (12q*)
L B' L' B D L' D F' D' F L D'  (12q*)
L B' L' B D L' D' L B D' B' D  (12q*)
L B' L' B D' B R D' R' D B' D  (12q*)
L B' L' B B D' R' B R B B D  (12q*)
L' U U B' U' B L U U F U F'  (12q*)
L' U U B' R' U R U U B L U'  (12q*)
L' U L U U F R U' R' U U F'  (12q*)
L' U L U' F U' R' F R F' U F'  (12q*)
L' U L U' F' L F L' U' F U F'  (12q*)
L' U L U' F' L F' D F D' L' F  (12q*)
L' U L U' F' L L D' L' D F L'  (12q*)
L' U L' B L B' U' L U' F U F'  (12q*)
L' U L' B' U B U' L U' F' L F  (12q*)
L' U B L L D L D' B' L L U'  (12q*)
L' U B L' B D' B' D L B' L U'  (12q*)
L' U B L' B' L U B' U' B L U'  (12q*)
L' U B L' B' L U' L F U' F' U  (12q*)
L' U B L' B' L L U' F' L F L'  (12q*)
L' U B' U R B' R' B U' B L U'  (12q*)
L' U B' U' B L U' L F' L' F U  (12q*)
L' U' F U F F L D F' D' F F  (12q*)
L' U' F U F' L F' D' L D L' F  (12q*)
L' U' F U F' L' U L U' F' L F  (12q*)
L' U' F U' R U R' F' U F' L F  (12q*)
L' U' F F R' F' R U F F L F  (12q*)
L' U' F' L F L L U B L' B' L'  (12q*)
L' U' L F U U R U R' F' U U  (12q*)
L' U' L F U' F R' F' R U F' U  (12q*)
L' U' L F U' F' U L F' L' F U  (12q*)
L' U' L F' L D F' D' F L' F U  (12q*)
L' U' L L F' D' L D L L F U  (12q*)
L' U' L' U B L L D L D' B' L'  (12q*)
L' F U L L B L B' U' L L F'  (12q*)
L' F U L' U B' U' B L U' L F'  (12q*)
L' F U L' U' L F U' F' U L F'  (12q*)
L' F U L' U' L F' L D F' D' F  (12q*)
L' F U L' U' L L F' D' L D L'  (12q*)
L' F U' F R U' R' U F' U L F'  (12q*)
L' F U' F' U L F' L D' L' D F  (12q*)
L' F F U' R' F R F F U L F'  (12q*)
L' F F U' F' U L F F D F D'  (12q*)
L' F L F F D R F' R' F F D'  (12q*)
L' F L F' D F' R' D R D' F D'  (12q*)
L' F L F' D' L D L' F' D F D'  (12q*)
L' F L F' D' L D' B D B' L' D  (12q*)
L' F L F' D' L L B' L' B D L'  (12q*)
L' F L' U L U' F' L F' D F D'  (12q*)
L' F L' U' F U F' L F' D' L D  (12q*)
L' F' D F D D L B D' B' D D  (12q*)
L' F' D F D' L D' B' L B L' D  (12q*)
L' F' D F D' L' F L F' D' L D  (12q*)
L' F' D F' R F R' D' F D' L D  (12q*)
L' F' D D R' D' R F D D L D  (12q*)
L' F' D' L D L L F U L' U' L'  (12q*)
L' F' L D F F R F R' D' F F  (12q*)
L' F' L D F' D R' D' R F D' F  (12q*)
L' F' L D F' D' F L D' L' D F  (12q*)
L' F' L D' L B D' B' D L' D F  (12q*)
L' F' L L D' B' L B L L D F  (12q*)
L' F' L' F U L L B L B' U' L'  (12q*)
L' D F L L U L U' F' L L D'  (12q*)
L' D F L' F U' F' U L F' L D'  (12q*)
L' D F L' F' L D F' D' F L D'  (12q*)
L' D F L' F' L D' L B D' B' D  (12q*)
L' D F L' F' L L D' B' L B L'  (12q*)
L' D F' D R F' R' F D' F L D'  (12q*)
L' D F' D' F L D' L B' L' B D  (12q*)
L' D D F' R' D R D D F L D'  (12q*)
L' D D F' D' F L D D B D B'  (12q*)
L' D L D D B R D' R' D D B'  (12q*)
L' D L D' B D' R' B R B' D B'  (12q*)
L' D L D' B' L L U' L' U B L'  (12q*)
L' D L D' B' L B L' D' B D B'  (12q*)
L' D L D' B' L B' U B U' L' B  (12q*)
L' D L' F L F' D' L D' B D B'  (12q*)
L' D L' F' D F D' L D' B' L B  (12q*)
L' D' L L B' U' L U L L B D  (12q*)
L' D' L B D D R D R' B' D D  (12q*)
L' D' L B D' B R' B' R D B' D  (12q*)
L' D' L B D' B' D L B' L' B D  (12q*)
L' D' L B' L U B' U' B L' B D  (12q*)
L' D' L' D F L L U L U' F' L'  (12q*)
L' D' B D B B L U B' U' B B  (12q*)
L' D' B D B' L B' U' L U L' B  (12q*)
L' D' B D B' L' D L D' B' L B  (12q*)
L' D' B D' R D R' B' D B' L B  (12q*)
L' D' B B R' B' R D B B L B  (12q*)
L' D' B' L B L L D F L' F' L'  (12q*)
L' B D L L F L F' D' L L B'  (12q*)
L' B D L' D F' D' F L D' L B'  (12q*)
L' B D L' D' L L B' U' L U L'  (12q*)
L' B D L' D' L B D' B' D L B'  (12q*)
L' B D L' D' L B' L U B' U' B  (12q*)
L' B D' B R D' R' D B' D L B'  (12q*)
L' B D' B' D L B' L U' L' U B  (12q*)
L' B L B B U R B' R' B B U'  (12q*)
L' B L B' U B' R' U R U' B U'  (12q*)
L' B L B' U' L U L' B' U B U'  (12q*)
L' B L B' U' L U' F U F' L' U  (12q*)
L' B L B' U' L L F' L' F U L'  (12q*)
L' B L' D L D' B' L B' U B U'  (12q*)
L' B L' D' B D B' L B' U' L U  (12q*)
L' B B D' R' B R B B D L B'  (12q*)
L' B B D' B' D L B B U B U'  (12q*)
L' B' U U R' U' R B U U L U  (12q*)
L' B' U B U U L F U' F' U U  (12q*)
L' B' U B U' L U' F' L F L' U  (12q*)
L' B' U B U' L' B L B' U' L U  (12q*)
L' B' U B' R B R' U' B U' L U  (12q*)
L' B' U' L U L L B D L' D' L'  (12q*)
L' B' L U B B R B R' U' B B  (12q*)
L' B' L U B' U R' U' R B U' B  (12q*)
L' B' L U B' U' B L U' L' U B  (12q*)
L' B' L U' L F U' F' U L' U B  (12q*)
L' B' L L U' F' L F L L U B  (12q*)
L' B' L' B D L L F L F' D' L'  (12q*)
B U U L U L' B' U U R' U' R  (12q*)
B U U L F U' F' U U L' B' U  (12q*)
B U R R F R F' U' R R B' R'  (12q*)
B U R B' R' B B U' L' B L B  (12q*)
B U R' U F' U' F R U' R B' R'  (12q*)
B U R' U' R R B' D' R D R R  (12q*)
B U R' U' R B U' B' U R B' R'  (12q*)
B U R' U' R B' R D B' D' B R'  (12q*)
B U B U' L' B B D' B' D L B  (12q*)
B U B B R D B' D' B B R' U'  (12q*)
B U B' R B' D' R D R' B R' U'  (12q*)
B U B' R' U U F' U' F R U U  (12q*)
B U B' R' U R U' B' R B R' U'  (12q*)
B U B' R' U R' F R F' U' R U'  (12q*)
B U' L U L' B' U B' R B R' U'  (12q*)
B U' L U' F' L F L' U L' B' U  (12q*)
B U' L' B L B B U R B' R' B  (12q*)
B U' L' B L B' U B' R' U R U'  (12q*)
B U' L' B L B' U' L U L' B' U  (12q*)
B U' L' B L' D L D' B' L B' U  (12q*)
B U' L' B B D' B' D L B B U  (12q*)
B U' B L U' L' U B' U R B' R'  (12q*)
B U' B L' B' L U B' U R' U' R  (12q*)
B U' B' U U R' F' U F U U R  (12q*)
B U' B' U R B B D B D' R' B  (12q*)
B U' B' U R B' R D' R' D B R'  (12q*)
B U' B' U R B' R' B U R' U' R  (12q*)
B U' B' U R' U F R' F' R U' R  (12q*)
B R R U R U' B' R R D' R' D  (12q*)
B R R U F R' F' R R U' B' R  (12q*)
B R D D F D F' R' D D B' D'  (12q*)
B R D B' D' B B R' U' B U B  (12q*)
B R D' R F' R' F D R' D B' D'  (12q*)
B R D' R' D D B' L' D L D D  (12q*)
B R D' R' D B R' B' R D B' D'  (12q*)
B R D' R' D B' D L B' L' B D'  (12q*)
B R B R' U' B B L' B' L U B  (12q*)
B R B B D L B' L' B B D' R'  (12q*)
B R B' D B' L' D L D' B D' R'  (12q*)
B R B' D' R R F' R' F D R R  (12q*)
B R B' D' R D R' B' D B D' R'  (12q*)
B R B' D' R D' F D F' R' D R'  (12q*)
B R' U R U' B' R B' D B D' R'  (12q*)
B R' U R' F' U F U' R U' B' R  (12q*)
B R' U' B U B B R D B' D' B  (12q*)
B R' U' B U B' R B' D' R D R'  (12q*)
B R' U' B U B' R' U R U' B' R  (12q*)
B R' U' B U' L U L' B' U B' R  (12q*)
B R' U' B B L' B' L U B B R  (12q*)
B R' B U R' U' R B' R D B' D'  (12q*)
B R' B U' B' U R B' R D' R' D  (12q*)
B R' B' R R D' F' R F R R D  (12q*)
B R' B' R D B B L B L' D' B  (12q*)
B R' B' R D B' D L' D' L B D'  (12q*)
B R' B' R D B' D' B R D' R' D  (12q*)
B R' B' R D' R F D' F' D R' D  (12q*)
B D D R F D' F' D D R' B' D  (12q*)
B D D R D R' B' D D L' D' L  (12q*)
B D L L F L F' D' L L B' L'  (12q*)
B D L B' L' B B D' R' B R B  (12q*)
B D L' D F' D' F L D' L B' L'  (12q*)
B D L' D' L L B' U' L U L L  (12q*)
B D L' D' L B D' B' D L B' L'  (12q*)
B D L' D' L B' L U B' U' B L'  (12q*)
B D B D' R' B B U' B' U R B  (12q*)
B D B B L U B' U' B B L' D'  (12q*)
B D B' L B' U' L U L' B L' D'  (12q*)
B D B' L' D D F' D' F L D D  (12q*)
B D B' L' D L D' B' L B L' D'  (12q*)
B D B' L' D L' F L F' D' L D'  (12q*)
B D' R D R' B' D B' L B L' D'  (12q*)
B D' R D' F' R F R' D R' B' D  (12q*)
B D' R' B R B B D L B' L' B  (12q*)
B D' R' B R B' D B' L' D L D'  (12q*)
B D' R' B R B' D' R D R' B' D  (12q*)
B D' R' B R' U R U' B' R B' D  (12q*)
B D' R' B B U' B' U R B B D  (12q*)
B D' B R D' R' D B' D L B' L'  (12q*)
B D' B R' B' R D B' D L' D' L  (12q*)
B D' B' D D L' F' D F D D L  (12q*)
B D' B' D L B B U B U' L' B  (12q*)
B D' B' D L B' L U' L' U B L'  (12q*)
B D' B' D L B' L' B D L' D' L  (12q*)
B D' B' D L' D F L' F' L D' L  (12q*)
B L U U F U F' L' U U B' U'  (12q*)
B L U B' U' B B L' D' B D B  (12q*)
B L U' L F' L' F U L' U B' U'  (12q*)
B L U' L' U U B' R' U R U U  (12q*)
B L U' L' U B L' B' L U B' U'  (12q*)
B L U' L' U B' U R B' R' B U'  (12q*)
B L L D F L' F' L L D' B' L  (12q*)
B L L D L D' B' L L U' L' U  (12q*)
B L B L' D' B B R' B' R D B  (12q*)
B L B B U R B' R' B B U' L'  (12q*)
B L B' U B' R' U R U' B U' L'  (12q*)
B L B' U' L U L' B' U B U' L'  (12q*)
B L B' U' L U' F U F' L' U L'  (12q*)
B L B' U' L L F' L' F U L L  (12q*)
B L' D L D' B' L B' U B U' L'  (12q*)
B L' D L' F' D F D' L D' B' L  (12q*)
B L' D' B D B B L U B' U' B  (12q*)
B L' D' B D B' L B' U' L U L'  (12q*)
B L' D' B D B' L' D L D' B' L  (12q*)
B L' D' B D' R D R' B' D B' L  (12q*)
B L' D' B B R' B' R D B B L  (12q*)
B L' B D L' D' L B' L U B' U'  (12q*)
B L' B D' B' D L B' L U' L' U  (12q*)
B L' B' L U B B R B R' U' B  (12q*)
B L' B' L U B' U R' U' R B U'  (12q*)
B L' B' L U B' U' B L U' L' U  (12q*)
B L' B' L U' L F U' F' U L' U  (12q*)
B L' B' L L U' F' L F L L U  (12q*)
B B U R B' R' B B U' L' B L  (12q*)
B B U B U' L' B B D' B' D L  (12q*)
B B U' L' B L B B U R B' R'  (12q*)
B B U' B' U R B B D B D' R'  (12q*)
B B R D B' D' B B R' U' B U  (12q*)
B B R B R' U' B B L' B' L U  (12q*)
B B R' U' B U B B R D B' D'  (12q*)
B B R' B' R D B B L B L' D'  (12q*)
B B D L B' L' B B D' R' B R  (12q*)
B B D B D' R' B B U' B' U R  (12q*)
B B D' R' B R B B D L B' L'  (12q*)
B B D' B' D L B B U B U' L'  (12q*)
B B L U B' U' B B L' D' B D  (12q*)
B B L B L' D' B B R' B' R D  (12q*)
B B L' D' B D B B L U B' U'  (12q*)
B B L' B' L U B B R B R' U'  (12q*)
B' U U R' U' R B U U L U L'  (12q*)
B' U U R' F' U F U U R B U'  (12q*)
B' U R B B D B D' R' B B U'  (12q*)
B' U R B' R D' R' D B R' B U'  (12q*)
B' U R B' R' B U R' U' R B U'  (12q*)
B' U R B' R' B U' B L U' L' U  (12q*)
B' U R B' R' B B U' L' B L B'  (12q*)
B' U R' U F R' F' R U' R B U'  (12q*)
B' U R' U' R B U' B L' B' L U  (12q*)
B' U B U U L F U' F' U U L'  (12q*)
B' U B U' L U' F' L F L' U L'  (12q*)
B' U B U' L' B L B' U' L U L'  (12q*)
B' U B U' L' B L' D L D' B' L  (12q*)
B' U B U' L' B B D' B' D L B'  (12q*)
B' U B' R B R' U' B U' L U L'  (12q*)
B' U B' R' U R U' B U' L' B L  (12q*)
B' U' L U L L B D L' D' L L  (12q*)
B' U' L U L' B L' D' B D B' L  (12q*)
B' U' L U L' B' U B U' L' B L  (12q*)
B' U' L U' F U F' L' U L' B L  (12q*)
B' U' L L F' L' F U L L B L  (12q*)
B' U' L' B L B B U R B' R' B'  (12q*)
B' U' B L U U F U F' L' U U  (12q*)
B' U' B L U' L F' L' F U L' U  (12q*)
B' U' B L U' L' U B L' B' L U  (12q*)
B' U' B L' B D L' D' L B' L U  (12q*)
B' U' B B L' D' B D B B L U  (12q*)
B' U' B' U R B B D B D' R' B'  (12q*)
B' R R D' R' D B R R U R U'  (12q*)
B' R R D' F' R F R R D B R'  (12q*)
B' R D B B L B L' D' B B R'  (12q*)
B' R D B' D L' D' L B D' B R'  (12q*)
B' R D B' D' B R D' R' D B R'  (12q*)
B' R D B' D' B R' B U R' U' R  (12q*)
B' R D B' D' B B R' U' B U B'  (12q*)
B' R D' R F D' F' D R' D B R'  (12q*)
B' R D' R' D B R' B U' B' U R  (12q*)
B' R B R R U F R' F' R R U'  (12q*)
B' R B R' U R' F' U F U' R U'  (12q*)
B' R B R' U' B U B' R' U R U'  (12q*)
B' R B R' U' B U' L U L' B' U  (12q*)
B' R B R' U' B B L' B' L U B'  (12q*)
B' R B' D B D' R' B R' U R U'  (12q*)
B' R B' D' R D R' B R' U' B U  (12q*)
B' R' U U F' U' F R U U B U  (12q*)
B' R' U R U U B L U' L' U U  (12q*)
B' R' U R U' B U' L' B L B' U  (12q*)
B' R' U R U' B' R B R' U' B U  (12q*)
B' R' U R' F R F' U' R U' B U  (12q*)
B' R' U' B U B B R D B' D' B'  (12q*)
B' R' B U R R F R F' U' R R  (12q*)
B' R' B U R' U F' U' F R U' R  (12q*)
B' R' B U R' U' R B U' B' U R  (12q*)
B' R' B U' B L U' L' U B' U R  (12q*)
B' R' B B U' L' B L B B U R  (12q*)
B' R' B' R D B B L B L' D' B'  (12q*)
B' D D L' F' D F D D L B D'  (12q*)
B' D D L' D' L B D D R D R'  (12q*)
B' D L B B U B U' L' B B D'  (12q*)
B' D L B' L U' L' U B L' B D'  (12q*)
B' D L B' L' B D L' D' L B D'  (12q*)
B' D L B' L' B D' B R D' R' D  (12q*)
B' D L B' L' B B D' R' B R B'  (12q*)
B' D L' D F L' F' L D' L B D'  (12q*)
B' D L' D' L B D' B R' B' R D  (12q*)
B' D B D D R F D' F' D D R'  (12q*)
B' D B D' R D' F' R F R' D R'  (12q*)
B' D B D' R' B R B' D' R D R'  (12q*)
B' D B D' R' B R' U R U' B' R  (12q*)
B' D B D' R' B B U' B' U R B'  (12q*)
B' D B' L B L' D' B D' R D R'  (12q*)
B' D B' L' D L D' B D' R' B R  (12q*)
B' D' R R F' R' F D R R B R  (12q*)
B' D' R D R R B U R' U' R R  (12q*)
B' D' R D R' B R' U' B U B' R  (12q*)
B' D' R D R' B' D B D' R' B R  (12q*)
B' D' R D' F D F' R' D R' B R  (12q*)
B' D' R' B R B B D L B' L' B'  (12q*)
B' D' B R D D F D F' R' D D  (12q*)
B' D' B R D' R F' R' F D R' D  (12q*)
B' D' B R D' R' D B R' B' R D  (12q*)
B' D' B R' B U R' U' R B' R D  (12q*)
B' D' B B R' U' B U B B R D  (12q*)
B' D' B' D L B B U B U' L' B'  (12q*)
B' L U B B R B R' U' B B L'  (12q*)
B' L U B' U R' U' R B U' B L'  (12q*)
B' L U B' U' B L U' L' U B L'  (12q*)
B' L U B' U' B L' B D L' D' L  (12q*)
B' L U B' U' B B L' D' B D B'  (12q*)
B' L U' L F U' F' U L' U B L'  (12q*)
B' L U' L' U B L' B D' B' D L  (12q*)
B' L L U' F' L F L L U B L'  (12q*)
B' L L U' L' U B L L D L D'  (12q*)
B' L B L L D F L' F' L L D'  (12q*)
B' L B L' D L' F' D F D' L D'  (12q*)
B' L B L' D' B D B' L' D L D'  (12q*)
B' L B L' D' B D' R D R' B' D  (12q*)
B' L B L' D' B B R' B' R D B'  (12q*)
B' L B' U B U' L' B L' D L D'  (12q*)
B' L B' U' L U L' B L' D' B D  (12q*)
B' L' D D F' D' F L D D B D  (12q*)
B' L' D L D D B R D' R' D D  (12q*)
B' L' D L D' B D' R' B R B' D  (12q*)
B' L' D L D' B' L B L' D' B D  (12q*)
B' L' D L' F L F' D' L D' B D  (12q*)
B' L' D' B D B B L U B' U' B'  (12q*)
B' L' B D L L F L F' D' L L  (12q*)
B' L' B D L' D F' D' F L D' L  (12q*)
B' L' B D L' D' L B D' B' D L  (12q*)
B' L' B D' B R D' R' D B' D L  (12q*)
B' L' B B D' R' B R B B D L  (12q*)
B' L' B' L U B B R B R' U' B'  (12q*)

In total they are 1440 identities.

If we look at positions generated by the first half of each identity we can split them as follow:

1440 = 1248 + 96 + 96

Group A : 1248 are positions that StartsWith=1 and EndsWith=1

Group B : 96 are positions that StartsWith=1 and EndsWith=2

Group C : 96 are positions that StartsWith=2 and EndsWith=1

Each position from group B merges with a position from group C to form one identity. The duplicate position formed this way has StartsWith=3 and EndsWith=3 and they are 96 of them.

The recurrent formula based on trivial identities predicts 96 positions that has StartsWith=3 and EndsWith=3. Your table however shows that they are 192 of them. This is now explained by the fact that Group B and Group C merge their positions to add the new 96 positions with StartsWith=3 and EndsWith=3.

The recurrent formula based on trivial identities predicts 0 position that has StartsWith=4 and EndsWith=4. Your table however shows that they are 24 of them. The reason is that group A which is:

Group A : 1248 are positions that StartsWith=1 and EndsWith=1

can be splitted as follow:

1248 = 1152 + 96

Group D : 1152

Group E : 96

Each 4 positions in group E combine to create a position that has StartsWith=4 and EndsWith=4. 96/4 is 24.

The positions in Group D, combine in pairs to form 576 positions that have StartsWith=2 and EndsWith=2. Your table says that they are 16992 positions with StartsWith=2 and EndsWith=2. The recurrent formula predicts however 16416 which is exactly 576 shorter.

So as a summary we have:

1440 = 1248 + [96 + 96] = 1152 + 96 + [96 + 96] = 2*576 + 4*24 + 2*96

out of the 2*576 positions, only 576 will be counted and 576 are duplicates. They have StartsWith=2 and EndsWith=2

out of the 4*24 positions, only 24 will be counted and 3*24 are duplicates. They have StartsWith=4 and EndsWith=4

out of the 2*96 positions, only 96 will be counted and 96 are duplicates. They have StartsWith=3 and EndsWith=3

So the missing positions are:

576 + 3*24 + 96 = 744

which is :

879,624 [What the trivial recurrent formula predicts] - 878,880 [The real number]

Now that I understand how the non trivial identities relate to the missing positions at level 6, I am trying to figure out if there is a way I can come up with a new recurrent formula that takes into account those non trivial identities.

Based on my initial tries this seemed to be a hard task...

» login or register to post comments

Identities at higher level

Submitted by mdlazreg on Sat, 04/05/2008 - 00:18.

Great! Thanks a lot.

I did download your QTM solver but I am not sure what is the input to it to generate the above list?

Also is there an argument option to your QTM solver to ignore symmetry? as I would like to generate the full list without having to apply the 48 symmetries afterwards...

And is it possible to use your QTM optimal solver to find identities at higher levels? The next level 7 for example? If that is possible, what would be the input to the solver?

Thanks a lot.

» login or register to post comments

I used U U' for the input. T

Submitted by Herbert Kociemba on Sat, 04/05/2008 - 00:53.

I used U U' for the input.
There yet is no option to ignore symmetries or to search for suboptimal solutions, but you are right, I should add something like this.

» login or register to post comments

While I am happy your code ge

Submitted by mdlazreg on Tue, 04/08/2008 - 19:15.

While I am happy your code generates the list it generates for the U U' input I am surprised that it does!

I would never have thought to give such an input to it, since the optimal sequence for U U' is do nothing instead of a 12 length sequence...

In any case thank you for your code, I was able to tweak it to ignore symmetries.

I was not able to make it search for suboptimal solutions. If you ever do that please let me know as I am very interested in non trivial identities at higher levels.

I wonder if you have any idea how much time it would take a modified code to generate all of them?

Thanks a lot

» login or register to post comments

It is not difficult to add su

Submitted by Herbert Kociemba on Wed, 04/09/2008 - 10:21.

It is not difficult to add support for suboptimal solutions. Hope I can do this at the weekend. I think you can count the time in minutes to generate 13 move and 14 move nontrivial identities.

» login or register to post comments

In fact I am not able to gene

Submitted by mdlazreg on Thu, 04/10/2008 - 17:11.

In fact I am not able to generate suboptimal solutions. My change of the code generated identities like:

U U R U R' F' U U L' U' L F (12q*)
R U U R U R' F' U U L' U' L F R' (14q*)
R' U U R U R' F' U U L' U' L F R (14q*)
F F U U R U R' F' U U L' U' L F' (14q*)
F' U U R U R' F' U U L' U' L F F (14q*)
L U U R U R' F' U U L' U' L F L' (14q*)
L' U U R U R' F' U U L' U' L F L (14q*)
B U U R U R' F' U U L' U' L F B' (14q*)
B' U U R U R' F' U U L' U' L F B (14q*)

But these 14q* identities are not trivial since they have the 12q* identity in the middle...

I look forward to your change which hopefully will generate only non trivial identities.

Thanks

» login or register to post comments

Sorry, but I would call the i

Submitted by Herbert Kociemba on Fri, 04/11/2008 - 08:02.

Sorry, but I would call the identities above all suboptimal. How do you define what is a trivial identitiy and what is not?
Are these 14 move identities above trivial because they are a conjugation of some 12 move identities? But then

F*U U R U R' F' U U L' U' L F*F' which is

F U U R U R' F' U U L' U' L

is trival too. But you count it as nontrivial.
My program change will indeed provide all the (14q*) identities above!

» login or register to post comments

FU U R U R' F' U U L' U' L FF'

Submitted by Jerry Bryan on Sun, 04/13/2008 - 13:31.

I want to discuss Herbert's example of F*U U R U R' F' U U L' U' L F*F', where a 14q identity has been constructed from a 12q identity in a trivial way. Several other messages in this thread have also mentioned this issue.

My current depth first God's Algorithm enumerator includes code to calculate StartsWith and EndsWith because of an issue that arose on the old Cube-Lovers list. Namely, is the inverse of a local maximum necessarily also a local maximum? My program was able to determine that there are positions which are a local maximum and where the inverse is not a local maximum. Such positions manifest themselves in my program when |StartWith(x)|<12 and |EndsWith(x)|=12.

Having identified such positions, it occurred to me (and I think I remember posting this to Cube-Lovers) that given such a position, a longer local maximum could always be constructed. Namely, left multiply such an x by a quarter turn q such that the length of qx is one more than the length of x. The existence of such a q is guaranteed by the fact that |StartWith(x)|<12, and qx is guaranteed to be a local maximum. In fact, the process can be repeated over and over again to yield longer and longer local maxima, and the process only stops when |StartWith(x)|=12 .

Well, the exact same concept applies whether x is a local maximum or not. Let x be any position such that |StartWith(x)|<12. Left multiply x by a quarter turn q such that the length of qx is one more than the length of x. It is guaranteed that EndsWith(qx) ⊇ EndsWith(x) and therefore that |EndsWith(qx)| ≥ |EndsWith(x)|. It seems to me that when EndsWith(qx) = EndsWith(x), then we are deriving longer identities in only in the aforementioned trivial way, namely I=qxx'q'. However, it also seems to me that when EndsWith(qx) ⊃ EndsWith(x), we can create a new and longer identity which is not trivially related to the shorter one.

The longer non-trivial identity arises as follows. We suppose that r is a quarter turn that is not contained in EndsWith(x) and that r is contained in EndsWith(qx), fulfilling the condition that EndsWith(qx) ⊃ EndsWith(x). Denote qx as y, remembering that EndsWith(y) contains r and that EndsWith(x) does not contain r. Now, we write I=(qx)(x'q') as I=(qx)y' and choose a maneuver for y' that begins with the quarter turn r' and choose a maneuver for xq that does not end with the quarter turn r. Such maneuvers are guaranteed to exist. For example, a maneuver for qx can end with any quarter turn contained in EndsWith(x), and r is not in EndsWith(x). Or vice versa, choose a maneuver for y' that does not begin with the quarter turn r' and choose a maneuver for xq that does end with the quarter turn r.

So I think here is the bottom line. Let I=xx' be a non-trivial identity. Non-trivial means that there is a way to write x and x' so that they don't simply collapse on each other from the middle. Then, I=(qx)(x'q') may or may not be considered to have been derived from I=xx' in a trivial way. If |EndsWith(qx)|=|EndsWith(x)|, then the derivation is trivial. If |EndsWith(qx)|>|EndsWith(x)|, then there is a non-trivial derivation of a longer identity.

Note that if this is a reasonable approach, then it has an interesting implication for antipodes and indeed for all local maxima. That is, non-trivial identities can be derived from some local maxima, namely from "short" local maxima that can't be derived from shorter local maxima. But if a local maximum x can be derived from a shorter local maximum, then x can only be used to produce a trivial identity.

» login or register to post comments

Yes, I have the same feeling,

Submitted by mdlazreg on Mon, 04/14/2008 - 00:40.

Yes, I have the same feeling, that the longer a local maximum is the less the probability it can give rise to a non trivial identity...

When you say:

the process can be repeated over and over again to yield longer and longer local maxima, and the process only stops when |StartWith(x)|=12 .

You are assuming that left multiplying x by q will yield the following:

|qx|=|x|+1

I do not see however why this should be true. It is very possible that multiplying x by q will yield a position lower than x... Or am I missing something?

If however what you are saying is true, in such a way that from a local maximum x with |StartWith(x)|<12 we can all the time get a new local maximum then looking at your table:

 13   1   1     81865248532   3929530575552
 13   1   2     13402102133    643299207408
 13   1   3       997279934     47869325232
 13   1   4        42665046      2047739232
 13   1   5          818454        39284064
 13   1   6          229038        10972032
 13   1   7           14457          693936
 13   1   8           21816         1044144
 13   1   9             383           18288
 13   1  10            1075           51312
 13   1  11              88            4224
 13   1  12              21            1008

if we take a local maximum out of the available 1008, we can construct a new local maximum using your method that will have a length of 13+11=24 and |StartsWith(x)| = |EndsWith(x)| = 12.

if we take the 4224 positions that have |StartsWith(x)| = 1 and |EndsWith(x)| = 11 and right multiply each by its missing move, we will get new positions, if out of those positions we look for positions that have |StartsWith(x)| = 1 and |EndsWith(x)| = 12, we can construct new local maximums out of them. The final local maximum will have a length 14+11=25. if out of those positions we look for positions that have |StartsWith(x)| = 1 and |EndsWith(x)| = 11, we can also multiply each by its missing move, and look for local maximums out of the resulting positions. Once we find them, we apply your method to get a local maximum that has a length 15+11=26.

Finding a new position that is 26q* will be quite an achievement.

There is nothing that stops us from continuing such operations and we might even find a longer position!

I know that your program gets slow at 14q but if you work only on a smaller set of positions like the following for example:

 13   1   6          229038        10972032
 13   1   7           14457          693936
 13   1   8           21816         1044144
 13   1   9             383           18288
 13   1  10            1075           51312
 13   1  11              88            4224
 13   1  12              21            1008

then probably it will be faster yielding longer local maximums in a reasonable time.

So the algorithm for finding a new 26q* can be as follow:

for p in above_subset; do
right multiply p by all possible 2q* processes to get a new_p
if (new_p is a local maximum)
{
generate new local maximums using your method until you reach the last one last_local_maximum
exit the loop
}
done

Once the above loop return and assuming that a new_p that is local maximum was found, then we have:

|last_local_maximum| = 13 + 2 + 11 = 26

Of course if we have a subset of 14q* we can multiply by 1q* only and probably ending with a position that is:

|last_local_maximum| = 14 + 1 + 11 = 26

If the above is proven to be a fast program that can generate such positions, we can get greedy and go for attempts like:

|last_local_maximum| = 13 + 3 + 11 = 27

where we take the 13q* subset, right multiply it by all possible 3q*, look for a local maximum out of the resulting positions that is 16q*, then apply your method to that local maximum to get a 27q* position.

I hope I am not too optimistic.

» login or register to post comments

Another Clarification

Submitted by Jerry Bryan on Mon, 04/14/2008 - 22:48.

> if we take a local maximum out of the available 1008,
> we can construct a new local maximum using your method
> that will have a length of 13+11=24 and |StartsWith(x)| = |EndsWith(x)| = 12.

For a position x of length 13 such that |StartsWith(x)|=1 and |EndsWith(x)|=12, the only guarantee is that it is possible to create a local maximum of length 14. There is no guarantee of being able to go any further than that.

One way to think of it is that there is no way in general to guarantee that |StartsWith(qx)| is not equal to 12, in which case you couldn't go again.

Another way to think about it is to try to go directly from position x of length 13 to position sx of length 15 all in one go without first making a position of length 14. Namely, pick an s of length 2. But the length of sx could in general be 15 or 13 or 11, and I can't think of a way to assure that there exists an s that will yield a length of 15 for sx. If |StartsWith(x)|<12 for |x|=13, we can guarantee that there exists q such that |qx|=14, but I can't think of a way to guarantee anything more than that.

» login or register to post comments

Yes I know that there is no g

Submitted by mdlazreg on Mon, 04/14/2008 - 23:32.

Yes I know that there is no guarantee to go further once you move one level up.

But what I am suggesting is to do an exhaustive search, by taking all local maximums of length 13 such that |StartsWith(x)|=1, and apply your method to go one level up. Out of the resulting positions look for positions that have |StartsWith(x)| < 12 and repeat the whole process.

Of course it is possible that all generated positions will have |StartsWith(x)| = 12 in which case the program will simply stop. But who knows it might find new positions each time with |StartsWith(x)| < 12 that would allow it to go one level up each time...

» login or register to post comments

A Clarification

Submitted by Jerry Bryan on Mon, 04/14/2008 - 21:52.

> You are assuming that left multiplying x by q will
> yield the following:

> |qx|=|x|+1

> I do not see however why this should be true. It is very
> possible that multiplying x by q will yield a position
> lower than x... Or am I missing something?

In general, you are correct that |qx| can be either |x|+1 or |x|-1. But the supposition is that |StartsWith(x)|<12. Under those circumstances, there is by definition at least one q such that |qx|=|x|+1. Simply choose such a q with which to left multiply x.

» login or register to post comments

I see. Thanks. Mathematica

Submitted by mdlazreg on Mon, 04/14/2008 - 23:22.

I see. Thanks.

Mathematically this can be proven as follow:

|StartsWith(x)|<12 => |EndsWith(x')|<12

Since |EndsWith(x')|<12 we can find a move A such that |x'A| = |x'| + 1

We then have |A'x| = |x'A| = |x'| + 1 = |x| + 1. The chosen q is simply A'.

» login or register to post comments

Distinction between Physical Models and Mathematical Models

Submitted by Jerry Bryan on Tue, 04/29/2008 - 09:37.

I think your proof is correct but really unnecessary. The issue arises because on a physical cube it is possible to right multiply a position by a quarter turn but it is not possible to left multiply a position by a quarter turn, or at least not easily or obviously. After right multiplying a position x by q you have the position xq, and xq corresponds simply to performing the move q on a physical cube that was already in the position x. There is not such a straightforward correspondence to create the position qx on a physical cube.

However, with a mathematical or computational model of the cube, it is just as easy to calculate qx as it is to calculate xq. That's why if |StartsWith(x)|<12, we know that there exists a quarter turn q such that |qx|=|x|+1.

But what if we really did want to model the multiplication qx on a real, physical cube. I can think of two ways to do it. One way would be to begin with a cube in the Start state rather than a cube in position x. From the Start state, perform the chosen quarter turn q, and then perform a maneuver that would yield the position x.

The other way would be to begin with a cube in position x and to do a little disassembly of the cubies. Having done so, move the cubies with respect to each other in the way indicated by the move q and then reassemble the cubies back into the cube. For example, suppose q is the quarter turn F. We normally think of F as moving the contents of the fl cubicle to the fu cubicle, the contents of the fu cubicle to the fr cubicle, the contents of the fr cubicle to the fd cubicle, and the contents of the fd cubicle to the fl cubicle (and similarly for the corners). To get the effect of left multiplying by F, disassemble the fl, fu, fr, and fd cubies, irrespective of where they are currently located on the cube. Move the fl cubie to where the fu cube was, move the fu cubie to where the fr cubie was, etc., and reassemble the cube. And similarly disassemble and move the corner cubies involved in the quarter turn F.

» login or register to post comments

I consider the identities abo

Submitted by mdlazreg on Fri, 04/11/2008 - 12:28.

I consider the identities above as trivial because they are produced using lower identities.

This means that if I know all identities at lower levels I will be able to deduce them.

Non trivial identities however can not be deduced from previous identities... They are really something new that says something new about the cube group. Trivial identities say nothing about the cube group other than what is already said by lower identities...

This means also that trivial identities are not responsible for any missing positions at half their length. The missing positions at half their length are all explained by lower identities.

So looking at your example:

F*U U R U R' F' U U L' U' L F*F' is a trivial identity of length 14 and is not responsible for any missing positions at length 7.

F U U R U R' F' U U L' U' L is a non trivial identity of length 12 and is responsible for missing positions at length 6.

Of course the two sequences are the same position but when we talk about identities we are talking about sequences not about positions since all identities describe the same position which is START.

If you take a look at Jerry's example:

FFBBRRLLUUDD FFBBRRLLUUDD is a non trivial identity of length 24

However

FFBBRRLLUUDD DDUULLRRBBFF is a trivial identity of length 24

I hope I explained my self well and I really hope there is a way to produce only non trivial identities...

» login or register to post comments

Identities and Commutivity

Submitted by B MacKenzie on Sat, 04/12/2008 - 10:51.

Some thoughts about non-trivial identities. If a product is communitive then an identity may constructed by:

A][B] = [B][A]

[A][B] x [A'][B'] = I

It is not unusual that turn sequences may be divided into two sections which commute. For example:

( F U' R' U' R U U F' R' F U' F' ) ( R ) = ( R ) ( F U' R' U' R U U F' R' F U' F' )

Thus:

( F U' R' U' R U U F' R' F U' F' ) ( R ) ( F U F' R F U' U' R' U R U F' ) ( R' ) = I

also

( U B' F' U U B F ) ( R L U' U' L' R' U ) = ( R L U' U' L' R' U ) ( U B' F' U U B F )

Thus:

( U B' F' U U B F ) ( R L U' U' L' R' U ) ( F' B' U' U' F B U' ) (U' R L U U L' R' ) = I:

Would these examples be considered trivial identities?

» login or register to post comments

I would consider them as non

Submitted by mdlazreg on Sun, 04/13/2008 - 00:28.

I would consider them as non trivial because they can not be deduced from lower identities.

» login or register to post comments

Commutitive Identities

Submitted by B MacKenzie on Sun, 04/13/2008 - 07:21.

So, the above aren't trivial but higher identities construct as:

q a b = q b a
a b q = b a q
q a b g = q b a g

would be considered trivial because they would be constructed from a known identity: a b = b a?

» login or register to post comments

Correct. At least that is my

Submitted by mdlazreg on Thu, 04/17/2008 - 12:28.

Correct. At least that is my understanding of non trivial identities.

I think to be mathematically correct, a non trivial identity is a simple cycle.

» login or register to post comments

I was able to generate subopt

Submitted by mdlazreg on Wed, 04/09/2008 - 20:17.

I was able to generate suboptimal solutions. Thanks. Here are some initial results:

levels patterns identities
12       32        1440
14      766       28608
16    10821      385314
18   128211     4629960
20  1481522           :
:         :           :
:         :           :

The questions that come to my mind are:

What are the longest non trivial identities?

How do they relate to the antipodes?

Is an antipode position half the sequence of a non trivial identity necessarily?

Is there a way to estimate the time needed to generate all non trivial identities at all levels?

Have been there any attempts to come up with a new recurrent formula that takes into account identities at level 12?

» login or register to post comments

Antipodes and Non-trivial Identities

Submitted by Jerry Bryan on Thu, 04/10/2008 - 10:08.

I would suggest that an antipode would necessarily yield only a trivial identity. I think we are still talking about the quarter turn metric here, and in the quarter turn metric an antipode is necessarily a local maximum. Therefore, the EndsWith value for an antipode in the quarter turn metric is necessarily {F,F',B,B',R,R',L,L',U,U',D,D'}. Any process you might combine an antipode with, such as its own inverse to create an identity, will include a sequence in the middle such as FF' or D'D that trivially collapses into a shorter sequence.

I know that Dan Hoey has worked on a recurrent formula that takes into account identities of length 12q, and I know that I have. Others may have as well. I don't know of anybody that has succeeded.

» login or register to post comments

Backwards

Submitted by Jerry Bryan on Thu, 04/10/2008 - 23:04.

With apologies, I think I got this exactly backwards.

Consider xx'=I where x is a local maximum. I was thinking that because x is a local maximum, we can therefore always choose an optimal process for x that has a last move that will make xx' collapse in a trivial fashion. That's a true statement, of course, but it's of no consequence. That's because if x is any position whatsoever, we can always choose an optimal process for x that has a last move that will make xx' collapse in a trivial fashion.

The proper question is the following. Given a position x, can we choose an optimal process for x that has a last move that will not make xx' collapse in a trivial fashion? For example, for the position whose only optimal process is UR', the only way to write xx'=I is UR'RU' which collapses in a trivial fashion. For an example in the other direction (and has recently been discussed), for the position that has the optimal processes FF and F'F', we have two ways to write xx'=I that don't collapse in a trivial fashion, namely FFFF=I and F'F'F'F'=I.

And as a longer example, Pons Asinorum is a local maximum that gives us many ways to write a 24q identity that doesn't collapse in a trivial fashion, for example (FFBBRRLLUUDD)(FFBBRRLLUUDD)=I. So I think that the correct thing to say is that any local maximum can be used to produce a non-trivial identity that is twice as long as the local maximum itself, and any antipode is a local maximum.

» login or register to post comments

I think your example of Pons

Submitted by mdlazreg on Fri, 04/11/2008 - 11:51.

I think your example of Pons Asinorum shows that a local maximum can be used to produce a non trivial identity.

I do not see however any reason why the following statement should be true:

"ANY local maximum can be used to produce a non trivial identity"

» login or register to post comments

Hopefully, I haven't messed u

Submitted by Jerry Bryan on Sat, 04/12/2008 - 19:39.

Hopefully, I haven't messed up again, but here's the idea. A local maximum can end with any quarter turn. Therefore, its inverse can begin with any quarter turn. So we write our identity as xx'=I using minimal processes for x and x' and where x is a local maximum, we end x with any arbitrary quarter turn (such as F), and then we start x' with any of the eight quarter turns that are orthogonal to F, namely R, R', L, L', U, U', D, or D'. Therefore, the middle of the identity cannot collapse in a trivial way. The identity cannot collapse in a trivial way anywhere else because the processes for x and x' are minimal.

» login or register to post comments

I am not sure about your argu

Submitted by mdlazreg on Sun, 04/13/2008 - 00:17.

I am not sure about your argument and I think the following is a counter example:

x is a local maximum
x=abF where abF is an optimal sequence for x
x'=Rcd where Rcd is an optimal sequence for x'

so we have:

xx'=abFRcd=I

So here we have xx'=I constructed in such a way that it cannot collapse in a trivial way in the middle or anywhere else exactly as you required. But let's say that we have chosen a,b,c and d in such a way that we have:

bFRc=I
ad=I

this means that xx' is constructed using two lower identities and hence is a trivial identity even though it has all your conditions.

I think the question should be asked as follow:

If x is a local maximum , is there necessarily an identity AB'=I where A=x such that A and B are optimal sequences to x and have no position in common except x?

In other words, is there an identity that can be represented as:


           /\
          /  \
         /    \
        /      \
       /        \
      /          \
START/            \x
     \            /
      \          / 
       \        /
        \      /
         \    /
          \  /
           \/

or is it that all identities AB=I can be represented using two or more lower identities, something like:

    
    
               /\   
       /\     /  \
      /  \   /    \
START/    \C/      \x
     \    / \      /
      \  /   \    /
       \/     \  /
               \/

in such a way that A and B have a common position C before x.

The question can also be asked as follow:

if x is a local maximum, is there a simple cycle linking x to START. The definition of a simple cycle is here:

http://en.wikipedia.org/wiki/Path_(graph_theory)

» login or register to post comments

Simple Cycle or Unique Simple Cycle and Symmetry

Submitted by Jerry Bryan on Sun, 04/13/2008 - 12:05.

Ok, let's assume that the existence of a simple cycle is the definition we are looking for. Unless I'm mistaken, the identity maneuver I gave in my Pons Asinorum example is a simple cycle. What my example is not is that it is not a unique simple cycle. Are you looking for positions that have a unique simple cycle?

An identity maneuver for Pons Asinorum obviously can be performed in a gazillion different ways, many of which do not yield a simple cycle. But I believe Pons Asinorum can be performed in lots of ways that do yield a simple cycle.

I also think symmetry intrudes into this discussion. The identity maneuver I gave for Pons Asinorum does not double back on itself at any point, so it satisfies the definition of a simple cycle. But the identity maneuver I gave does have the following characteristic. Think of the maneuver as a simple path from Start to Pons Asinorum followed by another simple path from Pons Asinorum back to Start. Then, every vertex on the path from Pons Asinorum back to Start in my example is an M-conjugate of a vertex on the path from Start to Pons Asinorum. So ignoring symmetry, there is a simple cycle. But taking symmetry into account, the return path from Pons Asinorum to Start in my example doubles back upon itself at every vertex and it's hard to think of that as a simple cycle. In a certain sense, such a return path is just as trivial as something like I=FFF'F'.

» login or register to post comments

Yes I agree, the identity man

Submitted by mdlazreg on Sun, 04/13/2008 - 12:53.

Yes I agree, the identity maneuver you gave for Pons Asinorum is a simple cycle and I do consider it as non trivial.

What I am looking for is an answer to the following question:

Do ALL local maximums give rise to a simple cycle?

I am specially interested in antipodes... Is there always a simple cycle between START and an antipode?

If this is true it means that the longest non trivial identity has a length twice the diameter. If this is false the question becomes what is the longest non trivial identity.

I am not considering symmetry here, and that is why I changed Koceimba's code to generate all identities regardless of symmetry.

Unfortunately I was not able to generate non trivial identities only and the list I generated contained many identities that can simply deduced from lower identities...

» login or register to post comments

Yes I was talking about QTM.

Submitted by mdlazreg on Thu, 04/10/2008 - 17:17.

Yes I was talking about QTM.

Thanks for your explanation. I understand now why an antipode can not be the result of a non trivial identity.

» login or register to post comments

cube archives

FAQ

GAP files

Blogs

Forum topics

Active forum topics:

New forum topics:

User login

Navigation

Who's new

Non trivial identities

Comment viewing options

With my QTM otimal solver I g

Conjugate relationships

Actually all identities at 12

I was unaware that analysis.

I am not sure what you mean b

Parameter Space

re. Parameter Space

Dimension in group theory ?

If you look at this way then

h dimensional space

Identities and Duplicate Positions

Correction

I think I figured out how the

Identities at higher level

I used U U' for the input. T

While I am happy your code ge

It is not difficult to add su

In fact I am not able to gene

Sorry, but I would call the i

F*U U R U R' F' U U L' U' L F*F'

Yes, I have the same feeling,

Another Clarification

Yes I know that there is no g

A Clarification

I see. Thanks. Mathematica

Distinction between Physical Models and Mathematical Models

I consider the identities abo

Identities and Commutivity

I would consider them as non

Commutitive Identities

Correct. At least that is my

I was able to generate subopt

Antipodes and Non-trivial Identities

Backwards

I think your example of Pons

Hopefully, I haven't messed u

I am not sure about your argu

Simple Cycle or Unique Simple Cycle and Symmetry

Yes I agree, the identity man

Yes I was talking about QTM.

Browse archives

God's Algorithm Calculations

Poll

Syndicate

FU U R U R' F' U U L' U' L FF'