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