Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.23580928206456912111526414831701984424\ 8049203926539040434150913026052480615165\ 39753508837874193269