warning: Ignored call to f71/12 in equation f63/12 warning: Ignored call to f71/12 in equation f63/12 warning: Ignored call to f71/12 in equation f63/12 Inferred cost of f23(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): f23(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):[[45],46]: 1+it1*(1) Such that:it1=<10,it1=<-1*F+10 with precondition: [A=1,B=1,C=10,M=0,N=1,O=1,P=10,S=0,D=Q,E=R,G=T,H=U,I=V,J=W,K=X,L=Y,9>=F,F>=0] Inferred cost of f33(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): f33(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):[52]: 1 with precondition: [G=0,H=0,M=0,T=0,U=0,O=B,Q=D,R=E,V=I,W=J,X=K,Y=L,A=N,C=P,F=S,0>=A+1,0>=C,C>=F+1] f33(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):[53]: 0 with precondition: [G=0,H=0,M=1,T=0,U=0,N=A,O=B,Q=D,R=E,V=I,W=J,X=K,Y=L,C=P,F=S,C>=F+1] f33(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):[54]: 1 with precondition: [G=0,H=0,M=0,T=0,U=0,O=B,Q=D,R=E,V=I,W=J,X=K,Y=L,A=N,C=P,F=S,0>=C,A>=1,C>=F+1] f33(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):[55]: 1 with precondition: [A=0,G=0,H=0,M=0,N=0,T=0,U=0,W=0,O=B,Q=D,R=E,V=I,X=K,Y=L,C=P,F+1=S,0>=C,C>=F+1] f33(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):[[51],50,[49],52]: 2+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1=<1*P+ -2,it1=<1*U+ -2,it1+it2=<1*P+ -1,it1+it2=<1*U+ -1,it1+it2=<1*C+ -1*H+ -1,it1+it2=<1*U+ -1*H+ -1,it2=<1*P,it2=<1*U,it2=<1*C+ -1*H,it2=<1*U+ -1*H with precondition: [G=0,M=0,T=1,V=1,U=C,A=N,B=O,U=P,D=Q,E=R,F=S,J=W,K=X,L=Y,0>=A+1,H>=0,U>=F+1,U>=H+3] f33(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):[[51],50,[49],53]: 1+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1=<1*P+ -2,it1=<1*U+ -2,it1+it2=<1*C+ -1,it1+it2=<1*P+ -1,it1+it2=<1*U+ -1,it1+it2=<1*C+ -1*H+ -1,it1+it2=<1*P+ -1*H+ -1,it1+it2=<1*U+ -1*H+ -1,it2=<1*P,it2=<1*C+ -1*H,it2=<1*P+ -1*H with precondition: [G=0,M=1,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,J=W,K=X,L=Y,H>=0,C>=F+1,U>=H+3,C>=U] f33(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):[[51],50,[49],54]: 2+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1=<1*P+ -2,it1=<1*U+ -2,it1+it2=<1*P+ -1,it1+it2=<1*U+ -1,it1+it2=<1*C+ -1*H+ -1,it1+it2=<1*U+ -1*H+ -1,it2=<1*P,it2=<1*U,it2=<1*C+ -1*H,it2=<1*U+ -1*H with precondition: [G=0,M=0,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,C=U,J=W,K=X,L=Y,A>=1,H>=0,C>=F+1,C>=H+3] f33(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):[[51],50,[49],55]: 2+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1=<1*P+ -2,it1=<1*U+ -2,it1+it2=<1*P+ -1,it1+it2=<1*U+ -1,it1+it2=<1*C+ -1*H+ -1,it1+it2=<1*U+ -1*H+ -1,it2=<1*P,it2=<1*U,it2=<1*C+ -1*H,it2=<1*U+ -1*H with precondition: [A=0,G=0,M=0,N=0,T=1,V=1,W=0,B=O,C=P,D=Q,E=R,F+1=S,C=U,K=X,L=Y,H>=0,C>=F+1,C>=H+3] f33(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):[[51],50,52]: 2+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*P+ -1,it1=<1*U+ -1,it1=<1*U+ -1*H,it1=<1*C+ -1*H+ -1,it1=<1*U+ -1*H+ -1 with precondition: [G=0,M=0,T=1,V=1,U=C,A=N,B=O,U=P,D=Q,E=R,F=S,J=W,K=X,L=Y,0>=A+1,H>=0,U>=F+1,U>=H+2] f33(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):[[51],50,53]: 1+it1*(1) Such that:it1=<1*P,it1=<1*C+ -1,it1=<1*C+ -1*H,it1=<1*P+ -1,it1=<1*P+ -1*H,it1=<1*U+ -1,it1=<1*U+ -1*H+ -1 with precondition: [G=0,M=1,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,J=W,K=X,L=Y,H>=0,C>=F+1,U>=H+2,C>=U] f33(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):[[51],50,54]: 2+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*P+ -1,it1=<1*U+ -1,it1=<1*U+ -1*H,it1=<1*C+ -1*H+ -1,it1=<1*U+ -1*H+ -1 with precondition: [G=0,M=0,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,C=U,J=W,K=X,L=Y,A>=1,H>=0,C>=F+1,C>=H+2] f33(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):[[51],50,55]: 2+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*P+ -1,it1=<1*U+ -1,it1=<1*U+ -1*H,it1=<1*C+ -1*H+ -1,it1=<1*U+ -1*H+ -1 with precondition: [A=0,G=0,M=0,N=0,T=1,V=1,W=0,B=O,C=P,D=Q,E=R,F+1=S,C=U,K=X,L=Y,H>=0,C>=F+1,C>=H+2] f33(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):[[51],52]: 1+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*U+ -1*H with precondition: [G=0,M=0,T=0,V=0,U=C,A=N,B=O,U=P,D=Q,E=R,F=S,J=W,K=X,L=Y,0>=A+1,H>=0,U>=F+1,U>=H+1] f33(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):[[51],53]: 0+it1*(1) Such that:it1=<1*C,it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*P+ -1*H,it1=<1*U+ -1*H with precondition: [G=0,M=1,T=0,V=0,A=N,B=O,C=P,D=Q,E=R,F=S,J=W,K=X,L=Y,H>=0,C>=F+1,U>=H+1,C>=U] f33(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):[[51],54]: 1+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*U+ -1*H with precondition: [G=0,M=0,T=0,V=0,A=N,B=O,C=P,D=Q,E=R,F=S,C=U,J=W,K=X,L=Y,A>=1,H>=0,C>=F+1,C>=H+1] f33(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):[[51],55]: 1+it1*(1) Such that:it1=<1*P,it1=<1*U,it1=<1*C+ -1*H,it1=<1*U+ -1*H with precondition: [A=0,G=0,M=0,N=0,T=0,V=0,W=0,B=O,C=P,D=Q,E=R,F+1=S,C=U,K=X,L=Y,H>=0,C>=F+1,C>=H+1] f33(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):[50,[49],52]: 2+it1*(1) Such that:it1=<1*C+ -1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [G=0,H=0,M=0,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,C=U,J=W,K=X,L=Y,0>=A+1,C>=2,C>=F+1] f33(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):[50,[49],53]: 1+it1*(1) Such that:it1=<1*C+ -1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [G=0,H=0,M=1,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,J=W,K=X,L=Y,U>=2,C>=F+1,C>=U] f33(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):[50,[49],54]: 2+it1*(1) Such that:it1=<1*C+ -1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [G=0,H=0,M=0,T=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,C=U,J=W,K=X,L=Y,A>=1,C>=2,C>=F+1] f33(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):[50,[49],55]: 2+it1*(1) Such that:it1=<1*C+ -1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [A=0,G=0,H=0,M=0,N=0,T=1,V=1,W=0,B=O,C=P,D=Q,E=R,F+1=S,C=U,K=X,L=Y,C>=2,C>=F+1] f33(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):[50,52]: 2 with precondition: [C=1,G=0,H=0,M=0,P=1,T=1,U=1,V=1,A=N,B=O,D=Q,E=R,F=S,J=W,K=X,L=Y,0>=A+1,0>=F] f33(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):[50,53]: 1 with precondition: [G=0,H=0,M=1,T=1,U=1,V=1,A=N,B=O,C=P,D=Q,E=R,F=S,J=W,K=X,L=Y,C>=1,C>=F+1] f33(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):[50,54]: 2 with precondition: [C=1,G=0,H=0,M=0,P=1,T=1,U=1,V=1,A=N,B=O,D=Q,E=R,F=S,J=W,K=X,L=Y,0>=F,A>=1] f33(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):[50,55]: 2 with precondition: [A=0,C=1,G=0,H=0,M=0,N=0,P=1,T=1,U=1,V=1,W=0,B=O,D=Q,E=R,F+1=S,K=X,L=Y,0>=F] 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): 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):[93]: 1 with precondition: [M=1,C>=F+1] 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):[94]: 2+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C with precondition: [M=1,C>=3,C>=F+1] 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):[95]: 2+it1*(1) Such that:it1=<1*C,it1=<1*C+ -1 with precondition: [M=1,C>=2,C>=F+1] 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):[96]: 1+it1*(1) Such that:it1=<1*C with precondition: [M=1,C>=1,C>=F+1] 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):[97]: 2+it1*(1) Such that:it1=<1*C+ -1 with precondition: [M=1,C>=2,C>=F+1] 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):[98]: 2 with precondition: [M=1,C>=1,C>=F+1] 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):[99]: 1 with precondition: [M=0,S=0,N=A,O=B,Q=D,R=E,T=G,U=H,V=I,W=J,X=K,Y=L,C=P,F>=C] 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):[[75],69,[71,77],93]: inf with precondition: [M=1,0>=A+1,0>=C,C>=F+3] 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):[[75],69,[71,77],99]: inf with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=A+1,0>=C,C>=F+2] 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):[[75],69,[71,77],100]...: inf with precondition: [0>=A+1,0>=C,1>=M,M>=0,C>=F+2] 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):[[75],69,93]: inf with precondition: [M=1,0>=A+1,0>=C,C>=F+2] 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):[[75],69,99]: inf with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=A+1,0>=C] 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):[[75],93]: inf with precondition: [M=1,0>=A+1,0>=C,C>=F+1] 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):[[75],100]...: inf with precondition: [0>=A+1,0>=C,1>=M,M>=0,C>=F+1] 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):[[76],70,[71,77],93]: inf with precondition: [M=1,0>=C,A>=1,C>=F+3] 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):[[76],70,[71,77],99]: inf with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=C,A>=1,C>=F+2] 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):[[76],70,[71,77],100]...: inf with precondition: [0>=C,1>=M,A>=1,M>=0,C>=F+2] 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):[[76],70,93]: inf with precondition: [M=1,0>=C,A>=1,C>=F+2] 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):[[76],70,99]: inf with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=C,A>=1] 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):[[76],93]: inf with precondition: [M=1,0>=C,A>=1,C>=F+1] 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):[[76],100]...: inf with precondition: [0>=C,1>=M,A>=1,M>=0,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,A>=0,C>=1,C>=F+1,A+C>=F+2] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,A>=0,C>=3,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,A>=0,C>=2,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,A>=0,C>=1,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,A>=0,C>=2,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,A>=0,C>=1,C>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,P=C,B=O,D=Q,E=R,P=U,K=X,L=Y,1>=T,1>=V,A>=0,N>=0,P>=1,T>=0,V>=0,P>=F+1] 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):[[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [1>=M,A>=0,C>=1,M>=0,C>=F+1] 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):[[71,77],93]: 1+it1*(3)+it2*(2) Such that:it1+it2=<-1*F,it1+it2=<-1*F+ -1,it1+it2=<1*C+ -1*F,it1+it2=<-1*F+1*C+ -1 with precondition: [A=0,M=1,0>=C,C>=F+2] 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):[[71,77],99]: 1+it1*(3)+it2*(2) Such that:it1+it2=<-1*F,it1+it2=<1*C+ -1*F,it1+it2=<1*P+ -1*F,it1+it2=<-1*F+1*C+1,it1+it2=<-1*F+1*P+1 with precondition: [A=0,M=0,N=0,S=0,T=0,U=0,W=0,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=C,C>=F+1] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,B=O,C=P,D=Q,E=R,C=U,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,C>=3,N>=0,T>=N,C+N>=F+T+2] 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):[[78,81,84,87,90],57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=3,M>=0,C>=F+2] 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):[[78,81,84,87,90],57,93]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,95]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,96]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,97]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,98]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],57,99]: inf with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=3] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,U=C,W=N,B=O,U=P,D=Q,E=R,V=T,K=X,L=Y,0>=A+1,1>=V,U>=2,W>=0,V>=W,U+W>=F+V+2] 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):[[78,81,84,87,90],60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=2,M>=0,C>=F+2] 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):[[78,81,84,87,90],60,93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],60,95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],60,99]: inf with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,U=C,W=N,B=O,U=P,D=Q,E=R,V=T,K=X,L=Y,0>=A+1,1>=V,U>=2,W>=0,V>=W,U+W>=F+V+2] 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):[[78,81,84,87,90],63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=2,M>=0,C>=F+2] 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):[[78,81,84,87,90],63,93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],63,95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],63,99]: inf with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=2] 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):[[78,81,84,87,90],66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [C=1,M=0,P=1,S=0,U=1,W=N,B=O,D=Q,E=R,V=T,K=X,L=Y,0>=A+1,1>=V,W>=0,V>=W,W>=F+V+1] 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):[[78,81,84,87,90],66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [C=1,0>=A+1,0>=F+1,1>=M,M>=0] 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):[[78,81,84,87,90],66,93]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,96]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,98]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[[78,81,84,87,90],66,99]: inf with precondition: [C=1,F=0,M=0,N=1,P=1,S=0,T=1,U=1,V=1,W=1,B=O,D=Q,E=R,K=X,L=Y,0>=A+1] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,U=C,W=N,B=O,U=P,D=Q,E=R,V=T,K=X,L=Y,0>=A+1,1>=V,U>=1,W>=0,U>=F+2,V>=W] 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):[[78,81,84,87,90],72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=1,M>=0,C>=F+2] 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):[[78,81,84,87,90],72,93]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[[78,81,84,87,90],72,94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[[78,81,84,87,90],72,95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],72,96]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[[78,81,84,87,90],72,97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[[78,81,84,87,90],72,98]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[[78,81,84,87,90],72,99]: inf with precondition: [M=0,N=0,S=0,T=0,V=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=1] 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):[[78,81,84,87,90],93]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+1] 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):[[78,81,84,87,90],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+1] 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):[[78,81,84,87,90],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+1] 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):[[78,81,84,87,90],96]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+1] 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):[[78,81,84,87,90],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+1] 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):[[78,81,84,87,90],98]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+1] 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):[[78,81,84,87,90],100]...: inf with precondition: [0>=A+1,1>=M,C>=1,M>=0,C>=F+1] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,B=O,C=P,D=Q,E=R,C=U,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,C>=3,N>=0,T>=N,C+N>=F+T+2] 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):[57,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=3,M>=0,C>=F+2] 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):[57,93]: 5+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,94]: 6+it1*(1)+it2*(1)+it3*(1)+it4*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C,it3=<1*C+ -2,it3+it4=<1*C+ -1,it4=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,95]: 6+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C,it1=<1*C+ -1,it2=<1*C+ -2,it2+it3=<1*C+ -1,it3=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,96]: 5+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C,it2=<1*C+ -2,it2+it3=<1*C+ -1,it3=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,97]: 6+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C+ -1,it2=<1*C+ -2,it2+it3=<1*C+ -1,it3=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,98]: 6+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[57,99]: 5+it1*(1)+it2*(1) Such that:it1=<1*C+ -2,it1=<1*F+ -1,it1=<1*P+ -2,it1=<1*U+ -2,it1+it2=<1*F,it1+it2=<1*C+ -1,it1+it2=<1*P+ -1,it1+it2=<1*U+ -1,it2=<1*C,it2=<1*P,it2=<1*U,it2=<1*F+1 with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=3] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,B=O,C=P,D=Q,E=R,C=U,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,C>=2,N>=0,T>=N,C+N>=F+T+2] 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):[60,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=2,M>=0,C>=F+2] 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):[60,93]: 5+it1*(1) Such that:it1=<1*C,it1=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,94]: 6+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C,it3=<1*C,it3=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[60,95]: 6+it1*(1)+it2*(1) Such that:it1=<1*C,it1=<1*C+ -1,it2=<1*C,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,96]: 5+it1*(1)+it2*(1) Such that:it1=<1*C,it2=<1*C,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,97]: 6+it1*(1)+it2*(1) Such that:it1=<1*C+ -1,it2=<1*C,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,98]: 6+it1*(1) Such that:it1=<1*C,it1=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[60,99]: 5+it1*(1) Such that:it1=<1*C,it1=<1*F,it1=<1*P,it1=<1*U,it1=<1*C+ -1,it1=<1*F+1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,B=O,C=P,D=Q,E=R,C=U,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,C>=2,N>=0,T>=N,C+N>=F+T+2] 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):[63,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=2,M>=0,C>=F+2] 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):[63,93]: 5+it1*(1) Such that:it1=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,94]: 6+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C,it3=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[63,95]: 6+it1*(1)+it2*(1) Such that:it1=<1*C,it1=<1*C+ -1,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,96]: 5+it1*(1)+it2*(1) Such that:it1=<1*C,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,97]: 6+it1*(1)+it2*(1) Such that:it1=<1*C+ -1,it2=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,98]: 6+it1*(1) Such that:it1=<1*C+ -1 with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[63,99]: 5+it1*(1) Such that:it1=<1*F,it1=<1*C+ -1,it1=<1*P+ -1,it1=<1*U+ -1 with precondition: [M=0,N=1,S=0,T=1,V=1,W=1,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=2] 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):[66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [C=1,M=0,P=1,S=0,U=1,B=O,D=Q,E=R,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,N>=0,T>=N,N>=F+T+1] 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):[66,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [C=1,0>=A+1,0>=F+1,1>=M,M>=0] 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):[66,93]: 5 with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,96]: 5+it1*(1) Such that:it1=<1 with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,98]: 6 with precondition: [C=1,M=1,0>=A+1,0>=F+1] 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):[66,99]: 5 with precondition: [C=1,F=0,M=0,N=1,P=1,S=0,T=1,U=1,V=1,W=1,B=O,D=Q,E=R,K=X,L=Y,0>=A+1] 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):[69,[71,77],93]: 4+it1*(3)+it2*(2) Such that:it1+it2=<-1*F+ -2,it1+it2=<-1*F+ -1,it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*C+ -1*F+ -1 with precondition: [M=1,0>=A+1,0>=C,C>=F+3] 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):[69,[71,77],99]: 4+it1*(3)+it2*(2) Such that:it1+it2=<-1*F+ -1,it1+it2=<1*C+ -1*F,it1+it2=<1*P+ -1*F,it1+it2=<1*C+ -1*F+ -1,it1+it2=<1*P+ -1*F+ -1 with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=A+1,0>=C,C>=F+2] 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):[69,93]: 4 with precondition: [M=1,0>=A+1,0>=C,C>=F+2] 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):[69,99]: 4 with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=A+1,0>=C] 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):[70,[71,77],93]: 4+it1*(3)+it2*(2) Such that:it1+it2=<-1*F+ -2,it1+it2=<-1*F+ -1,it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*C+ -1*F+ -1 with precondition: [M=1,0>=C,A>=1,C>=F+3] 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):[70,[71,77],99]: 4+it1*(3)+it2*(2) Such that:it1+it2=<-1*F+ -1,it1+it2=<1*C+ -1*F,it1+it2=<1*P+ -1*F,it1+it2=<1*C+ -1*F+ -1,it1+it2=<1*P+ -1*F+ -1 with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=C,A>=1,C>=F+2] 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):[70,93]: 4 with precondition: [M=1,0>=C,A>=1,C>=F+2] 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):[70,99]: 4 with precondition: [M=0,N=0,S=0,T=0,U=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,I=V,K=X,L=Y,0>=C,A>=1] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],93]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],94]: inf with precondition: [M=1,0>=A+1,C>=3,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],95]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],96]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],97]: inf with precondition: [M=1,0>=A+1,C>=2,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],98]: inf with precondition: [M=1,0>=A+1,C>=1,C>=F+3] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],99]: inf with precondition: [M=0,S=0,B=O,C=P,D=Q,E=R,C=U,T=V,N=W,K=X,L=Y,0>=A+1,1>=T,C>=1,N>=0,C>=F+2,T>=N] 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):[72,[58,59,61,62,64,65,67,68,73,74,79,80,82,83,85,86,88,89,91,92],100]...: inf with precondition: [0>=A+1,1>=M,C>=1,M>=0,C>=F+2] 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):[72,93]: 4+it1*(1) Such that:it1=<1*C with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[72,94]: 5+it1*(1)+it2*(1)+it3*(1) Such that:it1=<1*C+ -2,it1+it2=<1*C+ -1,it2=<1*C,it3=<1*C with precondition: [M=1,0>=A+1,C>=3,C>=F+2] 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):[72,95]: 5+it1*(1)+it2*(1) Such that:it1=<1*C,it1=<1*C+ -1,it2=<1*C with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[72,96]: 4+it1*(1)+it2*(1) Such that:it1=<1*C,it2=<1*C with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[72,97]: 5+it1*(1)+it2*(1) Such that:it1=<1*C+ -1,it2=<1*C with precondition: [M=1,0>=A+1,C>=2,C>=F+2] 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):[72,98]: 5+it1*(1) Such that:it1=<1*C with precondition: [M=1,0>=A+1,C>=1,C>=F+2] 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):[72,99]: 4+it1*(1) Such that:it1=<1*C,it1=<1*P,it1=<1*U,it1=<1*F+1 with precondition: [M=0,N=0,S=0,T=0,V=0,W=0,C=F+1,B=O,C=P,D=Q,E=R,C=U,K=X,L=Y,0>=A+1,C>=1] Inferred cost of f52(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): f52(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):[106]: 1 with precondition: [M=0,O=B,Q=D,R=E,T=G,U=H,V=I,W=J,X=K,Y=L,A=N,C=P,F=S,0>=A+1,F+1>=C] f52(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):[107]: 0 with precondition: [M=1,N=A,O=B,P=C,Q=D,R=E,S=F,T=G,U=H,V=I,W=J,X=K,Y=L] f52(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):[108]: 1 with precondition: [M=0,O=B,Q=D,R=E,T=G,U=H,V=I,W=J,X=K,Y=L,A=N,C=P,F=S,A>=1,F+1>=C] f52(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):[109]: 1 with precondition: [A=0,M=1,N=0,Y=1,O=B,Q=D,R=E,T=G,U=H,V=I,W=J,X=K,C=P,F=S,F+1>=C] f52(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):[[103],104,[105],106]: 3+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*P+ -1*F+ -2,it2=<1*C+ -1*F+ -1,it2=<1*P+ -1*F+ -1 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,B>=1,C>=F+4] f52(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):[[103],104,[105],107]: 2+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*P+ -1*F+ -2,it1+it2=<1*S+ -1*F+ -1,it2=<1*C+ -1*F+ -1,it2=<1*P+ -1*F+ -1 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,B>=1,S>=F+3,C>=S+1] f52(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):[[103],104,[105],108]: 3+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*P+ -1*F+ -2,it2=<1*C+ -1*F+ -1,it2=<1*P+ -1*F+ -1 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,B>=1,C>=F+4] f52(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):[[103],104,[105],109]: 3+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it1+it2=<1*P+ -1*F+ -2,it2=<1*C+ -1*F+ -1,it2=<1*P+ -1*F+ -1 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,B>=1,C>=F+4] f52(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):[[103],104,106]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -2,it1=<1*P+ -1*F+ -1 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,B>=1,C>=F+3] f52(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):[[103],104,107]: 2+it1*(2) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1,it1=<1*S+ -1*F+ -1 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,B>=1,S>=F+2,C>=S+1] f52(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):[[103],104,108]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -2,it1=<1*P+ -1*F+ -1 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,B>=1,C>=F+3] f52(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):[[103],104,109]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -2,it1=<1*P+ -1*F+ -1 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,B>=1,C>=F+3] f52(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):[[103],106]: 1+it1*(2) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [M=0,O=1,X=1,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,B>=1,C>=F+2] f52(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):[[103],107]: 0+it1*(2) Such that:it1=<1*S+ -1*F,it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [M=1,O=1,X=1,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,B>=1,S>=F+1,C>=S+1] f52(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):[[103],108]: 1+it1*(2) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [M=0,O=1,X=1,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,B>=1,C>=F+2] f52(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):[[103],109]: 1+it1*(2) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [A=0,M=1,N=0,O=1,X=1,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,B>=1,C>=F+2] f52(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):[[105],106]: 1+it1*(1) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [B=0,M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,C>=F+2] f52(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):[[105],107]: 0+it1*(1) Such that:it1=<1*S+ -1*F,it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [B=0,M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,S>=F+1,C>=S+1] f52(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):[[105],108]: 1+it1*(1) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [B=0,M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,C>=F+2] f52(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):[[105],109]: 1+it1*(1) Such that:it1=<1*C+ -1*F+ -1,it1=<1*P+ -1*F+ -1 with precondition: [A=0,B=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,C>=F+2] f52(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):[101,[103],104,[105],106]: 5+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it1+it2=<1*P+ -1*F+ -3,it2=<1*C+ -1*F+ -2,it2=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1,C>=F+5] f52(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):[101,[103],104,[105],107]: 4+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it1+it2=<1*P+ -1*F+ -3,it1+it2=<1*S+ -1*F+ -2,it2=<1*C+ -1*F+ -2,it2=<1*P+ -1*F+ -2 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,S>=F+4,C>=S+1] f52(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):[101,[103],104,[105],108]: 5+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it1+it2=<1*P+ -1*F+ -3,it2=<1*C+ -1*F+ -2,it2=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1,C>=F+5] f52(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):[101,[103],104,[105],109]: 5+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it1+it2=<1*P+ -1*F+ -3,it2=<1*C+ -1*F+ -2,it2=<1*P+ -1*F+ -2 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1,C>=F+5] f52(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):[101,[103],104,106]: 5+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -3,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1,C>=F+4] f52(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):[101,[103],104,107]: 4+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2,it1=<1*S+ -1*F+ -2 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,S>=F+3,C>=S+1] f52(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):[101,[103],104,108]: 5+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -3,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1,C>=F+4] f52(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):[101,[103],104,109]: 5+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -3,it1=<1*P+ -1*F+ -2 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1,C>=F+4] f52(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):[101,[103],106]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=1,X=1,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1,C>=F+3] f52(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):[101,[103],107]: 2+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2,it1=<1*S+ -1*F+ -1 with precondition: [M=1,O=1,X=1,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,S>=F+2,C>=S+1] f52(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):[101,[103],108]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=1,X=1,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1,C>=F+3] f52(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):[101,[103],109]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [A=0,M=1,N=0,O=1,X=1,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1,C>=F+3] f52(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):[101,104,[105],106]: 5+it1*(1) Such that:it1=<1*C+ -1*F+ -3,it1=<1*P+ -1*F+ -3 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1,C>=F+4] f52(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):[101,104,[105],107]: 4+it1*(1) Such that:it1=<1*C+ -1*F+ -3,it1=<1*P+ -1*F+ -3,it1=<1*S+ -1*F+ -2 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,S>=F+3,C>=S+1] f52(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):[101,104,[105],108]: 5+it1*(1) Such that:it1=<1*C+ -1*F+ -3,it1=<1*P+ -1*F+ -3 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1,C>=F+4] f52(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):[101,104,[105],109]: 5+it1*(1) Such that:it1=<1*C+ -1*F+ -3,it1=<1*P+ -1*F+ -3 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1,C>=F+4] f52(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):[101,104,106]: 5 with precondition: [M=0,O=0,X=0,C=F+3,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1] f52(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):[101,104,107]: 4 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,F+2=S,G=T,H=U,I=V,J=W,L=Y,0>=B+1,C>=F+3] f52(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):[101,104,108]: 5 with precondition: [M=0,O=0,X=0,C=F+3,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1] f52(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):[101,104,109]: 5 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=F+3,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1] f52(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):[101,106]: 3 with precondition: [M=0,O=1,X=1,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1] f52(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):[101,107]: 2 with precondition: [M=1,O=1,X=1,S=F+1,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,C>=S+1] f52(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):[101,108]: 3 with precondition: [M=0,O=1,X=1,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1] f52(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):[101,109]: 3 with precondition: [A=0,M=1,N=0,O=1,X=1,Y=1,C=F+2,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1] f52(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):[102,[105],106]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1,C>=F+3] f52(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):[102,[105],107]: 2+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2,it1=<1*S+ -1*F+ -1 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,S>=F+2,C>=S+1] f52(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):[102,[105],108]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1,C>=F+3] f52(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):[102,[105],109]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1,C>=F+3] f52(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):[102,106]: 3 with precondition: [M=0,O=0,X=0,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,0>=B+1] f52(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):[102,107]: 2 with precondition: [M=1,O=0,X=0,S=F+1,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,0>=B+1,C>=S+1] f52(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):[102,108]: 3 with precondition: [M=0,O=0,X=0,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=B+1,A>=1] f52(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):[102,109]: 3 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=F+2,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,0>=B+1] f52(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):[104,[105],106]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,B>=1,C>=F+3] f52(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):[104,[105],107]: 2+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2,it1=<1*S+ -1*F+ -1 with precondition: [M=1,O=0,X=0,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,B>=1,S>=F+2,C>=S+1] f52(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):[104,[105],108]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [M=0,O=0,X=0,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,B>=1,C>=F+3] f52(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):[104,[105],109]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2,it1=<1*P+ -1*F+ -2 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,B>=1,C>=F+3] f52(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):[104,106]: 3 with precondition: [M=0,O=0,X=0,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,0>=A+1,B>=1] f52(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):[104,107]: 2 with precondition: [M=1,O=0,X=0,S=F+1,A=N,C=P,D=Q,E=R,G=T,H=U,I=V,J=W,L=Y,B>=1,C>=S+1] f52(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):[104,108]: 3 with precondition: [M=0,O=0,X=0,C=F+2,A=N,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,L=Y,A>=1,B>=1] f52(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):[104,109]: 3 with precondition: [A=0,M=1,N=0,O=0,X=0,Y=1,C=F+2,C=P,D=Q,E=R,C=S+1,G=T,H=U,I=V,J=W,B>=1] Inferred cost of f63(A,B,C,D,E,F,G,H,I,J,K,L): f63(A,B,C,D,E,F,G,H,I,J,K,L):[111]: 1 with precondition: [0>=B+1] f63(A,B,C,D,E,F,G,H,I,J,K,L):[112]: 1 with precondition: [B>=1] f63(A,B,C,D,E,F,G,H,I,J,K,L):[113]: 1 with precondition: [B=0] Inferred cost of loop_cont_f52(A,B,C,D,E,F,G,H,I,J,K,L): loop_cont_f52(A,B,C,D,E,F,G,H,I,J,K,L):[115]: 1 with precondition: [0>=B+1] loop_cont_f52(A,B,C,D,E,F,G,H,I,J,K,L):[116]: 1 with precondition: [B>=1] loop_cont_f52(A,B,C,D,E,F,G,H,I,J,K,L):[117]: 1 with precondition: [B=0] Inferred cost of loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L): loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[119]: 2 with precondition: [0>=A+1,0>=B+1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[120]: 2 with precondition: [0>=A+1,B>=1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[121]: 2 with precondition: [B=0,0>=A+1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[122]: 2 with precondition: [0>=B+1,A>=1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[123]: 2 with precondition: [A>=1,B>=1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[124]: 2 with precondition: [B=0,A>=1,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[125]: 4+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it2=<1*C+ -1*F+ -1 with precondition: [0>=A+1,B>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[126]: 4+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it2=<1*C+ -1*F+ -1 with precondition: [A>=1,B>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[127]: 4+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1 with precondition: [0>=A+1,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[128]: 4+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1 with precondition: [A>=1,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[129]: 2+it1*(2) Such that:it1=<1*C+ -1*F+ -1 with precondition: [0>=A+1,B>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[130]: 2+it1*(2) Such that:it1=<1*C+ -1*F+ -1 with precondition: [A>=1,B>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[131]: 2+it1*(1) Such that:it1=<1*C+ -1*F+ -1 with precondition: [B=0,0>=A+1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[132]: 2+it1*(1) Such that:it1=<1*C+ -1*F+ -1 with precondition: [B=0,A>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[133]: 6+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it2=<1*C+ -1*F+ -2 with precondition: [0>=A+1,0>=B+1,C>=F+5] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[134]: 6+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it2=<1*C+ -1*F+ -2 with precondition: [0>=B+1,A>=1,C>=F+5] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[135]: 6+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2 with precondition: [0>=A+1,0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[136]: 6+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,A>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[137]: 4+it1*(2) Such that:it1=<1*C+ -1*F+ -2 with precondition: [0>=A+1,0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[138]: 4+it1*(2) Such that:it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,A>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[139]: 6+it1*(1) Such that:it1=<1*C+ -1*F+ -3 with precondition: [0>=A+1,0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[140]: 6+it1*(1) Such that:it1=<1*C+ -1*F+ -3 with precondition: [0>=B+1,A>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[141]: 6 with precondition: [F+3=C,0>=A+1,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[142]: 6 with precondition: [F+3=C,0>=B+1,A>=1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[143]: 4 with precondition: [F+2=C,0>=A+1,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[144]: 4 with precondition: [F+2=C,0>=B+1,A>=1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[145]: 4+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [0>=A+1,0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[146]: 4+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,A>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[147]: 4 with precondition: [F+2=C,0>=A+1,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[148]: 4 with precondition: [F+2=C,0>=B+1,A>=1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[149]: 4+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [0>=A+1,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[150]: 4+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [A>=1,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[151]: 4 with precondition: [F+2=C,0>=A+1,B>=1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[152]: 4 with precondition: [F+2=C,A>=1,B>=1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[153]: 0 with precondition: [] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[154]: 1 with precondition: [A=0,F+1>=C] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[155]: 2+it1*(1)+it2*(2) Such that:it1+it2=<-1*F+1*C+ -2,it1+it2=<1*C+ -1*F+ -2,it2=<1*C+ -1*F+ -1 with precondition: [B>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[156]: 3+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -2,it2=<1*C+ -1*F+ -1 with precondition: [A=0,B>=1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[157]: 2+it1*(2) Such that:it1=<-1*F+1*C+ -2,it1=<1*C+ -1*F+ -1 with precondition: [B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[158]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2,it1=<1*C+ -1*F+ -1 with precondition: [A=0,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[159]: 0+it1*(2) Such that:it1=<-1*F+1*C+ -1,it1=<1*C+ -1*F+ -1 with precondition: [B>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[160]: 1+it1*(2) Such that:it1=<1*C+ -1*F+ -1 with precondition: [A=0,B>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[161]: 0+it1*(1) Such that:it1=<-1*F+1*C+ -1,it1=<1*C+ -1*F+ -1 with precondition: [B=0,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[162]: 1+it1*(1) Such that:it1=<1*C+ -1*F+ -1 with precondition: [A=0,B=0,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[163]: 4+it1*(1)+it2*(2) Such that:it1+it2=<-1*F+1*C+ -3,it1+it2=<1*C+ -1*F+ -3,it2=<1*C+ -1*F+ -2 with precondition: [0>=B+1,C>=F+5] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[164]: 5+it1*(1)+it2*(2) Such that:it1+it2=<1*C+ -1*F+ -3,it2=<1*C+ -1*F+ -2 with precondition: [A=0,0>=B+1,C>=F+5] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[165]: 4+it1*(2) Such that:it1=<-1*F+1*C+ -3,it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[166]: 5+it1*(2) Such that:it1=<1*C+ -1*F+ -3,it1=<1*C+ -1*F+ -2 with precondition: [A=0,0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[167]: 2+it1*(2) Such that:it1=<-1*F+1*C+ -2,it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[168]: 3+it1*(2) Such that:it1=<1*C+ -1*F+ -2 with precondition: [A=0,0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[169]: 4+it1*(1) Such that:it1=<-1*F+1*C+ -3,it1=<1*C+ -1*F+ -3 with precondition: [0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[170]: 5+it1*(1) Such that:it1=<1*C+ -1*F+ -3 with precondition: [A=0,0>=B+1,C>=F+4] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[171]: 4 with precondition: [0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[172]: 5 with precondition: [A=0,F+3=C,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[173]: 2 with precondition: [0>=B+1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[174]: 3 with precondition: [A=0,F+2=C,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[175]: 2+it1*(1) Such that:it1=<-1*F+1*C+ -2,it1=<1*C+ -1*F+ -2 with precondition: [0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[176]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [A=0,0>=B+1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[177]: 2 with precondition: [0>=B+1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[178]: 3 with precondition: [A=0,F+2=C,0>=B+1] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[179]: 2+it1*(1) Such that:it1=<-1*F+1*C+ -2,it1=<1*C+ -1*F+ -2 with precondition: [B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[180]: 3+it1*(1) Such that:it1=<1*C+ -1*F+ -2 with precondition: [A=0,B>=1,C>=F+3] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[181]: 2 with precondition: [B>=1,C>=F+2] loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L):[182]: 3 with precondition: [A=0,F+2=C,B>=1]