eq(f0(A),1,[f4(0,B,C),loop_cont_f4(C)],[B=0]).
eq(f0(A),1,[f4(0,B,C)],[B=1]).
eq(f11(A),1,[f14(A)],[1>=A]).
eq(f11(A),1,[f14(A)],[A>=2]).
eq(loop_cont_f4(A),0,[f11(A)],[]).
eq(f4(A,B,C),1,[f5(A,B,C)],[0>=D+1]).
eq(f4(A,B,C),1,[f5(A,B,C)],[]).
eq(f5(A,B,C),1,[f4(A+1,B,C)],[2>=A]).
eq(f5(A,B,A),1,[],[B=0,A>=3]).
eq(f4(A,B,A),1,[],[B=0]).