Initial Problem
Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8
Temp_Vars: J, K
Locations: f0, f17, f27, f37, f45, f55, f65, f75, f83, f93
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f17(0,J,K,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8)
1:f17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f17(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_3<=49
16:f17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f27(Arg_0,Arg_1,Arg_2,Arg_3,0,Arg_5,Arg_6,Arg_7,Arg_8):|:50<=Arg_3
2:f27(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f27(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_4<=49
15:f27(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f37(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,0,Arg_6,Arg_7,Arg_8):|:50<=Arg_4
3:f37(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f37(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6,Arg_7,Arg_8):|:Arg_5<=49
14:f37(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f45(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:50<=Arg_5
4:f45(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f45(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_0<=49
13:f45(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8):|:50<=Arg_0
5:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8):|:Arg_6<=49
12:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f65(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8):|:50<=Arg_6
6:f65(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f65(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8):|:Arg_7<=49
11:f65(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f75(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,0):|:50<=Arg_7
7:f75(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f75(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8+1):|:Arg_8<=49
10:f75(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f83(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:50<=Arg_8
8:f83(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f83(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_0<=49
9:f83(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f93(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:50<=Arg_0
Preprocessing
Eliminate variables {J,K,Arg_1,Arg_2} that do not contribute to the problem
Found invariant Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 0<=Arg_7 && 50<=Arg_6+Arg_7 && Arg_6<=50+Arg_7 && 50<=Arg_5+Arg_7 && Arg_5<=50+Arg_7 && 50<=Arg_4+Arg_7 && Arg_4<=50+Arg_7 && 50<=Arg_3+Arg_7 && Arg_3<=50+Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=50+Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 for location f65
Found invariant Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 for location f45
Found invariant Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 0<=Arg_6 && 50<=Arg_5+Arg_6 && Arg_5<=50+Arg_6 && 50<=Arg_4+Arg_6 && Arg_4<=50+Arg_6 && 50<=Arg_3+Arg_6 && Arg_3<=50+Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=50+Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 for location f55
Found invariant Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=50 && 0<=Arg_5 && 50<=Arg_4+Arg_5 && Arg_4<=50+Arg_5 && 50<=Arg_3+Arg_5 && Arg_3<=50+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && 50+Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location f37
Found invariant Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=50+Arg_0 && Arg_0+Arg_8<=100 && 50<=Arg_8 && 100<=Arg_7+Arg_8 && Arg_7<=Arg_8 && 100<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 100<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 100<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 100<=Arg_3+Arg_8 && Arg_3<=Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=50+Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=50+Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 for location f83
Found invariant Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=Arg_0 && Arg_0+Arg_8<=100 && 0<=Arg_8 && 50<=Arg_7+Arg_8 && Arg_7<=50+Arg_8 && 50<=Arg_6+Arg_8 && Arg_6<=50+Arg_8 && 50<=Arg_5+Arg_8 && Arg_5<=50+Arg_8 && 50<=Arg_4+Arg_8 && Arg_4<=50+Arg_8 && 50<=Arg_3+Arg_8 && Arg_3<=50+Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=50+Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 100<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 for location f75
Found invariant Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=Arg_0 && Arg_0+Arg_8<=100 && 50<=Arg_8 && 100<=Arg_7+Arg_8 && Arg_7<=Arg_8 && 100<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 100<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 100<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 100<=Arg_3+Arg_8 && Arg_3<=Arg_8 && 100<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 100<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 for location f93
Found invariant Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location f17
Found invariant Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 0<=Arg_4 && 50<=Arg_3+Arg_4 && Arg_3<=50+Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 for location f27
Problem after Preprocessing
Start: f0
Program_Vars: Arg_0, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8
Temp_Vars:
Locations: f0, f17, f27, f37, f45, f55, f65, f75, f83, f93
Transitions:
42:f0(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f17(0,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8)
43:f17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f17(Arg_0,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=49
44:f17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f27(Arg_0,Arg_3,0,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 50<=Arg_3
45:f27(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f27(Arg_0,Arg_3,Arg_4+1,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 0<=Arg_4 && 50<=Arg_3+Arg_4 && Arg_3<=50+Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=49
46:f27(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f37(Arg_0,Arg_3,Arg_4,0,Arg_6,Arg_7,Arg_8):|:Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 0<=Arg_4 && 50<=Arg_3+Arg_4 && Arg_3<=50+Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 50<=Arg_4
47:f37(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f37(Arg_0,Arg_3,Arg_4,Arg_5+1,Arg_6,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=50 && 0<=Arg_5 && 50<=Arg_4+Arg_5 && Arg_4<=50+Arg_5 && 50<=Arg_3+Arg_5 && Arg_3<=50+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && 50+Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_5<=49
48:f37(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f45(0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=50 && 0<=Arg_5 && 50<=Arg_4+Arg_5 && Arg_4<=50+Arg_5 && 50<=Arg_3+Arg_5 && Arg_3<=50+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && 50+Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && 50<=Arg_5
49:f45(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f45(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && Arg_0<=49
50:f45(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f55(Arg_0,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && 50<=Arg_0
51:f55(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f55(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8):|:Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 0<=Arg_6 && 50<=Arg_5+Arg_6 && Arg_5<=50+Arg_6 && 50<=Arg_4+Arg_6 && Arg_4<=50+Arg_6 && 50<=Arg_3+Arg_6 && Arg_3<=50+Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=50+Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_6<=49
52:f55(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8):|:Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 0<=Arg_6 && 50<=Arg_5+Arg_6 && Arg_5<=50+Arg_6 && 50<=Arg_4+Arg_6 && Arg_4<=50+Arg_6 && 50<=Arg_3+Arg_6 && Arg_3<=50+Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=50+Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && 50<=Arg_6
53:f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8):|:Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 0<=Arg_7 && 50<=Arg_6+Arg_7 && Arg_6<=50+Arg_7 && 50<=Arg_5+Arg_7 && Arg_5<=50+Arg_7 && 50<=Arg_4+Arg_7 && Arg_4<=50+Arg_7 && 50<=Arg_3+Arg_7 && Arg_3<=50+Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=50+Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_7<=49
54:f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,0):|:Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 0<=Arg_7 && 50<=Arg_6+Arg_7 && Arg_6<=50+Arg_7 && 50<=Arg_5+Arg_7 && Arg_5<=50+Arg_7 && 50<=Arg_4+Arg_7 && Arg_4<=50+Arg_7 && 50<=Arg_3+Arg_7 && Arg_3<=50+Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=50+Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && 50<=Arg_7
55:f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8+1):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=Arg_0 && Arg_0+Arg_8<=100 && 0<=Arg_8 && 50<=Arg_7+Arg_8 && Arg_7<=50+Arg_8 && 50<=Arg_6+Arg_8 && Arg_6<=50+Arg_8 && 50<=Arg_5+Arg_8 && Arg_5<=50+Arg_8 && 50<=Arg_4+Arg_8 && Arg_4<=50+Arg_8 && 50<=Arg_3+Arg_8 && Arg_3<=50+Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=50+Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 100<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_8<=49
56:f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f83(0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=Arg_0 && Arg_0+Arg_8<=100 && 0<=Arg_8 && 50<=Arg_7+Arg_8 && Arg_7<=50+Arg_8 && 50<=Arg_6+Arg_8 && Arg_6<=50+Arg_8 && 50<=Arg_5+Arg_8 && Arg_5<=50+Arg_8 && 50<=Arg_4+Arg_8 && Arg_4<=50+Arg_8 && 50<=Arg_3+Arg_8 && Arg_3<=50+Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=50+Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 100<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && 50<=Arg_8
57:f83(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f83(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=50+Arg_0 && Arg_0+Arg_8<=100 && 50<=Arg_8 && 100<=Arg_7+Arg_8 && Arg_7<=Arg_8 && 100<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 100<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 100<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 100<=Arg_3+Arg_8 && Arg_3<=Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=50+Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=50+Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && Arg_0<=49
58:f83(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f93(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=50+Arg_0 && Arg_0+Arg_8<=100 && 50<=Arg_8 && 100<=Arg_7+Arg_8 && Arg_7<=Arg_8 && 100<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 100<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 100<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 100<=Arg_3+Arg_8 && Arg_3<=Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=50+Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=50+Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && 50<=Arg_0
MPRF for transition 43:f17(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f17(Arg_0,Arg_3+1,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 0<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f17 [51-Arg_3 ]
MPRF for transition 45:f27(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f27(Arg_0,Arg_3,Arg_4+1,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 0<=Arg_4 && 50<=Arg_3+Arg_4 && Arg_3<=50+Arg_4 && 0<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_4<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f27 [Arg_3+1-Arg_4 ]
MPRF for transition 47:f37(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f37(Arg_0,Arg_3,Arg_4,Arg_5+1,Arg_6,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=50 && 0<=Arg_5 && 50<=Arg_4+Arg_5 && Arg_4<=50+Arg_5 && 50<=Arg_3+Arg_5 && Arg_3<=50+Arg_5 && 0<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=50 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && 50+Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=50 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && 50+Arg_0<=Arg_3 && Arg_0<=0 && 0<=Arg_0 && Arg_5<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f37 [Arg_3+1-Arg_5 ]
MPRF for transition 49:f45(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f45(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && Arg_0<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f45 [Arg_3+1-Arg_0 ]
MPRF for transition 51:f55(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f55(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8):|:Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 0<=Arg_6 && 50<=Arg_5+Arg_6 && Arg_5<=50+Arg_6 && 50<=Arg_4+Arg_6 && Arg_4<=50+Arg_6 && 50<=Arg_3+Arg_6 && Arg_3<=50+Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=50+Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_6<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f55 [Arg_0+1-Arg_6 ]
MPRF for transition 53:f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f65(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7+1,Arg_8):|:Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 0<=Arg_7 && 50<=Arg_6+Arg_7 && Arg_6<=50+Arg_7 && 50<=Arg_5+Arg_7 && Arg_5<=50+Arg_7 && 50<=Arg_4+Arg_7 && Arg_4<=50+Arg_7 && 50<=Arg_3+Arg_7 && Arg_3<=50+Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=50+Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_7<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f65 [Arg_6+1-Arg_7 ]
MPRF for transition 55:f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f75(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8+1):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=Arg_0 && Arg_0+Arg_8<=100 && 0<=Arg_8 && 50<=Arg_7+Arg_8 && Arg_7<=50+Arg_8 && 50<=Arg_6+Arg_8 && Arg_6<=50+Arg_8 && 50<=Arg_5+Arg_8 && Arg_5<=50+Arg_8 && 50<=Arg_4+Arg_8 && Arg_4<=50+Arg_8 && 50<=Arg_3+Arg_8 && Arg_3<=50+Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=50+Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 100<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 100<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 100<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 100<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 100<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 50<=Arg_0 && Arg_8<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f75 [Arg_5+1-Arg_8 ]
MPRF for transition 57:f83(Arg_0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8) -> f83(Arg_0+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8):|:Arg_8<=50 && Arg_8<=Arg_7 && Arg_7+Arg_8<=100 && Arg_8<=Arg_6 && Arg_6+Arg_8<=100 && Arg_8<=Arg_5 && Arg_5+Arg_8<=100 && Arg_8<=Arg_4 && Arg_4+Arg_8<=100 && Arg_8<=Arg_3 && Arg_3+Arg_8<=100 && Arg_8<=50+Arg_0 && Arg_0+Arg_8<=100 && 50<=Arg_8 && 100<=Arg_7+Arg_8 && Arg_7<=Arg_8 && 100<=Arg_6+Arg_8 && Arg_6<=Arg_8 && 100<=Arg_5+Arg_8 && Arg_5<=Arg_8 && 100<=Arg_4+Arg_8 && Arg_4<=Arg_8 && 100<=Arg_3+Arg_8 && Arg_3<=Arg_8 && 50<=Arg_0+Arg_8 && Arg_0<=Arg_8 && Arg_7<=50 && Arg_7<=Arg_6 && Arg_6+Arg_7<=100 && Arg_7<=Arg_5 && Arg_5+Arg_7<=100 && Arg_7<=Arg_4 && Arg_4+Arg_7<=100 && Arg_7<=Arg_3 && Arg_3+Arg_7<=100 && Arg_7<=50+Arg_0 && Arg_0+Arg_7<=100 && 50<=Arg_7 && 100<=Arg_6+Arg_7 && Arg_6<=Arg_7 && 100<=Arg_5+Arg_7 && Arg_5<=Arg_7 && 100<=Arg_4+Arg_7 && Arg_4<=Arg_7 && 100<=Arg_3+Arg_7 && Arg_3<=Arg_7 && 50<=Arg_0+Arg_7 && Arg_0<=Arg_7 && Arg_6<=50 && Arg_6<=Arg_5 && Arg_5+Arg_6<=100 && Arg_6<=Arg_4 && Arg_4+Arg_6<=100 && Arg_6<=Arg_3 && Arg_3+Arg_6<=100 && Arg_6<=50+Arg_0 && Arg_0+Arg_6<=100 && 50<=Arg_6 && 100<=Arg_5+Arg_6 && Arg_5<=Arg_6 && 100<=Arg_4+Arg_6 && Arg_4<=Arg_6 && 100<=Arg_3+Arg_6 && Arg_3<=Arg_6 && 50<=Arg_0+Arg_6 && Arg_0<=Arg_6 && Arg_5<=50 && Arg_5<=Arg_4 && Arg_4+Arg_5<=100 && Arg_5<=Arg_3 && Arg_3+Arg_5<=100 && Arg_5<=50+Arg_0 && Arg_0+Arg_5<=100 && 50<=Arg_5 && 100<=Arg_4+Arg_5 && Arg_4<=Arg_5 && 100<=Arg_3+Arg_5 && Arg_3<=Arg_5 && 50<=Arg_0+Arg_5 && Arg_0<=Arg_5 && Arg_4<=50 && Arg_4<=Arg_3 && Arg_3+Arg_4<=100 && Arg_4<=50+Arg_0 && Arg_0+Arg_4<=100 && 50<=Arg_4 && 100<=Arg_3+Arg_4 && Arg_3<=Arg_4 && 50<=Arg_0+Arg_4 && Arg_0<=Arg_4 && Arg_3<=50 && Arg_3<=50+Arg_0 && Arg_0+Arg_3<=100 && 50<=Arg_3 && 50<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_0<=50 && 0<=Arg_0 && Arg_0<=49 of depth 1:
new bound:
51 {O(1)}
MPRF:
f83 [Arg_6+1-Arg_0 ]
All Bounds
Timebounds
Overall timebound:417 {O(1)}
42: f0->f17: 1 {O(1)}
43: f17->f17: 51 {O(1)}
44: f17->f27: 1 {O(1)}
45: f27->f27: 51 {O(1)}
46: f27->f37: 1 {O(1)}
47: f37->f37: 51 {O(1)}
48: f37->f45: 1 {O(1)}
49: f45->f45: 51 {O(1)}
50: f45->f55: 1 {O(1)}
51: f55->f55: 51 {O(1)}
52: f55->f65: 1 {O(1)}
53: f65->f65: 51 {O(1)}
54: f65->f75: 1 {O(1)}
55: f75->f75: 51 {O(1)}
56: f75->f83: 1 {O(1)}
57: f83->f83: 51 {O(1)}
58: f83->f93: 1 {O(1)}
Costbounds
Overall costbound: 417 {O(1)}
42: f0->f17: 1 {O(1)}
43: f17->f17: 51 {O(1)}
44: f17->f27: 1 {O(1)}
45: f27->f27: 51 {O(1)}
46: f27->f37: 1 {O(1)}
47: f37->f37: 51 {O(1)}
48: f37->f45: 1 {O(1)}
49: f45->f45: 51 {O(1)}
50: f45->f55: 1 {O(1)}
51: f55->f55: 51 {O(1)}
52: f55->f65: 1 {O(1)}
53: f65->f65: 51 {O(1)}
54: f65->f75: 1 {O(1)}
55: f75->f75: 51 {O(1)}
56: f75->f83: 1 {O(1)}
57: f83->f83: 51 {O(1)}
58: f83->f93: 1 {O(1)}
Sizebounds
42: f0->f17, Arg_0: 0 {O(1)}
42: f0->f17, Arg_3: 0 {O(1)}
42: f0->f17, Arg_4: Arg_4 {O(n)}
42: f0->f17, Arg_5: Arg_5 {O(n)}
42: f0->f17, Arg_6: Arg_6 {O(n)}
42: f0->f17, Arg_7: Arg_7 {O(n)}
42: f0->f17, Arg_8: Arg_8 {O(n)}
43: f17->f17, Arg_0: 0 {O(1)}
43: f17->f17, Arg_3: 50 {O(1)}
43: f17->f17, Arg_4: Arg_4 {O(n)}
43: f17->f17, Arg_5: Arg_5 {O(n)}
43: f17->f17, Arg_6: Arg_6 {O(n)}
43: f17->f17, Arg_7: Arg_7 {O(n)}
43: f17->f17, Arg_8: Arg_8 {O(n)}
44: f17->f27, Arg_0: 0 {O(1)}
44: f17->f27, Arg_3: 50 {O(1)}
44: f17->f27, Arg_4: 0 {O(1)}
44: f17->f27, Arg_5: Arg_5 {O(n)}
44: f17->f27, Arg_6: Arg_6 {O(n)}
44: f17->f27, Arg_7: Arg_7 {O(n)}
44: f17->f27, Arg_8: Arg_8 {O(n)}
45: f27->f27, Arg_0: 0 {O(1)}
45: f27->f27, Arg_3: 50 {O(1)}
45: f27->f27, Arg_4: 50 {O(1)}
45: f27->f27, Arg_5: Arg_5 {O(n)}
45: f27->f27, Arg_6: Arg_6 {O(n)}
45: f27->f27, Arg_7: Arg_7 {O(n)}
45: f27->f27, Arg_8: Arg_8 {O(n)}
46: f27->f37, Arg_0: 0 {O(1)}
46: f27->f37, Arg_3: 50 {O(1)}
46: f27->f37, Arg_4: 50 {O(1)}
46: f27->f37, Arg_5: 0 {O(1)}
46: f27->f37, Arg_6: Arg_6 {O(n)}
46: f27->f37, Arg_7: Arg_7 {O(n)}
46: f27->f37, Arg_8: Arg_8 {O(n)}
47: f37->f37, Arg_0: 0 {O(1)}
47: f37->f37, Arg_3: 50 {O(1)}
47: f37->f37, Arg_4: 50 {O(1)}
47: f37->f37, Arg_5: 50 {O(1)}
47: f37->f37, Arg_6: Arg_6 {O(n)}
47: f37->f37, Arg_7: Arg_7 {O(n)}
47: f37->f37, Arg_8: Arg_8 {O(n)}
48: f37->f45, Arg_0: 0 {O(1)}
48: f37->f45, Arg_3: 50 {O(1)}
48: f37->f45, Arg_4: 50 {O(1)}
48: f37->f45, Arg_5: 50 {O(1)}
48: f37->f45, Arg_6: Arg_6 {O(n)}
48: f37->f45, Arg_7: Arg_7 {O(n)}
48: f37->f45, Arg_8: Arg_8 {O(n)}
49: f45->f45, Arg_0: 50 {O(1)}
49: f45->f45, Arg_3: 50 {O(1)}
49: f45->f45, Arg_4: 50 {O(1)}
49: f45->f45, Arg_5: 50 {O(1)}
49: f45->f45, Arg_6: Arg_6 {O(n)}
49: f45->f45, Arg_7: Arg_7 {O(n)}
49: f45->f45, Arg_8: Arg_8 {O(n)}
50: f45->f55, Arg_0: 50 {O(1)}
50: f45->f55, Arg_3: 50 {O(1)}
50: f45->f55, Arg_4: 50 {O(1)}
50: f45->f55, Arg_5: 50 {O(1)}
50: f45->f55, Arg_6: 0 {O(1)}
50: f45->f55, Arg_7: Arg_7 {O(n)}
50: f45->f55, Arg_8: Arg_8 {O(n)}
51: f55->f55, Arg_0: 50 {O(1)}
51: f55->f55, Arg_3: 50 {O(1)}
51: f55->f55, Arg_4: 50 {O(1)}
51: f55->f55, Arg_5: 50 {O(1)}
51: f55->f55, Arg_6: 50 {O(1)}
51: f55->f55, Arg_7: Arg_7 {O(n)}
51: f55->f55, Arg_8: Arg_8 {O(n)}
52: f55->f65, Arg_0: 50 {O(1)}
52: f55->f65, Arg_3: 50 {O(1)}
52: f55->f65, Arg_4: 50 {O(1)}
52: f55->f65, Arg_5: 50 {O(1)}
52: f55->f65, Arg_6: 50 {O(1)}
52: f55->f65, Arg_7: 0 {O(1)}
52: f55->f65, Arg_8: Arg_8 {O(n)}
53: f65->f65, Arg_0: 50 {O(1)}
53: f65->f65, Arg_3: 50 {O(1)}
53: f65->f65, Arg_4: 50 {O(1)}
53: f65->f65, Arg_5: 50 {O(1)}
53: f65->f65, Arg_6: 50 {O(1)}
53: f65->f65, Arg_7: 50 {O(1)}
53: f65->f65, Arg_8: Arg_8 {O(n)}
54: f65->f75, Arg_0: 50 {O(1)}
54: f65->f75, Arg_3: 50 {O(1)}
54: f65->f75, Arg_4: 50 {O(1)}
54: f65->f75, Arg_5: 50 {O(1)}
54: f65->f75, Arg_6: 50 {O(1)}
54: f65->f75, Arg_7: 50 {O(1)}
54: f65->f75, Arg_8: 0 {O(1)}
55: f75->f75, Arg_0: 50 {O(1)}
55: f75->f75, Arg_3: 50 {O(1)}
55: f75->f75, Arg_4: 50 {O(1)}
55: f75->f75, Arg_5: 50 {O(1)}
55: f75->f75, Arg_6: 50 {O(1)}
55: f75->f75, Arg_7: 50 {O(1)}
55: f75->f75, Arg_8: 50 {O(1)}
56: f75->f83, Arg_0: 0 {O(1)}
56: f75->f83, Arg_3: 50 {O(1)}
56: f75->f83, Arg_4: 50 {O(1)}
56: f75->f83, Arg_5: 50 {O(1)}
56: f75->f83, Arg_6: 50 {O(1)}
56: f75->f83, Arg_7: 50 {O(1)}
56: f75->f83, Arg_8: 50 {O(1)}
57: f83->f83, Arg_0: 50 {O(1)}
57: f83->f83, Arg_3: 50 {O(1)}
57: f83->f83, Arg_4: 50 {O(1)}
57: f83->f83, Arg_5: 50 {O(1)}
57: f83->f83, Arg_6: 50 {O(1)}
57: f83->f83, Arg_7: 50 {O(1)}
57: f83->f83, Arg_8: 50 {O(1)}
58: f83->f93, Arg_0: 50 {O(1)}
58: f83->f93, Arg_3: 50 {O(1)}
58: f83->f93, Arg_4: 50 {O(1)}
58: f83->f93, Arg_5: 50 {O(1)}
58: f83->f93, Arg_6: 50 {O(1)}
58: f83->f93, Arg_7: 50 {O(1)}
58: f83->f93, Arg_8: 50 {O(1)}