Analysing control-flow refined program

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₄: lbl271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl281(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 2+2⋅X₁₇, X₁₄, X₁₅, X₁₆, X₁₉, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 4+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 4 ∧ X₁₃ ≤ 3+X₉ ∧ X₁₇ ≤ 3+X₉ ∧ X₁₃ ≤ 2 ∧ X₁₃ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁₃ ≤ X₁ ∧ 1+X₁₇ ≤ X₁ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 2 ≤ X₀+X₉ ∧ 2+X₁₃ ≤ X₀ ∧ 2+X₁₇ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2+X₁₃ ≤ X₁₉ ∧ 2+X₁₇ ≤ X₁₉ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₁+X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₅: lbl271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl281(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 1+2⋅X₁₇, X₁₄, X₁₅, X₁₆, X₁₉, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 3+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 4 ∧ X₁₃ ≤ 3+X₉ ∧ X₁₇ ≤ 3+X₉ ∧ X₁₃ ≤ 2 ∧ X₁₃ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁₃ ≤ X₁ ∧ 1+X₁₇ ≤ X₁ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 2 ≤ X₀+X₉ ∧ 2+X₁₃ ≤ X₀ ∧ 2+X₁₇ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2+X₁₃ ≤ X₁₉ ∧ 2+X₁₇ ≤ X₁₉ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₁+X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₆: lbl271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl271_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 2+2⋅X₁₇, X₁₄, X₁₅, X₁₆, 2+2⋅X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 4+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 4 ∧ X₁₃ ≤ 3+X₉ ∧ X₁₇ ≤ 3+X₉ ∧ X₁₃ ≤ 2 ∧ X₁₃ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁₃ ≤ X₁ ∧ 1+X₁₇ ≤ X₁ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 2 ≤ X₀+X₉ ∧ 2+X₁₃ ≤ X₀ ∧ 2+X₁₇ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2+X₁₃ ≤ X₁₉ ∧ 2+X₁₇ ≤ X₁₉ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₁+X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₇: lbl271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 1+2⋅X₁₇, X₁₄, X₁₅, X₁₆, 1+2⋅X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 3+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 4 ∧ X₁₃ ≤ 3+X₉ ∧ X₁₇ ≤ 3+X₉ ∧ X₁₃ ≤ 2 ∧ X₁₃ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁₃ ≤ X₁ ∧ 1+X₁₇ ≤ X₁ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 2 ≤ X₀+X₉ ∧ 2+X₁₃ ≤ X₀ ∧ 2+X₁₇ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2+X₁₃ ≤ X₁₉ ∧ 2+X₁₇ ≤ X₁₉ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₁+X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₈: lbl271(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl133(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₅, X₁₂, X₁₃, X₁₄, 1+X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 2+2⋅X₁₃+X₁₅ ∧ X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 4 ∧ X₁₃ ≤ 3+X₉ ∧ X₁₇ ≤ 3+X₉ ∧ X₁₃ ≤ 2 ∧ X₁₃ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2+X₁₅ ∧ X₁₇ ≤ 2 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁₃ ≤ X₁ ∧ 1+X₁₇ ≤ X₁ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 2 ≤ X₀+X₉ ∧ 2+X₁₃ ≤ X₀ ∧ 2+X₁₇ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2+X₁₃ ≤ X₁₉ ∧ 2+X₁₇ ≤ X₁₉ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₁+X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₈₉: lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl281(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 2+2⋅X₁₇, X₁₄, X₁₅, X₁₆, X₁₉, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 4+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 10 ∧ X₁₃ ≤ 6+X₉ ∧ X₁₇ ≤ 6+X₉ ∧ X₁₃ ≤ 5 ∧ X₁₃ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ X₁₇ ≤ 1+X₁₃ ∧ X₁₃ ≤ 1+X₁₇ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1+X₁₃ ≤ X₀ ∧ 1+X₁₇ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1+X₁₃ ≤ X₁₉ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 1+X₁₇ ≤ X₁₉ ∧ 2 ≤ X₀+X₉ ∧ 2+2⋅X₉ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₃ ∧ 2 ≤ X₉+X₁₇ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2 ≤ X₁₇ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁ ∧ 3 ≤ X₁+X₉ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₃ ∧ 3 ≤ X₁₃+X₁₅ ∧ 3 ≤ X₁₅+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₇ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀ ∧ 4 ≤ X₀+X₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁ ∧ 4 ≤ X₁+X₁₅ ∧ 4+X₁₅ ≤ X₁ ∧ 4 ≤ X₉+X₁₉ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 4 ≤ X₁₉ ∧ 5 ≤ X₀ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₀+X₁₅ ∧ 5+X₁₅ ≤ X₀ ∧ 5 ≤ X₁+X₁₉ ∧ 5 ≤ X₁₅+X₁₉ ∧ 5+X₁₅ ≤ X₁₉ ∧ 5 ≤ X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ 6 ≤ X₁₃+X₁₇ ∧ 7 ≤ X₁+X₁₃ ∧ 7 ≤ X₁+X₁₇ ∧ 8 ≤ X₀+X₁₃ ∧ 8 ≤ X₀+X₁₇ ∧ 8 ≤ X₁₃+X₁₉ ∧ 8 ≤ X₁₇+X₁₉ ∧ 9 ≤ X₀+X₁ ∧ 9 ≤ X₁+X₁₉ ∧ 10 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ X₁₃ ≤ X₁ ∧ X₁₇ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇ ∧ 0 ≤ X₁₃ ∧ 0 ≤ X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₉₀: lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl281(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 1+2⋅X₁₇, X₁₄, X₁₅, X₁₆, X₁₉, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 3+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 10 ∧ X₁₃ ≤ 6+X₉ ∧ X₁₇ ≤ 6+X₉ ∧ X₁₃ ≤ 5 ∧ X₁₃ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ X₁₇ ≤ 1+X₁₃ ∧ X₁₃ ≤ 1+X₁₇ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1+X₁₃ ≤ X₀ ∧ 1+X₁₇ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1+X₁₃ ≤ X₁₉ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 1+X₁₇ ≤ X₁₉ ∧ 2 ≤ X₀+X₉ ∧ 2+2⋅X₉ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₃ ∧ 2 ≤ X₉+X₁₇ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2 ≤ X₁₇ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁ ∧ 3 ≤ X₁+X₉ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₃ ∧ 3 ≤ X₁₃+X₁₅ ∧ 3 ≤ X₁₅+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₇ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀ ∧ 4 ≤ X₀+X₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁ ∧ 4 ≤ X₁+X₁₅ ∧ 4+X₁₅ ≤ X₁ ∧ 4 ≤ X₉+X₁₉ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 4 ≤ X₁₉ ∧ 5 ≤ X₀ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₀+X₁₅ ∧ 5+X₁₅ ≤ X₀ ∧ 5 ≤ X₁+X₁₉ ∧ 5 ≤ X₁₅+X₁₉ ∧ 5+X₁₅ ≤ X₁₉ ∧ 5 ≤ X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ 6 ≤ X₁₃+X₁₇ ∧ 7 ≤ X₁+X₁₃ ∧ 7 ≤ X₁+X₁₇ ∧ 8 ≤ X₀+X₁₃ ∧ 8 ≤ X₀+X₁₇ ∧ 8 ≤ X₁₃+X₁₉ ∧ 8 ≤ X₁₇+X₁₉ ∧ 9 ≤ X₀+X₁ ∧ 9 ≤ X₁+X₁₉ ∧ 10 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ X₁₃ ≤ X₁ ∧ X₁₇ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇ ∧ 0 ≤ X₁₃ ∧ 0 ≤ X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₉₁: lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl271_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 2+2⋅X₁₇, X₁₄, X₁₅, X₁₆, 2+2⋅X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 4+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 10 ∧ X₁₃ ≤ 6+X₉ ∧ X₁₇ ≤ 6+X₉ ∧ X₁₃ ≤ 5 ∧ X₁₃ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ X₁₇ ≤ 1+X₁₃ ∧ X₁₃ ≤ 1+X₁₇ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1+X₁₃ ≤ X₀ ∧ 1+X₁₇ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1+X₁₃ ≤ X₁₉ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 1+X₁₇ ≤ X₁₉ ∧ 2 ≤ X₀+X₉ ∧ 2+2⋅X₉ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₃ ∧ 2 ≤ X₉+X₁₇ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2 ≤ X₁₇ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁ ∧ 3 ≤ X₁+X₉ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₃ ∧ 3 ≤ X₁₃+X₁₅ ∧ 3 ≤ X₁₅+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₇ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀ ∧ 4 ≤ X₀+X₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁ ∧ 4 ≤ X₁+X₁₅ ∧ 4+X₁₅ ≤ X₁ ∧ 4 ≤ X₉+X₁₉ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 4 ≤ X₁₉ ∧ 5 ≤ X₀ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₀+X₁₅ ∧ 5+X₁₅ ≤ X₀ ∧ 5 ≤ X₁+X₁₉ ∧ 5 ≤ X₁₅+X₁₉ ∧ 5+X₁₅ ≤ X₁₉ ∧ 5 ≤ X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ 6 ≤ X₁₃+X₁₇ ∧ 7 ≤ X₁+X₁₃ ∧ 7 ≤ X₁+X₁₇ ∧ 8 ≤ X₀+X₁₃ ∧ 8 ≤ X₀+X₁₇ ∧ 8 ≤ X₁₃+X₁₉ ∧ 8 ≤ X₁₇+X₁₉ ∧ 9 ≤ X₀+X₁ ∧ 9 ≤ X₁+X₁₉ ∧ 10 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ X₁₃ ≤ X₁ ∧ X₁₇ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇ ∧ 0 ≤ X₁₃ ∧ 0 ≤ X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₉₂: lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl271_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, 1+2⋅X₁₇, X₁₄, X₁₅, X₁₆, 1+2⋅X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 3+2⋅X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 10 ∧ X₁₃ ≤ 6+X₉ ∧ X₁₇ ≤ 6+X₉ ∧ X₁₃ ≤ 5 ∧ X₁₃ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ X₁₇ ≤ 1+X₁₃ ∧ X₁₃ ≤ 1+X₁₇ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1+X₁₃ ≤ X₀ ∧ 1+X₁₇ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1+X₁₃ ≤ X₁₉ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 1+X₁₇ ≤ X₁₉ ∧ 2 ≤ X₀+X₉ ∧ 2+2⋅X₉ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₃ ∧ 2 ≤ X₉+X₁₇ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2 ≤ X₁₇ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁ ∧ 3 ≤ X₁+X₉ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₃ ∧ 3 ≤ X₁₃+X₁₅ ∧ 3 ≤ X₁₅+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₇ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀ ∧ 4 ≤ X₀+X₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁ ∧ 4 ≤ X₁+X₁₅ ∧ 4+X₁₅ ≤ X₁ ∧ 4 ≤ X₉+X₁₉ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 4 ≤ X₁₉ ∧ 5 ≤ X₀ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₀+X₁₅ ∧ 5+X₁₅ ≤ X₀ ∧ 5 ≤ X₁+X₁₉ ∧ 5 ≤ X₁₅+X₁₉ ∧ 5+X₁₅ ≤ X₁₉ ∧ 5 ≤ X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ 6 ≤ X₁₃+X₁₇ ∧ 7 ≤ X₁+X₁₃ ∧ 7 ≤ X₁+X₁₇ ∧ 8 ≤ X₀+X₁₃ ∧ 8 ≤ X₀+X₁₇ ∧ 8 ≤ X₁₃+X₁₉ ∧ 8 ≤ X₁₇+X₁₉ ∧ 9 ≤ X₀+X₁ ∧ 9 ≤ X₁+X₁₉ ∧ 10 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ X₁₃ ≤ X₁ ∧ X₁₇ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇ ∧ 0 ≤ X₁₃ ∧ 0 ≤ X₁₇

knowledge_propagation leads to new time bound 16⋅X₀+42 {O(n)} for transition t₃₉₃: lbl271_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃, X₁₄, X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) → lbl133(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₅, X₁₂, X₁₃, X₁₄, 1+X₁₅, X₁₆, X₁₇, X₁₈, X₁₉) :|: X₀ ≤ 2+2⋅X₁₃+X₁₅ ∧ X₀ ≤ 1+X₁ ∧ 1+2⋅X₉ ≤ X₁ ∧ 1 ≤ X₁₃ ∧ 2+X₁₃+X₁₅ ≤ X₀ ∧ 2⋅X₁₃+X₁₅ ≤ X₀ ∧ X₁₉ ≤ X₀ ∧ X₀ ≤ X₁₉ ∧ X₁₇ ≤ X₁₃ ∧ X₁₃ ≤ X₁₇ ∧ 0 ≤ X₁₅ ∧ X₁₃+X₁₇ ≤ 10 ∧ X₁₃ ≤ 6+X₉ ∧ X₁₇ ≤ 6+X₉ ∧ X₁₃ ≤ 5 ∧ X₁₃ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5+X₁₅ ∧ X₁₇ ≤ 5 ∧ X₁₉ ≤ 1+X₁ ∧ 0 ≤ 1+X₉ ∧ 0 ≤ 1+X₉+X₁₅ ∧ X₁₇ ≤ 1+X₁₃ ∧ X₁₃ ≤ 1+X₁₇ ∧ 1+X₁ ≤ X₀ ∧ 1+X₉ ≤ X₀ ∧ 1+X₁₃ ≤ X₀ ∧ 1+X₁₇ ≤ X₀ ∧ 1 ≤ X₁+X₉ ∧ 1+X₁ ≤ X₁₉ ∧ 1+X₉ ≤ X₁₉ ∧ 1 ≤ X₁₃+X₁₅ ∧ 1+X₁₃ ≤ X₁₉ ∧ 1 ≤ X₁₅+X₁₇ ∧ 1 ≤ X₁₇ ∧ 1+X₁₇ ≤ X₁₉ ∧ 2 ≤ X₀+X₉ ∧ 2+2⋅X₉ ≤ X₀ ∧ 2 ≤ X₁ ∧ 2 ≤ X₁+X₁₅ ∧ 2+X₁₅ ≤ X₁ ∧ 2 ≤ X₉+X₁₃ ∧ 2 ≤ X₉+X₁₇ ∧ 2 ≤ X₉+X₁₉ ∧ 2 ≤ X₁₃ ∧ 2 ≤ X₁₃+X₁₇ ∧ 2 ≤ X₁₇ ∧ 3 ≤ X₀ ∧ 3 ≤ X₀+X₁₅ ∧ 3+X₁₅ ≤ X₀ ∧ 3 ≤ X₁ ∧ 3 ≤ X₁+X₉ ∧ 3 ≤ X₁+X₁₃ ∧ 3 ≤ X₁+X₁₇ ∧ 3 ≤ X₁₃ ∧ 3 ≤ X₁₃+X₁₅ ∧ 3 ≤ X₁₅+X₁₇ ∧ 3 ≤ X₁₅+X₁₉ ∧ 3+X₁₅ ≤ X₁₉ ∧ 3 ≤ X₁₇ ∧ 3 ≤ X₁₉ ∧ 4 ≤ X₀ ∧ 4 ≤ X₀+X₉ ∧ 4 ≤ X₀+X₁₃ ∧ 4 ≤ X₀+X₁₇ ∧ 4 ≤ X₁ ∧ 4 ≤ X₁+X₁₅ ∧ 4+X₁₅ ≤ X₁ ∧ 4 ≤ X₉+X₁₉ ∧ 4 ≤ X₁₃+X₁₉ ∧ 4 ≤ X₁₇+X₁₉ ∧ 4 ≤ X₁₉ ∧ 5 ≤ X₀ ∧ 5 ≤ X₀+X₁ ∧ 5 ≤ X₀+X₁₅ ∧ 5+X₁₅ ≤ X₀ ∧ 5 ≤ X₁+X₁₉ ∧ 5 ≤ X₁₅+X₁₉ ∧ 5+X₁₅ ≤ X₁₉ ∧ 5 ≤ X₁₉ ∧ 6 ≤ X₀+X₁₉ ∧ 6 ≤ X₁₃+X₁₇ ∧ 7 ≤ X₁+X₁₃ ∧ 7 ≤ X₁+X₁₇ ∧ 8 ≤ X₀+X₁₃ ∧ 8 ≤ X₀+X₁₇ ∧ 8 ≤ X₁₃+X₁₉ ∧ 8 ≤ X₁₇+X₁₉ ∧ 9 ≤ X₀+X₁ ∧ 9 ≤ X₁+X₁₉ ∧ 10 ≤ X₀+X₁₉ ∧ X₉ ≤ X₁ ∧ X₁₃ ≤ X₁ ∧ X₁₇ ≤ X₁ ∧ 0 ≤ X₉+X₁₃ ∧ 0 ≤ X₉+X₁₇ ∧ 0 ≤ X₁₃ ∧ 0 ≤ X₁₇

All Bounds

Timebounds

Overall timebound:1809⋅X₀⋅X₀+7387⋅X₀+7125 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 4⋅X₀+8 {O(n)}
t₃: 4⋅X₀+10 {O(n)}
t₄: 256⋅X₀⋅X₀+972⋅X₀+831 {O(n^2)}
t₅: 8⋅X₀+22 {O(n)}
t₆: 1536⋅X₀⋅X₀+6286⋅X₀+6126 {O(n^2)}
t₇: 4⋅X₀+8 {O(n)}
t₁₂: 1 {O(1)}
t₁₃: 28⋅X₀ {O(n)}
t₁₄: 4⋅X₀+4 {O(n)}
t₁₅: 8⋅X₀+20 {O(n)}
t₁₆: 6⋅X₀+12 {O(n)}
t₁₇: 8⋅X₀+20 {O(n)}
t₁₈: 5⋅X₀⋅X₀+14⋅X₀+12 {O(n^2)}
t₁₉: X₀+1 {O(n)}
t₂₀: 6⋅X₀⋅X₀+19⋅X₀+20 {O(n^2)}
t₂₁: 2⋅X₀⋅X₀+6⋅X₀+6 {O(n^2)}
t₂₂: 2⋅X₀⋅X₀+7⋅X₀+8 {O(n^2)}
t₂₃: 2⋅X₀⋅X₀+7⋅X₀+8 {O(n^2)}
t₂₄: X₀+1 {O(n)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
t₃₁: 1 {O(1)}

Costbounds

Overall costbound: 1809⋅X₀⋅X₀+7387⋅X₀+7125 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 4⋅X₀+8 {O(n)}
t₃: 4⋅X₀+10 {O(n)}
t₄: 256⋅X₀⋅X₀+972⋅X₀+831 {O(n^2)}
t₅: 8⋅X₀+22 {O(n)}
t₆: 1536⋅X₀⋅X₀+6286⋅X₀+6126 {O(n^2)}
t₇: 4⋅X₀+8 {O(n)}
t₁₂: 1 {O(1)}
t₁₃: 28⋅X₀ {O(n)}
t₁₄: 4⋅X₀+4 {O(n)}
t₁₅: 8⋅X₀+20 {O(n)}
t₁₆: 6⋅X₀+12 {O(n)}
t₁₇: 8⋅X₀+20 {O(n)}
t₁₈: 5⋅X₀⋅X₀+14⋅X₀+12 {O(n^2)}
t₁₉: X₀+1 {O(n)}
t₂₀: 6⋅X₀⋅X₀+19⋅X₀+20 {O(n^2)}
t₂₁: 2⋅X₀⋅X₀+6⋅X₀+6 {O(n^2)}
t₂₂: 2⋅X₀⋅X₀+7⋅X₀+8 {O(n^2)}
t₂₃: 2⋅X₀⋅X₀+7⋅X₀+8 {O(n^2)}
t₂₄: X₀+1 {O(n)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
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₁₄: X₁₄ {O(n)}
t₁, X₁₅: 1 {O(1)}
t₁, X₁₆: X₁₆ {O(n)}
t₁, X₁₇: 1 {O(1)}
t₁, X₁₈: X₁₈ {O(n)}
t₁, X₁₉: X₀ {O(n)}
t₂, X₀: 4⋅X₀ {O(n)}
t₂, X₁: 8⋅X₀+20 {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₁₁: 32⋅X₀+64 {O(n)}
t₂, X₁₂: 4⋅X₁₂ {O(n)}
t₂, X₁₃: 25674750099087561262166193478574177137979213177056281649973114444826666527392027282642265382388774244734997473867687005018214622533787717529821110236683937436774173449506664465260785684384672142765684547686052569390145088564894182783982071410507905542854083004015969448564602462914617445961130464781529996749325852306612978598703629870137797955709366615808173059812326241336154262933465348643099387922986875700234302568320545329632259150556464185975041263703712006927970174943586970492262028168147586796008907722564954003880625054548066338265828986351422470064167443854081519082030711175719669219556234373216038387123029600576973609222275608513685167527767635527516155457953167801927869277565061152457641820261963061238689974645651094259073641030440180901473450126458604517319881474665085882250383320694469927937793994818301749843513921489472194809863188884951790584431174244161037318107395103102508337849290024660130820097059446387628415545717913070060644512382324162432346761951686191986177277369926509683464299915337967750731892407816085294907532487774113971098949449958393344565377045810028335679064998570289219976910459653987121800496713595360738986649614694112843786230034523575575033804616049690657452229023258821600457699938659879101769743913954773423390920674164123706040005038854229953567249133156374719634731247864399945066454560702958642682840516525043422472070188919376987039356098833481772734965352808905627650615012191427068445886715447210085239977792220308790887871660522723725497892260146758114097687543267756458252409611301516700603815126376072986118977917351286684792644062961614789129826514970954549398508164160105901581268719676292655670151279995965864559990539895854189402680833132533333431684174143709668626535909070552240088574337329052136159498892773557904155817080517722021721016173882474523023734618102800650909413811832360870341457974859153718019945835121807946339876789177619492177547826041144334014947648844961511585167341255689251261877855386025337231525416598717904024153844508998074288574242983439888343580177988303692653701823112175521702696435555494628665927401472⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+26762506996865937044492637120133760974788615429997772830030858055515143710442529659258589996463840796824157929819283682668706266027607533222955854961633206651745935788671459240106675642289810485737948936823979541667912258050265974241870152850418839355168021606081847803774505913519214910639937514488632014420021116765962515965731860634419091995194396509771035482998400669196870262871045741842828573537992064315998932649844968835627019519566109013615804896159922698015683976696905677413878759219361652300076497522673622886710552440888965314251527614955999466857062660849191966896076246117100870198985947017205515814123071785291925097764652644922063327002231437406105451143734610355650219045895047227421738378782324845392849610222337446809185191239255325719215036768323503028394039888427286131462484868820976983623798479734487160758900479990031479237395809985204666962774876154548443035304247258124085238562422375266871964995613594985122366800347639388553806961205070913533530489479439664144144001026989315996349833230722816305444790334041238987568414590875272038235843042912253180361267643040239215906743323226074846846533981928570807127388359511005061548916114239533393680950393590709683124422505139832657157586995664588133867871054831739554882206136361301954182292439046849038982960874910814448225060205148494573475352491311189832154578084386338335285373613232624610125274368975561995107230585284131941190633136677730438817774487790518119026317073203482808943236940389918311685217939404556771458236683059768834140602640964724454114029722652076434436663821231873866616622393240792583401552579200832994327772633298748832332955946499217095171168801868523925729420937844423415909293600253354833647085665212685183691966643104271833245928138450964836789153028914872957668482401802453435065764809765564617787036534545310941850677273903508132170117111342707912816070943778218825992929322319988808636338609198788205403510285998366447835773378617942072538438110417031823302988578829781975818815377520249109206851731070847052015865554441161382966782267964829556409675115919599301524941940149616546726597885952⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅6607662240063896277725379680253471984957453685664922693774496780860173261106780538632046469228878852012798430729699140168410254715000371939313432363081662485523383429773939784826558659545789527478975543509034353633080568534868645059442176068882689463276535508142555974698803333842164937981092315508904459884359030207302952412591828913871453961888723966038811736777780931275942616569979880047168476685048467794746498664717853975398679936492486546211011624954337486200620788955752958656058244216188492824708884480660117417055016529908104965987701499862379587297858402899111601636507113949000380186908627315353028980285002016980315482942168302521402243316064857513328874131933373072103222999482491682493766213113519719336454464248887944982372535505751659367433638177023383497779294499870721513857918556754917436573966227016285614780924450281363517607249006819163235491498012960726206932938166311181917986704858211143322480197318760293929358129818540890643210536577498908384139795694014312227377521333751013263358900681931012237442417233205001414401019419516187309523095995163785849987240509276399652094913755197179130001238481071369369850135015189269918751123956560656357326572486265438378638600872032320215159327073054690263969581831118555701618753567974573312468265093796080666555175790553896320090838783084334840957265316124228737837007981154631895402506133220289790761158951392147574432647727862932548720531080315030717327287390757868347932648139319460070766916588203187326335066209343202774104871884271576984125097813806666605369570303526112010265982580276593823226369155233879899346318851188742453270235403536974084808577715090465284451189651825350630326139752082833667857461302239461540630418505381803781920088760601109827111697881524404655211650899395901397098638807389087428442801121397064176780706733246789364535190641338534937014170551601836949540699797637168384703682742573356288933083327043845200342117722858786535481083755095529373655122774024155556263289547156650496096351220241979388770829195657062264702732305533006502931451339789607958815946239697977672682928624517513481914310197248⋅X₀⋅X₀+6 {O(EXP)}
t₂, X₁₄: 4⋅X₁₄ {O(n)}
t₂, X₁₅: 8⋅X₀+16 {O(n)}
t₂, X₁₆: 4⋅X₁₆ {O(n)}
t₂, X₁₇: 25674750099087561262166193478574177137979213177056281649973114444826666527392027282642265382388774244734997473867687005018214622533787717529821110236683937436774173449506664465260785684384672142765684547686052569390145088564894182783982071410507905542854083004015969448564602462914617445961130464781529996749325852306612978598703629870137797955709366615808173059812326241336154262933465348643099387922986875700234302568320545329632259150556464185975041263703712006927970174943586970492262028168147586796008907722564954003880625054548066338265828986351422470064167443854081519082030711175719669219556234373216038387123029600576973609222275608513685167527767635527516155457953167801927869277565061152457641820261963061238689974645651094259073641030440180901473450126458604517319881474665085882250383320694469927937793994818301749843513921489472194809863188884951790584431174244161037318107395103102508337849290024660130820097059446387628415545717913070060644512382324162432346761951686191986177277369926509683464299915337967750731892407816085294907532487774113971098949449958393344565377045810028335679064998570289219976910459653987121800496713595360738986649614694112843786230034523575575033804616049690657452229023258821600457699938659879101769743913954773423390920674164123706040005038854229953567249133156374719634731247864399945066454560702958642682840516525043422472070188919376987039356098833481772734965352808905627650615012191427068445886715447210085239977792220308790887871660522723725497892260146758114097687543267756458252409611301516700603815126376072986118977917351286684792644062961614789129826514970954549398508164160105901581268719676292655670151279995965864559990539895854189402680833132533333431684174143709668626535909070552240088574337329052136159498892773557904155817080517722021721016173882474523023734618102800650909413811832360870341457974859153718019945835121807946339876789177619492177547826041144334014947648844961511585167341255689251261877855386025337231525416598717904024153844508998074288574242983439888343580177988303692653701823112175521702696435555494628665927401472⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+26762506996865937044492637120133760974788615429997772830030858055515143710442529659258589996463840796824157929819283682668706266027607533222955854961633206651745935788671459240106675642289810485737948936823979541667912258050265974241870152850418839355168021606081847803774505913519214910639937514488632014420021116765962515965731860634419091995194396509771035482998400669196870262871045741842828573537992064315998932649844968835627019519566109013615804896159922698015683976696905677413878759219361652300076497522673622886710552440888965314251527614955999466857062660849191966896076246117100870198985947017205515814123071785291925097764652644922063327002231437406105451143734610355650219045895047227421738378782324845392849610222337446809185191239255325719215036768323503028394039888427286131462484868820976983623798479734487160758900479990031479237395809985204666962774876154548443035304247258124085238562422375266871964995613594985122366800347639388553806961205070913533530489479439664144144001026989315996349833230722816305444790334041238987568414590875272038235843042912253180361267643040239215906743323226074846846533981928570807127388359511005061548916114239533393680950393590709683124422505139832657157586995664588133867871054831739554882206136361301954182292439046849038982960874910814448225060205148494573475352491311189832154578084386338335285373613232624610125274368975561995107230585284131941190633136677730438817774487790518119026317073203482808943236940389918311685217939404556771458236683059768834140602640964724454114029722652076434436663821231873866616622393240792583401552579200832994327772633298748832332955946499217095171168801868523925729420937844423415909293600253354833647085665212685183691966643104271833245928138450964836789153028914872957668482401802453435065764809765564617787036534545310941850677273903508132170117111342707912816070943778218825992929322319988808636338609198788205403510285998366447835773378617942072538438110417031823302988578829781975818815377520249109206851731070847052015865554441161382966782267964829556409675115919599301524941940149616546726597885952⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅6607662240063896277725379680253471984957453685664922693774496780860173261106780538632046469228878852012798430729699140168410254715000371939313432363081662485523383429773939784826558659545789527478975543509034353633080568534868645059442176068882689463276535508142555974698803333842164937981092315508904459884359030207302952412591828913871453961888723966038811736777780931275942616569979880047168476685048467794746498664717853975398679936492486546211011624954337486200620788955752958656058244216188492824708884480660117417055016529908104965987701499862379587297858402899111601636507113949000380186908627315353028980285002016980315482942168302521402243316064857513328874131933373072103222999482491682493766213113519719336454464248887944982372535505751659367433638177023383497779294499870721513857918556754917436573966227016285614780924450281363517607249006819163235491498012960726206932938166311181917986704858211143322480197318760293929358129818540890643210536577498908384139795694014312227377521333751013263358900681931012237442417233205001414401019419516187309523095995163785849987240509276399652094913755197179130001238481071369369850135015189269918751123956560656357326572486265438378638600872032320215159327073054690263969581831118555701618753567974573312468265093796080666555175790553896320090838783084334840957265316124228737837007981154631895402506133220289790761158951392147574432647727862932548720531080315030717327287390757868347932648139319460070766916588203187326335066209343202774104871884271576984125097813806666605369570303526112010265982580276593823226369155233879899346318851188742453270235403536974084808577715090465284451189651825350630326139752082833667857461302239461540630418505381803781920088760601109827111697881524404655211650899395901397098638807389087428442801121397064176780706733246789364535190641338534937014170551601836949540699797637168384703682742573356288933083327043845200342117722858786535481083755095529373655122774024155556263289547156650496096351220241979388770829195657062264702732305533006502931451339789607958815946239697977672682928624517513481914310197248⋅X₀⋅X₀+6 {O(EXP)}
t₂, X₁₈: 4⋅X₁₈ {O(n)}
t₂, X₁₉: 4⋅X₀ {O(n)}
t₃, X₀: 4⋅X₀ {O(n)}
t₃, X₁: 8⋅X₀+20 {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₁₁: 384⋅X₀+6⋅X₁₂+768 {O(n)}
t₃, X₁₂: 4⋅X₁₂ {O(n)}
t₃, X₁₃: 25674750099087561262166193478574177137979213177056281649973114444826666527392027282642265382388774244734997473867687005018214622533787717529821110236683937436774173449506664465260785684384672142765684547686052569390145088564894182783982071410507905542854083004015969448564602462914617445961130464781529996749325852306612978598703629870137797955709366615808173059812326241336154262933465348643099387922986875700234302568320545329632259150556464185975041263703712006927970174943586970492262028168147586796008907722564954003880625054548066338265828986351422470064167443854081519082030711175719669219556234373216038387123029600576973609222275608513685167527767635527516155457953167801927869277565061152457641820261963061238689974645651094259073641030440180901473450126458604517319881474665085882250383320694469927937793994818301749843513921489472194809863188884951790584431174244161037318107395103102508337849290024660130820097059446387628415545717913070060644512382324162432346761951686191986177277369926509683464299915337967750731892407816085294907532487774113971098949449958393344565377045810028335679064998570289219976910459653987121800496713595360738986649614694112843786230034523575575033804616049690657452229023258821600457699938659879101769743913954773423390920674164123706040005038854229953567249133156374719634731247864399945066454560702958642682840516525043422472070188919376987039356098833481772734965352808905627650615012191427068445886715447210085239977792220308790887871660522723725497892260146758114097687543267756458252409611301516700603815126376072986118977917351286684792644062961614789129826514970954549398508164160105901581268719676292655670151279995965864559990539895854189402680833132533333431684174143709668626535909070552240088574337329052136159498892773557904155817080517722021721016173882474523023734618102800650909413811832360870341457974859153718019945835121807946339876789177619492177547826041144334014947648844961511585167341255689251261877855386025337231525416598717904024153844508998074288574242983439888343580177988303692653701823112175521702696435555494628665927401472⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+26762506996865937044492637120133760974788615429997772830030858055515143710442529659258589996463840796824157929819283682668706266027607533222955854961633206651745935788671459240106675642289810485737948936823979541667912258050265974241870152850418839355168021606081847803774505913519214910639937514488632014420021116765962515965731860634419091995194396509771035482998400669196870262871045741842828573537992064315998932649844968835627019519566109013615804896159922698015683976696905677413878759219361652300076497522673622886710552440888965314251527614955999466857062660849191966896076246117100870198985947017205515814123071785291925097764652644922063327002231437406105451143734610355650219045895047227421738378782324845392849610222337446809185191239255325719215036768323503028394039888427286131462484868820976983623798479734487160758900479990031479237395809985204666962774876154548443035304247258124085238562422375266871964995613594985122366800347639388553806961205070913533530489479439664144144001026989315996349833230722816305444790334041238987568414590875272038235843042912253180361267643040239215906743323226074846846533981928570807127388359511005061548916114239533393680950393590709683124422505139832657157586995664588133867871054831739554882206136361301954182292439046849038982960874910814448225060205148494573475352491311189832154578084386338335285373613232624610125274368975561995107230585284131941190633136677730438817774487790518119026317073203482808943236940389918311685217939404556771458236683059768834140602640964724454114029722652076434436663821231873866616622393240792583401552579200832994327772633298748832332955946499217095171168801868523925729420937844423415909293600253354833647085665212685183691966643104271833245928138450964836789153028914872957668482401802453435065764809765564617787036534545310941850677273903508132170117111342707912816070943778218825992929322319988808636338609198788205403510285998366447835773378617942072538438110417031823302988578829781975818815377520249109206851731070847052015865554441161382966782267964829556409675115919599301524941940149616546726597885952⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅6607662240063896277725379680253471984957453685664922693774496780860173261106780538632046469228878852012798430729699140168410254715000371939313432363081662485523383429773939784826558659545789527478975543509034353633080568534868645059442176068882689463276535508142555974698803333842164937981092315508904459884359030207302952412591828913871453961888723966038811736777780931275942616569979880047168476685048467794746498664717853975398679936492486546211011624954337486200620788955752958656058244216188492824708884480660117417055016529908104965987701499862379587297858402899111601636507113949000380186908627315353028980285002016980315482942168302521402243316064857513328874131933373072103222999482491682493766213113519719336454464248887944982372535505751659367433638177023383497779294499870721513857918556754917436573966227016285614780924450281363517607249006819163235491498012960726206932938166311181917986704858211143322480197318760293929358129818540890643210536577498908384139795694014312227377521333751013263358900681931012237442417233205001414401019419516187309523095995163785849987240509276399652094913755197179130001238481071369369850135015189269918751123956560656357326572486265438378638600872032320215159327073054690263969581831118555701618753567974573312468265093796080666555175790553896320090838783084334840957265316124228737837007981154631895402506133220289790761158951392147574432647727862932548720531080315030717327287390757868347932648139319460070766916588203187326335066209343202774104871884271576984125097813806666605369570303526112010265982580276593823226369155233879899346318851188742453270235403536974084808577715090465284451189651825350630326139752082833667857461302239461540630418505381803781920088760601109827111697881524404655211650899395901397098638807389087428442801121397064176780706733246789364535190641338534937014170551601836949540699797637168384703682742573356288933083327043845200342117722858786535481083755095529373655122774024155556263289547156650496096351220241979388770829195657062264702732305533006502931451339789607958815946239697977672682928624517513481914310197248⋅X₀⋅X₀+64 {O(EXP)}
t₃, X₁₄: 4⋅X₁₄ {O(n)}
t₃, X₁₅: 8⋅X₀+16 {O(n)}
t₃, X₁₆: 4⋅X₁₆ {O(n)}
t₃, X₁₇: 18⋅X₀ {O(n)}
t₃, X₁₈: 4⋅X₁₈ {O(n)}
t₃, X₁₉: 4⋅X₀ {O(n)}
t₄, X₀: 4⋅X₀ {O(n)}
t₄, X₁: 8⋅X₀+20 {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₁₁: 128⋅X₀+2⋅X₁₂+256 {O(n)}
t₄, X₁₂: 4⋅X₁₂ {O(n)}
t₄, X₁₃: 12837375049543780631083096739287088568989606588528140824986557222413333263696013641321132691194387122367498736933843502509107311266893858764910555118341968718387086724753332232630392842192336071382842273843026284695072544282447091391991035705253952771427041502007984724282301231457308722980565232390764998374662926153306489299351814935068898977854683307904086529906163120668077131466732674321549693961493437850117151284160272664816129575278232092987520631851856003463985087471793485246131014084073793398004453861282477001940312527274033169132914493175711235032083721927040759541015355587859834609778117186608019193561514800288486804611137804256842583763883817763758077728976583900963934638782530576228820910130981530619344987322825547129536820515220090450736725063229302258659940737332542941125191660347234963968896997409150874921756960744736097404931594442475895292215587122080518659053697551551254168924645012330065410048529723193814207772858956535030322256191162081216173380975843095993088638684963254841732149957668983875365946203908042647453766243887056985549474724979196672282688522905014167839532499285144609988455229826993560900248356797680369493324807347056421893115017261787787516902308024845328726114511629410800228849969329939550884871956977386711695460337082061853020002519427114976783624566578187359817365623932199972533227280351479321341420258262521711236035094459688493519678049416740886367482676404452813825307506095713534222943357723605042619988896110154395443935830261361862748946130073379057048843771633878229126204805650758350301907563188036493059488958675643342396322031480807394564913257485477274699254082080052950790634359838146327835075639997982932279995269947927094701340416566266666715842087071854834313267954535276120044287168664526068079749446386778952077908540258861010860508086941237261511867309051400325454706905916180435170728987429576859009972917560903973169938394588809746088773913020572167007473824422480755792583670627844625630938927693012668615762708299358952012076922254499037144287121491719944171790088994151846326850911556087760851348217777747314332963700736⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+13381253498432968522246318560066880487394307714998886415015429027757571855221264829629294998231920398412078964909641841334353133013803766611477927480816603325872967894335729620053337821144905242868974468411989770833956129025132987120935076425209419677584010803040923901887252956759607455319968757244316007210010558382981257982865930317209545997597198254885517741499200334598435131435522870921414286768996032157999466324922484417813509759783054506807902448079961349007841988348452838706939379609680826150038248761336811443355276220444482657125763807477999733428531330424595983448038123058550435099492973508602757907061535892645962548882326322461031663501115718703052725571867305177825109522947523613710869189391162422696424805111168723404592595619627662859607518384161751514197019944213643065731242434410488491811899239867243580379450239995015739618697904992602333481387438077274221517652123629062042619281211187633435982497806797492561183400173819694276903480602535456766765244739719832072072000513494657998174916615361408152722395167020619493784207295437636019117921521456126590180633821520119607953371661613037423423266990964285403563694179755502530774458057119766696840475196795354841562211252569916328578793497832294066933935527415869777441103068180650977091146219523424519491480437455407224112530102574247286737676245655594916077289042193169167642686806616312305062637184487780997553615292642065970595316568338865219408887243895259059513158536601741404471618470194959155842608969702278385729118341529884417070301320482362227057014861326038217218331910615936933308311196620396291700776289600416497163886316649374416166477973249608547585584400934261962864710468922211707954646800126677416823542832606342591845983321552135916622964069225482418394576514457436478834241200901226717532882404882782308893518267272655470925338636951754066085058555671353956408035471889109412996464661159994404318169304599394102701755142999183223917886689308971036269219055208515911651494289414890987909407688760124554603425865535423526007932777220580691483391133982414778204837557959799650762470970074808273363298942976⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅3303831120031948138862689840126735992478726842832461346887248390430086630553390269316023234614439426006399215364849570084205127357500185969656716181540831242761691714886969892413279329772894763739487771754517176816540284267434322529721088034441344731638267754071277987349401666921082468990546157754452229942179515103651476206295914456935726980944361983019405868388890465637971308284989940023584238342524233897373249332358926987699339968246243273105505812477168743100310394477876479328029122108094246412354442240330058708527508264954052482993850749931189793648929201449555800818253556974500190093454313657676514490142501008490157741471084151260701121658032428756664437065966686536051611499741245841246883106556759859668227232124443972491186267752875829683716819088511691748889647249935360756928959278377458718286983113508142807390462225140681758803624503409581617745749006480363103466469083155590958993352429105571661240098659380146964679064909270445321605268288749454192069897847007156113688760666875506631679450340965506118721208616602500707200509709758093654761547997581892924993620254638199826047456877598589565000619240535684684925067507594634959375561978280328178663286243132719189319300436016160107579663536527345131984790915559277850809376783987286656234132546898040333277587895276948160045419391542167420478632658062114368918503990577315947701253066610144895380579475696073787216323863931466274360265540157515358663643695378934173966324069659730035383458294101593663167533104671601387052435942135788492062548906903333302684785151763056005132991290138296911613184577616939949673159425594371226635117701768487042404288857545232642225594825912675315163069876041416833928730651119730770315209252690901890960044380300554913555848940762202327605825449697950698549319403694543714221400560698532088390353366623394682267595320669267468507085275800918474770349898818584192351841371286678144466541663521922600171058861429393267740541877547764686827561387012077778131644773578325248048175610120989694385414597828531132351366152766503251465725669894803979407973119848988836341464312258756740957155098624⋅X₀⋅X₀ {O(EXP)}
t₄, X₁₄: 4⋅X₁₄ {O(n)}
t₄, X₁₅: 8⋅X₀+16 {O(n)}
t₄, X₁₆: 4⋅X₁₆ {O(n)}
t₄, X₁₇: 12837375049543780631083096739287088568989606588528140824986557222413333263696013641321132691194387122367498736933843502509107311266893858764910555118341968718387086724753332232630392842192336071382842273843026284695072544282447091391991035705253952771427041502007984724282301231457308722980565232390764998374662926153306489299351814935068898977854683307904086529906163120668077131466732674321549693961493437850117151284160272664816129575278232092987520631851856003463985087471793485246131014084073793398004453861282477001940312527274033169132914493175711235032083721927040759541015355587859834609778117186608019193561514800288486804611137804256842583763883817763758077728976583900963934638782530576228820910130981530619344987322825547129536820515220090450736725063229302258659940737332542941125191660347234963968896997409150874921756960744736097404931594442475895292215587122080518659053697551551254168924645012330065410048529723193814207772858956535030322256191162081216173380975843095993088638684963254841732149957668983875365946203908042647453766243887056985549474724979196672282688522905014167839532499285144609988455229826993560900248356797680369493324807347056421893115017261787787516902308024845328726114511629410800228849969329939550884871956977386711695460337082061853020002519427114976783624566578187359817365623932199972533227280351479321341420258262521711236035094459688493519678049416740886367482676404452813825307506095713534222943357723605042619988896110154395443935830261361862748946130073379057048843771633878229126204805650758350301907563188036493059488958675643342396322031480807394564913257485477274699254082080052950790634359838146327835075639997982932279995269947927094701340416566266666715842087071854834313267954535276120044287168664526068079749446386778952077908540258861010860508086941237261511867309051400325454706905916180435170728987429576859009972917560903973169938394588809746088773913020572167007473824422480755792583670627844625630938927693012668615762708299358952012076922254499037144287121491719944171790088994151846326850911556087760851348217777747314332963700736⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+13381253498432968522246318560066880487394307714998886415015429027757571855221264829629294998231920398412078964909641841334353133013803766611477927480816603325872967894335729620053337821144905242868974468411989770833956129025132987120935076425209419677584010803040923901887252956759607455319968757244316007210010558382981257982865930317209545997597198254885517741499200334598435131435522870921414286768996032157999466324922484417813509759783054506807902448079961349007841988348452838706939379609680826150038248761336811443355276220444482657125763807477999733428531330424595983448038123058550435099492973508602757907061535892645962548882326322461031663501115718703052725571867305177825109522947523613710869189391162422696424805111168723404592595619627662859607518384161751514197019944213643065731242434410488491811899239867243580379450239995015739618697904992602333481387438077274221517652123629062042619281211187633435982497806797492561183400173819694276903480602535456766765244739719832072072000513494657998174916615361408152722395167020619493784207295437636019117921521456126590180633821520119607953371661613037423423266990964285403563694179755502530774458057119766696840475196795354841562211252569916328578793497832294066933935527415869777441103068180650977091146219523424519491480437455407224112530102574247286737676245655594916077289042193169167642686806616312305062637184487780997553615292642065970595316568338865219408887243895259059513158536601741404471618470194959155842608969702278385729118341529884417070301320482362227057014861326038217218331910615936933308311196620396291700776289600416497163886316649374416166477973249608547585584400934261962864710468922211707954646800126677416823542832606342591845983321552135916622964069225482418394576514457436478834241200901226717532882404882782308893518267272655470925338636951754066085058555671353956408035471889109412996464661159994404318169304599394102701755142999183223917886689308971036269219055208515911651494289414890987909407688760124554603425865535423526007932777220580691483391133982414778204837557959799650762470970074808273363298942976⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅3303831120031948138862689840126735992478726842832461346887248390430086630553390269316023234614439426006399215364849570084205127357500185969656716181540831242761691714886969892413279329772894763739487771754517176816540284267434322529721088034441344731638267754071277987349401666921082468990546157754452229942179515103651476206295914456935726980944361983019405868388890465637971308284989940023584238342524233897373249332358926987699339968246243273105505812477168743100310394477876479328029122108094246412354442240330058708527508264954052482993850749931189793648929201449555800818253556974500190093454313657676514490142501008490157741471084151260701121658032428756664437065966686536051611499741245841246883106556759859668227232124443972491186267752875829683716819088511691748889647249935360756928959278377458718286983113508142807390462225140681758803624503409581617745749006480363103466469083155590958993352429105571661240098659380146964679064909270445321605268288749454192069897847007156113688760666875506631679450340965506118721208616602500707200509709758093654761547997581892924993620254638199826047456877598589565000619240535684684925067507594634959375561978280328178663286243132719189319300436016160107579663536527345131984790915559277850809376783987286656234132546898040333277587895276948160045419391542167420478632658062114368918503990577315947701253066610144895380579475696073787216323863931466274360265540157515358663643695378934173966324069659730035383458294101593663167533104671601387052435942135788492062548906903333302684785151763056005132991290138296911613184577616939949673159425594371226635117701768487042404288857545232642225594825912675315163069876041416833928730651119730770315209252690901890960044380300554913555848940762202327605825449697950698549319403694543714221400560698532088390353366623394682267595320669267468507085275800918474770349898818584192351841371286678144466541663521922600171058861429393267740541877547764686827561387012077778131644773578325248048175610120989694385414597828531132351366152766503251465725669894803979407973119848988836341464312258756740957155098624⋅X₀⋅X₀ {O(EXP)}
t₄, X₁₈: 4⋅X₁₈ {O(n)}
t₄, X₁₉: 4⋅X₀ {O(n)}
t₅, X₀: 4⋅X₀ {O(n)}
t₅, X₁: 8⋅X₀+20 {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₁₁: 384⋅X₀+6⋅X₁₂+768 {O(n)}
t₅, X₁₂: 4⋅X₁₂ {O(n)}
t₅, X₁₃: 25674750099087561262166193478574177137979213177056281649973114444826666527392027282642265382388774244734997473867687005018214622533787717529821110236683937436774173449506664465260785684384672142765684547686052569390145088564894182783982071410507905542854083004015969448564602462914617445961130464781529996749325852306612978598703629870137797955709366615808173059812326241336154262933465348643099387922986875700234302568320545329632259150556464185975041263703712006927970174943586970492262028168147586796008907722564954003880625054548066338265828986351422470064167443854081519082030711175719669219556234373216038387123029600576973609222275608513685167527767635527516155457953167801927869277565061152457641820261963061238689974645651094259073641030440180901473450126458604517319881474665085882250383320694469927937793994818301749843513921489472194809863188884951790584431174244161037318107395103102508337849290024660130820097059446387628415545717913070060644512382324162432346761951686191986177277369926509683464299915337967750731892407816085294907532487774113971098949449958393344565377045810028335679064998570289219976910459653987121800496713595360738986649614694112843786230034523575575033804616049690657452229023258821600457699938659879101769743913954773423390920674164123706040005038854229953567249133156374719634731247864399945066454560702958642682840516525043422472070188919376987039356098833481772734965352808905627650615012191427068445886715447210085239977792220308790887871660522723725497892260146758114097687543267756458252409611301516700603815126376072986118977917351286684792644062961614789129826514970954549398508164160105901581268719676292655670151279995965864559990539895854189402680833132533333431684174143709668626535909070552240088574337329052136159498892773557904155817080517722021721016173882474523023734618102800650909413811832360870341457974859153718019945835121807946339876789177619492177547826041144334014947648844961511585167341255689251261877855386025337231525416598717904024153844508998074288574242983439888343580177988303692653701823112175521702696435555494628665927401472⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+26762506996865937044492637120133760974788615429997772830030858055515143710442529659258589996463840796824157929819283682668706266027607533222955854961633206651745935788671459240106675642289810485737948936823979541667912258050265974241870152850418839355168021606081847803774505913519214910639937514488632014420021116765962515965731860634419091995194396509771035482998400669196870262871045741842828573537992064315998932649844968835627019519566109013615804896159922698015683976696905677413878759219361652300076497522673622886710552440888965314251527614955999466857062660849191966896076246117100870198985947017205515814123071785291925097764652644922063327002231437406105451143734610355650219045895047227421738378782324845392849610222337446809185191239255325719215036768323503028394039888427286131462484868820976983623798479734487160758900479990031479237395809985204666962774876154548443035304247258124085238562422375266871964995613594985122366800347639388553806961205070913533530489479439664144144001026989315996349833230722816305444790334041238987568414590875272038235843042912253180361267643040239215906743323226074846846533981928570807127388359511005061548916114239533393680950393590709683124422505139832657157586995664588133867871054831739554882206136361301954182292439046849038982960874910814448225060205148494573475352491311189832154578084386338335285373613232624610125274368975561995107230585284131941190633136677730438817774487790518119026317073203482808943236940389918311685217939404556771458236683059768834140602640964724454114029722652076434436663821231873866616622393240792583401552579200832994327772633298748832332955946499217095171168801868523925729420937844423415909293600253354833647085665212685183691966643104271833245928138450964836789153028914872957668482401802453435065764809765564617787036534545310941850677273903508132170117111342707912816070943778218825992929322319988808636338609198788205403510285998366447835773378617942072538438110417031823302988578829781975818815377520249109206851731070847052015865554441161382966782267964829556409675115919599301524941940149616546726597885952⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅6607662240063896277725379680253471984957453685664922693774496780860173261106780538632046469228878852012798430729699140168410254715000371939313432363081662485523383429773939784826558659545789527478975543509034353633080568534868645059442176068882689463276535508142555974698803333842164937981092315508904459884359030207302952412591828913871453961888723966038811736777780931275942616569979880047168476685048467794746498664717853975398679936492486546211011624954337486200620788955752958656058244216188492824708884480660117417055016529908104965987701499862379587297858402899111601636507113949000380186908627315353028980285002016980315482942168302521402243316064857513328874131933373072103222999482491682493766213113519719336454464248887944982372535505751659367433638177023383497779294499870721513857918556754917436573966227016285614780924450281363517607249006819163235491498012960726206932938166311181917986704858211143322480197318760293929358129818540890643210536577498908384139795694014312227377521333751013263358900681931012237442417233205001414401019419516187309523095995163785849987240509276399652094913755197179130001238481071369369850135015189269918751123956560656357326572486265438378638600872032320215159327073054690263969581831118555701618753567974573312468265093796080666555175790553896320090838783084334840957265316124228737837007981154631895402506133220289790761158951392147574432647727862932548720531080315030717327287390757868347932648139319460070766916588203187326335066209343202774104871884271576984125097813806666605369570303526112010265982580276593823226369155233879899346318851188742453270235403536974084808577715090465284451189651825350630326139752082833667857461302239461540630418505381803781920088760601109827111697881524404655211650899395901397098638807389087428442801121397064176780706733246789364535190641338534937014170551601836949540699797637168384703682742573356288933083327043845200342117722858786535481083755095529373655122774024155556263289547156650496096351220241979388770829195657062264702732305533006502931451339789607958815946239697977672682928624517513481914310197248⋅X₀⋅X₀+64 {O(EXP)}
t₅, X₁₄: 4⋅X₁₄ {O(n)}
t₅, X₁₅: 8⋅X₀+16 {O(n)}
t₅, X₁₆: 4⋅X₁₆ {O(n)}
t₅, X₁₇: 18⋅X₀ {O(n)}
t₅, X₁₈: 4⋅X₁₈ {O(n)}
t₅, X₁₉: 4⋅X₀ {O(n)}
t₆, X₀: 4⋅X₀ {O(n)}
t₆, X₁: 8⋅X₀+20 {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₁₁: 128⋅X₀+2⋅X₁₂+256 {O(n)}
t₆, X₁₂: 4⋅X₁₂ {O(n)}
t₆, X₁₃: 12837375049543780631083096739287088568989606588528140824986557222413333263696013641321132691194387122367498736933843502509107311266893858764910555118341968718387086724753332232630392842192336071382842273843026284695072544282447091391991035705253952771427041502007984724282301231457308722980565232390764998374662926153306489299351814935068898977854683307904086529906163120668077131466732674321549693961493437850117151284160272664816129575278232092987520631851856003463985087471793485246131014084073793398004453861282477001940312527274033169132914493175711235032083721927040759541015355587859834609778117186608019193561514800288486804611137804256842583763883817763758077728976583900963934638782530576228820910130981530619344987322825547129536820515220090450736725063229302258659940737332542941125191660347234963968896997409150874921756960744736097404931594442475895292215587122080518659053697551551254168924645012330065410048529723193814207772858956535030322256191162081216173380975843095993088638684963254841732149957668983875365946203908042647453766243887056985549474724979196672282688522905014167839532499285144609988455229826993560900248356797680369493324807347056421893115017261787787516902308024845328726114511629410800228849969329939550884871956977386711695460337082061853020002519427114976783624566578187359817365623932199972533227280351479321341420258262521711236035094459688493519678049416740886367482676404452813825307506095713534222943357723605042619988896110154395443935830261361862748946130073379057048843771633878229126204805650758350301907563188036493059488958675643342396322031480807394564913257485477274699254082080052950790634359838146327835075639997982932279995269947927094701340416566266666715842087071854834313267954535276120044287168664526068079749446386778952077908540258861010860508086941237261511867309051400325454706905916180435170728987429576859009972917560903973169938394588809746088773913020572167007473824422480755792583670627844625630938927693012668615762708299358952012076922254499037144287121491719944171790088994151846326850911556087760851348217777747314332963700736⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+13381253498432968522246318560066880487394307714998886415015429027757571855221264829629294998231920398412078964909641841334353133013803766611477927480816603325872967894335729620053337821144905242868974468411989770833956129025132987120935076425209419677584010803040923901887252956759607455319968757244316007210010558382981257982865930317209545997597198254885517741499200334598435131435522870921414286768996032157999466324922484417813509759783054506807902448079961349007841988348452838706939379609680826150038248761336811443355276220444482657125763807477999733428531330424595983448038123058550435099492973508602757907061535892645962548882326322461031663501115718703052725571867305177825109522947523613710869189391162422696424805111168723404592595619627662859607518384161751514197019944213643065731242434410488491811899239867243580379450239995015739618697904992602333481387438077274221517652123629062042619281211187633435982497806797492561183400173819694276903480602535456766765244739719832072072000513494657998174916615361408152722395167020619493784207295437636019117921521456126590180633821520119607953371661613037423423266990964285403563694179755502530774458057119766696840475196795354841562211252569916328578793497832294066933935527415869777441103068180650977091146219523424519491480437455407224112530102574247286737676245655594916077289042193169167642686806616312305062637184487780997553615292642065970595316568338865219408887243895259059513158536601741404471618470194959155842608969702278385729118341529884417070301320482362227057014861326038217218331910615936933308311196620396291700776289600416497163886316649374416166477973249608547585584400934261962864710468922211707954646800126677416823542832606342591845983321552135916622964069225482418394576514457436478834241200901226717532882404882782308893518267272655470925338636951754066085058555671353956408035471889109412996464661159994404318169304599394102701755142999183223917886689308971036269219055208515911651494289414890987909407688760124554603425865535423526007932777220580691483391133982414778204837557959799650762470970074808273363298942976⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅3303831120031948138862689840126735992478726842832461346887248390430086630553390269316023234614439426006399215364849570084205127357500185969656716181540831242761691714886969892413279329772894763739487771754517176816540284267434322529721088034441344731638267754071277987349401666921082468990546157754452229942179515103651476206295914456935726980944361983019405868388890465637971308284989940023584238342524233897373249332358926987699339968246243273105505812477168743100310394477876479328029122108094246412354442240330058708527508264954052482993850749931189793648929201449555800818253556974500190093454313657676514490142501008490157741471084151260701121658032428756664437065966686536051611499741245841246883106556759859668227232124443972491186267752875829683716819088511691748889647249935360756928959278377458718286983113508142807390462225140681758803624503409581617745749006480363103466469083155590958993352429105571661240098659380146964679064909270445321605268288749454192069897847007156113688760666875506631679450340965506118721208616602500707200509709758093654761547997581892924993620254638199826047456877598589565000619240535684684925067507594634959375561978280328178663286243132719189319300436016160107579663536527345131984790915559277850809376783987286656234132546898040333277587895276948160045419391542167420478632658062114368918503990577315947701253066610144895380579475696073787216323863931466274360265540157515358663643695378934173966324069659730035383458294101593663167533104671601387052435942135788492062548906903333302684785151763056005132991290138296911613184577616939949673159425594371226635117701768487042404288857545232642225594825912675315163069876041416833928730651119730770315209252690901890960044380300554913555848940762202327605825449697950698549319403694543714221400560698532088390353366623394682267595320669267468507085275800918474770349898818584192351841371286678144466541663521922600171058861429393267740541877547764686827561387012077778131644773578325248048175610120989694385414597828531132351366152766503251465725669894803979407973119848988836341464312258756740957155098624⋅X₀⋅X₀ {O(EXP)}
t₆, X₁₄: 4⋅X₁₄ {O(n)}
t₆, X₁₅: 8⋅X₀+16 {O(n)}
t₆, X₁₆: 4⋅X₁₆ {O(n)}
t₆, X₁₇: 12837375049543780631083096739287088568989606588528140824986557222413333263696013641321132691194387122367498736933843502509107311266893858764910555118341968718387086724753332232630392842192336071382842273843026284695072544282447091391991035705253952771427041502007984724282301231457308722980565232390764998374662926153306489299351814935068898977854683307904086529906163120668077131466732674321549693961493437850117151284160272664816129575278232092987520631851856003463985087471793485246131014084073793398004453861282477001940312527274033169132914493175711235032083721927040759541015355587859834609778117186608019193561514800288486804611137804256842583763883817763758077728976583900963934638782530576228820910130981530619344987322825547129536820515220090450736725063229302258659940737332542941125191660347234963968896997409150874921756960744736097404931594442475895292215587122080518659053697551551254168924645012330065410048529723193814207772858956535030322256191162081216173380975843095993088638684963254841732149957668983875365946203908042647453766243887056985549474724979196672282688522905014167839532499285144609988455229826993560900248356797680369493324807347056421893115017261787787516902308024845328726114511629410800228849969329939550884871956977386711695460337082061853020002519427114976783624566578187359817365623932199972533227280351479321341420258262521711236035094459688493519678049416740886367482676404452813825307506095713534222943357723605042619988896110154395443935830261361862748946130073379057048843771633878229126204805650758350301907563188036493059488958675643342396322031480807394564913257485477274699254082080052950790634359838146327835075639997982932279995269947927094701340416566266666715842087071854834313267954535276120044287168664526068079749446386778952077908540258861010860508086941237261511867309051400325454706905916180435170728987429576859009972917560903973169938394588809746088773913020572167007473824422480755792583670627844625630938927693012668615762708299358952012076922254499037144287121491719944171790088994151846326850911556087760851348217777747314332963700736⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+13381253498432968522246318560066880487394307714998886415015429027757571855221264829629294998231920398412078964909641841334353133013803766611477927480816603325872967894335729620053337821144905242868974468411989770833956129025132987120935076425209419677584010803040923901887252956759607455319968757244316007210010558382981257982865930317209545997597198254885517741499200334598435131435522870921414286768996032157999466324922484417813509759783054506807902448079961349007841988348452838706939379609680826150038248761336811443355276220444482657125763807477999733428531330424595983448038123058550435099492973508602757907061535892645962548882326322461031663501115718703052725571867305177825109522947523613710869189391162422696424805111168723404592595619627662859607518384161751514197019944213643065731242434410488491811899239867243580379450239995015739618697904992602333481387438077274221517652123629062042619281211187633435982497806797492561183400173819694276903480602535456766765244739719832072072000513494657998174916615361408152722395167020619493784207295437636019117921521456126590180633821520119607953371661613037423423266990964285403563694179755502530774458057119766696840475196795354841562211252569916328578793497832294066933935527415869777441103068180650977091146219523424519491480437455407224112530102574247286737676245655594916077289042193169167642686806616312305062637184487780997553615292642065970595316568338865219408887243895259059513158536601741404471618470194959155842608969702278385729118341529884417070301320482362227057014861326038217218331910615936933308311196620396291700776289600416497163886316649374416166477973249608547585584400934261962864710468922211707954646800126677416823542832606342591845983321552135916622964069225482418394576514457436478834241200901226717532882404882782308893518267272655470925338636951754066085058555671353956408035471889109412996464661159994404318169304599394102701755142999183223917886689308971036269219055208515911651494289414890987909407688760124554603425865535423526007932777220580691483391133982414778204837557959799650762470970074808273363298942976⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅3303831120031948138862689840126735992478726842832461346887248390430086630553390269316023234614439426006399215364849570084205127357500185969656716181540831242761691714886969892413279329772894763739487771754517176816540284267434322529721088034441344731638267754071277987349401666921082468990546157754452229942179515103651476206295914456935726980944361983019405868388890465637971308284989940023584238342524233897373249332358926987699339968246243273105505812477168743100310394477876479328029122108094246412354442240330058708527508264954052482993850749931189793648929201449555800818253556974500190093454313657676514490142501008490157741471084151260701121658032428756664437065966686536051611499741245841246883106556759859668227232124443972491186267752875829683716819088511691748889647249935360756928959278377458718286983113508142807390462225140681758803624503409581617745749006480363103466469083155590958993352429105571661240098659380146964679064909270445321605268288749454192069897847007156113688760666875506631679450340965506118721208616602500707200509709758093654761547997581892924993620254638199826047456877598589565000619240535684684925067507594634959375561978280328178663286243132719189319300436016160107579663536527345131984790915559277850809376783987286656234132546898040333277587895276948160045419391542167420478632658062114368918503990577315947701253066610144895380579475696073787216323863931466274360265540157515358663643695378934173966324069659730035383458294101593663167533104671601387052435942135788492062548906903333302684785151763056005132991290138296911613184577616939949673159425594371226635117701768487042404288857545232642225594825912675315163069876041416833928730651119730770315209252690901890960044380300554913555848940762202327605825449697950698549319403694543714221400560698532088390353366623394682267595320669267468507085275800918474770349898818584192351841371286678144466541663521922600171058861429393267740541877547764686827561387012077778131644773578325248048175610120989694385414597828531132351366152766503251465725669894803979407973119848988836341464312258756740957155098624⋅X₀⋅X₀ {O(EXP)}
t₆, X₁₈: 4⋅X₁₈ {O(n)}
t₆, X₁₉: 4⋅X₀ {O(n)}
t₇, X₀: 4⋅X₀ {O(n)}
t₇, X₁: 8⋅X₀+20 {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₁₁: 32⋅X₀+64 {O(n)}
t₇, X₁₂: 4⋅X₁₂ {O(n)}
t₇, X₁₃: 25674750099087561262166193478574177137979213177056281649973114444826666527392027282642265382388774244734997473867687005018214622533787717529821110236683937436774173449506664465260785684384672142765684547686052569390145088564894182783982071410507905542854083004015969448564602462914617445961130464781529996749325852306612978598703629870137797955709366615808173059812326241336154262933465348643099387922986875700234302568320545329632259150556464185975041263703712006927970174943586970492262028168147586796008907722564954003880625054548066338265828986351422470064167443854081519082030711175719669219556234373216038387123029600576973609222275608513685167527767635527516155457953167801927869277565061152457641820261963061238689974645651094259073641030440180901473450126458604517319881474665085882250383320694469927937793994818301749843513921489472194809863188884951790584431174244161037318107395103102508337849290024660130820097059446387628415545717913070060644512382324162432346761951686191986177277369926509683464299915337967750731892407816085294907532487774113971098949449958393344565377045810028335679064998570289219976910459653987121800496713595360738986649614694112843786230034523575575033804616049690657452229023258821600457699938659879101769743913954773423390920674164123706040005038854229953567249133156374719634731247864399945066454560702958642682840516525043422472070188919376987039356098833481772734965352808905627650615012191427068445886715447210085239977792220308790887871660522723725497892260146758114097687543267756458252409611301516700603815126376072986118977917351286684792644062961614789129826514970954549398508164160105901581268719676292655670151279995965864559990539895854189402680833132533333431684174143709668626535909070552240088574337329052136159498892773557904155817080517722021721016173882474523023734618102800650909413811832360870341457974859153718019945835121807946339876789177619492177547826041144334014947648844961511585167341255689251261877855386025337231525416598717904024153844508998074288574242983439888343580177988303692653701823112175521702696435555494628665927401472⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)+26762506996865937044492637120133760974788615429997772830030858055515143710442529659258589996463840796824157929819283682668706266027607533222955854961633206651745935788671459240106675642289810485737948936823979541667912258050265974241870152850418839355168021606081847803774505913519214910639937514488632014420021116765962515965731860634419091995194396509771035482998400669196870262871045741842828573537992064315998932649844968835627019519566109013615804896159922698015683976696905677413878759219361652300076497522673622886710552440888965314251527614955999466857062660849191966896076246117100870198985947017205515814123071785291925097764652644922063327002231437406105451143734610355650219045895047227421738378782324845392849610222337446809185191239255325719215036768323503028394039888427286131462484868820976983623798479734487160758900479990031479237395809985204666962774876154548443035304247258124085238562422375266871964995613594985122366800347639388553806961205070913533530489479439664144144001026989315996349833230722816305444790334041238987568414590875272038235843042912253180361267643040239215906743323226074846846533981928570807127388359511005061548916114239533393680950393590709683124422505139832657157586995664588133867871054831739554882206136361301954182292439046849038982960874910814448225060205148494573475352491311189832154578084386338335285373613232624610125274368975561995107230585284131941190633136677730438817774487790518119026317073203482808943236940389918311685217939404556771458236683059768834140602640964724454114029722652076434436663821231873866616622393240792583401552579200832994327772633298748832332955946499217095171168801868523925729420937844423415909293600253354833647085665212685183691966643104271833245928138450964836789153028914872957668482401802453435065764809765564617787036534545310941850677273903508132170117111342707912816070943778218825992929322319988808636338609198788205403510285998366447835773378617942072538438110417031823302988578829781975818815377520249109206851731070847052015865554441161382966782267964829556409675115919599301524941940149616546726597885952⋅2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅X₀+2^(1536⋅X₀⋅X₀)⋅2^(256⋅X₀⋅X₀)⋅2^(6286⋅X₀)⋅2^(972⋅X₀)⋅6607662240063896277725379680253471984957453685664922693774496780860173261106780538632046469228878852012798430729699140168410254715000371939313432363081662485523383429773939784826558659545789527478975543509034353633080568534868645059442176068882689463276535508142555974698803333842164937981092315508904459884359030207302952412591828913871453961888723966038811736777780931275942616569979880047168476685048467794746498664717853975398679936492486546211011624954337486200620788955752958656058244216188492824708884480660117417055016529908104965987701499862379587297858402899111601636507113949000380186908627315353028980285002016980315482942168302521402243316064857513328874131933373072103222999482491682493766213113519719336454464248887944982372535505751659367433638177023383497779294499870721513857918556754917436573966227016285614780924450281363517607249006819163235491498012960726206932938166311181917986704858211143322480197318760293929358129818540890643210536577498908384139795694014312227377521333751013263358900681931012237442417233205001414401019419516187309523095995163785849987240509276399652094913755197179130001238481071369369850135015189269918751123956560656357326572486265438378638600872032320215159327073054690263969581831118555701618753567974573312468265093796080666555175790553896320090838783084334840957265316124228737837007981154631895402506133220289790761158951392147574432647727862932548720531080315030717327287390757868347932648139319460070766916588203187326335066209343202774104871884271576984125097813806666605369570303526112010265982580276593823226369155233879899346318851188742453270235403536974084808577715090465284451189651825350630326139752082833667857461302239461540630418505381803781920088760601109827111697881524404655211650899395901397098638807389087428442801121397064176780706733246789364535190641338534937014170551601836949540699797637168384703682742573356288933083327043845200342117722858786535481083755095529373655122774024155556263289547156650496096351220241979388770829195657062264702732305533006502931451339789607958815946239697977672682928624517513481914310197248⋅X₀⋅X₀+64 {O(EXP)}
t₇, X₁₄: 4⋅X₁₄ {O(n)}
t₇, X₁₅: 8⋅X₀+16 {O(n)}
t₇, X₁₆: 4⋅X₁₆ {O(n)}
t₇, X₁₇: 54⋅X₀ {O(n)}
t₇, X₁₈: 4⋅X₁₈ {O(n)}
t₇, X₁₉: 4⋅X₀ {O(n)}
t₁₂, X₀: 8⋅X₀ {O(n)}
t₁₂, X₁: 16⋅X₀+40 {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₁₀: 8⋅X₁₀ {O(n)}
t₁₂, X₁₁: 16⋅X₀+32 {O(n)}
t₁₂, X₁₂: 8⋅X₁₂ {O(n)}
t₁₂, X₁₃: 0 {O(1)}
t₁₂, X₁₄: 8⋅X₁₄ {O(n)}
t₁₂, X₁₅: 16⋅X₀+34 {O(n)}
t₁₂, X₁₆: 8⋅X₁₆ {O(n)}
t₁₂, X₁₇: 0 {O(1)}
t₁₂, X₁₈: 8⋅X₁₈ {O(n)}
t₁₂, X₁₉: 8⋅X₀ {O(n)}
t₁₃, X₀: 8⋅X₀ {O(n)}
t₁₃, X₁: 16⋅X₀+40 {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₁₀: 8⋅X₁₀ {O(n)}
t₁₃, X₁₁: 16⋅X₀+32 {O(n)}
t₁₃, X₁₂: 8⋅X₁₂ {O(n)}
t₁₃, X₁₃: 0 {O(1)}
t₁₃, X₁₄: 8⋅X₁₄ {O(n)}
t₁₃, X₁₅: 16⋅X₀+34 {O(n)}
t₁₃, X₁₆: 8⋅X₁₆ {O(n)}
t₁₃, X₁₇: 0 {O(1)}
t₁₃, X₁₈: 8⋅X₁₈ {O(n)}
t₁₃, X₁₉: 8⋅X₀ {O(n)}
t₁₄, X₀: 4⋅X₀ {O(n)}
t₁₄, X₁: 8⋅X₀+20 {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₁₁: 64⋅X₀+128 {O(n)}
t₁₄, X₁₂: 4⋅X₁₂ {O(n)}
t₁₄, X₁₃: 1 {O(1)}
t₁₄, X₁₄: 4⋅X₁₄ {O(n)}
t₁₄, X₁₅: 8⋅X₀+16 {O(n)}
t₁₄, X₁₆: 4⋅X₁₆ {O(n)}
t₁₄, X₁₇: 8⋅X₀ {O(n)}
t₁₄, X₁₈: 4⋅X₁₈ {O(n)}
t₁₄, X₁₉: 4⋅X₀ {O(n)}
t₁₅, X₀: 4⋅X₀ {O(n)}
t₁₅, X₁: 8⋅X₀+20 {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₁₁: 64⋅X₀+128 {O(n)}
t₁₅, X₁₂: 4⋅X₁₂ {O(n)}
t₁₅, X₁₃: 1 {O(1)}
t₁₅, X₁₄: 4⋅X₁₄ {O(n)}
t₁₅, X₁₅: 8⋅X₀+16 {O(n)}
t₁₅, X₁₆: 4⋅X₁₆ {O(n)}
t₁₅, X₁₇: 1 {O(1)}
t₁₅, X₁₈: 4⋅X₁₈ {O(n)}
t₁₅, X₁₉: 4⋅X₀ {O(n)}
t₁₆, X₀: 4⋅X₀ {O(n)}
t₁₆, X₁: 8⋅X₀+20 {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₁₁: 64⋅X₀+128 {O(n)}
t₁₆, X₁₂: 4⋅X₁₂ {O(n)}
t₁₆, X₁₃: 2 {O(1)}
t₁₆, X₁₄: 4⋅X₁₄ {O(n)}
t₁₆, X₁₅: 8⋅X₀+16 {O(n)}
t₁₆, X₁₆: 4⋅X₁₆ {O(n)}
t₁₆, X₁₇: 8⋅X₀ {O(n)}
t₁₆, X₁₈: 4⋅X₁₈ {O(n)}
t₁₆, X₁₉: 4⋅X₀ {O(n)}
t₁₇, X₀: 4⋅X₀ {O(n)}
t₁₇, X₁: 8⋅X₀+20 {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₁₁: 64⋅X₀+128 {O(n)}
t₁₇, X₁₂: 4⋅X₁₂ {O(n)}
t₁₇, X₁₃: 2 {O(1)}
t₁₇, X₁₄: 4⋅X₁₄ {O(n)}
t₁₇, X₁₅: 8⋅X₀+16 {O(n)}
t₁₇, X₁₆: 4⋅X₁₆ {O(n)}
t₁₇, X₁₇: 2 {O(1)}
t₁₇, X₁₈: 4⋅X₁₈ {O(n)}
t₁₇, X₁₉: 4⋅X₀ {O(n)}
t₁₈, X₀: X₀ {O(n)}
t₁₈, X₁: 2⋅X₀+X₂+5 {O(n)}
t₁₈, X₂: X₂ {O(n)}
t₁₈, X₄: X₄ {O(n)}
t₁₈, X₆: X₆ {O(n)}
t₁₈, X₈: X₈ {O(n)}
t₁₈, X₁₀: X₁₀ {O(n)}
t₁₈, X₁₁: X₁₂ {O(n)}
t₁₈, X₁₂: X₁₂ {O(n)}
t₁₈, X₁₃: X₁₄ {O(n)}
t₁₈, X₁₄: X₁₄ {O(n)}
t₁₈, 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₁: 2⋅X₀+5 {O(n)}
t₁₉, X₂: X₂ {O(n)}
t₁₉, X₄: X₄ {O(n)}
t₁₉, X₆: X₆ {O(n)}
t₁₉, X₈: X₈ {O(n)}
t₁₉, X₁₀: X₁₀ {O(n)}
t₁₉, X₁₁: X₁₂ {O(n)}
t₁₉, X₁₂: X₁₂ {O(n)}
t₁₉, X₁₃: X₁₄ {O(n)}
t₁₉, X₁₄: X₁₄ {O(n)}
t₁₉, 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₁: 2⋅X₀+X₂+5 {O(n)}
t₂₀, X₂: X₂ {O(n)}
t₂₀, X₄: X₄ {O(n)}
t₂₀, X₆: X₆ {O(n)}
t₂₀, X₈: X₈ {O(n)}
t₂₀, X₁₀: X₁₀ {O(n)}
t₂₀, X₁₁: X₁₂ {O(n)}
t₂₀, X₁₂: X₁₂ {O(n)}
t₂₀, X₁₃: X₁₄ {O(n)}
t₂₀, X₁₄: X₁₄ {O(n)}
t₂₀, 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₁: 2⋅X₀+X₂+5 {O(n)}
t₂₁, X₂: X₂ {O(n)}
t₂₁, X₄: X₄ {O(n)}
t₂₁, X₆: X₆ {O(n)}
t₂₁, X₈: X₈ {O(n)}
t₂₁, X₁₀: X₁₀ {O(n)}
t₂₁, X₁₁: X₁₂ {O(n)}
t₂₁, X₁₂: X₁₂ {O(n)}
t₂₁, X₁₃: X₁₄ {O(n)}
t₂₁, X₁₄: X₁₄ {O(n)}
t₂₁, 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₁: 2⋅X₀+X₂+5 {O(n)}
t₂₂, X₂: X₂ {O(n)}
t₂₂, X₄: X₄ {O(n)}
t₂₂, X₆: X₆ {O(n)}
t₂₂, X₈: X₈ {O(n)}
t₂₂, X₁₀: X₁₀ {O(n)}
t₂₂, X₁₁: X₁₂ {O(n)}
t₂₂, X₁₂: X₁₂ {O(n)}
t₂₂, X₁₃: X₁₄ {O(n)}
t₂₂, X₁₄: X₁₄ {O(n)}
t₂₂, 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₁: 2⋅X₀+X₂+5 {O(n)}
t₂₃, X₂: X₂ {O(n)}
t₂₃, X₄: X₄ {O(n)}
t₂₃, X₆: X₆ {O(n)}
t₂₃, X₈: X₈ {O(n)}
t₂₃, X₁₀: X₁₀ {O(n)}
t₂₃, X₁₁: X₁₂ {O(n)}
t₂₃, X₁₂: X₁₂ {O(n)}
t₂₃, X₁₃: X₁₄ {O(n)}
t₂₃, X₁₄: X₁₄ {O(n)}
t₂₃, 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₁: 2⋅X₀+5 {O(n)}
t₂₄, X₂: X₂ {O(n)}
t₂₄, X₄: X₄ {O(n)}
t₂₄, X₆: X₆ {O(n)}
t₂₄, X₈: X₈ {O(n)}
t₂₄, X₁₀: X₁₀ {O(n)}
t₂₄, X₁₁: X₁₂ {O(n)}
t₂₄, X₁₂: X₁₂ {O(n)}
t₂₄, X₁₃: X₁₄ {O(n)}
t₂₄, X₁₄: X₁₄ {O(n)}
t₂₄, X₁₅: X₀+2 {O(n)}
t₂₄, X₁₆: X₁₆ {O(n)}
t₂₄, X₁₇: X₀+2 {O(n)}
t₂₄, X₁₈: X₁₈ {O(n)}
t₂₄, X₁₉: X₀ {O(n)}
t₂₇, X₀: X₀ {O(n)}
t₂₇, X₁: 2⋅X₀+5 {O(n)}
t₂₇, X₂: X₂ {O(n)}
t₂₇, X₄: X₄ {O(n)}
t₂₇, X₆: X₆ {O(n)}
t₂₇, X₈: X₈ {O(n)}
t₂₇, X₁₀: X₁₀ {O(n)}
t₂₇, X₁₁: X₁₂ {O(n)}
t₂₇, X₁₂: X₁₂ {O(n)}
t₂₇, X₁₃: 1 {O(1)}
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₁: 2⋅X₀+5 {O(n)}
t₂₈, X₂: X₂ {O(n)}
t₂₈, X₄: X₄ {O(n)}
t₂₈, X₆: X₆ {O(n)}
t₂₈, X₈: X₈ {O(n)}
t₂₈, X₁₀: X₁₀ {O(n)}
t₂₈, X₁₁: X₁₂ {O(n)}
t₂₈, X₁₂: X₁₂ {O(n)}
t₂₈, X₁₃: 1 {O(1)}
t₂₈, X₁₄: X₁₄ {O(n)}
t₂₈, X₁₅: 0 {O(1)}
t₂₈, X₁₆: X₁₆ {O(n)}
t₂₈, X₁₇: 1 {O(1)}
t₂₈, X₁₈: X₁₈ {O(n)}
t₂₈, X₁₉: X₀ {O(n)}
t₂₉, X₀: X₀ {O(n)}
t₂₉, X₁: 2⋅X₀+5 {O(n)}
t₂₉, X₂: X₂ {O(n)}
t₂₉, X₄: X₄ {O(n)}
t₂₉, X₆: X₆ {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 {O(1)}
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₁: 2⋅X₀+5 {O(n)}
t₃₀, X₂: X₂ {O(n)}
t₃₀, X₄: X₄ {O(n)}
t₃₀, X₆: X₆ {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 {O(1)}
t₃₀, X₁₄: X₁₄ {O(n)}
t₃₀, X₁₅: 0 {O(1)}
t₃₀, X₁₆: X₁₆ {O(n)}
t₃₀, X₁₇: 2 {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)}