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₀
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)}
Runtime-bound of t₀: 1 {O(1)}
Results in: 110⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+28 {O(n)}
Overall timebound:110⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+29 {O(n)}
t₀: 1 {O(1)}
t₁: 110⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+28 {O(n)}
Overall costbound: 110⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+29 {O(n)}
t₀: 1 {O(1)}
t₁: 110⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+28 {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₀: 10988421120000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₄+10988421120000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₄+10988421120000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₄+10988421120000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₄+10988421120000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₄+10988421120000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₄+114462720000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₄+114462720000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₄+11943936000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+11943936000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+11943936000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+11943936000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+124416000000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+124416000000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+1263651840000⋅X₀⋅X₂⋅X₂⋅X₄⋅X₄+1263651840000⋅X₀⋅X₃⋅X₃⋅X₄⋅X₄+1263651840000⋅X₁⋅X₂⋅X₂⋅X₄⋅X₄+1263651840000⋅X₁⋅X₃⋅X₃⋅X₄⋅X₄+1492992000000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1492992000000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+1550039040000⋅X₀⋅X₁⋅X₄⋅X₄⋅X₄+16397920000⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+1684869120000⋅X₀⋅X₀⋅X₀⋅X₄⋅X₄+1684869120000⋅X₁⋅X₁⋅X₁⋅X₄⋅X₄+178247520000⋅X₀⋅X₄⋅X₄⋅X₄⋅X₄+178247520000⋅X₁⋅X₄⋅X₄⋅X₄⋅X₄+1831403520000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₄+1831403520000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₄+193754880000⋅X₂⋅X₂⋅X₄⋅X₄⋅X₄+193754880000⋅X₃⋅X₃⋅X₄⋅X₄⋅X₄+1990656000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+1990656000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+1990656000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+1990656000000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+1990656000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+1990656000000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+1990656000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+1990656000000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+1990656000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+1990656000000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+210608640000⋅X₂⋅X₂⋅X₂⋅X₄⋅X₄+210608640000⋅X₃⋅X₃⋅X₃⋅X₄⋅X₄+24883200000⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+24883200000⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+248832000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+248832000000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+248832000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+248832000000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+248832000000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+248832000000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+2527303680000⋅X₀⋅X₀⋅X₂⋅X₄⋅X₄+2527303680000⋅X₀⋅X₀⋅X₃⋅X₄⋅X₄+2527303680000⋅X₀⋅X₂⋅X₃⋅X₄⋅X₄+2527303680000⋅X₁⋅X₁⋅X₂⋅X₄⋅X₄+2527303680000⋅X₁⋅X₁⋅X₃⋅X₄⋅X₄+2527303680000⋅X₁⋅X₂⋅X₃⋅X₄⋅X₄+2747105280000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₄+2747105280000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₄+2747105280000⋅X₀⋅X₂⋅X₂⋅X₃⋅X₄+2747105280000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₄+2747105280000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₄+2747105280000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₄+2747105280000⋅X₁⋅X₂⋅X₂⋅X₃⋅X₄+2747105280000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₄+2985984000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+2985984000000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+2985984000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+2985984000000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+3662807040000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₄+3662807040000⋅X₀⋅X₀⋅X₀⋅X₃⋅X₄+3662807040000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₄+3662807040000⋅X₁⋅X₁⋅X₁⋅X₃⋅X₄+387509760000⋅X₂⋅X₃⋅X₄⋅X₄⋅X₄+3981312000000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+3981312000000⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+3981312000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+3981312000000⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+457850880000⋅X₂⋅X₂⋅X₂⋅X₃⋅X₄+457850880000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₄+5054607360000⋅X₀⋅X₀⋅X₁⋅X₄⋅X₄+5054607360000⋅X₀⋅X₁⋅X₁⋅X₄⋅X₄+5054607360000⋅X₀⋅X₁⋅X₂⋅X₄⋅X₄+5054607360000⋅X₀⋅X₁⋅X₃⋅X₄⋅X₄+5494210560000⋅X₀⋅X₀⋅X₂⋅X₃⋅X₄+5494210560000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₄+5494210560000⋅X₀⋅X₁⋅X₃⋅X₃⋅X₄+5494210560000⋅X₁⋅X₁⋅X₂⋅X₃⋅X₄+5971968000000⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+5971968000000⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+5971968000000⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+5971968000000⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+5971968000000⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+5971968000000⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+631825920000⋅X₂⋅X₂⋅X₃⋅X₄⋅X₄+631825920000⋅X₂⋅X₃⋅X₃⋅X₄⋅X₄+686776320000⋅X₂⋅X₂⋅X₃⋅X₃⋅X₄+7325614080000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₄+7325614080000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₄+775019520000⋅X₀⋅X₀⋅X₄⋅X₄⋅X₄+775019520000⋅X₀⋅X₂⋅X₄⋅X₄⋅X₄+775019520000⋅X₀⋅X₃⋅X₄⋅X₄⋅X₄+775019520000⋅X₁⋅X₁⋅X₄⋅X₄⋅X₄+775019520000⋅X₁⋅X₂⋅X₄⋅X₄⋅X₄+775019520000⋅X₁⋅X₃⋅X₄⋅X₄⋅X₄+796262400000⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+796262400000⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+7962624000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+7962624000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+7962624000000⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+7962624000000⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+7962624000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+7962624000000⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+89123760000⋅X₂⋅X₄⋅X₄⋅X₄⋅X₄+89123760000⋅X₃⋅X₄⋅X₄⋅X₄⋅X₄+915701760000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₄+915701760000⋅X₀⋅X₃⋅X₃⋅X₃⋅X₄+915701760000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₄+915701760000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₄+995328000000⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+995328000000⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+995328000000⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+995328000000⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+995328000000⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+995328000000⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+995328000000⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+995328000000⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+109886976000⋅X₂⋅X₂⋅X₂⋅X₄+109896480000⋅X₃⋅X₃⋅X₃⋅X₄+119442816000⋅X₂⋅X₂⋅X₂⋅X₃+119449728000⋅X₂⋅X₃⋅X₃⋅X₃+1213166592000⋅X₀⋅X₁⋅X₄⋅X₄+1318643712000⋅X₀⋅X₀⋅X₂⋅X₄+1318643712000⋅X₁⋅X₁⋅X₂⋅X₄+1318681728000⋅X₀⋅X₀⋅X₃⋅X₄+1318681728000⋅X₀⋅X₂⋅X₃⋅X₄+1318681728000⋅X₁⋅X₁⋅X₃⋅X₄+1318681728000⋅X₁⋅X₂⋅X₃⋅X₄+1433272320000⋅X₀⋅X₁⋅X₂⋅X₂+1433313792000⋅X₀⋅X₀⋅X₂⋅X₃+1433313792000⋅X₁⋅X₁⋅X₂⋅X₃+1433355264000⋅X₀⋅X₁⋅X₃⋅X₃+151645824000⋅X₂⋅X₂⋅X₄⋅X₄+151654536000⋅X₃⋅X₃⋅X₄⋅X₄+179169408000⋅X₂⋅X₂⋅X₃⋅X₃+186018624000⋅X₀⋅X₄⋅X₄⋅X₄+186018624000⋅X₁⋅X₄⋅X₄⋅X₄+1911029760000⋅X₀⋅X₀⋅X₀⋅X₁+1911029760000⋅X₀⋅X₁⋅X₁⋅X₁+21391832000⋅X₄⋅X₄⋅X₄⋅X₄+238878720000⋅X₀⋅X₂⋅X₂⋅X₂+238878720000⋅X₁⋅X₂⋅X₂⋅X₂+238899456000⋅X₀⋅X₃⋅X₃⋅X₃+238899456000⋅X₁⋅X₃⋅X₃⋅X₃+2637287424000⋅X₀⋅X₀⋅X₁⋅X₄+2637287424000⋅X₀⋅X₁⋅X₁⋅X₄+2637287424000⋅X₀⋅X₁⋅X₂⋅X₄+2637363456000⋅X₀⋅X₁⋅X₃⋅X₄+2866544640000⋅X₀⋅X₀⋅X₁⋅X₁+2866544640000⋅X₀⋅X₀⋅X₁⋅X₂+2866544640000⋅X₀⋅X₁⋅X₁⋅X₂+2866627584000⋅X₀⋅X₀⋅X₁⋅X₃+2866627584000⋅X₀⋅X₁⋅X₁⋅X₃+2866627584000⋅X₀⋅X₁⋅X₂⋅X₃+29859840000⋅X₂⋅X₂⋅X₂⋅X₂+29863296000⋅X₃⋅X₃⋅X₃⋅X₃+303300360000⋅X₂⋅X₃⋅X₄⋅X₄+329670432000⋅X₂⋅X₂⋅X₃⋅X₄+329679936000⋅X₂⋅X₃⋅X₃⋅X₄+477757440000⋅X₀⋅X₀⋅X₀⋅X₀+477757440000⋅X₁⋅X₁⋅X₁⋅X₁+606583296000⋅X₀⋅X₀⋅X₄⋅X₄+606583296000⋅X₀⋅X₂⋅X₄⋅X₄+606583296000⋅X₁⋅X₁⋅X₄⋅X₄+606583296000⋅X₁⋅X₂⋅X₄⋅X₄+606600720000⋅X₀⋅X₃⋅X₄⋅X₄+606600720000⋅X₁⋅X₃⋅X₄⋅X₄+659321856000⋅X₀⋅X₂⋅X₂⋅X₄+659321856000⋅X₁⋅X₂⋅X₂⋅X₄+659359872000⋅X₀⋅X₃⋅X₃⋅X₄+659359872000⋅X₁⋅X₃⋅X₃⋅X₄+716636160000⋅X₀⋅X₀⋅X₂⋅X₂+716636160000⋅X₁⋅X₁⋅X₂⋅X₂+716656896000⋅X₀⋅X₂⋅X₂⋅X₃+716656896000⋅X₁⋅X₂⋅X₂⋅X₃+716677632000⋅X₀⋅X₀⋅X₃⋅X₃+716677632000⋅X₀⋅X₂⋅X₃⋅X₃+716677632000⋅X₁⋅X₁⋅X₃⋅X₃+716677632000⋅X₁⋅X₂⋅X₃⋅X₃+879095808000⋅X₀⋅X₀⋅X₀⋅X₄+879095808000⋅X₁⋅X₁⋅X₁⋅X₄+93009312000⋅X₂⋅X₄⋅X₄⋅X₄+93011974000⋅X₃⋅X₄⋅X₄⋅X₄+955514880000⋅X₀⋅X₀⋅X₀⋅X₂+955514880000⋅X₁⋅X₁⋅X₁⋅X₂+955542528000⋅X₀⋅X₀⋅X₀⋅X₃+955542528000⋅X₁⋅X₁⋅X₁⋅X₃+11161427200⋅X₄⋅X₄⋅X₄+114656256000⋅X₀⋅X₀⋅X₀+114656256000⋅X₁⋅X₁⋅X₁+14332060800⋅X₂⋅X₂⋅X₂+14334537600⋅X₃⋅X₃⋅X₃+158233651200⋅X₀⋅X₀⋅X₄+158233651200⋅X₁⋅X₁⋅X₄+158233756800⋅X₀⋅X₂⋅X₄+158233756800⋅X₁⋅X₂⋅X₄+158242838400⋅X₀⋅X₃⋅X₄+158242838400⋅X₁⋅X₃⋅X₄+171984499200⋅X₀⋅X₀⋅X₂+171984499200⋅X₁⋅X₁⋅X₂+171994406400⋅X₀⋅X₀⋅X₃+171994406400⋅X₁⋅X₁⋅X₃+171994521600⋅X₀⋅X₂⋅X₃+171994521600⋅X₁⋅X₂⋅X₃+316467302400⋅X₀⋅X₁⋅X₄+343968768000⋅X₀⋅X₀⋅X₁+343968768000⋅X₀⋅X₁⋅X₁+343968998400⋅X₀⋅X₁⋅X₂+343988812800⋅X₀⋅X₁⋅X₃+36395117000⋅X₂⋅X₄⋅X₄+36397198200⋅X₃⋅X₄⋅X₄+39558465600⋅X₂⋅X₂⋅X₄+39563006400⋅X₃⋅X₃⋅X₄+42998659200⋅X₂⋅X₂⋅X₃+43001136000⋅X₂⋅X₃⋅X₃+72790185600⋅X₀⋅X₄⋅X₄+72790185600⋅X₁⋅X₄⋅X₄+79121472000⋅X₂⋅X₃⋅X₄+85992307200⋅X₀⋅X₂⋅X₂+85992307200⋅X₁⋅X₂⋅X₂+86002214400⋅X₀⋅X₃⋅X₃+86002214400⋅X₁⋅X₃⋅X₃+12657790080⋅X₀⋅X₄+12657790300⋅X₁⋅X₄+13757414400⋅X₀⋅X₀+13757414880⋅X₁⋅X₁+13757442240⋅X₀⋅X₂+13757442480⋅X₁⋅X₂+13758625440⋅X₀⋅X₃+13758625680⋅X₁⋅X₃+27514829280⋅X₀⋅X₁+2911474720⋅X₄⋅X₄+3439367520⋅X₂⋅X₂+3439959120⋅X₃⋅X₃+6328907800⋅X₂⋅X₄+6329450100⋅X₃⋅X₄+6879326640⋅X₂⋅X₃+379687952⋅X₄+412663562⋅X₂+412710658⋅X₃+825323761⋅X₀+825323818⋅X₁+19803868 {O(n^5)}
t₁, X₁: 1054944000⋅X₂⋅X₂⋅X₄⋅X₄+1054944000⋅X₃⋅X₃⋅X₄⋅X₄+1244160000⋅X₂⋅X₂⋅X₃⋅X₃+1295184000⋅X₀⋅X₄⋅X₄⋅X₄+1295184000⋅X₁⋅X₄⋅X₄⋅X₄+13271040000⋅X₀⋅X₀⋅X₀⋅X₁+13271040000⋅X₀⋅X₁⋅X₁⋅X₁+149072000⋅X₄⋅X₄⋅X₄⋅X₄+1658880000⋅X₀⋅X₂⋅X₂⋅X₂+1658880000⋅X₀⋅X₃⋅X₃⋅X₃+1658880000⋅X₁⋅X₂⋅X₂⋅X₂+1658880000⋅X₁⋅X₃⋅X₃⋅X₃+18330624000⋅X₀⋅X₀⋅X₁⋅X₄+18330624000⋅X₀⋅X₁⋅X₁⋅X₄+18330624000⋅X₀⋅X₁⋅X₂⋅X₄+18330624000⋅X₀⋅X₁⋅X₃⋅X₄+19906560000⋅X₀⋅X₀⋅X₁⋅X₁+19906560000⋅X₀⋅X₀⋅X₁⋅X₂+19906560000⋅X₀⋅X₀⋅X₁⋅X₃+19906560000⋅X₀⋅X₁⋅X₁⋅X₂+19906560000⋅X₀⋅X₁⋅X₁⋅X₃+19906560000⋅X₀⋅X₁⋅X₂⋅X₃+207360000⋅X₂⋅X₂⋅X₂⋅X₂+207360000⋅X₃⋅X₃⋅X₃⋅X₃+2109888000⋅X₂⋅X₃⋅X₄⋅X₄+2291328000⋅X₂⋅X₂⋅X₃⋅X₄+2291328000⋅X₂⋅X₃⋅X₃⋅X₄+3317760000⋅X₀⋅X₀⋅X₀⋅X₀+3317760000⋅X₁⋅X₁⋅X₁⋅X₁+4219776000⋅X₀⋅X₀⋅X₄⋅X₄+4219776000⋅X₀⋅X₂⋅X₄⋅X₄+4219776000⋅X₀⋅X₃⋅X₄⋅X₄+4219776000⋅X₁⋅X₁⋅X₄⋅X₄+4219776000⋅X₁⋅X₂⋅X₄⋅X₄+4219776000⋅X₁⋅X₃⋅X₄⋅X₄+4582656000⋅X₀⋅X₂⋅X₂⋅X₄+4582656000⋅X₀⋅X₃⋅X₃⋅X₄+4582656000⋅X₁⋅X₂⋅X₂⋅X₄+4582656000⋅X₁⋅X₃⋅X₃⋅X₄+4976640000⋅X₀⋅X₀⋅X₂⋅X₂+4976640000⋅X₀⋅X₀⋅X₃⋅X₃+4976640000⋅X₀⋅X₂⋅X₂⋅X₃+4976640000⋅X₀⋅X₂⋅X₃⋅X₃+4976640000⋅X₁⋅X₁⋅X₂⋅X₂+4976640000⋅X₁⋅X₁⋅X₃⋅X₃+4976640000⋅X₁⋅X₂⋅X₂⋅X₃+4976640000⋅X₁⋅X₂⋅X₃⋅X₃+6110208000⋅X₀⋅X₀⋅X₀⋅X₄+6110208000⋅X₁⋅X₁⋅X₁⋅X₄+647592000⋅X₂⋅X₄⋅X₄⋅X₄+647592000⋅X₃⋅X₄⋅X₄⋅X₄+6635520000⋅X₀⋅X₀⋅X₀⋅X₂+6635520000⋅X₀⋅X₀⋅X₀⋅X₃+6635520000⋅X₁⋅X₁⋅X₁⋅X₂+6635520000⋅X₁⋅X₁⋅X₁⋅X₃+763776000⋅X₂⋅X₂⋅X₂⋅X₄+763776000⋅X₃⋅X₃⋅X₃⋅X₄+829440000⋅X₂⋅X₂⋅X₂⋅X₃+829440000⋅X₂⋅X₃⋅X₃⋅X₃+8439552000⋅X₀⋅X₁⋅X₄⋅X₄+9165312000⋅X₀⋅X₀⋅X₂⋅X₄+9165312000⋅X₀⋅X₀⋅X₃⋅X₄+9165312000⋅X₀⋅X₂⋅X₃⋅X₄+9165312000⋅X₁⋅X₁⋅X₂⋅X₄+9165312000⋅X₁⋅X₁⋅X₃⋅X₄+9165312000⋅X₁⋅X₂⋅X₃⋅X₄+9953280000⋅X₀⋅X₀⋅X₂⋅X₃+9953280000⋅X₀⋅X₁⋅X₂⋅X₂+9953280000⋅X₀⋅X₁⋅X₃⋅X₃+9953280000⋅X₁⋅X₁⋅X₂⋅X₃+1011067200⋅X₀⋅X₄⋅X₄+1011067200⋅X₁⋅X₄⋅X₄+1098024000⋅X₂⋅X₃⋅X₄+1192320000⋅X₀⋅X₂⋅X₂+1192320000⋅X₁⋅X₂⋅X₂+1192435200⋅X₀⋅X₃⋅X₃+1192435200⋅X₁⋅X₃⋅X₃+155170400⋅X₄⋅X₄⋅X₄+1589760000⋅X₀⋅X₀⋅X₀+1589760000⋅X₁⋅X₁⋅X₁+198720000⋅X₂⋅X₂⋅X₂+198748800⋅X₃⋅X₃⋅X₃+2195942400⋅X₀⋅X₀⋅X₄+2195942400⋅X₀⋅X₂⋅X₄+2195942400⋅X₁⋅X₁⋅X₄+2195942400⋅X₁⋅X₂⋅X₄+2196048000⋅X₀⋅X₃⋅X₄+2196048000⋅X₁⋅X₃⋅X₄+2384640000⋅X₀⋅X₀⋅X₂+2384640000⋅X₁⋅X₁⋅X₂+2384755200⋅X₀⋅X₀⋅X₃+2384755200⋅X₀⋅X₂⋅X₃+2384755200⋅X₁⋅X₁⋅X₃+2384755200⋅X₁⋅X₂⋅X₃+4391884800⋅X₀⋅X₁⋅X₄+4769280000⋅X₀⋅X₀⋅X₁+4769280000⋅X₀⋅X₁⋅X₁+4769280000⋅X₀⋅X₁⋅X₂+4769510400⋅X₀⋅X₁⋅X₃+505533600⋅X₂⋅X₄⋅X₄+505557800⋅X₃⋅X₄⋅X₄+548985600⋅X₂⋅X₂⋅X₄+549038400⋅X₃⋅X₃⋅X₄+596188800⋅X₂⋅X₂⋅X₃+596217600⋅X₂⋅X₃⋅X₃+131523340⋅X₂⋅X₄+131535880⋅X₃⋅X₄+142833360⋅X₂⋅X₃+263046240⋅X₀⋅X₄+263046240⋅X₁⋅X₄+285638400⋅X₀⋅X₀+285638400⋅X₁⋅X₁+285638880⋅X₀⋅X₂+285638880⋅X₁⋅X₂+285666240⋅X₀⋅X₃+285666240⋅X₁⋅X₃+571276800⋅X₀⋅X₁+60558960⋅X₄⋅X₄+71409840⋅X₂⋅X₂+71423520⋅X₃⋅X₃+10502408⋅X₄+11404018⋅X₂+11405642⋅X₃+22807920⋅X₀+22807921⋅X₁+682892 {O(n^4)}
t₁, X₂: 10368000⋅X₀⋅X₂⋅X₂+10368000⋅X₀⋅X₃⋅X₃+10368000⋅X₁⋅X₂⋅X₂+10368000⋅X₁⋅X₃⋅X₃+1355200⋅X₄⋅X₄⋅X₄+13824000⋅X₀⋅X₀⋅X₀+13824000⋅X₁⋅X₁⋅X₁+1728000⋅X₂⋅X₂⋅X₂+1728000⋅X₃⋅X₃⋅X₃+19123200⋅X₀⋅X₀⋅X₄+19123200⋅X₀⋅X₂⋅X₄+19123200⋅X₀⋅X₃⋅X₄+19123200⋅X₁⋅X₁⋅X₄+19123200⋅X₁⋅X₂⋅X₄+19123200⋅X₁⋅X₃⋅X₄+20736000⋅X₀⋅X₀⋅X₂+20736000⋅X₀⋅X₀⋅X₃+20736000⋅X₀⋅X₂⋅X₃+20736000⋅X₁⋅X₁⋅X₂+20736000⋅X₁⋅X₁⋅X₃+20736000⋅X₁⋅X₂⋅X₃+38246400⋅X₀⋅X₁⋅X₄+41472000⋅X₀⋅X₀⋅X₁+41472000⋅X₀⋅X₁⋅X₁+41472000⋅X₀⋅X₁⋅X₂+41472000⋅X₀⋅X₁⋅X₃+4408800⋅X₂⋅X₄⋅X₄+4408800⋅X₃⋅X₄⋅X₄+4780800⋅X₂⋅X₂⋅X₄+4780800⋅X₃⋅X₃⋅X₄+5184000⋅X₂⋅X₂⋅X₃+5184000⋅X₂⋅X₃⋅X₃+8817600⋅X₀⋅X₄⋅X₄+8817600⋅X₁⋅X₄⋅X₄+9561600⋅X₂⋅X₃⋅X₄+1053360⋅X₄⋅X₄+1238400⋅X₂⋅X₂+1238640⋅X₃⋅X₃+2284320⋅X₂⋅X₄+2284540⋅X₃⋅X₄+2477040⋅X₂⋅X₃+4568640⋅X₀⋅X₄+4568640⋅X₁⋅X₄+4953600⋅X₀⋅X₀+4953600⋅X₀⋅X₂+4953600⋅X₁⋅X₁+4953600⋅X₁⋅X₂+4954080⋅X₀⋅X₃+4954080⋅X₁⋅X₃+9907200⋅X₀⋅X₁+272832⋅X₄+295801⋅X₂+295858⋅X₃+591600⋅X₀+591600⋅X₁+23548 {O(n^3)}
t₁, X₃: 115200⋅X₀⋅X₁+12320⋅X₄⋅X₄+14400⋅X₂⋅X₂+14400⋅X₃⋅X₃+26640⋅X₂⋅X₄+26640⋅X₃⋅X₄+28800⋅X₂⋅X₃+53280⋅X₀⋅X₄+53280⋅X₁⋅X₄+57600⋅X₀⋅X₀+57600⋅X₀⋅X₂+57600⋅X₀⋅X₃+57600⋅X₁⋅X₁+57600⋅X₁⋅X₂+57600⋅X₁⋅X₃+13680⋅X₀+13680⋅X₁+6328⋅X₄+6840⋅X₂+6841⋅X₃+812 {O(n^2)}
t₁, X₄: 111⋅X₄+120⋅X₂+120⋅X₃+240⋅X₀+240⋅X₁+28 {O(n)}