eq(f0(A,B),1,[f6(0,C,D,E,F),loop_cont_f6(E,F)],[D=0]).
eq(f0(A,B),1,[f6(0,C,D,E,F)],[D=1]).
eq(f6(A,B,C,D,E),1,[f6(A+1,B,C,D,E)],[49>=A]).
eq(f6(A,B,C,A,B),1,[],[C=1,A>=50]).