Download binary file, make_cbmc_batch_files.cpython-36.pyc