Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.33762847272800848847157838841884570875\ 8711020677318496436796309884205683503172\ 31382382148365640569