warning: Ignored call to loop_cont_f1/7 in equation f0/7 
Inferred cost of f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O): 
f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[38]: 0
  with precondition: [H=1,N=F,O=G,A=I,B=J,C=K,D=L,E=M,3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,D>=0,E>=0] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[34],38]: 0+it1*(3)
  Such that:it1=<3,it1=<1*M,it1=<1*O,it1=<1*O+ -1*E,it1=<2*A+1,it1=<2*I+1,it1=<1/2*D+5/4,it1=<1/2*I+3/2,it1=<1/2*L+2,it1=<1/2*L+5/4,it1=<1/2*N+2,it1=<1/2*N+5/4,it1=<1/4*B+7/4,it1=<1/4*J+7/4,it1=<-1*O+5/2*I+5/2,it1=<1/2*A+ -1*E+3/2,it1=<1/2*I+ -1*E+3/2,it1=<1/2*I+1/2*N+ -1/4,it1=<-1*O+1/2*N+5/2*I+3/4,it1=<1/2*A+1/2*N+ -1*E+ -1/4,it1=<1/2*I+1/2*N+ -1*E+ -1/4
  with precondition: [H=1,B+2=2*D,B+2=2*L,B+2=2*N,A=I,B=J,C=K,M=O,3>=A,3>=B,3>=C,B>=0,E>=0,M>=E+1,B+2*A+4>=4*M,E+2*A+1>=M] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[35],38]: 0+it1*(3)
  Such that:it1=<2,it1=<-1*M+3,it1=<-1*O+3,it1=<1*E+ -1*O,it1=<-1/2*D+3,it1=<-1/2*D+5/2,it1=<-1/2*D+9/4,it1=<-1/2*L+3,it1=<-1/2*L+5/2,it1=<-1/2*L+9/4,it1=<-1/2*N+3,it1=<-1/2*N+5/2,it1=<-1/2*N+9/4,it1=<-1/4*B+2,it1=<-1/4*B+7/4,it1=<-1/4*J+2,it1=<-1/4*J+5/2,it1=<-1/4*J+7/4,it1=<-1/2*A+ -1/2*N+3,it1=<-1/2*I+ -1/2*N+3,it1=<-1/2*I+ -1/2*N+5/2,it1=<-1/2*I+ -1/2*N+9/4,it1=<1*E+ -1/2*A+ -1/2*N+ -3/4,it1=<1*E+ -1/2*A+ -1/2*N+ -1/2,it1=<1*E+ -1/2*I+ -1/2*N+ -3/4,it1=<1*E+ -1/2*I+ -1/2*N+ -1/2,it1=<7/4
  with precondition: [H=1,2*L=B+2,L=D,A=I,2*L=J+2,C=K,L=N,M=O,3>=C,3>=E,A>=0,L>=1,E>=M+1,M+6>=2*L+E,2*M>=A+L] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[36],38]: 0+it1*(3)
  Such that:it1=<3,it1=<1*M,it1=<1*O,it1=<1*O+ -1*E,it1=<1/2*D+5/4,it1=<1/2*I+3/2,it1=<1/2*L+2,it1=<1/2*L+5/4,it1=<1/2*N+2,it1=<1/2*N+5/4,it1=<1/4*B+2,it1=<1/4*J+2,it1=<2/3*A+2/3*N,it1=<2/3*I+2/3*N,it1=<1/2*A+ -1*E+3/2,it1=<1/2*I+ -1*E+3/2,it1=<1/2*I+1/2*N+ -1/4,it1=<-1*O+2/3*N+7/6*I+3/2,it1=<-1*O+7/6*I+7/6*N+ -1/4,it1=<1/2*A+1/2*N+ -1*E+ -1/4,it1=<1/2*I+1/2*N+ -1*E+ -1/4
  with precondition: [H=1,2*L=B+3,L=D,A=I,2*L=J+3,C=K,L=N,M=O,3>=A,3>=C,3>=L,A>=0,E>=0,2*L>=3,M>=E+1,A+L+1>=2*M,2*A+2*L+3*E>=3*M] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[37],38]: 0+it1*(3)
  Such that:it1=<-1*M+3,it1=<-1*O+3,it1=<1*E+ -1*O,it1=<-1/2*D+3,it1=<-1/2*D+5/2,it1=<-1/2*D+9/4,it1=<-1/2*L+3,it1=<-1/2*L+5/2,it1=<-1/2*L+9/4,it1=<-1/2*N+3,it1=<-1/2*N+5/2,it1=<-1/2*N+9/4,it1=<-1/4*B+3/2,it1=<-1/4*B+7/4,it1=<-1/4*J+3/2,it1=<-1/4*J+7/4,it1=<-1/4*J+9/4,it1=<-1/2*A+ -1/2*N+3,it1=<-1/2*I+ -1/2*N+3,it1=<-1/2*I+ -1/2*N+5/2,it1=<-1/2*I+ -1/2*N+9/4,it1=<1*E+ -1/2*A+ -1/2*N+ -3/4,it1=<1*E+ -1/2*A+ -1/2*N+ -1/2,it1=<1*E+ -1/2*I+ -1/2*N+ -3/4,it1=<1*E+ -1/2*I+ -1/2*N+ -1/2,it1=<3/2,it1=<7/4
  with precondition: [H=1,2*L=B+3,L=D,A=I,2*L=J+3,C=K,L=N,M=O,3>=C,3>=E,A>=0,2*L>=3,E>=M+1,2*M>=A+L,M+4>=E+L] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[22,23,26],[34],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<1*M,it1=<1*O,it1=<1*M+ -1/4,it1=<1*O+ -1/3*A,it1=<1*O+ -1/3*I,it1=<1*O+ -1/4*B,it1=<1*O+ -1/4*J,it1=<1*O+ -1/4,it1=<-1/2*D+1*O,it1=<-1/2*L+7/2,it1=<-1/2*N+7/2,it1=<-1/3*A+1*O,it1=<-1/3*I+1*O,it1=<-1/4*B+3,it1=<-1/4*J+3,it1=<-1/4*J+3/2*O,it1=<1/2*A+1/4,it1=<1/2*I+1,it1=<1/2*I+1/4,it1=<1/2*L+1/4,it1=<1/2*M+1,it1=<1/2*M+1/2,it1=<1/2*N+1/4,it1=<1/2*O+1,it1=<1/2*O+1/2,it1=<1/3*M+7/6,it1=<1/3*O+7/6,it1=<1/4*B+3/4,it1=<1/4*I+11/8,it1=<1/4*J+3/4,it1=<1/4*L+2,it1=<1/4*N+2,it1=<1/6*A+3/2,it1=<1/6*I+3/2,it1=<1/6*I+7/4,it1=<1/8*B+9/4,it1=<1/8*J+9/4,it1=<3/2*M+ -5/4,it1=<3/2*O+ -5/4,it1=<-1*E+1/2*I+1*O,it1=<1*O+ -1/2*L+1/2,it1=<1*O+ -1/2*N+1/2,it1=<-2/3*E+1/3*D+1*O,it1=<-1/2*L+3/2*O+1/2,it1=<-1/2*N+1*O+1/2,it1=<-1/2*N+1/2*A+2,it1=<-1/2*N+1/2*I+2,it1=<-1/2*N+3/2*O+1/2,it1=<1/2*A+ -1/2*N+2,it1=<1/2*I+ -1/2*N+2,it1=<1/2*L+1/2*O+ -3/4,it1=<1/2*N+1/2*O+ -3/4,it1=<1/2*N+1/6*A+ -1/4,it1=<1/2*N+1/6*I+ -1/4,it1=<1/2*O+1/4*B+ -1/4,it1=<1/2*O+1/4*J+ -1/4,it1=<1/3*L+1/3*O+1/3,it1=<1/3*N+1/3*O+1/3,it1=<1/3*O+1/6*B+2/3,it1=<1/3*O+1/6*J+2/3,it1=<1/4*A+1/4*N+5/4,it1=<1/4*B+1/2*O+ -1/4,it1=<1/4*I+1/4*N+5/4,it1=<1/4*J+1/2*O+ -1/4,it1=<1/6*A+1/2*N+ -1/4,it1=<1/6*B+1/3*O+2/3,it1=<1/6*I+1/2*N+ -1/4,it1=<1/6*J+1/3*O+2/3,it1=<-2/3*E+1/3*N+1*O+ -1/3,it1=<3/2,it1=<7/4,it1=<21/8,it2=<3,it2=<1*L,it2=<1*N,it2=<-1*D+3,it2=<1*N+ -1*D,it2=<1/2*B+1,it2=<1/2*J+1,it2=<-2*E+1*A+3,it2=<-2*E+1*A+1*N,it2=<-2*E+1*I+3,it2=<-2*E+1*I+1*N
  with precondition: [H=1,2*L=B+2,A=I,2*L=J+2,C=K,L=N,M=O,5>=2*L,3>=A,3>=C,D>=0,E>=0,L>=D+1,A+D>=2*E,E+3*M>=2*L+1,A+L+1>=2*M,E+L+1>=M,9*M>=5*E+2*A+2*L+7,2*D+9*M>=3*A+3*E+2*L+7] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[22,23,26],[36],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<1*M,it1=<1*O,it1=<1*M+ -1/4,it1=<1*O+ -1/4,it1=<2*M+ -9/4,it1=<2*O+ -9/4,it1=<-1/2*D+1*O,it1=<-1/2*L+7/2,it1=<-1/2*N+7/2,it1=<-1/4*B+11/4,it1=<-1/4*J+11/4,it1=<1/2*A+1,it1=<1/2*A+1/4,it1=<1/2*I+1,it1=<1/2*I+1/4,it1=<1/2*I+7/4,it1=<1/2*L+2,it1=<1/2*L+1/4,it1=<1/2*N+2,it1=<1/2*N+1/4,it1=<1/4*A+5/4,it1=<1/4*B+1,it1=<1/4*B+11/4,it1=<1/4*I+5/4,it1=<1/4*J+1,it1=<1/4*J+11/4,it1=<1*O+3*E+ -1,it1=<1*O+ -1/2*L+1/2,it1=<1*O+ -1/2*N+1/2,it1=<1*O+ -1/4*A+ -1/4,it1=<1*O+ -1/4*B+ -1/4,it1=<1*O+ -1/4*I+ -1/4,it1=<1*O+ -1/4*J+ -1/4,it1=<1*O+1/2*L+ -7/4,it1=<1*O+1/2*N+ -7/4,it1=<1*O+1/4*B+ -1,it1=<1*O+1/4*J+ -1,it1=<-1/2*L+1*O+1/2,it1=<-1/2*L+2*O+ -1/2,it1=<-1/2*L+1/2*A+2,it1=<-1/2*L+1/2*I+2,it1=<-1/2*N+1*O+1/2,it1=<-1/2*N+1/2*I+2,it1=<-1/4*A+1*O+ -1/4,it1=<-1/4*B+1*O+ -1/4,it1=<-1/4*B+2*O+ -5/4,it1=<-1/4*I+1*O+ -1/4,it1=<-1/4*J+2*O+ -5/4,it1=<1/2*A+ -1/4*J+5/4,it1=<1/2*A+1/2*N+1/2,it1=<1/2*D+1*O+ -1/2,it1=<1/2*I+3*E+1/2,it1=<1/2*I+ -1/2*L+2,it1=<1/2*I+1/2*N+1/2,it1=<1/2*L+1*O+ -7/4,it1=<1/2*N+1*O+ -7/4,it1=<1/2*N+1/4*A+ -1/2,it1=<1/2*N+1/4*I+ -1/2,it1=<1/4*A+1/2*N+ -1/2,it1=<1/4*B+1*O+ -1,it1=<1/4*I+1/2*N+ -1/2,it1=<1/8*B+1/2*O+3/8,it1=<1/8*J+1/2*O+3/8,it1=<3/2*D+2*A+1/2,it1=<3/2*D+2*I+1/2,it1=<-1/2*E+1/4*D+1*O+ -1/4,it1=<-1/2*E+1/8*J+1*O+ -1/8,it1=<1/2*I+1/2*N+3*E+ -5/4,it1=<1/2*N+3/2*D+2*A+ -5/4,it1=<1/2*N+3/2*D+2*I+ -5/4,it1=<7/2,it1=<7/4,it2=<3,it2=<1*L,it2=<-1*D+3,it2=<1*B+1,it2=<1*L+1,it2=<1*L+ -1*D,it2=<1*N+ -1/2,it2=<2*L+ -2,it2=<2*N+ -5/2,it2=<1/2*B+3/2,it2=<-2*E+1*A+3,it2=<-2*E+1*A+1*L,it2=<-2*E+1*I+3,it2=<1/2*B+ -1*D+1,it2=<1/2*J+ -1*D+1,it2=<-2*E+1*A+1*N+ -1/2,it2=<-2*E+1*I+1*N+ -1/2,it2=<-2*E+1/2*B+1*I+3/2
  with precondition: [H=1,B+3=2*L,B+3=2*N,A=I,B=J,C=K,M=O,3>=A,3>=B,3>=C,D>=0,E>=0,B+1>=2*D,4*M>=B+5,B+2*D>=1,M+3*E>=2,B+2*A+5>=4*M,A+D>=2*E,10*M>=6*E+2*A+B+11,2*D+35*M>=15*E+10*A+B+41,2*D+6*E+14*M>=3*A+B+20] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[22,23,26],38]: 0+it1*(3)
  Such that:it1=<3,it1=<1*N,it1=<-1*D+3,it1=<1*B+1,it1=<1*J+1,it1=<1*N+ -1*D,it1=<1/2*B+1,it1=<1/2*J+1,it1=<-2*E+1*A+3,it1=<-2*E+1*A+1*N,it1=<-2*E+1*I+3,it1=<-2*E+1*I+1*N,it1=<-1*L+1*B+4,it1=<-1*L+1*J+4,it1=<-1*N+3/2*B+2,it1=<-1*N+3/2*J+2,it1=<1/2*J+ -1*D+1,it1=<-2*E+1/2*B+1*A+1,it1=<-2*E+1/2*B+1*I+1
  with precondition: [H=1,A=I,B=J,C=K,L=N,M=O,3>=A,3>=B,3>=C,A>=0,D>=0,E>=0,B+3>=2*L,L>=D+1,2*M+1>=L,A+D>=2*E,A+L>=2*M,B+D+1>=L,A+E+1>=M,5*M+1>=3*E+A+L,B+M+3*E+2>=2*L,E+L>=D+M,A+L>=E+M+1,3*D+15*M+3>=5*A+5*E+3*L,2*D+5*B+35*M+12>=15*E+12*L+10*A,2*D+5*B+6*E+14*M+12>=12*L+3*A,3*B+3*D+5*M+11*E+7>=7*L+A] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[34],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*E+4,it1=<-1*M+4,it1=<-1*O+4,it1=<-1/2*L+2,it1=<-1/2*L+7/2,it1=<-1/2*N+2,it1=<-1/2*N+7/2,it1=<-1/4*B+3/2,it1=<-1/4*J+3/2,it1=<-1*E+1*N+3,it1=<-1/2*A+ -1/2*N+7/2,it1=<-1/2*E+1/2*O+3/2,it1=<-1/2*I+ -1/2*N+7/2,it1=<1/2*A+ -1*O+5/2,it1=<1/2*I+ -1*O+5/2,it1=<1*N+ -1*D+ -1*E+3,it1=<1/2*O+ -1/2*D+ -1/2*E+3/2,it1=<1/4,it2=<3,it2=<1*E,it2=<1*L,it2=<1*N,it2=<-1*O+4,it2=<1*N+ -1*D,it2=<1/2*L+2,it2=<1/2*N+2,it2=<-1*O+1/2*L+3,it2=<-1*O+1/2*N+3,it2=<1*E+ -1*O+1,it2=<1*E+ -1/3*N+ -1/3*O,it2=<1*L+1*O+ -1,it2=<1*N+1*O+ -1,it2=<-1/3*L+ -1/3*O+3,it2=<-1/3*N+ -1/3*O+3,it2=<-1/3*O+ -1/6*J+8/3,it2=<-1/3*O+1/6*L+2,it2=<-1/3*O+1/6*N+2,it2=<2/3*L+2/3*O+ -1,it2=<2/3*N+2/3*O+ -1,it2=<1*N+1*O+ -1*D+ -1,it2=<2/3*N+2/3*O+ -1*D+ -1
  with precondition: [H=1,2*L=B+2,A=I,2*L=J+2,C=K,L=N,A+L+1=2*M,A+L+1=2*O,A+3*L=2*D+2*E+1,5>=2*L,3>=C,3>=E,A>=0,L+4>=2*E,A+3*L>=2*E+1,2*E>=A+L+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[35],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*M+2,it1=<-1*O+2,it1=<-1/2*D+1,it1=<-1/2*D+3/2,it1=<-1/2*D+3/4,it1=<-1/2*L+2,it1=<-1/2*L+3/2,it1=<-1/2*L+5/4,it1=<-1/2*N+2,it1=<-1/2*N+3/2,it1=<-1/2*N+5/4,it1=<-1/4*B+1,it1=<-1/4*B+3/2,it1=<-1/4*B+3/4,it1=<-1/4*J+1,it1=<-1/4*J+3/2,it1=<-1/4*J+3/4,it1=<-1*O+1*E+ -1,it1=<-1/2*A+ -1/2*L+2,it1=<-1/2*A+ -1/2*L+5/4,it1=<-1/2*A+ -1/2*N+2,it1=<-1/2*A+ -1/2*N+3/2,it1=<-1/2*I+ -1/2*N+2,it1=<-1/2*I+ -1/2*N+3/2,it1=<-1/2*I+ -1/2*N+5/4,it1=<-1/4*B+ -1/2*I+3/2,it1=<-1/4*B+ -1/2*I+3/4,it1=<-1/4*J+ -1/2*I+3/2,it1=<-1/4*J+ -1/2*I+3/4,it1=<1*D+1*E+ -1*L+ -1*O,it1=<-1/2*I+ -1/2*N+1*E+ -7/4,it1=<-1/2*I+ -1/2*N+1*E+ -3/2,it1=<1*D+1*E+ -1/2*A+ -3/2*N+ -3/4,it1=<1*D+1*E+ -1/2*A+ -3/2*N+ -1/2,it1=<1*D+1*E+ -1/2*B+ -1*O+ -1,it1=<1*D+1*E+ -1/2*I+ -3/2*N+ -3/4,it1=<1*D+1*E+ -1/2*I+ -3/2*N+ -1/2,it1=<3/2,it1=<3/4,it2=<3,it2=<1*E,it2=<1*L,it2=<1*N,it2=<-1*O+2,it2=<1*L+ -1*D,it2=<1/2*J+1,it2=<2/3*E+ -1/3,it2=<-1*O+1*E+ -1,it2=<-1/3*L+ -1/3*O+7/3,it2=<-1/3*N+ -1/3*O+7/3,it2=<-1/3*O+ -1/6*J+2,it2=<1/2*B+ -1*D+1,it2=<2/3*E+ -1/3*D+ -1/3,it2=<-1/3*N+ -1/3*O+1*E+ -2/3,it2=<5/3
  with precondition: [H=1,B=2*D,B+2=2*L,B+2=2*N,A=I,B=J,C=K,M=O,3>=C,3>=E,A>=0,B>=0,E>=M+2,4*M>=2*A+B+2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[36],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*E+4,it1=<-1*M+4,it1=<-1*O+4,it1=<-1/2*L+2,it1=<-1/2*N+2,it1=<-1/2*N+7/2,it1=<-1/4*B+5/4,it1=<-1/4*J+5/4,it1=<-1*E+1*N+3,it1=<-1*E+2*N+1,it1=<-1/2*A+ -1/2*N+7/2,it1=<-1/2*E+1/2*O+3/2,it1=<-1/2*I+ -1/2*N+7/2,it1=<1/2*A+ -1*O+5/2,it1=<1/2*I+ -1*O+5/2,it1=<1*N+ -1*D+ -1*E+3,it1=<1/2*O+ -1/2*D+ -1/2*E+3/2,it1=<1/4,it2=<3,it2=<1*E,it2=<1*N,it2=<-1*O+4,it2=<1*N+ -1*D,it2=<2*N+ -2,it2=<-1/2*A+5/2,it2=<1/2*N+2,it2=<-2*A+4*O+ -4,it2=<-2*A+5*O+ -5,it2=<-1*A+3*O+ -2,it2=<-1*O+1/2*N+3,it2=<1*E+ -1*O+1,it2=<1*E+ -1/3*N+ -1/3*O,it2=<1*N+1*O+ -1,it2=<1*O+2*N+ -3,it2=<-1/3*L+ -1/3*O+3,it2=<-1/3*N+ -1/3*O+3,it2=<-1/3*O+1/6*L+2,it2=<-1/3*O+1/6*N+2,it2=<2/3*L+2/3*O+ -1,it2=<2/3*N+2/3*O+ -1,it2=<2/3*O+5/3*N+ -3,it2=<1*N+1*O+ -1*D+ -1,it2=<2/3*N+2/3*O+ -1*D+ -1
  with precondition: [H=1,2*L=B+3,A=I,2*L=J+3,C=K,L=N,A+L+1=2*M,A+L+1=2*O,A+3*L=2*D+2*E+1,3>=C,3>=E,3>=L,A>=0,L+4>=2*E,A+3*L>=2*E+1,A+5*L>=2*E+5,2*E>=A+L+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[37],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<-1*M+2,it1=<-1*O+2,it1=<-1/2*D+1,it1=<-1/2*D+3/2,it1=<-1/2*D+3/4,it1=<-1/2*L+2,it1=<-1/2*L+3/2,it1=<-1/2*L+5/4,it1=<-1/2*N+2,it1=<-1/2*N+3/2,it1=<-1/2*N+5/4,it1=<-1/4*B+1/2,it1=<-1/4*B+3/4,it1=<-1/4*B+5/4,it1=<-1/4*J+1/2,it1=<-1/4*J+3/4,it1=<-1/4*J+5/4,it1=<1/2*D+1,it1=<1/2*D+1/2,it1=<1/2*D+1/4,it1=<-1*O+1*E+ -1,it1=<-1/2*A+ -1/2*L+2,it1=<-1/2*A+ -1/2*L+3/2,it1=<-1/2*A+ -1/2*N+2,it1=<-1/2*A+ -1/2*N+5/4,it1=<-1/2*I+ -1/2*L+3/2,it1=<-1/2*I+ -1/2*N+2,it1=<-1/2*I+ -1/2*N+5/4,it1=<-1/4*B+ -1/2*I+3/4,it1=<-1/4*B+ -1/2*I+5/4,it1=<-1/4*J+ -1/2*I+3/4,it1=<-1/4*J+ -1/2*I+5/4,it1=<1*D+1*E+ -1*L+ -1*O,it1=<-1/2*I+ -1/2*L+1*E+ -3/2,it1=<-1/2*I+ -1/2*N+1*E+ -7/4,it1=<1*D+1*E+ -1/2*A+ -3/2*L+ -1/2,it1=<1*D+1*E+ -1/2*A+ -3/2*N+ -3/4,it1=<1*D+1*E+ -1/2*B+ -1*O+ -3/2,it1=<1*D+1*E+ -1/2*I+ -3/2*L+ -1/2,it1=<1*D+1*E+ -1/2*I+ -3/2*N+ -3/4,it1=<1*D+1*E+ -1/2*I+ -3/4*B+ -11/4,it1=<1/2,it1=<3/4,it1=<5/4,it2=<3,it2=<1*E,it2=<-1*O+2,it2=<1*J+1,it2=<1*L+ -1*D,it2=<2*L+ -2,it2=<1/3*L+1,it2=<1/3*N+1,it2=<1/6*J+3/2,it2=<-1*O+1*E+ -1,it2=<-1/3*L+ -1/3*O+7/3,it2=<-1/3*N+ -1/3*O+7/3,it2=<-1/3*O+ -1/6*J+11/6,it2=<1/2*B+ -1*D+3/2,it2=<1/3*L+2/3*E+ -1,it2=<2/3*E+ -1/3*D+ -1/3,it2=<-1/3*L+ -1/3*O+1*E+ -2/3
  with precondition: [H=1,B+1=2*D,B+3=2*L,B+3=2*N,A=I,B=J,C=K,M=O,3>=C,3>=E,A>=0,B>=0,E>=M+2,4*M>=2*A+B+3] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[22,23,26],[34],38]: 0+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<2,it1=<1*E,it1=<1*M,it1=<1*O,it1=<1*E+ -3/4,it1=<1*M+ -1/2,it1=<1*M+ -1/4,it1=<1*O+ -1/3*A,it1=<1*O+ -1/3*I,it1=<1*O+ -1/4*B,it1=<1*O+ -1/4*J,it1=<1*O+ -1/2,it1=<1*O+ -1/4,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*L+7/2,it1=<-1/2*N+4,it1=<-1/2*N+7/2,it1=<-1/4*B+3,it1=<-1/4*J+3,it1=<1/2*A+1,it1=<1/2*A+1/2*N,it1=<1/2*A+1/4,it1=<1/2*A+3/4,it1=<1/2*E+7/8,it1=<1/2*I+1,it1=<1/2*I+1/2*N,it1=<1/2*I+1/4,it1=<1/2*I+3/4,it1=<1/2*L+1/4,it1=<1/2*M+1,it1=<1/2*M+1/2,it1=<1/2*M+7/4,it1=<1/2*N+2,it1=<1/2*N+1/4,it1=<1/2*N+3/2,it1=<1/2*N+5/12,it1=<1/2*N+7/4,it1=<1/2*O+1,it1=<1/2*O+1/2,it1=<1/2*O+5/4,it1=<1/2*O+7/4,it1=<1/2*O+7/6,it1=<1/3*E+7/6,it1=<1/3*E+17/12,it1=<1/3*M+7/6,it1=<1/3*O+7/6,it1=<1/4*A+11/8,it1=<1/4*B+3/4,it1=<1/4*I+11/8,it1=<1/4*J+3/4,it1=<1/4*L+2,it1=<1/4*N+2,it1=<1/4*N+3/2,it1=<1/4*N+9/4,it1=<1/6*A+3/2,it1=<1/6*A+5/3,it1=<1/6*A+7/4,it1=<1/6*I+3/2,it1=<1/6*I+5/3,it1=<1/6*I+7/4,it1=<1/6*N+11/6,it1=<1/8*B+9/4,it1=<1/8*J+9/4,it1=<3/2*M+ -5/4,it1=<3/2*O+ -1/4*B,it1=<3/2*O+ -1/4*J,it1=<3/2*O+ -5/4,it1=<3/2*O+ -3/4,it1=<3/2*O+ -1/2,it1=<3/4*N+7/4,it1=<3/4*O+5/8,it1=<-1*O+1/2*I+4,it1=<1*O+ -1/2*L+1/2,it1=<1*O+ -1/2*N+1/2,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*O+ -1/2,it1=<-1/2*D+3/2*O+ -1/2,it1=<-1/2*L+1*E+1,it1=<-1/2*L+3/2*O+1/2,it1=<-1/2*N+1*E+1,it1=<-1/2*N+1/2*A+5/2,it1=<-1/2*N+1/2*I+5/2,it1=<-1/2*N+3/2*O+1,it1=<-1/3*A+1*O+1/3,it1=<-1/3*E+1/6*I+3,it1=<-1/3*E+1/6*I+1*O,it1=<-1/3*E+1/6*I+3/2*O,it1=<-1/3*I+1*O+1/3,it1=<-1/4*D+1/2*E+7/8,it1=<-1/6*D+1/3*E+7/6,it1=<-1/6*D+1/3*E+17/12,it1=<1/2*A+ -1/4*J+3/2,it1=<1/2*A+1/2*N+1/2,it1=<1/2*A+1/2*N+1/4,it1=<1/2*I+ -1/2*L+2,it1=<1/2*I+1/2*N+1/2,it1=<1/2*I+1/2*N+1/4,it1=<1/2*I+1/2*O+1,it1=<1/2*L+1/2*O+ -3/4,it1=<1/2*L+1/6*I+ -1/4,it1=<1/2*N+1*E+ -1,it1=<1/2*N+1*E+ -3/4,it1=<1/2*N+1*E+ -1/2,it1=<1/2*N+1/2*O+ -7/12,it1=<1/2*N+1/2*O+ -3/4,it1=<1/2*O+1/4*B+ -1/4,it1=<1/2*O+1/4*J+ -1/4,it1=<1/3*E+1/2*L+ -7/12,it1=<1/3*E+1/2*N+ -7/12,it1=<1/3*L+1/3*O+1/3,it1=<1/3*N+1/3*O+1/3,it1=<1/3*O+1/6*B+2/3,it1=<1/3*O+1/6*J+2/3,it1=<1/4*A+1/4*N+3/2,it1=<1/4*A+1/4*N+3/4,it1=<1/4*A+1/4*N+5/4,it1=<1/4*I+1/4*N+3/2,it1=<1/4*I+1/4*N+3/4,it1=<1/4*I+1/4*N+5/4,it1=<1/4*J+1/6*A+1/4,it1=<1/4*N+1/2*E+1/4,it1=<1/4*N+1/2*E+3/4,it1=<1/4*N+3/4*O+1/2,it1=<1/4*N+3/4*O+3/4,it1=<1/6*A+1/2*N+ -1/12,it1=<1/6*A+1/6*N+4/3,it1=<1/6*B+1/3*O+2/3,it1=<1/6*I+1/2*N+ -1/12,it1=<1/6*I+1/6*N+4/3,it1=<1/6*N+1/3*E+1,it1=<3/2*O+ -1/2*L+1/2,it1=<3/2*O+ -1/2*N+1/2,it1=<3/4*A+3/4*N+ -1/2,it1=<3/4*I+3/4*N+ -1/2,it1=<3/4*N+3/2*E+ -2,it1=<-3/4*D+3/4*N+3/2*E+ -2,it1=<-2/3*E+1*N+1*O+ -1,it1=<-1/2*D+ -1/2*L+1*E+1,it1=<-1/2*D+ -1/2*N+1*E+1,it1=<-1/2*D+1/2*N+1*E+ -1,it1=<-1/2*D+1/2*N+1*E+ -3/4,it1=<-1/2*D+1/2*N+1*E+ -1/2,it1=<-1/3*D+ -1/3*E+1/6*A+1*O,it1=<-1/3*D+ -1/3*E+1/6*I+3,it1=<-1/3*D+ -1/3*E+1/6*I+1*O,it1=<-1/3*D+ -1/3*E+1/6*I+3/2*O,it1=<-1/4*D+1/4*N+1/2*E+1/4,it1=<-1/4*D+1/4*N+1/2*E+3/4,it1=<-1/6*D+1/3*E+1/2*L+ -7/12,it1=<-1/6*D+1/3*E+1/2*N+ -7/12,it1=<-1/6*D+1/6*N+1/3*E+1,it1=<-2/3*D+ -2/3*E+1*N+1*O+ -1,it1=<-2/3*E+ -1/2*A+1/3*D+1*O+5/2,it1=<-2/3*E+ -1/2*I+1/3*D+1*O+5/2,it1=<-2/3*E+ -1/3*I+1/3*N+1*O+4/3,it1=<3/2,it1=<5/2,it1=<7/4,it1=<9/4,it1=<13/6,it1=<17/8,it1=<21/8,it2=<2,it2=<1/2*B,it2=<1/2*J,it2=<-2*E+8,it2=<-1*D+2,it2=<1*L+ -1,it2=<1*N+ -1,it2=<2*M+ -2,it2=<2*O+ -2,it2=<-2*E+1*N+5,it2=<-1*D+1*N+ -1,it2=<-2/3*E+1/3*I+3,it2=<-2/3*E+1/3*I+1*N,it2=<-2/3*E+1/3*I+11/3,it2=<-2*E+1*I+2*N+1,it2=<-2*E+1*I+3*N+ -2,it2=<-2/3*D+ -2/3*E+1/3*A+3,it2=<-2/3*D+ -2/3*E+1/3*A+1*N,it2=<-2/3*D+ -2/3*E+1/3*A+11/3,it2=<-2/3*D+ -2/3*E+1/3*I+3,it2=<-2/3*D+ -2/3*E+1/3*I+1*N,it2=<-2/3*D+ -2/3*E+1/3*I+11/3,it2=<-2/3*E+1/3*I+1*N+2/3,it2=<-2*D+ -2*E+1*A+2*N+1,it2=<-2*D+ -2*E+1*A+3*N+ -2,it2=<-2*D+ -2*E+1*I+2*N+1,it2=<-2*D+ -2*E+1*I+3*N+ -2,it2=<-2/3*D+ -2/3*E+1/3*A+1*N+2/3,it2=<-2/3*D+ -2/3*E+1/3*I+1*N+2/3,it2=<3/2,it3=<3,it3=<1*E,it3=<1*N+ -1,it3=<-1/2*A+5/2,it3=<-1/2*I+5/2,it3=<2/3*E+ -1/3,it3=<-1*D+1*N+ -1,it3=<1*L+1*O+ -7/3,it3=<1*N+1*O+ -7/3,it3=<-1/3*I+2/3*E+1/3,it3=<1/2*I+3/2*N+ -3/2,it3=<1/3*A+1*N+ -4/3,it3=<1/3*I+1*N+ -4/3,it3=<2/3*E+ -1/3*D+ -1/3,it3=<3/2*N+3/2*O+ -3,it3=<-1*D+1/2*A+3/2*N+ -3/2,it3=<-1*D+1/2*I+3/2*N+ -3/2,it3=<-1/3*A+ -1/3*D+2/3*E+1/3,it3=<-1/3*D+ -1/3*I+2/3*E+1/3,it3=<5/3
  with precondition: [H=1,2*L=B+2,A=I,2*L=J+2,C=K,L=N,M=O,5>=2*L,3>=A,3>=C,3>=E,D>=0,L>=D+2,A+D+3>=2*E,E+3*M>=2*L+2,A+L+1>=2*M,2*E>=A+D+2,9*M>=5*E+2*A+2*L+2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[22,23,26],[36],38]: 0+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<2,it1=<8,it1=<1*E,it1=<1*M,it1=<1*O,it1=<1*E+ -3/4,it1=<1*E+3/4,it1=<1*M+ -1/2,it1=<1*M+ -1/4,it1=<1*M+3/2,it1=<1*N+7/4,it1=<1*O+5,it1=<1*O+ -1/2,it1=<1*O+ -1/4,it1=<1*O+1/4,it1=<1*O+3/2,it1=<2*M+ -9/4,it1=<2*O+ -9/4,it1=<2*O+ -7/4,it1=<2*O+ -3/2,it1=<2*O+ -3/4,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*L+7/2,it1=<-1/2*N+4,it1=<-1/2*N+2*O,it1=<-1/2*N+7/2,it1=<-1/4*A+1*O,it1=<-1/4*B+11/4,it1=<-1/4*I+1*O,it1=<-1/4*J+11/4,it1=<1/2*A+1,it1=<1/2*A+1*O,it1=<1/2*A+1/4,it1=<1/2*A+3/4,it1=<1/2*A+7/4,it1=<1/2*E+3/4,it1=<1/2*I+1,it1=<1/2*I+1*O,it1=<1/2*I+1/2*N,it1=<1/2*I+1/4,it1=<1/2*I+3/4,it1=<1/2*I+7/4,it1=<1/2*I+13/2,it1=<1/2*L+2,it1=<1/2*L+1/4,it1=<1/2*M+3/4,it1=<1/2*N+2,it1=<1/2*N+1/2,it1=<1/2*N+1/4,it1=<1/2*N+5/2,it1=<1/2*N+7/4,it1=<1/2*N+25/4,it1=<1/2*O+1/4*L,it1=<1/2*O+1/4*N,it1=<1/2*O+3/4,it1=<1/4*A+3/2,it1=<1/4*A+5/4,it1=<1/4*B+1,it1=<1/4*B+11/4,it1=<1/4*I+3/2,it1=<1/4*I+5/4,it1=<1/4*I+7/4,it1=<1/4*J+1,it1=<1/4*J+11/4,it1=<-1*O+1/2*A+4,it1=<-1*O+1/2*I+4,it1=<1*A+1*N+ -5/4,it1=<1*I+1*N+ -5/4,it1=<1*N+2*E+ -13/4,it1=<1*O+3*E+ -4,it1=<1*O+ -1/2*L+1/2,it1=<1*O+ -1/2*N+1/2,it1=<1*O+ -1/4*A+ -1/4,it1=<1*O+ -1/4*B+ -1/4,it1=<1*O+ -1/4*I+ -1/4,it1=<1*O+ -1/4*J+ -1/4,it1=<1*O+1/2*L+ -7/4,it1=<1*O+1/2*N+ -7/4,it1=<1*O+1/4*B+ -1,it1=<1*O+1/4*J+ -1,it1=<2*A+2*N+ -11/4,it1=<2*I+2*N+ -11/4,it1=<2*O+ -1/2*L+ -1/2,it1=<2*O+ -1/2*N+ -1/2,it1=<2*O+ -1/4*B+ -5/4,it1=<2*O+ -1/4*J+ -5/4,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*E+3/4,it1=<-1/2*D+1*O+ -1/2,it1=<-1/2*D+2*O+ -3/2,it1=<-1/2*L+1*E+1,it1=<-1/2*L+2*O+ -1/2,it1=<-1/2*L+1/2*I+5/2,it1=<-1/2*N+1/2*I+5/2,it1=<-1/3*E+1/6*I+1*O,it1=<-1/4*D+1/2*E+3/4,it1=<-1/4*J+1*E+1/4,it1=<-1/4*J+1/2*A+7/4,it1=<-1/4*J+1/2*I+7/4,it1=<1/2*A+3*E+ -5/2,it1=<1/2*A+ -1/4*J+5/4,it1=<1/2*A+1/2*L+1/2,it1=<1/2*A+1/2*N+1,it1=<1/2*A+1/2*N+1/2,it1=<1/2*A+1/2*N+1/4,it1=<1/2*E+1/2*N+ -1,it1=<1/2*I+3*E+ -5/2,it1=<1/2*I+ -1/2*L+2,it1=<1/2*I+1/2*N+1,it1=<1/2*I+1/2*N+1/2,it1=<1/2*I+1/2*N+1/4,it1=<1/2*I+1/2*N+19/4,it1=<1/2*I+1/4*J+5/4,it1=<1/2*L+1*E+ -1/2,it1=<1/2*L+2*O+ -2,it1=<1/2*N+1*E+ -3/4,it1=<1/2*N+1*E+ -1/2,it1=<1/2*N+1*O+ -7/4,it1=<1/2*N+1*O+ -3/2,it1=<1/2*N+2*O+ -3/2,it1=<1/2*N+1/4*A+ -1/2,it1=<1/2*N+1/4*I+ -1/2,it1=<1/2*O+1/8*B+3/8,it1=<1/2*O+1/8*J+3/8,it1=<1/4*A+1/2*L+ -1/4,it1=<1/4*I+1/2*N+ -1/4,it1=<1/4*J+2*O+ -5/4,it1=<1/8*B+1/2*O+3/8,it1=<1/8*J+1/2*O+3/8,it1=<3/2*N+2*I+ -1,it1=<-1*D+1*N+2*E+ -13/4,it1=<1*D+1*E+3/2*A+1/2,it1=<1*D+1*E+3/2*I+1/2,it1=<1*O+3/2*I+3/2*N+ -5/2,it1=<-1/2*D+ -1/2*L+1*E+1,it1=<-1/2*D+ -1/2*N+1*E+1,it1=<-1/2*D+ -1/4*J+1*E+1/4,it1=<-1/2*D+1/2*N+1*E+ -3/4,it1=<-1/2*D+1/2*N+1*E+ -1/2,it1=<-1/2*D+1/4*J+1*E+1/4,it1=<-1/2*E+3/8*J+1*O+1/8,it1=<-1/3*D+ -1/3*E+1/6*A+3,it1=<-1/3*D+ -1/3*E+1/6*A+1*O,it1=<-1/3*D+ -1/3*E+1/6*I+1*O,it1=<-1/4*D+1/2*E+1/2*L+ -1,it1=<-1/4*D+1/2*E+1/2*N+ -1,it1=<1/2*A+1/2*N+3*E+ -17/4,it1=<1/2*I+1/2*N+3*E+ -17/4,it1=<1/4*D+1/4*E+5/4*O+ -3/4,it1=<1*A+1*D+1*E+1*O+ -1,it1=<1*D+1*E+1*I+1*O+ -1,it1=<-1/2*D+ -1/2*E+3/8*B+1*O+1/8,it1=<-1/2*D+ -1/2*E+3/8*J+1*O+1/8,it1=<-1/2*E+ -3/8*A+1/4*D+1*O+13/8,it1=<-1/2*E+ -3/8*I+1/4*D+1*O+13/8,it1=<-1/3*D+ -1/3*E+1/6*A+2*O+ -1,it1=<1/2*N+1*D+1*E+3/2*I+ -5/4,it1=<5/2,it1=<7/2,it1=<7/4,it1=<9/4,it1=<13/4,it2=<2,it2=<1/2*B,it2=<1/2*J,it2=<-2*E+8,it2=<-1*D+2,it2=<1*L+ -1,it2=<1*L+ -3/2,it2=<1*N+ -1,it2=<1*N+ -3/2,it2=<2*M+ -2,it2=<2*M+ -5/2,it2=<2*O+ -2,it2=<2*O+ -5/2,it2=<1/2*B+1/2,it2=<1/2*J+1/2,it2=<-2*E+1*L+5,it2=<-2*E+1*N+5,it2=<-2*E+1*N+9/2,it2=<-2*E+1/2*B+6,it2=<-1*D+1*L+ -3/2,it2=<-1*D+1*N+ -1,it2=<-1*D+1*N+ -3/2,it2=<-1*D+1/2*J+1/2,it2=<-2/3*E+1/3*I+3,it2=<-2/3*E+1/3*I+1*N,it2=<2/3*O+1*A+5/3,it2=<2/3*O+1*I+5/3,it2=<-2/3*D+ -2/3*E+1/3*A+3,it2=<-2/3*D+ -2/3*E+1/3*A+11/3,it2=<-2/3*D+ -2/3*E+1/3*I+3,it2=<-2/3*D+ -2/3*E+1/3*I+1*N,it2=<-2/3*D+ -2/3*E+1/3*I+11/3,it2=<-2/3*E+1/3*I+1*L+ -1/2,it2=<1/2*B+2/3*O+1*I+ -1/3,it2=<2/3*O+1*A+1*L+ -4/3,it2=<2/3*O+1*A+1*N+ -11/6,it2=<2/3*O+1*I+1*N+ -4/3,it2=<-2*D+ -2*E+1*A+2*L+1,it2=<-2*D+ -2*E+1*A+3*L+ -2,it2=<-2*D+ -2*E+1*A+3*N+ -5/2,it2=<-2*D+ -2*E+1*I+2*L+1,it2=<-2*D+ -2*E+1*I+3*N+ -2,it2=<-2*D+ -2*E+1*I+3/2*B+2,it2=<-2/3*D+ -2/3*E+1/3*A+1*L+2/3,it2=<-2/3*D+ -2/3*E+1/3*A+1*N+ -1/2,it2=<-2/3*D+ -2/3*E+1/3*A+1*N+1/6,it2=<-2/3*D+ -2/3*E+1/3*A+1/2*J+3/2,it2=<-2/3*D+ -2/3*E+1/3*I+1*L+ -1/2,it2=<-2/3*D+ -2/3*E+1/3*I+1*N+2/3,it2=<-2/3*D+ -2/3*E+1/3*I+1/2*B+5/3,it2=<3/2,it3=<3,it3=<1*E,it3=<1*N+ -1,it3=<-1/2*A+5/2,it3=<-1/2*I+5/2,it3=<2/3*E+ -1/3,it3=<-1*D+1*L+ -1,it3=<-1*D+1*N+ -1,it3=<1*L+4/3*O+ -3,it3=<1*N+4/3*O+ -3,it3=<1/2*I+3/2*N+ -3/2,it3=<1/3*A+1*N+ -4/3,it3=<1/3*I+1*N+ -4/3,it3=<1/3*O+1*E+ -2/3,it3=<2/3*E+ -1/3*D+ -1/3,it3=<3/2*N+2*O+ -4,it3=<-1*D+1/2*A+3/2*N+ -3/2,it3=<-1*D+1/2*I+3/2*N+ -3/2,it3=<-1/3*A+ -1/3*D+2/3*E+1/3,it3=<-1/3*D+ -1/3*I+2/3*E+1/3,it3=<5/3
  with precondition: [H=1,B+3=2*L,B+3=2*N,A=I,B=J,C=K,M=O,3>=A,3>=B,3>=C,3>=E,D>=0,B>=2*D+1,4*M>=B+5,M+3*E>=5,B+2*A+5>=4*M,2*E>=A+D+2,10*M+4>=6*E+5*A+B,10*M>=4*A+2*D+2*E+B+9,B+5*M>=3*D+3*E+A+4] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],[22,23,26],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<2*O,it1=<1/2*B,it1=<1/2*J,it1=<-2*E+8,it1=<-1*D+2,it1=<-1*D+1/2*B,it1=<-1*D+1/2*J,it1=<1*L+ -1,it1=<1*N+ -1,it1=<1/2*B+1/2,it1=<1/2*J+1/2,it1=<-2*E+1*L+5,it1=<-2*E+1*N+5,it1=<-2*E+1/2*B+6,it1=<-2*E+1/2*J+6,it1=<-1*D+1*N+ -1,it1=<-2/3*E+1/3*I+3,it1=<-2/3*E+1/3*I+1*N,it1=<-2/3*D+ -2/3*E+1/3*A+3,it1=<-2/3*D+ -2/3*E+1/3*A+1*N,it1=<-2/3*D+ -2/3*E+1/3*A+11/3,it1=<-2/3*D+ -2/3*E+1/3*I+3,it1=<-2/3*D+ -2/3*E+1/3*I+1*N,it1=<-2/3*D+ -2/3*E+1/3*I+11/3,it1=<-2/3*E+1/3*I+1/2*J+1,it1=<1/2*B+1/2*O+3/2*E+ -3/2,it1=<1/2*J+1/2*O+3/2*E+ -3/2,it1=<-2*D+ -2*E+1*A+2*L+1,it1=<-2*D+ -2*E+1*A+3*L+ -2,it1=<-2*D+ -2*E+1*I+2*L+1,it1=<-2*D+ -2*E+1*I+3*N+ -2,it1=<-1*E+ -1*O+1*I+1*L+2,it1=<-1*E+ -1*O+1*I+2*N+ -1,it1=<-1*E+ -1*O+1/2*J+1*I+1*N,it1=<-4/3*L+2/3*J+2/3*O+1*A+13/3,it1=<-4/3*L+2/3*J+2/3*O+1*I+13/3,it1=<-4/3*N+2/3*O+1*A+7/6*J+7/3,it1=<-4/3*N+2/3*O+1*I+7/6*B+7/3,it1=<-2/3*D+ -2/3*E+1/3*A+1*L+2/3,it1=<-2/3*D+ -2/3*E+1/3*A+1/2*B+1,it1=<-2/3*D+ -2/3*E+1/3*A+1/2*J+5/3,it1=<-2/3*D+ -2/3*E+1/3*I+1*N+2/3,it1=<-2/3*D+ -2/3*E+1/3*I+1/2*B+5/3,it1=<-2/3*D+ -2/3*E+1/3*I+1/2*J+1,it1=<-1/3*L+2/3*J+2/3*O+1*A+4/3,it1=<-1/3*N+2/3*B+2/3*O+1*I+4/3,it1=<-2*D+ -2*E+1/2*B+1*I+2*N+ -1,it1=<-2*D+ -2*E+1/2*J+1*A+2*N+ -1,it1=<-1*D+ -1*E+ -1*O+1*A+1*L+2,it1=<-1*D+ -1*E+ -1*O+1*A+2*N+ -1,it1=<-1*D+ -1*E+ -1*O+1*I+1*N+2,it1=<-1*D+ -1*E+ -1*O+1*I+2*N+ -1,it1=<-1*D+ -1*E+ -1*O+1/2*B+1*A+1*N,it1=<-1*D+ -1*E+ -1*O+1/2*J+1*I+1*N,it1=<3/2,it2=<3,it2=<1*E,it2=<-1/2*A+5/2,it2=<-1/2*I+5/2,it2=<2/3*E+ -1/3,it2=<-1*D+1*N+ -1,it2=<1/3*A+1*N+ -4/3,it2=<1/3*I+1*N+ -4/3,it2=<2/3*E+ -1/3*D+ -1/3,it2=<-1*D+1/2*A+3/2*N+ -3/2,it2=<-1*D+1/2*I+3/2*N+ -3/2,it2=<-1*O+1/2*A+1*N+3/2,it2=<-1*O+1/2*I+1*N+3/2,it2=<-2/3*O+1/3*A+2/3*N+2/3,it2=<-2/3*O+1/3*I+2/3*N+2/3,it2=<-2/3*O+2/3*A+4/3*N+ -5/3,it2=<-2/3*O+2/3*I+4/3*N+ -5/3,it2=<-1/3*A+ -1/3*D+2/3*E+1/3,it2=<-1/3*D+ -1/3*I+2/3*E+1/3,it2=<-1*D+ -1*O+1*A+2*N+ -2,it2=<-1*D+ -1*O+1*I+2*N+ -2,it2=<-2/3*N+1/3*B+1/3*O+1*E+2/3,it2=<5/3
  with precondition: [H=1,A=I,B=J,C=K,L=N,M=O,3>=A,3>=B,3>=C,3>=E,A>=0,D>=0,B+3>=2*L,L>=D+2,2*M+1>=L,A+L>=2*M,2*E>=A+D+2,A+E>=M,10*M+17>=6*E+5*A+2*L,A+2*L+3>=2*E+2*M,B+M+3*E>=2*L+1,2*L+5*M>=3*D+3*E+A+2,5*M+2>=2*A+D+E+L,A+2*L>=D+E+M+2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],27,[22,23,26],[36],38]: 3+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<1,it2=<2,it2=<1/2,it2=<3/2,it3=<1,it3=<3,it3=<1*E,it3=<1*M,it3=<1*O,it3=<1/2*A+2,it3=<1/2*I+2,it3=<1/3*A+1,it3=<1/3*I+1,it3=<2/3*E+ -1/3,it3=<2/3*M+ -1/3,it3=<2/3*O+ -1/3,it3=<5/3
  with precondition: [B=3,D=0,H=1,J=3,L=3,N=3,A+4=2*E,A+4=2*M,A+4=2*O,A=I,C=K,2>=A,3>=C,A>=0] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],27,[22,23,26],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<2,it1=<1/2,it1=<3/2,it2=<1,it2=<3,it2=<1*E,it2=<1*M+1,it2=<1*O+1,it2=<1/2*A+2,it2=<1/2*I+2,it2=<1/3*A+1,it2=<1/3*I+1,it2=<2/3*E+ -1/3,it2=<2/3*M+1/3,it2=<2/3*O+1/3,it2=<5/3
  with precondition: [B=3,D=0,H=1,J=3,L=3,N=3,A+4=2*E,A+2=2*M,A+2=2*O,A=I,C=K,2>=A,3>=C,A>=0] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],27,38]: 3+it1*(3)
  Such that:it1=<3,it1=<1*E,it1=<-1*O+3,it1=<1*E+ -1*O,it1=<1*L+ -1,it1=<1*N+ -1,it1=<-1*I+2*O+ -1,it1=<-1*I+3*O+ -1,it1=<-1*O+1/3*A+3,it1=<-1*O+1/3*I+3,it1=<1*E+ -1/3*L+ -1/3*O,it1=<1*L+1*O+ -1,it1=<1*N+ -1*D+ -1,it1=<1*N+1*O+ -1,it1=<-2/3*A+2*O+ -1,it1=<-1/3*L+ -1/3*O+3,it1=<-1/3*N+ -1/3*O+3,it1=<2/3*L+2/3*O+ -1,it1=<2/3*N+2/3*O+ -1,it1=<1*N+1*O+ -1*D+ -1,it1=<2*O+ -1*A+ -1*D+ -1,it1=<3*O+ -1*A+ -1*D+ -1,it1=<2/3*L+2/3*O+ -1*D+ -1
  with precondition: [H=1,L=D+2,A=I,B=J,C=K,L=N,A+L+2=2*E,A+L=2*M,A+L=2*O,3>=B,3>=C,A>=0,L>=2,B+3>=2*L,4>=A+L] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[24,25],38]: 0+it1*(3)
  Such that:it1=<3,it1=<1*E,it1=<1*N,it1=<-1*O+3,it1=<1*B+1,it1=<1*E+ -1*O,it1=<1*N+ -1*D,it1=<1*N+1*O,it1=<-1/2*A+5/2,it1=<1*B+1*O+1,it1=<1*N+1*O+ -1*D,it1=<-1/2*A+1*O+5/2,it1=<-1/3*N+ -1/3*O+8/3,it1=<2/3*N+2/3*O+ -1/3,it1=<1*E+ -1/3*N+ -1/3*O+ -1/3,it1=<-1/2*A+ -1/3*N+2/3*O+13/6,it1=<-1/2*I+ -1/3*N+2/3*O+13/6,it1=<-1/3*N+2/3*O+1*B+2/3,it1=<2/3*N+2/3*O+ -1*D+ -1/3
  with precondition: [H=1,A=I,B=J,C=K,M=O,L+M=D+E,M+N=D+E,3>=B,3>=C,3>=E,A>=0,D>=0,E>=M+1,2*M+5>=2*E+A,B+M+1>=E,B+2*M+3>=2*D+2*E,3*M+1>=A+D+E] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[34],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<1*M+ -1,it1=<1*O+ -1,it1=<1/2*A+1/4*J,it1=<1/2*A+1/2,it1=<1/2*D+ -1/4,it1=<1/2*D+1/2,it1=<1/2*I+1/4*B,it1=<1/2*I+1/2,it1=<1/2*L+1,it1=<1/2*L+1/4,it1=<1/2*N+1,it1=<1/2*N+1/4,it1=<1/4*B+3/2,it1=<1/4*B+3/4,it1=<1/4*J+3/2,it1=<1/4*J+3/4,it1=<-1*E+1*O+ -1,it1=<-1*E+1/2*I+1/2,it1=<1/2*A+1/2*N+ -1/2,it1=<1/2*A+1/4*J+ -3/4,it1=<1/2*I+1/2*L+ -5/4,it1=<1/2*I+1/2*L+ -1/2,it1=<1/2*I+1/2*N+ -5/4,it1=<1/2*I+1/2*N+ -1/2,it1=<1/2*I+1/4*B+ -3/4,it1=<-1*E+1/2*I+1/2*N+ -5/4,it1=<1*N+1*O+ -1*D+ -1*E,it1=<1*N+1/2*A+ -1*D+ -1*E+3/2,it1=<1*N+1/2*I+ -1*D+ -1*E+3/2,it1=<3/2*N+1/2*I+ -1*D+ -1*E+ -1/4,it1=<3/4*J+1/2*A+ -1*D+ -1*E+5/4,it1=<3/2,it1=<9/4,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<1*M+ -1,it2=<1*M+1/2,it2=<1*O+ -1,it2=<1*O+1/2,it2=<1/2*I+9/4,it2=<1/2*L+1,it2=<1/2*N+1,it2=<1/3*O+3/2,it2=<1/4*J+3/2,it2=<-1*E+1*O+ -1,it2=<1*L+1*O+ -2,it2=<1*N+1*O+ -2,it2=<1/2*A+1/2*N+ -1/2,it2=<1/2*B+1*O+ -1,it2=<1/2*I+1/2*N+ -1/2,it2=<1/2*J+1*O+ -1,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*I+ -2/3*E,it2=<1/3*L+1/3*O+2/3,it2=<1/3*N+1/3*O+2/3,it2=<1/6*B+1/3*O+1,it2=<1/6*J+1/3*O+1,it2=<-1*E+1/2*J+1*O+ -1,it2=<1/3*I+1/3*N+1/3*O+ -1/3,it2=<-1*E+1/3*I+1/3*N+1/3*O+ -1/3
  with precondition: [H=1,2*L=B+2,A=I,2*L=J+2,C=K,L=N,M=O,5>=2*L,3>=A,3>=C,E>=0,D>=L+1,A+L+1>=2*M,E+L+1>=M,L+M>=D+E+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[35],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<2*M,it2=<2*O,it2=<-1*I+3*O,it2=<1*A+1*N,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<1*I+1*N,it2=<1*L+1*O,it2=<1*M+1/3,it2=<1*N+1*O,it2=<1*O+1,it2=<1*O+1/3,it2=<2*O+ -2/3,it2=<1/2*J+2*O,it2=<1*A+1*N+ -2/3,it2=<1*D+ -1*N+ -2/3,it2=<1*I+1*N+ -2/3,it2=<1*L+2*O+ -1,it2=<1*N+1*O+ -1*E,it2=<1*N+2*O+ -1,it2=<1*O+ -1*E+1,it2=<1*O+ -1*E+1/3,it2=<1/2*A+1/2*N+1,it2=<1/2*A+1/2*N+1/3,it2=<1/2*I+1/2*N+1,it2=<1/2*I+1/2*N+1/3,it2=<1/2*J+1*O+1
  with precondition: [H=1,2*L=B+2,A=I,2*L=J+2,C=K,L=N,A+L=2*M,A+L=2*O,A+3*L+2=2*D+2*E,5>=2*L,3>=A,3>=C,A>=0,E>=0,L>=1,A+L>=2*E,A+L+2*E>=2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[36],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<1*M+ -1,it1=<1*O+ -1,it1=<1/2*A+1/2,it1=<1/2*D+ -1/4,it1=<1/2*D+1/2,it1=<1/2*I+1/2,it1=<1/2*L+1,it1=<1/2*L+1/4,it1=<1/2*N+1,it1=<1/2*N+1/4,it1=<1/4*B+1,it1=<1/4*B+7/4,it1=<1/4*J+1,it1=<1/4*J+7/4,it1=<-1*E+1*O+ -1,it1=<-1*E+1/2*I+1/2,it1=<1/2*A+1/2*N+ -1/2,it1=<1/2*A+1/4*J+ -1/2,it1=<1/2*A+1/4*J+1/4,it1=<1/2*I+1/2*L+ -5/4,it1=<1/2*I+1/2*L+ -1/2,it1=<1/2*I+1/2*N+ -5/4,it1=<1/2*I+1/2*N+ -1/2,it1=<1/2*I+1/4*B+ -1/2,it1=<1/2*I+1/4*B+1/4,it1=<-1*E+1/2*I+1/2*N+ -5/4,it1=<1*N+1*O+ -1*D+ -1*E,it1=<1*N+1/2*A+ -1*D+ -1*E+3/2,it1=<1*N+1/2*I+ -1*D+ -1*E+3/2,it1=<3/2*N+1/2*I+ -1*D+ -1*E+ -1/4,it1=<3/4*J+1/2*A+ -1*D+ -1*E+2,it1=<5/2,it1=<7/4,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<1*M+ -1,it2=<1*M+1,it2=<1*O+ -1,it2=<1*O+1,it2=<1/2*I+3,it2=<1/2*L+1,it2=<1/2*N+1,it2=<1/3*O+5/3,it2=<1/4*J+7/4,it2=<-1*E+1*O+ -1,it2=<1*L+1*O+ -2,it2=<1*N+1*O+ -2,it2=<1/2*A+1/2*N+ -1/2,it2=<1/2*B+1*O+ -1/2,it2=<1/2*I+1/2*N+ -1/2,it2=<1/2*J+1*O+ -1/2,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*I+ -2/3*E,it2=<1/3*L+1/3*O+2/3,it2=<1/3*N+1/3*O+2/3,it2=<1/6*B+1/3*O+7/6,it2=<1/6*J+1/3*O+7/6,it2=<-1*E+1*L+1*O+ -2,it2=<1/3*I+1/3*N+1/3*O+ -1/3,it2=<-1*E+1/3*I+1/3*N+1/3*O+ -1/3
  with precondition: [H=1,2*L=B+3,A=I,2*L=J+3,C=K,L=N,M=O,3>=A,3>=C,3>=L,E>=0,3*L>=D+2,D>=L+1,A+L+1>=2*M,L+M>=D+E+1] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[37],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<2*M,it2=<2*O,it2=<-1*I+3*O,it2=<1*A+1*N,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<1*I+1*N,it2=<1*L+1*O,it2=<1*M+1,it2=<1*M+1/3,it2=<1*N+1*O,it2=<1*O+1,it2=<1*O+1/3,it2=<2*O+ -2/3,it2=<1*A+1*N+ -2/3,it2=<1*D+ -1*N+ -2/3,it2=<1*I+1*N+ -2/3,it2=<1*L+2*O+ -1,it2=<1*N+1*O+ -1*E,it2=<1*N+2*O+ -1,it2=<1*O+ -1*E+1,it2=<1*O+ -1*E+1/3,it2=<1/2*A+1/2*N+1,it2=<1/2*A+1/2*N+1/3,it2=<1/2*I+1/2*N+1/3,it2=<1/2*J+1*O+3/2,it2=<1/2*J+2*O+1/2
  with precondition: [H=1,2*L=B+3,A=I,2*L=J+3,C=K,L=N,A+L=2*M,A+L=2*O,A+3*L+2=2*D+2*E,3>=A,3>=C,3>=L,A>=0,E>=0,2*L>=3,A+L>=2*E,2*E+3*A+3*L>=6] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[30,31,33],[35],38]: inf
  with precondition: [H=1,B+2=2*L,B+2=2*N,A=I,B=J,C=K,M=O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,2*D>=B+6,4*M>=2*A+B+2,A+D>=2*E+1,2*D+4*E>=B+8,A+D+E>=3*M+1,2*D+2*E>=2*M+B+6] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[30,31,33],[37],38]: inf
  with precondition: [H=1,B+3=2*L,B+3=2*N,A=I,B=J,C=K,M=O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,2*D>=B+7,6*D+8*E>=3*B+27,4*M>=2*A+B+3,A+D>=2*E+1,A+D+E>=3*M+1,2*D+2*E>=2*M+B+7] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],[30,31,33],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1*D+ -2,it1=<-1*N+1*D+ -1,it1=<-1/2*B+1*D+ -5/2,it1=<-1/2*J+1*D+ -5/2,it1=<-1/3*A+2/3*D+2/3*E+ -4/3,it1=<-1/3*A+2/3*D+2/3*E+ -2/3,it1=<-1/3*I+2/3*D+2/3*E+ -4/3,it1=<-1/3*I+2/3*D+2/3*E+ -2/3,it1=<-3*N+ -1*A+2*D+2*E+ -3,it1=<-3*N+ -1*I+2*D+2*E+ -3,it1=<-2*N+ -1*A+2*D+2*E+ -4,it1=<-2*N+ -1*I+2*D+2*E+ -4,it1=<-1*N+ -1/3*A+2/3*D+2/3*E+ -1/3,it1=<-1*N+ -1/3*A+2/3*D+2/3*E+1/3,it1=<-1*N+ -1/3*I+2/3*D+2/3*E+ -1/3,it1=<-1*N+ -1/3*I+2/3*D+2/3*E+1/3,it1=<-1/2*B+ -1/3*I+2/3*D+2/3*E+ -11/6,it1=<-1/2*J+ -1/3*A+2/3*D+2/3*E+ -11/6,it1=<-1/2*J+ -1/3*A+2/3*D+2/3*E+ -7/6,it1=<-1/2*J+ -1/3*I+2/3*D+2/3*E+ -11/6,it1=<-1/2*J+ -1/3*I+2/3*D+2/3*E+ -7/6,it1=<-2*N+ -1*A+1*D+1*E+1*M+ -2,it1=<-2*N+ -1*A+ -1/2*J+2*D+2*E+ -9/2,it1=<-2*N+ -1*I+1*D+1*E+1*M+ -2,it1=<-2*N+ -1*I+ -1/2*J+2*D+2*E+ -9/2,it1=<-1*A+ -1*N+1*D+1*E+1*M+ -3,it1=<-1*I+ -1*N+1*D+1*E+1*M+ -3,it1=<-1*A+ -1*N+ -1/2*J+1*D+1*E+1*M+ -7/2,it1=<-1*I+ -1*N+ -1/2*B+1*D+1*E+1*M+ -7/2,it1=<-1*I+ -1*N+ -1/2*J+1*D+1*E+1*M+ -7/2,it2=<1*D+ -1,it2=<-1*N+1*D+ -1,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*I+ -2/3*E,it2=<-2/3*E+1/3*A+1/3*D+2/3,it2=<-2/3*E+1/3*D+1/3*I+2/3
  with precondition: [H=1,A=I,B=J,C=K,L=N,M=O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,2*L>=B+2,D>=L+2,A+D>=2*E+1,2*M>=A+L+1,D+2*E>=L+3,A+D+E+2>=3*M,D+E>=L+M+1,D+E+M>=2*L+A+3] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],32,[30,31,33],[35],38]: 3+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<2/3*D+2/3*E+ -2/3*L+ -2/3*O+ -1,it2=<2/3*D+2/3*E+ -2/3*L+ -2/3*O+ -3/2,it2=<2/3*D+2/3*E+1/3*L+ -2/3*O+ -2,it3=<1*D+ -1,it3=<2/3*M+1/3*D+ -1/3*L+ -2/3*E
  with precondition: [H=1,B+2=2*L,B+2=2*N,A=I,B=J,C=K,B+2*A+2=4*M,B+2*A+2=4*O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+4*E>=6,4*D+4*E>=3*B+2*A+18] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],32,[30,31,33],[37],38]: 3+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<2/3*D+2/3*E+ -2/3*L+ -2/3*O+ -1,it2=<2/3*D+2/3*E+1/3*L+ -2/3*M+ -2,it3=<1*D+ -1,it3=<2/3*M+1/3*D+ -1/3*L+ -2/3*E
  with precondition: [H=1,B+3=2*L,B+3=2*N,A=I,B=J,C=K,B+2*A+3=4*M,B+2*A+3=4*O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+2*E>=6,4*D+4*E>=3*B+2*A+21] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],32,[30,31,33],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<2/3*D+2/3*E+ -1/3*A+ -2,it1=<2/3*D+2/3*E+ -1/3*I+ -2,it1=<2/3*D+2/3*E+ -1/3*A+ -1*L+ -1,it1=<2/3*D+2/3*E+ -1/3*I+ -1*L+ -1,it1=<2/3*D+2/3*E+ -1/3*I+ -1/2*J+ -5/2,it2=<1*D+ -1,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*I+ -2/3*E
  with precondition: [H=1,A=I,B=J,C=K,L=N,M=O,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,2*L>=B+2,A+D>=2*E+3,A+D+4*E>=6,A+D+E>=3*M,D+E+3*M>=3*L+2*A+6] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],32,38]: 3+it1*(3)
  Such that:it1=<1*M,it1=<1*O,it1=<1*D+ -1,it1=<1*L+1*O,it1=<1*M+ -1*E,it1=<1*N+1*O,it1=<3*M+ -1,it1=<3*O+ -1,it1=<1/2*L+2,it1=<1/2*N+2,it1=<-1*A+3*M+ -1,it1=<-1*I+3*M+ -1,it1=<1*D+ -1*N+ -1,it1=<1*M+1*N+ -1*E,it1=<1/2*A+1/2*L+1/2,it1=<1/2*I+1/2*L+1/2
  with precondition: [H=1,A=I,B=J,C=K,M=O,A+L+1=2*M,A+N+1=2*M,A+D+E=3*M,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,M>=E+1,4*M>=2*A+B+4,E+3*M>=B+3] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[28,29],38]: 0+it1*(3)
  Such that:it1=<1*M,it1=<1*O,it1=<1*A+1*L,it1=<1*D+ -1,it1=<1*D+ -1*N,it1=<1*I+1*L,it1=<1*O+ -1*E,it1=<1/2*L+5/2,it1=<1*A+2*N+ -1,it1=<1*I+2*N+ -1,it1=<1*L+1*M+ -1,it1=<1*N+1*O+ -1,it1=<-2/3*O+4/3*I+4/3*L,it1=<1/3*I+1/3*L+1/3*O,it1=<1/3*L+1/3*O+1,it1=<1/3*M+1/3*N+1,it1=<1/3*N+1/3*O+1,it1=<1*D+1/3*A+ -2/3*M+ -2/3*N,it1=<1*D+1/3*I+ -2/3*M+ -2/3*N,it1=<1*N+1*O+ -1*E+ -1,it1=<1/3*I+1/3*M+1/3*N+ -1*E
  with precondition: [H=1,A=I,B=J,C=K,M=O,L+M=D+E,M+N=D+E,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,M>=E+1,A+D+E+2>=3*M,2*D+2*E>=2*M+B+2,A+D+2*E>=2*M] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[30,31,33],[35],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1/2*M+3/2,it1=<-1/2*M+5/4,it1=<-1/2*O+3/2,it1=<-1/2*O+5/4,it1=<-1/3*L+4/3,it1=<-1/3*L+11/6,it1=<-1/3*L+13/12,it1=<-1/3*M+5/3,it1=<-1/3*N+4/3,it1=<-1/3*N+11/6,it1=<-1/3*N+13/12,it1=<-1/3*O+5/3,it1=<-1/4*L+3/2,it1=<-1/4*L+5/4,it1=<-1/4*N+3/2,it1=<-1/4*N+5/4,it1=<-1/6*B+1,it1=<-1/6*B+3/2,it1=<-1/6*B+3/4,it1=<-1/6*J+1,it1=<-1/6*J+3/2,it1=<-1/6*J+3/4,it1=<-1/6*L+5/3,it1=<-1/6*L+11/12,it1=<-1/6*N+5/3,it1=<-1/6*N+7/6,it1=<-1/6*N+11/12,it1=<-1/8*B+1,it1=<-1/8*B+5/4,it1=<-1/8*J+1,it1=<-1/8*J+5/4,it1=<-1/12*B+1,it1=<-1/12*B+3/2,it1=<-1/12*J+3/2,it1=<-2*O+1*A+3,it1=<-2*O+1*A+7/2,it1=<-2*O+1*A+11/4,it1=<-2*O+1*I+3,it1=<-2*O+1*I+7/2,it1=<-2*O+1*I+11/4,it1=<-1*O+1/3*A+5/2,it1=<-1*O+1/3*A+7/4,it1=<-1*O+1/3*I+2,it1=<-1*O+1/3*I+5/2,it1=<-1*O+1/3*I+7/4,it1=<-1*O+2/3*E+1,it1=<-1/3*O+ -1/9*L+43/36,it1=<-1/3*O+ -1/9*N+13/9,it1=<-1/3*O+ -1/9*N+43/36,it1=<-1/3*O+ -1/18*B+4/3,it1=<-1/4*A+ -1/4*N+3/2,it1=<-1/4*A+ -1/4*N+5/4,it1=<-1/4*I+ -1/4*N+3/2,it1=<-1/4*I+ -1/4*N+5/4,it1=<-1/6*A+ -1/6*L+7/6,it1=<-1/6*A+ -1/6*L+11/12,it1=<-1/6*A+ -1/6*N+5/3,it1=<-1/6*A+ -1/6*N+7/6,it1=<-1/6*I+ -1/6*L+7/6,it1=<-1/6*I+ -1/6*L+11/12,it1=<-1/6*I+ -1/6*N+5/3,it1=<-1/6*I+ -1/6*N+7/6,it1=<-1/6*I+ -1/6*N+11/12,it1=<-1/12*B+ -1/6*I+3/4,it1=<-1*O+ -1/3*L+1*E+5/6,it1=<-1*O+1/3*I+1/3*L+5/3,it1=<-1*O+1/6*B+1/3*A+2,it1=<-1*O+1/6*B+1/3*I+2,it1=<-1*O+1/6*L+1/2*I+11/6,it1=<-1*O+1/12*B+1/2*A+2,it1=<-1*O+1/12*B+1/2*I+2,it1=<1/2*A+1/6*L+ -1*O+11/6,it1=<1/2*I+1/6*L+ -1*O+11/6,it1=<1/3*A+1/3*L+ -1*O+5/3,it1=<1/3*I+1/3*N+ -1*O+5/3,it1=<-1*O+ -1/2*D+1/6*L+1*E+4/3,it1=<-1*O+ -1/2*D+1/6*N+1*E+4/3,it1=<-1*O+ -1/3*D+1/3*N+2/3*E+4/3,it1=<3/2,it1=<3/4,it1=<5/4,it2=<4,it2=<-3*O+7,it2=<-3*O+13/2,it2=<-1*I+4,it2=<-1*N+5,it2=<-1*N+9/2,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<-1/2*B+7/2,it2=<-3*O+1*L+6,it2=<-3*O+1*N+6,it2=<-2*O+ -2/3*N+20/3,it2=<-2*O+ -2/3*N+37/6,it2=<-2*O+1/3*N+17/3,it2=<-1*A+2*E+ -2,it2=<-1*I+ -1*N+5,it2=<-1*I+ -1*N+9/2,it2=<-1*I+2*E+ -2,it2=<1*D+ -1*N+ -1/2,it2=<1*D+ -1/2*B+ -1,it2=<-1*A+ -1*N+2*E+ -1,it2=<-1*A+ -1*N+2*E+ -3/2,it2=<-1*I+ -1*N+2*E+ -1,it2=<-1*I+ -1*N+2*E+ -3/2
  with precondition: [H=1,B+2=2*L,B+2=2*N,A=I,B=J,C=K,M=O,3>=C,3>=E,A>=0,B>=0,2*D>=B+4,2*A+6>=3*M+E,4*M>=2*A+B+2,2*E>=A+D+1,B+2*A+2*E>=6*M,2*D+4*M+4>=4*E+B] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[30,31,33],[37],38]: 0+it1*(3)+it2*(3)
  Such that:it1=<-1*M+3,it1=<-1*O+3,it1=<-1/2*L+3,it1=<-1/2*L+5/2,it1=<-1/2*L+9/4,it1=<-1/2*N+3,it1=<-1/2*N+5/2,it1=<-1/2*N+9/4,it1=<-1/4*B+3/2,it1=<-1/4*B+7/4,it1=<-1/4*B+9/4,it1=<-1/4*J+3/2,it1=<-1/4*J+7/4,it1=<-1/4*J+9/4,it1=<-1/2*A+ -1/2*N+3,it1=<-1/2*A+ -1/2*N+5/2,it1=<-1/2*A+ -1/2*N+9/4,it1=<-1/2*I+ -1/2*N+3,it1=<-1/2*I+ -1/2*N+5/2,it1=<-1/2*I+ -1/2*N+9/4,it1=<-1/4*B+ -1/2*I+3/2,it1=<-1/4*J+ -1/2*A+3/2,it1=<-1/4*J+ -1/2*A+9/4,it1=<3/2,it1=<7/4,it1=<9/4,it2=<4,it2=<-1*I+4,it2=<-1*L+5,it2=<-1*N+5,it2=<1*D+ -1,it2=<1*D+ -1*N,it2=<-1/2*J+7/2,it2=<-1*A+2*E+ -2,it2=<-1*I+ -1*N+5,it2=<-1*I+2*E+ -2,it2=<-1*A+ -1*N+2*E+ -1,it2=<-1*I+ -1*L+2*E+ -1,it2=<-1*I+ -1/2*B+2*E+ -5/2,it2=<7/2
  with precondition: [H=1,B+3=2*L,B+3=2*N,A=I,B=J,C=K,M=O,3>=C,3>=E,A>=0,B>=0,2*D>=B+5,4*M>=2*A+B+3,2*E>=A+D+1,A+4>=E+M,B+E+2*A+2>=5*M] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[[30,31,33],38]: 0+it1*(3)
  Such that:it1=<4,it1=<-1*I+4,it1=<-1*L+5,it1=<-1*N+5,it1=<1*D+ -1,it1=<1*D+ -1*N,it1=<-1/2*B+4,it1=<-1/2*B+7/2,it1=<-1/2*J+4,it1=<-1/2*J+7/2,it1=<-1*A+2*E+ -2,it1=<-1*I+ -1*N+5,it1=<-1*I+2*E+ -2,it1=<-1*I+ -1/2*J+7/2,it1=<1*D+ -1/2*J+ -3/2,it1=<-1*A+ -1*N+2*E+ -1,it1=<-1*A+ -1/2*J+2*E+ -5/2,it1=<-1*I+ -1*N+2*E+ -1,it1=<-1*I+ -1/2*J+2*E+ -5/2,it1=<7/2
  with precondition: [H=1,A=I,B=J,C=K,L=N,M=O,3>=B,3>=C,3>=E,A>=0,B>=0,2*L>=B+2,D>=L+1,3*M+6>=3*E+B,2*E>=A+D+1,2*M>=A+L+1,A+E+L+2>=3*M,E+M>=A+L+2,D+M>=E+L,2*A+2*L+7>=3*M+B+E] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[27,[22,23,26],[34],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*O+4,it1=<-1/2*L+2,it1=<-1/2*N+2,it1=<-1/4*B+3/2,it1=<-1/4*J+3/2,it1=<-1*O+1*E+2,it1=<1/2*A+ -1*O+5/2,it1=<1/2*I+ -1*O+5/2,it1=<1*E+ -1/2*D+ -1*O+2,it1=<1/4,it2=<2,it2=<1/2*B,it2=<1/2*J,it2=<-1*D+2,it2=<1*L+ -1,it2=<1*N+ -1,it2=<2*O+ -2,it2=<-1*A+2*O+ -2,it2=<-1*I+2*O+ -2,it2=<1*N+ -1*D+ -1,it2=<2*O+ -2*E+ -1,it2=<2*O+ -1*A+ -2,it2=<2*O+ -1*I+ -2,it2=<2*O+ -1*N+ -2*E+2,it2=<2*O+1*D+ -2*E+ -1,it2=<3/2
  with precondition: [H=1,2*L=B+2,L=D+2,A=I,2*L=J+2,C=K,L=N,A+L=2*E+1,A+L+1=2*M,A+L+1=2*O,5>=2*L,3>=A,3>=C,A>=0,L>=2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[27,[22,23,26],[36],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*O+4,it1=<-1/2*L+2,it1=<-1/2*N+2,it1=<-1/4*B+5/4,it1=<-1/4*J+5/4,it1=<-1*O+1*E+2,it1=<1/2*A+ -1*O+5/2,it1=<1/2*I+ -1*O+5/2,it1=<1*E+ -1/2*D+ -1*O+2,it1=<1/4,it2=<2,it2=<1/2*B,it2=<1/2*J,it2=<-1*D+2,it2=<1*L+ -1,it2=<1*L+ -3/2,it2=<1*N+ -1,it2=<1*N+ -3/2,it2=<2*O+ -2,it2=<2*O+ -5/2,it2=<1/2*B+1/2,it2=<1/2*J+1/2,it2=<-1*A+2*O+ -2,it2=<-1*A+2*O+ -5/2,it2=<-1*I+2*O+ -2,it2=<-1*I+2*O+ -5/2,it2=<1*N+ -1*D+ -1,it2=<1*N+ -1*D+ -3/2,it2=<2*O+ -2*E+ -1,it2=<2*O+ -2*E+ -3/2,it2=<2*O+ -1*A+ -2,it2=<2*O+ -1*A+ -5/2,it2=<2*O+ -1*I+ -2,it2=<2*O+ -1*I+ -5/2,it2=<2*O+ -1*N+ -2*E+2,it2=<2*O+1*D+ -2*E+ -1,it2=<2*O+1*D+ -2*E+ -3/2,it2=<3/2
  with precondition: [H=1,2*L=B+3,L=D+2,A=I,2*L=J+3,C=K,L=N,A+L=2*E+1,A+L+1=2*M,A+L+1=2*O,3>=A,3>=C,3>=L,A>=0,L>=2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[27,[22,23,26],38]: 3+it1*(3)
  Such that:it1=<2,it1=<2*O,it1=<1/2*B,it1=<1/2*J,it1=<-1*A+2*O,it1=<-1*D+2,it1=<-1*I+2*O,it1=<1*L+ -1,it1=<1*N+ -1,it1=<2*L+ -3,it1=<2*N+ -3,it1=<2*O+ -1*A,it1=<2*O+ -1*I,it1=<1/2*B+1/2,it1=<1/2*J+ -1*D,it1=<1/2*J+1/2,it1=<1*A+ -2*E+3,it1=<1*A+1*N+ -2*E,it1=<1*I+ -2*E+3,it1=<1*I+1*N+ -2*E,it1=<1*N+ -1*D+ -1,it1=<-2*E+1*D+2*O+1,it1=<-1*E+1*L+1*O+ -1,it1=<1*A+1/2*B+ -2*E+1,it1=<1*I+1/2*B+ -2*E+1,it1=<1*I+1/2*J+ -2*E+1,it1=<2*O+1*D+ -2*E+1,it1=<3/2
  with precondition: [H=1,B=J,C=K,L=N,M=O,E+M+1=A+L,D+M+2=E+L,E+M+1=I+L,3>=B,3>=C,B+3>=2*L,M>=E,L+2>=E+M,E+M+1>=L,E+L>=M+2] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[27,38]: 3
  with precondition: [H=1,L=D+1,B=J,C=K,E=M,L=N,E=O,2*E=A+L,2*E=I+L,3>=B,3>=C,B>=0,L>=1,L+3>=2*E,B+3>=2*L,2*E>=L] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32,[30,31,33],[35],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<4,it2=<-2*M+5,it2=<-2*M+9/2,it2=<-2*O+5,it2=<-2*O+9/2,it2=<-2*O+13/2,it2=<-1*A+4,it2=<-1*I+4,it2=<-1*L+5,it2=<-1*L+9/2,it2=<-1*N+5,it2=<-1*N+9/2,it2=<1*D+ -2,it2=<-1/2*B+4,it2=<-1/2*B+7/2,it2=<-1/2*J+4,it2=<-1/2*J+7/2,it2=<-2*O+1*L+4,it2=<-2*O+1*N+4,it2=<-2*O+1/2*B+5,it2=<-2*O+1/2*J+5,it2=<-1*A+ -1*N+5,it2=<-1*A+ -1*N+9/2,it2=<-1*I+ -1*N+5,it2=<-1*I+ -1*N+9/2,it2=<1*A+ -2*O+5,it2=<1*A+ -2*O+9/2,it2=<1*D+ -2*E+4,it2=<1*D+ -1*N+ -1,it2=<1*D+ -1*N+ -3/2,it2=<1*I+ -2*O+5,it2=<1*I+ -2*O+9/2,it2=<1*L+ -2*O+4,it2=<1*N+ -2*O+4,it2=<2*E+ -2*O+ -1,it2=<2*E+ -2*O+ -3/2,it2=<1/2*B+ -2*O+5,it2=<1/2*J+ -2*O+5,it2=<1*D+ -1*N+ -2*E+5,it2=<1*D+ -1*N+ -2*E+9/2,it2=<2*E+ -1*D+ -2*O+5,it2=<2*E+ -1*D+ -2*O+9/2,it2=<2*E+1*N+ -2*O+ -2,it2=<7/2
  with precondition: [H=1,2*L=B+2,2*L=J+2,C=K,O=M,L=N,A+L=2*O,I+L=2*O,L+2*E=2*O+D,3>=C,L>=1,12>=3*L+D,D>=L+2,2*O>=L,L+6>=2*O+D] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32,[30,31,33],[37],38]: 3+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<4,it2=<-2*M+5,it2=<-2*O+5,it2=<-2*O+7,it2=<-1*A+4,it2=<-1*I+4,it2=<-1*L+5,it2=<-1*N+5,it2=<1*D+ -2,it2=<-1/2*B+7/2,it2=<-1/2*J+7/2,it2=<-2*O+1*L+4,it2=<-2*O+1*N+4,it2=<-2*O+1/2*B+11/2,it2=<-2*O+1/2*J+11/2,it2=<-1*A+ -1*N+5,it2=<-1*I+ -1*N+5,it2=<1*A+ -2*O+5,it2=<1*D+ -2*E+4,it2=<1*D+ -1*N+ -1,it2=<1*I+ -2*O+5,it2=<1*L+ -2*O+4,it2=<1*N+ -2*O+4,it2=<2*E+ -2*O+ -1,it2=<1/2*B+ -2*O+11/2,it2=<1/2*J+ -2*O+11/2,it2=<1*D+ -1*N+ -2*E+5,it2=<2*E+ -1*D+ -2*O+5,it2=<2*E+1*N+ -2*O+ -2,it2=<7/2
  with precondition: [H=1,2*L=B+3,2*L=J+3,C=K,O=M,L=N,A+L=2*O,I+L=2*O,L+2*E=2*O+D,3>=C,2*L>=3,8>=D+L,D>=L+2,2*O>=L,L+6>=2*O+D] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32,[30,31,33],38]: 3+it1*(3)
  Such that:it1=<4,it1=<-2*M+7,it1=<-2*O+7,it1=<-1*A+4,it1=<-1*A+5,it1=<-1*A+9/2,it1=<-1*I+4,it1=<-1*I+5,it1=<-1*I+9/2,it1=<-1*L+5,it1=<-1*N+5,it1=<1*D+ -2,it1=<-1/2*B+4,it1=<-1/2*B+7/2,it1=<-1/2*J+4,it1=<-1/2*J+7/2,it1=<-2*A+ -2*N+9,it1=<-2*E+1*D+9/2,it1=<-2*I+ -2*N+9,it1=<-2*O+1*I+7,it1=<-2*O+1*L+6,it1=<-2*O+1*L+11/2,it1=<-2*O+1*N+6,it1=<-2*O+1*N+11/2,it1=<-1*A+ -1*L+5,it1=<-1*I+ -1*L+5,it1=<-1*I+ -1*N+6,it1=<-1*I+ -1*O+7,it1=<-1*I+ -1/2*J+7/2,it1=<1*D+ -2*E+4,it1=<1*D+ -1*L+ -1,it1=<1*D+ -1/2*J+ -5/2,it1=<1*L+ -2*O+6,it1=<1*N+ -2*O+6,it1=<2*E+ -1*A+ -2,it1=<2*E+ -1*I+ -2,it1=<-1/2*B+ -1*A+7/2,it1=<-1/2*J+ -1*I+7/2,it1=<-2*I+ -2*N+2*E+3,it1=<-2*N+ -1*I+1*D+3,it1=<-2*O+ -1*D+2*E+7,it1=<-2*O+ -1/2*J+1*L+11/2,it1=<-2*O+ -1/2*J+1*N+11/2,it1=<-1*A+ -1*O+1*E+7/2,it1=<-1*E+ -1*O+1*D+7/2,it1=<-1*I+ -1*O+1*E+4,it1=<-1*O+ -1/2*I+1/2*D+4,it1=<1*D+ -1*L+ -2*E+5,it1=<1*D+ -1/2*B+ -2*E+7/2,it1=<1*D+ -1/2*J+ -2*E+7/2,it1=<1*L+ -1/2*B+ -2*O+11/2,it1=<1*L+ -1/2*J+ -2*O+11/2,it1=<2*E+ -1*A+ -1*L+ -1,it1=<2*E+ -1*I+ -1*L+ -1,it1=<2*E+ -1/2*B+ -1*I+ -5/2,it1=<2*E+ -1/2*J+ -1*A+ -5/2,it1=<2*E+ -1/2*J+ -1*I+ -5/2,it1=<7/2
  with precondition: [H=1,B=J,C=K,L=N,M=O,A+D=2*E,D+I=2*E,3>=C,3>=E,B>=0,2*L>=B+2,2*E>=D,E>=M,D+M>=E+L+2,E+L+5>=B+D+M] 

f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O):[32,38]: 3
  with precondition: [H=1,L+1=D,B=J,C=K,E=M,L=N,E=O,2*E=A+L+1,2*E=I+L+1,3>=B,3>=C,3>=E,B>=0,L+4>=2*E,2*L>=B+2,2*E>=L+1] 

Inferred cost of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[40]: 1
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,D>=0,E>=0] 

