eq(evalperfectstart(A,B,C,D),1,[evalperfectentryin(A,B,C,D)],[]).
eq(evalperfectentryin(A,B,C,D),1,[evalperfectreturnin(A,B,C,D)],[1>=A]).
eq(evalperfectentryin(A,B,C,D),1,[evalperfectbb1in(A,B,C,D)],[A>=2]).
eq(evalperfectbb9in(A,B,C,D),1,[evalperfectreturnin(A,B,C,D)],[0>=A+1]).
eq(evalperfectbb9in(A,B,C,D),1,[evalperfectreturnin(A,B,C,D)],[A>=1]).
eq(evalperfectbb9in(A,B,C,D),1,[evalperfectreturnin(A,B,C,D)],[A=0]).
eq(evalperfectreturnin(A,B,C,D),1,[evalperfectstop(A,B,C,D)],[]).
eq(evalperfectbb1in(A,B,C,D),1,[evalperfectbb8in(A,A,A-1,D,E,F,G,H,I),loop_cont_evalperfectbb8in(F,G,H,I)],[E=0]).
eq(evalperfectbb1in(A,B,C,D),1,[evalperfectbb8in(A,A,A-1,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalperfectbb8in(A,B,C,D),0,[evalperfectbb9in(A,B,C,D)],[]).
eq(evalperfectbb8in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb4in(A,B,C,A,J,K,L,M,N),loop_cont_evalperfectbb4in(K,L,M,N,E,F,G,H,I)],[J=0,C>=1]).
eq(evalperfectbb8in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb4in(A,B,C,A,J,K,L,M,N)],[E=1,J=1,C>=1]).
eq(evalperfectbb4in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb3in(A,B,C,D,E,F,G,H,I)],[D>=C]).
eq(loop_cont_evalperfectbb4in(A,B,C,D,E,F,G,H,I),0,[evalperfectbb5in(A,B,C,D,E,F,G,H,I)],[]).
eq(evalperfectbb3in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb4in(A,B,C,D-C,E,F,G,H,I)],[]).
eq(evalperfectbb5in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb8in(A,B-C,C-1,D,E,F,G,H,I)],[D=0]).
eq(evalperfectbb5in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb8in(A,B,C-1,D,E,F,G,H,I)],[0>=D+1]).
eq(evalperfectbb5in(A,B,C,D,E,F,G,H,I),1,[evalperfectbb8in(A,B,C-1,D,E,F,G,H,I)],[D>=1]).
eq(evalperfectbb8in(A,B,C,D,E,B,B,C,D),1,[],[E=0,0>=C]).
eq(evalperfectbb4in(A,B,C,D,E,A,B,C,D),1,[],[E=0,C>=D+1]).