Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[1,3,4,20,56,1162,17412,1045409,76908966, 12262865881]