f0(A,B,C,D,E,F,G):[41]: 1+it1*(3)
  Such that:it1=<3,it1=<7,it1=<9,it1=<-1*E+3,it1=<-1*E+9,it1=<-1*E+5/2,it1=<-1*E+13/4,it1=<-1*E+17/2,it1=<2*A+1,it1=<1/2*A+3/2,it1=<1/2*D+2,it1=<1/2*D+5/4,it1=<1/4*B+5/2,it1=<1/4*B+7/4,it1=<-1*E+1/2*D+2,it1=<-1*E+1/2*D+5/4,it1=<-1*E+1/2*D+29/4,it1=<-1*E+1/4*B+5/2,it1=<-1*E+1/4*B+7/4,it1=<-1*E+1/4*B+31/4,it1=<-1*E+5/2*A+3/2,it1=<1*E+2*A+1,it1=<1/2*A+ -1*E+3/2,it1=<1/2*A+1/2*D+1/2,it1=<1/2*A+1/4*B+1/4,it1=<-1*E+1/2*A+1/2*D+1/2,it1=<-1*E+1/2*D+5/2*A+ -1/4,it1=<1/2*A+1/2*D+ -1*E+ -1/4,it1=<5/2,it1=<13/4,it1=<17/2
  with precondition: [B+2=2*D,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,B+2*A>=4*E] 

