eq(evalEx5start(A,B,C,D,E),1,[evalEx5entryin(A,B,C,D,E)],[]).
eq(evalEx5returnin(A,B,C,D,E),1,[evalEx5stop(A,B,C,D,E)],[]).
eq(evalEx5entryin(A,B,C,D,E),1,[evalEx5bb6in(0,A,C,D,E,F,G,H,I,J,K),loop_cont_evalEx5bb6in(G,H,I,J,K)],[F=0]).
eq(evalEx5entryin(A,B,C,D,E),1,[evalEx5bb6in(0,A,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_evalEx5bb6in(A,B,C,D,E),0,[evalEx5returnin(A,B,C,D,E)],[]).
eq(evalEx5bb6in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb3in(A,B,0,B,E,L,M,N,O,P,Q),loop_cont_evalEx5bb3in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,B>=A+1]).
eq(evalEx5bb6in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb3in(A,B,0,B,E,L,M,N,O,P,Q)],[F=1,L=1,B>=A+1]).
eq(evalEx5bb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K)],[0>=L+1]).
eq(evalEx5bb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K)],[L>=1]).
eq(loop_cont_evalEx5bb3in(A,B,C,D,E,F,G,H,I,J,K),0,[evalEx5bb4in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb2in(A,B,C,D,D-1,F,G,H,I,J,K)],[0>=L+1]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb2in(A,B,C,D,D-1,F,G,H,I,J,K)],[0>=L+1,L>=1]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb2in(A,B,C,D,D-1,F,G,H,I,J,K)],[L>=1]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb2in(A,B,C,D,D,F,G,H,I,J,K)],[0>=1]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb3in(A,B,C,D-1,E,F,G,H,I,J,K)],[0>=1]).
eq(evalEx5bb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb3in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalEx5bb4in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb6in(A+1,D,C,D,E,F,G,H,I,J,K)],[C=0]).
eq(evalEx5bb4in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb6in(A,D,C,D,E,F,G,H,I,J,K)],[0>=C+1]).
eq(evalEx5bb4in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb6in(A,D,C,D,E,F,G,H,I,J,K)],[C>=1]).
eq(evalEx5bb2in(A,B,C,D,E,F,G,H,I,J,K),1,[evalEx5bb3in(A,B,1,E,E,F,G,H,I,J,K)],[]).
eq(evalEx5bb6in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,A>=B]).
eq(evalEx5bb3in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0]).