eq(evalfstart(A,B,C,D,E,F),1,[evalfentryin(A,B,C,D,E,F)],[]).
eq(evalfreturnin(A,B,C,D,E,F),1,[evalfstop(A,B,C,D,E,F)],[]).
eq(evalfentryin(A,B,C,D,E,F),1,[evalfbb9in(B,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_evalfbb9in(H,I,J,K,L,M)],[G=0]).
eq(evalfentryin(A,B,C,D,E,F),1,[evalfbb9in(B,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(loop_cont_evalfbb9in(A,B,C,D,E,F),0,[evalfreturnin(A,B,C,D,E,F)],[]).
eq(evalfbb9in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbbin(A,B,C,D,E,F,G,H,I,J,K,L,M)],[B>=2]).
eq(evalfbb6in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[D>=C+1]).
eq(evalfbb3in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[0>=3]).
eq(evalfbbin(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb6in(A,B,B-1,A+B-1,E,F,N,O,P,Q,R,S,T),loop_cont_evalfbb6in(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0]).
eq(evalfbbin(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb6in(A,B,B-1,A+B-1,E,F,N,O,P,Q,R,S,T)],[G=1,N=1]).
eq(evalfbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb1in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[0>=N+1]).
eq(evalfbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb1in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[N>=1]).
eq(evalfbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb2in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[0>=N+1]).
eq(evalfbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb2in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[N>=1]).
eq(loop_cont_evalfbb6in(A,B,C,D,E,F,G,H,I,J,K,L,M),0,[evalfbb8in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(evalfbb1in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb3in(A,B,C,D,C,D-1,N,O,P,Q,R,S,T),loop_cont_evalfbb3in(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0]).
eq(evalfbb1in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb3in(A,B,C,D,C,D-1,N,O,P,Q,R,S,T)],[G=1,N=1]).
eq(evalfbb2in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb3in(A,B,C,D,E+1,F-2,G,H,I,J,K,L,M)],[]).
eq(evalfbb8in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb9in(D-C+1,C-1,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(loop_cont_evalfbb3in(A,B,C,D,E,F,G,H,I,J,K,L,M),0,[evalfbb5in(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(evalfbb5in(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[evalfbb6in(A,B,E,F-1,E,F,G,H,I,J,K,L,M)],[]).
eq(evalfbb9in(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0,1>=B]).
eq(evalfbb7in(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0]).
eq(evalfbb6in(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0,C>=D]).
eq(evalfbb4in(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0]).
eq(evalfbb3in(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0]).