Initial Problem

Start: n_evalperfectstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: n_evalperfectbb1in___37, n_evalperfectbb3in___31, n_evalperfectbb3in___33, n_evalperfectbb4in___16, n_evalperfectbb4in___18, n_evalperfectbb4in___20, n_evalperfectbb4in___26, n_evalperfectbb4in___32, n_evalperfectbb4in___34, n_evalperfectbb5in___14, n_evalperfectbb5in___17, n_evalperfectbb5in___19, n_evalperfectbb5in___24, n_evalperfectbb5in___30, n_evalperfectbb8in___21, n_evalperfectbb8in___22, n_evalperfectbb8in___23, n_evalperfectbb8in___27, n_evalperfectbb8in___28, n_evalperfectbb8in___29, n_evalperfectbb8in___35, n_evalperfectbb9in___15, n_evalperfectbb9in___25, n_evalperfectentryin___38, n_evalperfectreturnin___11, n_evalperfectreturnin___12, n_evalperfectreturnin___13, n_evalperfectreturnin___36, n_evalperfectreturnin___5, n_evalperfectreturnin___6, n_evalperfectreturnin___7, n_evalperfectstart, n_evalperfectstop___1, n_evalperfectstop___10, n_evalperfectstop___2, n_evalperfectstop___3, n_evalperfectstop___4, n_evalperfectstop___8, n_evalperfectstop___9
Transitions:
0:n_evalperfectbb1in___37(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___35(Arg_0,Arg_0,Arg_0-1,Arg_3):|:2<=Arg_0
1:n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:Arg_2<=Arg_3 && 1<=Arg_2
2:n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:Arg_2<=Arg_0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0
3:n_evalperfectbb4in___16(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___14(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=Arg_2 && 1<=Arg_2 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_2
4:n_evalperfectbb4in___18(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3
5:n_evalperfectbb4in___18(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___17(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_3 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2
6:n_evalperfectbb4in___20(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___19(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2 && 1+Arg_3<=Arg_2
7:n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3
8:n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___24(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2
9:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && Arg_2<=Arg_3
10:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3):|:1<=Arg_2 && 1+Arg_3<=Arg_2
11:n_evalperfectbb4in___34(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=Arg_3 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3 && Arg_2<=Arg_3
12:n_evalperfectbb5in___14(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___21(Arg_0,Arg_1-Arg_2,Arg_2-1,0):|:1<=Arg_2 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_3<=0 && 0<=Arg_3
13:n_evalperfectbb5in___17(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___22(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_0<=Arg_2 && 1<=Arg_0 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_3
14:n_evalperfectbb5in___19(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___23(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_0<=0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1+Arg_3<=0
15:n_evalperfectbb5in___24(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___21(Arg_0,Arg_1-Arg_2,Arg_2-1,0):|:1+Arg_0<=Arg_2 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && Arg_3<=0 && 0<=Arg_3
16:n_evalperfectbb5in___24(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___22(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_0<=Arg_2 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_3
17:n_evalperfectbb5in___24(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___23(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_0<=Arg_2 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1+Arg_3<=0
18:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___27(Arg_0,Arg_1-Arg_2,Arg_2-1,0):|:1+Arg_3<=Arg_2 && 1<=Arg_2 && Arg_3<=0 && 0<=Arg_3
19:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 1<=Arg_2 && 1<=Arg_3
20:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 1<=Arg_2 && 1+Arg_3<=0
21:n_evalperfectbb8in___21(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___16(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1<=Arg_2
22:n_evalperfectbb8in___21(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb9in___15(Arg_1,Arg_1,Arg_2,Arg_3):|:Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_2<=0
23:n_evalperfectbb8in___22(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___18(Arg_0,Arg_1,Arg_2,Arg_0):|:1<=Arg_2 && 1<=Arg_0 && 1<=Arg_3 && 1<=Arg_2 && 1<=Arg_2
24:n_evalperfectbb8in___23(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___20(Arg_0,Arg_1,Arg_2,Arg_0):|:1+Arg_0<=0 && 1+Arg_0<=Arg_2 && 1+Arg_3<=0 && 1<=Arg_2
25:n_evalperfectbb8in___23(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb9in___25(Arg_1,Arg_1,Arg_2,Arg_3):|:1+Arg_0<=0 && 1+Arg_0<=Arg_2 && 1+Arg_3<=0 && Arg_2<=0
26:n_evalperfectbb8in___27(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_3<=0 && 0<=Arg_3 && 1<=Arg_2
27:n_evalperfectbb8in___27(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb9in___15(Arg_1,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && 0<=Arg_3 && Arg_2<=0
28:n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:1<=Arg_2 && 1<=Arg_3 && 1<=Arg_2 && 1<=Arg_2
29:n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:1+Arg_3<=0 && 1<=Arg_2
30:n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb9in___25(Arg_1,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=0 && Arg_2<=0
31:n_evalperfectbb8in___35(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___34(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_0<=1+Arg_2 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_2
32:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___11(0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0
33:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___12(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1<=Arg_0
34:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___13(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1+Arg_0<=0
35:n_evalperfectbb9in___25(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___5(0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1+Arg_3<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_0<=0 && 0<=Arg_0
36:n_evalperfectbb9in___25(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___6(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1+Arg_3<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && 1<=Arg_0
37:n_evalperfectbb9in___25(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___7(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1+Arg_3<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && 1+Arg_0<=0
38:n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb1in___37(Arg_0,Arg_1,Arg_2,Arg_3):|:2<=Arg_0
39:n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___36(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1
40:n_evalperfectreturnin___11(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___8(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3
41:n_evalperfectreturnin___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___9(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=Arg_1 && Arg_1<=Arg_0
42:n_evalperfectreturnin___13(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___10(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_0<=0 && Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3
43:n_evalperfectreturnin___36(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___1(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1
44:n_evalperfectreturnin___5(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___2(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1+Arg_3<=0 && Arg_0<=0 && 0<=Arg_0 && Arg_1<=0 && 0<=Arg_1
45:n_evalperfectreturnin___6(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___3(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_2<=0 && 1+Arg_3<=0 && 1<=Arg_1 && Arg_0<=Arg_1 && Arg_1<=Arg_0
46:n_evalperfectreturnin___7(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___4(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_0<=0 && Arg_2<=0 && 1+Arg_3<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0
47:n_evalperfectstart(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3)

Preprocessing

Found invariant 1+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 for location n_evalperfectbb3in___31

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 1<=Arg_0 for location n_evalperfectreturnin___12

Found invariant 1<=0 for location n_evalperfectstop___2

Found invariant 1<=0 for location n_evalperfectstop___3

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=Arg_0 && Arg_0<=Arg_1 for location n_evalperfectbb9in___15

Found invariant 1+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 for location n_evalperfectbb4in___32

Found invariant 1<=0 for location n_evalperfectreturnin___5

Found invariant Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 for location n_evalperfectbb8in___28

Found invariant 1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 for location n_evalperfectbb5in___30

Found invariant 1<=0 for location n_evalperfectreturnin___7

Found invariant Arg_0<=1 for location n_evalperfectreturnin___36

Found invariant Arg_0<=1 for location n_evalperfectstop___1

Found invariant 2<=Arg_0 for location n_evalperfectbb1in___37

Found invariant 1<=0 for location n_evalperfectbb5in___19

Found invariant 1<=0 for location n_evalperfectbb9in___25

Found invariant 1<=0 for location n_evalperfectbb4in___18

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalperfectreturnin___11

Found invariant Arg_3<=1+Arg_2 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 2<=Arg_3 && 3<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 3<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_evalperfectbb4in___34

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 for location n_evalperfectstop___8

Found invariant 1<=0 for location n_evalperfectbb8in___21

Found invariant 1<=0 for location n_evalperfectbb8in___22

Found invariant 1+Arg_3<=0 && 2+Arg_3<=Arg_2 && 4+Arg_3<=Arg_0 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 for location n_evalperfectbb8in___29

Found invariant 1<=0 for location n_evalperfectbb5in___14

Found invariant 1<=0 for location n_evalperfectbb5in___17

Found invariant 1<=0 for location n_evalperfectbb5in___24

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_1+Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_1<=0 && Arg_1<=Arg_0 && 2+Arg_0+Arg_1<=0 && Arg_0<=Arg_1 && 1+Arg_0<=0 for location n_evalperfectstop___10

Found invariant 1<=0 for location n_evalperfectstop___4

Found invariant Arg_3<=Arg_0 && 2<=Arg_3 && 3<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 for location n_evalperfectbb3in___33

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 0<=Arg_2 && 2<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 2<=Arg_0 for location n_evalperfectbb8in___27

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_1+Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_1<=0 && Arg_1<=Arg_0 && 2+Arg_0+Arg_1<=0 && Arg_0<=Arg_1 && 1+Arg_0<=0 for location n_evalperfectreturnin___13

Found invariant 1<=0 for location n_evalperfectbb4in___16

Found invariant 1<=0 for location n_evalperfectbb8in___23

Found invariant Arg_3<=Arg_0 && 3<=Arg_3 && 4<=Arg_2+Arg_3 && 2+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 6<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 for location n_evalperfectbb4in___26

Found invariant 1<=0 for location n_evalperfectbb4in___20

Found invariant 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 3<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 for location n_evalperfectbb8in___35

Found invariant 1<=0 for location n_evalperfectreturnin___6

Found invariant Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 1<=Arg_0 for location n_evalperfectstop___9

Cut unsatisfiable transition 3: n_evalperfectbb4in___16->n_evalperfectbb5in___14

Cut unsatisfiable transition 4: n_evalperfectbb4in___18->n_evalperfectbb3in___33

Cut unsatisfiable transition 5: n_evalperfectbb4in___18->n_evalperfectbb5in___17

Cut unsatisfiable transition 6: n_evalperfectbb4in___20->n_evalperfectbb5in___19

Cut unsatisfiable transition 8: n_evalperfectbb4in___26->n_evalperfectbb5in___24

Cut unsatisfiable transition 12: n_evalperfectbb5in___14->n_evalperfectbb8in___21

Cut unsatisfiable transition 13: n_evalperfectbb5in___17->n_evalperfectbb8in___22

Cut unsatisfiable transition 14: n_evalperfectbb5in___19->n_evalperfectbb8in___23

Cut unsatisfiable transition 15: n_evalperfectbb5in___24->n_evalperfectbb8in___21

Cut unsatisfiable transition 16: n_evalperfectbb5in___24->n_evalperfectbb8in___22

Cut unsatisfiable transition 17: n_evalperfectbb5in___24->n_evalperfectbb8in___23

Cut unsatisfiable transition 21: n_evalperfectbb8in___21->n_evalperfectbb4in___16

Cut unsatisfiable transition 22: n_evalperfectbb8in___21->n_evalperfectbb9in___15

Cut unsatisfiable transition 23: n_evalperfectbb8in___22->n_evalperfectbb4in___18

Cut unsatisfiable transition 24: n_evalperfectbb8in___23->n_evalperfectbb4in___20

Cut unsatisfiable transition 25: n_evalperfectbb8in___23->n_evalperfectbb9in___25

Cut unsatisfiable transition 30: n_evalperfectbb8in___29->n_evalperfectbb9in___25

Cut unsatisfiable transition 35: n_evalperfectbb9in___25->n_evalperfectreturnin___5

Cut unsatisfiable transition 36: n_evalperfectbb9in___25->n_evalperfectreturnin___6

Cut unsatisfiable transition 37: n_evalperfectbb9in___25->n_evalperfectreturnin___7

Cut unsatisfiable transition 44: n_evalperfectreturnin___5->n_evalperfectstop___2

Cut unsatisfiable transition 45: n_evalperfectreturnin___6->n_evalperfectstop___3

Cut unsatisfiable transition 46: n_evalperfectreturnin___7->n_evalperfectstop___4

Cut unreachable locations [n_evalperfectbb4in___16; n_evalperfectbb4in___18; n_evalperfectbb4in___20; n_evalperfectbb5in___14; n_evalperfectbb5in___17; n_evalperfectbb5in___19; n_evalperfectbb5in___24; n_evalperfectbb8in___21; n_evalperfectbb8in___22; n_evalperfectbb8in___23; n_evalperfectbb9in___25; n_evalperfectreturnin___5; n_evalperfectreturnin___6; n_evalperfectreturnin___7; n_evalperfectstop___2; n_evalperfectstop___3; n_evalperfectstop___4] from the program graph

Problem after Preprocessing

Start: n_evalperfectstart
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3
Temp_Vars:
Locations: n_evalperfectbb1in___37, n_evalperfectbb3in___31, n_evalperfectbb3in___33, n_evalperfectbb4in___26, n_evalperfectbb4in___32, n_evalperfectbb4in___34, n_evalperfectbb5in___30, n_evalperfectbb8in___27, n_evalperfectbb8in___28, n_evalperfectbb8in___29, n_evalperfectbb8in___35, n_evalperfectbb9in___15, n_evalperfectentryin___38, n_evalperfectreturnin___11, n_evalperfectreturnin___12, n_evalperfectreturnin___13, n_evalperfectreturnin___36, n_evalperfectstart, n_evalperfectstop___1, n_evalperfectstop___10, n_evalperfectstop___8, n_evalperfectstop___9
Transitions:
0:n_evalperfectbb1in___37(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___35(Arg_0,Arg_0,Arg_0-1,Arg_3):|:2<=Arg_0 && 2<=Arg_0
1:n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && Arg_2<=Arg_3 && 1<=Arg_2
2:n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:Arg_3<=Arg_0 && 2<=Arg_3 && 3<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && Arg_2<=Arg_0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0
7:n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && 3<=Arg_3 && 4<=Arg_2+Arg_3 && 2+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 6<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3
9:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3
10:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2
11:n_evalperfectbb4in___34(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=1+Arg_2 && Arg_3<=Arg_1 && Arg_3<=Arg_0 && 2<=Arg_3 && 3<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && 4<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 3<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_2<=Arg_3 && 1<=Arg_3 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3 && Arg_2<=Arg_3
18:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___27(Arg_0,Arg_1-Arg_2,Arg_2-1,0):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && Arg_3<=0 && 0<=Arg_3
19:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && 1<=Arg_3
20:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && 1+Arg_3<=0
26:n_evalperfectbb8in___27(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 0<=Arg_2 && 2<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 2<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1<=Arg_2
27:n_evalperfectbb8in___27(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb9in___15(Arg_1,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 0<=Arg_2 && 2<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 2<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_2<=0
28:n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1<=Arg_2 && 1<=Arg_3 && 1<=Arg_2 && 1<=Arg_2
29:n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:1+Arg_3<=0 && 2+Arg_3<=Arg_2 && 4+Arg_3<=Arg_0 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1+Arg_3<=0 && 1<=Arg_2
31:n_evalperfectbb8in___35(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___34(Arg_0,Arg_1,Arg_2,Arg_0):|:1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_1+Arg_2 && Arg_1<=1+Arg_2 && 3<=Arg_0+Arg_2 && Arg_0<=1+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_1 && 4<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 2<=Arg_0 && Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_0<=1+Arg_2 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 1<=Arg_2
32:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___11(0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=Arg_0 && Arg_0<=Arg_1 && Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=0 && 0<=Arg_0
33:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___12(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=Arg_0 && Arg_0<=Arg_1 && Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1<=Arg_0
34:n_evalperfectbb9in___15(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___13(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && Arg_2<=0 && 0<=Arg_2 && Arg_1<=Arg_0 && Arg_0<=Arg_1 && Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1+Arg_0<=0
38:n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb1in___37(Arg_0,Arg_1,Arg_2,Arg_3):|:2<=Arg_0
39:n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectreturnin___36(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1
40:n_evalperfectreturnin___11(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___8(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && Arg_3<=Arg_1 && Arg_1+Arg_3<=0 && Arg_3<=Arg_0 && Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 0<=Arg_1+Arg_3 && Arg_1<=Arg_3 && 0<=Arg_0+Arg_3 && Arg_0<=Arg_3 && Arg_2<=0 && Arg_2<=Arg_1 && Arg_1+Arg_2<=0 && Arg_2<=Arg_0 && Arg_0+Arg_2<=0 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && Arg_1<=Arg_2 && 0<=Arg_0+Arg_2 && Arg_0<=Arg_2 && Arg_1<=0 && Arg_1<=Arg_0 && Arg_0+Arg_1<=0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && Arg_0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_2<=0 && Arg_1<=0 && 0<=Arg_1 && Arg_0<=0 && 0<=Arg_0 && Arg_3<=0 && 0<=Arg_3
41:n_evalperfectreturnin___12(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___9(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_3<=Arg_1 && 1+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1<=Arg_1+Arg_3 && 1<=Arg_0+Arg_3 && Arg_2<=0 && 1+Arg_2<=Arg_1 && 1+Arg_2<=Arg_0 && 0<=Arg_2 && 1<=Arg_1+Arg_2 && 1<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 1<=Arg_1 && 2<=Arg_0+Arg_1 && Arg_0<=Arg_1 && 1<=Arg_0 && Arg_2<=0 && 1<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && Arg_0<=Arg_1 && Arg_1<=Arg_0
42:n_evalperfectreturnin___13(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___10(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=0 && Arg_3<=Arg_2 && Arg_2+Arg_3<=0 && 1+Arg_1+Arg_3<=0 && 1+Arg_0+Arg_3<=0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 1+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=0 && 1+Arg_1+Arg_2<=0 && 1+Arg_0+Arg_2<=0 && 0<=Arg_2 && 1+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && 1+Arg_1<=0 && Arg_1<=Arg_0 && 2+Arg_0+Arg_1<=0 && Arg_0<=Arg_1 && 1+Arg_0<=0 && 1+Arg_0<=0 && Arg_2<=0 && Arg_0<=Arg_1 && Arg_1<=Arg_0 && Arg_3<=0 && 0<=Arg_3
43:n_evalperfectreturnin___36(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectstop___1(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_0<=1 && Arg_0<=1
47:n_evalperfectstart(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectentryin___38(Arg_0,Arg_1,Arg_2,Arg_3)

MPRF for transition 2:n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:Arg_3<=Arg_0 && 2<=Arg_3 && 3<=Arg_2+Arg_3 && 1+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 4<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && Arg_2<=Arg_0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 of depth 1:

new bound:

Arg_0+1 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2+1 ]
n_evalperfectbb3in___31 [Arg_2 ]
n_evalperfectbb4in___32 [Arg_2 ]
n_evalperfectbb5in___30 [Arg_2 ]
n_evalperfectbb8in___27 [Arg_2+1 ]
n_evalperfectbb8in___28 [Arg_2+1 ]
n_evalperfectbb8in___29 [Arg_2+1 ]
n_evalperfectbb4in___26 [Arg_2+1 ]

MPRF for transition 7:n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___33(Arg_0,Arg_1,Arg_2,Arg_3):|:Arg_3<=Arg_0 && 3<=Arg_3 && 4<=Arg_2+Arg_3 && 2+Arg_2<=Arg_3 && Arg_1<=Arg_3 && 6<=Arg_0+Arg_3 && Arg_0<=Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1<=Arg_2 && Arg_0<=Arg_3 && Arg_3<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3 of depth 1:

new bound:

Arg_0+1 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2-1 ]
n_evalperfectbb3in___31 [Arg_2-1 ]
n_evalperfectbb4in___32 [Arg_2-1 ]
n_evalperfectbb5in___30 [Arg_2-1 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2 ]

MPRF for transition 10:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1<=Arg_2 && 1+Arg_3<=Arg_2 of depth 1:

new bound:

Arg_0 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2 ]
n_evalperfectbb3in___31 [Arg_2 ]
n_evalperfectbb4in___32 [Arg_2 ]
n_evalperfectbb5in___30 [Arg_2-1 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2 ]

MPRF for transition 18:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___27(Arg_0,Arg_1-Arg_2,Arg_2-1,0):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && Arg_3<=0 && 0<=Arg_3 of depth 1:

new bound:

Arg_0 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2 ]
n_evalperfectbb3in___31 [Arg_2 ]
n_evalperfectbb4in___32 [Arg_2 ]
n_evalperfectbb5in___30 [Arg_2 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2 ]

MPRF for transition 19:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && 1<=Arg_3 of depth 1:

new bound:

Arg_0+1 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2-1 ]
n_evalperfectbb3in___31 [Arg_2-1 ]
n_evalperfectbb4in___32 [Arg_2-1 ]
n_evalperfectbb5in___30 [Arg_2-1 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2-1 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2-1 ]

MPRF for transition 20:n_evalperfectbb5in___30(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2-1,Arg_3):|:1+Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1+Arg_3<=Arg_2 && 1<=Arg_2 && 1+Arg_3<=0 of depth 1:

new bound:

Arg_0+1 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2+1 ]
n_evalperfectbb3in___31 [Arg_2+1 ]
n_evalperfectbb4in___32 [Arg_2+1 ]
n_evalperfectbb5in___30 [Arg_2+1 ]
n_evalperfectbb8in___27 [Arg_2+1 ]
n_evalperfectbb8in___28 [Arg_2+1 ]
n_evalperfectbb8in___29 [Arg_2+1 ]
n_evalperfectbb4in___26 [Arg_2+1 ]

MPRF for transition 26:n_evalperfectbb8in___27(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_3<=0 && Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 0<=Arg_2 && 2<=Arg_0+Arg_2 && 1+Arg_1<=Arg_0 && 2<=Arg_0 && Arg_3<=0 && 0<=Arg_3 && 1<=Arg_2 of depth 1:

new bound:

Arg_0 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2 ]
n_evalperfectbb3in___31 [Arg_2 ]
n_evalperfectbb4in___32 [Arg_2 ]
n_evalperfectbb5in___30 [Arg_2 ]
n_evalperfectbb8in___27 [Arg_2+1 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2 ]

MPRF for transition 28:n_evalperfectbb8in___28(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:Arg_3<=Arg_2 && 2+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && 4<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1<=Arg_2 && 1<=Arg_3 && 1<=Arg_2 && 1<=Arg_2 of depth 1:

new bound:

Arg_0+1 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2-1 ]
n_evalperfectbb3in___31 [Arg_2-1 ]
n_evalperfectbb4in___32 [Arg_2-1 ]
n_evalperfectbb5in___30 [Arg_2-1 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2 ]
n_evalperfectbb4in___26 [Arg_2-1 ]

MPRF for transition 29:n_evalperfectbb8in___29(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___26(Arg_0,Arg_1,Arg_2,Arg_0):|:1+Arg_3<=0 && 2+Arg_3<=Arg_2 && 4+Arg_3<=Arg_0 && 0<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 2+Arg_2<=Arg_0 && 1<=Arg_2 && 4<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 3<=Arg_0 && 1+Arg_3<=0 && 1<=Arg_2 of depth 1:

new bound:

Arg_0 {O(n)}

MPRF:

n_evalperfectbb3in___33 [Arg_2 ]
n_evalperfectbb3in___31 [Arg_2 ]
n_evalperfectbb4in___32 [Arg_2 ]
n_evalperfectbb5in___30 [Arg_2 ]
n_evalperfectbb8in___27 [Arg_2 ]
n_evalperfectbb8in___28 [Arg_2 ]
n_evalperfectbb8in___29 [Arg_2+1 ]
n_evalperfectbb4in___26 [Arg_2 ]

MPRF for transition 1:n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3-Arg_2):|:1+Arg_3<=Arg_0 && 1<=Arg_3 && 2<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 3<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && Arg_2<=Arg_3 && 1<=Arg_2 of depth 1:

new bound:

3*Arg_0*Arg_0+2*Arg_0 {O(n^2)}

MPRF:

n_evalperfectbb4in___26 [Arg_3 ]
n_evalperfectbb3in___33 [Arg_3 ]
n_evalperfectbb3in___31 [Arg_3 ]
n_evalperfectbb4in___32 [Arg_2+Arg_3-1 ]
n_evalperfectbb8in___27 [0 ]
n_evalperfectbb8in___28 [Arg_3 ]
n_evalperfectbb5in___30 [Arg_2+Arg_3-1 ]
n_evalperfectbb8in___29 [Arg_3 ]

MPRF for transition 9:n_evalperfectbb4in___32(Arg_0,Arg_1,Arg_2,Arg_3) -> n_evalperfectbb3in___31(Arg_0,Arg_1,Arg_2,Arg_3):|:1+Arg_3<=Arg_0 && 1<=Arg_2+Arg_3 && 2<=Arg_0+Arg_3 && 1+Arg_2<=Arg_0 && 1<=Arg_2 && 3<=Arg_0+Arg_2 && Arg_1<=Arg_0 && 2<=Arg_0 && 1<=Arg_2 && Arg_2<=Arg_3 of depth 1:

new bound:

18*Arg_0*Arg_0+12*Arg_0 {O(n^2)}

MPRF:

n_evalperfectbb4in___26 [2*Arg_0+Arg_3-3*Arg_2 ]
n_evalperfectbb3in___33 [2*Arg_0+Arg_3-3*Arg_2 ]
n_evalperfectbb3in___31 [2*Arg_0+Arg_3-2*Arg_2-1 ]
n_evalperfectbb4in___32 [2*Arg_0+Arg_3-2*Arg_2 ]
n_evalperfectbb8in___27 [2*Arg_0-2*Arg_2-2 ]
n_evalperfectbb8in___28 [2*Arg_0+Arg_3-3*Arg_2-2 ]
n_evalperfectbb5in___30 [2*Arg_0+Arg_3-2*Arg_2 ]
n_evalperfectbb8in___29 [2*Arg_0+Arg_3-2*Arg_2-4 ]

All Bounds

Timebounds

Overall timebound:21*Arg_0*Arg_0+23*Arg_0+19 {O(n^2)}
0: n_evalperfectbb1in___37->n_evalperfectbb8in___35: 1 {O(1)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32: 3*Arg_0*Arg_0+2*Arg_0 {O(n^2)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32: Arg_0+1 {O(n)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33: Arg_0+1 {O(n)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31: 18*Arg_0*Arg_0+12*Arg_0 {O(n^2)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30: Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33: 1 {O(1)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27: Arg_0 {O(n)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28: Arg_0+1 {O(n)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29: Arg_0+1 {O(n)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26: Arg_0 {O(n)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15: 1 {O(1)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26: Arg_0+1 {O(n)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34: 1 {O(1)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11: 1 {O(1)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12: 1 {O(1)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13: 1 {O(1)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37: 1 {O(1)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36: 1 {O(1)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8: 1 {O(1)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9: 1 {O(1)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10: 1 {O(1)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1: 1 {O(1)}
47: n_evalperfectstart->n_evalperfectentryin___38: 1 {O(1)}

Costbounds

Overall costbound: 21*Arg_0*Arg_0+23*Arg_0+19 {O(n^2)}
0: n_evalperfectbb1in___37->n_evalperfectbb8in___35: 1 {O(1)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32: 3*Arg_0*Arg_0+2*Arg_0 {O(n^2)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32: Arg_0+1 {O(n)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33: Arg_0+1 {O(n)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31: 18*Arg_0*Arg_0+12*Arg_0 {O(n^2)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30: Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33: 1 {O(1)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27: Arg_0 {O(n)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28: Arg_0+1 {O(n)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29: Arg_0+1 {O(n)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26: Arg_0 {O(n)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15: 1 {O(1)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26: Arg_0+1 {O(n)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34: 1 {O(1)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11: 1 {O(1)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12: 1 {O(1)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13: 1 {O(1)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37: 1 {O(1)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36: 1 {O(1)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8: 1 {O(1)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9: 1 {O(1)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10: 1 {O(1)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1: 1 {O(1)}
47: n_evalperfectstart->n_evalperfectentryin___38: 1 {O(1)}

Sizebounds

0: n_evalperfectbb1in___37->n_evalperfectbb8in___35, Arg_0: Arg_0 {O(n)}
0: n_evalperfectbb1in___37->n_evalperfectbb8in___35, Arg_1: Arg_0 {O(n)}
0: n_evalperfectbb1in___37->n_evalperfectbb8in___35, Arg_2: Arg_0 {O(n)}
0: n_evalperfectbb1in___37->n_evalperfectbb8in___35, Arg_3: Arg_3 {O(n)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32, Arg_0: Arg_0 {O(n)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32, Arg_2: Arg_0 {O(n)}
1: n_evalperfectbb3in___31->n_evalperfectbb4in___32, Arg_3: 4*Arg_0 {O(n)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32, Arg_0: Arg_0 {O(n)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32, Arg_2: Arg_0 {O(n)}
2: n_evalperfectbb3in___33->n_evalperfectbb4in___32, Arg_3: 4*Arg_0 {O(n)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33, Arg_0: Arg_0 {O(n)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33, Arg_2: Arg_0 {O(n)}
7: n_evalperfectbb4in___26->n_evalperfectbb3in___33, Arg_3: 3*Arg_0 {O(n)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31, Arg_0: Arg_0 {O(n)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31, Arg_2: Arg_0 {O(n)}
9: n_evalperfectbb4in___32->n_evalperfectbb3in___31, Arg_3: 4*Arg_0 {O(n)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30, Arg_0: Arg_0 {O(n)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30, Arg_2: Arg_0 {O(n)}
10: n_evalperfectbb4in___32->n_evalperfectbb5in___30, Arg_3: 8*Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33, Arg_0: Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33, Arg_1: Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33, Arg_2: Arg_0 {O(n)}
11: n_evalperfectbb4in___34->n_evalperfectbb3in___33, Arg_3: Arg_0 {O(n)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27, Arg_0: Arg_0 {O(n)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27, Arg_2: Arg_0 {O(n)}
18: n_evalperfectbb5in___30->n_evalperfectbb8in___27, Arg_3: 0 {O(1)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28, Arg_0: Arg_0 {O(n)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28, Arg_2: Arg_0 {O(n)}
19: n_evalperfectbb5in___30->n_evalperfectbb8in___28, Arg_3: 8*Arg_0 {O(n)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29, Arg_0: Arg_0 {O(n)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29, Arg_2: Arg_0 {O(n)}
20: n_evalperfectbb5in___30->n_evalperfectbb8in___29, Arg_3: 8*Arg_0 {O(n)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26, Arg_0: Arg_0 {O(n)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26, Arg_2: Arg_0 {O(n)}
26: n_evalperfectbb8in___27->n_evalperfectbb4in___26, Arg_3: Arg_0 {O(n)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15, Arg_0: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15, Arg_2: 0 {O(1)}
27: n_evalperfectbb8in___27->n_evalperfectbb9in___15, Arg_3: 0 {O(1)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26, Arg_0: Arg_0 {O(n)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26, Arg_2: Arg_0 {O(n)}
28: n_evalperfectbb8in___28->n_evalperfectbb4in___26, Arg_3: Arg_0 {O(n)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26, Arg_0: Arg_0 {O(n)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26, Arg_2: Arg_0 {O(n)}
29: n_evalperfectbb8in___29->n_evalperfectbb4in___26, Arg_3: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34, Arg_0: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34, Arg_1: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34, Arg_2: Arg_0 {O(n)}
31: n_evalperfectbb8in___35->n_evalperfectbb4in___34, Arg_3: Arg_0 {O(n)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11, Arg_0: 0 {O(1)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11, Arg_1: 0 {O(1)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11, Arg_2: 0 {O(1)}
32: n_evalperfectbb9in___15->n_evalperfectreturnin___11, Arg_3: 0 {O(1)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12, Arg_0: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12, Arg_2: 0 {O(1)}
33: n_evalperfectbb9in___15->n_evalperfectreturnin___12, Arg_3: 0 {O(1)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13, Arg_0: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13, Arg_2: 0 {O(1)}
34: n_evalperfectbb9in___15->n_evalperfectreturnin___13, Arg_3: 0 {O(1)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37, Arg_0: Arg_0 {O(n)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37, Arg_1: Arg_1 {O(n)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37, Arg_2: Arg_2 {O(n)}
38: n_evalperfectentryin___38->n_evalperfectbb1in___37, Arg_3: Arg_3 {O(n)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36, Arg_0: Arg_0 {O(n)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36, Arg_1: Arg_1 {O(n)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36, Arg_2: Arg_2 {O(n)}
39: n_evalperfectentryin___38->n_evalperfectreturnin___36, Arg_3: Arg_3 {O(n)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8, Arg_0: 0 {O(1)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8, Arg_1: 0 {O(1)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8, Arg_2: 0 {O(1)}
40: n_evalperfectreturnin___11->n_evalperfectstop___8, Arg_3: 0 {O(1)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9, Arg_0: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9, Arg_2: 0 {O(1)}
41: n_evalperfectreturnin___12->n_evalperfectstop___9, Arg_3: 0 {O(1)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10, Arg_0: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10, Arg_1: Arg_0*Arg_0+2*Arg_0 {O(n^2)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10, Arg_2: 0 {O(1)}
42: n_evalperfectreturnin___13->n_evalperfectstop___10, Arg_3: 0 {O(1)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1, Arg_0: Arg_0 {O(n)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1, Arg_1: Arg_1 {O(n)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1, Arg_2: Arg_2 {O(n)}
43: n_evalperfectreturnin___36->n_evalperfectstop___1, Arg_3: Arg_3 {O(n)}
47: n_evalperfectstart->n_evalperfectentryin___38, Arg_0: Arg_0 {O(n)}
47: n_evalperfectstart->n_evalperfectentryin___38, Arg_1: Arg_1 {O(n)}
47: n_evalperfectstart->n_evalperfectentryin___38, Arg_2: Arg_2 {O(n)}
47: n_evalperfectstart->n_evalperfectentryin___38, Arg_3: Arg_3 {O(n)}