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