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

#### Computed strongly connected components 
0. recursive  : [f35/74]
1. non_recursive  : [exit_location/1]
2. non_recursive  : [f0/150]
3. recursive  : [f17/62,f34/62]
4. non_recursive  : [f34_loop_cont/151]
5. non_recursive  : [f35_loop_cont/151]
6. recursive  : [f36/64]
7. non_recursive  : [f36_loop_cont/151]
8. non_recursive  : [f14/150]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f35/74
1. SCC is completely evaluated into other SCCs
2. SCC is completely evaluated into other SCCs
3. SCC is partially evaluated into f34/62
4. SCC is partially evaluated into f34_loop_cont/151
5. SCC is partially evaluated into f35_loop_cont/151
6. SCC is partially evaluated into f36/64
7. SCC is partially evaluated into f36_loop_cont/151
8. SCC is partially evaluated into f14/150

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

### Specialization of cost equations f35/74 
* CE 5 is refined into CE [21] 
* CE 6 is refined into CE [22] 
* CE 4 is refined into CE [23] 
* CE 3 is refined into CE [24] 


### Cost equations --> "Loop" of f35/74 
* CEs [24] --> Loop 21 
* CEs [21] --> Loop 22 
* CEs [22] --> Loop 23 
* CEs [23] --> Loop 24 

### Ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,H1,P1,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,N4,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) 

#### Partial ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,H1,P1,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,N4,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) 


### Specialization of cost equations f34/62 
* CE 19 is refined into CE [25] 
* CE 17 is refined into CE [26] 
* CE 18 is refined into CE [27] 


### Cost equations --> "Loop" of f34/62 
* CEs [26] --> Loop 25 
* CEs [27] --> Loop 26 
* CEs [25] --> Loop 27 

### Ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,H1,I1,J1,K1,L1,M1,N1,O1,P1,R1,S1,U1,V1,W1,Y1,Z1,A2,B2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6) 
* RF of phase [25]: [W]

#### Partial ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,H1,I1,J1,K1,L1,M1,N1,O1,P1,R1,S1,U1,V1,W1,Y1,Z1,A2,B2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6) 
* Partial RF of phase [25]:
  - RF of loop [25:1]:
    W


### Specialization of cost equations f34_loop_cont/151 
* CE 20 is refined into CE [28] 


### Cost equations --> "Loop" of f34_loop_cont/151 
* CEs [28] --> Loop 28 

### 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,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) 

#### 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,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) 


### Specialization of cost equations f35_loop_cont/151 
* CE 9 is refined into CE [29,30,31,32] 
* CE 8 is refined into CE [33] 
* CE 7 is refined into CE [34] 


### Cost equations --> "Loop" of f35_loop_cont/151 
* CEs [29] --> Loop 29 
* CEs [31] --> Loop 30 
* CEs [30] --> Loop 31 
* CEs [33] --> Loop 32 
* CEs [34] --> Loop 33 
* CEs [32] --> Loop 34 

### 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) 

#### 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) 


### Specialization of cost equations f36/64 
* CE 12 is refined into CE [35] 
* CE 13 is refined into CE [36] 
* CE 11 is refined into CE [37] 
* CE 10 is refined into CE [38] 


### Cost equations --> "Loop" of f36/64 
* CEs [38] --> Loop 35 
* CEs [35] --> Loop 36 
* CEs [36] --> Loop 37 
* CEs [37] --> Loop 38 

### Ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,H1,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,P3,Q3,R3,S3,P4,Q4,R4,S4,T4,U4,V4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7) 

#### Partial ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,H1,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,P3,Q3,R3,S3,P4,Q4,R4,S4,T4,U4,V4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7) 


### Specialization of cost equations f36_loop_cont/151 
* CE 16 is refined into CE [39,40,41,42] 
* CE 15 is refined into CE [43] 
* CE 14 is refined into CE [44] 


### Cost equations --> "Loop" of f36_loop_cont/151 
* CEs [39] --> Loop 39 
* CEs [41] --> Loop 40 
* CEs [40] --> Loop 41 
* CEs [43] --> Loop 42 
* CEs [44] --> Loop 43 
* CEs [42] --> Loop 44 

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

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


### Specialization of cost equations f14/150 
* CE 2 is refined into CE [45,46,47,48,49,50,51,52,53,54,55,56,57] 
* CE 1 is refined into CE [58,59,60,61,62,63,64,65,66,67,68,69,70] 


