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