warning: Ignored call to loop_cont_f1/21 in equation f300/21 
Inferred cost of f1(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): 
f1(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):[18]: 1
  with precondition: [V=1,N1=0,O1=0,P1=0,W=A,X=B,Y=C,Z=D,A1=E,D1=H,G1=K,H1=L,I1=M,J1=N,K1=O,L1=P,M1=Q,Q1=U,F=B1,G=C1,F>=G] 

f1(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):[19]: 1
  with precondition: [V=1,W=A,X=B,Y=C,Z=D,A1=E,F+1=G,M1=Q,F=B1,F+1=C1,H=D1,H=N1,H=O1,H=P1,H>=257] 

f1(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):[20]: 1
  with precondition: [V=1,W=A,X=B,Y=C,Z=D,A1=E,F+1=G,M1=Q,F=B1,F+1=C1,H=D1,H=N1,H=O1,H=P1,255>=H,H>=1] 

f1(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):[21]: 1
  with precondition: [V=1,W=A,X=B,Y=C,Z=D,A1=E,D1=H,F=B1,G=C1,Q=M1,Q=N1,Q=O1,Q=P1,Q>=257,G>=F+2] 

f1(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):[22]: 1
  with precondition: [V=1,W=A,X=B,Y=C,Z=D,A1=E,D1=H,F=B1,G=C1,Q=M1,Q=N1,Q=O1,Q=P1,255>=Q,Q>=1,G>=F+2] 

f1(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):[[14],23]...: inf
  with precondition: [H=256,F+1=G,1>=V,V>=0] 

f1(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):[[15],23]...: inf
  with precondition: [F+1=G,0>=H,1>=V,V>=0] 

f1(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):[[16],23]...: inf
  with precondition: [Q=256,1>=V,V>=0,G>=F+2] 

f1(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):[[17],23]...: inf
  with precondition: [0>=Q,1>=V,V>=0,G>=F+2] 

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

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[25]: 2
  with precondition: [G=F+1,H>=257] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[26]: 2
  with precondition: [G=F+1,255>=H,H>=1] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[27]: 2
  with precondition: [Q>=257,G>=F+2] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[28]: 2
  with precondition: [255>=Q,Q>=1,G>=F+2] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[29]...: inf
  with precondition: [H=256,G=F+1] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[30]...: inf
  with precondition: [G=F+1,0>=H] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[31]...: inf
  with precondition: [Q=256,G>=F+2] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[32]...: inf
  with precondition: [0>=Q,G>=F+2] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[33]...: inf
  with precondition: [H=256,G=F+1] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[34]...: inf
  with precondition: [G=F+1,0>=H] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[35]...: inf
  with precondition: [Q=256,G>=F+2] 

f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[36]...: inf
  with precondition: [0>=Q,G>=F+2] 

Solved cost expressions of f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[24]: 2  with precondition: [F>=G] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[25]: 2  with precondition: [G=F+1,H>=257] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[26]: 2  with precondition: [G=F+1,255>=H,H>=1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[27]: 2  with precondition: [Q>=257,G>=F+2] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[28]: 2  with precondition: [255>=Q,Q>=1,G>=F+2] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[29]...: inf  with precondition: [H=256,G=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[30]...: inf  with precondition: [G=F+1,0>=H] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[31]...: inf  with precondition: [Q=256,G>=F+2] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[32]...: inf  with precondition: [0>=Q,G>=F+2] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[33]...: inf  with precondition: [H=256,G=F+1] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[34]...: inf  with precondition: [G=F+1,0>=H] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[35]...: inf  with precondition: [Q=256,G>=F+2] 
f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U):[36]...: inf  with precondition: [0>=Q,G>=F+2] 
Maximum cost of f300(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 38 ms.
Invariants computed in 189 ms.
----Backward Invariants 60 ms.
----Transitive Invariants 50 ms.
Refinement performed in 265 ms.
Termination proved in 92 ms.
Upper bounds computed in 68 ms.
----Phase cost structures 21 ms.
--------Equation cost structures 19 ms.
--------Inductive compression(1) 1 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 38 ms.
----Solving cost expressions 0 ms.

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