eq(f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f18(3,3,0,3,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[0>=A,A>=C]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f10(A,B+A,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[A>=1,A>=C]).
eq(f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,Q,Q,Q)],[4>=F]).
eq(f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f52(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,Q,Q,Q)],[F>=5]).
eq(f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f18(A,B,C,B,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[C>=1+A]).
eq(f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f25(A,B,C,D,D,D,-3,4,0,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,J1,K1),loop_cont_f25(T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1)],[S=0]).
eq(f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f25(A,B,C,D,D,D,-3,4,0,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,J1,K1)],[S=1]).
eq(loop_cont_f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),0,[f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f40(A,B,C,D,E,F,G,H,I,K,K,K,3,-6,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1),loop_cont_f40(T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1)],[S=0]).
eq(f33(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),1,[f40(A,B,C,D,E,F,G,H,I,K,K,K,3,-6,0,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1)],[S=1]).
eq(loop_cont_f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R),0,[f48(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R)],[]).
eq(f25(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,J1,K1),1,[f25(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,J1,K1)],[0>=G,G>=I]).
eq(f25(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,J1,K1),1,[f25(A,B,C,D,E,F,G,H+G,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,J1,K1)],[G>=1,G>=I]).
eq(f40(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,J1,K1),1,[f40(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,J1,K1)],[0>=M,M>=O]).
eq(f40(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,J1,K1),1,[f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N+M,O,P,Q,R,S,T,U,V,W,X,Y,Z,A1,B1,C1,D1,E1,F1,G1,H1,I1,J1,K1)],[M>=1,M>=O]).
eq(f25(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,A,B,C,D,E,F,G,H,I,J,H,L,M,N,O,P,Q,R),1,[],[S=0,I>=1+G]).
eq(f25(A,B,C,D,E,F,1,G,H,I,J,K,L,M,N,O,P,Q,R,A,B,C,D,E,F,1,G,H,I,J,K,L,M,N,O,P,Q),0,[],[R=1,1>=H]).
eq(f40(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,N,R),1,[],[S=0,O>=1+M]).
eq(f40(A,B,C,D,E,F,G,H,I,J,K,L,1,M,N,O,P,Q,R,A,B,C,D,E,F,G,H,I,J,K,L,1,M,N,O,P,Q),0,[],[R=1,1>=N]).