eq(f0(A,B,C,D),1,[f6(1,C,C,D,E,F,G,H,I),loop_cont_f6(F,G,H,I)],[E=0]).
eq(f0(A,B,C,D),1,[f6(1,C,C,D,E,F,G,H,I)],[E=1]).
eq(f6(A,B,C,D,E,F,G,H,I),1,[f6(A,J,C,J,E,F,G,H,I)],[B>=A+2,J*J>=C+1]).
eq(f6(A,B,C,D,E,F,G,H,I),1,[f6(J,B,C,J,E,F,G,H,I)],[B>=A+2,C>=J*J]).
eq(f6(A,B,C,D,E,A,B,C,D),1,[],[E=1,A+1>=B]).