Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.54221972170650525853141576436424529561\ 9480735913154785388164019086321819367696\ 748233911318744368075023