Pad sequences to 9 digits in the output file so they properly sort
numerically.