eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f11(0,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),loop_cont_f11(S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[R=0]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[f11(0,B,C,D,E,F,G,H,I,J,K,L,M,N,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[R=1]).
eq(loop_cont_f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[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,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),loop_cont_f33(S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[R=0]).
eq(loop_cont_f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),0,[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,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[R=1]).
eq(f11(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,B1,C1,D1,E1,F1,G1,H1,I1),1,[f14(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),loop_cont_f14(K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[J1=0,9>=A]).
eq(f11(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,B1,C1,D1,E1,F1,G1,H1,I1),1,[f14(A,0,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2)],[R=1,J1=1,9>=A]).
eq(f14(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,B1,C1,D1,E1,F1,G1,H1,I1),1,[f14(A,B+1,C,D,E,F,G,H,I,J,K,L,M,N,J1,J1,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[9>=B]).
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,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),1,[f36(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2),loop_cont_f36(K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[J1=0,9>=C]).
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,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1),1,[f36(A,B,C,0,E,F,G,H,I,J,K,L,M,N,O,P,Q,J1,K1,L1,M1,N1,O1,P1,Q1,R1,S1,T1,U1,V1,W1,X1,Y1,Z1,A2)],[R=1,J1=1,9>=C]).
eq(f36(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,B1,C1,D1,E1,F1,G1,H1,I1),1,[f36(A,B,C,D+1,E+J1,F+1,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[9>=D,0>=K1+1]).
eq(f36(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,B1,C1,D1,E1,F1,G1,H1,I1),1,[f36(A,B,C,D+1,E,F,G+J1,H+1,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[9>=D]).
eq(loop_cont_f14(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,B1,C1,D1,E1,F1,G1,H1,I1),0,[f11(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,B1,C1,D1,E1,F1,G1,H1,I1)],[]).
eq(loop_cont_f36(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,B1,C1,D1,E1,F1,G1,H1,I1),0,[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,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1)],[]).
eq(f11(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,A,B,0,D,0,0,0,0,I,J,K,L,M,N,O,P,1000),1,[],[R=0,A>=10]).
eq(f14(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,A+1,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[],[R=0,B>=10]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,A,B,C,D,E,F,G,H,E,F,G,H,1500,S,O,P,Q),1,[],[R=1,C>=10]).
eq(f36(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,A,B,C+1,D,E,F,G,H,I,J,K,L,M,N,O,P,Q),1,[],[R=0,D>=10]).