Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.39580923446913783758254799434052189252\ 3579487512655770937915165363652858674865\ 404574030511427040319