eq(f3(A,B,C,D,E,F),1,[f2(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f2(H,I,J,K,L,M)],[G=0]).
eq(f3(A,B,C,D,E,F),1,[f2(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f2(-1+A,-1+B,A,B,-2+A,F,G,H,I,J,K,L,M)],[A>=1,B>=1]).
eq(f2(A,B,C,D,E,F,G,A,H,C,D,E,I),1,[],[G=1,0>=B,0>=H]).
eq(f2(A,B,C,D,E,F,G,A,B,C,D,E,H),1,[],[G=1,B>=1,0>=A]).