WARNING: Excluded non-linear constraints:[E2=B*W1+B*X1,F2=B*Y1-B*Z1,G2=C*A2-C*B2,H2= -C*C2-C*D2]
WARNING: Excluded non-linear constraints:[E2=B*W1+B*X1,F2=B*Y1-B*Z1,G2=C*A2-C*B2,H2= -C*C2-C*D2]
WARNING: Excluded non-linear constraints:[D2=B*V1+B*W1,E2=B*X1-B*Y1,F2=C*Z1-C*A2,G2= -C*B2-C*C2]
WARNING: Excluded non-linear constraints:[E2=B*V1+B*W1,F2=B*X1-B*Y1,G2=C*Z1-C*A2,H2= -C*B2-C*C2]
WARNING: Excluded non-linear constraints:[E2=B*V1+B*W1,F2=B*X1-B*Y1,G2=C*Z1-C*A2,H2= -C*B2-C*C2]
WARNING: Excluded non-linear constraints:[E2=B*V1+B*W1,F2=B*X1-B*Y1,G2=C*Z1-C*A2,H2= -C*B2-C*C2]
WARNING: Excluded non-linear constraints:[Y=F*N-G*O+N,Z=F*O+G*N+O]
warning: Ignored call to loop_cont_f27/23 in equation f2/23 
warning: Ignored call to loop_cont_f27/23 in equation f2/23 
warning: Ignored call to loop_cont_f27/23 in equation loop_cont_f13/23 
Inferred cost of f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1): 
f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[40]: 1
  with precondition: [X=0,Y=A,Z=B,A1=C,B1=D,C1=E,D1=F,E1=G,J1=L,K1=M,L1=N,M1=O,N1=P,O1=Q,P1=R,Q1=S,R1=T,S1=U,T1=V,U1=W,H=F1,I+1=G1,J=H1,K=I1,H>=I,K>=J+1] 

f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[39],40]: 1+it1*(1)
  Such that:it1=<1*J+ -1*K+1,it1=<1*H1+ -1*K+1
  with precondition: [X=0,A=Y,B=Z,C=A1,D=B1,E=C1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,N=L1,O=M1,P=N1,Q=O1,R=P1,S=Q1,T=R1,U=S1,V=T1,W=U1,H>=I,J>=K,J1>=L+2] 

