Analysing control-flow refined program

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

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

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

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

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

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

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

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

All Bounds

Timebounds

Overall timebound:130⋅X₁₁⋅X₁₁+130⋅X₁₂⋅X₁₂+260⋅X₁₁⋅X₁₂+13⋅X₁₀+58⋅X₁₁+58⋅X₁₂+20 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₃: 1 {O(1)}
t₄: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₇: 2⋅X₁₁+2⋅X₁₂+1 {O(n)}
t₈: X₁₁+X₁₂ {O(n)}
t₉: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₁₀: X₁₁+X₁₂+1 {O(n)}
t₁₂: X₁₁+X₁₂ {O(n)}
t₁₃: X₁₁+X₁₂ {O(n)}
t₁₄: X₁₁+X₁₂ {O(n)}
t₁₅: X₁₁+X₁₂ {O(n)}
t₁₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₁₇: X₁₁+X₁₂ {O(n)}
t₁₈: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₁₉: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₂₀: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₂: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₂₃: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₄: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₅: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₇: 1 {O(1)}

Costbounds

Overall costbound: 130⋅X₁₁⋅X₁₁+130⋅X₁₂⋅X₁₂+260⋅X₁₁⋅X₁₂+13⋅X₁₀+58⋅X₁₁+58⋅X₁₂+20 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₃: 1 {O(1)}
t₄: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₇: 2⋅X₁₁+2⋅X₁₂+1 {O(n)}
t₈: X₁₁+X₁₂ {O(n)}
t₉: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+7⋅X₁₁+7⋅X₁₂+X₁₀+2 {O(n^2)}
t₁₀: X₁₁+X₁₂+1 {O(n)}
t₁₂: X₁₁+X₁₂ {O(n)}
t₁₃: X₁₁+X₁₂ {O(n)}
t₁₄: X₁₁+X₁₂ {O(n)}
t₁₅: X₁₁+X₁₂ {O(n)}
t₁₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₁₇: X₁₁+X₁₂ {O(n)}
t₁₈: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₁₉: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₂₀: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₂: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+X₁₀+X₁₁+X₁₂ {O(n^2)}
t₂₃: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₄: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₅: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₆: 10⋅X₁₁⋅X₁₁+10⋅X₁₂⋅X₁₂+20⋅X₁₁⋅X₁₂+3⋅X₁₁+3⋅X₁₂+X₁₀+1 {O(n^2)}
t₂₇: 1 {O(1)}

Sizebounds

