eq(start0(A,B,C,D),1,[start(A,C,C,A)],[]).
eq(start(A,B,C,D),1,[stop(A,B,C,D)],[1>=A,B=C,D=A]).
eq(start(A,B,C,D),1,[lbl32(A,B,C,D-1,E,F,G,H,I),loop_cont_lbl32(F,G,H,I)],[E=0,A>=2,B=C,D=A]).
eq(start(A,B,C,D),1,[lbl32(A,B,C,D-1,E,F,G,H,I)],[E=1,A>=2,B=C,D=A]).
eq(lbl32(A,B,C,D,E,F,G,H,I),1,[lbl32(A,B,C,D-1,E,F,G,H,I)],[D>=2,D>=1,A>=D+1,B=C]).
eq(lbl32(A,B,C,D,E,A,B,C,D),1,[],[E=1,A>=2,D=1,B=C]).