Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.49890484412084431567731325953818645697\ 0615753749433535720576416755979617395520\ 24975803033316678665121809