Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.22507787079274005837898792369393824756\ 9637106924202300926375944786435910045352\ 12340771075602421268