f0(A,B,C,D,E,F,G):[42]: 1+it1*(3)
  Such that:it1=<2,it1=<-2*D+6,it1=<-1*B+4,it1=<1*E+ -1,it1=<1*E+ -5/4,it1=<1*E+ -1/2,it1=<-1/2*D+3,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*D+9/4,it1=<-1/4*B+2,it1=<-1/4*B+5/2,it1=<-1/4*B+7/4,it1=<-2*D+ -1*E+9,it1=<-1*B+ -1*E+7,it1=<-1/2*A+ -1/2*D+3,it1=<-1/2*A+ -1/4*B+5/2,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*E+ -1/2,it1=<-1/4*B+1*E+ -1,it1=<-1/4*B+1*E+ -5/4,it1=<-1/4*B+1*E+ -1/2,it1=<-1/4*B+ -1/2*A+2,it1=<-1/4*B+ -1/2*A+7/4,it1=<1*E+ -1/2*A+ -1/2*D+ -3/4,it1=<1*E+ -1/2*A+ -1/2*D+ -1/2,it1=<-1/2*A+ -1/4*B+1*E+ -1/2,it1=<5/2,it1=<7/4
  with precondition: [2*D=B+2,5>=2*D,3>=C,3>=E,A>=0,D>=1,2*E>=A+D+2] 

