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