eq(f0(A,B,C,D),1,[f4(0,B,C,D,E,F,G,H,I),loop_cont_f4(F,G,H,I)],[E=0]).
eq(f0(A,B,C,D),1,[f4(0,B,C,D,E,F,G,H,I)],[E=1]).
eq(f4(A,B,C,D,E,F,G,H,I),1,[f7(A,B,A+1,D,J,K,L,M,N),loop_cont_f7(K,L,M,N,E,F,G,H,I)],[J=0,B>=A+1]).
eq(f4(A,B,C,D,E,F,G,H,I),1,[f7(A,B,A+1,D,J,K,L,M,N)],[E=1,J=1,B>=A+1]).
eq(f7(A,B,C,D,E,F,G,H,I),1,[f7(A,B,C+1,0,E,F,G,H,I)],[B>=C+1]).
eq(f7(A,B,C,D,E,F,G,H,I),1,[f7(A,B-1,C,J,E,F,G,H,I)],[B>=C+1,0>=J+1]).
eq(f7(A,B,C,D,E,F,G,H,I),1,[f7(A,B-1,C,J,E,F,G,H,I)],[B>=C+1,J>=1]).
eq(loop_cont_f7(A,B,C,D,E,F,G,H,I),0,[f4(A,B,C,D,E,F,G,H,I)],[]).
eq(f4(A,B,C,D,E,A,B,C,D),1,[],[E=1,A>=B]).
eq(f7(A,B,C,D,E,A+1,B,C,D),1,[],[E=0,C>=B]).