Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
10939058860032030.9999999999999687530248\ 8325773703663974401405570795261281405876\ 57587769962549419713729658