Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.13956470687932160823788165057931871131\ 7358007558522817450133517890724860395967\ 257346302055298250220