Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.31451893566291337856203272289901304708\ 6486687672638235977705194044797054668542\ 39830289975306255026