Fermat_number loading ...