Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.58654395892905897913316630277830724967\ 3008284832650068966726311774248223910968\ 8995914