eq(evalEx1start(A,B,C,D),1,[evalEx1entryin(A,B,C,D)],[]).
eq(evalEx1returnin(A,B,C,D),1,[evalEx1stop(A,B,C,D)],[]).
eq(evalEx1entryin(A,B,C,D),1,[evalEx1bb6in(0,A,C,D,E,F,G,H,I),loop_cont_evalEx1bb6in(F,G,H,I)],[E=0]).
eq(evalEx1entryin(A,B,C,D),1,[evalEx1bb6in(0,A,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalEx1bb6in(A,B,C,D),0,[evalEx1returnin(A,B,C,D)],[]).
eq(evalEx1bb6in(A,B,C,D,E,F,G,H,I),1,[evalEx1bbin(A,B,C,D,E,F,G,H,I)],[B>=A+1]).
eq(evalEx1bb4in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb1in(A,B,C,D,E,F,G,H,I)],[D>=C+1]).
eq(evalEx1bbin(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,A+1,B,J,K,L,M,N),loop_cont_evalEx1bb4in(K,L,M,N,E,F,G,H,I)],[J=0]).
eq(evalEx1bbin(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,A+1,B,J,K,L,M,N)],[E=1,J=1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C,D-1,E,F,G,H,I)],[0>=J+1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C,D-1,E,F,G,H,I)],[0>=J+1,J>=1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C,D-1,E,F,G,H,I)],[J>=1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C,D,E,F,G,H,I)],[0>=1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C+1,D-1,E,F,G,H,I)],[0>=1]).
eq(evalEx1bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb4in(A,B,C+1,D,E,F,G,H,I)],[]).
eq(loop_cont_evalEx1bb4in(A,B,C,D,E,F,G,H,I),0,[evalEx1bb5in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalEx1bb5in(A,B,C,D,E,F,G,H,I),1,[evalEx1bb6in(A+1,D,C,D,E,F,G,H,I)],[]).
eq(evalEx1bb6in(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=B]).
eq(evalEx1bb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0,C>=D]).