Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.80758528144220199392658167953724075423\ 7254079430373189329346389550169870998971\ 778293738925655303720