knowledge_propagation leads to new time bound 2⋅X₅ {O(n)} for transition t₇₇: eval_rank2_27(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_bb3_in(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₈,X₈,X₉,X₁,X₁₁) :|: X₆ ≤ 2+X₁ ∧ X₇ ≤ 1+X₁ ∧ X₈ ≤ 1+X₁ ∧ X₁₁ ≤ 1+X₁ ∧ X₆ ≤ 1+X₇ ∧ X₆ ≤ 1+X₈ ∧ X₆ ≤ 1+X₁₁ ∧ 1 ≤ X₁+X₄ ∧ 1 ≤ X₁+X₇ ∧ 1 ≤ X₁+X₈ ∧ 1 ≤ X₁+X₁₁ ∧ 1+X₁ ≤ X₁₁ ∧ 1 ≤ X₄ ∧ 1 ≤ X₇ ∧ 1+X₇ ≤ X₁₀ ∧ 1 ≤ X₈ ∧ 1+X₈ ≤ X₁₀ ∧ 1+X₁₁ ≤ X₁₀ ∧ 1 ≤ X₁₁ ∧ 2 ≤ X₁+X₆ ∧ 2 ≤ X₁+X₁₀ ∧ 2+X₁ ≤ X₁₀ ∧ 2 ≤ X₄+X₇ ∧ 2 ≤ X₄+X₈ ∧ 2 ≤ X₄+X₁₁ ∧ 2 ≤ X₆ ∧ 2 ≤ X₇+X₈ ∧ 2 ≤ X₇+X₁₁ ∧ 2 ≤ X₈+X₁₁ ∧ 2 ≤ X₁₀ ∧ 3 ≤ X₄+X₆ ∧ 3 ≤ X₄+X₁₀ ∧ 3 ≤ X₆+X₇ ∧ 3 ≤ X₆+X₈ ∧ 3 ≤ X₆+X₁₁ ∧ 3 ≤ X₇+X₁₀ ∧ 3 ≤ X₈+X₁₀ ∧ 3 ≤ X₁₀+X₁₁ ∧ 4 ≤ X₆+X₁₀ ∧ 0 ≤ X₁ ∧ X₆ ≤ X₁₀ ∧ X₇ ≤ X₈ ∧ X₇ ≤ X₁₁ ∧ X₈ ≤ X₁₁

knowledge_propagation leads to new time bound 2⋅X₅ {O(n)} for transition t₇₉: eval_rank2_27(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_27_v1(X₀,X₁,X₂,X₃,X₄,Temp_Int₁,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₆ ≤ 2+X₁ ∧ 0 ≤ 1 ∧ X₇ ≤ 1+X₁ ∧ X₈ ≤ 1+X₁ ∧ X₁₁ ≤ 1+X₁ ∧ X₆ ≤ 1+X₇ ∧ X₆ ≤ 1+X₈ ∧ X₆ ≤ 1+X₁₁ ∧ 1 ≤ X₁+X₄ ∧ 1 ≤ X₁+X₇ ∧ 1 ≤ X₁+X₈ ∧ 1 ≤ X₁+X₁₁ ∧ 1+X₁ ≤ X₁₁ ∧ 1 ≤ X₄ ∧ 1 ≤ X₇ ∧ 1+X₇ ≤ X₁₀ ∧ 1 ≤ X₈ ∧ 1+X₈ ≤ X₁₀ ∧ 1+X₁₁ ≤ X₁₀ ∧ 1 ≤ X₁₁ ∧ 2 ≤ X₁+X₆ ∧ 2 ≤ X₁+X₁₀ ∧ 2+X₁ ≤ X₁₀ ∧ 2 ≤ X₄+X₇ ∧ 2 ≤ X₄+X₈ ∧ 2 ≤ X₄+X₁₁ ∧ 2 ≤ X₆ ∧ 2 ≤ X₇+X₈ ∧ 2 ≤ X₇+X₁₁ ∧ 2 ≤ X₈+X₁₁ ∧ 2 ≤ X₁₀ ∧ 3 ≤ X₄+X₆ ∧ 3 ≤ X₄+X₁₀ ∧ 3 ≤ X₆+X₇ ∧ 3 ≤ X₆+X₈ ∧ 3 ≤ X₆+X₁₁ ∧ 3 ≤ X₇+X₁₀ ∧ 3 ≤ X₈+X₁₀ ∧ 3 ≤ X₁₀+X₁₁ ∧ 4 ≤ X₆+X₁₀ ∧ 0 ≤ X₁ ∧ X₆ ≤ X₁₀ ∧ X₇ ≤ X₈ ∧ X₇ ≤ X₁₁ ∧ X₈ ≤ X₁₁ ∧ Temp_Int₁ ≤ Temp_Int₂+X₅ ∧ Temp_Int₂+X₅ ≤ Temp_Int₁ ∧ 0 ≤ 1+Temp_Int₂ ∧ Temp_Int₂ ≤ 0 ∧ 1 ≤ X₅

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₈₅: eval_rank2__critedge_in(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_29_v1(X₀,X₁,X₇-1,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₆ ≤ 1+X₇ ∧ 1 ≤ X₇ ∧ 2 ≤ X₆ ∧ 3 ≤ X₆+X₇

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₈₇: eval_rank2_29_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_30_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₆ ≤ 2+X₂ ∧ X₇ ≤ 1+X₂ ∧ X₆ ≤ 1+X₇ ∧ 1 ≤ X₂+X₇ ∧ 1+X₂ ≤ X₇ ∧ 1 ≤ X₇ ∧ 2 ≤ X₂+X₆ ∧ 2 ≤ X₆ ∧ 3 ≤ X₆+X₇ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₈₉: eval_rank2_30_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_31_v1(X₀,X₁,X₂,X₁₀-X₂,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₆ ≤ 2+X₂ ∧ X₇ ≤ 1+X₂ ∧ X₆ ≤ 1+X₇ ∧ 1 ≤ X₂+X₇ ∧ 1+X₂ ≤ X₇ ∧ 1 ≤ X₇ ∧ 2 ≤ X₂+X₆ ∧ 2 ≤ X₆ ∧ 3 ≤ X₆+X₇ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₉₁: eval_rank2_31_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_32_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₆ ≤ 2+X₂ ∧ X₇ ≤ 1+X₂ ∧ X₃+X₇ ≤ 1+X₁₀ ∧ X₆ ≤ 1+X₇ ∧ 1 ≤ X₂+X₇ ∧ 1+X₂ ≤ X₇ ∧ 1+X₁₀ ≤ X₃+X₇ ∧ 1 ≤ X₇ ∧ 2 ≤ X₂+X₆ ∧ 2 ≤ X₆ ∧ 3 ≤ X₆+X₇ ∧ 0 ≤ X₂ ∧ X₃ ≤ X₁₀

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₉₃: eval_rank2_32_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_bb1_in_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₂,X₇,X₈,X₃,X₁₀,X₁₁) :|: X₆ ≤ 2+X₂ ∧ X₇ ≤ 1+X₂ ∧ X₃+X₇ ≤ 1+X₁₀ ∧ X₆ ≤ 1+X₇ ∧ 1 ≤ X₂+X₇ ∧ 1+X₂ ≤ X₇ ∧ 1+X₁₀ ≤ X₃+X₇ ∧ 1 ≤ X₇ ∧ 2 ≤ X₂+X₆ ∧ 2 ≤ X₆ ∧ 3 ≤ X₆+X₇ ∧ 0 ≤ X₂ ∧ X₃ ≤ X₁₀

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₉₅: eval_rank2_bb1_in_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_bb2_in_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) :|: X₇ ≤ 1+X₂ ∧ 1+X₂ ≤ X₇ ∧ 0 ≤ X₂ ∧ X₁₀ ≤ X₂+X₃ ∧ X₆ ≤ X₂ ∧ X₁₀ ≤ X₂+X₉ ∧ X₂+X₃ ≤ X₁₀ ∧ X₂ ≤ X₆ ∧ X₂+X₉ ≤ X₁₀ ∧ 2 ≤ X₆

knowledge_propagation leads to new time bound 2⋅X₅+1 {O(n)} for transition t₉₉: eval_rank2_bb2_in_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₇,X₈,X₉,X₁₀,X₁₁) → eval_rank2_bb3_in_v1(X₀,X₁,X₂,X₃,X₄,X₅,X₆,X₆-1,X₈,X₉,X₆+X₉-1,X₁₁) :|: X₃+X₇ ≤ 1+X₁₀ ∧ 1+X₁₀ ≤ X₃+X₇ ∧ 2+X₃ ≤ X₁₀ ∧ 2 ≤ X₆ ∧ X₁₀ ≤ X₂+X₃ ∧ X₂+X₃ ≤ X₁₀ ∧ X₁₀ ≤ X₃+X₆ ∧ X₉ ≤ X₃ ∧ X₃+X₆ ≤ X₁₀ ∧ X₃ ≤ X₉

Run classical analysis on SCC: [eval_rank2_bb9_in]

Classical Approximation after Lifting Classical Results

All Bounds
Timebounds

Overall timebound:76⋅X₅⋅X₅+96⋅X₅+24 {O(n^2)}
g₁: 1 {O(1)}
g₃: 1 {O(1)}
g₅: 1 {O(1)}
g₇: 1 {O(1)}
g₉: 1 {O(1)}
g₁₁: 1 {O(1)}
g₁₃: 1 {O(1)}
g₁₅: 1 {O(1)}
g₁₇: 1 {O(1)}
g₁₉: 1 {O(1)}
g₂₁: 1 {O(1)}
g₂₃: 8⋅X₅⋅X₅+7⋅X₅+1 {O(n^2)}
g₂₅: 1 {O(1)}
g₂₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₂₉: 2⋅X₅ {O(n)}
g₃₁: 16⋅X₅⋅X₅+10⋅X₅+2 {O(n^2)}
g₃₃: 2⋅X₅ {O(n)}
g₃₅: 4⋅X₅ {O(n)}
g₃₇: 2⋅X₅+1 {O(n)}
g₃₉: 2⋅X₅+1 {O(n)}
g₄₁: 2⋅X₅ {O(n)}
g₄₃: 6⋅X₅ {O(n)}
g₄₅: 2⋅X₅ {O(n)}
g₄₇: 4⋅X₅ {O(n)}
g₄₉: 2⋅X₅+1 {O(n)}
g₅₁: 2⋅X₅ {O(n)}
g₅₃: 2⋅X₅ {O(n)}
g₅₅: 3⋅X₅+2 {O(n)}
g₅₇: 4⋅X₅ {O(n)}
g₅₉: 2⋅X₅ {O(n)}
g₆₁: 2⋅X₅ {O(n)}
g₆₃: 4⋅X₅⋅X₅ {O(n^2)}
g₆₅: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₉: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₁: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₃: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₅: 1 {O(1)}

Costbounds

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₅₉: 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}

Sizebounds

(g₁,eval_rank2_bb0_in), X₀: X₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁: X₁ {O(n)}
(g₁,eval_rank2_bb0_in), X₂: X₂ {O(n)}
(g₁,eval_rank2_bb0_in), X₃: X₃ {O(n)}
(g₁,eval_rank2_bb0_in), X₄: X₄ {O(n)}
(g₁,eval_rank2_bb0_in), X₅: X₅ {O(n)}
(g₁,eval_rank2_bb0_in), X₆: X₆ {O(n)}
(g₁,eval_rank2_bb0_in), X₇: X₇ {O(n)}
(g₁,eval_rank2_bb0_in), X₈: X₈ {O(n)}
(g₁,eval_rank2_bb0_in), X₉: X₉ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₀: X₁₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₁: X₁₁ {O(n)}
(g₃,eval_rank2_0), X₀: X₀ {O(n)}
(g₃,eval_rank2_0), X₁: X₁ {O(n)}
(g₃,eval_rank2_0), X₂: X₂ {O(n)}
(g₃,eval_rank2_0), X₃: X₃ {O(n)}
(g₃,eval_rank2_0), X₄: X₄ {O(n)}
(g₃,eval_rank2_0), X₅: X₅ {O(n)}
(g₃,eval_rank2_0), X₆: X₆ {O(n)}
(g₃,eval_rank2_0), X₇: X₇ {O(n)}
(g₃,eval_rank2_0), X₈: X₈ {O(n)}
(g₃,eval_rank2_0), X₉: X₉ {O(n)}
(g₃,eval_rank2_0), X₁₀: X₁₀ {O(n)}
(g₃,eval_rank2_0), X₁₁: X₁₁ {O(n)}
(g₅,eval_rank2_1), X₀: X₀ {O(n)}
(g₅,eval_rank2_1), X₁: X₁ {O(n)}
(g₅,eval_rank2_1), X₂: X₂ {O(n)}
(g₅,eval_rank2_1), X₃: X₃ {O(n)}
(g₅,eval_rank2_1), X₄: X₄ {O(n)}
(g₅,eval_rank2_1), X₅: X₅ {O(n)}
(g₅,eval_rank2_1), X₆: X₆ {O(n)}
(g₅,eval_rank2_1), X₇: X₇ {O(n)}
(g₅,eval_rank2_1), X₈: X₈ {O(n)}
(g₅,eval_rank2_1), X₉: X₉ {O(n)}
(g₅,eval_rank2_1), X₁₀: X₁₀ {O(n)}
(g₅,eval_rank2_1), X₁₁: X₁₁ {O(n)}
(g₇,eval_rank2_2), X₀: X₀ {O(n)}
(g₇,eval_rank2_2), X₁: X₁ {O(n)}
(g₇,eval_rank2_2), X₂: X₂ {O(n)}
(g₇,eval_rank2_2), X₃: X₃ {O(n)}
(g₇,eval_rank2_2), X₄: X₄ {O(n)}
(g₇,eval_rank2_2), X₅: X₅ {O(n)}
(g₇,eval_rank2_2), X₆: X₆ {O(n)}
(g₇,eval_rank2_2), X₇: X₇ {O(n)}
(g₇,eval_rank2_2), X₈: X₈ {O(n)}
(g₇,eval_rank2_2), X₉: X₉ {O(n)}
(g₇,eval_rank2_2), X₁₀: X₁₀ {O(n)}
(g₇,eval_rank2_2), X₁₁: X₁₁ {O(n)}
(g₉,eval_rank2_3), X₀: X₀ {O(n)}
(g₉,eval_rank2_3), X₁: X₁ {O(n)}
(g₉,eval_rank2_3), X₂: X₂ {O(n)}
(g₉,eval_rank2_3), X₃: X₃ {O(n)}
(g₉,eval_rank2_3), X₄: X₄ {O(n)}
(g₉,eval_rank2_3), X₅: X₅ {O(n)}
(g₉,eval_rank2_3), X₆: X₆ {O(n)}
(g₉,eval_rank2_3), X₇: X₇ {O(n)}
(g₉,eval_rank2_3), X₈: X₈ {O(n)}
(g₉,eval_rank2_3), X₉: X₉ {O(n)}
(g₉,eval_rank2_3), X₁₀: X₁₀ {O(n)}
(g₉,eval_rank2_3), X₁₁: X₁₁ {O(n)}
(g₁₁,eval_rank2_4), X₀: X₀ {O(n)}
(g₁₁,eval_rank2_4), X₁: X₁ {O(n)}
(g₁₁,eval_rank2_4), X₂: X₂ {O(n)}
(g₁₁,eval_rank2_4), X₃: X₃ {O(n)}
(g₁₁,eval_rank2_4), X₄: X₄ {O(n)}
(g₁₁,eval_rank2_4), X₅: X₅ {O(n)}
(g₁₁,eval_rank2_4), X₆: X₆ {O(n)}
(g₁₁,eval_rank2_4), X₇: X₇ {O(n)}
(g₁₁,eval_rank2_4), X₈: X₈ {O(n)}
(g₁₁,eval_rank2_4), X₉: X₉ {O(n)}
(g₁₁,eval_rank2_4), X₁₀: X₁₀ {O(n)}
(g₁₁,eval_rank2_4), X₁₁: X₁₁ {O(n)}
(g₁₃,eval_rank2_5), X₀: X₀ {O(n)}
(g₁₃,eval_rank2_5), X₁: X₁ {O(n)}
(g₁₃,eval_rank2_5), X₂: X₂ {O(n)}
(g₁₃,eval_rank2_5), X₃: X₃ {O(n)}
(g₁₃,eval_rank2_5), X₄: X₄ {O(n)}
(g₁₃,eval_rank2_5), X₅: X₅ {O(n)}
(g₁₃,eval_rank2_5), X₆: X₆ {O(n)}
(g₁₃,eval_rank2_5), X₇: X₇ {O(n)}
(g₁₃,eval_rank2_5), X₈: X₈ {O(n)}
(g₁₃,eval_rank2_5), X₉: X₉ {O(n)}
(g₁₃,eval_rank2_5), X₁₀: X₁₀ {O(n)}
(g₁₃,eval_rank2_5), X₁₁: X₁₁ {O(n)}
(g₁₅,eval_rank2_6), X₀: X₀ {O(n)}
(g₁₅,eval_rank2_6), X₁: X₁ {O(n)}
(g₁₅,eval_rank2_6), X₂: X₂ {O(n)}
(g₁₅,eval_rank2_6), X₃: X₃ {O(n)}
(g₁₅,eval_rank2_6), X₄: X₄ {O(n)}
(g₁₅,eval_rank2_6), X₅: X₅ {O(n)}
(g₁₅,eval_rank2_6), X₆: X₆ {O(n)}
(g₁₅,eval_rank2_6), X₇: X₇ {O(n)}
(g₁₅,eval_rank2_6), X₈: X₈ {O(n)}
(g₁₅,eval_rank2_6), X₉: X₉ {O(n)}
(g₁₅,eval_rank2_6), X₁₀: X₁₀ {O(n)}
(g₁₅,eval_rank2_6), X₁₁: X₁₁ {O(n)}
(g₁₇,eval_rank2_7), X₀: X₀ {O(n)}
(g₁₇,eval_rank2_7), X₁: X₁ {O(n)}
(g₁₇,eval_rank2_7), X₂: X₂ {O(n)}
(g₁₇,eval_rank2_7), X₃: X₃ {O(n)}
(g₁₇,eval_rank2_7), X₄: X₄ {O(n)}
(g₁₇,eval_rank2_7), X₅: X₅ {O(n)}
(g₁₇,eval_rank2_7), X₆: X₆ {O(n)}
(g₁₇,eval_rank2_7), X₇: X₇ {O(n)}
(g₁₇,eval_rank2_7), X₈: X₈ {O(n)}
(g₁₇,eval_rank2_7), X₉: X₉ {O(n)}
(g₁₇,eval_rank2_7), X₁₀: X₁₀ {O(n)}
(g₁₇,eval_rank2_7), X₁₁: X₁₁ {O(n)}
(g₁₉,eval_rank2_8), X₀: X₀ {O(n)}
(g₁₉,eval_rank2_8), X₁: X₁ {O(n)}
(g₁₉,eval_rank2_8), X₂: X₂ {O(n)}
(g₁₉,eval_rank2_8), X₃: X₃ {O(n)}
(g₁₉,eval_rank2_8), X₄: X₄ {O(n)}
(g₁₉,eval_rank2_8), X₅: X₅ {O(n)}
(g₁₉,eval_rank2_8), X₆: X₆ {O(n)}
(g₁₉,eval_rank2_8), X₇: X₇ {O(n)}
(g₁₉,eval_rank2_8), X₈: X₈ {O(n)}
(g₁₉,eval_rank2_8), X₉: X₉ {O(n)}
(g₁₉,eval_rank2_8), X₁₀: X₁₀ {O(n)}
(g₁₉,eval_rank2_8), X₁₁: X₁₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₀: X₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁: X₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₂: X₂ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₃: X₃ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₄: X₄ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₆: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₇: X₇ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₈: X₈ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₉: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₀: X₁₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₁: X₁₁ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₅: X₅ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₅: 2⋅X₅ {O(n)}
(g₂₅,eval_rank2_bb9_in), X₆: 5⋅X₅+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₂₇,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₅: X₅ {O(n)}
(g₂₉,eval_rank2_bb4_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₂: 2⋅X₂+8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₃: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₃+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₁,eval_rank2__critedge_in), X₆: 8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₉: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₃,eval_rank2_14), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₃,eval_rank2_14), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₃,eval_rank2_14), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₅: X₅ {O(n)}
(g₃₃,eval_rank2_14), X₆: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₇: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₃,eval_rank2_14), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₅,eval_rank2_15), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₅,eval_rank2_15), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₅,eval_rank2_15), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₅: X₅ {O(n)}
(g₃₅,eval_rank2_15), X₆: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₇: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₅,eval_rank2_15), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₅: X₅ {O(n)}
(g₃₇,eval_rank2_bb5_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₉,eval_rank2__critedge_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₄₁,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₅: X₅ {O(n)}
(g₄₃,eval_rank2_bb7_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁+24 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₇: 8⋅X₅+4 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₀: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₇,eval_rank2_20), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₇,eval_rank2_20), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₅: X₅ {O(n)}
(g₄₇,eval_rank2_20), X₆: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₇: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₈: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₉,eval_rank2_21), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₉,eval_rank2_21), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₅: X₅ {O(n)}
(g₄₉,eval_rank2_21), X₆: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₇: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₈: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₅: X₅ {O(n)}
(g₅₁,eval_rank2_bb8_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₅₅,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₇,eval_rank2_26), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₅: X₅ {O(n)}
(g₅₇,eval_rank2_26), X₆: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₇: 12⋅X₅+6 {O(n)}
(g₅₇,eval_rank2_26), X₈: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₅₉,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₉,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₅: X₅ {O(n)}
(g₅₉,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₅₉,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₆₁,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₈: 8⋅X₅+4 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+24 {O(n^3)}
(g₆₃,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₃,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₅: X₅ {O(n)}
(g₆₃,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₆₃,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₂: 4⋅X₅+2 {O(n)}
(g₆₅,eval_rank2_29), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₅: X₅ {O(n)}
(g₆₅,eval_rank2_29), X₆: 12⋅X₅+6 {O(n)}
(g₆₅,eval_rank2_29), X₇: 8⋅X₅+4 {O(n)}
(g₆₅,eval_rank2_29), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₅,eval_rank2_29), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₇,eval_rank2_30), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₇,eval_rank2_30), X₂: 4⋅X₅+2 {O(n)}
(g₆₇,eval_rank2_30), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₅: X₅ {O(n)}
(g₆₇,eval_rank2_30), X₆: 12⋅X₅+6 {O(n)}
(g₆₇,eval_rank2_30), X₇: 8⋅X₅+4 {O(n)}
(g₆₇,eval_rank2_30), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₇,eval_rank2_30), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₉,eval_rank2_31), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₉,eval_rank2_31), X₂: 4⋅X₅+2 {O(n)}
(g₆₉,eval_rank2_31), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₅: X₅ {O(n)}
(g₆₉,eval_rank2_31), X₆: 12⋅X₅+6 {O(n)}
(g₆₉,eval_rank2_31), X₇: 8⋅X₅+4 {O(n)}
(g₆₉,eval_rank2_31), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₉,eval_rank2_31), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₁,eval_rank2_32), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₁,eval_rank2_32), X₂: 4⋅X₅+2 {O(n)}
(g₇₁,eval_rank2_32), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₅: X₅ {O(n)}
(g₇₁,eval_rank2_32), X₆: 12⋅X₅+6 {O(n)}
(g₇₁,eval_rank2_32), X₇: 8⋅X₅+4 {O(n)}
(g₇₁,eval_rank2_32), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₁,eval_rank2_32), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₂: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₇₃,eval_rank2_bb1_in), X₆: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₇: 8⋅X₅+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₇₅,eval_rank2_stop), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₇₅,eval_rank2_stop), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₅: 2⋅X₅ {O(n)}
(g₇₅,eval_rank2_stop), X₆: 5⋅X₅+2 {O(n)}
(g₇₅,eval_rank2_stop), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₇₅,eval_rank2_stop), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₇₅,eval_rank2_stop), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}

