Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.22512630432118191490710760172167495683\ 6402751432280300022385037403942901078521\ 06601602615440357545088025