eq(f0(A,B,C,D,E,F),1,[f12(4,G,0,D,G,4,H,I,J,K,L,M,N),loop_cont_f12(I,J,K,L,M,N)],[H=0,G>=1]).
eq(f0(A,B,C,D,E,F),1,[f12(4,G,0,D,G,4,H,I,J,K,L,M,N)],[H=1,G>=1]).
eq(f24(A,B,C,D,E,F),1,[f27(A,B,C,D,E,F)],[]).
eq(loop_cont_f12(A,B,C,D,E,F),0,[f22(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f22(H,I,J,K,L,M)],[G=0]).
eq(loop_cont_f12(A,B,C,D,E,F),0,[f22(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f12(A-1,B-1,C+1,N,E,F,G,H,I,J,K,L,M)],[A>=1,N>=1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f12(A-1,B,C,N,E,F,G,H,I,J,K,L,M)],[0>=N,A>=1,A>=B+1]).
eq(f22(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f22(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f12(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0,0>=A]).
eq(f12(A+1,B,C,D,E,F,G,A+1,B,C,D,E,F),0,[],[G=1,A>=0]).
eq(f22(A,B,C,D,E,F,G,A,B,C,D,E,F),0,[],[G=1]).