eq(f0(A,B,C,D,E),1,[f3(0,0,C,D,E,F,G,H,I,J,K),loop_cont_f3(G,H,I,J,K)],[F=0]).
eq(f0(A,B,C,D,E),1,[f3(0,0,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_f3(A,B,C,D,E),0,[f6(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f6(G,H,I,J,K)],[F=0]).
eq(loop_cont_f3(A,B,C,D,E),0,[f6(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K),1,[f3(A,B,C-1,L,E,F,G,H,I,J,K)],[C>=1,L>=1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K),1,[f3(A,B,C-2,L,E,F,G,H,I,J,K)],[C>=1,0>=L]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K),1,[f6(1,B,C,D,L,F,G,H,I,J,K)],[E>=1]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K),1,[f6(0,B,C,D,L,F,G,H,I,J,K)],[0>=E]).
eq(f3(A,B,C,D,E,F,A,B,C,D,G),1,[],[F=0,0>=C]).
eq(f3(A,B,C+1,D,E,F,A,B,C+1,D,E),0,[],[F=1,C>=0]).
eq(f6(A,B,C,D,E,F,A,B,C,D,E),0,[],[F=1]).