Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.87349510937131548791934753099364755343\ 2131035644979314408615648030344735118924\ 12398376