eq(f12(A,B,C,D,E,F),1,[f5(4,0,0,D,E,F,G,H,I,J,K,L,M),loop_cont_f5(H,I,J,K,L,M)],[G=0]).
eq(f12(A,B,C,D,E,F),1,[f5(4,0,0,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(f7(A,B,C,D,E,F),1,[f5(A,1+B,G,H,E,G,I,J,K,L,M,N,O),loop_cont_f5(J,K,L,M,N,O)],[I=0]).
eq(f7(A,B,C,D,E,F),1,[f5(A,1+B,G,H,E,G,I,J,K,L,M,N,O)],[I=1]).
eq(f8(A,B,C,D,E,F),1,[f5(A,1+B,G,H,E,G,I,J,K,L,M,N,O),loop_cont_f5(J,K,L,M,N,O)],[I=0]).
eq(f8(A,B,C,D,E,F),1,[f5(A,1+B,G,H,E,G,I,J,K,L,M,N,O)],[I=1]).
eq(f5(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f5(A,1+B,N,O,E,N,G,H,I,J,K,L,M)],[A>=1+B,C=0]).
eq(f5(A,B,C,D,E,F,G,A,B,0,0,0,F),1,[],[G=1,B>=A,C=0]).
eq(f5(A,B,C,D,E,F,G,A,B,C,C,C,F),1,[],[G=1,C>=1]).
eq(f5(A,B,C,D,E,F,G,A,B,C,C,C,F),1,[],[G=1,0>=C+1]).