RAVELs are comparable to Rubik's Cube which has inspired discussion of permutation groups.
See wikipedia Permutation group and ruwix.com Mathematics.

Do you have any ideas or observations to share?
Suggestions for notation?

Some questions:

Answers?
Can you think of any other questions or conjectures?

Your new theorem could be named the "<You> Theorem"!