Dark blue Lululemon shorts - size 10

Not sure of their exact name. Liner underneath. Size dot in the zip up pocket on the back. 2 smaller pockets inside the waistband. Measurements in photos. Dark blue with lighter blue contrast stitching. Lululemon - size 10.