Encode a Rubik's cube as an integer -- in progress