(>= (f26 (var x2)) (var x2))
(>= (f27) 0)
(>=
 (f2 (var x2))
 (f1 (f26 (var x2)) (f27)))
(>= (f28 (var x7)) (var x7))
(>= (f29 (var x5)) (var x5))
(>=
 (f30 (var x5))
 (+ (f29 (var x5)) 1))
(>=
 (f1 (+ (var x7) 1) (var x5))
 (f1
  (f28 (var x7))
  (f30 (var x5))))
(>= (f1 0 (var x10)) (var x10))