eq(f3(A,B,C,D,E,F,G),1,[f2(H,B,I,D,E,F,G,J,K,L,M,N,O,P,Q),loop_cont_f2(K,L,M,N,O,P,Q)],[J=0]).
eq(f3(A,B,C,D,E,F,G),1,[f2(H,B,I,D,E,F,G,J,K,L,M,N,O,P,Q)],[J=1]).
eq(f1(A,B,C,D,E,F,G),1,[f0(-1+A,B,-1+C,D,C,A,G,H,I,J,K,L,M,N,O),loop_cont_f0(I,J,K,L,M,N,O)],[H=0,A>=1,C>=1]).
eq(f1(A,B,C,D,E,F,G),1,[f0(-1+A,B,-1+C,D,C,A,G,H,I,J,K,L,M,N,O)],[H=1,A>=1,C>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(P,B,C,D,E,F,G,Q,R,S,T,U,V,W,X),loop_cont_f0(R,S,T,U,V,W,X,H,I,J,K,L,M,N,O)],[Q=0,P>=1,C>=1]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(P,B,C,D,E,F,G,Q,R,S,T,U,V,W,X)],[H=1,Q=1,P>=1,C>=1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f0(-1+A,C,-1+C,A,E,F,G,H,I,J,K,L,M,N,O)],[A>=1]).
eq(loop_cont_f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),0,[f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(f2(A,B,C,D,E,F,G,H,A,B,C,D,E,F,I),1,[],[H=1,0>=C]).
eq(f0(A,B,C,D,E,F,G,H,A,B,C,D,E,F,G),1,[],[H=0,0>=A]).