Analysing control-flow refined program

knowledge_propagation leads to new time bound 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₂+42 {O(n)} for transition t₇₉₂: f246(X₀, X₁, X₂, X₃, X₄, 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₁₅, X₁₆, S1*X₈, X₁₈, X₁₉, U1, X₂₁, X₂₂) :|: X₆ ≤ X₀ ∧ X₈+X₁₂ ≤ 31 ∧ X₁₂+X₁₃ ≤ 31 ∧ X₁₂ ≤ 30+X₂ ∧ X₁₂ ≤ 30 ∧ X₁₂ ≤ 30+X₁₆ ∧ X₁₂+X₁₆ ≤ 30 ∧ X₁₂ ≤ 29+X₀ ∧ X₁₂ ≤ 29+X₈ ∧ X₁₂ ≤ 29+X₁₃ ∧ X₈+X₁₃ ≤ 2 ∧ X₈ ≤ 1+X₂ ∧ X₁₃ ≤ 1+X₂ ∧ X₈ ≤ 1 ∧ X₈ ≤ 1+X₁₆ ∧ X₈+X₁₆ ≤ 1 ∧ X₁₃ ≤ 1 ∧ X₁₃ ≤ 1+X₁₆ ∧ X₁₃+X₁₆ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₀+X₁₆ ∧ 1+X₁₆ ≤ X₀ ∧ 1 ≤ X₂+X₈ ∧ 1 ≤ X₂+X₁₃ ∧ 1 ≤ X₈ ∧ 1 ≤ X₈+X₁₆ ∧ 1+X₁₆ ≤ X₈ ∧ 1 ≤ X₁₃ ∧ 1 ≤ X₁₃+X₁₆ ∧ 1+X₁₆ ≤ X₁₃ ∧ 2 ≤ X₀+X₈ ∧ 2 ≤ X₀+X₁₃ ∧ 2 ≤ X₈+X₁₃ ∧ X₈ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₁₆ ∧ X₁₆ ≤ X₂ ∧ X₁₃ ≤ X₈ ∧ X₈ ≤ X₁₃ ∧ 0 ≤ X₁₆ ∧ X₁₆ ≤ 0

knowledge_propagation leads to new time bound 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₂+42 {O(n)} for transition t₇₉₃: f246(X₀, X₁, X₂, X₃, X₄, 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₁₅, X₁₆, X₁₇, X₁₈, X₁₉, R1, X₂₁, X₂₂) :|: 1+X₀ ≤ X₆ ∧ X₈+X₁₂ ≤ 31 ∧ X₁₂+X₁₃ ≤ 31 ∧ X₁₂ ≤ 30+X₂ ∧ X₁₂ ≤ 30 ∧ X₁₂ ≤ 30+X₁₆ ∧ X₁₂+X₁₆ ≤ 30 ∧ X₁₂ ≤ 29+X₀ ∧ X₁₂ ≤ 29+X₈ ∧ X₁₂ ≤ 29+X₁₃ ∧ X₈+X₁₃ ≤ 2 ∧ X₈ ≤ 1+X₂ ∧ X₁₃ ≤ 1+X₂ ∧ X₈ ≤ 1 ∧ X₈ ≤ 1+X₁₆ ∧ X₈+X₁₆ ≤ 1 ∧ X₁₃ ≤ 1 ∧ X₁₃ ≤ 1+X₁₆ ∧ X₁₃+X₁₆ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₀+X₁₆ ∧ 1+X₁₆ ≤ X₀ ∧ 1 ≤ X₂+X₈ ∧ 1 ≤ X₂+X₁₃ ∧ 1 ≤ X₈ ∧ 1 ≤ X₈+X₁₆ ∧ 1+X₁₆ ≤ X₈ ∧ 1 ≤ X₁₃ ∧ 1 ≤ X₁₃+X₁₆ ∧ 1+X₁₆ ≤ X₁₃ ∧ 2 ≤ X₀+X₈ ∧ 2 ≤ X₀+X₁₃ ∧ 2 ≤ X₈+X₁₃ ∧ X₈ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₁₆ ∧ X₁₆ ≤ X₂ ∧ X₁₃ ≤ X₈ ∧ X₈ ≤ X₁₃ ∧ 0 ≤ X₁₆ ∧ X₁₆ ≤ 0

