Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.67519843791111434190056160759135729953\ 9276788565132651560341064516885861485424\ 4334411462722802789571