
Preprocessing Cost Relations
=====================================

#### Computed strongly connected components 
0. recursive  : [f304/35]
1. non_recursive  : [exit_location/1]
2. recursive  : [f430/35]
3. recursive  : [f468/55,f475/55]
4. recursive  : [f596/3]
5. non_recursive  : [f596_loop_cont/2]
6. non_recursive  : [f666666/163]
7. non_recursive  : [f588/163]
8. non_recursive  : [f468_loop_cont/164]
9. recursive  : [f514/56]
10. recursive  : [f571/35]
11. non_recursive  : [f571_loop_cont/164]
12. non_recursive  : [f562/163]
13. non_recursive  : [f555/163]
14. non_recursive  : [f547/163]
15. non_recursive  : [f514_loop_cont/164]
16. non_recursive  : [f460/163]
17. non_recursive  : [f447/163]
18. non_recursive  : [f430_loop_cont/164]
19. non_recursive  : [f421/163]
20. non_recursive  : [f414/163]
21. non_recursive  : [f406/163]
22. non_recursive  : [f399/163]
23. non_recursive  : [f304_loop_cont/164]
24. recursive  : [f155/79,f35/79,f42/79]
25. non_recursive  : [f35_loop_cont/164]
26. non_recursive  : [f14/163]
27. non_recursive  : [f3/163]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f304/35
1. SCC is completely evaluated into other SCCs
2. SCC is partially evaluated into f430/35
3. SCC is partially evaluated into f468/55
4. SCC is partially evaluated into f596/3
5. SCC is completely evaluated into other SCCs
6. SCC is completely evaluated into other SCCs
7. SCC is partially evaluated into f588/163
8. SCC is partially evaluated into f468_loop_cont/164
9. SCC is partially evaluated into f514/56
10. SCC is partially evaluated into f571/35
11. SCC is partially evaluated into f571_loop_cont/164
12. SCC is partially evaluated into f562/163
13. SCC is partially evaluated into f555/163
14. SCC is partially evaluated into f547/163
15. SCC is partially evaluated into f514_loop_cont/164
16. SCC is partially evaluated into f460/163
17. SCC is partially evaluated into f447/163
18. SCC is partially evaluated into f430_loop_cont/164
19. SCC is partially evaluated into f421/163
20. SCC is partially evaluated into f414/163
21. SCC is partially evaluated into f406/163
22. SCC is partially evaluated into f399/163
23. SCC is partially evaluated into f304_loop_cont/164
24. SCC is partially evaluated into f35/79
25. SCC is partially evaluated into f35_loop_cont/164
26. SCC is partially evaluated into f14/163
27. SCC is partially evaluated into f3/163

Control-Flow Refinement of Cost Relations
=====================================

### Specialization of cost equations f304/35 
* CE 6 is refined into CE [65] 
* CE 5 is refined into CE [66] 
* CE 4 is refined into CE [67] 


### Cost equations --> "Loop" of f304/35 
* CEs [67] --> Loop 65 
* CEs [65] --> Loop 66 
* CEs [66] --> Loop 67 

### Ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 

#### Partial ranking functions of CR f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6) 


### Specialization of cost equations f430/35 
* CE 43 is refined into CE [68] 
* CE 46 is refined into CE [69] 
* CE 44 is refined into CE [70] 
* CE 45 is refined into CE [71] 


### Cost equations --> "Loop" of f430/35 
* CEs [70] --> Loop 68 
* CEs [71] --> Loop 69 
* CEs [68] --> Loop 70 
* CEs [69] --> Loop 71 

### Ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 

#### Partial ranking functions of CR f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 


### Specialization of cost equations f468/55 
* CE 31 is discarded (unfeasible) 
* CE 30 is discarded (unfeasible) 
* CE 32 is discarded (unfeasible) 
* CE 29 is discarded (unfeasible) 
* CE 28 is discarded (unfeasible) 


### Cost equations --> "Loop" of f468/55 

### Ranking functions of CR f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7) 

#### Partial ranking functions of CR f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7) 

Warning: no base case found for predicate

### Specialization of cost equations f596/3 
* CE 54 is refined into CE [72] 
* CE 53 is refined into CE [73] 


### Cost equations --> "Loop" of f596/3 
* CEs [73] --> Loop 72 
* CEs [72] --> Loop 73 

### Ranking functions of CR f596(A,J,M6) 

#### Partial ranking functions of CR f596(A,J,M6) 


