Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.73018105837655977383988786974589379880\ 4397649686996853923973466460170078535220\ 1330434693766643904312