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