### Specialization of cost equations f588/163 
* CE 50 is refined into CE [74,75] 
* CE 49 is refined into CE [76] 


### Cost equations --> "Loop" of f588/163 
* CEs [74] --> Loop 74 
* CEs [76] --> Loop 75 
* CEs [75] --> Loop 76 

### Ranking functions of CR f588(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f588(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f468_loop_cont/164 
* CE 34 is discarded (unfeasible) 
* CE 33 is discarded (unfeasible) 


### Cost equations --> "Loop" of f468_loop_cont/164 

### Ranking functions of CR f468_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f468_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

Warning: no base case found for predicate

### Specialization of cost equations f514/56 
* CE 38 is refined into CE [77] 
* CE 35 is refined into CE [78] 
* CE 39 is refined into CE [79] 
* CE 36 is refined into CE [80] 
* CE 37 is refined into CE [81] 


### Cost equations --> "Loop" of f514/56 
* CEs [81] --> Loop 77 
* CEs [80] --> Loop 78 
* CEs [77] --> Loop 79 
* CEs [79] --> Loop 80 
* CEs [78] --> Loop 81 

### Ranking functions of CR f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7) 

#### Partial ranking functions of CR f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7) 


### Specialization of cost equations f571/35 
* CE 59 is refined into CE [82] 
* CE 62 is refined into CE [83] 
* CE 60 is refined into CE [84] 
* CE 61 is refined into CE [85] 


### Cost equations --> "Loop" of f571/35 
* CEs [85] --> Loop 82 
* CEs [84] --> Loop 83 
* CEs [83] --> Loop 84 
* CEs [82] --> Loop 85 

### Ranking functions of CR f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 

#### Partial ranking functions of CR f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7) 


### Specialization of cost equations f571_loop_cont/164 
* CE 63 is refined into CE [86,87,88] 
* CE 64 is refined into CE [89] 


### Cost equations --> "Loop" of f571_loop_cont/164 
* CEs [87] --> Loop 86 
* CEs [86] --> Loop 87 
* CEs [89] --> Loop 88 
* CEs [88] --> Loop 89 

### Ranking functions of CR f571_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f571_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 


### Specialization of cost equations f562/163 
* CE 57 is refined into CE [90,91] 
* CE 58 is refined into CE [92,93,94,95,96,97,98] 


### Cost equations --> "Loop" of f562/163 
* CEs [91] --> Loop 90 
* CEs [95,96,97,98] --> Loop 91 
* CEs [90] --> Loop 92 
* CEs [92,93,94] --> Loop 93 

### Ranking functions of CR f562(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f562(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f555/163 
* CE 55 is refined into CE [99,100] 
* CE 56 is refined into CE [101,102] 


### Cost equations --> "Loop" of f555/163 
* CEs [100] --> Loop 94 
* CEs [102] --> Loop 95 
* CEs [99] --> Loop 96 
* CEs [101] --> Loop 97 

### Ranking functions of CR f555(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f555(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f547/163 
* CE 51 is refined into CE [103,104] 
* CE 52 is refined into CE [105,106,107,108] 


### Cost equations --> "Loop" of f547/163 
* CEs [104] --> Loop 98 
* CEs [108] --> Loop 99 
* CEs [107] --> Loop 100 
* CEs [103] --> Loop 101 
* CEs [106] --> Loop 102 
* CEs [105] --> Loop 103 

### Ranking functions of CR f547(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f547(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f514_loop_cont/164 
* CE 41 is refined into CE [109,110,111,112,113,114] 
* CE 40 is refined into CE [115,116,117] 
* CE 42 is refined into CE [118] 


### Cost equations --> "Loop" of f514_loop_cont/164 
* CEs [111] --> Loop 104 
* CEs [110] --> Loop 105 
* CEs [109] --> Loop 106 
* CEs [116] --> Loop 107 
* CEs [115] --> Loop 108 
* CEs [118] --> Loop 109 
* CEs [114] --> Loop 110 
* CEs [113] --> Loop 111 
* CEs [112] --> Loop 112 
* CEs [117] --> Loop 113 

### Ranking functions of CR f514_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f514_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 


### Specialization of cost equations f460/163 
* CE 24 is discarded (unfeasible) 
* CE 25 is refined into CE [119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140] 


### Cost equations --> "Loop" of f460/163 
* CEs [123,125,127,130,131,132,133,134,135,136,137,138,139,140] --> Loop 114 
* CEs [128] --> Loop 115 
* CEs [119,120,121,122,124,126,129] --> Loop 116 

