eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f5(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f5(A,B,C,1,1,F,G,H,I,J,K)],[15>=L]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f12(L,B,C,D,E,F,G,H,I,J,K,M,N,O,P,Q,R,S,T,U,V,W,X),loop_cont_f12(N,O,P,Q,R,S,T,U,V,W,X)],[M=0,15>=Y]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f12(L,B,C,D,E,F,G,H,I,J,K,M,N,O,P,Q,R,S,T,U,V,W,X)],[M=1,15>=Y]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),1,[f20(A,X,X,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W)],[0>=A+1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),1,[f20(A,X,X,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W)],[A>=1]).
eq(f20(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),1,[f12(A-1,B,C,D,E,0,0,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W)],[]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,0,B,C,0,0,F,G,M,M,0,0),1,[],[L=1,A=0]).