eq(evalcomplexstart(A,B,C,D,E),1,[evalcomplexentryin(A,B,C,D,E)],[]).
eq(evalcomplexreturnin(A,B,C,D,E),1,[evalcomplexstop(A,B,C,D,E)],[]).
eq(evalcomplexentryin(A,B,C,D,E),1,[evalcomplexbb10in(B,A,C,D,E,F,G,H,I,J,K),loop_cont_evalcomplexbb10in(G,H,I,J,K)],[F=0]).
eq(evalcomplexentryin(A,B,C,D,E),1,[evalcomplexbb10in(B,A,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_evalcomplexbb10in(A,B,C,D,E),0,[evalcomplexreturnin(A,B,C,D,E)],[]).
eq(evalcomplexbb10in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb8in(A,B,A,B,E,L,M,N,O,P,Q),loop_cont_evalcomplexbb8in(M,N,O,P,Q,F,G,H,I,J,K)],[L=0,29>=B]).
eq(evalcomplexbb10in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb8in(A,B,A,B,E,L,M,N,O,P,Q)],[F=1,L=1,29>=B]).
eq(evalcomplexbb8in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K)],[D>=C+1]).
eq(loop_cont_evalcomplexbb8in(A,B,C,D,E,F,G,H,I,J,K),0,[evalcomplexbb9in(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb7in(A,B,C,D,C+7,F,G,H,I,J,K)],[C>=6,2>=C]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb7in(A,B,C,D,C+7,F,G,H,I,J,K)],[C>=6]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb7in(A,B,C,D,C+2,F,G,H,I,J,K)],[5>=C,7>=C]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb7in(A,B,C,D,C+2,F,G,H,I,J,K)],[5>=C,C>=11]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb6in(A,B,C,D,C+7,F,G,H,I,J,K)],[C>=6,C>=3,5>=C]).
eq(evalcomplexbb1in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb6in(A,B,C,D,C+2,F,G,H,I,J,K)],[5>=C,C>=8,10>=C]).
eq(evalcomplexbb9in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb10in(C-10,D+2,C,D,E,F,G,H,I,J,K)],[]).
eq(evalcomplexbb7in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb8in(A,B,E,D+1,E,F,G,H,I,J,K)],[]).
eq(evalcomplexbb6in(A,B,C,D,E,F,G,H,I,J,K),1,[evalcomplexbb8in(A,B,E,D+10,E,F,G,H,I,J,K)],[]).
eq(evalcomplexbb10in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,B>=30]).
eq(evalcomplexbb8in(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=0,C>=D]).