Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.22511840490997720420606443288695776622\ 5266863446439010860186682478098796069427\ 03129756726719958860