Indentation of this file is really messy.
Indentation of this file is really messy.

I fix the things that makes it almost unreadable. Fixing more would break the history...

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