f0(A,B,C,D,E,F,G):[43]: 1+it1*(3)
  Such that:it1=<3,it1=<4,it1=<6,it1=<-1*E+3,it1=<-1*E+6,it1=<-1*E+7/2,it1=<-1*E+11/4,it1=<-1*E+23/4,it1=<1/2*A+3/2,it1=<1/2*D+2,it1=<1/2*D+5/4,it1=<1/3*B+3,it1=<1/4*B+2,it1=<1/4*B+11/4,it1=<2/3*A+2/3*D,it1=<2/3*D+2,it1=<-1*E+1/2*D+2,it1=<-1*E+1/2*D+5/4,it1=<-1*E+1/3*B+5,it1=<-1*E+1/4*B+2,it1=<-1*E+1/4*B+11/4,it1=<-1*E+2/3*D+4,it1=<-1*E+7/6*D+9/4,it1=<-1*E+7/12*B+4,it1=<1/2*A+ -1*E+3/2,it1=<1/2*A+1/2*D+ -1/4,it1=<1/2*A+1/2*D+1/2,it1=<2/3*A+1/3*B+1,it1=<2/3*A+2/3*D+1*E,it1=<-1*E+1/2*A+1/2*D+1/2,it1=<-1*E+1/3*B+7/6*A+3/2,it1=<-1*E+7/6*A+7/6*D+ -5/4,it1=<1/2*A+1/2*D+ -1*E+ -1/4,it1=<7/2,it1=<11/4,it1=<23/4
  with precondition: [2*D=B+3,3>=A,3>=C,3>=D,A>=0,E>=0,2*D>=3,A+D>=2*E+1] 

f0(A,B,C,D,E,F,G):[44]: 1+it1*(3)
  Such that:it1=<-1*D+4,it1=<1*E+ -5/4,it1=<1*E+ -3/2,it1=<1*E+ -3/4,it1=<-1/2*B+5/2,it1=<-1/2*D+3,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*D+9/4,it1=<-1/4*B+3/2,it1=<-1/4*B+7/4,it1=<-1/4*B+9/4,it1=<-1*D+ -1*E+7,it1=<-1*E+ -1/2*B+11/2,it1=<-1/2*A+ -1/2*D+3,it1=<-1/2*A+ -1/2*D+1*E,it1=<-1/2*A+ -1/2*D+5/2,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*E+ -1/2,it1=<-1/4*B+1*E+ -5/4,it1=<-1/4*B+1*E+ -3/2,it1=<-1/4*B+1*E+ -3/4,it1=<-1/4*B+ -1/2*A+3/2,it1=<1*E+ -1/2*A+ -1/2*D+ -3/4,it1=<1*E+ -1/2*A+ -1/2*D+ -1/2,it1=<3/2,it1=<7/4,it1=<9/4
  with precondition: [2*D=B+3,3>=C,3>=D,3>=E,A>=0,2*D>=3,2*E>=A+D+2] 

f0(A,B,C,D,E,F,G):[45]: 1+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<3,it1=<-1*E+9/2,it1=<-1*E+19/4,it1=<-2/3*E+15/4,it1=<-1/2*D+3,it1=<-1/2*D+13/4,it1=<-1/4*B+3,it1=<1/2*A+1,it1=<1/2*A+1/4,it1=<1/2*B+7/2,it1=<1/4*A+11/8,it1=<1/4*B+3/2,it1=<1/4*B+3/4,it1=<1/4*B+5/2,it1=<1/4*B+9/4,it1=<1/6*A+3/2,it1=<1/6*A+7/4,it1=<1/8*B+7/4,it1=<1/8*B+9/4,it1=<1/8*B+15/4,it1=<1/12*B+2,it1=<3/8*B+1,it1=<3/8*B+5/2,it1=<-1*E+1/2*A+3,it1=<-1*E+1/4*B+4,it1=<1*E+3/2*A+3/4,it1=<-2/3*E+1/3*D+13/4,it1=<-2/3*E+5/12*B+5/2,it1=<-1/2*D+1/4*B+5/2,it1=<1/2*A+ -1/4*B+3/2,it1=<1/2*A+1/2*B+2,it1=<1/2*B+1*E+2,it1=<1/2*B+1*E+7/4,it1=<1/2*B+1/2*E+3/4,it1=<1/2*B+3/2*E+3,it1=<1/2*E+3/4*A+9/4,it1=<1/3*B+1/3*E+4/3,it1=<1/3*E+2/3*B+2,it1=<1/4*A+1/8*B+3/2,it1=<1/4*A+3/8*B+1/4,it1=<1/4*B+1*E+2,it1=<1/4*B+1/2*A+1,it1=<1/4*B+1/2*A+3/4,it1=<1/4*B+1/2*E+2,it1=<1/4*B+1/2*E+3/2,it1=<1/4*B+1/6*A+1/4,it1=<1/6*A+1/4*B+1,it1=<1/6*B+1/3*E+11/6,it1=<1/8*B+1/4*A+1,it1=<1/8*B+1/4*A+3/2,it1=<1/8*B+3/4*A+3/2,it1=<1/12*B+1/6*A+3/2,it1=<3/4*B+3/2*E+7/4,it1=<3/8*B+3/4*A+1/4,it1=<-1*E+1/4*B+1*A+1,it1=<-2/3*E+1/4*B+1/3*D+5/2,it1=<-2/3*E+5/12*B+1/2*A+1,it1=<-1/2*D+1/2*B+1*E+2,it1=<-1/2*D+1/4*B+1/2*A+1,it1=<-1/3*A+1/2*B+1*E+2,it1=<1/3*D+1/3*E+1/2*B+2,it1=<-2/3*E+1/4*B+1/3*D+1/2*A+1,it1=<3/2,it1=<5/2,it1=<7/4,it1=<9/4,it1=<13/4,it1=<15/4,it1=<17/8,it1=<19/4,it1=<21/8,it1=<29/8,it1=<33/8,it2=<3,it2=<6,it2=<-2*E+6,it2=<-2*E+11/2,it2=<-1*D+3,it2=<-1*D+5/2,it2=<1/2*B+1,it2=<-2*E+1*A+3,it2=<-2*E+1/2*B+4,it2=<1*A+ -2*E+3,it2=<2*E+3*A+1,it2=<1/2*B+ -1*D+1,it2=<-1*D+2*E+3*A+1,it2=<1*A+1/2*B+ -2*E+1,it2=<5/2,it2=<11/2
  with precondition: [3>=A,3>=B,3>=C,D>=0,E>=0,B>=2*D,A+D>=2*E,4*E+6*A>=B] 

f0(A,B,C,D,E,F,G):[46]: 1+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<4,it1=<5,it1=<10,it1=<-1*E+5,it1=<-1*E+9/2,it1=<3*E+2,it1=<3*E+5/2,it1=<3*E+7/4,it1=<-1/2*D+3,it1=<-1/2*D+7/2,it1=<-1/2*E+15/4,it1=<-1/4*B+11/4,it1=<1/2*A+1,it1=<1/2*A+1/4,it1=<1/2*A+7/4,it1=<1/2*B+7/4,it1=<1/2*B+13/4,it1=<1/2*D+3,it1=<1/2*D+5/2,it1=<1/4*A+5/4,it1=<1/4*B+1,it1=<1/4*B+5/2,it1=<1/4*B+7/4,it1=<1/4*B+11/4,it1=<1/4*B+17/4,it1=<3/2*D+7,it1=<3/2*D+13/2,it1=<3/2*D+25/4,it1=<3/4*B+29/4,it1=<2*A+3/2*D+1/2,it1=<3*E+1/2*A+1/2,it1=<-1/2*D+1/4*B+11/4,it1=<-1/2*E+1/4*D+13/4,it1=<-1/2*E+3/8*B+21/8,it1=<1/2*A+3*E+2,it1=<1/2*A+ -1/4*B+5/4,it1=<1/2*A+1/2*B+1/4,it1=<1/2*A+1/4*B+5/4,it1=<1/2*B+1*A+1/4,it1=<1/4*A+1/4*B+1,it1=<1/4*A+1/4*B+1/4,it1=<1/4*B+1*A+5/4,it1=<1/4*B+3*E+1,it1=<1/4*B+3*E+7/4,it1=<1/4*B+1/2*A+1,it1=<1/4*B+1/2*A+5/4,it1=<1/4*B+1/2*D+9/4,it1=<1/4*B+3/2*D+11/2,it1=<2*A+3/2*D+1/4*B+ -1/2,it1=<3*E+1/2*A+1/4*B+ -1/2,it1=<-1/2*D+1/4*B+1/2*A+5/4,it1=<-1/2*E+1/4*B+1/4*D+5/2,it1=<-1/2*E+3/8*B+1/2*A+9/8,it1=<1/4*B+1/2*A+3*E+1/4,it1=<1/4*B+1/2*A+1/2*D+3/4,it1=<-1/2*E+1/4*B+1/4*D+1/2*A+1,it1=<5/2,it1=<7/2,it1=<7/4,it1=<11/4,it1=<13/4,it1=<15/4,it1=<19/2,it1=<19/4,it1=<37/4,it2=<3,it2=<4,it2=<6,it2=<-2*E+6,it2=<-2*E+11/2,it2=<-1*D+3,it2=<-1*D+5/2,it2=<1*B+1,it2=<1*B+1/2,it2=<1/2*B+1,it2=<1/2*B+3/2,it2=<1/2*B+5/2,it2=<-2*E+1*A+3,it2=<-2*E+1*A+5/2,it2=<-2*E+1/2*B+4,it2=<-2*E+1/2*B+9/2,it2=<1*A+ -2*E+3,it2=<1/2*B+ -1*D+1,it2=<1/2*B+ -1*D+3/2,it2=<1*A+1/2*B+ -2*E+1,it2=<1*A+1/2*B+ -2*E+3/2,it2=<5/2,it2=<7/2,it2=<11/2
  with precondition: [3>=A,3>=B,3>=C,A>=0,D>=0,E>=0,B+1>=2*D,B+2*D>=1,A+D>=2*E,B+2*A+12*E>=3] 

f0(A,B,C,D,E,F,G):[47]: 1+it1*(3)
  Such that:it1=<3,it1=<4,it1=<6,it1=<-2*E+6,it1=<-2*E+9,it1=<-2*E+11/2,it1=<-2*E+17/2,it1=<-1*D+3,it1=<-1*D+6,it1=<-1*D+5/2,it1=<-1*D+11/2,it1=<1*B+1,it1=<1/2*B+1,it1=<1/2*B+3/2,it1=<-2*E+1*A+3,it1=<-2*E+1*A+6,it1=<-2*E+1*A+5/2,it1=<-2*E+1*A+11/2,it1=<-2*E+1/2*B+4,it1=<-2*E+1/2*B+9/2,it1=<-1*D+1*B+3,it1=<-1*D+1/2*B+3/2,it1=<-1*D+3/2*B+1,it1=<1*A+ -2*E+3,it1=<1*B+1*D+1,it1=<1*B+2*A+1,it1=<1/2*B+ -1*D+1,it1=<-2*E+1*B+1*D+4,it1=<-2*E+1/2*B+1*A+3/2,it1=<1*A+1*B+2*E+1,it1=<1*A+1/2*B+ -2*E+1,it1=<-2*E+1*A+1*B+1*D+1,it1=<-1*D+1*A+1*B+2*E+1,it1=<5/2,it1=<11/2
  with precondition: [3>=A,3>=B,3>=C,A>=0,B>=0,D>=0,E>=0,B+1>=2*D,A+D>=2*E,A+B+2*E>=D] 

f0(A,B,C,D,E,F,G):[48]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<3,it1=<-1*E+4,it1=<-1*E+11/2,it1=<1*E+2,it1=<-1/2*D+3,it1=<-1/2*D+3/2,it1=<-1/3*E+10/3,it1=<-1/4*B+3,it1=<-1/4*B+3/2,it1=<-1*D+ -1*E+11/2,it1=<-1*E+1/2*D+4,it1=<-3/4*B+1*D+3,it1=<-1/3*D+ -1/3*E+10/3,it1=<-1/3*E+2/3*D+10/3,it1=<1/2*B+ -1*E+4,it1=<1/2*D+ -1/4*B+3/2,it1=<1*D+ -1/2*A+ -3/4*B+3,it1=<-1/3*A+ -1/3*D+ -1/3*E+10/3,it1=<1/2*B+ -1*D+ -1*E+4,it1=<1/6*A+ -1/3*D+ -1/3*E+10/3,it1=<1/6*A+ -1/3*D+ -1/3*E+11/6,it1=<1/6*A+1/6*D+ -1/3*E+11/6,it1=<2/3*D+ -1/3*A+ -1/3*E+10/3,it1=<1/4,it1=<3/2,it1=<15/4,it2=<3,it2=<1*E,it2=<-1*D+5/2,it2=<1*D+1*E,it2=<1*E+3/2,it2=<2*E+ -1,it2=<2*E+ -5/3,it2=<3*E+ -2,it2=<-1/2*A+5/2,it2=<-1/3*E+8/3,it2=<-1/3*E+10/3,it2=<-1/4*B+7/3,it2=<-1/6*A+11/6,it2=<1/2*B+1,it2=<1/2*B+1*E,it2=<1/4*B+5/2,it2=<2/3*E+ -1/3,it2=<2/3*E+1/3,it2=<2/3*E+2/3,it2=<-1*D+ -1*E+11/2,it2=<-1*D+ -1*E+23/4,it2=<-1/3*D+ -1/3*E+8/3,it2=<-1/3*D+ -1/3*E+10/3,it2=<-1/3*D+ -1/3*E+35/12,it2=<-1/3*D+2/3*E+1/3,it2=<-1/4*B+1*E+ -2/3,it2=<-1/6*A+ -1/4*B+7/3,it2=<1/2*B+ -1*D+1,it2=<1/2*B+1/3*A+1/3,it2=<1/3*B+2/3*E+ -1/3,it2=<1/3*D+1/3*E+13/6,it2=<2/3*D+2/3*E+ -1/3,it2=<2/3*D+2/3*E+1/3,it2=<2/3*E+ -1/3*D+ -1/3,it2=<3/4*B+1/2*A+1,it2=<1*E+ -1/6*A+ -1/4*B+ -2/3,it2=<-1/3*A+ -1/3*D+ -1/3*E+10/3,it2=<1/2*B+ -1*D+ -1*E+4,it2=<1/3*D+1/3*E+ -1/6*A+13/6,it2=<1/4*B+ -1/3*D+ -1/3*E+13/6,it2=<2/3*D+2/3*E+ -1/3*A+1/3,it2=<2/3*E+ -1/3*A+ -1/3*D+1/3,it2=<3/4*B+ -1*D+ -1*E+7/2,it2=<3/4*B+1/2*A+ -1*D+1,it2=<5/2,it2=<5/3,it2=<7/3,it2=<8/3,it2=<9/2,it2=<11/6,it2=<13/4
  with precondition: [4*D+4*E=3*B+2*A+4,3>=B,3>=C,3>=E,D>=0,B+10>=4*E,B>=2*D,4*D+4*E>=3*B+4] 

f0(A,B,C,D,E,F,G):[49]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1*E+ -2,it1=<1*E+ -9/4,it1=<1*E+ -3/2,it1=<-1/2*D+1,it1=<-1/2*D+3/2,it1=<-1/2*D+3/4,it1=<-1/4*B+1,it1=<-1/4*B+3/2,it1=<-1/4*B+3/4,it1=<-1/2*A+ -1/2*D+1,it1=<-1/2*A+ -1/4*B+3/2,it1=<-1/2*D+1*E+ -2,it1=<-1/2*D+1*E+ -9/4,it1=<-1/2*D+1*E+ -3/2,it1=<-1/4*B+1*E+ -2,it1=<-1/4*B+1*E+ -9/4,it1=<-1/4*B+1*E+ -3/2,it1=<-1/4*B+ -1/2*A+3/2,it1=<-1/4*B+ -1/2*A+3/4,it1=<1*E+ -1/2*A+ -1/2*D+ -2,it1=<1*E+ -1/2*A+ -1/2*D+ -9/4,it1=<-1/2*A+ -1/4*B+1*E+ -3/2,it1=<3/2,it1=<3/4,it2=<1,it2=<2,it2=<3,it2=<1*E,it2=<1*D+1,it2=<1*E+ -7/6,it2=<1*E+ -3/2,it2=<2*E+ -4,it2=<-1/2*D+3/2,it2=<-1/2*D+11/6,it2=<-1/4*B+3/2,it2=<-1/4*B+11/6,it2=<1/2*B+1,it2=<2/3*E+ -1/3,it2=<-1*A+2*E+ -4,it2=<-1/2*A+ -1/4*B+3/2,it2=<-1/2*D+1*E+ -7/6,it2=<-1/2*D+1*E+ -3/2,it2=<-1/4*B+1*E+ -7/6,it2=<-1/4*B+1*E+ -3/2,it2=<-1/4*B+ -1/6*A+11/6,it2=<2/3*E+ -1/3*D+ -1/3,it2=<2/3*E+ -1/6*B+ -1/3,it2=<-1/2*A+ -1/4*B+1*E+ -3/2,it2=<-1/4*B+ -1/6*A+1*E+ -7/6,it2=<3/2,it2=<5/3,it2=<11/6
  with precondition: [2*D=B,3>=C,3>=E,A>=0,D>=0,2*E>=A+D+5] 

f0(A,B,C,D,E,F,G):[50]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<4,it1=<5,it1=<-1*E+4,it1=<-1*E+6,it1=<-1*E+7,it1=<-1*E+11/2,it1=<1*D+1,it1=<1*E+2,it1=<3*E+ -1,it1=<-1/2*D+3,it1=<-1/2*D+3/2,it1=<-1/3*E+10/3,it1=<-1/4*B+5/4,it1=<-1/4*B+11/4,it1=<-1/5*E+3,it1=<1/2*D+1,it1=<1/2*D+5/2,it1=<5/2*D+3/2,it1=<-1*D+ -1*E+6,it1=<-1*E+1/2*D+4,it1=<1*B+ -1*E+4,it1=<-3/4*B+1*D+9/4,it1=<-1/3*D+ -1/3*E+10/3,it1=<-1/3*E+2/3*D+10/3,it1=<-1/4*B+ -1/2*A+11/4,it1=<1/2*B+ -1*E+9/2,it1=<1/2*D+ -1/4*B+5/4,it1=<1/3*E+4/3*D+5/3,it1=<1*D+ -1/2*A+ -3/4*B+9/4,it1=<1/2*B+ -1*D+ -1*E+9/2,it1=<1/4*A+1/8*B+ -1/2*E+17/8,it1=<1/6*A+ -1/3*D+ -1/3*E+10/3,it1=<1/6*A+ -1/3*D+ -1/3*E+11/6,it1=<2/3*D+ -1/3*A+ -1/3*E+10/3,it1=<4/3*D+1/3*E+ -2/3*A+5/3,it1=<1/4,it1=<3/2,it1=<5/4,it1=<11/4,it2=<3,it2=<4,it2=<5,it2=<6,it2=<1*E,it2=<4/5*E,it2=<-1*D+3,it2=<1*B+1,it2=<1*D+1*E,it2=<1*E+2,it2=<1*E+3,it2=<1*E+3/2,it2=<2*E+ -1,it2=<2*E+ -5/3,it2=<3*E+ -2,it2=<4*E+ -4,it2=<4*E+ -14/3,it2=<5*E+ -5,it2=<-1/2*A+5/2,it2=<-1/3*E+8/3,it2=<-1/3*E+10/3,it2=<-1/4*B+25/12,it2=<-1/5*E+3,it2=<-1/5*E+7/3,it2=<-1/6*A+11/6,it2=<1/2*B+3/2,it2=<1/3*B+2/3*E,it2=<1/4*B+11/4,it2=<2/3*E+1,it2=<2/3*E+2,it2=<2/3*E+ -1/3,it2=<2/3*E+1/3,it2=<4/5*E+ -2/3,it2=<-1*D+ -1*E+6,it2=<-1*D+ -1*E+13/2,it2=<1*D+1*E+1,it2=<-1/3*D+ -1/3*E+8/3,it2=<-1/3*D+ -1/3*E+10/3,it2=<-1/3*D+ -1/3*E+19/6,it2=<-1/3*D+2/3*E+1/3,it2=<-1/3*E+1/6*B+5/2,it2=<-1/4*B+1*E+ -11/12,it2=<-1/4*B+ -1/2*A+11/4,it2=<-1/6*A+ -1/4*B+25/12,it2=<1/2*B+ -1*D+3/2,it2=<1/2*B+1*E+1/2,it2=<1/2*B+1/3*A+5/6,it2=<1/3*D+1/3*E+13/6,it2=<1/6*B+2/3*E+ -1/2,it2=<2/3*D+2/3*E+ -1/3,it2=<2/3*D+2/3*E+1/3,it2=<2/3*D+2/3*E+2/3,it2=<2/3*E+ -1/3*D+ -1/3,it2=<3/4*B+1/2*A+7/4,it2=<4/3*D+4/3*E+ -2,it2=<4/3*D+4/3*E+ -4/3,it2=<5/3*D+5/3*E+ -5/3,it2=<1*D+1*E+1/2*B+ -1/2,it2=<1*E+ -1/6*A+ -1/4*B+ -11/12,it2=<1/2*B+ -1*D+ -1*E+9/2,it2=<1/3*D+1/3*E+ -1/6*A+13/6,it2=<1/4*B+ -1/3*D+ -1/3*E+29/12,it2=<2/3*D+2/3*E+ -1/3*A+1/3,it2=<2/3*D+2/3*E+1/2*B+ -5/6,it2=<2/3*E+ -1/3*A+ -1/3*D+1/3,it2=<3/4*B+ -1*D+ -1*E+17/4,it2=<3/4*B+1/2*A+ -1*D+7/4,it2=<4/3*D+4/3*E+ -2/3*A+ -4/3,it2=<4/3*D+4/3*E+ -1/3*A+ -2,it2=<5/3*D+5/3*E+ -1/3*A+ -5/3,it2=<5/2,it2=<5/3,it2=<7/2,it2=<7/3,it2=<11/4,it2=<11/6,it2=<25/12
  with precondition: [4*D+4*E=3*B+2*A+7,3>=B,3>=C,3>=E,D>=0,B+11>=4*E,B+1>=2*D,B+2*D>=1,4*D+4*E>=3*B+7] 

f0(A,B,C,D,E,F,G):[51]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1*E+ -2,it1=<1*E+ -9/4,it1=<1*E+ -7/4,it1=<1*E+ -5/2,it1=<1*E+ -3/2,it1=<-1/2*D+1,it1=<-1/2*D+3/2,it1=<-1/2*D+3/4,it1=<-1/4*B+1/2,it1=<-1/4*B+3/4,it1=<-1/4*B+5/4,it1=<1/2*D+1,it1=<1/2*D+1/2,it1=<1/2*D+1/4,it1=<1/4*B+1/2,it1=<1/4*B+3/4,it1=<1/4*B+5/4,it1=<-1/2*A+1*E+ -2,it1=<-1/2*A+1*E+ -9/4,it1=<-1/2*A+1*E+ -3/2,it1=<-1/2*A+ -1/2*D+3/4,it1=<-1/2*A+ -1/4*B+5/4,it1=<-1/2*D+1*E+ -2,it1=<-1/2*D+1*E+ -9/4,it1=<-1/2*D+1*E+ -3/2,it1=<-1/4*B+1*E+ -9/4,it1=<-1/4*B+1*E+ -7/4,it1=<-1/4*B+1*E+ -5/2,it1=<-1/4*B+ -1/2*A+3/4,it1=<-1/4*B+ -1/2*A+5/4,it1=<1*E+ -1/2*A+ -1/2*D+ -9/4,it1=<1*E+ -1/4*B+ -1/2*A+ -9/4,it1=<-1/2*A+ -1/4*B+1*E+ -7/4,it1=<1/2,it1=<3/2,it1=<3/4,it1=<5/4,it2=<1,it2=<2,it2=<3,it2=<1*E,it2=<2*D,it2=<1*B+1,it2=<1*E+ -17/12,it2=<1*E+ -7/4,it2=<4*E+ -10,it2=<-1/2*D+3/2,it2=<-1/2*D+11/6,it2=<-1/4*B+5/4,it2=<-1/4*B+19/12,it2=<1/3*D+4/3,it2=<1/6*B+3/2,it2=<2/3*E+ -1/2,it2=<2/3*E+ -1/3,it2=<4/3*E+ -7/3,it2=<-2*A+4*E+ -10,it2=<-1/2*A+ -1/4*B+5/4,it2=<-1/2*D+1*E+ -7/6,it2=<-1/2*D+1*E+ -3/2,it2=<-1/2*D+ -1/6*A+11/6,it2=<-1/3*A+2/3*E+ -1/3,it2=<-1/3*A+4/3*E+ -7/3,it2=<-1/4*B+1*E+ -17/12,it2=<-1/4*B+1*E+ -7/4,it2=<2/3*E+ -1/3*D+ -1/3,it2=<2/3*E+ -1/6*B+ -1/2,it2=<2/3*E+1/3*D+ -2/3,it2=<2/3*E+1/6*B+ -1/2,it2=<-1/2*A+ -1/4*B+1*E+ -7/4,it2=<-1/2*D+ -1/6*A+1*E+ -7/6,it2=<3/2,it2=<5/3,it2=<5/4,it2=<19/12
  with precondition: [2*D=B+1,3>=C,3>=E,A>=0,2*D>=1,2*E>=A+D+5] 