Inferred cost of f13(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1): 
f13(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[44]: 1
  with precondition: [A=1,X=0,Y=1,Z=B,A1=C,B1=D,C1=E,D1=F,E1=G,H1=J,I1=K,J1=L,K1=M,L1=N,M1=O,N1=P,O1=Q,P1=R,Q1=S,R1=T,S1=U,T1=V,U1=W,H=F1,I=G1,I>=H+1] 

f13(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[42],44]: 1+it1*(2)
  Such that:it1=<1*H+ -1*I+1,it1=<1*F1+ -1*I+1
  with precondition: [A=1,X=0,Y=1,B=Z,C=A1,D=B1,E=C1,F=D1,G=E1,H=F1,H+1=G1,J=H1,K=I1,L=J1,M=K1,N=L1,O=M1,P=N1,Q=O1,R=P1,S=Q1,T=R1,U=S1,V=T1,W=U1,H>=I,K>=J+1] 

f13(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[43,[42],44]: 3+it1*(2)+it2*(1)
  Such that:it1=<1*H+ -1*I,it1=<1*F1+ -1*I,it2=<1*J+ -1*K+1,it2=<1*H1+ -1*K+1
  with precondition: [A=1,X=0,Y=1,B=Z,C=A1,D=B1,E=C1,F=D1,G=E1,H=F1,H+1=G1,J=H1,J+1=I1,M=K1,N=L1,O=M1,P=N1,Q=O1,R=P1,S=Q1,T=R1,U=S1,V=T1,W=U1,H>=I+1,J>=K,J1>=L+2] 

f13(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[43,44]: 3+it1*(1)
  Such that:it1=<1*J+ -1*K+1,it1=<1*H1+ -1*K+1
  with precondition: [A=1,X=0,Y=1,H=I,B=Z,C=A1,D=B1,E=C1,F=D1,G=E1,H=F1,H+1=G1,J=H1,J+1=I1,M=K1,N=L1,O=M1,P=N1,Q=O1,R=P1,S=Q1,T=R1,U=S1,V=T1,W=U1,J>=K,J1>=L+2] 

Inferred cost of f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1): 
f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[52]: 1
  with precondition: [X=0,Y=A,Z=B,A1=C,B1=D,D1=F,E1=G,F1=H,G1=I,J1=L,K1=M,C1=N,P1=R,Q1=S,R1=T,S1=U,T1=V,U1=W+2,J=H1,K=I1,P=N1,Q+1=O1,P>=2,P+2>=2*Q,K>=J+1] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[46],48,[47],52]: 3+it1*(2)+it2*(2)
  Such that:it1=<1*J+ -1,it1=<1*H1+ -1,it1=<1*I1+ -2,it2=<-1*K+1,it2=<1*I1+ -1*K
  with precondition: [X=0,J1=2,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,J=H1,J+1=I1,M=K1,P=N1,Q+1=O1,W+2=U1,0>=K,J>=2,P+2>=2*Q,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[46],48,52]: 3+it1*(2)
  Such that:it1=<-1*K+1,it1=<-1*K+2
  with precondition: [J=1,X=0,H1=1,I1=2,J1=1,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,M=K1,P=N1,Q+1=O1,W+2=U1,0>=K,P+2>=2*Q,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[46],52]: 1+it1*(2)
  Such that:it1=<-1*K+1,it1=<1*I1+ -1*K,it1=<1*J+ -1*K+1
  with precondition: [X=0,J1=2,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,J=H1,J+1=I1,M=K1,P=N1,Q+1=O1,W+2=U1,0>=J,P+2>=2*Q,J>=K,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[47],52]: 1+it1*(2)
  Such that:it1=<1*H1+ -1,it1=<1*I1+ -2,it1=<1*I1+ -1*K,it1=<1*J+ -1*K+1
  with precondition: [X=0,J1=2,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,J=H1,J+1=I1,M=K1,P=N1,Q+1=O1,W+2=U1,K>=2,P+2>=2*Q,J>=K,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[48,[47],52]: 3+it1*(2)
  Such that:it1=<1*J+ -1,it1=<1*H1+ -1,it1=<1*I1+ -2
  with precondition: [K=1,X=0,J1=2,O1=Q+1,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,J=H1,J+1=I1,M=K1,P=N1,W+2=U1,J>=2,P+4>=2*O1,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[48,52]: 3
  with precondition: [J=1,K=1,X=0,H1=1,I1=2,J1=1,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,M=K1,P=N1,Q+1=O1,W+2=U1,P+2>=2*Q,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6] 

f38(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[51,52]: 2
  with precondition: [J=1,K=1,Q=1,X=0,H1=1,I1=2,J1=1,O1=2,A=Y,B=Z,C=A1,D=B1,N=C1,F=D1,G=E1,H=F1,I=G1,M=K1,P=N1,V=T1,W+2=U1,P>=2] 

Inferred cost of f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1): 
f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[63]: 1
  with precondition: [N=1,O=0,X=0,L1=1,M1=0,Y=A,Z=B,A1=C,B1=D,C1=E,D1=F,E1=G,H1=J,I1=K,J1=L,P1=R,Q1=S,R1=T,S1=U,T1=V,U1=W,H=F1,I+1=G1,M=K1,P=N1,Q=O1,M>=1,P>=2,H>=I,3*Q>=P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[[55],63]: 1+it1*(2)
  Such that:it1=<1*O1+ -1*Q,it1=<1/2*P+ -1*Q+3/2,it1=<1/2*N1+ -1*Q+3/2
  with precondition: [X=0,K1=M,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,K=I1,L=J1,P=N1,R=P1,S=Q1,T=R1,U=S1,V=T1,K1>=1,P+4>=2*O1,H>=I,K>=J+1,3*O1>=P+7,O1>=Q+1,U1>=W+2,H+2>=I+K1] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[56,[55],63]: 5+it1*(2)+it2*(2)+it3*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7,it2=<1*J+ -1,it2=<1*H1+ -1,it2=<1*I1+ -2,it3=<-1*K+1,it3=<1*I1+ -1*K
  with precondition: [N=1,O=0,X=0,J1=2,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,0>=K,J>=2,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[56,63]: 5+it1*(2)+it2*(2)
  Such that:it1=<1*J+ -1,it1=<1*H1+ -1,it1=<1*I1+ -2,it2=<-1*K+1,it2=<1*I1+ -1*K
  with precondition: [N=1,O=0,X=0,C1=1,J1=2,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,W+2=U1,0>=K,J>=2,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[57,[55],63]: 5+it1*(2)+it2*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7,it2=<-1*K+1,it2=<-1*K+2
  with precondition: [J=1,N=1,O=0,X=0,H1=1,I1=2,J1=1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,M=K1,P=N1,0>=K,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[57,63]: 5+it1*(2)
  Such that:it1=<-1*K+1,it1=<-1*K+2
  with precondition: [J=1,N=1,O=0,X=0,C1=1,H1=1,I1=2,J1=1,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,M=K1,P=N1,W+2=U1,0>=K,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[58,[55],63]: 3+it1*(2)+it2*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7,it2=<-1*K+1,it2=<1*J+ -1*K+1,it2=<1*H1+ -1*K+1
  with precondition: [N=1,O=0,X=0,J1=2,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,0>=J,M>=1,P+4>=2*O1,H>=I,J>=K,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[58,63]: 3+it1*(2)
  Such that:it1=<-1*K+1,it1=<1*J+ -1*K+1,it1=<1*H1+ -1*K+1
  with precondition: [N=1,O=0,X=0,C1=1,J1=2,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,W+2=U1,0>=J,M>=1,P+4>=2*O1,H>=I,J>=K,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[59,[55],63]: 3+it1*(2)+it2*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7,it2=<1*J+ -1,it2=<1*H1+ -1,it2=<1*I1+ -2,it2=<1*J+ -1*K+1,it2=<1*H1+ -1*K+1
  with precondition: [N=1,O=0,X=0,J1=2,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,K>=2,M>=1,P+4>=2*O1,H>=I,J>=K,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[59,63]: 3+it1*(2)
  Such that:it1=<1*J+ -1,it1=<1*H1+ -1,it1=<1*I1+ -2,it1=<1*J+ -1*K+1,it1=<1*H1+ -1*K+1
  with precondition: [N=1,O=0,X=0,C1=1,J1=2,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,W+2=U1,K>=2,M>=1,P+4>=2*O1,H>=I,J>=K,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[60,[55],63]: 5+it1*(2)+it2*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7,it2=<1*J+ -1,it2=<1*H1+ -1,it2=<1*I1+ -2
  with precondition: [K=1,N=1,O=0,X=0,J1=2,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,J>=2,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[60,63]: 5+it1*(2)
  Such that:it1=<1*J+ -1,it1=<1*H1+ -1,it1=<1*I1+ -2
  with precondition: [K=1,N=1,O=0,X=0,C1=1,J1=2,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,J=H1,J+1=I1,M=K1,P=N1,W+2=U1,J>=2,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[61,[55],63]: 5+it1*(2)
  Such that:it1=<1*O1+ -3,it1=<1*T1+ -4,it1=<1*T1+ -9/2,it1=<2*T1+ -11,it1=<2*T1+ -23/2,it1=<1/2*P+ -1,it1=<1/2*P+ -3/2,it1=<1/2*N1+ -1,it1=<1/2*N1+ -3/2,it1=<1/2*T1+ -2,it1=<1/2*T1+ -5/2,it1=<2/3*T1+ -3,it1=<3/2*O1+ -5,it1=<3/2*O1+ -9/2,it1=<-6*N1+8*T1+ -23,it1=<-6*N1+8*T1+ -47/2,it1=<-3*Q+2*T1+ -5,it1=<-3*Q+2*T1+ -11/2,it1=<-3*O1+2*T1+1,it1=<-3*O1+2*T1+1/2,it1=<-1*P+2*T1+ -6,it1=<-1*P+2*T1+ -13/2,it1=<-1*N1+2*T1+ -6,it1=<-1*N1+2*T1+ -13/2,it1=<1*O1+ -1*Q+ -1,it1=<2*T1+ -3*O1+1,it1=<2*T1+ -3*O1+1/2,it1=<2*T1+ -3/2*P+ -11/2,it1=<2*T1+ -3/2*N1+ -11/2,it1=<-3/2*N1+2*T1+ -11/2,it1=<-2/3*Q+1*O1+ -5/3,it1=<-1/2*Q+1/2*T1+ -3/2,it1=<-1/6*Q+1/2*N1+ -7/6,it1=<-1/6*Q+1/2*N1+ -2/3,it1=<1/2*P+ -1*Q+1/2,it1=<1/2*N1+ -1*Q+1/2,it1=<1/4*Q+1/2*T1+ -5/2,it1=<-2*P+1*O1+2*T1+ -7,it1=<-2*N1+1*O1+2*T1+ -7,it1=<2*T1+1*O1+ -2*P+ -7,it1=<2*T1+1*O1+ -2*N1+ -7
  with precondition: [J=1,K=1,N=1,O=0,X=0,H1=1,I1=2,J1=1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,M=K1,P=N1,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,O1>=Q+2,U1>=W+4,3*P+8>=3*T1+Q,Q+2*T1>=2*P+6,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[61,63]: 5
  with precondition: [J=1,K=1,N=1,O=0,X=0,C1=1,H1=1,I1=2,J1=1,O1=Q+1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,M=K1,P=N1,W+2=U1,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,3*P+9>=3*T1+O1,O1+2*T1>=2*P+7,H+2>=I+M] 

f35(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1):[62,[55],63]: 4+it1*(2)
  Such that:it1=<1/2*P,it1=<1/2*N1,it1=<1*O1+ -2,it1=<1/2*P+ -1/2,it1=<1/2*N1+ -1/2,it1=<3/2*O1+ -4,it1=<3/2*O1+ -7/2,it1=<3/4*P+ -1,it1=<3/4*N1+ -1
  with precondition: [J=1,K=1,N=1,O=0,Q=1,X=0,H1=1,I1=2,J1=1,A=Y,B=Z,C=A1,D=B1,F=D1,G=E1,H=F1,I+1=G1,M=K1,P=N1,V=T1,M>=1,P+4>=2*O1,H>=I,3*O1>=P+7,U1>=W+4,H+2>=I+M]