Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.96804483044204448704848730112285492269\ 0363970059246329640931404683415624911661\ 3143591512018166429589242