eq(start0(A,B,C,D),1,[start(B,B,D,D)],[]).
eq(start(A,B,C,D),1,[lbl51(E,B,0,D,F,G,H,I,J),loop_cont_lbl51(G,H,I,J)],[F=0,A=B,C=D]).
eq(start(A,B,C,D),1,[lbl51(E,B,0,D,F,G,H,I,J)],[F=1,A=B,C=D]).
eq(lbl51(A,B,C,D,E,F,G,H,I),1,[cut(A,B,C,D,E,F,G,H,I)],[A>=C+1,C+2>=A,9>=A,C>=0,9>=C]).
eq(cut(A,B,C,D,E,F,G,H,I),1,[lbl51(J,B,A,D,E,F,G,H,I)],[C+2>=A,9>=A,C>=0,A>=C+1]).
eq(lbl51(A,B,C,D,E,A,B,C,D),1,[],[E=1,C>=A,C>=0,9>=C]).
eq(lbl51(A,B,C,D,E,A,B,C,D),1,[],[E=1,A>=C+3,C>=0,9>=C]).
eq(lbl51(A,B,C,D,E,A,B,C,D),1,[],[E=1,A>=10,A>=C+1,C+2>=A,C>=0,9>=C]).