Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.96008030202494141048182047811089469392\ 8439095925163411967504480866339357873738\ 24958462673850108051786066