Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.72360125455826765936301462729079576787\ 21088947845459269762123277703682052862