warning: Ignored call to loop_cont_f40/15 in equation f0/15 
warning: Ignored call to f45/15 in equation f42/15 
warning: Ignored call to loop_cont_f40/15 in equation f28/15 
warning: Ignored call to loop_cont_f40/15 in equation f28/15 
warning: Ignored call to loop_cont_f40/15 in equation f28/15 
Warning: the following predicates are never called:[f42/15]
Inferred cost of f40(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): 
f40(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):[20]: 0
  with precondition: [P=1,R=B,S=C,T=D,U=E,V=F,W=G,X=H,Y=I,A1=K,B1=L,C1=M,D1=N,E1=O,A=Q,J=Z,1>=A,0>=J,A>=0] 

f40(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):[[19],20]: inf
  with precondition: [P=1,A=Q,B=R,C=S,D=T,E=U,F=V,G=W,H=X,I=Y,J=Z,K=A1,L=B1,M=C1,N=D1,O=E1,1>=A,0>=J,A>=0] 

f40(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):[[19],21]...: inf
  with precondition: [1>=A,0>=J,1>=P,A>=0,P>=0] 

Inferred cost of f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[22]: 1
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[23]: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[24]: 1
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[25]: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[26]...: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[27]...: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[28]...: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

f28(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[29]...: inf
  with precondition: [A=0,G=0,B=H,B=I,0>=J] 

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

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32]: inf
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[33]: 2
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[34]: inf
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[35]...: inf
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[36]...: inf
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[37]...: inf
  with precondition: [A=1,0>=J] 

f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[38]...: inf
  with precondition: [A=1,0>=J] 

Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[40]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[41]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[42]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[43]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[44]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[45]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[46]: 3
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[47]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[48]: 1
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[49]: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[50]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[51]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[52]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[53]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[54]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[55]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[56]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[57]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[58]...: inf
  with precondition: [] 

f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[59]...: inf
  with precondition: [] 

Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[40]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[41]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[42]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[43]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[44]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[45]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[46]: 3  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[47]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[48]: 1  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[49]: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[50]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[51]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[52]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[53]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[54]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[55]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[56]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[57]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[58]...: inf  with precondition: [] 
f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[59]...: inf  with precondition: [] 
Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 31 ms.
Invariants computed in 58 ms.
----Backward Invariants 30 ms.
----Transitive Invariants 8 ms.
Refinement performed in 102 ms.
Termination proved in 18 ms.
Upper bounds computed in 51 ms.
----Phase cost structures 24 ms.
--------Equation cost structures 24 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 23 ms.
----Solving cost expressions 0 ms.

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