eq(f1(A,B,C,D,E),1,[f300(1000,B,C,D,E,F,G,H,I,J,K),loop_cont_f300(G,H,I,J,K)],[F=0]).
eq(f1(A,B,C,D,E),1,[f300(1000,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f300(A,B,C,D,E,F,G,H,I,J,K),1,[f300(-1+A,B,C,D,E,F,G,H,I,J,K)],[A>=101,9>=B]).
eq(f300(A,B,C,D,E,F,A,B,0,0,0),1,[],[F=1,100>=A,9>=B]).
eq(f300(A,B,C,D,E,F,A,B,0,0,0),1,[],[F=1,B>=10]).