eq(evalspeedpldi3start(A,B,C,D),1,[evalspeedpldi3entryin(A,B,C,D)],[]).
eq(evalspeedpldi3entryin(A,B,C,D),1,[evalspeedpldi3returnin(A,B,C,D)],[0>=A]).
eq(evalspeedpldi3entryin(A,B,C,D),1,[evalspeedpldi3returnin(A,B,C,D)],[A>=B]).
eq(evalspeedpldi3returnin(A,B,C,D),1,[evalspeedpldi3stop(A,B,C,D)],[]).
eq(evalspeedpldi3entryin(A,B,C,D),1,[evalspeedpldi3bb5in(A,B,0,0,E,F,G,H,I),loop_cont_evalspeedpldi3bb5in(F,G,H,I)],[E=0,A>=1,B>=A+1]).
eq(evalspeedpldi3entryin(A,B,C,D),1,[evalspeedpldi3bb5in(A,B,0,0,E,F,G,H,I)],[E=1,A>=1,B>=A+1]).
eq(loop_cont_evalspeedpldi3bb5in(A,B,C,D),0,[evalspeedpldi3returnin(A,B,C,D)],[]).
eq(evalspeedpldi3bb5in(A,B,C,D,E,F,G,H,I),1,[evalspeedpldi3bb2in(A,B,C,D,E,F,G,H,I)],[B>=D+1]).
eq(evalspeedpldi3bb2in(A,B,C,D,E,F,G,H,I),1,[evalspeedpldi3bb3in(A,B,C,D,E,F,G,H,I)],[A>=C+1]).
eq(evalspeedpldi3bb2in(A,B,C,D,E,F,G,H,I),1,[evalspeedpldi3bb4in(A,B,C,D,E,F,G,H,I)],[C>=A]).
eq(evalspeedpldi3bb3in(A,B,C,D,E,F,G,H,I),1,[evalspeedpldi3bb5in(A,B,C+1,D,E,F,G,H,I)],[]).
eq(evalspeedpldi3bb4in(A,B,C,D,E,F,G,H,I),1,[evalspeedpldi3bb5in(A,B,0,D+1,E,F,G,H,I)],[]).
eq(evalspeedpldi3bb5in(A,B,C,D,E,A,B,C,D),1,[],[E=0,D>=B]).