Lululemon run for fun cropped leggings, size 4

Lululemon black with gray stripe cropped leggings. Waist is 13 inches. Size isn’t marked but my daughter wears and 4 and these measure at a size 4. Length is 17 inches. Logo is on the back of the leggings. Super cute and great condition! Does have a drawstring in the waist