renumber: keep badideals info in memory when writing the file
renumber: keep badideals info in memory when writing the file

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs