eq(f2(A,B,C,D,E,F),1,[f23(G,H,I,J,1,F)],[G>=1,I>=1,0>=H]).
eq(f2(A,B,C,D,E,F),1,[f23(G,H,I,J,1,0)],[G>=1,I>=1,H>=1]).
eq(f23(A,B,C,D,E,F),1,[f4(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f4(H,I,J,K,L,M)],[G=0,E>=C]).
eq(f23(A,B,C,D,E,F),1,[f4(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1,E>=C]).
eq(f23(A,B,C,D,E,F),1,[f4(A,B,C,D,E,1,G,H,I,J,K,L,M),loop_cont_f4(H,I,J,K,L,M)],[G=0,C>=E+1]).
eq(f23(A,B,C,D,E,F),1,[f4(A,B,C,D,E,1,G,H,I,J,K,L,M)],[G=1,C>=E+1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f33(A-1,B,N,O,C,F,G,H,I,J,K,L,M)],[N>=C,0>=B,A>=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f33(A-1,B,N,O,C,0,G,H,I,J,K,L,M)],[N>=C,B>=1,A>=1]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f43(A,B,N,O,C,F,G,H,I,J,K,L,M)],[N>=C,0>=C,0>=B]).
eq(f6(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f43(A,B,N,O,C,0,G,H,I,J,K,L,M)],[N>=C,0>=C,B>=1]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f6(A,B,C,D,E,F,N,O,P,Q,R,S,T),loop_cont_f6(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0,E>=C]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f6(A,B,C,D,E,1,N,O,P,Q,R,S,T),loop_cont_f6(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0,C>=E+1]).
eq(f43(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f6(A,B,C,D,C,F,G,H,I,J,K,L,M)],[C=E]).
eq(f43(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f6(A,B,C,D,E,1,G,H,I,J,K,L,M)],[C>=E+1]).
eq(loop_cont_f6(A,B,C,D,E,F,G,H,I,J,K,L,M),0,[f53(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f53(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f61(A,A,C,D,C,F,G,H,I,J,K,L,M)],[E>=C]).
eq(f53(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f61(A,A,C,D,C,1,G,H,I,J,K,L,M)],[C>=E+1]).
eq(f61(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f63(A,B,N,O,E,F,G,H,I,J,K,L,M)],[0>=B,N>=E]).
eq(f61(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f63(A,B,N,O,E,0,G,H,I,J,K,L,M)],[B>=1,N>=E]).
eq(f63(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f71(A,B,C,D+1,C,F,G,H,I,J,K,L,M)],[E>=C]).
eq(f63(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f71(A,B,C,D+1,C,1,G,H,I,J,K,L,M)],[C>=E+1]).
eq(f71(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f73(A,B,N,O,E,F,G,H,I,J,K,L,M)],[0>=B,N>=E]).
eq(f71(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f73(A,B,N,O,E,0,G,H,I,J,K,L,M)],[B>=1,N>=E]).
eq(f73(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f13(A,B,C,D,E,F,G,H,I,J,K,L,M)],[E>=C]).
eq(f73(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f13(A,B,C,D,E,1,G,H,I,J,K,L,M)],[C>=E+1]).
eq(f13(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f4(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f13(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=1,B>=A+1]).
eq(f4(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=1,0>=A]).
eq(f6(A,B,C,D,E,F,G,A,B,H,I,C-1,F),1,[],[G=0,H+1>=C,C>=1,0>=B]).
eq(f6(A,B,C,D,E,F,G,A,B,C,D,E,F),0,[],[G=1]).
eq(f6(A,B,C,D,E,F,G,A,B,H,I,C-1,0),1,[],[G=0,H+1>=C,C>=1,B>=1]).