f0(A,B,C,D,E,F,G):[52]: 1+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<2,it1=<3,it1=<1*E,it1=<-1*D+1*E,it1=<1*E+ -1/2*D,it1=<1*E+1/4*B,it1=<1*E+ -3/4,it1=<1*E+ -1/4,it1=<1*E+1/2,it1=<1*E+1/4,it1=<1*E+3/4,it1=<1*E+5/12,it1=<2*E+ -1/4,it1=<2*E+1/2,it1=<2*E+1/4,it1=<4*E+ -2,it1=<4*E+ -37/12,it1=<4*E+ -13/4,it1=<4*E+ -7/4,it1=<4*E+ -3/2,it1=<5*E+ -4,it1=<5*E+ -17/4,it1=<5*E+ -13/3,it1=<5*E+ -9/2,it1=<6*E+ -7/2,it1=<-5/9*E+25/6,it1=<-2/3*E+19/4,it1=<-2/3*E+53/12,it1=<-1/2*D+3,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*D+8/3,it1=<-1/2*D+11/4,it1=<-1/2*D+25/9,it1=<-1/2*D+35/8,it1=<-1/3*E+7/2,it1=<-1/3*E+15/4,it1=<-1/3*E+43/8,it1=<-1/3*E+43/12,it1=<-1/4*B+3,it1=<-1/4*B+7/2,it1=<-1/6*D+8/3,it1=<1/2*A+1,it1=<1/2*A+1/4,it1=<1/2*A+3/2,it1=<1/2*A+3/4,it1=<1/2*E+7/8,it1=<1/2*E+11/8,it1=<1/2*E+13/8,it1=<1/2*E+17/8,it1=<1/2*E+25/24,it1=<1/2*E+37/24,it1=<1/3*E+2/3,it1=<1/3*E+4/3,it1=<1/3*E+5/6,it1=<1/3*E+7/4,it1=<1/3*E+7/6,it1=<1/3*E+9/4,it1=<1/3*E+17/12,it1=<1/4*A+11/8,it1=<1/4*A+13/8,it1=<1/4*B+2,it1=<1/4*B+3/2,it1=<1/4*B+3/4,it1=<1/4*B+5/2,it1=<1/4*B+9/4,it1=<1/4*B+11/6,it1=<1/4*B+11/12,it1=<1/6*A+3/2,it1=<1/6*A+5/3,it1=<1/6*A+7/4,it1=<1/6*A+23/12,it1=<1/8*B+3,it1=<1/8*B+5/2,it1=<1/8*B+7/4,it1=<1/8*B+9/4,it1=<1/8*B+15/4,it1=<1/8*B+17/4,it1=<1/8*B+29/12,it1=<1/12*B+2,it1=<2/9*E+115/36,it1=<3/2*E+ -1/8,it1=<3/2*E+3/8,it1=<3/2*E+5/8,it1=<3/2*E+7/8,it1=<3/2*E+19/24,it1=<3/4*A+1*E,it1=<3/4*E+19/16,it1=<3/4*E+27/16,it1=<3/4*E+31/16,it1=<3/8*B+1,it1=<3/8*B+3,it1=<3/8*B+5/2,it1=<3/8*B+7/6,it1=<3/8*B+13/4,it1=<3/16*B+5/2,it1=<4/3*E+2/3,it1=<5/2*E+ -1,it1=<5/2*E+ -5/6,it1=<5/2*E+ -3/2,it1=<5/2*E+ -3/4,it1=<5/2*E+ -1/4,it1=<5/3*E+ -1/6,it1=<5/16*B+21/8,it1=<5/16*B+23/8,it1=<7/2*E+ -2,it1=<7/2*E+ -3/2,it1=<10/3*E+ -1/2,it1=<13/2*E+ -73/12,it1=<13/2*E+ -25/4,it1=<13/3*E+ -3,it1=<13/3*E+ -49/12,it1=<13/3*E+ -47/12,it1=<13/3*E+ -10/3,it1=<15/2*E+ -29/4,it1=<15/2*E+ -27/4,it1=<15/2*E+ -19/3,it1=<15/2*E+ -13/2,it1=<15/4*E+ -19/8,it1=<19/3*E+ -13/3,it1=<23/4*E+ -4,it1=<23/4*E+ -17/4,it1=<37/3*E+ -12,it1=<-5*D+37/3*E+ -12,it1=<-3*D+15/2*E+ -29/4,it1=<-3*D+15/2*E+ -27/4,it1=<-3*D+15/2*E+ -13/2,it1=<-2*D+5*E+ -4,it1=<-2*D+5*E+ -17/4,it1=<-2*D+5*E+ -9/2,it1=<-1*D+1*E+1/2,it1=<-1*D+1*E+1/4,it1=<-1*D+1*E+5/12,it1=<-1*D+5/2*E+ -1,it1=<-1*D+5/2*E+ -5/6,it1=<-1*D+5/2*E+ -3/2,it1=<-1*D+5/2*E+ -3/4,it1=<-1*D+5/2*E+ -1/4,it1=<-1*E+1*A+3,it1=<-1*E+1/2*A+4,it1=<-1*E+1/2*A+9/2,it1=<1*E+ -1/2*D+ -3/4,it1=<1*E+ -1/4*B+1/2,it1=<1*E+1/4*B+ -1/2*D,it1=<1*E+1/4*B+ -1/2,it1=<1*E+1/4*B+ -1/4,it1=<1*E+3/2*A+1,it1=<1*E+3/2*A+ -1/4,it1=<1*E+3/2*A+ -1/12,it1=<1*E+3/2*A+3/2,it1=<1*E+3/2*A+5/4,it1=<-19/6*D+15/2*E+ -19/3,it1=<-17/3*D+37/3*E+ -12,it1=<-13/6*D+5*E+ -13/3,it1=<-11/12*D+3/2*E+19/24,it1=<-9/4*D+6*E+ -7/2,it1=<-9/4*D+15/2*E+ -29/4,it1=<-9/4*D+23/4*E+ -4,it1=<-9/4*D+23/4*E+ -17/4,it1=<-8/3*D+19/3*E+ -13/3,it1=<-7/2*D+15/2*E+ -19/3,it1=<-7/2*D+15/2*E+ -13/2,it1=<-7/6*D+1/3*E+3/4*B,it1=<-7/6*D+1/3*E+9/4,it1=<-7/6*D+4/3*E+1,it1=<-7/6*D+10/3*E+ -1/2,it1=<-5/2*D+5*E+ -13/3,it1=<-5/2*D+5*E+ -9/2,it1=<-5/2*D+13/2*E+ -73/12,it1=<-5/2*D+13/2*E+ -25/4,it1=<-5/3*D+13/3*E+ -3,it1=<-5/3*D+13/3*E+ -49/12,it1=<-5/3*D+13/3*E+ -47/12,it1=<-5/3*D+13/3*E+ -10/3,it1=<-5/4*D+3/2*E+5/8,it1=<-5/4*D+3/2*E+19/24,it1=<-5/9*E+ -2/9*D+25/6,it1=<-5/9*E+ -1/9*B+79/18,it1=<-5/18*D+ -1/9*B+3,it1=<-3/2*D+4*E+ -2,it1=<-3/2*D+4*E+ -37/12,it1=<-3/2*D+4*E+ -13/4,it1=<-3/2*D+4*E+ -7/4,it1=<-3/2*D+4*E+ -3/2,it1=<-3/2*D+5*E+ -4,it1=<-3/2*D+5*E+ -17/4,it1=<-3/2*D+5*E+ -9/2,it1=<-3/2*D+7/2*E+ -2,it1=<-3/2*D+7/2*E+ -3/2,it1=<-3/2*D+13/3*E+ -49/12,it1=<-3/2*D+15/4*E+ -19/8,it1=<-3/4*D+2*E+ -1/4,it1=<-3/4*D+2*E+1/2,it1=<-3/4*D+2*E+1/4,it1=<-3/4*D+1/8*B+3/2*E,it1=<-3/4*D+3/2*E+ -1/8,it1=<-3/4*D+3/2*E+3/8,it1=<-3/4*D+3/2*E+5/8,it1=<-3/4*D+3/2*E+7/8,it1=<-3/4*D+5/2*E+ -1,it1=<-3/4*D+5/2*E+ -3/2,it1=<-3/8*D+3/4*E+19/16,it1=<-3/8*D+3/4*E+27/16,it1=<-3/8*D+3/4*E+31/16,it1=<-2/3*D+1*E+5/12,it1=<-2/3*D+ -2/3*E+19/4,it1=<-2/3*D+5/3*E+ -1/6,it1=<-2/3*E+1/3*D+17/4,it1=<-2/3*E+3/4*B+5/2,it1=<-2/3*E+5/12*B+19/6,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*E+ -1/4,it1=<-1/2*D+1*E+1/2,it1=<-1/2*D+1*E+1/4,it1=<-1/2*D+1*E+3/4,it1=<-1/2*D+1/3*E+3/4*B,it1=<-1/2*D+1/3*E+9/4,it1=<-1/2*D+1/4*B+2,it1=<-1/2*D+1/4*B+1*E,it1=<-1/2*D+3/8*B+13/4,it1=<-1/2*D+4/3*E+2/3,it1=<-1/2*D+5/3*E+ -1/6,it1=<-1/3*D+ -1/3*E+7/2,it1=<-1/3*D+ -1/3*E+15/4,it1=<-1/3*D+ -1/3*E+43/8,it1=<-1/3*E+ -1/6*D+43/12,it1=<-1/3*E+1/4*B+3,it1=<-1/3*E+3/8*B+17/4,it1=<-1/4*D+1/2*E+7/8,it1=<-1/4*D+1/2*E+11/8,it1=<-1/4*D+1/2*E+13/8,it1=<-1/4*D+1/2*E+17/8,it1=<-1/4*D+1/2*E+25/24,it1=<-1/4*D+1/2*E+37/24,it1=<-1/4*D+3/4*A+1*E,it1=<-1/6*D+1/3*E+2/3,it1=<-1/6*D+1/3*E+4/3,it1=<-1/6*D+1/3*E+5/6,it1=<-1/6*D+1/3*E+7/4,it1=<-1/6*D+1/3*E+7/6,it1=<-1/6*D+1/3*E+17/12,it1=<1/2*A+ -1/4*B+2,it1=<1/2*A+ -1/4*B+3/2,it1=<1/2*A+1/2*D+3/2,it1=<1/2*A+1/2*D+3/4,it1=<1/2*A+1/4*B+1,it1=<1/2*A+1/4*B+1/2,it1=<1/2*A+1/4*B+3/4,it1=<1/2*A+2/3*E+5/6,it1=<1/2*E+ -1/4*D+7/8,it1=<1/2*E+1/8*B+1,it1=<1/2*E+1/8*B+1/2,it1=<1/2*E+3/4*A+2,it1=<1/2*E+3/4*A+5/4,it1=<1/2*E+3/4*A+7/4,it1=<1/3*E+ -1/6*D+7/6,it1=<1/3*E+ -1/6*D+17/12,it1=<1/3*E+1/2*A+5/3,it1=<1/3*E+1/4*B+ -1/12,it1=<1/3*E+1/12*B+7/6,it1=<1/4*A+1/4*D+13/8,it1=<1/4*A+1/8*B+1,it1=<1/4*A+1/8*B+3/2,it1=<1/4*A+1/8*B+7/4,it1=<1/4*A+3/8*B+1/4,it1=<1/4*A+3/8*B+5/12,it1=<1/4*B+1/2*A+1,it1=<1/4*B+1/2*A+1/2,it1=<1/4*B+1/2*A+3/4,it1=<1/4*B+1/6*A+1/4,it1=<1/4*B+1/6*A+5/12,it1=<1/6*A+ -1/3*E+3,it1=<1/6*A+1/4*B+1,it1=<1/6*A+1/4*B+4/3,it1=<1/6*A+1/6*D+5/3,it1=<1/6*A+1/6*D+23/12,it1=<1/6*A+1/12*B+3/2,it1=<1/8*B+1/4*A+1,it1=<1/8*B+1/4*A+3/2,it1=<1/8*B+1/4*A+5/3,it1=<1/8*B+1/4*A+7/4,it1=<1/8*B+1/4*A+9/4,it1=<1/8*B+3/4*A+2,it1=<1/8*B+3/4*A+3/2,it1=<1/12*B+1/6*A+3/2,it1=<3/2*A+2*E+ -1,it1=<3/2*A+2*E+ -5/4,it1=<3/2*A+2*E+ -3/2,it1=<3/2*E+3/8*B+ -5/4,it1=<3/2*E+9/4*A+1,it1=<3/4*A+1*E+1/2,it1=<3/4*A+3/8*B+1/4,it1=<3/8*B+3/4*A+1,it1=<3/8*B+3/4*A+1/4,it1=<3/8*B+3/4*A+3/4,it1=<3/16*B+3/8*A+11/8,it1=<4/3*E+3/2*A+ -13/12,it1=<5/16*B+3/8*A+3/2,it1=<5/16*B+3/8*A+7/4,it1=<9/4*A+3*E+ -11/4,it1=<-1*D+1/4*B+1*E+ -1/2,it1=<-1*D+1/4*B+1*E+ -1/3,it1=<1*E+ -1/4*B+ -1/2*D+1/2,it1=<1*E+1/4*B+ -1/2*D+ -1/2,it1=<1*E+1/4*B+ -1/2*D+ -1/4,it1=<-11/12*D+3/8*B+3/2*E+ -1/3,it1=<-5/4*D+3/8*B+3/2*E+ -1/2,it1=<-5/4*D+3/8*B+3/2*E+ -1/3,it1=<-5/9*E+ -1/9*B+5/18*A+32/9,it1=<-3/4*D+1/8*B+3/2*E+1/2,it1=<-3/4*D+3/8*B+3/2*E+ -5/4,it1=<-3/4*D+3/8*B+3/2*E+ -3/4,it1=<-3/4*D+3/8*B+3/2*E+ -1/2,it1=<-3/4*D+9/4*A+3*E+ -11/4,it1=<-3/8*D+3/16*B+3/4*E+5/8,it1=<-3/8*D+5/16*B+3/4*E+1,it1=<-3/8*D+5/16*B+3/4*E+3/4,it1=<-2/3*D+ -2/3*E+3/4*B+5/2,it1=<-2/3*D+1/4*B+1*E+ -1/3,it1=<-2/3*E+1/2*A+3/4*B+1,it1=<-2/3*E+1/4*B+1/3*D+7/2,it1=<-2/3*E+1/6*A+5/12*B+8/3,it1=<-1/2*D+ -1/3*B+4/3*E+5/3,it1=<-1/2*D+ -1/4*B+1*E+1,it1=<-1/2*D+ -1/4*B+1*E+1/2,it1=<-1/2*D+1/4*B+1*E+ -1/2,it1=<-1/2*D+1/4*B+1*E+ -1/4,it1=<-1/2*D+1/4*B+1/2*A+1/2,it1=<-1/2*D+3/2*A+2*E+ -1,it1=<-1/2*D+3/2*A+2*E+ -5/4,it1=<-1/2*D+3/2*A+2*E+ -3/2,it1=<-1/2*D+3/8*B+3/4*A+1,it1=<-1/3*B+1/3*E+1/2*A+8/3,it1=<-1/3*D+ -1/3*E+1/4*B+3,it1=<-1/3*D+ -1/3*E+3/8*B+17/4,it1=<-1/3*E+ -1/6*D+5/12*B+7/3,it1=<-1/3*E+1/4*B+2/3*A+1,it1=<-1/3*E+3/8*B+11/12*A+3/2,it1=<-1/4*D+1/8*B+1/2*E+1,it1=<-1/4*D+1/8*B+1/2*E+1/2,it1=<-1/4*D+1/8*B+1/2*E+5/4,it1=<-1/4*D+1/8*B+1/2*E+7/4,it1=<-1/4*D+1/8*B+1/2*E+7/6,it1=<-1/4*D+3/4*A+1*E+1/2,it1=<-1/4*D+3/8*B+1/2*E+ -1/4,it1=<-1/4*D+3/8*B+1/2*E+ -1/12,it1=<-1/6*D+1/2*A+2/3*E+5/6,it1=<-1/6*D+1/4*B+1/3*E+1,it1=<-1/6*D+1/4*B+1/3*E+ -1/12,it1=<-1/6*D+1/4*B+1/3*E+1/12,it1=<-1/6*D+1/4*B+1/3*E+2/3,it1=<-1/6*D+1/12*B+1/3*E+7/6,it1=<-1/6*D+4/3*E+3/2*A+ -13/12,it1=<1/2*E+1/8*B+ -1/4*D+1,it1=<1/2*E+1/8*B+ -1/4*D+1/2,it1=<1/3*D+1/3*E+3/2*A+5/2,it1=<1/3*E+1/4*B+ -1/6*D+ -1/12,it1=<1/3*E+1/12*B+ -1/6*D+7/6,it1=<1/6*A+ -1/3*D+ -1/3*E+3,it1=<3/2*E+3/8*B+ -3/4*D+ -5/4,it1=<-2/3*D+ -2/3*E+1/2*A+3/4*B+1,it1=<-1/3*D+ -1/3*E+1/4*B+2/3*A+1,it1=<-1/3*D+ -1/3*E+3/8*B+11/12*A+3/2,it1=<3/2,it1=<5/2,it1=<5/3,it1=<7/2,it1=<7/4,it1=<8/3,it1=<9/4,it1=<11/4,it1=<13/4,it1=<13/6,it1=<15/4,it1=<17/8,it1=<19/8,it1=<21/8,it1=<23/8,it1=<27/8,it1=<29/8,it1=<29/12,it1=<31/12,it1=<33/8,it1=<35/8,it1=<37/8,it1=<49/16,it1=<55/24,it1=<57/16,it1=<61/16,it1=<67/24,it2=<2,it2=<3,it2=<4,it2=<1/2*B,it2=<-3*D+4,it2=<-3*D+7/2,it2=<-2*E+8,it2=<-2*E+9,it2=<-2*E+15/2,it2=<-2*E+17/2,it2=<-1*D+2,it2=<-1*D+3,it2=<-1*D+4,it2=<-1*D+3/2,it2=<-1*D+5/2,it2=<-1*D+7/2,it2=<-1*D+7/3,it2=<-1*D+11/6,it2=<-1*D+23/4,it2=<2*E+ -1/2,it2=<3*A+4,it2=<6*E+ -2,it2=<8*E+ -8,it2=<8*E+ -7,it2=<8*E+ -23/3,it2=<10*E+ -10,it2=<16*E+ -15,it2=<24*E+ -25,it2=<-2/3*E+4,it2=<-2/3*E+7/2,it2=<-2/3*E+14/3,it2=<-2/3*E+25/6,it2=<-1/3*D+3,it2=<-1/3*D+5/2,it2=<-1/3*D+7/3,it2=<-1/3*D+11/6,it2=<1/2*B+3,it2=<1/2*B+ -1*D,it2=<1/2*B+1*A,it2=<-12*D+24*E+ -25,it2=<-10*D+24*E+ -25,it2=<-9*D+16*E+ -15,it2=<-7*D+16*E+ -15,it2=<-4*D+8*E+ -8,it2=<-4*D+8*E+ -7,it2=<-4*D+8*E+ -23/3,it2=<-4*D+10*E+ -10,it2=<-3*D+1*B+1,it2=<-3*D+6*E+ -2,it2=<-3*D+8*E+ -8,it2=<-3*D+3/2*B+ -1,it2=<-2*D+ -2*E+9,it2=<-2*D+ -2*E+17/2,it2=<-2*E+1*A+5,it2=<-2*E+1*B+6,it2=<-2*E+3/2*B+4,it2=<-1*A+ -1*D+6,it2=<-1*D+1*B+1,it2=<-1*D+2*E+ -1/2,it2=<-1*D+1/2*B+1,it2=<-1*D+1/2*B+1/3,it2=<-1*D+3/2*B+ -1,it2=<2*E+3*A+ -2,it2=<-10/3*D+8*E+ -7,it2=<-10/3*D+8*E+ -23/3,it2=<-3/4*D+ -1/8*B+6,it2=<-2/3*D+ -2/3*E+4,it2=<-2/3*D+ -2/3*E+7/2,it2=<-2/3*D+ -2/3*E+14/3,it2=<-2/3*D+ -2/3*E+25/6,it2=<-2/3*E+1/2*B+2,it2=<-2/3*E+1/2*B+8/3,it2=<-1/2*B+3*A+6,it2=<-1/3*D+1/2*B+1,it2=<-1/3*D+1/2*B+1/3,it2=<1/2*B+ -2*E+6,it2=<1/3*A+ -2/3*E+3,it2=<1/3*A+ -2/3*E+11/3,it2=<-2*D+ -2*E+1*B+6,it2=<-2*D+ -2*E+3/2*B+4,it2=<-1*D+2*E+3*A+ -2,it2=<-1*D+1/2*B+2*E+ -2,it2=<1*A+1*B+ -2*E+3,it2=<-2/3*D+ -2/3*E+1/2*B+2,it2=<-2/3*D+ -2/3*E+1/2*B+8/3,it2=<1/2*B+1/3*A+ -2/3*E+1,it2=<1/2*B+1/3*A+ -2/3*E+5/3,it2=<1/3*A+ -2/3*D+ -2/3*E+3,it2=<1/3*A+ -2/3*D+ -2/3*E+11/3,it2=<3/2*B+1*A+ -2*E+1,it2=<1*A+1*B+ -2*D+ -2*E+3,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+1,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+5/3,it2=<3/2*B+1*A+ -2*D+ -2*E+1,it2=<3/2,it2=<5/2,it2=<7/2,it2=<7/3,it2=<9/2,it2=<11/6,it2=<23/4,it2=<41/8,it3=<3,it3=<1*E,it3=<1/2*B,it3=<8/9*E,it3=<-1*D+3/2,it3=<-1*D+15/4,it3=<-1*E+17/4,it3=<1*E+5/4,it3=<1*E+11/12,it3=<8*E+ -8,it3=<13*E+ -13,it3=<13*E+ -40/3,it3=<-4/9*D+8/9*E,it3=<-1/2*A+5/2,it3=<-1/9*D+8/9*E,it3=<1/2*B+ -1*D,it3=<1/2*B+2/3,it3=<1/3*A+2/3,it3=<1/3*D+4/3,it3=<1/3*E+2,it3=<2/3*E+ -1/3,it3=<2/3*E+1/2,it3=<2/3*E+1/3,it3=<3/2*E+15/8,it3=<3/4*A+9/8*B,it3=<3/4*B+1/2*A,it3=<3/4*B+3/2,it3=<3/4*B+7/6,it3=<9/8*B+9/4,it3=<26/3*E+ -9,it3=<39/2*E+ -39/2,it3=<-6*D+13*E+ -13,it3=<-5*D+13*E+ -13,it3=<-5*D+13*E+ -40/3,it3=<-4*D+8*E+ -8,it3=<-3*D+8*E+ -8,it3=<-1*D+3/4*B+3/2,it3=<-1*E+1/2*D+4,it3=<2*E+3*A+ -2,it3=<-15/2*D+39/2*E+ -39/2,it3=<-10/3*D+26/3*E+ -9,it3=<-3/2*D+1*E+5/4,it3=<-3/4*D+3/2*E+15/8,it3=<-1/2*D+1*E+5/4,it3=<-1/2*D+1*E+11/12,it3=<-1/3*D+2/3*E+1/2,it3=<-1/6*D+1/3*E+2,it3=<-1/12*B+1/3*E+13/6,it3=<-1/18*B+8/9*E+1/9,it3=<1/2*A+1/2*D+3/2,it3=<1/2*A+3/4*B+ -1/3,it3=<1/2*B+1/3*A+ -1/3,it3=<1/3*A+1/3*D+2/3,it3=<2/3*E+ -1/3*A+1/3,it3=<2/3*E+ -1/3*D+ -1/3,it3=<3/4*B+1/2*A+ -1*D,it3=<-1*D+2*E+3*A+ -2,it3=<-3/2*D+3/4*B+1*E+ -1,it3=<-3/4*D+9/8*B+3/2*E+ -3/2,it3=<-1/2*D+3/4*B+1*E+ -1,it3=<-1/2*D+3/4*B+1*E+ -4/3,it3=<-1/3*D+ -1/18*B+8/9*E+1/9,it3=<-1/3*D+1/2*B+2/3*E+ -1,it3=<2/3*E+ -1/3*A+ -1/3*D+1/3,it3=<3/2,it3=<4/3,it3=<5/2,it3=<5/3,it3=<13/6,it3=<15/4,it3=<41/12,it3=<45/8
  with precondition: [3>=A,3>=B,3>=C,3>=E,D>=0,B>=2*D+2,A+D+3>=2*E,2*E>=A+D+2,4*E+6*A>=B+4] 

