warning: Ignored call to loop_cont_f5/6 in equation f0/6 
Inferred cost of f5(A,B,C,D,E,F,G,H,I,J,K,L,M): 
f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[141]: 4
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=2,J=C+4,D=K,F=M,J>=256,D>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[144]: 4
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=1,J+4=C,D=K,F=M,0>=J+1,F>=D+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[147]: 3
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=0,J=C,D=F,D=K,D=M] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],104,[115,116,117,119],156]: 8+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<1/4*C+ -3/4,it2=<1/4*C+ -1/4*J+3/2
  with precondition: [A=4,B=0,G=1,H=1,I=1,J=256,L=2,F=M,1>=E,C>=254,E>=0,F>=D+1,K>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],104,[115,116,117,119],161]: 7+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<1/4*C+ -3/4,it2=<1*L+1/4*C+ -1/4*J+ -3/4
  with precondition: [A=4,B=0,G=1,H=1,I=1,F=K,F=M,1>=E,2>=L,E>=0,L>=1,J+3>=4*L,F>=D+1,4*L+249>=J,C+4*L>=J+7] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],104,[115,116,117,119],162]: 5+it1*(4)+it2*(4)
  Such that:it1=<2,it2=<1/4*C,it2=<1/4*C+ -3/4,it2=<-1/4*J+1/4*C+1/2*L+1/2
  with precondition: [A=4,B=0,G=1,H=1,I=1,F=M,1>=E,2>=L,C>=4,E>=0,L>=1,J+2>=2*L,F>=D+1,2*L+254>=J,C+2*L>=J+2] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],104,156]: 8+it1*(4)
  Such that:it1=<1/4*C+ -3/4,it1=<1/4*C+ -1/4*J+5/4
  with precondition: [A=4,B=0,G=1,H=2,I=1,L=2,F=M,1>=E,257>=J,E>=0,J>=256,F>=D+1,K>=F+1,C+1>=J] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],104,161]: 7+it1*(4)
  Such that:it1=<1/4*C+ -3/4,it1=<1/4*C+ -1/4*J+3/4
  with precondition: [A=4,B=0,G=1,H=2,I=1,L=2,F=K,F=M,1>=E,255>=J,E>=0,J>=3,F>=D+1,C>=J+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],143]: 4+it1*(4)
  Such that:it1=<1/4*C+ -3/4,it1=<1/4*C+ -1/4*J+3/4
  with precondition: [A=4,B=0,G=1,H=3,I=1,L=2,F=M,1>=E,E>=0,J>=256,F>=D+1,K>=F+1,C>=J+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],144]: 4+it1*(4)
  Such that:it1=<1/4*C+ -3/4,it1=<1/4*C+ -1/4*J+ -1
  with precondition: [A=4,B=0,G=1,H=4,I=0,L=1,F=M,1>=E,0>=J+1,E>=0,J+4>=0,F>=D+1,C>=J+8,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[[105],147]: 3+it1*(4)
  Such that:it1=<1/4*C+ -1/4*J,it1=<1/4*C+ -3/4
  with precondition: [A=4,B=0,G=1,H=4,I=0,L=1,F=K,F=M,1>=E,E>=0,J>=0,F>=D+1,C>=J+4] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],107,[115,116,117,119],158]: 12+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<-1/4*C+62,it2=<1/4*J+ -1/4*C+1/2
  with precondition: [A=4,B=0,E=0,G=1,H=1,I=1,J+1=0,L=1,F=M,0>=C+3,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],107,[115,116,117,119],161]: 11+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<-1/4*C+62,it2=<1/4*J+ -1/4*C+ -1*L+5/4
  with precondition: [A=4,B=0,E=0,G=1,H=1,I=1,F=K,F=M,2>=L,L>=1,J+6>=4*L,D>=F+1,4*L+246>=J,J+1>=4*L+C] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],107,[115,116,117,119],162]: 9+it1*(4)+it2*(4)
  Such that:it1=<2,it2=<-1/4*C+62,it2=<-1/4*C+251/4,it2=<1/4*J+ -1/4*C+ -1/2*L+1
  with precondition: [A=4,B=0,E=0,G=1,H=1,I=1,F=M,247>=C,2>=L,L>=1,J+5>=2*L,D>=F+1,2*L+251>=J,J>=2*L+C] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],107,158]: 12+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<1/4*J+ -1/4*C+1/4
  with precondition: [A=4,B=0,E=0,G=1,H=2,I=1,L=1,F=M,0>=J+1,J+2>=0,J>=C+3,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],107,161]: 11+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<1/4*J+ -1/4*C+ -1/4
  with precondition: [A=4,B=0,E=0,G=1,H=2,I=1,L=1,F=K,F=M,252>=J,J>=0,J>=C+5,D>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],142]: 8+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<1/4*J+ -1/4*C+ -2
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=2,F=M,259>=J,J>=256,J>=C+12,D>=F+1,K>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],146]: 8+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<1/4*J+ -1/4*C+ -1/4
  with precondition: [A=4,B=0,E=0,G=1,H=3,I=1,L=1,F=M,0>=J+1,J>=C+5,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,[103],147]: 7+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<1/4*J+ -1/4*C+ -1
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=2,F=K,F=M,255>=J,J>=C+8,D>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,107,[115,116,117,119],158]: 12+it1*(4)
  Such that:it1=<1,it1=<2
  with precondition: [A=4,B=0,C=1,E=0,G=1,H=1,I=1,J+1=0,L=1,F=M,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,107,[115,116,117,119],161]: 11+it1*(4)
  Such that:it1=<1,it1=<2
  with precondition: [A=4,B=0,E=0,G=1,H=1,I=1,F=K,F=M,C+4*L=J+5,2>=L,L>=1,J+6>=4*L,D>=F+1,4*L+246>=J] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,107,[115,116,117,119],162]: 9+it1*(4)
  Such that:it1=<2
  with precondition: [A=4,B=0,E=0,G=1,H=1,I=1,F=M,251>=C,2>=L,C+1>=0,L>=1,D>=F+1,J+4>=2*L+C,C+2*L>=J] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,107,158]: 12
  with precondition: [A=4,B=0,E=0,G=1,H=2,I=1,L=1,J+1=C,F=M,0>=J+1,J+2>=0,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,107,161]: 11
  with precondition: [A=4,B=0,E=0,G=1,H=2,I=1,L=1,J=C+1,F=K,F=M,252>=J,J>=0,D>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,142]: 8
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=2,J=C+8,F=M,259>=J,J>=256,D>=F+1,K>=F+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,146]: 8
  with precondition: [A=4,B=0,E=0,G=1,H=3,I=1,L=1,J=C+1,F=M,0>=J+1,D>=F+1,F>=K+1] 

