Lululemon blue leggings size 4

Lululemon athletic leggings in a size 4. There’s no longer a size dot but last pic shows them lined up with another size 4. High waisted with no seams. Interior waist pocket. Extended gusset. 24” waist, 25” inseam and 10” rise. I do not know what style they are. They are not a true navy blue. A bit brighter. Last picture the closest in color.