Run probabilistic analysis on SCC: [eval_rank2_bb9_in]

Run classical analysis on SCC: [eval_rank2_stop]

Classical Approximation after Lifting Classical Results

All Bounds
Timebounds

Overall timebound:76⋅X₅⋅X₅+96⋅X₅+24 {O(n^2)}
g₁: 1 {O(1)}
g₃: 1 {O(1)}
g₅: 1 {O(1)}
g₇: 1 {O(1)}
g₉: 1 {O(1)}
g₁₁: 1 {O(1)}
g₁₃: 1 {O(1)}
g₁₅: 1 {O(1)}
g₁₇: 1 {O(1)}
g₁₉: 1 {O(1)}
g₂₁: 1 {O(1)}
g₂₃: 8⋅X₅⋅X₅+7⋅X₅+1 {O(n^2)}
g₂₅: 1 {O(1)}
g₂₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₂₉: 2⋅X₅ {O(n)}
g₃₁: 16⋅X₅⋅X₅+10⋅X₅+2 {O(n^2)}
g₃₃: 2⋅X₅ {O(n)}
g₃₅: 4⋅X₅ {O(n)}
g₃₇: 2⋅X₅+1 {O(n)}
g₃₉: 2⋅X₅+1 {O(n)}
g₄₁: 2⋅X₅ {O(n)}
g₄₃: 6⋅X₅ {O(n)}
g₄₅: 2⋅X₅ {O(n)}
g₄₇: 4⋅X₅ {O(n)}
g₄₉: 2⋅X₅+1 {O(n)}
g₅₁: 2⋅X₅ {O(n)}
g₅₃: 2⋅X₅ {O(n)}
g₅₅: 3⋅X₅+2 {O(n)}
g₅₇: 4⋅X₅ {O(n)}
g₅₉: 2⋅X₅ {O(n)}
g₆₁: 2⋅X₅ {O(n)}
g₆₃: 4⋅X₅⋅X₅ {O(n^2)}
g₆₅: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₉: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₁: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₃: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₅: 1 {O(1)}

