It ought to be possible to generate valid states ordered by total value and lexicographical order or something. But whether that is practical is a different ma

It ought to be possible to generate valid states ordered by total value and lexicographical order or something. But whether that is practical is a different matter. It does allow you to unambiguously define state #5546335 with the lowest number of bits