Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.80767848242721065091805721307837566350\ 3866361661130640906679804127938459317342\ 517755389705915141214