warning: Ignored call to loop_cont_f1/23 in equation f2/23 
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,R1,S1,T1,U1): 
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,R1,S1,T1,U1):[16]: 1
  with precondition: [X=1,A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,M1=O,N1=P,P1=R,Q1=S,R1=T,S1=U,T1=V,A=Y,A=Z,A=A1,A=B1,A=C1,A=D1,A=E1,A=F1,A=G1,J=H1,0>=J+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,R1,S1,T1,U1):[17]: 1
  with precondition: [X=1,A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,J1=L,K1=M,M1=O,N1=P,P1=R,Q1=S,A=Y,A=Z,A=A1,A=B1,A=C1,A=D1,A=E1,A=F1,A=G1,J=H1,J>=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,R1,S1,T1,U1):[18]: 1
  with precondition: [J=0,X=1,H1=0,A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,J1=L,K1=M,L1=N,M1=O,N1=P,O1=Q,P1=R,Q1=S,S1=U,T1=V,A=Y,A=Z,A=A1,A=B1,A=C1,A=D1,A=E1,A=F1,A=G1] 

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,R1,S1,T1,U1):[[12,13],16]: inf
  with precondition: [X=1,A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,A=Y,A=Z,A=A1,A=B1,A=C1,A=D1,A=E1,A=F1,A=G1,J=H1,T=R1,U=S1,V=T1,0>=J+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,R1,S1,T1,U1):[[12,13],19]...: inf
  with precondition: [A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,0>=J+1,1>=X,X>=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,R1,S1,T1,U1):[[14,15],17]: inf
  with precondition: [X=1,A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,A=Y,A=Z,A=A1,A=B1,A=C1,A=D1,A=E1,A=F1,A=G1,J=H1,L=J1,M=K1,J>=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,R1,S1,T1,U1):[[14,15],19]...: inf
  with precondition: [A=B,A=C,A=D,A=E,A=F,A=G,A=H,A=I,1>=X,J>=1,X>=0] 

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

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

f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[22]: 2
  with precondition: [J=0] 

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

f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[24]: inf
  with precondition: [J>=1] 

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

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

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

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

Solved cost expressions of f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W): 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[20]: 2  with precondition: [0>=J+1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[21]: 2  with precondition: [J>=1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[22]: 2  with precondition: [J=0] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[23]: inf  with precondition: [0>=J+1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[24]: inf  with precondition: [J>=1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[25]...: inf  with precondition: [0>=J+1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[26]...: inf  with precondition: [J>=1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[27]...: inf  with precondition: [0>=J+1] 
f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[28]...: inf  with precondition: [J>=1] 
Maximum cost of f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 41 ms.
Invariants computed in 246 ms.
----Backward Invariants 117 ms.
----Transitive Invariants 46 ms.
Refinement performed in 287 ms.
Termination proved in 144 ms.
Upper bounds computed in 94 ms.
----Phase cost structures 30 ms.
--------Equation cost structures 28 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 57 ms.
----Solving cost expressions 0 ms.

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