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

#### Computed strongly connected components 
0. recursive  : [f1/27]
1. non_recursive  : [exit_location/1]
2. recursive  : [f29/44]
3. recursive  : [f17/29]
4. non_recursive  : [f27/106]
5. non_recursive  : [f17_loop_cont/107]
6. recursive  : [f35/45]
7. recursive  : [f34/209,f35_loop_cont/210]
8. recursive  : [f13/65]
9. non_recursive  : [f13_loop_cont/107]
10. non_recursive  : [f10/106]
11. recursive  : [f15/31]
12. non_recursive  : [f15_loop_cont/107]
13. non_recursive  : [f34_loop_cont/107]
14. non_recursive  : [f29_loop_cont/107]
15. non_recursive  : [f1_loop_cont/107]
16. recursive  : [f32/32]
17. non_recursive  : [f32_loop_cont/107]
18. non_recursive  : [f26/106]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f1/27
1. SCC is completely evaluated into other SCCs
2. SCC is partially evaluated into f29/44
3. SCC is partially evaluated into f17/29
4. SCC is completely evaluated into other SCCs
5. SCC is partially evaluated into f17_loop_cont/107
6. SCC is partially evaluated into f35/45
7. SCC is partially evaluated into f34/209
8. SCC is partially evaluated into f13/65
9. SCC is partially evaluated into f13_loop_cont/107
10. SCC is partially evaluated into f10/106
11. SCC is partially evaluated into f15/31
12. SCC is partially evaluated into f15_loop_cont/107
13. SCC is partially evaluated into f34_loop_cont/107
14. SCC is partially evaluated into f29_loop_cont/107
15. SCC is partially evaluated into f1_loop_cont/107
16. SCC is partially evaluated into f32/32
17. SCC is partially evaluated into f32_loop_cont/107
18. SCC is partially evaluated into f26/106

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

### Specialization of cost equations f1/27 
* CE 5 is refined into CE [66] 
* CE 6 is refined into CE [67] 
* CE 4 is refined into CE [68] 


### Cost equations --> "Loop" of f1/27 
* CEs [68] --> Loop 54 
* CEs [66] --> Loop 55 
* CEs [67] --> Loop 56 

### Ranking functions of CR f1(A,D,E,M,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5) 
* RF of phase [54]: [-A+D,-A+S1]

#### Partial ranking functions of CR f1(A,D,E,M,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5) 
* Partial RF of phase [54]:
  - RF of loop [54:1]:
    -A+D
    -A+S1


### Specialization of cost equations f29/44 
* CE 17 is refined into CE [69] 
* CE 18 is refined into CE [70] 
* CE 15 is refined into CE [71] 
* CE 16 is refined into CE [72] 


### Cost equations --> "Loop" of f29/44 
* CEs [72] --> Loop 57 
* CEs [69] --> Loop 58 
* CEs [70] --> Loop 59 
* CEs [71] --> Loop 60 

### Ranking functions of CR f29(A,B,C,D,E,F,G,I,J,K,L,M,N,O,B2,C2,D2,E2,F2,H2,V3,Y3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5) 
* RF of phase [57]: [B]

#### Partial ranking functions of CR f29(A,B,C,D,E,F,G,I,J,K,L,M,N,O,B2,C2,D2,E2,F2,H2,V3,Y3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5) 
* Partial RF of phase [57]:
  - RF of loop [57:1]:
    B


### Specialization of cost equations f17/29 
* CE 23 is refined into CE [73] 
* CE 24 is refined into CE [74] 
* CE 22 is refined into CE [75] 


### Cost equations --> "Loop" of f17/29 
* CEs [75] --> Loop 61 
* CEs [73] --> Loop 62 
* CEs [74] --> Loop 63 

### Ranking functions of CR f17(B,D,E,I,M,A2,B2,C2,D2,E2,F2,H2,W3,X3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5) 
* RF of phase [61]: [W3+1]

#### Partial ranking functions of CR f17(B,D,E,I,M,A2,B2,C2,D2,E2,F2,H2,W3,X3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5) 
* Partial RF of phase [61]:
  - RF of loop [61:1]:
    W3+1


### Specialization of cost equations f17_loop_cont/107 
* CE 25 is refined into CE [76] 
* CE 26 is refined into CE [77] 


### Cost equations --> "Loop" of f17_loop_cont/107 
* CEs [76] --> Loop 64 
* CEs [77] --> Loop 65 

### Ranking functions of CR f17_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) 

#### Partial ranking functions of CR f17_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) 


### Specialization of cost equations f35/45 
* CE 39 is refined into CE [78] 
* CE 38 is refined into CE [79] 
* CE 37 is refined into CE [80] 
* CE 36 is refined into CE [81] 


### Cost equations --> "Loop" of f35/45 
* CEs [81] --> Loop 66 
* CEs [78] --> Loop 67 
* CEs [80] --> Loop 68 
* CEs [79] --> Loop 69 

### Ranking functions of CR f35(B,C,D,E,F,H,I,L,M,K1,L1,M1,N1,O1,P1,Q1,R1,B2,C2,D2,E2,F2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5) 
* RF of phase [66]: [B]

#### Partial ranking functions of CR f35(B,C,D,E,F,H,I,L,M,K1,L1,M1,N1,O1,P1,Q1,R1,B2,C2,D2,E2,F2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5) 
* Partial RF of phase [66]:
  - RF of loop [66:1]:
    B


### Specialization of cost equations f34/209 
* CE 27 is refined into CE [82,83] 
* CE 32 is refined into CE [84] 
* CE 28 is refined into CE [85,86] 
* CE 31 is refined into CE [87] 
* CE 29 is refined into CE [88,89] 
* CE 30 is refined into CE [90] 


### Cost equations --> "Loop" of f34/209 
* CEs [90] --> Loop 70 
* CEs [89] --> Loop 71 
* CEs [88] --> Loop 72 
* CEs [82,83] --> Loop 73 
* CEs [84] --> Loop 74 
* CEs [86] --> Loop 75 
* CEs [85] --> Loop 76 
* CEs [87] --> Loop 77 

### Ranking functions of CR f34(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,U3,V3,W3,X3,Y3,Z3,A4,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,I6,J6,K6,L6,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,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8) 
* RF of phase [70,71,72]: [H+1]

