[
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
  "\0\0\0\0\0\0\0\0",
]

(2**3=(8)*8=(l64))x[7]
max bit @v[7][64]

  0@[ 0][ 0]= 10000000000000000000000000000
              ^0
  1@[ 0][ 1]= 11000000000000000000000000000
               ^1
  2@[ 0][ 2]= 11100000000000000000000000000
                ^2
  9@[ 1][ 1]= 01000000000000000000000000000
               ^9
 11@[ 1][ 3]= 01010000000000000000000000000
                 ^11
 20@[ 2][ 4]= 00001000000000000000000000000
                  ^20
 22@[ 2][ 6]= 00001010000000000000000000000
                    ^22
 55@[ 6][ 7]= 00000001000000000000000000000
                     ^55
{
  ints => [0, 0, 0, 1, 1, 2, 9, 11, 11, 20, 22, 22, 55],
  seen => [
            "\a\0\0\0\0\0\0\0",
            "\n\0\0\0\0\0\0\0",
            "P\0\0\0\0\0\0\0",
            "\0\0\0\0\0\0\0\0",
            "\0\0\0\0\0\0\0\0",
            "\0\0\0\0\0\0\0\0",
            "\x80\0\0\0\0\0\0\0",
          ],
  uniq => [0, 1, 2, 9, 11, 20, 22, 55],
}