Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00112485939257592800899887514060742407\ 1991001124859392575928008998875140607424\ 071991001124859392575