Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
8.45571817512652762692108808054219208224\ 0436014341992762845810031457963572139120\ 972307698291116192364