@icecolbeveridge @theoremoftheday or, if I parse your question differently - I guess that sequence starts at 14972 and gets dense quickly