eq(f0(A,B,C),1,[f6(D,B,0,E,F,G,H),loop_cont_f6(F,G,H)],[E=0]).
eq(f0(A,B,C),1,[f6(D,B,0,E,F,G,H)],[E=1]).
eq(f17(A,B,C),1,[f24(A,B,C)],[0>=C]).
eq(f17(A,B,C),1,[f24(A,B,C)],[C>=2]).
eq(f17(A,B,C),1,[f24(A,B,0)],[C=1]).
eq(loop_cont_f6(A,B,C),0,[f17(A,B,C)],[]).
eq(f6(A,B,C,D,E,F,G),1,[f9(A,H,C,D,E,F,G)],[0>=A+1]).
eq(f6(A,B,C,D,E,F,G),1,[f9(A,H,C,D,E,F,G)],[A>=1]).
eq(f9(A,B,C,D,E,F,G),1,[f6(H,B,C,D,E,F,G)],[0>=B+1]).
eq(f9(A,B,C,D,E,F,G),1,[f6(H,B,C,D,E,F,G)],[B>=1]).
eq(f9(A,B,C,D,A,0,1),1,[],[D=0,B=0]).
eq(f9(A,B,C,D,A,B,C),0,[],[D=1]).
eq(f6(A,B,C,D,0,B,C),1,[],[D=0,A=0]).
eq(f6(A,B,C,D,A,B,C),0,[],[D=1]).