Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.74607436212856446173257418985653067356\ 8519014685027856908229648766229330962016\ 513783630267378045112