#### Partial ranking functions of CR f34(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,U3,V3,W3,X3,Y3,Z3,A4,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,I6,J6,K6,L6,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,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8) 
* Partial RF of phase [70,71,72]:
  - RF of loop [70:1,71:1,72:1]:
    H+1


### Specialization of cost equations f13/65 
* CE 62 is refined into CE [91] 
* CE 63 is refined into CE [92] 
* CE 59 is refined into CE [93] 
* CE 58 is refined into CE [94] 
* CE 61 is refined into CE [95] 
* CE 60 is refined into CE [96] 
* CE 57 is refined into CE [97] 


### Cost equations --> "Loop" of f13/65 
* CEs [93] --> Loop 78 
* CEs [94] --> Loop 79 
* CEs [95] --> Loop 80 
* CEs [96] --> Loop 81 
* CEs [97] --> Loop 82 
* CEs [92] --> Loop 83 
* CEs [91] --> Loop 84 

### Ranking functions of CR f13(B,D,E,F,H,I,M,A2,B2,C2,D2,E2,F2,G2,H2,S2,U2,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,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) 

#### Partial ranking functions of CR f13(B,D,E,F,H,I,M,A2,B2,C2,D2,E2,F2,G2,H2,S2,U2,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,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) 


### Specialization of cost equations f13_loop_cont/107 
* CE 64 is refined into CE [98] 
* CE 65 is refined into CE [99] 


### Cost equations --> "Loop" of f13_loop_cont/107 
* CEs [98] --> Loop 85 
* CEs [99] --> Loop 86 

### Ranking functions of CR f13_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) 

#### Partial ranking functions of CR f13_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) 


### Specialization of cost equations f10/106 
* CE 41 is refined into CE [100,101,102,103,104,105] 
* CE 43 is refined into CE [106,107,108,109,110,111] 
* CE 45 is refined into CE [112,113,114,115,116,117] 
* CE 47 is refined into CE [118,119,120,121,122,123] 
* CE 49 is refined into CE [124,125,126,127,128,129] 
* CE 51 is refined into CE [130,131,132,133,134,135] 
* CE 40 is refined into CE [136,137,138,139,140,141] 
* CE 42 is refined into CE [142,143,144,145,146,147] 
* CE 44 is refined into CE [148,149,150,151,152,153] 
* CE 46 is refined into CE [154,155,156,157,158,159] 
* CE 48 is refined into CE [160,161,162,163,164,165] 
* CE 50 is refined into CE [166,167,168,169,170,171] 


### Cost equations --> "Loop" of f10/106 
* CEs [104,105,110,111,116,117,122,123,128,129,134,135] --> Loop 87 
* CEs [140,141,146,147,152,153,158,159,164,165,170,171] --> Loop 88 
* CEs [102,103,108,109,114,115,120,121,126,127,132,133] --> Loop 89 
* CEs [100,101,106,107,112,113,118,119,124,125,130,131] --> Loop 90 
* CEs [138,139,144,145,150,151,156,157,162,163,168,169] --> Loop 91 
* CEs [136,137,142,143,148,149,154,155,160,161,166,167] --> Loop 92 

### Ranking functions of CR f10(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,U4) 

#### Partial ranking functions of CR f10(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,U4) 


### Specialization of cost equations f15/31 
* CE 53 is refined into CE [172] 
* CE 54 is refined into CE [173] 
* CE 52 is refined into CE [174] 


### Cost equations --> "Loop" of f15/31 
* CEs [174] --> Loop 93 
* CEs [172] --> Loop 94 
* CEs [173] --> Loop 95 

### Ranking functions of CR f15(B,D,E,F,I,M,A2,B2,C2,D2,E2,F2,H2,T3,U3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5) 
* RF of phase [93]: [T3+1]

#### Partial ranking functions of CR f15(B,D,E,F,I,M,A2,B2,C2,D2,E2,F2,H2,T3,U3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5) 
* Partial RF of phase [93]:
  - RF of loop [93:1]:
    T3+1


### Specialization of cost equations f15_loop_cont/107 
* CE 55 is refined into CE [175] 
* CE 56 is refined into CE [176] 


### Cost equations --> "Loop" of f15_loop_cont/107 
* CEs [175] --> Loop 96 
* CEs [176] --> Loop 97 

### Ranking functions of CR f15_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) 

#### Partial ranking functions of CR f15_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) 


### Specialization of cost equations f34_loop_cont/107 
* CE 35 is refined into CE [177,178,179,180] 
* CE 33 is refined into CE [181] 
* CE 34 is refined into CE [182,183,184,185,186,187] 


### Cost equations --> "Loop" of f34_loop_cont/107 
* CEs [187] --> Loop 98 
* CEs [186] --> Loop 99 
* CEs [180] --> Loop 100 
* CEs [178] --> Loop 101 
* CEs [177] --> Loop 102 
* CEs [179] --> Loop 103 
* CEs [181] --> Loop 104 
* CEs [185] --> Loop 105 
* CEs [184] --> Loop 106 
* CEs [183] --> Loop 107 
* CEs [182] --> Loop 108 

### Ranking functions of CR f34_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) 

#### Partial ranking functions of CR f34_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) 


### Specialization of cost equations f29_loop_cont/107 
* CE 20 is refined into CE [188,189,190,191] 
* CE 19 is refined into CE [192] 
* CE 21 is refined into CE [193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221] 


### Cost equations --> "Loop" of f29_loop_cont/107 
* CEs [191] --> Loop 109 
* CEs [190] --> Loop 110 
* CEs [189] --> Loop 111 
* CEs [188] --> Loop 112 
* CEs [192] --> Loop 113 
* CEs [207,208,216,217,221] --> Loop 114 
* CEs [203,204,212,213,220] --> Loop 115 
* CEs [219] --> Loop 116 
* CEs [193,195] --> Loop 117 
* CEs [197,198,199,200] --> Loop 118 
* CEs [194,196] --> Loop 119 
* CEs [201,202,210,211] --> Loop 120 
* CEs [209,218] --> Loop 121 
* CEs [206,215] --> Loop 122 
* CEs [205,214] --> Loop 123 

### Ranking functions of CR f29_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) 

#### Partial ranking functions of CR f29_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) 


### Specialization of cost equations f1_loop_cont/107 
* CE 8 is refined into CE [222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247] 
* CE 7 is refined into CE [248] 


