Kociemba algorithm