Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.75021364515724257192829579660551403161\ 8245489851049130605078597839203059559814\ 3130574248023279622651598618574