Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.93625563341967446001393463894632996029\ 1162014306565796333626682516672051199376\ 71085522748672499388563582