@icecolbeveridge @theoremoftheday but each sequence lists ~240 characters as its "A" line, so later terms don't show up in search