The conversion to (x,y,z) almost works, but the first x-coordinate is off by a factor of 2.
Use op= to go from HilbertIndices to BitVecType
Comment out print statements.
Keep track of original points.
Only print points which don't match after indexing.
Print on one line.
Converting back and forth between CBigBitVecs seems to work much better.
Final clean-up of print statements.
Fix the Hilbert debugging code.