f0(A,B,C,D,E,F,G):[53]: 1+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<2,it1=<3,it1=<4,it1=<5,it1=<7,it1=<8,it1=<9,it1=<10,it1=<1*E,it1=<2*E,it1=<3*E,it1=<4*E,it1=<-2*D+4*E,it1=<-1*D+1*E,it1=<-1*D+2*E,it1=<1*B+7,it1=<1*B+25/4,it1=<1*E+1,it1=<1*E+6,it1=<1*E+ -1/2*D,it1=<1*E+1/4*B,it1=<1*E+ -3/4,it1=<1*E+ -1/4,it1=<1*E+1/2,it1=<1*E+2/3,it1=<1*E+3/2,it1=<1*E+3/4,it1=<1*E+5/2,it1=<1*E+5/4,it1=<1*E+11/2,it1=<1*E+21/4,it1=<2*E+2,it1=<2*E+ -1/4,it1=<2*E+1/2,it1=<2*E+1/4,it1=<2*E+2/3,it1=<2*E+3/2,it1=<2*E+5/4,it1=<3*E+ -1,it1=<3*E+ -5/4,it1=<3*E+ -1/2,it1=<3*E+ -1/4,it1=<3*E+1/2,it1=<4*E+ -3,it1=<4*E+ -2,it1=<4*E+ -15/4,it1=<4*E+ -11/4,it1=<4*E+ -7/2,it1=<4*E+ -5/2,it1=<4*E+ -3/2,it1=<4*E+ -3/4,it1=<4*E+ -1/2,it1=<5*E+ -4,it1=<5*E+ -9/2,it1=<-1/2*D+3,it1=<-1/2*D+1*E,it1=<-1/2*D+5/2,it1=<-1/2*D+8/3,it1=<-1/2*D+11/2,it1=<-1/2*E+19/4,it1=<-1/3*E+4,it1=<-1/3*E+7/2,it1=<-1/3*E+13/2,it1=<-1/4*B+11/4,it1=<-1/4*B+13/4,it1=<-1/4*E+7/2,it1=<1/2*A+1,it1=<1/2*A+3/4*B,it1=<1/2*A+1/4,it1=<1/2*A+3/4,it1=<1/2*A+7/4,it1=<1/2*A+13/2,it1=<1/2*B+2,it1=<1/2*B+4,it1=<1/2*B+7/4,it1=<1/2*B+13/4,it1=<1/2*B+15/4,it1=<1/2*B+19/4,it1=<1/2*E+1,it1=<1/2*E+1/2,it1=<1/2*E+3/2,it1=<1/2*E+3/4,it1=<1/2*E+5/4,it1=<1/2*E+9/4,it1=<1/4*A+3/2,it1=<1/4*A+5/4,it1=<1/4*A+7/4,it1=<1/4*B+1,it1=<1/4*B+2,it1=<1/4*B+3,it1=<1/4*B+7,it1=<1/4*B+5/2,it1=<1/4*B+5/4,it1=<1/4*B+7/4,it1=<1/4*B+9/4,it1=<1/4*B+11/4,it1=<1/4*B+13/4,it1=<1/4*B+17/4,it1=<1/4*B+19/4,it1=<1/4*B+31/4,it1=<1/8*B+17/8,it1=<3/2*E+1/2,it1=<3/4*B+17/4,it1=<3/4*B+19/4,it1=<3/4*B+29/4,it1=<3/4*E+19/8,it1=<-2*D+1*A+23/4,it1=<-2*D+4*E+ -3/4,it1=<-2*D+4*E+ -1/2,it1=<-1*D+1*E+1/2,it1=<-1*D+1*E+2/3,it1=<-1*D+2*E+2,it1=<-1*D+2*E+ -1/4,it1=<-1*D+2*E+1/2,it1=<-1*D+2*E+1/4,it1=<-1*D+2*E+3/2,it1=<-1*D+2*E+5/4,it1=<-1*D+5*E+ -4,it1=<-1*D+5*E+ -9/2,it1=<-1*D+1/2*A+4,it1=<-1*D+1/2*A+3/4*B,it1=<-1*D+1/2*A+15/4,it1=<-1*D+1/2*E+9/4,it1=<1*A+1/2*B+1/4,it1=<1*B+2*A+1,it1=<1*D+1*E+5,it1=<1*D+1*E+11/2,it1=<1*D+1*E+19/4,it1=<1*E+ -1/2*D+ -3/4,it1=<1*E+ -1/2*D+3/4,it1=<1*E+ -1/4*B+1/4,it1=<1*E+1/4*B+ -1/2*D,it1=<1*E+1/4*B+1/4,it1=<2*A+1*B+1/4,it1=<2*A+3/4*B+5/4,it1=<2*E+1/2*B+ -7/4,it1=<3*E+1/2*A+ -5/2,it1=<-3/2*D+2*E+1/2,it1=<-3/2*D+2*E+2/3,it1=<-3/5*E+ -1/10*B+22/5,it1=<-3/8*D+3/2*E+1/2,it1=<-3/10*D+ -1/10*B+29/10,it1=<-2/3*D+1*E+2/3,it1=<-1/2*D+1*E+1,it1=<-1/2*D+1*E+6,it1=<-1/2*D+1*E+ -3/4,it1=<-1/2*D+1*E+ -1/4,it1=<-1/2*D+1*E+1/2,it1=<-1/2*D+1*E+3/2,it1=<-1/2*D+1*E+3/4,it1=<-1/2*D+1*E+5/2,it1=<-1/2*D+1*E+5/4,it1=<-1/2*D+1*E+11/2,it1=<-1/2*D+1*E+21/4,it1=<-1/2*D+4*E+ -3,it1=<-1/2*D+4*E+ -2,it1=<-1/2*D+4*E+ -15/4,it1=<-1/2*D+4*E+ -11/4,it1=<-1/2*D+4*E+ -7/2,it1=<-1/2*D+4*E+ -5/2,it1=<-1/2*D+4*E+ -3/2,it1=<-1/2*D+5*E+ -9/2,it1=<-1/2*D+ -1/2*E+19/4,it1=<-1/2*D+1/2*B+4,it1=<-1/2*D+1/2*E+9/4,it1=<-1/2*D+1/4*A+2,it1=<-1/2*D+1/4*B+1*E,it1=<-1/2*D+1/4*B+9/4,it1=<-1/2*E+1/4*D+4,it1=<-1/2*E+5/8*B+23/8,it1=<-1/3*D+ -1/3*E+4,it1=<-1/3*D+ -1/3*E+7/2,it1=<-1/3*D+ -1/3*E+13/2,it1=<-1/3*E+1/4*B+13/4,it1=<-1/4*B+1/2*A+11/4,it1=<-1/4*D+1/2*E+1,it1=<-1/4*D+1/2*E+1/2,it1=<-1/4*D+1/2*E+3/2,it1=<-1/4*D+1/2*E+3/4,it1=<-1/4*D+1/2*E+5/4,it1=<-1/4*D+1/4*B+1/2*E,it1=<-1/4*E+1/8*D+27/8,it1=<1/2*A+3*E+ -1,it1=<1/2*A+3*E+ -1/2,it1=<1/2*A+4*E+ -7/2,it1=<1/2*A+ -1/4*B+5/4,it1=<1/2*A+ -1/4*B+7/4,it1=<1/2*A+1/2*B+1/2,it1=<1/2*A+1/2*B+1/4,it1=<1/2*A+1/4*B+1,it1=<1/2*A+1/4*B+3/4,it1=<1/2*A+1/4*B+5/4,it1=<1/2*A+1/4*B+7/4,it1=<1/2*A+1/4*B+11/2,it1=<1/2*A+3/4*B+3/2,it1=<1/2*A+3/4*B+3/4,it1=<1/2*B+1*A+1,it1=<1/2*B+1*A+1/4,it1=<1/2*B+1*A+3/4,it1=<1/2*B+1*A+7/4,it1=<1/2*B+1*E+9/2,it1=<1/2*E+ -1/4*D+3/4,it1=<1/2*E+1/4*B+ -1/4,it1=<1/4*A+1/4*B+1,it1=<1/4*A+1/4*B+1/2,it1=<1/4*A+1/4*B+1/4,it1=<1/4*A+1/4*B+5/4,it1=<1/4*A+3/8*B+9/8,it1=<1/4*B+1*A+5/4,it1=<1/4*B+1*A+7/4,it1=<1/4*B+3*E+ -2,it1=<1/4*B+3*E+ -5/4,it1=<1/4*B+1/2*A+1,it1=<1/4*B+1/2*A+3/2,it1=<1/4*B+1/2*A+3/4,it1=<1/4*B+1/2*A+5/4,it1=<1/4*B+1/2*A+11/4,it1=<1/4*B+1/2*A+25/4,it1=<1/4*D+1/4*E+29/8,it1=<1/8*B+1/4*A+11/8,it1=<3/4*B+1*A+5/4,it1=<3/4*B+1*A+7/4,it1=<-2*D+1*B+4*E+ -3,it1=<-2*D+1*B+4*E+ -15/4,it1=<-2*D+3/4*B+4*E+ -11/4,it1=<-1*D+1/2*A+3/4*B+3/2,it1=<-1*D+1/2*A+3/4*B+3/4,it1=<-1*D+1/2*B+2*E+ -1,it1=<-1*D+1/2*B+2*E+ -7/4,it1=<-1*D+1/2*B+2*E+ -5/4,it1=<-1*D+1/2*B+2*E+ -1/4,it1=<-1*D+1/2*E+5/8*B+3/8,it1=<-1*D+1/4*B+1*E+ -1/4,it1=<-1*D+1/4*B+1*E+ -1/12,it1=<-1*D+1/4*B+2*E+ -3/4,it1=<-1*D+1/4*B+2*E+ -1/4,it1=<-1*D+3/4*B+2*E+ -3/4,it1=<-1*D+3/4*B+2*E+ -1/4,it1=<1*E+ -1/4*B+ -1/2*D+1/4,it1=<1*E+1/4*B+ -1/2*D+1/4,it1=<2*E+1/2*B+ -1*D+ -7/4,it1=<3*E+1/2*A+1/4*B+ -7/2,it1=<-5/6*D+1/6*A+2/3*E+1/2,it1=<-3/2*D+1/2*B+2*E+ -1,it1=<-3/2*D+1/2*B+2*E+ -5/6,it1=<-3/8*D+5/16*B+3/2*E+ -7/16,it1=<-2/3*D+1/4*B+1*E+ -1/12,it1=<-1/2*D+ -1/2*E+5/8*B+23/8,it1=<-1/2*D+ -1/4*B+1*E+1/4,it1=<-1/2*D+ -1/4*B+1*E+3/4,it1=<-1/2*D+ -1/4*B+1*E+7/4,it1=<-1/2*D+1/2*A+4*E+ -7/2,it1=<-1/2*D+1/2*B+1*A+1,it1=<-1/2*D+1/2*B+1*E+ -3/4,it1=<-1/2*D+1/2*B+1*E+ -1/2,it1=<-1/2*D+1/2*E+5/8*B+3/8,it1=<-1/2*D+1/4*A+3/8*B+9/8,it1=<-1/2*D+1/4*B+1*E+ -1/4,it1=<-1/2*D+1/4*B+1*E+1/2,it1=<-1/2*D+1/4*B+1*E+1/4,it1=<-1/2*D+1/4*B+1*E+3/4,it1=<-1/2*D+1/4*B+1*E+7/4,it1=<-1/2*D+1/4*B+1*E+9/2,it1=<-1/2*D+1/4*B+1*E+21/4,it1=<-1/2*D+1/4*B+4*E+ -15/4,it1=<-1/2*D+1/4*B+4*E+ -11/4,it1=<-1/2*D+1/4*B+4*E+ -9/2,it1=<-1/2*D+1/4*B+4*E+ -7/2,it1=<-1/2*D+1/4*B+1/2*A+3/4,it1=<-1/2*E+1/2*A+5/8*B+11/8,it1=<-1/2*E+1/4*B+1/4*D+13/4,it1=<-1/3*D+ -1/3*E+1/2*B+5,it1=<-1/3*D+ -1/3*E+1/4*B+13/4,it1=<-1/3*D+ -1/3*E+1/6*A+3,it1=<-1/3*D+ -1/3*E+1/6*A+7/2,it1=<-1/3*D+1/6*A+2/3*E+1/2,it1=<-1/3*E+1/4*B+2/3*A+5/4,it1=<-1/4*D+1/4*B+1/2*E+ -1/4,it1=<-1/4*D+1/4*B+1/2*E+1/2,it1=<-1/4*D+1/4*B+1/2*E+3/4,it1=<-1/4*D+1/8*B+1/2*E+7/8,it1=<-1/4*E+1/8*D+1/4*B+21/8,it1=<1/2*E+1/4*B+ -1/4*D+ -1/4,it1=<1/4*B+1*D+1*E+4,it1=<1/4*B+1*D+1*E+19/4,it1=<1/4*B+1/2*A+3*E+ -11/4,it1=<1/4*D+1/4*E+5/16*B+43/16,it1=<1/6*A+ -1/3*D+ -1/3*E+3,it1=<3/2*A+1*D+1*E+1/2,it1=<-3/5*D+ -3/5*E+1/5*B+3/10*A+16/5,it1=<-1/2*D+ -1/2*E+1/2*A+5/8*B+11/8,it1=<-1/2*E+1/8*A+1/4*B+1/4*D+23/8,it1=<-1/3*D+ -1/3*E+1/2*B+7/6*A+3/2,it1=<-1/3*D+ -1/3*E+1/4*B+2/3*A+5/4,it1=<-1/5*D+ -1/5*E+ -1/10*B+1/10*A+31/10,it1=<1/4*B+1*D+1*E+3/2*A+1/4,it1=<1/4*D+1/4*E+5/16*B+5/8*A+13/16,it1=<3/2*A+1*D+1*E+1/4*B+ -1/2,it1=<5/2,it1=<7/2,it1=<7/4,it1=<8/3,it1=<9/4,it1=<11/2,it1=<11/4,it1=<13/2,it1=<13/4,it1=<15/4,it1=<17/2,it1=<17/3,it1=<19/2,it1=<19/4,it1=<19/6,it1=<21/4,it1=<23/4,it1=<25/4,it1=<25/8,it1=<31/4,it1=<35/4,it1=<37/4,it1=<37/8,it2=<2,it2=<3,it2=<5,it2=<6,it2=<7,it2=<2*E,it2=<1/2*B,it2=<-3*D+5,it2=<-3*D+3/2*B,it2=<-3*D+9/2,it2=<-2*E+8,it2=<-2*E+10,it2=<-2*E+15/2,it2=<-2*E+19/2,it2=<-1*D+2,it2=<-1*D+3,it2=<-1*D+6,it2=<-1*D+2*E,it2=<-1*D+3/2,it2=<-1*D+5/2,it2=<-1*D+7/3,it2=<-1*D+11/2,it2=<-1*D+11/6,it2=<2*E+ -1/2,it2=<-2/3*E+4,it2=<-2/3*E+7/2,it2=<-2/3*E+14/3,it2=<-2/3*E+25/6,it2=<-1/3*D+7/3,it2=<-1/3*D+11/6,it2=<1/2*B+3,it2=<1/2*B+ -1*D,it2=<1/2*B+1*A,it2=<1/2*B+1/2,it2=<1/2*B+7/2,it2=<1/6*B+13/2,it2=<2/3*B+5,it2=<2/3*B+9/2,it2=<8/3*E+ -1/6,it2=<8/3*E+1/3,it2=<-3*D+1*B+2,it2=<-3*D+3/2*B+1/2,it2=<-2*D+ -2*E+10,it2=<-2*D+ -2*E+19/2,it2=<-1*A+ -1*D+6,it2=<-1*A+ -1*D+11/2,it2=<-1*D+2*E+ -1/2,it2=<-1*D+1/2*B+1,it2=<-1*D+1/2*B+1/3,it2=<-1*D+1/2*B+3/2,it2=<-1*D+1/2*B+5/6,it2=<-4/3*D+8/3*E+ -1/6,it2=<-4/3*D+8/3*E+1/3,it2=<-2/3*D+ -2/3*E+4,it2=<-2/3*D+ -2/3*E+7/2,it2=<-2/3*D+ -2/3*E+14/3,it2=<-2/3*D+ -2/3*E+25/6,it2=<-2/3*E+1/2*B+2,it2=<-2/3*E+1/2*B+5/2,it2=<-1/3*D+1/2*B+1/3,it2=<-1/3*D+1/2*B+5/6,it2=<-1/4*D+1/8*B+45/8,it2=<1/2*B+ -2*E+6,it2=<1/2*B+ -2*E+13/2,it2=<1/2*B+ -1*D+1/2,it2=<1/2*B+1*A+1/2,it2=<1/3*A+ -2/3*E+3,it2=<1/6*B+1/3*A+11/2,it2=<1/6*B+4/3*A+5/2,it2=<2/3*B+4/3*A+1,it2=<2/3*B+4/3*A+1/2,it2=<-2*D+ -2*E+1*B+7,it2=<-2*D+ -2*E+3/2*B+5,it2=<-2*D+ -2*E+3/2*B+11/2,it2=<-1*D+1/2*B+2*E+ -2,it2=<-1*D+1/2*B+2*E+ -3/2,it2=<-4/3*D+1/6*B+8/3*E+ -1/6,it2=<-4/3*D+2/3*B+8/3*E+ -13/6,it2=<-4/3*D+2/3*B+8/3*E+ -5/3,it2=<-2/3*D+ -2/3*E+1/2*B+2,it2=<-2/3*D+ -2/3*E+1/2*B+5/2,it2=<-2/3*D+ -2/3*E+1/2*B+8/3,it2=<-2/3*D+ -2/3*E+1/2*B+19/6,it2=<1/2*B+1/3*A+ -2/3*E+1,it2=<1/2*B+1/3*A+ -2/3*E+3/2,it2=<1/3*A+ -2/3*D+ -2/3*E+3,it2=<1/3*A+ -2/3*D+ -2/3*E+11/3,it2=<1*A+1*B+ -2*D+ -2*E+4,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+1,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+3/2,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+5/3,it2=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+13/6,it2=<3/2*B+1*A+ -2*D+ -2*E+2,it2=<3/2*B+1*A+ -2*D+ -2*E+5/2,it2=<3/2,it2=<5/2,it2=<7/3,it2=<9/2,it2=<11/2,it2=<11/6,it2=<13/2,it3=<2,it3=<3,it3=<1*E,it3=<-1*D+2,it3=<-1*D+7/3,it3=<-1*D+9/2,it3=<1*E+2,it3=<1*E+1/2,it3=<2*E+5/2,it3=<-1/2*A+5/2,it3=<1/2*B+1/2,it3=<1/2*B+7/6,it3=<2/3*E+1,it3=<2/3*E+ -1/3,it3=<2/3*E+1/3,it3=<3/4*B+9/4,it3=<4/3*E+ -1/3,it3=<4/3*E+4/3,it3=<5/4*B+15/4,it3=<5/6*B+13/6,it3=<-1*D+ -1*E+11/2,it3=<-1*D+2*E+5/2,it3=<-1*D+1/2*B+5/6,it3=<-1*D+3/4*B+9/4,it3=<1*A+5/4*B+3/4,it3=<-3/2*D+1*E+2,it3=<-2/3*D+4/3*E+4/3,it3=<-1/2*D+1*E+2,it3=<-1/3*D+2/3*E+1,it3=<-1/3*D+2/3*E+1/3,it3=<-1/6*D+4/3*E+ -1/3,it3=<1/2*B+ -1*D+1/2,it3=<1/2*B+1/3*A+1/6,it3=<1/3*A+1/2*B+1/6,it3=<1/4*B+3*E+ -5/4,it3=<1/12*B+1*E+1/4,it3=<2/3*A+5/6*B+1/6,it3=<2/3*E+ -1/3*D+ -1/3,it3=<3/4*B+1/2*A+3/4,it3=<-1*D+ -1*E+3/4*B+13/4,it3=<-1*D+1/2*A+3/4*B+3/4,it3=<-1*D+5/4*B+2*E+ -5/4,it3=<-3/2*D+3/4*B+1*E+ -1/4,it3=<-2/3*D+1/3*A+1/2*B+1/6,it3=<-2/3*D+5/6*B+4/3*E+ -7/6,it3=<-1/2*D+3/4*B+1*E+ -1/4,it3=<-1/3*D+1/2*B+2/3*E+ -1/2,it3=<-1/3*D+1/6*B+8/3*E+ -13/6,it3=<-1/6*D+1/12*B+4/3*E+ -7/12,it3=<1/12*B+1/6*A+1*E+ -1/4,it3=<2/3*E+ -1/3*A+ -1/3*D+1/3,it3=<3/4*B+1/2*A+ -1*D+3/4,it3=<5/2,it3=<5/3,it3=<7/2,it3=<7/3,it3=<8/3,it3=<9/2,it3=<14/3,it3=<15/2
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,D>=0,B>=2*D+1,2*E>=A+D+2,B+2*A+12*E>=15,2*A+3*B+3>=4*D+4*E] 

f0(A,B,C,D,E,F,G):[54]: 1+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<3,it1=<5,it1=<6,it1=<1/2*B,it1=<-3*D+5,it1=<-3*D+3/2*B,it1=<-3*D+9/2,it1=<-2*E+8,it1=<-2*E+10,it1=<-2*E+15/2,it1=<-2*E+19/2,it1=<-1*D+2,it1=<-1*D+3,it1=<-1*D+6,it1=<-1*D+3/2,it1=<-1*D+5/2,it1=<-1*D+7/3,it1=<-1*D+11/2,it1=<-1*D+11/6,it1=<2*A+2*E,it1=<-2/3*E+4,it1=<-2/3*E+10,it1=<-2/3*E+7/2,it1=<-2/3*E+14/3,it1=<-2/3*E+19/2,it1=<-2/3*E+25/6,it1=<-1/3*D+7/3,it1=<-1/3*D+11/6,it1=<1/2*B+ -1*D,it1=<1/2*B+1/2,it1=<1/2*B+9/2,it1=<2/3*B+16/3,it1=<3/2*E+3/2,it1=<5/6*B+1*A,it1=<8/3*E+2/3,it1=<8/3*E+5/3,it1=<8/3*E+7/6,it1=<-3*D+1*B+2,it1=<-3*D+3/2*B+1/2,it1=<-2*D+ -2*E+10,it1=<-2*D+ -2*E+19/2,it1=<-2*D+6*E+ -4,it1=<-2*D+1/3*B+2*E,it1=<-2*E+1*B+9,it1=<-2*E+1/2*B+13/2,it1=<-1*A+ -1*D+6,it1=<-1*A+ -1*D+11/2,it1=<-1*D+1/2*B+1,it1=<-1*D+1/2*B+1/2,it1=<-1*D+1/2*B+1/3,it1=<-1*D+1/2*B+3/2,it1=<-1*D+1/2*B+5/6,it1=<-1*D+1/3*B+2*E,it1=<-1*D+5/6*B+1*A,it1=<-9/5*D+2/5*B+12/5,it1=<-9/5*D+9/10*B+2/5,it1=<-9/5*D+9/10*B+9/10,it1=<-8/5*E+2/5*B+32/5,it1=<-8/5*E+9/10*B+22/5,it1=<-8/5*E+9/10*B+49/10,it1=<-7/3*D+8/3*E+5/3,it1=<-7/3*D+8/3*E+7/6,it1=<-4/3*D+8/3*E+2/3,it1=<-4/5*D+2/5*B+12/5,it1=<-4/5*D+9/10*B+2/5,it1=<-4/5*D+9/10*B+9/10,it1=<-2/3*D+ -2/3*E+4,it1=<-2/3*D+ -2/3*E+10,it1=<-2/3*D+ -2/3*E+7/2,it1=<-2/3*D+ -2/3*E+14/3,it1=<-2/3*D+ -2/3*E+19/2,it1=<-2/3*D+ -2/3*E+25/6,it1=<-2/3*E+1/2*B+2,it1=<-2/3*E+1/2*B+5/2,it1=<-2/3*E+5/6*B+41/6,it1=<-1/3*D+1/2*B+1/3,it1=<-1/3*D+1/2*B+5/6,it1=<1/2*B+ -2*E+6,it1=<1/2*B+1*A+3/2,it1=<1/3*A+ -2/3*E+3,it1=<1/3*B+1*A+2,it1=<1/4*A+3/4*B+1*E,it1=<2/3*B+4/3*A+4/3,it1=<3/4*B+1*E+3/4,it1=<5/8*B+3/2*E+ -3/8,it1=<-3*D+1*B+4*E+ -3,it1=<-3*D+3/2*B+4*E+ -5,it1=<-2*D+ -2*E+1*B+7,it1=<-2*D+ -2*E+3/2*B+5,it1=<-2*D+ -2*E+3/2*B+11/2,it1=<-2*D+1*B+4*E+ -4,it1=<-2*D+3/2*B+4*E+ -5,it1=<-2*D+3/4*B+1*E+ -3/4,it1=<-2*D+3/4*B+1*E+ -1/4,it1=<-2*E+1*A+1*B+6,it1=<-1*D+1*B+4*E+ -4,it1=<-1*D+1/2*B+2*E+ -1/2,it1=<-1*D+1/3*B+1*A+2,it1=<-1*D+3/4*B+1*E+ -1/4,it1=<-1*E+1/4*B+1*A+13/4,it1=<-1*E+3/4*B+1*A+5/4,it1=<-1*E+3/4*B+1*A+7/4,it1=<1*A+1*B+2*E+ -2,it1=<-8/5*E+ -1*D+9/10*B+49/10,it1=<-8/5*E+1/2*A+9/10*B+17/5,it1=<-8/5*E+1/2*A+9/10*B+29/10,it1=<-8/5*E+2/5*B+1/2*A+49/10,it1=<-7/3*D+2/3*B+8/3*E+ -1/3,it1=<-7/3*D+7/6*B+8/3*E+ -7/3,it1=<-4/3*D+2/3*B+8/3*E+ -4/3,it1=<-2/3*D+ -2/3*E+1/2*B+2,it1=<-2/3*D+ -2/3*E+1/2*B+5/2,it1=<-2/3*D+ -2/3*E+1/2*B+8/3,it1=<-2/3*D+ -2/3*E+1/2*B+19/6,it1=<-2/3*D+ -2/3*E+2/3*B+8,it1=<-2/3*D+ -2/3*E+7/6*B+6,it1=<-2/3*E+1/3*A+1/2*B+3/2,it1=<-2/3*E+5/6*B+4/3*A+17/6,it1=<-1/2*D+1/2*B+3*E+ -5/2,it1=<-1/4*D+5/8*B+2*E+ -13/8,it1=<1/2*A+1/2*B+2*E+ -3/2,it1=<1/2*B+1/3*A+ -2/3*E+1,it1=<1/3*A+ -2/3*D+ -2/3*E+3,it1=<1/3*A+ -2/3*D+ -2/3*E+11/3,it1=<1/4*A+5/8*B+3/2*E+ -9/8,it1=<-2*D+ -2*E+1*A+1*B+4,it1=<-2*D+ -2*E+1*A+3/2*B+2,it1=<-2*D+ -2*E+1*A+3/2*B+5/2,it1=<-2*D+ -2*E+2*A+2*B+2,it1=<-2*D+1*A+1*B+2*E+ -1,it1=<-2*D+1*A+3/2*B+2*E+ -3,it1=<-1*D+ -1*E+1/4*B+1*A+13/4,it1=<-1*D+ -1*E+3/4*B+1*A+5/4,it1=<-1*D+ -1*E+3/4*B+1*A+7/4,it1=<-1*D+1*A+1*B+2*E+ -2,it1=<-1*D+1*A+1*B+2*E+ -1,it1=<-1*D+1*A+3/2*B+2*E+ -3,it1=<-8/5*D+ -8/5*E+4/5*A+6/5*B+11/5,it1=<-8/5*D+ -8/5*E+4/5*A+6/5*B+17/10,it1=<-8/5*D+ -8/5*E+7/10*B+4/5*A+37/10,it1=<-8/5*E+ -1*D+1/2*A+9/10*B+17/5,it1=<-8/5*E+ -1*D+1/2*A+9/10*B+29/10,it1=<-8/5*E+ -1*D+2/5*B+1/2*A+49/10,it1=<-8/5*E+ -3/5*D+4/5*A+6/5*B+11/5,it1=<-8/5*E+ -3/5*D+4/5*A+6/5*B+17/10,it1=<-8/5*E+ -3/5*D+7/10*B+4/5*A+37/10,it1=<-6/5*D+ -6/5*E+2/5*B+3/5*A+18/5,it1=<-6/5*D+ -6/5*E+3/5*A+9/10*B+8/5,it1=<-6/5*D+ -6/5*E+3/5*A+9/10*B+21/10,it1=<-6/5*E+ -1/5*D+2/5*B+3/5*A+18/5,it1=<-6/5*E+ -1/5*D+3/5*A+9/10*B+8/5,it1=<-6/5*E+ -1/5*D+3/5*A+9/10*B+21/10,it1=<-2/3*D+ -2/3*E+1/3*A+1/2*B+3/2,it1=<-2/3*D+ -2/3*E+1/3*A+1/2*B+13/6,it1=<-2/3*D+ -2/3*E+2/3*B+5/3*A+3,it1=<-2/3*D+ -2/3*E+7/6*B+5/3*A+1,it1=<-2/3*D+ -2/3*E+7/6*B+5/3*A+3/2,it1=<-1/2*D+1/2*A+1*B+1*E+ -1,it1=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+1,it1=<1/2*B+1/3*A+ -2/3*D+ -2/3*E+5/3,it1=<3/2,it1=<5/2,it1=<7/3,it1=<9/2,it1=<11/2,it1=<11/6,it1=<22/3,it1=<25/3,it1=<47/6,it2=<2,it2=<3,it2=<4,it2=<1*E,it2=<-1*D+2,it2=<-1*D+7/3,it2=<-1*D+9/2,it2=<1*E+2,it2=<-1/2*A+5/2,it2=<1/2*B+7/6,it2=<2/3*E+1,it2=<2/3*E+2,it2=<2/3*E+ -1/3,it2=<2/3*E+1/3,it2=<4/3*E+1/3,it2=<-1*D+ -1*E+11/2,it2=<-1*D+1/2*B+1/2,it2=<-1*D+1/2*B+5/6,it2=<-1*D+3/4*B+9/4,it2=<-3/2*D+1*E+2,it2=<-3/5*E+2/5*B+22/5,it2=<-3/10*D+2/5*B+29/10,it2=<-2/3*D+4/3*E+1/3,it2=<-2/5*E+3/5*B+34/15,it2=<-2/5*E+4/15*B+13/5,it2=<-1/3*D+2/3*E+1,it2=<-1/3*D+2/3*E+2,it2=<-1/3*D+2/3*E+1/3,it2=<-1/3*D+2/9*B+4/3*E,it2=<-1/5*D+4/15*B+8/5,it2=<1/2*B+2/3*A+1/6,it2=<1/3*A+1/2*B+1/6,it2=<1/4*B+1/2*A+11/4,it2=<1/6*B+1/3*A+3/2,it2=<2/3*E+ -1/3*D+ -1/3,it2=<-2*D+1*B+5*E+ -5,it2=<-2*D+3/4*B+2*E+ -5/4,it2=<-1*D+ -1*E+3/4*B+13/4,it2=<-1*D+ -3/5*E+9/10*B+39/10,it2=<-1*D+1/2*A+3/4*B+3/4,it2=<-1*D+3/4*B+1*A+3/4,it2=<-9/5*D+9/10*B+1*E+ -1/10,it2=<-8/15*D+3/5*B+2/3*E+ -2/5,it2=<-3/2*D+1*B+4*E+ -5/2,it2=<-3/2*D+3/4*B+1*E+ -1/4,it2=<-2/3*D+1/2*B+4/3*E+ -7/6,it2=<-2/3*D+1/3*A+1/2*B+1/6,it2=<-2/3*D+1/3*B+4/3*E+ -2/3,it2=<-2/3*D+2/3*B+10/3*E+ -11/3,it2=<-2/5*E+1/3*A+3/5*B+19/15,it2=<-1/3*D+1/2*B+2/3*E+ -1/2,it2=<-1/3*D+1/3*A+1/3*B+2/3*E,it2=<-1/3*D+1/3*B+2/3*E+1,it2=<1/3*B+1/2*A+1*E+3/2,it2=<2/3*A+2/3*B+2*E+ -7/3,it2=<2/3*E+ -1/3*A+ -1/3*D+1/3,it2=<2/9*B+1/3*A+2/3*E+2/3,it2=<-1*D+1*A+1*B+3*E+ -3,it2=<-1*D+ -3/5*E+1/2*A+9/10*B+12/5,it2=<-1*D+1/2*A+1*B+3*E+ -3/2,it2=<-8/5*D+ -3/5*E+4/5*A+6/5*B+6/5,it2=<-6/5*D+ -1/5*E+3/5*A+9/10*B+11/10,it2=<-3/5*D+ -3/5*E+3/10*A+7/10*B+16/5,it2=<-2/3*D+1/3*A+2/3*B+2*E+ -4/3,it2=<-2/5*D+ -2/5*E+1/5*A+7/15*B+9/5,it2=<-2/5*D+ -2/5*E+8/15*A+4/5*B+7/15,it2=<-2/15*D+ -2/15*E+1/15*A+4/15*B+26/15,it2=<-2/15*D+ -2/15*E+2/5*A+3/5*B+2/5,it2=<-1/5*D+ -1/5*E+1/10*A+2/5*B+31/10,it2=<5/2,it2=<5/3,it2=<7/3,it2=<8/3,it2=<9/2
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,D>=0,B>=2*D+1,2*E>=A+D+2,2*A+3*B+3>=4*D+4*E] 

