Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.83255461115769775635316464489520104763\ 0588852264440729166829117234079435197304\ 6371489980