eq(f0(A,B,C,D,E,F,G,H),1,[f15(10,35,285,I,I,0,G,H,J,K,L,M,N,O,P,Q,R),loop_cont_f15(K,L,M,N,O,P,Q,R)],[J=0]).
eq(f0(A,B,C,D,E,F,G,H),1,[f15(10,35,285,I,I,0,G,H,J,K,L,M,N,O,P,Q,R)],[J=1]).
eq(f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f25(A,B,C,D,E,F,R,1,S,T,U,V,W,X,Y,Z,A1),loop_cont_f25(T,U,V,W,X,Y,Z,A1,I,J,K,L,M,N,O,P,Q)],[S=0,A>=F+1]).
eq(f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f25(A,B,C,D,E,F,R,1,S,T,U,V,W,X,Y,Z,A1)],[I=1,S=1,A>=F+1]).
eq(f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f25(A,B,C,D,E,F,R,H+1,I,J,K,L,M,N,O,P,Q)],[E>=H+1]).
eq(loop_cont_f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(loop_cont_f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q)],[]).
eq(f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f15(A,B,C,D,E,F+1,G,H,I,J,K,L,M,N,O,P,Q)],[E>=B]).
eq(f41(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f15(A,B,C,D,E+1,F+1,G,H,I,J,K,L,M,N,O,P,Q)],[B>=E+1]).
eq(f15(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=1,F>=A]).
eq(f25(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=0,H>=E,J>=K+1]).
eq(f25(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),0,[],[I=1]).
eq(f25(A,B,C,D,E,F,G,H,I,A,B,C,D,E,F,G,H),1,[],[I=0,H>=E]).
eq(f25(A,B,C,D,E,F,G,H,I,A,B,C,D,E-1,F+1,G,H),1,[],[I=0,H>=E]).