eq(evalfstart(A,B,C,D,E),1,[evalfentryin(A,B,C,D,E)],[]).
eq(evalfreturnin(A,B,C,D,E),1,[evalfstop(A,B,C,D,E)],[]).
eq(evalfentryin(A,B,C,D,E),1,[evalfbb10in(1,B,C,D,E,F,G,H,I,J,K),loop_cont_evalfbb10in(G,H,I,J,K)],[F=0]).
eq(evalfentryin(A,B,C,D,E),1,[evalfbb10in(1,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_evalfbb10in(A,B,C,D,E),0,[evalfreturnin(A,B,C,D,E)],[]).
eq(evalfbb10in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb8in(A,B,1,D,E,L,M,N,O,P,Q),loop_cont_evalfbb8in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,B>=A]).
eq(evalfbb10in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb8in(A,B,1,D,E,L,M,N,O,P,Q)],[F=1,L=1,B>=A]).
eq(evalfbb8in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb6in(A,B,C,A+1,E,L,M,N,O,P,Q),loop_cont_evalfbb6in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,A>=C]).
eq(evalfbb8in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb6in(A,B,C,A+1,E,L,M,N,O,P,Q)],[F=1,L=1,A>=C]).
eq(evalfbb6in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb4in(A,B,C,D,1,L,M,N,O,P,Q),loop_cont_evalfbb4in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,B>=D]).
eq(evalfbb6in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb4in(A,B,C,D,1,L,M,N,O,P,Q)],[F=1,L=1,B>=D]).
eq(evalfbb4in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb3in(A,B,C,D,E,F,G,H,I,J,K)],[D>=E]).
eq(loop_cont_evalfbb8in(A,B,C,D,E,F,G,H,I,J,K),0,[evalfbb10in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(loop_cont_evalfbb6in(A,B,C,D,E,F,G,H,I,J,K),0,[evalfbb7in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(loop_cont_evalfbb4in(A,B,C,D,E,F,G,H,I,J,K),0,[evalfbb5in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalfbb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb4in(A,B,C,D,E+1,F,G,H,I,J,K)],[]).
eq(evalfbb7in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb8in(A,B,C+1,D,E,F,G,H,I,J,K)],[]).
eq(evalfbb5in(A,B,C,D,E,F,G,H,I,J,K),1,[evalfbb6in(A,B,C,D+1,E,F,G,H,I,J,K)],[]).
eq(evalfbb10in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,A>=B+1]).
eq(evalfbb8in(A,B,C,D,E,F,A+1,B,C,D,E),1,[],[F=0,C>=A+1]).
eq(evalfbb6in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,D>=B+1]).
eq(evalfbb4in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,E>=D+1]).