Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.99133066207886174711958420755296681544\ 9624092507472520376733698499952854881273\ 1795732844150968510508825633858746564113\ 48758700511