eq(evalrealbubblestart(A,B,C,D),1,[evalrealbubbleentryin(A,B,C,D)],[]).
eq(evalrealbubblereturnin(A,B,C,D),1,[evalrealbubblestop(A,B,C,D)],[]).
eq(evalrealbubbleentryin(A,B,C,D),1,[evalrealbubblebb7in(A-1,B,C,D,E,F,G,H,I),loop_cont_evalrealbubblebb7in(F,G,H,I)],[E=0]).
eq(evalrealbubbleentryin(A,B,C,D),1,[evalrealbubblebb7in(A-1,B,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalrealbubblebb7in(A,B,C,D),0,[evalrealbubblereturnin(A,B,C,D)],[]).
eq(evalrealbubblebb7in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb4in(A,0,0,D,J,K,L,M,N),loop_cont_evalrealbubblebb4in(K,L,M,N,E,F,G,H,I)],[J=0,A>=1]).
eq(evalrealbubblebb7in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb4in(A,0,0,D,J,K,L,M,N)],[E=1,J=1,A>=1]).
eq(evalrealbubblebb4in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb1in(A,B,C,D,E,F,G,H,I)],[A>=B+1]).
eq(loop_cont_evalrealbubblebb4in(A,B,C,D,E,F,G,H,I),0,[evalrealbubblebb5in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalrealbubblebb1in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb2in(A,B,C,D,E,F,G,H,I)],[J>=K+1]).
eq(evalrealbubblebb1in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb3in(A,B,C,C,E,F,G,H,I)],[J>=K]).
eq(evalrealbubblebb5in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb6in(A,B,C,D,E,F,G,H,I)],[0>=C+1]).
eq(evalrealbubblebb5in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb6in(A,B,C,D,E,F,G,H,I)],[C>=1]).
eq(evalrealbubblebb2in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb3in(A,B,C,1,E,F,G,H,I)],[]).
eq(evalrealbubblebb3in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb4in(A,B+1,D,D,E,F,G,H,I)],[]).
eq(evalrealbubblebb6in(A,B,C,D,E,F,G,H,I),1,[evalrealbubblebb7in(A-1,B,C,D,E,F,G,H,I)],[]).
eq(evalrealbubblebb5in(A,B,C,D,E,A,B,C,D),1,[],[E=0,C=0]).
eq(evalrealbubblebb5in(A,B,C,D,E,A,B,C,D),0,[],[E=1]).
eq(evalrealbubblebb7in(A,B,C,D,E,A,B,C,D),1,[],[E=0,0>=A]).
eq(evalrealbubblebb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0,B>=A]).