These numbers don’t account for private channels and LSPs though, so there’s probably no way to know what the actual numbers are.