Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.34849504817384291655668418471990599396\ 1790413894751895360416182062182567026291\ 605945924865354036184