eq(evalDis1start(A,B,C,D),1,[evalDis1entryin(A,B,C,D)],[]).
eq(evalDis1returnin(A,B,C,D),1,[evalDis1stop(A,B,C,D)],[]).
eq(evalDis1entryin(A,B,C,D),1,[evalDis1bb3in(B,A,D,C,E,F,G,H,I),loop_cont_evalDis1bb3in(F,G,H,I)],[E=0]).
eq(evalDis1entryin(A,B,C,D),1,[evalDis1bb3in(B,A,D,C,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalDis1bb3in(A,B,C,D),0,[evalDis1returnin(A,B,C,D)],[]).
eq(evalDis1bb3in(A,B,C,D,E,F,G,H,I),1,[evalDis1bbin(A,B,C,D,E,F,G,H,I)],[A>=B+1]).
eq(evalDis1bbin(A,B,C,D,E,F,G,H,I),1,[evalDis1bb1in(A,B,C,D,E,F,G,H,I)],[C>=D+1]).
eq(evalDis1bbin(A,B,C,D,E,F,G,H,I),1,[evalDis1bb2in(A,B,C,D,E,F,G,H,I)],[D>=C]).
eq(evalDis1bb1in(A,B,C,D,E,F,G,H,I),1,[evalDis1bb3in(A,B,C,D+1,E,F,G,H,I)],[]).
eq(evalDis1bb2in(A,B,C,D,E,F,G,H,I),1,[evalDis1bb3in(A,B+1,C,D,E,F,G,H,I)],[]).
eq(evalDis1bb3in(A,B,C,D,E,A,B,C,D),1,[],[E=0,B>=A]).