eq(evalcousot9start(A,B,C),1,[evalcousot9entryin(A,B,C)],[]).
eq(evalcousot9returnin(A,B,C),1,[evalcousot9stop(A,B,C)],[]).
eq(evalcousot9entryin(A,B,C),1,[evalcousot9bb3in(D,C,C,E,F,G,H),loop_cont_evalcousot9bb3in(F,G,H)],[E=0]).
eq(evalcousot9entryin(A,B,C),1,[evalcousot9bb3in(D,C,C,E,F,G,H)],[E=1]).
eq(loop_cont_evalcousot9bb3in(A,B,C),0,[evalcousot9returnin(A,B,C)],[]).
eq(evalcousot9bb3in(A,B,C,D,E,F,G),1,[evalcousot9bbin(A,B,C,D,E,F,G)],[B>=1]).
eq(evalcousot9bbin(A,B,C,D,E,F,G),1,[evalcousot9bb1in(A,B,C,D,E,F,G)],[A>=1]).
eq(evalcousot9bbin(A,B,C,D,E,F,G),1,[evalcousot9bb2in(A,B,C,D,E,F,G)],[0>=A]).
eq(evalcousot9bb1in(A,B,C,D,E,F,G),1,[evalcousot9bb3in(A-1,B,C,D,E,F,G)],[]).
eq(evalcousot9bb2in(A,B,C,D,E,F,G),1,[evalcousot9bb3in(C,B-1,C,D,E,F,G)],[]).
eq(evalcousot9bb3in(A,B,C,D,A,B,C),1,[],[D=0,0>=B]).