Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.12062299308691880514127342462306600217\ 0035624527797371109878591228103977464537\ 40014880630844117511