Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.52586790122795861795482508171139430994\ 6987478322252740436279131455006794679530\ 37678472641216554913