Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99954315505593689781388168372029528391\ 7293305629335837854100849591566629260872\ 4912068075535244016217