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