Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.61492662744600073515092236909361355359\ 4728188648596505040878753014296519305520\ 6405293