f5(A,B,C,D,E,F,G,H,I,J,K,L,M):[102,147]: 7
  with precondition: [A=4,B=0,E=0,G=1,H=4,I=0,L=2,J=C+4,F=K,F=M,255>=J,D>=F+1] 

Inferred cost of f0(A,B,C,D,E,F): 
f0(A,B,C,D,E,F):[164]: 5
  with precondition: [C>=252] 

f0(A,B,C,D,E,F):[165]: 5
  with precondition: [3>=C] 

f0(A,B,C,D,E,F):[166]: 4
  with precondition: [] 

f0(A,B,C,D,E,F):[167]: 9+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<1/4*C+ -125/2,it2=<1/4*C+ -3/4
  with precondition: [C>=254] 

f0(A,B,C,D,E,F):[168]: 8+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<1/4*C,it2=<1/4*C+ -3/4
  with precondition: [C>=4] 

f0(A,B,C,D,E,F):[169]: 6+it1*(4)+it2*(4)
  Such that:it1=<2,it2=<1/4*C,it2=<1/4*C+1,it2=<1/4*C+ -3/4
  with precondition: [C>=4] 

f0(A,B,C,D,E,F):[170]: 9+it1*(4)
  Such that:it1=<1/4*C+ -251/4,it1=<1/4*C+ -3/4
  with precondition: [C>=255] 

f0(A,B,C,D,E,F):[171]: 8+it1*(4)
  Such that:it1=<1/4*C,it1=<1/4*C+ -3/4
  with precondition: [C>=4] 

f0(A,B,C,D,E,F):[172]: 5+it1*(4)
  Such that:it1=<1/4*C+ -253/4,it1=<1/4*C+ -3/4
  with precondition: [C>=257] 

f0(A,B,C,D,E,F):[173]: 5+it1*(4)
  Such that:it1=<1/4*C,it1=<1/4*C+ -3/4
  with precondition: [C>=4] 

f0(A,B,C,D,E,F):[174]: 4+it1*(4)
  Such that:it1=<1/4*C,it1=<1/4*C+ -3/4
  with precondition: [C>=4] 

f0(A,B,C,D,E,F):[175]: 13+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<-1/4*C+62,it2=<-1/4*C+1/4
  with precondition: [0>=C+3] 

f0(A,B,C,D,E,F):[176]: 12+it1*(4)+it2*(4)
  Such that:it1=<1,it1=<2,it2=<-1/4*C+62,it2=<-1/4*C+251/4
  with precondition: [247>=C] 

f0(A,B,C,D,E,F):[177]: 10+it1*(4)+it2*(4)
  Such that:it1=<2,it2=<-1/4*C+62,it2=<-1/4*C+251/4,it2=<-1/4*C+255/4
  with precondition: [247>=C] 

f0(A,B,C,D,E,F):[178]: 13+it1*(4)
  Such that:it1=<-1/4*C,it1=<-1/4*C+62
  with precondition: [0>=C+4] 

