eq(f0(A,B,C,D,E,F,G),1,[f6(8,0,14,-1,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f6(I,J,K,L,M,N,O)],[H=0]).
eq(f0(A,B,C,D,E,F,G),1,[f6(8,0,14,-1,E,F,G,H,I,J,K,L,M,N,O)],[H=1]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f12(A,B,C,D,P,F,G,H,I,J,K,L,M,N,O)],[C>=B,A>=Q+1]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f12(A,B,C,D,P,F,G,H,I,J,K,L,M,N,O)],[C>=B]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f6(A,B,B-1,P,Q,F,G,H,I,J,K,L,M,N,O)],[C>=B]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f6(A,B,E-1,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f6(A,E+1,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(f6(A,B,C,D,E,F,G,H,A,B,C,D,E,D,D),1,[],[H=1,B>=1+C]).