Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.07138435359817861835919830739134720946\ 0982478237499602969190561933418359277014\ 2810847658085895499970926