warning: Ignored call to loop_cont_f57/20 in equation loop_cont_f14/20 
Inferred cost of f6(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): 
f6(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):[[19],20]: 1+it1*(1)
  Such that:it1=<64,it1=<-1*B+64
  with precondition: [U=0,W=64,X=7,D=Y,E=Z,F=A1,G=B1,H=C1,I=D1,J=E1,K=F1,L=G1,M=H1,N=I1,O=J1,P=K1,Q=L1,R=M1,S=N1,T=O1,63>=B,B>=0] 

Inferred 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): 
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):[23]: 1
  with precondition: [U=0,X=7,V=A,W=B,Y=D,Z=E,A1=F,B1=G,C1=H,D1=I,E1=J,F1=K,G1=L,H1=M,I1=N,J1=O,K1=P,L1=Q,M1=R,N1=S,O1=T,0>=C+1] 

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):[[22],23]: 1+it1*(1)
  Such that:it1=<1*C+1
  with precondition: [U=0,X=7,A=V,B=W,A1=C1+J1,Y=E1+H1,2*Y=G1+H1,2*A1=I1+J1,C>=0] 

Inferred cost of f57(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): 
f57(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):[26]: 1
  with precondition: [U=1,V=A,W=B,Y=D,Z=E,A1=F,B1=G,C1=H,D1=I,E1=J,F1=K,G1=L,H1=M,I1=N,J1=O,K1=P,L1=Q,M1=R,N1=S,O1=T,C=X,0>=C+1] 

f57(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):[[25],26]: 1+it1*(1)
  Such that:it1=<1*C+1
  with precondition: [U=1,X+1=0,A=V,B=W,A1=C1+J1,Y=E1+H1,2*Y=G1+H1,2*A1=I1+J1,C>=0] 

Inferred cost of loop_cont_f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T): 
loop_cont_f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[28]: 1
  with precondition: [0>=C+1] 

loop_cont_f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[29]: 1+it1*(1)
  Such that:it1=<1*C+1
  with precondition: [C>=0] 

Inferred cost of loop_cont_f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T): 
loop_cont_f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[31]: 2+it1*(1)
  Such that:it1=<8
  with precondition: [0>=C+1] 

loop_cont_f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[32]: 2+it1*(1)+it2*(1)
  Such that:it1=<1*C+1,it2=<8
  with precondition: [C>=0] 

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[34]: 4+it1*(1)+it2*(1)+it3*(1)
  Such that:it1=<64,it2=<8,it3=<8
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T):[34]: 84  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T): 84 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 50 ms.
Invariants computed in 146 ms.
----Backward Invariants 54 ms.
----Transitive Invariants 33 ms.
Refinement performed in 143 ms.
Termination proved in 73 ms.
Upper bounds computed in 69 ms.
----Phase cost structures 23 ms.
--------Equation cost structures 20 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 40 ms.
----Solving cost expressions 0 ms.

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