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