Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.50387678776821732240781940302290775850\ 0796013611483127280941900279965774087421\ 99026903350376708914398291