eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f1(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,Z,A1),loop_cont_f1(O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[N=0]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M),1,[f1(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,Z,A1)],[N=1]).
eq(f1(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,Z,A1),1,[f1(B1,C1,D1,2,E1,B1,C1,D1,2,E1,1,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[F1>=1,7>=F1,G1>=1,7>=G1,E1>=1,7>=E1,1>=B1,B1>=0]).
eq(f1(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,Z,A1),1,[f2(0,B1,C1,3,D1,0,B1,C1,3,D1,2,L,M,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1),loop_cont_f2(F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[E1=0,7>=D1,D1>=1]).
eq(f1(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,Z,A1),1,[f2(0,B1,C1,3,D1,0,B1,C1,3,D1,2,L,M,E1,F1,G1,H1,I1,J1,K1,L1,M1,N1,O1,P1,Q1,R1)],[N=1,E1=1,7>=D1,D1>=1]).
eq(f2(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,Z,A1),1,[f4(B1,C1,D1,E1,2,B1,C1,D1,E1,2,4,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[F1>=1,7>=F1,G1>=1,7>=G1,H1>=1,7>=H1,I1>=1,7>=I1,E1>=1,7>=E1,1>=B1,B1>=0]).
eq(f2(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,Z,A1),1,[f4(B1,C1,D1,E1,7,B1,C1,D1,E1,7,4,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[F1>=1,7>=F1,G1>=1,7>=G1,H1>=1,7>=H1,I1>=1,7>=I1,E1>=1,7>=E1,1>=B1,B1>=0]).
eq(loop_cont_f2(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,Z,A1),0,[f1(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,Z,A1)],[]).
eq(f4(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,Z,A1),1,[f2(0,B1,C1,D1,E1,0,B1,C1,D1,E1,2,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1)],[L>=1,L>=C1+1,M>=1,M>=B1+1,7>=E1,7>=D1,E1>=1,D1>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,A,B,C,D,E,F,G,H,I,J,K,L,M),0,[],[N=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,2,R,O,P,Q,2,R,1,L,M),1,[],[N=0,S>=L,T>=M,U>=1,7>=U,V>=1,7>=V,R>=1,7>=R,1>=O,O>=0]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,A,B,C,D,E,F,G,H,I,J,K,L,M),0,[],[N=1]).
eq(f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,2,R,O,P,Q,2,R,1,L,M),1,[],[N=0,S>=1,7>=S,T>=1,7>=T,R>=1,7>=R,1>=O,O>=0]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,2,R,O,P,Q,2,R,1,L,M),1,[],[N=0,S>=1,7>=S,T>=1,7>=T,R>=1,7>=R,1>=O,O>=0]).
eq(f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,A,B,C,D,E,F,G,H,I,J,K,L,M),0,[],[N=1]).