eq(f0(A,B,C,D,E,F),1,[f8(1,1,0,1,1,F,G,H,I,J,K,L,M),loop_cont_f8(H,I,J,K,L,M)],[G=0]).
eq(f0(A,B,C,D,E,F),1,[f8(1,1,0,1,1,F,G,H,I,J,K,L,M)],[G=1]).
eq(f8(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f10(A,B,C,D,E,F,N,O,P,Q,R,S,T),loop_cont_f10(O,P,Q,R,S,T,G,H,I,J,K,L,M)],[N=0,29>=D]).
eq(f8(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f10(A,B,C,D,E,F,N,O,P,Q,R,S,T)],[G=1,N=1,29>=D]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f14(A,B,C,D,N,F,G,H,I,J,K,L,M)],[D>=E+1,E>=6]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f14(A,B,C,D,E+2,F,G,H,I,J,K,L,M)],[D>=E+1,5>=E]).
eq(loop_cont_f10(A,B,C,D,E,F,G,H,I,J,K,L,M),0,[f8(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f10(A,B,C,D+10,E,F,G,H,I,J,K,L,M)],[12>=E,E>=10]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f10(A,B,C,D+1,E,F,G,H,I,J,K,L,M)],[E>=13]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f10(A,B,C,D+1,E,F,G,H,I,J,K,L,M)],[9>=E]).
eq(f8(A,B,C,D,E,F,G,A,B,1,D,E,1),1,[],[G=1,D>=30]).
eq(f10(A,B,C,D,E,F,G,A,B,C,D+2,E-10,F),1,[],[G=0,E>=D]).
eq(f10(A,B,C,D+1,E,F,G,A,B,C,D+1,E,F),0,[],[G=1,D>=E]).