Costbounds

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₅₉: 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}

Sizebounds

(g₁,eval_rank2_bb0_in), X₀: X₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁: X₁ {O(n)}
(g₁,eval_rank2_bb0_in), X₂: X₂ {O(n)}
(g₁,eval_rank2_bb0_in), X₃: X₃ {O(n)}
(g₁,eval_rank2_bb0_in), X₄: X₄ {O(n)}
(g₁,eval_rank2_bb0_in), X₅: X₅ {O(n)}
(g₁,eval_rank2_bb0_in), X₆: X₆ {O(n)}
(g₁,eval_rank2_bb0_in), X₇: X₇ {O(n)}
(g₁,eval_rank2_bb0_in), X₈: X₈ {O(n)}
(g₁,eval_rank2_bb0_in), X₉: X₉ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₀: X₁₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₁: X₁₁ {O(n)}
(g₃,eval_rank2_0), X₀: X₀ {O(n)}
(g₃,eval_rank2_0), X₁: X₁ {O(n)}
(g₃,eval_rank2_0), X₂: X₂ {O(n)}
(g₃,eval_rank2_0), X₃: X₃ {O(n)}
(g₃,eval_rank2_0), X₄: X₄ {O(n)}
(g₃,eval_rank2_0), X₅: X₅ {O(n)}
(g₃,eval_rank2_0), X₆: X₆ {O(n)}
(g₃,eval_rank2_0), X₇: X₇ {O(n)}
(g₃,eval_rank2_0), X₈: X₈ {O(n)}
(g₃,eval_rank2_0), X₉: X₉ {O(n)}
(g₃,eval_rank2_0), X₁₀: X₁₀ {O(n)}
(g₃,eval_rank2_0), X₁₁: X₁₁ {O(n)}
(g₅,eval_rank2_1), X₀: X₀ {O(n)}
(g₅,eval_rank2_1), X₁: X₁ {O(n)}
(g₅,eval_rank2_1), X₂: X₂ {O(n)}
(g₅,eval_rank2_1), X₃: X₃ {O(n)}
(g₅,eval_rank2_1), X₄: X₄ {O(n)}
(g₅,eval_rank2_1), X₅: X₅ {O(n)}
(g₅,eval_rank2_1), X₆: X₆ {O(n)}
(g₅,eval_rank2_1), X₇: X₇ {O(n)}
(g₅,eval_rank2_1), X₈: X₈ {O(n)}
(g₅,eval_rank2_1), X₉: X₉ {O(n)}
(g₅,eval_rank2_1), X₁₀: X₁₀ {O(n)}
(g₅,eval_rank2_1), X₁₁: X₁₁ {O(n)}
(g₇,eval_rank2_2), X₀: X₀ {O(n)}
(g₇,eval_rank2_2), X₁: X₁ {O(n)}
(g₇,eval_rank2_2), X₂: X₂ {O(n)}
(g₇,eval_rank2_2), X₃: X₃ {O(n)}
(g₇,eval_rank2_2), X₄: X₄ {O(n)}
(g₇,eval_rank2_2), X₅: X₅ {O(n)}
(g₇,eval_rank2_2), X₆: X₆ {O(n)}
(g₇,eval_rank2_2), X₇: X₇ {O(n)}
(g₇,eval_rank2_2), X₈: X₈ {O(n)}
(g₇,eval_rank2_2), X₉: X₉ {O(n)}
(g₇,eval_rank2_2), X₁₀: X₁₀ {O(n)}
(g₇,eval_rank2_2), X₁₁: X₁₁ {O(n)}
(g₉,eval_rank2_3), X₀: X₀ {O(n)}
(g₉,eval_rank2_3), X₁: X₁ {O(n)}
(g₉,eval_rank2_3), X₂: X₂ {O(n)}
(g₉,eval_rank2_3), X₃: X₃ {O(n)}
(g₉,eval_rank2_3), X₄: X₄ {O(n)}
(g₉,eval_rank2_3), X₅: X₅ {O(n)}
(g₉,eval_rank2_3), X₆: X₆ {O(n)}
(g₉,eval_rank2_3), X₇: X₇ {O(n)}
(g₉,eval_rank2_3), X₈: X₈ {O(n)}
(g₉,eval_rank2_3), X₉: X₉ {O(n)}
(g₉,eval_rank2_3), X₁₀: X₁₀ {O(n)}
(g₉,eval_rank2_3), X₁₁: X₁₁ {O(n)}
(g₁₁,eval_rank2_4), X₀: X₀ {O(n)}
(g₁₁,eval_rank2_4), X₁: X₁ {O(n)}
(g₁₁,eval_rank2_4), X₂: X₂ {O(n)}
(g₁₁,eval_rank2_4), X₃: X₃ {O(n)}
(g₁₁,eval_rank2_4), X₄: X₄ {O(n)}
(g₁₁,eval_rank2_4), X₅: X₅ {O(n)}
(g₁₁,eval_rank2_4), X₆: X₆ {O(n)}
(g₁₁,eval_rank2_4), X₇: X₇ {O(n)}
(g₁₁,eval_rank2_4), X₈: X₈ {O(n)}
(g₁₁,eval_rank2_4), X₉: X₉ {O(n)}
(g₁₁,eval_rank2_4), X₁₀: X₁₀ {O(n)}
(g₁₁,eval_rank2_4), X₁₁: X₁₁ {O(n)}
(g₁₃,eval_rank2_5), X₀: X₀ {O(n)}
(g₁₃,eval_rank2_5), X₁: X₁ {O(n)}
(g₁₃,eval_rank2_5), X₂: X₂ {O(n)}
(g₁₃,eval_rank2_5), X₃: X₃ {O(n)}
(g₁₃,eval_rank2_5), X₄: X₄ {O(n)}
(g₁₃,eval_rank2_5), X₅: X₅ {O(n)}
(g₁₃,eval_rank2_5), X₆: X₆ {O(n)}
(g₁₃,eval_rank2_5), X₇: X₇ {O(n)}
(g₁₃,eval_rank2_5), X₈: X₈ {O(n)}
(g₁₃,eval_rank2_5), X₉: X₉ {O(n)}
(g₁₃,eval_rank2_5), X₁₀: X₁₀ {O(n)}
(g₁₃,eval_rank2_5), X₁₁: X₁₁ {O(n)}
(g₁₅,eval_rank2_6), X₀: X₀ {O(n)}
(g₁₅,eval_rank2_6), X₁: X₁ {O(n)}
(g₁₅,eval_rank2_6), X₂: X₂ {O(n)}
(g₁₅,eval_rank2_6), X₃: X₃ {O(n)}
(g₁₅,eval_rank2_6), X₄: X₄ {O(n)}
(g₁₅,eval_rank2_6), X₅: X₅ {O(n)}
(g₁₅,eval_rank2_6), X₆: X₆ {O(n)}
(g₁₅,eval_rank2_6), X₇: X₇ {O(n)}
(g₁₅,eval_rank2_6), X₈: X₈ {O(n)}
(g₁₅,eval_rank2_6), X₉: X₉ {O(n)}
(g₁₅,eval_rank2_6), X₁₀: X₁₀ {O(n)}
(g₁₅,eval_rank2_6), X₁₁: X₁₁ {O(n)}
(g₁₇,eval_rank2_7), X₀: X₀ {O(n)}
(g₁₇,eval_rank2_7), X₁: X₁ {O(n)}
(g₁₇,eval_rank2_7), X₂: X₂ {O(n)}
(g₁₇,eval_rank2_7), X₃: X₃ {O(n)}
(g₁₇,eval_rank2_7), X₄: X₄ {O(n)}
(g₁₇,eval_rank2_7), X₅: X₅ {O(n)}
(g₁₇,eval_rank2_7), X₆: X₆ {O(n)}
(g₁₇,eval_rank2_7), X₇: X₇ {O(n)}
(g₁₇,eval_rank2_7), X₈: X₈ {O(n)}
(g₁₇,eval_rank2_7), X₉: X₉ {O(n)}
(g₁₇,eval_rank2_7), X₁₀: X₁₀ {O(n)}
(g₁₇,eval_rank2_7), X₁₁: X₁₁ {O(n)}
(g₁₉,eval_rank2_8), X₀: X₀ {O(n)}
(g₁₉,eval_rank2_8), X₁: X₁ {O(n)}
(g₁₉,eval_rank2_8), X₂: X₂ {O(n)}
(g₁₉,eval_rank2_8), X₃: X₃ {O(n)}
(g₁₉,eval_rank2_8), X₄: X₄ {O(n)}
(g₁₉,eval_rank2_8), X₅: X₅ {O(n)}
(g₁₉,eval_rank2_8), X₆: X₆ {O(n)}
(g₁₉,eval_rank2_8), X₇: X₇ {O(n)}
(g₁₉,eval_rank2_8), X₈: X₈ {O(n)}
(g₁₉,eval_rank2_8), X₉: X₉ {O(n)}
(g₁₉,eval_rank2_8), X₁₀: X₁₀ {O(n)}
(g₁₉,eval_rank2_8), X₁₁: X₁₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₀: X₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁: X₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₂: X₂ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₃: X₃ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₄: X₄ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₆: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₇: X₇ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₈: X₈ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₉: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₀: X₁₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₁: X₁₁ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₅: X₅ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₅: 2⋅X₅ {O(n)}
(g₂₅,eval_rank2_bb9_in), X₆: 5⋅X₅+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₂₇,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₅: X₅ {O(n)}
(g₂₉,eval_rank2_bb4_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₂: 2⋅X₂+8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₃: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₃+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₁,eval_rank2__critedge_in), X₆: 8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₉: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₃,eval_rank2_14), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₃,eval_rank2_14), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₃,eval_rank2_14), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₅: X₅ {O(n)}
(g₃₃,eval_rank2_14), X₆: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₇: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₃,eval_rank2_14), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₅,eval_rank2_15), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₅,eval_rank2_15), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₅,eval_rank2_15), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₅: X₅ {O(n)}
(g₃₅,eval_rank2_15), X₆: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₇: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₅,eval_rank2_15), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₅: X₅ {O(n)}
(g₃₇,eval_rank2_bb5_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₉,eval_rank2__critedge_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₄₁,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₅: X₅ {O(n)}
(g₄₃,eval_rank2_bb7_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁+24 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₇: 8⋅X₅+4 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₀: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₇,eval_rank2_20), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₇,eval_rank2_20), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₅: X₅ {O(n)}
(g₄₇,eval_rank2_20), X₆: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₇: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₈: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₉,eval_rank2_21), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₉,eval_rank2_21), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₅: X₅ {O(n)}
(g₄₉,eval_rank2_21), X₆: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₇: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₈: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₅: X₅ {O(n)}
(g₅₁,eval_rank2_bb8_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₅₅,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₇,eval_rank2_26), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₅: X₅ {O(n)}
(g₅₇,eval_rank2_26), X₆: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₇: 12⋅X₅+6 {O(n)}
(g₅₇,eval_rank2_26), X₈: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₅₉,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₉,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₅: X₅ {O(n)}
(g₅₉,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₅₉,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₆₁,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₈: 8⋅X₅+4 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+24 {O(n^3)}
(g₆₃,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₃,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₅: X₅ {O(n)}
(g₆₃,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₆₃,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₂: 4⋅X₅+2 {O(n)}
(g₆₅,eval_rank2_29), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₅: X₅ {O(n)}
(g₆₅,eval_rank2_29), X₆: 12⋅X₅+6 {O(n)}
(g₆₅,eval_rank2_29), X₇: 8⋅X₅+4 {O(n)}
(g₆₅,eval_rank2_29), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₅,eval_rank2_29), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₇,eval_rank2_30), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₇,eval_rank2_30), X₂: 4⋅X₅+2 {O(n)}
(g₆₇,eval_rank2_30), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₅: X₅ {O(n)}
(g₆₇,eval_rank2_30), X₆: 12⋅X₅+6 {O(n)}
(g₆₇,eval_rank2_30), X₇: 8⋅X₅+4 {O(n)}
(g₆₇,eval_rank2_30), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₇,eval_rank2_30), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₉,eval_rank2_31), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₉,eval_rank2_31), X₂: 4⋅X₅+2 {O(n)}
(g₆₉,eval_rank2_31), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₅: X₅ {O(n)}
(g₆₉,eval_rank2_31), X₆: 12⋅X₅+6 {O(n)}
(g₆₉,eval_rank2_31), X₇: 8⋅X₅+4 {O(n)}
(g₆₉,eval_rank2_31), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₉,eval_rank2_31), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₁,eval_rank2_32), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₁,eval_rank2_32), X₂: 4⋅X₅+2 {O(n)}
(g₇₁,eval_rank2_32), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₅: X₅ {O(n)}
(g₇₁,eval_rank2_32), X₆: 12⋅X₅+6 {O(n)}
(g₇₁,eval_rank2_32), X₇: 8⋅X₅+4 {O(n)}
(g₇₁,eval_rank2_32), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₁,eval_rank2_32), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₂: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₇₃,eval_rank2_bb1_in), X₆: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₇: 8⋅X₅+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₇₅,eval_rank2_stop), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₇₅,eval_rank2_stop), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₅: 2⋅X₅ {O(n)}
(g₇₅,eval_rank2_stop), X₆: 5⋅X₅+2 {O(n)}
(g₇₅,eval_rank2_stop), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₇₅,eval_rank2_stop), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₇₅,eval_rank2_stop), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}

