Analysing control-flow refined program

knowledge_propagation leads to new time bound 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)} for transition t₇₉₂: f246(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, S1, U1, X₁₇) :|: X₆ ≤ X₀ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)} for transition t₇₉₃: f246(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, R1, X₁₇) :|: 1+X₀ ≤ X₆ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)} for transition t₇₉₄: f246(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f260_v1(X₀, X₁, X₂, X₃, R1, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, U1, X₁₆, X₁₇) :|: 1 ≤ T1 ∧ X₆ ≤ X₀ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)} for transition t₇₉₅: f246(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f260_v1(X₀, X₁, X₂, X₃, R1, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, U1, X₁₆, X₁₇) :|: 1+T1 ≤ 0 ∧ X₆ ≤ X₀ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 1512⋅X₅+18⋅X₁₁+2646⋅X₀+756⋅X₆+756⋅X₇+1514 {O(n)} for transition t₇₉₆: f260_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f260(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, 1+X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, S1, X₁₇) :|: X₈ ≤ X₇ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₆ ≤ X₀ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

knowledge_propagation leads to new time bound 1512⋅X₅+18⋅X₁₁+2646⋅X₀+756⋅X₆+756⋅X₇+1514 {O(n)} for transition t₇₉₇: f260_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f246_v1(X₀, X₁, X₂, X₃, X₄, X₅, 1+X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) :|: 1+X₇ ≤ X₈ ∧ X₁₁+X₁₂ ≤ 31 ∧ X₁₁ ≤ 30+X₂ ∧ X₁₁ ≤ 30 ∧ X₁₁ ≤ 29+X₀ ∧ X₁₁ ≤ 29+X₁₂ ∧ X₁₂ ≤ 1+X₂ ∧ X₁₂ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₂+X₁₂ ∧ 1 ≤ X₁₂ ∧ 2 ≤ X₀+X₁₂ ∧ X₆ ≤ X₀ ∧ X₁₂ ≤ X₀ ∧ 0 ≤ X₂

All Bounds

Timebounds

Overall timebound:14868⋅X₀⋅X₆+16590⋅X₆⋅X₈+17772⋅X₅⋅X₆+2124⋅X₆⋅X₆+24500⋅X₈⋅X₈+26019⋅X₀⋅X₀+32165⋅X₇⋅X₈+32403⋅X₀⋅X₇+35123⋅X₅⋅X₅+36697⋅X₅⋅X₇+58065⋅X₀⋅X₈+61355⋅X₅⋅X₈+62202⋅X₀⋅X₅+9258⋅X₆⋅X₇+9584⋅X₇⋅X₇+153⋅X₁₁+18⋅X₁₇+29289⋅X₆+39239⋅X₇+6⋅X₁+63370⋅X₈+68672⋅X₀+80680⋅X₅+49981 {O(n^2)}
t₂₅₈: X₇+X₈+1 {O(n)}
t₂₅₉: X₅+X₆ {O(n)}
t₂₆₁: X₇+X₈+1 {O(n)}
t₂₆₂: X₇+X₈+1 {O(n)}
t₂₆₄: X₆+X₇+1 {O(n)}
t₂₆₅: X₅+X₆+1 {O(n)}
t₂₆₆: X₅+X₆+1 {O(n)}
t₂₆₇: 7⋅X₅+7⋅X₆+5 {O(n)}
t₂₆₈: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₆₉: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₀: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₁: 1 {O(1)}
t₂₇₂: 2⋅X₇+5⋅X₅+7⋅X₈+5 {O(n)}
t₂₇₃: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₅: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₉: X₀+X₇+1 {O(n)}
t₂₈₀: X₅+X₆+1 {O(n)}
t₂₈₁: X₆+X₇+1 {O(n)}
t₂₈₂: X₅+X₆+1 {O(n)}
t₂₈₃: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₈₄: 2⋅X₇+7⋅X₈+8⋅X₅+4 {O(n)}
t₂₈₆: 1 {O(1)}
t₂₉₅: 1 {O(1)}
t₃₀₁: 1 {O(1)}
t₃₀₂: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₃: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₅: 1280⋅X₅+1775⋅X₆+186⋅X₇+651⋅X₀+9⋅X₁₁+X₁+1947 {O(n)}
t₃₀₆: 1280⋅X₅+1775⋅X₆+186⋅X₇+651⋅X₀+9⋅X₁₁+X₁+1947 {O(n)}
t₃₀₇: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₈: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₉: 1816⋅X₅+2⋅X₁+3178⋅X₆+3148 {O(n)}
t₃₁₀: 1816⋅X₅+2⋅X₁+3178⋅X₆+3148 {O(n)}
t₃₁₁: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₁₂: X₅+X₆+1 {O(n)}
t₃₁₃: X₆+X₇+1 {O(n)}
t₃₁₅: 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)}
t₃₁₆: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₁₇: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+10805⋅X₇+16030⋅X₈+20748⋅X₀+20867⋅X₅+5949⋅X₆+10794 {O(n^2)}
t₃₁₈: 11865⋅X₀⋅X₇+14700⋅X₈⋅X₈+14973⋅X₅⋅X₅+15819⋅X₅⋅X₇+15855⋅X₇⋅X₈+22512⋅X₀⋅X₅+22785⋅X₀⋅X₈+29925⋅X₅⋅X₈+3390⋅X₆⋅X₇+4176⋅X₇⋅X₇+4788⋅X₀⋅X₆+6432⋅X₅⋅X₆+6510⋅X₆⋅X₈+684⋅X₆⋅X₆+8379⋅X₀⋅X₀+16481⋅X₇+23520⋅X₀+31045⋅X₈+31196⋅X₅+6741⋅X₆+16239 {O(n^2)}
t₃₁₉: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₀: 186⋅X₆+186⋅X₇+372⋅X₅+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₂₁: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+10805⋅X₇+16030⋅X₈+20748⋅X₀+20867⋅X₅+5949⋅X₆+10794 {O(n^2)}
t₃₂₂: 19⋅X₅+19⋅X₇+35⋅X₈+22 {O(n)}
t₃₂₃: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+13 {O(n)}
t₃₂₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+13 {O(n)}
t₃₂₅: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₆: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₇: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₈: 10⋅X₇+28⋅X₅+35⋅X₈+22 {O(n)}
t₃₂₉: 9⋅X₁₁+30 {O(n)}
t₃₃₁: 9⋅X₁₁+31 {O(n)}
t₃₃₂: 9⋅X₁₁+31 {O(n)}
t₃₃₃: 9⋅X₁₁+31 {O(n)}
t₃₃₄: 9⋅X₁₁+31 {O(n)}
t₃₃₅: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₃₆: 9⋅X₁₇+9⋅X₅+1 {O(n)}
t₃₃₇: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+34 {O(n)}
t₃₃₈: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+34 {O(n)}
t₃₃₉: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₄₀: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₄₁: 9⋅X₁₇+9⋅X₇+1 {O(n)}
t₃₄₂: X₅+X₈+1 {O(n)}
t₃₄₃: X₅+X₆+1 {O(n)}
t₃₄₅: X₅+X₈+1 {O(n)}
t₃₄₆: X₅+X₈+1 {O(n)}
t₃₄₈: X₅+X₆+1 {O(n)}
t₃₄₉: X₅+X₆+1 {O(n)}
t₃₅₀: X₆+X₇+1 {O(n)}
t₃₅₁: X₆+X₇+1 {O(n)}
t₃₅₃: 1 {O(1)}
t₃₅₄: X₅+X₆+1 {O(n)}
t₃₅₅: X₅+X₆+1 {O(n)}
t₃₅₆: X₆+X₇+1 {O(n)}
t₃₅₇: 2⋅X₅+X₀+X₆+1 {O(n)}
t₃₅₈: X₅+X₆ {O(n)}
t₃₅₉: X₆+X₇+1 {O(n)}
t₃₆₀: X₅+X₆+1 {O(n)}
t₃₆₁: X₆+X₇+1 {O(n)}
t₃₆₂: X₅+X₆ {O(n)}

