warning: Ignored call to f166/24 in equation f137/24 warning: Ignored call to f166/24 in equation f146/24 warning: Ignored call to loop_cont_f149/24 in equation f146/24 warning: Ignored call to loop_cont_f149/24 in equation f146/24 Inferred cost of f29(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): f29(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):[[83],84]: 1+it1*(1) Such that:it1=<100,it1=<-1*F+100 with precondition: [A=100,Y=0,Z=100,E1=100,B=C,D=E,B=A1,B=B1,D=C1,D=D1,G=F1,H=G1,I=H1,J=I1,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,V=U1,W=V1,X=W1,10>=B,10>=D,99>=F,B>=1,D>=1,F>=0] Inferred cost of f69(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): f69(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):[[86],87]: 1+it1*(1) Such that:it1=<200,it1=<-1*L+200 with precondition: [G=200,Y=0,F1=200,K1=200,H=I,J=K,A=Z,B=A1,C=B1,D=C1,E=D1,F=E1,H=G1,H=H1,J=I1,J=J1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,S=R1,T=S1,U=T1,V=U1,W=V1,X=W1,10>=H,10>=J,199>=L,H>=1,J>=1,L>=0] Inferred cost of f109(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): f109(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):[[89],90]: 1+it1*(1) Such that:it1=<50,it1=<-1*R+50 with precondition: [M=50,Y=0,L1=50,Q1=50,N=O,P=Q,A=Z,B=A1,C=B1,D=C1,E=D1,F=E1,G=F1,H=G1,I=H1,J=I1,K=J1,L=K1,N=M1,N=N1,P=O1,P=P1,S=R1,T=S1,U=T1,V=U1,W=V1,X=W1,10>=N,10>=P,49>=R,N>=1,P>=1,R>=0] Inferred cost of f149(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): f149(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):[[92],93]: 1+it1*(1) Such that:it1=<20,it1=<-1*X+20 with precondition: [S=20,Y=1,R1=20,W1=20,T=U,V=W,A=Z,B=A1,C=B1,D=C1,E=D1,F=E1,G=F1,H=G1,I=H1,J=I1,K=J1,L=K1,M=L1,N=M1,O=N1,P=O1,Q=P1,R=Q1,T=S1,T=T1,V=U1,V=V1,10>=T,10>=V,19>=X,T>=1,V>=1,X>=0] Inferred cost of f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[95]: 1 with precondition: [S=20,V=0,T=U,10>=T,T>=1] f146(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[96]: 2+it1*(1) Such that:it1=<20 with precondition: [S=20,T=U,10>=T,10>=V,T>=1,V>=1] Inferred cost of f140(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f140(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[98]: 2 with precondition: [S=20,T=U,10>=T,T>=1] f140(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[99]: 3+it1*(1) Such that:it1=<20 with precondition: [S=20,T=U,10>=T,T>=1] Inferred cost of f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[101]: 3 with precondition: [S=20,10>=T,T>=1] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[102]: 4+it1*(1) Such that:it1=<20 with precondition: [S=20,10>=T,T>=1] f137(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[103]: 1 with precondition: [S=20,T=0] Inferred cost of f125(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f125(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[105]: 2 with precondition: [] f125(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[106]: 4 with precondition: [] f125(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[107]: 5+it1*(1) Such that:it1=<20 with precondition: [] Inferred cost of loop_cont_f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): loop_cont_f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[109]: 2 with precondition: [] loop_cont_f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[110]: 4 with precondition: [] loop_cont_f109(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[111]: 5+it1*(1) Such that:it1=<20 with precondition: [] Inferred cost of f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[113]: 3 with precondition: [M=50,P=0,N=O,10>=N,N>=1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[114]: 5 with precondition: [M=50,P=0,N=O,10>=N,N>=1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[115]: 6+it1*(1) Such that:it1=<20 with precondition: [M=50,P=0,N=O,10>=N,N>=1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[116]: 4+it1*(1) Such that:it1=<50 with precondition: [M=50,N=O,10>=N,10>=P,N>=1,P>=1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[117]: 6+it1*(1) Such that:it1=<50 with precondition: [M=50,N=O,10>=N,10>=P,N>=1,P>=1] f106(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[118]: 7+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [M=50,N=O,10>=N,10>=P,N>=1,P>=1] Inferred cost of f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[120]: 4 with precondition: [M=50,N=O,10>=N,N>=1] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[121]: 6 with precondition: [M=50,N=O,10>=N,N>=1] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[122]: 7+it1*(1) Such that:it1=<20 with precondition: [M=50,N=O,10>=N,N>=1] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[123]: 5+it1*(1) Such that:it1=<50 with precondition: [M=50,N=O,10>=N,N>=1] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[124]: 7+it1*(1) Such that:it1=<50 with precondition: [M=50,N=O,10>=N,N>=1] f100(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[125]: 8+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [M=50,N=O,10>=N,N>=1] Inferred cost of f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[127]: 5 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[128]: 7 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[129]: 8+it1*(1) Such that:it1=<20 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[130]: 6+it1*(1) Such that:it1=<50 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[131]: 8+it1*(1) Such that:it1=<50 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[132]: 9+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [M=50,10>=N,N>=1] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[133]: 3 with precondition: [M=50,N=0] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[134]: 5 with precondition: [M=50,N=0] f97(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[135]: 6+it1*(1) Such that:it1=<20 with precondition: [M=50,N=0] Inferred cost of f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[137]: 4 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[138]: 6 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[139]: 7+it1*(1) Such that:it1=<20 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[140]: 6 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[141]: 8 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[142]: 9+it1*(1) Such that:it1=<20 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[143]: 7+it1*(1) Such that:it1=<50 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[144]: 9+it1*(1) Such that:it1=<50 with precondition: [] f85(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[145]: 10+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] Inferred cost of loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[147]: 4 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[148]: 6 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[149]: 7+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[150]: 6 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[151]: 8 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[152]: 9+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[153]: 7+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[154]: 9+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f69(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[155]: 10+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] Inferred cost of f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[157]: 5 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[158]: 7 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[159]: 8+it1*(1) Such that:it1=<20 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[160]: 7 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[161]: 9 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[162]: 10+it1*(1) Such that:it1=<20 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[163]: 8+it1*(1) Such that:it1=<50 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[164]: 10+it1*(1) Such that:it1=<50 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[165]: 11+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [G=200,J=0,H=I,10>=H,H>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[166]: 6+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[167]: 8+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[168]: 9+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[169]: 8+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[170]: 10+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[171]: 11+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[172]: 9+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[173]: 11+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] f66(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[174]: 12+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [G=200,H=I,10>=H,10>=J,H>=1,J>=1] Inferred cost of f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[176]: 6 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[177]: 8 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[178]: 9+it1*(1) Such that:it1=<20 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[179]: 8 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[180]: 10 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[181]: 11+it1*(1) Such that:it1=<20 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[182]: 9+it1*(1) Such that:it1=<50 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[183]: 11+it1*(1) Such that:it1=<50 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[184]: 12+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[185]: 7+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[186]: 9+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[187]: 10+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[188]: 9+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[189]: 11+it1*(1) Such that:it1=<200 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[190]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[191]: 10+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[192]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,H=I,10>=H,H>=1] f60(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[193]: 13+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [G=200,H=I,10>=H,H>=1] Inferred cost of f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[195]: 7 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[196]: 9 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[197]: 10+it1*(1) Such that:it1=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[198]: 9 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[199]: 11 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[200]: 12+it1*(1) Such that:it1=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[201]: 10+it1*(1) Such that:it1=<50 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[202]: 12+it1*(1) Such that:it1=<50 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[203]: 13+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[204]: 8+it1*(1) Such that:it1=<200 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[205]: 10+it1*(1) Such that:it1=<200 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[206]: 11+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[207]: 10+it1*(1) Such that:it1=<200 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[208]: 12+it1*(1) Such that:it1=<200 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[209]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[210]: 11+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[211]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[212]: 14+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [G=200,10>=H,H>=1] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[213]: 5 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[214]: 7 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[215]: 8+it1*(1) Such that:it1=<20 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[216]: 7 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[217]: 9 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[218]: 10+it1*(1) Such that:it1=<20 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[219]: 8+it1*(1) Such that:it1=<50 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[220]: 10+it1*(1) Such that:it1=<50 with precondition: [G=200,H=0] f57(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[221]: 11+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [G=200,H=0] Inferred cost of f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[223]: 6 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[224]: 8 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[225]: 9+it1*(1) Such that:it1=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[226]: 8 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[227]: 10 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[228]: 11+it1*(1) Such that:it1=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[229]: 9+it1*(1) Such that:it1=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[230]: 11+it1*(1) Such that:it1=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[231]: 12+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[232]: 8 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[233]: 10 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[234]: 11+it1*(1) Such that:it1=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[235]: 10 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[236]: 12 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[237]: 13+it1*(1) Such that:it1=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[238]: 11+it1*(1) Such that:it1=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[239]: 13+it1*(1) Such that:it1=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[240]: 14+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[241]: 9+it1*(1) Such that:it1=<200 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[242]: 11+it1*(1) Such that:it1=<200 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[243]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[244]: 11+it1*(1) Such that:it1=<200 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[245]: 13+it1*(1) Such that:it1=<200 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[246]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[247]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[248]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[249]: 15+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [] Inferred cost of loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[251]: 6 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[252]: 8 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[253]: 9+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[254]: 8 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[255]: 10 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[256]: 11+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[257]: 9+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[258]: 11+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[259]: 12+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[260]: 8 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[261]: 10 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[262]: 11+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[263]: 10 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[264]: 12 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[265]: 13+it1*(1) Such that:it1=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[266]: 11+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[267]: 13+it1*(1) Such that:it1=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[268]: 14+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[269]: 9+it1*(1) Such that:it1=<200 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[270]: 11+it1*(1) Such that:it1=<200 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[271]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[272]: 11+it1*(1) Such that:it1=<200 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[273]: 13+it1*(1) Such that:it1=<200 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[274]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[275]: 12+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[276]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[277]: 15+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [] 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): 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):[279]: 7 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[280]: 9 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[281]: 10+it1*(1) Such that:it1=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[282]: 9 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[283]: 11 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[284]: 12+it1*(1) Such that:it1=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[285]: 10+it1*(1) Such that:it1=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[286]: 12+it1*(1) Such that:it1=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[287]: 13+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[288]: 9 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[289]: 11 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[290]: 12+it1*(1) Such that:it1=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[291]: 11 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[292]: 13 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[293]: 14+it1*(1) Such that:it1=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[294]: 12+it1*(1) Such that:it1=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[295]: 14+it1*(1) Such that:it1=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[296]: 15+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[297]: 10+it1*(1) Such that:it1=<200 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[298]: 12+it1*(1) Such that:it1=<200 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[299]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[300]: 12+it1*(1) Such that:it1=<200 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[301]: 14+it1*(1) Such that:it1=<200 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[302]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[303]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[304]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[305]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [A=100,D=0,B=C,10>=B,B>=1] 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):[306]: 8+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[307]: 10+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[308]: 11+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[309]: 10+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[310]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[311]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[312]: 11+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[313]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[314]: 14+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[315]: 10+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[316]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[317]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[318]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[319]: 14+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[320]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[321]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[322]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[323]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[324]: 11+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[325]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[326]: 14+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[327]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[328]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[329]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[330]: 14+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[331]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] 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):[332]: 17+it1*(1)+it2*(1)+it3*(1)+it4*(1) Such that:it1=<100,it2=<200,it3=<50,it4=<20 with precondition: [A=100,B=C,10>=B,10>=D,B>=1,D>=1] Inferred cost of f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[334]: 8 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[335]: 10 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[336]: 11+it1*(1) Such that:it1=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[337]: 10 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[338]: 12 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[339]: 13+it1*(1) Such that:it1=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[340]: 11+it1*(1) Such that:it1=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[341]: 13+it1*(1) Such that:it1=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[342]: 14+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[343]: 10 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[344]: 12 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[345]: 13+it1*(1) Such that:it1=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[346]: 12 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[347]: 14 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[348]: 15+it1*(1) Such that:it1=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[349]: 13+it1*(1) Such that:it1=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[350]: 15+it1*(1) Such that:it1=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[351]: 16+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[352]: 11+it1*(1) Such that:it1=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[353]: 13+it1*(1) Such that:it1=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[354]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[355]: 13+it1*(1) Such that:it1=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[356]: 15+it1*(1) Such that:it1=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[357]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[358]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[359]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[360]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[361]: 9+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[362]: 11+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[363]: 12+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[364]: 11+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[365]: 13+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[366]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[367]: 12+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[368]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[369]: 15+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[370]: 11+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[371]: 13+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[372]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[373]: 13+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[374]: 15+it1*(1) Such that:it1=<100 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[375]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[376]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[377]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[378]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[379]: 12+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[380]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[381]: 15+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[382]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[383]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[384]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[385]: 15+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[386]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,B=C,10>=B,B>=1] f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[387]: 18+it1*(1)+it2*(1)+it3*(1)+it4*(1) Such that:it1=<100,it2=<200,it3=<50,it4=<20 with precondition: [A=100,B=C,10>=B,B>=1] Inferred cost of f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[389]: 9 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[390]: 11 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[391]: 12+it1*(1) Such that:it1=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[392]: 11 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[393]: 13 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[394]: 14+it1*(1) Such that:it1=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[395]: 12+it1*(1) Such that:it1=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[396]: 14+it1*(1) Such that:it1=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[397]: 15+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[398]: 11 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[399]: 13 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[400]: 14+it1*(1) Such that:it1=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[401]: 13 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[402]: 15 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[403]: 16+it1*(1) Such that:it1=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[404]: 14+it1*(1) Such that:it1=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[405]: 16+it1*(1) Such that:it1=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[406]: 17+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[407]: 12+it1*(1) Such that:it1=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[408]: 14+it1*(1) Such that:it1=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[409]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[410]: 14+it1*(1) Such that:it1=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[411]: 16+it1*(1) Such that:it1=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[412]: 17+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[413]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[414]: 17+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[415]: 18+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[416]: 10+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[417]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[418]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[419]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[420]: 14+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[421]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[422]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[423]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[424]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[425]: 12+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[426]: 14+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[427]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[428]: 14+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[429]: 16+it1*(1) Such that:it1=<100 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[430]: 17+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[431]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[432]: 17+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[433]: 18+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[434]: 13+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[435]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[436]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[437]: 15+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[438]: 17+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[439]: 18+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[440]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[441]: 18+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[442]: 19+it1*(1)+it2*(1)+it3*(1)+it4*(1) Such that:it1=<100,it2=<200,it3=<50,it4=<20 with precondition: [A=100,10>=B,B>=1] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[443]: 7 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[444]: 9 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[445]: 10+it1*(1) Such that:it1=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[446]: 9 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[447]: 11 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[448]: 12+it1*(1) Such that:it1=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[449]: 10+it1*(1) Such that:it1=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[450]: 12+it1*(1) Such that:it1=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[451]: 13+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[452]: 9 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[453]: 11 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[454]: 12+it1*(1) Such that:it1=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[455]: 11 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[456]: 13 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[457]: 14+it1*(1) Such that:it1=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[458]: 12+it1*(1) Such that:it1=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[459]: 14+it1*(1) Such that:it1=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[460]: 15+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[461]: 10+it1*(1) Such that:it1=<200 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[462]: 12+it1*(1) Such that:it1=<200 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[463]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[464]: 12+it1*(1) Such that:it1=<200 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[465]: 14+it1*(1) Such that:it1=<200 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[466]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[467]: 13+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[468]: 15+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [A=100,B=0] f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[469]: 16+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [A=100,B=0] Inferred cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[471]: 8 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[472]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[473]: 11+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[474]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[475]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[476]: 13+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[477]: 11+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[478]: 13+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[479]: 14+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[480]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[481]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[482]: 13+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[483]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[484]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[485]: 15+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[486]: 13+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[487]: 15+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[488]: 16+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[489]: 11+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[490]: 13+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[491]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[492]: 13+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[493]: 15+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[494]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[495]: 14+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[496]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[497]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[498]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[499]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[500]: 13+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[501]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[502]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[503]: 15+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[504]: 13+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[505]: 15+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[506]: 16+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[507]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[508]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[509]: 15+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[510]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[511]: 16 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[512]: 17+it1*(1) Such that:it1=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[513]: 15+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[514]: 17+it1*(1) Such that:it1=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[515]: 18+it1*(1)+it2*(1) Such that:it1=<50,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[516]: 13+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[517]: 15+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[518]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[519]: 15+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[520]: 17+it1*(1) Such that:it1=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[521]: 18+it1*(1)+it2*(1) Such that:it1=<200,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[522]: 16+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[523]: 18+it1*(1)+it2*(1) Such that:it1=<200,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[524]: 19+it1*(1)+it2*(1)+it3*(1) Such that:it1=<200,it2=<50,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[525]: 11+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[526]: 13+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[527]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[528]: 13+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[529]: 15+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[530]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[531]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[532]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[533]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[534]: 13+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[535]: 15+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[536]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[537]: 15+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[538]: 17+it1*(1) Such that:it1=<100 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[539]: 18+it1*(1)+it2*(1) Such that:it1=<100,it2=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[540]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[541]: 18+it1*(1)+it2*(1) Such that:it1=<100,it2=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[542]: 19+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<50,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[543]: 14+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[544]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[545]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[546]: 16+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[547]: 18+it1*(1)+it2*(1) Such that:it1=<100,it2=<200 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[548]: 19+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<20 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[549]: 17+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[550]: 19+it1*(1)+it2*(1)+it3*(1) Such that:it1=<100,it2=<200,it3=<50 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[551]: 20+it1*(1)+it2*(1)+it3*(1)+it4*(1) Such that:it1=<100,it2=<200,it3=<50,it4=<20 with precondition: [] Solved cost expressions of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[471]: 8 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[472]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[473]: 31 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[474]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[475]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[476]: 33 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[477]: 61 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[478]: 63 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[479]: 84 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[480]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[481]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[482]: 33 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[483]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[484]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[485]: 35 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[486]: 63 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[487]: 65 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[488]: 86 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[489]: 211 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[490]: 213 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[491]: 234 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[492]: 213 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[493]: 215 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[494]: 236 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[495]: 264 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[496]: 266 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[497]: 287 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[498]: 10 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[499]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[500]: 33 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[501]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[502]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[503]: 35 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[504]: 63 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[505]: 65 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[506]: 86 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[507]: 12 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[508]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[509]: 35 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[510]: 14 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[511]: 16 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[512]: 37 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[513]: 65 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[514]: 67 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[515]: 88 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[516]: 213 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[517]: 215 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[518]: 236 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[519]: 215 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[520]: 217 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[521]: 238 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[522]: 266 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[523]: 268 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[524]: 289 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[525]: 111 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[526]: 113 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[527]: 134 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[528]: 113 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[529]: 115 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[530]: 136 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[531]: 164 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[532]: 166 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[533]: 187 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[534]: 113 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[535]: 115 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[536]: 136 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[537]: 115 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[538]: 117 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[539]: 138 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[540]: 166 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[541]: 168 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[542]: 189 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[543]: 314 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[544]: 316 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[545]: 337 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[546]: 316 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[547]: 318 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[548]: 339 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[549]: 367 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[550]: 369 with precondition: [] f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X):[551]: 390 with precondition: [] Maximum cost of f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X): 390 Asymptotic class: constant Time statistics: Partial evaluation computed in 204 ms. Invariants computed in 474 ms. ----Backward Invariants 214 ms. ----Transitive Invariants 77 ms. Refinement performed in 1082 ms. Termination proved in 233 ms. Upper bounds computed in 644 ms. ----Phase cost structures 483 ms. --------Equation cost structures 445 ms. --------Inductive compression(1) 0 ms. --------Inductive compression(2) 0 ms. --------Black Cost 0 ms. ----Chain cost structures 93 ms. ----Solving cost expressions 6 ms. Compressed phase information: 0 Compressed Chains: 0 Compressed invariants: 0 Total analysis performed in 3096 ms.