Start: l0
Program_Vars: X₀, X₁, X₂, X₃, X₄
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃, X₄) → l1(X₀, X₁, X₂, X₃, X₄)
t₁: l1(X₀, X₁, X₂, X₃, X₄) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃+X₄, X₄-1) :|: 1 ≤ X₀
Start: l0
Program_Vars: X₀, X₁, X₂, X₃, X₄
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃, X₄) → l1(X₀, X₁, X₂, X₃, X₄)
t₁: l1(X₀, X₁, X₂, X₃, X₄) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃+X₄, X₄-1) :|: 1 ≤ X₀
new bound:
356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+356⋅X₄+1425 {O(n)}
Overall timebound:356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+356⋅X₄+1426 {O(n)}
t₀: 1 {O(1)}
t₁: 356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+356⋅X₄+1425 {O(n)}
Overall costbound: 356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+356⋅X₄+1426 {O(n)}
t₀: 1 {O(1)}
t₁: 356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+356⋅X₄+1425 {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₀: 114361537515520⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+114361537515520⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+114361537515520⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+114361537515520⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+114361537515520⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+114361537515520⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+114361537515520⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+114361537515520⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+114361537515520⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+114361537515520⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+114361537515520⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+114361537515520⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+114490033625088⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+114490033625088⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+114490033625088⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+114490033625088⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+114490033625088⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+114490033625088⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+114490033625088⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+114490033625088⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+114490033625088⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+114490033625088⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+114490033625088⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+114490033625088⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+114747025844224⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+114747025844224⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+114747025844224⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+114747025844224⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+114747025844224⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+114747025844224⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+171542306273280⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+171542306273280⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+171542306273280⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+171542306273280⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+171542306273280⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+171542306273280⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+171542306273280⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+171542306273280⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+171542306273280⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+171542306273280⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+171542306273280⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+171542306273280⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+171735050437632⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+171735050437632⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+171735050437632⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+171735050437632⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+171735050437632⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+171735050437632⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+171927794601984⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+171927794601984⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+171927794601984⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+171927794601984⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+171927794601984⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+171927794601984⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+171927794601984⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+171927794601984⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+171927794601984⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+171927794601984⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+171927794601984⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+171927794601984⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+28590384378880⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+28590384378880⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+28590384378880⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+28590384378880⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+28590384378880⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+28590384378880⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+28590384378880⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+28590384378880⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+28590384378880⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+28590384378880⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+28590384378880⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+28590384378880⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+28622508406272⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+28622508406272⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+28622508406272⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+28622508406272⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+28718880488448⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+28718880488448⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+28718880488448⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+28718880488448⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+343084612546560⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+343084612546560⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+343084612546560⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+343084612546560⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+343470100875264⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+343470100875264⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+343470100875264⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+343470100875264⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+343470100875264⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+343470100875264⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+343470100875264⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+343470100875264⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+343470100875264⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+343470100875264⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+343470100875264⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+343470100875264⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+343855589203968⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+343855589203968⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+343855589203968⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+343855589203968⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+5718076875776⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+5718076875776⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+5718076875776⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+5718076875776⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+57180768757760⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+57180768757760⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+57180768757760⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+57180768757760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+57180768757760⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+57180768757760⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+57180768757760⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+57180768757760⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+57180768757760⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+57180768757760⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+57180768757760⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+57180768757760⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+57309264867328⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+57309264867328⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+57309264867328⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+57309264867328⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+57373512922112⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+57373512922112⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+57373512922112⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+57373512922112⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+5750200903168⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+686940201750528⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+114506095638784⋅X₀⋅X₀⋅X₀⋅X₀+114506095638784⋅X₁⋅X₁⋅X₁⋅X₁+114506095638784⋅X₂⋅X₂⋅X₂⋅X₂+114506185874816⋅X₃⋅X₃⋅X₃⋅X₃+115020801965312⋅X₄⋅X₄⋅X₄⋅X₄+1374073147665408⋅X₀⋅X₀⋅X₁⋅X₂+1374073147665408⋅X₀⋅X₁⋅X₁⋅X₂+1374073147665408⋅X₀⋅X₁⋅X₂⋅X₂+1374073418373504⋅X₀⋅X₀⋅X₁⋅X₃+1374073418373504⋅X₀⋅X₀⋅X₂⋅X₃+1374073418373504⋅X₀⋅X₁⋅X₁⋅X₃+1374073418373504⋅X₀⋅X₂⋅X₂⋅X₃+1374073418373504⋅X₁⋅X₁⋅X₂⋅X₃+1374073418373504⋅X₁⋅X₂⋅X₂⋅X₃+1374073689081600⋅X₀⋅X₁⋅X₃⋅X₃+1374073689081600⋅X₀⋅X₂⋅X₃⋅X₃+1374073689081600⋅X₁⋅X₂⋅X₃⋅X₃+1375617266644992⋅X₀⋅X₀⋅X₁⋅X₄+1375617266644992⋅X₀⋅X₀⋅X₂⋅X₄+1375617266644992⋅X₀⋅X₁⋅X₁⋅X₄+1375617266644992⋅X₀⋅X₂⋅X₂⋅X₄+1375617266644992⋅X₁⋅X₁⋅X₂⋅X₄+1375617266644992⋅X₁⋅X₂⋅X₂⋅X₄+1375617537353088⋅X₀⋅X₀⋅X₃⋅X₄+1375617537353088⋅X₁⋅X₁⋅X₃⋅X₄+1375617537353088⋅X₂⋅X₂⋅X₃⋅X₄+1375617808061184⋅X₀⋅X₃⋅X₃⋅X₄+1375617808061184⋅X₁⋅X₃⋅X₃⋅X₄+1375617808061184⋅X₂⋅X₃⋅X₃⋅X₄+1377161385624576⋅X₀⋅X₁⋅X₄⋅X₄+1377161385624576⋅X₀⋅X₂⋅X₄⋅X₄+1377161385624576⋅X₁⋅X₂⋅X₄⋅X₄+1377161656332672⋅X₀⋅X₃⋅X₄⋅X₄+1377161656332672⋅X₁⋅X₃⋅X₄⋅X₄+1377161656332672⋅X₂⋅X₃⋅X₄⋅X₄+2748146836747008⋅X₀⋅X₁⋅X₂⋅X₃+2751234533289984⋅X₀⋅X₁⋅X₂⋅X₄+2751235074706176⋅X₀⋅X₁⋅X₃⋅X₄+2751235074706176⋅X₀⋅X₂⋅X₃⋅X₄+2751235074706176⋅X₁⋅X₂⋅X₃⋅X₄+458024382555136⋅X₀⋅X₀⋅X₀⋅X₁+458024382555136⋅X₀⋅X₀⋅X₀⋅X₂+458024382555136⋅X₀⋅X₁⋅X₁⋅X₁+458024382555136⋅X₀⋅X₂⋅X₂⋅X₂+458024382555136⋅X₁⋅X₁⋅X₁⋅X₂+458024382555136⋅X₁⋅X₂⋅X₂⋅X₂+458024472791168⋅X₀⋅X₀⋅X₀⋅X₃+458024472791168⋅X₁⋅X₁⋅X₁⋅X₃+458024472791168⋅X₂⋅X₂⋅X₂⋅X₃+458024653263232⋅X₀⋅X₃⋅X₃⋅X₃+458024653263232⋅X₁⋅X₃⋅X₃⋅X₃+458024653263232⋅X₂⋅X₃⋅X₃⋅X₃+458539088881664⋅X₀⋅X₀⋅X₀⋅X₄+458539088881664⋅X₁⋅X₁⋅X₁⋅X₄+458539088881664⋅X₂⋅X₂⋅X₂⋅X₄+458539359589760⋅X₃⋅X₃⋅X₃⋅X₄+459568501534720⋅X₀⋅X₄⋅X₄⋅X₄+459568501534720⋅X₁⋅X₄⋅X₄⋅X₄+459568501534720⋅X₂⋅X₄⋅X₄⋅X₄+459568591770752⋅X₃⋅X₄⋅X₄⋅X₄+687036573832704⋅X₀⋅X₀⋅X₁⋅X₁+687036573832704⋅X₀⋅X₀⋅X₂⋅X₂+687036573832704⋅X₁⋅X₁⋅X₂⋅X₂+687036844540800⋅X₀⋅X₀⋅X₃⋅X₃+687036844540800⋅X₁⋅X₁⋅X₃⋅X₃+687036844540800⋅X₂⋅X₂⋅X₃⋅X₃+688580692812288⋅X₀⋅X₀⋅X₄⋅X₄+688580692812288⋅X₁⋅X₁⋅X₄⋅X₄+688580692812288⋅X₂⋅X₂⋅X₄⋅X₄+688580963520384⋅X₃⋅X₃⋅X₄⋅X₄+2751620021618688⋅X₀⋅X₀⋅X₁+2751620021618688⋅X₀⋅X₁⋅X₁+2751620021872160⋅X₀⋅X₀⋅X₂+2751620021872160⋅X₁⋅X₁⋅X₂+2751620022125632⋅X₀⋅X₂⋅X₂+2751620022125632⋅X₁⋅X₂⋅X₂+2751621105971904⋅X₀⋅X₀⋅X₃+2751621105971904⋅X₁⋅X₁⋅X₃+2751621106478848⋅X₂⋅X₂⋅X₃+2751622190325120⋅X₀⋅X₃⋅X₃+2751622190325120⋅X₁⋅X₃⋅X₃+2751622190578592⋅X₂⋅X₃⋅X₃+2754712596990720⋅X₀⋅X₀⋅X₄+2754712596990720⋅X₁⋅X₁⋅X₄+2754712597497664⋅X₂⋅X₂⋅X₄+2754714765697152⋅X₃⋅X₃⋅X₄+2757805172362752⋅X₀⋅X₄⋅X₄+2757805172362752⋅X₁⋅X₄⋅X₄+2757805172616224⋅X₂⋅X₄⋅X₄+2757806256715968⋅X₃⋅X₄⋅X₄+5503240043744320⋅X₀⋅X₁⋅X₂+5503242211943808⋅X₀⋅X₁⋅X₃+5503242212450752⋅X₀⋅X₂⋅X₃+5503242212450752⋅X₁⋅X₂⋅X₃+5509425193981440⋅X₀⋅X₁⋅X₄+5509425194488384⋅X₀⋅X₂⋅X₄+5509425194488384⋅X₁⋅X₂⋅X₄+5509427362687872⋅X₀⋅X₃⋅X₄+5509427362687872⋅X₁⋅X₃⋅X₄+5509427363194816⋅X₂⋅X₃⋅X₄+917206673872896⋅X₀⋅X₀⋅X₀+917206673872896⋅X₁⋅X₁⋅X₁+917206674126368⋅X₂⋅X₂⋅X₂+917207758226112⋅X₃⋅X₃⋅X₃+920299249244928⋅X₄⋅X₄⋅X₄+3673464112745344⋅X₀⋅X₀+3673464112746056⋅X₁⋅X₁+3673464114775968⋅X₂⋅X₂+3673468456250080⋅X₃⋅X₃+3681722563083392⋅X₄⋅X₄+7346928225491400⋅X₀⋅X₁+7346928227521312⋅X₀⋅X₂+7346928227522024⋅X₁⋅X₂+7346932568995424⋅X₀⋅X₃+7346932568996136⋅X₁⋅X₃+7346932571026048⋅X₂⋅X₃+7355186675828736⋅X₀⋅X₄+7355186675829448⋅X₁⋅X₄+7355186677859360⋅X₂⋅X₄+7355191019333472⋅X₃⋅X₄+7356214638616257⋅X₀+7356214638619108⋅X₁+7356214642683208⋅X₂+7356220438089808⋅X₃+7364484687901408⋅X₄+5892410115670800 {O(n^5)}
t₁, X₁: 16062013696⋅X₀⋅X₀⋅X₀⋅X₀+16062013696⋅X₁⋅X₁⋅X₁⋅X₁+16062013696⋅X₂⋅X₂⋅X₂⋅X₂+16062013696⋅X₃⋅X₃⋅X₃⋅X₃+16152249728⋅X₄⋅X₄⋅X₄⋅X₄+192744164352⋅X₀⋅X₀⋅X₁⋅X₂+192744164352⋅X₀⋅X₀⋅X₁⋅X₃+192744164352⋅X₀⋅X₀⋅X₂⋅X₃+192744164352⋅X₀⋅X₁⋅X₁⋅X₂+192744164352⋅X₀⋅X₁⋅X₁⋅X₃+192744164352⋅X₀⋅X₁⋅X₂⋅X₂+192744164352⋅X₀⋅X₁⋅X₃⋅X₃+192744164352⋅X₀⋅X₂⋅X₂⋅X₃+192744164352⋅X₀⋅X₂⋅X₃⋅X₃+192744164352⋅X₁⋅X₁⋅X₂⋅X₃+192744164352⋅X₁⋅X₂⋅X₂⋅X₃+192744164352⋅X₁⋅X₂⋅X₃⋅X₃+193014872448⋅X₀⋅X₀⋅X₁⋅X₄+193014872448⋅X₀⋅X₀⋅X₂⋅X₄+193014872448⋅X₀⋅X₀⋅X₃⋅X₄+193014872448⋅X₀⋅X₁⋅X₁⋅X₄+193014872448⋅X₀⋅X₂⋅X₂⋅X₄+193014872448⋅X₀⋅X₃⋅X₃⋅X₄+193014872448⋅X₁⋅X₁⋅X₂⋅X₄+193014872448⋅X₁⋅X₁⋅X₃⋅X₄+193014872448⋅X₁⋅X₂⋅X₂⋅X₄+193014872448⋅X₁⋅X₃⋅X₃⋅X₄+193014872448⋅X₂⋅X₂⋅X₃⋅X₄+193014872448⋅X₂⋅X₃⋅X₃⋅X₄+193285580544⋅X₀⋅X₁⋅X₄⋅X₄+193285580544⋅X₀⋅X₂⋅X₄⋅X₄+193285580544⋅X₀⋅X₃⋅X₄⋅X₄+193285580544⋅X₁⋅X₂⋅X₄⋅X₄+193285580544⋅X₁⋅X₃⋅X₄⋅X₄+193285580544⋅X₂⋅X₃⋅X₄⋅X₄+385488328704⋅X₀⋅X₁⋅X₂⋅X₃+386029744896⋅X₀⋅X₁⋅X₂⋅X₄+386029744896⋅X₀⋅X₁⋅X₃⋅X₄+386029744896⋅X₀⋅X₂⋅X₃⋅X₄+386029744896⋅X₁⋅X₂⋅X₃⋅X₄+64248054784⋅X₀⋅X₀⋅X₀⋅X₁+64248054784⋅X₀⋅X₀⋅X₀⋅X₂+64248054784⋅X₀⋅X₀⋅X₀⋅X₃+64248054784⋅X₀⋅X₁⋅X₁⋅X₁+64248054784⋅X₀⋅X₂⋅X₂⋅X₂+64248054784⋅X₀⋅X₃⋅X₃⋅X₃+64248054784⋅X₁⋅X₁⋅X₁⋅X₂+64248054784⋅X₁⋅X₁⋅X₁⋅X₃+64248054784⋅X₁⋅X₂⋅X₂⋅X₂+64248054784⋅X₁⋅X₃⋅X₃⋅X₃+64248054784⋅X₂⋅X₂⋅X₂⋅X₃+64248054784⋅X₂⋅X₃⋅X₃⋅X₃+64338290816⋅X₀⋅X₀⋅X₀⋅X₄+64338290816⋅X₁⋅X₁⋅X₁⋅X₄+64338290816⋅X₂⋅X₂⋅X₂⋅X₄+64338290816⋅X₃⋅X₃⋅X₃⋅X₄+64518762880⋅X₀⋅X₄⋅X₄⋅X₄+64518762880⋅X₁⋅X₄⋅X₄⋅X₄+64518762880⋅X₂⋅X₄⋅X₄⋅X₄+64518762880⋅X₃⋅X₄⋅X₄⋅X₄+96372082176⋅X₀⋅X₀⋅X₁⋅X₁+96372082176⋅X₀⋅X₀⋅X₂⋅X₂+96372082176⋅X₀⋅X₀⋅X₃⋅X₃+96372082176⋅X₁⋅X₁⋅X₂⋅X₂+96372082176⋅X₁⋅X₁⋅X₃⋅X₃+96372082176⋅X₂⋅X₂⋅X₃⋅X₃+96642790272⋅X₀⋅X₀⋅X₄⋅X₄+96642790272⋅X₁⋅X₁⋅X₄⋅X₄+96642790272⋅X₂⋅X₂⋅X₄⋅X₄+96642790272⋅X₃⋅X₃⋅X₄⋅X₄+1543848271488⋅X₀⋅X₁⋅X₂+1543848778432⋅X₀⋅X₁⋅X₃+1543848778432⋅X₀⋅X₂⋅X₃+1543848778432⋅X₁⋅X₂⋅X₃+1546016977920⋅X₀⋅X₁⋅X₄+1546016977920⋅X₀⋅X₂⋅X₄+1546016977920⋅X₁⋅X₂⋅X₄+1546017484864⋅X₀⋅X₃⋅X₄+1546017484864⋅X₁⋅X₃⋅X₄+1546017484864⋅X₂⋅X₃⋅X₄+257308045248⋅X₀⋅X₀⋅X₀+257308045248⋅X₁⋅X₁⋅X₁+257308045248⋅X₂⋅X₂⋅X₂+257308298720⋅X₃⋅X₃⋅X₃+258392398464⋅X₄⋅X₄⋅X₄+771924135744⋅X₀⋅X₀⋅X₁+771924135744⋅X₀⋅X₀⋅X₂+771924135744⋅X₀⋅X₁⋅X₁+771924135744⋅X₀⋅X₂⋅X₂+771924135744⋅X₁⋅X₁⋅X₂+771924135744⋅X₁⋅X₂⋅X₂+771924389216⋅X₀⋅X₀⋅X₃+771924389216⋅X₁⋅X₁⋅X₃+771924389216⋅X₂⋅X₂⋅X₃+771924642688⋅X₀⋅X₃⋅X₃+771924642688⋅X₁⋅X₃⋅X₃+771924642688⋅X₂⋅X₃⋅X₃+773008488960⋅X₀⋅X₀⋅X₄+773008488960⋅X₁⋅X₁⋅X₄+773008488960⋅X₂⋅X₂⋅X₄+773008995904⋅X₃⋅X₃⋅X₄+774092842176⋅X₀⋅X₄⋅X₄+774092842176⋅X₁⋅X₄⋅X₄+774092842176⋅X₂⋅X₄⋅X₄+774093095648⋅X₃⋅X₄⋅X₄+1545745509408⋅X₀⋅X₀+1545745509408⋅X₁⋅X₁+1545745510120⋅X₂⋅X₂+1545747540032⋅X₃⋅X₃+1550089014144⋅X₄⋅X₄+3091491018816⋅X₀⋅X₁+3091491019528⋅X₀⋅X₂+3091491019528⋅X₁⋅X₂+3091493049440⋅X₀⋅X₃+3091493049440⋅X₁⋅X₃+3091493050152⋅X₂⋅X₃+3095834523552⋅X₀⋅X₄+3095834523552⋅X₁⋅X₄+3095834524264⋅X₂⋅X₄+3095836554176⋅X₃⋅X₄+4127053416656⋅X₀+4127053416657⋅X₁+4127053419508⋅X₂+4127057483608⋅X₃+4132852890208⋅X₄+4132124905800 {O(n^4)}
t₁, X₂: 135354048⋅X₀⋅X₀⋅X₁+135354048⋅X₀⋅X₀⋅X₂+135354048⋅X₀⋅X₀⋅X₃+135354048⋅X₀⋅X₁⋅X₁+135354048⋅X₀⋅X₂⋅X₂+135354048⋅X₀⋅X₃⋅X₃+135354048⋅X₁⋅X₁⋅X₂+135354048⋅X₁⋅X₁⋅X₃+135354048⋅X₁⋅X₂⋅X₂+135354048⋅X₁⋅X₃⋅X₃+135354048⋅X₂⋅X₂⋅X₃+135354048⋅X₂⋅X₃⋅X₃+135607520⋅X₀⋅X₀⋅X₄+135607520⋅X₁⋅X₁⋅X₄+135607520⋅X₂⋅X₂⋅X₄+135607520⋅X₃⋅X₃⋅X₄+135860992⋅X₀⋅X₄⋅X₄+135860992⋅X₁⋅X₄⋅X₄+135860992⋅X₂⋅X₄⋅X₄+135860992⋅X₃⋅X₄⋅X₄+270708096⋅X₀⋅X₁⋅X₂+270708096⋅X₀⋅X₁⋅X₃+270708096⋅X₀⋅X₂⋅X₃+270708096⋅X₁⋅X₂⋅X₃+271215040⋅X₀⋅X₁⋅X₄+271215040⋅X₀⋅X₂⋅X₄+271215040⋅X₀⋅X₃⋅X₄+271215040⋅X₁⋅X₂⋅X₄+271215040⋅X₁⋅X₃⋅X₄+271215040⋅X₂⋅X₃⋅X₄+45118016⋅X₀⋅X₀⋅X₀+45118016⋅X₁⋅X₁⋅X₁+45118016⋅X₂⋅X₂⋅X₂+45118016⋅X₃⋅X₃⋅X₃+45371488⋅X₄⋅X₄⋅X₄+1084099744⋅X₀⋅X₁+1084099744⋅X₀⋅X₂+1084099744⋅X₁⋅X₂+1084100456⋅X₀⋅X₃+1084100456⋅X₁⋅X₃+1084100456⋅X₂⋅X₃+1086130368⋅X₀⋅X₄+1086130368⋅X₁⋅X₄+1086130368⋅X₂⋅X₄+1086131080⋅X₃⋅X₄+542049872⋅X₀⋅X₀+542049872⋅X₁⋅X₁+542049872⋅X₂⋅X₂+542050584⋅X₃⋅X₃+544080496⋅X₄⋅X₄+2170737056⋅X₀+2170737056⋅X₁+2170737057⋅X₂+2170739908⋅X₃+2174804008⋅X₄+2897703300 {O(n^3)}
t₁, X₃: 126736⋅X₀⋅X₀+126736⋅X₁⋅X₁+126736⋅X₂⋅X₂+126736⋅X₃⋅X₃+127448⋅X₄⋅X₄+253472⋅X₀⋅X₁+253472⋅X₀⋅X₂+253472⋅X₀⋅X₃+253472⋅X₁⋅X₂+253472⋅X₁⋅X₃+253472⋅X₂⋅X₃+254184⋅X₀⋅X₄+254184⋅X₁⋅X₄+254184⋅X₂⋅X₄+254184⋅X₃⋅X₄+1014956⋅X₀+1014956⋅X₁+1014956⋅X₂+1014957⋅X₃+1017808⋅X₄+2032050 {O(n^2)}
t₁, X₄: 356⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+357⋅X₄+1425 {O(n)}