eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N)],[]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f7(1,C,C,E,E,O,P,0,1,O,P,7,M,N)],[7>=P,7>=O,3>=P,P>=1,O>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f7(1,C,C,E,E,O,P,0,1,O,P,7,M,N)],[7>=P,7>=O,P>=5,O>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f7(1,C+1,C+1,E+1,E+1,O,4,1,1,O,4,7,M,N)],[7>=O,O>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C,C,E,E,3,O,0,0,3,O,2,M,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),loop_cont_f2(Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[P=0,7>=O,3>=O,O>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C,C,E,E,3,O,0,0,3,O,2,M,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[P=1,7>=O,3>=O,O>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C,C,E,E,3,O,0,0,3,O,2,M,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),loop_cont_f2(Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[P=0,7>=O,O>=5]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C,C,E,E,3,O,0,0,3,O,2,M,N,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[P=1,7>=O,O>=5]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C+1,C+1,E+1,E+1,3,4,1,0,3,4,2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1),loop_cont_f2(P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[O=0]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N),1,[f2(0,C+1,C+1,E+1,E+1,3,4,1,0,3,4,2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[O=1]).
eq(f2(A,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),1,[f3(0,C,C,E,E,D1,E1,H,0,D1,E1,3,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,7>=D1,3>=E1,E1>=1,D1>=1]).
eq(f2(A,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),1,[f3(0,C,C,E,E,D1,E1,H,0,D1,E1,3,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,7>=D1,E1>=5,D1>=1]).
eq(f2(A,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),1,[f3(0,C+1,C+1,E+1,E+1,D1,4,1,0,D1,4,3,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=D1,D1>=1]).
eq(f3(A,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),1,[f6(1,C,C,E,E,D1,E1,H,1,D1,E1,6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,7>=D1,3>=E1,E1>=1,D1>=1]).
eq(f3(A,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),1,[f6(1,C,C,E,E,D1,E1,H,1,D1,E1,6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,7>=D1,E1>=5,D1>=1]).
eq(f3(A,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),1,[f6(1,C+1,C+1,E+1,E+1,D1,4,1,1,D1,4,6,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=D1,D1>=1]).
eq(f6(A,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),1,[f4(D1,C,C,E,E,E1,2,0,D1,E1,2,4,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,1>=D1,D1>=0,E1>=1]).
eq(f6(A,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),1,[f4(D1,C,C,E,E,E1,7,1,D1,E1,7,4,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[7>=E1,1>=D1,D1>=0,E1>=1,H=1]).
eq(f4(A,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),1,[f2(0,C,C,E,E,D1,E1,0,0,D1,E1,2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[M>=1,M>=E+1,N>=1,N>=C+1,7>=E1,7>=D1,3>=E1,E1>=1,D1>=1,H=1]).
eq(f4(A,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),1,[f2(0,C,C,E,E,D1,E1,0,0,D1,E1,2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[M>=1,M>=E+1,N>=1,N>=C+1,7>=E1,7>=D1,E1>=5,D1>=1,H=1]).
eq(f4(A,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),1,[f2(0,C+1,C+1,E+1,E+1,D1,4,0,0,D1,4,2,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1)],[M>=E+2,N>=C+2,M>=1,N>=1,7>=D1,D1>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,C,C,E,E,P,Q,H,0,P,Q,7,M,N),1,[],[O=1,E>=M,C>=N,7>=Q,7>=P,3>=Q,Q>=1,P>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,C,C,E,E,P,Q,H,0,P,Q,7,M,N),1,[],[O=1,E>=M,C>=N,7>=Q,7>=P,Q>=5,P>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,0,C+1,C+1,E+1,E+1,P,4,1,0,P,4,7,M,N),1,[],[O=1,E+1>=M,C+1>=N,7>=P,P>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C,C,E,E,P,Q,H,1,P,Q,7,M,N),1,[],[O=1,7>=Q,7>=P,3>=Q,Q>=1,P>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C,C,E,E,P,Q,H,1,P,Q,7,M,N),1,[],[O=1,7>=Q,7>=P,Q>=5,P>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C+1,C+1,E+1,E+1,P,4,1,1,P,4,7,M,N),1,[],[O=1,7>=P,P>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C,C,E,E,P,Q,H,1,P,Q,7,M,N),1,[],[O=1,7>=Q,7>=P,3>=Q,Q>=1,P>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C,C,E,E,P,Q,H,1,P,Q,7,M,N),1,[],[O=1,7>=Q,7>=P,Q>=5,P>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,1,C+1,C+1,E+1,E+1,P,4,1,1,P,4,7,M,N),1,[],[O=1,7>=P,P>=1]).