eq(f0(A,B,C,D,E),1,[f10(8,F,0,D,8,G,H,I,J,K,L),loop_cont_f10(H,I,J,K,L)],[G=0,F>=1]).
eq(f0(A,B,C,D,E),1,[f10(8,F,0,D,8,G,H,I,J,K,L)],[G=1,F>=1]).
eq(f22(A,B,C,D,E),1,[f25(A,B,C,D,E)],[]).
eq(loop_cont_f10(A,B,C,D,E),0,[f20(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f20(G,H,I,J,K)],[F=0]).
eq(loop_cont_f10(A,B,C,D,E),0,[f20(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K),1,[f10(A-1,B-1,C+1,L,E,F,G,H,I,J,K)],[A>=1,L>=1]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K),1,[f10(A-1,B,C,L,E,F,G,H,I,J,K)],[0>=L,A>=1,A>=B+1]).
eq(f20(A,B,C,D,E,F,G,H,I,J,K),1,[f20(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(f10(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,0>=A]).
eq(f10(A+1,B,C,D,E,F,A+1,B,C,D,E),0,[],[F=1,A>=0]).
eq(f20(A,B,C,D,E,F,A,B,C,D,E),0,[],[F=1]).