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