Title: Chambers's seven-figure logarithms of numbers up to 100000