Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. Other attributes are uninterpreted by the OSD. This is satisfiable&colon; codice 1 is an uninterpreted function. Uninterpreted raw genetic data may be downloaded by customers. The hospital secured a dedicated power cable from Akosombo to supply them with uninterpreted electricity.