f0(A,B,C,D,E,F):[179]: 12+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<-1/4*C+251/4
  with precondition: [247>=C] 

f0(A,B,C,D,E,F):[180]: 9+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<-1/4*C+251/4
  with precondition: [247>=C] 

f0(A,B,C,D,E,F):[181]: 9+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<-1/4*C+ -1/2
  with precondition: [0>=C+6] 

f0(A,B,C,D,E,F):[182]: 8+it1*(4)
  Such that:it1=<-1/4*C+62,it1=<-1/4*C+251/4
  with precondition: [247>=C] 

f0(A,B,C,D,E,F):[183]: 13+it1*(4)
  Such that:it1=<1,it1=<2
  with precondition: [C=1] 

f0(A,B,C,D,E,F):[184]: 12+it1*(4)
  Such that:it1=<1,it1=<2
  with precondition: [251>=C,C+1>=0] 

f0(A,B,C,D,E,F):[185]: 10+it1*(4)
  Such that:it1=<2
  with precondition: [251>=C,C+1>=0] 

f0(A,B,C,D,E,F):[186]: 13
  with precondition: [0>=C,C+1>=0] 

f0(A,B,C,D,E,F):[187]: 12
  with precondition: [251>=C,C+1>=0] 

f0(A,B,C,D,E,F):[188]: 9
  with precondition: [251>=C,C>=248] 

f0(A,B,C,D,E,F):[189]: 9
  with precondition: [0>=C+2] 

f0(A,B,C,D,E,F):[190]: 8
  with precondition: [251>=C] 

Solved cost expressions of f0(A,B,C,D,E,F): 
f0(A,B,C,D,E,F):[164]: 5  with precondition: [C>=252] 
f0(A,B,C,D,E,F):[165]: 5  with precondition: [3>=C] 
f0(A,B,C,D,E,F):[166]: 4  with precondition: [] 
f0(A,B,C,D,E,F):[167]: 1*C+ -237  with precondition: [C>=254] 
f0(A,B,C,D,E,F):[168]: 1*C+9  with precondition: [C>=4] 
f0(A,B,C,D,E,F):[169]: 1*C+11  with precondition: [C>=4] 
f0(A,B,C,D,E,F):[170]: 1*C+ -242  with precondition: [C>=255] 
f0(A,B,C,D,E,F):[171]: 1*C+5  with precondition: [C>=4] 
f0(A,B,C,D,E,F):[172]: 1*C+ -248  with precondition: [C>=257] 
f0(A,B,C,D,E,F):[173]: 1*C+2  with precondition: [C>=4] 
f0(A,B,C,D,E,F):[174]: 1*C+1  with precondition: [C>=4] 
f0(A,B,C,D,E,F):[175]: -1*C+18  with precondition: [0>=C+3] 
f0(A,B,C,D,E,F):[176]: -1*C+264  with precondition: [247>=C] 
f0(A,B,C,D,E,F):[177]: -1*C+266  with precondition: [247>=C] 
f0(A,B,C,D,E,F):[178]: -1*C+13  with precondition: [0>=C+4] 
f0(A,B,C,D,E,F):[179]: -1*C+260  with precondition: [247>=C] 
f0(A,B,C,D,E,F):[180]: -1*C+257  with precondition: [247>=C] 
f0(A,B,C,D,E,F):[181]: -1*C+7  with precondition: [0>=C+6] 
f0(A,B,C,D,E,F):[182]: -1*C+256  with precondition: [247>=C] 
f0(A,B,C,D,E,F):[183]: 17  with precondition: [C=1] 
f0(A,B,C,D,E,F):[184]: 16  with precondition: [251>=C,C+1>=0] 
f0(A,B,C,D,E,F):[185]: 18  with precondition: [251>=C,C+1>=0] 
f0(A,B,C,D,E,F):[186]: 13  with precondition: [0>=C,C+1>=0] 
f0(A,B,C,D,E,F):[187]: 12  with precondition: [251>=C,C+1>=0] 
f0(A,B,C,D,E,F):[188]: 9  with precondition: [251>=C,C>=248] 
f0(A,B,C,D,E,F):[189]: 9  with precondition: [0>=C+2] 
f0(A,B,C,D,E,F):[190]: 8  with precondition: [251>=C] 
Maximum cost of f0(A,B,C,D,E,F): max([1*C+11,-1*C+266,18]) 
Asymptotic class: n 
Time statistics: 
Partial evaluation computed in 293 ms.
Invariants computed in 471 ms.
----Backward Invariants 291 ms.
----Transitive Invariants 11 ms.
Refinement performed in 1537 ms.
Termination proved in 35 ms.
Upper bounds computed in 483 ms.
----Phase cost structures 57 ms.
--------Equation cost structures 49 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 399 ms.
----Solving cost expressions 7 ms.

Compressed phase information: 57 
Compressed Chains: 0 
Compressed invariants: 8 
Total analysis performed in 3031 ms.