eq(f0(A,B),1,[f4(C,0,D,E,F),loop_cont_f4(E,F)],[D=0]).
eq(f0(A,B),1,[f4(C,0,D,E,F)],[D=1]).
eq(f4(A,B,C,D,E),1,[f5(A,B,C,D,E)],[0>=A+1]).
eq(f4(A,B,C,D,E),1,[f5(A,B,C,D,E)],[A>=1]).
eq(f5(A,B,C,D,E),1,[f4(F,B+1,C,D,E)],[3>=B]).
eq(f5(A,B,C,D,E),1,[f4(F,B+1,C,D,E)],[B>=5]).
eq(f5(A,B,C,D,E),1,[f4(F,1,C,D,E)],[B=4]).
eq(f4(A,B,C,0,B),1,[],[C=1,A=0]).