Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
9.31888175886821477149864286881886519665\ 9960864470673382141476517036606265605294\ 05117271