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