Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.31571845205389007685108525147370657199\ 0592687678724392613703020959943215880296\ 46122280443185750009846301