Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
15.2426406871192851464050661726290942357\ 0901562613084421953003921397219743538632\ 11165511626029829247182050