### Ranking functions of CR f460(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f460(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f447/163 
* CE 20 is refined into CE [141,142,143] 
* CE 21 is refined into CE [144] 


### Cost equations --> "Loop" of f447/163 
* CEs [142] --> Loop 117 
* CEs [144] --> Loop 118 
* CEs [141] --> Loop 119 
* CEs [143] --> Loop 120 

### Ranking functions of CR f447(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f447(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f430_loop_cont/164 
* CE 47 is refined into CE [145,146,147,148] 
* CE 48 is refined into CE [149] 


### Cost equations --> "Loop" of f430_loop_cont/164 
* CEs [147] --> Loop 121 
* CEs [146] --> Loop 122 
* CEs [145] --> Loop 123 
* CEs [149] --> Loop 124 
* CEs [148] --> Loop 125 

### Ranking functions of CR f430_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f430_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 


### Specialization of cost equations f421/163 
* CE 26 is refined into CE [150,151,152] 
* CE 27 is refined into CE [153,154,155,156,157,158,159,160,161] 


### Cost equations --> "Loop" of f421/163 
* CEs [152] --> Loop 126 
* CEs [157,159,160] --> Loop 127 
* CEs [158,161] --> Loop 128 
* CEs [151] --> Loop 129 
* CEs [150] --> Loop 130 
* CEs [156] --> Loop 131 
* CEs [154,155] --> Loop 132 
* CEs [153] --> Loop 133 

### Ranking functions of CR f421(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f421(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f414/163 
* CE 22 is refined into CE [162,163,164] 
* CE 23 is refined into CE [165,166,167,168,169] 


### Cost equations --> "Loop" of f414/163 
* CEs [169] --> Loop 134 
* CEs [164] --> Loop 135 
* CEs [168] --> Loop 136 
* CEs [163] --> Loop 137 
* CEs [167] --> Loop 138 
* CEs [166] --> Loop 139 
* CEs [165] --> Loop 140 
* CEs [162] --> Loop 141 

### Ranking functions of CR f414(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f414(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f406/163 
* CE 18 is refined into CE [170,171,172] 
* CE 19 is refined into CE [173,174,175,176,177,178,179,180] 


### Cost equations --> "Loop" of f406/163 
* CEs [172] --> Loop 142 
* CEs [180] --> Loop 143 
* CEs [179] --> Loop 144 
* CEs [178] --> Loop 145 
* CEs [171] --> Loop 146 
* CEs [170] --> Loop 147 
* CEs [177] --> Loop 148 
* CEs [176] --> Loop 149 
* CEs [175] --> Loop 150 
* CEs [174] --> Loop 151 
* CEs [173] --> Loop 152 

### Ranking functions of CR f406(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f406(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f399/163 
* CE 16 is refined into CE [181,182,183] 
* CE 17 is refined into CE [184,185,186,187,188,189,190,191] 


### Cost equations --> "Loop" of f399/163 
* CEs [191] --> Loop 153 
* CEs [183] --> Loop 154 
* CEs [190] --> Loop 155 
* CEs [189] --> Loop 156 
* CEs [182] --> Loop 157 
* CEs [188] --> Loop 158 
* CEs [187] --> Loop 159 
* CEs [186] --> Loop 160 
* CEs [185] --> Loop 161 
* CEs [181] --> Loop 162 
* CEs [184] --> Loop 163 

### Ranking functions of CR f399(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f399(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f304_loop_cont/164 
* CE 8 is refined into CE [192] 
* CE 7 is refined into CE [193,194,195,196,197,198,199,200,201,202,203] 


### Cost equations --> "Loop" of f304_loop_cont/164 
* CEs [203] --> Loop 164 
* CEs [202] --> Loop 165 
* CEs [201] --> Loop 166 
* CEs [200] --> Loop 167 
* CEs [192] --> Loop 168 
* CEs [199] --> Loop 169 
* CEs [198] --> Loop 170 
* CEs [197] --> Loop 171 
* CEs [196] --> Loop 172 
* CEs [195] --> Loop 173 
* CEs [194] --> Loop 174 
* CEs [193] --> Loop 175 

### Ranking functions of CR f304_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f304_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 


### Specialization of cost equations f35/79 
* CE 12 is discarded (unfeasible) 
* CE 13 is refined into CE [204] 
* CE 10 is discarded (unfeasible) 
* CE 9 is discarded (unfeasible) 
* CE 11 is refined into CE [205] 


