Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00305810397553516819571865443425076452\ 5993883792048929663608562691131498470948\ 012232415902140672782