Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
32.4816365905297535974427161527346421156\ 0068209879780315964257109324263733401019\ 07938216