knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₁₇₃: evalrealheapsortbb16in(X₀,X₁,X₂,X₃) → evalrealheapsortbb9in_v1(X₀,X₁,X₂,X₃) :|: 2+X₁ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3 ≤ X₀+X₂ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃ ∧ 3+X₁+2⋅X₂ ≤ X₀
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₁₇₅: evalrealheapsortbb16in(X₀,X₁,X₂,X₃) → evalrealheapsortbb17in(X₀,X₁,X₂,X₃) :|: 2+X₁ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3 ≤ X₀+X₂ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃ ∧ X₀ ≤ 2+X₁+2⋅X₂
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₁₇₇: evalrealheapsortbb9in_v1(X₀,X₁,X₂,X₃) → evalrealheapsortbb11in_v1(X₀,X₁,X₂,X₃) :|: 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃ ∧ X₀ ≤ 3+X₁+2⋅X₂ ∧ 3+X₁+2⋅X₂ ≤ X₀
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₁₇₉: evalrealheapsortbb9in_v1(X₀,X₁,X₂,X₃) → evalrealheapsortbb10in_v1(X₀,X₁,X₂,X₃) :|: 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3+X₁+2⋅X₂ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃ ∧ 4+X₁+2⋅X₂ ≤ X₀
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₂₉: evalrealheapsortbb11in_v1(X₀,X₁,X₂,X₃) → evalrealheapsortbb13in_v4(X₀,X₁,X₂,1+2⋅X₂) :|: X₀ ≤ 3+X₁+2⋅X₂ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3+X₁+2⋅X₂ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 3+2⋅X₂ ≤ X₀ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₃₁: evalrealheapsortbb13in_v4(X₀,X₁,X₂,X₃) → evalrealheapsortbb14in_v4(X₀,X₁,X₂,X₃) :|: X₀ ≤ 2+X₁+X₃ ∧ X₃ ≤ 1+2⋅X₂ ∧ 1 ≤ X₁+X₃ ∧ 1 ≤ X₂+X₃ ∧ 1+X₂ ≤ X₃ ∧ 1+2⋅X₂ ≤ X₃ ∧ 1 ≤ X₃ ∧ 2+X₁+X₃ ≤ X₀ ∧ 2+X₃ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 4 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₂
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₃₃: evalrealheapsortbb13in_v4(X₀,X₁,X₂,X₃) → evalrealheapsortbb16in_v7(X₀,X₁,X₀,X₃) :|: X₀ ≤ 2+X₁+X₃ ∧ X₃ ≤ 1+2⋅X₂ ∧ 1 ≤ X₁+X₃ ∧ 1 ≤ X₂+X₃ ∧ 1+X₂ ≤ X₃ ∧ 1+2⋅X₂ ≤ X₃ ∧ 1 ≤ X₃ ∧ 2+X₁+X₃ ≤ X₀ ∧ 2+X₃ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 4 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₂
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₃₅: evalrealheapsortbb16in_v7(X₀,X₁,X₂,X₃) → evalrealheapsortbb17in(X₀,X₁,X₂,X₃) :|: X₀ ≤ 2+X₁+X₃ ∧ 1 ≤ X₃ ∧ 2+X₁ ≤ X₀ ∧ 2+X₁+X₃ ≤ X₀ ∧ 2+X₃ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3 ≤ X₀+X₂ ∧ 3 ≤ X₀+X₃ ∧ X₂ ≤ X₀ ∧ X₀ ≤ X₂ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ 0 ≤ X₃ ∧ X₀ ≤ 2+X₁+2⋅X₂
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₃₇: evalrealheapsortbb14in_v4(X₀,X₁,X₂,X₃) → evalrealheapsortbb16in_v8(X₀,X₁,X₃,X₃) :|: X₀ ≤ 2+X₁+X₃ ∧ X₃ ≤ 1+2⋅X₂ ∧ 1 ≤ X₁+X₃ ∧ 1 ≤ X₂+X₃ ∧ 1+X₂ ≤ X₃ ∧ 1+2⋅X₂ ≤ X₃ ∧ 1 ≤ X₃ ∧ 2+X₁+X₃ ≤ X₀ ∧ 2+X₃ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3+X₁ ≤ X₀ ∧ 3 ≤ X₀+X₂ ∧ 3+X₂ ≤ X₀ ∧ 4 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₂
knowledge_propagation leads to new time bound X₀+1 {O(n)} for transition t₂₃₉: evalrealheapsortbb16in_v8(X₀,X₁,X₂,X₃) → evalrealheapsortbb17in(X₀,X₁,X₂,X₃) :|: X₀ ≤ 2+X₁+X₃ ∧ 1 ≤ X₃ ∧ 2+X₁ ≤ X₀ ∧ 2+X₁+X₃ ≤ X₀ ∧ 2+X₃ ≤ X₀ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁ ∧ 3 ≤ X₀+X₂ ∧ 3 ≤ X₀+X₃ ∧ 0 ≤ X₁ ∧ 0 ≤ X₁+X₂ ∧ 0 ≤ X₁+X₃ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₃ ∧ X₃ ≤ X₂ ∧ X₂ ≤ X₃ ∧ 0 ≤ X₃ ∧ X₀ ≤ 2+X₁+2⋅X₂
Overall timebound:61/3⋅X₀⋅X₀+80⋅X₀+79 {O(n^2)}
g₀: 1 {O(1)}
g₂: 1 {O(1)}
g₄: 1 {O(1)}
g₆: X₀+2 {O(n)}
g₈: 1 {O(1)}
g₁₀: 2⋅X₀+2 {O(n)}
g₁₃: 2⋅X₀⋅X₀+12⋅X₀+20 {O(n^2)}
g₁₈: 3⋅X₀⋅X₀+13⋅X₀+14 {O(n^2)}
g₂₄: 3⋅X₀+3 {O(n)}
g₂₈: 10/3⋅X₀⋅X₀+12⋅X₀+7 {O(n^2)}
g₅₄: 2⋅X₀⋅X₀+11⋅X₀+17 {O(n^2)}
g₈₂: X₀+2 {O(n)}
g₈₄: 1 {O(1)}
g₈₆: X₀ {O(n)}
g₈₈: 1 {O(1)}
g₉₀: X₀+1 {O(n)}
g₉₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₄: X₀+1 {O(n)}
g₉₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₀: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₂: X₀⋅X₀+3⋅X₀+2 {O(n^2)}
g₁₁₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₆: X₀+1 {O(n)}
g₁₁₈: 1 {O(1)}
Overall costbound: inf {Infinity}
g₀: inf {Infinity}
g₂: inf {Infinity}
g₄: inf {Infinity}
g₆: inf {Infinity}
g₈: inf {Infinity}
g₁₀: inf {Infinity}
g₁₃: inf {Infinity}
g₁₈: inf {Infinity}
g₂₄: inf {Infinity}
g₂₈: inf {Infinity}
g₅₄: inf {Infinity}
g₈₂: inf {Infinity}
g₈₄: inf {Infinity}
g₈₆: inf {Infinity}
g₈₈: inf {Infinity}
g₉₀: inf {Infinity}
g₉₂: inf {Infinity}
g₉₄: inf {Infinity}
g₉₆: inf {Infinity}
g₉₈: inf {Infinity}
g₁₀₂: inf {Infinity}
g₁₀₄: inf {Infinity}
g₁₀₆: inf {Infinity}
g₁₀₈: inf {Infinity}
g₁₁₀: inf {Infinity}
g₁₁₂: inf {Infinity}
g₁₁₄: inf {Infinity}
g₁₁₆: inf {Infinity}
g₁₁₈: inf {Infinity}
(g₀,evalrealheapsortentryin), X₀: X₀ {O(n)}
(g₀,evalrealheapsortentryin), X₁: X₁ {O(n)}
(g₀,evalrealheapsortentryin), X₂: X₂ {O(n)}
(g₀,evalrealheapsortentryin), X₃: 0 {O(1)}
(g₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₂,evalrealheapsortbb6in), X₁: 1 {O(1)}
(g₂,evalrealheapsortbb6in), X₂: X₂ {O(n)}
(g₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₄,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₄,evalrealheapsortreturnin), X₁: X₁ {O(n)}
(g₄,evalrealheapsortreturnin), X₂: X₂ {O(n)}
(g₄,evalrealheapsortreturnin), X₃: 0 {O(1)}
(g₆,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₆,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₆,evalrealheapsortbb3in), X₂: X₀+4 {O(n)}
(g₆,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈,evalrealheapsortbb7in), X₀: X₀ {O(n)}
(g₈,evalrealheapsortbb7in), X₁: X₀+3 {O(n)}
(g₈,evalrealheapsortbb7in), X₂: X₀+7 {O(n)}
(g₈,evalrealheapsortbb7in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb2in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb5in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb4in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb4in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₃: 0 {O(1)}
(g₁₈,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₈,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₂: X₀+6 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₂₄,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₂₄,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₂: X₀+6 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₂₈,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₂₈,evalrealheapsortbb3in), X₂: 1 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₅₄,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₅₄,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₂: X₀+6 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₈₂,evalrealheapsortbb6in), X₁: X₀+3 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₂: X₀+7 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₈₄,evalrealheapsortbb18in), X₁: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₂: X₀+7 {O(n)}
(g₈₄,evalrealheapsortbb18in), X₃: 0 {O(1)}
(g₈₆,evalrealheapsortbb8in), X₀: X₀ {O(n)}
(g₈₆,evalrealheapsortbb8in), X₁: X₀+1 {O(n)}
(g₈₆,evalrealheapsortbb8in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+3⋅X₀+7 {O(EXP)}
(g₈₆,evalrealheapsortbb8in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₈₈,evalrealheapsortreturnin), X₁: X₀+1 {O(n)}
(g₈₈,evalrealheapsortreturnin), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₀,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₉₀,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₉₀,evalrealheapsortbb16in), X₂: 0 {O(1)}
(g₉₀,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₀: X₀ {O(n)}
(g₉₂,evalrealheapsortbb9in), X₁: X₀+1 {O(n)}
(g₉₂,evalrealheapsortbb9in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₀: X₀ {O(n)}
(g₉₄,evalrealheapsortbb17in), X₁: X₀+1 {O(n)}
(g₉₄,evalrealheapsortbb17in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₉₆,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₉₆,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₀: X₀ {O(n)}
(g₉₈,evalrealheapsortbb10in), X₁: X₀+1 {O(n)}
(g₉₈,evalrealheapsortbb10in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₀: X₀ {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₁: X₀+1 {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₂: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₀: X₀ {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₁: X₀+1 {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₂,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₂: 2⋅X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₃: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₁: X₀+1 {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₀: 2⋅X₀ {O(n)}
(g₁₁₈,evalrealheapsortstop), X₁: X₀+X₁+1 {O(n)}
(g₁₁₈,evalrealheapsortstop), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀+X₂ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
Overall timebound:61/3⋅X₀⋅X₀+80⋅X₀+79 {O(n^2)}
g₀: 1 {O(1)}
g₂: 1 {O(1)}
g₄: 1 {O(1)}
g₆: X₀+2 {O(n)}
g₈: 1 {O(1)}
g₁₀: 2⋅X₀+2 {O(n)}
g₁₃: 2⋅X₀⋅X₀+12⋅X₀+20 {O(n^2)}
g₁₈: 3⋅X₀⋅X₀+13⋅X₀+14 {O(n^2)}
g₂₄: 3⋅X₀+3 {O(n)}
g₂₈: 10/3⋅X₀⋅X₀+12⋅X₀+7 {O(n^2)}
g₅₄: 2⋅X₀⋅X₀+11⋅X₀+17 {O(n^2)}
g₈₂: X₀+2 {O(n)}
g₈₄: 1 {O(1)}
g₈₆: X₀ {O(n)}
g₈₈: 1 {O(1)}
g₉₀: X₀+1 {O(n)}
g₉₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₄: X₀+1 {O(n)}
g₉₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₀: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₂: X₀⋅X₀+3⋅X₀+2 {O(n^2)}
g₁₁₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₆: X₀+1 {O(n)}
g₁₁₈: 1 {O(1)}
Overall costbound: inf {Infinity}
g₀: inf {Infinity}
g₂: inf {Infinity}
g₄: inf {Infinity}
g₆: inf {Infinity}
g₈: inf {Infinity}
g₁₀: inf {Infinity}
g₁₃: inf {Infinity}
g₁₈: inf {Infinity}
g₂₄: inf {Infinity}
g₂₈: inf {Infinity}
g₅₄: inf {Infinity}
g₈₂: inf {Infinity}
g₈₄: inf {Infinity}
g₈₆: inf {Infinity}
g₈₈: inf {Infinity}
g₉₀: inf {Infinity}
g₉₂: inf {Infinity}
g₉₄: inf {Infinity}
g₉₆: inf {Infinity}
g₉₈: inf {Infinity}
g₁₀₂: inf {Infinity}
g₁₀₄: inf {Infinity}
g₁₀₆: inf {Infinity}
g₁₀₈: inf {Infinity}
g₁₁₀: inf {Infinity}
g₁₁₂: inf {Infinity}
g₁₁₄: inf {Infinity}
g₁₁₆: inf {Infinity}
g₁₁₈: inf {Infinity}
(g₀,evalrealheapsortentryin), X₀: X₀ {O(n)}
(g₀,evalrealheapsortentryin), X₁: X₁ {O(n)}
(g₀,evalrealheapsortentryin), X₂: X₂ {O(n)}
(g₀,evalrealheapsortentryin), X₃: 0 {O(1)}
(g₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₂,evalrealheapsortbb6in), X₁: 1 {O(1)}
(g₂,evalrealheapsortbb6in), X₂: X₂ {O(n)}
(g₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₄,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₄,evalrealheapsortreturnin), X₁: X₁ {O(n)}
(g₄,evalrealheapsortreturnin), X₂: X₂ {O(n)}
(g₄,evalrealheapsortreturnin), X₃: 0 {O(1)}
(g₆,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₆,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₆,evalrealheapsortbb3in), X₂: X₀+4 {O(n)}
(g₆,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈,evalrealheapsortbb7in), X₀: X₀ {O(n)}
(g₈,evalrealheapsortbb7in), X₁: X₀+3 {O(n)}
(g₈,evalrealheapsortbb7in), X₂: X₀+7 {O(n)}
(g₈,evalrealheapsortbb7in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb2in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb5in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb4in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb4in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₃: 0 {O(1)}
(g₁₈,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₈,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₂: X₀+6 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₂₄,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₂₄,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₂: X₀+6 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₂₈,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₂₈,evalrealheapsortbb3in), X₂: 1 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₅₄,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₅₄,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₂: X₀+6 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₈₂,evalrealheapsortbb6in), X₁: X₀+3 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₂: X₀+7 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₈₄,evalrealheapsortbb18in), X₁: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₂: X₀+7 {O(n)}
(g₈₄,evalrealheapsortbb18in), X₃: 0 {O(1)}
(g₈₆,evalrealheapsortbb8in), X₀: X₀ {O(n)}
(g₈₆,evalrealheapsortbb8in), X₁: X₀+1 {O(n)}
(g₈₆,evalrealheapsortbb8in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+3⋅X₀+7 {O(EXP)}
(g₈₆,evalrealheapsortbb8in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₈₈,evalrealheapsortreturnin), X₁: X₀+1 {O(n)}
(g₈₈,evalrealheapsortreturnin), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₀,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₉₀,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₉₀,evalrealheapsortbb16in), X₂: 0 {O(1)}
(g₉₀,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₀: X₀ {O(n)}
(g₉₂,evalrealheapsortbb9in), X₁: X₀+1 {O(n)}
(g₉₂,evalrealheapsortbb9in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₀: X₀ {O(n)}
(g₉₄,evalrealheapsortbb17in), X₁: X₀+1 {O(n)}
(g₉₄,evalrealheapsortbb17in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₉₆,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₉₆,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₀: X₀ {O(n)}
(g₉₈,evalrealheapsortbb10in), X₁: X₀+1 {O(n)}
(g₉₈,evalrealheapsortbb10in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₀: X₀ {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₁: X₀+1 {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₂: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₀: X₀ {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₁: X₀+1 {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₂,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₂: 2⋅X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₃: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₁: X₀+1 {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₀: 2⋅X₀ {O(n)}
(g₁₁₈,evalrealheapsortstop), X₁: X₀+X₁+1 {O(n)}
(g₁₁₈,evalrealheapsortstop), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀+X₂ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
Overall timebound:61/3⋅X₀⋅X₀+80⋅X₀+79 {O(n^2)}
g₀: 1 {O(1)}
g₂: 1 {O(1)}
g₄: 1 {O(1)}
g₆: X₀+2 {O(n)}
g₈: 1 {O(1)}
g₁₀: 2⋅X₀+2 {O(n)}
g₁₃: 2⋅X₀⋅X₀+12⋅X₀+20 {O(n^2)}
g₁₈: 3⋅X₀⋅X₀+13⋅X₀+14 {O(n^2)}
g₂₄: 3⋅X₀+3 {O(n)}
g₂₈: 10/3⋅X₀⋅X₀+12⋅X₀+7 {O(n^2)}
g₅₄: 2⋅X₀⋅X₀+11⋅X₀+17 {O(n^2)}
g₈₂: X₀+2 {O(n)}
g₈₄: 1 {O(1)}
g₈₆: X₀ {O(n)}
g₈₈: 1 {O(1)}
g₉₀: X₀+1 {O(n)}
g₉₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₄: X₀+1 {O(n)}
g₉₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₀: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₂: X₀⋅X₀+3⋅X₀+2 {O(n^2)}
g₁₁₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₆: X₀+1 {O(n)}
g₁₁₈: 1 {O(1)}
Overall costbound: 67/3⋅X₀⋅X₀+94⋅X₀+101 {O(n^2)}
g₀: 1 {O(1)}
g₂: 1 {O(1)}
g₄: 1 {O(1)}
g₆: X₀+2 {O(n)}
g₈: 1 {O(1)}
g₁₀: 4⋅X₀+4 {O(n)}
g₁₃: 4⋅X₀⋅X₀+24⋅X₀+40 {O(n^2)}
g₁₈: 3⋅X₀⋅X₀+13⋅X₀+14 {O(n^2)}
g₂₄: 3⋅X₀+3 {O(n)}
g₂₈: 10/3⋅X₀⋅X₀+12⋅X₀+7 {O(n^2)}
g₅₄: 2⋅X₀⋅X₀+11⋅X₀+17 {O(n^2)}
g₈₂: X₀+2 {O(n)}
g₈₄: 1 {O(1)}
g₈₆: X₀ {O(n)}
g₈₈: 1 {O(1)}
g₉₀: X₀+1 {O(n)}
g₉₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₄: X₀+1 {O(n)}
g₉₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₉₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₂: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₆: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₀₈: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₀: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₂: X₀⋅X₀+3⋅X₀+2 {O(n^2)}
g₁₁₄: X₀⋅X₀+2⋅X₀ {O(n^2)}
g₁₁₆: X₀+1 {O(n)}
g₁₁₈: 1 {O(1)}
(g₀,evalrealheapsortentryin), X₀: X₀ {O(n)}
(g₀,evalrealheapsortentryin), X₁: X₁ {O(n)}
(g₀,evalrealheapsortentryin), X₂: X₂ {O(n)}
(g₀,evalrealheapsortentryin), X₃: 0 {O(1)}
(g₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₂,evalrealheapsortbb6in), X₁: 1 {O(1)}
(g₂,evalrealheapsortbb6in), X₂: X₂ {O(n)}
(g₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₄,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₄,evalrealheapsortreturnin), X₁: X₁ {O(n)}
(g₄,evalrealheapsortreturnin), X₂: X₂ {O(n)}
(g₄,evalrealheapsortreturnin), X₃: 0 {O(1)}
(g₆,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₆,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₆,evalrealheapsortbb3in), X₂: X₀+4 {O(n)}
(g₆,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈,evalrealheapsortbb7in), X₀: X₀ {O(n)}
(g₈,evalrealheapsortbb7in), X₁: X₀+3 {O(n)}
(g₈,evalrealheapsortbb7in), X₂: X₀+7 {O(n)}
(g₈,evalrealheapsortbb7in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb2in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₁₀,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₁₀,evalrealheapsortbb5in), X₂: 2 {O(1)}
(g₁₀,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₁₃,evalrealheapsortbb4in), X₀: X₀ {O(n)}
(g₁₃,evalrealheapsortbb4in), X₁: X₀+3 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₂: 2⋅X₀+12 {O(n)}
(g₁₃,evalrealheapsortbb4in), X₃: 0 {O(1)}
(g₁₈,evalrealheapsortbb2in), X₀: X₀ {O(n)}
(g₁₈,evalrealheapsortbb2in), X₁: X₀+3 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₂: X₀+6 {O(n)}
(g₁₈,evalrealheapsortbb2in), X₃: 0 {O(1)}
(g₂₄,evalrealheapsortbb5in), X₀: X₀ {O(n)}
(g₂₄,evalrealheapsortbb5in), X₁: X₀+3 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₂: X₀+6 {O(n)}
(g₂₄,evalrealheapsortbb5in), X₃: 0 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₂₈,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₂₈,evalrealheapsortbb3in), X₂: 1 {O(1)}
(g₂₈,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₅₄,evalrealheapsortbb3in), X₀: X₀ {O(n)}
(g₅₄,evalrealheapsortbb3in), X₁: X₀+3 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₂: X₀+6 {O(n)}
(g₅₄,evalrealheapsortbb3in), X₃: 0 {O(1)}
(g₈₂,evalrealheapsortbb6in), X₀: X₀ {O(n)}
(g₈₂,evalrealheapsortbb6in), X₁: X₀+3 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₂: X₀+7 {O(n)}
(g₈₂,evalrealheapsortbb6in), X₃: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₈₄,evalrealheapsortbb18in), X₁: 0 {O(1)}
(g₈₄,evalrealheapsortbb18in), X₂: X₀+7 {O(n)}
(g₈₄,evalrealheapsortbb18in), X₃: 0 {O(1)}
(g₈₆,evalrealheapsortbb8in), X₀: X₀ {O(n)}
(g₈₆,evalrealheapsortbb8in), X₁: X₀+1 {O(n)}
(g₈₆,evalrealheapsortbb8in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+3⋅X₀+7 {O(EXP)}
(g₈₆,evalrealheapsortbb8in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₀: X₀ {O(n)}
(g₈₈,evalrealheapsortreturnin), X₁: X₀+1 {O(n)}
(g₈₈,evalrealheapsortreturnin), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₈₈,evalrealheapsortreturnin), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₀,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₉₀,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₉₀,evalrealheapsortbb16in), X₂: 0 {O(1)}
(g₉₀,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₀: X₀ {O(n)}
(g₉₂,evalrealheapsortbb9in), X₁: X₀+1 {O(n)}
(g₉₂,evalrealheapsortbb9in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₂,evalrealheapsortbb9in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₀: X₀ {O(n)}
(g₉₄,evalrealheapsortbb17in), X₁: X₀+1 {O(n)}
(g₉₄,evalrealheapsortbb17in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₉₄,evalrealheapsortbb17in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₉₆,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₉₆,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₆,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₀: X₀ {O(n)}
(g₉₈,evalrealheapsortbb10in), X₁: X₀+1 {O(n)}
(g₉₈,evalrealheapsortbb10in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₉₈,evalrealheapsortbb10in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₀: X₀ {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₁: X₀+1 {O(n)}
(g₁₀₂,evalrealheapsortbb11in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₂,evalrealheapsortbb11in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₀: X₀ {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₁: X₀+1 {O(n)}
(g₁₀₄,evalrealheapsortbb12in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₄,evalrealheapsortbb12in), X₃: 16⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₆,evalrealheapsortbb13in), X₂: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₀₆,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₀: X₀ {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₁: X₀+1 {O(n)}
(g₁₀₈,evalrealheapsortbb13in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₀₈,evalrealheapsortbb13in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₀: X₀ {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₁: X₀+1 {O(n)}
(g₁₁₀,evalrealheapsortbb14in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₀,evalrealheapsortbb14in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₂,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₂: 2⋅X₀ {O(n)}
(g₁₁₂,evalrealheapsortbb16in), X₃: 2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₀: X₀ {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₁: X₀+1 {O(n)}
(g₁₁₄,evalrealheapsortbb16in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₄,evalrealheapsortbb16in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₀: X₀ {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₁: X₀+1 {O(n)}
(g₁₁₆,evalrealheapsortbb18in), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀ {O(EXP)}
(g₁₁₆,evalrealheapsortbb18in), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₀: 2⋅X₀ {O(n)}
(g₁₁₈,evalrealheapsortstop), X₁: X₀+X₁+1 {O(n)}
(g₁₁₈,evalrealheapsortstop), X₂: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2⋅X₀+X₂ {O(EXP)}
(g₁₁₈,evalrealheapsortstop), X₃: 2⋅2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅4⋅X₀⋅X₀+2^(X₀⋅X₀+2⋅X₀)⋅2^(X₀⋅X₀+2⋅X₀)⋅8⋅X₀ {O(EXP)}