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