(set-info :source |printed by MathSAT|)
(declare-fun |main::i| () Int)
(declare-fun __ADDRESS_OF_main::c@ () Int)
(declare-fun N () Int)
(declare-fun *int () (Array (Int) (Int)))

main N77:
(assert (= N 10))
(assert (= |main::i| 1))
(assert (= (select *int (+ __ADDRESS_OF_main::c@ (* 4 |main::i| )) 0))
(assert (>= N (select *int (+ __ADDRESS_OF_main::c@ (* 4 |main::i| ))))
(assert (>= N |main::i|))
(assert (>= |main::i| (select *int (+ __ADDRESS_OF_main::c@ (* 4 |main::i| ))))