Finished bit-tabulate proof