Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.66559907733067615250526519226885302854\ 3489747915061472489424223790968056161338\ 622116485246348598967