f0(A,B,C,D,E,F,G):[55]: 4+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<1,it2=<2,it2=<1/2,it2=<3/2,it3=<1,it3=<3,it3=<1*E,it3=<1/2*A+2,it3=<1/3*A+1,it3=<2/3*E+ -1/3,it3=<5/3
  with precondition: [B=3,D=0,2*E=A+4,3>=C,3>=E,E>=2] 

f0(A,B,C,D,E,F,G):[56]: 4+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<2,it1=<1/2,it1=<3/2,it2=<1,it2=<3,it2=<1*E,it2=<1/2*A+2,it2=<1/3*A+1,it2=<2/3*E+ -1/3,it2=<5/3
  with precondition: [B=3,D=0,2*E=A+4,3>=C,3>=E,E>=2] 

f0(A,B,C,D,E,F,G):[57]: 4+it1*(3)
  Such that:it1=<1,it1=<2,it1=<3,it1=<4,it1=<1*E,it1=<-1*E+4,it1=<1*D+1,it1=<1*D+1*E,it1=<1*E+1,it1=<2*E+ -3,it1=<3*E+ -4,it1=<-1/2*D+2,it1=<-1/3*E+8/3,it1=<1/2*B+1/2,it1=<1/3*A+1,it1=<2/3*E+ -1/3,it1=<2/3*E+1/3,it1=<2*E+ -1*A+ -3,it1=<2*E+ -2/3*A+ -3,it1=<3*E+ -1*A+ -4,it1=<-1/2*A+ -1/2*D+2,it1=<-1/3*D+ -1/3*E+8/3,it1=<1/2*A+1/2*D+2,it1=<1/2*B+1*E+ -1/2,it1=<1/3*A+ -1*E+4,it1=<1/3*B+2/3*E+ -2/3,it1=<2/3*D+2/3*E+ -1/3,it1=<2/3*E+ -1/3*D+ -1/3,it1=<5/3,it1=<7/3
  with precondition: [A+D+4=2*E,3>=B,3>=C,3>=E,D>=0,B>=2*D+1,2*E>=D+4] 

f0(A,B,C,D,E,F,G):[58]: 1+it1*(3)
  Such that:it1=<3,it1=<4,it1=<5,it1=<6,it1=<1*E,it1=<-1*D+3,it1=<1*B+1,it1=<1*B+1*E,it1=<1*D+1*E,it1=<1*E+2,it1=<1*E+3,it1=<1*E+3/2,it1=<2*E+ -5/3,it1=<3*E+ -2,it1=<-1/2*A+5/2,it1=<-1/3*E+8/3,it1=<-1/6*A+7/3,it1=<1/2*B+3/2,it1=<1/3*B+2/3*E,it1=<2/3*E+1,it1=<2/3*E+ -1/3,it1=<2/3*E+7/6,it1=<2/3*E+8/3,it1=<-1*A+3*E+ -2,it1=<-1*D+ -1*E+6,it1=<-1*D+1/2*B+3/2,it1=<-1*E+1*B+4,it1=<-1*E+ -1/2*A+11/2,it1=<1*B+1*D+1,it1=<-2/3*A+2*E+ -5/3,it1=<-1/2*A+1*D+5/2,it1=<-1/2*A+1*E+3/2,it1=<-1/3*D+ -1/3*E+8/3,it1=<-1/3*D+ -1/3*E+10/3,it1=<-1/3*D+2/3*E+1/3,it1=<-1/3*D+2/3*E+7/6,it1=<-1/3*D+2/3*E+8/3,it1=<1/2*B+1*E+1/2,it1=<2/3*D+2/3*E+ -1/3,it1=<2/3*D+2/3*E+1/3,it1=<2/3*E+ -1/3*D+ -1/3,it1=<-1*D+ -1*E+1/2*B+9/2,it1=<-1/2*A+ -1/3*D+2/3*E+7/6,it1=<-1/3*A+ -1/3*D+ -1/3*E+10/3,it1=<-1/3*A+ -1/3*D+2/3*E+1/3,it1=<-1/3*A+2/3*D+2/3*E+1/3,it1=<-1/3*D+2/3*E+1*B+ -1/3,it1=<5/2,it1=<5/3,it1=<7/3,it1=<9/2,it1=<14/3,it1=<19/6
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,D>=0,B+1>=2*D,2*E>=A+D+2] 

f0(A,B,C,D,E,F,G):[59]: 1+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<-1*E+2,it1=<-1*E+3/2,it1=<-1*E+9/4,it1=<1*D+ -1,it1=<-1/2*E+17/8,it1=<-1/2*E+23/8,it1=<1/2*A+1/4*B,it1=<1/2*A+1/2,it1=<1/2*B+1,it1=<1/2*B+3/2,it1=<1/2*B+3/4,it1=<1/2*D+ -1/4,it1=<1/2*D+1/2,it1=<1/4*B+1/2*A,it1=<1/4*B+3/2,it1=<1/4*B+3/4,it1=<-1*D+ -1*E+5,it1=<-1*D+ -1*E+11/2,it1=<-1*D+ -1*E+23/4,it1=<-1*D+1*B+3,it1=<-1*E+1/2*D+ -1/4,it1=<-1*E+1/2*D+1/2,it1=<-1*E+1/4*B+1/2*A,it1=<-1*E+1/4*B+3/2,it1=<-1*E+1/4*B+3/4,it1=<1*D+1*E+ -1,it1=<-1/2*E+3/8*B+1,it1=<-1/2*E+3/8*B+7/4,it1=<1/2*A+ -1*E+1/2,it1=<1/2*A+1/4*B+ -3/4,it1=<1/2*B+1*E+1,it1=<-1*D+ -1*E+1/2*B+4,it1=<-1*D+ -1*E+3/4*B+7/2,it1=<-1*D+ -1*E+3/4*B+11/4,it1=<-1/2*E+1/4*A+3/8*B+1,it1=<-1/2*E+1/4*A+3/8*B+1/4,it1=<1/2*A+1/4*B+ -1*E+ -3/4,it1=<-1*D+ -1*E+1/2*A+3/4*B+2,it1=<1/2*A+1/2*B+ -1*D+ -1*E+5/2,it1=<3/4*B+1/2*A+ -1*D+ -1*E+5/4,it1=<3/2,it1=<9/4,it1=<17/8,it1=<23/8,it2=<1/2*D,it2=<-1*E+9/4,it2=<-1*E+15/4,it2=<-1*E+31/12,it2=<1*B+1,it2=<1*D+ -1,it2=<2*D+ -3,it2=<1/2*A+1/4*B,it2=<1/2*A+3/4*B,it2=<1/2*A+9/4,it2=<1/2*B+1,it2=<1/2*D+2,it2=<1/2*D+1/2,it2=<1/2*D+5/6,it2=<1/4*B+3,it2=<1/4*B+1/2*A,it2=<1/4*B+3/2,it2=<1/4*B+11/6,it2=<1/6*D+2,it2=<1/12*B+7/3,it2=<3/2*D+ -3/2,it2=<3/4*B+3/2,it2=<-1*E+1/2*A+3/4*B,it2=<-1*E+1/2*D+1/2,it2=<-1*E+1/2*D+5/6,it2=<-1*E+1/4*B+1/2*A,it2=<-1*E+1/4*B+3/2,it2=<-1*E+1/4*B+11/6,it2=<-1*E+3/2*D+ -3/2,it2=<-1*E+3/4*B+3/2,it2=<1*B+1*E+1,it2=<1*D+1*E+ -1,it2=<1*D+1*E+1/2,it2=<1*D+ -1/2*B+ -1,it2=<1*E+2*D+ -3,it2=<-2/3*E+1/3*B+5/3,it2=<-2/3*E+1/3*D+1,it2=<-2/3*E+1/3*D+2/3,it2=<-2/3*E+2/3*D+1/3,it2=<1/2*B+1*E+1,it2=<1/2*B+1*E+5/2,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*B+1/3*E+5/3,it2=<1/3*D+1/3*E+3/2,it2=<1/3*E+2/3*D+1/3,it2=<1/4*B+1/2*A+1/3,it2=<1/4*B+1/2*A+3/2,it2=<1/6*A+1/4*B+4/3,it2=<1/6*B+1/3*E+13/6,it2=<1/12*B+1/6*A+11/6,it2=<-1*E+1/4*B+1/2*A+1/3,it2=<-2/3*E+1/3*A+1/3*B+2/3,it2=<-2/3*E+1/3*A+1/3*D+ -1/3,it2=<1/3*A+1/3*B+1/3*E+2/3,it2=<9/4,it2=<15/4,it2=<31/12
  with precondition: [3>=A,3>=B,3>=C,E>=0,2*D>=B+4,B+2>=D,2*A+3*B+4>=4*D+4*E] 

f0(A,B,C,D,E,F,G):[60]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<7,it2=<-1*E+15/4,it2=<-1*E+21/4,it2=<-1*E+37/12,it2=<1*D+ -1,it2=<1*D+ -5/3,it2=<3/4*B+3,it2=<-1*E+3/4*B+3,it2=<1*D+1*E+ -1,it2=<1*D+1*E+ -5/3,it2=<1*D+ -1/2*B+ -1,it2=<1*D+ -1/2*B+ -5/3,it2=<2*D+2*E+ -4,it2=<2*D+2*E+ -14/3,it2=<-2/3*E+1/3*D+1,it2=<-2/3*E+1/3*D+5/3,it2=<1/2*A+1/4*B+3/2,it2=<1/2*A+1/4*B+5/6,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*E+1,it2=<1/3*D+1/3*E+5/3,it2=<2/3*D+2/3*E+2/3,it2=<2/3*D+2/3*E+4/3,it2=<3/4*B+1/2*A+3/2,it2=<4/3*D+4/3*E+ -4/3,it2=<1*D+1*E+ -1/2*B+ -1,it2=<1*D+1*E+ -1/2*B+ -5/3,it2=<2*D+2*E+ -1*B+ -4,it2=<2*D+2*E+ -1*B+ -14/3,it2=<2*D+2*E+ -1/2*B+ -4,it2=<1/3*A+1/3*D+ -2/3*E+2/3,it2=<2/3*A+2/3*D+2/3*E+ -4/3,it2=<2/3*A+2/3*D+2/3*E+ -2/3,it2=<3/4*B+1/2*A+ -1*E+3/2,it2=<4/3*D+4/3*E+1/3*A+ -7/3,it2=<11/2,it2=<15/4,it2=<21/4,it2=<29/6,it2=<37/12
  with precondition: [4*D+4*E=3*B+2*A+10,3>=B,3>=C,B>=0,E>=0,2*D>=B+4,3*B+16>=4*D+4*E,4*D+4*E>=3*B+10,2*D+4*E>=B+6] 

f0(A,B,C,D,E,F,G):[61]: 1+it1*(3)+it2*(3)
  Such that:it1=<2,it1=<-1*E+2,it1=<-1*E+5/2,it1=<-1*E+7/4,it1=<-1/2*E+5/2,it1=<-1/2*E+13/4,it1=<1/2*A+1/2,it1=<1/2*D+ -1/4,it1=<1/2*D+1/2,it1=<1/4*B+1,it1=<1/4*B+7/4,it1=<3/4*B+1,it1=<3/4*B+7/4,it1=<-1*D+ -1*E+6,it1=<-1*D+ -1*E+13/2,it1=<-1*D+ -1*E+23/4,it1=<-1*E+1/2*D+ -1/4,it1=<-1*E+1/2*D+1/2,it1=<-1*E+1/4*B+1,it1=<-1*E+1/4*B+7/4,it1=<-1/2*E+3/8*B+11/8,it1=<-1/2*E+3/8*B+17/8,it1=<1/2*A+ -1*E+1/2,it1=<1/2*A+1/4*B+ -1/2,it1=<1/2*A+1/4*B+1/4,it1=<1/4*B+1/2*A+1/4,it1=<-1*D+ -1*E+1/2*B+9/2,it1=<-1*D+ -1*E+3/4*B+7/2,it1=<-1*D+ -1*E+3/4*B+17/4,it1=<-1*E+1/4*B+1/2*A+1/4,it1=<-1/2*E+1/4*A+3/8*B+5/8,it1=<-1/2*E+1/4*A+3/8*B+11/8,it1=<1/2*A+1/4*B+ -1*E+ -1/2,it1=<-1*D+ -1*E+1/2*A+3/4*B+11/4,it1=<1/2*A+1/2*B+ -1*D+ -1*E+3,it1=<3/4*B+1/2*A+ -1*D+ -1*E+2,it1=<5/2,it1=<7/4,it1=<13/4,it2=<-1*E+5/2,it2=<-1*E+9/2,it2=<-1*E+17/6,it2=<1*D+ -1,it2=<1/2*A+3,it2=<1/2*D+1/2,it2=<1/2*D+5/2,it2=<1/2*D+5/6,it2=<1/4*B+7/4,it2=<1/4*B+15/4,it2=<1/4*B+25/12,it2=<1/6*D+13/6,it2=<1/12*B+31/12,it2=<2/3*D+ -2/3,it2=<3/2*B+3/2,it2=<3/2*D+ -3/2,it2=<3/4*B+9/4,it2=<-1*E+1/2*D+1/2,it2=<-1*E+1/2*D+5/6,it2=<-1*E+1/4*B+7/4,it2=<-1*E+1/4*B+25/12,it2=<-1*E+3/2*D+ -3/2,it2=<-1*E+3/4*B+9/4,it2=<1*D+ -1/2*B+ -3/2,it2=<-2/3*E+1/2*B+11/6,it2=<-2/3*E+1/3*D+1,it2=<-2/3*E+1/3*D+2/3,it2=<1/2*A+1/4*B+1/4,it2=<1/2*A+3/4*B+3/4,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/4*B+1/2*A+1/4,it2=<1/4*B+1/2*A+7/12,it2=<1/4*B+1/2*A+9/4,it2=<1/6*A+1/4*B+19/12,it2=<1/12*B+1/6*A+25/12,it2=<-1*E+1/2*A+3/4*B+3/4,it2=<-1*E+1/4*B+1/2*A+1/4,it2=<-1*E+1/4*B+1/2*A+7/12,it2=<-2/3*E+1/3*A+1/3*D+ -1/3,it2=<5/2,it2=<9/2,it2=<17/6
  with precondition: [3>=A,3>=B,3>=C,E>=0,3*B+5>=2*D,2*D>=B+5,2*A+3*B+7>=4*D+4*E] 

f0(A,B,C,D,E,F,G):[62]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<4,it2=<6,it2=<8,it2=<-1*E+4,it2=<-1*E+6,it2=<-1*E+10/3,it2=<1*D+ -1,it2=<1*D+ -13/6,it2=<1*D+ -3/2,it2=<3/4*B+15/4,it2=<-1*E+3/4*B+15/4,it2=<1*A+1/2*B+3/2,it2=<1*A+1/2*B+5/6,it2=<1*D+1*E+ -1,it2=<1*D+1*E+ -13/6,it2=<1*D+1*E+ -3/2,it2=<1*D+ -1/2*B+ -13/6,it2=<1*D+ -1/2*B+ -3/2,it2=<2*D+2*E+ -5,it2=<2*D+2*E+ -17/3,it2=<2*D+2*E+ -9/2,it2=<-2/3*E+1/3*D+1,it2=<-2/3*E+1/3*D+5/3,it2=<1/2*A+1/4*B+7/4,it2=<1/2*A+1/4*B+13/12,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*D+1/3*E+1,it2=<1/3*D+1/3*E+5/3,it2=<2/3*D+2/3*E+2/3,it2=<2/3*D+2/3*E+4/3,it2=<3/4*B+1/2*A+9/4,it2=<4/3*D+4/3*E+ -4/3,it2=<1*D+1*E+ -1/2*B+ -13/6,it2=<1*D+1*E+ -1/2*B+ -3/2,it2=<2*D+2*E+ -1*B+ -5,it2=<2*D+2*E+ -1*B+ -17/3,it2=<2*D+2*E+ -1/2*B+ -9/2,it2=<1/3*A+1/3*D+ -2/3*E+2/3,it2=<3/4*B+1/2*A+ -1*E+9/4,it2=<4/3*D+4/3*E+1/3*A+ -7/3,it2=<10/3,it2=<16/3
  with precondition: [4*D+4*E=3*B+2*A+13,3>=B,3>=C,B>=0,E>=0,2*D>=B+5,3*B+19>=4*D+4*E,4*D+4*E>=3*B+13,6*D+8*E>=3*B+21] 

f0(A,B,C,D,E,F,G):[63]: inf
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+6,A+D>=2*E+1,2*D+4*E>=B+8,4*D+4*E>=3*B+2*A+14] 

f0(A,B,C,D,E,F,G):[64]: inf
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+7,6*D+8*E>=3*B+27,A+D>=2*E+1,4*D+4*E>=3*B+2*A+17] 

f0(A,B,C,D,E,F,G):[65]: 1+it1*(3)+it2*(3)
  Such that:it1=<1*D+ -2,it1=<1*D+ -1,it1=<1*D+ -13/6,it1=<1*D+ -5/2,it1=<1*D+ -5/3,it1=<1*D+ -3/2,it1=<2*D+ -4,it1=<2*D+ -9/2,it1=<3*D+ -7,it1=<3*D+ -15/2,it1=<-1*B+2*D+ -4,it1=<-1*B+2*D+ -9/2,it1=<-1*B+3*D+ -7,it1=<1*D+ -1/2*B+ -5/2,it1=<2*D+2*E+ -6,it1=<2*D+2*E+ -13/2,it1=<-3/2*B+3*D+ -7,it1=<-3/2*B+3*D+ -15/2,it1=<-1/2*B+1*D+ -2,it1=<-1/2*B+1*D+ -1,it1=<-1/2*B+1*D+ -13/6,it1=<-1/2*B+1*D+ -5/3,it1=<-1/2*B+1*D+ -3/2,it1=<-1/2*B+2*D+ -4,it1=<2/3*D+2/3*E+ -11/6,it1=<2/3*D+2/3*E+ -7/6,it1=<2/3*D+2/3*E+ -4/3,it1=<2/3*D+2/3*E+ -2/3,it1=<4/3*D+4/3*E+ -23/6,it1=<4/3*D+4/3*E+ -10/3,it1=<-1*B+2*D+2*E+ -6,it1=<-1*B+4/3*D+4/3*E+ -23/6,it1=<-1*B+4/3*D+4/3*E+ -10/3,it1=<-3/2*B+2*D+2*E+ -6,it1=<-3/2*B+2*D+2*E+ -13/2,it1=<-1/2*B+2/3*D+2/3*E+ -11/6,it1=<-1/2*B+2/3*D+2/3*E+ -7/6,it1=<-1/2*B+2/3*D+2/3*E+ -4/3,it1=<-1/2*B+2/3*D+2/3*E+ -2/3,it1=<-1/2*B+4/3*D+4/3*E+ -10/3,it1=<2/3*D+2/3*E+ -1/3*A+ -4/3,it1=<2/3*D+2/3*E+ -1/3*A+ -2/3,it1=<-1*A+ -1*B+2*D+2*E+ -6,it1=<-1*B+ -2/3*A+4/3*D+4/3*E+ -23/6,it1=<-1*B+ -2/3*A+4/3*D+4/3*E+ -10/3,it1=<-3/2*B+ -1*A+2*D+2*E+ -6,it1=<-3/2*B+ -1*A+2*D+2*E+ -13/2,it1=<-2/3*A+ -1/2*B+4/3*D+4/3*E+ -10/3,it1=<-1/2*B+ -1/3*A+2/3*D+2/3*E+ -4/3,it1=<-1/2*B+ -1/3*A+2/3*D+2/3*E+ -2/3,it1=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -11/6,it1=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -7/6,it2=<1*D+ -2,it2=<1*D+ -1,it2=<1*D+ -7/3,it2=<1*D+ -5/3,it2=<-2/3*E+1/3*D+1,it2=<-2/3*E+1/3*D+5/3,it2=<-1/2*B+1*D+ -2,it2=<-1/2*B+1*D+ -7/3,it2=<-1/2*B+1*D+ -5/3,it2=<1/3*A+1/3*D+ -2/3*E,it2=<1/3*A+1/3*D+ -2/3*E+2/3
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+6,A+D>=2*E+1,2*D+4*E>=B+8,4*D+4*E>=3*B+2*A+14] 

f0(A,B,C,D,E,F,G):[66]: 4+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<1*D+ -3,it2=<1*D+ -7/2,it2=<1*D+2*E+ -4,it2=<1*D+2*E+ -9/2,it2=<-1/2*B+1*D+ -3,it2=<-1/2*B+1*D+ -7/2,it2=<2/3*D+2/3*E+ -2,it2=<2/3*D+2/3*E+ -5/2,it2=<-1/2*B+1*D+2*E+ -4,it2=<-1/2*B+1*D+2*E+ -9/2,it2=<-1/2*B+2/3*D+2/3*E+ -2,it2=<-1/2*B+2/3*D+2/3*E+ -5/2,it2=<2/3*D+2/3*E+ -1/3*A+ -2,it2=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -2,it2=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -5/2,it3=<1*D+ -3,it3=<1*D+ -1,it3=<-2/3*E+1/3*D+1,it3=<-1/2*B+1*D+ -3,it3=<1/3*A+1/3*D+ -2/3*E
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+4*E>=6,4*D+4*E>=3*B+2*A+18] 

f0(A,B,C,D,E,F,G):[67]: 4+it1*(3)+it2*(3)+it3*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<1*D+ -3,it2=<1*D+ -7/2,it2=<1*D+4/3*E+ -4,it2=<1*D+4/3*E+ -9/2,it2=<-1/2*B+1*D+ -7/2,it2=<2/3*D+2/3*E+ -2,it2=<2/3*D+2/3*E+ -5/2,it2=<-1/2*B+1*D+4/3*E+ -9/2,it2=<-1/2*B+2/3*D+2/3*E+ -5/2,it2=<2/3*D+2/3*E+ -1/3*A+ -2,it2=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -5/2,it3=<1*D+ -1,it3=<1*D+ -7/2,it3=<-2/3*E+1/3*D+1,it3=<-1/2*B+1*D+ -7/2,it3=<1/3*A+1/3*D+ -2/3*E
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+2*E>=6,4*D+4*E>=3*B+2*A+21] 

f0(A,B,C,D,E,F,G):[68]: 4+it1*(3)+it2*(3)
  Such that:it1=<1*D+ -3,it1=<1*D+ -7/2,it1=<1*D+2*E+ -4,it1=<1*D+2*E+ -9/2,it1=<-1/2*B+1*D+ -3,it1=<-1/2*B+1*D+ -7/2,it1=<2/3*D+2/3*E+ -2,it1=<2/3*D+2/3*E+ -5/2,it1=<-1/2*B+1*D+2*E+ -4,it1=<-1/2*B+1*D+2*E+ -9/2,it1=<-1/2*B+2/3*D+2/3*E+ -2,it1=<-1/2*B+2/3*D+2/3*E+ -5/2,it1=<2/3*D+2/3*E+ -1/3*A+ -2,it1=<-1/2*B+ -1/3*A+2/3*D+2/3*E+ -2,it1=<2/3*D+2/3*E+ -1/3*A+ -1/2*B+ -5/2,it2=<1*D+ -3,it2=<1*D+ -1,it2=<-2/3*E+1/3*D+1,it2=<-1/2*B+1*D+ -3,it2=<1/3*A+1/3*D+ -2/3*E
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+4*E>=6,4*D+4*E>=3*B+2*A+18] 

f0(A,B,C,D,E,F,G):[69]: 4+it1*(3)
  Such that:it1=<1*D+ -2,it1=<1*D+ -1,it1=<1/2*D+1,it1=<1*D+1*E+ -2,it1=<1*D+1*E+ -1,it1=<1*D+1*E+2,it1=<3*D+3*E+ -7,it1=<-2/3*E+1/3*D+1,it1=<-1/2*B+1*D+ -2,it1=<1/3*A+1/3*D+ -2/3*E,it1=<1/3*A+1/3*D+1/3*E,it1=<1/3*D+1/3*E+1,it1=<1/3*D+1/3*E+3/2,it1=<1*A+1*D+1*E+ -1,it1=<-3/2*B+3*D+3*E+ -7,it1=<-1/2*B+1*D+1*E+ -2,it1=<-1/6*B+1/2*D+2/3*E+1,it1=<1/3*D+1/3*E+ -1/6*A+3/2
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,4*D+4*E>=3*B+2*A+12,A+D+2*E>=B+3] 

f0(A,B,C,D,E,F,G):[70]: 1+it1*(3)
  Such that:it1=<2*D,it1=<1*D+ -1,it1=<1*D+2,it1=<1/2*A+1/2*D,it1=<1/2*D+2,it1=<1*A+1*D+ -1,it1=<1*A+2*D+ -3,it1=<1*D+1*E+ -1,it1=<-2/3*E+1/3*D+1,it1=<-2/3*E+1/3*D+5/3,it1=<-2/3*E+4/3*D+2,it1=<-1/2*B+1*D+ -1,it1=<1/2*A+1/2*D+1*E,it1=<1/3*A+1/3*D+ -2/3*E,it1=<1/3*A+1/3*D+1/3*E,it1=<1/3*D+1/3*E+1,it1=<1/3*D+1/3*E+5/3,it1=<-2/3*E+1/3*A+1/3*D+2/3,it1=<-2/3*E+4/3*A+4/3*D+ -2,it1=<-1/2*B+1*D+1*E+ -1,it1=<1/3*A+1/3*D+1/3*E+2/3
  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+4,A+D>=2*E+1] 

