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)

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)

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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)}