eq(f0(A,B,C,D,E,F),1,[f12(G,G,G,0,E,F,H,I,J,K,L,M,N),loop_cont_f12(I,J,K,L,M,N)],[H=0]).
eq(f0(A,B,C,D,E,F),1,[f12(G,G,G,0,E,F,H,I,J,K,L,M,N)],[H=1]).
eq(loop_cont_f12(A,B,C,D,E,F),0,[f27(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f27(H,I,J,K,L,M)],[G=0]).
eq(loop_cont_f12(A,B,C,D,E,F),0,[f27(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(loop_cont_f27(A,B,C,D,E,F),0,[f42(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f42(H,I,J,K,L,M)],[G=0]).
eq(loop_cont_f27(A,B,C,D,E,F),0,[f42(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(loop_cont_f42(A,B,C,D,E,F),0,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_f55(H,I,J,K,L,M)],[G=0]).
eq(loop_cont_f42(A,B,C,D,E,F),0,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f12(A,B,C,D+1,N,F,G,H,I,J,K,L,M)],[C>=D+1]).
eq(f27(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f27(A,B,C,D,E,N,G,H,I,J,K,L,M)],[0>=O+1]).
eq(f27(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f27(A,B,C,D,E,N,G,H,I,J,K,L,M)],[]).
eq(f42(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f42(A,B,C,D,E,F,G,H,I,J,K,L,M)],[N>=O+1]).
eq(f42(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f42(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M)],[N>=O+1]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M)],[]).
eq(f12(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0,D>=C]).
eq(f27(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0]).
eq(f42(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=0]).
eq(f55(A,B,C,D,E,F,G,A,B,C,D,E,F),1,[],[G=1]).