Work by Arjen K. Lenstra (source code)

= Work by Arjen K. Lenstra