Initial Problem
Start: n_eval_complex_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars:
Locations: n_eval_complex_bb0_in___20, n_eval_complex_bb1_in___10, n_eval_complex_bb1_in___19, n_eval_complex_bb1_in___4, n_eval_complex_bb2_in___13, n_eval_complex_bb2_in___14, n_eval_complex_bb2_in___18, n_eval_complex_bb2_in___9, n_eval_complex_bb3_in___12, n_eval_complex_bb3_in___16, n_eval_complex_bb3_in___6, n_eval_complex_bb3_in___8, n_eval_complex_bb4_in___11, n_eval_complex_bb4_in___15, n_eval_complex_bb4_in___5, n_eval_complex_bb4_in___7, n_eval_complex_bb5_in___17, n_eval_complex_bb5_in___3, n_eval_complex_start, n_eval_complex_stop___1, n_eval_complex_stop___2
Transitions:
0:n_eval_complex_bb0_in___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___19(Arg_4,Arg_5,Arg_2,Arg_3,Arg_4,Arg_5)
1:n_eval_complex_bb1_in___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_0<30 && Arg_1<=5 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<=29 && Arg_0<30
2:n_eval_complex_bb1_in___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_1<=Arg_5 && Arg_5<=Arg_1 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && Arg_0<30
3:n_eval_complex_bb1_in___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb5_in___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=Arg_5 && Arg_5<=Arg_1 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && 30<=Arg_0
4:n_eval_complex_bb1_in___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<30
5:n_eval_complex_bb1_in___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb5_in___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && 30<=Arg_0
6:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:5<Arg_3 && Arg_3<Arg_2
7:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:5<Arg_3 && Arg_2<=Arg_3
8:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=7 && Arg_3<Arg_2
9:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=7 && Arg_2<=Arg_3
10:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<Arg_2
11:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_2<=Arg_3
12:n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=5 && Arg_3<=7 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_0<=29 && Arg_3<Arg_2
13:n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=5 && Arg_3<=7 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_0<=29 && Arg_2<=Arg_3
14:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_3<=7 && Arg_3<Arg_2 && 5<Arg_3
15:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_3<=7 && Arg_3<Arg_2 && Arg_3<=5
16:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_3<Arg_2 && 5<Arg_3
17:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_3<Arg_2 && Arg_3<=5
18:n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_3<Arg_2 && 5<Arg_3 && 5<Arg_3
19:n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_0<=29 && Arg_1<Arg_0 && Arg_1<=5 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_3<=5
20:n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___10(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_3<=7 && Arg_2<=Arg_3
21:n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_2<=Arg_3
22:n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_2<=Arg_3 && 5<Arg_3
23:n_eval_complex_bb4_in___7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___10(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_1<=5 && Arg_0<=Arg_1 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0
24:n_eval_complex_bb5_in___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_stop___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:30<=Arg_0 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && Arg_1<=Arg_5 && Arg_5<=Arg_1
25:n_eval_complex_bb5_in___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_stop___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:30<=Arg_0 && Arg_1+10<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=Arg_2+2 && 2+Arg_2<=Arg_0
26:n_eval_complex_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb0_in___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5)
Preprocessing
Found invariant Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && 28<=Arg_3 && 56<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 46<=Arg_1+Arg_3 && 10+Arg_1<=Arg_3 && 58<=Arg_0+Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && 28<=Arg_2 && 46<=Arg_1+Arg_2 && 58<=Arg_0+Arg_2 && Arg_0<=2+Arg_2 && 18<=Arg_1 && 48<=Arg_0+Arg_1 && Arg_0<=12+Arg_1 && 30<=Arg_0 for location n_eval_complex_bb5_in___3
Found invariant Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 for location n_eval_complex_bb2_in___9
Found invariant Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_1+Arg_4<=11 && Arg_4<=Arg_0 && Arg_0+Arg_4<=12 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=13 && Arg_2<=Arg_3 && 2+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=7 && Arg_1+Arg_2<=12 && Arg_0+Arg_2<=13 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=11 && Arg_0<=6 for location n_eval_complex_bb4_in___11
Found invariant Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && 30<=Arg_4 && 60<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 30<=Arg_0 for location n_eval_complex_bb5_in___17
Found invariant Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && 1+Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 3+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 for location n_eval_complex_bb3_in___12
Found invariant Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && 28<=Arg_3 && 56<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 46<=Arg_1+Arg_3 && 10+Arg_1<=Arg_3 && 58<=Arg_0+Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && 28<=Arg_2 && 46<=Arg_1+Arg_2 && 58<=Arg_0+Arg_2 && Arg_0<=2+Arg_2 && 18<=Arg_1 && 48<=Arg_0+Arg_1 && Arg_0<=12+Arg_1 && 30<=Arg_0 for location n_eval_complex_stop___2
Found invariant Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && Arg_0<=2+Arg_2 && Arg_0<=12+Arg_1 for location n_eval_complex_bb1_in___4
Found invariant 1<=0 for location n_eval_complex_bb4_in___7
Found invariant Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_2<=Arg_3 && Arg_1<=Arg_3 && Arg_0<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=Arg_1 && Arg_0<=29 for location n_eval_complex_bb4_in___15
Found invariant Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && 30<=Arg_4 && 60<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 30<=Arg_0 for location n_eval_complex_stop___1
Found invariant Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 for location n_eval_complex_bb3_in___8
Found invariant Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 for location n_eval_complex_bb2_in___13
Found invariant Arg_4<=29 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=29 for location n_eval_complex_bb2_in___18
Found invariant Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && 1+Arg_3<=Arg_2 && 13<=Arg_3 && 27<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 14<=Arg_2 && 8+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 for location n_eval_complex_bb3_in___6
Found invariant Arg_4<=29 && 1+Arg_4<=Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 7+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 for location n_eval_complex_bb4_in___5
Found invariant Arg_4<=29 && Arg_3+Arg_4<=57 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_1+Arg_4<=57 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=28 && 1+Arg_3<=Arg_2 && Arg_2+Arg_3<=57 && Arg_3<=Arg_1 && Arg_1+Arg_3<=56 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=57 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_1+Arg_2<=57 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=28 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=57 && Arg_0<=29 for location n_eval_complex_bb3_in___16
Found invariant Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && Arg_0<=Arg_4 for location n_eval_complex_bb1_in___19
Found invariant Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 for location n_eval_complex_bb2_in___14
Found invariant Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=4 && 2+Arg_3<=Arg_0 && Arg_0+Arg_3<=16 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=7 && Arg_2<=10+Arg_1 && Arg_1+Arg_2<=4 && 2+Arg_2<=Arg_0 && Arg_0+Arg_2<=16 && 10+Arg_1<=Arg_2 && Arg_0<=2+Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 for location n_eval_complex_bb1_in___10
Cut unsatisfiable transition 13: n_eval_complex_bb2_in___9->n_eval_complex_bb4_in___7
Cut unsatisfiable transition 23: n_eval_complex_bb4_in___7->n_eval_complex_bb1_in___10
Cut unreachable locations [n_eval_complex_bb4_in___7] from the program graph
Problem after Preprocessing
Start: n_eval_complex_start
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5
Temp_Vars:
Locations: n_eval_complex_bb0_in___20, n_eval_complex_bb1_in___10, n_eval_complex_bb1_in___19, n_eval_complex_bb1_in___4, n_eval_complex_bb2_in___13, n_eval_complex_bb2_in___14, n_eval_complex_bb2_in___18, n_eval_complex_bb2_in___9, n_eval_complex_bb3_in___12, n_eval_complex_bb3_in___16, n_eval_complex_bb3_in___6, n_eval_complex_bb3_in___8, n_eval_complex_bb4_in___11, n_eval_complex_bb4_in___15, n_eval_complex_bb4_in___5, n_eval_complex_bb5_in___17, n_eval_complex_bb5_in___3, n_eval_complex_start, n_eval_complex_stop___1, n_eval_complex_stop___2
Transitions:
0:n_eval_complex_bb0_in___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___19(Arg_4,Arg_5,Arg_2,Arg_3,Arg_4,Arg_5)
1:n_eval_complex_bb1_in___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=4 && 2+Arg_3<=Arg_0 && Arg_0+Arg_3<=16 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=7 && Arg_2<=10+Arg_1 && Arg_1+Arg_2<=4 && 2+Arg_2<=Arg_0 && Arg_0+Arg_2<=16 && 10+Arg_1<=Arg_2 && Arg_0<=2+Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_0<30 && Arg_1<=5 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<=29 && Arg_0<30
2:n_eval_complex_bb1_in___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && Arg_0<=Arg_4 && Arg_1<=Arg_5 && Arg_5<=Arg_1 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && Arg_0<30
3:n_eval_complex_bb1_in___19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb5_in___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && Arg_0<=Arg_4 && Arg_1<=Arg_5 && Arg_5<=Arg_1 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && 30<=Arg_0
4:n_eval_complex_bb1_in___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && Arg_0<=2+Arg_2 && Arg_0<=12+Arg_1 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<30
5:n_eval_complex_bb1_in___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb5_in___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && Arg_0<=2+Arg_2 && Arg_0<=12+Arg_1 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && 30<=Arg_0
6:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && 5<Arg_3 && Arg_3<Arg_2
7:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && 5<Arg_3 && Arg_2<=Arg_3
8:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2
9:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_2<=Arg_3
10:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=29 && Arg_3<Arg_2
11:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=29 && Arg_2<=Arg_3
12:n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_3<=5 && Arg_3<=7 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_0<=29 && Arg_3<Arg_2
14:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && 1+Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 3+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2 && 5<Arg_3
15:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && 1+Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 3+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2 && Arg_3<=5
16:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=57 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_1+Arg_4<=57 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=28 && 1+Arg_3<=Arg_2 && Arg_2+Arg_3<=57 && Arg_3<=Arg_1 && Arg_1+Arg_3<=56 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=57 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_1+Arg_2<=57 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=28 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=57 && Arg_0<=29 && Arg_3<Arg_2 && 5<Arg_3
17:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=57 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_1+Arg_4<=57 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=28 && 1+Arg_3<=Arg_2 && Arg_2+Arg_3<=57 && Arg_3<=Arg_1 && Arg_1+Arg_3<=56 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=57 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_1+Arg_2<=57 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=28 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=57 && Arg_0<=29 && Arg_3<Arg_2 && Arg_3<=5
18:n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && 1+Arg_3<=Arg_2 && 13<=Arg_3 && 27<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 14<=Arg_2 && 8+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && Arg_3<Arg_2 && 5<Arg_3 && 5<Arg_3
19:n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_0<=29 && Arg_1<Arg_0 && Arg_1<=5 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_3<=5
20:n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___10(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_1+Arg_4<=11 && Arg_4<=Arg_0 && Arg_0+Arg_4<=12 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=13 && Arg_2<=Arg_3 && 2+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=7 && Arg_1+Arg_2<=12 && Arg_0+Arg_2<=13 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=11 && Arg_0<=6 && Arg_3<=7 && Arg_2<=Arg_3
21:n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_2<=Arg_3 && Arg_1<=Arg_3 && Arg_0<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=Arg_1 && Arg_0<=29 && Arg_2<=Arg_3
22:n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && 1+Arg_4<=Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 7+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && Arg_2<=Arg_3 && 5<Arg_3
24:n_eval_complex_bb5_in___17(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_stop___1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_5<=Arg_1 && Arg_1<=Arg_5 && Arg_4<=Arg_0 && 30<=Arg_4 && 60<=Arg_0+Arg_4 && Arg_0<=Arg_4 && 30<=Arg_0 && 30<=Arg_0 && Arg_0<=Arg_4 && Arg_4<=Arg_0 && Arg_1<=Arg_5 && Arg_5<=Arg_1
25:n_eval_complex_bb5_in___3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_stop___2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && 28<=Arg_3 && 56<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 46<=Arg_1+Arg_3 && 10+Arg_1<=Arg_3 && 58<=Arg_0+Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && 28<=Arg_2 && 46<=Arg_1+Arg_2 && 58<=Arg_0+Arg_2 && Arg_0<=2+Arg_2 && 18<=Arg_1 && 48<=Arg_0+Arg_1 && Arg_0<=12+Arg_1 && 30<=Arg_0 && 30<=Arg_0 && Arg_1+10<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=Arg_2+2 && 2+Arg_2<=Arg_0
26:n_eval_complex_start(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb0_in___20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5)
MPRF for transition 1:n_eval_complex_bb1_in___10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_3<=10+Arg_1 && Arg_1+Arg_3<=4 && 2+Arg_3<=Arg_0 && Arg_0+Arg_3<=16 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=7 && Arg_2<=10+Arg_1 && Arg_1+Arg_2<=4 && 2+Arg_2<=Arg_0 && Arg_0+Arg_2<=16 && 10+Arg_1<=Arg_2 && Arg_0<=2+Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_0<30 && Arg_1<=5 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<=29 && Arg_0<30 of depth 1:
new bound:
14*Arg_4+2*Arg_5+136 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [2*Arg_1+136-14*Arg_0 ]
n_eval_complex_bb2_in___9 [35-7*Arg_3 ]
n_eval_complex_bb3_in___12 [7*Arg_3+106-14*Arg_2 ]
n_eval_complex_bb3_in___16 [2*Arg_1+136-14*Arg_0 ]
n_eval_complex_bb3_in___6 [2*Arg_3+136-14*Arg_2 ]
n_eval_complex_bb2_in___13 [2*Arg_3+136-14*Arg_2 ]
n_eval_complex_bb3_in___8 [14*Arg_1+106-14*Arg_2-7*Arg_3 ]
n_eval_complex_bb2_in___14 [7*Arg_3+106-14*Arg_2 ]
n_eval_complex_bb4_in___11 [106-7*Arg_3 ]
n_eval_complex_bb1_in___10 [36-7*Arg_1 ]
n_eval_complex_bb4_in___15 [2*Arg_3+136-14*Arg_0 ]
n_eval_complex_bb4_in___5 [2*Arg_3+136-14*Arg_2 ]
n_eval_complex_bb1_in___4 [2*Arg_1+184-14*Arg_0 ]
MPRF for transition 4:n_eval_complex_bb1_in___4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_0,Arg_1,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_4<=10+Arg_1 && 2+Arg_4<=Arg_0 && Arg_3<=10+Arg_1 && Arg_2<=Arg_3 && 10+Arg_1<=Arg_3 && Arg_0<=2+Arg_3 && Arg_2<=10+Arg_1 && 2+Arg_2<=Arg_0 && Arg_0<=2+Arg_2 && Arg_0<=12+Arg_1 && 10+Arg_1<=Arg_3 && Arg_3<=10+Arg_1 && Arg_0<=2+Arg_2 && 2+Arg_2<=Arg_0 && Arg_0<30 of depth 1:
new bound:
9*Arg_4+Arg_5+163 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [Arg_0+Arg_1+163-8*Arg_2 ]
n_eval_complex_bb2_in___9 [7*Arg_2+79-7*Arg_0-6*Arg_1 ]
n_eval_complex_bb3_in___12 [Arg_3+163-7*Arg_2 ]
n_eval_complex_bb3_in___16 [Arg_3+163-7*Arg_2 ]
n_eval_complex_bb3_in___6 [Arg_3+163-7*Arg_2 ]
n_eval_complex_bb2_in___13 [Arg_3+163-7*Arg_2 ]
n_eval_complex_bb3_in___8 [Arg_3+163-7*Arg_0 ]
n_eval_complex_bb2_in___14 [Arg_3+168-7*Arg_2 ]
n_eval_complex_bb4_in___11 [Arg_3+139-7*Arg_2 ]
n_eval_complex_bb1_in___10 [139-6*Arg_2 ]
n_eval_complex_bb4_in___15 [Arg_1+163-7*Arg_0 ]
n_eval_complex_bb4_in___5 [Arg_3+163-7*Arg_2 ]
n_eval_complex_bb1_in___4 [Arg_1+185-6*Arg_0-Arg_2 ]
MPRF for transition 6:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && 5<Arg_3 && Arg_3<Arg_2 of depth 1:
new bound:
25*Arg_4+5*Arg_5+840 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [Arg_3+840-2*Arg_0-4*Arg_1-23*Arg_2 ]
n_eval_complex_bb2_in___9 [64*Arg_0-89*Arg_1-237 ]
n_eval_complex_bb3_in___12 [6*Arg_2+753-28*Arg_0-3*Arg_3 ]
n_eval_complex_bb3_in___16 [Arg_3+840-24*Arg_0-4*Arg_1-Arg_2 ]
n_eval_complex_bb3_in___6 [6*Arg_2+806-28*Arg_0-6*Arg_3 ]
n_eval_complex_bb2_in___13 [6*Arg_2+807-28*Arg_0-6*Arg_3 ]
n_eval_complex_bb3_in___8 [64*Arg_0-89*Arg_1-237 ]
n_eval_complex_bb2_in___14 [6*Arg_2+753-28*Arg_0-3*Arg_3 ]
n_eval_complex_bb4_in___11 [3*Arg_2+753-28*Arg_0 ]
n_eval_complex_bb1_in___10 [64*Arg_0-89*Arg_1-237 ]
n_eval_complex_bb4_in___15 [820-3*Arg_1-25*Arg_2 ]
n_eval_complex_bb4_in___5 [835-22*Arg_2-6*Arg_3 ]
n_eval_complex_bb1_in___4 [840-25*Arg_0-3*Arg_1 ]
MPRF for transition 7:n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && 5<Arg_3 && Arg_2<=Arg_3 of depth 1:
new bound:
5*Arg_4+146 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [146-5*Arg_2 ]
n_eval_complex_bb2_in___9 [146-5*Arg_2 ]
n_eval_complex_bb3_in___12 [146-5*Arg_0 ]
n_eval_complex_bb3_in___16 [146-5*Arg_2 ]
n_eval_complex_bb3_in___6 [146-5*Arg_0 ]
n_eval_complex_bb2_in___13 [146-5*Arg_0 ]
n_eval_complex_bb3_in___8 [146-5*Arg_0 ]
n_eval_complex_bb2_in___14 [146-5*Arg_0 ]
n_eval_complex_bb4_in___11 [131-5*Arg_0 ]
n_eval_complex_bb1_in___10 [146-5*Arg_0 ]
n_eval_complex_bb4_in___15 [146-5*Arg_2 ]
n_eval_complex_bb4_in___5 [141-5*Arg_0 ]
n_eval_complex_bb1_in___4 [146-5*Arg_0 ]
MPRF for transition 8:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2 of depth 1:
new bound:
1265*Arg_5+6555*Arg_4+224480 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [224480-6325*Arg_0-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb2_in___9 [131750-6600*Arg_1-230*Arg_4 ]
n_eval_complex_bb3_in___12 [1265*Arg_2+195770-6600*Arg_0-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb3_in___16 [224480-203*Arg_1-6325*Arg_2-1062*Arg_3-230*Arg_4 ]
n_eval_complex_bb3_in___6 [204470-5635*Arg_2-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb2_in___13 [218960-5635*Arg_2-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb3_in___8 [69*Arg_1+195770-5335*Arg_0-1334*Arg_3-230*Arg_4 ]
n_eval_complex_bb2_in___14 [1265*Arg_2+197035-6600*Arg_0-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb4_in___11 [1265*Arg_2+197035-6600*Arg_0-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb1_in___10 [690*Arg_2+4991*Arg_3+74940-12281*Arg_1-230*Arg_4 ]
n_eval_complex_bb4_in___15 [399675*Arg_0+224480-406000*Arg_2-1265*Arg_3-230*Arg_4 ]
n_eval_complex_bb4_in___5 [215510-6325*Arg_2-575*Arg_3-230*Arg_4 ]
n_eval_complex_bb1_in___4 [224480-6325*Arg_0-1265*Arg_1-230*Arg_4 ]
MPRF for transition 9:n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_2<=Arg_3 of depth 1:
new bound:
115*Arg_5+391*Arg_4+3405 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [115*Arg_1+3405-391*Arg_2 ]
n_eval_complex_bb2_in___9 [161*Arg_3+1128-322*Arg_0 ]
n_eval_complex_bb3_in___12 [161*Arg_3+1128-322*Arg_2 ]
n_eval_complex_bb3_in___16 [Arg_0+116*Arg_3+1404-Arg_1-323*Arg_2 ]
n_eval_complex_bb3_in___6 [46*Arg_3+1818-322*Arg_2 ]
n_eval_complex_bb2_in___13 [46*Arg_3+1818-322*Arg_2 ]
n_eval_complex_bb3_in___8 [161*Arg_3+1128-322*Arg_0 ]
n_eval_complex_bb2_in___14 [161*Arg_3+1128-322*Arg_2 ]
n_eval_complex_bb4_in___11 [-161*Arg_2-1126 ]
n_eval_complex_bb1_in___10 [161*Arg_1+1128-322*Arg_0 ]
n_eval_complex_bb4_in___15 [115*Arg_1+3405-391*Arg_2 ]
n_eval_complex_bb4_in___5 [46*Arg_3+1818-322*Arg_2 ]
n_eval_complex_bb1_in___4 [115*Arg_1+3405-391*Arg_0 ]
MPRF for transition 10:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=29 && Arg_3<Arg_2 of depth 1:
new bound:
2*Arg_4+59 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [59-2*Arg_0 ]
n_eval_complex_bb2_in___9 [53-2*Arg_0 ]
n_eval_complex_bb3_in___12 [Arg_3+53-Arg_1-2*Arg_2 ]
n_eval_complex_bb3_in___16 [53-2*Arg_2 ]
n_eval_complex_bb3_in___6 [53-2*Arg_2 ]
n_eval_complex_bb2_in___13 [55-2*Arg_2 ]
n_eval_complex_bb3_in___8 [53-2*Arg_2 ]
n_eval_complex_bb2_in___14 [Arg_3+53-Arg_1-2*Arg_2 ]
n_eval_complex_bb4_in___11 [Arg_3+47-Arg_1-2*Arg_2 ]
n_eval_complex_bb1_in___10 [49-2*Arg_2 ]
n_eval_complex_bb4_in___15 [55-2*Arg_0 ]
n_eval_complex_bb4_in___5 [55-2*Arg_2 ]
n_eval_complex_bb1_in___4 [59-2*Arg_0 ]
MPRF for transition 11:n_eval_complex_bb2_in___18(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=29 && Arg_2<=Arg_3 of depth 1:
new bound:
Arg_4+30 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [30-Arg_0 ]
n_eval_complex_bb2_in___9 [18-Arg_3 ]
n_eval_complex_bb3_in___12 [31-Arg_2 ]
n_eval_complex_bb3_in___16 [30-Arg_2 ]
n_eval_complex_bb3_in___6 [27-Arg_2 ]
n_eval_complex_bb2_in___13 [28-Arg_2 ]
n_eval_complex_bb3_in___8 [30-Arg_2 ]
n_eval_complex_bb2_in___14 [31-Arg_2 ]
n_eval_complex_bb4_in___11 [31-Arg_2 ]
n_eval_complex_bb1_in___10 [31-Arg_3 ]
n_eval_complex_bb4_in___15 [28-Arg_0 ]
n_eval_complex_bb4_in___5 [28-Arg_2 ]
n_eval_complex_bb1_in___4 [30-Arg_0 ]
MPRF for transition 12:n_eval_complex_bb2_in___9(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_3<=5 && Arg_3<=7 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_0<=29 && Arg_3<Arg_2 of depth 1:
new bound:
1265*Arg_5+6335*Arg_4+45794 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [5*Arg_0+45794-6330*Arg_2-1265*Arg_3 ]
n_eval_complex_bb2_in___9 [-6072*Arg_1-18215 ]
n_eval_complex_bb3_in___12 [253*Arg_3+36620-5753*Arg_0-66*Arg_1-506*Arg_2 ]
n_eval_complex_bb3_in___16 [45794-1265*Arg_1-6325*Arg_2 ]
n_eval_complex_bb3_in___6 [55155-5819*Arg_0-506*Arg_2-1265*Arg_3 ]
n_eval_complex_bb2_in___13 [55155-5819*Arg_0-506*Arg_2-1265*Arg_3 ]
n_eval_complex_bb3_in___8 [-6072*Arg_1-18226 ]
n_eval_complex_bb2_in___14 [253*Arg_3+36620-5753*Arg_0-66*Arg_1-506*Arg_2 ]
n_eval_complex_bb4_in___11 [36620-5753*Arg_0-66*Arg_1-Arg_2-252*Arg_3 ]
n_eval_complex_bb1_in___10 [42505-6072*Arg_2 ]
n_eval_complex_bb4_in___15 [45794-6325*Arg_2-1265*Arg_3 ]
n_eval_complex_bb4_in___5 [55155-5819*Arg_0-506*Arg_2-1265*Arg_3 ]
n_eval_complex_bb1_in___4 [45794-6325*Arg_0-1265*Arg_1 ]
MPRF for transition 14:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && 1+Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 3+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2 && 5<Arg_3 of depth 1:
new bound:
2*Arg_4+59 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [59-Arg_0-Arg_4 ]
n_eval_complex_bb2_in___9 [3*Arg_0+14-Arg_1-3*Arg_3-Arg_4 ]
n_eval_complex_bb3_in___12 [59-Arg_0-Arg_4 ]
n_eval_complex_bb3_in___16 [Arg_2+Arg_3+59-2*Arg_0-Arg_1-Arg_4 ]
n_eval_complex_bb3_in___6 [56-Arg_0-Arg_4 ]
n_eval_complex_bb2_in___13 [56-Arg_0-Arg_4 ]
n_eval_complex_bb3_in___8 [3*Arg_2+Arg_3+14-5*Arg_1-Arg_4 ]
n_eval_complex_bb2_in___14 [59-Arg_0-Arg_4 ]
n_eval_complex_bb4_in___11 [3*Arg_2+59-Arg_0-3*Arg_3-Arg_4 ]
n_eval_complex_bb1_in___10 [3*Arg_2+20-4*Arg_1-Arg_4 ]
n_eval_complex_bb4_in___15 [57-Arg_2-Arg_4 ]
n_eval_complex_bb4_in___5 [56-Arg_0-Arg_4 ]
n_eval_complex_bb1_in___4 [59-Arg_0-Arg_4 ]
MPRF for transition 15:n_eval_complex_bb3_in___12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=36 && 1+Arg_4<=Arg_2 && Arg_1+Arg_4<=34 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=7 && 1+Arg_3<=Arg_2 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=36 && 2+Arg_1<=Arg_3 && 3+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=34 && Arg_0<=29 && Arg_3<=7 && Arg_3<Arg_2 && Arg_3<=5 of depth 1:
new bound:
5*Arg_4+Arg_5+158 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [158-5*Arg_2-Arg_3 ]
n_eval_complex_bb2_in___9 [6*Arg_0+50-5*Arg_1-2*Arg_2-5*Arg_3 ]
n_eval_complex_bb3_in___12 [160-5*Arg_0-Arg_3 ]
n_eval_complex_bb3_in___16 [Arg_0+Arg_1+158-6*Arg_2-2*Arg_3 ]
n_eval_complex_bb3_in___6 [Arg_3+160-7*Arg_2 ]
n_eval_complex_bb2_in___13 [Arg_3+160-7*Arg_2 ]
n_eval_complex_bb3_in___8 [6*Arg_0+110-5*Arg_1-7*Arg_2 ]
n_eval_complex_bb2_in___14 [160-5*Arg_0-Arg_3 ]
n_eval_complex_bb4_in___11 [160-5*Arg_0-Arg_3 ]
n_eval_complex_bb1_in___10 [4*Arg_0+60-9*Arg_1-Arg_2 ]
n_eval_complex_bb4_in___15 [158-5*Arg_2-Arg_3 ]
n_eval_complex_bb4_in___5 [Arg_3+158-7*Arg_2 ]
n_eval_complex_bb1_in___4 [158-5*Arg_0-Arg_1 ]
MPRF for transition 16:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=57 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_1+Arg_4<=57 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=28 && 1+Arg_3<=Arg_2 && Arg_2+Arg_3<=57 && Arg_3<=Arg_1 && Arg_1+Arg_3<=56 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=57 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_1+Arg_2<=57 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=28 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=57 && Arg_0<=29 && Arg_3<Arg_2 && 5<Arg_3 of depth 1:
new bound:
10*Arg_4+2*Arg_5+523 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [523-10*Arg_0-2*Arg_1 ]
n_eval_complex_bb2_in___9 [499-2*Arg_1-10*Arg_2 ]
n_eval_complex_bb3_in___12 [5*Arg_3+499-7*Arg_1-10*Arg_2 ]
n_eval_complex_bb3_in___16 [523-10*Arg_2-2*Arg_3 ]
n_eval_complex_bb3_in___6 [499-2*Arg_1-10*Arg_2 ]
n_eval_complex_bb2_in___13 [509-2*Arg_1-10*Arg_2 ]
n_eval_complex_bb3_in___8 [499-10*Arg_2-2*Arg_3 ]
n_eval_complex_bb2_in___14 [5*Arg_3+499-7*Arg_1-10*Arg_2 ]
n_eval_complex_bb4_in___11 [7*Arg_3+506-7*Arg_0-12*Arg_2 ]
n_eval_complex_bb1_in___10 [523-12*Arg_0 ]
n_eval_complex_bb4_in___15 [523-10*Arg_0-2*Arg_3 ]
n_eval_complex_bb4_in___5 [509-2*Arg_1-10*Arg_2 ]
n_eval_complex_bb1_in___4 [523-10*Arg_0-2*Arg_1 ]
MPRF for transition 17:n_eval_complex_bb3_in___16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=29 && Arg_3+Arg_4<=57 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_1+Arg_4<=57 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=28 && 1+Arg_3<=Arg_2 && Arg_2+Arg_3<=57 && Arg_3<=Arg_1 && Arg_1+Arg_3<=56 && 1+Arg_3<=Arg_0 && Arg_0+Arg_3<=57 && Arg_1<=Arg_3 && Arg_2<=29 && Arg_1+Arg_2<=57 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && 1+Arg_1<=Arg_2 && Arg_0<=Arg_2 && Arg_1<=28 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=57 && Arg_0<=29 && Arg_3<Arg_2 && Arg_3<=5 of depth 1:
new bound:
Arg_4+30 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [30-Arg_0 ]
n_eval_complex_bb2_in___9 [27-Arg_2 ]
n_eval_complex_bb3_in___12 [27-Arg_0 ]
n_eval_complex_bb3_in___16 [30-Arg_2 ]
n_eval_complex_bb3_in___6 [27-Arg_0 ]
n_eval_complex_bb2_in___13 [27-Arg_0 ]
n_eval_complex_bb3_in___8 [27-Arg_0 ]
n_eval_complex_bb2_in___14 [27-Arg_0 ]
n_eval_complex_bb4_in___11 [27-Arg_0 ]
n_eval_complex_bb1_in___10 [25-Arg_3 ]
n_eval_complex_bb4_in___15 [28-Arg_0 ]
n_eval_complex_bb4_in___5 [28-Arg_2 ]
n_eval_complex_bb1_in___4 [30-Arg_0 ]
MPRF for transition 18:n_eval_complex_bb3_in___6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___13(Arg_0,Arg_1,Arg_2+1,Arg_3+7,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=16+Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && 1+Arg_3<=Arg_2 && 13<=Arg_3 && 27<=Arg_2+Arg_3 && 7+Arg_1<=Arg_3 && Arg_0<=16+Arg_3 && 14<=Arg_2 && 8+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && Arg_3<Arg_2 && 5<Arg_3 && 5<Arg_3 of depth 1:
new bound:
3*Arg_5+7*Arg_4+196 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [Arg_2+Arg_3+196-6*Arg_0-2*Arg_1 ]
n_eval_complex_bb2_in___9 [196-6*Arg_0 ]
n_eval_complex_bb3_in___12 [2*Arg_2+184-7*Arg_0-Arg_3 ]
n_eval_complex_bb3_in___16 [Arg_2+184-6*Arg_0-Arg_1 ]
n_eval_complex_bb3_in___6 [2*Arg_2+189-7*Arg_0-Arg_3 ]
n_eval_complex_bb2_in___13 [2*Arg_2+189-7*Arg_0-Arg_3 ]
n_eval_complex_bb3_in___8 [Arg_2+184-6*Arg_0-Arg_1 ]
n_eval_complex_bb2_in___14 [2*Arg_2+184-7*Arg_0-Arg_3 ]
n_eval_complex_bb4_in___11 [Arg_2+184-7*Arg_0 ]
n_eval_complex_bb1_in___10 [196-6*Arg_0 ]
n_eval_complex_bb4_in___15 [Arg_2+196-6*Arg_0-Arg_3 ]
n_eval_complex_bb4_in___5 [196-5*Arg_2-Arg_3 ]
n_eval_complex_bb1_in___4 [196-5*Arg_0-Arg_1 ]
MPRF for transition 19:n_eval_complex_bb3_in___8(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb2_in___14(Arg_0,Arg_1,Arg_2+1,Arg_3+2,Arg_4,Arg_5):|:Arg_4<=6 && Arg_4<=9+Arg_3 && Arg_3+Arg_4<=3 && 3+Arg_4<=Arg_2 && Arg_2+Arg_4<=15 && Arg_4<=9+Arg_1 && Arg_1+Arg_4<=3 && 3+Arg_4<=Arg_0 && Arg_0+Arg_4<=15 && 3+Arg_3<=0 && 12+Arg_3<=Arg_2 && Arg_2+Arg_3<=6 && Arg_3<=Arg_1 && 6+Arg_1+Arg_3<=0 && 12+Arg_3<=Arg_0 && Arg_0+Arg_3<=6 && Arg_2<=12+Arg_3 && Arg_1<=Arg_3 && Arg_0<=12+Arg_3 && Arg_2<=9 && Arg_2<=12+Arg_1 && Arg_1+Arg_2<=6 && Arg_2<=Arg_0 && Arg_0+Arg_2<=18 && 12+Arg_1<=Arg_2 && Arg_0<=Arg_2 && 3+Arg_1<=0 && 12+Arg_1<=Arg_0 && Arg_0+Arg_1<=6 && Arg_0<=12+Arg_1 && Arg_0<=9 && Arg_0<=29 && Arg_1<Arg_0 && Arg_1<=5 && Arg_1<=Arg_3 && Arg_3<=Arg_1 && Arg_0<=Arg_2 && Arg_2<=Arg_0 && Arg_3<=5 of depth 1:
new bound:
1266*Arg_4+253*Arg_5+14592 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [14592-1265*Arg_0-253*Arg_1-Arg_4 ]
n_eval_complex_bb2_in___9 [-1320*Arg_3-Arg_4-3953 ]
n_eval_complex_bb3_in___12 [8850-1067*Arg_0-253*Arg_1-Arg_4 ]
n_eval_complex_bb3_in___16 [10590-1127*Arg_2-253*Arg_3-Arg_4 ]
n_eval_complex_bb3_in___6 [12798-1265*Arg_2-115*Arg_3-Arg_4 ]
n_eval_complex_bb2_in___13 [12798-1265*Arg_2-115*Arg_3-Arg_4 ]
n_eval_complex_bb3_in___8 [-1320*Arg_3-Arg_4-3953 ]
n_eval_complex_bb2_in___14 [8850-1067*Arg_0-253*Arg_1-Arg_4 ]
n_eval_complex_bb4_in___11 [8850-1067*Arg_0-253*Arg_1-Arg_4 ]
n_eval_complex_bb1_in___10 [-1320*Arg_1-Arg_4-2777 ]
n_eval_complex_bb4_in___15 [14592-1265*Arg_0-253*Arg_1-Arg_4 ]
n_eval_complex_bb4_in___5 [12798-1265*Arg_2-115*Arg_3-Arg_4 ]
n_eval_complex_bb1_in___4 [14592-1265*Arg_0-253*Arg_1-Arg_4 ]
MPRF for transition 20:n_eval_complex_bb4_in___11(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___10(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=6 && 1+Arg_4<=Arg_3 && Arg_3+Arg_4<=13 && 1+Arg_4<=Arg_2 && Arg_2+Arg_4<=13 && Arg_1+Arg_4<=11 && Arg_4<=Arg_0 && Arg_0+Arg_4<=12 && Arg_3<=7 && Arg_3<=Arg_2 && Arg_2+Arg_3<=14 && Arg_1+Arg_3<=12 && Arg_0+Arg_3<=13 && Arg_2<=Arg_3 && 2+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && Arg_2<=7 && Arg_1+Arg_2<=12 && Arg_0+Arg_2<=13 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_1<=5 && 1+Arg_1<=Arg_0 && Arg_0+Arg_1<=11 && Arg_0<=6 && Arg_3<=7 && Arg_2<=Arg_3 of depth 1:
new bound:
270*Arg_4+1759 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [1759-138*Arg_0-132*Arg_4 ]
n_eval_complex_bb2_in___9 [1561-130*Arg_0-2*Arg_1-132*Arg_4 ]
n_eval_complex_bb3_in___12 [1585-132*Arg_0-132*Arg_4 ]
n_eval_complex_bb3_in___16 [Arg_2+Arg_3+1759-139*Arg_0-Arg_1-132*Arg_4 ]
n_eval_complex_bb3_in___6 [23*Arg_3+1782-161*Arg_2-132*Arg_4 ]
n_eval_complex_bb2_in___13 [23*Arg_3+1782-161*Arg_2-132*Arg_4 ]
n_eval_complex_bb3_in___8 [1561-2*Arg_1-130*Arg_2-132*Arg_4 ]
n_eval_complex_bb2_in___14 [1585-132*Arg_0-132*Arg_4 ]
n_eval_complex_bb4_in___11 [1585-132*Arg_0-132*Arg_4 ]
n_eval_complex_bb1_in___10 [1321-132*Arg_2-132*Arg_4 ]
n_eval_complex_bb4_in___15 [1483-138*Arg_2-132*Arg_4 ]
n_eval_complex_bb4_in___5 [23*Arg_3+1483-161*Arg_2-132*Arg_4 ]
n_eval_complex_bb1_in___4 [1759-138*Arg_0-132*Arg_4 ]
MPRF for transition 21:n_eval_complex_bb4_in___15(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && Arg_4<=Arg_3 && Arg_4<=Arg_2 && Arg_2+Arg_4<=58 && Arg_4<=Arg_1 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=Arg_1 && Arg_2<=Arg_3 && Arg_1<=Arg_3 && Arg_0<=Arg_3 && Arg_2<=29 && Arg_2<=Arg_1 && Arg_2<=Arg_0 && Arg_0+Arg_2<=58 && Arg_0<=Arg_2 && Arg_0<=Arg_1 && Arg_0<=29 && Arg_2<=Arg_3 of depth 1:
new bound:
25*Arg_5+85*Arg_4+1741 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [25*Arg_3+1741-85*Arg_0 ]
n_eval_complex_bb2_in___9 [70*Arg_2+466-70*Arg_0-45*Arg_1 ]
n_eval_complex_bb3_in___12 [25*Arg_3+1306-70*Arg_2 ]
n_eval_complex_bb3_in___16 [25*Arg_3+1306-70*Arg_2 ]
n_eval_complex_bb3_in___6 [10*Arg_3+1396-70*Arg_2 ]
n_eval_complex_bb2_in___13 [10*Arg_3+1396-70*Arg_2 ]
n_eval_complex_bb3_in___8 [29*Arg_3+1306-70*Arg_0-4*Arg_1 ]
n_eval_complex_bb2_in___14 [25*Arg_3+1326-70*Arg_2 ]
n_eval_complex_bb4_in___11 [25*Arg_3+1326-70*Arg_2 ]
n_eval_complex_bb1_in___10 [916-45*Arg_2 ]
n_eval_complex_bb4_in___15 [25*Arg_1+1741-85*Arg_2 ]
n_eval_complex_bb4_in___5 [10*Arg_3+1396-70*Arg_2 ]
n_eval_complex_bb1_in___4 [25*Arg_3+1321-85*Arg_2 ]
MPRF for transition 22:n_eval_complex_bb4_in___5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5) -> n_eval_complex_bb1_in___4(Arg_2+2,Arg_3-10,Arg_2,Arg_3,Arg_4,Arg_5):|:Arg_4<=29 && 1+Arg_4<=Arg_3 && 1+Arg_4<=Arg_2 && Arg_4<=Arg_0 && Arg_0+Arg_4<=58 && Arg_3<=5+Arg_2 && 13<=Arg_3 && 21<=Arg_2+Arg_3 && Arg_2<=Arg_3 && 7+Arg_1<=Arg_3 && 1+Arg_0<=Arg_3 && 8<=Arg_2 && 2+Arg_1<=Arg_2 && 1+Arg_0<=Arg_2 && Arg_0<=29 && Arg_2<=Arg_3 && 5<Arg_3 of depth 1:
new bound:
3*Arg_4+30 {O(n)}
MPRF:
n_eval_complex_bb2_in___18 [Arg_0+30-2*Arg_2 ]
n_eval_complex_bb2_in___9 [30-Arg_2 ]
n_eval_complex_bb3_in___12 [30-Arg_0 ]
n_eval_complex_bb3_in___16 [30-Arg_0 ]
n_eval_complex_bb3_in___6 [30-Arg_0 ]
n_eval_complex_bb2_in___13 [30-Arg_0 ]
n_eval_complex_bb3_in___8 [10*Arg_1+30-Arg_0-10*Arg_3 ]
n_eval_complex_bb2_in___14 [30-Arg_0 ]
n_eval_complex_bb4_in___11 [30-Arg_0 ]
n_eval_complex_bb1_in___10 [30-Arg_0 ]
n_eval_complex_bb4_in___15 [30-Arg_2 ]
n_eval_complex_bb4_in___5 [30-Arg_0 ]
n_eval_complex_bb1_in___4 [30-Arg_2 ]
All Bounds
Timebounds
Overall timebound:14986*Arg_4+2937*Arg_5+294148 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19: 1 {O(1)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9: 14*Arg_4+2*Arg_5+136 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18: 1 {O(1)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17: 1 {O(1)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18: 9*Arg_4+Arg_5+163 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3: 1 {O(1)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6: 25*Arg_4+5*Arg_5+840 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5: 5*Arg_4+146 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12: 1265*Arg_5+6555*Arg_4+224480 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11: 115*Arg_5+391*Arg_4+3405 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16: 2*Arg_4+59 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15: Arg_4+30 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8: 1265*Arg_5+6335*Arg_4+45794 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13: 2*Arg_4+59 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14: 5*Arg_4+Arg_5+158 {O(n)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13: 10*Arg_4+2*Arg_5+523 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14: Arg_4+30 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13: 3*Arg_5+7*Arg_4+196 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14: 1266*Arg_4+253*Arg_5+14592 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10: 270*Arg_4+1759 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4: 25*Arg_5+85*Arg_4+1741 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4: 3*Arg_4+30 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1: 1 {O(1)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2: 1 {O(1)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20: 1 {O(1)}
Costbounds
Overall costbound: 14986*Arg_4+2937*Arg_5+294148 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19: 1 {O(1)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9: 14*Arg_4+2*Arg_5+136 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18: 1 {O(1)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17: 1 {O(1)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18: 9*Arg_4+Arg_5+163 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3: 1 {O(1)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6: 25*Arg_4+5*Arg_5+840 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5: 5*Arg_4+146 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12: 1265*Arg_5+6555*Arg_4+224480 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11: 115*Arg_5+391*Arg_4+3405 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16: 2*Arg_4+59 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15: Arg_4+30 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8: 1265*Arg_5+6335*Arg_4+45794 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13: 2*Arg_4+59 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14: 5*Arg_4+Arg_5+158 {O(n)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13: 10*Arg_4+2*Arg_5+523 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14: Arg_4+30 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13: 3*Arg_5+7*Arg_4+196 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14: 1266*Arg_4+253*Arg_5+14592 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10: 270*Arg_4+1759 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4: 25*Arg_5+85*Arg_4+1741 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4: 3*Arg_4+30 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1: 1 {O(1)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2: 1 {O(1)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20: 1 {O(1)}
Sizebounds
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_0: Arg_4 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_1: Arg_5 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_2: Arg_2 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_3: Arg_3 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_4: Arg_4 {O(n)}
0: n_eval_complex_bb0_in___20->n_eval_complex_bb1_in___19, Arg_5: Arg_5 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_3: 3958*Arg_4+546*Arg_5+51832 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_4: 2*Arg_4 {O(n)}
1: n_eval_complex_bb1_in___10->n_eval_complex_bb2_in___9, Arg_5: 2*Arg_5 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_0: Arg_4 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_1: Arg_5 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_2: Arg_4 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_3: Arg_5 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_4: Arg_4 {O(n)}
2: n_eval_complex_bb1_in___19->n_eval_complex_bb2_in___18, Arg_5: Arg_5 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_0: Arg_4 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_1: Arg_5 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_2: Arg_2 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_3: Arg_3 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_4: Arg_4 {O(n)}
3: n_eval_complex_bb1_in___19->n_eval_complex_bb5_in___17, Arg_5: Arg_5 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_1: 272*Arg_5+899*Arg_4+18880 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_3: 293*Arg_5+948*Arg_4+20350 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_4: 2*Arg_4 {O(n)}
4: n_eval_complex_bb1_in___4->n_eval_complex_bb2_in___18, Arg_5: 2*Arg_5 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_0: 2920*Arg_4+614*Arg_5+37292 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_1: 293*Arg_5+948*Arg_4+20350 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_2: 2921*Arg_4+614*Arg_5+37292 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_3: 315*Arg_5+997*Arg_4+21820 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_4: 4*Arg_4 {O(n)}
5: n_eval_complex_bb1_in___4->n_eval_complex_bb5_in___3, Arg_5: 4*Arg_5 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_0: 1460*Arg_4+307*Arg_5+18675 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_1: 3958*Arg_4+546*Arg_5+51860 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_3: 21*Arg_5+49*Arg_4+1421 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_4: 2*Arg_4 {O(n)}
6: n_eval_complex_bb2_in___13->n_eval_complex_bb3_in___6, Arg_5: 2*Arg_5 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_0: 2920*Arg_4+614*Arg_5+37350 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_1: 1092*Arg_5+7916*Arg_4+103720 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_3: 21*Arg_5+49*Arg_4+1470 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_4: 2*Arg_4 {O(n)}
7: n_eval_complex_bb2_in___13->n_eval_complex_bb4_in___5, Arg_5: 2*Arg_5 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_3: 4916*Arg_4+842*Arg_5+72500 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_4: 2*Arg_4 {O(n)}
8: n_eval_complex_bb2_in___14->n_eval_complex_bb3_in___12, Arg_5: 2*Arg_5 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_2: 2920*Arg_4+614*Arg_5+37292 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_3: 1136*Arg_5+5864*Arg_4+92852 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_4: 2*Arg_4 {O(n)}
9: n_eval_complex_bb2_in___14->n_eval_complex_bb4_in___11, Arg_5: 2*Arg_5 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_1: 273*Arg_5+899*Arg_4+18880 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_3: 294*Arg_5+948*Arg_4+20350 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_4: 2*Arg_4 {O(n)}
10: n_eval_complex_bb2_in___18->n_eval_complex_bb3_in___16, Arg_5: 2*Arg_5 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_1: 272*Arg_5+899*Arg_4+18880 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_2: 1461*Arg_4+307*Arg_5+18646 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_3: 294*Arg_5+948*Arg_4+20350 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_4: 2*Arg_4 {O(n)}
11: n_eval_complex_bb2_in___18->n_eval_complex_bb4_in___15, Arg_5: 2*Arg_5 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_3: 3958*Arg_4+546*Arg_5+51832 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_4: 2*Arg_4 {O(n)}
12: n_eval_complex_bb2_in___9->n_eval_complex_bb3_in___8, Arg_5: 2*Arg_5 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_3: 14 {O(1)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_4: 2*Arg_4 {O(n)}
14: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___13, Arg_5: 2*Arg_5 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_3: 4916*Arg_4+842*Arg_5+72500 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_4: 2*Arg_4 {O(n)}
15: n_eval_complex_bb3_in___12->n_eval_complex_bb2_in___14, Arg_5: 2*Arg_5 {O(n)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_0: 29 {O(1)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_1: 28 {O(1)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_2: 30 {O(1)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_3: 35 {O(1)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_4: 2*Arg_4 {O(n)}
16: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___13, Arg_5: 2*Arg_5 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_1: 273*Arg_5+899*Arg_4+18880 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_3: 294*Arg_5+948*Arg_4+20352 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_4: 2*Arg_4 {O(n)}
17: n_eval_complex_bb3_in___16->n_eval_complex_bb2_in___14, Arg_5: 2*Arg_5 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_0: 1460*Arg_4+307*Arg_5+18675 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_1: 3958*Arg_4+546*Arg_5+51860 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_3: 21*Arg_5+49*Arg_4+1421 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_4: 2*Arg_4 {O(n)}
18: n_eval_complex_bb3_in___6->n_eval_complex_bb2_in___13, Arg_5: 2*Arg_5 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_3: 3958*Arg_4+546*Arg_5+51832 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_4: 2*Arg_4 {O(n)}
19: n_eval_complex_bb3_in___8->n_eval_complex_bb2_in___14, Arg_5: 2*Arg_5 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_1: 3958*Arg_4+546*Arg_5+51832 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_2: 2920*Arg_4+614*Arg_5+37292 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_3: 1136*Arg_5+5864*Arg_4+92852 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_4: 2*Arg_4 {O(n)}
20: n_eval_complex_bb4_in___11->n_eval_complex_bb1_in___10, Arg_5: 2*Arg_5 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_1: 272*Arg_5+899*Arg_4+18880 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_2: 1461*Arg_4+307*Arg_5+18646 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_3: 294*Arg_5+948*Arg_4+20350 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_4: 2*Arg_4 {O(n)}
21: n_eval_complex_bb4_in___15->n_eval_complex_bb1_in___4, Arg_5: 2*Arg_5 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_0: 1460*Arg_4+307*Arg_5+18646 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_1: 21*Arg_5+49*Arg_4+1470 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_2: 1460*Arg_4+307*Arg_5+18646 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_3: 21*Arg_5+49*Arg_4+1470 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_4: 2*Arg_4 {O(n)}
22: n_eval_complex_bb4_in___5->n_eval_complex_bb1_in___4, Arg_5: 2*Arg_5 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_0: Arg_4 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_1: Arg_5 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_2: Arg_2 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_3: Arg_3 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_4: Arg_4 {O(n)}
24: n_eval_complex_bb5_in___17->n_eval_complex_stop___1, Arg_5: Arg_5 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_0: 2920*Arg_4+614*Arg_5+37292 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_1: 293*Arg_5+948*Arg_4+20350 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_2: 2921*Arg_4+614*Arg_5+37292 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_3: 315*Arg_5+997*Arg_4+21820 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_4: 4*Arg_4 {O(n)}
25: n_eval_complex_bb5_in___3->n_eval_complex_stop___2, Arg_5: 4*Arg_5 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_0: Arg_0 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_1: Arg_1 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_2: Arg_2 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_3: Arg_3 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_4: Arg_4 {O(n)}
26: n_eval_complex_start->n_eval_complex_bb0_in___20, Arg_5: Arg_5 {O(n)}