Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.39682176225463996686831560297353019716\ 7602754851544853305990109999619754030069\ 5497630728719209680777