Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00157728706624605678233438485804416403\ 7854889589905362776025236593059936908517\ 350157728706624605678