Simplified the table-generator logic. Added a converter from bitvectors back to the corresponding (binary) numbers.