warning: Ignored call to loop_cont_f11/11 in equation f0/11 Inferred cost of f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W): f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[33]: 1 with precondition: [F=0,L=0,R=0,M+1=A,N=B,O=C,P=D,Q=E,S=G,T=H,U=I,V=J,W=K] f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[32],33]: inf with precondition: [F=0,L=0,R=0,A=M+1,B=N,C=O,D=P,E=Q,G=S,H=T,I=U,K=W,V>=J+1] f43(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[32],34]...: inf with precondition: [F=0,1>=L,L>=0] Inferred cost of f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W): f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[36]: 1 with precondition: [L=0,N=B,O=C,P=D,Q=E,R=F,S=G,T=H,U=I,W=K,A=M,J=V,A>=J] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[37]: 1 with precondition: [L=0,R=1,N=B,O=C,P=D,Q=E,S=G,T=H,U=I,W=K,A=M,J=V,J>=A+1] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[38]: 0 with precondition: [L=1,N=B,O=C,P=D,Q=E,R=F,S=G,T=H,U=I,W=K,A=M,J=V,A>=J] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[35],36]: inf with precondition: [L=0,V=J,B=N,C=O,D=P,E=Q,F=R,G=S,H=T,I=U,K=W,A>=M+1,M>=V] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[35],37]: inf with precondition: [L=0,R=1,V=J,B=N,C=O,D=P,E=Q,G=S,H=T,I=U,K=W,A>=M+1,V>=M+1] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[35],38]: inf with precondition: [L=1,V=J,B=N,C=O,D=P,E=Q,F=R,G=S,H=T,I=U,K=W,A>=M+1,M>=V] f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[35],39]...: inf with precondition: [1>=L,L>=0] Inferred cost of f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W): f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[48]: 2 with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+3] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[49]: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+4] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[50]: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+4] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[51]: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+5] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[52]: 1 with precondition: [G=0,L=0,S=0,N=B,O=C,A=E,T=H,U=I,D+1=J,W=K,A=M,D=P,A=Q,F=R,D+1=V,0>=F+1,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[53]: 0 with precondition: [G=0,L=1,S=0,N=B,O=C,A=E,T=H,U=I,D+1=J,W=K,A=M,D=P,A=Q,F=R,D+1=V,F>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[54]: 1 with precondition: [G=0,L=0,S=0,N=B,O=C,A=E,T=H,U=I,D+1=J,W=K,A=M,D=P,A=Q,F=R,D+1=V,F>=1,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[55]: 0 with precondition: [G=0,L=1,S=0,N=B,O=C,A=E,T=H,U=I,D+1=J,W=K,A=M,D=P,A=Q,F=R,D+1=V,0>=F,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[56]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[57]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[58]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[59]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[60]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[61]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[62]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[63]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[64]...: inf with precondition: [F=0,G=0,A=E,D+1=J,1>=L,L>=0,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[65]...: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[66]...: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[67]...: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[68]...: inf with precondition: [F=0,G=0,L=1,A=E,D+1=J,A>=D+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],40,53]: 4+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<-1/2*D+1/2*Q+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1/2,it1+it2+it3=<-1/2*J+1/2*Q+ -1/2,it1+it2+it3=<-1/2*P+1/2*Q+ -1,it1+it2+it3=<-1/2*P+1/2*Q+ -1/2,it1+it2+it3=<1/2*A+ -1/2*J+ -1/2,it1+it2+it3=<-1/2*D+ -1/2*M+1/2*E+1/2*V+ -3/2,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*Q+1/2*V+ -1,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*E+1/2*V+ -3/2,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*Q+1/2*V+ -3/2,it1+it2+it3=<1/2*A+1/2*V+ -1/2*J+ -1/2*M+ -1,it2=<-1/3*D+1/3*Q+ -1,it2=<-1/3*J+1/3*Q+ -2/3,it2=<-1/3*P+1/3*E+ -1,it2=<-1/3*P+1/3*Q+ -1,it2=<-1/3*P+1/3*Q+ -1/3,it2=<1/3*A+ -1/3*J+ -2/3,it2=<-1/3*D+ -1/3*M+1/3*Q+1/3*V+ -1,it2=<-1/3*J+ -1/3*M+1/3*E+1/3*V+ -2/3,it2=<-1/3*J+ -1/3*M+1/3*Q+1/3*V+ -2/3,it2=<-1/3*M+ -1/3*P+1/3*Q+1/3*V+ -1,it2=<1/3*A+1/3*V+ -1/3*J+ -1/3*M+ -2/3,it3=<-1/4*D+1/4*Q+ -1,it3=<-1/4*J+1/4*Q+ -3/4,it3=<-1/4*P+1/4*E+ -1,it3=<-1/4*P+1/4*Q+ -1,it3=<-1/4*P+1/4*Q+ -1/4,it3=<1/4*A+ -1/4*J+ -3/4,it3=<-1/4*D+ -1/4*M+1/4*E+1/4*V+ -3/4,it3=<-1/4*J+ -1/4*M+1/4*Q+1/4*V+ -1/2,it3=<-1/4*M+ -1/4*P+1/4*E+1/4*V+ -3/4,it3=<-1/4*M+ -1/4*P+1/4*Q+1/4*V+ -3/4,it3=<1/4*A+1/4*V+ -1/4*J+ -1/4*M+ -1/2 with precondition: [F=0,G=0,L=1,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,V>=J+2,A>=M+2,V>=M+1,M+2>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],40,54]: 5+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<-1/2*D+1/2*Q+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1/2,it1+it2+it3=<-1/2*J+1/2*Q+ -1/2,it1+it2+it3=<-1/2*P+1/2*Q+ -1,it1+it2+it3=<-1/2*P+1/2*Q+ -1/2,it1+it2+it3=<1/2*A+ -1/2*J+ -1/2,it1+it2+it3=<-1/2*D+ -1/2*M+1/2*E+1/2*V+ -3/2,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*Q+1/2*V+ -1,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*E+1/2*V+ -3/2,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*Q+1/2*V+ -3/2,it1+it2+it3=<1/2*A+1/2*V+ -1/2*J+ -1/2*M+ -1,it2=<-1/3*D+1/3*Q+ -1,it2=<-1/3*J+1/3*Q+ -2/3,it2=<-1/3*P+1/3*E+ -1,it2=<-1/3*P+1/3*Q+ -1,it2=<-1/3*P+1/3*Q+ -1/3,it2=<1/3*A+ -1/3*J+ -2/3,it2=<-1/3*D+ -1/3*M+1/3*Q+1/3*V+ -1,it2=<-1/3*J+ -1/3*M+1/3*E+1/3*V+ -2/3,it2=<-1/3*J+ -1/3*M+1/3*Q+1/3*V+ -2/3,it2=<-1/3*M+ -1/3*P+1/3*Q+1/3*V+ -1,it2=<1/3*A+1/3*V+ -1/3*J+ -1/3*M+ -2/3,it3=<-1/4*D+1/4*Q+ -1,it3=<-1/4*J+1/4*Q+ -3/4,it3=<-1/4*P+1/4*E+ -1,it3=<-1/4*P+1/4*Q+ -1,it3=<-1/4*P+1/4*Q+ -1/4,it3=<1/4*A+ -1/4*J+ -3/4,it3=<-1/4*D+ -1/4*M+1/4*E+1/4*V+ -3/4,it3=<-1/4*J+ -1/4*M+1/4*Q+1/4*V+ -1/2,it3=<-1/4*M+ -1/4*P+1/4*E+1/4*V+ -3/4,it3=<-1/4*M+ -1/4*P+1/4*Q+1/4*V+ -3/4,it3=<1/4*A+1/4*V+ -1/4*J+ -1/4*M+ -1/2 with precondition: [F=0,G=0,L=0,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,V>=J+2,A>=M+2,V>=M+1,M+2>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],41,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,V>=J+2,A>=M+3,V>=M+1,A>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],41,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,V>=J+2,A>=M+3,V>=M+1,A>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],42,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,P=D,Q=E,B=N,C=O,I=U,K=W,Q>=A,M>=J,V>=J+3,A>=M+2,V>=M+1,J>=P+1] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],42,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,P=D,Q=E,B=N,C=O,I=U,K=W,Q>=A,M>=J,V>=J+3,A>=M+2,V>=M+1,J>=P+1] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],43,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,A>=J+2,V>=J+3,A>=M+3,V>=M+1] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],43,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,Q=E,B=N,C=O,D=P,I=U,K=W,Q>=A,J>=D+1,A>=J+2,V>=J+3,A>=M+3,V>=M+1] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],48]: 2+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<-1/2*J+1/2*A+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1/2,it1+it2+it3=<1/2*A+ -1/2*J+ -1/2,it2=<-1/3*J+1/3*A+ -2/3,it2=<-1/3*J+1/3*E+ -2/3,it2=<1/3*A+ -1/3*J+ -2/3,it3=<-1/4*J+1/4*A+ -1/2,it3=<-1/4*J+1/4*E+ -3/4,it3=<-1/4*J+1/4*E+ -1/2,it3=<1/4*A+ -1/4*J+ -3/4 with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+4] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],49]: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+5] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],50]: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+5] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],51]: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+6] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],53]: 0+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<-1/2*D+1/2*Q+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1/2,it1+it2+it3=<-1/2*J+1/2*Q+ -1/2,it1+it2+it3=<-1/2*P+1/2*Q+ -1,it1+it2+it3=<-1/2*P+1/2*Q+ -1/2,it1+it2+it3=<1/2*A+ -1/2*J+ -1/2,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*E+1/2*V,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*Q+1/2*V,it1+it2+it3=<1/2*A+1/2*V+ -1/2*J+ -1/2*M,it1+it2+it3=<-1/2*D+ -1/2*M+1/2*Q+1/2*V+ -1/2,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*Q+1/2*V+ -1/2,it2=<-1/3*D+1/3*Q+ -1,it2=<-1/3*J+1/3*Q+ -2/3,it2=<-1/3*P+1/3*E+ -1,it2=<-1/3*P+1/3*Q+ -1,it2=<-1/3*P+1/3*Q+ -1/3,it2=<1/3*A+ -1/3*J+ -2/3,it2=<-1/3*J+ -1/3*M+1/3*E+1/3*V,it2=<-1/3*J+ -1/3*M+1/3*Q+1/3*V,it2=<1/3*A+1/3*V+ -1/3*J+ -1/3*M,it2=<-1/3*D+ -1/3*M+1/3*Q+1/3*V+ -1/3,it2=<-1/3*M+ -1/3*P+1/3*Q+1/3*V+ -1/3,it3=<-1/4*D+1/4*Q+ -1,it3=<-1/4*J+1/4*Q+ -3/4,it3=<-1/4*P+1/4*E+ -1,it3=<-1/4*P+1/4*Q+ -1,it3=<-1/4*P+1/4*Q+ -1/4,it3=<1/4*A+ -1/4*J+ -3/4,it3=<-1/4*J+ -1/4*M+1/4*E+1/4*V,it3=<-1/4*J+ -1/4*M+1/4*Q+1/4*V,it3=<1/4*A+1/4*V+ -1/4*J+ -1/4*M,it3=<-1/4*D+ -1/4*M+1/4*Q+1/4*V+ -1/4,it3=<-1/4*M+ -1/4*P+1/4*Q+1/4*V+ -1/4 with precondition: [F=0,G=0,L=1,R=0,S=0,P=D,Q=E,B=N,C=O,I=U,K=W,Q>=A,V>=J+1,A>=M+1,J>=P+1,M>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],55]: 0+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<-1/2*D+1/2*Q+ -1,it1+it2+it3=<-1/2*J+1/2*E+ -1/2,it1+it2+it3=<-1/2*J+1/2*Q+ -1/2,it1+it2+it3=<-1/2*P+1/2*Q+ -1,it1+it2+it3=<-1/2*P+1/2*Q+ -1/2,it1+it2+it3=<1/2*A+ -1/2*J+ -1/2,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*E+1/2*V,it1+it2+it3=<-1/2*J+ -1/2*M+1/2*Q+1/2*V,it1+it2+it3=<1/2*A+1/2*V+ -1/2*J+ -1/2*M,it1+it2+it3=<-1/2*D+ -1/2*M+1/2*Q+1/2*V+ -1/2,it1+it2+it3=<-1/2*M+ -1/2*P+1/2*Q+1/2*V+ -1/2,it2=<-1/3*D+1/3*Q+ -1,it2=<-1/3*J+1/3*Q+ -2/3,it2=<-1/3*P+1/3*E+ -1,it2=<-1/3*P+1/3*Q+ -1,it2=<-1/3*P+1/3*Q+ -1/3,it2=<1/3*A+ -1/3*J+ -2/3,it2=<-1/3*J+ -1/3*M+1/3*E+1/3*V,it2=<-1/3*J+ -1/3*M+1/3*Q+1/3*V,it2=<1/3*A+1/3*V+ -1/3*J+ -1/3*M,it2=<-1/3*D+ -1/3*M+1/3*Q+1/3*V+ -1/3,it2=<-1/3*M+ -1/3*P+1/3*Q+1/3*V+ -1/3,it3=<-1/4*D+1/4*Q+ -1,it3=<-1/4*J+1/4*Q+ -3/4,it3=<-1/4*P+1/4*E+ -1,it3=<-1/4*P+1/4*Q+ -1,it3=<-1/4*P+1/4*Q+ -1/4,it3=<1/4*A+ -1/4*J+ -3/4,it3=<-1/4*J+ -1/4*M+1/4*E+1/4*V,it3=<-1/4*J+ -1/4*M+1/4*Q+1/4*V,it3=<1/4*A+1/4*V+ -1/4*J+ -1/4*M,it3=<-1/4*D+ -1/4*M+1/4*Q+1/4*V+ -1/4,it3=<-1/4*M+ -1/4*P+1/4*Q+1/4*V+ -1/4 with precondition: [F=0,G=0,L=1,R=0,S=0,P=D,Q=E,B=N,C=O,I=U,K=W,Q>=A,V>=J+1,A>=M+1,J>=P+1,M>=V] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],56]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],57]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],58]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],59]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],60]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],61]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],62]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],63]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],64]...: inf with precondition: [F=0,G=0,1>=L,L>=0,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],65]...: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],66]...: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],67]...: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[[44,45,46,47],68]...: inf with precondition: [F=0,G=0,L=1,E>=A,J>=D+1,A>=J+2] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[40,53]: 4 with precondition: [F=0,G=0,L=1,R=1,S=0,A=D+2,A=E,A=J+1,A=M+1,B=N,C=O,A=P+2,A=Q,H=T,I=U,A=V,K=W] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[40,54]: 5 with precondition: [F=0,G=0,L=0,R=1,S=0,A=D+2,A=E,A=J+1,A=M+1,B=N,C=O,A=P+2,A=Q,H=T,I=U,A=V,K=W] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[41,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,A=E,D+1=J,B=N,C=O,D=P,A=Q,H=T,I=U,D+2=V,K=W,A>=D+2,A>=M+2,D+1>=M] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[41,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,A=E,D+1=J,B=N,C=O,D=P,A=Q,H=T,I=U,D+2=V,K=W,A>=D+2,A>=M+2,D+1>=M] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[42,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,A=E,D+1=J,A=M+1,B=N,C=O,D=P,A=Q,H=T,I=U,K=W,V>=A,A>=D+2,V>=D+3] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[42,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,A=E,D+1=J,A=M+1,B=N,C=O,D=P,A=Q,H=T,I=U,K=W,V>=A,A>=D+2,V>=D+3] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[43,53]: inf with precondition: [F=0,G=0,L=1,R=1,S=0,A=E,D+1=J,B=N,C=O,D=P,A=Q,H=T,I=U,K=W,A>=D+2,V>=D+3,A>=M+2,V>=M+1] f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[43,54]: inf with precondition: [F=0,G=0,L=0,R=1,S=0,A=E,D+1=J,B=N,C=O,D=P,A=Q,H=T,I=U,K=W,A>=D+2,V>=D+3,A>=M+2,V>=M+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): f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[103]: 3 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[104]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[105]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[106]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[107]: 1 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[108]: 1 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[109]: 5+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[110]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[111]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[112]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[113]: 3+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<8,it1+it2+it3=<17/2,it2=<16/3,it3=<4,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[114]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[115]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[116]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[117]: 1+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[118]: 1+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[120]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[121]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[122]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[125]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[126]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[127]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[128]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[129]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[130]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[131]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[132]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[133]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[134]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[135]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[136]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[137]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[138]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[139]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[140]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[141]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[142]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[143]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[144]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[145]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[146]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[147]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[148]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[149]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[150]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[151]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[152]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[153]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[154]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[155]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[156]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[157]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[158]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[159]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[160]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[161]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[162]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[163]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[164]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[165]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[166]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[167]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[168]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[169]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[170]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[171]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[172]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[173]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[174]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[175]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[176]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[177]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[178]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,1>=L,L>=0] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[179]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[180]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[181]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[182]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[183]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[184]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[185]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[186]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[187]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[188]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[189]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[190]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[191]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[192]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[193]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[194]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[195]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[196]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[197]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[198]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[199]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[200]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[201]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[202]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[203]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[204]...: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[75,[84],71,124]: 10+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<-2*M+34,it1=<-2*P+30,it1=<-2*Q+32,it1=<-2*V+32,it1=<-1*M+21,it1=<-1*M+22,it1=<-1*M+23,it1=<-1*M+883/42,it1=<-1*P+19,it1=<-1*P+20,it1=<-1*P+21,it1=<-1*P+799/42,it1=<-1*Q+20,it1=<-1*Q+21,it1=<-1*Q+22,it1=<-1*Q+841/42,it1=<-1*V+20,it1=<-1*V+21,it1=<-1*V+22,it1=<-1*V+841/42,it1=<421/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,V+1=M,V=P+1,V=Q,12>=V,V>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],72,124]: 10+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<-2*M+34,it1=<-2*P+30,it1=<-2*Q+32,it1=<-2*V+32,it1=<-1*M+21,it1=<-1*M+22,it1=<-1*M+23,it1=<-1*M+883/42,it1=<-1*P+19,it1=<-1*P+20,it1=<-1*P+21,it1=<-1*P+799/42,it1=<-1*Q+20,it1=<-1*Q+21,it1=<-1*Q+22,it1=<-1*Q+841/42,it1=<-1*V+20,it1=<-1*V+21,it1=<-1*V+22,it1=<-1*V+841/42,it1=<421/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,V+1=M,V=P+1,V=Q,12>=V,V>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,[74],71,124]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<433/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,[74],72,124]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<433/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,[74],107]: 13+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<2,it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<432/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[75,[84],94,70,124]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<421/42,it1=<463/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=9,Q=9,R=1,S=1,V=9] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,71,124]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<13,it1=<421/42,it1=<505/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,72,124]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<13,it1=<421/42,it1=<505/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[75,[84],94,107]: 13+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<15,it1=<16,it1=<421/42,it1=<433/43,it1=<631/42,it1=<646/43,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[75,[84],107]: 9+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<14,it1=<15,it1=<16,it1=<17,it1=<21,it1=<22,it1=<421/42,it1=<437/43,it1=<438/43,it1=<589/42,it1=<631/42,it1=<646/43,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[75,107]: 9+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[76,[84],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,V+1=M,V=P+1,V=Q,19>=V,V>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,V+1=M,V=P+1,V=Q,19>=V,V>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[76,[84],94,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=9,Q=9,R=1,S=1,V=9] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[76,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[76,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=20,Q=20,R=1,S=1,V=20,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[76,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[77,[84],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[77,[84],94,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=9,Q=9,R=1,S=1,V=9] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[77,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[77,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,Q=20,R=1,S=1,P=V,9>=M,M>=2,P>=20] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M,M>=2] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M,M>=2] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[77,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[78,[84],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[78,[84],94,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=9,Q=9,R=1,S=1,V=9] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[78,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[78,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,Q=20,R=1,S=1,P=V,9>=M,P>=20] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[78,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[80,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[80,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[80,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[80,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[80,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[80,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[82,[84],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,R=1,S=1,Q+1=M,Q=P+1,Q=V,19>=Q,Q>=10] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[82,[84],94,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=9,Q=9,R=1,S=1,V=9] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[82,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[82,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,Q=20,R=1,S=1,P=V,9>=M,P>=20] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,N=10,O=20,P=19,Q=20,R=1,S=1,V=19,9>=M] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[82,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,[84],94,[74],71,124]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[85,[84],94,[74],72,124]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[85,[84],94,[74],107]: 13+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<5,it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,[84],94,107]: 13+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<7,it1=<8,it1=<15,it1=<16,it2+it3+it4=<9,it2+it3+it4=<17/2,it2+it3+it4=<25/2,it3=<6,it3=<16/3,it3=<25/3,it4=<9/2,it4=<15/4,it4=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,[84],107]: 9+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<7,it1=<8,it1=<15,it1=<16,it2+it3+it4=<9,it2+it3+it4=<17/2,it2+it3+it4=<25/2,it3=<6,it3=<16/3,it3=<25/3,it4=<9/2,it4=<15/4,it4=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,94,[74],71,124]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[85,94,[74],72,124]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[85,94,[74],107]: 13+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<5,it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,94,107]: 13+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[85,107]: 9+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it1+it2+it3=<25/2,it2=<6,it2=<16/3,it2=<25/3,it3=<9/2,it3=<15/4,it3=<25/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[86,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[86,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[86,94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[86,94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[86,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[87,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[87,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[87,94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[87,94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[87,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[88,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[88,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[88,94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[88,94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[88,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[91,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[91,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[91,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[91,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[91,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[91,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,[84],94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[92,[84],94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[92,[84],94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,[84],94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,[84],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,94,[74],71,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[92,94,[74],72,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=9,N=10,O=20,P=8,Q=9,R=1,S=1,V=8] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[92,94,[74],107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,94,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[92,107]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=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):[95,70,124]: 10+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<1/2*P+3,it1+it2+it3=<1/2*V+3,it1+it2+it3=<17/2,it2=<6,it2=<1/3*P+2,it2=<1/3*V+2,it2=<16/3,it3=<1/4*P+3/2,it3=<1/4*V+3/2,it3=<9/2,it3=<15/4 with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,Q=9,R=1,S=1,P=V,12>=P,P>=11] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[96,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,Q=9,R=1,S=1,P=V,20>=P,P>=11] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[97,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,Q=9,R=1,S=1,P=V,P>=11] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[98,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,Q=9,R=1,S=1,P=V,P>=11] f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W):[102,70,124]: inf with precondition: [B=10,C=20,D=1,E=20,F=0,G=0,L=1,M=10,N=10,O=20,Q=9,R=1,S=1,P=V,P>=11] Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K): f0(A,B,C,D,E,F,G,H,I,J,K):[206]: 4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[207]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[208]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[209]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[210]: 2 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[211]: 2 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[212]: 6+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[213]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[214]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[215]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[216]: 4+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<8,it1+it2+it3=<17/2,it2=<16/3,it3=<4,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[217]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[218]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[219]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[220]: 2+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[221]: 2+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[222]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[223]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[224]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[225]: 11+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<421/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[226]: 11+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<421/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[227]: 15+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<433/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[228]: 15+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<433/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[229]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<2,it1=<3,it1=<4,it2=<10,it2=<11,it2=<15,it2=<16,it2=<421/42,it2=<432/43,it2=<631/42,it2=<646/43,it3+it4+it5=<9,it3+it4+it5=<17/2,it4=<6,it4=<16/3,it5=<9/2,it5=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[230]: 15+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<421/42,it1=<463/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[231]: 15+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<13,it1=<421/42,it1=<505/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[232]: 15+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<12,it1=<13,it1=<421/42,it1=<505/42,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[233]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<15,it1=<16,it1=<421/42,it1=<433/43,it1=<631/42,it1=<646/43,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[234]: 10+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<10,it1=<11,it1=<14,it1=<15,it1=<16,it1=<17,it1=<21,it1=<22,it1=<421/42,it1=<437/43,it1=<438/43,it1=<589/42,it1=<631/42,it1=<646/43,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[235]: 10+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[236]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[237]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[238]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[239]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[240]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[241]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[242]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[243]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[244]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[245]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[246]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[247]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[248]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[249]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[250]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[251]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[252]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[253]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[254]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[255]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[256]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[257]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[258]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[259]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[260]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[261]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[262]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[263]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[264]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[265]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[266]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[267]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[268]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[269]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[270]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[271]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[272]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[273]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[274]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[275]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[276]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[277]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[278]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[279]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[280]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[281]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[282]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[283]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[284]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[285]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[286]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[287]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[288]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[289]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[290]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[291]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[292]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[293]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[294]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[295]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[296]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[297]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[298]: 15+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[299]: 15+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[300]: 14+it1*(4)+it2*(4)+it3*(4)+it4*(inf)+it5*(inf) Such that:it1=<5,it1=<6,it2=<7,it2=<8,it2=<15,it2=<16,it3+it4+it5=<9,it3+it4+it5=<17/2,it3+it4+it5=<25/2,it4=<6,it4=<16/3,it4=<25/3,it5=<9/2,it5=<15/4,it5=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[301]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<7,it1=<8,it1=<15,it1=<16,it2+it3+it4=<9,it2+it3+it4=<17/2,it2+it3+it4=<25/2,it3=<6,it3=<16/3,it3=<25/3,it4=<9/2,it4=<15/4,it4=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[302]: 10+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<7,it1=<8,it1=<15,it1=<16,it2+it3+it4=<9,it2+it3+it4=<17/2,it2+it3+it4=<25/2,it3=<6,it3=<16/3,it3=<25/3,it4=<9/2,it4=<15/4,it4=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[303]: 15+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[304]: 15+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[305]: 14+it1*(4)+it2*(4)+it3*(inf)+it4*(inf) Such that:it1=<5,it1=<6,it2+it3+it4=<9,it2+it3+it4=<17/2,it3=<6,it3=<16/3,it4=<9/2,it4=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[306]: 14+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[307]: 10+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it1+it2+it3=<25/2,it2=<6,it2=<16/3,it2=<25/3,it3=<9/2,it3=<15/4,it3=<25/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[308]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[309]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[310]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[311]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[312]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[313]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[314]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[315]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[316]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[317]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[318]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[319]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[320]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[321]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[322]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[323]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[324]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[325]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[326]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[327]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[328]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[329]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[330]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[331]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[332]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[333]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[334]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[335]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[336]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[337]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[338]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[339]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[340]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[341]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[342]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[343]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[344]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[345]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[346]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[347]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[348]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[349]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[350]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[351]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[352]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[353]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[354]: 11+it1*(4)+it2*(inf)+it3*(inf) Such that:it1+it2+it3=<9,it1+it2+it3=<17/2,it2=<6,it2=<16/3,it3=<9/2,it3=<15/4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[355]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[356]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[357]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[358]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[359]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[360]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[361]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[362]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[363]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[364]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[365]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[366]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[367]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[368]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[369]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[370]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[371]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[372]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[373]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[374]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[375]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[376]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[377]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[378]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[379]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[380]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[381]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[382]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[383]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[384]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[385]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[386]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[387]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[388]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[389]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[390]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[391]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[392]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[393]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[394]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[395]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[396]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[397]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[398]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[399]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[400]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[401]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[402]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[403]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[404]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[405]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[406]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[407]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[408]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[409]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[410]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[411]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[412]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[413]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[414]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[415]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[416]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[417]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[418]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[419]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[420]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[421]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[422]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[423]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[424]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[425]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[426]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[427]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[428]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[429]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[430]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[431]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[432]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[433]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[434]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[435]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[436]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[437]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[438]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[439]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[440]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[441]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[442]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[443]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[444]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[445]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[446]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[447]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[448]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[449]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[450]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[451]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[452]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[453]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[454]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[455]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[456]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[457]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[458]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[459]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[460]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[461]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[462]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[463]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[464]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[465]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[466]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[467]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[468]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[469]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[470]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[471]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[472]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[473]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[474]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[475]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[476]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[477]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[478]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[479]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[480]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[481]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[482]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[483]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[484]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[485]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[486]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[487]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[488]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[489]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[490]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[491]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[492]...: inf with precondition: [] Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K): f0(A,B,C,D,E,F,G,H,I,J,K):[206]: 4 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[207]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[208]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[209]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[210]: 2 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[211]: 2 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[212]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[213]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[214]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[215]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[216]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[217]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[218]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[219]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[220]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[221]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[222]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[223]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[224]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[225]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[226]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[227]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[228]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[229]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[230]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[231]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[232]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[233]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[234]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[235]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[236]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[237]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[238]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[239]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[240]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[241]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[242]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[243]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[244]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[245]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[246]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[247]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[248]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[249]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[250]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[251]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[252]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[253]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[254]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[255]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[256]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[257]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[258]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[259]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[260]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[261]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[262]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[263]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[264]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[265]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[266]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[267]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[268]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[269]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[270]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[271]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[272]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[273]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[274]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[275]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[276]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[277]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[278]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[279]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[280]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[281]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[282]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[283]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[284]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[285]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[286]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[287]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[288]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[289]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[290]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[291]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[292]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[293]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[294]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[295]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[296]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[297]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[298]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[299]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[300]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[301]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[302]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[303]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[304]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[305]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[306]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[307]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[308]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[309]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[310]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[311]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[312]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[313]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[314]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[315]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[316]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[317]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[318]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[319]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[320]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[321]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[322]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[323]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[324]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[325]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[326]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[327]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[328]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[329]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[330]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[331]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[332]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[333]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[334]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[335]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[336]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[337]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[338]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[339]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[340]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[341]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[342]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[343]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[344]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[345]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[346]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[347]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[348]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[349]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[350]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[351]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[352]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[353]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[354]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[355]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[356]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[357]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[358]: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[359]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[360]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[361]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[362]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[363]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[364]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[365]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[366]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[367]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[368]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[369]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[370]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[371]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[372]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[373]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[374]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[375]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[376]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[377]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[378]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[379]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[380]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[381]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[382]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[383]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[384]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[385]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[386]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[387]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[388]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[389]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[390]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[391]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[392]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[393]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[394]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[395]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[396]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[397]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[398]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[399]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[400]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[401]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[402]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[403]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[404]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[405]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[406]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[407]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[408]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[409]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[410]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[411]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[412]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[413]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[414]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[415]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[416]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[417]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[418]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[419]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[420]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[421]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[422]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[423]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[424]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[425]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[426]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[427]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[428]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[429]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[430]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[431]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[432]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[433]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[434]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[435]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[436]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[437]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[438]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[439]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[440]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[441]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[442]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[443]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[444]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[445]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[446]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[447]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[448]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[449]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[450]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[451]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[452]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[453]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[454]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[455]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[456]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[457]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[458]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[459]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[460]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[461]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[462]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[463]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[464]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[465]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[466]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[467]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[468]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[469]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[470]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[471]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[472]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[473]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[474]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[475]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[476]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[477]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[478]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[479]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[480]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[481]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[482]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[483]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[484]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[485]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[486]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[487]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[488]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[489]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[490]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[491]...: inf with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K):[492]...: inf with precondition: [] Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K): inf Asymptotic class: infinity Time statistics: Partial evaluation computed in 132 ms. Invariants computed in 4773 ms. ----Backward Invariants 2546 ms. ----Transitive Invariants 45 ms. Refinement performed in 5005 ms. Termination proved in 111 ms. Upper bounds computed in 8071 ms. ----Phase cost structures 850 ms. --------Equation cost structures 719 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 7032 ms. ----Solving cost expressions 19 ms. Compressed phase information: 477 Compressed Chains: 0 Compressed invariants: 58 Total analysis performed in 18273 ms.