Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.62486935190932750978051082794943665831\ 0870202842704966763657380332933647596394\ 858441038278861468782