warning: Ignored call to loop_cont_f36/19 in equation loop_cont_f24/19 
Inferred cost of f12(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): 
f12(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):[[19],20]: 1+it1*(1)
  Such that:it1=<3,it1=<-1*E+3
  with precondition: [A=3,C=3,T=0,U=3,W=3,Y=3,Z=3,A1=0,B1=1,B=V,I=C1,J=D1,K=E1,L=F1,M=G1,N=H1,O=I1,P=J1,X=K1,X=L1,2>=E,E>=0] 

Inferred cost of f24(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): 
f24(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):[23]: 1
  with precondition: [T=0,D1=0,E1=1,V=B,W=C,X=D,Y=E,F1=L,G1=M,K1=Q,L1=R,M1=S,A=U,F=Z,G=A1,H=B1,A=C1,H=H1,H=I1,G>=F] 

f24(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):[[22],23]: 1+it1*(1)
  Such that:it1=<1*F+ -1*G,it1=<1*Z+ -1*G
  with precondition: [T=0,D1=0,E1=1,A=U,B=V,C=W,D=X,E=Y,F=Z,F=A1,A=C1,L=F1,M=G1,B1=H1,B1=I1,Q=K1,R=L1,S=M1,F>=G+1] 

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

f36(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):[[25],26]: 1+it1*(1)
  Such that:it1=<1*I+ -1*J,it1=<1*C1+ -1*J
  with precondition: [T=1,A=U,B=V,C=W,D=X,E=Y,F=Z,G=A1,H=B1,I=C1,I=D1,E1=F1,E1=G1,N=H1,O=I1,P=J1,Q=K1,R=L1,S=M1,I>=J+1] 

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

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

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

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

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

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

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S):[36]: 4+it1*(1)+it2*(1)+it3*(1)
  Such that:it1=<3,it2=<3,it3=<3
  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): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S):[36]: 13  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): 13 
Asymptotic class: constant 
Time statistics: 
Partial evaluation computed in 41 ms.
Invariants computed in 147 ms.
----Backward Invariants 54 ms.
----Transitive Invariants 36 ms.
Refinement performed in 158 ms.
Termination proved in 93 ms.
Upper bounds computed in 83 ms.
----Phase cost structures 32 ms.
--------Equation cost structures 28 ms.
--------Inductive compression(1) 1 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 45 ms.
----Solving cost expressions 1 ms.

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