eq(f0(A,B),1,[f9(C,B,D,E,F),loop_cont_f9(E,F)],[D=0]).
eq(f0(A,B),1,[f9(C,B,D,E,F)],[D=1]).
eq(f25(A,B),1,[f2(A,B)],[]).
eq(f2(A,B),1,[f2(A,B)],[]).
eq(f27(A,B),1,[f29(A,B)],[]).
eq(f9(A,B,C,D,E),1,[f10(A,B,C,D,E)],[5>=A]).
eq(f9(A,B,C,D,E),1,[f10(A,F,C,D,E)],[A>=6,0>=F+1]).
eq(f9(A,B,C,D,E),1,[f10(A,F,C,D,E)],[A>=6,F>=1]).
eq(f9(A,B,C,D,E),1,[f19(A,0,F,G,H),loop_cont_f19(G,H,C,D,E)],[F=0,A>=6]).
eq(f9(A,B,C,D,E),1,[f19(A,0,F,G,H)],[C=1,F=1,A>=6]).
eq(f19(A,B,C,D,E),1,[f19(A-1,B,C,D,E)],[A>=3]).
eq(f10(A,B,C,D,E),1,[f9(A+1,B,C,D,E)],[A>=6]).
eq(f10(A,B,C,D,E),1,[f9(A+1,B,C,D,E)],[5>=A]).
eq(loop_cont_f19(A,B,C,D,E),0,[f9(A,B,C,D,E)],[]).
eq(f9(A,B,C,A,B),0,[],[C=1]).
eq(f19(A,B,C,A,B),1,[],[C=0,2>=A]).