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