Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.91939538826372056519812678511404679253\ 5379158764155544659805489237799210451056\ 47096409