Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.28651893882132150740572634544335970274\ 8079071379727431607450213931064393291388\ 2247976