### Cost equations --> "Loop" of f14/150 
* CEs [52,53,56] --> Loop 45 
* CEs [55] --> Loop 46 
* CEs [65,66,69] --> Loop 47 
* CEs [68] --> Loop 48 
* CEs [51] --> Loop 49 
* CEs [64] --> Loop 50 
* CEs [54,57] --> Loop 51 
* CEs [67,70] --> Loop 52 
* CEs [47] --> Loop 53 
* CEs [60] --> Loop 54 
* CEs [45] --> Loop 55 
* CEs [50] --> Loop 56 
* CEs [58] --> Loop 57 
* CEs [63] --> Loop 58 
* CEs [49] --> Loop 59 
* CEs [62] --> Loop 60 
* CEs [46] --> Loop 61 
* CEs [59] --> Loop 62 
* CEs [48] --> Loop 63 
* CEs [61] --> Loop 64 

### 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,H6) 

#### 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,H6) 


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

#### Cost of chains of f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,H1,P1,C2,D2,E2,F2,G2,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,N4,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):
* Chain [[21]]...: 1*it(21)+0
  with precondition: [D>=E+1,G>=1,W>=0,C2>=1,D2>=E2+1,0>=F2] 

* Chain [[21],23]: 1*it(21)+0
  with precondition: [H6=3,0>=F2,G>=1,W>=0,C2>=1,D>=E+1,D2>=E2+1] 

* Chain [24]: 0
  with precondition: [W=0,H6=2,L6=0,K6=F,M6=H,N6=I,O6=J,R6=P,S6=Q,T6=R,U6=V,Z6=P1,E7=M4,F7=N4,0>=V6,G>=1,F2>=1,H2>=1,D>=E+1,I2>=J2+1,K2>=L2+1,M2>=N2+1,X6>=P2+1,Q6>=Q2+1] 

* Chain [23]: 0
  with precondition: [H6=3,G>=1,W>=0,D>=E+1] 

* Chain [22]: 0
  with precondition: [H6=4,S6=Q,T6=R,Y6=H1,A7=R2,B7=S2,P3=I6,Q3=J6,Z6=K6,S3=L6,W=V6+1,O6=D7,O6=F7,W+M6=O6,W+N6=O6,G>=1,W>=1,F2>=1,H2>=1,S3>=1,D>=E+1,I2>=J2+1,Q6>=Q2+1,P3>=Q3+1,U6>=R3+1,G4>=H4+1,I4>=J4+1,X6>=L4+1] 


#### Cost of chains of f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,H1,I1,J1,K1,L1,M1,N1,O1,P1,R1,S1,U1,V1,W1,Y1,Z1,A2,B2,P3,Q3,R3,S3,G4,H4,I4,J4,K4,L4,M4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6):
* Chain [[26]]...: 1*it(26)+0
  with precondition: [R1>=S1+1,V1>=1,0>=W1] 

* Chain [[26],27]: 1*it(26)+0
  with precondition: [H6=3,0>=W1,V1>=1,R1>=S1+1] 

* Chain [[25],27]: 1*it(25)+0
  Such that:it(25) =< W

  with precondition: [H6=3,W>=1,W1>=1,B2>=1,S3>=1,Z1>=A2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1] 

* Chain [27]: 0
  with precondition: [H6=3] 


#### 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,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):
* Chain [28]: 0
  with precondition: [A=3,M5=P4,M5>=1] 


