Initial Problem

Start: eval_size08_start
Program_Vars: X₀, X₁, X₂, X₃, X₄, X₅, X₆
Temp_Vars:
Locations: eval_size08_bb0_in, eval_size08_bb1_in, eval_size08_bb2_in, eval_size08_bb3_in, eval_size08_bb4_in, eval_size08_bb5_in, eval_size08_bb6_in, eval_size08_start, eval_size08_stop
Transitions:
t₁: eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb1_in(X₄, X₅, X₂, X₃, X₄, X₅, X₆) :|: 1+X₆ ≤ 0
t₂: eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb3_in(X₀, X₁, X₅, X₃, X₄, X₅, X₆) :|: 0 ≤ X₆
t₃: eval_size08_bb1_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb2_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: 1 ≤ X₀+(X₁)²
t₄: eval_size08_bb1_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb3_in(X₀, X₁, X₁, X₃, X₄, X₅, X₆) :|: X₀+(X₁)² ≤ 0
t₅: eval_size08_bb2_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb1_in(X₀+(X₁)²*X₆, X₁-2⋅(X₆)², X₂, X₃, X₄, X₅, X₆)
t₆: eval_size08_bb3_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb4_in(X₀, X₁, X₂, (X₂)², X₄, X₅, X₆)
t₇: eval_size08_bb4_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: 1 ≤ X₃
t₈: eval_size08_bb4_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: X₃ ≤ 0
t₉: eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb4_in(X₀, X₁, X₂, X₃-1, X₄, X₅, X₆)
t₁₀: eval_size08_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_stop(X₀, X₁, X₂, X₃, X₄, X₅, X₆)
t₀: eval_size08_start(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆)

Preprocessing

Found invariant 1+X₆ ≤ 0 ∧ X₁ ≤ X₅ for location eval_size08_bb1_in

Found invariant X₂ ≤ X₅ for location eval_size08_bb3_in

Found invariant X₂ ≤ X₅ ∧ 1 ≤ X₃ for location eval_size08_bb5_in

Found invariant X₂ ≤ X₅ ∧ 0 ≤ X₃ for location eval_size08_bb4_in

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_stop

Found invariant 1+X₆ ≤ 0 ∧ X₁ ≤ X₅ for location eval_size08_bb2_in

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_bb6_in

Problem after Preprocessing