### Cost equations --> "Loop" of f1_loop_cont/107 
* CEs [241] --> Loop 124 
* CEs [239,242] --> Loop 125 
* CEs [245] --> Loop 126 
* CEs [246] --> Loop 127 
* CEs [238] --> Loop 128 
* CEs [240] --> Loop 129 
* CEs [243] --> Loop 130 
* CEs [244] --> Loop 131 
* CEs [247] --> Loop 132 
* CEs [235] --> Loop 133 
* CEs [234] --> Loop 134 
* CEs [233] --> Loop 135 
* CEs [227] --> Loop 136 
* CEs [226] --> Loop 137 
* CEs [225] --> Loop 138 
* CEs [231] --> Loop 139 
* CEs [230,232] --> Loop 140 
* CEs [223] --> Loop 141 
* CEs [222,224] --> Loop 142 
* CEs [248] --> Loop 143 
* CEs [237] --> Loop 144 
* CEs [236] --> Loop 145 
* CEs [229] --> Loop 146 
* CEs [228] --> Loop 147 

### Ranking functions of CR f1_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) 

#### Partial ranking functions of CR f1_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) 


### Specialization of cost equations f32/32 
* CE 12 is refined into CE [249] 
* CE 11 is refined into CE [250] 
* CE 10 is refined into CE [251] 
* CE 9 is refined into CE [252] 


### Cost equations --> "Loop" of f32/32 
* CEs [252] --> Loop 148 
* CEs [249] --> Loop 149 
* CEs [250] --> Loop 150 
* CEs [251] --> Loop 151 

### Ranking functions of CR f32(B,D,E,F,L,M,B1,C1,D1,A2,B2,C2,D2,E2,F2,H2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5) 
* RF of phase [148]: [B]

#### Partial ranking functions of CR f32(B,D,E,F,L,M,B1,C1,D1,A2,B2,C2,D2,E2,F2,H2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5) 
* Partial RF of phase [148]:
  - RF of loop [148:1]:
    B


### Specialization of cost equations f32_loop_cont/107 
* CE 13 is refined into CE [253] 
* CE 14 is refined into CE [254] 


### Cost equations --> "Loop" of f32_loop_cont/107 
* CEs [253] --> Loop 152 
* CEs [254] --> Loop 153 

### Ranking functions of CR f32_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) 

#### Partial ranking functions of CR f32_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) 


### Specialization of cost equations f26/106 
* CE 1 is refined into CE [255] 
* CE 2 is refined into CE [256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303] 
* CE 3 is refined into CE [304,305,306,307,308,309] 


### Cost equations --> "Loop" of f26/106 
* CEs [271,294] --> Loop 154 
* CEs [270,276,293,299] --> Loop 155 
* CEs [275,298,309] --> Loop 156 
* CEs [269,292] --> Loop 157 
* CEs [268,274,291,297] --> Loop 158 
* CEs [273,296] --> Loop 159 
* CEs [307] --> Loop 160 
* CEs [304,306] --> Loop 161 
* CEs [305] --> Loop 162 
* CEs [261,267,284,290] --> Loop 163 
* CEs [260,266,283,289] --> Loop 164 
* CEs [265,288] --> Loop 165 
* CEs [259,264,282,287] --> Loop 166 
* CEs [258,263,281,286] --> Loop 167 
* CEs [262,285] --> Loop 168 
* CEs [255,256,257,272,295,308] --> Loop 169 
* CEs [280,303] --> Loop 170 
* CEs [279,302] --> Loop 171 
* CEs [278,301] --> Loop 172 
* CEs [277,300] --> Loop 173 

### Ranking functions of CR f26(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,U4) 

#### Partial ranking functions of CR f26(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,U4) 


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

#### Cost of chains of f1(A,D,E,M,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5):
* Chain [[54],56]: 1*it(54)+0
  Such that:it(54) =< -A+S1

  with precondition: [U4=4,D=S1,T1=V1,A>=2,D>=A+1] 

* Chain [[54],55]: 1*it(54)+0
  Such that:it(54) =< -A+E5+1

  with precondition: [U4=8,D=S1,T1=V1,X4=Y4,D=E5+1,A>=2,W4>=2,D>=A+1,V4>=W4] 

* Chain [56]: 0
  with precondition: [U4=4,S1=D,V1=T1,A>=2,S1>=A] 

* Chain [55]: 0
  with precondition: [U4=8,D=A,D=S1,V1=T1,D5=W1,E5=X1,V1=X4,V1=Y4,D>=2,W4>=2,V4>=W4] 


#### Cost of chains of f29(A,B,C,D,E,F,G,I,J,K,L,M,N,O,B2,C2,D2,E2,F2,H2,V3,Y3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5):
* Chain [[57],60]: 1*it(57)+0
  Such that:it(57) =< B-G5+1

  with precondition: [C=1,U4=2,W4=1,Z4=0,A5+1=C5,M=F5,V4+1=G5,A=H5,B2=I5,C2=J5,D2=K5,E2=L5,F2=M5,H2=N5,V3=O5,Y3=P5,A>=2,V4>=1,X4>=2,B>=V4+1] 

* Chain [[57],59]: 1*it(57)+0
  Such that:it(57) =< B

  with precondition: [U4=4,A>=2,B>=1] 

* Chain [[57],58]: 1*it(57)+0
  Such that:it(57) =< B

  with precondition: [U4=7,G5=1,I5=0,L5=0,C=W4,M=Y4,G=A5,I=B5,J=C5,K=D5,M=F5,A=H5,M=J5,M=K5,M=M5,M=N5,O5+1=P5,0>=V4,A>=2,B>=1,X4>=2] 

* Chain [60]: 0
  with precondition: [C=1,U4=2,W4=1,Z4=0,F5=M,G5=N,H5=O,I5=B2,J5=C2,K5=D2,L5=E2,M5=F2,N5=H2,O5=V3,P5=Y3,B=V4,C5=A5+1,A>=0,B>=1,X4>=2] 

* Chain [59]: 0
  with precondition: [U4=4] 

* Chain [58]: 0
  with precondition: [U4=7,I5=0,L5=0,W4=C,Z4=F,A5=G,B5=I,C5=J,D5=K,E5=L,G5=N,H5=O,E=Y4,E=F5,E=J5,E=K5,E=M5,E=N5,P5=O5+1,0>=B,0>=V4,A>=2,X4>=2] 


#### Cost of chains of f17(B,D,E,I,M,A2,B2,C2,D2,E2,F2,H2,W3,X3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5):
* Chain [[61],63]: 1*it(61)+0
  Such that:it(61) =< W3+1

  with precondition: [B2=0,U4=4,W3>=0] 

