Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.12715884291141264366498563374935642914\ 5085286311940762438059423038681847039713\ 80695681734998520375728193