Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.58045712444593316179721965142881907589\ 3898113707391249122408616782257995698901\ 574998974513319161809665