Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[1,7,138,8353,1563486,896267399,1563576619949]