warning: Ignored call to loop_cont_f11/31 in equation f12/31 warning: Ignored call to loop_cont_f11/31 in equation f12/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):[25]: 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,B=H1,G1=I1,G1=J1,E=K1,E=L1,W=C2,W=D2,W=E2,G1>=B+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):[26]: 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):[27]: 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,B=H1,G1=I1,G1=J1,E=K1,E=L1,W=C2,W=D2,W=E2,B>=G1+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):[[23,24],25]: 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,L1=F,G=I,W=X,W=Y,W=Z,J1=G1,B=H1,J1=I1,L1=K1,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>=B+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):[[23,24],26]: 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,F=L1,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):[[23,24],27]: 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,L1=F,G=I,W=X,W=Y,W=Z,J1=G1,B=H1,J1=I1,L1=K1,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,B>=J1+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):[31]: 0 with precondition: [F1=1,H1=B,A=C,A=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,A=G1,A=I1,A=J1] 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):[[29],31]: inf with precondition: [F1=1,A=C,A=D,A=G1,B=H1,A=I1,A=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>=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):[[29],32]...: inf with precondition: [A=C,A=D,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):[[30],31]: inf with precondition: [F1=1,A=C,A=D,A=G1,B=H1,A=I1,A=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,B>=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):[[30],32]...: inf with precondition: [A=C,A=D,1>=F1,F1>=0,B>=A+1] Inferred cost of f12(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): f12(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]: 1 with precondition: [A>=B+1] f12(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] f12(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]: 1 with precondition: [B>=A+1] f12(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):[36]: inf with precondition: [B>=A+1] f12(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]...: inf with precondition: [A>=B+1] f12(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: [A>=B+1] f12(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]...: inf with precondition: [B>=A+1] f12(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: [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):[42]: 1 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):[43]: 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):[44]: 1 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):[45]: 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):[46]...: 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):[47]...: 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):[48]...: 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):[49]...: 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):[51]: 3 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]: 3 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]: 3+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):[56]: 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):[57]: 3+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):[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]: 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):[60]: 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):[61]: 3 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]: 3 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]: 3+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):[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]: 3+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):[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]: 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):[70]: 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):[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: [] 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):[73]...: 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):[74]...: 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):[75]...: 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):[76]...: 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):[77]...: 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):[78]...: 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):[79]...: 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):[80]...: 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):[81]...: 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):[82]...: 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):[83]...: 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):[84]...: 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):[85]...: 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):[86]...: 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):[51]: 3 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]: 3 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]: 6 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]: 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):[57]: 6 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]: 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):[60]: 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):[61]: 3 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]: 3 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]: 6 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]: 6 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]: 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):[70]: 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):[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: [] 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):[73]...: 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):[74]...: 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):[75]...: 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):[76]...: 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):[77]...: 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):[78]...: 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):[79]...: 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):[80]...: 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):[81]...: 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):[82]...: 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):[83]...: 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):[84]...: 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):[85]...: 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):[86]...: 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 115 ms. Invariants computed in 552 ms. ----Backward Invariants 279 ms. ----Transitive Invariants 95 ms. Refinement performed in 748 ms. Termination proved in 377 ms. Upper bounds computed in 620 ms. ----Phase cost structures 367 ms. --------Equation cost structures 362 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 239 ms. ----Solving cost expressions 1 ms. Compressed phase information: 5 Compressed Chains: 0 Compressed invariants: 0 Total analysis performed in 2693 ms.