t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {O(n)}
t₀, X₂: X₂ {O(n)}
t₀, X₃: X₃ {O(n)}
t₀, X₄: X₄ {O(n)}
t₀, X₅: X₅ {O(n)}
t₀, X₆: X₆ {O(n)}
t₀, X₇: X₇ {O(n)}
t₀, X₈: X₈ {O(n)}
t₀, X₉: X₉ {O(n)}
t₀, X₁₀: X₁₀ {O(n)}
t₀, X₁₁: X₁₁ {O(n)}
t₀, X₁₂: X₁₂ {O(n)}
t₁, X₀: X₁₁ {O(n)}
t₁, X₁: X₁₀ {O(n)}
t₁, X₂: X₂ {O(n)}
t₁, X₃: X₃ {O(n)}
t₁, X₄: X₄ {O(n)}
t₁, X₅: X₅ {O(n)}
t₁, X₆: X₆ {O(n)}
t₁, X₇: X₇ {O(n)}
t₁, X₈: X₈ {O(n)}
t₁, X₉: X₉ {O(n)}
t₁, X₁₀: X₁₀ {O(n)}
t₁, X₁₁: X₁₁ {O(n)}
t₁, X₁₂: X₁₂ {O(n)}
t₂, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₂, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₂, X₄: 40⋅X₁₂+50⋅X₁₁+X₄+10 {O(n)}
t₂, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₂, X₁₀: X₁₀ {O(n)}
t₂, X₁₁: X₁₁ {O(n)}
t₂, X₁₂: X₁₂ {O(n)}
t₃, X₀: 16⋅X₁₂+21⋅X₁₁ {O(n)}
t₃, X₁: 2⋅X₁₁+2⋅X₁₂+3⋅X₁₀ {O(n)}
t₃, X₂: 5⋅X₂+8⋅X₁₀+8⋅X₁₁+8⋅X₁₂ {O(n)}
t₃, X₃: 5⋅X₃+8⋅X₁₀+8⋅X₁₁+8⋅X₁₂ {O(n)}
t₃, X₄: 28⋅X₁₂+35⋅X₁₁+X₄+7 {O(n)}
t₃, X₇: 12⋅X₁₀+12⋅X₁₁+12⋅X₁₂+2⋅X₇+12 {O(n)}
t₃, X₉: 12⋅X₁₀+12⋅X₁₁+12⋅X₁₂+5⋅X₉ {O(n)}
t₃, X₁₀: 5⋅X₁₀ {O(n)}
t₃, X₁₁: 5⋅X₁₁ {O(n)}
t₃, X₁₂: 5⋅X₁₂ {O(n)}
t₄, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₄, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₄, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₄, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₄, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₄, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₄, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₄, X₁₀: X₁₀ {O(n)}
t₄, X₁₁: X₁₁ {O(n)}
t₄, X₁₂: X₁₂ {O(n)}
t₆, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₆, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₆, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₆, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₆, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₆, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₆, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₆, X₁₀: X₁₀ {O(n)}
t₆, X₁₁: X₁₁ {O(n)}
t₆, X₁₂: X₁₂ {O(n)}
t₇, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₇, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₇, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₇, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₇, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₇, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₇, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₇, X₁₀: X₁₀ {O(n)}
t₇, X₁₁: X₁₁ {O(n)}
t₇, X₁₂: X₁₂ {O(n)}
t₈, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₈, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₈, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₈, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₈, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₈, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₈, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₈, X₁₀: X₁₀ {O(n)}
t₈, X₁₁: X₁₁ {O(n)}
t₈, X₁₂: X₁₂ {O(n)}
t₉, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₉, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₉, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₉, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₉, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₉, X₆: 0 {O(1)}
t₉, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₉, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₉, X₁₀: X₁₀ {O(n)}
t₉, X₁₁: X₁₁ {O(n)}
t₉, X₁₂: X₁₂ {O(n)}
t₁₀, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₀, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₀, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₀, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₀, X₄: 10⋅X₁₁+8⋅X₁₂+2 {O(n)}
t₁₀, X₇: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+2 {O(n)}
t₁₀, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₀, X₁₀: X₁₀ {O(n)}
t₁₀, X₁₁: X₁₁ {O(n)}
t₁₀, X₁₂: X₁₂ {O(n)}
t₁₂, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₂, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₂, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₂, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₂, X₄: 10⋅X₁₁+8⋅X₁₂+2 {O(n)}
t₁₂, X₇: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+2 {O(n)}
t₁₂, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₂, X₁₀: X₁₀ {O(n)}
t₁₂, X₁₁: X₁₁ {O(n)}
t₁₂, X₁₂: X₁₂ {O(n)}
t₁₃, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₃, X₁: 0 {O(1)}
t₁₃, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₃, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₃, X₄: 10⋅X₁₁+8⋅X₁₂+2 {O(n)}
t₁₃, X₇: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+2 {O(n)}
t₁₃, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₃, X₁₀: X₁₀ {O(n)}
t₁₃, X₁₁: X₁₁ {O(n)}
t₁₃, X₁₂: X₁₂ {O(n)}
t₁₄, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₄, X₁: 0 {O(1)}
t₁₄, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₄, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₄, X₄: 10⋅X₁₁+8⋅X₁₂+2 {O(n)}
t₁₄, X₇: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+2 {O(n)}
t₁₄, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₄, X₁₀: X₁₀ {O(n)}
t₁₄, X₁₁: X₁₁ {O(n)}
t₁₄, X₁₂: X₁₂ {O(n)}
t₁₅, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₅, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₅, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₅, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₅, X₄: 10⋅X₁₁+8⋅X₁₂+2 {O(n)}
t₁₅, X₇: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+2 {O(n)}
t₁₅, X₈: 0 {O(1)}
t₁₅, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₅, X₁₀: X₁₀ {O(n)}
t₁₅, X₁₁: X₁₁ {O(n)}
t₁₅, X₁₂: X₁₂ {O(n)}
t₁₆, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₆, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₆, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₆, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₆, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₁₆, X₆: 0 {O(1)}
t₁₆, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₁₆, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₆, X₁₀: X₁₀ {O(n)}
t₁₆, X₁₁: X₁₁ {O(n)}
t₁₆, X₁₂: X₁₂ {O(n)}
t₁₇, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₇, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₇, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₂ {O(n)}
t₁₇, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₇, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₁₇, X₆: 0 {O(1)}
t₁₇, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₁₇, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂+X₉ {O(n)}
t₁₇, X₁₀: X₁₀ {O(n)}
t₁₇, X₁₁: X₁₁ {O(n)}
t₁₇, X₁₂: X₁₂ {O(n)}
t₁₈, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₈, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₈, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₈, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₁₈, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₁₈, X₆: 0 {O(1)}
t₁₈, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₁₈, X₉: 4⋅X₁₀+4⋅X₁₁+4⋅X₁₂+X₉ {O(n)}
t₁₈, X₁₀: X₁₀ {O(n)}
t₁₈, X₁₁: X₁₁ {O(n)}
t₁₈, X₁₂: X₁₂ {O(n)}
t₁₉, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₁₉, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₉, X₂: 0 {O(1)}
t₁₉, X₃: 0 {O(1)}
t₁₉, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₁₉, X₅: 0 {O(1)}
t₁₉, X₆: 0 {O(1)}
t₁₉, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₁₉, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₁₉, X₁₀: X₁₀ {O(n)}
t₁₉, X₁₁: X₁₁ {O(n)}
t₁₉, X₁₂: X₁₂ {O(n)}
t₂₀, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₀, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₀, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₀, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₂₀, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₂₀, X₆: 0 {O(1)}
t₂₀, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₀, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₀, X₁₀: X₁₀ {O(n)}
t₂₀, X₁₁: X₁₁ {O(n)}
t₂₀, X₁₂: X₁₂ {O(n)}
t₂₂, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₂, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₂, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₂, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₂₂, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₂₂, X₆: 0 {O(1)}
t₂₂, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₂, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₂, X₁₀: X₁₀ {O(n)}
t₂₂, X₁₁: X₁₁ {O(n)}
t₂₂, X₁₂: X₁₂ {O(n)}
t₂₃, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₃, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₃, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₃, X₃: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₃, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₂₃, X₆: 0 {O(1)}
t₂₃, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₃, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₃, X₁₀: X₁₀ {O(n)}
t₂₃, X₁₁: X₁₁ {O(n)}
t₂₃, X₁₂: X₁₂ {O(n)}
t₂₄, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₄, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₄, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₄, X₃: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₄, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₂₄, X₆: 0 {O(1)}
t₂₄, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₄, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₄, X₁₀: X₁₀ {O(n)}
t₂₄, X₁₁: X₁₁ {O(n)}
t₂₄, X₁₂: X₁₂ {O(n)}
t₂₅, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₅, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₅, X₂: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₅, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂+X₃ {O(n)}
t₂₅, X₄: 4⋅X₁₂+5⋅X₁₁+1 {O(n)}
t₂₅, X₅: 0 {O(1)}
t₂₅, X₆: 0 {O(1)}
t₂₅, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₅, X₉: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₅, X₁₀: X₁₀ {O(n)}
t₂₅, X₁₁: X₁₁ {O(n)}
t₂₅, X₁₂: X₁₂ {O(n)}
t₂₆, X₀: 4⋅X₁₂+5⋅X₁₁ {O(n)}
t₂₆, X₁: X₁₀+X₁₁+X₁₂ {O(n)}
t₂₆, X₂: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂ {O(n)}
t₂₆, X₃: 2⋅X₁₀+2⋅X₁₁+2⋅X₁₂ {O(n)}
t₂₆, X₄: 12⋅X₁₂+15⋅X₁₁+3 {O(n)}
t₂₆, X₆: 0 {O(1)}
t₂₆, X₇: 6⋅X₁₀+6⋅X₁₁+6⋅X₁₂+X₇+6 {O(n)}
t₂₆, X₉: 3⋅X₁₀+3⋅X₁₁+3⋅X₁₂ {O(n)}
t₂₆, X₁₀: X₁₀ {O(n)}
t₂₆, X₁₁: X₁₁ {O(n)}
t₂₆, X₁₂: X₁₂ {O(n)}
t₂₇, X₀: 16⋅X₁₂+21⋅X₁₁ {O(n)}
t₂₇, X₁: 2⋅X₁₁+2⋅X₁₂+3⋅X₁₀ {O(n)}
t₂₇, X₂: 5⋅X₂+8⋅X₁₀+8⋅X₁₁+8⋅X₁₂ {O(n)}
t₂₇, X₃: 5⋅X₃+8⋅X₁₀+8⋅X₁₁+8⋅X₁₂ {O(n)}
t₂₇, X₄: 28⋅X₁₂+35⋅X₁₁+X₄+7 {O(n)}
t₂₇, X₇: 12⋅X₁₀+12⋅X₁₁+12⋅X₁₂+2⋅X₇+12 {O(n)}
t₂₇, X₉: 12⋅X₁₀+12⋅X₁₁+12⋅X₁₂+5⋅X₉ {O(n)}
t₂₇, X₁₀: 5⋅X₁₀ {O(n)}
t₂₇, X₁₁: 5⋅X₁₁ {O(n)}
t₂₇, X₁₂: 5⋅X₁₂ {O(n)}