Re: [math-fun] diameter of Rubik's cube puzzle