eq(f0(A,B,C,D,E,F,G,H,I,J,K,L),1,[f23(1,1,10,M,N,0,G,H,I,J,K,L,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1),loop_cont_f23(P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[O=0]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L),1,[f23(1,1,10,M,N,0,G,H,I,J,K,L,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[O=1]).
eq(f63(A,B,C,D,E,F,G,H,I,J,K,L),1,[f71(A,B,C,D,E,F,G,H,I,J,K,0)],[0>=B+1]).
eq(f63(A,B,C,D,E,F,G,H,I,J,K,L),1,[f71(A,B,C,D,E,F,G,H,I,J,K,0)],[B>=1]).
eq(f63(A,B,C,D,E,F,G,H,I,J,K,L),1,[f71(A,0,C,D,E,F,G,H,I,J,K,1)],[B=0]).
eq(loop_cont_f23(A,B,C,D,E,F,G,H,I,J,K,L),0,[f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),loop_cont_f29(N,O,P,Q,R,S,T,U,V,W,X,Y)],[M=0]).
eq(loop_cont_f23(A,B,C,D,E,F,G,H,I,J,K,L),0,[f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[M=1]).
eq(loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L),0,[f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),loop_cont_f52(N,O,P,Q,R,S,T,U,V,W,X,Y)],[M=0]).
eq(loop_cont_f29(A,B,C,D,E,F,G,H,I,J,K,L),0,[f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[M=1]).
eq(loop_cont_f52(A,B,C,D,E,F,G,H,I,J,K,L),0,[f63(A,B,C,D,E,F,G,H,I,J,K,L)],[]).
eq(f23(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f23(A,B,C,D,E,F+1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[C>=F+1]).
eq(f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,0,0,I,J,K,L,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1),loop_cont_f33(A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[Z=0,C>=F+1]).
eq(f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,0,0,I,J,K,L,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1,L1)],[M=1,Z=1,C>=F+1]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,1,H+1,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[0>=G+1,C>=H+1]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,1,H+1,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[G>=1,C>=H+1]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,1,H+1,1,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[C>=H+1,G=0]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,0,H+1,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[Z>=A1+1,C>=H+1,G=0]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f33(A,B,C,D,E,F,0,H+1,0,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[C>=H+1,G=0]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[0>=B+1,C>=2+F]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[B>=1,C>=2+F]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f52(A,0,C,D,E,F+1,G,H,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[C>=2+F,B=0]).
eq(loop_cont_f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),0,[f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[]).
eq(loop_cont_f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),0,[f29(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f52(A,1,C,D,E,F+1,G,H,I,J,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[Z>=A1+1]).
eq(f55(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f52(A,0,C,D,E,F+1,G,H,I,J,0,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[]).
eq(f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f29(1,B,C,D,E,F+1,G,H,I,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[0>=G+1]).
eq(f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f29(1,B,C,D,E,F+1,G,H,I,1,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[G>=1]).
eq(f44(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y),1,[f29(0,B,C,D,E,F+1,0,H,I,0,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[G=0]).
eq(f23(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,0,G,H,I,J,K,L),1,[],[M=0,F>=C]).
eq(f29(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,0,G,H,I,J,K,L),1,[],[M=0,F>=C]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),1,[],[M=0,0>=A+1,H>=C]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),0,[],[M=1]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),1,[],[M=0,A>=1,H>=C]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,0,B,C,D,E,F+1,G,H,I,0,K,L),1,[],[M=0,H>=C,A=0]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),1,[],[M=0,0>=A+1,F+1>=C]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),0,[],[M=1]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,A,B,C,D,E,F,G,H,I,J,K,L),1,[],[M=0,A>=1,F+1>=C]).
eq(f52(A,B,C,D,E,F,G,H,I,J,K,L,M,0,B,C,D,E,F,G,H,I,J,K,1),1,[],[M=1,F+1>=C,A=0]).