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