eq(eval0(A,B,C,D),1,[eval1(B,B,1,D)],[]).
eq(eval1(A,B,C,D),1,[end(A,B,C,D)],[A>=101]).
eq(eval1(A,B,C,D),1,[eval3(A,B,C,D,E,F,G,H,I),loop_cont_eval3(F,G,H,I)],[E=0,100>=A]).
eq(eval1(A,B,C,D),1,[eval3(A,B,C,D,E,F,G,H,I)],[E=1,100>=A]).
eq(loop_cont_eval3(A,B,C,D),0,[eval5(A,B,C,D,E,F,G,H,I),loop_cont_eval5(F,G,H,I)],[E=0]).
eq(loop_cont_eval3(A,B,C,D),0,[eval5(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(eval3(A,B,C,D,E,F,G,H,I),1,[eval3(A+11,B,C+1,D,E,F,G,H,I)],[100>=A]).
eq(eval5(A,B,C,D,E,F,G,H,I),1,[eval7(A-10,B,C-1,D,E,F,G,H,I)],[C>=2]).
eq(eval7(A,B,C,D,E,F,G,H,I),1,[eval5(A,B,C,A-10,E,F,G,H,I)],[A>=101,C=1]).
eq(eval7(A,B,C,D,E,F,G,H,I),1,[eval9(A,B,C,D,E,F,G,H,I)],[100>=A]).
eq(eval7(A,B,C,D,E,F,G,H,I),1,[eval9(A,B,C,D,E,F,G,H,I)],[2>=C]).
eq(eval7(A,B,C,D,E,F,G,H,I),1,[eval9(A,B,C,D,E,F,G,H,I)],[C>=0]).
eq(eval9(A,B,C,D,E,F,G,H,I),1,[eval11(A-10,B,C-1,D,E,F,G,H,I)],[A>=101]).
eq(eval9(A,B,C,D,E,F,G,H,I),1,[eval11(A,B,C,D,E,F,G,H,I)],[100>=A]).
eq(eval11(A,B,C,D,E,F,G,H,I),1,[eval5(A+11,B,C+1,D,E,F,G,H,I)],[]).
eq(eval3(A,B,C,D,E,A,B,C,D),1,[],[E=0,A>=101]).
eq(eval5(A,B,C,D,E,A,B,C,D),0,[],[E=1]).