Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00139664804469273743016759776536312849\ 1620111731843575418994413407821229050279\ 329608938547486033519