eq(f300(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A,L,M,D,N,O,P,H,Q,N,R)],[0>=H]).
eq(f300(A,B,C,D,E,F,G,H,I,J,K),1,[f2(A,L,M,N,O,O,G,H,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1),loop_cont_f2(T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[S=0,H>=1]).
eq(f300(A,B,C,D,E,F,G,H,I,J,K),1,[f2(A,L,M,N,O,O,G,H,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1)],[S=1,H>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),1,[f2(A,X,Y,Z,F,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W)],[A>=2]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,A,M,N,D,E,F,O,H,I,J,K),1,[],[L=1,1>=A]).