eq(start0(A,B,C,D,E,F,G,H),1,[start(A,C,C,A,F,F,H,H)],[]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,B,C,D,0,F,D,H)],[0>=A,B=C,D=A,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,B,C,D,0,F,D-1,H)],[D=1,B=C,A=1,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,0,C,D,0,F,D-1,H)],[D=1,B=C,A=1,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[cut(A,B,C,D,0,F,D-1,H,I,J,K,L,M,N,O,P,Q),loop_cont_cut(J,K,L,M,N,O,P,Q)],[I=0,A>=2,B=C,D=A,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[cut(A,B,C,D,0,F,D-1,H,I,J,K,L,M,N,O,P,Q)],[I=1,A>=2,B=C,D=A,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[cut(A,0,C,D,1,F,D-1,H,I,J,K,L,M,N,O,P,Q),loop_cont_cut(J,K,L,M,N,O,P,Q)],[I=0,A>=2,B=C,D=A,E=F,G=H]).
eq(start(A,B,C,D,E,F,G,H),1,[cut(A,0,C,D,1,F,D-1,H,I,J,K,L,M,N,O,P,Q)],[I=1,A>=2,B=C,D=A,E=F,G=H]).
eq(cut(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[cut(A,B,C,D,E-1,F,G-1,H,I,J,K,L,M,N,O,P,Q)],[G>=2,E>=2,G>=1,E>=0,A>=G+1,A>=G+E,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[cut(A,B,C,D,0,F,G-1,H,I,J,K,L,M,N,O,P,Q)],[G>=2,1>=E,G>=1,E>=0,A>=G+1,A>=G+E,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[cut(A,E,C,D,1+E,F,G-1,H,I,J,K,L,M,N,O,P,Q)],[G>=2,A>=E+2,G>=1,E>=0,A>=G+1,A>=G+E,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[cut(A,E,C,D,0,F,G-1,H,I,J,K,L,M,N,O,P,Q)],[G>=2,E+1>=A,G>=1,E>=0,A>=G+1,A>=G+E,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,A,B,C,D,E-1,F,G-1,H),1,[],[I=1,E>=2,E>=0,A>=2,A>=1+E,G=1,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,A,B,C,D,0,F,G-1,H),1,[],[I=1,1>=E,E>=0,A>=2,A>=1+E,G=1,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,A,E,C,D,1+E,F,G-1,H),1,[],[I=1,A>=E+2,E>=0,A>=2,A>=1+E,G=1,D=A]).
eq(cut(A,B,C,D,E,F,G,H,I,A,E,C,D,0,F,G-1,H),1,[],[I=1,A>=1,A>=2,G=1,E+1=A,D=A]).