* Chain [[61],62]: 1*it(61)+0
  Such that:it(61) =< W3-I5

  with precondition: [B2=0,C2=0,U4=5,H5=I5,0>=V4,W4>=2,H5>=0,W3>=H5+1] 

* Chain [63]: 0
  with precondition: [U4=4] 

* Chain [62]: 0
  with precondition: [U4=5,X4=E,Y4=I,C2=B2,I5=X3,W3=H5,0>=V4,W3>=0,W4>=2] 


#### Cost of chains of f17_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):
* Chain [65]: 0
  with precondition: [A=4,B4=2] 

* Chain [64]: 0
  with precondition: [A=5,B4=2] 


#### Cost of chains of f35(B,C,D,E,F,H,I,L,M,K1,L1,M1,N1,O1,P1,Q1,R1,B2,C2,D2,E2,F2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5,K5,L5,M5,N5,O5,P5,Q5):
* Chain [[66],69]: 1*it(66)+0
  Such that:it(66) =< B

  with precondition: [U4=3,F5=1,M5=0,P5=0,C=W4,H=A5,I=B5,C=G5,H=H5,O1=I5,P1=J5,Q1=K5,R1=L5,Y4=N5,Y4=O5,Y4=Q5,0>=V4,B>=1,C>=0,D>=2,H>=0,X4>=2] 

* Chain [[66],68]: 1*it(66)+0
  Such that:it(66) =< B-V4

  with precondition: [U4=2,Z4=0,C+1=W4,H=A5+1,M=D5,V4+1=F5,C=G5,H=H5,M=I5,C+1=K5,H=L5+1,B2=M5,C2=N5,D2=O5,E2=P5,F2=Q5,C>=0,D>=2,H>=0,V4>=1,X4>=2,B>=V4+1] 

* Chain [[66],67]: 1*it(66)+0
  Such that:it(66) =< B

  with precondition: [U4=4,B>=1,C>=0,D>=2,H>=0] 

* Chain [69]: 0
  with precondition: [B=0,U4=3,M5=0,P5=0,B5=I,C5=L,E5=K1,F5=L1,G5=M1,H5=N1,I5=O1,J5=P1,K5=Q1,L5=R1,C=W4,E=Y4,H=A5,E=N5,E=O5,E=Q5,0>=V4,C>=0,D>=2,H>=0,X4>=2] 

* Chain [68]: 0
  with precondition: [U4=2,Z4=0,F5=L1,G5=M1,H5=N1,M5=B2,N5=C2,O5=D2,P5=E2,Q5=F2,B=V4,C+1=W4,H=A5+1,M=D5,M=I5,C+1=K5,H=L5+1,B>=1,C>=0,D>=2,H>=0,X4>=2] 

* Chain [67]: 0
  with precondition: [U4=4,B>=0,C>=0,D>=2,H>=0] 


#### Cost of chains of f34(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,U3,V3,W3,X3,Y3,Z3,A4,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,I6,J6,K6,L6,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,X7,Y7,Z7,A8,B8,C8,D8,E8,F8,G8,H8,I8,J8,K8,L8,M8,N8,O8,P8,Q8,R8,S8,T8,U8):
* Chain [[70,71,72],77]: 3*it(70)+1*s(3)+0
  Such that:aux(2) =< H+1
aux(3) =< H-C5
it(70) =< aux(2)
it(70) =< aux(3)

  with precondition: [M=0,A4=2,U4=6,A5=0,H5=0,W6=0,Z6=0,U8=2,A=V4,G=B5,J=E5,K=F5,N=I5,O=J5,P=K5,Q=L5,R=M5,S=N5,T=O5,U=P5,V=Q5,W=R5,X=S5,Y=T5,Z=U5,A1=V5,B1=W5,C1=X5,D1=Y5,S1=N6,T1=O6,U1=P6,V1=Q6,W1=R6,X1=S6,Y1=T6,Z1=U6,A2=V6,Z4=X6,Z4=Y6,Z4=A7,G2=B7,Z4=C7,I2=D7,J2=E7,K2=F7,L2=G7,M2=H7,N2=I7,O2=J7,P2=K7,Q2=L7,R2=M7,S2=N7,T2=O7,U2=P7,V2=Q7,W2=R7,X2=S7,Y2=T7,Z2=U7,A3=V7,B3=W7,C3=X7,D3=Y7,E3=Z7,F3=A8,G3=B8,H3=C8,I3=D8,J3=E8,K3=F8,L3=G8,M3=H8,N3=I8,O3=J8,P3=K8,Q3=L8,R3=M8,X4=N8+1,U3=O8,V3=P8,W3=Q8,X3=R8,Y3=S8,Z3=T8,B>=1,C>=0,W4>=1,Y4>=2,C5>=0,H>=C5+1] 

* Chain [[70,71,72],76]: 3*it(70)+1*s(3)+0
  Such that:aux(3) =< -C+X4
aux(2) =< H+1
it(70) =< aux(2)
it(70) =< aux(3)

  with precondition: [A4=2,U4=3,Z5=1,A6=0,W6=0,Z6=0,U8=2,A=V4,G=B5,J=E5,K=F5,N=I5,O=J5,P=K5,Q=L5,R=M5,S=N5,T=O5,U=P5,V=Q5,W=R5,X=S5,Y=T5,Z=U5,A1=V5,B1=W5,C1=X5,D1=Y5,S1=N6,T1=O6,U1=P6,V1=Q6,W1=R6,X1=S6,Y1=T6,Z1=U6,A2=V6,Z4=X6,Z4=Y6,Z4=A7,G2=B7,H2=C7,I2=D7,J2=E7,K2=F7,L2=G7,M2=H7,N2=I7,O2=J7,P2=K7,Q2=L7,R2=M7,S2=N7,T2=O7,U2=P7,V2=Q7,W2=R7,X2=S7,Y2=T7,Z2=U7,A3=V7,B3=W7,C3=X7,D3=Y7,E3=Z7,F3=A8,G3=B8,H3=C8,I3=D8,J3=E8,K3=F8,L3=G8,M3=H8,N3=I8,O3=J8,P3=K8,Q3=L8,R3=M8,U3=O8,V3=P8,W3=Q8,X3=R8,Y3=S8,Z3=T8,C+H=X4+C5,0>=W4,B>=1,C>=0,Y4>=2,X4>=C+1,C+H>=X4] 

