eq(f4(A,B,C,D,E,F),1,[f0(G,0,0,H,G,G)],[]).
eq(f4(A,B,C,D,E,F),1,[f2(1+G,H,H,D,G,G,I,J,K,L,M,N,O),loop_cont_f2(J,K,L,M,N,O)],[I=0,H>=1,G>=1]).
eq(f4(A,B,C,D,E,F),1,[f2(1+G,H,H,D,G,G,I,J,K,L,M,N,O)],[I=1,H>=1,G>=1]).
eq(f4(A,B,C,D,E,F),1,[f2(1+G,H,H,D,G,G,I,J,K,L,M,N,O),loop_cont_f2(J,K,L,M,N,O)],[I=0,0>=H+1,G>=1]).
eq(f4(A,B,C,D,E,F),1,[f2(1+G,H,H,D,G,G,I,J,K,L,M,N,O)],[I=1,0>=H+1,G>=1]).
eq(f3(A,B,C,D,E,F),1,[f0(A,0,0,G,E,F)],[]).
eq(f3(A,B,C,D,E,F),1,[f2(1+A,G,G,D,E,F,H,I,J,K,L,M,N),loop_cont_f2(I,J,K,L,M,N)],[H=0,G>=1,A>=1]).
eq(f3(A,B,C,D,E,F),1,[f2(1+A,G,G,D,E,F,H,I,J,K,L,M,N)],[H=1,G>=1,A>=1]).
eq(f3(A,B,C,D,E,F),1,[f2(1+A,G,G,D,E,F,H,I,J,K,L,M,N),loop_cont_f2(I,J,K,L,M,N)],[H=0,0>=G+1,A>=1]).
eq(f3(A,B,C,D,E,F),1,[f2(1+A,G,G,D,E,F,H,I,J,K,L,M,N)],[H=1,0>=G+1,A>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f2(1+A,N,N,D,E,F,G,H,I,J,K,L,M)],[N>=1,A>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f2(1+A,N,N,D,E,F,G,H,I,J,K,L,M)],[0>=N+1,A>=1]).
eq(f2(A,B,C,D,E,F,G,A,0,0,H,E,F),1,[],[G=1]).