Initial Problem
Start: eval_inflate_stored_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars: nondef.0
Locations: eval_inflate_stored_8, eval_inflate_stored_9, eval_inflate_stored_bb0_in, eval_inflate_stored_bb10_in, eval_inflate_stored_bb11_in, eval_inflate_stored_bb12_in, eval_inflate_stored_bb1_in, eval_inflate_stored_bb2_in, eval_inflate_stored_bb3_in, eval_inflate_stored_bb4_in, eval_inflate_stored_bb5_in, eval_inflate_stored_bb6_in, eval_inflate_stored_bb7_in, eval_inflate_stored_bb8_in, eval_inflate_stored_bb9_in, eval_inflate_stored_start, eval_inflate_stored_stop
Transitions:
11:eval_inflate_stored_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,nondef.0,Arg_6,Arg_7,Arg_8,Arg_9)
12:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_5<0
13:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:0<Arg_5
14:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_5<=0 && 0<=Arg_5
1:eval_inflate_stored_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb1_in(Arg_0,Arg_7-Arg_9,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
20:eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+8,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
21:eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb8_in(Arg_6,Arg_1,Arg_2,Arg_4-8,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
22:eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
2:eval_inflate_stored_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_1<16
3:eval_inflate_stored_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:16<=Arg_1
4:eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb1_in(Arg_0,Arg_1+8,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
5:eval_inflate_stored_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_1-16,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
6:eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<16
7:eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:16<=Arg_2
8:eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2+8,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
9:eval_inflate_stored_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
15:eval_inflate_stored_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb8_in(Arg_9,Arg_1,Arg_2,Arg_2-16,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
17:eval_inflate_stored_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_0<=0
16:eval_inflate_stored_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_3,Arg_5,Arg_0-1,Arg_7,Arg_8,Arg_9):|:0<Arg_0
18:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_4<Arg_8
19:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_8<=Arg_4
0:eval_inflate_stored_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
Preprocessing
Found invariant Arg_1<=15 for location eval_inflate_stored_bb2_in
Found invariant 16<=Arg_1 for location eval_inflate_stored_bb3_in
Found invariant Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_9
Found invariant Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1 for location eval_inflate_stored_bb5_in
Found invariant 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 for location eval_inflate_stored_bb9_in
Found invariant Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_bb4_in
Found invariant 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 for location eval_inflate_stored_bb10_in
Found invariant 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 for location eval_inflate_stored_bb11_in
Found invariant Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_8
Found invariant Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_bb8_in
Found invariant Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_bb12_in
Found invariant Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_bb6_in
Found invariant Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_stop
Found invariant Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 for location eval_inflate_stored_bb7_in
Problem after Preprocessing
Start: eval_inflate_stored_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9
Temp_Vars: nondef.0
Locations: eval_inflate_stored_8, eval_inflate_stored_9, eval_inflate_stored_bb0_in, eval_inflate_stored_bb10_in, eval_inflate_stored_bb11_in, eval_inflate_stored_bb12_in, eval_inflate_stored_bb1_in, eval_inflate_stored_bb2_in, eval_inflate_stored_bb3_in, eval_inflate_stored_bb4_in, eval_inflate_stored_bb5_in, eval_inflate_stored_bb6_in, eval_inflate_stored_bb7_in, eval_inflate_stored_bb8_in, eval_inflate_stored_bb9_in, eval_inflate_stored_start, eval_inflate_stored_stop
Transitions:
11:eval_inflate_stored_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,nondef.0,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
12:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
13:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
14:eval_inflate_stored_9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
1:eval_inflate_stored_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb1_in(Arg_0,Arg_7-Arg_9,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
20:eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+8,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
21:eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb8_in(Arg_6,Arg_1,Arg_2,Arg_4-8,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
22:eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_stop(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
2:eval_inflate_stored_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_1<16
3:eval_inflate_stored_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:16<=Arg_1
4:eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb1_in(Arg_0,Arg_1+8,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_1<=15
5:eval_inflate_stored_bb3_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_1-16,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:16<=Arg_1
6:eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
7:eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
8:eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2+8,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
9:eval_inflate_stored_bb6_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
15:eval_inflate_stored_bb7_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb8_in(Arg_9,Arg_1,Arg_2,Arg_2-16,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
17:eval_inflate_stored_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb12_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
16:eval_inflate_stored_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_3,Arg_5,Arg_0-1,Arg_7,Arg_8,Arg_9):|:Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
18:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
19:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
0:eval_inflate_stored_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb0_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9)
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 2:eval_inflate_stored_bb1_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_1<16 of depth 1:
new bound:
Arg_7+Arg_9+16 {O(n)}
MPRF:
eval_inflate_stored_bb2_in [8-Arg_1 ]
eval_inflate_stored_bb1_in [16-Arg_1 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 4:eval_inflate_stored_bb2_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb1_in(Arg_0,Arg_1+8,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_1<=15 of depth 1:
new bound:
Arg_7+Arg_9+16 {O(n)}
MPRF:
eval_inflate_stored_bb2_in [16-Arg_1 ]
eval_inflate_stored_bb1_in [16-Arg_1 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 6:eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16 of depth 1:
new bound:
10*Arg_7+10*Arg_9+144 {O(n)}
MPRF:
eval_inflate_stored_bb5_in [8-Arg_2 ]
eval_inflate_stored_bb4_in [16-Arg_2 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 8:eval_inflate_stored_bb5_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb4_in(Arg_0,Arg_1,Arg_2+8,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1 of depth 1:
new bound:
10*Arg_7+10*Arg_9+144 {O(n)}
MPRF:
eval_inflate_stored_bb5_in [16-Arg_2 ]
eval_inflate_stored_bb4_in [16-Arg_2 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 20:eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+8,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 of depth 1:
new bound:
10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
MPRF:
eval_inflate_stored_bb8_in [8*Arg_0+Arg_8-Arg_3-8 ]
eval_inflate_stored_bb10_in [8*Arg_6+Arg_8-Arg_4 ]
eval_inflate_stored_bb9_in [8*Arg_6+Arg_8-Arg_4 ]
eval_inflate_stored_bb11_in [8*Arg_6+Arg_8-Arg_4 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 21:eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb8_in(Arg_6,Arg_1,Arg_2,Arg_4-8,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 of depth 1:
new bound:
4*Arg_9 {O(n)}
MPRF:
eval_inflate_stored_bb8_in [Arg_0 ]
eval_inflate_stored_bb10_in [Arg_0 ]
eval_inflate_stored_bb9_in [Arg_0 ]
eval_inflate_stored_bb11_in [Arg_6+1 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 16:eval_inflate_stored_bb8_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_3,Arg_5,Arg_0-1,Arg_7,Arg_8,Arg_9):|:Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0 of depth 1:
new bound:
4*Arg_9 {O(n)}
MPRF:
eval_inflate_stored_bb8_in [Arg_0 ]
eval_inflate_stored_bb10_in [Arg_6 ]
eval_inflate_stored_bb9_in [Arg_6 ]
eval_inflate_stored_bb11_in [Arg_6 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 18:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb10_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8 of depth 1:
new bound:
10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
MPRF:
eval_inflate_stored_bb8_in [8*Arg_0+Arg_8-Arg_3-8 ]
eval_inflate_stored_bb10_in [8*Arg_6+Arg_8-Arg_4-8 ]
eval_inflate_stored_bb9_in [8*Arg_6+Arg_8-Arg_4 ]
eval_inflate_stored_bb11_in [8*Arg_6+Arg_8-Arg_4 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
MPRF for transition 19:eval_inflate_stored_bb9_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> eval_inflate_stored_bb11_in(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4 of depth 1:
new bound:
4*Arg_9+1 {O(n)}
MPRF:
eval_inflate_stored_bb8_in [Arg_0+1 ]
eval_inflate_stored_bb10_in [Arg_0+1 ]
eval_inflate_stored_bb9_in [Arg_0+1 ]
eval_inflate_stored_bb11_in [Arg_0 ]
Show Graph
G
eval_inflate_stored_8
eval_inflate_stored_8
eval_inflate_stored_9
eval_inflate_stored_9
eval_inflate_stored_8->eval_inflate_stored_9
t₁₁
η (Arg_5) = nondef.0
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb12_in
eval_inflate_stored_bb12_in
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<0
eval_inflate_stored_9->eval_inflate_stored_bb12_in
t₁₃
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_5
eval_inflate_stored_bb7_in
eval_inflate_stored_bb7_in
eval_inflate_stored_9->eval_inflate_stored_bb7_in
t₁₄
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_5<=0 && 0<=Arg_5
eval_inflate_stored_bb0_in
eval_inflate_stored_bb0_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb1_in
eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in
t₁
η (Arg_1) = Arg_7-Arg_9
eval_inflate_stored_bb10_in
eval_inflate_stored_bb10_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb9_in
eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in
t₂₀
η (Arg_4) = Arg_4+8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_4<=Arg_8 && 1+Arg_3<=Arg_8 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_bb11_in
eval_inflate_stored_bb11_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb8_in
eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in
t₂₁
η (Arg_0) = Arg_6
η (Arg_3) = Arg_4-8
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && Arg_8<=Arg_4 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0
eval_inflate_stored_stop
eval_inflate_stored_stop
eval_inflate_stored_bb12_in->eval_inflate_stored_stop
t₂₂
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb2_in
eval_inflate_stored_bb2_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in
t₂
τ = Arg_1<16
eval_inflate_stored_bb3_in
eval_inflate_stored_bb3_in
eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in
t₃
τ = 16<=Arg_1
eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in
t₄
η (Arg_1) = Arg_1+8
τ = Arg_1<=15
eval_inflate_stored_bb4_in
eval_inflate_stored_bb4_in
eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in
t₅
η (Arg_2) = Arg_1-16
τ = 16<=Arg_1
eval_inflate_stored_bb5_in
eval_inflate_stored_bb5_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in
t₆
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_2<16
eval_inflate_stored_bb6_in
eval_inflate_stored_bb6_in
eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in
t₇
τ = Arg_2<=7+Arg_1 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 16<=Arg_2
eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in
t₈
η (Arg_2) = Arg_2+8
τ = Arg_2<=15 && 1+Arg_2<=Arg_1 && Arg_1+Arg_2<=46 && 0<=Arg_2 && 16<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && Arg_1<=31 && 16<=Arg_1
eval_inflate_stored_bb6_in->eval_inflate_stored_8
t₉
τ = Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in
t₁₅
η (Arg_0) = Arg_9
η (Arg_3) = Arg_2-16
τ = Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1
eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in
t₁₇
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && Arg_0<=0
eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in
t₁₆
η (Arg_4) = Arg_3
η (Arg_6) = Arg_0-1
τ = Arg_0<=Arg_9 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 16<=Arg_1 && 0<Arg_0
eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in
t₁₈
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_4<Arg_8
eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in
t₁₉
τ = 1<=Arg_9 && 1<=Arg_6+Arg_9 && 1+Arg_6<=Arg_9 && 1<=Arg_5+Arg_9 && 1+Arg_5<=Arg_9 && 17<=Arg_2+Arg_9 && 17<=Arg_1+Arg_9 && 2<=Arg_0+Arg_9 && Arg_0<=Arg_9 && 1+Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 16<=Arg_2+Arg_6 && 16<=Arg_1+Arg_6 && 1<=Arg_0+Arg_6 && Arg_0<=1+Arg_6 && Arg_5<=0 && 16+Arg_5<=Arg_2 && 16+Arg_5<=Arg_1 && 1+Arg_5<=Arg_0 && 0<=Arg_5 && 16<=Arg_2+Arg_5 && 16<=Arg_1+Arg_5 && 1<=Arg_0+Arg_5 && Arg_3<=Arg_4 && Arg_2<=7+Arg_1 && 16<=Arg_2 && 32<=Arg_1+Arg_2 && Arg_1<=16+Arg_2 && 17<=Arg_0+Arg_2 && 16<=Arg_1 && 17<=Arg_0+Arg_1 && 1<=Arg_0 && Arg_8<=Arg_4
eval_inflate_stored_start
eval_inflate_stored_start
eval_inflate_stored_start->eval_inflate_stored_bb0_in
t₀
All Bounds
Timebounds
Overall timebound:118*Arg_9+42*Arg_7+8*Arg_8+652 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9: 1 {O(1)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in: 1 {O(1)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in: 1 {O(1)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in: 1 {O(1)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in: 1 {O(1)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in: 10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in: 4*Arg_9 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop: 1 {O(1)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in: Arg_7+Arg_9+16 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in: 1 {O(1)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in: Arg_7+Arg_9+16 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in: 1 {O(1)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in: 10*Arg_7+10*Arg_9+144 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in: 1 {O(1)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in: 10*Arg_7+10*Arg_9+144 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8: 1 {O(1)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in: 1 {O(1)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in: 4*Arg_9 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in: 1 {O(1)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in: 10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in: 4*Arg_9+1 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in: 1 {O(1)}
Costbounds
Overall costbound: 118*Arg_9+42*Arg_7+8*Arg_8+652 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9: 1 {O(1)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in: 1 {O(1)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in: 1 {O(1)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in: 1 {O(1)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in: 1 {O(1)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in: 10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in: 4*Arg_9 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop: 1 {O(1)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in: Arg_7+Arg_9+16 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in: 1 {O(1)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in: Arg_7+Arg_9+16 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in: 1 {O(1)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in: 10*Arg_7+10*Arg_9+144 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in: 1 {O(1)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in: 10*Arg_7+10*Arg_9+144 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8: 1 {O(1)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in: 1 {O(1)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in: 4*Arg_9 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in: 1 {O(1)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in: 10*Arg_7+4*Arg_8+42*Arg_9+159 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in: 4*Arg_9+1 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in: 1 {O(1)}
Sizebounds
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_0: 4*Arg_0 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_3: 4*Arg_3 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_4: 4*Arg_4 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_6: 4*Arg_6 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_7: 4*Arg_7 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_8: 4*Arg_8 {O(n)}
11: eval_inflate_stored_8->eval_inflate_stored_9, Arg_9: 4*Arg_9 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_0: 4*Arg_0 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_3: 4*Arg_3 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_4: 4*Arg_4 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_6: 4*Arg_6 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_7: 4*Arg_7 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_8: 4*Arg_8 {O(n)}
12: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_9: 4*Arg_9 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_0: 4*Arg_0 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_3: 4*Arg_3 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_4: 4*Arg_4 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_6: 4*Arg_6 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_7: 4*Arg_7 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_8: 4*Arg_8 {O(n)}
13: eval_inflate_stored_9->eval_inflate_stored_bb12_in, Arg_9: 4*Arg_9 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_0: 4*Arg_0 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_3: 4*Arg_3 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_4: 4*Arg_4 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_5: 0 {O(1)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_6: 4*Arg_6 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_7: 4*Arg_7 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_8: 4*Arg_8 {O(n)}
14: eval_inflate_stored_9->eval_inflate_stored_bb7_in, Arg_9: 4*Arg_9 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_0: Arg_0 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_1: Arg_7+Arg_9 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_2: Arg_2 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_3: Arg_3 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_4: Arg_4 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_5: Arg_5 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_6: Arg_6 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_7: Arg_7 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_8: Arg_8 {O(n)}
1: eval_inflate_stored_bb0_in->eval_inflate_stored_bb1_in, Arg_9: Arg_9 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_0: 4*Arg_9 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_3: 100*Arg_7+32*Arg_8+388*Arg_9+1574 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_4: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_5: 0 {O(1)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_6: 8*Arg_9 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_7: 4*Arg_7 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_8: 4*Arg_8 {O(n)}
20: eval_inflate_stored_bb10_in->eval_inflate_stored_bb9_in, Arg_9: 4*Arg_9 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_0: 4*Arg_9 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_3: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_4: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_5: 0 {O(1)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_6: 16*Arg_9 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_7: 4*Arg_7 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_8: 4*Arg_8 {O(n)}
21: eval_inflate_stored_bb11_in->eval_inflate_stored_bb8_in, Arg_9: 4*Arg_9 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_0: 8*Arg_0+8*Arg_9 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_1: 40*Arg_7+40*Arg_9+636 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_2: 40*Arg_7+40*Arg_9+604 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_3: 100*Arg_7+32*Arg_8+388*Arg_9+8*Arg_3+1574 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_4: 12*Arg_4+32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_6: 12*Arg_6+16*Arg_9 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_7: 16*Arg_7 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_8: 16*Arg_8 {O(n)}
22: eval_inflate_stored_bb12_in->eval_inflate_stored_stop, Arg_9: 16*Arg_9 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_0: Arg_0 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_1: 9*Arg_7+9*Arg_9+128 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_2: Arg_2 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_3: Arg_3 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_4: Arg_4 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_5: Arg_5 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_6: Arg_6 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_7: Arg_7 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_8: Arg_8 {O(n)}
2: eval_inflate_stored_bb1_in->eval_inflate_stored_bb2_in, Arg_9: Arg_9 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_0: 2*Arg_0 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_1: 10*Arg_7+10*Arg_9+128 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_2: 2*Arg_2 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_3: 2*Arg_3 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_4: 2*Arg_4 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_5: 2*Arg_5 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_6: 2*Arg_6 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_7: 2*Arg_7 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_8: 2*Arg_8 {O(n)}
3: eval_inflate_stored_bb1_in->eval_inflate_stored_bb3_in, Arg_9: 2*Arg_9 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_0: Arg_0 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_1: 9*Arg_7+9*Arg_9+128 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_2: Arg_2 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_3: Arg_3 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_4: Arg_4 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_5: Arg_5 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_6: Arg_6 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_7: Arg_7 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_8: Arg_8 {O(n)}
4: eval_inflate_stored_bb2_in->eval_inflate_stored_bb1_in, Arg_9: Arg_9 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_0: 2*Arg_0 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_1: 10*Arg_7+10*Arg_9+128 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_2: 10*Arg_7+10*Arg_9+128 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_3: 2*Arg_3 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_4: 2*Arg_4 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_5: 2*Arg_5 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_6: 2*Arg_6 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_7: 2*Arg_7 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_8: 2*Arg_8 {O(n)}
5: eval_inflate_stored_bb3_in->eval_inflate_stored_bb4_in, Arg_9: 2*Arg_9 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_0: 2*Arg_0 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_1: 31 {O(1)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_2: 15 {O(1)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_3: 2*Arg_3 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_4: 2*Arg_4 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_5: 2*Arg_5 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_6: 2*Arg_6 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_7: 2*Arg_7 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_8: 2*Arg_8 {O(n)}
6: eval_inflate_stored_bb4_in->eval_inflate_stored_bb5_in, Arg_9: 2*Arg_9 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_0: 4*Arg_0 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_3: 4*Arg_3 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_4: 4*Arg_4 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_5: 4*Arg_5 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_6: 4*Arg_6 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_7: 4*Arg_7 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_8: 4*Arg_8 {O(n)}
7: eval_inflate_stored_bb4_in->eval_inflate_stored_bb6_in, Arg_9: 4*Arg_9 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_0: 2*Arg_0 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_1: 31 {O(1)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_2: 23 {O(1)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_3: 2*Arg_3 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_4: 2*Arg_4 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_5: 2*Arg_5 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_6: 2*Arg_6 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_7: 2*Arg_7 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_8: 2*Arg_8 {O(n)}
8: eval_inflate_stored_bb5_in->eval_inflate_stored_bb4_in, Arg_9: 2*Arg_9 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_0: 4*Arg_0 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_3: 4*Arg_3 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_4: 4*Arg_4 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_5: 4*Arg_5 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_6: 4*Arg_6 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_7: 4*Arg_7 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_8: 4*Arg_8 {O(n)}
9: eval_inflate_stored_bb6_in->eval_inflate_stored_8, Arg_9: 4*Arg_9 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_0: 4*Arg_9 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_3: 10*Arg_7+10*Arg_9+151 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_4: 4*Arg_4 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_5: 0 {O(1)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_6: 4*Arg_6 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_7: 4*Arg_7 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_8: 4*Arg_8 {O(n)}
15: eval_inflate_stored_bb7_in->eval_inflate_stored_bb8_in, Arg_9: 4*Arg_9 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_0: 4*Arg_9 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_3: 100*Arg_7+32*Arg_8+388*Arg_9+1574 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_4: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_5: 0 {O(1)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_6: 8*Arg_9 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_7: 4*Arg_7 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_8: 4*Arg_8 {O(n)}
16: eval_inflate_stored_bb8_in->eval_inflate_stored_bb9_in, Arg_9: 4*Arg_9 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_0: 8*Arg_9 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_1: 20*Arg_7+20*Arg_9+318 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_2: 20*Arg_7+20*Arg_9+302 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_3: 100*Arg_7+32*Arg_8+388*Arg_9+1574 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_4: 32*Arg_8+378*Arg_9+4*Arg_4+90*Arg_7+1423 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_5: 0 {O(1)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_6: 16*Arg_9+4*Arg_6 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_7: 8*Arg_7 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_8: 8*Arg_8 {O(n)}
17: eval_inflate_stored_bb8_in->eval_inflate_stored_bb12_in, Arg_9: 8*Arg_9 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_0: 4*Arg_9 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_3: 100*Arg_7+32*Arg_8+388*Arg_9+1574 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_4: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_5: 0 {O(1)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_6: 8*Arg_9 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_7: 4*Arg_7 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_8: 4*Arg_8 {O(n)}
18: eval_inflate_stored_bb9_in->eval_inflate_stored_bb10_in, Arg_9: 4*Arg_9 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_0: 4*Arg_9 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_1: 10*Arg_7+10*Arg_9+159 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_2: 10*Arg_7+10*Arg_9+151 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_3: 200*Arg_7+64*Arg_8+776*Arg_9+3148 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_4: 32*Arg_8+378*Arg_9+90*Arg_7+1423 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_5: 0 {O(1)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_6: 16*Arg_9 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_7: 4*Arg_7 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_8: 4*Arg_8 {O(n)}
19: eval_inflate_stored_bb9_in->eval_inflate_stored_bb11_in, Arg_9: 4*Arg_9 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_0: Arg_0 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_1: Arg_1 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_2: Arg_2 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_3: Arg_3 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_4: Arg_4 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_5: Arg_5 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_6: Arg_6 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_7: Arg_7 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_8: Arg_8 {O(n)}
0: eval_inflate_stored_start->eval_inflate_stored_bb0_in, Arg_9: Arg_9 {O(n)}