Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.09457301966476193951358890085441384931\ 4955329319224010497951531955592102754766\ 31128977401484909965152