Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.62420928704832755800594145043920082857\ 6693708354985745326646625163133372109428\ 220891405850763775891