/export/starexec/sandbox/solver/bin/starexec_run_its /export/starexec/sandbox/benchmark/theBenchmark.koat /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


MAYBE

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

#### Computed strongly connected components 
0. recursive  : [f35/82]
1. non_recursive  : [exit_location/1]
2. non_recursive  : [f0/158]
3. recursive  : [f17/70,f34/70]
4. non_recursive  : [f34_loop_cont/159]
5. non_recursive  : [f35_loop_cont/159]
6. recursive  : [f36/72]
7. non_recursive  : [f36_loop_cont/159]
8. non_recursive  : [f14/158]

#### Obtained direct recursion through partial evaluation 
0. SCC is partially evaluated into f35/82
1. SCC is completely evaluated into other SCCs
2. SCC is completely evaluated into other SCCs
3. SCC is partially evaluated into f34/70
4. SCC is partially evaluated into f34_loop_cont/159
5. SCC is partially evaluated into f35_loop_cont/159
6. SCC is partially evaluated into f36/72
7. SCC is partially evaluated into f36_loop_cont/159
8. SCC is partially evaluated into f14/158

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

### Specialization of cost equations f35/82 
* CE 5 is refined into CE [23] 
* CE 6 is refined into CE [24] 
* CE 4 is refined into CE [25] 
* CE 3 is refined into CE [26] 


### Cost equations --> "Loop" of f35/82 
* CEs [26] --> Loop 23 
* CEs [23] --> Loop 24 
* CEs [24] --> Loop 25 
* CEs [25] --> Loop 26 

### Ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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) 

#### Partial ranking functions of CR f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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) 


### Specialization of cost equations f34/70 
* CE 20 is refined into CE [27] 
* CE 18 is refined into CE [28] 
* CE 17 is refined into CE [29] 
* CE 19 is refined into CE [30] 


### Cost equations --> "Loop" of f34/70 
* CEs [29] --> Loop 27 
* CEs [30] --> Loop 28 
* CEs [27] --> Loop 29 
* CEs [28] --> Loop 30 

### Ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7) 
* RF of phase [27]: [W]

#### Partial ranking functions of CR f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7) 
* Partial RF of phase [27]:
  - RF of loop [27:1]:
    W


### Specialization of cost equations f34_loop_cont/159 
* CE 22 is refined into CE [31] 
* CE 21 is refined into CE [32] 


### Cost equations --> "Loop" of f34_loop_cont/159 
* CEs [31] --> Loop 31 
* CEs [32] --> Loop 32 

### 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,V5,W5,X5,Y5,Z5,A6,B6,C6) 

#### 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,V5,W5,X5,Y5,Z5,A6,B6,C6) 


### Specialization of cost equations f35_loop_cont/159 
* CE 9 is refined into CE [33,34,35,36,37,38,39] 
* CE 8 is refined into CE [40] 
* CE 7 is refined into CE [41] 


### Cost equations --> "Loop" of f35_loop_cont/159 
* CEs [35] --> Loop 33 
* CEs [37] --> Loop 34 
* CEs [33] --> Loop 35 
* CEs [36] --> Loop 36 
* CEs [34] --> Loop 37 
* CEs [40] --> Loop 38 
* CEs [41] --> Loop 39 
* CEs [38,39] --> Loop 40 

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

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


### Specialization of cost equations f36/72 
* CE 12 is refined into CE [42] 
* CE 13 is refined into CE [43] 
* CE 11 is refined into CE [44] 
* CE 10 is refined into CE [45] 


### Cost equations --> "Loop" of f36/72 
* CEs [45] --> Loop 41 
* CEs [42] --> Loop 42 
* CEs [43] --> Loop 43 
* CEs [44] --> Loop 44 

### Ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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) 

#### Partial ranking functions of CR f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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) 


### Specialization of cost equations f36_loop_cont/159 
* CE 16 is refined into CE [46,47,48,49,50,51,52] 
* CE 15 is refined into CE [53] 
* CE 14 is refined into CE [54] 


### Cost equations --> "Loop" of f36_loop_cont/159 
* CEs [48] --> Loop 45 
* CEs [50] --> Loop 46 
* CEs [46] --> Loop 47 
* CEs [49] --> Loop 48 
* CEs [47] --> Loop 49 
* CEs [53] --> Loop 50 
* CEs [54] --> Loop 51 
* CEs [51,52] --> Loop 52 

### 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,V5,W5,X5,Y5,Z5,A6,B6,C6) 

#### 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,V5,W5,X5,Y5,Z5,A6,B6,C6) 


