eq(start0(A,B,C,D,E,F),1,[start(A,C,C,A,F,F)],[]).
eq(start(A,B,C,D,E,F),1,[stop(A,B,C,D,E,F)],[0>=A,B=C,D=A,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl101(A,2,C,D,1,F,G,H,I,J,K,L,M),loop_cont_lbl101(H,I,J,K,L,M)],[G=0,A>=1,B=C,D=A,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl101(A,2,C,D,1,F,G,H,I,J,K,L,M)],[G=1,A>=1,B=C,D=A,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl101(A,2,C,D,-1,F,G,H,I,J,K,L,M),loop_cont_lbl101(H,I,J,K,L,M)],[G=0,A>=1,B=C,D=A,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl101(A,2,C,D,-1,F,G,H,I,J,K,L,M)],[G=1,A>=1,B=C,D=A,E=F]).
eq(lbl101(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[lbl101(A,1+B,C,D,1+E,F,G,H,I,J,K,L,M)],[A>=B,E+B>=1,A+1>=B,B>=2,B>=E+1,D=A]).
eq(lbl101(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[lbl101(A,1+B,C,D,E-1,F,G,H,I,J,K,L,M)],[A>=B,E+B>=1,A+1>=B,B>=2,B>=E+1,D=A]).
eq(lbl101(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=1,E+A>=0,A>=1,A>=E,B=A+1,D=A]).