warning: Ignored call to loop_cont_f3/32 in equation f33/32 
warning: Ignored call to f17/32 in equation f23/32 
warning: Ignored call to f17/32 in equation f23/32 
warning: Ignored call to f21/32 in equation f23/32 
warning: Ignored call to loop_cont_f16/32 in equation f23/32 
Warning: the following predicates are never called:[f23/32]
Inferred cost of f16(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): 
f16(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):[18]: 1
  with precondition: [G1=0,T1=0,J1=C,K1=D,L1=E,F=G,F=H,F=I,F=K,U1=N,Z1=S,A2=T,B2=U,C2=V,D2=W,E2=X,F2=Y,L2=E1,M2=F1,F=M1,F=N1,F=O1,F=P1,A>=0,H2>=1,J>=Q] 

f16(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):[20]: 1
  with precondition: [G1=0,T1=0,J1=C,K1=D,L1=E,F=G,F=H,F=I,F=K,U1=N,Z1=S,A2=T,B2=U,C2=V,D2=W,E2=X,F2=Y,L2=E1,M2=F1,F=M1,F=N1,F=O1,F=P1,0>=H2+1,A>=0,J>=Q] 

f16(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):[[16],18]: inf
  with precondition: [G1=0,T1=0,F=G,F=H,F=I,F=K,C=J1,D=K1,E=L1,M1=N1,M1=O1,M1=P1,N=U1,S=Z1,T=A2,E1=L2,F1=M2,A>=0,H2>=1,Q>=J+1] 

f16(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):[[16],20]: inf
  with precondition: [G1=0,T1=0,F=G,F=H,F=I,F=K,C=J1,D=K1,E=L1,M1=N1,M1=O1,M1=P1,N=U1,S=Z1,T=A2,E1=L2,F1=M2,0>=H2+1,A>=0,Q>=J+1] 

f16(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):[[16],21]...: inf
  with precondition: [G1=0,F=G,F=H,F=I,F=K,A>=0,Q>=J+1] 

Inferred 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): 
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):[30]: 1
  with precondition: [G1=1,K1=0,L1=E,M1=F,N1=G,O1=H,P1=I,Q1=J,R1=K,S1=L,T1=M,U1=N,V1=O,W1=P,X1=Q,Y1=R,Z1=S,A2=T,B2=U,C2=V,D2=W,E2=X,F2=Y,G2=Z,H2=A1,I2=B1,J2=C1,K2=D1,L2=E1,M2=F1,B=I1,B=J1,A>=1,B>=1,H1>=1] 

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):[31]: 1
  with precondition: [G1=1,K1=0,L1=E,M1=F,N1=G,O1=H,P1=I,Q1=J,R1=K,S1=L,T1=M,U1=N,V1=O,W1=P,X1=Q,Y1=R,Z1=S,A2=T,B2=U,C2=V,D2=W,E2=X,F2=Y,G2=Z,H2=A1,I2=B1,J2=C1,K2=D1,L2=E1,M2=F1,B=I1,B=J1,0>=B+1,A>=1,H1>=1] 

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):[32]: 1
  with precondition: [B=0,G1=1,J1=0,K1=0,L1=E,M1=F,N1=G,O1=H,Q1=J,R1=K,V1=O,W1=P,X1=Q,Y1=R,Z1=S,A2=T,B2=U,C2=V,D2=W,E2=X,F2=Y,G2=Z,H2=A1,I2=B1,J2=C1,K2=D1,L2=E1,M2=F1,L=I1,L=P1,L=S1,L=T1,L=U1,A>=1] 

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):[33]...: inf
  with precondition: [1>=G1,J>=0,G1>=0,Q>=J+2] 

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):[34]...: inf
  with precondition: [1>=G1,A>=0,G1>=0,Q>=J+2] 

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):[[22,23,24,25,26,27,28,29],30]: inf
  with precondition: [G1=1,K1=0,T1=0,J1=I1,M1=N1,M1=O1,M1=P1,N=U1,S=Z1,T=A2,E1=L2,F1=M2,H1>=1,J1>=1] 

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):[[22,23,24,25,26,27,28,29],31]: inf
  with precondition: [G1=1,K1=0,T1=0,J1=I1,M1=N1,M1=O1,M1=P1,N=U1,S=Z1,T=A2,E1=L2,F1=M2,0>=J1+1,H1>=1] 

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):[[22,23,24,25,26,27,28,29],32]: inf
  with precondition: [G1=1,J1=0,K1=0,M1=N1,M1=O1,I1=P1,I1=S1,I1=T1,I1=U1,S=Z1,T=A2,E1=L2,F1=M2] 

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):[[22,23,24,25,26,27,28,29],33]...: inf
  with precondition: [1>=G1,G1>=0] 

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):[[22,23,24,25,26,27,28,29],34]...: inf
  with precondition: [1>=G1,G1>=0] 

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):[[22,23,24,25,26,27,28,29],35]...: inf
  with precondition: [1>=G1,G1>=0] 

