eq(f0(A,B,C,D,E,F,G),1,[f9(0,0,H,D,E,F,G,I,J,K,L,M,N,O,P),loop_cont_f9(J,K,L,M,N,O,P)],[I=0]).
eq(f0(A,B,C,D,E,F,G),1,[f9(0,0,H,D,E,F,G,I,J,K,L,M,N,O,P)],[I=1]).
eq(loop_cont_f9(A,B,C,D,E,F,G),0,[f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f16(I,J,K,L,M,N,O)],[H=0]).
eq(loop_cont_f9(A,B,C,D,E,F,G),0,[f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[H=1]).
eq(f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f10(A,B,C,C,E,F,G,H,I,J,K,L,M,N,O)],[0>=C+1]).
eq(f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f10(A,B,C,C,E,F,G,H,I,J,K,L,M,N,O)],[C>=1]).
eq(f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f16(A+1,B,C,D,A,P,P,H,I,J,K,L,M,N,O)],[9>=A,0>=P+1]).
eq(f16(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f16(A+1,B,C,D,A,P,P,H,I,J,K,L,M,N,O)],[9>=A,P>=1]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f9(A+1,A+1,P,D,E,F,G,H,I,J,K,L,M,N,O)],[9>=A]).
eq(f10(A,B,C,D,E,F,G,H,0,B,C,D,E,F,G),1,[],[H=0,A>=10]).
eq(f9(A,B,C,D,E,F,G,H,0,B,0,0,E,F,G),1,[],[H=0,C=0]).
eq(f9(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),0,[],[H=1]).
eq(f16(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),1,[],[H=1,A>=10]).
eq(f16(A,B,C,D,E,F,G,H,A,B,C,D,A,0,0),1,[],[H=1,9>=A]).