Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.71064409504503293599063416333585945633\ 1560985592485447861168758236170068078904\ 9975382