eq(f0(A,B,C,D,E,F,G),1,[f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f1(I,J,K,L,M,N,O)],[H=0,A>=0,3>=A,B>=0,3>=B,3>=C,D>=0,3>=E,E>=0]).
eq(f0(A,B,C,D,E,F,G),1,[f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[H=1,A>=0,3>=A,B>=0,3>=B,3>=C,D>=0,3>=E,E>=0]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f2(A,B,C,D,E,D+1,G,H,I,J,K,L,M,N,O)],[1+B>=2*D]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f2(A,B,C,D,E,D-1,G,H,I,J,K,L,M,N,O)],[2*D>=4+B]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f2(A,B,C,D,E,D,G,H,I,J,K,L,M,N,O)],[B+2=2*D]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f2(A,B,C,D,E,D,G,H,I,J,K,L,M,N,O)],[B+3=2*D]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f3(A,B,C,D,E,F,E+1,H,I,J,K,L,M,N,O)],[D+A>=2*E+1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f3(A,B,C,D,E,F,E-1,H,I,J,K,L,M,N,O)],[2*E>=2+D+A]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f3(A,B,C,D,E,F,E,H,I,J,K,L,M,N,O)],[D+A=2*E]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f3(A,B,C,D,E,F,E,H,I,J,K,L,M,N,O)],[D+A+1=2*E]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f1(A,B,C,F,G,F,G,H,I,J,K,L,M,N,O)],[D>=F+1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f1(A,B,C,F,G,F,G,H,I,J,K,L,M,N,O)],[F>=D+1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f1(A,B,C,F,G,F,G,H,I,J,K,L,M,N,O)],[E>=G+1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f1(A,B,C,F,G,F,G,H,I,J,K,L,M,N,O)],[G>=E+1]).
eq(f1(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),0,[],[H=1]).