Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.16366351473329127704736878379460113580\ 5764497463743969159036951488983668448031\ 375780537971653847267