eq(f5(A,B,C,D,E,F,G),1,[f6(A,B,0,0,0,0,0)],[B>=0]).
eq(f5(A,B,C,D,E,F,G),1,[f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f4(I,J,K,L,M,N,O)],[H=0,0>=B+1]).
eq(f5(A,B,C,D,E,F,G),1,[f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[H=1,0>=B+1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f4(A-B,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[A>=0]).
eq(f4(A,B,C,D,E,F,G,H,A,B,0,0,0,0,0),1,[],[H=1,0>=A+1]).