Now, we can have logI > LOG_BUCKET_REGION (and negative shift is undefined)
Now, we can have logI > LOG_BUCKET_REGION (and negative shift is undefined)

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