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,0,D,1,F)],[1>=A,B=A,C=D,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl71(A,B,1,D,0,F,G,H,I,J,K,L,M),loop_cont_lbl71(H,I,J,K,L,M)],[G=0,A>=2,B=A,C=D,E=F]).
eq(start(A,B,C,D,E,F),1,[lbl71(A,B,1,D,0,F,G,H,I,J,K,L,M)],[G=1,A>=2,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,D,E,F,G,H,I,J,K,L,M)],[A>=C+2,A>=C+1,A>=E+2,C>=1,E>=0,B=A]).
eq(lbl71(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[cut(A,B,C,D,1+E,F,N,O,P,Q,R,S,T),loop_cont_cut(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0,A>=E+3,A>=E+2,A>=2,E>=0,C+1=A,B=A]).
eq(lbl71(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[cut(A,B,C,D,1+E,F,N,O,P,Q,R,S,T)],[G=1,N=1,A>=E+3,A>=E+2,A>=2,E>=0,C+1=A,B=A]).
eq(cut(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[cut(A,B,0,D,1+E,F,G,H,I,J,K,L,M)],[1>=A,A>=E+3,A>=2+E,E>=1,C+1=A,B=A]).
eq(loop_cont_cut(A,B,C,D,E,F,G,H,I,J,K,L,M),0,[lbl71(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(cut(A,B,C,D,E,F,G,A,B,0,D,1+E,F),1,[],[G=1,1>=A,A>=3,C+1=A,E+2=A,B=A]).
eq(lbl71(A,B,C,D,E,F,G,A,B,C,D,1+E,F),1,[],[G=1,A>=2,E+2=A,C+1=A,B=A]).
eq(cut(A,B,C,D,E,F,G,A,B,1,D,E,F),1,[],[G=0,A>=2,A>=2+E,E>=1,C+1=A,B=A]).
eq(cut(A,B,C,D,E,F,G,A,B,C,D,E,F),0,[],[G=1]).