### Specialization of cost equations f14/158 
* CE 2 is refined into CE [55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71] 
* CE 1 is refined into CE [72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88] 


### Cost equations --> "Loop" of f14/158 
* CEs [64,65,70] --> Loop 53 
* CEs [66] --> Loop 54 
* CEs [69] --> Loop 55 
* CEs [68] --> Loop 56 
* CEs [81,82,87] --> Loop 57 
* CEs [83] --> Loop 58 
* CEs [86] --> Loop 59 
* CEs [85] --> Loop 60 
* CEs [63] --> Loop 61 
* CEs [80] --> Loop 62 
* CEs [67,71] --> Loop 63 
* CEs [84,88] --> Loop 64 
* CEs [57] --> Loop 65 
* CEs [74] --> Loop 66 
* CEs [55] --> Loop 67 
* CEs [62] --> Loop 68 
* CEs [72] --> Loop 69 
* CEs [79] --> Loop 70 
* CEs [61] --> Loop 71 
* CEs [58] --> Loop 72 
* CEs [60] --> Loop 73 
* CEs [78] --> Loop 74 
* CEs [75,77] --> Loop 75 
* CEs [56] --> Loop 76 
* CEs [73] --> Loop 77 
* CEs [59] --> Loop 78 
* CEs [76] --> Loop 79 

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

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


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

#### Cost of chains of f35(D,E,F,G,H,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,U1,H2,I2,J2,K2,L2,M2,N2,O2,P2,Q2,R2,S2,T2,U2,V2,W2,X2,Y2,Z2,A3,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,V4,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):
* Chain [[23]]...: 1*it(23)+0
  with precondition: [D>=E+1,G>=1,W>=0,H2>=1,0>=J2,K2>=L2+1] 

* Chain [[23],25]: 1*it(23)+0
  with precondition: [R6=3,0>=J2,G>=1,W>=0,H2>=1,D>=E+1,K2>=L2+1] 

* Chain [26]: 0
  with precondition: [W=0,R6=2,V6=0,U6=F,W6=H,X6=I,Y6=J,B7=P,C7=Q,D7=R,E7=V,M7=U1,S7=U4,T7=V4,J7=I7,0>=F7,G>=1,J2>=1,M2>=1,D>=E+1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,A7>=T2+1,H7>=U2+1,K7>=V2+1] 

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

* Chain [24]: 0
  with precondition: [R6=4,C7=Q,D7=R,L7=L1,N7=W2,O7=X2,P7=Y2,W3=S6,X3=T6,M7=U6,Z3=V6,W=F7+1,J7=I7,Y6=R7,Y6=T7,W+W6=Y6,W+X6=Y6,G>=1,W>=1,J2>=1,M2>=1,Z3>=1,D>=E+1,N2>=O2+1,A7>=T2+1,W3>=X3+1,E7>=Y3+1,O4>=P4+1,K7>=Q4+1,H7>=R4+1,S4>=T4+1] 


#### Cost of chains of f34(D,E,G,I,J,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,W1,Y1,Z1,A2,B2,D2,E2,F2,G2,W3,X3,Y3,Z3,O4,P4,Q4,R4,S4,T4,U4,R6,S6,T6,U6,V6,W6,X6,Y6,Z6,A7,B7,C7,D7,E7,F7,G7,H7,I7,J7,K7,L7,M7,N7):
* Chain [[28]]...: 1*it(28)+0
  with precondition: [Y1>=Z1+1,A2>=1,0>=B2] 

* Chain [[28],29]: 1*it(28)+0
  with precondition: [R6=3,0>=B2,A2>=1,Y1>=Z1+1] 

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

  with precondition: [R6=2,U6=0,Q=A7,R=B7,G7=H7,0>=D7,W>=1,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,F7>=Q1+1,I7>=R1+1,Y6>=D2+1,E2>=F2+1,W3>=X3+1,C7>=Y3+1,O4>=P4+1,S4>=T4+1] 

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

  with precondition: [R6=3,W>=1,B2>=1,G2>=1,Z3>=1,E2>=F2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1] 

* Chain [30]: 0
  with precondition: [R6=2,Z6=P,A7=Q,B7=R,C7=V,N7=U4,W=U6,H7=G7,0>=W,0>=D7,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,F7>=Q1+1,I7>=R1+1,Y6>=D2+1,E2>=F2+1] 

* Chain [29]: 0
  with precondition: [R6=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,V5,W5,X5,Y5,Z5,A6,B6,C6):
