eq(f0(A,B,C,D,E,F,G),1,[f12(2,H,I,0,E,F,G,J,K,L,M,N,O,P,Q),loop_cont_f12(K,L,M,N,O,P,Q)],[J=0]).
eq(f0(A,B,C,D,E,F,G),1,[f12(2,H,I,0,E,F,G,J,K,L,M,N,O,P,Q)],[J=1]).
eq(loop_cont_f12(A,B,C,D,E,F,G),0,[f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),loop_cont_f23(I,J,K,L,M,N,O)],[H=0]).
eq(loop_cont_f12(A,B,C,D,E,F,G),0,[f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[H=1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f15(A,B,C,D,0,F,G,P,Q,R,S,T,U,V,W),loop_cont_f15(Q,R,S,T,U,V,W,H,I,J,K,L,M,N,O)],[P=0,A>=D+1]).
eq(f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f15(A,B,C,D,0,F,G,P,Q,R,S,T,U,V,W)],[H=1,P=1,A>=D+1]).
eq(f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f15(A,B,C,D,E+1,F,G,H,I,J,K,L,M,N,O)],[A>=E+1]).
eq(f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f26(A,B,C,D,0,F,G,P,Q,R,S,T,U,V,W),loop_cont_f26(Q,R,S,T,U,V,W,H,I,J,K,L,M,N,O)],[P=0,A>=D+1]).
eq(f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f26(A,B,C,D,0,F,G,P,Q,R,S,T,U,V,W)],[H=1,P=1,A>=D+1]).
eq(f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f30(A,B,C,D,E,0,G,P,Q,R,S,T,U,V,W),loop_cont_f30(Q,R,S,T,U,V,W,H,I,J,K,L,M,N,O)],[P=0,A>=E+1]).
eq(f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f30(A,B,C,D,E,0,G,P,Q,R,S,T,U,V,W)],[H=1,P=1,A>=E+1]).
eq(f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),1,[f30(A,B,C,D,E,F+1,G,H,I,J,K,L,M,N,O)],[A>=F+1]).
eq(loop_cont_f15(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),0,[f12(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(loop_cont_f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),0,[f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(loop_cont_f30(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O),0,[f26(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O)],[]).
eq(f12(A,B,C,D,E,F,G,H,A,B,C,0,E,F,G),1,[],[H=0,D>=A]).
eq(f15(A,B,C,D,E,F,G,H,A,B,C,D+1,E,F,G),1,[],[H=0,E>=A]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,0),1,[],[H=1,D>=A]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,1),1,[],[H=1,D>=A,49>=I]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,1),1,[],[H=1,D>=A]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,1),1,[],[H=1,D>=A,42>=I]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,1),1,[],[H=1,D>=A,21>=I]).
eq(f23(A,B,C,D,E,F,G,H,A,B,C,D,E,F,1),1,[],[H=1,D>=A,18>=I]).
eq(f26(A,B,C,D,E,F,G,H,A,B,C,D+1,E,F,G),1,[],[H=0,E>=A]).
eq(f30(A,B,C,D,E,F,G,H,A,B,C,D,E+1,F,G),1,[],[H=0,F>=A]).