eq(f0(A,B,C,D),1,[f6(E,0,C,D,F,G,H,I,J),loop_cont_f6(G,H,I,J)],[F=0]).
eq(f0(A,B,C,D),1,[f6(E,0,C,D,F,G,H,I,J)],[F=1]).
eq(f6(A,B,C,D,E,F,G,H,I),1,[f10(A-1,B+1,C,D,J,K,L,M,N),loop_cont_f10(K,L,M,N,E,F,G,H,I)],[J=0,A>=1]).
eq(f6(A,B,C,D,E,F,G,H,I),1,[f10(A-1,B+1,C,D,J,K,L,M,N)],[E=1,J=1,A>=1]).
eq(f10(A,B,C,D,E,F,G,H,I),1,[f14(A,B-1,A-1,D,J,K,L,M,N),loop_cont_f14(K,L,M,N,E,F,G,H,I)],[J=0,B>=1]).
eq(f10(A,B,C,D,E,F,G,H,I),1,[f14(A,B-1,A-1,D,J,K,L,M,N)],[E=1,J=1,B>=1]).
eq(f14(A,B,C,D,E,F,G,H,I),1,[f14(A,B,C-1,0,E,F,G,H,I)],[C>=1]).
eq(f14(A,B,C,D,E,F,G,H,I),1,[f14(A-1,B+1,C-1,J,E,F,G,H,I)],[C>=1,0>=J+1]).
eq(f14(A,B,C,D,E,F,G,H,I),1,[f14(A-1,B+1,C-1,J,E,F,G,H,I)],[C>=1,J>=1]).
eq(loop_cont_f10(A,B,C,D,E,F,G,H,I),0,[f6(A,B,C,D,E,F,G,H,I)],[]).
eq(loop_cont_f14(A,B,C,D,E,F,G,H,I),0,[f10(A,B,C,D,E,F,G,H,I)],[]).
eq(f6(A,B,C,D,E,A,B,C,D),1,[],[E=1,0>=A]).
eq(f10(A,B,C,D,E,A,B,C,D),1,[],[E=0,0>=B]).
eq(f14(A,B,C,D,E,A,B,C,D),1,[],[E=0,0>=C]).