Costbounds

Overall costbound: 14868⋅X₀⋅X₆+16590⋅X₆⋅X₈+17772⋅X₅⋅X₆+2124⋅X₆⋅X₆+24500⋅X₈⋅X₈+26019⋅X₀⋅X₀+32165⋅X₇⋅X₈+32403⋅X₀⋅X₇+35123⋅X₅⋅X₅+36697⋅X₅⋅X₇+58065⋅X₀⋅X₈+61355⋅X₅⋅X₈+62202⋅X₀⋅X₅+9258⋅X₆⋅X₇+9584⋅X₇⋅X₇+153⋅X₁₁+18⋅X₁₇+29289⋅X₆+39239⋅X₇+6⋅X₁+63370⋅X₈+68672⋅X₀+80680⋅X₅+49981 {O(n^2)}
t₂₅₈: X₇+X₈+1 {O(n)}
t₂₅₉: X₅+X₆ {O(n)}
t₂₆₁: X₇+X₈+1 {O(n)}
t₂₆₂: X₇+X₈+1 {O(n)}
t₂₆₄: X₆+X₇+1 {O(n)}
t₂₆₅: X₅+X₆+1 {O(n)}
t₂₆₆: X₅+X₆+1 {O(n)}
t₂₆₇: 7⋅X₅+7⋅X₆+5 {O(n)}
t₂₆₈: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₆₉: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₀: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₁: 1 {O(1)}
t₂₇₂: 2⋅X₇+5⋅X₅+7⋅X₈+5 {O(n)}
t₂₇₃: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₅: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₉: X₀+X₇+1 {O(n)}
t₂₈₀: X₅+X₆+1 {O(n)}
t₂₈₁: X₆+X₇+1 {O(n)}
t₂₈₂: X₅+X₆+1 {O(n)}
t₂₈₃: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₈₄: 2⋅X₇+7⋅X₈+8⋅X₅+4 {O(n)}
t₂₈₆: 1 {O(1)}
t₂₉₅: 1 {O(1)}
t₃₀₁: 1 {O(1)}
t₃₀₂: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₃: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₅: 1280⋅X₅+1775⋅X₆+186⋅X₇+651⋅X₀+9⋅X₁₁+X₁+1947 {O(n)}
t₃₀₆: 1280⋅X₅+1775⋅X₆+186⋅X₇+651⋅X₀+9⋅X₁₁+X₁+1947 {O(n)}
t₃₀₇: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₈: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₉: 1816⋅X₅+2⋅X₁+3178⋅X₆+3148 {O(n)}
t₃₁₀: 1816⋅X₅+2⋅X₁+3178⋅X₆+3148 {O(n)}
t₃₁₁: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₁₂: X₅+X₆+1 {O(n)}
t₃₁₃: X₆+X₇+1 {O(n)}
t₃₁₅: 1323⋅X₀+378⋅X₆+378⋅X₇+756⋅X₅+9⋅X₁₁+757 {O(n)}
t₃₁₆: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₁₇: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+10805⋅X₇+16030⋅X₈+20748⋅X₀+20867⋅X₅+5949⋅X₆+10794 {O(n^2)}
t₃₁₈: 11865⋅X₀⋅X₇+14700⋅X₈⋅X₈+14973⋅X₅⋅X₅+15819⋅X₅⋅X₇+15855⋅X₇⋅X₈+22512⋅X₀⋅X₅+22785⋅X₀⋅X₈+29925⋅X₅⋅X₈+3390⋅X₆⋅X₇+4176⋅X₇⋅X₇+4788⋅X₀⋅X₆+6432⋅X₅⋅X₆+6510⋅X₆⋅X₈+684⋅X₆⋅X₆+8379⋅X₀⋅X₀+16481⋅X₇+23520⋅X₀+31045⋅X₈+31196⋅X₅+6741⋅X₆+16239 {O(n^2)}
t₃₁₉: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₀: 186⋅X₆+186⋅X₇+372⋅X₅+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₂₁: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+10805⋅X₇+16030⋅X₈+20748⋅X₀+20867⋅X₅+5949⋅X₆+10794 {O(n^2)}
t₃₂₂: 19⋅X₅+19⋅X₇+35⋅X₈+22 {O(n)}
t₃₂₃: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+13 {O(n)}
t₃₂₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+13 {O(n)}
t₃₂₅: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₆: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₂₇: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₈: 10⋅X₇+28⋅X₅+35⋅X₈+22 {O(n)}
t₃₂₉: 9⋅X₁₁+30 {O(n)}
t₃₃₁: 9⋅X₁₁+31 {O(n)}
t₃₃₂: 9⋅X₁₁+31 {O(n)}
t₃₃₃: 9⋅X₁₁+31 {O(n)}
t₃₃₄: 9⋅X₁₁+31 {O(n)}
t₃₃₅: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₃₆: 9⋅X₁₇+9⋅X₅+1 {O(n)}
t₃₃₇: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+34 {O(n)}
t₃₃₈: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+34 {O(n)}
t₃₃₉: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₄₀: 16⋅X₇+21⋅X₀+31⋅X₅+35⋅X₈+6⋅X₆+33 {O(n)}
t₃₄₁: 9⋅X₁₇+9⋅X₇+1 {O(n)}
t₃₄₂: X₅+X₈+1 {O(n)}
t₃₄₃: X₅+X₆+1 {O(n)}
t₃₄₅: X₅+X₈+1 {O(n)}
t₃₄₆: X₅+X₈+1 {O(n)}
t₃₄₈: X₅+X₆+1 {O(n)}
t₃₄₉: X₅+X₆+1 {O(n)}
t₃₅₀: X₆+X₇+1 {O(n)}
t₃₅₁: X₆+X₇+1 {O(n)}
t₃₅₃: 1 {O(1)}
t₃₅₄: X₅+X₆+1 {O(n)}
t₃₅₅: X₅+X₆+1 {O(n)}
t₃₅₆: X₆+X₇+1 {O(n)}
t₃₅₇: 2⋅X₅+X₀+X₆+1 {O(n)}
t₃₅₈: X₅+X₆ {O(n)}
t₃₅₉: X₆+X₇+1 {O(n)}
t₃₆₀: X₅+X₆+1 {O(n)}
t₃₆₁: X₆+X₇+1 {O(n)}
t₃₆₂: X₅+X₆ {O(n)}

