Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.73863870268621999271779470348124955360\ 1823846642106642480961934843754087796971\ 67489227221376023377456771