eq(f0(A,B,C,D,E),1,[f7(F,0,0,D,E,G,H,I,J,K,L),loop_cont_f7(H,I,J,K,L)],[G=0,0>=F+1]).
eq(f0(A,B,C,D,E),1,[f7(F,0,0,D,E,G,H,I,J,K,L)],[G=1,0>=F+1]).
eq(f0(A,B,C,D,E),1,[f7(F,0,0,D,E,G,H,I,J,K,L),loop_cont_f7(H,I,J,K,L)],[G=0,F>=1]).
eq(f0(A,B,C,D,E),1,[f7(F,0,0,D,E,G,H,I,J,K,L)],[G=1,F>=1]).
eq(f0(A,B,C,D,E),1,[f7(0,1023,0,D,E,F,G,H,I,J,K),loop_cont_f7(G,H,I,J,K)],[F=0]).
eq(f0(A,B,C,D,E),1,[f7(0,1023,0,D,E,F,G,H,I,J,K)],[F=1]).
eq(f7(A,B,C,D,E,F,G,H,I,J,K),1,[f7(A,B,C+1,D+2,E,F,G,H,I,J,K)],[B>=C]).
eq(f7(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=1,E>=0,C>=1+B,1022>=E]).
eq(f7(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=1,C>=1+B,E>=1023]).
eq(f7(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=1,C>=1+B,0>=E+1]).