+e025: first n where fibonacci(n) has 1000 digits, solved