eq(f2(A,B,C,D),1,[f300(A,B,C,D,E,F,G,H,I),loop_cont_f300(F,G,H,I)],[E=0]).
eq(f2(A,B,C,D),1,[f300(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(f300(A,B,C,D,E,F,G,H,I),1,[f300(-1+B,-1+B,J,D,E,F,G,H,I)],[A>=1,B>=1,J>=1,B+A>=1]).
eq(f300(A,B,C,D,E,F,G,H,I),1,[f300(-1+B,-1+B,J,D,E,F,G,H,I)],[A>=1,B>=1,0>=J+1,B+A>=1]).
eq(f300(A,B,C,D,E,F,G,H,I),1,[f300(-1+A,-2+A,0,D,E,F,G,H,I)],[A>=1,B+A>=1,B>=1]).
eq(f300(A,B,C,D,E,A,B,C,F),1,[],[E=1,A>=1,0>=B+A,B>=1]).
eq(f300(A,B,C,D,E,A,B,C,F),1,[],[E=1,B>=1,0>=A]).
eq(f300(A,B,C,D,E,A,B,C,F),1,[],[E=1,0>=B]).