### Cost equations --> "Loop" of f35/79 
* CEs [205] --> Loop 176 
* CEs [204] --> Loop 177 

### Ranking functions of CR f35(A,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7) 

#### Partial ranking functions of CR f35(A,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7) 


### Specialization of cost equations f35_loop_cont/164 
* CE 14 is refined into CE [206] 
* CE 15 is refined into CE [207] 


### Cost equations --> "Loop" of f35_loop_cont/164 
* CEs [206] --> Loop 178 
* CEs [207] --> Loop 179 

### Ranking functions of CR f35_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 

#### Partial ranking functions of CR f35_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6) 


### Specialization of cost equations f14/163 
* CE 3 is refined into CE [208,209,210,211] 
* CE 2 is refined into CE [212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231] 


### Cost equations --> "Loop" of f14/163 
* CEs [210,211] --> Loop 180 
* CEs [214,217,220,221,222,223,224,225,226,227,228,229,230,231] --> Loop 181 
* CEs [208,209] --> Loop 182 
* CEs [218] --> Loop 183 
* CEs [212,213,215,216,219] --> Loop 184 

### Ranking functions of CR f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


### Specialization of cost equations f3/163 
* CE 1 is refined into CE [232,233,234,235,236] 


### Cost equations --> "Loop" of f3/163 
* CEs [235,236] --> Loop 185 
* CEs [232,233,234] --> Loop 186 

### Ranking functions of CR f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 

#### Partial ranking functions of CR f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6) 


Computing Bounds
=====================================

#### Cost of chains of f304(A,H,I,B2,C2,D2,E2,F2,G2,H2,I2,P4,Q4,R4,S4,T4,U4,V4,W4,Y4,J5,T5,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6):
* Chain [[65]]...: 1*it(65)+0
  with precondition: [A=4,H=0,0>=I] 

* Chain [[65],67]: 1*it(65)+0
  with precondition: [A=4,H=0,M6=2,N6=7,O6=1,Q6=7,R6=1,T6=1,V6=7,W6=0,X6=0,Y6=0,P6=S6,P6=U6,0>=I,I>=P6+1] 

* Chain [[65],66]: 1*it(65)+0
  with precondition: [A=4,H=0,M6=3,0>=I] 

* Chain [67]: 0
  with precondition: [A=4,H=0,M6=2,N6=7,O6=1,Q6=7,R6=1,T6=1,V6=7,W6=0,X6=0,Y6=0,I=P6,I=S6,I=U6,0>=I] 

* Chain [66]: 0
  with precondition: [A=4,H=0,M6=3] 


#### Cost of chains of f430(L,P4,Q4,R4,S4,T4,U4,V4,W4,X4,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7):
* Chain [[68]]...: 1*it(68)+0
  with precondition: [P4=1,W4=9,0>=T5] 

* Chain [[68],71]: 1*it(68)+0
  with precondition: [P4=1,W4=9,M6=3,0>=T5] 

* Chain [[68],69,71]: 1*it(68)+1
  with precondition: [P4=1,W4=9,M6=3,0>=T5] 

* Chain [[68],69,70]: 1*it(68)+1
  with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,R6=1,V6=9,Z6=1,Q4=T6,R4=U6,S4=W6,T4=X6,U4=Y6,V4=A7,0>=T5,S6>=1] 

* Chain [71]: 0
  with precondition: [P4=1,W4=9,M6=3] 

* Chain [70]: 0
  with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,S6=U5,T6=V5,U6=W5,V6=X5,W6=Y5,X6=Z5,Y6=A6,Z6=B6,A7=C6,T5=R6,T5>=1] 

* Chain [69,71]: 1
  with precondition: [P4=1,W4=9,M6=3,0>=T5] 

* Chain [69,70]: 1
  with precondition: [P4=1,W4=9,M6=5,N6=0,O6=1,P6=9,Q6=0,R6=1,V6=9,Z6=1,Q4=T6,R4=U6,S4=W6,T4=X6,U4=Y6,V4=A7,0>=T5,S6>=1] 


#### Cost of chains of f468(B,L,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,C3,D3,E3,F3,G3,H3,I3,L3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7):

#### Cost of chains of f596(A,J,M6):
* Chain [[72]]...: 1*it(72)+0
  with precondition: [A=9,1>=J,M6=3] 

* Chain [[72],73]: 1*it(72)+0
  with precondition: [A=9,M6=3,1>=J] 

* Chain [73]: 0
  with precondition: [A=9,M6=3,1>=J] 


