delete ---> STRATUS PROPERTIES INC.



input number: