Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.32128503803243165719249355476667827141\ 8139103936717348571785219048914649781787\ 76915987814955366924796051