New OEIS entry: numbers used in names of startups followed by “labs”