eq(f0(A,B,C,D,E),1,[f10(F,0,C,0,F,G,H,I,J,K,L),loop_cont_f10(H,I,J,K,L)],[G=0]).
eq(f0(A,B,C,D,E),1,[f10(F,0,C,0,F,G,H,I,J,K,L)],[G=1]).
eq(f27(A,B,C,D,E),1,[f30(A,B,C,D,E)],[]).
eq(loop_cont_f10(A,B,C,D,E),0,[f25(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f25(G,H,I,J,K)],[F=0]).
eq(loop_cont_f10(A,B,C,D,E),0,[f25(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K),1,[f16(A,0,L,D,E,M,N,O,P,Q,R),loop_cont_f16(N,O,P,Q,R,F,G,H,I,J,K)],[M=0,0>=A,L>=1]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K),1,[f16(A,0,L,D,E,M,N,O,P,Q,R)],[F=1,M=1,0>=A,L>=1]).
eq(f16(A,B,C,D,E,F,G,H,I,J,K),1,[f16(A,B,C,D,E,F,G,H,I,J,K)],[C>=1]).
eq(f25(A,B,C,D,E,F,G,H,I,J,K),1,[f25(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(loop_cont_f16(A,B,C,D,E,F,G,H,I,J,K),0,[f10(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(f10(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,A>=1]).
eq(f10(A,B,C,D,E,F,A,B,C,D,E),0,[],[F=1,1>=A+1]).
eq(f16(A,B,C,D,E,F,G,B,C,0,G),1,[],[F=0,0>=C]).
eq(f25(A,B,C,D,E,F,A,B,C,D,E),0,[],[F=1]).