Inferred cost of f33(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): 
f33(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):[36]: 2
  with precondition: [A>=1,B>=1] 

f33(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):[37]: 2
  with precondition: [0>=B+1,A>=1] 

f33(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):[38]: 2
  with precondition: [B=0,A>=1] 

f33(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):[39]: inf
  with precondition: [] 

f33(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):[40]: inf
  with precondition: [] 

f33(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):[41]: inf
  with precondition: [] 

f33(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):[42]...: inf
  with precondition: [J>=0,Q>=J+2] 

f33(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):[43]...: inf
  with precondition: [A>=0,Q>=J+2] 

f33(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):[44]...: inf
  with precondition: [] 

f33(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):[45]...: inf
  with precondition: [] 

f33(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):[46]...: inf
  with precondition: [] 

f33(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):[47]...: inf
  with precondition: [J>=0,Q>=J+2] 

f33(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):[48]...: inf
  with precondition: [A>=0,Q>=J+2] 

f33(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):[49]...: inf
  with precondition: [] 

f33(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):[50]...: inf
  with precondition: [] 

f33(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):[51]...: inf
  with precondition: [] 

Solved cost expressions of f33(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): 
f33(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):[36]: 2  with precondition: [A>=1,B>=1] 
f33(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):[37]: 2  with precondition: [0>=B+1,A>=1] 
f33(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):[38]: 2  with precondition: [B=0,A>=1] 
f33(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):[39]: inf  with precondition: [] 
f33(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):[40]: inf  with precondition: [] 
f33(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):[41]: inf  with precondition: [] 
f33(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):[42]...: inf  with precondition: [J>=0,Q>=J+2] 
f33(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):[43]...: inf  with precondition: [A>=0,Q>=J+2] 
f33(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):[44]...: inf  with precondition: [] 
f33(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):[45]...: inf  with precondition: [] 
f33(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):[46]...: inf  with precondition: [] 
f33(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):[47]...: inf  with precondition: [J>=0,Q>=J+2] 
f33(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):[48]...: inf  with precondition: [A>=0,Q>=J+2] 
f33(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):[49]...: inf  with precondition: [] 
f33(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):[50]...: inf  with precondition: [] 
f33(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):[51]...: inf  with precondition: [] 
Maximum cost of f33(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): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 147 ms.
Invariants computed in 1005 ms.
----Backward Invariants 666 ms.
----Transitive Invariants 121 ms.
Refinement performed in 702 ms.
Termination proved in 255 ms.
Upper bounds computed in 261 ms.
----Phase cost structures 96 ms.
--------Equation cost structures 84 ms.
--------Inductive compression(1) 1 ms.
--------Inductive compression(2) 1 ms.
--------Black Cost 0 ms.
----Chain cost structures 151 ms.
----Solving cost expressions 0 ms.

Compressed phase information: 11 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 2653 ms.