Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.25314214439506805016549529783904614248\ 6153659739651369276304655573675864897478\ 3008784011285499753135367747915616025518\ 59243845778