* Chain [32]: 0
  with precondition: [A=2,U5=X4,U5>=1] 

* Chain [31]: 0
  with precondition: [A=3,U5=X4,U5>=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,V5,W5,X5,Y5,Z5,A6,B6,C6):
* Chain [40]...: 1*aux(1)+0
  with precondition: [A=4,U5=X4,0>=C2,B2>=1,O5>=1,U5>=1,V5>=1,Z1>=A2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

* Chain [39]: 0
  with precondition: [A=2,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

* Chain [38]: 0
  with precondition: [A=3,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

* Chain [37]: 0
  with precondition: [A=4,U5=X4,0>=X,C2>=1,H2>=1,O5>=1,U5>=1,V5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

* Chain [36]: 1*s(3)+0
  with precondition: [A=4,U5=X4,0>=C2,B2>=1,O5>=1,U5>=1,V5>=1,Z1>=A2+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

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

  with precondition: [A=4,U5=X4,X>=1,C2>=1,H2>=1,A4>=1,O5>=1,U5>=1,V5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

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

  with precondition: [A=4,U5=X4,X>=1,C2>=1,H2>=1,A4>=1,O5>=1,U5>=1,V5>=1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 

* Chain [33]: 0
  with precondition: [A=4,U5=X4,O5>=1,U5>=1,V5>=1,N5>=W5+1,Y5>=Z5+1,A6>=B6+1] 


#### Cost of chains of f36(D,E,G,K,L,P,Q,R,V,W,D1,E1,F1,H1,I1,L1,B3,C3,D3,E3,F3,G3,H3,I3,J3,K3,L3,M3,N3,O3,P3,Q3,R3,S3,T3,U3,W3,X3,Y3,Z3,X4,Y4,Z4,A5,B5,C5,D5,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):
* Chain [[41]]...: 1*it(41)+0
  with precondition: [D>=E+1,0>=G,W>=0,0>=C3,D3>=E3+1] 

* Chain [[41],43]: 1*it(41)+0
  with precondition: [R6=3,0>=G,0>=C3,W>=0,D>=E+1,D3>=E3+1] 

* Chain [44]: 0
  with precondition: [W=0,R6=2,U6=0,X6=P,Y6=Q,Z6=R,A7=V,I7=F3,P7=D5,F7=E7,0>=G,0>=B7,0>=O7,C3>=1,D>=E+1,G3>=H3+1,I3>=J3+1,K3>=L3+1,W6>=M3+1,D7>=N3+1,G7>=O3+1] 

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

* Chain [42]: 0
  with precondition: [R6=4,Y6=Q,Z6=R,H7=L1,I7=F3,J7=P3,K7=Q3,W3=S6,X3=T6,Z3=U6,W=B7+1,F7=E7,0>=G,0>=O7,W>=1,C3>=1,Z3>=1,D>=E+1,G3>=H3+1,W6>=M3+1,W3>=X3+1,A7>=Y3+1,X4>=Y4+1,G7>=Z4+1,D7>=A5+1,B5>=C5+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,V5,W5,X5,Y5,Z5,A6,B6,C6):
* Chain [52]...: 1*aux(2)+0
  with precondition: [A=4,U5=X4,0>=C2,0>=L5,0>=O5,B2>=1,U5>=1,Z1>=A2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

* Chain [51]: 0
  with precondition: [A=2,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

* Chain [50]: 0
  with precondition: [A=3,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

* Chain [49]: 0
  with precondition: [A=4,U5=X4,0>=X,0>=L5,0>=O5,C2>=1,H2>=1,U5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

* Chain [48]: 1*s(8)+0
  with precondition: [A=4,U5=X4,0>=C2,0>=L5,0>=O5,B2>=1,U5>=1,Z1>=A2+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

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

  with precondition: [A=4,U5=X4,0>=L5,0>=O5,X>=1,C2>=1,H2>=1,A4>=1,U5>=1,N1>=O1+1,P1>=Q1+1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

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

  with precondition: [A=4,U5=X4,0>=L5,0>=O5,X>=1,C2>=1,H2>=1,A4>=1,U5>=1,F2>=G2+1,X3>=Y3+1,P4>=Q4+1,T4>=U4+1,N5>=F5+1,H5>=I5+1,J5>=K5+1] 

* Chain [45]: 0
  with precondition: [A=4,U5=X4,0>=L5,0>=O5,U5>=1,N5>=F5+1,H5>=I5+1,J5>=K5+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,R6):
* Chain [79]: 1*s(11)+0
  with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [78]: 1*s(12)+0
  with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [77]: 1*s(13)+0
  with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [76]: 1*s(14)+0
  with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 

* Chain [75]: 1*aux(3)+0
  with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [74]: 1*s(16)+0
  with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [73]: 1*s(17)+0
  with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [72]: 0
  with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [71]: 1*s(18)+0
  with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [70]: 0
  with precondition: [J2>=1,M2>=1,Z3>=1,U5>=1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [69]: 0
  with precondition: [J2>=1,M2>=1,U5>=1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [68]: 0
  with precondition: [C3>=1,Z3>=1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [67]: 0
  with precondition: [C3>=1,G3>=H3+1,I3>=J3+1,K3>=L3+1,G5>=H5+1,I5>=J5+1] 

* Chain [66]: 0
  with precondition: [U5>=1,X5>=Y5+1,Z5>=A6+1] 

* Chain [65]: 0
  with precondition: [G5>=H5+1,I5>=J5+1] 

* Chain [64]...: 1*aux(4)+0
  with precondition: [0>=B2,0>=J2,A2>=1,H2>=1,U5>=1,Y1>=Z1+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [63]...: 1*aux(5)+0
  with precondition: [0>=B2,0>=C3,A2>=1,Y1>=Z1+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 

* Chain [62]...: 1*s(27)+0
  with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [61]...: 1*s(28)+0
  with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 

* Chain [60]...: 2*s(29)+0
  with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [59]...: 2*s(31)+0
  with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [58]...: 1*s(33)+0
  with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [57]...: 1*aux(6)+0
  with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 

* Chain [56]...: 2*s(37)+0
  with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 

* Chain [55]...: 2*s(39)+0
  with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 

* Chain [54]...: 1*s(41)+0
  with precondition: [0>=C3,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 

* Chain [53]...: 1*aux(7)+0
  with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+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,T5,U5,V5,W5,X5,Y5,Z5,A6,R6): 
-------------------------------------
* Chain [79] with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [78] with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [77] with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [76] with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [75] with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [74] with precondition: [B2>=1,G2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,E2>=F2+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [73] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [72] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [71] with precondition: [B2>=1,G2>=1,C3>=1,Z3>=1,E2>=F2+1,G3>=H3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [70] with precondition: [J2>=1,M2>=1,Z3>=1,U5>=1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [69] with precondition: [J2>=1,M2>=1,U5>=1,N2>=O2+1,P2>=Q2+1,R2>=S2+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [68] with precondition: [C3>=1,Z3>=1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [67] with precondition: [C3>=1,G3>=H3+1,I3>=J3+1,K3>=L3+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [66] with precondition: [U5>=1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [65] with precondition: [G5>=H5+1,I5>=J5+1] 
    - Upper bound: 0 
    - Complexity: constant 
* Chain [64]... with precondition: [0>=B2,0>=J2,A2>=1,H2>=1,U5>=1,Y1>=Z1+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [63]... with precondition: [0>=B2,0>=C3,A2>=1,Y1>=Z1+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [62]... with precondition: [0>=B2,A2>=1,J2>=1,M2>=1,Z3>=1,U5>=1,Y1>=Z1+1,N2>=O2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [61]... with precondition: [0>=B2,A2>=1,C3>=1,Z3>=1,Y1>=Z1+1,G3>=H3+1,W3>=X3+1,X4>=Y4+1,B5>=C5+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [60]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [59]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,Z3>=1,U5>=1,E2>=F2+1,K2>=L2+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [58]... with precondition: [0>=J2,B2>=1,G2>=1,H2>=1,U5>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [57]... with precondition: [0>=J2,H2>=1,U5>=1,K2>=L2+1,X5>=Y5+1,Z5>=A6+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [56]... with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [55]... with precondition: [0>=C3,B2>=1,G2>=1,Z3>=1,E2>=F2+1,D3>=E3+1,W3>=X3+1,O4>=P4+1,S4>=T4+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [54]... with precondition: [0>=C3,B2>=1,G2>=1,M1>=N1+1,O1>=P1+1,E2>=F2+1,D3>=E3+1,G5>=H5+1,I5>=J5+1] 
    - Upper bound: inf 
    - Complexity: infinity 
* Chain [53]... with precondition: [0>=C3,D3>=E3+1,G5>=H5+1,I5>=J5+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,T5,U5,V5,W5,X5,Y5,Z5,A6,R6): inf 
Asymptotic class: infinity 
* Total analysis performed in 11486 ms.