Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.56175206772029729470299536406072378079\ 0847286947276642846284783946252241043942\ 94449624405