Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.76354658135207244810687785814655120670\ 9746962832586586685697930746021598331422\ 86693318