#### Cost of chains of f588(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [76]...: 1*s(5)+0
  with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,L>=1] 

* Chain [75]: 0
  with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,0>=L] 

* Chain [74]: 1*s(6)+0
  with precondition: [C=0,D=0,L3=0,C3=E,D3=F,E3=G,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=J,L>=1] 


#### Cost of chains of f468_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):

#### Cost of chains of f514(B,L,F1,B2,C2,D2,E2,F2,G2,H2,I2,J2,C3,D3,E3,F3,G3,H3,I3,K3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7):
* Chain [[78]]...: 1*it(78)+0
  with precondition: [I2=I3,H2=H3,E2=E3,C2=D3,B2=C3,B=4,L>=1,F1>=J2,J2>=0,1>=F1,0>=H2,0>=G3,K3=0] 

* Chain [[78],80]: 1*it(78)+0
  with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 

* Chain [[78],79]: 1*it(78)+0
  with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=0,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,Y3=D7,Z3=E7,A4=F7,B4=G7,C4=H7,D4=I7,E4=J7,F4=K7,D6=L7,1>=F1,0>=H2,0>=G3,0>=C7,L>=1,J2>=0,F1>=J2,G3>=V6+1] 

* Chain [[78],77,81]: 1*it(78)+1
  with precondition: [B=4,K3=0,M6=6,N6=6,O6=0,B7=1,F7=6,L7=0,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,F1=P6,B2=Q6,C2=R6,D2=S6,E2=T6,F2=U6,G2=V6,H2=W6,I2=X6,J2=Y6,F3=Z6,B2=D7,C2=E7,E2=G7,F3=H7,A7+1=I7,H2=J7,I2=K7,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,C7>=1,F1>=J2,G3>=A7+3] 

* Chain [[78],77,80]: 1*it(78)+1
  with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 

* Chain [[78],77,79]: 1*it(78)+1
  with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=1,F7=6,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,B2=D7,C2=E7,E2=G7,F3=H7,V6=I7,H2=J7,I2=K7,D6=L7,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,C7>=1,F1>=J2,G3>=V6+2] 

* Chain [80]: 0
  with precondition: [B=4,M6=3,C3=B2,D3=C2,E3=E2,H3=H2,I3=I2,1>=F1,0>=H3,1>=K3,L>=1,J2>=0,K3>=0,F1>=J2] 

* Chain [79]: 0
  with precondition: [B=4,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,C3=B2,D3=C2,E3=E2,H3=H2,I3=I2,C7=X3,D7=Y3,E7=Z3,F7=A4,G7=B4,H7=C4,I7=D4,J7=E4,K7=F4,L7=D6,L=O6,C3=Q6,D3=R6,E3=T6,G3=V6,H3=W6,I3=X6,G3=A7,K3=B7,1>=F1,0>=G3,0>=H3,1>=K3,L>=1,J2>=0,K3>=0,F1>=J2] 

* Chain [77,81]: 1
  with precondition: [B=4,K3=0,M6=6,N6=6,O6=0,B7=1,F7=6,L7=0,B2=C3,C2=D3,E2=E3,I7+1=G3,H2=H3,I2=I3,F1=P6,B2=Q6,C2=R6,D2=S6,E2=T6,F2=U6,G2=V6,H2=W6,I2=X6,J2=Y6,F3=Z6,I7=A7+1,B2=D7,C2=E7,E2=G7,F3=H7,H2=J7,I2=K7,1>=F1,0>=H2,0>=I7+1,L>=1,J2>=0,C7>=1,F1>=J2] 

* Chain [77,80]: 1
  with precondition: [B=4,K3=0,M6=3,B2=C3,C2=D3,E2=E3,H2=H3,I2=I3,1>=F1,0>=H2,0>=G3,L>=1,J2>=0,F1>=J2] 

* Chain [77,79]: 1
  with precondition: [B=4,K3=0,M6=7,N6=7,P6=1,S6=7,U6=1,Y6=1,Z6=1,B7=1,F7=6,B2=C3,C2=D3,E2=E3,V6+1=G3,H2=H3,I2=I3,L=O6,B2=Q6,C2=R6,E2=T6,H2=W6,I2=X6,V6=A7,B2=D7,C2=E7,E2=G7,F3=H7,V6=I7,H2=J7,I2=K7,D6=L7,1>=F1,0>=H2,0>=V6+1,L>=1,J2>=0,C7>=1,F1>=J2] 


