Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.23255934654317823447309035975033389931\ 0435015435020409885994210597761799914980\ 9191759545125469083852784