Run probabilistic analysis on SCC: [eval_rank2_stop]

Results of Probabilistic Analysis

All Bounds

Timebounds

Overall timebound:76⋅X₅⋅X₅+96⋅X₅+24 {O(n^2)}
g₁: 1 {O(1)}
g₃: 1 {O(1)}
g₅: 1 {O(1)}
g₇: 1 {O(1)}
g₉: 1 {O(1)}
g₁₁: 1 {O(1)}
g₁₃: 1 {O(1)}
g₁₅: 1 {O(1)}
g₁₇: 1 {O(1)}
g₁₉: 1 {O(1)}
g₂₁: 1 {O(1)}
g₂₃: 8⋅X₅⋅X₅+7⋅X₅+1 {O(n^2)}
g₂₅: 1 {O(1)}
g₂₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₂₉: 2⋅X₅ {O(n)}
g₃₁: 16⋅X₅⋅X₅+10⋅X₅+2 {O(n^2)}
g₃₃: 2⋅X₅ {O(n)}
g₃₅: 4⋅X₅ {O(n)}
g₃₇: 2⋅X₅+1 {O(n)}
g₃₉: 2⋅X₅+1 {O(n)}
g₄₁: 2⋅X₅ {O(n)}
g₄₃: 6⋅X₅ {O(n)}
g₄₅: 2⋅X₅ {O(n)}
g₄₇: 4⋅X₅ {O(n)}
g₄₉: 2⋅X₅+1 {O(n)}
g₅₁: 2⋅X₅ {O(n)}
g₅₃: 2⋅X₅ {O(n)}
g₅₅: 3⋅X₅+2 {O(n)}
g₅₇: 4⋅X₅ {O(n)}
g₅₉: 2⋅X₅ {O(n)}
g₆₁: 2⋅X₅ {O(n)}
g₆₃: 4⋅X₅⋅X₅ {O(n^2)}
g₆₅: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₉: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₁: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₃: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₅: 1 {O(1)}

