Work by Hendrik W. Lenstra (source code)

= Work by Hendrik W. Lenstra