eq(f0(A),1,[f5(0,B,C),loop_cont_f5(C)],[B=0]).
eq(f0(A),1,[f5(0,B,C)],[B=1]).
eq(f5(A,B,C),1,[f5(A+1,B,C)],[1>=A]).
eq(f5(A,B,A),1,[],[B=1,A>=2,0>=C+1]).
eq(f5(A,B,A),1,[],[B=1,A>=2]).