Costbounds

Overall costbound: 76⋅X₅⋅X₅+96⋅X₅+24 {O(n^2)}
g₁: 1 {O(1)}
g₃: 1 {O(1)}
g₅: 1 {O(1)}
g₇: 1 {O(1)}
g₉: 1 {O(1)}
g₁₁: 1 {O(1)}
g₁₃: 1 {O(1)}
g₁₅: 1 {O(1)}
g₁₇: 1 {O(1)}
g₁₉: 1 {O(1)}
g₂₁: 1 {O(1)}
g₂₃: 8⋅X₅⋅X₅+7⋅X₅+1 {O(n^2)}
g₂₅: 1 {O(1)}
g₂₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₂₉: 2⋅X₅ {O(n)}
g₃₁: 16⋅X₅⋅X₅+10⋅X₅+2 {O(n^2)}
g₃₃: 2⋅X₅ {O(n)}
g₃₅: 4⋅X₅ {O(n)}
g₃₇: 2⋅X₅+1 {O(n)}
g₃₉: 2⋅X₅+1 {O(n)}
g₄₁: 2⋅X₅ {O(n)}
g₄₃: 6⋅X₅ {O(n)}
g₄₅: 2⋅X₅ {O(n)}
g₄₇: 4⋅X₅ {O(n)}
g₄₉: 2⋅X₅+1 {O(n)}
g₅₁: 2⋅X₅ {O(n)}
g₅₃: 2⋅X₅ {O(n)}
g₅₅: 3⋅X₅+2 {O(n)}
g₅₇: 4⋅X₅ {O(n)}
g₅₉: 2⋅X₅ {O(n)}
g₆₁: 2⋅X₅ {O(n)}
g₆₃: 4⋅X₅⋅X₅ {O(n^2)}
g₆₅: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₇: 8⋅X₅⋅X₅+7⋅X₅ {O(n^2)}
g₆₉: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₁: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₃: 8⋅X₅⋅X₅+5⋅X₅+1 {O(n^2)}
g₇₅: 1 {O(1)}