* Chain [[70,71,72],75]: 3*it(70)+2*s(3)+0
  Such that:aux(3) =< -C+X4
aux(2) =< H+1
it(70) =< aux(2)
it(70) =< aux(3)

  with precondition: [A4=2,U4=3,G6=1,W6=0,Z6=0,U8=2,A=V4,G=B5,J=E5,K=F5,N=I5,O=J5,P=K5,Q=L5,R=M5,S=N5,T=O5,U=P5,V=Q5,W=R5,X=S5,Y=T5,Z=U5,A1=V5,B1=W5,C1=X5,D1=Y5,Z5=A6+1,X4=H6,S1=N6,T1=O6,U1=P6,V1=Q6,W1=R6,X1=S6,Y1=T6,Z1=U6,A2=V6,Z4=X6,Z4=Y6,Z4=A7,G2=B7,H2=C7,I2=D7,J2=E7,K2=F7,L2=G7,M2=H7,N2=I7,O2=J7,P2=K7,Q2=L7,R2=M7,S2=N7,T2=O7,U2=P7,V2=Q7,W2=R7,X2=S7,Y2=T7,Z2=U7,A3=V7,B3=W7,C3=X7,D3=Y7,E3=Z7,F3=A8,G3=B8,H3=C8,I3=D8,J3=E8,K3=F8,L3=G8,M3=H8,N3=I8,O3=J8,P3=K8,Q3=L8,R3=M8,U3=O8,V3=P8,W3=Q8,X3=R8,Y3=S8,Z3=T8,C+H=X4+C5,C+H=X4+I6,0>=W4,B>=1,C>=0,Y4>=2,Z5>=2,X4>=C+1,C+H>=X4] 

* Chain [[70,71,72],74]: 3*it(70)+1*s(3)+0
  Such that:aux(4) =< H+1
it(70) =< aux(4)

  with precondition: [A4=2,U4=4,B>=1,C>=0,H>=0] 

* Chain [[70,71,72],73]: 2*aux(5)+3*it(70)+0
  Such that:aux(3) =< H
aux(2) =< H+1
it(70) =< aux(2)
it(70) =< aux(3)

  with precondition: [A4=2,U4=4,B>=1,C>=0,H>=1] 

* Chain [77]: 0
  with precondition: [M=0,A4=2,U4=6,A5=0,H5=0,W6=0,Z6=0,U8=2,V4=A,B5=G,D5=I,E5=J,F5=K,G5=L,I5=N,J5=O,K5=P,L5=Q,M5=R,N5=S,O5=T,P5=U,Q5=V,R5=W,S5=X,T5=Y,U5=Z,V5=A1,W5=B1,X5=C1,Y5=D1,Z5=E1,A6=F1,B6=G1,C6=H1,D6=I1,E6=J1,F6=K1,G6=L1,H6=M1,I6=N1,J6=O1,K6=P1,L6=Q1,M6=R1,N6=S1,O6=T1,P6=U1,Q6=V1,R6=W1,S6=X1,T6=Y1,U6=Z1,V6=A2,B7=G2,D7=I2,E7=J2,F7=K2,G7=L2,H7=M2,I7=N2,J7=O2,K7=P2,L7=Q2,M7=R2,N7=S2,O7=T2,P7=U2,Q7=V2,R7=W2,S7=X2,T7=Y2,U7=Z2,V7=A3,W7=B3,X7=C3,Y7=D3,Z7=E3,A8=F3,B8=G3,C8=H3,D8=I3,E8=J3,F8=K3,G8=L3,H8=M3,I8=N3,J8=O3,K8=P3,L8=Q3,M8=R3,O8=U3,P8=V3,Q8=W3,R8=X3,S8=Y3,T8=Z3,N8+1=X4,E=Z4,H=C5,E=X6,E=Y6,E=A7,E=C7,C>=0,H>=0,W4>=1,Y4>=2] 

* Chain [76]: 0
  with precondition: [A4=2,U4=3,Z5=1,A6=0,W6=0,Z6=0,U8=2,V4=A,B5=G,D5=I,E5=J,F5=K,I5=N,J5=O,K5=P,L5=Q,M5=R,N5=S,O5=T,P5=U,Q5=V,R5=W,S5=X,T5=Y,U5=Z,V5=A1,W5=B1,X5=C1,Y5=D1,B6=G1,C6=H1,D6=I1,E6=J1,F6=K1,G6=L1,H6=M1,I6=N1,J6=O1,K6=P1,L6=Q1,M6=R1,N6=S1,O6=T1,P6=U1,Q6=V1,R6=W1,S6=X1,T6=Y1,U6=Z1,V6=A2,B7=G2,C7=H2,D7=I2,E7=J2,F7=K2,G7=L2,H7=M2,I7=N2,J7=O2,K7=P2,L7=Q2,M7=R2,N7=S2,O7=T2,P7=U2,Q7=V2,R7=W2,S7=X2,T7=Y2,U7=Z2,V7=A3,W7=B3,X7=C3,Y7=D3,Z7=E3,A8=F3,B8=G3,C8=H3,D8=I3,E8=J3,F8=K3,G8=L3,H8=M3,I8=N3,J8=O3,K8=P3,L8=Q3,M8=R3,O8=U3,P8=V3,Q8=W3,R8=X3,S8=Y3,T8=Z3,C=X4,H=C5,Z4=X6,Z4=Y6,Z4=A7,0>=W4,B>=1,C>=0,H>=0,Y4>=2] 

* Chain [75]: 1*s(4)+0
  with precondition: [A4=2,U4=3,G6=1,W6=0,Z6=0,U8=2,V4=A,B5=G,D5=I,E5=J,F5=K,I5=N,J5=O,K5=P,L5=Q,M5=R,N5=S,O5=T,P5=U,Q5=V,R5=W,S5=X,T5=Y,U5=Z,V5=A1,W5=B1,X5=C1,Y5=D1,B6=G1,C6=H1,D6=I1,E6=J1,J6=O1,K6=P1,L6=Q1,M6=R1,N6=S1,O6=T1,P6=U1,Q6=V1,R6=W1,S6=X1,T6=Y1,U6=Z1,V6=A2,B7=G2,C7=H2,D7=I2,E7=J2,F7=K2,G7=L2,H7=M2,I7=N2,J7=O2,K7=P2,L7=Q2,M7=R2,N7=S2,O7=T2,P7=U2,Q7=V2,R7=W2,S7=X2,T7=Y2,U7=Z2,V7=A3,W7=B3,X7=C3,Y7=D3,Z7=E3,A8=F3,B8=G3,C8=H3,D8=I3,E8=J3,F8=K3,G8=L3,H8=M3,I8=N3,J8=O3,K8=P3,L8=Q3,M8=R3,O8=U3,P8=V3,Q8=W3,R8=X3,S8=Y3,T8=Z3,C=X4,H=C5,A6+1=Z5,C=H6,H=I6,Z4=X6,Z4=Y6,Z4=A7,0>=W4,B>=1,C>=0,H>=0,Y4>=2,A6>=1] 

