Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
10.4593111200909802869464400586922036529\ 1417060979917401380255797838339108327878\ 508078946414948111130