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