eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f18(1,B,C,D,E,F,L,M,I,J,K)],[0>=M]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f18(1,B,C,D,E,F,L,0,1,M,M)],[M>=1,N>=1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f32(1,B,C,D,E,F,L,0,1,M,M,N,O,P,Q,R,S,T,U,V,W,X,Y),loop_cont_f32(O,P,Q,R,S,T,U,V,W,X,Y)],[N=0,0>=M,Z>=1]).
eq(f0(A,B,C,D,E,F,G,H,I,J,K),1,[f32(1,B,C,D,E,F,L,0,1,M,M,N,O,P,Q,R,S,T,U,V,W,X,Y)],[N=1,0>=M,Z>=1]).
eq(f18(A,B,C,D,E,F,G,H,I,J,K),1,[f24(A,B,C,D,E,F,G,H,I,J,K)],[0>=A]).
eq(f34(A,B,C,D,E,F,G,H,I,J,K),1,[f37(A,B,C,D,E,F,G,H,I,J,K)],[]).
eq(f18(A,B,C,D,E,F,G,H,I,J,K),1,[f24(0,B,L,D,E,L,G,H,I,J,K)],[A>=1]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(A,L,C,D,E,F,G,H,I,J,K,M,N,O,P,Q,R,S,T,U,V,W,X),loop_cont_f32(N,O,P,Q,R,S,T,U,V,W,X)],[M=0,A>=1]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(A,L,C,D,E,F,G,H,I,J,K,M,N,O,P,Q,R,S,T,U,V,W,X)],[M=1,A>=1]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(A,L,C,M,M,F,G,H,I,J,K,N,O,P,Q,R,S,T,U,V,W,X,Y),loop_cont_f32(O,P,Q,R,S,T,U,V,W,X,Y)],[N=0,0>=A,999+C>=M]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(A,L,C,M,M,F,G,H,I,J,K,N,O,P,Q,R,S,T,U,V,W,X,Y)],[N=1,0>=A,999+C>=M]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(1,L,C,M,M,F,G,H,I,J,K,N,O,P,Q,R,S,T,U,V,W,X,Y),loop_cont_f32(O,P,Q,R,S,T,U,V,W,X,Y)],[N=0,0>=A,M>=C+1000]).
eq(f24(A,B,C,D,E,F,G,H,I,J,K),1,[f32(1,L,C,M,M,F,G,H,I,J,K,N,O,P,Q,R,S,T,U,V,W,X,Y)],[N=1,0>=A,M>=C+1000]).
eq(f32(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W),1,[f32(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W)],[]).
eq(f32(A,B,C,D,E,F,G,H,I,J,K,L,A,B,C,D,E,F,G,H,I,J,K),0,[],[L=1]).