Analysing control-flow refined program

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₄₄: eval_Perl_scan_vstring_.critedge2_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb5_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₁₁, X₁₀, X₁₁, X₁₂, X₁₃) :|: X₀ ≤ 1+X₁₁ ∧ X₁₃ ≤ X₀ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₄₅: eval_Perl_scan_vstring_bb5_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb6_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: X₉ ≤ X₀ ∧ X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₄₆: eval_Perl_scan_vstring_bb5_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb5_in_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉-1, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1+X₀ ≤ X₉ ∧ X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₀: eval_Perl_scan_vstring_bb6_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb7_in_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 2+X₁₁ ≤ X₈ ∧ X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₂: eval_Perl_scan_vstring_bb7_in_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_18_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₃: eval_Perl_scan_vstring_18_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_19_v2(X₀, X₁, nondef.4, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₄: eval_Perl_scan_vstring_19_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb8_in_v3(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1 ≤ X₂ ∧ X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₅: eval_Perl_scan_vstring_19_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb8_in_v4(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1+X₂ ≤ 0 ∧ X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₇: eval_Perl_scan_vstring_bb8_in_v4(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb9_in_v3(X₀, X₁, X₂, 1+X₁₁, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, 1+X₁₁, X₁₃) :|: X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 1+X₂ ≤ 0 ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₈: eval_Perl_scan_vstring_bb9_in_v3(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb10_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1+X₁₂ ≤ 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₈ ∧ 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₁₂ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₁₂ ∧ X₁₂ ≤ X₃ ∧ X₃ ≤ X₁₂ ∧ X₁₂ ≤ X₈ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₆₉: eval_Perl_scan_vstring_bb8_in_v3(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb9_in_v4(X₀, X₁, X₂, 1+X₁₁, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, 1+X₁₁, X₁₃) :|: X₀ ≤ 1+X₉ ∧ X₀ ≤ 1+X₁₁ ∧ 1+X₀ ≤ X₈ ∧ 1 ≤ X₂ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+66 {O(n)} for transition t₂₇₀: eval_Perl_scan_vstring_bb9_in_v4(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb10_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1+X₁₂ ≤ 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₈ ∧ 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₁₂ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ X₉ ≤ X₀ ∧ X₁₀ ≤ X₀ ∧ X₁₁ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₁₂ ∧ X₁₂ ≤ X₃ ∧ X₃ ≤ X₁₂ ∧ X₁₂ ≤ X₈ ∧ X₁₀ ≤ X₉ ∧ X₁₁ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+63 {O(n)} for transition t₂₇₁: eval_Perl_scan_vstring_bb9_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb10_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) :|: 1+X₁₂ ≤ X₈ ∧ X₀ ≤ 1+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₁₁ ≤ X₁₂ ∧ 1+X₁₃ ≤ X₁₂ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ 2+X₉ ≤ X₁₂ ∧ 2+X₁₀ ≤ X₁₂ ∧ 2+X₁₁ ≤ X₁₂ ∧ 2+X₁₃ ≤ X₁₂ ∧ X₉ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₁₂ ∧ X₃ ≤ X₁₂ ∧ X₁₂ ≤ X₈ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+63 {O(n)} for transition t₂₇₂: eval_Perl_scan_vstring_bb9_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_.critedge2_in_v1(X₃, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₂, X₁₂, X₁₃) :|: X₈ ≤ X₁₂ ∧ X₀ ≤ 1+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₁₁ ≤ X₁₂ ∧ 1+X₁₃ ≤ X₁₂ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₁ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ 2+X₉ ≤ X₁₂ ∧ 2+X₁₀ ≤ X₁₂ ∧ 2+X₁₁ ≤ X₁₂ ∧ 2+X₁₃ ≤ X₁₂ ∧ X₉ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₁₂ ∧ X₃ ≤ X₁₂ ∧ X₁₂ ≤ X₈ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+63 {O(n)} for transition t₂₇₃: eval_Perl_scan_vstring_.critedge2_in_v1(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb5_in_v3(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₁₁, X₁₀, X₁₁, X₁₂, 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₃ ≤ X₁₁ ∧ 1+X₃ ≤ X₁₂ ∧ 1+X₁₀ ≤ X₁₁ ∧ 2+X₉ ≤ X₈ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ 2+X₉ ≤ X₁₁ ∧ 2+X₉ ≤ X₁₂ ∧ 2+X₁₀ ≤ X₁₁ ∧ 2+X₁₀ ≤ X₁₂ ∧ 2+X₁₃ ≤ X₁₁ ∧ 2+X₁₃ ≤ X₁₂ ∧ X₃ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₁₁ ∧ X₁₁ ≤ X₈ ∧ X₁₂ ≤ X₈ ∧ X₈ ≤ X₁₁ ∧ X₈ ≤ X₁₂ ∧ X₁₃ ≤ X₉ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₂ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁ ∧ X₁₁ ≤ X₁₂

knowledge_propagation leads to new time bound 90⋅X₁₃+90⋅X₈+63 {O(n)} for transition t₂₇₄: eval_Perl_scan_vstring_bb5_in_v3(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉, X₁₀, X₁₁, X₁₂, X₁₃) → eval_Perl_scan_vstring_bb5_in_v2(X₀, X₁, X₂, X₃, X₄, X₅, X₆, X₇, X₈, X₉-1, X₁₀, X₁₁, X₁₂, X₁₃) :|: 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₃ ≤ X₁₂ ∧ 2+X₁₀ ≤ X₈ ∧ 2+X₁₃ ≤ X₈ ∧ 2+X₁₀ ≤ X₉ ∧ 2+X₁₃ ≤ X₉ ∧ 2+X₁₀ ≤ X₁₁ ∧ 2+X₁₀ ≤ X₁₂ ∧ 2+X₁₃ ≤ X₁₁ ∧ 2+X₁₃ ≤ X₁₂ ∧ X₃ ≤ X₀ ∧ X₁₃ ≤ X₀ ∧ X₀ ≤ X₃ ∧ X₀ ≤ X₉ ∧ X₉ ≤ X₈ ∧ X₁₁ ≤ X₈ ∧ X₁₂ ≤ X₈ ∧ X₈ ≤ X₉ ∧ X₈ ≤ X₁₁ ∧ X₈ ≤ X₁₂ ∧ X₁₁ ≤ X₉ ∧ X₁₂ ≤ X₉ ∧ X₁₃ ≤ X₉ ∧ X₉ ≤ X₁₁ ∧ X₉ ≤ X₁₂ ∧ X₁₃ ≤ X₁₀ ∧ X₁₀ ≤ X₁₁ ∧ X₁₂ ≤ X₁₁ ∧ X₁₃ ≤ X₁₁ ∧ X₁₁ ≤ X₁₂

All Bounds

Timebounds

Overall timebound:277020⋅X₈⋅X₈+340200⋅X₁₃⋅X₁₃+617220⋅X₁₃⋅X₈+430578⋅X₈+474912⋅X₁₃+165734 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₃: 1 {O(1)}
t₄: 1 {O(1)}
t₅: 1 {O(1)}
t₆: 1 {O(1)}
t₇: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₈: 1 {O(1)}
t₉: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₁: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₂: 3⋅X₁₃+3⋅X₈+5 {O(n)}
t₁₃: 3⋅X₁₃+3⋅X₈+5 {O(n)}
t₁₄: 1 {O(1)}
t₁₅: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₆: 1 {O(1)}
t₁₈: 1 {O(1)}
t₁₉: 1 {O(1)}
t₂₀: 1 {O(1)}
t₂₁: 1 {O(1)}
t₂₂: 1 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 180⋅X₁₃+180⋅X₈+129 {O(n)}
t₂₉: 174960⋅X₈⋅X₈+218700⋅X₁₃⋅X₁₃+393660⋅X₁₃⋅X₈+273708⋅X₈+304434⋅X₁₃+105908 {O(n^2)}
t₃₀: 102060⋅X₈⋅X₈+121500⋅X₁₃⋅X₁₃+223560⋅X₁₃⋅X₈+155412⋅X₈+169020⋅X₁₃+58782 {O(n^2)}
t₃₁: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₂: 1 {O(1)}
t₃₃: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₅: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₆: 90⋅X₁₃+90⋅X₈+60 {O(n)}
t₃₇: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₈: 1 {O(1)}
t₃₉: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₀: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₁: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₂: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₄: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₅: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₆: 90⋅X₁₃+90⋅X₈+60 {O(n)}
t₄₇: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₈: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₉: 1 {O(1)}

Costbounds

Overall costbound: 277020⋅X₈⋅X₈+340200⋅X₁₃⋅X₁₃+617220⋅X₁₃⋅X₈+430578⋅X₈+474912⋅X₁₃+165734 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₃: 1 {O(1)}
t₄: 1 {O(1)}
t₅: 1 {O(1)}
t₆: 1 {O(1)}
t₇: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₈: 1 {O(1)}
t₉: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₁: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₂: 3⋅X₁₃+3⋅X₈+5 {O(n)}
t₁₃: 3⋅X₁₃+3⋅X₈+5 {O(n)}
t₁₄: 1 {O(1)}
t₁₅: 3⋅X₁₃+3⋅X₈+2 {O(n)}
t₁₆: 1 {O(1)}
t₁₈: 1 {O(1)}
t₁₉: 1 {O(1)}
t₂₀: 1 {O(1)}
t₂₁: 1 {O(1)}
t₂₂: 1 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 180⋅X₁₃+180⋅X₈+129 {O(n)}
t₂₉: 174960⋅X₈⋅X₈+218700⋅X₁₃⋅X₁₃+393660⋅X₁₃⋅X₈+273708⋅X₈+304434⋅X₁₃+105908 {O(n^2)}
t₃₀: 102060⋅X₈⋅X₈+121500⋅X₁₃⋅X₁₃+223560⋅X₁₃⋅X₈+155412⋅X₈+169020⋅X₁₃+58782 {O(n^2)}
t₃₁: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₂: 1 {O(1)}
t₃₃: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₅: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₆: 90⋅X₁₃+90⋅X₈+60 {O(n)}
t₃₇: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₃₈: 1 {O(1)}
t₃₉: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₀: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₁: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₂: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₄: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₅: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₆: 90⋅X₁₃+90⋅X₈+60 {O(n)}
t₄₇: 90⋅X₁₃+90⋅X₈+63 {O(n)}
t₄₈: 90⋅X₁₃+90⋅X₈+63 {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₆: X₆ {O(n)}
t₃, X₇: X₇ {O(n)}
t₃, X₈: X₈ {O(n)}
t₃, X₉: X₉ {O(n)}
t₃, X₁₀: X₁₀ {O(n)}
t₃, X₁₁: X₁₁ {O(n)}
t₃, X₁₂: X₁₂ {O(n)}
t₃, X₁₃: X₁₃ {O(n)}
t₄, X₀: X₀ {O(n)}
t₄, X₂: X₂ {O(n)}
t₄, X₃: X₃ {O(n)}
t₄, X₄: X₄ {O(n)}
t₄, X₅: X₅ {O(n)}
t₄, X₆: X₆ {O(n)}
t₄, X₇: X₇ {O(n)}
t₄, X₈: X₈ {O(n)}
t₄, X₉: X₉ {O(n)}
t₄, X₁₀: X₁₃+1 {O(n)}
t₄, X₁₁: X₁₁ {O(n)}
t₄, X₁₂: X₁₂ {O(n)}
t₄, X₁₃: X₁₃ {O(n)}
t₅, X₀: X₀ {O(n)}
t₅, X₂: X₂ {O(n)}
t₅, X₃: X₃ {O(n)}
t₅, X₄: X₄ {O(n)}
t₅, X₅: X₅ {O(n)}
t₅, X₆: X₆ {O(n)}
t₅, X₇: X₇ {O(n)}
t₅, X₈: X₈ {O(n)}
t₅, X₉: X₉ {O(n)}
t₅, X₁₀: X₁₃+1 {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₀: 3⋅X₀ {O(n)}
t₇, X₂: 3⋅X₂ {O(n)}
t₇, X₃: 3⋅X₃ {O(n)}
t₇, X₄: 3⋅X₄ {O(n)}
t₇, X₆: 3⋅X₆ {O(n)}
t₇, X₇: 3⋅X₇ {O(n)}
t₇, X₈: 3⋅X₈ {O(n)}
t₇, X₉: 3⋅X₉ {O(n)}
t₇, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₇, X₁₁: 3⋅X₁₁ {O(n)}
t₇, X₁₂: 3⋅X₁₂ {O(n)}
t₇, X₁₃: 3⋅X₁₃ {O(n)}
t₈, X₀: 6⋅X₀ {O(n)}
t₈, X₂: 6⋅X₂ {O(n)}
t₈, X₃: 6⋅X₃ {O(n)}
t₈, X₄: 6⋅X₄ {O(n)}
t₈, X₆: 6⋅X₆ {O(n)}
t₈, X₇: 6⋅X₇ {O(n)}
t₈, X₈: 6⋅X₈ {O(n)}
t₈, X₉: 6⋅X₉ {O(n)}
t₈, X₁₀: 3⋅X₈+9⋅X₁₃+6 {O(n)}
t₈, X₁₁: 6⋅X₁₁ {O(n)}
t₈, X₁₂: 6⋅X₁₂ {O(n)}
t₈, X₁₃: 6⋅X₁₃ {O(n)}
t₉, X₀: 3⋅X₀ {O(n)}
t₉, X₂: 3⋅X₂ {O(n)}
t₉, X₃: 3⋅X₃ {O(n)}
t₉, X₄: 3⋅X₄ {O(n)}
t₉, X₆: 3⋅X₆ {O(n)}
t₉, X₇: 3⋅X₇ {O(n)}
t₉, X₈: 3⋅X₈ {O(n)}
t₉, X₉: 3⋅X₉ {O(n)}
t₉, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₉, X₁₁: 3⋅X₁₁ {O(n)}
t₉, X₁₂: 3⋅X₁₂ {O(n)}
t₉, X₁₃: 3⋅X₁₃ {O(n)}
t₁₁, X₀: 3⋅X₀ {O(n)}
t₁₁, X₂: 3⋅X₂ {O(n)}
t₁₁, X₃: 3⋅X₃ {O(n)}
t₁₁, X₄: 3⋅X₄ {O(n)}
t₁₁, X₆: 3⋅X₆ {O(n)}
t₁₁, X₇: 3⋅X₇ {O(n)}
t₁₁, X₈: 3⋅X₈ {O(n)}
t₁₁, X₉: 3⋅X₉ {O(n)}
t₁₁, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₁₁, X₁₁: 3⋅X₁₁ {O(n)}
t₁₁, X₁₂: 3⋅X₁₂ {O(n)}
t₁₁, X₁₃: 3⋅X₁₃ {O(n)}
t₁₂, X₀: 3⋅X₀ {O(n)}
t₁₂, X₂: 3⋅X₂ {O(n)}
t₁₂, X₃: 3⋅X₃ {O(n)}
t₁₂, X₄: 3⋅X₄ {O(n)}
t₁₂, X₆: 3⋅X₆ {O(n)}
t₁₂, X₇: 3⋅X₇ {O(n)}
t₁₂, X₈: 3⋅X₈ {O(n)}
t₁₂, X₉: 3⋅X₉ {O(n)}
t₁₂, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₁₂, X₁₁: 3⋅X₁₁ {O(n)}
t₁₂, X₁₂: 3⋅X₁₂ {O(n)}
t₁₂, X₁₃: 3⋅X₁₃ {O(n)}
t₁₃, X₀: 3⋅X₀ {O(n)}
t₁₃, X₂: 3⋅X₂ {O(n)}
t₁₃, X₃: 3⋅X₃ {O(n)}
t₁₃, X₄: 3⋅X₄ {O(n)}
t₁₃, X₆: 3⋅X₆ {O(n)}
t₁₃, X₇: 3⋅X₇ {O(n)}
t₁₃, X₈: 3⋅X₈ {O(n)}
t₁₃, X₉: 3⋅X₉ {O(n)}
t₁₃, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₁₃, X₁₁: 3⋅X₁₁ {O(n)}
t₁₃, X₁₂: 3⋅X₁₂ {O(n)}
t₁₃, X₁₃: 3⋅X₁₃ {O(n)}
t₁₄, X₀: 3⋅X₀ {O(n)}
t₁₄, X₂: 3⋅X₂ {O(n)}
t₁₄, X₃: 3⋅X₃ {O(n)}
t₁₄, X₄: 3⋅X₄ {O(n)}
t₁₄, X₅: 0 {O(1)}
t₁₄, X₆: 3⋅X₆ {O(n)}
t₁₄, X₇: 3⋅X₇ {O(n)}
t₁₄, X₈: 3⋅X₈ {O(n)}
t₁₄, X₉: 3⋅X₉ {O(n)}
t₁₄, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₁₄, X₁₁: 3⋅X₁₁ {O(n)}
t₁₄, X₁₂: 3⋅X₁₂ {O(n)}
t₁₄, X₁₃: 3⋅X₁₃ {O(n)}
t₁₅, X₀: 3⋅X₀ {O(n)}
t₁₅, X₂: 3⋅X₂ {O(n)}
t₁₅, X₃: 3⋅X₃ {O(n)}
t₁₅, X₄: 3⋅X₄ {O(n)}
t₁₅, X₆: 3⋅X₆ {O(n)}
t₁₅, X₇: 3⋅X₇ {O(n)}
t₁₅, X₈: 3⋅X₈ {O(n)}
t₁₅, X₉: 3⋅X₉ {O(n)}
t₁₅, X₁₀: 3⋅X₈+6⋅X₁₃+4 {O(n)}
t₁₅, X₁₁: 3⋅X₁₁ {O(n)}
t₁₅, X₁₂: 3⋅X₁₂ {O(n)}
t₁₅, X₁₃: 3⋅X₁₃ {O(n)}
t₁₆, X₀: 9⋅X₀ {O(n)}
t₁₆, X₂: 9⋅X₂ {O(n)}
t₁₆, X₃: 9⋅X₃ {O(n)}
t₁₆, X₄: 9⋅X₄ {O(n)}
t₁₆, X₆: 9⋅X₆ {O(n)}
t₁₆, X₇: 9⋅X₇ {O(n)}
t₁₆, X₈: 9⋅X₈ {O(n)}
t₁₆, X₉: 9⋅X₉ {O(n)}
t₁₆, X₁₀: 15⋅X₁₃+6⋅X₈+10 {O(n)}
t₁₆, X₁₁: 9⋅X₁₁ {O(n)}
t₁₆, X₁₂: 9⋅X₁₂ {O(n)}
t₁₆, X₁₃: 9⋅X₁₃ {O(n)}
t₁₈, X₀: 9⋅X₀ {O(n)}
t₁₈, X₂: 9⋅X₂ {O(n)}
t₁₈, X₃: 9⋅X₃ {O(n)}
t₁₈, X₄: 9⋅X₄ {O(n)}
t₁₈, X₇: 9⋅X₇ {O(n)}
t₁₈, X₈: 9⋅X₈ {O(n)}
t₁₈, X₉: 9⋅X₉ {O(n)}
t₁₈, X₁₀: 15⋅X₁₃+6⋅X₈+10 {O(n)}
t₁₈, X₁₁: 9⋅X₁₁ {O(n)}
t₁₈, X₁₂: 9⋅X₁₂ {O(n)}
t₁₈, X₁₃: 9⋅X₁₃ {O(n)}
t₁₉, X₀: 9⋅X₀ {O(n)}
t₁₉, X₂: 9⋅X₂ {O(n)}
t₁₉, X₃: 9⋅X₃ {O(n)}
t₁₉, X₄: 9⋅X₄ {O(n)}
t₁₉, X₇: 9⋅X₇ {O(n)}
t₁₉, X₈: 9⋅X₈ {O(n)}
t₁₉, X₉: 9⋅X₉ {O(n)}
t₁₉, X₁₀: 15⋅X₁₃+6⋅X₈+10 {O(n)}
t₁₉, X₁₁: 9⋅X₁₁ {O(n)}
t₁₉, X₁₂: 9⋅X₁₂ {O(n)}
t₁₉, X₁₃: 9⋅X₁₃ {O(n)}
t₂₀, X₀: 9⋅X₀ {O(n)}
t₂₀, X₂: 9⋅X₂ {O(n)}
t₂₀, X₃: 9⋅X₃ {O(n)}
t₂₀, X₄: 9⋅X₄ {O(n)}
t₂₀, X₇: 9⋅X₇ {O(n)}
t₂₀, X₈: 9⋅X₈ {O(n)}
t₂₀, X₉: 9⋅X₉ {O(n)}
t₂₀, X₁₀: 15⋅X₁₃+6⋅X₈+10 {O(n)}
t₂₀, X₁₁: 9⋅X₁₁ {O(n)}
t₂₀, X₁₂: 9⋅X₁₂ {O(n)}
t₂₀, X₁₃: 9⋅X₁₃ {O(n)}
t₂₁, X₀: 9⋅X₀ {O(n)}
t₂₁, X₂: 9⋅X₂ {O(n)}
t₂₁, X₃: 9⋅X₃ {O(n)}
t₂₁, X₄: 9⋅X₄ {O(n)}
t₂₁, X₆: 0 {O(1)}
t₂₁, X₇: 9⋅X₇ {O(n)}
t₂₁, X₈: 9⋅X₈ {O(n)}
t₂₁, X₉: 9⋅X₉ {O(n)}
t₂₁, X₁₀: 15⋅X₁₃+6⋅X₈+10 {O(n)}
t₂₁, X₁₁: 9⋅X₁₁ {O(n)}
t₂₁, X₁₂: 9⋅X₁₂ {O(n)}
t₂₁, X₁₃: 9⋅X₁₃ {O(n)}
t₂₂, X₀: 18⋅X₀ {O(n)}
t₂₂, X₂: 18⋅X₂ {O(n)}
t₂₂, X₃: 18⋅X₃ {O(n)}
t₂₂, X₄: 18⋅X₄ {O(n)}
t₂₂, X₇: 18⋅X₇ {O(n)}
t₂₂, X₈: 18⋅X₈ {O(n)}
t₂₂, X₉: 18⋅X₉ {O(n)}
t₂₂, X₁₀: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₂, X₁₁: 18⋅X₁₁ {O(n)}
t₂₂, X₁₂: 18⋅X₁₂ {O(n)}
t₂₂, X₁₃: 18⋅X₁₃ {O(n)}
t₂₄, X₀: 18⋅X₀ {O(n)}
t₂₄, X₂: 18⋅X₂ {O(n)}
t₂₄, X₃: 18⋅X₃ {O(n)}
t₂₄, X₄: 18⋅X₄ {O(n)}
t₂₄, X₈: 18⋅X₈ {O(n)}
t₂₄, X₉: 18⋅X₉ {O(n)}
t₂₄, X₁₀: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₄, X₁₁: 18⋅X₁₁ {O(n)}
t₂₄, X₁₂: 18⋅X₁₂ {O(n)}
t₂₄, X₁₃: 18⋅X₁₃ {O(n)}
t₂₅, X₀: 18⋅X₁₃+1 {O(n)}
t₂₅, X₂: 18⋅X₂ {O(n)}
t₂₅, X₃: 18⋅X₃ {O(n)}
t₂₅, X₄: 18⋅X₄ {O(n)}
t₂₅, X₈: 18⋅X₈ {O(n)}
t₂₅, X₉: 18⋅X₉ {O(n)}
t₂₅, X₁₀: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₅, X₁₁: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₅, X₁₂: 18⋅X₁₂ {O(n)}
t₂₅, X₁₃: 18⋅X₁₃ {O(n)}
t₂₆, X₀: 18⋅X₁₃+1 {O(n)}
t₂₆, X₂: 18⋅X₂ {O(n)}
t₂₆, X₃: 18⋅X₃ {O(n)}
t₂₆, X₄: 18⋅X₄ {O(n)}
t₂₆, X₈: 18⋅X₈ {O(n)}
t₂₆, X₉: 18⋅X₉ {O(n)}
t₂₆, X₁₀: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₆, X₁₁: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₆, X₁₂: 18⋅X₁₂ {O(n)}
t₂₆, X₁₃: 18⋅X₁₃ {O(n)}
t₂₇, X₀: 18⋅X₁₃ {O(n)}
t₂₇, X₂: 18⋅X₂ {O(n)}
t₂₇, X₃: 18⋅X₃ {O(n)}
t₂₇, X₄: 18⋅X₄ {O(n)}
t₂₇, X₇: 0 {O(1)}
t₂₇, X₈: 18⋅X₈ {O(n)}
t₂₇, X₉: 18⋅X₉ {O(n)}
t₂₇, X₁₀: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₇, X₁₁: 12⋅X₈+30⋅X₁₃+20 {O(n)}
t₂₇, X₁₂: 18⋅X₁₂ {O(n)}
t₂₇, X₁₃: 18⋅X₁₃ {O(n)}
t₂₈, X₀: 1134⋅X₁₃+864⋅X₈+750 {O(n)}
t₂₈, X₃: 1080⋅X₁₃+54⋅X₃+864⋅X₈+748 {O(n)}
t₂₈, X₈: 54⋅X₈ {O(n)}
t₂₈, X₉: 468⋅X₈+630⋅X₁₃+432 {O(n)}
t₂₈, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₂₈, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₂₈, X₁₂: 432⋅X₈+54⋅X₁₂+540⋅X₁₃+372 {O(n)}
t₂₈, X₁₃: 54⋅X₁₃ {O(n)}
t₂₉, X₀: 1134⋅X₁₃+864⋅X₈+750 {O(n)}
t₂₉, X₃: 1080⋅X₁₃+54⋅X₃+864⋅X₈+748 {O(n)}
t₂₉, X₈: 54⋅X₈ {O(n)}
t₂₉, X₉: 1314⋅X₁₃+936⋅X₈+866 {O(n)}
t₂₉, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₂₉, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₂₉, X₁₂: 432⋅X₈+54⋅X₁₂+540⋅X₁₃+372 {O(n)}
t₂₉, X₁₃: 54⋅X₁₃ {O(n)}
t₃₀, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₀, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₀, X₈: 54⋅X₈ {O(n)}
t₃₀, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₀, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₀, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₀, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₀, X₁₃: 54⋅X₁₃ {O(n)}
t₃₁, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₁, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₁, X₈: 54⋅X₈ {O(n)}
t₃₁, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₁, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₁, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₁, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₁, X₁₃: 54⋅X₁₃ {O(n)}
t₃₂, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₂, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₂, X₈: 54⋅X₈ {O(n)}
t₃₂, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₂, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₂, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₂, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₂, X₁₃: 54⋅X₁₃ {O(n)}
t₃₃, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₃, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₃, X₈: 54⋅X₈ {O(n)}
t₃₃, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₃, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₃, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₃, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₃, X₁₃: 54⋅X₁₃ {O(n)}
t₃₅, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₅, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₅, X₈: 54⋅X₈ {O(n)}
t₃₅, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₅, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₅, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₅, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₅, X₁₃: 54⋅X₁₃ {O(n)}
t₃₆, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₆, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₆, X₈: 54⋅X₈ {O(n)}
t₃₆, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₆, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₆, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₆, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₆, X₁₃: 54⋅X₁₃ {O(n)}
t₃₇, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₇, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₇, X₈: 54⋅X₈ {O(n)}
t₃₇, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₇, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₇, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₇, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₇, X₁₃: 54⋅X₁₃ {O(n)}
t₃₈, X₀: 1728⋅X₈+2268⋅X₁₃+1500 {O(n)}
t₃₈, X₂: 0 {O(1)}
t₃₈, X₃: 108⋅X₃+1728⋅X₈+2160⋅X₁₃+1496 {O(n)}
t₃₈, X₈: 54⋅X₈ {O(n)}
t₃₈, X₉: 1404⋅X₈+1944⋅X₁₃+1298 {O(n)}
t₃₈, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₈, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₈, X₁₂: 108⋅X₁₂+1080⋅X₁₃+864⋅X₈+744 {O(n)}
t₃₈, X₁₃: 54⋅X₁₃ {O(n)}
t₃₉, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₃₉, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₃₉, X₈: 54⋅X₈ {O(n)}
t₃₉, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₃₉, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₃₉, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₃₉, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₃₉, X₁₃: 54⋅X₁₃ {O(n)}
t₄₀, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₀, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₀, X₈: 54⋅X₈ {O(n)}
t₄₀, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₀, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₀, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₀, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₀, X₁₃: 54⋅X₁₃ {O(n)}
t₄₁, X₀: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₁, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₁, X₈: 54⋅X₈ {O(n)}
t₄₁, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₁, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₁, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₁, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₁, X₁₃: 54⋅X₁₃ {O(n)}
t₄₂, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₂, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₂, X₈: 54⋅X₈ {O(n)}
t₄₂, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₂, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₂, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₂, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₂, X₁₃: 54⋅X₁₃ {O(n)}
t₄₄, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₄, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₄, X₈: 54⋅X₈ {O(n)}
t₄₄, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₄, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₄, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₄, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₄, X₁₃: 54⋅X₁₃ {O(n)}
t₄₅, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₅, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₅, X₈: 54⋅X₈ {O(n)}
t₄₅, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₅, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₅, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₅, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₅, X₁₃: 54⋅X₁₃ {O(n)}
t₄₆, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₆, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₆, X₈: 54⋅X₈ {O(n)}
t₄₆, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₆, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₆, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₆, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₆, X₁₃: 54⋅X₁₃ {O(n)}
t₄₇, X₀: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₇, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₇, X₄: 0 {O(1)}
t₄₇, X₈: 54⋅X₈ {O(n)}
t₄₇, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₇, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₇, X₁₁: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₇, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₇, X₁₃: 54⋅X₁₃ {O(n)}
t₄₈, X₀: 3456⋅X₈+4536⋅X₁₃+3000 {O(n)}
t₄₈, X₃: 432⋅X₈+540⋅X₁₃+374 {O(n)}
t₄₈, X₈: 54⋅X₈ {O(n)}
t₄₈, X₉: 2808⋅X₈+3888⋅X₁₃+2596 {O(n)}
t₄₈, X₁₀: 36⋅X₈+90⋅X₁₃+60 {O(n)}
t₄₈, X₁₁: 432⋅X₈+540⋅X₁₃+372 {O(n)}
t₄₈, X₁₂: 216⋅X₈+270⋅X₁₃+186 {O(n)}
t₄₈, X₁₃: 54⋅X₁₃ {O(n)}
t₄₉, X₀: 3456⋅X₈+4536⋅X₁₃+9⋅X₀+3000 {O(n)}
t₄₉, X₃: 225⋅X₃+3456⋅X₈+4320⋅X₁₃+2992 {O(n)}
t₄₉, X₈: 117⋅X₈ {O(n)}
t₄₉, X₉: 2808⋅X₈+3888⋅X₁₃+9⋅X₉+2596 {O(n)}
t₄₉, X₁₀: 195⋅X₁₃+78⋅X₈+130 {O(n)}
t₄₉, X₁₁: 432⋅X₈+540⋅X₁₃+9⋅X₁₁+372 {O(n)}
t₄₉, X₁₂: 1728⋅X₈+2160⋅X₁₃+225⋅X₁₂+1488 {O(n)}
t₄₉, X₁₃: 117⋅X₁₃ {O(n)}