#### Cost of chains of f571(B,L,C3,D3,E3,F3,G3,H3,I3,J3,G4,H4,I4,J4,K4,L4,M4,N4,O4,D6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7):
* Chain [[83]]...: 1*it(83)+0
  with precondition: [B=9,H3=1,J3=0] 

* Chain [[83],84]: 1*it(83)+0
  with precondition: [B=9,H3=1,J3=0,M6=3] 

* Chain [[83],82,85]: 1*it(83)+1
  with precondition: [B=9,H3=1,J3=0,M6=6,N6=9,O6=0,P6=1,Q6=1,U6=9,Y6=1,A7=0,C3=S6,D3=T6,E3=V6,F3=W6,G3=X6,I3=Z6,R6>=1] 

* Chain [[83],82,84]: 1*it(83)+1
  with precondition: [B=9,H3=1,J3=0,M6=3] 

* Chain [84]: 0
  with precondition: [B=9,H3=1,M6=3,1>=J3,J3>=0] 

* Chain [82,85]: 1
  with precondition: [B=9,H3=1,J3=0,M6=6,N6=9,O6=0,P6=1,Q6=1,U6=9,Y6=1,A7=0,C3=S6,D3=T6,E3=V6,F3=W6,G3=X6,I3=Z6,R6>=1] 

* Chain [82,84]: 1
  with precondition: [B=9,H3=1,J3=0,M6=3] 


#### Cost of chains of f571_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):
* Chain [89]...: 1*s(12)+0
  with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2,M>=1] 

* Chain [88]: 0
  with precondition: [A=3,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2] 

* Chain [87]: 0
  with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=M,0>=R2] 

* Chain [86]: 1*s(13)+0
  with precondition: [A=6,D=0,E=0,G1=0,T2=0,M3=0,L2=F,M2=G,O2=H,R2=K,S2=L,G3=P2,H3=Q2,L2=D3,M2=E3,O2=F3,S2=J3,L2=R4,M2=S4,O2=T4,S2=W4,0>=R2,M>=1] 


#### Cost of chains of f562(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [93]: 1*aux(7)+0
  with precondition: [C=0,D=0,F1=0,S2=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 

* Chain [92]: 1*s(16)+0
  with precondition: [C=0,D=0,F1=1,S2=1,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 

* Chain [91]...: 1*aux(8)+0
  with precondition: [C=0,D=0,F1=0,S2=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 

* Chain [90]...: 1*s(23)+0
  with precondition: [C=0,D=0,F1=1,S2=1,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=Q2] 


#### Cost of chains of f555(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [97]: 1*s(24)+0
  with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,0>=F3] 

* Chain [96]: 1*s(25)+0
  with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,F3>=1] 

* Chain [95]...: 1*s(26)+0
  with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,0>=F3] 

* Chain [94]...: 1*s(27)+0
  with precondition: [C=0,D=0,J3=0,L3=0,M2=B,K2=E,L2=F,N2=G,Q2=J,R2=K,F3=O2,G3=P2,K2=C3,L2=D3,N2=E3,Q2=H3,R2=I3,K2=Q4,L2=R4,N2=S4,R2=V4,0>=F1,0>=Q2,F3>=1] 


#### Cost of chains of f547(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [103]: 1*s(28)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=F3,0>=H3] 

* Chain [102]: 1*s(29)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=H3,F3>=1] 

* Chain [101]: 1*s(30)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=H3,F1>=1] 

* Chain [100]...: 1*s(31)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=F3,0>=H3] 

* Chain [99]...: 1*s(32)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=F1,0>=H3,F3>=1] 

* Chain [98]...: 1*s(33)+0
  with precondition: [C=0,D=0,J3=0,L3=0,C3=E,D3=F,E3=G,H3=J,I3=K,C3=Q4,D3=R4,E3=S4,I3=V4,0>=H3,F1>=1] 


#### Cost of chains of f514_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):
* Chain [113]...: 1*s(34)+0
  with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,M>=1] 

* Chain [112]...: 1*s(35)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=G3,0>=I3] 

* Chain [111]...: 1*s(36)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=I3,G3>=1] 

* Chain [110]...: 1*s(37)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,G1>=1] 

* Chain [109]: 0
  with precondition: [A=3,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3] 

* Chain [108]: 0
  with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=M,0>=I3] 

* Chain [107]: 1*s(38)+0
  with precondition: [A=6,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,M>=1] 

* Chain [106]: 1*s(39)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=G3,0>=I3] 

* Chain [105]: 1*s(40)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=G1,0>=I3,G3>=1] 

