Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.63470469735427016259034693924574525775\ 5580912815594594899352425136949509299398\ 515102534478987101778624756