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