Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.75078672268014636757001487725533289413\ 7866349408268490805945756160847861955173\ 20649016914725803708