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