Start: eval_size08_start
Program_Vars: X₀, X₁, X₂, X₃, X₄, X₅, X₆
Temp_Vars:
Locations: eval_size08_bb0_in, eval_size08_bb1_in, eval_size08_bb2_in, eval_size08_bb3_in, eval_size08_bb4_in, eval_size08_bb5_in, eval_size08_bb6_in, eval_size08_start, eval_size08_stop
Transitions:
t₁: eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb1_in(X₄, X₅, X₂, X₃, X₄, X₅, X₆) :|: 1+X₆ ≤ 0
t₂: eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb3_in(X₀, X₁, X₅, X₃, X₄, X₅, X₆) :|: 0 ≤ X₆
t₃: eval_size08_bb1_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb2_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: 1 ≤ X₀+(X₁)² ∧ 1+X₆ ≤ 0 ∧ X₁ ≤ X₅
t₄: eval_size08_bb1_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb3_in(X₀, X₁, X₁, X₃, X₄, X₅, X₆) :|: X₀+(X₁)² ≤ 0 ∧ 1+X₆ ≤ 0 ∧ X₁ ≤ X₅
t₅: eval_size08_bb2_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb1_in(X₀+(X₁)²*X₆, X₁-2⋅(X₆)², X₂, X₃, X₄, X₅, X₆) :|: 1+X₆ ≤ 0 ∧ X₁ ≤ X₅
t₆: eval_size08_bb3_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb4_in(X₀, X₁, X₂, (X₂)², X₄, X₅, X₆) :|: X₂ ≤ X₅
t₇: eval_size08_bb4_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: 1 ≤ X₃ ∧ X₂ ≤ X₅ ∧ 0 ≤ X₃
t₈: eval_size08_bb4_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: X₃ ≤ 0 ∧ X₂ ≤ X₅ ∧ 0 ≤ X₃
t₉: eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb4_in(X₀, X₁, X₂, X₃-1, X₄, X₅, X₆) :|: 1 ≤ X₃ ∧ X₂ ≤ X₅
t₁₀: eval_size08_bb6_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_stop(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: X₂ ≤ X₅ ∧ 0 ≤ X₃ ∧ X₃ ≤ 0
t₀: eval_size08_start(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb0_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆)

TWN: t₅: eval_size08_bb2_in→eval_size08_bb1_in

Show Graph

Termination: true
Formula:

TWN - Lifting for [3: eval_size08_bb1_in->eval_size08_bb2_in; 5: eval_size08_bb2_in->eval_size08_bb1_in] of 12⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₁⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₁⋅X₆⋅X₆+6⋅X₁⋅X₁⋅X₆+6⋅X₁⋅X₁+6⋅X₀+6 {O(n^5)}

Found invariant 1+X₆ ≤ 0 ∧ X₅ ≤ X₁ ∧ X₁ ≤ X₅ ∧ X₄ ≤ X₀ ∧ X₀ ≤ X₄ for location eval_size08_bb1_in

Found invariant X₂ ≤ X₅ for location eval_size08_bb3_in

Found invariant 1+X₆ ≤ 0 ∧ 2+X₁ ≤ X₅ for location eval_size08_bb1_in_v1

Found invariant X₂ ≤ X₅ ∧ 1 ≤ X₃ for location eval_size08_bb5_in

Found invariant 1+X₆ ≤ 0 ∧ X₅ ≤ X₁ ∧ X₁ ≤ X₅ ∧ X₄ ≤ X₀ ∧ X₀ ≤ X₄ for location eval_size08_bb2_in_v1

Found invariant X₂ ≤ X₅ ∧ 0 ≤ X₃ for location eval_size08_bb4_in

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_stop

Found invariant 1+X₆ ≤ 0 ∧ 2+X₁ ≤ X₅ for location eval_size08_bb2_in_v2

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_bb6_in

MPRF for transition t₇: eval_size08_bb4_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) :|: 1 ≤ X₃ ∧ X₂ ≤ X₅ ∧ 0 ≤ X₃ of depth 1:

new bound:

2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅+1 {O(n^14)}

• eval_size08_bb4_in: [1+X₃]
• eval_size08_bb5_in: [X₃]

MPRF for transition t₉: eval_size08_bb5_in(X₀, X₁, X₂, X₃, X₄, X₅, X₆) → eval_size08_bb4_in(X₀, X₁, X₂, X₃-1, X₄, X₅, X₆) :|: 1 ≤ X₃ ∧ X₂ ≤ X₅ of depth 1:

new bound:

2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}

• eval_size08_bb4_in: [X₃]
• eval_size08_bb5_in: [X₃]

Found invariant 1+X₆ ≤ 0 ∧ X₁ ≤ X₅ for location eval_size08_bb1_in

Found invariant X₂ ≤ X₅ ∧ 0 ≤ X₃ for location eval_size08_bb4_in_v1

Found invariant X₂ ≤ X₅ for location eval_size08_bb3_in

Found invariant X₂ ≤ X₅ ∧ 0 ≤ X₃ for location eval_size08_bb4_in

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_stop

Found invariant X₂ ≤ X₅ ∧ 1 ≤ X₃ for location eval_size08_bb5_in_v1

Found invariant 1+X₆ ≤ 0 ∧ X₁ ≤ X₅ for location eval_size08_bb2_in

Found invariant X₂ ≤ X₅ ∧ X₃ ≤ 0 ∧ 0 ≤ X₃ for location eval_size08_bb6_in

All Bounds

Timebounds