f0(A,B,C,D,E,F,G):[71]: 1+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<2,it1=<3,it1=<1*E,it1=<-7/6*B+9/2,it1=<-5/12*B+1*E,it1=<-5/36*B+7/6,it1=<-5/36*B+11/12,it1=<-1/2*B+2,it1=<-1/2*B+5/2,it1=<-1/2*B+7/4,it1=<-1/4*B+2,it1=<-1/4*B+3/2,it1=<-1/4*B+5/4,it1=<-1/6*B+1,it1=<-1/6*B+3/2,it1=<-1/6*B+3/4,it1=<-1/6*B+5/2,it1=<-1/8*B+1,it1=<-1/8*B+5/4,it1=<-1/12*B+1,it1=<-1/12*B+3/2,it1=<-1/12*B+3/4,it1=<1/2*D+3/2,it1=<2/3*E+1/2,it1=<-1*B+ -1/3*E+5,it1=<-11/12*B+ -1/2*D+11/2,it1=<-7/18*B+ -1/3*E+8/3,it1=<-7/18*B+ -1/3*E+29/12,it1=<-5/12*B+1/2*D+3/2,it1=<-1/2*A+ -5/12*B+1*E,it1=<-1/2*B+ -1/2*E+7/2,it1=<-1/2*B+ -1/2*E+13/4,it1=<-1/2*B+ -1/3*E+3,it1=<-1/2*B+ -1/3*E+7/2,it1=<-1/2*B+ -1/3*E+11/4,it1=<-1/2*D+1*E+1,it1=<-1/2*E+1/4*D+2,it1=<-1/2*E+1/4*D+7/4,it1=<-1/3*B+ -1/3*E+3,it1=<-1/3*B+ -1/3*E+5/2,it1=<-1/3*B+ -1/3*E+9/4,it1=<-1/3*D+2/3*E+7/6,it1=<-1/3*E+1/2*D+2,it1=<-1/3*E+1/6*D+2,it1=<-1/3*E+1/6*D+5/2,it1=<-1/3*E+1/6*D+5/3,it1=<-1/3*E+1/6*D+7/4,it1=<-1/3*E+1/6*D+8/3,it1=<-1/3*E+1/6*D+17/12,it1=<-1/4*A+ -1/8*B+1,it1=<-1/4*A+ -1/8*B+5/4,it1=<-1/4*B+ -1/6*A+2,it1=<-1/4*B+ -1/6*A+3/2,it1=<-1/4*B+ -1/6*A+5/4,it1=<-1/4*B+2/3*E+1/2,it1=<-1/6*A+ -5/36*B+7/6,it1=<-1/6*A+ -5/36*B+11/12,it1=<-1/6*A+ -1/12*B+3/2,it1=<-1/8*B+ -1/4*A+1,it1=<-1/8*B+ -1/4*A+5/4,it1=<-1/12*B+ -1/6*A+1,it1=<-1/12*B+ -1/6*A+3/2,it1=<-1/12*B+ -1/6*A+3/4,it1=<-5/6*B+ -1/3*D+ -1/3*E+17/3,it1=<-1/2*A+ -1/4*B+2/3*E+1/2,it1=<-1/2*D+ -1/6*B+1*E+1,it1=<-1/2*E+ -1/8*B+1/4*D+2,it1=<-1/2*E+ -1/8*B+1/4*D+7/4,it1=<-1/3*D+ -1/12*B+2/3*E+7/6,it1=<-1/3*E+ -5/36*B+1/6*D+5/3,it1=<-1/3*E+ -5/36*B+1/6*D+17/12,it1=<-1/3*E+ -1/4*B+1/2*D+2,it1=<-1/3*E+ -1/4*B+1/6*D+2,it1=<-1/3*E+ -1/4*B+1/6*D+5/2,it1=<-1/3*E+ -1/4*B+1/6*D+7/4,it1=<-1/3*E+ -1/12*B+1/6*D+2,it1=<-1/3*E+ -1/12*B+1/6*D+8/3,it1=<-2*E+ -1/2*B+1*A+1*D+5,it1=<-2*E+ -1/2*B+1*A+1*D+11/2,it1=<-2*E+ -1/2*B+1*A+1*D+19/4,it1=<-1*E+ -1/4*B+1/3*A+1/2*D+3,it1=<-1*E+ -1/4*B+1/3*A+1/2*D+7/2,it1=<-1*E+ -1/4*B+1/3*A+1/2*D+11/4,it1=<-1*E+ -1/6*B+1/2*A+1/2*D+3,it1=<-1*E+ -1/12*B+1/3*A+1/2*D+3,it1=<-1/2*A+ -1/2*D+ -1/6*B+1*E+1,it1=<-1/2*A+ -1/3*D+ -1/12*B+2/3*E+7/6,it1=<3/2,it1=<3/4,it1=<5/2,it1=<5/4,it1=<7/4,it1=<7/6,it1=<11/12,it1=<13/6,it2=<4,it2=<5,it2=<-2*B+7,it2=<-2*B+13/2,it2=<-1*A+4,it2=<1*D+ -1,it2=<1*D+ -3/2,it2=<2*E+ -2,it2=<2*E+ -5/2,it2=<-5/6*B+5,it2=<-5/6*B+9/2,it2=<-3/2*B+7,it2=<-3/4*B+5,it2=<-3/4*B+11/2,it2=<-1/2*B+4,it2=<-1/2*B+7/2,it2=<-1/3*B+5,it2=<-1/4*B+11/2,it2=<-3*B+ -3*E+19,it2=<-3*B+ -3*E+37/2,it2=<-3*E+ -5/2*B+19,it2=<-3*E+3/2*D+10,it2=<-3*E+3/2*D+19/2,it2=<-2*B+ -2*E+13,it2=<-2*B+ -2*E+25/2,it2=<-2*E+1*D+8,it2=<-2*E+1*D+15/2,it2=<-2*E+ -11/6*B+14,it2=<-2*E+ -3/2*B+13,it2=<-1*A+2*E+ -2,it2=<-1*A+2*E+ -5/2,it2=<-1*A+ -5/6*B+5,it2=<-1*A+ -5/6*B+9/2,it2=<-1*A+ -1/3*B+5,it2=<1*D+ -1/2*B+ -1,it2=<1*D+ -1/2*B+ -3/2,it2=<2*E+ -1*A+ -2,it2=<-7/3*B+ -2*E+14,it2=<-7/3*B+ -2*E+27/2,it2=<-3/2*A+ -3/4*B+5,it2=<-3/2*A+ -3/4*B+11/2,it2=<-3/2*A+ -1/4*B+11/2,it2=<-1/2*B+ -1*A+4,it2=<-1/2*B+ -1*A+7/2,it2=<-1/2*B+2*E+ -2,it2=<-1/2*B+2*E+ -5/2,it2=<-3*E+ -3/4*B+3/2*D+10,it2=<-3*E+ -3/4*B+3/2*D+19/2,it2=<-3*E+ -1/4*B+3/2*D+10,it2=<-2*E+ -5/6*B+1*D+8,it2=<-2*E+ -5/6*B+1*D+15/2,it2=<-2*E+ -1/3*B+1*D+8,it2=<2*E+ -1/2*B+ -1*A+ -2,it2=<2*E+ -1/2*B+ -1*A+ -5/2,it2=<7/2,it2=<9/2,it2=<11/2
  with precondition: [3>=C,3>=E,A>=0,B>=0,2*D>=B+4,2*A+18>=4*E+3*B,2*E>=A+D+1] 

f0(A,B,C,D,E,F,G):[72]: 1+it1*(3)+it2*(3)
  Such that:it1=<-1/4*B+3/2,it1=<-1/4*B+7/4,it1=<-1/4*B+9/4,it1=<-1*E+ -1/2*B+5,it1=<-1*E+ -1/2*B+11/2,it1=<-1*E+ -1/2*B+19/4,it1=<-1/2*A+ -1/4*B+9/4,it1=<-1/4*B+ -1/2*A+3/2,it1=<-1/4*B+ -1/2*A+7/4,it1=<-1/4*B+ -1/2*A+9/4,it1=<3/2,it1=<7/4,it1=<9/4,it2=<4,it2=<-1*A+4,it2=<-1*B+4,it2=<1*D+ -1,it2=<1*D+ -3/2,it2=<2*E+ -2,it2=<2*E+ -5/2,it2=<-1/2*B+7/2,it2=<-1/2*B+9/2,it2=<-2*E+ -1*B+10,it2=<-2*E+ -1/2*B+21/2,it2=<-1*A+2*E+ -2,it2=<-1*A+2*E+ -5/2,it2=<1*D+ -1/2*B+ -3/2,it2=<2*E+ -1*A+ -2,it2=<-1/2*B+ -1*A+7/2,it2=<-1/2*B+2*E+ -5/2,it2=<2*E+ -1/2*B+ -1*A+ -5/2,it2=<7/2
  with precondition: [3>=C,3>=E,A>=0,B>=0,2*D>=B+5,2*A+13>=4*E+B,2*E>=A+D+1] 

f0(A,B,C,D,E,F,G):[73]: 1+it1*(3)
  Such that:it1=<4,it1=<-1*A+4,it1=<1*D+ -1,it1=<1*D+ -3/2,it1=<2*E+ -2,it1=<2*E+ -5/2,it1=<-1/2*B+4,it1=<-1/2*B+7/2,it1=<-1*A+2*E+ -2,it1=<-1*A+2*E+ -5/2,it1=<-1*A+ -1/2*B+4,it1=<1*D+ -1/2*B+ -3/2,it1=<2*E+ -1*A+ -2,it1=<-1/2*B+ -1*A+7/2,it1=<-1/2*B+1*D+ -1,it1=<-1/2*B+2*E+ -2,it1=<-1/2*B+2*E+ -5/2,it1=<-1*A+ -1/2*B+2*E+ -2,it1=<2*E+ -1/2*B+ -1*A+ -5/2,it1=<7/2
  with precondition: [3>=B,3>=C,3>=E,A>=0,B>=0,2*D>=B+4,2*E>=A+D+1] 

f0(A,B,C,D,E,F,G):[74]: 4+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*E+3,it1=<-1/2*D+1,it1=<-1/2*D+5/2,it1=<-1/4*B+3,it1=<-1/4*B+3/2,it1=<-1/2*A+ -1/2*D+5/2,it1=<1/2*A+ -1*E+3/2,it1=<1/4,it1=<5/2,it2=<1,it2=<2,it2=<2*E,it2=<1/2*B,it2=<-2*E+6,it2=<-1*D+2,it2=<1*D+1,it2=<1*D+4,it2=<2*E+ -1*A,it2=<-1/2*B+3,it2=<1/2*B+3,it2=<1*A+ -2*E+3,it2=<1*A+1*D+1,it2=<3/2,it2=<9/2
  with precondition: [2*D+2=B,A+D+1=2*E,1>=2*D,3>=C,D>=0,D+4>=2*E,2*E>=D+1] 

f0(A,B,C,D,E,F,G):[75]: 4+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<-1*E+3,it1=<-1/2*D+1,it1=<-1/2*D+5/2,it1=<-1/4*B+5/4,it1=<-1/4*B+11/4,it1=<-1/2*A+ -1/2*D+5/2,it1=<1/2*A+ -1*E+3/2,it1=<1/4,it1=<5/2,it2=<1,it2=<2,it2=<5,it2=<2*E,it2=<1/2*B,it2=<-2*E+6,it2=<-1*D+2,it2=<1*D+1,it2=<1*D+4,it2=<1*D+1/2,it2=<1*D+7/2,it2=<2*E+ -1*A,it2=<2*E+ -1/2,it2=<-1/2*B+5/2,it2=<1/2*B+3,it2=<1/2*B+1/2,it2=<1/2*B+7/2,it2=<1*A+ -2*E+3,it2=<1*A+1*D+1,it2=<1*A+1*D+1/2,it2=<2*E+ -1*A+ -1/2,it2=<1/2,it2=<3/2,it2=<9/2
  with precondition: [2*D+1=B,A+D+1=2*E,3>=C,1>=D,D>=0,D+4>=2*E,2*E>=D+1] 

f0(A,B,C,D,E,F,G):[76]: 4+it1*(3)
  Such that:it1=<2,it1=<3,it1=<6,it1=<1*B,it1=<1/2*B,it1=<-2*E+6,it1=<-2*E+7,it1=<-2*E+10,it1=<-2*E+11/2,it1=<-1*D+2,it1=<-1*D+3,it1=<-1*D+1*B,it1=<-1*D+3/2,it1=<2*E+2,it1=<1/2*B+ -1*D,it1=<1/2*B+1/2,it1=<-2*D+2*E+2,it1=<-2*E+1*A+3,it1=<-2*E+1*A+4,it1=<-2*E+1*A+5/2,it1=<-2*E+2*A+4,it1=<-1*D+1/2*B+1/2,it1=<1*A+ -2*E+3,it1=<-2*D+1*B+2*E+ -1,it1=<3/2
  with precondition: [2*E=A+D+1,3>=B,3>=C,D>=0,B>=2*D+1,D+4>=2*E,2*E>=D+1] 

f0(A,B,C,D,E,F,G):[77]: 4
  with precondition: [2*E=A+D+1,3>=B,3>=C,B>=0,D>=0,B+1>=2*D,D+4>=2*E,2*E>=D+1] 

f0(A,B,C,D,E,F,G):[78]: 4+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<4,it2=<-1*A+4,it2=<1*D+ -2,it2=<1*D+ -5/2,it2=<2*E+ -2,it2=<2*E+ -5/2,it2=<-3/2*B+7,it2=<-1/2*B+4,it2=<-1/2*B+7/2,it2=<-2*E+1*D+4,it2=<-2*E+1*D+7/2,it2=<-2*E+1*D+11/2,it2=<-2*E+ -3/2*B+13,it2=<-1*A+2*E+ -2,it2=<-1*A+2*E+ -5/2,it2=<1*D+ -2*E+4,it2=<1*D+ -1/2*B+ -2,it2=<1*D+ -1/2*B+ -5/2,it2=<2*E+ -1*A+ -2,it2=<-1/2*B+ -1*A+4,it2=<-1/2*B+ -1*A+7/2,it2=<-1/2*B+ -1*A+11/2,it2=<1*D+ -1/2*B+ -2*E+4,it2=<1*D+ -1/2*B+ -2*E+7/2,it2=<1*D+ -1/2*B+ -2*E+11/2,it2=<7/2,it2=<11/2
  with precondition: [2*E=A+D,3>=C,3>=E,B>=0,18>=3*B+2*D,2*D>=B+6,2*E>=D] 

f0(A,B,C,D,E,F,G):[79]: 4+it1*(3)+it2*(3)
  Such that:it1=<1,it1=<1/2,it1=<1/4,it2=<4,it2=<-1*A+4,it2=<-1*A+11/2,it2=<1*D+ -2,it2=<1*D+ -5/2,it2=<2*E+ -2,it2=<2*E+ -5/2,it2=<-1/2*B+7/2,it2=<-1/2*B+9/2,it2=<-2*E+1*D+7/2,it2=<-2*E+1*D+11/2,it2=<-2*E+ -1/2*B+21/2,it2=<-1*A+2*E+ -5/2,it2=<1*D+ -2*E+4,it2=<1*D+ -1/2*B+ -5/2,it2=<2*E+ -1*A+ -2,it2=<-1/2*B+ -1*A+7/2,it2=<1*D+ -1/2*B+ -2*E+7/2,it2=<1*D+ -1/2*B+ -2*E+11/2,it2=<7/2,it2=<11/2
  with precondition: [2*E=A+D,3>=C,3>=E,B>=0,13>=2*D+B,2*D>=B+7,2*E>=D] 

f0(A,B,C,D,E,F,G):[80]: 4+it1*(3)
  Such that:it1=<4,it1=<5,it1=<7,it1=<-1*A+4,it1=<-1*A+5,it1=<-1*A+9/2,it1=<1*D+ -2,it1=<1*D+1,it1=<1*D+ -5/2,it1=<1*E+4,it1=<2*E+ -2,it1=<2*E+1,it1=<2*E+ -5/2,it1=<2*E+1/2,it1=<-1/2*B+4,it1=<-1/2*B+7/2,it1=<-4*E+2*D+7,it1=<-3*E+2*D+4,it1=<-2*A+ -1*B+7,it1=<-2*A+1*E+4,it1=<-2*A+2*E+1,it1=<-2*A+2*E+1/2,it1=<-2*E+1*D+4,it1=<-2*E+1*D+5,it1=<-2*E+1*D+7/2,it1=<-2*E+2*D+1,it1=<-2*E+2*D+1/2,it1=<-1*A+2*E+1,it1=<-1*A+2*E+ -5/2,it1=<-1*A+ -1/2*B+4,it1=<-1*A+ -1/2*B+5,it1=<-1*B+1*D+1,it1=<1*D+ -2*E+4,it1=<1*D+ -2*E+5,it1=<1*D+ -2*E+9/2,it1=<1*D+ -1/2*B+ -5/2,it1=<2*E+ -1*A+ -2,it1=<-1/2*B+ -1*A+7/2,it1=<-1/2*B+1*D+ -2,it1=<-4*E+ -1*B+2*D+7,it1=<-3*E+ -1/2*B+2*D+4,it1=<-2*A+ -1*B+2*E+1,it1=<-2*A+ -1*B+2*E+1/2,it1=<-2*A+ -1/2*B+2*E+1,it1=<-2*A+ -1/2*B+2*E+1/2,it1=<-2*E+ -1*B+2*D+1,it1=<-2*E+ -1*B+2*D+1/2,it1=<-2*E+ -1/2*B+1*D+4,it1=<-2*E+ -1/2*B+1*D+5,it1=<-2*E+ -1/2*B+2*D+1,it1=<-2*E+ -1/2*B+2*D+1/2,it1=<-1*A+ -1/2*B+2*E+ -2,it1=<1*D+ -1/2*B+ -2*E+7/2,it1=<7/2,it1=<9/2,it1=<13/2
  with precondition: [2*E=A+D,3>=B,3>=C,3>=E,B>=0,2*D>=B+6,2*E>=D] 

f0(A,B,C,D,E,F,G):[81]: 4
  with precondition: [2*E=A+D,3>=B,3>=C,3>=E,B>=0,D+3>=2*E,2*D>=B+4,2*E>=D] 

Solved cost expressions of f0(A,B,C,D,E,F,G): 
f0(A,B,C,D,E,F,G):[40]: 1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,D>=0,E>=0] 
f0(A,B,C,D,E,F,G):[41]: 3/2*A+3/2*D+ -3*E+1/4  with precondition: [B+2=2*D,3>=A,3>=B,3>=C,A>=0,B>=0,E>=0,B+2*A>=4*E] 
f0(A,B,C,D,E,F,G):[42]: -3/2*A+ -3/2*D+3*E+ -5/4  with precondition: [2*D=B+2,5>=2*D,3>=C,3>=E,A>=0,D>=1,2*E>=A+D+2] 
f0(A,B,C,D,E,F,G):[43]: 3/2*A+3/2*D+ -3*E+1/4  with precondition: [2*D=B+3,3>=A,3>=C,3>=D,A>=0,E>=0,2*D>=3,A+D>=2*E+1] 
f0(A,B,C,D,E,F,G):[44]: -3/2*A+ -3/2*D+3*E+ -5/4  with precondition: [2*D=B+3,3>=C,3>=D,3>=E,A>=0,2*D>=3,2*E>=A+D+2] 
f0(A,B,C,D,E,F,G):[45]: 3/2*B+ -3*D+3+nat(min([1/6*A+1/4*B+1/4,1/2*A+1/4]))*3+1  with precondition: [3>=A,3>=B,3>=C,D>=0,E>=0,B>=2*D,A+D>=2*E,4*E+6*A>=B] 
f0(A,B,C,D,E,F,G):[46]: 3/2*B+ -3*D+3+nat(min([1/2*A+1/4*B+3*E+ -1/2,1/2*A+1/4,1/4*A+1/4*B+1/4]))*3+1  with precondition: [3>=A,3>=B,3>=C,A>=0,D>=0,E>=0,B+1>=2*D,B+2*D>=1,A+D>=2*E,B+2*A+12*E>=3] 
f0(A,B,C,D,E,F,G):[47]: 3/2*B+ -3*D+4  with precondition: [3>=A,3>=B,3>=C,A>=0,B>=0,D>=0,E>=0,B+1>=2*D,A+D>=2*E,A+B+2*E>=D] 
f0(A,B,C,D,E,F,G):[48]: 3/4+nat(min([1/2*B+ -1*D+1,-1/3*D+2/3*E+ -1/3]))*3+1  with precondition: [4*D+4*E=3*B+2*A+4,3>=B,3>=C,3>=E,D>=0,B+10>=4*E,B>=2*D,4*D+4*E>=3*B+4] 
f0(A,B,C,D,E,F,G):[49]: -3/2*A+ -3/2*D+3*E+ -11/4  with precondition: [2*D=B,3>=C,3>=E,A>=0,D>=0,2*E>=A+D+5] 
f0(A,B,C,D,E,F,G):[50]: 3/4+nat(min([1/2*B+ -1*D+3/2,-1/3*D+2/3*E+ -1/3]))*3+1  with precondition: [4*D+4*E=3*B+2*A+7,3>=B,3>=C,3>=E,D>=0,B+11>=4*E,B+1>=2*D,B+2*D>=1,4*D+4*E>=3*B+7] 
f0(A,B,C,D,E,F,G):[51]: -3/2*A+ -3/2*D+3*E+ -11/4  with precondition: [2*D=B+1,3>=C,3>=E,A>=0,2*D>=1,2*E>=A+D+5] 
f0(A,B,C,D,E,F,G):[52]: 3/2*B+ -3*D+nat(min([1/6*A+1/4*B+1/4,1/2*A+1/4]))*3+nat(min([-1/3*A+ -1/3*D+2/3*E+1/3,1/2*B+ -1*D,-1/2*A+5/2,-1/3*D+2/3*E+ -1/3]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,D>=0,B>=2*D+2,A+D+3>=2*E,2*E>=A+D+2,4*E+6*A>=B+4] 
f0(A,B,C,D,E,F,G):[53]: nat(min([1/3*A+1/2*B+ -2/3*D+ -2/3*E+1,1/2*B+ -1*D]))*3+nat(min([1/2*A+1/4*B+3*E+ -7/2,1/2*A+1/4,1/4*A+1/4*B+1/4]))*3+nat(min([-1/3*A+ -1/3*D+2/3*E+1/3,-1/3*D+2/3*E+ -1/3,-1/2*A+5/2,1/2*B+ -1*D+1/2]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,D>=0,B>=2*D+1,2*E>=A+D+2,B+2*A+12*E>=15,2*A+3*B+3>=4*D+4*E] 
f0(A,B,C,D,E,F,G):[54]: nat(min([1/3*A+1/2*B+ -2/3*D+ -2/3*E+1,1/2*B+ -1*D]))*3+nat(min([-1/3*A+ -1/3*D+2/3*E+1/3,-1/3*D+2/3*E+ -1/3,-1/2*A+5/2,1/2*B+ -1*D+1/2]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,D>=0,B>=2*D+1,2*E>=A+D+2,2*A+3*B+3>=4*D+4*E] 
f0(A,B,C,D,E,F,G):[55]: 37/4  with precondition: [B=3,D=0,2*E=A+4,3>=C,3>=E,E>=2] 
f0(A,B,C,D,E,F,G):[56]: 17/2  with precondition: [B=3,D=0,2*E=A+4,3>=C,3>=E,E>=2] 
f0(A,B,C,D,E,F,G):[57]: 7  with precondition: [A+D+4=2*E,3>=B,3>=C,3>=E,D>=0,B>=2*D+1,2*E>=D+4] 
f0(A,B,C,D,E,F,G):[58]: nat(min([-1/3*A+ -1/3*D+2/3*E+1/3,-1/3*D+2/3*E+ -1/3,1*B+1,-1/2*A+5/2,1/2*B+ -1*D+3/2]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,D>=0,B+1>=2*D,2*E>=A+D+2] 
f0(A,B,C,D,E,F,G):[59]: 3/2*A+3/4*B+ -3*E+7/4  with precondition: [3>=A,3>=B,3>=C,E>=0,2*D>=B+4,B+2>=D,2*A+3*B+4>=4*D+4*E] 
f0(A,B,C,D,E,F,G):[60]: -3/2*B+3*D+ -13/4  with precondition: [4*D+4*E=3*B+2*A+10,3>=B,3>=C,B>=0,E>=0,2*D>=B+4,3*B+16>=4*D+4*E,4*D+4*E>=3*B+10,2*D+4*E>=B+6] 
f0(A,B,C,D,E,F,G):[61]: 3/2*A+3/4*B+ -3*E+5/2  with precondition: [3>=A,3>=B,3>=C,E>=0,3*B+5>=2*D,2*D>=B+5,2*A+3*B+7>=4*D+4*E] 
f0(A,B,C,D,E,F,G):[62]: -3/2*B+3*D+ -19/4  with precondition: [4*D+4*E=3*B+2*A+13,3>=B,3>=C,B>=0,E>=0,2*D>=B+5,3*B+19>=4*D+4*E,4*D+4*E>=3*B+13,6*D+8*E>=3*B+21] 
f0(A,B,C,D,E,F,G):[63]: inf  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+6,A+D>=2*E+1,2*D+4*E>=B+8,4*D+4*E>=3*B+2*A+14] 
f0(A,B,C,D,E,F,G):[64]: inf  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+7,6*D+8*E>=3*B+27,A+D>=2*E+1,4*D+4*E>=3*B+2*A+17] 
f0(A,B,C,D,E,F,G):[65]: 1*A+1*D+ -2*E+nat(min([-1/3*A+ -1/2*B+2/3*D+2/3*E+ -11/6,-1/2*B+1*D+ -5/2]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+6,A+D>=2*E+1,2*D+4*E>=B+8,4*D+4*E>=3*B+2*A+14] 
f0(A,B,C,D,E,F,G):[66]: -3/2*B+3*D+ -11/4  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+4*E>=6,4*D+4*E>=3*B+2*A+18] 
f0(A,B,C,D,E,F,G):[67]: -3/2*B+3*D+ -11/4  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+2*E>=6,4*D+4*E>=3*B+2*A+21] 
f0(A,B,C,D,E,F,G):[68]: -3/2*B+3*D+ -7/2  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,A+D+4*E>=6,4*D+4*E>=3*B+2*A+18] 
f0(A,B,C,D,E,F,G):[69]: 1*A+1*D+ -2*E+4  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,A+D>=2*E+3,4*D+4*E>=3*B+2*A+12,A+D+2*E>=B+3] 
f0(A,B,C,D,E,F,G):[70]: nat(min([1/3*A+1/3*D+ -2/3*E,-1/2*B+1*D+ -1]))*3+1  with precondition: [3>=A,3>=B,3>=C,3>=E,A>=0,B>=0,E>=0,2*D>=B+4,A+D>=2*E+1] 
f0(A,B,C,D,E,F,G):[71]: -3/2*B+3*D+ -9/2+nat(min([-1/6*A+ -1/12*B+3/4,-1/6*B+3/4]))*3+1  with precondition: [3>=C,3>=E,A>=0,B>=0,2*D>=B+4,2*A+18>=4*E+3*B,2*E>=A+D+1] 
f0(A,B,C,D,E,F,G):[72]: -3/2*A+ -9/4*B+3*D+1  with precondition: [3>=C,3>=E,A>=0,B>=0,2*D>=B+5,2*A+13>=4*E+B,2*E>=A+D+1] 
f0(A,B,C,D,E,F,G):[73]: -3/2*B+3*D+ -7/2  with precondition: [3>=B,3>=C,3>=E,A>=0,B>=0,2*D>=B+4,2*E>=A+D+1] 
f0(A,B,C,D,E,F,G):[74]: 31/4  with precondition: [2*D+2=B,A+D+1=2*E,1>=2*D,3>=C,D>=0,D+4>=2*E,2*E>=D+1] 
f0(A,B,C,D,E,F,G):[75]: 25/4  with precondition: [2*D+1=B,A+D+1=2*E,3>=C,1>=D,D>=0,D+4>=2*E,2*E>=D+1] 
f0(A,B,C,D,E,F,G):[76]: 3/2*B+ -3*D+4  with precondition: [2*E=A+D+1,3>=B,3>=C,D>=0,B>=2*D+1,D+4>=2*E,2*E>=D+1] 
f0(A,B,C,D,E,F,G):[77]: 4  with precondition: [2*E=A+D+1,3>=B,3>=C,B>=0,D>=0,B+1>=2*D,D+4>=2*E,2*E>=D+1] 
f0(A,B,C,D,E,F,G):[78]: -3/2*B+3*D+ -11/4  with precondition: [2*E=A+D,3>=C,3>=E,B>=0,18>=3*B+2*D,2*D>=B+6,2*E>=D] 
f0(A,B,C,D,E,F,G):[79]: -3/2*B+3*D+ -11/4  with precondition: [2*E=A+D,3>=C,3>=E,B>=0,13>=2*D+B,2*D>=B+7,2*E>=D] 
f0(A,B,C,D,E,F,G):[80]: -3/2*B+3*D+ -7/2  with precondition: [2*E=A+D,3>=B,3>=C,3>=E,B>=0,2*D>=B+6,2*E>=D] 
f0(A,B,C,D,E,F,G):[81]: 4  with precondition: [2*E=A+D,3>=B,3>=C,3>=E,B>=0,D+3>=2*E,2*D>=B+4,2*E>=D] 
Maximum cost of f0(A,B,C,D,E,F,G): inf 
Asymptotic class: infinity 
Time statistics: 
Partial evaluation computed in 118 ms.
Invariants computed in 1368 ms.
----Backward Invariants 769 ms.
----Transitive Invariants 46 ms.
Refinement performed in 619 ms.
Termination proved in 211 ms.
Upper bounds computed in 42741 ms.
----Phase cost structures 3884 ms.
--------Equation cost structures 3855 ms.
--------Inductive compression(1) 2 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 37621 ms.
----Solving cost expressions 1147 ms.

Compressed phase information: 77 
Compressed Chains: 0 
Compressed invariants: 13 
Total analysis performed in 45409 ms.