eq(f1(A,B,C,D,E,F,G),1,[f0(A,B,C,D,E,F,H,I,J,K,L,M,N,O,P),loop_cont_f0(J,K,L,M,N,O,P)],[I=0]).
eq(f1(A,B,C,D,E,F,G),1,[f0(A,B,C,D,E,F,H,I,J,K,L,M,N,O,P)],[I=1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(P,B,C,Q,0,F,G,H,I,J,K,L,M,N,O)],[B>=A+1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(P,B,C,Q,R,S,G,H,I,J,K,L,M,N,O)],[0>=R+1,B>=A+1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(P,B,C,Q,R,S,G,H,I,J,K,L,M,N,O)],[R>=1,B>=A+1]).
eq(f0(A,B,C,D,E,F,G,H,I,B,J,D,E,F,G),1,[],[H=1,A>=B]).