eq(f0(A,B,C,D),1,[f9(E,0,C,0,F,G,H,I,J),loop_cont_f9(G,H,I,J)],[F=0]).
eq(f0(A,B,C,D),1,[f9(E,0,C,0,F,G,H,I,J)],[F=1]).
eq(f25(A,B,C,D),1,[f28(A,B,C,D)],[]).
eq(loop_cont_f9(A,B,C,D),0,[f23(A,B,C,D,E,F,G,H,I),loop_cont_f23(F,G,H,I)],[E=0]).
eq(loop_cont_f9(A,B,C,D),0,[f23(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(f9(A,B,C,D,E,F,G,H,I),1,[f15(A,0,J,D,K,L,M,N,O),loop_cont_f15(L,M,N,O,E,F,G,H,I)],[K=0,0>=A,J>=1]).
eq(f9(A,B,C,D,E,F,G,H,I),1,[f15(A,0,J,D,K,L,M,N,O)],[E=1,K=1,0>=A,J>=1]).
eq(f15(A,B,C,D,E,F,G,H,I),1,[f15(A,B,C,D,E,F,G,H,I)],[C>=1]).
eq(f23(A,B,C,D,E,F,G,H,I),1,[f23(A,B,C,D,E,F,G,H,I)],[]).
eq(loop_cont_f15(A,B,C,D,E,F,G,H,I),0,[f9(A,B,C,D,E,F,G,H,I)],[]).
eq(f9(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=1]).
eq(f9(A,B,C,D,E,A,B,C,D),0,[],[E=1,1>=A+1]).
eq(f15(A,B,C,D,E,F,B,C,0),1,[],[E=0,0>=C]).
eq(f23(A,B,C,D,E,A,B,C,D),0,[],[E=1]).