Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.77392088021787172376689819997523022706\ 2739881448158125282669875244008964483841\ 0486