eq(f0(A,B,C,D,E),1,[f1(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f1(G,H,I,J,K)],[F=0]).
eq(f0(A,B,C,D,E),1,[f1(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_f1(A,B,C,D,E),0,[f2(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f2(G,H,I,J,K)],[F=0]).
eq(loop_cont_f1(A,B,C,D,E),0,[f2(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_f2(A,B,C,D,E),0,[f3(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f3(G,H,I,J,K)],[F=0]).
eq(loop_cont_f2(A,B,C,D,E),0,[f3(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(loop_cont_f3(A,B,C,D,E),0,[f4(A,B,C,D,E,F,G,H,I,J,K),loop_cont_f4(G,H,I,J,K)],[F=0]).
eq(loop_cont_f3(A,B,C,D,E),0,[f4(A,B,C,D,E,F,G,H,I,J,K)],[F=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A,B+1,C,D,E,F,G,H,I,J,K)],[A>=B+1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K),1,[f2(A,B,C-1,D,E,F,G,H,I,J,K)],[C>=1]).
eq(f3(A,B,C,D,E,F,G,H,I,J,K),1,[f3(A,B,C,D+1,E,F,G,H,I,J,K)],[A>=D+1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K),1,[f4(A,B,C,D,E-1,F,G,H,I,J,K)],[E>=1]).
eq(f1(A,B,C,D,E,F,A,B,B,D,E),1,[],[F=0,B>=A]).
eq(f2(A,B,C,D,E,F,A,B,C,C,E),1,[],[F=0,0>=C]).
eq(f3(A,B,C,D,E,F,A,B,C,D,D),1,[],[F=0,D>=A]).
eq(f4(A,B,C,D,E,F,A,B,C,D,E),0,[],[F=1]).