Installation: https://sorting.cr.yp.to/install.html
Verification: https://sorting.cr.yp.to/verif.html
