eq(f0(A,B),1,[f1(C,1,D,E,F),loop_cont_f1(E,F)],[D=0]).
eq(f0(A,B),1,[f1(C,1,D,E,F)],[D=1]).
eq(f1(A,B,C,D,E),1,[f1(A-10,B-1,C,D,E)],[B>=1,A>=101]).
eq(f1(A,B,C,D,E),1,[f1(A+11,B+1,C,D,E)],[B>=1,100>=A]).
eq(f1(A,B,C,A,B),0,[],[C=1]).