GMP used during 3 and a half years to solve MIT's LCS35

[Bernard Fabrot]

> The test on hardware from 1999 using GMP 2.0.2 as well as the same
> hardware using current GMP is running.  I will take about 10 hours.

Thanks a lot: that is very interesting, I cannot wait!