Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.48078759827971695290481991372725351081\ 4681345358836747381427068277750548864357\ 56732227792141072654299