; EXIT: 0
(set-logic QF_UF)
(declare-sort Array 1)
(declare-fun a ((Array Bool) Bool Bool) Bool)