eq(start(A),1,[a(A,B,C),loop_cont_a(C)],[B=0,A>=1]).
eq(start(A),1,[a(A,B,C)],[B=1,A>=1]).
eq(start(A),1,[a(A,B,C),loop_cont_a(C)],[B=0,A>=2]).
eq(start(A),1,[a(A,B,C)],[B=1,A>=2]).
eq(start(A),1,[a(A,B,C),loop_cont_a(C)],[B=0,A>=4]).
eq(start(A),1,[a(A,B,C)],[B=1,A>=4]).
eq(a(A,B,C),1,[a(D,B,C)],[2*D>=2,A=2*D]).
eq(a(A,B,C),1,[a(D,B,C)],[2*D>=1,A=2*D+1]).
eq(a(A,B,A),0,[],[B=1]).