#### 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):
* Chain [34]...: 1*s(1)+0
  with precondition: [A=4,M5=P4,0>=X1,W1>=1,G5>=1,M5>=1,N5>=1,S1>=T1+1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 

* Chain [33]: 0
  with precondition: [A=2,M5=P4,G5>=1,M5>=1,N5>=1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 

* Chain [32]: 0
  with precondition: [A=3,M5=P4,G5>=1,M5>=1,N5>=1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 

* Chain [31]: 1*s(2)+0
  with precondition: [A=4,M5=P4,0>=X1,W1>=1,G5>=1,M5>=1,N5>=1,S1>=T1+1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 

* Chain [30]: 1*s(3)+0
  Such that:s(3) =< X

  with precondition: [A=4,M5=P4,X>=1,X1>=1,C2>=1,T3>=1,G5>=1,M5>=1,N5>=1,A2>=B2+1,Q3>=R3+1,H4>=I4+1,J4>=K4+1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 

* Chain [29]: 0
  with precondition: [A=4,M5=P4,G5>=1,M5>=1,N5>=1,F5>=O5+1,Q5>=R5+1,S5>=T5+1] 


#### Cost of chains of f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,H1,V2,W2,X2,Y2,Z2,A3,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,P3,Q3,R3,S3,P4,Q4,R4,S4,T4,U4,V4,H6,I6,J6,K6,L6,M6,N6,O6,P6,Q6,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7):
* Chain [[35]]...: 1*it(35)+0
  with precondition: [D>=E+1,0>=G,W>=0,V2>=W2+1,0>=X2] 

* Chain [[35],37]: 1*it(35)+0
  with precondition: [H6=3,0>=G,0>=X2,W>=0,D>=E+1,V2>=W2+1] 

* Chain [38]: 0
  with precondition: [W=0,H6=2,K6=0,N6=P,O6=Q,P6=R,Q6=V,V6=Z2,B7=V4,0>=G,0>=R6,0>=A7,X2>=1,D>=E+1,A3>=B3+1,C3>=D3+1,E3>=F3+1,T6>=H3+1,M6>=I3+1] 

* Chain [37]: 0
  with precondition: [H6=3,0>=G,W>=0,D>=E+1] 

* Chain [36]: 0
  with precondition: [H6=4,O6=Q,P6=R,U6=H1,V6=Z2,W6=J3,P3=I6,Q3=J6,S3=K6,W=R6+1,0>=G,0>=A7,W>=1,X2>=1,S3>=1,D>=E+1,A3>=B3+1,M6>=I3+1,P3>=Q3+1,Q6>=R3+1,P4>=Q4+1,T6>=S4+1,T4>=U4+1] 


#### Cost of chains of f36_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):
* Chain [44]...: 1*s(4)+0
  with precondition: [A=4,M5=P4,0>=X1,0>=D5,0>=G5,W1>=1,M5>=1,S1>=T1+1,F5>=X4+1,Z4>=A5+1,B5>=C5+1] 

* Chain [43]: 0
  with precondition: [A=2,M5=P4,0>=D5,0>=G5,M5>=1,F5>=X4+1,Z4>=A5+1,B5>=C5+1] 

* Chain [42]: 0
  with precondition: [A=3,M5=P4,0>=D5,0>=G5,M5>=1,F5>=X4+1,Z4>=A5+1,B5>=C5+1] 

* Chain [41]: 1*s(5)+0
  with precondition: [A=4,M5=P4,0>=X1,0>=D5,0>=G5,W1>=1,M5>=1,S1>=T1+1,F5>=X4+1,Z4>=A5+1,B5>=C5+1] 

* Chain [40]: 1*s(6)+0
  Such that:s(6) =< X

  with precondition: [A=4,M5=P4,0>=D5,0>=G5,X>=1,X1>=1,C2>=1,T3>=1,M5>=1,A2>=B2+1,Q3>=R3+1,H4>=I4+1,J4>=K4+1,F5>=X4+1,Z4>=A5+1,B5>=C5+1] 

* Chain [39]: 0
  with precondition: [A=4,M5=P4,0>=D5,0>=G5,M5>=1,F5>=X4+1,Z4>=A5+1,B5>=C5+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,H6):
* Chain [64]: 1*s(7)+0
  with precondition: [0>=W1,V1>=1,F2>=1,H2>=1,S3>=1,M5>=1,R1>=S1+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 

* Chain [63]: 1*s(8)+0
  with precondition: [0>=W1,V1>=1,X2>=1,S3>=1,R1>=S1+1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [62]: 1*s(9)+0
  with precondition: [0>=F2,C2>=1,M5>=1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 

* Chain [61]: 1*s(10)+0
  with precondition: [0>=X2,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [60]: 1*s(11)+0
  with precondition: [W1>=1,B2>=1,F2>=1,H2>=1,S3>=1,M5>=1,Z1>=A2+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 

* Chain [59]: 1*s(12)+0
  with precondition: [W1>=1,B2>=1,X2>=1,S3>=1,Z1>=A2+1,A3>=B3+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [58]: 0
  with precondition: [F2>=1,H2>=1,S3>=1,M5>=1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 

* Chain [57]: 0
  with precondition: [F2>=1,H2>=1,M5>=1,I2>=J2+1,K2>=L2+1,M2>=N2+1,P5>=Q5+1,R5>=S5+1] 

* Chain [56]: 0
  with precondition: [X2>=1,S3>=1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [55]: 0
  with precondition: [X2>=1,A3>=B3+1,C3>=D3+1,E3>=F3+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [54]: 0
  with precondition: [M5>=1,P5>=Q5+1,R5>=S5+1] 

* Chain [53]: 0
  with precondition: [Y4>=Z4+1,A5>=B5+1] 

* Chain [52]...: 1*aux(1)+0
  with precondition: [0>=W1,0>=F2,V1>=1,C2>=1,M5>=1,R1>=S1+1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 

* Chain [51]...: 1*aux(2)+0
  with precondition: [0>=W1,0>=X2,V1>=1,R1>=S1+1,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [50]...: 1*s(21)+0
  with precondition: [0>=W1,V1>=1,F2>=1,H2>=1,S3>=1,M5>=1,R1>=S1+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 

* Chain [49]...: 1*s(22)+0
  with precondition: [0>=W1,V1>=1,X2>=1,S3>=1,R1>=S1+1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [48]...: 2*s(23)+0
  with precondition: [0>=F2,W1>=1,B2>=1,C2>=1,S3>=1,M5>=1,Z1>=A2+1,D2>=E2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 

* Chain [47]...: 1*aux(3)+0
  with precondition: [0>=F2,C2>=1,M5>=1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 

* Chain [46]...: 2*s(28)+0
  with precondition: [0>=X2,W1>=1,B2>=1,S3>=1,Z1>=A2+1,V2>=W2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,Y4>=Z4+1,A5>=B5+1] 

* Chain [45]...: 1*aux(4)+0
  with precondition: [0>=X2,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 


Closed-form bounds 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,H6): 
-------------------------------------
* Chain [64] with precondition: [0>=W1,V1>=1,F2>=1,H2>=1,S3>=1,M5>=1,R1>=S1+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [63] with precondition: [0>=W1,V1>=1,X2>=1,S3>=1,R1>=S1+1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [62] with precondition: [0>=F2,C2>=1,M5>=1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [61] with precondition: [0>=X2,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [60] with precondition: [W1>=1,B2>=1,F2>=1,H2>=1,S3>=1,M5>=1,Z1>=A2+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [59] with precondition: [W1>=1,B2>=1,X2>=1,S3>=1,Z1>=A2+1,A3>=B3+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [58] with precondition: [F2>=1,H2>=1,S3>=1,M5>=1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [57] with precondition: [F2>=1,H2>=1,M5>=1,I2>=J2+1,K2>=L2+1,M2>=N2+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [56] with precondition: [X2>=1,S3>=1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [55] with precondition: [X2>=1,A3>=B3+1,C3>=D3+1,E3>=F3+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [54] with precondition: [M5>=1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [53] with precondition: [Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [52]... with precondition: [0>=W1,0>=F2,V1>=1,C2>=1,M5>=1,R1>=S1+1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [51]... with precondition: [0>=W1,0>=X2,V1>=1,R1>=S1+1,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [50]... with precondition: [0>=W1,V1>=1,F2>=1,H2>=1,S3>=1,M5>=1,R1>=S1+1,I2>=J2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [49]... with precondition: [0>=W1,V1>=1,X2>=1,S3>=1,R1>=S1+1,A3>=B3+1,P3>=Q3+1,P4>=Q4+1,T4>=U4+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [48]... with precondition: [0>=F2,W1>=1,B2>=1,C2>=1,S3>=1,M5>=1,Z1>=A2+1,D2>=E2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [47]... with precondition: [0>=F2,C2>=1,M5>=1,D2>=E2+1,P5>=Q5+1,R5>=S5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [46]... with precondition: [0>=X2,W1>=1,B2>=1,S3>=1,Z1>=A2+1,V2>=W2+1,P3>=Q3+1,G4>=H4+1,I4>=J4+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [45]... with precondition: [0>=X2,V2>=W2+1,Y4>=Z4+1,A5>=B5+1] 
    - Upper bound: inf 
    - Complexity: infinity 

### Maximum cost 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,H6): inf 
Asymptotic class: infinity 
* Total analysis performed in 3719 ms.

