[10;10;0;001] [0;011;001;01] (* shortest solution of length 76 *) (* is the reverse of the original 3.pcp *) (* 2 2 0 2 0 2 2 0 2 2 0 2 0 3 3 2 3 3 2 0 2 0 1 0 2 0 3 3 0 2 2 0 2 0 1 3 3 2 3 3 0 0 1 2 0 0 1 3 0 2 0 3 0 1 3 3 3 0 0 0 1 2 3 0 2 0 1 3 3 0 0 1 3 0 0 3 )