eq(f0(A),1,[f12(B)],[0>=B]).
eq(f0(A),1,[f5(B,C,D),loop_cont_f5(D)],[C=0,B>=1]).
eq(f0(A),1,[f5(B,C,D)],[C=1,B>=1]).
eq(f5(A,B,C),1,[f5(A+1,B,C)],[19>=A]).
eq(f5(A,B,A),1,[],[B=1,A>=20]).