Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.25677689596127173044189115126567186867\ 1271786210463324621865903433694873803254\ 84375076092136960509