Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99187840765829481696642692778488934048\ 0406292066354228745058307619581841250391\ 685973108189916250883670728