Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.30004968985986473287187750158505572305\ 4158559353499543798689701460914754433987\ 1381069969712341944505440449934755769006\ 74