eq(start0(A,B,C,D,E,F,G,H),1,[start(A,C,C,E,E,G,G,A)],[]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,B,C,D,E,F,G,H)],[0>=A,B=C,D=E,F=G,H=A]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,B,C,D,E,F,G,H)],[0>=G+1,B=C,D=E,F=G,H=A]).
eq(start(A,B,C,D,E,F,G,H),1,[stop(A,0,C,F,E,F,G,H)],[A>=1,F=0,B=C,D=E,G=0,H=A]).
eq(start(A,B,C,D,E,F,G,H),1,[lM1(A,1,C,F-1,E,F,G,H,I,J,K,L,M,N,O,P,Q),loop_cont_lM1(J,K,L,M,N,O,P,Q)],[I=0,A>=1,G>=1,B=C,D=E,F=G,H=A]).
eq(start(A,B,C,D,E,F,G,H),1,[lM1(A,1,C,F-1,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[I=1,A>=1,G>=1,B=C,D=E,F=G,H=A]).
eq(lM1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[lM1(A,1+B,C,D-1,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[A>=B+1,D>=1,A>=B,G>=D+B,B>=1,D>=0,H=A,F=G]).
eq(lM1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[lZZ1(A,0,C,D,E,F,G,H,R,S,T,U,V,W,X,Y,Z),loop_cont_lZZ1(S,T,U,V,W,X,Y,Z,I,J,K,L,M,N,O,P,Q)],[R=0,D>=1,G>=D+A,A>=1,D>=0,B=A,H=A,F=G]).
eq(lM1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[lZZ1(A,0,C,D,E,F,G,H,R,S,T,U,V,W,X,Y,Z)],[I=1,R=1,D>=1,G>=D+A,A>=1,D>=0,B=A,H=A,F=G]).
eq(lZZ1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[lZZ1(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[D>=1,0>=A,G>=A+D,A>=2,B=0,H=A,F=G]).
eq(loop_cont_lZZ1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[lM1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(lZZ1(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=1,0>=D,G>=A+D,A>=2,D>=1,B=0,H=A,F=G]).
eq(lM1(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=1,A>=B,G>=B,B>=1,D=0,H=A,F=G]).
eq(lZZ1(A,B,C,D,E,F,G,H,I,A,1+B,C,D-1,E,F,G,H),1,[],[I=0,A>=1,D>=1,G>=A+D,A>=2,B=0,H=A,F=G]).
eq(lZZ1(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),0,[],[I=1]).