eq(f0(A,B,C,D,E,F,G),1,[f14(2*H+1,I,0,D,I,2*H+1,H,J,K,L,M,N,O,P,Q),loop_cont_f14(K,L,M,N,O,P,Q)],[J=0,I>=1,2*H>=0]).
eq(f0(A,B,C,D,E,F,G),1,[f14(2*H+1,I,0,D,I,2*H+1,H,J,K,L,M,N,O,P,Q)],[J=1,I>=1,2*H>=0]).
eq(f26(A,B,C,D,E,F,G),1,[f29(A,B,C,D,E,F,G)],[]).
eq(loop_cont_f14(A,B,C,D,E,F,G),0,[f24(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f24(I,J,K,L,M,N,O)],[H=0]).
eq(loop_cont_f14(A,B,C,D,E,F,G),0,[f24(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[H=1]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f14(A-1,B-1,C+1,P,E,F,G,H,I,J,K,L,M,N,O)],[A>=1,P>=1]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f14(A-1,B,C,P,E,F,G,H,I,J,K,L,M,N,O)],[0>=P,A>=1,A>=B+1]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f24(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(f14(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),1,[],[H=0,0>=A]).
eq(f14(A+1,B,C,D,E,F,G,H,A+1,B,C,D,E,F,G),0,[],[H=1,A>=0]).
eq(f24(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),0,[],[H=1]).