Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.95883308870302142173014833134214845819\ 2641240169732557739237633437838506296919\ 358975521248390127772421