Sizebounds

t₂₅₈, X₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₅₈, X₁: 160⋅X₅+280⋅X₆+280 {O(n)}
t₂₅₈, X₅: X₅ {O(n)}
t₂₅₈, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₅₈, X₇: X₇ {O(n)}
t₂₅₈, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₅₉, X₁: 320⋅X₅+560⋅X₆+560 {O(n)}
t₂₅₉, X₅: X₅ {O(n)}
t₂₅₉, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₅₉, X₇: X₇ {O(n)}
t₂₅₉, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₆₁, X₁: 160⋅X₅+280⋅X₆+280 {O(n)}
t₂₆₁, X₅: X₅ {O(n)}
t₂₆₁, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₆₁, X₇: X₇ {O(n)}
t₂₆₁, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₆₂, X₁: 160⋅X₅+280⋅X₆+280 {O(n)}
t₂₆₂, X₅: X₅ {O(n)}
t₂₆₂, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₆₂, X₇: X₇ {O(n)}
t₂₆₂, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₆₄, X₁: 320⋅X₅+560⋅X₆+560 {O(n)}
t₂₆₄, X₅: X₅ {O(n)}
t₂₆₄, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₆₄, X₇: X₇ {O(n)}
t₂₆₄, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₆₅, X₁: 444⋅X₅+777⋅X₆+777 {O(n)}
t₂₆₅, X₅: X₅ {O(n)}
t₂₆₅, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₆₅, X₇: X₇ {O(n)}
t₂₆₅, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₆₆, X₁: 444⋅X₅+777⋅X₆+777 {O(n)}
t₂₆₆, X₅: X₅ {O(n)}
t₂₆₆, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₆₆, X₇: X₇ {O(n)}
t₂₆₆, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₆₇, X₁: 14⋅X₆+8⋅X₅+8 {O(n)}
t₂₆₇, X₅: 3⋅X₅ {O(n)}
t₂₆₇, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₆₇, X₇: 3⋅X₇ {O(n)}
t₂₆₇, X₈: 2⋅X₅+2⋅X₇+7⋅X₈+4 {O(n)}
t₂₆₇, X₁₁: 3⋅X₁₁ {O(n)}
t₂₆₇, X₁₂: 3⋅X₁₂ {O(n)}
t₂₆₇, X₁₃: 3⋅X₁₃ {O(n)}
t₂₆₇, X₁₄: 3⋅X₁₄ {O(n)}
t₂₆₇, X₁₆: 3⋅X₁₆ {O(n)}
t₂₆₇, X₁₇: 3⋅X₁₇ {O(n)}
t₂₆₈, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₆₈, X₁: 20⋅X₅+35⋅X₆+20 {O(n)}
t₂₆₈, X₅: 3⋅X₅ {O(n)}
t₂₆₈, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₆₈, X₇: 3⋅X₇ {O(n)}
t₂₆₈, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₆₈, X₁₁: 3⋅X₁₁ {O(n)}
t₂₆₈, X₁₂: 3⋅X₁₂ {O(n)}
t₂₆₈, X₁₃: 3⋅X₁₃ {O(n)}
t₂₆₈, X₁₄: 3⋅X₁₄ {O(n)}
t₂₆₈, X₁₆: 3⋅X₁₆ {O(n)}
t₂₆₈, X₁₇: 3⋅X₁₇ {O(n)}
t₂₆₉, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₆₉, X₁: 20⋅X₅+35⋅X₆+20 {O(n)}
t₂₆₉, X₅: 3⋅X₅ {O(n)}
t₂₆₉, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₆₉, X₇: 3⋅X₇ {O(n)}
t₂₆₉, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₆₉, X₁₁: 3⋅X₁₁ {O(n)}
t₂₆₉, X₁₂: 3⋅X₁₂ {O(n)}
t₂₆₉, X₁₃: 3⋅X₁₃ {O(n)}
t₂₆₉, X₁₄: 3⋅X₁₄ {O(n)}
t₂₆₉, X₁₆: 3⋅X₁₆ {O(n)}
t₂₆₉, X₁₇: 3⋅X₁₇ {O(n)}
t₂₇₀, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₇₀, X₁: 20⋅X₅+35⋅X₆+20 {O(n)}
t₂₇₀, X₄: 0 {O(1)}
t₂₇₀, X₅: 3⋅X₅ {O(n)}
t₂₇₀, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₀, X₇: 3⋅X₇ {O(n)}
t₂₇₀, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₇₀, X₁₁: 3⋅X₁₁ {O(n)}
t₂₇₀, X₁₂: 3⋅X₁₂ {O(n)}
t₂₇₀, X₁₃: 3⋅X₁₃ {O(n)}
t₂₇₀, X₁₄: 3⋅X₁₄ {O(n)}
t₂₇₀, X₁₆: 3⋅X₁₆ {O(n)}
t₂₇₀, X₁₇: 3⋅X₁₇ {O(n)}
t₂₇₁, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₂₇₁, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₂₇₁, X₅: 9⋅X₅ {O(n)}
t₂₇₁, X₆: 12⋅X₅+21⋅X₆+12 {O(n)}
t₂₇₁, X₇: 9⋅X₇ {O(n)}
t₂₇₁, X₈: 10⋅X₇+19⋅X₅+35⋅X₈+21 {O(n)}
t₂₇₁, X₁₁: 9⋅X₁₁ {O(n)}
t₂₇₁, X₁₂: 9⋅X₁₂ {O(n)}
t₂₇₁, X₁₃: 9⋅X₁₃ {O(n)}
t₂₇₁, X₁₄: 9⋅X₁₄ {O(n)}
t₂₇₁, X₁₆: 9⋅X₁₆ {O(n)}
t₂₇₁, X₁₇: 9⋅X₁₇ {O(n)}
t₂₇₂, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₇₂, X₁: 40⋅X₅+70⋅X₆+40 {O(n)}
t₂₇₂, X₅: 3⋅X₅ {O(n)}
t₂₇₂, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₂, X₇: 3⋅X₇ {O(n)}
t₂₇₂, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₇₂, X₁₁: 3⋅X₁₁ {O(n)}
t₂₇₂, X₁₂: 3⋅X₁₂ {O(n)}
t₂₇₂, X₁₃: 3⋅X₁₃ {O(n)}
t₂₇₂, X₁₄: 3⋅X₁₄ {O(n)}
t₂₇₂, X₁₆: 3⋅X₁₆ {O(n)}
t₂₇₂, X₁₇: 3⋅X₁₇ {O(n)}
t₂₇₃, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₇₃, X₁: 140⋅X₆+80⋅X₅+80 {O(n)}
t₂₇₃, X₅: 3⋅X₅ {O(n)}
t₂₇₃, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₃, X₇: 3⋅X₇ {O(n)}
t₂₇₃, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₇₃, X₁₁: 3⋅X₁₁ {O(n)}
t₂₇₃, X₁₂: 3⋅X₁₂ {O(n)}
t₂₇₃, X₁₃: 3⋅X₁₃ {O(n)}
t₂₇₃, X₁₄: 3⋅X₁₄ {O(n)}
t₂₇₃, X₁₆: 3⋅X₁₆ {O(n)}
t₂₇₃, X₁₇: 3⋅X₁₇ {O(n)}
t₂₇₅, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₇₅, X₁: 140⋅X₆+80⋅X₅+80 {O(n)}
t₂₇₅, X₅: 3⋅X₅ {O(n)}
t₂₇₅, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₇₅, X₇: 3⋅X₇ {O(n)}
t₂₇₅, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₇₅, X₁₁: 3⋅X₁₁ {O(n)}
t₂₇₅, X₁₂: 3⋅X₁₂ {O(n)}
t₂₇₅, X₁₃: 3⋅X₁₃ {O(n)}
t₂₇₅, X₁₄: 3⋅X₁₄ {O(n)}
t₂₇₅, X₁₆: 3⋅X₁₆ {O(n)}
t₂₇₅, X₁₇: 3⋅X₁₇ {O(n)}
t₂₇₉, X₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₇₉, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₂₇₉, X₄: 0 {O(1)}
t₂₇₉, X₅: X₅ {O(n)}
t₂₇₉, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₇₉, X₇: X₇ {O(n)}
t₂₇₉, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₈₀, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₂₈₀, X₄: 0 {O(1)}
t₂₈₀, X₅: X₅ {O(n)}
t₂₈₀, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₈₀, X₇: X₇ {O(n)}
t₂₈₀, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₈₁, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₂₈₁, X₄: 0 {O(1)}
t₂₈₁, X₅: X₅ {O(n)}
t₂₈₁, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₈₁, X₇: X₇ {O(n)}
t₂₈₁, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₂₈₂, X₁: 14⋅X₆+8⋅X₅+14 {O(n)}
t₂₈₂, X₃: 0 {O(1)}
t₂₈₂, X₄: 0 {O(1)}
t₂₈₂, X₅: X₅ {O(n)}
t₂₈₂, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₂₈₂, X₇: X₇ {O(n)}
t₂₈₂, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₈₃, X₁: 12⋅X₅+21⋅X₆+12 {O(n)}
t₂₈₃, X₅: 3⋅X₅ {O(n)}
t₂₈₃, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₈₃, X₇: 3⋅X₇ {O(n)}
t₂₈₃, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₈₃, X₁₁: 3⋅X₁₁ {O(n)}
t₂₈₃, X₁₂: 3⋅X₁₂ {O(n)}
t₂₈₃, X₁₃: 3⋅X₁₃ {O(n)}
t₂₈₃, X₁₄: 3⋅X₁₄ {O(n)}
t₂₈₃, X₁₆: 3⋅X₁₆ {O(n)}
t₂₈₃, X₁₇: 3⋅X₁₇ {O(n)}
t₂₈₄, X₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₂₈₄, X₁: 20⋅X₅+35⋅X₆+20 {O(n)}
t₂₈₄, X₄: 0 {O(1)}
t₂₈₄, X₅: 3⋅X₅ {O(n)}
t₂₈₄, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₂₈₄, X₇: 3⋅X₇ {O(n)}
t₂₈₄, X₈: 15⋅X₅+21⋅X₈+6⋅X₇+13 {O(n)}
t₂₈₄, X₁₁: 3⋅X₁₁ {O(n)}
t₂₈₄, X₁₂: 3⋅X₁₂ {O(n)}
t₂₈₄, X₁₃: 3⋅X₁₃ {O(n)}
t₂₈₄, X₁₄: 3⋅X₁₄ {O(n)}
t₂₈₄, X₁₆: 3⋅X₁₆ {O(n)}
t₂₈₄, X₁₇: 3⋅X₁₇ {O(n)}
t₂₈₆, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₂₈₆, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₂₈₆, X₅: 9⋅X₅ {O(n)}
t₂₈₆, X₆: 12⋅X₅+21⋅X₆+12 {O(n)}
t₂₈₆, X₇: 9⋅X₇ {O(n)}
t₂₈₆, X₈: 10⋅X₇+19⋅X₅+35⋅X₈+21 {O(n)}
t₂₈₆, X₁₁: 9⋅X₁₁ {O(n)}
t₂₈₆, X₁₂: 9⋅X₁₂ {O(n)}
t₂₈₆, X₁₃: 9⋅X₁₃ {O(n)}
t₂₈₆, X₁₄: 9⋅X₁₄ {O(n)}
t₂₈₆, X₁₆: 9⋅X₁₆ {O(n)}
t₂₈₆, X₁₇: 9⋅X₁₇ {O(n)}
t₂₉₅, X₀: X₀ {O(n)}
t₂₉₅, X₁: X₁ {O(n)}
t₂₉₅, X₂: 0 {O(1)}
t₂₉₅, X₃: 0 {O(1)}
t₂₉₅, X₄: 0 {O(1)}
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₀: 24⋅X₆+24⋅X₇+48⋅X₅+84⋅X₀+48 {O(n)}
t₃₀₁, X₁: 3632⋅X₅+4⋅X₁+6356⋅X₆+6296 {O(n)}
t₃₀₁, X₅: 36⋅X₅ {O(n)}
t₃₀₁, X₆: 14700⋅X₈⋅X₈+15120⋅X₀⋅X₆+15120⋅X₆⋅X₈+17010⋅X₅⋅X₆+2160⋅X₆⋅X₆+24465⋅X₇⋅X₈+26460⋅X₀⋅X₀+30225⋅X₅⋅X₅+30807⋅X₀⋅X₇+31317⋅X₅⋅X₇+47145⋅X₅⋅X₈+52920⋅X₀⋅X₈+59535⋅X₀⋅X₅+8112⋅X₇⋅X₇+8802⋅X₆⋅X₇+18579⋅X₆+38355⋅X₇+63210⋅X₈+64512⋅X₀+73125⋅X₅+43122 {O(n^2)}
t₃₀₁, X₇: 36⋅X₇ {O(n)}
t₃₀₁, X₈: 175⋅X₇+18⋅X₆+310⋅X₅+455⋅X₈+63⋅X₀+315 {O(n)}
t₃₀₁, X₁₁: 63⋅X₁₁+183 {O(n)}
t₃₀₁, X₁₂: 18⋅X₁₂+8 {O(n)}
t₃₀₁, X₁₃: 100395⋅X₆+1008⋅X₀+288⋅X₇+36⋅X₁₃+57780⋅X₅+63⋅X₁+99738 {O(n)}
t₃₀₁, X₁₇: 27⋅X₅+27⋅X₇+90⋅X₁₇+6 {O(n)}
t₃₀₂, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₂, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₂, X₅: 9⋅X₅ {O(n)}
t₃₀₂, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₂, X₇: 9⋅X₇ {O(n)}
t₃₀₂, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₂, X₁₂: 9⋅X₁₂+6 {O(n)}
t₃₀₂, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₃, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₃, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₃, X₅: 9⋅X₅ {O(n)}
t₃₀₃, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₃, X₇: 9⋅X₇ {O(n)}
t₃₀₃, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₃, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₃, X₁₂: 9⋅X₁₂+6 {O(n)}
t₃₀₃, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₃, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₄, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₄, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₄, X₅: 9⋅X₅ {O(n)}
t₃₀₄, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₄, X₇: 9⋅X₇ {O(n)}
t₃₀₄, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₄, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₄, X₁₂: 1 {O(1)}
t₃₀₄, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₅, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₅, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₅, X₅: 9⋅X₅ {O(n)}
t₃₀₅, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₅, X₇: 9⋅X₇ {O(n)}
t₃₀₅, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₅, X₁₂: 1 {O(1)}
t₃₀₅, X₁₃: 2724⋅X₅+3⋅X₁+4767⋅X₆+4722 {O(n)}
t₃₀₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₆, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₆, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₆, X₅: 9⋅X₅ {O(n)}
t₃₀₆, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₆, X₇: 9⋅X₇ {O(n)}
t₃₀₆, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₆, X₁₂: 1 {O(1)}
t₃₀₆, X₁₃: 2724⋅X₅+3⋅X₁+4767⋅X₆+4722 {O(n)}
t₃₀₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₇, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₇, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₇, X₅: 9⋅X₅ {O(n)}
t₃₀₇, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₇, X₇: 9⋅X₇ {O(n)}
t₃₀₇, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₇, X₁₂: 1 {O(1)}
t₃₀₇, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₈, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₈, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₈, X₅: 9⋅X₅ {O(n)}
t₃₀₈, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₈, X₇: 9⋅X₇ {O(n)}
t₃₀₈, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₈, X₁₂: 0 {O(1)}
t₃₀₈, X₁₃: 2724⋅X₅+3⋅X₁+4767⋅X₆+4722 {O(n)}
t₃₀₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₉, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₀₉, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₀₉, X₅: 9⋅X₅ {O(n)}
t₃₀₉, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₀₉, X₇: 9⋅X₇ {O(n)}
t₃₀₉, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₀₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₉, X₁₂: 1 {O(1)}
t₃₀₉, X₁₃: 5448⋅X₅+6⋅X₁+9534⋅X₆+9444 {O(n)}
t₃₀₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₀, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₀, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₀, X₅: 9⋅X₅ {O(n)}
t₃₁₀, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₀, X₇: 9⋅X₇ {O(n)}
t₃₁₀, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₀, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₀, X₁₂: 1 {O(1)}
t₃₁₀, X₁₃: 5448⋅X₅+6⋅X₁+9534⋅X₆+9444 {O(n)}
t₃₁₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₁, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₁, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₁, X₅: 9⋅X₅ {O(n)}
t₃₁₁, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₁, X₇: 9⋅X₇ {O(n)}
t₃₁₁, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₁, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₁, X₁₂: 1 {O(1)}
t₃₁₁, X₁₃: 5448⋅X₅+6⋅X₁+9534⋅X₆+9444 {O(n)}
t₃₁₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₂, X₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₁₂, X₁: 14⋅X₆+8⋅X₅+14 {O(n)}
t₃₁₂, X₅: X₅ {O(n)}
t₃₁₂, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₁₂, X₇: X₇ {O(n)}
t₃₁₂, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₁₃, X₁: 14⋅X₆+8⋅X₅+14 {O(n)}
t₃₁₃, X₅: X₅ {O(n)}
t₃₁₃, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₁₃, X₇: X₇ {O(n)}
t₃₁₃, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₅, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₅, X₅: 9⋅X₅ {O(n)}
t₃₁₅, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₅, X₇: 9⋅X₇ {O(n)}
t₃₁₅, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₅, X₁₂: 1 {O(1)}
t₃₁₅, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₆, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₆, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₆, X₅: 9⋅X₅ {O(n)}
t₃₁₆, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₆, X₇: 9⋅X₇ {O(n)}
t₃₁₆, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₆, X₁₂: 0 {O(1)}
t₃₁₆, X₁₃: 2724⋅X₅+3⋅X₁+4767⋅X₆+4722 {O(n)}
t₃₁₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₇, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₇, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₇, X₅: 9⋅X₅ {O(n)}
t₃₁₇, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₇, X₇: 9⋅X₇ {O(n)}
t₃₁₇, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₇, X₁₂: 1 {O(1)}
t₃₁₇, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₈, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₈, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₈, X₅: 9⋅X₅ {O(n)}
t₃₁₈, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₈, X₇: 9⋅X₇ {O(n)}
t₃₁₈, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₈, X₁₂: 1 {O(1)}
t₃₁₈, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₉, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₁₉, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₉, X₅: 9⋅X₅ {O(n)}
t₃₁₉, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₁₉, X₇: 9⋅X₇ {O(n)}
t₃₁₉, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₁₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₉, X₁₂: 1 {O(1)}
t₃₁₉, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₀, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₀, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₀, X₅: 9⋅X₅ {O(n)}
t₃₂₀, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₀, X₇: 9⋅X₇ {O(n)}
t₃₂₀, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₀, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₀, X₁₂: 1 {O(1)}
t₃₂₀, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₁, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₁, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₁, X₅: 9⋅X₅ {O(n)}
t₃₂₁, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₁, X₇: 9⋅X₇ {O(n)}
t₃₂₁, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₁, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₁, X₁₂: 1 {O(1)}
t₃₂₁, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₂, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₂, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₂, X₅: 9⋅X₅ {O(n)}
t₃₂₂, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₂, X₇: 9⋅X₇ {O(n)}
t₃₂₂, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₂, X₁₂: 1 {O(1)}
t₃₂₂, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₃, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₃, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₃, X₅: 9⋅X₅ {O(n)}
t₃₂₃, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₃, X₇: 9⋅X₇ {O(n)}
t₃₂₃, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₃, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₃, X₁₂: 1 {O(1)}
t₃₂₃, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₃, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₄, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₄, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₄, X₅: 9⋅X₅ {O(n)}
t₃₂₄, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₄, X₇: 9⋅X₇ {O(n)}
t₃₂₄, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₄, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₄, X₁₂: 1 {O(1)}
t₃₂₄, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₅, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₅, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₅, X₅: 9⋅X₅ {O(n)}
t₃₂₅, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₅, X₇: 9⋅X₇ {O(n)}
t₃₂₅, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₅, X₁₂: 1 {O(1)}
t₃₂₅, X₁₃: 18⋅X₁₃+192⋅X₇+41244⋅X₅+45⋅X₁+672⋅X₀+71697⋅X₆+71214 {O(n)}
t₃₂₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₆, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₆, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₆, X₅: 9⋅X₅ {O(n)}
t₃₂₆, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₆, X₇: 9⋅X₇ {O(n)}
t₃₂₆, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₆, X₁₂: 1 {O(1)}
t₃₂₆, X₁₃: 18⋅X₁₃+192⋅X₇+41244⋅X₅+45⋅X₁+672⋅X₀+71697⋅X₆+71214 {O(n)}
t₃₂₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₇, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₇, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₇, X₅: 9⋅X₅ {O(n)}
t₃₂₇, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₇, X₇: 9⋅X₇ {O(n)}
t₃₂₇, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₇, X₁₂: 1 {O(1)}
t₃₂₇, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₈, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₈, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₈, X₅: 9⋅X₅ {O(n)}
t₃₂₈, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₈, X₇: 9⋅X₇ {O(n)}
t₃₂₈, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₈, X₁₂: 1 {O(1)}
t₃₂₈, X₁₃: 19260⋅X₅+21⋅X₁+33465⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₉, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₉, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₂₉, X₅: 9⋅X₅ {O(n)}
t₃₂₉, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₂₉, X₇: 9⋅X₇ {O(n)}
t₃₂₉, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₂₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₉, X₁₂: 1 {O(1)}
t₃₂₉, X₁₃: 12⋅X₆+12⋅X₇+24⋅X₅+42⋅X₀+24 {O(n)}
t₃₂₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₁, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₁, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₁, X₅: 9⋅X₅ {O(n)}
t₃₃₁, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₃₁, X₇: 9⋅X₇ {O(n)}
t₃₃₁, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₁, X₁₁: 30 {O(1)}
t₃₃₁, X₁₂: 1 {O(1)}
t₃₃₁, X₁₃: 12⋅X₆+12⋅X₇+24⋅X₅+42⋅X₀+24 {O(n)}
t₃₃₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₂, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₂, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₂, X₅: 9⋅X₅ {O(n)}
t₃₃₂, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₃₂, X₇: 9⋅X₇ {O(n)}
t₃₃₂, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₂, X₁₂: 1 {O(1)}
t₃₃₂, X₁₃: 24⋅X₆+24⋅X₇+48⋅X₅+84⋅X₀+48 {O(n)}
t₃₃₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₃, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₃, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₃, X₅: 9⋅X₅ {O(n)}
t₃₃₃, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₃₃, X₇: 9⋅X₇ {O(n)}
t₃₃₃, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₃, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₃, X₁₂: 1 {O(1)}
t₃₃₃, X₁₃: 24⋅X₆+24⋅X₇+48⋅X₅+84⋅X₀+48 {O(n)}
t₃₃₃, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₄, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₄, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₄, X₅: 9⋅X₅ {O(n)}
t₃₃₄, X₆: 10075⋅X₅⋅X₅+10269⋅X₀⋅X₇+10439⋅X₅⋅X₇+15715⋅X₅⋅X₈+17640⋅X₀⋅X₈+19845⋅X₀⋅X₅+2704⋅X₇⋅X₇+2934⋅X₆⋅X₇+4900⋅X₈⋅X₈+5040⋅X₀⋅X₆+5040⋅X₆⋅X₈+5670⋅X₅⋅X₆+720⋅X₆⋅X₆+8155⋅X₇⋅X₈+8820⋅X₀⋅X₀+12785⋅X₇+21070⋅X₈+21504⋅X₀+24371⋅X₅+6186⋅X₆+14370 {O(n^2)}
t₃₃₄, X₇: 9⋅X₇ {O(n)}
t₃₃₄, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₄, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₄, X₁₂: 4 {O(1)}
t₃₃₄, X₁₃: 192⋅X₅+336⋅X₀+96⋅X₆+96⋅X₇+192 {O(n)}
t₃₃₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₅, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₅, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₅, X₅: 9⋅X₅ {O(n)}
t₃₃₅, X₆: 165⋅X₇+18⋅X₆+291⋅X₅+420⋅X₈+63⋅X₀+297 {O(n)}
t₃₃₅, X₇: 9⋅X₇ {O(n)}
t₃₃₅, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₅, X₁₂: 2 {O(1)}
t₃₃₅, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₃₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₆, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₆, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₆, X₅: 9⋅X₅ {O(n)}
t₃₃₆, X₆: 165⋅X₇+18⋅X₆+291⋅X₅+420⋅X₈+63⋅X₀+297 {O(n)}
t₃₃₆, X₇: 9⋅X₇ {O(n)}
t₃₃₆, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₆, X₁₂: 2 {O(1)}
t₃₃₆, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₃₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₇, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₇, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₇, X₅: 9⋅X₅ {O(n)}
t₃₃₇, X₆: 126⋅X₀+330⋅X₇+36⋅X₆+582⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₇, X₇: 9⋅X₇ {O(n)}
t₃₃₇, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₇, X₁₂: 2 {O(1)}
t₃₃₇, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₃₇, X₁₆: 0 {O(1)}
t₃₃₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₈, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₈, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₈, X₅: 9⋅X₅ {O(n)}
t₃₃₈, X₆: 126⋅X₀+330⋅X₇+36⋅X₆+582⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₈, X₇: 9⋅X₇ {O(n)}
t₃₃₈, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₈, X₁₂: 2 {O(1)}
t₃₃₈, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₃₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₉, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₃₉, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₃₉, X₅: 9⋅X₅ {O(n)}
t₃₃₉, X₆: 126⋅X₀+330⋅X₇+36⋅X₆+582⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₉, X₇: 9⋅X₇ {O(n)}
t₃₃₉, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₃₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₃₉, X₁₂: 2 {O(1)}
t₃₃₉, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₃₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₄₀, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₄₀, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₄₀, X₅: 9⋅X₅ {O(n)}
t₃₄₀, X₆: 1980⋅X₇+216⋅X₆+3492⋅X₅+5040⋅X₈+756⋅X₀+3564 {O(n)}
t₃₄₀, X₇: 9⋅X₇ {O(n)}
t₃₄₀, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₄₀, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₄₀, X₁₂: 2 {O(1)}
t₃₄₀, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₄₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₄₁, X₀: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₄₁, X₁: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₄₁, X₅: 9⋅X₅ {O(n)}
t₃₄₁, X₆: 108⋅X₆+1746⋅X₅+2520⋅X₈+378⋅X₀+990⋅X₇+1782 {O(n)}
t₃₄₁, X₇: 9⋅X₇ {O(n)}
t₃₄₁, X₈: 140⋅X₈+21⋅X₀+55⋅X₇+6⋅X₆+97⋅X₅+98 {O(n)}
t₃₄₁, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₄₁, X₁₂: 2 {O(1)}
t₃₄₁, X₁₃: 168⋅X₀+48⋅X₆+48⋅X₇+96⋅X₅+96 {O(n)}
t₃₄₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₄₂, X₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₂, X₁: 16⋅X₅+28⋅X₆+28 {O(n)}
t₃₄₂, X₅: X₅ {O(n)}
t₃₄₂, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₂, X₇: X₇ {O(n)}
t₃₄₂, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₃, X₁: 32⋅X₅+56⋅X₆+56 {O(n)}
t₃₄₃, X₅: X₅ {O(n)}
t₃₄₃, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₃, X₇: X₇ {O(n)}
t₃₄₃, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₅, X₁: 16⋅X₅+28⋅X₆+28 {O(n)}
t₃₄₅, X₅: X₅ {O(n)}
t₃₄₅, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₅, X₇: X₇ {O(n)}
t₃₄₅, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₆, X₁: 16⋅X₅+28⋅X₆+28 {O(n)}
t₃₄₆, X₅: X₅ {O(n)}
t₃₄₆, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₆, X₇: X₇ {O(n)}
t₃₄₆, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₈, X₁: 32⋅X₅+56⋅X₆+56 {O(n)}
t₃₄₈, X₃: 0 {O(1)}
t₃₄₈, X₄: 0 {O(1)}
t₃₄₈, X₅: X₅ {O(n)}
t₃₄₈, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₈, X₇: X₇ {O(n)}
t₃₄₈, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₄₉, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₃₄₉, X₃: 0 {O(1)}
t₃₄₉, X₄: 0 {O(1)}
t₃₄₉, X₅: X₅ {O(n)}
t₃₄₉, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₄₉, X₇: X₇ {O(n)}
t₃₄₉, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₀, X₁: 40⋅X₅+70⋅X₆+70 {O(n)}
t₃₅₀, X₃: 0 {O(1)}
t₃₅₀, X₄: 0 {O(1)}
t₃₅₀, X₅: X₅ {O(n)}
t₃₅₀, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₀, X₇: X₇ {O(n)}
t₃₅₀, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₁, X₁: 40⋅X₅+70⋅X₆+70 {O(n)}
t₃₅₁, X₃: 0 {O(1)}
t₃₅₁, X₄: 0 {O(1)}
t₃₅₁, X₅: X₅ {O(n)}
t₃₅₁, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₁, X₇: X₇ {O(n)}
t₃₅₁, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₆+2⋅X₇+4⋅X₅+7⋅X₀+4 {O(n)}
t₃₅₃, X₁: 1554⋅X₆+888⋅X₅+X₁+1554 {O(n)}
t₃₅₃, X₅: 3⋅X₅ {O(n)}
t₃₅₃, X₆: 4⋅X₅+7⋅X₆+4 {O(n)}
t₃₅₃, X₇: 3⋅X₇ {O(n)}
t₃₅₃, X₈: 2⋅X₅+2⋅X₇+7⋅X₈+4 {O(n)}
t₃₅₃, X₁₁: 3⋅X₁₁ {O(n)}
t₃₅₃, X₁₂: 3⋅X₁₂ {O(n)}
t₃₅₃, X₁₃: 3⋅X₁₃ {O(n)}
t₃₅₃, X₁₄: 3⋅X₁₄ {O(n)}
t₃₅₃, X₁₆: 3⋅X₁₆ {O(n)}
t₃₅₃, X₁₇: 3⋅X₁₇ {O(n)}
t₃₅₄, X₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₄, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₃₅₄, X₃: 0 {O(1)}
t₃₅₄, X₄: 0 {O(1)}
t₃₅₄, X₅: X₅ {O(n)}
t₃₅₄, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₄, X₇: X₇ {O(n)}
t₃₅₄, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₅, X₁: 4⋅X₅+7⋅X₆+7 {O(n)}
t₃₅₅, X₃: 0 {O(1)}
t₃₅₅, X₄: 0 {O(1)}
t₃₅₅, X₅: X₅ {O(n)}
t₃₅₅, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₅, X₇: X₇ {O(n)}
t₃₅₅, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₆, X₁: 140⋅X₆+80⋅X₅+140 {O(n)}
t₃₅₆, X₃: 0 {O(1)}
t₃₅₆, X₄: 0 {O(1)}
t₃₅₆, X₅: X₅ {O(n)}
t₃₅₆, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₆, X₇: X₇ {O(n)}
t₃₅₆, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₇, X₁: 40⋅X₅+70⋅X₆+70 {O(n)}
t₃₅₇, X₄: 0 {O(1)}
t₃₅₇, X₅: X₅ {O(n)}
t₃₅₇, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₇, X₇: X₇ {O(n)}
t₃₅₇, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₈, X₁: 40⋅X₅+70⋅X₆+70 {O(n)}
t₃₅₈, X₄: 0 {O(1)}
t₃₅₈, X₅: X₅ {O(n)}
t₃₅₈, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₈, X₇: X₇ {O(n)}
t₃₅₈, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₅₉, X₁: 40⋅X₅+70⋅X₆+70 {O(n)}
t₃₅₉, X₄: 0 {O(1)}
t₃₅₉, X₅: X₅ {O(n)}
t₃₅₉, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₅₉, X₇: X₇ {O(n)}
t₃₅₉, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₆₀, X₁: 140⋅X₆+80⋅X₅+140 {O(n)}
t₃₆₀, X₅: X₅ {O(n)}
t₃₆₀, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₆₀, X₇: X₇ {O(n)}
t₃₆₀, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₆₁, X₁: 140⋅X₆+80⋅X₅+140 {O(n)}
t₃₆₁, X₅: X₅ {O(n)}
t₃₆₁, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₆₁, X₇: X₇ {O(n)}
t₃₆₁, X₈: 3⋅X₈+X₅+X₇+2 {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₀: 2⋅X₅+3⋅X₀+X₆+X₇+2 {O(n)}
t₃₆₂, X₁: 160⋅X₅+280⋅X₆+280 {O(n)}
t₃₆₂, X₅: X₅ {O(n)}
t₃₆₂, X₆: 2⋅X₅+3⋅X₆+2 {O(n)}
t₃₆₂, X₇: X₇ {O(n)}
t₃₆₂, X₈: 3⋅X₈+X₅+X₇+2 {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)}