Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00435442087472225227967734251279432115\ 1232492460180574362344187355268638483787\ 859247398120550611717665848