Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.22938485772852589245788673355808193822\ 5195415266121034625072393672918351489597\ 562644636444737417655484295