SMTLib1.QF_AUFBV

tArray

select

store