(set-logic QF_ABV)
(declare-fun |UNROLL#6240| () (Array (_ BitVec 5) (_ BitVec 32)))
(declare-fun |UNROLL#6798| () (Array (_ BitVec 5) (_ BitVec 32)))
(define-fun |UNROLL#6259| () Bool (and true true true (= |UNROLL#6240| |UNROLL#6798|)))
(assert (and true true true (= |UNROLL#6240| |UNROLL#6798|)))
(push 1)
(assert false)
(check-sat)
(pop 1)
(check-sat)
(exit)