with(plots):
with(linalg):
read(`c:/maplev4/share/games/rubik4/rubik4.txt`):

A1:=matrix([
> [1,1,1,1,6,6,6,6,3,3,3,3],
> [1,1,1,1,6,6,6,6,3,3,3,3],
> [1,1,1,1,6,6,6,6,3,3,3,3],
> [1,1,1,1,6,6,6,6,3,3,3,3],
> [2,2,2,2,5,5,5,5,4,4,4,4],
> [2,2,2,2,5,5,5,5,4,4,4,4],
> [2,2,2,2,5,5,5,5,4,4,4,4],
> [2,2,2,2,5,5,5,5,4,4,4,4]]);

move1a:=[R1^(-1),U1,R1,U1^(-1)];

move1b:=[R1^(-1),U1,R1,U1^(-1),R1^(-1),U1,R1,U1^(-1)];

move2:=[L1^(-1),U1,R1,U1^(-1),R1^(-1),U1,R1,U1^(-1)];

move3:=[op(move1b),F1,U1,R1^(-1),U1^(-1),R1,U1,R1^(-1),U1^(-1),R1,F1^(-1)];

move4:=[R1,B1,L1,F1,U1,F1^(-1),L1^(-1),B1^(-1),R1^(-1),U1^(-1)];

move5:=[F1^(-1),R2,F1,R2^(-1),U1,R2,F1^(-1),R2^(-1),F1,U1^(-1)];

move6:=[F1^(-1),L2^(-1),F1,L2,U1,L2^(-1),F1^(-1),L2,F1,U1^(-1)];

move7:=[R1^(-1),U1^2,R1^2,U1,R1^(-1),U1^(-1),R1^(-1),U1^2,L1,F1,R1,F1^(-1),L1^(-1)];

move8:=[L2^2,D1^2,U2,F1^3,U2^3,F1,D1^2,L2^2,L1,U1,L1^3,U2^3,L1,U1^3,L1^3];

move9:=[R1^(-1),F2,R2^(-1),F2^(-1),R1,F2,R2,F2^(-1)];

#These moves were discovered by J. Adams