eq(f0(A,B,C,D,E,F,G,H,I,J),1,[f17(0,K,L,0,E,F,G,H,I,J,M,N,O,P,Q,R,S,T,U,V,W),loop_cont_f17(N,O,P,Q,R,S,T,U,V,W)],[M=0]).
eq(f0(A,B,C,D,E,F,G,H,I,J),1,[f17(0,K,L,0,E,F,G,H,I,J,M,N,O,P,Q,R,S,T,U,V,W)],[M=1]).
eq(loop_cont_f17(A,B,C,D,E,F,G,H,I,J),0,[f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f27(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f17(A,B,C,D,E,F,G,H,I,J),0,[f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f27(A,B,C,D,E,F,G,H,I,J),0,[f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f37(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f27(A,B,C,D,E,F,G,H,I,J),0,[f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f37(A,B,C,D,E,F,G,H,I,J),0,[f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f45(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f37(A,B,C,D,E,F,G,H,I,J),0,[f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f45(A,B,C,D,E,F,G,H,I,J),0,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f55(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f45(A,B,C,D,E,F,G,H,I,J),0,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f55(A,B,C,D,E,F,G,H,I,J),0,[f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f65(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f55(A,B,C,D,E,F,G,H,I,J),0,[f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f65(A,B,C,D,E,F,G,H,I,J),0,[f75(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f75(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f65(A,B,C,D,E,F,G,H,I,J),0,[f75(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(loop_cont_f75(A,B,C,D,E,F,G,H,I,J),0,[f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),loop_cont_f83(L,M,N,O,P,Q,R,S,T,U)],[K=0]).
eq(loop_cont_f75(A,B,C,D,E,F,G,H,I,J),0,[f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[K=1]).
eq(f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f17(A,B,C,D+1,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[E>=D+1]).
eq(f27(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f27(A,B,C,D,E,F-1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[F>=0]).
eq(f37(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f37(A,B,C,D,E,F,G+1,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[E>=G+1]).
eq(f45(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f45(A+1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[E>=A+1]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f55(A,B,C,D,E,F,G,H+1,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[E>=H+1]).
eq(f65(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f65(A,B,C,D,E,F,G,H,I-1,J,K,L,M,N,O,P,Q,R,S,T,U)],[I>=0]).
eq(f75(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f75(A,B,C,D,E,F,G,H,I,J+1,K,L,M,N,O,P,Q,R,S,T,U)],[E>=J+1]).
eq(f83(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U),1,[f83(A-1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U)],[A>=0]).
eq(f17(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,E-1,G,H,I,J),1,[],[K=0,D>=E]).
eq(f27(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,F,0,H,I,J),1,[],[K=0,0>=F+1]).
eq(f37(A,B,C,D,E,F,G,H,I,J,K,0,B,C,D,E,F,G,H,I,J),1,[],[K=0,G>=E]).
eq(f45(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,F,G,0,I,J),1,[],[K=0,A>=E]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,F,G,H,E-1,J),1,[],[K=0,H>=E]).
eq(f65(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,F,G,H,I,0),1,[],[K=0,0>=I+1]).
eq(f75(A,B,C,D,E,F,G,H,I,J,K,E-1,B,C,D,E,F,G,H,I,J),1,[],[K=0,J>=E]).
eq(f83(A,B,C,D,E,F,G,H,I,J,K,A,B,C,D,E,F,G,H,I,J),1,[],[K=1,0>=A+1]).