Analysing control-flow refined program

knowledge_propagation leads to new time bound 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)} for transition t₇₈₇: f250(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f274(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 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)} for transition t₇₈₈: f250(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f274(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 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)} for transition t₇₈₉: f250(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f263_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 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)} for transition t₇₉₀: f250(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f263_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 12⋅X₅+12⋅X₇+18⋅X₁₁+42⋅X₀+84 {O(n)} for transition t₇₉₁: f263_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f263(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 12⋅X₅+12⋅X₇+18⋅X₁₁+42⋅X₀+84 {O(n)} for transition t₇₉₂: f263_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇) → f250_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:103040⋅X₅⋅X₈+12544⋅X₇⋅X₇+14240⋅X₆⋅X₇+18690⋅X₀⋅X₆+21609⋅X₀⋅X₀+28000⋅X₆⋅X₈+29440⋅X₅⋅X₆+32928⋅X₀⋅X₇+4000⋅X₆⋅X₆+49000⋅X₈⋅X₈+49840⋅X₇⋅X₈+52144⋅X₅⋅X₇+54040⋅X₅⋅X₅+65415⋅X₀⋅X₈+68439⋅X₀⋅X₅+108862⋅X₅+153⋅X₁₁+18⋅X₁₇+37533⋅X₆+50395⋅X₇+6⋅X₁+68357⋅X₀+97530⋅X₈+60396 {O(n^2)}
t₂₅₄: 1 {O(1)}
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₆ {O(n)}
t₂₆₁: X₇+X₈+1 {O(n)}
t₂₆₂: X₇+X₈+1 {O(n)}
t₂₆₄: X₅+X₆ {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₆+2⋅X₇+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₂₈₀: 10⋅X₅+2⋅X₆+2⋅X₇+7⋅X₈+4 {O(n)}
t₂₈₂: 1 {O(1)}
t₂₉₆: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₂₉₇: 1 {O(1)}
t₂₉₈: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₂₉₉: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+403 {O(n)}
t₃₀₀: 1100⋅X₅+1589⋅X₆+192⋅X₇+672⋅X₀+9⋅X₁₁+X₁+1959 {O(n)}
t₃₀₁: 12⋅X₇+1589⋅X₆+42⋅X₀+9⋅X₁₁+920⋅X₅+X₁+1626 {O(n)}
t₃₀₂: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₃: 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₃₀₆: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₈: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₉: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₁₀: 1200⋅X₆⋅X₆+13251⋅X₀⋅X₇+14700⋅X₈⋅X₈+16485⋅X₇⋅X₈+17745⋅X₅⋅X₅+17877⋅X₅⋅X₇+24990⋅X₀⋅X₈+26817⋅X₀⋅X₅+32445⋅X₅⋅X₈+4464⋅X₇⋅X₇+4710⋅X₆⋅X₇+7140⋅X₀⋅X₆+8400⋅X₆⋅X₈+9270⋅X₅⋅X₆+9702⋅X₀⋅X₀+17619⋅X₇+26313⋅X₀+32235⋅X₈+35130⋅X₅+9231⋅X₆+17361 {O(n^2)}
t₃₁₁: 10794⋅X₀⋅X₇+16500⋅X₅⋅X₆+16800⋅X₆⋅X₈+2400⋅X₆⋅X₆+24360⋅X₀⋅X₅+24990⋅X₀⋅X₈+25350⋅X₅⋅X₇+25830⋅X₇⋅X₈+28350⋅X₅⋅X₅+29400⋅X₈⋅X₈+4410⋅X₀⋅X₀+5664⋅X₇⋅X₇+57750⋅X₅⋅X₈+7140⋅X₀⋅X₆+7380⋅X₆⋅X₇+14361⋅X₆+20454⋅X₀+21966⋅X₇+49224⋅X₅+50190⋅X₈+21222 {O(n^2)}
t₃₁₂: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₁₃: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+373 {O(n)}
t₃₁₄: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+14840⋅X₈+17735⋅X₅+17955⋅X₀+4261⋅X₆+9667⋅X₇+9673 {O(n^2)}
t₃₁₅: 10⋅X₆+19⋅X₇+29⋅X₅+35⋅X₈+22 {O(n)}
t₃₁₆: 21⋅X₀+6⋅X₅+6⋅X₇+13 {O(n)}
t₃₁₇: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₃₁₈: 9⋅X₁₁+31 {O(n)}
t₃₁₉: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+43 {O(n)}
t₃₂₀: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₃₂₁: 10⋅X₆+10⋅X₇+35⋅X₈+38⋅X₅+22 {O(n)}
t₃₂₂: 9⋅X₁₁+30 {O(n)}
t₃₂₄: 9⋅X₁₁+32 {O(n)}
t₃₂₅: 9⋅X₁₁+31 {O(n)}
t₃₂₆: 9⋅X₁₁+31 {O(n)}
t₃₂₇: 9⋅X₁₁+31 {O(n)}
t₃₂₈: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₂₉: 9⋅X₁₇+9⋅X₅+1 {O(n)}
t₃₃₀: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+34 {O(n)}
t₃₃₁: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+34 {O(n)}
t₃₃₂: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₃₃: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₃₄: 9⋅X₁₇+9⋅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₃₃₉: 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₃₄₈: 2⋅X₅+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₆ {O(n)}
t₃₅₅: X₆+X₇+1 {O(n)}
t₃₅₆: X₆+X₇+1 {O(n)}
t₃₅₇: X₅+X₆ {O(n)}
t₃₅₈: X₀+X₅+1 {O(n)}

Costbounds

Overall costbound: 103040⋅X₅⋅X₈+12544⋅X₇⋅X₇+14240⋅X₆⋅X₇+18690⋅X₀⋅X₆+21609⋅X₀⋅X₀+28000⋅X₆⋅X₈+29440⋅X₅⋅X₆+32928⋅X₀⋅X₇+4000⋅X₆⋅X₆+49000⋅X₈⋅X₈+49840⋅X₇⋅X₈+52144⋅X₅⋅X₇+54040⋅X₅⋅X₅+65415⋅X₀⋅X₈+68439⋅X₀⋅X₅+108862⋅X₅+153⋅X₁₁+18⋅X₁₇+37533⋅X₆+50395⋅X₇+6⋅X₁+68357⋅X₀+97530⋅X₈+60396 {O(n^2)}
t₂₅₄: 1 {O(1)}
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₆ {O(n)}
t₂₆₁: X₇+X₈+1 {O(n)}
t₂₆₂: X₇+X₈+1 {O(n)}
t₂₆₄: X₅+X₆ {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₆+2⋅X₇+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₂₈₀: 10⋅X₅+2⋅X₆+2⋅X₇+7⋅X₈+4 {O(n)}
t₂₈₂: 1 {O(1)}
t₂₉₆: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₂₉₇: 1 {O(1)}
t₂₉₈: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₂₉₉: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+403 {O(n)}
t₃₀₀: 1100⋅X₅+1589⋅X₆+192⋅X₇+672⋅X₀+9⋅X₁₁+X₁+1959 {O(n)}
t₃₀₁: 12⋅X₇+1589⋅X₆+42⋅X₀+9⋅X₁₁+920⋅X₅+X₁+1626 {O(n)}
t₃₀₂: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₃: 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₃₀₆: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₈: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+42 {O(n)}
t₃₀₉: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₁₀: 1200⋅X₆⋅X₆+13251⋅X₀⋅X₇+14700⋅X₈⋅X₈+16485⋅X₇⋅X₈+17745⋅X₅⋅X₅+17877⋅X₅⋅X₇+24990⋅X₀⋅X₈+26817⋅X₀⋅X₅+32445⋅X₅⋅X₈+4464⋅X₇⋅X₇+4710⋅X₆⋅X₇+7140⋅X₀⋅X₆+8400⋅X₆⋅X₈+9270⋅X₅⋅X₆+9702⋅X₀⋅X₀+17619⋅X₇+26313⋅X₀+32235⋅X₈+35130⋅X₅+9231⋅X₆+17361 {O(n^2)}
t₃₁₁: 10794⋅X₀⋅X₇+16500⋅X₅⋅X₆+16800⋅X₆⋅X₈+2400⋅X₆⋅X₆+24360⋅X₀⋅X₅+24990⋅X₀⋅X₈+25350⋅X₅⋅X₇+25830⋅X₇⋅X₈+28350⋅X₅⋅X₅+29400⋅X₈⋅X₈+4410⋅X₀⋅X₀+5664⋅X₇⋅X₇+57750⋅X₅⋅X₈+7140⋅X₀⋅X₆+7380⋅X₆⋅X₇+14361⋅X₆+20454⋅X₀+21966⋅X₇+49224⋅X₅+50190⋅X₈+21222 {O(n^2)}
t₃₁₂: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+372 {O(n)}
t₃₁₃: 186⋅X₅+186⋅X₇+651⋅X₀+9⋅X₁₁+373 {O(n)}
t₃₁₄: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+14840⋅X₈+17735⋅X₅+17955⋅X₀+4261⋅X₆+9667⋅X₇+9673 {O(n^2)}
t₃₁₅: 10⋅X₆+19⋅X₇+29⋅X₅+35⋅X₈+22 {O(n)}
t₃₁₆: 21⋅X₀+6⋅X₅+6⋅X₇+13 {O(n)}
t₃₁₇: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₃₁₈: 9⋅X₁₁+31 {O(n)}
t₃₁₉: 21⋅X₀+6⋅X₅+6⋅X₇+9⋅X₁₁+43 {O(n)}
t₃₂₀: 21⋅X₀+6⋅X₅+6⋅X₇+12 {O(n)}
t₃₂₁: 10⋅X₆+10⋅X₇+35⋅X₈+38⋅X₅+22 {O(n)}
t₃₂₂: 9⋅X₁₁+30 {O(n)}
t₃₂₄: 9⋅X₁₁+32 {O(n)}
t₃₂₅: 9⋅X₁₁+31 {O(n)}
t₃₂₆: 9⋅X₁₁+31 {O(n)}
t₃₂₇: 9⋅X₁₁+31 {O(n)}
t₃₂₈: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₂₉: 9⋅X₁₇+9⋅X₅+1 {O(n)}
t₃₃₀: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+34 {O(n)}
t₃₃₁: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+34 {O(n)}
t₃₃₂: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₃₃: 10⋅X₆+16⋅X₇+21⋅X₀+35⋅X₅+35⋅X₈+33 {O(n)}
t₃₃₄: 9⋅X₁₇+9⋅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₃₃₉: 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₃₄₈: 2⋅X₅+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₆ {O(n)}
t₃₅₅: X₆+X₇+1 {O(n)}
t₃₅₆: X₆+X₇+1 {O(n)}
t₃₅₇: X₅+X₆ {O(n)}
t₃₅₈: X₀+X₅+1 {O(n)}

Sizebounds

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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₇+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₇+4⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₀: 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₆+10⋅X₇+29⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₇+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₈: 21⋅X₅+21⋅X₈+6⋅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₀: 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₆+10⋅X₇+29⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₂₉₆, X₇: 9⋅X₇ {O(n)}
t₂₉₆, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₂₉₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₂₉₆, X₁₂: 9⋅X₁₂+6 {O(n)}
t₂₉₆, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₂₉₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₂₉₇, X₀: 24⋅X₅+24⋅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₆: 11010⋅X₅⋅X₆+1200⋅X₆⋅X₆+13230⋅X₀⋅X₆+14700⋅X₈⋅X₈+22491⋅X₀⋅X₀+22575⋅X₇⋅X₈+23835⋅X₅⋅X₅+26649⋅X₀⋅X₇+26751⋅X₅⋅X₇+38535⋅X₅⋅X₈+46305⋅X₀⋅X₈+51786⋅X₀⋅X₅+6450⋅X₆⋅X₇+7248⋅X₇⋅X₇+8400⋅X₆⋅X₈+17187⋅X₆+34941⋅X₇+56133⋅X₀+59640⋅X₈+67401⋅X₅+39759 {O(n^2)}
t₂₉₇, X₇: 36⋅X₇ {O(n)}
t₂₉₇, X₈: 130⋅X₆+175⋅X₇+422⋅X₅+455⋅X₈+63⋅X₀+315 {O(n)}
t₂₉₇, X₁₁: 63⋅X₁₁+183 {O(n)}
t₂₉₇, X₁₂: 18⋅X₁₂+8 {O(n)}
t₂₉₇, X₁₃: 100107⋅X₆+1008⋅X₀+288⋅X₇+36⋅X₁₃+57492⋅X₅+63⋅X₁+99738 {O(n)}
t₂₉₇, X₁₇: 27⋅X₅+27⋅X₇+90⋅X₁₇+6 {O(n)}
t₂₉₈, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₂₉₈, X₇: 9⋅X₇ {O(n)}
t₂₉₈, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₂₉₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₂₉₈, X₁₂: 9⋅X₁₂+6 {O(n)}
t₂₉₈, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₂₉₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₂₉₉, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₂₉₉, X₇: 9⋅X₇ {O(n)}
t₂₉₉, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₂₉₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₂₉₉, X₁₂: 1 {O(1)}
t₂₉₉, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₂₉₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₀, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₀, X₇: 9⋅X₇ {O(n)}
t₃₀₀, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₁, X₇: 9⋅X₇ {O(n)}
t₃₀₁, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₂, X₇: 9⋅X₇ {O(n)}
t₃₀₂, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₀₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₂, X₁₂: 1 {O(1)}
t₃₀₂, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₃, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₃, X₇: 9⋅X₇ {O(n)}
t₃₀₃, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₄, X₇: 9⋅X₇ {O(n)}
t₃₀₄, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₅, X₇: 9⋅X₇ {O(n)}
t₃₀₅, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₆, X₇: 9⋅X₇ {O(n)}
t₃₀₆, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₈, X₇: 9⋅X₇ {O(n)}
t₃₀₈, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₀₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₀₈, X₁₂: 1 {O(1)}
t₃₀₈, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₀₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₀₉, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₀₉, X₇: 9⋅X₇ {O(n)}
t₃₀₉, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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₀: 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₀, X₇: 9⋅X₇ {O(n)}
t₃₁₀, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₀, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₀, X₁₂: 1 {O(1)}
t₃₁₀, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₁, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₁, X₇: 9⋅X₇ {O(n)}
t₃₁₁, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₁, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₁, X₁₂: 1 {O(1)}
t₃₁₁, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₂, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₂, X₇: 9⋅X₇ {O(n)}
t₃₁₂, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₂, X₁₂: 1 {O(1)}
t₃₁₂, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₃, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₃, X₇: 9⋅X₇ {O(n)}
t₃₁₃, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₃, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₃, X₁₂: 1 {O(1)}
t₃₁₃, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₃, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₄, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₄, X₇: 9⋅X₇ {O(n)}
t₃₁₄, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₄, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₄, X₁₂: 1 {O(1)}
t₃₁₄, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₅, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₅, X₇: 9⋅X₇ {O(n)}
t₃₁₅, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₅, X₁₂: 1 {O(1)}
t₃₁₅, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₆, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₆, X₇: 9⋅X₇ {O(n)}
t₃₁₆, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₆, X₁₂: 1 {O(1)}
t₃₁₆, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₇, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₇, X₇: 9⋅X₇ {O(n)}
t₃₁₇, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₇, X₁₂: 1 {O(1)}
t₃₁₇, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₁₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₈, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₈, X₇: 9⋅X₇ {O(n)}
t₃₁₈, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₈, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₈, X₁₂: 1 {O(1)}
t₃₁₈, X₁₃: 18⋅X₁₃+192⋅X₇+41052⋅X₅+45⋅X₁+672⋅X₀+71505⋅X₆+71214 {O(n)}
t₃₁₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₁₉, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₁₉, X₇: 9⋅X₇ {O(n)}
t₃₁₉, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₁₉, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₁₉, X₁₂: 1 {O(1)}
t₃₁₉, X₁₃: 18⋅X₁₃+192⋅X₇+41052⋅X₅+45⋅X₁+672⋅X₀+71505⋅X₆+71214 {O(n)}
t₃₁₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₀, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₀, X₇: 9⋅X₇ {O(n)}
t₃₂₀, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₀, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₀, X₁₂: 1 {O(1)}
t₃₂₀, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₁, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₁, X₇: 9⋅X₇ {O(n)}
t₃₂₁, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₁, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₁, X₁₂: 1 {O(1)}
t₃₂₁, X₁₃: 19164⋅X₅+21⋅X₁+33369⋅X₆+336⋅X₀+9⋅X₁₃+96⋅X₇+33246 {O(n)}
t₃₂₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₂, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₂, X₇: 9⋅X₇ {O(n)}
t₃₂₂, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₂, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₂, X₁₂: 1 {O(1)}
t₃₂₂, X₁₃: 12⋅X₅+12⋅X₇+42⋅X₀+24 {O(n)}
t₃₂₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₄, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₄, X₇: 9⋅X₇ {O(n)}
t₃₂₄, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₄, X₁₁: 30 {O(1)}
t₃₂₄, X₁₂: 1 {O(1)}
t₃₂₄, X₁₃: 12⋅X₅+12⋅X₇+42⋅X₀+24 {O(n)}
t₃₂₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₅, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₅, X₇: 9⋅X₇ {O(n)}
t₃₂₅, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₅, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₅, X₁₂: 1 {O(1)}
t₃₂₅, X₁₃: 24⋅X₅+24⋅X₇+84⋅X₀+48 {O(n)}
t₃₂₅, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₆, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₆, X₇: 9⋅X₇ {O(n)}
t₃₂₆, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₆, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₆, X₁₂: 1 {O(1)}
t₃₂₆, X₁₃: 24⋅X₅+24⋅X₇+84⋅X₀+48 {O(n)}
t₃₂₆, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₇, 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₆: 12845⋅X₅⋅X₈+15435⋅X₀⋅X₈+17262⋅X₀⋅X₅+2150⋅X₆⋅X₇+2416⋅X₇⋅X₇+2800⋅X₆⋅X₈+3670⋅X₅⋅X₆+400⋅X₆⋅X₆+4410⋅X₀⋅X₆+4900⋅X₈⋅X₈+7497⋅X₀⋅X₀+7525⋅X₇⋅X₈+7945⋅X₅⋅X₅+8883⋅X₀⋅X₇+8917⋅X₅⋅X₇+11647⋅X₇+18711⋅X₀+19880⋅X₈+22463⋅X₅+5722⋅X₆+13249 {O(n^2)}
t₃₂₇, X₇: 9⋅X₇ {O(n)}
t₃₂₇, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅X₇+98 {O(n)}
t₃₂₇, X₁₁: 18⋅X₁₁+61 {O(n)}
t₃₂₇, X₁₂: 4 {O(1)}
t₃₂₇, X₁₃: 336⋅X₀+96⋅X₅+96⋅X₇+192 {O(n)}
t₃₂₇, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₈, 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₆: 120⋅X₆+165⋅X₇+393⋅X₅+420⋅X₈+63⋅X₀+297 {O(n)}
t₃₂₈, X₇: 9⋅X₇ {O(n)}
t₃₂₈, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₂₈, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₂₉, 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₆: 120⋅X₆+165⋅X₇+393⋅X₅+420⋅X₈+63⋅X₀+297 {O(n)}
t₃₂₉, X₇: 9⋅X₇ {O(n)}
t₃₂₉, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₂₉, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₀, 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₀+240⋅X₆+330⋅X₇+786⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₀, X₇: 9⋅X₇ {O(n)}
t₃₃₀, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₃₀, X₁₆: 0 {O(1)}
t₃₃₀, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₁, 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₀+240⋅X₆+330⋅X₇+786⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₁, X₇: 9⋅X₇ {O(n)}
t₃₃₁, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₃₁, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₂, 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₀+240⋅X₆+330⋅X₇+786⋅X₅+840⋅X₈+594 {O(n)}
t₃₃₂, X₇: 9⋅X₇ {O(n)}
t₃₃₂, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₃₂, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₃, 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₆: 1440⋅X₆+1980⋅X₇+4716⋅X₅+5040⋅X₈+756⋅X₀+3564 {O(n)}
t₃₃₃, X₇: 9⋅X₇ {O(n)}
t₃₃₃, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₃₃, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₄, 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₆: 2358⋅X₅+2520⋅X₈+378⋅X₀+720⋅X₆+990⋅X₇+1782 {O(n)}
t₃₃₄, X₇: 9⋅X₇ {O(n)}
t₃₃₄, X₈: 131⋅X₅+140⋅X₈+21⋅X₀+40⋅X₆+55⋅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 {O(n)}
t₃₃₄, X₁₇: 27⋅X₁₇+9⋅X₅+9⋅X₇+2 {O(n)}
t₃₃₅, X₀: 2⋅X₅+2⋅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₇+4⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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₀: 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₈: 2⋅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)}