Found invariant X₂ ≤ X₀ ∧ X₀ ≤ X₂ for location h
Found invariant X₂ ≤ 0 ∧ 0 ≤ X₂ for location g
Found invariant X₂ ≤ X₁ ∧ X₂ ≤ 1+X₀ ∧ X₀ ≤ X₂ ∧ 1+X₀ ≤ X₁ for location i
Overall timebound:inf {Infinity}
g₁: 1 {O(1)}
g₃: inf {Infinity}
g₅: inf {Infinity}
g₇: inf {Infinity}
Overall costbound: inf {Infinity}
g₁: inf {Infinity}
g₃: inf {Infinity}
g₅: inf {Infinity}
g₇: inf {Infinity}
(g₁,g), X₀: X₀ {O(n)}
(g₁,g), X₁: X₁ {O(n)}
(g₁,g), X₂: 0 {O(1)}
Overall timebound:inf {Infinity}
g₁: 1 {O(1)}
g₃: inf {Infinity}
g₅: inf {Infinity}
g₇: inf {Infinity}
Overall costbound: inf {Infinity}
g₁: inf {Infinity}
g₃: inf {Infinity}
g₅: inf {Infinity}
g₇: inf {Infinity}
(g₁,g), X₀: X₀ {O(n)}
(g₁,g), X₁: X₁ {O(n)}
(g₁,g), X₂: 0 {O(1)}
(g₃,h), X₁: X₁ {O(n)}
(g₅,i), X₁: X₁ {O(n)}
(g₇,g), X₁: X₁ {O(n)}
(g₇,g), X₂: 0 {O(1)}
Overall timebound:inf {Infinity}
g₁: 1 {O(1)}
g₃: inf {Infinity}
g₅: inf {Infinity}
g₇: inf {Infinity}
Overall costbound: inf {Infinity}
g₁: 0 {O(1)}
g₃: 0 {O(1)}
g₅: 0 {O(1)}
g₇: inf {Infinity}
(g₁,g), X₀: X₀ {O(n)}
(g₁,g), X₁: X₁ {O(n)}
(g₁,g), X₂: 0 {O(1)}
(g₃,h), X₁: X₁ {O(n)}
(g₅,i), X₁: X₁ {O(n)}
(g₇,g), X₁: X₁ {O(n)}
(g₇,g), X₂: 0 {O(1)}