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(f24(A,B,C,D),1,[f27(A,B,C,D)],[]).
eq(loop_cont_f9(A,B,C,D),0,[f22(A,B,C,D,E,F,G,H,I),loop_cont_f22(F,G,H,I)],[E=0]).
eq(loop_cont_f9(A,B,C,D),0,[f22(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(f9(A,B,C,D,E,F,G,H,I),1,[f14(A,0,J,D,K,L,M,N,O),loop_cont_f14(L,M,N,O,E,F,G,H,I)],[K=0,0>=A]).
eq(f9(A,B,C,D,E,F,G,H,I),1,[f14(A,0,J,D,K,L,M,N,O)],[E=1,K=1,0>=A]).
eq(f14(A,B,C,D,E,F,G,H,I),1,[f14(A,B,C-1,D,E,F,G,H,I)],[C>=1]).
eq(f22(A,B,C,D,E,F,G,H,I),1,[f22(A,B,C,D,E,F,G,H,I)],[]).
eq(loop_cont_f14(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(f14(A,B,C,D,E,F,B,C,0),1,[],[E=0,0>=C]).
eq(f22(A,B,C,D,E,A,B,C,D),0,[],[E=1]).