Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.90983005625052575897706582817180941139\ 8454100971185689322756886473697685905487\ 75146396