Sizebounds

(g₁,eval_rank2_bb0_in), X₀: X₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁: X₁ {O(n)}
(g₁,eval_rank2_bb0_in), X₂: X₂ {O(n)}
(g₁,eval_rank2_bb0_in), X₃: X₃ {O(n)}
(g₁,eval_rank2_bb0_in), X₄: X₄ {O(n)}
(g₁,eval_rank2_bb0_in), X₅: X₅ {O(n)}
(g₁,eval_rank2_bb0_in), X₆: X₆ {O(n)}
(g₁,eval_rank2_bb0_in), X₇: X₇ {O(n)}
(g₁,eval_rank2_bb0_in), X₈: X₈ {O(n)}
(g₁,eval_rank2_bb0_in), X₉: X₉ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₀: X₁₀ {O(n)}
(g₁,eval_rank2_bb0_in), X₁₁: X₁₁ {O(n)}
(g₃,eval_rank2_0), X₀: X₀ {O(n)}
(g₃,eval_rank2_0), X₁: X₁ {O(n)}
(g₃,eval_rank2_0), X₂: X₂ {O(n)}
(g₃,eval_rank2_0), X₃: X₃ {O(n)}
(g₃,eval_rank2_0), X₄: X₄ {O(n)}
(g₃,eval_rank2_0), X₅: X₅ {O(n)}
(g₃,eval_rank2_0), X₆: X₆ {O(n)}
(g₃,eval_rank2_0), X₇: X₇ {O(n)}
(g₃,eval_rank2_0), X₈: X₈ {O(n)}
(g₃,eval_rank2_0), X₉: X₉ {O(n)}
(g₃,eval_rank2_0), X₁₀: X₁₀ {O(n)}
(g₃,eval_rank2_0), X₁₁: X₁₁ {O(n)}
(g₅,eval_rank2_1), X₀: X₀ {O(n)}
(g₅,eval_rank2_1), X₁: X₁ {O(n)}
(g₅,eval_rank2_1), X₂: X₂ {O(n)}
(g₅,eval_rank2_1), X₃: X₃ {O(n)}
(g₅,eval_rank2_1), X₄: X₄ {O(n)}
(g₅,eval_rank2_1), X₅: X₅ {O(n)}
(g₅,eval_rank2_1), X₆: X₆ {O(n)}
(g₅,eval_rank2_1), X₇: X₇ {O(n)}
(g₅,eval_rank2_1), X₈: X₈ {O(n)}
(g₅,eval_rank2_1), X₉: X₉ {O(n)}
(g₅,eval_rank2_1), X₁₀: X₁₀ {O(n)}
(g₅,eval_rank2_1), X₁₁: X₁₁ {O(n)}
(g₇,eval_rank2_2), X₀: X₀ {O(n)}
(g₇,eval_rank2_2), X₁: X₁ {O(n)}
(g₇,eval_rank2_2), X₂: X₂ {O(n)}
(g₇,eval_rank2_2), X₃: X₃ {O(n)}
(g₇,eval_rank2_2), X₄: X₄ {O(n)}
(g₇,eval_rank2_2), X₅: X₅ {O(n)}
(g₇,eval_rank2_2), X₆: X₆ {O(n)}
(g₇,eval_rank2_2), X₇: X₇ {O(n)}
(g₇,eval_rank2_2), X₈: X₈ {O(n)}
(g₇,eval_rank2_2), X₉: X₉ {O(n)}
(g₇,eval_rank2_2), X₁₀: X₁₀ {O(n)}
(g₇,eval_rank2_2), X₁₁: X₁₁ {O(n)}
(g₉,eval_rank2_3), X₀: X₀ {O(n)}
(g₉,eval_rank2_3), X₁: X₁ {O(n)}
(g₉,eval_rank2_3), X₂: X₂ {O(n)}
(g₉,eval_rank2_3), X₃: X₃ {O(n)}
(g₉,eval_rank2_3), X₄: X₄ {O(n)}
(g₉,eval_rank2_3), X₅: X₅ {O(n)}
(g₉,eval_rank2_3), X₆: X₆ {O(n)}
(g₉,eval_rank2_3), X₇: X₇ {O(n)}
(g₉,eval_rank2_3), X₈: X₈ {O(n)}
(g₉,eval_rank2_3), X₉: X₉ {O(n)}
(g₉,eval_rank2_3), X₁₀: X₁₀ {O(n)}
(g₉,eval_rank2_3), X₁₁: X₁₁ {O(n)}
(g₁₁,eval_rank2_4), X₀: X₀ {O(n)}
(g₁₁,eval_rank2_4), X₁: X₁ {O(n)}
(g₁₁,eval_rank2_4), X₂: X₂ {O(n)}
(g₁₁,eval_rank2_4), X₃: X₃ {O(n)}
(g₁₁,eval_rank2_4), X₄: X₄ {O(n)}
(g₁₁,eval_rank2_4), X₅: X₅ {O(n)}
(g₁₁,eval_rank2_4), X₆: X₆ {O(n)}
(g₁₁,eval_rank2_4), X₇: X₇ {O(n)}
(g₁₁,eval_rank2_4), X₈: X₈ {O(n)}
(g₁₁,eval_rank2_4), X₉: X₉ {O(n)}
(g₁₁,eval_rank2_4), X₁₀: X₁₀ {O(n)}
(g₁₁,eval_rank2_4), X₁₁: X₁₁ {O(n)}
(g₁₃,eval_rank2_5), X₀: X₀ {O(n)}
(g₁₃,eval_rank2_5), X₁: X₁ {O(n)}
(g₁₃,eval_rank2_5), X₂: X₂ {O(n)}
(g₁₃,eval_rank2_5), X₃: X₃ {O(n)}
(g₁₃,eval_rank2_5), X₄: X₄ {O(n)}
(g₁₃,eval_rank2_5), X₅: X₅ {O(n)}
(g₁₃,eval_rank2_5), X₆: X₆ {O(n)}
(g₁₃,eval_rank2_5), X₇: X₇ {O(n)}
(g₁₃,eval_rank2_5), X₈: X₈ {O(n)}
(g₁₃,eval_rank2_5), X₉: X₉ {O(n)}
(g₁₃,eval_rank2_5), X₁₀: X₁₀ {O(n)}
(g₁₃,eval_rank2_5), X₁₁: X₁₁ {O(n)}
(g₁₅,eval_rank2_6), X₀: X₀ {O(n)}
(g₁₅,eval_rank2_6), X₁: X₁ {O(n)}
(g₁₅,eval_rank2_6), X₂: X₂ {O(n)}
(g₁₅,eval_rank2_6), X₃: X₃ {O(n)}
(g₁₅,eval_rank2_6), X₄: X₄ {O(n)}
(g₁₅,eval_rank2_6), X₅: X₅ {O(n)}
(g₁₅,eval_rank2_6), X₆: X₆ {O(n)}
(g₁₅,eval_rank2_6), X₇: X₇ {O(n)}
(g₁₅,eval_rank2_6), X₈: X₈ {O(n)}
(g₁₅,eval_rank2_6), X₉: X₉ {O(n)}
(g₁₅,eval_rank2_6), X₁₀: X₁₀ {O(n)}
(g₁₅,eval_rank2_6), X₁₁: X₁₁ {O(n)}
(g₁₇,eval_rank2_7), X₀: X₀ {O(n)}
(g₁₇,eval_rank2_7), X₁: X₁ {O(n)}
(g₁₇,eval_rank2_7), X₂: X₂ {O(n)}
(g₁₇,eval_rank2_7), X₃: X₃ {O(n)}
(g₁₇,eval_rank2_7), X₄: X₄ {O(n)}
(g₁₇,eval_rank2_7), X₅: X₅ {O(n)}
(g₁₇,eval_rank2_7), X₆: X₆ {O(n)}
(g₁₇,eval_rank2_7), X₇: X₇ {O(n)}
(g₁₇,eval_rank2_7), X₈: X₈ {O(n)}
(g₁₇,eval_rank2_7), X₉: X₉ {O(n)}
(g₁₇,eval_rank2_7), X₁₀: X₁₀ {O(n)}
(g₁₇,eval_rank2_7), X₁₁: X₁₁ {O(n)}
(g₁₉,eval_rank2_8), X₀: X₀ {O(n)}
(g₁₉,eval_rank2_8), X₁: X₁ {O(n)}
(g₁₉,eval_rank2_8), X₂: X₂ {O(n)}
(g₁₉,eval_rank2_8), X₃: X₃ {O(n)}
(g₁₉,eval_rank2_8), X₄: X₄ {O(n)}
(g₁₉,eval_rank2_8), X₅: X₅ {O(n)}
(g₁₉,eval_rank2_8), X₆: X₆ {O(n)}
(g₁₉,eval_rank2_8), X₇: X₇ {O(n)}
(g₁₉,eval_rank2_8), X₈: X₈ {O(n)}
(g₁₉,eval_rank2_8), X₉: X₉ {O(n)}
(g₁₉,eval_rank2_8), X₁₀: X₁₀ {O(n)}
(g₁₉,eval_rank2_8), X₁₁: X₁₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₀: X₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁: X₁ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₂: X₂ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₃: X₃ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₄: X₄ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₆: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₇: X₇ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₈: X₈ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₉: X₅ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₀: X₁₀ {O(n)}
(g₂₁,eval_rank2_bb1_in), X₁₁: X₁₁ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₅: X₅ {O(n)}
(g₂₃,eval_rank2_bb2_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₃,eval_rank2_bb2_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₃,eval_rank2_bb2_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₅: 2⋅X₅ {O(n)}
(g₂₅,eval_rank2_bb9_in), X₆: 5⋅X₅+2 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₂₅,eval_rank2_bb9_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₂₅,eval_rank2_bb9_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₂₇,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₇,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₇,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₅: X₅ {O(n)}
(g₂₉,eval_rank2_bb4_in), X₆: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₇: 4⋅X₅+2 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₂₉,eval_rank2_bb4_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₂₉,eval_rank2_bb4_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₂: 2⋅X₂+8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₃: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₃+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₁,eval_rank2__critedge_in), X₆: 8⋅X₅+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₁,eval_rank2__critedge_in), X₉: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₁,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₃,eval_rank2_14), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₃,eval_rank2_14), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₃,eval_rank2_14), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₅: X₅ {O(n)}
(g₃₃,eval_rank2_14), X₆: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₇: 4⋅X₅+2 {O(n)}
(g₃₃,eval_rank2_14), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₃,eval_rank2_14), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₃,eval_rank2_14), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₅,eval_rank2_15), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₅,eval_rank2_15), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₅,eval_rank2_15), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₅: X₅ {O(n)}
(g₃₅,eval_rank2_15), X₆: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₇: 4⋅X₅+2 {O(n)}
(g₃₅,eval_rank2_15), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₅,eval_rank2_15), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₅,eval_rank2_15), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₅: X₅ {O(n)}
(g₃₇,eval_rank2_bb5_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₇,eval_rank2_bb5_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₇,eval_rank2_bb5_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₅: X₅ {O(n)}
(g₃₉,eval_rank2__critedge_in), X₆: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₇: 4⋅X₅+2 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₃₉,eval_rank2__critedge_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₃₉,eval_rank2__critedge_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₄₁,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₁,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₁,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₅: X₅ {O(n)}
(g₄₃,eval_rank2_bb7_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₇: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₃,eval_rank2_bb7_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₃,eval_rank2_bb7_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁+24 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₇: 8⋅X₅+4 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₄₅,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₀: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₄₅,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₇,eval_rank2_20), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₇,eval_rank2_20), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₅: X₅ {O(n)}
(g₄₇,eval_rank2_20), X₆: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₇: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₈: 4⋅X₅+2 {O(n)}
(g₄₇,eval_rank2_20), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₇,eval_rank2_20), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₄₉,eval_rank2_21), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₄₉,eval_rank2_21), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₅: X₅ {O(n)}
(g₄₉,eval_rank2_21), X₆: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₇: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₈: 4⋅X₅+2 {O(n)}
(g₄₉,eval_rank2_21), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₄₉,eval_rank2_21), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₅: X₅ {O(n)}
(g₅₁,eval_rank2_bb8_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₁,eval_rank2_bb8_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₁,eval_rank2_bb8_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₅: X₅ {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₃,eval_rank2__critedge1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₃,eval_rank2__critedge1_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₅: X₅ {O(n)}
(g₅₅,eval_rank2_bb6_in), X₆: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₇: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₈: 4⋅X₅+2 {O(n)}
(g₅₅,eval_rank2_bb6_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₅,eval_rank2_bb6_in), X₁₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₇,eval_rank2_26), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₅: X₅ {O(n)}
(g₅₇,eval_rank2_26), X₆: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₇: 12⋅X₅+6 {O(n)}
(g₅₇,eval_rank2_26), X₈: 4⋅X₅+2 {O(n)}
(g₅₇,eval_rank2_26), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₇,eval_rank2_26), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₅₉,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₅₉,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₅: X₅ {O(n)}
(g₅₉,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₅₉,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₅₉,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₅₉,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₅: X₅ {O(n)}
(g₆₁,eval_rank2_bb3_in), X₆: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₇: 4⋅X₅+2 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₈: 8⋅X₅+4 {O(n)}
(g₆₁,eval_rank2_bb3_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₁,eval_rank2_bb3_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+24 {O(n^3)}
(g₆₃,eval_rank2_27), X₁: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₆₃,eval_rank2_27), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₅: X₅ {O(n)}
(g₆₃,eval_rank2_27), X₆: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₇: 12⋅X₅+6 {O(n)}
(g₆₃,eval_rank2_27), X₈: 4⋅X₅+2 {O(n)}
(g₆₃,eval_rank2_27), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₀: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₃,eval_rank2_27), X₁₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₅,eval_rank2_29), X₂: 4⋅X₅+2 {O(n)}
(g₆₅,eval_rank2_29), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₅: X₅ {O(n)}
(g₆₅,eval_rank2_29), X₆: 12⋅X₅+6 {O(n)}
(g₆₅,eval_rank2_29), X₇: 8⋅X₅+4 {O(n)}
(g₆₅,eval_rank2_29), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₅,eval_rank2_29), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₅,eval_rank2_29), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₇,eval_rank2_30), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₇,eval_rank2_30), X₂: 4⋅X₅+2 {O(n)}
(g₆₇,eval_rank2_30), X₃: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+3⋅X₃+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₅: X₅ {O(n)}
(g₆₇,eval_rank2_30), X₆: 12⋅X₅+6 {O(n)}
(g₆₇,eval_rank2_30), X₇: 8⋅X₅+4 {O(n)}
(g₆₇,eval_rank2_30), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₇,eval_rank2_30), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₇,eval_rank2_30), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₆₉,eval_rank2_31), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₆₉,eval_rank2_31), X₂: 4⋅X₅+2 {O(n)}
(g₆₉,eval_rank2_31), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₅: X₅ {O(n)}
(g₆₉,eval_rank2_31), X₆: 12⋅X₅+6 {O(n)}
(g₆₉,eval_rank2_31), X₇: 8⋅X₅+4 {O(n)}
(g₆₉,eval_rank2_31), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₆₉,eval_rank2_31), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₆₉,eval_rank2_31), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₁,eval_rank2_32), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₁,eval_rank2_32), X₂: 4⋅X₅+2 {O(n)}
(g₇₁,eval_rank2_32), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₅: X₅ {O(n)}
(g₇₁,eval_rank2_32), X₆: 12⋅X₅+6 {O(n)}
(g₇₁,eval_rank2_32), X₇: 8⋅X₅+4 {O(n)}
(g₇₁,eval_rank2_32), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₁,eval_rank2_32), X₉: 192⋅X₅⋅X₅⋅X₅+240⋅X₅⋅X₅+111⋅X₅+18 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₁,eval_rank2_32), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+74⋅X₅+X₁+12 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₂: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₅: X₅ {O(n)}
(g₇₃,eval_rank2_bb1_in), X₆: 4⋅X₅+2 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₇: 8⋅X₅+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₈: 8⋅X₅+X₈+4 {O(n)}
(g₇₃,eval_rank2_bb1_in), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+6 {O(n^3)}
(g₇₃,eval_rank2_bb1_in), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+X₁₁+24 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁: 128⋅X₅⋅X₅⋅X₅+160⋅X₅⋅X₅+2⋅X₁+74⋅X₅+12 {O(n^3)}
(g₇₅,eval_rank2_stop), X₂: 4⋅X₅+X₂+2 {O(n)}
(g₇₅,eval_rank2_stop), X₃: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₃+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₅: 2⋅X₅ {O(n)}
(g₇₅,eval_rank2_stop), X₆: 5⋅X₅+2 {O(n)}
(g₇₅,eval_rank2_stop), X₇: 8⋅X₅+X₇+4 {O(n)}
(g₇₅,eval_rank2_stop), X₈: 2⋅X₈+8⋅X₅+4 {O(n)}
(g₇₅,eval_rank2_stop), X₉: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+38⋅X₅+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₀: 64⋅X₅⋅X₅⋅X₅+80⋅X₅⋅X₅+37⋅X₅+X₁₀+6 {O(n^3)}
(g₇₅,eval_rank2_stop), X₁₁: 256⋅X₅⋅X₅⋅X₅+320⋅X₅⋅X₅+148⋅X₅+2⋅X₁₁+24 {O(n^3)}