Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.84183553561436380748573267656216430765\ 3585785533936330643953084283120283214768\ 914514833784477745559