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(f26(A,B),1,[f2(A,B)],[]). eq(f2(A,B),1,[f2(A,B)],[]). eq(f28(A,B),1,[f30(A,B)],[]). eq(f9(A,B,C,D,E),1,[f12(A,F,C,D,E)],[5>=A,0>=F+1]). eq(f9(A,B,C,D,E),1,[f12(A,F,C,D,E)],[5>=A,F>=1]). eq(f9(A,B,C,D,E),1,[f20(A,0,F,G,H),loop_cont_f20(G,H,C,D,E)],[F=0,5>=A]). eq(f9(A,B,C,D,E),1,[f20(A,B,F,G,H),loop_cont_f20(G,H,C,D,E)],[F=0,A>=6]). eq(f20(A,B,C,D,E),1,[f20(A-1,B,C,D,E)],[A>=3]). eq(f12(A,B,C,D,E),1,[f9(A+1,B,C,D,E)],[A>=6]). eq(f12(A,B,C,D,E),1,[f9(A+1,B,C,D,E)],[5>=A]). eq(loop_cont_f20(A,B,C,D,E),0,[f9(A,B,C,D,E)],[]). eq(f9(A,B,C,A,B),0,[],[C=1]). eq(f20(A,B,C,A,B),1,[],[C=0,2>=A]).