Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.47746482927568600730665129011754308610\ 3378937221369346243002032176690392902679\ 605270341408298759257868