eq(evalexministart(A,B,C),1,[evalexminientryin(A,B,C)],[]).
eq(evalexminireturnin(A,B,C),1,[evalexministop(A,B,C)],[]).
eq(evalexminientryin(A,B,C),1,[evalexminibb1in(B,A,C,D,E,F,G),loop_cont_evalexminibb1in(E,F,G)],[D=0]).
eq(evalexminientryin(A,B,C),1,[evalexminibb1in(B,A,C,D,E,F,G)],[D=1]).
eq(loop_cont_evalexminibb1in(A,B,C),0,[evalexminireturnin(A,B,C)],[]).
eq(evalexminibb1in(A,B,C,D,E,F,G),1,[evalexminibbin(A,B,C,D,E,F,G)],[100>=B,A>=C]).
eq(evalexminibbin(A,B,C,D,E,F,G),1,[evalexminibb1in(A-1,C,B+1,D,E,F,G)],[]).
eq(evalexminibb1in(A,B,C,D,A,B,C),1,[],[D=0,B>=101]).
eq(evalexminibb1in(A,B,C,D,A,B,C),0,[],[D=1,101>=B+1]).
eq(evalexminibb1in(A,B,C,D,A,B,C),1,[],[D=0,C>=A+1]).
eq(evalexminibb1in(A,B,C,D,A,B,C),0,[],[D=1,A>=C]).