Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.34148725725091717975676969334861213662\ 3037629505986511253796728340918923813185\ 44158176108599869799447