Fixed the extraprimes hack, but the problem was clearly not there.
Fixed the extraprimes hack, but the problem was clearly not there.

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