Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.68153491441822353230193416340481235267\ 6791108603519744242043855457416310291334\ 871198452244340406188144502