Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[1,2,3,5,11,38,263,5536,690168,1491031071]