Initial Problem

Start: l0
Program_Vars: X₀, X₁, X₂, X₃, X₄, X₅
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃, X₄, X₅) → l1(X₀, X₁, X₂, X₃, X₄, X₅)
t₁: l1(X₀, X₁, X₂, X₃, X₄, X₅) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃+X₄, X₄+X₅, X₅-1) :|: 1 ≤ X₀

Preprocessing

Problem after Preprocessing

Start: l0
Program_Vars: X₀, X₁, X₂, X₃, X₄, X₅
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃, X₄, X₅) → l1(X₀, X₁, X₂, X₃, X₄, X₅)
t₁: l1(X₀, X₁, X₂, X₃, X₄, X₅) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃+X₄, X₄+X₅, X₅-1) :|: 1 ≤ X₀

TWN: t₁: l1→l1

cycle: [t₁: l1→l1]
loop: (1 ≤ X₀,(X₀,X₁,X₂,X₃,X₄,X₅) -> (X₀+X₁,X₁+X₂,X₂+X₃,X₃+X₄,X₄+X₅,X₅-1)
order: [X₅; X₄; X₃; X₂; X₁; X₀]
closed-form:
X₅: X₅ + [[n != 0]] * -1 * n^1
X₄: X₄ + [[n != 0]] * X₅ * n^1 + [[n != 0, n != 1]] * -1/2 * n^2 + [[n != 0, n != 1]] * 1/2 * n^1
X₃: X₃ + [[n != 0]] * X₄ * n^1 + [[n != 0, n != 1]] * 1/2⋅X₅ * n^2 + [[n != 0, n != 1]] * -1/2⋅X₅ * n^1 + [[n != 0, n != 1, n != 2]] * -1/6 * n^3 + [[n != 0, n != 1, n != 2]] * 1/2 * n^2 + [[n != 0, n != 1, n != 2]] * -1/3 * n^1
X₂: X₂ + [[n != 0]] * X₃ * n^1 + [[n != 0, n != 1]] * 1/2⋅X₄ * n^2 + [[n != 0, n != 1]] * -1/2⋅X₄ * n^1 + [[n != 0, n != 1, n != 2]] * 1/6⋅X₅ * n^3 + [[n != 0, n != 1, n != 2]] * -1/2⋅X₅ * n^2 + [[n != 0, n != 1, n != 2]] * 1/3⋅X₅ * n^1 + [[n != 0, n != 1, n != 2, n != 3]] * -1/24 * n^4 + [[n != 0, n != 1, n != 2, n != 3]] * 1/4 * n^3 + [[n != 0, n != 1, n != 2, n != 3]] * -11/24 * n^2 + [[n != 0, n != 1, n != 2, n != 3]] * 1/4 * n^1
X₁: X₁ + [[n != 0]] * X₂ * n^1 + [[n != 0, n != 1]] * 1/2⋅X₃ * n^2 + [[n != 0, n != 1]] * -1/2⋅X₃ * n^1 + [[n != 0, n != 1, n != 2]] * 1/6⋅X₄ * n^3 + [[n != 0, n != 1, n != 2]] * -1/2⋅X₄ * n^2 + [[n != 0, n != 1, n != 2]] * 1/3⋅X₄ * n^1 + [[n != 0, n != 1, n != 2, n != 3]] * 1/24⋅X₅ * n^4 + [[n != 0, n != 1, n != 2, n != 3]] * -1/4⋅X₅ * n^3 + [[n != 0, n != 1, n != 2, n != 3]] * 11/24⋅X₅ * n^2 + [[n != 0, n != 1, n != 2, n != 3]] * -1/4⋅X₅ * n^1 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * -1/120 * n^5 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * 1/12 * n^4 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * -7/24 * n^3 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * 5/12 * n^2 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * -1/5 * n^1
X₀: X₀ + [[n != 0]] * X₁ * n^1 + [[n != 0, n != 1]] * 1/2⋅X₂ * n^2 + [[n != 0, n != 1]] * -1/2⋅X₂ * n^1 + [[n != 0, n != 1, n != 2]] * 1/6⋅X₃ * n^3 + [[n != 0, n != 1, n != 2]] * -1/2⋅X₃ * n^2 + [[n != 0, n != 1, n != 2]] * 1/3⋅X₃ * n^1 + [[n != 0, n != 1, n != 2, n != 3]] * 1/24⋅X₄ * n^4 + [[n != 0, n != 1, n != 2, n != 3]] * -1/4⋅X₄ * n^3 + [[n != 0, n != 1, n != 2, n != 3]] * 11/24⋅X₄ * n^2 + [[n != 0, n != 1, n != 2, n != 3]] * -1/4⋅X₄ * n^1 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * 1/120⋅X₅ * n^5 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * -1/12⋅X₅ * n^4 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * 7/24⋅X₅ * n^3 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * -5/12⋅X₅ * n^2 + [[n != 0, n != 1, n != 2, n != 3, n != 4]] * 1/5⋅X₅ * n^1 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * -1/720 * n^6 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * 1/48 * n^5 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * -17/144 * n^4 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * 5/16 * n^3 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * -137/360 * n^2 + [[n != 0, n != 1, n != 2, n != 3, n != 4, n != 5]] * 1/6 * n^1

Termination: true
Formula:

1 < 0
∨ 0 < 6⋅X₅+15 ∧ 1 ≤ 0 ∧ 0 ≤ 1
∨ 60⋅X₅+85 < 30⋅X₄ ∧ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0
∨ 180⋅X₄ < 120⋅X₃+210⋅X₅+225 ∧ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0 ∧ 60⋅X₅+85 ≤ 30⋅X₄ ∧ 30⋅X₄ ≤ 60⋅X₅+85
∨ 360⋅X₃+300⋅X₅+274 < 360⋅X₂+330⋅X₄ ∧ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0 ∧ 60⋅X₅+85 ≤ 30⋅X₄ ∧ 30⋅X₄ ≤ 60⋅X₅+85 ∧ 180⋅X₄ ≤ 120⋅X₃+210⋅X₅+225 ∧ 120⋅X₃+210⋅X₅+225 ≤ 180⋅X₄
∨ 360⋅X₂+180⋅X₄ < 720⋅X₁+240⋅X₃+144⋅X₅+120 ∧ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0 ∧ 60⋅X₅+85 ≤ 30⋅X₄ ∧ 30⋅X₄ ≤ 60⋅X₅+85 ∧ 180⋅X₄ ≤ 120⋅X₃+210⋅X₅+225 ∧ 120⋅X₃+210⋅X₅+225 ≤ 180⋅X₄ ∧ 360⋅X₃+300⋅X₅+274 ≤ 360⋅X₂+330⋅X₄ ∧ 360⋅X₂+330⋅X₄ ≤ 360⋅X₃+300⋅X₅+274
∨ 720 < 720⋅X₀ ∧ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0 ∧ 60⋅X₅+85 ≤ 30⋅X₄ ∧ 30⋅X₄ ≤ 60⋅X₅+85 ∧ 180⋅X₄ ≤ 120⋅X₃+210⋅X₅+225 ∧ 120⋅X₃+210⋅X₅+225 ≤ 180⋅X₄ ∧ 360⋅X₃+300⋅X₅+274 ≤ 360⋅X₂+330⋅X₄ ∧ 360⋅X₂+330⋅X₄ ≤ 360⋅X₃+300⋅X₅+274 ∧ 360⋅X₂+180⋅X₄ ≤ 720⋅X₁+240⋅X₃+144⋅X₅+120 ∧ 720⋅X₁+240⋅X₃+144⋅X₅+120 ≤ 360⋅X₂+180⋅X₄
∨ 1 ≤ 0 ∧ 0 ≤ 1 ∧ 0 ≤ 6⋅X₅+15 ∧ 6⋅X₅+15 ≤ 0 ∧ 60⋅X₅+85 ≤ 30⋅X₄ ∧ 30⋅X₄ ≤ 60⋅X₅+85 ∧ 180⋅X₄ ≤ 120⋅X₃+210⋅X₅+225 ∧ 120⋅X₃+210⋅X₅+225 ≤ 180⋅X₄ ∧ 360⋅X₃+300⋅X₅+274 ≤ 360⋅X₂+330⋅X₄ ∧ 360⋅X₂+330⋅X₄ ≤ 360⋅X₃+300⋅X₅+274 ∧ 360⋅X₂+180⋅X₄ ≤ 720⋅X₁+240⋅X₃+144⋅X₅+120 ∧ 720⋅X₁+240⋅X₃+144⋅X₅+120 ≤ 360⋅X₂+180⋅X₄ ∧ 720 ≤ 720⋅X₀ ∧ 720⋅X₀ ≤ 720

Stabilization-Threshold for: 1 ≤ X₀
alphas_abs: 720+720⋅X₀+720⋅X₁+360⋅X₂+360⋅X₃+330⋅X₄+300⋅X₅
M: 0
N: 6
Bound: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1447 {O(n)}

TWN - Lifting for t₁: l1→l1 of 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1449 {O(n)}

relevant size-bounds w.r.t. t₀:
X₀: X₀ {O(n)}
X₁: X₁ {O(n)}
X₂: X₂ {O(n)}
X₃: X₃ {O(n)}
X₄: X₄ {O(n)}
X₅: X₅ {O(n)}
Runtime-bound of t₀: 1 {O(1)}
Results in: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1449 {O(n)}

All Bounds

Timebounds

Overall timebound:1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1450 {O(n)}
t₀: 1 {O(1)}
t₁: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1449 {O(n)}

Costbounds

Overall costbound: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1450 {O(n)}
t₀: 1 {O(1)}
t₁: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1449 {O(n)}

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₀: 100306130042880000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+1010009088000000000⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+1010009088000000000⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+102220408553472000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄⋅X₅+102220408553472000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄⋅X₅+102220408553472000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅+102220408553472000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅+1025774228160000000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+10535626506240000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+10736692217856000000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+1082015345664000000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+1082015345664000000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+111513172967424000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁⋅X₅+111513172967424000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃⋅X₅+111513172967424000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅+111513172967424000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅+112380016066560000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+112380016066560000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+11622405242880000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+11622405242880000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+11622405242880000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+11622405242880000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+11803803770880000000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+122596381163520000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+122596381163520000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+122596381163520000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+122596381163520000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+1244052691200000000⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+12777551069184000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+12777551069184000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+127846457671680000000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₅⋅X₅+127846457671680000000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅+127846457671680000000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅+127846457671680000000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅+12876876840960000000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+12876876840960000000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+12876876840960000000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+12876876840960000000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+12920949964800000000⋅X₀⋅X₀⋅X₀⋅X₅⋅X₅⋅X₅+12920949964800000000⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅+133741506723840000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+133741506723840000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+133741506723840000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+133741506723840000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+133741506723840000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+133741506723840000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+133741506723840000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+133741506723840000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+133741506723840000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+133741506723840000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+139314069504000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+139314069504000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+139468862914560000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₅⋅X₅+139468862914560000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₅⋅X₅+139468862914560000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₅⋅X₅+139468862914560000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅+139468862914560000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅+139468862914560000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅+14047502008320000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+14047502008320000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+14047502008320000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+14047502008320000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+140553061761024000000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄⋅X₅+140553061761024000000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅+140553061761024000000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅+140553061761024000000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅+1452800655360000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+1452800655360000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+14649073274880000000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+1475475471360000000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+1475475471360000000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+153330612830208000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄⋅X₅+153330612830208000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅+153330612830208000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅+153330612830208000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅+15980807208960000000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+15980807208960000000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+1615118745600000000⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+1615118745600000000⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+1671768834048000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+1671768834048000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+1671768834048000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+1671768834048000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+16717688340480000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+16717688340480000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+16717688340480000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+16717688340480000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+16717688340480000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+16717688340480000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+167269759451136000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂⋅X₅+167269759451136000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃⋅X₅+167269759451136000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅+167269759451136000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅+167269759451136000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅+167269759451136000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅+168570024099840000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+168570024099840000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+168570024099840000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+168570024099840000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+168570024099840000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+168570024099840000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+17169169121280000000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+17169169121280000000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+1755937751040000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+1755937751040000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+17569132720128000000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+17569132720128000000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+17766306201600000000⋅X₀⋅X₀⋅X₄⋅X₅⋅X₅⋅X₅+17766306201600000000⋅X₀⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+17766306201600000000⋅X₀⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+17766306201600000000⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅+17766306201600000000⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+17766306201600000000⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+178322008965120000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+183894571745280000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+183894571745280000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+183894571745280000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+183894571745280000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+183894571745280000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+183894571745280000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+1851683328000000000⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+1851683328000000000⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+19166326603776000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+19381424947200000000⋅X₀⋅X₀⋅X₂⋅X₅⋅X₅⋅X₅+19381424947200000000⋅X₀⋅X₀⋅X₃⋅X₅⋅X₅⋅X₅+19381424947200000000⋅X₀⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+19381424947200000000⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅+19381424947200000000⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅+19381424947200000000⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+200612260085760000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+200612260085760000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+200612260085760000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+200612260085760000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+200612260085760000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+200612260085760000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+2020018176000000000⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+204440817106944000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄⋅X₅+204440817106944000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅+2089711042560000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+2089711042560000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2146146140160000000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+2146146140160000000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+21473384435712000000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄⋅X₅+21473384435712000000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+21473384435712000000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+21473384435712000000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅+21473384435712000000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+21473384435712000000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+22290251120640000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+22290251120640000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+22290251120640000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+22290251120640000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+22302634593484800000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₅+22302634593484800000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅+223026345934848000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁⋅X₅+223026345934848000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂⋅X₅+223026345934848000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃⋅X₅+223026345934848000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁⋅X₅+223026345934848000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅+223026345934848000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅+23244810485760000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₅⋅X₅+23244810485760000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅+24519276232704000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+24519276232704000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+245192762327040000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+245192762327040000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+245192762327040000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+245192762327040000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+245192762327040000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+245192762327040000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+2460491966592000000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+2460491966592000000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+25555102138368000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+25555102138368000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+25555102138368000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+25555102138368000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+25753753681920000000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+25753753681920000000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+25753753681920000000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+25753753681920000000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+25753753681920000000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+25753753681920000000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+26748301344768000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+26748301344768000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+26748301344768000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+26748301344768000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+267483013447680000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+267483013447680000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+267483013447680000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+267483013447680000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+267483013447680000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+267483013447680000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+2786281390080000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+27878293241856000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂⋅X₅+27878293241856000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃⋅X₅+27878293241856000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+27878293241856000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+27878293241856000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅+27878293241856000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅+27878293241856000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+27878293241856000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+28095004016640000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+28095004016640000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+29298146549760000000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₅⋅X₅+29298146549760000000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+29298146549760000000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+29298146549760000000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅+29298146549760000000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+29298146549760000000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+2950950942720000000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+30649095290880000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+30649095290880000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+30649095290880000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+30649095290880000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+30649095290880000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+30649095290880000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+30649095290880000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+30649095290880000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+306661225660416000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄⋅X₅+306661225660416000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄⋅X₅+306661225660416000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄⋅X₅+306661225660416000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅+306661225660416000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅+306661225660416000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅+308784960000000000⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+3194387767296000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+3194387767296000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+31961614417920000000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+31961614417920000000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+31961614417920000000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+31961614417920000000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+33435376680960000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+33435376680960000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+33435376680960000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+33435376680960000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+33435376680960000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+33435376680960000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+33435376680960000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+33435376680960000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+334539518902272000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂⋅X₅+334539518902272000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃⋅X₅+334539518902272000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃⋅X₅+334539518902272000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅+336856320000000000⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+336856320000000000⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+3484786655232000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+3484786655232000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+34867215728640000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₅⋅X₅+34867215728640000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₅⋅X₅+34867215728640000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+34867215728640000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+34867215728640000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅+34867215728640000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅+34867215728640000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+34867215728640000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+35138265440256000000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+35138265440256000000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+35138265440256000000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+35138265440256000000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+35532612403200000000⋅X₀⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅+367789143490560000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+367789143490560000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+367789143490560000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+367789143490560000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+3703366656000000000⋅X₀⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+3703366656000000000⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+3831136911360000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+3831136911360000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+38762849894400000000⋅X₀⋅X₀⋅X₁⋅X₅⋅X₅⋅X₅+38762849894400000000⋅X₀⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅+38762849894400000000⋅X₀⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅+38762849894400000000⋅X₀⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅+401224520171520000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+4040036352000000000⋅X₀⋅X₀⋅X₅⋅X₅⋅X₅⋅X₅+4040036352000000000⋅X₀⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+4040036352000000000⋅X₀⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+4040036352000000000⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅+4040036352000000000⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+4040036352000000000⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+4071445171200000000⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+4071445171200000000⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+41817439862784000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+41817439862784000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+42142506024960000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+42142506024960000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+42142506024960000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+42142506024960000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+42142506024960000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+42142506024960000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+42142506024960000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+42142506024960000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+42615485890560000000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₅⋅X₅+42615485890560000000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅+42946768871424000000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅+4441576550400000000⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+4441576550400000000⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+4476105722880000000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+4476105722880000000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+451090193875200000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+45973642936320000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+45973642936320000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+46489620971520000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₅⋅X₅+46489620971520000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₅⋅X₅+46489620971520000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅+46489620971520000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅+46811520000000000⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+46851020587008000000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄⋅X₅+46851020587008000000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅+4845356236800000000⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+4845356236800000000⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+4920983933184000000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+4920983933184000000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+50153065021440000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+50153065021440000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+51110204276736000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄⋅X₅+51110204276736000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅+51507507363840000000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+51507507363840000000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+51507507363840000000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+51507507363840000000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+5326935736320000000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+5326935736320000000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+53496602689536000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+53496602689536000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+5368346108928000000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+5368346108928000000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+541007672832000000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+541007672832000000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+55756586483712000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂⋅X₅+55756586483712000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃⋅X₅+55756586483712000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂⋅X₅+55756586483712000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃⋅X₅+55756586483712000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅+55756586483712000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅+55756586483712000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅+55756586483712000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅+55756586483712000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅+55756586483712000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅+56190008033280000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+56190008033280000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+56190008033280000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+56190008033280000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+5811202621440000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+5811202621440000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+5856377573376000000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+5856377573376000000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+58596293099520000000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅+5901901885440000000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+5901901885440000000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+5901901885440000000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+5901901885440000000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+5901901885440000000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+5901901885440000000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+61298190581760000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+61298190581760000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+61298190581760000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+61298190581760000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+61298190581760000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+61298190581760000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+61298190581760000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+61298190581760000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+61298190581760000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+61298190581760000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+63923228835840000000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₅⋅X₅+63923228835840000000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₅⋅X₅+63923228835840000000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+63923228835840000000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅+63923228835840000000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅+63923228835840000000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+6438438420480000000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+6438438420480000000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+66870753361920000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+66870753361920000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+66870753361920000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+66870753361920000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+66870753361920000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+66870753361920000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+66870753361920000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+66870753361920000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+66870753361920000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+66870753361920000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+66870753361920000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+66870753361920000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+673712640000000000⋅X₀⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+673712640000000000⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+696957331046400000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+696957331046400000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+6969573310464000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+6969573310464000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+6969573310464000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+6969573310464000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+6969573310464000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+6969573310464000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+69734431457280000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₅⋅X₅+69734431457280000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅+69734431457280000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅+69734431457280000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅+7023751004160000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+7023751004160000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+70276530880512000000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄⋅X₅+70276530880512000000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄⋅X₅+70276530880512000000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+70276530880512000000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅+70276530880512000000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅+70276530880512000000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+7324536637440000000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+7324536637440000000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+766227382272000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+766227382272000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+7662273822720000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+7662273822720000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+7662273822720000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+7662273822720000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+7662273822720000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+7662273822720000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+76665306415104000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄⋅X₅+76665306415104000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄⋅X₅+76665306415104000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+76665306415104000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+76665306415104000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅+76665306415104000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅+76665306415104000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+76665306415104000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+8080072704000000000⋅X₀⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅+8142890342400000000⋅X₀⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+8142890342400000000⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+82653950016000000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+835884417024000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+835884417024000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+8358844170240000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+8358844170240000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+8358844170240000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+8358844170240000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+8358844170240000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+8358844170240000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+8358844170240000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+8358844170240000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+83634879725568000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃⋅X₅+83634879725568000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃⋅X₅+83634879725568000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅+83634879725568000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅+84285012049920000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+84285012049920000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+84285012049920000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+84285012049920000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+848688192000000000⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+8716803932160000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+8883153100800000000⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+8916100448256000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+8916100448256000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+8952211445760000000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+8952211445760000000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+91947285872640000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+91947285872640000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+91947285872640000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+91947285872640000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+92979241943040000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₅⋅X₅+92979241943040000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅+9690712473600000000⋅X₀⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+9690712473600000000⋅X₀⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+9690712473600000000⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+9690712473600000000⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+100991090884608000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+100991090884608000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+103718495418531840000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+1089404487357120000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+112274670551040000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₅+112274670551040000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅+113147441664491520000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+113147441664491520000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+11701772697600000000⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+11701772697600000000⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+11884411761361920000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+11884411761361920000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+123433564125265920000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+123433564125265920000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+128719508631552000000⋅X₀⋅X₀⋅X₄⋅X₅⋅X₅+128719508631552000000⋅X₀⋅X₂⋅X₄⋅X₅⋅X₅+128719508631552000000⋅X₀⋅X₃⋅X₄⋅X₅⋅X₅+128719508631552000000⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅+128719508631552000000⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅+128719508631552000000⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅+12964811927316480000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+12964811927316480000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+134654787846144000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+134654787846144000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+134654787846144000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+134654787846144000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+134654787846144000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+134654787846144000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+134654787846144000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+134654787846144000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+134654787846144000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+134654787846144000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+140421272371200000000⋅X₀⋅X₀⋅X₂⋅X₅⋅X₅+140421272371200000000⋅X₀⋅X₀⋅X₃⋅X₅⋅X₅+140421272371200000000⋅X₀⋅X₂⋅X₃⋅X₅⋅X₅+140421272371200000000⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅+140421272371200000000⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅+140421272371200000000⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅+14143430208061440000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+14143430208061440000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+141512885714534400000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₅+141512885714534400000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₅+141512885714534400000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₅+141512885714534400000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅+141512885714534400000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅+141512885714534400000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅+154377682757222400000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₅+154377682757222400000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₅+154377682757222400000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅+154377682757222400000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅+1683184848076800000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+1683184848076800000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+16831848480768000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+16831848480768000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+16831848480768000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+16831848480768000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+16831848480768000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+16831848480768000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+168412005826560000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₅+168412005826560000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₅+168412005826560000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₅+168412005826560000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₅+168412005826560000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅+168412005826560000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅+168412005826560000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅+168412005826560000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅+169721162496737280000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+169721162496737280000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+169721162496737280000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+169721162496737280000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+169721162496737280000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+169721162496737280000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+17887631708160000000⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+17887631708160000000⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+185150346187898880000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+185150346187898880000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+185150346187898880000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+185150346187898880000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+185150346187898880000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+185150346187898880000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+185150346187898880000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+185150346187898880000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+19513778688000000000⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+201982181769216000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+201982181769216000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+201982181769216000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+201982181769216000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+205836910342963200000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₅+205836910342963200000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅+21620025711820800000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+21620025711820800000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+224549341102080000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₅+224549341102080000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₅+224549341102080000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅+224549341102080000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅+246867128250531840000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+246867128250531840000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+246867128250531840000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+246867128250531840000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+25729613792870400000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+25729613792870400000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+257439017263104000000⋅X₀⋅X₁⋅X₄⋅X₅⋅X₅+25929623854632960000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+269309575692288000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+269309575692288000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+269309575692288000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+269309575692288000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+28068667637760000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+28068667637760000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+280842544742400000000⋅X₀⋅X₀⋅X₁⋅X₅⋅X₅+280842544742400000000⋅X₀⋅X₁⋅X₁⋅X₅⋅X₅+280842544742400000000⋅X₀⋅X₁⋅X₂⋅X₅⋅X₅+280842544742400000000⋅X₀⋅X₁⋅X₃⋅X₅⋅X₅+283025771429068800000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₅+29498222780928000000⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+29498222780928000000⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+30858391031316480000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+30858391031316480000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+308755365514444800000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₅+308755365514444800000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₅+308755365514444800000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₅+308755365514444800000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅+308755365514444800000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅+308755365514444800000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅+32179877157888000000⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+32179877157888000000⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+336824011653120000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₅+336824011653120000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₅+336824011653120000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₅+336824011653120000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅+339442324993474560000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+339442324993474560000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+339442324993474560000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+339442324993474560000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+35105318092800000000⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+35105318092800000000⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+35378221428633600000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+35378221428633600000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+35775263416320000000⋅X₀⋅X₄⋅X₅⋅X₅⋅X₅+35775263416320000000⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅+370300692375797760000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+370300692375797760000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+370300692375797760000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+370300692375797760000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+3728657059200000000⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₀⋅X₀⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₀⋅X₂⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₀⋅X₃⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅+39027557376000000000⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅+403964363538432000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+403964363538432000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+403964363538432000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+403964363538432000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+403964363538432000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+403964363538432000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+4067625600000000000⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+4067625600000000000⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+42103001456640000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+42430290624184320000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+42430290624184320000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+43240051423641600000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₅+43240051423641600000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅+449098682204160000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₅+449098682204160000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₅+46287586546974720000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+493734256501063680000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+493734256501063680000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+4954589570620800000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+51859247709265920000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+51859247709265920000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+51859247709265920000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+51859247709265920000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+51859247709265920000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+51859247709265920000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+53861915138457600000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+53861915138457600000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+538619151384576000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+538619151384576000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+538619151384576000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+538619151384576000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+538619151384576000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+538619151384576000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+56137335275520000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₅+56137335275520000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₅+56137335275520000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅+56137335275520000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅+58996445561856000000⋅X₀⋅X₄⋅X₄⋅X₅⋅X₅+58996445561856000000⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅+5942205880680960000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+5942205880680960000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+61716782062632960000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+61716782062632960000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+61716782062632960000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+61716782062632960000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+617510731028889600000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₅+617510731028889600000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₅+617510731028889600000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₅+617510731028889600000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₅+64359754315776000000⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+67327393923072000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+67327393923072000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+67327393923072000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+67327393923072000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+67327393923072000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+67327393923072000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+67327393923072000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+67327393923072000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+673648023306240000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₅+673648023306240000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₅+673648023306240000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₅+673648023306240000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₅+673648023306240000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₅+673648023306240000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₅+678313440000000000⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+7017166909440000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+7017166909440000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+70210636185600000000⋅X₀⋅X₂⋅X₂⋅X₅⋅X₅+70210636185600000000⋅X₀⋅X₃⋅X₃⋅X₅⋅X₅+70210636185600000000⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅+70210636185600000000⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅+70756442857267200000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+740601384751595520000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+740601384751595520000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+740601384751595520000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+740601384751595520000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+740601384751595520000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+740601384751595520000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+7714597757829120000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+7714597757829120000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+77188841378611200000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+77188841378611200000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+78055114752000000000⋅X₀⋅X₁⋅X₅⋅X₅⋅X₅+807928727076864000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+807928727076864000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+807928727076864000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+807928727076864000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+8135251200000000000⋅X₀⋅X₅⋅X₅⋅X₅⋅X₅+8135251200000000000⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅+8198498436480000000⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+8415924240384000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+8415924240384000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+84860581248368640000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+84860581248368640000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+84860581248368640000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+84860581248368640000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+9013346476992000000⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+93614181580800000000⋅X₀⋅X₀⋅X₀⋅X₅⋅X₅+93614181580800000000⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅+9756889344000000000⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+9756889344000000000⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+129598519864320000000⋅X₀⋅X₄⋅X₅⋅X₅+129598519864320000000⋅X₁⋅X₄⋅X₅⋅X₅+135574303703040000000⋅X₀⋅X₀⋅X₀⋅X₀+135574303703040000000⋅X₁⋅X₁⋅X₁⋅X₁+141380183808000000000⋅X₀⋅X₀⋅X₅⋅X₅+141380183808000000000⋅X₀⋅X₂⋅X₅⋅X₅+141380183808000000000⋅X₁⋅X₁⋅X₅⋅X₅+141380183808000000000⋅X₁⋅X₂⋅X₅⋅X₅+141380183811110400000⋅X₀⋅X₃⋅X₅⋅X₅+141380183811110400000⋅X₁⋅X₃⋅X₅⋅X₅+142479262341504000000⋅X₀⋅X₄⋅X₄⋅X₅+142479262341504000000⋅X₁⋅X₄⋅X₄⋅X₅+155431900909405440000⋅X₂⋅X₃⋅X₄⋅X₅+169562050099200000000⋅X₀⋅X₂⋅X₂⋅X₅+169562050099200000000⋅X₁⋅X₂⋅X₂⋅X₅+169562050106664960000⋅X₀⋅X₃⋅X₃⋅X₅+169562050106664960000⋅X₁⋅X₃⋅X₃⋅X₅+170880159585484800000⋅X₀⋅X₀⋅X₄⋅X₄+170880159585484800000⋅X₀⋅X₂⋅X₄⋅X₄+170880159585484800000⋅X₁⋅X₁⋅X₄⋅X₄+170880159585484800000⋅X₁⋅X₂⋅X₄⋅X₄+170880159589248384000⋅X₀⋅X₃⋅X₄⋅X₄+170880159589248384000⋅X₁⋅X₃⋅X₄⋅X₄+18009785505600000000⋅X₄⋅X₅⋅X₅⋅X₅+186414693569740800000⋅X₀⋅X₂⋅X₂⋅X₄+186414693569740800000⋅X₁⋅X₂⋅X₂⋅X₄+186414693577952256000⋅X₀⋅X₃⋅X₃⋅X₄+186414693577952256000⋅X₁⋅X₃⋅X₃⋅X₄+19647036000000000000⋅X₂⋅X₅⋅X₅⋅X₅+19647036000432000000⋅X₃⋅X₅⋅X₅⋅X₅+203361455554560000000⋅X₀⋅X₀⋅X₂⋅X₂+203361455554560000000⋅X₁⋅X₁⋅X₂⋅X₂+203361455559038976000⋅X₀⋅X₂⋅X₂⋅X₃+203361455559038976000⋅X₁⋅X₂⋅X₂⋅X₃+203361455563517952000⋅X₀⋅X₀⋅X₃⋅X₃+203361455563517952000⋅X₀⋅X₂⋅X₃⋅X₃+203361455563517952000⋅X₁⋅X₁⋅X₃⋅X₃+203361455563517952000⋅X₁⋅X₂⋅X₃⋅X₃+21767668111728000000⋅X₄⋅X₄⋅X₄⋅X₅+226082733465600000000⋅X₀⋅X₀⋅X₀⋅X₅+226082733465600000000⋅X₁⋅X₁⋅X₁⋅X₅+248552924759654400000⋅X₀⋅X₀⋅X₀⋅X₄+248552924759654400000⋅X₁⋅X₁⋅X₁⋅X₄+26106694685913600000⋅X₂⋅X₄⋅X₄⋅X₄+26106694686488592000⋅X₃⋅X₄⋅X₄⋅X₄+271148607406080000000⋅X₀⋅X₀⋅X₀⋅X₂+271148607406080000000⋅X₁⋅X₁⋅X₁⋅X₂+271148607412051968000⋅X₀⋅X₀⋅X₀⋅X₃+271148607412051968000⋅X₁⋅X₁⋅X₁⋅X₃+28260341683200000000⋅X₂⋅X₂⋅X₂⋅X₅+28260341685066240000⋅X₃⋅X₃⋅X₃⋅X₅+282760367616000000000⋅X₀⋅X₁⋅X₅⋅X₅+29699664936480000000⋅X₄⋅X₄⋅X₅⋅X₅+31069115594956800000⋅X₂⋅X₂⋅X₂⋅X₄+31069115597009664000⋅X₃⋅X₃⋅X₃⋅X₄+310863801811968000000⋅X₀⋅X₀⋅X₄⋅X₅+310863801811968000000⋅X₀⋅X₂⋅X₄⋅X₅+310863801811968000000⋅X₁⋅X₁⋅X₄⋅X₅+310863801811968000000⋅X₁⋅X₂⋅X₄⋅X₅+310863801818810880000⋅X₀⋅X₃⋅X₄⋅X₅+310863801818810880000⋅X₁⋅X₃⋅X₄⋅X₅+33893575926506496000⋅X₂⋅X₂⋅X₂⋅X₃+33893575927999488000⋅X₂⋅X₃⋅X₃⋅X₃+339124100198400000000⋅X₀⋅X₀⋅X₂⋅X₅+339124100198400000000⋅X₁⋅X₁⋅X₂⋅X₅+339124100205864960000⋅X₀⋅X₀⋅X₃⋅X₅+339124100205864960000⋅X₀⋅X₂⋅X₃⋅X₅+339124100205864960000⋅X₁⋅X₁⋅X₃⋅X₅+339124100205864960000⋅X₁⋅X₂⋅X₃⋅X₅+341760319170969600000⋅X₀⋅X₁⋅X₄⋅X₄+35345045952000000000⋅X₂⋅X₂⋅X₅⋅X₅+35345045953555200000⋅X₃⋅X₃⋅X₅⋅X₅+372829387139481600000⋅X₀⋅X₀⋅X₂⋅X₄+372829387139481600000⋅X₁⋅X₁⋅X₂⋅X₄+372829387147693056000⋅X₀⋅X₀⋅X₃⋅X₄+372829387147693056000⋅X₀⋅X₂⋅X₃⋅X₄+372829387147693056000⋅X₁⋅X₁⋅X₃⋅X₄+372829387147693056000⋅X₁⋅X₂⋅X₃⋅X₄+39294072000000000000⋅X₀⋅X₅⋅X₅⋅X₅+39294072000000000000⋅X₁⋅X₅⋅X₅⋅X₅+406722911109120000000⋅X₀⋅X₁⋅X₂⋅X₂+406722911118077952000⋅X₀⋅X₀⋅X₂⋅X₃+406722911118077952000⋅X₁⋅X₁⋅X₂⋅X₃+406722911127035904000⋅X₀⋅X₁⋅X₃⋅X₃+4095403200000000000⋅X₅⋅X₅⋅X₅⋅X₅+42720039896371200000⋅X₂⋅X₂⋅X₄⋅X₄+42720039898252992000⋅X₃⋅X₃⋅X₄⋅X₄+50840363890879488000⋅X₂⋅X₂⋅X₃⋅X₃+52213389371827200000⋅X₀⋅X₄⋅X₄⋅X₄+52213389371827200000⋅X₁⋅X₄⋅X₄⋅X₄+542297214812160000000⋅X₀⋅X₀⋅X₀⋅X₁+542297214812160000000⋅X₀⋅X₁⋅X₁⋅X₁+5982785032593600000⋅X₄⋅X₄⋅X₄⋅X₄+621727603623936000000⋅X₀⋅X₁⋅X₄⋅X₅+64799259932160000000⋅X₂⋅X₄⋅X₅⋅X₅+64799259933585600000⋅X₃⋅X₄⋅X₅⋅X₅+67787151851520000000⋅X₀⋅X₂⋅X₂⋅X₂+67787151851520000000⋅X₁⋅X₂⋅X₂⋅X₂+67787151855998976000⋅X₀⋅X₃⋅X₃⋅X₃+67787151855998976000⋅X₁⋅X₃⋅X₃⋅X₃+678248200396800000000⋅X₀⋅X₀⋅X₁⋅X₅+678248200396800000000⋅X₀⋅X₁⋅X₁⋅X₅+678248200396800000000⋅X₀⋅X₁⋅X₂⋅X₅+678248200411729920000⋅X₀⋅X₁⋅X₃⋅X₅+70690091905555200000⋅X₂⋅X₃⋅X₅⋅X₅+71239631170752000000⋅X₂⋅X₄⋅X₄⋅X₅+71239631172320160000⋅X₃⋅X₄⋅X₄⋅X₅+745658774278963200000⋅X₀⋅X₀⋅X₁⋅X₄+745658774278963200000⋅X₀⋅X₁⋅X₁⋅X₄+745658774278963200000⋅X₀⋅X₁⋅X₂⋅X₄+745658774295386112000⋅X₀⋅X₁⋅X₃⋅X₄+77715950452992000000⋅X₂⋅X₂⋅X₄⋅X₅+77715950456413440000⋅X₃⋅X₃⋅X₄⋅X₅+813445822218240000000⋅X₀⋅X₀⋅X₁⋅X₁+813445822218240000000⋅X₀⋅X₀⋅X₁⋅X₂+813445822218240000000⋅X₀⋅X₁⋅X₁⋅X₂+813445822236155904000⋅X₀⋅X₀⋅X₁⋅X₃+813445822236155904000⋅X₀⋅X₁⋅X₁⋅X₃+813445822236155904000⋅X₀⋅X₁⋅X₂⋅X₃+8473393981440000000⋅X₂⋅X₂⋅X₂⋅X₂+8473393982186496000⋅X₃⋅X₃⋅X₃⋅X₃+84781025051466240000⋅X₂⋅X₂⋅X₃⋅X₅+84781025053332480000⋅X₂⋅X₃⋅X₃⋅X₅+85440079794624192000⋅X₂⋅X₃⋅X₄⋅X₄+93207346786923264000⋅X₂⋅X₂⋅X₃⋅X₄+93207346788976128000⋅X₂⋅X₃⋅X₃⋅X₄+104328877374721584000⋅X₂⋅X₄⋅X₅+104328877381610400000⋅X₃⋅X₄⋅X₅+113813296999518528000⋅X₂⋅X₃⋅X₅+114698046000384000000⋅X₀⋅X₄⋅X₄+114698046000384000000⋅X₁⋅X₄⋅X₄+125125114941134380800⋅X₂⋅X₃⋅X₄+13187468700000000000⋅X₅⋅X₅⋅X₅+136500096844804147200⋅X₀⋅X₂⋅X₂+136500096844804147200⋅X₁⋅X₂⋅X₂+136500096862840320000⋅X₀⋅X₃⋅X₃+136500096862840320000⋅X₁⋅X₃⋅X₃+17523316246788000000⋅X₄⋅X₄⋅X₄+182000129126400000000⋅X₀⋅X₀⋅X₀+182000129126400000000⋅X₁⋅X₁⋅X₁+208657754749440000000⋅X₀⋅X₄⋅X₅+208657754749440000000⋅X₁⋅X₄⋅X₅+22750016140801036800⋅X₂⋅X₂⋅X₂+22750016145310080000⋅X₃⋅X₃⋅X₃+227626593984000000000⋅X₀⋅X₀⋅X₅+227626593984000000000⋅X₁⋅X₁⋅X₅+227626593984003456000⋅X₀⋅X₂⋅X₅+227626593984003456000⋅X₁⋅X₂⋅X₅+227626593999033600000⋅X₀⋅X₃⋅X₅+227626593999033600000⋅X₁⋅X₃⋅X₅+250250229865728000000⋅X₀⋅X₀⋅X₄+250250229865728000000⋅X₁⋅X₁⋅X₄+250250229865731801600⋅X₀⋅X₂⋅X₄+250250229865731801600⋅X₁⋅X₂⋅X₄+250250229882264960000⋅X₀⋅X₃⋅X₄+250250229882264960000⋅X₁⋅X₃⋅X₄+273000193689604147200⋅X₀⋅X₀⋅X₂+273000193689604147200⋅X₁⋅X₁⋅X₂+273000193707640320000⋅X₀⋅X₀⋅X₃+273000193707640320000⋅X₁⋅X₁⋅X₃+273000193707644467200⋅X₀⋅X₂⋅X₃+273000193707644467200⋅X₁⋅X₂⋅X₃+43494510682800000000⋅X₄⋅X₅⋅X₅+455253187968000000000⋅X₀⋅X₁⋅X₅+47448547200000720000⋅X₂⋅X₅⋅X₅+47448547203132000000⋅X₃⋅X₅⋅X₅+47817412121160000000⋅X₄⋅X₄⋅X₅+500500459731456000000⋅X₀⋅X₁⋅X₄+546000387379200000000⋅X₀⋅X₀⋅X₁+546000387379200000000⋅X₀⋅X₁⋅X₁+546000387379208294400⋅X₀⋅X₁⋅X₂+546000387415280640000⋅X₀⋅X₁⋅X₃+56906648496001728000⋅X₂⋅X₂⋅X₅+56906648503516800000⋅X₃⋅X₃⋅X₅+57349023000192871200⋅X₂⋅X₄⋅X₄+57349023003981720000⋅X₃⋅X₄⋅X₄+62562557466433900800⋅X₂⋅X₂⋅X₄+62562557474700480000⋅X₃⋅X₃⋅X₄+68250048426912153600⋅X₂⋅X₂⋅X₃+68250048431421196800⋅X₂⋅X₃⋅X₃+94897094400000000000⋅X₀⋅X₅⋅X₅+94897094400000000000⋅X₁⋅X₅⋅X₅+114590497050000000000⋅X₀⋅X₅+114590497050000001200⋅X₁⋅X₅+125979561056160000000⋅X₀⋅X₄+125979561056160001320⋅X₁⋅X₄+137432210112000000000⋅X₀⋅X₀+137432210112000002880⋅X₁⋅X₁+137432210112008352000⋅X₀⋅X₂+137432210112008353440⋅X₁⋅X₂+137432210130165600000⋅X₀⋅X₃+137432210130165601440⋅X₁⋅X₃+23886281737500000000⋅X₅⋅X₅+274864420224000002880⋅X₀⋅X₁+28870324123740000000⋅X₄⋅X₄+34358052528004176000⋅X₂⋅X₂+34358052537082800000⋅X₃⋅X₃+52520659114650000000⋅X₄⋅X₅+57295248525003480000⋅X₂⋅X₅+57295248532569000000⋅X₃⋅X₅+62989780528083828000⋅X₂⋅X₄+62989780536405900000⋅X₃⋅X₄+68716105065086976000⋅X₂⋅X₃+23074600574375000000⋅X₅+25367968057887500000⋅X₄+27674137327504205000⋅X₂+27674137333597250000⋅X₃+55348274655000000001⋅X₀+55348274655000002900⋅X₁+9287704656562500000 {O(n^6)}
t₁, X₁: 1036365580800000⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+10763875123200000⋅X₀⋅X₀⋅X₀⋅X₅⋅X₅+10763875123200000⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅+1121983488000000⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+1121983488000000⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+11609505792000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+11609505792000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+11923034112000000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+125233257600000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+12908050513920000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₅+12908050513920000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅+13006946304000000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+13006946304000000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+1345484390400000⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+1345484390400000⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+1366180992000000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+1366180992000000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+14189395968000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+14189395968000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+14800328294400000⋅X₀⋅X₀⋅X₄⋅X₅⋅X₅+14800328294400000⋅X₀⋅X₂⋅X₄⋅X₅⋅X₅+14800328294400000⋅X₀⋅X₃⋅X₄⋅X₅⋅X₅+14800328294400000⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅+14800328294400000⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅+14800328294400000⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅+1490379264000000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+1490379264000000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+15479341056000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+15479341056000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+15479341056000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+15479341056000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+15479341056000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+15479341056000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+15479341056000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+15479341056000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+15479341056000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+15479341056000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+16145812684800000⋅X₀⋅X₀⋅X₂⋅X₅⋅X₅+16145812684800000⋅X₀⋅X₀⋅X₃⋅X₅⋅X₅+16145812684800000⋅X₀⋅X₂⋅X₃⋅X₅⋅X₅+16145812684800000⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅+16145812684800000⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅+16145812684800000⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅+1625868288000000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+1625868288000000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+16269522001920000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₅+16269522001920000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₅+16269522001920000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₅+16269522001920000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅+16269522001920000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅+16269522001920000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅+17748569456640000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₅+17748569456640000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₅+17748569456640000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅+17748569456640000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅+193491763200000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+193491763200000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+1934917632000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+1934917632000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+1934917632000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+1934917632000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+1934917632000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+1934917632000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+19362075770880000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₅+19362075770880000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₅+19362075770880000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₅+19362075770880000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₅+19362075770880000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅+19362075770880000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅+19362075770880000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅+19362075770880000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅+19510419456000000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+19510419456000000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+19510419456000000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+19510419456000000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+19510419456000000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+19510419456000000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+2056969728000000⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+2056969728000000⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+21284093952000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+21284093952000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+21284093952000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+21284093952000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+21284093952000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+21284093952000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+21284093952000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+21284093952000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+2243966976000000⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+23219011584000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+23219011584000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+23219011584000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+23219011584000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+23664759275520000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₅+23664759275520000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅+2485621416960000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+2485621416960000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+25816101027840000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₅+25816101027840000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₅+25816101027840000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅+25816101027840000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅+28378791936000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+28378791936000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+28378791936000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+28378791936000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+2958094909440000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+2958094909440000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+29600656588800000⋅X₀⋅X₁⋅X₄⋅X₅⋅X₅+2980758528000000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+30958682112000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+30958682112000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+30958682112000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+30958682112000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+3227012628480000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+3227012628480000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+32291625369600000⋅X₀⋅X₀⋅X₁⋅X₅⋅X₅+32291625369600000⋅X₀⋅X₁⋅X₁⋅X₅⋅X₅+32291625369600000⋅X₀⋅X₁⋅X₂⋅X₅⋅X₅+32291625369600000⋅X₀⋅X₁⋅X₃⋅X₅⋅X₅+32539044003840000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₅+3391741900800000⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+3391741900800000⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+3547348992000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+3547348992000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+35497138913280000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₅+35497138913280000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₅+35497138913280000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₅+35497138913280000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅+35497138913280000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅+35497138913280000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅+3700082073600000⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+3700082073600000⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+38724151541760000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₅+38724151541760000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₅+38724151541760000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₅+38724151541760000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅+39020838912000000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+39020838912000000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+39020838912000000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+39020838912000000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+4036453171200000⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+4036453171200000⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+4067380500480000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+4067380500480000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+4113939456000000⋅X₀⋅X₄⋅X₅⋅X₅⋅X₅+4113939456000000⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅+42568187904000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+42568187904000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+42568187904000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+42568187904000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+428820480000000⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₀⋅X₀⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₀⋅X₂⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₀⋅X₃⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅+4487933952000000⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅+46438023168000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+46438023168000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+46438023168000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+46438023168000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+46438023168000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+46438023168000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+467804160000000⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+467804160000000⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+4840518942720000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+4877604864000000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+4877604864000000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+4971242833920000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₅+4971242833920000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅+51632202055680000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₅+51632202055680000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₅+5321023488000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+56757583872000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+56757583872000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+569621574720000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+5961517056000000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+5961517056000000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+5961517056000000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+5961517056000000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+5961517056000000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+5961517056000000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+6191736422400000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+6191736422400000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+61917364224000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+61917364224000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+61917364224000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+61917364224000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+61917364224000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+61917364224000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+6454025256960000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₅+6454025256960000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₅+6454025256960000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅+6454025256960000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅+6783483801600000⋅X₀⋅X₄⋅X₄⋅X₅⋅X₅+6783483801600000⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅+683090496000000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+683090496000000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+7094697984000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+7094697984000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+7094697984000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+7094697984000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+70994277826560000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₅+70994277826560000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₅+70994277826560000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₅+70994277826560000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₅+7400164147200000⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+7739670528000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+7739670528000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+7739670528000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+7739670528000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+7739670528000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+7739670528000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+7739670528000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+7739670528000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+77448303083520000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₅+77448303083520000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₅+77448303083520000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₅+77448303083520000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₅+77448303083520000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₅+77448303083520000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₅+78019200000000⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+806753157120000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+806753157120000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+8072906342400000⋅X₀⋅X₂⋅X₂⋅X₅⋅X₅+8072906342400000⋅X₀⋅X₃⋅X₃⋅X₅⋅X₅+8072906342400000⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅+8072906342400000⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅+8134761000960000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+85136375808000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+85136375808000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+85136375808000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+85136375808000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+85136375808000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+85136375808000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+886837248000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+886837248000000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+8874284728320000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+8874284728320000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+8975867904000000⋅X₀⋅X₁⋅X₅⋅X₅⋅X₅+92876046336000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+92876046336000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+92876046336000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+92876046336000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+935608320000000⋅X₀⋅X₅⋅X₅⋅X₅⋅X₅+935608320000000⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅+942777792000000⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+967458816000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+967458816000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+9755209728000000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+9755209728000000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+9755209728000000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+9755209728000000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+11688514928640000⋅X₂⋅X₂⋅X₃⋅X₃+12004180746624000⋅X₀⋅X₄⋅X₄⋅X₄+12004180746624000⋅X₁⋅X₄⋅X₄⋅X₄+124677492572160000⋅X₀⋅X₀⋅X₀⋅X₁+124677492572160000⋅X₀⋅X₁⋅X₁⋅X₁+1375479187632000⋅X₄⋅X₄⋅X₄⋅X₄+142954894725120000⋅X₀⋅X₁⋅X₄⋅X₅+14901057043200000⋅X₂⋅X₄⋅X₅⋅X₅+14901057043200000⋅X₃⋅X₄⋅X₅⋅X₅+15584686571520000⋅X₀⋅X₂⋅X₂⋅X₂+15584686571520000⋅X₀⋅X₃⋅X₃⋅X₃+15584686571520000⋅X₁⋅X₂⋅X₂⋅X₂+15584686571520000⋅X₁⋅X₃⋅X₃⋅X₃+155950777958400000⋅X₀⋅X₀⋅X₁⋅X₅+155950777958400000⋅X₀⋅X₁⋅X₁⋅X₅+155950777958400000⋅X₀⋅X₁⋅X₂⋅X₅+155950777958400000⋅X₀⋅X₁⋅X₃⋅X₅+16255696896000000⋅X₂⋅X₃⋅X₅⋅X₅+16380250064640000⋅X₂⋅X₄⋅X₄⋅X₅+16380250064640000⋅X₃⋅X₄⋅X₄⋅X₅+171431570202624000⋅X₀⋅X₀⋅X₁⋅X₄+171431570202624000⋅X₀⋅X₁⋅X₁⋅X₄+171431570202624000⋅X₀⋅X₁⋅X₂⋅X₄+171431570202624000⋅X₀⋅X₁⋅X₃⋅X₄+17869361840640000⋅X₂⋅X₂⋅X₄⋅X₅+17869361840640000⋅X₃⋅X₃⋅X₄⋅X₅+187016238858240000⋅X₀⋅X₀⋅X₁⋅X₁+187016238858240000⋅X₀⋅X₀⋅X₁⋅X₂+187016238858240000⋅X₀⋅X₀⋅X₁⋅X₃+187016238858240000⋅X₀⋅X₁⋅X₁⋅X₂+187016238858240000⋅X₀⋅X₁⋅X₁⋅X₃+187016238858240000⋅X₀⋅X₁⋅X₂⋅X₃+1948085821440000⋅X₂⋅X₂⋅X₂⋅X₂+1948085821440000⋅X₃⋅X₃⋅X₃⋅X₃+19493847244800000⋅X₂⋅X₂⋅X₃⋅X₅+19493847244800000⋅X₂⋅X₃⋅X₃⋅X₅+19643202805248000⋅X₂⋅X₃⋅X₄⋅X₄+21428946275328000⋅X₂⋅X₂⋅X₃⋅X₄+21428946275328000⋅X₂⋅X₃⋅X₃⋅X₄+29802114086400000⋅X₀⋅X₄⋅X₅⋅X₅+29802114086400000⋅X₁⋅X₄⋅X₅⋅X₅+31169373143040000⋅X₀⋅X₀⋅X₀⋅X₀+31169373143040000⋅X₁⋅X₁⋅X₁⋅X₁+32511393792000000⋅X₀⋅X₀⋅X₅⋅X₅+32511393792000000⋅X₀⋅X₂⋅X₅⋅X₅+32511393792000000⋅X₀⋅X₃⋅X₅⋅X₅+32511393792000000⋅X₁⋅X₁⋅X₅⋅X₅+32511393792000000⋅X₁⋅X₂⋅X₅⋅X₅+32511393792000000⋅X₁⋅X₃⋅X₅⋅X₅+32760500129280000⋅X₀⋅X₄⋅X₄⋅X₅+32760500129280000⋅X₁⋅X₄⋅X₄⋅X₅+35738723681280000⋅X₂⋅X₃⋅X₄⋅X₅+38987694489600000⋅X₀⋅X₂⋅X₂⋅X₅+38987694489600000⋅X₀⋅X₃⋅X₃⋅X₅+38987694489600000⋅X₁⋅X₂⋅X₂⋅X₅+38987694489600000⋅X₁⋅X₃⋅X₃⋅X₅+39286405610496000⋅X₀⋅X₀⋅X₄⋅X₄+39286405610496000⋅X₀⋅X₂⋅X₄⋅X₄+39286405610496000⋅X₀⋅X₃⋅X₄⋅X₄+39286405610496000⋅X₁⋅X₁⋅X₄⋅X₄+39286405610496000⋅X₁⋅X₂⋅X₄⋅X₄+39286405610496000⋅X₁⋅X₃⋅X₄⋅X₄+4141938672000000⋅X₄⋅X₅⋅X₅⋅X₅+42857892550656000⋅X₀⋅X₂⋅X₂⋅X₄+42857892550656000⋅X₀⋅X₃⋅X₃⋅X₄+42857892550656000⋅X₁⋅X₂⋅X₂⋅X₄+42857892550656000⋅X₁⋅X₃⋅X₃⋅X₄+4518478080000000⋅X₂⋅X₅⋅X₅⋅X₅+4518478080000000⋅X₃⋅X₅⋅X₅⋅X₅+46754059714560000⋅X₀⋅X₀⋅X₂⋅X₂+46754059714560000⋅X₀⋅X₀⋅X₃⋅X₃+46754059714560000⋅X₀⋅X₂⋅X₂⋅X₃+46754059714560000⋅X₀⋅X₂⋅X₃⋅X₃+46754059714560000⋅X₁⋅X₁⋅X₂⋅X₂+46754059714560000⋅X₁⋅X₁⋅X₃⋅X₃+46754059714560000⋅X₁⋅X₂⋅X₂⋅X₃+46754059714560000⋅X₁⋅X₂⋅X₃⋅X₃+5005076931360000⋅X₄⋅X₄⋅X₄⋅X₅+51983592652800000⋅X₀⋅X₀⋅X₀⋅X₅+51983592652800000⋅X₁⋅X₁⋅X₁⋅X₅+57143856734208000⋅X₀⋅X₀⋅X₀⋅X₄+57143856734208000⋅X₁⋅X₁⋅X₁⋅X₄+6002090373312000⋅X₂⋅X₄⋅X₄⋅X₄+6002090373312000⋅X₃⋅X₄⋅X₄⋅X₄+62338746286080000⋅X₀⋅X₀⋅X₀⋅X₂+62338746286080000⋅X₀⋅X₀⋅X₀⋅X₃+62338746286080000⋅X₁⋅X₁⋅X₁⋅X₂+62338746286080000⋅X₁⋅X₁⋅X₁⋅X₃+6497949081600000⋅X₂⋅X₂⋅X₂⋅X₅+6497949081600000⋅X₃⋅X₃⋅X₃⋅X₅+65022787584000000⋅X₀⋅X₁⋅X₅⋅X₅+6829651857600000⋅X₄⋅X₄⋅X₅⋅X₅+7142982091776000⋅X₂⋅X₂⋅X₂⋅X₄+7142982091776000⋅X₃⋅X₃⋅X₃⋅X₄+71477447362560000⋅X₀⋅X₀⋅X₄⋅X₅+71477447362560000⋅X₀⋅X₂⋅X₄⋅X₅+71477447362560000⋅X₀⋅X₃⋅X₄⋅X₅+71477447362560000⋅X₁⋅X₁⋅X₄⋅X₅+71477447362560000⋅X₁⋅X₂⋅X₄⋅X₅+71477447362560000⋅X₁⋅X₃⋅X₄⋅X₅+7792343285760000⋅X₂⋅X₂⋅X₂⋅X₃+7792343285760000⋅X₂⋅X₃⋅X₃⋅X₃+77975388979200000⋅X₀⋅X₀⋅X₂⋅X₅+77975388979200000⋅X₀⋅X₀⋅X₃⋅X₅+77975388979200000⋅X₀⋅X₂⋅X₃⋅X₅+77975388979200000⋅X₁⋅X₁⋅X₂⋅X₅+77975388979200000⋅X₁⋅X₁⋅X₃⋅X₅+77975388979200000⋅X₁⋅X₂⋅X₃⋅X₅+78572811220992000⋅X₀⋅X₁⋅X₄⋅X₄+8127848448000000⋅X₂⋅X₂⋅X₅⋅X₅+8127848448000000⋅X₃⋅X₃⋅X₅⋅X₅+85715785101312000⋅X₀⋅X₀⋅X₂⋅X₄+85715785101312000⋅X₀⋅X₀⋅X₃⋅X₄+85715785101312000⋅X₀⋅X₂⋅X₃⋅X₄+85715785101312000⋅X₁⋅X₁⋅X₂⋅X₄+85715785101312000⋅X₁⋅X₁⋅X₃⋅X₄+85715785101312000⋅X₁⋅X₂⋅X₃⋅X₄+9036956160000000⋅X₀⋅X₅⋅X₅⋅X₅+9036956160000000⋅X₁⋅X₅⋅X₅⋅X₅+93508119429120000⋅X₀⋅X₀⋅X₂⋅X₃+93508119429120000⋅X₀⋅X₁⋅X₂⋅X₂+93508119429120000⋅X₀⋅X₁⋅X₃⋅X₃+93508119429120000⋅X₁⋅X₁⋅X₂⋅X₃+941976000000000⋅X₅⋅X₅⋅X₅⋅X₅+9821601402624000⋅X₂⋅X₂⋅X₄⋅X₄+9821601402624000⋅X₃⋅X₃⋅X₄⋅X₄+15002471052000000⋅X₄⋅X₅⋅X₅+157012121088000000⋅X₀⋅X₁⋅X₅+16366328640000000⋅X₂⋅X₅⋅X₅+16366328640720000⋅X₃⋅X₅⋅X₅+16491731414400000⋅X₄⋅X₄⋅X₅+172598272035840000⋅X₀⋅X₁⋅X₄+188288984678400000⋅X₀⋅X₀⋅X₁+188288984678400000⋅X₀⋅X₁⋅X₁+188288984678400000⋅X₀⋅X₁⋅X₂+188288984686694400⋅X₀⋅X₁⋅X₃+19626515136000000⋅X₂⋅X₂⋅X₅+19626515137728000⋅X₃⋅X₃⋅X₅+19776889471680000⋅X₂⋅X₄⋅X₄+19776889472551200⋅X₃⋅X₄⋅X₄+21574784004480000⋅X₂⋅X₂⋅X₄+21574784006380800⋅X₃⋅X₃⋅X₄+23536123085836800⋅X₂⋅X₂⋅X₃+23536123086873600⋅X₂⋅X₃⋅X₃+32732657280000000⋅X₀⋅X₅⋅X₅+32732657280000000⋅X₁⋅X₅⋅X₅+35981951932800000⋅X₂⋅X₄⋅X₅+35981951934384000⋅X₃⋅X₄⋅X₅+39253030273728000⋅X₂⋅X₃⋅X₅+39553778943360000⋅X₀⋅X₄⋅X₄+39553778943360000⋅X₁⋅X₄⋅X₄+43149568010860800⋅X₂⋅X₃⋅X₄+4549230000000000⋅X₅⋅X₅⋅X₅+47072246169600000⋅X₀⋅X₂⋅X₂+47072246169600000⋅X₁⋅X₂⋅X₂+47072246173747200⋅X₀⋅X₃⋅X₃+47072246173747200⋅X₁⋅X₃⋅X₃+6042939712920000⋅X₄⋅X₄⋅X₄+62762994892800000⋅X₀⋅X₀⋅X₀+62762994892800000⋅X₁⋅X₁⋅X₁+71963903865600000⋅X₀⋅X₄⋅X₅+71963903865600000⋅X₁⋅X₄⋅X₅+7845374361600000⋅X₂⋅X₂⋅X₂+7845374362636800⋅X₃⋅X₃⋅X₃+78506060544000000⋅X₀⋅X₀⋅X₅+78506060544000000⋅X₀⋅X₂⋅X₅+78506060544000000⋅X₁⋅X₁⋅X₅+78506060544000000⋅X₁⋅X₂⋅X₅+78506060547456000⋅X₀⋅X₃⋅X₅+78506060547456000⋅X₁⋅X₃⋅X₅+86299136017920000⋅X₀⋅X₀⋅X₄+86299136017920000⋅X₀⋅X₂⋅X₄+86299136017920000⋅X₁⋅X₁⋅X₄+86299136017920000⋅X₁⋅X₂⋅X₄+86299136021721600⋅X₀⋅X₃⋅X₄+86299136021721600⋅X₁⋅X₃⋅X₄+94144492339200000⋅X₀⋅X₀⋅X₂+94144492339200000⋅X₁⋅X₁⋅X₂+94144492343347200⋅X₀⋅X₀⋅X₃+94144492343347200⋅X₀⋅X₂⋅X₃+94144492343347200⋅X₁⋅X₁⋅X₃+94144492343347200⋅X₁⋅X₂⋅X₃+10985142000000000⋅X₅⋅X₅+126380259072000000⋅X₀⋅X₁+13274323731900000⋅X₄⋅X₄+15797532384001440⋅X₂⋅X₂+15797532388176000⋅X₃⋅X₃+24151223229000000⋅X₄⋅X₅+26346780720001200⋅X₂⋅X₅+26346780723480000⋅X₃⋅X₅+28962151786801320⋅X₂⋅X₄+28962151790628000⋅X₃⋅X₄+31595064772177440⋅X₂⋅X₃+52693561440000000⋅X₀⋅X₅+52693561440000000⋅X₁⋅X₅+57924303573600000⋅X₀⋅X₄+57924303573600000⋅X₁⋅X₄+63190129536000000⋅X₀⋅X₀+63190129536000000⋅X₁⋅X₁+63190129536002880⋅X₀⋅X₂+63190129536002880⋅X₁⋅X₂+63190129544352000⋅X₀⋅X₃+63190129544352000⋅X₁⋅X₃+13263043062500000⋅X₅+14579628352250000⋅X₄+15905042460002900⋅X₂+15905042464205000⋅X₃+31810084920000000⋅X₀+31810084920000001⋅X₁+6405313556250000 {O(n^5)}
t₁, X₂: 1074954240000⋅X₂⋅X₂⋅X₂⋅X₃+1074954240000⋅X₂⋅X₃⋅X₃⋅X₃+10758500352000⋅X₀⋅X₀⋅X₂⋅X₅+10758500352000⋅X₀⋅X₀⋅X₃⋅X₅+10758500352000⋅X₀⋅X₂⋅X₃⋅X₅+10758500352000⋅X₁⋅X₁⋅X₂⋅X₅+10758500352000⋅X₁⋅X₁⋅X₃⋅X₅+10758500352000⋅X₁⋅X₂⋅X₃⋅X₅+10839121920000⋅X₀⋅X₁⋅X₄⋅X₄+1121610240000⋅X₂⋅X₂⋅X₅⋅X₅+1121610240000⋅X₃⋅X₃⋅X₅⋅X₅+11824496640000⋅X₀⋅X₀⋅X₂⋅X₄+11824496640000⋅X₀⋅X₀⋅X₃⋅X₄+11824496640000⋅X₀⋅X₂⋅X₃⋅X₄+11824496640000⋅X₁⋅X₁⋅X₂⋅X₄+11824496640000⋅X₁⋅X₁⋅X₃⋅X₄+11824496640000⋅X₁⋅X₂⋅X₃⋅X₄+1247270400000⋅X₀⋅X₅⋅X₅⋅X₅+1247270400000⋅X₁⋅X₅⋅X₅⋅X₅+12899450880000⋅X₀⋅X₀⋅X₂⋅X₃+12899450880000⋅X₀⋅X₁⋅X₂⋅X₂+12899450880000⋅X₀⋅X₁⋅X₃⋅X₃+12899450880000⋅X₁⋅X₁⋅X₂⋅X₃+130032000000⋅X₅⋅X₅⋅X₅⋅X₅+1354890240000⋅X₂⋅X₂⋅X₄⋅X₄+1354890240000⋅X₃⋅X₃⋅X₄⋅X₄+1612431360000⋅X₂⋅X₂⋅X₃⋅X₃+1655976960000⋅X₀⋅X₄⋅X₄⋅X₄+1655976960000⋅X₁⋅X₄⋅X₄⋅X₄+17199267840000⋅X₀⋅X₀⋅X₀⋅X₁+17199267840000⋅X₀⋅X₁⋅X₁⋅X₁+189747360000⋅X₄⋅X₄⋅X₄⋅X₄+19723917312000⋅X₀⋅X₁⋅X₄⋅X₅+2056285440000⋅X₂⋅X₄⋅X₅⋅X₅+2056285440000⋅X₃⋅X₄⋅X₅⋅X₅+2149908480000⋅X₀⋅X₂⋅X₂⋅X₂+2149908480000⋅X₀⋅X₃⋅X₃⋅X₃+2149908480000⋅X₁⋅X₂⋅X₂⋅X₂+2149908480000⋅X₁⋅X₃⋅X₃⋅X₃+21517000704000⋅X₀⋅X₀⋅X₁⋅X₅+21517000704000⋅X₀⋅X₁⋅X₁⋅X₅+21517000704000⋅X₀⋅X₁⋅X₂⋅X₅+21517000704000⋅X₀⋅X₁⋅X₃⋅X₅+2243220480000⋅X₂⋅X₃⋅X₅⋅X₅+2260032192000⋅X₂⋅X₄⋅X₄⋅X₅+2260032192000⋅X₃⋅X₄⋅X₄⋅X₅+23648993280000⋅X₀⋅X₀⋅X₁⋅X₄+23648993280000⋅X₀⋅X₁⋅X₁⋅X₄+23648993280000⋅X₀⋅X₁⋅X₂⋅X₄+23648993280000⋅X₀⋅X₁⋅X₃⋅X₄+2465489664000⋅X₂⋅X₂⋅X₄⋅X₅+2465489664000⋅X₃⋅X₃⋅X₄⋅X₅+25798901760000⋅X₀⋅X₀⋅X₁⋅X₁+25798901760000⋅X₀⋅X₀⋅X₁⋅X₂+25798901760000⋅X₀⋅X₀⋅X₁⋅X₃+25798901760000⋅X₀⋅X₁⋅X₁⋅X₂+25798901760000⋅X₀⋅X₁⋅X₁⋅X₃+25798901760000⋅X₀⋅X₁⋅X₂⋅X₃+268738560000⋅X₂⋅X₂⋅X₂⋅X₂+268738560000⋅X₃⋅X₃⋅X₃⋅X₃+2689625088000⋅X₂⋅X₂⋅X₃⋅X₅+2689625088000⋅X₂⋅X₃⋅X₃⋅X₅+2709780480000⋅X₂⋅X₃⋅X₄⋅X₄+2956124160000⋅X₂⋅X₂⋅X₃⋅X₄+2956124160000⋅X₂⋅X₃⋅X₃⋅X₄+4112570880000⋅X₀⋅X₄⋅X₅⋅X₅+4112570880000⋅X₁⋅X₄⋅X₅⋅X₅+4299816960000⋅X₀⋅X₀⋅X₀⋅X₀+4299816960000⋅X₁⋅X₁⋅X₁⋅X₁+4486440960000⋅X₀⋅X₀⋅X₅⋅X₅+4486440960000⋅X₀⋅X₂⋅X₅⋅X₅+4486440960000⋅X₀⋅X₃⋅X₅⋅X₅+4486440960000⋅X₁⋅X₁⋅X₅⋅X₅+4486440960000⋅X₁⋅X₂⋅X₅⋅X₅+4486440960000⋅X₁⋅X₃⋅X₅⋅X₅+4520064384000⋅X₀⋅X₄⋅X₄⋅X₅+4520064384000⋅X₁⋅X₄⋅X₄⋅X₅+4930979328000⋅X₂⋅X₃⋅X₄⋅X₅+5379250176000⋅X₀⋅X₂⋅X₂⋅X₅+5379250176000⋅X₀⋅X₃⋅X₃⋅X₅+5379250176000⋅X₁⋅X₂⋅X₂⋅X₅+5379250176000⋅X₁⋅X₃⋅X₃⋅X₅+5419560960000⋅X₀⋅X₀⋅X₄⋅X₄+5419560960000⋅X₀⋅X₂⋅X₄⋅X₄+5419560960000⋅X₀⋅X₃⋅X₄⋅X₄+5419560960000⋅X₁⋅X₁⋅X₄⋅X₄+5419560960000⋅X₁⋅X₂⋅X₄⋅X₄+5419560960000⋅X₁⋅X₃⋅X₄⋅X₄+571665600000⋅X₄⋅X₅⋅X₅⋅X₅+5912248320000⋅X₀⋅X₂⋅X₂⋅X₄+5912248320000⋅X₀⋅X₃⋅X₃⋅X₄+5912248320000⋅X₁⋅X₂⋅X₂⋅X₄+5912248320000⋅X₁⋅X₃⋅X₃⋅X₄+623635200000⋅X₂⋅X₅⋅X₅⋅X₅+623635200000⋅X₃⋅X₅⋅X₅⋅X₅+6449725440000⋅X₀⋅X₀⋅X₂⋅X₂+6449725440000⋅X₀⋅X₀⋅X₃⋅X₃+6449725440000⋅X₀⋅X₂⋅X₂⋅X₃+6449725440000⋅X₀⋅X₂⋅X₃⋅X₃+6449725440000⋅X₁⋅X₁⋅X₂⋅X₂+6449725440000⋅X₁⋅X₁⋅X₃⋅X₃+6449725440000⋅X₁⋅X₂⋅X₂⋅X₃+6449725440000⋅X₁⋅X₂⋅X₃⋅X₃+690565392000⋅X₄⋅X₄⋅X₄⋅X₅+7172333568000⋅X₀⋅X₀⋅X₀⋅X₅+7172333568000⋅X₁⋅X₁⋅X₁⋅X₅+7882997760000⋅X₀⋅X₀⋅X₀⋅X₄+7882997760000⋅X₁⋅X₁⋅X₁⋅X₄+827988480000⋅X₂⋅X₄⋅X₄⋅X₄+827988480000⋅X₃⋅X₄⋅X₄⋅X₄+8599633920000⋅X₀⋅X₀⋅X₀⋅X₂+8599633920000⋅X₀⋅X₀⋅X₀⋅X₃+8599633920000⋅X₁⋅X₁⋅X₁⋅X₂+8599633920000⋅X₁⋅X₁⋅X₁⋅X₃+896541696000⋅X₂⋅X₂⋅X₂⋅X₅+896541696000⋅X₃⋅X₃⋅X₃⋅X₅+8972881920000⋅X₀⋅X₁⋅X₅⋅X₅+942464160000⋅X₄⋅X₄⋅X₅⋅X₅+985374720000⋅X₂⋅X₂⋅X₂⋅X₄+985374720000⋅X₃⋅X₃⋅X₃⋅X₄+9861958656000⋅X₀⋅X₀⋅X₄⋅X₅+9861958656000⋅X₀⋅X₂⋅X₄⋅X₅+9861958656000⋅X₀⋅X₃⋅X₄⋅X₅+9861958656000⋅X₁⋅X₁⋅X₄⋅X₅+9861958656000⋅X₁⋅X₂⋅X₄⋅X₅+9861958656000⋅X₁⋅X₃⋅X₄⋅X₅+10831345920000⋅X₂⋅X₃⋅X₅+10912515609600⋅X₀⋅X₄⋅X₄+10912515609600⋅X₁⋅X₄⋅X₄+11904560409600⋅X₂⋅X₃⋅X₄+1255716000000⋅X₅⋅X₅⋅X₅+12986790912000⋅X₀⋅X₂⋅X₂+12986790912000⋅X₀⋅X₃⋅X₃+12986790912000⋅X₁⋅X₂⋅X₂+12986790912000⋅X₁⋅X₃⋅X₃+1667190175200⋅X₄⋅X₄⋅X₄+17315721216000⋅X₀⋅X₀⋅X₀+17315721216000⋅X₁⋅X₁⋅X₁+19857470976000⋅X₀⋅X₄⋅X₅+19857470976000⋅X₁⋅X₄⋅X₅+2164465152000⋅X₂⋅X₂⋅X₂+2164465152000⋅X₃⋅X₃⋅X₃+21662691840000⋅X₀⋅X₀⋅X₅+21662691840000⋅X₀⋅X₂⋅X₅+21662691840000⋅X₀⋅X₃⋅X₅+21662691840000⋅X₁⋅X₁⋅X₅+21662691840000⋅X₁⋅X₂⋅X₅+21662691840000⋅X₁⋅X₃⋅X₅+23809120819200⋅X₀⋅X₀⋅X₄+23809120819200⋅X₀⋅X₂⋅X₄+23809120819200⋅X₀⋅X₃⋅X₄+23809120819200⋅X₁⋅X₁⋅X₄+23809120819200⋅X₁⋅X₂⋅X₄+23809120819200⋅X₁⋅X₃⋅X₄+25973581824000⋅X₀⋅X₀⋅X₂+25973581824000⋅X₀⋅X₀⋅X₃+25973581824000⋅X₀⋅X₂⋅X₃+25973581824000⋅X₁⋅X₁⋅X₂+25973581824000⋅X₁⋅X₁⋅X₃+25973581824000⋅X₁⋅X₂⋅X₃+4140418320000⋅X₄⋅X₅⋅X₅+43325383680000⋅X₀⋅X₁⋅X₅+4516819200000⋅X₂⋅X₅⋅X₅+4516819200000⋅X₃⋅X₅⋅X₅+4550671224000⋅X₄⋅X₄⋅X₅+47618241638400⋅X₀⋅X₁⋅X₄+51947163648000⋅X₀⋅X₀⋅X₁+51947163648000⋅X₀⋅X₁⋅X₁+51947163648000⋅X₀⋅X₁⋅X₂+51947163648000⋅X₀⋅X₁⋅X₃+5415672960000⋅X₂⋅X₂⋅X₅+5415672960000⋅X₃⋅X₃⋅X₅+5456257804800⋅X₂⋅X₄⋅X₄+5456257804800⋅X₃⋅X₄⋅X₄+5952280204800⋅X₂⋅X₂⋅X₄+5952280204800⋅X₃⋅X₃⋅X₄+6493395456000⋅X₂⋅X₂⋅X₃+6493395456000⋅X₂⋅X₃⋅X₃+9033638400000⋅X₀⋅X₅⋅X₅+9033638400000⋅X₁⋅X₅⋅X₅+9928735488000⋅X₂⋅X₄⋅X₅+9928735488000⋅X₃⋅X₄⋅X₅+10904684400000⋅X₂⋅X₅+10904684401200⋅X₃⋅X₅+11985165936000⋅X₂⋅X₄+11985165937320⋅X₃⋅X₄+13074721921440⋅X₂⋅X₃+21809368800000⋅X₀⋅X₅+21809368800000⋅X₁⋅X₅+23970331872000⋅X₀⋅X₄+23970331872000⋅X₁⋅X₄+26149443840000⋅X₀⋅X₀+26149443840000⋅X₀⋅X₂+26149443840000⋅X₁⋅X₁+26149443840000⋅X₁⋅X₂+26149443842880⋅X₀⋅X₃+26149443842880⋅X₁⋅X₃+4547403000000⋅X₅⋅X₅+52298887680000⋅X₀⋅X₁+5493202968000⋅X₄⋅X₄+6537360960000⋅X₂⋅X₂+6537360961440⋅X₃⋅X₃+9995964180000⋅X₄⋅X₅+17550997200000⋅X₀+17550997200000⋅X₁+7319012750000⋅X₅+8044211255000⋅X₄+8775498600001⋅X₂+8775498602900⋅X₃+4417457625000 {O(n^4)}
t₁, X₃: 1026432000⋅X₂⋅X₂⋅X₄+1026432000⋅X₃⋅X₃⋅X₄+1119744000⋅X₂⋅X₂⋅X₃+1119744000⋅X₂⋅X₃⋅X₃+1558656000⋅X₀⋅X₅⋅X₅+1558656000⋅X₁⋅X₅⋅X₅+1712620800⋅X₂⋅X₄⋅X₅+1712620800⋅X₃⋅X₄⋅X₅+1868313600⋅X₂⋅X₃⋅X₅+1881792000⋅X₀⋅X₄⋅X₄+1881792000⋅X₁⋅X₄⋅X₄+2052864000⋅X₂⋅X₃⋅X₄+216720000⋅X₅⋅X₅⋅X₅+2239488000⋅X₀⋅X₂⋅X₂+2239488000⋅X₀⋅X₃⋅X₃+2239488000⋅X₁⋅X₂⋅X₂+2239488000⋅X₁⋅X₃⋅X₃+287496000⋅X₄⋅X₄⋅X₄+2985984000⋅X₀⋅X₀⋅X₀+2985984000⋅X₁⋅X₁⋅X₁+3425241600⋅X₀⋅X₄⋅X₅+3425241600⋅X₁⋅X₄⋅X₅+373248000⋅X₂⋅X₂⋅X₂+373248000⋅X₃⋅X₃⋅X₃+3736627200⋅X₀⋅X₀⋅X₅+3736627200⋅X₀⋅X₂⋅X₅+3736627200⋅X₀⋅X₃⋅X₅+3736627200⋅X₁⋅X₁⋅X₅+3736627200⋅X₁⋅X₂⋅X₅+3736627200⋅X₁⋅X₃⋅X₅+4105728000⋅X₀⋅X₀⋅X₄+4105728000⋅X₀⋅X₂⋅X₄+4105728000⋅X₀⋅X₃⋅X₄+4105728000⋅X₁⋅X₁⋅X₄+4105728000⋅X₁⋅X₂⋅X₄+4105728000⋅X₁⋅X₃⋅X₄+4478976000⋅X₀⋅X₀⋅X₂+4478976000⋅X₀⋅X₀⋅X₃+4478976000⋅X₀⋅X₂⋅X₃+4478976000⋅X₁⋅X₁⋅X₂+4478976000⋅X₁⋅X₁⋅X₃+4478976000⋅X₁⋅X₂⋅X₃+714384000⋅X₄⋅X₅⋅X₅+7473254400⋅X₀⋅X₁⋅X₅+779328000⋅X₂⋅X₅⋅X₅+779328000⋅X₃⋅X₅⋅X₅+784951200⋅X₄⋅X₄⋅X₅+8211456000⋅X₀⋅X₁⋅X₄+8957952000⋅X₀⋅X₀⋅X₁+8957952000⋅X₀⋅X₁⋅X₁+8957952000⋅X₀⋅X₁⋅X₂+8957952000⋅X₀⋅X₁⋅X₃+934156800⋅X₂⋅X₂⋅X₅+934156800⋅X₃⋅X₃⋅X₅+940896000⋅X₂⋅X₄⋅X₄+940896000⋅X₃⋅X₄⋅X₄+1569120000⋅X₅⋅X₅+18036172800⋅X₀⋅X₁+1894425720⋅X₄⋅X₄+2254521600⋅X₂⋅X₂+2254521600⋅X₃⋅X₃+3448237200⋅X₄⋅X₅+3761712000⋅X₂⋅X₅+3761712000⋅X₃⋅X₅+4133291040⋅X₂⋅X₄+4133291040⋅X₃⋅X₄+4509043200⋅X₂⋅X₃+7523424000⋅X₀⋅X₅+7523424000⋅X₁⋅X₅+8266582080⋅X₀⋅X₄+8266582080⋅X₁⋅X₄+9018086400⋅X₀⋅X₀+9018086400⋅X₀⋅X₂+9018086400⋅X₀⋅X₃+9018086400⋅X₁⋅X₁+9018086400⋅X₁⋅X₂+9018086400⋅X₁⋅X₃+3786965000⋅X₅+4161038900⋅X₄+4539312000⋅X₂+4539312001⋅X₃+9078624000⋅X₀+9078624000⋅X₁+3046522500 {O(n^3)}
t₁, X₄: 1036800⋅X₂⋅X₃+1730880⋅X₀⋅X₅+1730880⋅X₁⋅X₅+1900800⋅X₀⋅X₄+1900800⋅X₁⋅X₄+2073600⋅X₀⋅X₀+2073600⋅X₀⋅X₂+2073600⋅X₀⋅X₃+2073600⋅X₁⋅X₁+2073600⋅X₁⋅X₂+2073600⋅X₁⋅X₃+361200⋅X₅⋅X₅+4147200⋅X₀⋅X₁+435600⋅X₄⋅X₄+518400⋅X₂⋅X₂+518400⋅X₃⋅X₃+793320⋅X₄⋅X₅+865440⋅X₂⋅X₅+865440⋅X₃⋅X₅+950400⋅X₂⋅X₄+950400⋅X₃⋅X₄+1742300⋅X₅+1913341⋅X₄+2087280⋅X₂+2087280⋅X₃+4174560⋅X₀+4174560⋅X₁+2101050 {O(n^2)}
t₁, X₅: 1440⋅X₀+1440⋅X₁+601⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+1449 {O(n)}