Analysing control-flow refined program

All Bounds

Timebounds

Overall timebound:352⋅X₇⋅X₇⋅X₇⋅X₇+632⋅X₇⋅X₇⋅X₇+532⋅X₇⋅X₇+230⋅X₇+5⋅X₈+56⋅X₁₅+40 {O(n^4)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₈ {O(n)}
t₃: 1 {O(1)}
t₄: X₈ {O(n)}
t₆: X₈ {O(n)}
t₇: 1 {O(1)}
t₈: 1 {O(1)}
t₉: X₈ {O(n)}
t₁₀: X₈ {O(n)}
t₁₁: 1 {O(1)}
t₁₂: 1 {O(1)}
t₁₃: 2⋅X₇+1 {O(n)}
t₁₄: 1 {O(1)}
t₁₅: 2⋅X₇+1 {O(n)}
t₁₇: 2⋅X₇+1 {O(n)}
t₁₈: 2⋅X₇+1 {O(n)}
t₁₉: 2⋅X₇ {O(n)}
t₂₀: 2⋅X₇ {O(n)}
t₂₁: 4⋅X₇⋅X₇+2⋅X₇+1 {O(n^2)}
t₂₂: 2⋅X₇+1 {O(n)}
t₂₃: 8⋅X₇⋅X₇ {O(n^2)}
t₂₅: 4⋅X₇⋅X₇ {O(n^2)}
t₂₆: 2⋅X₇ {O(n)}
t₂₇: 2⋅X₇ {O(n)}
t₂₈: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₂₉: 8⋅X₇⋅X₇ {O(n^2)}
t₃₀: 2⋅X₇+1 {O(n)}
t₃₁: 2⋅X₇+1 {O(n)}
t₃₃: 2⋅X₇ {O(n)}
t₃₄: 2⋅X₇+1 {O(n)}
t₃₅: 1 {O(1)}
t₃₆: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₃₇: 2⋅X₇+1 {O(n)}
t₃₈: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₀: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₁: 8⋅X₇⋅X₇+4⋅X₇ {O(n^2)}
t₄₂: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₄₃: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₄₄: 2⋅X₇ {O(n)}
t₄₅: 2⋅X₇ {O(n)}
t₄₆: 2⋅X₇ {O(n)}
t₄₇: 2⋅X₇+1 {O(n)}
t₄₉: 2⋅X₇+1 {O(n)}
t₅₀: 2⋅X₇+1 {O(n)}
t₅₁: 2⋅X₇+1 {O(n)}
t₅₂: 2⋅X₇ {O(n)}
t₅₃: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₅₄: 2⋅X₇+1 {O(n)}
t₅₅: 32⋅X₇⋅X₇⋅X₇⋅X₇+56⋅X₇⋅X₇⋅X₇+36⋅X₇⋅X₇+10⋅X₇+1 {O(n^4)}
t₅₆: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₇: 64⋅X₇⋅X₇⋅X₇⋅X₇+96⋅X₇⋅X₇⋅X₇+52⋅X₇⋅X₇+12⋅X₇+1 {O(n^4)}
t₅₉: 64⋅X₇⋅X₇⋅X₇⋅X₇+112⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+20⋅X₇+2 {O(n^4)}
t₆₀: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₁: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₂: 32⋅X₇⋅X₇⋅X₇⋅X₇+56⋅X₇⋅X₇⋅X₇+36⋅X₇⋅X₇+10⋅X₇+1 {O(n^4)}
t₆₃: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₄: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₅: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₇: 2⋅X₇+1 {O(n)}
t₆₈: 2⋅X₇ {O(n)}
t₆₉: 4⋅X₇⋅X₇+4⋅X₇ {O(n^2)}
t₇₀: 2⋅X₇+1 {O(n)}
t₇₁: 24⋅X₇⋅X₇⋅X₇+28⋅X₇⋅X₇+10⋅X₇+20⋅X₁₅ {O(n^3)}
t₇₂: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₃: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₅: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₆: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₇: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₈: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+4⋅X₁₅ {O(n^3)}
t₇₉: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₈₀: 2⋅X₇ {O(n)}
t₈₁: 1 {O(1)}

Costbounds

Overall costbound: 352⋅X₇⋅X₇⋅X₇⋅X₇+632⋅X₇⋅X₇⋅X₇+532⋅X₇⋅X₇+230⋅X₇+5⋅X₈+56⋅X₁₅+40 {O(n^4)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₈ {O(n)}
t₃: 1 {O(1)}
t₄: X₈ {O(n)}
t₆: X₈ {O(n)}
t₇: 1 {O(1)}
t₈: 1 {O(1)}
t₉: X₈ {O(n)}
t₁₀: X₈ {O(n)}
t₁₁: 1 {O(1)}
t₁₂: 1 {O(1)}
t₁₃: 2⋅X₇+1 {O(n)}
t₁₄: 1 {O(1)}
t₁₅: 2⋅X₇+1 {O(n)}
t₁₇: 2⋅X₇+1 {O(n)}
t₁₈: 2⋅X₇+1 {O(n)}
t₁₉: 2⋅X₇ {O(n)}
t₂₀: 2⋅X₇ {O(n)}
t₂₁: 4⋅X₇⋅X₇+2⋅X₇+1 {O(n^2)}
t₂₂: 2⋅X₇+1 {O(n)}
t₂₃: 8⋅X₇⋅X₇ {O(n^2)}
t₂₅: 4⋅X₇⋅X₇ {O(n^2)}
t₂₆: 2⋅X₇ {O(n)}
t₂₇: 2⋅X₇ {O(n)}
t₂₈: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₂₉: 8⋅X₇⋅X₇ {O(n^2)}
t₃₀: 2⋅X₇+1 {O(n)}
t₃₁: 2⋅X₇+1 {O(n)}
t₃₃: 2⋅X₇ {O(n)}
t₃₄: 2⋅X₇+1 {O(n)}
t₃₅: 1 {O(1)}
t₃₆: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₃₇: 2⋅X₇+1 {O(n)}
t₃₈: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₀: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₁: 8⋅X₇⋅X₇+4⋅X₇ {O(n^2)}
t₄₂: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₄₃: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₄₄: 2⋅X₇ {O(n)}
t₄₅: 2⋅X₇ {O(n)}
t₄₆: 2⋅X₇ {O(n)}
t₄₇: 2⋅X₇+1 {O(n)}
t₄₉: 2⋅X₇+1 {O(n)}
t₅₀: 2⋅X₇+1 {O(n)}
t₅₁: 2⋅X₇+1 {O(n)}
t₅₂: 2⋅X₇ {O(n)}
t₅₃: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₅₄: 2⋅X₇+1 {O(n)}
t₅₅: 32⋅X₇⋅X₇⋅X₇⋅X₇+56⋅X₇⋅X₇⋅X₇+36⋅X₇⋅X₇+10⋅X₇+1 {O(n^4)}
t₅₆: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₇: 64⋅X₇⋅X₇⋅X₇⋅X₇+96⋅X₇⋅X₇⋅X₇+52⋅X₇⋅X₇+12⋅X₇+1 {O(n^4)}
t₅₉: 64⋅X₇⋅X₇⋅X₇⋅X₇+112⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+20⋅X₇+2 {O(n^4)}
t₆₀: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₁: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₂: 32⋅X₇⋅X₇⋅X₇⋅X₇+56⋅X₇⋅X₇⋅X₇+36⋅X₇⋅X₇+10⋅X₇+1 {O(n^4)}
t₆₃: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₄: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₅: 4⋅X₇⋅X₇+2⋅X₇ {O(n^2)}
t₆₇: 2⋅X₇+1 {O(n)}
t₆₈: 2⋅X₇ {O(n)}
t₆₉: 4⋅X₇⋅X₇+4⋅X₇ {O(n^2)}
t₇₀: 2⋅X₇+1 {O(n)}
t₇₁: 24⋅X₇⋅X₇⋅X₇+28⋅X₇⋅X₇+10⋅X₇+20⋅X₁₅ {O(n^3)}
t₇₂: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₃: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₅: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₆: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₇: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+8⋅X₁₅ {O(n^3)}
t₇₈: 8⋅X₇⋅X₇⋅X₇+8⋅X₇⋅X₇+2⋅X₇+4⋅X₁₅ {O(n^3)}
t₇₉: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₈₀: 2⋅X₇ {O(n)}
t₈₁: 1 {O(1)}

Sizebounds

t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {O(n)}
t₀, X₂: X₂ {O(n)}
t₀, X₃: X₃ {O(n)}
t₀, X₄: X₄ {O(n)}
t₀, X₅: X₅ {O(n)}
t₀, X₆: X₆ {O(n)}
t₀, X₇: X₇ {O(n)}
t₀, X₈: X₈ {O(n)}
t₀, X₉: X₉ {O(n)}
t₀, X₁₀: X₁₀ {O(n)}
t₀, X₁₁: X₁₁ {O(n)}
t₀, X₁₂: X₁₂ {O(n)}
t₀, X₁₃: X₁₃ {O(n)}
t₀, X₁₄: X₁₄ {O(n)}
t₀, X₁₅: X₁₅ {O(n)}
t₀, X₁₆: X₁₆ {O(n)}
t₀, X₁₇: X₁₇ {O(n)}
t₀, X₁₈: X₁₈ {O(n)}
t₀, X₁₉: X₁₉ {O(n)}
t₀, X₂₀: X₂₀ {O(n)}
t₀, X₂₁: X₂₁ {O(n)}
t₀, X₂₂: X₂₂ {O(n)}
t₁, X₀: X₀ {O(n)}
t₁, X₁: X₁ {O(n)}
t₁, X₂: X₂ {O(n)}
t₁, X₃: X₃ {O(n)}
t₁, X₄: X₄ {O(n)}
t₁, X₅: X₅ {O(n)}
t₁, X₆: X₆ {O(n)}
t₁, X₇: X₇ {O(n)}
t₁, X₈: X₈ {O(n)}
t₁, X₉: X₉ {O(n)}
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₆: X₆ {O(n)}
t₂, X₇: X₇ {O(n)}
t₂, X₈: X₈ {O(n)}
t₂, X₉: X₉ {O(n)}
t₂, X₁₀: X₈ {O(n)}
t₂, X₁₁: X₁₁ {O(n)}
t₂, X₁₂: X₁₂ {O(n)}
t₂, X₁₃: X₁₃ {O(n)}
t₂, X₁₄: X₁₄ {O(n)}
t₂, X₁₅: X₁₅ {O(n)}
t₂, X₁₆: X₁₆ {O(n)}
t₂, X₁₇: X₁₇ {O(n)}
t₂, X₁₈: X₁₈ {O(n)}
t₂, X₁₉: X₁₉ {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₁ {O(n)}
t₃, X₂: 2⋅X₂ {O(n)}
t₃, X₃: 2⋅X₃ {O(n)}
t₃, X₄: 2⋅X₄ {O(n)}
t₃, X₅: 2⋅X₅ {O(n)}
t₃, X₆: 2⋅X₆ {O(n)}
t₃, X₇: 2⋅X₇ {O(n)}
t₃, X₈: 2⋅X₈ {O(n)}
t₃, X₉: 2⋅X₉ {O(n)}
t₃, X₁₀: X₈ {O(n)}
t₃, X₁₁: 2⋅X₁₁ {O(n)}
t₃, X₁₂: 2⋅X₁₂ {O(n)}
t₃, X₁₃: 2⋅X₁₃ {O(n)}
t₃, X₁₄: 2⋅X₁₄ {O(n)}
t₃, X₁₅: 2⋅X₁₅ {O(n)}
t₃, X₁₆: 2⋅X₁₆ {O(n)}
t₃, X₁₇: 2⋅X₁₇ {O(n)}
t₃, X₁₈: 2⋅X₁₈ {O(n)}
t₃, X₁₉: 2⋅X₁₉ {O(n)}
t₃, X₂₀: 2⋅X₂₀ {O(n)}
t₃, X₂₁: 2⋅X₂₁ {O(n)}
t₃, X₂₂: 2⋅X₂₂ {O(n)}
t₄, X₀: X₀ {O(n)}
t₄, X₁: X₁ {O(n)}
t₄, X₂: X₂ {O(n)}
t₄, X₃: X₃ {O(n)}
t₄, X₄: X₄ {O(n)}
t₄, X₅: X₅ {O(n)}
t₄, X₆: X₆ {O(n)}
t₄, X₇: X₇ {O(n)}
t₄, X₈: X₈ {O(n)}
t₄, X₉: X₉ {O(n)}
t₄, X₁₀: X₈ {O(n)}
t₄, X₁₁: X₁₁ {O(n)}
t₄, X₁₂: X₁₂ {O(n)}
t₄, X₁₃: X₁₃ {O(n)}
t₄, X₁₄: X₁₄ {O(n)}
t₄, X₁₅: X₁₅ {O(n)}
t₄, X₁₆: X₁₆ {O(n)}
t₄, X₁₇: X₁₇ {O(n)}
t₄, X₁₈: X₁₈ {O(n)}
t₄, X₁₉: X₁₉ {O(n)}
t₄, X₂₀: X₂₀ {O(n)}
t₄, X₂₁: X₂₁ {O(n)}
t₄, X₂₂: X₂₂ {O(n)}
t₆, X₁: X₁ {O(n)}
t₆, X₂: X₂ {O(n)}
t₆, X₃: X₃ {O(n)}
t₆, X₄: X₄ {O(n)}
t₆, X₅: X₅ {O(n)}
t₆, X₆: X₆ {O(n)}
t₆, X₇: X₇ {O(n)}
t₆, X₈: X₈ {O(n)}
t₆, X₉: X₉ {O(n)}
t₆, X₁₀: X₈ {O(n)}
t₆, X₁₁: X₁₁ {O(n)}
t₆, X₁₂: X₁₂ {O(n)}
t₆, X₁₃: X₁₃ {O(n)}
t₆, X₁₄: X₁₄ {O(n)}
t₆, X₁₅: X₁₅ {O(n)}
t₆, X₁₆: X₁₆ {O(n)}
t₆, X₁₇: X₁₇ {O(n)}
t₆, X₁₈: X₁₈ {O(n)}
t₆, X₁₉: X₁₉ {O(n)}
t₆, X₂₀: X₂₀ {O(n)}
t₆, X₂₁: X₂₁ {O(n)}
t₆, X₂₂: X₂₂ {O(n)}
t₇, X₁: X₁ {O(n)}
t₇, X₂: X₂ {O(n)}
t₇, X₃: X₃ {O(n)}
t₇, X₄: X₄ {O(n)}
t₇, X₅: X₅ {O(n)}
t₇, X₆: X₆ {O(n)}
t₇, X₇: X₇ {O(n)}
t₇, X₈: X₈ {O(n)}
t₇, X₉: X₉ {O(n)}
t₇, X₁₀: X₈ {O(n)}
t₇, X₁₁: X₁₁ {O(n)}
t₇, X₁₂: X₁₂ {O(n)}
t₇, X₁₃: X₁₃ {O(n)}
t₇, X₁₄: X₁₄ {O(n)}
t₇, X₁₅: X₁₅ {O(n)}
t₇, X₁₆: X₁₆ {O(n)}
t₇, X₁₇: X₁₇ {O(n)}
t₇, X₁₈: X₁₈ {O(n)}
t₇, X₁₉: X₁₉ {O(n)}
t₇, X₂₀: X₂₀ {O(n)}
t₇, X₂₁: X₂₁ {O(n)}
t₇, X₂₂: X₂₂ {O(n)}
t₈, X₁: X₁ {O(n)}
t₈, X₂: X₂ {O(n)}
t₈, X₃: X₃ {O(n)}
t₈, X₄: X₄ {O(n)}
t₈, X₅: X₅ {O(n)}
t₈, X₆: X₆ {O(n)}
t₈, X₇: X₇ {O(n)}
t₈, X₈: X₈ {O(n)}
t₈, X₉: X₉ {O(n)}
t₈, X₁₀: X₈ {O(n)}
t₈, X₁₁: X₁₁ {O(n)}
t₈, X₁₂: X₁₂ {O(n)}
t₈, X₁₃: X₁₃ {O(n)}
t₈, X₁₄: X₁₄ {O(n)}
t₈, X₁₅: X₁₅ {O(n)}
t₈, X₁₆: X₁₆ {O(n)}
t₈, X₁₇: X₁₇ {O(n)}
t₈, X₁₈: X₁₈ {O(n)}
t₈, X₁₉: X₁₉ {O(n)}
t₈, X₂₀: X₂₀ {O(n)}
t₈, X₂₁: X₂₁ {O(n)}
t₈, X₂₂: X₂₂ {O(n)}
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₁₉: X₁₉ {O(n)}
t₉, X₂₀: X₂₀ {O(n)}
t₉, X₂₁: X₂₁ {O(n)}
t₉, X₂₂: X₂₂ {O(n)}
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₁₉: X₁₉ {O(n)}
t₁₀, X₂₀: X₂₀ {O(n)}
t₁₀, X₂₁: X₂₁ {O(n)}
t₁₀, X₂₂: X₂₂ {O(n)}
t₁₁, X₁: 2⋅X₁ {O(n)}
t₁₁, X₂: 2⋅X₂ {O(n)}
t₁₁, X₃: 2⋅X₃ {O(n)}
t₁₁, X₄: 2⋅X₄ {O(n)}
t₁₁, X₅: 2⋅X₅ {O(n)}
t₁₁, X₆: 2⋅X₆ {O(n)}
t₁₁, X₇: 2⋅X₇ {O(n)}
t₁₁, X₈: 2⋅X₈ {O(n)}
t₁₁, X₉: 2⋅X₉ {O(n)}
t₁₁, X₁₀: 2⋅X₈ {O(n)}
t₁₁, X₁₁: 2⋅X₁₁ {O(n)}
t₁₁, X₁₂: 2⋅X₁₂ {O(n)}
t₁₁, X₁₃: 0 {O(1)}
t₁₁, X₁₄: 2⋅X₁₄ {O(n)}
t₁₁, X₁₅: 2⋅X₁₅ {O(n)}
t₁₁, X₁₆: 2⋅X₁₆ {O(n)}
t₁₁, X₁₇: 2⋅X₁₇ {O(n)}
t₁₁, X₁₈: 2⋅X₁₈ {O(n)}
t₁₁, X₁₉: 2⋅X₁₉ {O(n)}
t₁₁, X₂₀: 2⋅X₂₀ {O(n)}
t₁₁, X₂₁: 0 {O(1)}
t₁₁, X₂₂: 2⋅X₂₂ {O(n)}
t₁₂, X₀: X₀ {O(n)}
t₁₂, X₁: 2⋅X₁ {O(n)}
t₁₂, X₂: 2⋅X₂ {O(n)}
t₁₂, X₃: 2⋅X₃ {O(n)}
t₁₂, X₄: 2⋅X₄ {O(n)}
t₁₂, X₅: 2⋅X₅ {O(n)}
t₁₂, X₆: 2⋅X₆ {O(n)}
t₁₂, X₇: 2⋅X₇ {O(n)}
t₁₂, X₈: 2⋅X₈ {O(n)}
t₁₂, X₉: 2⋅X₉ {O(n)}
t₁₂, X₁₀: X₈ {O(n)}
t₁₂, X₁₁: 2⋅X₁₁ {O(n)}
t₁₂, X₁₂: 2⋅X₁₂ {O(n)}
t₁₂, X₁₃: 2⋅X₁₃ {O(n)}
t₁₂, X₁₄: 2⋅X₁₄ {O(n)}
t₁₂, X₁₅: 2⋅X₁₅ {O(n)}
t₁₂, X₁₆: 2⋅X₁₆ {O(n)}
t₁₂, X₁₇: 2⋅X₁₇ {O(n)}
t₁₂, X₁₈: 2⋅X₁₈ {O(n)}
t₁₂, X₁₉: 2⋅X₁₉ {O(n)}
t₁₂, X₂₀: 2⋅X₂₀ {O(n)}
t₁₂, X₂₁: 2⋅X₂₁ {O(n)}
t₁₂, X₂₂: 2⋅X₂₂ {O(n)}
t₁₃, X₁: 2⋅X₁ {O(n)}
t₁₃, X₂: 2⋅X₂ {O(n)}
t₁₃, X₃: 2⋅X₃ {O(n)}
t₁₃, X₄: 2⋅X₄ {O(n)}
t₁₃, X₇: 2⋅X₇ {O(n)}
t₁₃, X₈: 2⋅X₈ {O(n)}
t₁₃, X₉: 2⋅X₉ {O(n)}
t₁₃, X₁₀: 2⋅X₈ {O(n)}
t₁₃, X₁₁: 2⋅X₁₁ {O(n)}
t₁₃, X₁₂: 2⋅X₁₂ {O(n)}
t₁₃, X₁₃: 2⋅X₇ {O(n)}
t₁₃, X₁₄: 2⋅X₁₄ {O(n)}
t₁₃, X₁₅: 2⋅X₁₅ {O(n)}
t₁₃, X₁₆: 24⋅X₇⋅X₇+2⋅X₁₆ {O(n^2)}
t₁₃, X₁₇: 2⋅X₁₇ {O(n)}
t₁₃, X₁₈: 2⋅X₁₈ {O(n)}
t₁₃, X₁₉: 2⋅X₁₉ {O(n)}
t₁₃, X₂₀: 2⋅X₂₀ {O(n)}
t₁₃, X₂₁: 2⋅X₇ {O(n)}
t₁₃, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₁₄, X₁: 4⋅X₁ {O(n)}
t₁₄, X₂: 4⋅X₂ {O(n)}
t₁₄, X₃: 4⋅X₃ {O(n)}
t₁₄, X₄: 4⋅X₄ {O(n)}
t₁₄, X₇: 4⋅X₇ {O(n)}
t₁₄, X₈: 4⋅X₈ {O(n)}
t₁₄, X₉: 4⋅X₉ {O(n)}
t₁₄, X₁₀: 4⋅X₈ {O(n)}
t₁₄, X₁₁: 0 {O(1)}
t₁₄, X₁₂: 4⋅X₁₂ {O(n)}
t₁₄, X₁₃: 2⋅X₇ {O(n)}
t₁₄, X₁₄: 4⋅X₁₄ {O(n)}
t₁₄, X₁₅: 4⋅X₁₅ {O(n)}
t₁₄, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₁₄, X₁₇: 4⋅X₁₇ {O(n)}
t₁₄, X₁₈: 4⋅X₁₈ {O(n)}
t₁₄, X₁₉: 4⋅X₁₉ {O(n)}
t₁₄, X₂₀: 4⋅X₂₀ {O(n)}
t₁₄, X₂₁: 2⋅X₇ {O(n)}
t₁₄, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₁₅, X₁: 2⋅X₁ {O(n)}
t₁₅, X₂: 2⋅X₂ {O(n)}
t₁₅, X₃: 2⋅X₃ {O(n)}
t₁₅, X₄: 2⋅X₄ {O(n)}
t₁₅, X₇: 2⋅X₇ {O(n)}
t₁₅, X₈: 2⋅X₈ {O(n)}
t₁₅, X₉: 2⋅X₉ {O(n)}
t₁₅, X₁₀: 2⋅X₈ {O(n)}
t₁₅, X₁₁: 2⋅X₁₁ {O(n)}
t₁₅, X₁₂: 2⋅X₁₂ {O(n)}
t₁₅, X₁₃: 2⋅X₇ {O(n)}
t₁₅, X₁₄: 2⋅X₁₄ {O(n)}
t₁₅, X₁₅: 2⋅X₁₅ {O(n)}
t₁₅, X₁₆: 24⋅X₇⋅X₇+2⋅X₁₆ {O(n^2)}
t₁₅, X₁₇: 2⋅X₁₇ {O(n)}
t₁₅, X₁₈: 2⋅X₁₈ {O(n)}
t₁₅, X₁₉: 2⋅X₁₉ {O(n)}
t₁₅, X₂₀: 2⋅X₂₀ {O(n)}
t₁₅, X₂₁: 2⋅X₇ {O(n)}
t₁₅, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₁₇, X₁: 2⋅X₁ {O(n)}
t₁₇, X₂: 2⋅X₂ {O(n)}
t₁₇, X₃: 2⋅X₃ {O(n)}
t₁₇, X₄: 2⋅X₄ {O(n)}
t₁₇, X₇: 2⋅X₇ {O(n)}
t₁₇, X₈: 2⋅X₈ {O(n)}
t₁₇, X₉: 2⋅X₉ {O(n)}
t₁₇, X₁₀: 2⋅X₈ {O(n)}
t₁₇, X₁₁: 2⋅X₁₁ {O(n)}
t₁₇, X₁₂: 2⋅X₁₂ {O(n)}
t₁₇, X₁₃: 2⋅X₇ {O(n)}
t₁₇, X₁₄: 2⋅X₁₄ {O(n)}
t₁₇, X₁₅: 2⋅X₁₅ {O(n)}
t₁₇, X₁₆: 24⋅X₇⋅X₇+2⋅X₁₆ {O(n^2)}
t₁₇, X₁₇: 2⋅X₁₇ {O(n)}
t₁₇, X₁₈: 2⋅X₁₈ {O(n)}
t₁₇, X₁₉: 2⋅X₁₉ {O(n)}
t₁₇, X₂₀: 2⋅X₂₀ {O(n)}
t₁₇, X₂₁: 2⋅X₇ {O(n)}
t₁₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₁₈, X₁: 2⋅X₁ {O(n)}
t₁₈, X₂: 2⋅X₂ {O(n)}
t₁₈, X₃: 2⋅X₃ {O(n)}
t₁₈, X₄: 2⋅X₄ {O(n)}
t₁₈, X₇: 2⋅X₇ {O(n)}
t₁₈, X₈: 2⋅X₈ {O(n)}
t₁₈, X₉: 2⋅X₉ {O(n)}
t₁₈, X₁₀: 2⋅X₈ {O(n)}
t₁₈, X₁₁: 2⋅X₁₁ {O(n)}
t₁₈, X₁₂: 2⋅X₁₂ {O(n)}
t₁₈, X₁₃: 2⋅X₇ {O(n)}
t₁₈, X₁₄: 2⋅X₁₄ {O(n)}
t₁₈, X₁₅: 2⋅X₁₅ {O(n)}
t₁₈, X₁₆: 0 {O(1)}
t₁₈, X₁₇: 2⋅X₁₇ {O(n)}
t₁₈, X₁₈: 2⋅X₁₈ {O(n)}
t₁₈, X₁₉: 2⋅X₁₉ {O(n)}
t₁₈, X₂₀: 2⋅X₂₀ {O(n)}
t₁₈, X₂₁: 2⋅X₇ {O(n)}
t₁₈, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₁₉, X₁: 2⋅X₁ {O(n)}
t₁₉, X₂: 2⋅X₂ {O(n)}
t₁₉, X₃: 2⋅X₃ {O(n)}
t₁₉, X₄: 2⋅X₄ {O(n)}
t₁₉, X₇: 2⋅X₇ {O(n)}
t₁₉, X₈: 2⋅X₈ {O(n)}
t₁₉, X₉: 2⋅X₉ {O(n)}
t₁₉, X₁₀: 2⋅X₈ {O(n)}
t₁₉, X₁₁: 2⋅X₁₁ {O(n)}
t₁₉, X₁₂: 2⋅X₁₂ {O(n)}
t₁₉, X₁₃: 2⋅X₇ {O(n)}
t₁₉, X₁₄: 2⋅X₁₄ {O(n)}
t₁₉, X₁₅: 2⋅X₁₅ {O(n)}
t₁₉, X₁₆: 0 {O(1)}
t₁₉, X₁₇: 2⋅X₁₇ {O(n)}
t₁₉, X₁₈: 2⋅X₁₈ {O(n)}
t₁₉, X₁₉: 2⋅X₁₉ {O(n)}
t₁₉, X₂₀: 2⋅X₂₀ {O(n)}
t₁₉, X₂₁: 2⋅X₇ {O(n)}
t₁₉, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₂₀, X₁: 2⋅X₁ {O(n)}
t₂₀, X₂: 2⋅X₂ {O(n)}
t₂₀, X₃: 2⋅X₃ {O(n)}
t₂₀, X₄: 2⋅X₄ {O(n)}
t₂₀, X₅: 0 {O(1)}
t₂₀, X₇: 2⋅X₇ {O(n)}
t₂₀, X₈: 2⋅X₈ {O(n)}
t₂₀, X₉: 2⋅X₉ {O(n)}
t₂₀, X₁₀: 2⋅X₈ {O(n)}
t₂₀, X₁₁: 2⋅X₁₁ {O(n)}
t₂₀, X₁₂: 2⋅X₁₂ {O(n)}
t₂₀, X₁₃: 2⋅X₇ {O(n)}
t₂₀, X₁₄: 2⋅X₁₄ {O(n)}
t₂₀, X₁₅: 2⋅X₁₅ {O(n)}
t₂₀, X₁₆: 24⋅X₇⋅X₇+2⋅X₁₆ {O(n^2)}
t₂₀, X₁₇: 2⋅X₁₇ {O(n)}
t₂₀, X₁₈: 2⋅X₁₈ {O(n)}
t₂₀, X₁₉: 2⋅X₁₉ {O(n)}
t₂₀, X₂₀: 2⋅X₂₀ {O(n)}
t₂₀, X₂₁: 2⋅X₇ {O(n)}
t₂₀, X₂₂: 2⋅X₇ {O(n)}
t₂₁, X₁: 2⋅X₁ {O(n)}
t₂₁, X₂: 2⋅X₂ {O(n)}
t₂₁, X₃: 2⋅X₃ {O(n)}
t₂₁, X₄: 2⋅X₄ {O(n)}
t₂₁, X₇: 2⋅X₇ {O(n)}
t₂₁, X₈: 2⋅X₈ {O(n)}
t₂₁, X₉: 2⋅X₉ {O(n)}
t₂₁, X₁₀: 2⋅X₈ {O(n)}
t₂₁, X₁₁: 2⋅X₁₁ {O(n)}
t₂₁, X₁₂: 2⋅X₁₂ {O(n)}
t₂₁, X₁₃: 2⋅X₇ {O(n)}
t₂₁, X₁₄: 2⋅X₁₄ {O(n)}
t₂₁, X₁₅: 2⋅X₁₅ {O(n)}
t₂₁, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₁, X₁₇: 2⋅X₁₇ {O(n)}
t₂₁, X₁₈: 2⋅X₁₈ {O(n)}
t₂₁, X₁₉: 2⋅X₁₉ {O(n)}
t₂₁, X₂₀: 2⋅X₂₀ {O(n)}
t₂₁, X₂₁: 2⋅X₇ {O(n)}
t₂₁, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₂, X₁: 2⋅X₁ {O(n)}
t₂₂, X₂: 2⋅X₂ {O(n)}
t₂₂, X₃: 2⋅X₃ {O(n)}
t₂₂, X₄: 2⋅X₄ {O(n)}
t₂₂, X₇: 2⋅X₇ {O(n)}
t₂₂, X₈: 2⋅X₈ {O(n)}
t₂₂, X₉: 2⋅X₉ {O(n)}
t₂₂, X₁₀: 2⋅X₈ {O(n)}
t₂₂, X₁₁: 2⋅X₁₁ {O(n)}
t₂₂, X₁₂: 2⋅X₁₂ {O(n)}
t₂₂, X₁₃: 2⋅X₇ {O(n)}
t₂₂, X₁₄: 2⋅X₁₄ {O(n)}
t₂₂, X₁₅: 2⋅X₁₅ {O(n)}
t₂₂, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₂, X₁₇: 2⋅X₁₇ {O(n)}
t₂₂, X₁₈: 2⋅X₁₈ {O(n)}
t₂₂, X₁₉: 2⋅X₁₉ {O(n)}
t₂₂, X₂₀: 2⋅X₂₀ {O(n)}
t₂₂, X₂₁: 2⋅X₇ {O(n)}
t₂₂, X₂₂: 32⋅X₇+8⋅X₂₂+4 {O(n)}
t₂₃, X₁: 2⋅X₁ {O(n)}
t₂₃, X₂: 2⋅X₂ {O(n)}
t₂₃, X₃: 2⋅X₃ {O(n)}
t₂₃, X₄: 2⋅X₄ {O(n)}
t₂₃, X₇: 2⋅X₇ {O(n)}
t₂₃, X₈: 2⋅X₈ {O(n)}
t₂₃, X₉: 2⋅X₉ {O(n)}
t₂₃, X₁₀: 2⋅X₈ {O(n)}
t₂₃, X₁₁: 2⋅X₁₁ {O(n)}
t₂₃, X₁₂: 2⋅X₁₂ {O(n)}
t₂₃, X₁₃: 2⋅X₇ {O(n)}
t₂₃, X₁₄: 2⋅X₁₄ {O(n)}
t₂₃, X₁₅: 2⋅X₁₅ {O(n)}
t₂₃, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₃, X₁₇: 2⋅X₁₇ {O(n)}
t₂₃, X₁₈: 2⋅X₁₈ {O(n)}
t₂₃, X₁₉: 2⋅X₁₉ {O(n)}
t₂₃, X₂₀: 2⋅X₂₀ {O(n)}
t₂₃, X₂₁: 2⋅X₇ {O(n)}
t₂₃, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₅, X₁: 2⋅X₁ {O(n)}
t₂₅, X₂: 2⋅X₂ {O(n)}
t₂₅, X₃: 2⋅X₃ {O(n)}
t₂₅, X₄: 2⋅X₄ {O(n)}
t₂₅, X₇: 2⋅X₇ {O(n)}
t₂₅, X₈: 2⋅X₈ {O(n)}
t₂₅, X₉: 2⋅X₉ {O(n)}
t₂₅, X₁₀: 2⋅X₈ {O(n)}
t₂₅, X₁₁: 2⋅X₁₁ {O(n)}
t₂₅, X₁₂: 2⋅X₁₂ {O(n)}
t₂₅, X₁₃: 2⋅X₇ {O(n)}
t₂₅, X₁₄: 2⋅X₁₄ {O(n)}
t₂₅, X₁₅: 2⋅X₁₅ {O(n)}
t₂₅, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₅, X₁₇: 2⋅X₁₇ {O(n)}
t₂₅, X₁₈: 2⋅X₁₈ {O(n)}
t₂₅, X₁₉: 2⋅X₁₉ {O(n)}
t₂₅, X₂₀: 2⋅X₂₀ {O(n)}
t₂₅, X₂₁: 2⋅X₇ {O(n)}
t₂₅, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₆, X₁: 2⋅X₁ {O(n)}
t₂₆, X₂: 2⋅X₂ {O(n)}
t₂₆, X₃: 2⋅X₃ {O(n)}
t₂₆, X₄: 2⋅X₄ {O(n)}
t₂₆, X₇: 2⋅X₇ {O(n)}
t₂₆, X₈: 2⋅X₈ {O(n)}
t₂₆, X₉: 2⋅X₉ {O(n)}
t₂₆, X₁₀: 2⋅X₈ {O(n)}
t₂₆, X₁₁: 2⋅X₁₁ {O(n)}
t₂₆, X₁₂: 2⋅X₁₂ {O(n)}
t₂₆, X₁₃: 2⋅X₇ {O(n)}
t₂₆, X₁₄: 2⋅X₁₄ {O(n)}
t₂₆, X₁₅: 2⋅X₁₅ {O(n)}
t₂₆, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₆, X₁₇: 2⋅X₁₇ {O(n)}
t₂₆, X₁₈: 2⋅X₁₈ {O(n)}
t₂₆, X₁₉: 2⋅X₁₉ {O(n)}
t₂₆, X₂₀: 2⋅X₂₀ {O(n)}
t₂₆, X₂₁: 2⋅X₇ {O(n)}
t₂₆, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₇, X₁: 2⋅X₁ {O(n)}
t₂₇, X₂: 2⋅X₂ {O(n)}
t₂₇, X₃: 2⋅X₃ {O(n)}
t₂₇, X₄: 2⋅X₄ {O(n)}
t₂₇, X₇: 2⋅X₇ {O(n)}
t₂₇, X₈: 2⋅X₈ {O(n)}
t₂₇, X₉: 2⋅X₉ {O(n)}
t₂₇, X₁₀: 2⋅X₈ {O(n)}
t₂₇, X₁₁: 2⋅X₁₁ {O(n)}
t₂₇, X₁₂: 2⋅X₁₂ {O(n)}
t₂₇, X₁₃: 2⋅X₇ {O(n)}
t₂₇, X₁₄: 2⋅X₁₄ {O(n)}
t₂₇, X₁₅: 2⋅X₁₅ {O(n)}
t₂₇, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₇, X₁₇: 2⋅X₁₇ {O(n)}
t₂₇, X₁₈: 2⋅X₁₈ {O(n)}
t₂₇, X₁₉: 2⋅X₁₉ {O(n)}
t₂₇, X₂₀: 2⋅X₂₀ {O(n)}
t₂₇, X₂₁: 2⋅X₇ {O(n)}
t₂₇, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₈, X₁: 2⋅X₁ {O(n)}
t₂₈, X₂: 2⋅X₂ {O(n)}
t₂₈, X₃: 2⋅X₃ {O(n)}
t₂₈, X₄: 2⋅X₄ {O(n)}
t₂₈, X₆: 0 {O(1)}
t₂₈, X₇: 2⋅X₇ {O(n)}
t₂₈, X₈: 2⋅X₈ {O(n)}
t₂₈, X₉: 2⋅X₉ {O(n)}
t₂₈, X₁₀: 2⋅X₈ {O(n)}
t₂₈, X₁₁: 2⋅X₁₁ {O(n)}
t₂₈, X₁₂: 2⋅X₁₂ {O(n)}
t₂₈, X₁₃: 2⋅X₇ {O(n)}
t₂₈, X₁₄: 2⋅X₁₄ {O(n)}
t₂₈, X₁₅: 2⋅X₁₅ {O(n)}
t₂₈, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₈, X₁₇: 2⋅X₁₇ {O(n)}
t₂₈, X₁₈: 2⋅X₁₈ {O(n)}
t₂₈, X₁₉: 2⋅X₁₉ {O(n)}
t₂₈, X₂₀: 2⋅X₂₀ {O(n)}
t₂₈, X₂₁: 2⋅X₇ {O(n)}
t₂₈, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₂₉, X₁: 2⋅X₁ {O(n)}
t₂₉, X₂: 2⋅X₂ {O(n)}
t₂₉, X₃: 2⋅X₃ {O(n)}
t₂₉, X₄: 2⋅X₄ {O(n)}
t₂₉, X₆: 0 {O(1)}
t₂₉, X₇: 2⋅X₇ {O(n)}
t₂₉, X₈: 2⋅X₈ {O(n)}
t₂₉, X₉: 2⋅X₉ {O(n)}
t₂₉, X₁₀: 2⋅X₈ {O(n)}
t₂₉, X₁₁: 2⋅X₁₁ {O(n)}
t₂₉, X₁₂: 2⋅X₁₂ {O(n)}
t₂₉, X₁₃: 2⋅X₇ {O(n)}
t₂₉, X₁₄: 2⋅X₁₄ {O(n)}
t₂₉, X₁₅: 2⋅X₁₅ {O(n)}
t₂₉, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₂₉, X₁₇: 2⋅X₁₇ {O(n)}
t₂₉, X₁₈: 2⋅X₁₈ {O(n)}
t₂₉, X₁₉: 2⋅X₁₉ {O(n)}
t₂₉, X₂₀: 2⋅X₂₀ {O(n)}
t₂₉, X₂₁: 2⋅X₇ {O(n)}
t₂₉, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₃₀, X₁: 2⋅X₁ {O(n)}
t₃₀, X₂: 2⋅X₂ {O(n)}
t₃₀, X₃: 2⋅X₃ {O(n)}
t₃₀, X₄: 2⋅X₄ {O(n)}
t₃₀, X₇: 2⋅X₇ {O(n)}
t₃₀, X₈: 2⋅X₈ {O(n)}
t₃₀, X₉: 2⋅X₉ {O(n)}
t₃₀, X₁₀: 2⋅X₈ {O(n)}
t₃₀, X₁₁: 2⋅X₁₁ {O(n)}
t₃₀, X₁₂: 2⋅X₁₂ {O(n)}
t₃₀, X₁₃: 2⋅X₇ {O(n)}
t₃₀, X₁₄: 2⋅X₁₄ {O(n)}
t₃₀, X₁₅: 2⋅X₁₅ {O(n)}
t₃₀, X₁₆: 8⋅X₇⋅X₇ {O(n^2)}
t₃₀, X₁₇: 2⋅X₁₇ {O(n)}
t₃₀, X₁₈: 2⋅X₁₈ {O(n)}
t₃₀, X₁₉: 2⋅X₁₉ {O(n)}
t₃₀, X₂₀: 2⋅X₂₀ {O(n)}
t₃₀, X₂₁: 2⋅X₇ {O(n)}
t₃₀, X₂₂: 2⋅X₇+1 {O(n)}
t₃₁, X₁: 2⋅X₁ {O(n)}
t₃₁, X₂: 2⋅X₂ {O(n)}
t₃₁, X₃: 2⋅X₃ {O(n)}
t₃₁, X₄: 2⋅X₄ {O(n)}
t₃₁, X₇: 2⋅X₇ {O(n)}
t₃₁, X₈: 2⋅X₈ {O(n)}
t₃₁, X₉: 2⋅X₉ {O(n)}
t₃₁, X₁₀: 2⋅X₈ {O(n)}
t₃₁, X₁₁: 2⋅X₁₁ {O(n)}
t₃₁, X₁₂: 2⋅X₁₂ {O(n)}
t₃₁, X₁₃: 2⋅X₇ {O(n)}
t₃₁, X₁₄: 2⋅X₁₄ {O(n)}
t₃₁, X₁₅: 2⋅X₁₅ {O(n)}
t₃₁, X₁₆: 16⋅X₇⋅X₇ {O(n^2)}
t₃₁, X₁₇: 2⋅X₁₇ {O(n)}
t₃₁, X₁₈: 2⋅X₁₈ {O(n)}
t₃₁, X₁₉: 2⋅X₁₉ {O(n)}
t₃₁, X₂₀: 2⋅X₂₀ {O(n)}
t₃₁, X₂₁: 2⋅X₇ {O(n)}
t₃₁, X₂₂: 4⋅X₇ {O(n)}
t₃₃, X₁: 2⋅X₁ {O(n)}
t₃₃, X₂: 2⋅X₂ {O(n)}
t₃₃, X₃: 2⋅X₃ {O(n)}
t₃₃, X₄: 2⋅X₄ {O(n)}
t₃₃, X₇: 2⋅X₇ {O(n)}
t₃₃, X₈: 2⋅X₈ {O(n)}
t₃₃, X₉: 2⋅X₉ {O(n)}
t₃₃, X₁₀: 2⋅X₈ {O(n)}
t₃₃, X₁₁: 2⋅X₁₁ {O(n)}
t₃₃, X₁₂: 2⋅X₁₂ {O(n)}
t₃₃, X₁₃: 2⋅X₇ {O(n)}
t₃₃, X₁₄: 2⋅X₁₄ {O(n)}
t₃₃, X₁₅: 2⋅X₁₅ {O(n)}
t₃₃, X₁₆: 24⋅X₇⋅X₇+2⋅X₁₆ {O(n^2)}
t₃₃, X₁₇: 2⋅X₁₇ {O(n)}
t₃₃, X₁₈: 2⋅X₁₈ {O(n)}
t₃₃, X₁₉: 2⋅X₁₉ {O(n)}
t₃₃, X₂₀: 2⋅X₂₀ {O(n)}
t₃₃, X₂₁: 2⋅X₇ {O(n)}
t₃₃, X₂₂: 8⋅X₇+1 {O(n)}
t₃₄, X₇: 4⋅X₇ {O(n)}
t₃₄, X₈: 4⋅X₈ {O(n)}
t₃₄, X₉: 4⋅X₉ {O(n)}
t₃₄, X₁₀: 4⋅X₈ {O(n)}
t₃₄, X₁₁: 2⋅X₇ {O(n)}
t₃₄, X₁₂: 0 {O(1)}
t₃₄, X₁₃: 2⋅X₇ {O(n)}
t₃₄, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₃₄, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₃₄, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₃₄, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₃₄, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₃₄, X₁₉: 0 {O(1)}
t₃₄, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₃₄, X₂₁: 2⋅X₇ {O(n)}
t₃₄, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₃₅, X₇: 8⋅X₇ {O(n)}
t₃₅, X₈: 8⋅X₈ {O(n)}
t₃₅, X₉: 8⋅X₉ {O(n)}
t₃₅, X₁₀: 8⋅X₈ {O(n)}
t₃₅, X₁₁: 2⋅X₇ {O(n)}
t₃₅, X₁₂: 1296⋅X₇⋅X₇+4⋅X₁₂+648⋅X₇ {O(n^2)}
t₃₅, X₁₃: 4⋅X₇ {O(n)}
t₃₅, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+8⋅X₁₄+4 {O(n^2)}
t₃₅, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+68⋅X₁₅ {O(n^3)}
t₃₅, X₁₆: 48⋅X₇⋅X₇+8⋅X₁₆ {O(n^2)}
t₃₅, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+8⋅X₁₇+9 {O(n^4)}
t₃₅, X₁₈: 8⋅X₇⋅X₇+8⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₃₅, X₁₉: 972⋅X₇⋅X₇+4⋅X₁₉+486⋅X₇ {O(n^2)}
t₃₅, X₂₀: 8⋅X₇⋅X₇+8⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₃₅, X₂₁: 4⋅X₇ {O(n)}
t₃₅, X₂₂: 16⋅X₇+4⋅X₂₂+2 {O(n)}
t₃₆, X₇: 4⋅X₇ {O(n)}
t₃₆, X₈: 4⋅X₈ {O(n)}
t₃₆, X₉: 4⋅X₉ {O(n)}
t₃₆, X₁₀: 4⋅X₈ {O(n)}
t₃₆, X₁₁: 2⋅X₇ {O(n)}
t₃₆, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₃₆, X₁₃: 2⋅X₇ {O(n)}
t₃₆, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₃₆, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₃₆, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₃₆, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₃₆, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₃₆, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₃₆, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₃₆, X₂₁: 2⋅X₇ {O(n)}
t₃₆, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₃₇, X₇: 4⋅X₇ {O(n)}
t₃₇, X₈: 4⋅X₈ {O(n)}
t₃₇, X₉: 4⋅X₉ {O(n)}
t₃₇, X₁₀: 4⋅X₈ {O(n)}
t₃₇, X₁₁: 2⋅X₇ {O(n)}
t₃₇, X₁₂: 48⋅X₇⋅X₇+24⋅X₇ {O(n^2)}
t₃₇, X₁₃: 2⋅X₇ {O(n)}
t₃₇, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₃₇, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₃₇, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₃₇, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₃₇, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₃₇, X₁₉: 36⋅X₇⋅X₇+18⋅X₇ {O(n^2)}
t₃₇, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₃₇, X₂₁: 2⋅X₇ {O(n)}
t₃₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₃₈, X₇: 4⋅X₇ {O(n)}
t₃₈, X₈: 4⋅X₈ {O(n)}
t₃₈, X₉: 4⋅X₉ {O(n)}
t₃₈, X₁₀: 4⋅X₈ {O(n)}
t₃₈, X₁₁: 2⋅X₇ {O(n)}
t₃₈, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₃₈, X₁₃: 2⋅X₇ {O(n)}
t₃₈, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₃₈, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₃₈, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₃₈, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₃₈, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₃₈, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₃₈, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₃₈, X₂₁: 2⋅X₇ {O(n)}
t₃₈, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₀, X₇: 4⋅X₇ {O(n)}
t₄₀, X₈: 4⋅X₈ {O(n)}
t₄₀, X₉: 4⋅X₉ {O(n)}
t₄₀, X₁₀: 4⋅X₈ {O(n)}
t₄₀, X₁₁: 2⋅X₇ {O(n)}
t₄₀, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₀, X₁₃: 2⋅X₇ {O(n)}
t₄₀, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₀, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₀, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₀, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₀, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₀, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₄₀, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₀, X₂₁: 2⋅X₇ {O(n)}
t₄₀, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₁, X₇: 4⋅X₇ {O(n)}
t₄₁, X₈: 4⋅X₈ {O(n)}
t₄₁, X₉: 4⋅X₉ {O(n)}
t₄₁, X₁₀: 4⋅X₈ {O(n)}
t₄₁, X₁₁: 2⋅X₇ {O(n)}
t₄₁, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₁, X₁₃: 2⋅X₇ {O(n)}
t₄₁, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₁, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₁, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₁, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₁, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₁, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₄₁, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₁, X₂₁: 2⋅X₇ {O(n)}
t₄₁, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₂, X₇: 4⋅X₇ {O(n)}
t₄₂, X₈: 4⋅X₈ {O(n)}
t₄₂, X₉: 4⋅X₉ {O(n)}
t₄₂, X₁₀: 4⋅X₈ {O(n)}
t₄₂, X₁₁: 2⋅X₇ {O(n)}
t₄₂, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₂, X₁₃: 2⋅X₇ {O(n)}
t₄₂, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₂, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₂, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₂, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₂, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₂, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₄₂, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₂, X₂₁: 2⋅X₇ {O(n)}
t₄₂, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₃, X₁: 0 {O(1)}
t₄₃, X₇: 4⋅X₇ {O(n)}
t₄₃, X₈: 4⋅X₈ {O(n)}
t₄₃, X₉: 4⋅X₉ {O(n)}
t₄₃, X₁₀: 4⋅X₈ {O(n)}
t₄₃, X₁₁: 2⋅X₇ {O(n)}
t₄₃, X₁₂: 16⋅X₇⋅X₇+8⋅X₇ {O(n^2)}
t₄₃, X₁₃: 2⋅X₇ {O(n)}
t₄₃, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₃, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₃, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₃, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₃, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₃, X₁₉: 12⋅X₇⋅X₇+6⋅X₇ {O(n^2)}
t₄₃, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₃, X₂₁: 2⋅X₇ {O(n)}
t₄₃, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₄, X₇: 4⋅X₇ {O(n)}
t₄₄, X₈: 4⋅X₈ {O(n)}
t₄₄, X₉: 4⋅X₉ {O(n)}
t₄₄, X₁₀: 4⋅X₈ {O(n)}
t₄₄, X₁₁: 2⋅X₇ {O(n)}
t₄₄, X₁₂: 48⋅X₇⋅X₇+24⋅X₇ {O(n^2)}
t₄₄, X₁₃: 2⋅X₇ {O(n)}
t₄₄, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₄, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₄, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₄, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₄, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₄, X₁₉: 36⋅X₇⋅X₇+18⋅X₇ {O(n^2)}
t₄₄, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₄, X₂₁: 2⋅X₇ {O(n)}
t₄₄, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₅, X₇: 4⋅X₇ {O(n)}
t₄₅, X₈: 4⋅X₈ {O(n)}
t₄₅, X₉: 4⋅X₉ {O(n)}
t₄₅, X₁₀: 4⋅X₈ {O(n)}
t₄₅, X₁₁: 2⋅X₇ {O(n)}
t₄₅, X₁₂: 48⋅X₇⋅X₇+24⋅X₇ {O(n^2)}
t₄₅, X₁₃: 2⋅X₇ {O(n)}
t₄₅, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₅, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₅, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₅, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₅, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₅, X₁₉: 36⋅X₇⋅X₇+18⋅X₇ {O(n^2)}
t₄₅, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₅, X₂₁: 2⋅X₇ {O(n)}
t₄₅, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₆, X₇: 4⋅X₇ {O(n)}
t₄₆, X₈: 4⋅X₈ {O(n)}
t₄₆, X₉: 0 {O(1)}
t₄₆, X₁₀: 4⋅X₈ {O(n)}
t₄₆, X₁₁: 2⋅X₇ {O(n)}
t₄₆, X₁₂: 48⋅X₇⋅X₇+24⋅X₇ {O(n^2)}
t₄₆, X₁₃: 2⋅X₇ {O(n)}
t₄₆, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₆, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₆, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₆, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₆, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₆, X₁₉: 36⋅X₇⋅X₇+18⋅X₇ {O(n^2)}
t₄₆, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₆, X₂₁: 2⋅X₇ {O(n)}
t₄₆, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₇, X₇: 4⋅X₇ {O(n)}
t₄₇, X₈: 4⋅X₈ {O(n)}
t₄₇, X₉: 4⋅X₉ {O(n)}
t₄₇, X₁₀: 4⋅X₈ {O(n)}
t₄₇, X₁₁: 2⋅X₇ {O(n)}
t₄₇, X₁₂: 96⋅X₇⋅X₇+48⋅X₇ {O(n^2)}
t₄₇, X₁₃: 2⋅X₇ {O(n)}
t₄₇, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₇, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₇, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₇, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₇, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₇, X₁₉: 72⋅X₇⋅X₇+36⋅X₇ {O(n^2)}
t₄₇, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₇, X₂₁: 2⋅X₇ {O(n)}
t₄₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₄₉, X₇: 4⋅X₇ {O(n)}
t₄₉, X₈: 4⋅X₈ {O(n)}
t₄₉, X₉: 4⋅X₉ {O(n)}
t₄₉, X₁₀: 4⋅X₈ {O(n)}
t₄₉, X₁₁: 2⋅X₇ {O(n)}
t₄₉, X₁₂: 96⋅X₇⋅X₇+48⋅X₇ {O(n^2)}
t₄₉, X₁₃: 2⋅X₇ {O(n)}
t₄₉, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₄₉, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₄₉, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₄₉, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₄₉, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₄₉, X₁₉: 72⋅X₇⋅X₇+36⋅X₇ {O(n^2)}
t₄₉, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₄₉, X₂₁: 2⋅X₇ {O(n)}
t₄₉, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₀, X₇: 4⋅X₇ {O(n)}
t₅₀, X₈: 4⋅X₈ {O(n)}
t₅₀, X₉: 4⋅X₉ {O(n)}
t₅₀, X₁₀: 4⋅X₈ {O(n)}
t₅₀, X₁₁: 2⋅X₇ {O(n)}
t₅₀, X₁₂: 96⋅X₇⋅X₇+48⋅X₇ {O(n^2)}
t₅₀, X₁₃: 2⋅X₇ {O(n)}
t₅₀, X₁₄: 0 {O(1)}
t₅₀, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₀, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₀, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₅₀, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₀, X₁₉: 72⋅X₇⋅X₇+36⋅X₇ {O(n^2)}
t₅₀, X₂₀: 0 {O(1)}
t₅₀, X₂₁: 2⋅X₇ {O(n)}
t₅₀, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₁, X₇: 4⋅X₇ {O(n)}
t₅₁, X₈: 4⋅X₈ {O(n)}
t₅₁, X₉: 4⋅X₉ {O(n)}
t₅₁, X₁₀: 4⋅X₈ {O(n)}
t₅₁, X₁₁: 2⋅X₇ {O(n)}
t₅₁, X₁₂: 96⋅X₇⋅X₇+48⋅X₇ {O(n^2)}
t₅₁, X₁₃: 2⋅X₇ {O(n)}
t₅₁, X₁₄: 0 {O(1)}
t₅₁, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₁, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₁, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₅₁, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₁, X₁₉: 72⋅X₇⋅X₇+36⋅X₇ {O(n^2)}
t₅₁, X₂₀: 0 {O(1)}
t₅₁, X₂₁: 2⋅X₇ {O(n)}
t₅₁, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₂, X₂: 0 {O(1)}
t₅₂, X₇: 4⋅X₇ {O(n)}
t₅₂, X₈: 4⋅X₈ {O(n)}
t₅₂, X₉: 4⋅X₉ {O(n)}
t₅₂, X₁₀: 4⋅X₈ {O(n)}
t₅₂, X₁₁: 2⋅X₇ {O(n)}
t₅₂, X₁₂: 96⋅X₇⋅X₇+48⋅X₇ {O(n^2)}
t₅₂, X₁₃: 2⋅X₇ {O(n)}
t₅₂, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₅₂, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₂, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₂, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₅₂, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₂, X₁₉: 72⋅X₇⋅X₇+36⋅X₇ {O(n^2)}
t₅₂, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₅₂, X₂₁: 2⋅X₇ {O(n)}
t₅₂, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₃, X₇: 4⋅X₇ {O(n)}
t₅₃, X₈: 4⋅X₈ {O(n)}
t₅₃, X₉: 4⋅X₉ {O(n)}
t₅₃, X₁₀: 4⋅X₈ {O(n)}
t₅₃, X₁₁: 2⋅X₇ {O(n)}
t₅₃, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₅₃, X₁₃: 2⋅X₇ {O(n)}
t₅₃, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₅₃, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₃, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₃, X₁₇: 0 {O(1)}
t₅₃, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₃, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₅₃, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₃, X₂₁: 2⋅X₇ {O(n)}
t₅₃, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₄, X₇: 4⋅X₇ {O(n)}
t₅₄, X₈: 4⋅X₈ {O(n)}
t₅₄, X₉: 4⋅X₉ {O(n)}
t₅₄, X₁₀: 4⋅X₈ {O(n)}
t₅₄, X₁₁: 2⋅X₇ {O(n)}
t₅₄, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₅₄, X₁₃: 2⋅X₇ {O(n)}
t₅₄, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₅₄, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₄, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₄, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₅₄, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₄, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₅₄, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₅₄, X₂₁: 2⋅X₇ {O(n)}
t₅₄, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₅, X₇: 4⋅X₇ {O(n)}
t₅₅, X₈: 4⋅X₈ {O(n)}
t₅₅, X₉: 4⋅X₉ {O(n)}
t₅₅, X₁₀: 4⋅X₈ {O(n)}
t₅₅, X₁₁: 2⋅X₇ {O(n)}
t₅₅, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₅₅, X₁₃: 2⋅X₇ {O(n)}
t₅₅, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₅₅, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₅, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₅, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₅₅, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₅, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₅₅, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₅, X₂₁: 2⋅X₇ {O(n)}
t₅₅, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₆, X₇: 4⋅X₇ {O(n)}
t₅₆, X₈: 4⋅X₈ {O(n)}
t₅₆, X₉: 4⋅X₉ {O(n)}
t₅₆, X₁₀: 4⋅X₈ {O(n)}
t₅₆, X₁₁: 2⋅X₇ {O(n)}
t₅₆, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₅₆, X₁₃: 2⋅X₇ {O(n)}
t₅₆, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₅₆, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₆, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₆, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₅₆, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₆, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₅₆, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₆, X₂₁: 2⋅X₇ {O(n)}
t₅₆, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₇, X₇: 4⋅X₇ {O(n)}
t₅₇, X₈: 4⋅X₈ {O(n)}
t₅₇, X₉: 4⋅X₉ {O(n)}
t₅₇, X₁₀: 4⋅X₈ {O(n)}
t₅₇, X₁₁: 2⋅X₇ {O(n)}
t₅₇, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₅₇, X₁₃: 2⋅X₇ {O(n)}
t₅₇, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₅₇, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₇, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₇, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₅₇, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₇, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₅₇, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₇, X₂₁: 2⋅X₇ {O(n)}
t₅₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₅₉, X₇: 4⋅X₇ {O(n)}
t₅₉, X₈: 4⋅X₈ {O(n)}
t₅₉, X₉: 4⋅X₉ {O(n)}
t₅₉, X₁₀: 4⋅X₈ {O(n)}
t₅₉, X₁₁: 2⋅X₇ {O(n)}
t₅₉, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₅₉, X₁₃: 2⋅X₇ {O(n)}
t₅₉, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₅₉, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₅₉, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₅₉, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₅₉, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₅₉, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₅₉, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₅₉, X₂₁: 2⋅X₇ {O(n)}
t₅₉, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₀, X₇: 4⋅X₇ {O(n)}
t₆₀, X₈: 4⋅X₈ {O(n)}
t₆₀, X₉: 4⋅X₉ {O(n)}
t₆₀, X₁₀: 4⋅X₈ {O(n)}
t₆₀, X₁₁: 2⋅X₇ {O(n)}
t₆₀, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₀, X₁₃: 2⋅X₇ {O(n)}
t₆₀, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₀, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₀, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₀, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₀, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₀, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₀, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₀, X₂₁: 2⋅X₇ {O(n)}
t₆₀, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₁, X₇: 4⋅X₇ {O(n)}
t₆₁, X₈: 4⋅X₈ {O(n)}
t₆₁, X₉: 4⋅X₉ {O(n)}
t₆₁, X₁₀: 4⋅X₈ {O(n)}
t₆₁, X₁₁: 2⋅X₇ {O(n)}
t₆₁, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₁, X₁₃: 2⋅X₇ {O(n)}
t₆₁, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₁, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₁, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₁, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₁, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₁, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₁, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₁, X₂₁: 2⋅X₇ {O(n)}
t₆₁, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₂, X₃: 0 {O(1)}
t₆₂, X₇: 4⋅X₇ {O(n)}
t₆₂, X₈: 4⋅X₈ {O(n)}
t₆₂, X₉: 4⋅X₉ {O(n)}
t₆₂, X₁₀: 4⋅X₈ {O(n)}
t₆₂, X₁₁: 2⋅X₇ {O(n)}
t₆₂, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₂, X₁₃: 2⋅X₇ {O(n)}
t₆₂, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₂, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₂, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₂, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₂, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₂, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₂, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₂, X₂₁: 2⋅X₇ {O(n)}
t₆₂, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₃, X₃: 0 {O(1)}
t₆₃, X₇: 4⋅X₇ {O(n)}
t₆₃, X₈: 4⋅X₈ {O(n)}
t₆₃, X₉: 4⋅X₉ {O(n)}
t₆₃, X₁₀: 4⋅X₈ {O(n)}
t₆₃, X₁₁: 2⋅X₇ {O(n)}
t₆₃, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₃, X₁₃: 2⋅X₇ {O(n)}
t₆₃, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₃, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₃, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₃, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₃, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₃, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₃, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₃, X₂₁: 2⋅X₇ {O(n)}
t₆₃, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₄, X₇: 4⋅X₇ {O(n)}
t₆₄, X₈: 4⋅X₈ {O(n)}
t₆₄, X₉: 4⋅X₉ {O(n)}
t₆₄, X₁₀: 4⋅X₈ {O(n)}
t₆₄, X₁₁: 2⋅X₇ {O(n)}
t₆₄, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₄, X₁₃: 2⋅X₇ {O(n)}
t₆₄, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₄, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₄, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₄, X₁₇: 160⋅X₇⋅X₇⋅X₇⋅X₇+248⋅X₇⋅X₇⋅X₇+140⋅X₇⋅X₇+34⋅X₇+3 {O(n^4)}
t₆₄, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₄, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₄, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₄, X₂₁: 2⋅X₇ {O(n)}
t₆₄, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₅, X₇: 4⋅X₇ {O(n)}
t₆₅, X₈: 4⋅X₈ {O(n)}
t₆₅, X₉: 4⋅X₉ {O(n)}
t₆₅, X₁₀: 4⋅X₈ {O(n)}
t₆₅, X₁₁: 2⋅X₇ {O(n)}
t₆₅, X₁₂: 192⋅X₇⋅X₇+96⋅X₇ {O(n^2)}
t₆₅, X₁₃: 2⋅X₇ {O(n)}
t₆₅, X₁₄: 8⋅X₇⋅X₇+6⋅X₇+1 {O(n^2)}
t₆₅, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₅, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₅, X₁₇: 320⋅X₇⋅X₇⋅X₇⋅X₇+496⋅X₇⋅X₇⋅X₇+280⋅X₇⋅X₇+68⋅X₇+6 {O(n^4)}
t₆₅, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₅, X₁₉: 144⋅X₇⋅X₇+72⋅X₇ {O(n^2)}
t₆₅, X₂₀: 4⋅X₇⋅X₇+4⋅X₇+1 {O(n^2)}
t₆₅, X₂₁: 2⋅X₇ {O(n)}
t₆₅, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₇, X₇: 4⋅X₇ {O(n)}
t₆₇, X₈: 4⋅X₈ {O(n)}
t₆₇, X₉: 4⋅X₉ {O(n)}
t₆₇, X₁₀: 4⋅X₈ {O(n)}
t₆₇, X₁₁: 2⋅X₇ {O(n)}
t₆₇, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₆₇, X₁₃: 2⋅X₇ {O(n)}
t₆₇, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₆₇, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₇, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₇, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₆₇, X₁₈: 0 {O(1)}
t₆₇, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₆₇, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₆₇, X₂₁: 2⋅X₇ {O(n)}
t₆₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₈, X₇: 4⋅X₇ {O(n)}
t₆₈, X₈: 4⋅X₈ {O(n)}
t₆₈, X₉: 4⋅X₉ {O(n)}
t₆₈, X₁₀: 4⋅X₈ {O(n)}
t₆₈, X₁₁: 2⋅X₇ {O(n)}
t₆₈, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₆₈, X₁₃: 2⋅X₇ {O(n)}
t₆₈, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₆₈, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₆₈, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₈, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₆₈, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₆₈, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₆₈, X₂₀: 1 {O(1)}
t₆₈, X₂₁: 2⋅X₇ {O(n)}
t₆₈, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₆₉, X₇: 4⋅X₇ {O(n)}
t₆₉, X₈: 4⋅X₈ {O(n)}
t₆₉, X₉: 4⋅X₉ {O(n)}
t₆₉, X₁₀: 4⋅X₈ {O(n)}
t₆₉, X₁₁: 2⋅X₇ {O(n)}
t₆₉, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₆₉, X₁₃: 2⋅X₇ {O(n)}
t₆₉, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₆₉, X₁₅: 0 {O(1)}
t₆₉, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₆₉, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₆₉, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₆₉, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₆₉, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₆₉, X₂₁: 2⋅X₇ {O(n)}
t₆₉, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₀, X₇: 4⋅X₇ {O(n)}
t₇₀, X₈: 4⋅X₈ {O(n)}
t₇₀, X₉: 4⋅X₉ {O(n)}
t₇₀, X₁₀: 4⋅X₈ {O(n)}
t₇₀, X₁₁: 2⋅X₇ {O(n)}
t₇₀, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₀, X₁₃: 2⋅X₇ {O(n)}
t₇₀, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₀, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+60⋅X₁₅ {O(n^3)}
t₇₀, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₀, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₀, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₀, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₀, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₀, X₂₁: 2⋅X₇ {O(n)}
t₇₀, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₁, X₇: 4⋅X₇ {O(n)}
t₇₁, X₈: 4⋅X₈ {O(n)}
t₇₁, X₉: 4⋅X₉ {O(n)}
t₇₁, X₁₀: 4⋅X₈ {O(n)}
t₇₁, X₁₁: 2⋅X₇ {O(n)}
t₇₁, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₁, X₁₃: 2⋅X₇ {O(n)}
t₇₁, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₁, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₁, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₁, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₁, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₁, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₁, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₁, X₂₁: 2⋅X₇ {O(n)}
t₇₁, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₂, X₇: 4⋅X₇ {O(n)}
t₇₂, X₈: 4⋅X₈ {O(n)}
t₇₂, X₉: 4⋅X₉ {O(n)}
t₇₂, X₁₀: 4⋅X₈ {O(n)}
t₇₂, X₁₁: 2⋅X₇ {O(n)}
t₇₂, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₂, X₁₃: 2⋅X₇ {O(n)}
t₇₂, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₂, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+60⋅X₁₅ {O(n^3)}
t₇₂, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₂, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₂, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₂, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₂, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₂, X₂₁: 2⋅X₇ {O(n)}
t₇₂, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₃, X₇: 4⋅X₇ {O(n)}
t₇₃, X₈: 4⋅X₈ {O(n)}
t₇₃, X₉: 4⋅X₉ {O(n)}
t₇₃, X₁₀: 4⋅X₈ {O(n)}
t₇₃, X₁₁: 2⋅X₇ {O(n)}
t₇₃, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₃, X₁₃: 2⋅X₇ {O(n)}
t₇₃, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₃, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₃, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₃, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₃, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₃, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₃, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₃, X₂₁: 2⋅X₇ {O(n)}
t₇₃, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₅, X₇: 4⋅X₇ {O(n)}
t₇₅, X₈: 4⋅X₈ {O(n)}
t₇₅, X₉: 4⋅X₉ {O(n)}
t₇₅, X₁₀: 4⋅X₈ {O(n)}
t₇₅, X₁₁: 2⋅X₇ {O(n)}
t₇₅, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₅, X₁₃: 2⋅X₇ {O(n)}
t₇₅, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₅, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₅, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₅, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₅, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₅, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₅, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₅, X₂₁: 2⋅X₇ {O(n)}
t₇₅, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₆, X₇: 4⋅X₇ {O(n)}
t₇₆, X₈: 4⋅X₈ {O(n)}
t₇₆, X₉: 4⋅X₉ {O(n)}
t₇₆, X₁₀: 4⋅X₈ {O(n)}
t₇₆, X₁₁: 2⋅X₇ {O(n)}
t₇₆, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₆, X₁₃: 2⋅X₇ {O(n)}
t₇₆, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₆, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₆, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₆, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₆, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₆, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₆, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₆, X₂₁: 2⋅X₇ {O(n)}
t₇₆, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₇, X₇: 4⋅X₇ {O(n)}
t₇₇, X₈: 4⋅X₈ {O(n)}
t₇₇, X₉: 4⋅X₉ {O(n)}
t₇₇, X₁₀: 4⋅X₈ {O(n)}
t₇₇, X₁₁: 2⋅X₇ {O(n)}
t₇₇, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₇, X₁₃: 2⋅X₇ {O(n)}
t₇₇, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₇, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₇, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₇, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₇, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₇, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₇, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₇, X₂₁: 2⋅X₇ {O(n)}
t₇₇, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₈, X₄: 0 {O(1)}
t₇₈, X₇: 4⋅X₇ {O(n)}
t₇₈, X₈: 4⋅X₈ {O(n)}
t₇₈, X₉: 4⋅X₉ {O(n)}
t₇₈, X₁₀: 4⋅X₈ {O(n)}
t₇₈, X₁₁: 2⋅X₇ {O(n)}
t₇₈, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₈, X₁₃: 2⋅X₇ {O(n)}
t₇₈, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₈, X₁₅: 24⋅X₇⋅X₇⋅X₇+24⋅X₇⋅X₇+20⋅X₁₅+6⋅X₇ {O(n^3)}
t₇₈, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₈, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₈, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₈, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₈, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₈, X₂₁: 2⋅X₇ {O(n)}
t₇₈, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₇₉, X₇: 4⋅X₇ {O(n)}
t₇₉, X₈: 4⋅X₈ {O(n)}
t₇₉, X₉: 4⋅X₉ {O(n)}
t₇₉, X₁₀: 4⋅X₈ {O(n)}
t₇₉, X₁₁: 2⋅X₇ {O(n)}
t₇₉, X₁₂: 576⋅X₇⋅X₇+288⋅X₇ {O(n^2)}
t₇₉, X₁₃: 2⋅X₇ {O(n)}
t₇₉, X₁₄: 16⋅X₇⋅X₇+12⋅X₇+2 {O(n^2)}
t₇₉, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+60⋅X₁₅ {O(n^3)}
t₇₉, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₇₉, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₇₉, X₁₈: 8⋅X₇⋅X₇+8⋅X₇+1 {O(n^2)}
t₇₉, X₁₉: 432⋅X₇⋅X₇+216⋅X₇ {O(n^2)}
t₇₉, X₂₀: 8⋅X₇⋅X₇+8⋅X₇+2 {O(n^2)}
t₇₉, X₂₁: 2⋅X₇ {O(n)}
t₇₉, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₈₀, X₇: 4⋅X₇ {O(n)}
t₈₀, X₈: 4⋅X₈ {O(n)}
t₈₀, X₉: 4⋅X₉ {O(n)}
t₈₀, X₁₀: 4⋅X₈ {O(n)}
t₈₀, X₁₁: 2⋅X₇ {O(n)}
t₈₀, X₁₂: 1296⋅X₇⋅X₇+648⋅X₇ {O(n^2)}
t₈₀, X₁₃: 2⋅X₇ {O(n)}
t₈₀, X₁₄: 32⋅X₇⋅X₇+24⋅X₇+4⋅X₁₄+4 {O(n^2)}
t₈₀, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+64⋅X₁₅ {O(n^3)}
t₈₀, X₁₆: 24⋅X₇⋅X₇+4⋅X₁₆ {O(n^2)}
t₈₀, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+102⋅X₇+4⋅X₁₇+9 {O(n^4)}
t₈₀, X₁₈: 8⋅X₇⋅X₇+4⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₈₀, X₁₉: 972⋅X₇⋅X₇+486⋅X₇ {O(n^2)}
t₈₀, X₂₀: 8⋅X₇⋅X₇+4⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₈₀, X₂₁: 2⋅X₇ {O(n)}
t₈₀, X₂₂: 2⋅X₂₂+8⋅X₇+1 {O(n)}
t₈₁, X₇: 10⋅X₇ {O(n)}
t₈₁, X₈: 10⋅X₈ {O(n)}
t₈₁, X₉: 10⋅X₉ {O(n)}
t₈₁, X₁₀: 9⋅X₈ {O(n)}
t₈₁, X₁₁: 2⋅X₁₁+2⋅X₇ {O(n)}
t₈₁, X₁₂: 1296⋅X₇⋅X₇+6⋅X₁₂+648⋅X₇ {O(n^2)}
t₈₁, X₁₃: 2⋅X₁₃+4⋅X₇ {O(n)}
t₈₁, X₁₄: 32⋅X₇⋅X₇+10⋅X₁₄+24⋅X₇+4 {O(n^2)}
t₈₁, X₁₅: 72⋅X₇⋅X₇⋅X₇+72⋅X₇⋅X₇+18⋅X₇+70⋅X₁₅ {O(n^3)}
t₈₁, X₁₆: 48⋅X₇⋅X₇+10⋅X₁₆ {O(n^2)}
t₈₁, X₁₇: 480⋅X₇⋅X₇⋅X₇⋅X₇+744⋅X₇⋅X₇⋅X₇+420⋅X₇⋅X₇+10⋅X₁₇+102⋅X₇+9 {O(n^4)}
t₈₁, X₁₈: 8⋅X₇⋅X₇+10⋅X₁₈+8⋅X₇+1 {O(n^2)}
t₈₁, X₁₉: 972⋅X₇⋅X₇+486⋅X₇+6⋅X₁₉ {O(n^2)}
t₈₁, X₂₀: 8⋅X₇⋅X₇+10⋅X₂₀+8⋅X₇+3 {O(n^2)}
t₈₁, X₂₁: 2⋅X₂₁+4⋅X₇ {O(n)}
t₈₁, X₂₂: 16⋅X₇+6⋅X₂₂+2 {O(n)}