eq(f2(A,B,C,D,E,F,G,H),1,[f1(A,B,C,D,E,F,I,I,J,K,L,M,N,O,P,Q,R),loop_cont_f1(K,L,M,N,O,P,Q,R)],[J=0]).
eq(f2(A,B,C,D,E,F,G,H),1,[f1(A,B,C,D,E,F,I,I,J,K,L,M,N,O,P,Q,R)],[J=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f1(A,B,R,S,T,F,G,H,I,J,K,L,M,N,O,P,Q)],[S>=1,A>=1+B]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f1(A,B,R,S,T,F,G,H,I,J,K,L,M,N,O,P,Q)],[0>=S+1,A>=1+B]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f1(A,B,R,0,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[A>=1+B]).
eq(f1(A,B,C,D,E,F,G,H,I,A,B,J,D,E,K,G,H),1,[],[I=1,B>=A]).