Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.90979919588859400606148840724558496929\ 7744946987754712180719409147696910709135\ 717470681746021866539