* Chain [74]: 0
  with precondition: [A4=2,U4=4] 

* Chain [73]: 1*aux(5)+0
  with precondition: [A4=2,U4=4,B>=1,C>=0,H>=0] 


#### Cost of chains of f13(B,D,E,F,H,I,M,A2,B2,C2,D2,E2,F2,G2,H2,S2,U2,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,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):
* Chain [[78,79,80,81,82]]...: 5*it(78)+0
  with precondition: [C2=H2,E=F2,E=D2,0>=B,D>=2,B2=0,E2=0] 

* Chain [[78,79,80,81,82],84]: 5*it(78)+0
  with precondition: [B2=0,C2=0,E2=0,H2=0,U4=5,E=D2,E=F2,0>=B,0>=V4,D>=2,W4>=2,G2>=H5] 

* Chain [[78,79,80,81,82],83]: 5*it(78)+0
  with precondition: [B2=0,E2=0,U4=4,E=D2,E=F2,C2=H2,0>=B,D>=2] 

* Chain [84]: 0
  with precondition: [B2=0,C2=0,E2=0,H2=0,U4=5,Y4=F,Z4=I,A5=M,E=D2,E=F2,H5=G2,J5=S2,K5=U2,L5=C3,M5=D3,N5=E3,O5=F3,P5=G3,Q5=H3,R5=I3,S5=J3,T5=K3,U5=M3,V5=N3,W5=O3,X5=P3,Y5=Q3,Z5=R3,B=V4,E=X4,0>=B,D>=2,W4>=2] 

* Chain [83]: 0
  with precondition: [B2=0,E2=0,U4=4,H2=C2,E=D2,E=F2,0>=B,D>=2] 


#### Cost of chains of f13_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):
* Chain [86]: 0
  with precondition: [A=4] 

* Chain [85]: 0
  with precondition: [A=5] 


#### Cost of chains of f10(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,U4):
* Chain [92]: 1*aux(6)+0
  with precondition: [C=0,B2=0,C2=0,H>=0] 

* Chain [91]: 1*aux(7)+0
  with precondition: [C=0,B2=0,H>=0] 

* Chain [90]: 1*aux(8)+0
  with precondition: [B2=0,C2=0,C>=0,H>=0] 

* Chain [89]: 1*aux(9)+0
  with precondition: [B2=0,C>=0,H>=0] 

* Chain [88]...: 1*aux(10)+0
  with precondition: [C=0,B2=0,H>=0] 

* Chain [87]...: 1*aux(11)+0
  with precondition: [B2=0,C>=0,H>=0] 


#### Cost of chains of f15(B,D,E,F,I,M,A2,B2,C2,D2,E2,F2,H2,T3,U3,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5):
* Chain [[93],95]: 1*it(93)+0
  Such that:it(93) =< T3+1

  with precondition: [B2=0,U4=4,T3>=0] 

* Chain [[93],94]: 1*it(93)+0
  Such that:it(93) =< T3-J5

  with precondition: [B2=0,C2=0,U4=5,Y4=0,A5=0,I5=J5,V4>=1,W4>=2,I5>=0,T3>=I5+1] 

* Chain [95]: 0
  with precondition: [U4=4] 

* Chain [94]: 0
  with precondition: [U4=5,Y4=F,Z4=I,A5=M,C2=B2,J5=U3,T3=I5,T3>=0,V4>=1,W4>=2] 


#### Cost of chains of f15_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):
* Chain [97]: 0
  with precondition: [A=4] 

* Chain [96]: 0
  with precondition: [A=5] 


#### Cost of chains of f34_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):
* Chain [108]: 1*s(58)+0
  with precondition: [A=3,D=0,C2=0,D2=0,I>=0] 

* Chain [107]: 1*s(59)+0
  with precondition: [A=3,D=0,C2=0,I>=0] 

* Chain [106]: 1*s(60)+0
  with precondition: [A=3,C2=0,D2=0,D>=0,I>=0] 

* Chain [105]: 1*s(61)+0
  with precondition: [A=3,C2=0,D>=0,I>=0] 

* Chain [104]: 0
  with precondition: [A=4] 

* Chain [103]: 0
  with precondition: [A=6] 

* Chain [102]: 1*s(62)+0
  Such that:s(62) =< U3

  with precondition: [A=6,C2=0,D2=0,U3>=1] 

* Chain [101]: 1*s(63)+0
  Such that:s(63) =< U3+1

  with precondition: [A=6,C2=0,U3>=0] 

* Chain [100]: 0
  with precondition: [A=6,D2=C2,U3>=0] 

* Chain [99]...: 1*s(64)+0
  with precondition: [A=3,D=0,C2=0,I>=0] 

* Chain [98]...: 1*s(65)+0
  with precondition: [A=3,C2=0,D>=0,I>=0] 


#### Cost of chains of f29_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):
* Chain [123]...: 1*aux(12)+0
  with precondition: [A=2,D=0,B4=2,C>=1,I>=0] 

* Chain [122]...: 1*aux(13)+0
  with precondition: [A=2,B4=2,C>=1,D>=0,I>=0] 

* Chain [121]...: 6*s(74)+5*s(75)+0
  Such that:aux(14) =< I
aux(15) =< I+1
s(74) =< aux(15)
s(74) =< aux(14)

  with precondition: [A=2,B4=2,C>=1,D>=0,I>=1] 

* Chain [120]: 1*aux(16)+0
  with precondition: [A=2,D=0,B4=2,C>=1,I>=0] 

* Chain [119]: 1*aux(17)+0
  with precondition: [A=2,F=0,N=0,B4=2,D>=0,I>=0] 

