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