Comment by ivan888

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