Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.10284530377862705859305188874735596957\ 7333559651589341348240382465974410230996\ 05217775413461351186691951