eq(f0(A,B,C,D,E),1,[f4(0,B,C,D,E,F,G,H,I,J,K),loop_cont_f4(G,H,I,J,K)],[F=0]).
eq(f0(A,B,C,D,E),1,[f4(0,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_f4(A,B,C,D,E),0,[f24(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f24(G,H,I,J,K)],[F=0]).
eq(loop_cont_f4(A,B,C,D,E),0,[f24(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K),1,[f4(A+1,B,C,A,A,F,G,H,I,J,K)],[99>=A]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f24(A,B+1,B,D,E,F,G,H,I,J,K)],[199>=B]).
eq(f4(A,B,C,D,E,F,A,100,C,D,E),1,[],[F=0,A>=100]).
eq(f24(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=1,B>=200]).