warning: Ignored call to loop_cont_f11/31 in equation loop_cont_f6/31 Inferred cost of f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2): f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[21]: 1 with precondition: [G=1,H=4,I=1,J=4,O=2,P=3,S=4,U=0,D1=4,F1=0,M1=1,N1=4,O1=1,P1=4,U1=2,V1=3,Y1=4,A2=0,J2=4,E=F,Q1=K,R1=L,S1=M,W1=Q,X1=R,Z1=T,B2=V,W=X,W=Y,W=Z,G2=A1,H2=B1,I2=C1,A=G1,H1=I1,H1=J1,E=K1,E=L1,W=C2,W=D2,W=E2,A>=H1+1] f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[22]: 0 with precondition: [G=1,H=4,I=1,J=4,O=2,P=3,S=4,U=0,D1=4,F1=1,M1=1,N1=4,O1=1,P1=4,U1=2,V1=3,Y1=4,A2=0,J2=4,G1=A,H1=B,I1=C,J1=D,K1=E,L1=F,Q1=K,R1=L,S1=M,T1=N,W1=Q,X1=R,Z1=T,B2=V,W=X,W=Y,W=Z,G2=A1,H2=B1,I2=C1,K2=E1,W=C2,W=D2,W=E2,W=F2] f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[23]: 1 with precondition: [G=1,H=4,I=1,J=4,O=2,P=3,S=4,U=0,D1=4,F1=0,M1=1,N1=4,O1=1,P1=4,U1=2,V1=3,Y1=4,A2=0,J2=4,E=F,Q1=K,R1=L,S1=M,W1=Q,X1=R,Z1=T,B2=V,W=X,W=Y,W=Z,G2=A1,H2=B1,I2=C1,A=G1,H1=I1,H1=J1,E=K1,E=L1,W=C2,W=D2,W=E2,H1>=A+1] f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[19,20],21]: 1+it1*(1) Such that:it1=<4,it1=<1*H,it1=<1*J,it1=<-1*G+5,it1=<-1*I+5,it1=<-1*N1+4,it1=<-1*P1+4,it1=<-1*S1+4,it1=<1*H+ -1*S1,it1=<1*J+ -1*S1,it1=<1*M1+ -1,it1=<1*O1+ -1,it1=<-1*G+ -1*S1+5,it1=<-1*I+ -1*S1+5 with precondition: [O=2,P=3,S=4,U=0,D1=4,F1=0,U1=2,V1=3,Y1=4,A2=0,J2=4,G=I,W=X,W=Y,W=Z,A=G1,J1=H1,J1=I1,E=K1,E=L1,M1=O1,Q=W1,R=X1,T=Z1,V=B2,W=C2,W=D2,W=E2,A1=G2,B1=H2,C1=I2,G+H=5,G+J=5,M1+N1=5,M1+P1=5,M1+S1=5,4>=M1,G>=1,M1>=G+1,A>=J1+1] f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[19,20],22]: 0+it1*(1) Such that:it1=<4,it1=<1*H,it1=<1*J,it1=<-1*G+5,it1=<-1*I+5,it1=<-1*N1+4,it1=<-1*P1+4,it1=<-1*S1+4,it1=<1*H+ -1*S1,it1=<1*J+ -1*S1,it1=<1*M1+ -1,it1=<1*O1+ -1,it1=<-1*G+ -1*S1+5,it1=<-1*I+ -1*S1+5 with precondition: [O=2,P=3,S=4,U=0,D1=4,F1=1,U1=2,V1=3,Y1=4,A2=0,J2=4,G=I,W=X,W=Y,W=Z,A=G1,B=H1,C=I1,D=J1,E=K1,M1=O1,N=T1,Q=W1,R=X1,T=Z1,V=B2,W=C2,W=D2,W=E2,W=F2,A1=G2,B1=H2,C1=I2,E1=K2,G+H=5,G+J=5,M1+N1=5,M1+P1=5,M1+S1=5,5>=M1,G>=1,M1>=G+1] f6(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[19,20],23]: 1+it1*(1) Such that:it1=<4,it1=<1*H,it1=<1*J,it1=<-1*G+5,it1=<-1*I+5,it1=<-1*N1+4,it1=<-1*P1+4,it1=<-1*S1+4,it1=<1*H+ -1*S1,it1=<1*J+ -1*S1,it1=<1*M1+ -1,it1=<1*O1+ -1,it1=<-1*G+ -1*S1+5,it1=<-1*I+ -1*S1+5 with precondition: [O=2,P=3,S=4,U=0,D1=4,F1=0,U1=2,V1=3,Y1=4,A2=0,J2=4,G=I,W=X,W=Y,W=Z,A=G1,J1=H1,J1=I1,E=K1,E=L1,M1=O1,Q=W1,R=X1,T=Z1,V=B2,W=C2,W=D2,W=E2,A1=G2,B1=H2,C1=I2,G+H=5,G+J=5,M1+N1=5,M1+P1=5,M1+S1=5,4>=M1,G>=1,J1>=A+1,M1>=G+1] Inferred cost of f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2): f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[27]: 0 with precondition: [F1=1,G1=A,H1=B,I1=C,J1=D,K1=E,L1=F,M1=G,N1=H,O1=I,P1=J,Q1=K,R1=L,S1=M,T1=N,U1=O,V1=P,W1=Q,X1=R,Y1=S,Z1=T,A2=U,B2=V,C2=W,D2=X,E2=Y,F2=Z,G2=A1,H2=B1,I2=C1,J2=D1,K2=E1] f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[25],27]: inf with precondition: [F1=1,H1=B,A=G1,H1=I1,H1=J1,E=K1,F=L1,G=M1,H=N1,I=O1,J=P1,K=Q1,L=R1,M=S1,N=T1,O=U1,P=V1,Q=W1,R=X1,S=Y1,T=Z1,U=A2,V=B2,W=C2,X=D2,Y=E2,Z=F2,A1=G2,B1=H2,C1=I2,D1=J2,E1=K2,A>=H1+1] f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[25],28]...: inf with precondition: [1>=F1,F1>=0,A>=B+1] f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[26],27]: inf with precondition: [F1=1,H1=B,A=G1,H1=I1,H1=J1,E=K1,F=L1,G=M1,H=N1,I=O1,J=P1,K=Q1,L=R1,M=S1,N=T1,O=U1,P=V1,Q=W1,R=X1,S=Y1,T=Z1,U=A2,V=B2,W=C2,X=D2,Y=E2,Z=F2,A1=G2,B1=H2,C1=I2,D1=J2,E1=K2,H1>=A+1] f11(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,V1,W1,X1,Y1,Z1,A2,B2,C2,D2,E2,F2,G2,H2,I2,J2,K2):[[26],28]...: inf with precondition: [1>=F1,F1>=0,B>=A+1] Inferred cost of loop_cont_f6(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): loop_cont_f6(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):[29]: 0 with precondition: [] loop_cont_f6(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):[30]: inf with precondition: [A>=B+1] loop_cont_f6(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):[31]: inf with precondition: [B>=A+1] loop_cont_f6(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):[32]...: inf with precondition: [A>=B+1] loop_cont_f6(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):[33]...: inf with precondition: [B>=A+1] loop_cont_f6(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):[34]...: inf with precondition: [A>=B+1] loop_cont_f6(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):[35]...: inf with precondition: [B>=A+1] Inferred cost of f26(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): f26(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):[37]: 2 with precondition: [] f26(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):[38]: inf with precondition: [] f26(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):[39]: 2 with precondition: [] f26(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):[40]: inf with precondition: [] f26(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):[41]: 2+it1*(1) Such that:it1=<3,it1=<4 with precondition: [] f26(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):[42]: inf with precondition: [] f26(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):[43]: 2+it1*(1) Such that:it1=<3,it1=<4 with precondition: [] f26(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):[44]: inf with precondition: [] f26(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):[45]: 1 with precondition: [] f26(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):[46]: 1+it1*(1) Such that:it1=<4 with precondition: [] f26(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):[47]: 2 with precondition: [] f26(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):[48]: inf with precondition: [] f26(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):[49]: 2 with precondition: [] f26(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):[50]: inf with precondition: [] f26(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):[51]: 2+it1*(1) Such that:it1=<3,it1=<4 with precondition: [] f26(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):[52]: inf with precondition: [] f26(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):[53]: 2+it1*(1) Such that:it1=<3,it1=<4 with precondition: [] f26(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):[54]: inf with precondition: [] f26(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):[55]: 1 with precondition: [] f26(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):[56]: 1+it1*(1) Such that:it1=<4 with precondition: [] f26(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):[57]...: inf with precondition: [] f26(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):[58]...: inf with precondition: [] f26(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):[59]...: inf with precondition: [] f26(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):[60]...: inf with precondition: [] f26(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):[61]...: inf with precondition: [] f26(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):[62]...: inf with precondition: [] f26(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):[63]...: inf with precondition: [] f26(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):[64]...: inf with precondition: [] f26(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):[65]...: inf with precondition: [] f26(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):[66]...: inf with precondition: [] f26(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):[67]...: inf with precondition: [] f26(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):[68]...: inf with precondition: [] f26(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):[69]...: inf with precondition: [] f26(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):[70]...: inf with precondition: [] f26(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):[71]...: inf with precondition: [] f26(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):[72]...: inf with precondition: [] Solved cost expressions of f26(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): f26(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):[37]: 2 with precondition: [] f26(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):[38]: inf with precondition: [] f26(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):[39]: 2 with precondition: [] f26(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):[40]: inf with precondition: [] f26(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):[41]: 5 with precondition: [] f26(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):[42]: inf with precondition: [] f26(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):[43]: 5 with precondition: [] f26(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):[44]: inf with precondition: [] f26(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):[45]: 1 with precondition: [] f26(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):[46]: 5 with precondition: [] f26(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):[47]: 2 with precondition: [] f26(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):[48]: inf with precondition: [] f26(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):[49]: 2 with precondition: [] f26(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):[50]: inf with precondition: [] f26(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):[51]: 5 with precondition: [] f26(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):[52]: inf with precondition: [] f26(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):[53]: 5 with precondition: [] f26(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):[54]: inf with precondition: [] f26(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):[55]: 1 with precondition: [] f26(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):[56]: 5 with precondition: [] f26(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):[57]...: inf with precondition: [] f26(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):[58]...: inf with precondition: [] f26(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):[59]...: inf with precondition: [] f26(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):[60]...: inf with precondition: [] f26(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):[61]...: inf with precondition: [] f26(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):[62]...: inf with precondition: [] f26(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):[63]...: inf with precondition: [] f26(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):[64]...: inf with precondition: [] f26(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):[65]...: inf with precondition: [] f26(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):[66]...: inf with precondition: [] f26(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):[67]...: inf with precondition: [] f26(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):[68]...: inf with precondition: [] f26(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):[69]...: inf with precondition: [] f26(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):[70]...: inf with precondition: [] f26(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):[71]...: inf with precondition: [] f26(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):[72]...: inf with precondition: [] Maximum cost of f26(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): inf Asymptotic class: infinity Time statistics: Partial evaluation computed in 108 ms. Invariants computed in 574 ms. ----Backward Invariants 291 ms. ----Transitive Invariants 101 ms. Refinement performed in 746 ms. Termination proved in 397 ms. Upper bounds computed in 654 ms. ----Phase cost structures 388 ms. --------Equation cost structures 382 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 247 ms. ----Solving cost expressions 0 ms. Compressed phase information: 5 Compressed Chains: 0 Compressed invariants: 0 Total analysis performed in 2745 ms.