Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.75330609769215909464793383719098349655\ 9043337689168445984575212516198838556200\ 58605216