eq(start(A,B,C,D,E,F),1,[m1(A,B,C,D,E,F,G,H,I,J,K,L,M),loop_cont_m1(H,I,J,K,L,M)],[G=0,A>=0,B+A+2>=2*C,B>=A+1,2*C>=B+A,D>=0,E+1=C,F=A]).
eq(start(A,B,C,D,E,F),1,[m1(A,B,C,D,E,F,G,H,I,J,K,L,M)],[G=1,A>=0,B+A+2>=2*C,B>=A+1,2*C>=B+A,D>=0,E+1=C,F=A]).
eq(m1(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[m1(A,B,N,D,E,O,G,H,I,J,K,L,M)],[B>=1,D>=0,A>=E+1,B+1>=O,C+1>=N,N>=1+C,F+1>=O,O>=1+F]).
eq(m1(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[m1(N,B,C,D,E,O,G,H,I,J,K,L,M)],[B>=1,D>=0,B>=F,E+1>=N,C>=B+1,F+1>=O,O>=1+F,A+1>=N,N>=1+A]).
eq(m1(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[m1(A,B,N,D,E,O,G,H,I,J,K,L,M)],[B>=1,D>=0,B>=F,B+1>=N,E>=A,F+1>=O,O>=1+F,C+1>=N,N>=1+C]).
eq(m1(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[m1(N,B,C,D,E,O,G,H,I,J,K,L,M)],[B>=1,D>=0,B>=F,B>=C,E+1>=N,A+1>=N,N>=1+A,F+1>=O,O>=1+F]).
eq(m1(A,B,C,D,E,F,G,A,B,C,D,E,F),0,[],[G=1]).