knowledge_propagation leads to new time bound 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₂+42 {O(n)} for transition t₇₉₄: f246(X₀, X₁, X₂, X₃, X₄, 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₇, -S1*U1*X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, A2, S1*X₈, X1, X₁₉, X₂₀, X₂₁, X₂₂) :|: T1*U1 ≤ 1 ∧ T1*W1 ≤ 1 ∧ T1*Y1 ≤ 1 ∧ 1+R1 ≤ B2+B2*R1*T1 ∧ 1+R1 ≤ R1*T1*Z1+Z1 ∧ 1 ≤ V1 ∧ 2 ≤ T1*U1+U1 ∧ 2 ≤ T1*W1+W1 ∧ 2 ≤ T1*Y1+Y1 ∧ B2 ≤ A2 ∧ A2 ≤ Z1 ∧ B2*R1*T1 ≤ R1 ∧ R1*T1*Z1 ≤ R1 ∧ W1 ≤ X1 ∧ X1 ≤ Y1 ∧ X₆ ≤ X₀ ∧ X₈+X₁₂ ≤ 31 ∧ X₁₂+X₁₃ ≤ 31 ∧ X₁₂ ≤ 30+X₂ ∧ X₁₂ ≤ 30 ∧ X₁₂ ≤ 30+X₁₆ ∧ X₁₂+X₁₆ ≤ 30 ∧ X₁₂ ≤ 29+X₀ ∧ X₁₂ ≤ 29+X₈ ∧ X₁₂ ≤ 29+X₁₃ ∧ X₈+X₁₃ ≤ 2 ∧ X₈ ≤ 1+X₂ ∧ X₁₃ ≤ 1+X₂ ∧ X₈ ≤ 1 ∧ X₈ ≤ 1+X₁₆ ∧ X₈+X₁₆ ≤ 1 ∧ X₁₃ ≤ 1 ∧ X₁₃ ≤ 1+X₁₆ ∧ X₁₃+X₁₆ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₀+X₁₆ ∧ 1+X₁₆ ≤ X₀ ∧ 1 ≤ X₂+X₈ ∧ 1 ≤ X₂+X₁₃ ∧ 1 ≤ X₈ ∧ 1 ≤ X₈+X₁₆ ∧ 1+X₁₆ ≤ X₈ ∧ 1 ≤ X₁₃ ∧ 1 ≤ X₁₃+X₁₆ ∧ 1+X₁₆ ≤ X₁₃ ∧ 2 ≤ X₀+X₈ ∧ 2 ≤ X₀+X₁₃ ∧ 2 ≤ X₈+X₁₃ ∧ X₈ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₁₆ ∧ X₁₆ ≤ X₂ ∧ X₁₃ ≤ X₈ ∧ X₈ ≤ X₁₃ ∧ 0 ≤ X₁₆ ∧ X₁₆ ≤ 0

knowledge_propagation leads to new time bound 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+9⋅X₁₂+42 {O(n)} for transition t₇₉₅: f246(X₀, X₁, X₂, X₃, X₄, 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₇, -S1*U1*X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, A2, S1*X₈, X1, X₁₉, X₂₀, X₂₁, X₂₂) :|: T1*U1 ≤ 1 ∧ T1*W1 ≤ 1 ∧ T1*Y1 ≤ 1 ∧ 1+R1 ≤ B2+B2*R1*T1 ∧ 1+R1 ≤ R1*T1*Z1+Z1 ∧ 1+V1 ≤ 0 ∧ 2 ≤ T1*U1+U1 ∧ 2 ≤ T1*W1+W1 ∧ 2 ≤ T1*Y1+Y1 ∧ B2 ≤ A2 ∧ A2 ≤ Z1 ∧ B2*R1*T1 ≤ R1 ∧ R1*T1*Z1 ≤ R1 ∧ W1 ≤ X1 ∧ X1 ≤ Y1 ∧ X₆ ≤ X₀ ∧ X₈+X₁₂ ≤ 31 ∧ X₁₂+X₁₃ ≤ 31 ∧ X₁₂ ≤ 30+X₂ ∧ X₁₂ ≤ 30 ∧ X₁₂ ≤ 30+X₁₆ ∧ X₁₂+X₁₆ ≤ 30 ∧ X₁₂ ≤ 29+X₀ ∧ X₁₂ ≤ 29+X₈ ∧ X₁₂ ≤ 29+X₁₃ ∧ X₈+X₁₃ ≤ 2 ∧ X₈ ≤ 1+X₂ ∧ X₁₃ ≤ 1+X₂ ∧ X₈ ≤ 1 ∧ X₈ ≤ 1+X₁₆ ∧ X₈+X₁₆ ≤ 1 ∧ X₁₃ ≤ 1 ∧ X₁₃ ≤ 1+X₁₆ ∧ X₁₃+X₁₆ ≤ 1 ∧ 1 ≤ X₀ ∧ 1 ≤ X₀+X₂ ∧ 1 ≤ X₀+X₁₆ ∧ 1+X₁₆ ≤ X₀ ∧ 1 ≤ X₂+X₈ ∧ 1 ≤ X₂+X₁₃ ∧ 1 ≤ X₈ ∧ 1 ≤ X₈+X₁₆ ∧ 1+X₁₆ ≤ X₈ ∧ 1 ≤ X₁₃ ∧ 1 ≤ X₁₃+X₁₆ ∧ 1+X₁₆ ≤ X₁₃ ∧ 2 ≤ X₀+X₈ ∧ 2 ≤ X₀+X₁₃ ∧ 2 ≤ X₈+X₁₃ ∧ X₈ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ 0 ≤ X₂ ∧ 0 ≤ X₂+X₁₆ ∧ X₁₆ ≤ X₂ ∧ X₁₃ ≤ X₈ ∧ X₈ ≤ X₁₃ ∧ 0 ≤ X₁₆ ∧ X₁₆ ≤ 0

