[math-fun] Rubik cube sequence?