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:
355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+355⋅X₄+1421 {O(n)}
MPRF:
• l1: [1+X₄; 1+X₃; 1+X₂; 1+X₁; X₀]
Overall timebound:355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+355⋅X₄+1422 {O(n)}
t₀: 1 {O(1)}
t₁: 355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+355⋅X₄+1421 {O(n)}
Overall costbound: 355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+355⋅X₄+1422 {O(n)}
t₀: 1 {O(1)}
t₁: 355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+355⋅X₄+1421 {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₀: 112764334437500⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+112764334437500⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+112764334437500⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+112764334437500⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+112764334437500⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+112764334437500⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+112764334437500⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+112764334437500⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+112764334437500⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+112764334437500⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+112764334437500⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+112764334437500⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+112891392842500⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+112891392842500⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+112891392842500⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+112891392842500⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+112891392842500⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+112891392842500⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+112891392842500⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+112891392842500⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+112891392842500⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+112891392842500⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+112891392842500⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+112891392842500⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+113145509652500⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+113145509652500⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+113145509652500⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+113145509652500⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+113145509652500⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+113145509652500⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+169146501656250⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+169146501656250⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+169146501656250⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+169146501656250⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+169146501656250⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+169146501656250⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+169146501656250⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+169146501656250⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+169146501656250⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+169146501656250⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+169146501656250⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+169146501656250⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+169337089263750⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+169337089263750⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+169337089263750⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+169337089263750⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+169337089263750⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+169337089263750⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+169527676871250⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+169527676871250⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+169527676871250⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+169527676871250⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+169527676871250⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+169527676871250⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+169527676871250⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+169527676871250⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+169527676871250⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+169527676871250⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+169527676871250⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+169527676871250⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+28191083609375⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+28191083609375⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+28191083609375⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+28191083609375⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+28191083609375⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+28191083609375⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+28191083609375⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+28191083609375⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+28191083609375⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+28191083609375⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+28191083609375⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+28191083609375⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+28222848210625⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+28222848210625⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+28222848210625⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+28222848210625⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+28318142014375⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+28318142014375⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+28318142014375⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+28318142014375⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+338293003312500⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+338293003312500⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+338293003312500⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+338293003312500⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+338674178527500⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+338674178527500⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+338674178527500⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+338674178527500⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+338674178527500⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+338674178527500⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+338674178527500⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+338674178527500⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+338674178527500⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+338674178527500⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+338674178527500⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+338674178527500⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+339055353742500⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+339055353742500⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+339055353742500⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+339055353742500⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+5638216721875⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+5638216721875⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+5638216721875⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+5638216721875⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+56382167218750⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+56382167218750⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+56382167218750⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+56382167218750⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+56382167218750⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+56382167218750⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+56382167218750⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+56382167218750⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+56382167218750⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+56382167218750⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+56382167218750⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+56382167218750⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+56509225623750⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+56509225623750⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+56509225623750⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+56509225623750⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+56572754826250⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+56572754826250⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+56572754826250⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+56572754826250⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+5669981323125⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+677348357055000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+112907275143125⋅X₀⋅X₀⋅X₀⋅X₀+112907275143125⋅X₁⋅X₁⋅X₁⋅X₁+112907275143125⋅X₂⋅X₂⋅X₂⋅X₂+112907364620875⋅X₃⋅X₃⋅X₃⋅X₃+113416224585125⋅X₄⋅X₄⋅X₄⋅X₄+1354887301717500⋅X₀⋅X₀⋅X₁⋅X₂+1354887301717500⋅X₀⋅X₁⋅X₁⋅X₂+1354887301717500⋅X₀⋅X₁⋅X₂⋅X₂+1354887570150750⋅X₀⋅X₀⋅X₁⋅X₃+1354887570150750⋅X₀⋅X₀⋅X₂⋅X₃+1354887570150750⋅X₀⋅X₁⋅X₁⋅X₃+1354887570150750⋅X₀⋅X₂⋅X₂⋅X₃+1354887570150750⋅X₁⋅X₁⋅X₂⋅X₃+1354887570150750⋅X₁⋅X₂⋅X₂⋅X₃+1354887838584000⋅X₀⋅X₁⋅X₃⋅X₃+1354887838584000⋅X₀⋅X₂⋅X₃⋅X₃+1354887838584000⋅X₁⋅X₂⋅X₃⋅X₃+1356414150043500⋅X₀⋅X₀⋅X₁⋅X₄+1356414150043500⋅X₀⋅X₀⋅X₂⋅X₄+1356414150043500⋅X₀⋅X₁⋅X₁⋅X₄+1356414150043500⋅X₀⋅X₂⋅X₂⋅X₄+1356414150043500⋅X₁⋅X₁⋅X₂⋅X₄+1356414150043500⋅X₁⋅X₂⋅X₂⋅X₄+1356414418476750⋅X₀⋅X₀⋅X₃⋅X₄+1356414418476750⋅X₁⋅X₁⋅X₃⋅X₄+1356414418476750⋅X₂⋅X₂⋅X₃⋅X₄+1356414686910000⋅X₀⋅X₃⋅X₃⋅X₄+1356414686910000⋅X₁⋅X₃⋅X₃⋅X₄+1356414686910000⋅X₂⋅X₃⋅X₃⋅X₄+1357940998369500⋅X₀⋅X₁⋅X₄⋅X₄+1357940998369500⋅X₀⋅X₂⋅X₄⋅X₄+1357940998369500⋅X₁⋅X₂⋅X₄⋅X₄+1357941266802750⋅X₀⋅X₃⋅X₄⋅X₄+1357941266802750⋅X₁⋅X₃⋅X₄⋅X₄+1357941266802750⋅X₂⋅X₃⋅X₄⋅X₄+2709775140301500⋅X₀⋅X₁⋅X₂⋅X₃+2712828300087000⋅X₀⋅X₁⋅X₂⋅X₄+2712828836953500⋅X₀⋅X₁⋅X₃⋅X₄+2712828836953500⋅X₀⋅X₂⋅X₃⋅X₄+2712828836953500⋅X₁⋅X₂⋅X₃⋅X₄+451629100572500⋅X₀⋅X₀⋅X₀⋅X₁+451629100572500⋅X₀⋅X₀⋅X₀⋅X₂+451629100572500⋅X₀⋅X₁⋅X₁⋅X₁+451629100572500⋅X₀⋅X₂⋅X₂⋅X₂+451629100572500⋅X₁⋅X₁⋅X₁⋅X₂+451629100572500⋅X₁⋅X₂⋅X₂⋅X₂+451629190050250⋅X₀⋅X₀⋅X₀⋅X₃+451629190050250⋅X₁⋅X₁⋅X₁⋅X₃+451629190050250⋅X₂⋅X₂⋅X₂⋅X₃+451629369005750⋅X₀⋅X₃⋅X₃⋅X₃+451629369005750⋅X₁⋅X₃⋅X₃⋅X₃+451629369005750⋅X₂⋅X₃⋅X₃⋅X₃+452138050014500⋅X₀⋅X₀⋅X₀⋅X₄+452138050014500⋅X₁⋅X₁⋅X₁⋅X₄+452138050014500⋅X₂⋅X₂⋅X₂⋅X₄+452138318447750⋅X₃⋅X₃⋅X₃⋅X₄+453155948898500⋅X₀⋅X₄⋅X₄⋅X₄+453155948898500⋅X₁⋅X₄⋅X₄⋅X₄+453155948898500⋅X₂⋅X₄⋅X₄⋅X₄+453156038376250⋅X₃⋅X₄⋅X₄⋅X₄+677443650858750⋅X₀⋅X₀⋅X₁⋅X₁+677443650858750⋅X₀⋅X₀⋅X₂⋅X₂+677443650858750⋅X₁⋅X₁⋅X₂⋅X₂+677443919292000⋅X₀⋅X₀⋅X₃⋅X₃+677443919292000⋅X₁⋅X₁⋅X₃⋅X₃+677443919292000⋅X₂⋅X₂⋅X₃⋅X₃+678970499184750⋅X₀⋅X₀⋅X₄⋅X₄+678970499184750⋅X₁⋅X₁⋅X₄⋅X₄+678970499184750⋅X₂⋅X₂⋅X₄⋅X₄+678970767618000⋅X₃⋅X₃⋅X₄⋅X₄+2713209475302000⋅X₀⋅X₀⋅X₁+2713209475302000⋅X₀⋅X₁⋅X₁+2713209475554050⋅X₀⋅X₀⋅X₂+2713209475554050⋅X₁⋅X₁⋅X₂+2713209475806100⋅X₀⋅X₂⋅X₂+2713209475806100⋅X₁⋅X₂⋅X₂+2713210550547300⋅X₀⋅X₀⋅X₃+2713210550547300⋅X₁⋅X₁⋅X₃+2713210551051400⋅X₂⋅X₂⋅X₃+2713211625792600⋅X₀⋅X₃⋅X₃+2713211625792600⋅X₁⋅X₃⋅X₃+2713211626044650⋅X₂⋅X₃⋅X₃+2716267472935200⋅X₀⋅X₀⋅X₄+2716267472935200⋅X₁⋅X₁⋅X₄+2716267473439300⋅X₂⋅X₂⋅X₄+2716269623425800⋅X₃⋅X₃⋅X₄+2719325470568400⋅X₀⋅X₄⋅X₄+2719325470568400⋅X₁⋅X₄⋅X₄+2719325470820450⋅X₂⋅X₄⋅X₄+2719326545813700⋅X₃⋅X₄⋅X₄+5426418951108100⋅X₀⋅X₁⋅X₂+5426421101094600⋅X₀⋅X₁⋅X₃+5426421101598700⋅X₀⋅X₂⋅X₃+5426421101598700⋅X₁⋅X₂⋅X₃+5432534945870400⋅X₀⋅X₁⋅X₄+5432534946374500⋅X₀⋅X₂⋅X₄+5432534946374500⋅X₁⋅X₂⋅X₄+5432537096361000⋅X₀⋅X₃⋅X₄+5432537096361000⋅X₁⋅X₃⋅X₄+5432537096865100⋅X₂⋅X₃⋅X₄+904403158434000⋅X₀⋅X₀⋅X₀+904403158434000⋅X₁⋅X₁⋅X₁+904403158686050⋅X₂⋅X₂⋅X₂+904404233679300⋅X₃⋅X₃⋅X₃+907461156067200⋅X₄⋅X₄⋅X₄+3622198196525400⋅X₀⋅X₀+3622198196526110⋅X₁⋅X₁+3622198198544640⋅X₂⋅X₂+3622202503564320⋅X₃⋅X₃+3630364342317720⋅X₄⋅X₄+7244396393051510⋅X₀⋅X₁+7244396395070040⋅X₀⋅X₂+7244396395070750⋅X₁⋅X₂+7244400700089720⋅X₀⋅X₃+7244400700090430⋅X₁⋅X₃+7244400702108960⋅X₂⋅X₃+7252562538843120⋅X₀⋅X₄+7252562538843830⋅X₁⋅X₄+7252562540862360⋅X₂⋅X₄+7252566845882040⋅X₃⋅X₄+7253579000028241⋅X₀+7253579000031084⋅X₁+7253579004072408⋅X₂+7253584750835136⋅X₃+7261756647434352⋅X₄+5810218482042576 {O(n^5)}
t₁, X₁: 15882300625⋅X₀⋅X₀⋅X₀⋅X₀+15882300625⋅X₁⋅X₁⋅X₁⋅X₁+15882300625⋅X₂⋅X₂⋅X₂⋅X₂+15882300625⋅X₃⋅X₃⋅X₃⋅X₃+15971778375⋅X₄⋅X₄⋅X₄⋅X₄+190587607500⋅X₀⋅X₀⋅X₁⋅X₂+190587607500⋅X₀⋅X₀⋅X₁⋅X₃+190587607500⋅X₀⋅X₀⋅X₂⋅X₃+190587607500⋅X₀⋅X₁⋅X₁⋅X₂+190587607500⋅X₀⋅X₁⋅X₁⋅X₃+190587607500⋅X₀⋅X₁⋅X₂⋅X₂+190587607500⋅X₀⋅X₁⋅X₃⋅X₃+190587607500⋅X₀⋅X₂⋅X₂⋅X₃+190587607500⋅X₀⋅X₂⋅X₃⋅X₃+190587607500⋅X₁⋅X₁⋅X₂⋅X₃+190587607500⋅X₁⋅X₂⋅X₂⋅X₃+190587607500⋅X₁⋅X₂⋅X₃⋅X₃+190856040750⋅X₀⋅X₀⋅X₁⋅X₄+190856040750⋅X₀⋅X₀⋅X₂⋅X₄+190856040750⋅X₀⋅X₀⋅X₃⋅X₄+190856040750⋅X₀⋅X₁⋅X₁⋅X₄+190856040750⋅X₀⋅X₂⋅X₂⋅X₄+190856040750⋅X₀⋅X₃⋅X₃⋅X₄+190856040750⋅X₁⋅X₁⋅X₂⋅X₄+190856040750⋅X₁⋅X₁⋅X₃⋅X₄+190856040750⋅X₁⋅X₂⋅X₂⋅X₄+190856040750⋅X₁⋅X₃⋅X₃⋅X₄+190856040750⋅X₂⋅X₂⋅X₃⋅X₄+190856040750⋅X₂⋅X₃⋅X₃⋅X₄+191124474000⋅X₀⋅X₁⋅X₄⋅X₄+191124474000⋅X₀⋅X₂⋅X₄⋅X₄+191124474000⋅X₀⋅X₃⋅X₄⋅X₄+191124474000⋅X₁⋅X₂⋅X₄⋅X₄+191124474000⋅X₁⋅X₃⋅X₄⋅X₄+191124474000⋅X₂⋅X₃⋅X₄⋅X₄+381175215000⋅X₀⋅X₁⋅X₂⋅X₃+381712081500⋅X₀⋅X₁⋅X₂⋅X₄+381712081500⋅X₀⋅X₁⋅X₃⋅X₄+381712081500⋅X₀⋅X₂⋅X₃⋅X₄+381712081500⋅X₁⋅X₂⋅X₃⋅X₄+63529202500⋅X₀⋅X₀⋅X₀⋅X₁+63529202500⋅X₀⋅X₀⋅X₀⋅X₂+63529202500⋅X₀⋅X₀⋅X₀⋅X₃+63529202500⋅X₀⋅X₁⋅X₁⋅X₁+63529202500⋅X₀⋅X₂⋅X₂⋅X₂+63529202500⋅X₀⋅X₃⋅X₃⋅X₃+63529202500⋅X₁⋅X₁⋅X₁⋅X₂+63529202500⋅X₁⋅X₁⋅X₁⋅X₃+63529202500⋅X₁⋅X₂⋅X₂⋅X₂+63529202500⋅X₁⋅X₃⋅X₃⋅X₃+63529202500⋅X₂⋅X₂⋅X₂⋅X₃+63529202500⋅X₂⋅X₃⋅X₃⋅X₃+63618680250⋅X₀⋅X₀⋅X₀⋅X₄+63618680250⋅X₁⋅X₁⋅X₁⋅X₄+63618680250⋅X₂⋅X₂⋅X₂⋅X₄+63618680250⋅X₃⋅X₃⋅X₃⋅X₄+63797635750⋅X₀⋅X₄⋅X₄⋅X₄+63797635750⋅X₁⋅X₄⋅X₄⋅X₄+63797635750⋅X₂⋅X₄⋅X₄⋅X₄+63797635750⋅X₃⋅X₄⋅X₄⋅X₄+95293803750⋅X₀⋅X₀⋅X₁⋅X₁+95293803750⋅X₀⋅X₀⋅X₂⋅X₂+95293803750⋅X₀⋅X₀⋅X₃⋅X₃+95293803750⋅X₁⋅X₁⋅X₂⋅X₂+95293803750⋅X₁⋅X₁⋅X₃⋅X₃+95293803750⋅X₂⋅X₂⋅X₃⋅X₃+95562237000⋅X₀⋅X₀⋅X₄⋅X₄+95562237000⋅X₁⋅X₁⋅X₄⋅X₄+95562237000⋅X₂⋅X₂⋅X₄⋅X₄+95562237000⋅X₃⋅X₃⋅X₄⋅X₄+1526579892750⋅X₀⋅X₁⋅X₂+1526580396850⋅X₀⋅X₁⋅X₃+1526580396850⋅X₀⋅X₂⋅X₃+1526580396850⋅X₁⋅X₂⋅X₃+1528730383350⋅X₀⋅X₁⋅X₄+1528730383350⋅X₀⋅X₂⋅X₄+1528730383350⋅X₁⋅X₂⋅X₄+1528730887450⋅X₀⋅X₃⋅X₄+1528730887450⋅X₁⋅X₃⋅X₄+1528730887450⋅X₂⋅X₃⋅X₄+254429982125⋅X₀⋅X₀⋅X₀+254429982125⋅X₁⋅X₁⋅X₁+254429982125⋅X₂⋅X₂⋅X₂+254430234175⋅X₃⋅X₃⋅X₃+255505227425⋅X₄⋅X₄⋅X₄+763289946375⋅X₀⋅X₀⋅X₁+763289946375⋅X₀⋅X₀⋅X₂+763289946375⋅X₀⋅X₁⋅X₁+763289946375⋅X₀⋅X₂⋅X₂+763289946375⋅X₁⋅X₁⋅X₂+763289946375⋅X₁⋅X₂⋅X₂+763290198425⋅X₀⋅X₀⋅X₃+763290198425⋅X₁⋅X₁⋅X₃+763290198425⋅X₂⋅X₂⋅X₃+763290450475⋅X₀⋅X₃⋅X₃+763290450475⋅X₁⋅X₃⋅X₃+763290450475⋅X₂⋅X₃⋅X₃+764365191675⋅X₀⋅X₀⋅X₄+764365191675⋅X₁⋅X₁⋅X₄+764365191675⋅X₂⋅X₂⋅X₄+764365695775⋅X₃⋅X₃⋅X₄+765440436975⋅X₀⋅X₄⋅X₄+765440436975⋅X₁⋅X₄⋅X₄+765440436975⋅X₂⋅X₄⋅X₄+765440689025⋅X₃⋅X₄⋅X₄+1528461193950⋅X₀⋅X₀+1528461193950⋅X₁⋅X₁+1528461194660⋅X₂⋅X₂+1528463213190⋅X₃⋅X₃+1532768232870⋅X₄⋅X₄+3056922387900⋅X₀⋅X₁+3056922388610⋅X₀⋅X₂+3056922388610⋅X₁⋅X₂+3056924407140⋅X₀⋅X₃+3056924407140⋅X₁⋅X₃+3056924407850⋅X₂⋅X₃+3061229426820⋅X₀⋅X₄+3061229426820⋅X₁⋅X₄+3061229427530⋅X₂⋅X₄+3061231446060⋅X₃⋅X₄+4080919376700⋅X₀+4080919376701⋅X₁+4080919379544⋅X₂+4080923420868⋅X₃+4086670183596⋅X₄+4085948299608 {O(n^4)}
t₁, X₂: 134216625⋅X₀⋅X₀⋅X₁+134216625⋅X₀⋅X₀⋅X₂+134216625⋅X₀⋅X₀⋅X₃+134216625⋅X₀⋅X₁⋅X₁+134216625⋅X₀⋅X₂⋅X₂+134216625⋅X₀⋅X₃⋅X₃+134216625⋅X₁⋅X₁⋅X₂+134216625⋅X₁⋅X₁⋅X₃+134216625⋅X₁⋅X₂⋅X₂+134216625⋅X₁⋅X₃⋅X₃+134216625⋅X₂⋅X₂⋅X₃+134216625⋅X₂⋅X₃⋅X₃+134468675⋅X₀⋅X₀⋅X₄+134468675⋅X₁⋅X₁⋅X₄+134468675⋅X₂⋅X₂⋅X₄+134468675⋅X₃⋅X₃⋅X₄+134720725⋅X₀⋅X₄⋅X₄+134720725⋅X₁⋅X₄⋅X₄+134720725⋅X₂⋅X₄⋅X₄+134720725⋅X₃⋅X₄⋅X₄+268433250⋅X₀⋅X₁⋅X₂+268433250⋅X₀⋅X₁⋅X₃+268433250⋅X₀⋅X₂⋅X₃+268433250⋅X₁⋅X₂⋅X₃+268937350⋅X₀⋅X₁⋅X₄+268937350⋅X₀⋅X₂⋅X₄+268937350⋅X₀⋅X₃⋅X₄+268937350⋅X₁⋅X₂⋅X₄+268937350⋅X₁⋅X₃⋅X₄+268937350⋅X₂⋅X₃⋅X₄+44738875⋅X₀⋅X₀⋅X₀+44738875⋅X₁⋅X₁⋅X₁+44738875⋅X₂⋅X₂⋅X₂+44738875⋅X₃⋅X₃⋅X₃+44990925⋅X₄⋅X₄⋅X₄+1074993250⋅X₀⋅X₁+1074993250⋅X₀⋅X₂+1074993250⋅X₁⋅X₂+1074993960⋅X₀⋅X₃+1074993960⋅X₁⋅X₃+1074993960⋅X₂⋅X₃+1077012490⋅X₀⋅X₄+1077012490⋅X₁⋅X₄+1077012490⋅X₂⋅X₄+1077013200⋅X₃⋅X₄+537496625⋅X₀⋅X₀+537496625⋅X₁⋅X₁+537496625⋅X₂⋅X₂+537497335⋅X₃⋅X₃+539515865⋅X₄⋅X₄+2152509840⋅X₀+2152509840⋅X₁+2152509841⋅X₂+2152512684⋅X₃+2156554008⋅X₄+2873381364 {O(n^3)}
t₁, X₃: 126025⋅X₀⋅X₀+126025⋅X₁⋅X₁+126025⋅X₂⋅X₂+126025⋅X₃⋅X₃+126735⋅X₄⋅X₄+252050⋅X₀⋅X₁+252050⋅X₀⋅X₂+252050⋅X₀⋅X₃+252050⋅X₁⋅X₂+252050⋅X₁⋅X₃+252050⋅X₂⋅X₃+252760⋅X₀⋅X₄+252760⋅X₁⋅X₄+252760⋅X₂⋅X₄+252760⋅X₃⋅X₄+1009265⋅X₀+1009265⋅X₁+1009265⋅X₂+1009266⋅X₃+1012109⋅X₄+2020662 {O(n^2)}
t₁, X₄: 355⋅X₀+355⋅X₁+355⋅X₂+355⋅X₃+356⋅X₄+1421 {O(n)}