Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.32634787404084110088560616334691172335\ 1817141532013069065640247890876626456034\ 487356822930