knowledge_propagation leads to new time bound 12⋅X₆+12⋅X₇+18⋅X₁₂+24⋅X₅+42⋅X₀+84 {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₁₇, X₁₈, X₁₉, X₂₀, X₂₁, X₂₂) → f260(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, 1+X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, R1, S1, X₂₁, 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₁₂+24⋅X₅+42⋅X₀+84 {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₁₇, 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₁₇, 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:11168⋅X₇⋅X₇+12852⋅X₀⋅X₆+17238⋅X₅⋅X₆+17430⋅X₆⋅X₉+1836⋅X₆⋅X₆+22491⋅X₀⋅X₀+31794⋅X₀⋅X₇+39200⋅X₉⋅X₉+40052⋅X₅⋅X₅+42310⋅X₅⋅X₇+42350⋅X₇⋅X₉+60333⋅X₀⋅X₅+61005⋅X₀⋅X₉+79940⋅X₅⋅X₉+9084⋅X₆⋅X₇+101656⋅X₅+153⋅X₁₂+18⋅X₂₂+19⋅X₁+44550⋅X₇+48776⋅X₆+64577⋅X₀+82935⋅X₉+74753 {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₅+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₇+13 {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₃₀₅: 1595⋅X₆+21⋅X₀+6⋅X₇+9⋅X₁₂+920⋅X₅+X₁+1615 {O(n)}
t₃₀₆: 1595⋅X₆+21⋅X₀+6⋅X₇+9⋅X₁₂+920⋅X₅+X₁+1615 {O(n)}
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₁₂+402 {O(n)}
t₃₀₉: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₀: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₁: 186⋅X₆+186⋅X₇+372⋅X₅+651⋅X₀+9⋅X₁₂+372 {O(n)}
t₃₁₂: X₆+X₇+1 {O(n)}
t₃₁₃: X₅+X₆+1 {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₃₁₇: 10794⋅X₀⋅X₇+19530⋅X₅⋅X₅+19740⋅X₀⋅X₅+21054⋅X₅⋅X₇+24990⋅X₀⋅X₉+2520⋅X₀⋅X₆+25830⋅X₇⋅X₉+29400⋅X₉⋅X₉+3084⋅X₆⋅X₇+360⋅X₆⋅X₆+4410⋅X₀⋅X₀+48090⋅X₅⋅X₉+5640⋅X₅⋅X₆+5664⋅X₇⋅X₇+7140⋅X₆⋅X₉+20454⋅X₀+21966⋅X₇+40728⋅X₅+50190⋅X₉+5865⋅X₆+21222 {O(n^2)}
t₃₁₈: 10447⋅X₅⋅X₅+10731⋅X₀⋅X₇+10817⋅X₅⋅X₇+16135⋅X₅⋅X₉+18375⋅X₀⋅X₉+20748⋅X₀⋅X₅+2800⋅X₇⋅X₇+3066⋅X₆⋅X₇+4900⋅X₉⋅X₉+5250⋅X₆⋅X₉+5292⋅X₀⋅X₆+5928⋅X₅⋅X₆+756⋅X₆⋅X₆+8365⋅X₇⋅X₉+9261⋅X₀⋅X₀+11195⋅X₇+16450⋅X₉+21635⋅X₅+21693⋅X₀+6219⋅X₆+11191 {O(n^2)}
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₃₂₁: 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₇+12 {O(n)}
t₃₂₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₅: 9⋅X₁₂+31 {O(n)}
t₃₂₆: 13620⋅X₅+15⋅X₁+23835⋅X₆+9⋅X₁₂+23611 {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₁₂+32 {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₆+34 {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₆ {O(n)}
t₃₅₃: 1 {O(1)}
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₇+1 {O(n)}
t₃₆₀: X₅+X₆+1 {O(n)}
t₃₆₁: X₅+X₆+1 {O(n)}
t₃₆₂: X₆+X₇+1 {O(n)}

Costbounds

Overall costbound: 11168⋅X₇⋅X₇+12852⋅X₀⋅X₆+17238⋅X₅⋅X₆+17430⋅X₆⋅X₉+1836⋅X₆⋅X₆+22491⋅X₀⋅X₀+31794⋅X₀⋅X₇+39200⋅X₉⋅X₉+40052⋅X₅⋅X₅+42310⋅X₅⋅X₇+42350⋅X₇⋅X₉+60333⋅X₀⋅X₅+61005⋅X₀⋅X₉+79940⋅X₅⋅X₉+9084⋅X₆⋅X₇+101656⋅X₅+153⋅X₁₂+18⋅X₂₂+19⋅X₁+44550⋅X₇+48776⋅X₆+64577⋅X₀+82935⋅X₉+74753 {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₅+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₇+13 {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₃₀₅: 1595⋅X₆+21⋅X₀+6⋅X₇+9⋅X₁₂+920⋅X₅+X₁+1615 {O(n)}
t₃₀₆: 1595⋅X₆+21⋅X₀+6⋅X₇+9⋅X₁₂+920⋅X₅+X₁+1615 {O(n)}
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₁₂+402 {O(n)}
t₃₀₉: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₀: 1589⋅X₆+908⋅X₅+X₁+1574 {O(n)}
t₃₁₁: 186⋅X₆+186⋅X₇+372⋅X₅+651⋅X₀+9⋅X₁₂+372 {O(n)}
t₃₁₂: X₆+X₇+1 {O(n)}
t₃₁₃: X₅+X₆+1 {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₃₁₇: 10794⋅X₀⋅X₇+19530⋅X₅⋅X₅+19740⋅X₀⋅X₅+21054⋅X₅⋅X₇+24990⋅X₀⋅X₉+2520⋅X₀⋅X₆+25830⋅X₇⋅X₉+29400⋅X₉⋅X₉+3084⋅X₆⋅X₇+360⋅X₆⋅X₆+4410⋅X₀⋅X₀+48090⋅X₅⋅X₉+5640⋅X₅⋅X₆+5664⋅X₇⋅X₇+7140⋅X₆⋅X₉+20454⋅X₀+21966⋅X₇+40728⋅X₅+50190⋅X₉+5865⋅X₆+21222 {O(n^2)}
t₃₁₈: 10447⋅X₅⋅X₅+10731⋅X₀⋅X₇+10817⋅X₅⋅X₇+16135⋅X₅⋅X₉+18375⋅X₀⋅X₉+20748⋅X₀⋅X₅+2800⋅X₇⋅X₇+3066⋅X₆⋅X₇+4900⋅X₉⋅X₉+5250⋅X₆⋅X₉+5292⋅X₀⋅X₆+5928⋅X₅⋅X₆+756⋅X₆⋅X₆+8365⋅X₇⋅X₉+9261⋅X₀⋅X₀+11195⋅X₇+16450⋅X₉+21635⋅X₅+21693⋅X₀+6219⋅X₆+11191 {O(n^2)}
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₃₂₁: 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₇+12 {O(n)}
t₃₂₄: 12⋅X₅+21⋅X₀+6⋅X₆+6⋅X₇+12 {O(n)}
t₃₂₅: 9⋅X₁₂+31 {O(n)}
t₃₂₆: 13620⋅X₅+15⋅X₁+23835⋅X₆+9⋅X₁₂+23611 {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₁₂+32 {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₆+34 {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₆ {O(n)}
t₃₅₃: 1 {O(1)}
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₇+1 {O(n)}
t₃₆₀: X₅+X₆+1 {O(n)}
t₃₆₁: X₅+X₆+1 {O(n)}
t₃₆₂: X₆+X₇+1 {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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 3⋅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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 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₂₀: 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₈: 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₂₀: 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₈: 3⋅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₂₀: 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₁₈: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 1 {O(1)}
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₁₆: 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₆: 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₈: 1 {O(1)}
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₁₆: 1 {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₆: 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₈: 1 {O(1)}
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₁₆: 1 {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₆: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: 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₈: 0 {O(1)}
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₂₀: X₂₀ {O(n)}
t₃₆₂, X₂₁: X₂₁ {O(n)}
t₃₆₂, X₂₂: X₂₂ {O(n)}