eq(start0(A,B,C,D),1,[start(A,B,B,A,E,F,G,H,I),loop_cont_start(F,G,H,I)],[E=0,A>=0,B>=0]).
eq(start0(A,B,C,D),1,[start(A,B,B,A,E,F,G,H,I)],[E=1,A>=0,B>=0]).
eq(start(A,B,C,D,E,F,G,H,I),1,[cont1(A,B,C,D,E,F,G,H,I)],[D>=1,A>=0,B>=0,C>=0,D>=0,A>=D]).
eq(cont1(A,B,C,D,E,F,G,H,I),1,[a(A,B,C-1,D,E,F,G,H,I)],[C>=1,D>=1,C>=0,B>=0,A>=D]).
eq(a(A,B,C,D,E,F,G,H,I),1,[b(A,B,J,D-1,E,F,G,H,I)],[A>=D,B>=0,C>=0,D>=1]).
eq(b(A,B,C,D,E,F,G,H,I),1,[start(A,B,C,D,E,F,G,H,I)],[C>=0,D>=0,B>=0,A>=D+1]).
eq(b(A,B,C,D,E,A,B,C,D),1,[],[E=1,0>=C+1,D>=0,B>=0,A>=D+1]).
eq(cont1(A,B,C,D,E,A,B,1,D-1),1,[],[E=1,D>=1,B>=0,A>=D,C=0]).
eq(start(A,B,C,D,E,A,B,C,D),1,[],[E=1,A>=0,B>=0,C>=0,D=0]).