eq(evalEx4start(A,B,C,D),1,[evalEx4entryin(A,B,C,D)],[]).
eq(evalEx4returnin(A,B,C,D),1,[evalEx4stop(A,B,C,D)],[]).
eq(evalEx4entryin(A,B,C,D),1,[evalEx4bb4in(1,A,C,D,E,F,G,H,I),loop_cont_evalEx4bb4in(F,G,H,I)],[E=0]).
eq(evalEx4entryin(A,B,C,D),1,[evalEx4bb4in(1,A,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalEx4bb4in(A,B,C,D),0,[evalEx4returnin(A,B,C,D)],[]).
eq(evalEx4bb4in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb2in(A,B,0,B,J,K,L,M,N),loop_cont_evalEx4bb2in(K,L,M,N,E,F,G,H,I)],[J=0,A=1]).
eq(evalEx4bb4in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb2in(A,B,0,B,J,K,L,M,N)],[E=1,J=1,A=1]).
eq(evalEx4bb2in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb3in(A,B,C,D,E,F,G,H,I)],[D>=1]).
eq(loop_cont_evalEx4bb2in(A,B,C,D,E,F,G,H,I),0,[evalEx4bb4in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalEx4bb3in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb1in(A,B,C,D,E,F,G,H,I)],[0>=J+1]).
eq(evalEx4bb3in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb1in(A,B,C,D,E,F,G,H,I)],[J>=1]).
eq(evalEx4bb1in(A,B,C,D,E,F,G,H,I),1,[evalEx4bb2in(A,B,1,D-1,E,F,G,H,I)],[]).
eq(evalEx4bb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0,0>=A]).
eq(evalEx4bb4in(A+1,B,C,D,E,A+1,B,C,D),0,[],[E=1,A>=0]).
eq(evalEx4bb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=2]).
eq(evalEx4bb4in(A,B,C,D,E,A,B,C,D),0,[],[E=1,2>=A+1]).
eq(evalEx4bb3in(A,B,C,D,E,C,D,C,D),1,[],[E=0]).
eq(evalEx4bb2in(A,B,C,D,E,C,D,C,D),1,[],[E=0,0>=D]).