Fix second occurrence of "rel_count * 12 // 10" (addedum to commit 57c00fff)
Fix second occurrence of "rel_count * 12 // 10" (addedum to commit 57c00fff)

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