Initial Problem

Start: start0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: lbl151, lbl171, start, start0, stop
Transitions:
9:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_1+1<=Arg_3 && 6<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
10:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_1+1<=Arg_3 && Arg_1<=5 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
8:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_3<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
6:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_1+1<=Arg_3 && 6<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
7:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_1+1<=Arg_3 && Arg_1<=5 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
5:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_3<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
4:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> stop(Arg_0,Arg_1,Arg_2,Arg_3):|:30<=Arg_3 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
2:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_2+1<=Arg_0 && 6<=Arg_2 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
3:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_2+1<=Arg_0 && Arg_2<=5 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
1:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_0<=Arg_2 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
0:start(Arg_0,Arg_1,Arg_2,Arg_3) -> stop(Arg_0,Arg_1,Arg_2,Arg_3):|:30<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
11:start0(Arg_0,Arg_1,Arg_2,Arg_3) -> start(Arg_0,Arg_2,Arg_2,Arg_0)

Preprocessing

Found invariant Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 for location start

Found invariant Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 for location lbl151

Found invariant 30<=Arg_3 && Arg_0<=Arg_3 for location stop

Found invariant Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 for location lbl171

Problem after Preprocessing

Start: start0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: lbl151, lbl171, start, start0, stop
Transitions:
9:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_1+1<=Arg_3 && 6<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
10:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_1+1<=Arg_3 && Arg_1<=5 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
8:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_3<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2
6:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_1+1<=Arg_3 && 6<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
7:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_1+1<=Arg_3 && Arg_1<=5 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
5:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_3<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
4:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> stop(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && 30<=Arg_3 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12
2:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && Arg_2+1<=Arg_0 && 6<=Arg_2 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
3:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && Arg_2+1<=Arg_0 && Arg_2<=5 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
1:start(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_0<=29 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
0:start(Arg_0,Arg_1,Arg_2,Arg_3) -> stop(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && Arg_0<=Arg_3 && Arg_2<=Arg_1 && Arg_1<=Arg_2 && 30<=Arg_0 && Arg_1<=Arg_2 && Arg_2<=Arg_1 && Arg_3<=Arg_0 && Arg_0<=Arg_3
11:start0(Arg_0,Arg_1,Arg_2,Arg_3) -> start(Arg_0,Arg_2,Arg_2,Arg_0)

MPRF for transition 8:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_3<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2 of depth 1:

new bound:

134*Arg_2+714*Arg_0+47588 {O(n)}

MPRF:

lbl171 [11*Arg_1+11614-280*Arg_0-56*Arg_2-77*Arg_3 ]
lbl151 [11*Arg_1+11614-280*Arg_0-56*Arg_2-77*Arg_3 ]

MPRF for transition 9:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_1+1<=Arg_3 && 6<=Arg_1 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2 of depth 1:

new bound:

14*Arg_2+70*Arg_0+5012 {O(n)}

MPRF:

lbl171 [1254-30*Arg_0-Arg_1-6*Arg_2-5*Arg_3 ]
lbl151 [1254-30*Arg_0-Arg_1-6*Arg_2-5*Arg_3 ]

MPRF for transition 10:lbl151(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_1<=5+Arg_3 && 1+Arg_0<=Arg_3 && Arg_0<=29 && Arg_1+1<=Arg_3 && Arg_1<=5 && 5*Arg_0+Arg_2+7<=6*Arg_3 && 5*Arg_0+Arg_2+7<=5*Arg_3+Arg_1 && Arg_0+1<=Arg_3 && Arg_0<=29 && 2*Arg_3+5*Arg_0+Arg_2<=Arg_1+203 && 14*Arg_3+35*Arg_0+7*Arg_2<=2*Arg_1+1561 && 140*Arg_0+28*Arg_2+161<=140*Arg_3+23*Arg_1 && 56*Arg_3+140*Arg_0+28*Arg_2<=23*Arg_1+5719 && Arg_1<=Arg_3+5 && Arg_1+7*Arg_0<=7*Arg_3+Arg_2 of depth 1:

new bound:

1960*Arg_0+392*Arg_2+124445 {O(n)}

MPRF:

lbl171 [29451-700*Arg_0-56*Arg_1-140*Arg_2-280*Arg_3 ]
lbl151 [29451-700*Arg_0-56*Arg_1-140*Arg_2-280*Arg_3 ]

MPRF for transition 5:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl171(Arg_0,Arg_1-10,Arg_2,2+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_3<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12 of depth 1:

new bound:

2*Arg_0+119 {O(n)}

MPRF:

lbl171 [30-Arg_3 ]
lbl151 [28-Arg_3 ]

MPRF for transition 6:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,7+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_1+1<=Arg_3 && 6<=Arg_1 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12 of depth 1:

new bound:

29*Arg_0+3*Arg_2+1907 {O(n)}

MPRF:

lbl171 [465-16*Arg_3 ]
lbl151 [448-3*Arg_1-13*Arg_3 ]

MPRF for transition 7:lbl171(Arg_0,Arg_1,Arg_2,Arg_3) -> lbl151(Arg_0,2+Arg_1,Arg_2,1+Arg_3):|:Arg_3<=12+Arg_1 && 2+Arg_0<=Arg_3 && Arg_0<=10+Arg_1 && Arg_0<=29 && Arg_1+1<=Arg_3 && Arg_1<=5 && Arg_3<=29 && Arg_0<=29 && 5*Arg_0+Arg_2<=5*Arg_3+Arg_1 && Arg_1+7*Arg_0+24<=7*Arg_3+Arg_2 && 19*Arg_3+35*Arg_0+7*Arg_2<=7*Arg_1+1674 && Arg_3<=Arg_1+12 of depth 1:

new bound:

16*Arg_0+2*Arg_2+907 {O(n)}

MPRF:

lbl171 [Arg_1+216-Arg_0-7*Arg_3 ]
lbl151 [Arg_1+192-Arg_0-7*Arg_3 ]

All Bounds

Timebounds

Overall timebound:2791*Arg_0+545*Arg_2+179984 {O(n)}
8: lbl151->lbl171: 134*Arg_2+714*Arg_0+47588 {O(n)}
9: lbl151->lbl151: 14*Arg_2+70*Arg_0+5012 {O(n)}
10: lbl151->lbl151: 1960*Arg_0+392*Arg_2+124445 {O(n)}
4: lbl171->stop: 1 {O(1)}
5: lbl171->lbl171: 2*Arg_0+119 {O(n)}
6: lbl171->lbl151: 29*Arg_0+3*Arg_2+1907 {O(n)}
7: lbl171->lbl151: 16*Arg_0+2*Arg_2+907 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl171: 1 {O(1)}
2: start->lbl151: 1 {O(1)}
3: start->lbl151: 1 {O(1)}
11: start0->start: 1 {O(1)}

Costbounds

Overall costbound: 2791*Arg_0+545*Arg_2+179984 {O(n)}
8: lbl151->lbl171: 134*Arg_2+714*Arg_0+47588 {O(n)}
9: lbl151->lbl151: 14*Arg_2+70*Arg_0+5012 {O(n)}
10: lbl151->lbl151: 1960*Arg_0+392*Arg_2+124445 {O(n)}
4: lbl171->stop: 1 {O(1)}
5: lbl171->lbl171: 2*Arg_0+119 {O(n)}
6: lbl171->lbl151: 29*Arg_0+3*Arg_2+1907 {O(n)}
7: lbl171->lbl151: 16*Arg_0+2*Arg_2+907 {O(n)}
0: start->stop: 1 {O(1)}
1: start->lbl171: 1 {O(1)}
2: start->lbl151: 1 {O(1)}
3: start->lbl151: 1 {O(1)}
11: start0->start: 1 {O(1)}

Sizebounds

8: lbl151->lbl171, Arg_0: 7*Arg_0+58 {O(n)}
8: lbl151->lbl171, Arg_1: 11602*Arg_0+2231*Arg_2+763024 {O(n)}
8: lbl151->lbl171, Arg_2: 7*Arg_2+56 {O(n)}
8: lbl151->lbl171, Arg_3: 3483*Arg_0+676*Arg_2+225905 {O(n)}
9: lbl151->lbl151, Arg_0: 7*Arg_0+58 {O(n)}
9: lbl151->lbl151, Arg_1: 11602*Arg_0+2231*Arg_2+763024 {O(n)}
9: lbl151->lbl151, Arg_2: 7*Arg_2+56 {O(n)}
9: lbl151->lbl151, Arg_3: 3483*Arg_0+676*Arg_2+225905 {O(n)}
10: lbl151->lbl151, Arg_0: 7*Arg_0+58 {O(n)}
10: lbl151->lbl151, Arg_1: 11602*Arg_0+2231*Arg_2+763024 {O(n)}
10: lbl151->lbl151, Arg_2: 7*Arg_2+56 {O(n)}
10: lbl151->lbl151, Arg_3: 3483*Arg_0+676*Arg_2+225905 {O(n)}
4: lbl171->stop, Arg_0: 9*Arg_0+58 {O(n)}
4: lbl171->stop, Arg_1: 11622*Arg_0+2233*Arg_2+764234 {O(n)}
4: lbl171->stop, Arg_2: 9*Arg_2+56 {O(n)}
4: lbl171->stop, Arg_3: 3489*Arg_0+676*Arg_2+226147 {O(n)}
5: lbl171->lbl171, Arg_0: Arg_0 {O(n)}
5: lbl171->lbl171, Arg_1: 20*Arg_0+Arg_2+1200 {O(n)}
5: lbl171->lbl171, Arg_2: Arg_2 {O(n)}
5: lbl171->lbl171, Arg_3: 5*Arg_0+240 {O(n)}
6: lbl171->lbl151, Arg_0: 7*Arg_0+58 {O(n)}
6: lbl171->lbl151, Arg_1: 35 {O(1)}
6: lbl171->lbl151, Arg_2: 7*Arg_2+56 {O(n)}
6: lbl171->lbl151, Arg_3: 30 {O(1)}
7: lbl171->lbl151, Arg_0: 7*Arg_0+58 {O(n)}
7: lbl171->lbl151, Arg_1: 11602*Arg_0+2231*Arg_2+763024 {O(n)}
7: lbl171->lbl151, Arg_2: 7*Arg_2+56 {O(n)}
7: lbl171->lbl151, Arg_3: 3483*Arg_0+676*Arg_2+225905 {O(n)}
0: start->stop, Arg_0: Arg_0 {O(n)}
0: start->stop, Arg_1: Arg_2 {O(n)}
0: start->stop, Arg_2: Arg_2 {O(n)}
0: start->stop, Arg_3: Arg_0 {O(n)}
1: start->lbl171, Arg_0: Arg_0 {O(n)}
1: start->lbl171, Arg_1: Arg_2+10 {O(n)}
1: start->lbl171, Arg_2: Arg_2 {O(n)}
1: start->lbl171, Arg_3: Arg_0+2 {O(n)}
2: start->lbl151, Arg_0: 29 {O(1)}
2: start->lbl151, Arg_1: 35 {O(1)}
2: start->lbl151, Arg_2: 28 {O(1)}
2: start->lbl151, Arg_3: 30 {O(1)}
3: start->lbl151, Arg_0: Arg_0 {O(n)}
3: start->lbl151, Arg_1: Arg_2+2 {O(n)}
3: start->lbl151, Arg_2: Arg_2 {O(n)}
3: start->lbl151, Arg_3: Arg_0+1 {O(n)}
11: start0->start, Arg_0: Arg_0 {O(n)}
11: start0->start, Arg_1: Arg_2 {O(n)}
11: start0->start, Arg_2: Arg_2 {O(n)}
11: start0->start, Arg_3: Arg_0 {O(n)}