Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.15443132980306572121302418016480486208\ 4318671879847197611534469769735453555329\ 34187389412658349349902926