* Chain [104]: 1*s(41)+0
  with precondition: [A=7,D=0,E=0,K3=0,M3=0,D3=F,E3=G,F3=H,I3=K,J3=L,D3=R4,E3=S4,F3=T4,J3=W4,0>=I3,G1>=1] 


#### Cost of chains of f460(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [116]: 1*aux(9)+0
  with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,0>=G3,L>=1,J2>=0,F1>=J2] 

* Chain [115]: 0
  with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,L>=1,J2>=0,F1>=J2] 

* Chain [114]...: 1*aux(10)+0
  with precondition: [C=0,D=0,J3=0,K3=0,L3=0,B=A,B2=E,C2=F,E2=G,F3=H,G3=I,I2=K,J=H2,B2=C3,C2=D3,E2=E3,J=H3,I2=I3,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,1>=F1,0>=G3,L>=1,J2>=0,F1>=J2] 


#### Cost of chains of f447(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [120]...: 1*s(74)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 

* Chain [119]: 1*s(75)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 

* Chain [118]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,0>=L,1>=F1,0>=H2,J2>=0,F1>=J2] 

* Chain [117]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=Q4,C2=R4,E2=S4,I2=V4,1>=F1,0>=H2,L>=1,J2>=0,F1>=J2] 


#### Cost of chains of f430_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):
* Chain [125]...: 1*s(76)+0
  with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=I2,M>=1] 

* Chain [124]: 0
  with precondition: [A=3,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=I2] 

* Chain [123]: 1*s(77)+0
  with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=I2,M>=1] 

* Chain [122]: 0
  with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=M,0>=I2] 

* Chain [121]: 0
  with precondition: [A=5,D=0,E=0,G1=0,K2=0,T2=0,C2=F,D2=G,F2=H,I2=K,J2=L,C2=L2,D2=M2,F2=O2,U4=P2,V4=Q2,I2=R2,J2=S2,C2=R4,D2=S4,F2=T4,J2=W4,0>=I2,M>=1] 


#### Cost of chains of f421(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [133]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 

* Chain [132]: 1*aux(11)+0
  with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T5] 

* Chain [131]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,T5>=1] 

* Chain [130]: 1*s(80)+0
  with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 

* Chain [129]: 0
  with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 

* Chain [128]...: 1*aux(12)+0
  with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,0>=T5] 

* Chain [127]...: 1*aux(13)+0
  with precondition: [C=0,D=0,F1=0,J2=0,S2=0,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T5] 

* Chain [126]...: 1*s(88)+0
  with precondition: [C=0,D=0,F1=1,J2=0,S2=1,B2=E,C2=F,E2=G,H2=J,I2=K,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,H2=Q2,I2=R2,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 


#### Cost of chains of f414(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [141]: 1*s(89)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,T4>=1] 

* Chain [140]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4] 

* Chain [139]: 1*s(90)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,0>=T5] 

* Chain [138]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,T5>=1] 

* Chain [137]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,T4>=1] 

* Chain [136]...: 1*s(91)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=T4,0>=T5] 

* Chain [135]...: 1*s(92)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,T4>=1] 

* Chain [134]...: 1*s(93)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,I2=K,J=H2,B2=K2,C2=L2,W4=M2,E2=N2,T4=O2,U4=P2,J=Q2,I2=R2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=T4,0>=T5] 


#### Cost of chains of f406(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [152]: 1*s(94)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,T4>=1] 

* Chain [151]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4] 

* Chain [150]: 1*s(95)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,0>=T5] 

* Chain [149]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,T5>=1] 

* Chain [148]: 0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,T4>=1] 

* Chain [147]: 1*s(96)+0
  with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 

* Chain [146]: 0
  with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2] 

* Chain [145]...: 1*s(97)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,0>=T4,0>=T5] 

* Chain [144]...: 1*s(98)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2,T4>=1] 

* Chain [143]...: 1*s(99)+0
  with precondition: [C=0,D=0,F1=0,J2=0,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=H2,0>=T4,0>=T5] 

* Chain [142]...: 1*s(100)+0
  with precondition: [C=0,D=0,F1=1,J2=1,B2=E,C2=F,E2=G,H2=J,I2=K,H2=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=H2] 


#### Cost of chains of f399(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [163]: 1*s(101)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,T4>=1] 

* Chain [162]: 1*s(102)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,F2>=1] 

* Chain [161]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4] 

* Chain [160]: 1*s(103)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,0>=T5] 

* Chain [159]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,T5>=1] 

