eq(evalnestedLoopstart(A,B,C,D,E,F,G,H),1,[evalnestedLoopentryin(A,B,C,D,E,F,G,H)],[]).
eq(evalnestedLoopentryin(A,B,C,D,E,F,G,H),1,[evalnestedLoopreturnin(A,B,C,D,E,F,G,H)],[0>=A+1]).
eq(evalnestedLoopentryin(A,B,C,D,E,F,G,H),1,[evalnestedLoopreturnin(A,B,C,D,E,F,G,H)],[0>=B+1]).
eq(evalnestedLoopentryin(A,B,C,D,E,F,G,H),1,[evalnestedLoopreturnin(A,B,C,D,E,F,G,H)],[0>=C+1]).
eq(evalnestedLoopreturnin(A,B,C,D,E,F,G,H),1,[evalnestedLoopstop(A,B,C,D,E,F,G,H)],[]).
eq(evalnestedLoopentryin(A,B,C,D,E,F,G,H),1,[evalnestedLoopbb9in(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q),loop_cont_evalnestedLoopbb9in(J,K,L,M,N,O,P,Q)],[I=0,A>=0,B>=0,C>=0]).
eq(evalnestedLoopentryin(A,B,C,D,E,F,G,H),1,[evalnestedLoopbb9in(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[I=1,A>=0,B>=0,C>=0]).
eq(loop_cont_evalnestedLoopbb9in(A,B,C,D,E,F,G,H),0,[evalnestedLoopreturnin(A,B,C,D,E,F,G,H)],[]).
eq(evalnestedLoopbb9in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb7in(A,B,C,D,0,D,G,H,R,S,T,U,V,W,X,Y,Z),loop_cont_evalnestedLoopbb7in(S,T,U,V,W,X,Y,Z,I,J,K,L,M,N,O,P,Q)],[R=0,A>=D+1]).
eq(evalnestedLoopbb9in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb7in(A,B,C,D,0,D,G,H,R,S,T,U,V,W,X,Y,Z)],[I=1,R=1,A>=D+1]).
eq(evalnestedLoopbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[B>=E+1]).
eq(evalnestedLoopbb6in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb5in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[C>=H+1]).
eq(loop_cont_evalnestedLoopbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[evalnestedLoopbb8in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(evalnestedLoopbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb6in(A,B,C,D,E,F,E+1,F,R,S,T,U,V,W,X,Y,Z),loop_cont_evalnestedLoopbb6in(S,T,U,V,W,X,Y,Z,I,J,K,L,M,N,O,P,Q)],[R=0]).
eq(evalnestedLoopbb4in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb6in(A,B,C,D,E,F,E+1,F,R,S,T,U,V,W,X,Y,Z)],[I=1,R=1]).
eq(evalnestedLoopbb5in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb6in(A,B,C,D,E,F,G,H+1,I,J,K,L,M,N,O,P,Q)],[]).
eq(evalnestedLoopbb8in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[evalnestedLoopbb9in(A,B,C,F+1,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(loop_cont_evalnestedLoopbb6in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[evalnestedLoopbb7in(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(evalnestedLoopbb9in(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=0,D>=A]).
eq(evalnestedLoopbb7in(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=0,E>=B]).
eq(evalnestedLoopbb6in(A,B,C,D,E,F,G,H,I,A,B,C,D,G,H,G,H),1,[],[I=0,H>=C]).