J. Crew Vintage slightly distressed stretch denim blue jeans size 12

J. Crew brand - Vintage stretch denim jeans purposely slightly distressed around the waist and pockets. Great condition. I measure across the front waist 18 1/2", the rise 9 1/2", inseam 30"