Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.48663651344282879641501068887740530615\ 3831102839733692674254713288099889257864\ 719372789140641456339