Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.50132565492620010048315305696220905060\ 1397348121987663325984715268458730921568\ 394989319167675611453