Overall timebound:4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+36864⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+32256⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+36864⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+27648⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+2688⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9984⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3072⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1200⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₄⋅X₅⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+240⋅X₅⋅X₆⋅X₆+22⋅X₅⋅X₅+12⋅X₄+20 {O(n^14)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 1 {O(1)}
t₃: 12⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆+6⋅X₅⋅X₅⋅X₆+6⋅X₅⋅X₅+6⋅X₄+6 {O(n^5)}
t₄: 1 {O(1)}
t₅: 12⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆+6⋅X₅⋅X₅⋅X₆+6⋅X₅⋅X₅+6⋅X₄+6 {O(n^5)}
t₆: 1 {O(1)}
t₇: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅+1 {O(n^14)}
t₈: 1 {O(1)}
t₉: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}
t₁₀: 1 {O(1)}

Costbounds

Overall costbound: 4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+36864⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+32256⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+36864⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+27648⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+2688⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9984⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3072⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1200⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₄⋅X₅⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+240⋅X₅⋅X₆⋅X₆+22⋅X₅⋅X₅+12⋅X₄+20 {O(n^14)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 1 {O(1)}
t₃: 12⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆+6⋅X₅⋅X₅⋅X₆+6⋅X₅⋅X₅+6⋅X₄+6 {O(n^5)}
t₄: 1 {O(1)}
t₅: 12⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₆⋅X₆+6⋅X₅⋅X₅⋅X₆+6⋅X₅⋅X₅+6⋅X₄+6 {O(n^5)}
t₆: 1 {O(1)}
t₇: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅+1 {O(n^14)}
t₈: 1 {O(1)}
t₉: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}
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₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+X₄ {O(n^20)}
t₃, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+X₅ {O(n^7)}
t₃, X₂: X₂ {O(n)}
t₃, X₃: X₃ {O(n)}
t₃, X₄: X₄ {O(n)}
t₃, X₅: X₅ {O(n)}
t₃, X₆: X₆ {O(n)}
t₄, X₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+2⋅X₄ {O(n^20)}
t₄, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+2⋅X₅ {O(n^7)}
t₄, X₂: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+2⋅X₅ {O(n^7)}
t₄, X₃: 2⋅X₃ {O(n)}
t₄, X₄: 2⋅X₄ {O(n)}
t₄, X₅: 2⋅X₅ {O(n)}
t₄, X₆: 2⋅X₆ {O(n)}
t₅, X₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+X₄ {O(n^20)}
t₅, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+X₅ {O(n^7)}
t₅, X₂: X₂ {O(n)}
t₅, X₃: X₃ {O(n)}
t₅, X₄: X₄ {O(n)}
t₅, X₅: X₅ {O(n)}
t₅, X₆: X₆ {O(n)}
t₆, X₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+2⋅X₄+X₀ {O(n^20)}
t₆, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+2⋅X₅+X₁ {O(n^7)}
t₆, X₂: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+3⋅X₅ {O(n^7)}
t₆, X₃: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}
t₆, X₄: 3⋅X₄ {O(n)}
t₆, X₅: 3⋅X₅ {O(n)}
t₆, X₆: 3⋅X₆ {O(n)}
t₇, X₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+2⋅X₄+X₀ {O(n^20)}
t₇, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+2⋅X₅+X₁ {O(n^7)}
t₇, X₂: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+3⋅X₅ {O(n^7)}
t₇, X₃: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}
t₇, X₄: 3⋅X₄ {O(n)}
t₇, X₅: 3⋅X₅ {O(n)}
t₇, X₆: 3⋅X₆ {O(n)}
t₈, X₀: 55296⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1410048⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1990656⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+442368⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1161216⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2654208⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1658880⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1990656⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1105920⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+172800⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+340992⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+870912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+175104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+340992⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+414720⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+691200⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+615168⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+691200⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+89856⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+271872⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+529920⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+184320⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+49536⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+175104⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+25920⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24360⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+47232⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+6912⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92448⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1248⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+21312⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+26808⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1296⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+21912⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+1200⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+7512⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₄⋅X₅⋅X₅⋅X₆+624⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆+2⋅X₀+4⋅X₄ {O(n^20)}
t₈, X₁: 96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆+48⋅X₄⋅X₆⋅X₆+48⋅X₆⋅X₆+2⋅X₁+4⋅X₅ {O(n^7)}
t₈, X₂: 96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆+48⋅X₄⋅X₆⋅X₆+48⋅X₆⋅X₆+6⋅X₅ {O(n^7)}
t₈, X₃: 0 {O(1)}
t₈, X₄: 6⋅X₄ {O(n)}
t₈, X₅: 6⋅X₅ {O(n)}
t₈, X₆: 6⋅X₆ {O(n)}
t₉, X₀: 27648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+110592⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+705024⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+62208⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+829440⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+435456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+552960⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+86400⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+103680⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+290304⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+307584⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+345600⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+11808⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+135936⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+264960⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+3456⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+42624⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+21912⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24768⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43776⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92160⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+10368⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12960⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+22464⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23112⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12180⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+288⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+3456⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10656⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13404⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+624⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+10956⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+288⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+648⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+3756⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+600⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₄⋅X₅⋅X₅⋅X₆+312⋅X₅⋅X₆⋅X₆⋅X₆+12⋅X₅⋅X₅⋅X₆+2⋅X₄+X₀ {O(n^20)}
t₉, X₁: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+2⋅X₅+X₁ {O(n^7)}
t₉, X₂: 48⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆⋅X₆+24⋅X₄⋅X₆⋅X₆+24⋅X₆⋅X₆+3⋅X₅ {O(n^7)}
t₉, X₃: 2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+9216⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+16128⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+18432⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+13824⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2304⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2496⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4608⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+1344⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+4992⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1536⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₄⋅X₅⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆+5⋅X₅⋅X₅ {O(n^14)}
t₉, X₄: 3⋅X₄ {O(n)}
t₉, X₅: 3⋅X₅ {O(n)}
t₉, X₆: 3⋅X₆ {O(n)}
t₁₀, X₀: 55296⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+995328⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1410048⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1990656⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+221184⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+442368⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1161216⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+124416⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1327104⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+2654208⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1658880⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1990656⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1105920⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+172800⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+331776⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+340992⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+870912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+175104⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+207360⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+340992⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+414720⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+580608⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+663552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+691200⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+248832⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+497664⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+615168⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+691200⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+89856⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+165888⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+23616⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+271872⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+41472⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+529920⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+6912⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+85248⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+170496⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+184320⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+43824⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+49536⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+82944⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87552⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+175104⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+20736⋅X₄⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+25920⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+44928⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+46224⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+87648⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+24360⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+47232⋅X₄⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+576⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+6912⋅X₄⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+92448⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1152⋅X₄⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+1248⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+21312⋅X₄⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+26808⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+1296⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+21912⋅X₄⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆⋅X₆+576⋅X₄⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+1200⋅X₄⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₅⋅X₅⋅X₆+7512⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+24⋅X₄⋅X₅⋅X₅⋅X₆+624⋅X₅⋅X₆⋅X₆⋅X₆+24⋅X₅⋅X₅⋅X₆+2⋅X₀+4⋅X₄ {O(n^20)}
t₁₀, X₁: 96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆+48⋅X₄⋅X₆⋅X₆+48⋅X₆⋅X₆+2⋅X₁+4⋅X₅ {O(n^7)}
t₁₀, X₂: 96⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+96⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆⋅X₆+192⋅X₅⋅X₆⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆⋅X₆+48⋅X₅⋅X₅⋅X₆⋅X₆+48⋅X₄⋅X₆⋅X₆+48⋅X₆⋅X₆+6⋅X₅ {O(n^7)}
t₁₀, X₃: 0 {O(1)}
t₁₀, X₄: 6⋅X₄ {O(n)}
t₁₀, X₅: 6⋅X₅ {O(n)}
t₁₀, X₆: 6⋅X₆ {O(n)}