4.00946909509209E+049
['40094690950920881030683735292761468389214899724061', '40094690950920881030683735292761468389214899724061', 'Arjen K. Lenstra', '40094690950920881030683735292761468389214899724061']