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₀
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₀
Termination: true
Formula:
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₃+557 {O(n)}
Overall timebound:1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+558 {O(n)}
t₀: 1 {O(1)}
t₁: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+557 {O(n)}
Overall costbound: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+558 {O(n)}
t₀: 1 {O(1)}
t₁: 1440⋅X₀+1440⋅X₁+600⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+557 {O(n)}
t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {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₅+103618709028864000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+103618709028864000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+103618709028864000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+103618709028864000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+10799613768499200000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₅+10799613768499200000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₅+108056120131584000000⋅X₀⋅X₀⋅X₁⋅X₅⋅X₅+108056120131584000000⋅X₀⋅X₁⋅X₁⋅X₅⋅X₅+108056120131584000000⋅X₀⋅X₁⋅X₂⋅X₅⋅X₅+108056120131584000000⋅X₀⋅X₁⋅X₃⋅X₅⋅X₅+108896144914022400000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₅+11349648668160000000⋅X₂⋅X₄⋅X₄⋅X₅⋅X₅+11349648668160000000⋅X₃⋅X₄⋅X₄⋅X₅⋅X₅+11872979226132480000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+11872979226132480000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+118795772952576000000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₅+118795772952576000000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₅+118795772952576000000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₅+118795772952576000000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₅+118795772952576000000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₅+118795772952576000000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₅+12381432671232000000⋅X₂⋅X₂⋅X₄⋅X₅⋅X₅+12381432671232000000⋅X₃⋅X₃⋅X₄⋅X₅⋅X₅+129595365221990400000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₅+129595365221990400000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₅+129595365221990400000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₅+129595365221990400000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₅+130602795136450560000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+130602795136450560000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+130602795136450560000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+130602795136450560000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+13507015016448000000⋅X₂⋅X₂⋅X₃⋅X₅⋅X₅+13507015016448000000⋅X₂⋅X₃⋅X₃⋅X₅⋅X₅+13612018114252800000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₅+13612018114252800000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₅+13764784066560000000⋅X₀⋅X₄⋅X₅⋅X₅⋅X₅+13764784066560000000⋅X₁⋅X₄⋅X₅⋅X₅⋅X₅+142475750713589760000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+142475750713589760000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+142475750713589760000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+142475750713589760000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+1434627158400000000⋅X₄⋅X₅⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₀⋅X₀⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₀⋅X₂⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₀⋅X₃⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₁⋅X₁⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₁⋅X₂⋅X₅⋅X₅⋅X₅+15016125358080000000⋅X₁⋅X₃⋅X₅⋅X₅⋅X₅+155428063543296000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+155428063543296000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+155428063543296000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+155428063543296000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+155428063543296000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+155428063543296000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+1565047526400000000⋅X₂⋅X₅⋅X₅⋅X₅⋅X₅+1565047526400000000⋅X₃⋅X₅⋅X₅⋅X₅⋅X₅+16199420652748800000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₅+16325349392056320000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+16325349392056320000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+16636914039398400000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₅+16636914039398400000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₅+172793820295987200000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₅+172793820295987200000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₅+17809468839198720000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+189967667618119680000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+189967667618119680000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+1906313412009600000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₅+19953208425553920000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+19953208425553920000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+19953208425553920000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+19953208425553920000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+19953208425553920000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+19953208425553920000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+20723741805772800000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+20723741805772800000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+207237418057728000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+207237418057728000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+207237418057728000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+207237418057728000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+207237418057728000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+207237418057728000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+21599227536998400000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₅+21599227536998400000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₅+21599227536998400000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₅+21599227536998400000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₅+22699297336320000000⋅X₀⋅X₄⋅X₄⋅X₅⋅X₅+22699297336320000000⋅X₁⋅X₄⋅X₄⋅X₅⋅X₅+2286305546088960000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+2286305546088960000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+23745958452264960000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+23745958452264960000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+23745958452264960000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+23745958452264960000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+237591545905152000000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₅+237591545905152000000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₅+237591545905152000000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₅+237591545905152000000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₅+24762865342464000000⋅X₂⋅X₃⋅X₄⋅X₅⋅X₅+25904677257216000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+25904677257216000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+25904677257216000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+25904677257216000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+25904677257216000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+25904677257216000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+25904677257216000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+25904677257216000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+259190730443980800000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₅+259190730443980800000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₅+259190730443980800000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₅+259190730443980800000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₅+259190730443980800000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₅+259190730443980800000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₅+260985888000000000⋅X₅⋅X₅⋅X₅⋅X₅⋅X₅+2699903442124800000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₅+2699903442124800000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₅+27014030032896000000⋅X₀⋅X₂⋅X₂⋅X₅⋅X₅+27014030032896000000⋅X₀⋅X₃⋅X₃⋅X₅⋅X₅+27014030032896000000⋅X₁⋅X₂⋅X₂⋅X₅⋅X₅+27014030032896000000⋅X₁⋅X₃⋅X₃⋅X₅⋅X₅+27224036228505600000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₅+284951501427179520000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+284951501427179520000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+284951501427179520000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+284951501427179520000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+284951501427179520000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+284951501427179520000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+2968244806533120000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+2968244806533120000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+29698943238144000000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₅+29698943238144000000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₅+30032250716160000000⋅X₀⋅X₁⋅X₅⋅X₅⋅X₅+310856127086592000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+310856127086592000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+310856127086592000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+310856127086592000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+3130095052800000000⋅X₀⋅X₅⋅X₅⋅X₅⋅X₅+3130095052800000000⋅X₁⋅X₅⋅X₅⋅X₅⋅X₅+3154430252160000000⋅X₄⋅X₄⋅X₅⋅X₅⋅X₅+3238084657152000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+3238084657152000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+32650698784112640000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+32650698784112640000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+32650698784112640000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+32650698784112640000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+3467948831424000000⋅X₄⋅X₄⋅X₄⋅X₅⋅X₅+36018706710528000000⋅X₀⋅X₀⋅X₀⋅X₅⋅X₅+36018706710528000000⋅X₁⋅X₁⋅X₁⋅X₅⋅X₅+3754031339520000000⋅X₂⋅X₂⋅X₅⋅X₅⋅X₅+3754031339520000000⋅X₃⋅X₃⋅X₅⋅X₅⋅X₅+38857015885824000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+38857015885824000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+39906416851107840000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+419156092681920000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+43198455073996800000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₅+43198455073996800000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₅+43534265045483520000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+43534265045483520000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+4502338338816000000⋅X₂⋅X₂⋅X₂⋅X₅⋅X₅+4502338338816000000⋅X₃⋅X₃⋅X₃⋅X₅⋅X₅+4572611092177920000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+4572611092177920000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+47491916904529920000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+47491916904529920000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+49525730684928000000⋅X₀⋅X₀⋅X₄⋅X₅⋅X₅+49525730684928000000⋅X₀⋅X₂⋅X₄⋅X₅⋅X₅+49525730684928000000⋅X₀⋅X₃⋅X₄⋅X₅⋅X₅+49525730684928000000⋅X₁⋅X₁⋅X₄⋅X₅⋅X₅+49525730684928000000⋅X₁⋅X₂⋅X₄⋅X₅⋅X₅+49525730684928000000⋅X₁⋅X₃⋅X₄⋅X₅⋅X₅+4988302106388480000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+4988302106388480000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+51809354514432000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+51809354514432000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+51809354514432000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+51809354514432000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+51809354514432000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+51809354514432000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+51809354514432000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+51809354514432000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+51809354514432000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+51809354514432000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+54028060065792000000⋅X₀⋅X₀⋅X₂⋅X₅⋅X₅+54028060065792000000⋅X₀⋅X₀⋅X₃⋅X₅⋅X₅+54028060065792000000⋅X₀⋅X₂⋅X₃⋅X₅⋅X₅+54028060065792000000⋅X₁⋅X₁⋅X₂⋅X₅⋅X₅+54028060065792000000⋅X₁⋅X₁⋅X₃⋅X₅⋅X₅+54028060065792000000⋅X₁⋅X₂⋅X₃⋅X₅⋅X₅+5441783130685440000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+5441783130685440000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+54448072457011200000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₅+54448072457011200000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₅+54448072457011200000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₅+54448072457011200000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₅+54448072457011200000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₅+54448072457011200000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₅+59397886476288000000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₅+59397886476288000000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₅+59397886476288000000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₅+59397886476288000000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₅+647616931430400000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+647616931430400000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+6476169314304000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+6476169314304000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+6476169314304000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+6476169314304000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+6476169314304000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+6476169314304000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+64797682610995200000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₅+64797682610995200000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₅+64797682610995200000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₅+64797682610995200000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₅+64797682610995200000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₅+64797682610995200000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₅+64797682610995200000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₅+64797682610995200000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₅+65301397568225280000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+65301397568225280000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+65301397568225280000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+65301397568225280000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+65301397568225280000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+65301397568225280000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+6882392033280000000⋅X₂⋅X₄⋅X₅⋅X₅⋅X₅+6882392033280000000⋅X₃⋅X₄⋅X₅⋅X₅⋅X₅+71237875356794880000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+71237875356794880000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+71237875356794880000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+71237875356794880000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+71237875356794880000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+71237875356794880000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+71237875356794880000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+71237875356794880000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+7508062679040000000⋅X₂⋅X₃⋅X₅⋅X₅⋅X₅+77714031771648000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+77714031771648000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+77714031771648000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+77714031771648000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+79197181968384000000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₅+79197181968384000000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₅+8318457019699200000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₅+8318457019699200000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₅+86396910147993600000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₅+86396910147993600000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₅+86396910147993600000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₅+86396910147993600000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₅+94983833809059840000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+94983833809059840000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+94983833809059840000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+94983833809059840000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+9899647746048000000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₅+9899647746048000000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₅+99051461369856000000⋅X₀⋅X₁⋅X₄⋅X₅⋅X₅+9976604212776960000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+10035063314841600000⋅X₀⋅X₂⋅X₂⋅X₂+10035063314841600000⋅X₁⋅X₂⋅X₂⋅X₂+10035063319320576000⋅X₀⋅X₃⋅X₃⋅X₃+10035063319320576000⋅X₁⋅X₃⋅X₃⋅X₃+100406416823746560000⋅X₀⋅X₀⋅X₁⋅X₅+100406416823746560000⋅X₀⋅X₁⋅X₁⋅X₅+100406416823746560000⋅X₀⋅X₁⋅X₂⋅X₅+100406416838676480000⋅X₀⋅X₁⋅X₃⋅X₅+10464812553542400000⋅X₂⋅X₃⋅X₅⋅X₅+10546167737064960000⋅X₂⋅X₄⋅X₄⋅X₅+10546167738633120000⋅X₃⋅X₄⋅X₄⋅X₅+110385736451555328000⋅X₀⋅X₀⋅X₁⋅X₄+110385736451555328000⋅X₀⋅X₁⋅X₁⋅X₄+110385736451555328000⋅X₀⋅X₁⋅X₂⋅X₄+110385736467978240000⋅X₀⋅X₁⋅X₃⋅X₄+11504906093168640000⋅X₂⋅X₂⋅X₄⋅X₅+11504906096590080000⋅X₃⋅X₃⋅X₄⋅X₅+120420759778099200000⋅X₀⋅X₀⋅X₁⋅X₁+120420759778099200000⋅X₀⋅X₀⋅X₁⋅X₂+120420759778099200000⋅X₀⋅X₁⋅X₁⋅X₂+120420759796015104000⋅X₀⋅X₀⋅X₁⋅X₃+120420759796015104000⋅X₀⋅X₁⋅X₁⋅X₃+120420759796015104000⋅X₀⋅X₁⋅X₂⋅X₃+1254382914355200000⋅X₂⋅X₂⋅X₂⋅X₂+1254382915101696000⋅X₃⋅X₃⋅X₃⋅X₃+12550802104834560000⋅X₂⋅X₂⋅X₃⋅X₅+12550802106700800000⋅X₂⋅X₃⋅X₃⋅X₅+12648370218948288000⋅X₂⋅X₃⋅X₄⋅X₄+13798217058497280000⋅X₂⋅X₂⋅X₃⋅X₄+13798217060550144000⋅X₂⋅X₃⋅X₃⋅X₄+19185496621056000000⋅X₀⋅X₄⋅X₅⋅X₅+19185496621056000000⋅X₁⋅X₄⋅X₅⋅X₅+20070126629683200000⋅X₀⋅X₀⋅X₀⋅X₀+20070126629683200000⋅X₁⋅X₁⋅X₁⋅X₁+20929625103974400000⋅X₀⋅X₀⋅X₅⋅X₅+20929625103974400000⋅X₀⋅X₂⋅X₅⋅X₅+20929625103974400000⋅X₁⋅X₁⋅X₅⋅X₅+20929625103974400000⋅X₁⋅X₂⋅X₅⋅X₅+20929625107084800000⋅X₀⋅X₃⋅X₅⋅X₅+20929625107084800000⋅X₁⋅X₃⋅X₅⋅X₅+21092335474129920000⋅X₀⋅X₄⋅X₄⋅X₅+21092335474129920000⋅X₁⋅X₄⋅X₄⋅X₅+23009812189758720000⋅X₂⋅X₃⋅X₄⋅X₅+25101604205936640000⋅X₀⋅X₂⋅X₂⋅X₅+25101604205936640000⋅X₁⋅X₂⋅X₂⋅X₅+25101604213401600000⋅X₀⋅X₃⋅X₃⋅X₅+25101604213401600000⋅X₁⋅X₃⋅X₃⋅X₅+25296740434132992000⋅X₀⋅X₀⋅X₄⋅X₄+25296740434132992000⋅X₀⋅X₂⋅X₄⋅X₄+25296740434132992000⋅X₁⋅X₁⋅X₄⋅X₄+25296740434132992000⋅X₁⋅X₂⋅X₄⋅X₄+25296740437896576000⋅X₀⋅X₃⋅X₄⋅X₄+25296740437896576000⋅X₁⋅X₃⋅X₄⋅X₄+2666131910208000000⋅X₄⋅X₅⋅X₅⋅X₅+27596434112888832000⋅X₀⋅X₂⋅X₂⋅X₄+27596434112888832000⋅X₁⋅X₂⋅X₂⋅X₄+27596434121100288000⋅X₀⋅X₃⋅X₃⋅X₄+27596434121100288000⋅X₁⋅X₃⋅X₃⋅X₄+2908506486528000000⋅X₂⋅X₅⋅X₅⋅X₅+2908506486960000000⋅X₃⋅X₅⋅X₅⋅X₅+30105189944524800000⋅X₀⋅X₀⋅X₂⋅X₂+30105189944524800000⋅X₁⋅X₁⋅X₂⋅X₂+30105189949003776000⋅X₀⋅X₂⋅X₂⋅X₃+30105189949003776000⋅X₁⋅X₂⋅X₂⋅X₃+30105189953482752000⋅X₀⋅X₀⋅X₃⋅X₃+30105189953482752000⋅X₀⋅X₂⋅X₃⋅X₃+30105189953482752000⋅X₁⋅X₁⋅X₃⋅X₃+30105189953482752000⋅X₁⋅X₂⋅X₃⋅X₃+3222441308592000000⋅X₄⋅X₄⋅X₄⋅X₅+33468805607915520000⋅X₀⋅X₀⋅X₀⋅X₅+33468805607915520000⋅X₁⋅X₁⋅X₁⋅X₅+36795245483851776000⋅X₀⋅X₀⋅X₀⋅X₄+36795245483851776000⋅X₁⋅X₁⋅X₁⋅X₄+3864781188601344000⋅X₂⋅X₄⋅X₄⋅X₄+3864781189176336000⋅X₃⋅X₄⋅X₄⋅X₄+40140253259366400000⋅X₀⋅X₀⋅X₀⋅X₂+40140253259366400000⋅X₁⋅X₁⋅X₁⋅X₂+40140253265338368000⋅X₀⋅X₀⋅X₀⋅X₃+40140253265338368000⋅X₁⋅X₁⋅X₁⋅X₃+4183600700989440000⋅X₂⋅X₂⋅X₂⋅X₅+4183600702855680000⋅X₃⋅X₃⋅X₃⋅X₅+41859250207948800000⋅X₀⋅X₁⋅X₅⋅X₅+4396677899961600000⋅X₄⋅X₄⋅X₅⋅X₅+4599405685481472000⋅X₂⋅X₂⋅X₂⋅X₄+4599405687534336000⋅X₃⋅X₃⋅X₃⋅X₄+46019624372674560000⋅X₀⋅X₀⋅X₄⋅X₅+46019624372674560000⋅X₀⋅X₂⋅X₄⋅X₅+46019624372674560000⋅X₁⋅X₁⋅X₄⋅X₅+46019624372674560000⋅X₁⋅X₂⋅X₄⋅X₅+46019624379517440000⋅X₀⋅X₃⋅X₄⋅X₅+46019624379517440000⋅X₁⋅X₃⋅X₄⋅X₅+5017531658167296000⋅X₂⋅X₂⋅X₂⋅X₃+5017531659660288000⋅X₂⋅X₃⋅X₃⋅X₃+50203208411873280000⋅X₀⋅X₀⋅X₂⋅X₅+50203208411873280000⋅X₁⋅X₁⋅X₂⋅X₅+50203208419338240000⋅X₀⋅X₀⋅X₃⋅X₅+50203208419338240000⋅X₀⋅X₂⋅X₃⋅X₅+50203208419338240000⋅X₁⋅X₁⋅X₃⋅X₅+50203208419338240000⋅X₁⋅X₂⋅X₃⋅X₅+50593480868265984000⋅X₀⋅X₁⋅X₄⋅X₄+5232406275993600000⋅X₂⋅X₂⋅X₅⋅X₅+5232406277548800000⋅X₃⋅X₃⋅X₅⋅X₅+55192868225777664000⋅X₀⋅X₀⋅X₂⋅X₄+55192868225777664000⋅X₁⋅X₁⋅X₂⋅X₄+55192868233989120000⋅X₀⋅X₀⋅X₃⋅X₄+55192868233989120000⋅X₀⋅X₂⋅X₃⋅X₄+55192868233989120000⋅X₁⋅X₁⋅X₃⋅X₄+55192868233989120000⋅X₁⋅X₂⋅X₃⋅X₄+5817012973056000000⋅X₀⋅X₅⋅X₅⋅X₅+5817012973056000000⋅X₁⋅X₅⋅X₅⋅X₅+60210379889049600000⋅X₀⋅X₁⋅X₂⋅X₂+60210379898007552000⋅X₀⋅X₀⋅X₂⋅X₃+60210379898007552000⋅X₁⋅X₁⋅X₂⋅X₃+60210379906965504000⋅X₀⋅X₁⋅X₃⋅X₃+606275124480000000⋅X₅⋅X₅⋅X₅⋅X₅+6324185108533248000⋅X₂⋅X₂⋅X₄⋅X₄+6324185110415040000⋅X₃⋅X₃⋅X₄⋅X₄+7526297488370688000⋅X₂⋅X₂⋅X₃⋅X₃+7729562377202688000⋅X₀⋅X₄⋅X₄⋅X₄+7729562377202688000⋅X₁⋅X₄⋅X₄⋅X₄+80280506518732800000⋅X₀⋅X₀⋅X₀⋅X₁+80280506518732800000⋅X₀⋅X₁⋅X₁⋅X₁+885679343233344000⋅X₄⋅X₄⋅X₄⋅X₄+92039248745349120000⋅X₀⋅X₁⋅X₄⋅X₅+9592748310528000000⋅X₂⋅X₄⋅X₅⋅X₅+9592748311953600000⋅X₃⋅X₄⋅X₅⋅X₅+10366466332262400000⋅X₀⋅X₀⋅X₀+10366466332262400000⋅X₁⋅X₁⋅X₁+11884854070941696000⋅X₀⋅X₄⋅X₅+11884854070941696000⋅X₁⋅X₄⋅X₅+1295808291533836800⋅X₂⋅X₂⋅X₂+1295808293268403200⋅X₃⋅X₃⋅X₃+12965288306724864000⋅X₀⋅X₀⋅X₅+12965288306724864000⋅X₁⋅X₁⋅X₅+12965288306728320000⋅X₀⋅X₂⋅X₅+12965288306728320000⋅X₁⋅X₂⋅X₅+12965288312510208000⋅X₀⋅X₃⋅X₅+12965288312510208000⋅X₁⋅X₃⋅X₅+14253898954593484800⋅X₀⋅X₀⋅X₄+14253898954593484800⋅X₁⋅X₁⋅X₄+14253898954597286400⋅X₀⋅X₂⋅X₄+14253898954597286400⋅X₁⋅X₂⋅X₄+14253898960957363200⋅X₀⋅X₃⋅X₄+14253898960957363200⋅X₁⋅X₃⋅X₄+15549699498397747200⋅X₀⋅X₀⋅X₂+15549699498397747200⋅X₁⋅X₁⋅X₂+15549699505336012800⋅X₀⋅X₀⋅X₃+15549699505336012800⋅X₁⋅X₁⋅X₃+15549699505340160000⋅X₀⋅X₂⋅X₃+15549699505340160000⋅X₁⋅X₂⋅X₃+2477387294386560000⋅X₄⋅X₅⋅X₅+25930576613449728000⋅X₀⋅X₁⋅X₅+2702602853776080000⋅X₂⋅X₅⋅X₅+2702602854980640000⋅X₃⋅X₅⋅X₅+2723613870859200000⋅X₄⋅X₄⋅X₅+28507797909186969600⋅X₀⋅X₁⋅X₄+31099398996787200000⋅X₀⋅X₀⋅X₁+31099398996787200000⋅X₀⋅X₁⋅X₁+31099398996795494400⋅X₀⋅X₁⋅X₂+31099399010672025600⋅X₀⋅X₁⋅X₃+3241322076682944000⋅X₂⋅X₂⋅X₅+3241322079573888000⋅X₃⋅X₃⋅X₅+3266520285950618400⋅X₂⋅X₄⋅X₄+3266520287408136000⋅X₃⋅X₄⋅X₄+3563474738650272000⋅X₂⋅X₂⋅X₄+3563474741830310400⋅X₃⋅X₃⋅X₄+3887424876336076800⋅X₂⋅X₂⋅X₃+3887424878070643200⋅X₂⋅X₃⋅X₃+5405205707550720000⋅X₀⋅X₅⋅X₅+5405205707550720000⋅X₁⋅X₅⋅X₅+5942427035472432000⋅X₂⋅X₄⋅X₅+5942427038122464000⋅X₃⋅X₄⋅X₅+6482644156256832000⋅X₂⋅X₃⋅X₅+6533040571899494400⋅X₀⋅X₄⋅X₄+6533040571899494400⋅X₁⋅X₄⋅X₄+7126949480480582400⋅X₂⋅X₃⋅X₄+751139993606400000⋅X₅⋅X₅⋅X₅+7774849749200947200⋅X₀⋅X₂⋅X₂+7774849749200947200⋅X₁⋅X₂⋅X₂+7774849756139212800⋅X₀⋅X₃⋅X₃+7774849756139212800⋅X₁⋅X₃⋅X₃+998103963227500800⋅X₄⋅X₄⋅X₄+1151001439210051200⋅X₄⋅X₅+1255637023913390400⋅X₂⋅X₅+1255637025032961600⋅X₃⋅X₅+1380433902532806240⋅X₂⋅X₄+1380433903764334560⋅X₃⋅X₄+1505926803291275520⋅X₂⋅X₃+2511274047824102400⋅X₀⋅X₅+2511274047824103600⋅X₁⋅X₅+2760867805062666240⋅X₀⋅X₄+2760867805062667560⋅X₁⋅X₄+3011853603889152000⋅X₀⋅X₀+3011853603889154880⋅X₁⋅X₁+3011853603892366080⋅X₀⋅X₂+3011853603892367520⋅X₁⋅X₂+3011853606579336960⋅X₀⋅X₃+3011853606579338400⋅X₁⋅X₃+523472935918176000⋅X₅⋅X₅+6023707207778306880⋅X₀⋅X₁+632699330670063360⋅X₄⋅X₄+752963400973895040⋅X₂⋅X₂+752963402317380480⋅X₃⋅X₃+194565570182070336⋅X₅+213903308294645472⋅X₄+233348852072874888⋅X₂+233348852419734384⋅X₃+466697704144504321⋅X₀+466697704144505436⋅X₁+30131877271399776 {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₄+11466151810560000⋅X₀⋅X₄⋅X₅⋅X₅+11466151810560000⋅X₁⋅X₄⋅X₅⋅X₅+11992189501440000⋅X₀⋅X₀⋅X₀⋅X₀+11992189501440000⋅X₁⋅X₁⋅X₁⋅X₁+12508525854720000⋅X₀⋅X₀⋅X₅⋅X₅+12508525854720000⋅X₀⋅X₂⋅X₅⋅X₅+12508525854720000⋅X₀⋅X₃⋅X₅⋅X₅+12508525854720000⋅X₁⋅X₁⋅X₅⋅X₅+12508525854720000⋅X₁⋅X₂⋅X₅⋅X₅+12508525854720000⋅X₁⋅X₃⋅X₅⋅X₅+12604370093568000⋅X₀⋅X₄⋅X₄⋅X₅+12604370093568000⋅X₁⋅X₄⋅X₄⋅X₅+13750218187776000⋅X₂⋅X₃⋅X₄⋅X₅+15000233951232000⋅X₀⋅X₂⋅X₂⋅X₅+15000233951232000⋅X₀⋅X₃⋅X₃⋅X₅+15000233951232000⋅X₁⋅X₂⋅X₂⋅X₅+15000233951232000⋅X₁⋅X₃⋅X₃⋅X₅+15115163728896000⋅X₀⋅X₀⋅X₄⋅X₄+15115163728896000⋅X₀⋅X₂⋅X₄⋅X₄+15115163728896000⋅X₀⋅X₃⋅X₄⋅X₄+15115163728896000⋅X₁⋅X₁⋅X₄⋅X₄+15115163728896000⋅X₁⋅X₂⋅X₄⋅X₄+15115163728896000⋅X₁⋅X₃⋅X₄⋅X₄+1593581731200000⋅X₄⋅X₅⋅X₅⋅X₅+16489265043456000⋅X₀⋅X₂⋅X₂⋅X₄+16489265043456000⋅X₀⋅X₃⋅X₃⋅X₄+16489265043456000⋅X₁⋅X₂⋅X₂⋅X₄+16489265043456000⋅X₁⋅X₃⋅X₃⋅X₄+1738452326400000⋅X₂⋅X₅⋅X₅⋅X₅+1738452326400000⋅X₃⋅X₅⋅X₅⋅X₅+17988284252160000⋅X₀⋅X₀⋅X₂⋅X₂+17988284252160000⋅X₀⋅X₀⋅X₃⋅X₃+17988284252160000⋅X₀⋅X₂⋅X₂⋅X₃+17988284252160000⋅X₀⋅X₂⋅X₃⋅X₃+17988284252160000⋅X₁⋅X₁⋅X₂⋅X₂+17988284252160000⋅X₁⋅X₁⋅X₃⋅X₃+17988284252160000⋅X₁⋅X₂⋅X₂⋅X₃+17988284252160000⋅X₁⋅X₂⋅X₃⋅X₃+1925668175904000⋅X₄⋅X₄⋅X₄⋅X₅+20000311934976000⋅X₀⋅X₀⋅X₀⋅X₅+20000311934976000⋅X₁⋅X₁⋅X₁⋅X₅+21985686724608000⋅X₀⋅X₀⋅X₀⋅X₄+21985686724608000⋅X₁⋅X₁⋅X₁⋅X₄+2309261752512000⋅X₂⋅X₄⋅X₄⋅X₄+2309261752512000⋅X₃⋅X₄⋅X₄⋅X₄+23984379002880000⋅X₀⋅X₀⋅X₀⋅X₂+23984379002880000⋅X₀⋅X₀⋅X₀⋅X₃+23984379002880000⋅X₁⋅X₁⋅X₁⋅X₂+23984379002880000⋅X₁⋅X₁⋅X₁⋅X₃+2500038991872000⋅X₂⋅X₂⋅X₂⋅X₅+2500038991872000⋅X₃⋅X₃⋅X₃⋅X₅+25017051709440000⋅X₀⋅X₁⋅X₅⋅X₅+2627660502720000⋅X₄⋅X₄⋅X₅⋅X₅+2748210840576000⋅X₂⋅X₂⋅X₂⋅X₄+2748210840576000⋅X₃⋅X₃⋅X₃⋅X₄+27500436375552000⋅X₀⋅X₀⋅X₄⋅X₅+27500436375552000⋅X₀⋅X₂⋅X₄⋅X₅+27500436375552000⋅X₀⋅X₃⋅X₄⋅X₅+27500436375552000⋅X₁⋅X₁⋅X₄⋅X₅+27500436375552000⋅X₁⋅X₂⋅X₄⋅X₅+27500436375552000⋅X₁⋅X₃⋅X₄⋅X₅+2998047375360000⋅X₂⋅X₂⋅X₂⋅X₃+2998047375360000⋅X₂⋅X₃⋅X₃⋅X₃+30000467902464000⋅X₀⋅X₀⋅X₂⋅X₅+30000467902464000⋅X₀⋅X₀⋅X₃⋅X₅+30000467902464000⋅X₀⋅X₂⋅X₃⋅X₅+30000467902464000⋅X₁⋅X₁⋅X₂⋅X₅+30000467902464000⋅X₁⋅X₁⋅X₃⋅X₅+30000467902464000⋅X₁⋅X₂⋅X₃⋅X₅+30230327457792000⋅X₀⋅X₁⋅X₄⋅X₄+3127131463680000⋅X₂⋅X₂⋅X₅⋅X₅+3127131463680000⋅X₃⋅X₃⋅X₅⋅X₅+32978530086912000⋅X₀⋅X₀⋅X₂⋅X₄+32978530086912000⋅X₀⋅X₀⋅X₃⋅X₄+32978530086912000⋅X₀⋅X₂⋅X₃⋅X₄+32978530086912000⋅X₁⋅X₁⋅X₂⋅X₄+32978530086912000⋅X₁⋅X₁⋅X₃⋅X₄+32978530086912000⋅X₁⋅X₂⋅X₃⋅X₄+3476904652800000⋅X₀⋅X₅⋅X₅⋅X₅+3476904652800000⋅X₁⋅X₅⋅X₅⋅X₅+35976568504320000⋅X₀⋅X₀⋅X₂⋅X₃+35976568504320000⋅X₀⋅X₁⋅X₂⋅X₂+35976568504320000⋅X₀⋅X₁⋅X₃⋅X₃+35976568504320000⋅X₁⋅X₁⋅X₂⋅X₃+362418624000000⋅X₅⋅X₅⋅X₅⋅X₅+3778790932224000⋅X₂⋅X₂⋅X₄⋅X₄+3778790932224000⋅X₃⋅X₃⋅X₄⋅X₄+4497071063040000⋅X₂⋅X₂⋅X₃⋅X₃+4618523505024000⋅X₀⋅X₄⋅X₄⋅X₄+4618523505024000⋅X₁⋅X₄⋅X₄⋅X₄+47968758005760000⋅X₀⋅X₀⋅X₀⋅X₁+47968758005760000⋅X₀⋅X₁⋅X₁⋅X₁+529205962032000⋅X₄⋅X₄⋅X₄⋅X₄+55000872751104000⋅X₀⋅X₁⋅X₄⋅X₅+5733075905280000⋅X₂⋅X₄⋅X₅⋅X₅+5733075905280000⋅X₃⋅X₄⋅X₅⋅X₅+5996094750720000⋅X₀⋅X₂⋅X₂⋅X₂+5996094750720000⋅X₀⋅X₃⋅X₃⋅X₃+5996094750720000⋅X₁⋅X₂⋅X₂⋅X₂+5996094750720000⋅X₁⋅X₃⋅X₃⋅X₃+60000935804928000⋅X₀⋅X₀⋅X₁⋅X₅+60000935804928000⋅X₀⋅X₁⋅X₁⋅X₅+60000935804928000⋅X₀⋅X₁⋅X₂⋅X₅+60000935804928000⋅X₀⋅X₁⋅X₃⋅X₅+6254262927360000⋅X₂⋅X₃⋅X₅⋅X₅+6302185046784000⋅X₂⋅X₄⋅X₄⋅X₅+6302185046784000⋅X₃⋅X₄⋅X₄⋅X₅+65957060173824000⋅X₀⋅X₀⋅X₁⋅X₄+65957060173824000⋅X₀⋅X₁⋅X₁⋅X₄+65957060173824000⋅X₀⋅X₁⋅X₂⋅X₄+65957060173824000⋅X₀⋅X₁⋅X₃⋅X₄+6875109093888000⋅X₂⋅X₂⋅X₄⋅X₅+6875109093888000⋅X₃⋅X₃⋅X₄⋅X₅+71953137008640000⋅X₀⋅X₀⋅X₁⋅X₁+71953137008640000⋅X₀⋅X₀⋅X₁⋅X₂+71953137008640000⋅X₀⋅X₀⋅X₁⋅X₃+71953137008640000⋅X₀⋅X₁⋅X₁⋅X₂+71953137008640000⋅X₀⋅X₁⋅X₁⋅X₃+71953137008640000⋅X₀⋅X₁⋅X₂⋅X₃+749511843840000⋅X₂⋅X₂⋅X₂⋅X₂+749511843840000⋅X₃⋅X₃⋅X₃⋅X₃+7500116975616000⋅X₂⋅X₂⋅X₃⋅X₅+7500116975616000⋅X₂⋅X₃⋅X₃⋅X₅+7557581864448000⋅X₂⋅X₃⋅X₄⋅X₄+8244632521728000⋅X₂⋅X₂⋅X₃⋅X₄+8244632521728000⋅X₂⋅X₃⋅X₃⋅X₄+10652603661158400⋅X₀⋅X₄⋅X₅+10652603661158400⋅X₁⋅X₄⋅X₅+1161326813184000⋅X₂⋅X₂⋅X₂+1161326814220800⋅X₃⋅X₃⋅X₃+11621015864524800⋅X₀⋅X₀⋅X₅+11621015864524800⋅X₀⋅X₂⋅X₅+11621015864524800⋅X₁⋅X₁⋅X₅+11621015864524800⋅X₁⋅X₂⋅X₅+11621015867980800⋅X₀⋅X₃⋅X₅+11621015867980800⋅X₁⋅X₃⋅X₅+12774601887436800⋅X₀⋅X₀⋅X₄+12774601887436800⋅X₀⋅X₂⋅X₄+12774601887436800⋅X₁⋅X₁⋅X₄+12774601887436800⋅X₁⋅X₂⋅X₄+12774601891238400⋅X₀⋅X₃⋅X₄+12774601891238400⋅X₁⋅X₃⋅X₄+13935921758208000⋅X₀⋅X₀⋅X₂+13935921758208000⋅X₁⋅X₁⋅X₂+13935921762355200⋅X₀⋅X₀⋅X₃+13935921762355200⋅X₀⋅X₂⋅X₃+13935921762355200⋅X₁⋅X₁⋅X₃+13935921762355200⋅X₁⋅X₂⋅X₃+2220772031136000⋅X₄⋅X₅⋅X₅+23242031729049600⋅X₀⋅X₁⋅X₅+2422659082752000⋅X₂⋅X₅⋅X₅+2422659083472000⋅X₃⋅X₅⋅X₅+2441222998156800⋅X₄⋅X₄⋅X₅+25549203774873600⋅X₀⋅X₁⋅X₄+27871843516416000⋅X₀⋅X₀⋅X₁+27871843516416000⋅X₀⋅X₁⋅X₁+27871843516416000⋅X₀⋅X₁⋅X₂+27871843524710400⋅X₀⋅X₁⋅X₃+2905253966131200⋅X₂⋅X₂⋅X₅+2905253967859200⋅X₃⋅X₃⋅X₅+2927514523507200⋅X₂⋅X₄⋅X₄+2927514524378400⋅X₃⋅X₄⋅X₄+3193650471859200⋅X₂⋅X₂⋅X₄+3193650473760000⋅X₃⋅X₃⋅X₄+3483980440588800⋅X₂⋅X₂⋅X₃+3483980441625600⋅X₂⋅X₃⋅X₃+4845318165504000⋅X₀⋅X₅⋅X₅+4845318165504000⋅X₁⋅X₅⋅X₅+5326301830579200⋅X₂⋅X₄⋅X₅+5326301832163200⋅X₃⋅X₄⋅X₅+5810507933990400⋅X₂⋅X₃⋅X₅+5855029047014400⋅X₀⋅X₄⋅X₄+5855029047014400⋅X₁⋅X₄⋅X₄+6387300945619200⋅X₂⋅X₃⋅X₄+673409220480000⋅X₅⋅X₅⋅X₅+6967960879104000⋅X₀⋅X₂⋅X₂+6967960879104000⋅X₁⋅X₂⋅X₂+6967960883251200⋅X₀⋅X₃⋅X₃+6967960883251200⋅X₁⋅X₃⋅X₃+894518812756800⋅X₄⋅X₄⋅X₄+9290614505472000⋅X₀⋅X₀⋅X₀+9290614505472000⋅X₁⋅X₁⋅X₁+1375468479293760⋅X₄⋅X₅+1500509845510320⋅X₂⋅X₅+1500509846848320⋅X₃⋅X₅+1649461351468200⋅X₂⋅X₄+1649461352940000⋅X₃⋅X₄+1799410917653280⋅X₂⋅X₃+3001019691018240⋅X₀⋅X₅+3001019691018240⋅X₁⋅X₅+3298922702933760⋅X₀⋅X₄+3298922702933760⋅X₁⋅X₄+3598821832089600⋅X₀⋅X₀+3598821832089600⋅X₁⋅X₁+3598821832092480⋅X₀⋅X₂+3598821832092480⋅X₁⋅X₂+3598821835303680⋅X₀⋅X₃+3598821835303680⋅X₁⋅X₃+625629414297600⋅X₅⋅X₅+7197643664179200⋅X₀⋅X₁+756003735923040⋅X₄⋅X₄+899705458023840⋅X₂⋅X₂+899705459629440⋅X₃⋅X₃+290619537900192⋅X₅+319468554583344⋅X₄+348510771384156⋅X₂+348510772005768⋅X₃+697021542766080⋅X₀+697021542766081⋅X₁+53999780056272 {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₅+1592909136000⋅X₄⋅X₅⋅X₅+16668210585600⋅X₀⋅X₁⋅X₅+1737718272000⋅X₂⋅X₅⋅X₅+1737718272000⋅X₃⋅X₅⋅X₅+1750742452800⋅X₄⋅X₄⋅X₅+18319766630400⋅X₀⋅X₁⋅X₄+19985190912000⋅X₀⋅X₀⋅X₁+19985190912000⋅X₀⋅X₁⋅X₁+19985190912000⋅X₀⋅X₁⋅X₂+19985190912000⋅X₀⋅X₁⋅X₃+2083526323200⋅X₂⋅X₂⋅X₅+2083526323200⋅X₃⋅X₃⋅X₅+2099140876800⋅X₂⋅X₄⋅X₄+2099140876800⋅X₃⋅X₄⋅X₄+2289970828800⋅X₂⋅X₂⋅X₄+2289970828800⋅X₃⋅X₃⋅X₄+2498148864000⋅X₂⋅X₂⋅X₃+2498148864000⋅X₂⋅X₃⋅X₃+3475436544000⋅X₀⋅X₅⋅X₅+3475436544000⋅X₁⋅X₅⋅X₅+3819799987200⋅X₂⋅X₄⋅X₅+3819799987200⋅X₃⋅X₄⋅X₅+4167052646400⋅X₂⋅X₃⋅X₅+4198281753600⋅X₀⋅X₄⋅X₄+4198281753600⋅X₁⋅X₄⋅X₄+4579941657600⋅X₂⋅X₃⋅X₄+483101280000⋅X₅⋅X₅⋅X₅+4996297728000⋅X₀⋅X₂⋅X₂+4996297728000⋅X₀⋅X₃⋅X₃+4996297728000⋅X₁⋅X₂⋅X₂+4996297728000⋅X₁⋅X₃⋅X₃+641404447200⋅X₄⋅X₄⋅X₄+6661730304000⋅X₀⋅X₀⋅X₀+6661730304000⋅X₁⋅X₁⋅X₁+7639599974400⋅X₀⋅X₄⋅X₅+7639599974400⋅X₁⋅X₄⋅X₅+832716288000⋅X₂⋅X₂⋅X₂+832716288000⋅X₃⋅X₃⋅X₃+8334105292800⋅X₀⋅X₀⋅X₅+8334105292800⋅X₀⋅X₂⋅X₅+8334105292800⋅X₀⋅X₃⋅X₅+8334105292800⋅X₁⋅X₁⋅X₅+8334105292800⋅X₁⋅X₂⋅X₅+8334105292800⋅X₁⋅X₃⋅X₅+9159883315200⋅X₀⋅X₀⋅X₄+9159883315200⋅X₀⋅X₂⋅X₄+9159883315200⋅X₀⋅X₃⋅X₄+9159883315200⋅X₁⋅X₁⋅X₄+9159883315200⋅X₁⋅X₂⋅X₄+9159883315200⋅X₁⋅X₃⋅X₄+9992595456000⋅X₀⋅X₀⋅X₂+9992595456000⋅X₀⋅X₀⋅X₃+9992595456000⋅X₀⋅X₂⋅X₃+9992595456000⋅X₁⋅X₁⋅X₂+9992595456000⋅X₁⋅X₁⋅X₃+9992595456000⋅X₁⋅X₂⋅X₃+1479510260640⋅X₄⋅X₅+1614009732480⋅X₂⋅X₅+1614009733680⋅X₃⋅X₅+1773932711040⋅X₂⋅X₄+1773932712360⋅X₃⋅X₄+1935197569440⋅X₂⋅X₃+3228019464960⋅X₀⋅X₅+3228019464960⋅X₁⋅X₅+3547865422080⋅X₀⋅X₄+3547865422080⋅X₁⋅X₄+3870395136000⋅X₀⋅X₀+3870395136000⋅X₀⋅X₂+3870395136000⋅X₁⋅X₁+3870395136000⋅X₁⋅X₂+3870395138880⋅X₀⋅X₃+3870395138880⋅X₁⋅X₃+673064510400⋅X₅⋅X₅+7740790272000⋅X₀⋅X₁+813053229120⋅X₄⋅X₄+967598784000⋅X₂⋅X₂+967598785440⋅X₃⋅X₃+416765695824⋅X₅+458060657688⋅X₄+499701856321⋅X₂+499701857436⋅X₃+999403712640⋅X₀+999403712640⋅X₁+96773799384 {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₄+1326490320⋅X₄⋅X₅+1447079040⋅X₂⋅X₅+1447079040⋅X₃⋅X₅+1590020640⋅X₂⋅X₄+1590020640⋅X₃⋅X₄+1734566400⋅X₂⋅X₃+2894158080⋅X₀⋅X₅+2894158080⋅X₁⋅X₅+3180041280⋅X₀⋅X₄+3180041280⋅X₁⋅X₄+3469132800⋅X₀⋅X₀+3469132800⋅X₀⋅X₂+3469132800⋅X₀⋅X₃+3469132800⋅X₁⋅X₁+3469132800⋅X₁⋅X₂+3469132800⋅X₁⋅X₃+603619200⋅X₅⋅X₅+6938265600⋅X₀⋅X₁+728760120⋅X₄⋅X₄+867283200⋅X₂⋅X₂+867283200⋅X₃⋅X₃+1343485440⋅X₀+1343485440⋅X₁+560408328⋅X₅+615765276⋅X₄+671742720⋅X₂+671742721⋅X₃+173429748 {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₄+1605600⋅X₀+1605600⋅X₁+670116⋅X₅+735901⋅X₄+802800⋅X₂+802800⋅X₃+310806 {O(n^2)}
t₁, X₅: 1440⋅X₀+1440⋅X₁+601⋅X₅+660⋅X₄+720⋅X₂+720⋅X₃+557 {O(n)}