* Chain [118]: 12*s(91)+6*s(92)+0
  Such that:aux(18) =< I
aux(19) =< I+1
s(91) =< aux(19)
s(91) =< aux(18)

  with precondition: [A=2,N=0,B4=2,C>=1,D>=0,I>=1] 

* Chain [117]: 1*aux(20)+0
  with precondition: [A=2,N=0,B4=2,D>=0,I>=0] 

* Chain [116]: 0
  with precondition: [A=2,B4=2] 

* Chain [115]: 8*s(108)+3*s(115)+0
  Such that:s(114) =< I+1
s(115) =< s(114)

  with precondition: [A=2,B4=2,C>=1,D>=0,I>=0] 

* Chain [114]: 15*s(119)+12*s(120)+0
  Such that:aux(21) =< I
aux(22) =< I+1
s(119) =< aux(22)
s(119) =< aux(21)

  with precondition: [A=2,B4=2,C>=1,D>=0,I>=1] 

* Chain [113]: 0
  with precondition: [A=4,B4=2] 

* Chain [112]: 1*s(141)+0
  Such that:s(141) =< X3

  with precondition: [A=7,C2=0,D2=0,B4=2,X3>=1] 

* Chain [111]: 1*s(142)+0
  Such that:s(142) =< X3+1

  with precondition: [A=7,C2=0,B4=2,X3>=0] 

* Chain [110]: 0
  with precondition: [A=7,B4=2] 

* Chain [109]: 0
  with precondition: [A=7,B4=2,D2=C2,X3>=0] 


#### Cost of chains of f1_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):
* Chain [147]...: 1*s(143)+0
  with precondition: [A=8,D=1,B4=2,B>=0,C>=1,I>=0] 

* Chain [146]...: 6*s(146)+5*s(147)+0
  Such that:s(144) =< I
s(145) =< I+1
s(146) =< s(145)
s(146) =< s(144)

  with precondition: [A=8,D=1,B4=2,B>=0,C>=1,I>=1] 

* Chain [145]...: 1*s(148)+1*s(149)+0
  Such that:s(148) =< C

  with precondition: [A=8,D=1,B4=2,B>=2,C>=2,I>=0] 

* Chain [144]...: 1*s(150)+6*s(153)+5*s(154)+0
  Such that:s(150) =< C
s(151) =< I
s(152) =< I+1
s(153) =< s(152)
s(153) =< s(151)

  with precondition: [A=8,D=1,B4=2,B>=2,C>=2,I>=1] 

* Chain [143]: 0
  with precondition: [A=4,B4=2] 

* Chain [142]: 1*aux(23)+0
  with precondition: [A=8,D=1,N=0,B4=2,B>=0,C>=1,I>=0] 

* Chain [141]: 12*s(159)+6*s(160)+0
  Such that:s(157) =< I
s(158) =< I+1
s(159) =< s(158)
s(159) =< s(157)

  with precondition: [A=8,D=1,N=0,B4=2,B>=0,C>=1,I>=1] 

* Chain [140]: 2*s(161)+2*s(162)+0
  Such that:aux(24) =< C
s(161) =< aux(24)

  with precondition: [A=8,D=1,N=0,B4=2,B>=2,C>=2,I>=0] 

* Chain [139]: 1*s(165)+12*s(168)+6*s(169)+0
  Such that:s(165) =< C
s(166) =< I
s(167) =< I+1
s(168) =< s(167)
s(168) =< s(166)

  with precondition: [A=8,D=1,N=0,B4=2,B>=2,C>=2,I>=1] 

* Chain [138]: 0
  with precondition: [A=8,D=1,B4=2,B>=0,C>=1] 

* Chain [137]: 3*s(171)+8*s(172)+0
  Such that:s(170) =< I+1
s(171) =< s(170)

  with precondition: [A=8,D=1,B4=2,B>=0,C>=1,I>=0] 

* Chain [136]: 15*s(175)+12*s(176)+0
  Such that:s(173) =< I
s(174) =< I+1
s(175) =< s(174)
s(175) =< s(173)

  with precondition: [A=8,D=1,B4=2,B>=0,C>=1,I>=1] 

* Chain [135]: 1*s(177)+0
  Such that:s(177) =< C

  with precondition: [A=8,D=1,B4=2,B>=2,C>=2] 

* Chain [134]: 1*s(178)+3*s(180)+8*s(181)+0
  Such that:s(178) =< C
s(179) =< I+1
s(180) =< s(179)

  with precondition: [A=8,D=1,B4=2,B>=2,C>=2,I>=0] 

* Chain [133]: 1*s(182)+15*s(185)+12*s(186)+0
  Such that:s(182) =< C
s(183) =< I
s(184) =< I+1
s(185) =< s(184)
s(185) =< s(183)

  with precondition: [A=8,D=1,B4=2,B>=2,C>=2,I>=1] 

* Chain [132]: 0
  with precondition: [A=8,F=0,B4=2,0>=C,B>=2,X3>=0] 

* Chain [131]: 1*s(187)+0
  Such that:s(187) =< X3

  with precondition: [A=8,F=0,B4=2,0>=C,B>=2,X3>=1] 

* Chain [130]: 1*s(188)+0
  Such that:s(188) =< C

  with precondition: [A=8,N=0,B4=2,B>=2,C>=1,X3>=0] 

* Chain [129]: 1*s(189)+1*s(190)+0
  Such that:s(189) =< C
s(190) =< X3

  with precondition: [A=8,N=0,B4=2,B>=2,C>=1,X3>=1] 

* Chain [128]: 0
  with precondition: [A=8,B4=2] 

* Chain [127]: 0
  with precondition: [A=8,B4=2,0>=C,B>=2] 

* Chain [126]: 1*s(191)+0
  Such that:s(191) =< X3+1

  with precondition: [A=8,B4=2,0>=C,B>=2,X3>=0] 

* Chain [125]: 2*s(192)+0
  Such that:aux(25) =< C
s(192) =< aux(25)

  with precondition: [A=8,B4=2,B>=2,C>=1] 

* Chain [124]: 1*s(194)+1*s(195)+0
  Such that:s(194) =< C
s(195) =< X3+1

  with precondition: [A=8,B4=2,B>=2,C>=1,X3>=0] 


