Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.02197994253801347829116953953739585463\ 9344307789358872411222492580486988494001\ 51522745152516368363044509