Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
6.87518581802037282749009577981055719790\ 0856451819160896274487891536003279601115\ 65258031675762130277031100