eq(evalNestedMultiplestart(A,B,C,D,E),1,[evalNestedMultipleentryin(A,B,C,D,E)],[]).
eq(evalNestedMultiplereturnin(A,B,C,D,E),1,[evalNestedMultiplestop(A,B,C,D,E)],[]).
eq(evalNestedMultipleentryin(A,B,C,D,E),1,[evalNestedMultiplebb5in(B,A,D,C,E,F,G,H,I,J,K),loop_cont_evalNestedMultiplebb5in(G,H,I,J,K)],[F=0]).
eq(evalNestedMultipleentryin(A,B,C,D,E),1,[evalNestedMultiplebb5in(B,A,D,C,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_evalNestedMultiplebb5in(A,B,C,D,E),0,[evalNestedMultiplereturnin(A,B,C,D,E)],[]).
eq(evalNestedMultiplebb5in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb2in(A,B,C,D,D,L,M,N,O,P,Q),loop_cont_evalNestedMultiplebb2in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,A>=B+1]).
eq(evalNestedMultiplebb5in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb2in(A,B,C,D,D,L,M,N,O,P,Q)],[F=1,L=1,A>=B+1]).
eq(evalNestedMultiplebb2in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb3in(A,B,C,D,E,F,G,H,I,J,K)],[C>=E+1]).
eq(loop_cont_evalNestedMultiplebb2in(A,B,C,D,E,F,G,H,I,J,K),0,[evalNestedMultiplebb4in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalNestedMultiplebb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb1in(A,B,C,D,E,F,G,H,I,J,K)],[0>=L+1]).
eq(evalNestedMultiplebb3in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb1in(A,B,C,D,E,F,G,H,I,J,K)],[L>=1]).
eq(evalNestedMultiplebb4in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb5in(A,B+1,C,E,E,F,G,H,I,J,K)],[]).
eq(evalNestedMultiplebb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalNestedMultiplebb2in(A,B,C,D,E+1,F,G,H,I,J,K)],[]).
eq(evalNestedMultiplebb5in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,B>=A]).
eq(evalNestedMultiplebb3in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0]).
eq(evalNestedMultiplebb2in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,E>=C]).