* Chain [158]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,T4>=1] 

* Chain [157]: 0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,F2>=1] 

* Chain [156]...: 1*s(104)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,0>=T4,0>=T5] 

* Chain [155]...: 1*s(105)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,0>=F2,T4>=1] 

* Chain [154]...: 1*s(106)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=I,0>=J,F2>=1] 

* Chain [153]...: 1*s(107)+0
  with precondition: [C=0,D=0,B2=E,C2=F,E2=G,I2=K,J=H2,J=P4,B2=Q4,C2=R4,E2=S4,I2=V4,0>=J,0>=F2,0>=T4,0>=T5] 


#### Cost of chains of f304_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):
* Chain [175]: 1*s(108)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,U4>=1] 

* Chain [174]: 1*s(109)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,G2>=1] 

* Chain [173]: 0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4] 

* Chain [172]: 1*s(110)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,0>=U5] 

* Chain [171]: 0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,U5>=1] 

* Chain [170]: 0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,U4>=1] 

* Chain [169]: 0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,G2>=1] 

* Chain [168]: 0
  with precondition: [A=3,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K] 

* Chain [167]...: 1*s(111)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,0>=U4,0>=U5] 

* Chain [166]...: 1*s(112)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,0>=G2,U4>=1] 

* Chain [165]...: 1*s(113)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=J,0>=K,G2>=1] 

* Chain [164]...: 1*s(114)+0
  with precondition: [A=2,D=0,E=0,C2=F,D2=G,F2=H,J2=L,K=I2,K=Q4,C2=R4,D2=S4,F2=T4,J2=W4,0>=K,0>=G2,0>=U4,0>=U5] 


#### Cost of chains of f35(A,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,E6,F6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7,O7,P7,Q7,R7,S7,T7,U7,V7,W7):
* Chain [[176]]...: 1*it(176)+0
  with precondition: [K=E1,J=D1,I=C1,Q=B1,G=A1,F=Y,E=X,K=T,J=S,I=R,G=P,F=N,E=M,A=2,H>=1,H+1=Q,J>=1,O=2,U=0,V=0,W=0,Z=2] 

* Chain [[176],177]: 1*it(176)+0
  with precondition: [A=2,O=2,U=0,V=0,W=0,Z=2,M6=3,B1=H+1,E=M,F=N,G=P,B1=Q,I=R,J=S,K=T,E=X,F=Y,G=A1,I=C1,J=D1,K=E1,J>=1,B1>=2] 

* Chain [177]: 0
  with precondition: [A=2,O=2,U=0,V=0,W=0,Z=2,M6=3,Q=H+1,E=M,F=N,G=P,I=R,J=S,K=T,E=X,F=Y,G=A1,Q=B1,I=C1,J=D1,K=E1,J>=1,Q>=2] 


#### Cost of chains of f35_loop_cont(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,G6,H6):
* Chain [179]: 0
  with precondition: [A=3,D=0,E=0,K>=1] 

* Chain [178]: 0
  with precondition: [A=4,D=0,E=0,K>=1] 


#### Cost of chains of f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [184]: 1*aux(14)+0
  with precondition: [A=0,C=0,D=0,H=0,0>=I,0>=J] 

* Chain [183]: 0
  with precondition: [A=0,C=0,D=0,H=0,0>=J] 

* Chain [182]: 1*aux(15)+0
  with precondition: [A=0,C=0,D=0,H=0,J>=1] 

* Chain [181]...: 1*aux(16)+0
  with precondition: [A=0,C=0,D=0,H=0,0>=I,0>=J] 

* Chain [180]...: 1*aux(17)+0
  with precondition: [A=0,C=0,D=0,H=0,J>=1] 


#### Cost of chains of f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6):
* Chain [186]: 1*aux(18)+0
  with precondition: [] 

* Chain [185]...: 1*aux(19)+0
  with precondition: [] 


Closed-form bounds of f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): 
-------------------------------------
* Chain [186] with precondition: [] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [185]... with precondition: [] 
    - Upper bound: inf 
    - Complexity: infinity 

### Maximum cost of f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,V3,W3,X3,Y3,Z3,A4,B4,C4,D4,E4,F4,G4,H4,I4,J4,K4,L4,M4,N4,O4,P4,Q4,R4,S4,T4,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5,R5,S5,T5,U5,V5,W5,X5,Y5,Z5,A6,B6,C6,D6,E6,F6,M6): inf 
Asymptotic class: infinity 
* Total analysis performed in 15338 ms.