#### Cost of chains of f32(B,D,E,F,L,M,B1,C1,D1,A2,B2,C2,D2,E2,F2,H2,U4,V4,W4,X4,Y4,Z4,A5,B5,C5,D5,E5,F5,G5,H5,I5,J5):
* Chain [[148],151]: 1*it(148)+0
  Such that:it(148) =< B

  with precondition: [D=1,E=0,M=0,U4=5,W4=1,X4=0,B5=1,D1=C5,0>=V4,B>=1] 

* Chain [[148],150]: 1*it(148)+0
  Such that:it(148) =< B-B5+1

  with precondition: [D=1,E=0,M=0,U4=5,W4=1,Y4=0,A5=0,D1=C5,V4>=1,B5>=2,B>=B5] 

* Chain [[148],149]: 1*it(148)+0
  Such that:it(148) =< B

  with precondition: [D=1,U4=4,E=M,B>=1] 

* Chain [151]: 0
  with precondition: [D=1,E=0,M=0,U4=5,W4=1,X4=0,Y4=F,Z4=L,B5=B1,C5=C1,0>=B,0>=V4] 

* Chain [150]: 0
  with precondition: [D=1,E=0,M=0,U4=5,W4=1,Y4=0,A5=0,B5=B1,C5=C1,B>=1,V4>=1] 

* Chain [149]: 0
  with precondition: [D=1,U4=4,M=E] 


#### Cost of chains of f32_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):
* Chain [153]: 0
  with precondition: [A=4] 

* Chain [152]: 0
  with precondition: [A=5] 


#### Cost of chains of f26(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,U4):
* Chain [173]...: 1*aux(26)+0
  with precondition: [C=1,B>=1,H>=0] 

* Chain [172]...: 12*s(201)+11*s(202)+0
  Such that:aux(27) =< H
aux(28) =< H+1
s(201) =< aux(28)
s(201) =< aux(27)

  with precondition: [C=1,B>=1,H>=1] 

* Chain [171]...: 2*s(208)+3*s(209)+0
  Such that:aux(29) =< B
s(208) =< aux(29)

  with precondition: [C=1,B>=2,H>=0] 

* Chain [170]...: 2*s(213)+12*s(216)+11*s(217)+0
  Such that:aux(30) =< B
aux(31) =< H
aux(32) =< H+1
s(213) =< aux(30)
s(216) =< aux(32)
s(216) =< aux(31)

  with precondition: [C=1,B>=2,H>=1] 

* Chain [169]: 1*aux(33)+0
  with precondition: [] 

* Chain [168]: 1*aux(34)+0
  with precondition: [C=1,B>=1] 

* Chain [167]: 20*s(227)+6*s(229)+0
  Such that:aux(35) =< H+1
s(229) =< aux(35)

  with precondition: [C=1,B>=1,H>=0] 

* Chain [166]: 54*s(239)+38*s(240)+0
  Such that:aux(36) =< H
aux(37) =< H+1
s(239) =< aux(37)
s(239) =< aux(36)

  with precondition: [C=1,B>=1,H>=1] 

* Chain [165]: 2*s(255)+1*s(256)+0
  Such that:aux(38) =< B
s(255) =< aux(38)

  with precondition: [C=1,B>=2] 

* Chain [164]: 6*s(259)+22*s(260)+6*s(263)+0
  Such that:aux(39) =< B
aux(40) =< H+1
s(259) =< aux(39)
s(263) =< aux(40)

  with precondition: [C=1,B>=2,H>=0] 

* Chain [163]: 4*s(274)+54*s(277)+38*s(278)+0
  Such that:aux(41) =< B
aux(42) =< H
aux(43) =< H+1
s(274) =< aux(41)
s(277) =< aux(43)
s(277) =< aux(42)

  with precondition: [C=1,B>=2,H>=1] 

* Chain [162]: 0
  with precondition: [U1=0,0>=B] 

* Chain [161]: 1*s(296)+0
  Such that:s(296) =< B

  with precondition: [U1=0,B>=1] 

* Chain [160]: 1*s(297)+0
  Such that:s(297) =< B

  with precondition: [U1=0,B>=2] 

* Chain [159]: 1*aux(44)+0
  with precondition: [0>=B] 

* Chain [158]: 2*s(299)+2*s(300)+0
  Such that:aux(45) =< W3+1
s(299) =< aux(45)

  with precondition: [0>=B,W3>=0] 

* Chain [157]: 2*s(303)+1*s(304)+0
  Such that:aux(46) =< W3
s(303) =< aux(46)

  with precondition: [0>=B,W3>=1] 

* Chain [156]: 5*s(307)+1*s(308)+0
  Such that:aux(47) =< B
s(307) =< aux(47)

  with precondition: [B>=1] 

* Chain [155]: 4*s(312)+2*s(314)+2*s(315)+0
  Such that:aux(48) =< B
aux(49) =< W3+1
s(312) =< aux(48)
s(314) =< aux(49)

  with precondition: [B>=1,W3>=0] 

* Chain [154]: 2*s(320)+2*s(321)+1*s(322)+0
  Such that:aux(50) =< B
aux(51) =< W3
s(320) =< aux(50)
s(321) =< aux(51)

  with precondition: [B>=1,W3>=1] 


Closed-form bounds of f26(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,U4): 
-------------------------------------
* Chain [173]... with precondition: [C=1,B>=1,H>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [172]... with precondition: [C=1,B>=1,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [171]... with precondition: [C=1,B>=2,H>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [170]... with precondition: [C=1,B>=2,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [169] with precondition: [] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [168] with precondition: [C=1,B>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [167] with precondition: [C=1,B>=1,H>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [166] with precondition: [C=1,B>=1,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [165] with precondition: [C=1,B>=2] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [164] with precondition: [C=1,B>=2,H>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [163] with precondition: [C=1,B>=2,H>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [162] with precondition: [U1=0,0>=B] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [161] with precondition: [U1=0,B>=1] 
    - Upper bound: B 
    - Complexity: n 
* Chain [160] with precondition: [U1=0,B>=2] 
    - Upper bound: B 
    - Complexity: n 
* Chain [159] with precondition: [0>=B] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [158] with precondition: [0>=B,W3>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [157] with precondition: [0>=B,W3>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [156] with precondition: [B>=1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [155] with precondition: [B>=1,W3>=0] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [154] with precondition: [B>=1,W3>=1] 
    - Upper bound: inf 
    - Complexity: infinity 

### Maximum cost of f26(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,U4): inf 
Asymptotic class: infinity 
* Total analysis performed in 17903 ms.

