Start: l0
Program_Vars: X₀, X₁, X₂, X₃
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃) → l1(X₀, X₁, X₂, X₃)
t₁: l1(X₀, X₁, X₂, X₃) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃-1) :|: 1 ≤ X₀
t₂: l1(X₀, X₁, X₂, X₃) → l1(X₀-1, X₁, X₂, X₃) :|: 1 ≤ X₀
Start: l0
Program_Vars: X₀, X₁, X₂, X₃
Temp_Vars:
Locations: l0, l1
Transitions:
t₀: l0(X₀, X₁, X₂, X₃) → l1(X₀, X₁, X₂, X₃)
t₁: l1(X₀, X₁, X₂, X₃) → l1(X₀+X₁, X₁+X₂, X₂+X₃, X₃-1) :|: 1 ≤ X₀
t₂: l1(X₀, X₁, X₂, X₃) → l1(X₀-1, X₁, X₂, X₃) :|: 1 ≤ X₀
new bound:
89⋅X₀+89⋅X₁+89⋅X₂+89⋅X₃+268 {O(n)}
new bound:
1340174267760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+1340174267760⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+1340174267760⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+1344691709112⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+1344691709112⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+1344691709112⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+1349209150464⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+1349209150464⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+223362377960⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+223362377960⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+223362377960⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+223362377960⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+224115284852⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+224115284852⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+224115284852⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+226374005528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2689383418224⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+2698418300928⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+44672475592⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+44672475592⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+44672475592⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+449736383488⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+449736383488⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+449736383488⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+451242197272⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+451242197272⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+451242197272⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+45425382484⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+893449511840⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+896461139408⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+896461139408⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+896461139408⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+896461139408⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+896461139408⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+896461139408⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+902484394544⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+902484394544⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+902484394544⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+16233053274780⋅X₀⋅X₁⋅X₂⋅X₃+2696410549216⋅X₀⋅X₀⋅X₀⋅X₁+2696410549216⋅X₀⋅X₁⋅X₁⋅X₁+2696414779030⋅X₀⋅X₀⋅X₀⋅X₂+2696414779030⋅X₁⋅X₁⋅X₁⋅X₂+2696423238658⋅X₀⋅X₂⋅X₂⋅X₂+2696423238658⋅X₁⋅X₂⋅X₂⋅X₂+2705504649316⋅X₀⋅X₀⋅X₀⋅X₃+2705504649316⋅X₁⋅X₁⋅X₁⋅X₃+2705517338758⋅X₂⋅X₂⋅X₂⋅X₃+2723692849516⋅X₀⋅X₃⋅X₃⋅X₃+2723692849516⋅X₁⋅X₃⋅X₃⋅X₃+2723697079330⋅X₂⋅X₃⋅X₃⋅X₃+4044615823824⋅X₀⋅X₀⋅X₁⋅X₁+4044628513266⋅X₀⋅X₀⋅X₂⋅X₂+4044628513266⋅X₁⋅X₁⋅X₂⋅X₂+4071898124124⋅X₀⋅X₀⋅X₃⋅X₃+4071898124124⋅X₁⋅X₁⋅X₃⋅X₃+4071910813566⋅X₂⋅X₂⋅X₃⋅X₃+674102637304⋅X₀⋅X₀⋅X₀⋅X₀+674102637304⋅X₁⋅X₁⋅X₁⋅X₁+674106867118⋅X₂⋅X₂⋅X₂⋅X₂+683196737404⋅X₃⋅X₃⋅X₃⋅X₃+8089244337090⋅X₀⋅X₀⋅X₁⋅X₂+8089244337090⋅X₀⋅X₁⋅X₁⋅X₂+8089257026532⋅X₀⋅X₁⋅X₂⋅X₂+8116513947948⋅X₀⋅X₀⋅X₁⋅X₃+8116513947948⋅X₀⋅X₁⋅X₁⋅X₃+8116526637390⋅X₀⋅X₀⋅X₂⋅X₃+8116526637390⋅X₁⋅X₁⋅X₂⋅X₃+8116539326832⋅X₀⋅X₂⋅X₂⋅X₃+8116539326832⋅X₁⋅X₂⋅X₂⋅X₃+8143796248248⋅X₀⋅X₁⋅X₃⋅X₃+8143808937690⋅X₀⋅X₂⋅X₃⋅X₃+8143808937690⋅X₁⋅X₂⋅X₃⋅X₃+12206549538267⋅X₀⋅X₀⋅X₁+12206549562030⋅X₀⋅X₁⋅X₁+12206587820460⋅X₀⋅X₀⋅X₂+12206587867986⋅X₁⋅X₁⋅X₂+12206626126416⋅X₀⋅X₂⋅X₂+12206626150179⋅X₁⋅X₂⋅X₂+12247741154172⋅X₀⋅X₀⋅X₃+12247741201698⋅X₁⋅X₁⋅X₃+12247817766084⋅X₂⋅X₂⋅X₃+12288932793840⋅X₀⋅X₃⋅X₃+12288932817603⋅X₁⋅X₃⋅X₃+12288971099796⋅X₂⋅X₃⋅X₃+24413175688446⋅X₀⋅X₁⋅X₂+24495482355870⋅X₀⋅X₁⋅X₃+24495558920256⋅X₀⋅X₂⋅X₃+24495558967782⋅X₁⋅X₂⋅X₃+4068849838168⋅X₀⋅X₀⋅X₀+4068849861931⋅X₁⋅X₁⋅X₁+4068888144124⋅X₂⋅X₂⋅X₂+4110041477836⋅X₃⋅X₃⋅X₃+12279676947009⋅X₀⋅X₀+12279677090299⋅X₁⋅X₁+12279792581950⋅X₂⋅X₂+12362600047924⋅X₃⋅X₃+24559354037308⋅X₀⋅X₁+24559469528959⋅X₀⋅X₂+24559469672249⋅X₁⋅X₂+24642276994933⋅X₀⋅X₃+24642277138223⋅X₁⋅X₃+24642392629874⋅X₂⋅X₃+18529848285261⋅X₀+18529848501268⋅X₁+18529964641480⋅X₂+18592448075536⋅X₃+11184495910528 {O(n^5)}
Found invariant 0 ≤ X₀ for location n_l1___1
new bound:
178⋅X₀+267⋅X₁+267⋅X₂+267⋅X₃+714 {O(n)}
new bound:
178⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+536 {O(n)}
new bound:
178⋅X₀+356⋅X₁+356⋅X₂+356⋅X₃+536 {O(n)}
new bound:
1195167411988368⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+1195167411988368⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+1198979630551528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+12881363550125280⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+12891693432683520⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+12891693432683520⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+1330882392836864⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+1330882392836864⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+1334044601783264⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+14353445599549896⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+14353445599549896⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+14364882255239376⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+1480981910825984⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+1482146406818944⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+1482146406818944⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+205850767527936⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+205850767527936⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+206011387664896⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+2145172277927840⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+2145172277927840⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+2146893925020880⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+2146893925020880⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+2152058866300000⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+2152058866300000⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+22872307503104⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+3992647178510592⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+3992647178510592⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+3995809387456992⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+3995809387456992⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+3998971596403392⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+3998971596403392⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+429034455585568⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+429034455585568⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+4290344555855680⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+4290344555855680⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+4297231144227840⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+4297231144227840⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+4300674438413920⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+4300674438413920⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+430756102678608⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+4780669647953472⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+4780669647953472⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+4784481866516632⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+4784481866516632⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+4792106303642952⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+4792106303642952⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+7171004471930208⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+7182441127619688⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+7182441127619688⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+740490955412992⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+740490955412992⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+741655451405952⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+7991618774913984⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+8587575700083520⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+8587575700083520⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+8601348876827840⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+15198338375042688⋅X₀⋅X₀⋅X₁⋅X₂+15210197481995480⋅X₀⋅X₀⋅X₁⋅X₃+15210198722740920⋅X₀⋅X₀⋅X₂⋅X₃+16377095569406824⋅X₁⋅X₁⋅X₁⋅X₂+16377098332885304⋅X₁⋅X₂⋅X₂⋅X₂+16390066666261456⋅X₁⋅X₁⋅X₁⋅X₃+16390070811479176⋅X₂⋅X₂⋅X₂⋅X₃+16416011623449200⋅X₁⋅X₃⋅X₃⋅X₃+16416013005188440⋅X₂⋅X₃⋅X₃⋅X₃+24565645426719096⋅X₁⋅X₁⋅X₂⋅X₂+24604558717282992⋅X₁⋅X₁⋅X₃⋅X₃+24604562862500712⋅X₂⋅X₂⋅X₃⋅X₃+27336054809442596⋅X₀⋅X₁⋅X₁⋅X₂+27336057079442776⋅X₀⋅X₁⋅X₂⋅X₂+27357549610339576⋅X₀⋅X₁⋅X₁⋅X₃+27357554150339936⋅X₀⋅X₂⋅X₂⋅X₃+27379046681236736⋅X₀⋅X₁⋅X₃⋅X₃+27379048951236916⋅X₀⋅X₂⋅X₃⋅X₃+2814490442902144⋅X₀⋅X₀⋅X₀⋅X₁+2814490668492224⋅X₀⋅X₀⋅X₀⋅X₂+2816668853509664⋅X₀⋅X₀⋅X₀⋅X₃+390579987045632⋅X₀⋅X₀⋅X₀⋅X₀+4094273546916896⋅X₁⋅X₁⋅X₁⋅X₁+4094274928656136⋅X₂⋅X₂⋅X₂⋅X₂+4107246025510768⋅X₃⋅X₃⋅X₃⋅X₃+49170204144002088⋅X₁⋅X₁⋅X₂⋅X₃+49170208289219808⋅X₁⋅X₂⋅X₂⋅X₃+49209121579783704⋅X₁⋅X₂⋅X₃⋅X₃+54715103760679512⋅X₀⋅X₁⋅X₂⋅X₃+7599168567148624⋅X₀⋅X₀⋅X₁⋅X₁+7599169807894064⋅X₀⋅X₀⋅X₂⋅X₂+7611028914846856⋅X₀⋅X₀⋅X₃⋅X₃+9112017513147472⋅X₀⋅X₁⋅X₁⋅X₁+9112019783147652⋅X₀⋅X₂⋅X₂⋅X₂+9133514584044632⋅X₀⋅X₃⋅X₃⋅X₃+14418440216821736⋅X₀⋅X₀⋅X₁+14418442482702996⋅X₀⋅X₀⋅X₂+14429504052713072⋅X₀⋅X₀⋅X₃+15585008221620124⋅X₁⋅X₁⋅X₁+15585015855024456⋅X₂⋅X₂⋅X₂+15621499032278760⋅X₃⋅X₃⋅X₃+25974710134869054⋅X₀⋅X₁⋅X₁+25974718462105460⋅X₀⋅X₂⋅X₂+26014923736650372⋅X₀⋅X₃⋅X₃+2665560564359808⋅X₀⋅X₀⋅X₀+46755032298264704⋅X₁⋅X₁⋅X₂+46755039931669036⋅X₁⋅X₂⋅X₂+46791515475519008⋅X₁⋅X₁⋅X₃+46791530742327672⋅X₂⋅X₂⋅X₃+46828006286177644⋅X₁⋅X₃⋅X₃+46828013919581976⋅X₂⋅X₃⋅X₃+51949428596974514⋅X₀⋅X₁⋅X₂+51989633871519426⋅X₀⋅X₁⋅X₃+51989642198755832⋅X₀⋅X₂⋅X₃+93583046217846680⋅X₁⋅X₂⋅X₃+29570177884082844⋅X₁⋅X₁+29570191823996916⋅X₂⋅X₂+29615563887469136⋅X₃⋅X₃+32799916001168578⋅X₀⋅X₁+32799923568308138⋅X₀⋅X₂+32824852553585624⋅X₀⋅X₃+59140369708079760⋅X₁⋅X₂+59185741771551980⋅X₁⋅X₃+59185755711466052⋅X₂⋅X₃+9087244909204836⋅X₀⋅X₀+15474453116750179⋅X₀+27954610175428700⋅X₁+27954618575524220⋅X₂+27975652414418468⋅X₃+10529300418480153 {O(n^5)}
Overall timebound:1340174267760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+1340174267760⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+1340174267760⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+1344691709112⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+1344691709112⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+1344691709112⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+1349209150464⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+1349209150464⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+223362377960⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+223362377960⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+223362377960⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+223362377960⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+224115284852⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+224115284852⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+224115284852⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+226374005528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2689383418224⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+2698418300928⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+44672475592⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+44672475592⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+44672475592⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+449736383488⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+449736383488⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+449736383488⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+451242197272⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+451242197272⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+451242197272⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+45425382484⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+893449511840⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+896461139408⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+896461139408⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+896461139408⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+896461139408⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+896461139408⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+896461139408⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+902484394544⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+902484394544⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+902484394544⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+16233053274780⋅X₀⋅X₁⋅X₂⋅X₃+2696410549216⋅X₀⋅X₀⋅X₀⋅X₁+2696410549216⋅X₀⋅X₁⋅X₁⋅X₁+2696414779030⋅X₀⋅X₀⋅X₀⋅X₂+2696414779030⋅X₁⋅X₁⋅X₁⋅X₂+2696423238658⋅X₀⋅X₂⋅X₂⋅X₂+2696423238658⋅X₁⋅X₂⋅X₂⋅X₂+2705504649316⋅X₀⋅X₀⋅X₀⋅X₃+2705504649316⋅X₁⋅X₁⋅X₁⋅X₃+2705517338758⋅X₂⋅X₂⋅X₂⋅X₃+2723692849516⋅X₀⋅X₃⋅X₃⋅X₃+2723692849516⋅X₁⋅X₃⋅X₃⋅X₃+2723697079330⋅X₂⋅X₃⋅X₃⋅X₃+4044615823824⋅X₀⋅X₀⋅X₁⋅X₁+4044628513266⋅X₀⋅X₀⋅X₂⋅X₂+4044628513266⋅X₁⋅X₁⋅X₂⋅X₂+4071898124124⋅X₀⋅X₀⋅X₃⋅X₃+4071898124124⋅X₁⋅X₁⋅X₃⋅X₃+4071910813566⋅X₂⋅X₂⋅X₃⋅X₃+674102637304⋅X₀⋅X₀⋅X₀⋅X₀+674102637304⋅X₁⋅X₁⋅X₁⋅X₁+674106867118⋅X₂⋅X₂⋅X₂⋅X₂+683196737404⋅X₃⋅X₃⋅X₃⋅X₃+8089244337090⋅X₀⋅X₀⋅X₁⋅X₂+8089244337090⋅X₀⋅X₁⋅X₁⋅X₂+8089257026532⋅X₀⋅X₁⋅X₂⋅X₂+8116513947948⋅X₀⋅X₀⋅X₁⋅X₃+8116513947948⋅X₀⋅X₁⋅X₁⋅X₃+8116526637390⋅X₀⋅X₀⋅X₂⋅X₃+8116526637390⋅X₁⋅X₁⋅X₂⋅X₃+8116539326832⋅X₀⋅X₂⋅X₂⋅X₃+8116539326832⋅X₁⋅X₂⋅X₂⋅X₃+8143796248248⋅X₀⋅X₁⋅X₃⋅X₃+8143808937690⋅X₀⋅X₂⋅X₃⋅X₃+8143808937690⋅X₁⋅X₂⋅X₃⋅X₃+12206549538267⋅X₀⋅X₀⋅X₁+12206549562030⋅X₀⋅X₁⋅X₁+12206587820460⋅X₀⋅X₀⋅X₂+12206587867986⋅X₁⋅X₁⋅X₂+12206626126416⋅X₀⋅X₂⋅X₂+12206626150179⋅X₁⋅X₂⋅X₂+12247741154172⋅X₀⋅X₀⋅X₃+12247741201698⋅X₁⋅X₁⋅X₃+12247817766084⋅X₂⋅X₂⋅X₃+12288932793840⋅X₀⋅X₃⋅X₃+12288932817603⋅X₁⋅X₃⋅X₃+12288971099796⋅X₂⋅X₃⋅X₃+24413175688446⋅X₀⋅X₁⋅X₂+24495482355870⋅X₀⋅X₁⋅X₃+24495558920256⋅X₀⋅X₂⋅X₃+24495558967782⋅X₁⋅X₂⋅X₃+4068849838168⋅X₀⋅X₀⋅X₀+4068849861931⋅X₁⋅X₁⋅X₁+4068888144124⋅X₂⋅X₂⋅X₂+4110041477836⋅X₃⋅X₃⋅X₃+12279676947009⋅X₀⋅X₀+12279677090299⋅X₁⋅X₁+12279792581950⋅X₂⋅X₂+12362600047924⋅X₃⋅X₃+24559354037308⋅X₀⋅X₁+24559469528959⋅X₀⋅X₂+24559469672249⋅X₁⋅X₂+24642276994933⋅X₀⋅X₃+24642277138223⋅X₁⋅X₃+24642392629874⋅X₂⋅X₃+18529848285350⋅X₀+18529848501357⋅X₁+18529964641569⋅X₂+18592448075625⋅X₃+11184495910797 {O(n^5)}
t₀: 1 {O(1)}
t₁: 89⋅X₀+89⋅X₁+89⋅X₂+89⋅X₃+268 {O(n)}
t₂: 1340174267760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+1340174267760⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+1340174267760⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+1344691709112⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+1344691709112⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+1344691709112⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+1349209150464⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+1349209150464⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+223362377960⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+223362377960⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+223362377960⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+223362377960⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+224115284852⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+224115284852⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+224115284852⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+226374005528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2689383418224⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+2698418300928⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+44672475592⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+44672475592⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+44672475592⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+449736383488⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+449736383488⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+449736383488⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+451242197272⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+451242197272⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+451242197272⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+45425382484⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+893449511840⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+896461139408⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+896461139408⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+896461139408⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+896461139408⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+896461139408⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+896461139408⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+902484394544⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+902484394544⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+902484394544⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+16233053274780⋅X₀⋅X₁⋅X₂⋅X₃+2696410549216⋅X₀⋅X₀⋅X₀⋅X₁+2696410549216⋅X₀⋅X₁⋅X₁⋅X₁+2696414779030⋅X₀⋅X₀⋅X₀⋅X₂+2696414779030⋅X₁⋅X₁⋅X₁⋅X₂+2696423238658⋅X₀⋅X₂⋅X₂⋅X₂+2696423238658⋅X₁⋅X₂⋅X₂⋅X₂+2705504649316⋅X₀⋅X₀⋅X₀⋅X₃+2705504649316⋅X₁⋅X₁⋅X₁⋅X₃+2705517338758⋅X₂⋅X₂⋅X₂⋅X₃+2723692849516⋅X₀⋅X₃⋅X₃⋅X₃+2723692849516⋅X₁⋅X₃⋅X₃⋅X₃+2723697079330⋅X₂⋅X₃⋅X₃⋅X₃+4044615823824⋅X₀⋅X₀⋅X₁⋅X₁+4044628513266⋅X₀⋅X₀⋅X₂⋅X₂+4044628513266⋅X₁⋅X₁⋅X₂⋅X₂+4071898124124⋅X₀⋅X₀⋅X₃⋅X₃+4071898124124⋅X₁⋅X₁⋅X₃⋅X₃+4071910813566⋅X₂⋅X₂⋅X₃⋅X₃+674102637304⋅X₀⋅X₀⋅X₀⋅X₀+674102637304⋅X₁⋅X₁⋅X₁⋅X₁+674106867118⋅X₂⋅X₂⋅X₂⋅X₂+683196737404⋅X₃⋅X₃⋅X₃⋅X₃+8089244337090⋅X₀⋅X₀⋅X₁⋅X₂+8089244337090⋅X₀⋅X₁⋅X₁⋅X₂+8089257026532⋅X₀⋅X₁⋅X₂⋅X₂+8116513947948⋅X₀⋅X₀⋅X₁⋅X₃+8116513947948⋅X₀⋅X₁⋅X₁⋅X₃+8116526637390⋅X₀⋅X₀⋅X₂⋅X₃+8116526637390⋅X₁⋅X₁⋅X₂⋅X₃+8116539326832⋅X₀⋅X₂⋅X₂⋅X₃+8116539326832⋅X₁⋅X₂⋅X₂⋅X₃+8143796248248⋅X₀⋅X₁⋅X₃⋅X₃+8143808937690⋅X₀⋅X₂⋅X₃⋅X₃+8143808937690⋅X₁⋅X₂⋅X₃⋅X₃+12206549538267⋅X₀⋅X₀⋅X₁+12206549562030⋅X₀⋅X₁⋅X₁+12206587820460⋅X₀⋅X₀⋅X₂+12206587867986⋅X₁⋅X₁⋅X₂+12206626126416⋅X₀⋅X₂⋅X₂+12206626150179⋅X₁⋅X₂⋅X₂+12247741154172⋅X₀⋅X₀⋅X₃+12247741201698⋅X₁⋅X₁⋅X₃+12247817766084⋅X₂⋅X₂⋅X₃+12288932793840⋅X₀⋅X₃⋅X₃+12288932817603⋅X₁⋅X₃⋅X₃+12288971099796⋅X₂⋅X₃⋅X₃+24413175688446⋅X₀⋅X₁⋅X₂+24495482355870⋅X₀⋅X₁⋅X₃+24495558920256⋅X₀⋅X₂⋅X₃+24495558967782⋅X₁⋅X₂⋅X₃+4068849838168⋅X₀⋅X₀⋅X₀+4068849861931⋅X₁⋅X₁⋅X₁+4068888144124⋅X₂⋅X₂⋅X₂+4110041477836⋅X₃⋅X₃⋅X₃+12279676947009⋅X₀⋅X₀+12279677090299⋅X₁⋅X₁+12279792581950⋅X₂⋅X₂+12362600047924⋅X₃⋅X₃+24559354037308⋅X₀⋅X₁+24559469528959⋅X₀⋅X₂+24559469672249⋅X₁⋅X₂+24642276994933⋅X₀⋅X₃+24642277138223⋅X₁⋅X₃+24642392629874⋅X₂⋅X₃+18529848285261⋅X₀+18529848501268⋅X₁+18529964641480⋅X₂+18592448075536⋅X₃+11184495910528 {O(n^5)}
Overall costbound: 1340174267760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+1340174267760⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+1340174267760⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+1344691709112⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+1344691709112⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+1344691709112⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+1349209150464⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+1349209150464⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+223362377960⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+223362377960⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+223362377960⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+223362377960⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+224115284852⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+224115284852⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+224115284852⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+226374005528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2689383418224⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+2698418300928⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+44672475592⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+44672475592⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+44672475592⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+449736383488⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+449736383488⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+449736383488⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+451242197272⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+451242197272⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+451242197272⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+45425382484⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+893449511840⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+896461139408⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+896461139408⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+896461139408⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+896461139408⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+896461139408⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+896461139408⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+902484394544⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+902484394544⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+902484394544⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+16233053274780⋅X₀⋅X₁⋅X₂⋅X₃+2696410549216⋅X₀⋅X₀⋅X₀⋅X₁+2696410549216⋅X₀⋅X₁⋅X₁⋅X₁+2696414779030⋅X₀⋅X₀⋅X₀⋅X₂+2696414779030⋅X₁⋅X₁⋅X₁⋅X₂+2696423238658⋅X₀⋅X₂⋅X₂⋅X₂+2696423238658⋅X₁⋅X₂⋅X₂⋅X₂+2705504649316⋅X₀⋅X₀⋅X₀⋅X₃+2705504649316⋅X₁⋅X₁⋅X₁⋅X₃+2705517338758⋅X₂⋅X₂⋅X₂⋅X₃+2723692849516⋅X₀⋅X₃⋅X₃⋅X₃+2723692849516⋅X₁⋅X₃⋅X₃⋅X₃+2723697079330⋅X₂⋅X₃⋅X₃⋅X₃+4044615823824⋅X₀⋅X₀⋅X₁⋅X₁+4044628513266⋅X₀⋅X₀⋅X₂⋅X₂+4044628513266⋅X₁⋅X₁⋅X₂⋅X₂+4071898124124⋅X₀⋅X₀⋅X₃⋅X₃+4071898124124⋅X₁⋅X₁⋅X₃⋅X₃+4071910813566⋅X₂⋅X₂⋅X₃⋅X₃+674102637304⋅X₀⋅X₀⋅X₀⋅X₀+674102637304⋅X₁⋅X₁⋅X₁⋅X₁+674106867118⋅X₂⋅X₂⋅X₂⋅X₂+683196737404⋅X₃⋅X₃⋅X₃⋅X₃+8089244337090⋅X₀⋅X₀⋅X₁⋅X₂+8089244337090⋅X₀⋅X₁⋅X₁⋅X₂+8089257026532⋅X₀⋅X₁⋅X₂⋅X₂+8116513947948⋅X₀⋅X₀⋅X₁⋅X₃+8116513947948⋅X₀⋅X₁⋅X₁⋅X₃+8116526637390⋅X₀⋅X₀⋅X₂⋅X₃+8116526637390⋅X₁⋅X₁⋅X₂⋅X₃+8116539326832⋅X₀⋅X₂⋅X₂⋅X₃+8116539326832⋅X₁⋅X₂⋅X₂⋅X₃+8143796248248⋅X₀⋅X₁⋅X₃⋅X₃+8143808937690⋅X₀⋅X₂⋅X₃⋅X₃+8143808937690⋅X₁⋅X₂⋅X₃⋅X₃+12206549538267⋅X₀⋅X₀⋅X₁+12206549562030⋅X₀⋅X₁⋅X₁+12206587820460⋅X₀⋅X₀⋅X₂+12206587867986⋅X₁⋅X₁⋅X₂+12206626126416⋅X₀⋅X₂⋅X₂+12206626150179⋅X₁⋅X₂⋅X₂+12247741154172⋅X₀⋅X₀⋅X₃+12247741201698⋅X₁⋅X₁⋅X₃+12247817766084⋅X₂⋅X₂⋅X₃+12288932793840⋅X₀⋅X₃⋅X₃+12288932817603⋅X₁⋅X₃⋅X₃+12288971099796⋅X₂⋅X₃⋅X₃+24413175688446⋅X₀⋅X₁⋅X₂+24495482355870⋅X₀⋅X₁⋅X₃+24495558920256⋅X₀⋅X₂⋅X₃+24495558967782⋅X₁⋅X₂⋅X₃+4068849838168⋅X₀⋅X₀⋅X₀+4068849861931⋅X₁⋅X₁⋅X₁+4068888144124⋅X₂⋅X₂⋅X₂+4110041477836⋅X₃⋅X₃⋅X₃+12279676947009⋅X₀⋅X₀+12279677090299⋅X₁⋅X₁+12279792581950⋅X₂⋅X₂+12362600047924⋅X₃⋅X₃+24559354037308⋅X₀⋅X₁+24559469528959⋅X₀⋅X₂+24559469672249⋅X₁⋅X₂+24642276994933⋅X₀⋅X₃+24642277138223⋅X₁⋅X₃+24642392629874⋅X₂⋅X₃+18529848285350⋅X₀+18529848501357⋅X₁+18529964641569⋅X₂+18592448075625⋅X₃+11184495910797 {O(n^5)}
t₀: 1 {O(1)}
t₁: 89⋅X₀+89⋅X₁+89⋅X₂+89⋅X₃+268 {O(n)}
t₂: 1340174267760⋅X₀⋅X₀⋅X₁⋅X₁⋅X₂+1340174267760⋅X₀⋅X₀⋅X₁⋅X₂⋅X₂+1340174267760⋅X₀⋅X₁⋅X₁⋅X₂⋅X₂+1344691709112⋅X₀⋅X₀⋅X₁⋅X₁⋅X₃+1344691709112⋅X₀⋅X₀⋅X₂⋅X₂⋅X₃+1344691709112⋅X₁⋅X₁⋅X₂⋅X₂⋅X₃+1349209150464⋅X₀⋅X₀⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₀⋅X₂⋅X₃⋅X₃+1349209150464⋅X₀⋅X₁⋅X₁⋅X₃⋅X₃+1349209150464⋅X₀⋅X₂⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₁⋅X₂⋅X₃⋅X₃+1349209150464⋅X₁⋅X₂⋅X₂⋅X₃⋅X₃+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₁+223362377960⋅X₀⋅X₀⋅X₀⋅X₀⋅X₂+223362377960⋅X₀⋅X₁⋅X₁⋅X₁⋅X₁+223362377960⋅X₀⋅X₂⋅X₂⋅X₂⋅X₂+223362377960⋅X₁⋅X₁⋅X₁⋅X₁⋅X₂+223362377960⋅X₁⋅X₂⋅X₂⋅X₂⋅X₂+224115284852⋅X₀⋅X₀⋅X₀⋅X₀⋅X₃+224115284852⋅X₁⋅X₁⋅X₁⋅X₁⋅X₃+224115284852⋅X₂⋅X₂⋅X₂⋅X₂⋅X₃+226374005528⋅X₀⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₁⋅X₃⋅X₃⋅X₃⋅X₃+226374005528⋅X₂⋅X₃⋅X₃⋅X₃⋅X₃+2689383418224⋅X₀⋅X₀⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₁⋅X₂⋅X₃+2689383418224⋅X₀⋅X₁⋅X₂⋅X₂⋅X₃+2698418300928⋅X₀⋅X₁⋅X₂⋅X₃⋅X₃+44672475592⋅X₀⋅X₀⋅X₀⋅X₀⋅X₀+44672475592⋅X₁⋅X₁⋅X₁⋅X₁⋅X₁+44672475592⋅X₂⋅X₂⋅X₂⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₀⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₀⋅X₂⋅X₂+446724755920⋅X₀⋅X₀⋅X₁⋅X₁⋅X₁+446724755920⋅X₀⋅X₀⋅X₂⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₁⋅X₂⋅X₂+446724755920⋅X₁⋅X₁⋅X₂⋅X₂⋅X₂+449736383488⋅X₀⋅X₀⋅X₀⋅X₃⋅X₃+449736383488⋅X₁⋅X₁⋅X₁⋅X₃⋅X₃+449736383488⋅X₂⋅X₂⋅X₂⋅X₃⋅X₃+451242197272⋅X₀⋅X₀⋅X₃⋅X₃⋅X₃+451242197272⋅X₁⋅X₁⋅X₃⋅X₃⋅X₃+451242197272⋅X₂⋅X₂⋅X₃⋅X₃⋅X₃+45425382484⋅X₃⋅X₃⋅X₃⋅X₃⋅X₃+893449511840⋅X₀⋅X₀⋅X₀⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₁⋅X₁⋅X₂+893449511840⋅X₀⋅X₁⋅X₂⋅X₂⋅X₂+896461139408⋅X₀⋅X₀⋅X₀⋅X₁⋅X₃+896461139408⋅X₀⋅X₀⋅X₀⋅X₂⋅X₃+896461139408⋅X₀⋅X₁⋅X₁⋅X₁⋅X₃+896461139408⋅X₀⋅X₂⋅X₂⋅X₂⋅X₃+896461139408⋅X₁⋅X₁⋅X₁⋅X₂⋅X₃+896461139408⋅X₁⋅X₂⋅X₂⋅X₂⋅X₃+902484394544⋅X₀⋅X₁⋅X₃⋅X₃⋅X₃+902484394544⋅X₀⋅X₂⋅X₃⋅X₃⋅X₃+902484394544⋅X₁⋅X₂⋅X₃⋅X₃⋅X₃+16233053274780⋅X₀⋅X₁⋅X₂⋅X₃+2696410549216⋅X₀⋅X₀⋅X₀⋅X₁+2696410549216⋅X₀⋅X₁⋅X₁⋅X₁+2696414779030⋅X₀⋅X₀⋅X₀⋅X₂+2696414779030⋅X₁⋅X₁⋅X₁⋅X₂+2696423238658⋅X₀⋅X₂⋅X₂⋅X₂+2696423238658⋅X₁⋅X₂⋅X₂⋅X₂+2705504649316⋅X₀⋅X₀⋅X₀⋅X₃+2705504649316⋅X₁⋅X₁⋅X₁⋅X₃+2705517338758⋅X₂⋅X₂⋅X₂⋅X₃+2723692849516⋅X₀⋅X₃⋅X₃⋅X₃+2723692849516⋅X₁⋅X₃⋅X₃⋅X₃+2723697079330⋅X₂⋅X₃⋅X₃⋅X₃+4044615823824⋅X₀⋅X₀⋅X₁⋅X₁+4044628513266⋅X₀⋅X₀⋅X₂⋅X₂+4044628513266⋅X₁⋅X₁⋅X₂⋅X₂+4071898124124⋅X₀⋅X₀⋅X₃⋅X₃+4071898124124⋅X₁⋅X₁⋅X₃⋅X₃+4071910813566⋅X₂⋅X₂⋅X₃⋅X₃+674102637304⋅X₀⋅X₀⋅X₀⋅X₀+674102637304⋅X₁⋅X₁⋅X₁⋅X₁+674106867118⋅X₂⋅X₂⋅X₂⋅X₂+683196737404⋅X₃⋅X₃⋅X₃⋅X₃+8089244337090⋅X₀⋅X₀⋅X₁⋅X₂+8089244337090⋅X₀⋅X₁⋅X₁⋅X₂+8089257026532⋅X₀⋅X₁⋅X₂⋅X₂+8116513947948⋅X₀⋅X₀⋅X₁⋅X₃+8116513947948⋅X₀⋅X₁⋅X₁⋅X₃+8116526637390⋅X₀⋅X₀⋅X₂⋅X₃+8116526637390⋅X₁⋅X₁⋅X₂⋅X₃+8116539326832⋅X₀⋅X₂⋅X₂⋅X₃+8116539326832⋅X₁⋅X₂⋅X₂⋅X₃+8143796248248⋅X₀⋅X₁⋅X₃⋅X₃+8143808937690⋅X₀⋅X₂⋅X₃⋅X₃+8143808937690⋅X₁⋅X₂⋅X₃⋅X₃+12206549538267⋅X₀⋅X₀⋅X₁+12206549562030⋅X₀⋅X₁⋅X₁+12206587820460⋅X₀⋅X₀⋅X₂+12206587867986⋅X₁⋅X₁⋅X₂+12206626126416⋅X₀⋅X₂⋅X₂+12206626150179⋅X₁⋅X₂⋅X₂+12247741154172⋅X₀⋅X₀⋅X₃+12247741201698⋅X₁⋅X₁⋅X₃+12247817766084⋅X₂⋅X₂⋅X₃+12288932793840⋅X₀⋅X₃⋅X₃+12288932817603⋅X₁⋅X₃⋅X₃+12288971099796⋅X₂⋅X₃⋅X₃+24413175688446⋅X₀⋅X₁⋅X₂+24495482355870⋅X₀⋅X₁⋅X₃+24495558920256⋅X₀⋅X₂⋅X₃+24495558967782⋅X₁⋅X₂⋅X₃+4068849838168⋅X₀⋅X₀⋅X₀+4068849861931⋅X₁⋅X₁⋅X₁+4068888144124⋅X₂⋅X₂⋅X₂+4110041477836⋅X₃⋅X₃⋅X₃+12279676947009⋅X₀⋅X₀+12279677090299⋅X₁⋅X₁+12279792581950⋅X₂⋅X₂+12362600047924⋅X₃⋅X₃+24559354037308⋅X₀⋅X₁+24559469528959⋅X₀⋅X₂+24559469672249⋅X₁⋅X₂+24642276994933⋅X₀⋅X₃+24642277138223⋅X₁⋅X₃+24642392629874⋅X₂⋅X₃+18529848285261⋅X₀+18529848501268⋅X₁+18529964641480⋅X₂+18592448075536⋅X₃+11184495910528 {O(n^5)}
t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {O(n)}
t₀, X₂: X₂ {O(n)}
t₀, X₃: X₃ {O(n)}
t₁, X₀: 12097268040⋅X₀⋅X₁⋅X₂⋅X₃+2007751712⋅X₀⋅X₀⋅X₀⋅X₁+2007751712⋅X₀⋅X₀⋅X₀⋅X₂+2007751712⋅X₀⋅X₁⋅X₁⋅X₁+2007751712⋅X₀⋅X₂⋅X₂⋅X₂+2007751712⋅X₁⋅X₁⋅X₁⋅X₂+2007751712⋅X₁⋅X₂⋅X₂⋅X₂+2016211340⋅X₀⋅X₀⋅X₀⋅X₃+2016211340⋅X₁⋅X₁⋅X₁⋅X₃+2016211340⋅X₂⋅X₂⋅X₂⋅X₃+2033130596⋅X₀⋅X₃⋅X₃⋅X₃+2033130596⋅X₁⋅X₃⋅X₃⋅X₃+2033130596⋅X₂⋅X₃⋅X₃⋅X₃+3011627568⋅X₀⋅X₀⋅X₁⋅X₁+3011627568⋅X₀⋅X₀⋅X₂⋅X₂+3011627568⋅X₁⋅X₁⋅X₂⋅X₂+3037006452⋅X₀⋅X₀⋅X₃⋅X₃+3037006452⋅X₁⋅X₁⋅X₃⋅X₃+3037006452⋅X₂⋅X₂⋅X₃⋅X₃+501937928⋅X₀⋅X₀⋅X₀⋅X₀+501937928⋅X₁⋅X₁⋅X₁⋅X₁+501937928⋅X₂⋅X₂⋅X₂⋅X₂+510397556⋅X₃⋅X₃⋅X₃⋅X₃+6023255136⋅X₀⋅X₀⋅X₁⋅X₂+6023255136⋅X₀⋅X₁⋅X₁⋅X₂+6023255136⋅X₀⋅X₁⋅X₂⋅X₂+6048634020⋅X₀⋅X₀⋅X₁⋅X₃+6048634020⋅X₀⋅X₀⋅X₂⋅X₃+6048634020⋅X₀⋅X₁⋅X₁⋅X₃+6048634020⋅X₀⋅X₂⋅X₂⋅X₃+6048634020⋅X₁⋅X₁⋅X₂⋅X₃+6048634020⋅X₁⋅X₂⋅X₂⋅X₃+6074012904⋅X₀⋅X₁⋅X₃⋅X₃+6074012904⋅X₀⋅X₂⋅X₃⋅X₃+6074012904⋅X₁⋅X₂⋅X₃⋅X₃+18188200200⋅X₀⋅X₀⋅X₁+18188200200⋅X₀⋅X₁⋅X₁+18188247726⋅X₀⋅X₀⋅X₂+18188247726⋅X₁⋅X₁⋅X₂+18188295252⋅X₀⋅X₂⋅X₂+18188295252⋅X₁⋅X₂⋅X₂+18264907164⋅X₀⋅X₀⋅X₃+18264907164⋅X₁⋅X₁⋅X₃+18265002216⋅X₂⋅X₂⋅X₃+18341614128⋅X₀⋅X₃⋅X₃+18341614128⋅X₁⋅X₃⋅X₃+18341661654⋅X₂⋅X₃⋅X₃+36376495452⋅X₀⋅X₁⋅X₂+36529814328⋅X₀⋅X₁⋅X₃+36529909380⋅X₀⋅X₂⋅X₃+36529909380⋅X₁⋅X₂⋅X₃+6062733400⋅X₀⋅X₀⋅X₀+6062733400⋅X₁⋅X₁⋅X₁+6062780926⋅X₂⋅X₂⋅X₂+6139440364⋅X₃⋅X₃⋅X₃+27461093112⋅X₀⋅X₀+27461093379⋅X₁⋅X₁+27461380404⋅X₂⋅X₂+27692937756⋅X₃⋅X₃+54922186491⋅X₀⋅X₁+54922473516⋅X₀⋅X₂+54922473783⋅X₁⋅X₂+55154030868⋅X₀⋅X₃+55154031135⋅X₁⋅X₃+55154318160⋅X₂⋅X₃+55282067337⋅X₀+55282068143⋅X₁+55282501502⋅X₂+55515648644⋅X₃+41733193696 {O(n^4)}
t₁, X₁: 16919256⋅X₀⋅X₁⋅X₂+17014308⋅X₀⋅X₁⋅X₃+17014308⋅X₀⋅X₂⋅X₃+17014308⋅X₁⋅X₂⋅X₃+2819876⋅X₀⋅X₀⋅X₀+2819876⋅X₁⋅X₁⋅X₁+2819876⋅X₂⋅X₂⋅X₂+2867402⋅X₃⋅X₃⋅X₃+8459628⋅X₀⋅X₀⋅X₁+8459628⋅X₀⋅X₀⋅X₂+8459628⋅X₀⋅X₁⋅X₁+8459628⋅X₀⋅X₂⋅X₂+8459628⋅X₁⋅X₁⋅X₂+8459628⋅X₁⋅X₂⋅X₂+8507154⋅X₀⋅X₀⋅X₃+8507154⋅X₁⋅X₁⋅X₃+8507154⋅X₂⋅X₂⋅X₃+8554680⋅X₀⋅X₃⋅X₃+8554680⋅X₁⋅X₃⋅X₃+8554680⋅X₂⋅X₃⋅X₃+25537304⋅X₀⋅X₀+25537304⋅X₁⋅X₁+25537571⋅X₂⋅X₂+25824596⋅X₃⋅X₃+51074608⋅X₀⋅X₁+51074875⋅X₀⋅X₂+51074875⋅X₁⋅X₂+51361900⋅X₀⋅X₃+51361900⋅X₁⋅X₃+51362167⋅X₂⋅X₃+77090020⋅X₀+77090021⋅X₁+77090827⋅X₂+77524186⋅X₃+77570992 {O(n^3)}
t₁, X₂: 15842⋅X₀⋅X₀+15842⋅X₁⋅X₁+15842⋅X₂⋅X₂+16109⋅X₃⋅X₃+31684⋅X₀⋅X₁+31684⋅X₀⋅X₂+31684⋅X₁⋅X₂+31951⋅X₀⋅X₃+31951⋅X₁⋅X₃+31951⋅X₂⋅X₃+95586⋅X₀+95586⋅X₁+95587⋅X₂+96393⋅X₃+144184 {O(n^2)}
t₁, X₃: 89⋅X₀+89⋅X₁+89⋅X₂+90⋅X₃+268 {O(n)}
t₂, X₀: 12097268040⋅X₀⋅X₁⋅X₂⋅X₃+2007751712⋅X₀⋅X₀⋅X₀⋅X₁+2007751712⋅X₀⋅X₀⋅X₀⋅X₂+2007751712⋅X₀⋅X₁⋅X₁⋅X₁+2007751712⋅X₀⋅X₂⋅X₂⋅X₂+2007751712⋅X₁⋅X₁⋅X₁⋅X₂+2007751712⋅X₁⋅X₂⋅X₂⋅X₂+2016211340⋅X₀⋅X₀⋅X₀⋅X₃+2016211340⋅X₁⋅X₁⋅X₁⋅X₃+2016211340⋅X₂⋅X₂⋅X₂⋅X₃+2033130596⋅X₀⋅X₃⋅X₃⋅X₃+2033130596⋅X₁⋅X₃⋅X₃⋅X₃+2033130596⋅X₂⋅X₃⋅X₃⋅X₃+3011627568⋅X₀⋅X₀⋅X₁⋅X₁+3011627568⋅X₀⋅X₀⋅X₂⋅X₂+3011627568⋅X₁⋅X₁⋅X₂⋅X₂+3037006452⋅X₀⋅X₀⋅X₃⋅X₃+3037006452⋅X₁⋅X₁⋅X₃⋅X₃+3037006452⋅X₂⋅X₂⋅X₃⋅X₃+501937928⋅X₀⋅X₀⋅X₀⋅X₀+501937928⋅X₁⋅X₁⋅X₁⋅X₁+501937928⋅X₂⋅X₂⋅X₂⋅X₂+510397556⋅X₃⋅X₃⋅X₃⋅X₃+6023255136⋅X₀⋅X₀⋅X₁⋅X₂+6023255136⋅X₀⋅X₁⋅X₁⋅X₂+6023255136⋅X₀⋅X₁⋅X₂⋅X₂+6048634020⋅X₀⋅X₀⋅X₁⋅X₃+6048634020⋅X₀⋅X₀⋅X₂⋅X₃+6048634020⋅X₀⋅X₁⋅X₁⋅X₃+6048634020⋅X₀⋅X₂⋅X₂⋅X₃+6048634020⋅X₁⋅X₁⋅X₂⋅X₃+6048634020⋅X₁⋅X₂⋅X₂⋅X₃+6074012904⋅X₀⋅X₁⋅X₃⋅X₃+6074012904⋅X₀⋅X₂⋅X₃⋅X₃+6074012904⋅X₁⋅X₂⋅X₃⋅X₃+18188200200⋅X₀⋅X₀⋅X₁+18188200200⋅X₀⋅X₁⋅X₁+18188247726⋅X₀⋅X₀⋅X₂+18188247726⋅X₁⋅X₁⋅X₂+18188295252⋅X₀⋅X₂⋅X₂+18188295252⋅X₁⋅X₂⋅X₂+18264907164⋅X₀⋅X₀⋅X₃+18264907164⋅X₁⋅X₁⋅X₃+18265002216⋅X₂⋅X₂⋅X₃+18341614128⋅X₀⋅X₃⋅X₃+18341614128⋅X₁⋅X₃⋅X₃+18341661654⋅X₂⋅X₃⋅X₃+36376495452⋅X₀⋅X₁⋅X₂+36529814328⋅X₀⋅X₁⋅X₃+36529909380⋅X₀⋅X₂⋅X₃+36529909380⋅X₁⋅X₂⋅X₃+6062733400⋅X₀⋅X₀⋅X₀+6062733400⋅X₁⋅X₁⋅X₁+6062780926⋅X₂⋅X₂⋅X₂+6139440364⋅X₃⋅X₃⋅X₃+27461093112⋅X₀⋅X₀+27461093379⋅X₁⋅X₁+27461380404⋅X₂⋅X₂+27692937756⋅X₃⋅X₃+54922186491⋅X₀⋅X₁+54922473516⋅X₀⋅X₂+54922473783⋅X₁⋅X₂+55154030868⋅X₀⋅X₃+55154031135⋅X₁⋅X₃+55154318160⋅X₂⋅X₃+55282067337⋅X₀+55282068143⋅X₁+55282501502⋅X₂+55515648644⋅X₃+41733193696 {O(n^4)}
t₂, X₁: 16919256⋅X₀⋅X₁⋅X₂+17014308⋅X₀⋅X₁⋅X₃+17014308⋅X₀⋅X₂⋅X₃+17014308⋅X₁⋅X₂⋅X₃+2819876⋅X₀⋅X₀⋅X₀+2819876⋅X₁⋅X₁⋅X₁+2819876⋅X₂⋅X₂⋅X₂+2867402⋅X₃⋅X₃⋅X₃+8459628⋅X₀⋅X₀⋅X₁+8459628⋅X₀⋅X₀⋅X₂+8459628⋅X₀⋅X₁⋅X₁+8459628⋅X₀⋅X₂⋅X₂+8459628⋅X₁⋅X₁⋅X₂+8459628⋅X₁⋅X₂⋅X₂+8507154⋅X₀⋅X₀⋅X₃+8507154⋅X₁⋅X₁⋅X₃+8507154⋅X₂⋅X₂⋅X₃+8554680⋅X₀⋅X₃⋅X₃+8554680⋅X₁⋅X₃⋅X₃+8554680⋅X₂⋅X₃⋅X₃+25537304⋅X₀⋅X₀+25537304⋅X₁⋅X₁+25537571⋅X₂⋅X₂+25824596⋅X₃⋅X₃+51074608⋅X₀⋅X₁+51074875⋅X₀⋅X₂+51074875⋅X₁⋅X₂+51361900⋅X₀⋅X₃+51361900⋅X₁⋅X₃+51362167⋅X₂⋅X₃+77090020⋅X₀+77090021⋅X₁+77090827⋅X₂+77524186⋅X₃+77570992 {O(n^3)}
t₂, X₂: 15842⋅X₀⋅X₀+15842⋅X₁⋅X₁+15842⋅X₂⋅X₂+16109⋅X₃⋅X₃+31684⋅X₀⋅X₁+31684⋅X₀⋅X₂+31684⋅X₁⋅X₂+31951⋅X₀⋅X₃+31951⋅X₁⋅X₃+31951⋅X₂⋅X₃+95586⋅X₀+95586⋅X₁+95587⋅X₂+96393⋅X₃+144184 {O(n^2)}
t₂, X₃: 89⋅X₀+89⋅X₁+89⋅X₂+90⋅X₃+268 {O(n)}