Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.53235763014591461867922178616693680129\ 9999801506517712344176192678415803974095\ 3856819