Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.31556515472044941235227075094351196222\ 1178306725079676391790415348425250467110\ 57016010185945636315