Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.40528473456935108577551785283891055561\ 7435098688986195382436127576692483848941\ 764764837095702487350