eq(evalsipma91start(A,B,C,D),1,[evalsipma91entryin(A,B,C,D)],[]).
eq(evalsipma91entryin(A,B,C,D),1,[evalsipma91returnin(A,B,C,D)],[A>=101]).
eq(evalsipma91returnin(A,B,C,D),1,[evalsipma91stop(A,B,C,D)],[]).
eq(evalsipma91entryin(A,B,C,D),1,[evalsipma91bb3in(1,A,C,D,E,F,G,H,I),loop_cont_evalsipma91bb3in(F,G,H,I)],[E=0,100>=A]).
eq(evalsipma91entryin(A,B,C,D),1,[evalsipma91bb3in(1,A,C,D,E,F,G,H,I)],[E=1,100>=A]).
eq(loop_cont_evalsipma91bb3in(A,B,C,D),0,[evalsipma91bb11in(A,B,C,D,E,F,G,H,I),loop_cont_evalsipma91bb11in(F,G,H,I)],[E=0]).
eq(loop_cont_evalsipma91bb3in(A,B,C,D),0,[evalsipma91bb11in(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_evalsipma91bb11in(A,B,C,D),0,[evalsipma91returnin(A,B,C,D)],[]).
eq(evalsipma91bb3in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb2in(A,B,C,D,E,F,G,H,I)],[100>=B]).
eq(evalsipma91bb11in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb5in(A,B,C,D,E,F,G,H,I)],[A>=2]).
eq(evalsipma91bb2in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb3in(A+1,B+11,C,D,E,F,G,H,I)],[]).
eq(evalsipma91bb5in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb8in(A,B,B-10,A-1,E,F,G,H,I)],[110>=B]).
eq(evalsipma91bb5in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb8in(A,B,B-10,A-1,E,F,G,H,I)],[1>=A]).
eq(evalsipma91bb5in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb8in(A,B,B-10,A-1,E,F,G,H,I)],[A>=3]).
eq(evalsipma91bb5in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb11in(A-1,B-10,C,D,E,F,G,H,I)],[B>=111,A=2]).
eq(evalsipma91bb8in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb11in(D,C+1,C,D,E,F,G,H,I)],[C>=101]).
eq(evalsipma91bb8in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb11in(D,C+11,C,D,E,F,G,H,I)],[C>=101,100>=C]).
eq(evalsipma91bb8in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb11in(D+1,C+1,C,D,E,F,G,H,I)],[100>=C,C>=101]).
eq(evalsipma91bb8in(A,B,C,D,E,F,G,H,I),1,[evalsipma91bb11in(D+1,C+11,C,D,E,F,G,H,I)],[100>=C]).
eq(evalsipma91bb3in(A,B,C,D,E,A,B,C,D),1,[],[E=0,B>=101]).
eq(evalsipma91bb11in(A,B,C,D,E,A,B,C,D),1,[],[E=0,1>=A]).